Trace number 3250914

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.57 1202.07

General information on the benchmark

Namecrafted/anton/SRHD-SGI/
srhd-sgi-m52-q918.75-n50-p30-s52376212.cnf
MD5SUMf34a5dd1cdce70a322dd395bcb5f1303
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables2548
Number of clauses582679
Sum of the clauses size1167806
Maximum clause length52
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 2582629
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-3250914-1304119506/watcher-3250914-1304119506 -o /tmp/evaluation-result-3250914-1304119506/solver-3250914-1304119506 -C 4800 -W 1300 -M 15500 SArTagnan HOME/instance-3250914-1304119506.cnf -threads=4 

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

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


[startup+0 s]
/proc/loadavg: 1.68 3.98 5.51 6/180 22325
/proc/meminfo: memFree=30570444/32951124 swapFree=67111416/67111528
[pid=22325] ppid=22323 vsize=32684 CPUtime=0 cores=0,2,4,6
/proc/22325/stat : 22325 (SArTagnan) R 22323 22325 22284 0 -1 4202496 591 0 0 0 0 0 0 0 24 0 1 0 523552974 33468416 493 33554432000 4194304 4623224 140736768650080 18446744073709551615 212436060295 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/22325/statm: 8171 494 297 105 0 3675 0

[startup+0.0431069 s]
/proc/loadavg: 1.68 3.98 5.51 6/180 22325
/proc/meminfo: memFree=30570444/32951124 swapFree=67111416/67111528
[pid=22325] ppid=22323 vsize=34900 CPUtime=0.03 cores=0,2,4,6
/proc/22325/stat : 22325 (SArTagnan) R 22323 22325 22284 0 -1 4202496 2222 0 0 0 3 0 0 0 24 0 1 0 523552974 35737600 1015 33554432000 4194304 4623224 140736768650080 18446744073709551615 212436016896 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/22325/statm: 8725 1015 297 105 0 4229 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 34900

[startup+0.101096 s]
/proc/loadavg: 1.68 3.98 5.51 6/180 22325
/proc/meminfo: memFree=30570444/32951124 swapFree=67111416/67111528
[pid=22325] ppid=22323 vsize=37936 CPUtime=0.09 cores=0,2,4,6
/proc/22325/stat : 22325 (SArTagnan) R 22323 22325 22284 0 -1 4202496 4549 0 0 0 9 0 0 0 24 0 1 0 523552974 38846464 1824 33554432000 4194304 4623224 140736768650080 18446744073709551615 212436060250 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/22325/statm: 11535 1851 297 105 0 7039 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 37936

[startup+0.300995 s]
/proc/loadavg: 1.68 3.98 5.51 6/180 22325
/proc/meminfo: memFree=30570444/32951124 swapFree=67111416/67111528
[pid=22325] ppid=22323 vsize=318292 CPUtime=0.75 cores=0,2,4,6
/proc/22325/stat : 22325 (SArTagnan) R 22323 22325 22284 0 -1 4202496 26189 0 0 0 72 3 0 0 18 0 4 0 523552974 325931008 16715 33554432000 4194304 4623224 140736768650080 18446744073709551615 212435678241 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/22325/statm: 79573 16717 355 105 0 75077 0
Current children cumulated CPU time (s) 0.75
Current children cumulated vsize (KiB) 318292

[startup+0.700919 s]
/proc/loadavg: 1.68 3.98 5.51 6/180 22325
/proc/meminfo: memFree=30570444/32951124 swapFree=67111416/67111528
[pid=22325] ppid=22323 vsize=341084 CPUtime=2.34 cores=0,2,4,6
/proc/22325/stat : 22325 (SArTagnan) R 22323 22325 22284 0 -1 4202496 47086 0 0 0 228 6 0 0 18 0 4 0 523552974 349270016 26458 33554432000 4194304 4623224 140736768650080 18446744073709551615 4510596 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/22325/statm: 85271 26458 385 105 0 80775 0
Current children cumulated CPU time (s) 2.34
Current children cumulated vsize (KiB) 341084

[startup+1.50077 s]
/proc/loadavg: 1.68 3.98 5.51 10/184 22329
/proc/meminfo: memFree=30431032/32951124 swapFree=67111416/67111528
[pid=22325] ppid=22323 vsize=343232 CPUtime=5.53 cores=0,2,4,6
/proc/22325/stat : 22325 (SArTagnan) R 22323 22325 22284 0 -1 4202496 50781 0 0 0 547 6 0 0 19 0 4 0 523552974 351469568 29837 33554432000 4194304 4623224 140736768650080 18446744073709551615 4510189 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/22325/statm: 85808 29837 387 105 0 81312 0
[pid=22325/tid=22327] ppid=22323 vsize=343232 CPUtime=1.34 cores=0,2,4,6
/proc/22325/task/22327/stat : 22327 (SArTagnan) R 22323 22325 22284 0 -1 4202560 2295 0 0 0 134 0 0 0 25 0 4 0 523552988 351469568 29837 33554432000 4194304 4623224 140736768650080 18446744073709551615 4376858 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=22325/tid=22328] ppid=22323 vsize=343232 CPUtime=1.33 cores=0,2,4,6
/proc/22325/task/22328/stat : 22328 (SArTagnan) R 22323 22325 22284 0 -1 4202560 3386 0 0 0 133 0 0 0 25 0 4 0 523552988 351469568 29837 33554432000 4194304 4623224 140736768650080 18446744073709551615 4377128 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=22325/tid=22329] ppid=22323 vsize=343232 CPUtime=1.35 cores=0,2,4,6
/proc/22325/task/22329/stat : 22329 (SArTagnan) R 22323 22325 22284 0 -1 4202560 1231 0 0 0 135 0 0 0 25 0 4 0 523552988 351469568 29837 33554432000 4194304 4623224 140736768650080 18446744073709551615 4363728 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 5.53
Current children cumulated vsize (KiB) 343232

