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-3742154-1338781968/watcher-3742154-1338781968 -o /tmp/evaluation-result-3742154-1338781968/solver-3742154-1338781968 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 -m15500 HOME/instance-3742154-1338781968.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.05 2.01 2.00 3/176 2600
/proc/meminfo: memFree=25251628/32873648 swapFree=6860/6860
[pid=2600] ppid=2598 vsize=19244 CPUtime=0 cores=1,3,5,7
/proc/2600/stat : 2600 (bsolo) R 2598 2600 2050 0 -1 4202496 361 0 0 0 0 0 0 0 20 0 1 0 344322863 19705856 314 33554432000 134512640 137136520 4292195744 4292194256 136575102 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/2600/statm: 2858 314 182 641 0 2126 0
[startup+0.040382 s]
/proc/loadavg: 2.05 2.01 2.00 3/176 2600
/proc/meminfo: memFree=25251628/32873648 swapFree=6860/6860
[pid=2600] ppid=2598 vsize=12724 CPUtime=0.03 cores=1,3,5,7
/proc/2600/stat : 2600 (bsolo) R 2598 2600 2050 0 -1 4202496 883 0 0 0 3 0 0 0 20 0 1 0 344322863 13029376 748 33554432000 134512640 137136520 4292195744 4292126716 136568305 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/2600/statm: 3181 748 189 641 0 2537 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 12724
[startup+0.100142 s]
/proc/loadavg: 2.05 2.01 2.00 3/176 2600
/proc/meminfo: memFree=25251628/32873648 swapFree=6860/6860
[pid=2600] ppid=2598 vsize=12724 CPUtime=0.09 cores=1,3,5,7
/proc/2600/stat : 2600 (bsolo) R 2598 2600 2050 0 -1 4202496 883 0 0 0 9 0 0 0 20 0 1 0 344322863 13029376 748 33554432000 134512640 137136520 4292195744 4292126716 136568305 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/2600/statm: 3181 748 189 641 0 2537 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 12724
[startup+0.300099 s]
/proc/loadavg: 2.05 2.01 2.00 3/176 2600
/proc/meminfo: memFree=25251628/32873648 swapFree=6860/6860
[pid=2600] ppid=2598 vsize=12724 CPUtime=0.29 cores=1,3,5,7
/proc/2600/stat : 2600 (bsolo) R 2598 2600 2050 0 -1 4202496 884 0 0 0 29 0 0 0 20 0 1 0 344322863 13029376 749 33554432000 134512640 137136520 4292195744 4292126716 136568305 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/2600/statm: 3181 749 189 641 0 2537 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 12724
[startup+0.700093 s]
/proc/loadavg: 2.05 2.01 2.00 3/176 2600
/proc/meminfo: memFree=25251628/32873648 swapFree=6860/6860
[pid=2600] ppid=2598 vsize=12724 CPUtime=0.69 cores=1,3,5,7
/proc/2600/stat : 2600 (bsolo) R 2598 2600 2050 0 -1 4202496 884 0 0 0 69 0 0 0 20 0 1 0 344322863 13029376 749 33554432000 134512640 137136520 4292195744 4292126716 136568305 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/2600/statm: 3181 749 189 641 0 2537 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 12724
[startup+1.5001 s]
/proc/loadavg: 2.05 2.01 2.00 3/177 2601
/proc/meminfo: memFree=25248256/32873648 swapFree=6860/6860
[pid=2600] ppid=2598 vsize=13952 CPUtime=1.49 cores=1,3,5,7
/proc/2600/stat : 2600 (bsolo) R 2598 2600 2050 0 -1 4202496 1272 0 0 0 148 1 0 0 20 0 1 0 344322863 14286848 1053 33554432000 134512640 137136520 4292195744 4292194860 136568305 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/2600/statm: 3488 1053 198 641 0 2844 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 13952
[startup+3.1001 s]
/proc/loadavg: 2.05 2.01 2.00 3/177 2601
/proc/meminfo: memFree=25243916/32873648 swapFree=6860/6860
[pid=2600] ppid=2598 vsize=19824 CPUtime=3.09 cores=1,3,5,7
/proc/2600/stat : 2600 (bsolo) R 2598 2600 2050 0 -1 4202496 2746 0 0 0 305 4 0 0 20 0 1 0 344322863 20299776 2527 33554432000 134512640 137136520 4292195744 4292194860 136568305 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/2600/statm: 4956 2527 198 641 0 4312 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 19824
[startup+6.30013 s]
/proc/loadavg: 2.04 2.01 2.00 3/177 2601
/proc/meminfo: memFree=25228844/32873648 swapFree=6860/6860
[pid=2600] ppid=2598 vsize=29480 CPUtime=6.29 cores=1,3,5,7
/proc/2600/stat : 2600 (bsolo) R 2598 2600 2050 0 -1 4202496 5159 0 0 0 620 9 0 0 20 0 1 0 344322863 30187520 4940 33554432000 134512640 137136520 4292195744 4292194860 136568305 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/2600/statm: 7370 4940 198 641 0 6726 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 29480
[startup+12.7002 s]
/proc/loadavg: 2.04 2.01 2.00 3/177 2601
/proc/meminfo: memFree=25203372/32873648 swapFree=6860/6860
[pid=2600] ppid=2598 vsize=47376 CPUtime=12.69 cores=1,3,5,7
/proc/2600/stat : 2600 (bsolo) R 2598 2600 2050 0 -1 4202496 9620 0 0 0 1257 12 0 0 20 0 1 0 344322863 48513024 9401 33554432000 134512640 137136520 4292195744 4292177804 136698750 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/2600/statm: 11844 9404 198 641 0 11200 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 47376
[startup+25.5003 s]
/proc/loadavg: 2.03 2.01 2.00 3/177 2601
/proc/meminfo: memFree=25157912/32873648 swapFree=6860/6860
[pid=2600] ppid=2598 vsize=85516 CPUtime=25.48 cores=1,3,5,7
/proc/2600/stat : 2600 (bsolo) R 2598 2600 2050 0 -1 4202496 19163 0 0 0 2531 17 0 0 20 0 1 0 344322863 87568384 18944 33554432000 134512640 137136520 4292195744 4292194672 134544148 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/2600/statm: 21379 18944 198 641 0 20735 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 85516
[startup+51.1003 s]
/proc/loadavg: 2.08 2.03 2.00 3/177 2602
/proc/meminfo: memFree=25084380/32873648 swapFree=6860/6860
[pid=2600] ppid=2598 vsize=142644 CPUtime=51.08 cores=1,3,5,7
/proc/2600/stat : 2600 (bsolo) R 2598 2600 2050 0 -1 4202496 33467 0 0 0 5085 23 0 0 20 0 1 0 344322863 146067456 33245 33554432000 134512640 137136520 4292195744 4292194672 134543918 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/2600/statm: 35661 33245 198 641 0 35017 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 142644
[startup+102.306 s]
/proc/loadavg: 2.03 2.02 2.00 3/177 2650
/proc/meminfo: memFree=26904292/32873648 swapFree=6860/6860
[pid=2600] ppid=2598 vsize=228668 CPUtime=102.26 cores=1,3,5,7
/proc/2600/stat : 2600 (bsolo) R 2598 2600 2050 0 -1 4202496 55294 0 0 0 10192 34 0 0 20 0 1 0 344322863 234156032 54762 33554432000 134512640 137136520 4292195744 4292194672 134544148 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/2600/statm: 57167 54762 198 641 0 56523 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 228668
[startup+162.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 2650
/proc/meminfo: memFree=26670952/32873648 swapFree=6860/6860
[pid=2600] ppid=2598 vsize=322848 CPUtime=162.22 cores=1,3,5,7
/proc/2600/stat : 2600 (bsolo) R 2598 2600 2050 0 -1 4202496 79024 0 0 0 16172 50 0 0 20 0 1 0 344322863 330596352 78300 33554432000 134512640 137136520 4292195744 4292194672 134544384 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/2600/statm: 80712 78300 198 641 0 80068 0
Current children cumulated CPU time (s) 162.22
Current children cumulated vsize (KiB) 322848
[startup+222.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 2650
/proc/meminfo: memFree=26487212/32873648 swapFree=6860/6860
[pid=2600] ppid=2598 vsize=394644 CPUtime=222.19 cores=1,3,5,7
/proc/2600/stat : 2600 (bsolo) R 2598 2600 2050 0 -1 4202496 97032 0 0 0 22155 64 0 0 20 0 1 0 344322863 404115456 96247 33554432000 134512640 137136520 4292195744 4292194336 134616694 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/2600/statm: 98661 96247 198 641 0 98017 0
Current children cumulated CPU time (s) 222.19
Current children cumulated vsize (KiB) 394644
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 2650
/proc/meminfo: memFree=26310420/32873648 swapFree=6860/6860
[pid=2600] ppid=2598 vsize=462428 CPUtime=282.14 cores=1,3,5,7
/proc/2600/stat : 2600 (bsolo) R 2598 2600 2050 0 -1 4202496 114118 0 0 0 28139 75 0 0 20 0 1 0 344322863 473526272 113193 33554432000 134512640 137136520 4292195744 4292194672 134544402 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/2600/statm: 115607 113193 198 641 0 114963 0
Current children cumulated CPU time (s) 282.14
Current children cumulated vsize (KiB) 462428
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 2651
/proc/meminfo: memFree=26150116/32873648 swapFree=6860/6860
[pid=2600] ppid=2598 vsize=566972 CPUtime=342.1 cores=1,3,5,7
/proc/2600/stat : 2600 (bsolo) R 2598 2600 2050 0 -1 4202496 141110 0 0 0 34125 85 0 0 20 0 1 0 344322863 580579328 139310 33554432000 134512640 137136520 4292195744 4292194672 134544402 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/2600/statm: 141743 139310 198 641 0 141099 0
Current children cumulated CPU time (s) 342.1
Current children cumulated vsize (KiB) 566972
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 2651
/proc/meminfo: memFree=25961912/32873648 swapFree=6860/6860
[pid=2600] ppid=2598 vsize=652312 CPUtime=402.06 cores=1,3,5,7
/proc/2600/stat : 2600 (bsolo) R 2598 2600 2050 0 -1 4202496 163292 0 0 0 40114 92 0 0 20 0 1 0 344322863 667967488 160661 33554432000 134512640 137136520 4292195744 4292194672 134544157 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/2600/statm: 163078 160661 198 641 0 162434 0
Current children cumulated CPU time (s) 402.06
Current children cumulated vsize (KiB) 652312
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 2654
/proc/meminfo: memFree=25749288/32873648 swapFree=6860/6860
[pid=2600] ppid=2598 vsize=737652 CPUtime=462.02 cores=1,3,5,7
/proc/2600/stat : 2600 (bsolo) R 2598 2600 2050 0 -1 4202496 185187 0 0 0 46101 101 0 0 20 0 1 0 344322863 755355648 181993 33554432000 134512640 137136520 4292195744 4292194672 134543954 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/2600/statm: 184413 181993 198 641 0 183769 0
Current children cumulated CPU time (s) 462.02
Current children cumulated vsize (KiB) 737652
[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 2676
/proc/meminfo: memFree=25587824/32873648 swapFree=6860/6860
[pid=2600] ppid=2598 vsize=812276 CPUtime=521.99 cores=1,3,5,7
/proc/2600/stat : 2600 (bsolo) R 2598 2600 2050 0 -1 4202496 204292 0 0 0 52091 108 0 0 20 0 1 0 344322863 831770624 200646 33554432000 134512640 137136520 4292195744 4292194860 136568305 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/2600/statm: 203069 200646 198 641 0 202425 0
Current children cumulated CPU time (s) 521.99
Current children cumulated vsize (KiB) 812276
[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 2676
/proc/meminfo: memFree=25457800/32873648 swapFree=6860/6860
[pid=2600] ppid=2598 vsize=880580 CPUtime=581.95 cores=1,3,5,7
/proc/2600/stat : 2600 (bsolo) R 2598 2600 2050 0 -1 4202496 222067 0 0 0 58080 115 0 0 20 0 1 0 344322863 901713920 217739 33554432000 134512640 137136520 4292195744 4292194384 134606736 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/2600/statm: 220145 217739 198 641 0 219501 0
Current children cumulated CPU time (s) 581.95
Current children cumulated vsize (KiB) 880580
[startup+642.3 s]
################
# More data... #
################
/proc/meminfo: memFree=24458984/32873648 swapFree=6860/6860
[pid=2600] ppid=2598 vsize=1281920 CPUtime=1061.84 cores=1,3,5,7
/proc/2600/stat : 2600 (bsolo) R 2598 2600 2050 0 -1 4202496 325960 0 0 0 106026 158 0 0 20 0 1 0 344322863 1312686080 318546 33554432000 134512640 137136520 4292195744 4292194672 134543957 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/2600/statm: 320480 318546 198 641 0 319836 0
Current children cumulated CPU time (s) 1061.84
Current children cumulated vsize (KiB) 1281920
[startup+1122.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/177 2682
/proc/meminfo: memFree=24343328/32873648 swapFree=6860/6860
[pid=2600] ppid=2598 vsize=1321872 CPUtime=1121.84 cores=1,3,5,7
/proc/2600/stat : 2600 (bsolo) R 2598 2600 2050 0 -1 4202496 336339 0 0 0 112021 163 0 0 20 0 1 0 344322863 1353596928 328534 33554432000 134512640 137136520 4292195744 4292194672 134544122 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/2600/statm: 330468 328534 198 641 0 329824 0
Current children cumulated CPU time (s) 1121.84
Current children cumulated vsize (KiB) 1321872
[startup+1182.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 2682
/proc/meminfo: memFree=24225436/32873648 swapFree=6860/6860
[pid=2600] ppid=2598 vsize=1363016 CPUtime=1181.83 cores=1,3,5,7
/proc/2600/stat : 2600 (bsolo) R 2598 2600 2050 0 -1 4202496 346716 0 0 0 118015 168 0 0 20 0 1 0 344322863 1395728384 338793 33554432000 134512640 137136520 4292195744 4292194672 134543865 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/2600/statm: 340754 338793 198 641 0 340110 0
Current children cumulated CPU time (s) 1181.83
Current children cumulated vsize (KiB) 1363016
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 2682
/proc/meminfo: memFree=24137424/32873648 swapFree=6860/6860
[pid=2600] ppid=2598 vsize=1414188 CPUtime=1241.82 cores=1,3,5,7
/proc/2600/stat : 2600 (bsolo) R 2598 2600 2050 0 -1 4202496 360124 0 0 0 124009 173 0 0 20 0 1 0 344322863 1448128512 351609 33554432000 134512640 137136520 4292195744 4292194672 134543959 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/2600/statm: 353547 351609 198 641 0 352903 0
Current children cumulated CPU time (s) 1241.82
Current children cumulated vsize (KiB) 1414188
[startup+1302.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/177 2683
/proc/meminfo: memFree=24064416/32873648 swapFree=6860/6860
[pid=2600] ppid=2598 vsize=1464328 CPUtime=1301.82 cores=1,3,5,7
/proc/2600/stat : 2600 (bsolo) R 2598 2600 2050 0 -1 4202496 372891 0 0 0 130004 178 0 0 20 0 1 0 344322863 1499471872 364122 33554432000 134512640 137136520 4292195744 4292194672 134543918 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/2600/statm: 366082 364122 198 641 0 365438 0
Current children cumulated CPU time (s) 1301.82
Current children cumulated vsize (KiB) 1464328
[startup+1362.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 2683
/proc/meminfo: memFree=23986076/32873648 swapFree=6860/6860
[pid=2600] ppid=2598 vsize=1511928 CPUtime=1361.81 cores=1,3,5,7
/proc/2600/stat : 2600 (bsolo) R 2598 2600 2050 0 -1 4202496 385188 0 0 0 135998 183 0 0 20 0 1 0 344322863 1548214272 376046 33554432000 134512640 137136520 4292195744 4292194336 134616499 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/2600/statm: 377982 376046 198 641 0 377338 0
Current children cumulated CPU time (s) 1361.81
Current children cumulated vsize (KiB) 1511928
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 2683
/proc/meminfo: memFree=23859376/32873648 swapFree=6860/6860
[pid=2600] ppid=2598 vsize=1562800 CPUtime=1421.79 cores=1,3,5,7
/proc/2600/stat : 2600 (bsolo) R 2598 2600 2050 0 -1 4202496 398182 0 0 0 141991 188 0 0 20 0 1 0 344322863 1600307200 388752 33554432000 134512640 137136520 4292195744 4292194672 134543939 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/2600/statm: 390700 388752 198 641 0 390056 0
Current children cumulated CPU time (s) 1421.79
Current children cumulated vsize (KiB) 1562800
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 2683
/proc/meminfo: memFree=23753636/32873648 swapFree=6860/6860
[pid=2600] ppid=2598 vsize=1601252 CPUtime=1481.78 cores=1,3,5,7
/proc/2600/stat : 2600 (bsolo) R 2598 2600 2050 0 -1 4202496 407896 0 0 0 147986 192 0 0 20 0 1 0 344322863 1639682048 398373 33554432000 134512640 137136520 4292195744 4292194672 134544396 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/2600/statm: 400313 398373 198 641 0 399669 0
Current children cumulated CPU time (s) 1481.78
Current children cumulated vsize (KiB) 1601252
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 2683
/proc/meminfo: memFree=23657316/32873648 swapFree=6860/6860
[pid=2600] ppid=2598 vsize=1628996 CPUtime=1541.77 cores=1,3,5,7
/proc/2600/stat : 2600 (bsolo) R 2598 2600 2050 0 -1 4202496 415112 0 0 0 153982 195 0 0 20 0 1 0 344322863 1668091904 405299 33554432000 134512640 137136520 4292195744 4292194672 134543831 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/2600/statm: 407249 405299 198 641 0 406605 0
Current children cumulated CPU time (s) 1541.77
Current children cumulated vsize (KiB) 1628996
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 2684
/proc/meminfo: memFree=23575508/32873648 swapFree=6860/6860
[pid=2600] ppid=2598 vsize=1656024 CPUtime=1601.77 cores=1,3,5,7
/proc/2600/stat : 2600 (bsolo) R 2598 2600 2050 0 -1 4202496 422131 0 0 0 159979 198 0 0 20 0 1 0 344322863 1695768576 412045 33554432000 134512640 137136520 4292195744 4292194672 134544080 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/2600/statm: 414006 412045 198 641 0 413362 0
Current children cumulated CPU time (s) 1601.77
Current children cumulated vsize (KiB) 1656024
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 2687
/proc/meminfo: memFree=23500384/32873648 swapFree=6860/6860
[pid=2600] ppid=2598 vsize=1684776 CPUtime=1661.75 cores=1,3,5,7
/proc/2600/stat : 2600 (bsolo) R 2598 2600 2050 0 -1 4202496 429670 0 0 0 165975 200 0 0 20 0 1 0 344322863 1725210624 419260 33554432000 134512640 137136520 4292195744 4292194672 134543865 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/2600/statm: 421194 419260 198 641 0 420550 0
Current children cumulated CPU time (s) 1661.75
Current children cumulated vsize (KiB) 1684776
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 2687
/proc/meminfo: memFree=23421556/32873648 swapFree=6860/6860
[pid=2600] ppid=2598 vsize=1721304 CPUtime=1721.74 cores=1,3,5,7
/proc/2600/stat : 2600 (bsolo) R 2598 2600 2050 0 -1 4202496 439175 0 0 0 171970 204 0 0 20 0 1 0 344322863 1762615296 428392 33554432000 134512640 137136520 4292195744 4292194672 134544148 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/2600/statm: 430326 428392 198 641 0 429682 0
Current children cumulated CPU time (s) 1721.74
Current children cumulated vsize (KiB) 1721304
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 2687
/proc/meminfo: memFree=23340116/32873648 swapFree=6860/6860
[pid=2600] ppid=2598 vsize=1752320 CPUtime=1781.74 cores=1,3,5,7
/proc/2600/stat : 2600 (bsolo) R 2598 2600 2050 0 -1 4202496 447242 0 0 0 177966 208 0 0 20 0 1 0 344322863 1794375680 436120 33554432000 134512640 137136520 4292195744 4292194384 134606772 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/2600/statm: 438080 436120 198 641 0 437436 0
Current children cumulated CPU time (s) 1781.74
Current children cumulated vsize (KiB) 1752320
Solver just ended. Dumping a history of the last processes samples
[startup+1791.91 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 2687
/proc/meminfo: memFree=23328196/32873648 swapFree=6860/6860
[pid=2600] ppid=2598 vsize=1757300 CPUtime=1791.34 cores=1,3,5,7
/proc/2600/stat : 2600 (bsolo) R 2598 2600 2050 0 -1 4202496 448537 0 0 0 178926 208 0 0 20 0 1 0 344322863 1799475200 437389 33554432000 134512640 137136520 4292195744 4292194640 134544157 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/2600/statm: 439325 437389 198 641 0 438681 0
Current children cumulated CPU time (s) 1791.34
Current children cumulated vsize (KiB) 1757300
[startup+1795.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 2687
/proc/meminfo: memFree=23321608/32873648 swapFree=6860/6860
[pid=2600] ppid=2598 vsize=1759368 CPUtime=1794.54 cores=1,3,5,7
/proc/2600/stat : 2600 (bsolo) R 2598 2600 2050 0 -1 4202496 449068 0 0 0 179246 208 0 0 20 0 1 0 344322863 1801592832 437905 33554432000 134512640 137136520 4292195744 4292194672 134544140 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/2600/statm: 439842 437905 198 641 0 439198 0
Current children cumulated CPU time (s) 1794.54
Current children cumulated vsize (KiB) 1759368
[startup+1796.7 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 2687
/proc/meminfo: memFree=23320368/32873648 swapFree=6860/6860
[pid=2600] ppid=2598 vsize=1760680 CPUtime=1796.13 cores=1,3,5,7
/proc/2600/stat : 2600 (bsolo) R 2598 2600 2050 0 -1 4202496 449398 0 0 0 179405 208 0 0 20 0 1 0 344322863 1802936320 438233 33554432000 134512640 137136520 4292195744 4292194672 134543819 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/2600/statm: 440170 438233 198 641 0 439526 0
Current children cumulated CPU time (s) 1796.13
Current children cumulated vsize (KiB) 1760680
[startup+1797.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 2687
/proc/meminfo: memFree=23317764/32873648 swapFree=6860/6860
[pid=2600] ppid=2598 vsize=1761024 CPUtime=1796.93 cores=1,3,5,7
/proc/2600/stat : 2600 (bsolo) R 2598 2600 2050 0 -1 4202496 449483 0 0 0 179485 208 0 0 20 0 1 0 344322863 1803288576 438318 33554432000 134512640 137136520 4292195744 4292194640 134544604 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/2600/statm: 440256 438318 198 641 0 439612 0
Current children cumulated CPU time (s) 1796.93
Current children cumulated vsize (KiB) 1761024
[startup+1798.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 2687
/proc/meminfo: memFree=23317764/32873648 swapFree=6860/6860
[pid=2600] ppid=2598 vsize=1761628 CPUtime=1797.73 cores=1,3,5,7
/proc/2600/stat : 2600 (bsolo) R 2598 2600 2050 0 -1 4202496 449637 0 0 0 179565 208 0 0 20 0 1 0 344322863 1803907072 438465 33554432000 134512640 137136520 4292195744 4292194672 134544245 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/2600/statm: 440407 438465 198 641 0 439763 0
Current children cumulated CPU time (s) 1797.73
Current children cumulated vsize (KiB) 1761628
[startup+1798.7 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 2687
/proc/meminfo: memFree=23316772/32873648 swapFree=6860/6860
[pid=2600] ppid=2598 vsize=0 CPUtime=1798.13 cores=1,3,5,7
/proc/2600/stat : 2600 (bsolo) R 2598 2600 2050 0 -1 4202500 449672 0 0 0 179600 213 0 0 20 0 1 0 344322863 0 0 33554432000 0 0 0 0 0 0 0 4096 16384 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/2600/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1798.13
Current children cumulated vsize (KiB) 0
Child status: 0
Real time (s): 1798.71
CPU time (s): 1798.15
CPU user time (s): 1796.01
CPU system time (s): 2.14167
CPU usage (%): 99.9691
Max. virtual memory (cumulated for all children) (KiB): 1761748
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.01
system time used= 2.14167
maximum resident set size= 1753996
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 449672
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= 439
involuntary context switches= 1929
runsolver used 4.95825 second user time and 16.1485 second system time
The end