Trace number 3299537

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.44 1201.75

General information on the benchmark

Namecrafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/
VanDerWaerden_pd_2-3-23_507.cnf
MD5SUM0c4fc551e2fe598a8074df6204d87f7d
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 variables254
Number of clauses34289
Sum of the clauses size152236
Maximum clause length23
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 2337
Number of clauses of size 331448
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 52504

Solver Data 

0.00/0.00	c clasp version 2.0.0-RC2
0.00/0.00	c Reading from ...092887/instance-3299537-1304092887.cnf
0.19/0.26	c Solving...
4800.38/1201.71	
4800.38/1201.71	*** INTERRUPTED! ***
4800.38/1201.71	*** Shutting down threads...
4800.38/1201.74	s UNKNOWN
4800.38/1201.74	
4800.38/1201.74	c INTERRUPTED   : 1
4800.38/1201.74	c Models        : 0+    
4800.38/1201.74	c Time          : 1201.709s (Solving: 1201.45s 1st Model: 0.00s Unsat: 0.00s)
4800.38/1201.74	c CPU Time      : 4800.400s

Verifier Data 

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

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 935)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3299537-1304092887/watcher-3299537-1304092887 -o /tmp/evaluation-result-3299537-1304092887/solver-3299537-1304092887 -C 4800 -W 1300 -M 15500 HOME/claspmt -t4 -p HOME/sat11-port.txt --distribute=all,2 HOME/instance-3299537-1304092887.cnf 

running on 4 cores: 0,2,4,6

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


[startup+0 s]
/proc/loadavg: 6.35 7.75 7.96 2/172 19384
/proc/meminfo: memFree=30356604/32951124 swapFree=67111364/67111528
[pid=19384] ppid=19382 vsize=21536 CPUtime=0 cores=0,2,4,6
/proc/19384/stat : 19384 (claspmt) R 19382 19384 18837 0 -1 4202496 672 0 0 0 0 0 0 0 18 0 1 0 520889078 22052864 601 33554432000 4194304 4964704 140736322710880 18446744073709551615 253640520389 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/19384/statm: 5384 602 385 189 0 258 0

[startup+0.0787099 s]
/proc/loadavg: 6.35 7.75 7.96 2/172 19384
/proc/meminfo: memFree=30356604/32951124 swapFree=67111364/67111528
[pid=19384] ppid=19382 vsize=24344 CPUtime=0.07 cores=0,2,4,6
/proc/19384/stat : 19384 (claspmt) R 19382 19384 18837 0 -1 4202496 1464 0 0 0 7 0 0 0 18 0 1 0 520889078 24928256 1301 33554432000 4194304 4964704 140736322710880 18446744073709551615 4607513 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/19384/statm: 6086 1301 398 189 0 960 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 24344

[startup+0.100696 s]
/proc/loadavg: 6.35 7.75 7.96 2/172 19384
/proc/meminfo: memFree=30356604/32951124 swapFree=67111364/67111528
[pid=19384] ppid=19382 vsize=24344 CPUtime=0.09 cores=0,2,4,6
/proc/19384/stat : 19384 (claspmt) R 19382 19384 18837 0 -1 4202496 1464 0 0 0 9 0 0 0 18 0 1 0 520889078 24928256 1301 33554432000 4194304 4964704 140736322710880 18446744073709551615 4607641 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/19384/statm: 6086 1301 398 189 0 960 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 24344

[startup+0.33854 s]
/proc/loadavg: 6.35 7.75 7.96 2/172 19384
/proc/meminfo: memFree=30356604/32951124 swapFree=67111364/67111528
[pid=19384] ppid=19382 vsize=170696 CPUtime=0.67 cores=0,2,4,6
/proc/19384/stat : 19384 (claspmt) R 19382 19384 18837 0 -1 4202496 2033 0 0 0 67 0 0 0 19 0 4 0 520889078 174792704 1799 33554432000 4194304 4964704 140736322710880 18446744073709551615 4670357 0 0 4096 18946 18446744073709551615 0 0 17 6 0 0 0
/proc/19384/statm: 42674 1799 458 189 0 37023 0
Current children cumulated CPU time (s) 0.67
Current children cumulated vsize (KiB) 170696

[startup+0.700492 s]
/proc/loadavg: 6.35 7.75 7.96 2/172 19384
/proc/meminfo: memFree=30356604/32951124 swapFree=67111364/67111528
[pid=19384] ppid=19382 vsize=171356 CPUtime=1.98 cores=0,2,4,6
/proc/19384/stat : 19384 (claspmt) R 19382 19384 18837 0 -1 4202496 2879 0 0 0 198 0 0 0 19 0 4 0 520889078 175468544 2645 33554432000 4194304 4964704 140736322710880 18446744073709551615 4668609 0 0 4096 18946 18446744073709551615 0 0 17 6 0 0 0
/proc/19384/statm: 42839 2645 458 189 0 37188 0
Current children cumulated CPU time (s) 1.98
Current children cumulated vsize (KiB) 171356

