Trace number 3386027

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-05-15 (fixed)? (TO) 3983.46 1300.08

General information on the benchmark

Namecrafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/
VanDerWaerden_pd_2-3-22_462.cnf
MD5SUM4975f32607352c0a4d9db1abea12627a
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark5.62714
Satisfiable
(Un)Satisfiability was proved
Number of variables231
Number of clauses28738
Sum of the clauses size129678
Maximum clause length22
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 277
Number of clauses of size 326363
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 52298

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: 961)

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-3386027-1305582131/watcher-3386027-1305582131 -o /tmp/evaluation-result-3386027-1305582131/solver-3386027-1305582131 -C 4800 -W 1300 -M 15500 SArTagnan HOME/instance-3386027-1305582131.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: 2.00 2.00 2.05 3/478 19320
/proc/meminfo: memFree=5434388/32951132 swapFree=59792360/67111528
[pid=19320] ppid=19318 vsize=21452 CPUtime=0.01 cores=0,2,4,6
/proc/19320/stat : 19320 (SArTagnan) R 19318 19320 19292 0 -1 4202496 1630 0 0 0 1 0 0 0 23 0 1 0 669811767 21966848 1062 33554432000 4194304 4625164 140733818309264 18446744073709551615 242970550016 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/19320/statm: 5363 1063 296 106 0 866 0

[startup+0.030222 s]
/proc/loadavg: 2.00 2.00 2.05 3/478 19320
/proc/meminfo: memFree=5434388/32951132 swapFree=59792360/67111528
[pid=19320] ppid=19318 vsize=56288 CPUtime=0.03 cores=0,2,4,6
/proc/19320/stat : 19320 (SArTagnan) R 19318 19320 19292 0 -1 4202496 2766 0 1 0 3 0 0 0 24 0 4 0 669811767 57638912 2046 33554432000 4194304 4625164 140733818309264 18446744073709551615 47550902491058 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/19320/statm: 14072 2046 301 106 0 9575 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 56288

[startup+0.100195 s]
/proc/loadavg: 2.00 2.00 2.05 3/478 19320
/proc/meminfo: memFree=5434388/32951132 swapFree=59792360/67111528
[pid=19320] ppid=19318 vsize=192404 CPUtime=0.23 cores=0,2,4,6
/proc/19320/stat : 19320 (SArTagnan) R 19318 19320 19292 0 -1 4202496 4591 0 1 0 23 0 0 0 18 0 4 0 669811767 197021696 3066 33554432000 4194304 4625164 140733818309264 18446744073709551615 4512180 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/19320/statm: 48101 3066 336 106 0 43604 0
Current children cumulated CPU time (s) 0.23
Current children cumulated vsize (KiB) 192404

[startup+0.300128 s]
/proc/loadavg: 2.00 2.00 2.05 3/478 19320
/proc/meminfo: memFree=5434388/32951132 swapFree=59792360/67111528
[pid=19320] ppid=19318 vsize=192956 CPUtime=0.83 cores=0,2,4,6
/proc/19320/stat : 19320 (SArTagnan) R 19318 19320 19292 0 -1 4202496 6997 0 1 0 83 0 0 0 18 0 4 0 669811767 197586944 3239 33554432000 4194304 4625164 140733818309264 18446744073709551615 4511933 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/19320/statm: 48239 3239 338 106 0 43742 0
Current children cumulated CPU time (s) 0.83
Current children cumulated vsize (KiB) 192956

[startup+0.701059 s]
/proc/loadavg: 2.00 2.00 2.05 3/478 19320
/proc/meminfo: memFree=5434388/32951132 swapFree=59792360/67111528
[pid=19320] ppid=19318 vsize=194064 CPUtime=2.04 cores=0,2,4,6
/proc/19320/stat : 19320 (SArTagnan) R 19318 19320 19292 0 -1 4202496 12502 0 1 0 203 1 0 0 18 0 4 0 669811767 198721536 3592 33554432000 4194304 4625164 140733818309264 18446744073709551615 4511967 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/19320/statm: 48516 3592 338 106 0 44019 0
Current children cumulated CPU time (s) 2.04
Current children cumulated vsize (KiB) 194064

[startup+1.50092 s]
/proc/loadavg: 2.00 2.00 2.05 11/490 19337
/proc/meminfo: memFree=5399016/32951132 swapFree=59792360/67111528
[pid=19320] ppid=19318 vsize=194964 CPUtime=4.42 cores=0,2,4,6
/proc/19320/stat : 19320 (SArTagnan) R 19318 19320 19292 0 -1 4202496 20860 0 1 0 440 2 0 0 19 0 4 0 669811767 199643136 4942 33554432000 4194304 4625164 140733818309264 18446744073709551615 4392981 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/19320/statm: 48741 4942 338 106 0 44244 0
[pid=19320/tid=19322] ppid=19318 vsize=194964 CPUtime=0.34 cores=0,2,4,6
/proc/19320/task/19322/stat : 19322 (SArTagnan) R 19318 19320 19292 0 -1 4202560 963 0 0 0 34 0 0 0 25 0 4 0 669811769 199643136 4942 33554432000 4194304 4625164 140733818309264 18446744073709551615 4355497 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=19320/tid=19323] ppid=19318 vsize=194964 CPUtime=1.46 cores=0,2,4,6
/proc/19320/task/19323/stat : 19323 (SArTagnan) R 19318 19320 19292 0 -1 4202560 1709 0 0 0 146 0 0 0 25 0 4 0 669811769 199643136 4942 33554432000 4194304 4625164 140733818309264 18446744073709551615 4351827 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=19320/tid=19324] ppid=19318 vsize=194964 CPUtime=1.45 cores=0,2,4,6
/proc/19320/task/19324/stat : 19324 (SArTagnan) R 19318 19320 19292 0 -1 4202560 14644 0 0 0 144 1 0 0 25 0 4 0 669811769 199643136 4942 33554432000 4194304 4625164 140733818309264 18446744073709551615 4351844 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4.42
Current children cumulated vsize (KiB) 194964

