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-3741478-1338773672/watcher-3741478-1338773672 -o /tmp/evaluation-result-3741478-1338773672/solver-3741478-1338773672 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 -m15500 HOME/instance-3741478-1338773672.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 1.99 3/178 27490
/proc/meminfo: memFree=28906264/32873844 swapFree=7620/7620
[pid=27490] ppid=27488 vsize=10920 CPUtime=0 cores=1,3,5,7
/proc/27490/stat : 27490 (bsolo) R 27488 27490 27119 0 -1 4202496 336 0 0 0 0 0 0 0 20 0 1 0 343492004 11182080 283 33554432000 134512640 137136520 4294823808 4294822924 136568305 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/27490/statm: 2730 283 197 641 0 2086 0
[startup+0.0652391 s]
/proc/loadavg: 2.00 2.00 1.99 3/178 27490
/proc/meminfo: memFree=28906264/32873844 swapFree=7620/7620
[pid=27490] ppid=27488 vsize=11280 CPUtime=0.06 cores=1,3,5,7
/proc/27490/stat : 27490 (bsolo) R 27488 27490 27119 0 -1 4202496 426 0 0 0 6 0 0 0 20 0 1 0 343492004 11550720 373 33554432000 134512640 137136520 4294823808 4294822340 134551204 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/27490/statm: 2820 373 197 641 0 2176 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 11280
[startup+0.100249 s]
/proc/loadavg: 2.00 2.00 1.99 3/178 27490
/proc/meminfo: memFree=28906264/32873844 swapFree=7620/7620
[pid=27490] ppid=27488 vsize=11392 CPUtime=0.09 cores=1,3,5,7
/proc/27490/stat : 27490 (bsolo) R 27488 27490 27119 0 -1 4202496 471 0 0 0 9 0 0 0 20 0 1 0 343492004 11665408 418 33554432000 134512640 137136520 4294823808 4294822736 134544440 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/27490/statm: 2848 418 197 641 0 2204 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 11392
[startup+0.30022 s]
/proc/loadavg: 2.00 2.00 1.99 3/178 27490
/proc/meminfo: memFree=28906264/32873844 swapFree=7620/7620
[pid=27490] ppid=27488 vsize=12408 CPUtime=0.29 cores=1,3,5,7
/proc/27490/stat : 27490 (bsolo) R 27488 27490 27119 0 -1 4202496 730 0 0 0 29 0 0 0 20 0 1 0 343492004 12705792 677 33554432000 134512640 137136520 4294823808 4294822736 134544148 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/27490/statm: 3102 677 197 641 0 2458 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 12408
[startup+0.700217 s]
/proc/loadavg: 2.00 2.00 1.99 3/178 27490
/proc/meminfo: memFree=28906264/32873844 swapFree=7620/7620
[pid=27490] ppid=27488 vsize=13328 CPUtime=0.69 cores=1,3,5,7
/proc/27490/stat : 27490 (bsolo) R 27488 27490 27119 0 -1 4202496 940 0 0 0 69 0 0 0 20 0 1 0 343492004 13647872 887 33554432000 134512640 137136520 4294823808 4294822340 134551390 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/27490/statm: 3332 887 197 641 0 2688 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 13328
[startup+1.50025 s]
/proc/loadavg: 2.00 2.00 1.99 3/179 27491
/proc/meminfo: memFree=28901420/32873844 swapFree=7620/7620
[pid=27490] ppid=27488 vsize=14112 CPUtime=1.49 cores=1,3,5,7
/proc/27490/stat : 27490 (bsolo) R 27488 27490 27119 0 -1 4202496 1134 0 0 0 149 0 0 0 20 0 1 0 343492004 14450688 1081 33554432000 134512640 137136520 4294823808 4294822736 134544157 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/27490/statm: 3528 1081 197 641 0 2884 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 14112
[startup+3.10024 s]
/proc/loadavg: 2.00 2.00 1.99 4/179 27539
/proc/meminfo: memFree=28902828/32873844 swapFree=7620/7620
[pid=27490] ppid=27488 vsize=14448 CPUtime=3.09 cores=1,3,5,7
/proc/27490/stat : 27490 (bsolo) R 27488 27490 27119 0 -1 4202496 1227 0 0 0 308 1 0 0 20 0 1 0 343492004 14794752 1174 33554432000 134512640 137136520 4294823808 4294822464 134598062 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/27490/statm: 3612 1174 197 641 0 2968 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 14448
[startup+6.30022 s]
/proc/loadavg: 2.00 2.00 1.99 3/179 27587
/proc/meminfo: memFree=28894528/32873844 swapFree=7620/7620
[pid=27490] ppid=27488 vsize=15016 CPUtime=6.29 cores=1,3,5,7
/proc/27490/stat : 27490 (bsolo) R 27488 27490 27119 0 -1 4202496 1380 0 0 0 627 2 0 0 20 0 1 0 343492004 15376384 1327 33554432000 134512640 137136520 4294823808 4294822448 134617439 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/27490/statm: 3754 1327 197 641 0 3110 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 15016
[startup+12.7002 s]
/proc/loadavg: 2.00 2.00 1.99 3/179 27587
/proc/meminfo: memFree=28884220/32873844 swapFree=7620/7620
[pid=27490] ppid=27488 vsize=15264 CPUtime=12.69 cores=1,3,5,7
/proc/27490/stat : 27490 (bsolo) R 27488 27490 27119 0 -1 4202496 1448 0 0 0 1265 4 0 0 20 0 1 0 343492004 15630336 1385 33554432000 134512640 137136520 4294823808 4294822576 134574217 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/27490/statm: 3816 1385 197 641 0 3172 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 15264
[startup+25.5002 s]
/proc/loadavg: 2.00 2.00 1.99 3/179 27587
/proc/meminfo: memFree=28881084/32873844 swapFree=7620/7620
[pid=27490] ppid=27488 vsize=16100 CPUtime=25.49 cores=1,3,5,7
/proc/27490/stat : 27490 (bsolo) R 27488 27490 27119 0 -1 4202496 1644 0 0 0 2541 8 0 0 20 0 1 0 343492004 16486400 1578 33554432000 134512640 137136520 4294823808 4294822388 136498165 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/27490/statm: 4025 1578 197 641 0 3381 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 16100
[startup+51.1002 s]
/proc/loadavg: 2.00 2.00 1.99 3/179 27587
/proc/meminfo: memFree=28871844/32873844 swapFree=7620/7620
[pid=27490] ppid=27488 vsize=16876 CPUtime=51.09 cores=1,3,5,7
/proc/27490/stat : 27490 (bsolo) R 27488 27490 27119 0 -1 4202496 1884 0 0 0 5093 16 0 0 20 0 1 0 343492004 17281024 1786 33554432000 134512640 137136520 4294823808 4294822576 134574232 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/27490/statm: 4219 1786 198 641 0 3575 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 16876
[startup+102.307 s]
/proc/loadavg: 2.04 2.01 1.99 3/179 27588
/proc/meminfo: memFree=28870720/32873844 swapFree=7620/7620
[pid=27490] ppid=27488 vsize=17524 CPUtime=102.28 cores=1,3,5,7
/proc/27490/stat : 27490 (bsolo) R 27488 27490 27119 0 -1 4202496 2231 0 0 0 10197 31 0 0 20 0 1 0 343492004 17944576 1961 33554432000 134512640 137136520 4294823808 4294822924 136568305 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/27490/statm: 4381 1961 198 641 0 3737 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 17524
[startup+162.3 s]
/proc/loadavg: 2.01 2.01 1.99 3/179 27588
/proc/meminfo: memFree=28865384/32873844 swapFree=7620/7620
[pid=27490] ppid=27488 vsize=18436 CPUtime=162.26 cores=1,3,5,7
/proc/27490/stat : 27490 (bsolo) R 27488 27490 27119 0 -1 4202496 2456 0 0 0 16179 47 0 0 20 0 1 0 343492004 18878464 2184 33554432000 134512640 137136520 4294823808 4294819232 134600678 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/27490/statm: 4609 2184 198 641 0 3965 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 18436
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/179 27588
/proc/meminfo: memFree=28863584/32873844 swapFree=7620/7620
[pid=27490] ppid=27488 vsize=18836 CPUtime=222.26 cores=1,3,5,7
/proc/27490/stat : 27490 (bsolo) R 27488 27490 27119 0 -1 4202496 2613 0 0 0 22163 63 0 0 20 0 1 0 343492004 19288064 2289 33554432000 134512640 137136520 4294823808 4294822736 134544402 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/27490/statm: 4709 2289 198 641 0 4065 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 18836
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/179 27588
/proc/meminfo: memFree=28859180/32873844 swapFree=7620/7620
[pid=27490] ppid=27488 vsize=19920 CPUtime=282.24 cores=1,3,5,7
/proc/27490/stat : 27490 (bsolo) R 27488 27490 27119 0 -1 4202496 2879 0 0 0 28147 77 0 0 20 0 1 0 343492004 20398080 2547 33554432000 134512640 137136520 4294823808 4294822400 134616694 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/27490/statm: 4980 2547 198 641 0 4336 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 19920
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/180 27591
/proc/meminfo: memFree=28857368/32873844 swapFree=7620/7620
[pid=27490] ppid=27488 vsize=19908 CPUtime=342.24 cores=1,3,5,7
/proc/27490/stat : 27490 (bsolo) R 27488 27490 27119 0 -1 4202496 2966 0 0 0 34131 93 0 0 20 0 1 0 343492004 20385792 2557 33554432000 134512640 137136520 4294823808 4294820984 136502359 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/27490/statm: 4977 2557 198 641 0 4333 0
Current children cumulated CPU time (s) 342.24
Current children cumulated vsize (KiB) 19908
[startup+402.3 s]
/proc/loadavg: 2.08 2.02 2.00 3/179 27592
/proc/meminfo: memFree=28855648/32873844 swapFree=7620/7620
[pid=27490] ppid=27488 vsize=19792 CPUtime=402.23 cores=1,3,5,7
/proc/27490/stat : 27490 (bsolo) R 27488 27490 27119 0 -1 4202496 3101 0 0 0 40114 109 0 0 20 0 1 0 343492004 20267008 2528 33554432000 134512640 137136520 4294823808 4294822340 134551052 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/27490/statm: 4948 2528 198 641 0 4304 0
Current children cumulated CPU time (s) 402.23
Current children cumulated vsize (KiB) 19792
[startup+462.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/179 27592
/proc/meminfo: memFree=28854272/32873844 swapFree=7620/7620
[pid=27490] ppid=27488 vsize=20864 CPUtime=462.21 cores=1,3,5,7
/proc/27490/stat : 27490 (bsolo) R 27488 27490 27119 0 -1 4202496 3486 0 0 0 46098 123 0 0 20 0 1 0 343492004 21364736 2779 33554432000 134512640 137136520 4294823808 4294822464 134598051 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/27490/statm: 5216 2779 198 641 0 4572 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 20864
[startup+522.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/179 27592
/proc/meminfo: memFree=28854332/32873844 swapFree=7620/7620
[pid=27490] ppid=27488 vsize=20584 CPUtime=522.2 cores=1,3,5,7
/proc/27490/stat : 27490 (bsolo) R 27488 27490 27119 0 -1 4202496 3563 0 0 0 52082 138 0 0 20 0 1 0 343492004 21078016 2717 33554432000 134512640 137136520 4294823808 4294822520 136504219 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/27490/statm: 5146 2717 198 641 0 4502 0
Current children cumulated CPU time (s) 522.2
Current children cumulated vsize (KiB) 20584
[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 27592
/proc/meminfo: memFree=28852532/32873844 swapFree=7620/7620
[pid=27490] ppid=27488 vsize=20440 CPUtime=582.2 cores=1,3,5,7
/proc/27490/stat : 27490 (bsolo) R 27488 27490 27119 0 -1 4202496 3596 0 0 0 58067 153 0 0 20 0 1 0 343492004 20930560 2690 33554432000 134512640 137136520 4294823808 4294818936 134599955 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/27490/statm: 5110 2690 198 641 0 4466 0
Current children cumulated CPU time (s) 582.2
Current children cumulated vsize (KiB) 20440
[startup+642.3 s]
################
# More data... #
################
/proc/meminfo: memFree=28844588/32873844 swapFree=7620/7620
[pid=27490] ppid=27488 vsize=22996 CPUtime=1122.11 cores=1,3,5,7
/proc/27490/stat : 27490 (bsolo) R 27488 27490 27119 0 -1 4202496 4671 0 0 0 111915 296 0 0 20 0 1 0 343492004 23547904 3328 33554432000 134512640 137136520 4294823808 4294822728 135982525 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/27490/statm: 5749 3328 198 641 0 5105 0
Current children cumulated CPU time (s) 1122.11
Current children cumulated vsize (KiB) 22996
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 27597
/proc/meminfo: memFree=28844464/32873844 swapFree=7620/7620
[pid=27490] ppid=27488 vsize=22996 CPUtime=1182.1 cores=1,3,5,7
/proc/27490/stat : 27490 (bsolo) R 27488 27490 27119 0 -1 4202496 4671 0 0 0 117900 310 0 0 20 0 1 0 343492004 23547904 3328 33554432000 134512640 137136520 4294823808 4294822924 136568305 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/27490/statm: 5749 3328 198 641 0 5105 0
Current children cumulated CPU time (s) 1182.1
Current children cumulated vsize (KiB) 22996
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 27597
/proc/meminfo: memFree=28842416/32873844 swapFree=7620/7620
[pid=27490] ppid=27488 vsize=22696 CPUtime=1242.1 cores=1,3,5,7
/proc/27490/stat : 27490 (bsolo) R 27488 27490 27119 0 -1 4202496 4700 0 0 0 123890 320 0 0 20 0 1 0 343492004 23240704 3241 33554432000 134512640 137136520 4294823808 4294822576 134574848 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/27490/statm: 5674 3241 198 641 0 5030 0
Current children cumulated CPU time (s) 1242.1
Current children cumulated vsize (KiB) 22696
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 27597
/proc/meminfo: memFree=28841796/32873844 swapFree=7620/7620
[pid=27490] ppid=27488 vsize=22636 CPUtime=1302.09 cores=1,3,5,7
/proc/27490/stat : 27490 (bsolo) R 27488 27490 27119 0 -1 4202496 4714 0 0 0 129877 332 0 0 20 0 1 0 343492004 23179264 3229 33554432000 134512640 137136520 4294823808 4294822400 134616626 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/27490/statm: 5659 3229 198 641 0 5015 0
Current children cumulated CPU time (s) 1302.09
Current children cumulated vsize (KiB) 22636
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 27598
/proc/meminfo: memFree=28840864/32873844 swapFree=7620/7620
[pid=27490] ppid=27488 vsize=22612 CPUtime=1362.08 cores=1,3,5,7
/proc/27490/stat : 27490 (bsolo) R 27488 27490 27119 0 -1 4202496 4714 0 0 0 135862 346 0 0 20 0 1 0 343492004 23154688 3229 33554432000 134512640 137136520 4294823808 4294822704 134544249 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/27490/statm: 5653 3229 198 641 0 5009 0
Current children cumulated CPU time (s) 1362.08
Current children cumulated vsize (KiB) 22612
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 27598
/proc/meminfo: memFree=28838444/32873844 swapFree=7620/7620
[pid=27490] ppid=27488 vsize=22604 CPUtime=1422.07 cores=1,3,5,7
/proc/27490/stat : 27490 (bsolo) R 27488 27490 27119 0 -1 4202496 4714 0 0 0 141851 356 0 0 20 0 1 0 343492004 23146496 3229 33554432000 134512640 137136520 4294823808 4294822924 136568305 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/27490/statm: 5651 3229 198 641 0 5007 0
Current children cumulated CPU time (s) 1422.07
Current children cumulated vsize (KiB) 22604
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 27598
/proc/meminfo: memFree=28838444/32873844 swapFree=7620/7620
[pid=27490] ppid=27488 vsize=22828 CPUtime=1482.06 cores=1,3,5,7
/proc/27490/stat : 27490 (bsolo) R 27488 27490 27119 0 -1 4202496 4776 0 0 0 147839 367 0 0 20 0 1 0 343492004 23375872 3272 33554432000 134512640 137136520 4294823808 4294822400 134616694 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/27490/statm: 5707 3272 198 641 0 5063 0
Current children cumulated CPU time (s) 1482.06
Current children cumulated vsize (KiB) 22828
[startup+1542.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/180 27601
/proc/meminfo: memFree=28838312/32873844 swapFree=7620/7620
[pid=27490] ppid=27488 vsize=22800 CPUtime=1542.05 cores=1,3,5,7
/proc/27490/stat : 27490 (bsolo) R 27488 27490 27119 0 -1 4202496 4776 0 0 0 153828 377 0 0 20 0 1 0 343492004 23347200 3272 33554432000 134512640 137136520 4294823808 4294822736 134544437 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/27490/statm: 5700 3272 198 641 0 5056 0
Current children cumulated CPU time (s) 1542.05
Current children cumulated vsize (KiB) 22800
[startup+1602.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/180 27624
/proc/meminfo: memFree=28837692/32873844 swapFree=7620/7620
[pid=27490] ppid=27488 vsize=23716 CPUtime=1602.04 cores=1,3,5,7
/proc/27490/stat : 27490 (bsolo) R 27488 27490 27119 0 -1 4202496 5060 0 0 0 159814 390 0 0 20 0 1 0 343492004 24285184 3492 33554432000 134512640 137136520 4294823808 4294822464 134598083 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/27490/statm: 5929 3492 198 641 0 5285 0
Current children cumulated CPU time (s) 1602.04
Current children cumulated vsize (KiB) 23716
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 27625
/proc/meminfo: memFree=28837948/32873844 swapFree=7620/7620
[pid=27490] ppid=27488 vsize=23472 CPUtime=1662.03 cores=1,3,5,7
/proc/27490/stat : 27490 (bsolo) R 27488 27490 27119 0 -1 4202496 5060 0 0 0 165797 406 0 0 20 0 1 0 343492004 24035328 3448 33554432000 134512640 137136520 4294823808 4294822668 136518911 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/27490/statm: 5868 3448 198 641 0 5224 0
Current children cumulated CPU time (s) 1662.03
Current children cumulated vsize (KiB) 23472
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 27625
/proc/meminfo: memFree=28837948/32873844 swapFree=7620/7620
[pid=27490] ppid=27488 vsize=23392 CPUtime=1722.02 cores=1,3,5,7
/proc/27490/stat : 27490 (bsolo) R 27488 27490 27119 0 -1 4202496 5072 0 0 0 171781 421 0 0 20 0 1 0 343492004 23953408 3425 33554432000 134512640 137136520 4294823808 4294822668 136518966 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/27490/statm: 5848 3425 198 641 0 5204 0
Current children cumulated CPU time (s) 1722.02
Current children cumulated vsize (KiB) 23392
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 27625
/proc/meminfo: memFree=28837576/32873844 swapFree=7620/7620
[pid=27490] ppid=27488 vsize=23736 CPUtime=1782.01 cores=1,3,5,7
/proc/27490/stat : 27490 (bsolo) R 27488 27490 27119 0 -1 4202496 5171 0 0 0 177765 436 0 0 20 0 1 0 343492004 24305664 3507 33554432000 134512640 137136520 4294823808 4294822736 134544245 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/27490/statm: 5934 3507 198 641 0 5290 0
Current children cumulated CPU time (s) 1782.01
Current children cumulated vsize (KiB) 23736
Solver just ended. Dumping a history of the last processes samples
[startup+1791.91 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 27625
/proc/meminfo: memFree=28837948/32873844 swapFree=7620/7620
[pid=27490] ppid=27488 vsize=23732 CPUtime=1791.61 cores=1,3,5,7
/proc/27490/stat : 27490 (bsolo) R 27488 27490 27119 0 -1 4202496 5171 0 0 0 178723 438 0 0 20 0 1 0 343492004 24301568 3507 33554432000 134512640 137136520 4294823808 4294822924 136568305 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/27490/statm: 5933 3507 198 641 0 5289 0
Current children cumulated CPU time (s) 1791.61
Current children cumulated vsize (KiB) 23732
[startup+1795.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 27625
/proc/meminfo: memFree=28837948/32873844 swapFree=7620/7620
[pid=27490] ppid=27488 vsize=23728 CPUtime=1794.82 cores=1,3,5,7
/proc/27490/stat : 27490 (bsolo) R 27488 27490 27119 0 -1 4202496 5171 0 0 0 179043 439 0 0 20 0 1 0 343492004 24297472 3507 33554432000 134512640 137136520 4294823808 4294822736 134544530 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/27490/statm: 5932 3507 198 641 0 5288 0
Current children cumulated CPU time (s) 1794.82
Current children cumulated vsize (KiB) 23728
[startup+1796.7 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 27625
/proc/meminfo: memFree=28837948/32873844 swapFree=7620/7620
[pid=27490] ppid=27488 vsize=23728 CPUtime=1796.41 cores=1,3,5,7
/proc/27490/stat : 27490 (bsolo) R 27488 27490 27119 0 -1 4202496 5171 0 0 0 179202 439 0 0 20 0 1 0 343492004 24297472 3507 33554432000 134512640 137136520 4294823808 4294821280 134600647 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/27490/statm: 5932 3507 198 641 0 5288 0
Current children cumulated CPU time (s) 1796.41
Current children cumulated vsize (KiB) 23728
[startup+1797.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 27625
/proc/meminfo: memFree=28837948/32873844 swapFree=7620/7620
[pid=27490] ppid=27488 vsize=23728 CPUtime=1797.21 cores=1,3,5,7
/proc/27490/stat : 27490 (bsolo) R 27488 27490 27119 0 -1 4202496 5171 0 0 0 179282 439 0 0 20 0 1 0 343492004 24297472 3507 33554432000 134512640 137136520 4294823808 4294822360 136502143 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/27490/statm: 5932 3507 198 641 0 5288 0
Current children cumulated CPU time (s) 1797.21
Current children cumulated vsize (KiB) 23728
[startup+1797.9 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 27625
/proc/meminfo: memFree=28837948/32873844 swapFree=7620/7620
[pid=27490] ppid=27488 vsize=23728 CPUtime=1797.61 cores=1,3,5,7
/proc/27490/stat : 27490 (bsolo) R 27488 27490 27119 0 -1 4202496 5171 0 0 0 179322 439 0 0 20 0 1 0 343492004 24297472 3507 33554432000 134512640 137136520 4294823808 4294822736 134543819 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/27490/statm: 5932 3507 198 641 0 5288 0
Current children cumulated CPU time (s) 1797.61
Current children cumulated vsize (KiB) 23728
[startup+1798.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 27625
/proc/meminfo: memFree=28837948/32873844 swapFree=7620/7620
[pid=27490] ppid=27488 vsize=23728 CPUtime=1797.81 cores=1,3,5,7
/proc/27490/stat : 27490 (bsolo) R 27488 27490 27119 0 -1 4202496 5171 0 0 0 179342 439 0 0 20 0 1 0 343492004 24297472 3507 33554432000 134512640 137136520 4294823808 4294820948 136498193 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/27490/statm: 5932 3507 198 641 0 5288 0
Current children cumulated CPU time (s) 1797.81
Current children cumulated vsize (KiB) 23728
[startup+1798.2 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 27625
/proc/meminfo: memFree=28837948/32873844 swapFree=7620/7620
[pid=27490] ppid=27488 vsize=23728 CPUtime=1797.91 cores=1,3,5,7
/proc/27490/stat : 27490 (bsolo) R 27488 27490 27119 0 -1 4202496 5171 0 0 0 179352 439 0 0 20 0 1 0 343492004 24297472 3507 33554432000 134512640 137136520 4294823808 4294822924 136568305 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/27490/statm: 5932 3507 198 641 0 5288 0
Current children cumulated CPU time (s) 1797.91
Current children cumulated vsize (KiB) 23728
Child status: 0
Real time (s): 1798.28
CPU time (s): 1798
CPU user time (s): 1793.6
CPU system time (s): 4.40033
CPU usage (%): 99.9844
Max. virtual memory (cumulated for all children) (KiB): 23764
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.6
system time used= 4.40033
maximum resident set size= 14032
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 5173
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= 8
involuntary context switches= 1850
runsolver used 8.20375 second user time and 17.2404 second system time
The end