runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 977)
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-3463747-1307179079/watcher-3463747-1307179079 -o /tmp/evaluation-result-3463747-1307179079/solver-3463747-1307179079 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 HOME/instance-3463747-1307179079.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.09 2.05 2.01 2/453 25272
/proc/meminfo: memFree=31808752/32951124 swapFree=55639044/67111528
[pid=25272] ppid=25270 vsize=11216 CPUtime=0.01 cores=1,3,5,7
/proc/25272/stat : 25272 (bsolo) R 25270 25272 23433 0 -1 4202496 385 0 0 0 1 0 0 0 23 0 1 0 829505800 11485184 339 33554432000 134512640 137138936 4287008176 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/25272/statm: 2804 339 204 642 0 2119 0
[startup+0.0341709 s]
/proc/loadavg: 2.09 2.05 2.01 2/453 25272
/proc/meminfo: memFree=31808752/32951124 swapFree=55639044/67111528
[pid=25272] ppid=25270 vsize=11448 CPUtime=0.03 cores=1,3,5,7
/proc/25272/stat : 25272 (bsolo) R 25270 25272 23433 0 -1 4202496 514 0 0 0 3 0 0 0 23 0 1 0 829505800 11722752 427 33554432000 134512640 137138936 4287008176 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/25272/statm: 2862 427 185 642 0 2218 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 11448
[startup+0.100146 s]
/proc/loadavg: 2.09 2.05 2.01 2/453 25272
/proc/meminfo: memFree=31808752/32951124 swapFree=55639044/67111528
[pid=25272] ppid=25270 vsize=11796 CPUtime=0.09 cores=1,3,5,7
/proc/25272/stat : 25272 (bsolo) R 25270 25272 23433 0 -1 4202496 2592 0 0 0 9 0 0 0 23 0 1 0 829505800 12079104 619 33554432000 134512640 137138936 4287008176 18446744073709551615 134750189 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/25272/statm: 2949 619 286 642 0 2305 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 11796
[startup+0.30011 s]
/proc/loadavg: 2.09 2.05 2.01 2/453 25272
/proc/meminfo: memFree=31808752/32951124 swapFree=55639044/67111528
[pid=25272] ppid=25270 vsize=13792 CPUtime=0.28 cores=1,3,5,7
/proc/25272/stat : 25272 (bsolo) R 25270 25272 23433 0 -1 4202496 15866 0 0 0 27 1 0 0 25 0 1 0 829505800 14123008 727 33554432000 134512640 137138936 4287008176 18446744073709551615 136506636 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/25272/statm: 3448 742 286 642 0 2804 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 13792
[startup+0.701037 s]
/proc/loadavg: 2.09 2.05 2.01 2/453 25272
/proc/meminfo: memFree=31808752/32951124 swapFree=55639044/67111528
[pid=25272] ppid=25270 vsize=11796 CPUtime=0.69 cores=1,3,5,7
/proc/25272/stat : 25272 (bsolo) R 25270 25272 23433 0 -1 4202496 43426 0 0 0 64 5 0 0 25 0 1 0 829505800 12079104 619 33554432000 134512640 137138936 4287008176 18446744073709551615 134750265 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/25272/statm: 2949 619 286 642 0 2305 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 11796
[startup+1.50089 s]
/proc/loadavg: 2.09 2.05 2.01 3/454 25273
/proc/meminfo: memFree=31805892/32951124 swapFree=55639044/67111528
[pid=25272] ppid=25270 vsize=13700 CPUtime=1.49 cores=1,3,5,7
/proc/25272/stat : 25272 (bsolo) R 25270 25272 23433 0 -1 4202496 97824 0 0 0 138 11 0 0 25 0 1 0 829505800 14028800 748 33554432000 134512640 137138936 4287008176 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/25272/statm: 3425 748 287 642 0 2781 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 13700
[startup+3.1006 s]
/proc/loadavg: 2.09 2.05 2.01 3/454 25273
/proc/meminfo: memFree=31803836/32951124 swapFree=55639044/67111528
[pid=25272] ppid=25270 vsize=15156 CPUtime=3.09 cores=1,3,5,7
/proc/25272/stat : 25272 (bsolo) R 25270 25272 23433 0 -1 4202496 229299 0 0 0 285 24 0 0 25 0 1 0 829505800 15519744 1097 33554432000 134512640 137138936 4287008176 18446744073709551615 136700814 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/25272/statm: 3293 964 287 642 0 2649 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 15156
[startup+6.30102 s]
/proc/loadavg: 2.08 2.05 2.01 3/454 25273
/proc/meminfo: memFree=31801292/32951124 swapFree=55639044/67111528
[pid=25272] ppid=25270 vsize=18276 CPUtime=6.29 cores=1,3,5,7
/proc/25272/stat : 25272 (bsolo) R 25270 25272 23433 0 -1 4202496 502346 0 0 0 579 50 0 0 25 0 1 0 829505800 18714624 1998 33554432000 134512640 137138936 4287008176 18446744073709551615 134708221 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/25272/statm: 4569 2005 287 642 0 3925 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 18276
[startup+12.7009 s]
/proc/loadavg: 2.08 2.05 2.01 3/454 25273
/proc/meminfo: memFree=31795356/32951124 swapFree=55639044/67111528
[pid=25272] ppid=25270 vsize=20180 CPUtime=12.7 cores=1,3,5,7
/proc/25272/stat : 25272 (bsolo) R 25270 25272 23433 0 -1 4202496 774402 0 0 0 1186 84 0 0 25 0 1 0 829505800 20664320 2716 33554432000 134512640 137138936 4287008176 18446744073709551615 134618912 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/25272/statm: 5045 2716 287 642 0 4401 0
Current children cumulated CPU time (s) 12.7
Current children cumulated vsize (KiB) 20180
[startup+25.5005 s]
/proc/loadavg: 2.06 2.05 2.01 3/454 25274
/proc/meminfo: memFree=31793864/32951124 swapFree=55639044/67111528
[pid=25272] ppid=25270 vsize=22452 CPUtime=25.49 cores=1,3,5,7
/proc/25272/stat : 25272 (bsolo) R 25270 25272 23433 0 -1 4202496 1072145 0 0 0 2426 123 0 0 25 0 1 0 829505800 22990848 3284 33554432000 134512640 137138936 4287008176 18446744073709551615 134603239 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/25272/statm: 5613 3284 287 642 0 4969 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 22452
[startup+51.1009 s]
/proc/loadavg: 2.04 2.04 2.00 3/454 25301
/proc/meminfo: memFree=31795204/32951124 swapFree=55639044/67111528
[pid=25272] ppid=25270 vsize=25680 CPUtime=51.09 cores=1,3,5,7
/proc/25272/stat : 25272 (bsolo) R 25270 25272 23433 0 -1 4202496 1683549 0 0 0 4901 208 0 0 25 0 1 0 829505800 26296320 3839 33554432000 134512640 137138936 4287008176 18446744073709551615 135404689 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/25272/statm: 6493 3842 287 642 0 5849 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 25680
[startup+102.317 s]
/proc/loadavg: 2.10 2.06 2.01 3/454 25303
/proc/meminfo: memFree=31791076/32951124 swapFree=55639044/67111528
[pid=25272] ppid=25270 vsize=24192 CPUtime=102.31 cores=1,3,5,7
/proc/25272/stat : 25272 (bsolo) R 25270 25272 23433 0 -1 4202496 1874894 0 0 0 9986 245 0 0 25 0 1 0 829505800 24772608 3623 33554432000 134512640 137138936 4287008176 18446744073709551615 134730892 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/25272/statm: 6048 3623 287 642 0 5404 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 24192
[startup+162.301 s]
/proc/loadavg: 2.08 2.06 2.01 3/454 25304
/proc/meminfo: memFree=31789704/32951124 swapFree=55639044/67111528
[pid=25272] ppid=25270 vsize=23848 CPUtime=162.3 cores=1,3,5,7
/proc/25272/stat : 25272 (bsolo) R 25270 25272 23433 0 -1 4202496 1878762 0 0 0 15981 249 0 0 25 0 1 0 829505800 24420352 3547 33554432000 134512640 137138936 4287008176 18446744073709551615 135251804 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/25272/statm: 5962 3547 287 642 0 5318 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 23848
[startup+222.301 s]
/proc/loadavg: 2.03 2.05 2.00 3/454 25306
/proc/meminfo: memFree=31790300/32951124 swapFree=55639044/67111528
[pid=25272] ppid=25270 vsize=25112 CPUtime=222.3 cores=1,3,5,7
/proc/25272/stat : 25272 (bsolo) R 25270 25272 23433 0 -1 4202496 3000313 0 0 0 21832 398 0 0 25 0 1 0 829505800 25714688 3619 33554432000 134512640 137138936 4287008176 18446744073709551615 135250993 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/25272/statm: 6278 3619 287 642 0 5634 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 25112
[startup+282.301 s]
/proc/loadavg: 2.01 2.04 2.00 3/454 25308
/proc/meminfo: memFree=31787804/32951124 swapFree=55639044/67111528
[pid=25272] ppid=25270 vsize=27352 CPUtime=282.3 cores=1,3,5,7
/proc/25272/stat : 25272 (bsolo) R 25270 25272 23433 0 -1 4202496 4070576 0 0 0 27685 545 0 0 25 0 1 0 829505800 28008448 4165 33554432000 134512640 137138936 4287008176 18446744073709551615 134730901 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/25272/statm: 6838 4165 287 642 0 6194 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 27352
[startup+342.301 s]
/proc/loadavg: 2.00 2.03 2.00 3/454 25309
/proc/meminfo: memFree=31787784/32951124 swapFree=55639044/67111528
[pid=25272] ppid=25270 vsize=26736 CPUtime=342.31 cores=1,3,5,7
/proc/25272/stat : 25272 (bsolo) R 25270 25272 23433 0 -1 4202496 4605639 0 0 0 33593 638 0 0 25 0 1 0 829505800 27377664 4147 33554432000 134512640 137138936 4287008176 18446744073709551615 135070985 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/25272/statm: 6684 4147 287 642 0 6040 0
Current children cumulated CPU time (s) 342.31
Current children cumulated vsize (KiB) 26736
[startup+402.301 s]
/proc/loadavg: 2.09 2.05 2.01 3/454 25311
/proc/meminfo: memFree=31786520/32951124 swapFree=55639044/67111528
[pid=25272] ppid=25270 vsize=28172 CPUtime=402.3 cores=1,3,5,7
/proc/25272/stat : 25272 (bsolo) R 25270 25272 23433 0 -1 4202496 5464054 0 0 0 39477 753 0 0 25 0 1 0 829505800 28848128 4380 33554432000 134512640 137138936 4287008176 18446744073709551615 134840738 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/25272/statm: 7043 4380 287 642 0 6399 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 28172
[startup+462.3 s]
/proc/loadavg: 2.08 2.05 2.01 3/454 25312
/proc/meminfo: memFree=31786144/32951124 swapFree=55639044/67111528
[pid=25272] ppid=25270 vsize=27500 CPUtime=462.3 cores=1,3,5,7
/proc/25272/stat : 25272 (bsolo) R 25270 25272 23433 0 -1 4202496 6223270 0 0 0 45353 877 0 0 25 0 1 0 829505800 28160000 4344 33554432000 134512640 137138936 4287008176 18446744073709551615 135379300 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/25272/statm: 6875 4344 287 642 0 6231 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 27500
[startup+522.3 s]
/proc/loadavg: 2.16 2.08 2.01 3/454 25314
/proc/meminfo: memFree=31786252/32951124 swapFree=55639044/67111528
[pid=25272] ppid=25270 vsize=26708 CPUtime=522.31 cores=1,3,5,7
/proc/25272/stat : 25272 (bsolo) R 25270 25272 23433 0 -1 4202496 6801701 0 0 0 51251 980 0 0 25 0 1 0 829505800 27348992 4348 33554432000 134512640 137138936 4287008176 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/25272/statm: 6677 4348 287 642 0 6033 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 26708
[startup+582.3 s]
/proc/loadavg: 2.06 2.06 2.01 3/454 25316
/proc/meminfo: memFree=31785988/32951124 swapFree=55639044/67111528
[pid=25272] ppid=25270 vsize=28060 CPUtime=582.3 cores=1,3,5,7
/proc/25272/stat : 25272 (bsolo) R 25270 25272 23433 0 -1 4202496 8026277 0 0 0 57085 1145 0 0 25 0 1 0 829505800 28733440 4402 33554432000 134512640 137138936 4287008176 18446744073709551615 134734928 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/25272/statm: 7015 4402 287 642 0 6371 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 28060
[startup+642.3 s]
################
# More data... #
################
/proc/meminfo: memFree=31779264/32951124 swapFree=55639044/67111528
[pid=25272] ppid=25270 vsize=31960 CPUtime=1062.32 cores=1,3,5,7
/proc/25272/stat : 25272 (bsolo) R 25270 25272 23433 0 -1 4202496 9873540 0 0 0 104799 1433 0 0 25 0 1 0 829505800 32727040 5661 33554432000 134512640 137138936 4287008176 18446744073709551615 135381638 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/25272/statm: 7990 5661 287 642 0 7346 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 31960
[startup+1122.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/454 25330
/proc/meminfo: memFree=31779116/32951124 swapFree=55639044/67111528
[pid=25272] ppid=25270 vsize=31960 CPUtime=1122.33 cores=1,3,5,7
/proc/25272/stat : 25272 (bsolo) R 25270 25272 23433 0 -1 4202496 9873540 0 0 0 110798 1435 0 0 25 0 1 0 829505800 32727040 5661 33554432000 134512640 137138936 4287008176 18446744073709551615 134840801 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/25272/statm: 7990 5661 287 642 0 7346 0
Current children cumulated CPU time (s) 1122.33
Current children cumulated vsize (KiB) 31960
[startup+1182.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/454 25332
/proc/meminfo: memFree=31778728/32951124 swapFree=55639044/67111528
[pid=25272] ppid=25270 vsize=31960 CPUtime=1182.32 cores=1,3,5,7
/proc/25272/stat : 25272 (bsolo) R 25270 25272 23433 0 -1 4202496 9873540 0 0 0 116796 1436 0 0 25 0 1 0 829505800 32727040 5661 33554432000 134512640 137138936 4287008176 18446744073709551615 134750046 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/25272/statm: 7990 5661 287 642 0 7346 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 31960
[startup+1242.3 s]
/proc/loadavg: 2.12 2.06 2.01 3/454 25333
/proc/meminfo: memFree=31778700/32951124 swapFree=55639044/67111528
[pid=25272] ppid=25270 vsize=31960 CPUtime=1242.33 cores=1,3,5,7
/proc/25272/stat : 25272 (bsolo) R 25270 25272 23433 0 -1 4202496 9873540 0 0 0 122795 1438 0 0 25 0 1 0 829505800 32727040 5661 33554432000 134512640 137138936 4287008176 18446744073709551615 135382414 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/25272/statm: 7990 5661 287 642 0 7346 0
Current children cumulated CPU time (s) 1242.33
Current children cumulated vsize (KiB) 31960
[startup+1302.3 s]
/proc/loadavg: 2.04 2.04 2.00 3/454 25335
/proc/meminfo: memFree=31778436/32951124 swapFree=55639044/67111528
[pid=25272] ppid=25270 vsize=31164 CPUtime=1302.34 cores=1,3,5,7
/proc/25272/stat : 25272 (bsolo) R 25270 25272 23433 0 -1 4202496 9873540 0 0 0 128795 1439 0 0 25 0 1 0 829505800 31911936 5462 33554432000 134512640 137138936 4287008176 18446744073709551615 135381376 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/25272/statm: 7791 5462 287 642 0 7147 0
Current children cumulated CPU time (s) 1302.34
Current children cumulated vsize (KiB) 31164
[startup+1362.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/454 25336
/proc/meminfo: memFree=31777416/32951124 swapFree=55639044/67111528
[pid=25272] ppid=25270 vsize=31164 CPUtime=1362.33 cores=1,3,5,7
/proc/25272/stat : 25272 (bsolo) R 25270 25272 23433 0 -1 4202496 9873540 0 0 0 134793 1440 0 0 25 0 1 0 829505800 31911936 5462 33554432000 134512640 137138936 4287008176 18446744073709551615 135455888 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/25272/statm: 7791 5462 287 642 0 7147 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 31164
[startup+1422.32 s]
/proc/loadavg: 2.00 2.02 2.00 3/454 25338
/proc/meminfo: memFree=31778384/32951124 swapFree=55639044/67111528
[pid=25272] ppid=25270 vsize=31164 CPUtime=1422.35 cores=1,3,5,7
/proc/25272/stat : 25272 (bsolo) R 25270 25272 23433 0 -1 4202496 9873540 0 0 0 140794 1441 0 0 25 0 1 0 829505800 31911936 5462 33554432000 134512640 137138936 4287008176 18446744073709551615 134840680 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/25272/statm: 7791 5462 287 642 0 7147 0
Current children cumulated CPU time (s) 1422.35
Current children cumulated vsize (KiB) 31164
[startup+1482.3 s]
/proc/loadavg: 2.04 2.03 2.00 3/454 25340
/proc/meminfo: memFree=31779100/32951124 swapFree=55639044/67111528
[pid=25272] ppid=25270 vsize=31164 CPUtime=1482.34 cores=1,3,5,7
/proc/25272/stat : 25272 (bsolo) R 25270 25272 23433 0 -1 4202496 9873540 0 0 0 146792 1442 0 0 25 0 1 0 829505800 31911936 5462 33554432000 134512640 137138936 4287008176 18446744073709551615 135457396 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/25272/statm: 7791 5462 287 642 0 7147 0
Current children cumulated CPU time (s) 1482.34
Current children cumulated vsize (KiB) 31164
[startup+1542.3 s]
/proc/loadavg: 2.05 2.04 2.00 3/454 25341
/proc/meminfo: memFree=31779316/32951124 swapFree=55639044/67111528
[pid=25272] ppid=25270 vsize=31164 CPUtime=1542.34 cores=1,3,5,7
/proc/25272/stat : 25272 (bsolo) R 25270 25272 23433 0 -1 4202496 9873540 0 0 0 152790 1444 0 0 25 0 1 0 829505800 31911936 5462 33554432000 134512640 137138936 4287008176 18446744073709551615 135384766 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/25272/statm: 7791 5462 287 642 0 7147 0
Current children cumulated CPU time (s) 1542.34
Current children cumulated vsize (KiB) 31164
[startup+1602.3 s]
/proc/loadavg: 2.02 2.03 2.00 3/454 25343
/proc/meminfo: memFree=31778928/32951124 swapFree=55639044/67111528
[pid=25272] ppid=25270 vsize=31164 CPUtime=1602.34 cores=1,3,5,7
/proc/25272/stat : 25272 (bsolo) R 25270 25272 23433 0 -1 4202496 9873540 0 0 0 158788 1446 0 0 25 0 1 0 829505800 31911936 5462 33554432000 134512640 137138936 4287008176 18446744073709551615 134750330 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/25272/statm: 7791 5462 287 642 0 7147 0
Current children cumulated CPU time (s) 1602.34
Current children cumulated vsize (KiB) 31164
[startup+1662.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/454 25344
/proc/meminfo: memFree=31778664/32951124 swapFree=55639044/67111528
[pid=25272] ppid=25270 vsize=31164 CPUtime=1662.34 cores=1,3,5,7
/proc/25272/stat : 25272 (bsolo) R 25270 25272 23433 0 -1 4202496 9873540 0 0 0 164785 1449 0 0 25 0 1 0 829505800 31911936 5462 33554432000 134512640 137138936 4287008176 18446744073709551615 135443765 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/25272/statm: 7791 5462 287 642 0 7147 0
Current children cumulated CPU time (s) 1662.34
Current children cumulated vsize (KiB) 31164
[startup+1722.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/454 25346
/proc/meminfo: memFree=31778524/32951124 swapFree=55639044/67111528
[pid=25272] ppid=25270 vsize=31164 CPUtime=1722.34 cores=1,3,5,7
/proc/25272/stat : 25272 (bsolo) R 25270 25272 23433 0 -1 4202496 9873540 0 0 0 170783 1451 0 0 25 0 1 0 829505800 31911936 5462 33554432000 134512640 137138936 4287008176 18446744073709551615 134750291 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/25272/statm: 7791 5462 287 642 0 7147 0
Current children cumulated CPU time (s) 1722.34
Current children cumulated vsize (KiB) 31164
[startup+1782.3 s]
/proc/loadavg: 2.04 2.03 2.00 3/454 25348
/proc/meminfo: memFree=31777144/32951124 swapFree=55639044/67111528
[pid=25272] ppid=25270 vsize=31164 CPUtime=1782.34 cores=1,3,5,7
/proc/25272/stat : 25272 (bsolo) R 25270 25272 23433 0 -1 4202496 9873540 0 0 0 176782 1452 0 0 25 0 1 0 829505800 31911936 5462 33554432000 134512640 137138936 4287008176 18446744073709551615 134731559 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/25272/statm: 7791 5462 287 642 0 7147 0
Current children cumulated CPU time (s) 1782.34
Current children cumulated vsize (KiB) 31164
Solver just ended. Dumping a history of the last processes samples
[startup+1785.5 s]
/proc/loadavg: 2.04 2.03 2.00 3/454 25348
/proc/meminfo: memFree=31778384/32951124 swapFree=55639044/67111528
[pid=25272] ppid=25270 vsize=31164 CPUtime=1785.55 cores=1,3,5,7
/proc/25272/stat : 25272 (bsolo) R 25270 25272 23433 0 -1 4202496 9873540 0 0 0 177102 1453 0 0 25 0 1 0 829505800 31911936 5462 33554432000 134512640 137138936 4287008176 18446744073709551615 135376972 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/25272/statm: 7791 5462 287 642 0 7147 0
Current children cumulated CPU time (s) 1785.55
Current children cumulated vsize (KiB) 31164
[startup+1791.92 s]
/proc/loadavg: 2.04 2.02 2.00 3/454 25348
/proc/meminfo: memFree=31778260/32951124 swapFree=55639044/67111528
[pid=25272] ppid=25270 vsize=31164 CPUtime=1791.96 cores=1,3,5,7
/proc/25272/stat : 25272 (bsolo) R 25270 25272 23433 0 -1 4202496 9873540 0 0 0 177743 1453 0 0 25 0 1 0 829505800 31911936 5462 33554432000 134512640 137138936 4287008176 18446744073709551615 135080890 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/25272/statm: 7791 5462 287 642 0 7147 0
Current children cumulated CPU time (s) 1791.96
Current children cumulated vsize (KiB) 31164
[startup+1795.1 s]
/proc/loadavg: 2.03 2.02 2.00 3/454 25348
/proc/meminfo: memFree=31778256/32951124 swapFree=55639044/67111528
[pid=25272] ppid=25270 vsize=31164 CPUtime=1795.15 cores=1,3,5,7
/proc/25272/stat : 25272 (bsolo) R 25270 25272 23433 0 -1 4202496 9873540 0 0 0 178062 1453 0 0 25 0 1 0 829505800 31911936 5462 33554432000 134512640 137138936 4287008176 18446744073709551615 134923808 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/25272/statm: 7791 5462 287 642 0 7147 0
Current children cumulated CPU time (s) 1795.15
Current children cumulated vsize (KiB) 31164
[startup+1796.7 s]
/proc/loadavg: 2.03 2.02 2.00 3/454 25348
/proc/meminfo: memFree=31778504/32951124 swapFree=55639044/67111528
[pid=25272] ppid=25270 vsize=31164 CPUtime=1796.74 cores=1,3,5,7
/proc/25272/stat : 25272 (bsolo) R 25270 25272 23433 0 -1 4202496 9873540 0 0 0 178221 1453 0 0 25 0 1 0 829505800 31911936 5462 33554432000 134512640 137138936 4287008176 18446744073709551615 135443685 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/25272/statm: 7791 5462 287 642 0 7147 0
Current children cumulated CPU time (s) 1796.74
Current children cumulated vsize (KiB) 31164
[startup+1797.5 s]
/proc/loadavg: 2.03 2.02 2.00 3/454 25348
/proc/meminfo: memFree=31778256/32951124 swapFree=55639044/67111528
[pid=25272] ppid=25270 vsize=31164 CPUtime=1797.54 cores=1,3,5,7
/proc/25272/stat : 25272 (bsolo) R 25270 25272 23433 0 -1 4202496 9873540 0 0 0 178301 1453 0 0 25 0 1 0 829505800 31911936 5462 33554432000 134512640 137138936 4287008176 18446744073709551615 135783826 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/25272/statm: 7791 5462 287 642 0 7147 0
Current children cumulated CPU time (s) 1797.54
Current children cumulated vsize (KiB) 31164
[startup+1797.9 s]
/proc/loadavg: 2.03 2.02 2.00 3/454 25348
/proc/meminfo: memFree=31778256/32951124 swapFree=55639044/67111528
[pid=25272] ppid=25270 vsize=31164 CPUtime=1797.94 cores=1,3,5,7
/proc/25272/stat : 25272 (bsolo) R 25270 25272 23433 0 -1 4202496 9873540 0 0 0 178341 1453 0 0 25 0 1 0 829505800 31911936 5462 33554432000 134512640 137138936 4287008176 18446744073709551615 135381734 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/25272/statm: 7791 5462 287 642 0 7147 0
Current children cumulated CPU time (s) 1797.94
Current children cumulated vsize (KiB) 31164
Child status: 0
Real time (s): 1797.95
CPU time (s): 1798
CPU user time (s): 1783.47
CPU system time (s): 14.5378
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 33864
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1783.47
system time used= 14.5378
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9873540
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= 5
involuntary context switches= 2088
runsolver used 7.55585 second user time and 18.5862 second system time
The end