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 /var/tmp/evaluation-result-3499783-1307973793/watcher-3499783-1307973793 -o /var/tmp/evaluation-result-3499783-1307973793/solver-3499783-1307973793 -C 5000 -W 5100 -M 15500 sattime+ HOME/instance-3499783-1307973793.cnf 313858411 

running on 4 cores: 1,3,5,7

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.26 1.77 1.91 3/177 29771
/proc/meminfo: memFree=3845840/32951124 swapFree=67054520/67111528
[pid=29771] ppid=29769 vsize=881160 CPUtime=0 cores=1,3,5,7
/proc/29771/stat : 29771 (sattime+) R 29769 29771 28281 0 -1 4194304 343 0 0 0 0 0 0 0 20 0 1 0 908977823 902307840 286 33554432000 4194304 4228340 140734014353904 18446744073709551615 210204647168 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/29771/statm: 220290 286 102 9 0 217447 0

[startup+0.0553949 s]
/proc/loadavg: 1.26 1.77 1.91 3/177 29771
/proc/meminfo: memFree=3845840/32951124 swapFree=67054520/67111528
[pid=29771] ppid=29769 vsize=885120 CPUtime=0.05 cores=1,3,5,7
/proc/29771/stat : 29771 (sattime+) R 29769 29771 28281 0 -1 4194304 1840 0 0 0 5 0 0 0 20 0 1 0 908977823 906362880 1783 33554432000 4194304 4228340 140734014353904 18446744073709551615 210204308165 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/29771/statm: 221280 1783 102 9 0 218437 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 885120

[startup+0.1004 s]
/proc/loadavg: 1.26 1.77 1.91 3/177 29771
/proc/meminfo: memFree=3845840/32951124 swapFree=67054520/67111528
[pid=29771] ppid=29769 vsize=894224 CPUtime=0.09 cores=1,3,5,7
/proc/29771/stat : 29771 (sattime+) R 29769 29771 28281 0 -1 4202496 4578 0 0 0 9 0 0 0 20 0 1 0 908977823 915685376 4520 33554432000 4194304 4228340 140734014353904 18446744073709551615 4206897 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/29771/statm: 223556 4520 104 9 0 220713 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 894224

[startup+0.300354 s]
/proc/loadavg: 1.26 1.77 1.91 3/177 29771
/proc/meminfo: memFree=3845840/32951124 swapFree=67054520/67111528
[pid=29771] ppid=29769 vsize=894224 CPUtime=0.29 cores=1,3,5,7
/proc/29771/stat : 29771 (sattime+) R 29769 29771 28281 0 -1 4202496 4578 0 0 0 29 0 0 0 21 0 1 0 908977823 915685376 4520 33554432000 4194304 4228340 140734014353904 18446744073709551615 4206776 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/29771/statm: 223556 4520 104 9 0 220713 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 894224

[startup+0.700294 s]
/proc/loadavg: 1.26 1.77 1.91 3/177 29771
/proc/meminfo: memFree=3845840/32951124 swapFree=67054520/67111528
[pid=29771] ppid=29769 vsize=894224 CPUtime=0.69 cores=1,3,5,7
/proc/29771/stat : 29771 (sattime+) R 29769 29771 28281 0 -1 4202496 4578 0 0 0 69 0 0 0 22 0 1 0 908977823 915685376 4520 33554432000 4194304 4228340 140734014353904 18446744073709551615 4206744 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/29771/statm: 223556 4520 104 9 0 220713 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 894224

[startup+1.50016 s]
/proc/loadavg: 1.26 1.77 1.91 4/178 29772
/proc/meminfo: memFree=3813616/32951124 swapFree=67054520/67111528
[pid=29771] ppid=29769 vsize=895548 CPUtime=1.49 cores=1,3,5,7
/proc/29771/stat : 29771 (sattime+) R 29769 29771 28281 0 -1 4202496 5692 0 0 0 149 0 0 0 25 0 1 0 908977823 917041152 5633 33554432000 4194304 4228340 140734014353904 18446744073709551615 4216899 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/29771/statm: 223887 5633 116 9 0 221044 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 895548

