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-3742505-1338786280/watcher-3742505-1338786280 -o /tmp/evaluation-result-3742505-1338786280/solver-3742505-1338786280 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 -m15500 HOME/instance-3742505-1338786280.opb
running on 4 cores: 0,2,4,6
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.04 2.01 2.00 3/178 28503
/proc/meminfo: memFree=28061484/32873844 swapFree=7620/7620
[pid=28503] ppid=28501 vsize=20136 CPUtime=0 cores=0,2,4,6
/proc/28503/stat : 28503 (bsolo) R 28501 28503 27119 0 -1 4202496 388 0 0 0 0 0 0 0 20 0 1 0 344752754 20619264 341 33554432000 134512640 137136520 4292281104 4292279368 136504651 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/28503/statm: 5034 341 184 641 0 4112 0
[startup+0.056859 s]
/proc/loadavg: 2.04 2.01 2.00 3/178 28503
/proc/meminfo: memFree=28061484/32873844 swapFree=7620/7620
[pid=28503] ppid=28501 vsize=14640 CPUtime=0.05 cores=0,2,4,6
/proc/28503/stat : 28503 (bsolo) R 28501 28503 27119 0 -1 4202496 1117 0 0 0 5 0 0 0 20 0 1 0 344752754 14991360 1070 33554432000 134512640 137136520 4292281104 4292279632 134517514 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/28503/statm: 3660 1071 336 641 0 2738 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 14640
[startup+0.100218 s]
/proc/loadavg: 2.04 2.01 2.00 3/178 28503
/proc/meminfo: memFree=28061484/32873844 swapFree=7620/7620
[pid=28503] ppid=28501 vsize=16632 CPUtime=0.09 cores=0,2,4,6
/proc/28503/stat : 28503 (bsolo) R 28501 28503 27119 0 -1 4202496 2013 0 0 0 9 0 0 0 20 0 1 0 344752754 17031168 1688 33554432000 134512640 137136520 4292281104 4292279784 136504651 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/28503/statm: 4158 1690 186 641 0 3514 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 16632
[startup+0.300186 s]
/proc/loadavg: 2.04 2.01 2.00 3/178 28503
/proc/meminfo: memFree=28061484/32873844 swapFree=7620/7620
[pid=28503] ppid=28501 vsize=17160 CPUtime=0.29 cores=0,2,4,6
/proc/28503/stat : 28503 (bsolo) R 28501 28503 27119 0 -1 4202496 2120 0 0 0 29 0 0 0 20 0 1 0 344752754 17571840 1795 33554432000 134512640 137136520 4292281104 4292079920 134563476 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/28503/statm: 4290 1795 189 641 0 3646 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 17160
[startup+0.70018 s]
/proc/loadavg: 2.04 2.01 2.00 3/178 28503
/proc/meminfo: memFree=28061484/32873844 swapFree=7620/7620
[pid=28503] ppid=28501 vsize=17160 CPUtime=0.69 cores=0,2,4,6
/proc/28503/stat : 28503 (bsolo) R 28501 28503 27119 0 -1 4202496 2121 0 0 0 69 0 0 0 20 0 1 0 344752754 17571840 1796 33554432000 134512640 137136520 4292281104 4292079884 136568305 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/28503/statm: 4290 1796 189 641 0 3646 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 17160
[startup+1.50018 s]
/proc/loadavg: 2.04 2.01 2.00 3/179 28504
/proc/meminfo: memFree=28055672/32873844 swapFree=7620/7620
[pid=28503] ppid=28501 vsize=17160 CPUtime=1.49 cores=0,2,4,6
/proc/28503/stat : 28503 (bsolo) R 28501 28503 27119 0 -1 4202496 2121 0 0 0 149 0 0 0 20 0 1 0 344752754 17571840 1796 33554432000 134512640 137136520 4292281104 4292079480 136502340 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/28503/statm: 4290 1796 189 641 0 3646 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 17160
[startup+3.10016 s]
/proc/loadavg: 2.04 2.01 2.00 3/179 28504
/proc/meminfo: memFree=28054804/32873844 swapFree=7620/7620
[pid=28503] ppid=28501 vsize=17160 CPUtime=3.09 cores=0,2,4,6
/proc/28503/stat : 28503 (bsolo) R 28501 28503 27119 0 -1 4202496 2122 0 0 0 309 0 0 0 20 0 1 0 344752754 17571840 1797 33554432000 134512640 137136520 4292281104 4292079916 135982512 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/28503/statm: 4290 1797 189 641 0 3646 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 17160
[startup+6.30018 s]
/proc/loadavg: 2.04 2.01 2.00 3/179 28504
/proc/meminfo: memFree=28054068/32873844 swapFree=7620/7620
[pid=28503] ppid=28501 vsize=17160 CPUtime=6.28 cores=0,2,4,6
/proc/28503/stat : 28503 (bsolo) R 28501 28503 27119 0 -1 4202496 2124 0 0 0 628 0 0 0 20 0 1 0 344752754 17571840 1799 33554432000 134512640 137136520 4292281104 4292079696 134544743 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/28503/statm: 4290 1799 189 641 0 3646 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 17160
[startup+12.7002 s]
/proc/loadavg: 2.03 2.01 2.00 3/179 28504
/proc/meminfo: memFree=28045660/32873844 swapFree=7620/7620
[pid=28503] ppid=28501 vsize=23332 CPUtime=12.68 cores=0,2,4,6
/proc/28503/stat : 28503 (bsolo) R 28501 28503 27119 0 -1 4202496 3857 0 0 0 1248 20 0 0 20 0 1 0 344752754 23891968 3367 33554432000 134512640 137136520 4292281104 4292279744 134606774 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/28503/statm: 5833 3367 198 641 0 5189 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 23332
[startup+25.5002 s]
/proc/loadavg: 2.02 2.01 2.00 3/179 28504
/proc/meminfo: memFree=28014164/32873844 swapFree=7620/7620
[pid=28503] ppid=28501 vsize=52040 CPUtime=25.48 cores=0,2,4,6
/proc/28503/stat : 28503 (bsolo) R 28501 28503 27119 0 -1 4202496 11038 0 0 0 2509 39 0 0 20 0 1 0 344752754 53288960 10548 33554432000 134512640 137136520 4292281104 4292255480 136502385 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/28503/statm: 13010 10548 198 641 0 12366 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 52040
[startup+51.1002 s]
/proc/loadavg: 2.02 2.01 2.00 3/179 28504
/proc/meminfo: memFree=27970096/32873844 swapFree=7620/7620
[pid=28503] ppid=28501 vsize=89508 CPUtime=51.08 cores=0,2,4,6
/proc/28503/stat : 28503 (bsolo) R 28501 28503 27119 0 -1 4202496 20397 0 0 0 5035 73 0 0 20 0 1 0 344752754 91656192 19907 33554432000 134512640 137136520 4292281104 4292280032 134543819 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/28503/statm: 22377 19907 198 641 0 21733 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 89508
[startup+102.306 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 28504
/proc/meminfo: memFree=27884332/32873844 swapFree=7620/7620
[pid=28503] ppid=28501 vsize=150456 CPUtime=102.28 cores=0,2,4,6
/proc/28503/stat : 28503 (bsolo) R 28501 28503 27119 0 -1 4202496 35647 0 0 0 10126 102 0 0 20 0 1 0 344752754 154066944 35157 33554432000 134512640 137136520 4292281104 4292279872 134576337 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/28503/statm: 37614 35157 198 641 0 36970 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 150456
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 28504
/proc/meminfo: memFree=27790932/32873844 swapFree=7620/7620
[pid=28503] ppid=28501 vsize=218848 CPUtime=162.23 cores=0,2,4,6
/proc/28503/stat : 28503 (bsolo) R 28501 28503 27119 0 -1 4202496 52770 0 0 0 16093 130 0 0 20 0 1 0 344752754 224100352 52254 33554432000 134512640 137136520 4292281104 4292280032 134543954 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/28503/statm: 54712 52254 198 641 0 54068 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 218848
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 28504
/proc/meminfo: memFree=27703912/32873844 swapFree=7620/7620
[pid=28503] ppid=28501 vsize=277464 CPUtime=222.18 cores=0,2,4,6
/proc/28503/stat : 28503 (bsolo) R 28501 28503 27119 0 -1 4202496 67469 0 0 0 22067 151 0 0 20 0 1 0 344752754 284123136 66907 33554432000 134512640 137136520 4292281104 4292280032 134543819 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/28503/statm: 69366 66907 198 641 0 68722 0
Current children cumulated CPU time (s) 222.18
Current children cumulated vsize (KiB) 277464
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 28504
/proc/meminfo: memFree=27578452/32873844 swapFree=7620/7620
[pid=28503] ppid=28501 vsize=368764 CPUtime=282.12 cores=0,2,4,6
/proc/28503/stat : 28503 (bsolo) R 28501 28503 27119 0 -1 4202496 90327 0 0 0 28049 163 0 0 20 0 1 0 344752754 377614336 89724 33554432000 134512640 137136520 4292281104 4292280032 134543942 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/28503/statm: 92191 89724 198 641 0 91547 0
Current children cumulated CPU time (s) 282.12
Current children cumulated vsize (KiB) 368764
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 28508
/proc/meminfo: memFree=27503452/32873844 swapFree=7620/7620
[pid=28503] ppid=28501 vsize=421432 CPUtime=342.08 cores=0,2,4,6
/proc/28503/stat : 28503 (bsolo) R 28501 28503 27119 0 -1 4202496 103551 0 0 0 34027 181 0 0 20 0 1 0 344752754 431546368 102902 33554432000 134512640 137136520 4292281104 4292280032 134543927 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/28503/statm: 105358 102902 198 641 0 104714 0
Current children cumulated CPU time (s) 342.08
Current children cumulated vsize (KiB) 421432
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 28508
/proc/meminfo: memFree=27393624/32873844 swapFree=7620/7620
[pid=28503] ppid=28501 vsize=494100 CPUtime=402.04 cores=0,2,4,6
/proc/28503/stat : 28503 (bsolo) R 28501 28503 27119 0 -1 4202496 121761 0 0 0 40011 193 0 0 20 0 1 0 344752754 505958400 121064 33554432000 134512640 137136520 4292281104 4292279744 134606742 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/28503/statm: 123525 121064 198 641 0 122881 0
Current children cumulated CPU time (s) 402.04
Current children cumulated vsize (KiB) 494100
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 28508
/proc/meminfo: memFree=27239024/32873844 swapFree=7620/7620
[pid=28503] ppid=28501 vsize=618424 CPUtime=461.98 cores=0,2,4,6
/proc/28503/stat : 28503 (bsolo) R 28501 28503 27119 0 -1 4202496 152892 0 0 0 45997 201 0 0 20 0 1 0 344752754 633266176 152150 33554432000 134512640 137136520 4292281104 4292280220 136568305 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/28503/statm: 154606 152150 198 641 0 153962 0
Current children cumulated CPU time (s) 461.98
Current children cumulated vsize (KiB) 618424
[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 28508
/proc/meminfo: memFree=27098932/32873844 swapFree=7620/7620
[pid=28503] ppid=28501 vsize=737404 CPUtime=521.94 cores=0,2,4,6
/proc/28503/stat : 28503 (bsolo) R 28501 28503 27119 0 -1 4202496 182755 0 0 0 51986 208 0 0 20 0 1 0 344752754 755101696 181896 33554432000 134512640 137136520 4292281104 4292279872 134573092 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/28503/statm: 184351 181896 198 641 0 183707 0
Current children cumulated CPU time (s) 521.94
Current children cumulated vsize (KiB) 737404
[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 28508
/proc/meminfo: memFree=26968016/32873844 swapFree=7620/7620
[pid=28503] ppid=28501 vsize=831016 CPUtime=581.88 cores=0,2,4,6
/proc/28503/stat : 28503 (bsolo) R 28501 28503 27119 0 -1 4202496 206198 0 0 0 57975 213 0 0 20 0 1 0 344752754 850960384 205302 33554432000 134512640 137136520 4292281104 4292280000 134544366 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/28503/statm: 207754 205302 198 641 0 207110 0
Current children cumulated CPU time (s) 581.88
Current children cumulated vsize (KiB) 831016
[startup+642.3 s]
################
# More data... #
################
/proc/meminfo: memFree=27041040/32873844 swapFree=7620/7620
[pid=28503] ppid=28501 vsize=1322184 CPUtime=1121.71 cores=0,2,4,6
/proc/28503/stat : 28503 (bsolo) R 28501 28503 27119 0 -1 4202496 329086 0 0 0 111886 285 0 0 20 0 1 0 344752754 1353916416 328083 33554432000 134512640 137136520 4292281104 4292280032 134543983 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/28503/statm: 330546 328083 198 641 0 329902 0
Current children cumulated CPU time (s) 1121.71
Current children cumulated vsize (KiB) 1322184
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 28561
/proc/meminfo: memFree=26938120/32873844 swapFree=7620/7620
[pid=28503] ppid=28501 vsize=1380580 CPUtime=1181.7 cores=0,2,4,6
/proc/28503/stat : 28503 (bsolo) R 28501 28503 27119 0 -1 4202496 343684 0 0 0 117877 293 0 0 20 0 1 0 344752754 1413713920 342681 33554432000 134512640 137136520 4292281104 4292280032 134544256 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/28503/statm: 345145 342681 198 641 0 344501 0
Current children cumulated CPU time (s) 1181.7
Current children cumulated vsize (KiB) 1380580
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 28562
/proc/meminfo: memFree=26856404/32873844 swapFree=7620/7620
[pid=28503] ppid=28501 vsize=1422940 CPUtime=1241.69 cores=0,2,4,6
/proc/28503/stat : 28503 (bsolo) R 28501 28503 27119 0 -1 4202496 354293 0 0 0 123872 297 0 0 20 0 1 0 344752754 1457090560 353290 33554432000 134512640 137136520 4292281104 4292280032 134544148 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/28503/statm: 355735 353290 198 641 0 355091 0
Current children cumulated CPU time (s) 1241.69
Current children cumulated vsize (KiB) 1422940
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 28562
/proc/meminfo: memFree=26762164/32873844 swapFree=7620/7620
[pid=28503] ppid=28501 vsize=1468556 CPUtime=1301.69 cores=0,2,4,6
/proc/28503/stat : 28503 (bsolo) R 28501 28503 27119 0 -1 4202496 365683 0 0 0 129867 302 0 0 20 0 1 0 344752754 1503801344 364680 33554432000 134512640 137136520 4292281104 4292280032 134544396 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/28503/statm: 367139 364680 198 641 0 366495 0
Current children cumulated CPU time (s) 1301.69
Current children cumulated vsize (KiB) 1468556
[startup+1362.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/179 28562
/proc/meminfo: memFree=26638908/32873844 swapFree=7620/7620
[pid=28503] ppid=28501 vsize=1502340 CPUtime=1361.67 cores=0,2,4,6
/proc/28503/stat : 28503 (bsolo) R 28501 28503 27119 0 -1 4202496 374125 0 0 0 135859 308 0 0 20 0 1 0 344752754 1538396160 373122 33554432000 134512640 137136520 4292281104 4292279872 134573092 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/28503/statm: 375585 373122 198 641 0 374941 0
Current children cumulated CPU time (s) 1361.67
Current children cumulated vsize (KiB) 1502340
[startup+1422.31 s]
/proc/loadavg: 2.01 2.01 2.00 3/179 28562
/proc/meminfo: memFree=26477956/32873844 swapFree=7620/7620
[pid=28503] ppid=28501 vsize=1566248 CPUtime=1421.68 cores=0,2,4,6
/proc/28503/stat : 28503 (bsolo) R 28501 28503 27119 0 -1 4202496 390117 0 0 0 141854 314 0 0 20 0 1 0 344752754 1603837952 389114 33554432000 134512640 137136520 4292281104 4292279744 134606780 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/28503/statm: 391562 389114 198 641 0 390918 0
Current children cumulated CPU time (s) 1421.68
Current children cumulated vsize (KiB) 1566248
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 28562
/proc/meminfo: memFree=26295924/32873844 swapFree=7620/7620
[pid=28503] ppid=28501 vsize=1628428 CPUtime=1481.66 cores=0,2,4,6
/proc/28503/stat : 28503 (bsolo) R 28501 28503 27119 0 -1 4202496 405673 0 0 0 147847 319 0 0 20 0 1 0 344752754 1667510272 404670 33554432000 134512640 137136520 4292281104 4292280032 134544112 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/28503/statm: 407107 404670 198 641 0 406463 0
Current children cumulated CPU time (s) 1481.66
Current children cumulated vsize (KiB) 1628428
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 28566
/proc/meminfo: memFree=26139056/32873844 swapFree=7620/7620
[pid=28503] ppid=28501 vsize=1685096 CPUtime=1541.65 cores=0,2,4,6
/proc/28503/stat : 28503 (bsolo) R 28501 28503 27119 0 -1 4202496 419820 0 0 0 153841 324 0 0 20 0 1 0 344752754 1725538304 418817 33554432000 134512640 137136520 4292281104 4292279632 134600223 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/28503/statm: 421274 418817 198 641 0 420630 0
Current children cumulated CPU time (s) 1541.65
Current children cumulated vsize (KiB) 1685096
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 28566
/proc/meminfo: memFree=25997332/32873844 swapFree=7620/7620
[pid=28503] ppid=28501 vsize=1736940 CPUtime=1601.64 cores=0,2,4,6
/proc/28503/stat : 28503 (bsolo) R 28501 28503 27119 0 -1 4202496 432775 0 0 0 159836 328 0 0 20 0 1 0 344752754 1778626560 431772 33554432000 134512640 137136520 4292281104 4292280032 134543865 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/28503/statm: 434235 431772 198 641 0 433591 0
Current children cumulated CPU time (s) 1601.64
Current children cumulated vsize (KiB) 1736940
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 28566
/proc/meminfo: memFree=25917380/32873844 swapFree=7620/7620
[pid=28503] ppid=28501 vsize=1780052 CPUtime=1661.63 cores=0,2,4,6
/proc/28503/stat : 28503 (bsolo) R 28501 28503 27119 0 -1 4202496 443567 0 0 0 165830 333 0 0 20 0 1 0 344752754 1822773248 442555 33554432000 134512640 137136520 4292281104 4292279696 134616686 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/28503/statm: 445013 442555 198 641 0 444369 0
Current children cumulated CPU time (s) 1661.63
Current children cumulated vsize (KiB) 1780052
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 28566
/proc/meminfo: memFree=25829988/32873844 swapFree=7620/7620
[pid=28503] ppid=28501 vsize=1816908 CPUtime=1721.59 cores=0,2,4,6
/proc/28503/stat : 28503 (bsolo) R 28501 28503 27119 0 -1 4202496 452818 0 0 0 171823 336 0 0 20 0 1 0 344752754 1860513792 451771 33554432000 134512640 137136520 4292281104 4292279816 136502195 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/28503/statm: 454227 451771 198 641 0 453583 0
Current children cumulated CPU time (s) 1721.59
Current children cumulated vsize (KiB) 1816908
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 28566
/proc/meminfo: memFree=25738132/32873844 swapFree=7620/7620
[pid=28503] ppid=28501 vsize=1852680 CPUtime=1781.55 cores=0,2,4,6
/proc/28503/stat : 28503 (bsolo) R 28501 28503 27119 0 -1 4202496 461787 0 0 0 177816 339 0 0 20 0 1 0 344752754 1897144320 460707 33554432000 134512640 137136520 4292281104 4292280032 134544148 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/28503/statm: 463170 460707 198 641 0 462526 0
Current children cumulated CPU time (s) 1781.55
Current children cumulated vsize (KiB) 1852680
Solver just ended. Dumping a history of the last processes samples
[startup+1791.91 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 28566
/proc/meminfo: memFree=25728692/32873844 swapFree=7620/7620
[pid=28503] ppid=28501 vsize=1857640 CPUtime=1791.16 cores=0,2,4,6
/proc/28503/stat : 28503 (bsolo) R 28501 28503 27119 0 -1 4202496 463043 0 0 0 178775 341 0 0 20 0 1 0 344752754 1902223360 461959 33554432000 134512640 137136520 4292281104 4292280032 134543819 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/28503/statm: 464410 461959 198 641 0 463766 0
Current children cumulated CPU time (s) 1791.16
Current children cumulated vsize (KiB) 1857640
[startup+1795.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 28566
/proc/meminfo: memFree=25726460/32873844 swapFree=7620/7620
[pid=28503] ppid=28501 vsize=1859140 CPUtime=1794.35 cores=0,2,4,6
/proc/28503/stat : 28503 (bsolo) R 28501 28503 27119 0 -1 4202496 463437 0 0 0 179094 341 0 0 20 0 1 0 344752754 1903759360 462353 33554432000 134512640 137136520 4292281104 4292280032 134543819 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/28503/statm: 464785 462353 198 641 0 464141 0
Current children cumulated CPU time (s) 1794.35
Current children cumulated vsize (KiB) 1859140
[startup+1796.7 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 28566
/proc/meminfo: memFree=25725344/32873844 swapFree=7620/7620
[pid=28503] ppid=28501 vsize=1859748 CPUtime=1795.95 cores=0,2,4,6
/proc/28503/stat : 28503 (bsolo) R 28501 28503 27119 0 -1 4202496 463558 0 0 0 179254 341 0 0 20 0 1 0 344752754 1904381952 462474 33554432000 134512640 137136520 4292281104 4292280032 134543948 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/28503/statm: 464937 462474 198 641 0 464293 0
Current children cumulated CPU time (s) 1795.95
Current children cumulated vsize (KiB) 1859748
[startup+1797.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 28566
/proc/meminfo: memFree=25724724/32873844 swapFree=7620/7620
[pid=28503] ppid=28501 vsize=1860088 CPUtime=1796.75 cores=0,2,4,6
/proc/28503/stat : 28503 (bsolo) R 28501 28503 27119 0 -1 4202496 463674 0 0 0 179334 341 0 0 20 0 1 0 344752754 1904730112 462590 33554432000 134512640 137136520 4292281104 4292280024 135982528 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/28503/statm: 465022 462590 198 641 0 464378 0
Current children cumulated CPU time (s) 1796.75
Current children cumulated vsize (KiB) 1860088
[startup+1798.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 28566
/proc/meminfo: memFree=25724724/32873844 swapFree=7620/7620
[pid=28503] ppid=28501 vsize=1860416 CPUtime=1797.54 cores=0,2,4,6
/proc/28503/stat : 28503 (bsolo) R 28501 28503 27119 0 -1 4202496 463753 0 0 0 179413 341 0 0 20 0 1 0 344752754 1905065984 462664 33554432000 134512640 137136520 4292281104 4292280032 134543927 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/28503/statm: 465104 462664 198 641 0 464460 0
Current children cumulated CPU time (s) 1797.54
Current children cumulated vsize (KiB) 1860416
[startup+1798.7 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 28566
/proc/meminfo: memFree=25723716/32873844 swapFree=7620/7620
[pid=28503] ppid=28501 vsize=1860688 CPUtime=1797.94 cores=0,2,4,6
/proc/28503/stat : 28503 (bsolo) R 28501 28503 27119 0 -1 4202496 463804 0 0 0 179453 341 0 0 20 0 1 0 344752754 1905344512 462715 33554432000 134512640 137136520 4292281104 4292280032 134543831 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/28503/statm: 465172 462715 198 641 0 464528 0
Current children cumulated CPU time (s) 1797.94
Current children cumulated vsize (KiB) 1860688
[startup+1798.8 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 28566
/proc/meminfo: memFree=25723716/32873844 swapFree=7620/7620
[pid=28503] ppid=28501 vsize=1860688 CPUtime=1798.04 cores=0,2,4,6
/proc/28503/stat : 28503 (bsolo) R 28501 28503 27119 0 -1 4202496 463810 0 0 0 179463 341 0 0 20 0 1 0 344752754 1905344512 462721 33554432000 134512640 137136520 4292281104 4292280032 134543957 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/28503/statm: 465172 462721 198 641 0 464528 0
Current children cumulated CPU time (s) 1798.04
Current children cumulated vsize (KiB) 1860688
Child status: 0
Real time (s): 1798.9
CPU time (s): 1798.15
CPU user time (s): 1794.69
CPU system time (s): 3.45947
CPU usage (%): 99.9585
Max. virtual memory (cumulated for all children) (KiB): 1860688
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.69
system time used= 3.45947
maximum resident set size= 1850920
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 463820
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= 541
involuntary context switches= 1901
runsolver used 4.10038 second user time and 10.3724 second system time
The end