Trace number 3386212

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.58 1204.63

General information on the benchmark

NameSAT03/industrial/goldberg/hard_eq_check/
k2mul.miter.shuffled-as.sat03-355.cnf
MD5SUM77e0700cbaeeb3d63a4820608fc84761
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark45.3381
Satisfiable
(Un)Satisfiability was proved
Number of variables11680
Number of clauses74581
Sum of the clauses size252050
Maximum clause length86
Minimum clause length1
Number of clauses of size 14
Number of clauses of size 217176
Number of clauses of size 334696
Number of clauses of size 40
Number of clauses of size 522704
Number of clauses of size over 51

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

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

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.09 8.11 8.02 5/450 30979
/proc/meminfo: memFree=18596700/32950940 swapFree=67111356/67111528
[pid=30979] ppid=30977 vsize=22892 CPUtime=0.01 cores=1,3,5,7
/proc/30979/stat : 30979 (SArTagnan) R 30977 30979 30199 0 -1 4202496 1485 0 0 0 1 0 0 0 25 0 1 0 748483301 23441408 1040 33554432000 4194304 4625164 140733818006224 18446744073709551615 215988253381 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/30979/statm: 5723 1041 299 106 0 1226 0

[startup+0.172738 s]
/proc/loadavg: 8.09 8.11 8.02 5/450 30979
/proc/meminfo: memFree=18596700/32950940 swapFree=67111356/67111528
[pid=30979] ppid=30977 vsize=207456 CPUtime=0.5 cores=1,3,5,7
/proc/30979/stat : 30979 (SArTagnan) R 30977 30979 30199 0 -1 4202496 9372 0 0 0 49 1 0 0 25 0 4 0 748483301 212434944 6381 33554432000 4194304 4625164 140733818006224 18446744073709551615 4512009 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/30979/statm: 51864 6381 339 106 0 47367 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 207456

[startup+0.200735 s]
/proc/loadavg: 8.09 8.11 8.02 5/450 30979
/proc/meminfo: memFree=18596700/32950940 swapFree=67111356/67111528
[pid=30979] ppid=30977 vsize=207456 CPUtime=0.61 cores=1,3,5,7
/proc/30979/stat : 30979 (SArTagnan) R 30977 30979 30199 0 -1 4202496 9400 0 0 0 60 1 0 0 25 0 4 0 748483301 212434944 6409 33554432000 4194304 4625164 140733818006224 18446744073709551615 4511930 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/30979/statm: 51864 6409 339 106 0 47367 0
Current children cumulated CPU time (s) 0.61
Current children cumulated vsize (KiB) 207456

[startup+0.300718 s]
/proc/loadavg: 8.09 8.11 8.02 5/450 30979
/proc/meminfo: memFree=18596700/32950940 swapFree=67111356/67111528
[pid=30979] ppid=30977 vsize=207456 CPUtime=1.01 cores=1,3,5,7
/proc/30979/stat : 30979 (SArTagnan) R 30977 30979 30199 0 -1 4202496 9683 0 0 0 100 1 0 0 25 0 4 0 748483301 212434944 6581 33554432000 4194304 4625164 140733818006224 18446744073709551615 4511904 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/30979/statm: 51864 6581 339 106 0 47367 0
Current children cumulated CPU time (s) 1.01
Current children cumulated vsize (KiB) 207456

[startup+0.700649 s]
/proc/loadavg: 8.09 8.11 8.02 5/450 30979
/proc/meminfo: memFree=18596700/32950940 swapFree=67111356/67111528
[pid=30979] ppid=30977 vsize=207456 CPUtime=2.62 cores=1,3,5,7
/proc/30979/stat : 30979 (SArTagnan) R 30977 30979 30199 0 -1 4202496 10412 0 0 0 260 2 0 0 25 0 4 0 748483301 212434944 6733 33554432000 4194304 4625164 140733818006224 18446744073709551615 4519673 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/30979/statm: 51864 6733 339 106 0 47367 0
Current children cumulated CPU time (s) 2.62
Current children cumulated vsize (KiB) 207456

[startup+1.50051 s]
/proc/loadavg: 8.16 8.13 8.03 9/454 30983
/proc/meminfo: memFree=18567412/32950940 swapFree=67111356/67111528
[pid=30979] ppid=30977 vsize=209704 CPUtime=5.79 cores=1,3,5,7
/proc/30979/stat : 30979 (SArTagnan) R 30977 30979 30199 0 -1 4202496 14443 0 0 0 576 3 0 0 25 0 4 0 748483301 214736896 7608 33554432000 4194304 4625164 140733818006224 18446744073709551615 4509158 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/30979/statm: 52426 7608 339 106 0 47929 0
[pid=30979/tid=30981] ppid=30977 vsize=209704 CPUtime=1.43 cores=1,3,5,7
/proc/30979/task/30981/stat : 30981 (SArTagnan) R 30977 30979 30199 0 -1 4202560 1558 0 0 0 143 0 0 0 25 0 4 0 748483307 214736896 7608 33554432000 4194304 4625164 140733818006224 18446744073709551615 4352032 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=30979/tid=30982] ppid=30977 vsize=209704 CPUtime=1.42 cores=1,3,5,7
/proc/30979/task/30982/stat : 30982 (SArTagnan) R 30977 30979 30199 0 -1 4202560 845 0 0 0 142 0 0 0 25 0 4 0 748483307 214736896 7608 33554432000 4194304 4625164 140733818006224 18446744073709551615 4351731 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=30979/tid=30983] ppid=30977 vsize=209704 CPUtime=1.43 cores=1,3,5,7
/proc/30979/task/30983/stat : 30983 (SArTagnan) R 30977 30979 30199 0 -1 4202560 4866 0 0 0 142 1 0 0 25 0 4 0 748483307 214736896 7608 33554432000 4194304 4625164 140733818006224 18446744073709551615 4352728 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 5.79
Current children cumulated vsize (KiB) 209704

