Trace number 3373265

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.26 1204.41

General information on the benchmark

NameCRAFTED/rbsat/random/
forced/rbsat-v2640c305320gyes5.cnf
MD5SUMf892a2bda6fe6aec6f2fcb4e1c541df8
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 variables2640
Number of clauses305320
Sum of the clauses size613120
Maximum clause length33
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 2305240
Number of clauses of size 30
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 580

Solver Data 

0.00/0.00	c clasp version 2.0.0-RC2
0.00/0.00	c Reading from ...419508/instance-3373265-1305419508.cnf
1.69/1.76	c Solving...
4800.04/1204.21	
4800.04/1204.21	*** INTERRUPTED! ***
4800.04/1204.21	*** Shutting down threads...
4800.16/1204.40	s UNKNOWN
4800.16/1204.40	
4800.16/1204.40	c INTERRUPTED   : 1
4800.16/1204.40	c Models        : 0+    
4800.16/1204.40	c Time          : 1204.217s (Solving: 1202.46s 1st Model: 0.00s Unsat: 0.00s)
4800.16/1204.40	c CPU Time      : 4800.060s

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-3373265-1305419508/watcher-3373265-1305419508 -o /tmp/evaluation-result-3373265-1305419508/solver-3373265-1305419508 -C 4800 -W 1300 -M 15500 HOME/claspmt -t4 -p HOME/sat11-port.txt --distribute=all,2 HOME/instance-3373265-1305419508.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.32 7.78 7.92 2/301 18524
/proc/meminfo: memFree=12140068/32951124 swapFree=66050672/67111528
[pid=18524] ppid=18522 vsize=22588 CPUtime=0 cores=0,2,4,6
/proc/18524/stat : 18524 (claspmt) R 18522 18524 18486 0 -1 4202496 1030 0 0 0 0 0 0 0 24 0 1 0 653548682 23130112 850 33554432000 4194304 4964800 140734694792752 18446744073709551615 255376962245 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/18524/statm: 5647 850 385 189 0 521 0

[startup+0.093893 s]
/proc/loadavg: 6.32 7.78 7.92 2/301 18524
/proc/meminfo: memFree=12140068/32951124 swapFree=66050672/67111528
[pid=18524] ppid=18522 vsize=39024 CPUtime=0.08 cores=0,2,4,6
/proc/18524/stat : 18524 (claspmt) R 18522 18524 18486 0 -1 4202496 6144 0 0 0 8 0 0 0 24 0 1 0 653548682 39960576 4880 33554432000 4194304 4964800 140734694792752 18446744073709551615 4616056 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/18524/statm: 9756 4881 396 189 0 4630 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 39024

[startup+0.100891 s]
/proc/loadavg: 6.32 7.78 7.92 2/301 18524
/proc/meminfo: memFree=12140068/32951124 swapFree=66050672/67111528
[pid=18524] ppid=18522 vsize=39684 CPUtime=0.09 cores=0,2,4,6
/proc/18524/stat : 18524 (claspmt) R 18522 18524 18486 0 -1 4202496 6377 0 0 0 9 0 0 0 25 0 1 0 653548682 40636416 5113 33554432000 4194304 4964800 140734694792752 18446744073709551615 4618467 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/18524/statm: 9921 5113 396 189 0 4795 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 39684

[startup+0.300856 s]
/proc/loadavg: 6.32 7.78 7.92 2/301 18524
/proc/meminfo: memFree=12140068/32951124 swapFree=66050672/67111528
[pid=18524] ppid=18522 vsize=39816 CPUtime=0.29 cores=0,2,4,6
/proc/18524/stat : 18524 (claspmt) R 18522 18524 18486 0 -1 4202496 6444 0 0 0 29 0 0 0 25 0 1 0 653548682 40771584 5180 33554432000 4194304 4964800 140734694792752 18446744073709551615 4607562 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/18524/statm: 9954 5180 398 189 0 4828 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 39816

[startup+0.700739 s]
/proc/loadavg: 6.32 7.78 7.92 2/301 18524
/proc/meminfo: memFree=12140068/32951124 swapFree=66050672/67111528
[pid=18524] ppid=18522 vsize=39816 CPUtime=0.69 cores=0,2,4,6
/proc/18524/stat : 18524 (claspmt) R 18522 18524 18486 0 -1 4202496 6444 0 0 0 69 0 0 0 25 0 1 0 653548682 40771584 5180 33554432000 4194304 4964800 140734694792752 18446744073709551615 4607590 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/18524/statm: 9954 5180 398 189 0 4828 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 39816

[startup+1.50059 s]
/proc/loadavg: 6.32 7.78 7.92 7/305 18528
/proc/meminfo: memFree=12108788/32951124 swapFree=66050672/67111528
[pid=18524] ppid=18522 vsize=42852 CPUtime=1.49 cores=0,2,4,6
/proc/18524/stat : 18524 (claspmt) R 18522 18524 18486 0 -1 4202496 7213 0 0 0 149 0 0 0 25 0 1 0 653548682 43880448 5949 33554432000 4194304 4964800 140734694792752 18446744073709551615 4600334 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/18524/statm: 10713 5949 399 189 0 5587 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 42852

