Trace number 3299511

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.28 1202.02

General information on the benchmark

NameSAT03/handmade/anton/UNSAT/
SGI_30_60_29_30_6-dir.shuffled-as.sat03-130.cnf
MD5SUMe826117d87949a5b285e72732bfa395b
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 variables870
Number of clauses69964
Sum of the clauses size140740
Maximum clause length30
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 269935
Number of clauses of size 30
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 529

Solver Data 

0.00/0.00	c clasp version 2.0.0-RC2
0.00/0.00	c Reading from ...100274/instance-3299511-1304100274.cnf
0.29/0.30	c Solving...
4800.14/1201.91	
4800.14/1201.91	*** INTERRUPTED! ***
4800.14/1201.91	*** Shutting down threads...
4800.26/1202.01	s UNKNOWN
4800.26/1202.01	
4800.26/1202.01	c INTERRUPTED   : 1
4800.26/1202.01	c Models        : 0+    
4800.26/1202.01	c Time          : 1201.924s (Solving: 1201.62s 1st Model: 0.00s Unsat: 0.00s)
4800.26/1202.01	c CPU Time      : 4800.180s

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-3299511-1304100274/watcher-3299511-1304100274 -o /tmp/evaluation-result-3299511-1304100274/solver-3299511-1304100274 -C 4800 -W 1300 -M 15500 HOME/claspmt -t4 -p HOME/sat11-port.txt --distribute=all,2 HOME/instance-3299511-1304100274.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: 8.02 8.05 7.96 5/180 7963
/proc/meminfo: memFree=26043588/32951124 swapFree=67111524/67111528
[pid=7963] ppid=7961 vsize=21660 CPUtime=0 cores=0,2,4,6
/proc/7963/stat : 7963 (claspmt) R 7961 7963 7348 0 -1 4202496 702 0 0 0 0 0 0 0 18 0 1 0 521627900 22179840 625 33554432000 4194304 4964704 140735456067520 18446744073709551615 4599599 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/7963/statm: 5415 625 385 189 0 289 0

[startup+0.0599579 s]
/proc/loadavg: 8.02 8.05 7.96 5/180 7963
/proc/meminfo: memFree=26043588/32951124 swapFree=67111524/67111528
[pid=7963] ppid=7961 vsize=25692 CPUtime=0.05 cores=0,2,4,6
/proc/7963/stat : 7963 (claspmt) R 7961 7963 7348 0 -1 4202496 1955 0 0 0 5 0 0 0 18 0 1 0 521627900 26308608 1579 33554432000 4194304 4964704 140735456067520 18446744073709551615 4607590 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/7963/statm: 6423 1579 398 189 0 1297 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 25692

[startup+0.100981 s]
/proc/loadavg: 8.02 8.05 7.96 5/180 7963
/proc/meminfo: memFree=26043588/32951124 swapFree=67111524/67111528
[pid=7963] ppid=7961 vsize=25692 CPUtime=0.09 cores=0,2,4,6
/proc/7963/stat : 7963 (claspmt) R 7961 7963 7348 0 -1 4202496 1955 0 0 0 9 0 0 0 18 0 1 0 521627900 26308608 1579 33554432000 4194304 4964704 140735456067520 18446744073709551615 4607549 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/7963/statm: 6423 1579 398 189 0 1297 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 25692

[startup+0.300936 s]
/proc/loadavg: 8.02 8.05 7.96 5/180 7963
/proc/meminfo: memFree=26043588/32951124 swapFree=67111524/67111528
[pid=7963] ppid=7961 vsize=26088 CPUtime=0.29 cores=0,2,4,6
/proc/7963/stat : 7963 (claspmt) R 7961 7963 7348 0 -1 4202496 2091 0 0 0 29 0 0 0 18 0 1 0 521627900 26714112 1715 33554432000 4194304 4964704 140735456067520 18446744073709551615 4309940 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/7963/statm: 6522 1715 401 189 0 1396 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 26088

[startup+0.7008 s]
/proc/loadavg: 8.02 8.05 7.96 5/180 7963
/proc/meminfo: memFree=26043588/32951124 swapFree=67111524/67111528
[pid=7963] ppid=7961 vsize=174976 CPUtime=1.86 cores=0,2,4,6
/proc/7963/stat : 7963 (claspmt) R 7961 7963 7348 0 -1 4202496 5403 0 0 0 185 1 0 0 19 0 4 0 521627900 179175424 4889 33554432000 4194304 4964704 140735456067520 18446744073709551615 4627299 0 0 4096 18946 18446744073709551615 0 0 17 4 0 0 0
/proc/7963/statm: 43744 4889 458 189 0 38093 0
Current children cumulated CPU time (s) 1.86
Current children cumulated vsize (KiB) 174976