[startup+3.10046 s]
/proc/loadavg: 2.18 4.04 5.52 9/184 22329
/proc/meminfo: memFree=30395444/32951124 swapFree=67111416/67111528
[pid=22325] ppid=22323 vsize=349960 CPUtime=11.93 cores=0,2,4,6
/proc/22325/stat : 22325 (SArTagnan) R 22323 22325 22284 0 -1 4202496 55795 0 0 0 1186 7 0 0 24 0 4 0 523552974 358359040 33996 33554432000 4194304 4623224 140736768650080 18446744073709551615 4510175 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/22325/statm: 87490 33996 358 105 0 82994 0
[pid=22325/tid=22327] ppid=22323 vsize=349960 CPUtime=2.94 cores=0,2,4,6
/proc/22325/task/22327/stat : 22327 (SArTagnan) R 22323 22325 22284 0 -1 4202560 4150 0 0 0 294 0 0 0 25 0 4 0 523552988 358359040 33996 33554432000 4194304 4623224 140736768650080 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=22325/tid=22328] ppid=22323 vsize=349960 CPUtime=2.93 cores=0,2,4,6
/proc/22325/task/22328/stat : 22328 (SArTagnan) R 22323 22325 22284 0 -1 4202560 4978 0 0 0 293 0 0 0 25 0 4 0 523552988 358359040 33996 33554432000 4194304 4623224 140736768650080 18446744073709551615 4377144 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=22325/tid=22329] ppid=22323 vsize=349960 CPUtime=2.95 cores=0,2,4,6
/proc/22325/task/22329/stat : 22329 (SArTagnan) R 22323 22325 22284 0 -1 4202560 1958 0 0 0 295 0 0 0 25 0 4 0 523552988 358359040 33996 33554432000 4194304 4623224 140736768650080 18446744073709551615 4376880 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 11.93
Current children cumulated vsize (KiB) 349960

[startup+6.30086 s]
/proc/loadavg: 2.18 4.04 5.52 9/184 22329
/proc/meminfo: memFree=30324396/32951124 swapFree=67111416/67111528
[pid=22325] ppid=22323 vsize=361420 CPUtime=24.72 cores=0,2,4,6
/proc/22325/stat : 22325 (SArTagnan) R 22323 22325 22284 0 -1 4202496 63502 0 0 0 2462 10 0 0 25 0 4 0 523552974 370094080 41632 33554432000 4194304 4623224 140736768650080 18446744073709551615 4510169 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/22325/statm: 90355 41632 376 105 0 85859 0
[pid=22325/tid=22327] ppid=22323 vsize=361420 CPUtime=6.14 cores=0,2,4,6
/proc/22325/task/22327/stat : 22327 (SArTagnan) R 22323 22325 22284 0 -1 4202560 7036 0 0 0 613 1 0 0 25 0 4 0 523552988 370094080 41632 33554432000 4194304 4623224 140736768650080 18446744073709551615 4376829 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=22325/tid=22328] ppid=22323 vsize=361420 CPUtime=6.11 cores=0,2,4,6
/proc/22325/task/22328/stat : 22328 (SArTagnan) R 22323 22325 22284 0 -1 4202560 8234 0 0 0 609 2 0 0 25 0 4 0 523552988 370094080 41632 33554432000 4194304 4623224 140736768650080 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=22325/tid=22329] ppid=22323 vsize=361420 CPUtime=6.15 cores=0,2,4,6
/proc/22325/task/22329/stat : 22329 (SArTagnan) R 22323 22325 22284 0 -1 4202560 3115 0 0 0 615 0 0 0 25 0 4 0 523552988 370094080 41632 33554432000 4194304 4623224 140736768650080 18446744073709551615 4364232 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 24.72
Current children cumulated vsize (KiB) 361420

[startup+12.7006 s]
/proc/loadavg: 3.08 4.17 5.55 9/184 22329
/proc/meminfo: memFree=30224684/32951124 swapFree=67111416/67111528
[pid=22325] ppid=22323 vsize=426956 CPUtime=50.27 cores=0,2,4,6
/proc/22325/stat : 22325 (SArTagnan) R 22323 22325 22284 0 -1 4202496 78280 0 0 0 5014 13 0 0 25 0 4 0 523552974 437202944 56208 33554432000 4194304 4623224 140736768650080 18446744073709551615 4510195 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/22325/statm: 106739 56208 482 105 0 102243 0
[pid=22325/tid=22327] ppid=22323 vsize=426956 CPUtime=12.54 cores=0,2,4,6
/proc/22325/task/22327/stat : 22327 (SArTagnan) R 22323 22325 22284 0 -1 4202560 12123 0 0 0 1252 2 0 0 25 0 4 0 523552988 437202944 56208 33554432000 4194304 4623224 140736768650080 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=22325/tid=22328] ppid=22323 vsize=426956 CPUtime=12.47 cores=0,2,4,6
/proc/22325/task/22328/stat : 22328 (SArTagnan) R 22323 22325 22284 0 -1 4202560 14614 0 0 0 1244 3 0 0 25 0 4 0 523552988 437202944 56208 33554432000 4194304 4623224 140736768650080 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=22325/tid=22329] ppid=22323 vsize=426956 CPUtime=12.54 cores=0,2,4,6
/proc/22325/task/22329/stat : 22329 (SArTagnan) R 22323 22325 22284 0 -1 4202560 4561 0 0 0 1254 0 0 0 25 0 4 0 523552988 437202944 56208 33554432000 4194304 4623224 140736768650080 18446744073709551615 4577456 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 50.27
Current children cumulated vsize (KiB) 426956

