Trace number 3258748

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.39 1201.92

General information on the benchmark

NameCRAFTED/rbsat/random/
forced/rbsat-v2640c305320gyes3.cnf
MD5SUMd6877629cc818d7e31dc245fb95f0588
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 variables2640
Number of clauses305320
Sum of the clauses size613120
Maximum clause length33
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 2305240
Number of clauses of size 30
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 580

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

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

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


[startup+0 s]
/proc/loadavg: 2.03 3.13 3.48 5/180 16875
/proc/meminfo: memFree=18458836/32951124 swapFree=67110396/67111528
[pid=16875] ppid=16873 vsize=26132 CPUtime=0 cores=1,3,5,7
/proc/16875/stat : 16875 (SArTagnan) R 16873 16875 14760 0 -1 4202496 626 0 0 0 0 0 0 0 21 0 1 0 595789196 26759168 501 33554432000 4194304 4623224 140733282987296 18446744073709551615 4366247 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/16875/statm: 6533 501 297 105 0 2037 0

[startup+0.051721 s]
/proc/loadavg: 2.03 3.13 3.48 5/180 16875
/proc/meminfo: memFree=18458836/32951124 swapFree=67110396/67111528
[pid=16875] ppid=16873 vsize=28976 CPUtime=0.04 cores=1,3,5,7
/proc/16875/stat : 16875 (SArTagnan) R 16873 16875 14760 0 -1 4202496 2656 0 0 0 4 0 0 0 21 0 1 0 595789196 29671424 1107 33554432000 4194304 4623224 140733282987296 18446744073709551615 224284925696 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/16875/statm: 7244 1108 297 105 0 2748 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 28976

[startup+0.100681 s]
/proc/loadavg: 2.03 3.13 3.48 5/180 16875
/proc/meminfo: memFree=18458836/32951124 swapFree=67110396/67111528
[pid=16875] ppid=16873 vsize=207908 CPUtime=0.14 cores=1,3,5,7
/proc/16875/stat : 16875 (SArTagnan) R 16873 16875 14760 0 -1 4202496 7402 0 0 0 14 0 0 0 23 0 4 0 595789196 212897792 5072 33554432000 4194304 4623224 140733282987296 18446744073709551615 4366247 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/16875/statm: 51977 5073 332 105 0 47481 0
Current children cumulated CPU time (s) 0.14
Current children cumulated vsize (KiB) 207908

[startup+0.300649 s]
/proc/loadavg: 2.03 3.13 3.48 5/180 16875
/proc/meminfo: memFree=18458836/32951124 swapFree=67110396/67111528
[pid=16875] ppid=16873 vsize=277496 CPUtime=0.94 cores=1,3,5,7
/proc/16875/stat : 16875 (SArTagnan) R 16873 16875 14760 0 -1 4202496 10900 0 0 0 93 1 0 0 24 0 4 0 595789196 284155904 8054 33554432000 4194304 4623224 140733282987296 18446744073709551615 4510169 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/16875/statm: 69374 8055 341 105 0 64878 0
Current children cumulated CPU time (s) 0.94
Current children cumulated vsize (KiB) 277496

[startup+0.700583 s]
/proc/loadavg: 2.03 3.13 3.48 5/180 16875
/proc/meminfo: memFree=18458836/32951124 swapFree=67110396/67111528
[pid=16875] ppid=16873 vsize=281292 CPUtime=2.54 cores=1,3,5,7
/proc/16875/stat : 16875 (SArTagnan) R 16873 16875 14760 0 -1 4202496 14895 0 0 0 252 2 0 0 25 0 4 0 595789196 288043008 11097 33554432000 4194304 4623224 140733282987296 18446744073709551615 4355951 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/16875/statm: 70323 11097 342 105 0 65827 0
Current children cumulated CPU time (s) 2.54
Current children cumulated vsize (KiB) 281292

[startup+1.50045 s]
/proc/loadavg: 2.03 3.13 3.48 10/184 16879
/proc/meminfo: memFree=18375112/32951124 swapFree=67110396/67111528
[pid=16875] ppid=16873 vsize=285684 CPUtime=5.74 cores=1,3,5,7
/proc/16875/stat : 16875 (SArTagnan) R 16873 16875 14760 0 -1 4202496 20961 0 0 0 570 4 0 0 25 0 4 0 595789196 292540416 15694 33554432000 4194304 4623224 140733282987296 18446744073709551615 4510358 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/16875/statm: 71421 15694 342 105 0 66925 0
[pid=16875/tid=16877] ppid=16873 vsize=285684 CPUtime=1.41 cores=1,3,5,7
/proc/16875/task/16877/stat : 16877 (SArTagnan) R 16873 16875 14760 0 -1 4202560 2564 0 0 0 141 0 0 0 25 0 4 0 595789204 292540416 15694 33554432000 4194304 4623224 140733282987296 18446744073709551615 4376850 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=16875/tid=16878] ppid=16873 vsize=285684 CPUtime=1.41 cores=1,3,5,7
/proc/16875/task/16878/stat : 16878 (SArTagnan) R 16873 16875 14760 0 -1 4202560 3841 0 0 0 140 1 0 0 25 0 4 0 595789204 292540416 15694 33554432000 4194304 4623224 140733282987296 18446744073709551615 4376711 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=16875/tid=16879] ppid=16873 vsize=285684 CPUtime=1.4 cores=1,3,5,7
/proc/16875/task/16879/stat : 16879 (SArTagnan) R 16873 16875 14760 0 -1 4202560 1537 0 0 0 140 0 0 0 25 0 4 0 595789204 292540416 15694 33554432000 4194304 4623224 140733282987296 18446744073709551615 4363742 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 5.74
Current children cumulated vsize (KiB) 285684

