Trace number 3386096

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
SArTagnan 2011-05-15 (fixed)? (TO) 4800.45 1204.32

General information on the benchmark

NameCRAFTED/rbsat/crafted/
forced/rbsat-v2400c266431gyes2.cnf
MD5SUMaac2bd287b8cd6b96cbf7ecc463acf19
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 variables2400
Number of clauses266431
Sum of the clauses size535112
Maximum clause length32
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 2266356
Number of clauses of size 30
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 575

Solver Data


Verifier Data 

ERROR: Unexpected answer ! (SATISFIABLE/UNSATISFIABLE expected)
Got answer: <no 's ' line found>

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 961)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3386096-1305579138/watcher-3386096-1305579138 -o /tmp/evaluation-result-3386096-1305579138/solver-3386096-1305579138 -C 4800 -W 1300 -M 15500 SArTagnan HOME/instance-3386096-1305579138.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.72 8.03 8.06 5/401 1875
/proc/meminfo: memFree=11203912/32950928 swapFree=57376972/67111528
[pid=1875] ppid=1873 vsize=25048 CPUtime=0 cores=0,2,4,6
/proc/1875/stat : 1875 (SArTagnan) R 1873 1875 1658 0 -1 4202496 517 0 0 0 0 0 0 0 25 0 1 0 669513483 25649152 455 33554432000 4194304 4625164 140735096289872 18446744073709551615 4339447 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/1875/statm: 6262 455 296 106 0 1765 0

[startup+0.134403 s]
/proc/loadavg: 7.72 8.03 8.06 5/401 1875
/proc/meminfo: memFree=11203912/32950928 swapFree=57376972/67111528
[pid=1875] ppid=1873 vsize=269248 CPUtime=0.31 cores=0,2,4,6
/proc/1875/stat : 1875 (SArTagnan) R 1873 1875 1658 0 -1 4202496 7092 0 0 0 31 0 0 0 25 0 4 0 669513483 275709952 5171 33554432000 4194304 4625164 140735096289872 18446744073709551615 208079929803 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/1875/statm: 67312 5171 341 106 0 62815 0
Current children cumulated CPU time (s) 0.31
Current children cumulated vsize (KiB) 269248

[startup+0.200388 s]
/proc/loadavg: 7.72 8.03 8.06 5/401 1875
/proc/meminfo: memFree=11203912/32950928 swapFree=57376972/67111528
[pid=1875] ppid=1873 vsize=269248 CPUtime=0.58 cores=0,2,4,6
/proc/1875/stat : 1875 (SArTagnan) R 1873 1875 1658 0 -1 4202496 7743 0 0 0 57 1 0 0 25 0 4 0 669513483 275709952 5705 33554432000 4194304 4625164 140735096289872 18446744073709551615 4511795 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/1875/statm: 67312 5705 342 106 0 62815 0
Current children cumulated CPU time (s) 0.58
Current children cumulated vsize (KiB) 269248

[startup+0.300369 s]
/proc/loadavg: 7.72 8.03 8.06 5/401 1875
/proc/meminfo: memFree=11203912/32950928 swapFree=57376972/67111528
[pid=1875] ppid=1873 vsize=269576 CPUtime=0.97 cores=0,2,4,6
/proc/1875/stat : 1875 (SArTagnan) R 1873 1875 1658 0 -1 4202496 8967 0 0 0 96 1 0 0 25 0 4 0 669513483 276045824 6884 33554432000 4194304 4625164 140735096289872 18446744073709551615 4512475 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/1875/statm: 67394 6884 342 106 0 62897 0
Current children cumulated CPU time (s) 0.97
Current children cumulated vsize (KiB) 269576

[startup+0.700294 s]
/proc/loadavg: 7.72 8.03 8.06 5/401 1875
/proc/meminfo: memFree=11203912/32950928 swapFree=57376972/67111528
[pid=1875] ppid=1873 vsize=273380 CPUtime=2.58 cores=0,2,4,6
/proc/1875/stat : 1875 (SArTagnan) R 1873 1875 1658 0 -1 4202496 12423 0 0 0 256 2 0 0 25 0 4 0 669513483 279941120 10340 33554432000 4194304 4625164 140735096289872 18446744073709551615 4512007 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/1875/statm: 68345 10340 342 106 0 63848 0
Current children cumulated CPU time (s) 2.58
Current children cumulated vsize (KiB) 273380

[startup+1.50114 s]
/proc/loadavg: 7.72 8.03 8.06 9/405 1879
/proc/meminfo: memFree=11152052/32950928 swapFree=57376972/67111528
[pid=1875] ppid=1873 vsize=277756 CPUtime=5.76 cores=0,2,4,6
/proc/1875/stat : 1875 (SArTagnan) R 1873 1875 1658 0 -1 4202496 17747 0 0 0 573 3 0 0 25 0 4 0 669513483 284422144 14286 33554432000 4194304 4625164 140735096289872 18446744073709551615 4511860 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/1875/statm: 69439 14286 343 106 0 64942 0
[pid=1875/tid=1877] ppid=1873 vsize=277756 CPUtime=1.41 cores=0,2,4,6
/proc/1875/task/1877/stat : 1877 (SArTagnan) R 1873 1875 1658 0 -1 4202560 2731 0 0 0 141 0 0 0 25 0 4 0 669513490 284422144 14286 33554432000 4194304 4625164 140735096289872 18446744073709551615 4352855 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=1875/tid=1878] ppid=1873 vsize=277756 CPUtime=1.42 cores=0,2,4,6
/proc/1875/task/1878/stat : 1878 (SArTagnan) R 1873 1875 1658 0 -1 4202560 2830 0 0 0 142 0 0 0 25 0 4 0 669513490 284422144 14286 33554432000 4194304 4625164 140735096289872 18446744073709551615 4352021 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=1875/tid=1879] ppid=1873 vsize=277756 CPUtime=1.42 cores=0,2,4,6
/proc/1875/task/1879/stat : 1879 (SArTagnan) R 1873 1875 1658 0 -1 4202560 1945 0 0 0 142 0 0 0 25 0 4 0 669513490 284422144 14286 33554432000 4194304 4625164 140735096289872 18446744073709551615 4561052 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 5.76
Current children cumulated vsize (KiB) 277756

