Trace number 3265348

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-03-24? (TO) 4800.33 1201.78

General information on the benchmark

NameSAT05/crafted/sabharwal05/counting/fphp/unsat/
harder/fphp-020-019.shuffled-as.sat05-1232.cnf
MD5SUMabb32bff5eb954e790612a6209864b5d
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark2.08668
Satisfiable
(Un)Satisfiability was proved
Number of variables380
Number of clauses7050
Sum of the clauses size14440
Maximum clause length19
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 27030
Number of clauses of size 30
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 520

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: 935)

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

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

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 4800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 4830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1300 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 7.56 8.04 8.07 1/176 8489
/proc/meminfo: memFree=29722144/32951124 swapFree=67111352/67111528
[pid=8489] ppid=8487 vsize=49912 CPUtime=0 cores=0,2,4,6
/proc/8489/stat : 8489 (SArTagnan) R 8487 8489 8042 0 -1 4202496 585 0 0 0 0 0 0 0 22 0 4 0 522389718 51109888 503 33554432000 4194304 4623224 140733630310304 18446744073709551615 255377357809 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/8489/statm: 12478 503 302 105 0 7982 0
[pid=8489/tid=8490] ppid=8487 vsize=49912 CPUtime=0 cores=0,2,4,6
/proc/8489/task/8490/stat : 8490 (SArTagnan) R 8487 8489 8042 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 4 0 522389718 51109888 503 33554432000 4194304 4623224 140733630310304 18446744073709551615 47560393385904 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=8489/tid=8491] ppid=8487 vsize=49912 CPUtime=0 cores=0,2,4,6
/proc/8489/task/8491/stat : 8491 (SArTagnan) R 8487 8489 8042 0 -1 4202560 0 0 0 0 0 0 0 0 23 0 4 0 522389718 51109888 503 33554432000 4194304 4623224 140733630310304 18446744073709551615 47560393385896 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=8489/tid=8492] ppid=8487 vsize=49912 CPUtime=0 cores=0,2,4,6
/proc/8489/task/8492/stat : 8492 (SArTagnan) R 8487 8489 8042 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 4 0 522389718 51109888 503 33554432000 4194304 4623224 140733630310304 18446744073709551615 255377357809 0 0 4096 2 0 0 0 -1 2 0 0 0

[startup+0.153718 s]
/proc/loadavg: 7.56 8.04 8.07 1/176 8489
/proc/meminfo: memFree=29722144/32951124 swapFree=67111352/67111528
[pid=8489] ppid=8487 vsize=259004 CPUtime=4.4 cores=0,2,4,6
/proc/8489/stat : 8489 (SArTagnan) R 8487 8489 8042 0 -1 4202496 13140 0 0 0 433 7 0 0 25 0 4 0 522389718 265220096 8368 33554432000 4194304 4623224 140733630310304 18446744073709551615 4501794 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/8489/statm: 64751 8368 343 105 0 60255 0
[pid=8489/tid=8490] ppid=8487 vsize=259004 CPUtime=1.09 cores=0,2,4,6
/proc/8489/task/8490/stat : 8490 (SArTagnan) R 8487 8489 8042 0 -1 4202560 2565 0 0 0 107 2 0 0 25 0 4 0 522389718 265220096 8369 33554432000 4194304 4623224 140733630310304 18446744073709551615 255376962593 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=8489/tid=8491] ppid=8487 vsize=259004 CPUtime=1.09 cores=0,2,4,6
/proc/8489/task/8491/stat : 8491 (SArTagnan) R 8487 8489 8042 0 -1 4202560 4134 0 0 0 106 3 0 0 19 0 4 0 522389718 265220096 8369 33554432000 4194304 4623224 140733630310304 18446744073709551615 4463291 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=8489/tid=8492] ppid=8487 vsize=259004 CPUtime=1.09 cores=0,2,4,6
/proc/8489/task/8492/stat : 8492 (SArTagnan) R 8487 8489 8042 0 -1 4202560 3177 0 0 0 109 0 0 0 25 0 4 0 522389718 265220096 8369 33554432000 4194304 4623224 140733630310304 18446744073709551615 4376823 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4.4
Current children cumulated vsize (KiB) 259004

[startup+1.19722 s]
/proc/loadavg: 7.56 8.04 8.07 1/176 8489
/proc/meminfo: memFree=29722144/32951124 swapFree=67111352/67111528
[pid=8489] ppid=8487 vsize=260276 CPUtime=4.8 cores=0,2,4,6
/proc/8489/stat : 8489 (SArTagnan) R 8487 8489 8042 0 -1 4202496 14696 0 0 0 473 7 0 0 25 0 4 0 522389718 266522624 8838 33554432000 4194304 4623224 140733630310304 18446744073709551615 4415016 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/8489/statm: 65069 8838 343 105 0 60573 0
[pid=8489/tid=8490] ppid=8487 vsize=260276 CPUtime=1.19 cores=0,2,4,6
/proc/8489/task/8490/stat : 8490 (SArTagnan) R 8487 8489 8042 0 -1 4202560 3245 0 0 0 117 2 0 0 25 0 4 0 522389718 266522624 8838 33554432000 4194304 4623224 140733630310304 18446744073709551615 4376678 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=8489/tid=8491] ppid=8487 vsize=260276 CPUtime=1.19 cores=0,2,4,6
/proc/8489/task/8491/stat : 8491 (SArTagnan) R 8487 8489 8042 0 -1 4202560 4207 0 0 0 116 3 0 0 19 0 4 0 522389718 266522624 8838 33554432000 4194304 4623224 140733630310304 18446744073709551615 4377624 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=8489/tid=8492] ppid=8487 vsize=260276 CPUtime=1.19 cores=0,2,4,6
/proc/8489/task/8492/stat : 8492 (SArTagnan) R 8487 8489 8042 0 -1 4202560 3831 0 0 0 119 0 0 0 25 0 4 0 522389718 266522624 8838 33554432000 4194304 4623224 140733630310304 18446744073709551615 4550465 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4.8
Current children cumulated vsize (KiB) 260276

