Trace number 3263500

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.22 1202.04

General information on the benchmark

NameSAT03/handmade/anton/UNSAT/
SGI_30_70_29_50_3-dir.shuffled-as.sat03-179.cnf
MD5SUM7f62d729a30ffc73b7fa61161ba43630
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables870
Number of clauses73400
Sum of the clauses size147612
Maximum clause length30
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 273371
Number of clauses of size 30
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 529

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

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

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


[startup+0 s]
/proc/loadavg: 8.03 8.01 7.65 5/180 9635
/proc/meminfo: memFree=29737264/32951124 swapFree=67111348/67111528
[pid=9635] ppid=9633 vsize=20544 CPUtime=0 cores=0,2,4,6
/proc/9635/stat : 9635 (SArTagnan) R 9633 9635 9165 0 -1 4202496 590 0 0 0 0 0 0 0 25 0 1 0 502520059 21037056 457 33554432000 4194304 4623224 140733212052128 18446744073709551615 254261616384 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/9635/statm: 5136 458 297 105 0 640 0

[startup+0.132568 s]
/proc/loadavg: 8.03 8.01 7.65 5/180 9635
/proc/meminfo: memFree=29737264/32951124 swapFree=67111348/67111528
[pid=9635] ppid=9633 vsize=255124 CPUtime=0.45 cores=0,2,4,6
/proc/9635/stat : 9635 (SArTagnan) R 9633 9635 9165 0 -1 4202496 4913 0 0 0 45 0 0 0 25 0 4 0 502520059 261246976 3545 33554432000 4194304 4623224 140733212052128 18446744073709551615 4510206 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/9635/statm: 63781 3545 343 105 0 59285 0
Current children cumulated CPU time (s) 0.45
Current children cumulated vsize (KiB) 255124

[startup+0.200557 s]
/proc/loadavg: 8.03 8.01 7.65 5/180 9635
/proc/meminfo: memFree=29737264/32951124 swapFree=67111348/67111528
[pid=9635] ppid=9633 vsize=256236 CPUtime=0.72 cores=0,2,4,6
/proc/9635/stat : 9635 (SArTagnan) R 9633 9635 9165 0 -1 4202496 6109 0 0 0 72 0 0 0 25 0 4 0 502520059 262385664 4187 33554432000 4194304 4623224 140733212052128 18446744073709551615 4510169 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/9635/statm: 64059 4187 343 105 0 59563 0
Current children cumulated CPU time (s) 0.72
Current children cumulated vsize (KiB) 256236

[startup+0.30054 s]
/proc/loadavg: 8.03 8.01 7.65 5/180 9635
/proc/meminfo: memFree=29737264/32951124 swapFree=67111348/67111528
[pid=9635] ppid=9633 vsize=256368 CPUtime=1.12 cores=0,2,4,6
/proc/9635/stat : 9635 (SArTagnan) R 9633 9635 9165 0 -1 4202496 7035 0 0 0 112 0 0 0 25 0 4 0 502520059 262520832 5113 33554432000 4194304 4623224 140733212052128 18446744073709551615 4510910 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/9635/statm: 64092 5113 344 105 0 59596 0
Current children cumulated CPU time (s) 1.12
Current children cumulated vsize (KiB) 256368

[startup+0.700469 s]
/proc/loadavg: 8.03 8.01 7.65 5/180 9635
/proc/meminfo: memFree=29737264/32951124 swapFree=67111348/67111528
[pid=9635] ppid=9633 vsize=260216 CPUtime=2.73 cores=0,2,4,6
/proc/9635/stat : 9635 (SArTagnan) R 9633 9635 9165 0 -1 4202496 10447 0 0 0 272 1 0 0 25 0 4 0 502520059 266461184 7688 33554432000 4194304 4623224 140733212052128 18446744073709551615 4510206 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/9635/statm: 65054 7688 344 105 0 60558 0
Current children cumulated CPU time (s) 2.73
Current children cumulated vsize (KiB) 260216

[startup+1.50033 s]
/proc/loadavg: 8.03 8.01 7.65 9/184 9639
/proc/meminfo: memFree=29669848/32951124 swapFree=67111348/67111528
[pid=9635] ppid=9633 vsize=262184 CPUtime=5.93 cores=0,2,4,6
/proc/9635/stat : 9635 (SArTagnan) R 9633 9635 9165 0 -1 4202496 14340 0 0 0 591 2 0 0 25 0 4 0 502520059 268476416 10946 33554432000 4194304 4623224 140733212052128 18446744073709551615 4510034 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/9635/statm: 65546 10946 355 105 0 61050 0
[pid=9635/tid=9637] ppid=9633 vsize=262184 CPUtime=1.47 cores=0,2,4,6
/proc/9635/task/9637/stat : 9637 (SArTagnan) R 9633 9635 9165 0 -1 4202560 2352 0 0 0 147 0 0 0 25 0 4 0 502520061 268476416 10946 33554432000 4194304 4623224 140733212052128 18446744073709551615 4376646 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=9635/tid=9638] ppid=9633 vsize=262184 CPUtime=1.47 cores=0,2,4,6
/proc/9635/task/9638/stat : 9638 (SArTagnan) R 9633 9635 9165 0 -1 4202560 2689 0 0 0 147 0 0 0 25 0 4 0 502520061 268476416 10946 33554432000 4194304 4623224 140733212052128 18446744073709551615 4366412 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=9635/tid=9639] ppid=9633 vsize=262184 CPUtime=1.47 cores=0,2,4,6
/proc/9635/task/9639/stat : 9639 (SArTagnan) R 9633 9635 9165 0 -1 4202560 2173 0 0 0 147 0 0 0 25 0 4 0 502520061 268476416 10946 33554432000 4194304 4623224 140733212052128 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 5.93
Current children cumulated vsize (KiB) 262184

