Trace number 3299740

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.89 1203.28

General information on the benchmark

Nameapplication/rintanen/SATPlanning/
transport-transport-three-cities-sequential-14nodes-1000size-4degree-100mindistance-4trucks-14packages-2008seed.020-NOTKNOWN.cnf
MD5SUM5d1253e2dcc0e3e55992672756beadbc
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark2074.86
Satisfiable
(Un)Satisfiability was proved
Number of variables756832
Number of clauses4116966
Sum of the clauses size9765566
Maximum clause length1178
Minimum clause length1
Number of clauses of size 1846
Number of clauses of size 24082840
Number of clauses of size 3640
Number of clauses of size 4800
Number of clauses of size 5800
Number of clauses of size over 531040

Solver Data 

0.00/0.00	c clasp version 2.0.0-RC2
0.00/0.00	c Reading from ...061288/instance-3299740-1304061288.cnf
1.19/1.26	c Solving...
4800.40/1202.81	
4800.40/1202.81	*** INTERRUPTED! ***
4800.40/1202.81	*** Shutting down threads...
4800.80/1203.23	s UNKNOWN
4800.80/1203.23	
4800.80/1203.23	c INTERRUPTED   : 1
4800.80/1203.23	c Models        : 0+    
4800.80/1203.23	c Time          : 1202.817s (Solving: 1201.56s 1st Model: 0.00s Unsat: 0.00s)
4800.80/1203.23	c CPU Time      : 4800.420s

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-3299740-1304061288/watcher-3299740-1304061288 -o /tmp/evaluation-result-3299740-1304061288/solver-3299740-1304061288 -C 4800 -W 1300 -M 15500 HOME/claspmt -t4 -p HOME/sat11-port.txt --distribute=all,2 HOME/instance-3299740-1304061288.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.62 8.01 7.90 2/174 21486
/proc/meminfo: memFree=25228936/32951124 swapFree=67051468/67111528
[pid=21486] ppid=21484 vsize=116964 CPUtime=0 cores=0,2,4,6
/proc/21486/stat : 21486 (claspmt) R 21484 21486 21348 0 -1 4202496 793 0 0 0 0 0 0 0 23 0 1 0 517731870 119771136 722 33554432000 4194304 4964704 140733557370208 18446744073709551615 4686261 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/21486/statm: 29241 722 374 189 0 24115 0

[startup+0.0956699 s]
/proc/loadavg: 7.62 8.01 7.90 2/174 21486
/proc/meminfo: memFree=25228936/32951124 swapFree=67051468/67111528
[pid=21486] ppid=21484 vsize=161320 CPUtime=0.08 cores=0,2,4,6
/proc/21486/stat : 21486 (claspmt) R 21484 21486 21348 0 -1 4202496 34022 0 0 0 5 3 0 0 23 0 1 0 517731870 165191680 31043 33554432000 4194304 4964704 140733557370208 18446744073709551615 4679026 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/21486/statm: 40330 31052 377 189 0 35204 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 161320

[startup+0.100664 s]
/proc/loadavg: 7.62 8.01 7.90 2/174 21486
/proc/meminfo: memFree=25228936/32951124 swapFree=67051468/67111528
[pid=21486] ppid=21484 vsize=161320 CPUtime=0.09 cores=0,2,4,6
/proc/21486/stat : 21486 (claspmt) R 21484 21486 21348 0 -1 4202496 35799 0 0 0 6 3 0 0 23 0 1 0 517731870 165191680 32109 33554432000 4194304 4964704 140733557370208 18446744073709551615 4679014 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/21486/statm: 40330 32116 376 189 0 35204 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 161320

[startup+0.300602 s]
/proc/loadavg: 7.62 8.01 7.90 2/174 21486
/proc/meminfo: memFree=25228936/32951124 swapFree=67051468/67111528
[pid=21486] ppid=21484 vsize=170460 CPUtime=0.29 cores=0,2,4,6
/proc/21486/stat : 21486 (claspmt) R 21484 21486 21348 0 -1 4202496 43173 0 0 0 25 4 0 0 25 0 1 0 517731870 174551040 37189 33554432000 4194304 4964704 140733557370208 18446744073709551615 218370618053 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/21486/statm: 42615 37189 389 189 0 37489 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 170460

[startup+0.930499 s]
/proc/loadavg: 7.62 8.01 7.90 2/174 21486
/proc/meminfo: memFree=25228936/32951124 swapFree=67051468/67111528
[pid=21486] ppid=21484 vsize=197744 CPUtime=0.92 cores=0,2,4,6
/proc/21486/stat : 21486 (claspmt) R 21484 21486 21348 0 -1 4202496 50045 0 0 0 86 6 0 0 25 0 1 0 517731870 202489856 44028 33554432000 4194304 4964704 140733557370208 18446744073709551615 218370957056 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/21486/statm: 49436 44028 389 189 0 44310 0
Current children cumulated CPU time (s) 0.92
Current children cumulated vsize (KiB) 197744

