Trace number 3259276

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.27 1201.97

General information on the benchmark

NameCRAFTED/rbsat/crafted/forced/
rbsat-v945c61409gyes7.cnf
MD5SUM6200c727c8a5a324974090a1f9a6d7ab
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark2.03669
Satisfiable
(Un)Satisfiability was proved
Number of variables945
Number of clauses61409
Sum of the clauses size123673
Maximum clause length21
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 261364
Number of clauses of size 30
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 545

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-3259276-1304057993/watcher-3259276-1304057993 -o /tmp/evaluation-result-3259276-1304057993/solver-3259276-1304057993 -C 4800 -W 1300 -M 15500 SArTagnan HOME/instance-3259276-1304057993.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.92 7.68 5/180 17072
/proc/meminfo: memFree=18463280/32951124 swapFree=67110396/67111528
[pid=17072] ppid=17070 vsize=20220 CPUtime=0 cores=1,3,5,7
/proc/17072/stat : 17072 (SArTagnan) R 17070 17072 14760 0 -1 4202496 586 0 0 0 0 0 0 0 25 0 1 0 596029991 20705280 464 33554432000 4194304 4623224 140737184722000 18446744073709551615 4366247 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/17072/statm: 5055 464 297 105 0 559 0

[startup+0.128196 s]
/proc/loadavg: 7.37 7.92 7.68 5/180 17072
/proc/meminfo: memFree=18463280/32951124 swapFree=67110396/67111528
[pid=17072] ppid=17070 vsize=254260 CPUtime=0.45 cores=1,3,5,7
/proc/17072/stat : 17072 (SArTagnan) R 17070 17072 14760 0 -1 4202496 3701 0 0 0 45 0 0 0 25 0 4 0 596029991 260362240 2943 33554432000 4194304 4623224 140737184722000 18446744073709551615 4510169 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/17072/statm: 63565 2943 344 105 0 59069 0
Current children cumulated CPU time (s) 0.45
Current children cumulated vsize (KiB) 254260

[startup+0.200186 s]
/proc/loadavg: 7.37 7.92 7.68 5/180 17072
/proc/meminfo: memFree=18463280/32951124 swapFree=67110396/67111528
[pid=17072] ppid=17070 vsize=254260 CPUtime=0.74 cores=1,3,5,7
/proc/17072/stat : 17072 (SArTagnan) R 17070 17072 14760 0 -1 4202496 4239 0 0 0 74 0 0 0 25 0 4 0 596029991 260362240 3481 33554432000 4194304 4623224 140737184722000 18446744073709551615 4510472 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/17072/statm: 63565 3481 344 105 0 59069 0
Current children cumulated CPU time (s) 0.74
Current children cumulated vsize (KiB) 254260

[startup+0.30017 s]
/proc/loadavg: 7.37 7.92 7.68 5/180 17072
/proc/meminfo: memFree=18463280/32951124 swapFree=67110396/67111528
[pid=17072] ppid=17070 vsize=258580 CPUtime=1.14 cores=1,3,5,7
/proc/17072/stat : 17072 (SArTagnan) R 17070 17072 14760 0 -1 4202496 5465 0 0 0 114 0 0 0 25 0 4 0 596029991 264785920 4224 33554432000 4194304 4623224 140737184722000 18446744073709551615 4366247 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/17072/statm: 64645 4224 344 105 0 60149 0
Current children cumulated CPU time (s) 1.14
Current children cumulated vsize (KiB) 258580

[startup+0.701103 s]
/proc/loadavg: 7.37 7.92 7.68 5/180 17072
/proc/meminfo: memFree=18463280/32951124 swapFree=67110396/67111528
[pid=17072] ppid=17070 vsize=261924 CPUtime=2.74 cores=1,3,5,7
/proc/17072/stat : 17072 (SArTagnan) R 17070 17072 14760 0 -1 4202496 7722 0 0 0 273 1 0 0 25 0 4 0 596029991 268210176 5551 33554432000 4194304 4623224 140737184722000 18446744073709551615 4519766 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/17072/statm: 65481 5551 344 105 0 60985 0
Current children cumulated CPU time (s) 2.74
Current children cumulated vsize (KiB) 261924

[startup+1.50097 s]
/proc/loadavg: 7.37 7.92 7.68 9/184 17076
/proc/meminfo: memFree=18419236/32951124 swapFree=67110396/67111528
[pid=17072] ppid=17070 vsize=264440 CPUtime=5.93 cores=1,3,5,7
/proc/17072/stat : 17072 (SArTagnan) R 17070 17072 14760 0 -1 4202496 12568 0 0 0 591 2 0 0 25 0 4 0 596029991 270786560 8145 33554432000 4194304 4623224 140737184722000 18446744073709551615 4414533 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/17072/statm: 66110 8145 344 105 0 61614 0
[pid=17072/tid=17074] ppid=17070 vsize=264440 CPUtime=1.48 cores=1,3,5,7
/proc/17072/task/17074/stat : 17074 (SArTagnan) R 17070 17072 14760 0 -1 4202560 2564 0 0 0 147 1 0 0 25 0 4 0 596029992 270786560 8145 33554432000 4194304 4623224 140737184722000 18446744073709551615 4461160 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=17072/tid=17075] ppid=17070 vsize=264440 CPUtime=1.47 cores=1,3,5,7
/proc/17072/task/17075/stat : 17075 (SArTagnan) R 17070 17072 14760 0 -1 4202560 3114 0 0 0 147 0 0 0 25 0 4 0 596029992 270786560 8145 33554432000 4194304 4623224 140737184722000 18446744073709551615 4377660 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=17072/tid=17076] ppid=17070 vsize=264440 CPUtime=1.47 cores=1,3,5,7
/proc/17072/task/17076/stat : 17076 (SArTagnan) R 17070 17072 14760 0 -1 4202560 2833 0 0 0 147 0 0 0 25 0 4 0 596029992 270786560 8145 33554432000 4194304 4623224 140737184722000 18446744073709551615 4545864 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 5.93
Current children cumulated vsize (KiB) 264440

