Trace number 3299523

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.46 1201.84

General information on the benchmark

NameSAT04/handmade/marijn/equilarge-l/
equilarge_l2.used-as.sat04-894.cnf
MD5SUMb3ddb2ee2bb2b83e1c98b2a9018351fc
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark590.41
Satisfiable
(Un)Satisfiability was proved
Number of variables4487
Number of clauses18555
Sum of the clauses size54310
Maximum clause length3
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 21355
Number of clauses of size 317200
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50

Solver Data 

0.00/0.01	c clasp version 2.0.0-RC2
0.00/0.01	c Reading from ...655692/instance-3299523-1307655692.cnf
0.00/0.05	c Solving...
4800.40/1201.81	
4800.40/1201.81	*** INTERRUPTED! ***
4800.40/1201.81	*** Shutting down threads...
4800.40/1201.83	s UNKNOWN
4800.40/1201.83	
4800.40/1201.83	c INTERRUPTED   : 1
4800.40/1201.83	c Models        : 0+    
4800.40/1201.83	c Time          : 1201.797s (Solving: 1201.76s 1st Model: 0.00s Unsat: 0.00s)
4800.40/1201.83	c CPU Time      : 4800.430s

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

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

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

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


[startup+0 s]
/proc/loadavg: 7.46 7.89 6.30 2/176 466
/proc/meminfo: memFree=32139664/32950928 swapFree=67051096/67111528
[pid=466] ppid=456 vsize=3200 CPUtime=0 cores=1,3,5,7
/proc/466/stat : 466 (claspmt) S 456 466 30485 0 -1 4194304 82 0 0 0 0 0 0 0 22 0 1 0 955799896 3276800 36 33554432000 4194304 4964704 140736144248512 18446744073709551615 251362623111 0 2147483391 4096 0 18446744071699199166 0 0 17 3 0 0 0
/proc/466/statm: 800 36 27 189 0 25 0

[startup+0.0865639 s]
/proc/loadavg: 7.46 7.89 6.30 2/176 466
/proc/meminfo: memFree=32139664/32950928 swapFree=67051096/67111528
[pid=466] ppid=456 vsize=172644 CPUtime=0.14 cores=1,3,5,7
/proc/466/stat : 466 (claspmt) R 456 466 30485 0 -1 4202496 2876 0 0 0 14 0 0 0 18 0 4 0 955799896 176787456 2498 33554432000 4194304 4964704 140736144248512 18446744073709551615 4668609 0 0 4096 18946 18446744073709551615 0 0 17 1 0 0 0
/proc/466/statm: 43161 2498 454 189 0 37510 0
Current children cumulated CPU time (s) 0.14
Current children cumulated vsize (KiB) 172644

[startup+0.100561 s]
/proc/loadavg: 7.46 7.89 6.30 2/176 466
/proc/meminfo: memFree=32139664/32950928 swapFree=67051096/67111528
[pid=466] ppid=456 vsize=172644 CPUtime=0.2 cores=1,3,5,7
/proc/466/stat : 466 (claspmt) R 456 466 30485 0 -1 4202496 2925 0 0 0 20 0 0 0 18 0 4 0 955799896 176787456 2547 33554432000 4194304 4964704 140736144248512 18446744073709551615 251367207969 0 0 4096 18946 18446744073709551615 0 0 17 1 0 0 0
/proc/466/statm: 43161 2548 457 189 0 37510 0
Current children cumulated CPU time (s) 0.2
Current children cumulated vsize (KiB) 172644

[startup+0.300525 s]
/proc/loadavg: 7.46 7.89 6.30 2/176 466
/proc/meminfo: memFree=32139664/32950928 swapFree=67051096/67111528
[pid=466] ppid=456 vsize=173172 CPUtime=1 cores=1,3,5,7
/proc/466/stat : 466 (claspmt) R 456 466 30485 0 -1 4202496 3368 0 0 0 100 0 0 0 19 0 4 0 955799896 177328128 2990 33554432000 4194304 4964704 140736144248512 18446744073709551615 4670219 0 0 4096 18946 18446744073709551615 0 0 17 1 0 0 0
/proc/466/statm: 43293 2990 458 189 0 37642 0
Current children cumulated CPU time (s) 1
Current children cumulated vsize (KiB) 173172

[startup+0.700453 s]
/proc/loadavg: 7.46 7.89 6.30 2/176 466
/proc/meminfo: memFree=32139664/32950928 swapFree=67051096/67111528
[pid=466] ppid=456 vsize=174628 CPUtime=2.6 cores=1,3,5,7
/proc/466/stat : 466 (claspmt) R 456 466 30485 0 -1 4202496 4274 0 0 0 260 0 0 0 19 0 4 0 955799896 178819072 3896 33554432000 4194304 4964704 140736144248512 18446744073709551615 4668488 0 0 4096 18946 18446744073709551615 0 0 17 1 0 0 0
/proc/466/statm: 43657 3896 458 189 0 38006 0
Current children cumulated CPU time (s) 2.6
Current children cumulated vsize (KiB) 174628

