Trace number 3373157

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
claspmt 2.0-R4095-patched (fixed)? (TO) 4800.43 1203.76

General information on the benchmark

Namecrafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/
VanDerWaerden_pd_2-3-22_464.cnf
MD5SUMa722a199fd84ba0b319251daa47aa19c
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables232
Number of clauses28991
Sum of the clauses size130855
Maximum clause length22
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 277
Number of clauses of size 326594
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 52320

Solver Data 

0.00/0.00	c clasp version 2.0.0-RC2
0.00/0.00	c Reading from ...426561/instance-3373157-1305426561.cnf
0.09/0.19	c Solving...
4800.35/1203.71	
4800.35/1203.71	*** INTERRUPTED! ***
4800.35/1203.71	*** Shutting down threads...
4800.35/1203.75	s UNKNOWN
4800.35/1203.75	
4800.35/1203.75	c INTERRUPTED   : 1
4800.35/1203.75	c Models        : 0+    
4800.35/1203.75	c Time          : 1203.715s (Solving: 1203.52s 1st Model: 0.00s Unsat: 0.00s)
4800.35/1203.75	c CPU Time      : 4800.380s

Verifier Data 

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

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 961)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3373157-1305426561/watcher-3373157-1305426561 -o /tmp/evaluation-result-3373157-1305426561/solver-3373157-1305426561 -C 4800 -W 1300 -M 15500 HOME/claspmt -t4 -p HOME/sat11-port.txt --distribute=all,2 HOME/instance-3373157-1305426561.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: 0.95 1.30 1.67 3/344 11783
/proc/meminfo: memFree=26191336/32951124 swapFree=53501236/67111528
[pid=11783] ppid=11781 vsize=22148 CPUtime=0 cores=0,2,4,6
/proc/11783/stat : 11783 (claspmt) R 11781 11783 4220 0 -1 4202496 848 0 0 0 0 0 0 0 23 0 1 0 654258740 22679552 742 33554432000 4194304 4964800 140734667771808 18446744073709551615 216634176197 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/11783/statm: 5537 743 385 189 0 411 0

[startup+0.0677391 s]
/proc/loadavg: 0.95 1.30 1.67 3/344 11783
/proc/meminfo: memFree=26191336/32951124 swapFree=53501236/67111528
[pid=11783] ppid=11781 vsize=23840 CPUtime=0.06 cores=0,2,4,6
/proc/11783/stat : 11783 (claspmt) R 11781 11783 4220 0 -1 4202496 1329 0 0 0 6 0 0 0 23 0 1 0 654258740 24412160 1168 33554432000 4194304 4964800 140734667771808 18446744073709551615 4607590 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/11783/statm: 5960 1168 398 189 0 834 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 23840

[startup+0.100732 s]
/proc/loadavg: 0.95 1.30 1.67 3/344 11783
/proc/meminfo: memFree=26191336/32951124 swapFree=53501236/67111528
[pid=11783] ppid=11781 vsize=23840 CPUtime=0.09 cores=0,2,4,6
/proc/11783/stat : 11783 (claspmt) R 11781 11783 4220 0 -1 4202496 1329 0 0 0 9 0 0 0 23 0 1 0 654258740 24412160 1168 33554432000 4194304 4964800 140734667771808 18446744073709551615 4607587 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/11783/statm: 5960 1168 398 189 0 834 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 23840

[startup+0.300628 s]
/proc/loadavg: 0.95 1.30 1.67 3/344 11783
/proc/meminfo: memFree=26191336/32951124 swapFree=53501236/67111528
[pid=11783] ppid=11781 vsize=170192 CPUtime=0.58 cores=0,2,4,6
/proc/11783/stat : 11783 (claspmt) R 11781 11783 4220 0 -1 4202496 1850 0 0 0 57 1 0 0 25 0 4 0 654258740 174276608 1631 33554432000 4194304 4964800 140734667771808 18446744073709551615 4631256 0 0 4096 18946 18446744073709551615 0 0 17 0 0 0 0
/proc/11783/statm: 42548 1631 458 189 0 36897 0
Current children cumulated CPU time (s) 0.58
Current children cumulated vsize (KiB) 170192

[startup+0.700533 s]
/proc/loadavg: 0.95 1.30 1.67 3/344 11783
/proc/meminfo: memFree=26191336/32951124 swapFree=53501236/67111528
[pid=11783] ppid=11781 vsize=172020 CPUtime=2.18 cores=0,2,4,6
/proc/11783/stat : 11783 (claspmt) R 11781 11783 4220 0 -1 4202496 3142 0 0 0 216 2 0 0 25 0 4 0 654258740 176148480 2923 33554432000 4194304 4964800 140734667771808 18446744073709551615 4627204 0 0 4096 18946 18446744073709551615 0 0 17 0 0 0 0
/proc/11783/statm: 43005 2924 458 189 0 37354 0
Current children cumulated CPU time (s) 2.18
Current children cumulated vsize (KiB) 172020