[startup+3.1007 s]
/proc/loadavg: 7.37 7.92 7.68 9/184 17076
/proc/meminfo: memFree=18400060/32951124 swapFree=67110396/67111528
[pid=17072] ppid=17070 vsize=266688 CPUtime=12.32 cores=1,3,5,7
/proc/17072/stat : 17072 (SArTagnan) R 17070 17072 14760 0 -1 4202496 26233 0 0 0 1228 4 0 0 25 0 4 0 596029991 273088512 11669 33554432000 4194304 4623224 140737184722000 18446744073709551615 4510167 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/17072/statm: 66672 11669 344 105 0 62176 0
[pid=17072/tid=17074] ppid=17070 vsize=266688 CPUtime=3.07 cores=1,3,5,7
/proc/17072/task/17074/stat : 17074 (SArTagnan) R 17070 17072 14760 0 -1 4202560 4177 0 0 0 306 1 0 0 25 0 4 0 596029992 273088512 11669 33554432000 4194304 4623224 140737184722000 18446744073709551615 4377691 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=17072/tid=17075] ppid=17070 vsize=266688 CPUtime=3.08 cores=1,3,5,7
/proc/17072/task/17075/stat : 17075 (SArTagnan) R 17070 17072 14760 0 -1 4202560 5110 0 0 0 307 1 0 0 25 0 4 0 596029992 273088512 11669 33554432000 4194304 4623224 140737184722000 18446744073709551615 4376629 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=17072/tid=17076] ppid=17070 vsize=266688 CPUtime=3.06 cores=1,3,5,7
/proc/17072/task/17076/stat : 17076 (SArTagnan) R 17070 17072 14760 0 -1 4202560 12526 0 0 0 305 1 0 0 25 0 4 0 596029992 273088512 11669 33554432000 4194304 4623224 140737184722000 18446744073709551615 4376829 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 12.32
Current children cumulated vsize (KiB) 266688

[startup+6.30117 s]
/proc/loadavg: 7.42 7.92 7.68 9/184 17076
/proc/meminfo: memFree=18355048/32951124 swapFree=67110396/67111528
[pid=17072] ppid=17070 vsize=272708 CPUtime=25.11 cores=1,3,5,7
/proc/17072/stat : 17072 (SArTagnan) R 17070 17072 14760 0 -1 4202496 60171 0 0 0 2501 10 0 0 25 0 4 0 596029991 279252992 16491 33554432000 4194304 4623224 140737184722000 18446744073709551615 4510093 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/17072/statm: 68177 16491 344 105 0 63681 0
[pid=17072/tid=17074] ppid=17070 vsize=272708 CPUtime=6.28 cores=1,3,5,7
/proc/17072/task/17074/stat : 17074 (SArTagnan) R 17070 17072 14760 0 -1 4202560 6051 0 0 0 626 2 0 0 25 0 4 0 596029992 279252992 16491 33554432000 4194304 4623224 140737184722000 18446744073709551615 4377133 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=17072/tid=17075] ppid=17070 vsize=272708 CPUtime=6.27 cores=1,3,5,7
/proc/17072/task/17075/stat : 17075 (SArTagnan) R 17070 17072 14760 0 -1 4202560 7429 0 0 0 626 1 0 0 25 0 4 0 596029992 279252992 16491 33554432000 4194304 4623224 140737184722000 18446744073709551615 4376823 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=17072/tid=17076] ppid=17070 vsize=272708 CPUtime=6.24 cores=1,3,5,7
/proc/17072/task/17076/stat : 17076 (SArTagnan) R 17070 17072 14760 0 -1 4202560 41621 0 0 0 619 5 0 0 25 0 4 0 596029992 279252992 16491 33554432000 4194304 4623224 140737184722000 18446744073709551615 4577456 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 25.11
Current children cumulated vsize (KiB) 272708

[startup+12.7011 s]
/proc/loadavg: 7.46 7.92 7.68 9/184 17076
/proc/meminfo: memFree=18286484/32951124 swapFree=67110396/67111528
[pid=17072] ppid=17070 vsize=296224 CPUtime=50.68 cores=1,3,5,7
/proc/17072/stat : 17072 (SArTagnan) R 17070 17072 14760 0 -1 4202496 113940 0 0 0 5049 19 0 0 25 0 4 0 596029991 303333376 24975 33554432000 4194304 4623224 140737184722000 18446744073709551615 4510169 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/17072/statm: 74056 24975 344 105 0 69560 0
[pid=17072/tid=17074] ppid=17070 vsize=296224 CPUtime=12.68 cores=1,3,5,7
/proc/17072/task/17074/stat : 17074 (SArTagnan) R 17070 17072 14760 0 -1 4202560 11828 0 0 0 1265 3 0 0 25 0 4 0 596029992 303333376 24975 33554432000 4194304 4623224 140737184722000 18446744073709551615 4466033 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=17072/tid=17075] ppid=17070 vsize=296224 CPUtime=12.67 cores=1,3,5,7
/proc/17072/task/17075/stat : 17075 (SArTagnan) R 17070 17072 14760 0 -1 4202560 12773 0 0 0 1264 3 0 0 25 0 4 0 596029992 303333376 24975 33554432000 4194304 4623224 140737184722000 18446744073709551615 4376880 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=17072/tid=17076] ppid=17070 vsize=296224 CPUtime=12.61 cores=1,3,5,7
/proc/17072/task/17076/stat : 17076 (SArTagnan) R 17070 17072 14760 0 -1 4202560 82467 0 0 0 1250 11 0 0 25 0 4 0 596029992 303333376 24975 33554432000 4194304 4623224 140737184722000 18446744073709551615 4291588 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 50.68
Current children cumulated vsize (KiB) 296224

