Trace number 3282321

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.42 1201.89

General information on the benchmark

NameAPPLICATIONS/bitverif/countbitswegner/
countbitswegner128.cnf
MD5SUM4b75ef7fb46928f50793af1d74c176e2
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark4342.44
Satisfiable
(Un)Satisfiability was proved
Number of variables98048
Number of clauses293759
Sum of the clauses size685435
Maximum clause length3
Minimum clause length1
Number of clauses of size 12
Number of clauses of size 2195838
Number of clauses of size 397919
Number of clauses of size 40
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-3282321-1304042850/watcher-3282321-1304042850 -o /tmp/evaluation-result-3282321-1304042850/solver-3282321-1304042850 -C 4800 -W 1300 -M 15500 SArTagnan HOME/instance-3282321-1304042850.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.95 8.16 7.63 5/180 29570
/proc/meminfo: memFree=19590312/32950928 swapFree=67111524/67111528
[pid=29570] ppid=29568 vsize=22324 CPUtime=0 cores=1,3,5,7
/proc/29570/stat : 29570 (SArTagnan) R 29568 29570 28251 0 -1 4202496 1087 0 0 0 0 0 0 0 25 0 1 0 594515684 22859776 1024 33554432000 4194304 4623224 140734294621728 18446744073709551615 4305806 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/29570/statm: 5581 1039 290 105 0 1085 0

[startup+0.0771211 s]
/proc/loadavg: 7.95 8.16 7.63 5/180 29570
/proc/meminfo: memFree=19590312/32950928 swapFree=67111524/67111528
[pid=29570] ppid=29568 vsize=41872 CPUtime=0.06 cores=1,3,5,7
/proc/29570/stat : 29570 (SArTagnan) R 29568 29570 28251 0 -1 4202496 7046 0 0 0 6 0 0 0 25 0 1 0 594515684 42876928 4329 33554432000 4194304 4623224 140734294621728 18446744073709551615 4366247 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/29570/statm: 10468 4331 297 105 0 5972 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 41872

[startup+0.101123 s]
/proc/loadavg: 7.95 8.16 7.63 5/180 29570
/proc/meminfo: memFree=19590312/32950928 swapFree=67111524/67111528
[pid=29570] ppid=29568 vsize=45588 CPUtime=0.09 cores=1,3,5,7
/proc/29570/stat : 29570 (SArTagnan) R 29568 29570 28251 0 -1 4202496 9240 0 0 0 8 1 0 0 25 0 1 0 594515684 46682112 5078 33554432000 4194304 4623224 140734294621728 18446744073709551615 4366247 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/29570/statm: 11397 5080 297 105 0 6901 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 45588

[startup+0.301016 s]
/proc/loadavg: 7.95 8.16 7.63 5/180 29570
/proc/meminfo: memFree=19590312/32950928 swapFree=67111524/67111528
[pid=29570] ppid=29568 vsize=329364 CPUtime=0.77 cores=1,3,5,7
/proc/29570/stat : 29570 (SArTagnan) R 29568 29570 28251 0 -1 4202496 25510 0 0 0 74 3 0 0 25 0 4 0 594515684 337268736 18809 33554432000 4194304 4623224 140734294621728 18446744073709551615 4412473 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/29570/statm: 82341 18809 334 105 0 77845 0
Current children cumulated CPU time (s) 0.77
Current children cumulated vsize (KiB) 329364

[startup+0.700943 s]
/proc/loadavg: 7.95 8.16 7.63 5/180 29570
/proc/meminfo: memFree=19590312/32950928 swapFree=67111524/67111528
[pid=29570] ppid=29568 vsize=330988 CPUtime=2.37 cores=1,3,5,7
/proc/29570/stat : 29570 (SArTagnan) R 29568 29570 28251 0 -1 4202496 28271 0 0 0 234 3 0 0 25 0 4 0 594515684 338931712 20624 33554432000 4194304 4623224 140734294621728 18446744073709551615 4412804 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/29570/statm: 82747 20624 335 105 0 78251 0
Current children cumulated CPU time (s) 2.37
Current children cumulated vsize (KiB) 330988

[startup+1.50079 s]
/proc/loadavg: 7.95 8.16 7.63 9/184 29574
/proc/meminfo: memFree=19508832/32950928 swapFree=67111524/67111528
[pid=29570] ppid=29568 vsize=340728 CPUtime=5.57 cores=1,3,5,7
/proc/29570/stat : 29570 (SArTagnan) R 29568 29570 28251 0 -1 4202496 36173 0 0 0 552 5 0 0 25 0 4 0 594515684 348905472 21675 33554432000 4194304 4623224 140734294621728 18446744073709551615 4412473 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/29570/statm: 85182 21675 335 105 0 80686 0
[pid=29570/tid=29572] ppid=29568 vsize=340728 CPUtime=1.34 cores=1,3,5,7
/proc/29570/task/29572/stat : 29572 (SArTagnan) R 29568 29570 28251 0 -1 4202560 3808 0 0 0 134 0 0 0 25 0 4 0 594515697 348905472 21675 33554432000 4194304 4623224 140734294621728 18446744073709551615 4376629 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=29570/tid=29573] ppid=29568 vsize=340728 CPUtime=1.35 cores=1,3,5,7
/proc/29570/task/29573/stat : 29573 (SArTagnan) R 29568 29570 28251 0 -1 4202560 3386 0 0 0 135 0 0 0 25 0 4 0 594515697 348905472 21675 33554432000 4194304 4623224 140734294621728 18446744073709551615 4317117 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=29570/tid=29574] ppid=29568 vsize=340728 CPUtime=1.35 cores=1,3,5,7
/proc/29570/task/29574/stat : 29574 (SArTagnan) R 29568 29570 28251 0 -1 4202560 6260 0 0 0 134 1 0 0 25 0 4 0 594515697 348905472 21675 33554432000 4194304 4623224 140734294621728 18446744073709551615 4289778 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 5.57
Current children cumulated vsize (KiB) 340728

