Trace number 3385935

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) 3068.99 1300.06

General information on the benchmark

NameSAT02/handmade/pehoushek/plainoldcnf/
5cnf_3900_3900_220.shuffled.cnf
MD5SUMf0b7e0675915478b15cab3695fd0fd62
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.035994
Satisfiable
(Un)Satisfiability was proved
Number of variables220
Number of clauses3432
Sum of the clauses size17000
Maximum clause length5
Minimum clause length3
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 32
Number of clauses of size 4156
Number of clauses of size 53274
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-3385935-1305583433/watcher-3385935-1305583433 -o /tmp/evaluation-result-3385935-1305583433/solver-3385935-1305583433 -C 4800 -W 1300 -M 15500 SArTagnan HOME/instance-3385935-1305583433.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: 11.57 11.91 10.12 6/463 8366
/proc/meminfo: memFree=21955948/32951124 swapFree=64205392/67111528
[pid=8366] ppid=8364 vsize=50228 CPUtime=0 cores=1,3,5,7
/proc/8366/stat : 8366 (SArTagnan) R 8364 8366 8244 0 -1 4202496 666 0 0 0 0 0 0 0 25 0 4 0 669941274 51433472 592 33554432000 4194304 4625164 140735446010240 18446744073709551615 47802477070258 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/8366/statm: 12557 592 301 106 0 8060 0
[pid=8366/tid=8368] ppid=8364 vsize=50228 CPUtime=0 cores=1,3,5,7
/proc/8366/task/8368/stat : 8368 (SArTagnan) R 8364 8366 8244 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 669941275 51433472 593 33554432000 4194304 4625164 140735446010240 18446744073709551615 47802477070258 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=8366/tid=8369] ppid=8364 vsize=50228 CPUtime=0 cores=1,3,5,7
/proc/8366/task/8369/stat : 8369 (SArTagnan) R 8364 8366 8244 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 669941275 51433472 593 33554432000 4194304 4625164 140735446010240 18446744073709551615 228244405233 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=8366/tid=8370] ppid=8364 vsize=50228 CPUtime=0 cores=1,3,5,7
/proc/8366/task/8370/stat : 8370 (SArTagnan) R 8364 8366 8244 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 669941275 51433472 593 33554432000 4194304 4625164 140735446010240 18446744073709551615 228244405233 0 0 4096 2 0 0 0 -1 1 0 0 0

[startup+0.104165 s]
/proc/loadavg: 11.57 11.91 10.12 6/463 8366
/proc/meminfo: memFree=21955948/32951124 swapFree=64205392/67111528
[pid=8366] ppid=8364 vsize=50228 CPUtime=0.18 cores=1,3,5,7
/proc/8366/stat : 8366 (SArTagnan) S 8364 8366 8244 0 -1 4202496 667 0 0 0 18 0 0 0 25 0 4 0 669941274 51433472 593 33554432000 4194304 4625164 140735446010240 18446744073709551615 47802477070282 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/8366/statm: 12557 593 301 106 0 8060 0
[pid=8366/tid=8368] ppid=8364 vsize=50228 CPUtime=0.06 cores=1,3,5,7
/proc/8366/task/8368/stat : 8368 (SArTagnan) R 8364 8366 8244 0 -1 4202560 1 0 0 0 6 0 0 0 25 0 4 0 669941275 51433472 593 33554432000 4194304 4625164 140735446010240 18446744073709551615 47802477070258 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=8366/tid=8369] ppid=8364 vsize=50228 CPUtime=0.02 cores=1,3,5,7
/proc/8366/task/8369/stat : 8369 (SArTagnan) R 8364 8366 8244 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 4 0 669941275 51433472 593 33554432000 4194304 4625164 140735446010240 18446744073709551615 47802477070252 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=8366/tid=8370] ppid=8364 vsize=50228 CPUtime=0 cores=1,3,5,7
/proc/8366/task/8370/stat : 8370 (SArTagnan) R 8364 8366 8244 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 669941275 51433472 593 33554432000 4194304 4625164 140735446010240 18446744073709551615 228244405233 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 50228

[startup+0.200188 s]
/proc/loadavg: 11.57 11.91 10.12 6/463 8366
/proc/meminfo: memFree=21955948/32951124 swapFree=64205392/67111528
[pid=8366] ppid=8364 vsize=247688 CPUtime=0.37 cores=1,3,5,7
/proc/8366/stat : 8366 (SArTagnan) R 8364 8366 8244 0 -1 4202496 1417 0 0 0 37 0 0 0 25 0 4 0 669941274 253632512 1108 33554432000 4194304 4625164 140735446010240 18446744073709551615 4512009 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/8366/statm: 61922 1108 336 106 0 57425 0
[pid=8366/tid=8368] ppid=8364 vsize=247688 CPUtime=0.1 cores=1,3,5,7
/proc/8366/task/8368/stat : 8368 (SArTagnan) R 8364 8366 8244 0 -1 4202560 174 0 0 0 10 0 0 0 25 0 4 0 669941275 253632512 1108 33554432000 4194304 4625164 140735446010240 18446744073709551615 4352855 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=8366/tid=8369] ppid=8364 vsize=247688 CPUtime=0.08 cores=1,3,5,7
/proc/8366/task/8369/stat : 8369 (SArTagnan) R 8364 8366 8244 0 -1 4202560 263 0 0 0 8 0 0 0 25 0 4 0 669941275 253632512 1108 33554432000 4194304 4625164 140735446010240 18446744073709551615 228244010017 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=8366/tid=8370] ppid=8364 vsize=247688 CPUtime=0.08 cores=1,3,5,7
/proc/8366/task/8370/stat : 8370 (SArTagnan) D 8364 8366 8244 0 -1 4202560 299 0 0 0 8 0 0 0 18 0 4 0 669941275 253632512 1108 33554432000 4194304 4625164 140735446010240 18446744073709551615 228244374634 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.37
Current children cumulated vsize (KiB) 247688

