Trace number 3258308

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.31 1201.78

General information on the benchmark

NameCRAFTED/rbsat/random/unforced/
rbsat-v1150c84314g7.cnf
MD5SUMf39e50b5cd7b50d1971722973512a1b8
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark6.09707
Satisfiable
(Un)Satisfiability was proved
Number of variables1150
Number of clauses84314
Sum of the clauses size169678
Maximum clause length23
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 284264
Number of clauses of size 30
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 550

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-3258308-1304053906/watcher-3258308-1304053906 -o /tmp/evaluation-result-3258308-1304053906/solver-3258308-1304053906 -C 4800 -W 1300 -M 15500 SArTagnan HOME/instance-3258308-1304053906.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: 6.97 7.96 7.75 2/181 19079
/proc/meminfo: memFree=25410664/32951124 swapFree=67111524/67111528
[pid=19079] ppid=19077 vsize=20944 CPUtime=0 cores=1,3,5,7
/proc/19079/stat : 19079 (SArTagnan) R 19077 19079 19041 0 -1 4202496 579 0 0 0 0 0 0 0 24 0 1 0 516988789 21446656 485 33554432000 4194304 4623224 140734248236656 18446744073709551615 232335589584 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/19079/statm: 5197 453 297 105 0 701 0

[startup+0.14825 s]
/proc/loadavg: 6.97 7.96 7.75 2/181 19079
/proc/meminfo: memFree=25410664/32951124 swapFree=67111524/67111528
[pid=19079] ppid=19077 vsize=255544 CPUtime=0.5 cores=1,3,5,7
/proc/19079/stat : 19079 (SArTagnan) R 19077 19079 19041 0 -1 4202496 4075 0 0 0 50 0 0 0 25 0 4 0 516988789 261677056 3333 33554432000 4194304 4623224 140734248236656 18446744073709551615 4510169 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/19079/statm: 63886 3334 344 105 0 59390 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 255544

[startup+0.200243 s]
/proc/loadavg: 6.97 7.96 7.75 2/181 19079
/proc/meminfo: memFree=25410664/32951124 swapFree=67111524/67111528
[pid=19079] ppid=19077 vsize=256036 CPUtime=0.7 cores=1,3,5,7
/proc/19079/stat : 19079 (SArTagnan) R 19077 19079 19041 0 -1 4202496 4801 0 0 0 70 0 0 0 25 0 4 0 516988789 262180864 3813 33554432000 4194304 4623224 140734248236656 18446744073709551615 4415216 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/19079/statm: 64009 3814 344 105 0 59513 0
Current children cumulated CPU time (s) 0.7
Current children cumulated vsize (KiB) 256036

[startup+0.300226 s]
/proc/loadavg: 6.97 7.96 7.75 2/181 19079
/proc/meminfo: memFree=25410664/32951124 swapFree=67111524/67111528
[pid=19079] ppid=19077 vsize=258940 CPUtime=1.1 cores=1,3,5,7
/proc/19079/stat : 19079 (SArTagnan) R 19077 19079 19041 0 -1 4202496 5778 0 0 0 110 0 0 0 25 0 4 0 516988789 265154560 4790 33554432000 4194304 4623224 140734248236656 18446744073709551615 4366247 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/19079/statm: 64735 4790 344 105 0 60239 0
Current children cumulated CPU time (s) 1.1
Current children cumulated vsize (KiB) 258940

[startup+0.700155 s]
/proc/loadavg: 6.97 7.96 7.75 2/181 19079
/proc/meminfo: memFree=25410664/32951124 swapFree=67111524/67111528
[pid=19079] ppid=19077 vsize=261172 CPUtime=2.71 cores=1,3,5,7
/proc/19079/stat : 19079 (SArTagnan) R 19077 19079 19041 0 -1 4202496 8458 0 0 0 270 1 0 0 25 0 4 0 516988789 267440128 6011 33554432000 4194304 4623224 140734248236656 18446744073709551615 4510034 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/19079/statm: 65293 6011 344 105 0 60797 0
Current children cumulated CPU time (s) 2.71
Current children cumulated vsize (KiB) 261172

[startup+1.50101 s]
/proc/loadavg: 6.97 7.96 7.75 10/188 19086
/proc/meminfo: memFree=25349004/32951124 swapFree=67111524/67111528
[pid=19079] ppid=19077 vsize=268284 CPUtime=5.9 cores=1,3,5,7
/proc/19079/stat : 19079 (SArTagnan) R 19077 19079 19041 0 -1 4202496 13097 0 0 0 589 1 0 0 25 0 4 0 516988789 274722816 8632 33554432000 4194304 4623224 140734248236656 18446744073709551615 4510066 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/19079/statm: 67071 8632 344 105 0 62575 0
[pid=19079/tid=19084] ppid=19077 vsize=268284 CPUtime=1.46 cores=1,3,5,7
/proc/19079/task/19084/stat : 19084 (SArTagnan) R 19077 19079 19041 0 -1 4202560 2369 0 0 0 146 0 0 0 25 0 4 0 516988791 274722816 8632 33554432000 4194304 4623224 140734248236656 18446744073709551615 4376869 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=19079/tid=19085] ppid=19077 vsize=268284 CPUtime=1.45 cores=1,3,5,7
/proc/19079/task/19085/stat : 19085 (SArTagnan) R 19077 19079 19041 0 -1 4202560 3008 0 0 0 145 0 0 0 25 0 4 0 516988791 274722816 8632 33554432000 4194304 4623224 140734248236656 18446744073709551615 4376981 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=19079/tid=19086] ppid=19077 vsize=268284 CPUtime=1.47 cores=1,3,5,7
/proc/19079/task/19086/stat : 19086 (SArTagnan) R 19077 19079 19041 0 -1 4202560 2234 0 0 0 147 0 0 0 20 0 4 0 516988791 274722816 8632 33554432000 4194304 4623224 140734248236656 18446744073709551615 232351876123 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 5.9
Current children cumulated vsize (KiB) 268284