[startup+3.10049 s]
/proc/loadavg: 7.95 8.16 7.63 9/184 29574
/proc/meminfo: memFree=19503004/32950928 swapFree=67111524/67111528
[pid=29570] ppid=29568 vsize=342864 CPUtime=11.97 cores=1,3,5,7
/proc/29570/stat : 29570 (SArTagnan) R 29568 29570 28251 0 -1 4202496 44801 0 0 0 1190 7 0 0 25 0 4 0 594515684 351092736 23172 33554432000 4194304 4623224 140734294621728 18446744073709551615 4412446 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/29570/statm: 85716 23172 335 105 0 81220 0
[pid=29570/tid=29572] ppid=29568 vsize=342864 CPUtime=2.94 cores=1,3,5,7
/proc/29570/task/29572/stat : 29572 (SArTagnan) R 29568 29570 28251 0 -1 4202560 4154 0 0 0 293 1 0 0 25 0 4 0 594515697 351092736 23172 33554432000 4194304 4623224 140734294621728 18446744073709551615 4289892 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=29570/tid=29573] ppid=29568 vsize=342864 CPUtime=2.95 cores=1,3,5,7
/proc/29570/task/29573/stat : 29573 (SArTagnan) R 29568 29570 28251 0 -1 4202560 4690 0 0 0 295 0 0 0 25 0 4 0 594515697 351092736 23172 33554432000 4194304 4623224 140734294621728 18446744073709551615 4485126 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=29570/tid=29574] ppid=29568 vsize=342864 CPUtime=2.95 cores=1,3,5,7
/proc/29570/task/29574/stat : 29574 (SArTagnan) R 29568 29570 28251 0 -1 4202560 12867 0 0 0 293 2 0 0 25 0 4 0 594515697 351092736 23172 33554432000 4194304 4623224 140734294621728 18446744073709551615 4289682 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 11.97
Current children cumulated vsize (KiB) 342864

[startup+6.30089 s]
/proc/loadavg: 8.03 8.18 7.64 9/184 29575
/proc/meminfo: memFree=19488508/32950928 swapFree=67111524/67111528
[pid=29570] ppid=29568 vsize=357508 CPUtime=24.75 cores=1,3,5,7
/proc/29570/stat : 29570 (SArTagnan) R 29568 29570 28251 0 -1 4202496 68411 0 0 0 2464 11 0 0 25 0 4 0 594515684 366088192 25515 33554432000 4194304 4623224 140734294621728 18446744073709551615 4412446 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/29570/statm: 89377 25515 335 105 0 84881 0
[pid=29570/tid=29572] ppid=29568 vsize=357508 CPUtime=6.12 cores=1,3,5,7
/proc/29570/task/29572/stat : 29572 (SArTagnan) R 29568 29570 28251 0 -1 4202560 6711 0 0 0 611 1 0 0 25 0 4 0 594515697 366088192 25515 33554432000 4194304 4623224 140734294621728 18446744073709551615 4376634 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=29570/tid=29573] ppid=29568 vsize=357508 CPUtime=6.15 cores=1,3,5,7
/proc/29570/task/29573/stat : 29573 (SArTagnan) R 29568 29570 28251 0 -1 4202560 7166 0 0 0 615 0 0 0 25 0 4 0 594515697 366088192 25515 33554432000 4194304 4623224 140734294621728 18446744073709551615 4317154 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=29570/tid=29574] ppid=29568 vsize=357508 CPUtime=6.15 cores=1,3,5,7
/proc/29570/task/29574/stat : 29574 (SArTagnan) R 29568 29570 28251 0 -1 4202560 28853 0 0 0 611 4 0 0 25 0 4 0 594515697 366088192 25515 33554432000 4194304 4623224 140734294621728 18446744073709551615 4330860 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 24.75
Current children cumulated vsize (KiB) 357508

[startup+12.7007 s]
/proc/loadavg: 8.03 8.17 7.64 9/184 29575
/proc/meminfo: memFree=19480084/32950928 swapFree=67111524/67111528
[pid=29570] ppid=29568 vsize=354308 CPUtime=50.31 cores=1,3,5,7
/proc/29570/stat : 29570 (SArTagnan) R 29568 29570 28251 0 -1 4202496 94707 0 0 0 5016 15 0 0 25 0 4 0 594515684 362811392 27500 33554432000 4194304 4623224 140734294621728 18446744073709551615 4412450 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/29570/statm: 88577 27500 335 105 0 84081 0
[pid=29570/tid=29572] ppid=29568 vsize=354308 CPUtime=12.48 cores=1,3,5,7
/proc/29570/task/29572/stat : 29572 (SArTagnan) R 29568 29570 28251 0 -1 4202560 7769 0 0 0 1247 1 0 0 25 0 4 0 594515697 362811392 27500 33554432000 4194304 4623224 140734294621728 18446744073709551615 4376629 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=29570/tid=29573] ppid=29568 vsize=354308 CPUtime=12.55 cores=1,3,5,7
/proc/29570/task/29573/stat : 29573 (SArTagnan) R 29568 29570 28251 0 -1 4202560 7554 0 0 0 1254 1 0 0 25 0 4 0 594515697 362811392 27500 33554432000 4194304 4623224 140734294621728 18446744073709551615 4376570 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=29570/tid=29574] ppid=29568 vsize=354308 CPUtime=12.55 cores=1,3,5,7
/proc/29570/task/29574/stat : 29574 (SArTagnan) R 29568 29570 28251 0 -1 4202560 49822 0 0 0 1248 7 0 0 25 0 4 0 594515697 362811392 27500 33554432000 4194304 4623224 140734294621728 18446744073709551615 4289678 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 50.31
Current children cumulated vsize (KiB) 354308

