Trace number 3373134

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-patched (fixed)? (TO) 4800.17 1204.24

General information on the benchmark

NameSAT03/handmade/anton/UNSAT/
SGI_30_70_15_90_1-log.shuffled-as.sat03-137.cnf
MD5SUM808fa775df860c59a1178e77fc60f410
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark3416.66
Satisfiable
(Un)Satisfiability was proved
Number of variables75
Number of clauses25452
Sum of the clauses size254370
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 530
Number of clauses of size over 525422

Solver Data 

0.00/0.00	c clasp version 2.0.0-RC2
0.00/0.00	c Reading from ...428936/instance-3373134-1305428936.cnf
1.39/1.41	c Solving...
4800.09/1204.21	
4800.09/1204.21	*** INTERRUPTED! ***
4800.09/1204.21	*** Shutting down threads...
4800.09/1204.24	s UNKNOWN
4800.09/1204.24	
4800.09/1204.24	c INTERRUPTED   : 1
4800.09/1204.24	c Models        : 0+    
4800.09/1204.24	c Time          : 1204.215s (Solving: 1202.81s 1st Model: 0.00s Unsat: 0.00s)
4800.09/1204.24	c CPU Time      : 4800.140s

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

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3373134-1305428936/watcher-3373134-1305428936 -o /tmp/evaluation-result-3373134-1305428936/solver-3373134-1305428936 -C 4800 -W 1300 -M 15500 HOME/claspmt -t4 -p HOME/sat11-port.txt --distribute=all,2 HOME/instance-3373134-1305428936.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.85 7.30 7.48 5/327 509
/proc/meminfo: memFree=24146080/32951124 swapFree=44485764/67111528
[pid=509] ppid=507 vsize=20792 CPUtime=0 cores=0,2,4,6
/proc/509/stat : 509 (claspmt) R 507 509 390 0 -1 4194304 244 0 0 0 0 0 0 0 25 0 1 0 654494063 21291008 194 33554432000 4194304 4964800 140736971837392 18446744073709551615 244441982865 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/509/statm: 5198 195 159 189 0 59 0

[startup+0.060119 s]
/proc/loadavg: 7.85 7.30 7.48 5/327 509
/proc/meminfo: memFree=24146080/32951124 swapFree=44485764/67111528
[pid=509] ppid=507 vsize=24260 CPUtime=0.05 cores=0,2,4,6
/proc/509/stat : 509 (claspmt) R 507 509 390 0 -1 4202496 1409 0 0 0 5 0 0 0 25 0 1 0 654494063 24842240 1304 33554432000 4194304 4964800 140736971837392 18446744073709551615 4607580 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/509/statm: 6065 1304 398 189 0 939 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 24260

[startup+0.101112 s]
/proc/loadavg: 7.85 7.30 7.48 5/327 509
/proc/meminfo: memFree=24146080/32951124 swapFree=44485764/67111528
[pid=509] ppid=507 vsize=24260 CPUtime=0.09 cores=0,2,4,6
/proc/509/stat : 509 (claspmt) R 507 509 390 0 -1 4202496 1409 0 0 0 9 0 0 0 25 0 1 0 654494063 24842240 1304 33554432000 4194304 4964800 140736971837392 18446744073709551615 4607590 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/509/statm: 6065 1304 398 189 0 939 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 24260

[startup+0.301072 s]
/proc/loadavg: 7.85 7.30 7.48 5/327 509
/proc/meminfo: memFree=24146080/32951124 swapFree=44485764/67111528
[pid=509] ppid=507 vsize=24260 CPUtime=0.29 cores=0,2,4,6
/proc/509/stat : 509 (claspmt) R 507 509 390 0 -1 4202496 1410 0 0 0 29 0 0 0 25 0 1 0 654494063 24842240 1305 33554432000 4194304 4964800 140736971837392 18446744073709551615 244446643143 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/509/statm: 6065 1305 398 189 0 939 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 24260

[startup+0.701 s]
/proc/loadavg: 7.85 7.30 7.48 5/327 509
/proc/meminfo: memFree=24146080/32951124 swapFree=44485764/67111528
[pid=509] ppid=507 vsize=24424 CPUtime=0.69 cores=0,2,4,6
/proc/509/stat : 509 (claspmt) R 507 509 390 0 -1 4202496 1437 0 0 0 69 0 0 0 25 0 1 0 654494063 25010176 1332 33554432000 4194304 4964800 140736971837392 18446744073709551615 4607585 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/509/statm: 6106 1332 398 189 0 980 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 24424

[startup+1.50081 s]
/proc/loadavg: 7.85 7.30 7.48 6/328 510
/proc/meminfo: memFree=24140128/32951124 swapFree=44485764/67111528
[pid=509] ppid=507 vsize=173940 CPUtime=1.73 cores=0,2,4,6
/proc/509/stat : 509 (claspmt) R 507 509 390 0 -1 4202496 3050 0 0 0 173 0 0 0 25 0 4 0 654494063 178114560 2862 33554432000 4194304 4964800 140736971837392 18446744073709551615 4626886 0 0 4096 18946 18446744073709551615 0 0 17 0 0 0 0
/proc/509/statm: 43485 2862 458 189 0 37834 0
Current children cumulated CPU time (s) 1.73
Current children cumulated vsize (KiB) 173940