[startup+3.10104 s]
/proc/loadavg: 8.03 8.01 7.65 9/184 9639
/proc/meminfo: memFree=29645172/32951124 swapFree=67111348/67111528
[pid=9635] ppid=9633 vsize=279992 CPUtime=12.32 cores=0,2,4,6
/proc/9635/stat : 9635 (SArTagnan) R 9633 9635 9165 0 -1 4202496 23457 0 0 0 1229 3 0 0 25 0 4 0 502520059 286711808 14706 33554432000 4194304 4623224 140733212052128 18446744073709551615 4510169 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/9635/statm: 69998 14706 403 105 0 65502 0
[pid=9635/tid=9637] ppid=9633 vsize=279992 CPUtime=3.07 cores=0,2,4,6
/proc/9635/task/9637/stat : 9637 (SArTagnan) R 9633 9635 9165 0 -1 4202560 4716 0 0 0 307 0 0 0 25 0 4 0 502520061 286711808 14706 33554432000 4194304 4623224 140733212052128 18446744073709551615 4376714 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=9635/tid=9638] ppid=9633 vsize=279992 CPUtime=3.07 cores=0,2,4,6
/proc/9635/task/9638/stat : 9638 (SArTagnan) R 9633 9635 9165 0 -1 4202560 4281 0 0 0 307 0 0 0 25 0 4 0 502520061 286711808 14707 33554432000 4194304 4623224 140733212052128 18446744073709551615 254261277729 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=9635/tid=9639] ppid=9633 vsize=279992 CPUtime=3.06 cores=0,2,4,6
/proc/9635/task/9639/stat : 9639 (SArTagnan) R 9633 9635 9165 0 -1 4202560 5613 0 0 0 306 0 0 0 25 0 4 0 502520061 286711808 14707 33554432000 4194304 4623224 140733212052128 18446744073709551615 4366391 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 12.32
Current children cumulated vsize (KiB) 279992

[startup+6.30047 s]
/proc/loadavg: 8.11 8.03 7.66 9/184 9639
/proc/meminfo: memFree=29585464/32951124 swapFree=67111348/67111528
[pid=9635] ppid=9633 vsize=289068 CPUtime=25.1 cores=0,2,4,6
/proc/9635/stat : 9635 (SArTagnan) R 9633 9635 9165 0 -1 4202496 34888 0 0 0 2505 5 0 0 25 0 4 0 502520059 296005632 20173 33554432000 4194304 4623224 140733212052128 18446744073709551615 4510169 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/9635/statm: 72267 20173 344 105 0 67771 0
[pid=9635/tid=9637] ppid=9633 vsize=289068 CPUtime=6.27 cores=0,2,4,6
/proc/9635/task/9637/stat : 9637 (SArTagnan) R 9633 9635 9165 0 -1 4202560 7253 0 0 0 626 1 0 0 25 0 4 0 502520061 296005632 20173 33554432000 4194304 4623224 140733212052128 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=9635/tid=9638] ppid=9633 vsize=289068 CPUtime=6.27 cores=0,2,4,6
/proc/9635/task/9638/stat : 9638 (SArTagnan) R 9633 9635 9165 0 -1 4202560 6812 0 0 0 626 1 0 0 25 0 4 0 502520061 296005632 20173 33554432000 4194304 4623224 140733212052128 18446744073709551615 4376711 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=9635/tid=9639] ppid=9633 vsize=289068 CPUtime=6.24 cores=0,2,4,6
/proc/9635/task/9639/stat : 9639 (SArTagnan) R 9633 9635 9165 0 -1 4202560 8575 0 0 0 623 1 0 0 25 0 4 0 502520061 296005632 20173 33554432000 4194304 4623224 140733212052128 18446744073709551615 4545376 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 25.1
Current children cumulated vsize (KiB) 289068

[startup+12.7003 s]
/proc/loadavg: 8.10 8.02 7.66 9/184 9640
/proc/meminfo: memFree=29499936/32951124 swapFree=67111348/67111528
[pid=9635] ppid=9633 vsize=312308 CPUtime=50.67 cores=0,2,4,6
/proc/9635/stat : 9635 (SArTagnan) R 9633 9635 9165 0 -1 4202496 80925 0 0 0 5053 14 0 0 25 0 4 0 502520059 319803392 30347 33554432000 4194304 4623224 140733212052128 18446744073709551615 4510189 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/9635/statm: 78077 30347 352 105 0 73581 0
[pid=9635/tid=9637] ppid=9633 vsize=312308 CPUtime=12.66 cores=0,2,4,6
/proc/9635/task/9637/stat : 9637 (SArTagnan) R 9633 9635 9165 0 -1 4202560 10727 0 0 0 1265 1 0 0 25 0 4 0 502520061 319803392 30347 33554432000 4194304 4623224 140733212052128 18446744073709551615 4376790 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=9635/tid=9638] ppid=9633 vsize=312308 CPUtime=12.67 cores=0,2,4,6
/proc/9635/task/9638/stat : 9638 (SArTagnan) R 9633 9635 9165 0 -1 4202560 11835 0 0 0 1264 3 0 0 25 0 4 0 502520061 319803392 30347 33554432000 4194304 4623224 140733212052128 18446744073709551615 4377579 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=9635/tid=9639] ppid=9633 vsize=312308 CPUtime=12.61 cores=0,2,4,6
/proc/9635/task/9639/stat : 9639 (SArTagnan) R 9633 9635 9165 0 -1 4202560 44528 0 0 0 1255 6 0 0 25 0 4 0 502520061 319803392 30347 33554432000 4194304 4623224 140733212052128 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 50.67
Current children cumulated vsize (KiB) 312308

