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-3462965-1307179122/watcher-3462965-1307179122 -o /tmp/evaluation-result-3462965-1307179122/solver-3462965-1307179122 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 HOME/instance-3462965-1307179122.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.00 2.00 2.00 3/437 11180
/proc/meminfo: memFree=24647292/32951124 swapFree=50923800/67111528
[pid=11180] ppid=11178 vsize=26416 CPUtime=0 cores=1,3,5,7
/proc/11180/stat : 11180 (bsolo) R 11178 11180 9722 0 -1 4202496 298 0 0 0 0 0 0 0 23 0 1 0 810327834 27049984 250 33554432000 134512640 137138936 4289214336 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/11180/statm: 6604 250 192 642 0 5960 0
[startup+0.027111 s]
/proc/loadavg: 2.00 2.00 2.00 3/437 11180
/proc/meminfo: memFree=24647292/32951124 swapFree=50923800/67111528
[pid=11180] ppid=11178 vsize=18732 CPUtime=0.02 cores=1,3,5,7
/proc/11180/stat : 11180 (bsolo) R 11178 11180 9722 0 -1 4202496 331 0 0 0 2 0 0 0 23 0 1 0 810327834 19181568 283 33554432000 134512640 137138936 4289214336 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/11180/statm: 4683 283 192 642 0 4039 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 18732
[startup+0.101085 s]
/proc/loadavg: 2.00 2.00 2.00 3/437 11180
/proc/meminfo: memFree=24647292/32951124 swapFree=50923800/67111528
[pid=11180] ppid=11178 vsize=19244 CPUtime=0.09 cores=1,3,5,7
/proc/11180/stat : 11180 (bsolo) R 11178 11180 9722 0 -1 4202496 480 0 0 0 9 0 0 0 23 0 1 0 810327834 19705856 432 33554432000 134512640 137138936 4289214336 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/11180/statm: 4811 432 192 642 0 4167 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 19244
[startup+0.301058 s]
/proc/loadavg: 2.00 2.00 2.00 3/437 11180
/proc/meminfo: memFree=24647292/32951124 swapFree=50923800/67111528
[pid=11180] ppid=11178 vsize=20532 CPUtime=0.29 cores=1,3,5,7
/proc/11180/stat : 11180 (bsolo) R 11178 11180 9722 0 -1 4202496 798 0 0 0 29 0 0 0 25 0 1 0 810327834 21024768 750 33554432000 134512640 137138936 4289214336 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/11180/statm: 5133 750 192 642 0 4489 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 20532
[startup+0.700965 s]
/proc/loadavg: 2.00 2.00 2.00 3/437 11180
/proc/meminfo: memFree=24647292/32951124 swapFree=50923800/67111528
[pid=11180] ppid=11178 vsize=21948 CPUtime=0.69 cores=1,3,5,7
/proc/11180/stat : 11180 (bsolo) R 11178 11180 9722 0 -1 4202496 1151 0 0 0 69 0 0 0 25 0 1 0 810327834 22474752 1103 33554432000 134512640 137138936 4289214336 18446744073709551615 134542295 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/11180/statm: 5487 1103 192 642 0 4843 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 21948
[startup+1.50081 s]
/proc/loadavg: 2.00 2.00 2.00 3/438 11181
/proc/meminfo: memFree=24639596/32951124 swapFree=50923800/67111528
[pid=11180] ppid=11178 vsize=22588 CPUtime=1.49 cores=1,3,5,7
/proc/11180/stat : 11180 (bsolo) R 11178 11180 9722 0 -1 4202496 1316 0 0 0 148 1 0 0 25 0 1 0 810327834 23130112 1268 33554432000 134512640 137138936 4289214336 18446744073709551615 134618047 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/11180/statm: 5647 1268 192 642 0 5003 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 22588
[startup+3.10049 s]
/proc/loadavg: 2.00 2.00 2.00 3/438 11181
/proc/meminfo: memFree=24636784/32951124 swapFree=50923800/67111528
[pid=11180] ppid=11178 vsize=23492 CPUtime=3.09 cores=1,3,5,7
/proc/11180/stat : 11180 (bsolo) R 11178 11180 9722 0 -1 4202496 1534 0 0 0 308 1 0 0 25 0 1 0 810327834 24055808 1486 33554432000 134512640 137138936 4289214336 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/11180/statm: 5873 1486 192 642 0 5229 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 23492
[startup+6.30085 s]
/proc/loadavg: 2.00 2.00 2.00 3/438 11181
/proc/meminfo: memFree=24634452/32951124 swapFree=50923800/67111528
[pid=11180] ppid=11178 vsize=24264 CPUtime=6.29 cores=1,3,5,7
/proc/11180/stat : 11180 (bsolo) R 11178 11180 9722 0 -1 4202496 1715 0 0 0 627 2 0 0 25 0 1 0 810327834 24846336 1667 33554432000 134512640 137138936 4289214336 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/11180/statm: 6066 1667 192 642 0 5422 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 24264
[startup+12.7006 s]
/proc/loadavg: 2.00 2.00 2.00 3/438 11181
/proc/meminfo: memFree=24632112/32951124 swapFree=50923800/67111528
[pid=11180] ppid=11178 vsize=24896 CPUtime=12.69 cores=1,3,5,7
/proc/11180/stat : 11180 (bsolo) R 11178 11180 9722 0 -1 4202496 1891 0 0 0 1265 4 0 0 25 0 1 0 810327834 25493504 1843 33554432000 134512640 137138936 4289214336 18446744073709551615 134542295 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/11180/statm: 6224 1843 192 642 0 5580 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 24896
[startup+25.501 s]
/proc/loadavg: 2.07 2.02 2.00 3/438 11182
/proc/meminfo: memFree=24624676/32951124 swapFree=50923800/67111528
[pid=11180] ppid=11178 vsize=25932 CPUtime=25.49 cores=1,3,5,7
/proc/11180/stat : 11180 (bsolo) R 11178 11180 9722 0 -1 4202496 2146 0 0 0 2541 8 0 0 25 0 1 0 810327834 26554368 2098 33554432000 134512640 137138936 4289214336 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/11180/statm: 6483 2098 192 642 0 5839 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 25932
[startup+51.101 s]
/proc/loadavg: 2.05 2.01 2.00 3/438 11182
/proc/meminfo: memFree=24618424/32951124 swapFree=50923800/67111528
[pid=11180] ppid=11178 vsize=27480 CPUtime=51.09 cores=1,3,5,7
/proc/11180/stat : 11180 (bsolo) R 11178 11180 9722 0 -1 4202496 2532 0 0 0 5095 14 0 0 25 0 1 0 810327834 28139520 2484 33554432000 134512640 137138936 4289214336 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/11180/statm: 6870 2484 192 642 0 6226 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 27480
[startup+102.316 s]
/proc/loadavg: 2.02 2.01 2.00 3/438 11184
/proc/meminfo: memFree=24599068/32951124 swapFree=50923800/67111528
[pid=11180] ppid=11178 vsize=29324 CPUtime=102.31 cores=1,3,5,7
/proc/11180/stat : 11180 (bsolo) R 11178 11180 9722 0 -1 4202496 2996 0 0 0 10207 24 0 0 25 0 1 0 810327834 30027776 2948 33554432000 134512640 137138936 4289214336 18446744073709551615 135984569 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/11180/statm: 7331 2948 192 642 0 6687 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 29324
[startup+162.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/438 11185
/proc/meminfo: memFree=24598056/32951124 swapFree=50923800/67111528
[pid=11180] ppid=11178 vsize=30196 CPUtime=162.3 cores=1,3,5,7
/proc/11180/stat : 11180 (bsolo) R 11178 11180 9722 0 -1 4202496 3200 0 0 0 16195 35 0 0 25 0 1 0 810327834 30920704 3152 33554432000 134512640 137138936 4289214336 18446744073709551615 134603118 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/11180/statm: 7549 3152 192 642 0 6905 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 30196
[startup+222.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/438 11189
/proc/meminfo: memFree=24598164/32951124 swapFree=50923800/67111528
[pid=11180] ppid=11178 vsize=30436 CPUtime=222.3 cores=1,3,5,7
/proc/11180/stat : 11180 (bsolo) R 11178 11180 9722 0 -1 4202496 3264 0 0 0 22182 48 0 0 25 0 1 0 810327834 31166464 3216 33554432000 134512640 137138936 4289214336 18446744073709551615 134542761 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/11180/statm: 7609 3216 192 642 0 6965 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 30436
[startup+282.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/438 11190
/proc/meminfo: memFree=24595168/32951124 swapFree=50923800/67111528
[pid=11180] ppid=11178 vsize=31412 CPUtime=282.3 cores=1,3,5,7
/proc/11180/stat : 11180 (bsolo) R 11178 11180 9722 0 -1 4202496 3507 0 0 0 28171 59 0 0 25 0 1 0 810327834 32165888 3459 33554432000 134512640 137138936 4289214336 18446744073709551615 134542310 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/11180/statm: 7853 3459 192 642 0 7209 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 31412
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/438 11192
/proc/meminfo: memFree=24594416/32951124 swapFree=50923800/67111528
[pid=11180] ppid=11178 vsize=31484 CPUtime=342.31 cores=1,3,5,7
/proc/11180/stat : 11180 (bsolo) R 11178 11180 9722 0 -1 4202496 3527 0 0 0 34161 70 0 0 25 0 1 0 810327834 32239616 3479 33554432000 134512640 137138936 4289214336 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/11180/statm: 7871 3479 192 642 0 7227 0
Current children cumulated CPU time (s) 342.31
Current children cumulated vsize (KiB) 31484
[startup+402.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/438 11197
/proc/meminfo: memFree=24579744/32951124 swapFree=50923800/67111528
[pid=11180] ppid=11178 vsize=31440 CPUtime=402.3 cores=1,3,5,7
/proc/11180/stat : 11180 (bsolo) R 11178 11180 9722 0 -1 4202496 3527 0 0 0 40151 79 0 0 25 0 1 0 810327834 32194560 3479 33554432000 134512640 137138936 4289214336 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/11180/statm: 7860 3479 192 642 0 7216 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 31440
[startup+462.3 s]
/proc/loadavg: 2.09 2.03 2.00 3/438 11198
/proc/meminfo: memFree=24577936/32951124 swapFree=50923800/67111528
[pid=11180] ppid=11178 vsize=33000 CPUtime=462.31 cores=1,3,5,7
/proc/11180/stat : 11180 (bsolo) R 11178 11180 9722 0 -1 4202496 3908 0 0 0 46141 90 0 0 25 0 1 0 810327834 33792000 3860 33554432000 134512640 137138936 4289214336 18446744073709551615 134542310 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/11180/statm: 8250 3860 192 642 0 7606 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 33000
[startup+522.3 s]
/proc/loadavg: 2.07 2.03 2.00 3/438 11200
/proc/meminfo: memFree=24577920/32951124 swapFree=50923800/67111528
[pid=11180] ppid=11178 vsize=32996 CPUtime=522.32 cores=1,3,5,7
/proc/11180/stat : 11180 (bsolo) R 11178 11180 9722 0 -1 4202496 3908 0 0 0 52130 102 0 0 25 0 1 0 810327834 33787904 3860 33554432000 134512640 137138936 4289214336 18446744073709551615 136297633 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/11180/statm: 8249 3860 192 642 0 7605 0
Current children cumulated CPU time (s) 522.32
Current children cumulated vsize (KiB) 32996
[startup+582.301 s]
/proc/loadavg: 2.06 2.04 2.00 3/438 11201
/proc/meminfo: memFree=24577776/32951124 swapFree=50923800/67111528
[pid=11180] ppid=11178 vsize=33212 CPUtime=582.31 cores=1,3,5,7
/proc/11180/stat : 11180 (bsolo) R 11178 11180 9722 0 -1 4202496 3957 0 0 0 58121 110 0 0 25 0 1 0 810327834 34009088 3909 33554432000 134512640 137138936 4289214336 18446744073709551615 136504096 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/11180/statm: 8303 3909 192 642 0 7659 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 33212
[startup+642.301 s]
################
# More data... #
################
/proc/meminfo: memFree=24563644/32951124 swapFree=50923800/67111528
[pid=11180] ppid=11178 vsize=36300 CPUtime=1062.34 cores=1,3,5,7
/proc/11180/stat : 11180 (bsolo) R 11178 11180 9722 0 -1 4202496 4735 0 0 0 106042 192 0 0 25 0 1 0 810327834 37171200 4687 33554432000 134512640 137138936 4289214336 18446744073709551615 134542620 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/11180/statm: 9075 4687 192 642 0 8431 0
Current children cumulated CPU time (s) 1062.34
Current children cumulated vsize (KiB) 36300
[startup+1122.3 s]
/proc/loadavg: 2.03 2.04 2.01 3/438 11216
/proc/meminfo: memFree=24563504/32951124 swapFree=50923800/67111528
[pid=11180] ppid=11178 vsize=36300 CPUtime=1122.35 cores=1,3,5,7
/proc/11180/stat : 11180 (bsolo) R 11178 11180 9722 0 -1 4202496 4735 0 0 0 112033 202 0 0 25 0 1 0 810327834 37171200 4687 33554432000 134512640 137138936 4289214336 18446744073709551615 134539680 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/11180/statm: 9075 4687 192 642 0 8431 0
Current children cumulated CPU time (s) 1122.35
Current children cumulated vsize (KiB) 36300
[startup+1182.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/438 11217
/proc/meminfo: memFree=24562752/32951124 swapFree=50923800/67111528
[pid=11180] ppid=11178 vsize=36300 CPUtime=1182.35 cores=1,3,5,7
/proc/11180/stat : 11180 (bsolo) R 11178 11180 9722 0 -1 4202496 4735 0 0 0 118026 209 0 0 25 0 1 0 810327834 37171200 4687 33554432000 134512640 137138936 4289214336 18446744073709551615 136511176 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/11180/statm: 9075 4687 192 642 0 8431 0
Current children cumulated CPU time (s) 1182.35
Current children cumulated vsize (KiB) 36300
[startup+1242.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/438 11219
/proc/meminfo: memFree=24562740/32951124 swapFree=50923800/67111528
[pid=11180] ppid=11178 vsize=36300 CPUtime=1242.35 cores=1,3,5,7
/proc/11180/stat : 11180 (bsolo) R 11178 11180 9722 0 -1 4202496 4735 0 0 0 124019 216 0 0 25 0 1 0 810327834 37171200 4687 33554432000 134512640 137138936 4289214336 18446744073709551615 134542307 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/11180/statm: 9075 4687 192 642 0 8431 0
Current children cumulated CPU time (s) 1242.35
Current children cumulated vsize (KiB) 36300
[startup+1302.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/438 11221
/proc/meminfo: memFree=24563104/32951124 swapFree=50923800/67111528
[pid=11180] ppid=11178 vsize=36292 CPUtime=1302.36 cores=1,3,5,7
/proc/11180/stat : 11180 (bsolo) R 11178 11180 9722 0 -1 4202496 4735 0 0 0 130012 224 0 0 25 0 1 0 810327834 37163008 4687 33554432000 134512640 137138936 4289214336 18446744073709551615 134542613 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/11180/statm: 9073 4687 192 642 0 8429 0
Current children cumulated CPU time (s) 1302.36
Current children cumulated vsize (KiB) 36292
[startup+1362.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/438 11222
/proc/meminfo: memFree=24563836/32951124 swapFree=50923800/67111528
[pid=11180] ppid=11178 vsize=36280 CPUtime=1362.35 cores=1,3,5,7
/proc/11180/stat : 11180 (bsolo) R 11178 11180 9722 0 -1 4202496 4735 0 0 0 136001 234 0 0 25 0 1 0 810327834 37150720 4687 33554432000 134512640 137138936 4289214336 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/11180/statm: 9070 4687 192 642 0 8426 0
Current children cumulated CPU time (s) 1362.35
Current children cumulated vsize (KiB) 36280
[startup+1422.32 s]
/proc/loadavg: 2.12 2.04 2.01 3/438 11224
/proc/meminfo: memFree=24562948/32951124 swapFree=50923800/67111528
[pid=11180] ppid=11178 vsize=36276 CPUtime=1422.37 cores=1,3,5,7
/proc/11180/stat : 11180 (bsolo) R 11178 11180 9722 0 -1 4202496 4735 0 0 0 141994 243 0 0 25 0 1 0 810327834 37146624 4687 33554432000 134512640 137138936 4289214336 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/11180/statm: 9069 4687 192 642 0 8425 0
Current children cumulated CPU time (s) 1422.37
Current children cumulated vsize (KiB) 36276
[startup+1482.3 s]
/proc/loadavg: 2.20 2.06 2.01 3/438 11225
/proc/meminfo: memFree=24563060/32951124 swapFree=50923800/67111528
[pid=11180] ppid=11178 vsize=36272 CPUtime=1482.36 cores=1,3,5,7
/proc/11180/stat : 11180 (bsolo) R 11178 11180 9722 0 -1 4202496 4735 0 0 0 147984 252 0 0 25 0 1 0 810327834 37142528 4687 33554432000 134512640 137138936 4289214336 18446744073709551615 134575894 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/11180/statm: 9068 4687 192 642 0 8424 0
Current children cumulated CPU time (s) 1482.36
Current children cumulated vsize (KiB) 36272
[startup+1542.3 s]
/proc/loadavg: 2.15 2.06 2.01 3/438 11227
/proc/meminfo: memFree=24563296/32951124 swapFree=50923800/67111528
[pid=11180] ppid=11178 vsize=36264 CPUtime=1542.36 cores=1,3,5,7
/proc/11180/stat : 11180 (bsolo) R 11178 11180 9722 0 -1 4202496 4735 0 0 0 153974 262 0 0 25 0 1 0 810327834 37134336 4687 33554432000 134512640 137138936 4289214336 18446744073709551615 136511212 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/11180/statm: 9066 4687 192 642 0 8422 0
Current children cumulated CPU time (s) 1542.36
Current children cumulated vsize (KiB) 36264
[startup+1602.3 s]
/proc/loadavg: 2.05 2.05 2.01 3/438 11229
/proc/meminfo: memFree=24563160/32951124 swapFree=50923800/67111528
[pid=11180] ppid=11178 vsize=36260 CPUtime=1602.37 cores=1,3,5,7
/proc/11180/stat : 11180 (bsolo) R 11178 11180 9722 0 -1 4202496 4735 0 0 0 159967 270 0 0 25 0 1 0 810327834 37130240 4687 33554432000 134512640 137138936 4289214336 18446744073709551615 134542764 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/11180/statm: 9065 4687 192 642 0 8421 0
Current children cumulated CPU time (s) 1602.37
Current children cumulated vsize (KiB) 36260
[startup+1662.3 s]
/proc/loadavg: 2.02 2.04 2.00 3/438 11230
/proc/meminfo: memFree=24563376/32951124 swapFree=50923800/67111528
[pid=11180] ppid=11178 vsize=36252 CPUtime=1662.36 cores=1,3,5,7
/proc/11180/stat : 11180 (bsolo) R 11178 11180 9722 0 -1 4202496 4735 0 0 0 165959 277 0 0 25 0 1 0 810327834 37122048 4685 33554432000 134512640 137138936 4289214336 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/11180/statm: 9063 4685 192 642 0 8419 0
Current children cumulated CPU time (s) 1662.36
Current children cumulated vsize (KiB) 36252
[startup+1722.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/438 11232
/proc/meminfo: memFree=24562124/32951124 swapFree=50923800/67111528
[pid=11180] ppid=11178 vsize=37660 CPUtime=1722.37 cores=1,3,5,7
/proc/11180/stat : 11180 (bsolo) R 11178 11180 9722 0 -1 4202496 5093 0 0 0 171952 285 0 0 25 0 1 0 810327834 38563840 5028 33554432000 134512640 137138936 4289214336 18446744073709551615 136520996 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/11180/statm: 9415 5028 192 642 0 8771 0
Current children cumulated CPU time (s) 1722.37
Current children cumulated vsize (KiB) 37660
[startup+1782.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/438 11260
/proc/meminfo: memFree=24611416/32951124 swapFree=50923800/67111528
[pid=11180] ppid=11178 vsize=37656 CPUtime=1782.37 cores=1,3,5,7
/proc/11180/stat : 11180 (bsolo) R 11178 11180 9722 0 -1 4202496 5093 0 0 0 177946 291 0 0 25 0 1 0 810327834 38559744 5028 33554432000 134512640 137138936 4289214336 18446744073709551615 134542770 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/11180/statm: 9414 5028 192 642 0 8770 0
Current children cumulated CPU time (s) 1782.37
Current children cumulated vsize (KiB) 37656
Solver just ended. Dumping a history of the last processes samples
[startup+1785.5 s]
/proc/loadavg: 2.00 2.02 2.00 3/438 11261
/proc/meminfo: memFree=24606332/32951124 swapFree=50923800/67111528
[pid=11180] ppid=11178 vsize=37652 CPUtime=1785.58 cores=1,3,5,7
/proc/11180/stat : 11180 (bsolo) R 11178 11180 9722 0 -1 4202496 5093 0 0 0 178266 292 0 0 25 0 1 0 810327834 38555648 5028 33554432000 134512640 137138936 4289214336 18446744073709551615 134542516 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/11180/statm: 9413 5028 192 642 0 8769 0
Current children cumulated CPU time (s) 1785.58
Current children cumulated vsize (KiB) 37652
[startup+1791.92 s]
/proc/loadavg: 2.00 2.02 2.00 3/438 11261
/proc/meminfo: memFree=24592316/32951124 swapFree=50923800/67111528
[pid=11180] ppid=11178 vsize=37652 CPUtime=1791.99 cores=1,3,5,7
/proc/11180/stat : 11180 (bsolo) R 11178 11180 9722 0 -1 4202496 5093 0 0 0 178906 293 0 0 25 0 1 0 810327834 38555648 5028 33554432000 134512640 137138936 4289214336 18446744073709551615 136504212 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/11180/statm: 9413 5028 192 642 0 8769 0
Current children cumulated CPU time (s) 1791.99
Current children cumulated vsize (KiB) 37652
[startup+1795.1 s]
/proc/loadavg: 2.00 2.02 2.00 3/438 11261
/proc/meminfo: memFree=24583760/32951124 swapFree=50923800/67111528
[pid=11180] ppid=11178 vsize=37652 CPUtime=1795.19 cores=1,3,5,7
/proc/11180/stat : 11180 (bsolo) R 11178 11180 9722 0 -1 4202496 5093 0 0 0 179225 294 0 0 25 0 1 0 810327834 38555648 5028 33554432000 134512640 137138936 4289214336 18446744073709551615 134542295 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/11180/statm: 9413 5028 192 642 0 8769 0
Current children cumulated CPU time (s) 1795.19
Current children cumulated vsize (KiB) 37652
[startup+1796.7 s]
/proc/loadavg: 2.00 2.02 2.00 3/438 11261
/proc/meminfo: memFree=24581280/32951124 swapFree=50923800/67111528
[pid=11180] ppid=11178 vsize=37652 CPUtime=1796.77 cores=1,3,5,7
/proc/11180/stat : 11180 (bsolo) R 11178 11180 9722 0 -1 4202496 5093 0 0 0 179383 294 0 0 25 0 1 0 810327834 38555648 5028 33554432000 134512640 137138936 4289214336 18446744073709551615 134542480 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/11180/statm: 9413 5028 192 642 0 8769 0
Current children cumulated CPU time (s) 1796.77
Current children cumulated vsize (KiB) 37652
[startup+1797.5 s]
/proc/loadavg: 2.00 2.02 2.00 3/438 11261
/proc/meminfo: memFree=24579420/32951124 swapFree=50923800/67111528
[pid=11180] ppid=11178 vsize=37652 CPUtime=1797.57 cores=1,3,5,7
/proc/11180/stat : 11180 (bsolo) R 11178 11180 9722 0 -1 4202496 5093 0 0 0 179463 294 0 0 25 0 1 0 810327834 38555648 5028 33554432000 134512640 137138936 4289214336 18446744073709551615 134542770 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/11180/statm: 9413 5028 192 642 0 8769 0
Current children cumulated CPU time (s) 1797.57
Current children cumulated vsize (KiB) 37652
[startup+1797.9 s]
/proc/loadavg: 2.00 2.02 2.00 3/438 11261
/proc/meminfo: memFree=24579420/32951124 swapFree=50923800/67111528
[pid=11180] ppid=11178 vsize=37652 CPUtime=1797.97 cores=1,3,5,7
/proc/11180/stat : 11180 (bsolo) R 11178 11180 9722 0 -1 4202496 5093 0 0 0 179503 294 0 0 25 0 1 0 810327834 38555648 5028 33554432000 134512640 137138936 4289214336 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/11180/statm: 9413 5028 192 642 0 8769 0
Current children cumulated CPU time (s) 1797.97
Current children cumulated vsize (KiB) 37652
Child status: 0
Real time (s): 1797.92
CPU time (s): 1798
CPU user time (s): 1795.05
CPU system time (s): 2.94955
CPU usage (%): 100.005
Max. virtual memory (cumulated for all children) (KiB): 37668
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1795.05
system time used= 2.94955
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 5093
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= 4
involuntary context switches= 2649
runsolver used 7.00593 second user time and 17.5263 second system time
The end