[startup+3.10073 s]
/proc/loadavg: 7.05 7.96 7.75 10/188 19086
/proc/meminfo: memFree=25326684/32951124 swapFree=67111524/67111528
[pid=19079] ppid=19077 vsize=275784 CPUtime=12.3 cores=1,3,5,7
/proc/19079/stat : 19079 (SArTagnan) R 19077 19079 19041 0 -1 4202496 19749 0 0 0 1227 3 0 0 25 0 4 0 516988789 282402816 12305 33554432000 4194304 4623224 140734248236656 18446744073709551615 4280377 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/19079/statm: 68946 12305 344 105 0 64450 0
[pid=19079/tid=19084] ppid=19077 vsize=275784 CPUtime=3.06 cores=1,3,5,7
/proc/19079/task/19084/stat : 19084 (SArTagnan) R 19077 19079 19041 0 -1 4202560 3858 0 0 0 306 0 0 0 25 0 4 0 516988791 282402816 12305 33554432000 4194304 4623224 140734248236656 18446744073709551615 4289735 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=19079/tid=19085] ppid=19077 vsize=275784 CPUtime=3.05 cores=1,3,5,7
/proc/19079/task/19085/stat : 19085 (SArTagnan) R 19077 19079 19041 0 -1 4202560 5892 0 0 0 304 1 0 0 25 0 4 0 516988791 282402816 12305 33554432000 4194304 4623224 140734248236656 18446744073709551615 4376869 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=19079/tid=19086] ppid=19077 vsize=275784 CPUtime=3.07 cores=1,3,5,7
/proc/19079/task/19086/stat : 19086 (SArTagnan) R 19077 19079 19041 0 -1 4202560 2825 0 0 0 307 0 0 0 25 0 4 0 516988791 282402816 12305 33554432000 4194304 4623224 140734248236656 18446744073709551615 4354590 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 12.3
Current children cumulated vsize (KiB) 275784

[startup+6.30116 s]
/proc/loadavg: 7.05 7.96 7.75 10/188 19086
/proc/meminfo: memFree=25276604/32951124 swapFree=67111524/67111528
[pid=19079] ppid=19077 vsize=283720 CPUtime=25.08 cores=1,3,5,7
/proc/19079/stat : 19079 (SArTagnan) R 19077 19079 19041 0 -1 4202496 46580 0 0 0 2501 7 0 0 25 0 4 0 516988789 290529280 16677 33554432000 4194304 4623224 140734248236656 18446744073709551615 4510101 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/19079/statm: 70930 16677 344 105 0 66434 0
[pid=19079/tid=19084] ppid=19077 vsize=283720 CPUtime=6.26 cores=1,3,5,7
/proc/19079/task/19084/stat : 19084 (SArTagnan) R 19077 19079 19041 0 -1 4202560 5951 0 0 0 625 1 0 0 25 0 4 0 516988791 290529280 16677 33554432000 4194304 4623224 140734248236656 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=19079/tid=19085] ppid=19077 vsize=283720 CPUtime=6.23 cores=1,3,5,7
/proc/19079/task/19085/stat : 19085 (SArTagnan) R 19077 19079 19041 0 -1 4202560 9097 0 0 0 622 1 0 0 25 0 4 0 516988791 290529280 16677 33554432000 4194304 4623224 140734248236656 18446744073709551615 4376844 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=19079/tid=19086] ppid=19077 vsize=283720 CPUtime=6.27 cores=1,3,5,7
/proc/19079/task/19086/stat : 19086 (SArTagnan) R 19077 19079 19041 0 -1 4202560 24262 0 0 0 624 3 0 0 25 0 4 0 516988791 290529280 16677 33554432000 4194304 4623224 140734248236656 18446744073709551615 4363970 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 25.08
Current children cumulated vsize (KiB) 283720

[startup+12.701 s]
/proc/loadavg: 7.20 7.96 7.76 10/188 19086
/proc/meminfo: memFree=25203592/32951124 swapFree=67111524/67111528
[pid=19079] ppid=19077 vsize=299452 CPUtime=50.64 cores=1,3,5,7
/proc/19079/stat : 19079 (SArTagnan) R 19077 19079 19041 0 -1 4202496 82836 0 0 0 5049 15 0 0 25 0 4 0 516988789 306638848 25486 33554432000 4194304 4623224 140734248236656 18446744073709551615 4510604 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/19079/statm: 74863 25486 345 105 0 70367 0
[pid=19079/tid=19084] ppid=19077 vsize=299452 CPUtime=12.66 cores=1,3,5,7
/proc/19079/task/19084/stat : 19084 (SArTagnan) R 19077 19079 19041 0 -1 4202560 9552 0 0 0 1263 3 0 0 25 0 4 0 516988791 306638848 25486 33554432000 4194304 4623224 140734248236656 18446744073709551615 4376678 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=19079/tid=19085] ppid=19077 vsize=299452 CPUtime=12.6 cores=1,3,5,7
/proc/19079/task/19085/stat : 19085 (SArTagnan) R 19077 19079 19041 0 -1 4202560 14116 0 0 0 1258 2 0 0 25 0 4 0 516988791 306638848 25486 33554432000 4194304 4623224 140734248236656 18446744073709551615 4376757 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=19079/tid=19086] ppid=19077 vsize=299452 CPUtime=12.67 cores=1,3,5,7
/proc/19079/task/19086/stat : 19086 (SArTagnan) R 19077 19079 19041 0 -1 4202560 50717 0 0 0 1259 8 0 0 25 0 4 0 516988791 306638848 25486 33554432000 4194304 4623224 140734248236656 18446744073709551615 4376892 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 50.64
Current children cumulated vsize (KiB) 299452