[startup+1.50036 s]
/proc/loadavg: 7.62 8.01 7.90 6/178 21491
/proc/meminfo: memFree=24769392/32951124 swapFree=67051468/67111528
[pid=21486] ppid=21484 vsize=611616 CPUtime=1.85 cores=0,2,4,6
/proc/21486/stat : 21486 (claspmt) R 21484 21486 21348 0 -1 4202496 138848 0 0 0 156 29 0 0 18 0 4 0 517731870 626294784 99132 33554432000 4194304 4964704 140733557370208 18446744073709551615 4370264 0 0 4096 18946 18446744073709551615 0 0 17 2 0 0 0
/proc/21486/statm: 152904 99134 442 189 0 147253 0
[pid=21486/tid=21489] ppid=21484 vsize=611616 CPUtime=0.09 cores=0,2,4,6
/proc/21486/task/21489/stat : 21489 (claspmt) R 21484 21486 21348 0 -1 4202560 19615 0 0 0 3 6 0 0 16 0 4 0 517731996 626294784 99144 33554432000 4194304 4964704 140733557370208 18446744073709551615 4370364 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=21486/tid=21490] ppid=21484 vsize=611616 CPUtime=0.22 cores=0,2,4,6
/proc/21486/task/21490/stat : 21490 (claspmt) R 21484 21486 21348 0 -1 4202560 25872 0 0 0 18 4 0 0 25 0 4 0 517731996 626294784 99147 33554432000 4194304 4964704 140733557370208 18446744073709551615 218371000503 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=21486/tid=21491] ppid=21484 vsize=611616 CPUtime=0.21 cores=0,2,4,6
/proc/21486/task/21491/stat : 21491 (claspmt) R 21484 21486 21348 0 -1 4202560 25205 0 0 0 14 7 0 0 18 0 4 0 517731996 626294784 99153 33554432000 4194304 4964704 140733557370208 18446744073709551615 218370618053 0 0 4096 18946 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1.85
Current children cumulated vsize (KiB) 611616

[startup+3.10107 s]
/proc/loadavg: 7.62 8.01 7.90 6/178 21491
/proc/meminfo: memFree=24693324/32951124 swapFree=67051468/67111528
[pid=21486] ppid=21484 vsize=621312 CPUtime=8.21 cores=0,2,4,6
/proc/21486/stat : 21486 (claspmt) R 21484 21486 21348 0 -1 4202496 149490 0 0 0 780 41 0 0 19 0 4 0 517731870 636223488 109774 33554432000 4194304 4964704 140733557370208 18446744073709551615 4677956 0 0 4096 18946 18446744073709551615 0 0 17 2 0 0 0
/proc/21486/statm: 155328 109775 452 189 0 149677 0
[pid=21486/tid=21489] ppid=21484 vsize=621312 CPUtime=1.68 cores=0,2,4,6
/proc/21486/task/21489/stat : 21489 (claspmt) R 21484 21486 21348 0 -1 4202560 21662 0 0 0 157 11 0 0 18 0 4 0 517731996 636223488 109775 33554432000 4194304 4964704 140733557370208 18446744073709551615 4668820 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=21486/tid=21490] ppid=21484 vsize=621312 CPUtime=1.82 cores=0,2,4,6
/proc/21486/task/21490/stat : 21490 (claspmt) R 21484 21486 21348 0 -1 4202560 29758 0 0 0 176 6 0 0 20 0 4 0 517731996 636223488 109775 33554432000 4194304 4964704 140733557370208 18446744073709551615 218370618401 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=21486/tid=21491] ppid=21484 vsize=621312 CPUtime=1.81 cores=0,2,4,6
/proc/21486/task/21491/stat : 21491 (claspmt) R 21484 21486 21348 0 -1 4202560 27684 0 0 0 172 9 0 0 20 0 4 0 517731996 636223488 109775 33554432000 4194304 4964704 140733557370208 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 8.21
Current children cumulated vsize (KiB) 621312

[startup+6.3005 s]
/proc/loadavg: 7.41 7.96 7.88 6/181 21497
/proc/meminfo: memFree=24240244/32951124 swapFree=67051468/67111528
[pid=21486] ppid=21484 vsize=628160 CPUtime=20.99 cores=0,2,4,6
/proc/21486/stat : 21486 (claspmt) R 21484 21486 21348 0 -1 4202496 155954 0 0 0 2045 54 0 0 25 0 4 0 517731870 643235840 116238 33554432000 4194304 4964704 140733557370208 18446744073709551615 4670228 0 0 4096 18946 18446744073709551615 0 0 17 2 0 0 0
/proc/21486/statm: 157040 116238 452 189 0 151389 0
[pid=21486/tid=21489] ppid=21484 vsize=628160 CPUtime=4.87 cores=0,2,4,6
/proc/21486/task/21489/stat : 21489 (claspmt) R 21484 21486 21348 0 -1 4202560 22647 0 0 0 471 16 0 0 25 0 4 0 517731996 643235840 116238 33554432000 4194304 4964704 140733557370208 18446744073709551615 4342174 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=21486/tid=21490] ppid=21484 vsize=628160 CPUtime=5.02 cores=0,2,4,6
/proc/21486/task/21490/stat : 21490 (claspmt) R 21484 21486 21348 0 -1 4202560 32138 0 0 0 495 7 0 0 25 0 4 0 517731996 643235840 116238 33554432000 4194304 4964704 140733557370208 18446744073709551615 4668488 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=21486/tid=21491] ppid=21484 vsize=628160 CPUtime=5 cores=0,2,4,6
/proc/21486/task/21491/stat : 21491 (claspmt) R 21484 21486 21348 0 -1 4202560 29377 0 0 0 489 11 0 0 25 0 4 0 517731996 643235840 116238 33554432000 4194304 4964704 140733557370208 18446744073709551615 4668488 0 0 4096 18946 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 20.99
Current children cumulated vsize (KiB) 628160