[startup+0.301172 s]
/proc/loadavg: 11.57 11.91 10.12 6/463 8366
/proc/meminfo: memFree=21955948/32951124 swapFree=64205392/67111528
[pid=8366] ppid=8364 vsize=248888 CPUtime=0.57 cores=1,3,5,7
/proc/8366/stat : 8366 (SArTagnan) R 8364 8366 8244 0 -1 4202496 2061 0 0 0 57 0 0 0 25 0 4 0 669941274 254861312 1530 33554432000 4194304 4625164 140735446010240 18446744073709551615 4512046 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/8366/statm: 62222 1530 336 106 0 57725 0
[pid=8366/tid=8368] ppid=8364 vsize=248888 CPUtime=0.16 cores=1,3,5,7
/proc/8366/task/8368/stat : 8368 (SArTagnan) R 8364 8366 8244 0 -1 4202560 361 0 0 0 16 0 0 0 25 0 4 0 669941275 254861312 1530 33554432000 4194304 4625164 140735446010240 18446744073709551615 4352843 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=8366/tid=8369] ppid=8364 vsize=248888 CPUtime=0.12 cores=1,3,5,7
/proc/8366/task/8369/stat : 8369 (SArTagnan) R 8364 8366 8244 0 -1 4202560 451 0 0 0 12 0 0 0 25 0 4 0 669941275 254861312 1530 33554432000 4194304 4625164 140735446010240 18446744073709551615 4462637 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=8366/tid=8370] ppid=8364 vsize=248888 CPUtime=0.18 cores=1,3,5,7
/proc/8366/task/8370/stat : 8370 (SArTagnan) R 8364 8366 8244 0 -1 4202560 568 0 0 0 18 0 0 0 18 0 4 0 669941275 254861312 1530 33554432000 4194304 4625164 140735446010240 18446744073709551615 4552460 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.57
Current children cumulated vsize (KiB) 248888

[startup+0.701103 s]
/proc/loadavg: 11.57 11.91 10.12 6/463 8366
/proc/meminfo: memFree=21955948/32951124 swapFree=64205392/67111528
[pid=8366] ppid=8364 vsize=251960 CPUtime=1.37 cores=1,3,5,7
/proc/8366/stat : 8366 (SArTagnan) R 8364 8366 8244 0 -1 4202496 3983 0 0 0 137 0 0 0 25 0 4 0 669941274 258007040 2785 33554432000 4194304 4625164 140735446010240 18446744073709551615 4512156 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/8366/statm: 62990 2786 336 106 0 58493 0
[pid=8366/tid=8368] ppid=8364 vsize=251960 CPUtime=0.36 cores=1,3,5,7
/proc/8366/task/8368/stat : 8368 (SArTagnan) R 8364 8366 8244 0 -1 4202560 800 0 0 0 36 0 0 0 25 0 4 0 669941275 258007040 2786 33554432000 4194304 4625164 140735446010240 18446744073709551615 4466133 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=8366/tid=8369] ppid=8364 vsize=251960 CPUtime=0.32 cores=1,3,5,7
/proc/8366/task/8369/stat : 8369 (SArTagnan) R 8364 8366 8244 0 -1 4202560 1109 0 0 0 32 0 0 0 25 0 4 0 669941275 258007040 2786 33554432000 4194304 4625164 140735446010240 18446744073709551615 4352296 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=8366/tid=8370] ppid=8364 vsize=251960 CPUtime=0.58 cores=1,3,5,7
/proc/8366/task/8370/stat : 8370 (SArTagnan) R 8364 8366 8244 0 -1 4202560 1394 0 0 0 58 0 0 0 18 0 4 0 669941275 258007040 2786 33554432000 4194304 4625164 140735446010240 18446744073709551615 228260332571 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1.37
Current children cumulated vsize (KiB) 251960

[startup+1.50096 s]
/proc/loadavg: 11.57 11.91 10.12 15/473 8394
/proc/meminfo: memFree=21929712/32951124 swapFree=64205392/67111528
[pid=8366] ppid=8364 vsize=255528 CPUtime=2.94 cores=1,3,5,7
/proc/8366/stat : 8366 (SArTagnan) R 8364 8366 8244 0 -1 4202496 6752 0 0 0 294 0 0 0 25 0 4 0 669941274 261660672 4601 33554432000 4194304 4625164 140735446010240 18446744073709551615 4512042 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/8366/statm: 63882 4601 340 106 0 59385 0
[pid=8366/tid=8368] ppid=8364 vsize=255528 CPUtime=0.71 cores=1,3,5,7
/proc/8366/task/8368/stat : 8368 (SArTagnan) R 8364 8366 8244 0 -1 4202560 1653 0 0 0 71 0 0 0 25 0 4 0 669941275 261660672 4601 33554432000 4194304 4625164 140735446010240 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=8366/tid=8369] ppid=8364 vsize=255528 CPUtime=0.52 cores=1,3,5,7
/proc/8366/task/8369/stat : 8369 (SArTagnan) R 8364 8366 8244 0 -1 4202560 1683 0 0 0 52 0 0 0 25 0 4 0 669941275 261660672 4601 33554432000 4194304 4625164 140735446010240 18446744073709551615 4469201 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=8366/tid=8370] ppid=8364 vsize=255528 CPUtime=1.29 cores=1,3,5,7
/proc/8366/task/8370/stat : 8370 (SArTagnan) R 8364 8366 8244 0 -1 4202560 2247 0 0 0 129 0 0 0 19 0 4 0 669941275 261660672 4601 33554432000 4194304 4625164 140735446010240 18446744073709551615 4561177 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2.94
Current children cumulated vsize (KiB) 255528