[startup+1.5003 s]
/proc/loadavg: 7.46 7.89 6.30 9/184 476
/proc/meminfo: memFree=32118200/32950928 swapFree=67051096/67111528
[pid=466] ppid=456 vsize=175028 CPUtime=5.8 cores=1,3,5,7
/proc/466/stat : 466 (claspmt) R 456 466 30485 0 -1 4202496 4804 0 0 0 579 1 0 0 21 0 4 0 955799896 179228672 4426 33554432000 4194304 4964704 140736144248512 18446744073709551615 4670219 0 0 4096 18946 18446744073709551615 0 0 17 1 0 0 0
/proc/466/statm: 43757 4426 458 189 0 38106 0
[pid=466/tid=474] ppid=456 vsize=175028 CPUtime=1.43 cores=1,3,5,7
/proc/466/task/474/stat : 474 (claspmt) R 456 466 30485 0 -1 4202560 900 0 0 0 143 0 0 0 20 0 4 0 955799902 179228672 4426 33554432000 4194304 4964704 140736144248512 18446744073709551615 4670215 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=466/tid=475] ppid=456 vsize=175028 CPUtime=1.43 cores=1,3,5,7
/proc/466/task/475/stat : 475 (claspmt) R 456 466 30485 0 -1 4202560 803 0 0 0 143 0 0 0 23 0 4 0 955799902 179228672 4426 33554432000 4194304 4964704 140736144248512 18446744073709551615 4670266 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=466/tid=476] ppid=456 vsize=175028 CPUtime=1.43 cores=1,3,5,7
/proc/466/task/476/stat : 476 (claspmt) R 456 466 30485 0 -1 4202560 817 0 0 0 143 0 0 0 23 0 4 0 955799902 179228672 4426 33554432000 4194304 4964704 140736144248512 18446744073709551615 4342228 0 0 4096 18946 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 5.8
Current children cumulated vsize (KiB) 175028

[startup+3.10101 s]
/proc/loadavg: 7.46 7.89 6.30 9/184 476
/proc/meminfo: memFree=32110760/32950928 swapFree=67051096/67111528
[pid=466] ppid=456 vsize=177448 CPUtime=12.19 cores=1,3,5,7
/proc/466/stat : 466 (claspmt) R 456 466 30485 0 -1 4202496 6303 0 0 0 1218 1 0 0 25 0 4 0 955799896 181706752 5925 33554432000 4194304 4964704 140736144248512 18446744073709551615 4670228 0 0 4096 18946 18446744073709551615 0 0 17 1 0 0 0
/proc/466/statm: 44362 5925 458 189 0 38711 0
[pid=466/tid=474] ppid=456 vsize=177448 CPUtime=3.03 cores=1,3,5,7
/proc/466/task/474/stat : 474 (claspmt) R 456 466 30485 0 -1 4202560 1152 0 0 0 303 0 0 0 25 0 4 0 955799902 181706752 5925 33554432000 4194304 4964704 140736144248512 18446744073709551615 4668609 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=466/tid=475] ppid=456 vsize=177448 CPUtime=3.03 cores=1,3,5,7
/proc/466/task/475/stat : 475 (claspmt) R 456 466 30485 0 -1 4202560 1182 0 0 0 303 0 0 0 25 0 4 0 955799902 181706752 5925 33554432000 4194304 4964704 140736144248512 18446744073709551615 4660364 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=466/tid=476] ppid=456 vsize=177448 CPUtime=3.03 cores=1,3,5,7
/proc/466/task/476/stat : 476 (claspmt) R 456 466 30485 0 -1 4202560 1162 0 0 0 303 0 0 0 25 0 4 0 955799902 181706752 5925 33554432000 4194304 4964704 140736144248512 18446744073709551615 4669119 0 0 4096 18946 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 12.19
Current children cumulated vsize (KiB) 177448

[startup+6.30042 s]
/proc/loadavg: 7.50 7.89 6.31 9/184 476
/proc/meminfo: memFree=32097696/32950928 swapFree=67051096/67111528
[pid=466] ppid=456 vsize=180512 CPUtime=24.98 cores=1,3,5,7
/proc/466/stat : 466 (claspmt) R 456 466 30485 0 -1 4202496 7918 0 0 0 2496 2 0 0 25 0 4 0 955799896 184844288 7540 33554432000 4194304 4964704 140736144248512 18446744073709551615 4668686 0 0 4096 18946 18446744073709551615 0 0 17 1 0 0 0
/proc/466/statm: 45128 7540 460 189 0 39477 0
[pid=466/tid=474] ppid=456 vsize=180512 CPUtime=6.23 cores=1,3,5,7
/proc/466/task/474/stat : 474 (claspmt) R 456 466 30485 0 -1 4202560 1722 0 0 0 623 0 0 0 25 0 4 0 955799902 184844288 7540 33554432000 4194304 4964704 140736144248512 18446744073709551615 4668488 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=466/tid=475] ppid=456 vsize=180512 CPUtime=6.21 cores=1,3,5,7
/proc/466/task/475/stat : 475 (claspmt) R 456 466 30485 0 -1 4202560 1637 0 0 0 621 0 0 0 25 0 4 0 955799902 184844288 7540 33554432000 4194304 4964704 140736144248512 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=466/tid=476] ppid=456 vsize=180512 CPUtime=6.23 cores=1,3,5,7
/proc/466/task/476/stat : 476 (claspmt) R 456 466 30485 0 -1 4202560 1415 0 0 0 623 0 0 0 25 0 4 0 955799902 184844288 7540 33554432000 4194304 4964704 140736144248512 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 24.98
Current children cumulated vsize (KiB) 180512

