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-3462758-1307182675/watcher-3462758-1307182675 -o /tmp/evaluation-result-3462758-1307182675/solver-3462758-1307182675 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 HOME/instance-3462758-1307182675.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.07 2.04 2.01 2/424 1457
/proc/meminfo: memFree=25855072/32951124 swapFree=44043516/67111528
[pid=1457] ppid=1455 vsize=11200 CPUtime=0 cores=1,3,5,7
/proc/1457/stat : 1457 (bsolo) R 1455 1457 31765 0 -1 4202496 407 0 0 0 0 0 0 0 24 0 1 0 829865719 11468800 357 33554432000 134512640 137138936 4291543712 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/1457/statm: 2800 358 183 642 0 2156 0
[startup+0.100891 s]
/proc/loadavg: 2.07 2.04 2.01 2/424 1457
/proc/meminfo: memFree=25855072/32951124 swapFree=44043516/67111528
[pid=1457] ppid=1455 vsize=12024 CPUtime=0.09 cores=1,3,5,7
/proc/1457/stat : 1457 (bsolo) R 1455 1457 31765 0 -1 4202496 611 0 0 0 9 0 0 0 24 0 1 0 829865719 12312576 561 33554432000 134512640 137138936 4291543712 18446744073709551615 134618256 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/1457/statm: 3006 561 192 642 0 2362 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 12024
[startup+0.200875 s]
/proc/loadavg: 2.07 2.04 2.01 2/424 1457
/proc/meminfo: memFree=25855072/32951124 swapFree=44043516/67111528
[pid=1457] ppid=1455 vsize=12720 CPUtime=0.19 cores=1,3,5,7
/proc/1457/stat : 1457 (bsolo) R 1455 1457 31765 0 -1 4202496 784 0 0 0 19 0 0 0 25 0 1 0 829865719 13025280 734 33554432000 134512640 137138936 4291543712 18446744073709551615 136504506 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/1457/statm: 3180 734 192 642 0 2536 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 12720
[startup+0.300856 s]
/proc/loadavg: 2.07 2.04 2.01 2/424 1457
/proc/meminfo: memFree=25855072/32951124 swapFree=44043516/67111528
[pid=1457] ppid=1455 vsize=13308 CPUtime=0.29 cores=1,3,5,7
/proc/1457/stat : 1457 (bsolo) R 1455 1457 31765 0 -1 4202496 946 0 0 0 29 0 0 0 25 0 1 0 829865719 13627392 896 33554432000 134512640 137138936 4291543712 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/1457/statm: 3327 896 192 642 0 2683 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 13308
[startup+0.700783 s]
/proc/loadavg: 2.07 2.04 2.01 2/424 1457
/proc/meminfo: memFree=25855072/32951124 swapFree=44043516/67111528
[pid=1457] ppid=1455 vsize=13908 CPUtime=0.69 cores=1,3,5,7
/proc/1457/stat : 1457 (bsolo) R 1455 1457 31765 0 -1 4202496 1095 0 0 0 69 0 0 0 25 0 1 0 829865719 14241792 1045 33554432000 134512640 137138936 4291543712 18446744073709551615 136520965 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/1457/statm: 3477 1045 192 642 0 2833 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 13908
[startup+1.50065 s]
/proc/loadavg: 2.07 2.04 2.01 3/425 1458
/proc/meminfo: memFree=25850476/32951124 swapFree=44043516/67111528
[pid=1457] ppid=1455 vsize=14488 CPUtime=1.49 cores=1,3,5,7
/proc/1457/stat : 1457 (bsolo) R 1455 1457 31765 0 -1 4202496 1223 0 0 0 149 0 0 0 25 0 1 0 829865719 14835712 1173 33554432000 134512640 137138936 4291543712 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/1457/statm: 3622 1173 192 642 0 2978 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 14488
[startup+3.10036 s]
/proc/loadavg: 2.07 2.04 2.01 3/425 1458
/proc/meminfo: memFree=25848992/32951124 swapFree=44043516/67111528
[pid=1457] ppid=1455 vsize=14612 CPUtime=3.09 cores=1,3,5,7
/proc/1457/stat : 1457 (bsolo) R 1455 1457 31765 0 -1 4202496 1273 0 0 0 308 1 0 0 25 0 1 0 829865719 14962688 1223 33554432000 134512640 137138936 4291543712 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/1457/statm: 3653 1223 192 642 0 3009 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 14612
[startup+6.30076 s]
/proc/loadavg: 2.07 2.04 2.00 3/425 1458
/proc/meminfo: memFree=25848764/32951124 swapFree=44043516/67111528
[pid=1457] ppid=1455 vsize=15080 CPUtime=6.29 cores=1,3,5,7
/proc/1457/stat : 1457 (bsolo) R 1455 1457 31765 0 -1 4202496 1389 0 0 0 627 2 0 0 25 0 1 0 829865719 15441920 1339 33554432000 134512640 137138936 4291543712 18446744073709551615 136504449 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/1457/statm: 3770 1339 192 642 0 3126 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 15080
[startup+12.7006 s]
/proc/loadavg: 2.06 2.04 2.00 3/425 1458
/proc/meminfo: memFree=25847764/32951124 swapFree=44043516/67111528
[pid=1457] ppid=1455 vsize=15424 CPUtime=12.69 cores=1,3,5,7
/proc/1457/stat : 1457 (bsolo) R 1455 1457 31765 0 -1 4202496 1460 0 0 0 1265 4 0 0 25 0 1 0 829865719 15794176 1410 33554432000 134512640 137138936 4291543712 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/1457/statm: 3856 1410 192 642 0 3212 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 15424
[startup+25.5003 s]
/proc/loadavg: 2.05 2.03 2.00 3/425 1459
/proc/meminfo: memFree=25847152/32951124 swapFree=44043516/67111528
[pid=1457] ppid=1455 vsize=15432 CPUtime=25.49 cores=1,3,5,7
/proc/1457/stat : 1457 (bsolo) R 1455 1457 31765 0 -1 4202496 1533 0 0 0 2539 10 0 0 25 0 1 0 829865719 15802368 1433 33554432000 134512640 137138936 4291543712 18446744073709551615 134542972 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/1457/statm: 3858 1433 192 642 0 3214 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 15432
[startup+51.1006 s]
/proc/loadavg: 2.03 2.03 2.00 3/425 1459
/proc/meminfo: memFree=25846676/32951124 swapFree=44043516/67111528
[pid=1457] ppid=1455 vsize=16460 CPUtime=51.09 cores=1,3,5,7
/proc/1457/stat : 1457 (bsolo) R 1455 1457 31765 0 -1 4202496 1780 0 0 0 5090 19 0 0 25 0 1 0 829865719 16855040 1680 33554432000 134512640 137138936 4291543712 18446744073709551615 134618533 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/1457/statm: 4115 1680 192 642 0 3471 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 16460
[startup+102.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/425 1461
/proc/meminfo: memFree=25845276/32951124 swapFree=44043516/67111528
[pid=1457] ppid=1455 vsize=17368 CPUtime=102.3 cores=1,3,5,7
/proc/1457/stat : 1457 (bsolo) R 1455 1457 31765 0 -1 4202496 1995 0 0 0 10194 36 0 0 25 0 1 0 829865719 17784832 1895 33554432000 134512640 137138936 4291543712 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/1457/statm: 4342 1895 192 642 0 3698 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 17368
[startup+162.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/425 1516
/proc/meminfo: memFree=25702112/32951124 swapFree=44043516/67111528
[pid=1457] ppid=1455 vsize=17828 CPUtime=162.29 cores=1,3,5,7
/proc/1457/stat : 1457 (bsolo) R 1455 1457 31765 0 -1 4202496 2123 0 0 0 16172 57 0 0 25 0 1 0 829865719 18255872 2023 33554432000 134512640 137138936 4291543712 18446744073709551615 135984570 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/1457/statm: 4457 2023 192 642 0 3813 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 17828
[startup+222.315 s]
/proc/loadavg: 2.00 2.01 2.00 3/425 1518
/proc/meminfo: memFree=25341188/32951124 swapFree=44043516/67111528
[pid=1457] ppid=1455 vsize=17524 CPUtime=222.31 cores=1,3,5,7
/proc/1457/stat : 1457 (bsolo) R 1455 1457 31765 0 -1 4202496 2123 0 0 0 22149 82 0 0 25 0 1 0 829865719 17944576 1956 33554432000 134512640 137138936 4291543712 18446744073709551615 134544830 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/1457/statm: 4381 1956 192 642 0 3737 0
Current children cumulated CPU time (s) 222.31
Current children cumulated vsize (KiB) 17524
[startup+282.3 s]
/proc/loadavg: 2.06 2.02 2.00 3/425 1519
/proc/meminfo: memFree=25323660/32951124 swapFree=44043516/67111528
[pid=1457] ppid=1455 vsize=17396 CPUtime=282.3 cores=1,3,5,7
/proc/1457/stat : 1457 (bsolo) R 1455 1457 31765 0 -1 4202496 2123 0 0 0 28120 110 0 0 25 0 1 0 829865719 17813504 1924 33554432000 134512640 137138936 4291543712 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/1457/statm: 4349 1924 192 642 0 3705 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 17396
[startup+342.301 s]
/proc/loadavg: 2.02 2.02 2.00 3/425 1521
/proc/meminfo: memFree=25291512/32951124 swapFree=44043516/67111528
[pid=1457] ppid=1455 vsize=17952 CPUtime=342.3 cores=1,3,5,7
/proc/1457/stat : 1457 (bsolo) R 1455 1457 31765 0 -1 4202496 2243 0 0 0 34097 133 0 0 25 0 1 0 829865719 18382848 2044 33554432000 134512640 137138936 4291543712 18446744073709551615 134542164 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/1457/statm: 4488 2044 192 642 0 3844 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 17952
[startup+402.301 s]
/proc/loadavg: 2.01 2.01 2.00 3/425 1523
/proc/meminfo: memFree=25291108/32951124 swapFree=44043516/67111528
[pid=1457] ppid=1455 vsize=18496 CPUtime=402.3 cores=1,3,5,7
/proc/1457/stat : 1457 (bsolo) R 1455 1457 31765 0 -1 4202496 2380 0 0 0 40073 157 0 0 25 0 1 0 829865719 18939904 2181 33554432000 134512640 137138936 4291543712 18446744073709551615 136502612 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/1457/statm: 4624 2181 192 642 0 3980 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 18496
[startup+462.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/425 1524
/proc/meminfo: memFree=25279772/32951124 swapFree=44043516/67111528
[pid=1457] ppid=1455 vsize=18496 CPUtime=462.31 cores=1,3,5,7
/proc/1457/stat : 1457 (bsolo) R 1455 1457 31765 0 -1 4202496 2383 0 0 0 46052 179 0 0 25 0 1 0 829865719 18939904 2184 33554432000 134512640 137138936 4291543712 18446744073709551615 135984544 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/1457/statm: 4624 2184 192 642 0 3980 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 18496
[startup+522.301 s]
/proc/loadavg: 2.10 2.03 2.01 3/425 1526
/proc/meminfo: memFree=25270192/32951124 swapFree=44043516/67111528
[pid=1457] ppid=1455 vsize=19092 CPUtime=522.3 cores=1,3,5,7
/proc/1457/stat : 1457 (bsolo) R 1455 1457 31765 0 -1 4202496 2537 0 0 0 52027 203 0 0 25 0 1 0 829865719 19550208 2338 33554432000 134512640 137138936 4291543712 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/1457/statm: 4773 2338 192 642 0 4129 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 19092
[startup+582.301 s]
/proc/loadavg: 2.08 2.04 2.01 3/425 1527
/proc/meminfo: memFree=25270152/32951124 swapFree=44043516/67111528
[pid=1457] ppid=1455 vsize=19092 CPUtime=582.3 cores=1,3,5,7
/proc/1457/stat : 1457 (bsolo) R 1455 1457 31765 0 -1 4202496 2537 0 0 0 58007 223 0 0 25 0 1 0 829865719 19550208 2338 33554432000 134512640 137138936 4291543712 18446744073709551615 134542202 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/1457/statm: 4773 2338 192 642 0 4129 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 19092
[startup+642.301 s]
################
# More data... #
################
/proc/meminfo: memFree=25202584/32951124 swapFree=44043516/67111528
[pid=1457] ppid=1455 vsize=20536 CPUtime=1122.33 cores=1,3,5,7
/proc/1457/stat : 1457 (bsolo) R 1455 1457 31765 0 -1 4202496 2903 0 0 0 111819 414 0 0 25 0 1 0 829865719 21028864 2704 33554432000 134512640 137138936 4291543712 18446744073709551615 136504020 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/1457/statm: 5134 2704 192 642 0 4490 0
Current children cumulated CPU time (s) 1122.33
Current children cumulated vsize (KiB) 20536
[startup+1182.3 s]
/proc/loadavg: 2.10 2.07 2.01 3/425 1543
/proc/meminfo: memFree=25202316/32951124 swapFree=44043516/67111528
[pid=1457] ppid=1455 vsize=20500 CPUtime=1182.33 cores=1,3,5,7
/proc/1457/stat : 1457 (bsolo) R 1455 1457 31765 0 -1 4202496 2903 0 0 0 117799 434 0 0 25 0 1 0 829865719 20992000 2700 33554432000 134512640 137138936 4291543712 18446744073709551615 134577147 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/1457/statm: 5125 2700 192 642 0 4481 0
Current children cumulated CPU time (s) 1182.33
Current children cumulated vsize (KiB) 20500
[startup+1242.3 s]
/proc/loadavg: 2.09 2.07 2.01 3/425 1545
/proc/meminfo: memFree=25202168/32951124 swapFree=44043516/67111528
[pid=1457] ppid=1455 vsize=20500 CPUtime=1242.33 cores=1,3,5,7
/proc/1457/stat : 1457 (bsolo) R 1455 1457 31765 0 -1 4202496 2903 0 0 0 123777 456 0 0 25 0 1 0 829865719 20992000 2700 33554432000 134512640 137138936 4291543712 18446744073709551615 136511183 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/1457/statm: 5125 2700 192 642 0 4481 0
Current children cumulated CPU time (s) 1242.33
Current children cumulated vsize (KiB) 20500
[startup+1302.3 s]
/proc/loadavg: 2.03 2.05 2.01 3/425 1547
/proc/meminfo: memFree=25225344/32951124 swapFree=44043516/67111528
[pid=1457] ppid=1455 vsize=20500 CPUtime=1302.33 cores=1,3,5,7
/proc/1457/stat : 1457 (bsolo) R 1455 1457 31765 0 -1 4202496 2903 0 0 0 129759 474 0 0 25 0 1 0 829865719 20992000 2700 33554432000 134512640 137138936 4291543712 18446744073709551615 134599122 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/1457/statm: 5125 2700 192 642 0 4481 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 20500
[startup+1362.3 s]
/proc/loadavg: 2.11 2.07 2.01 3/425 1548
/proc/meminfo: memFree=25224832/32951124 swapFree=44043516/67111528
[pid=1457] ppid=1455 vsize=20588 CPUtime=1362.33 cores=1,3,5,7
/proc/1457/stat : 1457 (bsolo) R 1455 1457 31765 0 -1 4202496 2904 0 0 0 135740 493 0 0 25 0 1 0 829865719 21082112 2701 33554432000 134512640 137138936 4291543712 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/1457/statm: 5147 2701 192 642 0 4503 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 20588
[startup+1422.3 s]
/proc/loadavg: 2.08 2.07 2.01 3/425 1550
/proc/meminfo: memFree=25224188/32951124 swapFree=44043516/67111528
[pid=1457] ppid=1455 vsize=21352 CPUtime=1422.34 cores=1,3,5,7
/proc/1457/stat : 1457 (bsolo) R 1455 1457 31765 0 -1 4202496 3102 0 0 0 141720 514 0 0 25 0 1 0 829865719 21864448 2899 33554432000 134512640 137138936 4291543712 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/1457/statm: 5338 2899 192 642 0 4694 0
Current children cumulated CPU time (s) 1422.34
Current children cumulated vsize (KiB) 21352
[startup+1482.3 s]
/proc/loadavg: 2.03 2.06 2.01 3/425 1551
/proc/meminfo: memFree=25212864/32951124 swapFree=44043516/67111528
[pid=1457] ppid=1455 vsize=21352 CPUtime=1482.34 cores=1,3,5,7
/proc/1457/stat : 1457 (bsolo) R 1455 1457 31765 0 -1 4202496 3102 0 0 0 147702 532 0 0 25 0 1 0 829865719 21864448 2899 33554432000 134512640 137138936 4291543712 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/1457/statm: 5338 2899 192 642 0 4694 0
Current children cumulated CPU time (s) 1482.34
Current children cumulated vsize (KiB) 21352
[startup+1542.32 s]
/proc/loadavg: 2.04 2.06 2.01 3/425 1553
/proc/meminfo: memFree=25212720/32951124 swapFree=44043516/67111528
[pid=1457] ppid=1455 vsize=21352 CPUtime=1542.35 cores=1,3,5,7
/proc/1457/stat : 1457 (bsolo) R 1455 1457 31765 0 -1 4202496 3104 0 0 0 153685 550 0 0 25 0 1 0 829865719 21864448 2901 33554432000 134512640 137138936 4291543712 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/1457/statm: 5338 2901 192 642 0 4694 0
Current children cumulated CPU time (s) 1542.35
Current children cumulated vsize (KiB) 21352
[startup+1602.3 s]
/proc/loadavg: 2.01 2.04 2.00 3/425 1555
/proc/meminfo: memFree=25212828/32951124 swapFree=44043516/67111528
[pid=1457] ppid=1455 vsize=21324 CPUtime=1602.34 cores=1,3,5,7
/proc/1457/stat : 1457 (bsolo) R 1455 1457 31765 0 -1 4202496 3104 0 0 0 159665 569 0 0 25 0 1 0 829865719 21835776 2901 33554432000 134512640 137138936 4291543712 18446744073709551615 134542495 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/1457/statm: 5331 2901 192 642 0 4687 0
Current children cumulated CPU time (s) 1602.34
Current children cumulated vsize (KiB) 21324
[startup+1662.3 s]
/proc/loadavg: 2.07 2.06 2.01 3/425 1556
/proc/meminfo: memFree=25175116/32951124 swapFree=44043516/67111528
[pid=1457] ppid=1455 vsize=21312 CPUtime=1662.34 cores=1,3,5,7
/proc/1457/stat : 1457 (bsolo) R 1455 1457 31765 0 -1 4202496 3104 0 0 0 165644 590 0 0 25 0 1 0 829865719 21823488 2901 33554432000 134512640 137138936 4291543712 18446744073709551615 136297742 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/1457/statm: 5328 2901 192 642 0 4684 0
Current children cumulated CPU time (s) 1662.34
Current children cumulated vsize (KiB) 21312
[startup+1722.3 s]
/proc/loadavg: 2.06 2.06 2.01 3/425 1558
/proc/meminfo: memFree=25174968/32951124 swapFree=44043516/67111528
[pid=1457] ppid=1455 vsize=21256 CPUtime=1722.34 cores=1,3,5,7
/proc/1457/stat : 1457 (bsolo) R 1455 1457 31765 0 -1 4202496 3104 0 0 0 171627 607 0 0 25 0 1 0 829865719 21766144 2889 33554432000 134512640 137138936 4291543712 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/1457/statm: 5314 2889 192 642 0 4670 0
Current children cumulated CPU time (s) 1722.34
Current children cumulated vsize (KiB) 21256
[startup+1782.3 s]
/proc/loadavg: 2.02 2.05 2.00 3/425 1559
/proc/meminfo: memFree=25173964/32951124 swapFree=44043516/67111528
[pid=1457] ppid=1455 vsize=21216 CPUtime=1782.34 cores=1,3,5,7
/proc/1457/stat : 1457 (bsolo) R 1455 1457 31765 0 -1 4202496 3104 0 0 0 177607 627 0 0 25 0 1 0 829865719 21725184 2879 33554432000 134512640 137138936 4291543712 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/1457/statm: 5304 2879 192 642 0 4660 0
Current children cumulated CPU time (s) 1782.34
Current children cumulated vsize (KiB) 21216
Solver just ended. Dumping a history of the last processes samples
[startup+1785.6 s]
/proc/loadavg: 2.02 2.05 2.00 3/425 1560
/proc/meminfo: memFree=25174088/32951124 swapFree=44043516/67111528
[pid=1457] ppid=1455 vsize=21216 CPUtime=1785.65 cores=1,3,5,7
/proc/1457/stat : 1457 (bsolo) R 1455 1457 31765 0 -1 4202496 3104 0 0 0 177936 629 0 0 25 0 1 0 829865719 21725184 2879 33554432000 134512640 137138936 4291543712 18446744073709551615 134542516 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/1457/statm: 5304 2879 192 642 0 4660 0
Current children cumulated CPU time (s) 1785.65
Current children cumulated vsize (KiB) 21216
[startup+1792.02 s]
/proc/loadavg: 2.02 2.05 2.00 3/425 1560
/proc/meminfo: memFree=25174088/32951124 swapFree=44043516/67111528
[pid=1457] ppid=1455 vsize=21216 CPUtime=1792.06 cores=1,3,5,7
/proc/1457/stat : 1457 (bsolo) R 1455 1457 31765 0 -1 4202496 3104 0 0 0 178575 631 0 0 25 0 1 0 829865719 21725184 2879 33554432000 134512640 137138936 4291543712 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/1457/statm: 5304 2879 192 642 0 4660 0
Current children cumulated CPU time (s) 1792.06
Current children cumulated vsize (KiB) 21216
[startup+1795.2 s]
/proc/loadavg: 2.01 2.04 2.00 3/425 1560
/proc/meminfo: memFree=25174952/32951124 swapFree=44043516/67111528
[pid=1457] ppid=1455 vsize=21216 CPUtime=1795.25 cores=1,3,5,7
/proc/1457/stat : 1457 (bsolo) R 1455 1457 31765 0 -1 4202496 3104 0 0 0 178893 632 0 0 25 0 1 0 829865719 21725184 2879 33554432000 134512640 137138936 4291543712 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/1457/statm: 5304 2879 192 642 0 4660 0
Current children cumulated CPU time (s) 1795.25
Current children cumulated vsize (KiB) 21216
[startup+1796.8 s]
/proc/loadavg: 2.01 2.04 2.00 3/425 1560
/proc/meminfo: memFree=25174952/32951124 swapFree=44043516/67111528
[pid=1457] ppid=1455 vsize=21216 CPUtime=1796.85 cores=1,3,5,7
/proc/1457/stat : 1457 (bsolo) R 1455 1457 31765 0 -1 4202496 3104 0 0 0 179052 633 0 0 25 0 1 0 829865719 21725184 2879 33554432000 134512640 137138936 4291543712 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/1457/statm: 5304 2879 192 642 0 4660 0
Current children cumulated CPU time (s) 1796.85
Current children cumulated vsize (KiB) 21216
[startup+1797.6 s]
/proc/loadavg: 2.01 2.04 2.00 3/425 1560
/proc/meminfo: memFree=25174828/32951124 swapFree=44043516/67111528
[pid=1457] ppid=1455 vsize=21216 CPUtime=1797.65 cores=1,3,5,7
/proc/1457/stat : 1457 (bsolo) R 1455 1457 31765 0 -1 4202496 3104 0 0 0 179132 633 0 0 25 0 1 0 829865719 21725184 2879 33554432000 134512640 137138936 4291543712 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/1457/statm: 5304 2879 192 642 0 4660 0
Current children cumulated CPU time (s) 1797.65
Current children cumulated vsize (KiB) 21216
[startup+1797.8 s]
/proc/loadavg: 2.01 2.04 2.00 3/425 1560
/proc/meminfo: memFree=25174828/32951124 swapFree=44043516/67111528
[pid=1457] ppid=1455 vsize=21216 CPUtime=1797.84 cores=1,3,5,7
/proc/1457/stat : 1457 (bsolo) R 1455 1457 31765 0 -1 4202496 3104 0 0 0 179151 633 0 0 25 0 1 0 829865719 21725184 2879 33554432000 134512640 137138936 4291543712 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/1457/statm: 5304 2879 192 642 0 4660 0
Current children cumulated CPU time (s) 1797.84
Current children cumulated vsize (KiB) 21216
[startup+1797.9 s]
/proc/loadavg: 2.01 2.04 2.00 3/425 1560
/proc/meminfo: memFree=25174828/32951124 swapFree=44043516/67111528
[pid=1457] ppid=1455 vsize=21216 CPUtime=1797.94 cores=1,3,5,7
/proc/1457/stat : 1457 (bsolo) R 1455 1457 31765 0 -1 4202496 3104 0 0 0 179161 633 0 0 25 0 1 0 829865719 21725184 2879 33554432000 134512640 137138936 4291543712 18446744073709551615 134542805 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/1457/statm: 5304 2879 192 642 0 4660 0
Current children cumulated CPU time (s) 1797.94
Current children cumulated vsize (KiB) 21216
Child status: 0
Real time (s): 1797.95
CPU time (s): 1798
CPU user time (s): 1791.67
CPU system time (s): 6.33504
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 21364
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1791.67
system time used= 6.33504
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3105
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= 4614
runsolver used 7.00394 second user time and 17.4873 second system time
The end