[startup+1.50039 s]
/proc/loadavg: 0.95 1.30 1.67 9/356 11795
/proc/meminfo: memFree=26169316/32951124 swapFree=53501236/67111528
[pid=11783] ppid=11781 vsize=173372 CPUtime=5.36 cores=0,2,4,6
/proc/11783/stat : 11783 (claspmt) R 11781 11783 4220 0 -1 4202496 4015 0 0 0 534 2 0 0 25 0 4 0 654258740 177532928 3796 33554432000 4194304 4964800 140734667771808 18446744073709551615 4660209 0 0 4096 18946 18446744073709551615 0 0 17 0 0 0 0
/proc/11783/statm: 43343 3796 458 189 0 37692 0
[pid=11783/tid=11790] ppid=11781 vsize=173372 CPUtime=1.28 cores=0,2,4,6
/proc/11783/task/11790/stat : 11790 (claspmt) R 11781 11783 4220 0 -1 4202560 565 0 0 0 128 0 0 0 19 0 4 0 654258760 177532928 3796 33554432000 4194304 4964800 140734667771808 18446744073709551615 4668734 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=11783/tid=11791] ppid=11781 vsize=173372 CPUtime=1.29 cores=0,2,4,6
/proc/11783/task/11791/stat : 11791 (claspmt) R 11781 11783 4220 0 -1 4202560 893 0 0 0 129 0 0 0 19 0 4 0 654258760 177532928 3796 33554432000 4194304 4964800 140734667771808 18446744073709551615 4670371 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=11783/tid=11792] ppid=11781 vsize=173372 CPUtime=1.27 cores=0,2,4,6
/proc/11783/task/11792/stat : 11792 (claspmt) R 11781 11783 4220 0 -1 4202560 592 0 0 0 127 0 0 0 25 0 4 0 654258760 177532928 3796 33554432000 4194304 4964800 140734667771808 18446744073709551615 4668732 0 0 4096 18946 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 5.36
Current children cumulated vsize (KiB) 173372

[startup+3.10111 s]
/proc/loadavg: 0.95 1.30 1.67 9/356 11795
/proc/meminfo: memFree=26160144/32951124 swapFree=53501236/67111528
[pid=11783] ppid=11781 vsize=175108 CPUtime=11.76 cores=0,2,4,6
/proc/11783/stat : 11783 (claspmt) R 11781 11783 4220 0 -1 4202496 5057 0 0 0 1173 3 0 0 25 0 4 0 654258740 179310592 4838 33554432000 4194304 4964800 140734667771808 18446744073709551615 4627987 0 0 4096 18946 18446744073709551615 0 0 17 0 0 0 0
/proc/11783/statm: 43777 4838 460 189 0 38126 0
[pid=11783/tid=11790] ppid=11781 vsize=175108 CPUtime=2.89 cores=0,2,4,6
/proc/11783/task/11790/stat : 11790 (claspmt) R 11781 11783 4220 0 -1 4202560 787 0 0 0 288 1 0 0 23 0 4 0 654258760 179310592 4838 33554432000 4194304 4964800 140734667771808 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=11783/tid=11791] ppid=11781 vsize=175108 CPUtime=2.89 cores=0,2,4,6
/proc/11783/task/11791/stat : 11791 (claspmt) R 11781 11783 4220 0 -1 4202560 1227 0 0 0 289 0 0 0 24 0 4 0 654258760 179310592 4838 33554432000 4194304 4964800 140734667771808 18446744073709551615 4658861 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=11783/tid=11792] ppid=11781 vsize=175108 CPUtime=2.86 cores=0,2,4,6
/proc/11783/task/11792/stat : 11792 (claspmt) R 11781 11783 4220 0 -1 4202560 833 0 0 0 286 0 0 0 25 0 4 0 654258760 179310592 4838 33554432000 4194304 4964800 140734667771808 18446744073709551615 4631193 0 0 4096 18946 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 11.76
Current children cumulated vsize (KiB) 175108

[startup+6.30054 s]
/proc/loadavg: 1.52 1.41 1.70 9/356 11795
/proc/meminfo: memFree=26147868/32951124 swapFree=53501236/67111528
[pid=11783] ppid=11781 vsize=176856 CPUtime=24.51 cores=0,2,4,6
/proc/11783/stat : 11783 (claspmt) R 11781 11783 4220 0 -1 4202496 6591 0 0 0 2448 3 0 0 25 0 4 0 654258740 181100544 6372 33554432000 4194304 4964800 140734667771808 18446744073709551615 4670398 0 0 4096 18946 18446744073709551615 0 0 17 0 0 0 0
/proc/11783/statm: 44214 6372 460 189 0 38563 0
[pid=11783/tid=11790] ppid=11781 vsize=176856 CPUtime=6.09 cores=0,2,4,6
/proc/11783/task/11790/stat : 11790 (claspmt) R 11781 11783 4220 0 -1 4202560 1185 0 0 0 608 1 0 0 25 0 4 0 654258760 181100544 6372 33554432000 4194304 4964800 140734667771808 18446744073709551615 4670349 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=11783/tid=11791] ppid=11781 vsize=176856 CPUtime=6.09 cores=0,2,4,6
/proc/11783/task/11791/stat : 11791 (claspmt) R 11781 11783 4220 0 -1 4202560 1854 0 0 0 609 0 0 0 25 0 4 0 654258760 181100544 6372 33554432000 4194304 4964800 140734667771808 18446744073709551615 4670361 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=11783/tid=11792] ppid=11781 vsize=176856 CPUtime=6.02 cores=0,2,4,6
/proc/11783/task/11792/stat : 11792 (claspmt) R 11781 11783 4220 0 -1 4202560 1084 0 0 0 602 0 0 0 25 0 4 0 654258760 181100544 6372 33554432000 4194304 4964800 140734667771808 18446744073709551615 4689809 0 0 4096 18946 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 24.51
Current children cumulated vsize (KiB) 176856