[startup+25.5003 s]
/proc/loadavg: 8.02 8.16 7.65 9/184 29575
/proc/meminfo: memFree=19441904/32950928 swapFree=67111524/67111528
[pid=29570] ppid=29568 vsize=371440 CPUtime=101.44 cores=1,3,5,7
/proc/29570/stat : 29570 (SArTagnan) R 29568 29570 28251 0 -1 4202496 141280 0 0 0 10120 24 0 0 25 0 4 0 594515684 380354560 36174 33554432000 4194304 4623224 140734294621728 18446744073709551615 4278634 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/29570/statm: 92860 36174 335 105 0 88364 0
[pid=29570/tid=29572] ppid=29568 vsize=371440 CPUtime=25.22 cores=1,3,5,7
/proc/29570/task/29572/stat : 29572 (SArTagnan) R 29568 29570 28251 0 -1 4202560 13940 0 0 0 2517 5 0 0 25 0 4 0 594515697 380354560 36174 33554432000 4194304 4623224 140734294621728 18446744073709551615 4461212 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=29570/tid=29573] ppid=29568 vsize=371440 CPUtime=25.35 cores=1,3,5,7
/proc/29570/task/29573/stat : 29573 (SArTagnan) R 29568 29570 28251 0 -1 4202560 12286 0 0 0 2533 2 0 0 25 0 4 0 594515697 380354560 36174 33554432000 4194304 4623224 140734294621728 18446744073709551615 4289826 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=29570/tid=29574] ppid=29568 vsize=371440 CPUtime=25.35 cores=1,3,5,7
/proc/29570/task/29574/stat : 29574 (SArTagnan) R 29568 29570 28251 0 -1 4202560 83730 0 0 0 2524 11 0 0 25 0 4 0 594515697 380354560 36174 33554432000 4194304 4623224 140734294621728 18446744073709551615 4289723 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 101.44
Current children cumulated vsize (KiB) 371440

[startup+51.1005 s]
/proc/loadavg: 8.01 8.15 7.65 9/184 29576
/proc/meminfo: memFree=19347856/32950928 swapFree=67111524/67111528
[pid=29570] ppid=29568 vsize=400116 CPUtime=203.7 cores=1,3,5,7
/proc/29570/stat : 29570 (SArTagnan) R 29568 29570 28251 0 -1 4202496 204310 0 0 0 20331 39 0 0 25 0 4 0 594515684 409718784 58054 33554432000 4194304 4623224 140734294621728 18446744073709551615 4412479 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/29570/statm: 100029 58054 335 105 0 95533 0
[pid=29570/tid=29572] ppid=29568 vsize=400116 CPUtime=50.68 cores=1,3,5,7
/proc/29570/task/29572/stat : 29572 (SArTagnan) R 29568 29570 28251 0 -1 4202560 28655 0 0 0 5056 12 0 0 25 0 4 0 594515697 409718784 58054 33554432000 4194304 4623224 140734294621728 18446744073709551615 4461225 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=29570/tid=29573] ppid=29568 vsize=400116 CPUtime=50.95 cores=1,3,5,7
/proc/29570/task/29573/stat : 29573 (SArTagnan) R 29568 29570 28251 0 -1 4202560 20601 0 0 0 5091 4 0 0 25 0 4 0 594515697 409718784 58054 33554432000 4194304 4623224 140734294621728 18446744073709551615 4462925 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=29570/tid=29574] ppid=29568 vsize=400116 CPUtime=50.95 cores=1,3,5,7
/proc/29570/task/29574/stat : 29574 (SArTagnan) R 29568 29570 28251 0 -1 4202560 118982 0 0 0 5078 17 0 0 25 0 4 0 594515697 409718784 58054 33554432000 4194304 4623224 140734294621728 18446744073709551615 4545921 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 203.7
Current children cumulated vsize (KiB) 400116

[startup+102.307 s]
/proc/loadavg: 8.05 8.14 7.67 9/184 29577
/proc/meminfo: memFree=19126136/32950928 swapFree=67111524/67111528
[pid=29570] ppid=29568 vsize=538584 CPUtime=408.25 cores=1,3,5,7
/proc/29570/stat : 29570 (SArTagnan) R 29568 29570 28251 0 -1 4202496 284021 0 0 0 40760 65 0 0 25 0 4 0 594515684 551510016 105286 33554432000 4194304 4623224 140734294621728 18446744073709551615 4412473 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/29570/statm: 134646 105286 348 105 0 130150 0
[pid=29570/tid=29572] ppid=29568 vsize=538584 CPUtime=101.59 cores=1,3,5,7
/proc/29570/task/29572/stat : 29572 (SArTagnan) R 29568 29570 28251 0 -1 4202560 57560 0 0 0 10133 26 0 0 25 0 4 0 594515697 551510016 105286 33554432000 4194304 4623224 140734294621728 18446744073709551615 4376629 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=29570/tid=29573] ppid=29568 vsize=538584 CPUtime=102.16 cores=1,3,5,7
/proc/29570/task/29573/stat : 29573 (SArTagnan) R 29568 29570 28251 0 -1 4202560 41426 0 0 0 10204 12 0 0 25 0 4 0 594515697 551510016 105286 33554432000 4194304 4623224 140734294621728 18446744073709551615 4376869 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=29570/tid=29574] ppid=29568 vsize=538584 CPUtime=102.17 cores=1,3,5,7
/proc/29570/task/29574/stat : 29574 (SArTagnan) R 29568 29570 28251 0 -1 4202560 145666 0 0 0 10197 20 0 0 25 0 4 0 594515697 551510016 105286 33554432000 4194304 4623224 140734294621728 18446744073709551615 4364642 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 408.25
Current children cumulated vsize (KiB) 538584

