Trace number 3386415

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
SArTagnan 2011-05-15 (fixed)? (TO) 4800.28 1204.69

General information on the benchmark

Nameapplication/jarvisalo/smtqfbv-aigs/
smtlib-qfbv-aigs-countbits128-tseitin.cnf
MD5SUM47da9e46b00ffd3e0b0f453a6c3c9f38
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark2179.95
Satisfiable
(Un)Satisfiability was proved
Number of variables95810
Number of clauses287045
Sum of the clauses size669769
Maximum clause length3
Minimum clause length1
Number of clauses of size 12
Number of clauses of size 2191362
Number of clauses of size 395681
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50

Solver Data


Verifier Data 

ERROR: Unexpected answer ! (SATISFIABLE/UNSATISFIABLE expected)
Got answer: <no 's ' line found>

Watcher Data 

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-3386415-1305579833/watcher-3386415-1305579833 -o /tmp/evaluation-result-3386415-1305579833/solver-3386415-1305579833 -C 4800 -W 1300 -M 15500 SArTagnan HOME/instance-3386415-1305579833.cnf -threads=4 

running on 4 cores: 0,2,4,6

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 4800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 4830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1300 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: 8.20 8.14 8.10 3/456 8042
/proc/meminfo: memFree=10518072/32951124 swapFree=65980224/67111528
[pid=8042] ppid=8040 vsize=33548 CPUtime=0 cores=0,2,4,6
/proc/8042/stat : 8042 (SArTagnan) R 8040 8042 7803 0 -1 4202496 2231 0 0 0 0 0 0 0 25 0 1 0 650398743 34353152 2170 33554432000 4194304 4625164 140735403291104 18446744073709551615 4339447 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/8042/statm: 8387 2170 296 106 0 3890 0

[startup+0.0765639 s]
/proc/loadavg: 8.20 8.14 8.10 3/456 8042
/proc/meminfo: memFree=10518072/32951124 swapFree=65980224/67111528
[pid=8042] ppid=8040 vsize=41536 CPUtime=0.07 cores=0,2,4,6
/proc/8042/stat : 8042 (SArTagnan) R 8040 8042 7803 0 -1 4202496 6983 0 0 0 6 1 0 0 25 0 1 0 650398743 42532864 4269 33554432000 4194304 4625164 140735403291104 18446744073709551615 228095450880 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/8042/statm: 10384 4269 296 106 0 5887 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 41536

[startup+0.100562 s]
/proc/loadavg: 8.20 8.14 8.10 3/456 8042
/proc/meminfo: memFree=10518072/32951124 swapFree=65980224/67111528
[pid=8042] ppid=8040 vsize=45252 CPUtime=0.09 cores=0,2,4,6
/proc/8042/stat : 8042 (SArTagnan) R 8040 8042 7803 0 -1 4202496 9167 0 0 0 8 1 0 0 25 0 1 0 650398743 46338048 5009 33554432000 4194304 4625164 140735403291104 18446744073709551615 4361099 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/8042/statm: 11313 5011 296 106 0 6816 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 45252

[startup+0.300453 s]
/proc/loadavg: 8.20 8.14 8.10 3/456 8042
/proc/meminfo: memFree=10518072/32951124 swapFree=65980224/67111528
[pid=8042] ppid=8040 vsize=326056 CPUtime=0.79 cores=0,2,4,6
/proc/8042/stat : 8042 (SArTagnan) R 8040 8042 7803 0 -1 4202496 23945 0 0 0 76 3 0 0 25 0 4 0 650398743 333881344 18098 33554432000 4194304 4625164 140735403291104 18446744073709551615 4390900 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/8042/statm: 81514 18098 335 106 0 77017 0
Current children cumulated CPU time (s) 0.79
Current children cumulated vsize (KiB) 326056

[startup+0.70038 s]
/proc/loadavg: 8.20 8.14 8.10 3/456 8042
/proc/meminfo: memFree=10518072/32951124 swapFree=65980224/67111528
[pid=8042] ppid=8040 vsize=330956 CPUtime=2.38 cores=0,2,4,6
/proc/8042/stat : 8042 (SArTagnan) R 8040 8042 7803 0 -1 4202496 27826 0 0 0 235 3 0 0 25 0 4 0 650398743 338898944 20349 33554432000 4194304 4625164 140735403291104 18446744073709551615 4390564 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/8042/statm: 82739 20349 336 106 0 78242 0
Current children cumulated CPU time (s) 2.38
Current children cumulated vsize (KiB) 330956

[startup+1.50023 s]
/proc/loadavg: 8.20 8.14 8.10 9/463 8049
/proc/meminfo: memFree=10345416/32951124 swapFree=65980224/67111528
[pid=8042] ppid=8040 vsize=333392 CPUtime=5.57 cores=0,2,4,6
/proc/8042/stat : 8042 (SArTagnan) R 8040 8042 7803 0 -1 4202496 29507 0 0 0 553 4 0 0 25 0 4 0 650398743 341393408 20814 33554432000 4194304 4625164 140735403291104 18446744073709551615 4390569 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/8042/statm: 83348 20814 336 106 0 78851 0
[pid=8042/tid=8047] ppid=8040 vsize=333392 CPUtime=1.34 cores=0,2,4,6
/proc/8042/task/8047/stat : 8047 (SArTagnan) R 8040 8042 7803 0 -1 4202560 2673 0 0 0 134 0 0 0 25 0 4 0 650398756 341393408 20814 33554432000 4194304 4625164 140735403291104 18446744073709551615 4351781 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=8042/tid=8048] ppid=8040 vsize=333392 CPUtime=1.36 cores=0,2,4,6
/proc/8042/task/8048/stat : 8048 (SArTagnan) R 8040 8042 7803 0 -1 4202560 2478 0 0 0 136 0 0 0 25 0 4 0 650398756 341393408 20814 33554432000 4194304 4625164 140735403291104 18446744073709551615 4351731 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=8042/tid=8049] ppid=8040 vsize=333392 CPUtime=1.36 cores=0,2,4,6
/proc/8042/task/8049/stat : 8049 (SArTagnan) R 8040 8042 7803 0 -1 4202560 1968 0 0 0 136 0 0 0 25 0 4 0 650398756 341393408 20814 33554432000 4194304 4625164 140735403291104 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 5.57
Current children cumulated vsize (KiB) 333392

