Trace number 3299517

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.41 1204.87

General information on the benchmark

NameSAT03/handmade/anton/UNSAT/
SGI_30_50_30_20_1-log.shuffled-as.sat03-107.cnf
MD5SUM5f29341b29f4bbeb333d68befe08c7ae
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark460.255
Satisfiable
(Un)Satisfiability was proved
Number of variables150
Number of clauses56970
Sum of the clauses size569400
Maximum clause length10
Minimum clause length5
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 30
Number of clauses of size 40
Number of clauses of size 560
Number of clauses of size over 556910

Solver Data 

0.00/0.00	c clasp version 2.0.0-RC2
0.00/0.00	c Reading from ...098013/instance-3299517-1304098013.cnf
3.99/4.09	c Solving...
4800.32/1204.81	
4800.32/1204.81	*** INTERRUPTED! ***
4800.32/1204.81	*** Shutting down threads...
4800.32/1204.86	s UNKNOWN
4800.32/1204.86	
4800.32/1204.86	c INTERRUPTED   : 1
4800.32/1204.86	c Models        : 0+    
4800.32/1204.86	c Time          : 1204.810s (Solving: 1200.72s 1st Model: 0.00s Unsat: 0.00s)
4800.32/1204.86	c CPU Time      : 4800.340s

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-3299517-1304098013/watcher-3299517-1304098013 -o /tmp/evaluation-result-3299517-1304098013/solver-3299517-1304098013 -C 4800 -W 1300 -M 15500 HOME/claspmt -t4 -p HOME/sat11-port.txt --distribute=all,2 HOME/instance-3299517-1304098013.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: 6.35 7.74 7.72 3/177 8324
/proc/meminfo: memFree=31367664/32951124 swapFree=67111356/67111528
[pid=8324] ppid=8322 vsize=21156 CPUtime=0 cores=0,2,4,6
/proc/8324/stat : 8324 (claspmt) R 8322 8324 8286 0 -1 4202496 590 0 0 0 0 0 0 0 25 0 1 0 502216931 21663744 519 33554432000 4194304 4964704 140735840329152 18446744073709551615 270338383616 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/8324/statm: 5289 519 385 189 0 163 0

[startup+0.08554 s]
/proc/loadavg: 6.35 7.74 7.72 3/177 8324
/proc/meminfo: memFree=31367664/32951124 swapFree=67111356/67111528
[pid=8324] ppid=8322 vsize=28600 CPUtime=0.07 cores=0,2,4,6
/proc/8324/stat : 8324 (claspmt) R 8322 8324 8286 0 -1 4202496 2622 0 0 0 7 0 0 0 25 0 1 0 502216931 29286400 2379 33554432000 4194304 4964704 140735840329152 18446744073709551615 4607891 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/8324/statm: 7150 2379 398 189 0 2024 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 28600

[startup+0.100531 s]
/proc/loadavg: 6.35 7.74 7.72 3/177 8324
/proc/meminfo: memFree=31367664/32951124 swapFree=67111356/67111528
[pid=8324] ppid=8322 vsize=28600 CPUtime=0.09 cores=0,2,4,6
/proc/8324/stat : 8324 (claspmt) R 8322 8324 8286 0 -1 4202496 2622 0 0 0 9 0 0 0 25 0 1 0 502216931 29286400 2379 33554432000 4194304 4964704 140735840329152 18446744073709551615 4607644 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/8324/statm: 7150 2379 398 189 0 2024 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 28600

[startup+0.300445 s]
/proc/loadavg: 6.35 7.74 7.72 3/177 8324
/proc/meminfo: memFree=31367664/32951124 swapFree=67111356/67111528
[pid=8324] ppid=8322 vsize=28600 CPUtime=0.29 cores=0,2,4,6
/proc/8324/stat : 8324 (claspmt) R 8322 8324 8286 0 -1 4202496 2622 0 0 0 29 0 0 0 25 0 1 0 502216931 29286400 2379 33554432000 4194304 4964704 140735840329152 18446744073709551615 4607590 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/8324/statm: 7150 2379 398 189 0 2024 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 28600

[startup+0.700363 s]
/proc/loadavg: 6.35 7.74 7.72 3/177 8324
/proc/meminfo: memFree=31367664/32951124 swapFree=67111356/67111528
[pid=8324] ppid=8322 vsize=28600 CPUtime=0.69 cores=0,2,4,6
/proc/8324/stat : 8324 (claspmt) R 8322 8324 8286 0 -1 4202496 2622 0 0 0 69 0 0 0 25 0 1 0 502216931 29286400 2379 33554432000 4194304 4964704 140735840329152 18446744073709551615 4608416 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/8324/statm: 7150 2379 398 189 0 2024 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 28600

[startup+1.5002 s]
/proc/loadavg: 6.35 7.74 7.72 6/181 8328
/proc/meminfo: memFree=31334400/32951124 swapFree=67111356/67111528
[pid=8324] ppid=8322 vsize=28600 CPUtime=1.49 cores=0,2,4,6
/proc/8324/stat : 8324 (claspmt) R 8322 8324 8286 0 -1 4202496 2624 0 0 0 149 0 0 0 25 0 1 0 502216931 29286400 2381 33554432000 4194304 4964704 140735840329152 18446744073709551615 4607641 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/8324/statm: 7150 2381 398 189 0 2024 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 28600