[startup+25.501 s]
/proc/loadavg: 7.66 7.94 7.69 9/184 17076
/proc/meminfo: memFree=18177840/32951124 swapFree=67110396/67111528
[pid=17072] ppid=17070 vsize=316652 CPUtime=101.8 cores=1,3,5,7
/proc/17072/stat : 17072 (SArTagnan) R 17070 17072 14760 0 -1 4202496 233934 0 0 0 10140 40 0 0 25 0 4 0 596029991 324251648 38088 33554432000 4194304 4623224 140737184722000 18446744073709551615 4510199 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/17072/statm: 79163 38088 348 105 0 74667 0
[pid=17072/tid=17074] ppid=17070 vsize=316652 CPUtime=25.47 cores=1,3,5,7
/proc/17072/task/17074/stat : 17074 (SArTagnan) R 17070 17072 14760 0 -1 4202560 18816 0 0 0 2541 6 0 0 25 0 4 0 596029992 324251648 38088 33554432000 4194304 4623224 140737184722000 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=17072/tid=17075] ppid=17070 vsize=316652 CPUtime=25.48 cores=1,3,5,7
/proc/17072/task/17075/stat : 17075 (SArTagnan) R 17070 17072 14760 0 -1 4202560 18599 0 0 0 2542 6 0 0 25 0 4 0 596029992 324251648 38088 33554432000 4194304 4623224 140737184722000 18446744073709551615 4289853 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=17072/tid=17076] ppid=17070 vsize=316652 CPUtime=25.33 cores=1,3,5,7
/proc/17072/task/17076/stat : 17076 (SArTagnan) R 17070 17072 14760 0 -1 4202560 186854 0 0 0 2508 25 0 0 25 0 4 0 596029992 324251648 38088 33554432000 4194304 4623224 140737184722000 18446744073709551615 4364232 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 101.8
Current children cumulated vsize (KiB) 316652

[startup+51.1007 s]
/proc/loadavg: 7.78 7.95 7.70 9/184 17078
/proc/meminfo: memFree=18001616/32951124 swapFree=67110396/67111528
[pid=17072] ppid=17070 vsize=368336 CPUtime=204.07 cores=1,3,5,7
/proc/17072/stat : 17072 (SArTagnan) R 17070 17072 14760 0 -1 4202496 511061 0 0 0 20323 84 0 0 25 0 4 0 596029991 377176064 63287 33554432000 4194304 4623224 140737184722000 18446744073709551615 4507572 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/17072/statm: 92084 63287 636 105 0 87588 0
[pid=17072/tid=17074] ppid=17070 vsize=368336 CPUtime=51.07 cores=1,3,5,7
/proc/17072/task/17074/stat : 17074 (SArTagnan) R 17070 17072 14760 0 -1 4202560 21250 0 0 0 5099 8 0 0 25 0 4 0 596029992 377176064 63287 33554432000 4194304 4623224 140737184722000 18446744073709551615 4330746 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=17072/tid=17075] ppid=17070 vsize=368336 CPUtime=51.07 cores=1,3,5,7
/proc/17072/task/17075/stat : 17075 (SArTagnan) R 17070 17072 14760 0 -1 4202560 28174 0 0 0 5099 8 0 0 25 0 4 0 596029992 377176064 63287 33554432000 4194304 4623224 140737184722000 18446744073709551615 4376629 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=17072/tid=17076] ppid=17070 vsize=368336 CPUtime=50.8 cores=1,3,5,7
/proc/17072/task/17076/stat : 17076 (SArTagnan) R 17070 17072 14760 0 -1 4202560 437858 0 0 0 5017 63 0 0 25 0 4 0 596029992 377176064 63287 33554432000 4194304 4623224 140737184722000 18446744073709551615 4545387 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 204.07
Current children cumulated vsize (KiB) 368336

