Trace number 3299495

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
claspmt 2.0-R4095? (TO) 4800.28 1202

General information on the benchmark

NameCRAFTED/rbsat/random/
forced/rbsat-v1150c84314gyes1.cnf
MD5SUMd6097a9814089eeede1d027388c17a02
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark1.3218
Satisfiable
(Un)Satisfiability was proved
Number of variables1150
Number of clauses84314
Sum of the clauses size169678
Maximum clause length23
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 284264
Number of clauses of size 30
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 550

Solver Data 

0.00/0.00	c clasp version 2.0.0-RC2
0.00/0.00	c Reading from ...053807/instance-3299495-1304053807.cnf
0.19/0.25	c Solving...
4800.17/1201.91	
4800.17/1201.91	*** INTERRUPTED! ***
4800.17/1201.91	*** Shutting down threads...
4800.17/1201.99	s UNKNOWN
4800.17/1201.99	
4800.17/1201.99	c INTERRUPTED   : 1
4800.17/1201.99	c Models        : 0+    
4800.17/1201.99	c Time          : 1201.923s (Solving: 1201.67s 1st Model: 0.00s Unsat: 0.00s)
4800.17/1201.99	c CPU Time      : 4800.200s

Verifier Data 

ERROR: Unexpected answer ! (SATISFIABLE/UNSATISFIABLE expected)
Got answer: UNKNOWN

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-3299495-1304053807/watcher-3299495-1304053807 -o /tmp/evaluation-result-3299495-1304053807/solver-3299495-1304053807 -C 4800 -W 1300 -M 15500 HOME/claspmt -t4 -p HOME/sat11-port.txt --distribute=all,2 HOME/instance-3299495-1304053807.cnf 

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: 7.95 8.09 8.05 1/175 9048
/proc/meminfo: memFree=19554348/32951124 swapFree=67111524/67111528
[pid=9048] ppid=9046 vsize=21476 CPUtime=0 cores=0,2,4,6
/proc/9048/stat : 9048 (claspmt) R 9046 9048 8638 0 -1 4202496 680 0 0 0 0 0 0 0 25 0 1 0 497796821 21991424 602 33554432000 4194304 4964704 140736099683184 18446744073709551615 255106429637 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/9048/statm: 5369 602 385 189 0 243 0

[startup+0.0773249 s]
/proc/loadavg: 7.95 8.09 8.05 1/175 9048
/proc/meminfo: memFree=19554348/32951124 swapFree=67111524/67111528
[pid=9048] ppid=9046 vsize=26344 CPUtime=0.07 cores=0,2,4,6
/proc/9048/stat : 9048 (claspmt) R 9046 9048 8638 0 -1 4202496 2168 0 0 0 7 0 0 0 25 0 1 0 497796821 26976256 1788 33554432000 4194304 4964704 140736099683184 18446744073709551615 4607590 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/9048/statm: 6586 1788 398 189 0 1460 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 26344

[startup+0.100319 s]
/proc/loadavg: 7.95 8.09 8.05 1/175 9048
/proc/meminfo: memFree=19554348/32951124 swapFree=67111524/67111528
[pid=9048] ppid=9046 vsize=26344 CPUtime=0.09 cores=0,2,4,6
/proc/9048/stat : 9048 (claspmt) R 9046 9048 8638 0 -1 4202496 2168 0 0 0 9 0 0 0 25 0 1 0 497796821 26976256 1788 33554432000 4194304 4964704 140736099683184 18446744073709551615 4607590 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/9048/statm: 6586 1788 398 189 0 1460 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 26344

[startup+0.309568 s]
/proc/loadavg: 7.95 8.09 8.05 1/175 9048
/proc/meminfo: memFree=19554348/32951124 swapFree=67111524/67111528
[pid=9048] ppid=9046 vsize=238940 CPUtime=0.75 cores=0,2,4,6
/proc/9048/stat : 9048 (claspmt) S 9046 9048 8638 0 -1 4202496 3525 0 0 0 73 2 0 0 18 0 4 0 497796821 244674560 2979 33554432000 4194304 4964704 140736099683184 18446744073709551615 255106873838 0 0 4096 18946 18446744073709551615 0 0 17 6 0 0 0
/proc/9048/statm: 59735 4403 458 189 0 54084 0
Current children cumulated CPU time (s) 0.75
Current children cumulated vsize (KiB) 238940

[startup+1.17007 s]
/proc/loadavg: 7.95 8.09 8.05 1/175 9048
/proc/meminfo: memFree=19554348/32951124 swapFree=67111524/67111528
[pid=9048] ppid=9046 vsize=238940 CPUtime=3.87 cores=0,2,4,6
/proc/9048/stat : 9048 (claspmt) R 9046 9048 8638 0 -1 4202496 5586 0 0 0 380 7 0 0 19 0 4 0 497796821 244674560 5040 33554432000 4194304 4964704 140736099683184 18446744073709551615 4670193 0 0 4096 18946 18446744073709551615 0 0 17 6 0 0 0
/proc/9048/statm: 59735 5040 458 189 0 54084 0
Current children cumulated CPU time (s) 3.87
Current children cumulated vsize (KiB) 238940

[startup+1.50101 s]
/proc/loadavg: 7.95 8.09 8.05 1/175 9048
/proc/meminfo: memFree=19554348/32951124 swapFree=67111524/67111528
[pid=9048] ppid=9046 vsize=240244 CPUtime=5.2 cores=0,2,4,6
/proc/9048/stat : 9048 (claspmt) R 9046 9048 8638 0 -1 4202496 6648 0 0 0 511 9 0 0 19 0 4 0 497796821 246009856 6102 33554432000 4194304 4964704 140736099683184 18446744073709551615 4670017 0 0 4096 18946 18446744073709551615 0 0 17 6 0 0 0
/proc/9048/statm: 60061 6102 458 189 0 54410 0
Current children cumulated CPU time (s) 5.2
Current children cumulated vsize (KiB) 240244