[startup+3.10065 s]
/proc/loadavg: 2.00 2.00 2.05 11/490 19337
/proc/meminfo: memFree=5382524/32951132 swapFree=59792360/67111528
[pid=19320] ppid=19318 vsize=200568 CPUtime=9.2 cores=0,2,4,6
/proc/19320/stat : 19320 (SArTagnan) R 19318 19320 19292 0 -1 4202496 31557 0 1 0 916 4 0 0 22 0 4 0 669811767 205381632 7314 33554432000 4194304 4625164 140733818309264 18446744073709551615 4512312 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/19320/statm: 50142 7314 342 106 0 45645 0
[pid=19320/tid=19322] ppid=19318 vsize=200568 CPUtime=1.49 cores=0,2,4,6
/proc/19320/task/19322/stat : 19322 (SArTagnan) R 19318 19320 19292 0 -1 4202560 2804 0 0 0 149 0 0 0 25 0 4 0 669811769 205381632 7314 33554432000 4194304 4625164 140733818309264 18446744073709551615 242970655214 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=19320/tid=19323] ppid=19318 vsize=200568 CPUtime=2.9 cores=0,2,4,6
/proc/19320/task/19323/stat : 19323 (SArTagnan) R 19318 19320 19292 0 -1 4202560 3154 0 0 0 290 0 0 0 25 0 4 0 669811769 205381632 7314 33554432000 4194304 4625164 140733818309264 18446744073709551615 4352280 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=19320/tid=19324] ppid=19318 vsize=200568 CPUtime=2.43 cores=0,2,4,6
/proc/19320/task/19324/stat : 19324 (SArTagnan) R 19318 19320 19292 0 -1 4202560 21682 0 0 0 241 2 0 0 25 0 4 0 669811769 205381632 7314 33554432000 4194304 4625164 140733818309264 18446744073709551615 4335407 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 9.2
Current children cumulated vsize (KiB) 200568

[startup+6.3011 s]
/proc/loadavg: 2.64 2.13 2.10 11/490 19337
/proc/meminfo: memFree=5350092/32951132 swapFree=59792360/67111528
[pid=19320] ppid=19318 vsize=209416 CPUtime=18.4 cores=0,2,4,6
/proc/19320/stat : 19320 (SArTagnan) R 19318 19320 19292 0 -1 4202496 38997 0 1 0 1831 9 0 0 25 0 4 0 669811767 214441984 10614 33554432000 4194304 4625164 140733818309264 18446744073709551615 4512046 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/19320/statm: 52354 10614 344 106 0 47857 0
[pid=19320/tid=19322] ppid=19318 vsize=209416 CPUtime=3.03 cores=0,2,4,6
/proc/19320/task/19322/stat : 19322 (SArTagnan) R 19318 19320 19292 0 -1 4202560 4662 0 0 0 300 3 0 0 25 0 4 0 669811769 214441984 10614 33554432000 4194304 4625164 140733818309264 18446744073709551615 4352192 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=19320/tid=19323] ppid=19318 vsize=209416 CPUtime=4.31 cores=0,2,4,6
/proc/19320/task/19323/stat : 19323 (SArTagnan) R 19318 19320 19292 0 -1 4202560 4542 0 0 0 429 2 0 0 25 0 4 0 669811769 214441984 10614 33554432000 4194304 4625164 140733818309264 18446744073709551615 4353563 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=19320/tid=19324] ppid=19318 vsize=209416 CPUtime=5.5 cores=0,2,4,6
/proc/19320/task/19324/stat : 19324 (SArTagnan) R 19318 19320 19292 0 -1 4202560 25364 0 0 0 547 3 0 0 25 0 4 0 669811769 214441984 10614 33554432000 4194304 4625164 140733818309264 18446744073709551615 242986533915 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 18.4
Current children cumulated vsize (KiB) 209416

[startup+12.701 s]
/proc/loadavg: 3.23 2.26 2.14 11/490 19337
/proc/meminfo: memFree=5293748/32951132 swapFree=59792360/67111528
[pid=19320] ppid=19318 vsize=222448 CPUtime=37.59 cores=0,2,4,6
/proc/19320/stat : 19320 (SArTagnan) R 19318 19320 19292 0 -1 4202496 61151 0 1 0 3747 12 0 0 25 0 4 0 669811767 227786752 17008 33554432000 4194304 4625164 140733818309264 18446744073709551615 4511967 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/19320/statm: 55612 17008 351 106 0 51115 0
[pid=19320/tid=19322] ppid=19318 vsize=222448 CPUtime=6.23 cores=0,2,4,6
/proc/19320/task/19322/stat : 19322 (SArTagnan) R 19318 19320 19292 0 -1 4202560 7296 0 0 0 620 3 0 0 25 0 4 0 669811769 227786752 17008 33554432000 4194304 4625164 140733818309264 18446744073709551615 4352170 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=19320/tid=19323] ppid=19318 vsize=222448 CPUtime=7.5 cores=0,2,4,6
/proc/19320/task/19323/stat : 19323 (SArTagnan) R 19318 19320 19292 0 -1 4202560 7557 0 0 0 747 3 0 0 25 0 4 0 669811769 227786752 17008 33554432000 4194304 4625164 140733818309264 18446744073709551615 4339612 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=19320/tid=19324] ppid=19318 vsize=222448 CPUtime=11.9 cores=0,2,4,6
/proc/19320/task/19324/stat : 19324 (SArTagnan) R 19318 19320 19292 0 -1 4202560 40616 0 0 0 1185 5 0 0 25 0 4 0 669811769 227786752 17008 33554432000 4194304 4625164 140733818309264 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 37.59
Current children cumulated vsize (KiB) 222448