[startup+1.30928 s]
/proc/loadavg: 7.56 8.04 8.07 1/176 8489
/proc/meminfo: memFree=29722144/32951124 swapFree=67111352/67111528
[pid=8489] ppid=8487 vsize=260956 CPUtime=5.2 cores=0,2,4,6
/proc/8489/stat : 8489 (SArTagnan) R 8487 8489 8042 0 -1 4202496 15794 0 0 0 512 8 0 0 25 0 4 0 522389718 267218944 9559 33554432000 4194304 4623224 140733630310304 18446744073709551615 4414955 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/8489/statm: 65239 9559 343 105 0 60743 0
[pid=8489/tid=8490] ppid=8487 vsize=260956 CPUtime=1.29 cores=0,2,4,6
/proc/8489/task/8490/stat : 8490 (SArTagnan) R 8487 8489 8042 0 -1 4202560 3313 0 0 0 127 2 0 0 25 0 4 0 522389718 267218944 9559 33554432000 4194304 4623224 140733630310304 18446744073709551615 4377128 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=8489/tid=8491] ppid=8487 vsize=260956 CPUtime=1.29 cores=0,2,4,6
/proc/8489/task/8491/stat : 8491 (SArTagnan) R 8487 8489 8042 0 -1 4202560 4322 0 0 0 126 3 0 0 19 0 4 0 522389718 267218944 9560 33554432000 4194304 4623224 140733630310304 18446744073709551615 4376844 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=8489/tid=8492] ppid=8487 vsize=260956 CPUtime=1.29 cores=0,2,4,6
/proc/8489/task/8492/stat : 8492 (SArTagnan) R 8487 8489 8042 0 -1 4202560 4667 0 0 0 129 0 0 0 25 0 4 0 522389718 267218944 9560 33554432000 4194304 4623224 140733630310304 18446744073709551615 4364711 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 5.2
Current children cumulated vsize (KiB) 260956

[startup+1.40926 s]
/proc/loadavg: 7.56 8.04 8.07 1/176 8489
/proc/meminfo: memFree=29722144/32951124 swapFree=67111352/67111528
[pid=8489] ppid=8487 vsize=261328 CPUtime=5.6 cores=0,2,4,6
/proc/8489/stat : 8489 (SArTagnan) R 8487 8489 8042 0 -1 4202496 16154 0 0 0 552 8 0 0 25 0 4 0 522389718 267599872 9917 33554432000 4194304 4623224 140733630310304 18446744073709551615 4415167 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/8489/statm: 65332 9917 343 105 0 60836 0
[pid=8489/tid=8490] ppid=8487 vsize=261328 CPUtime=1.4 cores=0,2,4,6
/proc/8489/task/8490/stat : 8490 (SArTagnan) R 8487 8489 8042 0 -1 4202560 3446 0 0 0 137 3 0 0 25 0 4 0 522389718 267599872 9917 33554432000 4194304 4623224 140733630310304 18446744073709551615 4466062 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=8489/tid=8491] ppid=8487 vsize=261328 CPUtime=1.39 cores=0,2,4,6
/proc/8489/task/8491/stat : 8491 (SArTagnan) R 8487 8489 8042 0 -1 4202560 4443 0 0 0 136 3 0 0 19 0 4 0 522389718 267599872 9917 33554432000 4194304 4623224 140733630310304 18446744073709551615 4376883 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=8489/tid=8492] ppid=8487 vsize=261328 CPUtime=1.39 cores=0,2,4,6
/proc/8489/task/8492/stat : 8492 (SArTagnan) R 8487 8489 8042 0 -1 4202560 4744 0 0 0 139 0 0 0 25 0 4 0 522389718 267599872 9917 33554432000 4194304 4623224 140733630310304 18446744073709551615 4377144 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 5.6
Current children cumulated vsize (KiB) 261328

[startup+1.50924 s]
/proc/loadavg: 7.56 8.04 8.07 1/176 8489
/proc/meminfo: memFree=29722144/32951124 swapFree=67111352/67111528
[pid=8489] ppid=8487 vsize=261484 CPUtime=6 cores=0,2,4,6
/proc/8489/stat : 8489 (SArTagnan) R 8487 8489 8042 0 -1 4202496 16514 0 0 0 592 8 0 0 25 0 4 0 522389718 267759616 10275 33554432000 4194304 4623224 140733630310304 18446744073709551615 4360016 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/8489/statm: 65371 10275 343 105 0 60875 0
[pid=8489/tid=8490] ppid=8487 vsize=261484 CPUtime=1.5 cores=0,2,4,6
/proc/8489/task/8490/stat : 8490 (SArTagnan) R 8487 8489 8042 0 -1 4202560 3608 0 0 0 147 3 0 0 25 0 4 0 522389718 267759616 10275 33554432000 4194304 4623224 140733630310304 18446744073709551615 4376711 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=8489/tid=8491] ppid=8487 vsize=261484 CPUtime=1.49 cores=0,2,4,6
/proc/8489/task/8491/stat : 8491 (SArTagnan) R 8487 8489 8042 0 -1 4202560 4514 0 0 0 146 3 0 0 19 0 4 0 522389718 267759616 10275 33554432000 4194304 4623224 140733630310304 18446744073709551615 4366400 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=8489/tid=8492] ppid=8487 vsize=261484 CPUtime=1.49 cores=0,2,4,6
/proc/8489/task/8492/stat : 8492 (SArTagnan) R 8487 8489 8042 0 -1 4202560 4841 0 0 0 149 0 0 0 25 0 4 0 522389718 267759616 10275 33554432000 4194304 4623224 140733630310304 18446744073709551615 4545884 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 6
Current children cumulated vsize (KiB) 261484