[startup+3.1007 s]
/proc/loadavg: 7.95 8.09 8.05 9/184 9082
/proc/meminfo: memFree=19500176/32951124 swapFree=67111524/67111528
[pid=9048] ppid=9046 vsize=244248 CPUtime=11.58 cores=0,2,4,6
/proc/9048/stat : 9048 (claspmt) R 9046 9048 8638 0 -1 4202496 8841 0 0 0 1148 10 0 0 24 0 4 0 497796821 250109952 8295 33554432000 4194304 4964704 140736099683184 18446744073709551615 4670339 0 0 4096 18946 18446744073709551615 0 0 17 6 0 0 0
/proc/9048/statm: 61062 8295 460 189 0 55411 0
[pid=9048/tid=9050] ppid=9046 vsize=244248 CPUtime=2.83 cores=0,2,4,6
/proc/9048/task/9050/stat : 9050 (claspmt) R 9046 9048 8638 0 -1 4202560 1444 0 0 0 283 0 0 0 24 0 4 0 497796847 250109952 8295 33554432000 4194304 4964704 140736099683184 18446744073709551615 4627536 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=9048/tid=9051] ppid=9046 vsize=244248 CPUtime=2.83 cores=0,2,4,6
/proc/9048/task/9051/stat : 9051 (claspmt) R 9046 9048 8638 0 -1 4202560 1658 0 0 0 281 2 0 0 24 0 4 0 497796847 250109952 8295 33554432000 4194304 4964704 140736099683184 18446744073709551615 4320944 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=9048/tid=9052] ppid=9046 vsize=244248 CPUtime=2.82 cores=0,2,4,6
/proc/9048/task/9052/stat : 9052 (claspmt) R 9046 9048 8638 0 -1 4202560 1569 0 0 0 279 3 0 0 22 0 4 0 497796847 250109952 8295 33554432000 4194304 4964704 140736099683184 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 11.58
Current children cumulated vsize (KiB) 244248

[startup+6.30114 s]
/proc/loadavg: 7.96 8.09 8.04 9/184 9083
/proc/meminfo: memFree=19456972/32951124 swapFree=67111524/67111528
[pid=9048] ppid=9046 vsize=247048 CPUtime=24.38 cores=0,2,4,6
/proc/9048/stat : 9048 (claspmt) R 9046 9048 8638 0 -1 4202496 11959 0 0 0 2426 12 0 0 25 0 4 0 497796821 252977152 11413 33554432000 4194304 4964704 140736099683184 18446744073709551615 4670248 0 0 4096 18946 18446744073709551615 0 0 17 6 0 0 0
/proc/9048/statm: 61762 11413 460 189 0 56111 0
[pid=9048/tid=9050] ppid=9046 vsize=247048 CPUtime=6.03 cores=0,2,4,6
/proc/9048/task/9050/stat : 9050 (claspmt) R 9046 9048 8638 0 -1 4202560 2590 0 0 0 603 0 0 0 25 0 4 0 497796847 252977152 11413 33554432000 4194304 4964704 140736099683184 18446744073709551615 4315503 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=9048/tid=9051] ppid=9046 vsize=247048 CPUtime=6.04 cores=0,2,4,6
/proc/9048/task/9051/stat : 9051 (claspmt) R 9046 9048 8638 0 -1 4202560 2214 0 0 0 601 3 0 0 25 0 4 0 497796847 252977152 11413 33554432000 4194304 4964704 140736099683184 18446744073709551615 4670184 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=9048/tid=9052] ppid=9046 vsize=247048 CPUtime=6.02 cores=0,2,4,6
/proc/9048/task/9052/stat : 9052 (claspmt) R 9046 9048 8638 0 -1 4202560 2029 0 0 0 599 3 0 0 25 0 4 0 497796847 252977152 11413 33554432000 4194304 4964704 140736099683184 18446744073709551615 4627299 0 0 4096 18946 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 24.38
Current children cumulated vsize (KiB) 247048

[startup+12.701 s]
/proc/loadavg: 7.96 8.09 8.04 9/184 9083
/proc/meminfo: memFree=19407632/32951124 swapFree=67111524/67111528
[pid=9048] ppid=9046 vsize=249624 CPUtime=49.96 cores=0,2,4,6
/proc/9048/stat : 9048 (claspmt) R 9046 9048 8638 0 -1 4202496 15346 0 0 0 4982 14 0 0 25 0 4 0 497796821 255614976 14800 33554432000 4194304 4964704 140736099683184 18446744073709551615 4670354 0 0 4096 18946 18446744073709551615 0 0 17 6 0 0 0
/proc/9048/statm: 62406 14800 460 189 0 56755 0
[pid=9048/tid=9050] ppid=9046 vsize=249624 CPUtime=12.43 cores=0,2,4,6
/proc/9048/task/9050/stat : 9050 (claspmt) R 9046 9048 8638 0 -1 4202560 3610 0 0 0 1243 0 0 0 25 0 4 0 497796847 255614976 14801 33554432000 4194304 4964704 140736099683184 18446744073709551615 255106429985 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=9048/tid=9051] ppid=9046 vsize=249624 CPUtime=12.44 cores=0,2,4,6
/proc/9048/task/9051/stat : 9051 (claspmt) R 9046 9048 8638 0 -1 4202560 3353 0 0 0 1240 4 0 0 25 0 4 0 497796847 255614976 14801 33554432000 4194304 4964704 140736099683184 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=9048/tid=9052] ppid=9046 vsize=249624 CPUtime=12.43 cores=0,2,4,6
/proc/9048/task/9052/stat : 9052 (claspmt) R 9046 9048 8638 0 -1 4202560 2394 0 0 0 1239 4 0 0 25 0 4 0 497796847 255614976 14801 33554432000 4194304 4964704 140736099683184 18446744073709551615 4626962 0 0 4096 18946 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 49.96
Current children cumulated vsize (KiB) 249624