[startup+3.10089 s]
/proc/loadavg: 6.35 7.74 7.72 6/181 8328
/proc/meminfo: memFree=31316668/32951124 swapFree=67111356/67111528
[pid=8324] ppid=8322 vsize=28964 CPUtime=3.09 cores=0,2,4,6
/proc/8324/stat : 8324 (claspmt) R 8322 8324 8286 0 -1 4202496 2692 0 0 0 309 0 0 0 25 0 1 0 502216931 29659136 2449 33554432000 4194304 4964704 140735840329152 18446744073709551615 4607590 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/8324/statm: 7241 2449 398 189 0 2115 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 28964

[startup+6.30021 s]
/proc/loadavg: 6.24 7.69 7.71 9/184 8331
/proc/meminfo: memFree=31278948/32951124 swapFree=67111356/67111528
[pid=8324] ppid=8322 vsize=245872 CPUtime=12.87 cores=0,2,4,6
/proc/8324/stat : 8324 (claspmt) R 8322 8324 8286 0 -1 4202496 8566 0 0 0 1284 3 0 0 25 0 4 0 502216931 251772928 8076 33554432000 4194304 4964704 140735840329152 18446744073709551615 4362231 0 0 4096 18946 18446744073709551615 0 0 17 6 0 0 0
/proc/8324/statm: 61468 8076 458 189 0 55817 0
[pid=8324/tid=8329] ppid=8322 vsize=245872 CPUtime=2.19 cores=0,2,4,6
/proc/8324/task/8329/stat : 8329 (claspmt) R 8322 8324 8286 0 -1 4202560 1213 0 0 0 219 0 0 0 21 0 4 0 502217341 251772928 8076 33554432000 4194304 4964704 140735840329152 18446744073709551615 4631161 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=8324/tid=8330] ppid=8322 vsize=245872 CPUtime=2.19 cores=0,2,4,6
/proc/8324/task/8330/stat : 8330 (claspmt) R 8322 8324 8286 0 -1 4202560 1750 0 0 0 219 0 0 0 21 0 4 0 502217341 251772928 8076 33554432000 4194304 4964704 140735840329152 18446744073709551615 4320944 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=8324/tid=8331] ppid=8322 vsize=245872 CPUtime=2.19 cores=0,2,4,6
/proc/8324/task/8331/stat : 8331 (claspmt) R 8322 8324 8286 0 -1 4202560 1438 0 0 0 219 0 0 0 21 0 4 0 502217341 251772928 8076 33554432000 4194304 4964704 140735840329152 18446744073709551615 4670248 0 0 4096 18946 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 12.87
Current children cumulated vsize (KiB) 245872

[startup+12.7009 s]
/proc/loadavg: 6.38 7.70 7.71 9/184 8331
/proc/meminfo: memFree=31226292/32951124 swapFree=67111356/67111528
[pid=8324] ppid=8322 vsize=249544 CPUtime=38.44 cores=0,2,4,6
/proc/8324/stat : 8324 (claspmt) R 8322 8324 8286 0 -1 4202496 12541 0 0 0 3838 6 0 0 25 0 4 0 502216931 255533056 12051 33554432000 4194304 4964704 140735840329152 18446744073709551615 4320849 0 0 4096 18946 18446744073709551615 0 0 17 6 0 0 0
/proc/8324/statm: 62386 12051 460 189 0 56735 0
[pid=8324/tid=8329] ppid=8322 vsize=249544 CPUtime=8.59 cores=0,2,4,6
/proc/8324/task/8329/stat : 8329 (claspmt) R 8322 8324 8286 0 -1 4202560 1683 0 0 0 858 1 0 0 25 0 4 0 502217341 255533056 12051 33554432000 4194304 4964704 140735840329152 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=8324/tid=8330] ppid=8322 vsize=249544 CPUtime=8.59 cores=0,2,4,6
/proc/8324/task/8330/stat : 8330 (claspmt) R 8322 8324 8286 0 -1 4202560 3557 0 0 0 858 1 0 0 25 0 4 0 502217341 255533056 12051 33554432000 4194304 4964704 140735840329152 18446744073709551615 4320909 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=8324/tid=8331] ppid=8322 vsize=249544 CPUtime=8.59 cores=0,2,4,6
/proc/8324/task/8331/stat : 8331 (claspmt) R 8322 8324 8286 0 -1 4202560 2088 0 0 0 859 0 0 0 25 0 4 0 502217341 255533056 12051 33554432000 4194304 4964704 140735840329152 18446744073709551615 4627204 0 0 4096 18946 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 38.44
Current children cumulated vsize (KiB) 249544

[startup+25.5004 s]
/proc/loadavg: 6.74 7.71 7.72 9/184 8332
/proc/meminfo: memFree=31175048/32951124 swapFree=67111356/67111528
[pid=8324] ppid=8322 vsize=251976 CPUtime=89.56 cores=0,2,4,6
/proc/8324/stat : 8324 (claspmt) R 8322 8324 8286 0 -1 4202496 16875 0 0 0 8948 8 0 0 25 0 4 0 502216931 258023424 16204 33554432000 4194304 4964704 140735840329152 18446744073709551615 4321016 0 0 4096 18946 18446744073709551615 0 0 17 4 0 0 0
/proc/8324/statm: 62994 16204 460 189 0 57343 0
[pid=8324/tid=8329] ppid=8322 vsize=251976 CPUtime=21.39 cores=0,2,4,6
/proc/8324/task/8329/stat : 8329 (claspmt) R 8322 8324 8286 0 -1 4202560 2730 0 0 0 2138 1 0 0 25 0 4 0 502217341 258023424 16204 33554432000 4194304 4964704 140735840329152 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=8324/tid=8330] ppid=8322 vsize=251976 CPUtime=21.37 cores=0,2,4,6
/proc/8324/task/8330/stat : 8330 (claspmt) R 8322 8324 8286 0 -1 4202560 5584 0 0 0 2135 2 0 0 25 0 4 0 502217341 258023424 16204 33554432000 4194304 4964704 140735840329152 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=8324/tid=8331] ppid=8322 vsize=251976 CPUtime=21.39 cores=0,2,4,6
/proc/8324/task/8331/stat : 8331 (claspmt) R 8322 8324 8286 0 -1 4202560 2892 0 0 0 2139 0 0 0 25 0 4 0 502217341 258023424 16204 33554432000 4194304 4964704 140735840329152 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 89.56
Current children cumulated vsize (KiB) 251976