[startup+12.7004 s]
/proc/loadavg: 2.04 1.52 1.74 9/356 11796
/proc/meminfo: memFree=26117968/32951124 swapFree=53501236/67111528
[pid=11783] ppid=11781 vsize=181532 CPUtime=50.04 cores=0,2,4,6
/proc/11783/stat : 11783 (claspmt) R 11781 11783 4220 0 -1 4202496 9746 0 0 0 4999 5 0 0 25 0 4 0 654258740 185888768 9406 33554432000 4194304 4964800 140734667771808 18446744073709551615 4660155 0 0 4096 18946 18446744073709551615 0 0 17 0 0 0 0
/proc/11783/statm: 45383 9406 460 189 0 39732 0
[pid=11783/tid=11790] ppid=11781 vsize=181532 CPUtime=12.49 cores=0,2,4,6
/proc/11783/task/11790/stat : 11790 (claspmt) R 11781 11783 4220 0 -1 4202560 1957 0 0 0 1247 2 0 0 25 0 4 0 654258760 185888768 9406 33554432000 4194304 4964800 140734667771808 18446744073709551615 4670346 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=11783/tid=11791] ppid=11781 vsize=181532 CPUtime=12.5 cores=0,2,4,6
/proc/11783/task/11791/stat : 11791 (claspmt) R 11781 11783 4220 0 -1 4202560 3293 0 0 0 1249 1 0 0 25 0 4 0 654258760 185888768 9406 33554432000 4194304 4964800 140734667771808 18446744073709551615 4627259 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=11783/tid=11792] ppid=11781 vsize=181532 CPUtime=12.35 cores=0,2,4,6
/proc/11783/task/11792/stat : 11792 (claspmt) R 11781 11783 4220 0 -1 4202560 1509 0 0 0 1234 1 0 0 25 0 4 0 654258760 185888768 9406 33554432000 4194304 4964800 140734667771808 18446744073709551615 4670340 0 0 4096 18946 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 50.04
Current children cumulated vsize (KiB) 181532

[startup+25.5011 s]
/proc/loadavg: 3.36 1.84 1.84 9/356 11796
/proc/meminfo: memFree=26093660/32951124 swapFree=53501236/67111528
[pid=11783] ppid=11781 vsize=186408 CPUtime=101.09 cores=0,2,4,6
/proc/11783/stat : 11783 (claspmt) R 11781 11783 4220 0 -1 4202496 12532 0 0 0 10103 6 0 0 25 0 4 0 654258740 190881792 12007 33554432000 4194304 4964800 140734667771808 18446744073709551615 4670308 0 0 4096 18946 18446744073709551615 0 0 17 0 0 0 0
/proc/11783/statm: 46602 12007 460 189 0 40951 0
[pid=11783/tid=11790] ppid=11781 vsize=186408 CPUtime=25.29 cores=0,2,4,6
/proc/11783/task/11790/stat : 11790 (claspmt) R 11781 11783 4220 0 -1 4202560 2573 0 0 0 2527 2 0 0 25 0 4 0 654258760 190881792 12007 33554432000 4194304 4964800 140734667771808 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=11783/tid=11791] ppid=11781 vsize=186408 CPUtime=25.29 cores=0,2,4,6
/proc/11783/task/11791/stat : 11791 (claspmt) R 11781 11783 4220 0 -1 4202560 4822 0 0 0 2528 1 0 0 25 0 4 0 654258760 190881792 12007 33554432000 4194304 4964800 140734667771808 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=11783/tid=11792] ppid=11781 vsize=186408 CPUtime=25 cores=0,2,4,6
/proc/11783/task/11792/stat : 11792 (claspmt) R 11781 11783 4220 0 -1 4202560 1930 0 0 0 2499 1 0 0 25 0 4 0 654258760 190881792 12007 33554432000 4194304 4964800 140734667771808 18446744073709551615 4627652 0 0 4096 18946 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 101.09
Current children cumulated vsize (KiB) 186408

[startup+51.1006 s]
/proc/loadavg: 5.05 2.36 2.01 9/356 11797
/proc/meminfo: memFree=26066704/32951124 swapFree=53501236/67111528
[pid=11783] ppid=11781 vsize=190568 CPUtime=203.18 cores=0,2,4,6
/proc/11783/stat : 11783 (claspmt) R 11781 11783 4220 0 -1 4202496 15990 0 0 0 20310 8 0 0 25 0 4 0 654258740 195141632 15401 33554432000 4194304 4964800 140734667771808 18446744073709551615 4668734 0 0 4096 18946 18446744073709551615 0 0 17 0 0 0 0
/proc/11783/statm: 47642 15401 460 189 0 41991 0
[pid=11783/tid=11790] ppid=11781 vsize=190568 CPUtime=50.87 cores=0,2,4,6
/proc/11783/task/11790/stat : 11790 (claspmt) R 11781 11783 4220 0 -1 4202560 3552 0 0 0 5085 2 0 0 25 0 4 0 654258760 195141632 15401 33554432000 4194304 4964800 140734667771808 18446744073709551615 4627365 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=11783/tid=11791] ppid=11781 vsize=190568 CPUtime=50.89 cores=0,2,4,6
/proc/11783/task/11791/stat : 11791 (claspmt) R 11781 11783 4220 0 -1 4202560 6290 0 0 0 5087 2 0 0 25 0 4 0 654258760 195141632 15401 33554432000 4194304 4964800 140734667771808 18446744073709551615 4670328 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=11783/tid=11792] ppid=11781 vsize=190568 CPUtime=50.31 cores=0,2,4,6
/proc/11783/task/11792/stat : 11792 (claspmt) R 11781 11783 4220 0 -1 4202560 2364 0 0 0 5029 2 0 0 25 0 4 0 654258760 195141632 15401 33554432000 4194304 4964800 140734667771808 18446744073709551615 4668805 0 0 4096 18946 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 203.18
Current children cumulated vsize (KiB) 190568