[startup+25.5002 s]
/proc/loadavg: 3.91 4.31 5.58 9/184 22330
/proc/meminfo: memFree=30067360/32951124 swapFree=67111416/67111528
[pid=22325] ppid=22323 vsize=562716 CPUtime=101.4 cores=0,2,4,6
/proc/22325/stat : 22325 (SArTagnan) R 22323 22325 22284 0 -1 4202496 103330 0 0 0 10118 22 0 0 25 0 4 0 523552974 576221184 80222 33554432000 4194304 4623224 140736768650080 18446744073709551615 4510206 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/22325/statm: 140679 80222 407 105 0 136183 0
[pid=22325/tid=22327] ppid=22323 vsize=562716 CPUtime=25.33 cores=0,2,4,6
/proc/22325/task/22327/stat : 22327 (SArTagnan) R 22323 22325 22284 0 -1 4202560 21153 0 0 0 2528 5 0 0 25 0 4 0 523552988 576221184 80222 33554432000 4194304 4623224 140736768650080 18446744073709551615 4376629 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=22325/tid=22328] ppid=22323 vsize=562716 CPUtime=25.2 cores=0,2,4,6
/proc/22325/task/22328/stat : 22328 (SArTagnan) R 22323 22325 22284 0 -1 4202560 25215 0 0 0 2513 7 0 0 25 0 4 0 523552988 576221184 80222 33554432000 4194304 4623224 140736768650080 18446744073709551615 4377475 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=22325/tid=22329] ppid=22323 vsize=562716 CPUtime=25.34 cores=0,2,4,6
/proc/22325/task/22329/stat : 22329 (SArTagnan) R 22323 22325 22284 0 -1 4202560 7590 0 0 0 2533 1 0 0 25 0 4 0 523552988 576221184 80222 33554432000 4194304 4623224 140736768650080 18446744073709551615 4364911 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 101.4
Current children cumulated vsize (KiB) 562716

[startup+51.1003 s]
/proc/loadavg: 5.31 4.61 5.64 9/184 22330
/proc/meminfo: memFree=29838212/32951124 swapFree=67111416/67111528
[pid=22325] ppid=22323 vsize=687064 CPUtime=203.66 cores=0,2,4,6
/proc/22325/stat : 22325 (SArTagnan) R 22323 22325 22284 0 -1 4202496 223893 0 0 0 20321 45 0 0 25 0 4 0 523552974 703553536 118369 33554432000 4194304 4623224 140736768650080 18446744073709551615 4510651 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/22325/statm: 171766 118369 400 105 0 167270 0
[pid=22325/tid=22327] ppid=22323 vsize=687064 CPUtime=50.94 cores=0,2,4,6
/proc/22325/task/22327/stat : 22327 (SArTagnan) R 22323 22325 22284 0 -1 4202560 30220 0 0 0 5086 8 0 0 25 0 4 0 523552988 703553536 118369 33554432000 4194304 4623224 140736768650080 18446744073709551615 4376892 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=22325/tid=22328] ppid=22323 vsize=687064 CPUtime=50.67 cores=0,2,4,6
/proc/22325/task/22328/stat : 22328 (SArTagnan) R 22323 22325 22284 0 -1 4202560 38385 0 0 0 5054 13 0 0 25 0 4 0 523552988 703553536 118369 33554432000 4194304 4623224 140736768650080 18446744073709551615 4376869 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=22325/tid=22329] ppid=22323 vsize=687064 CPUtime=50.94 cores=0,2,4,6
/proc/22325/task/22329/stat : 22329 (SArTagnan) R 22323 22325 22284 0 -1 4202560 70889 0 0 0 5083 11 0 0 25 0 4 0 523552988 703553536 118369 33554432000 4194304 4623224 140736768650080 18446744073709551615 4376711 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 203.66
Current children cumulated vsize (KiB) 687064