[startup+51.1003 s]
/proc/loadavg: 7.17 7.73 7.72 9/184 8332
/proc/meminfo: memFree=31124152/32951124 swapFree=67111356/67111528
[pid=8324] ppid=8322 vsize=259620 CPUtime=191.82 cores=0,2,4,6
/proc/8324/stat : 8324 (claspmt) R 8322 8324 8286 0 -1 4202496 21748 0 0 0 19171 11 0 0 25 0 4 0 502216931 265850880 21005 33554432000 4194304 4964704 140735840329152 18446744073709551615 4670228 0 0 4096 18946 18446744073709551615 0 0 17 4 0 0 0
/proc/8324/statm: 64905 21005 460 189 0 59254 0
[pid=8324/tid=8329] ppid=8322 vsize=259620 CPUtime=46.99 cores=0,2,4,6
/proc/8324/task/8329/stat : 8329 (claspmt) R 8322 8324 8286 0 -1 4202560 4260 0 0 0 4697 2 0 0 25 0 4 0 502217341 265850880 21005 33554432000 4194304 4964704 140735840329152 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=8324/tid=8330] ppid=8322 vsize=259620 CPUtime=46.83 cores=0,2,4,6
/proc/8324/task/8330/stat : 8330 (claspmt) R 8322 8324 8286 0 -1 4202560 7560 0 0 0 4680 3 0 0 25 0 4 0 502217341 265850880 21005 33554432000 4194304 4964704 140735840329152 18446744073709551615 4670184 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=8324/tid=8331] ppid=8322 vsize=259620 CPUtime=46.99 cores=0,2,4,6
/proc/8324/task/8331/stat : 8331 (claspmt) R 8322 8324 8286 0 -1 4202560 3841 0 0 0 4698 1 0 0 25 0 4 0 502217341 265850880 21005 33554432000 4194304 4964704 140735840329152 18446744073709551615 4670357 0 0 4096 18946 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 191.82
Current children cumulated vsize (KiB) 259620

[startup+102.306 s]
/proc/loadavg: 7.69 7.79 7.74 9/184 8334
/proc/meminfo: memFree=31017740/32951124 swapFree=67111356/67111528
[pid=8324] ppid=8322 vsize=265232 CPUtime=396.36 cores=0,2,4,6
/proc/8324/stat : 8324 (claspmt) R 8322 8324 8286 0 -1 4202496 26361 0 0 0 39622 14 0 0 25 0 4 0 502216931 271597568 25527 33554432000 4194304 4964704 140735840329152 18446744073709551615 4670228 0 0 4096 18946 18446744073709551615 0 0 17 4 0 0 0
/proc/8324/statm: 66308 25527 460 189 0 60657 0
[pid=8324/tid=8329] ppid=8322 vsize=265232 CPUtime=98.2 cores=0,2,4,6
/proc/8324/task/8329/stat : 8329 (claspmt) R 8322 8324 8286 0 -1 4202560 5865 0 0 0 9817 3 0 0 25 0 4 0 502217341 271597568 25527 33554432000 4194304 4964704 140735840329152 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=8324/tid=8330] ppid=8322 vsize=265232 CPUtime=97.98 cores=0,2,4,6
/proc/8324/task/8330/stat : 8330 (claspmt) R 8322 8324 8286 0 -1 4202560 8894 0 0 0 9794 4 0 0 25 0 4 0 502217341 271597568 25527 33554432000 4194304 4964704 140735840329152 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=8324/tid=8331] ppid=8322 vsize=265232 CPUtime=97.98 cores=0,2,4,6
/proc/8324/task/8331/stat : 8331 (claspmt) R 8322 8324 8286 0 -1 4202560 5061 0 0 0 9796 2 0 0 25 0 4 0 502217341 271597568 25527 33554432000 4194304 4964704 140735840329152 18446744073709551615 4670323 0 0 4096 18946 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 396.36
Current children cumulated vsize (KiB) 265232

[startup+162.3 s]
/proc/loadavg: 7.99 7.85 7.76 9/184 8335
/proc/meminfo: memFree=30921992/32951124 swapFree=67111356/67111528
[pid=8324] ppid=8322 vsize=270456 CPUtime=636.01 cores=0,2,4,6
/proc/8324/stat : 8324 (claspmt) R 8322 8324 8286 0 -1 4202496 29456 0 0 0 63586 15 0 0 25 0 4 0 502216931 276946944 28432 33554432000 4194304 4964704 140735840329152 18446744073709551615 4670419 0 0 4096 18946 18446744073709551615 0 0 17 4 0 0 0
/proc/8324/statm: 67614 28432 460 189 0 61963 0
[pid=8324/tid=8329] ppid=8322 vsize=270456 CPUtime=158.18 cores=0,2,4,6
/proc/8324/task/8329/stat : 8329 (claspmt) R 8322 8324 8286 0 -1 4202560 7085 0 0 0 15815 3 0 0 25 0 4 0 502217341 276946944 28432 33554432000 4194304 4964704 140735840329152 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=8324/tid=8330] ppid=8322 vsize=270456 CPUtime=157.97 cores=0,2,4,6
/proc/8324/task/8330/stat : 8330 (claspmt) R 8322 8324 8286 0 -1 4202560 10089 0 0 0 15793 4 0 0 25 0 4 0 502217341 276946944 28432 33554432000 4194304 4964704 140735840329152 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=8324/tid=8331] ppid=8322 vsize=270456 CPUtime=157.66 cores=0,2,4,6
/proc/8324/task/8331/stat : 8331 (claspmt) R 8322 8324 8286 0 -1 4202560 5584 0 0 0 15763 3 0 0 25 0 4 0 502217341 276946944 28432 33554432000 4194304 4964704 140735840329152 18446744073709551615 4321102 0 0 4096 18946 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 636.01
Current children cumulated vsize (KiB) 270456

