runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2671308-1276722624/watcher-2671308-1276722624 -o /tmp/evaluation-result-2671308-1276722624/solver-2671308-1276722624 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l1 HOME/instance-2671308-1276722624.opb 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 1.06 1.04 1.00 3/106 20060
/proc/meminfo: memFree=1765140/2059040 swapFree=4192956/4192956
[pid=20060] ppid=20058 vsize=11144 CPUtime=0
/proc/20060/stat : 20060 (bsolo_pb10) R 20058 20060 19403 0 -1 4202496 348 0 0 0 0 0 0 0 18 0 1 0 13555171 11411456 266 1992294400 134512640 137138936 4291298240 18446744073709551615 134519766 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20060/statm: 2786 266 175 642 0 2088 0

[startup+0.0883641 s]
/proc/loadavg: 1.06 1.04 1.00 3/106 20060
/proc/meminfo: memFree=1765140/2059040 swapFree=4192956/4192956
[pid=20060] ppid=20058 vsize=12160 CPUtime=0.08
/proc/20060/stat : 20060 (bsolo_pb10) R 20058 20060 19403 0 -1 4202496 741 0 0 0 8 0 0 0 20 0 1 0 13555171 12451840 605 1992294400 134512640 137138936 4291298240 18446744073709551615 136500283 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20060/statm: 3040 605 184 642 0 2396 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 12160

[startup+0.100365 s]
/proc/loadavg: 1.06 1.04 1.00 3/106 20060
/proc/meminfo: memFree=1765140/2059040 swapFree=4192956/4192956
[pid=20060] ppid=20058 vsize=12160 CPUtime=0.09
/proc/20060/stat : 20060 (bsolo_pb10) R 20058 20060 19403 0 -1 4202496 741 0 0 0 9 0 0 0 20 0 1 0 13555171 12451840 605 1992294400 134512640 137138936 4291298240 18446744073709551615 135984569 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20060/statm: 3040 605 184 642 0 2396 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 12160

[startup+0.300394 s]
/proc/loadavg: 1.06 1.04 1.00 3/106 20060
/proc/meminfo: memFree=1765140/2059040 swapFree=4192956/4192956
[pid=20060] ppid=20058 vsize=12160 CPUtime=0.29
/proc/20060/stat : 20060 (bsolo_pb10) R 20058 20060 19403 0 -1 4202496 741 0 0 0 29 0 0 0 20 0 1 0 13555171 12451840 605 1992294400 134512640 137138936 4291298240 18446744073709551615 136504423 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20060/statm: 3040 605 184 642 0 2396 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 12160

[startup+0.700451 s]
/proc/loadavg: 1.06 1.04 1.00 3/106 20060
/proc/meminfo: memFree=1765140/2059040 swapFree=4192956/4192956
[pid=20060] ppid=20058 vsize=12644 CPUtime=0.69
/proc/20060/stat : 20060 (bsolo_pb10) R 20058 20060 19403 0 -1 4202496 922 0 0 0 68 1 0 0 20 0 1 0 13555171 12947456 725 1992294400 134512640 137138936 4291298240 18446744073709551615 134575900 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20060/statm: 3161 725 190 642 0 2517 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 12644

[startup+1.50056 s]
/proc/loadavg: 1.06 1.04 1.00 2/107 20061
/proc/meminfo: memFree=1760668/2059040 swapFree=4192956/4192956
[pid=20060] ppid=20058 vsize=18856 CPUtime=1.49
/proc/20060/stat : 20060 (bsolo_pb10) R 20058 20060 19403 0 -1 4202496 2484 0 0 0 146 3 0 0 23 0 1 0 13555171 19308544 2287 1992294400 134512640 137138936 4291298240 18446744073709551615 134576220 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20060/statm: 4714 2289 190 642 0 4070 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 18856

[startup+3.10079 s]
/proc/loadavg: 1.06 1.04 1.00 2/107 20061
/proc/meminfo: memFree=1753352/2059040 swapFree=4192956/4192956
[pid=20060] ppid=20058 vsize=27528 CPUtime=3.09
/proc/20060/stat : 20060 (bsolo_pb10) R 20058 20060 19403 0 -1 4202496 4652 0 0 0 305 4 0 0 25 0 1 0 13555171 28188672 4455 1992294400 134512640 137138936 4291298240 18446744073709551615 134542516 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20060/statm: 6882 4455 190 642 0 6238 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 27528