[startup+1.50035 s]
/proc/loadavg: 6.35 7.75 7.96 10/184 19397
/proc/meminfo: memFree=30335344/32951124 swapFree=67111364/67111528
[pid=19384] ppid=19382 vsize=173116 CPUtime=5.18 cores=0,2,4,6
/proc/19384/stat : 19384 (claspmt) R 19382 19384 18837 0 -1 4202496 4060 0 0 0 517 1 0 0 21 0 4 0 520889078 177270784 3826 33554432000 4194304 4964704 140736322710880 18446744073709551615 4628010 0 0 4096 18946 18446744073709551615 0 0 17 6 0 0 0
/proc/19384/statm: 43279 3826 458 189 0 37628 0
[pid=19384/tid=19395] ppid=19382 vsize=173116 CPUtime=1.22 cores=0,2,4,6
/proc/19384/task/19395/stat : 19395 (claspmt) R 19382 19384 18837 0 -1 4202560 616 0 0 0 122 0 0 0 22 0 4 0 520889104 177270784 3826 33554432000 4194304 4964704 140736322710880 18446744073709551615 4670241 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=19384/tid=19396] ppid=19382 vsize=173116 CPUtime=1.22 cores=0,2,4,6
/proc/19384/task/19396/stat : 19396 (claspmt) R 19382 19384 18837 0 -1 4202560 835 0 0 0 122 0 0 0 22 0 4 0 520889104 177270784 3826 33554432000 4194304 4964704 140736322710880 18446744073709551615 4670241 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=19384/tid=19397] ppid=19382 vsize=173116 CPUtime=1.23 cores=0,2,4,6
/proc/19384/task/19397/stat : 19397 (claspmt) R 19382 19384 18837 0 -1 4202560 543 0 0 0 123 0 0 0 22 0 4 0 520889104 177270784 3826 33554432000 4194304 4964704 140736322710880 18446744073709551615 4670266 0 0 4096 18946 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 5.18
Current children cumulated vsize (KiB) 173116

[startup+3.10105 s]
/proc/loadavg: 6.35 7.75 7.96 9/184 19397
/proc/meminfo: memFree=30327280/32951124 swapFree=67111364/67111528
[pid=19384] ppid=19382 vsize=174088 CPUtime=11.58 cores=0,2,4,6
/proc/19384/stat : 19384 (claspmt) R 19382 19384 18837 0 -1 4202496 4800 0 0 0 1157 1 0 0 25 0 4 0 520889078 178266112 4566 33554432000 4194304 4964704 140736322710880 18446744073709551615 4668673 0 0 4096 18946 18446744073709551615 0 0 17 6 0 0 0
/proc/19384/statm: 43522 4566 460 189 0 37871 0
[pid=19384/tid=19395] ppid=19382 vsize=174088 CPUtime=2.83 cores=0,2,4,6
/proc/19384/task/19395/stat : 19395 (claspmt) R 19382 19384 18837 0 -1 4202560 788 0 0 0 283 0 0 0 25 0 4 0 520889104 178266112 4566 33554432000 4194304 4964704 140736322710880 18446744073709551615 4660057 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=19384/tid=19396] ppid=19382 vsize=174088 CPUtime=2.82 cores=0,2,4,6
/proc/19384/task/19396/stat : 19396 (claspmt) R 19382 19384 18837 0 -1 4202560 1163 0 0 0 282 0 0 0 25 0 4 0 520889104 178266112 4566 33554432000 4194304 4964704 140736322710880 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=19384/tid=19397] ppid=19382 vsize=174088 CPUtime=2.83 cores=0,2,4,6
/proc/19384/task/19397/stat : 19397 (claspmt) R 19382 19384 18837 0 -1 4202560 658 0 0 0 283 0 0 0 18 0 4 0 520889104 178266112 4566 33554432000 4194304 4964704 140736322710880 18446744073709551615 4668654 0 0 4096 18946 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 11.58
Current children cumulated vsize (KiB) 174088

[startup+6.30047 s]
/proc/loadavg: 6.48 7.75 7.96 9/184 19397
/proc/meminfo: memFree=30315012/32951124 swapFree=67111364/67111528
[pid=19384] ppid=19382 vsize=175768 CPUtime=24.36 cores=0,2,4,6
/proc/19384/stat : 19384 (claspmt) R 19382 19384 18837 0 -1 4202496 6112 0 0 0 2435 1 0 0 25 0 4 0 520889078 179986432 5878 33554432000 4194304 4964704 140736322710880 18446744073709551615 4364587 0 0 4096 18946 18446744073709551615 0 0 17 2 0 0 0
/proc/19384/statm: 43942 5878 460 189 0 38291 0
[pid=19384/tid=19395] ppid=19382 vsize=175768 CPUtime=6.02 cores=0,2,4,6
/proc/19384/task/19395/stat : 19395 (claspmt) R 19382 19384 18837 0 -1 4202560 1061 0 0 0 602 0 0 0 25 0 4 0 520889104 179986432 5878 33554432000 4194304 4964704 140736322710880 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=19384/tid=19396] ppid=19382 vsize=175768 CPUtime=6.02 cores=0,2,4,6
/proc/19384/task/19396/stat : 19396 (claspmt) R 19382 19384 18837 0 -1 4202560 1760 0 0 0 602 0 0 0 25 0 4 0 520889104 179986432 5878 33554432000 4194304 4964704 140736322710880 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=19384/tid=19397] ppid=19382 vsize=175768 CPUtime=6.02 cores=0,2,4,6
/proc/19384/task/19397/stat : 19397 (claspmt) R 19382 19384 18837 0 -1 4202560 879 0 0 0 602 0 0 0 25 0 4 0 520889104 179986432 5878 33554432000 4194304 4964704 140736322710880 18446744073709551615 4670266 0 0 4096 18946 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 24.36
Current children cumulated vsize (KiB) 175768