[startup+3.10118 s]
/proc/loadavg: 2.51 3.21 3.51 10/184 16879
/proc/meminfo: memFree=18340392/32951124 swapFree=67110396/67111528
[pid=16875] ppid=16873 vsize=298908 CPUtime=12.14 cores=1,3,5,7
/proc/16875/stat : 16875 (SArTagnan) R 16873 16875 14760 0 -1 4202496 29509 0 0 0 1208 6 0 0 25 0 4 0 595789196 306081792 22682 33554432000 4194304 4623224 140733282987296 18446744073709551615 4510235 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/16875/statm: 74727 22682 343 105 0 70231 0
[pid=16875/tid=16877] ppid=16873 vsize=298908 CPUtime=3.01 cores=1,3,5,7
/proc/16875/task/16877/stat : 16877 (SArTagnan) R 16873 16875 14760 0 -1 4202560 4884 0 0 0 300 1 0 0 25 0 4 0 595789204 306081792 22682 33554432000 4194304 4623224 140733282987296 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=16875/tid=16878] ppid=16873 vsize=298908 CPUtime=3.01 cores=1,3,5,7
/proc/16875/task/16878/stat : 16878 (SArTagnan) R 16873 16875 14760 0 -1 4202560 5773 0 0 0 299 2 0 0 25 0 4 0 595789204 306081792 22682 33554432000 4194304 4623224 140733282987296 18446744073709551615 4377128 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=16875/tid=16879] ppid=16873 vsize=298908 CPUtime=3 cores=1,3,5,7
/proc/16875/task/16879/stat : 16879 (SArTagnan) R 16873 16875 14760 0 -1 4202560 4628 0 0 0 300 0 0 0 25 0 4 0 595789204 306081792 22682 33554432000 4194304 4623224 140733282987296 18446744073709551615 4377597 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 12.14
Current children cumulated vsize (KiB) 298908

[startup+6.30065 s]
/proc/loadavg: 2.51 3.21 3.51 10/184 16879
/proc/meminfo: memFree=18271340/32951124 swapFree=67110396/67111528
[pid=16875] ppid=16873 vsize=307788 CPUtime=24.91 cores=1,3,5,7
/proc/16875/stat : 16875 (SArTagnan) R 16873 16875 14760 0 -1 4202496 44270 0 0 0 2482 9 0 0 25 0 4 0 595789196 315174912 30476 33554432000 4194304 4623224 140733282987296 18446744073709551615 4510169 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/16875/statm: 76947 30476 342 105 0 72451 0
[pid=16875/tid=16877] ppid=16873 vsize=307788 CPUtime=6.21 cores=1,3,5,7
/proc/16875/task/16877/stat : 16877 (SArTagnan) R 16873 16875 14760 0 -1 4202560 8471 0 0 0 619 2 0 0 25 0 4 0 595789204 315174912 30476 33554432000 4194304 4623224 140733282987296 18446744073709551615 4366381 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=16875/tid=16878] ppid=16873 vsize=307788 CPUtime=6.21 cores=1,3,5,7
/proc/16875/task/16878/stat : 16878 (SArTagnan) R 16873 16875 14760 0 -1 4202560 9353 0 0 0 618 3 0 0 25 0 4 0 595789204 315174912 30476 33554432000 4194304 4623224 140733282987296 18446744073709551615 4376917 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=16875/tid=16879] ppid=16873 vsize=307788 CPUtime=6.18 cores=1,3,5,7
/proc/16875/task/16879/stat : 16879 (SArTagnan) R 16873 16875 14760 0 -1 4202560 8638 0 0 0 617 1 0 0 25 0 4 0 595789204 315174912 30476 33554432000 4194304 4623224 140733282987296 18446744073709551615 4364232 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 24.91
Current children cumulated vsize (KiB) 307788

[startup+12.7006 s]
/proc/loadavg: 3.42 3.38 3.56 9/184 16879
/proc/meminfo: memFree=18181552/32951124 swapFree=67110396/67111528
[pid=16875] ppid=16873 vsize=325476 CPUtime=50.47 cores=1,3,5,7
/proc/16875/stat : 16875 (SArTagnan) R 16873 16875 14760 0 -1 4202496 99183 0 0 0 5027 20 0 0 25 0 4 0 595789196 333287424 39760 33554432000 4194304 4623224 140733282987296 18446744073709551615 4510123 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/16875/statm: 81369 39760 342 105 0 76873 0
[pid=16875/tid=16877] ppid=16873 vsize=325476 CPUtime=12.6 cores=1,3,5,7
/proc/16875/task/16877/stat : 16877 (SArTagnan) R 16873 16875 14760 0 -1 4202560 13155 0 0 0 1256 4 0 0 25 0 4 0 595789204 333287424 39760 33554432000 4194304 4623224 140733282987296 18446744073709551615 4377133 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=16875/tid=16878] ppid=16873 vsize=325476 CPUtime=12.6 cores=1,3,5,7
/proc/16875/task/16878/stat : 16878 (SArTagnan) R 16873 16875 14760 0 -1 4202560 12047 0 0 0 1256 4 0 0 25 0 4 0 595789204 333287424 39760 33554432000 4194304 4623224 140733282987296 18446744073709551615 4376652 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=16875/tid=16879] ppid=16873 vsize=325476 CPUtime=12.54 cores=1,3,5,7
/proc/16875/task/16879/stat : 16879 (SArTagnan) R 16873 16875 14760 0 -1 4202560 50385 0 0 0 1247 7 0 0 25 0 4 0 595789204 333287424 39760 33554432000 4194304 4623224 140733282987296 18446744073709551615 4545317 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 50.47
Current children cumulated vsize (KiB) 325476