[startup+6.30125 s]
/proc/loadavg: 1.06 1.04 1.00 2/107 20061
/proc/meminfo: memFree=1738844/2059040 swapFree=4192956/4192956
[pid=20060] ppid=20058 vsize=40100 CPUtime=6.29
/proc/20060/stat : 20060 (bsolo_pb10) R 20058 20060 19403 0 -1 4202496 7788 0 0 0 623 6 0 0 25 0 1 0 13555171 41062400 7591 1992294400 134512640 137138936 4291298240 18446744073709551615 134542624 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20060/statm: 10025 7591 190 642 0 9381 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 40100

[startup+12.7012 s]
/proc/loadavg: 1.05 1.04 1.00 2/107 20063
/proc/meminfo: memFree=1721980/2059040 swapFree=4192956/4192956
[pid=20060] ppid=20058 vsize=54964 CPUtime=12.69
/proc/20060/stat : 20060 (bsolo_pb10) R 20058 20060 19403 0 -1 4202496 11494 0 0 0 1259 10 0 0 25 0 1 0 13555171 56283136 11297 1992294400 134512640 137138936 4291298240 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20060/statm: 13741 11297 190 642 0 13097 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 54964

[startup+25.501 s]
/proc/loadavg: 1.04 1.03 1.00 2/107 20063
/proc/meminfo: memFree=1703628/2059040 swapFree=4192956/4192956
[pid=20060] ppid=20058 vsize=71916 CPUtime=25.48
/proc/20060/stat : 20060 (bsolo_pb10) R 20058 20060 19403 0 -1 4202496 15737 0 0 0 2534 14 0 0 25 0 1 0 13555171 73641984 15540 1992294400 134512640 137138936 4291298240 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20060/statm: 17979 15540 190 642 0 17335 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 71916

[startup+51.1006 s]
/proc/loadavg: 1.02 1.03 1.00 2/107 20063
/proc/meminfo: memFree=1673372/2059040 swapFree=4192956/4192956
[pid=20060] ppid=20058 vsize=102484 CPUtime=51.07
/proc/20060/stat : 20060 (bsolo_pb10) R 20058 20060 19403 0 -1 4202496 23381 0 0 0 5084 23 0 0 25 0 1 0 13555171 104943616 23184 1992294400 134512640 137138936 4291298240 18446744073709551615 136504512 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20060/statm: 25621 23184 190 642 0 24977 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 102484

[startup+102.308 s]
/proc/loadavg: 1.05 1.04 1.00 2/107 20065
/proc/meminfo: memFree=1633444/2059040 swapFree=4192956/4192956
[pid=20060] ppid=20058 vsize=141816 CPUtime=102.27
/proc/20060/stat : 20060 (bsolo_pb10) R 20058 20060 19403 0 -1 4202496 33201 0 0 0 10194 33 0 0 25 0 1 0 13555171 145219584 33004 1992294400 134512640 137138936 4291298240 18446744073709551615 134542295 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20060/statm: 35454 33004 190 642 0 34810 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 141816

[startup+162.3 s]
/proc/loadavg: 1.06 1.04 1.00 2/107 20067
/proc/meminfo: memFree=1581860/2059040 swapFree=4192956/4192956
[pid=20060] ppid=20058 vsize=193580 CPUtime=162.24
/proc/20060/stat : 20060 (bsolo_pb10) R 20058 20060 19403 0 -1 4202496 46157 0 0 0 16176 48 0 0 25 0 1 0 13555171 198225920 45960 1992294400 134512640 137138936 4291298240 18446744073709551615 134542752 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20060/statm: 48395 45960 190 642 0 47751 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 193580

[startup+222.301 s]
/proc/loadavg: 1.02 1.03 1.00 2/107 20067
/proc/meminfo: memFree=1527176/2059040 swapFree=4192956/4192956
[pid=20060] ppid=20058 vsize=247756 CPUtime=222.22
/proc/20060/stat : 20060 (bsolo_pb10) R 20058 20060 19403 0 -1 4202496 59708 0 0 0 22156 66 0 0 25 0 1 0 13555171 253702144 59511 1992294400 134512640 137138936 4291298240 18446744073709551615 134573202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20060/statm: 61939 59512 190 642 0 61295 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 247756