[startup+3.10068 s]
/proc/loadavg: 11.57 11.91 10.12 13/473 8394
/proc/meminfo: memFree=21911408/32951124 swapFree=64205392/67111528
[pid=8366] ppid=8364 vsize=262156 CPUtime=6.41 cores=1,3,5,7
/proc/8366/stat : 8366 (SArTagnan) R 8364 8366 8244 0 -1 4202496 11309 0 0 0 640 1 0 0 25 0 4 0 669941274 268447744 7269 33554432000 4194304 4625164 140735446010240 18446744073709551615 4329151 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/8366/statm: 65539 7269 341 106 0 61042 0
[pid=8366/tid=8368] ppid=8364 vsize=262156 CPUtime=1.3 cores=1,3,5,7
/proc/8366/task/8368/stat : 8368 (SArTagnan) R 8364 8366 8244 0 -1 4202560 2733 0 0 0 130 0 0 0 25 0 4 0 669941275 268447744 7269 33554432000 4194304 4625164 140735446010240 18446744073709551615 4279928 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=8366/tid=8369] ppid=8364 vsize=262156 CPUtime=1.13 cores=1,3,5,7
/proc/8366/task/8369/stat : 8369 (SArTagnan) D 8364 8366 8244 0 -1 4202560 2886 0 0 0 113 0 0 0 25 0 4 0 669941275 268447744 7269 33554432000 4194304 4625164 140735446010240 18446744073709551615 228244392119 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=8366/tid=8370] ppid=8364 vsize=262156 CPUtime=2.31 cores=1,3,5,7
/proc/8366/task/8370/stat : 8370 (SArTagnan) R 8364 8366 8244 0 -1 4202560 3268 0 0 0 231 0 0 0 21 0 4 0 669941275 268447744 7269 33554432000 4194304 4625164 140735446010240 18446744073709551615 4552283 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 6.41
Current children cumulated vsize (KiB) 262156

[startup+6.30112 s]
/proc/loadavg: 11.60 11.91 10.13 12/473 8394
/proc/meminfo: memFree=21875780/32951124 swapFree=64205392/67111528
[pid=8366] ppid=8364 vsize=269528 CPUtime=13.69 cores=1,3,5,7
/proc/8366/stat : 8366 (SArTagnan) R 8364 8366 8244 0 -1 4202496 17801 0 0 0 1366 3 0 0 24 0 4 0 669941274 275996672 11470 33554432000 4194304 4625164 140735446010240 18446744073709551615 4519346 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/8366/statm: 67382 11470 341 106 0 62885 0
[pid=8366/tid=8368] ppid=8364 vsize=269528 CPUtime=2.55 cores=1,3,5,7
/proc/8366/task/8368/stat : 8368 (SArTagnan) R 8364 8366 8244 0 -1 4202560 4247 0 0 0 255 0 0 0 25 0 4 0 669941275 275996672 11470 33554432000 4194304 4625164 140735446010240 18446744073709551615 228244392119 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=8366/tid=8369] ppid=8364 vsize=269528 CPUtime=2.47 cores=1,3,5,7
/proc/8366/task/8369/stat : 8369 (SArTagnan) R 8364 8366 8244 0 -1 4202560 4911 0 0 0 247 0 0 0 25 0 4 0 669941275 275996672 11470 33554432000 4194304 4625164 140735446010240 18446744073709551615 228244010017 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=8366/tid=8370] ppid=8364 vsize=269528 CPUtime=3.96 cores=1,3,5,7
/proc/8366/task/8370/stat : 8370 (SArTagnan) R 8364 8366 8244 0 -1 4202560 4617 0 0 0 396 0 0 0 25 0 4 0 669941275 275996672 11470 33554432000 4194304 4625164 140735446010240 18446744073709551615 4579376 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 13.69
Current children cumulated vsize (KiB) 269528

[startup+12.701 s]
/proc/loadavg: 11.63 11.91 10.14 13/473 8395
/proc/meminfo: memFree=21829052/32951124 swapFree=64205392/67111528
[pid=8366] ppid=8364 vsize=281708 CPUtime=28.59 cores=1,3,5,7
/proc/8366/stat : 8366 (SArTagnan) R 8364 8366 8244 0 -1 4202496 27861 0 0 0 2854 5 0 0 25 0 4 0 669941274 288468992 18050 33554432000 4194304 4625164 140735446010240 18446744073709551615 4392976 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/8366/statm: 70427 18050 341 106 0 65930 0
[pid=8366/tid=8368] ppid=8364 vsize=281708 CPUtime=5.52 cores=1,3,5,7
/proc/8366/task/8368/stat : 8368 (SArTagnan) R 8364 8366 8244 0 -1 4202560 7038 0 0 0 551 1 0 0 25 0 4 0 669941275 288468992 18050 33554432000 4194304 4625164 140735446010240 18446744073709551615 4465141 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=8366/tid=8369] ppid=8364 vsize=281708 CPUtime=5.49 cores=1,3,5,7
/proc/8366/task/8369/stat : 8369 (SArTagnan) R 8364 8366 8244 0 -1 4202560 7904 0 0 0 548 1 0 0 25 0 4 0 669941275 288468992 18050 33554432000 4194304 4625164 140735446010240 18446744073709551615 228244010017 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=8366/tid=8370] ppid=8364 vsize=281708 CPUtime=9.64 cores=1,3,5,7
/proc/8366/task/8370/stat : 8370 (SArTagnan) R 8364 8366 8244 0 -1 4202560 7207 0 0 0 963 1 0 0 25 0 4 0 669941275 288468992 18050 33554432000 4194304 4625164 140735446010240 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 28.59
Current children cumulated vsize (KiB) 281708

