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-3463646-1307177268/watcher-3463646-1307177268 -o /tmp/evaluation-result-3463646-1307177268/solver-3463646-1307177268 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 HOME/instance-3463646-1307177268.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.15 2.06 2.00 2/424 782
/proc/meminfo: memFree=24825080/32951124 swapFree=44043516/67111528
[pid=782] ppid=780 vsize=10852 CPUtime=0 cores=1,3,5,7
/proc/782/stat : 782 (bsolo) R 780 782 31765 0 -1 4202496 276 0 0 0 0 0 0 0 25 0 1 0 829324983 11112448 231 33554432000 134512640 137138936 4290026656 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/782/statm: 2713 231 173 642 0 2053 0
[startup+0.035488 s]
/proc/loadavg: 2.15 2.06 2.00 2/424 782
/proc/meminfo: memFree=24825080/32951124 swapFree=44043516/67111528
[pid=782] ppid=780 vsize=13284 CPUtime=0.03 cores=1,3,5,7
/proc/782/stat : 782 (bsolo) R 780 782 31765 0 -1 4202496 808 0 0 0 3 0 0 0 25 0 1 0 829324983 13602816 658 33554432000 134512640 137138936 4290026656 18446744073709551615 135071011 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/782/statm: 3321 658 278 642 0 2677 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 13284
[startup+0.10048 s]
/proc/loadavg: 2.15 2.06 2.00 2/424 782
/proc/meminfo: memFree=24825080/32951124 swapFree=44043516/67111528
[pid=782] ppid=780 vsize=13528 CPUtime=0.09 cores=1,3,5,7
/proc/782/stat : 782 (bsolo) R 780 782 31765 0 -1 4202496 3034 0 0 0 9 0 0 0 25 0 1 0 829324983 13852672 613 33554432000 134512640 137138936 4290026656 18446744073709551615 135471453 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/782/statm: 3382 615 286 642 0 2738 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 13528
[startup+0.300442 s]
/proc/loadavg: 2.15 2.06 2.00 2/424 782
/proc/meminfo: memFree=24825080/32951124 swapFree=44043516/67111528
[pid=782] ppid=780 vsize=13568 CPUtime=0.29 cores=1,3,5,7
/proc/782/stat : 782 (bsolo) R 780 782 31765 0 -1 4202496 11698 0 0 0 28 1 0 0 25 0 1 0 829324983 13893632 780 33554432000 134512640 137138936 4290026656 18446744073709551615 135445280 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/782/statm: 3392 780 288 642 0 2748 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 13568
[startup+0.700367 s]
/proc/loadavg: 2.15 2.06 2.00 2/424 782
/proc/meminfo: memFree=24825080/32951124 swapFree=44043516/67111528
[pid=782] ppid=780 vsize=13632 CPUtime=0.69 cores=1,3,5,7
/proc/782/stat : 782 (bsolo) R 780 782 31765 0 -1 4202496 35877 0 0 0 66 3 0 0 25 0 1 0 829324983 13959168 649 33554432000 134512640 137138936 4290026656 18446744073709551615 135457072 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/782/statm: 3408 649 288 642 0 2764 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 13632
[startup+1.50023 s]
/proc/loadavg: 2.14 2.06 2.00 3/425 783
/proc/meminfo: memFree=24822716/32951124 swapFree=44043516/67111528
[pid=782] ppid=780 vsize=13636 CPUtime=1.49 cores=1,3,5,7
/proc/782/stat : 782 (bsolo) R 780 782 31765 0 -1 4202496 71152 0 0 0 142 7 0 0 25 0 1 0 829324983 13963264 696 33554432000 134512640 137138936 4290026656 18446744073709551615 134721220 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/782/statm: 3409 696 288 642 0 2765 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 13636
[startup+3.10093 s]
/proc/loadavg: 2.14 2.06 2.00 3/425 783
/proc/meminfo: memFree=24820740/32951124 swapFree=44043516/67111528
[pid=782] ppid=780 vsize=14552 CPUtime=3.09 cores=1,3,5,7
/proc/782/stat : 782 (bsolo) R 780 782 31765 0 -1 4202496 131205 0 0 0 296 13 0 0 25 0 1 0 829324983 14901248 909 33554432000 134512640 137138936 4290026656 18446744073709551615 135473174 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/782/statm: 3638 909 288 642 0 2994 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 14552
[startup+6.30035 s]
/proc/loadavg: 2.14 2.06 2.00 3/425 783
/proc/meminfo: memFree=24820116/32951124 swapFree=44043516/67111528
[pid=782] ppid=780 vsize=16060 CPUtime=6.29 cores=1,3,5,7
/proc/782/stat : 782 (bsolo) R 780 782 31765 0 -1 4202496 283270 0 0 0 601 28 0 0 25 0 1 0 829324983 16445440 1240 33554432000 134512640 137138936 4290026656 18446744073709551615 134851597 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/782/statm: 4015 1240 288 642 0 3371 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 16060
[startup+12.7002 s]
/proc/loadavg: 2.12 2.06 2.00 3/425 783
/proc/meminfo: memFree=24816052/32951124 swapFree=44043516/67111528
[pid=782] ppid=780 vsize=17588 CPUtime=12.69 cores=1,3,5,7
/proc/782/stat : 782 (bsolo) R 780 782 31765 0 -1 4202496 502420 0 0 0 1219 50 0 0 25 0 1 0 829324983 18010112 1811 33554432000 134512640 137138936 4290026656 18446744073709551615 135435735 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/782/statm: 4397 1812 288 642 0 3753 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 17588
[startup+25.5008 s]
/proc/loadavg: 2.10 2.05 2.00 3/425 783
/proc/meminfo: memFree=24802176/32951124 swapFree=44043516/67111528
[pid=782] ppid=780 vsize=18996 CPUtime=25.49 cores=1,3,5,7
/proc/782/stat : 782 (bsolo) R 780 782 31765 0 -1 4202496 680513 0 0 0 2479 70 0 0 25 0 1 0 829324983 19451904 2035 33554432000 134512640 137138936 4290026656 18446744073709551615 135440689 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/782/statm: 4749 2035 288 642 0 4105 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 18996
[startup+51.1002 s]
/proc/loadavg: 2.06 2.05 2.00 3/425 784
/proc/meminfo: memFree=24800808/32951124 swapFree=44043516/67111528
[pid=782] ppid=780 vsize=20044 CPUtime=51.09 cores=1,3,5,7
/proc/782/stat : 782 (bsolo) R 780 782 31765 0 -1 4202496 1077726 0 0 0 4993 116 0 0 25 0 1 0 829324983 20525056 2317 33554432000 134512640 137138936 4290026656 18446744073709551615 135081643 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/782/statm: 5011 2317 288 642 0 4367 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 20044
[startup+102.315 s]
/proc/loadavg: 2.02 2.04 2.00 3/425 785
/proc/meminfo: memFree=24798688/32951124 swapFree=44043516/67111528
[pid=782] ppid=780 vsize=20004 CPUtime=102.3 cores=1,3,5,7
/proc/782/stat : 782 (bsolo) R 780 782 31765 0 -1 4202496 1560467 0 0 0 10049 181 0 0 25 0 1 0 829324983 20484096 2357 33554432000 134512640 137138936 4290026656 18446744073709551615 135457640 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/782/statm: 5001 2358 288 642 0 4357 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 20004
[startup+162.301 s]
/proc/loadavg: 2.01 2.03 2.00 3/425 885
/proc/meminfo: memFree=25856424/32951124 swapFree=44043516/67111528
[pid=782] ppid=780 vsize=19864 CPUtime=162.29 cores=1,3,5,7
/proc/782/stat : 782 (bsolo) R 780 782 31765 0 -1 4202496 2279126 0 0 0 15954 275 0 0 25 0 1 0 829324983 20340736 2637 33554432000 134512640 137138936 4290026656 18446744073709551615 134599247 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/782/statm: 4966 2637 288 642 0 4322 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 19864
[startup+222.301 s]
/proc/loadavg: 2.04 2.03 2.00 3/425 888
/proc/meminfo: memFree=25848600/32951124 swapFree=44043516/67111528
[pid=782] ppid=780 vsize=21996 CPUtime=222.3 cores=1,3,5,7
/proc/782/stat : 782 (bsolo) R 780 782 31765 0 -1 4202496 2970557 0 0 0 21865 365 0 0 25 0 1 0 829324983 22523904 2792 33554432000 134512640 137138936 4290026656 18446744073709551615 135251280 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/782/statm: 5499 2792 288 642 0 4855 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 21996
[startup+282.301 s]
/proc/loadavg: 2.10 2.05 2.01 3/425 889
/proc/meminfo: memFree=25842484/32951124 swapFree=44043516/67111528
[pid=782] ppid=780 vsize=23192 CPUtime=282.29 cores=1,3,5,7
/proc/782/stat : 782 (bsolo) R 780 782 31765 0 -1 4202496 3821087 0 0 0 27759 470 0 0 25 0 1 0 829324983 23748608 3095 33554432000 134512640 137138936 4290026656 18446744073709551615 135445326 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/782/statm: 5798 3095 288 642 0 5154 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 23192
[startup+342.3 s]
/proc/loadavg: 2.04 2.04 2.00 3/425 891
/proc/meminfo: memFree=25841480/32951124 swapFree=44043516/67111528
[pid=782] ppid=780 vsize=23292 CPUtime=342.3 cores=1,3,5,7
/proc/782/stat : 782 (bsolo) R 780 782 31765 0 -1 4202496 4747826 0 0 0 33647 583 0 0 25 0 1 0 829324983 23851008 3176 33554432000 134512640 137138936 4290026656 18446744073709551615 135344657 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/782/statm: 5823 3178 288 642 0 5179 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 23292
[startup+402.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/425 892
/proc/meminfo: memFree=25840228/32951124 swapFree=44043516/67111528
[pid=782] ppid=780 vsize=24776 CPUtime=402.3 cores=1,3,5,7
/proc/782/stat : 782 (bsolo) R 780 782 31765 0 -1 4202496 5710985 0 0 0 39528 702 0 0 25 0 1 0 829324983 25370624 3518 33554432000 134512640 137138936 4290026656 18446744073709551615 135445280 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/782/statm: 6194 3518 288 642 0 5550 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 24776
[startup+462.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/425 894
/proc/meminfo: memFree=25838588/32951124 swapFree=44043516/67111528
[pid=782] ppid=780 vsize=24540 CPUtime=462.3 cores=1,3,5,7
/proc/782/stat : 782 (bsolo) R 780 782 31765 0 -1 4202496 6532232 0 0 0 45419 811 0 0 25 0 1 0 829324983 25128960 3439 33554432000 134512640 137138936 4290026656 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/782/statm: 6135 3439 288 642 0 5491 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 24540
[startup+522.3 s]
/proc/loadavg: 2.06 2.05 2.01 3/425 896
/proc/meminfo: memFree=25838312/32951124 swapFree=44043516/67111528
[pid=782] ppid=780 vsize=22992 CPUtime=522.3 cores=1,3,5,7
/proc/782/stat : 782 (bsolo) R 780 782 31765 0 -1 4202496 7039675 0 0 0 51339 891 0 0 25 0 1 0 829324983 23543808 3419 33554432000 134512640 137138936 4290026656 18446744073709551615 134750271 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/782/statm: 5748 3419 288 642 0 5104 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 22992
[startup+582.3 s]
/proc/loadavg: 2.06 2.05 2.00 3/425 897
/proc/meminfo: memFree=25826252/32951124 swapFree=44043516/67111528
[pid=782] ppid=780 vsize=25796 CPUtime=582.3 cores=1,3,5,7
/proc/782/stat : 782 (bsolo) R 780 782 31765 0 -1 4202496 7714752 0 0 0 57243 987 0 0 25 0 1 0 829324983 26415104 3762 33554432000 134512640 137138936 4290026656 18446744073709551615 135466094 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/782/statm: 6449 3762 288 642 0 5805 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 25796
[startup+642.3 s]
################
# More data... #
################
/proc/meminfo: memFree=25824100/32951124 swapFree=44043516/67111528
[pid=782] ppid=780 vsize=27432 CPUtime=1122.26 cores=1,3,5,7
/proc/782/stat : 782 (bsolo) R 780 782 31765 0 -1 4202496 12080510 0 0 0 110580 1646 0 0 25 0 1 0 829324983 28090368 4221 33554432000 134512640 137138936 4290026656 18446744073709551615 135451760 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/782/statm: 6858 4221 288 642 0 6214 0
Current children cumulated CPU time (s) 1122.26
Current children cumulated vsize (KiB) 27432
[startup+1182.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/425 926
/proc/meminfo: memFree=25821968/32951124 swapFree=44043516/67111528
[pid=782] ppid=780 vsize=27456 CPUtime=1182.27 cores=1,3,5,7
/proc/782/stat : 782 (bsolo) R 780 782 31765 0 -1 4202496 12485096 0 0 0 116520 1707 0 0 25 0 1 0 829324983 28114944 4197 33554432000 134512640 137138936 4290026656 18446744073709551615 135443914 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/782/statm: 6864 4197 288 642 0 6220 0
Current children cumulated CPU time (s) 1182.27
Current children cumulated vsize (KiB) 27456
[startup+1242.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/425 928
/proc/meminfo: memFree=25822060/32951124 swapFree=44043516/67111528
[pid=782] ppid=780 vsize=27312 CPUtime=1242.27 cores=1,3,5,7
/proc/782/stat : 782 (bsolo) R 780 782 31765 0 -1 4202496 12896110 0 0 0 122457 1770 0 0 25 0 1 0 829324983 27967488 4159 33554432000 134512640 137138936 4290026656 18446744073709551615 135251354 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/782/statm: 6828 4159 288 642 0 6184 0
Current children cumulated CPU time (s) 1242.27
Current children cumulated vsize (KiB) 27312
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/425 929
/proc/meminfo: memFree=25821164/32951124 swapFree=44043516/67111528
[pid=782] ppid=780 vsize=27444 CPUtime=1302.27 cores=1,3,5,7
/proc/782/stat : 782 (bsolo) R 780 782 31765 0 -1 4202496 13293599 0 0 0 128397 1830 0 0 25 0 1 0 829324983 28102656 4176 33554432000 134512640 137138936 4290026656 18446744073709551615 135450397 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/782/statm: 6861 4176 288 642 0 6217 0
Current children cumulated CPU time (s) 1302.27
Current children cumulated vsize (KiB) 27444
[startup+1362.3 s]
/proc/loadavg: 2.22 2.07 2.02 3/425 931
/proc/meminfo: memFree=25820500/32951124 swapFree=44043516/67111528
[pid=782] ppid=780 vsize=27236 CPUtime=1362.28 cores=1,3,5,7
/proc/782/stat : 782 (bsolo) R 780 782 31765 0 -1 4202496 13712016 0 0 0 134333 1895 0 0 25 0 1 0 829324983 27889664 4168 33554432000 134512640 137138936 4290026656 18446744073709551615 135457928 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/782/statm: 6809 4168 288 642 0 6165 0
Current children cumulated CPU time (s) 1362.28
Current children cumulated vsize (KiB) 27236
[startup+1422.32 s]
/proc/loadavg: 2.11 2.07 2.02 3/425 933
/proc/meminfo: memFree=25821468/32951124 swapFree=44043516/67111528
[pid=782] ppid=780 vsize=27248 CPUtime=1422.29 cores=1,3,5,7
/proc/782/stat : 782 (bsolo) R 780 782 31765 0 -1 4202496 14199250 0 0 0 140257 1972 0 0 25 0 1 0 829324983 27901952 4158 33554432000 134512640 137138936 4290026656 18446744073709551615 136506636 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/782/statm: 6812 4161 288 642 0 6168 0
Current children cumulated CPU time (s) 1422.29
Current children cumulated vsize (KiB) 27248
[startup+1482.3 s]
/proc/loadavg: 2.04 2.05 2.02 3/425 934
/proc/meminfo: memFree=25821184/32951124 swapFree=44043516/67111528
[pid=782] ppid=780 vsize=27452 CPUtime=1482.28 cores=1,3,5,7
/proc/782/stat : 782 (bsolo) R 780 782 31765 0 -1 4202496 14712200 0 0 0 146176 2052 0 0 25 0 1 0 829324983 28110848 4200 33554432000 134512640 137138936 4290026656 18446744073709551615 135466266 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/782/statm: 6863 4200 288 642 0 6219 0
Current children cumulated CPU time (s) 1482.28
Current children cumulated vsize (KiB) 27452
[startup+1542.3 s]
/proc/loadavg: 2.01 2.04 2.01 3/425 936
/proc/meminfo: memFree=25822764/32951124 swapFree=44043516/67111528
[pid=782] ppid=780 vsize=26940 CPUtime=1542.28 cores=1,3,5,7
/proc/782/stat : 782 (bsolo) R 780 782 31765 0 -1 4202496 15213723 0 0 0 152098 2130 0 0 25 0 1 0 829324983 27586560 4157 33554432000 134512640 137138936 4290026656 18446744073709551615 135404683 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/782/statm: 6735 4157 288 642 0 6091 0
Current children cumulated CPU time (s) 1542.28
Current children cumulated vsize (KiB) 26940
[startup+1602.3 s]
/proc/loadavg: 2.06 2.05 2.01 3/425 937
/proc/meminfo: memFree=25822492/32951124 swapFree=44043516/67111528
[pid=782] ppid=780 vsize=27228 CPUtime=1602.28 cores=1,3,5,7
/proc/782/stat : 782 (bsolo) R 780 782 31765 0 -1 4202496 15738843 0 0 0 158018 2210 0 0 25 0 1 0 829324983 27881472 4176 33554432000 134512640 137138936 4290026656 18446744073709551615 135457840 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/782/statm: 6807 4176 288 642 0 6163 0
Current children cumulated CPU time (s) 1602.28
Current children cumulated vsize (KiB) 27228
[startup+1662.3 s]
/proc/loadavg: 2.15 2.07 2.01 3/425 939
/proc/meminfo: memFree=25821956/32951124 swapFree=44043516/67111528
[pid=782] ppid=780 vsize=28348 CPUtime=1662.28 cores=1,3,5,7
/proc/782/stat : 782 (bsolo) R 780 782 31765 0 -1 4202496 16318368 0 0 0 163937 2291 0 0 25 0 1 0 829324983 29028352 4375 33554432000 134512640 137138936 4290026656 18446744073709551615 135344054 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/782/statm: 7087 4376 288 642 0 6443 0
Current children cumulated CPU time (s) 1662.28
Current children cumulated vsize (KiB) 28348
[startup+1722.3 s]
/proc/loadavg: 2.05 2.05 2.01 3/425 941
/proc/meminfo: memFree=25820308/32951124 swapFree=44043516/67111528
[pid=782] ppid=780 vsize=29688 CPUtime=1722.28 cores=1,3,5,7
/proc/782/stat : 782 (bsolo) R 780 782 31765 0 -1 4202496 17012458 0 0 0 169852 2376 0 0 25 0 1 0 829324983 30400512 4727 33554432000 134512640 137138936 4290026656 18446744073709551615 135457895 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/782/statm: 7422 4727 288 642 0 6778 0
Current children cumulated CPU time (s) 1722.28
Current children cumulated vsize (KiB) 29688
[startup+1782.3 s]
/proc/loadavg: 2.05 2.06 2.01 3/425 942
/proc/meminfo: memFree=25812968/32951124 swapFree=44043516/67111528
[pid=782] ppid=780 vsize=32108 CPUtime=1782.29 cores=1,3,5,7
/proc/782/stat : 782 (bsolo) R 780 782 31765 0 -1 4202496 17577434 0 0 0 175773 2456 0 0 25 0 1 0 829324983 32878592 5340 33554432000 134512640 137138936 4290026656 18446744073709551615 135070985 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/782/statm: 8027 5340 288 642 0 7383 0
Current children cumulated CPU time (s) 1782.29
Current children cumulated vsize (KiB) 32108
Solver just ended. Dumping a history of the last processes samples
[startup+1785.5 s]
/proc/loadavg: 2.05 2.06 2.01 3/425 942
/proc/meminfo: memFree=25813092/32951124 swapFree=44043516/67111528
[pid=782] ppid=780 vsize=32156 CPUtime=1785.48 cores=1,3,5,7
/proc/782/stat : 782 (bsolo) R 780 782 31765 0 -1 4202496 17609310 0 0 0 176088 2460 0 0 25 0 1 0 829324983 32927744 5368 33554432000 134512640 137138936 4290026656 18446744073709551615 135440689 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/782/statm: 8039 5368 288 642 0 7395 0
Current children cumulated CPU time (s) 1785.48
Current children cumulated vsize (KiB) 32156
[startup+1791.92 s]
/proc/loadavg: 2.04 2.05 2.01 3/425 943
/proc/meminfo: memFree=25813092/32951124 swapFree=44043516/67111528
[pid=782] ppid=780 vsize=32104 CPUtime=1791.9 cores=1,3,5,7
/proc/782/stat : 782 (bsolo) R 780 782 31765 0 -1 4202496 17658770 0 0 0 176723 2467 0 0 25 0 1 0 829324983 32874496 5381 33554432000 134512640 137138936 4290026656 18446744073709551615 135445280 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/782/statm: 8026 5381 288 642 0 7382 0
Current children cumulated CPU time (s) 1791.9
Current children cumulated vsize (KiB) 32104
[startup+1795.1 s]
/proc/loadavg: 2.04 2.05 2.01 3/425 943
/proc/meminfo: memFree=25813092/32951124 swapFree=44043516/67111528
[pid=782] ppid=780 vsize=32152 CPUtime=1795.09 cores=1,3,5,7
/proc/782/stat : 782 (bsolo) R 780 782 31765 0 -1 4202496 17680518 0 0 0 177038 2471 0 0 25 0 1 0 829324983 32923648 5376 33554432000 134512640 137138936 4290026656 18446744073709551615 135445280 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/782/statm: 8038 5376 288 642 0 7394 0
Current children cumulated CPU time (s) 1795.09
Current children cumulated vsize (KiB) 32152
[startup+1796.7 s]
/proc/loadavg: 2.04 2.05 2.01 3/425 943
/proc/meminfo: memFree=25813092/32951124 swapFree=44043516/67111528
[pid=782] ppid=780 vsize=32136 CPUtime=1796.68 cores=1,3,5,7
/proc/782/stat : 782 (bsolo) R 780 782 31765 0 -1 4202496 17691214 0 0 0 177196 2472 0 0 25 0 1 0 829324983 32907264 5339 33554432000 134512640 137138936 4290026656 18446744073709551615 134849629 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/782/statm: 8034 5339 288 642 0 7390 0
Current children cumulated CPU time (s) 1796.68
Current children cumulated vsize (KiB) 32136
[startup+1797.5 s]
/proc/loadavg: 2.04 2.05 2.01 3/425 943
/proc/meminfo: memFree=25813092/32951124 swapFree=44043516/67111528
[pid=782] ppid=780 vsize=32144 CPUtime=1797.49 cores=1,3,5,7
/proc/782/stat : 782 (bsolo) R 780 782 31765 0 -1 4202496 17696545 0 0 0 177276 2473 0 0 25 0 1 0 829324983 32915456 5359 33554432000 134512640 137138936 4290026656 18446744073709551615 135339221 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/782/statm: 8036 5359 288 642 0 7392 0
Current children cumulated CPU time (s) 1797.49
Current children cumulated vsize (KiB) 32144
[startup+1797.9 s]
/proc/loadavg: 2.04 2.05 2.01 3/425 943
/proc/meminfo: memFree=25813092/32951124 swapFree=44043516/67111528
[pid=782] ppid=780 vsize=32160 CPUtime=1797.89 cores=1,3,5,7
/proc/782/stat : 782 (bsolo) R 780 782 31765 0 -1 4202496 17699183 0 0 0 177315 2474 0 0 25 0 1 0 829324983 32931840 5339 33554432000 134512640 137138936 4290026656 18446744073709551615 135455688 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/782/statm: 8040 5339 288 642 0 7396 0
Current children cumulated CPU time (s) 1797.89
Current children cumulated vsize (KiB) 32160
[startup+1798 s]
/proc/loadavg: 2.04 2.05 2.01 3/425 943
/proc/meminfo: memFree=25813092/32951124 swapFree=44043516/67111528
[pid=782] ppid=780 vsize=32124 CPUtime=1797.99 cores=1,3,5,7
/proc/782/stat : 782 (bsolo) R 780 782 31765 0 -1 4202496 17699817 0 0 0 177325 2474 0 0 25 0 1 0 829324983 32894976 5394 33554432000 134512640 137138936 4290026656 18446744073709551615 135457629 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/782/statm: 8031 5396 288 642 0 7387 0
Current children cumulated CPU time (s) 1797.99
Current children cumulated vsize (KiB) 32124
Child status: 0
Real time (s): 1798.01
CPU time (s): 1798.01
CPU user time (s): 1773.27
CPU system time (s): 24.7422
CPU usage (%): 99.9997
Max. virtual memory (cumulated for all children) (KiB): 32656
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1773.27
system time used= 24.7422
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 17699932
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= 6
involuntary context switches= 3583
runsolver used 6.86596 second user time and 16.9644 second system time
The end