[startup+25.5008 s]
/proc/loadavg: 4.80 2.66 2.27 11/490 19337
/proc/meminfo: memFree=5214268/32951132 swapFree=59792360/67111528
[pid=19320] ppid=19318 vsize=230236 CPUtime=75.97 cores=0,2,4,6
/proc/19320/stat : 19320 (SArTagnan) R 19318 19320 19292 0 -1 4202496 133662 0 1 0 7574 23 0 0 25 0 4 0 669811767 235761664 24273 33554432000 4194304 4625164 140733818309264 18446744073709551615 4511926 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/19320/statm: 57559 24273 398 106 0 53062 0
[pid=19320/tid=19322] ppid=19318 vsize=230236 CPUtime=16.53 cores=0,2,4,6
/proc/19320/task/19322/stat : 19322 (SArTagnan) R 19318 19320 19292 0 -1 4202560 12131 0 0 0 1649 4 0 0 25 0 4 0 669811769 235761664 24273 33554432000 4194304 4625164 140733818309264 18446744073709551615 4351786 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=19320/tid=19323] ppid=19318 vsize=230236 CPUtime=13.8 cores=0,2,4,6
/proc/19320/task/19323/stat : 19323 (SArTagnan) R 19318 19320 19292 0 -1 4202560 8296 0 0 0 1377 3 0 0 25 0 4 0 669811769 235761664 24273 33554432000 4194304 4625164 140733818309264 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=19320/tid=19324] ppid=19318 vsize=230236 CPUtime=20.88 cores=0,2,4,6
/proc/19320/task/19324/stat : 19324 (SArTagnan) R 19318 19320 19292 0 -1 4202560 106289 0 0 0 2074 14 0 0 25 0 4 0 669811769 235761664 24273 33554432000 4194304 4625164 140733818309264 18446744073709551615 4552369 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 75.97
Current children cumulated vsize (KiB) 230236

[startup+51.1004 s]
/proc/loadavg: 6.57 3.25 2.47 11/490 19339
/proc/meminfo: memFree=5109184/32951132 swapFree=59792360/67111528
[pid=19320] ppid=19318 vsize=267972 CPUtime=152.69 cores=0,2,4,6
/proc/19320/stat : 19320 (SArTagnan) R 19318 19320 19292 0 -1 4202496 223076 0 1 0 15224 45 0 0 25 0 4 0 669811767 274403328 37768 33554432000 4194304 4625164 140733818309264 18446744073709551615 4519388 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/19320/statm: 66993 37768 343 106 0 62496 0
[pid=19320/tid=19322] ppid=19318 vsize=267972 CPUtime=33.66 cores=0,2,4,6
/proc/19320/task/19322/stat : 19322 (SArTagnan) R 19318 19320 19292 0 -1 4202560 19045 0 0 0 3352 14 0 0 25 0 4 0 669811769 274403328 37768 33554432000 4194304 4625164 140733818309264 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=19320/tid=19323] ppid=19318 vsize=267972 CPUtime=34.98 cores=0,2,4,6
/proc/19320/task/19323/stat : 19323 (SArTagnan) R 19318 19320 19292 0 -1 4202560 16834 0 0 0 3493 5 0 0 25 0 4 0 669811769 274403328 37768 33554432000 4194304 4625164 140733818309264 18446744073709551615 4339612 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=19320/tid=19324] ppid=19318 vsize=267972 CPUtime=33.69 cores=0,2,4,6
/proc/19320/task/19324/stat : 19324 (SArTagnan) R 19318 19320 19292 0 -1 4202560 179008 0 0 0 3345 24 0 0 25 0 4 0 669811769 274403328 37768 33554432000 4194304 4625164 140733818309264 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 152.69
Current children cumulated vsize (KiB) 267972

[startup+102.319 s]
/proc/loadavg: 8.60 4.31 2.88 11/490 19339
/proc/meminfo: memFree=4907660/32951132 swapFree=59792360/67111528
[pid=19320] ppid=19318 vsize=414116 CPUtime=306.3 cores=0,2,4,6
/proc/19320/stat : 19320 (SArTagnan) R 19318 19320 19292 0 -1 4202496 388637 0 1 0 30555 75 0 0 25 0 4 0 669811767 424054784 65992 33554432000 4194304 4625164 140733818309264 18446744073709551615 4511906 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/19320/statm: 103529 65992 413 106 0 99032 0
[pid=19320/tid=19322] ppid=19318 vsize=414116 CPUtime=84.01 cores=0,2,4,6
/proc/19320/task/19322/stat : 19322 (SArTagnan) R 19318 19320 19292 0 -1 4202560 39687 0 0 0 8381 20 0 0 25 0 4 0 669811769 424054784 65992 33554432000 4194304 4625164 140733818309264 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=19320/tid=19323] ppid=19318 vsize=414116 CPUtime=75.39 cores=0,2,4,6
/proc/19320/task/19323/stat : 19323 (SArTagnan) R 19318 19320 19292 0 -1 4202560 26467 0 0 0 7532 7 0 0 25 0 4 0 669811769 424054784 65992 33554432000 4194304 4625164 140733818309264 18446744073709551615 4339612 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=19320/tid=19324] ppid=19318 vsize=414116 CPUtime=69.29 cores=0,2,4,6
/proc/19320/task/19324/stat : 19324 (SArTagnan) R 19318 19320 19292 0 -1 4202560 306667 0 0 0 6884 45 0 0 25 0 4 0 669811769 424054784 65992 33554432000 4194304 4625164 140733818309264 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 306.3
Current children cumulated vsize (KiB) 414116