[startup+3.10023 s]
/proc/loadavg: 8.16 8.13 8.03 9/454 30983
/proc/meminfo: memFree=18562948/32950940 swapFree=67111356/67111528
[pid=30979] ppid=30977 vsize=211948 CPUtime=12.17 cores=1,3,5,7
/proc/30979/stat : 30979 (SArTagnan) R 30977 30979 30199 0 -1 4202496 20789 0 0 0 1213 4 0 0 25 0 4 0 748483301 217034752 8317 33554432000 4194304 4625164 140733818006224 18446744073709551615 4512156 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/30979/statm: 52987 8317 339 106 0 48490 0
[pid=30979/tid=30981] ppid=30977 vsize=211948 CPUtime=3.03 cores=1,3,5,7
/proc/30979/task/30981/stat : 30981 (SArTagnan) R 30977 30979 30199 0 -1 4202560 1774 0 0 0 303 0 0 0 25 0 4 0 748483307 217034752 8317 33554432000 4194304 4625164 140733818006224 18446744073709551615 4375513 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=30979/tid=30982] ppid=30977 vsize=211948 CPUtime=3 cores=1,3,5,7
/proc/30979/task/30982/stat : 30982 (SArTagnan) R 30977 30979 30199 0 -1 4202560 1524 0 0 0 300 0 0 0 25 0 4 0 748483307 217034752 8317 33554432000 4194304 4625164 140733818006224 18446744073709551615 4288802 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=30979/tid=30983] ppid=30977 vsize=211948 CPUtime=3.03 cores=1,3,5,7
/proc/30979/task/30983/stat : 30983 (SArTagnan) R 30977 30979 30199 0 -1 4202560 10258 0 0 0 301 2 0 0 25 0 4 0 748483307 217034752 8317 33554432000 4194304 4625164 140733818006224 18446744073709551615 4351731 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 12.17
Current children cumulated vsize (KiB) 211948

[startup+6.30067 s]
/proc/loadavg: 8.16 8.13 8.03 9/454 30983
/proc/meminfo: memFree=18541748/32950940 swapFree=67111356/67111528
[pid=30979] ppid=30977 vsize=215432 CPUtime=24.92 cores=1,3,5,7
/proc/30979/stat : 30979 (SArTagnan) R 30977 30979 30199 0 -1 4202496 34213 0 0 0 2486 6 0 0 25 0 4 0 748483301 220602368 9886 33554432000 4194304 4625164 140733818006224 18446744073709551615 4513127 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/30979/statm: 53858 9886 340 106 0 49361 0
[pid=30979/tid=30981] ppid=30977 vsize=215432 CPUtime=6.23 cores=1,3,5,7
/proc/30979/task/30981/stat : 30981 (SArTagnan) R 30977 30979 30199 0 -1 4202560 2878 0 0 0 623 0 0 0 25 0 4 0 748483307 220602368 9886 33554432000 4194304 4625164 140733818006224 18446744073709551615 4351781 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=30979/tid=30982] ppid=30977 vsize=215432 CPUtime=6.15 cores=1,3,5,7
/proc/30979/task/30982/stat : 30982 (SArTagnan) R 30977 30979 30199 0 -1 4202560 1754 0 0 0 615 0 0 0 25 0 4 0 748483307 220602368 9886 33554432000 4194304 4625164 140733818006224 18446744073709551615 4288731 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=30979/tid=30983] ppid=30977 vsize=215432 CPUtime=6.23 cores=1,3,5,7
/proc/30979/task/30983/stat : 30983 (SArTagnan) R 30977 30979 30199 0 -1 4202560 22250 0 0 0 619 4 0 0 25 0 4 0 748483307 220602368 9886 33554432000 4194304 4625164 140733818006224 18446744073709551615 4469147 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 24.92
Current children cumulated vsize (KiB) 215432

[startup+12.7005 s]
/proc/loadavg: 8.14 8.12 8.03 9/454 30983
/proc/meminfo: memFree=18516608/32950940 swapFree=67111356/67111528
[pid=30979] ppid=30977 vsize=220272 CPUtime=50.43 cores=1,3,5,7
/proc/30979/stat : 30979 (SArTagnan) R 30977 30979 30199 0 -1 4202496 62166 0 0 0 5032 11 0 0 25 0 4 0 748483301 225558528 14816 33554432000 4194304 4625164 140733818006224 18446744073709551615 4509196 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/30979/statm: 55068 14816 340 106 0 50571 0
[pid=30979/tid=30981] ppid=30977 vsize=220272 CPUtime=12.63 cores=1,3,5,7
/proc/30979/task/30981/stat : 30981 (SArTagnan) R 30977 30979 30199 0 -1 4202560 3273 0 0 0 1263 0 0 0 25 0 4 0 748483307 225558528 14816 33554432000 4194304 4625164 140733818006224 18446744073709551615 4467313 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=30979/tid=30982] ppid=30977 vsize=220272 CPUtime=12.44 cores=1,3,5,7
/proc/30979/task/30982/stat : 30982 (SArTagnan) R 30977 30979 30199 0 -1 4202560 3414 0 0 0 1244 0 0 0 25 0 4 0 748483307 225558528 14816 33554432000 4194304 4625164 140733818006224 18446744073709551615 4463764 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=30979/tid=30983] ppid=30977 vsize=220272 CPUtime=12.63 cores=1,3,5,7
/proc/30979/task/30983/stat : 30983 (SArTagnan) R 30977 30979 30199 0 -1 4202560 47691 0 0 0 1255 8 0 0 25 0 4 0 748483307 225558528 14816 33554432000 4194304 4625164 140733818006224 18446744073709551615 4547847 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 50.43
Current children cumulated vsize (KiB) 220272

