Trace number 3386055

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.27 1220.05

General information on the benchmark

Namecrafted/kullmann/GreenTao/
GreenTaok1k2/GreenTao_2-3-5_528.cnf
MD5SUM7c7070bd15b57ddd9a06dd3709baef54
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark157.607
Satisfiable
(Un)Satisfiability was proved
Number of variables527
Number of clauses12692
Sum of the clauses size38748
Maximum clause length5
Minimum clause length3
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 312356
Number of clauses of size 40
Number of clauses of size 5336
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-3386055-1305581735/watcher-3386055-1305581735 -o /tmp/evaluation-result-3386055-1305581735/solver-3386055-1305581735 -C 4800 -W 1300 -M 15500 SArTagnan HOME/instance-3386055-1305581735.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: 4.42 5.52 7.21 3/432 6075
/proc/meminfo: memFree=18761972/32951132 swapFree=64496000/67111528
[pid=6075] ppid=6073 vsize=52168 CPUtime=0.01 cores=1,3,5,7
/proc/6075/stat : 6075 (SArTagnan) R 6073 6075 5668 0 -1 4202496 1323 0 0 0 1 0 0 0 22 0 4 0 669773088 53420032 1073 33554432000 4194304 4625164 140734294561072 18446744073709551615 47351668271030 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/6075/statm: 13042 1073 301 106 0 8545 0
[pid=6075/tid=6076] ppid=6073 vsize=52168 CPUtime=0 cores=1,3,5,7
/proc/6075/task/6076/stat : 6076 (SArTagnan) R 6073 6075 5668 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 4 0 669773089 53420032 1073 33554432000 4194304 4625164 140734294561072 18446744073709551615 210647202801 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=6075/tid=6077] ppid=6073 vsize=52168 CPUtime=0 cores=1,3,5,7
/proc/6075/task/6077/stat : 6077 (SArTagnan) R 6073 6075 5668 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 4 0 669773089 53420032 1073 33554432000 4194304 4625164 140734294561072 18446744073709551615 47351668271026 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=6075/tid=6078] ppid=6073 vsize=52168 CPUtime=0 cores=1,3,5,7
/proc/6075/task/6078/stat : 6078 (SArTagnan) R 6073 6075 5668 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 4 0 669773089 53420032 1073 33554432000 4194304 4625164 140734294561072 18446744073709551615 47351668271026 0 0 4096 2 0 0 0 -1 5 0 0 0

[startup+0.0953801 s]
/proc/loadavg: 4.42 5.52 7.21 3/432 6075
/proc/meminfo: memFree=18761972/32951132 swapFree=64496000/67111528
[pid=6075] ppid=6073 vsize=186012 CPUtime=0.34 cores=1,3,5,7
/proc/6075/stat : 6075 (SArTagnan) R 6073 6075 5668 0 -1 4202496 2941 0 0 0 34 0 0 0 18 0 4 0 669773088 190476288 1790 33554432000 4194304 4625164 140734294561072 18446744073709551615 4512315 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/6075/statm: 46503 1790 336 106 0 42006 0
[pid=6075/tid=6076] ppid=6073 vsize=186012 CPUtime=0.07 cores=1,3,5,7
/proc/6075/task/6076/stat : 6076 (SArTagnan) R 6073 6075 5668 0 -1 4202560 328 0 0 0 7 0 0 0 25 0 4 0 669773089 190476288 1790 33554432000 4194304 4625164 140734294561072 18446744073709551615 4352285 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=6075/tid=6077] ppid=6073 vsize=186012 CPUtime=0.08 cores=1,3,5,7
/proc/6075/task/6077/stat : 6077 (SArTagnan) R 6073 6075 5668 0 -1 4202560 327 0 0 0 8 0 0 0 18 0 4 0 669773089 190476288 1791 33554432000 4194304 4625164 140734294561072 18446744073709551615 4339447 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=6075/tid=6078] ppid=6073 vsize=186012 CPUtime=0.08 cores=1,3,5,7
/proc/6075/task/6078/stat : 6078 (SArTagnan) R 6073 6075 5668 0 -1 4202560 705 0 0 0 8 0 0 0 25 0 4 0 669773089 190476288 1791 33554432000 4194304 4625164 140734294561072 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.34
Current children cumulated vsize (KiB) 186012

[startup+0.100378 s]
/proc/loadavg: 4.42 5.52 7.21 3/432 6075
/proc/meminfo: memFree=18761972/32951132 swapFree=64496000/67111528
[pid=6075] ppid=6073 vsize=186012 CPUtime=0.36 cores=1,3,5,7
/proc/6075/stat : 6075 (SArTagnan) R 6073 6075 5668 0 -1 4202496 2971 0 0 0 36 0 0 0 18 0 4 0 669773088 190476288 1814 33554432000 4194304 4625164 140734294561072 18446744073709551615 4512007 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/6075/statm: 46503 1814 336 106 0 42006 0
[pid=6075/tid=6076] ppid=6073 vsize=186012 CPUtime=0.08 cores=1,3,5,7
/proc/6075/task/6076/stat : 6076 (SArTagnan) R 6073 6075 5668 0 -1 4202560 336 0 0 0 8 0 0 0 25 0 4 0 669773089 190476288 1814 33554432000 4194304 4625164 140734294561072 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=6075/tid=6077] ppid=6073 vsize=186012 CPUtime=0.09 cores=1,3,5,7
/proc/6075/task/6077/stat : 6077 (SArTagnan) R 6073 6075 5668 0 -1 4202560 329 0 0 0 9 0 0 0 18 0 4 0 669773089 190476288 1814 33554432000 4194304 4625164 140734294561072 18446744073709551615 4334728 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=6075/tid=6078] ppid=6073 vsize=186012 CPUtime=0.08 cores=1,3,5,7
/proc/6075/task/6078/stat : 6078 (SArTagnan) R 6073 6075 5668 0 -1 4202560 723 0 0 0 8 0 0 0 25 0 4 0 669773089 190476288 1814 33554432000 4194304 4625164 140734294561072 18446744073709551615 4335156 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.36
Current children cumulated vsize (KiB) 186012