[startup+162.3 s]
/proc/loadavg: 9.53 5.36 3.32 11/490 19341
/proc/meminfo: memFree=4726592/32951132 swapFree=59792360/67111528
[pid=19320] ppid=19318 vsize=518708 CPUtime=486.22 cores=0,2,4,6
/proc/19320/stat : 19320 (SArTagnan) R 19318 19320 19292 0 -1 4202496 453434 0 1 0 48534 88 0 0 25 0 4 0 669811767 531156992 84656 33554432000 4194304 4625164 140733818309264 18446744073709551615 4511930 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/19320/statm: 129677 84656 728 106 0 125180 0
[pid=19320/tid=19322] ppid=19318 vsize=518708 CPUtime=142.15 cores=0,2,4,6
/proc/19320/task/19322/stat : 19322 (SArTagnan) R 19318 19320 19292 0 -1 4202560 55994 0 0 0 14192 23 0 0 25 0 4 0 669811769 531156992 84656 33554432000 4194304 4625164 140733818309264 18446744073709551615 4351777 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=19320/tid=19323] ppid=19318 vsize=518708 CPUtime=110.69 cores=0,2,4,6
/proc/19320/task/19323/stat : 19323 (SArTagnan) R 19318 19320 19292 0 -1 4202560 28146 0 0 0 11061 8 0 0 25 0 4 0 669811769 531156992 84656 33554432000 4194304 4625164 140733818309264 18446744073709551615 4351792 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=19320/tid=19324] ppid=19318 vsize=518708 CPUtime=101.19 cores=0,2,4,6
/proc/19320/task/19324/stat : 19324 (SArTagnan) R 19318 19320 19292 0 -1 4202560 346568 0 0 0 10069 50 0 0 25 0 4 0 669811769 531156992 84656 33554432000 4194304 4625164 140733818309264 18446744073709551615 4339643 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 486.22
Current children cumulated vsize (KiB) 518708

[startup+222.301 s]
/proc/loadavg: 9.90 6.23 3.75 11/490 19343
/proc/meminfo: memFree=4633568/32951132 swapFree=59792360/67111528
[pid=19320] ppid=19318 vsize=534736 CPUtime=666.16 cores=0,2,4,6
/proc/19320/stat : 19320 (SArTagnan) R 19318 19320 19292 0 -1 4202496 568748 0 1 0 66510 106 0 0 25 0 4 0 669811767 547569664 96977 33554432000 4194304 4625164 140733818309264 18446744073709551615 4511904 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/19320/statm: 133684 96977 887 106 0 129187 0
[pid=19320/tid=19322] ppid=19318 vsize=534736 CPUtime=202.11 cores=0,2,4,6
/proc/19320/task/19322/stat : 19322 (SArTagnan) R 19318 19320 19292 0 -1 4202560 58462 0 0 0 20186 25 0 0 25 0 4 0 669811769 547569664 96977 33554432000 4194304 4625164 140733818309264 18446744073709551615 4339639 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=19320/tid=19323] ppid=19318 vsize=534736 CPUtime=147.59 cores=0,2,4,6
/proc/19320/task/19323/stat : 19323 (SArTagnan) R 19318 19320 19292 0 -1 4202560 38115 0 0 0 14748 11 0 0 25 0 4 0 669811769 547569664 96977 33554432000 4194304 4625164 140733818309264 18446744073709551615 4351830 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=19320/tid=19324] ppid=19318 vsize=534736 CPUtime=131.18 cores=0,2,4,6
/proc/19320/task/19324/stat : 19324 (SArTagnan) R 19318 19320 19292 0 -1 4202560 443281 0 0 0 13055 63 0 0 25 0 4 0 669811769 547569664 96977 33554432000 4194304 4625164 140733818309264 18446744073709551615 4335407 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 666.16
Current children cumulated vsize (KiB) 534736

[startup+282.301 s]

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