[startup+3.10095 s]
/proc/loadavg: 7.67 8.06 8.07 9/188 8504
/proc/meminfo: memFree=29477256/32951124 swapFree=67111352/67111528
[pid=8489] ppid=8487 vsize=275056 CPUtime=12.37 cores=0,2,4,6
/proc/8489/stat : 8489 (SArTagnan) R 8487 8489 8042 0 -1 4202496 25892 0 0 0 1227 10 0 0 25 0 4 0 522389718 281657344 16070 33554432000 4194304 4623224 140733630310304 18446744073709551615 4414955 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/8489/statm: 68764 16070 344 105 0 64268 0
[pid=8489/tid=8490] ppid=8487 vsize=275056 CPUtime=3.08 cores=0,2,4,6
/proc/8489/task/8490/stat : 8490 (SArTagnan) R 8487 8489 8042 0 -1 4202560 5633 0 0 0 305 3 0 0 25 0 4 0 522389718 281657344 16070 33554432000 4194304 4623224 140733630310304 18446744073709551615 4376869 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=8489/tid=8491] ppid=8487 vsize=275056 CPUtime=3.08 cores=0,2,4,6
/proc/8489/task/8491/stat : 8491 (SArTagnan) R 8487 8489 8042 0 -1 4202560 8979 0 0 0 303 5 0 0 23 0 4 0 522389718 281657344 16070 33554432000 4194304 4623224 140733630310304 18446744073709551615 4376823 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=8489/tid=8492] ppid=8487 vsize=275056 CPUtime=3.08 cores=0,2,4,6
/proc/8489/task/8492/stat : 8492 (SArTagnan) R 8487 8489 8042 0 -1 4202560 6315 0 0 0 308 0 0 0 25 0 4 0 522389718 281657344 16070 33554432000 4194304 4623224 140733630310304 18446744073709551615 4545884 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 12.37
Current children cumulated vsize (KiB) 275056

[startup+6.30036 s]
/proc/loadavg: 7.67 8.06 8.07 9/188 8504
/proc/meminfo: memFree=29388088/32951124 swapFree=67111352/67111528
[pid=8489] ppid=8487 vsize=293240 CPUtime=25.15 cores=0,2,4,6
/proc/8489/stat : 8489 (SArTagnan) R 8487 8489 8042 0 -1 4202496 42408 0 0 0 2501 14 0 0 25 0 4 0 522389718 300277760 25406 33554432000 4194304 4623224 140733630310304 18446744073709551615 4414885 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/8489/statm: 73310 25406 344 105 0 68814 0
[pid=8489/tid=8490] ppid=8487 vsize=293240 CPUtime=6.29 cores=0,2,4,6
/proc/8489/task/8490/stat : 8490 (SArTagnan) R 8487 8489 8042 0 -1 4202560 11153 0 0 0 624 5 0 0 25 0 4 0 522389718 300277760 25406 33554432000 4194304 4623224 140733630310304 18446744073709551615 255377344695 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=8489/tid=8491] ppid=8487 vsize=293240 CPUtime=6.26 cores=0,2,4,6
/proc/8489/task/8491/stat : 8491 (SArTagnan) R 8487 8489 8042 0 -1 4202560 14933 0 0 0 620 6 0 0 25 0 4 0 522389718 300277760 25407 33554432000 4194304 4623224 140733630310304 18446744073709551615 4376625 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=8489/tid=8492] ppid=8487 vsize=293240 CPUtime=6.28 cores=0,2,4,6
/proc/8489/task/8492/stat : 8492 (SArTagnan) R 8487 8489 8042 0 -1 4202560 9004 0 0 0 628 0 0 0 25 0 4 0 522389718 300277760 25407 33554432000 4194304 4623224 140733630310304 18446744073709551615 4550495 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 25.15
Current children cumulated vsize (KiB) 293240

[startup+12.7012 s]
/proc/loadavg: 7.95 8.11 8.09 9/188 8504
/proc/meminfo: memFree=29321408/32951124 swapFree=67111352/67111528
[pid=8489] ppid=8487 vsize=316388 CPUtime=50.71 cores=0,2,4,6
/proc/8489/stat : 8489 (SArTagnan) R 8487 8489 8042 0 -1 4202496 62941 0 0 0 5051 20 0 0 25 0 4 0 522389718 323981312 38576 33554432000 4194304 4623224 140733630310304 18446744073709551615 4414965 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/8489/statm: 79097 38576 344 105 0 74601 0
[pid=8489/tid=8490] ppid=8487 vsize=316388 CPUtime=12.68 cores=0,2,4,6
/proc/8489/task/8490/stat : 8490 (SArTagnan) R 8487 8489 8042 0 -1 4202560 17888 0 0 0 1261 7 0 0 25 0 4 0 522389718 323981312 38576 33554432000 4194304 4623224 140733630310304 18446744073709551615 4377133 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=8489/tid=8491] ppid=8487 vsize=316388 CPUtime=12.63 cores=0,2,4,6
/proc/8489/task/8491/stat : 8491 (SArTagnan) R 8487 8489 8042 0 -1 4202560 23228 0 0 0 1254 9 0 0 25 0 4 0 522389718 323981312 38576 33554432000 4194304 4623224 140733630310304 18446744073709551615 4376844 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=8489/tid=8492] ppid=8487 vsize=316388 CPUtime=12.69 cores=0,2,4,6
/proc/8489/task/8492/stat : 8492 (SArTagnan) R 8487 8489 8042 0 -1 4202560 10999 0 0 0 1268 1 0 0 25 0 4 0 522389718 323981312 38576 33554432000 4194304 4623224 140733630310304 18446744073709551615 4545479 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 50.71
Current children cumulated vsize (KiB) 316388