[startup+12.7002 s]
/proc/loadavg: 7.54 7.89 6.32 9/184 477
/proc/meminfo: memFree=32082212/32950928 swapFree=67051096/67111528
[pid=466] ppid=456 vsize=183256 CPUtime=50.53 cores=1,3,5,7
/proc/466/stat : 466 (claspmt) R 456 466 30485 0 -1 4202496 9976 0 0 0 5050 3 0 0 25 0 4 0 955799896 187654144 9598 33554432000 4194304 4964704 140736144248512 18446744073709551615 4670215 0 0 4096 18946 18446744073709551615 0 0 17 1 0 0 0
/proc/466/statm: 45814 9598 460 189 0 40163 0
[pid=466/tid=474] ppid=456 vsize=183256 CPUtime=12.63 cores=1,3,5,7
/proc/466/task/474/stat : 474 (claspmt) R 456 466 30485 0 -1 4202560 2268 0 0 0 1263 0 0 0 25 0 4 0 955799902 187654144 9598 33554432000 4194304 4964704 140736144248512 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=466/tid=475] ppid=456 vsize=183256 CPUtime=12.57 cores=1,3,5,7
/proc/466/task/475/stat : 475 (claspmt) R 456 466 30485 0 -1 4202560 2161 0 0 0 1256 1 0 0 25 0 4 0 955799902 187654144 9598 33554432000 4194304 4964704 140736144248512 18446744073709551615 4669270 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=466/tid=476] ppid=456 vsize=183256 CPUtime=12.63 cores=1,3,5,7
/proc/466/task/476/stat : 476 (claspmt) R 456 466 30485 0 -1 4202560 1782 0 0 0 1263 0 0 0 25 0 4 0 955799902 187654144 9598 33554432000 4194304 4964704 140736144248512 18446744073709551615 4670184 0 0 4096 18946 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 50.53
Current children cumulated vsize (KiB) 183256

[startup+25.5009 s]
/proc/loadavg: 7.64 7.89 6.35 9/184 477
/proc/meminfo: memFree=32063872/32950928 swapFree=67051096/67111528
[pid=466] ppid=456 vsize=186516 CPUtime=101.66 cores=1,3,5,7
/proc/466/stat : 466 (claspmt) R 456 466 30485 0 -1 4202496 13357 0 0 0 10161 5 0 0 19 0 4 0 955799896 190992384 12895 33554432000 4194304 4964704 140736144248512 18446744073709551615 4364587 0 0 4096 18946 18446744073709551615 0 0 17 1 0 0 0
/proc/466/statm: 46629 12895 460 189 0 40978 0
[pid=466/tid=474] ppid=456 vsize=186516 CPUtime=25.44 cores=1,3,5,7
/proc/466/task/474/stat : 474 (claspmt) R 456 466 30485 0 -1 4202560 3104 0 0 0 2543 1 0 0 25 0 4 0 955799902 190992384 12895 33554432000 4194304 4964704 140736144248512 18446744073709551615 4320905 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=466/tid=475] ppid=456 vsize=186516 CPUtime=25.29 cores=1,3,5,7
/proc/466/task/475/stat : 475 (claspmt) R 456 466 30485 0 -1 4202560 3141 0 0 0 2528 1 0 0 25 0 4 0 955799902 190992384 12895 33554432000 4194304 4964704 140736144248512 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=466/tid=476] ppid=456 vsize=186516 CPUtime=25.43 cores=1,3,5,7
/proc/466/task/476/stat : 476 (claspmt) R 456 466 30485 0 -1 4202560 2485 0 0 0 2543 0 0 0 25 0 4 0 955799902 190992384 12895 33554432000 4194304 4964704 140736144248512 18446744073709551615 4670590 0 0 4096 18946 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 101.66
Current children cumulated vsize (KiB) 186516

[startup+51.1011 s]
/proc/loadavg: 7.83 7.92 6.39 9/184 478
/proc/meminfo: memFree=32047564/32950928 swapFree=67051096/67111528
[pid=466] ppid=456 vsize=192792 CPUtime=203.92 cores=1,3,5,7
/proc/466/stat : 466 (claspmt) R 456 466 30485 0 -1 4202496 16308 0 0 0 20384 8 0 0 25 0 4 0 955799896 197419008 15834 33554432000 4194304 4964704 140736144248512 18446744073709551615 4670228 0 0 4096 18946 18446744073709551615 0 0 17 1 0 0 0
/proc/466/statm: 48198 15834 460 189 0 42547 0
[pid=466/tid=474] ppid=456 vsize=192792 CPUtime=51.03 cores=1,3,5,7
/proc/466/task/474/stat : 474 (claspmt) R 456 466 30485 0 -1 4202560 4294 0 0 0 5102 1 0 0 25 0 4 0 955799902 197419008 15834 33554432000 4194304 4964704 140736144248512 18446744073709551615 4364587 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=466/tid=475] ppid=456 vsize=192792 CPUtime=50.76 cores=1,3,5,7
/proc/466/task/475/stat : 475 (claspmt) R 456 466 30485 0 -1 4202560 3645 0 0 0 5074 2 0 0 25 0 4 0 955799902 197419008 15834 33554432000 4194304 4964704 140736144248512 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=466/tid=476] ppid=456 vsize=192792 CPUtime=51.03 cores=1,3,5,7
/proc/466/task/476/stat : 476 (claspmt) R 456 466 30485 0 -1 4202560 3019 0 0 0 5102 1 0 0 25 0 4 0 955799902 197419008 15834 33554432000 4194304 4964704 140736144248512 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 203.92
Current children cumulated vsize (KiB) 192792