[pid=19320] ppid=19318 vsize=909564 CPUtime=2105.79 cores=0,2,4,6
/proc/19320/stat : 19320 (SArTagnan) R 19318 19320 19292 0 -1 4202496 1446460 0 1 0 210324 255 0 0 25 0 4 0 669811767 931393536 184245 33554432000 4194304 4625164 140733818309264 18446744073709551615 4519403 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/19320/statm: 227391 184245 342 106 0 222894 0
[pid=19320/tid=19322] ppid=19318 vsize=909564 CPUtime=676.84 cores=0,2,4,6
/proc/19320/task/19322/stat : 19322 (SArTagnan) R 19318 19320 19292 0 -1 4202560 98355 0 0 0 67648 36 0 0 25 0 4 0 669811769 931393536 184245 33554432000 4194304 4625164 140733818309264 18446744073709551615 4351827 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=19320/tid=19323] ppid=19318 vsize=909564 CPUtime=565.5 cores=0,2,4,6
/proc/19320/task/19323/stat : 19323 (SArTagnan) R 19318 19320 19292 0 -1 4202560 86268 0 0 0 56522 28 0 0 25 0 4 0 669811769 931393536 184245 33554432000 4194304 4625164 140733818309264 18446744073709551615 4352280 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=19320/tid=19324] ppid=19318 vsize=909564 CPUtime=371.25 cores=0,2,4,6
/proc/19320/task/19324/stat : 19324 (SArTagnan) R 19318 19320 19292 0 -1 4202560 1208918 0 0 0 36944 181 0 0 25 0 4 0 669811769 931393536 184245 33554432000 4194304 4625164 140733818309264 18446744073709551615 4552315 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 2105.79
Current children cumulated vsize (KiB) 909564

[startup+762.319 s]
/proc/loadavg: 10.15 9.48 6.55 11/490 19357
/proc/meminfo: memFree=3815320/32951132 swapFree=59792360/67111528
[pid=19320] ppid=19318 vsize=931788 CPUtime=2285.81 cores=0,2,4,6
/proc/19320/stat : 19320 (SArTagnan) R 19318 19320 19292 0 -1 4202496 1669071 0 1 0 228291 290 0 0 25 0 4 0 669811767 954150912 191774 33554432000 4194304 4625164 140733818309264 18446744073709551615 4512009 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/19320/statm: 232947 191774 342 106 0 228450 0
[pid=19320/tid=19322] ppid=19318 vsize=931788 CPUtime=706.84 cores=0,2,4,6
/proc/19320/task/19322/stat : 19322 (SArTagnan) R 19318 19320 19292 0 -1 4202560 98634 0 0 0 70648 36 0 0 25 0 4 0 669811769 954150912 191774 33554432000 4194304 4625164 140733818309264 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=19320/tid=19323] ppid=19318 vsize=931788 CPUtime=625.49 cores=0,2,4,6
/proc/19320/task/19323/stat : 19323 (SArTagnan) R 19318 19320 19292 0 -1 4202560 88439 0 0 0 62520 29 0 0 25 0 4 0 669811769 954150912 191774 33554432000 4194304 4625164 140733818309264 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=19320/tid=19324] ppid=19318 vsize=931788 CPUtime=401.24 cores=0,2,4,6
/proc/19320/task/19324/stat : 19324 (SArTagnan) R 19318 19320 19292 0 -1 4202560 1401982 0 0 0 39915 209 0 0 25 0 4 0 669811769 954150912 191774 33554432000 4194304 4625164 140733818309264 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 2285.81
Current children cumulated vsize (KiB) 931788

[startup+822.301 s]
/proc/loadavg: 10.14 9.60 6.77 11/490 19359
/proc/meminfo: memFree=3744980/32951132 swapFree=59792360/67111528
[pid=19320] ppid=19318 vsize=976824 CPUtime=2465.74 cores=0,2,4,6
/proc/19320/stat : 19320 (SArTagnan) R 19318 19320 19292 0 -1 4202496 1716575 0 1 0 246274 300 0 0 25 0 4 0 669811767 1000267776 203876 33554432000 4194304 4625164 140733818309264 18446744073709551615 4511904 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/19320/statm: 244206 203876 580 106 0 239709 0
[pid=19320/tid=19322] ppid=19318 vsize=976824 CPUtime=736.92 cores=0,2,4,6
/proc/19320/task/19322/stat : 19322 (SArTagnan) R 19318 19320 19292 0 -1 4202560 98846 0 0 0 73656 36 0 0 25 0 4 0 669811769 1000267776 203876 33554432000 4194304 4625164 140733818309264 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=19320/tid=19323] ppid=19318 vsize=976824 CPUtime=685.47 cores=0,2,4,6
/proc/19320/task/19323/stat : 19323 (SArTagnan) R 19318 19320 19292 0 -1 4202560 90030 0 0 0 68515 32 0 0 25 0 4 0 669811769 1000267776 203876 33554432000 4194304 4625164 140733818309264 18446744073709551615 4351781 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=19320/tid=19324] ppid=19318 vsize=976824 CPUtime=431.14 cores=0,2,4,6
/proc/19320/task/19324/stat : 19324 (SArTagnan) R 19318 19320 19292 0 -1 4202560 1417961 0 0 0 42902 212 0 0 25 0 4 0 669811769 1000267776 203876 33554432000 4194304 4625164 140733818309264 18446744073709551615 4335407 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 2465.74
Current children cumulated vsize (KiB) 976824