[startup+3.10026 s]
/proc/loadavg: 6.32 7.78 7.92 9/308 18531
/proc/meminfo: memFree=12090436/32951124 swapFree=66050672/67111528
[pid=18524] ppid=18522 vsize=188288 CPUtime=7.07 cores=0,2,4,6
/proc/18524/stat : 18524 (claspmt) R 18522 18524 18486 0 -1 4202496 12375 0 0 0 704 3 0 0 18 0 4 0 653548682 192806912 10511 33554432000 4194304 4964800 140734694792752 18446744073709551615 4670273 0 0 4096 18946 18446744073709551615 0 0 17 2 0 0 0
/proc/18524/statm: 47072 10511 458 189 0 41421 0
[pid=18524/tid=18529] ppid=18522 vsize=188288 CPUtime=1.32 cores=0,2,4,6
/proc/18524/task/18529/stat : 18529 (claspmt) R 18522 18524 18486 0 -1 4202560 1012 0 0 0 132 0 0 0 19 0 4 0 653548858 192806912 10511 33554432000 4194304 4964800 140734694792752 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=18524/tid=18530] ppid=18522 vsize=188288 CPUtime=1.31 cores=0,2,4,6
/proc/18524/task/18530/stat : 18530 (claspmt) R 18522 18524 18486 0 -1 4202560 1431 0 0 0 131 0 0 0 19 0 4 0 653548858 192806912 10511 33554432000 4194304 4964800 140734694792752 18446744073709551615 4668896 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=18524/tid=18531] ppid=18522 vsize=188288 CPUtime=1.33 cores=0,2,4,6
/proc/18524/task/18531/stat : 18531 (claspmt) R 18522 18524 18486 0 -1 4202560 1374 0 0 0 133 0 0 0 19 0 4 0 653548858 192806912 10511 33554432000 4194304 4964800 140734694792752 18446744073709551615 4670299 0 0 4096 18946 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 7.07
Current children cumulated vsize (KiB) 188288

[startup+6.30067 s]
/proc/loadavg: 6.45 7.79 7.92 9/308 18531
/proc/meminfo: memFree=12046328/32951124 swapFree=66050672/67111528
[pid=18524] ppid=18522 vsize=197408 CPUtime=19.84 cores=0,2,4,6
/proc/18524/stat : 18524 (claspmt) R 18522 18524 18486 0 -1 4202496 19921 0 0 0 1978 6 0 0 25 0 4 0 653548682 202145792 18057 33554432000 4194304 4964800 140734694792752 18446744073709551615 4670346 0 0 4096 18946 18446744073709551615 0 0 17 2 0 0 0
/proc/18524/statm: 49352 18057 460 189 0 43701 0
[pid=18524/tid=18529] ppid=18522 vsize=197408 CPUtime=4.52 cores=0,2,4,6
/proc/18524/task/18529/stat : 18529 (claspmt) R 18522 18524 18486 0 -1 4202560 3022 0 0 0 451 1 0 0 25 0 4 0 653548858 202145792 18057 33554432000 4194304 4964800 140734694792752 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=18524/tid=18530] ppid=18522 vsize=197408 CPUtime=4.49 cores=0,2,4,6
/proc/18524/task/18530/stat : 18530 (claspmt) R 18522 18524 18486 0 -1 4202560 3582 0 0 0 448 1 0 0 25 0 4 0 653548858 202145792 18057 33554432000 4194304 4964800 140734694792752 18446744073709551615 4670299 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=18524/tid=18531] ppid=18522 vsize=197408 CPUtime=4.52 cores=0,2,4,6
/proc/18524/task/18531/stat : 18531 (claspmt) R 18522 18524 18486 0 -1 4202560 3071 0 0 0 452 0 0 0 25 0 4 0 653548858 202145792 18057 33554432000 4194304 4964800 140734694792752 18446744073709551615 4653316 0 0 4096 18946 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 19.84
Current children cumulated vsize (KiB) 197408

[startup+12.7005 s]
/proc/loadavg: 6.66 7.81 7.93 9/308 18532
/proc/meminfo: memFree=11983836/32951124 swapFree=66050672/67111528
[pid=18524] ppid=18522 vsize=214352 CPUtime=45.38 cores=0,2,4,6
/proc/18524/stat : 18524 (claspmt) R 18522 18524 18486 0 -1 4202496 31005 0 0 0 4528 10 0 0 25 0 4 0 653548682 219496448 29141 33554432000 4194304 4964800 140734694792752 18446744073709551615 4320951 0 0 4096 18946 18446744073709551615 0 0 17 2 0 0 0
/proc/18524/statm: 53588 29141 460 189 0 47937 0
[pid=18524/tid=18529] ppid=18522 vsize=214352 CPUtime=10.92 cores=0,2,4,6
/proc/18524/task/18529/stat : 18529 (claspmt) R 18522 18524 18486 0 -1 4202560 5866 0 0 0 1090 2 0 0 25 0 4 0 653548858 219496448 29141 33554432000 4194304 4964800 140734694792752 18446744073709551615 4320970 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=18524/tid=18530] ppid=18522 vsize=214352 CPUtime=10.83 cores=0,2,4,6
/proc/18524/task/18530/stat : 18530 (claspmt) R 18522 18524 18486 0 -1 4202560 6690 0 0 0 1081 2 0 0 25 0 4 0 653548858 219496448 29141 33554432000 4194304 4964800 140734694792752 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=18524/tid=18531] ppid=18522 vsize=214352 CPUtime=10.93 cores=0,2,4,6
/proc/18524/task/18531/stat : 18531 (claspmt) R 18522 18524 18486 0 -1 4202560 5855 0 0 0 1092 1 0 0 25 0 4 0 653548858 219496448 29141 33554432000 4194304 4964800 140734694792752 18446744073709551615 4669136 0 0 4096 18946 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 45.38
Current children cumulated vsize (KiB) 214352