[startup+12.7003 s]
/proc/loadavg: 7.46 7.96 7.88 9/184 21500
/proc/meminfo: memFree=23616788/32951124 swapFree=67051468/67111528
[pid=21486] ppid=21484 vsize=637320 CPUtime=46.55 cores=0,2,4,6
/proc/21486/stat : 21486 (claspmt) R 21484 21486 21348 0 -1 4202496 165164 0 0 0 4595 60 0 0 25 0 4 0 517731870 652615680 125448 33554432000 4194304 4964704 140733557370208 18446744073709551615 4669039 0 0 4096 18946 18446744073709551615 0 0 17 2 0 0 0
/proc/21486/statm: 159330 125448 452 189 0 153679 0
[pid=21486/tid=21489] ppid=21484 vsize=637320 CPUtime=11.22 cores=0,2,4,6
/proc/21486/task/21489/stat : 21489 (claspmt) R 21484 21486 21348 0 -1 4202560 24145 0 0 0 1105 17 0 0 25 0 4 0 517731996 652615680 125448 33554432000 4194304 4964704 140733557370208 18446744073709551615 4670291 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=21486/tid=21490] ppid=21484 vsize=637320 CPUtime=11.42 cores=0,2,4,6
/proc/21486/task/21490/stat : 21490 (claspmt) R 21484 21486 21348 0 -1 4202560 36274 0 0 0 1132 10 0 0 25 0 4 0 517731996 652615680 125448 33554432000 4194304 4964704 140733557370208 18446744073709551615 4673205 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=21486/tid=21491] ppid=21484 vsize=637320 CPUtime=11.41 cores=0,2,4,6
/proc/21486/task/21491/stat : 21491 (claspmt) R 21484 21486 21348 0 -1 4202560 31659 0 0 0 1129 12 0 0 25 0 4 0 517731996 652615680 125448 33554432000 4194304 4964704 140733557370208 18446744073709551615 4629965 0 0 4096 18946 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 46.55
Current children cumulated vsize (KiB) 637320

[startup+25.501 s]
/proc/loadavg: 7.65 7.98 7.89 9/184 21500
/proc/meminfo: memFree=23360620/32951124 swapFree=67051468/67111528
[pid=21486] ppid=21484 vsize=714660 CPUtime=97.69 cores=0,2,4,6
/proc/21486/stat : 21486 (claspmt) R 21484 21486 21348 0 -1 4202496 181647 0 0 0 9701 68 0 0 25 0 4 0 517731870 731811840 141931 33554432000 4194304 4964704 140733557370208 18446744073709551615 4684652 0 0 4096 18946 18446744073709551615 0 0 17 2 0 0 0
/proc/21486/statm: 178665 141931 452 189 0 173014 0
[pid=21486/tid=21489] ppid=21484 vsize=714660 CPUtime=23.96 cores=0,2,4,6
/proc/21486/task/21489/stat : 21489 (claspmt) R 21484 21486 21348 0 -1 4202560 25675 0 0 0 2378 18 0 0 25 0 4 0 517731996 731811840 141931 33554432000 4194304 4964704 140733557370208 18446744073709551615 4669051 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=21486/tid=21490] ppid=21484 vsize=714660 CPUtime=24.22 cores=0,2,4,6
/proc/21486/task/21490/stat : 21490 (claspmt) R 21484 21486 21348 0 -1 4202560 46662 0 0 0 2408 14 0 0 25 0 4 0 517731996 731811840 141931 33554432000 4194304 4964704 140733557370208 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=21486/tid=21491] ppid=21484 vsize=714660 CPUtime=24.2 cores=0,2,4,6
/proc/21486/task/21491/stat : 21491 (claspmt) R 21484 21486 21348 0 -1 4202560 34612 0 0 0 2408 12 0 0 25 0 4 0 517731996 731811840 141931 33554432000 4194304 4964704 140733557370208 18446744073709551615 4627269 0 0 4096 18946 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 97.69
Current children cumulated vsize (KiB) 714660

[startup+51.1065 s]
/proc/loadavg: 7.77 7.98 7.89 9/184 21501
/proc/meminfo: memFree=23017040/32951124 swapFree=67051468/67111528
[pid=21486] ppid=21484 vsize=806064 CPUtime=199.89 cores=0,2,4,6
/proc/21486/stat : 21486 (claspmt) R 21484 21486 21348 0 -1 4202496 208282 0 0 0 19903 86 0 0 25 0 4 0 517731870 825409536 168566 33554432000 4194304 4964704 140733557370208 18446744073709551615 4670307 0 0 4096 18946 18446744073709551615 0 0 17 2 0 0 0
/proc/21486/statm: 201516 168568 452 189 0 195865 0
[pid=21486/tid=21489] ppid=21484 vsize=806064 CPUtime=49.42 cores=0,2,4,6
/proc/21486/task/21489/stat : 21489 (claspmt) R 21484 21486 21348 0 -1 4202560 28276 0 0 0 4921 21 0 0 25 0 4 0 517731996 825409536 168568 33554432000 4194304 4964704 140733557370208 18446744073709551615 4668820 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=21486/tid=21490] ppid=21484 vsize=806064 CPUtime=49.75 cores=0,2,4,6
/proc/21486/task/21490/stat : 21490 (claspmt) R 21484 21486 21348 0 -1 4202560 61490 0 0 0 4952 23 0 0 25 0 4 0 517731996 825409536 168568 33554432000 4194304 4964704 140733557370208 18446744073709551615 4668907 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=21486/tid=21491] ppid=21484 vsize=806064 CPUtime=49.81 cores=0,2,4,6
/proc/21486/task/21491/stat : 21491 (claspmt) R 21484 21486 21348 0 -1 4202560 41085 0 0 0 4966 15 0 0 25 0 4 0 517731996 825409536 168568 33554432000 4194304 4964704 140733557370208 18446744073709551615 4320309 0 0 4096 18946 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 199.89
Current children cumulated vsize (KiB) 806064