[startup+3.10094 s]
/proc/loadavg: 8.18 8.13 8.09 9/463 8049
/proc/meminfo: memFree=10338908/32951124 swapFree=65980224/67111528
[pid=8042] ppid=8040 vsize=338256 CPUtime=11.95 cores=0,2,4,6
/proc/8042/stat : 8042 (SArTagnan) R 8040 8042 7803 0 -1 4202496 32484 0 0 0 1191 4 0 0 25 0 4 0 650398743 346374144 21358 33554432000 4194304 4625164 140735403291104 18446744073709551615 4390621 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/8042/statm: 84564 21358 336 106 0 80067 0
[pid=8042/tid=8047] ppid=8040 vsize=338256 CPUtime=2.92 cores=0,2,4,6
/proc/8042/task/8047/stat : 8047 (SArTagnan) R 8040 8042 7803 0 -1 4202560 3986 0 0 0 292 0 0 0 25 0 4 0 650398756 346374144 21358 33554432000 4194304 4625164 140735403291104 18446744073709551615 4288889 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=8042/tid=8048] ppid=8040 vsize=338256 CPUtime=2.95 cores=0,2,4,6
/proc/8042/task/8048/stat : 8048 (SArTagnan) R 8040 8042 7803 0 -1 4202560 3845 0 0 0 295 0 0 0 25 0 4 0 650398756 346374144 21358 33554432000 4194304 4625164 140735403291104 18446744073709551615 4351781 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=8042/tid=8049] ppid=8040 vsize=338256 CPUtime=2.95 cores=0,2,4,6
/proc/8042/task/8049/stat : 8049 (SArTagnan) R 8040 8042 7803 0 -1 4202560 2069 0 0 0 295 0 0 0 25 0 4 0 650398756 346374144 21358 33554432000 4194304 4625164 140735403291104 18446744073709551615 4288731 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 11.95
Current children cumulated vsize (KiB) 338256

[startup+6.30035 s]
/proc/loadavg: 8.18 8.13 8.09 9/463 8079
/proc/meminfo: memFree=10414716/32951124 swapFree=65980224/67111528
[pid=8042] ppid=8040 vsize=341084 CPUtime=24.7 cores=0,2,4,6
/proc/8042/stat : 8042 (SArTagnan) R 8040 8042 7803 0 -1 4202496 34606 0 0 0 2464 6 0 0 25 0 4 0 650398743 349270016 22219 33554432000 4194304 4625164 140735403291104 18446744073709551615 4390569 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/8042/statm: 85271 22219 336 106 0 80774 0
[pid=8042/tid=8047] ppid=8040 vsize=341084 CPUtime=6.07 cores=0,2,4,6
/proc/8042/task/8047/stat : 8047 (SArTagnan) R 8040 8042 7803 0 -1 4202560 4171 0 0 0 607 0 0 0 25 0 4 0 650398756 349270016 22219 33554432000 4194304 4625164 140735403291104 18446744073709551615 4288731 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=8042/tid=8048] ppid=8040 vsize=341084 CPUtime=6.15 cores=0,2,4,6
/proc/8042/task/8048/stat : 8048 (SArTagnan) R 8040 8042 7803 0 -1 4202560 4050 0 0 0 615 0 0 0 25 0 4 0 650398756 349270016 22219 33554432000 4194304 4625164 140735403291104 18446744073709551615 4288662 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=8042/tid=8049] ppid=8040 vsize=341084 CPUtime=6.15 cores=0,2,4,6
/proc/8042/task/8049/stat : 8049 (SArTagnan) R 8040 8042 7803 0 -1 4202560 3546 0 0 0 615 0 0 0 25 0 4 0 650398756 349270016 22219 33554432000 4194304 4625164 140735403291104 18446744073709551615 4335146 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 24.7
Current children cumulated vsize (KiB) 341084

[startup+12.7012 s]
/proc/loadavg: 8.23 8.14 8.10 9/463 8079
/proc/meminfo: memFree=10105372/32951124 swapFree=65980224/67111528
[pid=8042] ppid=8040 vsize=356512 CPUtime=50.2 cores=0,2,4,6
/proc/8042/stat : 8042 (SArTagnan) R 8040 8042 7803 0 -1 4202496 52809 0 0 0 5012 8 0 0 25 0 4 0 650398743 365068288 26372 33554432000 4194304 4625164 140735403291104 18446744073709551615 4390569 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/8042/statm: 89128 26372 336 106 0 84631 0
[pid=8042/tid=8047] ppid=8040 vsize=356512 CPUtime=12.37 cores=0,2,4,6
/proc/8042/task/8047/stat : 8047 (SArTagnan) R 8040 8042 7803 0 -1 4202560 6706 0 0 0 1237 0 0 0 25 0 4 0 650398756 365068288 26372 33554432000 4194304 4625164 140735403291104 18446744073709551615 4351781 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=8042/tid=8048] ppid=8040 vsize=356512 CPUtime=12.56 cores=0,2,4,6
/proc/8042/task/8048/stat : 8048 (SArTagnan) R 8040 8042 7803 0 -1 4202560 8199 0 0 0 1255 1 0 0 25 0 4 0 650398756 365068288 26372 33554432000 4194304 4625164 140735403291104 18446744073709551615 4317294 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=8042/tid=8049] ppid=8040 vsize=356512 CPUtime=12.55 cores=0,2,4,6
/proc/8042/task/8049/stat : 8049 (SArTagnan) R 8040 8042 7803 0 -1 4202560 12500 0 0 0 1254 1 0 0 25 0 4 0 650398756 365068288 26372 33554432000 4194304 4625164 140735403291104 18446744073709551615 4375344 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 50.2
Current children cumulated vsize (KiB) 356512

