Trace number 3249198

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.51 1201.94

General information on the benchmark

Namecrafted/mosoi/289/
289-unsat-13x32.cnf
MD5SUM73c8ae5bbdfe41463e8e40ea211c5e14
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 variables1664
Number of clauses157664
Sum of the clauses size625664
Maximum clause length4
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 22496
Number of clauses of size 30
Number of clauses of size 4155168
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-3249198-1304087600/watcher-3249198-1304087600 -o /tmp/evaluation-result-3249198-1304087600/solver-3249198-1304087600 -C 4800 -W 1300 -M 15500 SArTagnan HOME/instance-3249198-1304087600.cnf -threads=4 

running on 4 cores: 0,2,4,6

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 4800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 4830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1300 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 7.37 7.89 7.67 5/180 12647
/proc/meminfo: memFree=24218404/32951124 swapFree=67111524/67111528
[pid=12647] ppid=12645 vsize=22768 CPUtime=0 cores=0,2,4,6
/proc/12647/stat : 12647 (SArTagnan) R 12645 12647 12135 0 -1 4202496 623 0 0 0 0 0 0 0 25 0 1 0 501176127 23314432 560 33554432000 4194304 4623224 140733244288944 18446744073709551615 255106768640 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/12647/statm: 5692 562 297 105 0 1196 0

[startup+0.038835 s]
/proc/loadavg: 7.37 7.89 7.67 5/180 12647
/proc/meminfo: memFree=24218404/32951124 swapFree=67111524/67111528
[pid=12647] ppid=12645 vsize=28052 CPUtime=0.03 cores=0,2,4,6
/proc/12647/stat : 12647 (SArTagnan) R 12645 12647 12135 0 -1 4202496 3495 0 0 0 3 0 0 0 25 0 1 0 501176127 28725248 2162 33554432000 4194304 4623224 140733244288944 18446744073709551615 4366247 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/12647/statm: 7013 2164 297 105 0 2517 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 28052

[startup+0.100825 s]
/proc/loadavg: 7.37 7.89 7.67 5/180 12647
/proc/meminfo: memFree=24218404/32951124 swapFree=67111524/67111528
[pid=12647] ppid=12645 vsize=58068 CPUtime=0.09 cores=0,2,4,6
/proc/12647/stat : 12647 (SArTagnan) R 12645 12647 12135 0 -1 4202496 12504 0 0 0 8 1 0 0 25 0 1 0 501176127 59461632 7695 33554432000 4194304 4623224 140733244288944 18446744073709551615 255106466261 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/12647/statm: 14517 7716 299 105 0 10021 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 58068

[startup+0.300748 s]
/proc/loadavg: 7.37 7.89 7.67 5/180 12647
/proc/meminfo: memFree=24218404/32951124 swapFree=67111524/67111528
[pid=12647] ppid=12645 vsize=303964 CPUtime=0.88 cores=0,2,4,6
/proc/12647/stat : 12647 (SArTagnan) R 12645 12647 12135 0 -1 4202496 19196 0 0 0 86 2 0 0 25 0 4 0 501176127 311259136 13328 33554432000 4194304 4623224 140733244288944 18446744073709551615 4414880 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/12647/statm: 75991 13328 337 105 0 71495 0
Current children cumulated CPU time (s) 0.88
Current children cumulated vsize (KiB) 303964

[startup+0.700677 s]
/proc/loadavg: 7.37 7.89 7.67 5/180 12647
/proc/meminfo: memFree=24218404/32951124 swapFree=67111524/67111528
[pid=12647] ppid=12645 vsize=306452 CPUtime=2.47 cores=0,2,4,6
/proc/12647/stat : 12647 (SArTagnan) R 12645 12647 12135 0 -1 4202496 27326 0 0 0 244 3 0 0 25 0 4 0 501176127 313806848 15250 33554432000 4194304 4623224 140733244288944 18446744073709551615 4355951 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/12647/statm: 76613 15250 338 105 0 72117 0
Current children cumulated CPU time (s) 2.47
Current children cumulated vsize (KiB) 306452

[startup+1.50054 s]
/proc/loadavg: 7.37 7.89 7.67 10/184 12651
/proc/meminfo: memFree=24119932/32951124 swapFree=67111524/67111528
[pid=12647] ppid=12645 vsize=308964 CPUtime=5.67 cores=0,2,4,6
/proc/12647/stat : 12647 (SArTagnan) R 12645 12647 12135 0 -1 4202496 42935 0 0 0 562 5 0 0 25 0 4 0 501176127 316379136 19072 33554432000 4194304 4623224 140733244288944 18446744073709551615 4510316 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/12647/statm: 77241 19072 338 105 0 72745 0
[pid=12647/tid=12649] ppid=12645 vsize=308964 CPUtime=1.39 cores=0,2,4,6
/proc/12647/task/12649/stat : 12649 (SArTagnan) R 12645 12647 12135 0 -1 4202560 2668 0 0 0 139 0 0 0 25 0 4 0 501176137 316379136 19072 33554432000 4194304 4623224 140733244288944 18446744073709551615 4376629 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=12647/tid=12650] ppid=12645 vsize=308964 CPUtime=1.38 cores=0,2,4,6
/proc/12647/task/12650/stat : 12650 (SArTagnan) R 12645 12647 12135 0 -1 4202560 5059 0 0 0 137 1 0 0 25 0 4 0 501176138 316379136 19072 33554432000 4194304 4623224 140733244288944 18446744073709551615 4376625 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=12647/tid=12651] ppid=12645 vsize=308964 CPUtime=1.39 cores=0,2,4,6
/proc/12647/task/12651/stat : 12651 (SArTagnan) R 12645 12647 12135 0 -1 4202560 21210 0 0 0 137 2 0 0 25 0 4 0 501176138 316379136 19072 33554432000 4194304 4623224 140733244288944 18446744073709551615 4546867 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 5.67
Current children cumulated vsize (KiB) 308964