[startup+162.301 s]
/proc/loadavg: 8.06 8.13 7.70 9/184 29579
/proc/meminfo: memFree=18869172/32950928 swapFree=67111524/67111528
[pid=29570] ppid=29568 vsize=722140 CPUtime=647.91 cores=1,3,5,7
/proc/29570/stat : 29570 (SArTagnan) R 29568 29570 28251 0 -1 4202496 446080 0 0 0 64677 114 0 0 25 0 4 0 594515684 739471360 149884 33554432000 4194304 4623224 140734294621728 18446744073709551615 4507318 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/29570/statm: 180535 149884 344 105 0 176039 0
[pid=29570/tid=29572] ppid=29568 vsize=722140 CPUtime=161.27 cores=1,3,5,7
/proc/29570/task/29572/stat : 29572 (SArTagnan) R 29568 29570 28251 0 -1 4202560 95442 0 0 0 16071 56 0 0 25 0 4 0 594515697 739471360 149884 33554432000 4194304 4623224 140734294621728 18446744073709551615 4376629 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=29570/tid=29573] ppid=29568 vsize=722140 CPUtime=162.15 cores=1,3,5,7
/proc/29570/task/29573/stat : 29573 (SArTagnan) R 29568 29570 28251 0 -1 4202560 51711 0 0 0 16201 14 0 0 25 0 4 0 594515697 739471360 149884 33554432000 4194304 4623224 140734294621728 18446744073709551615 4463178 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=29570/tid=29574] ppid=29568 vsize=722140 CPUtime=162.15 cores=1,3,5,7
/proc/29570/task/29574/stat : 29574 (SArTagnan) R 29568 29570 28251 0 -1 4202560 252651 0 0 0 16180 35 0 0 25 0 4 0 594515697 739471360 149884 33554432000 4194304 4623224 140734294621728 18446744073709551615 4545376 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 647.91
Current children cumulated vsize (KiB) 722140

[startup+222.3 s]
/proc/loadavg: 8.05 8.11 7.72 9/184 29580
/proc/meminfo: memFree=18464880/32950928 swapFree=67111524/67111528
[pid=29570] ppid=29568 vsize=946444 CPUtime=887.58 cores=1,3,5,7
/proc/29570/stat : 29570 (SArTagnan) R 29568 29570 28251 0 -1 4202496 561677 0 0 0 88606 152 0 0 25 0 4 0 594515684 969158656 193429 33554432000 4194304 4623224 140734294621728 18446744073709551615 4507293 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/29570/statm: 236611 193429 342 105 0 232115 0
[pid=29570/tid=29572] ppid=29568 vsize=946444 CPUtime=220.94 cores=1,3,5,7
/proc/29570/task/29572/stat : 29572 (SArTagnan) R 29568 29570 28251 0 -1 4202560 122834 0 0 0 22017 77 0 0 25 0 4 0 594515697 969158656 193429 33554432000 4194304 4623224 140734294621728 18446744073709551615 4357390 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=29570/tid=29573] ppid=29568 vsize=946444 CPUtime=222.16 cores=1,3,5,7
/proc/29570/task/29573/stat : 29573 (SArTagnan) R 29568 29570 28251 0 -1 4202560 60197 0 0 0 22199 17 0 0 25 0 4 0 594515697 969158656 193429 33554432000 4194304 4623224 140734294621728 18446744073709551615 4289772 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=29570/tid=29574] ppid=29568 vsize=946444 CPUtime=222.16 cores=1,3,5,7
/proc/29570/task/29574/stat : 29574 (SArTagnan) R 29568 29570 28251 0 -1 4202560 326857 0 0 0 22167 49 0 0 25 0 4 0 594515697 969158656 193429 33554432000 4194304 4623224 140734294621728 18446744073709551615 4363970 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 887.58
Current children cumulated vsize (KiB) 946444

[startup+282.301 s]

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

