Trace number 3249154

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.43 1201.85

General information on the benchmark

Namecrafted/mosoi/289/
289-unsat-6x34.cnf
MD5SUM1633295f58c28a5b4150be8640bdf9df
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 variables816
Number of clauses35088
Sum of the clauses size137904
Maximum clause length4
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 21224
Number of clauses of size 30
Number of clauses of size 433864
Number of clauses of size 50
Number of clauses of size over 50

Solver Data


Verifier Data 

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

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 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-3249154-1304087599/watcher-3249154-1304087599 -o /tmp/evaluation-result-3249154-1304087599/solver-3249154-1304087599 -C 4800 -W 1300 -M 15500 SArTagnan HOME/instance-3249154-1304087599.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: 7.37 7.89 7.67 1/172 12604
/proc/meminfo: memFree=24251060/32951124 swapFree=67111524/67111528
[pid=12604] ppid=12602 vsize=20000 CPUtime=0 cores=1,3,5,7
/proc/12604/stat : 12604 (SArTagnan) R 12602 12604 12135 0 -1 4202496 672 0 0 0 0 0 0 0 25 0 1 0 501176074 20480000 564 33554432000 4194304 4623224 140734806558784 18446744073709551615 255106768640 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/12604/statm: 5000 565 297 105 0 504 0

[startup+0.134951 s]
/proc/loadavg: 7.37 7.89 7.67 1/172 12604
/proc/meminfo: memFree=24251060/32951124 swapFree=67111524/67111528
[pid=12604] ppid=12602 vsize=194508 CPUtime=0.45 cores=1,3,5,7
/proc/12604/stat : 12604 (SArTagnan) R 12602 12604 12135 0 -1 4202496 6115 0 0 0 45 0 0 0 25 0 4 0 501176074 199176192 3913 33554432000 4194304 4623224 140734806558784 18446744073709551615 4355951 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/12604/statm: 48627 3914 337 105 0 44131 0
Current children cumulated CPU time (s) 0.45
Current children cumulated vsize (KiB) 194508

[startup+0.200933 s]
/proc/loadavg: 7.37 7.89 7.67 1/172 12604
/proc/meminfo: memFree=24251060/32951124 swapFree=67111524/67111528
[pid=12604] ppid=12602 vsize=195260 CPUtime=0.71 cores=1,3,5,7
/proc/12604/stat : 12604 (SArTagnan) R 12602 12604 12135 0 -1 4202496 7277 0 0 0 71 0 0 0 25 0 4 0 501176074 199946240 4399 33554432000 4194304 4623224 140734806558784 18446744073709551615 255106424912 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/12604/statm: 48815 4399 337 105 0 44319 0
Current children cumulated CPU time (s) 0.71
Current children cumulated vsize (KiB) 195260

[startup+0.300916 s]
/proc/loadavg: 7.37 7.89 7.67 1/172 12604
/proc/meminfo: memFree=24251060/32951124 swapFree=67111524/67111528
[pid=12604] ppid=12602 vsize=196960 CPUtime=1.12 cores=1,3,5,7
/proc/12604/stat : 12604 (SArTagnan) R 12602 12604 12135 0 -1 4202496 8835 0 0 0 111 1 0 0 25 0 4 0 501176074 201687040 5148 33554432000 4194304 4623224 140734806558784 18446744073709551615 4355951 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/12604/statm: 49240 5149 337 105 0 44744 0
Current children cumulated CPU time (s) 1.12
Current children cumulated vsize (KiB) 196960

[startup+0.700846 s]
/proc/loadavg: 7.37 7.89 7.67 1/172 12604
/proc/meminfo: memFree=24251060/32951124 swapFree=67111524/67111528
[pid=12604] ppid=12602 vsize=203356 CPUtime=2.71 cores=1,3,5,7
/proc/12604/stat : 12604 (SArTagnan) R 12602 12604 12135 0 -1 4202496 14321 0 0 0 269 2 0 0 25 0 4 0 501176074 208236544 8723 33554432000 4194304 4623224 140734806558784 18446744073709551615 4415976 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/12604/statm: 50839 8723 342 105 0 46343 0
Current children cumulated CPU time (s) 2.71
Current children cumulated vsize (KiB) 203356

[startup+1.50071 s]
/proc/loadavg: 7.37 7.89 7.67 9/184 12651
/proc/meminfo: memFree=24142872/32951124 swapFree=67111524/67111528
[pid=12604] ppid=12602 vsize=208764 CPUtime=5.91 cores=1,3,5,7
/proc/12604/stat : 12604 (SArTagnan) R 12602 12604 12135 0 -1 4202496 23996 0 0 0 587 4 0 0 25 0 4 0 501176074 213774336 14762 33554432000 4194304 4623224 140734806558784 18446744073709551615 4384983 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/12604/statm: 52191 14763 342 105 0 47695 0
[pid=12604/tid=12606] ppid=12602 vsize=208764 CPUtime=1.46 cores=1,3,5,7
/proc/12604/task/12606/stat : 12606 (SArTagnan) R 12602 12604 12135 0 -1 4202560 3528 0 0 0 146 0 0 0 25 0 4 0 501176076 213774336 14763 33554432000 4194304 4623224 140734806558784 18446744073709551615 255106429637 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=12604/tid=12607] ppid=12602 vsize=208764 CPUtime=1.46 cores=1,3,5,7
/proc/12604/task/12607/stat : 12607 (SArTagnan) R 12602 12604 12135 0 -1 4202560 3034 0 0 0 146 0 0 0 25 0 4 0 501176076 213774336 14764 33554432000 4194304 4623224 140734806558784 18446744073709551615 4377587 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=12604/tid=12608] ppid=12602 vsize=208764 CPUtime=1.46 cores=1,3,5,7
/proc/12604/task/12608/stat : 12608 (SArTagnan) R 12602 12604 12135 0 -1 4202560 11558 0 0 0 144 2 0 0 25 0 4 0 501176076 213774336 14764 33554432000 4194304 4623224 140734806558784 18446744073709551615 4376678 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 5.91
Current children cumulated vsize (KiB) 208764

