SAT 2011 Competition: main competition (phase 2) competition: execution trace

Solver Name	Answer	CPU time	Wall clock time
SArTagnan 2011-05-15 (fixed)	SAT	867.659	108.754
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-3438321-1306911050/watcher-3438321-1306911050 -o /tmp/evaluation-result-3438321-1306911050/solver-3438321-1306911050 -C 40000 -W 5100 -M 31000 SArTagnan HOME/instance-3438321-1306911050.cnf -threads=8 

running on 8 cores: 0,2,4,6,1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 40000 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 40030 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 5100 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 0.93 1.25 1.64 1/439 27763
/proc/meminfo: memFree=5622728/32950928 swapFree=34365936/67111528
[pid=27763] ppid=27761 vsize=95448 CPUtime=0 cores=0-7
/proc/27763/stat : 27763 (SArTagnan) R 27761 27763 27737 0 -1 4202496 1688 0 1 0 0 0 0 0 25 0 8 0 802703764 97738752 1521 33554432000 4194304 4625164 140737199677152 18446744073709551615 235594922993 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/27763/statm: 23862 1521 301 106 0 19365 0
[pid=27763/tid=27764] ppid=27761 vsize=95448 CPUtime=0 cores=0-7
/proc/27763/task/27764/stat : 27764 (SArTagnan) R 27761 27763 27737 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 8 0 802703766 97738752 1521 33554432000 4194304 4625164 140737199677152 18446744073709551615 47564706924466 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=27763/tid=27765] ppid=27761 vsize=95448 CPUtime=0 cores=0-7
/proc/27763/task/27765/stat : 27765 (SArTagnan) R 27761 27763 27737 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 8 0 802703766 97738752 1521 33554432000 4194304 4625164 140737199677152 18446744073709551615 235594922993 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=27763/tid=27766] ppid=27761 vsize=95448 CPUtime=0 cores=0-7
/proc/27763/task/27766/stat : 27766 (SArTagnan) R 27761 27763 27737 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 8 0 802703766 97738752 1521 33554432000 4194304 4625164 140737199677152 18446744073709551615 235594922993 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=27763/tid=27767] ppid=27761 vsize=95448 CPUtime=0 cores=0-7
/proc/27763/task/27767/stat : 27767 (SArTagnan) R 27761 27763 27737 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 8 0 802703766 97738752 1521 33554432000 4194304 4625164 140737199677152 18446744073709551615 235594922993 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=27763/tid=27768] ppid=27761 vsize=95448 CPUtime=0 cores=0-7
/proc/27763/task/27768/stat : 27768 (SArTagnan) R 27761 27763 27737 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 8 0 802703766 97738752 1521 33554432000 4194304 4625164 140737199677152 18446744073709551615 235594922993 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=27763/tid=27769] ppid=27761 vsize=95448 CPUtime=0 cores=0-7
/proc/27763/task/27769/stat : 27769 (SArTagnan) R 27761 27763 27737 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 8 0 802703766 97738752 1521 33554432000 4194304 4625164 140737199677152 18446744073709551615 235594922993 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=27763/tid=27770] ppid=27761 vsize=95448 CPUtime=0 cores=0-7
/proc/27763/task/27770/stat : 27770 (SArTagnan) R 27761 27763 27737 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 8 0 802703766 97738752 1521 33554432000 4194304 4625164 140737199677152 18446744073709551615 47564706924466 0 0 4096 2 0 0 0 -1 2 0 0 0

[startup+0.071261 s]
/proc/loadavg: 0.93 1.25 1.64 1/439 27763
/proc/meminfo: memFree=5622728/32950928 swapFree=34365936/67111528
[pid=27763] ppid=27761 vsize=429224 CPUtime=1.27 cores=0-7
/proc/27763/stat : 27763 (SArTagnan) R 27761 27763 27737 0 -1 4202496 6715 0 1 0 126 1 0 0 18 0 8 0 802703764 439525376 4169 33554432000 4194304 4625164 140737199677152 18446744073709551615 4490633 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/27763/statm: 123618 4393 352 106 0 119121 0
[pid=27763/tid=27764] ppid=27761 vsize=494796 CPUtime=0.2 cores=0-7
/proc/27763/task/27764/stat : 27764 (SArTagnan) R 27761 27763 27737 0 -1 4202560 790 0 0 0 20 0 0 0 25 0 8 0 802703766 506671104 4404 33554432000 4194304 4625164 140737199677152 18446744073709551615 4339626 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=27763/tid=27765] ppid=27761 vsize=494796 CPUtime=0.19 cores=0-7
/proc/27763/task/27765/stat : 27765 (SArTagnan) R 27761 27763 27737 0 -1 4202560 721 0 0 0 19 0 0 0 18 0 8 0 802703766 506671104 4404 33554432000 4194304 4625164 140737199677152 18446744073709551615 4351781 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=27763/tid=27766] ppid=27761 vsize=494796 CPUtime=0.16 cores=0-7
/proc/27763/task/27766/stat : 27766 (SArTagnan) R 27761 27763 27737 0 -1 4202560 1328 0 0 0 16 0 0 0 18 0 8 0 802703766 506671104 4404 33554432000 4194304 4625164 140737199677152 18446744073709551615 4352044 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=27763/tid=27767] ppid=27761 vsize=494796 CPUtime=0.01 cores=0-7
/proc/27763/task/27767/stat : 27767 (SArTagnan) R 27761 27763 27737 0 -1 4202560 70 0 0 0 1 0 0 0 25 0 8 0 802703766 506671104 4404 33554432000 4194304 4625164 140737199677152 18446744073709551615 4288686 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=27763/tid=27768] ppid=27761 vsize=494796 CPUtime=0.18 cores=0-7
/proc/27763/task/27768/stat : 27768 (SArTagnan) R 27761 27763 27737 0 -1 4202560 448 0 0 0 18 0 0 0 18 0 8 0 802703766 506671104 4404 33554432000 4194304 4625164 140737199677152 18446744073709551615 4341800 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=27763/tid=27769] ppid=27761 vsize=494796 CPUtime=0.19 cores=0-7
/proc/27763/task/27769/stat : 27769 (SArTagnan) R 27761 27763 27737 0 -1 4202560 570 0 0 0 19 0 0 0 18 0 8 0 802703766 506671104 4404 33554432000 4194304 4625164 140737199677152 18446744073709551615 4479405 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=27763/tid=27770] ppid=27761 vsize=494796 CPUtime=0.18 cores=0-7
/proc/27763/task/27770/stat : 27770 (SArTagnan) R 27761 27763 27737 0 -1 4202560 616 0 0 0 18 0 0 0 18 0 8 0 802703766 506671104 4404 33554432000 4194304 4625164 140737199677152 18446744073709551615 4340223 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1.27
Current children cumulated vsize (KiB) 429224