[startup+1.50065 s]
/proc/loadavg: 8.02 8.05 7.96 9/184 7967
/proc/meminfo: memFree=26016036/32951124 swapFree=67111524/67111528
[pid=7963] ppid=7961 vsize=178584 CPUtime=5.05 cores=0,2,4,6
/proc/7963/stat : 7963 (claspmt) R 7961 7963 7348 0 -1 4202496 7816 0 0 0 503 2 0 0 20 0 4 0 521627900 182870016 7302 33554432000 4194304 4964704 140735456067520 18446744073709551615 4627170 0 0 4096 18946 18446744073709551615 0 0 17 4 0 0 0
/proc/7963/statm: 44646 7302 458 189 0 38995 0
[pid=7963/tid=7965] ppid=7961 vsize=178584 CPUtime=1.18 cores=0,2,4,6
/proc/7963/task/7965/stat : 7965 (claspmt) R 7961 7963 7348 0 -1 4202560 1514 0 0 0 118 0 0 0 19 0 4 0 521627930 182870016 7302 33554432000 4194304 4964704 140735456067520 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=7963/tid=7966] ppid=7961 vsize=178584 CPUtime=1.18 cores=0,2,4,6
/proc/7963/task/7966/stat : 7966 (claspmt) R 7961 7963 7348 0 -1 4202560 1339 0 0 0 118 0 0 0 22 0 4 0 521627930 182870016 7302 33554432000 4194304 4964704 140735456067520 18446744073709551615 4320939 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=7963/tid=7967] ppid=7961 vsize=178584 CPUtime=1.17 cores=0,2,4,6
/proc/7963/task/7967/stat : 7967 (claspmt) R 7961 7963 7348 0 -1 4202560 1250 0 0 0 117 0 0 0 22 0 4 0 521627930 182870016 7302 33554432000 4194304 4964704 140735456067520 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 5.05
Current children cumulated vsize (KiB) 178584

[startup+3.10036 s]
/proc/loadavg: 8.02 8.05 7.96 9/184 7967
/proc/meminfo: memFree=26001112/32951124 swapFree=67111524/67111528
[pid=7963] ppid=7961 vsize=245444 CPUtime=11.44 cores=0,2,4,6
/proc/7963/stat : 7963 (claspmt) R 7961 7963 7348 0 -1 4202496 10335 0 0 0 1141 3 0 0 25 0 4 0 521627900 251334656 9821 33554432000 4194304 4964704 140735456067520 18446744073709551615 4683929 0 0 4096 18946 18446744073709551615 0 0 17 4 0 0 0
/proc/7963/statm: 61361 9821 460 189 0 55710 0
[pid=7963/tid=7965] ppid=7961 vsize=245444 CPUtime=2.78 cores=0,2,4,6
/proc/7963/task/7965/stat : 7965 (claspmt) R 7961 7963 7348 0 -1 4202560 1905 0 0 0 278 0 0 0 23 0 4 0 521627930 251334656 9821 33554432000 4194304 4964704 140735456067520 18446744073709551615 4627601 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=7963/tid=7966] ppid=7961 vsize=245444 CPUtime=2.78 cores=0,2,4,6
/proc/7963/task/7966/stat : 7966 (claspmt) R 7961 7963 7348 0 -1 4202560 1840 0 0 0 278 0 0 0 25 0 4 0 521627930 251334656 9821 33554432000 4194304 4964704 140735456067520 18446744073709551615 4668488 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=7963/tid=7967] ppid=7961 vsize=245444 CPUtime=2.77 cores=0,2,4,6
/proc/7963/task/7967/stat : 7967 (claspmt) R 7961 7963 7348 0 -1 4202560 1990 0 0 0 276 1 0 0 25 0 4 0 521627930 251334656 9821 33554432000 4194304 4964704 140735456067520 18446744073709551615 4670260 0 0 4096 18946 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 11.44
Current children cumulated vsize (KiB) 245444

[startup+6.30078 s]
/proc/loadavg: 8.02 8.05 7.96 9/184 7967
/proc/meminfo: memFree=25972328/32951124 swapFree=67111524/67111528
[pid=7963] ppid=7961 vsize=247804 CPUtime=24.24 cores=0,2,4,6
/proc/7963/stat : 7963 (claspmt) R 7961 7963 7348 0 -1 4202496 13715 0 0 0 2419 5 0 0 25 0 4 0 521627900 253751296 13201 33554432000 4194304 4964704 140735456067520 18446744073709551615 4670215 0 0 4096 18946 18446744073709551615 0 0 17 4 0 0 0
/proc/7963/statm: 61951 13201 460 189 0 56300 0
[pid=7963/tid=7965] ppid=7961 vsize=247804 CPUtime=5.98 cores=0,2,4,6
/proc/7963/task/7965/stat : 7965 (claspmt) R 7961 7963 7348 0 -1 4202560 2618 0 0 0 598 0 0 0 25 0 4 0 521627930 253751296 13201 33554432000 4194304 4964704 140735456067520 18446744073709551615 4660107 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=7963/tid=7966] ppid=7961 vsize=247804 CPUtime=5.98 cores=0,2,4,6
/proc/7963/task/7966/stat : 7966 (claspmt) R 7961 7963 7348 0 -1 4202560 2696 0 0 0 598 0 0 0 25 0 4 0 521627930 253751296 13201 33554432000 4194304 4964704 140735456067520 18446744073709551615 4320951 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=7963/tid=7967] ppid=7961 vsize=247804 CPUtime=5.95 cores=0,2,4,6
/proc/7963/task/7967/stat : 7967 (claspmt) R 7961 7963 7348 0 -1 4202560 2682 0 0 0 594 1 0 0 25 0 4 0 521627930 253751296 13201 33554432000 4194304 4964704 140735456067520 18446744073709551615 4627263 0 0 4096 18946 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 24.24
Current children cumulated vsize (KiB) 247804

