Trace number 3251134

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.93

General information on the benchmark

Namecrafted/anton/SRHD-SGI/
srhd-sgi-m47-q742.5-n45-p30-s17570390.cnf
MD5SUMba3b1702a651cd8da3e6cada8f2e97bc
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark2.28965
Satisfiable
(Un)Satisfiability was proved
Number of variables2088
Number of clauses405748
Sum of the clauses size813494
Maximum clause length47
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 2405703
Number of clauses of size 30
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 545

Solver Data


Verifier Data 

ERROR: Unexpected answer ! (SATISFIABLE/UNSATISFIABLE expected)
Got answer: <no 's ' line found>

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 935)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3251134-1304121490/watcher-3251134-1304121490 -o /tmp/evaluation-result-3251134-1304121490/solver-3251134-1304121490 -C 4800 -W 1300 -M 15500 SArTagnan HOME/instance-3251134-1304121490.cnf -threads=4 

running on 4 cores: 1,3,5,7

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


[startup+0 s]
/proc/loadavg: 7.78 8.02 7.91 6/180 4979
/proc/meminfo: memFree=27586816/32950928 swapFree=67111352/67111528
[pid=4979] ppid=4977 vsize=28408 CPUtime=0 cores=1,3,5,7
/proc/4979/stat : 4979 (SArTagnan) R 4977 4979 4254 0 -1 4202496 568 0 0 0 0 0 0 0 25 0 1 0 602379722 29089792 481 33554432000 4194304 4623224 140734867522528 18446744073709551615 251367546624 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/4979/statm: 7102 481 297 105 0 2606 0

[startup+0.0419891 s]
/proc/loadavg: 7.78 8.02 7.91 6/180 4979
/proc/meminfo: memFree=27586816/32950928 swapFree=67111352/67111528
[pid=4979] ppid=4977 vsize=30460 CPUtime=0.03 cores=1,3,5,7
/proc/4979/stat : 4979 (SArTagnan) R 4977 4979 4254 0 -1 4202496 2117 0 0 0 3 0 0 0 25 0 1 0 602379722 31191040 1001 33554432000 4194304 4623224 140734867522528 18446744073709551615 251367546624 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/4979/statm: 7615 1001 297 105 0 3119 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 30460

[startup+0.100975 s]
/proc/loadavg: 7.78 8.02 7.91 6/180 4979
/proc/meminfo: memFree=27586816/32950928 swapFree=67111352/67111528
[pid=4979] ppid=4977 vsize=79516 CPUtime=0.08 cores=1,3,5,7
/proc/4979/stat : 4979 (SArTagnan) R 4977 4979 4254 0 -1 4202496 7956 0 0 0 8 0 0 0 25 0 4 0 602379722 81424384 5431 33554432000 4194304 4623224 140734867522528 18446744073709551615 251367603185 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/4979/statm: 19879 5431 302 105 0 15383 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 79516

[startup+0.30087 s]
/proc/loadavg: 7.78 8.02 7.91 6/180 4979
/proc/meminfo: memFree=27586816/32950928 swapFree=67111352/67111528
[pid=4979] ppid=4977 vsize=219136 CPUtime=0.89 cores=1,3,5,7
/proc/4979/stat : 4979 (SArTagnan) R 4977 4979 4254 0 -1 4202496 13519 0 0 0 87 2 0 0 25 0 4 0 602379722 224395264 9467 33554432000 4194304 4623224 140734867522528 18446744073709551615 4510093 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/4979/statm: 54784 9467 342 105 0 50288 0
Current children cumulated CPU time (s) 0.89
Current children cumulated vsize (KiB) 219136

[startup+0.700797 s]
/proc/loadavg: 7.78 8.02 7.91 6/180 4979
/proc/meminfo: memFree=27586816/32950928 swapFree=67111352/67111528
[pid=4979] ppid=4977 vsize=229396 CPUtime=2.48 cores=1,3,5,7
/proc/4979/stat : 4979 (SArTagnan) R 4977 4979 4254 0 -1 4202496 18736 0 0 0 246 2 0 0 25 0 4 0 602379722 234901504 13188 33554432000 4194304 4623224 140734867522528 18446744073709551615 4510169 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/4979/statm: 57349 13190 342 105 0 52853 0
Current children cumulated CPU time (s) 2.48
Current children cumulated vsize (KiB) 229396

[startup+1.50065 s]
/proc/loadavg: 7.78 8.02 7.91 9/184 4983
/proc/meminfo: memFree=27526156/32950928 swapFree=67111352/67111528
[pid=4979] ppid=4977 vsize=294932 CPUtime=5.69 cores=1,3,5,7
/proc/4979/stat : 4979 (SArTagnan) R 4977 4979 4254 0 -1 4202496 23601 0 0 0 565 4 0 0 25 0 4 0 602379722 302010368 17716 33554432000 4194304 4623224 140734867522528 18446744073709551615 4507356 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/4979/statm: 73733 17716 357 105 0 69237 0
[pid=4979/tid=4981] ppid=4977 vsize=294932 CPUtime=1.39 cores=1,3,5,7
/proc/4979/task/4981/stat : 4981 (SArTagnan) R 4977 4979 4254 0 -1 4202560 2772 0 0 0 139 0 0 0 19 0 4 0 602379732 302010368 17716 33554432000 4194304 4623224 140734867522528 18446744073709551615 4376892 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=4979/tid=4982] ppid=4977 vsize=294932 CPUtime=1.39 cores=1,3,5,7
/proc/4979/task/4982/stat : 4982 (SArTagnan) R 4977 4979 4254 0 -1 4202560 4948 0 0 0 138 1 0 0 25 0 4 0 602379732 302010368 17716 33554432000 4194304 4623224 140734867522528 18446744073709551615 4376829 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=4979/tid=4983] ppid=4977 vsize=294932 CPUtime=1.39 cores=1,3,5,7
/proc/4979/task/4983/stat : 4983 (SArTagnan) R 4977 4979 4254 0 -1 4202560 1590 0 0 0 139 0 0 0 25 0 4 0 602379732 302010368 17716 33554432000 4194304 4623224 140734867522528 18446744073709551615 4363755 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 5.69
Current children cumulated vsize (KiB) 294932