[startup+25.5008 s]
/proc/loadavg: 11.79 11.93 10.18 13/473 8397
/proc/meminfo: memFree=21766176/32951124 swapFree=64205392/67111528
[pid=8366] ppid=8364 vsize=302336 CPUtime=57.71 cores=1,3,5,7
/proc/8366/stat : 8366 (SArTagnan) R 8364 8366 8244 0 -1 4202496 43991 0 0 0 5761 10 0 0 25 0 4 0 669941274 309592064 26971 33554432000 4194304 4625164 140735446010240 18446744073709551615 4512009 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/8366/statm: 75584 26971 344 106 0 71087 0
[pid=8366/tid=8368] ppid=8364 vsize=302336 CPUtime=11.65 cores=1,3,5,7
/proc/8366/task/8368/stat : 8368 (SArTagnan) R 8364 8366 8244 0 -1 4202560 10776 0 0 0 1163 2 0 0 25 0 4 0 669941275 309592064 26971 33554432000 4194304 4625164 140735446010240 18446744073709551615 4352021 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=8366/tid=8369] ppid=8364 vsize=302336 CPUtime=11.11 cores=1,3,5,7
/proc/8366/task/8369/stat : 8369 (SArTagnan) R 8364 8366 8244 0 -1 4202560 14277 0 0 0 1108 3 0 0 25 0 4 0 669941275 309592064 26971 33554432000 4194304 4625164 140735446010240 18446744073709551615 4351795 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=8366/tid=8370] ppid=8364 vsize=302336 CPUtime=18.21 cores=1,3,5,7
/proc/8366/task/8370/stat : 8370 (SArTagnan) R 8364 8366 8244 0 -1 4202560 10447 0 0 0 1819 2 0 0 25 0 4 0 669941275 309592064 26971 33554432000 4194304 4625164 140735446010240 18446744073709551615 4552336 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 57.71
Current children cumulated vsize (KiB) 302336

[startup+51.1013 s]
/proc/loadavg: 12.29 12.03 10.26 14/474 8399
/proc/meminfo: memFree=21644092/32951124 swapFree=64205392/67111528
[pid=8366] ppid=8364 vsize=325544 CPUtime=119.3 cores=1,3,5,7
/proc/8366/stat : 8366 (SArTagnan) R 8364 8366 8244 0 -1 4202496 66030 0 0 0 11911 19 0 0 25 0 4 0 669941274 333357056 40064 33554432000 4194304 4625164 140735446010240 18446744073709551615 4512009 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/8366/statm: 81386 40064 349 106 0 76889 0
[pid=8366/tid=8368] ppid=8364 vsize=325544 CPUtime=23.93 cores=1,3,5,7
/proc/8366/task/8368/stat : 8368 (SArTagnan) R 8364 8366 8244 0 -1 4202560 16572 0 0 0 2387 6 0 0 25 0 4 0 669941275 333357056 40064 33554432000 4194304 4625164 140735446010240 18446744073709551615 4339612 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=8366/tid=8369] ppid=8364 vsize=325544 CPUtime=23.31 cores=1,3,5,7
/proc/8366/task/8369/stat : 8369 (SArTagnan) R 8364 8366 8244 0 -1 4202560 22167 0 0 0 2324 7 0 0 25 0 4 0 669941275 333357056 40064 33554432000 4194304 4625164 140735446010240 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=8366/tid=8370] ppid=8364 vsize=325544 CPUtime=32.55 cores=1,3,5,7
/proc/8366/task/8370/stat : 8370 (SArTagnan) R 8364 8366 8244 0 -1 4202560 14355 0 0 0 3253 2 0 0 25 0 4 0 669941275 333357056 40064 33554432000 4194304 4625164 140735446010240 18446744073709551615 4552315 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 119.3
Current children cumulated vsize (KiB) 325544

[startup+102.301 s]
/proc/loadavg: 12.33 12.08 10.37 13/473 8400
/proc/meminfo: memFree=21552764/32951124 swapFree=64205392/67111528
[pid=8366] ppid=8364 vsize=377948 CPUtime=238.11 cores=1,3,5,7
/proc/8366/stat : 8366 (SArTagnan) R 8364 8366 8244 0 -1 4202496 268538 0 0 0 23760 51 0 0 25 0 4 0 669941274 387018752 55470 33554432000 4194304 4625164 140735446010240 18446744073709551615 4511930 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/8366/statm: 94487 55470 342 106 0 89990 0
[pid=8366/tid=8368] ppid=8364 vsize=377948 CPUtime=49.46 cores=1,3,5,7
/proc/8366/task/8368/stat : 8368 (SArTagnan) R 8364 8366 8244 0 -1 4202560 24848 0 0 0 4937 9 0 0 25 0 4 0 669941275 387018752 55471 33554432000 4194304 4625164 140735446010240 18446744073709551615 4351890 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=8366/tid=8369] ppid=8364 vsize=377948 CPUtime=48.15 cores=1,3,5,7
/proc/8366/task/8369/stat : 8369 (SArTagnan) R 8364 8366 8244 0 -1 4202560 31680 0 0 0 4804 11 0 0 25 0 4 0 669941275 387018752 55471 33554432000 4194304 4625164 140735446010240 18446744073709551615 4351818 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=8366/tid=8370] ppid=8364 vsize=377948 CPUtime=58.1 cores=1,3,5,7
/proc/8366/task/8370/stat : 8370 (SArTagnan) R 8364 8366 8244 0 -1 4202560 187441 0 0 0 5784 26 0 0 25 0 4 0 669941275 387018752 55471 33554432000 4194304 4625164 140735446010240 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 238.11
Current children cumulated vsize (KiB) 377948