[startup+25.5004 s]
/proc/loadavg: 4.20 3.55 3.61 10/184 16879
/proc/meminfo: memFree=18067488/32951124 swapFree=67110396/67111528
[pid=16875] ppid=16873 vsize=369820 CPUtime=101.6 cores=1,3,5,7
/proc/16875/stat : 16875 (SArTagnan) R 16873 16875 14760 0 -1 4202496 141555 0 0 0 10128 32 0 0 25 0 4 0 595789196 378695680 54814 33554432000 4194304 4623224 140733282987296 18446744073709551615 4510090 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/16875/statm: 92455 54814 342 105 0 87959 0
[pid=16875/tid=16877] ppid=16873 vsize=369820 CPUtime=25.4 cores=1,3,5,7
/proc/16875/task/16877/stat : 16877 (SArTagnan) R 16873 16875 14760 0 -1 4202560 20410 0 0 0 2532 8 0 0 25 0 4 0 595789204 378695680 54814 33554432000 4194304 4623224 140733282987296 18446744073709551615 4377613 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=16875/tid=16878] ppid=16873 vsize=369820 CPUtime=25.41 cores=1,3,5,7
/proc/16875/task/16878/stat : 16878 (SArTagnan) R 16873 16875 14760 0 -1 4202560 20742 0 0 0 2534 7 0 0 25 0 4 0 595789204 378695680 54814 33554432000 4194304 4623224 140733282987296 18446744073709551615 4377587 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=16875/tid=16879] ppid=16873 vsize=369820 CPUtime=25.27 cores=1,3,5,7
/proc/16875/task/16879/stat : 16879 (SArTagnan) R 16873 16875 14760 0 -1 4202560 69044 0 0 0 2516 11 0 0 25 0 4 0 595789204 378695680 54814 33554432000 4194304 4623224 140733282987296 18446744073709551615 4550411 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 101.6
Current children cumulated vsize (KiB) 369820

[startup+51.1012 s]
/proc/loadavg: 5.50 3.91 3.73 9/184 16879
/proc/meminfo: memFree=17865900/32951124 swapFree=67110396/67111528
[pid=16875] ppid=16873 vsize=486588 CPUtime=203.87 cores=1,3,5,7
/proc/16875/stat : 16875 (SArTagnan) R 16873 16875 14760 0 -1 4202496 383048 0 0 0 20312 75 0 0 25 0 4 0 595789196 498266112 73702 33554432000 4194304 4623224 140733282987296 18446744073709551615 4414904 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/16875/statm: 121647 73702 342 105 0 117151 0
[pid=16875/tid=16877] ppid=16873 vsize=486588 CPUtime=51.01 cores=1,3,5,7
/proc/16875/task/16877/stat : 16877 (SArTagnan) R 16873 16875 14760 0 -1 4202560 28086 0 0 0 5090 11 0 0 25 0 4 0 595789204 498266112 73702 33554432000 4194304 4623224 140733282987296 18446744073709551615 4330680 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=16875/tid=16878] ppid=16873 vsize=486588 CPUtime=51.01 cores=1,3,5,7
/proc/16875/task/16878/stat : 16878 (SArTagnan) R 16873 16875 14760 0 -1 4202560 29886 0 0 0 5090 11 0 0 25 0 4 0 595789204 498266112 73702 33554432000 4194304 4623224 140733282987296 18446744073709551615 4376711 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=16875/tid=16879] ppid=16873 vsize=486588 CPUtime=50.73 cores=1,3,5,7
/proc/16875/task/16879/stat : 16879 (SArTagnan) R 16873 16875 14760 0 -1 4202560 280615 0 0 0 5028 45 0 0 25 0 4 0 595789204 498266112 73702 33554432000 4194304 4623224 140733282987296 18446744073709551615 4364232 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 203.87
Current children cumulated vsize (KiB) 486588

