Trace number 3251046

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
SArTagnan 2011-03-24? (TO) 4800.52 1202.04

General information on the benchmark

Namecrafted/anton/SRHD-SGI/
srhd-sgi-m62-q1504.5-n60-p15-s80450670.cnf
MD5SUM78d8e2b8c0fd15b93f96e38e33701f17
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark5.61315
Satisfiable
(Un)Satisfiability was proved
Number of variables3510
Number of clauses974465
Sum of the clauses size1952320
Maximum clause length62
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 2974405
Number of clauses of size 30
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 560

Solver Data


Verifier Data 

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

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 935)

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

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

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

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


[startup+0 s]
/proc/loadavg: 8.21 8.03 7.36 2/174 22410
/proc/meminfo: memFree=30581816/32951124 swapFree=67111416/67111528
[pid=22410] ppid=22408 vsize=41912 CPUtime=0 cores=1,3,5,7
/proc/22410/stat : 22410 (SArTagnan) R 22408 22410 22284 0 -1 4202496 601 0 0 0 0 0 0 0 19 0 1 0 523673378 42917888 506 33554432000 4194304 4623224 140733428380432 18446744073709551615 4366247 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/22410/statm: 10478 506 297 105 0 5982 0

[startup+0.0864599 s]
/proc/loadavg: 8.21 8.03 7.36 2/174 22410
/proc/meminfo: memFree=30581816/32951124 swapFree=67111416/67111528
[pid=22410] ppid=22408 vsize=46784 CPUtime=0.08 cores=1,3,5,7
/proc/22410/stat : 22410 (SArTagnan) R 22408 22410 22284 0 -1 4202496 4145 0 0 0 8 0 0 0 19 0 1 0 523673378 47906816 1612 33554432000 4194304 4623224 140733428380432 18446744073709551615 4366247 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/22410/statm: 11696 1614 297 105 0 7200 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 46784

[startup+0.100428 s]
/proc/loadavg: 8.21 8.03 7.36 2/174 22410
/proc/meminfo: memFree=30581816/32951124 swapFree=67111416/67111528
[pid=22410] ppid=22408 vsize=49316 CPUtime=0.09 cores=1,3,5,7
/proc/22410/stat : 22410 (SArTagnan) R 22408 22410 22284 0 -1 4202496 5607 0 0 0 9 0 0 0 19 0 1 0 523673378 50499584 1807 33554432000 4194304 4623224 140733428380432 18446744073709551615 212436016896 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/22410/statm: 12329 1808 297 105 0 7833 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 49316

[startup+0.300356 s]
/proc/loadavg: 8.21 8.03 7.36 2/174 22410
/proc/meminfo: memFree=30581816/32951124 swapFree=67111416/67111528
[pid=22410] ppid=22408 vsize=274540 CPUtime=0.43 cores=1,3,5,7
/proc/22410/stat : 22410 (SArTagnan) R 22408 22410 22284 0 -1 4202496 22783 0 0 0 41 2 0 0 21 0 4 0 523673378 281128960 14146 33554432000 4194304 4623224 140733428380432 18446744073709551615 4366247 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/22410/statm: 68635 14149 332 105 0 64139 0
Current children cumulated CPU time (s) 0.43
Current children cumulated vsize (KiB) 274540

[startup+0.700282 s]
/proc/loadavg: 8.21 8.03 7.36 2/174 22410
/proc/meminfo: memFree=30581816/32951124 swapFree=67111416/67111528
[pid=22410] ppid=22408 vsize=385880 CPUtime=2.02 cores=1,3,5,7
/proc/22410/stat : 22410 (SArTagnan) R 22408 22410 22284 0 -1 4202496 56106 0 0 0 195 7 0 0 18 0 4 0 523673378 395141120 32819 33554432000 4194304 4623224 140733428380432 18446744073709551615 4501684 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/22410/statm: 96470 32819 348 105 0 91974 0
Current children cumulated CPU time (s) 2.02
Current children cumulated vsize (KiB) 385880

[startup+1.50113 s]
/proc/loadavg: 8.21 8.03 7.36 9/184 22423
/proc/meminfo: memFree=30391280/32951124 swapFree=67111416/67111528
[pid=22410] ppid=22408 vsize=385880 CPUtime=5.23 cores=1,3,5,7
/proc/22410/stat : 22410 (SArTagnan) R 22408 22410 22284 0 -1 4202496 59679 0 0 0 514 9 0 0 19 0 4 0 523673378 395141120 35827 33554432000 4194304 4623224 140733428380432 18446744073709551615 4510186 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/22410/statm: 96470 35827 353 105 0 91974 0
[pid=22410/tid=22421] ppid=22408 vsize=385880 CPUtime=1.23 cores=1,3,5,7
/proc/22410/task/22421/stat : 22421 (SArTagnan) R 22408 22410 22284 0 -1 4202560 2748 0 0 0 123 0 0 0 25 0 4 0 523673403 395141120 35827 33554432000 4194304 4623224 140733428380432 18446744073709551615 4377660 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=22410/tid=22422] ppid=22408 vsize=385880 CPUtime=1.23 cores=1,3,5,7
/proc/22410/task/22422/stat : 22422 (SArTagnan) R 22408 22410 22284 0 -1 4202560 5296 0 0 0 122 1 0 0 19 0 4 0 523673403 395141120 35827 33554432000 4194304 4623224 140733428380432 18446744073709551615 4376875 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=22410/tid=22423] ppid=22408 vsize=385880 CPUtime=1.24 cores=1,3,5,7
/proc/22410/task/22423/stat : 22423 (SArTagnan) R 22408 22410 22284 0 -1 4202560 423 0 0 0 124 0 0 0 25 0 4 0 523673403 395141120 35827 33554432000 4194304 4623224 140733428380432 18446744073709551615 4376869 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 5.23
Current children cumulated vsize (KiB) 385880

