Trace number 3373385

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) 4801.41 1204.29

General information on the benchmark

NameAPPLICATIONS/satComp09_BioInstances/
rbcl_xits_08_UNSAT.cnf
MD5SUM66aa2e18c32a02f55a810347a9702c7f
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark1067.51
Satisfiable
(Un)Satisfiability was proved
Number of variables1278
Number of clauses68055
Sum of the clauses size202155
Maximum clause length9
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 22148
Number of clauses of size 365884
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 523

Solver Data 

0.00/0.00	c clasp version 2.0.0-RC2
0.00/0.00	c Reading from ...418965/instance-3373385-1305418965.cnf
0.49/0.55	c Solving...
4800.41/1203.32	
4800.41/1203.32	*** INTERRUPTED! ***
4800.41/1203.32	*** Shutting down threads...
4801.32/1204.28	s UNKNOWN
4801.32/1204.28	
4801.32/1204.28	c INTERRUPTED   : 1
4801.32/1204.28	c Models        : 0+    
4801.32/1204.28	c Time          : 1204.222s (Solving: 1203.67s 1st Model: 0.00s Unsat: 0.00s)
4801.32/1204.28	c CPU Time      : 4801.340s

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

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

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


[startup+0 s]
/proc/loadavg: 4.69 3.85 5.43 5/294 6642
/proc/meminfo: memFree=16458664/32951124 swapFree=52307768/67111528
[pid=6642] ppid=6640 vsize=21692 CPUtime=0 cores=1,3,5,7
/proc/6642/stat : 6642 (claspmt) R 6640 6642 5978 0 -1 4202496 723 0 0 0 0 0 0 0 25 0 1 0 653499251 22212608 645 33554432000 4194304 4964800 140735673657456 18446744073709551615 218370618053 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/6642/statm: 5423 646 385 189 0 297 0

[startup+0.0171859 s]
/proc/loadavg: 4.69 3.85 5.43 5/294 6642
/proc/meminfo: memFree=16458664/32951124 swapFree=52307768/67111528
[pid=6642] ppid=6640 vsize=24024 CPUtime=0.01 cores=1,3,5,7
/proc/6642/stat : 6642 (claspmt) R 6640 6642 5978 0 -1 4202496 1472 0 0 0 1 0 0 0 25 0 1 0 653499251 24600576 1223 33554432000 4194304 4964800 140735673657456 18446744073709551615 4599599 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/6642/statm: 6006 1225 385 189 0 880 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 24024

[startup+0.100179 s]
/proc/loadavg: 4.69 3.85 5.43 5/294 6642
/proc/meminfo: memFree=16458664/32951124 swapFree=52307768/67111528
[pid=6642] ppid=6640 vsize=26984 CPUtime=0.09 cores=1,3,5,7
/proc/6642/stat : 6642 (claspmt) R 6640 6642 5978 0 -1 4202496 2277 0 0 0 9 0 0 0 25 0 1 0 653499251 27631616 1896 33554432000 4194304 4964800 140735673657456 18446744073709551615 4607472 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/6642/statm: 6746 1896 398 189 0 1620 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 26984

[startup+0.30013 s]
/proc/loadavg: 4.69 3.85 5.43 5/294 6642
/proc/meminfo: memFree=16458664/32951124 swapFree=52307768/67111528
[pid=6642] ppid=6640 vsize=27644 CPUtime=0.29 cores=1,3,5,7
/proc/6642/stat : 6642 (claspmt) R 6640 6642 5978 0 -1 4202496 2450 0 0 0 29 0 0 0 25 0 1 0 653499251 28307456 2069 33554432000 4194304 4964800 140735673657456 18446744073709551615 4600360 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/6642/statm: 6911 2069 399 189 0 1785 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 27644

[startup+0.701026 s]
/proc/loadavg: 4.69 3.85 5.43 5/294 6642
/proc/meminfo: memFree=16458664/32951124 swapFree=52307768/67111528
[pid=6642] ppid=6640 vsize=176472 CPUtime=1.09 cores=1,3,5,7
/proc/6642/stat : 6642 (claspmt) R 6640 6642 5978 0 -1 4202496 4021 0 0 0 109 0 0 0 18 0 4 0 653499251 180707328 3506 33554432000 4194304 4964800 140735673657456 18446744073709551615 4627269 0 0 4096 18946 18446744073709551615 0 0 17 3 0 0 0
/proc/6642/statm: 44118 3506 458 189 0 38467 0
Current children cumulated CPU time (s) 1.09
Current children cumulated vsize (KiB) 176472

[startup+1.50089 s]
/proc/loadavg: 4.69 3.85 5.43 10/298 6646
/proc/meminfo: memFree=16442164/32951124 swapFree=52307768/67111528
[pid=6642] ppid=6640 vsize=176784 CPUtime=4.29 cores=1,3,5,7
/proc/6642/stat : 6642 (claspmt) R 6640 6642 5978 0 -1 4202496 4979 0 0 0 428 1 0 0 19 0 4 0 653499251 181026816 4464 33554432000 4194304 4964800 140735673657456 18446744073709551615 4670308 0 0 4096 18946 18446744073709551615 0 0 17 3 0 0 0
/proc/6642/statm: 44196 4464 458 189 0 38545 0
[pid=6642/tid=6644] ppid=6640 vsize=176784 CPUtime=0.93 cores=1,3,5,7
/proc/6642/task/6644/stat : 6644 (claspmt) R 6640 6642 5978 0 -1 4202560 503 0 0 0 93 0 0 0 25 0 4 0 653499307 181026816 4464 33554432000 4194304 4964800 140735673657456 18446744073709551615 4668737 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=6642/tid=6645] ppid=6640 vsize=176784 CPUtime=0.92 cores=1,3,5,7
/proc/6642/task/6645/stat : 6645 (claspmt) R 6640 6642 5978 0 -1 4202560 384 0 0 0 92 0 0 0 25 0 4 0 653499307 181026816 4464 33554432000 4194304 4964800 140735673657456 18446744073709551615 4627204 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=6642/tid=6646] ppid=6640 vsize=176784 CPUtime=0.93 cores=1,3,5,7
/proc/6642/task/6646/stat : 6646 (claspmt) R 6640 6642 5978 0 -1 4202560 558 0 0 0 93 0 0 0 25 0 4 0 653499307 181026816 4464 33554432000 4194304 4964800 140735673657456 18446744073709551615 4320928 0 0 4096 18946 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4.29
Current children cumulated vsize (KiB) 176784