[startup+162.301 s]

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

[pid=8366] ppid=8364 vsize=929900 CPUtime=1809.44 cores=1,3,5,7
/proc/8366/stat : 8366 (SArTagnan) R 8364 8366 8244 0 -1 4202496 1812169 0 0 0 180602 342 0 0 25 0 4 0 669941274 952217600 168581 33554432000 4194304 4625164 140735446010240 18446744073709551615 4512039 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/8366/statm: 232475 168581 617 106 0 227978 0
[pid=8366/tid=8368] ppid=8364 vsize=929900 CPUtime=396.47 cores=1,3,5,7
/proc/8366/task/8368/stat : 8368 (SArTagnan) R 8364 8366 8244 0 -1 4202560 81482 0 0 0 39612 35 0 0 25 0 4 0 669941275 952217600 168581 33554432000 4194304 4625164 140735446010240 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=8366/tid=8369] ppid=8364 vsize=929900 CPUtime=375.16 cores=1,3,5,7
/proc/8366/task/8369/stat : 8369 (SArTagnan) R 8364 8366 8244 0 -1 4202560 85951 0 0 0 37460 56 0 0 25 0 4 0 669941275 952217600 168581 33554432000 4194304 4625164 140735446010240 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=8366/tid=8370] ppid=8364 vsize=929900 CPUtime=387.71 cores=1,3,5,7
/proc/8366/task/8370/stat : 8370 (SArTagnan) R 8364 8366 8244 0 -1 4202560 1582771 0 0 0 38532 239 0 0 25 0 4 0 669941275 952217600 168581 33554432000 4194304 4625164 140735446010240 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1809.44
Current children cumulated vsize (KiB) 929900

[startup+822.301 s]
/proc/loadavg: 12.07 12.13 11.32 13/473 8419
/proc/meminfo: memFree=20553516/32951124 swapFree=64205392/67111528
[pid=8366] ppid=8364 vsize=929900 CPUtime=1958.23 cores=1,3,5,7
/proc/8366/stat : 8366 (SArTagnan) R 8364 8366 8244 0 -1 4202496 1934901 0 0 0 195459 364 0 0 25 0 4 0 669941274 952217600 173198 33554432000 4194304 4625164 140735446010240 18446744073709551615 4511930 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/8366/statm: 232475 173198 495 106 0 227978 0
[pid=8366/tid=8368] ppid=8364 vsize=929900 CPUtime=426.58 cores=1,3,5,7
/proc/8366/task/8368/stat : 8368 (SArTagnan) R 8364 8366 8244 0 -1 4202560 82127 0 0 0 42622 36 0 0 25 0 4 0 669941275 952217600 173198 33554432000 4194304 4625164 140735446010240 18446744073709551615 4352285 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=8366/tid=8369] ppid=8364 vsize=929900 CPUtime=405.05 cores=1,3,5,7
/proc/8366/task/8369/stat : 8369 (SArTagnan) R 8364 8366 8244 0 -1 4202560 88293 0 0 0 40444 61 0 0 25 0 4 0 669941275 952217600 173198 33554432000 4194304 4625164 140735446010240 18446744073709551615 4352021 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=8366/tid=8370] ppid=8364 vsize=929900 CPUtime=417.44 cores=1,3,5,7
/proc/8366/task/8370/stat : 8370 (SArTagnan) R 8364 8366 8244 0 -1 4202560 1701788 0 0 0 41488 256 0 0 25 0 4 0 669941275 952217600 173198 33554432000 4194304 4625164 140735446010240 18446744073709551615 4334728 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1958.23
Current children cumulated vsize (KiB) 929900

[startup+882.318 s]
/proc/loadavg: 12.12 12.14 11.37 13/473 8421
/proc/meminfo: memFree=20501032/32951124 swapFree=64205392/67111528
[pid=8366] ppid=8364 vsize=960112 CPUtime=2103.81 cores=1,3,5,7
/proc/8366/stat : 8366 (SArTagnan) R 8364 8366 8244 0 -1 4202496 2108667 0 0 0 209986 395 0 0 25 0 4 0 669941274 983154688 179506 33554432000 4194304 4625164 140735446010240 18446744073709551615 4392981 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/8366/statm: 240028 179506 429 106 0 235531 0
[pid=8366/tid=8368] ppid=8364 vsize=960112 CPUtime=456.37 cores=1,3,5,7
/proc/8366/task/8368/stat : 8368 (SArTagnan) R 8364 8366 8244 0 -1 4202560 84284 0 0 0 45598 39 0 0 25 0 4 0 669941275 983154688 179506 33554432000 4194304 4625164 140735446010240 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=8366/tid=8369] ppid=8364 vsize=960112 CPUtime=435.05 cores=1,3,5,7
/proc/8366/task/8369/stat : 8369 (SArTagnan) R 8364 8366 8244 0 -1 4202560 106769 0 0 0 43439 66 0 0 25 0 4 0 669941275 983154688 179506 33554432000 4194304 4625164 140735446010240 18446744073709551615 4352296 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=8366/tid=8370] ppid=8364 vsize=960112 CPUtime=446.69 cores=1,3,5,7
/proc/8366/task/8370/stat : 8370 (SArTagnan) R 8364 8366 8244 0 -1 4202560 1854431 0 0 0 44391 278 0 0 25 0 4 0 669941275 983154688 179506 33554432000 4194304 4625164 140735446010240 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2103.81
Current children cumulated vsize (KiB) 960112