[startup+25.5008 s]
/proc/loadavg: 7.97 8.08 8.04 9/184 9083
/proc/meminfo: memFree=19351488/32951124 swapFree=67111524/67111528
[pid=9048] ppid=9046 vsize=253532 CPUtime=101.07 cores=0,2,4,6
/proc/9048/stat : 9048 (claspmt) R 9046 9048 8638 0 -1 4202496 19428 0 0 0 10090 17 0 0 25 0 4 0 497796821 259616768 18882 33554432000 4194304 4964704 140736099683184 18446744073709551615 4670416 0 0 4096 18946 18446744073709551615 0 0 17 6 0 0 0
/proc/9048/statm: 63383 18882 460 189 0 57732 0
[pid=9048/tid=9050] ppid=9046 vsize=253532 CPUtime=25.23 cores=0,2,4,6
/proc/9048/task/9050/stat : 9050 (claspmt) R 9046 9048 8638 0 -1 4202560 4548 0 0 0 2522 1 0 0 25 0 4 0 497796847 259616768 18882 33554432000 4194304 4964704 140736099683184 18446744073709551615 4670184 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=9048/tid=9051] ppid=9046 vsize=253532 CPUtime=25.23 cores=0,2,4,6
/proc/9048/task/9051/stat : 9051 (claspmt) R 9046 9048 8638 0 -1 4202560 4219 0 0 0 2519 4 0 0 25 0 4 0 497796847 259616768 18882 33554432000 4194304 4964704 140736099683184 18446744073709551615 4670269 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=9048/tid=9052] ppid=9046 vsize=253532 CPUtime=25.23 cores=0,2,4,6
/proc/9048/task/9052/stat : 9052 (claspmt) R 9046 9048 8638 0 -1 4202560 4176 0 0 0 2517 6 0 0 25 0 4 0 497796847 259616768 18882 33554432000 4194304 4964704 140736099683184 18446744073709551615 4320909 0 0 4096 18946 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 101.07
Current children cumulated vsize (KiB) 253532

[startup+51.1003 s]
/proc/loadavg: 7.98 8.08 8.04 9/184 9084
/proc/meminfo: memFree=19236144/32951124 swapFree=67111524/67111528
[pid=9048] ppid=9046 vsize=261932 CPUtime=203.34 cores=0,2,4,6
/proc/9048/stat : 9048 (claspmt) R 9046 9048 8638 0 -1 4202496 30695 0 0 0 20311 23 0 0 25 0 4 0 497796821 268218368 29858 33554432000 4194304 4964704 140736099683184 18446744073709551615 4670228 0 0 4096 18946 18446744073709551615 0 0 17 6 0 0 0
/proc/9048/statm: 65483 29858 460 189 0 59832 0
[pid=9048/tid=9050] ppid=9046 vsize=261932 CPUtime=50.83 cores=0,2,4,6
/proc/9048/task/9050/stat : 9050 (claspmt) R 9046 9048 8638 0 -1 4202560 7185 0 0 0 5080 3 0 0 25 0 4 0 497796847 268218368 29858 33554432000 4194304 4964704 140736099683184 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=9048/tid=9051] ppid=9046 vsize=261932 CPUtime=50.83 cores=0,2,4,6
/proc/9048/task/9051/stat : 9051 (claspmt) R 9046 9048 8638 0 -1 4202560 8246 0 0 0 5077 6 0 0 25 0 4 0 497796847 268218368 29858 33554432000 4194304 4964704 140736099683184 18446744073709551615 4320951 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=9048/tid=9052] ppid=9046 vsize=261932 CPUtime=50.83 cores=0,2,4,6
/proc/9048/task/9052/stat : 9052 (claspmt) R 9046 9048 8638 0 -1 4202560 6308 0 0 0 5076 7 0 0 25 0 4 0 497796847 268218368 29858 33554432000 4194304 4964704 140736099683184 18446744073709551615 4670277 0 0 4096 18946 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 203.34
Current children cumulated vsize (KiB) 261932

[startup+102.3 s]
/proc/loadavg: 7.99 8.06 8.04 9/184 9085
/proc/meminfo: memFree=19091896/32951124 swapFree=67111524/67111528
[pid=9048] ppid=9046 vsize=276932 CPUtime=407.86 cores=0,2,4,6
/proc/9048/stat : 9048 (claspmt) R 9046 9048 8638 0 -1 4202496 43422 0 0 0 40754 32 0 0 25 0 4 0 497796821 283578368 42055 33554432000 4194304 4964704 140736099683184 18446744073709551615 4670219 0 0 4096 18946 18446744073709551615 0 0 17 6 0 0 0
/proc/9048/statm: 69233 42055 460 189 0 63582 0
[pid=9048/tid=9050] ppid=9046 vsize=276932 CPUtime=102.02 cores=0,2,4,6
/proc/9048/task/9050/stat : 9050 (claspmt) R 9046 9048 8638 0 -1 4202560 12029 0 0 0 10196 6 0 0 25 0 4 0 497796847 283578368 42055 33554432000 4194304 4964704 140736099683184 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=9048/tid=9051] ppid=9046 vsize=276932 CPUtime=102.02 cores=0,2,4,6
/proc/9048/task/9051/stat : 9051 (claspmt) R 9046 9048 8638 0 -1 4202560 12060 0 0 0 10194 8 0 0 25 0 4 0 497796847 283578368 42055 33554432000 4194304 4964704 140736099683184 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=9048/tid=9052] ppid=9046 vsize=276932 CPUtime=102.02 cores=0,2,4,6
/proc/9048/task/9052/stat : 9052 (claspmt) R 9046 9048 8638 0 -1 4202560 8880 0 0 0 10193 9 0 0 25 0 4 0 497796847 283578368 42055 33554432000 4194304 4964704 140736099683184 18446744073709551615 255106429985 0 0 4096 18946 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 407.86
Current children cumulated vsize (KiB) 276932