[startup+3.10051 s]
/proc/loadavg: 7.86 7.31 7.48 9/331 513
/proc/meminfo: memFree=24128376/32951124 swapFree=44485764/67111528
[pid=509] ppid=507 vsize=176844 CPUtime=8.11 cores=0,2,4,6
/proc/509/stat : 509 (claspmt) R 507 509 390 0 -1 4202496 5180 0 0 0 810 1 0 0 25 0 4 0 654494063 181088256 4992 33554432000 4194304 4964800 140736971837392 18446744073709551615 4333204 0 0 4096 18946 18446744073709551615 0 0 17 0 0 0 0
/proc/509/statm: 44211 4992 458 189 0 38560 0
[pid=509/tid=511] ppid=507 vsize=176844 CPUtime=1.66 cores=0,2,4,6
/proc/509/task/511/stat : 511 (claspmt) R 507 509 390 0 -1 4202560 703 0 0 0 166 0 0 0 19 0 4 0 654494204 181088256 4992 33554432000 4194304 4964800 140736971837392 18446744073709551615 4320976 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=509/tid=512] ppid=507 vsize=176844 CPUtime=1.67 cores=0,2,4,6
/proc/509/task/512/stat : 512 (claspmt) R 507 509 390 0 -1 4202560 1255 0 0 0 167 0 0 0 25 0 4 0 654494204 181088256 4992 33554432000 4194304 4964800 140736971837392 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=509/tid=513] ppid=507 vsize=176844 CPUtime=1.68 cores=0,2,4,6
/proc/509/task/513/stat : 513 (claspmt) R 507 509 390 0 -1 4202560 871 0 0 0 168 0 0 0 20 0 4 0 654494204 181088256 4992 33554432000 4194304 4964800 140736971837392 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 8.11
Current children cumulated vsize (KiB) 176844

[startup+6.30092 s]
/proc/loadavg: 7.86 7.31 7.48 9/331 513
/proc/meminfo: memFree=24108780/32951124 swapFree=44485764/67111528
[pid=509] ppid=507 vsize=178804 CPUtime=20.88 cores=0,2,4,6
/proc/509/stat : 509 (claspmt) R 507 509 390 0 -1 4202496 7000 0 0 0 2086 2 0 0 25 0 4 0 654494063 183095296 6731 33554432000 4194304 4964800 140736971837392 18446744073709551615 4659391 0 0 4096 18946 18446744073709551615 0 0 17 0 0 0 0
/proc/509/statm: 44701 6731 460 189 0 39050 0
[pid=509/tid=511] ppid=507 vsize=178804 CPUtime=4.83 cores=0,2,4,6
/proc/509/task/511/stat : 511 (claspmt) R 507 509 390 0 -1 4202560 1018 0 0 0 483 0 0 0 25 0 4 0 654494204 183095296 6731 33554432000 4194304 4964800 140736971837392 18446744073709551615 4670340 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=509/tid=512] ppid=507 vsize=178804 CPUtime=4.86 cores=0,2,4,6
/proc/509/task/512/stat : 512 (claspmt) R 507 509 390 0 -1 4202560 2197 0 0 0 486 0 0 0 25 0 4 0 654494204 183095296 6731 33554432000 4194304 4964800 140736971837392 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=509/tid=513] ppid=507 vsize=178804 CPUtime=4.88 cores=0,2,4,6
/proc/509/task/513/stat : 513 (claspmt) R 507 509 390 0 -1 4202560 1181 0 0 0 488 0 0 0 25 0 4 0 654494204 183095296 6731 33554432000 4194304 4964800 140736971837392 18446744073709551615 4670335 0 0 4096 18946 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 20.88
Current children cumulated vsize (KiB) 178804

[startup+12.7007 s]
/proc/loadavg: 7.88 7.33 7.49 9/331 513
/proc/meminfo: memFree=24083224/32951124 swapFree=44485764/67111528
[pid=509] ppid=507 vsize=180716 CPUtime=46.41 cores=0,2,4,6
/proc/509/stat : 509 (claspmt) R 507 509 390 0 -1 4202496 9016 0 0 0 4638 3 0 0 25 0 4 0 654494063 185053184 8698 33554432000 4194304 4964800 140736971837392 18446744073709551615 4320955 0 0 4096 18946 18446744073709551615 0 0 17 0 0 0 0
/proc/509/statm: 45179 8698 460 189 0 39528 0
[pid=509/tid=511] ppid=507 vsize=180716 CPUtime=11.16 cores=0,2,4,6
/proc/509/task/511/stat : 511 (claspmt) R 507 509 390 0 -1 4202560 1549 0 0 0 1116 0 0 0 25 0 4 0 654494204 185053184 8698 33554432000 4194304 4964800 140736971837392 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=509/tid=512] ppid=507 vsize=180716 CPUtime=11.26 cores=0,2,4,6
/proc/509/task/512/stat : 512 (claspmt) R 507 509 390 0 -1 4202560 3257 0 0 0 1126 0 0 0 25 0 4 0 654494204 185053184 8698 33554432000 4194304 4964800 140736971837392 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=509/tid=513] ppid=507 vsize=180716 CPUtime=11.27 cores=0,2,4,6
/proc/509/task/513/stat : 513 (claspmt) R 507 509 390 0 -1 4202560 1417 0 0 0 1127 0 0 0 25 0 4 0 654494204 185053184 8698 33554432000 4194304 4964800 140736971837392 18446744073709551615 4312130 0 0 4096 18946 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 46.41
Current children cumulated vsize (KiB) 180716