[startup+102.301 s]
/proc/loadavg: 7.96 7.97 7.72 9/184 17078
/proc/meminfo: memFree=17797716/32951124 swapFree=67110396/67111528
[pid=17072] ppid=17070 vsize=565636 CPUtime=408.6 cores=1,3,5,7
/proc/17072/stat : 17072 (SArTagnan) R 17070 17072 14760 0 -1 4202496 1083764 0 0 0 40686 174 0 0 25 0 4 0 596029991 579211264 91424 33554432000 4194304 4623224 140737184722000 18446744073709551615 4510070 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/17072/statm: 141409 91424 355 105 0 136913 0
[pid=17072/tid=17074] ppid=17070 vsize=565636 CPUtime=102.28 cores=1,3,5,7
/proc/17072/task/17074/stat : 17074 (SArTagnan) R 17070 17072 14760 0 -1 4202560 41621 0 0 0 10212 16 0 0 25 0 4 0 596029992 579211264 91424 33554432000 4194304 4623224 140737184722000 18446744073709551615 4377587 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=17072/tid=17075] ppid=17070 vsize=565636 CPUtime=102.28 cores=1,3,5,7
/proc/17072/task/17075/stat : 17075 (SArTagnan) R 17070 17072 14760 0 -1 4202560 40405 0 0 0 10217 11 0 0 25 0 4 0 596029992 579211264 91424 33554432000 4194304 4623224 140737184722000 18446744073709551615 4376629 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=17072/tid=17076] ppid=17070 vsize=565636 CPUtime=101.72 cores=1,3,5,7
/proc/17072/task/17076/stat : 17076 (SArTagnan) R 17070 17072 14760 0 -1 4202560 964834 0 0 0 10031 141 0 0 25 0 4 0 596029992 579211264 91424 33554432000 4194304 4623224 140737184722000 18446744073709551615 4364911 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 408.6
Current children cumulated vsize (KiB) 565636

[startup+162.301 s]
/proc/loadavg: 8.04 7.99 7.74 9/184 17080
/proc/meminfo: memFree=17591124/32951124 swapFree=67110396/67111528
[pid=17072] ppid=17070 vsize=720376 CPUtime=648.26 cores=1,3,5,7
/proc/17072/stat : 17072 (SArTagnan) R 17070 17072 14760 0 -1 4202496 1842749 0 0 0 64534 292 0 0 25 0 4 0 596029991 737665024 116322 33554432000 4194304 4623224 140737184722000 18446744073709551615 4510064 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/17072/statm: 180094 116322 344 105 0 175598 0
[pid=17072/tid=17074] ppid=17070 vsize=720376 CPUtime=162.27 cores=1,3,5,7
/proc/17072/task/17074/stat : 17074 (SArTagnan) R 17070 17072 14760 0 -1 4202560 44864 0 0 0 16210 17 0 0 25 0 4 0 596029992 737665024 116322 33554432000 4194304 4623224 140737184722000 18446744073709551615 4330680 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=17072/tid=17075] ppid=17070 vsize=720376 CPUtime=162.28 cores=1,3,5,7
/proc/17072/task/17075/stat : 17075 (SArTagnan) R 17070 17072 14760 0 -1 4202560 57516 0 0 0 16214 14 0 0 25 0 4 0 596029992 737665024 116322 33554432000 4194304 4623224 140737184722000 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=17072/tid=17076] ppid=17070 vsize=720376 CPUtime=161.39 cores=1,3,5,7
/proc/17072/task/17076/stat : 17076 (SArTagnan) R 17070 17072 14760 0 -1 4202560 1669410 0 0 0 15891 248 0 0 25 0 4 0 596029992 737665024 116322 33554432000 4194304 4623224 140737184722000 18446744073709551615 4545317 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 648.26
Current children cumulated vsize (KiB) 720376

[startup+222.307 s]
/proc/loadavg: 8.01 7.99 7.75 9/184 17082
/proc/meminfo: memFree=17376464/32951124 swapFree=67110396/67111528
[pid=17072] ppid=17070 vsize=822796 CPUtime=887.95 cores=1,3,5,7
/proc/17072/stat : 17072 (SArTagnan) R 17070 17072 14760 0 -1 4202496 2530792 0 0 0 88387 408 0 0 25 0 4 0 596029991 842543104 146669 33554432000 4194304 4623224 140737184722000 18446744073709551615 4510167 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/17072/statm: 205699 146669 463 105 0 201203 0
[pid=17072/tid=17074] ppid=17070 vsize=822796 CPUtime=222.28 cores=1,3,5,7
/proc/17072/task/17074/stat : 17074 (SArTagnan) R 17070 17072 14760 0 -1 4202560 61255 0 0 0 22203 25 0 0 25 0 4 0 596029992 842543104 146669 33554432000 4194304 4623224 140737184722000 18446744073709551615 4376895 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=17072/tid=17075] ppid=17070 vsize=822796 CPUtime=222.28 cores=1,3,5,7
/proc/17072/task/17075/stat : 17075 (SArTagnan) R 17070 17072 14760 0 -1 4202560 63307 0 0 0 22211 17 0 0 25 0 4 0 596029992 842543104 146669 33554432000 4194304 4623224 140737184722000 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=17072/tid=17076] ppid=17070 vsize=822796 CPUtime=221.06 cores=1,3,5,7
/proc/17072/task/17076/stat : 17076 (SArTagnan) R 17070 17072 14760 0 -1 4202560 2325559 0 0 0 21755 351 0 0 25 0 4 0 596029992 842543104 146669 33554432000 4194304 4623224 140737184722000 18446744073709551615 4365103 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 887.95
Current children cumulated vsize (KiB) 822796

[startup+282.301 s]

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

