runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 989)
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-3499907-1307978551/watcher-3499907-1307978551 -o /tmp/evaluation-result-3499907-1307978551/solver-3499907-1307978551 -C 5000 -W 5100 -M 15500 sattime+ HOME/instance-3499907-1307978551.cnf 1950455392
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: 1.84 1.97 1.95 4/176 16522
/proc/meminfo: memFree=32164536/32951124 swapFree=67056676/67111528
[pid=16521] ppid=16517 vsize=881160 CPUtime=0 cores=0,2,4,6
/proc/16521/stat : 16521 (sattime+) R 16517 16521 14821 0 -1 4194304 334 0 0 0 0 0 0 0 21 0 1 0 909453081 902307840 278 33554432000 4194304 4228340 140736645730304 18446744073709551615 4202878 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/16521/statm: 220290 278 101 9 0 217447 0
[startup+0.0845961 s]
/proc/loadavg: 1.84 1.97 1.95 4/176 16522
/proc/meminfo: memFree=32164536/32951124 swapFree=67056676/67111528
[pid=16521] ppid=16517 vsize=885248 CPUtime=0.08 cores=0,2,4,6
/proc/16521/stat : 16521 (sattime+) R 16517 16521 14821 0 -1 4202496 1540 0 0 0 8 0 0 0 21 0 1 0 909453081 906493952 1483 33554432000 4194304 4228340 140736645730304 18446744073709551615 4206739 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/16521/statm: 221312 1483 104 9 0 218469 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 885248
[startup+0.100598 s]
/proc/loadavg: 1.84 1.97 1.95 4/176 16522
/proc/meminfo: memFree=32164536/32951124 swapFree=67056676/67111528
[pid=16521] ppid=16517 vsize=885248 CPUtime=0.09 cores=0,2,4,6
/proc/16521/stat : 16521 (sattime+) R 16517 16521 14821 0 -1 4202496 1540 0 0 0 9 0 0 0 21 0 1 0 909453081 906493952 1483 33554432000 4194304 4228340 140736645730304 18446744073709551615 4206952 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/16521/statm: 221312 1483 104 9 0 218469 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 885248
[startup+0.300544 s]
/proc/loadavg: 1.84 1.97 1.95 4/176 16522
/proc/meminfo: memFree=32164536/32951124 swapFree=67056676/67111528
[pid=16521] ppid=16517 vsize=885248 CPUtime=0.29 cores=0,2,4,6
/proc/16521/stat : 16521 (sattime+) R 16517 16521 14821 0 -1 4202496 1540 0 0 0 29 0 0 0 22 0 1 0 909453081 906493952 1483 33554432000 4194304 4228340 140736645730304 18446744073709551615 4206759 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/16521/statm: 221312 1483 104 9 0 218469 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 885248
[startup+0.700502 s]
/proc/loadavg: 1.84 1.97 1.95 4/176 16522
/proc/meminfo: memFree=32164536/32951124 swapFree=67056676/67111528
[pid=16521] ppid=16517 vsize=885248 CPUtime=0.69 cores=0,2,4,6
/proc/16521/stat : 16521 (sattime+) R 16517 16521 14821 0 -1 4202496 1540 0 0 0 69 0 0 0 24 0 1 0 909453081 906493952 1483 33554432000 4194304 4228340 140736645730304 18446744073709551615 4206772 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/16521/statm: 221312 1483 104 9 0 218469 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 885248
[startup+1.50036 s]
/proc/loadavg: 1.84 1.97 1.95 4/178 16524
/proc/meminfo: memFree=32154428/32951124 swapFree=67056676/67111528
[pid=16521] ppid=16517 vsize=885248 CPUtime=1.49 cores=0,2,4,6
/proc/16521/stat : 16521 (sattime+) R 16517 16521 14821 0 -1 4202496 1540 0 0 0 149 0 0 0 25 0 1 0 909453081 906493952 1483 33554432000 4194304 4228340 140736645730304 18446744073709551615 4206780 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/16521/statm: 221312 1483 104 9 0 218469 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 885248
[startup+3.10105 s]
/proc/loadavg: 1.84 1.97 1.95 4/178 16524
/proc/meminfo: memFree=32151824/32951124 swapFree=67056676/67111528
[pid=16521] ppid=16517 vsize=885516 CPUtime=3.09 cores=0,2,4,6
/proc/16521/stat : 16521 (sattime+) R 16517 16521 14821 0 -1 4202496 1787 0 0 0 309 0 0 0 25 0 1 0 909453081 906768384 1728 33554432000 4194304 4228340 140736645730304 18446744073709551615 4218751 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/16521/statm: 221379 1728 116 9 0 218536 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 885516
[startup+6.30049 s]
/proc/loadavg: 1.85 1.97 1.95 4/178 16524
/proc/meminfo: memFree=32151048/32951124 swapFree=67056676/67111528
[pid=16521] ppid=16517 vsize=885516 CPUtime=6.29 cores=0,2,4,6
/proc/16521/stat : 16521 (sattime+) R 16517 16521 14821 0 -1 4202496 1787 0 0 0 629 0 0 0 25 0 1 0 909453081 906768384 1728 33554432000 4194304 4228340 140736645730304 18446744073709551615 4217700 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/16521/statm: 221379 1728 116 9 0 218536 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 885516
[startup+12.7004 s]
/proc/loadavg: 1.86 1.97 1.95 4/178 16524
/proc/meminfo: memFree=32150624/32951124 swapFree=67056676/67111528
[pid=16521] ppid=16517 vsize=885516 CPUtime=12.69 cores=0,2,4,6
/proc/16521/stat : 16521 (sattime+) R 16517 16521 14821 0 -1 4202496 1787 0 0 0 1269 0 0 0 25 0 1 0 909453081 906768384 1728 33554432000 4194304 4228340 140736645730304 18446744073709551615 4217315 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/16521/statm: 221379 1728 116 9 0 218536 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 885516
[startup+25.5012 s]
/proc/loadavg: 1.89 1.97 1.95 4/178 16524
/proc/meminfo: memFree=32150688/32951124 swapFree=67056676/67111528
[pid=16521] ppid=16517 vsize=885516 CPUtime=25.49 cores=0,2,4,6
/proc/16521/stat : 16521 (sattime+) R 16517 16521 14821 0 -1 4202496 1787 0 0 0 2549 0 0 0 25 0 1 0 909453081 906768384 1728 33554432000 4194304 4228340 140736645730304 18446744073709551615 4217093 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/16521/statm: 221379 1728 116 9 0 218536 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 885516
[startup+51.1007 s]
/proc/loadavg: 1.93 1.97 1.95 4/178 16525
/proc/meminfo: memFree=32150592/32951124 swapFree=67056676/67111528
[pid=16521] ppid=16517 vsize=885516 CPUtime=51.09 cores=0,2,4,6
/proc/16521/stat : 16521 (sattime+) R 16517 16521 14821 0 -1 4202496 1787 0 0 0 5109 0 0 0 25 0 1 0 909453081 906768384 1728 33554432000 4194304 4228340 140736645730304 18446744073709551615 4217708 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/16521/statm: 221379 1728 116 9 0 218536 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 885516
[startup+102.307 s]
/proc/loadavg: 1.97 1.97 1.95 3/178 16565
/proc/meminfo: memFree=32153160/32951124 swapFree=67056676/67111528
[pid=16521] ppid=16517 vsize=885516 CPUtime=102.3 cores=0,2,4,6
/proc/16521/stat : 16521 (sattime+) R 16517 16521 14821 0 -1 4202496 1787 0 0 0 10230 0 0 0 25 0 1 0 909453081 906768384 1728 33554432000 4194304 4228340 140736645730304 18446744073709551615 4217122 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/16521/statm: 221379 1728 116 9 0 218536 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 885516
[startup+162.301 s]
/proc/loadavg: 1.99 1.97 1.95 3/178 16566
/proc/meminfo: memFree=32152564/32951124 swapFree=67056676/67111528
[pid=16521] ppid=16517 vsize=885516 CPUtime=162.3 cores=0,2,4,6
/proc/16521/stat : 16521 (sattime+) R 16517 16521 14821 0 -1 4202496 1787 0 0 0 16230 0 0 0 25 0 1 0 909453081 906768384 1728 33554432000 4194304 4228340 140736645730304 18446744073709551615 4217530 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/16521/statm: 221379 1728 116 9 0 218536 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 885516
[startup+222.301 s]
/proc/loadavg: 1.99 1.97 1.95 3/178 16568
/proc/meminfo: memFree=32152776/32951124 swapFree=67056676/67111528
[pid=16521] ppid=16517 vsize=885516 CPUtime=222.3 cores=0,2,4,6
/proc/16521/stat : 16521 (sattime+) R 16517 16521 14821 0 -1 4202496 1787 0 0 0 22230 0 0 0 25 0 1 0 909453081 906768384 1728 33554432000 4194304 4228340 140736645730304 18446744073709551615 4217301 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/16521/statm: 221379 1728 116 9 0 218536 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 885516
[startup+282.301 s]
/proc/loadavg: 1.99 1.97 1.95 3/178 16569
/proc/meminfo: memFree=32152736/32951124 swapFree=67056676/67111528
[pid=16521] ppid=16517 vsize=885516 CPUtime=282.3 cores=0,2,4,6
/proc/16521/stat : 16521 (sattime+) R 16517 16521 14821 0 -1 4202496 1787 0 0 0 28230 0 0 0 25 0 1 0 909453081 906768384 1728 33554432000 4194304 4228340 140736645730304 18446744073709551615 4217584 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/16521/statm: 221379 1728 116 9 0 218536 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 885516
[startup+342.3 s]
/proc/loadavg: 1.99 1.97 1.95 3/178 16571
/proc/meminfo: memFree=32152712/32951124 swapFree=67056676/67111528
[pid=16521] ppid=16517 vsize=885516 CPUtime=342.3 cores=0,2,4,6
/proc/16521/stat : 16521 (sattime+) R 16517 16521 14821 0 -1 4202496 1787 0 0 0 34230 0 0 0 25 0 1 0 909453081 906768384 1728 33554432000 4194304 4228340 140736645730304 18446744073709551615 4217651 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/16521/statm: 221379 1728 116 9 0 218536 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 885516
[startup+402.301 s]
/proc/loadavg: 1.99 1.97 1.95 3/178 16573
/proc/meminfo: memFree=32152796/32951124 swapFree=67056676/67111528
[pid=16521] ppid=16517 vsize=885516 CPUtime=402.3 cores=0,2,4,6
/proc/16521/stat : 16521 (sattime+) R 16517 16521 14821 0 -1 4202496 1787 0 0 0 40230 0 0 0 25 0 1 0 909453081 906768384 1728 33554432000 4194304 4228340 140736645730304 18446744073709551615 4217122 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/16521/statm: 221379 1728 116 9 0 218536 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 885516
[startup+462.3 s]
/proc/loadavg: 1.99 1.97 1.95 3/178 16574
/proc/meminfo: memFree=32152880/32951124 swapFree=67056676/67111528
[pid=16521] ppid=16517 vsize=885516 CPUtime=462.3 cores=0,2,4,6
/proc/16521/stat : 16521 (sattime+) R 16517 16521 14821 0 -1 4202496 1787 0 0 0 46230 0 0 0 25 0 1 0 909453081 906768384 1728 33554432000 4194304 4228340 140736645730304 18446744073709551615 4218956 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/16521/statm: 221379 1728 116 9 0 218536 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 885516
[startup+522.301 s]
/proc/loadavg: 2.04 1.99 1.96 3/178 16576
/proc/meminfo: memFree=32152844/32951124 swapFree=67056676/67111528
[pid=16521] ppid=16517 vsize=885516 CPUtime=522.3 cores=0,2,4,6
/proc/16521/stat : 16521 (sattime+) R 16517 16521 14821 0 -1 4202496 1787 0 0 0 52230 0 0 0 25 0 1 0 909453081 906768384 1728 33554432000 4194304 4228340 140736645730304 18446744073709551615 4218915 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/16521/statm: 221379 1728 116 9 0 218536 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 885516
[startup+582.3 s]
/proc/loadavg: 2.01 1.99 1.96 3/178 16577
/proc/meminfo: memFree=32152696/32951124 swapFree=67056676/67111528
[pid=16521] ppid=16517 vsize=885516 CPUtime=582.31 cores=0,2,4,6
/proc/16521/stat : 16521 (sattime+) R 16517 16521 14821 0 -1 4202496 1787 0 0 0 58231 0 0 0 25 0 1 0 909453081 906768384 1728 33554432000 4194304 4228340 140736645730304 18446744073709551615 4218840 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/16521/statm: 221379 1728 116 9 0 218536 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 885516
[startup+642.301 s]
################
# More data... #
################
[startup+4062.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 16682
/proc/meminfo: memFree=32149892/32951124 swapFree=67056676/67111528
[pid=16521] ppid=16517 vsize=885516 CPUtime=4062.39 cores=0,2,4,6
/proc/16521/stat : 16521 (sattime+) R 16517 16521 14821 0 -1 4202496 1787 0 0 0 406237 2 0 0 25 0 1 0 909453081 906768384 1728 33554432000 4194304 4228340 140736645730304 18446744073709551615 4217114 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/16521/statm: 221379 1728 116 9 0 218536 0
Current children cumulated CPU time (s) 4062.39
Current children cumulated vsize (KiB) 885516
[startup+4122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 16684
/proc/meminfo: memFree=32149844/32951124 swapFree=67056676/67111528
[pid=16521] ppid=16517 vsize=885516 CPUtime=4122.38 cores=0,2,4,6
/proc/16521/stat : 16521 (sattime+) R 16517 16521 14821 0 -1 4202496 1787 0 0 0 412236 2 0 0 25 0 1 0 909453081 906768384 1728 33554432000 4194304 4228340 140736645730304 18446744073709551615 4217552 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/16521/statm: 221379 1728 116 9 0 218536 0
Current children cumulated CPU time (s) 4122.38
Current children cumulated vsize (KiB) 885516
[startup+4182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 16685
/proc/meminfo: memFree=32149680/32951124 swapFree=67056676/67111528
[pid=16521] ppid=16517 vsize=885516 CPUtime=4182.38 cores=0,2,4,6
/proc/16521/stat : 16521 (sattime+) R 16517 16521 14821 0 -1 4202496 1787 0 0 0 418236 2 0 0 25 0 1 0 909453081 906768384 1728 33554432000 4194304 4228340 140736645730304 18446744073709551615 4218815 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/16521/statm: 221379 1728 116 9 0 218536 0
Current children cumulated CPU time (s) 4182.38
Current children cumulated vsize (KiB) 885516
[startup+4242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 16687
/proc/meminfo: memFree=32149644/32951124 swapFree=67056676/67111528
[pid=16521] ppid=16517 vsize=885516 CPUtime=4242.38 cores=0,2,4,6
/proc/16521/stat : 16521 (sattime+) R 16517 16521 14821 0 -1 4202496 1787 0 0 0 424236 2 0 0 25 0 1 0 909453081 906768384 1728 33554432000 4194304 4228340 140736645730304 18446744073709551615 4217007 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/16521/statm: 221379 1728 116 9 0 218536 0
Current children cumulated CPU time (s) 4242.38
Current children cumulated vsize (KiB) 885516
[startup+4302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 16689
/proc/meminfo: memFree=32149732/32951124 swapFree=67056676/67111528
[pid=16521] ppid=16517 vsize=885516 CPUtime=4302.39 cores=0,2,4,6
/proc/16521/stat : 16521 (sattime+) R 16517 16521 14821 0 -1 4202496 1787 0 0 0 430236 3 0 0 25 0 1 0 909453081 906768384 1728 33554432000 4194304 4228340 140736645730304 18446744073709551615 4219006 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/16521/statm: 221379 1728 116 9 0 218536 0
Current children cumulated CPU time (s) 4302.39
Current children cumulated vsize (KiB) 885516
[startup+4362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 16690
/proc/meminfo: memFree=32149700/32951124 swapFree=67056676/67111528
[pid=16521] ppid=16517 vsize=885516 CPUtime=4362.39 cores=0,2,4,6
/proc/16521/stat : 16521 (sattime+) R 16517 16521 14821 0 -1 4202496 1787 0 0 0 436236 3 0 0 25 0 1 0 909453081 906768384 1728 33554432000 4194304 4228340 140736645730304 18446744073709551615 4218926 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/16521/statm: 221379 1728 116 9 0 218536 0
Current children cumulated CPU time (s) 4362.39
Current children cumulated vsize (KiB) 885516
[startup+4422.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 16692
/proc/meminfo: memFree=32149916/32951124 swapFree=67056676/67111528
[pid=16521] ppid=16517 vsize=885516 CPUtime=4422.39 cores=0,2,4,6
/proc/16521/stat : 16521 (sattime+) R 16517 16521 14821 0 -1 4202496 1787 0 0 0 442236 3 0 0 25 0 1 0 909453081 906768384 1728 33554432000 4194304 4228340 140736645730304 18446744073709551615 4218945 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/16521/statm: 221379 1728 116 9 0 218536 0
Current children cumulated CPU time (s) 4422.39
Current children cumulated vsize (KiB) 885516
[startup+4482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 16693
/proc/meminfo: memFree=32149884/32951124 swapFree=67056676/67111528
[pid=16521] ppid=16517 vsize=885516 CPUtime=4482.39 cores=0,2,4,6
/proc/16521/stat : 16521 (sattime+) R 16517 16521 14821 0 -1 4202496 1787 0 0 0 448236 3 0 0 25 0 1 0 909453081 906768384 1728 33554432000 4194304 4228340 140736645730304 18446744073709551615 4218926 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/16521/statm: 221379 1728 116 9 0 218536 0
Current children cumulated CPU time (s) 4482.39
Current children cumulated vsize (KiB) 885516
[startup+4542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 16695
/proc/meminfo: memFree=32149844/32951124 swapFree=67056676/67111528
[pid=16521] ppid=16517 vsize=885516 CPUtime=4542.39 cores=0,2,4,6
/proc/16521/stat : 16521 (sattime+) R 16517 16521 14821 0 -1 4202496 1787 0 0 0 454236 3 0 0 25 0 1 0 909453081 906768384 1728 33554432000 4194304 4228340 140736645730304 18446744073709551615 4218874 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/16521/statm: 221379 1728 116 9 0 218536 0
Current children cumulated CPU time (s) 4542.39
Current children cumulated vsize (KiB) 885516
[startup+4602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 16697
/proc/meminfo: memFree=32149556/32951124 swapFree=67056676/67111528
[pid=16521] ppid=16517 vsize=885516 CPUtime=4602.4 cores=0,2,4,6
/proc/16521/stat : 16521 (sattime+) R 16517 16521 14821 0 -1 4202496 1787 0 0 0 460237 3 0 0 25 0 1 0 909453081 906768384 1728 33554432000 4194304 4228340 140736645730304 18446744073709551615 4217013 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/16521/statm: 221379 1728 116 9 0 218536 0
Current children cumulated CPU time (s) 4602.4
Current children cumulated vsize (KiB) 885516
[startup+4662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 16698
/proc/meminfo: memFree=32149516/32951124 swapFree=67056676/67111528
[pid=16521] ppid=16517 vsize=885516 CPUtime=4662.4 cores=0,2,4,6
/proc/16521/stat : 16521 (sattime+) R 16517 16521 14821 0 -1 4202496 1787 0 0 0 466237 3 0 0 25 0 1 0 909453081 906768384 1728 33554432000 4194304 4228340 140736645730304 18446744073709551615 4218730 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/16521/statm: 221379 1728 116 9 0 218536 0
Current children cumulated CPU time (s) 4662.4
Current children cumulated vsize (KiB) 885516
[startup+4722.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 16700
/proc/meminfo: memFree=32149236/32951124 swapFree=67056676/67111528
[pid=16521] ppid=16517 vsize=885516 CPUtime=4722.4 cores=0,2,4,6
/proc/16521/stat : 16521 (sattime+) R 16517 16521 14821 0 -1 4202496 1787 0 0 0 472237 3 0 0 25 0 1 0 909453081 906768384 1728 33554432000 4194304 4228340 140736645730304 18446744073709551615 4217664 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/16521/statm: 221379 1728 116 9 0 218536 0
Current children cumulated CPU time (s) 4722.4
Current children cumulated vsize (KiB) 885516
[startup+4782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 16701
/proc/meminfo: memFree=32149320/32951124 swapFree=67056676/67111528
[pid=16521] ppid=16517 vsize=885516 CPUtime=4782.4 cores=0,2,4,6
/proc/16521/stat : 16521 (sattime+) R 16517 16521 14821 0 -1 4202496 1787 0 0 0 478237 3 0 0 25 0 1 0 909453081 906768384 1728 33554432000 4194304 4228340 140736645730304 18446744073709551615 4218926 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/16521/statm: 221379 1728 116 9 0 218536 0
Current children cumulated CPU time (s) 4782.4
Current children cumulated vsize (KiB) 885516
[startup+4842.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 16703
/proc/meminfo: memFree=32149280/32951124 swapFree=67056676/67111528
[pid=16521] ppid=16517 vsize=885516 CPUtime=4842.4 cores=0,2,4,6
/proc/16521/stat : 16521 (sattime+) R 16517 16521 14821 0 -1 4202496 1787 0 0 0 484237 3 0 0 25 0 1 0 909453081 906768384 1728 33554432000 4194304 4228340 140736645730304 18446744073709551615 4218523 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/16521/statm: 221379 1728 116 9 0 218536 0
Current children cumulated CPU time (s) 4842.4
Current children cumulated vsize (KiB) 885516
[startup+4902.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 16705
/proc/meminfo: memFree=32149240/32951124 swapFree=67056676/67111528
[pid=16521] ppid=16517 vsize=885516 CPUtime=4902.41 cores=0,2,4,6
/proc/16521/stat : 16521 (sattime+) R 16517 16521 14821 0 -1 4202496 1787 0 0 0 490237 4 0 0 25 0 1 0 909453081 906768384 1728 33554432000 4194304 4228340 140736645730304 18446744073709551615 4217620 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/16521/statm: 221379 1728 116 9 0 218536 0
Current children cumulated CPU time (s) 4902.41
Current children cumulated vsize (KiB) 885516
[startup+4962.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 16706
/proc/meminfo: memFree=32149076/32951124 swapFree=67056676/67111528
[pid=16521] ppid=16517 vsize=885516 CPUtime=4962.41 cores=0,2,4,6
/proc/16521/stat : 16521 (sattime+) R 16517 16521 14821 0 -1 4202496 1787 0 0 0 496237 4 0 0 25 0 1 0 909453081 906768384 1728 33554432000 4194304 4228340 140736645730304 18446744073709551615 4217565 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/16521/statm: 221379 1728 116 9 0 218536 0
Current children cumulated CPU time (s) 4962.41
Current children cumulated vsize (KiB) 885516
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+4999.9 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 16707
/proc/meminfo: memFree=32149304/32951124 swapFree=67056676/67111528
[pid=16521] ppid=16517 vsize=885516 CPUtime=5000.01 cores=0,2,4,6
/proc/16521/stat : 16521 (sattime+) R 16517 16521 14821 0 -1 4202496 1787 0 0 0 499997 4 0 0 25 0 1 0 909453081 906768384 1728 33554432000 4194304 4228340 140736645730304 18446744073709551615 4217628 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/16521/statm: 221379 1728 116 9 0 218536 0
Current children cumulated CPU time (s) 5000.01
Current children cumulated vsize (KiB) 885516
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+4999.9 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 16707
/proc/meminfo: memFree=32149304/32951124 swapFree=67056676/67111528
[pid=16521] ppid=16517 vsize=885516 CPUtime=5000.01 cores=0,2,4,6
/proc/16521/stat : 16521 (sattime+) R 16517 16521 14821 0 -1 4202496 1787 0 0 0 499997 4 0 0 25 0 1 0 909453081 906768384 1728 33554432000 4194304 4228340 140736645730304 18446744073709551615 4217628 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/16521/statm: 221379 1728 116 9 0 218536 0
Current children cumulated CPU time (s) 5000.01
Current children cumulated vsize (KiB) 885516
Child ended because it received signal 15 (SIGTERM)
Real time (s): 4999.91
CPU time (s): 5000.02
CPU user time (s): 4999.98
CPU system time (s): 0.042993
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 885516
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4999.98
system time used= 0.042993
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1787
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= 7
involuntary context switches= 9751
runsolver used 7.43787 second user time and 15.3617 second system time
The end