runsolver Copyright (C) 2010 Olivier ROUSSEL

This is runsolver version 3.2.9a (svn: 651)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: /home/misc2010/bin/runsolver -s SIGUSR1 -M 1124 -C 290 -d 10 -w /home/misc2010/tmp/201012091704/cudf2msu4user-1.0/1dcce248-4bb4-11df-9e6e-00163e7a6f5e.cudf.debian-dudf.log.runsolver ./cudf2msu4user-1.0 /home/misc2010/data/2010/debian-dudf//1dcce248-4bb4-11df-9e6e-00163e7a6f5e.cudf /home/misc2010/tmp/201012091704/cudf2msu4user-1.0/1dcce248-4bb4-11df-9e6e-00163e7a6f5e.cudf.debian-dudf.result -changed,-notuptodate,-removed,-new 

Enforcing CPUTime limit (soft limit, will send signal-name then SIGKILL): 290 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 320 seconds
Enforcing VSIZE limit (soft limit, will send signal-name then SIGKILL): 1150976 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1202176 KiB
Current StackSize limit: 8192 KiB


[startup+0 s]
/proc/loadavg: 0.85 0.83 0.63 4/38 2741
/proc/meminfo: memFree=377300/1048576 swapFree=2095372/2097144
[pid=2740] ppid=2739 vsize=2576 CPUtime=0
/proc/2740/stat : 2740 (cudf2msu4user-1) S 2739 2740 25521 34816 2180 4202496 381 0 0 0 0 0 0 0 18 0 1 0 900770722 2637824 277 1283457024 134512640 135304128 4286964256 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/2740/statm: 644 277 237 194 0 30 0
[pid=2741] ppid=2740 vsize=2040 CPUtime=0
/proc/2741/stat : 2741 (cudf_msu32) R 2740 2740 25521 34816 2180 4202496 258 0 0 0 0 0 0 0 25 0 1 0 900770722 2088960 197 1283457024 134512640 136120023 4290006304 18446744073709551615 134722710 0 0 0 16929 0 0 0 17 0 0 0 0
/proc/2741/statm: 510 197 140 393 0 115 0

[startup+0.115193 s]
/proc/loadavg: 0.85 0.83 0.63 4/38 2741
/proc/meminfo: memFree=377300/1048576 swapFree=2095372/2097144
[pid=2740] ppid=2739 vsize=2576 CPUtime=0
/proc/2740/stat : 2740 (cudf2msu4user-1) S 2739 2740 25521 34816 2180 4202496 381 0 0 0 0 0 0 0 18 0 1 0 900770722 2637824 277 1283457024 134512640 135304128 4286964256 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/2740/statm: 644 277 237 194 0 30 0
[pid=2741] ppid=2740 vsize=6324 CPUtime=0.11
/proc/2741/stat : 2741 (cudf_msu32) R 2740 2740 25521 34816 2180 4202496 1349 0 0 0 10 1 0 0 25 0 1 0 900770722 6475776 1288 1283457024 134512640 136120023 4290006304 18446744073709551615 134732562 0 0 0 16929 0 0 0 17 0 0 0 0
/proc/2741/statm: 1581 1288 140 393 0 1186 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 8900

[startup+0.205209 s]
/proc/loadavg: 0.85 0.83 0.63 4/38 2741
/proc/meminfo: memFree=377300/1048576 swapFree=2095372/2097144
[pid=2740] ppid=2739 vsize=2576 CPUtime=0
/proc/2740/stat : 2740 (cudf2msu4user-1) S 2739 2740 25521 34816 2180 4202496 381 0 0 0 0 0 0 0 18 0 1 0 900770722 2637824 277 1283457024 134512640 135304128 4286964256 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/2740/statm: 644 277 237 194 0 30 0
[pid=2741] ppid=2740 vsize=9624 CPUtime=0.2
/proc/2741/stat : 2741 (cudf_msu32) R 2740 2740 25521 34816 2180 4202496 2165 0 0 0 18 2 0 0 25 0 1 0 900770722 9854976 2104 1283457024 134512640 136120023 4290006304 18446744073709551615 134722703 0 0 0 16929 0 0 0 17 0 0 0 0
/proc/2741/statm: 2406 2104 140 393 0 2011 0
Current children cumulated CPU time (s) 0.2
Current children cumulated vsize (KiB) 12200