[startup+25.5011 s]
/proc/loadavg: 8.08 8.02 7.66 9/184 9640
/proc/meminfo: memFree=29383860/32951124 swapFree=67111348/67111528
[pid=9635] ppid=9633 vsize=344684 CPUtime=101.8 cores=0,2,4,6
/proc/9635/stat : 9635 (SArTagnan) R 9633 9635 9165 0 -1 4202496 135793 0 0 0 10157 23 0 0 25 0 4 0 502520059 352956416 42272 33554432000 4194304 4623224 140733212052128 18446744073709551615 4510167 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/9635/statm: 86171 42272 350 105 0 81675 0
[pid=9635/tid=9637] ppid=9633 vsize=344684 CPUtime=25.47 cores=0,2,4,6
/proc/9635/task/9637/stat : 9637 (SArTagnan) R 9633 9635 9165 0 -1 4202560 18357 0 0 0 2544 3 0 0 25 0 4 0 502520061 352956416 42272 33554432000 4194304 4623224 140733212052128 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=9635/tid=9638] ppid=9633 vsize=344684 CPUtime=25.47 cores=0,2,4,6
/proc/9635/task/9638/stat : 9638 (SArTagnan) R 9633 9635 9165 0 -1 4202560 17813 0 0 0 2542 5 0 0 25 0 4 0 502520061 352956416 42272 33554432000 4194304 4623224 140733212052128 18446744073709551615 4373048 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=9635/tid=9639] ppid=9633 vsize=344684 CPUtime=25.34 cores=0,2,4,6
/proc/9635/task/9639/stat : 9639 (SArTagnan) R 9633 9635 9165 0 -1 4202560 80431 0 0 0 2523 11 0 0 25 0 4 0 502520061 352956416 42272 33554432000 4194304 4623224 140733212052128 18446744073709551615 4377128 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 101.8
Current children cumulated vsize (KiB) 344684

[startup+51.1005 s]
/proc/loadavg: 8.12 8.04 7.67 9/184 9640
/proc/meminfo: memFree=29146596/32951124 swapFree=67111348/67111528
[pid=9635] ppid=9633 vsize=463760 CPUtime=204.06 cores=0,2,4,6
/proc/9635/stat : 9635 (SArTagnan) R 9633 9635 9165 0 -1 4202496 365297 0 0 0 20344 62 0 0 25 0 4 0 502520059 474890240 70945 33554432000 4194304 4623224 140733212052128 18446744073709551615 4510169 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/9635/statm: 115940 70945 362 105 0 111444 0
[pid=9635/tid=9637] ppid=9633 vsize=463760 CPUtime=51.07 cores=0,2,4,6
/proc/9635/task/9637/stat : 9637 (SArTagnan) R 9633 9635 9165 0 -1 4202560 27874 0 0 0 5102 5 0 0 25 0 4 0 502520061 474890240 70945 33554432000 4194304 4623224 140733212052128 18446744073709551615 4376711 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=9635/tid=9638] ppid=9633 vsize=463760 CPUtime=51.07 cores=0,2,4,6
/proc/9635/task/9638/stat : 9638 (SArTagnan) R 9633 9635 9165 0 -1 4202560 28064 0 0 0 5098 9 0 0 25 0 4 0 502520061 474890240 70945 33554432000 4194304 4623224 140733212052128 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=9635/tid=9639] ppid=9633 vsize=463760 CPUtime=50.81 cores=0,2,4,6
/proc/9635/task/9639/stat : 9639 (SArTagnan) R 9633 9635 9165 0 -1 4202560 255157 0 0 0 5043 38 0 0 25 0 4 0 502520061 474890240 70945 33554432000 4194304 4623224 140733212052128 18446744073709551615 4545344 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 204.06
Current children cumulated vsize (KiB) 463760