[startup+12.7003 s]
/proc/loadavg: 6.60 7.76 7.96 9/184 19398
/proc/meminfo: memFree=30286564/32951124 swapFree=67111364/67111528
[pid=19384] ppid=19382 vsize=181572 CPUtime=49.92 cores=0,2,4,6
/proc/19384/stat : 19384 (claspmt) R 19382 19384 18837 0 -1 4202496 9786 0 0 0 4990 2 0 0 25 0 4 0 520889078 185929728 9431 33554432000 4194304 4964704 140736322710880 18446744073709551615 4668759 0 0 4096 18946 18446744073709551615 0 0 17 2 0 0 0
/proc/19384/statm: 45393 9431 460 189 0 39742 0
[pid=19384/tid=19395] ppid=19382 vsize=181572 CPUtime=12.42 cores=0,2,4,6
/proc/19384/task/19395/stat : 19395 (claspmt) R 19382 19384 18837 0 -1 4202560 2003 0 0 0 1242 0 0 0 25 0 4 0 520889104 185929728 9431 33554432000 4194304 4964704 140736322710880 18446744073709551615 4668609 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=19384/tid=19396] ppid=19382 vsize=181572 CPUtime=12.38 cores=0,2,4,6
/proc/19384/task/19396/stat : 19396 (claspmt) R 19382 19384 18837 0 -1 4202560 3203 0 0 0 1238 0 0 0 25 0 4 0 520889104 185929728 9431 33554432000 4194304 4964704 140736322710880 18446744073709551615 4670454 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=19384/tid=19397] ppid=19382 vsize=181572 CPUtime=12.42 cores=0,2,4,6
/proc/19384/task/19397/stat : 19397 (claspmt) R 19382 19384 18837 0 -1 4202560 1543 0 0 0 1242 0 0 0 25 0 4 0 520889104 185929728 9431 33554432000 4194304 4964704 140736322710880 18446744073709551615 4320848 0 0 4096 18946 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 49.92
Current children cumulated vsize (KiB) 181572

[startup+25.501 s]
/proc/loadavg: 6.91 7.77 7.96 9/184 19398
/proc/meminfo: memFree=30262764/32951124 swapFree=67111364/67111528
[pid=19384] ppid=19382 vsize=187524 CPUtime=101.07 cores=0,2,4,6
/proc/19384/stat : 19384 (claspmt) R 19382 19384 18837 0 -1 4202496 13576 0 0 0 10103 4 0 0 25 0 4 0 520889078 192024576 13026 33554432000 4194304 4964704 140736322710880 18446744073709551615 4627257 0 0 4096 18946 18446744073709551615 0 0 17 2 0 0 0
/proc/19384/statm: 46881 13026 460 189 0 41230 0
[pid=19384/tid=19395] ppid=19382 vsize=187524 CPUtime=25.22 cores=0,2,4,6
/proc/19384/task/19395/stat : 19395 (claspmt) R 19382 19384 18837 0 -1 4202560 2822 0 0 0 2521 1 0 0 25 0 4 0 520889104 192024576 13026 33554432000 4194304 4964704 140736322710880 18446744073709551615 4627293 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=19384/tid=19396] ppid=19382 vsize=187524 CPUtime=25.13 cores=0,2,4,6
/proc/19384/task/19396/stat : 19396 (claspmt) R 19382 19384 18837 0 -1 4202560 5199 0 0 0 2512 1 0 0 25 0 4 0 520889104 192024576 13026 33554432000 4194304 4964704 140736322710880 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=19384/tid=19397] ppid=19382 vsize=187524 CPUtime=25.22 cores=0,2,4,6
/proc/19384/task/19397/stat : 19397 (claspmt) R 19382 19384 18837 0 -1 4202560 1961 0 0 0 2522 0 0 0 25 0 4 0 520889104 192024576 13026 33554432000 4194304 4964704 140736322710880 18446744073709551615 4627335 0 0 4096 18946 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 101.07
Current children cumulated vsize (KiB) 187524

[startup+51.1003 s]
/proc/loadavg: 7.28 7.79 7.96 9/184 19399
/proc/meminfo: memFree=30239676/32951124 swapFree=67111364/67111528
[pid=19384] ppid=19382 vsize=188820 CPUtime=203.33 cores=0,2,4,6
/proc/19384/stat : 19384 (claspmt) R 19382 19384 18837 0 -1 4202496 16500 0 0 0 20328 5 0 0 25 0 4 0 520889078 193351680 15940 33554432000 4194304 4964704 140736322710880 18446744073709551615 4660050 0 0 4096 18946 18446744073709551615 0 0 17 2 0 0 0
/proc/19384/statm: 47205 15940 460 189 0 41554 0
[pid=19384/tid=19395] ppid=19382 vsize=188820 CPUtime=50.82 cores=0,2,4,6
/proc/19384/task/19395/stat : 19395 (claspmt) R 19382 19384 18837 0 -1 4202560 3606 0 0 0 5080 2 0 0 25 0 4 0 520889104 193351680 15940 33554432000 4194304 4964704 140736322710880 18446744073709551615 4670255 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=19384/tid=19396] ppid=19382 vsize=188820 CPUtime=50.61 cores=0,2,4,6
/proc/19384/task/19396/stat : 19396 (claspmt) R 19382 19384 18837 0 -1 4202560 6427 0 0 0 5060 1 0 0 25 0 4 0 520889104 193351680 15940 33554432000 4194304 4964704 140736322710880 18446744073709551615 4668592 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=19384/tid=19397] ppid=19382 vsize=188820 CPUtime=50.82 cores=0,2,4,6
/proc/19384/task/19397/stat : 19397 (claspmt) R 19382 19384 18837 0 -1 4202560 2498 0 0 0 5081 1 0 0 25 0 4 0 520889104 193351680 15940 33554432000 4194304 4964704 140736322710880 18446744073709551615 4626882 0 0 4096 18946 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 203.33
Current children cumulated vsize (KiB) 188820

