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-3742115-1338781387/watcher-3742115-1338781387 -o /tmp/evaluation-result-3742115-1338781387/solver-3742115-1338781387 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 -m15500 HOME/instance-3742115-1338781387.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.02 2.00 3/175 31649
/proc/meminfo: memFree=24931232/32873648 swapFree=6864/6864
[pid=31649] ppid=31647 vsize=11640 CPUtime=0 cores=1,3,5,7
/proc/31649/stat : 31649 (bsolo) R 31647 31649 30743 0 -1 4202496 394 0 0 0 0 0 0 0 20 0 1 0 344264117 11919360 347 33554432000 134512640 137136520 4288011728 4288010072 136504651 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31649/statm: 2910 347 186 641 0 2159 0
[startup+0.0726171 s]
/proc/loadavg: 2.01 2.02 2.00 3/175 31649
/proc/meminfo: memFree=24931232/32873648 swapFree=6864/6864
[pid=31649] ppid=31647 vsize=13268 CPUtime=0.06 cores=1,3,5,7
/proc/31649/stat : 31649 (bsolo) R 31647 31649 30743 0 -1 4202496 1013 0 0 0 6 0 0 0 20 0 1 0 344264117 13586432 859 33554432000 134512640 137136520 4288011728 4287928640 134544890 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31649/statm: 3317 859 189 641 0 2673 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 13268
[startup+0.100266 s]
/proc/loadavg: 2.01 2.02 2.00 3/175 31649
/proc/meminfo: memFree=24931232/32873648 swapFree=6864/6864
[pid=31649] ppid=31647 vsize=13268 CPUtime=0.09 cores=1,3,5,7
/proc/31649/stat : 31649 (bsolo) R 31647 31649 30743 0 -1 4202496 1013 0 0 0 9 0 0 0 20 0 1 0 344264117 13586432 859 33554432000 134512640 137136520 4288011728 4287928828 136568305 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31649/statm: 3317 859 189 641 0 2673 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 13268
[startup+0.300177 s]
/proc/loadavg: 2.01 2.02 2.00 3/175 31649
/proc/meminfo: memFree=24931232/32873648 swapFree=6864/6864
[pid=31649] ppid=31647 vsize=13268 CPUtime=0.29 cores=1,3,5,7
/proc/31649/stat : 31649 (bsolo) R 31647 31649 30743 0 -1 4202496 1014 0 0 0 29 0 0 0 20 0 1 0 344264117 13586432 860 33554432000 134512640 137136520 4288011728 4287928828 136568305 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31649/statm: 3317 860 189 641 0 2673 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 13268
[startup+0.700176 s]
/proc/loadavg: 2.01 2.02 2.00 3/175 31649
/proc/meminfo: memFree=24931232/32873648 swapFree=6864/6864
[pid=31649] ppid=31647 vsize=13268 CPUtime=0.69 cores=1,3,5,7
/proc/31649/stat : 31649 (bsolo) R 31647 31649 30743 0 -1 4202496 1014 0 0 0 69 0 0 0 20 0 1 0 344264117 13586432 860 33554432000 134512640 137136520 4288011728 4287928828 136568305 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31649/statm: 3317 860 189 641 0 2673 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 13268
[startup+1.50023 s]
/proc/loadavg: 2.01 2.02 2.00 3/176 31650
/proc/meminfo: memFree=24928224/32873648 swapFree=6864/6864
[pid=31649] ppid=31647 vsize=13692 CPUtime=1.49 cores=1,3,5,7
/proc/31649/stat : 31649 (bsolo) R 31647 31649 30743 0 -1 4202496 1267 0 0 0 148 1 0 0 20 0 1 0 344264117 14020608 997 33554432000 134512640 137136520 4288011728 4288010844 136568305 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31649/statm: 3423 997 198 641 0 2779 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 13692
[startup+3.10023 s]
/proc/loadavg: 2.01 2.02 2.00 3/176 31650
/proc/meminfo: memFree=24924380/32873648 swapFree=6864/6864
[pid=31649] ppid=31647 vsize=18868 CPUtime=3.09 cores=1,3,5,7
/proc/31649/stat : 31649 (bsolo) R 31647 31649 30743 0 -1 4202496 2553 0 0 0 305 4 0 0 20 0 1 0 344264117 19320832 2283 33554432000 134512640 137136520 4288011728 4288010844 136568305 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31649/statm: 4717 2283 198 641 0 4073 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 18868
[startup+6.30024 s]
/proc/loadavg: 2.01 2.02 2.00 3/177 31651
/proc/meminfo: memFree=24908556/32873648 swapFree=6864/6864
[pid=31649] ppid=31647 vsize=28984 CPUtime=6.29 cores=1,3,5,7
/proc/31649/stat : 31649 (bsolo) R 31647 31649 30743 0 -1 4202496 5091 0 0 0 620 9 0 0 20 0 1 0 344264117 29679616 4820 33554432000 134512640 137136520 4288011728 4288010844 136568305 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31649/statm: 7246 4820 198 641 0 6602 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 28984
[startup+12.7002 s]
/proc/loadavg: 2.01 2.02 2.00 3/177 31651
/proc/meminfo: memFree=24888700/32873648 swapFree=6864/6864
[pid=31649] ppid=31647 vsize=40692 CPUtime=12.69 cores=1,3,5,7
/proc/31649/stat : 31649 (bsolo) R 31647 31649 30743 0 -1 4202496 8017 0 0 0 1249 20 0 0 20 0 1 0 344264117 41668608 7746 33554432000 134512640 137136520 4288011728 4288010656 134544245 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31649/statm: 10173 7746 198 641 0 9529 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 40692
[startup+25.5002 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 31651
/proc/meminfo: memFree=24842216/32873648 swapFree=6864/6864
[pid=31649] ppid=31647 vsize=78076 CPUtime=25.48 cores=1,3,5,7
/proc/31649/stat : 31649 (bsolo) R 31647 31649 30743 0 -1 4202496 17391 0 0 0 2518 30 0 0 20 0 1 0 344264117 79949824 17091 33554432000 134512640 137136520 4288011728 4288010844 136568305 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31649/statm: 19519 17091 198 641 0 18875 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 78076
[startup+51.1002 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 31651
/proc/meminfo: memFree=24742272/32873648 swapFree=6864/6864
[pid=31649] ppid=31647 vsize=161724 CPUtime=51.08 cores=1,3,5,7
/proc/31649/stat : 31649 (bsolo) R 31647 31649 30743 0 -1 4202496 38853 0 0 0 5070 38 0 0 20 0 1 0 344264117 165605376 38010 33554432000 134512640 137136520 4288011728 4288010136 136502216 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31649/statm: 40431 38010 198 641 0 39787 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 161724
[startup+102.307 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 31651
/proc/meminfo: memFree=24586900/32873648 swapFree=6864/6864
[pid=31649] ppid=31647 vsize=282740 CPUtime=102.28 cores=1,3,5,7
/proc/31649/stat : 31649 (bsolo) R 31647 31649 30743 0 -1 4202496 69612 0 0 0 10179 49 0 0 20 0 1 0 344264117 289525760 68252 33554432000 134512640 137136520 4288011728 4288010656 134544256 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31649/statm: 70685 68252 198 641 0 70041 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 282740
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31651
/proc/meminfo: memFree=24426196/32873648 swapFree=6864/6864
[pid=31649] ppid=31647 vsize=395444 CPUtime=162.26 cores=1,3,5,7
/proc/31649/stat : 31649 (bsolo) R 31647 31649 30743 0 -1 4202496 98380 0 0 0 16169 57 0 0 20 0 1 0 344264117 404934656 96449 33554432000 134512640 137136520 4288011728 4288010656 134544157 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31649/statm: 98861 96449 198 641 0 98217 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 395444
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31651
/proc/meminfo: memFree=24306784/32873648 swapFree=6864/6864
[pid=31649] ppid=31647 vsize=469332 CPUtime=222.26 cores=1,3,5,7
/proc/31649/stat : 31649 (bsolo) R 31647 31649 30743 0 -1 4202496 117022 0 0 0 22149 77 0 0 20 0 1 0 344264117 480595968 114893 33554432000 134512640 137136520 4288011728 4288010656 134543965 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31649/statm: 117333 114893 198 641 0 116689 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 469332
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31651
/proc/meminfo: memFree=24178944/32873648 swapFree=6864/6864
[pid=31649] ppid=31647 vsize=558396 CPUtime=282.25 cores=1,3,5,7
/proc/31649/stat : 31649 (bsolo) R 31647 31649 30743 0 -1 4202496 140305 0 0 0 28139 86 0 0 20 0 1 0 344264117 571797504 137180 33554432000 134512640 137136520 4288011728 4288010844 136568305 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31649/statm: 139599 137180 198 641 0 138955 0
Current children cumulated CPU time (s) 282.25
Current children cumulated vsize (KiB) 558396
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31652
/proc/meminfo: memFree=24057304/32873648 swapFree=6864/6864
[pid=31649] ppid=31647 vsize=636012 CPUtime=342.24 cores=1,3,5,7
/proc/31649/stat : 31649 (bsolo) R 31647 31649 30743 0 -1 4202496 161215 0 0 0 34127 97 0 0 20 0 1 0 344264117 651276288 156572 33554432000 134512640 137136520 4288011728 4288010656 134544148 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31649/statm: 159003 156572 198 641 0 158359 0
Current children cumulated CPU time (s) 342.24
Current children cumulated vsize (KiB) 636012
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31652
/proc/meminfo: memFree=23957732/32873648 swapFree=6864/6864
[pid=31649] ppid=31647 vsize=702564 CPUtime=402.23 cores=1,3,5,7
/proc/31649/stat : 31649 (bsolo) R 31647 31649 30743 0 -1 4202496 178500 0 0 0 40110 113 0 0 20 0 1 0 344264117 719425536 173205 33554432000 134512640 137136520 4288011728 4288010656 134544245 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31649/statm: 175641 173205 198 641 0 174997 0
Current children cumulated CPU time (s) 402.23
Current children cumulated vsize (KiB) 702564
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 31655
/proc/meminfo: memFree=23830764/32873648 swapFree=6864/6864
[pid=31649] ppid=31647 vsize=789396 CPUtime=462.22 cores=1,3,5,7
/proc/31649/stat : 31649 (bsolo) R 31647 31649 30743 0 -1 4202496 202728 0 0 0 46093 129 0 0 20 0 1 0 344264117 808341504 194923 33554432000 134512640 137136520 4288011728 4288010368 134606791 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31649/statm: 197349 194926 198 641 0 196705 0
Current children cumulated CPU time (s) 462.22
Current children cumulated vsize (KiB) 789396
[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31655
/proc/meminfo: memFree=23686312/32873648 swapFree=6864/6864
[pid=31649] ppid=31647 vsize=897664 CPUtime=522.21 cores=1,3,5,7
/proc/31649/stat : 31649 (bsolo) R 31647 31649 30743 0 -1 4202496 235552 0 0 0 52078 143 0 0 20 0 1 0 344264117 919207936 221994 33554432000 134512640 137136520 4288011728 4288010656 134543878 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31649/statm: 224416 221994 198 641 0 223772 0
Current children cumulated CPU time (s) 522.21
Current children cumulated vsize (KiB) 897664
[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31655
/proc/meminfo: memFree=23580416/32873648 swapFree=6864/6864
[pid=31649] ppid=31647 vsize=976240 CPUtime=582.2 cores=1,3,5,7
/proc/31649/stat : 31649 (bsolo) R 31647 31649 30743 0 -1 4202496 257445 0 0 0 58067 153 0 0 20 0 1 0 344264117 999669760 241648 33554432000 134512640 137136520 4288011728 4288010416 136499604 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31649/statm: 244060 241648 198 641 0 243416 0
Current children cumulated CPU time (s) 582.2
Current children cumulated vsize (KiB) 976240
[startup+642.3 s]
################
# More data... #
################
/proc/meminfo: memFree=24300024/32873648 swapFree=6864/6864
[pid=31649] ppid=31647 vsize=1502304 CPUtime=1121.85 cores=1,3,5,7
/proc/31649/stat : 31649 (bsolo) R 31647 31649 30743 0 -1 4202496 413259 0 0 0 111962 223 0 0 20 0 1 0 344264117 1538359296 373174 33554432000 134512640 137136520 4288011728 4288010368 134606731 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31649/statm: 375576 373174 198 641 0 374932 0
Current children cumulated CPU time (s) 1121.85
Current children cumulated vsize (KiB) 1502304
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31731
/proc/meminfo: memFree=24203956/32873648 swapFree=6864/6864
[pid=31649] ppid=31647 vsize=1559888 CPUtime=1181.82 cores=1,3,5,7
/proc/31649/stat : 31649 (bsolo) R 31647 31649 30743 0 -1 4202496 431230 0 0 0 117953 229 0 0 20 0 1 0 344264117 1597325312 387559 33554432000 134512640 137136520 4288011728 4288010656 134543948 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31649/statm: 389972 387559 198 641 0 389328 0
Current children cumulated CPU time (s) 1181.82
Current children cumulated vsize (KiB) 1559888
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31732
/proc/meminfo: memFree=24118672/32873648 swapFree=6864/6864
[pid=31649] ppid=31647 vsize=1607964 CPUtime=1241.79 cores=1,3,5,7
/proc/31649/stat : 31649 (bsolo) R 31647 31649 30743 0 -1 4202496 447118 0 0 0 123945 234 0 0 20 0 1 0 344264117 1646555136 399581 33554432000 134512640 137136520 4288011728 4288010368 134606731 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31649/statm: 401991 399581 198 641 0 401347 0
Current children cumulated CPU time (s) 1241.79
Current children cumulated vsize (KiB) 1607964
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31732
/proc/meminfo: memFree=24046532/32873648 swapFree=6864/6864
[pid=31649] ppid=31647 vsize=1651692 CPUtime=1301.76 cores=1,3,5,7
/proc/31649/stat : 31649 (bsolo) R 31647 31649 30743 0 -1 4202496 460347 0 0 0 129935 241 0 0 20 0 1 0 344264117 1691332608 410502 33554432000 134512640 137136520 4288011728 4288010656 134543971 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31649/statm: 412923 410502 198 641 0 412279 0
Current children cumulated CPU time (s) 1301.76
Current children cumulated vsize (KiB) 1651692
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 31732
/proc/meminfo: memFree=23994640/32873648 swapFree=6864/6864
[pid=31649] ppid=31647 vsize=1676628 CPUtime=1361.72 cores=1,3,5,7
/proc/31649/stat : 31649 (bsolo) R 31647 31649 30743 0 -1 4202496 466671 0 0 0 135922 250 0 0 20 0 1 0 344264117 1716867072 416728 33554432000 134512640 137136520 4288011728 4288010256 134600588 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31649/statm: 419157 416728 198 641 0 418513 0
Current children cumulated CPU time (s) 1361.72
Current children cumulated vsize (KiB) 1676628
[startup+1422.31 s]
/proc/loadavg: 2.05 2.01 2.00 3/177 31733
/proc/meminfo: memFree=23877668/32873648 swapFree=6864/6864
[pid=31649] ppid=31647 vsize=1766388 CPUtime=1421.7 cores=1,3,5,7
/proc/31649/stat : 31649 (bsolo) R 31647 31649 30743 0 -1 4202496 491639 0 0 0 141909 261 0 0 20 0 1 0 344264117 1808781312 439184 33554432000 134512640 137136520 4288011728 4288010656 134543831 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31649/statm: 441597 439184 198 641 0 440953 0
Current children cumulated CPU time (s) 1421.7
Current children cumulated vsize (KiB) 1766388
[startup+1482.3 s]
/proc/loadavg: 2.05 2.02 2.00 3/177 31733
/proc/meminfo: memFree=23791888/32873648 swapFree=6864/6864
[pid=31649] ppid=31647 vsize=1816600 CPUtime=1481.65 cores=1,3,5,7
/proc/31649/stat : 31649 (bsolo) R 31647 31649 30743 0 -1 4202496 504948 0 0 0 147894 271 0 0 20 0 1 0 344264117 1860198400 451736 33554432000 134512640 137136520 4288011728 4288010656 134544127 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31649/statm: 454150 451736 198 641 0 453506 0
Current children cumulated CPU time (s) 1481.65
Current children cumulated vsize (KiB) 1816600
[startup+1542.3 s]
/proc/loadavg: 2.05 2.03 2.00 3/177 31734
/proc/meminfo: memFree=23706472/32873648 swapFree=6864/6864
[pid=31649] ppid=31647 vsize=1870860 CPUtime=1541.62 cores=1,3,5,7
/proc/31649/stat : 31649 (bsolo) R 31647 31649 30743 0 -1 4202496 519541 0 0 0 153883 279 0 0 20 0 1 0 344264117 1915760640 465305 33554432000 134512640 137136520 4288011728 4288010412 136501953 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31649/statm: 467715 465305 198 641 0 467071 0
Current children cumulated CPU time (s) 1541.62
Current children cumulated vsize (KiB) 1870860
[startup+1602.3 s]
/proc/loadavg: 2.05 2.04 2.00 3/177 31734
/proc/meminfo: memFree=23625280/32873648 swapFree=6864/6864
[pid=31649] ppid=31647 vsize=1928516 CPUtime=1601.58 cores=1,3,5,7
/proc/31649/stat : 31649 (bsolo) R 31647 31649 30743 0 -1 4202496 536427 0 0 0 159871 287 0 0 20 0 1 0 344264117 1974800384 479721 33554432000 134512640 137136520 4288011728 4288010320 134616694 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31649/statm: 482129 479721 198 641 0 481485 0
Current children cumulated CPU time (s) 1601.58
Current children cumulated vsize (KiB) 1928516
[startup+1662.3 s]
/proc/loadavg: 2.05 2.04 2.00 3/178 31737
/proc/meminfo: memFree=23526516/32873648 swapFree=6864/6864
[pid=31649] ppid=31647 vsize=1977260 CPUtime=1661.54 cores=1,3,5,7
/proc/31649/stat : 31649 (bsolo) R 31647 31649 30743 0 -1 4202496 549644 0 0 0 165861 293 0 0 20 0 1 0 344264117 2024714240 491911 33554432000 134512640 137136520 4288011728 4288010656 134543948 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31649/statm: 494315 491911 198 641 0 493671 0
Current children cumulated CPU time (s) 1661.54
Current children cumulated vsize (KiB) 1977260
[startup+1722.3 s]
/proc/loadavg: 2.05 2.05 2.00 3/177 31737
/proc/meminfo: memFree=23437564/32873648 swapFree=6864/6864
[pid=31649] ppid=31647 vsize=2023760 CPUtime=1721.49 cores=1,3,5,7
/proc/31649/stat : 31649 (bsolo) R 31647 31649 30743 0 -1 4202496 563452 0 0 0 171850 299 0 0 20 0 1 0 344264117 2072330240 503535 33554432000 134512640 137136520 4288011728 4288010656 134544148 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31649/statm: 505940 503535 198 641 0 505296 0
Current children cumulated CPU time (s) 1721.49
Current children cumulated vsize (KiB) 2023760
[startup+1782.3 s]
/proc/loadavg: 2.05 2.05 2.00 3/177 31737
/proc/meminfo: memFree=23342236/32873648 swapFree=6864/6864
[pid=31649] ppid=31647 vsize=2092876 CPUtime=1781.46 cores=1,3,5,7
/proc/31649/stat : 31649 (bsolo) R 31647 31649 30743 0 -1 4202496 587470 0 0 0 177838 308 0 0 20 0 1 0 344264117 2143105024 520815 33554432000 134512640 137136520 4288011728 4288010656 134543948 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31649/statm: 523219 520815 198 641 0 522575 0
Current children cumulated CPU time (s) 1781.46
Current children cumulated vsize (KiB) 2092876
Solver just ended. Dumping a history of the last processes samples
[startup+1791.91 s]
/proc/loadavg: 2.12 2.06 2.01 3/177 31737
/proc/meminfo: memFree=23332920/32873648 swapFree=6864/6864
[pid=31649] ppid=31647 vsize=2097300 CPUtime=1791.06 cores=1,3,5,7
/proc/31649/stat : 31649 (bsolo) R 31647 31649 30743 0 -1 4202496 588783 0 0 0 178797 309 0 0 20 0 1 0 344264117 2147635200 521921 33554432000 134512640 137136520 4288011728 4288010656 134544112 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31649/statm: 524325 521921 198 641 0 523681 0
Current children cumulated CPU time (s) 1791.06
Current children cumulated vsize (KiB) 2097300
[startup+1795.1 s]
/proc/loadavg: 2.11 2.06 2.00 3/177 31737
/proc/meminfo: memFree=23330316/32873648 swapFree=6864/6864
[pid=31649] ppid=31647 vsize=2098440 CPUtime=1794.26 cores=1,3,5,7
/proc/31649/stat : 31649 (bsolo) R 31647 31649 30743 0 -1 4202496 589070 0 0 0 179117 309 0 0 20 0 1 0 344264117 2148802560 522208 33554432000 134512640 137136520 4288011728 4288010656 134544402 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31649/statm: 524610 522208 198 641 0 523966 0
Current children cumulated CPU time (s) 1794.26
Current children cumulated vsize (KiB) 2098440
[startup+1796.7 s]
/proc/loadavg: 2.11 2.06 2.00 3/177 31737
/proc/meminfo: memFree=23329200/32873648 swapFree=6864/6864
[pid=31649] ppid=31647 vsize=2099624 CPUtime=1795.86 cores=1,3,5,7
/proc/31649/stat : 31649 (bsolo) R 31647 31649 30743 0 -1 4202496 589354 0 0 0 179276 310 0 0 20 0 1 0 344264117 2150014976 522491 33554432000 134512640 137136520 4288011728 4288010656 134543948 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31649/statm: 524906 522491 198 641 0 524262 0
Current children cumulated CPU time (s) 1795.86
Current children cumulated vsize (KiB) 2099624
[startup+1797.5 s]
/proc/loadavg: 2.11 2.06 2.00 3/177 31737
/proc/meminfo: memFree=23328084/32873648 swapFree=6864/6864
[pid=31649] ppid=31647 vsize=2099748 CPUtime=1796.66 cores=1,3,5,7
/proc/31649/stat : 31649 (bsolo) R 31647 31649 30743 0 -1 4202496 589380 0 0 0 179356 310 0 0 20 0 1 0 344264117 2150141952 522517 33554432000 134512640 137136520 4288011728 4288010656 134543948 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31649/statm: 524937 522517 198 641 0 524293 0
Current children cumulated CPU time (s) 1796.66
Current children cumulated vsize (KiB) 2099748
[startup+1798.3 s]
/proc/loadavg: 2.11 2.06 2.00 3/177 31737
/proc/meminfo: memFree=23328084/32873648 swapFree=6864/6864
[pid=31649] ppid=31647 vsize=2099832 CPUtime=1797.45 cores=1,3,5,7
/proc/31649/stat : 31649 (bsolo) R 31647 31649 30743 0 -1 4202496 589425 0 0 0 179435 310 0 0 20 0 1 0 344264117 2150227968 522555 33554432000 134512640 137136520 4288011728 4288010656 134543957 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31649/statm: 524958 522555 198 641 0 524314 0
Current children cumulated CPU time (s) 1797.45
Current children cumulated vsize (KiB) 2099832
[startup+1798.7 s]
/proc/loadavg: 2.10 2.06 2.00 3/177 31737
/proc/meminfo: memFree=23327076/32873648 swapFree=6864/6864
[pid=31649] ppid=31647 vsize=2099936 CPUtime=1797.85 cores=1,3,5,7
/proc/31649/stat : 31649 (bsolo) R 31647 31649 30743 0 -1 4202496 589434 0 0 0 179475 310 0 0 20 0 1 0 344264117 2150334464 522564 33554432000 134512640 137136520 4288011728 4288010656 134543965 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31649/statm: 524984 522564 198 641 0 524340 0
Current children cumulated CPU time (s) 1797.85
Current children cumulated vsize (KiB) 2099936
[startup+1798.8 s]
/proc/loadavg: 2.10 2.06 2.00 3/177 31737
/proc/meminfo: memFree=23327076/32873648 swapFree=6864/6864
[pid=31649] ppid=31647 vsize=2099936 CPUtime=1797.95 cores=1,3,5,7
/proc/31649/stat : 31649 (bsolo) R 31647 31649 30743 0 -1 4202496 589435 0 0 0 179485 310 0 0 20 0 1 0 344264117 2150334464 522565 33554432000 134512640 137136520 4288011728 4288010624 134543837 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31649/statm: 524984 522565 198 641 0 524340 0
Current children cumulated CPU time (s) 1797.95
Current children cumulated vsize (KiB) 2099936
Child status: 0
Real time (s): 1798.86
CPU time (s): 1798.02
CPU user time (s): 1794.9
CPU system time (s): 3.11952
CPU usage (%): 99.9532
Max. virtual memory (cumulated for all children) (KiB): 2099936
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.9
system time used= 3.11952
maximum resident set size= 2090292
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 589444
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= 793
involuntary context switches= 1818
runsolver used 3.11253 second user time and 8.83966 second system time
The end