[startup+25.5003 s]
/proc/loadavg: 7.90 7.35 7.49 9/331 513
/proc/meminfo: memFree=24056420/32951124 swapFree=44485764/67111528
[pid=509] ppid=507 vsize=184124 CPUtime=97.47 cores=0,2,4,6
/proc/509/stat : 509 (claspmt) R 507 509 390 0 -1 4202496 11042 0 0 0 9743 4 0 0 25 0 4 0 654494063 188542976 10671 33554432000 4194304 4964800 140736971837392 18446744073709551615 4364579 0 0 4096 18946 18446744073709551615 0 0 17 0 0 0 0
/proc/509/statm: 46031 10671 460 189 0 40380 0
[pid=509/tid=511] ppid=507 vsize=184124 CPUtime=23.83 cores=0,2,4,6
/proc/509/task/511/stat : 511 (claspmt) R 507 509 390 0 -1 4202560 2255 0 0 0 2382 1 0 0 25 0 4 0 654494204 188542976 10671 33554432000 4194304 4964800 140736971837392 18446744073709551615 4670520 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=509/tid=512] ppid=507 vsize=184124 CPUtime=24.06 cores=0,2,4,6
/proc/509/task/512/stat : 512 (claspmt) R 507 509 390 0 -1 4202560 3970 0 0 0 2406 0 0 0 25 0 4 0 654494204 188542976 10671 33554432000 4194304 4964800 140736971837392 18446744073709551615 4627526 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=509/tid=513] ppid=507 vsize=184124 CPUtime=24.08 cores=0,2,4,6
/proc/509/task/513/stat : 513 (claspmt) R 507 509 390 0 -1 4202560 1671 0 0 0 2407 1 0 0 25 0 4 0 654494204 188542976 10671 33554432000 4194304 4964800 140736971837392 18446744073709551615 4660582 0 0 4096 18946 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 97.47
Current children cumulated vsize (KiB) 184124

[startup+51.1006 s]
/proc/loadavg: 8.01 7.42 7.51 9/331 514
/proc/meminfo: memFree=24009540/32951124 swapFree=44485764/67111528
[pid=509] ppid=507 vsize=254516 CPUtime=199.6 cores=0,2,4,6
/proc/509/stat : 509 (claspmt) R 507 509 390 0 -1 4202496 14792 0 0 0 19953 7 0 0 25 0 4 0 654494063 260624384 14377 33554432000 4194304 4964800 140736971837392 18446744073709551615 4659400 0 0 4096 18946 18446744073709551615 0 0 17 0 0 0 0
/proc/509/statm: 63629 14377 460 189 0 57978 0
[pid=509/tid=511] ppid=507 vsize=254516 CPUtime=49.17 cores=0,2,4,6
/proc/509/task/511/stat : 511 (claspmt) R 507 509 390 0 -1 4202560 3555 0 0 0 4916 1 0 0 25 0 4 0 654494204 260624384 14377 33554432000 4194304 4964800 140736971837392 18446744073709551615 4626894 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=509/tid=512] ppid=507 vsize=254516 CPUtime=49.64 cores=0,2,4,6
/proc/509/task/512/stat : 512 (claspmt) R 507 509 390 0 -1 4202560 5423 0 0 0 4963 1 0 0 25 0 4 0 654494204 260624384 14377 33554432000 4194304 4964800 140736971837392 18446744073709551615 4670346 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=509/tid=513] ppid=507 vsize=254516 CPUtime=49.67 cores=0,2,4,6
/proc/509/task/513/stat : 513 (claspmt) R 507 509 390 0 -1 4202560 2119 0 0 0 4966 1 0 0 25 0 4 0 654494204 260624384 14377 33554432000 4194304 4964800 140736971837392 18446744073709551615 4659391 0 0 4096 18946 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 199.6
Current children cumulated vsize (KiB) 254516

[startup+102.312 s]
/proc/loadavg: 8.13 7.55 7.55 9/331 515
/proc/meminfo: memFree=23945392/32951124 swapFree=44485764/67111528
[pid=509] ppid=507 vsize=255488 CPUtime=403.91 cores=0,2,4,6
/proc/509/stat : 509 (claspmt) R 507 509 390 0 -1 4202496 18085 0 0 0 40381 10 0 0 25 0 4 0 654494063 261619712 17555 33554432000 4194304 4964800 140736971837392 18446744073709551615 4670308 0 0 4096 18946 18446744073709551615 0 0 17 0 0 0 0
/proc/509/statm: 63872 17555 460 189 0 58221 0
[pid=509/tid=511] ppid=507 vsize=255488 CPUtime=99.86 cores=0,2,4,6
/proc/509/task/511/stat : 511 (claspmt) R 507 509 390 0 -1 4202560 4615 0 0 0 9984 2 0 0 25 0 4 0 654494204 261619712 17555 33554432000 4194304 4964800 140736971837392 18446744073709551615 4670295 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=509/tid=512] ppid=507 vsize=255488 CPUtime=100.84 cores=0,2,4,6
/proc/509/task/512/stat : 512 (claspmt) R 507 509 390 0 -1 4202560 6820 0 0 0 10082 2 0 0 25 0 4 0 654494204 261619712 17555 33554432000 4194304 4964800 140736971837392 18446744073709551615 4627204 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=509/tid=513] ppid=507 vsize=255488 CPUtime=100.88 cores=0,2,4,6
/proc/509/task/513/stat : 513 (claspmt) R 507 509 390 0 -1 4202560 2581 0 0 0 10086 2 0 0 25 0 4 0 654494204 261619712 17555 33554432000 4194304 4964800 140736971837392 18446744073709551615 4626894 0 0 4096 18946 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 403.91
Current children cumulated vsize (KiB) 255488

