Trace number 3249770

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.29 1202.14

General information on the benchmark

Namecrafted/mosoi/289/
289-unsat-21x39.cnf
MD5SUMe7679ca49bb432c9b90305d907365c4e
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables3276
Number of clauses628173
Sum of the clauses size2502864
Maximum clause length4
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 24914
Number of clauses of size 30
Number of clauses of size 4623259
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-3249770-1304089090/watcher-3249770-1304089090 -o /tmp/evaluation-result-3249770-1304089090/solver-3249770-1304089090 -C 4800 -W 1300 -M 15500 SArTagnan HOME/instance-3249770-1304089090.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: 8.01 8.07 7.54 5/180 8470
/proc/meminfo: memFree=29660924/32951124 swapFree=67111348/67111528
[pid=8470] ppid=8468 vsize=34208 CPUtime=0 cores=1,3,5,7
/proc/8470/stat : 8470 (SArTagnan) R 8468 8470 8275 0 -1 4202496 705 0 0 0 0 0 0 0 21 0 1 0 501324387 35028992 642 33554432000 4194304 4623224 140734119412928 18446744073709551615 4366247 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/8470/statm: 8552 642 297 105 0 4056 0

[startup+0.0756289 s]
/proc/loadavg: 8.01 8.07 7.54 5/180 8470
/proc/meminfo: memFree=29660924/32951124 swapFree=67111348/67111528
[pid=8470] ppid=8468 vsize=44452 CPUtime=0.06 cores=1,3,5,7
/proc/8470/stat : 8470 (SArTagnan) R 8468 8470 8275 0 -1 4202496 6822 0 0 0 6 0 0 0 21 0 1 0 501324387 45518848 3712 33554432000 4194304 4623224 140734119412928 18446744073709551615 4388779 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/8470/statm: 11113 3714 297 105 0 6617 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 44452

[startup+0.100624 s]
/proc/loadavg: 8.01 8.07 7.54 5/180 8470
/proc/meminfo: memFree=29660924/32951124 swapFree=67111348/67111528
[pid=8470] ppid=8468 vsize=49364 CPUtime=0.09 cores=1,3,5,7
/proc/8470/stat : 8470 (SArTagnan) R 8468 8470 8275 0 -1 4202496 9468 0 0 0 8 1 0 0 21 0 1 0 501324387 50548736 4719 33554432000 4194304 4623224 140734119412928 18446744073709551615 4388779 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/8470/statm: 12341 4722 297 105 0 7845 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 49364

[startup+0.300602 s]
/proc/loadavg: 8.01 8.07 7.54 5/180 8470
/proc/meminfo: memFree=29660924/32951124 swapFree=67111348/67111528
[pid=8470] ppid=8468 vsize=94820 CPUtime=0.29 cores=1,3,5,7
/proc/8470/stat : 8470 (SArTagnan) R 8468 8470 8275 0 -1 4202496 28740 0 0 0 26 3 0 0 22 0 1 0 501324387 97095680 15088 33554432000 4194304 4623224 140734119412928 18446744073709551615 254261314005 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/8470/statm: 23705 15110 297 105 0 19209 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 94820

[startup+0.700484 s]
/proc/loadavg: 8.01 8.07 7.54 5/180 8470
/proc/meminfo: memFree=29660924/32951124 swapFree=67111348/67111528
[pid=8470] ppid=8468 vsize=394820 CPUtime=1.53 cores=1,3,5,7
/proc/8470/stat : 8470 (SArTagnan) R 8468 8470 8275 0 -1 4202496 70003 0 0 0 145 8 0 0 25 0 4 0 501324387 404295680 48901 33554432000 4194304 4623224 140734119412928 18446744073709551615 4355942 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/8470/statm: 98705 48901 338 105 0 94209 0
Current children cumulated CPU time (s) 1.53
Current children cumulated vsize (KiB) 394820

[startup+1.50035 s]
/proc/loadavg: 8.01 8.07 7.54 9/184 8474
/proc/meminfo: memFree=29461136/32951124 swapFree=67111348/67111528
[pid=8470] ppid=8468 vsize=394820 CPUtime=4.73 cores=1,3,5,7
/proc/8470/stat : 8470 (SArTagnan) R 8468 8470 8275 0 -1 4202496 85943 0 0 0 462 11 0 0 25 0 4 0 501324387 404295680 49226 33554432000 4194304 4623224 140734119412928 18446744073709551615 4355951 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/8470/statm: 98705 49226 338 105 0 94209 0
[pid=8470/tid=8472] ppid=8468 vsize=394820 CPUtime=1.07 cores=1,3,5,7
/proc/8470/task/8472/stat : 8472 (SArTagnan) R 8468 8470 8275 0 -1 4202560 3162 0 0 0 107 0 0 0 25 0 4 0 501324428 404295680 49226 33554432000 4194304 4623224 140734119412928 18446744073709551615 4377613 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=8470/tid=8473] ppid=8468 vsize=394820 CPUtime=1.07 cores=1,3,5,7
/proc/8470/task/8473/stat : 8473 (SArTagnan) R 8468 8470 8275 0 -1 4202560 3266 0 0 0 107 0 0 0 25 0 4 0 501324429 404295680 49226 33554432000 4194304 4623224 140734119412928 18446744073709551615 4376652 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=8470/tid=8474] ppid=8468 vsize=394820 CPUtime=1.06 cores=1,3,5,7
/proc/8470/task/8474/stat : 8474 (SArTagnan) R 8468 8470 8275 0 -1 4202560 27889 0 0 0 102 4 0 0 25 0 4 0 501324429 404295680 49226 33554432000 4194304 4623224 140734119412928 18446744073709551615 4545344 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4.73
Current children cumulated vsize (KiB) 394820