[startup+882.3 s]
/proc/loadavg: 10.26 9.73 6.99 11/490 19361
/proc/meminfo: memFree=3679848/32951132 swapFree=59792360/67111528
[pid=19320] ppid=19318 vsize=1095620 CPUtime=2645.7 cores=0,2,4,6
/proc/19320/stat : 19320 (SArTagnan) R 19318 19320 19292 0 -1 4202496 1762538 0 1 0 264261 309 0 0 25 0 4 0 669811767 1121914880 213922 33554432000 4194304 4625164 140733818309264 18446744073709551615 4512156 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/19320/statm: 273905 213922 568 106 0 269408 0
[pid=19320/tid=19322] ppid=19318 vsize=1095620 CPUtime=766.91 cores=0,2,4,6
/proc/19320/task/19322/stat : 19322 (SArTagnan) R 19318 19320 19292 0 -1 4202560 129529 0 0 0 76651 40 0 0 25 0 4 0 669811769 1121914880 213922 33554432000 4194304 4625164 140733818309264 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=19320/tid=19323] ppid=19318 vsize=1095620 CPUtime=745.44 cores=0,2,4,6
/proc/19320/task/19323/stat : 19323 (SArTagnan) R 19318 19320 19292 0 -1 4202560 94616 0 0 0 74509 35 0 0 25 0 4 0 669811769 1121914880 213922 33554432000 4194304 4625164 140733818309264 18446744073709551615 4352044 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=19320/tid=19324] ppid=19318 vsize=1095620 CPUtime=461.13 cores=0,2,4,6
/proc/19320/task/19324/stat : 19324 (SArTagnan) R 19318 19320 19292 0 -1 4202560 1422888 0 0 0 45900 213 0 0 25 0 4 0 669811769 1121914880 213922 33554432000 4194304 4625164 140733818309264 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 2645.7
Current children cumulated vsize (KiB) 1095620

[startup+942.301 s]
/proc/loadavg: 10.17 9.79 7.18 11/490 19361
/proc/meminfo: memFree=3575904/32951132 swapFree=59792360/67111528
[pid=19320] ppid=19318 vsize=1152944 CPUtime=2825.66 cores=0,2,4,6
/proc/19320/stat : 19320 (SArTagnan) R 19318 19320 19292 0 -1 4202496 1773937 0 1 0 282252 314 0 0 25 0 4 0 669811767 1180614656 225169 33554432000 4194304 4625164 140733818309264 18446744073709551615 4512009 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/19320/statm: 288236 225169 469 106 0 283739 0
[pid=19320/tid=19322] ppid=19318 vsize=1152944 CPUtime=796.91 cores=0,2,4,6
/proc/19320/task/19322/stat : 19322 (SArTagnan) R 19318 19320 19292 0 -1 4202560 130693 0 0 0 79650 41 0 0 25 0 4 0 669811769 1180614656 225169 33554432000 4194304 4625164 140733818309264 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=19320/tid=19323] ppid=19318 vsize=1152944 CPUtime=805.41 cores=0,2,4,6
/proc/19320/task/19323/stat : 19323 (SArTagnan) R 19318 19320 19292 0 -1 4202560 103947 0 0 0 80502 39 0 0 25 0 4 0 669811769 1180614656 225169 33554432000 4194304 4625164 140733818309264 18446744073709551615 4339616 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=19320/tid=19324] ppid=19318 vsize=1152944 CPUtime=491.13 cores=0,2,4,6
/proc/19320/task/19324/stat : 19324 (SArTagnan) R 19318 19320 19292 0 -1 4202560 1423236 0 0 0 48900 213 0 0 25 0 4 0 669811769 1180614656 225169 33554432000 4194304 4625164 140733818309264 18446744073709551615 4547221 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 2825.66
Current children cumulated vsize (KiB) 1152944

[startup+1002.3 s]
/proc/loadavg: 10.20 9.86 7.36 11/490 19363
/proc/meminfo: memFree=3494528/32951132 swapFree=59792360/67111528
[pid=19320] ppid=19318 vsize=1196744 CPUtime=3017.44 cores=0,2,4,6
/proc/19320/stat : 19320 (SArTagnan) R 19318 19320 19292 0 -1 4202496 1909325 0 1 0 301408 336 0 0 25 0 4 0 669811767 1225465856 238151 33554432000 4194304 4625164 140733818309264 18446744073709551615 4512009 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/19320/statm: 299186 238151 463 106 0 294689 0
[pid=19320/tid=19322] ppid=19318 vsize=1196744 CPUtime=826.71 cores=0,2,4,6
/proc/19320/task/19322/stat : 19322 (SArTagnan) R 19318 19320 19292 0 -1 4202560 130914 0 0 0 82630 41 0 0 25 0 4 0 669811769 1225465856 238151 33554432000 4194304 4625164 140733818309264 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=19320/tid=19323] ppid=19318 vsize=1196744 CPUtime=865.38 cores=0,2,4,6
/proc/19320/task/19323/stat : 19323 (SArTagnan) R 19318 19320 19292 0 -1 4202560 105655 0 0 0 86495 43 0 0 25 0 4 0 669811769 1225465856 238151 33554432000 4194304 4625164 140733818309264 18446744073709551615 4352728 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=19320/tid=19324] ppid=19318 vsize=1196744 CPUtime=533.13 cores=0,2,4,6
/proc/19320/task/19324/stat : 19324 (SArTagnan) R 19318 19320 19292 0 -1 4202560 1555099 0 0 0 53083 230 0 0 25 0 4 0 669811769 1225465856 238151 33554432000 4194304 4625164 140733818309264 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3017.44
Current children cumulated vsize (KiB) 1196744