[startup+3.10026 s]
/proc/loadavg: 7.37 7.89 7.67 9/184 12651
/proc/meminfo: memFree=24074440/32951124 swapFree=67111524/67111528
[pid=12647] ppid=12645 vsize=317268 CPUtime=12.06 cores=0,2,4,6
/proc/12647/stat : 12647 (SArTagnan) R 12645 12647 12135 0 -1 4202496 73474 0 0 0 1196 10 0 0 25 0 4 0 501176127 324882432 26451 33554432000 4194304 4623224 140733244288944 18446744073709551615 4415995 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/12647/statm: 79317 26451 341 105 0 74821 0
[pid=12647/tid=12649] ppid=12645 vsize=317268 CPUtime=2.99 cores=0,2,4,6
/proc/12647/task/12649/stat : 12649 (SArTagnan) R 12645 12647 12135 0 -1 4202560 5819 0 0 0 299 0 0 0 25 0 4 0 501176137 324882432 26451 33554432000 4194304 4623224 140733244288944 18446744073709551615 4377885 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=12647/tid=12650] ppid=12645 vsize=317268 CPUtime=2.97 cores=0,2,4,6
/proc/12647/task/12650/stat : 12650 (SArTagnan) R 12645 12647 12135 0 -1 4202560 7924 0 0 0 295 2 0 0 25 0 4 0 501176138 324882432 26451 33554432000 4194304 4623224 140733244288944 18446744073709551615 4376853 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=12647/tid=12651] ppid=12645 vsize=317268 CPUtime=2.99 cores=0,2,4,6
/proc/12647/task/12651/stat : 12651 (SArTagnan) R 12645 12647 12135 0 -1 4202560 44098 0 0 0 293 6 0 0 25 0 4 0 501176138 324882432 26451 33554432000 4194304 4623224 140733244288944 18446744073709551615 4550465 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 12.06
Current children cumulated vsize (KiB) 317268

[startup+6.30069 s]
/proc/loadavg: 7.42 7.89 7.68 9/184 12651
/proc/meminfo: memFree=23948952/32951124 swapFree=67111524/67111528
[pid=12647] ppid=12645 vsize=324728 CPUtime=24.84 cores=0,2,4,6
/proc/12647/stat : 12647 (SArTagnan) R 12645 12647 12135 0 -1 4202496 128286 0 0 0 2464 20 0 0 25 0 4 0 501176127 332521472 39648 33554432000 4194304 4623224 140733244288944 18446744073709551615 4360078 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/12647/statm: 81182 39648 341 105 0 76686 0
[pid=12647/tid=12649] ppid=12645 vsize=324728 CPUtime=6.19 cores=0,2,4,6
/proc/12647/task/12649/stat : 12649 (SArTagnan) R 12645 12647 12135 0 -1 4202560 11108 0 0 0 618 1 0 0 25 0 4 0 501176137 332521472 39648 33554432000 4194304 4623224 140733244288944 18446744073709551615 4377018 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=12647/tid=12650] ppid=12645 vsize=324728 CPUtime=6.15 cores=0,2,4,6
/proc/12647/task/12650/stat : 12650 (SArTagnan) R 12645 12647 12135 0 -1 4202560 14272 0 0 0 610 5 0 0 25 0 4 0 501176138 332521472 39648 33554432000 4194304 4623224 140733244288944 18446744073709551615 4376711 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=12647/tid=12651] ppid=12645 vsize=324728 CPUtime=6.19 cores=0,2,4,6
/proc/12647/task/12651/stat : 12651 (SArTagnan) R 12645 12647 12135 0 -1 4202560 84233 0 0 0 607 12 0 0 25 0 4 0 501176138 332521472 39648 33554432000 4194304 4623224 140733244288944 18446744073709551615 4366412 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 24.84
Current children cumulated vsize (KiB) 324728