[startup+0.300346 s]
/proc/loadavg: 4.42 5.52 7.21 3/432 6075
/proc/meminfo: memFree=18761972/32951132 swapFree=64496000/67111528
[pid=6075] ppid=6073 vsize=187024 CPUtime=1.15 cores=1,3,5,7
/proc/6075/stat : 6075 (SArTagnan) R 6073 6075 5668 0 -1 4202496 4441 0 0 0 115 0 0 0 18 0 4 0 669773088 191512576 2521 33554432000 4194304 4625164 140734294561072 18446744073709551615 4511930 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/6075/statm: 46756 2521 340 106 0 42259 0
[pid=6075/tid=6076] ppid=6073 vsize=187024 CPUtime=0.28 cores=1,3,5,7
/proc/6075/task/6076/stat : 6076 (SArTagnan) R 6073 6075 5668 0 -1 4202560 610 0 0 0 28 0 0 0 25 0 4 0 669773089 191512576 2521 33554432000 4194304 4625164 140734294561072 18446744073709551615 4351792 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=6075/tid=6077] ppid=6073 vsize=187024 CPUtime=0.29 cores=1,3,5,7
/proc/6075/task/6077/stat : 6077 (SArTagnan) R 6073 6075 5668 0 -1 4202560 615 0 0 0 29 0 0 0 18 0 4 0 669773089 191512576 2521 33554432000 4194304 4625164 140734294561072 18446744073709551615 4465280 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=6075/tid=6078] ppid=6073 vsize=187024 CPUtime=0.28 cores=1,3,5,7
/proc/6075/task/6078/stat : 6078 (SArTagnan) R 6073 6075 5668 0 -1 4202560 1430 0 0 0 28 0 0 0 25 0 4 0 669773089 191512576 2521 33554432000 4194304 4625164 140734294561072 18446744073709551615 4352280 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1.15
Current children cumulated vsize (KiB) 187024

[startup+0.700282 s]
/proc/loadavg: 4.42 5.52 7.21 3/432 6075
/proc/meminfo: memFree=18761972/32951132 swapFree=64496000/67111528
[pid=6075] ppid=6073 vsize=189816 CPUtime=2.76 cores=1,3,5,7
/proc/6075/stat : 6075 (SArTagnan) R 6073 6075 5668 0 -1 4202496 7826 0 0 0 275 1 0 0 18 0 4 0 669773088 194371584 3593 33554432000 4194304 4625164 140734294561072 18446744073709551615 4512009 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/6075/statm: 47454 3593 340 106 0 42957 0
[pid=6075/tid=6076] ppid=6073 vsize=189816 CPUtime=0.68 cores=1,3,5,7
/proc/6075/task/6076/stat : 6076 (SArTagnan) R 6073 6075 5668 0 -1 4202560 1133 0 0 0 68 0 0 0 25 0 4 0 669773089 194371584 3593 33554432000 4194304 4625164 140734294561072 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=6075/tid=6077] ppid=6073 vsize=189816 CPUtime=0.69 cores=1,3,5,7
/proc/6075/task/6077/stat : 6077 (SArTagnan) R 6073 6075 5668 0 -1 4202560 1155 0 0 0 69 0 0 0 18 0 4 0 669773089 194371584 3593 33554432000 4194304 4625164 140734294561072 18446744073709551615 4351901 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=6075/tid=6078] ppid=6073 vsize=189816 CPUtime=0.68 cores=1,3,5,7
/proc/6075/task/6078/stat : 6078 (SArTagnan) R 6073 6075 5668 0 -1 4202560 3373 0 0 0 68 0 0 0 25 0 4 0 669773089 194371584 3594 33554432000 4194304 4625164 140734294561072 18446744073709551615 4351984 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2.76
Current children cumulated vsize (KiB) 189816

[startup+1.50115 s]
/proc/loadavg: 4.42 5.52 7.21 10/442 6088
/proc/meminfo: memFree=18701564/32951132 swapFree=64496000/67111528
[pid=6075] ppid=6073 vsize=193268 CPUtime=5.95 cores=1,3,5,7
/proc/6075/stat : 6075 (SArTagnan) R 6073 6075 5668 0 -1 4202496 14651 0 0 0 593 2 0 0 20 0 4 0 669773088 197906432 5383 33554432000 4194304 4625164 140734294561072 18446744073709551615 4519346 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/6075/statm: 48317 5383 341 106 0 43820 0
[pid=6075/tid=6076] ppid=6073 vsize=193268 CPUtime=1.46 cores=1,3,5,7
/proc/6075/task/6076/stat : 6076 (SArTagnan) R 6073 6075 5668 0 -1 4202560 1778 0 0 0 146 0 0 0 25 0 4 0 669773089 197906432 5383 33554432000 4194304 4625164 140734294561072 18446744073709551615 4351839 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=6075/tid=6077] ppid=6073 vsize=193268 CPUtime=1.49 cores=1,3,5,7
/proc/6075/task/6077/stat : 6077 (SArTagnan) R 6073 6075 5668 0 -1 4202560 1810 0 0 0 149 0 0 0 20 0 4 0 669773089 197906432 5383 33554432000 4194304 4625164 140734294561072 18446744073709551615 4352331 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=6075/tid=6078] ppid=6073 vsize=193268 CPUtime=1.48 cores=1,3,5,7
/proc/6075/task/6078/stat : 6078 (SArTagnan) R 6073 6075 5668 0 -1 4202560 8567 0 0 0 147 1 0 0 25 0 4 0 669773089 197906432 5383 33554432000 4194304 4625164 140734294561072 18446744073709551615 4334728 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 5.95
Current children cumulated vsize (KiB) 193268