[startup+25.5008 s]
/proc/loadavg: 8.19 8.14 8.10 9/463 8079
/proc/meminfo: memFree=10059180/32951124 swapFree=65980224/67111528
[pid=8042] ppid=8040 vsize=368652 CPUtime=101.2 cores=0,2,4,6
/proc/8042/stat : 8042 (SArTagnan) R 8040 8042 7803 0 -1 4202496 107541 0 0 0 10101 19 0 0 25 0 4 0 650398743 377499648 35671 33554432000 4194304 4625164 140735403291104 18446744073709551615 4390569 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/8042/statm: 92163 35671 337 106 0 87666 0
[pid=8042/tid=8047] ppid=8040 vsize=368652 CPUtime=24.98 cores=0,2,4,6
/proc/8042/task/8047/stat : 8047 (SArTagnan) R 8040 8042 7803 0 -1 4202560 14117 0 0 0 2494 4 0 0 25 0 4 0 650398756 377499648 35671 33554432000 4194304 4625164 140735403291104 18446744073709551615 4278657 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=8042/tid=8048] ppid=8040 vsize=368652 CPUtime=25.36 cores=0,2,4,6
/proc/8042/task/8048/stat : 8048 (SArTagnan) R 8040 8042 7803 0 -1 4202560 20746 0 0 0 2533 3 0 0 25 0 4 0 650398756 377499648 35671 33554432000 4194304 4625164 140735403291104 18446744073709551615 4316714 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=8042/tid=8049] ppid=8040 vsize=368652 CPUtime=25.35 cores=0,2,4,6
/proc/8042/task/8049/stat : 8049 (SArTagnan) R 8040 8042 7803 0 -1 4202560 43589 0 0 0 2529 6 0 0 25 0 4 0 650398756 377499648 35671 33554432000 4194304 4625164 140735403291104 18446744073709551615 4288883 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 101.2
Current children cumulated vsize (KiB) 368652

[startup+51.1011 s]
/proc/loadavg: 8.19 8.14 8.10 9/463 8140
/proc/meminfo: memFree=9878324/32951124 swapFree=65980224/67111528
[pid=8042] ppid=8040 vsize=382948 CPUtime=203.22 cores=0,2,4,6
/proc/8042/stat : 8042 (SArTagnan) R 8040 8042 7803 0 -1 4202496 182205 0 0 0 20285 37 0 0 25 0 4 0 650398743 392138752 58521 33554432000 4194304 4625164 140735403291104 18446744073709551615 4390569 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/8042/statm: 95737 58521 337 106 0 91240 0
[pid=8042/tid=8047] ppid=8040 vsize=382948 CPUtime=50.19 cores=0,2,4,6
/proc/8042/task/8047/stat : 8047 (SArTagnan) R 8040 8042 7803 0 -1 4202560 26915 0 0 0 5009 10 0 0 25 0 4 0 650398756 392138752 58521 33554432000 4194304 4625164 140735403291104 18446744073709551615 4352010 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=8042/tid=8048] ppid=8040 vsize=382948 CPUtime=50.96 cores=0,2,4,6
/proc/8042/task/8048/stat : 8048 (SArTagnan) R 8040 8042 7803 0 -1 4202560 31293 0 0 0 5089 7 0 0 25 0 4 0 650398756 392138752 58521 33554432000 4194304 4625164 140735403291104 18446744073709551615 4317274 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=8042/tid=8049] ppid=8040 vsize=382948 CPUtime=50.94 cores=0,2,4,6
/proc/8042/task/8049/stat : 8049 (SArTagnan) R 8040 8042 7803 0 -1 4202560 93148 0 0 0 5082 12 0 0 25 0 4 0 650398756 392138752 58521 33554432000 4194304 4625164 140735403291104 18446744073709551615 4481738 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 203.22
Current children cumulated vsize (KiB) 382948