[startup+0.273314 s]
/proc/loadavg: 0.93 1.25 1.64 1/439 27763
/proc/meminfo: memFree=5622728/32950928 swapFree=34365936/67111528
[pid=27763] ppid=27761 vsize=494504 CPUtime=1.63 cores=0-7
/proc/27763/stat : 27763 (SArTagnan) R 27761 27763 27737 0 -1 4202496 7668 0 1 0 162 1 0 0 18 0 8 0 802703764 506372096 4795 33554432000 4194304 4625164 140737199677152 18446744073709551615 4393000 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/27763/statm: 123626 4795 353 106 0 119129 0
[pid=27763/tid=27764] ppid=27761 vsize=494504 CPUtime=0.23 cores=0-7
/proc/27763/task/27764/stat : 27764 (SArTagnan) R 27761 27763 27737 0 -1 4202560 790 0 0 0 23 0 0 0 25 0 8 0 802703766 506372096 4795 33554432000 4194304 4625164 140737199677152 18446744073709551615 4351734 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=27763/tid=27765] ppid=27761 vsize=494504 CPUtime=0.23 cores=0-7
/proc/27763/task/27765/stat : 27765 (SArTagnan) R 27761 27763 27737 0 -1 4202560 725 0 0 0 23 0 0 0 18 0 8 0 802703766 506372096 4796 33554432000 4194304 4625164 140737199677152 18446744073709551615 4352021 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=27763/tid=27766] ppid=27761 vsize=494504 CPUtime=0.2 cores=0-7
/proc/27763/task/27766/stat : 27766 (SArTagnan) R 27761 27763 27737 0 -1 4202560 1494 0 0 0 20 0 0 0 18 0 8 0 802703766 506372096 4796 33554432000 4194304 4625164 140737199677152 18446744073709551615 4339447 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=27763/tid=27767] ppid=27761 vsize=494504 CPUtime=0.03 cores=0-7
/proc/27763/task/27767/stat : 27767 (SArTagnan) R 27761 27763 27737 0 -1 4202560 304 0 0 0 3 0 0 0 25 0 8 0 802703766 506372096 4796 33554432000 4194304 4625164 140737199677152 18446744073709551615 4339447 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=27763/tid=27768] ppid=27761 vsize=494504 CPUtime=0.21 cores=0-7
/proc/27763/task/27768/stat : 27768 (SArTagnan) R 27761 27763 27737 0 -1 4202560 448 0 0 0 21 0 0 0 18 0 8 0 802703766 506372096 4797 33554432000 4194304 4625164 140737199677152 18446744073709551615 4349045 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=27763/tid=27769] ppid=27761 vsize=494504 CPUtime=0.22 cores=0-7
/proc/27763/task/27769/stat : 27769 (SArTagnan) R 27761 27763 27737 0 -1 4202560 599 0 0 0 22 0 0 0 18 0 8 0 802703766 506372096 4797 33554432000 4194304 4625164 140737199677152 18446744073709551615 4492075 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=27763/tid=27770] ppid=27761 vsize=494504 CPUtime=0.22 cores=0-7
/proc/27763/task/27770/stat : 27770 (SArTagnan) R 27761 27763 27737 0 -1 4202560 622 0 0 0 22 0 0 0 18 0 8 0 802703766 506372096 4797 33554432000 4194304 4625164 140737199677152 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1.63
Current children cumulated vsize (KiB) 494504

[startup+0.301083 s]
/proc/loadavg: 0.93 1.25 1.64 1/439 27763
/proc/meminfo: memFree=5622728/32950928 swapFree=34365936/67111528
[pid=27763] ppid=27761 vsize=494832 CPUtime=1.86 cores=0-7
/proc/27763/stat : 27763 (SArTagnan) R 27761 27763 27737 0 -1 4202496 8031 0 1 0 184 2 0 0 18 0 8 0 802703764 506707968 4965 33554432000 4194304 4625164 140737199677152 18446744073709551615 4511846 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/27763/statm: 123708 4965 353 106 0 119211 0
[pid=27763/tid=27764] ppid=27761 vsize=494832 CPUtime=0.26 cores=0-7
/proc/27763/task/27764/stat : 27764 (SArTagnan) R 27761 27763 27737 0 -1 4202560 796 0 0 0 26 0 0 0 25 0 8 0 802703766 506707968 4965 33554432000 4194304 4625164 140737199677152 18446744073709551615 4464202 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=27763/tid=27765] ppid=27761 vsize=494832 CPUtime=0.25 cores=0-7
/proc/27763/task/27765/stat : 27765 (SArTagnan) R 27761 27763 27737 0 -1 4202560 725 0 0 0 25 0 0 0 18 0 8 0 802703766 506707968 4965 33554432000 4194304 4625164 140737199677152 18446744073709551615 4352223 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=27763/tid=27766] ppid=27761 vsize=494832 CPUtime=0.22 cores=0-7
/proc/27763/task/27766/stat : 27766 (SArTagnan) R 27761 27763 27737 0 -1 4202560 1557 0 0 0 22 0 0 0 18 0 8 0 802703766 506707968 4965 33554432000 4194304 4625164 140737199677152 18446744073709551615 4547280 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=27763/tid=27767] ppid=27761 vsize=494832 CPUtime=0.06 cores=0-7
/proc/27763/task/27767/stat : 27767 (SArTagnan) R 27761 27763 27737 0 -1 4202560 332 0 0 0 6 0 0 0 25 0 8 0 802703766 506707968 4965 33554432000 4194304 4625164 140737199677152 18446744073709551615 235594522631 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=27763/tid=27768] ppid=27761 vsize=494832 CPUtime=0.24 cores=0-7
/proc/27763/task/27768/stat : 27768 (SArTagnan) R 27761 27763 27737 0 -1 4202560 472 0 0 0 24 0 0 0 18 0 8 0 802703766 506707968 4965 33554432000 4194304 4625164 140737199677152 18446744073709551615 4348864 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=27763/tid=27769] ppid=27761 vsize=494832 CPUtime=0.25 cores=0-7
/proc/27763/task/27769/stat : 27769 (SArTagnan) R 27761 27763 27737 0 -1 4202560 600 0 0 0 25 0 0 0 18 0 8 0 802703766 506707968 4965 33554432000 4194304 4625164 140737199677152 18446744073709551615 4334161 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=27763/tid=27770] ppid=27761 vsize=494832 CPUtime=0.24 cores=0-7
/proc/27763/task/27770/stat : 27770 (SArTagnan) R 27761 27763 27737 0 -1 4202560 632 0 0 0 24 0 0 0 18 0 8 0 802703766 506707968 4965 33554432000 4194304 4625164 140737199677152 18446744073709551615 4463240 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1.86
Current children cumulated vsize (KiB) 494832