[startup+3.10035 s]
/proc/loadavg: 7.78 8.02 7.91 9/184 4983
/proc/meminfo: memFree=27498064/32950928 swapFree=67111352/67111528
[pid=4979] ppid=4977 vsize=314040 CPUtime=12.08 cores=1,3,5,7
/proc/4979/stat : 4979 (SArTagnan) R 4977 4979 4254 0 -1 4202496 33814 0 0 0 1202 6 0 0 25 0 4 0 602379722 321576960 25948 33554432000 4194304 4623224 140734867522528 18446744073709551615 4507356 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/4979/statm: 78510 25948 361 105 0 74014 0
[pid=4979/tid=4981] ppid=4977 vsize=314040 CPUtime=2.99 cores=1,3,5,7
/proc/4979/task/4981/stat : 4981 (SArTagnan) R 4977 4979 4254 0 -1 4202560 4127 0 0 0 299 0 0 0 22 0 4 0 602379732 321576960 25948 33554432000 4194304 4623224 140734867522528 18446744073709551615 4366412 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=4979/tid=4982] ppid=4977 vsize=314040 CPUtime=2.98 cores=1,3,5,7
/proc/4979/task/4982/stat : 4982 (SArTagnan) R 4977 4979 4254 0 -1 4202560 8676 0 0 0 296 2 0 0 25 0 4 0 602379732 321576960 25948 33554432000 4194304 4623224 140734867522528 18446744073709551615 4376875 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=4979/tid=4983] ppid=4977 vsize=314040 CPUtime=2.99 cores=1,3,5,7
/proc/4979/task/4983/stat : 4983 (SArTagnan) R 4977 4979 4254 0 -1 4202560 2927 0 0 0 299 0 0 0 25 0 4 0 602379732 321576960 25948 33554432000 4194304 4623224 140734867522528 18446744073709551615 4376960 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 12.08
Current children cumulated vsize (KiB) 314040

[startup+6.30076 s]
/proc/loadavg: 7.80 8.02 7.91 9/184 4983
/proc/meminfo: memFree=27451068/32950928 swapFree=67111352/67111528
[pid=4979] ppid=4977 vsize=330228 CPUtime=24.86 cores=1,3,5,7
/proc/4979/stat : 4979 (SArTagnan) R 4977 4979 4254 0 -1 4202496 45143 0 0 0 2478 8 0 0 25 0 4 0 602379722 338153472 34180 33554432000 4194304 4623224 140734867522528 18446744073709551615 4414978 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/4979/statm: 82557 34180 397 105 0 78061 0
[pid=4979/tid=4981] ppid=4977 vsize=330228 CPUtime=6.19 cores=1,3,5,7
/proc/4979/task/4981/stat : 4981 (SArTagnan) R 4977 4979 4254 0 -1 4202560 6173 0 0 0 618 1 0 0 25 0 4 0 602379732 338153472 34180 33554432000 4194304 4623224 140734867522528 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=4979/tid=4982] ppid=4977 vsize=330228 CPUtime=6.16 cores=1,3,5,7
/proc/4979/task/4982/stat : 4982 (SArTagnan) R 4977 4979 4254 0 -1 4202560 12398 0 0 0 614 2 0 0 25 0 4 0 602379732 338153472 34180 33554432000 4194304 4623224 140734867522528 18446744073709551615 4376835 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=4979/tid=4983] ppid=4977 vsize=330228 CPUtime=6.19 cores=1,3,5,7
/proc/4979/task/4983/stat : 4983 (SArTagnan) R 4977 4979 4254 0 -1 4202560 3555 0 0 0 619 0 0 0 25 0 4 0 602379732 338153472 34180 33554432000 4194304 4623224 140734867522528 18446744073709551615 4376823 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 24.86
Current children cumulated vsize (KiB) 330228