[startup+162.301 s]
/proc/loadavg: 8.17 7.66 7.58 9/331 517
/proc/meminfo: memFree=23870688/32951124 swapFree=44485764/67111528
[pid=509] ppid=507 vsize=256768 CPUtime=643.25 cores=0,2,4,6
/proc/509/stat : 509 (claspmt) R 507 509 390 0 -1 4202496 20243 0 0 0 64313 12 0 0 25 0 4 0 654494063 262930432 19539 33554432000 4194304 4964800 140736971837392 18446744073709551615 4670534 0 0 4096 18946 18446744073709551615 0 0 17 0 0 0 0
/proc/509/statm: 64192 19539 460 189 0 58541 0
[pid=509/tid=511] ppid=507 vsize=256768 CPUtime=159.25 cores=0,2,4,6
/proc/509/task/511/stat : 511 (claspmt) R 507 509 390 0 -1 4202560 5320 0 0 0 15922 3 0 0 25 0 4 0 654494204 262930432 19539 33554432000 4194304 4964800 140736971837392 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=509/tid=512] ppid=507 vsize=256768 CPUtime=160.83 cores=0,2,4,6
/proc/509/task/512/stat : 512 (claspmt) R 507 509 390 0 -1 4202560 7727 0 0 0 16080 3 0 0 25 0 4 0 654494204 262930432 19539 33554432000 4194304 4964800 140736971837392 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=509/tid=513] ppid=507 vsize=256768 CPUtime=160.87 cores=0,2,4,6
/proc/509/task/513/stat : 513 (claspmt) R 507 509 390 0 -1 4202560 2806 0 0 0 16085 2 0 0 25 0 4 0 654494204 262930432 19539 33554432000 4194304 4964800 140736971837392 18446744073709551615 4670310 0 0 4096 18946 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 643.25
Current children cumulated vsize (KiB) 256768

[startup+222.301 s]
/proc/loadavg: 8.13 7.73 7.61 9/331 519
/proc/meminfo: memFree=23780128/32951124 swapFree=44485764/67111528
[pid=509] ppid=507 vsize=257336 CPUtime=882.63 cores=0,2,4,6
/proc/509/stat : 509 (claspmt) R 507 509 390 0 -1 4202496 21667 0 0 0 88248 15 0 0 25 0 4 0 654494063 263512064 20788 33554432000 4194304 4964800 140736971837392 18446744073709551615 4670308 0 0 4096 18946 18446744073709551615 0 0 17 0 0 0 0
/proc/509/statm: 64334 20788 460 189 0 58683 0
[pid=509/tid=511] ppid=507 vsize=257336 CPUtime=218.7 cores=0,2,4,6
/proc/509/task/511/stat : 511 (claspmt) R 507 509 390 0 -1 4202560 6074 0 0 0 21866 4 0 0 25 0 4 0 654494204 263512064 20788 33554432000 4194304 4964800 140736971837392 18446744073709551615 4626894 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=509/tid=512] ppid=507 vsize=257336 CPUtime=220.81 cores=0,2,4,6
/proc/509/task/512/stat : 512 (claspmt) R 507 509 390 0 -1 4202560 8207 0 0 0 22078 3 0 0 25 0 4 0 654494204 263512064 20788 33554432000 4194304 4964800 140736971837392 18446744073709551615 4627168 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=509/tid=513] ppid=507 vsize=257336 CPUtime=220.81 cores=0,2,4,6
/proc/509/task/513/stat : 513 (claspmt) R 507 509 390 0 -1 4202560 2818 0 0 0 22079 2 0 0 25 0 4 0 654494204 263512064 20788 33554432000 4194304 4964800 140736971837392 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 882.63
Current children cumulated vsize (KiB) 257336

[startup+282.301 s]
/proc/loadavg: 8.15 7.81 7.64 9/331 520
/proc/meminfo: memFree=23724040/32951124 swapFree=44485764/67111528
[pid=509] ppid=507 vsize=259788 CPUtime=1122.02 cores=0,2,4,6
/proc/509/stat : 509 (claspmt) R 507 509 390 0 -1 4202496 23048 0 0 0 112185 17 0 0 19 0 4 0 654494063 266022912 22033 33554432000 4194304 4964800 140736971837392 18446744073709551615 244446642810 0 0 4096 18946 18446744073709551615 0 0 17 0 0 0 0
/proc/509/statm: 64947 22033 460 189 0 59296 0
[pid=509/tid=511] ppid=507 vsize=259788 CPUtime=278.7 cores=0,2,4,6

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