[startup+0.701017 s]
/proc/loadavg: 0.93 1.25 1.64 1/439 27763
/proc/meminfo: memFree=5622728/32950928 swapFree=34365936/67111528
[pid=27763] ppid=27761 vsize=501408 CPUtime=5.05 cores=0-7
/proc/27763/stat : 27763 (SArTagnan) R 27761 27763 27737 0 -1 4202496 15909 0 1 0 502 3 0 0 18 0 8 0 802703764 513441792 7978 33554432000 4194304 4625164 140737199677152 18446744073709551615 4512009 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/27763/statm: 125352 7978 353 106 0 120855 0
[pid=27763/tid=27764] ppid=27761 vsize=501408 CPUtime=0.66 cores=0-7
/proc/27763/task/27764/stat : 27764 (SArTagnan) R 27761 27763 27737 0 -1 4202560 1645 0 0 0 66 0 0 0 25 0 8 0 802703766 513441792 7926 33554432000 4194304 4625164 140737199677152 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=27763/tid=27765] ppid=27761 vsize=501408 CPUtime=0.65 cores=0-7
/proc/27763/task/27765/stat : 27765 (SArTagnan) R 27761 27763 27737 0 -1 4202560 1200 0 0 0 65 0 0 0 18 0 8 0 802703766 513441792 7926 33554432000 4194304 4625164 140737199677152 18446744073709551615 4351777 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=27763/tid=27766] ppid=27761 vsize=501408 CPUtime=0.62 cores=0-7
/proc/27763/task/27766/stat : 27766 (SArTagnan) R 27761 27763 27737 0 -1 4202560 3792 0 0 0 62 0 0 0 18 0 8 0 802703766 513441792 7926 33554432000 4194304 4625164 140737199677152 18446744073709551615 235594910055 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=27763/tid=27767] ppid=27761 vsize=501408 CPUtime=0.45 cores=0-7
/proc/27763/task/27767/stat : 27767 (SArTagnan) R 27761 27763 27737 0 -1 4202560 1090 0 0 0 45 0 0 0 25 0 8 0 802703766 513441792 7926 33554432000 4194304 4625164 140737199677152 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=27763/tid=27768] ppid=27761 vsize=501408 CPUtime=0.64 cores=0-7
/proc/27763/task/27768/stat : 27768 (SArTagnan) R 27761 27763 27737 0 -1 4202560 1620 0 0 0 64 0 0 0 18 0 8 0 802703766 513441792 7926 33554432000 4194304 4625164 140737199677152 18446744073709551615 4348903 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=27763/tid=27769] ppid=27761 vsize=501408 CPUtime=0.65 cores=0-7
/proc/27763/task/27769/stat : 27769 (SArTagnan) R 27761 27763 27737 0 -1 4202560 1101 0 0 0 65 0 0 0 18 0 8 0 802703766 513441792 7926 33554432000 4194304 4625164 140737199677152 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=27763/tid=27770] ppid=27761 vsize=501408 CPUtime=0.64 cores=0-7
/proc/27763/task/27770/stat : 27770 (SArTagnan) R 27761 27763 27737 0 -1 4202560 1148 0 0 0 64 0 0 0 18 0 8 0 802703766 513441792 7926 33554432000 4194304 4625164 140737199677152 18446744073709551615 4352285 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 5.05
Current children cumulated vsize (KiB) 501408

[startup+1.50088 s]
/proc/loadavg: 0.93 1.25 1.64 9/447 27771
/proc/meminfo: memFree=5575052/32950928 swapFree=34365936/67111528
[pid=27763] ppid=27761 vsize=515628 CPUtime=11.43 cores=0-7
/proc/27763/stat : 27763 (SArTagnan) R 27761 27763 27737 0 -1 4202496 32068 0 1 0 1137 6 0 0 19 0 8 0 802703764 528003072 14690 33554432000 4194304 4625164 140737199677152 18446744073709551615 4306536 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/27763/statm: 128907 14691 353 106 0 124410 0
[pid=27763/tid=27764] ppid=27761 vsize=515628 CPUtime=1.45 cores=0-7
/proc/27763/task/27764/stat : 27764 (SArTagnan) R 27761 27763 27737 0 -1 4202560 2769 0 0 0 145 0 0 0 25 0 8 0 802703766 528003072 14691 33554432000 4194304 4625164 140737199677152 18446744073709551615 4339447 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=27763/tid=27765] ppid=27761 vsize=515628 CPUtime=1.45 cores=0-7
/proc/27763/task/27765/stat : 27765 (SArTagnan) R 27761 27763 27737 0 -1 4202560 2689 0 0 0 145 0 0 0 19 0 8 0 802703766 528003072 14691 33554432000 4194304 4625164 140737199677152 18446744073709551615 4463778 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=27763/tid=27766] ppid=27761 vsize=515628 CPUtime=1.42 cores=0-7
/proc/27763/task/27766/stat : 27766 (SArTagnan) R 27761 27763 27737 0 -1 4202560 9368 0 0 0 141 1 0 0 20 0 8 0 802703766 528003072 14691 33554432000 4194304 4625164 140737199677152 18446744073709551615 4351792 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=27763/tid=27767] ppid=27761 vsize=515628 CPUtime=1.23 cores=0-7
/proc/27763/task/27767/stat : 27767 (SArTagnan) R 27761 27763 27737 0 -1 4202560 2618 0 0 0 123 0 0 0 25 0 8 0 802703766 528003072 14692 33554432000 4194304 4625164 140737199677152 18446744073709551615 4352098 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=27763/tid=27768] ppid=27761 vsize=515628 CPUtime=1.43 cores=0-7
/proc/27763/task/27768/stat : 27768 (SArTagnan) R 27761 27763 27737 0 -1 4202560 2687 0 0 0 143 0 0 0 19 0 8 0 802703766 528003072 14692 33554432000 4194304 4625164 140737199677152 18446744073709551615 4349019 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=27763/tid=27769] ppid=27761 vsize=515628 CPUtime=1.45 cores=0-7
/proc/27763/task/27769/stat : 27769 (SArTagnan) R 27761 27763 27737 0 -1 4202560 2483 0 0 0 145 0 0 0 19 0 8 0 802703766 528003072 14692 33554432000 4194304 4625164 140737199677152 18446744073709551615 4351731 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=27763/tid=27770] ppid=27761 vsize=515628 CPUtime=1.44 cores=0-7
/proc/27763/task/27770/stat : 27770 (SArTagnan) R 27761 27763 27737 0 -1 4202560 2639 0 0 0 144 0 0 0 20 0 8 0 802703766 528003072 14692 33554432000 4194304 4625164 140737199677152 18446744073709551615 4352812 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 11.43
Current children cumulated vsize (KiB) 515628