[startup+12.7006 s]
/proc/loadavg: 7.81 8.02 7.91 9/184 4983
/proc/meminfo: memFree=27396688/32950928 swapFree=67111352/67111528
[pid=4979] ppid=4977 vsize=361288 CPUtime=50.42 cores=1,3,5,7
/proc/4979/stat : 4979 (SArTagnan) R 4977 4979 4254 0 -1 4202496 87574 0 0 0 5025 17 0 0 25 0 4 0 602379722 369958912 45582 33554432000 4194304 4623224 140734867522528 18446744073709551615 4510169 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/4979/statm: 90322 45582 507 105 0 85826 0
[pid=4979/tid=4981] ppid=4977 vsize=361288 CPUtime=12.59 cores=1,3,5,7
/proc/4979/task/4981/stat : 4981 (SArTagnan) R 4977 4979 4254 0 -1 4202560 11882 0 0 0 1257 2 0 0 25 0 4 0 602379732 369958912 45582 33554432000 4194304 4623224 140734867522528 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=4979/tid=4982] ppid=4977 vsize=361288 CPUtime=12.52 cores=1,3,5,7
/proc/4979/task/4982/stat : 4982 (SArTagnan) R 4977 4979 4254 0 -1 4202560 19104 0 0 0 1247 5 0 0 25 0 4 0 602379732 369958912 45582 33554432000 4194304 4623224 140734867522528 18446744073709551615 4377144 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=4979/tid=4983] ppid=4977 vsize=361288 CPUtime=12.59 cores=1,3,5,7
/proc/4979/task/4983/stat : 4983 (SArTagnan) R 4977 4979 4254 0 -1 4202560 32996 0 0 0 1254 5 0 0 25 0 4 0 602379732 369958912 45582 33554432000 4194304 4623224 140734867522528 18446744073709551615 251367214082 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 50.42
Current children cumulated vsize (KiB) 361288

[startup+25.5012 s]
/proc/loadavg: 7.85 8.02 7.91 9/184 4984
/proc/meminfo: memFree=27313616/32950928 swapFree=67111352/67111528
[pid=4979] ppid=4977 vsize=453848 CPUtime=101.56 cores=1,3,5,7
/proc/4979/stat : 4979 (SArTagnan) R 4977 4979 4254 0 -1 4202496 142225 0 0 0 10125 31 0 0 25 0 4 0 602379722 464740352 62213 33554432000 4194304 4623224 140734867522528 18446744073709551615 4510169 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/4979/statm: 113462 62213 411 105 0 108966 0
[pid=4979/tid=4981] ppid=4977 vsize=453848 CPUtime=25.4 cores=1,3,5,7
/proc/4979/task/4981/stat : 4981 (SArTagnan) R 4977 4979 4254 0 -1 4202560 21554 0 0 0 2533 7 0 0 25 0 4 0 602379732 464740352 62213 33554432000 4194304 4623224 140734867522528 18446744073709551615 4377005 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=4979/tid=4982] ppid=4977 vsize=453848 CPUtime=25.25 cores=1,3,5,7
/proc/4979/task/4982/stat : 4982 (SArTagnan) R 4977 4979 4254 0 -1 4202560 28305 0 0 0 2516 9 0 0 25 0 4 0 602379732 464740352 62213 33554432000 4194304 4623224 140734867522528 18446744073709551615 4376629 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=4979/tid=4983] ppid=4977 vsize=453848 CPUtime=25.39 cores=1,3,5,7
/proc/4979/task/4983/stat : 4983 (SArTagnan) R 4977 4979 4254 0 -1 4202560 61421 0 0 0 2529 10 0 0 25 0 4 0 602379732 464740352 62213 33554432000 4194304 4623224 140734867522528 18446744073709551615 4292252 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 101.56
Current children cumulated vsize (KiB) 453848

[startup+51.1005 s]
/proc/loadavg: 8.03 8.05 7.93 9/184 4984
/proc/meminfo: memFree=27165156/32950928 swapFree=67111352/67111528
[pid=4979] ppid=4977 vsize=581004 CPUtime=203.82 cores=1,3,5,7
/proc/4979/stat : 4979 (SArTagnan) R 4977 4979 4254 0 -1 4202496 262245 0 0 0 20325 57 0 0 25 0 4 0 602379722 594948096 91009 33554432000 4194304 4623224 140734867522528 18446744073709551615 4414984 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/4979/statm: 145251 91009 342 105 0 140755 0
[pid=4979/tid=4981] ppid=4977 vsize=581004 CPUtime=50.99 cores=1,3,5,7
/proc/4979/task/4981/stat : 4981 (SArTagnan) R 4977 4979 4254 0 -1 4202560 31837 0 0 0 5089 10 0 0 25 0 4 0 602379732 594948096 91009 33554432000 4194304 4623224 140734867522528 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=4979/tid=4982] ppid=4977 vsize=581004 CPUtime=50.71 cores=1,3,5,7
/proc/4979/task/4982/stat : 4982 (SArTagnan) R 4977 4979 4254 0 -1 4202560 52751 0 0 0 5054 17 0 0 25 0 4 0 602379732 594948096 91009 33554432000 4194304 4623224 140734867522528 18446744073709551615 4376687 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=4979/tid=4983] ppid=4977 vsize=581004 CPUtime=50.99 cores=1,3,5,7
/proc/4979/task/4983/stat : 4983 (SArTagnan) R 4977 4979 4254 0 -1 4202560 133564 0 0 0 5078 21 0 0 25 0 4 0 602379732 594948096 91009 33554432000 4194304 4623224 140734867522528 18446744073709551615 4545376 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 203.82
Current children cumulated vsize (KiB) 581004