[startup+3.10083 s]
/proc/loadavg: 8.21 8.03 7.36 9/184 22423
/proc/meminfo: memFree=30348748/32951124 swapFree=67111416/67111528
[pid=22410] ppid=22408 vsize=387348 CPUtime=11.61 cores=1,3,5,7
/proc/22410/stat : 22410 (SArTagnan) R 22408 22410 22284 0 -1 4202496 69802 0 0 0 1150 11 0 0 22 0 4 0 523673378 396644352 45604 33554432000 4194304 4623224 140733428380432 18446744073709551615 4510064 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/22410/statm: 96837 45604 353 105 0 92341 0
[pid=22410/tid=22421] ppid=22408 vsize=387348 CPUtime=2.84 cores=1,3,5,7
/proc/22410/task/22421/stat : 22421 (SArTagnan) R 22408 22410 22284 0 -1 4202560 5473 0 0 0 283 1 0 0 25 0 4 0 523673403 396644352 45604 33554432000 4194304 4623224 140733428380432 18446744073709551615 4376835 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=22410/tid=22422] ppid=22408 vsize=387348 CPUtime=2.82 cores=1,3,5,7
/proc/22410/task/22422/stat : 22422 (SArTagnan) R 22408 22410 22284 0 -1 4202560 11887 0 0 0 279 3 0 0 22 0 4 0 523673403 396644352 45604 33554432000 4194304 4623224 140733428380432 18446744073709551615 4376652 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=22410/tid=22423] ppid=22408 vsize=387348 CPUtime=2.84 cores=1,3,5,7
/proc/22410/task/22423/stat : 22423 (SArTagnan) R 22408 22410 22284 0 -1 4202560 676 0 0 0 284 0 0 0 25 0 4 0 523673403 396644352 45604 33554432000 4194304 4623224 140733428380432 18446744073709551615 4363970 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 11.61
Current children cumulated vsize (KiB) 387348

[startup+6.30022 s]
/proc/loadavg: 8.20 8.03 7.36 9/184 22423
/proc/meminfo: memFree=30248808/32951124 swapFree=67111416/67111528
[pid=22410] ppid=22408 vsize=413612 CPUtime=24.39 cores=1,3,5,7
/proc/22410/stat : 22410 (SArTagnan) R 22408 22410 22284 0 -1 4202496 84538 0 0 0 2425 14 0 0 25 0 4 0 523673378 423538688 60239 33554432000 4194304 4623224 140733428380432 18446744073709551615 4507139 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/22410/statm: 103403 60239 406 105 0 98907 0
[pid=22410/tid=22421] ppid=22408 vsize=413612 CPUtime=6.04 cores=1,3,5,7
/proc/22410/task/22421/stat : 22421 (SArTagnan) R 22408 22410 22284 0 -1 4202560 10257 0 0 0 602 2 0 0 25 0 4 0 523673403 423538688 60239 33554432000 4194304 4623224 140733428380432 18446744073709551615 4376883 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=22410/tid=22422] ppid=22408 vsize=413612 CPUtime=6 cores=1,3,5,7
/proc/22410/task/22422/stat : 22422 (SArTagnan) R 22408 22410 22284 0 -1 4202560 19195 0 0 0 596 4 0 0 25 0 4 0 523673403 423538688 60239 33554432000 4194304 4623224 140733428380432 18446744073709551615 4278653 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=22410/tid=22423] ppid=22408 vsize=413612 CPUtime=6.04 cores=1,3,5,7
/proc/22410/task/22423/stat : 22423 (SArTagnan) R 22408 22410 22284 0 -1 4202560 1978 0 0 0 604 0 0 0 25 0 4 0 523673403 423538688 60239 33554432000 4194304 4623224 140733428380432 18446744073709551615 4363758 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 24.39
Current children cumulated vsize (KiB) 413612

[startup+12.701 s]
/proc/loadavg: 8.18 8.03 7.36 9/184 22423
/proc/meminfo: memFree=30125956/32951124 swapFree=67111416/67111528
[pid=22410] ppid=22408 vsize=511748 CPUtime=49.96 cores=1,3,5,7
/proc/22410/stat : 22410 (SArTagnan) R 22408 22410 22284 0 -1 4202496 113545 0 0 0 4976 20 0 0 25 0 4 0 523673378 524029952 79627 33554432000 4194304 4623224 140733428380432 18446744073709551615 4510206 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/22410/statm: 127937 79627 362 105 0 123441 0
[pid=22410/tid=22421] ppid=22408 vsize=511748 CPUtime=12.44 cores=1,3,5,7
/proc/22410/task/22421/stat : 22421 (SArTagnan) R 22408 22410 22284 0 -1 4202560 15860 0 0 0 1241 3 0 0 25 0 4 0 523673403 524029952 79627 33554432000 4194304 4623224 140733428380432 18446744073709551615 4376880 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=22410/tid=22422] ppid=22408 vsize=511748 CPUtime=12.37 cores=1,3,5,7
/proc/22410/task/22422/stat : 22422 (SArTagnan) R 22408 22410 22284 0 -1 4202560 30332 0 0 0 1230 7 0 0 25 0 4 0 523673403 524029952 79627 33554432000 4194304 4623224 140733428380432 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=22410/tid=22423] ppid=22408 vsize=511748 CPUtime=12.44 cores=1,3,5,7
/proc/22410/task/22423/stat : 22423 (SArTagnan) R 22408 22410 22284 0 -1 4202560 12263 0 0 0 1242 2 0 0 25 0 4 0 523673403 524029952 79627 33554432000 4194304 4623224 140733428380432 18446744073709551615 4550276 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 49.96
Current children cumulated vsize (KiB) 511748