[startup+102.307 s]
/proc/loadavg: 7.97 7.94 6.48 9/184 520
/proc/meminfo: memFree=32009444/32950928 swapFree=67051096/67111528
[pid=466] ppid=456 vsize=195088 CPUtime=408.44 cores=1,3,5,7
/proc/466/stat : 466 (claspmt) R 456 466 30485 0 -1 4202496 19590 0 0 0 40832 12 0 0 25 0 4 0 955799896 199770112 19072 33554432000 4194304 4964704 140736144248512 18446744073709551615 4668547 0 0 4096 18946 18446744073709551615 0 0 17 1 0 0 0
/proc/466/statm: 48772 19072 460 189 0 43121 0
[pid=466/tid=474] ppid=456 vsize=195088 CPUtime=102.23 cores=1,3,5,7
/proc/466/task/474/stat : 474 (claspmt) R 456 466 30485 0 -1 4202560 5076 0 0 0 10221 2 0 0 25 0 4 0 955799902 199770112 19072 33554432000 4194304 4964704 140736144248512 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=466/tid=475] ppid=456 vsize=195088 CPUtime=101.95 cores=1,3,5,7
/proc/466/task/475/stat : 475 (claspmt) R 456 466 30485 0 -1 4202560 4325 0 0 0 10192 3 0 0 25 0 4 0 955799902 199770112 19072 33554432000 4194304 4964704 140736144248512 18446744073709551615 4669119 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=466/tid=476] ppid=456 vsize=195088 CPUtime=101.96 cores=1,3,5,7
/proc/466/task/476/stat : 476 (claspmt) R 456 466 30485 0 -1 4202560 3945 0 0 0 10194 2 0 0 25 0 4 0 955799902 199770112 19072 33554432000 4194304 4964704 140736144248512 18446744073709551615 4670233 0 0 4096 18946 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 408.44
Current children cumulated vsize (KiB) 195088

[startup+162.3 s]
/proc/loadavg: 8.03 7.97 6.58 9/184 521
/proc/meminfo: memFree=31978036/32950928 swapFree=67051096/67111528
[pid=466] ppid=456 vsize=199220 CPUtime=648.09 cores=1,3,5,7
/proc/466/stat : 466 (claspmt) R 456 466 30485 0 -1 4202496 22638 0 0 0 64792 17 0 0 25 0 4 0 955799896 204001280 22087 33554432000 4194304 4964704 140736144248512 18446744073709551615 4670266 0 0 4096 18946 18446744073709551615 0 0 17 1 0 0 0
/proc/466/statm: 49805 22087 460 189 0 44154 0
[pid=466/tid=474] ppid=456 vsize=199220 CPUtime=162.22 cores=1,3,5,7
/proc/466/task/474/stat : 474 (claspmt) R 456 466 30485 0 -1 4202560 5697 0 0 0 16219 3 0 0 25 0 4 0 955799902 204001280 22087 33554432000 4194304 4964704 140736144248512 18446744073709551615 4362287 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=466/tid=475] ppid=456 vsize=199220 CPUtime=161.94 cores=1,3,5,7
/proc/466/task/475/stat : 475 (claspmt) R 456 466 30485 0 -1 4202560 5253 0 0 0 16190 4 0 0 25 0 4 0 955799902 204001280 22087 33554432000 4194304 4964704 140736144248512 18446744073709551615 4670255 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=466/tid=476] ppid=456 vsize=199220 CPUtime=161.64 cores=1,3,5,7
/proc/466/task/476/stat : 476 (claspmt) R 456 466 30485 0 -1 4202560 4795 0 0 0 16160 4 0 0 25 0 4 0 955799902 204001280 22087 33554432000 4194304 4964704 140736144248512 18446744073709551615 4320848 0 0 4096 18946 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 648.09
Current children cumulated vsize (KiB) 199220

[startup+222.3 s]
/proc/loadavg: 8.10 8.00 6.67 9/184 523
/proc/meminfo: memFree=31963112/32950928 swapFree=67051096/67111528
[pid=466] ppid=456 vsize=201248 CPUtime=887.74 cores=1,3,5,7
/proc/466/stat : 466 (claspmt) R 456 466 30485 0 -1 4202496 23942 0 0 0 88755 19 0 0 25 0 4 0 955799896 206077952 23358 33554432000 4194304 4964704 140736144248512 18446744073709551615 4670230 0 0 4096 18946 18446744073709551615 0 0 17 1 0 0 0
/proc/466/statm: 50312 23358 460 189 0 44661 0
[pid=466/tid=474] ppid=456 vsize=201248 CPUtime=222.22 cores=1,3,5,7
/proc/466/task/474/stat : 474 (claspmt) R 456 466 30485 0 -1 4202560 6186 0 0 0 22218 4 0 0 25 0 4 0 955799902 206077952 23358 33554432000 4194304 4964704 140736144248512 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=466/tid=475] ppid=456 vsize=201248 CPUtime=221.93 cores=1,3,5,7
/proc/466/task/475/stat : 475 (claspmt) R 456 466 30485 0 -1 4202560 5548 0 0 0 22189 4 0 0 25 0 4 0 955799902 206077952 23358 33554432000 4194304 4964704 140736144248512 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=466/tid=476] ppid=456 vsize=201248 CPUtime=221.3 cores=1,3,5,7
/proc/466/task/476/stat : 476 (claspmt) R 456 466 30485 0 -1 4202560 4940 0 0 0 22126 4 0 0 25 0 4 0 955799902 206077952 23358 33554432000 4194304 4964704 140736144248512 18446744073709551615 4670233 0 0 4096 18946 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 887.74
Current children cumulated vsize (KiB) 201248

[startup+282.3 s]

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