[startup+102.307 s]
/proc/loadavg: 8.15 8.07 7.94 9/184 4986
/proc/meminfo: memFree=26727020/32950928 swapFree=67111352/67111528
[pid=4979] ppid=4977 vsize=1127704 CPUtime=408.35 cores=1,3,5,7
/proc/4979/stat : 4979 (SArTagnan) R 4977 4979 4254 0 -1 4202496 872875 0 0 0 40680 155 0 0 25 0 4 0 602379722 1154768896 210729 33554432000 4194304 4623224 140734867522528 18446744073709551615 251367244245 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/4979/statm: 281926 210754 1089 105 0 277430 0
[pid=4979/tid=4981] ppid=4977 vsize=1127704 CPUtime=102.19 cores=1,3,5,7
/proc/4979/task/4981/stat : 4981 (SArTagnan) R 4977 4979 4254 0 -1 4202560 50032 0 0 0 10201 18 0 0 25 0 4 0 602379732 1154768896 210772 33554432000 4194304 4623224 140734867522528 18446744073709551615 4467803 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=4979/tid=4982] ppid=4977 vsize=1127704 CPUtime=101.64 cores=1,3,5,7
/proc/4979/task/4982/stat : 4982 (SArTagnan) R 4977 4979 4254 0 -1 4202560 79647 0 0 0 10140 24 0 0 25 0 4 0 602379732 1154768896 210786 33554432000 4194304 4623224 140734867522528 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=4979/tid=4983] ppid=4977 vsize=1127704 CPUtime=102.19 cores=1,3,5,7
/proc/4979/task/4983/stat : 4983 (SArTagnan) R 4977 4979 4254 0 -1 4202560 535655 0 0 0 10135 84 0 0 25 0 4 0 602379732 1154768896 210798 33554432000 4194304 4623224 140734867522528 18446744073709551615 4364232 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 408.35
Current children cumulated vsize (KiB) 1127704

[startup+162.301 s]
/proc/loadavg: 8.11 8.07 7.94 9/184 4987
/proc/meminfo: memFree=26293200/32950928 swapFree=67111352/67111528
[pid=4979] ppid=4977 vsize=1360240 CPUtime=647.99 cores=1,3,5,7
/proc/4979/stat : 4979 (SArTagnan) R 4977 4979 4254 0 -1 4202496 1126499 0 0 0 64587 212 0 0 25 0 4 0 602379722 1392885760 271540 33554432000 4194304 4623224 140734867522528 18446744073709551615 4510907 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/4979/statm: 340060 271540 613 105 0 335564 0
[pid=4979/tid=4981] ppid=4977 vsize=1360240 CPUtime=162.19 cores=1,3,5,7
/proc/4979/task/4981/stat : 4981 (SArTagnan) R 4977 4979 4254 0 -1 4202560 60729 0 0 0 16190 29 0 0 25 0 4 0 602379732 1392885760 271540 33554432000 4194304 4623224 140734867522528 18446744073709551615 4376711 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=4979/tid=4982] ppid=4977 vsize=1360240 CPUtime=161.3 cores=1,3,5,7
/proc/4979/task/4982/stat : 4982 (SArTagnan) R 4977 4979 4254 0 -1 4202560 92473 0 0 0 16097 33 0 0 25 0 4 0 602379732 1392885760 271540 33554432000 4194304 4623224 140734867522528 18446744073709551615 4376629 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=4979/tid=4983] ppid=4977 vsize=1360240 CPUtime=162.18 cores=1,3,5,7
/proc/4979/task/4983/stat : 4983 (SArTagnan) R 4977 4979 4254 0 -1 4202560 602565 0 0 0 16122 96 0 0 25 0 4 0 602379732 1392885760 271540 33554432000 4194304 4623224 140734867522528 18446744073709551615 4366341 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 647.99
Current children cumulated vsize (KiB) 1360240

[startup+222.301 s]
/proc/loadavg: 8.10 8.07 7.95 9/184 4998
/proc/meminfo: memFree=25914784/32950928 swapFree=67111352/67111528
[pid=4979] ppid=4977 vsize=1773716 CPUtime=887.65 cores=1,3,5,7
/proc/4979/stat : 4979 (SArTagnan) R 4977 4979 4254 0 -1 4202496 1507394 0 0 0 88485 280 0 0 25 0 4 0 602379722 1816285184 347049 33554432000 4194304 4623224 140734867522528 18446744073709551615 4510064 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/4979/statm: 443429 347049 504 105 0 438933 0
[pid=4979/tid=4981] ppid=4977 vsize=1773716 CPUtime=222.18 cores=1,3,5,7
/proc/4979/task/4981/stat : 4981 (SArTagnan) R 4977 4979 4254 0 -1 4202560 80130 0 0 0 22183 35 0 0 25 0 4 0 602379732 1816285184 347049 33554432000 4194304 4623224 140734867522528 18446744073709551615 4376625 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=4979/tid=4982] ppid=4977 vsize=1773716 CPUtime=220.97 cores=1,3,5,7
/proc/4979/task/4982/stat : 4982 (SArTagnan) R 4977 4979 4254 0 -1 4202560 121732 0 0 0 22052 45 0 0 25 0 4 0 602379732 1816285184 347049 33554432000 4194304 4623224 140734867522528 18446744073709551615 4376883 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=4979/tid=4983] ppid=4977 vsize=1773716 CPUtime=222.18 cores=1,3,5,7
/proc/4979/task/4983/stat : 4983 (SArTagnan) R 4977 4979 4254 0 -1 4202560 752255 0 0 0 22098 120 0 0 25 0 4 0 602379732 1816285184 347049 33554432000 4194304 4623224 140734867522528 18446744073709551615 4376711 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 887.65
Current children cumulated vsize (KiB) 1773716

[startup+282.301 s]

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