[startup+102.307 s]
/proc/loadavg: 6.98 5.19 5.78 9/184 22332
/proc/meminfo: memFree=29290608/32951124 swapFree=67111416/67111528
[pid=22325] ppid=22323 vsize=1092364 CPUtime=408.2 cores=0,2,4,6
/proc/22325/stat : 22325 (SArTagnan) R 22323 22325 22284 0 -1 4202496 444000 0 0 0 40729 91 0 0 25 0 4 0 523552974 1118580736 205978 33554432000 4194304 4623224 140736768650080 18446744073709551615 4510064 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/22325/statm: 273091 205978 449 105 0 268595 0
[pid=22325/tid=22327] ppid=22323 vsize=1092364 CPUtime=102.14 cores=0,2,4,6
/proc/22325/task/22327/stat : 22327 (SArTagnan) R 22323 22325 22284 0 -1 4202560 49910 0 0 0 10197 17 0 0 25 0 4 0 523552988 1118580736 205978 33554432000 4194304 4623224 140736768650080 18446744073709551615 4376832 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=22325/tid=22328] ppid=22323 vsize=1092364 CPUtime=101.58 cores=0,2,4,6
/proc/22325/task/22328/stat : 22328 (SArTagnan) R 22323 22325 22284 0 -1 4202560 76478 0 0 0 10131 27 0 0 25 0 4 0 523552988 1118580736 205978 33554432000 4194304 4623224 140736768650080 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=22325/tid=22329] ppid=22323 vsize=1092364 CPUtime=102.15 cores=0,2,4,6
/proc/22325/task/22329/stat : 22329 (SArTagnan) R 22323 22325 22284 0 -1 4202560 79256 0 0 0 10202 13 0 0 25 0 4 0 523552988 1118580736 205978 33554432000 4194304 4623224 140736768650080 18446744073709551615 4376711 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 408.2
Current children cumulated vsize (KiB) 1092364

[startup+162.3 s]
/proc/loadavg: 7.71 5.73 5.93 9/184 22333
/proc/meminfo: memFree=28821956/32951124 swapFree=67111416/67111528
[pid=22325] ppid=22323 vsize=1449940 CPUtime=647.84 cores=0,2,4,6
/proc/22325/stat : 22325 (SArTagnan) R 22323 22325 22284 0 -1 4202496 976563 0 0 0 64608 176 0 0 25 0 4 0 523552974 1484738560 274034 33554432000 4194304 4623224 140736768650080 18446744073709551615 4510064 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/22325/statm: 362485 274034 424 105 0 357989 0
[pid=22325/tid=22327] ppid=22323 vsize=1449940 CPUtime=162.12 cores=0,2,4,6
/proc/22325/task/22327/stat : 22327 (SArTagnan) R 22323 22325 22284 0 -1 4202560 70330 0 0 0 16186 26 0 0 25 0 4 0 523552988 1484738560 274034 33554432000 4194304 4623224 140736768650080 18446744073709551615 4366443 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=22325/tid=22328] ppid=22323 vsize=1449940 CPUtime=161.26 cores=0,2,4,6
/proc/22325/task/22328/stat : 22328 (SArTagnan) R 22323 22325 22284 0 -1 4202560 88190 0 0 0 16095 31 0 0 25 0 4 0 523552988 1484738560 274034 33554432000 4194304 4623224 140736768650080 18446744073709551615 4376883 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=22325/tid=22329] ppid=22323 vsize=1449940 CPUtime=162.14 cores=0,2,4,6
/proc/22325/task/22329/stat : 22329 (SArTagnan) R 22323 22325 22284 0 -1 4202560 463708 0 0 0 16145 69 0 0 25 0 4 0 523552988 1484738560 274034 33554432000 4194304 4623224 140736768650080 18446744073709551615 4363989 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 647.84
Current children cumulated vsize (KiB) 1449940

[startup+222.301 s]
/proc/loadavg: 7.98 6.17 6.06 9/184 22335
/proc/meminfo: memFree=28482540/32951124 swapFree=67111416/67111528
[pid=22325] ppid=22323 vsize=1740628 CPUtime=887.49 cores=0,2,4,6
/proc/22325/stat : 22325 (SArTagnan) R 22323 22325 22284 0 -1 4202496 1678686 0 0 0 88462 287 0 0 25 0 4 0 523552974 1782403072 328715 33554432000 4194304 4623224 140736768650080 18446744073709551615 4510167 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/22325/statm: 435157 328715 463 105 0 430661 0
[pid=22325/tid=22327] ppid=22323 vsize=1740628 CPUtime=222.12 cores=0,2,4,6
/proc/22325/task/22327/stat : 22327 (SArTagnan) R 22323 22325 22284 0 -1 4202560 72546 0 0 0 22184 28 0 0 25 0 4 0 523552988 1782403072 328716 33554432000 4194304 4623224 140736768650080 18446744073709551615 4357641 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=22325/tid=22328] ppid=22323 vsize=1740628 CPUtime=220.93 cores=0,2,4,6
/proc/22325/task/22328/stat : 22328 (SArTagnan) R 22323 22325 22284 0 -1 4202560 111091 0 0 0 22059 34 0 0 25 0 4 0 523552988 1782403072 328716 33554432000 4194304 4623224 140736768650080 18446744073709551615 4357776 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=22325/tid=22329] ppid=22323 vsize=1740628 CPUtime=222.13 cores=0,2,4,6
/proc/22325/task/22329/stat : 22329 (SArTagnan) R 22323 22325 22284 0 -1 4202560 982021 0 0 0 22062 151 0 0 25 0 4 0 523552988 1782403072 328717 33554432000 4194304 4623224 140736768650080 18446744073709551615 4366247 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 887.49
Current children cumulated vsize (KiB) 1740628

[startup+282.3 s]

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