[startup+25.5008 s]
/proc/loadavg: 7.96 8.10 8.09 9/188 8564
/proc/meminfo: memFree=29360156/32951124 swapFree=67111352/67111528
[pid=8489] ppid=8487 vsize=351192 CPUtime=101.83 cores=0,2,4,6
/proc/8489/stat : 8489 (SArTagnan) R 8487 8489 8042 0 -1 4202496 95586 0 0 0 10148 35 0 0 25 0 4 0 522389718 359620608 60113 33554432000 4194304 4623224 140733630310304 18446744073709551615 4360117 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/8489/statm: 87798 60113 344 105 0 83302 0
[pid=8489/tid=8490] ppid=8487 vsize=351192 CPUtime=25.49 cores=0,2,4,6
/proc/8489/task/8490/stat : 8490 (SArTagnan) R 8487 8489 8042 0 -1 4202560 28968 0 0 0 2536 13 0 0 25 0 4 0 522389718 359620608 60113 33554432000 4194304 4623224 140733630310304 18446744073709551615 4376678 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=8489/tid=8491] ppid=8487 vsize=351192 CPUtime=25.35 cores=0,2,4,6
/proc/8489/task/8491/stat : 8491 (SArTagnan) R 8487 8489 8042 0 -1 4202560 36450 0 0 0 2519 16 0 0 25 0 4 0 522389718 359620608 60113 33554432000 4194304 4623224 140733630310304 18446744073709551615 4376675 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=8489/tid=8492] ppid=8487 vsize=351192 CPUtime=25.49 cores=0,2,4,6
/proc/8489/task/8492/stat : 8492 (SArTagnan) R 8487 8489 8042 0 -1 4202560 14170 0 0 0 2547 2 0 0 25 0 4 0 522389718 359620608 60113 33554432000 4194304 4623224 140733630310304 18446744073709551615 4376652 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 101.83
Current children cumulated vsize (KiB) 351192

[startup+51.1011 s]
/proc/loadavg: 8.05 8.11 8.09 9/188 8565
/proc/meminfo: memFree=29111020/32951124 swapFree=67111352/67111528
[pid=8489] ppid=8487 vsize=598572 CPUtime=204.1 cores=0,2,4,6
/proc/8489/stat : 8489 (SArTagnan) R 8487 8489 8042 0 -1 4202496 183441 0 0 0 20354 56 0 0 25 0 4 0 522389718 612937728 87942 33554432000 4194304 4623224 140733630310304 18446744073709551615 4414972 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/8489/statm: 149643 87942 355 105 0 145147 0
[pid=8489/tid=8490] ppid=8487 vsize=598572 CPUtime=51.09 cores=0,2,4,6
/proc/8489/task/8490/stat : 8490 (SArTagnan) R 8487 8489 8042 0 -1 4202560 42949 0 0 0 5090 19 0 0 25 0 4 0 522389718 612937728 87942 33554432000 4194304 4623224 140733630310304 18446744073709551615 4377576 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=8489/tid=8491] ppid=8487 vsize=598572 CPUtime=50.81 cores=0,2,4,6
/proc/8489/task/8491/stat : 8491 (SArTagnan) R 8487 8489 8042 0 -1 4202560 53074 0 0 0 5059 22 0 0 25 0 4 0 522389718 612937728 87942 33554432000 4194304 4623224 140733630310304 18446744073709551615 4373031 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=8489/tid=8492] ppid=8487 vsize=598572 CPUtime=51.09 cores=0,2,4,6
/proc/8489/task/8492/stat : 8492 (SArTagnan) R 8487 8489 8042 0 -1 4202560 62714 0 0 0 5100 9 0 0 25 0 4 0 522389718 612937728 87942 33554432000 4194304 4623224 140733630310304 18446744073709551615 4376738 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 204.1
Current children cumulated vsize (KiB) 598572

[startup+102.307 s]
/proc/loadavg: 8.18 8.13 8.10 9/188 8566
/proc/meminfo: memFree=28784908/32951124 swapFree=67111352/67111528
[pid=8489] ppid=8487 vsize=724372 CPUtime=408.63 cores=0,2,4,6
/proc/8489/stat : 8489 (SArTagnan) R 8487 8489 8042 0 -1 4202496 596053 0 0 0 40731 132 0 0 25 0 4 0 522389718 741756928 139328 33554432000 4194304 4623224 140733630310304 18446744073709551615 4414984 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/8489/statm: 181093 139328 413 105 0 176597 0
[pid=8489/tid=8490] ppid=8487 vsize=724372 CPUtime=102.29 cores=0,2,4,6
/proc/8489/task/8490/stat : 8490 (SArTagnan) R 8487 8489 8042 0 -1 4202560 64905 0 0 0 10199 30 0 0 25 0 4 0 522389718 741756928 139328 33554432000 4194304 4623224 140733630310304 18446744073709551615 4376883 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=8489/tid=8491] ppid=8487 vsize=724372 CPUtime=101.73 cores=0,2,4,6
/proc/8489/task/8491/stat : 8491 (SArTagnan) R 8487 8489 8042 0 -1 4202560 76350 0 0 0 10143 30 0 0 25 0 4 0 522389718 741756928 139328 33554432000 4194304 4623224 140733630310304 18446744073709551615 4377144 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=8489/tid=8492] ppid=8487 vsize=724372 CPUtime=102.29 cores=0,2,4,6
/proc/8489/task/8492/stat : 8492 (SArTagnan) R 8487 8489 8042 0 -1 4202560 393979 0 0 0 10169 60 0 0 25 0 4 0 522389718 741756928 139328 33554432000 4194304 4623224 140733630310304 18446744073709551615 4376711 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 408.63
Current children cumulated vsize (KiB) 724372

[startup+162.3 s]

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