[startup+25.5013 s]
/proc/loadavg: 8.12 8.12 8.03 9/454 30984
/proc/meminfo: memFree=18449656/32950940 swapFree=67111356/67111528
[pid=30979] ppid=30977 vsize=327860 CPUtime=101.43 cores=1,3,5,7
/proc/30979/stat : 30979 (SArTagnan) R 30977 30979 30199 0 -1 4202496 92260 0 0 0 10127 16 0 0 25 0 4 0 748483301 335728640 29184 33554432000 4194304 4625164 140733818006224 18446744073709551615 4512125 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/30979/statm: 81965 29184 386 106 0 77468 0
[pid=30979/tid=30981] ppid=30977 vsize=327860 CPUtime=25.43 cores=1,3,5,7
/proc/30979/task/30981/stat : 30981 (SArTagnan) R 30977 30979 30199 0 -1 4202560 9349 0 0 0 2542 1 0 0 25 0 4 0 748483307 335728640 29184 33554432000 4194304 4625164 140733818006224 18446744073709551615 4339591 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=30979/tid=30982] ppid=30977 vsize=327860 CPUtime=25.05 cores=1,3,5,7
/proc/30979/task/30982/stat : 30982 (SArTagnan) R 30977 30979 30199 0 -1 4202560 8407 0 0 0 2504 1 0 0 25 0 4 0 748483307 335728640 29184 33554432000 4194304 4625164 140733818006224 18446744073709551615 4288765 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=30979/tid=30983] ppid=30977 vsize=327860 CPUtime=25.43 cores=1,3,5,7
/proc/30979/task/30983/stat : 30983 (SArTagnan) R 30977 30979 30199 0 -1 4202560 57384 0 0 0 2533 10 0 0 25 0 4 0 748483307 335728640 29184 33554432000 4194304 4625164 140733818006224 18446744073709551615 4547280 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 101.43
Current children cumulated vsize (KiB) 327860

[startup+51.1008 s]
/proc/loadavg: 8.14 8.12 8.03 9/454 30984
/proc/meminfo: memFree=18399532/32950940 swapFree=67111356/67111528
[pid=30979] ppid=30977 vsize=339340 CPUtime=203.47 cores=1,3,5,7
/proc/30979/stat : 30979 (SArTagnan) R 30977 30979 30199 0 -1 4202496 209546 0 0 0 20310 37 0 0 25 0 4 0 748483301 347484160 38871 33554432000 4194304 4625164 140733818006224 18446744073709551615 4512125 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/30979/statm: 84835 38871 347 106 0 80338 0
[pid=30979/tid=30981] ppid=30977 vsize=339340 CPUtime=51.03 cores=1,3,5,7
/proc/30979/task/30981/stat : 30981 (SArTagnan) R 30977 30979 30199 0 -1 4202560 13741 0 0 0 5101 2 0 0 25 0 4 0 748483307 347484160 38871 33554432000 4194304 4625164 140733818006224 18446744073709551615 4352310 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=30979/tid=30982] ppid=30977 vsize=339340 CPUtime=50.29 cores=1,3,5,7
/proc/30979/task/30982/stat : 30982 (SArTagnan) R 30977 30979 30199 0 -1 4202560 9805 0 0 0 5027 2 0 0 25 0 4 0 748483307 347484160 38871 33554432000 4194304 4625164 140733818006224 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=30979/tid=30983] ppid=30977 vsize=339340 CPUtime=51.03 cores=1,3,5,7
/proc/30979/task/30983/stat : 30983 (SArTagnan) R 30977 30979 30199 0 -1 4202560 165433 0 0 0 5074 29 0 0 25 0 4 0 748483307 347484160 38871 33554432000 4194304 4625164 140733818006224 18446744073709551615 4351781 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 203.47
Current children cumulated vsize (KiB) 339340

[startup+102.301 s]
/proc/loadavg: 8.02 8.10 8.02 9/454 30986
/proc/meminfo: memFree=18264120/32950940 swapFree=67111356/67111528
[pid=30979] ppid=30977 vsize=405948 CPUtime=407.58 cores=1,3,5,7
/proc/30979/stat : 30979 (SArTagnan) R 30977 30979 30199 0 -1 4202496 461300 0 0 0 40676 82 0 0 25 0 4 0 748483301 415690752 62661 33554432000 4194304 4625164 140733818006224 18446744073709551615 4511904 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/30979/statm: 101487 62661 347 106 0 96990 0
[pid=30979/tid=30981] ppid=30977 vsize=405948 CPUtime=102.25 cores=1,3,5,7
/proc/30979/task/30981/stat : 30981 (SArTagnan) R 30977 30979 30199 0 -1 4202560 22915 0 0 0 10220 5 0 0 25 0 4 0 748483307 415690752 62661 33554432000 4194304 4625164 140733818006224 18446744073709551615 4339612 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=30979/tid=30982] ppid=30977 vsize=405948 CPUtime=100.75 cores=1,3,5,7
/proc/30979/task/30982/stat : 30982 (SArTagnan) R 30977 30979 30199 0 -1 4202560 15261 0 0 0 10071 4 0 0 25 0 4 0 748483307 415690752 62661 33554432000 4194304 4625164 140733818006224 18446744073709551615 4352280 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=30979/tid=30983] ppid=30977 vsize=405948 CPUtime=102.25 cores=1,3,5,7
/proc/30979/task/30983/stat : 30983 (SArTagnan) R 30977 30979 30199 0 -1 4202560 400120 0 0 0 10157 68 0 0 25 0 4 0 748483307 415690752 62661 33554432000 4194304 4625164 140733818006224 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 407.58
Current children cumulated vsize (KiB) 405948

