Trace number 3251354

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.52 1202

General information on the benchmark

Namecrafted/anton/SRHD-SGI/
srhd-sgi-m62-q1504.5-n60-p30-s88600538.cnf
MD5SUM76c30bc0971bc865c2b988ddaca89385
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark5.29319
Satisfiable
(Un)Satisfiability was proved
Number of variables3651
Number of clauses926696
Sum of the clauses size1856923
Maximum clause length62
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 2926636
Number of clauses of size 30
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 560

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-3251354-1304123224/watcher-3251354-1304123224 -o /tmp/evaluation-result-3251354-1304123224/solver-3251354-1304123224 -C 4800 -W 1300 -M 15500 SArTagnan HOME/instance-3251354-1304123224.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: 3.81 5.48 6.94 5/180 6058
/proc/meminfo: memFree=28577464/32951124 swapFree=67111356/67111528
[pid=6058] ppid=6056 vsize=40480 CPUtime=0 cores=1,3,5,7
/proc/6058/stat : 6058 (SArTagnan) R 6056 6058 5544 0 -1 4202496 509 0 0 0 0 0 0 0 21 0 1 0 523920152 41451520 446 33554432000 4194304 4623224 140735671321792 18446744073709551615 218905730816 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/6058/statm: 10120 447 295 105 0 5624 0

[startup+0.022024 s]
/proc/loadavg: 3.81 5.48 6.94 5/180 6058
/proc/meminfo: memFree=28577464/32951124 swapFree=67111356/67111528
[pid=6058] ppid=6056 vsize=41688 CPUtime=0.01 cores=1,3,5,7
/proc/6058/stat : 6058 (SArTagnan) R 6056 6058 5544 0 -1 4202496 1195 0 0 0 1 0 0 0 21 0 1 0 523920152 42688512 694 33554432000 4194304 4623224 140735671321792 18446744073709551615 4366247 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/6058/statm: 10422 694 297 105 0 5926 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 41688

[startup+0.101014 s]
/proc/loadavg: 3.81 5.48 6.94 5/180 6058
/proc/meminfo: memFree=28577464/32951124 swapFree=67111356/67111528
[pid=6058] ppid=6056 vsize=48320 CPUtime=0.09 cores=1,3,5,7
/proc/6058/stat : 6058 (SArTagnan) R 6056 6058 5544 0 -1 4202496 5611 0 0 0 9 0 0 0 21 0 1 0 523920152 49479680 1798 33554432000 4194304 4623224 140735671321792 18446744073709551615 4366247 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/6058/statm: 12080 1799 297 105 0 7584 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 48320

[startup+0.300939 s]
/proc/loadavg: 3.81 5.48 6.94 5/180 6058
/proc/meminfo: memFree=28577464/32951124 swapFree=67111356/67111528
[pid=6058] ppid=6056 vsize=275912 CPUtime=0.45 cores=1,3,5,7
/proc/6058/stat : 6058 (SArTagnan) R 6056 6058 5544 0 -1 4202496 23175 0 0 0 44 1 0 0 23 0 4 0 523920152 282533888 14583 33554432000 4194304 4623224 140735671321792 18446744073709551615 4366247 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/6058/statm: 68978 14588 332 105 0 64482 0
Current children cumulated CPU time (s) 0.45
Current children cumulated vsize (KiB) 275912

[startup+0.700869 s]
/proc/loadavg: 3.81 5.48 6.94 5/180 6058
/proc/meminfo: memFree=28577464/32951124 swapFree=67111356/67111528
[pid=6058] ppid=6056 vsize=382780 CPUtime=2.06 cores=1,3,5,7
/proc/6058/stat : 6058 (SArTagnan) R 6056 6058 5544 0 -1 4202496 48151 0 0 0 201 5 0 0 25 0 4 0 523920152 391966720 29275 33554432000 4194304 4623224 140735671321792 18446744073709551615 4281101 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/6058/statm: 95695 29275 350 105 0 91199 0
Current children cumulated CPU time (s) 2.06
Current children cumulated vsize (KiB) 382780

[startup+1.50072 s]
/proc/loadavg: 3.81 5.48 6.94 9/184 6062
/proc/meminfo: memFree=28432732/32951124 swapFree=67111356/67111528
[pid=6058] ppid=6056 vsize=385240 CPUtime=5.25 cores=1,3,5,7
/proc/6058/stat : 6058 (SArTagnan) R 6056 6058 5544 0 -1 4202496 51217 0 0 0 519 6 0 0 25 0 4 0 523920152 394485760 32058 33554432000 4194304 4623224 140735671321792 18446744073709551615 4526821 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/6058/statm: 96310 32058 356 105 0 91814 0
[pid=6058/tid=6060] ppid=6056 vsize=385240 CPUtime=1.24 cores=1,3,5,7
/proc/6058/task/6060/stat : 6060 (SArTagnan) R 6056 6058 5544 0 -1 4202560 2867 0 0 0 124 0 0 0 25 0 4 0 523920176 394485760 32058 33554432000 4194304 4623224 140735671321792 18446744073709551615 4366247 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=6058/tid=6061] ppid=6056 vsize=385240 CPUtime=1.24 cores=1,3,5,7
/proc/6058/task/6061/stat : 6061 (SArTagnan) R 6056 6058 5544 0 -1 4202560 3852 0 0 0 124 0 0 0 25 0 4 0 523920176 394485760 32061 33554432000 4194304 4623224 140735671321792 18446744073709551615 4330834 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=6058/tid=6062] ppid=6056 vsize=385240 CPUtime=1.25 cores=1,3,5,7
/proc/6058/task/6062/stat : 6062 (SArTagnan) R 6056 6058 5544 0 -1 4202560 1470 0 0 0 125 0 0 0 25 0 4 0 523920176 394485760 32061 33554432000 4194304 4623224 140735671321792 18446744073709551615 4364669 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 5.25
Current children cumulated vsize (KiB) 385240