[startup+3.1006 s]
/proc/loadavg: 0.93 1.25 1.64 9/447 27771
/proc/meminfo: memFree=5548020/32950928 swapFree=34365936/67111528
[pid=27763] ppid=27761 vsize=533248 CPUtime=24.21 cores=0-7
/proc/27763/stat : 27763 (SArTagnan) R 27761 27763 27737 0 -1 4202496 53636 0 1 0 2411 10 0 0 25 0 8 0 802703764 546045952 21387 33554432000 4194304 4625164 140737199677152 18446744073709551615 235594533890 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/27763/statm: 133312 21387 353 106 0 128815 0
[pid=27763/tid=27764] ppid=27761 vsize=533248 CPUtime=3.05 cores=0-7
/proc/27763/task/27764/stat : 27764 (SArTagnan) R 27761 27763 27737 0 -1 4202560 4448 0 0 0 305 0 0 0 25 0 8 0 802703766 546045952 21387 33554432000 4194304 4625164 140737199677152 18446744073709551615 4352760 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=27763/tid=27765] ppid=27761 vsize=533248 CPUtime=3.05 cores=0-7
/proc/27763/task/27765/stat : 27765 (SArTagnan) R 27761 27763 27737 0 -1 4202560 4001 0 0 0 305 0 0 0 25 0 8 0 802703766 546045952 21387 33554432000 4194304 4625164 140737199677152 18446744073709551615 4339581 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=27763/tid=27766] ppid=27761 vsize=533248 CPUtime=3.03 cores=0-7
/proc/27763/task/27766/stat : 27766 (SArTagnan) R 27761 27763 27737 0 -1 4202560 19720 0 0 0 300 3 0 0 25 0 8 0 802703766 546045952 21387 33554432000 4194304 4625164 140737199677152 18446744073709551615 4547361 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=27763/tid=27767] ppid=27761 vsize=533248 CPUtime=2.82 cores=0-7
/proc/27763/task/27767/stat : 27767 (SArTagnan) R 27761 27763 27737 0 -1 4202560 4176 0 0 0 281 1 0 0 25 0 8 0 802703766 546045952 21387 33554432000 4194304 4625164 140737199677152 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=27763/tid=27768] ppid=27761 vsize=533248 CPUtime=3.03 cores=0-7
/proc/27763/task/27768/stat : 27768 (SArTagnan) R 27761 27763 27737 0 -1 4202560 4355 0 0 0 303 0 0 0 18 0 8 0 802703766 546045952 21387 33554432000 4194304 4625164 140737199677152 18446744073709551615 4349084 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=27763/tid=27769] ppid=27761 vsize=533248 CPUtime=3.05 cores=0-7
/proc/27763/task/27769/stat : 27769 (SArTagnan) R 27761 27763 27737 0 -1 4202560 3767 0 0 0 304 1 0 0 25 0 8 0 802703766 546045952 21387 33554432000 4194304 4625164 140737199677152 18446744073709551615 4352192 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=27763/tid=27770] ppid=27761 vsize=533248 CPUtime=3.04 cores=0-7
/proc/27763/task/27770/stat : 27770 (SArTagnan) R 27761 27763 27737 0 -1 4202560 4017 0 0 0 304 0 0 0 18 0 8 0 802703766 546045952 21394 33554432000 4194304 4625164 140737199677152 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 24.21
Current children cumulated vsize (KiB) 533248

[startup+6.30103 s]
/proc/loadavg: 1.49 1.36 1.67 9/447 27771
/proc/meminfo: memFree=5502364/32950928 swapFree=34365936/67111528
[pid=27763] ppid=27761 vsize=559316 CPUtime=49.77 cores=0-7
/proc/27763/stat : 27763 (SArTagnan) R 27761 27763 27737 0 -1 4202496 90496 0 1 0 4959 18 0 0 25 0 8 0 802703764 572739584 33121 33554432000 4194304 4625164 140737199677152 18446744073709551615 4329151 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/27763/statm: 139829 33121 353 106 0 135332 0
[pid=27763/tid=27764] ppid=27761 vsize=559316 CPUtime=6.26 cores=0-7
/proc/27763/task/27764/stat : 27764 (SArTagnan) R 27761 27763 27737 0 -1 4202560 6502 0 0 0 625 1 0 0 25 0 8 0 802703766 572739584 33121 33554432000 4194304 4625164 140737199677152 18446744073709551615 4351818 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=27763/tid=27765] ppid=27761 vsize=559316 CPUtime=6.25 cores=0-7
/proc/27763/task/27765/stat : 27765 (SArTagnan) R 27761 27763 27737 0 -1 4202560 6214 0 0 0 624 1 0 0 25 0 8 0 802703766 572739584 33121 33554432000 4194304 4625164 140737199677152 18446744073709551615 4352021 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=27763/tid=27766] ppid=27761 vsize=559316 CPUtime=6.23 cores=0-7
/proc/27763/task/27766/stat : 27766 (SArTagnan) R 27761 27763 27737 0 -1 4202560 38852 0 0 0 617 6 0 0 25 0 8 0 802703766 572739584 33121 33554432000 4194304 4625164 140737199677152 18446744073709551615 4352035 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=27763/tid=27767] ppid=27761 vsize=559316 CPUtime=5.97 cores=0-7
/proc/27763/task/27767/stat : 27767 (SArTagnan) R 27761 27763 27737 0 -1 4202560 6628 0 0 0 596 1 0 0 25 0 8 0 802703766 572739584 33121 33554432000 4194304 4625164 140737199677152 18446744073709551615 4351824 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=27763/tid=27768] ppid=27761 vsize=559316 CPUtime=6.24 cores=0-7
/proc/27763/task/27768/stat : 27768 (SArTagnan) R 27761 27763 27737 0 -1 4202560 6481 0 0 0 623 1 0 0 25 0 8 0 802703766 572739584 33121 33554432000 4194304 4625164 140737199677152 18446744073709551615 4349129 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=27763/tid=27769] ppid=27761 vsize=559316 CPUtime=6.25 cores=0-7
/proc/27763/task/27769/stat : 27769 (SArTagnan) R 27761 27763 27737 0 -1 4202560 6033 0 0 0 623 2 0 0 25 0 8 0 802703766 572739584 33121 33554432000 4194304 4625164 140737199677152 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=27763/tid=27770] ppid=27761 vsize=559316 CPUtime=6.24 cores=0-7
/proc/27763/task/27770/stat : 27770 (SArTagnan) R 27761 27763 27737 0 -1 4202560 8567 0 0 0 623 1 0 0 25 0 8 0 802703766 572739584 33121 33554432000 4194304 4625164 140737199677152 18446744073709551615 4352728 0 0 4096 2 0 0 0 -1 2 0 0 0

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