[startup+102.318 s]
/proc/loadavg: 8.16 8.15 8.10 9/463 8141
/proc/meminfo: memFree=9606116/32951124 swapFree=65980224/67111528
[pid=8042] ppid=8040 vsize=604912 CPUtime=407.32 cores=0,2,4,6
/proc/8042/stat : 8042 (SArTagnan) R 8040 8042 7803 0 -1 4202496 333084 0 0 0 40661 71 0 0 25 0 4 0 650398743 619429888 113442 33554432000 4194304 4625164 140735403291104 18446744073709551615 4390688 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/8042/statm: 151228 113442 337 106 0 146731 0
[pid=8042/tid=8047] ppid=8040 vsize=604912 CPUtime=100.64 cores=0,2,4,6
/proc/8042/task/8047/stat : 8047 (SArTagnan) R 8040 8042 7803 0 -1 4202560 55811 0 0 0 10040 24 0 0 25 0 4 0 650398756 619429888 113442 33554432000 4194304 4625164 140735403291104 18446744073709551615 4339612 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=8042/tid=8048] ppid=8040 vsize=604912 CPUtime=102.17 cores=0,2,4,6
/proc/8042/task/8048/stat : 8048 (SArTagnan) R 8040 8042 7803 0 -1 4202560 53497 0 0 0 10205 12 0 0 25 0 4 0 650398756 619429888 113442 33554432000 4194304 4625164 140735403291104 18446744073709551615 4288686 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=8042/tid=8049] ppid=8040 vsize=604912 CPUtime=102.16 cores=0,2,4,6
/proc/8042/task/8049/stat : 8049 (SArTagnan) R 8040 8042 7803 0 -1 4202560 184363 0 0 0 10190 26 0 0 25 0 4 0 650398756 619429888 113442 33554432000 4194304 4625164 140735403291104 18446744073709551615 4334466 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 407.32
Current children cumulated vsize (KiB) 604912

[startup+162.301 s]
/proc/loadavg: 8.14 8.15 8.10 9/463 8143
/proc/meminfo: memFree=9376704/32951124 swapFree=65980224/67111528
[pid=8042] ppid=8040 vsize=813508 CPUtime=646.38 cores=0,2,4,6
/proc/8042/stat : 8042 (SArTagnan) R 8040 8042 7803 0 -1 4202496 510057 0 0 0 64529 109 0 0 25 0 4 0 650398743 833032192 159321 33554432000 4194304 4625164 140735403291104 18446744073709551615 4390569 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/8042/statm: 203377 159321 348 106 0 198880 0
[pid=8042/tid=8047] ppid=8040 vsize=813508 CPUtime=159.75 cores=0,2,4,6
/proc/8042/task/8047/stat : 8047 (SArTagnan) R 8040 8042 7803 0 -1 4202560 89853 0 0 0 15933 42 0 0 25 0 4 0 650398756 833032192 159321 33554432000 4194304 4625164 140735403291104 18446744073709551615 4288731 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=8042/tid=8048] ppid=8040 vsize=813508 CPUtime=162.15 cores=0,2,4,6
/proc/8042/task/8048/stat : 8048 (SArTagnan) R 8040 8042 7803 0 -1 4202560 57542 0 0 0 16203 12 0 0 25 0 4 0 650398756 833032192 159321 33554432000 4194304 4625164 140735403291104 18446744073709551615 4316733 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=8042/tid=8049] ppid=8040 vsize=813508 CPUtime=162.14 cores=0,2,4,6
/proc/8042/task/8049/stat : 8049 (SArTagnan) R 8040 8042 7803 0 -1 4202560 310664 0 0 0 16170 44 0 0 25 0 4 0 650398756 833032192 159321 33554432000 4194304 4625164 140735403291104 18446744073709551615 4552369 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 646.38
Current children cumulated vsize (KiB) 813508

[startup+222.301 s]
/proc/loadavg: 8.12 8.13 8.09 9/463 8145
/proc/meminfo: memFree=9187236/32951124 swapFree=65980224/67111528
[pid=8042] ppid=8040 vsize=941588 CPUtime=885.49 cores=0,2,4,6
/proc/8042/stat : 8042 (SArTagnan) R 8040 8042 7803 0 -1 4202496 682313 0 0 0 88397 152 0 0 25 0 4 0 650398743 964186112 192281 33554432000 4194304 4625164 140735403291104 18446744073709551615 4509158 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/8042/statm: 235397 192281 348 106 0 230900 0
[pid=8042/tid=8047] ppid=8040 vsize=941588 CPUtime=218.86 cores=0,2,4,6
/proc/8042/task/8047/stat : 8047 (SArTagnan) R 8040 8042 7803 0 -1 4202560 114547 0 0 0 21823 63 0 0 25 0 4 0 650398756 964186112 192281 33554432000 4194304 4625164 140735403291104 18446744073709551615 4331101 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=8042/tid=8048] ppid=8040 vsize=941588 CPUtime=222.16 cores=0,2,4,6
/proc/8042/task/8048/stat : 8048 (SArTagnan) R 8040 8042 7803 0 -1 4202560 58197 0 0 0 22203 13 0 0 25 0 4 0 650398756 964186112 192281 33554432000 4194304 4625164 140735403291104 18446744073709551615 4317551 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=8042/tid=8049] ppid=8040 vsize=941588 CPUtime=222.14 cores=0,2,4,6
/proc/8042/task/8049/stat : 8049 (SArTagnan) R 8040 8042 7803 0 -1 4202560 455646 0 0 0 22148 66 0 0 25 0 4 0 650398756 964186112 192281 33554432000 4194304 4625164 140735403291104 18446744073709551615 4288668 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 885.49
Current children cumulated vsize (KiB) 941588

[startup+282.3 s]

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