[startup+12.7006 s]
/proc/loadavg: 8.02 8.05 7.96 9/184 7967
/proc/meminfo: memFree=25930664/32951124 swapFree=67111524/67111528
[pid=7963] ppid=7961 vsize=250344 CPUtime=49.8 cores=0,2,4,6
/proc/7963/stat : 7963 (claspmt) R 7961 7963 7348 0 -1 4202496 19331 0 0 0 4971 9 0 0 25 0 4 0 521627900 256352256 18817 33554432000 4194304 4964704 140735456067520 18446744073709551615 4320909 0 0 4096 18946 18446744073709551615 0 0 17 4 0 0 0
/proc/7963/statm: 62586 18817 460 189 0 56935 0
[pid=7963/tid=7965] ppid=7961 vsize=250344 CPUtime=12.38 cores=0,2,4,6
/proc/7963/task/7965/stat : 7965 (claspmt) R 7961 7963 7348 0 -1 4202560 4556 0 0 0 1236 2 0 0 25 0 4 0 521627930 256352256 18817 33554432000 4194304 4964704 140735456067520 18446744073709551615 4660156 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=7963/tid=7966] ppid=7961 vsize=250344 CPUtime=12.38 cores=0,2,4,6
/proc/7963/task/7966/stat : 7966 (claspmt) R 7961 7963 7348 0 -1 4202560 3924 0 0 0 1237 1 0 0 25 0 4 0 521627930 256352256 18817 33554432000 4194304 4964704 140735456067520 18446744073709551615 4320909 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=7963/tid=7967] ppid=7961 vsize=250344 CPUtime=12.33 cores=0,2,4,6
/proc/7963/task/7967/stat : 7967 (claspmt) R 7961 7963 7348 0 -1 4202560 2730 0 0 0 1231 2 0 0 25 0 4 0 521627930 256352256 18817 33554432000 4194304 4964704 140735456067520 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 49.8
Current children cumulated vsize (KiB) 250344

[startup+25.5003 s]
/proc/loadavg: 8.08 8.06 7.97 9/184 7968
/proc/meminfo: memFree=25885392/32951124 swapFree=67111524/67111528
[pid=7963] ppid=7961 vsize=255340 CPUtime=100.94 cores=0,2,4,6
/proc/7963/stat : 7963 (claspmt) R 7961 7963 7348 0 -1 4202496 23477 0 0 0 10083 11 0 0 25 0 4 0 521627900 261468160 22963 33554432000 4194304 4964704 140735456067520 18446744073709551615 4658308 0 0 4096 18946 18446744073709551615 0 0 17 4 0 0 0
/proc/7963/statm: 63835 22963 460 189 0 58184 0
[pid=7963/tid=7965] ppid=7961 vsize=255340 CPUtime=25.17 cores=0,2,4,6
/proc/7963/task/7965/stat : 7965 (claspmt) R 7961 7963 7348 0 -1 4202560 5436 0 0 0 2515 2 0 0 25 0 4 0 521627930 261468160 22963 33554432000 4194304 4964704 140735456067520 18446744073709551615 4670277 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=7963/tid=7966] ppid=7961 vsize=255340 CPUtime=25.18 cores=0,2,4,6
/proc/7963/task/7966/stat : 7966 (claspmt) R 7961 7963 7348 0 -1 4202560 5010 0 0 0 2517 1 0 0 25 0 4 0 521627930 261468160 22963 33554432000 4194304 4964704 140735456067520 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=7963/tid=7967] ppid=7961 vsize=255340 CPUtime=25.06 cores=0,2,4,6
/proc/7963/task/7967/stat : 7967 (claspmt) R 7961 7963 7348 0 -1 4202560 3856 0 0 0 2504 2 0 0 25 0 4 0 521627930 261468160 22963 33554432000 4194304 4964704 140735456067520 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 100.94
Current children cumulated vsize (KiB) 255340

[startup+51.1006 s]
/proc/loadavg: 8.05 8.05 7.97 9/184 7968
/proc/meminfo: memFree=25793844/32951124 swapFree=67111524/67111528
[pid=7963] ppid=7961 vsize=264980 CPUtime=203.2 cores=0,2,4,6
/proc/7963/stat : 7963 (claspmt) R 7961 7963 7348 0 -1 4202496 33765 0 0 0 20303 17 0 0 25 0 4 0 521627900 271339520 33239 33554432000 4194304 4964704 140735456067520 18446744073709551615 4670228 0 0 4096 18946 18446744073709551615 0 0 17 4 0 0 0
/proc/7963/statm: 66245 33239 460 189 0 60594 0
[pid=7963/tid=7965] ppid=7961 vsize=264980 CPUtime=50.77 cores=0,2,4,6
/proc/7963/task/7965/stat : 7965 (claspmt) R 7961 7963 7348 0 -1 4202560 9639 0 0 0 5072 5 0 0 25 0 4 0 521627930 271339520 33239 33554432000 4194304 4964704 140735456067520 18446744073709551615 4362191 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=7963/tid=7966] ppid=7961 vsize=264980 CPUtime=50.78 cores=0,2,4,6
/proc/7963/task/7966/stat : 7966 (claspmt) R 7961 7963 7348 0 -1 4202560 6896 0 0 0 5075 3 0 0 25 0 4 0 521627930 271339520 33239 33554432000 4194304 4964704 140735456067520 18446744073709551615 4320909 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=7963/tid=7967] ppid=7961 vsize=264980 CPUtime=50.54 cores=0,2,4,6
/proc/7963/task/7967/stat : 7967 (claspmt) R 7961 7963 7348 0 -1 4202560 6754 0 0 0 5050 4 0 0 25 0 4 0 521627930 271339520 33239 33554432000 4194304 4964704 140735456067520 18446744073709551615 4670219 0 0 4096 18946 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 203.2
Current children cumulated vsize (KiB) 264980

