Trace number 3373571

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.71 1204.98

General information on the benchmark

Nameapplication/jarvisalo/smtqfbv-aigs/
smtlib-qfbv-aigs-countbits128-tseitin.cnf
MD5SUM47da9e46b00ffd3e0b0f453a6c3c9f38
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark2179.95
Satisfiable
(Un)Satisfiability was proved
Number of variables95810
Number of clauses287045
Sum of the clauses size669769
Maximum clause length3
Minimum clause length1
Number of clauses of size 12
Number of clauses of size 2191362
Number of clauses of size 395681
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50

Solver Data 

0.00/0.00	c clasp version 2.0.0-RC2
0.00/0.00	c Reading from ...421437/instance-3373571-1305421437.cnf
0.59/0.66	c Solving...
4800.43/1204.71	
4800.43/1204.71	*** INTERRUPTED! ***
4800.43/1204.71	*** Shutting down threads...
4800.62/1204.97	s UNKNOWN
4800.62/1204.97	
4800.62/1204.97	c INTERRUPTED   : 1
4800.62/1204.97	c Models        : 0+    
4800.62/1204.97	c Time          : 1204.722s (Solving: 1204.06s 1st Model: 0.00s Unsat: 0.00s)
4800.62/1204.97	c CPU Time      : 4800.450s

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-3373571-1305421437/watcher-3373571-1305421437 -o /tmp/evaluation-result-3373571-1305421437/solver-3373571-1305421437 -C 4800 -W 1300 -M 15500 HOME/claspmt -t4 -p HOME/sat11-port.txt --distribute=all,2 HOME/instance-3373571-1305421437.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: 7.21 7.89 7.95 6/388 30096
/proc/meminfo: memFree=26745156/32950928 swapFree=44388876/67111528
[pid=30096] ppid=30094 vsize=38628 CPUtime=0 cores=1,3,5,7
/proc/30096/stat : 30096 (claspmt) R 30094 30096 29676 0 -1 4202496 4415 0 0 0 0 0 0 0 25 0 1 0 653742408 39555072 4113 33554432000 4194304 4964800 140736387548304 18446744073709551615 4679106 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/30096/statm: 9657 4118 376 189 0 4531 0

[startup+0.0324681 s]
/proc/loadavg: 7.21 7.89 7.95 6/388 30096
/proc/meminfo: memFree=26745156/32950928 swapFree=44388876/67111528
[pid=30096] ppid=30094 vsize=42248 CPUtime=0.02 cores=1,3,5,7
/proc/30096/stat : 30096 (claspmt) R 30094 30096 29676 0 -1 4202496 6665 0 0 0 2 0 0 0 25 0 1 0 653742408 43261952 5676 33554432000 4194304 4964800 140736387548304 18446744073709551615 251813900997 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/30096/statm: 10562 5677 385 189 0 5436 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 42248

[startup+0.100457 s]
/proc/loadavg: 7.21 7.89 7.95 6/388 30096
/proc/meminfo: memFree=26745156/32950928 swapFree=44388876/67111528
[pid=30096] ppid=30094 vsize=57136 CPUtime=0.08 cores=1,3,5,7
/proc/30096/stat : 30096 (claspmt) R 30094 30096 29676 0 -1 4202496 12262 0 0 0 7 1 0 0 25 0 1 0 653742408 58507264 9359 33554432000 4194304 4964800 140736387548304 18446744073709551615 251813937248 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/30096/statm: 14284 9359 398 189 0 9158 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 57136

[startup+0.300427 s]
/proc/loadavg: 7.21 7.89 7.95 6/388 30096
/proc/meminfo: memFree=26745156/32950928 swapFree=44388876/67111528
[pid=30096] ppid=30094 vsize=72092 CPUtime=0.29 cores=1,3,5,7
/proc/30096/stat : 30096 (claspmt) R 30094 30096 29676 0 -1 4202496 15872 0 0 0 27 2 0 0 25 0 1 0 653742408 73822208 12969 33554432000 4194304 4964800 140736387548304 18446744073709551615 251813900997 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/30096/statm: 18023 12969 403 189 0 12897 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 72092

[startup+0.700361 s]
/proc/loadavg: 7.21 7.89 7.95 6/388 30096
/proc/meminfo: memFree=26745156/32950928 swapFree=44388876/67111528
[pid=30096] ppid=30094 vsize=300796 CPUtime=0.75 cores=1,3,5,7
/proc/30096/stat : 30096 (claspmt) R 30094 30096 29676 0 -1 4202496 28221 0 0 0 71 4 0 0 25 0 4 0 653742408 308015104 21501 33554432000 4194304 4964800 140736387548304 18446744073709551615 4668568 0 0 4096 18946 18446744073709551615 0 0 17 5 0 0 0
/proc/30096/statm: 75199 21504 445 189 0 69548 0
Current children cumulated CPU time (s) 0.75
Current children cumulated vsize (KiB) 300796