[startup+25.5008 s]
/proc/loadavg: 7.40 7.98 7.76 9/188 19087
/proc/meminfo: memFree=25096168/32951124 swapFree=67111524/67111528
[pid=19079] ppid=19077 vsize=310644 CPUtime=101.78 cores=1,3,5,7
/proc/19079/stat : 19079 (SArTagnan) R 19077 19079 19041 0 -1 4202496 139330 0 0 0 10148 30 0 0 25 0 4 0 516988789 318099456 35686 33554432000 4194304 4623224 140734248236656 18446744073709551615 4510169 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/19079/statm: 77661 35686 344 105 0 73165 0
[pid=19079/tid=19084] ppid=19077 vsize=310644 CPUtime=25.47 cores=1,3,5,7
/proc/19079/task/19084/stat : 19084 (SArTagnan) R 19077 19079 19041 0 -1 4202560 13400 0 0 0 2542 5 0 0 25 0 4 0 516988791 318099456 35686 33554432000 4194304 4623224 140734248236656 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=19079/tid=19085] ppid=19077 vsize=310644 CPUtime=25.33 cores=1,3,5,7
/proc/19079/task/19085/stat : 19085 (SArTagnan) R 19077 19079 19041 0 -1 4202560 21715 0 0 0 2526 7 0 0 25 0 4 0 516988791 318099456 35686 33554432000 4194304 4623224 140734248236656 18446744073709551615 4376711 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=19079/tid=19086] ppid=19077 vsize=310644 CPUtime=25.46 cores=1,3,5,7
/proc/19079/task/19086/stat : 19086 (SArTagnan) R 19077 19079 19041 0 -1 4202560 94336 0 0 0 2531 15 0 0 25 0 4 0 516988791 318099456 35686 33554432000 4194304 4623224 140734248236656 18446744073709551615 4364232 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 101.78
Current children cumulated vsize (KiB) 310644

[startup+51.1012 s]
/proc/loadavg: 7.67 8.00 7.77 10/188 19087
/proc/meminfo: memFree=24944208/32951124 swapFree=67111524/67111528
[pid=19079] ppid=19077 vsize=339700 CPUtime=204.04 cores=1,3,5,7
/proc/19079/stat : 19079 (SArTagnan) R 19077 19079 19041 0 -1 4202496 255444 0 0 0 20348 56 0 0 25 0 4 0 516988789 347852800 50601 33554432000 4194304 4623224 140734248236656 18446744073709551615 4510127 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/19079/statm: 84925 50602 344 105 0 80429 0
[pid=19079/tid=19084] ppid=19077 vsize=339700 CPUtime=51.06 cores=1,3,5,7
/proc/19079/task/19084/stat : 19084 (SArTagnan) R 19077 19079 19041 0 -1 4202560 20995 0 0 0 5099 7 0 0 25 0 4 0 516988791 347852800 50602 33554432000 4194304 4623224 140734248236656 18446744073709551615 4377147 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=19079/tid=19085] ppid=19077 vsize=339700 CPUtime=50.79 cores=1,3,5,7
/proc/19079/task/19085/stat : 19085 (SArTagnan) R 19077 19079 19041 0 -1 4202560 32328 0 0 0 5065 14 0 0 25 0 4 0 516988791 347852800 50603 33554432000 4194304 4623224 140734248236656 18446744073709551615 4376711 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=19079/tid=19086] ppid=19077 vsize=339700 CPUtime=51.07 cores=1,3,5,7
/proc/19079/task/19086/stat : 19086 (SArTagnan) R 19077 19079 19041 0 -1 4202560 191715 0 0 0 5076 31 0 0 25 0 4 0 516988791 347852800 50603 33554432000 4194304 4623224 140734248236656 18446744073709551615 4366247 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 204.04
Current children cumulated vsize (KiB) 339700