[startup+102.314 s]
/proc/loadavg: 6.72 3.23 2.32 9/356 11798
/proc/meminfo: memFree=26029368/32951124 swapFree=53501236/67111528
[pid=11783] ppid=11781 vsize=198036 CPUtime=407.41 cores=0,2,4,6
/proc/11783/stat : 11783 (claspmt) R 11781 11783 4220 0 -1 4202496 20496 0 0 0 40730 11 0 0 25 0 4 0 654258740 202788864 19785 33554432000 4194304 4964800 140734667771808 18446744073709551615 4670308 0 0 4096 18946 18446744073709551615 0 0 17 0 0 0 0
/proc/11783/statm: 49509 19785 460 189 0 43858 0
[pid=11783/tid=11790] ppid=11781 vsize=198036 CPUtime=102.08 cores=0,2,4,6
/proc/11783/task/11790/stat : 11790 (claspmt) R 11781 11783 4220 0 -1 4202560 5102 0 0 0 10205 3 0 0 25 0 4 0 654258760 202788864 19785 33554432000 4194304 4964800 140734667771808 18446744073709551615 4312148 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=11783/tid=11791] ppid=11781 vsize=198036 CPUtime=102.09 cores=0,2,4,6
/proc/11783/task/11791/stat : 11791 (claspmt) R 11781 11783 4220 0 -1 4202560 8130 0 0 0 10207 2 0 0 25 0 4 0 654258760 202788864 19785 33554432000 4194304 4964800 140734667771808 18446744073709551615 4670323 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=11783/tid=11792] ppid=11781 vsize=198036 CPUtime=100.92 cores=0,2,4,6
/proc/11783/task/11792/stat : 11792 (claspmt) R 11781 11783 4220 0 -1 4202560 2990 0 0 0 10090 2 0 0 25 0 4 0 654258760 202788864 19785 33554432000 4194304 4964800 140734667771808 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 407.41
Current children cumulated vsize (KiB) 198036

[startup+162.301 s]
/proc/loadavg: 7.53 4.09 2.67 9/356 11800
/proc/meminfo: memFree=26011224/32951124 swapFree=53501236/67111528
[pid=11783] ppid=11781 vsize=202256 CPUtime=646.67 cores=0,2,4,6
/proc/11783/stat : 11783 (claspmt) R 11781 11783 4220 0 -1 4202496 22571 0 0 0 64654 13 0 0 25 0 4 0 654258740 207110144 21746 33554432000 4194304 4964800 140734667771808 18446744073709551615 4321102 0 0 4096 18946 18446744073709551615 0 0 17 0 0 0 0
/proc/11783/statm: 50564 21746 460 189 0 44913 0
[pid=11783/tid=11790] ppid=11781 vsize=202256 CPUtime=162.06 cores=0,2,4,6
/proc/11783/task/11790/stat : 11790 (claspmt) R 11781 11783 4220 0 -1 4202560 6064 0 0 0 16203 3 0 0 25 0 4 0 654258760 207110144 21746 33554432000 4194304 4964800 140734667771808 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=11783/tid=11791] ppid=11781 vsize=202256 CPUtime=162.08 cores=0,2,4,6
/proc/11783/task/11791/stat : 11791 (claspmt) R 11781 11783 4220 0 -1 4202560 8923 0 0 0 16205 3 0 0 25 0 4 0 654258760 207110144 21746 33554432000 4194304 4964800 140734667771808 18446744073709551615 4627204 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=11783/tid=11792] ppid=11781 vsize=202256 CPUtime=160.22 cores=0,2,4,6
/proc/11783/task/11792/stat : 11792 (claspmt) R 11781 11783 4220 0 -1 4202560 3183 0 0 0 16019 3 0 0 25 0 4 0 654258760 207110144 21746 33554432000 4194304 4964800 140734667771808 18446744073709551615 4668756 0 0 4096 18946 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 646.67
Current children cumulated vsize (KiB) 202256

[startup+222.3 s]
/proc/loadavg: 7.89 4.82 3.01 9/356 11801
/proc/meminfo: memFree=25996932/32951124 swapFree=53501236/67111528
[pid=11783] ppid=11781 vsize=205268 CPUtime=885.96 cores=0,2,4,6
/proc/11783/stat : 11783 (claspmt) R 11781 11783 4220 0 -1 4202496 24610 0 0 0 88581 15 0 0 25 0 4 0 654258740 210194432 23538 33554432000 4194304 4964800 140734667771808 18446744073709551615 4670328 0 0 4096 18946 18446744073709551615 0 0 17 0 0 0 0
/proc/11783/statm: 51317 23538 460 189 0 45666 0
[pid=11783/tid=11790] ppid=11781 vsize=205268 CPUtime=222.06 cores=0,2,4,6
/proc/11783/task/11790/stat : 11790 (claspmt) R 11781 11783 4220 0 -1 4202560 6899 0 0 0 22202 4 0 0 25 0 4 0 654258760 210194432 23538 33554432000 4194304 4964800 140734667771808 18446744073709551615 4670340 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=11783/tid=11791] ppid=11781 vsize=205268 CPUtime=222.08 cores=0,2,4,6
/proc/11783/task/11791/stat : 11791 (claspmt) R 11781 11783 4220 0 -1 4202560 9783 0 0 0 22204 4 0 0 25 0 4 0 654258760 210194432 23538 33554432000 4194304 4964800 140734667771808 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=11783/tid=11792] ppid=11781 vsize=205268 CPUtime=219.53 cores=0,2,4,6
/proc/11783/task/11792/stat : 11792 (claspmt) R 11781 11783 4220 0 -1 4202560 3398 0 0 0 21949 4 0 0 25 0 4 0 654258760 210194432 23538 33554432000 4194304 4964800 140734667771808 18446744073709551615 4670340 0 0 4096 18946 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 885.96
Current children cumulated vsize (KiB) 205268

[startup+282.301 s]

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