[startup+3.10043 s]
/proc/loadavg: 7.37 7.89 7.67 9/184 12651
/proc/meminfo: memFree=24093644/32951124 swapFree=67111524/67111528
[pid=12604] ppid=12602 vsize=226748 CPUtime=12.3 cores=1,3,5,7
/proc/12604/stat : 12604 (SArTagnan) R 12602 12604 12135 0 -1 4202496 43099 0 0 0 1223 7 0 0 25 0 4 0 501176074 232189952 24838 33554432000 4194304 4623224 140734806558784 18446744073709551615 4510169 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/12604/statm: 56687 24838 343 105 0 52191 0
[pid=12604/tid=12606] ppid=12602 vsize=226748 CPUtime=3.07 cores=1,3,5,7
/proc/12604/task/12606/stat : 12606 (SArTagnan) R 12602 12604 12135 0 -1 4202560 5703 0 0 0 306 1 0 0 25 0 4 0 501176076 232189952 24838 33554432000 4194304 4623224 140734806558784 18446744073709551615 4376652 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=12604/tid=12607] ppid=12602 vsize=226748 CPUtime=3.06 cores=1,3,5,7
/proc/12604/task/12607/stat : 12607 (SArTagnan) R 12602 12604 12135 0 -1 4202560 6375 0 0 0 305 1 0 0 25 0 4 0 501176076 232189952 24838 33554432000 4194304 4623224 140734806558784 18446744073709551615 4376869 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=12604/tid=12608] ppid=12602 vsize=226748 CPUtime=3.05 cores=1,3,5,7
/proc/12604/task/12608/stat : 12608 (SArTagnan) R 12602 12604 12135 0 -1 4202560 23813 0 0 0 302 3 0 0 25 0 4 0 501176076 232189952 24838 33554432000 4194304 4623224 140734806558784 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 12.3
Current children cumulated vsize (KiB) 226748

[startup+6.30086 s]
/proc/loadavg: 7.42 7.89 7.68 10/184 12651
/proc/meminfo: memFree=23962964/32951124 swapFree=67111524/67111528
[pid=12604] ppid=12602 vsize=254908 CPUtime=25.09 cores=1,3,5,7
/proc/12604/stat : 12604 (SArTagnan) R 12602 12604 12135 0 -1 4202496 71574 0 0 0 2496 13 0 0 25 0 4 0 501176074 261025792 40987 33554432000 4194304 4623224 140734806558784 18446744073709551615 4416149 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/12604/statm: 63727 40987 357 105 0 59231 0
[pid=12604/tid=12606] ppid=12602 vsize=254908 CPUtime=6.27 cores=1,3,5,7
/proc/12604/task/12606/stat : 12606 (SArTagnan) R 12602 12604 12135 0 -1 4202560 9448 0 0 0 626 1 0 0 25 0 4 0 501176076 261025792 40987 33554432000 4194304 4623224 140734806558784 18446744073709551615 4376823 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=12604/tid=12607] ppid=12602 vsize=254908 CPUtime=6.27 cores=1,3,5,7
/proc/12604/task/12607/stat : 12607 (SArTagnan) R 12602 12604 12135 0 -1 4202560 10191 0 0 0 625 2 0 0 25 0 4 0 501176076 261025792 40987 33554432000 4194304 4623224 140734806558784 18446744073709551615 4366412 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=12604/tid=12608] ppid=12602 vsize=254908 CPUtime=6.24 cores=1,3,5,7
/proc/12604/task/12608/stat : 12608 (SArTagnan) R 12602 12604 12135 0 -1 4202560 42178 0 0 0 616 8 0 0 25 0 4 0 501176076 261025792 40987 33554432000 4194304 4623224 140734806558784 18446744073709551615 4376629 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 25.09
Current children cumulated vsize (KiB) 254908