[startup+102.301 s]
/proc/loadavg: 8.15 8.06 7.81 10/188 19089
/proc/meminfo: memFree=24700152/32951124 swapFree=67111524/67111528
[pid=19079] ppid=19077 vsize=489000 CPUtime=408.59 cores=1,3,5,7
/proc/19079/stat : 19079 (SArTagnan) R 19077 19079 19041 0 -1 4202496 511678 0 0 0 40758 101 0 0 25 0 4 0 516988789 500736000 82799 33554432000 4194304 4623224 140734248236656 18446744073709551615 4510169 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/19079/statm: 122250 82799 346 105 0 117754 0
[pid=19079/tid=19084] ppid=19077 vsize=489000 CPUtime=102.27 cores=1,3,5,7
/proc/19079/task/19084/stat : 19084 (SArTagnan) R 19077 19079 19041 0 -1 4202560 31393 0 0 0 10217 10 0 0 25 0 4 0 516988791 500736000 82799 33554432000 4194304 4623224 140734248236656 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=19079/tid=19085] ppid=19077 vsize=489000 CPUtime=101.71 cores=1,3,5,7
/proc/19079/task/19085/stat : 19085 (SArTagnan) R 19077 19079 19041 0 -1 4202560 46168 0 0 0 10151 20 0 0 25 0 4 0 516988791 500736000 82799 33554432000 4194304 4623224 140734248236656 18446744073709551615 4376711 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=19079/tid=19086] ppid=19077 vsize=489000 CPUtime=102.28 cores=1,3,5,7
/proc/19079/task/19086/stat : 19086 (SArTagnan) R 19077 19079 19041 0 -1 4202560 399192 0 0 0 10165 63 0 0 25 0 4 0 516988791 500736000 82799 33554432000 4194304 4623224 140734248236656 18446744073709551615 4376883 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 408.59
Current children cumulated vsize (KiB) 489000

[startup+162.3 s]
/proc/loadavg: 8.12 8.06 7.82 9/188 19090
/proc/meminfo: memFree=24448156/32951124 swapFree=67111524/67111528
[pid=19079] ppid=19077 vsize=618596 CPUtime=648.24 cores=1,3,5,7
/proc/19079/stat : 19079 (SArTagnan) R 19077 19079 19041 0 -1 4202496 1068061 0 0 0 64636 188 0 0 25 0 4 0 516988789 633442304 111601 33554432000 4194304 4623224 140734248236656 18446744073709551615 4510127 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/19079/statm: 154649 111602 344 105 0 150153 0
[pid=19079/tid=19084] ppid=19077 vsize=618596 CPUtime=162.26 cores=1,3,5,7
/proc/19079/task/19084/stat : 19084 (SArTagnan) R 19077 19079 19041 0 -1 4202560 42442 0 0 0 16214 12 0 0 25 0 4 0 516988791 633442304 111602 33554432000 4194304 4623224 140734248236656 18446744073709551615 4376672 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=19079/tid=19085] ppid=19077 vsize=618596 CPUtime=161.38 cores=1,3,5,7
/proc/19079/task/19085/stat : 19085 (SArTagnan) R 19077 19079 19041 0 -1 4202560 51854 0 0 0 16116 22 0 0 25 0 4 0 516988791 633442304 111602 33554432000 4194304 4623224 140734248236656 18446744073709551615 4376711 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=19079/tid=19086] ppid=19077 vsize=618596 CPUtime=162.26 cores=1,3,5,7
/proc/19079/task/19086/stat : 19086 (SArTagnan) R 19077 19079 19041 0 -1 4202560 918743 0 0 0 16084 142 0 0 25 0 4 0 516988791 633442304 111603 33554432000 4194304 4623224 140734248236656 18446744073709551615 4366247 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 648.24
Current children cumulated vsize (KiB) 618596

[startup+222.307 s]
/proc/loadavg: 8.39 8.13 7.85 10/188 19092
/proc/meminfo: memFree=24143224/32951124 swapFree=67111524/67111528
[pid=19079] ppid=19077 vsize=846692 CPUtime=887.93 cores=1,3,5,7
/proc/19079/stat : 19079 (SArTagnan) R 19077 19079 19041 0 -1 4202496 1377646 0 0 0 88551 242 0 0 25 0 4 0 516988789 867012608 140053 33554432000 4194304 4623224 140734248236656 18446744073709551615 4510316 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/19079/statm: 211673 140053 352 105 0 207177 0
[pid=19079/tid=19084] ppid=19077 vsize=846692 CPUtime=222.26 cores=1,3,5,7
/proc/19079/task/19084/stat : 19084 (SArTagnan) R 19077 19079 19041 0 -1 4202560 56980 0 0 0 22210 16 0 0 25 0 4 0 516988791 867012608 140053 33554432000 4194304 4623224 140734248236656 18446744073709551615 4377576 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=19079/tid=19085] ppid=19077 vsize=846692 CPUtime=221.06 cores=1,3,5,7
/proc/19079/task/19085/stat : 19085 (SArTagnan) R 19077 19079 19041 0 -1 4202560 70776 0 0 0 22079 27 0 0 25 0 4 0 516988791 867012608 140053 33554432000 4194304 4623224 140734248236656 18446744073709551615 4377133 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=19079/tid=19086] ppid=19077 vsize=846692 CPUtime=222.27 cores=1,3,5,7
/proc/19079/task/19086/stat : 19086 (SArTagnan) R 19077 19079 19041 0 -1 4202560 1170130 0 0 0 22045 182 0 0 25 0 4 0 516988791 867012608 140053 33554432000 4194304 4623224 140734248236656 18446744073709551615 4364232 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 887.93
Current children cumulated vsize (KiB) 846692

[startup+282.301 s]

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