[startup+12.7006 s]
/proc/loadavg: 7.47 7.89 7.68 9/184 12651
/proc/meminfo: memFree=23747384/32951124 swapFree=67111524/67111528
[pid=12647] ppid=12645 vsize=452024 CPUtime=50.41 cores=0,2,4,6
/proc/12647/stat : 12647 (SArTagnan) R 12645 12647 12135 0 -1 4202496 212109 0 0 0 5005 36 0 0 25 0 4 0 501176127 462872576 60686 33554432000 4194304 4623224 140733244288944 18446744073709551615 4360087 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/12647/statm: 113006 60686 341 105 0 108510 0
[pid=12647/tid=12649] ppid=12645 vsize=452024 CPUtime=12.58 cores=0,2,4,6
/proc/12647/task/12649/stat : 12649 (SArTagnan) R 12645 12647 12135 0 -1 4202560 15183 0 0 0 1256 2 0 0 25 0 4 0 501176137 462872576 60686 33554432000 4194304 4623224 140733244288944 18446744073709551615 4376711 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=12647/tid=12650] ppid=12645 vsize=452024 CPUtime=12.52 cores=0,2,4,6
/proc/12647/task/12650/stat : 12650 (SArTagnan) R 12645 12647 12135 0 -1 4202560 25185 0 0 0 1242 10 0 0 25 0 4 0 501176138 462872576 60686 33554432000 4194304 4623224 140733244288944 18446744073709551615 4377587 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=12647/tid=12651] ppid=12645 vsize=452024 CPUtime=12.59 cores=0,2,4,6
/proc/12647/task/12651/stat : 12651 (SArTagnan) R 12645 12647 12135 0 -1 4202560 149940 0 0 0 1239 20 0 0 25 0 4 0 501176138 462872576 60686 33554432000 4194304 4623224 140733244288944 18446744073709551615 4552753 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 50.41
Current children cumulated vsize (KiB) 452024

[startup+25.5003 s]
/proc/loadavg: 7.59 7.90 7.68 9/184 12651
/proc/meminfo: memFree=23438604/32951124 swapFree=67111524/67111528
[pid=12647] ppid=12645 vsize=560556 CPUtime=101.53 cores=0,2,4,6
/proc/12647/stat : 12647 (SArTagnan) R 12645 12647 12135 0 -1 4202496 306119 0 0 0 10095 58 0 0 25 0 4 0 501176127 574009344 97466 33554432000 4194304 4623224 140733244288944 18446744073709551615 4415995 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/12647/statm: 140139 97466 341 105 0 135643 0
[pid=12647/tid=12649] ppid=12645 vsize=560556 CPUtime=25.39 cores=0,2,4,6
/proc/12647/task/12649/stat : 12649 (SArTagnan) R 12645 12647 12135 0 -1 4202560 25317 0 0 0 2533 6 0 0 25 0 4 0 501176137 574009344 97466 33554432000 4194304 4623224 140733244288944 18446744073709551615 255106429985 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=12647/tid=12650] ppid=12645 vsize=560556 CPUtime=25.25 cores=0,2,4,6
/proc/12647/task/12650/stat : 12650 (SArTagnan) R 12645 12647 12135 0 -1 4202560 40793 0 0 0 2508 17 0 0 25 0 4 0 501176138 574009344 97466 33554432000 4194304 4623224 140733244288944 18446744073709551615 4376652 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=12647/tid=12651] ppid=12645 vsize=560556 CPUtime=25.39 cores=0,2,4,6
/proc/12647/task/12651/stat : 12651 (SArTagnan) R 12645 12647 12135 0 -1 4202560 211487 0 0 0 2508 31 0 0 25 0 4 0 501176138 574009344 97466 33554432000 4194304 4623224 140733244288944 18446744073709551615 4364232 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 101.53
Current children cumulated vsize (KiB) 560556

[startup+51.1008 s]
/proc/loadavg: 7.73 7.91 7.69 9/184 12652
/proc/meminfo: memFree=23008152/32951124 swapFree=67111524/67111528
[pid=12647] ppid=12645 vsize=772040 CPUtime=203.8 cores=0,2,4,6
/proc/12647/stat : 12647 (SArTagnan) R 12645 12647 12135 0 -1 4202496 536535 0 0 0 20283 97 0 0 25 0 4 0 501176127 790568960 150770 33554432000 4194304 4623224 140733244288944 18446744073709551615 4414885 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/12647/statm: 193010 150771 347 105 0 188514 0
[pid=12647/tid=12649] ppid=12645 vsize=772040 CPUtime=50.98 cores=0,2,4,6
/proc/12647/task/12649/stat : 12649 (SArTagnan) R 12645 12647 12135 0 -1 4202560 37969 0 0 0 5089 9 0 0 25 0 4 0 501176137 790568960 150771 33554432000 4194304 4623224 140733244288944 18446744073709551615 4377576 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=12647/tid=12650] ppid=12645 vsize=772040 CPUtime=50.72 cores=0,2,4,6
/proc/12647/task/12650/stat : 12650 (SArTagnan) R 12645 12647 12135 0 -1 4202560 61520 0 0 0 5047 25 0 0 25 0 4 0 501176138 790568960 150771 33554432000 4194304 4623224 140733244288944 18446744073709551615 4376711 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=12647/tid=12651] ppid=12645 vsize=772040 CPUtime=50.98 cores=0,2,4,6
/proc/12647/task/12651/stat : 12651 (SArTagnan) R 12645 12647 12135 0 -1 4202560 401232 0 0 0 5041 57 0 0 25 0 4 0 501176138 790568960 150771 33554432000 4194304 4623224 140733244288944 18446744073709551615 4366247 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 203.8
Current children cumulated vsize (KiB) 772040