[startup+3.10107 s]
/proc/loadavg: 8.01 8.06 7.54 9/184 8474
/proc/meminfo: memFree=29425920/32951124 swapFree=67111348/67111528
[pid=8470] ppid=8468 vsize=477124 CPUtime=11.12 cores=1,3,5,7
/proc/8470/stat : 8470 (SArTagnan) R 8468 8470 8275 0 -1 4202496 128338 0 0 0 1095 17 0 0 25 0 4 0 501324387 488574976 54901 33554432000 4194304 4623224 140734119412928 18446744073709551615 4355951 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/8470/statm: 119281 54901 338 105 0 114785 0
[pid=8470/tid=8472] ppid=8468 vsize=477124 CPUtime=2.67 cores=1,3,5,7
/proc/8470/task/8472/stat : 8472 (SArTagnan) R 8468 8470 8275 0 -1 4202560 8432 0 0 0 266 1 0 0 25 0 4 0 501324428 488574976 54901 33554432000 4194304 4623224 140734119412928 18446744073709551615 4462919 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=8470/tid=8473] ppid=8468 vsize=477124 CPUtime=2.67 cores=1,3,5,7
/proc/8470/task/8473/stat : 8473 (SArTagnan) R 8468 8470 8275 0 -1 4202560 9364 0 0 0 266 1 0 0 25 0 4 0 501324429 488574976 54901 33554432000 4194304 4623224 140734119412928 18446744073709551615 4376937 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=8470/tid=8474] ppid=8468 vsize=477124 CPUtime=2.66 cores=1,3,5,7
/proc/8470/task/8474/stat : 8474 (SArTagnan) R 8468 8470 8275 0 -1 4202560 58722 0 0 0 258 8 0 0 25 0 4 0 501324429 488574976 54901 33554432000 4194304 4623224 140734119412928 18446744073709551615 4550432 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 11.12
Current children cumulated vsize (KiB) 477124

[startup+6.30051 s]
/proc/loadavg: 8.01 8.06 7.54 9/184 8474
/proc/meminfo: memFree=29335884/32951124 swapFree=67111348/67111528
[pid=8470] ppid=8468 vsize=485484 CPUtime=23.9 cores=1,3,5,7
/proc/8470/stat : 8470 (SArTagnan) R 8468 8470 8275 0 -1 4202496 237290 0 0 0 2355 35 0 0 25 0 4 0 501324387 497135616 61755 33554432000 4194304 4623224 140734119412928 18446744073709551615 4414885 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/8470/statm: 121371 61755 338 105 0 116875 0
[pid=8470/tid=8472] ppid=8468 vsize=485484 CPUtime=5.87 cores=1,3,5,7
/proc/8470/task/8472/stat : 8472 (SArTagnan) R 8468 8470 8275 0 -1 4202560 9151 0 0 0 586 1 0 0 25 0 4 0 501324428 497135616 61755 33554432000 4194304 4623224 140734119412928 18446744073709551615 4377576 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=8470/tid=8473] ppid=8468 vsize=485484 CPUtime=5.86 cores=1,3,5,7
/proc/8470/task/8473/stat : 8473 (SArTagnan) R 8468 8470 8275 0 -1 4202560 13492 0 0 0 583 3 0 0 25 0 4 0 501324429 497135616 61755 33554432000 4194304 4623224 140734119412928 18446744073709551615 4376766 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=8470/tid=8474] ppid=8468 vsize=485484 CPUtime=5.84 cores=1,3,5,7
/proc/8470/task/8474/stat : 8474 (SArTagnan) R 8468 8470 8275 0 -1 4202560 158208 0 0 0 561 23 0 0 25 0 4 0 501324429 497135616 61755 33554432000 4194304 4623224 140734119412928 18446744073709551615 4545477 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 23.9
Current children cumulated vsize (KiB) 485484

[startup+12.7004 s]
/proc/loadavg: 8.01 8.06 7.54 9/184 8475
/proc/meminfo: memFree=29177196/32951124 swapFree=67111348/67111528
[pid=8470] ppid=8468 vsize=504020 CPUtime=49.45 cores=1,3,5,7
/proc/8470/stat : 8470 (SArTagnan) R 8468 8470 8275 0 -1 4202496 495332 0 0 0 4869 76 0 0 25 0 4 0 501324387 516116480 77631 33554432000 4194304 4623224 140734119412928 18446744073709551615 4356008 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/8470/statm: 126005 77631 338 105 0 121509 0
[pid=8470/tid=8472] ppid=8468 vsize=504020 CPUtime=12.27 cores=1,3,5,7
/proc/8470/task/8472/stat : 8472 (SArTagnan) R 8468 8470 8275 0 -1 4202560 19036 0 0 0 1223 4 0 0 25 0 4 0 501324428 516116480 77631 33554432000 4194304 4623224 140734119412928 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=8470/tid=8473] ppid=8468 vsize=504020 CPUtime=12.26 cores=1,3,5,7
/proc/8470/task/8473/stat : 8473 (SArTagnan) R 8468 8470 8275 0 -1 4202560 17574 0 0 0 1221 5 0 0 25 0 4 0 501324429 516116480 77631 33554432000 4194304 4623224 140734119412928 18446744073709551615 4376629 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=8470/tid=8474] ppid=8468 vsize=504020 CPUtime=12.2 cores=1,3,5,7
/proc/8470/task/8474/stat : 8474 (SArTagnan) R 8468 8470 8275 0 -1 4202560 401928 0 0 0 1161 59 0 0 25 0 4 0 501324429 516116480 77631 33554432000 4194304 4623224 140734119412928 18446744073709551615 4566586 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 49.45
Current children cumulated vsize (KiB) 504020

