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-3707730-1338183850/watcher-3707730-1338183850 -o /tmp/evaluation-result-3707730-1338183850/solver-3707730-1338183850 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 HOME/instance-3707730-1338183850.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.07 2.02 2.00 3/175 26435
/proc/meminfo: memFree=26509148/32873844 swapFree=6088/6088
[pid=26435] ppid=26433 vsize=11376 CPUtime=0 cores=1,3,5,7
/proc/26435/stat : 26435 (bsolo) R 26433 26435 24287 0 -1 4202496 401 0 0 0 0 0 0 0 20 0 1 0 284513559 11649024 354 33554432000 134512640 137138936 4286962512 4286960392 136506715 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26435/statm: 2844 354 176 642 0 2159 0
[startup+0.063195 s]
/proc/loadavg: 2.07 2.02 2.00 3/175 26435
/proc/meminfo: memFree=26509148/32873844 swapFree=6088/6088
[pid=26435] ppid=26433 vsize=17596 CPUtime=0.05 cores=1,3,5,7
/proc/26435/stat : 26435 (bsolo) R 26433 26435 24287 0 -1 4202496 2027 0 0 0 5 0 0 0 20 0 1 0 284513559 18018304 1939 33554432000 134512640 137138936 4286962512 4286806800 134542243 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26435/statm: 4399 1939 185 642 0 3755 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 17596
[startup+0.100324 s]
/proc/loadavg: 2.07 2.02 2.00 3/175 26435
/proc/meminfo: memFree=26509148/32873844 swapFree=6088/6088
[pid=26435] ppid=26433 vsize=17728 CPUtime=0.09 cores=1,3,5,7
/proc/26435/stat : 26435 (bsolo) R 26433 26435 24287 0 -1 4202496 2031 0 0 0 9 0 0 0 20 0 1 0 284513559 18153472 1943 33554432000 134512640 137138936 4286962512 4286806988 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26435/statm: 4432 1943 185 642 0 3788 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 17728
[startup+0.300246 s]
/proc/loadavg: 2.07 2.02 2.00 3/175 26435
/proc/meminfo: memFree=26509148/32873844 swapFree=6088/6088
[pid=26435] ppid=26433 vsize=17728 CPUtime=0.29 cores=1,3,5,7
/proc/26435/stat : 26435 (bsolo) R 26433 26435 24287 0 -1 4202496 2031 0 0 0 29 0 0 0 20 0 1 0 284513559 18153472 1943 33554432000 134512640 137138936 4286962512 4286806988 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26435/statm: 4432 1943 185 642 0 3788 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 17728
[startup+0.70024 s]
/proc/loadavg: 2.07 2.02 2.00 3/175 26435
/proc/meminfo: memFree=26509148/32873844 swapFree=6088/6088
[pid=26435] ppid=26433 vsize=17728 CPUtime=0.69 cores=1,3,5,7
/proc/26435/stat : 26435 (bsolo) R 26433 26435 24287 0 -1 4202496 2031 0 0 0 69 0 0 0 20 0 1 0 284513559 18153472 1943 33554432000 134512640 137138936 4286962512 4286806632 136504438 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26435/statm: 4432 1943 185 642 0 3788 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 17728
[startup+1.50024 s]
/proc/loadavg: 2.07 2.02 2.00 3/176 26436
/proc/meminfo: memFree=26501436/32873844 swapFree=6088/6088
[pid=26435] ppid=26433 vsize=17728 CPUtime=1.49 cores=1,3,5,7
/proc/26435/stat : 26435 (bsolo) R 26433 26435 24287 0 -1 4202496 2031 0 0 0 149 0 0 0 20 0 1 0 284513559 18153472 1943 33554432000 134512640 137138936 4286962512 4286806988 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26435/statm: 4432 1943 185 642 0 3788 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 17728
[startup+3.10024 s]
/proc/loadavg: 2.07 2.02 2.00 3/176 26436
/proc/meminfo: memFree=26500056/32873844 swapFree=6088/6088
[pid=26435] ppid=26433 vsize=17728 CPUtime=3.09 cores=1,3,5,7
/proc/26435/stat : 26435 (bsolo) R 26433 26435 24287 0 -1 4202496 2032 0 0 0 309 0 0 0 20 0 1 0 284513559 18153472 1944 33554432000 134512640 137138936 4286962512 4286806800 134542662 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26435/statm: 4432 1944 185 642 0 3788 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 17728
[startup+6.30024 s]
/proc/loadavg: 2.06 2.02 2.00 3/177 26437
/proc/meminfo: memFree=26496204/32873844 swapFree=6088/6088
[pid=26435] ppid=26433 vsize=17728 CPUtime=6.29 cores=1,3,5,7
/proc/26435/stat : 26435 (bsolo) R 26433 26435 24287 0 -1 4202496 2032 0 0 0 629 0 0 0 20 0 1 0 284513559 18153472 1944 33554432000 134512640 137138936 4286962512 4286806584 136505044 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26435/statm: 4432 1944 185 642 0 3788 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 17728
[startup+12.7002 s]
/proc/loadavg: 2.06 2.01 2.00 3/177 26437
/proc/meminfo: memFree=26488516/32873844 swapFree=6088/6088
[pid=26435] ppid=26433 vsize=17728 CPUtime=12.68 cores=1,3,5,7
/proc/26435/stat : 26435 (bsolo) R 26433 26435 24287 0 -1 4202496 2032 0 0 0 1268 0 0 0 20 0 1 0 284513559 18153472 1944 33554432000 134512640 137138936 4286962512 4286806800 134542149 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26435/statm: 4432 1944 185 642 0 3788 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 17728
[startup+25.5003 s]
/proc/loadavg: 2.12 2.03 2.01 3/177 26437
/proc/meminfo: memFree=26454648/32873844 swapFree=6088/6088
[pid=26435] ppid=26433 vsize=37536 CPUtime=25.48 cores=1,3,5,7
/proc/26435/stat : 26435 (bsolo) R 26433 26435 24287 0 -1 4202496 7429 0 0 0 2542 6 0 0 20 0 1 0 284513559 38436864 6951 33554432000 134512640 137138936 4286962512 4286961628 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26435/statm: 9384 6951 192 642 0 8740 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 37536
[startup+51.1003 s]
/proc/loadavg: 2.08 2.03 2.00 3/177 26437
/proc/meminfo: memFree=26354176/32873844 swapFree=6088/6088
[pid=26435] ppid=26433 vsize=109108 CPUtime=51.08 cores=1,3,5,7
/proc/26435/stat : 26435 (bsolo) R 26433 26435 24287 0 -1 4202496 25318 0 0 0 5086 22 0 0 20 0 1 0 284513559 111726592 24840 33554432000 134512640 137138936 4286962512 4286961628 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26435/statm: 27277 24840 192 642 0 26633 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 109108
[startup+102.307 s]
/proc/loadavg: 2.03 2.02 2.00 3/177 26437
/proc/meminfo: memFree=26196600/32873844 swapFree=6088/6088
[pid=26435] ppid=26433 vsize=209656 CPUtime=102.28 cores=1,3,5,7
/proc/26435/stat : 26435 (bsolo) R 26433 26435 24287 0 -1 4202496 50442 0 0 0 10186 42 0 0 20 0 1 0 284513559 214687744 49964 33554432000 134512640 137138936 4286962512 4286961196 136520933 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26435/statm: 52414 49964 192 642 0 51770 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 209656
[startup+162.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/177 26437
/proc/meminfo: memFree=26022548/32873844 swapFree=6088/6088
[pid=26435] ppid=26433 vsize=312912 CPUtime=162.26 cores=1,3,5,7
/proc/26435/stat : 26435 (bsolo) R 26433 26435 24287 0 -1 4202496 76276 0 0 0 16163 63 0 0 20 0 1 0 284513559 320421888 75798 33554432000 134512640 137138936 4286962512 4286957368 134599777 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26435/statm: 78228 75798 192 642 0 77584 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 312912
[startup+222.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 26437
/proc/meminfo: memFree=25869296/32873844 swapFree=6088/6088
[pid=26435] ppid=26433 vsize=394888 CPUtime=222.25 cores=1,3,5,7
/proc/26435/stat : 26435 (bsolo) R 26433 26435 24287 0 -1 4202496 96742 0 0 0 22145 80 0 0 20 0 1 0 284513559 404365312 96264 33554432000 134512640 137138936 4286962512 4286961364 136511195 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26435/statm: 98722 96264 192 642 0 98078 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 394888
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 26437
/proc/meminfo: memFree=25747696/32873844 swapFree=6088/6088
[pid=26435] ppid=26433 vsize=465344 CPUtime=282.25 cores=1,3,5,7
/proc/26435/stat : 26435 (bsolo) R 26433 26435 24287 0 -1 4202496 114356 0 0 0 28131 94 0 0 20 0 1 0 284513559 476512256 113878 33554432000 134512640 137138936 4286962512 4286961432 135984592 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26435/statm: 116336 113878 192 642 0 115692 0
Current children cumulated CPU time (s) 282.25
Current children cumulated vsize (KiB) 465344
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 26438
/proc/meminfo: memFree=25625708/32873844 swapFree=6088/6088
[pid=26435] ppid=26433 vsize=527936 CPUtime=342.24 cores=1,3,5,7
/proc/26435/stat : 26435 (bsolo) R 26433 26435 24287 0 -1 4202496 130028 0 0 0 34116 108 0 0 20 0 1 0 284513559 540606464 129550 33554432000 134512640 137138936 4286962512 4286961628 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26435/statm: 131984 129550 192 642 0 131340 0
Current children cumulated CPU time (s) 342.24
Current children cumulated vsize (KiB) 527936
[startup+402.3 s]
/proc/loadavg: 2.05 2.01 2.00 3/178 26441
/proc/meminfo: memFree=25542856/32873844 swapFree=6088/6088
[pid=26435] ppid=26433 vsize=586152 CPUtime=402.21 cores=1,3,5,7
/proc/26435/stat : 26435 (bsolo) R 26433 26435 24287 0 -1 4202496 144578 0 0 0 40100 121 0 0 20 0 1 0 284513559 600219648 144083 33554432000 134512640 137138936 4286962512 4286961628 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26435/statm: 146538 144083 192 642 0 145894 0
Current children cumulated CPU time (s) 402.21
Current children cumulated vsize (KiB) 586152
[startup+462.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 26441
/proc/meminfo: memFree=25486224/32873844 swapFree=6088/6088
[pid=26435] ppid=26433 vsize=642160 CPUtime=462.17 cores=1,3,5,7
/proc/26435/stat : 26435 (bsolo) R 26433 26435 24287 0 -1 4202496 158654 0 0 0 46081 136 0 0 20 0 1 0 284513559 657571840 158111 33554432000 134512640 137138936 4286962512 4286961440 134543082 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26435/statm: 160540 158111 192 642 0 159896 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 642160
[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 26441
/proc/meminfo: memFree=25432684/32873844 swapFree=6088/6088
[pid=26435] ppid=26433 vsize=696240 CPUtime=522.12 cores=1,3,5,7
/proc/26435/stat : 26435 (bsolo) R 26433 26435 24287 0 -1 4202496 172193 0 0 0 52062 150 0 0 20 0 1 0 284513559 712949760 171602 33554432000 134512640 137138936 4286962512 4286961628 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26435/statm: 174060 171602 192 642 0 173416 0
Current children cumulated CPU time (s) 522.12
Current children cumulated vsize (KiB) 696240
[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 26441
/proc/meminfo: memFree=25382368/32873844 swapFree=6088/6088
[pid=26435] ppid=26433 vsize=745484 CPUtime=582.07 cores=1,3,5,7
/proc/26435/stat : 26435 (bsolo) R 26433 26435 24287 0 -1 4202496 184579 0 0 0 58044 163 0 0 20 0 1 0 284513559 763375616 183942 33554432000 134512640 137138936 4286962512 4286961372 136521014 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26435/statm: 186371 183942 192 642 0 185727 0
Current children cumulated CPU time (s) 582.07
Current children cumulated vsize (KiB) 745484
[startup+642.3 s]
################
# More data... #
################
/proc/meminfo: memFree=25083824/32873844 swapFree=6088/6088
[pid=26435] ppid=26433 vsize=1040580 CPUtime=1121.72 cores=1,3,5,7
/proc/26435/stat : 26435 (bsolo) R 26433 26435 24287 0 -1 4202496 259001 0 0 0 111883 289 0 0 20 0 1 0 284513559 1065553920 257715 33554432000 134512640 137138936 4286962512 4286956020 136500388 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26435/statm: 260145 257715 192 642 0 259501 0
Current children cumulated CPU time (s) 1121.72
Current children cumulated vsize (KiB) 1040580
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 26469
/proc/meminfo: memFree=25083824/32873844 swapFree=6088/6088
[pid=26435] ppid=26433 vsize=1040580 CPUtime=1181.71 cores=1,3,5,7
/proc/26435/stat : 26435 (bsolo) R 26433 26435 24287 0 -1 4202496 259001 0 0 0 117859 312 0 0 20 0 1 0 284513559 1065553920 257715 33554432000 134512640 137138936 4286962512 4286961440 134542516 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26435/statm: 260145 257715 192 642 0 259501 0
Current children cumulated CPU time (s) 1181.71
Current children cumulated vsize (KiB) 1040580
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 26470
/proc/meminfo: memFree=25084196/32873844 swapFree=6088/6088
[pid=26435] ppid=26433 vsize=1040580 CPUtime=1241.7 cores=1,3,5,7
/proc/26435/stat : 26435 (bsolo) R 26433 26435 24287 0 -1 4202496 259001 0 0 0 123837 333 0 0 20 0 1 0 284513559 1065553920 257715 33554432000 134512640 137138936 4286962512 4286961628 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26435/statm: 260145 257715 192 642 0 259501 0
Current children cumulated CPU time (s) 1241.7
Current children cumulated vsize (KiB) 1040580
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 26470
/proc/meminfo: memFree=25084196/32873844 swapFree=6088/6088
[pid=26435] ppid=26433 vsize=1040212 CPUtime=1301.7 cores=1,3,5,7
/proc/26435/stat : 26435 (bsolo) R 26433 26435 24287 0 -1 4202496 259001 0 0 0 129820 350 0 0 20 0 1 0 284513559 1065177088 257627 33554432000 134512640 137138936 4286962512 4286961440 134542233 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26435/statm: 260053 257627 192 642 0 259409 0
Current children cumulated CPU time (s) 1301.7
Current children cumulated vsize (KiB) 1040212
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 26470
/proc/meminfo: memFree=25083700/32873844 swapFree=6088/6088
[pid=26435] ppid=26433 vsize=1040212 CPUtime=1361.69 cores=1,3,5,7
/proc/26435/stat : 26435 (bsolo) R 26433 26435 24287 0 -1 4202496 259001 0 0 0 135798 371 0 0 20 0 1 0 284513559 1065177088 257627 33554432000 134512640 137138936 4286962512 4286961112 135984561 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26435/statm: 260053 257627 192 642 0 259409 0
Current children cumulated CPU time (s) 1361.69
Current children cumulated vsize (KiB) 1040212
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 26508
/proc/meminfo: memFree=26049116/32873844 swapFree=6088/6088
[pid=26435] ppid=26433 vsize=1040212 CPUtime=1421.68 cores=1,3,5,7
/proc/26435/stat : 26435 (bsolo) R 26433 26435 24287 0 -1 4202496 259001 0 0 0 141793 375 0 0 20 0 1 0 284513559 1065177088 257627 33554432000 134512640 137138936 4286962512 4286961408 134542237 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26435/statm: 260053 257627 192 642 0 259409 0
Current children cumulated CPU time (s) 1421.68
Current children cumulated vsize (KiB) 1040212
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 26508
/proc/meminfo: memFree=25990340/32873844 swapFree=6088/6088
[pid=26435] ppid=26433 vsize=1040212 CPUtime=1481.66 cores=1,3,5,7
/proc/26435/stat : 26435 (bsolo) R 26433 26435 24287 0 -1 4202496 259001 0 0 0 147786 380 0 0 20 0 1 0 284513559 1065177088 257627 33554432000 134512640 137138936 4286962512 4286961552 134540747 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26435/statm: 260053 257627 192 642 0 259409 0
Current children cumulated CPU time (s) 1481.66
Current children cumulated vsize (KiB) 1040212
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 26509
/proc/meminfo: memFree=25980172/32873844 swapFree=6088/6088
[pid=26435] ppid=26433 vsize=1040212 CPUtime=1541.65 cores=1,3,5,7
/proc/26435/stat : 26435 (bsolo) R 26433 26435 24287 0 -1 4202496 259001 0 0 0 153780 385 0 0 20 0 1 0 284513559 1065177088 257627 33554432000 134512640 137138936 4286962512 4286960936 134606847 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26435/statm: 260053 257627 192 642 0 259409 0
Current children cumulated CPU time (s) 1541.65
Current children cumulated vsize (KiB) 1040212
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 26512
/proc/meminfo: memFree=25979916/32873844 swapFree=6088/6088
[pid=26435] ppid=26433 vsize=1040212 CPUtime=1601.65 cores=1,3,5,7
/proc/26435/stat : 26435 (bsolo) R 26433 26435 24287 0 -1 4202496 259001 0 0 0 159777 388 0 0 20 0 1 0 284513559 1065177088 257627 33554432000 134512640 137138936 4286962512 4286961440 134542764 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26435/statm: 260053 257627 192 642 0 259409 0
Current children cumulated CPU time (s) 1601.65
Current children cumulated vsize (KiB) 1040212
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 26512
/proc/meminfo: memFree=25973228/32873844 swapFree=6088/6088
[pid=26435] ppid=26433 vsize=1040212 CPUtime=1661.63 cores=1,3,5,7
/proc/26435/stat : 26435 (bsolo) R 26433 26435 24287 0 -1 4202496 259001 0 0 0 165772 391 0 0 20 0 1 0 284513559 1065177088 257627 33554432000 134512640 137138936 4286962512 4286961408 134542480 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26435/statm: 260053 257627 192 642 0 259409 0
Current children cumulated CPU time (s) 1661.63
Current children cumulated vsize (KiB) 1040212
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 26512
/proc/meminfo: memFree=25959712/32873844 swapFree=6088/6088
[pid=26435] ppid=26433 vsize=1040212 CPUtime=1721.63 cores=1,3,5,7
/proc/26435/stat : 26435 (bsolo) R 26433 26435 24287 0 -1 4202496 259001 0 0 0 171768 395 0 0 20 0 1 0 284513559 1065177088 257627 33554432000 134512640 137138936 4286962512 4286961440 134542199 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26435/statm: 260053 257627 192 642 0 259409 0
Current children cumulated CPU time (s) 1721.63
Current children cumulated vsize (KiB) 1040212
[startup+1782.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/177 26512
/proc/meminfo: memFree=25959464/32873844 swapFree=6088/6088
[pid=26435] ppid=26433 vsize=1040212 CPUtime=1781.62 cores=1,3,5,7
/proc/26435/stat : 26435 (bsolo) R 26433 26435 24287 0 -1 4202496 259001 0 0 0 177762 400 0 0 20 0 1 0 284513559 1065177088 257627 33554432000 134512640 137138936 4286962512 4286961628 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26435/statm: 260053 257627 192 642 0 259409 0
Current children cumulated CPU time (s) 1781.62
Current children cumulated vsize (KiB) 1040212
Solver just ended. Dumping a history of the last processes samples
[startup+1791.91 s]
/proc/loadavg: 2.03 2.01 2.00 3/177 26512
/proc/meminfo: memFree=25959712/32873844 swapFree=6088/6088
[pid=26435] ppid=26433 vsize=1040212 CPUtime=1791.23 cores=1,3,5,7
/proc/26435/stat : 26435 (bsolo) R 26433 26435 24287 0 -1 4202496 259001 0 0 0 178722 401 0 0 20 0 1 0 284513559 1065177088 257627 33554432000 134512640 137138936 4286962512 4286961440 134542187 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26435/statm: 260053 257627 192 642 0 259409 0
Current children cumulated CPU time (s) 1791.23
Current children cumulated vsize (KiB) 1040212
[startup+1795.1 s]
/proc/loadavg: 2.03 2.01 2.00 3/177 26512
/proc/meminfo: memFree=25959712/32873844 swapFree=6088/6088
[pid=26435] ppid=26433 vsize=1040212 CPUtime=1794.43 cores=1,3,5,7
/proc/26435/stat : 26435 (bsolo) R 26433 26435 24287 0 -1 4202496 259001 0 0 0 179042 401 0 0 20 0 1 0 284513559 1065177088 257627 33554432000 134512640 137138936 4286962512 4286961176 136504417 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26435/statm: 260053 257627 192 642 0 259409 0
Current children cumulated CPU time (s) 1794.43
Current children cumulated vsize (KiB) 1040212
[startup+1796.7 s]
/proc/loadavg: 2.03 2.01 2.00 3/177 26512
/proc/meminfo: memFree=25959712/32873844 swapFree=6088/6088
[pid=26435] ppid=26433 vsize=1040212 CPUtime=1796.02 cores=1,3,5,7
/proc/26435/stat : 26435 (bsolo) R 26433 26435 24287 0 -1 4202496 259001 0 0 0 179201 401 0 0 20 0 1 0 284513559 1065177088 257627 33554432000 134512640 137138936 4286962512 4286961408 134542233 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26435/statm: 260053 257627 192 642 0 259409 0
Current children cumulated CPU time (s) 1796.02
Current children cumulated vsize (KiB) 1040212
[startup+1797.5 s]
/proc/loadavg: 2.03 2.01 2.00 3/177 26512
/proc/meminfo: memFree=25959712/32873844 swapFree=6088/6088
[pid=26435] ppid=26433 vsize=1040212 CPUtime=1796.82 cores=1,3,5,7
/proc/26435/stat : 26435 (bsolo) R 26433 26435 24287 0 -1 4202496 259001 0 0 0 179281 401 0 0 20 0 1 0 284513559 1065177088 257627 33554432000 134512640 137138936 4286962512 4286961408 134542912 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26435/statm: 260053 257627 192 642 0 259409 0
Current children cumulated CPU time (s) 1796.82
Current children cumulated vsize (KiB) 1040212
[startup+1798.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/177 26512
/proc/meminfo: memFree=25959712/32873844 swapFree=6088/6088
[pid=26435] ppid=26433 vsize=1040212 CPUtime=1797.62 cores=1,3,5,7
/proc/26435/stat : 26435 (bsolo) R 26433 26435 24287 0 -1 4202496 259001 0 0 0 179361 401 0 0 20 0 1 0 284513559 1065177088 257627 33554432000 134512640 137138936 4286962512 4286961628 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26435/statm: 260053 257627 192 642 0 259409 0
Current children cumulated CPU time (s) 1797.62
Current children cumulated vsize (KiB) 1040212
[startup+1798.51 s]
/proc/loadavg: 2.03 2.01 2.00 3/177 26512
/proc/meminfo: memFree=25959712/32873844 swapFree=6088/6088
[pid=26435] ppid=26433 vsize=1040212 CPUtime=1797.83 cores=1,3,5,7
/proc/26435/stat : 26435 (bsolo) R 26433 26435 24287 0 -1 4202496 259001 0 0 0 179382 401 0 0 20 0 1 0 284513559 1065177088 257627 33554432000 134512640 137138936 4286962512 4286961440 134542480 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26435/statm: 260053 257627 192 642 0 259409 0
Current children cumulated CPU time (s) 1797.83
Current children cumulated vsize (KiB) 1040212
[startup+1798.6 s]
/proc/loadavg: 2.03 2.01 2.00 3/177 26512
/proc/meminfo: memFree=25959712/32873844 swapFree=6088/6088
[pid=26435] ppid=26433 vsize=1040212 CPUtime=1797.92 cores=1,3,5,7
/proc/26435/stat : 26435 (bsolo) R 26433 26435 24287 0 -1 4202496 259001 0 0 0 179391 401 0 0 20 0 1 0 284513559 1065177088 257627 33554432000 134512640 137138936 4286962512 4286961440 134542233 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26435/statm: 260053 257627 192 642 0 259409 0
Current children cumulated CPU time (s) 1797.92
Current children cumulated vsize (KiB) 1040212
Child status: 0
Real time (s): 1798.68
CPU time (s): 1798.01
CPU user time (s): 1793.99
CPU system time (s): 4.01739
CPU usage (%): 99.9626
Max. virtual memory (cumulated for all children) (KiB): 1041860
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.99
system time used= 4.01739
maximum resident set size= 1032140
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 259001
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= 493
involuntary context switches= 1834
runsolver used 3.03054 second user time and 8.5297 second system time
The end