[startup+1.50023 s]
/proc/loadavg: 7.03 7.84 7.94 9/392 30100
/proc/meminfo: memFree=26657380/32950928 swapFree=44388876/67111528
[pid=30096] ppid=30094 vsize=301372 CPUtime=3.93 cores=1,3,5,7
/proc/30096/stat : 30096 (claspmt) R 30094 30096 29676 0 -1 4202496 29093 0 0 0 389 4 0 0 25 0 4 0 653742408 308604928 22373 33554432000 4194304 4964800 140736387548304 18446744073709551615 4670308 0 0 4096 18946 18446744073709551615 0 0 17 5 0 0 0
/proc/30096/statm: 75343 22373 458 189 0 69692 0
[pid=30096/tid=30098] ppid=30094 vsize=301372 CPUtime=0.82 cores=1,3,5,7
/proc/30096/task/30098/stat : 30098 (claspmt) R 30094 30096 29676 0 -1 4202560 2829 0 0 0 82 0 0 0 18 0 4 0 653742475 308604928 22373 33554432000 4194304 4964800 140736387548304 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=30096/tid=30099] ppid=30094 vsize=301372 CPUtime=0.82 cores=1,3,5,7
/proc/30096/task/30099/stat : 30099 (claspmt) R 30094 30096 29676 0 -1 4202560 4532 0 0 0 82 0 0 0 19 0 4 0 653742475 308604928 22373 33554432000 4194304 4964800 140736387548304 18446744073709551615 4670194 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=30096/tid=30100] ppid=30094 vsize=301372 CPUtime=0.8 cores=1,3,5,7
/proc/30096/task/30100/stat : 30100 (claspmt) R 30094 30096 29676 0 -1 4202560 4226 0 0 0 80 0 0 0 25 0 4 0 653742475 308604928 22373 33554432000 4194304 4964800 140736387548304 18446744073709551615 4313736 0 0 4096 18946 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3.93
Current children cumulated vsize (KiB) 301372

[startup+3.10096 s]
/proc/loadavg: 7.03 7.84 7.94 9/392 30100
/proc/meminfo: memFree=26655024/32950928 swapFree=44388876/67111528
[pid=30096] ppid=30094 vsize=301372 CPUtime=10.31 cores=1,3,5,7
/proc/30096/stat : 30096 (claspmt) R 30094 30096 29676 0 -1 4202496 29881 0 0 0 1027 4 0 0 25 0 4 0 653742408 308604928 23161 33554432000 4194304 4964800 140736387548304 18446744073709551615 4669276 0 0 4096 18946 18446744073709551615 0 0 17 5 0 0 0
/proc/30096/statm: 75343 23161 458 189 0 69692 0
[pid=30096/tid=30098] ppid=30094 vsize=301372 CPUtime=2.42 cores=1,3,5,7
/proc/30096/task/30098/stat : 30098 (claspmt) R 30094 30096 29676 0 -1 4202560 2924 0 0 0 242 0 0 0 22 0 4 0 653742475 308604928 23161 33554432000 4194304 4964800 140736387548304 18446744073709551615 4670180 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=30096/tid=30099] ppid=30094 vsize=301372 CPUtime=2.41 cores=1,3,5,7
/proc/30096/task/30099/stat : 30099 (claspmt) R 30094 30096 29676 0 -1 4202560 5210 0 0 0 241 0 0 0 22 0 4 0 653742475 308604928 23161 33554432000 4194304 4964800 140736387548304 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=30096/tid=30100] ppid=30094 vsize=301372 CPUtime=2.39 cores=1,3,5,7
/proc/30096/task/30100/stat : 30100 (claspmt) R 30094 30096 29676 0 -1 4202560 4235 0 0 0 239 0 0 0 25 0 4 0 653742475 308604928 23161 33554432000 4194304 4964800 140736387548304 18446744073709551615 4313751 0 0 4096 18946 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 10.31
Current children cumulated vsize (KiB) 301372

[startup+6.30042 s]
/proc/loadavg: 7.03 7.84 7.94 9/392 30100
/proc/meminfo: memFree=26637276/32950928 swapFree=44388876/67111528
[pid=30096] ppid=30094 vsize=304172 CPUtime=23.07 cores=1,3,5,7
/proc/30096/stat : 30096 (claspmt) R 30094 30096 29676 0 -1 4202496 34416 0 0 0 2300 7 0 0 25 0 4 0 653742408 311472128 27696 33554432000 4194304 4964800 140736387548304 18446744073709551615 4670310 0 0 4096 18946 18446744073709551615 0 0 17 5 0 0 0
/proc/30096/statm: 76043 27696 458 189 0 70392 0
[pid=30096/tid=30098] ppid=30094 vsize=304172 CPUtime=5.62 cores=1,3,5,7
/proc/30096/task/30098/stat : 30098 (claspmt) R 30094 30096 29676 0 -1 4202560 3389 0 0 0 562 0 0 0 25 0 4 0 653742475 311472128 27696 33554432000 4194304 4964800 140736387548304 18446744073709551615 4668568 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=30096/tid=30099] ppid=30094 vsize=304172 CPUtime=5.62 cores=1,3,5,7
/proc/30096/task/30099/stat : 30099 (claspmt) R 30094 30096 29676 0 -1 4202560 7464 0 0 0 560 2 0 0 25 0 4 0 653742475 311472128 27696 33554432000 4194304 4964800 140736387548304 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=30096/tid=30100] ppid=30094 vsize=304172 CPUtime=5.55 cores=1,3,5,7
/proc/30096/task/30100/stat : 30100 (claspmt) R 30094 30096 29676 0 -1 4202560 5361 0 0 0 554 1 0 0 25 0 4 0 653742475 311472128 27696 33554432000 4194304 4964800 140736387548304 18446744073709551615 4669003 0 0 4096 18946 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 23.07
Current children cumulated vsize (KiB) 304172