[startup+3.1006 s]
/proc/loadavg: 4.69 3.85 5.43 9/298 6646
/proc/meminfo: memFree=16432928/32951124 swapFree=52307768/67111528
[pid=6642] ppid=6640 vsize=178444 CPUtime=10.67 cores=1,3,5,7
/proc/6642/stat : 6642 (claspmt) R 6640 6642 5978 0 -1 4202496 6470 0 0 0 1066 1 0 0 22 0 4 0 653499251 182726656 5955 33554432000 4194304 4964800 140735673657456 18446744073709551615 4668734 0 0 4096 18946 18446744073709551615 0 0 17 3 0 0 0
/proc/6642/statm: 44611 5955 458 189 0 38960 0
[pid=6642/tid=6644] ppid=6640 vsize=178444 CPUtime=2.53 cores=1,3,5,7
/proc/6642/task/6644/stat : 6644 (claspmt) R 6640 6642 5978 0 -1 4202560 705 0 0 0 253 0 0 0 25 0 4 0 653499307 182726656 5955 33554432000 4194304 4964800 140735673657456 18446744073709551615 4670323 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=6642/tid=6645] ppid=6640 vsize=178444 CPUtime=2.51 cores=1,3,5,7
/proc/6642/task/6645/stat : 6645 (claspmt) R 6640 6642 5978 0 -1 4202560 1265 0 0 0 251 0 0 0 25 0 4 0 653499307 182726656 5955 33554432000 4194304 4964800 140735673657456 18446744073709551615 4670346 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=6642/tid=6646] ppid=6640 vsize=178444 CPUtime=2.53 cores=1,3,5,7
/proc/6642/task/6646/stat : 6646 (claspmt) R 6640 6642 5978 0 -1 4202560 823 0 0 0 253 0 0 0 25 0 4 0 653499307 182726656 5955 33554432000 4194304 4964800 140735673657456 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 10.67
Current children cumulated vsize (KiB) 178444

[startup+6.30103 s]
/proc/loadavg: 4.96 3.92 5.45 9/298 6646
/proc/meminfo: memFree=16413736/32951124 swapFree=52307768/67111528
[pid=6642] ppid=6640 vsize=180664 CPUtime=23.45 cores=1,3,5,7
/proc/6642/stat : 6642 (claspmt) R 6640 6642 5978 0 -1 4202496 7909 0 0 0 2343 2 0 0 25 0 4 0 653499251 184999936 7394 33554432000 4194304 4964800 140735673657456 18446744073709551615 4670437 0 0 4096 18946 18446744073709551615 0 0 17 3 0 0 0
/proc/6642/statm: 45166 7394 460 189 0 39515 0
[pid=6642/tid=6644] ppid=6640 vsize=180664 CPUtime=5.73 cores=1,3,5,7
/proc/6642/task/6644/stat : 6644 (claspmt) R 6640 6642 5978 0 -1 4202560 942 0 0 0 573 0 0 0 25 0 4 0 653499307 184999936 7394 33554432000 4194304 4964800 140735673657456 18446744073709551615 4668748 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=6642/tid=6645] ppid=6640 vsize=180664 CPUtime=5.68 cores=1,3,5,7
/proc/6642/task/6645/stat : 6645 (claspmt) R 6640 6642 5978 0 -1 4202560 1844 0 0 0 568 0 0 0 25 0 4 0 653499307 184999936 7394 33554432000 4194304 4964800 140735673657456 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=6642/tid=6646] ppid=6640 vsize=180664 CPUtime=5.73 cores=1,3,5,7
/proc/6642/task/6646/stat : 6646 (claspmt) R 6640 6642 5978 0 -1 4202560 1331 0 0 0 573 0 0 0 25 0 4 0 653499307 184999936 7394 33554432000 4194304 4964800 140735673657456 18446744073709551615 4627290 0 0 4096 18946 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 23.45
Current children cumulated vsize (KiB) 180664