[startup+102.306 s]
/proc/loadavg: 8.07 8.06 7.97 9/184 7970
/proc/meminfo: memFree=25665092/32951124 swapFree=67111524/67111528
[pid=7963] ppid=7961 vsize=284428 CPUtime=407.75 cores=0,2,4,6
/proc/7963/stat : 7963 (claspmt) R 7961 7963 7348 0 -1 4202496 50684 0 0 0 40745 30 0 0 25 0 4 0 521627900 291254272 50070 33554432000 4194304 4964704 140735456067520 18446744073709551615 4627536 0 0 4096 18946 18446744073709551615 0 0 17 4 0 0 0
/proc/7963/statm: 71107 50070 460 189 0 65456 0
[pid=7963/tid=7965] ppid=7961 vsize=284428 CPUtime=101.98 cores=0,2,4,6
/proc/7963/task/7965/stat : 7965 (claspmt) R 7961 7963 7348 0 -1 4202560 16181 0 0 0 10189 9 0 0 25 0 4 0 521627930 291254272 50070 33554432000 4194304 4964704 140735456067520 18446744073709551615 4670277 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=7963/tid=7966] ppid=7961 vsize=284428 CPUtime=101.99 cores=0,2,4,6
/proc/7963/task/7966/stat : 7966 (claspmt) R 7961 7963 7348 0 -1 4202560 9478 0 0 0 10195 4 0 0 25 0 4 0 521627930 291254272 50070 33554432000 4194304 4964704 140735456067520 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=7963/tid=7967] ppid=7961 vsize=284428 CPUtime=101.47 cores=0,2,4,6
/proc/7963/task/7967/stat : 7967 (claspmt) R 7961 7963 7348 0 -1 4202560 10774 0 0 0 10139 8 0 0 25 0 4 0 521627930 291254272 50070 33554432000 4194304 4964704 140735456067520 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 407.75
Current children cumulated vsize (KiB) 284428

[startup+162.301 s]
/proc/loadavg: 8.07 8.06 7.98 9/184 7971
/proc/meminfo: memFree=25569056/32951124 swapFree=67111524/67111528
[pid=7963] ppid=7961 vsize=356664 CPUtime=647.41 cores=0,2,4,6
/proc/7963/stat : 7963 (claspmt) R 7961 7963 7348 0 -1 4202496 61247 0 0 0 64702 39 0 0 25 0 4 0 521627900 365223936 60502 33554432000 4194304 4964704 140735456067520 18446744073709551615 4320909 0 0 4096 18946 18446744073709551615 0 0 17 4 0 0 0
/proc/7963/statm: 89166 60502 460 189 0 83515 0
[pid=7963/tid=7965] ppid=7961 vsize=356664 CPUtime=161.97 cores=0,2,4,6
/proc/7963/task/7965/stat : 7965 (claspmt) R 7961 7963 7348 0 -1 4202560 17781 0 0 0 16187 10 0 0 25 0 4 0 521627930 365223936 60502 33554432000 4194304 4964704 140735456067520 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=7963/tid=7966] ppid=7961 vsize=356664 CPUtime=161.99 cores=0,2,4,6
/proc/7963/task/7966/stat : 7966 (claspmt) R 7961 7963 7348 0 -1 4202560 12167 0 0 0 16193 6 0 0 25 0 4 0 521627930 365223936 60502 33554432000 4194304 4964704 140735456067520 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=7963/tid=7967] ppid=7961 vsize=356664 CPUtime=161.16 cores=0,2,4,6
/proc/7963/task/7967/stat : 7967 (claspmt) R 7961 7963 7348 0 -1 4202560 13020 0 0 0 16105 11 0 0 25 0 4 0 521627930 365223936 60502 33554432000 4194304 4964704 140735456067520 18446744073709551615 4670281 0 0 4096 18946 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 647.41
Current children cumulated vsize (KiB) 356664

[startup+222.301 s]
/proc/loadavg: 8.02 8.05 7.98 9/184 7973
/proc/meminfo: memFree=25529928/32951124 swapFree=67111524/67111528
[pid=7963] ppid=7961 vsize=432156 CPUtime=887.09 cores=0,2,4,6
/proc/7963/stat : 7963 (claspmt) R 7961 7963 7348 0 -1 4202496 70396 0 0 0 88663 46 0 0 25 0 4 0 521627900 442527744 68978 33554432000 4194304 4964704 140735456067520 18446744073709551615 4670184 0 0 4096 18946 18446744073709551615 0 0 17 4 0 0 0
/proc/7963/statm: 108039 68978 460 189 0 102388 0
[pid=7963/tid=7965] ppid=7961 vsize=432156 CPUtime=221.97 cores=0,2,4,6
/proc/7963/task/7965/stat : 7965 (claspmt) R 7961 7963 7348 0 -1 4202560 19765 0 0 0 22185 12 0 0 25 0 4 0 521627930 442527744 68978 33554432000 4194304 4964704 140735456067520 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=7963/tid=7966] ppid=7961 vsize=432156 CPUtime=221.99 cores=0,2,4,6
/proc/7963/task/7966/stat : 7966 (claspmt) R 7961 7963 7348 0 -1 4202560 16597 0 0 0 22191 8 0 0 25 0 4 0 521627930 442527744 68978 33554432000 4194304 4964704 140735456067520 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=7963/tid=7967] ppid=7961 vsize=432156 CPUtime=220.84 cores=0,2,4,6
/proc/7963/task/7967/stat : 7967 (claspmt) R 7961 7963 7348 0 -1 4202560 14899 0 0 0 22071 13 0 0 25 0 4 0 521627930 442527744 68978 33554432000 4194304 4964704 140735456067520 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 887.09
Current children cumulated vsize (KiB) 432156