[startup+102.307 s]
/proc/loadavg: 7.09 4.62 3.98 9/184 16881
/proc/meminfo: memFree=17487308/32951124 swapFree=67110396/67111528
[pid=16875] ppid=16873 vsize=691496 CPUtime=408.4 cores=1,3,5,7
/proc/16875/stat : 16875 (SArTagnan) R 16873 16875 14760 0 -1 4202496 750652 0 0 0 40705 135 0 0 25 0 4 0 595789196 708091904 121572 33554432000 4194304 4623224 140733282987296 18446744073709551615 4510064 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/16875/statm: 172874 121572 342 105 0 168378 0
[pid=16875/tid=16877] ppid=16873 vsize=691496 CPUtime=102.21 cores=1,3,5,7
/proc/16875/task/16877/stat : 16877 (SArTagnan) R 16873 16875 14760 0 -1 4202560 32329 0 0 0 10209 12 0 0 25 0 4 0 595789204 708091904 121572 33554432000 4194304 4623224 140733282987296 18446744073709551615 4376711 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=16875/tid=16878] ppid=16873 vsize=691496 CPUtime=102.21 cores=1,3,5,7
/proc/16875/task/16878/stat : 16878 (SArTagnan) R 16873 16875 14760 0 -1 4202560 38087 0 0 0 10203 18 0 0 25 0 4 0 595789204 708091904 121572 33554432000 4194304 4623224 140733282987296 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=16875/tid=16879] ppid=16873 vsize=691496 CPUtime=101.66 cores=1,3,5,7
/proc/16875/task/16879/stat : 16879 (SArTagnan) R 16873 16875 14760 0 -1 4202560 565241 0 0 0 10079 87 0 0 25 0 4 0 595789204 708091904 121572 33554432000 4194304 4623224 140733282987296 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 408.4
Current children cumulated vsize (KiB) 691496

[startup+162.301 s]
/proc/loadavg: 7.66 5.23 4.23 9/184 16883
/proc/meminfo: memFree=17073356/32951124 swapFree=67110396/67111528
[pid=16875] ppid=16873 vsize=969508 CPUtime=648.04 cores=1,3,5,7
/proc/16875/stat : 16875 (SArTagnan) R 16873 16875 14760 0 -1 4202496 1351977 0 0 0 64567 237 0 0 25 0 4 0 595789196 992776192 170529 33554432000 4194304 4623224 140733282987296 18446744073709551615 4510064 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/16875/statm: 242377 170529 342 105 0 237881 0
[pid=16875/tid=16877] ppid=16873 vsize=969508 CPUtime=162.2 cores=1,3,5,7
/proc/16875/task/16877/stat : 16877 (SArTagnan) R 16873 16875 14760 0 -1 4202560 46447 0 0 0 16199 21 0 0 25 0 4 0 595789204 992776192 170529 33554432000 4194304 4623224 140733282987296 18446744073709551615 4366349 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=16875/tid=16878] ppid=16873 vsize=969508 CPUtime=162.2 cores=1,3,5,7
/proc/16875/task/16878/stat : 16878 (SArTagnan) R 16873 16875 14760 0 -1 4202560 45030 0 0 0 16201 19 0 0 25 0 4 0 595789204 992776192 170529 33554432000 4194304 4623224 140733282987296 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=16875/tid=16879] ppid=16873 vsize=969508 CPUtime=161.31 cores=1,3,5,7
/proc/16875/task/16879/stat : 16879 (SArTagnan) R 16873 16875 14760 0 -1 4202560 1028871 0 0 0 15970 161 0 0 25 0 4 0 595789204 992776192 170529 33554432000 4194304 4623224 140733282987296 18446744073709551615 4364911 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 648.04
Current children cumulated vsize (KiB) 969508

[startup+222.301 s]
/proc/loadavg: 7.92 5.75 4.47 10/184 16885
/proc/meminfo: memFree=16707764/32951124 swapFree=67110396/67111528
[pid=16875] ppid=16873 vsize=1103532 CPUtime=887.7 cores=1,3,5,7
/proc/16875/stat : 16875 (SArTagnan) R 16873 16875 14760 0 -1 4202496 1810388 0 0 0 88453 317 0 0 25 0 4 0 595789196 1130016768 216817 33554432000 4194304 4623224 140733282987296 18446744073709551615 4510169 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/16875/statm: 275883 216817 364 105 0 271387 0
[pid=16875/tid=16877] ppid=16873 vsize=1103532 CPUtime=222.21 cores=1,3,5,7
/proc/16875/task/16877/stat : 16877 (SArTagnan) R 16873 16875 14760 0 -1 4202560 63574 0 0 0 22192 29 0 0 25 0 4 0 595789204 1130016768 216817 33554432000 4194304 4623224 140733282987296 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=16875/tid=16878] ppid=16873 vsize=1103532 CPUtime=222.2 cores=1,3,5,7
/proc/16875/task/16878/stat : 16878 (SArTagnan) R 16873 16875 14760 0 -1 4202560 50400 0 0 0 22196 24 0 0 25 0 4 0 595789204 1130016768 216817 33554432000 4194304 4623224 140733282987296 18446744073709551615 4376629 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=16875/tid=16879] ppid=16873 vsize=1103532 CPUtime=220.98 cores=1,3,5,7
/proc/16875/task/16879/stat : 16879 (SArTagnan) R 16873 16875 14760 0 -1 4202560 1430763 0 0 0 21876 222 0 0 25 0 4 0 595789204 1130016768 216817 33554432000 4194304 4623224 140733282987296 18446744073709551615 4376901 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 887.7
Current children cumulated vsize (KiB) 1103532

[startup+282.301 s]

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