[startup+3.10084 s]
/proc/loadavg: 7.72 8.03 8.06 9/405 1879
/proc/meminfo: memFree=11131344/32950928 swapFree=57376972/67111528
[pid=1875] ppid=1873 vsize=293900 CPUtime=12.13 cores=0,2,4,6
/proc/1875/stat : 1875 (SArTagnan) R 1873 1875 1658 0 -1 4202496 27810 0 0 0 1208 5 0 0 25 0 4 0 669513483 300953600 20204 33554432000 4194304 4625164 140735096289872 18446744073709551615 4512057 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/1875/statm: 73475 20204 343 106 0 68978 0
[pid=1875/tid=1877] ppid=1873 vsize=293900 CPUtime=3.01 cores=0,2,4,6
/proc/1875/task/1877/stat : 1877 (SArTagnan) R 1873 1875 1658 0 -1 4202560 4331 0 0 0 300 1 0 0 25 0 4 0 669513490 300953600 20204 33554432000 4194304 4625164 140735096289872 18446744073709551615 4330691 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=1875/tid=1878] ppid=1873 vsize=293900 CPUtime=3.02 cores=0,2,4,6
/proc/1875/task/1878/stat : 1878 (SArTagnan) R 1873 1875 1658 0 -1 4202560 5967 0 0 0 301 1 0 0 25 0 4 0 669513490 300953600 20204 33554432000 4194304 4625164 140735096289872 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=1875/tid=1879] ppid=1873 vsize=293900 CPUtime=3.01 cores=0,2,4,6
/proc/1875/task/1879/stat : 1879 (SArTagnan) R 1873 1875 1658 0 -1 4202560 5063 0 0 0 301 0 0 0 25 0 4 0 669513490 300953600 20204 33554432000 4194304 4625164 140735096289872 18446744073709551615 4334261 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 12.13
Current children cumulated vsize (KiB) 293900

[startup+6.30023 s]
/proc/loadavg: 7.74 8.03 8.06 9/405 1879
/proc/meminfo: memFree=11092092/32950928 swapFree=57376972/67111528
[pid=1875] ppid=1873 vsize=304740 CPUtime=24.89 cores=0,2,4,6
/proc/1875/stat : 1875 (SArTagnan) R 1873 1875 1658 0 -1 4202496 41401 0 0 0 2480 9 0 0 25 0 4 0 669513483 312053760 28056 33554432000 4194304 4625164 140735096289872 18446744073709551615 4521582 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/1875/statm: 76185 28056 343 106 0 71688 0
[pid=1875/tid=1877] ppid=1873 vsize=304740 CPUtime=6.21 cores=0,2,4,6
/proc/1875/task/1877/stat : 1877 (SArTagnan) R 1873 1875 1658 0 -1 4202560 7415 0 0 0 618 3 0 0 25 0 4 0 669513490 312053760 28056 33554432000 4194304 4625164 140735096289872 18446744073709551615 4352021 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=1875/tid=1878] ppid=1873 vsize=304740 CPUtime=6.22 cores=0,2,4,6
/proc/1875/task/1878/stat : 1878 (SArTagnan) R 1873 1875 1658 0 -1 4202560 8495 0 0 0 620 2 0 0 25 0 4 0 669513490 312053760 28056 33554432000 4194304 4625164 140735096289872 18446744073709551615 4352296 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=1875/tid=1879] ppid=1873 vsize=304740 CPUtime=6.22 cores=0,2,4,6
/proc/1875/task/1879/stat : 1879 (SArTagnan) R 1873 1875 1658 0 -1 4202560 9545 0 0 0 621 1 0 0 25 0 4 0 669513490 312053760 28056 33554432000 4194304 4625164 140735096289872 18446744073709551615 4334485 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 24.89
Current children cumulated vsize (KiB) 304740