[startup+3.10043 s]
/proc/loadavg: 3.81 5.48 6.94 9/184 6062
/proc/meminfo: memFree=28391716/32951124 swapFree=67111356/67111528
[pid=6058] ppid=6056 vsize=394436 CPUtime=11.64 cores=1,3,5,7
/proc/6058/stat : 6058 (SArTagnan) R 6056 6058 5544 0 -1 4202496 62926 0 0 0 1157 7 0 0 25 0 4 0 523920152 403902464 42150 33554432000 4194304 4623224 140735671321792 18446744073709551615 4415014 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/6058/statm: 98609 42150 349 105 0 94113 0
[pid=6058/tid=6060] ppid=6056 vsize=394436 CPUtime=2.84 cores=1,3,5,7
/proc/6058/task/6060/stat : 6060 (SArTagnan) R 6056 6058 5544 0 -1 4202560 5489 0 0 0 284 0 0 0 25 0 4 0 523920176 403902464 42150 33554432000 4194304 4623224 140735671321792 18446744073709551615 4376892 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=6058/tid=6061] ppid=6056 vsize=394436 CPUtime=2.83 cores=1,3,5,7
/proc/6058/task/6061/stat : 6061 (SArTagnan) R 6056 6058 5544 0 -1 4202560 10100 0 0 0 282 1 0 0 25 0 4 0 523920176 403902464 42150 33554432000 4194304 4623224 140735671321792 18446744073709551615 4376850 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=6058/tid=6062] ppid=6056 vsize=394436 CPUtime=2.84 cores=1,3,5,7
/proc/6058/task/6062/stat : 6062 (SArTagnan) R 6056 6058 5544 0 -1 4202560 3455 0 0 0 284 0 0 0 25 0 4 0 523920176 403902464 42150 33554432000 4194304 4623224 140735671321792 18446744073709551615 4550936 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 11.64
Current children cumulated vsize (KiB) 394436

[startup+6.30086 s]
/proc/loadavg: 4.22 5.54 6.95 9/184 6062
/proc/meminfo: memFree=28272684/32951124 swapFree=67111356/67111528
[pid=6058] ppid=6056 vsize=449152 CPUtime=24.43 cores=1,3,5,7
/proc/6058/stat : 6058 (SArTagnan) R 6056 6058 5544 0 -1 4202496 89466 0 0 0 2430 13 0 0 25 0 4 0 523920152 459931648 59033 33554432000 4194304 4623224 140735671321792 18446744073709551615 4414993 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/6058/statm: 112288 59033 413 105 0 107792 0
[pid=6058/tid=6060] ppid=6056 vsize=449152 CPUtime=6.04 cores=1,3,5,7
/proc/6058/task/6060/stat : 6060 (SArTagnan) R 6056 6058 5544 0 -1 4202560 11070 0 0 0 602 2 0 0 25 0 4 0 523920176 459931648 59033 33554432000 4194304 4623224 140735671321792 18446744073709551615 4377034 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=6058/tid=6061] ppid=6056 vsize=449152 CPUtime=6.01 cores=1,3,5,7
/proc/6058/task/6061/stat : 6061 (SArTagnan) R 6056 6058 5544 0 -1 4202560 18408 0 0 0 599 2 0 0 25 0 4 0 523920176 459931648 59033 33554432000 4194304 4623224 140735671321792 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=6058/tid=6062] ppid=6056 vsize=449152 CPUtime=6.05 cores=1,3,5,7
/proc/6058/task/6062/stat : 6062 (SArTagnan) R 6056 6058 5544 0 -1 4202560 8001 0 0 0 604 1 0 0 25 0 4 0 523920176 459931648 59033 33554432000 4194304 4623224 140735671321792 18446744073709551615 4376846 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 24.43
Current children cumulated vsize (KiB) 449152

[startup+12.7007 s]
/proc/loadavg: 4.52 5.58 6.96 9/184 6063
/proc/meminfo: memFree=28110660/32951124 swapFree=67111356/67111528
[pid=6058] ppid=6056 vsize=519340 CPUtime=49.99 cores=1,3,5,7
/proc/6058/stat : 6058 (SArTagnan) R 6056 6058 5544 0 -1 4202496 122270 0 0 0 4977 22 0 0 25 0 4 0 523920152 531804160 84904 33554432000 4194304 4623224 140735671321792 18446744073709551615 4414984 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/6058/statm: 129835 84904 535 105 0 125339 0
[pid=6058/tid=6060] ppid=6056 vsize=519340 CPUtime=12.44 cores=1,3,5,7
/proc/6058/task/6060/stat : 6060 (SArTagnan) R 6056 6058 5544 0 -1 4202560 17923 0 0 0 1240 4 0 0 25 0 4 0 523920176 531804160 84904 33554432000 4194304 4623224 140735671321792 18446744073709551615 4376869 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=6058/tid=6061] ppid=6056 vsize=519340 CPUtime=12.38 cores=1,3,5,7
/proc/6058/task/6061/stat : 6061 (SArTagnan) R 6056 6058 5544 0 -1 4202560 33683 0 0 0 1230 8 0 0 25 0 4 0 523920176 531804160 84904 33554432000 4194304 4623224 140735671321792 18446744073709551615 4463036 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=6058/tid=6062] ppid=6056 vsize=519340 CPUtime=12.45 cores=1,3,5,7
/proc/6058/task/6062/stat : 6062 (SArTagnan) R 6056 6058 5544 0 -1 4202560 17147 0 0 0 1242 3 0 0 25 0 4 0 523920176 531804160 84904 33554432000 4194304 4623224 140735671321792 18446744073709551615 4354512 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 49.99
Current children cumulated vsize (KiB) 519340