[startup+3.10089 s]
/proc/loadavg: 1.26 1.77 1.91 3/178 29772
/proc/meminfo: memFree=3813244/32951124 swapFree=67054520/67111528
[pid=29771] ppid=29769 vsize=895548 CPUtime=3.09 cores=1,3,5,7
/proc/29771/stat : 29771 (sattime+) R 29769 29771 28281 0 -1 4202496 5692 0 0 0 309 0 0 0 25 0 1 0 908977823 917041152 5633 33554432000 4194304 4228340 140734014353904 18446744073709551615 4218932 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/29771/statm: 223887 5633 116 9 0 221044 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 895548

[startup+6.30036 s]
/proc/loadavg: 1.32 1.77 1.91 3/178 29772
/proc/meminfo: memFree=3812452/32951124 swapFree=67054520/67111528
[pid=29771] ppid=29769 vsize=895548 CPUtime=6.29 cores=1,3,5,7
/proc/29771/stat : 29771 (sattime+) R 29769 29771 28281 0 -1 4202496 5692 0 0 0 629 0 0 0 25 0 1 0 908977823 917041152 5633 33554432000 4194304 4228340 140734014353904 18446744073709551615 4216899 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/29771/statm: 223887 5633 116 9 0 221044 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 895548

[startup+12.7003 s]
/proc/loadavg: 1.38 1.77 1.91 3/178 29773
/proc/meminfo: memFree=3812104/32951124 swapFree=67054520/67111528
[pid=29771] ppid=29769 vsize=895548 CPUtime=12.69 cores=1,3,5,7
/proc/29771/stat : 29771 (sattime+) R 29769 29771 28281 0 -1 4202496 5692 0 0 0 1269 0 0 0 25 0 1 0 908977823 917041152 5633 33554432000 4194304 4228340 140734014353904 18446744073709551615 4218876 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/29771/statm: 223887 5633 116 9 0 221044 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 895548

[startup+25.5011 s]
/proc/loadavg: 1.51 1.78 1.91 3/178 29773
/proc/meminfo: memFree=3812056/32951124 swapFree=67054520/67111528
[pid=29771] ppid=29769 vsize=895548 CPUtime=25.49 cores=1,3,5,7
/proc/29771/stat : 29771 (sattime+) R 29769 29771 28281 0 -1 4202496 5692 0 0 0 2549 0 0 0 25 0 1 0 908977823 917041152 5633 33554432000 4194304 4228340 140734014353904 18446744073709551615 4218926 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/29771/statm: 223887 5633 116 9 0 221044 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 895548

[startup+51.1008 s]
/proc/loadavg: 1.68 1.80 1.91 3/178 29774
/proc/meminfo: memFree=3812484/32951124 swapFree=67054520/67111528
[pid=29771] ppid=29769 vsize=895548 CPUtime=51.09 cores=1,3,5,7
/proc/29771/stat : 29771 (sattime+) R 29769 29771 28281 0 -1 4202496 5692 0 0 0 5109 0 0 0 25 0 1 0 908977823 917041152 5633 33554432000 4194304 4228340 140734014353904 18446744073709551615 4218879 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/29771/statm: 223887 5633 116 9 0 221044 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 895548

[startup+102.306 s]
/proc/loadavg: 1.93 1.84 1.92 3/178 29778
/proc/meminfo: memFree=3811696/32951124 swapFree=67054520/67111528
[pid=29771] ppid=29769 vsize=895548 CPUtime=102.29 cores=1,3,5,7
/proc/29771/stat : 29771 (sattime+) R 29769 29771 28281 0 -1 4202496 5692 0 0 0 10229 0 0 0 25 0 1 0 908977823 917041152 5633 33554432000 4194304 4228340 140734014353904 18446744073709551615 4216907 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/29771/statm: 223887 5633 116 9 0 221044 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 895548

[startup+162.3 s]
/proc/loadavg: 2.03 1.89 1.92 3/178 29780
/proc/meminfo: memFree=3811792/32951124 swapFree=67054520/67111528
[pid=29771] ppid=29769 vsize=895548 CPUtime=162.29 cores=1,3,5,7
/proc/29771/stat : 29771 (sattime+) R 29769 29771 28281 0 -1 4202496 5692 0 0 0 16229 0 0 0 25 0 1 0 908977823 917041152 5633 33554432000 4194304 4228340 140734014353904 18446744073709551615 4217653 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/29771/statm: 223887 5633 116 9 0 221044 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 895548