[startup+3.10088 s]
/proc/loadavg: 4.42 5.52 7.21 10/442 6088
/proc/meminfo: memFree=18681600/32951132 swapFree=64496000/67111528
[pid=6075] ppid=6073 vsize=202748 CPUtime=12.32 cores=1,3,5,7
/proc/6075/stat : 6075 (SArTagnan) R 6073 6075 5668 0 -1 4202496 26998 0 0 0 1229 3 0 0 25 0 4 0 669773088 207613952 7892 33554432000 4194304 4625164 140734294561072 18446744073709551615 4512066 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/6075/statm: 50687 7892 341 106 0 46190 0
[pid=6075/tid=6076] ppid=6073 vsize=202748 CPUtime=3.04 cores=1,3,5,7
/proc/6075/task/6076/stat : 6076 (SArTagnan) R 6073 6075 5668 0 -1 4202560 2921 0 0 0 304 0 0 0 25 0 4 0 669773089 207613952 7892 33554432000 4194304 4625164 140734294561072 18446744073709551615 4352285 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=6075/tid=6077] ppid=6073 vsize=202748 CPUtime=3.09 cores=1,3,5,7
/proc/6075/task/6077/stat : 6077 (SArTagnan) R 6073 6075 5668 0 -1 4202560 2827 0 0 0 309 0 0 0 25 0 4 0 669773089 207613952 7892 33554432000 4194304 4625164 140734294561072 18446744073709551615 4352285 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=6075/tid=6078] ppid=6073 vsize=202748 CPUtime=3.08 cores=1,3,5,7
/proc/6075/task/6078/stat : 6078 (SArTagnan) R 6073 6075 5668 0 -1 4202560 18170 0 0 0 305 3 0 0 25 0 4 0 669773089 207613952 7892 33554432000 4194304 4625164 140734294561072 18446744073709551615 4351824 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 12.32
Current children cumulated vsize (KiB) 202748

[startup+6.30034 s]
/proc/loadavg: 4.79 5.58 7.22 13/442 6088
/proc/meminfo: memFree=18646024/32951132 swapFree=64496000/67111528
[pid=6075] ppid=6073 vsize=210324 CPUtime=25.08 cores=1,3,5,7
/proc/6075/stat : 6075 (SArTagnan) R 6073 6075 5668 0 -1 4202496 52951 0 0 0 2500 8 0 0 25 0 4 0 669773088 215371776 10643 33554432000 4194304 4625164 140734294561072 18446744073709551615 4511863 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/6075/statm: 52581 10644 348 106 0 48084 0
[pid=6075/tid=6076] ppid=6073 vsize=210324 CPUtime=6.19 cores=1,3,5,7
/proc/6075/task/6076/stat : 6076 (SArTagnan) R 6073 6075 5668 0 -1 4202560 4278 0 0 0 619 0 0 0 25 0 4 0 669773089 215371776 10645 33554432000 4194304 4625164 140734294561072 18446744073709551615 4351764 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=6075/tid=6077] ppid=6073 vsize=210324 CPUtime=6.28 cores=1,3,5,7
/proc/6075/task/6077/stat : 6077 (SArTagnan) R 6073 6075 5668 0 -1 4202560 4172 0 0 0 628 0 0 0 25 0 4 0 669773089 215371776 10645 33554432000 4194304 4625164 140734294561072 18446744073709551615 4352098 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=6075/tid=6078] ppid=6073 vsize=210324 CPUtime=6.28 cores=1,3,5,7
/proc/6075/task/6078/stat : 6078 (SArTagnan) R 6073 6075 5668 0 -1 4202560 40491 0 0 0 622 6 0 0 25 0 4 0 669773089 215371776 10646 33554432000 4194304 4625164 140734294561072 18446744073709551615 4339447 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 25.08
Current children cumulated vsize (KiB) 210324

[startup+12.7003 s]
/proc/loadavg: 5.13 5.63 7.23 10/442 6088
/proc/meminfo: memFree=18591008/32951132 swapFree=64496000/67111528
[pid=6075] ppid=6073 vsize=219692 CPUtime=50.56 cores=1,3,5,7
/proc/6075/stat : 6075 (SArTagnan) R 6073 6075 5668 0 -1 4202496 93860 0 0 0 5040 16 0 0 25 0 4 0 669773088 224964608 15036 33554432000 4194304 4625164 140734294561072 18446744073709551615 4512156 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/6075/statm: 54923 15036 363 106 0 50426 0
[pid=6075/tid=6076] ppid=6073 vsize=219692 CPUtime=12.49 cores=1,3,5,7
/proc/6075/task/6076/stat : 6076 (SArTagnan) R 6073 6075 5668 0 -1 4202560 6118 0 0 0 1249 0 0 0 25 0 4 0 669773089 224964608 15036 33554432000 4194304 4625164 140734294561072 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=6075/tid=6077] ppid=6073 vsize=219692 CPUtime=12.68 cores=1,3,5,7
/proc/6075/task/6077/stat : 6077 (SArTagnan) R 6073 6075 5668 0 -1 4202560 6721 0 0 0 1268 0 0 0 25 0 4 0 669773089 224964608 15036 33554432000 4194304 4625164 140734294561072 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=6075/tid=6078] ppid=6073 vsize=219692 CPUtime=12.68 cores=1,3,5,7
/proc/6075/task/6078/stat : 6078 (SArTagnan) R 6073 6075 5668 0 -1 4202560 75390 0 0 0 1256 12 0 0 25 0 4 0 669773089 224964608 15036 33554432000 4194304 4625164 140734294561072 18446744073709551615 4552369 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 50.56
Current children cumulated vsize (KiB) 219692