[startup+102.3 s]
/proc/loadavg: 8.08 8.04 7.70 9/184 9642
/proc/meminfo: memFree=28749904/32951124 swapFree=67111348/67111528
[pid=9635] ppid=9633 vsize=681392 CPUtime=408.6 cores=0,2,4,6
/proc/9635/stat : 9635 (SArTagnan) R 9633 9635 9165 0 -1 4202496 650014 0 0 0 40751 109 0 0 25 0 4 0 502520059 697745408 121493 33554432000 4194304 4623224 140733212052128 18446744073709551615 4510090 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/9635/statm: 170348 121493 481 105 0 165852 0
[pid=9635/tid=9637] ppid=9633 vsize=681392 CPUtime=102.28 cores=0,2,4,6
/proc/9635/task/9637/stat : 9637 (SArTagnan) R 9633 9635 9165 0 -1 4202560 42623 0 0 0 10219 9 0 0 25 0 4 0 502520061 697745408 121493 33554432000 4194304 4623224 140733212052128 18446744073709551615 4376806 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=9635/tid=9638] ppid=9633 vsize=681392 CPUtime=102.27 cores=0,2,4,6
/proc/9635/task/9638/stat : 9638 (SArTagnan) R 9633 9635 9165 0 -1 4202560 40222 0 0 0 10212 15 0 0 25 0 4 0 502520061 697745408 121493 33554432000 4194304 4623224 140733212052128 18446744073709551615 4376711 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=9635/tid=9639] ppid=9633 vsize=681392 CPUtime=101.73 cores=0,2,4,6
/proc/9635/task/9639/stat : 9639 (SArTagnan) R 9633 9635 9165 0 -1 4202560 447841 0 0 0 10108 65 0 0 25 0 4 0 502520061 697745408 121493 33554432000 4194304 4623224 140733212052128 18446744073709551615 4376711 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 408.6
Current children cumulated vsize (KiB) 681392

[startup+162.301 s]
/proc/loadavg: 8.07 8.05 7.72 9/184 9643
/proc/meminfo: memFree=28344908/32951124 swapFree=67111348/67111528
[pid=9635] ppid=9633 vsize=907420 CPUtime=648.26 cores=0,2,4,6
/proc/9635/stat : 9635 (SArTagnan) R 9633 9635 9165 0 -1 4202496 1242340 0 0 0 64625 201 0 0 25 0 4 0 502520059 929198080 168138 33554432000 4194304 4623224 140733212052128 18446744073709551615 4510064 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/9635/statm: 226855 168138 687 105 0 222359 0
[pid=9635/tid=9637] ppid=9633 vsize=907420 CPUtime=162.27 cores=0,2,4,6
/proc/9635/task/9637/stat : 9637 (SArTagnan) R 9633 9635 9165 0 -1 4202560 58786 0 0 0 16216 11 0 0 25 0 4 0 502520061 929198080 168138 33554432000 4194304 4623224 140733212052128 18446744073709551615 4376757 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=9635/tid=9638] ppid=9633 vsize=907420 CPUtime=162.26 cores=0,2,4,6
/proc/9635/task/9638/stat : 9638 (SArTagnan) R 9633 9635 9165 0 -1 4202560 54817 0 0 0 16208 18 0 0 25 0 4 0 502520061 929198080 168138 33554432000 4194304 4623224 140733212052128 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=9635/tid=9639] ppid=9633 vsize=907420 CPUtime=161.41 cores=0,2,4,6
/proc/9635/task/9639/stat : 9639 (SArTagnan) R 9633 9635 9165 0 -1 4202560 944582 0 0 0 15999 142 0 0 25 0 4 0 502520061 929198080 168138 33554432000 4194304 4623224 140733212052128 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 648.26
Current children cumulated vsize (KiB) 907420

[startup+222.307 s]
/proc/loadavg: 8.02 8.04 7.73 9/184 9645
/proc/meminfo: memFree=27401012/32951124 swapFree=67111348/67111528
[pid=9635] ppid=9633 vsize=1887400 CPUtime=887.93 cores=0,2,4,6
/proc/9635/stat : 9635 (SArTagnan) R 9633 9635 9165 0 -1 4202496 1841130 0 0 0 88504 289 0 0 25 0 4 0 502520059 1932697600 358593 33554432000 4194304 4623224 140733212052128 18446744073709551615 4510130 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/9635/statm: 471850 358593 344 105 0 467354 0
[pid=9635/tid=9637] ppid=9633 vsize=1887400 CPUtime=222.27 cores=0,2,4,6
/proc/9635/task/9637/stat : 9637 (SArTagnan) R 9633 9635 9165 0 -1 4202560 87732 0 0 0 22210 17 0 0 25 0 4 0 502520061 1932697600 358593 33554432000 4194304 4623224 140733212052128 18446744073709551615 4376659 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=9635/tid=9638] ppid=9633 vsize=1887400 CPUtime=222.26 cores=0,2,4,6
/proc/9635/task/9638/stat : 9638 (SArTagnan) R 9633 9635 9165 0 -1 4202560 73590 0 0 0 22203 23 0 0 25 0 4 0 502520061 1932697600 358593 33554432000 4194304 4623224 140733212052128 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=9635/tid=9639] ppid=9633 vsize=1887400 CPUtime=221.07 cores=0,2,4,6
/proc/9635/task/9639/stat : 9639 (SArTagnan) R 9633 9635 9165 0 -1 4202560 1035448 0 0 0 21952 155 0 0 25 0 4 0 502520061 1932697600 358593 33554432000 4194304 4623224 140733212052128 18446744073709551615 4364235 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 887.93
Current children cumulated vsize (KiB) 1887400

[startup+282.3 s]

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