[startup+102.3 s]
/proc/loadavg: 7.90 7.98 7.90 9/184 21502
/proc/meminfo: memFree=22547320/32951124 swapFree=67051468/67111528
[pid=21486] ppid=21484 vsize=913652 CPUtime=404.39 cores=0,2,4,6
/proc/21486/stat : 21486 (claspmt) R 21484 21486 21348 0 -1 4202496 246881 0 0 0 40333 106 0 0 25 0 4 0 517731870 935579648 207165 33554432000 4194304 4964704 140733557370208 18446744073709551615 4313753 0 0 4096 18946 18446744073709551615 0 0 17 2 0 0 0
/proc/21486/statm: 228413 207165 452 189 0 222762 0
[pid=21486/tid=21489] ppid=21484 vsize=913652 CPUtime=100.34 cores=0,2,4,6
/proc/21486/task/21489/stat : 21489 (claspmt) R 21484 21486 21348 0 -1 4202560 29509 0 0 0 10012 22 0 0 25 0 4 0 517731996 935579648 207165 33554432000 4194304 4964704 140733557370208 18446744073709551615 4670080 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=21486/tid=21490] ppid=21484 vsize=913652 CPUtime=100.95 cores=0,2,4,6
/proc/21486/task/21490/stat : 21490 (claspmt) R 21484 21486 21348 0 -1 4202560 86737 0 0 0 10058 37 0 0 25 0 4 0 517731996 935579648 207165 33554432000 4194304 4964704 140733557370208 18446744073709551615 4362864 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=21486/tid=21491] ppid=21484 vsize=913652 CPUtime=101 cores=0,2,4,6
/proc/21486/task/21491/stat : 21491 (claspmt) R 21484 21486 21348 0 -1 4202560 51594 0 0 0 10081 19 0 0 25 0 4 0 517731996 935579648 207165 33554432000 4194304 4964704 140733557370208 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 404.39
Current children cumulated vsize (KiB) 913652

[startup+162.301 s]
/proc/loadavg: 7.99 7.99 7.91 9/184 21504
/proc/meminfo: memFree=21916240/32951124 swapFree=67051468/67111528
[pid=21486] ppid=21484 vsize=1091608 CPUtime=644.06 cores=0,2,4,6
/proc/21486/stat : 21486 (claspmt) R 21484 21486 21348 0 -1 4202496 287385 0 0 0 64279 127 0 0 25 0 4 0 517731870 1117806592 247669 33554432000 4194304 4964704 140733557370208 18446744073709551615 4647742 0 0 4096 18946 18446744073709551615 0 0 17 2 0 0 0
/proc/21486/statm: 272902 247669 452 189 0 267251 0
[pid=21486/tid=21489] ppid=21484 vsize=1091608 CPUtime=160.01 cores=0,2,4,6
/proc/21486/task/21489/stat : 21489 (claspmt) R 21484 21486 21348 0 -1 4202560 30637 0 0 0 15979 22 0 0 25 0 4 0 517731996 1117806592 247669 33554432000 4194304 4964704 140733557370208 18446744073709551615 4668488 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=21486/tid=21490] ppid=21484 vsize=1091608 CPUtime=160.94 cores=0,2,4,6
/proc/21486/task/21490/stat : 21490 (claspmt) R 21484 21486 21348 0 -1 4202560 112403 0 0 0 16041 53 0 0 25 0 4 0 517731996 1117806592 247669 33554432000 4194304 4964704 140733557370208 18446744073709551615 4668820 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=21486/tid=21491] ppid=21484 vsize=1091608 CPUtime=161.01 cores=0,2,4,6
/proc/21486/task/21491/stat : 21491 (claspmt) R 21484 21486 21348 0 -1 4202560 63310 0 0 0 16078 23 0 0 25 0 4 0 517731996 1117806592 247669 33554432000 4194304 4964704 140733557370208 18446744073709551615 4313761 0 0 4096 18946 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 644.06
Current children cumulated vsize (KiB) 1091608

[startup+222.301 s]
/proc/loadavg: 8.07 8.01 7.91 9/184 21505
/proc/meminfo: memFree=21467816/32951124 swapFree=67051468/67111528
[pid=21486] ppid=21484 vsize=1333060 CPUtime=883.73 cores=0,2,4,6
/proc/21486/stat : 21486 (claspmt) R 21484 21486 21348 0 -1 4202496 330143 0 0 0 88224 149 0 0 25 0 4 0 517731870 1365053440 290427 33554432000 4194304 4964704 140733557370208 18446744073709551615 4668907 0 0 4096 18946 18446744073709551615 0 0 17 2 0 0 0
/proc/21486/statm: 333265 290427 454 189 0 327614 0
[pid=21486/tid=21489] ppid=21484 vsize=1333060 CPUtime=219.69 cores=0,2,4,6
/proc/21486/task/21489/stat : 21489 (claspmt) R 21484 21486 21348 0 -1 4202560 32555 0 0 0 21945 24 0 0 25 0 4 0 517731996 1365053440 290427 33554432000 4194304 4964704 140733557370208 18446744073709551615 4342144 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=21486/tid=21490] ppid=21484 vsize=1333060 CPUtime=220.95 cores=0,2,4,6
/proc/21486/task/21490/stat : 21490 (claspmt) R 21484 21486 21348 0 -1 4202560 141708 0 0 0 22026 69 0 0 25 0 4 0 517731996 1365053440 290427 33554432000 4194304 4964704 140733557370208 18446744073709551615 4670266 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=21486/tid=21491] ppid=21484 vsize=1333060 CPUtime=221.01 cores=0,2,4,6
/proc/21486/task/21491/stat : 21491 (claspmt) R 21484 21486 21348 0 -1 4202560 74492 0 0 0 22074 27 0 0 25 0 4 0 517731996 1365053440 290427 33554432000 4194304 4964704 140733557370208 18446744073709551615 4668488 0 0 4096 18946 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 883.73
Current children cumulated vsize (KiB) 1333060

[startup+282.3 s]

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