[pid=509] ppid=507 vsize=266260 CPUtime=2558.28 cores=0,2,4,6
/proc/509/stat : 509 (claspmt) R 507 509 390 0 -1 4202496 28248 0 0 0 255802 26 0 0 25 0 4 0 654494063 272650240 26749 33554432000 4194304 4964800 140736971837392 18446744073709551615 4670335 0 0 4096 18946 18446744073709551615 0 0 17 0 0 0 0
/proc/509/statm: 66565 26749 460 189 0 60914 0
[pid=509/tid=511] ppid=507 vsize=266260 CPUtime=638.7 cores=0,2,4,6
/proc/509/task/511/stat : 511 (claspmt) R 507 509 390 0 -1 4202560 8953 0 0 0 63862 8 0 0 25 0 4 0 654494204 272650240 26749 33554432000 4194304 4964800 140736971837392 18446744073709551615 4670357 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=509/tid=512] ppid=507 vsize=266260 CPUtime=640.75 cores=0,2,4,6
/proc/509/task/512/stat : 512 (claspmt) R 507 509 390 0 -1 4202560 10845 0 0 0 64069 6 0 0 25 0 4 0 654494204 272650240 26749 33554432000 4194304 4964800 140736971837392 18446744073709551615 4320909 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=509/tid=513] ppid=507 vsize=266260 CPUtime=636.54 cores=0,2,4,6
/proc/509/task/513/stat : 513 (claspmt) R 507 509 390 0 -1 4202560 3419 0 0 0 63649 5 0 0 25 0 4 0 654494204 272650240 26749 33554432000 4194304 4964800 140736971837392 18446744073709551615 4626984 0 0 4096 18946 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2558.28
Current children cumulated vsize (KiB) 266260

[startup+702.3 s]
/proc/loadavg: 8.18 8.05 7.81 9/331 531
/proc/meminfo: memFree=23305256/32951124 swapFree=44485764/67111528
[pid=509] ppid=507 vsize=266260 CPUtime=2797.65 cores=0,2,4,6
/proc/509/stat : 509 (claspmt) R 507 509 390 0 -1 4202496 28854 0 0 0 279738 27 0 0 25 0 4 0 654494063 272650240 27302 33554432000 4194304 4964800 140736971837392 18446744073709551615 4670335 0 0 4096 18946 18446744073709551615 0 0 17 0 0 0 0
/proc/509/statm: 66565 27302 460 189 0 60914 0
[pid=509/tid=511] ppid=507 vsize=266260 CPUtime=698.68 cores=0,2,4,6
/proc/509/task/511/stat : 511 (claspmt) R 507 509 390 0 -1 4202560 9183 0 0 0 69860 8 0 0 25 0 4 0 654494204 272650240 27302 33554432000 4194304 4964800 140736971837392 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=509/tid=512] ppid=507 vsize=266260 CPUtime=700.74 cores=0,2,4,6
/proc/509/task/512/stat : 512 (claspmt) R 507 509 390 0 -1 4202560 11142 0 0 0 70067 7 0 0 25 0 4 0 654494204 272650240 27302 33554432000 4194304 4964800 140736971837392 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=509/tid=513] ppid=507 vsize=266260 CPUtime=695.94 cores=0,2,4,6
/proc/509/task/513/stat : 513 (claspmt) R 507 509 390 0 -1 4202560 3460 0 0 0 69589 5 0 0 25 0 4 0 654494204 272650240 27302 33554432000 4194304 4964800 140736971837392 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2797.65
Current children cumulated vsize (KiB) 266260

[startup+762.312 s]
/proc/loadavg: 8.10 8.05 7.82 9/331 533
/proc/meminfo: memFree=23258964/32951124 swapFree=44485764/67111528
[pid=509] ppid=507 vsize=267428 CPUtime=3037.07 cores=0,2,4,6
/proc/509/stat : 509 (claspmt) R 507 509 390 0 -1 4202496 29381 0 0 0 303678 29 0 0 25 0 4 0 654494063 273846272 27779 33554432000 4194304 4964800 140736971837392 18446744073709551615 4670403 0 0 4096 18946 18446744073709551615 0 0 17 0 0 0 0
/proc/509/statm: 66857 27779 460 189 0 61206 0
[pid=509/tid=511] ppid=507 vsize=267428 CPUtime=758.14 cores=0,2,4,6
/proc/509/task/511/stat : 511 (claspmt) R 507 509 390 0 -1 4202560 9329 0 0 0 75805 9 0 0 25 0 4 0 654494204 273846272 27779 33554432000 4194304 4964800 140736971837392 18446744073709551615 4659391 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=509/tid=512] ppid=507 vsize=267428 CPUtime=760.74 cores=0,2,4,6
/proc/509/task/512/stat : 512 (claspmt) R 507 509 390 0 -1 4202560 11509 0 0 0 76067 7 0 0 25 0 4 0 654494204 273846272 27779 33554432000 4194304 4964800 140736971837392 18446744073709551615 244446642848 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=509/tid=513] ppid=507 vsize=267428 CPUtime=755.88 cores=0,2,4,6
/proc/509/task/513/stat : 513 (claspmt) R 507 509 390 0 -1 4202560 3467 0 0 0 75583 5 0 0 25 0 4 0 654494204 273846272 27779 33554432000 4194304 4964800 140736971837392 18446744073709551615 4670328 0 0 4096 18946 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3037.07
Current children cumulated vsize (KiB) 267428