[startup+702.301 s]
/proc/loadavg: 8.03 8.05 7.84 9/184 9661
/proc/meminfo: memFree=25695692/32951124 swapFree=67111348/67111528
[pid=9635] ppid=9633 vsize=2858948 CPUtime=2804.36 cores=0,2,4,6
/proc/9635/stat : 9635 (SArTagnan) R 9633 9635 9165 0 -1 4202496 5441862 0 0 0 279568 868 0 0 25 0 4 0 502520059 2927562752 596763 33554432000 4194304 4623224 140733212052128 18446744073709551615 4510090 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/9635/statm: 714737 596763 344 105 0 710241 0
[pid=9635/tid=9637] ppid=9633 vsize=2858948 CPUtime=701.6 cores=0,2,4,6
/proc/9635/task/9637/stat : 9637 (SArTagnan) R 9633 9635 9165 0 -1 4202560 149160 0 0 0 70121 39 0 0 25 0 4 0 502520061 2927562752 596763 33554432000 4194304 4623224 140733212052128 18446744073709551615 4357768 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=9635/tid=9638] ppid=9633 vsize=2858948 CPUtime=702.22 cores=0,2,4,6
/proc/9635/task/9638/stat : 9638 (SArTagnan) R 9633 9635 9165 0 -1 4202560 129896 0 0 0 70167 55 0 0 25 0 4 0 502520061 2927562752 596763 33554432000 4194304 4623224 140733212052128 18446744073709551615 4376892 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=9635/tid=9639] ppid=9633 vsize=2858948 CPUtime=698.45 cores=0,2,4,6
/proc/9635/task/9639/stat : 9639 (SArTagnan) R 9633 9635 9165 0 -1 4202560 4029622 0 0 0 69246 599 0 0 25 0 4 0 502520061 2927562752 596763 33554432000 4194304 4623224 140733212052128 18446744073709551615 4366369 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2804.36
Current children cumulated vsize (KiB) 2858948

[startup+762.301 s]
/proc/loadavg: 8.01 8.04 7.85 9/184 9663
/proc/meminfo: memFree=25622496/32951124 swapFree=67111348/67111528
[pid=9635] ppid=9633 vsize=2861192 CPUtime=3044.05 cores=0,2,4,6
/proc/9635/stat : 9635 (SArTagnan) R 9633 9635 9165 0 -1 4202496 5589360 0 0 0 303514 891 0 0 25 0 4 0 502520059 2929860608 607274 33554432000 4194304 4623224 140733212052128 18446744073709551615 4510090 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/9635/statm: 715298 607274 344 105 0 710802 0
[pid=9635/tid=9637] ppid=9633 vsize=2861192 CPUtime=761.61 cores=0,2,4,6
/proc/9635/task/9637/stat : 9637 (SArTagnan) R 9633 9635 9165 0 -1 4202560 149431 0 0 0 76122 39 0 0 25 0 4 0 502520061 2929860608 607274 33554432000 4194304 4623224 140733212052128 18446744073709551615 4357610 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=9635/tid=9638] ppid=9633 vsize=2861192 CPUtime=762.22 cores=0,2,4,6
/proc/9635/task/9638/stat : 9638 (SArTagnan) R 9633 9635 9165 0 -1 4202560 130813 0 0 0 76167 55 0 0 25 0 4 0 502520061 2929860608 607274 33554432000 4194304 4623224 140733212052128 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=9635/tid=9639] ppid=9633 vsize=2861192 CPUtime=758.13 cores=0,2,4,6
/proc/9635/task/9639/stat : 9639 (SArTagnan) R 9633 9635 9165 0 -1 4202560 4164765 0 0 0 75194 619 0 0 25 0 4 0 502520061 2929860608 607274 33554432000 4194304 4623224 140733212052128 18446744073709551615 4376711 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3044.05
Current children cumulated vsize (KiB) 2861192

[startup+822.301 s]
/proc/loadavg: 8.00 8.03 7.85 9/184 9664
/proc/meminfo: memFree=25552292/32951124 swapFree=67111348/67111528
[pid=9635] ppid=9633 vsize=2875184 CPUtime=3283.72 cores=0,2,4,6
/proc/9635/stat : 9635 (SArTagnan) R 9633 9635 9165 0 -1 4202496 5731761 0 0 0 327460 912 0 0 25 0 4 0 502520059 2944188416 616106 33554432000 4194304 4623224 140733212052128 18446744073709551615 4414955 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/9635/statm: 718796 616106 344 105 0 714300 0
[pid=9635/tid=9637] ppid=9633 vsize=2875184 CPUtime=821.6 cores=0,2,4,6
/proc/9635/task/9637/stat : 9637 (SArTagnan) R 9633 9635 9165 0 -1 4202560 149524 0 0 0 82121 39 0 0 25 0 4 0 502520061 2944188416 616106 33554432000 4194304 4623224 140733212052128 18446744073709551615 4486238 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=9635/tid=9638] ppid=9633 vsize=2875184 CPUtime=822.22 cores=0,2,4,6
/proc/9635/task/9638/stat : 9638 (SArTagnan) R 9633 9635 9165 0 -1 4202560 135108 0 0 0 82164 58 0 0 25 0 4 0 502520061 2944188416 616106 33554432000 4194304 4623224 140733212052128 18446744073709551615 4377128 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=9635/tid=9639] ppid=9633 vsize=2875184 CPUtime=817.8 cores=0,2,4,6
/proc/9635/task/9639/stat : 9639 (SArTagnan) R 9633 9635 9165 0 -1 4202560 4297443 0 0 0 81144 636 0 0 25 0 4 0 502520061 2944188416 616106 33554432000 4194304 4623224 140733212052128 18446744073709551615 4364232 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3283.72
Current children cumulated vsize (KiB) 2875184

