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-3707701-1338228149/watcher-3707701-1338228149 -o /tmp/evaluation-result-3707701-1338228149/solver-3707701-1338228149 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 HOME/instance-3707701-1338228149.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.00 2.00 2.00 3/176 24698
/proc/meminfo: memFree=31026052/32873844 swapFree=6080/6080
[pid=24698] ppid=24696 vsize=19256 CPUtime=0 cores=0,2,4,6
/proc/24698/stat : 24698 (bsolo) R 24696 24698 24091 0 -1 4202496 352 0 0 0 0 0 0 0 20 0 1 0 288939475 19718144 305 33554432000 134512640 137138936 4291338352 4291336632 136506715 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/24698/statm: 4814 305 176 642 0 4080 0
[startup+0.0396851 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 24698
/proc/meminfo: memFree=31026052/32873844 swapFree=6080/6080
[pid=24698] ppid=24696 vsize=12748 CPUtime=0.03 cores=0,2,4,6
/proc/24698/stat : 24698 (bsolo) R 24696 24698 24091 0 -1 4202496 888 0 0 0 3 0 0 0 20 0 1 0 288939475 13053952 751 33554432000 134512640 137138936 4291338352 4291268508 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/24698/statm: 3187 751 184 642 0 2543 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 12748
[startup+0.100258 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 24698
/proc/meminfo: memFree=31026052/32873844 swapFree=6080/6080
[pid=24698] ppid=24696 vsize=12748 CPUtime=0.09 cores=0,2,4,6
/proc/24698/stat : 24698 (bsolo) R 24696 24698 24091 0 -1 4202496 888 0 0 0 9 0 0 0 20 0 1 0 288939475 13053952 751 33554432000 134512640 137138936 4291338352 4291268508 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/24698/statm: 3187 751 184 642 0 2543 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 12748
[startup+0.300221 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 24698
/proc/meminfo: memFree=31026052/32873844 swapFree=6080/6080
[pid=24698] ppid=24696 vsize=12748 CPUtime=0.29 cores=0,2,4,6
/proc/24698/stat : 24698 (bsolo) R 24696 24698 24091 0 -1 4202496 889 0 0 0 29 0 0 0 20 0 1 0 288939475 13053952 752 33554432000 134512640 137138936 4291338352 4291268508 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/24698/statm: 3187 752 184 642 0 2543 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 12748
[startup+0.700223 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 24698
/proc/meminfo: memFree=31026052/32873844 swapFree=6080/6080
[pid=24698] ppid=24696 vsize=12748 CPUtime=0.69 cores=0,2,4,6
/proc/24698/stat : 24698 (bsolo) R 24696 24698 24091 0 -1 4202496 889 0 0 0 69 0 0 0 20 0 1 0 288939475 13053952 752 33554432000 134512640 137138936 4291338352 4291268508 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/24698/statm: 3187 752 184 642 0 2543 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 12748
[startup+1.50022 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 24699
/proc/meminfo: memFree=31020464/32873844 swapFree=6080/6080
[pid=24698] ppid=24696 vsize=14112 CPUtime=1.49 cores=0,2,4,6
/proc/24698/stat : 24698 (bsolo) R 24696 24698 24091 0 -1 4202496 1325 0 0 0 148 1 0 0 20 0 1 0 288939475 14450688 1102 33554432000 134512640 137138936 4291338352 4291337280 134542624 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/24698/statm: 3528 1102 192 642 0 2884 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 14112
[startup+3.10023 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 24699
/proc/meminfo: memFree=31013396/32873844 swapFree=6080/6080
[pid=24698] ppid=24696 vsize=18816 CPUtime=3.09 cores=0,2,4,6
/proc/24698/stat : 24698 (bsolo) R 24696 24698 24091 0 -1 4202496 2501 0 0 0 304 5 0 0 20 0 1 0 288939475 19267584 2278 33554432000 134512640 137138936 4291338352 4291336944 134539030 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/24698/statm: 4704 2278 192 642 0 4060 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 18816
[startup+6.30023 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 24699
/proc/meminfo: memFree=30993184/32873844 swapFree=6080/6080
[pid=24698] ppid=24696 vsize=28440 CPUtime=6.29 cores=0,2,4,6
/proc/24698/stat : 24698 (bsolo) R 24696 24698 24091 0 -1 4202496 4899 0 0 0 621 8 0 0 20 0 1 0 288939475 29122560 4676 33554432000 134512640 137138936 4291338352 4291337468 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/24698/statm: 7110 4676 192 642 0 6466 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 28440
[startup+12.7002 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 24699
/proc/meminfo: memFree=30956256/32873844 swapFree=6080/6080
[pid=24698] ppid=24696 vsize=46356 CPUtime=12.69 cores=0,2,4,6
/proc/24698/stat : 24698 (bsolo) R 24696 24698 24091 0 -1 4202496 9379 0 0 0 1257 12 0 0 20 0 1 0 288939475 47468544 9155 33554432000 134512640 137138936 4291338352 4291336776 134606663 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/24698/statm: 11589 9155 192 642 0 10945 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 46356
[startup+25.5002 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 24699
/proc/meminfo: memFree=30898456/32873844 swapFree=6080/6080
[pid=24698] ppid=24696 vsize=77412 CPUtime=25.49 cores=0,2,4,6
/proc/24698/stat : 24698 (bsolo) R 24696 24698 24091 0 -1 4202496 17139 0 0 0 2534 15 0 0 20 0 1 0 288939475 79269888 16915 33554432000 134512640 137138936 4291338352 4291336944 134539025 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/24698/statm: 19353 16915 192 642 0 18709 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 77412
[startup+51.1003 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 24699
/proc/meminfo: memFree=30792016/32873844 swapFree=6080/6080
[pid=24698] ppid=24696 vsize=130712 CPUtime=51.08 cores=0,2,4,6
/proc/24698/stat : 24698 (bsolo) R 24696 24698 24091 0 -1 4202496 30484 0 0 0 5087 21 0 0 20 0 1 0 288939475 133849088 30259 33554432000 134512640 137138936 4291338352 4291337280 134542316 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/24698/statm: 32678 30259 192 642 0 32034 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 130712
[startup+102.306 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 24700
/proc/meminfo: memFree=30605688/32873844 swapFree=6080/6080
[pid=24698] ppid=24696 vsize=206636 CPUtime=102.28 cores=0,2,4,6
/proc/24698/stat : 24698 (bsolo) R 24696 24698 24091 0 -1 4202496 49509 0 0 0 10194 34 0 0 20 0 1 0 288939475 211595264 49241 33554432000 134512640 137138936 4291338352 4291336776 134607222 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/24698/statm: 51659 49241 192 642 0 51015 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 206636
[startup+162.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/177 24700
/proc/meminfo: memFree=30419096/32873844 swapFree=6080/6080
[pid=24698] ppid=24696 vsize=304588 CPUtime=162.26 cores=0,2,4,6
/proc/24698/stat : 24698 (bsolo) R 24696 24698 24091 0 -1 4202496 75996 0 0 0 16181 45 0 0 20 0 1 0 288939475 311898112 73726 33554432000 134512640 137138936 4291338352 4291337280 134542480 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/24698/statm: 76147 73726 192 642 0 75503 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 304588
[startup+222.3 s]
/proc/loadavg: 2.04 2.02 2.00 3/177 24700
/proc/meminfo: memFree=30294132/32873844 swapFree=6080/6080
[pid=24698] ppid=24696 vsize=368544 CPUtime=222.26 cores=0,2,4,6
/proc/24698/stat : 24698 (bsolo) R 24696 24698 24091 0 -1 4202496 92797 0 0 0 22175 51 0 0 20 0 1 0 288939475 377389056 89694 33554432000 134512640 137138936 4291338352 4291337280 134542480 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/24698/statm: 92136 89694 192 642 0 91492 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 368544
[startup+282.3 s]
/proc/loadavg: 2.13 2.04 2.01 3/177 24700
/proc/meminfo: memFree=30164028/32873844 swapFree=6080/6080
[pid=24698] ppid=24696 vsize=435016 CPUtime=282.23 cores=0,2,4,6
/proc/24698/stat : 24698 (bsolo) R 24696 24698 24091 0 -1 4202496 110125 0 0 0 28165 58 0 0 20 0 1 0 288939475 445456384 106343 33554432000 134512640 137138936 4291338352 4291337280 134542516 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/24698/statm: 108754 106343 192 642 0 108110 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 435016
[startup+342.3 s]
/proc/loadavg: 2.08 2.05 2.00 3/177 24700
/proc/meminfo: memFree=30033980/32873844 swapFree=6080/6080
[pid=24698] ppid=24696 vsize=498024 CPUtime=342.17 cores=0,2,4,6
/proc/24698/stat : 24698 (bsolo) R 24696 24698 24091 0 -1 4202496 126310 0 0 0 34153 64 0 0 20 0 1 0 288939475 509976576 122092 33554432000 134512640 137138936 4291338352 4291337280 134542316 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/24698/statm: 124506 122092 192 642 0 123862 0
Current children cumulated CPU time (s) 342.17
Current children cumulated vsize (KiB) 498024
[startup+402.3 s]
/proc/loadavg: 2.06 2.05 2.00 3/177 24701
/proc/meminfo: memFree=29914224/32873844 swapFree=6080/6080
[pid=24698] ppid=24696 vsize=555612 CPUtime=402.11 cores=0,2,4,6
/proc/24698/stat : 24698 (bsolo) R 24696 24698 24091 0 -1 4202496 141247 0 0 0 40143 68 0 0 20 0 1 0 288939475 568946688 136489 33554432000 134512640 137138936 4291338352 4291337264 136296975 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/24698/statm: 138903 136489 192 642 0 138259 0
Current children cumulated CPU time (s) 402.11
Current children cumulated vsize (KiB) 555612
[startup+462.3 s]
/proc/loadavg: 2.05 2.05 2.00 3/178 24704
/proc/meminfo: memFree=29807704/32873844 swapFree=6080/6080
[pid=24698] ppid=24696 vsize=619580 CPUtime=462.05 cores=0,2,4,6
/proc/24698/stat : 24698 (bsolo) R 24696 24698 24091 0 -1 4202496 157804 0 0 0 46131 74 0 0 20 0 1 0 288939475 634449920 152463 33554432000 134512640 137138936 4291338352 4291337280 134542316 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/24698/statm: 154895 152463 192 642 0 154251 0
Current children cumulated CPU time (s) 462.05
Current children cumulated vsize (KiB) 619580
[startup+522.3 s]
/proc/loadavg: 2.05 2.05 2.00 3/177 24704
/proc/meminfo: memFree=29687112/32873844 swapFree=6080/6080
[pid=24698] ppid=24696 vsize=679492 CPUtime=522 cores=0,2,4,6
/proc/24698/stat : 24698 (bsolo) R 24696 24698 24091 0 -1 4202496 174382 0 0 0 52120 80 0 0 20 0 1 0 288939475 695799808 167462 33554432000 134512640 137138936 4291338352 4291337280 134542503 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/24698/statm: 169873 167462 192 642 0 169229 0
Current children cumulated CPU time (s) 522
Current children cumulated vsize (KiB) 679492
[startup+582.3 s]
/proc/loadavg: 2.05 2.06 2.00 3/177 24704
/proc/meminfo: memFree=29563140/32873844 swapFree=6080/6080
[pid=24698] ppid=24696 vsize=732736 CPUtime=581.95 cores=0,2,4,6
/proc/24698/stat : 24698 (bsolo) R 24696 24698 24091 0 -1 4202496 189797 0 0 0 58109 86 0 0 20 0 1 0 288939475 750321664 180764 33554432000 134512640 137138936 4291338352 4291337280 134542480 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/24698/statm: 183184 180764 192 642 0 182540 0
Current children cumulated CPU time (s) 581.95
Current children cumulated vsize (KiB) 732736
[startup+642.3 s]
################
# More data... #
################
/proc/meminfo: memFree=28958576/32873844 swapFree=6080/6080
[pid=24698] ppid=24696 vsize=1047204 CPUtime=1061.73 cores=0,2,4,6
/proc/24698/stat : 24698 (bsolo) R 24696 24698 24091 0 -1 4202496 273842 0 0 0 106052 121 0 0 20 0 1 0 288939475 1072336896 259385 33554432000 134512640 137138936 4291338352 4291337280 134542295 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/24698/statm: 261801 259385 192 642 0 261157 0
Current children cumulated CPU time (s) 1061.73
Current children cumulated vsize (KiB) 1047204
[startup+1122.3 s]
/proc/loadavg: 2.05 2.07 2.00 3/177 24709
/proc/meminfo: memFree=28958612/32873844 swapFree=6080/6080
[pid=24698] ppid=24696 vsize=1047204 CPUtime=1121.72 cores=0,2,4,6
/proc/24698/stat : 24698 (bsolo) R 24696 24698 24091 0 -1 4202496 273842 0 0 0 112044 128 0 0 20 0 1 0 288939475 1072336896 259385 33554432000 134512640 137138936 4291338352 4291337280 134542516 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/24698/statm: 261801 259385 192 642 0 261157 0
Current children cumulated CPU time (s) 1121.72
Current children cumulated vsize (KiB) 1047204
[startup+1182.3 s]
/proc/loadavg: 2.05 2.07 2.00 3/177 24709
/proc/meminfo: memFree=28958640/32873844 swapFree=6080/6080
[pid=24698] ppid=24696 vsize=1047204 CPUtime=1181.71 cores=0,2,4,6
/proc/24698/stat : 24698 (bsolo) R 24696 24698 24091 0 -1 4202496 273842 0 0 0 118030 141 0 0 20 0 1 0 288939475 1072336896 259385 33554432000 134512640 137138936 4291338352 4291336776 134606655 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/24698/statm: 261801 259385 192 642 0 261157 0
Current children cumulated CPU time (s) 1181.71
Current children cumulated vsize (KiB) 1047204
[startup+1242.3 s]
/proc/loadavg: 2.02 2.05 2.00 3/177 24709
/proc/meminfo: memFree=28958420/32873844 swapFree=6080/6080
[pid=24698] ppid=24696 vsize=1047204 CPUtime=1241.7 cores=0,2,4,6
/proc/24698/stat : 24698 (bsolo) R 24696 24698 24091 0 -1 4202496 273842 0 0 0 124025 145 0 0 20 0 1 0 288939475 1072336896 259385 33554432000 134512640 137138936 4291338352 4291337280 134542301 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/24698/statm: 261801 259385 192 642 0 261157 0
Current children cumulated CPU time (s) 1241.7
Current children cumulated vsize (KiB) 1047204
[startup+1302.3 s]
/proc/loadavg: 2.00 2.04 2.00 3/177 24710
/proc/meminfo: memFree=28958324/32873844 swapFree=6080/6080
[pid=24698] ppid=24696 vsize=1047204 CPUtime=1301.7 cores=0,2,4,6
/proc/24698/stat : 24698 (bsolo) R 24696 24698 24091 0 -1 4202496 273842 0 0 0 130018 152 0 0 20 0 1 0 288939475 1072336896 259385 33554432000 134512640 137138936 4291338352 4291337468 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/24698/statm: 261801 259385 192 642 0 261157 0
Current children cumulated CPU time (s) 1301.7
Current children cumulated vsize (KiB) 1047204
[startup+1362.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/177 24710
/proc/meminfo: memFree=28958476/32873844 swapFree=6080/6080
[pid=24698] ppid=24696 vsize=1047204 CPUtime=1361.69 cores=0,2,4,6
/proc/24698/stat : 24698 (bsolo) R 24696 24698 24091 0 -1 4202496 273842 0 0 0 136014 155 0 0 20 0 1 0 288939475 1072336896 259385 33554432000 134512640 137138936 4291338352 4291337468 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/24698/statm: 261801 259385 192 642 0 261157 0
Current children cumulated CPU time (s) 1361.69
Current children cumulated vsize (KiB) 1047204
[startup+1422.31 s]
/proc/loadavg: 2.00 2.02 2.00 3/177 24710
/proc/meminfo: memFree=28958628/32873844 swapFree=6080/6080
[pid=24698] ppid=24696 vsize=1047204 CPUtime=1421.69 cores=0,2,4,6
/proc/24698/stat : 24698 (bsolo) R 24696 24698 24091 0 -1 4202496 273842 0 0 0 142009 160 0 0 20 0 1 0 288939475 1072336896 259385 33554432000 134512640 137138936 4291338352 4291336776 134606949 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/24698/statm: 261801 259385 192 642 0 261157 0
Current children cumulated CPU time (s) 1421.69
Current children cumulated vsize (KiB) 1047204
[startup+1482.3 s]
/proc/loadavg: 2.03 2.03 2.00 3/177 24710
/proc/meminfo: memFree=28958552/32873844 swapFree=6080/6080
[pid=24698] ppid=24696 vsize=1047204 CPUtime=1481.67 cores=0,2,4,6
/proc/24698/stat : 24698 (bsolo) R 24696 24698 24091 0 -1 4202496 273842 0 0 0 148002 165 0 0 20 0 1 0 288939475 1072336896 259385 33554432000 134512640 137138936 4291338352 4291336776 134606610 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/24698/statm: 261801 259385 192 642 0 261157 0
Current children cumulated CPU time (s) 1481.67
Current children cumulated vsize (KiB) 1047204
[startup+1542.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/177 24710
/proc/meminfo: memFree=28958800/32873844 swapFree=6080/6080
[pid=24698] ppid=24696 vsize=1047204 CPUtime=1541.66 cores=0,2,4,6
/proc/24698/stat : 24698 (bsolo) R 24696 24698 24091 0 -1 4202496 273842 0 0 0 153993 173 0 0 20 0 1 0 288939475 1072336896 259385 33554432000 134512640 137138936 4291338352 4291336776 134606995 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/24698/statm: 261801 259385 192 642 0 261157 0
Current children cumulated CPU time (s) 1541.66
Current children cumulated vsize (KiB) 1047204
[startup+1602.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/177 24711
/proc/meminfo: memFree=28958924/32873844 swapFree=6080/6080
[pid=24698] ppid=24696 vsize=1047204 CPUtime=1601.64 cores=0,2,4,6
/proc/24698/stat : 24698 (bsolo) R 24696 24698 24091 0 -1 4202496 273842 0 0 0 159989 175 0 0 20 0 1 0 288939475 1072336896 259385 33554432000 134512640 137138936 4291338352 4291337036 136520975 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/24698/statm: 261801 259385 192 642 0 261157 0
Current children cumulated CPU time (s) 1601.64
Current children cumulated vsize (KiB) 1047204
[startup+1662.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/178 24714
/proc/meminfo: memFree=28958544/32873844 swapFree=6080/6080
[pid=24698] ppid=24696 vsize=1047204 CPUtime=1661.64 cores=0,2,4,6
/proc/24698/stat : 24698 (bsolo) R 24696 24698 24091 0 -1 4202496 273842 0 0 0 165987 177 0 0 20 0 1 0 288939475 1072336896 259385 33554432000 134512640 137138936 4291338352 4291336848 134618214 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/24698/statm: 261801 259385 192 642 0 261157 0
Current children cumulated CPU time (s) 1661.64
Current children cumulated vsize (KiB) 1047204
[startup+1722.3 s]
/proc/loadavg: 2.03 2.02 2.00 3/177 24714
/proc/meminfo: memFree=28958800/32873844 swapFree=6080/6080
[pid=24698] ppid=24696 vsize=1047204 CPUtime=1721.63 cores=0,2,4,6
/proc/24698/stat : 24698 (bsolo) R 24696 24698 24091 0 -1 4202496 273842 0 0 0 171984 179 0 0 20 0 1 0 288939475 1072336896 259385 33554432000 134512640 137138936 4291338352 4291337280 134542480 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/24698/statm: 261801 259385 192 642 0 261157 0
Current children cumulated CPU time (s) 1721.63
Current children cumulated vsize (KiB) 1047204
[startup+1782.3 s]
/proc/loadavg: 2.04 2.03 2.00 3/177 24714
/proc/meminfo: memFree=28958304/32873844 swapFree=6080/6080
[pid=24698] ppid=24696 vsize=1047204 CPUtime=1781.62 cores=0,2,4,6
/proc/24698/stat : 24698 (bsolo) R 24696 24698 24091 0 -1 4202496 273842 0 0 0 177982 180 0 0 20 0 1 0 288939475 1072336896 259385 33554432000 134512640 137138936 4291338352 4291337280 134542516 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/24698/statm: 261801 259385 192 642 0 261157 0
Current children cumulated CPU time (s) 1781.62
Current children cumulated vsize (KiB) 1047204
Solver just ended. Dumping a history of the last processes samples
[startup+1791.91 s]
/proc/loadavg: 2.11 2.04 2.01 3/177 24714
/proc/meminfo: memFree=28958304/32873844 swapFree=6080/6080
[pid=24698] ppid=24696 vsize=1047204 CPUtime=1791.22 cores=0,2,4,6
/proc/24698/stat : 24698 (bsolo) R 24696 24698 24091 0 -1 4202496 273842 0 0 0 178942 180 0 0 20 0 1 0 288939475 1072336896 259385 33554432000 134512640 137138936 4291338352 4291337280 134542339 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/24698/statm: 261801 259385 192 642 0 261157 0
Current children cumulated CPU time (s) 1791.22
Current children cumulated vsize (KiB) 1047204
[startup+1795.1 s]
/proc/loadavg: 2.10 2.04 2.00 3/177 24752
/proc/meminfo: memFree=29994688/32873844 swapFree=6080/6080
[pid=24698] ppid=24696 vsize=1047204 CPUtime=1794.42 cores=0,2,4,6
/proc/24698/stat : 24698 (bsolo) R 24696 24698 24091 0 -1 4202496 273842 0 0 0 179262 180 0 0 20 0 1 0 288939475 1072336896 259385 33554432000 134512640 137138936 4291338352 4291336848 134618214 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/24698/statm: 261801 259385 192 642 0 261157 0
Current children cumulated CPU time (s) 1794.42
Current children cumulated vsize (KiB) 1047204
[startup+1796.7 s]
/proc/loadavg: 2.10 2.04 2.00 3/177 24752
/proc/meminfo: memFree=29993448/32873844 swapFree=6080/6080
[pid=24698] ppid=24696 vsize=1047204 CPUtime=1796.02 cores=0,2,4,6
/proc/24698/stat : 24698 (bsolo) R 24696 24698 24091 0 -1 4202496 273842 0 0 0 179422 180 0 0 20 0 1 0 288939475 1072336896 259385 33554432000 134512640 137138936 4291338352 4291337280 134542301 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/24698/statm: 261801 259385 192 642 0 261157 0
Current children cumulated CPU time (s) 1796.02
Current children cumulated vsize (KiB) 1047204
[startup+1797.5 s]
/proc/loadavg: 2.10 2.04 2.00 3/177 24752
/proc/meminfo: memFree=29990472/32873844 swapFree=6080/6080
[pid=24698] ppid=24696 vsize=1047204 CPUtime=1796.82 cores=0,2,4,6
/proc/24698/stat : 24698 (bsolo) R 24696 24698 24091 0 -1 4202496 273842 0 0 0 179502 180 0 0 20 0 1 0 288939475 1072336896 259385 33554432000 134512640 137138936 4291338352 4291337280 134542516 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/24698/statm: 261801 259385 192 642 0 261157 0
Current children cumulated CPU time (s) 1796.82
Current children cumulated vsize (KiB) 1047204
[startup+1798.3 s]
/proc/loadavg: 2.10 2.04 2.00 3/177 24752
/proc/meminfo: memFree=29990472/32873844 swapFree=6080/6080
[pid=24698] ppid=24696 vsize=1047204 CPUtime=1797.61 cores=0,2,4,6
/proc/24698/stat : 24698 (bsolo) R 24696 24698 24091 0 -1 4202496 273842 0 0 0 179581 180 0 0 20 0 1 0 288939475 1072336896 259385 33554432000 134512640 137138936 4291338352 4291336896 134607574 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/24698/statm: 261801 259385 192 642 0 261157 0
Current children cumulated CPU time (s) 1797.61
Current children cumulated vsize (KiB) 1047204
[startup+1798.7 s]
/proc/loadavg: 2.10 2.04 2.00 3/177 24752
/proc/meminfo: memFree=29986628/32873844 swapFree=6080/6080
[pid=24698] ppid=24696 vsize=1047204 CPUtime=1798.02 cores=0,2,4,6
/proc/24698/stat : 24698 (bsolo) R 24696 24698 24091 0 -1 4202496 273842 0 0 0 179621 181 0 0 20 0 1 0 288939475 1072336896 259385 33554432000 134512640 137138936 4291338352 4291337280 134542525 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/24698/statm: 261801 259385 192 642 0 261157 0
Current children cumulated CPU time (s) 1798.02
Current children cumulated vsize (KiB) 1047204
Child status: 0
Real time (s): 1798.72
CPU time (s): 1798.05
CPU user time (s): 1796.23
CPU system time (s): 1.82272
CPU usage (%): 99.9627
Max. virtual memory (cumulated for all children) (KiB): 1047204
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.23
system time used= 1.82272
maximum resident set size= 1037912
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 273842
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= 429
involuntary context switches= 1854
runsolver used 2.66559 second user time and 7.14991 second system time
The end