[pid=19079] ppid=19077 vsize=1369568 CPUtime=2565.63 cores=1,3,5,7
/proc/19079/stat : 19079 (SArTagnan) R 19077 19079 19041 0 -1 4202496 3799502 0 0 0 255894 669 0 0 25 0 4 0 516988789 1402437632 269052 33554432000 4194304 4623224 140734248236656 18446744073709551615 4510316 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/19079/statm: 342392 269052 396 105 0 337896 0
[pid=19079/tid=19084] ppid=19077 vsize=1369568 CPUtime=642.25 cores=1,3,5,7
/proc/19079/task/19084/stat : 19084 (SArTagnan) R 19077 19079 19041 0 -1 4202560 104664 0 0 0 64173 52 0 0 25 0 4 0 516988791 1402437632 269052 33554432000 4194304 4623224 140734248236656 18446744073709551615 4376950 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=19079/tid=19085] ppid=19077 vsize=1369568 CPUtime=638.78 cores=1,3,5,7
/proc/19079/task/19085/stat : 19085 (SArTagnan) R 19077 19079 19041 0 -1 4202560 139489 0 0 0 63820 58 0 0 25 0 4 0 516988791 1402437632 269052 33554432000 4194304 4623224 140734248236656 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=19079/tid=19086] ppid=19077 vsize=1369568 CPUtime=642.26 cores=1,3,5,7
/proc/19079/task/19086/stat : 19086 (SArTagnan) R 19077 19079 19041 0 -1 4202560 3374200 0 0 0 63700 526 0 0 25 0 4 0 516988791 1402437632 269052 33554432000 4194304 4623224 140734248236656 18446744073709551615 4376711 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2565.63
Current children cumulated vsize (KiB) 1369568

[startup+702.301 s]
/proc/loadavg: 8.12 8.17 7.98 10/188 19105
/proc/meminfo: memFree=22843792/32951124 swapFree=67111524/67111528
[pid=19079] ppid=19077 vsize=1466904 CPUtime=2805.31 cores=1,3,5,7
/proc/19079/stat : 19079 (SArTagnan) R 19077 19079 19041 0 -1 4202496 4349287 0 0 0 279771 760 0 0 25 0 4 0 516988789 1502109696 285935 33554432000 4194304 4623224 140734248236656 18446744073709551615 4510169 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/19079/statm: 366726 285935 396 105 0 362230 0
[pid=19079/tid=19084] ppid=19077 vsize=1466904 CPUtime=702.25 cores=1,3,5,7
/proc/19079/task/19084/stat : 19084 (SArTagnan) R 19077 19079 19041 0 -1 4202560 108098 0 0 0 70170 55 0 0 25 0 4 0 516988791 1502109696 285935 33554432000 4194304 4623224 140734248236656 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=19079/tid=19085] ppid=19077 vsize=1466904 CPUtime=698.44 cores=1,3,5,7
/proc/19079/task/19085/stat : 19085 (SArTagnan) R 19077 19079 19041 0 -1 4202560 140736 0 0 0 69786 58 0 0 25 0 4 0 516988791 1502109696 285935 33554432000 4194304 4623224 140734248236656 18446744073709551615 4376711 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=19079/tid=19086] ppid=19077 vsize=1466904 CPUtime=702.27 cores=1,3,5,7
/proc/19079/task/19086/stat : 19086 (SArTagnan) R 19077 19079 19041 0 -1 4202560 3861344 0 0 0 69622 605 0 0 25 0 4 0 516988791 1502109696 285935 33554432000 4194304 4623224 140734248236656 18446744073709551615 4376711 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2805.31
Current children cumulated vsize (KiB) 1466904

[startup+762.301 s]
/proc/loadavg: 8.23 8.21 8.00 9/188 19106
/proc/meminfo: memFree=22746928/32951124 swapFree=67111524/67111528
[pid=19079] ppid=19077 vsize=1466904 CPUtime=3045 cores=1,3,5,7
/proc/19079/stat : 19079 (SArTagnan) R 19077 19079 19041 0 -1 4202496 4845361 0 0 0 303658 842 0 0 25 0 4 0 516988789 1502109696 295616 33554432000 4194304 4623224 140734248236656 18446744073709551615 4510169 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/19079/statm: 366726 295616 396 105 0 362230 0
[pid=19079/tid=19084] ppid=19077 vsize=1466904 CPUtime=762.25 cores=1,3,5,7
/proc/19079/task/19084/stat : 19084 (SArTagnan) R 19077 19079 19041 0 -1 4202560 111039 0 0 0 76164 61 0 0 25 0 4 0 516988791 1502109696 295616 33554432000 4194304 4623224 140734248236656 18446744073709551615 4376629 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=19079/tid=19085] ppid=19077 vsize=1466904 CPUtime=758.13 cores=1,3,5,7
/proc/19079/task/19085/stat : 19085 (SArTagnan) R 19077 19079 19041 0 -1 4202560 141199 0 0 0 75754 59 0 0 25 0 4 0 516988791 1502109696 295616 33554432000 4194304 4623224 140734248236656 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=19079/tid=19086] ppid=19077 vsize=1466904 CPUtime=762.28 cores=1,3,5,7
/proc/19079/task/19086/stat : 19086 (SArTagnan) R 19077 19079 19041 0 -1 4202560 4351177 0 0 0 75547 681 0 0 25 0 4 0 516988791 1502109696 295616 33554432000 4194304 4623224 140734248236656 18446744073709551615 4376711 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3045
Current children cumulated vsize (KiB) 1466904