[startup+882.307 s]
/proc/loadavg: 8.00 8.02 7.86 9/184 9666
/proc/meminfo: memFree=25371852/32951124 swapFree=67111348/67111528
[pid=9635] ppid=9633 vsize=2878264 CPUtime=3523.41 cores=0,2,4,6
/proc/9635/stat : 9635 (SArTagnan) R 9633 9635 9165 0 -1 4202496 5955997 0 0 0 351396 945 0 0 25 0 4 0 502520059 2947342336 621319 33554432000 4194304 4623224 140733212052128 18446744073709551615 4517541 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/9635/statm: 719566 621319 344 105 0 715070 0
[pid=9635/tid=9637] ppid=9633 vsize=2878264 CPUtime=881.61 cores=0,2,4,6
/proc/9635/task/9637/stat : 9637 (SArTagnan) R 9633 9635 9165 0 -1 4202560 149885 0 0 0 88122 39 0 0 25 0 4 0 502520061 2947342336 621319 33554432000 4194304 4623224 140733212052128 18446744073709551615 4486238 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=9635/tid=9638] ppid=9633 vsize=2878264 CPUtime=882.22 cores=0,2,4,6
/proc/9635/task/9638/stat : 9638 (SArTagnan) R 9633 9635 9165 0 -1 4202560 136029 0 0 0 88164 58 0 0 25 0 4 0 502520061 2947342336 621319 33554432000 4194304 4623224 140733212052128 18446744073709551615 4376711 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=9635/tid=9639] ppid=9633 vsize=2878264 CPUtime=877.48 cores=0,2,4,6
/proc/9635/task/9639/stat : 9639 (SArTagnan) R 9633 9635 9165 0 -1 4202560 4505392 0 0 0 87083 665 0 0 25 0 4 0 502520061 2947342336 621319 33554432000 4194304 4623224 140733212052128 18446744073709551615 4577650 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3523.41
Current children cumulated vsize (KiB) 2878264

[startup+942.301 s]
/proc/loadavg: 8.04 8.03 7.87 9/184 9667
/proc/meminfo: memFree=25077084/32951124 swapFree=67111348/67111528
[pid=9635] ppid=9633 vsize=2889220 CPUtime=3763.07 cores=0,2,4,6
/proc/9635/stat : 9635 (SArTagnan) R 9633 9635 9165 0 -1 4202496 6373962 0 0 0 375297 1010 0 0 25 0 4 0 502520059 2958561280 630969 33554432000 4194304 4623224 140733212052128 18446744073709551615 4510169 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/9635/statm: 722305 630969 344 105 0 717809 0
[pid=9635/tid=9637] ppid=9633 vsize=2889220 CPUtime=941.6 cores=0,2,4,6
/proc/9635/task/9637/stat : 9637 (SArTagnan) R 9633 9635 9165 0 -1 4202560 150110 0 0 0 94121 39 0 0 25 0 4 0 502520061 2958561280 630969 33554432000 4194304 4623224 140733212052128 18446744073709551615 4486238 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=9635/tid=9638] ppid=9633 vsize=2889220 CPUtime=942.21 cores=0,2,4,6
/proc/9635/task/9638/stat : 9638 (SArTagnan) R 9633 9635 9165 0 -1 4202560 138903 0 0 0 94161 60 0 0 25 0 4 0 502520061 2958561280 630969 33554432000 4194304 4623224 140733212052128 18446744073709551615 4366443 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=9635/tid=9639] ppid=9633 vsize=2889220 CPUtime=937.15 cores=0,2,4,6
/proc/9635/task/9639/stat : 9639 (SArTagnan) R 9633 9635 9165 0 -1 4202560 4914395 0 0 0 92987 728 0 0 25 0 4 0 502520061 2958561280 630969 33554432000 4194304 4623224 140733212052128 18446744073709551615 4545939 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3763.07
Current children cumulated vsize (KiB) 2889220

[startup+1002.3 s]
/proc/loadavg: 8.08 8.04 7.88 9/184 9669
/proc/meminfo: memFree=24866764/32951124 swapFree=67111348/67111528
[pid=9635] ppid=9633 vsize=3518172 CPUtime=4002.71 cores=0,2,4,6
/proc/9635/stat : 9635 (SArTagnan) R 9633 9635 9165 0 -1 4202496 6808751 0 0 0 399202 1069 0 0 25 0 4 0 502520059 3602608128 677963 33554432000 4194304 4623224 140733212052128 18446744073709551615 4510064 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/9635/statm: 879543 677963 344 105 0 875047 0
[pid=9635/tid=9637] ppid=9633 vsize=3518172 CPUtime=1001.61 cores=0,2,4,6
/proc/9635/task/9637/stat : 9637 (SArTagnan) R 9633 9635 9165 0 -1 4202560 156243 0 0 0 100121 40 0 0 25 0 4 0 502520061 3602608128 677963 33554432000 4194304 4623224 140733212052128 18446744073709551615 4357614 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=9635/tid=9638] ppid=9633 vsize=3518172 CPUtime=1002.22 cores=0,2,4,6
/proc/9635/task/9638/stat : 9638 (SArTagnan) R 9633 9635 9165 0 -1 4202560 139970 0 0 0 100161 61 0 0 25 0 4 0 502520061 3602608128 677963 33554432000 4194304 4623224 140733212052128 18446744073709551615 4376629 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=9635/tid=9639] ppid=9633 vsize=3518172 CPUtime=996.79 cores=0,2,4,6
/proc/9635/task/9639/stat : 9639 (SArTagnan) R 9633 9635 9165 0 -1 4202560 5044253 0 0 0 98931 748 0 0 25 0 4 0 502520061 3602608128 677963 33554432000 4194304 4623224 140733212052128 18446744073709551615 4545864 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4002.71
Current children cumulated vsize (KiB) 3518172