[pid=29570] ppid=29568 vsize=1369460 CPUtime=2565.36 cores=1,3,5,7
/proc/29570/stat : 29570 (SArTagnan) R 29568 29570 28251 0 -1 4202496 1764487 0 0 0 256173 363 0 0 25 0 4 0 594515684 1402327040 292843 33554432000 4194304 4623224 140734294621728 18446744073709551615 4412507 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/29570/statm: 342365 292843 956 105 0 337869 0
[pid=29570/tid=29572] ppid=29568 vsize=1369460 CPUtime=638.65 cores=1,3,5,7
/proc/29570/task/29572/stat : 29572 (SArTagnan) R 29568 29570 28251 0 -1 4202560 136674 0 0 0 63786 79 0 0 25 0 4 0 594515697 1402327040 292843 33554432000 4194304 4623224 140734294621728 18446744073709551615 4486238 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=29570/tid=29573] ppid=29568 vsize=1369460 CPUtime=642.18 cores=1,3,5,7
/proc/29570/task/29573/stat : 29573 (SArTagnan) R 29568 29570 28251 0 -1 4202560 86261 0 0 0 64194 24 0 0 25 0 4 0 594515697 1402327040 292843 33554432000 4194304 4623224 140734294621728 18446744073709551615 4377410 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=29570/tid=29574] ppid=29568 vsize=1369460 CPUtime=642.18 cores=1,3,5,7
/proc/29570/task/29574/stat : 29574 (SArTagnan) R 29568 29570 28251 0 -1 4202560 1450678 0 0 0 63975 243 0 0 25 0 4 0 594515697 1402327040 292843 33554432000 4194304 4623224 140734294621728 18446744073709551615 4550495 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2565.36
Current children cumulated vsize (KiB) 1369460

[startup+702.3 s]
/proc/loadavg: 8.04 8.09 7.85 9/184 29593
/proc/meminfo: memFree=16975136/32950928 swapFree=67111524/67111528
[pid=29570] ppid=29568 vsize=1657104 CPUtime=2805.02 cores=1,3,5,7
/proc/29570/stat : 29570 (SArTagnan) R 29568 29570 28251 0 -1 4202496 2036726 0 0 0 280091 411 0 0 25 0 4 0 594515684 1696874496 347601 33554432000 4194304 4623224 140734294621728 18446744073709551615 4412493 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/29570/statm: 414276 347601 957 105 0 409780 0
[pid=29570/tid=29572] ppid=29568 vsize=1657104 CPUtime=698.32 cores=1,3,5,7
/proc/29570/task/29572/stat : 29572 (SArTagnan) R 29568 29570 28251 0 -1 4202560 137471 0 0 0 69753 79 0 0 25 0 4 0 594515697 1696874496 347601 33554432000 4194304 4623224 140734294621728 18446744073709551615 4476608 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=29570/tid=29573] ppid=29568 vsize=1657104 CPUtime=702.17 cores=1,3,5,7
/proc/29570/task/29573/stat : 29573 (SArTagnan) R 29568 29570 28251 0 -1 4202560 87132 0 0 0 70193 24 0 0 25 0 4 0 594515697 1696874496 347601 33554432000 4194304 4623224 140734294621728 18446744073709551615 4476608 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=29570/tid=29574] ppid=29568 vsize=1657104 CPUtime=702.17 cores=1,3,5,7
/proc/29570/task/29574/stat : 29574 (SArTagnan) R 29568 29570 28251 0 -1 4202560 1636293 0 0 0 69942 275 0 0 25 0 4 0 594515697 1696874496 347601 33554432000 4194304 4623224 140734294621728 18446744073709551615 4476592 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2805.02
Current children cumulated vsize (KiB) 1657104

[startup+762.306 s]
/proc/loadavg: 8.01 8.07 7.86 9/184 29595
/proc/meminfo: memFree=16889668/32950928 swapFree=67111524/67111528
[pid=29570] ppid=29568 vsize=1624256 CPUtime=3044.63 cores=1,3,5,7
/proc/29570/stat : 29570 (SArTagnan) R 29568 29570 28251 0 -1 4202496 2062770 0 0 0 304045 418 0 0 25 0 4 0 594515684 1663238144 355605 33554432000 4194304 4623224 140734294621728 18446744073709551615 4510034 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/29570/statm: 406064 355605 472 105 0 401568 0
[pid=29570/tid=29572] ppid=29568 vsize=1624256 CPUtime=757.93 cores=1,3,5,7
/proc/29570/task/29572/stat : 29572 (SArTagnan) R 29568 29570 28251 0 -1 4202560 143828 0 0 0 75712 81 0 0 25 0 4 0 594515697 1663238144 355605 33554432000 4194304 4623224 140734294621728 18446744073709551615 4376629 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=29570/tid=29573] ppid=29568 vsize=1624256 CPUtime=762.16 cores=1,3,5,7
/proc/29570/task/29573/stat : 29573 (SArTagnan) R 29568 29570 28251 0 -1 4202560 95023 0 0 0 76190 26 0 0 25 0 4 0 594515697 1663238144 355605 33554432000 4194304 4623224 140734294621728 18446744073709551615 4289723 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=29570/tid=29574] ppid=29568 vsize=1624256 CPUtime=762.19 cores=1,3,5,7
/proc/29570/task/29574/stat : 29574 (SArTagnan) R 29568 29570 28251 0 -1 4202560 1644038 0 0 0 75942 277 0 0 25 0 4 0 594515697 1663238144 355605 33554432000 4194304 4623224 140734294621728 18446744073709551615 4577684 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3044.63
Current children cumulated vsize (KiB) 1624256