[startup+162.301 s]
/proc/loadavg: 8.04 8.06 8.04 9/184 9087
/proc/meminfo: memFree=18981384/32951124 swapFree=67111524/67111528
[pid=9048] ppid=9046 vsize=286412 CPUtime=647.55 cores=0,2,4,6
/proc/9048/stat : 9048 (claspmt) R 9046 9048 8638 0 -1 4202496 51298 0 0 0 64716 39 0 0 25 0 4 0 497796821 293285888 49870 33554432000 4194304 4964704 140736099683184 18446744073709551615 4626894 0 0 4096 18946 18446744073709551615 0 0 17 6 0 0 0
/proc/9048/statm: 71603 49870 460 189 0 65952 0
[pid=9048/tid=9050] ppid=9046 vsize=286412 CPUtime=162.01 cores=0,2,4,6
/proc/9048/task/9050/stat : 9050 (claspmt) R 9046 9048 8638 0 -1 4202560 16202 0 0 0 16192 9 0 0 25 0 4 0 497796847 293285888 49870 33554432000 4194304 4964704 140736099683184 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=9048/tid=9051] ppid=9046 vsize=286412 CPUtime=162.03 cores=0,2,4,6
/proc/9048/task/9051/stat : 9051 (claspmt) R 9046 9048 8638 0 -1 4202560 13949 0 0 0 16193 10 0 0 25 0 4 0 497796847 293285888 49870 33554432000 4194304 4964704 140736099683184 18446744073709551615 4670266 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=9048/tid=9052] ppid=9046 vsize=286412 CPUtime=162.03 cores=0,2,4,6
/proc/9048/task/9052/stat : 9052 (claspmt) R 9046 9048 8638 0 -1 4202560 10487 0 0 0 16192 11 0 0 25 0 4 0 497796847 293285888 49870 33554432000 4194304 4964704 140736099683184 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 647.55
Current children cumulated vsize (KiB) 286412

[startup+222.301 s]
/proc/loadavg: 8.06 8.06 8.03 9/184 9088
/proc/meminfo: memFree=18917980/32951124 swapFree=67111524/67111528
[pid=9048] ppid=9046 vsize=293908 CPUtime=887.21 cores=0,2,4,6
/proc/9048/stat : 9048 (claspmt) R 9046 9048 8638 0 -1 4202496 57813 0 0 0 88675 46 0 0 25 0 4 0 497796821 300961792 56152 33554432000 4194304 4964704 140736099683184 18446744073709551615 4670228 0 0 4096 18946 18446744073709551615 0 0 17 6 0 0 0
/proc/9048/statm: 73477 56152 460 189 0 67826 0
[pid=9048/tid=9050] ppid=9046 vsize=293908 CPUtime=222 cores=0,2,4,6
/proc/9048/task/9050/stat : 9050 (claspmt) R 9046 9048 8638 0 -1 4202560 17705 0 0 0 22190 10 0 0 25 0 4 0 497796847 300961792 56152 33554432000 4194304 4964704 140736099683184 18446744073709551615 4670248 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=9048/tid=9051] ppid=9046 vsize=293908 CPUtime=222.02 cores=0,2,4,6
/proc/9048/task/9051/stat : 9051 (claspmt) R 9046 9048 8638 0 -1 4202560 16224 0 0 0 22191 11 0 0 25 0 4 0 497796847 300961792 56152 33554432000 4194304 4964704 140736099683184 18446744073709551615 4670193 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=9048/tid=9052] ppid=9046 vsize=293908 CPUtime=222.02 cores=0,2,4,6
/proc/9048/task/9052/stat : 9052 (claspmt) R 9046 9048 8638 0 -1 4202560 12199 0 0 0 22188 14 0 0 25 0 4 0 497796847 300961792 56152 33554432000 4194304 4964704 140736099683184 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 887.21
Current children cumulated vsize (KiB) 293908

[startup+282.307 s]
/proc/loadavg: 8.10 8.08 8.04 9/184 9090
/proc/meminfo: memFree=18864388/32951124 swapFree=67111524/67111528
[pid=9048] ppid=9046 vsize=297560 CPUtime=1126.9 cores=0,2,4,6
/proc/9048/stat : 9048 (claspmt) R 9046 9048 8638 0 -1 4202496 61368 0 0 0 112640 50 0 0 25 0 4 0 497796821 304701440 59707 33554432000 4194304 4964704 140736099683184 18446744073709551615 4632331 0 0 4096 18946 18446744073709551615 0 0 17 6 0 0 0
/proc/9048/statm: 74390 59707 460 189 0 68739 0
[pid=9048/tid=9050] ppid=9046 vsize=297560 CPUtime=282.01 cores=0,2,4,6

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