[pid=11783] ppid=11781 vsize=215368 CPUtime=2800.51 cores=0,2,4,6
/proc/11783/stat : 11783 (claspmt) R 11781 11783 4220 0 -1 4202496 33051 0 0 0 280026 25 0 0 25 0 4 0 654258740 220536832 30573 33554432000 4194304 4964800 140734667771808 18446744073709551615 4320970 0 0 4096 18946 18446744073709551615 0 0 17 0 0 0 0
/proc/11783/statm: 53842 30573 460 189 0 48191 0
[pid=11783/tid=11790] ppid=11781 vsize=215368 CPUtime=702.03 cores=0,2,4,6
/proc/11783/task/11790/stat : 11790 (claspmt) R 11781 11783 4220 0 -1 4202560 10684 0 0 0 70197 6 0 0 25 0 4 0 654258760 220536832 30573 33554432000 4194304 4964800 140734667771808 18446744073709551615 4644896 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=11783/tid=11791] ppid=11781 vsize=215368 CPUtime=696.7 cores=0,2,4,6
/proc/11783/task/11791/stat : 11791 (claspmt) R 11781 11783 4220 0 -1 4202560 13544 0 0 0 69663 7 0 0 25 0 4 0 654258760 220536832 30573 33554432000 4194304 4964800 140734667771808 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=11783/tid=11792] ppid=11781 vsize=215368 CPUtime=699.46 cores=0,2,4,6
/proc/11783/task/11792/stat : 11792 (claspmt) R 11781 11783 4220 0 -1 4202560 3938 0 0 0 69941 5 0 0 25 0 4 0 654258760 220536832 30573 33554432000 4194304 4964800 140734667771808 18446744073709551615 4627248 0 0 4096 18946 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2800.51
Current children cumulated vsize (KiB) 215368

[startup+762.314 s]
/proc/loadavg: 8.02 7.55 5.24 9/356 11816
/proc/meminfo: memFree=25912368/32951124 swapFree=53501236/67111528
[pid=11783] ppid=11781 vsize=217628 CPUtime=3039.87 cores=0,2,4,6
/proc/11783/stat : 11783 (claspmt) R 11781 11783 4220 0 -1 4202496 34076 0 0 0 303961 26 0 0 25 0 4 0 654258740 222851072 31369 33554432000 4194304 4964800 140734667771808 18446744073709551615 4627204 0 0 4096 18946 18446744073709551615 0 0 17 0 0 0 0
/proc/11783/statm: 54407 31369 460 189 0 48756 0
[pid=11783/tid=11790] ppid=11781 vsize=217628 CPUtime=762.05 cores=0,2,4,6
/proc/11783/task/11790/stat : 11790 (claspmt) R 11781 11783 4220 0 -1 4202560 11107 0 0 0 76198 7 0 0 20 0 4 0 654258760 222851072 31369 33554432000 4194304 4964800 140734667771808 18446744073709551615 4668725 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=11783/tid=11791] ppid=11781 vsize=217628 CPUtime=756.02 cores=0,2,4,6
/proc/11783/task/11791/stat : 11791 (claspmt) R 11781 11783 4220 0 -1 4202560 14018 0 0 0 75595 7 0 0 25 0 4 0 654258760 222851072 31369 33554432000 4194304 4964800 140734667771808 18446744073709551615 4668734 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=11783/tid=11792] ppid=11781 vsize=217628 CPUtime=759.48 cores=0,2,4,6
/proc/11783/task/11792/stat : 11792 (claspmt) R 11781 11783 4220 0 -1 4202560 4062 0 0 0 75942 6 0 0 25 0 4 0 654258760 222851072 31369 33554432000 4194304 4964800 140734667771808 18446744073709551615 4627901 0 0 4096 18946 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3039.87
Current children cumulated vsize (KiB) 217628

[startup+822.3 s]
/proc/loadavg: 8.20 7.67 5.43 9/356 11817
/proc/meminfo: memFree=25909116/32951124 swapFree=53501236/67111528
[pid=11783] ppid=11781 vsize=218900 CPUtime=3279.12 cores=0,2,4,6
/proc/11783/stat : 11783 (claspmt) R 11781 11783 4220 0 -1 4202496 34636 0 0 0 327884 28 0 0 25 0 4 0 654258740 224153600 31815 33554432000 4194304 4964800 140734667771808 18446744073709551615 4670308 0 0 4096 18946 18446744073709551615 0 0 17 0 0 0 0
/proc/11783/statm: 54725 31815 460 189 0 49074 0
[pid=11783/tid=11790] ppid=11781 vsize=218900 CPUtime=822.03 cores=0,2,4,6
/proc/11783/task/11790/stat : 11790 (claspmt) R 11781 11783 4220 0 -1 4202560 11403 0 0 0 82196 7 0 0 25 0 4 0 654258760 224153600 31815 33554432000 4194304 4964800 140734667771808 18446744073709551615 4653186 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=11783/tid=11791] ppid=11781 vsize=218900 CPUtime=815.32 cores=0,2,4,6
/proc/11783/task/11791/stat : 11791 (claspmt) R 11781 11783 4220 0 -1 4202560 14184 0 0 0 81524 8 0 0 25 0 4 0 654258760 224153600 31815 33554432000 4194304 4964800 140734667771808 18446744073709551615 4668789 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=11783/tid=11792] ppid=11781 vsize=218900 CPUtime=819.46 cores=0,2,4,6
/proc/11783/task/11792/stat : 11792 (claspmt) R 11781 11783 4220 0 -1 4202560 4098 0 0 0 81940 6 0 0 25 0 4 0 654258760 224153600 31815 33554432000 4194304 4964800 140734667771808 18446744073709551615 4670343 0 0 4096 18946 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3279.12
Current children cumulated vsize (KiB) 218900