[startup+222.301 s]
/proc/loadavg: 2.01 1.90 1.92 3/178 29781
/proc/meminfo: memFree=3811752/32951124 swapFree=67054520/67111528
[pid=29771] ppid=29769 vsize=895548 CPUtime=222.29 cores=1,3,5,7
/proc/29771/stat : 29771 (sattime+) R 29769 29771 28281 0 -1 4202496 5692 0 0 0 22229 0 0 0 25 0 1 0 908977823 917041152 5633 33554432000 4194304 4228340 140734014353904 18446744073709551615 4217708 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/29771/statm: 223887 5633 116 9 0 221044 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 895548

[startup+282.301 s]
/proc/loadavg: 2.00 1.92 1.92 3/178 29783
/proc/meminfo: memFree=3811708/32951124 swapFree=67054520/67111528
[pid=29771] ppid=29769 vsize=895548 CPUtime=282.29 cores=1,3,5,7
/proc/29771/stat : 29771 (sattime+) R 29769 29771 28281 0 -1 4202496 5692 0 0 0 28229 0 0 0 25 0 1 0 908977823 917041152 5633 33554432000 4194304 4228340 140734014353904 18446744073709551615 4217243 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/29771/statm: 223887 5633 116 9 0 221044 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 895548

[startup+342.301 s]
/proc/loadavg: 2.00 1.93 1.92 3/178 29785
/proc/meminfo: memFree=3811660/32951124 swapFree=67054520/67111528
[pid=29771] ppid=29769 vsize=895548 CPUtime=342.29 cores=1,3,5,7
/proc/29771/stat : 29771 (sattime+) R 29769 29771 28281 0 -1 4202496 5692 0 0 0 34229 0 0 0 25 0 1 0 908977823 917041152 5633 33554432000 4194304 4228340 140734014353904 18446744073709551615 4218876 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/29771/statm: 223887 5633 116 9 0 221044 0
Current children cumulated CPU time (s) 342.29
Current children cumulated vsize (KiB) 895548

[startup+402.301 s]
/proc/loadavg: 2.00 1.94 1.92 3/178 29786
/proc/meminfo: memFree=3811624/32951124 swapFree=67054520/67111528
[pid=29771] ppid=29769 vsize=895548 CPUtime=402.29 cores=1,3,5,7
/proc/29771/stat : 29771 (sattime+) R 29769 29771 28281 0 -1 4202496 5692 0 0 0 40229 0 0 0 25 0 1 0 908977823 917041152 5633 33554432000 4194304 4228340 140734014353904 18446744073709551615 4217024 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/29771/statm: 223887 5633 116 9 0 221044 0
Current children cumulated CPU time (s) 402.29
Current children cumulated vsize (KiB) 895548

[startup+462.301 s]
/proc/loadavg: 2.00 1.95 1.92 3/178 29788
/proc/meminfo: memFree=3811704/32951124 swapFree=67054520/67111528
[pid=29771] ppid=29769 vsize=895548 CPUtime=462.29 cores=1,3,5,7
/proc/29771/stat : 29771 (sattime+) R 29769 29771 28281 0 -1 4202496 5692 0 0 0 46229 0 0 0 25 0 1 0 908977823 917041152 5633 33554432000 4194304 4228340 140734014353904 18446744073709551615 4218932 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/29771/statm: 223887 5633 116 9 0 221044 0
Current children cumulated CPU time (s) 462.29
Current children cumulated vsize (KiB) 895548

[startup+522.301 s]
/proc/loadavg: 2.00 1.95 1.92 3/178 29789
/proc/meminfo: memFree=3811536/32951124 swapFree=67054520/67111528
[pid=29771] ppid=29769 vsize=895548 CPUtime=522.3 cores=1,3,5,7
/proc/29771/stat : 29771 (sattime+) R 29769 29771 28281 0 -1 4202496 5692 0 0 0 52230 0 0 0 25 0 1 0 908977823 917041152 5633 33554432000 4194304 4228340 140734014353904 18446744073709551615 4218730 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/29771/statm: 223887 5633 116 9 0 221044 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 895548

[startup+582.301 s]
/proc/loadavg: 2.00 1.96 1.92 3/178 29791
/proc/meminfo: memFree=3811492/32951124 swapFree=67054520/67111528
[pid=29771] ppid=29769 vsize=895548 CPUtime=582.3 cores=1,3,5,7
/proc/29771/stat : 29771 (sattime+) R 29769 29771 28281 0 -1 4202496 5692 0 0 0 58230 0 0 0 25 0 1 0 908977823 917041152 5633 33554432000 4194304 4228340 140734014353904 18446744073709551615 4218876 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/29771/statm: 223887 5633 116 9 0 221044 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 895548