[pid=17072] ppid=17070 vsize=1388336 CPUtime=2565.63 cores=1,3,5,7
/proc/17072/stat : 17072 (SArTagnan) R 17070 17072 14760 0 -1 4202496 5199972 0 0 0 255712 851 0 0 25 0 4 0 596029991 1421656064 261903 33554432000 4194304 4623224 140737184722000 18446744073709551615 4510064 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/17072/statm: 347084 261903 379 105 0 342588 0
[pid=17072/tid=17074] ppid=17070 vsize=1388336 CPUtime=642.26 cores=1,3,5,7
/proc/17072/task/17074/stat : 17074 (SArTagnan) R 17070 17072 14760 0 -1 4202560 102491 0 0 0 64172 54 0 0 25 0 4 0 596029992 1421656064 261903 33554432000 4194304 4623224 140737184722000 18446744073709551615 4376711 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=17072/tid=17075] ppid=17070 vsize=1388336 CPUtime=642.29 cores=1,3,5,7
/proc/17072/task/17075/stat : 17075 (SArTagnan) R 17070 17072 14760 0 -1 4202560 141675 0 0 0 64186 43 0 0 25 0 4 0 596029992 1421656064 261903 33554432000 4194304 4623224 140737184722000 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=17072/tid=17076] ppid=17070 vsize=1388336 CPUtime=638.76 cores=1,3,5,7
/proc/17072/task/17076/stat : 17076 (SArTagnan) R 17070 17072 14760 0 -1 4202560 4780582 0 0 0 63151 725 0 0 25 0 4 0 596029992 1421656064 261903 33554432000 4194304 4623224 140737184722000 18446744073709551615 4545376 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2565.63
Current children cumulated vsize (KiB) 1388336

[startup+702.301 s]
/proc/loadavg: 8.20 8.10 7.88 9/184 17094
/proc/meminfo: memFree=16477808/32951124 swapFree=67110396/67111528
[pid=17072] ppid=17070 vsize=1399396 CPUtime=2805.31 cores=1,3,5,7
/proc/17072/stat : 17072 (SArTagnan) R 17070 17072 14760 0 -1 4202496 5233032 0 0 0 279672 859 0 0 25 0 4 0 596029991 1432981504 267600 33554432000 4194304 4623224 140737184722000 18446744073709551615 4414993 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/17072/statm: 349849 267600 379 105 0 345353 0
[pid=17072/tid=17074] ppid=17070 vsize=1399396 CPUtime=702.27 cores=1,3,5,7
/proc/17072/task/17074/stat : 17074 (SArTagnan) R 17070 17072 14760 0 -1 4202560 103514 0 0 0 70172 55 0 0 25 0 4 0 596029992 1432981504 267600 33554432000 4194304 4623224 140737184722000 18446744073709551615 4376672 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=17072/tid=17075] ppid=17070 vsize=1399396 CPUtime=702.29 cores=1,3,5,7
/proc/17072/task/17075/stat : 17075 (SArTagnan) R 17070 17072 14760 0 -1 4202560 142940 0 0 0 70185 44 0 0 25 0 4 0 596029992 1432981504 267600 33554432000 4194304 4623224 140737184722000 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=17072/tid=17076] ppid=17070 vsize=1399396 CPUtime=698.43 cores=1,3,5,7
/proc/17072/task/17076/stat : 17076 (SArTagnan) R 17070 17072 14760 0 -1 4202560 4783658 0 0 0 69118 725 0 0 25 0 4 0 596029992 1432981504 267600 33554432000 4194304 4623224 140737184722000 18446744073709551615 4364232 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2805.31
Current children cumulated vsize (KiB) 1399396

[startup+762.301 s]
/proc/loadavg: 8.12 8.09 7.89 9/184 17096
/proc/meminfo: memFree=16382444/32951124 swapFree=67110396/67111528
[pid=17072] ppid=17070 vsize=1411300 CPUtime=3045 cores=1,3,5,7
/proc/17072/stat : 17072 (SArTagnan) R 17070 17072 14760 0 -1 4202496 5276411 0 0 0 303631 869 0 0 25 0 4 0 596029991 1445171200 274787 33554432000 4194304 4623224 140737184722000 18446744073709551615 4510316 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/17072/statm: 352825 274787 369 105 0 348329 0
[pid=17072/tid=17074] ppid=17070 vsize=1411300 CPUtime=762.27 cores=1,3,5,7
/proc/17072/task/17074/stat : 17074 (SArTagnan) R 17070 17072 14760 0 -1 4202560 105626 0 0 0 76171 56 0 0 25 0 4 0 596029992 1445171200 274787 33554432000 4194304 4623224 140737184722000 18446744073709551615 4376668 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=17072/tid=17075] ppid=17070 vsize=1411300 CPUtime=762.29 cores=1,3,5,7
/proc/17072/task/17075/stat : 17075 (SArTagnan) R 17070 17072 14760 0 -1 4202560 143739 0 0 0 76185 44 0 0 25 0 4 0 596029992 1445171200 274787 33554432000 4194304 4623224 140737184722000 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=17072/tid=17076] ppid=17070 vsize=1411300 CPUtime=758.1 cores=1,3,5,7
/proc/17072/task/17076/stat : 17076 (SArTagnan) R 17070 17072 14760 0 -1 4202560 4786781 0 0 0 75084 726 0 0 25 0 4 0 596029992 1445171200 274787 33554432000 4194304 4623224 140737184722000 18446744073709551615 4364232 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3045
Current children cumulated vsize (KiB) 1411300