[startup+282.301 s]

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

Current children cumulated CPU time (s) 2564.82
Current children cumulated vsize (KiB) 545964

[startup+702.301 s]
/proc/loadavg: 8.11 8.08 8.01 9/184 7986
/proc/meminfo: memFree=25290256/32951124 swapFree=67111524/67111528
[pid=7963] ppid=7961 vsize=552692 CPUtime=2804.48 cores=0,2,4,6
/proc/7963/stat : 7963 (claspmt) R 7961 7963 7348 0 -1 4202496 107819 0 0 0 280372 76 0 0 25 0 4 0 521627900 565956608 105246 33554432000 4194304 4964704 140735456067520 18446744073709551615 4670248 0 0 4096 18946 18446744073709551615 0 0 17 4 0 0 0
/proc/7963/statm: 138173 105246 460 189 0 132522 0
[pid=7963/tid=7965] ppid=7961 vsize=552692 CPUtime=701.95 cores=0,2,4,6
/proc/7963/task/7965/stat : 7965 (claspmt) R 7961 7963 7348 0 -1 4202560 24373 0 0 0 70177 18 0 0 25 0 4 0 521627930 565956608 105246 33554432000 4194304 4964704 140735456067520 18446744073709551615 4320909 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=7963/tid=7966] ppid=7961 vsize=552692 CPUtime=701.99 cores=0,2,4,6
/proc/7963/task/7966/stat : 7966 (claspmt) R 7961 7963 7348 0 -1 4202560 26298 0 0 0 70188 11 0 0 25 0 4 0 521627930 565956608 105246 33554432000 4194304 4964704 140735456067520 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=7963/tid=7967] ppid=7961 vsize=552692 CPUtime=698.27 cores=0,2,4,6
/proc/7963/task/7967/stat : 7967 (claspmt) R 7961 7963 7348 0 -1 4202560 26674 0 0 0 69803 24 0 0 25 0 4 0 521627930 565956608 105246 33554432000 4194304 4964704 140735456067520 18446744073709551615 4320909 0 0 4096 18946 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2804.48
Current children cumulated vsize (KiB) 552692

[startup+762.306 s]
/proc/loadavg: 8.15 8.10 8.01 9/184 7987
/proc/meminfo: memFree=25262540/32951124 swapFree=67111524/67111528
[pid=7963] ppid=7961 vsize=557128 CPUtime=3044.15 cores=0,2,4,6
/proc/7963/stat : 7963 (claspmt) R 7961 7963 7348 0 -1 4202496 114298 0 0 0 304331 84 0 0 25 0 4 0 521627900 570499072 111319 33554432000 4194304 4964704 140735456067520 18446744073709551615 4644840 0 0 4096 18946 18446744073709551615 0 0 17 4 0 0 0
/proc/7963/statm: 139282 111319 460 189 0 133631 0
[pid=7963/tid=7965] ppid=7961 vsize=557128 CPUtime=761.95 cores=0,2,4,6
/proc/7963/task/7965/stat : 7965 (claspmt) R 7961 7963 7348 0 -1 4202560 24387 0 0 0 76177 18 0 0 25 0 4 0 521627930 570499072 111319 33554432000 4194304 4964704 140735456067520 18446744073709551615 4670230 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=7963/tid=7966] ppid=7961 vsize=557128 CPUtime=762 cores=0,2,4,6
/proc/7963/task/7966/stat : 7966 (claspmt) R 7961 7963 7348 0 -1 4202560 27893 0 0 0 76188 12 0 0 25 0 4 0 521627930 570499072 111319 33554432000 4194304 4964704 140735456067520 18446744073709551615 4670266 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=7963/tid=7967] ppid=7961 vsize=557128 CPUtime=757.95 cores=0,2,4,6
/proc/7963/task/7967/stat : 7967 (claspmt) R 7961 7963 7348 0 -1 4202560 31526 0 0 0 75763 32 0 0 25 0 4 0 521627930 570499072 111319 33554432000 4194304 4964704 140735456067520 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3044.15
Current children cumulated vsize (KiB) 557128

[startup+822.301 s]
/proc/loadavg: 8.15 8.11 8.02 9/184 7989
/proc/meminfo: memFree=25259864/32951124 swapFree=67111524/67111528
[pid=7963] ppid=7961 vsize=557128 CPUtime=3283.82 cores=0,2,4,6
/proc/7963/stat : 7963 (claspmt) R 7961 7963 7348 0 -1 4202496 115076 0 0 0 328297 85 0 0 25 0 4 0 521627900 570499072 112097 33554432000 4194304 4964704 140735456067520 18446744073709551615 4320984 0 0 4096 18946 18446744073709551615 0 0 17 4 0 0 0
/proc/7963/statm: 139282 112097 460 189 0 133631 0
[pid=7963/tid=7965] ppid=7961 vsize=557128 CPUtime=821.95 cores=0,2,4,6
/proc/7963/task/7965/stat : 7965 (claspmt) R 7961 7963 7348 0 -1 4202560 24389 0 0 0 82177 18 0 0 25 0 4 0 521627930 570499072 112097 33554432000 4194304 4964704 140735456067520 18446744073709551615 4320944 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=7963/tid=7966] ppid=7961 vsize=557128 CPUtime=822 cores=0,2,4,6
/proc/7963/task/7966/stat : 7966 (claspmt) R 7961 7963 7348 0 -1 4202560 28658 0 0 0 82188 12 0 0 25 0 4 0 521627930 570499072 112097 33554432000 4194304 4964704 140735456067520 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=7963/tid=7967] ppid=7961 vsize=557128 CPUtime=817.62 cores=0,2,4,6
/proc/7963/task/7967/stat : 7967 (claspmt) R 7961 7963 7348 0 -1 4202560 31533 0 0 0 81730 32 0 0 25 0 4 0 521627930 570499072 112097 33554432000 4194304 4964704 140735456067520 18446744073709551615 4660077 0 0 4096 18946 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3283.82
Current children cumulated vsize (KiB) 557128