[startup+222.3 s]
/proc/loadavg: 8.12 7.91 7.78 9/184 8337
/proc/meminfo: memFree=30842120/32951124 swapFree=67111356/67111528
[pid=8324] ppid=8322 vsize=273720 CPUtime=875.68 cores=0,2,4,6
/proc/8324/stat : 8324 (claspmt) R 8322 8324 8286 0 -1 4202496 32888 0 0 0 87550 18 0 0 25 0 4 0 502216931 280289280 31800 33554432000 4194304 4964704 140735840329152 18446744073709551615 4670248 0 0 4096 18946 18446744073709551615 0 0 17 4 0 0 0
/proc/8324/statm: 68430 31800 460 189 0 62779 0
[pid=8324/tid=8329] ppid=8322 vsize=273720 CPUtime=218.18 cores=0,2,4,6
/proc/8324/task/8329/stat : 8329 (claspmt) R 8322 8324 8286 0 -1 4202560 8309 0 0 0 21814 4 0 0 25 0 4 0 502217341 280289280 31800 33554432000 4194304 4964704 140735840329152 18446744073709551615 4626894 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=8324/tid=8330] ppid=8322 vsize=273720 CPUtime=217.97 cores=0,2,4,6
/proc/8324/task/8330/stat : 8330 (claspmt) R 8322 8324 8286 0 -1 4202560 10482 0 0 0 21793 4 0 0 25 0 4 0 502217341 280289280 31800 33554432000 4194304 4964704 140735840329152 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=8324/tid=8331] ppid=8322 vsize=273720 CPUtime=217.32 cores=0,2,4,6
/proc/8324/task/8331/stat : 8331 (claspmt) R 8322 8324 8286 0 -1 4202560 7148 0 0 0 21729 3 0 0 25 0 4 0 502217341 280289280 31800 33554432000 4194304 4964704 140735840329152 18446744073709551615 4670215 0 0 4096 18946 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 875.68
Current children cumulated vsize (KiB) 273720

[startup+282.3 s]
/proc/loadavg: 8.11 7.94 7.80 9/184 8338
/proc/meminfo: memFree=30830696/32951124 swapFree=67111356/67111528
[pid=8324] ppid=8322 vsize=275376 CPUtime=1115.36 cores=0,2,4,6
/proc/8324/stat : 8324 (claspmt) R 8322 8324 8286 0 -1 4202496 34171 0 0 0 111517 19 0 0 25 0 4 0 502216931 281985024 33004 33554432000 4194304 4964704 140735840329152 18446744073709551615 4670228 0 0 4096 18946 18446744073709551615 0 0 17 4 0 0 0
/proc/8324/statm: 68844 33004 460 189 0 63193 0
[pid=8324/tid=8329] ppid=8322 vsize=275376 CPUtime=278.19 cores=0,2,4,6
/proc/8324/task/8329/stat : 8329 (claspmt) R 8322 8324 8286 0 -1 4202560 8805 0 0 0 27814 5 0 0 25 0 4 0 502217341 281985024 33004 33554432000 4194304 4964704 140735840329152 18446744073709551615 4626894 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=8324/tid=8330] ppid=8322 vsize=275376 CPUtime=277.98 cores=0,2,4,6
/proc/8324/task/8330/stat : 8330 (claspmt) R 8322 8324 8286 0 -1 4202560 10978 0 0 0 27793 5 0 0 25 0 4 0 502217341 281985024 33004 33554432000 4194304 4964704 140735840329152 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=8324/tid=8331] ppid=8322 vsize=275376 CPUtime=277.01 cores=0,2,4,6
/proc/8324/task/8331/stat : 8331 (claspmt) R 8322 8324 8286 0 -1 4202560 7325 0 0 0 27697 4 0 0 25 0 4 0 502217341 281985024 33004 33554432000 4194304 4964704 140735840329152 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1115.36

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