[startup+1062.3 s]
/proc/loadavg: 10.18 9.91 7.54 11/490 19365
/proc/meminfo: memFree=3450604/32951132 swapFree=59792360/67111528
[pid=19320] ppid=19318 vsize=1262280 CPUtime=3203.19 cores=0,2,4,6
/proc/19320/stat : 19320 (SArTagnan) R 19318 19320 19292 0 -1 4202496 1985061 0 1 0 319969 350 0 0 25 0 4 0 669811767 1292574720 243995 33554432000 4194304 4625164 140733818309264 18446744073709551615 4519334 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/19320/statm: 315570 243995 458 106 0 311073 0
[pid=19320/tid=19322] ppid=19318 vsize=1262280 CPUtime=856.6 cores=0,2,4,6
/proc/19320/task/19322/stat : 19322 (SArTagnan) R 19318 19320 19292 0 -1 4202560 132603 0 0 0 85618 42 0 0 25 0 4 0 669811769 1292574720 243995 33554432000 4194304 4625164 140733818309264 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=19320/tid=19323] ppid=19318 vsize=1262280 CPUtime=901.25 cores=0,2,4,6
/proc/19320/task/19323/stat : 19323 (SArTagnan) R 19318 19320 19292 0 -1 4202560 106904 0 0 0 90080 45 0 0 25 0 4 0 669811769 1292574720 243995 33554432000 4194304 4625164 140733818309264 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=19320/tid=19324] ppid=19318 vsize=1262280 CPUtime=593.11 cores=0,2,4,6
/proc/19320/task/19324/stat : 19324 (SArTagnan) R 19318 19320 19292 0 -1 4202560 1626571 0 0 0 59070 241 0 0 25 0 4 0 669811769 1292574720 243995 33554432000 4194304 4625164 140733818309264 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3203.19
Current children cumulated vsize (KiB) 1262280

[startup+1122.3 s]
/proc/loadavg: 10.10 9.94 7.69 11/490 19367
/proc/meminfo: memFree=3398128/32951132 swapFree=59792360/67111528
[pid=19320] ppid=19318 vsize=1262280 CPUtime=3383.16 cores=0,2,4,6
/proc/19320/stat : 19320 (SArTagnan) R 19318 19320 19292 0 -1 4202496 2497571 0 1 0 337891 425 0 0 25 0 4 0 669811767 1292574720 249500 33554432000 4194304 4625164 140733818309264 18446744073709551615 4511904 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/19320/statm: 315570 249500 471 106 0 311073 0
[pid=19320/tid=19322] ppid=19318 vsize=1262280 CPUtime=886.86 cores=0,2,4,6
/proc/19320/task/19322/stat : 19322 (SArTagnan) R 19318 19320 19292 0 -1 4202560 133888 0 0 0 88643 43 0 0 25 0 4 0 669811769 1292574720 249500 33554432000 4194304 4625164 140733818309264 18446744073709551615 4351764 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=19320/tid=19323] ppid=19318 vsize=1262280 CPUtime=930.97 cores=0,2,4,6
/proc/19320/task/19323/stat : 19323 (SArTagnan) R 19318 19320 19292 0 -1 4202560 107438 0 0 0 93052 45 0 0 25 0 4 0 669811769 1292574720 249500 33554432000 4194304 4625164 140733818309264 18446744073709551615 4339612 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=19320/tid=19324] ppid=19318 vsize=1262280 CPUtime=653.11 cores=0,2,4,6
/proc/19320/task/19324/stat : 19324 (SArTagnan) R 19318 19320 19292 0 -1 4202560 2135525 0 0 0 64997 314 0 0 25 0 4 0 669811769 1292574720 249500 33554432000 4194304 4625164 140733818309264 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3383.16
Current children cumulated vsize (KiB) 1262280

[startup+1182.3 s]
/proc/loadavg: 10.07 9.96 7.84 11/490 19378
/proc/meminfo: memFree=3358812/32951132 swapFree=59792360/67111528
[pid=19320] ppid=19318 vsize=1313564 CPUtime=3572.41 cores=0,2,4,6
/proc/19320/stat : 19320 (SArTagnan) R 19318 19320 19292 0 -1 4202496 3071514 0 1 0 356729 512 0 0 25 0 4 0 669811767 1345089536 253755 33554432000 4194304 4625164 140733818309264 18446744073709551615 4511904 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/19320/statm: 328391 253755 438 106 0 323894 0
[pid=19320/tid=19322] ppid=19318 vsize=1313564 CPUtime=926.32 cores=0,2,4,6
/proc/19320/task/19322/stat : 19322 (SArTagnan) R 19318 19320 19292 0 -1 4202560 134258 0 0 0 92583 49 0 0 25 0 4 0 669811769 1345089536 253755 33554432000 4194304 4625164 140733818309264 18446744073709551615 4351777 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=19320/tid=19323] ppid=19318 vsize=1313564 CPUtime=960.77 cores=0,2,4,6
/proc/19320/task/19323/stat : 19323 (SArTagnan) R 19318 19320 19292 0 -1 4202560 107577 0 0 0 96031 46 0 0 25 0 4 0 669811769 1345089536 253755 33554432000 4194304 4625164 140733818309264 18446744073709551615 4351894 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=19320/tid=19324] ppid=19318 vsize=1313564 CPUtime=713.1 cores=0,2,4,6
/proc/19320/task/19324/stat : 19324 (SArTagnan) R 19318 19320 19292 0 -1 4202560 2680718 0 0 0 70919 391 0 0 25 0 4 0 669811769 1345089536 253755 33554432000 4194304 4625164 140733818309264 18446744073709551615 4552336 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3572.41
Current children cumulated vsize (KiB) 1313564