[startup+0.305231 s]
/proc/loadavg: 0.85 0.83 0.63 4/38 2741
/proc/meminfo: memFree=377300/1048576 swapFree=2095372/2097144
[pid=2740] ppid=2739 vsize=2576 CPUtime=0
/proc/2740/stat : 2740 (cudf2msu4user-1) S 2739 2740 25521 34816 2180 4202496 381 0 0 0 0 0 0 0 18 0 1 0 900770722 2637824 277 1283457024 134512640 135304128 4286964256 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/2740/statm: 644 277 237 194 0 30 0
[pid=2741] ppid=2740 vsize=12724 CPUtime=0.3
/proc/2741/stat : 2741 (cudf_msu32) R 2740 2740 25521 34816 2180 4202496 2953 0 0 0 28 2 0 0 25 0 1 0 900770722 13029376 2892 1283457024 134512640 136120023 4290006304 18446744073709551615 134711952 0 0 0 16929 0 0 0 17 0 0 0 0
/proc/2741/statm: 3181 2892 141 393 0 2786 0
Current children cumulated CPU time (s) 0.3
Current children cumulated vsize (KiB) 15300

[startup+0.705309 s]
/proc/loadavg: 0.85 0.83 0.63 4/38 2741
/proc/meminfo: memFree=377300/1048576 swapFree=2095372/2097144
[pid=2740] ppid=2739 vsize=2576 CPUtime=0
/proc/2740/stat : 2740 (cudf2msu4user-1) S 2739 2740 25521 34816 2180 4202496 381 0 0 0 0 0 0 0 18 0 1 0 900770722 2637824 277 1283457024 134512640 135304128 4286964256 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/2740/statm: 644 277 237 194 0 30 0
[pid=2741] ppid=2740 vsize=23612 CPUtime=0.7
/proc/2741/stat : 2741 (cudf_msu32) R 2740 2740 25521 34816 2180 4202496 5680 0 0 0 60 10 0 0 25 0 1 0 900770722 24178688 5619 1283457024 134512640 136120023 4290006304 18446744073709551615 135528598 0 0 0 16929 0 0 0 17 0 0 0 0
/proc/2741/statm: 5903 5619 141 393 0 5508 0
Current children cumulated CPU time (s) 0.7
Current children cumulated vsize (KiB) 26188

[startup+1.5055 s]
/proc/loadavg: 0.86 0.84 0.63 2/39 2742
/proc/meminfo: memFree=345908/1048576 swapFree=2095372/2097144
[pid=2740] ppid=2739 vsize=2576 CPUtime=0
/proc/2740/stat : 2740 (cudf2msu4user-1) S 2739 2740 25521 34816 2180 4202496 381 0 0 0 0 0 0 0 18 0 1 0 900770722 2637824 277 1283457024 134512640 135304128 4286964256 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/2740/statm: 644 277 237 194 0 30 0
[pid=2741] ppid=2740 vsize=51748 CPUtime=1.5
/proc/2741/stat : 2741 (cudf_msu32) R 2740 2740 25521 34816 2180 4202496 13086 0 0 0 138 12 0 0 25 0 1 0 900770722 52989952 12636 1283457024 134512640 136120023 4290006304 18446744073709551615 135536564 0 0 0 16929 0 0 0 17 0 0 0 0
/proc/2741/statm: 12937 12636 153 393 0 12542 0
Current children cumulated CPU time (s) 1.5
Current children cumulated vsize (KiB) 54324

[startup+3.10592 s]
/proc/loadavg: 0.86 0.84 0.63 2/39 2742
/proc/meminfo: memFree=268656/1048576 swapFree=2095372/2097144
[pid=2740] ppid=2739 vsize=2576 CPUtime=0
/proc/2740/stat : 2740 (cudf2msu4user-1) S 2739 2740 25521 34816 2180 4202496 381 0 0 0 0 0 0 0 18 0 1 0 900770722 2637824 277 1283457024 134512640 135304128 4286964256 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/2740/statm: 644 277 237 194 0 30 0
[pid=2741] ppid=2740 vsize=110460 CPUtime=3.1
/proc/2741/stat : 2741 (cudf_msu32) R 2740 2740 25521 34816 2180 4202496 27843 0 0 0 292 18 0 0 25 0 1 0 900770722 113111040 27325 1283457024 134512640 136120023 4290006304 18446744073709551615 134831643 0 0 0 16929 0 0 0 17 0 0 0 0
/proc/2741/statm: 27615 27325 181 393 0 27220 0
Current children cumulated CPU time (s) 3.1
Current children cumulated vsize (KiB) 113036