[startup+12.701 s]
/proc/loadavg: 7.76 8.03 8.06 9/405 1879
/proc/meminfo: memFree=11026264/32950928 swapFree=57376972/67111528
[pid=1875] ppid=1873 vsize=337564 CPUtime=50.41 cores=0,2,4,6
/proc/1875/stat : 1875 (SArTagnan) R 1873 1875 1658 0 -1 4202496 74356 0 0 0 5026 15 0 0 25 0 4 0 669513483 345665536 41713 33554432000 4194304 4625164 140735096289872 18446744073709551615 4511930 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/1875/statm: 84391 41717 343 106 0 79894 0
[pid=1875/tid=1877] ppid=1873 vsize=337564 CPUtime=12.61 cores=0,2,4,6
/proc/1875/task/1877/stat : 1877 (SArTagnan) R 1873 1875 1658 0 -1 4202560 14797 0 0 0 1257 4 0 0 25 0 4 0 669513490 345665536 41718 33554432000 4194304 4625164 140735096289872 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=1875/tid=1878] ppid=1873 vsize=337564 CPUtime=12.62 cores=0,2,4,6
/proc/1875/task/1878/stat : 1878 (SArTagnan) R 1873 1875 1658 0 -1 4202560 17428 0 0 0 1258 4 0 0 25 0 4 0 669513490 345665536 41718 33554432000 4194304 4625164 140735096289872 18446744073709551615 4351781 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=1875/tid=1879] ppid=1873 vsize=337564 CPUtime=12.62 cores=0,2,4,6
/proc/1875/task/1879/stat : 1879 (SArTagnan) R 1873 1875 1658 0 -1 4202560 24333 0 0 0 1259 3 0 0 25 0 4 0 669513490 345665536 41719 33554432000 4194304 4625164 140735096289872 18446744073709551615 4339447 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 50.41
Current children cumulated vsize (KiB) 337564

[startup+25.5006 s]
/proc/loadavg: 7.88 8.04 8.07 9/405 1879
/proc/meminfo: memFree=10925188/32950928 swapFree=57376972/67111528
[pid=1875] ppid=1873 vsize=386492 CPUtime=101.43 cores=0,2,4,6
/proc/1875/stat : 1875 (SArTagnan) R 1873 1875 1658 0 -1 4202496 190199 0 0 0 10108 35 0 0 25 0 4 0 669513483 395767808 63694 33554432000 4194304 4625164 140735096289872 18446744073709551615 4512054 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/1875/statm: 96623 63694 343 106 0 92126 0
[pid=1875/tid=1877] ppid=1873 vsize=386492 CPUtime=25.41 cores=0,2,4,6
/proc/1875/task/1877/stat : 1877 (SArTagnan) R 1873 1875 1658 0 -1 4202560 21864 0 0 0 2534 7 0 0 25 0 4 0 669513490 395767808 63694 33554432000 4194304 4625164 140735096289872 18446744073709551615 4352021 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=1875/tid=1878] ppid=1873 vsize=386492 CPUtime=25.42 cores=0,2,4,6
/proc/1875/task/1878/stat : 1878 (SArTagnan) R 1873 1875 1658 0 -1 4202560 29609 0 0 0 2536 6 0 0 25 0 4 0 669513490 395767808 63694 33554432000 4194304 4625164 140735096289872 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=1875/tid=1879] ppid=1873 vsize=386492 CPUtime=25.42 cores=0,2,4,6
/proc/1875/task/1879/stat : 1879 (SArTagnan) R 1873 1875 1658 0 -1 4202560 114899 0 0 0 2525 17 0 0 25 0 4 0 669513490 395767808 63694 33554432000 4194304 4625164 140735096289872 18446744073709551615 4547280 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 101.43
Current children cumulated vsize (KiB) 386492

[startup+51.1007 s]
/proc/loadavg: 7.92 8.04 8.06 9/405 1880
/proc/meminfo: memFree=10714604/32950928 swapFree=57376972/67111528
[pid=1875] ppid=1873 vsize=699436 CPUtime=203.51 cores=0,2,4,6
/proc/1875/stat : 1875 (SArTagnan) R 1873 1875 1658 0 -1 4202496 459499 0 0 0 20263 88 0 0 25 0 4 0 669513483 716222464 108514 33554432000 4194304 4625164 140735096289872 18446744073709551615 4393101 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/1875/statm: 174859 108514 345 106 0 170362 0
[pid=1875/tid=1877] ppid=1873 vsize=699436 CPUtime=50.99 cores=0,2,4,6
/proc/1875/task/1877/stat : 1877 (SArTagnan) R 1873 1875 1658 0 -1 4202560 28085 0 0 0 5087 12 0 0 25 0 4 0 669513490 716222464 108514 33554432000 4194304 4625164 140735096289872 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=1875/tid=1878] ppid=1873 vsize=699436 CPUtime=51.01 cores=0,2,4,6
/proc/1875/task/1878/stat : 1878 (SArTagnan) R 1873 1875 1658 0 -1 4202560 48420 0 0 0 5087 14 0 0 25 0 4 0 669513490 716222464 108514 33554432000 4194304 4625164 140735096289872 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=1875/tid=1879] ppid=1873 vsize=699436 CPUtime=51.01 cores=0,2,4,6
/proc/1875/task/1879/stat : 1879 (SArTagnan) R 1873 1875 1658 0 -1 4202560 309071 0 0 0 5054 47 0 0 25 0 4 0 669513490 716222464 108514 33554432000 4194304 4625164 140735096289872 18446744073709551615 4579607 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 203.51
Current children cumulated vsize (KiB) 699436