[startup+12.7009 s]
/proc/loadavg: 5.20 3.99 5.46 9/298 6646
/proc/meminfo: memFree=16390668/32951124 swapFree=52307768/67111528
[pid=6642] ppid=6640 vsize=184060 CPUtime=48.98 cores=1,3,5,7
/proc/6642/stat : 6642 (claspmt) R 6640 6642 5978 0 -1 4202496 10425 0 0 0 4894 4 0 0 25 0 4 0 653499251 188477440 9910 33554432000 4194304 4964800 140735673657456 18446744073709551615 4670328 0 0 4096 18946 18446744073709551615 0 0 17 3 0 0 0
/proc/6642/statm: 46015 9910 460 189 0 40364 0
[pid=6642/tid=6644] ppid=6640 vsize=184060 CPUtime=12.13 cores=1,3,5,7
/proc/6642/task/6644/stat : 6644 (claspmt) R 6640 6642 5978 0 -1 4202560 1421 0 0 0 1213 0 0 0 25 0 4 0 653499307 188477440 9910 33554432000 4194304 4964800 140735673657456 18446744073709551615 4670446 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=6642/tid=6645] ppid=6640 vsize=184060 CPUtime=12.01 cores=1,3,5,7
/proc/6642/task/6645/stat : 6645 (claspmt) R 6640 6642 5978 0 -1 4202560 2906 0 0 0 1200 1 0 0 25 0 4 0 653499307 188477440 9910 33554432000 4194304 4964800 140735673657456 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=6642/tid=6646] ppid=6640 vsize=184060 CPUtime=12.12 cores=1,3,5,7
/proc/6642/task/6646/stat : 6646 (claspmt) R 6640 6642 5978 0 -1 4202560 1700 0 0 0 1212 0 0 0 25 0 4 0 653499307 188477440 9910 33554432000 4194304 4964800 140735673657456 18446744073709551615 4668689 0 0 4096 18946 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 48.98
Current children cumulated vsize (KiB) 184060

[startup+25.5006 s]
/proc/loadavg: 5.82 4.18 5.50 9/298 6647
/proc/meminfo: memFree=16344680/32951124 swapFree=52307768/67111528
[pid=6642] ppid=6640 vsize=188880 CPUtime=100.06 cores=1,3,5,7
/proc/6642/stat : 6642 (claspmt) R 6640 6642 5978 0 -1 4202496 13744 0 0 0 10000 6 0 0 25 0 4 0 653499251 193413120 13229 33554432000 4194304 4964800 140735673657456 18446744073709551615 4670534 0 0 4096 18946 18446744073709551615 0 0 17 3 0 0 0
/proc/6642/statm: 47220 13229 460 189 0 41569 0
[pid=6642/tid=6644] ppid=6640 vsize=188880 CPUtime=24.92 cores=1,3,5,7
/proc/6642/task/6644/stat : 6644 (claspmt) R 6640 6642 5978 0 -1 4202560 2150 0 0 0 2492 0 0 0 25 0 4 0 653499307 193413120 13229 33554432000 4194304 4964800 140735673657456 18446744073709551615 4670335 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=6642/tid=6645] ppid=6640 vsize=188880 CPUtime=24.7 cores=1,3,5,7
/proc/6642/task/6645/stat : 6645 (claspmt) R 6640 6642 5978 0 -1 4202560 4400 0 0 0 2468 2 0 0 25 0 4 0 653499307 193413120 13229 33554432000 4194304 4964800 140735673657456 18446744073709551615 4320928 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=6642/tid=6646] ppid=6640 vsize=188880 CPUtime=24.93 cores=1,3,5,7
/proc/6642/task/6646/stat : 6646 (claspmt) R 6640 6642 5978 0 -1 4202560 2213 0 0 0 2492 1 0 0 25 0 4 0 653499307 193413120 13229 33554432000 4194304 4964800 140735673657456 18446744073709551615 4631088 0 0 4096 18946 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 100.06
Current children cumulated vsize (KiB) 188880

[startup+51.1011 s]
/proc/loadavg: 6.56 4.49 5.57 9/298 6647
/proc/meminfo: memFree=16255140/32951124 swapFree=52307768/67111528
[pid=6642] ppid=6640 vsize=199060 CPUtime=202.23 cores=1,3,5,7
/proc/6642/stat : 6642 (claspmt) R 6640 6642 5978 0 -1 4202496 20040 0 0 0 20213 10 0 0 25 0 4 0 653499251 203837440 19151 33554432000 4194304 4964800 140735673657456 18446744073709551615 4670349 0 0 4096 18946 18446744073709551615 0 0 17 3 0 0 0
/proc/6642/statm: 49765 19151 460 189 0 44114 0
[pid=6642/tid=6644] ppid=6640 vsize=199060 CPUtime=50.52 cores=1,3,5,7
/proc/6642/task/6644/stat : 6644 (claspmt) R 6640 6642 5978 0 -1 4202560 3303 0 0 0 5051 1 0 0 25 0 4 0 653499307 203837440 19151 33554432000 4194304 4964800 140735673657456 18446744073709551615 4312137 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=6642/tid=6645] ppid=6640 vsize=199060 CPUtime=50.07 cores=1,3,5,7
/proc/6642/task/6645/stat : 6645 (claspmt) R 6640 6642 5978 0 -1 4202560 7834 0 0 0 5003 4 0 0 25 0 4 0 653499307 203837440 19151 33554432000 4194304 4964800 140735673657456 18446744073709551615 4668777 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=6642/tid=6646] ppid=6640 vsize=199060 CPUtime=50.52 cores=1,3,5,7
/proc/6642/task/6646/stat : 6646 (claspmt) R 6640 6642 5978 0 -1 4202560 3127 0 0 0 5051 1 0 0 25 0 4 0 653499307 203837440 19151 33554432000 4194304 4964800 140735673657456 18446744073709551615 218370654822 0 0 4096 18946 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 202.23
Current children cumulated vsize (KiB) 199060