[startup+102.307 s]
/proc/loadavg: 7.94 7.93 7.71 9/184 12653
/proc/meminfo: memFree=22308044/32951124 swapFree=67111524/67111528
[pid=12647] ppid=12645 vsize=1184812 CPUtime=408.35 cores=0,2,4,6
/proc/12647/stat : 12647 (SArTagnan) R 12645 12647 12135 0 -1 4202496 942967 0 0 0 40668 167 0 0 25 0 4 0 501176127 1213247488 230782 33554432000 4194304 4623224 140733244288944 18446744073709551615 4510064 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/12647/statm: 296203 230782 342 105 0 291707 0
[pid=12647/tid=12649] ppid=12645 vsize=1184812 CPUtime=102.19 cores=0,2,4,6
/proc/12647/task/12649/stat : 12649 (SArTagnan) R 12645 12647 12135 0 -1 4202560 60604 0 0 0 10202 17 0 0 25 0 4 0 501176137 1213247488 230782 33554432000 4194304 4623224 140733244288944 18446744073709551615 4366412 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=12647/tid=12650] ppid=12645 vsize=1184812 CPUtime=101.65 cores=0,2,4,6
/proc/12647/task/12650/stat : 12650 (SArTagnan) R 12645 12647 12135 0 -1 4202560 79713 0 0 0 10134 31 0 0 25 0 4 0 501176138 1213247488 230782 33554432000 4194304 4623224 140733244288944 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=12647/tid=12651] ppid=12645 vsize=1184812 CPUtime=102.19 cores=0,2,4,6
/proc/12647/task/12651/stat : 12651 (SArTagnan) R 12645 12647 12135 0 -1 4202560 752996 0 0 0 10107 112 0 0 25 0 4 0 501176138 1213247488 230782 33554432000 4194304 4623224 140733244288944 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 408.35
Current children cumulated vsize (KiB) 1184812

[startup+162.3 s]
/proc/loadavg: 8.02 7.96 7.73 9/184 12655
/proc/meminfo: memFree=21719276/32951124 swapFree=67111524/67111528
[pid=12647] ppid=12645 vsize=1493740 CPUtime=647.98 cores=0,2,4,6
/proc/12647/stat : 12647 (SArTagnan) R 12645 12647 12135 0 -1 4202496 1390550 0 0 0 64547 251 0 0 25 0 4 0 501176127 1529589760 315425 33554432000 4194304 4623224 140733244288944 18446744073709551615 4355951 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/12647/statm: 373435 315425 342 105 0 368939 0
[pid=12647/tid=12649] ppid=12645 vsize=1493740 CPUtime=162.19 cores=0,2,4,6
/proc/12647/task/12649/stat : 12649 (SArTagnan) R 12645 12647 12135 0 -1 4202560 117261 0 0 0 16192 27 0 0 25 0 4 0 501176137 1529589760 315425 33554432000 4194304 4623224 140733244288944 18446744073709551615 4376892 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=12647/tid=12650] ppid=12645 vsize=1493740 CPUtime=161.32 cores=0,2,4,6
/proc/12647/task/12650/stat : 12650 (SArTagnan) R 12645 12647 12135 0 -1 4202560 116485 0 0 0 16079 53 0 0 25 0 4 0 501176138 1529589760 315425 33554432000 4194304 4623224 140733244288944 18446744073709551615 4376672 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=12647/tid=12651] ppid=12645 vsize=1493740 CPUtime=162.18 cores=0,2,4,6
/proc/12647/task/12651/stat : 12651 (SArTagnan) R 12645 12647 12135 0 -1 4202560 1088679 0 0 0 16055 163 0 0 25 0 4 0 501176138 1529589760 315425 33554432000 4194304 4623224 140733244288944 18446744073709551615 4550465 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 647.98
Current children cumulated vsize (KiB) 1493740

[startup+222.301 s]
/proc/loadavg: 8.10 7.99 7.75 9/184 12657
/proc/meminfo: memFree=21230824/32951124 swapFree=67111524/67111528
[pid=12647] ppid=12645 vsize=1803364 CPUtime=887.66 cores=0,2,4,6
/proc/12647/stat : 12647 (SArTagnan) R 12645 12647 12135 0 -1 4202496 1679427 0 0 0 88460 306 0 0 25 0 4 0 501176127 1846644736 374850 33554432000 4194304 4623224 140733244288944 18446744073709551615 4360078 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/12647/statm: 450841 374850 352 105 0 446345 0
[pid=12647/tid=12649] ppid=12645 vsize=1803364 CPUtime=222.18 cores=0,2,4,6
/proc/12647/task/12649/stat : 12649 (SArTagnan) R 12645 12647 12135 0 -1 4202560 124951 0 0 0 22189 29 0 0 25 0 4 0 501176137 1846644736 374850 33554432000 4194304 4623224 140733244288944 18446744073709551615 4376901 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=12647/tid=12650] ppid=12645 vsize=1803364 CPUtime=221 cores=0,2,4,6
/proc/12647/task/12650/stat : 12650 (SArTagnan) R 12645 12647 12135 0 -1 4202560 148928 0 0 0 22034 66 0 0 25 0 4 0 501176138 1846644736 374850 33554432000 4194304 4623224 140733244288944 18446744073709551615 4357901 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=12647/tid=12651] ppid=12645 vsize=1803364 CPUtime=222.18 cores=0,2,4,6
/proc/12647/task/12651/stat : 12651 (SArTagnan) R 12645 12647 12135 0 -1 4202560 1328066 0 0 0 22018 200 0 0 25 0 4 0 501176138 1846644736 374850 33554432000 4194304 4623224 140733244288944 18446744073709551615 4550465 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 887.66
Current children cumulated vsize (KiB) 1803364

[startup+282.301 s]

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