[startup+882.301 s]
/proc/loadavg: 8.22 7.76 5.60 9/356 11819
/proc/meminfo: memFree=25904356/32951124 swapFree=53501236/67111528
[pid=11783] ppid=11781 vsize=219612 CPUtime=3518.43 cores=0,2,4,6
/proc/11783/stat : 11783 (claspmt) R 11781 11783 4220 0 -1 4202496 35158 0 0 0 351815 28 0 0 25 0 4 0 654258740 224882688 32148 33554432000 4194304 4964800 140734667771808 18446744073709551615 4670357 0 0 4096 18946 18446744073709551615 0 0 17 0 0 0 0
/proc/11783/statm: 54903 32148 460 189 0 49252 0
[pid=11783/tid=11790] ppid=11781 vsize=219612 CPUtime=882.03 cores=0,2,4,6
/proc/11783/task/11790/stat : 11790 (claspmt) R 11781 11783 4220 0 -1 4202560 11747 0 0 0 88195 8 0 0 25 0 4 0 654258760 224882688 32148 33554432000 4194304 4964800 140734667771808 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=11783/tid=11791] ppid=11781 vsize=219612 CPUtime=874.64 cores=0,2,4,6
/proc/11783/task/11791/stat : 11791 (claspmt) R 11781 11783 4220 0 -1 4202560 14348 0 0 0 87456 8 0 0 25 0 4 0 654258760 224882688 32148 33554432000 4194304 4964800 140734667771808 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=11783/tid=11792] ppid=11781 vsize=219612 CPUtime=879.46 cores=0,2,4,6
/proc/11783/task/11792/stat : 11792 (claspmt) R 11781 11783 4220 0 -1 4202560 4104 0 0 0 87940 6 0 0 25 0 4 0 654258760 224882688 32148 33554432000 4194304 4964800 140734667771808 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3518.43
Current children cumulated vsize (KiB) 219612

[startup+942.301 s]
/proc/loadavg: 8.15 7.82 5.75 9/356 11820
/proc/meminfo: memFree=25900972/32951124 swapFree=53501236/67111528
[pid=11783] ppid=11781 vsize=220180 CPUtime=3757.74 cores=0,2,4,6
/proc/11783/stat : 11783 (claspmt) R 11781 11783 4220 0 -1 4202496 35791 0 0 0 375744 30 0 0 25 0 4 0 654258740 225464320 32592 33554432000 4194304 4964800 140734667771808 18446744073709551615 4321020 0 0 4096 18946 18446744073709551615 0 0 17 0 0 0 0
/proc/11783/statm: 55045 32592 460 189 0 49394 0
[pid=11783/tid=11790] ppid=11781 vsize=220180 CPUtime=942.03 cores=0,2,4,6
/proc/11783/task/11790/stat : 11790 (claspmt) R 11781 11783 4220 0 -1 4202560 12081 0 0 0 94195 8 0 0 25 0 4 0 654258760 225464320 32592 33554432000 4194304 4964800 140734667771808 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=11783/tid=11791] ppid=11781 vsize=220180 CPUtime=933.94 cores=0,2,4,6
/proc/11783/task/11791/stat : 11791 (claspmt) R 11781 11783 4220 0 -1 4202560 14588 0 0 0 93386 8 0 0 25 0 4 0 654258760 225464320 32592 33554432000 4194304 4964800 140734667771808 18446744073709551615 4670343 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=11783/tid=11792] ppid=11781 vsize=220180 CPUtime=939.47 cores=0,2,4,6
/proc/11783/task/11792/stat : 11792 (claspmt) R 11781 11783 4220 0 -1 4202560 4117 0 0 0 93940 7 0 0 25 0 4 0 654258760 225464320 32592 33554432000 4194304 4964800 140734667771808 18446744073709551615 4627259 0 0 4096 18946 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3757.74
Current children cumulated vsize (KiB) 220180

[startup+1002.3 s]
/proc/loadavg: 8.18 7.88 5.90 9/356 11822
/proc/meminfo: memFree=25899204/32951124 swapFree=53501236/67111528
[pid=11783] ppid=11781 vsize=220180 CPUtime=3997.05 cores=0,2,4,6
/proc/11783/stat : 11783 (claspmt) R 11781 11783 4220 0 -1 4202496 36063 0 0 0 399674 31 0 0 25 0 4 0 654258740 225464320 32674 33554432000 4194304 4964800 140734667771808 18446744073709551615 4670308 0 0 4096 18946 18446744073709551615 0 0 17 0 0 0 0
/proc/11783/statm: 55045 32674 460 189 0 49394 0
[pid=11783/tid=11790] ppid=11781 vsize=220180 CPUtime=1002.03 cores=0,2,4,6
/proc/11783/task/11790/stat : 11790 (claspmt) R 11781 11783 4220 0 -1 4202560 12305 0 0 0 100195 8 0 0 25 0 4 0 654258760 225464320 32674 33554432000 4194304 4964800 140734667771808 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=11783/tid=11791] ppid=11781 vsize=220180 CPUtime=993.25 cores=0,2,4,6
/proc/11783/task/11791/stat : 11791 (claspmt) R 11781 11783 4220 0 -1 4202560 14620 0 0 0 99317 8 0 0 25 0 4 0 654258760 225464320 32674 33554432000 4194304 4964800 140734667771808 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=11783/tid=11792] ppid=11781 vsize=220180 CPUtime=999.46 cores=0,2,4,6
/proc/11783/task/11792/stat : 11792 (claspmt) R 11781 11783 4220 0 -1 4202560 4127 0 0 0 99939 7 0 0 25 0 4 0 654258760 225464320 32674 33554432000 4194304 4964800 140734667771808 18446744073709551615 4670310 0 0 4096 18946 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3997.05
Current children cumulated vsize (KiB) 220180