[startup+162.3 s]
/proc/loadavg: 8.09 8.09 8.02 10/454 31017
/proc/meminfo: memFree=18315188/32950940 swapFree=67111356/67111528
[pid=30979] ppid=30977 vsize=505760 CPUtime=646.65 cores=1,3,5,7
/proc/30979/stat : 30979 (SArTagnan) R 30977 30979 30199 0 -1 4202496 704617 0 0 0 64541 124 0 0 25 0 4 0 748483301 517898240 89861 33554432000 4194304 4625164 140733818006224 18446744073709551615 4512009 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/30979/statm: 126440 89861 347 106 0 121943 0
[pid=30979/tid=30981] ppid=30977 vsize=505760 CPUtime=162.23 cores=1,3,5,7
/proc/30979/task/30981/stat : 30981 (SArTagnan) R 30977 30979 30199 0 -1 4202560 37416 0 0 0 16215 8 0 0 25 0 4 0 748483307 517898240 89861 33554432000 4194304 4625164 140733818006224 18446744073709551615 4464310 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=30979/tid=30982] ppid=30977 vsize=505760 CPUtime=159.86 cores=1,3,5,7
/proc/30979/task/30982/stat : 30982 (SArTagnan) R 30977 30979 30199 0 -1 4202560 16295 0 0 0 15982 4 0 0 25 0 4 0 748483307 517898240 89861 33554432000 4194304 4625164 140733818006224 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=30979/tid=30983] ppid=30977 vsize=505760 CPUtime=162.24 cores=1,3,5,7
/proc/30979/task/30983/stat : 30983 (SArTagnan) R 30977 30979 30199 0 -1 4202560 627073 0 0 0 16117 107 0 0 25 0 4 0 748483307 517898240 89861 33554432000 4194304 4625164 140733818006224 18446744073709551615 4552369 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 646.65
Current children cumulated vsize (KiB) 505760

[startup+222.318 s]
/proc/loadavg: 8.18 8.11 8.03 10/454 31019
/proc/meminfo: memFree=17994372/32950940 swapFree=67111356/67111528
[pid=30979] ppid=30977 vsize=649116 CPUtime=885.83 cores=1,3,5,7
/proc/30979/stat : 30979 (SArTagnan) R 30977 30979 30199 0 -1 4202496 910943 0 0 0 88424 159 0 0 25 0 4 0 748483301 664694784 118591 33554432000 4194304 4625164 140733818006224 18446744073709551615 4512156 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/30979/statm: 162279 118591 350 106 0 157782 0
[pid=30979/tid=30981] ppid=30977 vsize=649116 CPUtime=222.25 cores=1,3,5,7
/proc/30979/task/30981/stat : 30981 (SArTagnan) R 30977 30979 30199 0 -1 4202560 43211 0 0 0 22213 12 0 0 25 0 4 0 748483307 664694784 118591 33554432000 4194304 4625164 140733818006224 18446744073709551615 4484479 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=30979/tid=30982] ppid=30977 vsize=649116 CPUtime=218.99 cores=1,3,5,7
/proc/30979/task/30982/stat : 30982 (SArTagnan) R 30977 30979 30199 0 -1 4202560 16812 0 0 0 21895 4 0 0 25 0 4 0 748483307 664694784 118591 33554432000 4194304 4625164 140733818006224 18446744073709551615 4488046 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=30979/tid=30983] ppid=30977 vsize=649116 CPUtime=222.26 cores=1,3,5,7
/proc/30979/task/30983/stat : 30983 (SArTagnan) R 30977 30979 30199 0 -1 4202560 823853 0 0 0 22088 138 0 0 25 0 4 0 748483307 664694784 118591 33554432000 4194304 4625164 140733818006224 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 885.83
Current children cumulated vsize (KiB) 649116

[startup+282.3 s]

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

[pid=30979] ppid=30977 vsize=1505900 CPUtime=2559.69 cores=1,3,5,7
/proc/30979/stat : 30979 (SArTagnan) R 30977 30979 30199 0 -1 4202496 2082591 0 0 0 255565 404 0 0 25 0 4 0 748483301 1542041600 314350 33554432000 4194304 4625164 140733818006224 18446744073709551615 4512156 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/30979/statm: 376475 314350 513 106 0 371978 0
[pid=30979/tid=30981] ppid=30977 vsize=1505900 CPUtime=639.1 cores=1,3,5,7
/proc/30979/task/30981/stat : 30981 (SArTagnan) R 30977 30979 30199 0 -1 4202560 111635 0 0 0 63836 74 0 0 25 0 4 0 748483307 1542041600 314350 33554432000 4194304 4625164 140733818006224 18446744073709551615 4351781 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=30979/tid=30982] ppid=30977 vsize=1505900 CPUtime=636.01 cores=1,3,5,7
/proc/30979/task/30982/stat : 30982 (SArTagnan) R 30977 30979 30199 0 -1 4202560 23568 0 0 0 63595 6 0 0 25 0 4 0 748483307 1542041600 314350 33554432000 4194304 4625164 140733818006224 18446744073709551615 4352672 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=30979/tid=30983] ppid=30977 vsize=1505900 CPUtime=642.24 cores=1,3,5,7
/proc/30979/task/30983/stat : 30983 (SArTagnan) R 30977 30979 30199 0 -1 4202560 1907735 0 0 0 63909 315 0 0 25 0 4 0 748483307 1542041600 314350 33554432000 4194304 4625164 140733818006224 18446744073709551615 4334728 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2559.69
Current children cumulated vsize (KiB) 1505900