[startup+822.3 s]
/proc/loadavg: 8.16 8.19 8.00 10/188 19108
/proc/meminfo: memFree=22638028/32951124 swapFree=67111524/67111528
[pid=19079] ppid=19077 vsize=1554184 CPUtime=3284.65 cores=1,3,5,7
/proc/19079/stat : 19079 (SArTagnan) R 19077 19079 19041 0 -1 4202496 5410033 0 0 0 327540 925 0 0 25 0 4 0 516988789 1591484416 308358 33554432000 4194304 4623224 140734248236656 18446744073709551615 4510090 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/19079/statm: 388546 308358 344 105 0 384050 0
[pid=19079/tid=19084] ppid=19077 vsize=1554184 CPUtime=822.25 cores=1,3,5,7
/proc/19079/task/19084/stat : 19084 (SArTagnan) R 19077 19079 19041 0 -1 4202560 113617 0 0 0 82162 63 0 0 25 0 4 0 516988791 1591484416 308358 33554432000 4194304 4623224 140734248236656 18446744073709551615 4461031 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=19079/tid=19085] ppid=19077 vsize=1554184 CPUtime=817.8 cores=1,3,5,7
/proc/19079/task/19085/stat : 19085 (SArTagnan) R 19077 19079 19041 0 -1 4202560 144644 0 0 0 81721 59 0 0 25 0 4 0 516988791 1591484416 308358 33554432000 4194304 4623224 140734248236656 18446744073709551615 4376823 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=19079/tid=19086] ppid=19077 vsize=1554184 CPUtime=822.27 cores=1,3,5,7
/proc/19079/task/19086/stat : 19086 (SArTagnan) R 19077 19079 19041 0 -1 4202560 4894639 0 0 0 81468 759 0 0 25 0 4 0 516988791 1591484416 308358 33554432000 4194304 4623224 140734248236656 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3284.65
Current children cumulated vsize (KiB) 1554184

[startup+882.307 s]
/proc/loadavg: 8.20 8.20 8.02 10/188 19110
/proc/meminfo: memFree=22545132/32951124 swapFree=67111524/67111528
[pid=19079] ppid=19077 vsize=1569296 CPUtime=3524.36 cores=1,3,5,7
/proc/19079/stat : 19079 (SArTagnan) R 19077 19079 19041 0 -1 4202496 5740204 0 0 0 351458 978 0 0 25 0 4 0 516988789 1606959104 318488 33554432000 4194304 4623224 140734248236656 18446744073709551615 4510090 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/19079/statm: 392324 318488 345 105 0 387828 0
[pid=19079/tid=19084] ppid=19077 vsize=1569296 CPUtime=882.25 cores=1,3,5,7
/proc/19079/task/19084/stat : 19084 (SArTagnan) R 19077 19079 19041 0 -1 4202560 115292 0 0 0 88162 63 0 0 25 0 4 0 516988791 1606959104 318488 33554432000 4194304 4623224 140734248236656 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=19079/tid=19085] ppid=19077 vsize=1569296 CPUtime=877.48 cores=1,3,5,7
/proc/19079/task/19085/stat : 19085 (SArTagnan) R 19077 19079 19041 0 -1 4202560 146643 0 0 0 87688 60 0 0 25 0 4 0 516988791 1606959104 318488 33554432000 4194304 4623224 140734248236656 18446744073709551615 4376835 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=19079/tid=19086] ppid=19077 vsize=1569296 CPUtime=882.27 cores=1,3,5,7
/proc/19079/task/19086/stat : 19086 (SArTagnan) R 19077 19079 19041 0 -1 4202560 5190967 0 0 0 87424 803 0 0 25 0 4 0 516988791 1606959104 318488 33554432000 4194304 4623224 140734248236656 18446744073709551615 4545376 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3524.36
Current children cumulated vsize (KiB) 1569296

[startup+942.301 s]
/proc/loadavg: 8.14 8.18 8.02 10/188 19111
/proc/meminfo: memFree=22328980/32951124 swapFree=67111524/67111528
[pid=19079] ppid=19077 vsize=1618212 CPUtime=3764.01 cores=1,3,5,7
/proc/19079/stat : 19079 (SArTagnan) R 19077 19079 19041 0 -1 4202496 6306451 0 0 0 375335 1066 0 0 25 0 4 0 516988789 1657049088 332705 33554432000 4194304 4623224 140734248236656 18446744073709551615 4415014 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/19079/statm: 404553 332705 344 105 0 400057 0
[pid=19079/tid=19084] ppid=19077 vsize=1618212 CPUtime=942.25 cores=1,3,5,7
/proc/19079/task/19084/stat : 19084 (SArTagnan) R 19077 19079 19041 0 -1 4202560 142146 0 0 0 94157 68 0 0 25 0 4 0 516988791 1657049088 332706 33554432000 4194304 4623224 140734248236656 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=19079/tid=19085] ppid=19077 vsize=1618212 CPUtime=937.15 cores=1,3,5,7
/proc/19079/task/19085/stat : 19085 (SArTagnan) R 19077 19079 19041 0 -1 4202560 149885 0 0 0 93652 63 0 0 25 0 4 0 516988791 1657049088 332706 33554432000 4194304 4623224 140734248236656 18446744073709551615 4376711 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=19079/tid=19086] ppid=19077 vsize=1618212 CPUtime=942.27 cores=1,3,5,7
/proc/19079/task/19086/stat : 19086 (SArTagnan) R 19077 19079 19041 0 -1 4202560 5724188 0 0 0 93345 882 0 0 25 0 4 0 516988791 1657049088 332706 33554432000 4194304 4623224 140734248236656 18446744073709551615 4366247 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3764.01
Current children cumulated vsize (KiB) 1618212