[startup+702.301 s]
/proc/loadavg: 8.06 7.66 6.85 9/184 22348
/proc/meminfo: memFree=26749252/32951124 swapFree=67111416/67111528
[pid=22325] ppid=22323 vsize=2649952 CPUtime=2804.82 cores=0,2,4,6
/proc/22325/stat : 22325 (SArTagnan) R 22323 22325 22284 0 -1 4202496 5465986 0 0 0 279536 946 0 0 25 0 4 0 523552974 2713550848 568338 33554432000 4194304 4623224 140736768650080 18446744073709551615 4510206 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/22325/statm: 662488 568338 342 105 0 657992 0
[pid=22325/tid=22327] ppid=22323 vsize=2649952 CPUtime=702.08 cores=0,2,4,6
/proc/22325/task/22327/stat : 22327 (SArTagnan) R 22323 22325 22284 0 -1 4202560 97480 0 0 0 70177 31 0 0 25 0 4 0 523552988 2713550848 568338 33554432000 4194304 4623224 140736768650080 18446744073709551615 4357625 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=22325/tid=22328] ppid=22323 vsize=2649952 CPUtime=698.28 cores=0,2,4,6
/proc/22325/task/22328/stat : 22328 (SArTagnan) R 22323 22325 22284 0 -1 4202560 183659 0 0 0 69732 96 0 0 25 0 4 0 523552988 2713550848 568338 33554432000 4194304 4623224 140736768650080 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=22325/tid=22329] ppid=22323 vsize=2649952 CPUtime=702.12 cores=0,2,4,6
/proc/22325/task/22329/stat : 22329 (SArTagnan) R 22323 22325 22284 0 -1 4202560 4288300 0 0 0 69525 687 0 0 25 0 4 0 523552988 2713550848 568338 33554432000 4194304 4623224 140736768650080 18446744073709551615 4364041 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2804.82
Current children cumulated vsize (KiB) 2649952

[startup+762.307 s]
/proc/loadavg: 8.08 7.74 6.93 9/184 22349
/proc/meminfo: memFree=26328212/32951124 swapFree=67111416/67111528
[pid=22325] ppid=22323 vsize=3228768 CPUtime=3044.48 cores=0,2,4,6
/proc/22325/stat : 22325 (SArTagnan) R 22323 22325 22284 0 -1 4202496 5829695 0 0 0 303442 1006 0 0 25 0 4 0 523552974 3306258432 648728 33554432000 4194304 4623224 140736768650080 18446744073709551615 4510064 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/22325/statm: 807192 648728 342 105 0 802696 0
[pid=22325/tid=22327] ppid=22323 vsize=3228768 CPUtime=762.09 cores=0,2,4,6
/proc/22325/task/22327/stat : 22327 (SArTagnan) R 22323 22325 22284 0 -1 4202560 98654 0 0 0 76177 32 0 0 25 0 4 0 523552988 3306258432 648728 33554432000 4194304 4623224 140736768650080 18446744073709551615 4357901 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=22325/tid=22328] ppid=22323 vsize=3228768 CPUtime=757.93 cores=0,2,4,6
/proc/22325/task/22328/stat : 22328 (SArTagnan) R 22323 22325 22284 0 -1 4202560 198564 0 0 0 75684 109 0 0 25 0 4 0 523552988 3306258432 648728 33554432000 4194304 4623224 140736768650080 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=22325/tid=22329] ppid=22323 vsize=3228768 CPUtime=762.12 cores=0,2,4,6
/proc/22325/task/22329/stat : 22329 (SArTagnan) R 22323 22325 22284 0 -1 4202560 4327615 0 0 0 75519 693 0 0 25 0 4 0 523552988 3306258432 648728 33554432000 4194304 4623224 140736768650080 18446744073709551615 4559108 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3044.48
Current children cumulated vsize (KiB) 3228768

[startup+822.301 s]
/proc/loadavg: 8.03 7.78 6.99 9/184 22351
/proc/meminfo: memFree=26114656/32951124 swapFree=67111416/67111528
[pid=22325] ppid=22323 vsize=3346416 CPUtime=3284.14 cores=0,2,4,6
/proc/22325/stat : 22325 (SArTagnan) R 22323 22325 22284 0 -1 4202496 6284977 0 0 0 327335 1079 0 0 25 0 4 0 523552974 3426729984 691836 33554432000 4194304 4623224 140736768650080 18446744073709551615 4510090 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/22325/statm: 836604 691837 342 105 0 832108 0
[pid=22325/tid=22327] ppid=22323 vsize=3346416 CPUtime=822.08 cores=0,2,4,6
/proc/22325/task/22327/stat : 22327 (SArTagnan) R 22323 22325 22284 0 -1 4202560 99101 0 0 0 82176 32 0 0 25 0 4 0 523552988 3426729984 691837 33554432000 4194304 4623224 140736768650080 18446744073709551615 4486238 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=22325/tid=22328] ppid=22323 vsize=3346416 CPUtime=817.6 cores=0,2,4,6
/proc/22325/task/22328/stat : 22328 (SArTagnan) R 22323 22325 22284 0 -1 4202560 238399 0 0 0 81638 122 0 0 25 0 4 0 523552988 3426729984 691838 33554432000 4194304 4623224 140736768650080 18446744073709551615 4376678 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=22325/tid=22329] ppid=22323 vsize=3346416 CPUtime=822.11 cores=0,2,4,6
/proc/22325/task/22329/stat : 22329 (SArTagnan) R 22323 22325 22284 0 -1 4202560 4711731 0 0 0 81463 748 0 0 25 0 4 0 523552988 3426729984 691838 33554432000 4194304 4623224 140736768650080 18446744073709551615 4366247 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3284.14
Current children cumulated vsize (KiB) 3346416