[startup+102.311 s]
/proc/loadavg: 7.45 5.06 5.70 9/298 6649
/proc/meminfo: memFree=16089212/32951124 swapFree=52307768/67111528
[pid=6642] ppid=6640 vsize=206652 CPUtime=406.58 cores=1,3,5,7
/proc/6642/stat : 6642 (claspmt) R 6640 6642 5978 0 -1 4202496 25545 0 0 0 40644 14 0 0 25 0 4 0 653499251 211611648 24540 33554432000 4194304 4964800 140735673657456 18446744073709551615 4668734 0 0 4096 18946 18446744073709551615 0 0 17 3 0 0 0
/proc/6642/statm: 51663 24540 460 189 0 46012 0
[pid=6642/tid=6644] ppid=6640 vsize=206652 CPUtime=101.73 cores=1,3,5,7
/proc/6642/task/6644/stat : 6644 (claspmt) R 6640 6642 5978 0 -1 4202560 4892 0 0 0 10170 3 0 0 25 0 4 0 653499307 211611648 24540 33554432000 4194304 4964800 140735673657456 18446744073709551615 4668770 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=6642/tid=6645] ppid=6640 vsize=206652 CPUtime=100.8 cores=1,3,5,7
/proc/6642/task/6645/stat : 6645 (claspmt) R 6640 6642 5978 0 -1 4202560 9814 0 0 0 10075 5 0 0 25 0 4 0 653499307 211611648 24540 33554432000 4194304 4964800 140735673657456 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=6642/tid=6646] ppid=6640 vsize=206652 CPUtime=101.73 cores=1,3,5,7
/proc/6642/task/6646/stat : 6646 (claspmt) R 6640 6642 5978 0 -1 4202560 4117 0 0 0 10171 2 0 0 25 0 4 0 653499307 211611648 24540 33554432000 4194304 4964800 140735673657456 18446744073709551615 4670328 0 0 4096 18946 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 406.58
Current children cumulated vsize (KiB) 206652

[startup+162.3 s]
/proc/loadavg: 7.87 5.62 5.85 9/298 6650
/proc/meminfo: memFree=15909520/32951124 swapFree=52307768/67111528
[pid=6642] ppid=6640 vsize=228628 CPUtime=645.98 cores=1,3,5,7
/proc/6642/stat : 6642 (claspmt) R 6640 6642 5978 0 -1 4202496 37241 0 0 0 64576 22 0 0 25 0 4 0 653499251 234115072 35716 33554432000 4194304 4964800 140735673657456 18446744073709551615 4668777 0 0 4096 18946 18446744073709551615 0 0 17 3 0 0 0
/proc/6642/statm: 57157 35716 460 189 0 51506 0
[pid=6642/tid=6644] ppid=6640 vsize=228628 CPUtime=161.71 cores=1,3,5,7
/proc/6642/task/6644/stat : 6644 (claspmt) R 6640 6642 5978 0 -1 4202560 7187 0 0 0 16168 3 0 0 25 0 4 0 653499307 234115072 35716 33554432000 4194304 4964800 140735673657456 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=6642/tid=6645] ppid=6640 vsize=228628 CPUtime=160.25 cores=1,3,5,7
/proc/6642/task/6645/stat : 6645 (claspmt) R 6640 6642 5978 0 -1 4202560 16866 0 0 0 16015 10 0 0 25 0 4 0 653499307 234115072 35716 33554432000 4194304 4964800 140735673657456 18446744073709551615 4668715 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=6642/tid=6646] ppid=6640 vsize=228628 CPUtime=161.71 cores=1,3,5,7
/proc/6642/task/6646/stat : 6646 (claspmt) R 6640 6642 5978 0 -1 4202560 5392 0 0 0 16168 3 0 0 25 0 4 0 653499307 234115072 35716 33554432000 4194304 4964800 140735673657456 18446744073709551615 4668753 0 0 4096 18946 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 645.98
Current children cumulated vsize (KiB) 228628

[startup+222.301 s]
/proc/loadavg: 8.10 6.09 6.00 9/298 6652
/proc/meminfo: memFree=15762932/32951124 swapFree=52307768/67111528
[pid=6642] ppid=6640 vsize=230536 CPUtime=885.44 cores=1,3,5,7
/proc/6642/stat : 6642 (claspmt) R 6640 6642 5978 0 -1 4202496 40337 0 0 0 88519 25 0 0 25 0 4 0 653499251 236068864 38731 33554432000 4194304 4964800 140735673657456 18446744073709551615 4670308 0 0 4096 18946 18446744073709551615 0 0 17 3 0 0 0
/proc/6642/statm: 57634 38731 460 189 0 51983 0
[pid=6642/tid=6644] ppid=6640 vsize=230536 CPUtime=221.71 cores=1,3,5,7
/proc/6642/task/6644/stat : 6644 (claspmt) R 6640 6642 5978 0 -1 4202560 8769 0 0 0 22167 4 0 0 25 0 4 0 653499307 236068864 38731 33554432000 4194304 4964800 140735673657456 18446744073709551615 4660280 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=6642/tid=6645] ppid=6640 vsize=230536 CPUtime=219.7 cores=1,3,5,7
/proc/6642/task/6645/stat : 6645 (claspmt) R 6640 6642 5978 0 -1 4202560 17493 0 0 0 21960 10 0 0 25 0 4 0 653499307 236068864 38731 33554432000 4194304 4964800 140735673657456 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=6642/tid=6646] ppid=6640 vsize=230536 CPUtime=221.72 cores=1,3,5,7
/proc/6642/task/6646/stat : 6646 (claspmt) R 6640 6642 5978 0 -1 4202560 5969 0 0 0 22168 4 0 0 25 0 4 0 653499307 236068864 38731 33554432000 4194304 4964800 140735673657456 18446744073709551615 4670321 0 0 4096 18946 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 885.44
Current children cumulated vsize (KiB) 230536

[startup+282.301 s]

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