[startup+1002.3 s]
/proc/loadavg: 8.23 8.20 8.04 10/188 19113
/proc/meminfo: memFree=22167132/32951124 swapFree=67111524/67111528
[pid=19079] ppid=19077 vsize=1707476 CPUtime=4003.68 cores=1,3,5,7
/proc/19079/stat : 19079 (SArTagnan) R 19077 19079 19041 0 -1 4202496 6855613 0 0 0 399218 1150 0 0 25 0 4 0 516988789 1748455424 346065 33554432000 4194304 4623224 140734248236656 18446744073709551615 4414885 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/19079/statm: 426869 346065 344 105 0 422373 0
[pid=19079/tid=19084] ppid=19077 vsize=1707476 CPUtime=1002.24 cores=1,3,5,7
/proc/19079/task/19084/stat : 19084 (SArTagnan) R 19077 19079 19041 0 -1 4202560 143507 0 0 0 100156 68 0 0 25 0 4 0 516988791 1748455424 346065 33554432000 4194304 4623224 140734248236656 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=19079/tid=19085] ppid=19077 vsize=1707476 CPUtime=996.82 cores=1,3,5,7
/proc/19079/task/19085/stat : 19085 (SArTagnan) R 19077 19079 19041 0 -1 4202560 152167 0 0 0 99615 67 0 0 25 0 4 0 516988791 1748455424 346065 33554432000 4194304 4623224 140734248236656 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=19079/tid=19086] ppid=19077 vsize=1707476 CPUtime=1002.28 cores=1,3,5,7
/proc/19079/task/19086/stat : 19086 (SArTagnan) R 19077 19079 19041 0 -1 4202560 6250931 0 0 0 99268 960 0 0 25 0 4 0 516988791 1748455424 346065 33554432000 4194304 4623224 140734248236656 18446744073709551615 4364911 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4003.68
Current children cumulated vsize (KiB) 1707476

[startup+1062.3 s]
/proc/loadavg: 8.19 8.20 8.04 9/188 19114
/proc/meminfo: memFree=22013356/32951124 swapFree=67111524/67111528
[pid=19079] ppid=19077 vsize=1707476 CPUtime=4243.36 cores=1,3,5,7
/proc/19079/stat : 19079 (SArTagnan) R 19077 19079 19041 0 -1 4202496 7398512 0 0 0 423098 1238 0 0 25 0 4 0 516988789 1748455424 354996 33554432000 4194304 4623224 140734248236656 18446744073709551615 4510090 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/19079/statm: 426869 354996 344 105 0 422373 0
[pid=19079/tid=19084] ppid=19077 vsize=1707476 CPUtime=1062.24 cores=1,3,5,7
/proc/19079/task/19084/stat : 19084 (SArTagnan) R 19077 19079 19041 0 -1 4202560 144638 0 0 0 106156 68 0 0 25 0 4 0 516988791 1748455424 354996 33554432000 4194304 4623224 140734248236656 18446744073709551615 4486238 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=19079/tid=19085] ppid=19077 vsize=1707476 CPUtime=1056.49 cores=1,3,5,7
/proc/19079/task/19085/stat : 19085 (SArTagnan) R 19077 19079 19041 0 -1 4202560 154884 0 0 0 105579 70 0 0 25 0 4 0 516988791 1748455424 354996 33554432000 4194304 4623224 140734248236656 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=19079/tid=19086] ppid=19077 vsize=1707476 CPUtime=1062.28 cores=1,3,5,7
/proc/19079/task/19086/stat : 19086 (SArTagnan) R 19077 19079 19041 0 -1 4202560 6786992 0 0 0 105185 1043 0 0 25 0 4 0 516988791 1748455424 354996 33554432000 4194304 4623224 140734248236656 18446744073709551615 4376711 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4243.36
Current children cumulated vsize (KiB) 1707476

[startup+1122.3 s]
/proc/loadavg: 8.35 8.24 8.07 10/188 19116
/proc/meminfo: memFree=21943896/32951124 swapFree=67111524/67111528
[pid=19079] ppid=19077 vsize=1776612 CPUtime=4483.03 cores=1,3,5,7
/proc/19079/stat : 19079 (SArTagnan) R 19077 19079 19041 0 -1 4202496 7881773 0 0 0 446982 1321 0 0 25 0 4 0 516988789 1819250688 362863 33554432000 4194304 4623224 140734248236656 18446744073709551615 4415014 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/19079/statm: 444153 362863 344 105 0 439657 0
[pid=19079/tid=19084] ppid=19077 vsize=1776612 CPUtime=1122.24 cores=1,3,5,7
/proc/19079/task/19084/stat : 19084 (SArTagnan) R 19077 19079 19041 0 -1 4202560 144710 0 0 0 112156 68 0 0 25 0 4 0 516988791 1819250688 362863 33554432000 4194304 4623224 140734248236656 18446744073709551615 4357641 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=19079/tid=19085] ppid=19077 vsize=1776612 CPUtime=1116.16 cores=1,3,5,7
/proc/19079/task/19085/stat : 19085 (SArTagnan) R 19077 19079 19041 0 -1 4202560 157498 0 0 0 111543 73 0 0 25 0 4 0 516988791 1819250688 362863 33554432000 4194304 4623224 140734248236656 18446744073709551615 4376711 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=19079/tid=19086] ppid=19077 vsize=1776612 CPUtime=1122.27 cores=1,3,5,7
/proc/19079/task/19086/stat : 19086 (SArTagnan) R 19077 19079 19041 0 -1 4202560 7265389 0 0 0 111105 1122 0 0 25 0 4 0 516988791 1819250688 362863 33554432000 4194304 4623224 140734248236656 18446744073709551615 4376711 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4483.03
Current children cumulated vsize (KiB) 1776612

