runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 989)
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: BIN/runsolver --timestamp -w /tmp/evaluation-result-3743156-1338793997/watcher-3743156-1338793997 -o /tmp/evaluation-result-3743156-1338793997/solver-3743156-1338793997 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 -m15500 HOME/instance-3743156-1338793997.opb
running on 4 cores: 1,3,5,7
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): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 32569
/proc/meminfo: memFree=26096588/32873648 swapFree=6864/6864
[pid=32569] ppid=32567 vsize=38652 CPUtime=0 cores=1,3,5,7
/proc/32569/stat : 32569 (bsolo) R 32567 32569 30743 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 345525178 39579648 311 33554432000 134512640 137136520 4286752432 4286750648 136504651 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32569/statm: 9663 311 184 641 0 2124 0
[startup+0.080449 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 32569
/proc/meminfo: memFree=26096588/32873648 swapFree=6864/6864
[pid=32569] ppid=32567 vsize=42364 CPUtime=0.07 cores=1,3,5,7
/proc/32569/stat : 32569 (bsolo) R 32567 32569 30743 0 -1 4202496 1536 0 0 0 7 0 0 0 20 0 1 0 345525178 43380736 1450 33554432000 134512640 137136520 4286752432 4286750632 136504651 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32569/statm: 10591 1451 399 641 0 3052 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 42364
[startup+0.100233 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 32569
/proc/meminfo: memFree=26096588/32873648 swapFree=6864/6864
[pid=32569] ppid=32567 vsize=43052 CPUtime=0.09 cores=1,3,5,7
/proc/32569/stat : 32569 (bsolo) R 32567 32569 30743 0 -1 4202496 1780 0 0 0 9 0 0 0 20 0 1 0 345525178 44085248 1694 33554432000 134512640 137136520 4286752432 4286750664 136504651 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32569/statm: 10763 1695 453 641 0 3224 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 43052
[startup+0.30021 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 32569
/proc/meminfo: memFree=26096588/32873648 swapFree=6864/6864
[pid=32569] ppid=32567 vsize=49880 CPUtime=0.29 cores=1,3,5,7
/proc/32569/stat : 32569 (bsolo) R 32567 32569 30743 0 -1 4202496 4106 0 0 0 29 0 0 0 20 0 1 0 345525178 51077120 3892 33554432000 134512640 137136520 4286752432 4286751140 136523268 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32569/statm: 12470 3892 979 641 0 4931 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 49880
[startup+0.700229 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 32569
/proc/meminfo: memFree=26096588/32873648 swapFree=6864/6864
[pid=32569] ppid=32567 vsize=62872 CPUtime=0.69 cores=1,3,5,7
/proc/32569/stat : 32569 (bsolo) R 32567 32569 30743 0 -1 4202496 8534 0 0 0 68 1 0 0 20 0 1 0 345525178 64380928 8066 33554432000 134512640 137136520 4286752432 4286750664 136504572 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32569/statm: 15718 8066 1947 641 0 8179 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 62872
[startup+1.50023 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 32570
/proc/meminfo: memFree=26060984/32873648 swapFree=6864/6864
[pid=32569] ppid=32567 vsize=89664 CPUtime=1.48 cores=1,3,5,7
/proc/32569/stat : 32569 (bsolo) R 32567 32569 30743 0 -1 4202496 17422 0 0 0 146 2 0 0 20 0 1 0 345525178 91815936 16448 33554432000 134512640 137136520 4286752432 4286750696 136504651 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32569/statm: 22416 16448 3628 641 0 14877 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 89664
[startup+3.10023 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 32570
/proc/meminfo: memFree=26026928/32873648 swapFree=6864/6864
[pid=32569] ppid=32567 vsize=121920 CPUtime=3.09 cores=1,3,5,7
/proc/32569/stat : 32569 (bsolo) R 32567 32569 30743 0 -1 4202496 27928 0 0 0 304 5 0 0 20 0 1 0 345525178 124846080 26965 33554432000 134512640 137136520 4286752432 4286750912 134516218 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32569/statm: 30480 26966 6346 641 0 22941 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 121920
[startup+6.30026 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 32570
/proc/meminfo: memFree=25936044/32873648 swapFree=6864/6864
[pid=32569] ppid=32567 vsize=175404 CPUtime=6.28 cores=1,3,5,7
/proc/32569/stat : 32569 (bsolo) R 32567 32569 30743 0 -1 4202496 44475 0 0 0 621 7 0 0 20 0 1 0 345525178 179613696 40080 33554432000 134512640 137136520 4286752432 4281939976 136502385 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32569/statm: 43851 40080 189 641 0 43207 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 175404
[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 32570
/proc/meminfo: memFree=25935656/32873648 swapFree=6864/6864
[pid=32569] ppid=32567 vsize=175404 CPUtime=12.69 cores=1,3,5,7
/proc/32569/stat : 32569 (bsolo) R 32567 32569 30743 0 -1 4202496 44477 0 0 0 1261 8 0 0 20 0 1 0 345525178 179613696 40082 33554432000 134512640 137136520 4286752432 4281940192 134543834 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32569/statm: 43851 40082 189 641 0 43207 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 175404
[startup+25.5002 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 32570
/proc/meminfo: memFree=25934804/32873648 swapFree=6864/6864
[pid=32569] ppid=32567 vsize=175404 CPUtime=25.49 cores=1,3,5,7
/proc/32569/stat : 32569 (bsolo) R 32567 32569 30743 0 -1 4202496 44477 0 0 0 2541 8 0 0 20 0 1 0 345525178 179613696 40082 33554432000 134512640 137136520 4286752432 4281940116 136509148 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32569/statm: 43851 40082 189 641 0 43207 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 175404
[startup+51.1003 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 32570
/proc/meminfo: memFree=25934964/32873648 swapFree=6864/6864
[pid=32569] ppid=32567 vsize=175404 CPUtime=51.08 cores=1,3,5,7
/proc/32569/stat : 32569 (bsolo) R 32567 32569 30743 0 -1 4202496 44484 0 0 0 5099 9 0 0 20 0 1 0 345525178 179613696 40089 33554432000 134512640 137136520 4286752432 4281939928 136502385 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32569/statm: 43851 40089 189 641 0 43207 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 175404
[startup+102.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 32570
/proc/meminfo: memFree=25931656/32873648 swapFree=6864/6864
[pid=32569] ppid=32567 vsize=175404 CPUtime=102.24 cores=1,3,5,7
/proc/32569/stat : 32569 (bsolo) R 32567 32569 30743 0 -1 4202496 44518 0 0 0 10215 9 0 0 20 0 1 0 345525178 179613696 40089 33554432000 134512640 137136520 4286752432 4281940192 134543603 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32569/statm: 43851 40089 189 641 0 43207 0
Current children cumulated CPU time (s) 102.24
Current children cumulated vsize (KiB) 175404
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 32570
/proc/meminfo: memFree=25924164/32873648 swapFree=6864/6864
[pid=32569] ppid=32567 vsize=175536 CPUtime=162.22 cores=1,3,5,7
/proc/32569/stat : 32569 (bsolo) R 32567 32569 30743 0 -1 4202496 44537 0 0 0 16212 10 0 0 20 0 1 0 345525178 179748864 41510 33554432000 134512640 137136520 4286752432 4281940348 136518982 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32569/statm: 43884 41510 189 641 0 43240 0
Current children cumulated CPU time (s) 162.22
Current children cumulated vsize (KiB) 175536
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 32571
/proc/meminfo: memFree=25917064/32873648 swapFree=6864/6864
[pid=32569] ppid=32567 vsize=179440 CPUtime=222.21 cores=1,3,5,7
/proc/32569/stat : 32569 (bsolo) R 32567 32569 30743 0 -1 4202496 974179 0 0 0 21933 288 0 0 20 0 1 0 345525178 183746560 42527 33554432000 134512640 137136520 4286752432 4286751024 134616694 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32569/statm: 44860 42527 198 641 0 44216 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 179440
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 32571
/proc/meminfo: memFree=25912604/32873648 swapFree=6864/6864
[pid=32569] ppid=32567 vsize=180740 CPUtime=282.2 cores=1,3,5,7
/proc/32569/stat : 32569 (bsolo) R 32567 32569 30743 0 -1 4202496 1334107 0 0 0 27871 349 0 0 20 0 1 0 345525178 185077760 42852 33554432000 134512640 137136520 4286752432 4286751024 134616694 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32569/statm: 45185 42852 198 641 0 44541 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 180740
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 32571
/proc/meminfo: memFree=25907240/32873648 swapFree=6864/6864
[pid=32569] ppid=32567 vsize=183660 CPUtime=342.19 cores=1,3,5,7
/proc/32569/stat : 32569 (bsolo) R 32567 32569 30743 0 -1 4202496 2152221 0 0 0 33729 490 0 0 20 0 1 0 345525178 188067840 43550 33554432000 134512640 137136520 4286752432 4286751200 134571834 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32569/statm: 45915 43550 198 641 0 45271 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 183660
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 32571
/proc/meminfo: memFree=25905040/32873648 swapFree=6864/6864
[pid=32569] ppid=32567 vsize=183792 CPUtime=402.18 cores=1,3,5,7
/proc/32569/stat : 32569 (bsolo) R 32567 32569 30743 0 -1 4202496 2678157 0 0 0 39634 584 0 0 20 0 1 0 345525178 188203008 43615 33554432000 134512640 137136520 4286752432 4286751024 134616694 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32569/statm: 45948 43615 198 641 0 45304 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 183792
[startup+462.3 s]
/proc/loadavg: 2.06 2.02 2.00 3/178 32574
/proc/meminfo: memFree=25900436/32873648 swapFree=6864/6864
[pid=32569] ppid=32567 vsize=184696 CPUtime=462.18 cores=1,3,5,7
/proc/32569/stat : 32569 (bsolo) R 32567 32569 30743 0 -1 4202496 3104471 0 0 0 45557 661 0 0 20 0 1 0 345525178 189128704 43841 33554432000 134512640 137136520 4286752432 4286751024 134616694 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32569/statm: 46174 43841 198 641 0 45530 0
Current children cumulated CPU time (s) 462.18
Current children cumulated vsize (KiB) 184696
[startup+522.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 32575
/proc/meminfo: memFree=25894360/32873648 swapFree=6864/6864
[pid=32569] ppid=32567 vsize=186244 CPUtime=522.16 cores=1,3,5,7
/proc/32569/stat : 32569 (bsolo) R 32567 32569 30743 0 -1 4202496 3649516 0 0 0 51464 752 0 0 20 0 1 0 345525178 190713856 44227 33554432000 134512640 137136520 4286752432 4286751200 134573439 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32569/statm: 46561 44227 198 641 0 45917 0
Current children cumulated CPU time (s) 522.16
Current children cumulated vsize (KiB) 186244
[startup+582.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 32575
/proc/meminfo: memFree=25891572/32873648 swapFree=6864/6864
[pid=32569] ppid=32567 vsize=187288 CPUtime=582.16 cores=1,3,5,7
/proc/32569/stat : 32569 (bsolo) R 32567 32569 30743 0 -1 4202496 4084621 0 0 0 57388 828 0 0 20 0 1 0 345525178 191782912 44489 33554432000 134512640 137136520 4286752432 4286751024 134616694 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32569/statm: 46822 44489 198 641 0 46178 0
Current children cumulated CPU time (s) 582.16
Current children cumulated vsize (KiB) 187288
[startup+642.3 s]
################
# More data... #
################
/proc/meminfo: memFree=25786576/32873648 swapFree=6864/6864
[pid=32569] ppid=32567 vsize=208760 CPUtime=1122.07 cores=1,3,5,7
/proc/32569/stat : 32569 (bsolo) R 32567 32569 30743 0 -1 4202496 7398264 0 0 0 110807 1400 0 0 20 0 1 0 345525178 213770240 49857 33554432000 134512640 137136520 4286752432 4286751200 134573439 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32569/statm: 52190 49857 198 641 0 51546 0
Current children cumulated CPU time (s) 1122.07
Current children cumulated vsize (KiB) 208760
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 32629
/proc/meminfo: memFree=25784132/32873648 swapFree=6864/6864
[pid=32569] ppid=32567 vsize=207432 CPUtime=1182.06 cores=1,3,5,7
/proc/32569/stat : 32569 (bsolo) R 32567 32569 30743 0 -1 4202496 7643032 0 0 0 116763 1443 0 0 20 0 1 0 345525178 212410368 49507 33554432000 134512640 137136520 4286752432 4286751360 134544402 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32569/statm: 51858 49507 198 641 0 51214 0
Current children cumulated CPU time (s) 1182.06
Current children cumulated vsize (KiB) 207432
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 32629
/proc/meminfo: memFree=25781920/32873648 swapFree=6864/6864
[pid=32569] ppid=32567 vsize=212376 CPUtime=1242.05 cores=1,3,5,7
/proc/32569/stat : 32569 (bsolo) R 32567 32569 30743 0 -1 4202496 7943210 0 0 0 122710 1495 0 0 20 0 1 0 345525178 217473024 50729 33554432000 134512640 137136520 4286752432 4286751120 134607060 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32569/statm: 53094 50729 198 641 0 52450 0
Current children cumulated CPU time (s) 1242.05
Current children cumulated vsize (KiB) 212376
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 32629
/proc/meminfo: memFree=25776336/32873648 swapFree=6864/6864
[pid=32569] ppid=32567 vsize=216256 CPUtime=1302.05 cores=1,3,5,7
/proc/32569/stat : 32569 (bsolo) R 32567 32569 30743 0 -1 4202496 8176514 0 0 0 128670 1535 0 0 20 0 1 0 345525178 221446144 51702 33554432000 134512640 137136520 4286752432 4286751200 134571834 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32569/statm: 54064 51702 198 641 0 53420 0
Current children cumulated CPU time (s) 1302.05
Current children cumulated vsize (KiB) 216256
[startup+1362.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/177 32629
/proc/meminfo: memFree=25772988/32873648 swapFree=6864/6864
[pid=32569] ppid=32567 vsize=213136 CPUtime=1362.03 cores=1,3,5,7
/proc/32569/stat : 32569 (bsolo) R 32567 32569 30743 0 -1 4202496 8565056 0 0 0 134598 1605 0 0 20 0 1 0 345525178 218251264 50951 33554432000 134512640 137136520 4286752432 4286751360 134543831 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32569/statm: 53284 50951 198 641 0 52640 0
Current children cumulated CPU time (s) 1362.03
Current children cumulated vsize (KiB) 213136
[startup+1422.31 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 32630
/proc/meminfo: memFree=25775272/32873648 swapFree=6864/6864
[pid=32569] ppid=32567 vsize=218336 CPUtime=1422.03 cores=1,3,5,7
/proc/32569/stat : 32569 (bsolo) R 32567 32569 30743 0 -1 4202496 8814934 0 0 0 140556 1647 0 0 20 0 1 0 345525178 223576064 52219 33554432000 134512640 137136520 4286752432 4286751120 134607060 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32569/statm: 54584 52219 198 641 0 53940 0
Current children cumulated CPU time (s) 1422.03
Current children cumulated vsize (KiB) 218336
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 32630
/proc/meminfo: memFree=25770512/32873648 swapFree=6864/6864
[pid=32569] ppid=32567 vsize=216808 CPUtime=1482.01 cores=1,3,5,7
/proc/32569/stat : 32569 (bsolo) R 32567 32569 30743 0 -1 4202496 9071300 0 0 0 146511 1690 0 0 20 0 1 0 345525178 222011392 51837 33554432000 134512640 137136520 4286752432 4286751360 134544714 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32569/statm: 54202 51837 198 641 0 53558 0
Current children cumulated CPU time (s) 1482.01
Current children cumulated vsize (KiB) 216808
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 32630
/proc/meminfo: memFree=25766604/32873648 swapFree=6864/6864
[pid=32569] ppid=32567 vsize=220456 CPUtime=1542.01 cores=1,3,5,7
/proc/32569/stat : 32569 (bsolo) R 32567 32569 30743 0 -1 4202496 9343966 0 0 0 152462 1739 0 0 20 0 1 0 345525178 225746944 52749 33554432000 134512640 137136520 4286752432 4286751024 134616499 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32569/statm: 55114 52749 198 641 0 54470 0
Current children cumulated CPU time (s) 1542.01
Current children cumulated vsize (KiB) 220456
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 32630
/proc/meminfo: memFree=25770572/32873648 swapFree=6864/6864
[pid=32569] ppid=32567 vsize=220456 CPUtime=1602 cores=1,3,5,7
/proc/32569/stat : 32569 (bsolo) R 32567 32569 30743 0 -1 4202496 9608174 0 0 0 158414 1786 0 0 20 0 1 0 345525178 225746944 52749 33554432000 134512640 137136520 4286752432 4286751024 134616694 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32569/statm: 55114 52749 198 641 0 54470 0
Current children cumulated CPU time (s) 1602
Current children cumulated vsize (KiB) 220456
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 32633
/proc/meminfo: memFree=25767592/32873648 swapFree=6864/6864
[pid=32569] ppid=32567 vsize=220848 CPUtime=1661.99 cores=1,3,5,7
/proc/32569/stat : 32569 (bsolo) R 32567 32569 30743 0 -1 4202496 9847553 0 0 0 164369 1830 0 0 20 0 1 0 345525178 226148352 52862 33554432000 134512640 137136520 4286752432 4286751056 134554358 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32569/statm: 55212 52862 198 641 0 54568 0
Current children cumulated CPU time (s) 1661.99
Current children cumulated vsize (KiB) 220848
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 32633
/proc/meminfo: memFree=25766500/32873648 swapFree=6864/6864
[pid=32569] ppid=32567 vsize=221080 CPUtime=1721.97 cores=1,3,5,7
/proc/32569/stat : 32569 (bsolo) R 32567 32569 30743 0 -1 4202496 10083401 0 0 0 170327 1870 0 0 20 0 1 0 345525178 226385920 52904 33554432000 134512640 137136520 4286752432 4286751200 134573545 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32569/statm: 55270 52904 198 641 0 54626 0
Current children cumulated CPU time (s) 1721.97
Current children cumulated vsize (KiB) 221080
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 32634
/proc/meminfo: memFree=25763888/32873648 swapFree=6864/6864
[pid=32569] ppid=32567 vsize=218620 CPUtime=1781.97 cores=1,3,5,7
/proc/32569/stat : 32569 (bsolo) R 32567 32569 30743 0 -1 4202496 10311779 0 0 0 176285 1912 0 0 20 0 1 0 345525178 223866880 52290 33554432000 134512640 137136520 4286752432 4286751096 136502385 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32569/statm: 54655 52290 198 641 0 54011 0
Current children cumulated CPU time (s) 1781.97
Current children cumulated vsize (KiB) 218620
Solver just ended. Dumping a history of the last processes samples
[startup+1791.91 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 32634
/proc/meminfo: memFree=25768596/32873648 swapFree=6864/6864
[pid=32569] ppid=32567 vsize=221756 CPUtime=1791.57 cores=1,3,5,7
/proc/32569/stat : 32569 (bsolo) R 32567 32569 30743 0 -1 4202496 10354115 0 0 0 177238 1919 0 0 20 0 1 0 345525178 227078144 53074 33554432000 134512640 137136520 4286752432 4286058160 134607171 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32569/statm: 55439 53074 198 641 0 54795 0
Current children cumulated CPU time (s) 1791.57
Current children cumulated vsize (KiB) 221756
[startup+1795.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 32634
/proc/meminfo: memFree=25766736/32873648 swapFree=6864/6864
[pid=32569] ppid=32567 vsize=221756 CPUtime=1794.77 cores=1,3,5,7
/proc/32569/stat : 32569 (bsolo) R 32567 32569 30743 0 -1 4202496 10364080 0 0 0 177556 1921 0 0 20 0 1 0 345525178 227078144 53074 33554432000 134512640 137136520 4286752432 4286751024 134616694 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32569/statm: 55439 53074 198 641 0 54795 0
Current children cumulated CPU time (s) 1794.77
Current children cumulated vsize (KiB) 221756
[startup+1796.7 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 32634
/proc/meminfo: memFree=25766240/32873648 swapFree=6864/6864
[pid=32569] ppid=32567 vsize=221756 CPUtime=1796.36 cores=1,3,5,7
/proc/32569/stat : 32569 (bsolo) R 32567 32569 30743 0 -1 4202496 10369874 0 0 0 177714 1922 0 0 20 0 1 0 345525178 227078144 53074 33554432000 134512640 137136520 4286752432 4286751200 134573959 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32569/statm: 55439 53074 198 641 0 54795 0
Current children cumulated CPU time (s) 1796.36
Current children cumulated vsize (KiB) 221756
[startup+1797.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 32634
/proc/meminfo: memFree=25763388/32873648 swapFree=6864/6864
[pid=32569] ppid=32567 vsize=221756 CPUtime=1797.17 cores=1,3,5,7
/proc/32569/stat : 32569 (bsolo) R 32567 32569 30743 0 -1 4202496 10371442 0 0 0 177794 1923 0 0 20 0 1 0 345525178 227078144 53074 33554432000 134512640 137136520 4286752432 4286057700 136498219 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32569/statm: 55439 53074 198 641 0 54795 0
Current children cumulated CPU time (s) 1797.17
Current children cumulated vsize (KiB) 221756
[startup+1797.9 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 32634
/proc/meminfo: memFree=25763388/32873648 swapFree=6864/6864
[pid=32569] ppid=32567 vsize=221756 CPUtime=1797.57 cores=1,3,5,7
/proc/32569/stat : 32569 (bsolo) R 32567 32569 30743 0 -1 4202496 10373010 0 0 0 177834 1923 0 0 20 0 1 0 345525178 227078144 53074 33554432000 134512640 137136520 4286752432 4286751024 134616694 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32569/statm: 55439 53074 198 641 0 54795 0
Current children cumulated CPU time (s) 1797.57
Current children cumulated vsize (KiB) 221756
[startup+1798.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 32634
/proc/meminfo: memFree=25763388/32873648 swapFree=6864/6864
[pid=32569] ppid=32567 vsize=221756 CPUtime=1797.97 cores=1,3,5,7
/proc/32569/stat : 32569 (bsolo) R 32567 32569 30743 0 -1 4202496 10373010 0 0 0 177874 1923 0 0 20 0 1 0 345525178 227078144 53074 33554432000 134512640 137136520 4286752432 4286751024 134616694 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32569/statm: 55439 53074 198 641 0 54795 0
Current children cumulated CPU time (s) 1797.97
Current children cumulated vsize (KiB) 221756
[startup+1798.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 32634
/proc/meminfo: memFree=25763388/32873648 swapFree=6864/6864
[pid=32569] ppid=32567 vsize=221756 CPUtime=1798.07 cores=1,3,5,7
/proc/32569/stat : 32569 (bsolo) R 32567 32569 30743 0 -1 4202496 10373010 0 0 0 177884 1923 0 0 20 0 1 0 345525178 227078144 53074 33554432000 134512640 137136520 4286752432 4286750840 136502385 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32569/statm: 55439 53074 198 641 0 54795 0
Current children cumulated CPU time (s) 1798.07
Current children cumulated vsize (KiB) 221756
Child status: 0
Real time (s): 1798.48
CPU time (s): 1798.15
CPU user time (s): 1778.92
CPU system time (s): 19.2361
CPU usage (%): 99.982
Max. virtual memory (cumulated for all children) (KiB): 222492
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1778.92
system time used= 19.2361
maximum resident set size= 213032
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 10373011
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= 61
involuntary context switches= 1848
runsolver used 3.85141 second user time and 12.2581 second system time
The end