[pid=8042] ppid=8040 vsize=1379856 CPUtime=2559.35 cores=0,2,4,6
/proc/8042/stat : 8042 (SArTagnan) R 8040 8042 7803 0 -1 4202496 2006144 0 0 0 255568 367 0 0 25 0 4 0 650398743 1412972544 292440 33554432000 4194304 4625164 140735403291104 18446744073709551615 4509230 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/8042/statm: 344964 292440 378 106 0 340467 0
[pid=8042/tid=8047] ppid=8040 vsize=1379856 CPUtime=632.67 cores=0,2,4,6
/proc/8042/task/8047/stat : 8047 (SArTagnan) R 8040 8042 7803 0 -1 4202560 122084 0 0 0 63203 64 0 0 25 0 4 0 650398756 1412972544 292445 33554432000 4194304 4625164 140735403291104 18446744073709551615 4331101 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=8042/tid=8048] ppid=8040 vsize=1379856 CPUtime=642.18 cores=0,2,4,6
/proc/8042/task/8048/stat : 8048 (SArTagnan) R 8040 8042 7803 0 -1 4202560 99008 0 0 0 64183 35 0 0 25 0 4 0 650398756 1412972544 292445 33554432000 4194304 4625164 140735403291104 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=8042/tid=8049] ppid=8040 vsize=1379856 CPUtime=642.16 cores=0,2,4,6
/proc/8042/task/8049/stat : 8049 (SArTagnan) R 8040 8042 7803 0 -1 4202560 1700615 0 0 0 63964 252 0 0 25 0 4 0 650398756 1412972544 292445 33554432000 4194304 4625164 140735403291104 18446744073709551615 4334466 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2559.35
Current children cumulated vsize (KiB) 1379856

[startup+702.301 s]
/proc/loadavg: 8.11 8.16 8.11 9/463 8157
/proc/meminfo: memFree=8118796/32951124 swapFree=65980224/67111528
[pid=8042] ppid=8040 vsize=1733604 CPUtime=2798.45 cores=0,2,4,6
/proc/8042/stat : 8042 (SArTagnan) R 8040 8042 7803 0 -1 4202496 2216997 0 0 0 279449 396 0 0 25 0 4 0 650398743 1775210496 370318 33554432000 4194304 4625164 140735403291104 18446744073709551615 4511930 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/8042/statm: 433401 370318 388 106 0 428904 0
[pid=8042/tid=8047] ppid=8040 vsize=1733604 CPUtime=691.79 cores=0,2,4,6
/proc/8042/task/8047/stat : 8047 (SArTagnan) R 8040 8042 7803 0 -1 4202560 139358 0 0 0 69112 67 0 0 25 0 4 0 650398756 1775210496 370318 33554432000 4194304 4625164 140735403291104 18446744073709551615 4479705 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=8042/tid=8048] ppid=8040 vsize=1733604 CPUtime=702.17 cores=0,2,4,6
/proc/8042/task/8048/stat : 8048 (SArTagnan) R 8040 8042 7803 0 -1 4202560 106855 0 0 0 70181 36 0 0 25 0 4 0 650398756 1775210496 370318 33554432000 4194304 4625164 140735403291104 18446744073709551615 4477944 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=8042/tid=8049] ppid=8040 vsize=1733604 CPUtime=702.15 cores=0,2,4,6
/proc/8042/task/8049/stat : 8049 (SArTagnan) R 8040 8042 7803 0 -1 4202560 1790586 0 0 0 69951 264 0 0 25 0 4 0 650398756 1775210496 370318 33554432000 4194304 4625164 140735403291104 18446744073709551615 4477944 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2798.45
Current children cumulated vsize (KiB) 1733604

[startup+762.317 s]
/proc/loadavg: 8.09 8.15 8.10 9/463 8159
/proc/meminfo: memFree=8071300/32951124 swapFree=65980224/67111528
[pid=8042] ppid=8040 vsize=1733604 CPUtime=3037.62 cores=0,2,4,6
/proc/8042/stat : 8042 (SArTagnan) R 8040 8042 7803 0 -1 4202496 2217501 0 0 0 303366 396 0 0 25 0 4 0 650398743 1775210496 370822 33554432000 4194304 4625164 140735403291104 18446744073709551615 4511846 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/8042/statm: 433401 370822 388 106 0 428904 0
[pid=8042/tid=8047] ppid=8040 vsize=1733604 CPUtime=750.91 cores=0,2,4,6
/proc/8042/task/8047/stat : 8047 (SArTagnan) R 8040 8042 7803 0 -1 4202560 139358 0 0 0 75024 67 0 0 25 0 4 0 650398756 1775210496 370822 33554432000 4194304 4625164 140735403291104 18446744073709551615 4479688 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=8042/tid=8048] ppid=8040 vsize=1733604 CPUtime=762.19 cores=0,2,4,6
/proc/8042/task/8048/stat : 8048 (SArTagnan) R 8040 8042 7803 0 -1 4202560 106855 0 0 0 76183 36 0 0 25 0 4 0 650398756 1775210496 370822 33554432000 4194304 4625164 140735403291104 18446744073709551615 4278661 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=8042/tid=8049] ppid=8040 vsize=1733604 CPUtime=762.16 cores=0,2,4,6
/proc/8042/task/8049/stat : 8049 (SArTagnan) R 8040 8042 7803 0 -1 4202560 1790586 0 0 0 75952 264 0 0 25 0 4 0 650398756 1775210496 370822 33554432000 4194304 4625164 140735403291104 18446744073709551615 4477961 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3037.62
Current children cumulated vsize (KiB) 1733604