[startup+1182.3 s]
/proc/loadavg: 8.14 8.20 8.06 9/188 19118
/proc/meminfo: memFree=21838600/32951124 swapFree=67111524/67111528
[pid=19079] ppid=19077 vsize=1776612 CPUtime=4722.71 cores=1,3,5,7
/proc/19079/stat : 19079 (SArTagnan) R 19077 19079 19041 0 -1 4202496 8365343 0 0 0 470871 1400 0 0 25 0 4 0 516988789 1819250688 370790 33554432000 4194304 4623224 140734248236656 18446744073709551615 4510034 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/19079/statm: 444153 370790 344 105 0 439657 0
[pid=19079/tid=19084] ppid=19077 vsize=1776612 CPUtime=1182.24 cores=1,3,5,7
/proc/19079/task/19084/stat : 19084 (SArTagnan) R 19077 19079 19041 0 -1 4202560 144782 0 0 0 118156 68 0 0 25 0 4 0 516988791 1819250688 370790 33554432000 4194304 4623224 140734248236656 18446744073709551615 4357641 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=19079/tid=19085] ppid=19077 vsize=1776612 CPUtime=1175.84 cores=1,3,5,7
/proc/19079/task/19085/stat : 19085 (SArTagnan) R 19077 19079 19041 0 -1 4202560 159916 0 0 0 117507 77 0 0 25 0 4 0 516988791 1819250688 370790 33554432000 4194304 4623224 140734248236656 18446744073709551615 4376629 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=19079/tid=19086] ppid=19077 vsize=1776612 CPUtime=1182.27 cores=1,3,5,7
/proc/19079/task/19086/stat : 19086 (SArTagnan) R 19077 19079 19041 0 -1 4202560 7743412 0 0 0 117031 1196 0 0 25 0 4 0 516988791 1819250688 370790 33554432000 4194304 4623224 140734248236656 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4722.71
Current children cumulated vsize (KiB) 1776612



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.7 s]
/proc/loadavg: 8.10 8.19 8.06 10/188 19118
/proc/meminfo: memFree=21742372/32951124 swapFree=67111524/67111528
[pid=19079] ppid=19077 vsize=1922148 CPUtime=4800.21 cores=1,3,5,7
/proc/19079/stat : 19079 (SArTagnan) R 19077 19079 19041 0 -1 4202496 8608015 0 0 0 478583 1438 0 0 25 0 4 0 516988789 1968279552 381003 33554432000 4194304 4623224 140734248236656 18446744073709551615 4414984 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/19079/statm: 480537 381003 344 105 0 476041 0
[pid=19079/tid=19084] ppid=19077 vsize=1922148 CPUtime=1201.66 cores=1,3,5,7
/proc/19079/task/19084/stat : 19084 (SArTagnan) R 19077 19079 19041 0 -1 4202560 144804 0 0 0 120097 69 0 0 25 0 4 0 516988791 1968279552 381003 33554432000 4194304 4623224 140734248236656 18446744073709551615 4357641 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=19079/tid=19085] ppid=19077 vsize=1922148 CPUtime=1195.14 cores=1,3,5,7
/proc/19079/task/19085/stat : 19085 (SArTagnan) R 19077 19079 19041 0 -1 4202560 160476 0 0 0 119436 78 0 0 25 0 4 0 516988791 1968279552 381003 33554432000 4194304 4623224 140734248236656 18446744073709551615 4376711 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=19079/tid=19086] ppid=19077 vsize=1922148 CPUtime=1201.68 cores=1,3,5,7
/proc/19079/task/19086/stat : 19086 (SArTagnan) R 19077 19079 19041 0 -1 4202560 7903062 0 0 0 118945 1223 0 0 25 0 4 0 516988791 1968279552 381003 33554432000 4194304 4623224 140734248236656 18446744073709551615 4545376 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4800.21
Current children cumulated vsize (KiB) 1922148

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.78
CPU time (s): 4800.31
CPU user time (s): 4785.86
CPU system time (s): 14.4518
CPU usage (%): 399.434
Max. virtual memory (cumulated for all children) (KiB): 2212980

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4785.86
system time used= 14.4518
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8608015
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= 1692
involuntary context switches= 21291

runsolver used 1.86472 second user time and 4.69829 second system time

The end

Launcher Data 

Begin job on node132 at 2011-04-29 07:11:46
IDJOB=3258308
IDBENCH=71337
IDSOLVER=1656
FILE ID=node132/3258308-1304053906
RUNJOBID= node132-1304053906-19060
PBS_JOBID= 13170426
Free space on /tmp= 71872 MiB

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

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

MD5SUM BENCH= f39e50b5cd7b50d1971722973512a1b8
RANDOM SEED=1447903599

node132.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	: 5332.74
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.76
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.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.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.77
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.67
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.82
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:      25411192 kB
Buffers:        761572 kB
Cached:        6212992 kB
SwapCached:          4 kB
Active:        1866052 kB
Inactive:      5174476 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      25411192 kB
SwapTotal:    67111528 kB
SwapFree:     67111524 kB
Dirty:            3272 kB
Writeback:          20 kB
AnonPages:       65740 kB
Mapped:          15284 kB
Slab:           435064 kB
PageTables:       5272 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   209236 kB
VmallocTotal: 34359738367 kB
VmallocUsed:     33868 kB
VmallocChunk: 34359703231 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 71872 MiB
End job on node132 at 2011-04-29 07:31:50