[startup+642.301 s]

################
# More data... #
################

/proc/meminfo: memFree=3823272/32951124 swapFree=67054520/67111528
[pid=29771] ppid=29769 vsize=895548 CPUtime=1062.3 cores=1,3,5,7
/proc/29771/stat : 29771 (sattime+) R 29769 29771 28281 0 -1 4202496 5692 0 0 0 106230 0 0 0 25 0 1 0 908977823 917041152 5633 33554432000 4194304 4228340 140734014353904 18446744073709551615 4218902 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/29771/statm: 223887 5633 116 9 0 221044 0
Current children cumulated CPU time (s) 1062.3
Current children cumulated vsize (KiB) 895548

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 29843
/proc/meminfo: memFree=3823224/32951124 swapFree=67054520/67111528
[pid=29771] ppid=29769 vsize=895548 CPUtime=1122.31 cores=1,3,5,7
/proc/29771/stat : 29771 (sattime+) R 29769 29771 28281 0 -1 4202496 5692 0 0 0 112231 0 0 0 25 0 1 0 908977823 917041152 5633 33554432000 4194304 4228340 140734014353904 18446744073709551615 4218876 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/29771/statm: 223887 5633 116 9 0 221044 0
Current children cumulated CPU time (s) 1122.31
Current children cumulated vsize (KiB) 895548

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 29845
/proc/meminfo: memFree=3823180/32951124 swapFree=67054520/67111528
[pid=29771] ppid=29769 vsize=895548 CPUtime=1182.31 cores=1,3,5,7
/proc/29771/stat : 29771 (sattime+) R 29769 29771 28281 0 -1 4202496 5692 0 0 0 118231 0 0 0 25 0 1 0 908977823 917041152 5633 33554432000 4194304 4228340 140734014353904 18446744073709551615 4217694 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/29771/statm: 223887 5633 116 9 0 221044 0
Current children cumulated CPU time (s) 1182.31
Current children cumulated vsize (KiB) 895548

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 29847
/proc/meminfo: memFree=3823152/32951124 swapFree=67054520/67111528
[pid=29771] ppid=29769 vsize=895548 CPUtime=1242.31 cores=1,3,5,7
/proc/29771/stat : 29771 (sattime+) R 29769 29771 28281 0 -1 4202496 5692 0 0 0 124231 0 0 0 25 0 1 0 908977823 917041152 5633 33554432000 4194304 4228340 140734014353904 18446744073709551615 4217114 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/29771/statm: 223887 5633 116 9 0 221044 0
Current children cumulated CPU time (s) 1242.31
Current children cumulated vsize (KiB) 895548

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 29848
/proc/meminfo: memFree=3823244/32951124 swapFree=67054520/67111528
[pid=29771] ppid=29769 vsize=895548 CPUtime=1302.31 cores=1,3,5,7
/proc/29771/stat : 29771 (sattime+) R 29769 29771 28281 0 -1 4202496 5692 0 0 0 130231 0 0 0 25 0 1 0 908977823 917041152 5633 33554432000 4194304 4228340 140734014353904 18446744073709551615 4217653 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/29771/statm: 223887 5633 116 9 0 221044 0
Current children cumulated CPU time (s) 1302.31
Current children cumulated vsize (KiB) 895548

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 29850
/proc/meminfo: memFree=3823096/32951124 swapFree=67054520/67111528
[pid=29771] ppid=29769 vsize=895548 CPUtime=1362.31 cores=1,3,5,7
/proc/29771/stat : 29771 (sattime+) R 29769 29771 28281 0 -1 4202496 5692 0 0 0 136231 0 0 0 25 0 1 0 908977823 917041152 5633 33554432000 4194304 4228340 140734014353904 18446744073709551615 4217679 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/29771/statm: 223887 5633 116 9 0 221044 0
Current children cumulated CPU time (s) 1362.31
Current children cumulated vsize (KiB) 895548

[startup+1422.31 s]
/proc/loadavg: 2.07 2.02 1.94 3/178 29851
/proc/meminfo: memFree=3823064/32951124 swapFree=67054520/67111528
[pid=29771] ppid=29769 vsize=895548 CPUtime=1422.32 cores=1,3,5,7
/proc/29771/stat : 29771 (sattime+) R 29769 29771 28281 0 -1 4202496 5692 0 0 0 142232 0 0 0 25 0 1 0 908977823 917041152 5633 33554432000 4194304 4228340 140734014353904 18446744073709551615 4217653 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/29771/statm: 223887 5633 116 9 0 221044 0
Current children cumulated CPU time (s) 1422.32
Current children cumulated vsize (KiB) 895548