[pid=6642/tid=6646] ppid=6640 vsize=395832 CPUtime=701.68 cores=1,3,5,7
/proc/6642/task/6646/stat : 6646 (claspmt) R 6640 6642 5978 0 -1 4202560 9519 0 0 0 70161 7 0 0 25 0 4 0 653499307 405331968 64810 33554432000 4194304 4964800 140735673657456 18446744073709551615 4659352 0 0 4096 18946 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2800.99
Current children cumulated vsize (KiB) 395832

[startup+762.312 s]
/proc/loadavg: 8.00 7.71 6.89 9/298 6666
/proc/meminfo: memFree=14765460/32951124 swapFree=52307768/67111528
[pid=6642] ppid=6640 vsize=398136 CPUtime=3040.46 cores=1,3,5,7
/proc/6642/stat : 6642 (claspmt) R 6640 6642 5978 0 -1 4202496 67870 0 0 0 303995 51 0 0 25 0 4 0 653499251 407691264 65510 33554432000 4194304 4964800 140735673657456 18446744073709551615 4627204 0 0 4096 18946 18446744073709551615 0 0 17 3 0 0 0
/proc/6642/statm: 99534 65510 460 189 0 93883 0
[pid=6642/tid=6644] ppid=6640 vsize=398136 CPUtime=757.81 cores=1,3,5,7
/proc/6642/task/6644/stat : 6644 (claspmt) R 6640 6642 5978 0 -1 4202560 14296 0 0 0 75773 8 0 0 25 0 4 0 653499307 407691264 65510 33554432000 4194304 4964800 140735673657456 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=6642/tid=6645] ppid=6640 vsize=398136 CPUtime=758.65 cores=1,3,5,7
/proc/6642/task/6645/stat : 6645 (claspmt) R 6640 6642 5978 0 -1 4202560 31895 0 0 0 75842 23 0 0 25 0 4 0 653499307 407691264 65510 33554432000 4194304 4964800 140735673657456 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=6642/tid=6646] ppid=6640 vsize=398136 CPUtime=761.68 cores=1,3,5,7
/proc/6642/task/6646/stat : 6646 (claspmt) R 6640 6642 5978 0 -1 4202560 9521 0 0 0 76161 7 0 0 25 0 4 0 653499307 407691264 65510 33554432000 4194304 4964800 140735673657456 18446744073709551615 4670412 0 0 4096 18946 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3040.46
Current children cumulated vsize (KiB) 398136

[startup+822.301 s]
/proc/loadavg: 8.04 7.78 6.96 9/298 6668
/proc/meminfo: memFree=14679136/32951124 swapFree=52307768/67111528
[pid=6642] ppid=6640 vsize=398804 CPUtime=3279.86 cores=1,3,5,7
/proc/6642/stat : 6642 (claspmt) R 6640 6642 5978 0 -1 4202496 68760 0 0 0 327933 53 0 0 25 0 4 0 653499251 408375296 66182 33554432000 4194304 4964800 140735673657456 18446744073709551615 4670332 0 0 4096 18946 18446744073709551615 0 0 17 3 0 0 0
/proc/6642/statm: 99701 66182 460 189 0 94050 0
[pid=6642/tid=6644] ppid=6640 vsize=398804 CPUtime=817.79 cores=1,3,5,7
/proc/6642/task/6644/stat : 6644 (claspmt) R 6640 6642 5978 0 -1 4202560 14778 0 0 0 81770 9 0 0 25 0 4 0 653499307 408375296 66182 33554432000 4194304 4964800 140735673657456 18446744073709551615 4670264 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=6642/tid=6645] ppid=6640 vsize=398804 CPUtime=818.11 cores=1,3,5,7
/proc/6642/task/6645/stat : 6645 (claspmt) R 6640 6642 5978 0 -1 4202560 32244 0 0 0 81787 24 0 0 25 0 4 0 653499307 408375296 66182 33554432000 4194304 4964800 140735673657456 18446744073709551615 4670332 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=6642/tid=6646] ppid=6640 vsize=398804 CPUtime=821.67 cores=1,3,5,7
/proc/6642/task/6646/stat : 6646 (claspmt) R 6640 6642 5978 0 -1 4202560 9568 0 0 0 82159 8 0 0 22 0 4 0 653499307 408375296 66182 33554432000 4194304 4964800 140735673657456 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3279.86
Current children cumulated vsize (KiB) 398804

[startup+882.301 s]
/proc/loadavg: 8.01 7.82 7.02 9/298 6669
/proc/meminfo: memFree=14618232/32951124 swapFree=52307768/67111528
[pid=6642] ppid=6640 vsize=399840 CPUtime=3519.31 cores=1,3,5,7
/proc/6642/stat : 6642 (claspmt) R 6640 6642 5978 0 -1 4202496 69085 0 0 0 351878 53 0 0 25 0 4 0 653499251 409436160 66507 33554432000 4194304 4964800 140735673657456 18446744073709551615 4670308 0 0 4096 18946 18446744073709551615 0 0 17 3 0 0 0
/proc/6642/statm: 99960 66507 460 189 0 94309 0
[pid=6642/tid=6644] ppid=6640 vsize=399840 CPUtime=877.79 cores=1,3,5,7
/proc/6642/task/6644/stat : 6644 (claspmt) R 6640 6642 5978 0 -1 4202560 14974 0 0 0 87770 9 0 0 25 0 4 0 653499307 409436160 66507 33554432000 4194304 4964800 140735673657456 18446744073709551615 4670368 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=6642/tid=6645] ppid=6640 vsize=399840 CPUtime=877.56 cores=1,3,5,7
/proc/6642/task/6645/stat : 6645 (claspmt) R 6640 6642 5978 0 -1 4202560 32264 0 0 0 87732 24 0 0 25 0 4 0 653499307 409436160 66507 33554432000 4194304 4964800 140735673657456 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=6642/tid=6646] ppid=6640 vsize=399840 CPUtime=881.67 cores=1,3,5,7
/proc/6642/task/6646/stat : 6646 (claspmt) R 6640 6642 5978 0 -1 4202560 9677 0 0 0 88159 8 0 0 25 0 4 0 653499307 409436160 66507 33554432000 4194304 4964800 140735673657456 18446744073709551615 4659391 0 0 4096 18946 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3519.31
Current children cumulated vsize (KiB) 399840