[startup+12.7003 s]
/proc/loadavg: 7.18 7.85 7.94 9/392 30102
/proc/meminfo: memFree=26597204/32950928 swapFree=44388876/67111528
[pid=30096] ppid=30094 vsize=308588 CPUtime=48.59 cores=1,3,5,7
/proc/30096/stat : 30096 (claspmt) R 30094 30096 29676 0 -1 4202496 43202 0 0 0 4845 14 0 0 25 0 4 0 653742408 315994112 36482 33554432000 4194304 4964800 140736387548304 18446744073709551615 4670674 0 0 4096 18946 18446744073709551615 0 0 17 5 0 0 0
/proc/30096/statm: 77147 36482 460 189 0 71496 0
[pid=30096/tid=30098] ppid=30094 vsize=308588 CPUtime=12.02 cores=1,3,5,7
/proc/30096/task/30098/stat : 30098 (claspmt) R 30094 30096 29676 0 -1 4202560 4369 0 0 0 1201 1 0 0 25 0 4 0 653742475 315994112 36482 33554432000 4194304 4964800 140736387548304 18446744073709551615 4670180 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=30096/tid=30099] ppid=30094 vsize=308588 CPUtime=12.02 cores=1,3,5,7
/proc/30096/task/30099/stat : 30099 (claspmt) R 30094 30096 29676 0 -1 4202560 11754 0 0 0 1197 5 0 0 25 0 4 0 653742475 315994112 36482 33554432000 4194304 4964800 140736387548304 18446744073709551615 4670499 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=30096/tid=30100] ppid=30094 vsize=308588 CPUtime=11.86 cores=1,3,5,7
/proc/30096/task/30100/stat : 30100 (claspmt) R 30094 30096 29676 0 -1 4202560 7677 0 0 0 1183 3 0 0 25 0 4 0 653742475 315994112 36482 33554432000 4194304 4964800 140736387548304 18446744073709551615 4660849 0 0 4096 18946 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 48.59
Current children cumulated vsize (KiB) 308588

[startup+25.5012 s]
/proc/loadavg: 7.31 7.85 7.94 9/392 30103
/proc/meminfo: memFree=26526696/32950928 swapFree=44388876/67111528
[pid=30096] ppid=30094 vsize=387152 CPUtime=99.63 cores=1,3,5,7
/proc/30096/stat : 30096 (claspmt) R 30094 30096 29676 0 -1 4202496 58780 0 0 0 9941 22 0 0 25 0 4 0 653742408 396443648 52060 33554432000 4194304 4964800 140736387548304 18446744073709551615 4653477 0 0 4096 18946 18446744073709551615 0 0 17 5 0 0 0
/proc/30096/statm: 96788 52060 460 189 0 91137 0
[pid=30096/tid=30098] ppid=30094 vsize=387152 CPUtime=24.81 cores=1,3,5,7
/proc/30096/task/30098/stat : 30098 (claspmt) R 30094 30096 29676 0 -1 4202560 5827 0 0 0 2480 1 0 0 25 0 4 0 653742475 396443648 52060 33554432000 4194304 4964800 140736387548304 18446744073709551615 4653542 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=30096/tid=30099] ppid=30094 vsize=387152 CPUtime=24.82 cores=1,3,5,7
/proc/30096/task/30099/stat : 30099 (claspmt) R 30094 30096 29676 0 -1 4202560 19596 0 0 0 2474 8 0 0 25 0 4 0 653742475 396443648 52060 33554432000 4194304 4964800 140736387548304 18446744073709551615 251813900997 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=30096/tid=30100] ppid=30094 vsize=387152 CPUtime=24.5 cores=1,3,5,7
/proc/30096/task/30100/stat : 30100 (claspmt) R 30094 30096 29676 0 -1 4202560 10998 0 0 0 2445 5 0 0 25 0 4 0 653742475 396443648 52060 33554432000 4194304 4964800 140736387548304 18446744073709551615 4321042 0 0 4096 18946 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 99.63
Current children cumulated vsize (KiB) 387152

[startup+51.1009 s]
/proc/loadavg: 7.86 7.94 7.96 9/392 30105
/proc/meminfo: memFree=26429120/32950928 swapFree=44388876/67111528
[pid=30096] ppid=30094 vsize=413888 CPUtime=200.89 cores=1,3,5,7
/proc/30096/stat : 30096 (claspmt) R 30094 30096 29676 0 -1 4202496 78804 0 0 0 20055 34 0 0 25 0 4 0 653742408 423821312 72084 33554432000 4194304 4964800 140736387548304 18446744073709551615 4670308 0 0 4096 18946 18446744073709551615 0 0 17 5 0 0 0
/proc/30096/statm: 103472 72084 460 189 0 97821 0
[pid=30096/tid=30098] ppid=30094 vsize=413888 CPUtime=50.26 cores=1,3,5,7
/proc/30096/task/30098/stat : 30098 (claspmt) R 30094 30096 29676 0 -1 4202560 7161 0 0 0 5024 2 0 0 25 0 4 0 653742475 423821312 72084 33554432000 4194304 4964800 140736387548304 18446744073709551615 4370264 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=30096/tid=30099] ppid=30094 vsize=413888 CPUtime=50.42 cores=1,3,5,7
/proc/30096/task/30099/stat : 30099 (claspmt) R 30094 30096 29676 0 -1 4202560 27951 0 0 0 5029 13 0 0 25 0 4 0 653742475 423821312 72084 33554432000 4194304 4964800 140736387548304 18446744073709551615 4321105 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=30096/tid=30100] ppid=30094 vsize=413888 CPUtime=49.77 cores=1,3,5,7
/proc/30096/task/30100/stat : 30100 (claspmt) R 30094 30096 29676 0 -1 4202560 16258 0 0 0 4968 9 0 0 25 0 4 0 653742475 423821312 72084 33554432000 4194304 4964800 140736387548304 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 200.89
Current children cumulated vsize (KiB) 413888