[startup+822.301 s]
/proc/loadavg: 8.09 8.09 7.90 9/184 17098
/proc/meminfo: memFree=16284096/32951124 swapFree=67110396/67111528
[pid=17072] ppid=17070 vsize=1535064 CPUtime=3284.65 cores=1,3,5,7
/proc/17072/stat : 17072 (SArTagnan) R 17070 17072 14760 0 -1 4202496 5342938 0 0 0 327580 885 0 0 25 0 4 0 596029991 1571905536 284356 33554432000 4194304 4623224 140737184722000 18446744073709551615 4510105 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/17072/statm: 383766 284356 346 105 0 379270 0
[pid=17072/tid=17074] ppid=17070 vsize=1535064 CPUtime=822.27 cores=1,3,5,7
/proc/17072/task/17074/stat : 17074 (SArTagnan) R 17070 17072 14760 0 -1 4202560 134248 0 0 0 82166 61 0 0 25 0 4 0 596029992 1571905536 284356 33554432000 4194304 4623224 140737184722000 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=17072/tid=17075] ppid=17070 vsize=1535064 CPUtime=822.29 cores=1,3,5,7
/proc/17072/task/17075/stat : 17075 (SArTagnan) R 17070 17072 14760 0 -1 4202560 145068 0 0 0 82184 45 0 0 25 0 4 0 596029992 1571905536 284356 33554432000 4194304 4623224 140737184722000 18446744073709551615 4376711 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=17072/tid=17076] ppid=17070 vsize=1535064 CPUtime=817.78 cores=1,3,5,7
/proc/17072/task/17076/stat : 17076 (SArTagnan) R 17070 17072 14760 0 -1 4202560 4789363 0 0 0 81051 727 0 0 25 0 4 0 596029992 1571905536 284356 33554432000 4194304 4623224 140737184722000 18446744073709551615 4545376 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3284.65
Current children cumulated vsize (KiB) 1535064

[startup+882.307 s]
/proc/loadavg: 8.07 8.08 7.91 9/184 17100
/proc/meminfo: memFree=16195304/32951124 swapFree=67110396/67111528
[pid=17072] ppid=17070 vsize=1543352 CPUtime=3524.35 cores=1,3,5,7
/proc/17072/stat : 17072 (SArTagnan) R 17070 17072 14760 0 -1 4202496 5398444 0 0 0 351533 902 0 0 25 0 4 0 596029991 1580392448 293902 33554432000 4194304 4623224 140737184722000 18446744073709551615 4510169 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/17072/statm: 385838 293902 346 105 0 381342 0
[pid=17072/tid=17074] ppid=17070 vsize=1543352 CPUtime=882.27 cores=1,3,5,7
/proc/17072/task/17074/stat : 17074 (SArTagnan) R 17070 17072 14760 0 -1 4202560 137271 0 0 0 88163 64 0 0 25 0 4 0 596029992 1580392448 293902 33554432000 4194304 4623224 140737184722000 18446744073709551615 4376869 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=17072/tid=17075] ppid=17070 vsize=1543352 CPUtime=882.29 cores=1,3,5,7
/proc/17072/task/17075/stat : 17075 (SArTagnan) R 17070 17072 14760 0 -1 4202560 147792 0 0 0 88181 48 0 0 25 0 4 0 596029992 1580392448 293902 33554432000 4194304 4623224 140737184722000 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=17072/tid=17076] ppid=17070 vsize=1543352 CPUtime=877.45 cores=1,3,5,7
/proc/17072/task/17076/stat : 17076 (SArTagnan) R 17070 17072 14760 0 -1 4202560 4791786 0 0 0 87018 727 0 0 25 0 4 0 596029992 1580392448 293902 33554432000 4194304 4623224 140737184722000 18446744073709551615 4364232 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3524.35
Current children cumulated vsize (KiB) 1543352

[startup+942.301 s]
/proc/loadavg: 8.07 8.08 7.91 9/184 17100
/proc/meminfo: memFree=16119128/32951124 swapFree=67110396/67111528
[pid=17072] ppid=17070 vsize=1548860 CPUtime=3764 cores=1,3,5,7
/proc/17072/stat : 17072 (SArTagnan) R 17070 17072 14760 0 -1 4202496 5609866 0 0 0 375460 940 0 0 25 0 4 0 596029991 1586032640 304677 33554432000 4194304 4623224 140737184722000 18446744073709551615 4414880 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/17072/statm: 387215 304677 346 105 0 382719 0
[pid=17072/tid=17074] ppid=17070 vsize=1548860 CPUtime=942.26 cores=1,3,5,7
/proc/17072/task/17074/stat : 17074 (SArTagnan) R 17070 17072 14760 0 -1 4202560 139270 0 0 0 94161 65 0 0 25 0 4 0 596029992 1586032640 304677 33554432000 4194304 4623224 140737184722000 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=17072/tid=17075] ppid=17070 vsize=1548860 CPUtime=942.28 cores=1,3,5,7
/proc/17072/task/17075/stat : 17075 (SArTagnan) R 17070 17072 14760 0 -1 4202560 150430 0 0 0 94177 51 0 0 25 0 4 0 596029992 1586032640 304677 33554432000 4194304 4623224 140737184722000 18446744073709551615 4376711 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=17072/tid=17076] ppid=17070 vsize=1548860 CPUtime=937.12 cores=1,3,5,7
/proc/17072/task/17076/stat : 17076 (SArTagnan) R 17070 17072 14760 0 -1 4202560 4948874 0 0 0 92961 751 0 0 25 0 4 0 596029992 1586032640 304677 33554432000 4194304 4623224 140737184722000 18446744073709551615 4376960 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3764
Current children cumulated vsize (KiB) 1548860