[startup+102.306 s]
/proc/loadavg: 7.76 7.83 7.96 9/184 19400
/proc/meminfo: memFree=30204696/32951124 swapFree=67111364/67111528
[pid=19384] ppid=19382 vsize=262292 CPUtime=407.9 cores=0,2,4,6
/proc/19384/stat : 19384 (claspmt) R 19382 19384 18837 0 -1 4202496 22724 0 0 0 40780 10 0 0 25 0 4 0 520889078 268587008 22071 33554432000 4194304 4964704 140736322710880 18446744073709551615 4670427 0 0 4096 18946 18446744073709551615 0 0 17 2 0 0 0
/proc/19384/statm: 65573 22071 460 189 0 59922 0
[pid=19384/tid=19395] ppid=19382 vsize=262292 CPUtime=102.01 cores=0,2,4,6
/proc/19384/task/19395/stat : 19395 (claspmt) R 19382 19384 18837 0 -1 4202560 6301 0 0 0 10198 3 0 0 25 0 4 0 520889104 268587008 22071 33554432000 4194304 4964704 140736322710880 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=19384/tid=19396] ppid=19382 vsize=262292 CPUtime=101.57 cores=0,2,4,6
/proc/19384/task/19396/stat : 19396 (claspmt) R 19382 19384 18837 0 -1 4202560 8645 0 0 0 10154 3 0 0 25 0 4 0 520889104 268587008 22071 33554432000 4194304 4964704 140736322710880 18446744073709551615 4670184 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=19384/tid=19397] ppid=19382 vsize=262292 CPUtime=102.02 cores=0,2,4,6
/proc/19384/task/19397/stat : 19397 (claspmt) R 19382 19384 18837 0 -1 4202560 3224 0 0 0 10201 1 0 0 25 0 4 0 520889104 268587008 22071 33554432000 4194304 4964704 140736322710880 18446744073709551615 4338800 0 0 4096 18946 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 407.9
Current children cumulated vsize (KiB) 262292

[startup+162.301 s]
/proc/loadavg: 8.36 7.97 8.00 9/184 19405
/proc/meminfo: memFree=30182820/32951124 swapFree=67111364/67111528
[pid=19384] ppid=19382 vsize=265560 CPUtime=647.6 cores=0,2,4,6
/proc/19384/stat : 19384 (claspmt) R 19382 19384 18837 0 -1 4202496 25968 0 0 0 64747 13 0 0 25 0 4 0 520889078 271933440 25127 33554432000 4194304 4964704 140736322710880 18446744073709551615 4670266 0 0 4096 18946 18446744073709551615 0 0 17 2 0 0 0
/proc/19384/statm: 66390 25127 460 189 0 60739 0
[pid=19384/tid=19395] ppid=19382 vsize=265560 CPUtime=162 cores=0,2,4,6
/proc/19384/task/19395/stat : 19395 (claspmt) R 19382 19384 18837 0 -1 4202560 7344 0 0 0 16196 4 0 0 25 0 4 0 520889104 271933440 25127 33554432000 4194304 4964704 140736322710880 18446744073709551615 4659143 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=19384/tid=19396] ppid=19382 vsize=265560 CPUtime=161.29 cores=0,2,4,6
/proc/19384/task/19396/stat : 19396 (claspmt) R 19382 19384 18837 0 -1 4202560 9884 0 0 0 16125 4 0 0 25 0 4 0 520889104 271933440 25127 33554432000 4194304 4964704 140736322710880 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=19384/tid=19397] ppid=19382 vsize=265560 CPUtime=162.02 cores=0,2,4,6
/proc/19384/task/19397/stat : 19397 (claspmt) R 19382 19384 18837 0 -1 4202560 4084 0 0 0 16200 2 0 0 25 0 4 0 520889104 271933440 25127 33554432000 4194304 4964704 140736322710880 18446744073709551615 4627204 0 0 4096 18946 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 647.6
Current children cumulated vsize (KiB) 265560

[startup+222.301 s]
/proc/loadavg: 8.20 8.00 8.01 9/184 19406
/proc/meminfo: memFree=30162012/32951124 swapFree=67111364/67111528
[pid=19384] ppid=19382 vsize=267748 CPUtime=887.32 cores=0,2,4,6
/proc/19384/stat : 19384 (claspmt) R 19382 19384 18837 0 -1 4202496 28263 0 0 0 88717 15 0 0 25 0 4 0 520889078 274173952 27222 33554432000 4194304 4964704 140736322710880 18446744073709551615 4660043 0 0 4096 18946 18446744073709551615 0 0 17 2 0 0 0
/proc/19384/statm: 66937 27222 460 189 0 61286 0
[pid=19384/tid=19395] ppid=19382 vsize=267748 CPUtime=222 cores=0,2,4,6
/proc/19384/task/19395/stat : 19395 (claspmt) R 19382 19384 18837 0 -1 4202560 8417 0 0 0 22195 5 0 0 25 0 4 0 520889104 274173952 27222 33554432000 4194304 4964704 140736322710880 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=19384/tid=19396] ppid=19382 vsize=267748 CPUtime=221.01 cores=0,2,4,6
/proc/19384/task/19396/stat : 19396 (claspmt) R 19382 19384 18837 0 -1 4202560 10577 0 0 0 22097 4 0 0 25 0 4 0 520889104 274173952 27222 33554432000 4194304 4964704 140736322710880 18446744073709551615 4668609 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=19384/tid=19397] ppid=19382 vsize=267748 CPUtime=222.01 cores=0,2,4,6
/proc/19384/task/19397/stat : 19397 (claspmt) R 19382 19384 18837 0 -1 4202560 4523 0 0 0 22199 2 0 0 25 0 4 0 520889104 274173952 27222 33554432000 4194304 4964704 140736322710880 18446744073709551615 4321099 0 0 4096 18946 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 887.32
Current children cumulated vsize (KiB) 267748

[startup+282.301 s]

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