[startup+822.301 s]
/proc/loadavg: 8.00 8.05 7.86 9/184 29596
/proc/meminfo: memFree=16822416/32950928 swapFree=67111524/67111528
[pid=29570] ppid=29568 vsize=1624256 CPUtime=3284.29 cores=1,3,5,7
/proc/29570/stat : 29570 (SArTagnan) R 29568 29570 28251 0 -1 4202496 2064205 0 0 0 328010 419 0 0 25 0 4 0 594515684 1663238144 357040 33554432000 4194304 4623224 140734294621728 18446744073709551615 4511029 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/29570/statm: 406064 357040 472 105 0 401568 0
[pid=29570/tid=29572] ppid=29568 vsize=1624256 CPUtime=817.6 cores=1,3,5,7
/proc/29570/task/29572/stat : 29572 (SArTagnan) R 29568 29570 28251 0 -1 4202560 143996 0 0 0 81679 81 0 0 25 0 4 0 594515697 1663238144 357040 33554432000 4194304 4623224 140734294621728 18446744073709551615 4463640 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=29570/tid=29573] ppid=29568 vsize=1624256 CPUtime=822.16 cores=1,3,5,7
/proc/29570/task/29573/stat : 29573 (SArTagnan) R 29568 29570 28251 0 -1 4202560 95304 0 0 0 82190 26 0 0 25 0 4 0 594515697 1663238144 357040 33554432000 4194304 4623224 140734294621728 18446744073709551615 4291899 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=29570/tid=29574] ppid=29568 vsize=1624256 CPUtime=822.18 cores=1,3,5,7
/proc/29570/task/29574/stat : 29574 (SArTagnan) R 29568 29570 28251 0 -1 4202560 1644235 0 0 0 81941 277 0 0 25 0 4 0 594515697 1663238144 357040 33554432000 4194304 4623224 140734294621728 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3284.29
Current children cumulated vsize (KiB) 1624256

[startup+882.301 s]
/proc/loadavg: 8.00 8.04 7.87 9/184 29598
/proc/meminfo: memFree=16750828/32950928 swapFree=67111524/67111528
[pid=29570] ppid=29568 vsize=1661420 CPUtime=3523.97 cores=1,3,5,7
/proc/29570/stat : 29570 (SArTagnan) R 29568 29570 28251 0 -1 4202496 2090227 0 0 0 351973 424 0 0 25 0 4 0 594515684 1701294080 364272 33554432000 4194304 4623224 140734294621728 18446744073709551615 4507318 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/29570/statm: 415355 364272 472 105 0 410859 0
[pid=29570/tid=29572] ppid=29568 vsize=1661420 CPUtime=877.28 cores=1,3,5,7
/proc/29570/task/29572/stat : 29572 (SArTagnan) R 29568 29570 28251 0 -1 4202560 144997 0 0 0 87646 82 0 0 25 0 4 0 594515697 1701294080 364272 33554432000 4194304 4623224 140734294621728 18446744073709551615 4377484 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=29570/tid=29573] ppid=29568 vsize=1661420 CPUtime=882.15 cores=1,3,5,7
/proc/29570/task/29573/stat : 29573 (SArTagnan) R 29568 29570 28251 0 -1 4202560 96652 0 0 0 88189 26 0 0 25 0 4 0 594515697 1701294080 364272 33554432000 4194304 4623224 140734294621728 18446744073709551615 4289785 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=29570/tid=29574] ppid=29568 vsize=1661420 CPUtime=882.18 cores=1,3,5,7
/proc/29570/task/29574/stat : 29574 (SArTagnan) R 29568 29570 28251 0 -1 4202560 1645254 0 0 0 87941 277 0 0 25 0 4 0 594515697 1701294080 364272 33554432000 4194304 4623224 140734294621728 18446744073709551615 4376629 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3523.97
Current children cumulated vsize (KiB) 1661420

[startup+942.301 s]
/proc/loadavg: 8.00 8.03 7.87 9/184 29599
/proc/meminfo: memFree=16685808/32950928 swapFree=67111524/67111528
[pid=29570] ppid=29568 vsize=1717252 CPUtime=3763.65 cores=1,3,5,7
/proc/29570/stat : 29570 (SArTagnan) R 29568 29570 28251 0 -1 4202496 2125010 0 0 0 375936 429 0 0 25 0 4 0 594515684 1758466048 370858 33554432000 4194304 4623224 140734294621728 18446744073709551615 4510090 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/29570/statm: 429313 370858 454 105 0 424817 0
[pid=29570/tid=29572] ppid=29568 vsize=1717252 CPUtime=936.95 cores=1,3,5,7
/proc/29570/task/29572/stat : 29572 (SArTagnan) R 29568 29570 28251 0 -1 4202560 155267 0 0 0 93612 83 0 0 25 0 4 0 594515697 1758466048 370858 33554432000 4194304 4623224 140734294621728 18446744073709551615 4366412 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=29570/tid=29573] ppid=29568 vsize=1717252 CPUtime=942.15 cores=1,3,5,7
/proc/29570/task/29573/stat : 29573 (SArTagnan) R 29568 29570 28251 0 -1 4202560 107093 0 0 0 94188 27 0 0 25 0 4 0 594515697 1758466048 370858 33554432000 4194304 4623224 140734294621728 18446744073709551615 4317194 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=29570/tid=29574] ppid=29568 vsize=1717252 CPUtime=942.19 cores=1,3,5,7
/proc/29570/task/29574/stat : 29574 (SArTagnan) R 29568 29570 28251 0 -1 4202560 1655572 0 0 0 93940 279 0 0 25 0 4 0 594515697 1758466048 370858 33554432000 4194304 4623224 140734294621728 18446744073709551615 4363765 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3763.65
Current children cumulated vsize (KiB) 1717252

