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-3463150-1307176578/watcher-3463150-1307176578 -o /tmp/evaluation-result-3463150-1307176578/solver-3463150-1307176578 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 HOME/instance-3463150-1307176578.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.02 2.00 2/429 2600
/proc/meminfo: memFree=28141164/32951124 swapFree=43324008/67111528
[pid=2600] ppid=2598 vsize=11136 CPUtime=0 cores=0,2,4,6
/proc/2600/stat : 2600 (bsolo) R 2598 2600 585 0 -1 4202496 334 0 0 0 0 0 0 0 25 0 1 0 829258261 11403264 288 33554432000 134512640 137138936 4291617920 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/2600/statm: 2784 288 179 642 0 2089 0
[startup+0.042506 s]
/proc/loadavg: 2.00 2.02 2.00 2/429 2600
/proc/meminfo: memFree=28141164/32951124 swapFree=43324008/67111528
[pid=2600] ppid=2598 vsize=12308 CPUtime=0.04 cores=0,2,4,6
/proc/2600/stat : 2600 (bsolo) R 2598 2600 585 0 -1 4202496 737 0 0 0 4 0 0 0 18 0 1 0 829258261 12603392 640 33554432000 134512640 137138936 4291617920 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/2600/statm: 3077 640 185 642 0 2433 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 12308
[startup+0.100531 s]
/proc/loadavg: 2.00 2.02 2.00 2/429 2600
/proc/meminfo: memFree=28141164/32951124 swapFree=43324008/67111528
[pid=2600] ppid=2598 vsize=12412 CPUtime=0.09 cores=0,2,4,6
/proc/2600/stat : 2600 (bsolo) R 2598 2600 585 0 -1 4202496 814 0 0 0 9 0 0 0 18 0 1 0 829258261 12709888 674 33554432000 134512640 137138936 4291617920 18446744073709551615 134602746 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/2600/statm: 3103 674 192 642 0 2459 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 12412
[startup+0.300468 s]
/proc/loadavg: 2.00 2.02 2.00 2/429 2600
/proc/meminfo: memFree=28141164/32951124 swapFree=43324008/67111528
[pid=2600] ppid=2598 vsize=13384 CPUtime=0.29 cores=0,2,4,6
/proc/2600/stat : 2600 (bsolo) R 2598 2600 585 0 -1 4202496 1064 0 0 0 29 0 0 0 18 0 1 0 829258261 13705216 924 33554432000 134512640 137138936 4291617920 18446744073709551615 134551895 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/2600/statm: 3346 924 192 642 0 2702 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 13384
[startup+0.700427 s]
/proc/loadavg: 2.00 2.02 2.00 2/429 2600
/proc/meminfo: memFree=28141164/32951124 swapFree=43324008/67111528
[pid=2600] ppid=2598 vsize=15308 CPUtime=0.69 cores=0,2,4,6
/proc/2600/stat : 2600 (bsolo) R 2598 2600 585 0 -1 4202496 1538 0 0 0 69 0 0 0 18 0 1 0 829258261 15675392 1398 33554432000 134512640 137138936 4291617920 18446744073709551615 134542516 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/2600/statm: 3827 1398 192 642 0 3183 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 15308
[startup+1.50023 s]
/proc/loadavg: 2.08 2.03 2.01 3/430 2601
/proc/meminfo: memFree=28131236/32951124 swapFree=43324008/67111528
[pid=2600] ppid=2598 vsize=18060 CPUtime=1.49 cores=0,2,4,6
/proc/2600/stat : 2600 (bsolo) R 2598 2600 585 0 -1 4202496 2220 0 0 0 149 0 0 0 19 0 1 0 829258261 18493440 2080 33554432000 134512640 137138936 4291617920 18446744073709551615 134618214 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/2600/statm: 4515 2080 192 642 0 3871 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 18060
[startup+3.10099 s]
/proc/loadavg: 2.08 2.03 2.01 3/430 2601
/proc/meminfo: memFree=28123672/32951124 swapFree=43324008/67111528
[pid=2600] ppid=2598 vsize=23480 CPUtime=3.09 cores=0,2,4,6
/proc/2600/stat : 2600 (bsolo) R 2598 2600 585 0 -1 4202496 3581 0 0 0 309 0 0 0 25 0 1 0 829258261 24043520 3441 33554432000 134512640 137138936 4291617920 18446744073709551615 134606663 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/2600/statm: 5870 3441 192 642 0 5226 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 23480
[startup+6.30038 s]
/proc/loadavg: 2.07 2.03 2.00 3/430 2602
/proc/meminfo: memFree=28103412/32951124 swapFree=43324008/67111528
[pid=2600] ppid=2598 vsize=33416 CPUtime=6.29 cores=0,2,4,6
/proc/2600/stat : 2600 (bsolo) R 2598 2600 585 0 -1 4202496 6069 0 0 0 628 1 0 0 25 0 1 0 829258261 34217984 5929 33554432000 134512640 137138936 4291617920 18446744073709551615 134602746 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/2600/statm: 8354 5929 192 642 0 7710 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 33416
[startup+12.7002 s]
/proc/loadavg: 2.07 2.03 2.00 3/430 2602
/proc/meminfo: memFree=28060392/32951124 swapFree=43324008/67111528
[pid=2600] ppid=2598 vsize=53776 CPUtime=12.69 cores=0,2,4,6
/proc/2600/stat : 2600 (bsolo) R 2598 2600 585 0 -1 4202496 11151 0 0 0 1267 2 0 0 25 0 1 0 829258261 55066624 11011 33554432000 134512640 137138936 4291617920 18446744073709551615 134606982 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/2600/statm: 13444 11011 192 642 0 12800 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 53776
[startup+25.5008 s]
/proc/loadavg: 2.05 2.03 2.00 3/430 2602
/proc/meminfo: memFree=28020932/32951124 swapFree=43324008/67111528
[pid=2600] ppid=2598 vsize=60968 CPUtime=25.49 cores=0,2,4,6
/proc/2600/stat : 2600 (bsolo) R 2598 2600 585 0 -1 4202496 12959 0 0 0 2547 2 0 0 25 0 1 0 829258261 62431232 12819 33554432000 134512640 137138936 4291617920 18446744073709551615 134607615 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/2600/statm: 15242 12819 192 642 0 14598 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 60968
[startup+51.1011 s]
/proc/loadavg: 2.03 2.03 2.00 3/430 2603
/proc/meminfo: memFree=27932272/32951124 swapFree=43324008/67111528
[pid=2600] ppid=2598 vsize=81768 CPUtime=51.09 cores=0,2,4,6
/proc/2600/stat : 2600 (bsolo) R 2598 2600 585 0 -1 4202496 18155 0 0 0 5104 5 0 0 25 0 1 0 829258261 83730432 18015 33554432000 134512640 137138936 4291617920 18446744073709551615 134618248 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/2600/statm: 20442 18015 192 642 0 19798 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 81768
[startup+102.316 s]
/proc/loadavg: 2.01 2.02 2.00 3/430 2604
/proc/meminfo: memFree=27857236/32951124 swapFree=43324008/67111528
[pid=2600] ppid=2598 vsize=87048 CPUtime=102.31 cores=0,2,4,6
/proc/2600/stat : 2600 (bsolo) R 2598 2600 585 0 -1 4202496 19479 0 0 0 10223 8 0 0 25 0 1 0 829258261 89137152 19339 33554432000 134512640 137138936 4291617920 18446744073709551615 136504225 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/2600/statm: 21762 19339 192 642 0 21118 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 87048
[startup+162.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/430 2606
/proc/meminfo: memFree=27850608/32951124 swapFree=43324008/67111528
[pid=2600] ppid=2598 vsize=93324 CPUtime=162.28 cores=0,2,4,6
/proc/2600/stat : 2600 (bsolo) R 2598 2600 585 0 -1 4202496 21049 0 0 0 16218 10 0 0 25 0 1 0 829258261 95563776 20909 33554432000 134512640 137138936 4291617920 18446744073709551615 134542737 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/2600/statm: 23331 20909 192 642 0 22687 0
Current children cumulated CPU time (s) 162.28
Current children cumulated vsize (KiB) 93324
[startup+222.3 s]
/proc/loadavg: 2.10 2.04 2.01 3/430 2607
/proc/meminfo: memFree=27850048/32951124 swapFree=43324008/67111528
[pid=2600] ppid=2598 vsize=94288 CPUtime=222.28 cores=0,2,4,6
/proc/2600/stat : 2600 (bsolo) R 2598 2600 585 0 -1 4202496 21289 0 0 0 22217 11 0 0 25 0 1 0 829258261 96550912 21149 33554432000 134512640 137138936 4291617920 18446744073709551615 134551253 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/2600/statm: 23572 21149 192 642 0 22928 0
Current children cumulated CPU time (s) 222.28
Current children cumulated vsize (KiB) 94288
[startup+282.301 s]
/proc/loadavg: 2.04 2.03 2.00 3/430 2609
/proc/meminfo: memFree=27843168/32951124 swapFree=43324008/67111528
[pid=2600] ppid=2598 vsize=101344 CPUtime=282.28 cores=0,2,4,6
/proc/2600/stat : 2600 (bsolo) R 2598 2600 585 0 -1 4202496 23050 0 0 0 28215 13 0 0 25 0 1 0 829258261 103776256 22910 33554432000 134512640 137138936 4291617920 18446744073709551615 134542339 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/2600/statm: 25336 22910 192 642 0 24692 0
Current children cumulated CPU time (s) 282.28
Current children cumulated vsize (KiB) 101344
[startup+342.301 s]
/proc/loadavg: 2.01 2.02 2.00 3/430 2610
/proc/meminfo: memFree=27816076/32951124 swapFree=43324008/67111528
[pid=2600] ppid=2598 vsize=102116 CPUtime=342.28 cores=0,2,4,6
/proc/2600/stat : 2600 (bsolo) R 2598 2600 585 0 -1 4202496 23241 0 0 0 34213 15 0 0 25 0 1 0 829258261 104566784 23101 33554432000 134512640 137138936 4291617920 18446744073709551615 134606982 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/2600/statm: 25529 23101 192 642 0 24885 0
Current children cumulated CPU time (s) 342.28
Current children cumulated vsize (KiB) 102116
[startup+402.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/430 2612
/proc/meminfo: memFree=27814772/32951124 swapFree=43324008/67111528
[pid=2600] ppid=2598 vsize=102116 CPUtime=402.29 cores=0,2,4,6
/proc/2600/stat : 2600 (bsolo) R 2598 2600 585 0 -1 4202496 23241 0 0 0 40212 17 0 0 25 0 1 0 829258261 104566784 23101 33554432000 134512640 137138936 4291617920 18446744073709551615 134575898 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/2600/statm: 25529 23101 192 642 0 24885 0
Current children cumulated CPU time (s) 402.29
Current children cumulated vsize (KiB) 102116
[startup+462.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/430 2614
/proc/meminfo: memFree=27807140/32951124 swapFree=43324008/67111528
[pid=2600] ppid=2598 vsize=109976 CPUtime=462.29 cores=0,2,4,6
/proc/2600/stat : 2600 (bsolo) R 2598 2600 585 0 -1 4202496 25193 0 0 0 46209 20 0 0 25 0 1 0 829258261 112615424 25053 33554432000 134512640 137138936 4291617920 18446744073709551615 134618214 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/2600/statm: 27494 25053 192 642 0 26850 0
Current children cumulated CPU time (s) 462.29
Current children cumulated vsize (KiB) 109976
[startup+522.3 s]
/proc/loadavg: 2.05 2.02 2.00 3/430 2615
/proc/meminfo: memFree=27749176/32951124 swapFree=43324008/67111528
[pid=2600] ppid=2598 vsize=111808 CPUtime=522.29 cores=0,2,4,6
/proc/2600/stat : 2600 (bsolo) R 2598 2600 585 0 -1 4202496 25681 0 0 0 52204 25 0 0 25 0 1 0 829258261 114491392 25530 33554432000 134512640 137138936 4291617920 18446744073709551615 134539684 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/2600/statm: 27952 25530 192 642 0 27308 0
Current children cumulated CPU time (s) 522.29
Current children cumulated vsize (KiB) 111808
[startup+582.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/430 2617
/proc/meminfo: memFree=27745040/32951124 swapFree=43324008/67111528
[pid=2600] ppid=2598 vsize=115988 CPUtime=582.3 cores=0,2,4,6
/proc/2600/stat : 2600 (bsolo) R 2598 2600 585 0 -1 4202496 26726 0 0 0 58201 29 0 0 25 0 1 0 829258261 118771712 26575 33554432000 134512640 137138936 4291617920 18446744073709551615 134599760 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/2600/statm: 28997 26575 192 642 0 28353 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 115988
[startup+642.301 s]
################
# More data... #
################
/proc/meminfo: memFree=28356580/32951124 swapFree=43324008/67111528
[pid=2600] ppid=2598 vsize=130092 CPUtime=1062.31 cores=0,2,4,6
/proc/2600/stat : 2600 (bsolo) R 2598 2600 585 0 -1 4202496 30335 0 0 0 106185 46 0 0 25 0 1 0 829258261 133214208 30101 33554432000 134512640 137138936 4291617920 18446744073709551615 134607563 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/2600/statm: 32523 30101 192 642 0 31879 0
Current children cumulated CPU time (s) 1062.31
Current children cumulated vsize (KiB) 130092
[startup+1122.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/430 2658
/proc/meminfo: memFree=28204152/32951124 swapFree=43324008/67111528
[pid=2600] ppid=2598 vsize=128784 CPUtime=1122.31 cores=0,2,4,6
/proc/2600/stat : 2600 (bsolo) R 2598 2600 585 0 -1 4202496 30335 0 0 0 112183 48 0 0 25 0 1 0 829258261 131874816 29774 33554432000 134512640 137138936 4291617920 18446744073709551615 134606964 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/2600/statm: 32196 29774 192 642 0 31552 0
Current children cumulated CPU time (s) 1122.31
Current children cumulated vsize (KiB) 128784
[startup+1182.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/430 2660
/proc/meminfo: memFree=28047764/32951124 swapFree=43324008/67111528
[pid=2600] ppid=2598 vsize=131672 CPUtime=1182.31 cores=0,2,4,6
/proc/2600/stat : 2600 (bsolo) R 2598 2600 585 0 -1 4202496 31053 0 0 0 118182 49 0 0 25 0 1 0 829258261 134832128 30492 33554432000 134512640 137138936 4291617920 18446744073709551615 134606979 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/2600/statm: 32918 30492 192 642 0 32274 0
Current children cumulated CPU time (s) 1182.31
Current children cumulated vsize (KiB) 131672
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/430 2661
/proc/meminfo: memFree=27951856/32951124 swapFree=43324008/67111528
[pid=2600] ppid=2598 vsize=132128 CPUtime=1242.31 cores=0,2,4,6
/proc/2600/stat : 2600 (bsolo) R 2598 2600 585 0 -1 4202496 31163 0 0 0 124179 52 0 0 25 0 1 0 829258261 135299072 30602 33554432000 134512640 137138936 4291617920 18446744073709551615 134607615 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/2600/statm: 33032 30602 192 642 0 32388 0
Current children cumulated CPU time (s) 1242.31
Current children cumulated vsize (KiB) 132128
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/430 2663
/proc/meminfo: memFree=27951800/32951124 swapFree=43324008/67111528
[pid=2600] ppid=2598 vsize=132128 CPUtime=1302.32 cores=0,2,4,6
/proc/2600/stat : 2600 (bsolo) R 2598 2600 585 0 -1 4202496 31163 0 0 0 130178 54 0 0 25 0 1 0 829258261 135299072 30602 33554432000 134512640 137138936 4291617920 18446744073709551615 136296960 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/2600/statm: 33032 30602 192 642 0 32388 0
Current children cumulated CPU time (s) 1302.32
Current children cumulated vsize (KiB) 132128
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/430 2665
/proc/meminfo: memFree=27951756/32951124 swapFree=43324008/67111528
[pid=2600] ppid=2598 vsize=132128 CPUtime=1362.32 cores=0,2,4,6
/proc/2600/stat : 2600 (bsolo) R 2598 2600 585 0 -1 4202496 31163 0 0 0 136176 56 0 0 25 0 1 0 829258261 135299072 30602 33554432000 134512640 137138936 4291617920 18446744073709551615 134618216 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/2600/statm: 33032 30602 192 642 0 32388 0
Current children cumulated CPU time (s) 1362.32
Current children cumulated vsize (KiB) 132128
[startup+1422.32 s]
/proc/loadavg: 2.09 2.03 2.01 3/430 2666
/proc/meminfo: memFree=27944276/32951124 swapFree=43324008/67111528
[pid=2600] ppid=2598 vsize=139608 CPUtime=1422.34 cores=0,2,4,6
/proc/2600/stat : 2600 (bsolo) R 2598 2600 585 0 -1 4202496 33041 0 0 0 142176 58 0 0 25 0 1 0 829258261 142958592 32480 33554432000 134512640 137138936 4291617920 18446744073709551615 134607574 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/2600/statm: 34902 32480 192 642 0 34258 0
Current children cumulated CPU time (s) 1422.34
Current children cumulated vsize (KiB) 139608
[startup+1482.3 s]
/proc/loadavg: 2.07 2.03 2.01 3/430 2668
/proc/meminfo: memFree=27944232/32951124 swapFree=43324008/67111528
[pid=2600] ppid=2598 vsize=139608 CPUtime=1482.32 cores=0,2,4,6
/proc/2600/stat : 2600 (bsolo) R 2598 2600 585 0 -1 4202496 33041 0 0 0 148173 59 0 0 25 0 1 0 829258261 142958592 32480 33554432000 134512640 137138936 4291617920 18446744073709551615 134607615 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/2600/statm: 34902 32480 192 642 0 34258 0
Current children cumulated CPU time (s) 1482.32
Current children cumulated vsize (KiB) 139608
[startup+1542.3 s]
/proc/loadavg: 2.02 2.03 2.00 3/430 2678
/proc/meminfo: memFree=27867660/32951124 swapFree=43324008/67111528
[pid=2600] ppid=2598 vsize=139608 CPUtime=1542.32 cores=0,2,4,6
/proc/2600/stat : 2600 (bsolo) R 2598 2600 585 0 -1 4202496 33041 0 0 0 154171 61 0 0 25 0 1 0 829258261 142958592 32480 33554432000 134512640 137138936 4291617920 18446744073709551615 134618214 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/2600/statm: 34902 32480 192 642 0 34258 0
Current children cumulated CPU time (s) 1542.32
Current children cumulated vsize (KiB) 139608
[startup+1602.3 s]
/proc/loadavg: 2.05 2.03 2.00 3/430 2680
/proc/meminfo: memFree=27867232/32951124 swapFree=43324008/67111528
[pid=2600] ppid=2598 vsize=139608 CPUtime=1602.33 cores=0,2,4,6
/proc/2600/stat : 2600 (bsolo) R 2598 2600 585 0 -1 4202496 33041 0 0 0 160171 62 0 0 25 0 1 0 829258261 142958592 32480 33554432000 134512640 137138936 4291617920 18446744073709551615 134606663 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/2600/statm: 34902 32480 192 642 0 34258 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 139608
[startup+1662.3 s]
/proc/loadavg: 2.05 2.04 2.00 3/430 2684
/proc/meminfo: memFree=27867820/32951124 swapFree=43324008/67111528
[pid=2600] ppid=2598 vsize=139608 CPUtime=1662.33 cores=0,2,4,6
/proc/2600/stat : 2600 (bsolo) R 2598 2600 585 0 -1 4202496 33041 0 0 0 166170 63 0 0 25 0 1 0 829258261 142958592 32480 33554432000 134512640 137138936 4291617920 18446744073709551615 134607009 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/2600/statm: 34902 32480 192 642 0 34258 0
Current children cumulated CPU time (s) 1662.33
Current children cumulated vsize (KiB) 139608
[startup+1722.3 s]
/proc/loadavg: 2.02 2.03 2.00 3/430 2686
/proc/meminfo: memFree=27867776/32951124 swapFree=43324008/67111528
[pid=2600] ppid=2598 vsize=139608 CPUtime=1722.33 cores=0,2,4,6
/proc/2600/stat : 2600 (bsolo) R 2598 2600 585 0 -1 4202496 33041 0 0 0 172169 64 0 0 25 0 1 0 829258261 142958592 32480 33554432000 134512640 137138936 4291617920 18446744073709551615 134573444 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/2600/statm: 34902 32480 192 642 0 34258 0
Current children cumulated CPU time (s) 1722.33
Current children cumulated vsize (KiB) 139608
[startup+1782.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/430 2688
/proc/meminfo: memFree=27866756/32951124 swapFree=43324008/67111528
[pid=2600] ppid=2598 vsize=139608 CPUtime=1782.34 cores=0,2,4,6
/proc/2600/stat : 2600 (bsolo) R 2598 2600 585 0 -1 4202496 33041 0 0 0 178168 66 0 0 25 0 1 0 829258261 142958592 32480 33554432000 134512640 137138936 4291617920 18446744073709551615 134607587 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/2600/statm: 34902 32480 192 642 0 34258 0
Current children cumulated CPU time (s) 1782.34
Current children cumulated vsize (KiB) 139608
Solver just ended. Dumping a history of the last processes samples
[startup+1785.5 s]
/proc/loadavg: 2.00 2.02 2.00 3/430 2688
/proc/meminfo: memFree=27866740/32951124 swapFree=43324008/67111528
[pid=2600] ppid=2598 vsize=139608 CPUtime=1785.54 cores=0,2,4,6
/proc/2600/stat : 2600 (bsolo) R 2598 2600 585 0 -1 4202496 33041 0 0 0 178488 66 0 0 25 0 1 0 829258261 142958592 32480 33554432000 134512640 137138936 4291617920 18446744073709551615 134574740 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/2600/statm: 34902 32480 192 642 0 34258 0
Current children cumulated CPU time (s) 1785.54
Current children cumulated vsize (KiB) 139608
[startup+1791.92 s]
/proc/loadavg: 2.00 2.02 2.00 3/430 2688
/proc/meminfo: memFree=27866864/32951124 swapFree=43324008/67111528
[pid=2600] ppid=2598 vsize=139608 CPUtime=1791.95 cores=0,2,4,6
/proc/2600/stat : 2600 (bsolo) R 2598 2600 585 0 -1 4202496 33041 0 0 0 179129 66 0 0 25 0 1 0 829258261 142958592 32480 33554432000 134512640 137138936 4291617920 18446744073709551615 134542480 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/2600/statm: 34902 32480 192 642 0 34258 0
Current children cumulated CPU time (s) 1791.95
Current children cumulated vsize (KiB) 139608
[startup+1795.1 s]
/proc/loadavg: 2.00 2.02 2.00 3/430 2688
/proc/meminfo: memFree=27866740/32951124 swapFree=43324008/67111528
[pid=2600] ppid=2598 vsize=139608 CPUtime=1795.14 cores=0,2,4,6
/proc/2600/stat : 2600 (bsolo) R 2598 2600 585 0 -1 4202496 33041 0 0 0 179448 66 0 0 25 0 1 0 829258261 142958592 32480 33554432000 134512640 137138936 4291617920 18446744073709551615 134542516 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/2600/statm: 34902 32480 192 642 0 34258 0
Current children cumulated CPU time (s) 1795.14
Current children cumulated vsize (KiB) 139608
[startup+1796.7 s]
/proc/loadavg: 2.00 2.02 2.00 3/430 2688
/proc/meminfo: memFree=27866740/32951124 swapFree=43324008/67111528
[pid=2600] ppid=2598 vsize=139608 CPUtime=1796.73 cores=0,2,4,6
/proc/2600/stat : 2600 (bsolo) R 2598 2600 585 0 -1 4202496 33041 0 0 0 179607 66 0 0 25 0 1 0 829258261 142958592 32480 33554432000 134512640 137138936 4291617920 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/2600/statm: 34902 32480 192 642 0 34258 0
Current children cumulated CPU time (s) 1796.73
Current children cumulated vsize (KiB) 139608
[startup+1797.5 s]
/proc/loadavg: 2.00 2.02 2.00 3/430 2688
/proc/meminfo: memFree=27866740/32951124 swapFree=43324008/67111528
[pid=2600] ppid=2598 vsize=139608 CPUtime=1797.53 cores=0,2,4,6
/proc/2600/stat : 2600 (bsolo) R 2598 2600 585 0 -1 4202496 33041 0 0 0 179687 66 0 0 25 0 1 0 829258261 142958592 32480 33554432000 134512640 137138936 4291617920 18446744073709551615 134618336 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/2600/statm: 34902 32480 192 642 0 34258 0
Current children cumulated CPU time (s) 1797.53
Current children cumulated vsize (KiB) 139608
[startup+1797.9 s]
/proc/loadavg: 2.00 2.02 2.00 3/430 2688
/proc/meminfo: memFree=27866740/32951124 swapFree=43324008/67111528
[pid=2600] ppid=2598 vsize=139608 CPUtime=1797.93 cores=0,2,4,6
/proc/2600/stat : 2600 (bsolo) R 2598 2600 585 0 -1 4202496 33041 0 0 0 179727 66 0 0 25 0 1 0 829258261 142958592 32480 33554432000 134512640 137138936 4291617920 18446744073709551615 134618214 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/2600/statm: 34902 32480 192 642 0 34258 0
Current children cumulated CPU time (s) 1797.93
Current children cumulated vsize (KiB) 139608
Child status: 0
Real time (s): 1797.97
CPU time (s): 1798.01
CPU user time (s): 1797.34
CPU system time (s): 0.672897
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 139608
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1797.34
system time used= 0.672897
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 33042
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= 3163
runsolver used 7.9078 second user time and 16.6145 second system time
The end