[startup+702.301 s]
/proc/loadavg: 8.17 7.64 5.92 9/184 16897
/proc/meminfo: memFree=14758120/32951124 swapFree=67110396/67111528
[pid=16875] ppid=16873 vsize=2404152 CPUtime=2804.99 cores=1,3,5,7
/proc/16875/stat : 16875 (SArTagnan) R 16873 16875 14760 0 -1 4202496 4698713 0 0 0 279674 825 0 0 25 0 4 0 595789196 2461851648 498317 33554432000 4194304 4623224 140733282987296 18446744073709551615 4414880 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/16875/statm: 601038 498317 342 105 0 596542 0
[pid=16875/tid=16877] ppid=16873 vsize=2404152 CPUtime=702.2 cores=1,3,5,7
/proc/16875/task/16877/stat : 16877 (SArTagnan) R 16873 16875 14760 0 -1 4202560 78044 0 0 0 70180 40 0 0 25 0 4 0 595789204 2461851648 498317 33554432000 4194304 4623224 140733282987296 18446744073709551615 4357901 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=16875/tid=16878] ppid=16873 vsize=2404152 CPUtime=702.14 cores=1,3,5,7
/proc/16875/task/16878/stat : 16878 (SArTagnan) R 16873 16875 14760 0 -1 4202560 101565 0 0 0 70142 72 0 0 25 0 4 0 595789204 2461851648 498317 33554432000 4194304 4623224 140733282987296 18446744073709551615 4376711 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=16875/tid=16879] ppid=16873 vsize=2404152 CPUtime=698.33 cores=1,3,5,7
/proc/16875/task/16879/stat : 16879 (SArTagnan) R 16873 16875 14760 0 -1 4202560 3644361 0 0 0 69254 579 0 0 25 0 4 0 595789204 2461851648 498317 33554432000 4194304 4623224 140733282987296 18446744073709551615 4364911 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2804.99
Current children cumulated vsize (KiB) 2404152

[startup+762.307 s]
/proc/loadavg: 8.17 7.73 6.06 10/184 16899
/proc/meminfo: memFree=14616724/32951124 swapFree=67110396/67111528
[pid=16875] ppid=16873 vsize=2433880 CPUtime=3044.69 cores=1,3,5,7
/proc/16875/stat : 16875 (SArTagnan) R 16873 16875 14760 0 -1 4202496 5122652 0 0 0 303569 900 0 0 25 0 4 0 595789196 2492293120 515832 33554432000 4194304 4623224 140733282987296 18446744073709551615 4415014 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/16875/statm: 608470 515832 342 105 0 603974 0
[pid=16875/tid=16877] ppid=16873 vsize=2433880 CPUtime=762.2 cores=1,3,5,7
/proc/16875/task/16877/stat : 16877 (SArTagnan) R 16873 16875 14760 0 -1 4202560 94355 0 0 0 76178 42 0 0 25 0 4 0 595789204 2492293120 515832 33554432000 4194304 4623224 140733282987296 18446744073709551615 4357904 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=16875/tid=16878] ppid=16873 vsize=2433880 CPUtime=762.15 cores=1,3,5,7
/proc/16875/task/16878/stat : 16878 (SArTagnan) R 16873 16875 14760 0 -1 4202560 101759 0 0 0 76142 73 0 0 25 0 4 0 595789204 2492293120 515832 33554432000 4194304 4623224 140733282987296 18446744073709551615 4376711 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=16875/tid=16879] ppid=16873 vsize=2433880 CPUtime=758 cores=1,3,5,7
/proc/16875/task/16879/stat : 16879 (SArTagnan) R 16873 16875 14760 0 -1 4202560 4020639 0 0 0 75158 642 0 0 25 0 4 0 595789204 2492293120 515832 33554432000 4194304 4623224 140733282987296 18446744073709551615 4560191 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3044.69
Current children cumulated vsize (KiB) 2433880

[startup+822.301 s]
/proc/loadavg: 8.11 7.79 6.18 10/184 16901
/proc/meminfo: memFree=14289448/32951124 swapFree=67110396/67111528
[pid=16875] ppid=16873 vsize=3027028 CPUtime=3284.31 cores=1,3,5,7
/proc/16875/stat : 16875 (SArTagnan) R 16873 16875 14760 0 -1 4202496 5832120 0 0 0 327421 1010 0 0 25 0 4 0 595789196 3099676672 580930 33554432000 4194304 4623224 140733282987296 18446744073709551615 4510169 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/16875/statm: 756757 580930 342 105 0 752261 0
[pid=16875/tid=16877] ppid=16873 vsize=3027028 CPUtime=822.2 cores=1,3,5,7
/proc/16875/task/16877/stat : 16877 (SArTagnan) R 16873 16875 14760 0 -1 4202560 94780 0 0 0 82177 43 0 0 25 0 4 0 595789204 3099676672 580930 33554432000 4194304 4623224 140733282987296 18446744073709551615 4357901 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=16875/tid=16878] ppid=16873 vsize=3027028 CPUtime=822.14 cores=1,3,5,7
/proc/16875/task/16878/stat : 16878 (SArTagnan) R 16873 16875 14760 0 -1 4202560 103589 0 0 0 82140 74 0 0 25 0 4 0 595789204 3099676672 580930 33554432000 4194304 4623224 140733282987296 18446744073709551615 4376869 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=16875/tid=16879] ppid=16873 vsize=3027028 CPUtime=817.64 cores=1,3,5,7
/proc/16875/task/16879/stat : 16879 (SArTagnan) R 16873 16875 14760 0 -1 4202560 4419921 0 0 0 81055 709 0 0 25 0 4 0 595789204 3099676672 580930 33554432000 4194304 4623224 140733282987296 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3284.31
Current children cumulated vsize (KiB) 3027028