[pid=21486/tid=21489] ppid=21484 vsize=2448880 CPUtime=697.09 cores=0,2,4,6
/proc/21486/task/21489/stat : 21489 (claspmt) R 21484 21486 21348 0 -1 4202560 43660 0 0 0 69675 34 0 0 25 0 4 0 517731996 2507653120 570092 33554432000 4194304 4964704 140733557370208 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=21486/tid=21490] ppid=21484 vsize=2448880 CPUtime=700.95 cores=0,2,4,6
/proc/21486/task/21490/stat : 21490 (claspmt) R 21484 21486 21348 0 -1 4202560 302976 0 0 0 69937 158 0 0 25 0 4 0 517731996 2507653120 570092 33554432000 4194304 4964704 140733557370208 18446744073709551615 4320909 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=21486/tid=21491] ppid=21484 vsize=2448880 CPUtime=701.02 cores=0,2,4,6
/proc/21486/task/21491/stat : 21491 (claspmt) R 21484 21486 21348 0 -1 4202560 173228 0 0 0 70041 61 0 0 25 0 4 0 517731996 2507653120 570092 33554432000 4194304 4964704 140733557370208 18446744073709551615 4363687 0 0 4096 18946 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 2801.11
Current children cumulated vsize (KiB) 2448880

[startup+762.301 s]
/proc/loadavg: 8.18 8.11 7.99 9/184 21520
/proc/meminfo: memFree=17313184/32951124 swapFree=67051468/67111528
[pid=21486] ppid=21484 vsize=2557036 CPUtime=3040.77 cores=0,2,4,6
/proc/21486/stat : 21486 (claspmt) R 21484 21486 21348 0 -1 4202496 643042 0 0 0 303771 306 0 0 25 0 4 0 517731870 2618404864 603281 33554432000 4194304 4964704 140733557370208 18446744073709551615 4669069 0 0 4096 18946 18446744073709551615 0 0 17 2 0 0 0
/proc/21486/statm: 639259 603281 454 189 0 633608 0
[pid=21486/tid=21489] ppid=21484 vsize=2557036 CPUtime=756.76 cores=0,2,4,6
/proc/21486/task/21489/stat : 21489 (claspmt) R 21484 21486 21348 0 -1 4202560 45338 0 0 0 75641 35 0 0 25 0 4 0 517731996 2618404864 603281 33554432000 4194304 4964704 140733557370208 18446744073709551615 4668931 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=21486/tid=21490] ppid=21484 vsize=2557036 CPUtime=760.95 cores=0,2,4,6
/proc/21486/task/21490/stat : 21490 (claspmt) R 21484 21486 21348 0 -1 4202560 323817 0 0 0 75925 170 0 0 25 0 4 0 517731996 2618404864 603281 33554432000 4194304 4964704 140733557370208 18446744073709551615 4313761 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=21486/tid=21491] ppid=21484 vsize=2557036 CPUtime=761.01 cores=0,2,4,6
/proc/21486/task/21491/stat : 21491 (claspmt) R 21484 21486 21348 0 -1 4202560 183906 0 0 0 76038 63 0 0 25 0 4 0 517731996 2618404864 603281 33554432000 4194304 4964704 140733557370208 18446744073709551615 4313761 0 0 4096 18946 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3040.77
Current children cumulated vsize (KiB) 2557036

[startup+822.301 s]
/proc/loadavg: 8.17 8.12 8.00 9/184 21521
/proc/meminfo: memFree=17087836/32951124 swapFree=67051468/67111528
[pid=21486] ppid=21484 vsize=2650912 CPUtime=3280.44 cores=0,2,4,6
/proc/21486/stat : 21486 (claspmt) R 21484 21486 21348 0 -1 4202496 657821 0 0 0 327730 314 0 0 25 0 4 0 517731870 2714533888 618060 33554432000 4194304 4964704 140733557370208 18446744073709551615 4670219 0 0 4096 18946 18446744073709551615 0 0 17 2 0 0 0
/proc/21486/statm: 662728 618060 454 189 0 657077 0
[pid=21486/tid=21489] ppid=21484 vsize=2650912 CPUtime=816.43 cores=0,2,4,6
/proc/21486/task/21489/stat : 21489 (claspmt) R 21484 21486 21348 0 -1 4202560 49474 0 0 0 81605 38 0 0 25 0 4 0 517731996 2714533888 618060 33554432000 4194304 4964704 140733557370208 18446744073709551615 4313736 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=21486/tid=21490] ppid=21484 vsize=2650912 CPUtime=820.95 cores=0,2,4,6
/proc/21486/task/21490/stat : 21490 (claspmt) R 21484 21486 21348 0 -1 4202560 327381 0 0 0 81922 173 0 0 25 0 4 0 517731996 2714533888 618060 33554432000 4194304 4964704 140733557370208 18446744073709551615 4313804 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=21486/tid=21491] ppid=21484 vsize=2650912 CPUtime=821.01 cores=0,2,4,6
/proc/21486/task/21491/stat : 21491 (claspmt) R 21484 21486 21348 0 -1 4202560 190984 0 0 0 82036 65 0 0 25 0 4 0 517731996 2714533888 618060 33554432000 4194304 4964704 140733557370208 18446744073709551615 4313751 0 0 4096 18946 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3280.44
Current children cumulated vsize (KiB) 2650912