[startup+1242.3 s]
/proc/loadavg: 10.06 9.98 7.98 11/490 19378
/proc/meminfo: memFree=3259952/32951132 swapFree=59792360/67111528
[pid=19320] ppid=19318 vsize=1425276 CPUtime=3781.91 cores=0,2,4,6
/proc/19320/stat : 19320 (SArTagnan) R 19318 19320 19292 0 -1 4202496 3197399 0 1 0 377662 529 0 0 25 0 4 0 669811767 1459482624 271366 33554432000 4194304 4625164 140733818309264 18446744073709551615 4519334 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/19320/statm: 356319 271366 342 106 0 351822 0
[pid=19320/tid=19322] ppid=19318 vsize=1425276 CPUtime=986.31 cores=0,2,4,6
/proc/19320/task/19322/stat : 19322 (SArTagnan) R 19318 19320 19292 0 -1 4202560 141666 0 0 0 98581 50 0 0 25 0 4 0 669811769 1459482624 271366 33554432000 4194304 4625164 140733818309264 18446744073709551615 4351781 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=19320/tid=19323] ppid=19318 vsize=1425276 CPUtime=990.3 cores=0,2,4,6
/proc/19320/task/19323/stat : 19323 (SArTagnan) R 19318 19320 19292 0 -1 4202560 140683 0 0 0 98979 51 0 0 25 0 4 0 669811769 1459482624 271366 33554432000 4194304 4625164 140733818309264 18446744073709551615 4351764 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=19320/tid=19324] ppid=19318 vsize=1425276 CPUtime=773.09 cores=0,2,4,6
/proc/19320/task/19324/stat : 19324 (SArTagnan) R 19318 19320 19292 0 -1 4202560 2762030 0 0 0 76907 402 0 0 25 0 4 0 669811769 1459482624 271366 33554432000 4194304 4625164 140733818309264 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3781.91
Current children cumulated vsize (KiB) 1425276



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+1300 s]
/proc/loadavg: 10.13 10.02 8.11 11/490 19380
/proc/meminfo: memFree=3194436/32951132 swapFree=59792360/67111528
[pid=19320] ppid=19318 vsize=1425276 CPUtime=3983.37 cores=0,2,4,6
/proc/19320/stat : 19320 (SArTagnan) R 19318 19320 19292 0 -1 4202496 3364331 0 1 0 397782 555 0 0 25 0 4 0 669811767 1459482624 274343 33554432000 4194304 4625164 140733818309264 18446744073709551615 4511930 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/19320/statm: 356319 274343 344 106 0 351822 0
[pid=19320/tid=19322] ppid=19318 vsize=1425276 CPUtime=1043.98 cores=0,2,4,6
/proc/19320/task/19322/stat : 19322 (SArTagnan) R 19318 19320 19292 0 -1 4202560 142187 0 0 0 104346 52 0 0 25 0 4 0 669811769 1459482624 274344 33554432000 4194304 4625164 140733818309264 18446744073709551615 4339639 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=19320/tid=19323] ppid=19318 vsize=1425276 CPUtime=1018.65 cores=0,2,4,6
/proc/19320/task/19323/stat : 19323 (SArTagnan) R 19318 19320 19292 0 -1 4202560 141046 0 0 0 101814 51 0 0 25 0 4 0 669811769 1459482624 274344 33554432000 4194304 4625164 140733818309264 18446744073709551615 4352728 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=19320/tid=19324] ppid=19318 vsize=1425276 CPUtime=830.8 cores=0,2,4,6
/proc/19320/task/19324/stat : 19324 (SArTagnan) R 19318 19320 19292 0 -1 4202560 2926595 0 0 0 82656 424 0 0 25 0 4 0 669811769 1459482624 274344 33554432000 4194304 4625164 140733818309264 18446744073709551615 4335165 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3983.37
Current children cumulated vsize (KiB) 1425276

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

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1300.08
CPU time (s): 3983.46
CPU user time (s): 3977.85
CPU system time (s): 5.60615
CPU usage (%): 306.402
Max. virtual memory (cumulated for all children) (KiB): 1476628

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3977.85
system time used= 5.60615
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3364332
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 516
involuntary context switches= 33379

runsolver used 6.18806 second user time and 15.0367 second system time

The end

Launcher Data 

Begin job on node128 at 2011-05-16 23:42:11
IDJOB=3386027
IDBENCH=83318
IDSOLVER=1871
FILE ID=node128/3386027-1305582131
RUNJOBID= node128-1305582130-19310
PBS_JOBID= 13350295
Free space on /tmp= 73496 MiB

SOLVER NAME= SArTagnan 2011-05-15 (fixed)
BENCH NAME= SAT11/crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/VanDerWaerden_pd_2-3-22_462.cnf
COMMAND LINE= SArTagnan BENCHNAME -threads=NBCORE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3386027-1305582131/watcher-3386027-1305582131 -o /tmp/evaluation-result-3386027-1305582131/solver-3386027-1305582131 -C 4800 -W 1300 -M 15500  SArTagnan HOME/instance-3386027-1305582131.cnf -threads=4

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

MD5SUM BENCH= 4975f32607352c0a4d9db1abea12627a
RANDOM SEED=1091102904

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

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


/proc/meminfo:
MemTotal:     32951132 kB
MemFree:       5434676 kB
Buffers:         70316 kB
Cached:         665024 kB
SwapCached:     122436 kB
Active:       12218964 kB
Inactive:     15027128 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951132 kB
LowFree:       5434676 kB
SwapTotal:    67111528 kB
SwapFree:     59792360 kB
Dirty:            1192 kB
Writeback:           0 kB
AnonPages:    26396960 kB
Mapped:          18644 kB
Slab:            95792 kB
PageTables:     106360 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587092 kB
Committed_AS: 153058272 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296000 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 73496 MiB
End job on node128 at 2011-05-17 00:03:53