[pid=8324] ppid=8322 vsize=284168 CPUtime=2553.4 cores=0,2,4,6
/proc/8324/stat : 8324 (claspmt) R 8322 8324 8286 0 -1 4202496 41918 0 0 0 255315 25 0 0 25 0 4 0 502216931 290988032 39816 33554432000 4194304 4964704 140735840329152 18446744073709551615 4641461 0 0 4096 18946 18446744073709551615 0 0 17 4 0 0 0
/proc/8324/statm: 71042 39816 460 189 0 65391 0
[pid=8324/tid=8329] ppid=8322 vsize=284168 CPUtime=638.2 cores=0,2,4,6
/proc/8324/task/8329/stat : 8329 (claspmt) R 8322 8324 8286 0 -1 4202560 12254 0 0 0 63812 8 0 0 25 0 4 0 502217341 290988032 39816 33554432000 4194304 4964704 140735840329152 18446744073709551615 4626894 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=8324/tid=8330] ppid=8322 vsize=284168 CPUtime=637.99 cores=0,2,4,6
/proc/8324/task/8330/stat : 8330 (claspmt) R 8322 8324 8286 0 -1 4202560 12967 0 0 0 63793 6 0 0 25 0 4 0 502217341 290988032 39816 33554432000 4194304 4964704 140735840329152 18446744073709551615 4320909 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=8324/tid=8331] ppid=8322 vsize=284168 CPUtime=635.06 cores=0,2,4,6
/proc/8324/task/8331/stat : 8331 (claspmt) R 8322 8324 8286 0 -1 4202560 8693 0 0 0 63501 5 0 0 25 0 4 0 502217341 290988032 39816 33554432000 4194304 4964704 140735840329152 18446744073709551615 4659143 0 0 4096 18946 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2553.4
Current children cumulated vsize (KiB) 284168

[startup+702.301 s]
/proc/loadavg: 8.11 8.07 7.90 9/184 8350
/proc/meminfo: memFree=30670228/32951124 swapFree=67111356/67111528
[pid=8324] ppid=8322 vsize=284984 CPUtime=2793.06 cores=0,2,4,6
/proc/8324/stat : 8324 (claspmt) R 8322 8324 8286 0 -1 4202496 43631 0 0 0 279279 27 0 0 25 0 4 0 502216931 291823616 41298 33554432000 4194304 4964704 140735840329152 18446744073709551615 4670228 0 0 4096 18946 18446744073709551615 0 0 17 4 0 0 0
/proc/8324/statm: 71246 41298 460 189 0 65595 0
[pid=8324/tid=8329] ppid=8322 vsize=284984 CPUtime=698.2 cores=0,2,4,6
/proc/8324/task/8329/stat : 8329 (claspmt) R 8322 8324 8286 0 -1 4202560 12991 0 0 0 69811 9 0 0 25 0 4 0 502217341 291823616 41298 33554432000 4194304 4964704 140735840329152 18446744073709551615 4670291 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=8324/tid=8330] ppid=8322 vsize=284984 CPUtime=697.99 cores=0,2,4,6
/proc/8324/task/8330/stat : 8330 (claspmt) R 8322 8324 8286 0 -1 4202560 13481 0 0 0 69792 7 0 0 25 0 4 0 502217341 291823616 41298 33554432000 4194304 4964704 140735840329152 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=8324/tid=8331] ppid=8322 vsize=284984 CPUtime=694.73 cores=0,2,4,6
/proc/8324/task/8331/stat : 8331 (claspmt) R 8322 8324 8286 0 -1 4202560 9115 0 0 0 69467 6 0 0 25 0 4 0 502217341 291823616 41298 33554432000 4194304 4964704 140735840329152 18446744073709551615 4670419 0 0 4096 18946 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2793.06
Current children cumulated vsize (KiB) 284984

[startup+762.306 s]
/proc/loadavg: 8.11 8.07 7.91 9/184 8351
/proc/meminfo: memFree=30627548/32951124 swapFree=67111356/67111528
[pid=8324] ppid=8322 vsize=285172 CPUtime=3032.75 cores=0,2,4,6
/proc/8324/stat : 8324 (claspmt) R 8322 8324 8286 0 -1 4202496 44495 0 0 0 303246 29 0 0 25 0 4 0 502216931 292016128 42098 33554432000 4194304 4964704 140735840329152 18446744073709551615 4658128 0 0 4096 18946 18446744073709551615 0 0 17 4 0 0 0
/proc/8324/statm: 71293 42098 460 189 0 65642 0
[pid=8324/tid=8329] ppid=8322 vsize=285172 CPUtime=758.2 cores=0,2,4,6
/proc/8324/task/8329/stat : 8329 (claspmt) R 8322 8324 8286 0 -1 4202560 13136 0 0 0 75811 9 0 0 25 0 4 0 502217341 292016128 42098 33554432000 4194304 4964704 140735840329152 18446744073709551615 4626894 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=8324/tid=8330] ppid=8322 vsize=285172 CPUtime=758 cores=0,2,4,6
/proc/8324/task/8330/stat : 8330 (claspmt) R 8322 8324 8286 0 -1 4202560 13804 0 0 0 75793 7 0 0 25 0 4 0 502217341 292016128 42098 33554432000 4194304 4964704 140735840329152 18446744073709551615 4670241 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=8324/tid=8331] ppid=8322 vsize=285172 CPUtime=754.41 cores=0,2,4,6
/proc/8324/task/8331/stat : 8331 (claspmt) R 8322 8324 8286 0 -1 4202560 9337 0 0 0 75435 6 0 0 25 0 4 0 502217341 292016128 42098 33554432000 4194304 4964704 140735840329152 18446744073709551615 4670230 0 0 4096 18946 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3032.75
Current children cumulated vsize (KiB) 285172