[pid=9048] ppid=9046 vsize=522444 CPUtime=2564.87 cores=0,2,4,6
/proc/9048/stat : 9048 (claspmt) R 9046 9048 8638 0 -1 4202496 86497 0 0 0 256415 72 0 0 25 0 4 0 497796821 534982656 83942 33554432000 4194304 4964704 140736099683184 18446744073709551615 4321102 0 0 4096 18946 18446744073709551615 0 0 17 6 0 0 0
/proc/9048/statm: 130611 83942 460 189 0 124960 0
[pid=9048/tid=9050] ppid=9046 vsize=522444 CPUtime=641.99 cores=0,2,4,6
/proc/9048/task/9050/stat : 9050 (claspmt) R 9046 9048 8638 0 -1 4202560 22720 0 0 0 64186 13 0 0 25 0 4 0 497796847 534982656 83942 33554432000 4194304 4964704 140736099683184 18446744073709551615 4669396 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=9048/tid=9051] ppid=9046 vsize=522444 CPUtime=641.98 cores=0,2,4,6
/proc/9048/task/9051/stat : 9051 (claspmt) R 9046 9048 8638 0 -1 4202560 22981 0 0 0 64184 14 0 0 25 0 4 0 497796847 534982656 83942 33554432000 4194304 4964704 140736099683184 18446744073709551615 4670266 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=9048/tid=9052] ppid=9046 vsize=522444 CPUtime=642.02 cores=0,2,4,6
/proc/9048/task/9052/stat : 9052 (claspmt) R 9046 9048 8638 0 -1 4202560 25262 0 0 0 64171 31 0 0 25 0 4 0 497796847 534982656 83942 33554432000 4194304 4964704 140736099683184 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2564.87
Current children cumulated vsize (KiB) 522444

[startup+702.301 s]
/proc/loadavg: 8.21 8.14 8.08 9/184 9101
/proc/meminfo: memFree=18606776/32951124 swapFree=67111524/67111528
[pid=9048] ppid=9046 vsize=524576 CPUtime=2804.54 cores=0,2,4,6
/proc/9048/stat : 9048 (claspmt) R 9046 9048 8638 0 -1 4202496 87741 0 0 0 280381 73 0 0 25 0 4 0 497796821 537165824 85186 33554432000 4194304 4964704 140736099683184 18446744073709551615 4670228 0 0 4096 18946 18446744073709551615 0 0 17 6 0 0 0
/proc/9048/statm: 131144 85186 460 189 0 125493 0
[pid=9048/tid=9050] ppid=9046 vsize=524576 CPUtime=701.99 cores=0,2,4,6
/proc/9048/task/9050/stat : 9050 (claspmt) R 9046 9048 8638 0 -1 4202560 22842 0 0 0 70186 13 0 0 25 0 4 0 497796847 537165824 85186 33554432000 4194304 4964704 140736099683184 18446744073709551615 4670266 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=9048/tid=9051] ppid=9046 vsize=524576 CPUtime=701.97 cores=0,2,4,6
/proc/9048/task/9051/stat : 9051 (claspmt) R 9046 9048 8638 0 -1 4202560 23601 0 0 0 70183 14 0 0 25 0 4 0 497796847 537165824 85186 33554432000 4194304 4964704 140736099683184 18446744073709551615 255106466418 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=9048/tid=9052] ppid=9046 vsize=524576 CPUtime=702.02 cores=0,2,4,6
/proc/9048/task/9052/stat : 9052 (claspmt) R 9046 9048 8638 0 -1 4202560 25263 0 0 0 70171 31 0 0 25 0 4 0 497796847 537165824 85186 33554432000 4194304 4964704 140736099683184 18446744073709551615 4321010 0 0 4096 18946 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2804.54
Current children cumulated vsize (KiB) 524576

[startup+762.301 s]
/proc/loadavg: 8.19 8.14 8.08 9/184 9103
/proc/meminfo: memFree=18602552/32951124 swapFree=67111524/67111528
[pid=9048] ppid=9046 vsize=524712 CPUtime=3044.21 cores=0,2,4,6
/proc/9048/stat : 9048 (claspmt) R 9046 9048 8638 0 -1 4202496 87993 0 0 0 304348 73 0 0 25 0 4 0 497796821 537305088 85243 33554432000 4194304 4964704 140736099683184 18446744073709551615 4670228 0 0 4096 18946 18446744073709551615 0 0 17 6 0 0 0
/proc/9048/statm: 131178 85243 460 189 0 125527 0
[pid=9048/tid=9050] ppid=9046 vsize=524712 CPUtime=762 cores=0,2,4,6
/proc/9048/task/9050/stat : 9050 (claspmt) R 9046 9048 8638 0 -1 4202560 23034 0 0 0 76186 14 0 0 25 0 4 0 497796847 537305088 85243 33554432000 4194304 4964704 140736099683184 18446744073709551615 4627248 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=9048/tid=9051] ppid=9046 vsize=524712 CPUtime=761.97 cores=0,2,4,6
/proc/9048/task/9051/stat : 9051 (claspmt) R 9046 9048 8638 0 -1 4202560 23655 0 0 0 76183 14 0 0 25 0 4 0 497796847 537305088 85243 33554432000 4194304 4964704 140736099683184 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=9048/tid=9052] ppid=9046 vsize=524712 CPUtime=762.02 cores=0,2,4,6
/proc/9048/task/9052/stat : 9052 (claspmt) R 9046 9048 8638 0 -1 4202560 25264 0 0 0 76171 31 0 0 25 0 4 0 497796847 537305088 85243 33554432000 4194304 4964704 140736099683184 18446744073709551615 4321102 0 0 4096 18946 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3044.21
Current children cumulated vsize (KiB) 524712