[startup+25.5004 s]
/proc/loadavg: 5.29 5.70 6.97 9/184 6063
/proc/meminfo: memFree=27861064/32951124 swapFree=67111356/67111528
[pid=6058] ppid=6056 vsize=725612 CPUtime=101.11 cores=1,3,5,7
/proc/6058/stat : 6058 (SArTagnan) R 6056 6058 5544 0 -1 4202496 211831 0 0 0 10071 40 0 0 25 0 4 0 523920152 743026688 124324 33554432000 4194304 4623224 140735671321792 18446744073709551615 4355951 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/6058/statm: 181403 124324 614 105 0 176907 0
[pid=6058/tid=6060] ppid=6056 vsize=725612 CPUtime=25.24 cores=1,3,5,7
/proc/6058/task/6060/stat : 6060 (SArTagnan) R 6056 6058 5544 0 -1 4202560 28550 0 0 0 2515 9 0 0 25 0 4 0 523920176 743026688 124324 33554432000 4194304 4623224 140735671321792 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=6058/tid=6061] ppid=6056 vsize=725612 CPUtime=25.1 cores=1,3,5,7
/proc/6058/task/6061/stat : 6061 (SArTagnan) R 6056 6058 5544 0 -1 4202560 51306 0 0 0 2498 12 0 0 25 0 4 0 523920176 743026688 124324 33554432000 4194304 4623224 140735671321792 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=6058/tid=6062] ppid=6056 vsize=725612 CPUtime=25.25 cores=1,3,5,7
/proc/6058/task/6062/stat : 6062 (SArTagnan) R 6056 6058 5544 0 -1 4202560 46707 0 0 0 2517 8 0 0 25 0 4 0 523920176 743026688 124324 33554432000 4194304 4623224 140735671321792 18446744073709551615 4363755 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 101.11
Current children cumulated vsize (KiB) 725612

[startup+51.1007 s]
/proc/loadavg: 6.27 5.90 7.01 9/184 6064
/proc/meminfo: memFree=27363628/32951124 swapFree=67111356/67111528
[pid=6058] ppid=6056 vsize=1122320 CPUtime=203.35 cores=1,3,5,7
/proc/6058/stat : 6058 (SArTagnan) R 6056 6058 5544 0 -1 4202496 520867 0 0 0 20243 92 0 0 25 0 4 0 523920152 1149255680 213705 33554432000 4194304 4623224 140735671321792 18446744073709551615 4415014 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/6058/statm: 280580 213705 405 105 0 276084 0
[pid=6058/tid=6060] ppid=6056 vsize=1122320 CPUtime=50.85 cores=1,3,5,7
/proc/6058/task/6060/stat : 6060 (SArTagnan) R 6056 6058 5544 0 -1 4202560 37413 0 0 0 5073 12 0 0 25 0 4 0 523920176 1149255680 213705 33554432000 4194304 4623224 140735671321792 18446744073709551615 4278641 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=6058/tid=6061] ppid=6056 vsize=1122320 CPUtime=50.55 cores=1,3,5,7
/proc/6058/task/6061/stat : 6061 (SArTagnan) R 6056 6058 5544 0 -1 4202560 74621 0 0 0 5030 25 0 0 25 0 4 0 523920176 1149255680 213705 33554432000 4194304 4623224 140735671321792 18446744073709551615 4376880 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=6058/tid=6062] ppid=6056 vsize=1122320 CPUtime=50.84 cores=1,3,5,7
/proc/6058/task/6062/stat : 6062 (SArTagnan) R 6056 6058 5544 0 -1 4202560 169540 0 0 0 5059 25 0 0 25 0 4 0 523920176 1149255680 213705 33554432000 4194304 4623224 140735671321792 18446744073709551615 4545376 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 203.35
Current children cumulated vsize (KiB) 1122320

[startup+102.306 s]
/proc/loadavg: 7.35 6.25 7.07 9/184 6065
/proc/meminfo: memFree=26845036/32951124 swapFree=67111356/67111528
[pid=6058] ppid=6056 vsize=1455680 CPUtime=407.89 cores=1,3,5,7
/proc/6058/stat : 6058 (SArTagnan) R 6056 6058 5544 0 -1 4202496 1057996 0 0 0 40602 187 0 0 25 0 4 0 523920152 1490616320 290149 33554432000 4194304 4623224 140735671321792 18446744073709551615 4415028 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/6058/statm: 363920 290149 483 105 0 359424 0
[pid=6058/tid=6060] ppid=6056 vsize=1455680 CPUtime=102.05 cores=1,3,5,7
/proc/6058/task/6060/stat : 6060 (SArTagnan) R 6056 6058 5544 0 -1 4202560 51183 0 0 0 10189 16 0 0 25 0 4 0 523920176 1490616320 290149 33554432000 4194304 4623224 140735671321792 18446744073709551615 4357901 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=6058/tid=6061] ppid=6056 vsize=1455680 CPUtime=101.47 cores=1,3,5,7
/proc/6058/task/6061/stat : 6061 (SArTagnan) R 6056 6058 5544 0 -1 4202560 101882 0 0 0 10106 41 0 0 25 0 4 0 523920176 1490616320 290149 33554432000 4194304 4623224 140735671321792 18446744073709551615 4376711 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=6058/tid=6062] ppid=6056 vsize=1455680 CPUtime=102.04 cores=1,3,5,7
/proc/6058/task/6062/stat : 6062 (SArTagnan) R 6056 6058 5544 0 -1 4202560 550563 0 0 0 10118 86 0 0 25 0 4 0 523920176 1490616320 290149 33554432000 4194304 4623224 140735671321792 18446744073709551615 4545376 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 407.89
Current children cumulated vsize (KiB) 1455680