[startup+822.3 s]
/proc/loadavg: 8.10 8.07 7.92 9/184 8353
/proc/meminfo: memFree=30605328/32951124 swapFree=67111356/67111528
[pid=8324] ppid=8322 vsize=286072 CPUtime=3272.39 cores=0,2,4,6
/proc/8324/stat : 8324 (claspmt) R 8322 8324 8286 0 -1 4202496 45576 0 0 0 327210 29 0 0 25 0 4 0 502216931 292937728 42987 33554432000 4194304 4964704 140735840329152 18446744073709551615 4670228 0 0 4096 18946 18446744073709551615 0 0 17 4 0 0 0
/proc/8324/statm: 71518 42987 460 189 0 65867 0
[pid=8324/tid=8329] ppid=8322 vsize=286072 CPUtime=818.19 cores=0,2,4,6
/proc/8324/task/8329/stat : 8329 (claspmt) R 8322 8324 8286 0 -1 4202560 13539 0 0 0 81810 9 0 0 25 0 4 0 502217341 292937728 42987 33554432000 4194304 4964704 140735840329152 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=8324/tid=8330] ppid=8322 vsize=286072 CPUtime=817.99 cores=0,2,4,6
/proc/8324/task/8330/stat : 8330 (claspmt) R 8322 8324 8286 0 -1 4202560 14282 0 0 0 81792 7 0 0 25 0 4 0 502217341 292937728 42987 33554432000 4194304 4964704 140735840329152 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=8324/tid=8331] ppid=8322 vsize=286072 CPUtime=814.08 cores=0,2,4,6
/proc/8324/task/8331/stat : 8331 (claspmt) R 8322 8324 8286 0 -1 4202560 9479 0 0 0 81402 6 0 0 25 0 4 0 502217341 292937728 42987 33554432000 4194304 4964704 140735840329152 18446744073709551615 4670252 0 0 4096 18946 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3272.39
Current children cumulated vsize (KiB) 286072

[startup+882.3 s]
/proc/loadavg: 8.04 8.05 7.92 9/184 8355
/proc/meminfo: memFree=30599236/32951124 swapFree=67111356/67111528
[pid=8324] ppid=8322 vsize=286592 CPUtime=3512.07 cores=0,2,4,6
/proc/8324/stat : 8324 (claspmt) R 8322 8324 8286 0 -1 4202496 46632 0 0 0 351177 30 0 0 25 0 4 0 502216931 293470208 43764 33554432000 4194304 4964704 140735840329152 18446744073709551615 4684027 0 0 4096 18946 18446744073709551615 0 0 17 4 0 0 0
/proc/8324/statm: 71648 43764 460 189 0 65997 0
[pid=8324/tid=8329] ppid=8322 vsize=286592 CPUtime=878.19 cores=0,2,4,6
/proc/8324/task/8329/stat : 8329 (claspmt) R 8322 8324 8286 0 -1 4202560 13771 0 0 0 87810 9 0 0 25 0 4 0 502217341 293470208 43764 33554432000 4194304 4964704 140735840329152 18446744073709551615 4627168 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=8324/tid=8330] ppid=8322 vsize=286592 CPUtime=877.99 cores=0,2,4,6
/proc/8324/task/8330/stat : 8330 (claspmt) R 8322 8324 8286 0 -1 4202560 14880 0 0 0 87792 7 0 0 25 0 4 0 502217341 293470208 43764 33554432000 4194304 4964704 140735840329152 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=8324/tid=8331] ppid=8322 vsize=286592 CPUtime=873.75 cores=0,2,4,6
/proc/8324/task/8331/stat : 8331 (claspmt) R 8322 8324 8286 0 -1 4202560 9567 0 0 0 87369 6 0 0 25 0 4 0 502217341 293470208 43764 33554432000 4194304 4964704 140735840329152 18446744073709551615 4626894 0 0 4096 18946 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3512.07
Current children cumulated vsize (KiB) 286592

[startup+942.3 s]
/proc/loadavg: 8.06 8.06 7.93 9/184 8356
/proc/meminfo: memFree=30585444/32951124 swapFree=67111356/67111528
[pid=8324] ppid=8322 vsize=287444 CPUtime=3751.75 cores=0,2,4,6
/proc/8324/stat : 8324 (claspmt) R 8322 8324 8286 0 -1 4202496 47740 0 0 0 375144 31 0 0 25 0 4 0 502216931 294342656 44547 33554432000 4194304 4964704 140735840329152 18446744073709551615 4670228 0 0 4096 18946 18446744073709551615 0 0 17 4 0 0 0
/proc/8324/statm: 71861 44547 460 189 0 66210 0
[pid=8324/tid=8329] ppid=8322 vsize=287444 CPUtime=938.19 cores=0,2,4,6
/proc/8324/task/8329/stat : 8329 (claspmt) R 8322 8324 8286 0 -1 4202560 14420 0 0 0 93810 9 0 0 25 0 4 0 502217341 294342656 44547 33554432000 4194304 4964704 140735840329152 18446744073709551615 4312151 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=8324/tid=8330] ppid=8322 vsize=287444 CPUtime=938 cores=0,2,4,6
/proc/8324/task/8330/stat : 8330 (claspmt) R 8322 8324 8286 0 -1 4202560 15307 0 0 0 93792 8 0 0 25 0 4 0 502217341 294342656 44547 33554432000 4194304 4964704 140735840329152 18446744073709551615 4320909 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=8324/tid=8331] ppid=8322 vsize=287444 CPUtime=933.42 cores=0,2,4,6
/proc/8324/task/8331/stat : 8331 (claspmt) R 8322 8324 8286 0 -1 4202560 9588 0 0 0 93336 6 0 0 25 0 4 0 502217341 294342656 44547 33554432000 4194304 4964704 140735840329152 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3751.75
Current children cumulated vsize (KiB) 287444