[startup+702.301 s]
/proc/loadavg: 4.29 6.15 7.26 5/445 31049
/proc/meminfo: memFree=17346712/32950940 swapFree=67111356/67111528
[pid=30979] ppid=30977 vsize=1636972 CPUtime=2798.82 cores=1,3,5,7
/proc/30979/stat : 30979 (SArTagnan) R 30977 30979 30199 0 -1 4202496 2236441 0 0 0 279452 430 0 0 25 0 4 0 748483301 1676259328 339722 33554432000 4194304 4625164 140733818006224 18446744073709551615 4511904 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/30979/statm: 409243 339722 544 106 0 404746 0
[pid=30979/tid=30981] ppid=30977 vsize=1636972 CPUtime=698.23 cores=1,3,5,7
/proc/30979/task/30981/stat : 30981 (SArTagnan) R 30977 30979 30199 0 -1 4202560 114353 0 0 0 69747 76 0 0 25 0 4 0 748483307 1676259328 339722 33554432000 4194304 4625164 140733818006224 18446744073709551615 4352739 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=30979/tid=30982] ppid=30977 vsize=1636972 CPUtime=696.02 cores=1,3,5,7
/proc/30979/task/30982/stat : 30982 (SArTagnan) R 30977 30979 30199 0 -1 4202560 23610 0 0 0 69596 6 0 0 25 0 4 0 748483307 1676259328 339722 33554432000 4194304 4625164 140733818006224 18446744073709551615 4351764 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=30979/tid=30983] ppid=30977 vsize=1636972 CPUtime=702.25 cores=1,3,5,7
/proc/30979/task/30983/stat : 30983 (SArTagnan) R 30977 30979 30199 0 -1 4202560 2058451 0 0 0 69886 339 0 0 25 0 4 0 748483307 1676259328 339722 33554432000 4194304 4625164 140733818006224 18446744073709551615 4340066 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2798.82
Current children cumulated vsize (KiB) 1636972

[startup+762.3 s]
/proc/loadavg: 4.15 5.77 7.06 5/445 31059
/proc/meminfo: memFree=17232572/32950940 swapFree=67111356/67111528
[pid=30979] ppid=30977 vsize=1741532 CPUtime=3038 cores=1,3,5,7
/proc/30979/stat : 30979 (SArTagnan) R 30977 30979 30199 0 -1 4202496 2387851 0 0 0 303337 463 0 0 25 0 4 0 748483301 1783328768 368574 33554432000 4194304 4625164 140733818006224 18446744073709551615 4511930 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/30979/statm: 435383 368574 907 106 0 430886 0
[pid=30979/tid=30981] ppid=30977 vsize=1741532 CPUtime=757.36 cores=1,3,5,7
/proc/30979/task/30981/stat : 30981 (SArTagnan) R 30977 30979 30199 0 -1 4202560 116972 0 0 0 75652 84 0 0 25 0 4 0 748483307 1783328768 368574 33554432000 4194304 4625164 140733818006224 18446744073709551615 4288731 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=30979/tid=30982] ppid=30977 vsize=1741532 CPUtime=756.03 cores=1,3,5,7
/proc/30979/task/30982/stat : 30982 (SArTagnan) R 30977 30979 30199 0 -1 4202560 30663 0 0 0 75597 6 0 0 25 0 4 0 748483307 1783328768 368574 33554432000 4194304 4625164 140733818006224 18446744073709551615 4351764 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=30979/tid=30983] ppid=30977 vsize=1741532 CPUtime=762.27 cores=1,3,5,7
/proc/30979/task/30983/stat : 30983 (SArTagnan) R 30977 30979 30199 0 -1 4202560 2199698 0 0 0 75863 364 0 0 25 0 4 0 748483307 1783328768 368574 33554432000 4194304 4625164 140733818006224 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3038
Current children cumulated vsize (KiB) 1741532