[startup+162.301 s]
/proc/loadavg: 7.85 6.60 7.13 9/184 6067
/proc/meminfo: memFree=26431344/32951124 swapFree=67111356/67111528
[pid=6058] ppid=6056 vsize=1811228 CPUtime=647.54 cores=1,3,5,7
/proc/6058/stat : 6058 (SArTagnan) R 6056 6058 5544 0 -1 4202496 1371624 0 0 0 64518 236 0 0 25 0 4 0 523920152 1854697472 337055 33554432000 4194304 4623224 140735671321792 18446744073709551615 4510285 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/6058/statm: 452807 337055 593 105 0 448311 0
[pid=6058/tid=6060] ppid=6056 vsize=1811228 CPUtime=162.05 cores=1,3,5,7
/proc/6058/task/6060/stat : 6060 (SArTagnan) R 6056 6058 5544 0 -1 4202560 51774 0 0 0 16188 17 0 0 25 0 4 0 523920176 1854697472 337055 33554432000 4194304 4623224 140735671321792 18446744073709551615 4357901 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=6058/tid=6061] ppid=6056 vsize=1811228 CPUtime=161.14 cores=1,3,5,7
/proc/6058/task/6061/stat : 6061 (SArTagnan) R 6056 6058 5544 0 -1 4202560 104708 0 0 0 16072 42 0 0 25 0 4 0 523920176 1854697472 337055 33554432000 4194304 4623224 140735671321792 18446744073709551615 4357901 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=6058/tid=6062] ppid=6056 vsize=1811228 CPUtime=162.03 cores=1,3,5,7
/proc/6058/task/6062/stat : 6062 (SArTagnan) R 6056 6058 5544 0 -1 4202560 716795 0 0 0 16088 115 0 0 25 0 4 0 523920176 1854697472 337055 33554432000 4194304 4623224 140735671321792 18446744073709551615 4376869 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 647.54
Current children cumulated vsize (KiB) 1811228

[startup+222.301 s]
/proc/loadavg: 8.03 6.88 7.19 9/184 6068
/proc/meminfo: memFree=26146620/32951124 swapFree=67111356/67111528
[pid=6058] ppid=6056 vsize=1811228 CPUtime=887.21 cores=1,3,5,7
/proc/6058/stat : 6058 (SArTagnan) R 6056 6058 5544 0 -1 4202496 1840238 0 0 0 88404 317 0 0 25 0 4 0 523920152 1854697472 357886 33554432000 4194304 4623224 140735671321792 18446744073709551615 4414984 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/6058/statm: 452807 357887 593 105 0 448311 0
[pid=6058/tid=6060] ppid=6056 vsize=1811228 CPUtime=222.05 cores=1,3,5,7
/proc/6058/task/6060/stat : 6060 (SArTagnan) R 6056 6058 5544 0 -1 4202560 52475 0 0 0 22188 17 0 0 25 0 4 0 523920176 1854697472 357887 33554432000 4194304 4623224 140735671321792 18446744073709551615 4357901 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=6058/tid=6061] ppid=6056 vsize=1811228 CPUtime=220.82 cores=1,3,5,7
/proc/6058/task/6061/stat : 6061 (SArTagnan) R 6056 6058 5544 0 -1 4202560 105797 0 0 0 22039 43 0 0 25 0 4 0 523920176 1854697472 357888 33554432000 4194304 4623224 140735671321792 18446744073709551615 4357430 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=6058/tid=6062] ppid=6056 vsize=1811228 CPUtime=222.04 cores=1,3,5,7
/proc/6058/task/6062/stat : 6062 (SArTagnan) R 6056 6058 5544 0 -1 4202560 1174247 0 0 0 22010 194 0 0 25 0 4 0 523920176 1854697472 357888 33554432000 4194304 4623224 140735671321792 18446744073709551615 4366247 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 887.21
Current children cumulated vsize (KiB) 1811228

[startup+282.301 s]

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

[pid=6058] ppid=6056 vsize=2504812 CPUtime=2804.65 cores=1,3,5,7
/proc/6058/stat : 6058 (SArTagnan) R 6056 6058 5544 0 -1 4202496 3746227 0 0 0 279830 635 0 0 25 0 4 0 523920152 2564927488 485141 33554432000 4194304 4623224 140735671321792 18446744073709551615 4414880 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/6058/statm: 626203 485141 342 105 0 621707 0
[pid=6058/tid=6060] ppid=6056 vsize=2504812 CPUtime=702.06 cores=1,3,5,7
/proc/6058/task/6060/stat : 6060 (SArTagnan) R 6056 6058 5544 0 -1 4202560 72290 0 0 0 70186 20 0 0 25 0 4 0 523920176 2564927488 485141 33554432000 4194304 4623224 140735671321792 18446744073709551615 4357641 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=6058/tid=6061] ppid=6056 vsize=2504812 CPUtime=698.22 cores=1,3,5,7
/proc/6058/task/6061/stat : 6061 (SArTagnan) R 6056 6058 5544 0 -1 4202560 122341 0 0 0 69774 48 0 0 25 0 4 0 523920176 2564927488 485141 33554432000 4194304 4623224 140735671321792 18446744073709551615 4357641 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=6058/tid=6062] ppid=6056 vsize=2504812 CPUtime=702.04 cores=1,3,5,7
/proc/6058/task/6062/stat : 6062 (SArTagnan) R 6056 6058 5544 0 -1 4202560 2785527 0 0 0 69740 464 0 0 25 0 4 0 523920176 2564927488 485141 33554432000 4194304 4623224 140735671321792 18446744073709551615 4364232 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2804.65
Current children cumulated vsize (KiB) 2504812