[pid=19384] ppid=19382 vsize=281116 CPUtime=2805.08 cores=0,2,4,6
/proc/19384/stat : 19384 (claspmt) R 19382 19384 18837 0 -1 4202496 38908 0 0 0 280484 24 0 0 25 0 4 0 520889078 287862784 36465 33554432000 4194304 4964704 140736322710880 18446744073709551615 4364587 0 0 4096 18946 18446744073709551615 0 0 17 2 0 0 0
/proc/19384/statm: 70279 36465 460 189 0 64628 0
[pid=19384/tid=19395] ppid=19382 vsize=281116 CPUtime=702 cores=0,2,4,6
/proc/19384/task/19395/stat : 19395 (claspmt) R 19382 19384 18837 0 -1 4202560 12474 0 0 0 70193 7 0 0 25 0 4 0 520889104 287862784 36465 33554432000 4194304 4964704 140736322710880 18446744073709551615 4670215 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=19384/tid=19396] ppid=19382 vsize=281116 CPUtime=698.78 cores=0,2,4,6
/proc/19384/task/19396/stat : 19396 (claspmt) R 19382 19384 18837 0 -1 4202560 14810 0 0 0 69870 8 0 0 25 0 4 0 520889104 287862784 36465 33554432000 4194304 4964704 140736322710880 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=19384/tid=19397] ppid=19382 vsize=281116 CPUtime=702 cores=0,2,4,6
/proc/19384/task/19397/stat : 19397 (claspmt) R 19382 19384 18837 0 -1 4202560 6633 0 0 0 70195 5 0 0 25 0 4 0 520889104 287862784 36465 33554432000 4194304 4964704 140736322710880 18446744073709551615 4627365 0 0 4096 18946 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 2805.08
Current children cumulated vsize (KiB) 281116

[startup+762.306 s]
/proc/loadavg: 8.06 8.05 8.01 9/184 19541
/proc/meminfo: memFree=30119148/32951124 swapFree=67111364/67111528
[pid=19384] ppid=19382 vsize=281116 CPUtime=3044.82 cores=0,2,4,6
/proc/19384/stat : 19384 (claspmt) R 19382 19384 18837 0 -1 4202496 39659 0 0 0 304457 25 0 0 25 0 4 0 520889078 287862784 36980 33554432000 4194304 4964704 140736322710880 18446744073709551615 4342208 0 0 4096 18946 18446744073709551615 0 0 17 2 0 0 0
/proc/19384/statm: 70279 36980 460 189 0 64628 0
[pid=19384/tid=19395] ppid=19382 vsize=281116 CPUtime=762 cores=0,2,4,6
/proc/19384/task/19395/stat : 19395 (claspmt) R 19382 19384 18837 0 -1 4202560 13051 0 0 0 76192 8 0 0 25 0 4 0 520889104 287862784 36980 33554432000 4194304 4964704 140736322710880 18446744073709551615 4320883 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=19384/tid=19396] ppid=19382 vsize=281116 CPUtime=758.5 cores=0,2,4,6
/proc/19384/task/19396/stat : 19396 (claspmt) R 19382 19384 18837 0 -1 4202560 14957 0 0 0 75842 8 0 0 25 0 4 0 520889104 287862784 36980 33554432000 4194304 4964704 140736322710880 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=19384/tid=19397] ppid=19382 vsize=281116 CPUtime=762.01 cores=0,2,4,6
/proc/19384/task/19397/stat : 19397 (claspmt) R 19382 19384 18837 0 -1 4202560 6651 0 0 0 76196 5 0 0 25 0 4 0 520889104 287862784 36980 33554432000 4194304 4964704 140736322710880 18446744073709551615 4627526 0 0 4096 18946 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3044.82
Current children cumulated vsize (KiB) 281116

[startup+822.3 s]
/proc/loadavg: 8.05 8.05 8.00 9/184 19542
/proc/meminfo: memFree=30112064/32951124 swapFree=67111364/67111528
[pid=19384] ppid=19382 vsize=281652 CPUtime=3284.52 cores=0,2,4,6
/proc/19384/stat : 19384 (claspmt) R 19382 19384 18837 0 -1 4202496 40487 0 0 0 328426 26 0 0 25 0 4 0 520889078 288411648 37617 33554432000 4194304 4964704 140736322710880 18446744073709551615 253640557139 0 0 4096 18946 18446744073709551615 0 0 17 2 0 0 0
/proc/19384/statm: 70413 37617 460 189 0 64762 0
[pid=19384/tid=19395] ppid=19382 vsize=281652 CPUtime=822 cores=0,2,4,6
/proc/19384/task/19395/stat : 19395 (claspmt) R 19382 19384 18837 0 -1 4202560 13441 0 0 0 82192 8 0 0 25 0 4 0 520889104 288411648 37617 33554432000 4194304 4964704 140736322710880 18446744073709551615 4670266 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=19384/tid=19396] ppid=19382 vsize=281652 CPUtime=818.22 cores=0,2,4,6
/proc/19384/task/19396/stat : 19396 (claspmt) R 19382 19384 18837 0 -1 4202560 15248 0 0 0 81814 8 0 0 25 0 4 0 520889104 288411648 37617 33554432000 4194304 4964704 140736322710880 18446744073709551615 4321079 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=19384/tid=19397] ppid=19382 vsize=281652 CPUtime=822 cores=0,2,4,6
/proc/19384/task/19397/stat : 19397 (claspmt) R 19382 19384 18837 0 -1 4202560 6791 0 0 0 82195 5 0 0 25 0 4 0 520889104 288411648 37617 33554432000 4194304 4964704 140736322710880 18446744073709551615 4627335 0 0 4096 18946 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3284.52
Current children cumulated vsize (KiB) 281652