[startup+702.301 s]
/proc/loadavg: 8.05 8.04 7.97 9/184 5011
/proc/meminfo: memFree=24921956/32950928 swapFree=67111352/67111528
[pid=4979] ppid=4977 vsize=2489120 CPUtime=2805.08 cores=1,3,5,7
/proc/4979/stat : 4979 (SArTagnan) R 4977 4979 4254 0 -1 4202496 4232708 0 0 0 279731 777 0 0 25 0 4 0 602379722 2548858880 501941 33554432000 4194304 4623224 140734867522528 18446744073709551615 4414880 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/4979/statm: 622280 501941 356 105 0 617784 0
[pid=4979/tid=4981] ppid=4977 vsize=2489120 CPUtime=702.19 cores=1,3,5,7
/proc/4979/task/4981/stat : 4981 (SArTagnan) R 4977 4979 4254 0 -1 4202560 86489 0 0 0 70182 37 0 0 25 0 4 0 602379732 2548858880 501941 33554432000 4194304 4623224 140734867522528 18446744073709551615 4357901 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=4979/tid=4982] ppid=4977 vsize=2489120 CPUtime=698.37 cores=1,3,5,7
/proc/4979/task/4982/stat : 4982 (SArTagnan) R 4977 4979 4254 0 -1 4202560 133776 0 0 0 69782 55 0 0 25 0 4 0 602379732 2548858880 501941 33554432000 4194304 4623224 140734867522528 18446744073709551615 4357901 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=4979/tid=4983] ppid=4977 vsize=2489120 CPUtime=702.17 cores=1,3,5,7
/proc/4979/task/4983/stat : 4983 (SArTagnan) R 4977 4979 4254 0 -1 4202560 3078910 0 0 0 69682 535 0 0 25 0 4 0 602379732 2548858880 501941 33554432000 4194304 4623224 140734867522528 18446744073709551615 4377691 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2805.08
Current children cumulated vsize (KiB) 2489120

[startup+762.307 s]
/proc/loadavg: 8.10 8.04 7.98 9/184 5012
/proc/meminfo: memFree=24847104/32950928 swapFree=67111352/67111528
[pid=4979] ppid=4977 vsize=2506456 CPUtime=3044.78 cores=1,3,5,7
/proc/4979/stat : 4979 (SArTagnan) R 4977 4979 4254 0 -1 4202496 4276064 0 0 0 303691 787 0 0 25 0 4 0 602379722 2566610944 512678 33554432000 4194304 4623224 140734867522528 18446744073709551615 4510090 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/4979/statm: 626614 512678 342 105 0 622118 0
[pid=4979/tid=4981] ppid=4977 vsize=2506456 CPUtime=762.21 cores=1,3,5,7
/proc/4979/task/4981/stat : 4981 (SArTagnan) R 4977 4979 4254 0 -1 4202560 86719 0 0 0 76183 38 0 0 25 0 4 0 602379732 2566610944 512678 33554432000 4194304 4623224 140734867522528 18446744073709551615 4486212 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=4979/tid=4982] ppid=4977 vsize=2506456 CPUtime=758.05 cores=1,3,5,7
/proc/4979/task/4982/stat : 4982 (SArTagnan) R 4977 4979 4254 0 -1 4202560 136840 0 0 0 75750 55 0 0 25 0 4 0 602379732 2566610944 512678 33554432000 4194304 4623224 140734867522528 18446744073709551615 4357901 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=4979/tid=4983] ppid=4977 vsize=2506456 CPUtime=762.18 cores=1,3,5,7
/proc/4979/task/4983/stat : 4983 (SArTagnan) R 4977 4979 4254 0 -1 4202560 3082409 0 0 0 75681 537 0 0 25 0 4 0 602379732 2566610944 512678 33554432000 4194304 4623224 140734867522528 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3044.78
Current children cumulated vsize (KiB) 2506456

[startup+822.301 s]
/proc/loadavg: 8.11 8.05 7.98 9/184 5014
/proc/meminfo: memFree=24744104/32950928 swapFree=67111352/67111528
[pid=4979] ppid=4977 vsize=2506456 CPUtime=3284.43 cores=1,3,5,7
/proc/4979/stat : 4979 (SArTagnan) R 4977 4979 4254 0 -1 4202496 4328917 0 0 0 327645 798 0 0 25 0 4 0 602379722 2566610944 529487 33554432000 4194304 4623224 140734867522528 18446744073709551615 4510090 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/4979/statm: 626614 529487 342 105 0 622118 0
[pid=4979/tid=4981] ppid=4977 vsize=2506456 CPUtime=822.2 cores=1,3,5,7
/proc/4979/task/4981/stat : 4981 (SArTagnan) R 4977 4979 4254 0 -1 4202560 87348 0 0 0 82182 38 0 0 25 0 4 0 602379732 2566610944 529487 33554432000 4194304 4623224 140734867522528 18446744073709551615 4357901 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=4979/tid=4982] ppid=4977 vsize=2506456 CPUtime=817.71 cores=1,3,5,7
/proc/4979/task/4982/stat : 4982 (SArTagnan) R 4977 4979 4254 0 -1 4202560 136935 0 0 0 81716 55 0 0 25 0 4 0 602379732 2566610944 529487 33554432000 4194304 4623224 140734867522528 18446744073709551615 4376711 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=4979/tid=4983] ppid=4977 vsize=2506456 CPUtime=822.17 cores=1,3,5,7
/proc/4979/task/4983/stat : 4983 (SArTagnan) R 4977 4979 4254 0 -1 4202560 3092692 0 0 0 81679 538 0 0 25 0 4 0 602379732 2566610944 529487 33554432000 4194304 4623224 140734867522528 18446744073709551615 4363752 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3284.43
Current children cumulated vsize (KiB) 2506456