[startup+882.301 s]
/proc/loadavg: 8.14 8.11 8.02 9/184 7991
/proc/meminfo: memFree=25242688/32951124 swapFree=67111524/67111528
[pid=7963] ppid=7961 vsize=557128 CPUtime=3523.49 cores=0,2,4,6
/proc/7963/stat : 7963 (claspmt) R 7961 7963 7348 0 -1 4202496 118947 0 0 0 352261 88 0 0 25 0 4 0 521627900 570499072 115845 33554432000 4194304 4964704 140735456067520 18446744073709551615 4669270 0 0 4096 18946 18446744073709551615 0 0 17 4 0 0 0
/proc/7963/statm: 139282 115845 460 189 0 133631 0
[pid=7963/tid=7965] ppid=7961 vsize=557128 CPUtime=881.94 cores=0,2,4,6
/proc/7963/task/7965/stat : 7965 (claspmt) R 7961 7963 7348 0 -1 4202560 26125 0 0 0 88173 21 0 0 25 0 4 0 521627930 570499072 115845 33554432000 4194304 4964704 140735456067520 18446744073709551615 4321079 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=7963/tid=7966] ppid=7961 vsize=557128 CPUtime=882.01 cores=0,2,4,6
/proc/7963/task/7966/stat : 7966 (claspmt) R 7961 7963 7348 0 -1 4202560 30785 0 0 0 88188 13 0 0 25 0 4 0 521627930 570499072 115845 33554432000 4194304 4964704 140735456067520 18446744073709551615 4320909 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=7963/tid=7967] ppid=7961 vsize=557128 CPUtime=877.29 cores=0,2,4,6
/proc/7963/task/7967/stat : 7967 (claspmt) R 7961 7963 7348 0 -1 4202560 31539 0 0 0 87697 32 0 0 25 0 4 0 521627930 570499072 115845 33554432000 4194304 4964704 140735456067520 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3523.49
Current children cumulated vsize (KiB) 557128

[startup+942.301 s]
/proc/loadavg: 8.09 8.11 8.02 9/184 7992
/proc/meminfo: memFree=25216460/32951124 swapFree=67111524/67111528
[pid=7963] ppid=7961 vsize=557128 CPUtime=3763.15 cores=0,2,4,6
/proc/7963/stat : 7963 (claspmt) R 7961 7963 7348 0 -1 4202496 122555 0 0 0 376224 91 0 0 25 0 4 0 521627900 570499072 119453 33554432000 4194304 4964704 140735456067520 18446744073709551615 4670228 0 0 4096 18946 18446744073709551615 0 0 17 4 0 0 0
/proc/7963/statm: 139282 119453 460 189 0 133631 0
[pid=7963/tid=7965] ppid=7961 vsize=557128 CPUtime=941.95 cores=0,2,4,6
/proc/7963/task/7965/stat : 7965 (claspmt) R 7961 7963 7348 0 -1 4202560 27091 0 0 0 94173 22 0 0 25 0 4 0 521627930 570499072 119453 33554432000 4194304 4964704 140735456067520 18446744073709551615 4670419 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=7963/tid=7966] ppid=7961 vsize=557128 CPUtime=942 cores=0,2,4,6
/proc/7963/task/7966/stat : 7966 (claspmt) R 7961 7963 7348 0 -1 4202560 30975 0 0 0 94187 13 0 0 25 0 4 0 521627930 570499072 119453 33554432000 4194304 4964704 140735456067520 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=7963/tid=7967] ppid=7961 vsize=557128 CPUtime=936.97 cores=0,2,4,6
/proc/7963/task/7967/stat : 7967 (claspmt) R 7961 7963 7348 0 -1 4202560 31545 0 0 0 93665 32 0 0 25 0 4 0 521627930 570499072 119453 33554432000 4194304 4964704 140735456067520 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3763.15
Current children cumulated vsize (KiB) 557128

[startup+1002.3 s]
/proc/loadavg: 8.07 8.10 8.02 9/184 7994
/proc/meminfo: memFree=25209216/32951124 swapFree=67111524/67111528
[pid=7963] ppid=7961 vsize=557128 CPUtime=4002.82 cores=0,2,4,6
/proc/7963/stat : 7963 (claspmt) R 7961 7963 7348 0 -1 4202496 123360 0 0 0 400190 92 0 0 25 0 4 0 521627900 570499072 120130 33554432000 4194304 4964704 140735456067520 18446744073709551615 4627293 0 0 4096 18946 18446744073709551615 0 0 17 4 0 0 0
/proc/7963/statm: 139282 120130 460 189 0 133631 0
[pid=7963/tid=7965] ppid=7961 vsize=557128 CPUtime=1001.94 cores=0,2,4,6
/proc/7963/task/7965/stat : 7965 (claspmt) R 7961 7963 7348 0 -1 4202560 27214 0 0 0 100172 22 0 0 25 0 4 0 521627930 570499072 120130 33554432000 4194304 4964704 140735456067520 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=7963/tid=7966] ppid=7961 vsize=557128 CPUtime=1001.99 cores=0,2,4,6
/proc/7963/task/7966/stat : 7966 (claspmt) R 7961 7963 7348 0 -1 4202560 31650 0 0 0 100186 13 0 0 25 0 4 0 521627930 570499072 120130 33554432000 4194304 4964704 140735456067520 18446744073709551615 4321102 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=7963/tid=7967] ppid=7961 vsize=557128 CPUtime=996.64 cores=0,2,4,6
/proc/7963/task/7967/stat : 7967 (claspmt) R 7961 7963 7348 0 -1 4202560 31545 0 0 0 99632 32 0 0 25 0 4 0 521627930 570499072 120130 33554432000 4194304 4964704 140735456067520 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4002.82
Current children cumulated vsize (KiB) 557128