[startup+942.301 s]
/proc/loadavg: 12.14 12.14 11.41 13/473 8422
/proc/meminfo: memFree=20405024/32951124 swapFree=64205392/67111528
[pid=8366] ppid=8364 vsize=960112 CPUtime=2244.25 cores=1,3,5,7
/proc/8366/stat : 8366 (SArTagnan) R 8364 8366 8244 0 -1 4202496 2295497 0 0 0 223996 429 0 0 25 0 4 0 669941274 983154688 184012 33554432000 4194304 4625164 140735446010240 18446744073709551615 4393104 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/8366/statm: 240028 184012 428 106 0 235531 0
[pid=8366/tid=8368] ppid=8364 vsize=960112 CPUtime=485.46 cores=1,3,5,7
/proc/8366/task/8368/stat : 8368 (SArTagnan) R 8364 8366 8244 0 -1 4202560 86186 0 0 0 48504 42 0 0 25 0 4 0 669941275 983154688 184012 33554432000 4194304 4625164 140735446010240 18446744073709551615 4339612 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=8366/tid=8369] ppid=8364 vsize=960112 CPUtime=464.84 cores=1,3,5,7
/proc/8366/task/8369/stat : 8369 (SArTagnan) R 8364 8366 8244 0 -1 4202560 108672 0 0 0 46415 69 0 0 25 0 4 0 669941275 983154688 184012 33554432000 4194304 4625164 140735446010240 18446744073709551615 4351824 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=8366/tid=8370] ppid=8364 vsize=960112 CPUtime=474.43 cores=1,3,5,7
/proc/8366/task/8370/stat : 8370 (SArTagnan) R 8364 8366 8244 0 -1 4202560 2036809 0 0 0 47137 306 0 0 25 0 4 0 669941275 983154688 184012 33554432000 4194304 4625164 140735446010240 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2244.25
Current children cumulated vsize (KiB) 960112

[startup+1002.3 s]
/proc/loadavg: 12.21 12.16 11.46 13/473 8424
/proc/meminfo: memFree=20353528/32951124 swapFree=64205392/67111528
[pid=8366] ppid=8364 vsize=960112 CPUtime=2372.69 cores=1,3,5,7
/proc/8366/stat : 8366 (SArTagnan) R 8364 8366 8244 0 -1 4202496 2464644 0 0 0 236812 457 0 0 25 0 4 0 669941274 983154688 190104 33554432000 4194304 4625164 140735446010240 18446744073709551615 4329142 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/8366/statm: 240028 190104 412 106 0 235531 0
[pid=8366/tid=8368] ppid=8364 vsize=960112 CPUtime=514.97 cores=1,3,5,7
/proc/8366/task/8368/stat : 8368 (SArTagnan) R 8364 8366 8244 0 -1 4202560 88159 0 0 0 51453 44 0 0 25 0 4 0 669941275 983154688 190104 33554432000 4194304 4625164 140735446010240 18446744073709551615 4351824 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=8366/tid=8369] ppid=8364 vsize=960112 CPUtime=494.64 cores=1,3,5,7
/proc/8366/task/8369/stat : 8369 (SArTagnan) R 8364 8366 8244 0 -1 4202560 110722 0 0 0 49393 71 0 0 25 0 4 0 669941275 983154688 190104 33554432000 4194304 4625164 140735446010240 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=8366/tid=8370] ppid=8364 vsize=960112 CPUtime=503.62 cores=1,3,5,7
/proc/8366/task/8370/stat : 8370 (SArTagnan) R 8364 8366 8244 0 -1 4202560 2201446 0 0 0 50032 330 0 0 25 0 4 0 669941275 983154688 190104 33554432000 4194304 4625164 140735446010240 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2372.69
Current children cumulated vsize (KiB) 960112

[startup+1062.3 s]
/proc/loadavg: 12.20 12.16 11.50 13/473 8426
/proc/meminfo: memFree=20273768/32951124 swapFree=64205392/67111528
[pid=8366] ppid=8364 vsize=1029864 CPUtime=2506.36 cores=1,3,5,7
/proc/8366/stat : 8366 (SArTagnan) R 8364 8366 8244 0 -1 4202496 2693398 0 0 0 250143 493 0 0 25 0 4 0 669941274 1054580736 204578 33554432000 4194304 4625164 140735446010240 18446744073709551615 4511904 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/8366/statm: 257466 204578 396 106 0 252969 0
[pid=8366/tid=8368] ppid=8364 vsize=1029864 CPUtime=544.55 cores=1,3,5,7
/proc/8366/task/8368/stat : 8368 (SArTagnan) R 8364 8366 8244 0 -1 4202560 89874 0 0 0 54408 47 0 0 25 0 4 0 669941275 1054580736 204578 33554432000 4194304 4625164 140735446010240 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=8366/tid=8369] ppid=8364 vsize=1029864 CPUtime=524.73 cores=1,3,5,7
/proc/8366/task/8369/stat : 8369 (SArTagnan) R 8364 8366 8244 0 -1 4202560 113350 0 0 0 52400 73 0 0 25 0 4 0 669941275 1054580736 204578 33554432000 4194304 4625164 140735446010240 18446744073709551615 4351824 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=8366/tid=8370] ppid=8364 vsize=1029864 CPUtime=535.22 cores=1,3,5,7
/proc/8366/task/8370/stat : 8370 (SArTagnan) R 8364 8366 8244 0 -1 4202560 2401385 0 0 0 53164 358 0 0 25 0 4 0 669941275 1054580736 204578 33554432000 4194304 4625164 140735446010240 18446744073709551615 4552369 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2506.36
Current children cumulated vsize (KiB) 1029864