[startup+1482.3 s]
/proc/loadavg: 2.02 2.01 1.94 3/178 29853
/proc/meminfo: memFree=3823160/32951124 swapFree=67054520/67111528
[pid=29771] ppid=29769 vsize=895548 CPUtime=1482.31 cores=1,3,5,7
/proc/29771/stat : 29771 (sattime+) R 29769 29771 28281 0 -1 4202496 5692 0 0 0 148231 0 0 0 25 0 1 0 908977823 917041152 5633 33554432000 4194304 4228340 140734014353904 18446744073709551615 4218738 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/29771/statm: 223887 5633 116 9 0 221044 0
Current children cumulated CPU time (s) 1482.31
Current children cumulated vsize (KiB) 895548

[startup+1542.3 s]
/proc/loadavg: 2.01 2.00 1.94 3/178 29855
/proc/meminfo: memFree=3823128/32951124 swapFree=67054520/67111528
[pid=29771] ppid=29769 vsize=895548 CPUtime=1542.31 cores=1,3,5,7
/proc/29771/stat : 29771 (sattime+) R 29769 29771 28281 0 -1 4202496 5692 0 0 0 154231 0 0 0 25 0 1 0 908977823 917041152 5633 33554432000 4194304 4228340 140734014353904 18446744073709551615 4216899 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/29771/statm: 223887 5633 116 9 0 221044 0
Current children cumulated CPU time (s) 1542.31
Current children cumulated vsize (KiB) 895548

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 29856
/proc/meminfo: memFree=3823220/32951124 swapFree=67054520/67111528
[pid=29771] ppid=29769 vsize=895548 CPUtime=1602.31 cores=1,3,5,7
/proc/29771/stat : 29771 (sattime+) R 29769 29771 28281 0 -1 4202496 5692 0 0 0 160231 0 0 0 25 0 1 0 908977823 917041152 5633 33554432000 4194304 4228340 140734014353904 18446744073709551615 4216899 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/29771/statm: 223887 5633 116 9 0 221044 0
Current children cumulated CPU time (s) 1602.31
Current children cumulated vsize (KiB) 895548

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 29858
/proc/meminfo: memFree=3823192/32951124 swapFree=67054520/67111528
[pid=29771] ppid=29769 vsize=895548 CPUtime=1662.31 cores=1,3,5,7
/proc/29771/stat : 29771 (sattime+) R 29769 29771 28281 0 -1 4202496 5692 0 0 0 166231 0 0 0 25 0 1 0 908977823 917041152 5633 33554432000 4194304 4228340 140734014353904 18446744073709551615 4217694 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/29771/statm: 223887 5633 116 9 0 221044 0
Current children cumulated CPU time (s) 1662.31
Current children cumulated vsize (KiB) 895548

Solver just ended. Dumping a history of the last processes samples

