runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 977)
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-3462988-1307174614/watcher-3462988-1307174614 -o /tmp/evaluation-result-3462988-1307174614/solver-3462988-1307174614 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 HOME/instance-3462988-1307174614.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.01 2.05 2.02 2/575 31985
/proc/meminfo: memFree=23540548/32951124 swapFree=58940260/67111528
[pid=31985] ppid=31983 vsize=11328 CPUtime=0.01 cores=1,3,5,7
/proc/31985/stat : 31985 (bsolo) R 31983 31985 30921 0 -1 4202496 448 0 0 0 1 0 0 0 25 0 1 0 829059120 11599872 381 33554432000 134512640 137138936 4294213056 18446744073709551615 134542770 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/31985/statm: 2832 381 192 642 0 2188 0
[startup+0.113294 s]
/proc/loadavg: 2.01 2.05 2.02 2/575 31985
/proc/meminfo: memFree=23540548/32951124 swapFree=58940260/67111528
[pid=31985] ppid=31983 vsize=11692 CPUtime=0.1 cores=1,3,5,7
/proc/31985/stat : 31985 (bsolo) R 31983 31985 30921 0 -1 4202496 551 0 0 0 10 0 0 0 25 0 1 0 829059120 11972608 484 33554432000 134512640 137138936 4294213056 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/31985/statm: 2923 484 192 642 0 2279 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 11692
[startup+0.200278 s]
/proc/loadavg: 2.01 2.05 2.02 2/575 31985
/proc/meminfo: memFree=23540548/32951124 swapFree=58940260/67111528
[pid=31985] ppid=31983 vsize=11944 CPUtime=0.19 cores=1,3,5,7
/proc/31985/stat : 31985 (bsolo) R 31983 31985 30921 0 -1 4202496 624 0 0 0 19 0 0 0 25 0 1 0 829059120 12230656 557 33554432000 134512640 137138936 4294213056 18446744073709551615 134575655 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/31985/statm: 2986 557 192 642 0 2342 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 11944
[startup+0.300272 s]
/proc/loadavg: 2.01 2.05 2.02 2/575 31985
/proc/meminfo: memFree=23540548/32951124 swapFree=58940260/67111528
[pid=31985] ppid=31983 vsize=12312 CPUtime=0.29 cores=1,3,5,7
/proc/31985/stat : 31985 (bsolo) R 31983 31985 30921 0 -1 4202496 699 0 0 0 29 0 0 0 25 0 1 0 829059120 12607488 632 33554432000 134512640 137138936 4294213056 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/31985/statm: 3078 632 192 642 0 2434 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 12312
[startup+0.700198 s]
/proc/loadavg: 2.01 2.05 2.02 2/575 31985
/proc/meminfo: memFree=23540548/32951124 swapFree=58940260/67111528
[pid=31985] ppid=31983 vsize=13292 CPUtime=0.69 cores=1,3,5,7
/proc/31985/stat : 31985 (bsolo) R 31983 31985 30921 0 -1 4202496 951 0 0 0 69 0 0 0 25 0 1 0 829059120 13611008 884 33554432000 134512640 137138936 4294213056 18446744073709551615 134618015 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/31985/statm: 3323 884 192 642 0 2679 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 13292
[startup+1.50104 s]
/proc/loadavg: 2.01 2.05 2.02 3/576 31986
/proc/meminfo: memFree=23536200/32951124 swapFree=58940260/67111528
[pid=31985] ppid=31983 vsize=13668 CPUtime=1.49 cores=1,3,5,7
/proc/31985/stat : 31985 (bsolo) R 31983 31985 30921 0 -1 4202496 1052 0 0 0 149 0 0 0 25 0 1 0 829059120 13996032 985 33554432000 134512640 137138936 4294213056 18446744073709551615 134542503 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/31985/statm: 3417 985 192 642 0 2773 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 13668
[startup+3.10075 s]
/proc/loadavg: 2.01 2.05 2.02 3/576 31986
/proc/meminfo: memFree=23534716/32951124 swapFree=58940260/67111528
[pid=31985] ppid=31983 vsize=14284 CPUtime=3.09 cores=1,3,5,7
/proc/31985/stat : 31985 (bsolo) R 31983 31985 30921 0 -1 4202496 1205 0 0 0 308 1 0 0 25 0 1 0 829059120 14626816 1138 33554432000 134512640 137138936 4294213056 18446744073709551615 134618359 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/31985/statm: 3571 1138 192 642 0 2927 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 14284
[startup+6.30017 s]
/proc/loadavg: 2.01 2.05 2.02 3/576 31987
/proc/meminfo: memFree=23534620/32951124 swapFree=58940260/67111528
[pid=31985] ppid=31983 vsize=14512 CPUtime=6.29 cores=1,3,5,7
/proc/31985/stat : 31985 (bsolo) R 31983 31985 30921 0 -1 4202496 1244 0 0 0 627 2 0 0 25 0 1 0 829059120 14860288 1177 33554432000 134512640 137138936 4294213056 18446744073709551615 134618032 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/31985/statm: 3628 1177 192 642 0 2984 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 14512
[startup+12.701 s]
/proc/loadavg: 2.01 2.05 2.01 3/576 31987
/proc/meminfo: memFree=23532296/32951124 swapFree=58940260/67111528
[pid=31985] ppid=31983 vsize=15256 CPUtime=12.69 cores=1,3,5,7
/proc/31985/stat : 31985 (bsolo) R 31983 31985 30921 0 -1 4202496 1433 0 0 0 1264 5 0 0 25 0 1 0 829059120 15622144 1366 33554432000 134512640 137138936 4294213056 18446744073709551615 134601170 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/31985/statm: 3814 1366 192 642 0 3170 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 15256
[startup+25.5007 s]
/proc/loadavg: 2.01 2.04 2.01 3/576 31987
/proc/meminfo: memFree=23532232/32951124 swapFree=58940260/67111528
[pid=31985] ppid=31983 vsize=15592 CPUtime=25.49 cores=1,3,5,7
/proc/31985/stat : 31985 (bsolo) R 31983 31985 30921 0 -1 4202496 1515 0 0 0 2539 10 0 0 25 0 1 0 829059120 15966208 1448 33554432000 134512640 137138936 4294213056 18446744073709551615 134542516 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/31985/statm: 3898 1448 192 642 0 3254 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 15592
[startup+51.101 s]
/proc/loadavg: 2.00 2.04 2.01 3/576 31990
/proc/meminfo: memFree=23529532/32951124 swapFree=58940260/67111528
[pid=31985] ppid=31983 vsize=17384 CPUtime=51.09 cores=1,3,5,7
/proc/31985/stat : 31985 (bsolo) R 31983 31985 30921 0 -1 4202496 1981 0 0 0 5088 21 0 0 25 0 1 0 829059120 17801216 1914 33554432000 134512640 137138936 4294213056 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/31985/statm: 4346 1914 192 642 0 3702 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 17384
[startup+102.301 s]
/proc/loadavg: 2.04 2.05 2.01 3/576 31992
/proc/meminfo: memFree=23526580/32951124 swapFree=58940260/67111528
[pid=31985] ppid=31983 vsize=18116 CPUtime=102.31 cores=1,3,5,7
/proc/31985/stat : 31985 (bsolo) R 31983 31985 30921 0 -1 4202496 2157 0 0 0 10196 35 0 0 25 0 1 0 829059120 18550784 2090 33554432000 134512640 137138936 4294213056 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/31985/statm: 4529 2090 192 642 0 3885 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 18116
[startup+162.301 s]
/proc/loadavg: 2.01 2.03 2.01 3/576 31994
/proc/meminfo: memFree=23524332/32951124 swapFree=58940260/67111528
[pid=31985] ppid=31983 vsize=18568 CPUtime=162.26 cores=1,3,5,7
/proc/31985/stat : 31985 (bsolo) R 31983 31985 30921 0 -1 4202496 2263 0 0 0 16173 53 0 0 25 0 1 0 829059120 19013632 2196 33554432000 134512640 137138936 4294213056 18446744073709551615 134542480 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/31985/statm: 4642 2196 192 642 0 3998 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 18568
[startup+222.322 s]
/proc/loadavg: 2.00 2.03 2.00 3/576 31995
/proc/meminfo: memFree=23525404/32951124 swapFree=58940260/67111528
[pid=31985] ppid=31983 vsize=18560 CPUtime=222.25 cores=1,3,5,7
/proc/31985/stat : 31985 (bsolo) R 31983 31985 30921 0 -1 4202496 2264 0 0 0 22157 68 0 0 25 0 1 0 829059120 19005440 2197 33554432000 134512640 137138936 4294213056 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/31985/statm: 4640 2197 192 642 0 3996 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 18560
[startup+282.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/576 31997
/proc/meminfo: memFree=23524272/32951124 swapFree=58940260/67111528
[pid=31985] ppid=31983 vsize=18556 CPUtime=282.24 cores=1,3,5,7
/proc/31985/stat : 31985 (bsolo) R 31983 31985 30921 0 -1 4202496 2264 0 0 0 28139 85 0 0 25 0 1 0 829059120 19001344 2197 33554432000 134512640 137138936 4294213056 18446744073709551615 134542503 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/31985/statm: 4639 2197 192 642 0 3995 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 18556
[startup+342.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/576 31999
/proc/meminfo: memFree=23523488/32951124 swapFree=58940260/67111528
[pid=31985] ppid=31983 vsize=19996 CPUtime=342.24 cores=1,3,5,7
/proc/31985/stat : 31985 (bsolo) R 31983 31985 30921 0 -1 4202496 2622 0 0 0 34126 98 0 0 25 0 1 0 829059120 20475904 2555 33554432000 134512640 137138936 4294213056 18446744073709551615 134542484 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/31985/statm: 4999 2555 192 642 0 4355 0
Current children cumulated CPU time (s) 342.24
Current children cumulated vsize (KiB) 19996
[startup+402.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/576 32000
/proc/meminfo: memFree=23522476/32951124 swapFree=58940260/67111528
[pid=31985] ppid=31983 vsize=20736 CPUtime=402.24 cores=1,3,5,7
/proc/31985/stat : 31985 (bsolo) R 31983 31985 30921 0 -1 4202496 2814 0 0 0 40112 112 0 0 25 0 1 0 829059120 21233664 2747 33554432000 134512640 137138936 4294213056 18446744073709551615 134542525 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/31985/statm: 5184 2747 192 642 0 4540 0
Current children cumulated CPU time (s) 402.24
Current children cumulated vsize (KiB) 20736
[startup+462.301 s]
/proc/loadavg: 2.18 2.06 2.02 3/576 32002
/proc/meminfo: memFree=23522704/32951124 swapFree=58940260/67111528
[pid=31985] ppid=31983 vsize=20736 CPUtime=462.24 cores=1,3,5,7
/proc/31985/stat : 31985 (bsolo) R 31983 31985 30921 0 -1 4202496 2814 0 0 0 46098 126 0 0 25 0 1 0 829059120 21233664 2747 33554432000 134512640 137138936 4294213056 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/31985/statm: 5184 2747 192 642 0 4540 0
Current children cumulated CPU time (s) 462.24
Current children cumulated vsize (KiB) 20736
[startup+522.301 s]
/proc/loadavg: 2.10 2.06 2.02 3/576 32003
/proc/meminfo: memFree=23521300/32951124 swapFree=58940260/67111528
[pid=31985] ppid=31983 vsize=21596 CPUtime=522.24 cores=1,3,5,7
/proc/31985/stat : 31985 (bsolo) R 31983 31985 30921 0 -1 4202496 3023 0 0 0 52084 140 0 0 25 0 1 0 829059120 22114304 2956 33554432000 134512640 137138936 4294213056 18446744073709551615 136511125 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/31985/statm: 5399 2956 192 642 0 4755 0
Current children cumulated CPU time (s) 522.24
Current children cumulated vsize (KiB) 21596
[startup+582.301 s]
/proc/loadavg: 2.04 2.05 2.01 3/576 32005
/proc/meminfo: memFree=23519784/32951124 swapFree=58940260/67111528
[pid=31985] ppid=31983 vsize=21588 CPUtime=582.24 cores=1,3,5,7
/proc/31985/stat : 31985 (bsolo) R 31983 31985 30921 0 -1 4202496 3023 0 0 0 58070 154 0 0 25 0 1 0 829059120 22106112 2956 33554432000 134512640 137138936 4294213056 18446744073709551615 134542770 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/31985/statm: 5397 2956 192 642 0 4753 0
Current children cumulated CPU time (s) 582.24
Current children cumulated vsize (KiB) 21588
[startup+642.301 s]
################
# More data... #
################
/proc/meminfo: memFree=23439436/32951124 swapFree=58940260/67111528
[pid=31985] ppid=31983 vsize=22848 CPUtime=1062.24 cores=1,3,5,7
/proc/31985/stat : 31985 (bsolo) R 31983 31985 30921 0 -1 4202496 3353 0 0 0 105981 243 0 0 25 0 1 0 829059120 23396352 3271 33554432000 134512640 137138936 4294213056 18446744073709551615 134542525 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/31985/statm: 5712 3271 192 642 0 5068 0
Current children cumulated CPU time (s) 1062.24
Current children cumulated vsize (KiB) 22848
[startup+1122.3 s]
/proc/loadavg: 2.03 2.05 2.01 3/576 32073
/proc/meminfo: memFree=23425016/32951124 swapFree=58940260/67111528
[pid=31985] ppid=31983 vsize=22844 CPUtime=1122.23 cores=1,3,5,7
/proc/31985/stat : 31985 (bsolo) R 31983 31985 30921 0 -1 4202496 3353 0 0 0 111972 251 0 0 25 0 1 0 829059120 23392256 3271 33554432000 134512640 137138936 4294213056 18446744073709551615 134542770 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/31985/statm: 5711 3271 192 642 0 5067 0
Current children cumulated CPU time (s) 1122.23
Current children cumulated vsize (KiB) 22844
[startup+1182.3 s]
/proc/loadavg: 2.01 2.04 2.00 3/576 32075
/proc/meminfo: memFree=23410956/32951124 swapFree=58940260/67111528
[pid=31985] ppid=31983 vsize=22840 CPUtime=1182.24 cores=1,3,5,7
/proc/31985/stat : 31985 (bsolo) R 31983 31985 30921 0 -1 4202496 3353 0 0 0 117963 261 0 0 25 0 1 0 829059120 23388160 3271 33554432000 134512640 137138936 4294213056 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/31985/statm: 5710 3271 192 642 0 5066 0
Current children cumulated CPU time (s) 1182.24
Current children cumulated vsize (KiB) 22840
[startup+1242.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/576 32077
/proc/meminfo: memFree=23398040/32951124 swapFree=58940260/67111528
[pid=31985] ppid=31983 vsize=23216 CPUtime=1242.24 cores=1,3,5,7
/proc/31985/stat : 31985 (bsolo) R 31983 31985 30921 0 -1 4202496 3456 0 0 0 123954 270 0 0 25 0 1 0 829059120 23773184 3374 33554432000 134512640 137138936 4294213056 18446744073709551615 134542624 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/31985/statm: 5804 3374 192 642 0 5160 0
Current children cumulated CPU time (s) 1242.24
Current children cumulated vsize (KiB) 23216
[startup+1302.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/576 32078
/proc/meminfo: memFree=23386972/32951124 swapFree=58940260/67111528
[pid=31985] ppid=31983 vsize=23216 CPUtime=1302.24 cores=1,3,5,7
/proc/31985/stat : 31985 (bsolo) R 31983 31985 30921 0 -1 4202496 3456 0 0 0 129946 278 0 0 25 0 1 0 829059120 23773184 3374 33554432000 134512640 137138936 4294213056 18446744073709551615 134542752 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/31985/statm: 5804 3374 192 642 0 5160 0
Current children cumulated CPU time (s) 1302.24
Current children cumulated vsize (KiB) 23216
[startup+1362.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/576 32080
/proc/meminfo: memFree=23376768/32951124 swapFree=58940260/67111528
[pid=31985] ppid=31983 vsize=23216 CPUtime=1362.24 cores=1,3,5,7
/proc/31985/stat : 31985 (bsolo) R 31983 31985 30921 0 -1 4202496 3456 0 0 0 135936 288 0 0 25 0 1 0 829059120 23773184 3374 33554432000 134512640 137138936 4294213056 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/31985/statm: 5804 3374 192 642 0 5160 0
Current children cumulated CPU time (s) 1362.24
Current children cumulated vsize (KiB) 23216
[startup+1422.3 s]
/proc/loadavg: 2.16 2.04 2.01 3/576 32081
/proc/meminfo: memFree=23364708/32951124 swapFree=58940260/67111528
[pid=31985] ppid=31983 vsize=23216 CPUtime=1422.26 cores=1,3,5,7
/proc/31985/stat : 31985 (bsolo) R 31983 31985 30921 0 -1 4202496 3456 0 0 0 141929 297 0 0 25 0 1 0 829059120 23773184 3374 33554432000 134512640 137138936 4294213056 18446744073709551615 136504404 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/31985/statm: 5804 3374 192 642 0 5160 0
Current children cumulated CPU time (s) 1422.26
Current children cumulated vsize (KiB) 23216
[startup+1482.3 s]
/proc/loadavg: 2.13 2.05 2.01 3/576 32083
/proc/meminfo: memFree=23355244/32951124 swapFree=58940260/67111528
[pid=31985] ppid=31983 vsize=23216 CPUtime=1482.23 cores=1,3,5,7
/proc/31985/stat : 31985 (bsolo) R 31983 31985 30921 0 -1 4202496 3456 0 0 0 147918 305 0 0 25 0 1 0 829059120 23773184 3374 33554432000 134512640 137138936 4294213056 18446744073709551615 134542525 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/31985/statm: 5804 3374 192 642 0 5160 0
Current children cumulated CPU time (s) 1482.23
Current children cumulated vsize (KiB) 23216
[startup+1542.32 s]
/proc/loadavg: 2.19 2.08 2.02 3/576 32085
/proc/meminfo: memFree=23343436/32951124 swapFree=58940260/67111528
[pid=31985] ppid=31983 vsize=23216 CPUtime=1542.26 cores=1,3,5,7
/proc/31985/stat : 31985 (bsolo) R 31983 31985 30921 0 -1 4202496 3456 0 0 0 153911 315 0 0 25 0 1 0 829059120 23773184 3374 33554432000 134512640 137138936 4294213056 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/31985/statm: 5804 3374 192 642 0 5160 0
Current children cumulated CPU time (s) 1542.26
Current children cumulated vsize (KiB) 23216
[startup+1602.3 s]
/proc/loadavg: 2.14 2.08 2.02 3/576 32086
/proc/meminfo: memFree=23335480/32951124 swapFree=58940260/67111528
[pid=31985] ppid=31983 vsize=23216 CPUtime=1602.24 cores=1,3,5,7
/proc/31985/stat : 31985 (bsolo) R 31983 31985 30921 0 -1 4202496 3456 0 0 0 159901 323 0 0 25 0 1 0 829059120 23773184 3374 33554432000 134512640 137138936 4294213056 18446744073709551615 134542770 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/31985/statm: 5804 3374 192 642 0 5160 0
Current children cumulated CPU time (s) 1602.24
Current children cumulated vsize (KiB) 23216
[startup+1662.3 s]
/proc/loadavg: 2.05 2.06 2.01 3/576 32088
/proc/meminfo: memFree=23319960/32951124 swapFree=58940260/67111528
[pid=31985] ppid=31983 vsize=23216 CPUtime=1662.23 cores=1,3,5,7
/proc/31985/stat : 31985 (bsolo) R 31983 31985 30921 0 -1 4202496 3456 0 0 0 165891 332 0 0 25 0 1 0 829059120 23773184 3374 33554432000 134512640 137138936 4294213056 18446744073709551615 136521030 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/31985/statm: 5804 3374 192 642 0 5160 0
Current children cumulated CPU time (s) 1662.23
Current children cumulated vsize (KiB) 23216
[startup+1722.3 s]
/proc/loadavg: 2.02 2.05 2.01 3/576 32089
/proc/meminfo: memFree=23310128/32951124 swapFree=58940260/67111528
[pid=31985] ppid=31983 vsize=23216 CPUtime=1722.23 cores=1,3,5,7
/proc/31985/stat : 31985 (bsolo) R 31983 31985 30921 0 -1 4202496 3456 0 0 0 171883 340 0 0 25 0 1 0 829059120 23773184 3374 33554432000 134512640 137138936 4294213056 18446744073709551615 134575115 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/31985/statm: 5804 3374 192 642 0 5160 0
Current children cumulated CPU time (s) 1722.23
Current children cumulated vsize (KiB) 23216
[startup+1782.3 s]
/proc/loadavg: 2.00 2.04 2.00 3/576 32091
/proc/meminfo: memFree=23298176/32951124 swapFree=58940260/67111528
[pid=31985] ppid=31983 vsize=23828 CPUtime=1782.24 cores=1,3,5,7
/proc/31985/stat : 31985 (bsolo) R 31983 31985 30921 0 -1 4202496 3604 0 0 0 177876 348 0 0 25 0 1 0 829059120 24399872 3522 33554432000 134512640 137138936 4294213056 18446744073709551615 134542770 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31985/statm: 5957 3522 192 642 0 5313 0
Current children cumulated CPU time (s) 1782.24
Current children cumulated vsize (KiB) 23828
Solver just ended. Dumping a history of the last processes samples
[startup+1785.6 s]
/proc/loadavg: 2.00 2.04 2.00 3/576 32091
/proc/meminfo: memFree=23298052/32951124 swapFree=58940260/67111528
[pid=31985] ppid=31983 vsize=23828 CPUtime=1785.54 cores=1,3,5,7
/proc/31985/stat : 31985 (bsolo) R 31983 31985 30921 0 -1 4202496 3604 0 0 0 178206 348 0 0 25 0 1 0 829059120 24399872 3522 33554432000 134512640 137138936 4294213056 18446744073709551615 134542770 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31985/statm: 5957 3522 192 642 0 5313 0
Current children cumulated CPU time (s) 1785.54
Current children cumulated vsize (KiB) 23828
[startup+1792.02 s]
/proc/loadavg: 2.00 2.04 2.00 3/576 32091
/proc/meminfo: memFree=23298296/32951124 swapFree=58940260/67111528
[pid=31985] ppid=31983 vsize=23828 CPUtime=1791.96 cores=1,3,5,7
/proc/31985/stat : 31985 (bsolo) R 31983 31985 30921 0 -1 4202496 3604 0 0 0 178847 349 0 0 25 0 1 0 829059120 24399872 3522 33554432000 134512640 137138936 4294213056 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31985/statm: 5957 3522 192 642 0 5313 0
Current children cumulated CPU time (s) 1791.96
Current children cumulated vsize (KiB) 23828
[startup+1795.2 s]
/proc/loadavg: 2.00 2.03 2.00 3/576 32091
/proc/meminfo: memFree=23297924/32951124 swapFree=58940260/67111528
[pid=31985] ppid=31983 vsize=23828 CPUtime=1795.16 cores=1,3,5,7
/proc/31985/stat : 31985 (bsolo) R 31983 31985 30921 0 -1 4202496 3604 0 0 0 179167 349 0 0 25 0 1 0 829059120 24399872 3522 33554432000 134512640 137138936 4294213056 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31985/statm: 5957 3522 192 642 0 5313 0
Current children cumulated CPU time (s) 1795.16
Current children cumulated vsize (KiB) 23828
[startup+1796.8 s]
/proc/loadavg: 2.00 2.03 2.00 3/576 32091
/proc/meminfo: memFree=23297800/32951124 swapFree=58940260/67111528
[pid=31985] ppid=31983 vsize=24196 CPUtime=1796.73 cores=1,3,5,7
/proc/31985/stat : 31985 (bsolo) R 31983 31985 30921 0 -1 4202496 3694 0 0 0 179324 349 0 0 25 0 1 0 829059120 24776704 3612 33554432000 134512640 137138936 4294213056 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31985/statm: 6049 3612 192 642 0 5405 0
Current children cumulated CPU time (s) 1796.73
Current children cumulated vsize (KiB) 24196
[startup+1797.6 s]
/proc/loadavg: 2.00 2.03 2.00 3/576 32091
/proc/meminfo: memFree=23296808/32951124 swapFree=58940260/67111528
[pid=31985] ppid=31983 vsize=24196 CPUtime=1797.53 cores=1,3,5,7
/proc/31985/stat : 31985 (bsolo) R 31983 31985 30921 0 -1 4202496 3694 0 0 0 179404 349 0 0 25 0 1 0 829059120 24776704 3612 33554432000 134512640 137138936 4294213056 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31985/statm: 6049 3612 192 642 0 5405 0
Current children cumulated CPU time (s) 1797.53
Current children cumulated vsize (KiB) 24196
[startup+1798 s]
/proc/loadavg: 2.00 2.03 2.00 3/576 32091
/proc/meminfo: memFree=23296808/32951124 swapFree=58940260/67111528
[pid=31985] ppid=31983 vsize=24196 CPUtime=1797.93 cores=1,3,5,7
/proc/31985/stat : 31985 (bsolo) R 31983 31985 30921 0 -1 4202496 3694 0 0 0 179444 349 0 0 25 0 1 0 829059120 24776704 3612 33554432000 134512640 137138936 4294213056 18446744073709551615 134543117 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31985/statm: 6049 3612 192 642 0 5405 0
Current children cumulated CPU time (s) 1797.93
Current children cumulated vsize (KiB) 24196
Child status: 0
Real time (s): 1798.06
CPU time (s): 1798
CPU user time (s): 1794.5
CPU system time (s): 3.49747
CPU usage (%): 99.9969
Max. virtual memory (cumulated for all children) (KiB): 24196
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.5
system time used= 3.49747
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3694
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= 6
involuntary context switches= 4314
runsolver used 10.2004 second user time and 23.9334 second system time
The end