[startup+102.301 s]
/proc/loadavg: 8.06 8.06 8.07 9/405 1881
/proc/meminfo: memFree=10323728/32950928 swapFree=57376972/67111528
[pid=1875] ppid=1873 vsize=878940 CPUtime=407.64 cores=0,2,4,6
/proc/1875/stat : 1875 (SArTagnan) R 1873 1875 1658 0 -1 4202496 925886 0 0 0 40595 169 0 0 25 0 4 0 669513483 900034560 173578 33554432000 4194304 4625164 140735096289872 18446744073709551615 4512009 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/1875/statm: 219735 173578 346 106 0 215238 0
[pid=1875/tid=1877] ppid=1873 vsize=878940 CPUtime=102.21 cores=0,2,4,6
/proc/1875/task/1877/stat : 1877 (SArTagnan) R 1873 1875 1658 0 -1 4202560 44254 0 0 0 10205 16 0 0 25 0 4 0 669513490 900034560 173278 33554432000 4194304 4625164 140735096289872 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=1875/tid=1878] ppid=1873 vsize=878940 CPUtime=102.23 cores=0,2,4,6
/proc/1875/task/1878/stat : 1878 (SArTagnan) R 1873 1875 1658 0 -1 4202560 74471 0 0 0 10193 30 0 0 25 0 4 0 669513490 900034560 173278 33554432000 4194304 4625164 140735096289872 18446744073709551615 208079893537 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=1875/tid=1879] ppid=1873 vsize=878940 CPUtime=102.22 cores=0,2,4,6
/proc/1875/task/1879/stat : 1879 (SArTagnan) R 1873 1875 1658 0 -1 4202560 654812 0 0 0 10124 98 0 0 25 0 4 0 669513490 900034560 173278 33554432000 4194304 4625164 140735096289872 18446744073709551615 4547280 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 407.64
Current children cumulated vsize (KiB) 878940

[startup+162.301 s]
/proc/loadavg: 8.11 8.08 8.07 9/405 1883
/proc/meminfo: memFree=9999676/32950928 swapFree=57376972/67111528
[pid=1875] ppid=1873 vsize=1241292 CPUtime=646.84 cores=0,2,4,6
/proc/1875/stat : 1875 (SArTagnan) R 1873 1875 1658 0 -1 4202496 1333162 0 0 0 64437 247 0 0 25 0 4 0 669513483 1271083008 239147 33554432000 4194304 4625164 140735096289872 18446744073709551615 4393124 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/1875/statm: 310323 239147 348 106 0 305826 0
[pid=1875/tid=1877] ppid=1873 vsize=1241292 CPUtime=162.18 cores=0,2,4,6
/proc/1875/task/1877/stat : 1877 (SArTagnan) R 1873 1875 1658 0 -1 4202560 58981 0 0 0 16197 21 0 0 25 0 4 0 669513490 1271083008 239147 33554432000 4194304 4625164 140735096289872 18446744073709551615 4351781 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=1875/tid=1878] ppid=1873 vsize=1241292 CPUtime=162.21 cores=0,2,4,6
/proc/1875/task/1878/stat : 1878 (SArTagnan) R 1873 1875 1658 0 -1 4202560 92594 0 0 0 16175 46 0 0 25 0 4 0 669513490 1271083008 239147 33554432000 4194304 4625164 140735096289872 18446744073709551615 208079893537 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=1875/tid=1879] ppid=1873 vsize=1241292 CPUtime=162.21 cores=0,2,4,6
/proc/1875/task/1879/stat : 1879 (SArTagnan) R 1873 1875 1658 0 -1 4202560 951020 0 0 0 16076 145 0 0 25 0 4 0 669513490 1271083008 239147 33554432000 4194304 4625164 140735096289872 18446744073709551615 4334733 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 646.84
Current children cumulated vsize (KiB) 1241292

[startup+222.316 s]
/proc/loadavg: 8.08 8.07 8.07 9/405 1884
/proc/meminfo: memFree=9809052/32950928 swapFree=57376972/67111528
[pid=1875] ppid=1873 vsize=1286804 CPUtime=886.12 cores=0,2,4,6
/proc/1875/stat : 1875 (SArTagnan) R 1873 1875 1658 0 -1 4202496 1760047 0 0 0 88290 322 0 0 25 0 4 0 669513483 1317687296 275611 33554432000 4194304 4625164 140735096289872 18446744073709551615 4512009 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/1875/statm: 321701 275612 343 106 0 317204 0
[pid=1875/tid=1877] ppid=1873 vsize=1286804 CPUtime=222.19 cores=0,2,4,6
/proc/1875/task/1877/stat : 1877 (SArTagnan) R 1873 1875 1658 0 -1 4202560 67220 0 0 0 22195 24 0 0 25 0 4 0 669513490 1317687296 275612 33554432000 4194304 4625164 140735096289872 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=1875/tid=1878] ppid=1873 vsize=1286804 CPUtime=222.23 cores=0,2,4,6
/proc/1875/task/1878/stat : 1878 (SArTagnan) R 1873 1875 1658 0 -1 4202560 110273 0 0 0 22169 54 0 0 25 0 4 0 669513490 1317687296 275612 33554432000 4194304 4625164 140735096289872 18446744073709551615 4330603 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=1875/tid=1879] ppid=1873 vsize=1286804 CPUtime=222.23 cores=0,2,4,6
/proc/1875/task/1879/stat : 1879 (SArTagnan) R 1873 1875 1658 0 -1 4202560 1332182 0 0 0 22019 204 0 0 25 0 4 0 669513490 1317687296 275613 33554432000 4194304 4625164 140735096289872 18446744073709551615 4339447 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 886.12
Current children cumulated vsize (KiB) 1286804

[startup+282.301 s]

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

Current children cumulated CPU time (s) 2560.23
Current children cumulated vsize (KiB) 2047836