[startup+12.7007 s]
/proc/loadavg: 7.47 7.89 7.68 9/184 12651
/proc/meminfo: memFree=23757180/32951124 swapFree=67111524/67111528
[pid=12604] ppid=12602 vsize=428268 CPUtime=50.65 cores=1,3,5,7
/proc/12604/stat : 12604 (SArTagnan) R 12602 12604 12135 0 -1 4202496 119994 0 0 0 5043 22 0 0 25 0 4 0 501176074 438546432 65920 33554432000 4194304 4623224 140734806558784 18446744073709551615 4510177 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/12604/statm: 107067 65920 392 105 0 102571 0
[pid=12604/tid=12606] ppid=12602 vsize=428268 CPUtime=12.66 cores=1,3,5,7
/proc/12604/task/12606/stat : 12606 (SArTagnan) R 12602 12604 12135 0 -1 4202560 14041 0 0 0 1264 2 0 0 25 0 4 0 501176076 438546432 65920 33554432000 4194304 4623224 140734806558784 18446744073709551615 4376640 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=12604/tid=12607] ppid=12602 vsize=428268 CPUtime=12.67 cores=1,3,5,7
/proc/12604/task/12607/stat : 12607 (SArTagnan) R 12602 12604 12135 0 -1 4202560 16356 0 0 0 1264 3 0 0 25 0 4 0 501176076 438546432 65920 33554432000 4194304 4623224 140734806558784 18446744073709551615 4376711 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=12604/tid=12608] ppid=12602 vsize=428268 CPUtime=12.59 cores=1,3,5,7
/proc/12604/task/12608/stat : 12608 (SArTagnan) R 12602 12604 12135 0 -1 4202560 75373 0 0 0 1246 13 0 0 25 0 4 0 501176076 438546432 65920 33554432000 4194304 4623224 140734806558784 18446744073709551615 4364232 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 50.65
Current children cumulated vsize (KiB) 428268

[startup+25.5005 s]
/proc/loadavg: 7.59 7.90 7.68 9/184 12651
/proc/meminfo: memFree=23447284/32951124 swapFree=67111524/67111528
[pid=12604] ppid=12602 vsize=617108 CPUtime=101.78 cores=1,3,5,7
/proc/12604/stat : 12604 (SArTagnan) R 12602 12604 12135 0 -1 4202496 207101 0 0 0 10139 39 0 0 25 0 4 0 501176074 631918592 104776 33554432000 4194304 4623224 140734806558784 18446744073709551615 4510316 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/12604/statm: 154277 104776 500 105 0 149781 0
[pid=12604/tid=12606] ppid=12602 vsize=617108 CPUtime=25.47 cores=1,3,5,7
/proc/12604/task/12606/stat : 12606 (SArTagnan) R 12602 12604 12135 0 -1 4202560 23199 0 0 0 2543 4 0 0 25 0 4 0 501176076 631918592 104776 33554432000 4194304 4623224 140734806558784 18446744073709551615 4376823 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=12604/tid=12607] ppid=12602 vsize=617108 CPUtime=25.47 cores=1,3,5,7
/proc/12604/task/12607/stat : 12607 (SArTagnan) R 12602 12604 12135 0 -1 4202560 27425 0 0 0 2540 7 0 0 25 0 4 0 501176076 631918592 104776 33554432000 4194304 4623224 140734806558784 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=12604/tid=12608] ppid=12602 vsize=617108 CPUtime=25.33 cores=1,3,5,7
/proc/12604/task/12608/stat : 12608 (SArTagnan) R 12602 12604 12135 0 -1 4202560 136206 0 0 0 2509 24 0 0 25 0 4 0 501176076 631918592 104777 33554432000 4194304 4623224 140734806558784 18446744073709551615 4365088 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 101.78
Current children cumulated vsize (KiB) 617108

[startup+51.101 s]
/proc/loadavg: 7.73 7.91 7.69 9/184 12652
/proc/meminfo: memFree=23011004/32951124 swapFree=67111524/67111528
[pid=12604] ppid=12602 vsize=866792 CPUtime=204.03 cores=1,3,5,7
/proc/12604/stat : 12604 (SArTagnan) R 12602 12604 12135 0 -1 4202496 336349 0 0 0 20337 66 0 0 25 0 4 0 501176074 887595008 159603 33554432000 4194304 4623224 140734806558784 18446744073709551615 4355942 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/12604/statm: 216698 159603 355 105 0 212202 0
[pid=12604/tid=12606] ppid=12602 vsize=866792 CPUtime=51.07 cores=1,3,5,7
/proc/12604/task/12606/stat : 12606 (SArTagnan) R 12602 12604 12135 0 -1 4202560 46089 0 0 0 5100 7 0 0 25 0 4 0 501176076 887595008 159603 33554432000 4194304 4623224 140734806558784 18446744073709551615 4462984 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=12604/tid=12607] ppid=12602 vsize=866792 CPUtime=51.06 cores=1,3,5,7
/proc/12604/task/12607/stat : 12607 (SArTagnan) R 12602 12604 12135 0 -1 4202560 45794 0 0 0 5089 17 0 0 25 0 4 0 501176076 887595008 159603 33554432000 4194304 4623224 140734806558784 18446744073709551615 4376869 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=12604/tid=12608] ppid=12602 vsize=866792 CPUtime=50.78 cores=1,3,5,7
/proc/12604/task/12608/stat : 12608 (SArTagnan) R 12602 12604 12135 0 -1 4202560 215263 0 0 0 5042 36 0 0 25 0 4 0 501176076 887595008 159603 33554432000 4194304 4623224 140734806558784 18446744073709551615 4376711 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 204.03
Current children cumulated vsize (KiB) 866792