[startup+822.301 s]
/proc/loadavg: 4.10 5.46 6.87 5/445 31061
/proc/meminfo: memFree=17120796/32950940 swapFree=67111356/67111528
[pid=30979] ppid=30977 vsize=1859944 CPUtime=3277.08 cores=1,3,5,7
/proc/30979/stat : 30979 (SArTagnan) R 30977 30979 30199 0 -1 4202496 2560055 0 0 0 327204 504 0 0 25 0 4 0 748483301 1904582656 397084 33554432000 4194304 4625164 140733818006224 18446744073709551615 4512046 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/30979/statm: 464986 397084 911 106 0 460489 0
[pid=30979/tid=30981] ppid=30977 vsize=1859944 CPUtime=816.48 cores=1,3,5,7
/proc/30979/task/30981/stat : 30981 (SArTagnan) R 30977 30979 30199 0 -1 4202560 147500 0 0 0 81546 102 0 0 25 0 4 0 748483307 1904582656 397084 33554432000 4194304 4625164 140733818006224 18446744073709551615 4352002 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=30979/tid=30982] ppid=30977 vsize=1859944 CPUtime=816.01 cores=1,3,5,7
/proc/30979/task/30982/stat : 30982 (SArTagnan) R 30977 30979 30199 0 -1 4202560 31207 0 0 0 81595 6 0 0 25 0 4 0 748483307 1904582656 397084 33554432000 4194304 4625164 140733818006224 18446744073709551615 4351777 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=30979/tid=30983] ppid=30977 vsize=1859944 CPUtime=822.24 cores=1,3,5,7
/proc/30979/task/30983/stat : 30983 (SArTagnan) R 30977 30979 30199 0 -1 4202560 2340367 0 0 0 81838 386 0 0 25 0 4 0 748483307 1904582656 397084 33554432000 4194304 4625164 140733818006224 18446744073709551615 4548757 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3277.08
Current children cumulated vsize (KiB) 1859944

[startup+882.317 s]
/proc/loadavg: 4.08 5.20 6.70 5/445 31062
/proc/meminfo: memFree=17019936/32950940 swapFree=67111356/67111528
[pid=30979] ppid=30977 vsize=1995976 CPUtime=3516.27 cores=1,3,5,7
/proc/30979/stat : 30979 (SArTagnan) R 30977 30979 30199 0 -1 4202496 2702364 0 0 0 351092 535 0 0 25 0 4 0 748483301 2043879424 421680 33554432000 4194304 4625164 140733818006224 18446744073709551615 4511930 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/30979/statm: 498994 421680 918 106 0 494497 0
[pid=30979/tid=30981] ppid=30977 vsize=1995976 CPUtime=875.62 cores=1,3,5,7
/proc/30979/task/30981/stat : 30981 (SArTagnan) R 30977 30979 30199 0 -1 4202560 150880 0 0 0 87449 113 0 0 25 0 4 0 748483307 2043879424 421680 33554432000 4194304 4625164 140733818006224 18446744073709551615 4288731 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=30979/tid=30982] ppid=30977 vsize=1995976 CPUtime=876.03 cores=1,3,5,7
/proc/30979/task/30982/stat : 30982 (SArTagnan) R 30977 30979 30199 0 -1 4202560 31338 0 0 0 87597 6 0 0 25 0 4 0 748483307 2043879424 421680 33554432000 4194304 4625164 140733818006224 18446744073709551615 4352688 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=30979/tid=30983] ppid=30977 vsize=1995976 CPUtime=882.26 cores=1,3,5,7
/proc/30979/task/30983/stat : 30983 (SArTagnan) R 30977 30979 30199 0 -1 4202560 2478744 0 0 0 87820 406 0 0 25 0 4 0 748483307 2043879424 421680 33554432000 4194304 4625164 140733818006224 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3516.27
Current children cumulated vsize (KiB) 1995976

[startup+942.301 s]
/proc/loadavg: 4.06 5.00 6.53 5/445 31064
/proc/meminfo: memFree=16921316/32950940 swapFree=67111356/67111528
[pid=30979] ppid=30977 vsize=2129132 CPUtime=3755.35 cores=1,3,5,7
/proc/30979/stat : 30979 (SArTagnan) R 30977 30979 30199 0 -1 4202496 2843705 0 0 0 374963 572 0 0 25 0 4 0 748483301 2180231168 447096 33554432000 4194304 4625164 140733818006224 18446744073709551615 4512009 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/30979/statm: 532283 447096 923 106 0 527786 0
[pid=30979/tid=30981] ppid=30977 vsize=2129132 CPUtime=934.74 cores=1,3,5,7
/proc/30979/task/30981/stat : 30981 (SArTagnan) R 30977 30979 30199 0 -1 4202560 156098 0 0 0 93348 126 0 0 25 0 4 0 748483307 2180231168 447096 33554432000 4194304 4625164 140733818006224 18446744073709551615 4351975 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=30979/tid=30982] ppid=30977 vsize=2129132 CPUtime=936.01 cores=1,3,5,7
/proc/30979/task/30982/stat : 30982 (SArTagnan) R 30977 30979 30199 0 -1 4202560 31604 0 0 0 93595 6 0 0 25 0 4 0 748483307 2180231168 447096 33554432000 4194304 4625164 140733818006224 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=30979/tid=30983] ppid=30977 vsize=2129132 CPUtime=942.25 cores=1,3,5,7
/proc/30979/task/30983/stat : 30983 (SArTagnan) R 30977 30979 30199 0 -1 4202560 2614167 0 0 0 93795 430 0 0 25 0 4 0 748483307 2180231168 447096 33554432000 4194304 4625164 140733818006224 18446744073709551615 4552315 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3755.35
Current children cumulated vsize (KiB) 2129132