[startup+102.314 s]
/proc/loadavg: 8.04 7.98 7.97 9/392 30106
/proc/meminfo: memFree=26235992/32950928 swapFree=44388876/67111528
[pid=30096] ppid=30094 vsize=616876 CPUtime=405.07 cores=1,3,5,7
/proc/30096/stat : 30096 (claspmt) R 30094 30096 29676 0 -1 4202496 119020 0 0 0 40440 67 0 0 25 0 4 0 653742408 631681024 112296 33554432000 4194304 4964800 140736387548304 18446744073709551615 4669509 0 0 4096 18946 18446744073709551615 0 0 17 5 0 0 0
/proc/30096/statm: 154219 112296 460 189 0 148568 0
[pid=30096/tid=30098] ppid=30094 vsize=616876 CPUtime=101.46 cores=1,3,5,7
/proc/30096/task/30098/stat : 30098 (claspmt) R 30094 30096 29676 0 -1 4202560 10580 0 0 0 10142 4 0 0 25 0 4 0 653742475 631681024 112296 33554432000 4194304 4964800 140736387548304 18446744073709551615 4669350 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=30096/tid=30099] ppid=30094 vsize=616876 CPUtime=101.63 cores=1,3,5,7
/proc/30096/task/30099/stat : 30099 (claspmt) R 30094 30096 29676 0 -1 4202560 48672 0 0 0 10136 27 0 0 25 0 4 0 653742475 631681024 112296 33554432000 4194304 4964800 140736387548304 18446744073709551615 251813901345 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=30096/tid=30100] ppid=30094 vsize=616876 CPUtime=100.33 cores=1,3,5,7
/proc/30096/task/30100/stat : 30100 (claspmt) R 30094 30096 29676 0 -1 4202560 28197 0 0 0 10012 21 0 0 25 0 4 0 653742475 631681024 112296 33554432000 4194304 4964800 140736387548304 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 405.07
Current children cumulated vsize (KiB) 616876

[startup+162.3 s]
/proc/loadavg: 8.15 8.03 7.99 9/392 30108
/proc/meminfo: memFree=26036708/32950928 swapFree=44388876/67111528
[pid=30096] ppid=30094 vsize=718256 CPUtime=644.25 cores=1,3,5,7
/proc/30096/stat : 30096 (claspmt) R 30094 30096 29676 0 -1 4202496 161050 0 0 0 64324 101 0 0 25 0 4 0 653742408 735494144 154305 33554432000 4194304 4964800 140736387548304 18446744073709551615 4669350 0 0 4096 18946 18446744073709551615 0 0 17 5 0 0 0
/proc/30096/statm: 179564 154305 460 189 0 173913 0
[pid=30096/tid=30098] ppid=30094 vsize=718256 CPUtime=161.45 cores=1,3,5,7
/proc/30096/task/30098/stat : 30098 (claspmt) R 30094 30096 29676 0 -1 4202560 24891 0 0 0 16131 14 0 0 25 0 4 0 653742475 735494144 154305 33554432000 4194304 4964800 140736387548304 18446744073709551615 4670299 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=30096/tid=30099] ppid=30094 vsize=718256 CPUtime=161.61 cores=1,3,5,7
/proc/30096/task/30099/stat : 30099 (claspmt) R 30094 30096 29676 0 -1 4202560 59906 0 0 0 16124 37 0 0 25 0 4 0 653742475 735494144 154305 33554432000 4194304 4964800 140736387548304 18446744073709551615 4684107 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=30096/tid=30100] ppid=30094 vsize=718256 CPUtime=159.55 cores=1,3,5,7
/proc/30096/task/30100/stat : 30100 (claspmt) R 30094 30096 29676 0 -1 4202560 32178 0 0 0 15931 24 0 0 25 0 4 0 653742475 735494144 154305 33554432000 4194304 4964800 140736387548304 18446744073709551615 4670335 0 0 4096 18946 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 644.25
Current children cumulated vsize (KiB) 718256

[startup+222.301 s]
/proc/loadavg: 8.17 8.05 8.00 9/392 30109
/proc/meminfo: memFree=25676232/32950928 swapFree=44388876/67111528
[pid=30096] ppid=30094 vsize=1148664 CPUtime=883.48 cores=1,3,5,7
/proc/30096/stat : 30096 (claspmt) R 30094 30096 29676 0 -1 4202496 244861 0 0 0 88191 157 0 0 25 0 4 0 653742408 1176231936 238071 33554432000 4194304 4964800 140736387548304 18446744073709551615 4670308 0 0 4096 18946 18446744073709551615 0 0 17 5 0 0 0
/proc/30096/statm: 287166 238071 460 189 0 281515 0
[pid=30096/tid=30098] ppid=30094 vsize=1148664 CPUtime=221.44 cores=1,3,5,7
/proc/30096/task/30098/stat : 30098 (claspmt) R 30094 30096 29676 0 -1 4202560 38043 0 0 0 22122 22 0 0 25 0 4 0 653742475 1176231936 238071 33554432000 4194304 4964800 140736387548304 18446744073709551615 4653336 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=30096/tid=30099] ppid=30094 vsize=1148664 CPUtime=221.47 cores=1,3,5,7
/proc/30096/task/30099/stat : 30099 (claspmt) R 30094 30096 29676 0 -1 4202560 67741 0 0 0 22105 42 0 0 25 0 4 0 653742475 1176231936 238071 33554432000 4194304 4964800 140736387548304 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=30096/tid=30100] ppid=30094 vsize=1148664 CPUtime=218.92 cores=1,3,5,7
/proc/30096/task/30100/stat : 30100 (claspmt) R 30094 30096 29676 0 -1 4202560 89851 0 0 0 21831 61 0 0 25 0 4 0 653742475 1176231936 238071 33554432000 4194304 4964800 140736387548304 18446744073709551615 4669350 0 0 4096 18946 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 883.48
Current children cumulated vsize (KiB) 1148664

[startup+282.301 s]

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