[startup+25.5011 s]
/proc/loadavg: 6.95 7.82 7.93 9/308 18532
/proc/meminfo: memFree=11899140/32951124 swapFree=66050672/67111528
[pid=18524] ppid=18522 vsize=234600 CPUtime=96.45 cores=0,2,4,6
/proc/18524/stat : 18524 (claspmt) R 18522 18524 18486 0 -1 4202496 44838 0 0 0 9629 16 0 0 25 0 4 0 653548682 240230400 42974 33554432000 4194304 4964800 140734694792752 18446744073709551615 4320970 0 0 4096 18946 18446744073709551615 0 0 17 2 0 0 0
/proc/18524/statm: 58650 42974 460 189 0 52999 0
[pid=18524/tid=18529] ppid=18522 vsize=234600 CPUtime=23.72 cores=0,2,4,6
/proc/18524/task/18529/stat : 18529 (claspmt) R 18522 18524 18486 0 -1 4202560 9924 0 0 0 2368 4 0 0 25 0 4 0 653548858 240230400 42974 33554432000 4194304 4964800 140734694792752 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=18524/tid=18530] ppid=18522 vsize=234600 CPUtime=23.51 cores=0,2,4,6
/proc/18524/task/18530/stat : 18530 (claspmt) R 18522 18524 18486 0 -1 4202560 10642 0 0 0 2347 4 0 0 25 0 4 0 653548858 240230400 42974 33554432000 4194304 4964800 140734694792752 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=18524/tid=18531] ppid=18522 vsize=234600 CPUtime=23.73 cores=0,2,4,6
/proc/18524/task/18531/stat : 18531 (claspmt) R 18522 18524 18486 0 -1 4202560 8655 0 0 0 2370 3 0 0 25 0 4 0 653548858 240230400 42974 33554432000 4194304 4964800 140734694792752 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 96.45
Current children cumulated vsize (KiB) 234600

[startup+51.1004 s]
/proc/loadavg: 7.39 7.85 7.93 9/308 18533
/proc/meminfo: memFree=11821568/32951124 swapFree=66050672/67111528
[pid=18524] ppid=18522 vsize=442240 CPUtime=198.6 cores=0,2,4,6
/proc/18524/stat : 18524 (claspmt) R 18522 18524 18486 0 -1 4202496 56461 0 0 0 19838 22 0 0 25 0 4 0 653548682 452853760 54597 33554432000 4194304 4964800 140734694792752 18446744073709551615 4320955 0 0 4096 18946 18446744073709551615 0 0 17 2 0 0 0
/proc/18524/statm: 110560 54597 460 189 0 104909 0
[pid=18524/tid=18529] ppid=18522 vsize=442240 CPUtime=49.31 cores=0,2,4,6
/proc/18524/task/18529/stat : 18529 (claspmt) R 18522 18524 18486 0 -1 4202560 13590 0 0 0 4925 6 0 0 25 0 4 0 653548858 452853760 54597 33554432000 4194304 4964800 140734694792752 18446744073709551615 4668568 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=18524/tid=18530] ppid=18522 vsize=442240 CPUtime=48.87 cores=0,2,4,6
/proc/18524/task/18530/stat : 18530 (claspmt) R 18522 18524 18486 0 -1 4202560 13469 0 0 0 4882 5 0 0 25 0 4 0 653548858 452853760 54597 33554432000 4194304 4964800 140734694792752 18446744073709551615 4320951 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=18524/tid=18531] ppid=18522 vsize=442240 CPUtime=49.32 cores=0,2,4,6
/proc/18524/task/18531/stat : 18531 (claspmt) R 18522 18524 18486 0 -1 4202560 10187 0 0 0 4929 3 0 0 25 0 4 0 653548858 452853760 54597 33554432000 4194304 4964800 140734694792752 18446744073709551615 4321116 0 0 4096 18946 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 198.6
Current children cumulated vsize (KiB) 442240

[startup+102.311 s]
/proc/loadavg: 8.00 7.94 7.96 9/308 18534
/proc/meminfo: memFree=11705736/32951124 swapFree=66050672/67111528
[pid=18524] ppid=18522 vsize=444552 CPUtime=402.96 cores=0,2,4,6
/proc/18524/stat : 18524 (claspmt) R 18522 18524 18486 0 -1 4202496 74702 0 0 0 40257 39 0 0 25 0 4 0 653548682 455221248 72791 33554432000 4194304 4964800 140734694792752 18446744073709551615 4332327 0 0 4096 18946 18446744073709551615 0 0 17 2 0 0 0
/proc/18524/statm: 111138 72791 460 189 0 105487 0
[pid=18524/tid=18529] ppid=18522 vsize=444552 CPUtime=100.51 cores=0,2,4,6
/proc/18524/task/18529/stat : 18529 (claspmt) R 18522 18524 18486 0 -1 4202560 15812 0 0 0 10043 8 0 0 25 0 4 0 653548858 455221248 72791 33554432000 4194304 4964800 140734694792752 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=18524/tid=18530] ppid=18522 vsize=444552 CPUtime=99.62 cores=0,2,4,6
/proc/18524/task/18530/stat : 18530 (claspmt) R 18522 18524 18486 0 -1 4202560 21393 0 0 0 9949 13 0 0 25 0 4 0 653548858 455221248 72791 33554432000 4194304 4964800 140734694792752 18446744073709551615 4627204 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=18524/tid=18531] ppid=18522 vsize=444552 CPUtime=100.53 cores=0,2,4,6
/proc/18524/task/18531/stat : 18531 (claspmt) R 18522 18524 18486 0 -1 4202560 14040 0 0 0 10046 7 0 0 25 0 4 0 653548858 455221248 72791 33554432000 4194304 4964800 140734694792752 18446744073709551615 4627823 0 0 4096 18946 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 402.96
Current children cumulated vsize (KiB) 444552