[pid=466] ppid=456 vsize=273388 CPUtime=2565.46 cores=1,3,5,7
/proc/466/stat : 466 (claspmt) R 456 466 30485 0 -1 4202496 35929 0 0 0 256507 39 0 0 25 0 4 0 955799896 279949312 34981 33554432000 4194304 4964704 140736144248512 18446744073709551615 4670252 0 0 4096 18946 18446744073709551615 0 0 17 1 0 0 0
/proc/466/statm: 68347 34981 460 189 0 62696 0
[pid=466/tid=474] ppid=456 vsize=273388 CPUtime=642.22 cores=1,3,5,7
/proc/466/task/474/stat : 474 (claspmt) R 456 466 30485 0 -1 4202560 10160 0 0 0 64212 10 0 0 25 0 4 0 955799902 279949312 34981 33554432000 4194304 4964704 140736144248512 18446744073709551615 4670243 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=466/tid=475] ppid=456 vsize=273388 CPUtime=641.93 cores=1,3,5,7
/proc/466/task/475/stat : 475 (claspmt) R 456 466 30485 0 -1 4202560 8254 0 0 0 64184 9 0 0 25 0 4 0 955799902 279949312 34981 33554432000 4194304 4964704 140736144248512 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=466/tid=476] ppid=456 vsize=273388 CPUtime=639.03 cores=1,3,5,7
/proc/466/task/476/stat : 476 (claspmt) R 456 466 30485 0 -1 4202560 5950 0 0 0 63896 7 0 0 25 0 4 0 955799902 279949312 34981 33554432000 4194304 4964704 140736144248512 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2565.46
Current children cumulated vsize (KiB) 273388

[startup+702.3 s]
/proc/loadavg: 8.21 8.08 7.22 9/184 536
/proc/meminfo: memFree=31878252/32950928 swapFree=67051096/67111528
[pid=466] ppid=456 vsize=276040 CPUtime=2805.12 cores=1,3,5,7
/proc/466/stat : 466 (claspmt) R 456 466 30485 0 -1 4202496 36593 0 0 0 280473 39 0 0 25 0 4 0 955799896 282664960 35623 33554432000 4194304 4964704 140736144248512 18446744073709551615 4668654 0 0 4096 18946 18446744073709551615 0 0 17 1 0 0 0
/proc/466/statm: 69010 35623 460 189 0 63359 0
[pid=466/tid=474] ppid=456 vsize=276040 CPUtime=702.21 cores=1,3,5,7
/proc/466/task/474/stat : 474 (claspmt) R 456 466 30485 0 -1 4202560 10725 0 0 0 70211 10 0 0 25 0 4 0 955799902 282664960 35623 33554432000 4194304 4964704 140736144248512 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=466/tid=475] ppid=456 vsize=276040 CPUtime=701.93 cores=1,3,5,7
/proc/466/task/475/stat : 475 (claspmt) R 456 466 30485 0 -1 4202560 8260 0 0 0 70184 9 0 0 25 0 4 0 955799902 282664960 35623 33554432000 4194304 4964704 140736144248512 18446744073709551615 4668931 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=466/tid=476] ppid=456 vsize=276040 CPUtime=698.7 cores=1,3,5,7
/proc/466/task/476/stat : 476 (claspmt) R 456 466 30485 0 -1 4202560 6030 0 0 0 69863 7 0 0 25 0 4 0 955799902 282664960 35623 33554432000 4194304 4964704 140736144248512 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2805.12
Current children cumulated vsize (KiB) 276040

[startup+762.306 s]
/proc/loadavg: 8.13 8.07 7.28 9/184 538
/proc/meminfo: memFree=31873880/32950928 swapFree=67051096/67111528
[pid=466] ppid=456 vsize=276924 CPUtime=3044.82 cores=1,3,5,7
/proc/466/stat : 466 (claspmt) R 456 466 30485 0 -1 4202496 37419 0 0 0 304442 40 0 0 25 0 4 0 955799896 283570176 36342 33554432000 4194304 4964704 140736144248512 18446744073709551615 4325352 0 0 4096 18946 18446744073709551615 0 0 17 1 0 0 0
/proc/466/statm: 69231 36342 460 189 0 63580 0
[pid=466/tid=474] ppid=456 vsize=276924 CPUtime=762.1 cores=1,3,5,7
/proc/466/task/474/stat : 474 (claspmt) R 456 466 30485 0 -1 4202560 11042 0 0 0 76199 11 0 0 25 0 4 0 955799902 283570176 36342 33554432000 4194304 4964704 140736144248512 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=466/tid=475] ppid=456 vsize=276924 CPUtime=761.93 cores=1,3,5,7
/proc/466/task/475/stat : 475 (claspmt) R 456 466 30485 0 -1 4202560 8655 0 0 0 76184 9 0 0 25 0 4 0 955799902 283570176 36342 33554432000 4194304 4964704 140736144248512 18446744073709551615 4670215 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=466/tid=476] ppid=456 vsize=276924 CPUtime=758.49 cores=1,3,5,7
/proc/466/task/476/stat : 476 (claspmt) R 456 466 30485 0 -1 4202560 6030 0 0 0 75842 7 0 0 25 0 4 0 955799902 283570176 36342 33554432000 4194304 4964704 140736144248512 18446744073709551615 4669270 0 0 4096 18946 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3044.82
Current children cumulated vsize (KiB) 276924