[startup+282.302 s]
/proc/loadavg: 1.00 1.02 1.00 2/107 20069
/proc/meminfo: memFree=1489108/2059040 swapFree=4192956/4192956
[pid=20060] ppid=20058 vsize=285824 CPUtime=282.21
/proc/20060/stat : 20060 (bsolo_pb10) R 20058 20060 19403 0 -1 4202496 69205 0 0 0 28144 77 0 0 25 0 1 0 13555171 292683776 69008 1992294400 134512640 137138936 4291298240 18446744073709551615 134542516 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20060/statm: 71456 69008 190 642 0 70812 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 285824

[startup+342.301 s]
/proc/loadavg: 1.00 1.02 1.00 2/107 20071
/proc/meminfo: memFree=1452280/2059040 swapFree=4192956/4192956
[pid=20060] ppid=20058 vsize=322480 CPUtime=342.19
/proc/20060/stat : 20060 (bsolo_pb10) R 20058 20060 19403 0 -1 4202496 78379 0 0 0 34130 89 0 0 25 0 1 0 13555171 330219520 78182 1992294400 134512640 137138936 4291298240 18446744073709551615 134542508 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20060/statm: 80620 78182 190 642 0 79976 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 322480

[startup+402.301 s]
/proc/loadavg: 1.00 1.01 1.00 2/107 20073
/proc/meminfo: memFree=1427232/2059040 swapFree=4192956/4192956
[pid=20060] ppid=20058 vsize=347684 CPUtime=402.18
/proc/20060/stat : 20060 (bsolo_pb10) R 20058 20060 19403 0 -1 4202496 84688 0 0 0 40122 96 0 0 25 0 1 0 13555171 356028416 84491 1992294400 134512640 137138936 4291298240 18446744073709551615 134542301 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20060/statm: 86921 84491 190 642 0 86277 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 347684

[startup+462.3 s]
/proc/loadavg: 1.00 1.01 1.00 2/107 20075
/proc/meminfo: memFree=1399208/2059040 swapFree=4192956/4192956
[pid=20060] ppid=20058 vsize=375604 CPUtime=462.16
/proc/20060/stat : 20060 (bsolo_pb10) R 20058 20060 19403 0 -1 4202496 91651 0 0 0 46111 105 0 0 25 0 1 0 13555171 384618496 91454 1992294400 134512640 137138936 4291298240 18446744073709551615 134542484 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20060/statm: 93901 91454 190 642 0 93257 0
Current children cumulated CPU time (s) 462.16
Current children cumulated vsize (KiB) 375604