[startup+1002.3 s]
/proc/loadavg: 8.07 8.06 7.93 9/184 8358
/proc/meminfo: memFree=30556040/32951124 swapFree=67111356/67111528
[pid=8324] ppid=8322 vsize=287916 CPUtime=3991.41 cores=0,2,4,6
/proc/8324/stat : 8324 (claspmt) R 8322 8324 8286 0 -1 4202496 48432 0 0 0 399109 32 0 0 25 0 4 0 502216931 294825984 45047 33554432000 4194304 4964704 140735840329152 18446744073709551615 4670184 0 0 4096 18946 18446744073709551615 0 0 17 4 0 0 0
/proc/8324/statm: 71979 45047 460 189 0 66328 0
[pid=8324/tid=8329] ppid=8322 vsize=287916 CPUtime=998.2 cores=0,2,4,6
/proc/8324/task/8329/stat : 8329 (claspmt) R 8322 8324 8286 0 -1 4202560 14930 0 0 0 99810 10 0 0 25 0 4 0 502217341 294825984 45047 33554432000 4194304 4964704 140735840329152 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=8324/tid=8330] ppid=8322 vsize=287916 CPUtime=998 cores=0,2,4,6
/proc/8324/task/8330/stat : 8330 (claspmt) R 8322 8324 8286 0 -1 4202560 15347 0 0 0 99792 8 0 0 25 0 4 0 502217341 294825984 45047 33554432000 4194304 4964704 140735840329152 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=8324/tid=8331] ppid=8322 vsize=287916 CPUtime=993.1 cores=0,2,4,6
/proc/8324/task/8331/stat : 8331 (claspmt) R 8322 8324 8286 0 -1 4202560 9710 0 0 0 99303 7 0 0 25 0 4 0 502217341 294825984 45047 33554432000 4194304 4964704 140735840329152 18446744073709551615 4626941 0 0 4096 18946 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3991.41
Current children cumulated vsize (KiB) 287916

[startup+1062.3 s]
/proc/loadavg: 8.07 8.06 7.94 9/184 8359
/proc/meminfo: memFree=30517204/32951124 swapFree=67111356/67111528
[pid=8324] ppid=8322 vsize=288204 CPUtime=4231.09 cores=0,2,4,6
/proc/8324/stat : 8324 (claspmt) R 8322 8324 8286 0 -1 4202496 49281 0 0 0 423076 33 0 0 25 0 4 0 502216931 295120896 45704 33554432000 4194304 4964704 140735840329152 18446744073709551615 4320883 0 0 4096 18946 18446744073709551615 0 0 17 4 0 0 0
/proc/8324/statm: 72051 45704 460 189 0 66400 0
[pid=8324/tid=8329] ppid=8322 vsize=288204 CPUtime=1058.19 cores=0,2,4,6
/proc/8324/task/8329/stat : 8329 (claspmt) R 8322 8324 8286 0 -1 4202560 15424 0 0 0 105809 10 0 0 25 0 4 0 502217341 295120896 45704 33554432000 4194304 4964704 140735840329152 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=8324/tid=8330] ppid=8322 vsize=288204 CPUtime=1058 cores=0,2,4,6
/proc/8324/task/8330/stat : 8330 (claspmt) R 8322 8324 8286 0 -1 4202560 15360 0 0 0 105792 8 0 0 25 0 4 0 502217341 295120896 45704 33554432000 4194304 4964704 140735840329152 18446744073709551615 4670248 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=8324/tid=8331] ppid=8322 vsize=288204 CPUtime=1052.78 cores=0,2,4,6
/proc/8324/task/8331/stat : 8331 (claspmt) R 8322 8324 8286 0 -1 4202560 10011 0 0 0 105271 7 0 0 25 0 4 0 502217341 295120896 45704 33554432000 4194304 4964704 140735840329152 18446744073709551615 4670248 0 0 4096 18946 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4231.09
Current children cumulated vsize (KiB) 288204

[startup+1122.3 s]
/proc/loadavg: 8.06 8.06 7.94 9/184 8361
/proc/meminfo: memFree=30508368/32951124 swapFree=67111356/67111528
[pid=8324] ppid=8322 vsize=289488 CPUtime=4470.76 cores=0,2,4,6
/proc/8324/stat : 8324 (claspmt) R 8322 8324 8286 0 -1 4202496 50192 0 0 0 447042 34 0 0 25 0 4 0 502216931 296435712 46448 33554432000 4194304 4964704 140735840329152 18446744073709551615 270338081378 0 0 4096 18946 18446744073709551615 0 0 17 4 0 0 0
/proc/8324/statm: 72372 46448 460 189 0 66721 0
[pid=8324/tid=8329] ppid=8322 vsize=289488 CPUtime=1118.19 cores=0,2,4,6
/proc/8324/task/8329/stat : 8329 (claspmt) R 8322 8324 8286 0 -1 4202560 16074 0 0 0 111809 10 0 0 25 0 4 0 502217341 296435712 46448 33554432000 4194304 4964704 140735840329152 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=8324/tid=8330] ppid=8322 vsize=289488 CPUtime=1118 cores=0,2,4,6
/proc/8324/task/8330/stat : 8330 (claspmt) R 8322 8324 8286 0 -1 4202560 15542 0 0 0 111792 8 0 0 25 0 4 0 502217341 296435712 46448 33554432000 4194304 4964704 140735840329152 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=8324/tid=8331] ppid=8322 vsize=289488 CPUtime=1112.44 cores=0,2,4,6
/proc/8324/task/8331/stat : 8331 (claspmt) R 8322 8324 8286 0 -1 4202560 10089 0 0 0 111237 7 0 0 25 0 4 0 502217341 296435712 46448 33554432000 4194304 4964704 140735840329152 18446744073709551615 4644864 0 0 4096 18946 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4470.76
Current children cumulated vsize (KiB) 289488