[startup+25.5006 s]
/proc/loadavg: 8.14 8.03 7.37 9/184 22424
/proc/meminfo: memFree=29863564/32951124 swapFree=67111416/67111528
[pid=22410] ppid=22408 vsize=699924 CPUtime=101.08 cores=1,3,5,7
/proc/22410/stat : 22410 (SArTagnan) R 22408 22410 22284 0 -1 4202496 220348 0 0 0 10068 40 0 0 25 0 4 0 523673378 716722176 122449 33554432000 4194304 4623224 140733428380432 18446744073709551615 4510169 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/22410/statm: 174981 122449 610 105 0 170485 0
[pid=22410/tid=22421] ppid=22408 vsize=699924 CPUtime=25.23 cores=1,3,5,7
/proc/22410/task/22421/stat : 22421 (SArTagnan) R 22408 22410 22284 0 -1 4202560 29294 0 0 0 2516 7 0 0 25 0 4 0 523673403 716722176 122449 33554432000 4194304 4623224 140733428380432 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=22410/tid=22422] ppid=22408 vsize=699924 CPUtime=25.1 cores=1,3,5,7
/proc/22410/task/22422/stat : 22422 (SArTagnan) R 22408 22410 22284 0 -1 4202560 45263 0 0 0 2498 12 0 0 25 0 4 0 523673403 716722176 122449 33554432000 4194304 4623224 140733428380432 18446744073709551615 4376880 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=22410/tid=22423] ppid=22408 vsize=699924 CPUtime=25.24 cores=1,3,5,7
/proc/22410/task/22423/stat : 22423 (SArTagnan) R 22408 22410 22284 0 -1 4202560 56463 0 0 0 2516 8 0 0 25 0 4 0 523673403 716722176 122449 33554432000 4194304 4623224 140733428380432 18446744073709551615 4363970 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 101.08
Current children cumulated vsize (KiB) 699924

[startup+51.1007 s]
/proc/loadavg: 8.09 8.02 7.39 9/184 22424
/proc/meminfo: memFree=29289788/32951124 swapFree=67111416/67111528
[pid=22410] ppid=22408 vsize=1132316 CPUtime=203.32 cores=1,3,5,7
/proc/22410/stat : 22410 (SArTagnan) R 22408 22410 22284 0 -1 4202496 446851 0 0 0 20248 84 0 0 25 0 4 0 523673378 1159491584 229169 33554432000 4194304 4623224 140733428380432 18446744073709551615 4415005 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/22410/statm: 283079 229169 720 105 0 278583 0
[pid=22410/tid=22421] ppid=22408 vsize=1132316 CPUtime=50.83 cores=1,3,5,7
/proc/22410/task/22421/stat : 22421 (SArTagnan) R 22408 22410 22284 0 -1 4202560 53039 0 0 0 5066 17 0 0 25 0 4 0 523673403 1159491584 229169 33554432000 4194304 4623224 140733428380432 18446744073709551615 4376823 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=22410/tid=22422] ppid=22408 vsize=1132316 CPUtime=50.55 cores=1,3,5,7
/proc/22410/task/22422/stat : 22422 (SArTagnan) R 22408 22410 22284 0 -1 4202560 79802 0 0 0 5033 22 0 0 18 0 4 0 523673403 1159491584 229169 33554432000 4194304 4623224 140733428380432 18446744073709551615 4376711 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=22410/tid=22423] ppid=22408 vsize=1132316 CPUtime=50.83 cores=1,3,5,7
/proc/22410/task/22423/stat : 22423 (SArTagnan) R 22408 22410 22284 0 -1 4202560 65692 0 0 0 5074 9 0 0 25 0 4 0 523673403 1159491584 229169 33554432000 4194304 4623224 140733428380432 18446744073709551615 4550473 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 203.32
Current children cumulated vsize (KiB) 1132316