[startup+702.301 s]
/proc/loadavg: 7.43 7.83 7.98 9/405 1969
/proc/meminfo: memFree=10490880/32950928 swapFree=57376972/67111528
[pid=1875] ppid=1873 vsize=2076056 CPUtime=2799.41 cores=0,2,4,6
/proc/1875/stat : 1875 (SArTagnan) R 1873 1875 1658 0 -1 4202496 4726158 0 0 0 279094 847 0 0 25 0 4 0 669513483 2125881344 433593 33554432000 4194304 4625164 140735096289872 18446744073709551615 4512009 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/1875/statm: 519014 433593 343 106 0 514517 0
[pid=1875/tid=1877] ppid=1873 vsize=2076056 CPUtime=702 cores=0,2,4,6
/proc/1875/task/1877/stat : 1877 (SArTagnan) R 1873 1875 1658 0 -1 4202560 90450 0 0 0 70160 40 0 0 25 0 4 0 669513490 2125881344 433593 33554432000 4194304 4625164 140735096289872 18446744073709551615 4330841 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=1875/tid=1878] ppid=1873 vsize=2076056 CPUtime=702.23 cores=0,2,4,6
/proc/1875/task/1878/stat : 1878 (SArTagnan) R 1873 1875 1658 0 -1 4202560 116917 0 0 0 70167 56 0 0 25 0 4 0 669513490 2125881344 433593 33554432000 4194304 4625164 140735096289872 18446744073709551615 4331101 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=1875/tid=1879] ppid=1873 vsize=2076056 CPUtime=702.2 cores=0,2,4,6
/proc/1875/task/1879/stat : 1879 (SArTagnan) R 1873 1875 1658 0 -1 4202560 3957907 0 0 0 69563 657 0 0 25 0 4 0 669513490 2125881344 433593 33554432000 4194304 4625164 140735096289872 18446744073709551615 4579358 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2799.41
Current children cumulated vsize (KiB) 2076056

[startup+762.301 s]
/proc/loadavg: 8.10 7.96 8.01 9/405 1972
/proc/meminfo: memFree=10330868/32950928 swapFree=57376972/67111528
[pid=1875] ppid=1873 vsize=2104064 CPUtime=3038.62 cores=0,2,4,6
/proc/1875/stat : 1875 (SArTagnan) R 1873 1875 1658 0 -1 4202496 4741484 0 0 0 303010 852 0 0 25 0 4 0 669513483 2154561536 447537 33554432000 4194304 4625164 140735096289872 18446744073709551615 4393124 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/1875/statm: 526016 447537 343 106 0 521519 0
[pid=1875/tid=1877] ppid=1873 vsize=2104064 CPUtime=762 cores=0,2,4,6
/proc/1875/task/1877/stat : 1877 (SArTagnan) R 1873 1875 1658 0 -1 4202560 90839 0 0 0 76159 41 0 0 25 0 4 0 669513490 2154561536 447537 33554432000 4194304 4625164 140735096289872 18446744073709551615 4331101 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=1875/tid=1878] ppid=1873 vsize=2104064 CPUtime=762.24 cores=0,2,4,6
/proc/1875/task/1878/stat : 1878 (SArTagnan) R 1873 1875 1658 0 -1 4202560 117338 0 0 0 76168 56 0 0 25 0 4 0 669513490 2154561536 447537 33554432000 4194304 4625164 140735096289872 18446744073709551615 4488046 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=1875/tid=1879] ppid=1873 vsize=2104064 CPUtime=762.21 cores=0,2,4,6
/proc/1875/task/1879/stat : 1879 (SArTagnan) R 1873 1875 1658 0 -1 4202560 3964953 0 0 0 75562 659 0 0 25 0 4 0 669513490 2154561536 447537 33554432000 4194304 4625164 140735096289872 18446744073709551615 4547280 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3038.62
Current children cumulated vsize (KiB) 2104064

[startup+822.301 s]
/proc/loadavg: 8.07 7.98 8.01 9/405 1973
/proc/meminfo: memFree=10158772/32950928 swapFree=57376972/67111528
[pid=1875] ppid=1873 vsize=2131540 CPUtime=3277.78 cores=0,2,4,6
/proc/1875/stat : 1875 (SArTagnan) R 1873 1875 1658 0 -1 4202496 4757891 0 0 0 326921 857 0 0 25 0 4 0 669513483 2182696960 462345 33554432000 4194304 4625164 140735096289872 18446744073709551615 4393101 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/1875/statm: 532885 462345 343 106 0 528388 0
[pid=1875/tid=1877] ppid=1873 vsize=2131540 CPUtime=821.97 cores=0,2,4,6
/proc/1875/task/1877/stat : 1877 (SArTagnan) R 1873 1875 1658 0 -1 4202560 91327 0 0 0 82156 41 0 0 25 0 4 0 669513490 2182696960 462345 33554432000 4194304 4625164 140735096289872 18446744073709551615 4488046 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=1875/tid=1878] ppid=1873 vsize=2131540 CPUtime=822.23 cores=0,2,4,6
/proc/1875/task/1878/stat : 1878 (SArTagnan) R 1873 1875 1658 0 -1 4202560 117860 0 0 0 82167 56 0 0 25 0 4 0 669513490 2182696960 462345 33554432000 4194304 4625164 140735096289872 18446744073709551615 4331101 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=1875/tid=1879] ppid=1873 vsize=2131540 CPUtime=822.2 cores=0,2,4,6
/proc/1875/task/1879/stat : 1879 (SArTagnan) R 1873 1875 1658 0 -1 4202560 3971943 0 0 0 81558 662 0 0 25 0 4 0 669513490 2182696960 462345 33554432000 4194304 4625164 140735096289872 18446744073709551615 4288731 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3277.78
Current children cumulated vsize (KiB) 2131540