[startup+942.301 s]
/proc/loadavg: 8.04 7.86 7.09 9/298 6671
/proc/meminfo: memFree=14536992/32951124 swapFree=52307768/67111528
[pid=6642] ppid=6640 vsize=400700 CPUtime=3758.76 cores=1,3,5,7
/proc/6642/stat : 6642 (claspmt) R 6640 6642 5978 0 -1 4202496 69648 0 0 0 375822 54 0 0 25 0 4 0 653499251 410316800 66946 33554432000 4194304 4964800 140735673657456 18446744073709551615 4670308 0 0 4096 18946 18446744073709551615 0 0 17 3 0 0 0
/proc/6642/statm: 100175 66946 460 189 0 94524 0
[pid=6642/tid=6644] ppid=6640 vsize=400700 CPUtime=937.78 cores=1,3,5,7
/proc/6642/task/6644/stat : 6644 (claspmt) R 6640 6642 5978 0 -1 4202560 15205 0 0 0 93769 9 0 0 25 0 4 0 653499307 410316800 66946 33554432000 4194304 4964800 140735673657456 18446744073709551615 4659391 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=6642/tid=6645] ppid=6640 vsize=400700 CPUtime=937.02 cores=1,3,5,7
/proc/6642/task/6645/stat : 6645 (claspmt) R 6640 6642 5978 0 -1 4202560 32523 0 0 0 93677 25 0 0 25 0 4 0 653499307 410316800 66946 33554432000 4194304 4964800 140735673657456 18446744073709551615 4668773 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=6642/tid=6646] ppid=6640 vsize=400700 CPUtime=941.66 cores=1,3,5,7
/proc/6642/task/6646/stat : 6646 (claspmt) R 6640 6642 5978 0 -1 4202560 9744 0 0 0 94158 8 0 0 25 0 4 0 653499307 410316800 66946 33554432000 4194304 4964800 140735673657456 18446744073709551615 4627338 0 0 4096 18946 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3758.76
Current children cumulated vsize (KiB) 400700

[startup+1002.3 s]
/proc/loadavg: 8.01 7.88 7.14 9/298 6673
/proc/meminfo: memFree=14495560/32951124 swapFree=52307768/67111528
[pid=6642] ppid=6640 vsize=402212 CPUtime=3998.2 cores=1,3,5,7
/proc/6642/stat : 6642 (claspmt) R 6640 6642 5978 0 -1 4202496 70519 0 0 0 399765 55 0 0 25 0 4 0 653499251 411865088 67708 33554432000 4194304 4964800 140735673657456 18446744073709551615 4668773 0 0 4096 18946 18446744073709551615 0 0 17 3 0 0 0
/proc/6642/statm: 100553 67708 460 189 0 94902 0
[pid=6642/tid=6644] ppid=6640 vsize=402212 CPUtime=997.77 cores=1,3,5,7
/proc/6642/task/6644/stat : 6644 (claspmt) R 6640 6642 5978 0 -1 4202560 15676 0 0 0 99768 9 0 0 25 0 4 0 653499307 411865088 67708 33554432000 4194304 4964800 140735673657456 18446744073709551615 4670349 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=6642/tid=6645] ppid=6640 vsize=402212 CPUtime=996.81 cores=1,3,5,7
/proc/6642/task/6645/stat : 6645 (claspmt) R 6640 6642 5978 0 -1 4202560 32820 0 0 0 99656 25 0 0 25 0 4 0 653499307 411865088 67708 33554432000 4194304 4964800 140735673657456 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=6642/tid=6646] ppid=6640 vsize=402212 CPUtime=1001.31 cores=1,3,5,7
/proc/6642/task/6646/stat : 6646 (claspmt) R 6640 6642 5978 0 -1 4202560 9846 0 0 0 100123 8 0 0 25 0 4 0 653499307 411865088 67708 33554432000 4194304 4964800 140735673657456 18446744073709551615 4670180 0 0 4096 18946 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3998.2
Current children cumulated vsize (KiB) 402212

[startup+1062.3 s]
/proc/loadavg: 8.11 7.93 7.20 9/298 6674
/proc/meminfo: memFree=14476820/32951124 swapFree=52307768/67111528
[pid=6642] ppid=6640 vsize=403168 CPUtime=4237.65 cores=1,3,5,7
/proc/6642/stat : 6642 (claspmt) R 6640 6642 5978 0 -1 4202496 71626 0 0 0 423709 56 0 0 25 0 4 0 653499251 412844032 68800 33554432000 4194304 4964800 140735673657456 18446744073709551615 4668712 0 0 4096 18946 18446744073709551615 0 0 17 3 0 0 0
/proc/6642/statm: 100792 68800 460 189 0 95141 0
[pid=6642/tid=6644] ppid=6640 vsize=403168 CPUtime=1057.77 cores=1,3,5,7
/proc/6642/task/6644/stat : 6644 (claspmt) R 6640 6642 5978 0 -1 4202560 16488 0 0 0 105768 9 0 0 25 0 4 0 653499307 412844032 68800 33554432000 4194304 4964800 140735673657456 18446744073709551615 4627204 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=6642/tid=6645] ppid=6640 vsize=403168 CPUtime=1056.8 cores=1,3,5,7
/proc/6642/task/6645/stat : 6645 (claspmt) R 6640 6642 5978 0 -1 4202560 32975 0 0 0 105655 25 0 0 25 0 4 0 653499307 412844032 68800 33554432000 4194304 4964800 140735673657456 18446744073709551615 4668734 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=6642/tid=6646] ppid=6640 vsize=403168 CPUtime=1060.77 cores=1,3,5,7
/proc/6642/task/6646/stat : 6646 (claspmt) R 6640 6642 5978 0 -1 4202560 9980 0 0 0 106069 8 0 0 25 0 4 0 653499307 412844032 68800 33554432000 4194304 4964800 140735673657456 18446744073709551615 4644166 0 0 4096 18946 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4237.65
Current children cumulated vsize (KiB) 403168