[startup+1002.3 s]
/proc/loadavg: 8.00 8.02 7.88 9/184 29601
/proc/meminfo: memFree=16535368/32950928 swapFree=67111524/67111528
[pid=29570] ppid=29568 vsize=1842492 CPUtime=4003.32 cores=1,3,5,7
/proc/29570/stat : 29570 (SArTagnan) R 29568 29570 28251 0 -1 4202496 2349447 0 0 0 399870 462 0 0 25 0 4 0 594515684 1886711808 397524 33554432000 4194304 4623224 140734294621728 18446744073709551615 4507293 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/29570/statm: 460623 397524 396 105 0 456127 0
[pid=29570/tid=29572] ppid=29568 vsize=1842492 CPUtime=996.62 cores=1,3,5,7
/proc/29570/task/29572/stat : 29572 (SArTagnan) R 29568 29570 28251 0 -1 4202560 171217 0 0 0 99577 85 0 0 25 0 4 0 594515697 1886711808 397524 33554432000 4194304 4623224 140734294621728 18446744073709551615 4289678 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=29570/tid=29573] ppid=29568 vsize=1842492 CPUtime=1002.16 cores=1,3,5,7
/proc/29570/task/29573/stat : 29573 (SArTagnan) R 29568 29570 28251 0 -1 4202560 108363 0 0 0 100188 28 0 0 25 0 4 0 594515697 1886711808 397524 33554432000 4194304 4623224 140734294621728 18446744073709551615 4289781 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=29570/tid=29574] ppid=29568 vsize=1842492 CPUtime=1002.19 cores=1,3,5,7
/proc/29570/task/29574/stat : 29574 (SArTagnan) R 29568 29570 28251 0 -1 4202560 1834846 0 0 0 99913 306 0 0 25 0 4 0 594515697 1886711808 397524 33554432000 4194304 4623224 140734294621728 18446744073709551615 4364232 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4003.32
Current children cumulated vsize (KiB) 1842492

[startup+1062.3 s]
/proc/loadavg: 8.15 8.06 7.90 9/184 29603
/proc/meminfo: memFree=16431552/32950928 swapFree=67111524/67111528
[pid=29570] ppid=29568 vsize=1908028 CPUtime=4243 cores=1,3,5,7
/proc/29570/stat : 29570 (SArTagnan) R 29568 29570 28251 0 -1 4202496 2599576 0 0 0 423797 503 0 0 25 0 4 0 594515684 1953820672 409237 33554432000 4194304 4623224 140734294621728 18446744073709551615 4510064 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/29570/statm: 477007 409237 393 105 0 472511 0
[pid=29570/tid=29572] ppid=29568 vsize=1908028 CPUtime=1056.29 cores=1,3,5,7
/proc/29570/task/29572/stat : 29572 (SArTagnan) R 29568 29570 28251 0 -1 4202560 173483 0 0 0 105543 86 0 0 25 0 4 0 594515697 1953820672 409237 33554432000 4194304 4623224 140734294621728 18446744073709551615 4289723 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=29570/tid=29573] ppid=29568 vsize=1908028 CPUtime=1062.16 cores=1,3,5,7
/proc/29570/task/29573/stat : 29573 (SArTagnan) R 29568 29570 28251 0 -1 4202560 109098 0 0 0 106188 28 0 0 25 0 4 0 594515697 1953820672 409237 33554432000 4194304 4623224 140734294621728 18446744073709551615 4376629 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=29570/tid=29574] ppid=29568 vsize=1908028 CPUtime=1062.19 cores=1,3,5,7
/proc/29570/task/29574/stat : 29574 (SArTagnan) R 29568 29570 28251 0 -1 4202560 2076697 0 0 0 105875 344 0 0 25 0 4 0 594515697 1953820672 409237 33554432000 4194304 4623224 140734294621728 18446744073709551615 4577503 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4243
Current children cumulated vsize (KiB) 1908028

[startup+1122.3 s]
/proc/loadavg: 8.09 8.06 7.91 9/184 29604
/proc/meminfo: memFree=16272184/32950928 swapFree=67111524/67111528
[pid=29570] ppid=29568 vsize=2029628 CPUtime=4482.67 cores=1,3,5,7
/proc/29570/stat : 29570 (SArTagnan) R 29568 29570 28251 0 -1 4202496 3015785 0 0 0 447696 571 0 0 25 0 4 0 594515684 2078339072 437188 33554432000 4194304 4623224 140734294621728 18446744073709551615 4510090 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/29570/statm: 507407 437188 388 105 0 502911 0
[pid=29570/tid=29572] ppid=29568 vsize=2029628 CPUtime=1115.96 cores=1,3,5,7
/proc/29570/task/29572/stat : 29572 (SArTagnan) R 29568 29570 28251 0 -1 4202560 181558 0 0 0 111506 90 0 0 25 0 4 0 594515697 2078339072 437188 33554432000 4194304 4623224 140734294621728 18446744073709551615 4289723 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=29570/tid=29573] ppid=29568 vsize=2029628 CPUtime=1122.17 cores=1,3,5,7
/proc/29570/task/29573/stat : 29573 (SArTagnan) R 29568 29570 28251 0 -1 4202560 109889 0 0 0 112189 28 0 0 25 0 4 0 594515697 2078339072 437188 33554432000 4194304 4623224 140734294621728 18446744073709551615 4377433 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=29570/tid=29574] ppid=29568 vsize=2029628 CPUtime=1122.2 cores=1,3,5,7
/proc/29570/task/29574/stat : 29574 (SArTagnan) R 29568 29570 28251 0 -1 4202560 2437160 0 0 0 111817 403 0 0 25 0 4 0 594515697 2078339072 437188 33554432000 4194304 4623224 140734294621728 18446744073709551615 4376711 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4482.67
Current children cumulated vsize (KiB) 2029628