[startup+25.5011 s]
/proc/loadavg: 5.98 5.80 7.26 10/442 6088
/proc/meminfo: memFree=18500004/32951132 swapFree=64496000/67111528
[pid=6075] ppid=6073 vsize=218660 CPUtime=101.54 cores=1,3,5,7
/proc/6075/stat : 6075 (SArTagnan) R 6073 6075 5668 0 -1 4202496 154945 0 0 0 10127 27 0 0 25 0 4 0 669773088 223907840 19762 33554432000 4194304 4625164 140734294561072 18446744073709551615 4511926 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/6075/statm: 54665 19762 343 106 0 50168 0
[pid=6075/tid=6076] ppid=6073 vsize=218660 CPUtime=25.09 cores=1,3,5,7
/proc/6075/task/6076/stat : 6076 (SArTagnan) R 6073 6075 5668 0 -1 4202560 6899 0 0 0 2508 1 0 0 25 0 4 0 669773089 223907840 19762 33554432000 4194304 4625164 140734294561072 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=6075/tid=6077] ppid=6073 vsize=218660 CPUtime=25.48 cores=1,3,5,7
/proc/6075/task/6077/stat : 6077 (SArTagnan) R 6073 6075 5668 0 -1 4202560 9809 0 0 0 2547 1 0 0 25 0 4 0 669773089 223907840 19762 33554432000 4194304 4625164 140734294561072 18446744073709551615 4351764 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=6075/tid=6078] ppid=6073 vsize=218660 CPUtime=25.48 cores=1,3,5,7
/proc/6075/task/6078/stat : 6078 (SArTagnan) R 6073 6075 5668 0 -1 4202560 130672 0 0 0 2526 22 0 0 25 0 4 0 669773089 223907840 19762 33554432000 4194304 4625164 140734294561072 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 101.54
Current children cumulated vsize (KiB) 218660

[startup+51.1008 s]
/proc/loadavg: 7.09 6.07 7.31 10/442 6089
/proc/meminfo: memFree=18347952/32951132 swapFree=64496000/67111528
[pid=6075] ppid=6073 vsize=257588 CPUtime=203.55 cores=1,3,5,7
/proc/6075/stat : 6075 (SArTagnan) R 6073 6075 5668 0 -1 4202496 213170 0 0 0 20314 41 0 0 25 0 4 0 669773088 263770112 30068 33554432000 4194304 4625164 140734294561072 18446744073709551615 4512009 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/6075/statm: 64397 30068 367 106 0 59900 0
[pid=6075/tid=6076] ppid=6073 vsize=257588 CPUtime=50.31 cores=1,3,5,7
/proc/6075/task/6076/stat : 6076 (SArTagnan) R 6073 6075 5668 0 -1 4202560 9772 0 0 0 5029 2 0 0 25 0 4 0 669773089 263770112 30068 33554432000 4194304 4625164 140734294561072 18446744073709551615 4352133 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=6075/tid=6077] ppid=6073 vsize=257588 CPUtime=51.08 cores=1,3,5,7
/proc/6075/task/6077/stat : 6077 (SArTagnan) R 6073 6075 5668 0 -1 4202560 14089 0 0 0 5107 1 0 0 25 0 4 0 669773089 263770112 30068 33554432000 4194304 4625164 140734294561072 18446744073709551615 4339612 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=6075/tid=6078] ppid=6073 vsize=257588 CPUtime=51.08 cores=1,3,5,7
/proc/6075/task/6078/stat : 6078 (SArTagnan) R 6073 6075 5668 0 -1 4202560 175140 0 0 0 5079 29 0 0 25 0 4 0 669773089 263770112 30068 33554432000 4194304 4625164 140734294561072 18446744073709551615 4351984 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 203.55
Current children cumulated vsize (KiB) 257588

[startup+102.317 s]
/proc/loadavg: 8.33 6.55 7.40 10/442 6090
/proc/meminfo: memFree=18179800/32951132 swapFree=64496000/67111528
[pid=6075] ppid=6073 vsize=281980 CPUtime=407.64 cores=1,3,5,7
/proc/6075/stat : 6075 (SArTagnan) R 6073 6075 5668 0 -1 4202496 287868 0 0 0 40711 53 0 0 25 0 4 0 669773088 288747520 45760 33554432000 4194304 4625164 140734294561072 18446744073709551615 4511930 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/6075/statm: 70495 45760 747 106 0 65998 0
[pid=6075/tid=6076] ppid=6073 vsize=281980 CPUtime=100.76 cores=1,3,5,7
/proc/6075/task/6076/stat : 6076 (SArTagnan) R 6073 6075 5668 0 -1 4202560 14040 0 0 0 10074 2 0 0 25 0 4 0 669773089 288747520 45760 33554432000 4194304 4625164 140734294561072 18446744073709551615 4351942 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=6075/tid=6077] ppid=6073 vsize=281980 CPUtime=102.29 cores=1,3,5,7
/proc/6075/task/6077/stat : 6077 (SArTagnan) R 6073 6075 5668 0 -1 4202560 20820 0 0 0 10227 2 0 0 25 0 4 0 669773089 288747520 45760 33554432000 4194304 4625164 140734294561072 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=6075/tid=6078] ppid=6073 vsize=281980 CPUtime=102.29 cores=1,3,5,7
/proc/6075/task/6078/stat : 6078 (SArTagnan) R 6073 6075 5668 0 -1 4202560 227440 0 0 0 10192 37 0 0 25 0 4 0 669773089 288747520 45760 33554432000 4194304 4625164 140734294561072 18446744073709551615 4339643 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 407.64
Current children cumulated vsize (KiB) 281980

