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-3738372-1338740728/watcher-3738372-1338740728 -o /tmp/evaluation-result-3738372-1338740728/solver-3738372-1338740728 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 -m15500 HOME/instance-3738372-1338740728.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.01 2.00 3/177 17671
/proc/meminfo: memFree=29043080/32873844 swapFree=7620/7620
[pid=17671] ppid=17669 vsize=11276 CPUtime=0 cores=1,3,5,7
/proc/17671/stat : 17671 (bsolo) R 17669 17671 13121 0 -1 4202496 368 0 0 0 0 0 0 0 20 0 1 0 340197554 11546624 322 33554432000 134512640 137136520 4291789120 4291787648 134517592 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/17671/statm: 2819 322 187 641 0 2124 0
[startup+0.0638929 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 17671
/proc/meminfo: memFree=29043080/32873844 swapFree=7620/7620
[pid=17671] ppid=17669 vsize=11992 CPUtime=0.05 cores=1,3,5,7
/proc/17671/stat : 17671 (bsolo) R 17669 17671 13121 0 -1 4202496 652 0 0 0 5 0 0 0 20 0 1 0 340197554 12279808 555 33554432000 134512640 137136520 4291789120 4291762236 136568305 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/17671/statm: 2998 555 189 641 0 2354 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 11992
[startup+0.100275 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 17671
/proc/meminfo: memFree=29043080/32873844 swapFree=7620/7620
[pid=17671] ppid=17669 vsize=11992 CPUtime=0.09 cores=1,3,5,7
/proc/17671/stat : 17671 (bsolo) R 17669 17671 13121 0 -1 4202496 652 0 0 0 9 0 0 0 20 0 1 0 340197554 12279808 555 33554432000 134512640 137136520 4291789120 4291762236 136568305 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/17671/statm: 2998 555 189 641 0 2354 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 11992
[startup+0.300203 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 17671
/proc/meminfo: memFree=29043080/32873844 swapFree=7620/7620
[pid=17671] ppid=17669 vsize=12056 CPUtime=0.29 cores=1,3,5,7
/proc/17671/stat : 17671 (bsolo) R 17669 17671 13121 0 -1 4202496 671 0 0 0 29 0 0 0 20 0 1 0 340197554 12345344 574 33554432000 134512640 137136520 4291789120 4291762028 136568305 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/17671/statm: 3014 574 191 641 0 2370 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 12056
[startup+0.700233 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 17671
/proc/meminfo: memFree=29043080/32873844 swapFree=7620/7620
[pid=17671] ppid=17669 vsize=12348 CPUtime=0.69 cores=1,3,5,7
/proc/17671/stat : 17671 (bsolo) R 17669 17671 13121 0 -1 4202496 750 0 0 0 68 1 0 0 20 0 1 0 340197554 12644352 653 33554432000 134512640 137136520 4291789120 4291788236 136568305 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/17671/statm: 3087 653 197 641 0 2443 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 12348
[startup+1.50021 s]
/proc/loadavg: 2.01 2.01 2.00 3/179 17673
/proc/meminfo: memFree=29040080/32873844 swapFree=7620/7620
[pid=17671] ppid=17669 vsize=15056 CPUtime=1.49 cores=1,3,5,7
/proc/17671/stat : 17671 (bsolo) R 17669 17671 13121 0 -1 4202496 1440 0 0 0 148 1 0 0 20 0 1 0 340197554 15417344 1343 33554432000 134512640 137136520 4291789120 4291788236 136568305 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/17671/statm: 3764 1343 198 641 0 3120 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 15056
[startup+3.10023 s]
/proc/loadavg: 2.01 2.01 2.00 3/179 17673
/proc/meminfo: memFree=29034120/32873844 swapFree=7620/7620
[pid=17671] ppid=17669 vsize=23088 CPUtime=3.09 cores=1,3,5,7
/proc/17671/stat : 17671 (bsolo) R 17669 17671 13121 0 -1 4202496 3441 0 0 0 307 2 0 0 20 0 1 0 340197554 23642112 3344 33554432000 134512640 137136520 4291789120 4291788236 136568305 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/17671/statm: 5772 3344 198 641 0 5128 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 23088
[startup+6.30024 s]
/proc/loadavg: 2.01 2.01 2.00 3/179 17673
/proc/meminfo: memFree=29020472/32873844 swapFree=7620/7620
[pid=17671] ppid=17669 vsize=34756 CPUtime=6.29 cores=1,3,5,7
/proc/17671/stat : 17671 (bsolo) R 17669 17671 13121 0 -1 4202496 6350 0 0 0 626 3 0 0 20 0 1 0 340197554 35590144 6253 33554432000 134512640 137136520 4291789120 4291788236 136568305 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/17671/statm: 8689 6253 198 641 0 8045 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 34756
[startup+12.7003 s]
/proc/loadavg: 2.01 2.01 2.00 3/176 17680
/proc/meminfo: memFree=29092172/32873844 swapFree=7620/7620
[pid=17671] ppid=17669 vsize=49736 CPUtime=12.69 cores=1,3,5,7
/proc/17671/stat : 17671 (bsolo) R 17669 17671 13121 0 -1 4202496 10089 0 0 0 1263 6 0 0 20 0 1 0 340197554 50929664 9992 33554432000 134512640 137136520 4291789120 4291788236 136568305 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/17671/statm: 12434 9992 198 641 0 11790 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 49736
[startup+25.5003 s]
/proc/loadavg: 2.01 2.00 2.00 3/179 17721
/proc/meminfo: memFree=29046672/32873844 swapFree=7620/7620
[pid=17671] ppid=17669 vsize=71856 CPUtime=25.48 cores=1,3,5,7
/proc/17671/stat : 17671 (bsolo) R 17669 17671 13121 0 -1 4202496 15630 0 0 0 2539 9 0 0 20 0 1 0 340197554 73580544 15525 33554432000 134512640 137136520 4291789120 4291788048 134543831 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/17671/statm: 17964 15525 198 641 0 17320 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 71856
[startup+51.1003 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 17721
/proc/meminfo: memFree=28918408/32873844 swapFree=7620/7620
[pid=17671] ppid=17669 vsize=129996 CPUtime=51.05 cores=1,3,5,7
/proc/17671/stat : 17671 (bsolo) R 17669 17671 13121 0 -1 4202496 30202 0 0 0 5088 17 0 0 20 0 1 0 340197554 133115904 30073 33554432000 134512640 137136520 4291789120 4291788048 134544135 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/17671/statm: 32499 30073 198 641 0 31855 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 129996
[startup+102.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 17722
/proc/meminfo: memFree=28699716/32873844 swapFree=7620/7620
[pid=17671] ppid=17669 vsize=233628 CPUtime=102.22 cores=1,3,5,7
/proc/17671/stat : 17671 (bsolo) R 17669 17671 13121 0 -1 4202496 56160 0 0 0 10191 31 0 0 20 0 1 0 340197554 239235072 55991 33554432000 134512640 137136520 4291789120 4291788236 136568305 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/17671/statm: 58407 55991 198 641 0 57763 0
Current children cumulated CPU time (s) 102.22
Current children cumulated vsize (KiB) 233628
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 17722
/proc/meminfo: memFree=28467244/32873844 swapFree=7620/7620
[pid=17671] ppid=17669 vsize=307868 CPUtime=162.16 cores=1,3,5,7
/proc/17671/stat : 17671 (bsolo) R 17669 17671 13121 0 -1 4202496 74760 0 0 0 16173 43 0 0 20 0 1 0 340197554 315256832 74543 33554432000 134512640 137136520 4291789120 4291788040 135982528 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/17671/statm: 76967 74543 198 641 0 76323 0
Current children cumulated CPU time (s) 162.16
Current children cumulated vsize (KiB) 307868
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 17722
/proc/meminfo: memFree=28265648/32873844 swapFree=7620/7620
[pid=17671] ppid=17669 vsize=384908 CPUtime=222.12 cores=1,3,5,7
/proc/17671/stat : 17671 (bsolo) R 17669 17671 13121 0 -1 4202496 94055 0 0 0 22153 59 0 0 20 0 1 0 340197554 394145792 93790 33554432000 134512640 137136520 4291789120 4291788048 134543865 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/17671/statm: 96227 93790 198 641 0 95583 0
Current children cumulated CPU time (s) 222.12
Current children cumulated vsize (KiB) 384908
[startup+282.3 s]
/proc/loadavg: 2.06 2.01 2.00 3/180 17725
/proc/meminfo: memFree=28106040/32873844 swapFree=7620/7620
[pid=17671] ppid=17669 vsize=444296 CPUtime=282.06 cores=1,3,5,7
/proc/17671/stat : 17671 (bsolo) R 17669 17671 13121 0 -1 4202496 108950 0 0 0 28138 68 0 0 20 0 1 0 340197554 454959104 108648 33554432000 134512640 137136520 4291789120 4291787648 134600615 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/17671/statm: 111074 108648 198 641 0 110430 0
Current children cumulated CPU time (s) 282.06
Current children cumulated vsize (KiB) 444296
[startup+342.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/179 17725
/proc/meminfo: memFree=27972900/32873844 swapFree=7620/7620
[pid=17671] ppid=17669 vsize=508140 CPUtime=342.06 cores=1,3,5,7
/proc/17671/stat : 17671 (bsolo) R 17669 17671 13121 0 -1 4202496 124920 0 0 0 34127 79 0 0 20 0 1 0 340197554 520335360 124618 33554432000 134512640 137136520 4291789120 4291788048 134543948 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/17671/statm: 127035 124618 198 641 0 126391 0
Current children cumulated CPU time (s) 342.06
Current children cumulated vsize (KiB) 508140
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 17725
/proc/meminfo: memFree=27876712/32873844 swapFree=7620/7620
[pid=17671] ppid=17669 vsize=574156 CPUtime=402.05 cores=1,3,5,7
/proc/17671/stat : 17671 (bsolo) R 17669 17671 13121 0 -1 4202496 141420 0 0 0 40117 88 0 0 20 0 1 0 340197554 587935744 141118 33554432000 134512640 137136520 4291789120 4291788048 134543831 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/17671/statm: 143539 141118 198 641 0 142895 0
Current children cumulated CPU time (s) 402.05
Current children cumulated vsize (KiB) 574156
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 17726
/proc/meminfo: memFree=27692468/32873844 swapFree=7620/7620
[pid=17671] ppid=17669 vsize=624748 CPUtime=462.05 cores=1,3,5,7
/proc/17671/stat : 17671 (bsolo) R 17669 17671 13121 0 -1 4202496 154072 0 0 0 46109 96 0 0 20 0 1 0 340197554 639741952 153770 33554432000 134512640 137136520 4291789120 4291787760 134606728 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/17671/statm: 156187 153771 198 641 0 155543 0
Current children cumulated CPU time (s) 462.05
Current children cumulated vsize (KiB) 624748
[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 17726
/proc/meminfo: memFree=27534644/32873844 swapFree=7620/7620
[pid=17671] ppid=17669 vsize=667896 CPUtime=522.03 cores=1,3,5,7
/proc/17671/stat : 17671 (bsolo) R 17669 17671 13121 0 -1 4202496 164843 0 0 0 52099 104 0 0 20 0 1 0 340197554 683925504 164541 33554432000 134512640 137136520 4291789120 4291788048 134543831 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/17671/statm: 166974 164541 198 641 0 166330 0
Current children cumulated CPU time (s) 522.03
Current children cumulated vsize (KiB) 667896
[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 17726
/proc/meminfo: memFree=27422452/32873844 swapFree=7620/7620
[pid=17671] ppid=17669 vsize=692468 CPUtime=582.03 cores=1,3,5,7
/proc/17671/stat : 17671 (bsolo) R 17669 17671 13121 0 -1 4202496 171202 0 0 0 58092 111 0 0 20 0 1 0 340197554 709087232 170692 33554432000 134512640 137136520 4291789120 4291788048 134544122 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/17671/statm: 173117 170692 198 641 0 172473 0
Current children cumulated CPU time (s) 582.03
Current children cumulated vsize (KiB) 692468
[startup+642.3 s]
################
# More data... #
################
/proc/meminfo: memFree=26920848/32873844 swapFree=7620/7620
[pid=17671] ppid=17669 vsize=692468 CPUtime=1061.95 cores=1,3,5,7
/proc/17671/stat : 17671 (bsolo) R 17669 17671 13121 0 -1 4202496 171202 0 0 0 106059 136 0 0 20 0 1 0 340197554 709087232 170692 33554432000 134512640 137136520 4291789120 4291787972 136509061 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/17671/statm: 173117 170692 198 641 0 172473 0
Current children cumulated CPU time (s) 1061.95
Current children cumulated vsize (KiB) 692468
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 17731
/proc/meminfo: memFree=26860860/32873844 swapFree=7620/7620
[pid=17671] ppid=17669 vsize=692468 CPUtime=1121.95 cores=1,3,5,7
/proc/17671/stat : 17671 (bsolo) R 17669 17671 13121 0 -1 4202496 171202 0 0 0 112056 139 0 0 20 0 1 0 340197554 709087232 170692 33554432000 134512640 137136520 4291789120 4291788048 134544393 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/17671/statm: 173117 170692 198 641 0 172473 0
Current children cumulated CPU time (s) 1121.95
Current children cumulated vsize (KiB) 692468
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 17731
/proc/meminfo: memFree=26694852/32873844 swapFree=7620/7620
[pid=17671] ppid=17669 vsize=692468 CPUtime=1181.93 cores=1,3,5,7
/proc/17671/stat : 17671 (bsolo) R 17669 17671 13121 0 -1 4202496 171202 0 0 0 118049 144 0 0 20 0 1 0 340197554 709087232 170692 33554432000 134512640 137136520 4291789120 4291788016 134543831 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/17671/statm: 173117 170692 198 641 0 172473 0
Current children cumulated CPU time (s) 1181.93
Current children cumulated vsize (KiB) 692468
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 17731
/proc/meminfo: memFree=26596548/32873844 swapFree=7620/7620
[pid=17671] ppid=17669 vsize=692468 CPUtime=1241.92 cores=1,3,5,7
/proc/17671/stat : 17671 (bsolo) R 17669 17671 13121 0 -1 4202496 171202 0 0 0 124045 147 0 0 20 0 1 0 340197554 709087232 170692 33554432000 134512640 137136520 4291789120 4291787760 134606742 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/17671/statm: 173117 170692 198 641 0 172473 0
Current children cumulated CPU time (s) 1241.92
Current children cumulated vsize (KiB) 692468
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 17731
/proc/meminfo: memFree=26476420/32873844 swapFree=7620/7620
[pid=17671] ppid=17669 vsize=716708 CPUtime=1301.92 cores=1,3,5,7
/proc/17671/stat : 17671 (bsolo) R 17669 17671 13121 0 -1 4202496 177254 0 0 0 130040 152 0 0 20 0 1 0 340197554 733908992 176744 33554432000 134512640 137136520 4291789120 4291788048 134543831 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/17671/statm: 179177 176744 198 641 0 178533 0
Current children cumulated CPU time (s) 1301.92
Current children cumulated vsize (KiB) 716708
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 17732
/proc/meminfo: memFree=26322812/32873844 swapFree=7620/7620
[pid=17671] ppid=17669 vsize=751248 CPUtime=1361.91 cores=1,3,5,7
/proc/17671/stat : 17671 (bsolo) R 17669 17671 13121 0 -1 4202496 185897 0 0 0 136033 158 0 0 20 0 1 0 340197554 769277952 185387 33554432000 134512640 137136520 4291789120 4291788048 134544112 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/17671/statm: 187812 185387 198 641 0 187168 0
Current children cumulated CPU time (s) 1361.91
Current children cumulated vsize (KiB) 751248
[startup+1422.31 s]
/proc/loadavg: 2.08 2.02 2.01 3/179 17732
/proc/meminfo: memFree=26247820/32873844 swapFree=7620/7620
[pid=17671] ppid=17669 vsize=783452 CPUtime=1421.9 cores=1,3,5,7
/proc/17671/stat : 17671 (bsolo) R 17669 17671 13121 0 -1 4202496 193952 0 0 0 142026 164 0 0 20 0 1 0 340197554 802254848 193442 33554432000 134512640 137136520 4291789120 4291788048 134543865 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/17671/statm: 195863 193442 198 641 0 195219 0
Current children cumulated CPU time (s) 1421.9
Current children cumulated vsize (KiB) 783452
[startup+1482.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/180 17735
/proc/meminfo: memFree=26183352/32873844 swapFree=7620/7620
[pid=17671] ppid=17669 vsize=813512 CPUtime=1481.89 cores=1,3,5,7
/proc/17671/stat : 17671 (bsolo) R 17669 17671 13121 0 -1 4202496 201459 0 0 0 148019 170 0 0 20 0 1 0 340197554 833036288 200949 33554432000 134512640 137136520 4291789120 4291788048 134543865 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/17671/statm: 203378 200949 198 641 0 202734 0
Current children cumulated CPU time (s) 1481.89
Current children cumulated vsize (KiB) 813512
[startup+1542.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/179 17735
/proc/meminfo: memFree=26124248/32873844 swapFree=7620/7620
[pid=17671] ppid=17669 vsize=845576 CPUtime=1541.88 cores=1,3,5,7
/proc/17671/stat : 17671 (bsolo) R 17669 17671 13121 0 -1 4202496 209483 0 0 0 154011 177 0 0 20 0 1 0 340197554 865869824 208973 33554432000 134512640 137136520 4291789120 4291788016 134544437 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/17671/statm: 211394 208973 198 641 0 210750 0
Current children cumulated CPU time (s) 1541.88
Current children cumulated vsize (KiB) 845576
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 17735
/proc/meminfo: memFree=26075916/32873844 swapFree=7620/7620
[pid=17671] ppid=17669 vsize=871076 CPUtime=1601.86 cores=1,3,5,7
/proc/17671/stat : 17671 (bsolo) R 17669 17671 13121 0 -1 4202496 215859 0 0 0 160004 182 0 0 20 0 1 0 340197554 891981824 215349 33554432000 134512640 137136520 4291789120 4291788048 134543957 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/17671/statm: 217769 215349 198 641 0 217125 0
Current children cumulated CPU time (s) 1601.86
Current children cumulated vsize (KiB) 871076
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 17736
/proc/meminfo: memFree=26023124/32873844 swapFree=7620/7620
[pid=17671] ppid=17669 vsize=899788 CPUtime=1661.86 cores=1,3,5,7
/proc/17671/stat : 17671 (bsolo) R 17669 17671 13121 0 -1 4202496 223041 0 0 0 165998 188 0 0 20 0 1 0 340197554 921382912 222531 33554432000 134512640 137136520 4291789120 4291788048 134543865 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/17671/statm: 224947 222531 198 641 0 224303 0
Current children cumulated CPU time (s) 1661.86
Current children cumulated vsize (KiB) 899788
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 17736
/proc/meminfo: memFree=25982080/32873844 swapFree=7620/7620
[pid=17671] ppid=17669 vsize=927552 CPUtime=1721.85 cores=1,3,5,7
/proc/17671/stat : 17671 (bsolo) R 17669 17671 13121 0 -1 4202496 229969 0 0 0 171992 193 0 0 20 0 1 0 340197554 949813248 229459 33554432000 134512640 137136520 4291789120 4291788016 134543865 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/17671/statm: 231888 229459 198 641 0 231244 0
Current children cumulated CPU time (s) 1721.85
Current children cumulated vsize (KiB) 927552
[startup+1782.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/179 17736
/proc/meminfo: memFree=25940664/32873844 swapFree=7620/7620
[pid=17671] ppid=17669 vsize=953736 CPUtime=1781.84 cores=1,3,5,7
/proc/17671/stat : 17671 (bsolo) R 17669 17671 13121 0 -1 4202496 236524 0 0 0 177985 199 0 0 20 0 1 0 340197554 976625664 236014 33554432000 134512640 137136520 4291789120 4291788048 134543865 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/17671/statm: 238434 236014 198 641 0 237790 0
Current children cumulated CPU time (s) 1781.84
Current children cumulated vsize (KiB) 953736
Solver just ended. Dumping a history of the last processes samples
[startup+1791.91 s]
/proc/loadavg: 2.06 2.01 2.00 3/179 17736
/proc/meminfo: memFree=25932976/32873844 swapFree=7620/7620
[pid=17671] ppid=17669 vsize=958024 CPUtime=1791.44 cores=1,3,5,7
/proc/17671/stat : 17671 (bsolo) R 17669 17671 13121 0 -1 4202496 237577 0 0 0 178945 199 0 0 20 0 1 0 340197554 981016576 237067 33554432000 134512640 137136520 4291789120 4291788048 134543819 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/17671/statm: 239506 237067 198 641 0 238862 0
Current children cumulated CPU time (s) 1791.44
Current children cumulated vsize (KiB) 958024
[startup+1795.1 s]
/proc/loadavg: 2.05 2.01 2.00 3/179 17736
/proc/meminfo: memFree=25929256/32873844 swapFree=7620/7620
[pid=17671] ppid=17669 vsize=959292 CPUtime=1794.64 cores=1,3,5,7
/proc/17671/stat : 17671 (bsolo) R 17669 17671 13121 0 -1 4202496 237912 0 0 0 179265 199 0 0 20 0 1 0 340197554 982315008 237402 33554432000 134512640 137136520 4291789120 4291788048 134543819 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/17671/statm: 239823 237402 198 641 0 239179 0
Current children cumulated CPU time (s) 1794.64
Current children cumulated vsize (KiB) 959292
[startup+1796.7 s]
/proc/loadavg: 2.05 2.01 2.00 3/179 17736
/proc/meminfo: memFree=25927768/32873844 swapFree=7620/7620
[pid=17671] ppid=17669 vsize=960044 CPUtime=1796.24 cores=1,3,5,7
/proc/17671/stat : 17671 (bsolo) R 17669 17671 13121 0 -1 4202496 238090 0 0 0 179424 200 0 0 20 0 1 0 340197554 983085056 237580 33554432000 134512640 137136520 4291789120 4291788048 134543819 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/17671/statm: 240011 237580 198 641 0 239367 0
Current children cumulated CPU time (s) 1796.24
Current children cumulated vsize (KiB) 960044
[startup+1797.5 s]
/proc/loadavg: 2.05 2.01 2.00 3/179 17736
/proc/meminfo: memFree=25926652/32873844 swapFree=7620/7620
[pid=17671] ppid=17669 vsize=960416 CPUtime=1797.04 cores=1,3,5,7
/proc/17671/stat : 17671 (bsolo) R 17669 17671 13121 0 -1 4202496 238187 0 0 0 179504 200 0 0 20 0 1 0 340197554 983465984 237677 33554432000 134512640 137136520 4291789120 4291787820 136518911 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/17671/statm: 240104 237677 198 641 0 239460 0
Current children cumulated CPU time (s) 1797.04
Current children cumulated vsize (KiB) 960416
[startup+1798.3 s]
/proc/loadavg: 2.05 2.01 2.00 3/179 17736
/proc/meminfo: memFree=25926652/32873844 swapFree=7620/7620
[pid=17671] ppid=17669 vsize=960844 CPUtime=1797.84 cores=1,3,5,7
/proc/17671/stat : 17671 (bsolo) R 17669 17671 13121 0 -1 4202496 238282 0 0 0 179584 200 0 0 20 0 1 0 340197554 983904256 237772 33554432000 134512640 137136520 4291789120 4291788236 136568305 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/17671/statm: 240211 237772 198 641 0 239567 0
Current children cumulated CPU time (s) 1797.84
Current children cumulated vsize (KiB) 960844
[startup+1798.51 s]
/proc/loadavg: 2.05 2.01 2.00 3/179 17736
/proc/meminfo: memFree=25925660/32873844 swapFree=7620/7620
[pid=17671] ppid=17669 vsize=0 CPUtime=1798.04 cores=1,3,5,7
/proc/17671/stat : 17671 (bsolo) R 17669 17671 13121 0 -1 4202500 238304 0 0 0 179602 202 0 0 20 0 1 0 340197554 0 0 33554432000 0 0 0 0 0 0 0 4096 16384 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17671/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1798.04
Current children cumulated vsize (KiB) 0
Child status: 0
Real time (s): 1798.53
CPU time (s): 1798.07
CPU user time (s): 1796.03
CPU system time (s): 2.04669
CPU usage (%): 99.9748
Max. virtual memory (cumulated for all children) (KiB): 960844
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.03
system time used= 2.04669
maximum resident set size= 951172
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 238304
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= 206
involuntary context switches= 1845
runsolver used 6.32004 second user time and 19.431 second system time
The end