[startup+1182.3 s]
/proc/loadavg: 6.93 7.80 7.83 5/175 29624
/proc/meminfo: memFree=18692496/32950928 swapFree=67111524/67111528
[pid=29570] ppid=29568 vsize=2058936 CPUtime=4722.37 cores=1,3,5,7
/proc/29570/stat : 29570 (SArTagnan) R 29568 29570 28251 0 -1 4202496 3354631 0 0 0 471609 628 0 0 25 0 4 0 594515684 2108350464 454933 33554432000 4194304 4623224 140734294621728 18446744073709551615 4507171 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/29570/statm: 514734 454933 388 105 0 510238 0
[pid=29570/tid=29572] ppid=29568 vsize=2058936 CPUtime=1175.66 cores=1,3,5,7
/proc/29570/task/29572/stat : 29572 (SArTagnan) R 29568 29570 28251 0 -1 4202560 190727 0 0 0 117471 95 0 0 25 0 4 0 594515697 2108350464 454933 33554432000 4194304 4623224 140734294621728 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=29570/tid=29573] ppid=29568 vsize=2058936 CPUtime=1182.17 cores=1,3,5,7
/proc/29570/task/29573/stat : 29573 (SArTagnan) R 29568 29570 28251 0 -1 4202560 110361 0 0 0 118189 28 0 0 25 0 4 0 594515697 2108350464 454933 33554432000 4194304 4623224 140734294621728 18446744073709551615 4463069 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=29570/tid=29574] ppid=29568 vsize=2058936 CPUtime=1182.19 cores=1,3,5,7
/proc/29570/task/29574/stat : 29574 (SArTagnan) R 29568 29570 28251 0 -1 4202560 2760601 0 0 0 117765 454 0 0 25 0 4 0 594515697 2108350464 454933 33554432000 4194304 4623224 140734294621728 18446744073709551615 4363755 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4722.37
Current children cumulated vsize (KiB) 2058936



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.8 s]
/proc/loadavg: 6.10 7.55 7.75 5/175 29624
/proc/meminfo: memFree=18665340/32950928 swapFree=67111524/67111528
[pid=29570] ppid=29568 vsize=2072420 CPUtime=4800.31 cores=1,3,5,7
/proc/29570/stat : 29570 (SArTagnan) R 29568 29570 28251 0 -1 4202496 3409714 0 0 0 479392 639 0 0 25 0 4 0 594515684 2122158080 461524 33554432000 4194304 4623224 140734294621728 18446744073709551615 4507318 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/29570/statm: 518105 461524 388 105 0 513609 0
[pid=29570/tid=29572] ppid=29568 vsize=2072420 CPUtime=1195.06 cores=1,3,5,7
/proc/29570/task/29572/stat : 29572 (SArTagnan) R 29568 29570 28251 0 -1 4202560 192211 0 0 0 119410 96 0 0 25 0 4 0 594515697 2122158080 461524 33554432000 4194304 4623224 140734294621728 18446744073709551615 4289788 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=29570/tid=29573] ppid=29568 vsize=2072420 CPUtime=1201.67 cores=1,3,5,7
/proc/29570/task/29573/stat : 29573 (SArTagnan) R 29568 29570 28251 0 -1 4202560 110658 0 0 0 120139 28 0 0 25 0 4 0 594515697 2122158080 461524 33554432000 4194304 4623224 140734294621728 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=29570/tid=29574] ppid=29568 vsize=2072420 CPUtime=1201.7 cores=1,3,5,7
/proc/29570/task/29574/stat : 29574 (SArTagnan) R 29568 29570 28251 0 -1 4202560 2810237 0 0 0 119708 462 0 0 25 0 4 0 594515697 2122158080 461524 33554432000 4194304 4623224 140734294621728 18446744073709551615 4544817 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4800.31
Current children cumulated vsize (KiB) 2072420

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.89
CPU time (s): 4800.42
CPU user time (s): 4793.94
CPU system time (s): 6.47302
CPU usage (%): 399.404
Max. virtual memory (cumulated for all children) (KiB): 2072420

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4793.94
system time used= 6.47302
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3409718
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= 1528
involuntary context switches= 31653

runsolver used 1.79573 second user time and 4.73328 second system time

The end

Launcher Data 

Begin job on node114 at 2011-04-29 04:07:30
IDJOB=3282321
IDBENCH=70799
IDSOLVER=1656
FILE ID=node114/3282321-1304042850
RUNJOBID= node114-1304041602-28948
PBS_JOBID= 13170369
Free space on /tmp= 71796 MiB

SOLVER NAME= SArTagnan 2011-03-24
BENCH NAME= SAT09/APPLICATIONS/bitverif/countbitswegner/countbitswegner128.cnf
COMMAND LINE= SArTagnan BENCHNAME -threads=NBCORE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3282321-1304042850/watcher-3282321-1304042850 -o /tmp/evaluation-result-3282321-1304042850/solver-3282321-1304042850 -C 4800 -W 1300 -M 15500  SArTagnan HOME/instance-3282321-1304042850.cnf -threads=4

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

MD5SUM BENCH= 4b75ef7fb46928f50793af1d74c176e2
RANDOM SEED=1995504584

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


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      19590592 kB
Buffers:       2254612 kB
Cached:        9543008 kB
SwapCached:          4 kB
Active:        4281980 kB
Inactive:      8497668 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      19590592 kB
SwapTotal:    67111528 kB
SwapFree:     67111524 kB
Dirty:            5472 kB
Writeback:           0 kB
AnonPages:      981368 kB
Mapped:          15464 kB
Slab:           516140 kB
PageTables:       6644 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:  1385344 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= 71800 MiB
End job on node114 at 2011-04-29 04:27:34