[startup+102.301 s]
/proc/loadavg: 7.94 7.93 7.71 9/184 12653
/proc/meminfo: memFree=22313500/32951124 swapFree=67111524/67111528
[pid=12604] ppid=12602 vsize=1266052 CPUtime=408.58 cores=1,3,5,7
/proc/12604/stat : 12604 (SArTagnan) R 12602 12604 12135 0 -1 4202496 600964 0 0 0 40731 127 0 0 25 0 4 0 501176074 1296437248 253242 33554432000 4194304 4623224 140734806558784 18446744073709551615 4414885 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/12604/statm: 316513 253242 912 105 0 312017 0
[pid=12604/tid=12606] ppid=12602 vsize=1266052 CPUtime=102.27 cores=1,3,5,7
/proc/12604/task/12606/stat : 12606 (SArTagnan) R 12602 12604 12135 0 -1 4202560 72160 0 0 0 10213 14 0 0 25 0 4 0 501176076 1296437248 253243 33554432000 4194304 4623224 140734806558784 18446744073709551615 4377144 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=12604/tid=12607] ppid=12602 vsize=1266052 CPUtime=102.27 cores=1,3,5,7
/proc/12604/task/12607/stat : 12607 (SArTagnan) R 12602 12604 12135 0 -1 4202560 84932 0 0 0 10187 40 0 0 25 0 4 0 501176076 1296437248 253243 33554432000 4194304 4623224 140734806558784 18446744073709551615 255106429985 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=12604/tid=12608] ppid=12602 vsize=1266052 CPUtime=101.71 cores=1,3,5,7
/proc/12604/task/12608/stat : 12608 (SArTagnan) R 12602 12604 12135 0 -1 4202560 402045 0 0 0 10105 66 0 0 25 0 4 0 501176076 1296437248 253243 33554432000 4194304 4623224 140734806558784 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 408.58
Current children cumulated vsize (KiB) 1266052

[startup+162.3 s]
/proc/loadavg: 8.02 7.96 7.73 9/184 12655
/proc/meminfo: memFree=21725848/32951124 swapFree=67111524/67111528
[pid=12604] ppid=12602 vsize=1437984 CPUtime=648.24 cores=1,3,5,7
/proc/12604/stat : 12604 (SArTagnan) R 12602 12604 12135 0 -1 4202496 890791 0 0 0 64631 193 0 0 25 0 4 0 501176074 1472495616 316288 33554432000 4194304 4623224 140734806558784 18446744073709551615 4511014 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/12604/statm: 359496 316288 342 105 0 355000 0
[pid=12604/tid=12606] ppid=12602 vsize=1437984 CPUtime=162.26 cores=1,3,5,7
/proc/12604/task/12606/stat : 12606 (SArTagnan) R 12602 12604 12135 0 -1 4202560 81469 0 0 0 16208 18 0 0 25 0 4 0 501176076 1472495616 316288 33554432000 4194304 4623224 140734806558784 18446744073709551615 4376675 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=12604/tid=12607] ppid=12602 vsize=1437984 CPUtime=162.26 cores=1,3,5,7
/proc/12604/task/12607/stat : 12607 (SArTagnan) R 12602 12604 12135 0 -1 4202560 105126 0 0 0 16168 58 0 0 25 0 4 0 501176076 1472495616 316288 33554432000 4194304 4623224 140734806558784 18446744073709551615 4376612 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=12604/tid=12608] ppid=12602 vsize=1437984 CPUtime=161.38 cores=1,3,5,7
/proc/12604/task/12608/stat : 12608 (SArTagnan) R 12602 12604 12135 0 -1 4202560 659647 0 0 0 16030 108 0 0 25 0 4 0 501176076 1472495616 316288 33554432000 4194304 4623224 140734806558784 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 648.24
Current children cumulated vsize (KiB) 1437984

[startup+222.307 s]
/proc/loadavg: 8.10 7.99 7.75 9/184 12657
/proc/meminfo: memFree=21233180/32951124 swapFree=67111524/67111528
[pid=12604] ppid=12602 vsize=1780472 CPUtime=887.93 cores=1,3,5,7
/proc/12604/stat : 12604 (SArTagnan) R 12602 12604 12135 0 -1 4202496 1252329 0 0 0 88529 264 0 0 25 0 4 0 501176074 1823203328 377873 33554432000 4194304 4623224 140734806558784 18446744073709551615 4510169 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/12604/statm: 445118 377873 342 105 0 440622 0
[pid=12604/tid=12606] ppid=12602 vsize=1780472 CPUtime=222.27 cores=1,3,5,7
/proc/12604/task/12606/stat : 12606 (SArTagnan) R 12602 12604 12135 0 -1 4202560 114110 0 0 0 22202 25 0 0 25 0 4 0 501176076 1823203328 377873 33554432000 4194304 4623224 140734806558784 18446744073709551615 4376643 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=12604/tid=12607] ppid=12602 vsize=1780472 CPUtime=222.27 cores=1,3,5,7
/proc/12604/task/12607/stat : 12607 (SArTagnan) R 12602 12604 12135 0 -1 4202560 135926 0 0 0 22153 74 0 0 25 0 4 0 501176076 1823203328 377873 33554432000 4194304 4623224 140734806558784 18446744073709551615 4357901 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=12604/tid=12608] ppid=12602 vsize=1780472 CPUtime=221.06 cores=1,3,5,7
/proc/12604/task/12608/stat : 12608 (SArTagnan) R 12602 12604 12135 0 -1 4202560 940629 0 0 0 21951 155 0 0 25 0 4 0 501176076 1823203328 377873 33554432000 4194304 4623224 140734806558784 18446744073709551615 4364232 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 887.93
Current children cumulated vsize (KiB) 1780472

[startup+282.3 s]

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