[startup+1062.3 s]
/proc/loadavg: 8.18 7.93 6.04 9/356 11824
/proc/meminfo: memFree=25897176/32951124 swapFree=53501236/67111528
[pid=11783] ppid=11781 vsize=220560 CPUtime=4236.37 cores=0,2,4,6
/proc/11783/stat : 11783 (claspmt) R 11781 11783 4220 0 -1 4202496 36626 0 0 0 423605 32 0 0 25 0 4 0 654258740 225853440 33085 33554432000 4194304 4964800 140734667771808 18446744073709551615 4321102 0 0 4096 18946 18446744073709551615 0 0 17 0 0 0 0
/proc/11783/statm: 55140 33085 460 189 0 49489 0
[pid=11783/tid=11790] ppid=11781 vsize=220560 CPUtime=1062.02 cores=0,2,4,6
/proc/11783/task/11790/stat : 11790 (claspmt) R 11781 11783 4220 0 -1 4202560 12538 0 0 0 106194 8 0 0 25 0 4 0 654258760 225853440 33085 33554432000 4194304 4964800 140734667771808 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=11783/tid=11791] ppid=11781 vsize=220560 CPUtime=1052.58 cores=0,2,4,6
/proc/11783/task/11791/stat : 11791 (claspmt) R 11781 11783 4220 0 -1 4202560 14875 0 0 0 105249 9 0 0 25 0 4 0 654258760 225853440 33085 33554432000 4194304 4964800 140734667771808 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=11783/tid=11792] ppid=11781 vsize=220560 CPUtime=1059.46 cores=0,2,4,6
/proc/11783/task/11792/stat : 11792 (claspmt) R 11781 11783 4220 0 -1 4202560 4165 0 0 0 105939 7 0 0 25 0 4 0 654258760 225853440 33085 33554432000 4194304 4964800 140734667771808 18446744073709551615 4627923 0 0 4096 18946 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4236.37
Current children cumulated vsize (KiB) 220560

[startup+1122.3 s]
/proc/loadavg: 8.17 7.97 6.17 9/356 11825
/proc/meminfo: memFree=25892172/32951124 swapFree=53501236/67111528
[pid=11783] ppid=11781 vsize=221128 CPUtime=4475.66 cores=0,2,4,6
/proc/11783/stat : 11783 (claspmt) R 11781 11783 4220 0 -1 4202496 37423 0 0 0 447533 33 0 0 25 0 4 0 654258740 226435072 33766 33554432000 4194304 4964800 140734667771808 18446744073709551615 4668715 0 0 4096 18946 18446744073709551615 0 0 17 0 0 0 0
/proc/11783/statm: 55282 33766 460 189 0 49631 0
[pid=11783/tid=11790] ppid=11781 vsize=221128 CPUtime=1122.02 cores=0,2,4,6
/proc/11783/task/11790/stat : 11790 (claspmt) R 11781 11783 4220 0 -1 4202560 12729 0 0 0 112194 8 0 0 25 0 4 0 654258760 226435072 33766 33554432000 4194304 4964800 140734667771808 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=11783/tid=11791] ppid=11781 vsize=221128 CPUtime=1111.87 cores=0,2,4,6
/proc/11783/task/11791/stat : 11791 (claspmt) R 11781 11783 4220 0 -1 4202560 15457 0 0 0 111178 9 0 0 25 0 4 0 654258760 226435072 33766 33554432000 4194304 4964800 140734667771808 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=11783/tid=11792] ppid=11781 vsize=221128 CPUtime=1119.46 cores=0,2,4,6
/proc/11783/task/11792/stat : 11792 (claspmt) R 11781 11783 4220 0 -1 4202560 4170 0 0 0 111938 8 0 0 25 0 4 0 654258760 226435072 33766 33554432000 4194304 4964800 140734667771808 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4475.66
Current children cumulated vsize (KiB) 221128

[startup+1182.3 s]
/proc/loadavg: 8.21 8.02 6.29 9/356 11827
/proc/meminfo: memFree=25885800/32951124 swapFree=53501236/67111528
[pid=11783] ppid=11781 vsize=221556 CPUtime=4714.98 cores=0,2,4,6
/proc/11783/stat : 11783 (claspmt) R 11781 11783 4220 0 -1 4202496 38083 0 0 0 471463 35 0 0 25 0 4 0 654258740 226873344 34273 33554432000 4194304 4964800 140734667771808 18446744073709551615 4362118 0 0 4096 18946 18446744073709551615 0 0 17 0 0 0 0
/proc/11783/statm: 55389 34273 460 189 0 49738 0
[pid=11783/tid=11790] ppid=11781 vsize=221556 CPUtime=1182.03 cores=0,2,4,6
/proc/11783/task/11790/stat : 11790 (claspmt) R 11781 11783 4220 0 -1 4202560 13094 0 0 0 118194 9 0 0 25 0 4 0 654258760 226873344 34273 33554432000 4194304 4964800 140734667771808 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=11783/tid=11791] ppid=11781 vsize=221556 CPUtime=1171.2 cores=0,2,4,6
/proc/11783/task/11791/stat : 11791 (claspmt) R 11781 11783 4220 0 -1 4202560 15749 0 0 0 117110 10 0 0 25 0 4 0 654258760 226873344 34273 33554432000 4194304 4964800 140734667771808 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=11783/tid=11792] ppid=11781 vsize=221556 CPUtime=1179.46 cores=0,2,4,6
/proc/11783/task/11792/stat : 11792 (claspmt) R 11781 11783 4220 0 -1 4202560 4170 0 0 0 117938 8 0 0 25 0 4 0 654258760 226873344 34273 33554432000 4194304 4964800 140734667771808 18446744073709551615 4670394 0 0 4096 18946 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4714.98
Current children cumulated vsize (KiB) 221556



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1203.7 s]
/proc/loadavg: 8.13 8.02 6.34 6/355 11828
/proc/meminfo: memFree=25883552/32951124 swapFree=53501236/67111528
[pid=11783] ppid=11781 vsize=221980 CPUtime=4800.35 cores=0,2,4,6
/proc/11783/stat : 11783 (claspmt) R 11781 11783 4220 0 -1 4202496 38348 0 0 0 480000 35 0 0 25 0 4 0 654258740 227307520 34499 33554432000 4194304 4964800 140734667771808 18446744073709551615 4321116 0 0 4096 18946 18446744073709551615 0 0 17 0 0 0 0
/proc/11783/statm: 55495 34499 460 189 0 49844 0
[pid=11783/tid=11790] ppid=11781 vsize=221980 CPUtime=1203.44 cores=0,2,4,6
/proc/11783/task/11790/stat : 11790 (claspmt) R 11781 11783 4220 0 -1 4202560 13094 0 0 0 120335 9 0 0 25 0 4 0 654258760 227307520 34499 33554432000 4194304 4964800 140734667771808 18446744073709551615 4627204 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=11783/tid=11791] ppid=11781 vsize=221980 CPUtime=1192.34 cores=0,2,4,6
/proc/11783/task/11791/stat : 11791 (claspmt) R 11781 11783 4220 0 -1 4202560 16014 0 0 0 119224 10 0 0 25 0 4 0 654258760 227307520 34499 33554432000 4194304 4964800 140734667771808 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=11783/tid=11792] ppid=11781 vsize=221980 CPUtime=1200.87 cores=0,2,4,6
/proc/11783/task/11792/stat : 11792 (claspmt) R 11781 11783 4220 0 -1 4202560 4170 0 0 0 120079 8 0 0 25 0 4 0 654258760 227307520 34499 33554432000 4194304 4964800 140734667771808 18446744073709551615 4321029 0 0 4096 18946 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4800.35
Current children cumulated vsize (KiB) 221980

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

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