[pid=30096/tid=30098] ppid=30094 vsize=1621376 CPUtime=700.93 cores=1,3,5,7
/proc/30096/task/30098/stat : 30098 (claspmt) R 30094 30096 29676 0 -1 4202560 118066 0 0 0 70030 63 0 0 25 0 4 0 653742475 1660289024 358988 33554432000 4194304 4964800 140736387548304 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=30096/tid=30099] ppid=30094 vsize=1621376 CPUtime=696.86 cores=1,3,5,7
/proc/30096/task/30099/stat : 30099 (claspmt) R 30094 30096 29676 0 -1 4202560 92096 0 0 0 69618 68 0 0 25 0 4 0 653742475 1660289024 358988 33554432000 4194304 4964800 140736387548304 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=30096/tid=30100] ppid=30094 vsize=1621376 CPUtime=698.92 cores=1,3,5,7
/proc/30096/task/30100/stat : 30100 (claspmt) R 30094 30096 29676 0 -1 4202560 105678 0 0 0 69811 81 0 0 25 0 4 0 653742475 1660289024 358988 33554432000 4194304 4964800 140736387548304 18446744073709551615 4669445 0 0 4096 18946 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2797.29
Current children cumulated vsize (KiB) 1621376

[startup+762.315 s]
/proc/loadavg: 8.27 8.16 8.05 9/392 30124
/proc/meminfo: memFree=25032664/32950928 swapFree=44388876/67111528
[pid=30096] ppid=30094 vsize=1621376 CPUtime=3036.55 cores=1,3,5,7
/proc/30096/stat : 30096 (claspmt) R 30094 30096 29676 0 -1 4202496 372288 0 0 0 303402 253 0 0 25 0 4 0 653742408 1660289024 365498 33554432000 4194304 4964800 140736387548304 18446744073709551615 4670308 0 0 4096 18946 18446744073709551615 0 0 17 7 0 0 0
/proc/30096/statm: 405344 365498 460 189 0 399693 0
[pid=30096/tid=30098] ppid=30094 vsize=1621376 CPUtime=760.92 cores=1,3,5,7
/proc/30096/task/30098/stat : 30098 (claspmt) R 30094 30096 29676 0 -1 4202560 118067 0 0 0 76029 63 0 0 25 0 4 0 653742475 1660289024 365498 33554432000 4194304 4964800 140736387548304 18446744073709551615 4669350 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=30096/tid=30099] ppid=30094 vsize=1621376 CPUtime=756.86 cores=1,3,5,7
/proc/30096/task/30099/stat : 30099 (claspmt) R 30094 30096 29676 0 -1 4202560 92100 0 0 0 75618 68 0 0 25 0 4 0 653742475 1660289024 365498 33554432000 4194304 4964800 140736387548304 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=30096/tid=30100] ppid=30094 vsize=1621376 CPUtime=758.93 cores=1,3,5,7
/proc/30096/task/30100/stat : 30100 (claspmt) R 30094 30096 29676 0 -1 4202560 112178 0 0 0 75806 87 0 0 25 0 4 0 653742475 1660289024 365498 33554432000 4194304 4964800 140736387548304 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3036.55
Current children cumulated vsize (KiB) 1621376

[startup+822.301 s]
/proc/loadavg: 8.17 8.14 8.05 9/392 30125
/proc/meminfo: memFree=25024220/32950928 swapFree=44388876/67111528
[pid=30096] ppid=30094 vsize=1621376 CPUtime=3275.73 cores=1,3,5,7
/proc/30096/stat : 30096 (claspmt) R 30094 30096 29676 0 -1 4202496 372324 0 0 0 327320 253 0 0 25 0 4 0 653742408 1660289024 365191 33554432000 4194304 4964800 140736387548304 18446744073709551615 4341990 0 0 4096 18946 18446744073709551615 0 0 17 7 0 0 0
/proc/30096/statm: 405344 365191 460 189 0 399693 0
[pid=30096/tid=30098] ppid=30094 vsize=1621376 CPUtime=820.9 cores=1,3,5,7
/proc/30096/task/30098/stat : 30098 (claspmt) R 30094 30096 29676 0 -1 4202560 118067 0 0 0 82027 63 0 0 25 0 4 0 653742475 1660289024 365191 33554432000 4194304 4964800 140736387548304 18446744073709551615 4670349 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=30096/tid=30099] ppid=30094 vsize=1621376 CPUtime=816.85 cores=1,3,5,7
/proc/30096/task/30099/stat : 30099 (claspmt) R 30094 30096 29676 0 -1 4202560 92102 0 0 0 81617 68 0 0 25 0 4 0 653742475 1660289024 365191 33554432000 4194304 4964800 140736387548304 18446744073709551615 4670346 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=30096/tid=30100] ppid=30094 vsize=1621376 CPUtime=818.92 cores=1,3,5,7
/proc/30096/task/30100/stat : 30100 (claspmt) R 30094 30096 29676 0 -1 4202560 112211 0 0 0 81805 87 0 0 25 0 4 0 653742475 1660289024 365191 33554432000 4194304 4964800 140736387548304 18446744073709551615 4668987 0 0 4096 18946 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3275.73
Current children cumulated vsize (KiB) 1621376