[startup+762.307 s]
/proc/loadavg: 8.12 7.90 7.58 9/184 6083
/proc/meminfo: memFree=24900804/32951124 swapFree=67111356/67111528
[pid=6058] ppid=6056 vsize=2526684 CPUtime=3044.35 cores=1,3,5,7
/proc/6058/stat : 6058 (SArTagnan) R 6056 6058 5544 0 -1 4202496 3766541 0 0 0 303793 642 0 0 25 0 4 0 523920152 2587324416 497777 33554432000 4194304 4623224 140735671321792 18446744073709551615 4414965 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/6058/statm: 631671 497777 342 105 0 627175 0
[pid=6058/tid=6060] ppid=6056 vsize=2526684 CPUtime=762.07 cores=1,3,5,7
/proc/6058/task/6060/stat : 6060 (SArTagnan) R 6056 6058 5544 0 -1 4202560 72616 0 0 0 76186 21 0 0 25 0 4 0 523920176 2587324416 497777 33554432000 4194304 4623224 140735671321792 18446744073709551615 4357901 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=6058/tid=6061] ppid=6056 vsize=2526684 CPUtime=757.89 cores=1,3,5,7
/proc/6058/task/6061/stat : 6061 (SArTagnan) R 6056 6058 5544 0 -1 4202560 123204 0 0 0 75740 49 0 0 25 0 4 0 523920176 2587324416 497777 33554432000 4194304 4623224 140735671321792 18446744073709551615 4486238 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=6058/tid=6062] ppid=6056 vsize=2526684 CPUtime=762.05 cores=1,3,5,7
/proc/6058/task/6062/stat : 6062 (SArTagnan) R 6056 6058 5544 0 -1 4202560 2791834 0 0 0 75739 466 0 0 25 0 4 0 523920176 2587324416 497777 33554432000 4194304 4623224 140735671321792 18446744073709551615 4363989 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3044.35
Current children cumulated vsize (KiB) 2526684

[startup+822.301 s]
/proc/loadavg: 8.04 7.91 7.60 9/184 6084
/proc/meminfo: memFree=24835192/32951124 swapFree=67111356/67111528
[pid=6058] ppid=6056 vsize=2558524 CPUtime=3284.01 cores=1,3,5,7
/proc/6058/stat : 6058 (SArTagnan) R 6056 6058 5544 0 -1 4202496 3792652 0 0 0 327752 649 0 0 25 0 4 0 523920152 2619928576 511626 33554432000 4194304 4623224 140735671321792 18446744073709551615 4415014 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/6058/statm: 639631 511626 342 105 0 635135 0
[pid=6058/tid=6060] ppid=6056 vsize=2558524 CPUtime=822.07 cores=1,3,5,7
/proc/6058/task/6060/stat : 6060 (SArTagnan) R 6056 6058 5544 0 -1 4202560 73138 0 0 0 82186 21 0 0 25 0 4 0 523920176 2619928576 511626 33554432000 4194304 4623224 140735671321792 18446744073709551615 4357641 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=6058/tid=6061] ppid=6056 vsize=2558524 CPUtime=817.56 cores=1,3,5,7
/proc/6058/task/6061/stat : 6061 (SArTagnan) R 6056 6058 5544 0 -1 4202560 123441 0 0 0 81707 49 0 0 25 0 4 0 523920176 2619928576 511626 33554432000 4194304 4623224 140735671321792 18446744073709551615 4357901 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=6058/tid=6062] ppid=6056 vsize=2558524 CPUtime=822.04 cores=1,3,5,7
/proc/6058/task/6062/stat : 6062 (SArTagnan) R 6056 6058 5544 0 -1 4202560 2798850 0 0 0 81737 467 0 0 25 0 4 0 523920176 2619928576 511626 33554432000 4194304 4623224 140735671321792 18446744073709551615 4364911 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3284.01
Current children cumulated vsize (KiB) 2558524