[startup+162.301 s]
/proc/loadavg: 8.16 8.00 7.97 9/308 18536
/proc/meminfo: memFree=11573912/32951124 swapFree=66050672/67111528
[pid=18524] ppid=18522 vsize=516608 CPUtime=642.37 cores=0,2,4,6
/proc/18524/stat : 18524 (claspmt) R 18522 18524 18486 0 -1 4202496 99015 0 0 0 64178 59 0 0 25 0 4 0 653548682 529006592 97021 33554432000 4194304 4964800 140734694792752 18446744073709551615 4670346 0 0 4096 18946 18446744073709551615 0 0 17 2 0 0 0
/proc/18524/statm: 129152 97021 460 189 0 123501 0
[pid=18524/tid=18529] ppid=18522 vsize=516608 CPUtime=160.5 cores=0,2,4,6
/proc/18524/task/18529/stat : 18529 (claspmt) R 18522 18524 18486 0 -1 4202560 25455 0 0 0 16035 15 0 0 25 0 4 0 653548858 529006592 97021 33554432000 4194304 4964800 140734694792752 18446744073709551615 4627252 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=18524/tid=18530] ppid=18522 vsize=516608 CPUtime=159.07 cores=0,2,4,6
/proc/18524/task/18530/stat : 18530 (claspmt) R 18522 18524 18486 0 -1 4202560 31201 0 0 0 15886 21 0 0 25 0 4 0 653548858 529006592 97021 33554432000 4194304 4964800 140734694792752 18446744073709551615 4670351 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=18524/tid=18531] ppid=18522 vsize=516608 CPUtime=160.53 cores=0,2,4,6
/proc/18524/task/18531/stat : 18531 (claspmt) R 18522 18524 18486 0 -1 4202560 16788 0 0 0 16043 10 0 0 25 0 4 0 653548858 529006592 97021 33554432000 4194304 4964800 140734694792752 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 642.37
Current children cumulated vsize (KiB) 516608

[startup+222.301 s]
/proc/loadavg: 8.23 8.04 7.99 9/308 18537
/proc/meminfo: memFree=11463420/32951124 swapFree=66050672/67111528
[pid=18524] ppid=18522 vsize=647680 CPUtime=881.81 cores=0,2,4,6
/proc/18524/stat : 18524 (claspmt) R 18522 18524 18486 0 -1 4202496 117501 0 0 0 88103 78 0 0 25 0 4 0 653548682 663224320 115383 33554432000 4194304 4964800 140734694792752 18446744073709551615 4320909 0 0 4096 18946 18446744073709551615 0 0 17 2 0 0 0
/proc/18524/statm: 161920 115383 460 189 0 156269 0
[pid=18524/tid=18529] ppid=18522 vsize=647680 CPUtime=220.49 cores=0,2,4,6
/proc/18524/task/18529/stat : 18529 (claspmt) R 18522 18524 18486 0 -1 4202560 36833 0 0 0 22022 27 0 0 25 0 4 0 653548858 663224320 115383 33554432000 4194304 4964800 140734694792752 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=18524/tid=18530] ppid=18522 vsize=647680 CPUtime=218.51 cores=0,2,4,6
/proc/18524/task/18530/stat : 18530 (claspmt) R 18522 18524 18486 0 -1 4202560 33565 0 0 0 21827 24 0 0 25 0 4 0 653548858 663224320 115383 33554432000 4194304 4964800 140734694792752 18446744073709551615 4321102 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=18524/tid=18531] ppid=18522 vsize=647680 CPUtime=220.53 cores=0,2,4,6
/proc/18524/task/18531/stat : 18531 (claspmt) R 18522 18524 18486 0 -1 4202560 20327 0 0 0 22040 13 0 0 25 0 4 0 653548858 663224320 115383 33554432000 4194304 4964800 140734694792752 18446744073709551615 4321079 0 0 4096 18946 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 881.81
Current children cumulated vsize (KiB) 647680

[startup+282.301 s]
/proc/loadavg: 8.25 8.08 8.00 9/308 18539
/proc/meminfo: memFree=11432412/32951124 swapFree=66050672/67111528
[pid=18524] ppid=18522 vsize=647680 CPUtime=1121.26 cores=0,2,4,6
/proc/18524/stat : 18524 (claspmt) R 18522 18524 18486 0 -1 4202496 117741 0 0 0 112048 78 0 0 25 0 4 0 653548682 663224320 115623 33554432000 4194304 4964800 140734694792752 18446744073709551615 4670499 0 0 4096 18946 18446744073709551615 0 0 17 2 0 0 0
/proc/18524/statm: 161920 115623 460 189 0 156269 0
[pid=18524/tid=18529] ppid=18522 vsize=647680 CPUtime=280.5 cores=0,2,4,6

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

Current children cumulated CPU time (s) 2557.88
Current children cumulated vsize (KiB) 981084