[startup+882.301 s]
/proc/loadavg: 8.09 7.84 6.30 10/184 16903
/proc/meminfo: memFree=14173104/32951124 swapFree=67110396/67111528
[pid=16875] ppid=16873 vsize=3106644 CPUtime=3523.98 cores=1,3,5,7
/proc/16875/stat : 16875 (SArTagnan) R 16873 16875 14760 0 -1 4202496 6242571 0 0 0 351318 1080 0 0 25 0 4 0 595789196 3181203456 595717 33554432000 4194304 4623224 140733282987296 18446744073709551615 4415014 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/16875/statm: 776661 595717 342 105 0 772165 0
[pid=16875/tid=16877] ppid=16873 vsize=3106644 CPUtime=882.2 cores=1,3,5,7
/proc/16875/task/16877/stat : 16877 (SArTagnan) R 16873 16875 14760 0 -1 4202560 95205 0 0 0 88177 43 0 0 25 0 4 0 595789204 3181203456 595717 33554432000 4194304 4623224 140733282987296 18446744073709551615 4357901 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=16875/tid=16878] ppid=16873 vsize=3106644 CPUtime=882.14 cores=1,3,5,7
/proc/16875/task/16878/stat : 16878 (SArTagnan) R 16873 16875 14760 0 -1 4202560 105388 0 0 0 88137 77 0 0 25 0 4 0 595789204 3181203456 595717 33554432000 4194304 4623224 140733282987296 18446744073709551615 4376711 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=16875/tid=16879] ppid=16873 vsize=3106644 CPUtime=877.31 cores=1,3,5,7
/proc/16875/task/16879/stat : 16879 (SArTagnan) R 16873 16875 14760 0 -1 4202560 4803778 0 0 0 86961 770 0 0 25 0 4 0 595789204 3181203456 595717 33554432000 4194304 4623224 140733282987296 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3523.98
Current children cumulated vsize (KiB) 3106644

[startup+942.301 s]
/proc/loadavg: 8.07 7.88 6.41 9/184 16903
/proc/meminfo: memFree=13992156/32951124 swapFree=67110396/67111528
[pid=16875] ppid=16873 vsize=3126332 CPUtime=3763.65 cores=1,3,5,7
/proc/16875/stat : 16875 (SArTagnan) R 16873 16875 14760 0 -1 4202496 6666883 0 0 0 375210 1155 0 0 25 0 4 0 595789196 3201363968 615224 33554432000 4194304 4623224 140733282987296 18446744073709551615 4510090 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/16875/statm: 781583 615224 342 105 0 777087 0
[pid=16875/tid=16877] ppid=16873 vsize=3126332 CPUtime=942.2 cores=1,3,5,7
/proc/16875/task/16877/stat : 16877 (SArTagnan) R 16873 16875 14760 0 -1 4202560 95759 0 0 0 94177 43 0 0 25 0 4 0 595789204 3201363968 615224 33554432000 4194304 4623224 140733282987296 18446744073709551615 4357641 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=16875/tid=16878] ppid=16873 vsize=3126332 CPUtime=942.14 cores=1,3,5,7
/proc/16875/task/16878/stat : 16878 (SArTagnan) R 16873 16875 14760 0 -1 4202560 120090 0 0 0 94128 86 0 0 25 0 4 0 595789204 3201363968 615224 33554432000 4194304 4623224 140733282987296 18446744073709551615 4376711 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=16875/tid=16879] ppid=16873 vsize=3126332 CPUtime=936.99 cores=1,3,5,7
/proc/16875/task/16879/stat : 16879 (SArTagnan) R 16873 16875 14760 0 -1 4202560 5202829 0 0 0 92865 834 0 0 25 0 4 0 595789204 3201363968 615224 33554432000 4194304 4623224 140733282987296 18446744073709551615 4545376 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3763.65
Current children cumulated vsize (KiB) 3126332

[startup+1002.3 s]
/proc/loadavg: 8.07 7.92 6.51 10/184 16905
/proc/meminfo: memFree=13892804/32951124 swapFree=67110396/67111528
[pid=16875] ppid=16873 vsize=3191868 CPUtime=4003.33 cores=1,3,5,7
/proc/16875/stat : 16875 (SArTagnan) R 16873 16875 14760 0 -1 4202496 7075458 0 0 0 399106 1227 0 0 25 0 4 0 595789196 3268472832 632960 33554432000 4194304 4623224 140733282987296 18446744073709551615 4510130 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/16875/statm: 797967 632960 342 105 0 793471 0
[pid=16875/tid=16877] ppid=16873 vsize=3191868 CPUtime=1002.21 cores=1,3,5,7
/proc/16875/task/16877/stat : 16877 (SArTagnan) R 16873 16875 14760 0 -1 4202560 96156 0 0 0 100177 44 0 0 25 0 4 0 595789204 3268472832 632960 33554432000 4194304 4623224 140733282987296 18446744073709551615 4486238 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=16875/tid=16878] ppid=16873 vsize=3191868 CPUtime=1002.13 cores=1,3,5,7
/proc/16875/task/16878/stat : 16878 (SArTagnan) R 16873 16875 14760 0 -1 4202560 124015 0 0 0 100121 92 0 0 25 0 4 0 595789204 3268472832 632960 33554432000 4194304 4623224 140733282987296 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=16875/tid=16879] ppid=16873 vsize=3191868 CPUtime=996.66 cores=1,3,5,7
/proc/16875/task/16879/stat : 16879 (SArTagnan) R 16873 16875 14760 0 -1 4202560 5598512 0 0 0 98768 898 0 0 25 0 4 0 595789204 3268472832 632960 33554432000 4194304 4623224 140733282987296 18446744073709551615 4376869 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4003.33
Current children cumulated vsize (KiB) 3191868