[startup+1002.3 s]
/proc/loadavg: 8.06 8.08 7.92 9/184 17102
/proc/meminfo: memFree=16070248/32951124 swapFree=67110396/67111528
[pid=17072] ppid=17070 vsize=1548860 CPUtime=4003.67 cores=1,3,5,7
/proc/17072/stat : 17072 (SArTagnan) R 17070 17072 14760 0 -1 4202496 6321042 0 0 0 399312 1055 0 0 25 0 4 0 596029991 1586032640 312429 33554432000 4194304 4623224 140737184722000 18446744073709551615 4510064 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/17072/statm: 387215 312429 346 105 0 382719 0
[pid=17072/tid=17074] ppid=17070 vsize=1548860 CPUtime=1002.27 cores=1,3,5,7
/proc/17072/task/17074/stat : 17074 (SArTagnan) R 17070 17072 14760 0 -1 4202560 140982 0 0 0 100161 66 0 0 25 0 4 0 596029992 1586032640 312429 33554432000 4194304 4623224 140737184722000 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=17072/tid=17075] ppid=17070 vsize=1548860 CPUtime=1002.28 cores=1,3,5,7
/proc/17072/task/17075/stat : 17075 (SArTagnan) R 17070 17072 14760 0 -1 4202560 153135 0 0 0 100174 54 0 0 25 0 4 0 596029992 1586032640 312429 33554432000 4194304 4623224 140737184722000 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=17072/tid=17076] ppid=17070 vsize=1548860 CPUtime=996.79 cores=1,3,5,7
/proc/17072/task/17076/stat : 17076 (SArTagnan) R 17070 17072 14760 0 -1 4202560 5605537 0 0 0 98827 852 0 0 25 0 4 0 596029992 1586032640 312429 33554432000 4194304 4623224 140737184722000 18446744073709551615 4289735 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4003.67
Current children cumulated vsize (KiB) 1548860

[startup+1062.3 s]
/proc/loadavg: 8.06 8.08 7.93 9/184 17104
/proc/meminfo: memFree=15981824/32951124 swapFree=67110396/67111528
[pid=17072] ppid=17070 vsize=1694252 CPUtime=4243.35 cores=1,3,5,7
/proc/17072/stat : 17072 (SArTagnan) R 17070 17072 14760 0 -1 4202496 6995171 0 0 0 423170 1165 0 0 25 0 4 0 596029991 1734914048 332670 33554432000 4194304 4623224 140737184722000 18446744073709551615 4414880 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/17072/statm: 423563 332670 346 105 0 419067 0
[pid=17072/tid=17074] ppid=17070 vsize=1694252 CPUtime=1062.27 cores=1,3,5,7
/proc/17072/task/17074/stat : 17074 (SArTagnan) R 17070 17072 14760 0 -1 4202560 149075 0 0 0 106159 68 0 0 25 0 4 0 596029992 1734914048 332670 33554432000 4194304 4623224 140737184722000 18446744073709551615 4376711 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=17072/tid=17075] ppid=17070 vsize=1694252 CPUtime=1062.29 cores=1,3,5,7
/proc/17072/task/17075/stat : 17075 (SArTagnan) R 17070 17072 14760 0 -1 4202560 155812 0 0 0 106170 59 0 0 25 0 4 0 596029992 1734914048 332670 33554432000 4194304 4623224 140737184722000 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=17072/tid=17076] ppid=17070 vsize=1694252 CPUtime=1056.46 cores=1,3,5,7
/proc/17072/task/17076/stat : 17076 (SArTagnan) R 17070 17072 14760 0 -1 4202560 6161689 0 0 0 104709 937 0 0 25 0 4 0 596029992 1734914048 332670 33554432000 4194304 4623224 140737184722000 18446744073709551615 4545376 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4243.35
Current children cumulated vsize (KiB) 1694252

[startup+1122.3 s]
/proc/loadavg: 8.06 8.07 7.93 9/184 17106
/proc/meminfo: memFree=15878752/32951124 swapFree=67110396/67111528
[pid=17072] ppid=17070 vsize=1723308 CPUtime=4483.01 cores=1,3,5,7
/proc/17072/stat : 17072 (SArTagnan) R 17070 17072 14760 0 -1 4202496 7064843 0 0 0 447119 1182 0 0 25 0 4 0 596029991 1764667392 341265 33554432000 4194304 4623224 140737184722000 18446744073709551615 4510064 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/17072/statm: 430827 341265 346 105 0 426331 0
[pid=17072/tid=17074] ppid=17070 vsize=1723308 CPUtime=1122.27 cores=1,3,5,7
/proc/17072/task/17074/stat : 17074 (SArTagnan) R 17070 17072 14760 0 -1 4202560 152295 0 0 0 112157 70 0 0 25 0 4 0 596029992 1764667392 341265 33554432000 4194304 4623224 140737184722000 18446744073709551615 4376711 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=17072/tid=17075] ppid=17070 vsize=1723308 CPUtime=1122.29 cores=1,3,5,7
/proc/17072/task/17075/stat : 17075 (SArTagnan) R 17070 17072 14760 0 -1 4202560 158724 0 0 0 112166 63 0 0 25 0 4 0 596029992 1764667392 341265 33554432000 4194304 4623224 140737184722000 18446744073709551615 4366443 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=17072/tid=17076] ppid=17070 vsize=1723308 CPUtime=1116.13 cores=1,3,5,7
/proc/17072/task/17076/stat : 17076 (SArTagnan) R 17070 17072 14760 0 -1 4202560 6172375 0 0 0 110675 938 0 0 25 0 4 0 596029992 1764667392 341265 33554432000 4194304 4623224 140737184722000 18446744073709551615 224300909595 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4483.01
Current children cumulated vsize (KiB) 1723308