[startup+822.301 s]
/proc/loadavg: 8.10 8.07 7.84 9/331 534
/proc/meminfo: memFree=23221100/32951124 swapFree=44485764/67111528
[pid=509] ppid=507 vsize=268792 CPUtime=3276.42 cores=0,2,4,6
/proc/509/stat : 509 (claspmt) R 507 509 390 0 -1 4202496 30005 0 0 0 327612 30 0 0 25 0 4 0 654494063 275243008 28360 33554432000 4194304 4964800 140736971837392 18446744073709551615 4659391 0 0 4096 18946 18446744073709551615 0 0 17 0 0 0 0
/proc/509/statm: 67198 28360 460 189 0 61547 0
[pid=509/tid=511] ppid=507 vsize=268792 CPUtime=817.53 cores=0,2,4,6
/proc/509/task/511/stat : 511 (claspmt) R 507 509 390 0 -1 4202560 9585 0 0 0 81744 9 0 0 25 0 4 0 654494204 275243008 28360 33554432000 4194304 4964800 140736971837392 18446744073709551615 4670328 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=509/tid=512] ppid=507 vsize=268792 CPUtime=820.71 cores=0,2,4,6
/proc/509/task/512/stat : 512 (claspmt) R 507 509 390 0 -1 4202560 11677 0 0 0 82064 7 0 0 25 0 4 0 654494204 275243008 28360 33554432000 4194304 4964800 140736971837392 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=509/tid=513] ppid=507 vsize=268792 CPUtime=815.86 cores=0,2,4,6
/proc/509/task/513/stat : 513 (claspmt) R 507 509 390 0 -1 4202560 3627 0 0 0 81581 5 0 0 25 0 4 0 654494204 275243008 28360 33554432000 4194304 4964800 140736971837392 18446744073709551615 4670264 0 0 4096 18946 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3276.42
Current children cumulated vsize (KiB) 268792

[startup+882.301 s]
/proc/loadavg: 8.13 8.09 7.85 9/331 536
/proc/meminfo: memFree=23172452/32951124 swapFree=44485764/67111528
[pid=509] ppid=507 vsize=269548 CPUtime=3515.78 cores=0,2,4,6
/proc/509/stat : 509 (claspmt) R 507 509 390 0 -1 4202496 30539 0 0 0 351547 31 0 0 25 0 4 0 654494063 276017152 28840 33554432000 4194304 4964800 140736971837392 18446744073709551615 4670328 0 0 4096 18946 18446744073709551615 0 0 17 0 0 0 0
/proc/509/statm: 67387 28840 460 189 0 61736 0
[pid=509/tid=511] ppid=507 vsize=269548 CPUtime=876.91 cores=0,2,4,6
/proc/509/task/511/stat : 511 (claspmt) R 507 509 390 0 -1 4202560 9707 0 0 0 87681 10 0 0 25 0 4 0 654494204 276017152 28840 33554432000 4194304 4964800 140736971837392 18446744073709551615 4670295 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=509/tid=512] ppid=507 vsize=269548 CPUtime=880.7 cores=0,2,4,6
/proc/509/task/512/stat : 512 (claspmt) R 507 509 390 0 -1 4202560 11964 0 0 0 88063 7 0 0 25 0 4 0 654494204 276017152 28840 33554432000 4194304 4964800 140736971837392 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=509/tid=513] ppid=507 vsize=269548 CPUtime=875.87 cores=0,2,4,6
/proc/509/task/513/stat : 513 (claspmt) R 507 509 390 0 -1 4202560 3705 0 0 0 87581 6 0 0 25 0 4 0 654494204 276017152 28840 33554432000 4194304 4964800 140736971837392 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3515.78
Current children cumulated vsize (KiB) 269548

[startup+942.301 s]
/proc/loadavg: 8.08 8.08 7.87 9/331 538
/proc/meminfo: memFree=23132856/32951124 swapFree=44485764/67111528
[pid=509] ppid=507 vsize=269548 CPUtime=3755.16 cores=0,2,4,6
/proc/509/stat : 509 (claspmt) R 507 509 390 0 -1 4202496 30886 0 0 0 375483 33 0 0 25 0 4 0 654494063 276017152 29187 33554432000 4194304 4964800 140736971837392 18446744073709551615 4312130 0 0 4096 18946 18446744073709551615 0 0 17 0 0 0 0
/proc/509/statm: 67387 29187 460 189 0 61736 0
[pid=509/tid=511] ppid=507 vsize=269548 CPUtime=936.3 cores=0,2,4,6
/proc/509/task/511/stat : 511 (claspmt) R 507 509 390 0 -1 4202560 9844 0 0 0 93620 10 0 0 25 0 4 0 654494204 276017152 29187 33554432000 4194304 4964800 140736971837392 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=509/tid=512] ppid=507 vsize=269548 CPUtime=940.7 cores=0,2,4,6
/proc/509/task/512/stat : 512 (claspmt) R 507 509 390 0 -1 4202560 12133 0 0 0 94062 8 0 0 25 0 4 0 654494204 276017152 29187 33554432000 4194304 4964800 140736971837392 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=509/tid=513] ppid=507 vsize=269548 CPUtime=935.86 cores=0,2,4,6
/proc/509/task/513/stat : 513 (claspmt) R 507 509 390 0 -1 4202560 3706 0 0 0 93580 6 0 0 25 0 4 0 654494204 276017152 29187 33554432000 4194304 4964800 140736971837392 18446744073709551615 4644156 0 0 4096 18946 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3755.16
Current children cumulated vsize (KiB) 269548