[startup+1062.3 s]
/proc/loadavg: 8.06 7.94 6.61 9/184 16907
/proc/meminfo: memFree=13781052/32951124 swapFree=67110396/67111528
[pid=16875] ppid=16873 vsize=3240432 CPUtime=4243 cores=1,3,5,7
/proc/16875/stat : 16875 (SArTagnan) R 16873 16875 14760 0 -1 4202496 7480272 0 0 0 423010 1290 0 0 25 0 4 0 595789196 3318202368 655029 33554432000 4194304 4623224 140733282987296 18446744073709551615 4507139 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/16875/statm: 810108 655029 342 105 0 805612 0
[pid=16875/tid=16877] ppid=16873 vsize=3240432 CPUtime=1062.2 cores=1,3,5,7
/proc/16875/task/16877/stat : 16877 (SArTagnan) R 16873 16875 14760 0 -1 4202560 102558 0 0 0 106176 44 0 0 25 0 4 0 595789204 3318202368 655029 33554432000 4194304 4623224 140733282987296 18446744073709551615 4357641 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=16875/tid=16878] ppid=16873 vsize=3240432 CPUtime=1062.13 cores=1,3,5,7
/proc/16875/task/16878/stat : 16878 (SArTagnan) R 16873 16875 14760 0 -1 4202560 124401 0 0 0 106121 92 0 0 25 0 4 0 595789204 3318202368 655029 33554432000 4194304 4623224 140733282987296 18446744073709551615 4376711 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=16875/tid=16879] ppid=16873 vsize=3240432 CPUtime=1056.33 cores=1,3,5,7
/proc/16875/task/16879/stat : 16879 (SArTagnan) R 16873 16875 14760 0 -1 4202560 5984279 0 0 0 104676 957 0 0 25 0 4 0 595789204 3318202368 655029 33554432000 4194304 4623224 140733282987296 18446744073709551615 4364232 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4243
Current children cumulated vsize (KiB) 3240432

[startup+1122.3 s]
/proc/loadavg: 8.10 7.98 6.70 9/184 16909
/proc/meminfo: memFree=13695464/32951124 swapFree=67110396/67111528
[pid=16875] ppid=16873 vsize=3314000 CPUtime=4482.67 cores=1,3,5,7
/proc/16875/stat : 16875 (SArTagnan) R 16873 16875 14760 0 -1 4202496 7903004 0 0 0 446906 1361 0 0 25 0 4 0 595789196 3393536000 667837 33554432000 4194304 4623224 140733282987296 18446744073709551615 4414880 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/16875/statm: 828500 667837 342 105 0 824004 0
[pid=16875/tid=16877] ppid=16873 vsize=3314000 CPUtime=1122.2 cores=1,3,5,7
/proc/16875/task/16877/stat : 16877 (SArTagnan) R 16873 16875 14760 0 -1 4202560 103078 0 0 0 112176 44 0 0 25 0 4 0 595789204 3393536000 667837 33554432000 4194304 4623224 140733282987296 18446744073709551615 4486238 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=16875/tid=16878] ppid=16873 vsize=3314000 CPUtime=1122.13 cores=1,3,5,7
/proc/16875/task/16878/stat : 16878 (SArTagnan) R 16873 16875 14760 0 -1 4202560 124591 0 0 0 112121 92 0 0 25 0 4 0 595789204 3393536000 667837 33554432000 4194304 4623224 140733282987296 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=16875/tid=16879] ppid=16873 vsize=3314000 CPUtime=1116 cores=1,3,5,7
/proc/16875/task/16879/stat : 16879 (SArTagnan) R 16873 16875 14760 0 -1 4202560 6398686 0 0 0 110574 1026 0 0 25 0 4 0 595789204 3393536000 667837 33554432000 4194304 4623224 140733282987296 18446744073709551615 4545317 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4482.67
Current children cumulated vsize (KiB) 3314000