[startup+882.301 s]
/proc/loadavg: 8.06 7.94 7.63 9/184 6086
/proc/meminfo: memFree=24761996/32951124 swapFree=67111356/67111528
[pid=6058] ppid=6056 vsize=2578680 CPUtime=3523.69 cores=1,3,5,7
/proc/6058/stat : 6058 (SArTagnan) R 6056 6058 5544 0 -1 4202496 3815067 0 0 0 351714 655 0 0 25 0 4 0 523920152 2640568320 523032 33554432000 4194304 4623224 140735671321792 18446744073709551615 4510059 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/6058/statm: 644670 523032 342 105 0 640174 0
[pid=6058/tid=6060] ppid=6056 vsize=2578680 CPUtime=882.07 cores=1,3,5,7
/proc/6058/task/6060/stat : 6060 (SArTagnan) R 6056 6058 5544 0 -1 4202560 73350 0 0 0 88186 21 0 0 25 0 4 0 523920176 2640568320 523032 33554432000 4194304 4623224 140735671321792 18446744073709551615 4486238 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=6058/tid=6061] ppid=6056 vsize=2578680 CPUtime=877.23 cores=1,3,5,7
/proc/6058/task/6061/stat : 6061 (SArTagnan) R 6056 6058 5544 0 -1 4202560 123582 0 0 0 87674 49 0 0 25 0 4 0 523920176 2640568320 523032 33554432000 4194304 4623224 140735671321792 18446744073709551615 4357901 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=6058/tid=6062] ppid=6056 vsize=2578680 CPUtime=882.05 cores=1,3,5,7
/proc/6058/task/6062/stat : 6062 (SArTagnan) R 6056 6058 5544 0 -1 4202560 2804188 0 0 0 87735 470 0 0 25 0 4 0 523920176 2640568320 523032 33554432000 4194304 4623224 140735671321792 18446744073709551615 4365960 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3523.69
Current children cumulated vsize (KiB) 2578680

[startup+942.3 s]
/proc/loadavg: 8.06 7.96 7.66 9/184 6087
/proc/meminfo: memFree=24686824/32951124 swapFree=67111356/67111528
[pid=6058] ppid=6056 vsize=2595440 CPUtime=3763.37 cores=1,3,5,7
/proc/6058/stat : 6058 (SArTagnan) R 6056 6058 5544 0 -1 4202496 3837612 0 0 0 375674 663 0 0 25 0 4 0 523920152 2657730560 534590 33554432000 4194304 4623224 140735671321792 18446744073709551615 4415028 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/6058/statm: 648860 534590 342 105 0 644364 0
[pid=6058/tid=6060] ppid=6056 vsize=2595440 CPUtime=942.07 cores=1,3,5,7
/proc/6058/task/6060/stat : 6060 (SArTagnan) R 6056 6058 5544 0 -1 4202560 73514 0 0 0 94186 21 0 0 25 0 4 0 523920176 2657730560 534590 33554432000 4194304 4623224 140735671321792 18446744073709551615 4357901 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=6058/tid=6061] ppid=6056 vsize=2595440 CPUtime=936.91 cores=1,3,5,7
/proc/6058/task/6061/stat : 6061 (SArTagnan) R 6056 6058 5544 0 -1 4202560 124045 0 0 0 93642 49 0 0 25 0 4 0 523920176 2657730560 534590 33554432000 4194304 4623224 140735671321792 18446744073709551615 4357641 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=6058/tid=6062] ppid=6056 vsize=2595440 CPUtime=942.05 cores=1,3,5,7
/proc/6058/task/6062/stat : 6062 (SArTagnan) R 6056 6058 5544 0 -1 4202560 2809164 0 0 0 93734 471 0 0 25 0 4 0 523920176 2657730560 534590 33554432000 4194304 4623224 140735671321792 18446744073709551615 4377128 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3763.37
Current children cumulated vsize (KiB) 2595440

[startup+1002.3 s]
/proc/loadavg: 8.05 7.98 7.68 9/184 6089
/proc/meminfo: memFree=24617956/32951124 swapFree=67111356/67111528
[pid=6058] ppid=6056 vsize=2612984 CPUtime=4003.04 cores=1,3,5,7
/proc/6058/stat : 6058 (SArTagnan) R 6056 6058 5544 0 -1 4202496 3860621 0 0 0 399634 670 0 0 25 0 4 0 523920152 2675695616 546094 33554432000 4194304 4623224 140735671321792 18446744073709551615 4414965 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/6058/statm: 653246 546094 342 105 0 648750 0
[pid=6058/tid=6060] ppid=6056 vsize=2612984 CPUtime=1002.07 cores=1,3,5,7
/proc/6058/task/6060/stat : 6060 (SArTagnan) R 6056 6058 5544 0 -1 4202560 73670 0 0 0 100186 21 0 0 25 0 4 0 523920176 2675695616 546094 33554432000 4194304 4623224 140735671321792 18446744073709551615 4486238 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=6058/tid=6061] ppid=6056 vsize=2612984 CPUtime=996.58 cores=1,3,5,7
/proc/6058/task/6061/stat : 6061 (SArTagnan) R 6056 6058 5544 0 -1 4202560 124701 0 0 0 99608 50 0 0 25 0 4 0 523920176 2675695616 546094 33554432000 4194304 4623224 140735671321792 18446744073709551615 4357673 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=6058/tid=6062] ppid=6056 vsize=2612984 CPUtime=1002.05 cores=1,3,5,7
/proc/6058/task/6062/stat : 6062 (SArTagnan) R 6056 6058 5544 0 -1 4202560 2814284 0 0 0 99732 473 0 0 25 0 4 0 523920176 2675695616 546094 33554432000 4194304 4623224 140735671321792 18446744073709551615 4545376 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4003.04
Current children cumulated vsize (KiB) 2612984