[startup+822.301 s]
/proc/loadavg: 8.03 8.12 8.09 9/463 8161
/proc/meminfo: memFree=8025908/32951124 swapFree=65980224/67111528
[pid=8042] ppid=8040 vsize=1752156 CPUtime=3276.68 cores=0,2,4,6
/proc/8042/stat : 8042 (SArTagnan) R 8040 8042 7803 0 -1 4202496 2229690 0 0 0 327270 398 0 0 25 0 4 0 650398743 1794207744 373745 33554432000 4194304 4625164 140735403291104 18446744073709551615 4511874 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/8042/statm: 438039 373745 388 106 0 433542 0
[pid=8042/tid=8047] ppid=8040 vsize=1752156 CPUtime=810.01 cores=0,2,4,6
/proc/8042/task/8047/stat : 8047 (SArTagnan) R 8040 8042 7803 0 -1 4202560 139358 0 0 0 80934 67 0 0 25 0 4 0 650398756 1794207744 373745 33554432000 4194304 4625164 140735403291104 18446744073709551615 4477982 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=8042/tid=8048] ppid=8040 vsize=1752156 CPUtime=822.17 cores=0,2,4,6
/proc/8042/task/8048/stat : 8048 (SArTagnan) R 8040 8042 7803 0 -1 4202560 106855 0 0 0 82181 36 0 0 25 0 4 0 650398756 1794207744 373745 33554432000 4194304 4625164 140735403291104 18446744073709551615 4477965 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=8042/tid=8049] ppid=8040 vsize=1752156 CPUtime=822.15 cores=0,2,4,6
/proc/8042/task/8049/stat : 8049 (SArTagnan) R 8040 8042 7803 0 -1 4202560 1790586 0 0 0 81951 264 0 0 25 0 4 0 650398756 1794207744 373745 33554432000 4194304 4625164 140735403291104 18446744073709551615 4477944 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3276.68
Current children cumulated vsize (KiB) 1752156

[startup+882.301 s]
/proc/loadavg: 8.17 8.14 8.10 9/463 8162
/proc/meminfo: memFree=7992180/32951124 swapFree=65980224/67111528
[pid=8042] ppid=8040 vsize=1752156 CPUtime=3515.75 cores=0,2,4,6
/proc/8042/stat : 8042 (SArTagnan) R 8040 8042 7803 0 -1 4202496 2229754 0 0 0 351177 398 0 0 25 0 4 0 650398743 1794207744 373809 33554432000 4194304 4625164 140735403291104 18446744073709551615 4509196 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/8042/statm: 438039 373809 388 106 0 433542 0
[pid=8042/tid=8047] ppid=8040 vsize=1752156 CPUtime=869.08 cores=0,2,4,6
/proc/8042/task/8047/stat : 8047 (SArTagnan) R 8040 8042 7803 0 -1 4202560 139358 0 0 0 86841 67 0 0 25 0 4 0 650398756 1794207744 373809 33554432000 4194304 4625164 140735403291104 18446744073709551615 4477976 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=8042/tid=8048] ppid=8040 vsize=1752156 CPUtime=882.18 cores=0,2,4,6
/proc/8042/task/8048/stat : 8048 (SArTagnan) R 8040 8042 7803 0 -1 4202560 106855 0 0 0 88182 36 0 0 25 0 4 0 650398756 1794207744 373809 33554432000 4194304 4625164 140735403291104 18446744073709551615 4477976 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=8042/tid=8049] ppid=8040 vsize=1752156 CPUtime=882.15 cores=0,2,4,6
/proc/8042/task/8049/stat : 8049 (SArTagnan) R 8040 8042 7803 0 -1 4202560 1790586 0 0 0 87951 264 0 0 25 0 4 0 650398756 1794207744 373809 33554432000 4194304 4625164 140735403291104 18446744073709551615 4478048 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3515.75
Current children cumulated vsize (KiB) 1752156

[startup+942.301 s]
/proc/loadavg: 8.18 8.14 8.09 9/463 8164
/proc/meminfo: memFree=7970104/32951124 swapFree=65980224/67111528
[pid=8042] ppid=8040 vsize=1752156 CPUtime=3754.86 cores=0,2,4,6
/proc/8042/stat : 8042 (SArTagnan) R 8040 8042 7803 0 -1 4202496 2229952 0 0 0 375088 398 0 0 25 0 4 0 650398743 1794207744 374007 33554432000 4194304 4625164 140735403291104 18446744073709551615 4519559 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/8042/statm: 438039 374007 388 106 0 433542 0
[pid=8042/tid=8047] ppid=8040 vsize=1752156 CPUtime=928.18 cores=0,2,4,6
/proc/8042/task/8047/stat : 8047 (SArTagnan) R 8040 8042 7803 0 -1 4202560 139358 0 0 0 92751 67 0 0 25 0 4 0 650398756 1794207744 374007 33554432000 4194304 4625164 140735403291104 18446744073709551615 4477944 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=8042/tid=8048] ppid=8040 vsize=1752156 CPUtime=942.18 cores=0,2,4,6
/proc/8042/task/8048/stat : 8048 (SArTagnan) R 8040 8042 7803 0 -1 4202560 106855 0 0 0 94182 36 0 0 25 0 4 0 650398756 1794207744 374007 33554432000 4194304 4625164 140735403291104 18446744073709551615 4477959 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=8042/tid=8049] ppid=8040 vsize=1752156 CPUtime=942.15 cores=0,2,4,6
/proc/8042/task/8049/stat : 8049 (SArTagnan) R 8040 8042 7803 0 -1 4202560 1790586 0 0 0 93951 264 0 0 25 0 4 0 650398756 1794207744 374007 33554432000 4194304 4625164 140735403291104 18446744073709551615 4477944 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3754.86
Current children cumulated vsize (KiB) 1752156