[startup+1002.3 s]
/proc/loadavg: 8.08 8.08 7.88 9/331 539
/proc/meminfo: memFree=23086304/32951124 swapFree=44485764/67111528
[pid=509] ppid=507 vsize=269548 CPUtime=3994.54 cores=0,2,4,6
/proc/509/stat : 509 (claspmt) R 507 509 390 0 -1 4202496 31200 0 0 0 399420 34 0 0 25 0 4 0 654494063 276017152 29470 33554432000 4194304 4964800 140736971837392 18446744073709551615 4338784 0 0 4096 18946 18446744073709551615 0 0 17 0 0 0 0
/proc/509/statm: 67387 29470 460 189 0 61736 0
[pid=509/tid=511] ppid=507 vsize=269548 CPUtime=995.69 cores=0,2,4,6
/proc/509/task/511/stat : 511 (claspmt) R 507 509 390 0 -1 4202560 9943 0 0 0 99559 10 0 0 25 0 4 0 654494204 276017152 29470 33554432000 4194304 4964800 140736971837392 18446744073709551615 4670335 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=509/tid=512] ppid=507 vsize=269548 CPUtime=1000.69 cores=0,2,4,6
/proc/509/task/512/stat : 512 (claspmt) R 507 509 390 0 -1 4202560 12152 0 0 0 100061 8 0 0 25 0 4 0 654494204 276017152 29470 33554432000 4194304 4964800 140736971837392 18446744073709551615 4670328 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=509/tid=513] ppid=507 vsize=269548 CPUtime=995.86 cores=0,2,4,6
/proc/509/task/513/stat : 513 (claspmt) R 507 509 390 0 -1 4202560 3817 0 0 0 99580 6 0 0 25 0 4 0 654494204 276017152 29470 33554432000 4194304 4964800 140736971837392 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3994.54
Current children cumulated vsize (KiB) 269548

[startup+1062.3 s]
/proc/loadavg: 7.99 8.04 7.87 9/331 572
/proc/meminfo: memFree=24997052/32951124 swapFree=44485764/67111528
[pid=509] ppid=507 vsize=269548 CPUtime=4233.93 cores=0,2,4,6
/proc/509/stat : 509 (claspmt) R 507 509 390 0 -1 4202496 31616 0 0 0 423358 35 0 0 25 0 4 0 654494063 276017152 29876 33554432000 4194304 4964800 140736971837392 18446744073709551615 4670308 0 0 4096 18946 18446744073709551615 0 0 17 0 0 0 0
/proc/509/statm: 67387 29876 460 189 0 61736 0
[pid=509/tid=511] ppid=507 vsize=269548 CPUtime=1055.09 cores=0,2,4,6
/proc/509/task/511/stat : 511 (claspmt) R 507 509 390 0 -1 4202560 10011 0 0 0 105499 10 0 0 25 0 4 0 654494204 276017152 29876 33554432000 4194304 4964800 140736971837392 18446744073709551615 4320909 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=509/tid=512] ppid=507 vsize=269548 CPUtime=1060.68 cores=0,2,4,6
/proc/509/task/512/stat : 512 (claspmt) R 507 509 390 0 -1 4202560 12457 0 0 0 106060 8 0 0 25 0 4 0 654494204 276017152 29876 33554432000 4194304 4964800 140736971837392 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=509/tid=513] ppid=507 vsize=269548 CPUtime=1055.86 cores=0,2,4,6
/proc/509/task/513/stat : 513 (claspmt) R 507 509 390 0 -1 4202560 3854 0 0 0 105579 7 0 0 25 0 4 0 654494204 276017152 29876 33554432000 4194304 4964800 140736971837392 18446744073709551615 4626894 0 0 4096 18946 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4233.93
Current children cumulated vsize (KiB) 269548

[startup+1122.3 s]
/proc/loadavg: 8.11 8.06 7.89 9/331 574
/proc/meminfo: memFree=24778300/32951124 swapFree=44485764/67111528
[pid=509] ppid=507 vsize=269928 CPUtime=4473.31 cores=0,2,4,6
/proc/509/stat : 509 (claspmt) R 507 509 390 0 -1 4202496 31860 0 0 0 447295 36 0 0 25 0 4 0 654494063 276406272 30120 33554432000 4194304 4964800 140736971837392 18446744073709551615 244446642810 0 0 4096 18946 18446744073709551615 0 0 17 0 0 0 0
/proc/509/statm: 67482 30120 460 189 0 61831 0
[pid=509/tid=511] ppid=507 vsize=269928 CPUtime=1114.48 cores=0,2,4,6
/proc/509/task/511/stat : 511 (claspmt) R 507 509 390 0 -1 4202560 10162 0 0 0 111438 10 0 0 25 0 4 0 654494204 276406272 30120 33554432000 4194304 4964800 140736971837392 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=509/tid=512] ppid=507 vsize=269928 CPUtime=1120.66 cores=0,2,4,6
/proc/509/task/512/stat : 512 (claspmt) R 507 509 390 0 -1 4202560 12465 0 0 0 112058 8 0 0 25 0 4 0 654494204 276406272 30120 33554432000 4194304 4964800 140736971837392 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=509/tid=513] ppid=507 vsize=269928 CPUtime=1115.86 cores=0,2,4,6
/proc/509/task/513/stat : 513 (claspmt) R 507 509 390 0 -1 4202560 3890 0 0 0 111579 7 0 0 25 0 4 0 654494204 276406272 30120 33554432000 4194304 4964800 140736971837392 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4473.31
Current children cumulated vsize (KiB) 269928