[startup+102.307 s]
/proc/loadavg: 8.07 8.03 7.42 9/184 22426
/proc/meminfo: memFree=28771068/32951124 swapFree=67111416/67111528
[pid=22410] ppid=22408 vsize=1440152 CPUtime=407.87 cores=1,3,5,7
/proc/22410/stat : 22410 (SArTagnan) R 22408 22410 22284 0 -1 4202496 595792 0 0 0 40672 115 0 0 25 0 4 0 523673378 1474715648 295725 33554432000 4194304 4623224 140733428380432 18446744073709551615 4510034 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/22410/statm: 360038 295725 342 105 0 355542 0
[pid=22410/tid=22421] ppid=22408 vsize=1440152 CPUtime=102.03 cores=1,3,5,7
/proc/22410/task/22421/stat : 22421 (SArTagnan) R 22408 22410 22284 0 -1 4202560 57128 0 0 0 10183 20 0 0 25 0 4 0 523673403 1474715648 295725 33554432000 4194304 4623224 140733428380432 18446744073709551615 4357901 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=22410/tid=22422] ppid=22408 vsize=1440152 CPUtime=101.47 cores=1,3,5,7
/proc/22410/task/22422/stat : 22422 (SArTagnan) R 22408 22410 22284 0 -1 4202560 91440 0 0 0 10119 28 0 0 25 0 4 0 523673403 1474715648 295725 33554432000 4194304 4623224 140733428380432 18446744073709551615 4357641 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=22410/tid=22423] ppid=22408 vsize=1440152 CPUtime=102.05 cores=1,3,5,7
/proc/22410/task/22423/stat : 22423 (SArTagnan) R 22408 22410 22284 0 -1 4202560 75283 0 0 0 10193 12 0 0 25 0 4 0 523673403 1474715648 295725 33554432000 4194304 4623224 140733428380432 18446744073709551615 212435672503 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 407.87
Current children cumulated vsize (KiB) 1440152

[startup+162.301 s]
/proc/loadavg: 8.07 8.04 7.46 9/184 22427
/proc/meminfo: memFree=28288428/32951124 swapFree=67111416/67111528
[pid=22410] ppid=22408 vsize=1760056 CPUtime=647.52 cores=1,3,5,7
/proc/22410/stat : 22410 (SArTagnan) R 22408 22410 22284 0 -1 4202496 775400 0 0 0 64608 144 0 0 25 0 4 0 523673378 1802297344 350827 33554432000 4194304 4623224 140733428380432 18446744073709551615 4415014 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/22410/statm: 440014 350827 476 105 0 435518 0
[pid=22410/tid=22421] ppid=22408 vsize=1760056 CPUtime=162.03 cores=1,3,5,7
/proc/22410/task/22421/stat : 22421 (SArTagnan) R 22408 22410 22284 0 -1 4202560 66486 0 0 0 16182 21 0 0 25 0 4 0 523673403 1802297344 350827 33554432000 4194304 4623224 140733428380432 18446744073709551615 4357901 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=22410/tid=22422] ppid=22408 vsize=1760056 CPUtime=161.14 cores=1,3,5,7
/proc/22410/task/22422/stat : 22422 (SArTagnan) R 22408 22410 22284 0 -1 4202560 92539 0 0 0 16085 29 0 0 25 0 4 0 523673403 1802297344 350827 33554432000 4194304 4623224 140733428380432 18446744073709551615 4357673 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=22410/tid=22423] ppid=22408 vsize=1760056 CPUtime=162.04 cores=1,3,5,7
/proc/22410/task/22423/stat : 22423 (SArTagnan) R 22408 22410 22284 0 -1 4202560 85421 0 0 0 16190 14 0 0 25 0 4 0 523673403 1802297344 350827 33554432000 4194304 4623224 140733428380432 18446744073709551615 4557768 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 647.52
Current children cumulated vsize (KiB) 1760056

[startup+222.301 s]
/proc/loadavg: 8.06 8.04 7.50 9/184 22429
/proc/meminfo: memFree=27990064/32951124 swapFree=67111416/67111528
[pid=22410] ppid=22408 vsize=1862992 CPUtime=887.2 cores=1,3,5,7
/proc/22410/stat : 22410 (SArTagnan) R 22408 22410 22284 0 -1 4202496 814945 0 0 0 88565 155 0 0 25 0 4 0 523673378 1907703808 378666 33554432000 4194304 4623224 140733428380432 18446744073709551615 4415005 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/22410/statm: 465748 378666 476 105 0 461252 0
[pid=22410/tid=22421] ppid=22408 vsize=1862992 CPUtime=222.03 cores=1,3,5,7
/proc/22410/task/22421/stat : 22421 (SArTagnan) R 22408 22410 22284 0 -1 4202560 66914 0 0 0 22182 21 0 0 25 0 4 0 523673403 1907703808 378666 33554432000 4194304 4623224 140733428380432 18446744073709551615 4357641 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=22410/tid=22422] ppid=22408 vsize=1862992 CPUtime=220.82 cores=1,3,5,7
/proc/22410/task/22422/stat : 22422 (SArTagnan) R 22408 22410 22284 0 -1 4202560 93135 0 0 0 22052 30 0 0 25 0 4 0 523673403 1907703808 378666 33554432000 4194304 4623224 140733428380432 18446744073709551615 4486238 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=22410/tid=22423] ppid=22408 vsize=1862992 CPUtime=222.04 cores=1,3,5,7
/proc/22410/task/22423/stat : 22423 (SArTagnan) R 22408 22410 22284 0 -1 4202560 95285 0 0 0 22187 17 0 0 25 0 4 0 523673403 1907703808 378666 33554432000 4194304 4623224 140733428380432 18446744073709551615 4577405 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 887.2
Current children cumulated vsize (KiB) 1862992

[startup+282.301 s]

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