[startup+822.3 s]
/proc/loadavg: 8.18 8.15 8.09 9/184 9104
/proc/meminfo: memFree=18588904/32951124 swapFree=67111524/67111528
[pid=9048] ppid=9046 vsize=524712 CPUtime=3283.89 cores=0,2,4,6
/proc/9048/stat : 9048 (claspmt) R 9046 9048 8638 0 -1 4202496 91141 0 0 0 328311 78 0 0 25 0 4 0 497796821 537305088 88236 33554432000 4194304 4964704 140736099683184 18446744073709551615 4632324 0 0 4096 18946 18446744073709551615 0 0 17 6 0 0 0
/proc/9048/statm: 131178 88236 460 189 0 125527 0
[pid=9048/tid=9050] ppid=9046 vsize=524712 CPUtime=822 cores=0,2,4,6
/proc/9048/task/9050/stat : 9050 (claspmt) R 9046 9048 8638 0 -1 4202560 23352 0 0 0 82186 14 0 0 25 0 4 0 497796847 537305088 88236 33554432000 4194304 4964704 140736099683184 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=9048/tid=9051] ppid=9046 vsize=524712 CPUtime=821.97 cores=0,2,4,6
/proc/9048/task/9051/stat : 9051 (claspmt) R 9046 9048 8638 0 -1 4202560 23706 0 0 0 82183 14 0 0 25 0 4 0 497796847 537305088 88236 33554432000 4194304 4964704 140736099683184 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=9048/tid=9052] ppid=9046 vsize=524712 CPUtime=822.03 cores=0,2,4,6
/proc/9048/task/9052/stat : 9052 (claspmt) R 9046 9048 8638 0 -1 4202560 28035 0 0 0 82167 36 0 0 25 0 4 0 497796847 537305088 88236 33554432000 4194304 4964704 140736099683184 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3283.89
Current children cumulated vsize (KiB) 524712

[startup+882.301 s]
/proc/loadavg: 8.17 8.15 8.09 9/184 9106
/proc/meminfo: memFree=18579968/32951124 swapFree=67111524/67111528
[pid=9048] ppid=9046 vsize=526124 CPUtime=3523.53 cores=0,2,4,6
/proc/9048/stat : 9048 (claspmt) R 9046 9048 8638 0 -1 4202496 93349 0 0 0 352272 81 0 0 25 0 4 0 497796821 538750976 90358 33554432000 4194304 4964704 140736099683184 18446744073709551615 4670228 0 0 4096 18946 18446744073709551615 0 0 17 6 0 0 0
/proc/9048/statm: 131531 90358 460 189 0 125880 0
[pid=9048/tid=9050] ppid=9046 vsize=526124 CPUtime=881.99 cores=0,2,4,6
/proc/9048/task/9050/stat : 9050 (claspmt) R 9046 9048 8638 0 -1 4202560 23853 0 0 0 88184 15 0 0 25 0 4 0 497796847 538750976 90358 33554432000 4194304 4964704 140736099683184 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=9048/tid=9051] ppid=9046 vsize=526124 CPUtime=881.95 cores=0,2,4,6
/proc/9048/task/9051/stat : 9051 (claspmt) R 9046 9048 8638 0 -1 4202560 24251 0 0 0 88181 14 0 0 25 0 4 0 497796847 538750976 90358 33554432000 4194304 4964704 140736099683184 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=9048/tid=9052] ppid=9046 vsize=526124 CPUtime=882.02 cores=0,2,4,6
/proc/9048/task/9052/stat : 9052 (claspmt) R 9046 9048 8638 0 -1 4202560 29197 0 0 0 88165 37 0 0 25 0 4 0 497796847 538750976 90358 33554432000 4194304 4964704 140736099683184 18446744073709551615 4627204 0 0 4096 18946 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3523.53
Current children cumulated vsize (KiB) 526124

[startup+942.306 s]
/proc/loadavg: 8.24 8.18 8.10 9/184 9111
/proc/meminfo: memFree=18549576/32951124 swapFree=67111524/67111528
[pid=9048] ppid=9046 vsize=526124 CPUtime=3763.21 cores=0,2,4,6
/proc/9048/stat : 9048 (claspmt) R 9046 9048 8638 0 -1 4202496 98231 0 0 0 376234 87 0 0 25 0 4 0 497796821 538750976 95085 33554432000 4194304 4964704 140736099683184 18446744073709551615 4670228 0 0 4096 18946 18446744073709551615 0 0 17 6 0 0 0
/proc/9048/statm: 131531 95085 460 189 0 125880 0
[pid=9048/tid=9050] ppid=9046 vsize=526124 CPUtime=942 cores=0,2,4,6
/proc/9048/task/9050/stat : 9050 (claspmt) R 9046 9048 8638 0 -1 4202560 26069 0 0 0 94182 18 0 0 25 0 4 0 497796847 538750976 95085 33554432000 4194304 4964704 140736099683184 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=9048/tid=9051] ppid=9046 vsize=526124 CPUtime=941.95 cores=0,2,4,6
/proc/9048/task/9051/stat : 9051 (claspmt) R 9046 9048 8638 0 -1 4202560 24741 0 0 0 94181 14 0 0 25 0 4 0 497796847 538750976 95085 33554432000 4194304 4964704 140736099683184 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=9048/tid=9052] ppid=9046 vsize=526124 CPUtime=942.02 cores=0,2,4,6
/proc/9048/task/9052/stat : 9052 (claspmt) R 9046 9048 8638 0 -1 4202560 30325 0 0 0 94163 39 0 0 25 0 4 0 497796847 538750976 95085 33554432000 4194304 4964704 140736099683184 18446744073709551615 4670281 0 0 4096 18946 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3763.21
Current children cumulated vsize (KiB) 526124