[startup+6.30669 s]
/proc/loadavg: 0.86 0.84 0.63 2/39 2742
/proc/meminfo: memFree=268284/1048576 swapFree=2095372/2097144
[pid=2740] ppid=2739 vsize=2576 CPUtime=0
/proc/2740/stat : 2740 (cudf2msu4user-1) S 2739 2740 25521 34816 2180 4202496 381 0 0 0 0 0 0 0 18 0 1 0 900770722 2637824 277 1283457024 134512640 135304128 4286964256 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/2740/statm: 644 277 237 194 0 30 0
[pid=2741] ppid=2740 vsize=110604 CPUtime=6.3
/proc/2741/stat : 2741 (cudf_msu32) R 2740 2740 25521 34816 2180 4202496 28138 0 0 0 610 20 0 0 25 0 1 0 900770722 113258496 27407 1283457024 134512640 136120023 4290006304 18446744073709551615 134871630 0 0 0 16929 0 0 0 17 0 0 0 0
/proc/2741/statm: 27651 27407 185 393 0 27256 0
Current children cumulated CPU time (s) 6.3
Current children cumulated vsize (KiB) 113180

[startup+12.7084 s]
/proc/loadavg: 0.88 0.84 0.64 2/39 2742
/proc/meminfo: memFree=268284/1048576 swapFree=2095372/2097144
[pid=2740] ppid=2739 vsize=2576 CPUtime=0
/proc/2740/stat : 2740 (cudf2msu4user-1) S 2739 2740 25521 34816 2180 4202496 381 0 0 0 0 0 0 0 18 0 1 0 900770722 2637824 277 1283457024 134512640 135304128 4286964256 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/2740/statm: 644 277 237 194 0 30 0
[pid=2741] ppid=2740 vsize=110604 CPUtime=12.69
/proc/2741/stat : 2741 (cudf_msu32) R 2740 2740 25521 34816 2180 4202496 28138 0 0 0 1249 20 0 0 25 0 1 0 900770722 113258496 27407 1283457024 134512640 136120023 4290006304 18446744073709551615 134863582 0 0 0 16929 0 0 0 17 0 0 0 0
/proc/2741/statm: 27651 27407 185 393 0 27256 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 113180

[startup+25.503 s]
/proc/loadavg: 0.90 0.85 0.64 2/39 2742
/proc/meminfo: memFree=268160/1048576 swapFree=2095372/2097144
[pid=2740] ppid=2739 vsize=2576 CPUtime=0
/proc/2740/stat : 2740 (cudf2msu4user-1) S 2739 2740 25521 34816 2180 4202496 381 0 0 0 0 0 0 0 18 0 1 0 900770722 2637824 277 1283457024 134512640 135304128 4286964256 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/2740/statm: 644 277 237 194 0 30 0
[pid=2741] ppid=2740 vsize=110604 CPUtime=25.48
/proc/2741/stat : 2741 (cudf_msu32) R 2740 2740 25521 34816 2180 4202496 28138 0 0 0 2528 20 0 0 25 0 1 0 900770722 113258496 27407 1283457024 134512640 136120023 4290006304 18446744073709551615 134869763 0 0 0 16929 0 0 0 17 0 0 0 0
/proc/2741/statm: 27651 27407 185 393 0 27256 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 113180