[startup+882.301 s]
/proc/loadavg: 6.53 7.67 7.86 5/175 5033
/proc/meminfo: memFree=26050740/32950928 swapFree=67111352/67111528
[pid=4979] ppid=4977 vsize=3145968 CPUtime=3524.07 cores=1,3,5,7
/proc/4979/stat : 4979 (SArTagnan) R 4977 4979 4254 0 -1 4202496 4726479 0 0 0 351537 870 0 0 20 0 4 0 602379722 3221471232 605393 33554432000 4194304 4623224 140734867522528 18446744073709551615 4510192 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/4979/statm: 786492 605393 342 105 0 781996 0
[pid=4979/tid=4981] ppid=4977 vsize=3145968 CPUtime=882.21 cores=1,3,5,7
/proc/4979/task/4981/stat : 4981 (SArTagnan) R 4977 4979 4254 0 -1 4202560 109688 0 0 0 88180 41 0 0 25 0 4 0 602379732 3221471232 605393 33554432000 4194304 4623224 140734867522528 18446744073709551615 4357390 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=4979/tid=4982] ppid=4977 vsize=3145968 CPUtime=877.35 cores=1,3,5,7
/proc/4979/task/4982/stat : 4982 (SArTagnan) R 4977 4979 4254 0 -1 4202560 143806 0 0 0 87661 74 0 0 20 0 4 0 602379732 3221471232 605393 33554432000 4194304 4623224 140734867522528 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=4979/tid=4983] ppid=4977 vsize=3145968 CPUtime=882.18 cores=1,3,5,7
/proc/4979/task/4983/stat : 4983 (SArTagnan) R 4977 4979 4254 0 -1 4202560 3093246 0 0 0 87679 539 0 0 25 0 4 0 602379732 3221471232 605393 33554432000 4194304 4623224 140734867522528 18446744073709551615 251367244235 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3524.07
Current children cumulated vsize (KiB) 3145968

[startup+942.301 s]
/proc/loadavg: 4.99 7.02 7.62 5/175 5035
/proc/meminfo: memFree=25943184/32950928 swapFree=67111352/67111528
[pid=4979] ppid=4977 vsize=3270252 CPUtime=3763.76 cores=1,3,5,7
/proc/4979/stat : 4979 (SArTagnan) R 4977 4979 4254 0 -1 4202496 4807541 0 0 0 375468 908 0 0 25 0 4 0 602379722 3348738048 632327 33554432000 4194304 4623224 140734867522528 18446744073709551615 4415005 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/4979/statm: 817563 632327 342 105 0 813067 0
[pid=4979/tid=4981] ppid=4977 vsize=3270252 CPUtime=942.21 cores=1,3,5,7
/proc/4979/task/4981/stat : 4981 (SArTagnan) R 4977 4979 4254 0 -1 4202560 110172 0 0 0 94180 41 0 0 25 0 4 0 602379732 3348738048 632327 33554432000 4194304 4623224 140734867522528 18446744073709551615 4357901 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=4979/tid=4982] ppid=4977 vsize=3270252 CPUtime=937.03 cores=1,3,5,7
/proc/4979/task/4982/stat : 4982 (SArTagnan) R 4977 4979 4254 0 -1 4202560 182324 0 0 0 93601 102 0 0 25 0 4 0 602379732 3348738048 632327 33554432000 4194304 4623224 140734867522528 18446744073709551615 4377587 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=4979/tid=4983] ppid=4977 vsize=3270252 CPUtime=942.18 cores=1,3,5,7
/proc/4979/task/4983/stat : 4983 (SArTagnan) R 4977 4979 4254 0 -1 4202560 3094839 0 0 0 93679 539 0 0 25 0 4 0 602379732 3348738048 632327 33554432000 4194304 4623224 140734867522528 18446744073709551615 4289853 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3763.76
Current children cumulated vsize (KiB) 3270252

[startup+1002.3 s]
/proc/loadavg: 4.42 6.48 7.40 5/175 5037
/proc/meminfo: memFree=25854492/32950928 swapFree=67111352/67111528
[pid=4979] ppid=4977 vsize=3337804 CPUtime=4003.46 cores=1,3,5,7
/proc/4979/stat : 4979 (SArTagnan) R 4977 4979 4254 0 -1 4202496 4959113 0 0 0 399390 956 0 0 25 0 4 0 602379722 3417911296 654999 33554432000 4194304 4623224 140734867522528 18446744073709551615 4355951 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/4979/statm: 834451 654999 342 105 0 829955 0
[pid=4979/tid=4981] ppid=4977 vsize=3337804 CPUtime=1002.2 cores=1,3,5,7
/proc/4979/task/4981/stat : 4981 (SArTagnan) R 4977 4979 4254 0 -1 4202560 110674 0 0 0 100179 41 0 0 25 0 4 0 602379732 3417911296 654999 33554432000 4194304 4623224 140734867522528 18446744073709551615 4486238 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=4979/tid=4982] ppid=4977 vsize=3337804 CPUtime=996.73 cores=1,3,5,7
/proc/4979/task/4982/stat : 4982 (SArTagnan) R 4977 4979 4254 0 -1 4202560 191545 0 0 0 99548 125 0 0 25 0 4 0 602379732 3417911296 654999 33554432000 4194304 4623224 140734867522528 18446744073709551615 4376711 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=4979/tid=4983] ppid=4977 vsize=3337804 CPUtime=1002.17 cores=1,3,5,7
/proc/4979/task/4983/stat : 4983 (SArTagnan) R 4977 4979 4254 0 -1 4202560 3199455 0 0 0 99660 557 0 0 25 0 4 0 602379732 3417911296 654999 33554432000 4194304 4623224 140734867522528 18446744073709551615 4364669 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4003.46
Current children cumulated vsize (KiB) 3337804