[startup+822.301 s]
/proc/loadavg: 8.10 8.07 7.32 9/184 539
/proc/meminfo: memFree=31869260/32950928 swapFree=67051096/67111528
[pid=466] ppid=456 vsize=277400 CPUtime=3284.47 cores=1,3,5,7
/proc/466/stat : 466 (claspmt) R 456 466 30485 0 -1 4202496 37931 0 0 0 328406 41 0 0 25 0 4 0 955799896 284057600 36782 33554432000 4194304 4964704 140736144248512 18446744073709551615 4668709 0 0 4096 18946 18446744073709551615 0 0 17 1 0 0 0
/proc/466/statm: 69350 36782 460 189 0 63699 0
[pid=466/tid=474] ppid=456 vsize=277400 CPUtime=821.77 cores=1,3,5,7
/proc/466/task/474/stat : 474 (claspmt) R 456 466 30485 0 -1 4202560 11259 0 0 0 82166 11 0 0 25 0 4 0 955799902 284057600 36782 33554432000 4194304 4964704 140736144248512 18446744073709551615 4668488 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=466/tid=475] ppid=456 vsize=277400 CPUtime=821.92 cores=1,3,5,7
/proc/466/task/475/stat : 475 (claspmt) R 456 466 30485 0 -1 4202560 8915 0 0 0 82183 9 0 0 25 0 4 0 955799902 284057600 36782 33554432000 4194304 4964704 140736144248512 18446744073709551615 4320909 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=466/tid=476] ppid=456 vsize=277400 CPUtime=818.48 cores=1,3,5,7
/proc/466/task/476/stat : 476 (claspmt) R 456 466 30485 0 -1 4202560 6033 0 0 0 81841 7 0 0 25 0 4 0 955799902 284057600 36782 33554432000 4194304 4964704 140736144248512 18446744073709551615 4669349 0 0 4096 18946 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3284.47
Current children cumulated vsize (KiB) 277400

[startup+882.301 s]
/proc/loadavg: 8.04 8.06 7.36 9/184 541
/proc/meminfo: memFree=31862164/32950928 swapFree=67051096/67111528
[pid=466] ppid=456 vsize=280320 CPUtime=3524.13 cores=1,3,5,7
/proc/466/stat : 466 (claspmt) R 456 466 30485 0 -1 4202496 38972 0 0 0 352370 43 0 0 25 0 4 0 955799896 287047680 37784 33554432000 4194304 4964704 140736144248512 18446744073709551615 4670230 0 0 4096 18946 18446744073709551615 0 0 17 1 0 0 0
/proc/466/statm: 70080 37784 460 189 0 64429 0
[pid=466/tid=474] ppid=456 vsize=280320 CPUtime=881.44 cores=1,3,5,7
/proc/466/task/474/stat : 474 (claspmt) R 456 466 30485 0 -1 4202560 11428 0 0 0 88133 11 0 0 25 0 4 0 955799902 287047680 37784 33554432000 4194304 4964704 140736144248512 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=466/tid=475] ppid=456 vsize=280320 CPUtime=881.92 cores=1,3,5,7
/proc/466/task/475/stat : 475 (claspmt) R 456 466 30485 0 -1 4202560 9717 0 0 0 88182 10 0 0 25 0 4 0 955799902 287047680 37784 33554432000 4194304 4964704 140736144248512 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=466/tid=476] ppid=456 vsize=280320 CPUtime=878.49 cores=1,3,5,7
/proc/466/task/476/stat : 476 (claspmt) R 456 466 30485 0 -1 4202560 6061 0 0 0 87841 8 0 0 25 0 4 0 955799902 287047680 37784 33554432000 4194304 4964704 140736144248512 18446744073709551615 4670260 0 0 4096 18946 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3524.13
Current children cumulated vsize (KiB) 280320

[startup+942.301 s]
/proc/loadavg: 8.08 8.06 7.40 9/184 542
/proc/meminfo: memFree=31847504/32950928 swapFree=67051096/67111528
[pid=466] ppid=456 vsize=280320 CPUtime=3763.81 cores=1,3,5,7
/proc/466/stat : 466 (claspmt) R 456 466 30485 0 -1 4202496 39103 0 0 0 376337 44 0 0 25 0 4 0 955799896 287047680 37867 33554432000 4194304 4964704 140736144248512 18446744073709551615 4320909 0 0 4096 18946 18446744073709551615 0 0 17 1 0 0 0
/proc/466/statm: 70080 37867 460 189 0 64429 0
[pid=466/tid=474] ppid=456 vsize=280320 CPUtime=941.12 cores=1,3,5,7
/proc/466/task/474/stat : 474 (claspmt) R 456 466 30485 0 -1 4202560 11508 0 0 0 94100 12 0 0 25 0 4 0 955799902 287047680 37867 33554432000 4194304 4964704 140736144248512 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=466/tid=475] ppid=456 vsize=280320 CPUtime=941.91 cores=1,3,5,7
/proc/466/task/475/stat : 475 (claspmt) R 456 466 30485 0 -1 4202560 9720 0 0 0 94181 10 0 0 25 0 4 0 955799902 287047680 37867 33554432000 4194304 4964704 140736144248512 18446744073709551615 4670266 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=466/tid=476] ppid=456 vsize=280320 CPUtime=938.49 cores=1,3,5,7
/proc/466/task/476/stat : 476 (claspmt) R 456 466 30485 0 -1 4202560 6084 0 0 0 93841 8 0 0 25 0 4 0 955799902 287047680 37867 33554432000 4194304 4964704 140736144248512 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3763.81
Current children cumulated vsize (KiB) 280320