[startup+1002.3 s]
/proc/loadavg: 4.06 4.83 6.37 5/445 31066
/proc/meminfo: memFree=16828036/32950940 swapFree=67111356/67111528
[pid=30979] ppid=30977 vsize=2194668 CPUtime=3994.47 cores=1,3,5,7
/proc/30979/stat : 30979 (SArTagnan) R 30977 30979 30199 0 -1 4202496 2984561 0 0 0 398839 608 0 0 25 0 4 0 748483301 2247340032 470015 33554432000 4194304 4625164 140733818006224 18446744073709551615 4513188 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/30979/statm: 548667 470015 904 106 0 544170 0
[pid=30979/tid=30981] ppid=30977 vsize=2194668 CPUtime=993.86 cores=1,3,5,7
/proc/30979/task/30981/stat : 30981 (SArTagnan) R 30977 30979 30199 0 -1 4202560 160125 0 0 0 99246 140 0 0 25 0 4 0 748483307 2247340032 470015 33554432000 4194304 4625164 140733818006224 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=30979/tid=30982] ppid=30977 vsize=2194668 CPUtime=996.01 cores=1,3,5,7
/proc/30979/task/30982/stat : 30982 (SArTagnan) R 30977 30979 30199 0 -1 4202560 31861 0 0 0 99595 6 0 0 25 0 4 0 748483307 2247340032 470015 33554432000 4194304 4625164 140733818006224 18446744073709551615 4288925 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=30979/tid=30983] ppid=30977 vsize=2194668 CPUtime=1002.25 cores=1,3,5,7
/proc/30979/task/30983/stat : 30983 (SArTagnan) R 30977 30979 30199 0 -1 4202560 2750338 0 0 0 99773 452 0 0 25 0 4 0 748483307 2247340032 470015 33554432000 4194304 4625164 140733818006224 18446744073709551615 4552369 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3994.47
Current children cumulated vsize (KiB) 2194668

[startup+1062.3 s]
/proc/loadavg: 4.13 4.70 6.23 5/445 31067
/proc/meminfo: memFree=16697416/32950940 swapFree=67111356/67111528
[pid=30979] ppid=30977 vsize=2298560 CPUtime=4233.61 cores=1,3,5,7
/proc/30979/stat : 30979 (SArTagnan) R 30977 30979 30199 0 -1 4202496 3135051 0 0 0 422708 653 0 0 25 0 4 0 748483301 2353725440 502517 33554432000 4194304 4625164 140733818006224 18446744073709551615 4512017 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/30979/statm: 574640 502517 1166 106 0 570143 0
[pid=30979/tid=30981] ppid=30977 vsize=2298560 CPUtime=1053.01 cores=1,3,5,7
/proc/30979/task/30981/stat : 30981 (SArTagnan) R 30977 30979 30199 0 -1 4202560 166460 0 0 0 105143 158 0 0 25 0 4 0 748483307 2353725440 502517 33554432000 4194304 4625164 140733818006224 18446744073709551615 4351731 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=30979/tid=30982] ppid=30977 vsize=2298560 CPUtime=1056.02 cores=1,3,5,7
/proc/30979/task/30982/stat : 30982 (SArTagnan) R 30977 30979 30199 0 -1 4202560 32079 0 0 0 105595 7 0 0 25 0 4 0 748483307 2353725440 502517 33554432000 4194304 4625164 140733818006224 18446744073709551615 4351781 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=30979/tid=30983] ppid=30977 vsize=2298560 CPUtime=1062.24 cores=1,3,5,7
/proc/30979/task/30983/stat : 30983 (SArTagnan) R 30977 30979 30199 0 -1 4202560 2887107 0 0 0 105746 478 0 0 25 0 4 0 748483307 2353725440 502517 33554432000 4194304 4625164 140733818006224 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4233.61
Current children cumulated vsize (KiB) 2298560

[startup+1122.3 s]
/proc/loadavg: 4.12 4.59 6.09 5/445 31069
/proc/meminfo: memFree=16581436/32950940 swapFree=67111356/67111528
[pid=30979] ppid=30977 vsize=2436260 CPUtime=4472.73 cores=1,3,5,7
/proc/30979/stat : 30979 (SArTagnan) R 30977 30979 30199 0 -1 4202496 3314375 0 0 0 446573 700 0 0 25 0 4 0 748483301 2494730240 530711 33554432000 4194304 4625164 140733818006224 18446744073709551615 4511904 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/30979/statm: 609065 530711 1167 106 0 604568 0
[pid=30979/tid=30981] ppid=30977 vsize=2436260 CPUtime=1112.12 cores=1,3,5,7
/proc/30979/task/30981/stat : 30981 (SArTagnan) R 30977 30979 30199 0 -1 4202560 210885 0 0 0 111030 182 0 0 25 0 4 0 748483307 2494730240 530711 33554432000 4194304 4625164 140733818006224 18446744073709551615 4464328 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=30979/tid=30982] ppid=30977 vsize=2436260 CPUtime=1116.02 cores=1,3,5,7
/proc/30979/task/30982/stat : 30982 (SArTagnan) R 30977 30979 30199 0 -1 4202560 32173 0 0 0 111595 7 0 0 25 0 4 0 748483307 2494730240 530711 33554432000 4194304 4625164 140733818006224 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=30979/tid=30983] ppid=30977 vsize=2436260 CPUtime=1122.25 cores=1,3,5,7
/proc/30979/task/30983/stat : 30983 (SArTagnan) R 30977 30979 30199 0 -1 4202560 3021596 0 0 0 111724 501 0 0 25 0 4 0 748483307 2494730240 530711 33554432000 4194304 4625164 140733818006224 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4472.73
Current children cumulated vsize (KiB) 2436260