[startup+162.301 s]

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

[pid=6075] ppid=6073 vsize=713292 CPUtime=2559.43 cores=1,3,5,7
/proc/6075/stat : 6075 (SArTagnan) R 6073 6075 5668 0 -1 4202496 1223210 0 0 0 255728 215 0 0 25 0 4 0 669773088 730411008 121390 33554432000 4194304 4625164 140734294561072 18446744073709551615 4519334 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/6075/statm: 178323 121390 1490 106 0 173826 0
[pid=6075/tid=6076] ppid=6073 vsize=713292 CPUtime=639.7 cores=1,3,5,7
/proc/6075/task/6076/stat : 6076 (SArTagnan) R 6073 6075 5668 0 -1 4202560 32001 0 0 0 63964 6 0 0 25 0 4 0 669773089 730411008 121390 33554432000 4194304 4625164 140734294561072 18446744073709551615 4351942 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=6075/tid=6077] ppid=6073 vsize=713292 CPUtime=635.32 cores=1,3,5,7
/proc/6075/task/6077/stat : 6077 (SArTagnan) R 6073 6075 5668 0 -1 4202560 47654 0 0 0 63524 8 0 0 25 0 4 0 669773089 730411008 121390 33554432000 4194304 4625164 140734294561072 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=6075/tid=6078] ppid=6073 vsize=713292 CPUtime=642.3 cores=1,3,5,7
/proc/6075/task/6078/stat : 6078 (SArTagnan) R 6073 6075 5668 0 -1 4202560 1032555 0 0 0 64057 173 0 0 25 0 4 0 669773089 730411008 121390 33554432000 4194304 4625164 140734294561072 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2559.43
Current children cumulated vsize (KiB) 713292

[startup+702.3 s]
/proc/loadavg: 9.17 8.83 8.24 10/442 6106
/proc/meminfo: memFree=17032908/32951132 swapFree=64496000/67111528
[pid=6075] ppid=6073 vsize=713292 CPUtime=2798.47 cores=1,3,5,7
/proc/6075/stat : 6075 (SArTagnan) R 6073 6075 5668 0 -1 4202496 1469105 0 0 0 279590 257 0 0 25 0 4 0 669773088 730411008 126360 33554432000 4194304 4625164 140734294561072 18446744073709551615 4512009 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/6075/statm: 178323 126360 1429 106 0 173826 0
[pid=6075/tid=6076] ppid=6073 vsize=713292 CPUtime=699.67 cores=1,3,5,7
/proc/6075/task/6076/stat : 6076 (SArTagnan) R 6073 6075 5668 0 -1 4202560 32231 0 0 0 69961 6 0 0 25 0 4 0 669773089 730411008 126360 33554432000 4194304 4625164 140734294561072 18446744073709551615 4351818 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=6075/tid=6077] ppid=6073 vsize=713292 CPUtime=694.42 cores=1,3,5,7
/proc/6075/task/6077/stat : 6077 (SArTagnan) R 6073 6075 5668 0 -1 4202560 47837 0 0 0 69434 8 0 0 25 0 4 0 669773089 730411008 126360 33554432000 4194304 4625164 140734294561072 18446744073709551615 4352728 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=6075/tid=6078] ppid=6073 vsize=713292 CPUtime=702.29 cores=1,3,5,7
/proc/6075/task/6078/stat : 6078 (SArTagnan) R 6073 6075 5668 0 -1 4202560 1274838 0 0 0 70014 215 0 0 25 0 4 0 669773089 730411008 126360 33554432000 4194304 4625164 140734294561072 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2798.47
Current children cumulated vsize (KiB) 713292

[startup+762.317 s]
/proc/loadavg: 9.18 8.90 8.30 10/442 6108
/proc/meminfo: memFree=16969040/32951132 swapFree=64496000/67111528
[pid=6075] ppid=6073 vsize=735628 CPUtime=3037.62 cores=1,3,5,7
/proc/6075/stat : 6075 (SArTagnan) R 6073 6075 5668 0 -1 4202496 1813847 0 0 0 303446 316 0 0 25 0 4 0 669773088 753283072 134865 33554432000 4194304 4625164 140734294561072 18446744073709551615 4512009 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/6075/statm: 183907 134865 1359 106 0 179410 0
[pid=6075/tid=6076] ppid=6073 vsize=735628 CPUtime=759.68 cores=1,3,5,7
/proc/6075/task/6076/stat : 6076 (SArTagnan) R 6073 6075 5668 0 -1 4202560 32873 0 0 0 75962 6 0 0 25 0 4 0 669773089 753283072 134865 33554432000 4194304 4625164 140734294561072 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=6075/tid=6077] ppid=6073 vsize=735628 CPUtime=753.54 cores=1,3,5,7
/proc/6075/task/6077/stat : 6077 (SArTagnan) R 6073 6075 5668 0 -1 4202560 50612 0 0 0 75346 8 0 0 25 0 4 0 669773089 753283072 134865 33554432000 4194304 4625164 140734294561072 18446744073709551615 4351781 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=6075/tid=6078] ppid=6073 vsize=735628 CPUtime=762.31 cores=1,3,5,7
/proc/6075/task/6078/stat : 6078 (SArTagnan) R 6073 6075 5668 0 -1 4202560 1610158 0 0 0 75959 272 0 0 25 0 4 0 669773089 753283072 134865 33554432000 4194304 4625164 140734294561072 18446744073709551615 4335407 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3037.62
Current children cumulated vsize (KiB) 735628