[startup+882.3 s]
/proc/loadavg: 8.16 8.13 8.01 9/184 21523
/proc/meminfo: memFree=16722740/32951124 swapFree=67051468/67111528
[pid=21486] ppid=21484 vsize=2770108 CPUtime=3520.11 cores=0,2,4,6
/proc/21486/stat : 21486 (claspmt) R 21484 21486 21348 0 -1 4202496 686344 0 0 0 351688 323 0 0 25 0 4 0 517731870 2836590592 646561 33554432000 4194304 4964704 140733557370208 18446744073709551615 4668488 0 0 4096 18946 18446744073709551615 0 0 17 2 0 0 0
/proc/21486/statm: 692527 646561 454 189 0 686876 0
[pid=21486/tid=21489] ppid=21484 vsize=2770108 CPUtime=876.11 cores=0,2,4,6
/proc/21486/task/21489/stat : 21489 (claspmt) R 21484 21486 21348 0 -1 4202560 49474 0 0 0 87573 38 0 0 25 0 4 0 517731996 2836590592 646561 33554432000 4194304 4964704 140733557370208 18446744073709551615 4668925 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=21486/tid=21490] ppid=21484 vsize=2770108 CPUtime=880.94 cores=0,2,4,6
/proc/21486/task/21490/stat : 21490 (claspmt) R 21484 21486 21348 0 -1 4202560 342006 0 0 0 87916 178 0 0 25 0 4 0 517731996 2836590592 646561 33554432000 4194304 4964704 140733557370208 18446744073709551615 4313761 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=21486/tid=21491] ppid=21484 vsize=2770108 CPUtime=881.02 cores=0,2,4,6
/proc/21486/task/21491/stat : 21491 (claspmt) R 21484 21486 21348 0 -1 4202560 204275 0 0 0 88033 69 0 0 25 0 4 0 517731996 2836590592 646561 33554432000 4194304 4964704 140733557370208 18446744073709551615 47631555321968 0 0 4096 18946 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3520.11
Current children cumulated vsize (KiB) 2770108

[startup+942.301 s]
/proc/loadavg: 8.12 8.12 8.01 9/184 21525
/proc/meminfo: memFree=16392732/32951124 swapFree=67051468/67111528
[pid=21486] ppid=21484 vsize=2878652 CPUtime=3759.79 cores=0,2,4,6
/proc/21486/stat : 21486 (claspmt) R 21484 21486 21348 0 -1 4202496 714311 0 0 0 375641 338 0 0 25 0 4 0 517731870 2947739648 674511 33554432000 4194304 4964704 140733557370208 18446744073709551615 4313761 0 0 4096 18946 18446744073709551615 0 0 17 2 0 0 0
/proc/21486/statm: 719663 674511 454 189 0 714012 0
[pid=21486/tid=21489] ppid=21484 vsize=2878652 CPUtime=935.78 cores=0,2,4,6
/proc/21486/task/21489/stat : 21489 (claspmt) R 21484 21486 21348 0 -1 4202560 53058 0 0 0 93538 40 0 0 25 0 4 0 517731996 2947739648 674511 33554432000 4194304 4964704 140733557370208 18446744073709551615 4670219 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=21486/tid=21490] ppid=21484 vsize=2878652 CPUtime=940.95 cores=0,2,4,6
/proc/21486/task/21490/stat : 21490 (claspmt) R 21484 21486 21348 0 -1 4202560 354893 0 0 0 93909 186 0 0 25 0 4 0 517731996 2947739648 674511 33554432000 4194304 4964704 140733557370208 18446744073709551615 4313804 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=21486/tid=21491] ppid=21484 vsize=2878652 CPUtime=941.02 cores=0,2,4,6
/proc/21486/task/21491/stat : 21491 (claspmt) R 21484 21486 21348 0 -1 4202560 214836 0 0 0 94030 72 0 0 25 0 4 0 517731996 2947739648 674511 33554432000 4194304 4964704 140733557370208 18446744073709551615 4313753 0 0 4096 18946 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3759.79
Current children cumulated vsize (KiB) 2878652

[startup+1002.3 s]
/proc/loadavg: 8.09 8.11 8.01 9/184 21526
/proc/meminfo: memFree=16076868/32951124 swapFree=67051468/67111528
[pid=21486] ppid=21484 vsize=2974908 CPUtime=3999.45 cores=0,2,4,6
/proc/21486/stat : 21486 (claspmt) R 21484 21486 21348 0 -1 4202496 737737 0 0 0 399596 349 0 0 25 0 4 0 517731870 3046305792 697937 33554432000 4194304 4964704 140733557370208 18446744073709551615 4670100 0 0 4096 18946 18446744073709551615 0 0 17 2 0 0 0
/proc/21486/statm: 743727 697937 454 189 0 738076 0
[pid=21486/tid=21489] ppid=21484 vsize=2974908 CPUtime=995.46 cores=0,2,4,6
/proc/21486/task/21489/stat : 21489 (claspmt) R 21484 21486 21348 0 -1 4202560 54337 0 0 0 99505 41 0 0 25 0 4 0 517731996 3046305792 697937 33554432000 4194304 4964704 140733557370208 18446744073709551615 4320909 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=21486/tid=21490] ppid=21484 vsize=2974908 CPUtime=1000.95 cores=0,2,4,6
/proc/21486/task/21490/stat : 21490 (claspmt) R 21484 21486 21348 0 -1 4202560 369230 0 0 0 99901 194 0 0 25 0 4 0 517731996 3046305792 697937 33554432000 4194304 4964704 140733557370208 18446744073709551615 4320951 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=21486/tid=21491] ppid=21484 vsize=2974908 CPUtime=1001.02 cores=0,2,4,6
/proc/21486/task/21491/stat : 21491 (claspmt) R 21484 21486 21348 0 -1 4202560 222645 0 0 0 100027 75 0 0 25 0 4 0 517731996 3046305792 697937 33554432000 4194304 4964704 140733557370208 18446744073709551615 4321079 0 0 4096 18946 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3999.45
Current children cumulated vsize (KiB) 2974908