[startup+1182.3 s]
/proc/loadavg: 8.35 8.15 7.96 9/184 17111
/proc/meminfo: memFree=15817936/32951124 swapFree=67110396/67111528
[pid=17072] ppid=17070 vsize=1730964 CPUtime=4721.88 cores=1,3,5,7
/proc/17072/stat : 17072 (SArTagnan) R 17070 17072 14760 0 -1 4202496 7131318 0 0 0 470987 1201 0 0 25 0 4 0 596029991 1772507136 348254 33554432000 4194304 4623224 140737184722000 18446744073709551615 4414885 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/17072/statm: 432741 348254 346 105 0 428245 0
[pid=17072/tid=17074] ppid=17070 vsize=1730964 CPUtime=1182.27 cores=1,3,5,7
/proc/17072/task/17074/stat : 17074 (SArTagnan) R 17070 17072 14760 0 -1 4202560 154672 0 0 0 118155 72 0 0 25 0 4 0 596029992 1772507136 348254 33554432000 4194304 4623224 140737184722000 18446744073709551615 224284581895 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=17072/tid=17075] ppid=17070 vsize=1730964 CPUtime=1182.28 cores=1,3,5,7
/proc/17072/task/17075/stat : 17075 (SArTagnan) R 17070 17072 14760 0 -1 4202560 160717 0 0 0 118163 65 0 0 25 0 4 0 596029992 1772507136 348254 33554432000 4194304 4623224 140737184722000 18446744073709551615 4486238 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=17072/tid=17076] ppid=17070 vsize=1730964 CPUtime=1175.81 cores=1,3,5,7
/proc/17072/task/17076/stat : 17076 (SArTagnan) R 17070 17072 14760 0 -1 4202560 6187600 0 0 0 116640 941 0 0 25 0 4 0 596029992 1772507136 348254 33554432000 4194304 4623224 140737184722000 18446744073709551615 4376711 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4721.88
Current children cumulated vsize (KiB) 1730964



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.9 s]
/proc/loadavg: 8.33 8.16 7.97 5/179 17112
/proc/meminfo: memFree=17073668/32951124 swapFree=67110396/67111528
[pid=17072] ppid=17070 vsize=1733472 CPUtime=4800.19 cores=1,3,5,7
/proc/17072/stat : 17072 (SArTagnan) R 17070 17072 14760 0 -1 4202496 7183010 0 0 0 478810 1209 0 0 25 0 4 0 596029991 1775075328 348827 33554432000 4194304 4623224 140737184722000 18446744073709551615 4414993 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/17072/statm: 433368 348827 346 105 0 428872 0
[pid=17072/tid=17074] ppid=17070 vsize=1733472 CPUtime=1201.87 cores=1,3,5,7
/proc/17072/task/17074/stat : 17074 (SArTagnan) R 17070 17072 14760 0 -1 4202560 155437 0 0 0 120114 73 0 0 25 0 4 0 596029992 1775075328 348827 33554432000 4194304 4623224 140737184722000 18446744073709551615 4376612 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=17072/tid=17075] ppid=17070 vsize=1733472 CPUtime=1201.9 cores=1,3,5,7
/proc/17072/task/17075/stat : 17075 (SArTagnan) R 17070 17072 14760 0 -1 4202560 160748 0 0 0 120124 66 0 0 25 0 4 0 596029992 1775075328 348827 33554432000 4194304 4623224 140737184722000 18446744073709551615 4357901 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=17072/tid=17076] ppid=17070 vsize=1733472 CPUtime=1195.31 cores=1,3,5,7
/proc/17072/task/17076/stat : 17076 (SArTagnan) R 17070 17072 14760 0 -1 4202560 6220842 0 0 0 118585 946 0 0 25 0 4 0 596029992 1775075328 348827 33554432000 4194304 4623224 140737184722000 18446744073709551615 4545376 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4800.19
Current children cumulated vsize (KiB) 1733472

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

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1201.97
CPU time (s): 4800.27
CPU user time (s): 4788.12
CPU system time (s): 12.1532
CPU usage (%): 399.367
Max. virtual memory (cumulated for all children) (KiB): 1838412

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4788.12
system time used= 12.1532
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 7183010
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= 1542
involuntary context switches= 33871

runsolver used 1.73074 second user time and 4.83226 second system time

The end

Launcher Data 

Begin job on node118 at 2011-04-29 08:19:53
IDJOB=3259276
IDBENCH=71540
IDSOLVER=1656
FILE ID=node118/3259276-1304057993
RUNJOBID= node118-1304055585-16853
PBS_JOBID= 13170373
Free space on /tmp= 71616 MiB

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

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

MD5SUM BENCH= 6200c727c8a5a324974090a1f9a6d7ab
RANDOM SEED=773536652

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:      18463436 kB
Buffers:       1898888 kB
Cached:       11977720 kB
SwapCached:        600 kB
Active:        9417832 kB
Inactive:      4534828 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      18463436 kB
SwapTotal:    67111528 kB
SwapFree:     67110396 kB
Dirty:            2188 kB
Writeback:           0 kB
AnonPages:       75060 kB
Mapped:          15224 kB
Slab:           471780 kB
PageTables:       4504 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   253116 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= 71616 MiB
End job on node118 at 2011-04-29 08:39:57