[startup+1062.3 s]
/proc/loadavg: 8.10 8.04 7.89 9/184 9670
/proc/meminfo: memFree=24723536/32951124 swapFree=67111348/67111528
[pid=9635] ppid=9633 vsize=3608752 CPUtime=4242.39 cores=0,2,4,6
/proc/9635/stat : 9635 (SArTagnan) R 9633 9635 9165 0 -1 4202496 6875490 0 0 0 423160 1079 0 0 25 0 4 0 502520059 3695362048 685813 33554432000 4194304 4623224 140733212052128 18446744073709551615 4510486 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/9635/statm: 902188 685813 360 105 0 897692 0
[pid=9635/tid=9637] ppid=9633 vsize=3608752 CPUtime=1061.61 cores=0,2,4,6
/proc/9635/task/9637/stat : 9637 (SArTagnan) R 9633 9635 9165 0 -1 4202560 156387 0 0 0 106121 40 0 0 25 0 4 0 502520061 3695362048 685813 33554432000 4194304 4623224 140733212052128 18446744073709551615 4357901 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=9635/tid=9638] ppid=9633 vsize=3608752 CPUtime=1062.22 cores=0,2,4,6
/proc/9635/task/9638/stat : 9638 (SArTagnan) R 9633 9635 9165 0 -1 4202560 140590 0 0 0 106161 61 0 0 25 0 4 0 502520061 3695362048 685813 33554432000 4194304 4623224 140733212052128 18446744073709551615 4376920 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=9635/tid=9639] ppid=9633 vsize=3608752 CPUtime=1056.47 cores=0,2,4,6
/proc/9635/task/9639/stat : 9639 (SArTagnan) R 9633 9635 9165 0 -1 4202560 5061345 0 0 0 104896 751 0 0 25 0 4 0 502520061 3695362048 685813 33554432000 4194304 4623224 140733212052128 18446744073709551615 4364232 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4242.39
Current children cumulated vsize (KiB) 3608752

[startup+1122.3 s]
/proc/loadavg: 8.13 8.06 7.91 9/184 9672
/proc/meminfo: memFree=24574716/32951124 swapFree=67111348/67111528
[pid=9635] ppid=9633 vsize=3608752 CPUtime=4482.07 cores=0,2,4,6
/proc/9635/stat : 9635 (SArTagnan) R 9633 9635 9165 0 -1 4202496 6880520 0 0 0 447126 1081 0 0 25 0 4 0 502520059 3695362048 690753 33554432000 4194304 4623224 140733212052128 18446744073709551615 4414880 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/9635/statm: 902188 690753 360 105 0 897692 0
[pid=9635/tid=9637] ppid=9633 vsize=3608752 CPUtime=1121.61 cores=0,2,4,6
/proc/9635/task/9637/stat : 9637 (SArTagnan) R 9633 9635 9165 0 -1 4202560 156553 0 0 0 112121 40 0 0 25 0 4 0 502520061 3695362048 690753 33554432000 4194304 4623224 140733212052128 18446744073709551615 4357614 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=9635/tid=9638] ppid=9633 vsize=3608752 CPUtime=1122.22 cores=0,2,4,6
/proc/9635/task/9638/stat : 9638 (SArTagnan) R 9633 9635 9165 0 -1 4202560 141058 0 0 0 112160 62 0 0 25 0 4 0 502520061 3695362048 690753 33554432000 4194304 4623224 140733212052128 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=9635/tid=9639] ppid=9633 vsize=3608752 CPUtime=1116.14 cores=0,2,4,6
/proc/9635/task/9639/stat : 9639 (SArTagnan) R 9633 9635 9165 0 -1 4202560 5062011 0 0 0 110863 751 0 0 25 0 4 0 502520061 3695362048 690753 33554432000 4194304 4623224 140733212052128 18446744073709551615 4376625 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4482.07
Current children cumulated vsize (KiB) 3608752