[startup+702.3 s]
/proc/loadavg: 8.07 8.05 7.87 9/184 12669
/proc/meminfo: memFree=19440904/32951124 swapFree=67111524/67111528
[pid=12604] ppid=12602 vsize=2840604 CPUtime=2805.32 cores=1,3,5,7
/proc/12604/stat : 12604 (SArTagnan) R 12602 12604 12135 0 -1 4202496 3284371 0 0 0 279864 668 0 0 25 0 4 0 501176074 2908778496 609742 33554432000 4194304 4623224 140734806558784 18446744073709551615 4414885 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/12604/statm: 710151 609742 342 105 0 705655 0
[pid=12604/tid=12606] ppid=12602 vsize=2840604 CPUtime=702.28 cores=1,3,5,7
/proc/12604/task/12606/stat : 12606 (SArTagnan) R 12602 12604 12135 0 -1 4202560 260600 0 0 0 70152 76 0 0 25 0 4 0 501176076 2908778496 609742 33554432000 4194304 4623224 140734806558784 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=12604/tid=12607] ppid=12602 vsize=2840604 CPUtime=702.27 cores=1,3,5,7
/proc/12604/task/12607/stat : 12607 (SArTagnan) R 12602 12604 12135 0 -1 4202560 136847 0 0 0 70153 74 0 0 25 0 4 0 501176076 2908778496 609742 33554432000 4194304 4623224 140734806558784 18446744073709551615 4486238 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=12604/tid=12608] ppid=12602 vsize=2840604 CPUtime=698.44 cores=1,3,5,7
/proc/12604/task/12608/stat : 12608 (SArTagnan) R 12602 12604 12135 0 -1 4202560 2746648 0 0 0 69353 491 0 0 25 0 4 0 501176076 2908778496 609742 33554432000 4194304 4623224 140734806558784 18446744073709551615 4545376 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2805.32
Current children cumulated vsize (KiB) 2840604

[startup+762.301 s]
/proc/loadavg: 8.08 8.06 7.88 9/184 12671
/proc/meminfo: memFree=19260716/32951124 swapFree=67111524/67111528
[pid=12604] ppid=12602 vsize=2910116 CPUtime=3045.03 cores=1,3,5,7
/proc/12604/stat : 12604 (SArTagnan) R 12602 12604 12135 0 -1 4202496 3477825 0 0 0 303796 707 0 0 25 0 4 0 501176074 2979958784 634826 33554432000 4194304 4623224 140734806558784 18446744073709551615 4415028 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/12604/statm: 727529 634826 344 105 0 723033 0
[pid=12604/tid=12606] ppid=12602 vsize=2910116 CPUtime=762.29 cores=1,3,5,7
/proc/12604/task/12606/stat : 12606 (SArTagnan) R 12602 12604 12135 0 -1 4202560 268232 0 0 0 76147 82 0 0 25 0 4 0 501176076 2979958784 634826 33554432000 4194304 4623224 140734806558784 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=12604/tid=12607] ppid=12602 vsize=2910116 CPUtime=762.28 cores=1,3,5,7
/proc/12604/task/12607/stat : 12607 (SArTagnan) R 12602 12604 12135 0 -1 4202560 136979 0 0 0 76154 74 0 0 25 0 4 0 501176076 2979958784 634826 33554432000 4194304 4623224 140734806558784 18446744073709551615 4357901 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=12604/tid=12608] ppid=12602 vsize=2910116 CPUtime=758.11 cores=1,3,5,7
/proc/12604/task/12608/stat : 12608 (SArTagnan) R 12602 12604 12135 0 -1 4202560 2930933 0 0 0 75288 523 0 0 25 0 4 0 501176076 2979958784 634826 33554432000 4194304 4623224 140734806558784 18446744073709551615 4364232 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3045.03
Current children cumulated vsize (KiB) 2910116

[startup+822.3 s]
/proc/loadavg: 8.08 8.06 7.89 9/184 12673
/proc/meminfo: memFree=19078052/32951124 swapFree=67111524/67111528
[pid=12604] ppid=12602 vsize=3018804 CPUtime=3284.68 cores=1,3,5,7
/proc/12604/stat : 12604 (SArTagnan) R 12602 12604 12135 0 -1 4202496 3726011 0 0 0 327711 757 0 0 25 0 4 0 501176074 3091255296 659667 33554432000 4194304 4623224 140734806558784 18446744073709551615 4414885 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/12604/statm: 754701 659667 342 105 0 750205 0
[pid=12604/tid=12606] ppid=12602 vsize=3018804 CPUtime=822.28 cores=1,3,5,7
/proc/12604/task/12606/stat : 12606 (SArTagnan) R 12602 12604 12135 0 -1 4202560 273889 0 0 0 82138 90 0 0 25 0 4 0 501176076 3091255296 659667 33554432000 4194304 4623224 140734806558784 18446744073709551615 4376711 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=12604/tid=12607] ppid=12602 vsize=3018804 CPUtime=822.27 cores=1,3,5,7
/proc/12604/task/12607/stat : 12607 (SArTagnan) R 12602 12604 12135 0 -1 4202560 137130 0 0 0 82153 74 0 0 25 0 4 0 501176076 3091255296 659667 33554432000 4194304 4623224 140734806558784 18446744073709551615 4486238 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=12604/tid=12608] ppid=12602 vsize=3018804 CPUtime=817.79 cores=1,3,5,7
/proc/12604/task/12608/stat : 12608 (SArTagnan) R 12602 12604 12135 0 -1 4202560 3147644 0 0 0 81217 562 0 0 25 0 4 0 501176076 3091255296 659667 33554432000 4194304 4623224 140734806558784 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3284.68
Current children cumulated vsize (KiB) 3018804