[pid=8489] ppid=8487 vsize=1595540 CPUtime=2565.67 cores=0,2,4,6
/proc/8489/stat : 8489 (SArTagnan) R 8487 8489 8042 0 -1 4202496 4544571 0 0 0 255728 839 0 0 25 0 4 0 522389718 1633832960 329914 33554432000 4194304 4623224 140733630310304 18446744073709551615 4414978 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/8489/statm: 398885 329914 344 105 0 394389 0
[pid=8489/tid=8490] ppid=8487 vsize=1595540 CPUtime=642.3 cores=0,2,4,6
/proc/8489/task/8490/stat : 8490 (SArTagnan) R 8487 8489 8042 0 -1 4202560 154970 0 0 0 64157 73 0 0 25 0 4 0 522389718 1633832960 329914 33554432000 4194304 4623224 140733630310304 18446744073709551615 4357901 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=8489/tid=8491] ppid=8487 vsize=1595540 CPUtime=638.8 cores=0,2,4,6
/proc/8489/task/8491/stat : 8491 (SArTagnan) R 8487 8489 8042 0 -1 4202560 160097 0 0 0 63813 67 0 0 25 0 4 0 522389718 1633832960 329914 33554432000 4194304 4623224 140733630310304 18446744073709551615 4486212 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=8489/tid=8492] ppid=8487 vsize=1595540 CPUtime=642.31 cores=0,2,4,6
/proc/8489/task/8492/stat : 8492 (SArTagnan) R 8487 8489 8042 0 -1 4202560 3401132 0 0 0 63683 548 0 0 25 0 4 0 522389718 1633832960 329914 33554432000 4194304 4623224 140733630310304 18446744073709551615 4545376 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2565.67
Current children cumulated vsize (KiB) 1595540

[startup+702.3 s]
/proc/loadavg: 8.11 8.12 8.09 9/188 8582
/proc/meminfo: memFree=26388164/32951124 swapFree=67111352/67111528
[pid=8489] ppid=8487 vsize=1611476 CPUtime=2805.33 cores=0,2,4,6
/proc/8489/stat : 8489 (SArTagnan) R 8487 8489 8042 0 -1 4202496 4872135 0 0 0 279640 893 0 0 25 0 4 0 522389718 1650151424 334488 33554432000 4194304 4623224 140733630310304 18446744073709551615 4510169 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/8489/statm: 402869 334488 344 105 0 398373 0
[pid=8489/tid=8490] ppid=8487 vsize=1611476 CPUtime=702.29 cores=0,2,4,6
/proc/8489/task/8490/stat : 8490 (SArTagnan) R 8487 8489 8042 0 -1 4202560 155170 0 0 0 70156 73 0 0 25 0 4 0 522389718 1650151424 334488 33554432000 4194304 4623224 140733630310304 18446744073709551615 4357901 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=8489/tid=8491] ppid=8487 vsize=1611476 CPUtime=698.47 cores=0,2,4,6
/proc/8489/task/8491/stat : 8491 (SArTagnan) R 8487 8489 8042 0 -1 4202560 160133 0 0 0 69780 67 0 0 25 0 4 0 522389718 1650151424 334488 33554432000 4194304 4623224 140733630310304 18446744073709551615 4357614 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=8489/tid=8492] ppid=8487 vsize=1611476 CPUtime=702.3 cores=0,2,4,6
/proc/8489/task/8492/stat : 8492 (SArTagnan) R 8487 8489 8042 0 -1 4202560 3724884 0 0 0 69629 601 0 0 25 0 4 0 522389718 1650151424 334488 33554432000 4194304 4623224 140733630310304 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2805.33
Current children cumulated vsize (KiB) 1611476

[startup+762.307 s]
/proc/loadavg: 8.15 8.12 8.09 9/188 8584
/proc/meminfo: memFree=26120284/32951124 swapFree=67111352/67111528
[pid=8489] ppid=8487 vsize=1733876 CPUtime=3045.02 cores=0,2,4,6
/proc/8489/stat : 8489 (SArTagnan) R 8487 8489 8042 0 -1 4202496 5206269 0 0 0 303553 949 0 0 25 0 4 0 522389718 1775489024 343266 33554432000 4194304 4623224 140733630310304 18446744073709551615 4510066 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/8489/statm: 433469 343266 344 105 0 428973 0
[pid=8489/tid=8490] ppid=8487 vsize=1733876 CPUtime=762.3 cores=0,2,4,6
/proc/8489/task/8490/stat : 8490 (SArTagnan) R 8487 8489 8042 0 -1 4202560 155289 0 0 0 76157 73 0 0 25 0 4 0 522389718 1775489024 343266 33554432000 4194304 4623224 140733630310304 18446744073709551615 4486238 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=8489/tid=8491] ppid=8487 vsize=1733876 CPUtime=758.15 cores=0,2,4,6
/proc/8489/task/8491/stat : 8491 (SArTagnan) R 8487 8489 8042 0 -1 4202560 160177 0 0 0 75748 67 0 0 25 0 4 0 522389718 1775489024 343266 33554432000 4194304 4623224 140733630310304 18446744073709551615 4357901 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=8489/tid=8492] ppid=8487 vsize=1733876 CPUtime=762.3 cores=0,2,4,6
/proc/8489/task/8492/stat : 8492 (SArTagnan) R 8487 8489 8042 0 -1 4202560 4001418 0 0 0 75581 649 0 0 25 0 4 0 522389718 1775489024 343266 33554432000 4194304 4623224 140733630310304 18446744073709551615 4550465 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3045.02
Current children cumulated vsize (KiB) 1733876