[startup+882.3 s]
/proc/loadavg: 8.13 8.13 8.05 9/392 30127
/proc/meminfo: memFree=25014780/32950928 swapFree=44388876/67111528
[pid=30096] ppid=30094 vsize=1621376 CPUtime=3514.96 cores=1,3,5,7
/proc/30096/stat : 30096 (claspmt) R 30094 30096 29676 0 -1 4202496 372336 0 0 0 351243 253 0 0 25 0 4 0 653742408 1660289024 364864 33554432000 4194304 4964800 140736387548304 18446744073709551615 4684107 0 0 4096 18946 18446744073709551615 0 0 17 7 0 0 0
/proc/30096/statm: 405344 364864 460 189 0 399693 0
[pid=30096/tid=30098] ppid=30094 vsize=1621376 CPUtime=880.9 cores=1,3,5,7
/proc/30096/task/30098/stat : 30098 (claspmt) R 30094 30096 29676 0 -1 4202560 118067 0 0 0 88027 63 0 0 25 0 4 0 653742475 1660289024 364864 33554432000 4194304 4964800 140736387548304 18446744073709551615 4660444 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=30096/tid=30099] ppid=30094 vsize=1621376 CPUtime=876.85 cores=1,3,5,7
/proc/30096/task/30099/stat : 30099 (claspmt) R 30094 30096 29676 0 -1 4202560 92107 0 0 0 87617 68 0 0 25 0 4 0 653742475 1660289024 364864 33554432000 4194304 4964800 140736387548304 18446744073709551615 4670299 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=30096/tid=30100] ppid=30094 vsize=1621376 CPUtime=878.92 cores=1,3,5,7
/proc/30096/task/30100/stat : 30100 (claspmt) R 30094 30096 29676 0 -1 4202560 112211 0 0 0 87805 87 0 0 25 0 4 0 653742475 1660289024 364864 33554432000 4194304 4964800 140736387548304 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3514.96
Current children cumulated vsize (KiB) 1621376

[startup+942.3 s]
/proc/loadavg: 8.11 8.12 8.05 9/392 30128
/proc/meminfo: memFree=25007948/32950928 swapFree=44388876/67111528
[pid=30096] ppid=30094 vsize=1621376 CPUtime=3754.19 cores=1,3,5,7
/proc/30096/stat : 30096 (claspmt) R 30094 30096 29676 0 -1 4202496 372342 0 0 0 375166 253 0 0 25 0 4 0 653742408 1660289024 364785 33554432000 4194304 4964800 140736387548304 18446744073709551615 4684009 0 0 4096 18946 18446744073709551615 0 0 17 7 0 0 0
/proc/30096/statm: 405344 364785 460 189 0 399693 0
[pid=30096/tid=30098] ppid=30094 vsize=1621376 CPUtime=940.9 cores=1,3,5,7
/proc/30096/task/30098/stat : 30098 (claspmt) R 30094 30096 29676 0 -1 4202560 118067 0 0 0 94027 63 0 0 25 0 4 0 653742475 1660289024 364785 33554432000 4194304 4964800 140736387548304 18446744073709551615 4370295 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=30096/tid=30099] ppid=30094 vsize=1621376 CPUtime=936.86 cores=1,3,5,7
/proc/30096/task/30099/stat : 30099 (claspmt) R 30094 30096 29676 0 -1 4202560 92111 0 0 0 93617 69 0 0 25 0 4 0 653742475 1660289024 364785 33554432000 4194304 4964800 140736387548304 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=30096/tid=30100] ppid=30094 vsize=1621376 CPUtime=938.91 cores=1,3,5,7
/proc/30096/task/30100/stat : 30100 (claspmt) R 30094 30096 29676 0 -1 4202560 112211 0 0 0 93804 87 0 0 25 0 4 0 653742475 1660289024 364785 33554432000 4194304 4964800 140736387548304 18446744073709551615 4320951 0 0 4096 18946 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3754.19
Current children cumulated vsize (KiB) 1621376

[startup+1002.3 s]
/proc/loadavg: 8.04 8.10 8.05 9/392 30130
/proc/meminfo: memFree=24899064/32950928 swapFree=44388876/67111528
[pid=30096] ppid=30094 vsize=1686912 CPUtime=3993.42 cores=1,3,5,7
/proc/30096/stat : 30096 (claspmt) R 30094 30096 29676 0 -1 4202496 397606 0 0 0 399068 274 0 0 25 0 4 0 653742408 1727397888 389834 33554432000 4194304 4964800 140736387548304 18446744073709551615 4669350 0 0 4096 18946 18446744073709551615 0 0 17 7 0 0 0
/proc/30096/statm: 421728 389834 460 189 0 416077 0
[pid=30096/tid=30098] ppid=30094 vsize=1686912 CPUtime=1000.9 cores=1,3,5,7
/proc/30096/task/30098/stat : 30098 (claspmt) R 30094 30096 29676 0 -1 4202560 118472 0 0 0 100026 64 0 0 25 0 4 0 653742475 1727397888 389834 33554432000 4194304 4964800 140736387548304 18446744073709551615 4669136 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=30096/tid=30099] ppid=30094 vsize=1686912 CPUtime=996.85 cores=1,3,5,7
/proc/30096/task/30099/stat : 30099 (claspmt) R 30094 30096 29676 0 -1 4202560 94205 0 0 0 99615 70 0 0 25 0 4 0 653742475 1727397888 389834 33554432000 4194304 4964800 140736387548304 18446744073709551615 4670346 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=30096/tid=30100] ppid=30094 vsize=1686912 CPUtime=998.92 cores=1,3,5,7
/proc/30096/task/30100/stat : 30100 (claspmt) R 30094 30096 29676 0 -1 4202560 114350 0 0 0 99802 90 0 0 25 0 4 0 653742475 1727397888 389834 33554432000 4194304 4964800 140736387548304 18446744073709551615 4668753 0 0 4096 18946 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3993.42
Current children cumulated vsize (KiB) 1686912