[startup+1182.3 s]
/proc/loadavg: 8.04 8.05 7.89 9/331 575
/proc/meminfo: memFree=24635424/32951124 swapFree=44485764/67111528
[pid=509] ppid=507 vsize=270308 CPUtime=4712.7 cores=0,2,4,6
/proc/509/stat : 509 (claspmt) R 507 509 390 0 -1 4202496 32344 0 0 0 471233 37 0 0 25 0 4 0 654494063 276795392 30589 33554432000 4194304 4964800 140736971837392 18446744073709551615 4670346 0 0 4096 18946 18446744073709551615 0 0 17 0 0 0 0
/proc/509/statm: 67577 30589 460 189 0 61926 0
[pid=509/tid=511] ppid=507 vsize=270308 CPUtime=1173.88 cores=0,2,4,6
/proc/509/task/511/stat : 511 (claspmt) R 507 509 390 0 -1 4202560 10433 0 0 0 117377 11 0 0 25 0 4 0 654494204 276795392 30589 33554432000 4194304 4964800 140736971837392 18446744073709551615 4670295 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=509/tid=512] ppid=507 vsize=270308 CPUtime=1180.65 cores=0,2,4,6
/proc/509/task/512/stat : 512 (claspmt) R 507 509 390 0 -1 4202560 12545 0 0 0 118057 8 0 0 25 0 4 0 654494204 276795392 30589 33554432000 4194304 4964800 140736971837392 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=509/tid=513] ppid=507 vsize=270308 CPUtime=1175.87 cores=0,2,4,6
/proc/509/task/513/stat : 513 (claspmt) R 507 509 390 0 -1 4202560 3972 0 0 0 117579 8 0 0 25 0 4 0 654494204 276795392 30589 33554432000 4194304 4964800 140736971837392 18446744073709551615 4659391 0 0 4096 18946 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4712.7
Current children cumulated vsize (KiB) 270308



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1204.2 s]
/proc/loadavg: 8.09 8.06 7.90 9/331 576
/proc/meminfo: memFree=24602428/32951124 swapFree=44485764/67111528
[pid=509] ppid=507 vsize=270308 CPUtime=4800.09 cores=0,2,4,6
/proc/509/stat : 509 (claspmt) R 507 509 390 0 -1 4202496 32556 0 0 0 479971 38 0 0 25 0 4 0 654494063 276795392 30801 33554432000 4194304 4964800 140736971837392 18446744073709551615 4320966 0 0 4096 18946 18446744073709551615 0 0 17 0 0 0 0
/proc/509/statm: 67577 30801 460 189 0 61926 0
[pid=509/tid=511] ppid=507 vsize=270308 CPUtime=1195.56 cores=0,2,4,6
/proc/509/task/511/stat : 511 (claspmt) R 507 509 390 0 -1 4202560 10493 0 0 0 119545 11 0 0 25 0 4 0 654494204 276795392 30801 33554432000 4194304 4964800 140736971837392 18446744073709551615 4320951 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=509/tid=512] ppid=507 vsize=270308 CPUtime=1202.57 cores=0,2,4,6
/proc/509/task/512/stat : 512 (claspmt) R 507 509 390 0 -1 4202560 12646 0 0 0 120248 9 0 0 25 0 4 0 654494204 276795392 30801 33554432000 4194304 4964800 140736971837392 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=509/tid=513] ppid=507 vsize=270308 CPUtime=1197.78 cores=0,2,4,6
/proc/509/task/513/stat : 513 (claspmt) R 507 509 390 0 -1 4202560 3972 0 0 0 119770 8 0 0 25 0 4 0 654494204 276795392 30801 33554432000 4194304 4964800 140736971837392 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4800.09
Current children cumulated vsize (KiB) 270308

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.24
CPU time (s): 4800.17
CPU user time (s): 4799.78
CPU system time (s): 0.38894
CPU usage (%): 398.605
Max. virtual memory (cumulated for all children) (KiB): 270308

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4799.78
system time used= 0.38894
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 32568
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= 26908
involuntary context switches= 21574

runsolver used 3.50947 second user time and 8.68368 second system time

The end

Launcher Data 

Begin job on node105 at 2011-05-15 05:08:56
IDJOB=3373134
IDBENCH=83921
IDSOLVER=1853
FILE ID=node105/3373134-1305428936
RUNJOBID= node105-1305428643-408
PBS_JOBID= 13324613
Free space on /tmp= 73508 MiB

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

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

MD5SUM BENCH= 808fa775df860c59a1178e77fc60f410
RANDOM SEED=55874922

node105.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.825
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.825
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.825
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.825
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.825
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	: 5410.70
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.825
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.74
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.825
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.825
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:      24146236 kB
Buffers:        285448 kB
Cached:        6076400 kB
SwapCached:      39656 kB
Active:        1666356 kB
Inactive:      6874700 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      24146236 kB
SwapTotal:    67111528 kB
SwapFree:     44485764 kB
Dirty:           62012 kB
Writeback:           0 kB
AnonPages:     2146552 kB
Mapped:          11204 kB
Slab:           131664 kB
PageTables:      68064 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 66346368 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= 73616 MiB
End job on node105 at 2011-05-15 05:29:02