[startup+702.3 s]
/proc/loadavg: 8.07 8.05 7.87 9/184 12669
/proc/meminfo: memFree=19442516/32951124 swapFree=67111524/67111528
[pid=12647] ppid=12645 vsize=2649840 CPUtime=2805.07 cores=0,2,4,6
/proc/12647/stat : 12647 (SArTagnan) R 12645 12647 12135 0 -1 4202496 3058517 0 0 0 279932 575 0 0 25 0 4 0 501176127 2713436160 589229 33554432000 4194304 4623224 140733244288944 18446744073709551615 4355951 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/12647/statm: 662460 589230 342 105 0 657964 0
[pid=12647/tid=12649] ppid=12645 vsize=2649840 CPUtime=702.2 cores=0,2,4,6
/proc/12647/task/12649/stat : 12649 (SArTagnan) R 12645 12647 12135 0 -1 4202560 267586 0 0 0 70150 70 0 0 25 0 4 0 501176137 2713436160 589230 33554432000 4194304 4623224 140733244288944 18446744073709551615 4376612 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=12647/tid=12650] ppid=12645 vsize=2649840 CPUtime=698.43 cores=0,2,4,6
/proc/12647/task/12650/stat : 12650 (SArTagnan) R 12645 12647 12135 0 -1 4202560 149642 0 0 0 69776 67 0 0 25 0 4 0 501176138 2713436160 589230 33554432000 4194304 4623224 140733244288944 18446744073709551615 4357901 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=12647/tid=12651] ppid=12645 vsize=2649840 CPUtime=702.17 cores=0,2,4,6
/proc/12647/task/12651/stat : 12651 (SArTagnan) R 12645 12647 12135 0 -1 4202560 2523966 0 0 0 69799 418 0 0 25 0 4 0 501176138 2713436160 589230 33554432000 4194304 4623224 140733244288944 18446744073709551615 4366247 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2805.07
Current children cumulated vsize (KiB) 2649840

[startup+762.307 s]
/proc/loadavg: 8.08 8.06 7.88 9/184 12671
/proc/meminfo: memFree=19259968/32951124 swapFree=67111524/67111528
[pid=12647] ppid=12645 vsize=2809440 CPUtime=3044.77 cores=0,2,4,6
/proc/12647/stat : 12647 (SArTagnan) R 12645 12647 12135 0 -1 4202496 3437411 0 0 0 303837 640 0 0 25 0 4 0 501176127 2876866560 609612 33554432000 4194304 4623224 140733244288944 18446744073709551615 4510169 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/12647/statm: 702360 609612 345 105 0 697864 0
[pid=12647/tid=12649] ppid=12645 vsize=2809440 CPUtime=762.2 cores=0,2,4,6
/proc/12647/task/12649/stat : 12649 (SArTagnan) R 12645 12647 12135 0 -1 4202560 271661 0 0 0 76148 72 0 0 25 0 4 0 501176137 2876866560 609612 33554432000 4194304 4623224 140733244288944 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=12647/tid=12650] ppid=12645 vsize=2809440 CPUtime=758.11 cores=0,2,4,6
/proc/12647/task/12650/stat : 12650 (SArTagnan) R 12645 12647 12135 0 -1 4202560 149758 0 0 0 75744 67 0 0 25 0 4 0 501176138 2876866560 609612 33554432000 4194304 4623224 140733244288944 18446744073709551615 4357901 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=12647/tid=12651] ppid=12645 vsize=2809440 CPUtime=762.19 cores=0,2,4,6
/proc/12647/task/12651/stat : 12651 (SArTagnan) R 12645 12647 12135 0 -1 4202560 2881849 0 0 0 75741 478 0 0 25 0 4 0 501176138 2876866560 609612 33554432000 4194304 4623224 140733244288944 18446744073709551615 4550411 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3044.77
Current children cumulated vsize (KiB) 2809440

[startup+822.301 s]
/proc/loadavg: 8.08 8.06 7.89 9/184 12673
/proc/meminfo: memFree=19077308/32951124 swapFree=67111524/67111528
[pid=12647] ppid=12645 vsize=2856560 CPUtime=3284.42 cores=0,2,4,6
/proc/12647/stat : 12647 (SArTagnan) R 12645 12647 12135 0 -1 4202496 3656366 0 0 0 327759 683 0 0 25 0 4 0 501176127 2925117440 630965 33554432000 4194304 4623224 140733244288944 18446744073709551615 4510316 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/12647/statm: 714140 630965 350 105 0 709644 0
[pid=12647/tid=12649] ppid=12645 vsize=2856560 CPUtime=822.2 cores=0,2,4,6
/proc/12647/task/12649/stat : 12649 (SArTagnan) R 12645 12647 12135 0 -1 4202560 275962 0 0 0 82143 77 0 0 25 0 4 0 501176137 2925117440 630965 33554432000 4194304 4623224 140733244288944 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=12647/tid=12650] ppid=12645 vsize=2856560 CPUtime=817.8 cores=0,2,4,6
/proc/12647/task/12650/stat : 12650 (SArTagnan) R 12645 12647 12135 0 -1 4202560 149820 0 0 0 81712 68 0 0 25 0 4 0 501176138 2925117440 630965 33554432000 4194304 4623224 140733244288944 18446744073709551615 4486238 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=12647/tid=12651] ppid=12645 vsize=2856560 CPUtime=822.18 cores=0,2,4,6
/proc/12647/task/12651/stat : 12651 (SArTagnan) R 12645 12647 12135 0 -1 4202560 3094421 0 0 0 81702 516 0 0 25 0 4 0 501176138 2925117440 630965 33554432000 4194304 4623224 140733244288944 18446744073709551615 4545376 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3284.42
Current children cumulated vsize (KiB) 2856560