[startup+1062.3 s]
/proc/loadavg: 8.01 8.08 8.04 9/392 30132
/proc/meminfo: memFree=24887140/32950928 swapFree=44388876/67111528
[pid=30096] ppid=30094 vsize=1686912 CPUtime=4232.63 cores=1,3,5,7
/proc/30096/stat : 30096 (claspmt) R 30094 30096 29676 0 -1 4202496 397609 0 0 0 422989 274 0 0 25 0 4 0 653742408 1727397888 389837 33554432000 4194304 4964800 140736387548304 18446744073709551615 4670437 0 0 4096 18946 18446744073709551615 0 0 17 7 0 0 0
/proc/30096/statm: 421728 389837 460 189 0 416077 0
[pid=30096/tid=30098] ppid=30094 vsize=1686912 CPUtime=1060.87 cores=1,3,5,7
/proc/30096/task/30098/stat : 30098 (claspmt) R 30094 30096 29676 0 -1 4202560 118475 0 0 0 106023 64 0 0 25 0 4 0 653742475 1727397888 389837 33554432000 4194304 4964800 140736387548304 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=30096/tid=30099] ppid=30094 vsize=1686912 CPUtime=1056.85 cores=1,3,5,7
/proc/30096/task/30099/stat : 30099 (claspmt) R 30094 30096 29676 0 -1 4202560 94205 0 0 0 105615 70 0 0 25 0 4 0 653742475 1727397888 389837 33554432000 4194304 4964800 140736387548304 18446744073709551615 4320951 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=30096/tid=30100] ppid=30094 vsize=1686912 CPUtime=1058.91 cores=1,3,5,7
/proc/30096/task/30100/stat : 30100 (claspmt) R 30094 30096 29676 0 -1 4202560 114350 0 0 0 105801 90 0 0 25 0 4 0 653742475 1727397888 389837 33554432000 4194304 4964800 140736387548304 18446744073709551615 4684074 0 0 4096 18946 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4232.63
Current children cumulated vsize (KiB) 1686912

[startup+1122.3 s]
/proc/loadavg: 8.08 8.08 8.04 9/392 30133
/proc/meminfo: memFree=24809504/32950928 swapFree=44388876/67111528
[pid=30096] ppid=30094 vsize=1752448 CPUtime=4471.87 cores=1,3,5,7
/proc/30096/stat : 30096 (claspmt) R 30094 30096 29676 0 -1 4202496 413235 0 0 0 446898 289 0 0 25 0 4 0 653742408 1794506752 405463 33554432000 4194304 4964800 140736387548304 18446744073709551615 4670328 0 0 4096 18946 18446744073709551615 0 0 17 7 0 0 0
/proc/30096/statm: 438112 405463 460 189 0 432461 0
[pid=30096/tid=30098] ppid=30094 vsize=1752448 CPUtime=1120.88 cores=1,3,5,7
/proc/30096/task/30098/stat : 30098 (claspmt) R 30094 30096 29676 0 -1 4202560 134077 0 0 0 112009 79 0 0 25 0 4 0 653742475 1794506752 405463 33554432000 4194304 4964800 140736387548304 18446744073709551615 4364583 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=30096/tid=30099] ppid=30094 vsize=1752448 CPUtime=1116.85 cores=1,3,5,7
/proc/30096/task/30099/stat : 30099 (claspmt) R 30094 30096 29676 0 -1 4202560 94205 0 0 0 111615 70 0 0 25 0 4 0 653742475 1794506752 405463 33554432000 4194304 4964800 140736387548304 18446744073709551615 4320951 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=30096/tid=30100] ppid=30094 vsize=1752448 CPUtime=1118.91 cores=1,3,5,7
/proc/30096/task/30100/stat : 30100 (claspmt) R 30094 30096 29676 0 -1 4202560 114371 0 0 0 111801 90 0 0 25 0 4 0 653742475 1794506752 405463 33554432000 4194304 4964800 140736387548304 18446744073709551615 4670328 0 0 4096 18946 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4471.87
Current children cumulated vsize (KiB) 1752448