[startup+882.3 s]
/proc/loadavg: 8.02 8.04 8.00 9/184 19544
/proc/meminfo: memFree=30104228/32951124 swapFree=67111364/67111528
[pid=19384] ppid=19382 vsize=283156 CPUtime=3524.24 cores=0,2,4,6
/proc/19384/stat : 19384 (claspmt) R 19382 19384 18837 0 -1 4202496 41718 0 0 0 352397 27 0 0 25 0 4 0 520889078 289951744 38706 33554432000 4194304 4964704 140736322710880 18446744073709551615 4668907 0 0 4096 18946 18446744073709551615 0 0 17 2 0 0 0
/proc/19384/statm: 70789 38706 460 189 0 65138 0
[pid=19384/tid=19395] ppid=19382 vsize=283156 CPUtime=881.99 cores=0,2,4,6
/proc/19384/task/19395/stat : 19395 (claspmt) R 19382 19384 18837 0 -1 4202560 14047 0 0 0 88191 8 0 0 25 0 4 0 520889104 289951744 38706 33554432000 4194304 4964704 140736322710880 18446744073709551615 4320947 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=19384/tid=19396] ppid=19382 vsize=283156 CPUtime=877.94 cores=0,2,4,6
/proc/19384/task/19396/stat : 19396 (claspmt) R 19382 19384 18837 0 -1 4202560 15662 0 0 0 87786 8 0 0 25 0 4 0 520889104 289951744 38706 33554432000 4194304 4964704 140736322710880 18446744073709551615 4653127 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=19384/tid=19397] ppid=19382 vsize=283156 CPUtime=882 cores=0,2,4,6
/proc/19384/task/19397/stat : 19397 (claspmt) R 19382 19384 18837 0 -1 4202560 6906 0 0 0 88195 5 0 0 25 0 4 0 520889104 289951744 38706 33554432000 4194304 4964704 140736322710880 18446744073709551615 4627893 0 0 4096 18946 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3524.24
Current children cumulated vsize (KiB) 283156

[startup+942.3 s]
/proc/loadavg: 8.08 8.05 8.01 9/184 19546
/proc/meminfo: memFree=30098368/32951124 swapFree=67111364/67111528
[pid=19384] ppid=19382 vsize=283156 CPUtime=3763.96 cores=0,2,4,6
/proc/19384/stat : 19384 (claspmt) R 19382 19384 18837 0 -1 4202496 42231 0 0 0 376369 27 0 0 25 0 4 0 520889078 289951744 39031 33554432000 4194304 4964704 140736322710880 18446744073709551615 4670193 0 0 4096 18946 18446744073709551615 0 0 17 2 0 0 0
/proc/19384/statm: 70789 39031 460 189 0 65138 0
[pid=19384/tid=19395] ppid=19382 vsize=283156 CPUtime=942 cores=0,2,4,6
/proc/19384/task/19395/stat : 19395 (claspmt) R 19382 19384 18837 0 -1 4202560 14528 0 0 0 94191 9 0 0 25 0 4 0 520889104 289951744 39031 33554432000 4194304 4964704 140736322710880 18446744073709551615 4670458 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=19384/tid=19396] ppid=19382 vsize=283156 CPUtime=937.66 cores=0,2,4,6
/proc/19384/task/19396/stat : 19396 (claspmt) R 19382 19384 18837 0 -1 4202560 15678 0 0 0 93758 8 0 0 25 0 4 0 520889104 289951744 39031 33554432000 4194304 4964704 140736322710880 18446744073709551615 4627204 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=19384/tid=19397] ppid=19382 vsize=283156 CPUtime=941.99 cores=0,2,4,6
/proc/19384/task/19397/stat : 19397 (claspmt) R 19382 19384 18837 0 -1 4202560 6921 0 0 0 94194 5 0 0 25 0 4 0 520889104 289951744 39031 33554432000 4194304 4964704 140736322710880 18446744073709551615 4670252 0 0 4096 18946 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3763.96
Current children cumulated vsize (KiB) 283156

[startup+1002.3 s]
/proc/loadavg: 8.07 8.05 8.00 9/184 19577
/proc/meminfo: memFree=30153336/32951124 swapFree=67111364/67111528
[pid=19384] ppid=19382 vsize=283864 CPUtime=4003.68 cores=0,2,4,6
/proc/19384/stat : 19384 (claspmt) R 19382 19384 18837 0 -1 4202496 42972 0 0 0 400340 28 0 0 25 0 4 0 520889078 290676736 39584 33554432000 4194304 4964704 140736322710880 18446744073709551615 4670266 0 0 4096 18946 18446744073709551615 0 0 17 2 0 0 0
/proc/19384/statm: 70966 39584 460 189 0 65315 0
[pid=19384/tid=19395] ppid=19382 vsize=283864 CPUtime=1002 cores=0,2,4,6
/proc/19384/task/19395/stat : 19395 (claspmt) R 19382 19384 18837 0 -1 4202560 14971 0 0 0 100191 9 0 0 25 0 4 0 520889104 290676736 39584 33554432000 4194304 4964704 140736322710880 18446744073709551615 4627335 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=19384/tid=19396] ppid=19382 vsize=283864 CPUtime=997.39 cores=0,2,4,6
/proc/19384/task/19396/stat : 19396 (claspmt) R 19382 19384 18837 0 -1 4202560 15968 0 0 0 99730 9 0 0 25 0 4 0 520889104 290676736 39584 33554432000 4194304 4964704 140736322710880 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=19384/tid=19397] ppid=19382 vsize=283864 CPUtime=1001.99 cores=0,2,4,6
/proc/19384/task/19397/stat : 19397 (claspmt) R 19382 19384 18837 0 -1 4202560 6927 0 0 0 100194 5 0 0 25 0 4 0 520889104 290676736 39584 33554432000 4194304 4964704 140736322710880 18446744073709551615 4668668 0 0 4096 18946 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4003.68
Current children cumulated vsize (KiB) 283864