[startup+522.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 20075
/proc/meminfo: memFree=1364612/2059040 swapFree=4192956/4192956
[pid=20060] ppid=20058 vsize=410308 CPUtime=522.14
/proc/20060/stat : 20060 (bsolo_pb10) R 20058 20060 19403 0 -1 4202496 100330 0 0 0 52098 116 0 0 25 0 1 0 13555171 420155392 100133 1992294400 134512640 137138936 4291298240 18446744073709551615 134542770 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20060/statm: 102577 100133 190 642 0 101933 0
Current children cumulated CPU time (s) 522.14
Current children cumulated vsize (KiB) 410308

[startup+582.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 20077
/proc/meminfo: memFree=1338324/2059040 swapFree=4192956/4192956
[pid=20060] ppid=20058 vsize=436124 CPUtime=582.12
/proc/20060/stat : 20060 (bsolo_pb10) R 20058 20060 19403 0 -1 4202496 106790 0 0 0 58088 124 0 0 25 0 1 0 13555171 446590976 106593 1992294400 134512640 137138936 4291298240 18446744073709551615 134542497 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20060/statm: 109031 106593 190 642 0 108387 0
Current children cumulated CPU time (s) 582.12
Current children cumulated vsize (KiB) 436124

[startup+642.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 20079
/proc/meminfo: memFree=1318484/2059040 swapFree=4192956/4192956
[pid=20060] ppid=20058 vsize=455892 CPUtime=642.11
/proc/20060/stat : 20060 (bsolo_pb10) R 20058 20060 19403 0 -1 4202496 111719 0 0 0 64081 130 0 0 25 0 1 0 13555171 466833408 111522 1992294400 134512640 137138936 4291298240 18446744073709551615 134542289 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20060/statm: 113973 111522 190 642 0 113329 0
Current children cumulated CPU time (s) 642.11
Current children cumulated vsize (KiB) 455892

[startup+702.3 s]

################
# More data... #
################

/proc/meminfo: memFree=1258468/2059040 swapFree=4192956/4192956
[pid=20060] ppid=20058 vsize=515520 CPUtime=942.02
/proc/20060/stat : 20060 (bsolo_pb10) R 20058 20060 19403 0 -1 4202496 126652 0 0 0 94053 149 0 0 25 0 1 0 13555171 527892480 126455 1992294400 134512640 137138936 4291298240 18446744073709551615 134542770 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20060/statm: 128880 126455 190 642 0 128236 0
Current children cumulated CPU time (s) 942.02
Current children cumulated vsize (KiB) 515520

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 20089
/proc/meminfo: memFree=1250408/2059040 swapFree=4192956/4192956
[pid=20060] ppid=20058 vsize=523488 CPUtime=1002
/proc/20060/stat : 20060 (bsolo_pb10) R 20058 20060 19403 0 -1 4202496 128628 0 0 0 100049 151 0 0 25 0 1 0 13555171 536051712 128431 1992294400 134512640 137138936 4291298240 18446744073709551615 134542761 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20060/statm: 130872 128431 190 642 0 130228 0
Current children cumulated CPU time (s) 1002
Current children cumulated vsize (KiB) 523488

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 20091
/proc/meminfo: memFree=1243216/2059040 swapFree=4192956/4192956
[pid=20060] ppid=20058 vsize=530852 CPUtime=1061.98
/proc/20060/stat : 20060 (bsolo_pb10) R 20058 20060 19403 0 -1 4202496 130462 0 0 0 106044 154 0 0 25 0 1 0 13555171 543592448 130265 1992294400 134512640 137138936 4291298240 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20060/statm: 132713 130265 190 642 0 132069 0
Current children cumulated CPU time (s) 1061.98
Current children cumulated vsize (KiB) 530852

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 20091
/proc/meminfo: memFree=1236024/2059040 swapFree=4192956/4192956
[pid=20060] ppid=20058 vsize=537800 CPUtime=1121.96
/proc/20060/stat : 20060 (bsolo_pb10) R 20058 20060 19403 0 -1 4202496 132202 0 0 0 112040 156 0 0 25 0 1 0 13555171 550707200 132005 1992294400 134512640 137138936 4291298240 18446744073709551615 134542493 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20060/statm: 134450 132005 190 642 0 133806 0
Current children cumulated CPU time (s) 1121.96
Current children cumulated vsize (KiB) 537800

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 20093
/proc/meminfo: memFree=1230072/2059040 swapFree=4192956/4192956
[pid=20060] ppid=20058 vsize=543764 CPUtime=1181.94
/proc/20060/stat : 20060 (bsolo_pb10) R 20058 20060 19403 0 -1 4202496 133691 0 0 0 118037 157 0 0 25 0 1 0 13555171 556814336 133494 1992294400 134512640 137138936 4291298240 18446744073709551615 134542289 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20060/statm: 135941 133494 190 642 0 135297 0
Current children cumulated CPU time (s) 1181.94
Current children cumulated vsize (KiB) 543764

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 20095
/proc/meminfo: memFree=1211348/2059040 swapFree=4192956/4192956
[pid=20060] ppid=20058 vsize=562384 CPUtime=1241.93
/proc/20060/stat : 20060 (bsolo_pb10) R 20058 20060 19403 0 -1 4202496 138360 0 0 0 124031 162 0 0 25 0 1 0 13555171 575881216 138163 1992294400 134512640 137138936 4291298240 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20060/statm: 140596 138163 190 642 0 139952 0
Current children cumulated CPU time (s) 1241.93
Current children cumulated vsize (KiB) 562384

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 20099
/proc/meminfo: memFree=1187168/2059040 swapFree=4192956/4192956
[pid=20060] ppid=20058 vsize=585996 CPUtime=1301.91
/proc/20060/stat : 20060 (bsolo_pb10) R 20058 20060 19403 0 -1 4202496 144253 0 0 0 130023 168 0 0 25 0 1 0 13555171 600059904 144056 1992294400 134512640 137138936 4291298240 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20060/statm: 146499 144056 190 642 0 145855 0
Current children cumulated CPU time (s) 1301.91
Current children cumulated vsize (KiB) 585996

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 20102
/proc/meminfo: memFree=1172908/2059040 swapFree=4192956/4192956
[pid=20060] ppid=20058 vsize=600256 CPUtime=1361.89
/proc/20060/stat : 20060 (bsolo_pb10) R 20058 20060 19403 0 -1 4202496 147812 0 0 0 136017 172 0 0 25 0 1 0 13555171 614662144 147615 1992294400 134512640 137138936 4291298240 18446744073709551615 134542295 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20060/statm: 150064 147615 190 642 0 149420 0
Current children cumulated CPU time (s) 1361.89
Current children cumulated vsize (KiB) 600256

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 20102
/proc/meminfo: memFree=1143768/2059040 swapFree=4192956/4192956
[pid=20060] ppid=20058 vsize=629224 CPUtime=1421.88
/proc/20060/stat : 20060 (bsolo_pb10) R 20058 20060 19403 0 -1 4202496 155056 0 0 0 142007 181 0 0 25 0 1 0 13555171 644325376 154859 1992294400 134512640 137138936 4291298240 18446744073709551615 134542761 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20060/statm: 157306 154859 190 642 0 156662 0
Current children cumulated CPU time (s) 1421.88
Current children cumulated vsize (KiB) 629224

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 20104
/proc/meminfo: memFree=1122936/2059040 swapFree=4192956/4192956
[pid=20060] ppid=20058 vsize=650160 CPUtime=1481.85
/proc/20060/stat : 20060 (bsolo_pb10) R 20058 20060 19403 0 -1 4202496 160289 0 0 0 147998 187 0 0 25 0 1 0 13555171 665763840 160092 1992294400 134512640 137138936 4291298240 18446744073709551615 134542516 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20060/statm: 162540 160092 190 642 0 161896 0
Current children cumulated CPU time (s) 1481.85
Current children cumulated vsize (KiB) 650160

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 20106
/proc/meminfo: memFree=1099500/2059040 swapFree=4192956/4192956
[pid=20060] ppid=20058 vsize=673476 CPUtime=1541.84
/proc/20060/stat : 20060 (bsolo_pb10) R 20058 20060 19403 0 -1 4202496 166140 0 0 0 153990 194 0 0 25 0 1 0 13555171 689639424 165943 1992294400 134512640 137138936 4291298240 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20060/statm: 168369 165943 190 642 0 167725 0
Current children cumulated CPU time (s) 1541.84
Current children cumulated vsize (KiB) 673476

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 20108
/proc/meminfo: memFree=1059696/2059040 swapFree=4192956/4192956
[pid=20060] ppid=20058 vsize=713680 CPUtime=1601.82
/proc/20060/stat : 20060 (bsolo_pb10) R 20058 20060 19403 0 -1 4202496 176185 0 0 0 159978 204 0 0 25 0 1 0 13555171 730808320 175988 1992294400 134512640 137138936 4291298240 18446744073709551615 134542755 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20060/statm: 178420 175988 190 642 0 177776 0
Current children cumulated CPU time (s) 1601.82
Current children cumulated vsize (KiB) 713680

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 20110
/proc/meminfo: memFree=1013940/2059040 swapFree=4192956/4192956
[pid=20060] ppid=20058 vsize=759136 CPUtime=1661.81
/proc/20060/stat : 20060 (bsolo_pb10) R 20058 20060 19403 0 -1 4202496 187546 0 0 0 165962 219 0 0 25 0 1 0 13555171 777355264 187349 1992294400 134512640 137138936 4291298240 18446744073709551615 134542480 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20060/statm: 189784 187349 190 642 0 189140 0
Current children cumulated CPU time (s) 1661.81
Current children cumulated vsize (KiB) 759136

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 20110
/proc/meminfo: memFree=980584/2059040 swapFree=4192956/4192956
[pid=20060] ppid=20058 vsize=792348 CPUtime=1721.79
/proc/20060/stat : 20060 (bsolo_pb10) R 20058 20060 19403 0 -1 4202496 195835 0 0 0 171951 228 0 0 25 0 1 0 13555171 811364352 195638 1992294400 134512640 137138936 4291298240 18446744073709551615 135984592 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20060/statm: 198087 195638 190 642 0 197443 0
Current children cumulated CPU time (s) 1721.79
Current children cumulated vsize (KiB) 792348

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

[startup+1724.7 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 20110
/proc/meminfo: memFree=979716/2059040 swapFree=4192956/4192956
[pid=20060] ppid=20058 vsize=793088 CPUtime=1724.19
/proc/20060/stat : 20060 (bsolo_pb10) R 20058 20060 19403 0 -1 4202496 196037 0 0 0 172191 228 0 0 25 0 1 0 13555171 812122112 195840 1992294400 134512640 137138936 4291298240 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20060/statm: 198272 195840 190 642 0 197628 0
Current children cumulated CPU time (s) 1724.19
Current children cumulated vsize (KiB) 793088

[startup+1727.9 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 20110
/proc/meminfo: memFree=979096/2059040 swapFree=4192956/4192956
[pid=20060] ppid=20058 vsize=793924 CPUtime=1727.38
/proc/20060/stat : 20060 (bsolo_pb10) R 20058 20060 19403 0 -1 4202496 196245 0 0 0 172510 228 0 0 25 0 1 0 13555171 812978176 196048 1992294400 134512640 137138936 4291298240 18446744073709551615 134542530 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20060/statm: 198481 196048 190 642 0 197837 0
Current children cumulated CPU time (s) 1727.38
Current children cumulated vsize (KiB) 793924

[startup+1729.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 20110
/proc/meminfo: memFree=978600/2059040 swapFree=4192956/4192956
[pid=20060] ppid=20058 vsize=794444 CPUtime=1728.98
/proc/20060/stat : 20060 (bsolo_pb10) R 20058 20060 19403 0 -1 4202496 196366 0 0 0 172670 228 0 0 25 0 1 0 13555171 813510656 196169 1992294400 134512640 137138936 4291298240 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20060/statm: 198611 196169 190 642 0 197967 0
Current children cumulated CPU time (s) 1728.98
Current children cumulated vsize (KiB) 794444

[startup+1729.9 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 20110
/proc/meminfo: memFree=978600/2059040 swapFree=4192956/4192956
[pid=20060] ppid=20058 vsize=794544 CPUtime=1729.38
/proc/20060/stat : 20060 (bsolo_pb10) R 20058 20060 19403 0 -1 4202496 196396 0 0 0 172710 228 0 0 25 0 1 0 13555171 813613056 196199 1992294400 134512640 137138936 4291298240 18446744073709551615 134542508 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20060/statm: 198636 196199 190 642 0 197992 0
Current children cumulated CPU time (s) 1729.38
Current children cumulated vsize (KiB) 794544

[startup+1730.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 20110
/proc/meminfo: memFree=978104/2059040 swapFree=4192956/4192956
[pid=20060] ppid=20058 vsize=0 CPUtime=1729.79
/proc/20060/stat : 20060 (bsolo_pb10) R 20058 20060 19403 0 -1 4202500 196440 0 0 0 172746 233 0 0 25 0 1 0 13555171 0 0 1992294400 0 0 0 0 0 0 0 4096 16384 18446744073709551615 0 0 17 1 0 0 0
/proc/20060/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1729.79
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 1730.34
CPU time (s): 1729.83
CPU user time (s): 1727.47
CPU system time (s): 2.36464
CPU usage (%): 99.9706
Max. virtual memory (cumulated for all children) (KiB): 794644

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1727.47
system time used= 2.36464
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 196440
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= 1
involuntary context switches= 4672

runsolver used 2.97055 second user time and 8.05377 second system time

The end