[startup+882.301 s]
/proc/loadavg: 8.08 8.06 7.90 9/184 12674
/proc/meminfo: memFree=18927504/32951124 swapFree=67111524/67111528
[pid=12647] ppid=12645 vsize=2907876 CPUtime=3524.1 cores=0,2,4,6
/proc/12647/stat : 12647 (SArTagnan) R 12645 12647 12135 0 -1 4202496 3674576 0 0 0 351717 693 0 0 25 0 4 0 501176127 2977665024 649003 33554432000 4194304 4623224 140733244288944 18446744073709551615 4415014 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/12647/statm: 726969 649003 350 105 0 722473 0
[pid=12647/tid=12649] ppid=12645 vsize=2907876 CPUtime=882.2 cores=0,2,4,6
/proc/12647/task/12649/stat : 12649 (SArTagnan) R 12645 12647 12135 0 -1 4202560 279000 0 0 0 88139 81 0 0 25 0 4 0 501176137 2977665024 649003 33554432000 4194304 4623224 140733244288944 18446744073709551615 4357881 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=12647/tid=12650] ppid=12645 vsize=2907876 CPUtime=877.47 cores=0,2,4,6
/proc/12647/task/12650/stat : 12650 (SArTagnan) R 12645 12647 12135 0 -1 4202560 149911 0 0 0 87679 68 0 0 25 0 4 0 501176138 2977665024 649003 33554432000 4194304 4623224 140733244288944 18446744073709551615 4357901 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=12647/tid=12651] ppid=12645 vsize=2907876 CPUtime=882.18 cores=0,2,4,6
/proc/12647/task/12651/stat : 12651 (SArTagnan) R 12645 12647 12135 0 -1 4202560 3107232 0 0 0 87698 520 0 0 25 0 4 0 501176138 2977665024 649003 33554432000 4194304 4623224 140733244288944 18446744073709551615 4545564 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3524.1
Current children cumulated vsize (KiB) 2907876

[startup+942.301 s]
/proc/loadavg: 8.14 8.08 7.92 9/184 12676
/proc/meminfo: memFree=18745832/32951124 swapFree=67111524/67111528
[pid=12647] ppid=12645 vsize=3006972 CPUtime=3763.77 cores=0,2,4,6
/proc/12647/stat : 12647 (SArTagnan) R 12645 12647 12135 0 -1 4202496 3734169 0 0 0 375670 707 0 0 25 0 4 0 501176127 3079139328 674080 33554432000 4194304 4623224 140733244288944 18446744073709551615 4510169 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/12647/statm: 751743 674080 343 105 0 747247 0
[pid=12647/tid=12649] ppid=12645 vsize=3006972 CPUtime=942.19 cores=0,2,4,6
/proc/12647/task/12649/stat : 12649 (SArTagnan) R 12645 12647 12135 0 -1 4202560 285396 0 0 0 94132 87 0 0 25 0 4 0 501176137 3079139328 674080 33554432000 4194304 4623224 140733244288944 18446744073709551615 4376629 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=12647/tid=12650] ppid=12645 vsize=3006972 CPUtime=937.15 cores=0,2,4,6
/proc/12647/task/12650/stat : 12650 (SArTagnan) R 12645 12647 12135 0 -1 4202560 150021 0 0 0 93647 68 0 0 25 0 4 0 501176138 3079139328 674080 33554432000 4194304 4623224 140733244288944 18446744073709551615 4486212 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=12647/tid=12651] ppid=12645 vsize=3006972 CPUtime=942.18 cores=0,2,4,6
/proc/12647/task/12651/stat : 12651 (SArTagnan) R 12645 12647 12135 0 -1 4202560 3130823 0 0 0 93694 524 0 0 25 0 4 0 501176138 3079139328 674080 33554432000 4194304 4623224 140733244288944 18446744073709551615 4550465 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3763.77
Current children cumulated vsize (KiB) 3006972

[startup+1002.3 s]
/proc/loadavg: 8.15 8.09 7.93 9/184 12677
/proc/meminfo: memFree=18579416/32951124 swapFree=67111524/67111528
[pid=12647] ppid=12645 vsize=3072508 CPUtime=4003.44 cores=0,2,4,6
/proc/12647/stat : 12647 (SArTagnan) R 12645 12647 12135 0 -1 4202496 4118088 0 0 0 399569 775 0 0 25 0 4 0 501176127 3146248192 691435 33554432000 4194304 4623224 140733244288944 18446744073709551615 4510177 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/12647/statm: 768127 691435 342 105 0 763631 0
[pid=12647/tid=12649] ppid=12645 vsize=3072508 CPUtime=1002.19 cores=0,2,4,6
/proc/12647/task/12649/stat : 12649 (SArTagnan) R 12645 12647 12135 0 -1 4202560 289557 0 0 0 100127 92 0 0 25 0 4 0 501176137 3146248192 691435 33554432000 4194304 4623224 140733244288944 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=12647/tid=12650] ppid=12645 vsize=3072508 CPUtime=996.82 cores=0,2,4,6
/proc/12647/task/12650/stat : 12650 (SArTagnan) R 12645 12647 12135 0 -1 4202560 150108 0 0 0 99614 68 0 0 25 0 4 0 501176138 3146248192 691435 33554432000 4194304 4623224 140733244288944 18446744073709551615 4357901 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=12647/tid=12651] ppid=12645 vsize=3072508 CPUtime=1002.18 cores=0,2,4,6
/proc/12647/task/12651/stat : 12651 (SArTagnan) R 12645 12647 12135 0 -1 4202560 3467306 0 0 0 99639 579 0 0 25 0 4 0 501176138 3146248192 691436 33554432000 4194304 4623224 140733244288944 18446744073709551615 4366247 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4003.44
Current children cumulated vsize (KiB) 3072508