[startup+1062.3 s]
/proc/loadavg: 4.15 6.03 7.18 5/175 5038
/proc/meminfo: memFree=25769012/32950928 swapFree=67111352/67111528
[pid=4979] ppid=4977 vsize=3344668 CPUtime=4243.09 cores=1,3,5,7
/proc/4979/stat : 4979 (SArTagnan) R 4977 4979 4254 0 -1 4202496 5217483 0 0 0 423294 1015 0 0 25 0 4 0 602379722 3424940032 675601 33554432000 4194304 4623224 140734867522528 18446744073709551615 4360087 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/4979/statm: 836167 675601 342 105 0 831671 0
[pid=4979/tid=4981] ppid=4977 vsize=3344668 CPUtime=1062.21 cores=1,3,5,7
/proc/4979/task/4981/stat : 4981 (SArTagnan) R 4977 4979 4254 0 -1 4202560 111135 0 0 0 106179 42 0 0 25 0 4 0 602379732 3424940032 675601 33554432000 4194304 4623224 140734867522528 18446744073709551615 4357901 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=4979/tid=4982] ppid=4977 vsize=3344668 CPUtime=1056.42 cores=1,3,5,7
/proc/4979/task/4982/stat : 4982 (SArTagnan) R 4977 4979 4254 0 -1 4202560 198894 0 0 0 105502 140 0 0 25 0 4 0 602379732 3424940032 675601 33554432000 4194304 4623224 140734867522528 18446744073709551615 4376883 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=4979/tid=4983] ppid=4977 vsize=3344668 CPUtime=1062.17 cores=1,3,5,7
/proc/4979/task/4983/stat : 4983 (SArTagnan) R 4977 4979 4254 0 -1 4202560 3438516 0 0 0 105620 597 0 0 25 0 4 0 602379732 3424940032 675601 33554432000 4194304 4623224 140734867522528 18446744073709551615 4355374 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4243.09
Current children cumulated vsize (KiB) 3344668

[startup+1122.3 s]
/proc/loadavg: 4.11 5.67 6.99 5/175 5040
/proc/meminfo: memFree=25764140/32950928 swapFree=67111352/67111528
[pid=4979] ppid=4977 vsize=3344668 CPUtime=4482.77 cores=1,3,5,7
/proc/4979/stat : 4979 (SArTagnan) R 4977 4979 4254 0 -1 4202496 5218747 0 0 0 447261 1016 0 0 25 0 4 0 602379722 3424940032 676841 33554432000 4194304 4623224 140734867522528 18446744073709551615 4360087 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/4979/statm: 836167 676841 342 105 0 831671 0
[pid=4979/tid=4981] ppid=4977 vsize=3344668 CPUtime=1122.21 cores=1,3,5,7
/proc/4979/task/4981/stat : 4981 (SArTagnan) R 4977 4979 4254 0 -1 4202560 111721 0 0 0 112179 42 0 0 25 0 4 0 602379732 3424940032 676841 33554432000 4194304 4623224 140734867522528 18446744073709551615 4357901 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=4979/tid=4982] ppid=4977 vsize=3344668 CPUtime=1116.09 cores=1,3,5,7
/proc/4979/task/4982/stat : 4982 (SArTagnan) R 4977 4979 4254 0 -1 4202560 198906 0 0 0 111469 140 0 0 25 0 4 0 602379732 3424940032 676841 33554432000 4194304 4623224 140734867522528 18446744073709551615 4376711 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=4979/tid=4983] ppid=4977 vsize=3344668 CPUtime=1122.18 cores=1,3,5,7
/proc/4979/task/4983/stat : 4983 (SArTagnan) R 4977 4979 4254 0 -1 4202560 3438989 0 0 0 111620 598 0 0 25 0 4 0 602379732 3424940032 676841 33554432000 4194304 4623224 140734867522528 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4482.77
Current children cumulated vsize (KiB) 3344668