[startup+1062.3 s]
/proc/loadavg: 8.06 8.09 8.02 9/184 7995
/proc/meminfo: memFree=25204924/32951124 swapFree=67111524/67111528
[pid=7963] ppid=7961 vsize=557128 CPUtime=4242.49 cores=0,2,4,6
/proc/7963/stat : 7963 (claspmt) R 7961 7963 7348 0 -1 4202496 124302 0 0 0 424157 92 0 0 25 0 4 0 521627900 570499072 121072 33554432000 4194304 4964704 140735456067520 18446744073709551615 4321079 0 0 4096 18946 18446744073709551615 0 0 17 4 0 0 0
/proc/7963/statm: 139282 121072 460 189 0 133631 0
[pid=7963/tid=7965] ppid=7961 vsize=557128 CPUtime=1061.94 cores=0,2,4,6
/proc/7963/task/7965/stat : 7965 (claspmt) R 7961 7963 7348 0 -1 4202560 27214 0 0 0 106172 22 0 0 25 0 4 0 521627930 570499072 121072 33554432000 4194304 4964704 140735456067520 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=7963/tid=7966] ppid=7961 vsize=557128 CPUtime=1062 cores=0,2,4,6
/proc/7963/task/7966/stat : 7966 (claspmt) R 7961 7963 7348 0 -1 4202560 32580 0 0 0 106186 14 0 0 25 0 4 0 521627930 570499072 121072 33554432000 4194304 4964704 140735456067520 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=7963/tid=7967] ppid=7961 vsize=557128 CPUtime=1056.31 cores=0,2,4,6
/proc/7963/task/7967/stat : 7967 (claspmt) R 7961 7963 7348 0 -1 4202560 31546 0 0 0 105599 32 0 0 25 0 4 0 521627930 570499072 121072 33554432000 4194304 4964704 140735456067520 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4242.49
Current children cumulated vsize (KiB) 557128

[startup+1122.3 s]
/proc/loadavg: 8.13 8.10 8.03 9/184 7997
/proc/meminfo: memFree=25203732/32951124 swapFree=67111524/67111528
[pid=7963] ppid=7961 vsize=557128 CPUtime=4482.15 cores=0,2,4,6
/proc/7963/stat : 7963 (claspmt) R 7961 7963 7348 0 -1 4202496 124500 0 0 0 448122 93 0 0 25 0 4 0 521627900 570499072 121270 33554432000 4194304 4964704 140735456067520 18446744073709551615 4627204 0 0 4096 18946 18446744073709551615 0 0 17 4 0 0 0
/proc/7963/statm: 139282 121270 460 189 0 133631 0
[pid=7963/tid=7965] ppid=7961 vsize=557128 CPUtime=1121.93 cores=0,2,4,6
/proc/7963/task/7965/stat : 7965 (claspmt) R 7961 7963 7348 0 -1 4202560 27216 0 0 0 112171 22 0 0 25 0 4 0 521627930 570499072 121270 33554432000 4194304 4964704 140735456067520 18446744073709551615 4321010 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=7963/tid=7966] ppid=7961 vsize=557128 CPUtime=1122 cores=0,2,4,6
/proc/7963/task/7966/stat : 7966 (claspmt) R 7961 7963 7348 0 -1 4202560 32770 0 0 0 112186 14 0 0 25 0 4 0 521627930 570499072 121270 33554432000 4194304 4964704 140735456067520 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=7963/tid=7967] ppid=7961 vsize=557128 CPUtime=1115.99 cores=0,2,4,6
/proc/7963/task/7967/stat : 7967 (claspmt) R 7961 7963 7348 0 -1 4202560 31551 0 0 0 111567 32 0 0 25 0 4 0 521627930 570499072 121270 33554432000 4194304 4964704 140735456067520 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4482.15
Current children cumulated vsize (KiB) 557128