[startup+822.301 s]
/proc/loadavg: 9.14 8.94 8.35 10/442 6110
/proc/meminfo: memFree=16917064/32951132 swapFree=64496000/67111528
[pid=6075] ppid=6073 vsize=801164 CPUtime=3276.65 cores=1,3,5,7
/proc/6075/stat : 6075 (SArTagnan) R 6073 6075 5668 0 -1 4202496 2100186 0 0 0 327304 361 0 0 25 0 4 0 669773088 820391936 141689 33554432000 4194304 4625164 140734294561072 18446744073709551615 4511904 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/6075/statm: 200291 141689 1256 106 0 195794 0
[pid=6075/tid=6076] ppid=6073 vsize=801164 CPUtime=819.67 cores=1,3,5,7
/proc/6075/task/6076/stat : 6076 (SArTagnan) R 6073 6075 5668 0 -1 4202560 33811 0 0 0 81960 7 0 0 25 0 4 0 669773089 820391936 141689 33554432000 4194304 4625164 140734294561072 18446744073709551615 4339612 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=6075/tid=6077] ppid=6073 vsize=801164 CPUtime=812.64 cores=1,3,5,7
/proc/6075/task/6077/stat : 6077 (SArTagnan) R 6073 6075 5668 0 -1 4202560 50861 0 0 0 81256 8 0 0 25 0 4 0 669773089 820391936 141689 33554432000 4194304 4625164 140734294561072 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=6075/tid=6078] ppid=6073 vsize=801164 CPUtime=822.29 cores=1,3,5,7
/proc/6075/task/6078/stat : 6078 (SArTagnan) R 6073 6075 5668 0 -1 4202560 1889447 0 0 0 81915 314 0 0 25 0 4 0 669773089 820391936 141689 33554432000 4194304 4625164 140734294561072 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3276.65
Current children cumulated vsize (KiB) 801164

[startup+882.301 s]
/proc/loadavg: 9.05 8.95 8.39 10/442 6111
/proc/meminfo: memFree=16846248/32951132 swapFree=64496000/67111528
[pid=6075] ppid=6073 vsize=834892 CPUtime=3515.77 cores=1,3,5,7
/proc/6075/stat : 6075 (SArTagnan) R 6073 6075 5668 0 -1 4202496 2347548 0 0 0 351176 401 0 0 25 0 4 0 669773088 854929408 149435 33554432000 4194304 4625164 140734294561072 18446744073709551615 4511941 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/6075/statm: 208723 149436 1135 106 0 204226 0
[pid=6075/tid=6076] ppid=6073 vsize=834892 CPUtime=879.67 cores=1,3,5,7
/proc/6075/task/6076/stat : 6076 (SArTagnan) R 6073 6075 5668 0 -1 4202560 34358 0 0 0 87960 7 0 0 25 0 4 0 669773089 854929408 149437 33554432000 4194304 4625164 140734294561072 18446744073709551615 4352280 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=6075/tid=6077] ppid=6073 vsize=834892 CPUtime=871.75 cores=1,3,5,7
/proc/6075/task/6077/stat : 6077 (SArTagnan) R 6073 6075 5668 0 -1 4202560 51293 0 0 0 87167 8 0 0 25 0 4 0 669773089 854929408 149437 33554432000 4194304 4625164 140734294561072 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=6075/tid=6078] ppid=6073 vsize=834892 CPUtime=882.29 cores=1,3,5,7
/proc/6075/task/6078/stat : 6078 (SArTagnan) R 6073 6075 5668 0 -1 4202560 2112406 0 0 0 87879 350 0 0 25 0 4 0 669773089 854929408 149437 33554432000 4194304 4625164 140734294561072 18446744073709551615 4339447 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3515.77
Current children cumulated vsize (KiB) 834892

[startup+942.301 s]
/proc/loadavg: 9.02 8.96 8.42 10/442 6113
/proc/meminfo: memFree=16786972/32951132 swapFree=64496000/67111528
[pid=6075] ppid=6073 vsize=970796 CPUtime=3754.84 cores=1,3,5,7
/proc/6075/stat : 6075 (SArTagnan) R 6073 6075 5668 0 -1 4202496 2592824 0 0 0 375041 443 0 0 25 0 4 0 669773088 994095104 161524 33554432000 4194304 4625164 140734294561072 18446744073709551615 4512009 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/6075/statm: 242699 161526 1052 106 0 238202 0
[pid=6075/tid=6076] ppid=6073 vsize=970796 CPUtime=939.66 cores=1,3,5,7
/proc/6075/task/6076/stat : 6076 (SArTagnan) R 6073 6075 5668 0 -1 4202560 46975 0 0 0 93958 8 0 0 25 0 4 0 669773089 994095104 161526 33554432000 4194304 4625164 140734294561072 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=6075/tid=6077] ppid=6073 vsize=970796 CPUtime=930.82 cores=1,3,5,7
/proc/6075/task/6077/stat : 6077 (SArTagnan) R 6073 6075 5668 0 -1 4202560 52575 0 0 0 93073 9 0 0 25 0 4 0 669773089 994095104 161526 33554432000 4194304 4625164 140734294561072 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=6075/tid=6078] ppid=6073 vsize=970796 CPUtime=942.29 cores=1,3,5,7
/proc/6075/task/6078/stat : 6078 (SArTagnan) R 6073 6075 5668 0 -1 4202560 2311844 0 0 0 93844 385 0 0 25 0 4 0 669773089 994095104 161526 33554432000 4194304 4625164 140734294561072 18446744073709551615 4579598 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3754.84
Current children cumulated vsize (KiB) 970796