[startup+702.301 s]
/proc/loadavg: 8.01 8.06 7.72 9/184 22442
/proc/meminfo: memFree=26211548/32951124 swapFree=67111416/67111528
[pid=22410] ppid=22408 vsize=3240780 CPUtime=2804.66 cores=1,3,5,7
/proc/22410/stat : 22410 (SArTagnan) R 22408 22410 22284 0 -1 4202496 1702948 0 0 0 280142 324 0 0 25 0 4 0 523673378 3318558720 680255 33554432000 4194304 4623224 140733428380432 18446744073709551615 4360117 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/22410/statm: 810195 680255 476 105 0 805699 0
[pid=22410/tid=22421] ppid=22408 vsize=3240780 CPUtime=702.05 cores=1,3,5,7
/proc/22410/task/22421/stat : 22421 (SArTagnan) R 22408 22410 22284 0 -1 4202560 73621 0 0 0 70182 23 0 0 25 0 4 0 523673403 3318558720 680255 33554432000 4194304 4623224 140733428380432 18446744073709551615 4357614 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=22410/tid=22422] ppid=22408 vsize=3240780 CPUtime=698.22 cores=1,3,5,7
/proc/22410/task/22422/stat : 22422 (SArTagnan) R 22408 22410 22284 0 -1 4202560 97854 0 0 0 69788 34 0 0 25 0 4 0 523673403 3318558720 680255 33554432000 4194304 4623224 140733428380432 18446744073709551615 4357901 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=22410/tid=22423] ppid=22408 vsize=3240780 CPUtime=702.06 cores=1,3,5,7
/proc/22410/task/22423/stat : 22423 (SArTagnan) R 22408 22410 22284 0 -1 4202560 152715 0 0 0 70172 34 0 0 25 0 4 0 523673403 3318558720 680255 33554432000 4194304 4623224 140733428380432 18446744073709551615 4363728 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2804.66
Current children cumulated vsize (KiB) 3240780

[startup+762.307 s]
/proc/loadavg: 8.00 8.04 7.73 9/184 22443
/proc/meminfo: memFree=26169360/32951124 swapFree=67111416/67111528
[pid=22410] ppid=22408 vsize=3265656 CPUtime=3044.36 cores=1,3,5,7
/proc/22410/stat : 22410 (SArTagnan) R 22408 22410 22284 0 -1 4202496 1716951 0 0 0 304110 326 0 0 25 0 4 0 523673378 3344031744 681841 33554432000 4194304 4623224 140733428380432 18446744073709551615 4360087 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/22410/statm: 816414 681841 476 105 0 811918 0
[pid=22410/tid=22421] ppid=22408 vsize=3265656 CPUtime=762.06 cores=1,3,5,7
/proc/22410/task/22421/stat : 22421 (SArTagnan) R 22408 22410 22284 0 -1 4202560 87038 0 0 0 76181 25 0 0 25 0 4 0 523673403 3344031744 681841 33554432000 4194304 4623224 140733428380432 18446744073709551615 4357901 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=22410/tid=22422] ppid=22408 vsize=3265656 CPUtime=757.9 cores=1,3,5,7
/proc/22410/task/22422/stat : 22422 (SArTagnan) R 22408 22410 22284 0 -1 4202560 98028 0 0 0 75756 34 0 0 25 0 4 0 523673403 3344031744 681841 33554432000 4194304 4623224 140733428380432 18446744073709551615 4357901 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=22410/tid=22423] ppid=22408 vsize=3265656 CPUtime=762.06 cores=1,3,5,7
/proc/22410/task/22423/stat : 22423 (SArTagnan) R 22408 22410 22284 0 -1 4202560 153127 0 0 0 76172 34 0 0 25 0 4 0 523673403 3344031744 681841 33554432000 4194304 4623224 140733428380432 18446744073709551615 4376835 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3044.36
Current children cumulated vsize (KiB) 3265656

[startup+822.301 s]
/proc/loadavg: 8.10 8.06 7.75 9/184 22445
/proc/meminfo: memFree=26132256/32951124 swapFree=67111416/67111528
[pid=22410] ppid=22408 vsize=3265656 CPUtime=3284.02 cores=1,3,5,7
/proc/22410/stat : 22410 (SArTagnan) R 22408 22410 22284 0 -1 4202496 1718236 0 0 0 328075 327 0 0 25 0 4 0 523673378 3344031744 683124 33554432000 4194304 4623224 140733428380432 18446744073709551615 4360087 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/22410/statm: 816414 683124 476 105 0 811918 0
[pid=22410/tid=22421] ppid=22408 vsize=3265656 CPUtime=822.05 cores=1,3,5,7
/proc/22410/task/22421/stat : 22421 (SArTagnan) R 22408 22410 22284 0 -1 4202560 87332 0 0 0 82180 25 0 0 25 0 4 0 523673403 3344031744 683124 33554432000 4194304 4623224 140733428380432 18446744073709551615 4357901 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=22410/tid=22422] ppid=22408 vsize=3265656 CPUtime=817.57 cores=1,3,5,7
/proc/22410/task/22422/stat : 22422 (SArTagnan) R 22408 22410 22284 0 -1 4202560 98209 0 0 0 81723 34 0 0 25 0 4 0 523673403 3344031744 683124 33554432000 4194304 4623224 140733428380432 18446744073709551615 4357901 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=22410/tid=22423] ppid=22408 vsize=3265656 CPUtime=822.06 cores=1,3,5,7
/proc/22410/task/22423/stat : 22423 (SArTagnan) R 22408 22410 22284 0 -1 4202560 153933 0 0 0 82171 35 0 0 25 0 4 0 523673403 3344031744 683124 33554432000 4194304 4623224 140733428380432 18446744073709551615 4364232 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3284.02
Current children cumulated vsize (KiB) 3265656