[startup+822.301 s]
/proc/loadavg: 8.05 8.10 8.09 9/188 8586
/proc/meminfo: memFree=25882932/32951124 swapFree=67111352/67111528
[pid=8489] ppid=8487 vsize=1733876 CPUtime=3284.68 cores=0,2,4,6
/proc/8489/stat : 8489 (SArTagnan) R 8487 8489 8042 0 -1 4202496 5657901 0 0 0 327435 1033 0 0 25 0 4 0 522389718 1775489024 346005 33554432000 4194304 4623224 140733630310304 18446744073709551615 4414880 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/8489/statm: 433469 346005 344 105 0 428973 0
[pid=8489/tid=8490] ppid=8487 vsize=1733876 CPUtime=822.31 cores=0,2,4,6
/proc/8489/task/8490/stat : 8490 (SArTagnan) R 8487 8489 8042 0 -1 4202560 155495 0 0 0 82157 74 0 0 25 0 4 0 522389718 1775489024 346005 33554432000 4194304 4623224 140733630310304 18446744073709551615 4357901 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=8489/tid=8491] ppid=8487 vsize=1733876 CPUtime=817.82 cores=0,2,4,6
/proc/8489/task/8491/stat : 8491 (SArTagnan) R 8487 8489 8042 0 -1 4202560 160243 0 0 0 81715 67 0 0 25 0 4 0 522389718 1775489024 346005 33554432000 4194304 4623224 140733630310304 18446744073709551615 4357901 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=8489/tid=8492] ppid=8487 vsize=1733876 CPUtime=822.3 cores=0,2,4,6
/proc/8489/task/8492/stat : 8492 (SArTagnan) R 8487 8489 8042 0 -1 4202560 4451031 0 0 0 81498 732 0 0 25 0 4 0 522389718 1775489024 346005 33554432000 4194304 4623224 140733630310304 18446744073709551615 4545376 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3284.68
Current children cumulated vsize (KiB) 1733876

[startup+882.301 s]
/proc/loadavg: 8.18 8.12 8.09 9/188 8587
/proc/meminfo: memFree=25705088/32951124 swapFree=67111352/67111528
[pid=8489] ppid=8487 vsize=1734388 CPUtime=3524.35 cores=0,2,4,6
/proc/8489/stat : 8489 (SArTagnan) R 8487 8489 8042 0 -1 4202496 6102592 0 0 0 351325 1110 0 0 25 0 4 0 522389718 1776013312 350126 33554432000 4194304 4623224 140733630310304 18446744073709551615 4414993 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/8489/statm: 433597 350126 344 105 0 429101 0
[pid=8489/tid=8490] ppid=8487 vsize=1734388 CPUtime=882.31 cores=0,2,4,6
/proc/8489/task/8490/stat : 8490 (SArTagnan) R 8487 8489 8042 0 -1 4202560 155684 0 0 0 88157 74 0 0 25 0 4 0 522389718 1776013312 350126 33554432000 4194304 4623224 140733630310304 18446744073709551615 4486238 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=8489/tid=8491] ppid=8487 vsize=1734388 CPUtime=877.49 cores=0,2,4,6
/proc/8489/task/8491/stat : 8491 (SArTagnan) R 8487 8489 8042 0 -1 4202560 160308 0 0 0 87682 67 0 0 25 0 4 0 522389718 1776013312 350126 33554432000 4194304 4623224 140733630310304 18446744073709551615 4486238 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=8489/tid=8492] ppid=8487 vsize=1734388 CPUtime=882.29 cores=0,2,4,6
/proc/8489/task/8492/stat : 8492 (SArTagnan) R 8487 8489 8042 0 -1 4202560 4893991 0 0 0 87421 808 0 0 25 0 4 0 522389718 1776013312 350126 33554432000 4194304 4623224 140733630310304 18446744073709551615 4545317 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3524.35
Current children cumulated vsize (KiB) 1734388

[startup+942.301 s]
/proc/loadavg: 8.06 8.10 8.09 9/188 8589
/proc/meminfo: memFree=25572248/32951124 swapFree=67111352/67111528
[pid=8489] ppid=8487 vsize=1758396 CPUtime=3764.02 cores=0,2,4,6
/proc/8489/stat : 8489 (SArTagnan) R 8487 8489 8042 0 -1 4202496 6594386 0 0 0 375207 1195 0 0 25 0 4 0 522389718 1800597504 352451 33554432000 4194304 4623224 140733630310304 18446744073709551615 4510064 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/8489/statm: 439599 352451 344 105 0 435103 0
[pid=8489/tid=8490] ppid=8487 vsize=1758396 CPUtime=942.31 cores=0,2,4,6
/proc/8489/task/8490/stat : 8490 (SArTagnan) R 8487 8489 8042 0 -1 4202560 155889 0 0 0 94157 74 0 0 25 0 4 0 522389718 1800597504 352451 33554432000 4194304 4623224 140733630310304 18446744073709551615 4357901 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=8489/tid=8491] ppid=8487 vsize=1758396 CPUtime=937.17 cores=0,2,4,6
/proc/8489/task/8491/stat : 8491 (SArTagnan) R 8487 8489 8042 0 -1 4202560 160440 0 0 0 93650 67 0 0 25 0 4 0 522389718 1800597504 352451 33554432000 4194304 4623224 140733630310304 18446744073709551615 4357901 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=8489/tid=8492] ppid=8487 vsize=1758396 CPUtime=942.3 cores=0,2,4,6
/proc/8489/task/8492/stat : 8492 (SArTagnan) R 8487 8489 8042 0 -1 4202560 5372304 0 0 0 93338 892 0 0 25 0 4 0 522389718 1800597504 352451 33554432000 4194304 4623224 140733630310304 18446744073709551615 4577438 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3764.02
Current children cumulated vsize (KiB) 1758396