[startup+25.5011 s]
/proc/loadavg: 8.00 8.06 7.55 9/184 8475
/proc/meminfo: memFree=28921540/32951124 swapFree=67111348/67111528
[pid=8470] ppid=8468 vsize=638612 CPUtime=100.56 cores=1,3,5,7
/proc/8470/stat : 8470 (SArTagnan) R 8468 8470 8275 0 -1 4202496 985290 0 0 0 9910 146 0 0 25 0 4 0 501324387 653938688 102741 33554432000 4194304 4623224 140734119412928 18446744073709551615 4501547 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/8470/statm: 159653 102741 341 105 0 155157 0
[pid=8470/tid=8472] ppid=8468 vsize=638612 CPUtime=25.06 cores=1,3,5,7
/proc/8470/task/8472/stat : 8472 (SArTagnan) R 8468 8470 8275 0 -1 4202560 34186 0 0 0 2498 8 0 0 25 0 4 0 501324428 653938688 102741 33554432000 4194304 4623224 140734119412928 18446744073709551615 4377056 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=8470/tid=8473] ppid=8468 vsize=638612 CPUtime=25.06 cores=1,3,5,7
/proc/8470/task/8473/stat : 8473 (SArTagnan) R 8468 8470 8275 0 -1 4202560 33899 0 0 0 2496 10 0 0 25 0 4 0 501324429 653938688 102741 33554432000 4194304 4623224 140734119412928 18446744073709551615 4376711 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=8470/tid=8474] ppid=8468 vsize=638612 CPUtime=24.93 cores=1,3,5,7
/proc/8470/task/8474/stat : 8474 (SArTagnan) R 8468 8470 8275 0 -1 4202560 859796 0 0 0 2372 121 0 0 25 0 4 0 501324429 653938688 102741 33554432000 4194304 4623224 140734119412928 18446744073709551615 4545376 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 100.56
Current children cumulated vsize (KiB) 638612

[startup+51.1007 s]
/proc/loadavg: 8.06 8.07 7.56 9/184 8476
/proc/meminfo: memFree=28481412/32951124 swapFree=67111348/67111528
[pid=8470] ppid=8468 vsize=800484 CPUtime=202.82 cores=1,3,5,7
/proc/8470/stat : 8470 (SArTagnan) R 8468 8470 8275 0 -1 4202496 1592366 0 0 0 20040 242 0 0 25 0 4 0 501324387 819695616 147681 33554432000 4194304 4623224 140734119412928 18446744073709551615 4510064 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/8470/statm: 200121 147681 341 105 0 195625 0
[pid=8470/tid=8472] ppid=8468 vsize=800484 CPUtime=50.65 cores=1,3,5,7
/proc/8470/task/8472/stat : 8472 (SArTagnan) R 8468 8470 8275 0 -1 4202560 41810 0 0 0 5052 13 0 0 25 0 4 0 501324428 819695616 147681 33554432000 4194304 4623224 140734119412928 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=8470/tid=8473] ppid=8468 vsize=800484 CPUtime=50.66 cores=1,3,5,7
/proc/8470/task/8473/stat : 8473 (SArTagnan) R 8468 8470 8275 0 -1 4202560 61578 0 0 0 5048 18 0 0 25 0 4 0 501324429 819695616 147681 33554432000 4194304 4623224 140734119412928 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=8470/tid=8474] ppid=8468 vsize=800484 CPUtime=50.39 cores=1,3,5,7
/proc/8470/task/8474/stat : 8474 (SArTagnan) R 8468 8470 8275 0 -1 4202560 1421956 0 0 0 4837 202 0 0 25 0 4 0 501324429 819695616 147681 33554432000 4194304 4623224 140734119412928 18446744073709551615 4545534 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 202.82
Current children cumulated vsize (KiB) 800484