[startup+1122.3 s]
/proc/loadavg: 12.30 12.19 11.56 13/473 8427
/proc/meminfo: memFree=20222532/32951124 swapFree=64205392/67111528
[pid=8366] ppid=8364 vsize=1029864 CPUtime=2644.15 cores=1,3,5,7
/proc/8366/stat : 8366 (SArTagnan) R 8364 8366 8244 0 -1 4202496 2874910 0 0 0 263891 524 0 0 25 0 4 0 669941274 1054580736 209041 33554432000 4194304 4625164 140735446010240 18446744073709551615 4519334 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/8366/statm: 257466 209041 381 106 0 252969 0
[pid=8366/tid=8368] ppid=8364 vsize=1029864 CPUtime=575.05 cores=1,3,5,7
/proc/8366/task/8368/stat : 8368 (SArTagnan) R 8364 8366 8244 0 -1 4202560 91520 0 0 0 57456 49 0 0 25 0 4 0 669941275 1054580736 209041 33554432000 4194304 4625164 140735446010240 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=8366/tid=8369] ppid=8364 vsize=1029864 CPUtime=554.63 cores=1,3,5,7
/proc/8366/task/8369/stat : 8369 (SArTagnan) R 8364 8366 8244 0 -1 4202560 115475 0 0 0 55386 77 0 0 25 0 4 0 669941275 1054580736 209041 33554432000 4194304 4625164 140735446010240 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=8366/tid=8370] ppid=8364 vsize=1029864 CPUtime=563.74 cores=1,3,5,7
/proc/8366/task/8370/stat : 8370 (SArTagnan) R 8364 8366 8244 0 -1 4202560 2578411 0 0 0 55991 383 0 0 25 0 4 0 669941275 1054580736 209041 33554432000 4194304 4625164 140735446010240 18446744073709551615 4351984 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2644.15
Current children cumulated vsize (KiB) 1029864

[startup+1182.3 s]
/proc/loadavg: 12.15 12.17 11.58 13/473 8429
/proc/meminfo: memFree=20165708/32951124 swapFree=64205392/67111528
[pid=8366] ppid=8364 vsize=1066004 CPUtime=2784.7 cores=1,3,5,7
/proc/8366/stat : 8366 (SArTagnan) R 8364 8366 8244 0 -1 4202496 3093062 0 0 0 277912 558 0 0 25 0 4 0 669941274 1091588096 216365 33554432000 4194304 4625164 140735446010240 18446744073709551615 4511904 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/8366/statm: 266501 216365 381 106 0 262004 0
[pid=8366/tid=8368] ppid=8364 vsize=1066004 CPUtime=604.85 cores=1,3,5,7
/proc/8366/task/8368/stat : 8368 (SArTagnan) R 8364 8366 8244 0 -1 4202560 113040 0 0 0 60431 54 0 0 25 0 4 0 669941275 1091588096 216365 33554432000 4194304 4625164 140735446010240 18446744073709551615 4352739 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=8366/tid=8369] ppid=8364 vsize=1066004 CPUtime=584.33 cores=1,3,5,7
/proc/8366/task/8369/stat : 8369 (SArTagnan) R 8364 8366 8244 0 -1 4202560 117518 0 0 0 58354 79 0 0 25 0 4 0 669941275 1091588096 216365 33554432000 4194304 4625164 140735446010240 18446744073709551615 4351830 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=8366/tid=8370] ppid=8364 vsize=1066004 CPUtime=593.3 cores=1,3,5,7
/proc/8366/task/8370/stat : 8370 (SArTagnan) R 8364 8366 8244 0 -1 4202560 2772462 0 0 0 58920 410 0 0 25 0 4 0 669941275 1091588096 216365 33554432000 4194304 4625164 140735446010240 18446744073709551615 4552369 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2784.7
Current children cumulated vsize (KiB) 1066004

[startup+1242.3 s]
/proc/loadavg: 12.16 12.16 11.62 13/473 8430
/proc/meminfo: memFree=20128240/32951124 swapFree=64205392/67111528
[pid=8366] ppid=8364 vsize=1131540 CPUtime=2927.67 cores=1,3,5,7
/proc/8366/stat : 8366 (SArTagnan) R 8364 8366 8244 0 -1 4202496 3293136 0 0 0 292178 589 0 0 25 0 4 0 669941274 1158696960 220722 33554432000 4194304 4625164 140735446010240 18446744073709551615 4280391 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/8366/statm: 282885 220722 389 106 0 278388 0
[pid=8366/tid=8368] ppid=8364 vsize=1131540 CPUtime=634.49 cores=1,3,5,7
/proc/8366/task/8368/stat : 8368 (SArTagnan) R 8364 8366 8244 0 -1 4202560 114695 0 0 0 63394 55 0 0 25 0 4 0 669941275 1158696960 220722 33554432000 4194304 4625164 140735446010240 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=8366/tid=8369] ppid=8364 vsize=1131540 CPUtime=614.23 cores=1,3,5,7
/proc/8366/task/8369/stat : 8369 (SArTagnan) R 8364 8366 8244 0 -1 4202560 118834 0 0 0 61343 80 0 0 25 0 4 0 669941275 1158696960 220722 33554432000 4194304 4625164 140735446010240 18446744073709551615 4351981 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=8366/tid=8370] ppid=8364 vsize=1131540 CPUtime=636.17 cores=1,3,5,7
/proc/8366/task/8370/stat : 8370 (SArTagnan) R 8364 8366 8244 0 -1 4202560 2883506 0 0 0 63191 426 0 0 25 0 4 0 669941275 1158696960 220722 33554432000 4194304 4625164 140735446010240 18446744073709551615 4552315 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2927.67
Current children cumulated vsize (KiB) 1131540



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+1300 s]
/proc/loadavg: 12.16 12.16 11.65 14/473 8432
/proc/meminfo: memFree=20091004/32951124 swapFree=64205392/67111528
[pid=8366] ppid=8364 vsize=1151024 CPUtime=3068.93 cores=1,3,5,7
/proc/8366/stat : 8366 (SArTagnan) R 8364 8366 8244 0 -1 4202496 3498798 0 0 0 306272 621 0 0 25 0 4 0 669941274 1178648576 225280 33554432000 4194304 4625164 140735446010240 18446744073709551615 4511904 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/8366/statm: 287756 225280 381 106 0 283259 0
[pid=8366/tid=8368] ppid=8364 vsize=1151024 CPUtime=677.63 cores=1,3,5,7
/proc/8366/task/8368/stat : 8368 (SArTagnan) R 8364 8366 8244 0 -1 4202560 116450 0 0 0 67707 56 0 0 25 0 4 0 669941275 1178648576 225280 33554432000 4194304 4625164 140735446010240 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=8366/tid=8369] ppid=8364 vsize=1151024 CPUtime=642.91 cores=1,3,5,7
/proc/8366/task/8369/stat : 8369 (SArTagnan) R 8364 8366 8244 0 -1 4202560 120311 0 0 0 64209 82 0 0 25 0 4 0 669941275 1178648576 225280 33554432000 4194304 4625164 140735446010240 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=8366/tid=8370] ppid=8364 vsize=1151024 CPUtime=676.96 cores=1,3,5,7
/proc/8366/task/8370/stat : 8370 (SArTagnan) R 8364 8366 8244 0 -1 4202560 2894079 0 0 0 67269 427 0 0 25 0 4 0 669941275 1178648576 225280 33554432000 4194304 4625164 140735446010240 18446744073709551615 4552369 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3068.93
Current children cumulated vsize (KiB) 1151024

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

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