[startup+1062.3 s]
/proc/loadavg: 8.08 8.10 8.00 9/184 21528
/proc/meminfo: memFree=15625956/32951124 swapFree=67051468/67111528
[pid=21486] ppid=21484 vsize=3094716 CPUtime=4239.12 cores=0,2,4,6
/proc/21486/stat : 21486 (claspmt) R 21484 21486 21348 0 -1 4202496 773772 0 0 0 423550 362 0 0 25 0 4 0 517731870 3168989184 733968 33554432000 4194304 4964704 140733557370208 18446744073709551615 4653420 0 0 4096 18946 18446744073709551615 0 0 17 2 0 0 0
/proc/21486/statm: 773679 733968 454 189 0 768028 0
[pid=21486/tid=21489] ppid=21484 vsize=3094716 CPUtime=1055.13 cores=0,2,4,6
/proc/21486/task/21489/stat : 21489 (claspmt) R 21484 21486 21348 0 -1 4202560 55899 0 0 0 105471 42 0 0 25 0 4 0 517731996 3168989184 733968 33554432000 4194304 4964704 140733557370208 18446744073709551615 4668488 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=21486/tid=21490] ppid=21484 vsize=3094716 CPUtime=1060.95 cores=0,2,4,6
/proc/21486/task/21490/stat : 21490 (claspmt) R 21484 21486 21348 0 -1 4202560 389230 0 0 0 105894 201 0 0 25 0 4 0 517731996 3168989184 733968 33554432000 4194304 4964704 140733557370208 18446744073709551615 4668488 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=21486/tid=21491] ppid=21484 vsize=3094716 CPUtime=1061.03 cores=0,2,4,6
/proc/21486/task/21491/stat : 21491 (claspmt) R 21484 21486 21348 0 -1 4202560 236299 0 0 0 106024 79 0 0 25 0 4 0 517731996 3168989184 733968 33554432000 4194304 4964704 140733557370208 18446744073709551615 4647742 0 0 4096 18946 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4239.12
Current children cumulated vsize (KiB) 3094716

[startup+1122.3 s]
/proc/loadavg: 8.07 8.09 8.00 9/184 21529
/proc/meminfo: memFree=15073752/32951124 swapFree=67051468/67111528
[pid=21486] ppid=21484 vsize=3212476 CPUtime=4478.81 cores=0,2,4,6
/proc/21486/stat : 21486 (claspmt) R 21484 21486 21348 0 -1 4202496 814973 0 0 0 447503 378 0 0 25 0 4 0 517731870 3289575424 775160 33554432000 4194304 4964704 140733557370208 18446744073709551615 4313761 0 0 4096 18946 18446744073709551615 0 0 17 2 0 0 0
/proc/21486/statm: 803119 775160 454 189 0 797468 0
[pid=21486/tid=21489] ppid=21484 vsize=3212476 CPUtime=1114.81 cores=0,2,4,6
/proc/21486/task/21489/stat : 21489 (claspmt) R 21484 21486 21348 0 -1 4202560 58609 0 0 0 111437 44 0 0 25 0 4 0 517731996 3289575424 775160 33554432000 4194304 4964704 140733557370208 18446744073709551615 4668820 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=21486/tid=21490] ppid=21484 vsize=3212476 CPUtime=1120.95 cores=0,2,4,6
/proc/21486/task/21490/stat : 21490 (claspmt) R 21484 21486 21348 0 -1 4202560 412646 0 0 0 111885 210 0 0 25 0 4 0 517731996 3289575424 775160 33554432000 4194304 4964704 140733557370208 18446744073709551615 4647742 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=21486/tid=21491] ppid=21484 vsize=3212476 CPUtime=1121.03 cores=0,2,4,6
/proc/21486/task/21491/stat : 21491 (claspmt) R 21484 21486 21348 0 -1 4202560 249274 0 0 0 112021 82 0 0 25 0 4 0 517731996 3289575424 775160 33554432000 4194304 4964704 140733557370208 18446744073709551615 4668942 0 0 4096 18946 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4478.81
Current children cumulated vsize (KiB) 3212476