[startup+102.307 s]
/proc/loadavg: 8.09 8.07 7.59 9/184 8477
/proc/meminfo: memFree=27769764/32951124 swapFree=67111348/67111528
[pid=8470] ppid=8468 vsize=1230148 CPUtime=407.36 cores=1,3,5,7
/proc/8470/stat : 8470 (SArTagnan) R 8468 8470 8275 0 -1 4202496 2524815 0 0 0 40348 388 0 0 25 0 4 0 501324387 1259671552 237275 33554432000 4194304 4623224 140734119412928 18446744073709551615 4510169 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/8470/statm: 307537 237275 389 105 0 303041 0
[pid=8470/tid=8472] ppid=8468 vsize=1230148 CPUtime=101.86 cores=1,3,5,7
/proc/8470/task/8472/stat : 8472 (SArTagnan) R 8468 8470 8275 0 -1 4202560 94483 0 0 0 10161 25 0 0 25 0 4 0 501324428 1259671552 237275 33554432000 4194304 4623224 140734119412928 18446744073709551615 4376678 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=8470/tid=8473] ppid=8468 vsize=1230148 CPUtime=101.86 cores=1,3,5,7
/proc/8470/task/8473/stat : 8473 (SArTagnan) R 8468 8470 8275 0 -1 4202560 83718 0 0 0 10154 32 0 0 25 0 4 0 501324429 1259671552 237275 33554432000 4194304 4623224 140734119412928 18446744073709551615 4376666 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=8470/tid=8474] ppid=8468 vsize=1230148 CPUtime=101.31 cores=1,3,5,7
/proc/8470/task/8474/stat : 8474 (SArTagnan) R 8468 8470 8275 0 -1 4202560 2260110 0 0 0 9813 318 0 0 25 0 4 0 501324429 1259671552 237275 33554432000 4194304 4623224 140734119412928 18446744073709551615 4364232 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 407.36
Current children cumulated vsize (KiB) 1230148

[startup+162.301 s]
/proc/loadavg: 8.03 8.05 7.61 9/184 8479
/proc/meminfo: memFree=27180752/32951124 swapFree=67111348/67111528
[pid=8470] ppid=8468 vsize=1590424 CPUtime=647 cores=1,3,5,7
/proc/8470/stat : 8470 (SArTagnan) R 8468 8470 8275 0 -1 4202496 3636944 0 0 0 64129 571 0 0 25 0 4 0 501324387 1628594176 309724 33554432000 4194304 4623224 140734119412928 18446744073709551615 4360087 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/8470/statm: 397606 309724 342 105 0 393110 0
[pid=8470/tid=8472] ppid=8468 vsize=1590424 CPUtime=161.85 cores=1,3,5,7
/proc/8470/task/8472/stat : 8472 (SArTagnan) R 8468 8470 8275 0 -1 4202560 107664 0 0 0 16153 32 0 0 25 0 4 0 501324428 1628594176 309724 33554432000 4194304 4623224 140734119412928 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=8470/tid=8473] ppid=8468 vsize=1590424 CPUtime=161.85 cores=1,3,5,7
/proc/8470/task/8473/stat : 8473 (SArTagnan) R 8468 8470 8275 0 -1 4202560 121272 0 0 0 16130 55 0 0 25 0 4 0 501324429 1628594176 309724 33554432000 4194304 4623224 140734119412928 18446744073709551615 4376892 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=8470/tid=8474] ppid=8468 vsize=1590424 CPUtime=160.98 cores=1,3,5,7
/proc/8470/task/8474/stat : 8474 (SArTagnan) R 8468 8470 8275 0 -1 4202560 3308213 0 0 0 15629 469 0 0 25 0 4 0 501324429 1628594176 309724 33554432000 4194304 4623224 140734119412928 18446744073709551615 4545376 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 647
Current children cumulated vsize (KiB) 1590424

[startup+222.301 s]
/proc/loadavg: 8.12 8.07 7.65 9/184 8489
/proc/meminfo: memFree=26667024/32951124 swapFree=67111348/67111528
[pid=8470] ppid=8468 vsize=1785124 CPUtime=886.64 cores=1,3,5,7
/proc/8470/stat : 8470 (SArTagnan) R 8468 8470 8275 0 -1 4202496 4681831 0 0 0 87930 734 0 0 25 0 4 0 501324387 1827966976 371703 33554432000 4194304 4623224 140734119412928 18446744073709551615 4414880 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/8470/statm: 446281 371703 342 105 0 441785 0
[pid=8470/tid=8472] ppid=8468 vsize=1785124 CPUtime=221.84 cores=1,3,5,7
/proc/8470/task/8472/stat : 8472 (SArTagnan) R 8468 8470 8275 0 -1 4202560 156224 0 0 0 22140 44 0 0 25 0 4 0 501324428 1827966976 371703 33554432000 4194304 4623224 140734119412928 18446744073709551615 4376629 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=8470/tid=8473] ppid=8468 vsize=1785124 CPUtime=221.84 cores=1,3,5,7
/proc/8470/task/8473/stat : 8473 (SArTagnan) R 8468 8470 8275 0 -1 4202560 133596 0 0 0 22119 65 0 0 25 0 4 0 501324429 1827966976 371703 33554432000 4194304 4623224 140734119412928 18446744073709551615 4357641 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=8470/tid=8474] ppid=8468 vsize=1785124 CPUtime=220.64 cores=1,3,5,7
/proc/8470/task/8474/stat : 8474 (SArTagnan) R 8468 8470 8275 0 -1 4202560 4263045 0 0 0 21461 603 0 0 25 0 4 0 501324429 1827966976 371703 33554432000 4194304 4623224 140734119412928 18446744073709551615 4363989 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 886.64
Current children cumulated vsize (KiB) 1785124

[startup+282.301 s]

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