[startup+882.315 s]
/proc/loadavg: 8.08 7.99 8.01 9/405 1975
/proc/meminfo: memFree=9994412/32950928 swapFree=57376972/67111528
[pid=1875] ppid=1873 vsize=2507524 CPUtime=3517.02 cores=0,2,4,6
/proc/1875/stat : 1875 (SArTagnan) R 1873 1875 1658 0 -1 4202496 4966801 0 0 0 350814 888 0 0 25 0 4 0 669513483 2567704576 496230 33554432000 4194304 4625164 140735096289872 18446744073709551615 4393263 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/1875/statm: 626881 496230 343 106 0 622384 0
[pid=1875/tid=1877] ppid=1873 vsize=2507524 CPUtime=881.97 cores=0,2,4,6
/proc/1875/task/1877/stat : 1877 (SArTagnan) R 1873 1875 1658 0 -1 4202560 91818 0 0 0 88156 41 0 0 25 0 4 0 669513490 2567704576 496230 33554432000 4194304 4625164 140735096289872 18446744073709551615 4331101 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=1875/tid=1878] ppid=1873 vsize=2507524 CPUtime=882.25 cores=0,2,4,6
/proc/1875/task/1878/stat : 1878 (SArTagnan) R 1873 1875 1658 0 -1 4202560 133602 0 0 0 88166 59 0 0 25 0 4 0 669513490 2567704576 496230 33554432000 4194304 4625164 140735096289872 18446744073709551615 4488046 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=1875/tid=1879] ppid=1873 vsize=2507524 CPUtime=882.22 cores=0,2,4,6
/proc/1875/task/1879/stat : 1879 (SArTagnan) R 1873 1875 1658 0 -1 4202560 3978838 0 0 0 87557 665 0 0 25 0 4 0 669513490 2567704576 496230 33554432000 4194304 4625164 140735096289872 18446744073709551615 4334728 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3517.02
Current children cumulated vsize (KiB) 2507524

[startup+942.301 s]
/proc/loadavg: 8.08 8.01 8.01 9/405 1977
/proc/meminfo: memFree=9930236/32950928 swapFree=57376972/67111528
[pid=1875] ppid=1873 vsize=2534444 CPUtime=3756.17 cores=0,2,4,6
/proc/1875/stat : 1875 (SArTagnan) R 1873 1875 1658 0 -1 4202496 4980639 0 0 0 374725 892 0 0 25 0 4 0 669513483 2595270656 509800 33554432000 4194304 4625164 140735096289872 18446744073709551615 4329151 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/1875/statm: 633611 509800 343 106 0 629114 0
[pid=1875/tid=1877] ppid=1873 vsize=2534444 CPUtime=941.95 cores=0,2,4,6
/proc/1875/task/1877/stat : 1877 (SArTagnan) R 1873 1875 1658 0 -1 4202560 92276 0 0 0 94153 42 0 0 25 0 4 0 669513490 2595270656 509800 33554432000 4194304 4625164 140735096289872 18446744073709551615 4330855 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=1875/tid=1878] ppid=1873 vsize=2534444 CPUtime=942.24 cores=0,2,4,6
/proc/1875/task/1878/stat : 1878 (SArTagnan) R 1873 1875 1658 0 -1 4202560 133881 0 0 0 94165 59 0 0 25 0 4 0 669513490 2595270656 509800 33554432000 4194304 4625164 140735096289872 18446744073709551615 4488046 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=1875/tid=1879] ppid=1873 vsize=2534444 CPUtime=942.2 cores=0,2,4,6
/proc/1875/task/1879/stat : 1879 (SArTagnan) R 1873 1875 1658 0 -1 4202560 3985543 0 0 0 93554 666 0 0 25 0 4 0 669513490 2595270656 509800 33554432000 4194304 4625164 140735096289872 18446744073709551615 4334238 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3756.17
Current children cumulated vsize (KiB) 2534444

[startup+1002.3 s]
/proc/loadavg: 8.03 8.00 8.01 9/405 1978
/proc/meminfo: memFree=9789444/32950928 swapFree=57376972/67111528
[pid=1875] ppid=1873 vsize=2635196 CPUtime=3995.35 cores=0,2,4,6
/proc/1875/stat : 1875 (SArTagnan) R 1873 1875 1658 0 -1 4202496 5004684 0 0 0 398637 898 0 0 25 0 4 0 669513483 2698440704 533384 33554432000 4194304 4625164 140735096289872 18446744073709551615 4393068 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/1875/statm: 658799 533384 348 106 0 654302 0
[pid=1875/tid=1877] ppid=1873 vsize=2635196 CPUtime=1001.93 cores=0,2,4,6
/proc/1875/task/1877/stat : 1877 (SArTagnan) R 1873 1875 1658 0 -1 4202560 92623 0 0 0 100151 42 0 0 25 0 4 0 669513490 2698440704 533384 33554432000 4194304 4625164 140735096289872 18446744073709551615 4331101 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=1875/tid=1878] ppid=1873 vsize=2635196 CPUtime=1002.23 cores=0,2,4,6
/proc/1875/task/1878/stat : 1878 (SArTagnan) R 1873 1875 1658 0 -1 4202560 134368 0 0 0 100164 59 0 0 25 0 4 0 669513490 2698440704 533384 33554432000 4194304 4625164 140735096289872 18446744073709551615 4331101 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=1875/tid=1879] ppid=1873 vsize=2635196 CPUtime=1002.21 cores=0,2,4,6
/proc/1875/task/1879/stat : 1879 (SArTagnan) R 1873 1875 1658 0 -1 4202560 3996314 0 0 0 99551 670 0 0 25 0 4 0 669513490 2698440704 533384 33554432000 4194304 4625164 140735096289872 18446744073709551615 4579584 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3995.35
Current children cumulated vsize (KiB) 2635196