[startup+1062.3 s]
/proc/loadavg: 8.15 8.10 7.94 9/184 12679
/proc/meminfo: memFree=18440640/32951124 swapFree=67111524/67111528
[pid=12647] ppid=12645 vsize=3138044 CPUtime=4243.12 cores=0,2,4,6
/proc/12647/stat : 12647 (SArTagnan) R 12645 12647 12135 0 -1 4202496 4464135 0 0 0 423475 837 0 0 25 0 4 0 501176127 3213357056 710295 33554432000 4194304 4623224 140733244288944 18446744073709551615 4510169 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/12647/statm: 784511 710295 342 105 0 780015 0
[pid=12647/tid=12649] ppid=12645 vsize=3138044 CPUtime=1062.2 cores=0,2,4,6
/proc/12647/task/12649/stat : 12649 (SArTagnan) R 12645 12647 12135 0 -1 4202560 294988 0 0 0 106124 96 0 0 25 0 4 0 501176137 3213357056 710295 33554432000 4194304 4623224 140733244288944 18446744073709551615 4376711 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=12647/tid=12650] ppid=12645 vsize=3138044 CPUtime=1056.5 cores=0,2,4,6
/proc/12647/task/12650/stat : 12650 (SArTagnan) R 12645 12647 12135 0 -1 4202560 150201 0 0 0 105582 68 0 0 25 0 4 0 501176138 3213357056 710295 33554432000 4194304 4623224 140733244288944 18446744073709551615 4357901 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=12647/tid=12651] ppid=12645 vsize=3138044 CPUtime=1062.19 cores=0,2,4,6
/proc/12647/task/12651/stat : 12651 (SArTagnan) R 12645 12647 12135 0 -1 4202560 3764976 0 0 0 105590 629 0 0 25 0 4 0 501176138 3213357056 710295 33554432000 4194304 4623224 140733244288944 18446744073709551615 4546853 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4243.12
Current children cumulated vsize (KiB) 3138044

[startup+1122.3 s]
/proc/loadavg: 8.05 8.08 7.94 9/184 12681
/proc/meminfo: memFree=18276700/32951124 swapFree=67111524/67111528
[pid=12647] ppid=12645 vsize=3400636 CPUtime=4482.77 cores=0,2,4,6
/proc/12647/stat : 12647 (SArTagnan) R 12645 12647 12135 0 -1 4202496 4760405 0 0 0 447391 886 0 0 25 0 4 0 501176127 3482251264 732755 33554432000 4194304 4623224 140733244288944 18446744073709551615 4510226 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/12647/statm: 850159 732755 342 105 0 845663 0
[pid=12647/tid=12649] ppid=12645 vsize=3400636 CPUtime=1122.2 cores=0,2,4,6
/proc/12647/task/12649/stat : 12649 (SArTagnan) R 12645 12647 12135 0 -1 4202560 384281 0 0 0 112111 109 0 0 25 0 4 0 501176137 3482251264 732755 33554432000 4194304 4623224 140733244288944 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=12647/tid=12650] ppid=12645 vsize=3400636 CPUtime=1116.16 cores=0,2,4,6
/proc/12647/task/12650/stat : 12650 (SArTagnan) R 12645 12647 12135 0 -1 4202560 150305 0 0 0 111548 68 0 0 25 0 4 0 501176138 3482251264 732755 33554432000 4194304 4623224 140733244288944 18446744073709551615 4357901 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=12647/tid=12651] ppid=12645 vsize=3400636 CPUtime=1122.17 cores=0,2,4,6
/proc/12647/task/12651/stat : 12651 (SArTagnan) R 12645 12647 12135 0 -1 4202560 3929374 0 0 0 111559 658 0 0 25 0 4 0 501176138 3482251264 732755 33554432000 4194304 4623224 140733244288944 18446744073709551615 4376711 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4482.77
Current children cumulated vsize (KiB) 3400636