/proc/27763/task/27768/stat : 27768 (SArTagnan) R 27761 27763 27737 0 -1 4202560 20056 0 0 0 10220 4 0 0 25 0 8 0 802703766 838967296 128332 33554432000 4194304 4625164 140737199677152 18446744073709551615 4349019 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=27763/tid=27769] ppid=27761 vsize=819304 CPUtime=102.27 cores=0-7
/proc/27763/task/27769/stat : 27769 (SArTagnan) R 27761 27763 27737 0 -1 4202560 42024 0 0 0 10218 9 0 0 25 0 8 0 802703766 838967296 128332 33554432000 4194304 4625164 140737199677152 18446744073709551615 4339612 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=27763/tid=27770] ppid=27761 vsize=819304 CPUtime=102.22 cores=0-7
/proc/27763/task/27770/stat : 27770 (SArTagnan) R 27761 27763 27737 0 -1 4202560 14924 0 0 0 10219 3 0 0 25 0 8 0 802703766 838967296 128332 33554432000 4194304 4625164 140737199677152 18446744073709551615 4339591 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 816.41
Current children cumulated vsize (KiB) 819304

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

[startup+102.417 s]
/proc/loadavg: 6.81 3.21 2.30 9/447 27773
/proc/meminfo: memFree=5112292/32950928 swapFree=34365936/67111528
[pid=27763] ppid=27761 vsize=819304 CPUtime=817.23 cores=0-7
/proc/27763/stat : 27763 (SArTagnan) R 27761 27763 27737 0 -1 4202496 591716 0 1 0 81620 103 0 0 25 0 8 0 802703764 838967296 128509 33554432000 4194304 4625164 140737199677152 18446744073709551615 4512007 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/27763/statm: 204826 128509 684 106 0 200329 0
[pid=27763/tid=27764] ppid=27761 vsize=819304 CPUtime=102.37 cores=0-7
/proc/27763/task/27764/stat : 27764 (SArTagnan) R 27761 27763 27737 0 -1 4202560 22499 0 0 0 10232 5 0 0 25 0 8 0 802703766 838967296 128509 33554432000 4194304 4625164 140737199677152 18446744073709551615 4339612 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=27763/tid=27765] ppid=27761 vsize=819304 CPUtime=102.35 cores=0-7
/proc/27763/task/27765/stat : 27765 (SArTagnan) R 27761 27763 27737 0 -1 4202560 15371 0 0 0 10231 4 0 0 25 0 8 0 802703766 838967296 128509 33554432000 4194304 4625164 140737199677152 18446744073709551615 4352014 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=27763/tid=27766] ppid=27761 vsize=819304 CPUtime=102.34 cores=0-7
/proc/27763/task/27766/stat : 27766 (SArTagnan) R 27761 27763 27737 0 -1 4202560 406214 0 0 0 10174 60 0 0 25 0 8 0 802703766 838967296 128509 33554432000 4194304 4625164 140737199677152 18446744073709551615 4334728 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=27763/tid=27767] ppid=27761 vsize=819304 CPUtime=100.68 cores=0-7
/proc/27763/task/27767/stat : 27767 (SArTagnan) R 27761 27763 27737 0 -1 4202560 30206 0 0 0 10061 7 0 0 25 0 8 0 802703766 838967296 128509 33554432000 4194304 4625164 140737199677152 18446744073709551615 4339564 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=27763/tid=27768] ppid=27761 vsize=819304 CPUtime=102.34 cores=0-7
/proc/27763/task/27768/stat : 27768 (SArTagnan) R 27761 27763 27737 0 -1 4202560 20058 0 0 0 10230 4 0 0 25 0 8 0 802703766 838967296 128509 33554432000 4194304 4625164 140737199677152 18446744073709551615 4349019 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=27763/tid=27769] ppid=27761 vsize=819304 CPUtime=102.37 cores=0-7
/proc/27763/task/27769/stat : 27769 (SArTagnan) R 27761 27763 27737 0 -1 4202560 42038 0 0 0 10228 9 0 0 25 0 8 0 802703766 838967296 128509 33554432000 4194304 4625164 140737199677152 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=27763/tid=27770] ppid=27761 vsize=819304 CPUtime=102.32 cores=0-7
/proc/27763/task/27770/stat : 27770 (SArTagnan) R 27761 27763 27737 0 -1 4202560 14924 0 0 0 10229 3 0 0 25 0 8 0 802703766 838967296 128509 33554432000 4194304 4625164 140737199677152 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 817.23
Current children cumulated vsize (KiB) 819304