[startup+1122.3 s]
/proc/loadavg: 8.11 7.96 7.26 9/298 6676
/proc/meminfo: memFree=14470484/32951124 swapFree=52307768/67111528
[pid=6642] ppid=6640 vsize=403920 CPUtime=4477.1 cores=1,3,5,7
/proc/6642/stat : 6642 (claspmt) R 6640 6642 5978 0 -1 4202496 73077 0 0 0 447653 57 0 0 25 0 4 0 653499251 413614080 70142 33554432000 4194304 4964800 140735673657456 18446744073709551615 4668737 0 0 4096 18946 18446744073709551615 0 0 17 3 0 0 0
/proc/6642/statm: 100980 70142 460 189 0 95329 0
[pid=6642/tid=6644] ppid=6640 vsize=403920 CPUtime=1117.77 cores=1,3,5,7
/proc/6642/task/6644/stat : 6644 (claspmt) R 6640 6642 5978 0 -1 4202560 17120 0 0 0 111767 10 0 0 25 0 4 0 653499307 413614080 70142 33554432000 4194304 4964800 140735673657456 18446744073709551615 4668777 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=6642/tid=6645] ppid=6640 vsize=403920 CPUtime=1116.81 cores=1,3,5,7
/proc/6642/task/6645/stat : 6645 (claspmt) R 6640 6642 5978 0 -1 4202560 33713 0 0 0 111655 26 0 0 25 0 4 0 653499307 413614080 70142 33554432000 4194304 4964800 140735673657456 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=6642/tid=6646] ppid=6640 vsize=403920 CPUtime=1120.22 cores=1,3,5,7
/proc/6642/task/6646/stat : 6646 (claspmt) R 6640 6642 5978 0 -1 4202560 10027 0 0 0 112014 8 0 0 25 0 4 0 653499307 413614080 70142 33554432000 4194304 4964800 140735673657456 18446744073709551615 4670328 0 0 4096 18946 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4477.1
Current children cumulated vsize (KiB) 403920

[startup+1182.3 s]
/proc/loadavg: 7.83 7.90 7.28 10/298 6708
/proc/meminfo: memFree=16419676/32951124 swapFree=52307768/67111528
[pid=6642] ppid=6640 vsize=404732 CPUtime=4716.55 cores=1,3,5,7
/proc/6642/stat : 6642 (claspmt) R 6640 6642 5978 0 -1 4202496 73489 0 0 0 471597 58 0 0 25 0 4 0 653499251 414445568 70554 33554432000 4194304 4964800 140735673657456 18446744073709551615 4670323 0 0 4096 18946 18446744073709551615 0 0 17 3 0 0 0
/proc/6642/statm: 101183 70554 460 189 0 95532 0
[pid=6642/tid=6644] ppid=6640 vsize=404732 CPUtime=1177.77 cores=1,3,5,7
/proc/6642/task/6644/stat : 6644 (claspmt) R 6640 6642 5978 0 -1 4202560 17176 0 0 0 117767 10 0 0 25 0 4 0 653499307 414445568 70554 33554432000 4194304 4964800 140735673657456 18446744073709551615 4320909 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=6642/tid=6645] ppid=6640 vsize=404732 CPUtime=1176.8 cores=1,3,5,7
/proc/6642/task/6645/stat : 6645 (claspmt) R 6640 6642 5978 0 -1 4202560 34015 0 0 0 117654 26 0 0 25 0 4 0 653499307 414445568 70554 33554432000 4194304 4964800 140735673657456 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=6642/tid=6646] ppid=6640 vsize=404732 CPUtime=1179.69 cores=1,3,5,7
/proc/6642/task/6646/stat : 6646 (claspmt) R 6640 6642 5978 0 -1 4202560 10079 0 0 0 117960 9 0 0 25 0 4 0 653499307 414445568 70554 33554432000 4194304 4964800 140735673657456 18446744073709551615 4670499 0 0 4096 18946 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4716.55
Current children cumulated vsize (KiB) 404732



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1203.3 s]
/proc/loadavg: 7.88 7.91 7.29 9/298 6709
/proc/meminfo: memFree=16391508/32951124 swapFree=52307768/67111528
[pid=6642] ppid=6640 vsize=406916 CPUtime=4800.41 cores=1,3,5,7
/proc/6642/stat : 6642 (claspmt) R 6640 6642 5978 0 -1 4202496 74510 0 0 0 479982 59 0 0 25 0 4 0 653499251 416681984 71372 33554432000 4194304 4964800 140735673657456 18446744073709551615 4670308 0 0 4096 18946 18446744073709551615 0 0 17 3 0 0 0
/proc/6642/statm: 101729 71372 460 189 0 96078 0
[pid=6642/tid=6644] ppid=6640 vsize=406916 CPUtime=1198.79 cores=1,3,5,7
/proc/6642/task/6644/stat : 6644 (claspmt) R 6640 6642 5978 0 -1 4202560 17990 0 0 0 119868 11 0 0 25 0 4 0 653499307 416681984 71372 33554432000 4194304 4964800 140735673657456 18446744073709551615 4644896 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=6642/tid=6645] ppid=6640 vsize=406916 CPUtime=1197.83 cores=1,3,5,7
/proc/6642/task/6645/stat : 6645 (claspmt) R 6640 6642 5978 0 -1 4202560 34211 0 0 0 119756 27 0 0 25 0 4 0 653499307 416681984 71372 33554432000 4194304 4964800 140735673657456 18446744073709551615 4670437 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=6642/tid=6646] ppid=6640 vsize=406916 CPUtime=1200.49 cores=1,3,5,7
/proc/6642/task/6646/stat : 6646 (claspmt) R 6640 6642 5978 0 -1 4202560 10080 0 0 0 120040 9 0 0 25 0 4 0 653499307 416681984 71372 33554432000 4194304 4964800 140735673657456 18446744073709551615 4627272 0 0 4096 18946 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4800.41
Current children cumulated vsize (KiB) 406916

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

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