[startup+1182.3 s]
/proc/loadavg: 4.09 5.38 6.80 5/175 5041
/proc/meminfo: memFree=25755296/32950928 swapFree=67111352/67111528
[pid=4979] ppid=4977 vsize=3344668 CPUtime=4722.45 cores=1,3,5,7
/proc/4979/stat : 4979 (SArTagnan) R 4977 4979 4254 0 -1 4202496 5221127 0 0 0 471228 1017 0 0 25 0 4 0 602379722 3424940032 679106 33554432000 4194304 4623224 140734867522528 18446744073709551615 4360087 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/4979/statm: 836167 679106 342 105 0 831671 0
[pid=4979/tid=4981] ppid=4977 vsize=3344668 CPUtime=1182.21 cores=1,3,5,7
/proc/4979/task/4981/stat : 4981 (SArTagnan) R 4977 4979 4254 0 -1 4202560 112233 0 0 0 118179 42 0 0 25 0 4 0 602379732 3424940032 679106 33554432000 4194304 4623224 140734867522528 18446744073709551615 4357776 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=4979/tid=4982] ppid=4977 vsize=3344668 CPUtime=1175.77 cores=1,3,5,7
/proc/4979/task/4982/stat : 4982 (SArTagnan) R 4977 4979 4254 0 -1 4202560 199011 0 0 0 117437 140 0 0 25 0 4 0 602379732 3424940032 679106 33554432000 4194304 4623224 140734867522528 18446744073709551615 4376711 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=4979/tid=4983] ppid=4977 vsize=3344668 CPUtime=1182.18 cores=1,3,5,7
/proc/4979/task/4983/stat : 4983 (SArTagnan) R 4977 4979 4254 0 -1 4202560 3439474 0 0 0 117619 599 0 0 25 0 4 0 602379732 3424940032 679106 33554432000 4194304 4623224 140734867522528 18446744073709551615 4364669 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4722.45
Current children cumulated vsize (KiB) 3344668



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.8 s]
/proc/loadavg: 4.07 5.29 6.74 5/175 5042
/proc/meminfo: memFree=25747592/32950928 swapFree=67111352/67111528
[pid=4979] ppid=4977 vsize=3344668 CPUtime=4800.36 cores=1,3,5,7
/proc/4979/stat : 4979 (SArTagnan) R 4977 4979 4254 0 -1 4202496 5223094 0 0 0 479018 1018 0 0 25 0 4 0 602379722 3424940032 680986 33554432000 4194304 4623224 140734867522528 18446744073709551615 4360087 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/4979/statm: 836167 680986 342 105 0 831671 0
[pid=4979/tid=4981] ppid=4977 vsize=3344668 CPUtime=1201.72 cores=1,3,5,7
/proc/4979/task/4981/stat : 4981 (SArTagnan) R 4977 4979 4254 0 -1 4202560 112370 0 0 0 120130 42 0 0 25 0 4 0 602379732 3424940032 680986 33554432000 4194304 4623224 140734867522528 18446744073709551615 4486238 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=4979/tid=4982] ppid=4977 vsize=3344668 CPUtime=1195.17 cores=1,3,5,7
/proc/4979/task/4982/stat : 4982 (SArTagnan) R 4977 4979 4254 0 -1 4202560 199546 0 0 0 119376 141 0 0 25 0 4 0 602379732 3424940032 680986 33554432000 4194304 4623224 140734867522528 18446744073709551615 4376853 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=4979/tid=4983] ppid=4977 vsize=3344668 CPUtime=1201.69 cores=1,3,5,7
/proc/4979/task/4983/stat : 4983 (SArTagnan) R 4977 4979 4254 0 -1 4202560 3439699 0 0 0 119570 599 0 0 25 0 4 0 602379732 3424940032 680986 33554432000 4194304 4623224 140734867522528 18446744073709551615 4559864 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4800.36
Current children cumulated vsize (KiB) 3344668

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: 4.07 5.29 6.74 5/175 5042
/proc/meminfo: memFree=25747592/32950928 swapFree=67111352/67111528
[pid=4979] ppid=4977 vsize=0 CPUtime=4800.48 cores=1,3,5,7
/proc/4979/stat : 4979 (SArTagnan) Z 4977 4979 4254 0 -1 4203548 5223095 0 0 0 479020 1028 0 0 25 0 2 0 602379722 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/4979/statm: 0 0 0 0 0 0 0
[pid=4979/tid=4982] ppid=4977 vsize=0 CPUtime=1195.27 cores=1,3,5,7
/proc/4979/task/4982/stat : 4982 (SArTagnan) R 4977 4979 4254 0 -1 4203588 199547 0 0 0 119376 151 0 0 25 0 2 0 602379732 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4800.48
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1201.93
CPU time (s): 4800.51
CPU user time (s): 4790.21
CPU system time (s): 10.2994
CPU usage (%): 399.402
Max. virtual memory (cumulated for all children) (KiB): 4074704

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4790.21
system time used= 10.2994
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 5223095
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= 2552
involuntary context switches= 31985

runsolver used 1.81472 second user time and 4.70129 second system time

The end

Launcher Data 

Begin job on node113 at 2011-04-30 01:58:11
IDJOB=3251134
IDBENCH=88211
IDSOLVER=1656
FILE ID=node113/3251134-1304121490
RUNJOBID= node113-1304120286-4861
PBS_JOBID= 13170715
Free space on /tmp= 71160 MiB

SOLVER NAME= SArTagnan 2011-03-24
BENCH NAME= SAT11/crafted/anton/SRHD-SGI/srhd-sgi-m47-q742.5-n45-p30-s17570390.cnf
COMMAND LINE= SArTagnan BENCHNAME -threads=NBCORE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3251134-1304121490/watcher-3251134-1304121490 -o /tmp/evaluation-result-3251134-1304121490/solver-3251134-1304121490 -C 4800 -W 1300 -M 15500  SArTagnan HOME/instance-3251134-1304121490.cnf -threads=4

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

MD5SUM BENCH= ba3b1702a651cd8da3e6cada8f2e97bc
RANDOM SEED=24197291

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

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

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

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.846
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.83
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.846
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.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      27587096 kB
Buffers:        731708 kB
Cached:        3162532 kB
SwapCached:         12 kB
Active:        1045144 kB
Inactive:      3800476 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      27587096 kB
SwapTotal:    67111528 kB
SwapFree:     67111352 kB
Dirty:            5476 kB
Writeback:           0 kB
AnonPages:      950608 kB
Mapped:          15456 kB
Slab:           452940 kB
PageTables:       6580 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:  1244008 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= 71160 MiB
End job on node113 at 2011-04-30 02:18:14