[startup+1062.3 s]
/proc/loadavg: 8.12 8.03 8.01 9/405 1980
/proc/meminfo: memFree=9707056/32950928 swapFree=57376972/67111528
[pid=1875] ppid=1873 vsize=2663716 CPUtime=4234.56 cores=0,2,4,6
/proc/1875/stat : 1875 (SArTagnan) R 1873 1875 1658 0 -1 4202496 5018419 0 0 0 422553 903 0 0 25 0 4 0 669513483 2727645184 545969 33554432000 4194304 4625164 140735096289872 18446744073709551615 4393094 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/1875/statm: 665929 545969 348 106 0 661432 0
[pid=1875/tid=1877] ppid=1873 vsize=2663716 CPUtime=1061.92 cores=0,2,4,6
/proc/1875/task/1877/stat : 1877 (SArTagnan) R 1873 1875 1658 0 -1 4202560 93073 0 0 0 106150 42 0 0 25 0 4 0 669513490 2727645184 545969 33554432000 4194304 4625164 140735096289872 18446744073709551615 4488046 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=1875/tid=1878] ppid=1873 vsize=2663716 CPUtime=1062.23 cores=0,2,4,6
/proc/1875/task/1878/stat : 1878 (SArTagnan) R 1873 1875 1658 0 -1 4202560 134877 0 0 0 106164 59 0 0 25 0 4 0 669513490 2727645184 545969 33554432000 4194304 4625164 140735096289872 18446744073709551615 4330841 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=1875/tid=1879] ppid=1873 vsize=2663716 CPUtime=1062.21 cores=0,2,4,6
/proc/1875/task/1879/stat : 1879 (SArTagnan) R 1873 1875 1658 0 -1 4202560 4002797 0 0 0 105549 672 0 0 25 0 4 0 669513490 2727645184 545969 33554432000 4194304 4625164 140735096289872 18446744073709551615 208079929440 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4234.56
Current children cumulated vsize (KiB) 2663716

[startup+1122.3 s]
/proc/loadavg: 8.08 8.04 8.01 9/405 2011
/proc/meminfo: memFree=10240788/32950928 swapFree=57376972/67111528
[pid=1875] ppid=1873 vsize=2720960 CPUtime=4473.76 cores=0,2,4,6
/proc/1875/stat : 1875 (SArTagnan) R 1873 1875 1658 0 -1 4202496 5101363 0 0 0 446456 920 0 0 25 0 4 0 669513483 2786263040 559827 33554432000 4194304 4625164 140735096289872 18446744073709551615 4393061 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/1875/statm: 680240 559827 348 106 0 675743 0
[pid=1875/tid=1877] ppid=1873 vsize=2720960 CPUtime=1121.91 cores=0,2,4,6
/proc/1875/task/1877/stat : 1877 (SArTagnan) R 1873 1875 1658 0 -1 4202560 93401 0 0 0 112149 42 0 0 25 0 4 0 669513490 2786263040 559827 33554432000 4194304 4625164 140735096289872 18446744073709551615 4330841 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=1875/tid=1878] ppid=1873 vsize=2720960 CPUtime=1122.24 cores=0,2,4,6
/proc/1875/task/1878/stat : 1878 (SArTagnan) R 1873 1875 1658 0 -1 4202560 135115 0 0 0 112164 60 0 0 25 0 4 0 669513490 2786263040 559827 33554432000 4194304 4625164 140735096289872 18446744073709551615 4331101 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=1875/tid=1879] ppid=1873 vsize=2720960 CPUtime=1122.21 cores=0,2,4,6
/proc/1875/task/1879/stat : 1879 (SArTagnan) R 1873 1875 1658 0 -1 4202560 4009186 0 0 0 111548 673 0 0 25 0 4 0 669513490 2786263040 559827 33554432000 4194304 4625164 140735096289872 18446744073709551615 4351818 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4473.76
Current children cumulated vsize (KiB) 2720960