[startup+1002.3 s]
/proc/loadavg: 8.18 8.12 8.09 9/188 8590
/proc/meminfo: memFree=25445996/32951124 swapFree=67111352/67111528
[pid=8489] ppid=8487 vsize=1758528 CPUtime=4003.69 cores=0,2,4,6
/proc/8489/stat : 8489 (SArTagnan) R 8487 8489 8042 0 -1 4202496 7048516 0 0 0 399093 1276 0 0 25 0 4 0 522389718 1800732672 355870 33554432000 4194304 4623224 140733630310304 18446744073709551615 4415028 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/8489/statm: 439632 355870 402 105 0 435136 0
[pid=8489/tid=8490] ppid=8487 vsize=1758528 CPUtime=1002.31 cores=0,2,4,6
/proc/8489/task/8490/stat : 8490 (SArTagnan) R 8487 8489 8042 0 -1 4202560 155996 0 0 0 100157 74 0 0 25 0 4 0 522389718 1800732672 355870 33554432000 4194304 4623224 140733630310304 18446744073709551615 4357641 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=8489/tid=8491] ppid=8487 vsize=1758528 CPUtime=996.84 cores=0,2,4,6
/proc/8489/task/8491/stat : 8491 (SArTagnan) R 8487 8489 8042 0 -1 4202560 160626 0 0 0 99617 67 0 0 25 0 4 0 522389718 1800732672 355870 33554432000 4194304 4623224 140733630310304 18446744073709551615 4357901 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=8489/tid=8492] ppid=8487 vsize=1758528 CPUtime=1002.3 cores=0,2,4,6
/proc/8489/task/8492/stat : 8492 (SArTagnan) R 8487 8489 8042 0 -1 4202560 5824706 0 0 0 99258 972 0 0 25 0 4 0 522389718 1800732672 355870 33554432000 4194304 4623224 140733630310304 18446744073709551615 4363989 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4003.69
Current children cumulated vsize (KiB) 1758528

[startup+1062.3 s]
/proc/loadavg: 8.10 8.11 8.09 9/188 8592
/proc/meminfo: memFree=25313660/32951124 swapFree=67111352/67111528
[pid=8489] ppid=8487 vsize=1759072 CPUtime=4243.38 cores=0,2,4,6
/proc/8489/stat : 8489 (SArTagnan) R 8487 8489 8042 0 -1 4202496 7480940 0 0 0 422987 1351 0 0 25 0 4 0 522389718 1801289728 359088 33554432000 4194304 4623224 140733630310304 18446744073709551615 4414885 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/8489/statm: 439768 359088 354 105 0 435272 0
[pid=8489/tid=8490] ppid=8487 vsize=1759072 CPUtime=1062.31 cores=0,2,4,6
/proc/8489/task/8490/stat : 8490 (SArTagnan) R 8487 8489 8042 0 -1 4202560 156103 0 0 0 106157 74 0 0 25 0 4 0 522389718 1801289728 359088 33554432000 4194304 4623224 140733630310304 18446744073709551615 4357901 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=8489/tid=8491] ppid=8487 vsize=1759072 CPUtime=1056.52 cores=0,2,4,6
/proc/8489/task/8491/stat : 8491 (SArTagnan) R 8487 8489 8042 0 -1 4202560 160691 0 0 0 105585 67 0 0 25 0 4 0 522389718 1801289728 359088 33554432000 4194304 4623224 140733630310304 18446744073709551615 4357901 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=8489/tid=8492] ppid=8487 vsize=1759072 CPUtime=1062.31 cores=0,2,4,6
/proc/8489/task/8492/stat : 8492 (SArTagnan) R 8487 8489 8042 0 -1 4202560 6255728 0 0 0 105184 1047 0 0 25 0 4 0 522389718 1801289728 359088 33554432000 4194304 4623224 140733630310304 18446744073709551615 4364669 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4243.38
Current children cumulated vsize (KiB) 1759072

[startup+1122.3 s]
/proc/loadavg: 8.26 8.15 8.10 9/188 8594
/proc/meminfo: memFree=25167072/32951124 swapFree=67111352/67111528
[pid=8489] ppid=8487 vsize=1807208 CPUtime=4483.04 cores=0,2,4,6
/proc/8489/stat : 8489 (SArTagnan) R 8487 8489 8042 0 -1 4202496 7939754 0 0 0 446877 1427 0 0 25 0 4 0 522389718 1850580992 369314 33554432000 4194304 4623224 140733630310304 18446744073709551615 4510169 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/8489/statm: 451802 369314 405 105 0 447306 0
[pid=8489/tid=8490] ppid=8487 vsize=1807208 CPUtime=1122.31 cores=0,2,4,6
/proc/8489/task/8490/stat : 8490 (SArTagnan) R 8487 8489 8042 0 -1 4202560 156340 0 0 0 112157 74 0 0 25 0 4 0 522389718 1850580992 369314 33554432000 4194304 4623224 140733630310304 18446744073709551615 4357901 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=8489/tid=8491] ppid=8487 vsize=1807208 CPUtime=1116.19 cores=0,2,4,6
/proc/8489/task/8491/stat : 8491 (SArTagnan) R 8487 8489 8042 0 -1 4202560 166754 0 0 0 111551 68 0 0 25 0 4 0 522389718 1850580992 369314 33554432000 4194304 4623224 140733630310304 18446744073709551615 4357641 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=8489/tid=8492] ppid=8487 vsize=1807208 CPUtime=1122.31 cores=0,2,4,6
/proc/8489/task/8492/stat : 8492 (SArTagnan) R 8487 8489 8042 0 -1 4202560 6707142 0 0 0 111109 1122 0 0 25 0 4 0 522389718 1850580992 369314 33554432000 4194304 4623224 140733630310304 18446744073709551615 4364911 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4483.04
Current children cumulated vsize (KiB) 1807208