[startup+105.601 s]
/proc/loadavg: 6.91 3.29 2.33 9/447 27773
/proc/meminfo: memFree=5103980/32950928 swapFree=34365936/67111528
[pid=27763] ppid=27761 vsize=819304 CPUtime=842.75 cores=0-7
/proc/27763/stat : 27763 (SArTagnan) R 27761 27763 27737 0 -1 4202496 611108 0 1 0 84170 105 0 0 25 0 8 0 802703764 838967296 130222 33554432000 4194304 4625164 140737199677152 18446744073709551615 4512794 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/27763/statm: 204826 130222 684 106 0 200329 0
[pid=27763/tid=27764] ppid=27761 vsize=819304 CPUtime=105.57 cores=0-7
/proc/27763/task/27764/stat : 27764 (SArTagnan) R 27761 27763 27737 0 -1 4202560 22605 0 0 0 10552 5 0 0 25 0 8 0 802703766 838967296 130226 33554432000 4194304 4625164 140737199677152 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=27763/tid=27765] ppid=27761 vsize=819304 CPUtime=105.55 cores=0-7
/proc/27763/task/27765/stat : 27765 (SArTagnan) R 27761 27763 27737 0 -1 4202560 15507 0 0 0 10551 4 0 0 25 0 8 0 802703766 838967296 130226 33554432000 4194304 4625164 140737199677152 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=27763/tid=27766] ppid=27761 vsize=819304 CPUtime=105.54 cores=0-7
/proc/27763/task/27766/stat : 27766 (SArTagnan) R 27761 27763 27737 0 -1 4202560 424578 0 0 0 10492 62 0 0 25 0 8 0 802703766 838967296 130226 33554432000 4194304 4625164 140737199677152 18446744073709551615 4339591 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=27763/tid=27767] ppid=27761 vsize=819304 CPUtime=103.83 cores=0-7
/proc/27763/task/27767/stat : 27767 (SArTagnan) R 27761 27763 27737 0 -1 4202560 30296 0 0 0 10376 7 0 0 25 0 8 0 802703766 838967296 130226 33554432000 4194304 4625164 140737199677152 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=27763/tid=27768] ppid=27761 vsize=819304 CPUtime=105.55 cores=0-7
/proc/27763/task/27768/stat : 27768 (SArTagnan) R 27761 27763 27737 0 -1 4202560 20194 0 0 0 10550 5 0 0 25 0 8 0 802703766 838967296 130226 33554432000 4194304 4625164 140737199677152 18446744073709551615 4349019 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=27763/tid=27769] ppid=27761 vsize=819304 CPUtime=105.56 cores=0-7
/proc/27763/task/27769/stat : 27769 (SArTagnan) R 27761 27763 27737 0 -1 4202560 42129 0 0 0 10547 9 0 0 25 0 8 0 802703766 838967296 130226 33554432000 4194304 4625164 140737199677152 18446744073709551615 4339612 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=27763/tid=27770] ppid=27761 vsize=819304 CPUtime=105.52 cores=0-7
/proc/27763/task/27770/stat : 27770 (SArTagnan) R 27761 27763 27737 0 -1 4202560 15064 0 0 0 10549 3 0 0 25 0 8 0 802703766 838967296 130226 33554432000 4194304 4625164 140737199677152 18446744073709551615 4351830 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 842.75
Current children cumulated vsize (KiB) 819304

[startup+107.201 s]
/proc/loadavg: 6.91 3.29 2.33 9/447 27773
/proc/meminfo: memFree=5098276/32950928 swapFree=34365936/67111528
[pid=27763] ppid=27761 vsize=822796 CPUtime=855.45 cores=0-7
/proc/27763/stat : 27763 (SArTagnan) R 27761 27763 27737 0 -1 4202496 622539 0 1 0 85438 107 0 0 25 0 8 0 802703764 842543104 131743 33554432000 4194304 4625164 140737199677152 18446744073709551615 4512026 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/27763/statm: 205699 131743 685 106 0 201202 0
[pid=27763/tid=27764] ppid=27761 vsize=822796 CPUtime=107.15 cores=0-7
/proc/27763/task/27764/stat : 27764 (SArTagnan) R 27761 27763 27737 0 -1 4202560 22655 0 0 0 10710 5 0 0 25 0 8 0 802703766 842543104 131744 33554432000 4194304 4625164 140737199677152 18446744073709551615 4339591 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=27763/tid=27765] ppid=27761 vsize=822796 CPUtime=107.14 cores=0-7
/proc/27763/task/27765/stat : 27765 (SArTagnan) R 27761 27763 27737 0 -1 4202560 15559 0 0 0 10710 4 0 0 25 0 8 0 802703766 842543104 131745 33554432000 4194304 4625164 140737199677152 18446744073709551615 4351769 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=27763/tid=27766] ppid=27761 vsize=822796 CPUtime=107.13 cores=0-7
/proc/27763/task/27766/stat : 27766 (SArTagnan) R 27761 27763 27737 0 -1 4202560 435573 0 0 0 10649 64 0 0 25 0 8 0 802703766 842543104 131745 33554432000 4194304 4625164 140737199677152 18446744073709551615 4339447 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=27763/tid=27767] ppid=27761 vsize=822796 CPUtime=105.4 cores=0-7
/proc/27763/task/27767/stat : 27767 (SArTagnan) R 27761 27763 27737 0 -1 4202560 30376 0 0 0 10533 7 0 0 25 0 8 0 802703766 842543104 131745 33554432000 4194304 4625164 140737199677152 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=27763/tid=27768] ppid=27761 vsize=822796 CPUtime=107.14 cores=0-7
/proc/27763/task/27768/stat : 27768 (SArTagnan) R 27761 27763 27737 0 -1 4202560 20222 0 0 0 10709 5 0 0 25 0 8 0 802703766 842543104 131745 33554432000 4194304 4625164 140737199677152 18446744073709551615 4349087 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=27763/tid=27769] ppid=27761 vsize=822796 CPUtime=107.15 cores=0-7
/proc/27763/task/27769/stat : 27769 (SArTagnan) R 27761 27763 27737 0 -1 4202560 42224 0 0 0 10706 9 0 0 25 0 8 0 802703766 842543104 131745 33554432000 4194304 4625164 140737199677152 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=27763/tid=27770] ppid=27761 vsize=822796 CPUtime=107.11 cores=0-7
/proc/27763/task/27770/stat : 27770 (SArTagnan) R 27761 27763 27737 0 -1 4202560 15088 0 0 0 10708 3 0 0 25 0 8 0 802703766 842543104 131745 33554432000 4194304 4625164 140737199677152 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 855.45
Current children cumulated vsize (KiB) 822796