[startup+882.301 s]
/proc/loadavg: 8.11 8.08 7.78 9/184 22447
/proc/meminfo: memFree=26099116/32951124 swapFree=67111416/67111528
[pid=22410] ppid=22408 vsize=3265656 CPUtime=3523.7 cores=1,3,5,7
/proc/22410/stat : 22410 (SArTagnan) R 22408 22410 22284 0 -1 4202496 1719585 0 0 0 352042 328 0 0 25 0 4 0 523673378 3344031744 684470 33554432000 4194304 4623224 140733428380432 18446744073709551615 4360087 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/22410/statm: 816414 684470 476 105 0 811918 0
[pid=22410/tid=22421] ppid=22408 vsize=3265656 CPUtime=882.05 cores=1,3,5,7
/proc/22410/task/22421/stat : 22421 (SArTagnan) R 22408 22410 22284 0 -1 4202560 87554 0 0 0 88180 25 0 0 25 0 4 0 523673403 3344031744 684470 33554432000 4194304 4623224 140733428380432 18446744073709551615 4486238 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=22410/tid=22422] ppid=22408 vsize=3265656 CPUtime=877.24 cores=1,3,5,7
/proc/22410/task/22422/stat : 22422 (SArTagnan) R 22408 22410 22284 0 -1 4202560 98495 0 0 0 87690 34 0 0 25 0 4 0 523673403 3344031744 684470 33554432000 4194304 4623224 140733428380432 18446744073709551615 4357901 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=22410/tid=22423] ppid=22408 vsize=3265656 CPUtime=882.07 cores=1,3,5,7
/proc/22410/task/22423/stat : 22423 (SArTagnan) R 22408 22410 22284 0 -1 4202560 154768 0 0 0 88171 36 0 0 25 0 4 0 523673403 3344031744 684470 33554432000 4194304 4623224 140733428380432 18446744073709551615 4577456 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3523.7
Current children cumulated vsize (KiB) 3265656

[startup+942.3 s]
/proc/loadavg: 8.13 8.09 7.80 9/184 22448
/proc/meminfo: memFree=26049476/32951124 swapFree=67111416/67111528
[pid=22410] ppid=22408 vsize=3321400 CPUtime=3763.39 cores=1,3,5,7
/proc/22410/stat : 22410 (SArTagnan) R 22408 22410 22284 0 -1 4202496 1750225 0 0 0 376006 333 0 0 25 0 4 0 523673378 3401113600 687265 33554432000 4194304 4623224 140733428380432 18446744073709551615 4360117 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/22410/statm: 830350 687265 476 105 0 825854 0
[pid=22410/tid=22421] ppid=22408 vsize=3321400 CPUtime=942.05 cores=1,3,5,7
/proc/22410/task/22421/stat : 22421 (SArTagnan) R 22408 22410 22284 0 -1 4202560 88014 0 0 0 94180 25 0 0 25 0 4 0 523673403 3401113600 687265 33554432000 4194304 4623224 140733428380432 18446744073709551615 4357901 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=22410/tid=22422] ppid=22408 vsize=3321400 CPUtime=936.91 cores=1,3,5,7
/proc/22410/task/22422/stat : 22422 (SArTagnan) R 22408 22410 22284 0 -1 4202560 111536 0 0 0 93655 36 0 0 25 0 4 0 523673403 3401113600 687265 33554432000 4194304 4623224 140733428380432 18446744073709551615 4357901 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=22410/tid=22423] ppid=22408 vsize=3321400 CPUtime=942.06 cores=1,3,5,7
/proc/22410/task/22423/stat : 22423 (SArTagnan) R 22408 22410 22284 0 -1 4202560 171745 0 0 0 94168 38 0 0 25 0 4 0 523673403 3401113600 687265 33554432000 4194304 4623224 140733428380432 18446744073709551615 4577690 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3763.39
Current children cumulated vsize (KiB) 3321400

[startup+1002.3 s]
/proc/loadavg: 8.08 8.08 7.82 9/184 22459
/proc/meminfo: memFree=26021872/32951124 swapFree=67111416/67111528
[pid=22410] ppid=22408 vsize=3321400 CPUtime=4003.04 cores=1,3,5,7
/proc/22410/stat : 22410 (SArTagnan) R 22408 22410 22284 0 -1 4202496 1751931 0 0 0 399971 333 0 0 25 0 4 0 523673378 3401113600 688957 33554432000 4194304 4623224 140733428380432 18446744073709551615 4360078 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/22410/statm: 830350 688957 476 105 0 825854 0
[pid=22410/tid=22421] ppid=22408 vsize=3321400 CPUtime=1002.04 cores=1,3,5,7
/proc/22410/task/22421/stat : 22421 (SArTagnan) R 22408 22410 22284 0 -1 4202560 88379 0 0 0 100179 25 0 0 25 0 4 0 523673403 3401113600 688957 33554432000 4194304 4623224 140733428380432 18446744073709551615 4357901 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=22410/tid=22422] ppid=22408 vsize=3321400 CPUtime=996.59 cores=1,3,5,7
/proc/22410/task/22422/stat : 22422 (SArTagnan) R 22408 22410 22284 0 -1 4202560 111900 0 0 0 99622 37 0 0 25 0 4 0 523673403 3401113600 688957 33554432000 4194304 4623224 140733428380432 18446744073709551615 4366412 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=22410/tid=22423] ppid=22408 vsize=3321400 CPUtime=1002.07 cores=1,3,5,7
/proc/22410/task/22423/stat : 22423 (SArTagnan) R 22408 22410 22284 0 -1 4202560 172533 0 0 0 100168 39 0 0 25 0 4 0 523673403 3401113600 688957 33554432000 4194304 4623224 140733428380432 18446744073709551615 4364232 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4003.04
Current children cumulated vsize (KiB) 3321400