[startup+1182.3 s]
/proc/loadavg: 8.19 8.15 8.10 10/188 8595
/proc/meminfo: memFree=25066736/32951124 swapFree=67111352/67111528
[pid=8489] ppid=8487 vsize=1807208 CPUtime=4722.71 cores=0,2,4,6
/proc/8489/stat : 8489 (SArTagnan) R 8487 8489 8042 0 -1 4202496 8354532 0 0 0 470772 1499 0 0 25 0 4 0 522389718 1850580992 371856 33554432000 4194304 4623224 140733630310304 18446744073709551615 4414885 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/8489/statm: 451802 371856 406 105 0 447306 0
[pid=8489/tid=8490] ppid=8487 vsize=1807208 CPUtime=1182.31 cores=0,2,4,6
/proc/8489/task/8490/stat : 8490 (SArTagnan) R 8487 8489 8042 0 -1 4202560 156448 0 0 0 118157 74 0 0 25 0 4 0 522389718 1850580992 371856 33554432000 4194304 4623224 140733630310304 18446744073709551615 4486238 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=8489/tid=8491] ppid=8487 vsize=1807208 CPUtime=1175.87 cores=0,2,4,6
/proc/8489/task/8491/stat : 8491 (SArTagnan) R 8487 8489 8042 0 -1 4202560 166811 0 0 0 117519 68 0 0 25 0 4 0 522389718 1850580992 371856 33554432000 4194304 4623224 140733630310304 18446744073709551615 4357641 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=8489/tid=8492] ppid=8487 vsize=1807208 CPUtime=1182.3 cores=0,2,4,6
/proc/8489/task/8492/stat : 8492 (SArTagnan) R 8487 8489 8042 0 -1 4202560 7120668 0 0 0 117037 1193 0 0 25 0 4 0 522389718 1850580992 371856 33554432000 4194304 4623224 140733630310304 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4722.71
Current children cumulated vsize (KiB) 1807208



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.7 s]
/proc/loadavg: 8.20 8.15 8.10 9/188 8596
/proc/meminfo: memFree=24958356/32951124 swapFree=67111352/67111528
[pid=8489] ppid=8487 vsize=1807208 CPUtime=4800.23 cores=0,2,4,6
/proc/8489/stat : 8489 (SArTagnan) R 8487 8489 8042 0 -1 4202496 8527557 0 0 0 478494 1529 0 0 25 0 4 0 522389718 1850580992 372600 33554432000 4194304 4623224 140733630310304 18446744073709551615 4355951 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/8489/statm: 451802 372600 422 105 0 447306 0
[pid=8489/tid=8490] ppid=8487 vsize=1807208 CPUtime=1201.72 cores=0,2,4,6
/proc/8489/task/8490/stat : 8490 (SArTagnan) R 8487 8489 8042 0 -1 4202560 156480 0 0 0 120098 74 0 0 25 0 4 0 522389718 1850580992 372600 33554432000 4194304 4623224 140733630310304 18446744073709551615 4486238 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=8489/tid=8491] ppid=8487 vsize=1807208 CPUtime=1195.16 cores=0,2,4,6
/proc/8489/task/8491/stat : 8491 (SArTagnan) R 8487 8489 8042 0 -1 4202560 166871 0 0 0 119448 68 0 0 25 0 4 0 522389718 1850580992 372600 33554432000 4194304 4623224 140733630310304 18446744073709551615 4357641 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=8489/tid=8492] ppid=8487 vsize=1807208 CPUtime=1201.72 cores=0,2,4,6
/proc/8489/task/8492/stat : 8492 (SArTagnan) R 8487 8489 8042 0 -1 4202560 7293170 0 0 0 118949 1223 0 0 25 0 4 0 522389718 1850580992 372600 33554432000 4194304 4623224 140733630310304 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4800.23
Current children cumulated vsize (KiB) 1807208

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): 1201.78
CPU time (s): 4800.33
CPU user time (s): 4784.97
CPU system time (s): 15.3627
CPU usage (%): 399.434
Max. virtual memory (cumulated for all children) (KiB): 1910964

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4784.97
system time used= 15.3627
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8527557
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= 1978
involuntary context switches= 70311

runsolver used 1.80972 second user time and 4.74828 second system time

The end

Launcher Data 

Begin job on node135 at 2011-04-29 22:11:59
IDJOB=3265348
IDBENCH=85542
IDSOLVER=1656
FILE ID=node135/3265348-1304107919
RUNJOBID= node135-1304107918-8477
PBS_JOBID= 13170648
Free space on /tmp= 71120 MiB

SOLVER NAME= SArTagnan 2011-03-24
BENCH NAME= SAT05/crafted/sabharwal05/counting/fphp/unsat/harder/fphp-020-019.shuffled-as.sat05-1232.cnf
COMMAND LINE= SArTagnan BENCHNAME -threads=NBCORE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3265348-1304107919/watcher-3265348-1304107919 -o /tmp/evaluation-result-3265348-1304107919/solver-3265348-1304107919 -C 4800 -W 1300 -M 15500  SArTagnan HOME/instance-3265348-1304107919.cnf -threads=4

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

MD5SUM BENCH= abb32bff5eb954e790612a6209864b5d
RANDOM SEED=1027905341

node135.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.851
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.70
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.851
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.851
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.851
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	: 6640.14
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.851
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.78
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.851
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.851
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.74
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.851
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.76
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      29722424 kB
Buffers:        916324 kB
Cached:        1729376 kB
SwapCached:        172 kB
Active:         119436 kB
Inactive:      2592056 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      29722424 kB
SwapTotal:    67111528 kB
SwapFree:     67111352 kB
Dirty:             420 kB
Writeback:           0 kB
AnonPages:       65268 kB
Mapped:          14500 kB
Slab:           453956 kB
PageTables:       4996 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   193312 kB
VmallocTotal: 34359738367 kB
VmallocUsed:     33868 kB
VmallocChunk: 34359703231 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 71108 MiB
End job on node135 at 2011-04-29 22:32:02