[startup+702.301 s]
/proc/loadavg: 8.05 8.07 7.80 9/184 8502
/proc/meminfo: memFree=24606028/32951124 swapFree=67111348/67111528
[pid=8470] ppid=8468 vsize=2920404 CPUtime=2804 cores=1,3,5,7
/proc/8470/stat : 8470 (SArTagnan) R 8468 8470 8275 0 -1 4202496 10648926 0 0 0 278601 1799 0 0 25 0 4 0 501324387 2990493696 629857 33554432000 4194304 4623224 140734119412928 18446744073709551615 4510486 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/8470/statm: 730101 629857 342 105 0 725605 0
[pid=8470/tid=8472] ppid=8468 vsize=2920404 CPUtime=701.82 cores=1,3,5,7
/proc/8470/task/8472/stat : 8472 (SArTagnan) R 8468 8470 8275 0 -1 4202560 289455 0 0 0 70026 156 0 0 25 0 4 0 501324428 2990493696 629857 33554432000 4194304 4623224 140734119412928 18446744073709551615 4357901 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=8470/tid=8473] ppid=8468 vsize=2920404 CPUtime=701.85 cores=1,3,5,7
/proc/8470/task/8473/stat : 8473 (SArTagnan) R 8468 8470 8275 0 -1 4202560 134414 0 0 0 70120 65 0 0 25 0 4 0 501324429 2990493696 629857 33554432000 4194304 4623224 140734119412928 18446744073709551615 4357591 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=8470/tid=8474] ppid=8468 vsize=2920404 CPUtime=698.01 cores=1,3,5,7
/proc/8470/task/8474/stat : 8474 (SArTagnan) R 8468 8470 8275 0 -1 4202560 9311851 0 0 0 68405 1396 0 0 25 0 4 0 501324429 2990493696 629857 33554432000 4194304 4623224 140734119412928 18446744073709551615 4577456 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2804
Current children cumulated vsize (KiB) 2920404

[startup+762.307 s]
/proc/loadavg: 8.02 8.05 7.81 9/184 8504
/proc/meminfo: memFree=24436136/32951124 swapFree=67111348/67111528
[pid=8470] ppid=8468 vsize=2920404 CPUtime=3043.7 cores=1,3,5,7
/proc/8470/stat : 8470 (SArTagnan) R 8468 8470 8275 0 -1 4202496 11488908 0 0 0 302421 1949 0 0 25 0 4 0 501324387 2990493696 640895 33554432000 4194304 4623224 140734119412928 18446744073709551615 254261283842 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/8470/statm: 730101 640895 342 105 0 725605 0
[pid=8470/tid=8472] ppid=8468 vsize=2920404 CPUtime=761.83 cores=1,3,5,7
/proc/8470/task/8472/stat : 8472 (SArTagnan) R 8468 8470 8275 0 -1 4202560 289489 0 0 0 76027 156 0 0 25 0 4 0 501324428 2990493696 640895 33554432000 4194304 4623224 140734119412928 18446744073709551615 4357641 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=8470/tid=8473] ppid=8468 vsize=2920404 CPUtime=761.86 cores=1,3,5,7
/proc/8470/task/8473/stat : 8473 (SArTagnan) R 8468 8470 8275 0 -1 4202560 134449 0 0 0 76121 65 0 0 25 0 4 0 501324429 2990493696 640895 33554432000 4194304 4623224 140734119412928 18446744073709551615 4357901 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=8470/tid=8474] ppid=8468 vsize=2920404 CPUtime=757.68 cores=1,3,5,7
/proc/8470/task/8474/stat : 8474 (SArTagnan) R 8468 8470 8275 0 -1 4202560 10054489 0 0 0 74246 1522 0 0 25 0 4 0 501324429 2990493696 640895 33554432000 4194304 4623224 140734119412928 18446744073709551615 4545376 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3043.7
Current children cumulated vsize (KiB) 2920404

[startup+822.301 s]
/proc/loadavg: 8.13 8.07 7.83 9/184 8505
/proc/meminfo: memFree=24291040/32951124 swapFree=67111348/67111528
[pid=8470] ppid=8468 vsize=2985940 CPUtime=3283.35 cores=1,3,5,7
/proc/8470/stat : 8470 (SArTagnan) R 8468 8470 8275 0 -1 4202496 12387985 0 0 0 326231 2104 0 0 25 0 4 0 501324387 3057602560 658114 33554432000 4194304 4623224 140734119412928 18446744073709551615 4510220 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/8470/statm: 746485 658114 403 105 0 741989 0
[pid=8470/tid=8472] ppid=8468 vsize=2985940 CPUtime=821.82 cores=1,3,5,7
/proc/8470/task/8472/stat : 8472 (SArTagnan) R 8468 8470 8275 0 -1 4202560 289521 0 0 0 82026 156 0 0 25 0 4 0 501324428 3057602560 658114 33554432000 4194304 4623224 140734119412928 18446744073709551615 4357901 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=8470/tid=8473] ppid=8468 vsize=2985940 CPUtime=821.85 cores=1,3,5,7
/proc/8470/task/8473/stat : 8473 (SArTagnan) R 8468 8470 8275 0 -1 4202560 134481 0 0 0 82120 65 0 0 25 0 4 0 501324429 3057602560 658114 33554432000 4194304 4623224 140734119412928 18446744073709551615 4357641 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=8470/tid=8474] ppid=8468 vsize=2985940 CPUtime=817.35 cores=1,3,5,7
/proc/8470/task/8474/stat : 8474 (SArTagnan) R 8468 8470 8275 0 -1 4202560 10828646 0 0 0 80088 1647 0 0 25 0 4 0 501324429 3057602560 658114 33554432000 4194304 4623224 140734119412928 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3283.35
Current children cumulated vsize (KiB) 2985940