[startup+1062.3 s]
/proc/loadavg: 8.07 8.08 7.83 9/184 22460
/proc/meminfo: memFree=25725612/32951124 swapFree=67111416/67111528
[pid=22410] ppid=22408 vsize=3457600 CPUtime=4242.72 cores=1,3,5,7
/proc/22410/stat : 22410 (SArTagnan) R 22408 22410 22284 0 -1 4202496 1796314 0 0 0 423921 351 0 0 25 0 4 0 523673378 3540582400 732607 33554432000 4194304 4623224 140733428380432 18446744073709551615 4360087 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/22410/statm: 864400 732607 476 105 0 859904 0
[pid=22410/tid=22421] ppid=22408 vsize=3457600 CPUtime=1062.05 cores=1,3,5,7
/proc/22410/task/22421/stat : 22421 (SArTagnan) R 22408 22410 22284 0 -1 4202560 89751 0 0 0 106180 25 0 0 25 0 4 0 523673403 3540582400 732607 33554432000 4194304 4623224 140733428380432 18446744073709551615 4467842 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=22410/tid=22422] ppid=22408 vsize=3457600 CPUtime=1056.26 cores=1,3,5,7
/proc/22410/task/22422/stat : 22422 (SArTagnan) R 22408 22410 22284 0 -1 4202560 148590 0 0 0 105574 52 0 0 25 0 4 0 523673403 3540582400 732607 33554432000 4194304 4623224 140733428380432 18446744073709551615 4377128 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=22410/tid=22423] ppid=22408 vsize=3457600 CPUtime=1062.07 cores=1,3,5,7
/proc/22410/task/22423/stat : 22423 (SArTagnan) R 22408 22410 22284 0 -1 4202560 173750 0 0 0 106168 39 0 0 25 0 4 0 523673403 3540582400 732607 33554432000 4194304 4623224 140733428380432 18446744073709551615 4376853 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4242.72
Current children cumulated vsize (KiB) 3457600

[startup+1122.3 s]
/proc/loadavg: 8.36 8.16 7.87 10/185 22465
/proc/meminfo: memFree=25238240/32951124 swapFree=67111416/67111528
[pid=22410] ppid=22408 vsize=4328308 CPUtime=4482.37 cores=1,3,5,7
/proc/22410/stat : 22410 (SArTagnan) R 22408 22410 22284 0 -1 4202496 2271993 0 0 0 447816 421 0 0 25 0 4 0 523673378 4432187392 841489 33554432000 4194304 4623224 140733428380432 18446744073709551615 4360122 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/22410/statm: 1082077 841489 476 105 0 1077581 0
[pid=22410/tid=22421] ppid=22408 vsize=4328308 CPUtime=1122.05 cores=1,3,5,7
/proc/22410/task/22421/stat : 22421 (SArTagnan) R 22408 22410 22284 0 -1 4202560 90817 0 0 0 112179 26 0 0 25 0 4 0 523673403 4432187392 841489 33554432000 4194304 4623224 140733428380432 18446744073709551615 4357901 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=22410/tid=22422] ppid=22408 vsize=4328308 CPUtime=1115.91 cores=1,3,5,7
/proc/22410/task/22422/stat : 22422 (SArTagnan) R 22408 22410 22284 0 -1 4202560 186674 0 0 0 111526 65 0 0 25 0 4 0 523673403 4432187392 841489 33554432000 4194304 4623224 140733428380432 18446744073709551615 4376675 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=22410/tid=22423] ppid=22408 vsize=4328308 CPUtime=1122.07 cores=1,3,5,7
/proc/22410/task/22423/stat : 22423 (SArTagnan) R 22408 22410 22284 0 -1 4202560 174082 0 0 0 112168 39 0 0 25 0 4 0 523673403 4432187392 841489 33554432000 4194304 4623224 140733428380432 18446744073709551615 4545376 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4482.37
Current children cumulated vsize (KiB) 4328308