[startup+1062.3 s]
/proc/loadavg: 8.15 8.07 8.01 9/184 19579
/proc/meminfo: memFree=30100584/32951124 swapFree=67111364/67111528
[pid=19384] ppid=19382 vsize=284148 CPUtime=4243.4 cores=0,2,4,6
/proc/19384/stat : 19384 (claspmt) R 19382 19384 18837 0 -1 4202496 43327 0 0 0 424312 28 0 0 25 0 4 0 520889078 290967552 39877 33554432000 4194304 4964704 140736322710880 18446744073709551615 4670228 0 0 4096 18946 18446744073709551615 0 0 17 2 0 0 0
/proc/19384/statm: 71037 39877 460 189 0 65386 0
[pid=19384/tid=19395] ppid=19382 vsize=284148 CPUtime=1061.99 cores=0,2,4,6
/proc/19384/task/19395/stat : 19395 (claspmt) R 19382 19384 18837 0 -1 4202560 15141 0 0 0 106190 9 0 0 25 0 4 0 520889104 290967552 39877 33554432000 4194304 4964704 140736322710880 18446744073709551615 4321076 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=19384/tid=19396] ppid=19382 vsize=284148 CPUtime=1057.12 cores=0,2,4,6
/proc/19384/task/19396/stat : 19396 (claspmt) R 19382 19384 18837 0 -1 4202560 16109 0 0 0 105703 9 0 0 25 0 4 0 520889104 290967552 39877 33554432000 4194304 4964704 140736322710880 18446744073709551615 4670357 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=19384/tid=19397] ppid=19382 vsize=284148 CPUtime=1061.99 cores=0,2,4,6
/proc/19384/task/19397/stat : 19397 (claspmt) R 19382 19384 18837 0 -1 4202560 6969 0 0 0 106194 5 0 0 25 0 4 0 520889104 290967552 39877 33554432000 4194304 4964704 140736322710880 18446744073709551615 4683872 0 0 4096 18946 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4243.4
Current children cumulated vsize (KiB) 284148

[startup+1122.3 s]
/proc/loadavg: 8.06 8.05 8.00 9/184 19580
/proc/meminfo: memFree=30080336/32951124 swapFree=67111364/67111528
[pid=19384] ppid=19382 vsize=284148 CPUtime=4483.12 cores=0,2,4,6
/proc/19384/stat : 19384 (claspmt) R 19382 19384 18837 0 -1 4202496 43642 0 0 0 448283 29 0 0 25 0 4 0 520889078 290967552 40049 33554432000 4194304 4964704 140736322710880 18446744073709551615 4670419 0 0 4096 18946 18446744073709551615 0 0 17 2 0 0 0
/proc/19384/statm: 71037 40049 460 189 0 65386 0
[pid=19384/tid=19395] ppid=19382 vsize=284148 CPUtime=1121.99 cores=0,2,4,6
/proc/19384/task/19395/stat : 19395 (claspmt) R 19382 19384 18837 0 -1 4202560 15395 0 0 0 112190 9 0 0 25 0 4 0 520889104 290967552 40049 33554432000 4194304 4964704 140736322710880 18446744073709551615 4668488 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=19384/tid=19396] ppid=19382 vsize=284148 CPUtime=1116.84 cores=0,2,4,6
/proc/19384/task/19396/stat : 19396 (claspmt) R 19382 19384 18837 0 -1 4202560 16169 0 0 0 111675 9 0 0 25 0 4 0 520889104 290967552 40049 33554432000 4194304 4964704 140736322710880 18446744073709551615 4670230 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=19384/tid=19397] ppid=19382 vsize=284148 CPUtime=1121.99 cores=0,2,4,6
/proc/19384/task/19397/stat : 19397 (claspmt) R 19382 19384 18837 0 -1 4202560 6969 0 0 0 112194 5 0 0 25 0 4 0 520889104 290967552 40049 33554432000 4194304 4964704 140736322710880 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4483.12
Current children cumulated vsize (KiB) 284148