[startup+1002.3 s]
/proc/loadavg: 8.13 8.16 8.10 9/184 9112
/proc/meminfo: memFree=18524148/32951124 swapFree=67111524/67111528
[pid=9048] ppid=9046 vsize=527388 CPUtime=4002.85 cores=0,2,4,6
/proc/9048/stat : 9048 (claspmt) R 9046 9048 8638 0 -1 4202496 99183 0 0 0 400198 87 0 0 25 0 4 0 497796821 540045312 96021 33554432000 4194304 4964704 140736099683184 18446744073709551615 4660077 0 0 4096 18946 18446744073709551615 0 0 17 6 0 0 0
/proc/9048/statm: 131847 96021 460 189 0 126196 0
[pid=9048/tid=9050] ppid=9046 vsize=527388 CPUtime=1001.98 cores=0,2,4,6
/proc/9048/task/9050/stat : 9050 (claspmt) R 9046 9048 8638 0 -1 4202560 26557 0 0 0 100180 18 0 0 25 0 4 0 497796847 540045312 96021 33554432000 4194304 4964704 140736099683184 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=9048/tid=9051] ppid=9046 vsize=527388 CPUtime=1001.95 cores=0,2,4,6
/proc/9048/task/9051/stat : 9051 (claspmt) R 9046 9048 8638 0 -1 4202560 24853 0 0 0 100181 14 0 0 25 0 4 0 497796847 540045312 96021 33554432000 4194304 4964704 140736099683184 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=9048/tid=9052] ppid=9046 vsize=527388 CPUtime=1002.01 cores=0,2,4,6
/proc/9048/task/9052/stat : 9052 (claspmt) R 9046 9048 8638 0 -1 4202560 30327 0 0 0 100162 39 0 0 25 0 4 0 497796847 540045312 96021 33554432000 4194304 4964704 140736099683184 18446744073709551615 4670354 0 0 4096 18946 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4002.85
Current children cumulated vsize (KiB) 527388

[startup+1062.3 s]
/proc/loadavg: 8.05 8.13 8.09 9/184 9114
/proc/meminfo: memFree=18468828/32951124 swapFree=67111524/67111528
[pid=9048] ppid=9046 vsize=527388 CPUtime=4242.51 cores=0,2,4,6
/proc/9048/stat : 9048 (claspmt) R 9046 9048 8638 0 -1 4202496 100779 0 0 0 424162 89 0 0 25 0 4 0 497796821 540045312 97461 33554432000 4194304 4964704 140736099683184 18446744073709551615 4670241 0 0 4096 18946 18446744073709551615 0 0 17 0 0 0 0
/proc/9048/statm: 131847 97461 460 189 0 126196 0
[pid=9048/tid=9050] ppid=9046 vsize=527388 CPUtime=1061.86 cores=0,2,4,6
/proc/9048/task/9050/stat : 9050 (claspmt) R 9046 9048 8638 0 -1 4202560 26748 0 0 0 106168 18 0 0 25 0 4 0 497796847 540045312 97461 33554432000 4194304 4964704 140736099683184 18446744073709551615 4320966 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=9048/tid=9051] ppid=9046 vsize=527388 CPUtime=1061.94 cores=0,2,4,6
/proc/9048/task/9051/stat : 9051 (claspmt) R 9046 9048 8638 0 -1 4202560 25594 0 0 0 106180 14 0 0 25 0 4 0 497796847 540045312 97461 33554432000 4194304 4964704 140736099683184 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=9048/tid=9052] ppid=9046 vsize=527388 CPUtime=1062.01 cores=0,2,4,6
/proc/9048/task/9052/stat : 9052 (claspmt) R 9046 9048 8638 0 -1 4202560 30328 0 0 0 106162 39 0 0 25 0 4 0 497796847 540045312 97461 33554432000 4194304 4964704 140736099683184 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4242.51
Current children cumulated vsize (KiB) 527388

[startup+1122.3 s]
/proc/loadavg: 8.06 8.11 8.09 9/184 9115
/proc/meminfo: memFree=18453192/32951124 swapFree=67111524/67111528
[pid=9048] ppid=9046 vsize=529660 CPUtime=4482.17 cores=0,2,4,6
/proc/9048/stat : 9048 (claspmt) R 9046 9048 8638 0 -1 4202496 104118 0 0 0 448125 92 0 0 25 0 4 0 497796821 542371840 100606 33554432000 4194304 4964704 140736099683184 18446744073709551615 4627204 0 0 4096 18946 18446744073709551615 0 0 17 0 0 0 0
/proc/9048/statm: 132415 100606 460 189 0 126764 0
[pid=9048/tid=9050] ppid=9046 vsize=529660 CPUtime=1121.53 cores=0,2,4,6
/proc/9048/task/9050/stat : 9050 (claspmt) R 9046 9048 8638 0 -1 4202560 26903 0 0 0 112135 18 0 0 25 0 4 0 497796847 542371840 100606 33554432000 4194304 4964704 140736099683184 18446744073709551615 4332341 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=9048/tid=9051] ppid=9046 vsize=529660 CPUtime=1121.94 cores=0,2,4,6
/proc/9048/task/9051/stat : 9051 (claspmt) R 9046 9048 8638 0 -1 4202560 26710 0 0 0 112179 15 0 0 25 0 4 0 497796847 542371840 100606 33554432000 4194304 4964704 140736099683184 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=9048/tid=9052] ppid=9046 vsize=529660 CPUtime=1122.02 cores=0,2,4,6
/proc/9048/task/9052/stat : 9052 (claspmt) R 9046 9048 8638 0 -1 4202560 32392 0 0 0 112159 43 0 0 25 0 4 0 497796847 542371840 100606 33554432000 4194304 4964704 140736099683184 18446744073709551615 4644868 0 0 4096 18946 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4482.17
Current children cumulated vsize (KiB) 529660