[startup+1002.3 s]
/proc/loadavg: 8.24 8.16 8.10 9/463 8165
/proc/meminfo: memFree=7917280/32951124 swapFree=65980224/67111528
[pid=8042] ppid=8040 vsize=1752156 CPUtime=3993.95 cores=0,2,4,6
/proc/8042/stat : 8042 (SArTagnan) R 8040 8042 7803 0 -1 4202496 2230545 0 0 0 398997 398 0 0 25 0 4 0 650398743 1794207744 374600 33554432000 4194304 4625164 140735403291104 18446744073709551615 4528688 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/8042/statm: 438039 374600 388 106 0 433542 0
[pid=8042/tid=8047] ppid=8040 vsize=1752156 CPUtime=987.27 cores=0,2,4,6
/proc/8042/task/8047/stat : 8047 (SArTagnan) R 8040 8042 7803 0 -1 4202560 139358 0 0 0 98660 67 0 0 25 0 4 0 650398756 1794207744 374600 33554432000 4194304 4625164 140735403291104 18446744073709551615 4477961 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=8042/tid=8048] ppid=8040 vsize=1752156 CPUtime=1002.18 cores=0,2,4,6
/proc/8042/task/8048/stat : 8048 (SArTagnan) R 8040 8042 7803 0 -1 4202560 106855 0 0 0 100182 36 0 0 25 0 4 0 650398756 1794207744 374600 33554432000 4194304 4625164 140735403291104 18446744073709551615 4482053 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=8042/tid=8049] ppid=8040 vsize=1752156 CPUtime=1002.15 cores=0,2,4,6
/proc/8042/task/8049/stat : 8049 (SArTagnan) R 8040 8042 7803 0 -1 4202560 1790586 0 0 0 99951 264 0 0 25 0 4 0 650398756 1794207744 374600 33554432000 4194304 4625164 140735403291104 18446744073709551615 4478048 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3993.95
Current children cumulated vsize (KiB) 1752156

[startup+1062.3 s]
/proc/loadavg: 8.19 8.16 8.10 9/463 8167
/proc/meminfo: memFree=7874240/32951124 swapFree=65980224/67111528
[pid=8042] ppid=8040 vsize=1752156 CPUtime=4233.03 cores=0,2,4,6
/proc/8042/stat : 8042 (SArTagnan) R 8040 8042 7803 0 -1 4202496 2230864 0 0 0 422905 398 0 0 25 0 4 0 650398743 1794207744 374919 33554432000 4194304 4625164 140735403291104 18446744073709551615 4509158 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/8042/statm: 438039 374919 388 106 0 433542 0
[pid=8042/tid=8047] ppid=8040 vsize=1752156 CPUtime=1046.35 cores=0,2,4,6
/proc/8042/task/8047/stat : 8047 (SArTagnan) R 8040 8042 7803 0 -1 4202560 139358 0 0 0 104568 67 0 0 25 0 4 0 650398756 1794207744 374919 33554432000 4194304 4625164 140735403291104 18446744073709551615 4477934 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=8042/tid=8048] ppid=8040 vsize=1752156 CPUtime=1062.18 cores=0,2,4,6
/proc/8042/task/8048/stat : 8048 (SArTagnan) R 8040 8042 7803 0 -1 4202560 106855 0 0 0 106182 36 0 0 25 0 4 0 650398756 1794207744 374919 33554432000 4194304 4625164 140735403291104 18446744073709551615 4477913 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=8042/tid=8049] ppid=8040 vsize=1752156 CPUtime=1062.15 cores=0,2,4,6
/proc/8042/task/8049/stat : 8049 (SArTagnan) R 8040 8042 7803 0 -1 4202560 1790586 0 0 0 105951 264 0 0 25 0 4 0 650398756 1794207744 374919 33554432000 4194304 4625164 140735403291104 18446744073709551615 4477959 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4233.03
Current children cumulated vsize (KiB) 1752156

[startup+1122.3 s]
/proc/loadavg: 7.78 8.08 8.07 5/454 8186
/proc/meminfo: memFree=9050976/32951124 swapFree=65980224/67111528
[pid=8042] ppid=8040 vsize=1752156 CPUtime=4472.13 cores=0,2,4,6
/proc/8042/stat : 8042 (SArTagnan) R 8040 8042 7803 0 -1 4202496 2231891 0 0 0 446815 398 0 0 25 0 4 0 650398743 1794207744 375946 33554432000 4194304 4625164 140735403291104 18446744073709551615 4511930 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/8042/statm: 438039 375946 388 106 0 433542 0
[pid=8042/tid=8047] ppid=8040 vsize=1752156 CPUtime=1105.45 cores=0,2,4,6
/proc/8042/task/8047/stat : 8047 (SArTagnan) R 8040 8042 7803 0 -1 4202560 139358 0 0 0 110478 67 0 0 25 0 4 0 650398756 1794207744 375946 33554432000 4194304 4625164 140735403291104 18446744073709551615 4477934 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=8042/tid=8048] ppid=8040 vsize=1752156 CPUtime=1122.19 cores=0,2,4,6
/proc/8042/task/8048/stat : 8048 (SArTagnan) R 8040 8042 7803 0 -1 4202560 106855 0 0 0 112182 37 0 0 25 0 4 0 650398756 1794207744 375946 33554432000 4194304 4625164 140735403291104 18446744073709551615 4477934 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=8042/tid=8049] ppid=8040 vsize=1752156 CPUtime=1122.15 cores=0,2,4,6
/proc/8042/task/8049/stat : 8049 (SArTagnan) R 8040 8042 7803 0 -1 4202560 1790586 0 0 0 111951 264 0 0 25 0 4 0 650398756 1794207744 375946 33554432000 4194304 4625164 140735403291104 18446744073709551615 4477944 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4472.13
Current children cumulated vsize (KiB) 1752156