[startup+1182.3 s]
/proc/loadavg: 8.14 8.10 8.01 9/184 21531
/proc/meminfo: memFree=14517324/32951124 swapFree=67051468/67111528
[pid=21486] ppid=21484 vsize=3398844 CPUtime=4718.48 cores=0,2,4,6
/proc/21486/stat : 21486 (claspmt) R 21484 21486 21348 0 -1 4202496 850307 0 0 0 471458 390 0 0 25 0 4 0 517731870 3480416256 810494 33554432000 4194304 4964704 140733557370208 18446744073709551615 4627204 0 0 4096 18946 18446744073709551615 0 0 17 2 0 0 0
/proc/21486/statm: 849711 810494 454 189 0 844060 0
[pid=21486/tid=21489] ppid=21484 vsize=3398844 CPUtime=1174.48 cores=0,2,4,6
/proc/21486/task/21489/stat : 21489 (claspmt) R 21484 21486 21348 0 -1 4202560 58609 0 0 0 117404 44 0 0 25 0 4 0 517731996 3480416256 810494 33554432000 4194304 4964704 140733557370208 18446744073709551615 4342167 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=21486/tid=21490] ppid=21484 vsize=3398844 CPUtime=1180.95 cores=0,2,4,6
/proc/21486/task/21490/stat : 21490 (claspmt) R 21484 21486 21348 0 -1 4202560 434137 0 0 0 117876 219 0 0 25 0 4 0 517731996 3480416256 810494 33554432000 4194304 4964704 140733557370208 18446744073709551615 4313799 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=21486/tid=21491] ppid=21484 vsize=3398844 CPUtime=1181.03 cores=0,2,4,6
/proc/21486/task/21491/stat : 21491 (claspmt) R 21484 21486 21348 0 -1 4202560 263117 0 0 0 118018 85 0 0 25 0 4 0 517731996 3480416256 810494 33554432000 4194304 4964704 140733557370208 18446744073709551615 4670215 0 0 4096 18946 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4718.48
Current children cumulated vsize (KiB) 3398844



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1202.81 s]
/proc/loadavg: 8.10 8.10 8.01 9/184 21532
/proc/meminfo: memFree=14301920/32951124 swapFree=67051468/67111528
[pid=21486] ppid=21484 vsize=3416252 CPUtime=4800.4 cores=0,2,4,6
/proc/21486/stat : 21486 (claspmt) R 21484 21486 21348 0 -1 4202496 868741 0 0 0 479643 397 0 0 25 0 4 0 517731870 3498242048 828928 33554432000 4194304 4964704 140733557370208 18446744073709551615 4668931 0 0 4096 18946 18446744073709551615 0 0 17 2 0 0 0
/proc/21486/statm: 854063 828928 454 189 0 848412 0
[pid=21486/tid=21489] ppid=21484 vsize=3416252 CPUtime=1194.87 cores=0,2,4,6
/proc/21486/task/21489/stat : 21489 (claspmt) R 21484 21486 21348 0 -1 4202560 58609 0 0 0 119443 44 0 0 25 0 4 0 517731996 3498242048 828928 33554432000 4194304 4964704 140733557370208 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=21486/tid=21490] ppid=21484 vsize=3416252 CPUtime=1201.46 cores=0,2,4,6
/proc/21486/task/21490/stat : 21490 (claspmt) R 21484 21486 21348 0 -1 4202560 448096 0 0 0 119921 225 0 0 25 0 4 0 517731996 3498242048 828928 33554432000 4194304 4964704 140733557370208 18446744073709551615 4668488 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=21486/tid=21491] ppid=21484 vsize=3416252 CPUtime=1201.54 cores=0,2,4,6
/proc/21486/task/21491/stat : 21491 (claspmt) R 21484 21486 21348 0 -1 4202560 267592 0 0 0 120068 86 0 0 25 0 4 0 517731996 3498242048 828928 33554432000 4194304 4964704 140733557370208 18446744073709551615 4321079 0 0 4096 18946 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4800.4
Current children cumulated vsize (KiB) 3416252

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

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

[startup+1203.1 s]
/proc/loadavg: 8.10 8.10 8.01 9/184 21532
/proc/meminfo: memFree=14301920/32951124 swapFree=67051468/67111528
[pid=21486] ppid=21484 vsize=3212984 CPUtime=4800.7 cores=0,2,4,6
/proc/21486/stat : 21486 (claspmt) R 21484 21486 21348 0 -1 4202496 868768 0 0 0 479672 398 0 0 25 0 1 0 517731870 3290095616 770268 33554432000 4194304 4964704 140733557370208 18446744073709551615 4646575 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/21486/statm: 803246 770268 465 189 0 797595 0
Current children cumulated CPU time (s) 4800.7
Current children cumulated vsize (KiB) 3212984

[startup+1203.2 s]
/proc/loadavg: 8.10 8.10 8.01 9/184 21532
/proc/meminfo: memFree=14301920/32951124 swapFree=67051468/67111528
[pid=21486] ppid=21484 vsize=1443512 CPUtime=4800.8 cores=0,2,4,6
/proc/21486/stat : 21486 (claspmt) R 21484 21486 21348 0 -1 4202496 868768 0 0 0 479675 405 0 0 25 0 1 0 517731870 1478156288 321410 33554432000 4194304 4964704 140733557370208 18446744073709551615 218370614254 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/21486/statm: 360878 321410 465 189 0 355227 0
Current children cumulated CPU time (s) 4800.8
Current children cumulated vsize (KiB) 1443512

Child status: 0
Real time (s): 1203.28
CPU time (s): 4800.89
CPU user time (s): 4796.78
CPU system time (s): 4.10938
CPU usage (%): 398.984
Max. virtual memory (cumulated for all children) (KiB): 3416252

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4796.78
system time used= 4.10938
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 868769
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= 1976
involuntary context switches= 21604

runsolver used 1.91471 second user time and 4.65629 second system time

The end

Launcher Data 

Begin job on node101 at 2011-04-29 09:14:51
IDJOB=3299740
IDBENCH=82387
IDSOLVER=1683
FILE ID=node101/3299740-1304061288
RUNJOBID= node101-1304060083-21366
PBS_JOBID= 13170449
Free space on /tmp= 71888 MiB

SOLVER NAME= claspmt 2.0-R4095
BENCH NAME= SAT11/application/rintanen/SATPlanning/transport-transport-three-cities-sequential-14nodes-1000size-4degree-100mindistance-4trucks-14packages-2008seed.020-NOTKNOWN.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-3299740-1304061288/watcher-3299740-1304061288 -o /tmp/evaluation-result-3299740-1304061288/solver-3299740-1304061288 -C 4800 -W 1300 -M 15500  HOME/claspmt -t4 -p HOME/sat11-port.txt --distribute=all,2 HOME/instance-3299740-1304061288.cnf

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

MD5SUM BENCH= 5d1253e2dcc0e3e55992672756beadbc
RANDOM SEED=1336104065

node101.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.841
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.68
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.841
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.07
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.841
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.77
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.841
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.841
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.74
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.841
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.841
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.841
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:      25229108 kB
Buffers:       2016772 kB
Cached:        5220624 kB
SwapCached:      30452 kB
Active:        3010520 kB
Inactive:      4264660 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      25229108 kB
SwapTotal:    67111528 kB
SwapFree:     67051468 kB
Dirty:          140480 kB
Writeback:           0 kB
AnonPages:       28752 kB
Mapped:           8652 kB
Slab:           383044 kB
PageTables:       4740 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   191112 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= 71780 MiB
End job on node101 at 2011-04-29 09:34:56