[startup+1182.3 s]
/proc/loadavg: 8.06 8.06 7.95 9/184 8362
/proc/meminfo: memFree=30484536/32951124 swapFree=67111356/67111528
[pid=8324] ppid=8322 vsize=289488 CPUtime=4710.42 cores=0,2,4,6
/proc/8324/stat : 8324 (claspmt) R 8322 8324 8286 0 -1 4202496 50579 0 0 0 471008 34 0 0 25 0 4 0 502216931 296435712 46579 33554432000 4194304 4964704 140735840329152 18446744073709551615 4670228 0 0 4096 18946 18446744073709551615 0 0 17 4 0 0 0
/proc/8324/statm: 72372 46579 460 189 0 66721 0
[pid=8324/tid=8329] ppid=8322 vsize=289488 CPUtime=1178.2 cores=0,2,4,6
/proc/8324/task/8329/stat : 8329 (claspmt) R 8322 8324 8286 0 -1 4202560 16399 0 0 0 117809 11 0 0 25 0 4 0 502217341 296435712 46579 33554432000 4194304 4964704 140735840329152 18446744073709551615 4670327 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=8324/tid=8330] ppid=8322 vsize=289488 CPUtime=1178 cores=0,2,4,6
/proc/8324/task/8330/stat : 8330 (claspmt) R 8322 8324 8286 0 -1 4202560 15566 0 0 0 117792 8 0 0 25 0 4 0 502217341 296435712 46579 33554432000 4194304 4964704 140735840329152 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=8324/tid=8331] ppid=8322 vsize=289488 CPUtime=1172.12 cores=0,2,4,6
/proc/8324/task/8331/stat : 8331 (claspmt) R 8322 8324 8286 0 -1 4202560 10114 0 0 0 117205 7 0 0 25 0 4 0 502217341 296435712 46579 33554432000 4194304 4964704 140735840329152 18446744073709551615 4670230 0 0 4096 18946 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4710.42
Current children cumulated vsize (KiB) 289488



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1204.8 s]
/proc/loadavg: 7.72 7.99 7.93 9/184 8394
/proc/meminfo: memFree=31167000/32951124 swapFree=67111356/67111528
[pid=8324] ppid=8322 vsize=290388 CPUtime=4800.32 cores=0,2,4,6
/proc/8324/stat : 8324 (claspmt) R 8322 8324 8286 0 -1 4202496 50819 0 0 0 479997 35 0 0 25 0 4 0 502216931 297357312 46804 33554432000 4194304 4964704 140735840329152 18446744073709551615 4670228 0 0 4096 18946 18446744073709551615 0 0 17 4 0 0 0
/proc/8324/statm: 72597 46804 460 189 0 66946 0
[pid=8324/tid=8329] ppid=8322 vsize=290388 CPUtime=1200.71 cores=0,2,4,6
/proc/8324/task/8329/stat : 8329 (claspmt) R 8322 8324 8286 0 -1 4202560 16627 0 0 0 120060 11 0 0 25 0 4 0 502217341 297357312 46804 33554432000 4194304 4964704 140735840329152 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=8324/tid=8330] ppid=8322 vsize=290388 CPUtime=1200.51 cores=0,2,4,6
/proc/8324/task/8330/stat : 8330 (claspmt) R 8322 8324 8286 0 -1 4202560 15573 0 0 0 120043 8 0 0 25 0 4 0 502217341 297357312 46804 33554432000 4194304 4964704 140735840329152 18446744073709551615 4321023 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=8324/tid=8331] ppid=8322 vsize=290388 CPUtime=1194.49 cores=0,2,4,6
/proc/8324/task/8331/stat : 8331 (claspmt) R 8322 8324 8286 0 -1 4202560 10119 0 0 0 119442 7 0 0 25 0 4 0 502217341 297357312 46804 33554432000 4194304 4964704 140735840329152 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4800.32
Current children cumulated vsize (KiB) 290388

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): 1204.87
CPU time (s): 4800.41
CPU user time (s): 4800.05
CPU system time (s): 0.361944
CPU usage (%): 398.418
Max. virtual memory (cumulated for all children) (KiB): 290388

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4800.05
system time used= 0.361944
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 50831
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= 11081
involuntary context switches= 37200

runsolver used 1.90171 second user time and 4.66229 second system time

The end

Launcher Data 

Begin job on node143 at 2011-04-29 19:26:53
IDJOB=3299517
IDBENCH=83909
IDSOLVER=1683
FILE ID=node143/3299517-1304098013
RUNJOBID= node143-1304098013-8304
PBS_JOBID= 13170617
Free space on /tmp= 72920 MiB

SOLVER NAME= claspmt 2.0-R4095
BENCH NAME= SAT03/handmade/anton/UNSAT/SGI_30_50_30_20_1-log.shuffled-as.sat03-107.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-3299517-1304098013/watcher-3299517-1304098013 -o /tmp/evaluation-result-3299517-1304098013/solver-3299517-1304098013 -C 4800 -W 1300 -M 15500  HOME/claspmt -t4 -p HOME/sat11-port.txt --distribute=all,2 HOME/instance-3299517-1304098013.cnf

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

MD5SUM BENCH= 5f29341b29f4bbeb333d68befe08c7ae
RANDOM SEED=489995093

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      31367944 kB
Buffers:        225260 kB
Cached:        1010716 kB
SwapCached:        168 kB
Active:         282196 kB
Inactive:      1023228 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      31367944 kB
SwapTotal:    67111528 kB
SwapFree:     67111356 kB
Dirty:            4984 kB
Writeback:           8 kB
AnonPages:       69372 kB
Mapped:          15592 kB
Slab:           212580 kB
PageTables:       4668 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   206980 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= 72920 MiB
End job on node143 at 2011-04-29 19:47:00