[startup+1182.3 s]
/proc/loadavg: 8.22 8.10 7.93 9/184 9674
/proc/meminfo: memFree=24307732/32951124 swapFree=67111348/67111528
[pid=9635] ppid=9633 vsize=3646900 CPUtime=4721.75 cores=0,2,4,6
/proc/9635/stat : 9635 (SArTagnan) R 9633 9635 9165 0 -1 4202496 6940425 0 0 0 471086 1089 0 0 25 0 4 0 502520059 3734425600 722748 33554432000 4194304 4623224 140733212052128 18446744073709551615 4517541 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/9635/statm: 911725 722748 344 105 0 907229 0
[pid=9635/tid=9637] ppid=9633 vsize=3646900 CPUtime=1181.61 cores=0,2,4,6
/proc/9635/task/9637/stat : 9637 (SArTagnan) R 9633 9635 9165 0 -1 4202560 157952 0 0 0 118121 40 0 0 25 0 4 0 502520061 3734425600 722748 33554432000 4194304 4623224 140733212052128 18446744073709551615 4357639 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=9635/tid=9638] ppid=9633 vsize=3646900 CPUtime=1182.22 cores=0,2,4,6
/proc/9635/task/9638/stat : 9638 (SArTagnan) R 9633 9635 9165 0 -1 4202560 141335 0 0 0 118160 62 0 0 25 0 4 0 502520061 3734425600 722748 33554432000 4194304 4623224 140733212052128 18446744073709551615 4377128 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=9635/tid=9639] ppid=9633 vsize=3646900 CPUtime=1175.82 cores=0,2,4,6
/proc/9635/task/9639/stat : 9639 (SArTagnan) R 9633 9635 9165 0 -1 4202560 5092501 0 0 0 116826 756 0 0 25 0 4 0 502520061 3734425600 722748 33554432000 4194304 4623224 140733212052128 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4721.75
Current children cumulated vsize (KiB) 3646900



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.9 s]
/proc/loadavg: 8.15 8.09 7.93 5/179 9675
/proc/meminfo: memFree=26838352/32951124 swapFree=67111348/67111528
[pid=9635] ppid=9633 vsize=3648004 CPUtime=4800.06 cores=0,2,4,6
/proc/9635/stat : 9635 (SArTagnan) R 9633 9635 9165 0 -1 4202496 6943097 0 0 0 478915 1091 0 0 25 0 4 0 502520059 3735556096 725299 33554432000 4194304 4623224 140733212052128 18446744073709551615 4510090 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/9635/statm: 912001 725299 344 105 0 907505 0
[pid=9635/tid=9637] ppid=9633 vsize=3648004 CPUtime=1201.22 cores=0,2,4,6
/proc/9635/task/9637/stat : 9637 (SArTagnan) R 9633 9635 9165 0 -1 4202560 158299 0 0 0 120082 40 0 0 25 0 4 0 502520061 3735556096 725299 33554432000 4194304 4623224 140733212052128 18446744073709551615 4357641 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=9635/tid=9638] ppid=9633 vsize=3648004 CPUtime=1201.82 cores=0,2,4,6
/proc/9635/task/9638/stat : 9638 (SArTagnan) R 9633 9635 9165 0 -1 4202560 142271 0 0 0 120119 63 0 0 25 0 4 0 502520061 3735556096 725299 33554432000 4194304 4623224 140733212052128 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=9635/tid=9639] ppid=9633 vsize=3648004 CPUtime=1195.31 cores=0,2,4,6
/proc/9635/task/9639/stat : 9639 (SArTagnan) R 9633 9635 9165 0 -1 4202560 5092766 0 0 0 118775 756 0 0 25 0 4 0 502520061 3735556096 725299 33554432000 4194304 4623224 140733212052128 18446744073709551615 4364911 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4800.06
Current children cumulated vsize (KiB) 3648004

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

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

[startup+1202.01 s]
/proc/loadavg: 8.15 8.09 7.93 5/179 9675
/proc/meminfo: memFree=26838352/32951124 swapFree=67111348/67111528
[pid=9635] ppid=9633 vsize=0 CPUtime=4800.18 cores=0,2,4,6
/proc/9635/stat : 9635 (SArTagnan) Z 9633 9635 9165 0 -1 4203548 6943097 0 0 0 478917 1101 0 0 25 0 2 0 502520059 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/9635/statm: 0 0 0 0 0 0 0
[pid=9635/tid=9639] ppid=9633 vsize=0 CPUtime=1195.42 cores=0,2,4,6
/proc/9635/task/9639/stat : 9639 (SArTagnan) R 9633 9635 9165 0 -1 4203588 5092766 0 0 0 118776 766 0 0 25 0 2 0 502520061 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4800.18
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1202.04
CPU time (s): 4800.22
CPU user time (s): 4789.17
CPU system time (s): 11.0433
CPU usage (%): 399.339
Max. virtual memory (cumulated for all children) (KiB): 4390788

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4789.17
system time used= 11.0433
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 6943097
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= 4603
involuntary context switches= 22187

runsolver used 1.9957 second user time and 4.51731 second system time

The end

Launcher Data 

Begin job on node140 at 2011-04-29 20:17:27
IDJOB=3263500
IDBENCH=83982
IDSOLVER=1656
FILE ID=node140/3263500-1304101047
RUNJOBID= node140-1304099843-9509
PBS_JOBID= 13170605
Free space on /tmp= 72660 MiB

SOLVER NAME= SArTagnan 2011-03-24
BENCH NAME= SAT03/handmade/anton/UNSAT/SGI_30_70_29_50_3-dir.shuffled-as.sat03-179.cnf
COMMAND LINE= SArTagnan BENCHNAME -threads=NBCORE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3263500-1304101047/watcher-3263500-1304101047 -o /tmp/evaluation-result-3263500-1304101047/solver-3263500-1304101047 -C 4800 -W 1300 -M 15500  SArTagnan HOME/instance-3263500-1304101047.cnf -threads=4

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

MD5SUM BENCH= 7f62d729a30ffc73b7fa61161ba43630
RANDOM SEED=1088909093

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

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      29737668 kB
Buffers:       1005516 kB
Cached:        1645060 kB
SwapCached:        180 kB
Active:         274372 kB
Inactive:      2449140 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      29737668 kB
SwapTotal:    67111528 kB
SwapFree:     67111348 kB
Dirty:            1988 kB
Writeback:           0 kB
AnonPages:       72152 kB
Mapped:          15072 kB
Slab:           426360 kB
PageTables:       4656 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   245156 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= 72664 MiB
End job on node140 at 2011-04-29 20:37:31