[startup+1203.7 s]
/proc/loadavg: 8.13 8.02 6.34 6/355 11828
/proc/meminfo: memFree=25883552/32951124 swapFree=53501236/67111528
[pid=11783] ppid=11781 vsize=221980 CPUtime=4800.35 cores=0,2,4,6
/proc/11783/stat : 11783 (claspmt) R 11781 11783 4220 0 -1 4202496 38348 0 0 0 480000 35 0 0 25 0 4 0 654258740 227307520 34499 33554432000 4194304 4964800 140734667771808 18446744073709551615 4321116 0 0 4096 18946 18446744073709551615 0 0 17 0 0 0 0
/proc/11783/statm: 55495 34499 460 189 0 49844 0
[pid=11783/tid=11790] ppid=11781 vsize=221980 CPUtime=1203.44 cores=0,2,4,6
/proc/11783/task/11790/stat : 11790 (claspmt) R 11781 11783 4220 0 -1 4202560 13094 0 0 0 120335 9 0 0 25 0 4 0 654258760 227307520 34499 33554432000 4194304 4964800 140734667771808 18446744073709551615 4627204 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=11783/tid=11791] ppid=11781 vsize=221980 CPUtime=1192.34 cores=0,2,4,6
/proc/11783/task/11791/stat : 11791 (claspmt) R 11781 11783 4220 0 -1 4202560 16014 0 0 0 119224 10 0 0 25 0 4 0 654258760 227307520 34499 33554432000 4194304 4964800 140734667771808 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=11783/tid=11792] ppid=11781 vsize=221980 CPUtime=1200.87 cores=0,2,4,6
/proc/11783/task/11792/stat : 11792 (claspmt) R 11781 11783 4220 0 -1 4202560 4170 0 0 0 120079 8 0 0 25 0 4 0 654258760 227307520 34499 33554432000 4194304 4964800 140734667771808 18446744073709551615 4321029 0 0 4096 18946 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4800.35
Current children cumulated vsize (KiB) 221980

Child status: 0
Real time (s): 1203.76
CPU time (s): 4800.43
CPU user time (s): 4800.07
CPU system time (s): 0.363944
CPU usage (%): 398.787
Max. virtual memory (cumulated for all children) (KiB): 221980

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4800.07
system time used= 0.363944
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 38360
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= 19701
involuntary context switches= 25470

runsolver used 3.84042 second user time and 9.67953 second system time

The end

Launcher Data 

Begin job on node103 at 2011-05-15 04:29:21
IDJOB=3373157
IDBENCH=83268
IDSOLVER=1853
FILE ID=node103/3373157-1305426561
RUNJOBID= node103-1305426561-11768
PBS_JOBID= 13324557
Free space on /tmp= 73048 MiB

SOLVER NAME= claspmt 2.0-R4095-patched (fixed)
BENCH NAME= SAT11/crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/VanDerWaerden_pd_2-3-22_464.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-3373157-1305426561/watcher-3373157-1305426561 -o /tmp/evaluation-result-3373157-1305426561/solver-3373157-1305426561 -C 4800 -W 1300 -M 15500  HOME/claspmt -t4 -p HOME/sat11-port.txt --distribute=all,2 HOME/instance-3373157-1305426561.cnf

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

MD5SUM BENCH= a722a199fd84ba0b319251daa47aa19c
RANDOM SEED=1881913214

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

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.858
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.77
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.858
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.858
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.858
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.858
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      26191856 kB
Buffers:        307680 kB
Cached:        3916012 kB
SwapCached:     340192 kB
Active:        1335040 kB
Inactive:      5154164 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      26191856 kB
SwapTotal:    67111528 kB
SwapFree:     53501236 kB
Dirty:            2768 kB
Writeback:           8 kB
AnonPages:     1935228 kB
Mapped:          10108 kB
Slab:           151868 kB
PageTables:      52840 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 78288596 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= 73048 MiB
End job on node103 at 2011-05-15 04:49:27