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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2657520-1276415180/watcher-2657520-1276415180 -o /tmp/evaluation-result-2657520-1276415180/solver-2657520-1276415180 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l1 HOME/instance-2657520-1276415180.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.00 1.00 1.00 3/106 23504
/proc/meminfo: memFree=1736164/2059040 swapFree=4136464/4192956
[pid=23504] ppid=23502 vsize=11152 CPUtime=0
/proc/23504/stat : 23504 (bsolo_pb10) R 23502 23504 23060 0 -1 4202496 333 0 0 0 0 0 0 0 20 0 1 0 17121997 11419648 252 1992294400 134512640 137138936 4288947536 18446744073709551615 136577166 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/23504/statm: 2788 252 175 642 0 2055 0

[startup+0.041599 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 23504
/proc/meminfo: memFree=1736164/2059040 swapFree=4136464/4192956
[pid=23504] ppid=23502 vsize=11544 CPUtime=0.03
/proc/23504/stat : 23504 (bsolo_pb10) R 23502 23504 23060 0 -1 4202496 480 0 0 0 3 0 0 0 20 0 1 0 17121997 11821056 399 1992294400 134512640 137138936 4288947536 18446744073709551615 134517592 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/23504/statm: 2886 399 223 642 0 2153 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 11544

[startup+0.100605 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 23504
/proc/meminfo: memFree=1736164/2059040 swapFree=4136464/4192956
[pid=23504] ppid=23502 vsize=12376 CPUtime=0.09
/proc/23504/stat : 23504 (bsolo_pb10) R 23502 23504 23060 0 -1 4202496 818 0 0 0 9 0 0 0 20 0 1 0 17121997 12673024 648 1992294400 134512640 137138936 4288947536 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/23504/statm: 3094 648 185 642 0 2450 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 12376

[startup+0.30063 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 23504
/proc/meminfo: memFree=1736164/2059040 swapFree=4136464/4192956
[pid=23504] ppid=23502 vsize=12204 CPUtime=0.29
/proc/23504/stat : 23504 (bsolo_pb10) R 23502 23504 23060 0 -1 4202496 2866 0 0 0 28 1 0 0 20 0 1 0 17121997 12496896 720 1992294400 134512640 137138936 4288947536 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/23504/statm: 3051 720 283 642 0 2407 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 12204

[startup+0.700677 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 23504
/proc/meminfo: memFree=1736164/2059040 swapFree=4136464/4192956
[pid=23504] ppid=23502 vsize=14356 CPUtime=0.69
/proc/23504/stat : 23504 (bsolo_pb10) R 23502 23504 23060 0 -1 4202496 15939 0 0 0 64 5 0 0 20 0 1 0 17121997 14700544 880 1992294400 134512640 137138936 4288947536 18446744073709551615 135457808 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/23504/statm: 3589 880 286 642 0 2945 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 14356

[startup+1.50077 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 23505
/proc/meminfo: memFree=1733552/2059040 swapFree=4136464/4192956
[pid=23504] ppid=23502 vsize=12420 CPUtime=1.49
/proc/23504/stat : 23504 (bsolo_pb10) R 23502 23504 23060 0 -1 4202496 42860 0 0 0 137 12 0 0 22 0 1 0 17121997 12718080 769 1992294400 134512640 137138936 4288947536 18446744073709551615 134913446 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/23504/statm: 3105 773 286 642 0 2461 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 12420

[startup+3.10096 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 23505
/proc/meminfo: memFree=1733304/2059040 swapFree=4136464/4192956
[pid=23504] ppid=23502 vsize=12216 CPUtime=3.09
/proc/23504/stat : 23504 (bsolo_pb10) R 23502 23504 23060 0 -1 4202496 91556 0 0 0 285 24 0 0 25 0 1 0 17121997 12509184 727 1992294400 134512640 137138936 4288947536 18446744073709551615 134750313 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/23504/statm: 3054 727 286 642 0 2410 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 12216

[startup+6.30033 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 23505
/proc/meminfo: memFree=1733304/2059040 swapFree=4136464/4192956
[pid=23504] ppid=23502 vsize=13772 CPUtime=6.28
/proc/23504/stat : 23504 (bsolo_pb10) R 23502 23504 23060 0 -1 4202496 209866 0 0 0 572 56 0 0 25 0 1 0 17121997 14102528 862 1992294400 134512640 137138936 4288947536 18446744073709551615 135432698 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/23504/statm: 3443 863 287 642 0 2799 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 13772

[startup+12.7011 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 23505
/proc/meminfo: memFree=1732568/2059040 swapFree=4136464/4192956
[pid=23504] ppid=23502 vsize=15020 CPUtime=12.69
/proc/23504/stat : 23504 (bsolo_pb10) R 23502 23504 23060 0 -1 4202496 444641 0 0 0 1154 115 0 0 25 0 1 0 17121997 15380480 1039 1992294400 134512640 137138936 4288947536 18446744073709551615 134840834 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/23504/statm: 3755 1041 287 642 0 3111 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 15020

[startup+25.5006 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 23505
/proc/meminfo: memFree=1730212/2059040 swapFree=4136464/4192956
[pid=23504] ppid=23502 vsize=17668 CPUtime=25.49
/proc/23504/stat : 23504 (bsolo_pb10) R 23502 23504 23060 0 -1 4202496 917290 0 0 0 2305 244 0 0 25 0 1 0 17121997 18092032 1708 1992294400 134512640 137138936 4288947536 18446744073709551615 135456693 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/23504/statm: 4417 1708 287 642 0 3773 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 17668

[startup+51.1006 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 23505
/proc/meminfo: memFree=1721408/2059040 swapFree=4136464/4192956
[pid=23504] ppid=23502 vsize=24012 CPUtime=51.07
/proc/23504/stat : 23504 (bsolo_pb10) R 23502 23504 23060 0 -1 4202496 1709721 0 0 0 4653 454 0 0 25 0 1 0 17121997 24588288 3677 1992294400 134512640 137138936 4288947536 18446744073709551615 134849389 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/23504/statm: 6003 3677 287 642 0 5359 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 24012

[startup+102.309 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 23507
/proc/meminfo: memFree=1711488/2059040 swapFree=4136464/4192956
[pid=23504] ppid=23502 vsize=34508 CPUtime=102.27
/proc/23504/stat : 23504 (bsolo_pb10) R 23502 23504 23060 0 -1 4202496 2145985 0 0 0 9642 585 0 0 25 0 1 0 17121997 35336192 6233 1992294400 134512640 137138936 4288947536 18446744073709551615 135783789 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/23504/statm: 8627 6233 287 642 0 7983 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 34508

[startup+162.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 23509
/proc/meminfo: memFree=1710000/2059040 swapFree=4136464/4192956
[pid=23504] ppid=23502 vsize=36812 CPUtime=162.24
/proc/23504/stat : 23504 (bsolo_pb10) R 23502 23504 23060 0 -1 4202496 2533295 0 0 0 15496 728 0 0 25 0 1 0 17121997 37695488 6529 1992294400 134512640 137138936 4288947536 18446744073709551615 134731489 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/23504/statm: 9203 6529 287 642 0 8559 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 36812

[startup+222.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 23511
/proc/meminfo: memFree=1709256/2059040 swapFree=4136464/4192956
[pid=23504] ppid=23502 vsize=37104 CPUtime=222.23
/proc/23504/stat : 23504 (bsolo_pb10) R 23502 23504 23060 0 -1 4202496 3012368 0 0 0 21313 910 0 0 25 0 1 0 17121997 37994496 6700 1992294400 134512640 137138936 4288947536 18446744073709551615 135376235 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/23504/statm: 9276 6701 287 642 0 8632 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 37104

[startup+282.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 23511
/proc/meminfo: memFree=1706900/2059040 swapFree=4136464/4192956
[pid=23504] ppid=23502 vsize=38360 CPUtime=282.21
/proc/23504/stat : 23504 (bsolo_pb10) R 23502 23504 23060 0 -1 4202496 3577471 0 0 0 27109 1112 0 0 25 0 1 0 17121997 39280640 7238 1992294400 134512640 137138936 4288947536 18446744073709551615 136700814 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/23504/statm: 9803 7243 287 642 0 9159 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 38360

[startup+342.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 23513
/proc/meminfo: memFree=1702188/2059040 swapFree=4136464/4192956
[pid=23504] ppid=23502 vsize=43980 CPUtime=342.2
/proc/23504/stat : 23504 (bsolo_pb10) R 23502 23504 23060 0 -1 4202496 4146843 0 0 0 32898 1322 0 0 25 0 1 0 17121997 45035520 8428 1992294400 134512640 137138936 4288947536 18446744073709551615 135379346 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/23504/statm: 10995 8428 287 642 0 10351 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 43980

[startup+402.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 23515
/proc/meminfo: memFree=1702188/2059040 swapFree=4136464/4192956
[pid=23504] ppid=23502 vsize=43604 CPUtime=402.18
/proc/23504/stat : 23504 (bsolo_pb10) R 23502 23504 23060 0 -1 4202496 4333430 0 0 0 38810 1408 0 0 25 0 1 0 17121997 44650496 8433 1992294400 134512640 137138936 4288947536 18446744073709551615 135471516 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/23504/statm: 10901 8433 287 642 0 10257 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 43604

[startup+462.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 23517
/proc/meminfo: memFree=1700576/2059040 swapFree=4136464/4192956
[pid=23504] ppid=23502 vsize=44536 CPUtime=462.16
/proc/23504/stat : 23504 (bsolo_pb10) R 23502 23504 23060 0 -1 4202496 4486776 0 0 0 44747 1469 0 0 25 0 1 0 17121997 45604864 8808 1992294400 134512640 137138936 4288947536 18446744073709551615 134542342 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/23504/statm: 11134 8808 287 642 0 10490 0
Current children cumulated CPU time (s) 462.16
Current children cumulated vsize (KiB) 44536

[startup+522.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 23517
/proc/meminfo: memFree=1700576/2059040 swapFree=4136464/4192956
[pid=23504] ppid=23502 vsize=45288 CPUtime=522.15
/proc/23504/stat : 23504 (bsolo_pb10) R 23502 23504 23060 0 -1 4202496 4679870 0 0 0 50650 1565 0 0 25 0 1 0 17121997 46374912 8781 1992294400 134512640 137138936 4288947536 18446744073709551615 134849507 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/23504/statm: 11322 8781 287 642 0 10678 0
Current children cumulated CPU time (s) 522.15
Current children cumulated vsize (KiB) 45288

[startup+582.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 23519
/proc/meminfo: memFree=1700576/2059040 swapFree=4136464/4192956
[pid=23504] ppid=23502 vsize=45148 CPUtime=582.13
/proc/23504/stat : 23504 (bsolo_pb10) R 23502 23504 23060 0 -1 4202496 4731701 0 0 0 56612 1601 0 0 25 0 1 0 17121997 46231552 8789 1992294400 134512640 137138936 4288947536 18446744073709551615 135783829 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/23504/statm: 11287 8789 287 642 0 10643 0
Current children cumulated CPU time (s) 582.13
Current children cumulated vsize (KiB) 45148

[startup+642.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 23521
/proc/meminfo: memFree=1700576/2059040 swapFree=4136464/4192956
[pid=23504] ppid=23502 vsize=45132 CPUtime=642.12
/proc/23504/stat : 23504 (bsolo_pb10) R 23502 23504 23060 0 -1 4202496 4731731 0 0 0 62608 1604 0 0 25 0 1 0 17121997 46215168 8792 1992294400 134512640 137138936 4288947536 18446744073709551615 135409731 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/23504/statm: 11283 8792 287 642 0 10639 0
Current children cumulated CPU time (s) 642.12
Current children cumulated vsize (KiB) 45132

[startup+702.301 s]

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

/proc/meminfo: memFree=1689044/2059040 swapFree=4136464/4192956
[pid=23504] ppid=23502 vsize=56088 CPUtime=1061.99
/proc/23504/stat : 23504 (bsolo_pb10) R 23502 23504 23060 0 -1 4202496 6753706 0 0 0 103738 2461 0 0 25 0 1 0 17121997 57434112 11540 1992294400 134512640 137138936 4288947536 18446744073709551615 135568063 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/23504/statm: 14022 11540 287 642 0 13378 0
Current children cumulated CPU time (s) 1061.99
Current children cumulated vsize (KiB) 56088

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 23542
/proc/meminfo: memFree=1689044/2059040 swapFree=4136464/4192956
[pid=23504] ppid=23502 vsize=56088 CPUtime=1121.97
/proc/23504/stat : 23504 (bsolo_pb10) R 23502 23504 23060 0 -1 4202496 6753706 0 0 0 109733 2464 0 0 25 0 1 0 17121997 57434112 11540 1992294400 134512640 137138936 4288947536 18446744073709551615 134913455 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/23504/statm: 14022 11540 287 642 0 13378 0
Current children cumulated CPU time (s) 1121.97
Current children cumulated vsize (KiB) 56088

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 23544
/proc/meminfo: memFree=1689044/2059040 swapFree=4136464/4192956
[pid=23504] ppid=23502 vsize=56088 CPUtime=1181.96
/proc/23504/stat : 23504 (bsolo_pb10) R 23502 23504 23060 0 -1 4202496 6753706 0 0 0 115728 2468 0 0 25 0 1 0 17121997 57434112 11540 1992294400 134512640 137138936 4288947536 18446744073709551615 135447608 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/23504/statm: 14022 11540 287 642 0 13378 0
Current children cumulated CPU time (s) 1181.96
Current children cumulated vsize (KiB) 56088

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 23546
/proc/meminfo: memFree=1688920/2059040 swapFree=4136464/4192956
[pid=23504] ppid=23502 vsize=56088 CPUtime=1241.94
/proc/23504/stat : 23504 (bsolo_pb10) R 23502 23504 23060 0 -1 4202496 6753706 0 0 0 121723 2471 0 0 25 0 1 0 17121997 57434112 11540 1992294400 134512640 137138936 4288947536 18446744073709551615 134750963 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/23504/statm: 14022 11540 287 642 0 13378 0
Current children cumulated CPU time (s) 1241.94
Current children cumulated vsize (KiB) 56088

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 23548
/proc/meminfo: memFree=1689044/2059040 swapFree=4136464/4192956
[pid=23504] ppid=23502 vsize=56392 CPUtime=1301.93
/proc/23504/stat : 23504 (bsolo_pb10) R 23502 23504 23060 0 -1 4202496 6826030 0 0 0 127681 2512 0 0 25 0 1 0 17121997 57745408 11510 1992294400 134512640 137138936 4288947536 18446744073709551615 134841010 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/23504/statm: 14098 11510 287 642 0 13454 0
Current children cumulated CPU time (s) 1301.93
Current children cumulated vsize (KiB) 56392

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 23550
/proc/meminfo: memFree=1689044/2059040 swapFree=4136464/4192956
[pid=23504] ppid=23502 vsize=56352 CPUtime=1361.9
/proc/23504/stat : 23504 (bsolo_pb10) R 23502 23504 23060 0 -1 4202496 7002382 0 0 0 133579 2611 0 0 25 0 1 0 17121997 57704448 11502 1992294400 134512640 137138936 4288947536 18446744073709551615 135471492 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/23504/statm: 14088 11502 287 642 0 13444 0
Current children cumulated CPU time (s) 1361.9
Current children cumulated vsize (KiB) 56352

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 23552
/proc/meminfo: memFree=1684952/2059040 swapFree=4136464/4192956
[pid=23504] ppid=23502 vsize=59460 CPUtime=1421.89
/proc/23504/stat : 23504 (bsolo_pb10) R 23502 23504 23060 0 -1 4202496 7221065 0 0 0 139493 2696 0 0 25 0 1 0 17121997 60887040 12539 1992294400 134512640 137138936 4288947536 18446744073709551615 136700814 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/23504/statm: 14865 12539 287 642 0 14221 0
Current children cumulated CPU time (s) 1421.89
Current children cumulated vsize (KiB) 59460

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 23552
/proc/meminfo: memFree=1684952/2059040 swapFree=4136464/4192956
[pid=23504] ppid=23502 vsize=59444 CPUtime=1481.88
/proc/23504/stat : 23504 (bsolo_pb10) R 23502 23504 23060 0 -1 4202496 7556457 0 0 0 145346 2842 0 0 25 0 1 0 17121997 60870656 12535 1992294400 134512640 137138936 4288947536 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/23504/statm: 14861 12535 287 642 0 14217 0
Current children cumulated CPU time (s) 1481.88
Current children cumulated vsize (KiB) 59444

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 23554
/proc/meminfo: memFree=1684828/2059040 swapFree=4136464/4192956
[pid=23504] ppid=23502 vsize=59768 CPUtime=1541.86
/proc/23504/stat : 23504 (bsolo_pb10) R 23502 23504 23060 0 -1 4202496 7628765 0 0 0 151290 2896 0 0 25 0 1 0 17121997 61202432 12529 1992294400 134512640 137138936 4288947536 18446744073709551615 134849373 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/23504/statm: 14942 12529 287 642 0 14298 0
Current children cumulated CPU time (s) 1541.86
Current children cumulated vsize (KiB) 59768

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 23556
/proc/meminfo: memFree=1684828/2059040 swapFree=4136464/4192956
[pid=23504] ppid=23502 vsize=60124 CPUtime=1601.84
/proc/23504/stat : 23504 (bsolo_pb10) R 23502 23504 23060 0 -1 4202496 7628776 0 0 0 157284 2900 0 0 25 0 1 0 17121997 61566976 12540 1992294400 134512640 137138936 4288947536 18446744073709551615 135251358 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/23504/statm: 15031 12540 287 642 0 14387 0
Current children cumulated CPU time (s) 1601.84
Current children cumulated vsize (KiB) 60124

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 23561
/proc/meminfo: memFree=1684456/2059040 swapFree=4136464/4192956
[pid=23504] ppid=23502 vsize=60124 CPUtime=1661.83
/proc/23504/stat : 23504 (bsolo_pb10) R 23502 23504 23060 0 -1 4202496 7628782 0 0 0 163280 2903 0 0 25 0 1 0 17121997 61566976 12546 1992294400 134512640 137138936 4288947536 18446744073709551615 134542530 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/23504/statm: 15031 12546 287 642 0 14387 0
Current children cumulated CPU time (s) 1661.83
Current children cumulated vsize (KiB) 60124

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 23561
/proc/meminfo: memFree=1684580/2059040 swapFree=4136464/4192956
[pid=23504] ppid=23502 vsize=60124 CPUtime=1721.81
/proc/23504/stat : 23504 (bsolo_pb10) R 23502 23504 23060 0 -1 4202496 7628784 0 0 0 169275 2906 0 0 25 0 1 0 17121997 61566976 12548 1992294400 134512640 137138936 4288947536 18446744073709551615 134730901 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/23504/statm: 15031 12548 287 642 0 14387 0
Current children cumulated CPU time (s) 1721.81
Current children cumulated vsize (KiB) 60124

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 23563
/proc/meminfo: memFree=1684704/2059040 swapFree=4136464/4192956
[pid=23504] ppid=23502 vsize=59348 CPUtime=1781.79
/proc/23504/stat : 23504 (bsolo_pb10) R 23502 23504 23060 0 -1 4202496 7628784 0 0 0 175270 2909 0 0 25 0 1 0 17121997 60772352 12511 1992294400 134512640 137138936 4288947536 18446744073709551615 134730923 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/23504/statm: 14837 12511 287 642 0 14193 0
Current children cumulated CPU time (s) 1781.79
Current children cumulated vsize (KiB) 59348

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

[startup+1791.91 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 23563
/proc/meminfo: memFree=1684704/2059040 swapFree=4136464/4192956
[pid=23504] ppid=23502 vsize=59348 CPUtime=1791.39
/proc/23504/stat : 23504 (bsolo_pb10) R 23502 23504 23060 0 -1 4202496 7628784 0 0 0 176229 2910 0 0 25 0 1 0 17121997 60772352 12511 1992294400 134512640 137138936 4288947536 18446744073709551615 134848479 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/23504/statm: 14837 12511 287 642 0 14193 0
Current children cumulated CPU time (s) 1791.39
Current children cumulated vsize (KiB) 59348

[startup+1795.1 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 23563
/proc/meminfo: memFree=1684704/2059040 swapFree=4136464/4192956
[pid=23504] ppid=23502 vsize=59348 CPUtime=1794.59
/proc/23504/stat : 23504 (bsolo_pb10) R 23502 23504 23060 0 -1 4202496 7628784 0 0 0 176549 2910 0 0 25 0 1 0 17121997 60772352 12511 1992294400 134512640 137138936 4288947536 18446744073709551615 134540738 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/23504/statm: 14837 12511 287 642 0 14193 0
Current children cumulated CPU time (s) 1794.59
Current children cumulated vsize (KiB) 59348

[startup+1796.7 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 23563
/proc/meminfo: memFree=1684704/2059040 swapFree=4136464/4192956
[pid=23504] ppid=23502 vsize=59348 CPUtime=1796.18
/proc/23504/stat : 23504 (bsolo_pb10) R 23502 23504 23060 0 -1 4202496 7628784 0 0 0 176708 2910 0 0 25 0 1 0 17121997 60772352 12511 1992294400 134512640 137138936 4288947536 18446744073709551615 134905902 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/23504/statm: 14837 12511 287 642 0 14193 0
Current children cumulated CPU time (s) 1796.18
Current children cumulated vsize (KiB) 59348

[startup+1797.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 23565
/proc/meminfo: memFree=1684704/2059040 swapFree=4136464/4192956
[pid=23504] ppid=23502 vsize=59348 CPUtime=1796.98
/proc/23504/stat : 23504 (bsolo_pb10) R 23502 23504 23060 0 -1 4202496 7628784 0 0 0 176788 2910 0 0 25 0 1 0 17121997 60772352 12511 1992294400 134512640 137138936 4288947536 18446744073709551615 135388632 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/23504/statm: 14837 12511 287 642 0 14193 0
Current children cumulated CPU time (s) 1796.98
Current children cumulated vsize (KiB) 59348

[startup+1798.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 23565
/proc/meminfo: memFree=1684704/2059040 swapFree=4136464/4192956
[pid=23504] ppid=23502 vsize=59348 CPUtime=1797.78
/proc/23504/stat : 23504 (bsolo_pb10) R 23502 23504 23060 0 -1 4202496 7628784 0 0 0 176868 2910 0 0 25 0 1 0 17121997 60772352 12511 1992294400 134512640 137138936 4288947536 18446744073709551615 134925310 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/23504/statm: 14837 12511 287 642 0 14193 0
Current children cumulated CPU time (s) 1797.78
Current children cumulated vsize (KiB) 59348

[startup+1798.51 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 23565
/proc/meminfo: memFree=1684704/2059040 swapFree=4136464/4192956
[pid=23504] ppid=23502 vsize=59348 CPUtime=1797.99
/proc/23504/stat : 23504 (bsolo_pb10) R 23502 23504 23060 0 -1 4202496 7628784 0 0 0 176889 2910 0 0 25 0 1 0 17121997 60772352 12511 1992294400 134512640 137138936 4288947536 18446744073709551615 134624831 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/23504/statm: 14837 12511 287 642 0 14193 0
Current children cumulated CPU time (s) 1797.99
Current children cumulated vsize (KiB) 59348

Child status: 0
Real time (s): 1798.53
CPU time (s): 1798.02
CPU user time (s): 1768.91
CPU system time (s): 29.1156
CPU usage (%): 99.972
Max. virtual memory (cumulated for all children) (KiB): 61340

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1768.91
system time used= 29.1156
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 7628784
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= 3825

runsolver used 2.95755 second user time and 8.50171 second system time

The end