[startup+1182.3 s]
/proc/loadavg: 8.09 8.07 8.04 9/392 30135
/proc/meminfo: memFree=24761504/32950928 swapFree=44388876/67111528
[pid=30096] ppid=30094 vsize=1817984 CPUtime=4711.09 cores=1,3,5,7
/proc/30096/stat : 30096 (claspmt) R 30094 30096 29676 0 -1 4202496 420603 0 0 0 470808 301 0 0 25 0 4 0 653742408 1861615616 412831 33554432000 4194304 4964800 140736387548304 18446744073709551615 4684009 0 0 4096 18946 18446744073709551615 0 0 17 7 0 0 0
/proc/30096/statm: 454496 412831 460 189 0 448845 0
[pid=30096/tid=30098] ppid=30094 vsize=1817984 CPUtime=1180.85 cores=1,3,5,7
/proc/30096/task/30098/stat : 30098 (claspmt) R 30094 30096 29676 0 -1 4202560 139420 0 0 0 117997 88 0 0 25 0 4 0 653742475 1861615616 412831 33554432000 4194304 4964800 140736387548304 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=30096/tid=30099] ppid=30094 vsize=1817984 CPUtime=1176.86 cores=1,3,5,7
/proc/30096/task/30099/stat : 30099 (claspmt) R 30094 30096 29676 0 -1 4202560 94206 0 0 0 117616 70 0 0 25 0 4 0 653742475 1861615616 412831 33554432000 4194304 4964800 140736387548304 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=30096/tid=30100] ppid=30094 vsize=1817984 CPUtime=1178.91 cores=1,3,5,7
/proc/30096/task/30100/stat : 30100 (claspmt) R 30094 30096 29676 0 -1 4202560 116240 0 0 0 117798 93 0 0 25 0 4 0 653742475 1861615616 412831 33554432000 4194304 4964800 140736387548304 18446744073709551615 4668805 0 0 4096 18946 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4711.09
Current children cumulated vsize (KiB) 1817984



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1204.7 s]
/proc/loadavg: 8.07 8.07 8.04 5/384 30153
/proc/meminfo: memFree=25345320/32950928 swapFree=44388876/67111528
[pid=30096] ppid=30094 vsize=1817984 CPUtime=4800.43 cores=1,3,5,7
/proc/30096/stat : 30096 (claspmt) R 30094 30096 29676 0 -1 4202496 420603 0 0 0 479742 301 0 0 25 0 4 0 653742408 1861615616 412831 33554432000 4194304 4964800 140736387548304 18446744073709551615 4342144 0 0 4096 18946 18446744073709551615 0 0 17 7 0 0 0
/proc/30096/statm: 454496 412831 460 189 0 448845 0
[pid=30096/tid=30098] ppid=30094 vsize=1817984 CPUtime=1203.27 cores=1,3,5,7
/proc/30096/task/30098/stat : 30098 (claspmt) R 30094 30096 29676 0 -1 4202560 139420 0 0 0 120239 88 0 0 25 0 4 0 653742475 1861615616 412831 33554432000 4194304 4964800 140736387548304 18446744073709551615 4669509 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=30096/tid=30099] ppid=30094 vsize=1817984 CPUtime=1199.27 cores=1,3,5,7
/proc/30096/task/30099/stat : 30099 (claspmt) R 30094 30096 29676 0 -1 4202560 94206 0 0 0 119857 70 0 0 25 0 4 0 653742475 1861615616 412831 33554432000 4194304 4964800 140736387548304 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=30096/tid=30100] ppid=30094 vsize=1817984 CPUtime=1201.32 cores=1,3,5,7
/proc/30096/task/30100/stat : 30100 (claspmt) R 30094 30096 29676 0 -1 4202560 116240 0 0 0 120039 93 0 0 25 0 4 0 653742475 1861615616 412831 33554432000 4194304 4964800 140736387548304 18446744073709551615 4362938 0 0 4096 18946 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4800.43
Current children cumulated vsize (KiB) 1817984

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

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

[startup+1204.82 s]
/proc/loadavg: 8.07 8.07 8.04 5/384 30153
/proc/meminfo: memFree=25345320/32950928 swapFree=44388876/67111528
[pid=30096] ppid=30094 vsize=1801512 CPUtime=4800.54 cores=1,3,5,7
/proc/30096/stat : 30096 (claspmt) R 30094 30096 29676 0 -1 4202496 420613 0 0 0 479753 301 0 0 25 0 1 0 653742408 1844748288 408723 33554432000 4194304 4964800 140736387548304 18446744073709551615 4646607 0 0 4096 18946 0 0 0 17 7 0 0 0
/proc/30096/statm: 450378 408723 470 189 0 444727 0
Current children cumulated CPU time (s) 4800.54
Current children cumulated vsize (KiB) 1801512

[startup+1204.9 s]
/proc/loadavg: 8.07 8.07 8.04 5/384 30153
/proc/meminfo: memFree=25345320/32950928 swapFree=44388876/67111528
[pid=30096] ppid=30094 vsize=1791548 CPUtime=4800.62 cores=1,3,5,7
/proc/30096/stat : 30096 (claspmt) R 30094 30096 29676 0 -1 4202496 420613 0 0 0 479761 301 0 0 25 0 1 0 653742408 1834545152 406559 33554432000 4194304 4964800 140736387548304 18446744073709551615 251813895291 0 0 4096 18946 0 0 0 17 7 0 0 0
/proc/30096/statm: 447887 406559 470 189 0 442236 0
Current children cumulated CPU time (s) 4800.62
Current children cumulated vsize (KiB) 1791548

Child status: 0
Real time (s): 1204.98
CPU time (s): 4800.71
CPU user time (s): 4797.64
CPU system time (s): 3.07553
CPU usage (%): 398.407
Max. virtual memory (cumulated for all children) (KiB): 1817984

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4797.64
system time used= 3.07553
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 420615
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= 7465
involuntary context switches= 34782

runsolver used 3.90041 second user time and 11.4553 second system time

The end

Launcher Data 

Begin job on node126 at 2011-05-15 03:03:57
IDJOB=3373571
IDBENCH=82462
IDSOLVER=1853
FILE ID=node126/3373571-1305421437
RUNJOBID= node126-1305418956-29695
PBS_JOBID= 13324566
Free space on /tmp= 73308 MiB

SOLVER NAME= claspmt 2.0-R4095-patched (fixed)
BENCH NAME= SAT11/application/jarvisalo/smtqfbv-aigs/smtlib-qfbv-aigs-countbits128-tseitin.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-3373571-1305421437/watcher-3373571-1305421437 -o /tmp/evaluation-result-3373571-1305421437/solver-3373571-1305421437 -C 4800 -W 1300 -M 15500  HOME/claspmt -t4 -p HOME/sat11-port.txt --distribute=all,2 HOME/instance-3373571-1305421437.cnf

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

MD5SUM BENCH= 47da9e46b00ffd3e0b0f453a6c3c9f38
RANDOM SEED=499432427

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

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.783
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.74
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.783
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.74
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.783
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.80
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.783
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.783
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.82
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.783
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:     32950928 kB
MemFree:      26745436 kB
Buffers:        266304 kB
Cached:        2488832 kB
SwapCached:      92524 kB
Active:        1033696 kB
Inactive:      4919072 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      26745436 kB
SwapTotal:    67111528 kB
SwapFree:     44388876 kB
Dirty:           20400 kB
Writeback:           0 kB
AnonPages:     3117340 kB
Mapped:          16088 kB
Slab:           111132 kB
PageTables:      75656 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS: 88362644 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= 73320 MiB
End job on node126 at 2011-05-15 03:24:04