[startup+882.307 s]
/proc/loadavg: 8.08 8.06 7.90 9/184 12674
/proc/meminfo: memFree=18928620/32951124 swapFree=67111524/67111528
[pid=12604] ppid=12602 vsize=3084340 CPUtime=3524.38 cores=1,3,5,7
/proc/12604/stat : 12604 (SArTagnan) R 12602 12604 12135 0 -1 4202496 3961225 0 0 0 351631 807 0 0 25 0 4 0 501176074 3158364160 678232 33554432000 4194304 4623224 140734806558784 18446744073709551615 4356025 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/12604/statm: 771085 678232 342 105 0 766589 0
[pid=12604/tid=12606] ppid=12602 vsize=3084340 CPUtime=882.29 cores=1,3,5,7
/proc/12604/task/12606/stat : 12606 (SArTagnan) R 12602 12604 12135 0 -1 4202560 277161 0 0 0 88134 95 0 0 25 0 4 0 501176076 3158364160 678232 33554432000 4194304 4623224 140734806558784 18446744073709551615 4376869 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=12604/tid=12607] ppid=12602 vsize=3084340 CPUtime=882.28 cores=1,3,5,7
/proc/12604/task/12607/stat : 12607 (SArTagnan) R 12602 12604 12135 0 -1 4202560 137249 0 0 0 88154 74 0 0 25 0 4 0 501176076 3158364160 678232 33554432000 4194304 4623224 140734806558784 18446744073709551615 4357901 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=12604/tid=12608] ppid=12602 vsize=3084340 CPUtime=877.47 cores=1,3,5,7
/proc/12604/task/12608/stat : 12608 (SArTagnan) R 12602 12604 12135 0 -1 4202560 3362113 0 0 0 87144 603 0 0 25 0 4 0 501176076 3158364160 678232 33554432000 4194304 4623224 140734806558784 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3524.38
Current children cumulated vsize (KiB) 3084340

[startup+942.301 s]
/proc/loadavg: 8.14 8.08 7.92 9/184 12676
/proc/meminfo: memFree=18748684/32951124 swapFree=67111524/67111528
[pid=12604] ppid=12602 vsize=3164440 CPUtime=3764.04 cores=1,3,5,7
/proc/12604/stat : 12604 (SArTagnan) R 12602 12604 12135 0 -1 4202496 4265112 0 0 0 375540 864 0 0 25 0 4 0 501176074 3240386560 699716 33554432000 4194304 4623224 140734806558784 18446744073709551615 4356025 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/12604/statm: 791110 699717 342 105 0 786614 0
[pid=12604/tid=12606] ppid=12602 vsize=3164440 CPUtime=942.28 cores=1,3,5,7
/proc/12604/task/12606/stat : 12606 (SArTagnan) R 12602 12604 12135 0 -1 4202560 282155 0 0 0 94130 98 0 0 25 0 4 0 501176076 3240386560 699717 33554432000 4194304 4623224 140734806558784 18446744073709551615 4376869 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=12604/tid=12607] ppid=12602 vsize=3164440 CPUtime=942.28 cores=1,3,5,7
/proc/12604/task/12607/stat : 12607 (SArTagnan) R 12602 12604 12135 0 -1 4202560 137357 0 0 0 94153 75 0 0 25 0 4 0 501176076 3240386560 699718 33554432000 4194304 4623224 140734806558784 18446744073709551615 4486219 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=12604/tid=12608] ppid=12602 vsize=3164440 CPUtime=937.14 cores=1,3,5,7
/proc/12604/task/12608/stat : 12608 (SArTagnan) R 12602 12604 12135 0 -1 4202560 3591330 0 0 0 93071 643 0 0 25 0 4 0 501176076 3240386560 699719 33554432000 4194304 4623224 140734806558784 18446744073709551615 4550465 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3764.04
Current children cumulated vsize (KiB) 3164440

[startup+1002.3 s]
/proc/loadavg: 8.15 8.09 7.93 9/184 12677
/proc/meminfo: memFree=18578672/32951124 swapFree=67111524/67111528
[pid=12604] ppid=12602 vsize=3236180 CPUtime=4003.71 cores=1,3,5,7
/proc/12604/stat : 12604 (SArTagnan) R 12602 12604 12135 0 -1 4202496 4569018 0 0 0 399449 922 0 0 25 0 4 0 501176074 3313848320 723123 33554432000 4194304 4623224 140734806558784 18446744073709551615 4510090 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/12604/statm: 809045 723123 343 105 0 804549 0
[pid=12604/tid=12606] ppid=12602 vsize=3236180 CPUtime=1002.29 cores=1,3,5,7
/proc/12604/task/12606/stat : 12606 (SArTagnan) R 12602 12604 12135 0 -1 4202560 286685 0 0 0 100129 100 0 0 25 0 4 0 501176076 3313848320 723123 33554432000 4194304 4623224 140734806558784 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=12604/tid=12607] ppid=12602 vsize=3236180 CPUtime=1002.28 cores=1,3,5,7
/proc/12604/task/12607/stat : 12607 (SArTagnan) R 12602 12604 12135 0 -1 4202560 137518 0 0 0 100153 75 0 0 25 0 4 0 501176076 3313848320 723123 33554432000 4194304 4623224 140734806558784 18446744073709551615 4486238 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=12604/tid=12608] ppid=12602 vsize=3236180 CPUtime=996.8 cores=1,3,5,7
/proc/12604/task/12608/stat : 12608 (SArTagnan) R 12602 12604 12135 0 -1 4202560 3818887 0 0 0 98999 681 0 0 25 0 4 0 501176076 3313848320 723123 33554432000 4194304 4623224 140734806558784 18446744073709551615 4364911 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4003.71
Current children cumulated vsize (KiB) 3236180

