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-3462741-1307182612/watcher-3462741-1307182612 -o /tmp/evaluation-result-3462741-1307182612/solver-3462741-1307182612 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 HOME/instance-3462741-1307182612.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.03 2.00 2/498 24526
/proc/meminfo: memFree=30235328/32951124 swapFree=53876548/67111528
[pid=24526] ppid=24524 vsize=13328 CPUtime=0.01 cores=0,2,4,6
/proc/24526/stat : 24526 (bsolo) R 24524 24526 21775 0 -1 4202496 942 0 0 0 1 0 0 0 25 0 1 0 829862132 13647872 872 33554432000 134512640 137138936 4291266080 18446744073709551615 136504268 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/24526/statm: 3332 872 183 642 0 2688 0
[startup+0.0634169 s]
/proc/loadavg: 2.04 2.03 2.00 2/498 24526
/proc/meminfo: memFree=30235328/32951124 swapFree=53876548/67111528
[pid=24526] ppid=24524 vsize=14048 CPUtime=0.05 cores=0,2,4,6
/proc/24526/stat : 24526 (bsolo) R 24524 24526 21775 0 -1 4202496 1116 0 0 0 5 0 0 0 25 0 1 0 829862132 14385152 1046 33554432000 134512640 137138936 4291266080 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/24526/statm: 3512 1046 185 642 0 2868 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 14048
[startup+0.100407 s]
/proc/loadavg: 2.04 2.03 2.00 2/498 24526
/proc/meminfo: memFree=30235328/32951124 swapFree=53876548/67111528
[pid=24526] ppid=24524 vsize=14808 CPUtime=0.09 cores=0,2,4,6
/proc/24526/stat : 24526 (bsolo) R 24524 24526 21775 0 -1 4202496 1321 0 0 0 9 0 0 0 25 0 1 0 829862132 15163392 1251 33554432000 134512640 137138936 4291266080 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/24526/statm: 3702 1251 186 642 0 3058 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 14808
[startup+0.300361 s]
/proc/loadavg: 2.04 2.03 2.00 2/498 24526
/proc/meminfo: memFree=30235328/32951124 swapFree=53876548/67111528
[pid=24526] ppid=24524 vsize=14184 CPUtime=0.29 cores=0,2,4,6
/proc/24526/stat : 24526 (bsolo) R 24524 24526 21775 0 -1 4202496 1502 0 0 0 29 0 0 0 25 0 1 0 829862132 14524416 1116 33554432000 134512640 137138936 4291266080 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/24526/statm: 3546 1116 188 642 0 2902 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 14184
[startup+0.700284 s]
/proc/loadavg: 2.04 2.03 2.00 2/498 24526
/proc/meminfo: memFree=30235328/32951124 swapFree=53876548/67111528
[pid=24526] ppid=24524 vsize=14444 CPUtime=0.69 cores=0,2,4,6
/proc/24526/stat : 24526 (bsolo) R 24524 24526 21775 0 -1 4202496 1538 0 0 0 68 1 0 0 25 0 1 0 829862132 14790656 1152 33554432000 134512640 137138936 4291266080 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/24526/statm: 3611 1152 188 642 0 2967 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 14444
[startup+1.50111 s]
/proc/loadavg: 2.04 2.03 2.00 3/499 24527
/proc/meminfo: memFree=30230608/32951124 swapFree=53876548/67111528
[pid=24526] ppid=24524 vsize=15120 CPUtime=1.49 cores=0,2,4,6
/proc/24526/stat : 24526 (bsolo) R 24524 24526 21775 0 -1 4202496 1739 0 0 0 147 2 0 0 25 0 1 0 829862132 15482880 1353 33554432000 134512640 137138936 4291266080 18446744073709551615 135984576 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/24526/statm: 3780 1353 192 642 0 3136 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 15120
[startup+3.10086 s]
/proc/loadavg: 2.04 2.03 2.00 4/499 24527
/proc/meminfo: memFree=30227632/32951124 swapFree=53876548/67111528
[pid=24526] ppid=24524 vsize=19336 CPUtime=3.09 cores=0,2,4,6
/proc/24526/stat : 24526 (bsolo) R 24524 24526 21775 0 -1 4202496 2778 0 0 0 306 3 0 0 25 0 1 0 829862132 19800064 2392 33554432000 134512640 137138936 4291266080 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/24526/statm: 4834 2392 192 642 0 4190 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 19336
[startup+6.30031 s]
/proc/loadavg: 2.04 2.03 2.00 3/499 24527
/proc/meminfo: memFree=30219024/32951124 swapFree=53876548/67111528
[pid=24526] ppid=24524 vsize=26904 CPUtime=6.29 cores=0,2,4,6
/proc/24526/stat : 24526 (bsolo) R 24524 24526 21775 0 -1 4202496 4680 0 0 0 626 3 0 0 25 0 1 0 829862132 27549696 4294 33554432000 134512640 137138936 4291266080 18446744073709551615 134552438 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/24526/statm: 6726 4294 192 642 0 6082 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 26904
[startup+12.7012 s]
/proc/loadavg: 2.12 2.05 2.01 3/499 24554
/proc/meminfo: memFree=30251500/32951124 swapFree=53876548/67111528
[pid=24526] ppid=24524 vsize=39792 CPUtime=12.69 cores=0,2,4,6
/proc/24526/stat : 24526 (bsolo) R 24524 24526 21775 0 -1 4202496 7910 0 0 0 1264 5 0 0 25 0 1 0 829862132 40747008 7524 33554432000 134512640 137138936 4291266080 18446744073709551615 134542713 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/24526/statm: 9948 7524 192 642 0 9304 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 39792
[startup+25.5009 s]
/proc/loadavg: 2.09 2.04 2.01 3/499 24555
/proc/meminfo: memFree=30195452/32951124 swapFree=53876548/67111528
[pid=24526] ppid=24524 vsize=63448 CPUtime=25.49 cores=0,2,4,6
/proc/24526/stat : 24526 (bsolo) R 24524 24526 21775 0 -1 4202496 13806 0 0 0 2542 7 0 0 25 0 1 0 829862132 64970752 13420 33554432000 134512640 137138936 4291266080 18446744073709551615 134603190 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/24526/statm: 15862 13420 192 642 0 15218 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 63448
[startup+51.1004 s]
/proc/loadavg: 2.06 2.04 2.00 3/499 24555
/proc/meminfo: memFree=30108320/32951124 swapFree=53876548/67111528
[pid=24526] ppid=24524 vsize=100568 CPUtime=51.09 cores=0,2,4,6
/proc/24526/stat : 24526 (bsolo) R 24524 24526 21775 0 -1 4202496 23099 0 0 0 5098 11 0 0 25 0 1 0 829862132 102981632 22713 33554432000 134512640 137138936 4291266080 18446744073709551615 134542972 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/24526/statm: 25142 22713 192 642 0 24498 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 100568
[startup+102.319 s]
/proc/loadavg: 2.07 2.05 2.00 3/499 24557
/proc/meminfo: memFree=29971264/32951124 swapFree=53876548/67111528
[pid=24526] ppid=24524 vsize=164860 CPUtime=102.31 cores=0,2,4,6
/proc/24526/stat : 24526 (bsolo) R 24524 24526 21775 0 -1 4202496 39177 0 0 0 10212 19 0 0 25 0 1 0 829862132 168816640 38791 33554432000 134512640 137138936 4291266080 18446744073709551615 134575213 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/24526/statm: 41215 38791 192 642 0 40571 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 164860
[startup+162.301 s]
/proc/loadavg: 2.02 2.03 2.00 3/499 24558
/proc/meminfo: memFree=29838552/32951124 swapFree=53876548/67111528
[pid=24526] ppid=24524 vsize=224488 CPUtime=162.3 cores=0,2,4,6
/proc/24526/stat : 24526 (bsolo) R 24524 24526 21775 0 -1 4202496 54076 0 0 0 16204 26 0 0 25 0 1 0 829862132 229875712 53690 33554432000 134512640 137138936 4291266080 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/24526/statm: 56122 53690 192 642 0 55478 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 224488
[startup+222.301 s]
/proc/loadavg: 2.01 2.03 2.00 3/499 24560
/proc/meminfo: memFree=29734240/32951124 swapFree=53876548/67111528
[pid=24526] ppid=24524 vsize=274724 CPUtime=222.29 cores=0,2,4,6
/proc/24526/stat : 24526 (bsolo) R 24524 24526 21775 0 -1 4202496 66628 0 0 0 22198 31 0 0 25 0 1 0 829862132 281317376 66242 33554432000 134512640 137138936 4291266080 18446744073709551615 134542480 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/24526/statm: 68681 66242 192 642 0 68037 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 274724
[startup+282.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/499 24562
/proc/meminfo: memFree=29649028/32951124 swapFree=53876548/67111528
[pid=24526] ppid=24524 vsize=321004 CPUtime=282.3 cores=0,2,4,6
/proc/24526/stat : 24526 (bsolo) R 24524 24526 21775 0 -1 4202496 78197 0 0 0 28188 42 0 0 25 0 1 0 829862132 328708096 77811 33554432000 134512640 137138936 4291266080 18446744073709551615 134542214 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/24526/statm: 80251 77811 192 642 0 79607 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 321004
[startup+342.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/499 24563
/proc/meminfo: memFree=29552284/32951124 swapFree=53876548/67111528
[pid=24526] ppid=24524 vsize=367976 CPUtime=342.3 cores=0,2,4,6
/proc/24526/stat : 24526 (bsolo) R 24524 24526 21775 0 -1 4202496 89947 0 0 0 34181 49 0 0 25 0 1 0 829862132 376807424 89561 33554432000 134512640 137138936 4291266080 18446744073709551615 134542620 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/24526/statm: 91994 89561 192 642 0 91350 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 367976
[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/499 24565
/proc/meminfo: memFree=29477736/32951124 swapFree=53876548/67111528
[pid=24526] ppid=24524 vsize=407256 CPUtime=402.3 cores=0,2,4,6
/proc/24526/stat : 24526 (bsolo) R 24524 24526 21775 0 -1 4202496 99772 0 0 0 40175 55 0 0 25 0 1 0 829862132 417030144 99386 33554432000 134512640 137138936 4291266080 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/24526/statm: 101814 99386 192 642 0 101170 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 407256
[startup+462.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/499 24566
/proc/meminfo: memFree=29412848/32951124 swapFree=53876548/67111528
[pid=24526] ppid=24524 vsize=439792 CPUtime=462.3 cores=0,2,4,6
/proc/24526/stat : 24526 (bsolo) R 24524 24526 21775 0 -1 4202496 107898 0 0 0 46169 61 0 0 25 0 1 0 829862132 450347008 107512 33554432000 134512640 137138936 4291266080 18446744073709551615 134542528 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/24526/statm: 109948 107512 192 642 0 109304 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 439792
[startup+522.301 s]
/proc/loadavg: 2.07 2.02 2.00 3/499 24568
/proc/meminfo: memFree=29358008/32951124 swapFree=53876548/67111528
[pid=24526] ppid=24524 vsize=463848 CPUtime=522.3 cores=0,2,4,6
/proc/24526/stat : 24526 (bsolo) R 24524 24526 21775 0 -1 4202496 113916 0 0 0 52164 66 0 0 25 0 1 0 829862132 474980352 113530 33554432000 134512640 137138936 4291266080 18446744073709551615 134603178 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/24526/statm: 115962 113530 192 642 0 115318 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 463848
[startup+582.3 s]
/proc/loadavg: 2.16 2.04 2.01 3/499 24570
/proc/meminfo: memFree=29299948/32951124 swapFree=53876548/67111528
[pid=24526] ppid=24524 vsize=492380 CPUtime=582.31 cores=0,2,4,6
/proc/24526/stat : 24526 (bsolo) R 24524 24526 21775 0 -1 4202496 121039 0 0 0 58160 71 0 0 25 0 1 0 829862132 504197120 120653 33554432000 134512640 137138936 4291266080 18446744073709551615 134542214 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/24526/statm: 123095 120653 192 642 0 122451 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 492380
[startup+642.301 s]
################
# More data... #
################
/proc/meminfo: memFree=28874528/32951124 swapFree=53876548/67111528
[pid=24526] ppid=24524 vsize=704288 CPUtime=1062.32 cores=0,2,4,6
/proc/24526/stat : 24526 (bsolo) R 24524 24526 21775 0 -1 4202496 174034 0 0 0 106124 108 0 0 25 0 1 0 829862132 721190912 173648 33554432000 134512640 137138936 4291266080 18446744073709551615 134542640 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/24526/statm: 176072 173648 192 642 0 175428 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 704288
[startup+1122.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/499 24584
/proc/meminfo: memFree=28830848/32951124 swapFree=53876548/67111528
[pid=24526] ppid=24524 vsize=728068 CPUtime=1122.32 cores=0,2,4,6
/proc/24526/stat : 24526 (bsolo) R 24524 24526 21775 0 -1 4202496 179970 0 0 0 112120 112 0 0 25 0 1 0 829862132 745541632 179584 33554432000 134512640 137138936 4291266080 18446744073709551615 134542484 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/24526/statm: 182017 179584 192 642 0 181373 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 728068
[startup+1182.3 s]
/proc/loadavg: 2.12 2.05 2.01 3/499 24586
/proc/meminfo: memFree=28790268/32951124 swapFree=53876548/67111528
[pid=24526] ppid=24524 vsize=748704 CPUtime=1182.32 cores=0,2,4,6
/proc/24526/stat : 24526 (bsolo) R 24524 24526 21775 0 -1 4202496 185137 0 0 0 118116 116 0 0 25 0 1 0 829862132 766672896 184751 33554432000 134512640 137138936 4291266080 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/24526/statm: 187176 184751 192 642 0 186532 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 748704
[startup+1242.3 s]
/proc/loadavg: 2.07 2.05 2.01 3/499 24587
/proc/meminfo: memFree=28749692/32951124 swapFree=53876548/67111528
[pid=24526] ppid=24524 vsize=764944 CPUtime=1242.32 cores=0,2,4,6
/proc/24526/stat : 24526 (bsolo) R 24524 24526 21775 0 -1 4202496 189179 0 0 0 124112 120 0 0 25 0 1 0 829862132 783302656 188793 33554432000 134512640 137138936 4291266080 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/24526/statm: 191236 188793 192 642 0 190592 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 764944
[startup+1302.3 s]
/proc/loadavg: 2.02 2.04 2.00 3/499 24589
/proc/meminfo: memFree=28711352/32951124 swapFree=53876548/67111528
[pid=24526] ppid=24524 vsize=781792 CPUtime=1302.34 cores=0,2,4,6
/proc/24526/stat : 24526 (bsolo) R 24524 24526 21775 0 -1 4202496 193401 0 0 0 130109 125 0 0 25 0 1 0 829862132 800555008 193015 33554432000 134512640 137138936 4291266080 18446744073709551615 136297616 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/24526/statm: 195448 193015 192 642 0 194804 0
Current children cumulated CPU time (s) 1302.34
Current children cumulated vsize (KiB) 781792
[startup+1362.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/499 24590
/proc/meminfo: memFree=28689732/32951124 swapFree=53876548/67111528
[pid=24526] ppid=24524 vsize=784080 CPUtime=1362.32 cores=0,2,4,6
/proc/24526/stat : 24526 (bsolo) R 24524 24526 21775 0 -1 4202496 194366 0 0 0 136107 125 0 0 25 0 1 0 829862132 802897920 193577 33554432000 134512640 137138936 4291266080 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/24526/statm: 196020 193577 192 642 0 195376 0
Current children cumulated CPU time (s) 1362.32
Current children cumulated vsize (KiB) 784080
[startup+1422.32 s]
/proc/loadavg: 2.00 2.02 2.00 3/499 24592
/proc/meminfo: memFree=28670100/32951124 swapFree=53876548/67111528
[pid=24526] ppid=24524 vsize=784080 CPUtime=1422.35 cores=0,2,4,6
/proc/24526/stat : 24526 (bsolo) R 24524 24526 21775 0 -1 4202496 194366 0 0 0 142105 130 0 0 25 0 1 0 829862132 802897920 193577 33554432000 134512640 137138936 4291266080 18446744073709551615 136505797 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/24526/statm: 196020 193577 192 642 0 195376 0
Current children cumulated CPU time (s) 1422.35
Current children cumulated vsize (KiB) 784080
[startup+1482.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/499 24594
/proc/meminfo: memFree=28649244/32951124 swapFree=53876548/67111528
[pid=24526] ppid=24524 vsize=784080 CPUtime=1482.32 cores=0,2,4,6
/proc/24526/stat : 24526 (bsolo) R 24524 24526 21775 0 -1 4202496 194366 0 0 0 148098 134 0 0 25 0 1 0 829862132 802897920 193577 33554432000 134512640 137138936 4291266080 18446744073709551615 134542787 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/24526/statm: 196020 193577 192 642 0 195376 0
Current children cumulated CPU time (s) 1482.32
Current children cumulated vsize (KiB) 784080
[startup+1542.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/499 24595
/proc/meminfo: memFree=28629256/32951124 swapFree=53876548/67111528
[pid=24526] ppid=24524 vsize=784080 CPUtime=1542.33 cores=0,2,4,6
/proc/24526/stat : 24526 (bsolo) R 24524 24526 21775 0 -1 4202496 194366 0 0 0 154095 138 0 0 25 0 1 0 829862132 802897920 193577 33554432000 134512640 137138936 4291266080 18446744073709551615 136295499 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/24526/statm: 196020 193577 192 642 0 195376 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 784080
[startup+1602.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/499 24597
/proc/meminfo: memFree=28607656/32951124 swapFree=53876548/67111528
[pid=24526] ppid=24524 vsize=784080 CPUtime=1602.33 cores=0,2,4,6
/proc/24526/stat : 24526 (bsolo) R 24524 24526 21775 0 -1 4202496 194366 0 0 0 160092 141 0 0 25 0 1 0 829862132 802897920 193577 33554432000 134512640 137138936 4291266080 18446744073709551615 134542301 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/24526/statm: 196020 193577 192 642 0 195376 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 784080
[startup+1662.3 s]
/proc/loadavg: 2.05 2.02 2.00 3/499 24598
/proc/meminfo: memFree=28587164/32951124 swapFree=53876548/67111528
[pid=24526] ppid=24524 vsize=784080 CPUtime=1662.33 cores=0,2,4,6
/proc/24526/stat : 24526 (bsolo) R 24524 24526 21775 0 -1 4202496 194366 0 0 0 166088 145 0 0 25 0 1 0 829862132 802897920 193577 33554432000 134512640 137138936 4291266080 18446744073709551615 136521014 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/24526/statm: 196020 193577 192 642 0 195376 0
Current children cumulated CPU time (s) 1662.33
Current children cumulated vsize (KiB) 784080
[startup+1722.3 s]
/proc/loadavg: 2.16 2.06 2.01 3/499 24600
/proc/meminfo: memFree=28566304/32951124 swapFree=53876548/67111528
[pid=24526] ppid=24524 vsize=784080 CPUtime=1722.33 cores=0,2,4,6
/proc/24526/stat : 24526 (bsolo) R 24524 24526 21775 0 -1 4202496 194366 0 0 0 172085 148 0 0 25 0 1 0 829862132 802897920 193577 33554432000 134512640 137138936 4291266080 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/24526/statm: 196020 193577 192 642 0 195376 0
Current children cumulated CPU time (s) 1722.33
Current children cumulated vsize (KiB) 784080
[startup+1782.3 s]
/proc/loadavg: 2.10 2.06 2.01 3/499 24602
/proc/meminfo: memFree=28542956/32951124 swapFree=53876548/67111528
[pid=24526] ppid=24524 vsize=784080 CPUtime=1782.33 cores=0,2,4,6
/proc/24526/stat : 24526 (bsolo) R 24524 24526 21775 0 -1 4202496 194366 0 0 0 178082 151 0 0 25 0 1 0 829862132 802897920 193577 33554432000 134512640 137138936 4291266080 18446744073709551615 136504045 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/24526/statm: 196020 193577 192 642 0 195376 0
Current children cumulated CPU time (s) 1782.33
Current children cumulated vsize (KiB) 784080
Solver just ended. Dumping a history of the last processes samples
[startup+1785.5 s]
/proc/loadavg: 2.09 2.06 2.01 3/499 24602
/proc/meminfo: memFree=28541840/32951124 swapFree=53876548/67111528
[pid=24526] ppid=24524 vsize=784080 CPUtime=1785.53 cores=0,2,4,6
/proc/24526/stat : 24526 (bsolo) R 24524 24526 21775 0 -1 4202496 194366 0 0 0 178402 151 0 0 25 0 1 0 829862132 802897920 193577 33554432000 134512640 137138936 4291266080 18446744073709551615 136511136 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/24526/statm: 196020 193577 192 642 0 195376 0
Current children cumulated CPU time (s) 1785.53
Current children cumulated vsize (KiB) 784080
[startup+1791.92 s]
/proc/loadavg: 2.09 2.06 2.01 3/499 24602
/proc/meminfo: memFree=28539720/32951124 swapFree=53876548/67111528
[pid=24526] ppid=24524 vsize=784080 CPUtime=1791.95 cores=0,2,4,6
/proc/24526/stat : 24526 (bsolo) R 24524 24526 21775 0 -1 4202496 194366 0 0 0 179043 152 0 0 25 0 1 0 829862132 802897920 193577 33554432000 134512640 137138936 4291266080 18446744073709551615 134543407 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/24526/statm: 196020 193577 192 642 0 195376 0
Current children cumulated CPU time (s) 1791.95
Current children cumulated vsize (KiB) 784080
[startup+1795.1 s]
/proc/loadavg: 2.08 2.05 2.01 3/499 24602
/proc/meminfo: memFree=28539472/32951124 swapFree=53876548/67111528
[pid=24526] ppid=24524 vsize=784080 CPUtime=1795.15 cores=0,2,4,6
/proc/24526/stat : 24526 (bsolo) R 24524 24526 21775 0 -1 4202496 194366 0 0 0 179363 152 0 0 25 0 1 0 829862132 802897920 193577 33554432000 134512640 137138936 4291266080 18446744073709551615 134542525 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/24526/statm: 196020 193577 192 642 0 195376 0
Current children cumulated CPU time (s) 1795.15
Current children cumulated vsize (KiB) 784080
[startup+1796.7 s]
/proc/loadavg: 2.08 2.05 2.01 3/499 24602
/proc/meminfo: memFree=28538852/32951124 swapFree=53876548/67111528
[pid=24526] ppid=24524 vsize=784080 CPUtime=1796.73 cores=0,2,4,6
/proc/24526/stat : 24526 (bsolo) R 24524 24526 21775 0 -1 4202496 194366 0 0 0 179521 152 0 0 25 0 1 0 829862132 802897920 193577 33554432000 134512640 137138936 4291266080 18446744073709551615 134542752 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/24526/statm: 196020 193577 192 642 0 195376 0
Current children cumulated CPU time (s) 1796.73
Current children cumulated vsize (KiB) 784080
[startup+1797.5 s]
/proc/loadavg: 2.08 2.05 2.01 3/499 24602
/proc/meminfo: memFree=28538852/32951124 swapFree=53876548/67111528
[pid=24526] ppid=24524 vsize=784080 CPUtime=1797.53 cores=0,2,4,6
/proc/24526/stat : 24526 (bsolo) R 24524 24526 21775 0 -1 4202496 194366 0 0 0 179601 152 0 0 25 0 1 0 829862132 802897920 193577 33554432000 134512640 137138936 4291266080 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/24526/statm: 196020 193577 192 642 0 195376 0
Current children cumulated CPU time (s) 1797.53
Current children cumulated vsize (KiB) 784080
[startup+1797.9 s]
/proc/loadavg: 2.08 2.05 2.01 3/499 24602
/proc/meminfo: memFree=28538852/32951124 swapFree=53876548/67111528
[pid=24526] ppid=24524 vsize=784080 CPUtime=1797.93 cores=0,2,4,6
/proc/24526/stat : 24526 (bsolo) R 24524 24526 21775 0 -1 4202496 194366 0 0 0 179641 152 0 0 25 0 1 0 829862132 802897920 193577 33554432000 134512640 137138936 4291266080 18446744073709551615 134575337 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/24526/statm: 196020 193577 192 642 0 195376 0
Current children cumulated CPU time (s) 1797.93
Current children cumulated vsize (KiB) 784080
Child status: 0
Real time (s): 1797.99
CPU time (s): 1798.04
CPU user time (s): 1796.48
CPU system time (s): 1.56176
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 785692
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.48
system time used= 1.56176
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 194367
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= 2359
runsolver used 9.30958 second user time and 20.1019 second system time
The end