[startup+1203.8 s]
/proc/loadavg: 7.88 7.91 7.29 9/298 6709
/proc/meminfo: memFree=16391508/32951124 swapFree=52307768/67111528
[pid=6642] ppid=6640 vsize=406916 CPUtime=4800.92 cores=1,3,5,7
/proc/6642/stat : 6642 (claspmt) S 6640 6642 5978 0 -1 4202496 74513 0 0 0 480033 59 0 0 25 0 2 0 653499251 416681984 71375 33554432000 4194304 4964800 140735673657456 18446744073709551615 218382759909 0 0 4096 18946 18446744073709551615 0 0 17 3 0 0 0
/proc/6642/statm: 101729 71375 462 189 0 96078 0
[pid=6642/tid=6644] ppid=6640 vsize=406916 CPUtime=1199.27 cores=1,3,5,7
/proc/6642/task/6644/stat : 6644 (claspmt) R 6640 6642 5978 0 -1 4202560 17990 0 0 0 119916 11 0 0 25 0 2 0 653499307 416681984 71375 33554432000 4194304 4964800 140735673657456 18446744073709551615 218370654842 0 0 4096 18946 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4800.92
Current children cumulated vsize (KiB) 406916

[startup+1204.2 s]
/proc/loadavg: 7.88 7.91 7.29 9/298 6709
/proc/meminfo: memFree=16391508/32951124 swapFree=52307768/67111528
[pid=6642] ppid=6640 vsize=406916 CPUtime=4801.32 cores=1,3,5,7
/proc/6642/stat : 6642 (claspmt) S 6640 6642 5978 0 -1 4202496 74513 0 0 0 480073 59 0 0 25 0 2 0 653499251 416681984 71375 33554432000 4194304 4964800 140735673657456 18446744073709551615 218382759909 0 0 4096 18946 18446744073709551615 0 0 17 3 0 0 0
/proc/6642/statm: 101729 71375 462 189 0 96078 0
[pid=6642/tid=6644] ppid=6640 vsize=406916 CPUtime=1199.67 cores=1,3,5,7
/proc/6642/task/6644/stat : 6644 (claspmt) R 6640 6642 5978 0 -1 4202560 17990 0 0 0 119956 11 0 0 25 0 2 0 653499307 416681984 71375 33554432000 4194304 4964800 140735673657456 18446744073709551615 4644906 0 0 4096 18946 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4801.32
Current children cumulated vsize (KiB) 406916

Child status: 0
Real time (s): 1204.29
CPU time (s): 4801.41
CPU user time (s): 4800.8
CPU system time (s): 0.610907
CPU usage (%): 398.693
Max. virtual memory (cumulated for all children) (KiB): 406916

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4800.8
system time used= 0.610907
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 74523
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= 10801
involuntary context switches= 36603

runsolver used 2.85057 second user time and 8.10977 second system time

The end

Launcher Data 

Begin job on node101 at 2011-05-15 02:22:45
IDJOB=3373385
IDBENCH=71078
IDSOLVER=1853
FILE ID=node101/3373385-1305418965
RUNJOBID= node101-1305418842-6527
PBS_JOBID= 13324544
Free space on /tmp= 73712 MiB

SOLVER NAME= claspmt 2.0-R4095-patched (fixed)
BENCH NAME= SAT09/APPLICATIONS/satComp09_BioInstances/rbcl_xits_08_UNSAT.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-3373385-1305418965/watcher-3373385-1305418965 -o /tmp/evaluation-result-3373385-1305418965/solver-3373385-1305418965 -C 4800 -W 1300 -M 15500  HOME/claspmt -t4 -p HOME/sat11-port.txt --distribute=all,2 HOME/instance-3373385-1305418965.cnf

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

MD5SUM BENCH= 66aa2e18c32a02f55a810347a9702c7f
RANDOM SEED=1643113446

node101.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      16459068 kB
Buffers:        327760 kB
Cached:        5949504 kB
SwapCached:      14848 kB
Active:       11153272 kB
Inactive:      5059352 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      16459068 kB
SwapTotal:    67111528 kB
SwapFree:     52307768 kB
Dirty:            2044 kB
Writeback:           0 kB
AnonPages:     9931780 kB
Mapped:          15496 kB
Slab:           153384 kB
PageTables:      62780 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 42290712 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= 73736 MiB
End job on node101 at 2011-05-15 02:42:50