[startup+882.3 s]
/proc/loadavg: 8.06 7.83 7.06 9/184 22352
/proc/meminfo: memFree=25989616/32951124 swapFree=67111416/67111528
[pid=22325] ppid=22323 vsize=3382836 CPUtime=3523.8 cores=0,2,4,6
/proc/22325/stat : 22325 (SArTagnan) R 22323 22325 22284 0 -1 4202496 6839114 0 0 0 351217 1163 0 0 25 0 4 0 523552974 3464024064 717011 33554432000 4194304 4623224 140736768650080 18446744073709551615 4415028 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/22325/statm: 845709 717011 343 105 0 841213 0
[pid=22325/tid=22327] ppid=22323 vsize=3382836 CPUtime=882.07 cores=0,2,4,6
/proc/22325/task/22327/stat : 22327 (SArTagnan) R 22323 22325 22284 0 -1 4202560 99904 0 0 0 88175 32 0 0 25 0 4 0 523552988 3464024064 717011 33554432000 4194304 4623224 140736768650080 18446744073709551615 4357901 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=22325/tid=22328] ppid=22323 vsize=3382836 CPUtime=877.27 cores=0,2,4,6
/proc/22325/task/22328/stat : 22328 (SArTagnan) R 22323 22325 22284 0 -1 4202560 238912 0 0 0 87605 122 0 0 25 0 4 0 523552988 3464024064 717011 33554432000 4194304 4623224 140736768650080 18446744073709551615 4366369 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=22325/tid=22329] ppid=22323 vsize=3382836 CPUtime=882.12 cores=0,2,4,6
/proc/22325/task/22329/stat : 22329 (SArTagnan) R 22323 22325 22284 0 -1 4202560 5244357 0 0 0 87384 828 0 0 25 0 4 0 523552988 3464024064 717011 33554432000 4194304 4623224 140736768650080 18446744073709551615 4366412 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3523.8
Current children cumulated vsize (KiB) 3382836

[startup+942.301 s]
/proc/loadavg: 8.07 7.88 7.12 9/184 22354
/proc/meminfo: memFree=25898692/32951124 swapFree=67111416/67111528
[pid=22325] ppid=22323 vsize=3432740 CPUtime=3763.49 cores=0,2,4,6
/proc/22325/stat : 22325 (SArTagnan) R 22323 22325 22284 0 -1 4202496 7418362 0 0 0 375098 1251 0 0 25 0 4 0 523552974 3515125760 733008 33554432000 4194304 4623224 140736768650080 18446744073709551615 4510090 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/22325/statm: 858185 733008 342 105 0 853689 0
[pid=22325/tid=22327] ppid=22323 vsize=3432740 CPUtime=942.08 cores=0,2,4,6
/proc/22325/task/22327/stat : 22327 (SArTagnan) R 22323 22325 22284 0 -1 4202560 100643 0 0 0 94175 33 0 0 25 0 4 0 523552988 3515125760 733008 33554432000 4194304 4623224 140736768650080 18446744073709551615 4486238 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=22325/tid=22328] ppid=22323 vsize=3432740 CPUtime=936.95 cores=0,2,4,6
/proc/22325/task/22328/stat : 22328 (SArTagnan) R 22323 22325 22284 0 -1 4202560 239621 0 0 0 93573 122 0 0 25 0 4 0 523552988 3515125760 733008 33554432000 4194304 4623224 140736768650080 18446744073709551615 4376865 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=22325/tid=22329] ppid=22323 vsize=3432740 CPUtime=942.12 cores=0,2,4,6
/proc/22325/task/22329/stat : 22329 (SArTagnan) R 22323 22325 22284 0 -1 4202560 5781570 0 0 0 93303 909 0 0 25 0 4 0 523552988 3515125760 733008 33554432000 4194304 4623224 140736768650080 18446744073709551615 4545376 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3763.49
Current children cumulated vsize (KiB) 3432740

[startup+1002.3 s]
/proc/loadavg: 8.07 7.91 7.18 9/184 22356
/proc/meminfo: memFree=25790276/32951124 swapFree=67111416/67111528
[pid=22325] ppid=22323 vsize=3502212 CPUtime=4003.16 cores=0,2,4,6
/proc/22325/stat : 22325 (SArTagnan) R 22323 22325 22284 0 -1 4202496 7924663 0 0 0 398982 1334 0 0 25 0 4 0 523552974 3586265088 758405 33554432000 4194304 4623224 140736768650080 18446744073709551615 4415028 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/22325/statm: 875553 758405 342 105 0 871057 0
[pid=22325/tid=22327] ppid=22323 vsize=3502212 CPUtime=1002.07 cores=0,2,4,6
/proc/22325/task/22327/stat : 22327 (SArTagnan) R 22323 22325 22284 0 -1 4202560 101175 0 0 0 100174 33 0 0 25 0 4 0 523552988 3586265088 758405 33554432000 4194304 4623224 140736768650080 18446744073709551615 4486238 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=22325/tid=22328] ppid=22323 vsize=3502212 CPUtime=996.63 cores=0,2,4,6
/proc/22325/task/22328/stat : 22328 (SArTagnan) R 22323 22325 22284 0 -1 4202560 244118 0 0 0 99537 126 0 0 25 0 4 0 523552988 3586265088 758405 33554432000 4194304 4623224 140736768650080 18446744073709551615 4376960 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=22325/tid=22329] ppid=22323 vsize=3502212 CPUtime=1002.13 cores=0,2,4,6
/proc/22325/task/22329/stat : 22329 (SArTagnan) R 22323 22325 22284 0 -1 4202560 6262396 0 0 0 99229 984 0 0 25 0 4 0 523552988 3586265088 758405 33554432000 4194304 4623224 140736768650080 18446744073709551615 4550465 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4003.16
Current children cumulated vsize (KiB) 3502212