[startup+108.001 s]
/proc/loadavg: 7.00 3.37 2.36 9/447 27773
/proc/meminfo: memFree=5097780/32950928 swapFree=34365936/67111528
[pid=27763] ppid=27761 vsize=822796 CPUtime=861.82 cores=0-7
/proc/27763/stat : 27763 (SArTagnan) R 27761 27763 27737 0 -1 4202496 624813 0 1 0 86075 107 0 0 25 0 8 0 802703764 842543104 131826 33554432000 4194304 4625164 140737199677152 18446744073709551615 4511904 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/27763/statm: 205699 131826 685 106 0 201202 0
[pid=27763/tid=27764] ppid=27761 vsize=822796 CPUtime=107.95 cores=0-7
/proc/27763/task/27764/stat : 27764 (SArTagnan) R 27761 27763 27737 0 -1 4202560 22677 0 0 0 10790 5 0 0 25 0 8 0 802703766 842543104 131826 33554432000 4194304 4625164 140737199677152 18446744073709551615 4351781 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=27763/tid=27765] ppid=27761 vsize=822796 CPUtime=107.94 cores=0-7
/proc/27763/task/27765/stat : 27765 (SArTagnan) R 27761 27763 27737 0 -1 4202560 15587 0 0 0 10790 4 0 0 25 0 8 0 802703766 842543104 131827 33554432000 4194304 4625164 140737199677152 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=27763/tid=27766] ppid=27761 vsize=822796 CPUtime=107.92 cores=0-7
/proc/27763/task/27766/stat : 27766 (SArTagnan) R 27761 27763 27737 0 -1 4202560 437624 0 0 0 10728 64 0 0 25 0 8 0 802703766 842543104 131827 33554432000 4194304 4625164 140737199677152 18446744073709551615 4579358 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=27763/tid=27767] ppid=27761 vsize=822796 CPUtime=106.18 cores=0-7
/proc/27763/task/27767/stat : 27767 (SArTagnan) R 27761 27763 27737 0 -1 4202560 30406 0 0 0 10611 7 0 0 25 0 8 0 802703766 842543104 131827 33554432000 4194304 4625164 140737199677152 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=27763/tid=27768] ppid=27761 vsize=822796 CPUtime=107.94 cores=0-7
/proc/27763/task/27768/stat : 27768 (SArTagnan) R 27761 27763 27737 0 -1 4202560 20292 0 0 0 10789 5 0 0 25 0 8 0 802703766 842543104 131827 33554432000 4194304 4625164 140737199677152 18446744073709551615 4349019 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=27763/tid=27769] ppid=27761 vsize=822796 CPUtime=107.95 cores=0-7
/proc/27763/task/27769/stat : 27769 (SArTagnan) R 27761 27763 27737 0 -1 4202560 42273 0 0 0 10786 9 0 0 25 0 8 0 802703766 842543104 131827 33554432000 4194304 4625164 140737199677152 18446744073709551615 4352021 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=27763/tid=27770] ppid=27761 vsize=822796 CPUtime=107.91 cores=0-7
/proc/27763/task/27770/stat : 27770 (SArTagnan) R 27761 27763 27737 0 -1 4202560 15100 0 0 0 10788 3 0 0 25 0 8 0 802703766 842543104 131827 33554432000 4194304 4625164 140737199677152 18446744073709551615 235594527777 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 861.82
Current children cumulated vsize (KiB) 822796

[startup+108.401 s]
/proc/loadavg: 7.00 3.37 2.36 9/447 27773
/proc/meminfo: memFree=5097780/32950928 swapFree=34365936/67111528
[pid=27763] ppid=27761 vsize=822796 CPUtime=865.02 cores=0-7
/proc/27763/stat : 27763 (SArTagnan) R 27761 27763 27737 0 -1 4202496 625030 0 1 0 86395 107 0 0 25 0 8 0 802703764 842543104 132040 33554432000 4194304 4625164 140737199677152 18446744073709551615 4512009 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/27763/statm: 205699 132040 685 106 0 201202 0
[pid=27763/tid=27764] ppid=27761 vsize=822796 CPUtime=108.35 cores=0-7
/proc/27763/task/27764/stat : 27764 (SArTagnan) R 27761 27763 27737 0 -1 4202560 22697 0 0 0 10830 5 0 0 25 0 8 0 802703766 842543104 132040 33554432000 4194304 4625164 140737199677152 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=27763/tid=27765] ppid=27761 vsize=822796 CPUtime=108.34 cores=0-7
/proc/27763/task/27765/stat : 27765 (SArTagnan) R 27761 27763 27737 0 -1 4202560 15632 0 0 0 10830 4 0 0 25 0 8 0 802703766 842543104 132040 33554432000 4194304 4625164 140737199677152 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=27763/tid=27766] ppid=27761 vsize=822796 CPUtime=108.32 cores=0-7
/proc/27763/task/27766/stat : 27766 (SArTagnan) R 27761 27763 27737 0 -1 4202560 437634 0 0 0 10768 64 0 0 25 0 8 0 802703766 842543104 132040 33554432000 4194304 4625164 140737199677152 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=27763/tid=27767] ppid=27761 vsize=822796 CPUtime=106.58 cores=0-7
/proc/27763/task/27767/stat : 27767 (SArTagnan) R 27761 27763 27737 0 -1 4202560 30422 0 0 0 10651 7 0 0 25 0 8 0 802703766 842543104 132040 33554432000 4194304 4625164 140737199677152 18446744073709551615 4351781 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=27763/tid=27768] ppid=27761 vsize=822796 CPUtime=108.34 cores=0-7
/proc/27763/task/27768/stat : 27768 (SArTagnan) R 27761 27763 27737 0 -1 4202560 20296 0 0 0 10829 5 0 0 25 0 8 0 802703766 842543104 132040 33554432000 4194304 4625164 140737199677152 18446744073709551615 4339612 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=27763/tid=27769] ppid=27761 vsize=822796 CPUtime=108.35 cores=0-7
/proc/27763/task/27769/stat : 27769 (SArTagnan) R 27761 27763 27737 0 -1 4202560 42291 0 0 0 10826 9 0 0 25 0 8 0 802703766 842543104 132040 33554432000 4194304 4625164 140737199677152 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=27763/tid=27770] ppid=27761 vsize=822796 CPUtime=108.31 cores=0-7
/proc/27763/task/27770/stat : 27770 (SArTagnan) R 27761 27763 27737 0 -1 4202560 15117 0 0 0 10828 3 0 0 25 0 8 0 802703766 842543104 132040 33554432000 4194304 4625164 140737199677152 18446744073709551615 4351824 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 865.02
Current children cumulated vsize (KiB) 822796