[startup+702.301 s]
/proc/loadavg: 8.36 8.18 8.05 9/308 18550
/proc/meminfo: memFree=10893080/32951124 swapFree=66050672/67111528
[pid=18524] ppid=18522 vsize=981084 CPUtime=2797.29 cores=0,2,4,6
/proc/18524/stat : 18524 (claspmt) R 18522 18524 18486 0 -1 4202496 217131 0 0 0 279561 168 0 0 25 0 4 0 653548682 1004630016 212629 33554432000 4194304 4964800 140734694792752 18446744073709551615 4670299 0 0 4096 18946 18446744073709551615 0 0 17 2 0 0 0
/proc/18524/statm: 245271 212629 460 189 0 239620 0
[pid=18524/tid=18529] ppid=18522 vsize=981084 CPUtime=700.48 cores=0,2,4,6
/proc/18524/task/18529/stat : 18529 (claspmt) R 18522 18524 18486 0 -1 4202560 91255 0 0 0 69975 73 0 0 25 0 4 0 653548858 1004630016 212629 33554432000 4194304 4964800 140734694792752 18446744073709551615 4627204 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=18524/tid=18530] ppid=18522 vsize=981084 CPUtime=694.06 cores=0,2,4,6
/proc/18524/task/18530/stat : 18530 (claspmt) R 18522 18524 18486 0 -1 4202560 54648 0 0 0 69364 42 0 0 25 0 4 0 653548858 1004630016 212629 33554432000 4194304 4964800 140734694792752 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=18524/tid=18531] ppid=18522 vsize=981084 CPUtime=700.54 cores=0,2,4,6
/proc/18524/task/18531/stat : 18531 (claspmt) R 18522 18524 18486 0 -1 4202560 36364 0 0 0 70025 29 0 0 25 0 4 0 653548858 1004630016 212629 33554432000 4194304 4964800 140734694792752 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2797.29
Current children cumulated vsize (KiB) 981084

[startup+762.312 s]
/proc/loadavg: 8.24 8.17 8.06 9/308 18552
/proc/meminfo: memFree=10868148/32951124 swapFree=66050672/67111528
[pid=18524] ppid=18522 vsize=990956 CPUtime=3036.77 cores=0,2,4,6
/proc/18524/stat : 18524 (claspmt) R 18522 18524 18486 0 -1 4202496 222732 0 0 0 303503 174 0 0 25 0 4 0 653548682 1014738944 218230 33554432000 4194304 4964800 140734694792752 18446744073709551615 4670308 0 0 4096 18946 18446744073709551615 0 0 17 2 0 0 0
/proc/18524/statm: 247739 218230 460 189 0 242088 0
[pid=18524/tid=18529] ppid=18522 vsize=990956 CPUtime=760.49 cores=0,2,4,6
/proc/18524/task/18529/stat : 18529 (claspmt) R 18522 18524 18486 0 -1 4202560 91607 0 0 0 75976 73 0 0 25 0 4 0 653548858 1014738944 218230 33554432000 4194304 4964800 140734694792752 18446744073709551615 4670323 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=18524/tid=18530] ppid=18522 vsize=990956 CPUtime=753.52 cores=0,2,4,6
/proc/18524/task/18530/stat : 18530 (claspmt) R 18522 18524 18486 0 -1 4202560 55326 0 0 0 75309 43 0 0 25 0 4 0 653548858 1014738944 218230 33554432000 4194304 4964800 140734694792752 18446744073709551615 4670538 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=18524/tid=18531] ppid=18522 vsize=990956 CPUtime=760.55 cores=0,2,4,6
/proc/18524/task/18531/stat : 18531 (claspmt) R 18522 18524 18486 0 -1 4202560 36572 0 0 0 76026 29 0 0 25 0 4 0 653548858 1014738944 218230 33554432000 4194304 4964800 140734694792752 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3036.77
Current children cumulated vsize (KiB) 990956

[startup+822.301 s]
/proc/loadavg: 8.35 8.20 8.08 9/308 18553
/proc/meminfo: memFree=10833420/32951124 swapFree=66050672/67111528
[pid=18524] ppid=18522 vsize=1067064 CPUtime=3276.15 cores=0,2,4,6
/proc/18524/stat : 18524 (claspmt) R 18522 18524 18486 0 -1 4202496 231343 0 0 0 327433 182 0 0 25 0 4 0 653548682 1092673536 226841 33554432000 4194304 4964800 140734694792752 18446744073709551615 4668568 0 0 4096 18946 18446744073709551615 0 0 17 2 0 0 0
/proc/18524/statm: 266766 226841 460 189 0 261115 0
[pid=18524/tid=18529] ppid=18522 vsize=1067064 CPUtime=820.47 cores=0,2,4,6
/proc/18524/task/18529/stat : 18529 (claspmt) R 18522 18524 18486 0 -1 4202560 93116 0 0 0 81973 74 0 0 25 0 4 0 653548858 1092673536 226841 33554432000 4194304 4964800 140734694792752 18446744073709551615 4627263 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=18524/tid=18530] ppid=18522 vsize=1067064 CPUtime=812.94 cores=0,2,4,6
/proc/18524/task/18530/stat : 18530 (claspmt) R 18522 18524 18486 0 -1 4202560 57127 0 0 0 81251 43 0 0 25 0 4 0 653548858 1092673536 226841 33554432000 4194304 4964800 140734694792752 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=18524/tid=18531] ppid=18522 vsize=1067064 CPUtime=820.53 cores=0,2,4,6
/proc/18524/task/18531/stat : 18531 (claspmt) R 18522 18524 18486 0 -1 4202560 41790 0 0 0 82018 35 0 0 25 0 4 0 653548858 1092673536 226841 33554432000 4194304 4964800 140734694792752 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3276.15
Current children cumulated vsize (KiB) 1067064