[startup+1182.3 s]
/proc/loadavg: 8.18 8.08 8.03 9/405 2013
/proc/meminfo: memFree=10088808/32950928 swapFree=57376972/67111528
[pid=1875] ppid=1873 vsize=2733788 CPUtime=4712.97 cores=0,2,4,6
/proc/1875/stat : 1875 (SArTagnan) R 1873 1875 1658 0 -1 4202496 5185240 0 0 0 470360 937 0 0 25 0 4 0 669513483 2799398912 570254 33554432000 4194304 4625164 140735096289872 18446744073709551615 4393089 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/1875/statm: 683447 570254 348 106 0 678950 0
[pid=1875/tid=1877] ppid=1873 vsize=2733788 CPUtime=1181.92 cores=0,2,4,6
/proc/1875/task/1877/stat : 1877 (SArTagnan) R 1873 1875 1658 0 -1 4202560 93746 0 0 0 118149 43 0 0 25 0 4 0 669513490 2799398912 570254 33554432000 4194304 4625164 140735096289872 18446744073709551615 4488046 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=1875/tid=1878] ppid=1873 vsize=2733788 CPUtime=1182.25 cores=0,2,4,6
/proc/1875/task/1878/stat : 1878 (SArTagnan) R 1873 1875 1658 0 -1 4202560 135373 0 0 0 118165 60 0 0 25 0 4 0 669513490 2799398912 570254 33554432000 4194304 4625164 140735096289872 18446744073709551615 4331101 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=1875/tid=1879] ppid=1873 vsize=2733788 CPUtime=1182.21 cores=0,2,4,6
/proc/1875/task/1879/stat : 1879 (SArTagnan) R 1873 1875 1658 0 -1 4202560 4012367 0 0 0 117547 674 0 0 25 0 4 0 669513490 2799398912 570254 33554432000 4194304 4625164 140735096289872 18446744073709551615 4547280 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4712.97
Current children cumulated vsize (KiB) 2733788



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1204.2 s]
/proc/loadavg: 8.18 8.09 8.03 9/405 2014
/proc/meminfo: memFree=10045496/32950928 swapFree=57376972/67111528
[pid=1875] ppid=1873 vsize=2733788 CPUtime=4800.29 cores=0,2,4,6
/proc/1875/stat : 1875 (SArTagnan) R 1873 1875 1658 0 -1 4202496 5214108 0 0 0 479086 943 0 0 25 0 4 0 669513483 2799398912 572766 33554432000 4194304 4625164 140735096289872 18446744073709551615 4360544 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/1875/statm: 683447 572766 348 106 0 678950 0
[pid=1875/tid=1877] ppid=1873 vsize=2733788 CPUtime=1203.83 cores=0,2,4,6
/proc/1875/task/1877/stat : 1877 (SArTagnan) R 1873 1875 1658 0 -1 4202560 93851 0 0 0 120340 43 0 0 25 0 4 0 669513490 2799398912 572766 33554432000 4194304 4625164 140735096289872 18446744073709551615 4330844 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=1875/tid=1878] ppid=1873 vsize=2733788 CPUtime=1204.16 cores=0,2,4,6
/proc/1875/task/1878/stat : 1878 (SArTagnan) R 1873 1875 1658 0 -1 4202560 135477 0 0 0 120356 60 0 0 25 0 4 0 669513490 2799398912 572766 33554432000 4194304 4625164 140735096289872 18446744073709551615 4331101 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=1875/tid=1879] ppid=1873 vsize=2733788 CPUtime=1204.13 cores=0,2,4,6
/proc/1875/task/1879/stat : 1879 (SArTagnan) R 1873 1875 1658 0 -1 4202560 4012367 0 0 0 119739 674 0 0 25 0 4 0 669513490 2799398912 572766 33554432000 4194304 4625164 140735096289872 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4800.29
Current children cumulated vsize (KiB) 2733788

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

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

[startup+1204.32 s]
/proc/loadavg: 8.18 8.09 8.03 9/405 2014
/proc/meminfo: memFree=10045496/32950928 swapFree=57376972/67111528
[pid=1875] ppid=1873 vsize=0 CPUtime=4800.44 cores=0,2,4,6
/proc/1875/stat : 1875 (SArTagnan) R 1873 1875 1658 0 -1 4203524 5214189 0 0 0 479091 953 0 0 25 0 1 0 669513483 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/1875/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 4800.44
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1204.32
CPU time (s): 4800.45
CPU user time (s): 4790.92
CPU system time (s): 9.53155
CPU usage (%): 398.602
Max. virtual memory (cumulated for all children) (KiB): 3099600

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4790.92
system time used= 9.53155
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 5214189
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= 1897
involuntary context switches= 33983

runsolver used 4.39433 second user time and 11.6862 second system time

The end

Launcher Data 

Begin job on node127 at 2011-05-16 22:52:18
IDJOB=3386096
IDBENCH=71612
IDSOLVER=1871
FILE ID=node127/3386096-1305579138
RUNJOBID= node127-1305577123-1676
PBS_JOBID= 13350216
Free space on /tmp= 73376 MiB

SOLVER NAME= SArTagnan 2011-05-15 (fixed)
BENCH NAME= SAT09/CRAFTED/rbsat/crafted/forced/rbsat-v2400c266431gyes2.cnf
COMMAND LINE= SArTagnan BENCHNAME -threads=NBCORE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3386096-1305579138/watcher-3386096-1305579138 -o /tmp/evaluation-result-3386096-1305579138/solver-3386096-1305579138 -C 4800 -W 1300 -M 15500  SArTagnan HOME/instance-3386096-1305579138.cnf -threads=4

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

MD5SUM BENCH= aac2bd287b8cd6b96cbf7ecc463acf19
RANDOM SEED=1456396874

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


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      11204316 kB
Buffers:         80712 kB
Cached:         436276 kB
SwapCached:     117904 kB
Active:        7013716 kB
Inactive:     14511132 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      11204316 kB
SwapTotal:    67111528 kB
SwapFree:     57376972 kB
Dirty:            3936 kB
Writeback:           0 kB
AnonPages:    20896312 kB
Mapped:          27016 kB
Slab:            71464 kB
PageTables:      84108 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS: 86286208 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= 73380 MiB
End job on node127 at 2011-05-16 23:12:24