[startup+1002.3 s]
/proc/loadavg: 9.23 9.02 8.48 10/442 6114
/proc/meminfo: memFree=16766260/32951132 swapFree=64496000/67111528
[pid=6075] ppid=6073 vsize=970796 CPUtime=3993.91 cores=1,3,5,7
/proc/6075/stat : 6075 (SArTagnan) R 6073 6075 5668 0 -1 4202496 2854379 0 0 0 398902 489 0 0 25 0 4 0 669773088 994095104 164652 33554432000 4194304 4625164 140734294561072 18446744073709551615 4511930 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/6075/statm: 242699 164652 1044 106 0 238202 0
[pid=6075/tid=6076] ppid=6073 vsize=970796 CPUtime=999.67 cores=1,3,5,7
/proc/6075/task/6076/stat : 6076 (SArTagnan) R 6073 6075 5668 0 -1 4202560 47385 0 0 0 99958 9 0 0 25 0 4 0 669773089 994095104 164652 33554432000 4194304 4625164 140734294561072 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=6075/tid=6077] ppid=6073 vsize=970796 CPUtime=989.89 cores=1,3,5,7
/proc/6075/task/6077/stat : 6077 (SArTagnan) R 6073 6075 5668 0 -1 4202560 52916 0 0 0 98980 9 0 0 25 0 4 0 669773089 994095104 164652 33554432000 4194304 4625164 140734294561072 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=6075/tid=6078] ppid=6073 vsize=970796 CPUtime=1002.3 cores=1,3,5,7
/proc/6075/task/6078/stat : 6078 (SArTagnan) R 6073 6075 5668 0 -1 4202560 2570544 0 0 0 99799 431 0 0 25 0 4 0 669773089 994095104 164652 33554432000 4194304 4625164 140734294561072 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3993.91
Current children cumulated vsize (KiB) 970796

[startup+1062.3 s]
/proc/loadavg: 9.23 9.05 8.52 10/442 6116
/proc/meminfo: memFree=16745668/32951132 swapFree=64496000/67111528
[pid=6075] ppid=6073 vsize=970796 CPUtime=4232.98 cores=1,3,5,7
/proc/6075/stat : 6075 (SArTagnan) R 6073 6075 5668 0 -1 4202496 3015115 0 0 0 422781 517 0 0 25 0 4 0 669773088 994095104 167203 33554432000 4194304 4625164 140734294561072 18446744073709551615 4511904 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/6075/statm: 242699 167203 792 106 0 238202 0
[pid=6075/tid=6076] ppid=6073 vsize=970796 CPUtime=1059.66 cores=1,3,5,7
/proc/6075/task/6076/stat : 6076 (SArTagnan) R 6073 6075 5668 0 -1 4202560 47869 0 0 0 105957 9 0 0 25 0 4 0 669773089 994095104 167203 33554432000 4194304 4625164 140734294561072 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=6075/tid=6077] ppid=6073 vsize=970796 CPUtime=1048.97 cores=1,3,5,7
/proc/6075/task/6077/stat : 6077 (SArTagnan) R 6073 6075 5668 0 -1 4202560 53059 0 0 0 104887 10 0 0 25 0 4 0 669773089 994095104 167203 33554432000 4194304 4625164 140734294561072 18446744073709551615 4288686 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=6075/tid=6078] ppid=6073 vsize=970796 CPUtime=1062.3 cores=1,3,5,7
/proc/6075/task/6078/stat : 6078 (SArTagnan) R 6073 6075 5668 0 -1 4202560 2728835 0 0 0 105772 458 0 0 25 0 4 0 669773089 994095104 167203 33554432000 4194304 4625164 140734294561072 18446744073709551615 4334728 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4232.98
Current children cumulated vsize (KiB) 970796

[startup+1122.3 s]
/proc/loadavg: 9.22 9.07 8.56 10/442 6118
/proc/meminfo: memFree=16698168/32951132 swapFree=64496000/67111528
[pid=6075] ppid=6073 vsize=970796 CPUtime=4460.09 cores=1,3,5,7
/proc/6075/stat : 6075 (SArTagnan) R 6073 6075 5668 0 -1 4202496 3277715 0 0 0 445449 560 0 0 25 0 4 0 669773088 994095104 175616 33554432000 4194304 4625164 140734294561072 18446744073709551615 4511930 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/6075/statm: 242699 175616 710 106 0 238202 0
[pid=6075/tid=6076] ppid=6073 vsize=970796 CPUtime=1115.47 cores=1,3,5,7
/proc/6075/task/6076/stat : 6076 (SArTagnan) R 6073 6075 5668 0 -1 4202560 48118 0 0 0 111538 9 0 0 25 0 4 0 669773089 994095104 175616 33554432000 4194304 4625164 140734294561072 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=6075/tid=6077] ppid=6073 vsize=970796 CPUtime=1108.06 cores=1,3,5,7
/proc/6075/task/6077/stat : 6077 (SArTagnan) R 6073 6075 5668 0 -1 4202560 53136 0 0 0 110796 10 0 0 25 0 4 0 669773089 994095104 175616 33554432000 4194304 4625164 140734294561072 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=6075/tid=6078] ppid=6073 vsize=970796 CPUtime=1114.5 cores=1,3,5,7
/proc/6075/task/6078/stat : 6078 (SArTagnan) R 6073 6075 5668 0 -1 4202560 2983004 0 0 0 110950 500 0 0 25 0 4 0 669773089 994095104 175616 33554432000 4194304 4625164 140734294561072 18446744073709551615 4352010 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4460.09
Current children cumulated vsize (KiB) 970796

