runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 961)
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-3426524-1306761779/watcher-3426524-1306761779 -o /tmp/evaluation-result-3426524-1306761779/solver-3426524-1306761779 -C 5000 -W 5100 -M 15500 sattime HOME/instance-3426524-1306761779.cnf 1429228260
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 5000 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 5030 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 5100 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: 0.23 0.05 0.21 3/273 14583
/proc/meminfo: memFree=13624064/32951124 swapFree=55664332/67111528
[pid=14583] ppid=14581 vsize=990404 CPUtime=0 cores=0,2,4,6
/proc/14583/stat : 14583 (sattime) R 14581 14583 14517 0 -1 4194304 316 0 0 0 0 0 0 0 22 0 1 0 787778667 1014173696 261 33554432000 4194304 4228548 140735292254944 18446744073709551615 222921776896 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/14583/statm: 247601 262 101 9 0 244758 0
[startup+0.0217671 s]
/proc/loadavg: 0.23 0.05 0.21 3/273 14583
/proc/meminfo: memFree=13624064/32951124 swapFree=55664332/67111528
[pid=14583] ppid=14581 vsize=991592 CPUtime=0.02 cores=0,2,4,6
/proc/14583/stat : 14583 (sattime) R 14581 14583 14517 0 -1 4194304 738 0 0 0 2 0 0 0 22 0 1 0 787778667 1015390208 683 33554432000 4194304 4228548 140735292254944 18446744073709551615 222921437893 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/14583/statm: 247898 684 101 9 0 245055 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 991592
[startup+0.100772 s]
/proc/loadavg: 0.23 0.05 0.21 3/273 14583
/proc/meminfo: memFree=13624064/32951124 swapFree=55664332/67111528
[pid=14583] ppid=14581 vsize=1000564 CPUtime=0.09 cores=0,2,4,6
/proc/14583/stat : 14583 (sattime) R 14581 14583 14517 0 -1 4202496 3622 0 0 0 9 0 0 0 22 0 1 0 787778667 1024577536 3566 33554432000 4194304 4228548 140735292254944 18446744073709551615 4207102 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/14583/statm: 250141 3566 104 9 0 247298 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1000564
[startup+0.30073 s]
/proc/loadavg: 0.23 0.05 0.21 3/273 14583
/proc/meminfo: memFree=13624064/32951124 swapFree=55664332/67111528
[pid=14583] ppid=14581 vsize=1000564 CPUtime=0.29 cores=0,2,4,6
/proc/14583/stat : 14583 (sattime) R 14581 14583 14517 0 -1 4202496 3622 0 0 0 29 0 0 0 23 0 1 0 787778667 1024577536 3566 33554432000 4194304 4228548 140735292254944 18446744073709551615 4207114 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/14583/statm: 250141 3566 104 9 0 247298 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1000564
[startup+0.700662 s]
/proc/loadavg: 0.23 0.05 0.21 3/273 14583
/proc/meminfo: memFree=13624064/32951124 swapFree=55664332/67111528
[pid=14583] ppid=14581 vsize=1005848 CPUtime=0.69 cores=0,2,4,6
/proc/14583/stat : 14583 (sattime) R 14581 14583 14517 0 -1 4202496 5940 0 0 0 69 0 0 0 25 0 1 0 787778667 1029988352 5883 33554432000 4194304 4228548 140735292254944 18446744073709551615 4218920 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/14583/statm: 251462 5883 116 9 0 248619 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1005848
[startup+1.50051 s]
/proc/loadavg: 0.23 0.05 0.21 3/274 14584
/proc/meminfo: memFree=13601124/32951124 swapFree=55664332/67111528
[pid=14583] ppid=14581 vsize=1005848 CPUtime=1.49 cores=0,2,4,6
/proc/14583/stat : 14583 (sattime) R 14581 14583 14517 0 -1 4202496 5940 0 0 0 149 0 0 0 25 0 1 0 787778667 1029988352 5883 33554432000 4194304 4228548 140735292254944 18446744073709551615 4217502 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/14583/statm: 251462 5883 116 9 0 248619 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1005848
[startup+3.10021 s]
/proc/loadavg: 0.23 0.05 0.21 3/274 14584
/proc/meminfo: memFree=13600504/32951124 swapFree=55664332/67111528
[pid=14583] ppid=14581 vsize=1005848 CPUtime=3.09 cores=0,2,4,6
/proc/14583/stat : 14583 (sattime) R 14581 14583 14517 0 -1 4202496 5940 0 0 0 309 0 0 0 25 0 1 0 787778667 1029988352 5883 33554432000 4194304 4228548 140735292254944 18446744073709551615 4217280 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/14583/statm: 251462 5883 116 9 0 248619 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1005848
[startup+6.30064 s]
/proc/loadavg: 0.37 0.08 0.22 3/274 14584
/proc/meminfo: memFree=13600404/32951124 swapFree=55664332/67111528
[pid=14583] ppid=14581 vsize=1005848 CPUtime=6.29 cores=0,2,4,6
/proc/14583/stat : 14583 (sattime) R 14581 14583 14517 0 -1 4202496 5940 0 0 0 629 0 0 0 25 0 1 0 787778667 1029988352 5883 33554432000 4194304 4228548 140735292254944 18446744073709551615 4218920 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/14583/statm: 251462 5883 116 9 0 248619 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1005848
[startup+12.7005 s]
/proc/loadavg: 0.50 0.11 0.23 3/274 14584
/proc/meminfo: memFree=13601348/32951124 swapFree=55664332/67111528
[pid=14583] ppid=14581 vsize=1005848 CPUtime=12.69 cores=0,2,4,6
/proc/14583/stat : 14583 (sattime) R 14581 14583 14517 0 -1 4202496 5940 0 0 0 1269 0 0 0 25 0 1 0 787778667 1029988352 5883 33554432000 4194304 4228548 140735292254944 18446744073709551615 4218920 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/14583/statm: 251462 5883 116 9 0 248619 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1005848
[startup+25.5011 s]
/proc/loadavg: 0.83 0.20 0.26 3/274 14584
/proc/meminfo: memFree=13601260/32951124 swapFree=55664332/67111528
[pid=14583] ppid=14581 vsize=1005848 CPUtime=25.49 cores=0,2,4,6
/proc/14583/stat : 14583 (sattime) R 14581 14583 14517 0 -1 4202496 5940 0 0 0 2549 0 0 0 25 0 1 0 787778667 1029988352 5883 33554432000 4194304 4228548 140735292254944 18446744073709551615 4217291 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/14583/statm: 251462 5883 116 9 0 248619 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1005848
[startup+51.1004 s]
/proc/loadavg: 1.23 0.35 0.31 3/274 14585
/proc/meminfo: memFree=13601140/32951124 swapFree=55664332/67111528
[pid=14583] ppid=14581 vsize=1005848 CPUtime=51.09 cores=0,2,4,6
/proc/14583/stat : 14583 (sattime) R 14581 14583 14517 0 -1 4202496 5940 0 0 0 5109 0 0 0 25 0 1 0 787778667 1029988352 5883 33554432000 4194304 4228548 140735292254944 18446744073709551615 4216818 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/14583/statm: 251462 5883 116 9 0 248619 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 1005848
[startup+102.31 s]
/proc/loadavg: 1.66 0.60 0.39 3/274 14586
/proc/meminfo: memFree=13600392/32951124 swapFree=55664332/67111528
[pid=14583] ppid=14581 vsize=1005848 CPUtime=102.3 cores=0,2,4,6
/proc/14583/stat : 14583 (sattime) R 14581 14583 14517 0 -1 4202496 5940 0 0 0 10230 0 0 0 25 0 1 0 787778667 1029988352 5883 33554432000 4194304 4228548 140735292254944 18446744073709551615 4218767 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/14583/statm: 251462 5883 116 9 0 248619 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 1005848
[startup+162.301 s]
/proc/loadavg: 1.87 0.85 0.49 3/274 14588
/proc/meminfo: memFree=13599860/32951124 swapFree=55664332/67111528
[pid=14583] ppid=14581 vsize=1005848 CPUtime=162.29 cores=0,2,4,6
/proc/14583/stat : 14583 (sattime) R 14581 14583 14517 0 -1 4202496 5940 0 0 0 16229 0 0 0 25 0 1 0 787778667 1029988352 5883 33554432000 4194304 4228548 140735292254944 18446744073709551615 4217259 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/14583/statm: 251462 5883 116 9 0 248619 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 1005848
[startup+222.301 s]
/proc/loadavg: 2.06 1.09 0.59 3/274 14590
/proc/meminfo: memFree=13599944/32951124 swapFree=55664332/67111528
[pid=14583] ppid=14581 vsize=1005848 CPUtime=222.3 cores=0,2,4,6
/proc/14583/stat : 14583 (sattime) R 14581 14583 14517 0 -1 4202496 5940 0 0 0 22230 0 0 0 25 0 1 0 787778667 1029988352 5883 33554432000 4194304 4228548 140735292254944 18446744073709551615 4216818 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/14583/statm: 251462 5883 116 9 0 248619 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 1005848
[startup+282.301 s]
/proc/loadavg: 2.02 1.25 0.68 3/274 14591
/proc/meminfo: memFree=13600272/32951124 swapFree=55664332/67111528
[pid=14583] ppid=14581 vsize=1005848 CPUtime=282.3 cores=0,2,4,6
/proc/14583/stat : 14583 (sattime) R 14581 14583 14517 0 -1 4202496 5940 0 0 0 28230 0 0 0 25 0 1 0 787778667 1029988352 5883 33554432000 4194304 4228548 140735292254944 18446744073709551615 4216818 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/14583/statm: 251462 5883 116 9 0 248619 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 1005848
[startup+342.301 s]
/proc/loadavg: 2.04 1.40 0.76 3/274 14593
/proc/meminfo: memFree=13599996/32951124 swapFree=55664332/67111528
[pid=14583] ppid=14581 vsize=1005848 CPUtime=342.3 cores=0,2,4,6
/proc/14583/stat : 14583 (sattime) R 14581 14583 14517 0 -1 4202496 5940 0 0 0 34230 0 0 0 25 0 1 0 787778667 1029988352 5883 33554432000 4194304 4228548 140735292254944 18446744073709551615 4217173 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/14583/statm: 251462 5883 116 9 0 248619 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 1005848
[startup+402.301 s]
/proc/loadavg: 2.01 1.51 0.84 3/274 14594
/proc/meminfo: memFree=13600340/32951124 swapFree=55664332/67111528
[pid=14583] ppid=14581 vsize=1005848 CPUtime=402.3 cores=0,2,4,6
/proc/14583/stat : 14583 (sattime) R 14581 14583 14517 0 -1 4202496 5940 0 0 0 40230 0 0 0 25 0 1 0 787778667 1029988352 5883 33554432000 4194304 4228548 140735292254944 18446744073709551615 4218907 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/14583/statm: 251462 5883 116 9 0 248619 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 1005848
[startup+462.301 s]
/proc/loadavg: 2.00 1.59 0.91 3/274 14596
/proc/meminfo: memFree=13600692/32951124 swapFree=55664332/67111528
[pid=14583] ppid=14581 vsize=1005848 CPUtime=462.3 cores=0,2,4,6
/proc/14583/stat : 14583 (sattime) R 14581 14583 14517 0 -1 4202496 5940 0 0 0 46230 0 0 0 25 0 1 0 787778667 1029988352 5883 33554432000 4194304 4228548 140735292254944 18446744073709551615 4217456 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/14583/statm: 251462 5883 116 9 0 248619 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 1005848
[startup+522.301 s]
/proc/loadavg: 2.00 1.66 0.97 3/274 14597
/proc/meminfo: memFree=13601296/32951124 swapFree=55664332/67111528
[pid=14583] ppid=14581 vsize=1005848 CPUtime=522.3 cores=0,2,4,6
/proc/14583/stat : 14583 (sattime) R 14581 14583 14517 0 -1 4202496 5940 0 0 0 52230 0 0 0 25 0 1 0 787778667 1029988352 5883 33554432000 4194304 4228548 140735292254944 18446744073709551615 4218920 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/14583/statm: 251462 5883 116 9 0 248619 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 1005848
[startup+582.301 s]
/proc/loadavg: 2.00 1.72 1.03 3/274 14599
/proc/meminfo: memFree=13601036/32951124 swapFree=55664332/67111528
[pid=14583] ppid=14581 vsize=1005848 CPUtime=582.31 cores=0,2,4,6
/proc/14583/stat : 14583 (sattime) R 14581 14583 14517 0 -1 4202496 5940 0 0 0 58230 1 0 0 25 0 1 0 787778667 1029988352 5883 33554432000 4194304 4228548 140735292254944 18446744073709551615 4216818 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/14583/statm: 251462 5883 116 9 0 248619 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 1005848
[startup+642.301 s]
################
# More data... #
################
/proc/meminfo: memFree=13599232/32951124 swapFree=55664332/67111528
[pid=14583] ppid=14581 vsize=1005848 CPUtime=4062.42 cores=0,2,4,6
/proc/14583/stat : 14583 (sattime) R 14581 14583 14517 0 -1 4202496 5940 0 0 0 406238 4 0 0 25 0 1 0 787778667 1029988352 5883 33554432000 4194304 4228548 140735292254944 18446744073709551615 4216818 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/14583/statm: 251462 5883 116 9 0 248619 0
Current children cumulated CPU time (s) 4062.42
Current children cumulated vsize (KiB) 1005848
[startup+4122.3 s]
/proc/loadavg: 2.09 2.03 1.94 3/274 14706
/proc/meminfo: memFree=13599192/32951124 swapFree=55664332/67111528
[pid=14583] ppid=14581 vsize=1005848 CPUtime=4122.41 cores=0,2,4,6
/proc/14583/stat : 14583 (sattime) R 14581 14583 14517 0 -1 4202496 5940 0 0 0 412237 4 0 0 25 0 1 0 787778667 1029988352 5883 33554432000 4194304 4228548 140735292254944 18446744073709551615 4218137 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/14583/statm: 251462 5883 116 9 0 248619 0
Current children cumulated CPU time (s) 4122.41
Current children cumulated vsize (KiB) 1005848
[startup+4182.3 s]
/proc/loadavg: 2.03 2.02 1.94 3/274 14707
/proc/meminfo: memFree=13599780/32951124 swapFree=55664332/67111528
[pid=14583] ppid=14581 vsize=1005848 CPUtime=4182.42 cores=0,2,4,6
/proc/14583/stat : 14583 (sattime) R 14581 14583 14517 0 -1 4202496 5940 0 0 0 418237 5 0 0 25 0 1 0 787778667 1029988352 5883 33554432000 4194304 4228548 140735292254944 18446744073709551615 4218775 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/14583/statm: 251462 5883 116 9 0 248619 0
Current children cumulated CPU time (s) 4182.42
Current children cumulated vsize (KiB) 1005848
[startup+4242.3 s]
/proc/loadavg: 2.01 2.02 1.94 3/274 14709
/proc/meminfo: memFree=13600248/32951124 swapFree=55664332/67111528
[pid=14583] ppid=14581 vsize=1005848 CPUtime=4242.42 cores=0,2,4,6
/proc/14583/stat : 14583 (sattime) R 14581 14583 14517 0 -1 4202496 5940 0 0 0 424237 5 0 0 25 0 1 0 787778667 1029988352 5883 33554432000 4194304 4228548 140735292254944 18446744073709551615 4217511 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/14583/statm: 251462 5883 116 9 0 248619 0
Current children cumulated CPU time (s) 4242.42
Current children cumulated vsize (KiB) 1005848
[startup+4302.3 s]
/proc/loadavg: 2.00 2.01 1.94 3/274 14710
/proc/meminfo: memFree=13599848/32951124 swapFree=55664332/67111528
[pid=14583] ppid=14581 vsize=1005848 CPUtime=4302.42 cores=0,2,4,6
/proc/14583/stat : 14583 (sattime) R 14581 14583 14517 0 -1 4202496 5940 0 0 0 430237 5 0 0 25 0 1 0 787778667 1029988352 5883 33554432000 4194304 4228548 140735292254944 18446744073709551615 4217469 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/14583/statm: 251462 5883 116 9 0 248619 0
Current children cumulated CPU time (s) 4302.42
Current children cumulated vsize (KiB) 1005848
[startup+4362.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/274 14712
/proc/meminfo: memFree=13600192/32951124 swapFree=55664332/67111528
[pid=14583] ppid=14581 vsize=1005848 CPUtime=4362.42 cores=0,2,4,6
/proc/14583/stat : 14583 (sattime) R 14581 14583 14517 0 -1 4202496 5940 0 0 0 436237 5 0 0 25 0 1 0 787778667 1029988352 5883 33554432000 4194304 4228548 140735292254944 18446744073709551615 4218102 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/14583/statm: 251462 5883 116 9 0 248619 0
Current children cumulated CPU time (s) 4362.42
Current children cumulated vsize (KiB) 1005848
[startup+4422.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/274 14714
/proc/meminfo: memFree=13599916/32951124 swapFree=55664332/67111528
[pid=14583] ppid=14581 vsize=1005848 CPUtime=4422.42 cores=0,2,4,6
/proc/14583/stat : 14583 (sattime) R 14581 14583 14517 0 -1 4202496 5940 0 0 0 442237 5 0 0 25 0 1 0 787778667 1029988352 5883 33554432000 4194304 4228548 140735292254944 18446744073709551615 4217270 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/14583/statm: 251462 5883 116 9 0 248619 0
Current children cumulated CPU time (s) 4422.42
Current children cumulated vsize (KiB) 1005848
[startup+4482.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/274 14715
/proc/meminfo: memFree=13600264/32951124 swapFree=55664332/67111528
[pid=14583] ppid=14581 vsize=1005848 CPUtime=4482.42 cores=0,2,4,6
/proc/14583/stat : 14583 (sattime) R 14581 14583 14517 0 -1 4202496 5940 0 0 0 448237 5 0 0 25 0 1 0 787778667 1029988352 5883 33554432000 4194304 4228548 140735292254944 18446744073709551615 4218978 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/14583/statm: 251462 5883 116 9 0 248619 0
Current children cumulated CPU time (s) 4482.42
Current children cumulated vsize (KiB) 1005848
[startup+4542.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/274 14717
/proc/meminfo: memFree=13600128/32951124 swapFree=55664332/67111528
[pid=14583] ppid=14581 vsize=1005848 CPUtime=4542.43 cores=0,2,4,6
/proc/14583/stat : 14583 (sattime) R 14581 14583 14517 0 -1 4202496 5940 0 0 0 454238 5 0 0 25 0 1 0 787778667 1029988352 5883 33554432000 4194304 4228548 140735292254944 18446744073709551615 4217469 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/14583/statm: 251462 5883 116 9 0 248619 0
Current children cumulated CPU time (s) 4542.43
Current children cumulated vsize (KiB) 1005848
[startup+4602.3 s]
/proc/loadavg: 2.09 2.03 1.95 3/274 14718
/proc/meminfo: memFree=13599244/32951124 swapFree=55664332/67111528
[pid=14583] ppid=14581 vsize=1005848 CPUtime=4602.43 cores=0,2,4,6
/proc/14583/stat : 14583 (sattime) R 14581 14583 14517 0 -1 4202496 5940 0 0 0 460238 5 0 0 25 0 1 0 787778667 1029988352 5883 33554432000 4194304 4228548 140735292254944 18446744073709551615 4217502 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/14583/statm: 251462 5883 116 9 0 248619 0
Current children cumulated CPU time (s) 4602.43
Current children cumulated vsize (KiB) 1005848
[startup+4662.3 s]
/proc/loadavg: 2.03 2.02 1.95 3/274 14720
/proc/meminfo: memFree=13598964/32951124 swapFree=55664332/67111528
[pid=14583] ppid=14581 vsize=1005848 CPUtime=4662.43 cores=0,2,4,6
/proc/14583/stat : 14583 (sattime) R 14581 14583 14517 0 -1 4202496 5940 0 0 0 466238 5 0 0 25 0 1 0 787778667 1029988352 5883 33554432000 4194304 4228548 140735292254944 18446744073709551615 4214990 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/14583/statm: 251462 5883 116 9 0 248619 0
Current children cumulated CPU time (s) 4662.43
Current children cumulated vsize (KiB) 1005848
Solver just ended. Dumping a history of the last processes samples
[startup+4684.7 s]
/proc/loadavg: 2.08 2.04 1.96 3/274 14720
/proc/meminfo: memFree=13599192/32951124 swapFree=55664332/67111528
[pid=14583] ppid=14581 vsize=1005848 CPUtime=4684.83 cores=0,2,4,6
/proc/14583/stat : 14583 (sattime) R 14581 14583 14517 0 -1 4202496 5940 0 0 0 468478 5 0 0 25 0 1 0 787778667 1029988352 5883 33554432000 4194304 4228548 140735292254944 18446744073709551615 4218978 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/14583/statm: 251462 5883 116 9 0 248619 0
Current children cumulated CPU time (s) 4684.83
Current children cumulated vsize (KiB) 1005848
[startup+4697.5 s]
/proc/loadavg: 2.06 2.03 1.96 3/274 14721
/proc/meminfo: memFree=13599684/32951124 swapFree=55664332/67111528
[pid=14583] ppid=14581 vsize=1005848 CPUtime=4697.63 cores=0,2,4,6
/proc/14583/stat : 14583 (sattime) R 14581 14583 14517 0 -1 4202496 5940 0 0 0 469758 5 0 0 25 0 1 0 787778667 1029988352 5883 33554432000 4194304 4228548 140735292254944 18446744073709551615 4218907 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/14583/statm: 251462 5883 116 9 0 248619 0
Current children cumulated CPU time (s) 4697.63
Current children cumulated vsize (KiB) 1005848
[startup+4703.9 s]
/proc/loadavg: 2.06 2.03 1.96 3/274 14721
/proc/meminfo: memFree=13600052/32951124 swapFree=55664332/67111528
[pid=14583] ppid=14581 vsize=1005848 CPUtime=4704.03 cores=0,2,4,6
/proc/14583/stat : 14583 (sattime) R 14581 14583 14517 0 -1 4202496 5940 0 0 0 470398 5 0 0 25 0 1 0 787778667 1029988352 5883 33554432000 4194304 4228548 140735292254944 18446744073709551615 4218775 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/14583/statm: 251462 5883 116 9 0 248619 0
Current children cumulated CPU time (s) 4704.03
Current children cumulated vsize (KiB) 1005848
[startup+4707.1 s]
/proc/loadavg: 2.05 2.03 1.96 3/274 14721
/proc/meminfo: memFree=13600052/32951124 swapFree=55664332/67111528
[pid=14583] ppid=14581 vsize=1005848 CPUtime=4707.23 cores=0,2,4,6
/proc/14583/stat : 14583 (sattime) R 14581 14583 14517 0 -1 4202496 5940 0 0 0 470718 5 0 0 25 0 1 0 787778667 1029988352 5883 33554432000 4194304 4228548 140735292254944 18446744073709551615 4217203 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/14583/statm: 251462 5883 116 9 0 248619 0
Current children cumulated CPU time (s) 4707.23
Current children cumulated vsize (KiB) 1005848
[startup+4708.7 s]
/proc/loadavg: 2.05 2.03 1.96 3/274 14721
/proc/meminfo: memFree=13599804/32951124 swapFree=55664332/67111528
[pid=14583] ppid=14581 vsize=1005848 CPUtime=4708.83 cores=0,2,4,6
/proc/14583/stat : 14583 (sattime) R 14581 14583 14517 0 -1 4202496 5940 0 0 0 470878 5 0 0 25 0 1 0 787778667 1029988352 5883 33554432000 4194304 4228548 140735292254944 18446744073709551615 4216818 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/14583/statm: 251462 5883 116 9 0 248619 0
Current children cumulated CPU time (s) 4708.83
Current children cumulated vsize (KiB) 1005848
[startup+4710.3 s]
/proc/loadavg: 2.05 2.03 1.96 3/274 14721
/proc/meminfo: memFree=13599804/32951124 swapFree=55664332/67111528
[pid=14583] ppid=14581 vsize=1005848 CPUtime=4710.43 cores=0,2,4,6
/proc/14583/stat : 14583 (sattime) R 14581 14583 14517 0 -1 4202496 5940 0 0 0 471038 5 0 0 25 0 1 0 787778667 1029988352 5883 33554432000 4194304 4228548 140735292254944 18446744073709551615 4217469 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/14583/statm: 251462 5883 116 9 0 248619 0
Current children cumulated CPU time (s) 4710.43
Current children cumulated vsize (KiB) 1005848
[startup+4710.7 s]
/proc/loadavg: 2.05 2.03 1.96 3/274 14721
/proc/meminfo: memFree=13599804/32951124 swapFree=55664332/67111528
[pid=14583] ppid=14581 vsize=1005848 CPUtime=4710.83 cores=0,2,4,6
/proc/14583/stat : 14583 (sattime) R 14581 14583 14517 0 -1 4202496 5940 0 0 0 471078 5 0 0 25 0 1 0 787778667 1029988352 5883 33554432000 4194304 4228548 140735292254944 18446744073709551615 4217469 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/14583/statm: 251462 5883 116 9 0 248619 0
Current children cumulated CPU time (s) 4710.83
Current children cumulated vsize (KiB) 1005848
[startup+4711.1 s]
/proc/loadavg: 2.05 2.03 1.96 3/274 14721
/proc/meminfo: memFree=13599804/32951124 swapFree=55664332/67111528
[pid=14583] ppid=14581 vsize=1005852 CPUtime=4711.23 cores=0,2,4,6
/proc/14583/stat : 14583 (sattime) R 14581 14583 14517 0 -1 4202496 5942 0 0 0 471118 5 0 0 25 0 1 0 787778667 1029992448 5885 33554432000 4194304 4228548 140735292254944 18446744073709551615 222921776896 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/14583/statm: 251463 5885 116 9 0 248620 0
Current children cumulated CPU time (s) 4711.23
Current children cumulated vsize (KiB) 1005852
Child status: 10
Real time (s): 4711.14
CPU time (s): 4711.28
CPU user time (s): 4711.23
CPU system time (s): 0.057991
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 1005852
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4711.23
system time used= 0.057991
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 5946
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= 10631
runsolver used 12.2491 second user time and 26.303 second system time
The end