[startup+1300 s]
/proc/loadavg: 12.16 12.16 11.65 14/473 8432
/proc/meminfo: memFree=20091004/32951124 swapFree=64205392/67111528
[pid=8366] ppid=8364 vsize=1151024 CPUtime=3068.93 cores=1,3,5,7
/proc/8366/stat : 8366 (SArTagnan) R 8364 8366 8244 0 -1 4202496 3498798 0 0 0 306272 621 0 0 25 0 4 0 669941274 1178648576 225280 33554432000 4194304 4625164 140735446010240 18446744073709551615 4511904 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/8366/statm: 287756 225280 381 106 0 283259 0
[pid=8366/tid=8368] ppid=8364 vsize=1151024 CPUtime=677.63 cores=1,3,5,7
/proc/8366/task/8368/stat : 8368 (SArTagnan) R 8364 8366 8244 0 -1 4202560 116450 0 0 0 67707 56 0 0 25 0 4 0 669941275 1178648576 225280 33554432000 4194304 4625164 140735446010240 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=8366/tid=8369] ppid=8364 vsize=1151024 CPUtime=642.91 cores=1,3,5,7
/proc/8366/task/8369/stat : 8369 (SArTagnan) R 8364 8366 8244 0 -1 4202560 120311 0 0 0 64209 82 0 0 25 0 4 0 669941275 1178648576 225280 33554432000 4194304 4625164 140735446010240 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=8366/tid=8370] ppid=8364 vsize=1151024 CPUtime=676.96 cores=1,3,5,7
/proc/8366/task/8370/stat : 8370 (SArTagnan) R 8364 8366 8244 0 -1 4202560 2894079 0 0 0 67269 427 0 0 25 0 4 0 669941275 1178648576 225280 33554432000 4194304 4625164 140735446010240 18446744073709551615 4552369 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3068.93
Current children cumulated vsize (KiB) 1151024

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1300.06
CPU time (s): 3068.99
CPU user time (s): 3062.75
CPU system time (s): 6.24805
CPU usage (%): 236.066
Max. virtual memory (cumulated for all children) (KiB): 1189912

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3062.75
system time used= 6.24805
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3498798
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= 7494
involuntary context switches= 40948

runsolver used 5.66514 second user time and 14.4458 second system time

The end

Launcher Data 

Begin job on node136 at 2011-05-17 00:03:53
IDJOB=3385935
IDBENCH=87453
IDSOLVER=1871
FILE ID=node136/3385935-1305583433
RUNJOBID= node136-1305582130-8263
PBS_JOBID= 13350293
Free space on /tmp= 72952 MiB

SOLVER NAME= SArTagnan 2011-05-15 (fixed)
BENCH NAME= SAT02/handmade/pehoushek/plainoldcnf/5cnf_3900_3900_220.shuffled.cnf
COMMAND LINE= SArTagnan BENCHNAME -threads=NBCORE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3385935-1305583433/watcher-3385935-1305583433 -o /tmp/evaluation-result-3385935-1305583433/solver-3385935-1305583433 -C 4800 -W 1300 -M 15500  SArTagnan HOME/instance-3385935-1305583433.cnf -threads=4

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

MD5SUM BENCH= f0b7e0675915478b15cab3695fd0fd62
RANDOM SEED=1666624095

node136.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.809
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.61
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.809
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.809
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.809
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.76
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.809
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.809
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.809
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.809
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.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      21956228 kB
Buffers:         50900 kB
Cached:         676588 kB
SwapCached:      24924 kB
Active:        4248188 kB
Inactive:      6531144 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      21956228 kB
SwapTotal:    67111528 kB
SwapFree:     64205392 kB
Dirty:             396 kB
Writeback:           0 kB
AnonPages:    10032932 kB
Mapped:          34112 kB
Slab:            87168 kB
PageTables:      62412 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 135582840 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= 72952 MiB
End job on node136 at 2011-05-17 00:25:35