[startup+1182.3 s]
/proc/loadavg: 5.39 7.33 7.81 5/454 8187
/proc/meminfo: memFree=8982536/32951124 swapFree=65980224/67111528
[pid=8042] ppid=8040 vsize=1817696 CPUtime=4711.27 cores=0,2,4,6
/proc/8042/stat : 8042 (SArTagnan) R 8040 8042 7803 0 -1 4202496 2249117 0 0 0 470727 400 0 0 25 0 4 0 650398743 1861320704 393172 33554432000 4194304 4625164 140735403291104 18446744073709551615 4511904 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/8042/statm: 454424 393172 388 106 0 449927 0
[pid=8042/tid=8047] ppid=8040 vsize=1817696 CPUtime=1164.59 cores=0,2,4,6
/proc/8042/task/8047/stat : 8047 (SArTagnan) R 8040 8042 7803 0 -1 4202560 139358 0 0 0 116392 67 0 0 25 0 4 0 650398756 1861320704 393172 33554432000 4194304 4625164 140735403291104 18446744073709551615 4477965 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=8042/tid=8048] ppid=8040 vsize=1817696 CPUtime=1182.19 cores=0,2,4,6
/proc/8042/task/8048/stat : 8048 (SArTagnan) R 8040 8042 7803 0 -1 4202560 106855 0 0 0 118182 37 0 0 25 0 4 0 650398756 1861320704 393172 33554432000 4194304 4625164 140735403291104 18446744073709551615 4478002 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=8042/tid=8049] ppid=8040 vsize=1817696 CPUtime=1182.15 cores=0,2,4,6
/proc/8042/task/8049/stat : 8049 (SArTagnan) R 8040 8042 7803 0 -1 4202560 1790586 0 0 0 117951 264 0 0 25 0 4 0 650398756 1861320704 393172 33554432000 4194304 4625164 140735403291104 18446744073709551615 4477922 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4711.27
Current children cumulated vsize (KiB) 1817696



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1204.6 s]
/proc/loadavg: 4.99 7.11 7.73 5/454 8188
/proc/meminfo: memFree=8981016/32951124 swapFree=65980224/67111528
[pid=8042] ppid=8040 vsize=1817696 CPUtime=4800.16 cores=0,2,4,6
/proc/8042/stat : 8042 (SArTagnan) R 8040 8042 7803 0 -1 4202496 2249457 0 0 0 479616 400 0 0 25 0 4 0 650398743 1861320704 393512 33554432000 4194304 4625164 140735403291104 18446744073709551615 4519467 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/8042/statm: 454424 393512 388 106 0 449927 0
[pid=8042/tid=8047] ppid=8040 vsize=1817696 CPUtime=1186.55 cores=0,2,4,6
/proc/8042/task/8047/stat : 8047 (SArTagnan) R 8040 8042 7803 0 -1 4202560 139358 0 0 0 118588 67 0 0 25 0 4 0 650398756 1861320704 393512 33554432000 4194304 4625164 140735403291104 18446744073709551615 4477982 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=8042/tid=8048] ppid=8040 vsize=1817696 CPUtime=1204.51 cores=0,2,4,6
/proc/8042/task/8048/stat : 8048 (SArTagnan) R 8040 8042 7803 0 -1 4202560 106855 0 0 0 120414 37 0 0 25 0 4 0 650398756 1861320704 393512 33554432000 4194304 4625164 140735403291104 18446744073709551615 4477965 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=8042/tid=8049] ppid=8040 vsize=1817696 CPUtime=1204.47 cores=0,2,4,6
/proc/8042/task/8049/stat : 8049 (SArTagnan) R 8040 8042 7803 0 -1 4202560 1790586 0 0 0 120183 264 0 0 25 0 4 0 650398756 1861320704 393512 33554432000 4194304 4625164 140735403291104 18446744073709551615 4477961 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4800.16
Current children cumulated vsize (KiB) 1817696

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1204.69
CPU time (s): 4800.28
CPU user time (s): 4796.21
CPU system time (s): 4.07238
CPU usage (%): 398.467
Max. virtual memory (cumulated for all children) (KiB): 1817696

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4796.21
system time used= 4.07238
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2249457
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= 827
involuntary context switches= 22946

runsolver used 5.18121 second user time and 12.7971 second system time

The end

Launcher Data 

Begin job on node142 at 2011-05-16 23:03:53
IDJOB=3386415
IDBENCH=82462
IDSOLVER=1871
FILE ID=node142/3386415-1305579833
RUNJOBID= node142-1305577418-7821
PBS_JOBID= 13350222
Free space on /tmp= 73560 MiB

SOLVER NAME= SArTagnan 2011-05-15 (fixed)
BENCH NAME= SAT11/application/jarvisalo/smtqfbv-aigs/smtlib-qfbv-aigs-countbits128-tseitin.cnf
COMMAND LINE= SArTagnan BENCHNAME -threads=NBCORE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3386415-1305579833/watcher-3386415-1305579833 -o /tmp/evaluation-result-3386415-1305579833/solver-3386415-1305579833 -C 4800 -W 1300 -M 15500  SArTagnan HOME/instance-3386415-1305579833.cnf -threads=4

TIME LIMIT= 4800 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= 47da9e46b00ffd3e0b0f453a6c3c9f38
RANDOM SEED=994908084

node142.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.846
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5333.69
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.846
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5131.95
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.846
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.82
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.846
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.67
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.846
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.81
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.846
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.846
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.82
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.846
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      10518600 kB
Buffers:        355596 kB
Cached:        4984532 kB
SwapCached:      11512 kB
Active:       18932616 kB
Inactive:      3127996 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      10518600 kB
SwapTotal:    67111528 kB
SwapFree:     65980224 kB
Dirty:           13404 kB
Writeback:           0 kB
AnonPages:    16716752 kB
Mapped:          27512 kB
Slab:           238096 kB
PageTables:      66304 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 114562796 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 73564 MiB
End job on node142 at 2011-05-16 23:23:59