[startup+1062.3 s]
/proc/loadavg: 8.07 7.94 7.23 9/184 22357
/proc/meminfo: memFree=25450600/32951124 swapFree=67111416/67111528
[pid=22325] ppid=22323 vsize=4295748 CPUtime=4242.73 cores=0,2,4,6
/proc/22325/stat : 22325 (SArTagnan) R 22323 22325 22284 0 -1 4202496 8521746 0 0 0 422861 1412 0 0 25 0 4 0 523552974 4398845952 833448 33554432000 4194304 4623224 140736768650080 18446744073709551615 4510064 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/22325/statm: 1073937 833448 342 105 0 1069441 0
[pid=22325/tid=22327] ppid=22323 vsize=4295748 CPUtime=1062.07 cores=0,2,4,6
/proc/22325/task/22327/stat : 22327 (SArTagnan) R 22323 22325 22284 0 -1 4202560 107895 0 0 0 106173 34 0 0 25 0 4 0 523552988 4398845952 833448 33554432000 4194304 4623224 140736768650080 18446744073709551615 4357901 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=22325/tid=22328] ppid=22323 vsize=4295748 CPUtime=1056.25 cores=0,2,4,6
/proc/22325/task/22328/stat : 22328 (SArTagnan) R 22323 22325 22284 0 -1 4202560 246555 0 0 0 105498 127 0 0 25 0 4 0 523552988 4398845952 833448 33554432000 4194304 4623224 140736768650080 18446744073709551615 4376869 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=22325/tid=22329] ppid=22323 vsize=4295748 CPUtime=1062.07 cores=0,2,4,6
/proc/22325/task/22329/stat : 22329 (SArTagnan) R 22323 22325 22284 0 -1 4202560 6396127 0 0 0 105205 1002 0 0 25 0 4 0 523552988 4398845952 833448 33554432000 4194304 4623224 140736768650080 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4242.73
Current children cumulated vsize (KiB) 4295748

[startup+1122.3 s]
/proc/loadavg: 8.06 7.96 7.28 9/184 22359
/proc/meminfo: memFree=25326436/32951124 swapFree=67111416/67111528
[pid=22325] ppid=22323 vsize=4375160 CPUtime=4482.4 cores=0,2,4,6
/proc/22325/stat : 22325 (SArTagnan) R 22323 22325 22284 0 -1 4202496 8586932 0 0 0 446810 1430 0 0 25 0 4 0 523552974 4480163840 860716 33554432000 4194304 4623224 140736768650080 18446744073709551615 4414984 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/22325/statm: 1093790 860716 342 105 0 1089294 0
[pid=22325/tid=22327] ppid=22323 vsize=4375160 CPUtime=1122.06 cores=0,2,4,6
/proc/22325/task/22327/stat : 22327 (SArTagnan) R 22323 22325 22284 0 -1 4202560 108407 0 0 0 112172 34 0 0 25 0 4 0 523552988 4480163840 860716 33554432000 4194304 4623224 140736768650080 18446744073709551615 4357901 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=22325/tid=22328] ppid=22323 vsize=4375160 CPUtime=1115.92 cores=0,2,4,6
/proc/22325/task/22328/stat : 22328 (SArTagnan) R 22323 22325 22284 0 -1 4202560 253995 0 0 0 111457 135 0 0 25 0 4 0 523552988 4480163840 860716 33554432000 4194304 4623224 140736768650080 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=22325/tid=22329] ppid=22323 vsize=4375160 CPUtime=1122.07 cores=0,2,4,6
/proc/22325/task/22329/stat : 22329 (SArTagnan) R 22323 22325 22284 0 -1 4202560 6399995 0 0 0 111204 1003 0 0 25 0 4 0 523552988 4480163840 860716 33554432000 4194304 4623224 140736768650080 18446744073709551615 4364232 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4482.4
Current children cumulated vsize (KiB) 4375160