[startup+1182.3 s]
/proc/loadavg: 9.14 9.07 8.58 10/442 6119
/proc/meminfo: memFree=16676464/32951132 swapFree=64496000/67111528
[pid=6075] ppid=6073 vsize=970796 CPUtime=4668.96 cores=1,3,5,7
/proc/6075/stat : 6075 (SArTagnan) R 6073 6075 5668 0 -1 4202496 3603350 0 0 0 466281 615 0 0 25 0 4 0 669773088 994095104 178353 33554432000 4194304 4625164 140734294561072 18446744073709551615 4512009 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/6075/statm: 242699 178353 708 106 0 238202 0
[pid=6075/tid=6076] ppid=6073 vsize=970796 CPUtime=1145.26 cores=1,3,5,7
/proc/6075/task/6076/stat : 6076 (SArTagnan) R 6073 6075 5668 0 -1 4202560 48450 0 0 0 114517 9 0 0 25 0 4 0 669773089 994095104 178353 33554432000 4194304 4625164 140734294561072 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=6075/tid=6077] ppid=6073 vsize=970796 CPUtime=1167.14 cores=1,3,5,7
/proc/6075/task/6077/stat : 6077 (SArTagnan) R 6073 6075 5668 0 -1 4202560 53363 0 0 0 116704 10 0 0 25 0 4 0 669773089 994095104 178353 33554432000 4194304 4625164 140734294561072 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=6075/tid=6078] ppid=6073 vsize=970796 CPUtime=1174.5 cores=1,3,5,7
/proc/6075/task/6078/stat : 6078 (SArTagnan) R 6073 6075 5668 0 -1 4202560 3307010 0 0 0 116895 555 0 0 25 0 4 0 669773089 994095104 178353 33554432000 4194304 4625164 140734294561072 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4668.96
Current children cumulated vsize (KiB) 970796



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1220 s]
/proc/loadavg: 9.23 9.09 8.61 10/442 6120
/proc/meminfo: memFree=16654756/32951132 swapFree=64496000/67111528
[pid=6075] ppid=6073 vsize=970796 CPUtime=4800.2 cores=1,3,5,7
/proc/6075/stat : 6075 (SArTagnan) R 6073 6075 5668 0 -1 4202496 3802770 0 0 0 479374 646 0 0 25 0 4 0 669773088 994095104 180314 33554432000 4194304 4625164 140734294561072 18446744073709551615 4511904 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/6075/statm: 242699 180314 708 106 0 238202 0
[pid=6075/tid=6076] ppid=6073 vsize=970796 CPUtime=1163.96 cores=1,3,5,7
/proc/6075/task/6076/stat : 6076 (SArTagnan) R 6073 6075 5668 0 -1 4202560 48450 0 0 0 116387 9 0 0 25 0 4 0 669773089 994095104 180314 33554432000 4194304 4625164 140734294561072 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=6075/tid=6077] ppid=6073 vsize=970796 CPUtime=1204.26 cores=1,3,5,7
/proc/6075/task/6077/stat : 6077 (SArTagnan) R 6073 6075 5668 0 -1 4202560 53557 0 0 0 120416 10 0 0 25 0 4 0 669773089 994095104 180314 33554432000 4194304 4625164 140734294561072 18446744073709551615 4352739 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=6075/tid=6078] ppid=6073 vsize=970796 CPUtime=1212.22 cores=1,3,5,7
/proc/6075/task/6078/stat : 6078 (SArTagnan) R 6073 6075 5668 0 -1 4202560 3505555 0 0 0 120636 586 0 0 25 0 4 0 669773089 994095104 180314 33554432000 4194304 4625164 140734294561072 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4800.2
Current children cumulated vsize (KiB) 970796

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): 1220.05
CPU time (s): 4800.27
CPU user time (s): 4793.77
CPU system time (s): 6.49601
CPU usage (%): 393.447
Max. virtual memory (cumulated for all children) (KiB): 1065984

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4793.77
system time used= 6.49601
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3802770
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= 2662
involuntary context switches= 25474

runsolver used 4.71728 second user time and 13.4819 second system time

The end

Launcher Data 

Begin job on node129 at 2011-05-16 23:35:35
IDJOB=3386055
IDBENCH=83256
IDSOLVER=1871
FILE ID=node129/3386055-1305581735
RUNJOBID= node129-1305581735-6062
PBS_JOBID= 13350224
Free space on /tmp= 73284 MiB

SOLVER NAME= SArTagnan 2011-05-15 (fixed)
BENCH NAME= SAT11/crafted/kullmann/GreenTao/GreenTaok1k2/GreenTao_2-3-5_528.cnf
COMMAND LINE= SArTagnan BENCHNAME -threads=NBCORE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3386055-1305581735/watcher-3386055-1305581735 -o /tmp/evaluation-result-3386055-1305581735/solver-3386055-1305581735 -C 4800 -W 1300 -M 15500  SArTagnan HOME/instance-3386055-1305581735.cnf -threads=4

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

MD5SUM BENCH= 7c7070bd15b57ddd9a06dd3709baef54
RANDOM SEED=1265375109

node129.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.831
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.66
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.831
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.83
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.831
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.75
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.831
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.82
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.831
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.74
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.831
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.83
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.831
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.831
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.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951132 kB
MemFree:      18762376 kB
Buffers:        292408 kB
Cached:        7011968 kB
SwapCached:      52664 kB
Active:        4955216 kB
Inactive:      8976156 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951132 kB
LowFree:      18762376 kB
SwapTotal:    67111528 kB
SwapFree:     64496000 kB
Dirty:             528 kB
Writeback:           0 kB
AnonPages:     6583300 kB
Mapped:          22732 kB
Slab:           140144 kB
PageTables:      49956 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587092 kB
Committed_AS: 116467452 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296000 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 73280 MiB
End job on node129 at 2011-05-16 23:55:57