[startup+882.301 s]
/proc/loadavg: 8.16 8.09 7.85 9/184 8507
/proc/meminfo: memFree=24123624/32951124 swapFree=67111348/67111528
[pid=8470] ppid=8468 vsize=3094120 CPUtime=3523.03 cores=1,3,5,7
/proc/8470/stat : 8470 (SArTagnan) R 8468 8470 8275 0 -1 4202496 13291505 0 0 0 350040 2263 0 0 25 0 4 0 501324387 3168378880 671805 33554432000 4194304 4623224 140734119412928 18446744073709551615 4510064 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/8470/statm: 773530 671805 373 105 0 769034 0
[pid=8470/tid=8472] ppid=8468 vsize=3094120 CPUtime=881.82 cores=1,3,5,7
/proc/8470/task/8472/stat : 8472 (SArTagnan) R 8468 8470 8275 0 -1 4202560 289551 0 0 0 88026 156 0 0 25 0 4 0 501324428 3168378880 671805 33554432000 4194304 4623224 140734119412928 18446744073709551615 4486238 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=8470/tid=8473] ppid=8468 vsize=3094120 CPUtime=881.85 cores=1,3,5,7
/proc/8470/task/8473/stat : 8473 (SArTagnan) R 8468 8470 8275 0 -1 4202560 134513 0 0 0 88120 65 0 0 25 0 4 0 501324429 3168378880 671805 33554432000 4194304 4623224 140734119412928 18446744073709551615 4486238 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=8470/tid=8474] ppid=8468 vsize=3094120 CPUtime=877.03 cores=1,3,5,7
/proc/8470/task/8474/stat : 8474 (SArTagnan) R 8468 8470 8275 0 -1 4202560 11589687 0 0 0 85930 1773 0 0 25 0 4 0 501324429 3168378880 671805 33554432000 4194304 4623224 140734119412928 18446744073709551615 4364232 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3523.03
Current children cumulated vsize (KiB) 3094120

[startup+942.301 s]
/proc/loadavg: 8.16 8.10 7.87 9/184 8508
/proc/meminfo: memFree=23985592/32951124 swapFree=67111348/67111528
[pid=8470] ppid=8468 vsize=3159656 CPUtime=3762.71 cores=1,3,5,7
/proc/8470/stat : 8470 (SArTagnan) R 8468 8470 8275 0 -1 4202496 14114407 0 0 0 373863 2408 0 0 25 0 4 0 501324387 3235487744 684822 33554432000 4194304 4623224 140734119412928 18446744073709551615 4517494 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/8470/statm: 789914 684822 368 105 0 785418 0
[pid=8470/tid=8472] ppid=8468 vsize=3159656 CPUtime=941.83 cores=1,3,5,7
/proc/8470/task/8472/stat : 8472 (SArTagnan) R 8468 8470 8275 0 -1 4202560 289597 0 0 0 94027 156 0 0 25 0 4 0 501324428 3235487744 684822 33554432000 4194304 4623224 140734119412928 18446744073709551615 4357901 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=8470/tid=8473] ppid=8468 vsize=3159656 CPUtime=941.85 cores=1,3,5,7
/proc/8470/task/8473/stat : 8473 (SArTagnan) R 8468 8470 8275 0 -1 4202560 134538 0 0 0 94120 65 0 0 25 0 4 0 501324429 3235487744 684822 33554432000 4194304 4623224 140734119412928 18446744073709551615 4357901 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=8470/tid=8474] ppid=8468 vsize=3159656 CPUtime=936.7 cores=1,3,5,7
/proc/8470/task/8474/stat : 8474 (SArTagnan) R 8468 8470 8275 0 -1 4202560 12305129 0 0 0 91779 1891 0 0 25 0 4 0 501324429 3235487744 684822 33554432000 4194304 4623224 140734119412928 18446744073709551615 4376711 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3762.71
Current children cumulated vsize (KiB) 3159656

[startup+1002.3 s]
/proc/loadavg: 8.16 8.11 7.88 9/184 8510
/proc/meminfo: memFree=23777384/32951124 swapFree=67111348/67111528
[pid=8470] ppid=8468 vsize=3225192 CPUtime=4002.38 cores=1,3,5,7
/proc/8470/stat : 8470 (SArTagnan) R 8468 8470 8275 0 -1 4202496 14868134 0 0 0 397704 2534 0 0 25 0 4 0 501324387 3302596608 697567 33554432000 4194304 4623224 140734119412928 18446744073709551615 4510214 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/8470/statm: 806298 697567 381 105 0 801802 0
[pid=8470/tid=8472] ppid=8468 vsize=3225192 CPUtime=1001.83 cores=1,3,5,7
/proc/8470/task/8472/stat : 8472 (SArTagnan) R 8468 8470 8275 0 -1 4202560 289649 0 0 0 100027 156 0 0 25 0 4 0 501324428 3302596608 697567 33554432000 4194304 4623224 140734119412928 18446744073709551615 4357901 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=8470/tid=8473] ppid=8468 vsize=3225192 CPUtime=1001.86 cores=1,3,5,7
/proc/8470/task/8473/stat : 8473 (SArTagnan) R 8468 8470 8275 0 -1 4202560 134567 0 0 0 100121 65 0 0 25 0 4 0 501324429 3302596608 697567 33554432000 4194304 4623224 140734119412928 18446744073709551615 4357901 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=8470/tid=8474] ppid=8468 vsize=3225192 CPUtime=996.37 cores=1,3,5,7
/proc/8470/task/8474/stat : 8474 (SArTagnan) R 8468 8470 8275 0 -1 4202560 13014514 0 0 0 97631 2006 0 0 25 0 4 0 501324429 3302596608 697567 33554432000 4194304 4623224 140734119412928 18446744073709551615 4376711 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4002.38
Current children cumulated vsize (KiB) 3225192