[startup+1182.3 s]
/proc/loadavg: 8.06 8.11 8.09 9/184 9117
/proc/meminfo: memFree=18435696/32951124 swapFree=67111524/67111528
[pid=9048] ppid=9046 vsize=531224 CPUtime=4721.84 cores=0,2,4,6
/proc/9048/stat : 9048 (claspmt) R 9046 9048 8638 0 -1 4202496 105493 0 0 0 472092 92 0 0 25 0 4 0 497796821 543973376 101826 33554432000 4194304 4964704 140736099683184 18446744073709551615 4670228 0 0 4096 18946 18446744073709551615 0 0 17 0 0 0 0
/proc/9048/statm: 132806 101826 460 189 0 127155 0
[pid=9048/tid=9050] ppid=9046 vsize=531224 CPUtime=1181.2 cores=0,2,4,6
/proc/9048/task/9050/stat : 9050 (claspmt) R 9046 9048 8638 0 -1 4202560 27091 0 0 0 118102 18 0 0 25 0 4 0 497796847 543973376 101826 33554432000 4194304 4964704 140736099683184 18446744073709551615 4670233 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=9048/tid=9051] ppid=9046 vsize=531224 CPUtime=1181.94 cores=0,2,4,6
/proc/9048/task/9051/stat : 9051 (claspmt) R 9046 9048 8638 0 -1 4202560 27896 0 0 0 118179 15 0 0 25 0 4 0 497796847 543973376 101826 33554432000 4194304 4964704 140736099683184 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=9048/tid=9052] ppid=9046 vsize=531224 CPUtime=1182.02 cores=0,2,4,6
/proc/9048/task/9052/stat : 9052 (claspmt) R 9046 9048 8638 0 -1 4202560 32392 0 0 0 118159 43 0 0 25 0 4 0 497796847 543973376 101826 33554432000 4194304 4964704 140736099683184 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4721.84
Current children cumulated vsize (KiB) 531224



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.91 s]
/proc/loadavg: 8.12 8.11 8.09 9/184 9117
/proc/meminfo: memFree=18409040/32951124 swapFree=67111524/67111528
[pid=9048] ppid=9046 vsize=531936 CPUtime=4800.17 cores=0,2,4,6
/proc/9048/stat : 9048 (claspmt) R 9046 9048 8638 0 -1 4202496 105642 0 0 0 479924 93 0 0 25 0 4 0 497796821 544702464 101975 33554432000 4194304 4964704 140736099683184 18446744073709551615 4653336 0 0 4096 18946 18446744073709551615 0 0 17 0 0 0 0
/proc/9048/statm: 132984 101975 460 189 0 127333 0
[pid=9048/tid=9050] ppid=9046 vsize=531936 CPUtime=1200.7 cores=0,2,4,6
/proc/9048/task/9050/stat : 9050 (claspmt) R 9046 9048 8638 0 -1 4202560 27095 0 0 0 120052 18 0 0 25 0 4 0 497796847 544702464 101975 33554432000 4194304 4964704 140736099683184 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=9048/tid=9051] ppid=9046 vsize=531936 CPUtime=1201.54 cores=0,2,4,6
/proc/9048/task/9051/stat : 9051 (claspmt) R 9046 9048 8638 0 -1 4202560 28041 0 0 0 120139 15 0 0 25 0 4 0 497796847 544702464 101975 33554432000 4194304 4964704 140736099683184 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=9048/tid=9052] ppid=9046 vsize=531936 CPUtime=1201.63 cores=0,2,4,6
/proc/9048/task/9052/stat : 9052 (claspmt) R 9046 9048 8638 0 -1 4202560 32392 0 0 0 120120 43 0 0 25 0 4 0 497796847 544702464 101975 33554432000 4194304 4964704 140736099683184 18446744073709551615 4670248 0 0 4096 18946 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4800.17
Current children cumulated vsize (KiB) 531936

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

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

Child status: 0
Real time (s): 1202
CPU time (s): 4800.28
CPU user time (s): 4799.33
CPU system time (s): 0.951855
CPU usage (%): 399.358
Max. virtual memory (cumulated for all children) (KiB): 531936

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4799.33
system time used= 0.951855
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 105654
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= 5953
involuntary context switches= 34458

runsolver used 1.9487 second user time and 4.53931 second system time

The end

Launcher Data 

Begin job on node144 at 2011-04-29 07:10:07
IDJOB=3299495
IDBENCH=71433
IDSOLVER=1683
FILE ID=node144/3299495-1304053807
RUNJOBID= node144-1304052603-8952
PBS_JOBID= 13170410
Free space on /tmp= 72404 MiB

SOLVER NAME= claspmt 2.0-R4095
BENCH NAME= SAT09/CRAFTED/rbsat/random/forced/rbsat-v1150c84314gyes1.cnf
COMMAND LINE= HOME/claspmt -tNBCORE -p HOME/sat11-port.txt --distribute=all,2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3299495-1304053807/watcher-3299495-1304053807 -o /tmp/evaluation-result-3299495-1304053807/solver-3299495-1304053807 -C 4800 -W 1300 -M 15500  HOME/claspmt -t4 -p HOME/sat11-port.txt --distribute=all,2 HOME/instance-3299495-1304053807.cnf

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

MD5SUM BENCH= d6097a9814089eeede1d027388c17a02
RANDOM SEED=666070932

node144.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.850
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.850
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.16
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.850
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.75
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.850
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.83
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.850
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.75
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.850
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.82
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.850
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.75
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.850
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.76
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      19554504 kB
Buffers:       2206744 kB
Cached:       10560996 kB
SwapCached:          4 kB
Active:        4683868 kB
Inactive:      8149180 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      19554504 kB
SwapTotal:    67111528 kB
SwapFree:     67111524 kB
Dirty:            2012 kB
Writeback:           0 kB
AnonPages:       64728 kB
Mapped:          15256 kB
Slab:           499196 kB
PageTables:       4752 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   216416 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= 72404 MiB
End job on node144 at 2011-04-29 07:30:11