[startup+1002.3 s]
/proc/loadavg: 8.09 8.06 7.44 9/184 544
/proc/meminfo: memFree=31840148/32950928 swapFree=67051096/67111528
[pid=466] ppid=456 vsize=280320 CPUtime=4003.49 cores=1,3,5,7
/proc/466/stat : 466 (claspmt) R 456 466 30485 0 -1 4202496 39603 0 0 0 400304 45 0 0 25 0 4 0 955799896 287047680 38307 33554432000 4194304 4964704 140736144248512 18446744073709551615 4312169 0 0 4096 18946 18446744073709551615 0 0 17 1 0 0 0
/proc/466/statm: 70080 38307 460 189 0 64429 0
[pid=466/tid=474] ppid=456 vsize=280320 CPUtime=1000.79 cores=1,3,5,7
/proc/466/task/474/stat : 474 (claspmt) R 456 466 30485 0 -1 4202560 11749 0 0 0 100067 12 0 0 25 0 4 0 955799902 287047680 38307 33554432000 4194304 4964704 140736144248512 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=466/tid=475] ppid=456 vsize=280320 CPUtime=1001.92 cores=1,3,5,7
/proc/466/task/475/stat : 475 (claspmt) R 456 466 30485 0 -1 4202560 9953 0 0 0 100181 11 0 0 25 0 4 0 955799902 287047680 38307 33554432000 4194304 4964704 140736144248512 18446744073709551615 4670454 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=466/tid=476] ppid=456 vsize=280320 CPUtime=998.49 cores=1,3,5,7
/proc/466/task/476/stat : 476 (claspmt) R 456 466 30485 0 -1 4202560 6092 0 0 0 99841 8 0 0 25 0 4 0 955799902 287047680 38307 33554432000 4194304 4964704 140736144248512 18446744073709551615 4669333 0 0 4096 18946 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4003.49
Current children cumulated vsize (KiB) 280320

[startup+1062.3 s]
/proc/loadavg: 8.14 8.08 7.49 9/184 545
/proc/meminfo: memFree=31832176/32950928 swapFree=67051096/67111528
[pid=466] ppid=456 vsize=280320 CPUtime=4243.17 cores=1,3,5,7
/proc/466/stat : 466 (claspmt) R 456 466 30485 0 -1 4202496 41497 0 0 0 424268 49 0 0 25 0 4 0 955799896 287047680 40156 33554432000 4194304 4964704 140736144248512 18446744073709551615 4668654 0 0 4096 18946 18446744073709551615 0 0 17 1 0 0 0
/proc/466/statm: 70080 40156 460 189 0 64429 0
[pid=466/tid=474] ppid=456 vsize=280320 CPUtime=1060.46 cores=1,3,5,7
/proc/466/task/474/stat : 474 (claspmt) R 456 466 30485 0 -1 4202560 11915 0 0 0 106034 12 0 0 25 0 4 0 955799902 287047680 40156 33554432000 4194304 4964704 140736144248512 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=466/tid=475] ppid=456 vsize=280320 CPUtime=1061.92 cores=1,3,5,7
/proc/466/task/475/stat : 475 (claspmt) R 456 466 30485 0 -1 4202560 11517 0 0 0 106178 14 0 0 25 0 4 0 955799902 287047680 40156 33554432000 4194304 4964704 140736144248512 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=466/tid=476] ppid=456 vsize=280320 CPUtime=1058.49 cores=1,3,5,7
/proc/466/task/476/stat : 476 (claspmt) R 456 466 30485 0 -1 4202560 6169 0 0 0 105841 8 0 0 25 0 4 0 955799902 287047680 40156 33554432000 4194304 4964704 140736144248512 18446744073709551615 4670219 0 0 4096 18946 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4243.17
Current children cumulated vsize (KiB) 280320

[startup+1122.3 s]
/proc/loadavg: 8.14 8.09 7.53 9/184 547
/proc/meminfo: memFree=31825564/32950928 swapFree=67051096/67111528
[pid=466] ppid=456 vsize=282080 CPUtime=4482.83 cores=1,3,5,7
/proc/466/stat : 466 (claspmt) R 456 466 30485 0 -1 4202496 42648 0 0 0 448232 51 0 0 25 0 4 0 955799896 288849920 41236 33554432000 4194304 4964704 140736144248512 18446744073709551615 4670419 0 0 4096 18946 18446744073709551615 0 0 17 1 0 0 0
/proc/466/statm: 70520 41236 460 189 0 64869 0
[pid=466/tid=474] ppid=456 vsize=282080 CPUtime=1120.13 cores=1,3,5,7
/proc/466/task/474/stat : 474 (claspmt) R 456 466 30485 0 -1 4202560 12346 0 0 0 112001 12 0 0 25 0 4 0 955799902 288849920 41236 33554432000 4194304 4964704 140736144248512 18446744073709551615 4669306 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=466/tid=475] ppid=456 vsize=282080 CPUtime=1121.92 cores=1,3,5,7
/proc/466/task/475/stat : 475 (claspmt) R 456 466 30485 0 -1 4202560 11571 0 0 0 112178 14 0 0 25 0 4 0 955799902 288849920 41236 33554432000 4194304 4964704 140736144248512 18446744073709551615 4670100 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=466/tid=476] ppid=456 vsize=282080 CPUtime=1118.49 cores=1,3,5,7
/proc/466/task/476/stat : 476 (claspmt) R 456 466 30485 0 -1 4202560 6833 0 0 0 111840 9 0 0 25 0 4 0 955799902 288849920 41236 33554432000 4194304 4964704 140736144248512 18446744073709551615 4660175 0 0 4096 18946 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4482.83
Current children cumulated vsize (KiB) 282080