[startup+1182.3 s]
/proc/loadavg: 8.20 8.15 7.88 9/184 22467
/proc/meminfo: memFree=25052992/32951124 swapFree=67111416/67111528
[pid=22410] ppid=22408 vsize=4509904 CPUtime=4722.04 cores=1,3,5,7
/proc/22410/stat : 22410 (SArTagnan) R 22408 22410 22284 0 -1 4202496 2341917 0 0 0 471767 437 0 0 25 0 4 0 523673378 4618141696 886090 33554432000 4194304 4623224 140733428380432 18446744073709551615 4360117 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/22410/statm: 1127476 886090 476 105 0 1122980 0
[pid=22410/tid=22421] ppid=22408 vsize=4509904 CPUtime=1182.05 cores=1,3,5,7
/proc/22410/task/22421/stat : 22421 (SArTagnan) R 22408 22410 22284 0 -1 4202560 92099 0 0 0 118179 26 0 0 25 0 4 0 523673403 4618141696 886090 33554432000 4194304 4623224 140733428380432 18446744073709551615 4357901 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=22410/tid=22422] ppid=22408 vsize=4509904 CPUtime=1175.58 cores=1,3,5,7
/proc/22410/task/22422/stat : 22422 (SArTagnan) R 22408 22410 22284 0 -1 4202560 229273 0 0 0 117481 77 0 0 25 0 4 0 523673403 4618141696 886090 33554432000 4194304 4623224 140733428380432 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=22410/tid=22423] ppid=22408 vsize=4509904 CPUtime=1182.07 cores=1,3,5,7
/proc/22410/task/22423/stat : 22423 (SArTagnan) R 22408 22410 22284 0 -1 4202560 177584 0 0 0 118167 40 0 0 25 0 4 0 523673403 4618141696 886090 33554432000 4194304 4623224 140733428380432 18446744073709551615 4363989 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4722.04
Current children cumulated vsize (KiB) 4509904



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.9 s]
/proc/loadavg: 8.14 8.14 7.89 9/184 22467
/proc/meminfo: memFree=25022232/32951124 swapFree=67111416/67111528
[pid=22410] ppid=22408 vsize=4510148 CPUtime=4800.37 cores=1,3,5,7
/proc/22410/stat : 22410 (SArTagnan) R 22408 22410 22284 0 -1 4202496 2349332 0 0 0 479598 439 0 0 25 0 4 0 523673378 4618391552 892824 33554432000 4194304 4623224 140733428380432 18446744073709551615 4360087 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/22410/statm: 1127537 892824 476 105 0 1123041 0
[pid=22410/tid=22421] ppid=22408 vsize=4510148 CPUtime=1201.66 cores=1,3,5,7
/proc/22410/task/22421/stat : 22421 (SArTagnan) R 22408 22410 22284 0 -1 4202560 92440 0 0 0 120140 26 0 0 25 0 4 0 523673403 4618391552 892824 33554432000 4194304 4623224 140733428380432 18446744073709551615 4357901 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=22410/tid=22422] ppid=22408 vsize=4510148 CPUtime=1195.08 cores=1,3,5,7
/proc/22410/task/22422/stat : 22422 (SArTagnan) R 22408 22410 22284 0 -1 4202560 229628 0 0 0 119431 77 0 0 25 0 4 0 523673403 4618391552 892824 33554432000 4194304 4623224 140733428380432 18446744073709551615 4376823 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=22410/tid=22423] ppid=22408 vsize=4510148 CPUtime=1201.68 cores=1,3,5,7
/proc/22410/task/22423/stat : 22423 (SArTagnan) R 22408 22410 22284 0 -1 4202560 177694 0 0 0 120128 40 0 0 25 0 4 0 523673403 4618391552 892824 33554432000 4194304 4623224 140733428380432 18446744073709551615 4364232 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4800.37
Current children cumulated vsize (KiB) 4510148

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.14 8.14 7.89 9/184 22467
/proc/meminfo: memFree=25022232/32951124 swapFree=67111416/67111528
[pid=22410] ppid=22408 vsize=0 CPUtime=4800.49 cores=1,3,5,7
/proc/22410/stat : 22410 (SArTagnan) Z 22408 22410 22284 0 -1 4203548 2349332 0 0 0 479600 449 0 0 25 0 2 0 523673378 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/22410/statm: 0 0 0 0 0 0 0
[pid=22410/tid=22422] ppid=22408 vsize=0 CPUtime=1195.18 cores=1,3,5,7
/proc/22410/task/22422/stat : 22422 (SArTagnan) R 22408 22410 22284 0 -1 4203588 229628 0 0 0 119431 87 0 0 25 0 2 0 523673403 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4800.49
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1202.04
CPU time (s): 4800.52
CPU user time (s): 4796
CPU system time (s): 4.52131
CPU usage (%): 399.364
Max. virtual memory (cumulated for all children) (KiB): 5748152

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4796
system time used= 4.52131
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2349332
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= 2189
involuntary context switches= 18154

runsolver used 1.71474 second user time and 4.85126 second system time

The end

Launcher Data 

Begin job on node102 at 2011-04-30 01:45:10
IDJOB=3251046
IDBENCH=88208
IDSOLVER=1656
FILE ID=node102/3251046-1304120710
RUNJOBID= node102-1304119506-22303
PBS_JOBID= 13170726
Free space on /tmp= 71548 MiB

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

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

MD5SUM BENCH= 78d8e2b8c0fd15b93f96e38e33701f17
RANDOM SEED=1748969372

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:      30582096 kB
Buffers:        604912 kB
Cached:        1281128 kB
SwapCached:          0 kB
Active:         155428 kB
Inactive:      1798456 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      30582096 kB
SwapTotal:    67111528 kB
SwapFree:     67111416 kB
Dirty:           15608 kB
Writeback:           0 kB
AnonPages:       67256 kB
Mapped:          14544 kB
Slab:           351984 kB
PageTables:       4636 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   192816 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 02:05:14