[startup+1182.3 s]
/proc/loadavg: 8.14 8.07 8.01 9/184 19582
/proc/meminfo: memFree=30058592/32951124 swapFree=67111364/67111528
[pid=19384] ppid=19382 vsize=284148 CPUtime=4722.84 cores=0,2,4,6
/proc/19384/stat : 19384 (claspmt) R 19382 19384 18837 0 -1 4202496 45035 0 0 0 472255 29 0 0 25 0 4 0 520889078 290967552 41213 33554432000 4194304 4964704 140736322710880 18446744073709551615 4668618 0 0 4096 18946 18446744073709551615 0 0 17 2 0 0 0
/proc/19384/statm: 71037 41213 460 189 0 65386 0
[pid=19384/tid=19395] ppid=19382 vsize=284148 CPUtime=1181.99 cores=0,2,4,6
/proc/19384/task/19395/stat : 19395 (claspmt) R 19382 19384 18837 0 -1 4202560 15684 0 0 0 118190 9 0 0 25 0 4 0 520889104 290967552 41213 33554432000 4194304 4964704 140736322710880 18446744073709551615 4670419 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=19384/tid=19396] ppid=19382 vsize=284148 CPUtime=1176.56 cores=0,2,4,6
/proc/19384/task/19396/stat : 19396 (claspmt) R 19382 19384 18837 0 -1 4202560 17159 0 0 0 117647 9 0 0 25 0 4 0 520889104 290967552 41213 33554432000 4194304 4964704 140736322710880 18446744073709551615 253640557178 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=19384/tid=19397] ppid=19382 vsize=284148 CPUtime=1181.99 cores=0,2,4,6
/proc/19384/task/19397/stat : 19397 (claspmt) R 19382 19384 18837 0 -1 4202560 7069 0 0 0 118194 5 0 0 25 0 4 0 520889104 290967552 41213 33554432000 4194304 4964704 140736322710880 18446744073709551615 4627204 0 0 4096 18946 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4722.84
Current children cumulated vsize (KiB) 284148



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.7 s]
/proc/loadavg: 8.10 8.07 8.01 10/184 19582
/proc/meminfo: memFree=30055212/32951124 swapFree=67111364/67111528
[pid=19384] ppid=19382 vsize=284148 CPUtime=4800.38 cores=0,2,4,6
/proc/19384/stat : 19384 (claspmt) R 19382 19384 18837 0 -1 4202496 45196 0 0 0 480008 30 0 0 25 0 4 0 520889078 290967552 41374 33554432000 4194304 4964704 140736322710880 18446744073709551615 4654500 0 0 4096 18946 18446744073709551615 0 0 17 2 0 0 0
/proc/19384/statm: 71037 41374 460 189 0 65386 0
[pid=19384/tid=19395] ppid=19382 vsize=284148 CPUtime=1201.4 cores=0,2,4,6
/proc/19384/task/19395/stat : 19395 (claspmt) R 19382 19384 18837 0 -1 4202560 15684 0 0 0 120131 9 0 0 25 0 4 0 520889104 290967552 41374 33554432000 4194304 4964704 140736322710880 18446744073709551615 4670184 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=19384/tid=19396] ppid=19382 vsize=284148 CPUtime=1195.87 cores=0,2,4,6
/proc/19384/task/19396/stat : 19396 (claspmt) R 19382 19384 18837 0 -1 4202560 17315 0 0 0 119578 9 0 0 25 0 4 0 520889104 290967552 41374 33554432000 4194304 4964704 140736322710880 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=19384/tid=19397] ppid=19382 vsize=284148 CPUtime=1201.39 cores=0,2,4,6
/proc/19384/task/19397/stat : 19397 (claspmt) R 19382 19384 18837 0 -1 4202560 7069 0 0 0 120134 5 0 0 25 0 4 0 520889104 290967552 41374 33554432000 4194304 4964704 140736322710880 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4800.38
Current children cumulated vsize (KiB) 284148

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

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

[startup+1201.7 s]
/proc/loadavg: 8.10 8.07 8.01 10/184 19582
/proc/meminfo: memFree=30055212/32951124 swapFree=67111364/67111528
[pid=19384] ppid=19382 vsize=284148 CPUtime=4800.38 cores=0,2,4,6
/proc/19384/stat : 19384 (claspmt) R 19382 19384 18837 0 -1 4202496 45196 0 0 0 480008 30 0 0 25 0 4 0 520889078 290967552 41374 33554432000 4194304 4964704 140736322710880 18446744073709551615 4654500 0 0 4096 18946 18446744073709551615 0 0 17 2 0 0 0
/proc/19384/statm: 71037 41374 460 189 0 65386 0
[pid=19384/tid=19395] ppid=19382 vsize=284148 CPUtime=1201.4 cores=0,2,4,6
/proc/19384/task/19395/stat : 19395 (claspmt) R 19382 19384 18837 0 -1 4202560 15684 0 0 0 120131 9 0 0 25 0 4 0 520889104 290967552 41374 33554432000 4194304 4964704 140736322710880 18446744073709551615 4670184 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=19384/tid=19396] ppid=19382 vsize=284148 CPUtime=1195.87 cores=0,2,4,6
/proc/19384/task/19396/stat : 19396 (claspmt) R 19382 19384 18837 0 -1 4202560 17315 0 0 0 119578 9 0 0 25 0 4 0 520889104 290967552 41374 33554432000 4194304 4964704 140736322710880 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=19384/tid=19397] ppid=19382 vsize=284148 CPUtime=1201.39 cores=0,2,4,6
/proc/19384/task/19397/stat : 19397 (claspmt) R 19382 19384 18837 0 -1 4202560 7069 0 0 0 120134 5 0 0 25 0 4 0 520889104 290967552 41374 33554432000 4194304 4964704 140736322710880 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4800.38
Current children cumulated vsize (KiB) 284148

Child status: 0
Real time (s): 1201.75
CPU time (s): 4800.44
CPU user time (s): 4800.14
CPU system time (s): 0.307953
CPU usage (%): 399.455
Max. virtual memory (cumulated for all children) (KiB): 284148

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4800.14
system time used= 0.307953
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 45208
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= 9241
involuntary context switches= 23437

runsolver used 1.58176 second user time and 3.90141 second system time

The end

Launcher Data 

Begin job on node106 at 2011-04-29 18:01:27
IDJOB=3299537
IDBENCH=83269
IDSOLVER=1683
FILE ID=node106/3299537-1304092887
RUNJOBID= node106-1304092887-19370
PBS_JOBID= 13170570
Free space on /tmp= 72160 MiB

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

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

MD5SUM BENCH= 0c4fc551e2fe598a8074df6204d87f7d
RANDOM SEED=375426397

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      30355280 kB
Buffers:        250288 kB
Cached:        2068784 kB
SwapCached:         88 kB
Active:         782124 kB
Inactive:      1602448 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      30355280 kB
SwapTotal:    67111528 kB
SwapFree:     67111364 kB
Dirty:            2052 kB
Writeback:           0 kB
AnonPages:       64852 kB
Mapped:          14484 kB
Slab:           146444 kB
PageTables:       4728 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   194248 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= 72156 MiB
End job on node106 at 2011-04-29 18:21:31