[startup+108.601 s]
/proc/loadavg: 7.00 3.37 2.36 9/447 27773
/proc/meminfo: memFree=5097780/32950928 swapFree=34365936/67111528
[pid=27763] ppid=27761 vsize=822796 CPUtime=866.62 cores=0-7
/proc/27763/stat : 27763 (SArTagnan) R 27761 27763 27737 0 -1 4202496 625074 0 1 0 86555 107 0 0 25 0 8 0 802703764 842543104 132084 33554432000 4194304 4625164 140737199677152 18446744073709551615 4511904 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/27763/statm: 205699 132084 685 106 0 201202 0
[pid=27763/tid=27764] ppid=27761 vsize=822796 CPUtime=108.55 cores=0-7
/proc/27763/task/27764/stat : 27764 (SArTagnan) R 27761 27763 27737 0 -1 4202560 22701 0 0 0 10850 5 0 0 25 0 8 0 802703766 842543104 132084 33554432000 4194304 4625164 140737199677152 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=27763/tid=27765] ppid=27761 vsize=822796 CPUtime=108.54 cores=0-7
/proc/27763/task/27765/stat : 27765 (SArTagnan) R 27761 27763 27737 0 -1 4202560 15637 0 0 0 10850 4 0 0 25 0 8 0 802703766 842543104 132084 33554432000 4194304 4625164 140737199677152 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=27763/tid=27766] ppid=27761 vsize=822796 CPUtime=108.52 cores=0-7
/proc/27763/task/27766/stat : 27766 (SArTagnan) R 27761 27763 27737 0 -1 4202560 437640 0 0 0 10788 64 0 0 25 0 8 0 802703766 842543104 132084 33554432000 4194304 4625164 140737199677152 18446744073709551615 4547280 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=27763/tid=27767] ppid=27761 vsize=822796 CPUtime=106.78 cores=0-7
/proc/27763/task/27767/stat : 27767 (SArTagnan) R 27761 27763 27737 0 -1 4202560 30440 0 0 0 10671 7 0 0 25 0 8 0 802703766 842543104 132084 33554432000 4194304 4625164 140737199677152 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=27763/tid=27768] ppid=27761 vsize=822796 CPUtime=108.54 cores=0-7
/proc/27763/task/27768/stat : 27768 (SArTagnan) R 27761 27763 27737 0 -1 4202560 20298 0 0 0 10849 5 0 0 25 0 8 0 802703766 842543104 132084 33554432000 4194304 4625164 140737199677152 18446744073709551615 4438928 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=27763/tid=27769] ppid=27761 vsize=822796 CPUtime=108.55 cores=0-7
/proc/27763/task/27769/stat : 27769 (SArTagnan) R 27761 27763 27737 0 -1 4202560 42292 0 0 0 10846 9 0 0 25 0 8 0 802703766 842543104 132084 33554432000 4194304 4625164 140737199677152 18446744073709551615 4352021 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=27763/tid=27770] ppid=27761 vsize=822796 CPUtime=108.51 cores=0-7
/proc/27763/task/27770/stat : 27770 (SArTagnan) R 27761 27763 27737 0 -1 4202560 15117 0 0 0 10848 3 0 0 25 0 8 0 802703766 842543104 132084 33554432000 4194304 4625164 140737199677152 18446744073709551615 4462504 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 866.62
Current children cumulated vsize (KiB) 822796

[startup+108.701 s]
/proc/loadavg: 7.00 3.37 2.36 9/447 27773
/proc/meminfo: memFree=5097780/32950928 swapFree=34365936/67111528
[pid=27763] ppid=27761 vsize=822796 CPUtime=867.42 cores=0-7
/proc/27763/stat : 27763 (SArTagnan) R 27761 27763 27737 0 -1 4202496 625092 0 1 0 86635 107 0 0 25 0 8 0 802703764 842543104 132102 33554432000 4194304 4625164 140737199677152 18446744073709551615 4512066 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/27763/statm: 205699 132102 685 106 0 201202 0
[pid=27763/tid=27764] ppid=27761 vsize=822796 CPUtime=108.65 cores=0-7
/proc/27763/task/27764/stat : 27764 (SArTagnan) R 27761 27763 27737 0 -1 4202560 22701 0 0 0 10860 5 0 0 25 0 8 0 802703766 842543104 132102 33554432000 4194304 4625164 140737199677152 18446744073709551615 4352014 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=27763/tid=27765] ppid=27761 vsize=822796 CPUtime=108.64 cores=0-7
/proc/27763/task/27765/stat : 27765 (SArTagnan) R 27761 27763 27737 0 -1 4202560 15638 0 0 0 10860 4 0 0 25 0 8 0 802703766 842543104 132102 33554432000 4194304 4625164 140737199677152 18446744073709551615 4465317 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=27763/tid=27766] ppid=27761 vsize=822796 CPUtime=108.62 cores=0-7
/proc/27763/task/27766/stat : 27766 (SArTagnan) R 27761 27763 27737 0 -1 4202560 437640 0 0 0 10798 64 0 0 25 0 8 0 802703766 842543104 132102 33554432000 4194304 4625164 140737199677152 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=27763/tid=27767] ppid=27761 vsize=822796 CPUtime=106.88 cores=0-7
/proc/27763/task/27767/stat : 27767 (SArTagnan) R 27761 27763 27737 0 -1 4202560 30444 0 0 0 10681 7 0 0 25 0 8 0 802703766 842543104 132102 33554432000 4194304 4625164 140737199677152 18446744073709551615 4351901 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=27763/tid=27768] ppid=27761 vsize=822796 CPUtime=108.64 cores=0-7
/proc/27763/task/27768/stat : 27768 (SArTagnan) R 27761 27763 27737 0 -1 4202560 20301 0 0 0 10859 5 0 0 25 0 8 0 802703766 842543104 132102 33554432000 4194304 4625164 140737199677152 18446744073709551615 4349061 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=27763/tid=27769] ppid=27761 vsize=822796 CPUtime=108.65 cores=0-7
/proc/27763/task/27769/stat : 27769 (SArTagnan) R 27761 27763 27737 0 -1 4202560 42294 0 0 0 10856 9 0 0 25 0 8 0 802703766 842543104 132102 33554432000 4194304 4625164 140737199677152 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=27763/tid=27770] ppid=27761 vsize=822796 CPUtime=108.61 cores=0-7
/proc/27763/task/27770/stat : 27770 (SArTagnan) R 27761 27763 27737 0 -1 4202560 15117 0 0 0 10858 3 0 0 25 0 8 0 802703766 842543104 132102 33554432000 4194304 4625164 140737199677152 18446744073709551615 4288672 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 867.42
Current children cumulated vsize (KiB) 822796

Child status: 10
Real time (s): 108.754
CPU time (s): 867.659
CPU user time (s): 866.555
CPU system time (s): 1.10383
CPU usage (%): 797.817
Max. virtual memory (cumulated for all children) (KiB): 822796

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 866.555
system time used= 1.10383
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 625114
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 6025
involuntary context switches= 3612

runsolver used 0.420936 second user time and 1.17182 second system time

The end
Name	CRAFTED/edgematching/ compact/em_7_3_6_cmp.cnf
MD5SUM	c848a5766cfcc1d1c3f26c7818e48eb2
Bench Category	CRAFTED (crafted instances)
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	9.8495
Satisfiable
(Un)Satisfiability was proved
Number of variables	1473
Number of clauses	11563
Sum of the clauses size	37576
Maximum clause length	25
Minimum clause length	2
Number of clauses of size 1	0
Number of clauses of size 2	2381
Number of clauses of size 3	7024
Number of clauses of size 4	708
Number of clauses of size 5	1300
Number of clauses of size over 5	150
Trace number 3438321

Some explanations

Solver answer on this benchmark

General information on the benchmark

Solver Data

Verifier Data

Watcher Data

Launcher Data