[startup+1182.3 s]
/proc/loadavg: 8.10 8.00 7.33 9/184 22360
/proc/meminfo: memFree=25201908/32951124 swapFree=67111416/67111528
[pid=22325] ppid=22323 vsize=4388060 CPUtime=4722.08 cores=0,2,4,6
/proc/22325/stat : 22325 (SArTagnan) R 22323 22325 22284 0 -1 4202496 8623124 0 0 0 470762 1446 0 0 25 0 4 0 523552974 4493373440 886799 33554432000 4194304 4623224 140736768650080 18446744073709551615 4415028 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/22325/statm: 1097015 886799 342 105 0 1092519 0
[pid=22325/tid=22327] ppid=22323 vsize=4388060 CPUtime=1182.06 cores=0,2,4,6
/proc/22325/task/22327/stat : 22327 (SArTagnan) R 22323 22325 22284 0 -1 4202560 108951 0 0 0 118172 34 0 0 25 0 4 0 523552988 4493373440 886799 33554432000 4194304 4623224 140736768650080 18446744073709551615 4357901 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=22325/tid=22328] ppid=22323 vsize=4388060 CPUtime=1175.6 cores=0,2,4,6
/proc/22325/task/22328/stat : 22328 (SArTagnan) R 22323 22325 22284 0 -1 4202560 264890 0 0 0 117413 147 0 0 25 0 4 0 523552988 4493373440 886799 33554432000 4194304 4623224 140736768650080 18446744073709551615 212435678241 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=22325/tid=22329] ppid=22323 vsize=4388060 CPUtime=1182.08 cores=0,2,4,6
/proc/22325/task/22329/stat : 22329 (SArTagnan) R 22323 22325 22284 0 -1 4202560 6403899 0 0 0 117204 1004 0 0 25 0 4 0 523552988 4493373440 886799 33554432000 4194304 4623224 140736768650080 18446744073709551615 4376711 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4722.08
Current children cumulated vsize (KiB) 4388060



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.9 s]
/proc/loadavg: 8.21 8.03 7.36 5/179 22362
/proc/meminfo: memFree=26991616/32951124 swapFree=67111416/67111528
[pid=22325] ppid=22323 vsize=4458676 CPUtime=4800.38 cores=0,2,4,6
/proc/22325/stat : 22325 (SArTagnan) R 22323 22325 22284 0 -1 4202496 8636241 0 0 0 478585 1453 0 0 25 0 4 0 523552974 4565684224 897761 33554432000 4194304 4623224 140736768650080 18446744073709551615 212436060519 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/22325/statm: 1114669 897761 342 105 0 1110173 0
[pid=22325/tid=22327] ppid=22323 vsize=4458676 CPUtime=1201.67 cores=0,2,4,6
/proc/22325/task/22327/stat : 22327 (SArTagnan) R 22323 22325 22284 0 -1 4202560 109206 0 0 0 120132 35 0 0 25 0 4 0 523552988 4565684224 897761 33554432000 4194304 4623224 140736768650080 18446744073709551615 4486212 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=22325/tid=22328] ppid=22323 vsize=4458676 CPUtime=1195.1 cores=0,2,4,6
/proc/22325/task/22328/stat : 22328 (SArTagnan) R 22323 22325 22284 0 -1 4202560 269590 0 0 0 119357 153 0 0 25 0 4 0 523552988 4565684224 897761 33554432000 4194304 4623224 140736768650080 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=22325/tid=22329] ppid=22323 vsize=4458676 CPUtime=1201.68 cores=0,2,4,6
/proc/22325/task/22329/stat : 22329 (SArTagnan) R 22323 22325 22284 0 -1 4202560 6405261 0 0 0 119164 1004 0 0 25 0 4 0 523552988 4565684224 897761 33554432000 4194304 4623224 140736768650080 18446744073709551615 4544928 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4800.38
Current children cumulated vsize (KiB) 4458676

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

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

[startup+1202.01 s]
/proc/loadavg: 8.21 8.03 7.36 5/179 22362
/proc/meminfo: memFree=26991616/32951124 swapFree=67111416/67111528
[pid=22325] ppid=22323 vsize=0 CPUtime=4800.51 cores=0,2,4,6
/proc/22325/stat : 22325 (SArTagnan) Z 22323 22325 22284 0 -1 4203548 8636241 0 0 0 478588 1463 0 0 25 0 2 0 523552974 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/22325/statm: 0 0 0 0 0 0 0
[pid=22325/tid=22328] ppid=22323 vsize=0 CPUtime=1195.21 cores=0,2,4,6
/proc/22325/task/22328/stat : 22328 (SArTagnan) R 22323 22325 22284 0 -1 4203588 269590 0 0 0 119358 163 0 0 25 0 2 0 523552988 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4800.51
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1202.07
CPU time (s): 4800.57
CPU user time (s): 4785.88
CPU system time (s): 14.6868
CPU usage (%): 399.36
Max. virtual memory (cumulated for all children) (KiB): 5689120

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4785.88
system time used= 14.6868
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8636241
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= 3542
involuntary context switches= 34551

runsolver used 1.82472 second user time and 4.73728 second system time

The end

Launcher Data 

Begin job on node102 at 2011-04-30 01:25:06
IDJOB=3250914
IDBENCH=88204
IDSOLVER=1656
FILE ID=node102/3250914-1304119506
RUNJOBID= node102-1304119506-22302
PBS_JOBID= 13170726
Free space on /tmp= 71552 MiB

SOLVER NAME= SArTagnan 2011-03-24
BENCH NAME= SAT11/crafted/anton/SRHD-SGI/srhd-sgi-m52-q918.75-n50-p30-s52376212.cnf
COMMAND LINE= SArTagnan BENCHNAME -threads=NBCORE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3250914-1304119506/watcher-3250914-1304119506 -o /tmp/evaluation-result-3250914-1304119506/solver-3250914-1304119506 -C 4800 -W 1300 -M 15500  SArTagnan HOME/instance-3250914-1304119506.cnf -threads=4

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

MD5SUM BENCH= f34a5dd1cdce70a322dd395bcb5f1303
RANDOM SEED=819906632

node102.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.828
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.65
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.828
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5226.15
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.828
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.82
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.828
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.828
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.828
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.828
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.828
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:      30570724 kB
Buffers:        604376 kB
Cached:        1275580 kB
SwapCached:          0 kB
Active:         164916 kB
Inactive:      1797692 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      30570724 kB
SwapTotal:    67111528 kB
SwapFree:     67111416 kB
Dirty:           10232 kB
Writeback:           0 kB
AnonPages:       82456 kB
Mapped:          15148 kB
Slab:           352028 kB
PageTables:       5036 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   263484 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= 71544 MiB
End job on node102 at 2011-04-30 01:45:10