[startup+1062.3 s]
/proc/loadavg: 8.02 7.98 7.70 9/184 6091
/proc/meminfo: memFree=24549604/32951124 swapFree=67111356/67111528
[pid=6058] ppid=6056 vsize=2631352 CPUtime=4242.73 cores=1,3,5,7
/proc/6058/stat : 6058 (SArTagnan) R 6056 6058 5544 0 -1 4202496 3883826 0 0 0 423594 679 0 0 25 0 4 0 523920152 2694504448 556656 33554432000 4194304 4623224 140735671321792 18446744073709551615 4415028 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/6058/statm: 657838 556656 342 105 0 653342 0
[pid=6058/tid=6060] ppid=6056 vsize=2631352 CPUtime=1062.07 cores=1,3,5,7
/proc/6058/task/6060/stat : 6060 (SArTagnan) R 6056 6058 5544 0 -1 4202560 73789 0 0 0 106186 21 0 0 25 0 4 0 523920176 2694504448 556656 33554432000 4194304 4623224 140735671321792 18446744073709551615 4486238 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=6058/tid=6061] ppid=6056 vsize=2631352 CPUtime=1056.27 cores=1,3,5,7
/proc/6058/task/6061/stat : 6061 (SArTagnan) R 6056 6058 5544 0 -1 4202560 125123 0 0 0 105576 51 0 0 25 0 4 0 523920176 2694504448 556656 33554432000 4194304 4623224 140735671321792 18446744073709551615 4357576 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=6058/tid=6062] ppid=6056 vsize=2631352 CPUtime=1062.06 cores=1,3,5,7
/proc/6058/task/6062/stat : 6062 (SArTagnan) R 6056 6058 5544 0 -1 4202560 2819303 0 0 0 105731 475 0 0 25 0 4 0 523920176 2694504448 556656 33554432000 4194304 4623224 140735671321792 18446744073709551615 4545376 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4242.73
Current children cumulated vsize (KiB) 2631352

[startup+1122.3 s]
/proc/loadavg: 8.00 7.98 7.71 9/184 6092
/proc/meminfo: memFree=24358740/32951124 swapFree=67111356/67111528
[pid=6058] ppid=6056 vsize=3134020 CPUtime=4482.4 cores=1,3,5,7
/proc/6058/stat : 6058 (SArTagnan) R 6056 6058 5544 0 -1 4202496 4180175 0 0 0 447520 720 0 0 25 0 4 0 523920152 3209236480 598537 33554432000 4194304 4623224 140735671321792 18446744073709551615 4415028 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/6058/statm: 783505 598537 342 105 0 779009 0
[pid=6058/tid=6060] ppid=6056 vsize=3134020 CPUtime=1122.07 cores=1,3,5,7
/proc/6058/task/6060/stat : 6060 (SArTagnan) R 6056 6058 5544 0 -1 4202560 74109 0 0 0 112186 21 0 0 25 0 4 0 523920176 3209236480 598537 33554432000 4194304 4623224 140735671321792 18446744073709551615 4357641 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=6058/tid=6061] ppid=6056 vsize=3134020 CPUtime=1115.93 cores=1,3,5,7
/proc/6058/task/6061/stat : 6061 (SArTagnan) R 6056 6058 5544 0 -1 4202560 125523 0 0 0 111542 51 0 0 25 0 4 0 523920176 3209236480 598537 33554432000 4194304 4623224 140735671321792 18446744073709551615 4357901 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=6058/tid=6062] ppid=6056 vsize=3134020 CPUtime=1122.05 cores=1,3,5,7
/proc/6058/task/6062/stat : 6062 (SArTagnan) R 6056 6058 5544 0 -1 4202560 2824258 0 0 0 111729 476 0 0 25 0 4 0 523920176 3209236480 598537 33554432000 4194304 4623224 140735671321792 18446744073709551615 4544936 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4482.4
Current children cumulated vsize (KiB) 3134020

[startup+1182.3 s]
/proc/loadavg: 8.08 8.00 7.74 9/184 6094
/proc/meminfo: memFree=24298304/32951124 swapFree=67111356/67111528
[pid=6058] ppid=6056 vsize=3150704 CPUtime=4722.09 cores=1,3,5,7
/proc/6058/stat : 6058 (SArTagnan) R 6056 6058 5544 0 -1 4202496 4203503 0 0 0 471481 728 0 0 25 0 4 0 523920152 3226320896 607773 33554432000 4194304 4623224 140735671321792 18446744073709551615 4414993 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/6058/statm: 787676 607773 342 105 0 783180 0
[pid=6058/tid=6060] ppid=6056 vsize=3150704 CPUtime=1182.07 cores=1,3,5,7
/proc/6058/task/6060/stat : 6060 (SArTagnan) R 6056 6058 5544 0 -1 4202560 74277 0 0 0 118186 21 0 0 25 0 4 0 523920176 3226320896 607773 33554432000 4194304 4623224 140735671321792 18446744073709551615 4357901 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=6058/tid=6061] ppid=6056 vsize=3150704 CPUtime=1175.61 cores=1,3,5,7
/proc/6058/task/6061/stat : 6061 (SArTagnan) R 6056 6058 5544 0 -1 4202560 125993 0 0 0 117510 51 0 0 25 0 4 0 523920176 3226320896 607773 33554432000 4194304 4623224 140735671321792 18446744073709551615 4357390 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=6058/tid=6062] ppid=6056 vsize=3150704 CPUtime=1182.06 cores=1,3,5,7
/proc/6058/task/6062/stat : 6062 (SArTagnan) R 6056 6058 5544 0 -1 4202560 2828765 0 0 0 117729 477 0 0 25 0 4 0 523920176 3226320896 607773 33554432000 4194304 4623224 140735671321792 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4722.09
Current children cumulated vsize (KiB) 3150704



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.9 s]
/proc/loadavg: 8.06 8.00 7.74 5/179 6095
/proc/meminfo: memFree=26151868/32951124 swapFree=67111356/67111528
[pid=6058] ppid=6056 vsize=3156176 CPUtime=4800.39 cores=1,3,5,7
/proc/6058/stat : 6058 (SArTagnan) R 6056 6058 5544 0 -1 4202496 4210837 0 0 0 479310 729 0 0 25 0 4 0 523920152 3231924224 610708 33554432000 4194304 4623224 140735671321792 18446744073709551615 4414959 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/6058/statm: 789044 610708 342 105 0 784548 0
[pid=6058/tid=6060] ppid=6056 vsize=3156176 CPUtime=1201.68 cores=1,3,5,7
/proc/6058/task/6060/stat : 6060 (SArTagnan) R 6056 6058 5544 0 -1 4202560 74322 0 0 0 120147 21 0 0 25 0 4 0 523920176 3231924224 610708 33554432000 4194304 4623224 140735671321792 18446744073709551615 4357901 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=6058/tid=6061] ppid=6056 vsize=3156176 CPUtime=1195.1 cores=1,3,5,7
/proc/6058/task/6061/stat : 6061 (SArTagnan) R 6056 6058 5544 0 -1 4202560 126178 0 0 0 119459 51 0 0 25 0 4 0 523920176 3231924224 610708 33554432000 4194304 4623224 140735671321792 18446744073709551615 4357901 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=6058/tid=6062] ppid=6056 vsize=3156176 CPUtime=1201.67 cores=1,3,5,7
/proc/6058/task/6062/stat : 6062 (SArTagnan) R 6056 6058 5544 0 -1 4202560 2830449 0 0 0 119689 478 0 0 25 0 4 0 523920176 3231924224 610708 33554432000 4194304 4623224 140735671321792 18446744073709551615 4577488 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4800.39
Current children cumulated vsize (KiB) 3156176

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

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