[startup+882.3 s]
/proc/loadavg: 8.16 8.18 8.07 9/308 18555
/proc/meminfo: memFree=10826720/32951124 swapFree=66050672/67111528
[pid=18524] ppid=18522 vsize=1067064 CPUtime=3515.58 cores=0,2,4,6
/proc/18524/stat : 18524 (claspmt) R 18522 18524 18486 0 -1 4202496 232399 0 0 0 351375 183 0 0 25 0 4 0 653548682 1092673536 227897 33554432000 4194304 4964800 140734694792752 18446744073709551615 4320909 0 0 4096 18946 18446744073709551615 0 0 17 2 0 0 0
/proc/18524/statm: 266766 227897 460 189 0 261115 0
[pid=18524/tid=18529] ppid=18522 vsize=1067064 CPUtime=880.47 cores=0,2,4,6
/proc/18524/task/18529/stat : 18529 (claspmt) R 18522 18524 18486 0 -1 4202560 93123 0 0 0 87973 74 0 0 25 0 4 0 653548858 1092673536 227897 33554432000 4194304 4964800 140734694792752 18446744073709551615 4321102 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=18524/tid=18530] ppid=18522 vsize=1067064 CPUtime=872.38 cores=0,2,4,6
/proc/18524/task/18530/stat : 18530 (claspmt) R 18522 18524 18486 0 -1 4202560 57230 0 0 0 87195 43 0 0 25 0 4 0 653548858 1092673536 227897 33554432000 4194304 4964800 140734694792752 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=18524/tid=18531] ppid=18522 vsize=1067064 CPUtime=880.53 cores=0,2,4,6
/proc/18524/task/18531/stat : 18531 (claspmt) R 18522 18524 18486 0 -1 4202560 41807 0 0 0 88018 35 0 0 25 0 4 0 653548858 1092673536 227897 33554432000 4194304 4964800 140734694792752 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3515.58
Current children cumulated vsize (KiB) 1067064

[startup+942.3 s]
/proc/loadavg: 8.34 8.22 8.10 9/308 18556
/proc/meminfo: memFree=10806744/32951124 swapFree=66050672/67111528
[pid=18524] ppid=18522 vsize=1067264 CPUtime=3754.99 cores=0,2,4,6
/proc/18524/stat : 18524 (claspmt) R 18522 18524 18486 0 -1 4202496 233769 0 0 0 375315 184 0 0 25 0 4 0 653548682 1092878336 229267 33554432000 4194304 4964800 140734694792752 18446744073709551615 4627540 0 0 4096 18946 18446744073709551615 0 0 17 2 0 0 0
/proc/18524/statm: 266816 229267 460 189 0 261165 0
[pid=18524/tid=18529] ppid=18522 vsize=1067264 CPUtime=940.47 cores=0,2,4,6
/proc/18524/task/18529/stat : 18529 (claspmt) R 18522 18524 18486 0 -1 4202560 94390 0 0 0 93972 75 0 0 25 0 4 0 653548858 1092878336 229267 33554432000 4194304 4964800 140734694792752 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=18524/tid=18530] ppid=18522 vsize=1067264 CPUtime=931.8 cores=0,2,4,6
/proc/18524/task/18530/stat : 18530 (claspmt) R 18522 18524 18486 0 -1 4202560 57287 0 0 0 93137 43 0 0 25 0 4 0 653548858 1092878336 229267 33554432000 4194304 4964800 140734694792752 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=18524/tid=18531] ppid=18522 vsize=1067264 CPUtime=940.54 cores=0,2,4,6
/proc/18524/task/18531/stat : 18531 (claspmt) R 18522 18524 18486 0 -1 4202560 41814 0 0 0 94019 35 0 0 25 0 4 0 653548858 1092878336 229267 33554432000 4194304 4964800 140734694792752 18446744073709551615 4669033 0 0 4096 18946 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3754.99
Current children cumulated vsize (KiB) 1067264

[startup+1002.3 s]
/proc/loadavg: 8.12 8.18 8.09 9/308 18558
/proc/meminfo: memFree=10789384/32951124 swapFree=66050672/67111528
[pid=18524] ppid=18522 vsize=1069324 CPUtime=3994.39 cores=0,2,4,6
/proc/18524/stat : 18524 (claspmt) R 18522 18524 18486 0 -1 4202496 235848 0 0 0 399251 188 0 0 25 0 4 0 653548682 1094987776 231346 33554432000 4194304 4964800 140734694792752 18446744073709551615 4626911 0 0 4096 18946 18446744073709551615 0 0 17 2 0 0 0
/proc/18524/statm: 267331 231346 460 189 0 261680 0
[pid=18524/tid=18529] ppid=18522 vsize=1069324 CPUtime=1000.48 cores=0,2,4,6
/proc/18524/task/18529/stat : 18529 (claspmt) R 18522 18524 18486 0 -1 4202560 95058 0 0 0 99972 76 0 0 25 0 4 0 653548858 1094987776 231346 33554432000 4194304 4964800 140734694792752 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=18524/tid=18530] ppid=18522 vsize=1069324 CPUtime=991.2 cores=0,2,4,6
/proc/18524/task/18530/stat : 18530 (claspmt) R 18522 18524 18486 0 -1 4202560 57784 0 0 0 99076 44 0 0 25 0 4 0 653548858 1094987776 231346 33554432000 4194304 4964800 140734694792752 18446744073709551615 4627204 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=18524/tid=18531] ppid=18522 vsize=1069324 CPUtime=1000.53 cores=0,2,4,6
/proc/18524/task/18531/stat : 18531 (claspmt) R 18522 18524 18486 0 -1 4202560 42264 0 0 0 100017 36 0 0 25 0 4 0 653548858 1094987776 231346 33554432000 4194304 4964800 140734694792752 18446744073709551615 4321121 0 0 4096 18946 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3994.39
Current children cumulated vsize (KiB) 1069324