[startup+51.1135 s]
/proc/loadavg: 0.93 0.86 0.65 2/39 2742
/proc/meminfo: memFree=268160/1048576 swapFree=2095372/2097144
[pid=2740] ppid=2739 vsize=2576 CPUtime=0
/proc/2740/stat : 2740 (cudf2msu4user-1) S 2739 2740 25521 34816 2180 4202496 381 0 0 0 0 0 0 0 18 0 1 0 900770722 2637824 277 1283457024 134512640 135304128 4286964256 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/2740/statm: 644 277 237 194 0 30 0
[pid=2741] ppid=2740 vsize=110604 CPUtime=51.09
/proc/2741/stat : 2741 (cudf_msu32) R 2740 2740 25521 34816 2180 4202496 28138 0 0 0 5088 21 0 0 25 0 1 0 900770722 113258496 27407 1283457024 134512640 136120023 4290006304 18446744073709551615 134832600 0 0 0 16929 0 0 0 17 0 0 0 0
/proc/2741/statm: 27651 27407 185 393 0 27256 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 113180

[startup+102.308 s]
/proc/loadavg: 0.97 0.88 0.66 2/39 2742
/proc/meminfo: memFree=268160/1048576 swapFree=2095372/2097144
[pid=2740] ppid=2739 vsize=2576 CPUtime=0
/proc/2740/stat : 2740 (cudf2msu4user-1) S 2739 2740 25521 34816 2180 4202496 381 0 0 0 0 0 0 0 18 0 1 0 900770722 2637824 277 1283457024 134512640 135304128 4286964256 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/2740/statm: 644 277 237 194 0 30 0
[pid=2741] ppid=2740 vsize=110604 CPUtime=102.21
/proc/2741/stat : 2741 (cudf_msu32) R 2740 2740 25521 34816 2180 4202496 28138 0 0 0 10197 24 0 0 25 0 1 0 900770722 113258496 27407 1283457024 134512640 136120023 4290006304 18446744073709551615 134862572 0 0 0 16929 0 0 0 17 0 0 0 0
/proc/2741/statm: 27651 27407 185 393 0 27256 0
Current children cumulated CPU time (s) 102.21
Current children cumulated vsize (KiB) 113180

Solver just ended. Dumping a history of the last processes samples

[startup+102.408 s]
/proc/loadavg: 0.97 0.88 0.66 2/39 2742
/proc/meminfo: memFree=268160/1048576 swapFree=2095372/2097144
[pid=2740] ppid=2739 vsize=2576 CPUtime=0
/proc/2740/stat : 2740 (cudf2msu4user-1) S 2739 2740 25521 34816 2180 4202496 381 0 0 0 0 0 0 0 18 0 1 0 900770722 2637824 277 1283457024 134512640 135304128 4286964256 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/2740/statm: 644 277 237 194 0 30 0
[pid=2741] ppid=2740 vsize=110604 CPUtime=102.31
/proc/2741/stat : 2741 (cudf_msu32) R 2740 2740 25521 34816 2180 4202496 28138 0 0 0 10207 24 0 0 25 0 1 0 900770722 113258496 27407 1283457024 134512640 136120023 4290006304 18446744073709551615 135511744 0 0 0 16929 0 0 0 17 0 0 0 0
/proc/2741/statm: 27651 27407 185 393 0 27256 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 113180

[startup+128.006 s]
/proc/loadavg: 0.98 0.89 0.67 2/39 2742
/proc/meminfo: memFree=268160/1048576 swapFree=2095372/2097144
[pid=2740] ppid=2739 vsize=2576 CPUtime=0
/proc/2740/stat : 2740 (cudf2msu4user-1) S 2739 2740 25521 34816 2180 4202496 381 0 0 0 0 0 0 0 18 0 1 0 900770722 2637824 277 1283457024 134512640 135304128 4286964256 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/2740/statm: 644 277 237 194 0 30 0
[pid=2741] ppid=2740 vsize=110604 CPUtime=127.87
/proc/2741/stat : 2741 (cudf_msu32) R 2740 2740 25521 34816 2180 4202496 28138 0 0 0 12761 26 0 0 25 0 1 0 900770722 113258496 27407 1283457024 134512640 136120023 4290006304 18446744073709551615 135511805 0 0 0 16929 0 0 0 17 0 0 0 0
/proc/2741/statm: 27651 27407 185 393 0 27256 0
Current children cumulated CPU time (s) 127.87
Current children cumulated vsize (KiB) 113180