[startup+1182.3 s]
/proc/loadavg: 8.18 8.02 6.79 10/184 16911
/proc/meminfo: memFree=13600952/32951124 swapFree=67110396/67111528
[pid=16875] ppid=16873 vsize=3389928 CPUtime=4722.34 cores=1,3,5,7
/proc/16875/stat : 16875 (SArTagnan) R 16873 16875 14760 0 -1 4202496 8338352 0 0 0 470802 1432 0 0 25 0 4 0 595789196 3471286272 690055 33554432000 4194304 4623224 140733282987296 18446744073709551615 4510064 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/16875/statm: 847482 690055 342 105 0 842986 0
[pid=16875/tid=16877] ppid=16873 vsize=3389928 CPUtime=1182.21 cores=1,3,5,7
/proc/16875/task/16877/stat : 16877 (SArTagnan) R 16873 16875 14760 0 -1 4202560 103927 0 0 0 118176 45 0 0 25 0 4 0 595789204 3471286272 690055 33554432000 4194304 4623224 140733282987296 18446744073709551615 4357901 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=16875/tid=16878] ppid=16873 vsize=3389928 CPUtime=1182.14 cores=1,3,5,7
/proc/16875/task/16878/stat : 16878 (SArTagnan) R 16873 16875 14760 0 -1 4202560 125006 0 0 0 118121 93 0 0 25 0 4 0 595789204 3471286272 690055 33554432000 4194304 4623224 140733282987296 18446744073709551615 4376579 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=16875/tid=16879] ppid=16873 vsize=3389928 CPUtime=1175.68 cores=1,3,5,7
/proc/16875/task/16879/stat : 16879 (SArTagnan) R 16873 16875 14760 0 -1 4202560 6786880 0 0 0 116478 1090 0 0 25 0 4 0 595789204 3471286272 690055 33554432000 4194304 4623224 140733282987296 18446744073709551615 4545376 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4722.34
Current children cumulated vsize (KiB) 3389928



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.8 s]
/proc/loadavg: 8.20 8.04 6.82 6/182 16912
/proc/meminfo: memFree=14607208/32951124 swapFree=67110396/67111528
[pid=16875] ppid=16873 vsize=3391056 CPUtime=4800.25 cores=1,3,5,7
/proc/16875/stat : 16875 (SArTagnan) R 16873 16875 14760 0 -1 4202496 8468748 0 0 0 478570 1455 0 0 25 0 4 0 595789196 3472441344 695417 33554432000 4194304 4623224 140733282987296 18446744073709551615 4414965 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/16875/statm: 847764 695417 342 105 0 843268 0
[pid=16875/tid=16877] ppid=16873 vsize=3391056 CPUtime=1201.71 cores=1,3,5,7
/proc/16875/task/16877/stat : 16877 (SArTagnan) R 16873 16875 14760 0 -1 4202560 104094 0 0 0 120126 45 0 0 25 0 4 0 595789204 3472441344 695417 33554432000 4194304 4623224 140733282987296 18446744073709551615 4357901 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=16875/tid=16878] ppid=16873 vsize=3391056 CPUtime=1201.64 cores=1,3,5,7
/proc/16875/task/16878/stat : 16878 (SArTagnan) R 16873 16875 14760 0 -1 4202560 126443 0 0 0 120069 95 0 0 25 0 4 0 595789204 3472441344 695417 33554432000 4194304 4623224 140733282987296 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=16875/tid=16879] ppid=16873 vsize=3391056 CPUtime=1195.07 cores=1,3,5,7
/proc/16875/task/16879/stat : 16879 (SArTagnan) R 16873 16875 14760 0 -1 4202560 6913296 0 0 0 118397 1110 0 0 25 0 4 0 595789204 3472441344 695417 33554432000 4194304 4623224 140733282987296 18446744073709551615 4376711 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4800.25
Current children cumulated vsize (KiB) 3391056

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

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

[startup+1201.91 s]
/proc/loadavg: 8.20 8.04 6.82 6/182 16912
/proc/meminfo: memFree=14607208/32951124 swapFree=67110396/67111528
[pid=16875] ppid=16873 vsize=0 CPUtime=4800.37 cores=1,3,5,7
/proc/16875/stat : 16875 (SArTagnan) Z 16873 16875 14760 0 -1 4203548 8468749 0 0 0 478572 1465 0 0 25 0 2 0 595789196 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/16875/statm: 0 0 0 0 0 0 0
[pid=16875/tid=16879] ppid=16873 vsize=0 CPUtime=1195.18 cores=1,3,5,7
/proc/16875/task/16879/stat : 16879 (SArTagnan) R 16873 16875 14760 0 -1 4203588 6913296 0 0 0 118398 1120 0 0 25 0 2 0 595789204 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4800.37
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1201.92
CPU time (s): 4800.39
CPU user time (s): 4785.72
CPU system time (s): 14.6678
CPU usage (%): 399.393
Max. virtual memory (cumulated for all children) (KiB): 3926284

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4785.72
system time used= 14.6678
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8468749
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= 2785
involuntary context switches= 34066

runsolver used 1.69674 second user time and 4.86726 second system time

The end

Launcher Data 

Begin job on node118 at 2011-04-29 07:39:45
IDJOB=3258748
IDBENCH=71423
IDSOLVER=1656
FILE ID=node118/3258748-1304055585
RUNJOBID= node118-1304055585-16853
PBS_JOBID= 13170373
Free space on /tmp= 71612 MiB

SOLVER NAME= SArTagnan 2011-03-24
BENCH NAME= SAT09/CRAFTED/rbsat/random/forced/rbsat-v2640c305320gyes3.cnf
COMMAND LINE= SArTagnan BENCHNAME -threads=NBCORE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3258748-1304055585/watcher-3258748-1304055585 -o /tmp/evaluation-result-3258748-1304055585/solver-3258748-1304055585 -C 4800 -W 1300 -M 15500  SArTagnan HOME/instance-3258748-1304055585.cnf -threads=4

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

MD5SUM BENCH= d6877629cc818d7e31dc245fb95f0588
RANDOM SEED=844377779

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

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

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      18459488 kB
Buffers:       1898840 kB
Cached:       11982488 kB
SwapCached:        600 kB
Active:        9421536 kB
Inactive:      4535020 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      18459488 kB
SwapTotal:    67111528 kB
SwapFree:     67110396 kB
Dirty:            7052 kB
Writeback:           4 kB
AnonPages:       74800 kB
Mapped:          14912 kB
Slab:           471796 kB
PageTables:       4800 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   256104 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= 71612 MiB
End job on node118 at 2011-04-29 07:59:49