[startup+1062.3 s]
/proc/loadavg: 8.10 8.16 8.09 9/308 18560
/proc/meminfo: memFree=10788016/32951124 swapFree=66050672/67111528
[pid=18524] ppid=18522 vsize=1070392 CPUtime=4233.8 cores=0,2,4,6
/proc/18524/stat : 18524 (claspmt) R 18522 18524 18486 0 -1 4202496 236184 0 0 0 423191 189 0 0 25 0 4 0 653548682 1096081408 231682 33554432000 4194304 4964800 140734694792752 18446744073709551615 4670308 0 0 4096 18946 18446744073709551615 0 0 17 2 0 0 0
/proc/18524/statm: 267598 231682 460 189 0 261947 0
[pid=18524/tid=18529] ppid=18522 vsize=1070392 CPUtime=1060.46 cores=0,2,4,6
/proc/18524/task/18529/stat : 18529 (claspmt) R 18522 18524 18486 0 -1 4202560 95388 0 0 0 105969 77 0 0 25 0 4 0 653548858 1096081408 231682 33554432000 4194304 4964800 140734694792752 18446744073709551615 4670313 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=18524/tid=18530] ppid=18522 vsize=1070392 CPUtime=1050.64 cores=0,2,4,6
/proc/18524/task/18530/stat : 18530 (claspmt) R 18522 18524 18486 0 -1 4202560 57790 0 0 0 105020 44 0 0 25 0 4 0 653548858 1096081408 231682 33554432000 4194304 4964800 140734694792752 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=18524/tid=18531] ppid=18522 vsize=1070392 CPUtime=1060.53 cores=0,2,4,6
/proc/18524/task/18531/stat : 18531 (claspmt) R 18522 18524 18486 0 -1 4202560 42264 0 0 0 106017 36 0 0 25 0 4 0 653548858 1096081408 231682 33554432000 4194304 4964800 140734694792752 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4233.8
Current children cumulated vsize (KiB) 1070392

[startup+1122.3 s]
/proc/loadavg: 8.16 8.16 8.09 9/308 18561
/proc/meminfo: memFree=10786276/32951124 swapFree=66050672/67111528
[pid=18524] ppid=18522 vsize=1070392 CPUtime=4473.21 cores=0,2,4,6
/proc/18524/stat : 18524 (claspmt) R 18522 18524 18486 0 -1 4202496 236209 0 0 0 447132 189 0 0 25 0 4 0 653548682 1096081408 231707 33554432000 4194304 4964800 140734694792752 18446744073709551615 4332387 0 0 4096 18946 18446744073709551615 0 0 17 2 0 0 0
/proc/18524/statm: 267598 231707 460 189 0 261947 0
[pid=18524/tid=18529] ppid=18522 vsize=1070392 CPUtime=1120.47 cores=0,2,4,6
/proc/18524/task/18529/stat : 18529 (claspmt) R 18522 18524 18486 0 -1 4202560 95404 0 0 0 111970 77 0 0 25 0 4 0 653548858 1096081408 231707 33554432000 4194304 4964800 140734694792752 18446744073709551615 4627204 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=18524/tid=18530] ppid=18522 vsize=1070392 CPUtime=1110.06 cores=0,2,4,6
/proc/18524/task/18530/stat : 18530 (claspmt) R 18522 18524 18486 0 -1 4202560 57799 0 0 0 110961 45 0 0 25 0 4 0 653548858 1096081408 231707 33554432000 4194304 4964800 140734694792752 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=18524/tid=18531] ppid=18522 vsize=1070392 CPUtime=1120.54 cores=0,2,4,6
/proc/18524/task/18531/stat : 18531 (claspmt) R 18522 18524 18486 0 -1 4202560 42264 0 0 0 112018 36 0 0 25 0 4 0 653548858 1096081408 231707 33554432000 4194304 4964800 140734694792752 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4473.21
Current children cumulated vsize (KiB) 1070392