[startup+1182.3 s]
/proc/loadavg: 8.08 8.10 8.03 9/184 7999
/proc/meminfo: memFree=25198960/32951124 swapFree=67111524/67111528
[pid=7963] ppid=7961 vsize=557128 CPUtime=4721.83 cores=0,2,4,6
/proc/7963/stat : 7963 (claspmt) R 7961 7963 7348 0 -1 4202496 124621 0 0 0 472090 93 0 0 25 0 4 0 521627900 570499072 121391 33554432000 4194304 4964704 140735456067520 18446744073709551615 4670228 0 0 4096 18946 18446744073709551615 0 0 17 4 0 0 0
/proc/7963/statm: 139282 121391 460 189 0 133631 0
[pid=7963/tid=7965] ppid=7961 vsize=557128 CPUtime=1181.93 cores=0,2,4,6
/proc/7963/task/7965/stat : 7965 (claspmt) R 7961 7963 7348 0 -1 4202560 27225 0 0 0 118171 22 0 0 25 0 4 0 521627930 570499072 121391 33554432000 4194304 4964704 140735456067520 18446744073709551615 4320951 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=7963/tid=7966] ppid=7961 vsize=557128 CPUtime=1182.01 cores=0,2,4,6
/proc/7963/task/7966/stat : 7966 (claspmt) R 7961 7963 7348 0 -1 4202560 32877 0 0 0 118187 14 0 0 25 0 4 0 521627930 570499072 121391 33554432000 4194304 4964704 140735456067520 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=7963/tid=7967] ppid=7961 vsize=557128 CPUtime=1175.66 cores=0,2,4,6
/proc/7963/task/7967/stat : 7967 (claspmt) R 7961 7963 7348 0 -1 4202560 31556 0 0 0 117534 32 0 0 25 0 4 0 521627930 570499072 121391 33554432000 4194304 4964704 140735456067520 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4721.83
Current children cumulated vsize (KiB) 557128



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.9 s]
/proc/loadavg: 7.81 8.04 8.01 5/176 8017
/proc/meminfo: memFree=25601596/32951124 swapFree=67111524/67111528
[pid=7963] ppid=7961 vsize=557128 CPUtime=4800.14 cores=0,2,4,6
/proc/7963/stat : 7963 (claspmt) R 7961 7963 7348 0 -1 4202496 124640 0 0 0 479920 94 0 0 25 0 4 0 521627900 570499072 121410 33554432000 4194304 4964704 140735456067520 18446744073709551615 4670228 0 0 4096 18946 18446744073709551615 0 0 17 4 0 0 0
/proc/7963/statm: 139282 121410 460 189 0 133631 0
[pid=7963/tid=7965] ppid=7961 vsize=557128 CPUtime=1201.54 cores=0,2,4,6
/proc/7963/task/7965/stat : 7965 (claspmt) R 7961 7963 7348 0 -1 4202560 27225 0 0 0 120132 22 0 0 25 0 4 0 521627930 570499072 121410 33554432000 4194304 4964704 140735456067520 18446744073709551615 4320909 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=7963/tid=7966] ppid=7961 vsize=557128 CPUtime=1201.61 cores=0,2,4,6
/proc/7963/task/7966/stat : 7966 (claspmt) R 7961 7963 7348 0 -1 4202560 32896 0 0 0 120147 14 0 0 25 0 4 0 521627930 570499072 121410 33554432000 4194304 4964704 140735456067520 18446744073709551615 4670219 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=7963/tid=7967] ppid=7961 vsize=557128 CPUtime=1195.17 cores=0,2,4,6
/proc/7963/task/7967/stat : 7967 (claspmt) R 7961 7963 7348 0 -1 4202560 31556 0 0 0 119484 33 0 0 25 0 4 0 521627930 570499072 121410 33554432000 4194304 4964704 140735456067520 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4800.14
Current children cumulated vsize (KiB) 557128

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

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

[startup+1202.01 s]
/proc/loadavg: 7.81 8.04 8.01 5/176 8017
/proc/meminfo: memFree=25601596/32951124 swapFree=67111524/67111528
[pid=7963] ppid=7961 vsize=237696 CPUtime=4800.26 cores=0,2,4,6
/proc/7963/stat : 7963 (claspmt) R 7961 7963 7348 0 -1 4202496 124651 0 0 0 479930 96 0 0 25 0 1 0 521627900 243400704 22918 33554432000 4194304 4964704 140735456067520 18446744073709551615 230809209191 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/7963/statm: 59424 22918 471 189 0 53773 0
Current children cumulated CPU time (s) 4800.26
Current children cumulated vsize (KiB) 237696

Child status: 0
Real time (s): 1202.02
CPU time (s): 4800.28
CPU user time (s): 4799.31
CPU system time (s): 0.967852
CPU usage (%): 399.352
Max. virtual memory (cumulated for all children) (KiB): 557128

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4799.31
system time used= 0.967852
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 124652
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= 7038
involuntary context switches= 37613

runsolver used 1.89671 second user time and 4.56331 second system time

The end

Launcher Data 

Begin job on node104 at 2011-04-29 20:04:35
IDJOB=3299511
IDBENCH=83986
IDSOLVER=1683
FILE ID=node104/3299511-1304100274
RUNJOBID= node104-1304099067-7834
PBS_JOBID= 13170596
Free space on /tmp= 71548 MiB

SOLVER NAME= claspmt 2.0-R4095
BENCH NAME= SAT03/handmade/anton/UNSAT/SGI_30_60_29_30_6-dir.shuffled-as.sat03-130.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-3299511-1304100274/watcher-3299511-1304100274 -o /tmp/evaluation-result-3299511-1304100274/solver-3299511-1304100274 -C 4800 -W 1300 -M 15500  HOME/claspmt -t4 -p HOME/sat11-port.txt --distribute=all,2 HOME/instance-3299511-1304100274.cnf

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

MD5SUM BENCH= e826117d87949a5b285e72732bfa395b
RANDOM SEED=993912815

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      26043868 kB
Buffers:       1886904 kB
Cached:        4370188 kB
SwapCached:          4 kB
Active:         215068 kB
Inactive:      6149500 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      26043868 kB
SwapTotal:    67111528 kB
SwapFree:     67111524 kB
Dirty:            2900 kB
Writeback:         292 kB
AnonPages:      107524 kB
Mapped:          15728 kB
Slab:           480292 kB
PageTables:       4828 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   263728 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= 71548 MiB
End job on node104 at 2011-04-29 20:24:38