[startup+134.408 s]
/proc/loadavg: 0.98 0.89 0.67 2/39 2742
/proc/meminfo: memFree=268160/1048576 swapFree=2095372/2097144
[pid=2740] ppid=2739 vsize=2576 CPUtime=0
/proc/2740/stat : 2740 (cudf2msu4user-1) S 2739 2740 25521 34816 2180 4202496 381 0 0 0 0 0 0 0 18 0 1 0 900770722 2637824 277 1283457024 134512640 135304128 4286964256 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/2740/statm: 644 277 237 194 0 30 0
[pid=2741] ppid=2740 vsize=110604 CPUtime=134.28
/proc/2741/stat : 2741 (cudf_msu32) R 2740 2740 25521 34816 2180 4202496 28138 0 0 0 13402 26 0 0 25 0 1 0 900770722 113258496 27407 1283457024 134512640 136120023 4290006304 18446744073709551615 134867703 0 0 0 16929 0 0 0 17 0 0 0 0
/proc/2741/statm: 27651 27407 185 393 0 27256 0
Current children cumulated CPU time (s) 134.28
Current children cumulated vsize (KiB) 113180

[startup+140.809 s]
/proc/loadavg: 0.98 0.89 0.68 2/39 2742
/proc/meminfo: memFree=268160/1048576 swapFree=2095372/2097144
[pid=2740] ppid=2739 vsize=2576 CPUtime=0
/proc/2740/stat : 2740 (cudf2msu4user-1) S 2739 2740 25521 34816 2180 4202496 381 0 0 0 0 0 0 0 18 0 1 0 900770722 2637824 277 1283457024 134512640 135304128 4286964256 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/2740/statm: 644 277 237 194 0 30 0
[pid=2741] ppid=2740 vsize=110604 CPUtime=140.66
/proc/2741/stat : 2741 (cudf_msu32) R 2740 2740 25521 34816 2180 4202496 28138 0 0 0 14040 26 0 0 25 0 1 0 900770722 113258496 27407 1283457024 134512640 136120023 4290006304 18446744073709551615 134863580 0 0 0 16929 0 0 0 17 0 0 0 0
/proc/2741/statm: 27651 27407 185 393 0 27256 0
Current children cumulated CPU time (s) 140.66
Current children cumulated vsize (KiB) 113180

[startup+142.41 s]
/proc/loadavg: 0.98 0.89 0.68 2/39 2742
/proc/meminfo: memFree=268160/1048576 swapFree=2095372/2097144
[pid=2740] ppid=2739 vsize=2576 CPUtime=0
/proc/2740/stat : 2740 (cudf2msu4user-1) S 2739 2740 25521 34816 2180 4202496 381 0 0 0 0 0 0 0 18 0 1 0 900770722 2637824 277 1283457024 134512640 135304128 4286964256 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/2740/statm: 644 277 237 194 0 30 0
[pid=2741] ppid=2740 vsize=123368 CPUtime=142.25
/proc/2741/stat : 2741 (cudf_msu32) R 2740 2740 25521 34816 2180 4202496 31309 0 0 0 14198 27 0 0 25 0 1 0 900770722 126328832 30578 1283457024 134512640 136120023 4290006304 18446744073709551615 135521162 0 0 0 16929 0 0 0 17 0 0 0 0
/proc/2741/statm: 30842 30578 185 393 0 30447 0
Current children cumulated CPU time (s) 142.25
Current children cumulated vsize (KiB) 125944

[startup+144.01 s]
/proc/loadavg: 0.98 0.89 0.68 2/39 2742
/proc/meminfo: memFree=254892/1048576 swapFree=2095372/2097144
[pid=2740] ppid=2739 vsize=2576 CPUtime=0
/proc/2740/stat : 2740 (cudf2msu4user-1) S 2739 2740 25521 34816 2180 4202496 381 0 0 0 0 0 0 0 18 0 1 0 900770722 2637824 277 1283457024 134512640 135304128 4286964256 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/2740/statm: 644 277 237 194 0 30 0
[pid=2741] ppid=2740 vsize=123368 CPUtime=143.85
/proc/2741/stat : 2741 (cudf_msu32) R 2740 2740 25521 34816 2180 4202496 31460 0 0 0 14358 27 0 0 25 0 1 0 900770722 126328832 30578 1283457024 134512640 136120023 4290006304 18446744073709551615 135521144 0 0 0 16929 0 0 0 17 0 0 0 0
/proc/2741/statm: 30842 30578 185 393 0 30447 0
Current children cumulated CPU time (s) 143.85
Current children cumulated vsize (KiB) 125944