[startup+1062.3 s]
/proc/loadavg: 8.12 8.10 7.89 9/184 8512
/proc/meminfo: memFree=23631044/32951124 swapFree=67111348/67111528
[pid=8470] ppid=8468 vsize=3290728 CPUtime=4242.07 cores=1,3,5,7
/proc/8470/stat : 8470 (SArTagnan) R 8468 8470 8275 0 -1 4202496 15655543 0 0 0 421539 2668 0 0 25 0 4 0 501324387 3369705472 710033 33554432000 4194304 4623224 140734119412928 18446744073709551615 4510169 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/8470/statm: 822682 710033 371 105 0 818186 0
[pid=8470/tid=8472] ppid=8468 vsize=3290728 CPUtime=1061.83 cores=1,3,5,7
/proc/8470/task/8472/stat : 8472 (SArTagnan) R 8468 8470 8275 0 -1 4202560 289701 0 0 0 106027 156 0 0 25 0 4 0 501324428 3369705472 710033 33554432000 4194304 4623224 140734119412928 18446744073709551615 4357901 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=8470/tid=8473] ppid=8468 vsize=3290728 CPUtime=1061.86 cores=1,3,5,7
/proc/8470/task/8473/stat : 8473 (SArTagnan) R 8468 8470 8275 0 -1 4202560 134598 0 0 0 106121 65 0 0 25 0 4 0 501324429 3369705472 710033 33554432000 4194304 4623224 140734119412928 18446744073709551615 4486238 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=8470/tid=8474] ppid=8468 vsize=3290728 CPUtime=1056.05 cores=1,3,5,7
/proc/8470/task/8474/stat : 8474 (SArTagnan) R 8468 8470 8275 0 -1 4202560 13749020 0 0 0 103477 2128 0 0 25 0 4 0 501324429 3369705472 710033 33554432000 4194304 4623224 140734119412928 18446744073709551615 4376675 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4242.07
Current children cumulated vsize (KiB) 3290728

[startup+1122.3 s]
/proc/loadavg: 8.17 8.11 7.91 9/184 8513
/proc/meminfo: memFree=23490788/32951124 swapFree=67111348/67111528
[pid=8470] ppid=8468 vsize=3315896 CPUtime=4481.74 cores=1,3,5,7
/proc/8470/stat : 8470 (SArTagnan) R 8468 8470 8275 0 -1 4202496 16146191 0 0 0 445423 2751 0 0 25 0 4 0 501324387 3395477504 718942 33554432000 4194304 4623224 140734119412928 18446744073709551615 4510064 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/8470/statm: 828974 718942 342 105 0 824478 0
[pid=8470/tid=8472] ppid=8468 vsize=3315896 CPUtime=1121.83 cores=1,3,5,7
/proc/8470/task/8472/stat : 8472 (SArTagnan) R 8468 8470 8275 0 -1 4202560 289746 0 0 0 112027 156 0 0 25 0 4 0 501324428 3395477504 718942 33554432000 4194304 4623224 140734119412928 18446744073709551615 4357641 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=8470/tid=8473] ppid=8468 vsize=3315896 CPUtime=1121.86 cores=1,3,5,7
/proc/8470/task/8473/stat : 8473 (SArTagnan) R 8468 8470 8275 0 -1 4202560 134628 0 0 0 112121 65 0 0 25 0 4 0 501324429 3395477504 718942 33554432000 4194304 4623224 140734119412928 18446744073709551615 4357901 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=8470/tid=8474] ppid=8468 vsize=3315896 CPUtime=1115.72 cores=1,3,5,7
/proc/8470/task/8474/stat : 8474 (SArTagnan) R 8468 8470 8275 0 -1 4202560 14196288 0 0 0 109371 2201 0 0 25 0 4 0 501324429 3395477504 718942 33554432000 4194304 4623224 140734119412928 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4481.74
Current children cumulated vsize (KiB) 3315896