[startup+1182.3 s]
/proc/loadavg: 8.17 8.16 8.09 9/308 18563
/proc/meminfo: memFree=10781428/32951124 swapFree=66050672/67111528
[pid=18524] ppid=18522 vsize=1072984 CPUtime=4712.62 cores=0,2,4,6
/proc/18524/stat : 18524 (claspmt) R 18522 18524 18486 0 -1 4202496 237190 0 0 0 471073 189 0 0 25 0 4 0 653548682 1098735616 232426 33554432000 4194304 4964800 140734694792752 18446744073709551615 4670308 0 0 4096 18946 18446744073709551615 0 0 17 2 0 0 0
/proc/18524/statm: 268246 232426 460 189 0 262595 0
[pid=18524/tid=18529] ppid=18522 vsize=1072984 CPUtime=1180.45 cores=0,2,4,6
/proc/18524/task/18529/stat : 18529 (claspmt) R 18522 18524 18486 0 -1 4202560 95737 0 0 0 117968 77 0 0 25 0 4 0 653548858 1098735616 232426 33554432000 4194304 4964800 140734694792752 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=18524/tid=18530] ppid=18522 vsize=1072984 CPUtime=1169.5 cores=0,2,4,6
/proc/18524/task/18530/stat : 18530 (claspmt) R 18522 18524 18486 0 -1 4202560 58326 0 0 0 116905 45 0 0 25 0 4 0 653548858 1098735616 232426 33554432000 4194304 4964800 140734694792752 18446744073709551615 4627252 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=18524/tid=18531] ppid=18522 vsize=1072984 CPUtime=1180.53 cores=0,2,4,6
/proc/18524/task/18531/stat : 18531 (claspmt) R 18522 18524 18486 0 -1 4202560 42345 0 0 0 118017 36 0 0 25 0 4 0 653548858 1098735616 232426 33554432000 4194304 4964800 140734694792752 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4712.62
Current children cumulated vsize (KiB) 1072984



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1204.2 s]
/proc/loadavg: 8.26 8.18 8.10 5/303 18564
/proc/meminfo: memFree=11211868/32951124 swapFree=66050672/67111528
[pid=18524] ppid=18522 vsize=1077896 CPUtime=4800.04 cores=0,2,4,6
/proc/18524/stat : 18524 (claspmt) R 18522 18524 18486 0 -1 4202496 238411 0 0 0 479814 190 0 0 25 0 4 0 653548682 1103765504 233647 33554432000 4194304 4964800 140734694792752 18446744073709551615 4321102 0 0 4096 18946 18446744073709551615 0 0 17 2 0 0 0
/proc/18524/statm: 269474 233647 460 189 0 263823 0
[pid=18524/tid=18529] ppid=18522 vsize=1077896 CPUtime=1202.37 cores=0,2,4,6
/proc/18524/task/18529/stat : 18529 (claspmt) R 18522 18524 18486 0 -1 4202560 95737 0 0 0 120160 77 0 0 25 0 4 0 653548858 1103765504 233647 33554432000 4194304 4964800 140734694792752 18446744073709551615 4627204 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=18524/tid=18530] ppid=18522 vsize=1077896 CPUtime=1191.18 cores=0,2,4,6
/proc/18524/task/18530/stat : 18530 (claspmt) R 18522 18524 18486 0 -1 4202560 58327 0 0 0 119073 45 0 0 25 0 4 0 653548858 1103765504 233647 33554432000 4194304 4964800 140734694792752 18446744073709551615 4320966 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=18524/tid=18531] ppid=18522 vsize=1077896 CPUtime=1202.44 cores=0,2,4,6
/proc/18524/task/18531/stat : 18531 (claspmt) R 18522 18524 18486 0 -1 4202560 42390 0 0 0 120208 36 0 0 25 0 4 0 653548858 1103765504 233647 33554432000 4194304 4964800 140734694792752 18446744073709551615 4669011 0 0 4096 18946 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4800.04
Current children cumulated vsize (KiB) 1077896

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

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

[startup+1204.4 s]
/proc/loadavg: 8.26 8.18 8.10 2/301 18565
/proc/meminfo: memFree=11994696/32951124 swapFree=66050672/67111528
[pid=18524] ppid=18522 vsize=0 CPUtime=4800.24 cores=0,2,4,6
/proc/18524/stat : 18524 (claspmt) Z 18522 18524 18486 0 -1 4202524 238423 0 0 0 479831 193 0 0 25 0 1 0 653548682 0 0 33554432000 0 0 0 0 0 0 0 4096 18946 18446744073709551615 0 0 17 4 0 0 0
/proc/18524/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 4800.24
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 1204.41
CPU time (s): 4800.26
CPU user time (s): 4798.32
CPU system time (s): 1.9387
CPU usage (%): 398.556
Max. virtual memory (cumulated for all children) (KiB): 1077896

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4798.32
system time used= 1.93871
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 238423
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= 8451
involuntary context switches= 74176

runsolver used 3.10453 second user time and 8.20275 second system time

The end

Launcher Data 

Begin job on node135 at 2011-05-15 02:31:48
IDJOB=3373265
IDBENCH=71408
IDSOLVER=1853
FILE ID=node135/3373265-1305419508
RUNJOBID= node135-1305419508-18504
PBS_JOBID= 13324578
Free space on /tmp= 73336 MiB

SOLVER NAME= claspmt 2.0-R4095-patched (fixed)
BENCH NAME= SAT09/CRAFTED/rbsat/random/forced/rbsat-v2640c305320gyes5.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-3373265-1305419508/watcher-3373265-1305419508 -o /tmp/evaluation-result-3373265-1305419508/solver-3373265-1305419508 -C 4800 -W 1300 -M 15500  HOME/claspmt -t4 -p HOME/sat11-port.txt --distribute=all,2 HOME/instance-3373265-1305419508.cnf

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

MD5SUM BENCH= f892a2bda6fe6aec6f2fcb4e1c541df8
RANDOM SEED=473148875

node135.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.851
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.70
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.851
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.83
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.851
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.851
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	: 6640.14
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.851
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.78
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.851
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.851
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.74
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.851
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.76
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      12140340 kB
Buffers:        280140 kB
Cached:        5867364 kB
SwapCached:      50684 kB
Active:        9889804 kB
Inactive:     10675596 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      12140340 kB
SwapTotal:    67111528 kB
SwapFree:     66050672 kB
Dirty:            6692 kB
Writeback:          24 kB
AnonPages:    14371988 kB
Mapped:          19228 kB
Slab:           135080 kB
PageTables:      46996 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 57057964 kB
VmallocTotal: 34359738367 kB
VmallocUsed:     33868 kB
VmallocChunk: 34359703231 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 73312 MiB
End job on node135 at 2011-05-15 02:51:54