[startup+1062.3 s]
/proc/loadavg: 8.15 8.10 7.94 9/184 12679
/proc/meminfo: memFree=18439772/32951124 swapFree=67111524/67111528
[pid=12604] ppid=12602 vsize=3306468 CPUtime=4243.39 cores=1,3,5,7
/proc/12604/stat : 12604 (SArTagnan) R 12602 12604 12135 0 -1 4202496 4866453 0 0 0 423360 979 0 0 25 0 4 0 501176074 3385823232 739713 33554432000 4194304 4623224 140734806558784 18446744073709551615 4510064 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/12604/statm: 826617 739713 342 105 0 822121 0
[pid=12604/tid=12606] ppid=12602 vsize=3306468 CPUtime=1062.28 cores=1,3,5,7
/proc/12604/task/12606/stat : 12606 (SArTagnan) R 12602 12604 12135 0 -1 4202560 290028 0 0 0 106126 102 0 0 25 0 4 0 501176076 3385823232 739713 33554432000 4194304 4623224 140734806558784 18446744073709551615 4376869 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=12604/tid=12607] ppid=12602 vsize=3306468 CPUtime=1062.29 cores=1,3,5,7
/proc/12604/task/12607/stat : 12607 (SArTagnan) R 12602 12604 12135 0 -1 4202560 137665 0 0 0 106154 75 0 0 25 0 4 0 501176076 3385823232 739713 33554432000 4194304 4623224 140734806558784 18446744073709551615 4486238 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=12604/tid=12608] ppid=12602 vsize=3306468 CPUtime=1056.48 cores=1,3,5,7
/proc/12604/task/12608/stat : 12608 (SArTagnan) R 12602 12604 12135 0 -1 4202560 4047860 0 0 0 104926 722 0 0 25 0 4 0 501176076 3385823232 739713 33554432000 4194304 4623224 140734806558784 18446744073709551615 4364232 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4243.39
Current children cumulated vsize (KiB) 3306468

[startup+1122.3 s]
/proc/loadavg: 8.05 8.08 7.94 9/184 12681
/proc/meminfo: memFree=18276828/32951124 swapFree=67111524/67111528
[pid=12604] ppid=12602 vsize=3402972 CPUtime=4483.07 cores=1,3,5,7
/proc/12604/stat : 12604 (SArTagnan) R 12602 12604 12135 0 -1 4202496 5108767 0 0 0 447276 1031 0 0 25 0 4 0 501176074 3484643328 757326 33554432000 4194304 4623224 140734806558784 18446744073709551615 4510064 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/12604/statm: 850743 757326 342 105 0 846247 0
[pid=12604/tid=12606] ppid=12602 vsize=3402972 CPUtime=1122.28 cores=1,3,5,7
/proc/12604/task/12606/stat : 12606 (SArTagnan) R 12602 12604 12135 0 -1 4202560 293886 0 0 0 112121 107 0 0 25 0 4 0 501176076 3484643328 757326 33554432000 4194304 4623224 140734806558784 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=12604/tid=12607] ppid=12602 vsize=3402972 CPUtime=1122.29 cores=1,3,5,7
/proc/12604/task/12607/stat : 12607 (SArTagnan) R 12602 12604 12135 0 -1 4202560 137798 0 0 0 112154 75 0 0 25 0 4 0 501176076 3484643328 757326 33554432000 4194304 4623224 140734806558784 18446744073709551615 4357901 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=12604/tid=12608] ppid=12602 vsize=3402972 CPUtime=1116.15 cores=1,3,5,7
/proc/12604/task/12608/stat : 12608 (SArTagnan) R 12602 12604 12135 0 -1 4202560 4262343 0 0 0 110851 764 0 0 25 0 4 0 501176076 3484643328 757326 33554432000 4194304 4623224 140734806558784 18446744073709551615 4550420 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4483.07
Current children cumulated vsize (KiB) 3402972