[startup+1182.3 s]
/proc/loadavg: 8.19 8.12 7.57 9/184 558
/proc/meminfo: memFree=31821164/32950928 swapFree=67051096/67111528
[pid=466] ppid=456 vsize=282080 CPUtime=4722.5 cores=1,3,5,7
/proc/466/stat : 466 (claspmt) R 456 466 30485 0 -1 4202496 42853 0 0 0 472198 52 0 0 25 0 4 0 955799896 288849920 41418 33554432000 4194304 4964704 140736144248512 18446744073709551615 4333257 0 0 4096 18946 18446744073709551615 0 0 17 1 0 0 0
/proc/466/statm: 70520 41418 460 189 0 64869 0
[pid=466/tid=474] ppid=456 vsize=282080 CPUtime=1179.8 cores=1,3,5,7
/proc/466/task/474/stat : 474 (claspmt) R 456 466 30485 0 -1 4202560 12537 0 0 0 117968 12 0 0 25 0 4 0 955799902 288849920 41418 33554432000 4194304 4964704 140736144248512 18446744073709551615 4320947 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=466/tid=475] ppid=456 vsize=282080 CPUtime=1181.91 cores=1,3,5,7
/proc/466/task/475/stat : 475 (claspmt) R 456 466 30485 0 -1 4202560 11571 0 0 0 118177 14 0 0 25 0 4 0 955799902 288849920 41418 33554432000 4194304 4964704 140736144248512 18446744073709551615 4670233 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=466/tid=476] ppid=456 vsize=282080 CPUtime=1178.49 cores=1,3,5,7
/proc/466/task/476/stat : 476 (claspmt) R 456 466 30485 0 -1 4202560 6843 0 0 0 117840 9 0 0 25 0 4 0 955799902 288849920 41418 33554432000 4194304 4964704 140736144248512 18446744073709551615 4332009 0 0 4096 18946 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4722.5
Current children cumulated vsize (KiB) 282080



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.8 s]
/proc/loadavg: 8.28 8.14 7.59 9/184 558
/proc/meminfo: memFree=31820716/32950928 swapFree=67051096/67111528
[pid=466] ppid=456 vsize=282080 CPUtime=4800.4 cores=1,3,5,7
/proc/466/stat : 466 (claspmt) R 456 466 30485 0 -1 4202496 42994 0 0 0 479988 52 0 0 25 0 4 0 955799896 288849920 41548 33554432000 4194304 4964704 140736144248512 18446744073709551615 4670228 0 0 4096 18946 18446744073709551615 0 0 17 1 0 0 0
/proc/466/statm: 70520 41548 460 189 0 64869 0
[pid=466/tid=474] ppid=456 vsize=282080 CPUtime=1199.19 cores=1,3,5,7
/proc/466/task/474/stat : 474 (claspmt) R 456 466 30485 0 -1 4202560 12658 0 0 0 119907 12 0 0 25 0 4 0 955799902 288849920 41548 33554432000 4194304 4964704 140736144248512 18446744073709551615 4670255 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=466/tid=475] ppid=456 vsize=282080 CPUtime=1201.42 cores=1,3,5,7
/proc/466/task/475/stat : 475 (claspmt) R 456 466 30485 0 -1 4202560 11588 0 0 0 120128 14 0 0 25 0 4 0 955799902 288849920 41548 33554432000 4194304 4964704 140736144248512 18446744073709551615 4670165 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=466/tid=476] ppid=456 vsize=282080 CPUtime=1197.99 cores=1,3,5,7
/proc/466/task/476/stat : 476 (claspmt) R 456 466 30485 0 -1 4202560 6846 0 0 0 119790 9 0 0 25 0 4 0 955799902 288849920 41548 33554432000 4194304 4964704 140736144248512 18446744073709551615 4668488 0 0 4096 18946 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4800.4
Current children cumulated vsize (KiB) 282080

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): 1201.84
CPU time (s): 4800.46
CPU user time (s): 4799.93
CPU system time (s): 0.528919
CPU usage (%): 399.426
Max. virtual memory (cumulated for all children) (KiB): 282080

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4799.93
system time used= 0.528919
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 43007
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= 17132
involuntary context switches= 20236

runsolver used 1.9517 second user time and 4.6063 second system time

The end

Launcher Data 

Begin job on node113 at 2011-06-09 23:41:32
IDJOB=3299523
IDBENCH=84761
IDSOLVER=1683
FILE ID=node113/3299523-1307655692
RUNJOBID= node113-1307655692-432
PBS_JOBID= 13549378
Free space on /tmp= 74060 MiB

SOLVER NAME= claspmt 2.0-R4095
BENCH NAME= SAT04/handmade/marijn/equilarge-l/equilarge_l2.used-as.sat04-894.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-3299523-1307655692/watcher-3299523-1307655692 -o /tmp/evaluation-result-3299523-1307655692/solver-3299523-1307655692 -C 4800 -W 1300 -M 15500  HOME/claspmt -t4 -p HOME/sat11-port.txt --distribute=all,2 HOME/instance-3299523-1307655692.cnf

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

MD5SUM BENCH= b3ddb2ee2bb2b83e1c98b2a9018351fc
RANDOM SEED=1511422916

node113.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	: 5332.76
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.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.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.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.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.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      32140420 kB
Buffers:        199092 kB
Cached:         401280 kB
SwapCached:      14384 kB
Active:         324736 kB
Inactive:       294968 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      32140420 kB
SwapTotal:    67111528 kB
SwapFree:     67051096 kB
Dirty:            2416 kB
Writeback:          16 kB
AnonPages:       16236 kB
Mapped:           8828 kB
Slab:           126348 kB
PageTables:       4672 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:   187532 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= 74060 MiB
End job on node113 at 2011-06-10 00:01:36