[startup+1182.3 s]
/proc/loadavg: 4.18 4.51 5.97 5/445 31070
/proc/meminfo: memFree=16520500/32950940 swapFree=67111356/67111528
[pid=30979] ppid=30977 vsize=2437060 CPUtime=4711.88 cores=1,3,5,7
/proc/30979/stat : 30979 (SArTagnan) R 30977 30979 30199 0 -1 4202496 3454040 0 0 0 470446 742 0 0 25 0 4 0 748483301 2495549440 545571 33554432000 4194304 4625164 140733818006224 18446744073709551615 4511904 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/30979/statm: 609265 545571 479 106 0 604768 0
[pid=30979/tid=30981] ppid=30977 vsize=2437060 CPUtime=1171.26 cores=1,3,5,7
/proc/30979/task/30981/stat : 30981 (SArTagnan) R 30977 30979 30199 0 -1 4202560 215165 0 0 0 116926 200 0 0 25 0 4 0 748483307 2495549440 545571 33554432000 4194304 4625164 140733818006224 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=30979/tid=30982] ppid=30977 vsize=2437060 CPUtime=1176.02 cores=1,3,5,7
/proc/30979/task/30982/stat : 30982 (SArTagnan) R 30977 30979 30199 0 -1 4202560 32560 0 0 0 117595 7 0 0 25 0 4 0 748483307 2495549440 545571 33554432000 4194304 4625164 140733818006224 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=30979/tid=30983] ppid=30977 vsize=2437060 CPUtime=1182.25 cores=1,3,5,7
/proc/30979/task/30983/stat : 30983 (SArTagnan) R 30977 30979 30199 0 -1 4202560 3155643 0 0 0 117702 523 0 0 25 0 4 0 748483307 2495549440 545572 33554432000 4194304 4625164 140733818006224 18446744073709551615 4339447 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4711.88
Current children cumulated vsize (KiB) 2437060



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1204.5 s]
/proc/loadavg: 4.13 4.48 5.93 6/445 31071
/proc/meminfo: memFree=16485400/32950940 swapFree=67111356/67111528
[pid=30979] ppid=30977 vsize=2568132 CPUtime=4800.46 cores=1,3,5,7
/proc/30979/stat : 30979 (SArTagnan) R 30977 30979 30199 0 -1 4202496 3507223 0 0 0 479289 757 0 0 25 0 4 0 748483301 2629767168 554537 33554432000 4194304 4625164 140733818006224 18446744073709551615 4512009 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/30979/statm: 642033 554537 483 106 0 637536 0
[pid=30979/tid=30981] ppid=30977 vsize=2568132 CPUtime=1193.14 cores=1,3,5,7
/proc/30979/task/30981/stat : 30981 (SArTagnan) R 30977 30979 30199 0 -1 4202560 216699 0 0 0 119108 206 0 0 25 0 4 0 748483307 2629767168 554537 33554432000 4194304 4625164 140733818006224 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=30979/tid=30982] ppid=30977 vsize=2568132 CPUtime=1198.25 cores=1,3,5,7
/proc/30979/task/30982/stat : 30982 (SArTagnan) R 30977 30979 30199 0 -1 4202560 32572 0 0 0 119818 7 0 0 25 0 4 0 748483307 2629767168 554537 33554432000 4194304 4625164 140733818006224 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=30979/tid=30983] ppid=30977 vsize=2568132 CPUtime=1204.48 cores=1,3,5,7
/proc/30979/task/30983/stat : 30983 (SArTagnan) R 30977 30979 30199 0 -1 4202560 3207153 0 0 0 119915 533 0 0 25 0 4 0 748483307 2629767168 554537 33554432000 4194304 4625164 140733818006224 18446744073709551615 4552369 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4800.46
Current children cumulated vsize (KiB) 2568132

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.63
CPU time (s): 4800.58
CPU user time (s): 4792.91
CPU system time (s): 7.66683
CPU usage (%): 398.511
Max. virtual memory (cumulated for all children) (KiB): 2579184

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4792.91
system time used= 7.66683
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3507223
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= 830
involuntary context switches= 20623

runsolver used 4.81327 second user time and 12.7771 second system time

The end

Launcher Data 

Begin job on node117 at 2011-05-16 23:48:45
IDJOB=3386212
IDBENCH=84215
IDSOLVER=1871
FILE ID=node117/3386212-1305582525
RUNJOBID= node117-1305581263-30678
PBS_JOBID= 13350218
Free space on /tmp= 73448 MiB

SOLVER NAME= SArTagnan 2011-05-15 (fixed)
BENCH NAME= SAT03/industrial/goldberg/hard_eq_check/k2mul.miter.shuffled-as.sat03-355.cnf
COMMAND LINE= SArTagnan BENCHNAME -threads=NBCORE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3386212-1305582525/watcher-3386212-1305582525 -o /tmp/evaluation-result-3386212-1305582525/solver-3386212-1305582525 -C 4800 -W 1300 -M 15500  SArTagnan HOME/instance-3386212-1305582525.cnf -threads=4

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

MD5SUM BENCH= 77e0700cbaeeb3d63a4820608fc84761
RANDOM SEED=283153091

node117.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.849
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.849
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	: 5332.75
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.849
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.74
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.849
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.75
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.849
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.75
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.849
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.74
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.849
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.75
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.849
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	: 5267.44
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32950940 kB
MemFree:      18596980 kB
Buffers:        340356 kB
Cached:        4757480 kB
SwapCached:          0 kB
Active:       10751396 kB
Inactive:      3240080 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950940 kB
LowFree:      18596980 kB
SwapTotal:    67111528 kB
SwapFree:     67111356 kB
Dirty:            1948 kB
Writeback:           0 kB
AnonPages:     8893088 kB
Mapped:          34980 kB
Slab:           246676 kB
PageTables:      49948 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586996 kB
Committed_AS: 115675160 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= 73448 MiB
End job on node117 at 2011-05-17 00:08:52