[startup+1182.3 s]
/proc/loadavg: 8.06 8.08 7.94 9/184 12682
/proc/meminfo: memFree=18142636/32951124 swapFree=67111524/67111528
[pid=12604] ppid=12602 vsize=3402972 CPUtime=4722.75 cores=1,3,5,7
/proc/12604/stat : 12604 (SArTagnan) R 12602 12604 12135 0 -1 4202496 5375832 0 0 0 471188 1087 0 0 25 0 4 0 501176074 3484643328 777843 33554432000 4194304 4623224 140734806558784 18446744073709551615 4414904 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/12604/statm: 850743 777843 342 105 0 846247 0
[pid=12604/tid=12606] ppid=12602 vsize=3402972 CPUtime=1182.29 cores=1,3,5,7
/proc/12604/task/12606/stat : 12606 (SArTagnan) R 12602 12604 12135 0 -1 4202560 299881 0 0 0 118114 115 0 0 25 0 4 0 501176076 3484643328 777843 33554432000 4194304 4623224 140734806558784 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=12604/tid=12607] ppid=12602 vsize=3402972 CPUtime=1182.29 cores=1,3,5,7
/proc/12604/task/12607/stat : 12607 (SArTagnan) R 12602 12604 12135 0 -1 4202560 137927 0 0 0 118154 75 0 0 25 0 4 0 501176076 3484643328 777843 33554432000 4194304 4623224 140734806558784 18446744073709551615 4357679 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=12604/tid=12608] ppid=12602 vsize=3402972 CPUtime=1175.83 cores=1,3,5,7
/proc/12604/task/12608/stat : 12608 (SArTagnan) R 12602 12604 12135 0 -1 4202560 4492086 0 0 0 116777 806 0 0 25 0 4 0 501176076 3484643328 777843 33554432000 4194304 4623224 140734806558784 18446744073709551615 4546788 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4722.75
Current children cumulated vsize (KiB) 3402972



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.7 s]
/proc/loadavg: 8.11 8.09 7.95 9/184 12683
/proc/meminfo: memFree=18081008/32951124 swapFree=67111524/67111528
[pid=12604] ppid=12602 vsize=3476088 CPUtime=4800.26 cores=1,3,5,7
/proc/12604/stat : 12604 (SArTagnan) R 12602 12604 12135 0 -1 4202496 5465616 0 0 0 478920 1106 0 0 25 0 4 0 501176074 3559514112 787031 33554432000 4194304 4623224 140734806558784 18446744073709551615 4517479 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/12604/statm: 869022 787031 342 105 0 864526 0
[pid=12604/tid=12606] ppid=12602 vsize=3476088 CPUtime=1201.61 cores=1,3,5,7
/proc/12604/task/12606/stat : 12606 (SArTagnan) R 12602 12604 12135 0 -1 4202560 302493 0 0 0 120043 118 0 0 25 0 4 0 501176076 3559514112 787031 33554432000 4194304 4623224 140734806558784 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=12604/tid=12607] ppid=12602 vsize=3476088 CPUtime=1201.69 cores=1,3,5,7
/proc/12604/task/12607/stat : 12607 (SArTagnan) R 12602 12604 12135 0 -1 4202560 137984 0 0 0 120094 75 0 0 25 0 4 0 501176076 3559514112 787031 33554432000 4194304 4623224 140734806558784 18446744073709551615 4357641 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=12604/tid=12608] ppid=12602 vsize=3476088 CPUtime=1195.2 cores=1,3,5,7
/proc/12604/task/12608/stat : 12608 (SArTagnan) R 12602 12604 12135 0 -1 4202560 4550392 0 0 0 118704 816 0 0 25 0 4 0 501176076 3559514112 787031 33554432000 4194304 4623224 140734806558784 18446744073709551615 4363989 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4800.26
Current children cumulated vsize (KiB) 3476088

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

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

[startup+1201.81 s]
/proc/loadavg: 8.11 8.09 7.95 9/184 12683
/proc/meminfo: memFree=18081008/32951124 swapFree=67111524/67111528
[pid=12604] ppid=12602 vsize=0 CPUtime=4800.38 cores=1,3,5,7
/proc/12604/stat : 12604 (SArTagnan) Z 12602 12604 12135 0 -1 4203548 5465639 0 0 0 478922 1116 0 0 25 0 2 0 501176074 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/12604/statm: 0 0 0 0 0 0 0
[pid=12604/tid=12606] ppid=12602 vsize=0 CPUtime=1201.71 cores=1,3,5,7
/proc/12604/task/12606/stat : 12606 (SArTagnan) R 12602 12604 12135 0 -1 4203588 302495 0 0 0 120043 128 0 0 25 0 2 0 501176076 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4800.38
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1201.85
CPU time (s): 4800.43
CPU user time (s): 4789.23
CPU system time (s): 11.1993
CPU usage (%): 399.42
Max. virtual memory (cumulated for all children) (KiB): 3476088

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4789.23
system time used= 11.1993
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 5465639
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= 1803
involuntary context switches= 17084

runsolver used 1.66375 second user time and 4.90025 second system time

The end

Launcher Data 

Begin job on node144 at 2011-04-29 16:33:19
IDJOB=3249154
IDBENCH=83157
IDSOLVER=1656
FILE ID=node144/3249154-1304087599
RUNJOBID= node144-1304086395-12498
PBS_JOBID= 13170542
Free space on /tmp= 72408 MiB

SOLVER NAME= SArTagnan 2011-03-24
BENCH NAME= SAT11/crafted/mosoi/289/289-unsat-6x34.cnf
COMMAND LINE= SArTagnan BENCHNAME -threads=NBCORE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3249154-1304087599/watcher-3249154-1304087599 -o /tmp/evaluation-result-3249154-1304087599/solver-3249154-1304087599 -C 4800 -W 1300 -M 15500  SArTagnan HOME/instance-3249154-1304087599.cnf -threads=4

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

MD5SUM BENCH= 1633295f58c28a5b4150be8640bdf9df
RANDOM SEED=993570848

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      24251216 kB
Buffers:       2122164 kB
Cached:        5965144 kB
SwapCached:          4 kB
Active:         160728 kB
Inactive:      7989864 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      24251216 kB
SwapTotal:    67111528 kB
SwapFree:     67111524 kB
Dirty:            1192 kB
Writeback:           0 kB
AnonPages:       63476 kB
Mapped:          14676 kB
Slab:           485844 kB
PageTables:       4668 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   184348 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= 72404 MiB
End job on node144 at 2011-04-29 16:53:23