[startup+144.41 s]
/proc/loadavg: 0.98 0.89 0.68 2/39 2742
/proc/meminfo: memFree=254892/1048576 swapFree=2095372/2097144
[pid=2740] ppid=2739 vsize=2576 CPUtime=0
/proc/2740/stat : 2740 (cudf2msu4user-1) S 2739 2740 25521 34816 2180 4202496 381 0 0 0 0 0 0 0 18 0 1 0 900770722 2637824 277 1283457024 134512640 135304128 4286964256 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/2740/statm: 644 277 237 194 0 30 0
[pid=2741] ppid=2740 vsize=110604 CPUtime=144.25
/proc/2741/stat : 2741 (cudf_msu32) R 2740 2740 25521 34816 2180 4202496 31460 0 0 0 14398 27 0 0 25 0 1 0 900770722 113258496 27414 1283457024 134512640 136120023 4290006304 18446744073709551615 135524872 0 0 0 16929 0 0 0 17 0 0 0 0
/proc/2741/statm: 27651 27414 185 393 0 27256 0
Current children cumulated CPU time (s) 144.25
Current children cumulated vsize (KiB) 113180

[startup+144.811 s]
/proc/loadavg: 0.98 0.89 0.68 2/39 2742
/proc/meminfo: memFree=254892/1048576 swapFree=2095372/2097144
[pid=2740] ppid=2739 vsize=2576 CPUtime=0
/proc/2740/stat : 2740 (cudf2msu4user-1) S 2739 2740 25521 34816 2180 4202496 381 0 0 0 0 0 0 0 18 0 1 0 900770722 2637824 277 1283457024 134512640 135304128 4286964256 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/2740/statm: 644 277 237 194 0 30 0
[pid=2741] ppid=2740 vsize=123628 CPUtime=144.65
/proc/2741/stat : 2741 (cudf_msu32) R 2740 2740 25521 34816 2180 4202496 34686 0 0 0 14437 28 0 0 25 0 1 0 900770722 126595072 30640 1283457024 134512640 136120023 4290006304 18446744073709551615 134840690 0 0 0 16929 0 0 0 17 0 0 0 0
/proc/2741/statm: 30907 30640 185 393 0 30512 0
Current children cumulated CPU time (s) 144.65
Current children cumulated vsize (KiB) 126204

[startup+144.911 s]
/proc/loadavg: 0.98 0.89 0.68 2/39 2742
/proc/meminfo: memFree=254892/1048576 swapFree=2095372/2097144
[pid=2740] ppid=2739 vsize=2576 CPUtime=0
/proc/2740/stat : 2740 (cudf2msu4user-1) S 2739 2740 25521 34816 2180 4202496 381 0 0 0 0 0 0 0 18 0 1 0 900770722 2637824 277 1283457024 134512640 135304128 4286964256 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/2740/statm: 644 277 237 194 0 30 0
[pid=2741] ppid=2740 vsize=123628 CPUtime=144.75
/proc/2741/stat : 2741 (cudf_msu32) R 2740 2740 25521 34816 2180 4202496 34701 0 0 0 14444 31 0 0 25 0 1 0 900770722 126595072 30655 1283457024 134512640 136120023 4290006304 18446744073709551615 134694119 0 0 0 16929 0 0 0 17 0 0 0 0
/proc/2741/statm: 30907 30655 200 393 0 30512 0
Current children cumulated CPU time (s) 144.75
Current children cumulated vsize (KiB) 126204

Child status: 0
Real time (s): 144.975
CPU time (s): 144.817
CPU user time (s): 144.481
CPU system time (s): 0.336021
CPU usage (%): 99.8913
Max. virtual memory (cumulated for all children) (KiB): 126204

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 144.481
system time used= 0.336021
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 35093
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3
involuntary context switches= 1766

runsolver used 0 second user time and 0 second system time

The end