[startup+1201.9 s]
/proc/loadavg: 8.06 8.00 7.74 5/179 6095
/proc/meminfo: memFree=26151868/32951124 swapFree=67111356/67111528
[pid=6058] ppid=6056 vsize=3156176 CPUtime=4800.39 cores=1,3,5,7
/proc/6058/stat : 6058 (SArTagnan) R 6056 6058 5544 0 -1 4202496 4210837 0 0 0 479310 729 0 0 25 0 4 0 523920152 3231924224 610708 33554432000 4194304 4623224 140735671321792 18446744073709551615 4414959 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/6058/statm: 789044 610708 342 105 0 784548 0
[pid=6058/tid=6060] ppid=6056 vsize=3156176 CPUtime=1201.68 cores=1,3,5,7
/proc/6058/task/6060/stat : 6060 (SArTagnan) R 6056 6058 5544 0 -1 4202560 74322 0 0 0 120147 21 0 0 25 0 4 0 523920176 3231924224 610708 33554432000 4194304 4623224 140735671321792 18446744073709551615 4357901 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=6058/tid=6061] ppid=6056 vsize=3156176 CPUtime=1195.1 cores=1,3,5,7
/proc/6058/task/6061/stat : 6061 (SArTagnan) R 6056 6058 5544 0 -1 4202560 126178 0 0 0 119459 51 0 0 25 0 4 0 523920176 3231924224 610708 33554432000 4194304 4623224 140735671321792 18446744073709551615 4357901 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=6058/tid=6062] ppid=6056 vsize=3156176 CPUtime=1201.67 cores=1,3,5,7
/proc/6058/task/6062/stat : 6062 (SArTagnan) R 6056 6058 5544 0 -1 4202560 2830449 0 0 0 119689 478 0 0 25 0 4 0 523920176 3231924224 610708 33554432000 4194304 4623224 140735671321792 18446744073709551615 4577488 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4800.39
Current children cumulated vsize (KiB) 3156176

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1202
CPU time (s): 4800.52
CPU user time (s): 4793.13
CPU system time (s): 7.39188
CPU usage (%): 399.376
Max. virtual memory (cumulated for all children) (KiB): 4090924

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4793.13
system time used= 7.39188
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 4210837
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= 2464
involuntary context switches= 19657

runsolver used 1.72674 second user time and 4.83726 second system time

The end

Launcher Data 

Begin job on node137 at 2011-04-30 02:27:04
IDJOB=3251354
IDBENCH=88219
IDSOLVER=1656
FILE ID=node137/3251354-1304123224
RUNJOBID= node137-1304123224-6036
PBS_JOBID= 13170725
Free space on /tmp= 71608 MiB

SOLVER NAME= SArTagnan 2011-03-24
BENCH NAME= SAT11/crafted/anton/SRHD-SGI/srhd-sgi-m62-q1504.5-n60-p30-s88600538.cnf
COMMAND LINE= SArTagnan BENCHNAME -threads=NBCORE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3251354-1304123224/watcher-3251354-1304123224 -o /tmp/evaluation-result-3251354-1304123224/solver-3251354-1304123224 -C 4800 -W 1300 -M 15500  SArTagnan HOME/instance-3251354-1304123224.cnf -threads=4

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

MD5SUM BENCH= 76c30bc0971bc865c2b988ddaca89385
RANDOM SEED=1789179008

node137.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.844
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.68
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.844
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.75
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.844
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.844
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.74
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.844
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.82
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.844
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.844
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.844
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:     32951124 kB
MemFree:      28577620 kB
Buffers:        905424 kB
Cached:        2922296 kB
SwapCached:         48 kB
Active:         155888 kB
Inactive:      3757756 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      28577620 kB
SwapTotal:    67111528 kB
SwapFree:     67111356 kB
Dirty:           15076 kB
Writeback:          24 kB
AnonPages:       85172 kB
Mapped:          15352 kB
Slab:           397032 kB
PageTables:       4888 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   268376 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= 71608 MiB
End job on node137 at 2011-04-30 02:47:08