[startup+1182.3 s]
/proc/loadavg: 8.06 8.08 7.94 9/184 12682
/proc/meminfo: memFree=18140280/32951124 swapFree=67111524/67111528
[pid=12647] ppid=12645 vsize=3435852 CPUtime=4722.44 cores=0,2,4,6
/proc/12647/stat : 12647 (SArTagnan) R 12645 12647 12135 0 -1 4202496 4819220 0 0 0 471343 901 0 0 25 0 4 0 501176127 3518312448 746421 33554432000 4194304 4623224 140733244288944 18446744073709551615 4510169 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/12647/statm: 858963 746421 342 105 0 854467 0
[pid=12647/tid=12649] ppid=12645 vsize=3435852 CPUtime=1182.2 cores=0,2,4,6
/proc/12647/task/12649/stat : 12649 (SArTagnan) R 12645 12647 12135 0 -1 4202560 388098 0 0 0 118108 112 0 0 25 0 4 0 501176137 3518312448 746421 33554432000 4194304 4623224 140733244288944 18446744073709551615 4376646 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=12647/tid=12650] ppid=12645 vsize=3435852 CPUtime=1175.84 cores=0,2,4,6
/proc/12647/task/12650/stat : 12650 (SArTagnan) R 12645 12647 12135 0 -1 4202560 150376 0 0 0 117516 68 0 0 25 0 4 0 501176138 3518312448 746421 33554432000 4194304 4623224 140733244288944 18446744073709551615 4357901 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=12647/tid=12651] ppid=12645 vsize=3435852 CPUtime=1182.17 cores=0,2,4,6
/proc/12647/task/12651/stat : 12651 (SArTagnan) R 12645 12647 12135 0 -1 4202560 3938136 0 0 0 117557 660 0 0 25 0 4 0 501176138 3518312448 746421 33554432000 4194304 4623224 140733244288944 18446744073709551615 4550465 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4722.44
Current children cumulated vsize (KiB) 3435852



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.8 s]
/proc/loadavg: 8.11 8.09 7.95 5/179 12684
/proc/meminfo: memFree=21231764/32951124 swapFree=67111524/67111528
[pid=12647] ppid=12645 vsize=3450488 CPUtime=4800.34 cores=0,2,4,6
/proc/12647/stat : 12647 (SArTagnan) R 12645 12647 12135 0 -1 4202496 4838224 0 0 0 479128 906 0 0 25 0 4 0 501176127 3533299712 751612 33554432000 4194304 4623224 140733244288944 18446744073709551615 4510169 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/12647/statm: 862622 751612 342 105 0 858126 0
[pid=12647/tid=12649] ppid=12645 vsize=3450488 CPUtime=1201.71 cores=0,2,4,6
/proc/12647/task/12649/stat : 12649 (SArTagnan) R 12645 12647 12135 0 -1 4202560 389163 0 0 0 120057 114 0 0 25 0 4 0 501176137 3533299712 751612 33554432000 4194304 4623224 140733244288944 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=12647/tid=12650] ppid=12645 vsize=3450488 CPUtime=1195.23 cores=0,2,4,6
/proc/12647/task/12650/stat : 12650 (SArTagnan) R 12645 12647 12135 0 -1 4202560 150407 0 0 0 119455 68 0 0 25 0 4 0 501176138 3533299712 751612 33554432000 4194304 4623224 140733244288944 18446744073709551615 4357901 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=12647/tid=12651] ppid=12645 vsize=3450488 CPUtime=1201.68 cores=0,2,4,6
/proc/12647/task/12651/stat : 12651 (SArTagnan) R 12645 12647 12135 0 -1 4202560 3941741 0 0 0 119507 661 0 0 25 0 4 0 501176138 3533299712 751612 33554432000 4194304 4623224 140733244288944 18446744073709551615 4550465 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4800.34
Current children cumulated vsize (KiB) 3450488

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

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

[startup+1201.91 s]
/proc/loadavg: 8.11 8.09 7.95 5/179 12684
/proc/meminfo: memFree=21231764/32951124 swapFree=67111524/67111528
[pid=12647] ppid=12645 vsize=0 CPUtime=4800.46 cores=0,2,4,6
/proc/12647/stat : 12647 (SArTagnan) Z 12645 12647 12135 0 -1 4203548 4838224 0 0 0 479130 916 0 0 25 0 2 0 501176127 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/12647/statm: 0 0 0 0 0 0 0
[pid=12647/tid=12650] ppid=12645 vsize=0 CPUtime=1195.34 cores=0,2,4,6
/proc/12647/task/12650/stat : 12650 (SArTagnan) R 12645 12647 12135 0 -1 4203588 150407 0 0 0 119456 78 0 0 25 0 2 0 501176138 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4800.46
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1201.94
CPU time (s): 4800.51
CPU user time (s): 4791.31
CPU system time (s): 9.2016
CPU usage (%): 399.395
Max. virtual memory (cumulated for all children) (KiB): 3629304

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4791.31
system time used= 9.2016
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 4838224
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= 2241
involuntary context switches= 35099

runsolver used 1.9757 second user time and 4.47032 second system time

The end

Launcher Data 

Begin job on node144 at 2011-04-29 16:33:20
IDJOB=3249198
IDBENCH=83159
IDSOLVER=1656
FILE ID=node144/3249198-1304087600
RUNJOBID= node144-1304086395-12497
PBS_JOBID= 13170542
Free space on /tmp= 72404 MiB

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

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

MD5SUM BENCH= 73c8ae5bbdfe41463e8e40ea211c5e14
RANDOM SEED=944784215

node144.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      24218560 kB
Buffers:       2122180 kB
Cached:        5969368 kB
SwapCached:          4 kB
Active:         193120 kB
Inactive:      7990380 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      24218560 kB
SwapTotal:    67111528 kB
SwapFree:     67111524 kB
Dirty:            5112 kB
Writeback:          84 kB
AnonPages:       90608 kB
Mapped:          15600 kB
Slab:           486244 kB
PageTables:       5100 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   268652 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= 72400 MiB
End job on node144 at 2011-04-29 16:53:24