[startup+1182.3 s]
/proc/loadavg: 8.18 8.12 7.92 9/184 8515
/proc/meminfo: memFree=23353736/32951124 swapFree=67111348/67111528
[pid=8470] ppid=8468 vsize=3360764 CPUtime=4721.42 cores=1,3,5,7
/proc/8470/stat : 8470 (SArTagnan) R 8468 8470 8275 0 -1 4202496 16204755 0 0 0 469374 2768 0 0 25 0 4 0 501324387 3441422336 730567 33554432000 4194304 4623224 140734119412928 18446744073709551615 4510169 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/8470/statm: 840191 730567 342 105 0 835695 0
[pid=8470/tid=8472] ppid=8468 vsize=3360764 CPUtime=1181.83 cores=1,3,5,7
/proc/8470/task/8472/stat : 8472 (SArTagnan) R 8468 8470 8275 0 -1 4202560 289773 0 0 0 118027 156 0 0 25 0 4 0 501324428 3441422336 730567 33554432000 4194304 4623224 140734119412928 18446744073709551615 4357901 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=8470/tid=8473] ppid=8468 vsize=3360764 CPUtime=1181.86 cores=1,3,5,7
/proc/8470/task/8473/stat : 8473 (SArTagnan) R 8468 8470 8275 0 -1 4202560 134656 0 0 0 118121 65 0 0 25 0 4 0 501324429 3441422336 730567 33554432000 4194304 4623224 140734119412928 18446744073709551615 4357901 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=8470/tid=8474] ppid=8468 vsize=3360764 CPUtime=1175.4 cores=1,3,5,7
/proc/8470/task/8474/stat : 8474 (SArTagnan) R 8468 8470 8275 0 -1 4202560 14207728 0 0 0 115334 2206 0 0 25 0 4 0 501324429 3441422336 730567 33554432000 4194304 4623224 140734119412928 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4721.42
Current children cumulated vsize (KiB) 3360764



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1202 s]
/proc/loadavg: 8.13 8.11 7.92 5/179 8516
/proc/meminfo: memFree=26792292/32951124 swapFree=67111348/67111528
[pid=8470] ppid=8468 vsize=3375372 CPUtime=4800.14 cores=1,3,5,7
/proc/8470/stat : 8470 (SArTagnan) R 8468 8470 8275 0 -1 4202496 16226062 0 0 0 477240 2774 0 0 25 0 4 0 501324387 3456380928 734411 33554432000 4194304 4623224 140734119412928 18446744073709551615 4517494 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/8470/statm: 843843 734411 342 105 0 839347 0
[pid=8470/tid=8472] ppid=8468 vsize=3375372 CPUtime=1201.54 cores=1,3,5,7
/proc/8470/task/8472/stat : 8472 (SArTagnan) R 8468 8470 8275 0 -1 4202560 289782 0 0 0 119998 156 0 0 25 0 4 0 501324428 3456380928 734411 33554432000 4194304 4623224 140734119412928 18446744073709551615 4357901 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=8470/tid=8473] ppid=8468 vsize=3375372 CPUtime=1201.57 cores=1,3,5,7
/proc/8470/task/8473/stat : 8473 (SArTagnan) R 8468 8470 8275 0 -1 4202560 134671 0 0 0 120092 65 0 0 25 0 4 0 501324429 3456380928 734411 33554432000 4194304 4623224 140734119412928 18446744073709551615 4357901 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=8470/tid=8474] ppid=8468 vsize=3375372 CPUtime=1194.99 cores=1,3,5,7
/proc/8470/task/8474/stat : 8474 (SArTagnan) R 8468 8470 8275 0 -1 4202560 14211476 0 0 0 117291 2208 0 0 25 0 4 0 501324429 3456380928 734411 33554432000 4194304 4623224 140734119412928 18446744073709551615 4550560 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4800.14
Current children cumulated vsize (KiB) 3375372

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

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

[startup+1202.11 s]
/proc/loadavg: 8.13 8.11 7.92 5/179 8516
/proc/meminfo: memFree=26792292/32951124 swapFree=67111348/67111528
[pid=8470] ppid=8468 vsize=0 CPUtime=4800.26 cores=1,3,5,7
/proc/8470/stat : 8470 (SArTagnan) Z 8468 8470 8275 0 -1 4203548 16226085 0 0 0 477242 2784 0 0 25 0 2 0 501324387 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/8470/statm: 0 0 0 0 0 0 0
[pid=8470/tid=8474] ppid=8468 vsize=0 CPUtime=1195.1 cores=1,3,5,7
/proc/8470/task/8474/stat : 8474 (SArTagnan) R 8468 8470 8275 0 -1 4203588 14211481 0 0 0 117292 2218 0 0 25 0 2 0 501324429 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4800.26
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1202.14
CPU time (s): 4800.29
CPU user time (s): 4772.42
CPU system time (s): 27.8688
CPU usage (%): 399.313
Max. virtual memory (cumulated for all children) (KiB): 3375372

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4772.42
system time used= 27.8688
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 16226085
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= 8295
involuntary context switches= 16690

runsolver used 1.78473 second user time and 4.78827 second system time

The end

Launcher Data 

Begin job on node140 at 2011-04-29 16:58:11
IDJOB=3249770
IDBENCH=83184
IDSOLVER=1656
FILE ID=node140/3249770-1304089090
RUNJOBID= node140-1304087883-8294
PBS_JOBID= 13170564
Free space on /tmp= 72644 MiB

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

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

MD5SUM BENCH= e7679ca49bb432c9b90305d907365c4e
RANDOM SEED=2112643646

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

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.833
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.77
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.833
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.833
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.74
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.833
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.833
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:     32951124 kB
MemFree:      29661452 kB
Buffers:        998432 kB
Cached:        1661952 kB
SwapCached:        180 kB
Active:         351188 kB
Inactive:      2448876 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      29661452 kB
SwapTotal:    67111528 kB
SwapFree:     67111348 kB
Dirty:           20852 kB
Writeback:           0 kB
AnonPages:      138940 kB
Mapped:          15492 kB
Slab:           427516 kB
PageTables:       4924 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   328644 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= 72648 MiB
End job on node140 at 2011-04-29 17:18:15