[startup+1689.5 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 29859
/proc/meminfo: memFree=3823184/32951124 swapFree=67054520/67111528
[pid=29771] ppid=29769 vsize=895548 CPUtime=1689.52 cores=1,3,5,7
/proc/29771/stat : 29771 (sattime+) R 29769 29771 28281 0 -1 4202496 5692 0 0 0 168952 0 0 0 25 0 1 0 908977823 917041152 5633 33554432000 4194304 4228340 140734014353904 18446744073709551615 4217708 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/29771/statm: 223887 5633 116 9 0 221044 0
Current children cumulated CPU time (s) 1689.52
Current children cumulated vsize (KiB) 895548

[startup+1702.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 29859
/proc/meminfo: memFree=3823160/32951124 swapFree=67054520/67111528
[pid=29771] ppid=29769 vsize=895548 CPUtime=1702.31 cores=1,3,5,7
/proc/29771/stat : 29771 (sattime+) R 29769 29771 28281 0 -1 4202496 5692 0 0 0 170231 0 0 0 25 0 1 0 908977823 917041152 5633 33554432000 4194304 4228340 140734014353904 18446744073709551615 4218876 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/29771/statm: 223887 5633 116 9 0 221044 0
Current children cumulated CPU time (s) 1702.31
Current children cumulated vsize (KiB) 895548

[startup+1708.7 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 29859
/proc/meminfo: memFree=3823160/32951124 swapFree=67054520/67111528
[pid=29771] ppid=29769 vsize=895548 CPUtime=1708.71 cores=1,3,5,7
/proc/29771/stat : 29771 (sattime+) R 29769 29771 28281 0 -1 4202496 5692 0 0 0 170871 0 0 0 25 0 1 0 908977823 917041152 5633 33554432000 4194304 4228340 140734014353904 18446744073709551615 4218926 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/29771/statm: 223887 5633 116 9 0 221044 0
Current children cumulated CPU time (s) 1708.71
Current children cumulated vsize (KiB) 895548

[startup+1711.9 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 29859
/proc/meminfo: memFree=3823284/32951124 swapFree=67054520/67111528
[pid=29771] ppid=29769 vsize=895548 CPUtime=1711.91 cores=1,3,5,7
/proc/29771/stat : 29771 (sattime+) R 29769 29771 28281 0 -1 4202496 5692 0 0 0 171191 0 0 0 25 0 1 0 908977823 917041152 5633 33554432000 4194304 4228340 140734014353904 18446744073709551615 4218876 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/29771/statm: 223887 5633 116 9 0 221044 0
Current children cumulated CPU time (s) 1711.91
Current children cumulated vsize (KiB) 895548

[startup+1715.1 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 29859
/proc/meminfo: memFree=3823284/32951124 swapFree=67054520/67111528
[pid=29771] ppid=29769 vsize=895548 CPUtime=1715.11 cores=1,3,5,7
/proc/29771/stat : 29771 (sattime+) R 29769 29771 28281 0 -1 4202496 5692 0 0 0 171511 0 0 0 25 0 1 0 908977823 917041152 5633 33554432000 4194304 4228340 140734014353904 18446744073709551615 4218932 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/29771/statm: 223887 5633 116 9 0 221044 0
Current children cumulated CPU time (s) 1715.11
Current children cumulated vsize (KiB) 895548

[startup+1715.9 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 29859
/proc/meminfo: memFree=3823284/32951124 swapFree=67054520/67111528
[pid=29771] ppid=29769 vsize=895548 CPUtime=1715.92 cores=1,3,5,7
/proc/29771/stat : 29771 (sattime+) R 29769 29771 28281 0 -1 4202496 5692 0 0 0 171592 0 0 0 25 0 1 0 908977823 917041152 5633 33554432000 4194304 4228340 140734014353904 18446744073709551615 4218730 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/29771/statm: 223887 5633 116 9 0 221044 0
Current children cumulated CPU time (s) 1715.92
Current children cumulated vsize (KiB) 895548

[startup+1716.7 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 29859
/proc/meminfo: memFree=3823284/32951124 swapFree=67054520/67111528
[pid=29771] ppid=29769 vsize=895548 CPUtime=1716.71 cores=1,3,5,7
/proc/29771/stat : 29771 (sattime+) R 29769 29771 28281 0 -1 4202496 5692 0 0 0 171671 0 0 0 25 0 1 0 908977823 917041152 5633 33554432000 4194304 4228340 140734014353904 18446744073709551615 4218876 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/29771/statm: 223887 5633 116 9 0 221044 0
Current children cumulated CPU time (s) 1716.71
Current children cumulated vsize (KiB) 895548

[startup+1716.9 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 29859
/proc/meminfo: memFree=3823284/32951124 swapFree=67054520/67111528
[pid=29771] ppid=29769 vsize=895552 CPUtime=1716.91 cores=1,3,5,7
/proc/29771/stat : 29771 (sattime+) R 29769 29771 28281 0 -1 4202496 5693 0 0 0 171691 0 0 0 25 0 1 0 908977823 917045248 5634 33554432000 4194304 4228340 140734014353904 18446744073709551615 210204647168 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/29771/statm: 223888 5634 116 9 0 221045 0
Current children cumulated CPU time (s) 1716.91
Current children cumulated vsize (KiB) 895552

Child status: 10
Real time (s): 1716.95
CPU time (s): 1716.97
CPU user time (s): 1716.96
CPU system time (s): 0.007998
CPU usage (%): 100.001
Max. virtual memory (cumulated for all children) (KiB): 895552

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1716.96
system time used= 0.007998
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 5696
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= 2923

runsolver used 2.35164 second user time and 5.63414 second system time

The end