Trace number 3373032

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.32 1203.68

General information on the benchmark

Namecrafted/mosoi/289/
289-unsat-5x41.cnf
MD5SUM420773b7b438dd18c8a88a15fb5bcae1
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 variables820
Number of clauses34235
Sum of the clauses size134480
Maximum clause length4
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 21230
Number of clauses of size 30
Number of clauses of size 433005
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 ...424122/instance-3373032-1305424122.cnf
0.39/0.43	c Solving...
4800.21/1203.61	
4800.21/1203.61	*** INTERRUPTED! ***
4800.21/1203.61	*** Shutting down threads...
4800.21/1203.68	s UNKNOWN
4800.21/1203.68	
4800.21/1203.68	c INTERRUPTED   : 1
4800.21/1203.68	c Models        : 0+    
4800.21/1203.68	c Time          : 1203.614s (Solving: 1203.18s 1st Model: 0.00s Unsat: 0.00s)
4800.21/1203.68	c CPU Time      : 4800.240s

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-3373032-1305424122/watcher-3373032-1305424122 -o /tmp/evaluation-result-3373032-1305424122/solver-3373032-1305424122 -C 4800 -W 1300 -M 15500 HOME/claspmt -t4 -p HOME/sat11-port.txt --distribute=all,2 HOME/instance-3373032-1305424122.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: 7.54 8.00 7.89 2/290 5577
/proc/meminfo: memFree=15834520/32950928 swapFree=67111364/67111528
[pid=5577] ppid=5575 vsize=21888 CPUtime=0 cores=0,2,4,6
/proc/5577/stat : 5577 (claspmt) R 5575 5577 4917 0 -1 4202496 750 0 0 0 0 0 0 0 25 0 1 0 110021592 22413312 674 33554432000 4194304 4964800 140736021217472 18446744073709551615 218880225989 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/5577/statm: 5472 675 385 189 0 346 0

[startup+0.05975 s]
/proc/loadavg: 7.54 8.00 7.89 2/290 5577
/proc/meminfo: memFree=15834520/32950928 swapFree=67111364/67111528
[pid=5577] ppid=5575 vsize=24140 CPUtime=0.05 cores=0,2,4,6
/proc/5577/stat : 5577 (claspmt) R 5575 5577 4917 0 -1 4202496 1417 0 0 0 5 0 0 0 25 0 1 0 110021592 24719360 1244 33554432000 4194304 4964800 140736021217472 18446744073709551615 4607641 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/5577/statm: 6035 1244 398 189 0 909 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 24140

[startup+0.100744 s]
/proc/loadavg: 7.54 8.00 7.89 2/290 5577
/proc/meminfo: memFree=15834520/32950928 swapFree=67111364/67111528
[pid=5577] ppid=5575 vsize=24404 CPUtime=0.09 cores=0,2,4,6
/proc/5577/stat : 5577 (claspmt) R 5575 5577 4917 0 -1 4202496 1503 0 0 0 9 0 0 0 25 0 1 0 110021592 24989696 1330 33554432000 4194304 4964800 140736021217472 18446744073709551615 4600353 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/5577/statm: 6101 1330 399 189 0 975 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 24404

[startup+0.30071 s]
/proc/loadavg: 7.54 8.00 7.89 2/290 5577
/proc/meminfo: memFree=15834520/32950928 swapFree=67111364/67111528
[pid=5577] ppid=5575 vsize=26516 CPUtime=0.29 cores=0,2,4,6
/proc/5577/stat : 5577 (claspmt) R 5575 5577 4917 0 -1 4202496 2035 0 0 0 29 0 0 0 25 0 1 0 110021592 27152384 1862 33554432000 4194304 4964800 140736021217472 18446744073709551615 4600304 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/5577/statm: 6629 1863 399 189 0 1503 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 26516

[startup+1.40547 s]
/proc/loadavg: 7.54 8.00 7.89 2/290 5577
/proc/meminfo: memFree=15834520/32950928 swapFree=67111364/67111528
[pid=5577] ppid=5575 vsize=249864 CPUtime=4.24 cores=0,2,4,6
/proc/5577/stat : 5577 (claspmt) R 5575 5577 4917 0 -1 4202496 10210 0 0 0 403 21 0 0 19 0 4 0 110021592 255860736 9948 33554432000 4194304 4964800 140736021217472 18446744073709551615 218880226337 0 0 4096 18946 18446744073709551615 0 0 17 2 0 0 0
/proc/5577/statm: 62466 9948 458 189 0 56815 0
Current children cumulated CPU time (s) 4.24
Current children cumulated vsize (KiB) 249864

[startup+1.50045 s]
/proc/loadavg: 7.54 8.00 7.89 2/290 5577
/proc/meminfo: memFree=15834520/32950928 swapFree=67111364/67111528
[pid=5577] ppid=5575 vsize=249864 CPUtime=4.61 cores=0,2,4,6
/proc/5577/stat : 5577 (claspmt) R 5575 5577 4917 0 -1 4202496 10226 0 0 0 440 21 0 0 19 0 4 0 110021592 255860736 9964 33554432000 4194304 4964800 140736021217472 18446744073709551615 4660835 0 0 4096 18946 18446744073709551615 0 0 17 2 0 0 0
/proc/5577/statm: 62466 9964 458 189 0 56815 0
Current children cumulated CPU time (s) 4.61
Current children cumulated vsize (KiB) 249864

[startup+3.10117 s]
/proc/loadavg: 7.54 8.00 7.89 6/299 5621
/proc/meminfo: memFree=15729492/32950928 swapFree=67111364/67111528
[pid=5577] ppid=5575 vsize=253804 CPUtime=10.98 cores=0,2,4,6
/proc/5577/stat : 5577 (claspmt) R 5575 5577 4917 0 -1 4202496 14253 0 0 0 1062 36 0 0 22 0 4 0 110021592 259895296 13991 33554432000 4194304 4964800 140736021217472 18446744073709551615 4684107 0 0 4096 18946 18446744073709551615 0 0 17 2 0 0 0
/proc/5577/statm: 63451 13991 460 189 0 57800 0
[pid=5577/tid=5592] ppid=5575 vsize=253804 CPUtime=2.63 cores=0,2,4,6
/proc/5577/task/5592/stat : 5592 (claspmt) R 5575 5577 4917 0 -1 4202560 2759 0 0 0 252 11 0 0 20 0 4 0 110021635 259895296 13991 33554432000 4194304 4964800 140736021217472 18446744073709551615 4362262 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=5577/tid=5593] ppid=5575 vsize=253804 CPUtime=2.66 cores=0,2,4,6
/proc/5577/task/5593/stat : 5593 (claspmt) R 5575 5577 4917 0 -1 4202560 2972 0 0 0 266 0 0 0 22 0 4 0 110021635 259895296 13991 33554432000 4194304 4964800 140736021217472 18446744073709551615 4321102 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=5577/tid=5594] ppid=5575 vsize=253804 CPUtime=2.62 cores=0,2,4,6
/proc/5577/task/5594/stat : 5594 (claspmt) R 5575 5577 4917 0 -1 4202560 3143 0 0 0 251 11 0 0 22 0 4 0 110021635 259895296 13991 33554432000 4194304 4964800 140736021217472 18446744073709551615 4670346 0 0 4096 18946 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 10.98
Current children cumulated vsize (KiB) 253804

[startup+6.31061 s]
/proc/loadavg: 7.34 7.95 7.87 6/299 5621
/proc/meminfo: memFree=15706304/32950928 swapFree=67111364/67111528
[pid=5577] ppid=5575 vsize=258960 CPUtime=23.77 cores=0,2,4,6
/proc/5577/stat : 5577 (claspmt) R 5575 5577 4917 0 -1 4202496 18538 0 0 0 2326 51 0 0 19 0 4 0 110021592 265175040 18276 33554432000 4194304 4964800 140736021217472 18446744073709551615 4325338 0 0 4096 18946 18446744073709551615 0 0 17 2 0 0 0
/proc/5577/statm: 64740 18276 460 189 0 59089 0
[pid=5577/tid=5592] ppid=5575 vsize=258960 CPUtime=5.82 cores=0,2,4,6
/proc/5577/task/5592/stat : 5592 (claspmt) R 5575 5577 4917 0 -1 4202560 4346 0 0 0 565 17 0 0 18 0 4 0 110021635 265175040 18276 33554432000 4194304 4964800 140736021217472 18446744073709551615 4670328 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=5577/tid=5593] ppid=5575 vsize=258960 CPUtime=5.86 cores=0,2,4,6
/proc/5577/task/5593/stat : 5593 (claspmt) R 5575 5577 4917 0 -1 4202560 3603 0 0 0 586 0 0 0 25 0 4 0 110021635 265175040 18276 33554432000 4194304 4964800 140736021217472 18446744073709551615 4320955 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=5577/tid=5594] ppid=5575 vsize=258960 CPUtime=5.8 cores=0,2,4,6
/proc/5577/task/5594/stat : 5594 (claspmt) R 5575 5577 4917 0 -1 4202560 4015 0 0 0 566 14 0 0 25 0 4 0 110021635 265175040 18276 33554432000 4194304 4964800 140736021217472 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 23.77
Current children cumulated vsize (KiB) 258960

[startup+12.7005 s]
/proc/loadavg: 7.15 7.90 7.86 6/299 5621
/proc/meminfo: memFree=15660496/32950928 swapFree=67111364/67111528
[pid=5577] ppid=5575 vsize=259644 CPUtime=49.25 cores=0,2,4,6
/proc/5577/stat : 5577 (claspmt) R 5575 5577 4917 0 -1 4202496 27191 0 0 0 4834 91 0 0 25 0 4 0 110021592 265875456 26808 33554432000 4194304 4964800 140736021217472 18446744073709551615 218880232320 0 0 4096 18946 18446744073709551615 0 0 17 2 0 0 0
/proc/5577/statm: 64911 26808 460 189 0 59260 0
[pid=5577/tid=5592] ppid=5575 vsize=259644 CPUtime=12.19 cores=0,2,4,6
/proc/5577/task/5592/stat : 5592 (claspmt) R 5575 5577 4917 0 -1 4202560 7298 0 0 0 1185 34 0 0 21 0 4 0 110021635 265875456 26808 33554432000 4194304 4964800 140736021217472 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=5577/tid=5593] ppid=5575 vsize=259644 CPUtime=12.25 cores=0,2,4,6
/proc/5577/task/5593/stat : 5593 (claspmt) R 5575 5577 4917 0 -1 4202560 5970 0 0 0 1224 1 0 0 25 0 4 0 110021635 265875456 26808 33554432000 4194304 4964800 140736021217472 18446744073709551615 4670499 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=5577/tid=5594] ppid=5575 vsize=259644 CPUtime=12.13 cores=0,2,4,6
/proc/5577/task/5594/stat : 5594 (claspmt) R 5575 5577 4917 0 -1 4202560 6525 0 0 0 1183 30 0 0 25 0 4 0 110021635 265875456 26808 33554432000 4194304 4964800 140736021217472 18446744073709551615 4670273 0 0 4096 18946 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 49.25
Current children cumulated vsize (KiB) 259644

[startup+25.5013 s]
/proc/loadavg: 6.67 7.75 7.81 6/299 5621
/proc/meminfo: memFree=15608916/32950928 swapFree=67111364/67111528
[pid=5577] ppid=5575 vsize=263780 CPUtime=100.3 cores=0,2,4,6
/proc/5577/stat : 5577 (claspmt) R 5575 5577 4917 0 -1 4202496 36048 0 0 0 9906 124 0 0 19 0 4 0 110021592 270110720 35437 33554432000 4194304 4964800 140736021217472 18446744073709551615 4312196 0 0 4096 18946 18446744073709551615 0 0 17 2 0 0 0
/proc/5577/statm: 65945 35437 460 189 0 60294 0
[pid=5577/tid=5592] ppid=5575 vsize=263780 CPUtime=24.98 cores=0,2,4,6
/proc/5577/task/5592/stat : 5592 (claspmt) R 5575 5577 4917 0 -1 4202560 9771 0 0 0 2452 46 0 0 25 0 4 0 110021635 270110720 35437 33554432000 4194304 4964800 140736021217472 18446744073709551615 4362240 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=5577/tid=5593] ppid=5575 vsize=263780 CPUtime=25.05 cores=0,2,4,6
/proc/5577/task/5593/stat : 5593 (claspmt) R 5575 5577 4917 0 -1 4202560 8506 0 0 0 2503 2 0 0 25 0 4 0 110021635 270110720 35437 33554432000 4194304 4964800 140736021217472 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=5577/tid=5594] ppid=5575 vsize=263780 CPUtime=24.81 cores=0,2,4,6
/proc/5577/task/5594/stat : 5594 (claspmt) R 5575 5577 4917 0 -1 4202560 8707 0 0 0 2440 41 0 0 25 0 4 0 110021635 270110720 35437 33554432000 4194304 4964800 140736021217472 18446744073709551615 4670310 0 0 4096 18946 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 100.3
Current children cumulated vsize (KiB) 263780

[startup+51.1007 s]
/proc/loadavg: 6.83 7.69 7.79 9/302 5625
/proc/meminfo: memFree=15295212/32950928 swapFree=67111364/67111528
[pid=5577] ppid=5575 vsize=283160 CPUtime=202.44 cores=0,2,4,6
/proc/5577/stat : 5577 (claspmt) R 5575 5577 4917 0 -1 4202496 45974 0 0 0 20113 131 0 0 25 0 4 0 110021592 289955840 45244 33554432000 4194304 4964800 140736021217472 18446744073709551615 4320944 0 0 4096 18946 18446744073709551615 0 0 17 2 0 0 0
/proc/5577/statm: 70790 45244 460 189 0 65139 0
[pid=5577/tid=5592] ppid=5575 vsize=283160 CPUtime=50.55 cores=0,2,4,6
/proc/5577/task/5592/stat : 5592 (claspmt) R 5575 5577 4917 0 -1 4202560 12156 0 0 0 5007 48 0 0 25 0 4 0 110021635 289955840 45244 33554432000 4194304 4964800 140736021217472 18446744073709551615 4659391 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=5577/tid=5593] ppid=5575 vsize=283160 CPUtime=50.65 cores=0,2,4,6
/proc/5577/task/5593/stat : 5593 (claspmt) R 5575 5577 4917 0 -1 4202560 9929 0 0 0 5062 3 0 0 25 0 4 0 110021635 289955840 45244 33554432000 4194304 4964800 140736021217472 18446744073709551615 4670273 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=5577/tid=5594] ppid=5575 vsize=283160 CPUtime=50.17 cores=0,2,4,6
/proc/5577/task/5594/stat : 5594 (claspmt) R 5575 5577 4917 0 -1 4202560 10986 0 0 0 4974 43 0 0 25 0 4 0 110021635 289955840 45244 33554432000 4194304 4964800 140736021217472 18446744073709551615 4342208 0 0 4096 18946 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 202.44
Current children cumulated vsize (KiB) 283160

[startup+102.301 s]
/proc/loadavg: 7.53 7.75 7.80 9/302 5626
/proc/meminfo: memFree=15077216/32950928 swapFree=67111364/67111528
[pid=5577] ppid=5575 vsize=294460 CPUtime=406.74 cores=0,2,4,6
/proc/5577/stat : 5577 (claspmt) R 5575 5577 4917 0 -1 4202496 59052 0 0 0 40533 141 0 0 25 0 4 0 110021592 301527040 58077 33554432000 4194304 4964800 140736021217472 18446744073709551615 4670310 0 0 4096 18946 18446744073709551615 0 0 17 2 0 0 0
/proc/5577/statm: 73615 58077 460 189 0 67964 0
[pid=5577/tid=5592] ppid=5575 vsize=294460 CPUtime=101.74 cores=0,2,4,6
/proc/5577/task/5592/stat : 5592 (claspmt) R 5575 5577 4917 0 -1 4202560 15442 0 0 0 10123 51 0 0 25 0 4 0 110021635 301527040 58077 33554432000 4194304 4964800 140736021217472 18446744073709551615 4670346 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=5577/tid=5593] ppid=5575 vsize=294460 CPUtime=101.84 cores=0,2,4,6
/proc/5577/task/5593/stat : 5593 (claspmt) R 5575 5577 4917 0 -1 4202560 14036 0 0 0 10179 5 0 0 25 0 4 0 110021635 301527040 58077 33554432000 4194304 4964800 140736021217472 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=5577/tid=5594] ppid=5575 vsize=294460 CPUtime=100.89 cores=0,2,4,6
/proc/5577/task/5594/stat : 5594 (claspmt) R 5575 5577 4917 0 -1 4202560 15030 0 0 0 10042 47 0 0 25 0 4 0 110021635 301527040 58077 33554432000 4194304 4964800 140736021217472 18446744073709551615 4320955 0 0 4096 18946 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 406.74
Current children cumulated vsize (KiB) 294460

[startup+162.3 s]
/proc/loadavg: 7.86 7.81 7.82 9/302 5628
/proc/meminfo: memFree=14954420/32950928 swapFree=67111364/67111528
[pid=5577] ppid=5575 vsize=427888 CPUtime=646.16 cores=0,2,4,6
/proc/5577/stat : 5577 (claspmt) R 5575 5577 4917 0 -1 4202496 67864 0 0 0 64467 149 0 0 25 0 4 0 110021592 438157312 66729 33554432000 4194304 4964800 140736021217472 18446744073709551615 4670308 0 0 4096 18946 18446744073709551615 0 0 17 2 0 0 0
/proc/5577/statm: 106972 66729 460 189 0 101321 0
[pid=5577/tid=5592] ppid=5575 vsize=427888 CPUtime=161.72 cores=0,2,4,6
/proc/5577/task/5592/stat : 5592 (claspmt) R 5575 5577 4917 0 -1 4202560 19317 0 0 0 16117 55 0 0 25 0 4 0 110021635 438157312 66729 33554432000 4194304 4964800 140736021217472 18446744073709551615 4670273 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=5577/tid=5593] ppid=5575 vsize=427888 CPUtime=161.84 cores=0,2,4,6
/proc/5577/task/5593/stat : 5593 (claspmt) R 5575 5577 4917 0 -1 4202560 16619 0 0 0 16177 7 0 0 25 0 4 0 110021635 438157312 66729 33554432000 4194304 4964800 140736021217472 18446744073709551615 4320939 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=5577/tid=5594] ppid=5575 vsize=427888 CPUtime=160.33 cores=0,2,4,6
/proc/5577/task/5594/stat : 5594 (claspmt) R 5575 5577 4917 0 -1 4202560 15383 0 0 0 15985 48 0 0 25 0 4 0 110021635 438157312 66729 33554432000 4194304 4964800 140736021217472 18446744073709551615 4670332 0 0 4096 18946 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 646.16
Current children cumulated vsize (KiB) 427888

[startup+222.301 s]
/proc/loadavg: 7.98 7.86 7.83 9/302 5630
/proc/meminfo: memFree=14805708/32950928 swapFree=67111364/67111528
[pid=5577] ppid=5575 vsize=513952 CPUtime=885.57 cores=0,2,4,6
/proc/5577/stat : 5577 (claspmt) R 5575 5577 4917 0 -1 4202496 78554 0 0 0 88403 154 0 0 25 0 4 0 110021592 526286848 77388 33554432000 4194304 4964800 140736021217472 18446744073709551615 4321102 0 0 4096 18946 18446744073709551615 0 0 17 2 0 0 0
/proc/5577/statm: 128488 77388 460 189 0 122837 0
[pid=5577/tid=5592] ppid=5575 vsize=513952 CPUtime=221.71 cores=0,2,4,6
/proc/5577/task/5592/stat : 5592 (claspmt) R 5575 5577 4917 0 -1 4202560 22064 0 0 0 22115 56 0 0 25 0 4 0 110021635 526286848 77388 33554432000 4194304 4964800 140736021217472 18446744073709551615 4321020 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=5577/tid=5593] ppid=5575 vsize=513952 CPUtime=221.84 cores=0,2,4,6
/proc/5577/task/5593/stat : 5593 (claspmt) R 5575 5577 4917 0 -1 4202560 19624 0 0 0 22176 8 0 0 25 0 4 0 110021635 526286848 77388 33554432000 4194304 4964800 140736021217472 18446744073709551615 4660236 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=5577/tid=5594] ppid=5575 vsize=513952 CPUtime=219.77 cores=0,2,4,6
/proc/5577/task/5594/stat : 5594 (claspmt) R 5575 5577 4917 0 -1 4202560 18874 0 0 0 21927 50 0 0 25 0 4 0 110021635 526286848 77388 33554432000 4194304 4964800 140736021217472 18446744073709551615 4321102 0 0 4096 18946 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 885.57
Current children cumulated vsize (KiB) 513952

[startup+282.3 s]
/proc/loadavg: 8.16 7.93 7.85 9/302 5632
/proc/meminfo: memFree=14660460/32950928 swapFree=67111364/67111528
[pid=5577] ppid=5575 vsize=518480 CPUtime=1125.01 cores=0,2,4,6
/proc/5577/stat : 5577 (claspmt) R 5575 5577 4917 0 -1 4202496 82073 0 0 0 112343 158 0 0 25 0 4 0 110021592 530923520 80654 33554432000 4194304 4964800 140736021217472 18446744073709551615 4670328 0 0 4096 18946 18446744073709551615 0 0 17 2 0 0 0
/proc/5577/statm: 129620 80654 460 189 0 123969 0
[pid=5577/tid=5592] ppid=5575 vsize=518480 CPUtime=281.7 cores=0,2,4,6

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

[pid=5577] ppid=5575 vsize=553436 CPUtime=2561.51 cores=0,2,4,6
/proc/5577/stat : 5577 (claspmt) R 5575 5577 4917 0 -1 4202496 115599 0 0 0 255962 189 0 0 25 0 4 0 110021592 566718464 113328 33554432000 4194304 4964800 140736021217472 18446744073709551615 4321020 0 0 4096 18946 18446744073709551615 0 0 17 2 0 0 0
/proc/5577/statm: 138359 113328 460 189 0 132708 0
[pid=5577/tid=5592] ppid=5575 vsize=553436 CPUtime=641.61 cores=0,2,4,6
/proc/5577/task/5592/stat : 5592 (claspmt) R 5575 5577 4917 0 -1 4202560 26848 0 0 0 64098 63 0 0 25 0 4 0 110021635 566718464 113328 33554432000 4194304 4964800 140736021217472 18446744073709551615 4660139 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=5577/tid=5593] ppid=5575 vsize=553436 CPUtime=639.62 cores=0,2,4,6
/proc/5577/task/5593/stat : 5593 (claspmt) R 5575 5577 4917 0 -1 4202560 35836 0 0 0 63941 21 0 0 25 0 4 0 110021635 566718464 113328 33554432000 4194304 4964800 140736021217472 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=5577/tid=5594] ppid=5575 vsize=553436 CPUtime=638.06 cores=0,2,4,6
/proc/5577/task/5594/stat : 5594 (claspmt) R 5575 5577 4917 0 -1 4202560 23690 0 0 0 63751 55 0 0 25 0 4 0 110021635 566718464 113328 33554432000 4194304 4964800 140736021217472 18446744073709551615 4670330 0 0 4096 18946 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2561.51
Current children cumulated vsize (KiB) 553436

[startup+702.301 s]
/proc/loadavg: 8.07 8.00 7.91 9/302 5642
/proc/meminfo: memFree=13979416/32950928 swapFree=67111364/67111528
[pid=5577] ppid=5575 vsize=553436 CPUtime=2800.93 cores=0,2,4,6
/proc/5577/stat : 5577 (claspmt) R 5575 5577 4917 0 -1 4202496 116380 0 0 0 279902 191 0 0 25 0 4 0 110021592 566718464 113967 33554432000 4194304 4964800 140736021217472 18446744073709551615 4627540 0 0 4096 18946 18446744073709551615 0 0 17 2 0 0 0
/proc/5577/statm: 138359 113967 460 189 0 132708 0
[pid=5577/tid=5592] ppid=5575 vsize=553436 CPUtime=701.6 cores=0,2,4,6
/proc/5577/task/5592/stat : 5592 (claspmt) R 5575 5577 4917 0 -1 4202560 27056 0 0 0 70097 63 0 0 25 0 4 0 110021635 566718464 113967 33554432000 4194304 4964800 140736021217472 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=5577/tid=5593] ppid=5575 vsize=553436 CPUtime=699.61 cores=0,2,4,6
/proc/5577/task/5593/stat : 5593 (claspmt) R 5575 5577 4917 0 -1 4202560 36395 0 0 0 69939 22 0 0 25 0 4 0 110021635 566718464 113967 33554432000 4194304 4964800 140736021217472 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=5577/tid=5594] ppid=5575 vsize=553436 CPUtime=697.5 cores=0,2,4,6
/proc/5577/task/5594/stat : 5594 (claspmt) R 5575 5577 4917 0 -1 4202560 23701 0 0 0 69695 55 0 0 25 0 4 0 110021635 566718464 113967 33554432000 4194304 4964800 140736021217472 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2800.93
Current children cumulated vsize (KiB) 553436

[startup+762.3 s]
/proc/loadavg: 8.11 8.03 7.92 9/302 5653
/proc/meminfo: memFree=13969620/32950928 swapFree=67111364/67111528
[pid=5577] ppid=5575 vsize=551192 CPUtime=3040.34 cores=0,2,4,6
/proc/5577/stat : 5577 (claspmt) R 5575 5577 4917 0 -1 4202496 118762 0 0 0 303840 194 0 0 25 0 4 0 110021592 564420608 115532 33554432000 4194304 4964800 140736021217472 18446744073709551615 4670308 0 0 4096 18946 18446744073709551615 0 0 17 6 0 0 0
/proc/5577/statm: 137798 115532 460 189 0 132147 0
[pid=5577/tid=5592] ppid=5575 vsize=551192 CPUtime=761.58 cores=0,2,4,6
/proc/5577/task/5592/stat : 5592 (claspmt) R 5575 5577 4917 0 -1 4202560 29390 0 0 0 76094 64 0 0 25 0 4 0 110021635 564420608 115532 33554432000 4194304 4964800 140736021217472 18446744073709551615 4653304 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=5577/tid=5593] ppid=5575 vsize=551192 CPUtime=759.59 cores=0,2,4,6
/proc/5577/task/5593/stat : 5593 (claspmt) R 5575 5577 4917 0 -1 4202560 36436 0 0 0 75937 22 0 0 25 0 4 0 110021635 564420608 115532 33554432000 4194304 4964800 140736021217472 18446744073709551615 4670335 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=5577/tid=5594] ppid=5575 vsize=551192 CPUtime=757.27 cores=0,2,4,6
/proc/5577/task/5594/stat : 5594 (claspmt) R 5575 5577 4917 0 -1 4202560 23708 0 0 0 75672 55 0 0 25 0 4 0 110021635 564420608 115532 33554432000 4194304 4964800 140736021217472 18446744073709551615 4684107 0 0 4096 18946 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3040.34
Current children cumulated vsize (KiB) 551192

[startup+822.301 s]
/proc/loadavg: 8.40 8.11 7.95 9/302 6134
/proc/meminfo: memFree=13978980/32950928 swapFree=67111364/67111528
[pid=5577] ppid=5575 vsize=551192 CPUtime=3278.65 cores=0,2,4,6
/proc/5577/stat : 5577 (claspmt) R 5575 5577 4917 0 -1 4202496 119546 0 0 0 327670 195 0 0 25 0 4 0 110021592 564420608 116028 33554432000 4194304 4964800 140736021217472 18446744073709551615 4320970 0 0 4096 18946 18446744073709551615 0 0 17 6 0 0 0
/proc/5577/statm: 137798 116028 460 189 0 132147 0
[pid=5577/tid=5592] ppid=5575 vsize=551192 CPUtime=821.51 cores=0,2,4,6
/proc/5577/task/5592/stat : 5592 (claspmt) R 5575 5577 4917 0 -1 4202560 29958 0 0 0 82086 65 0 0 25 0 4 0 110021635 564420608 116028 33554432000 4194304 4964800 140736021217472 18446744073709551615 4670346 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=5577/tid=5593] ppid=5575 vsize=551192 CPUtime=818.68 cores=0,2,4,6
/proc/5577/task/5593/stat : 5593 (claspmt) R 5575 5577 4917 0 -1 4202560 36634 0 0 0 81845 23 0 0 25 0 4 0 110021635 564420608 116028 33554432000 4194304 4964800 140736021217472 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=5577/tid=5594] ppid=5575 vsize=551192 CPUtime=817.17 cores=0,2,4,6
/proc/5577/task/5594/stat : 5594 (claspmt) R 5575 5577 4917 0 -1 4202560 23725 0 0 0 81662 55 0 0 25 0 4 0 110021635 564420608 116028 33554432000 4194304 4964800 140736021217472 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3278.65
Current children cumulated vsize (KiB) 551192

[startup+882.3 s]
/proc/loadavg: 8.33 8.14 7.97 9/302 6136
/proc/meminfo: memFree=13967156/32950928 swapFree=67111364/67111528
[pid=5577] ppid=5575 vsize=551192 CPUtime=3518.06 cores=0,2,4,6
/proc/5577/stat : 5577 (claspmt) R 5575 5577 4917 0 -1 4202496 120807 0 0 0 351608 198 0 0 25 0 4 0 110021592 564420608 117129 33554432000 4194304 4964800 140736021217472 18446744073709551615 4362220 0 0 4096 18946 18446744073709551615 0 0 17 6 0 0 0
/proc/5577/statm: 137798 117129 460 189 0 132147 0
[pid=5577/tid=5592] ppid=5575 vsize=551192 CPUtime=881.5 cores=0,2,4,6
/proc/5577/task/5592/stat : 5592 (claspmt) R 5575 5577 4917 0 -1 4202560 30264 0 0 0 88084 66 0 0 25 0 4 0 110021635 564420608 117129 33554432000 4194304 4964800 140736021217472 18446744073709551615 4320886 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=5577/tid=5593] ppid=5575 vsize=551192 CPUtime=878.67 cores=0,2,4,6
/proc/5577/task/5593/stat : 5593 (claspmt) R 5575 5577 4917 0 -1 4202560 37037 0 0 0 87844 23 0 0 25 0 4 0 110021635 564420608 117129 33554432000 4194304 4964800 140736021217472 18446744073709551615 4670346 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=5577/tid=5594] ppid=5575 vsize=551192 CPUtime=877.17 cores=0,2,4,6
/proc/5577/task/5594/stat : 5594 (claspmt) R 5575 5577 4917 0 -1 4202560 23725 0 0 0 87661 56 0 0 25 0 4 0 110021635 564420608 117129 33554432000 4194304 4964800 140736021217472 18446744073709551615 4320944 0 0 4096 18946 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3518.06
Current children cumulated vsize (KiB) 551192

[startup+942.301 s]
/proc/loadavg: 8.19 8.13 7.97 9/302 6137
/proc/meminfo: memFree=13911224/32950928 swapFree=67111364/67111528
[pid=5577] ppid=5575 vsize=625956 CPUtime=3757.51 cores=0,2,4,6
/proc/5577/stat : 5577 (claspmt) R 5575 5577 4917 0 -1 4202496 126495 0 0 0 375549 202 0 0 25 0 4 0 110021592 640978944 122390 33554432000 4194304 4964800 140736021217472 18446744073709551615 4320955 0 0 4096 18946 18446744073709551615 0 0 17 6 0 0 0
/proc/5577/statm: 156489 122390 460 189 0 150838 0
[pid=5577/tid=5592] ppid=5575 vsize=625956 CPUtime=941.5 cores=0,2,4,6
/proc/5577/task/5592/stat : 5592 (claspmt) R 5575 5577 4917 0 -1 4202560 30554 0 0 0 94084 66 0 0 25 0 4 0 110021635 640978944 122390 33554432000 4194304 4964800 140736021217472 18446744073709551615 4321016 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=5577/tid=5593] ppid=5575 vsize=625956 CPUtime=938.68 cores=0,2,4,6
/proc/5577/task/5593/stat : 5593 (claspmt) R 5575 5577 4917 0 -1 4202560 41033 0 0 0 93843 25 0 0 25 0 4 0 110021635 640978944 122390 33554432000 4194304 4964800 140736021217472 18446744073709551615 4670332 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=5577/tid=5594] ppid=5575 vsize=625956 CPUtime=937.17 cores=0,2,4,6
/proc/5577/task/5594/stat : 5594 (claspmt) R 5575 5577 4917 0 -1 4202560 24303 0 0 0 93660 57 0 0 25 0 4 0 110021635 640978944 122390 33554432000 4194304 4964800 140736021217472 18446744073709551615 4654532 0 0 4096 18946 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3757.51
Current children cumulated vsize (KiB) 625956

[startup+1002.3 s]
/proc/loadavg: 8.07 8.10 7.97 9/302 6138
/proc/meminfo: memFree=13860872/32950928 swapFree=67111364/67111528
[pid=5577] ppid=5575 vsize=624392 CPUtime=3996.92 cores=0,2,4,6
/proc/5577/stat : 5577 (claspmt) R 5575 5577 4917 0 -1 4202496 129928 0 0 0 399487 205 0 0 25 0 4 0 110021592 639377408 124852 33554432000 4194304 4964800 140736021217472 18446744073709551615 4321029 0 0 4096 18946 18446744073709551615 0 0 17 6 0 0 0
/proc/5577/statm: 156098 124852 460 189 0 150447 0
[pid=5577/tid=5592] ppid=5575 vsize=624392 CPUtime=1001.48 cores=0,2,4,6
/proc/5577/task/5592/stat : 5592 (claspmt) R 5575 5577 4917 0 -1 4202560 33005 0 0 0 100080 68 0 0 25 0 4 0 110021635 639377408 124852 33554432000 4194304 4964800 140736021217472 18446744073709551615 4659391 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=5577/tid=5593] ppid=5575 vsize=624392 CPUtime=998.66 cores=0,2,4,6
/proc/5577/task/5593/stat : 5593 (claspmt) R 5575 5577 4917 0 -1 4202560 42009 0 0 0 99841 25 0 0 25 0 4 0 110021635 639377408 124852 33554432000 4194304 4964800 140736021217472 18446744073709551615 4644876 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=5577/tid=5594] ppid=5575 vsize=624392 CPUtime=997.15 cores=0,2,4,6
/proc/5577/task/5594/stat : 5594 (claspmt) R 5575 5577 4917 0 -1 4202560 24308 0 0 0 99658 57 0 0 25 0 4 0 110021635 639377408 124852 33554432000 4194304 4964800 140736021217472 18446744073709551615 4321102 0 0 4096 18946 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3996.92
Current children cumulated vsize (KiB) 624392

[startup+1062.31 s]
/proc/loadavg: 8.02 8.08 7.97 9/302 6140
/proc/meminfo: memFree=13833336/32950928 swapFree=67111364/67111528
[pid=5577] ppid=5575 vsize=624392 CPUtime=4236.38 cores=0,2,4,6
/proc/5577/stat : 5577 (claspmt) R 5575 5577 4917 0 -1 4202496 130758 0 0 0 423432 206 0 0 25 0 4 0 110021592 639377408 125386 33554432000 4194304 4964800 140736021217472 18446744073709551615 4670308 0 0 4096 18946 18446744073709551615 0 0 17 6 0 0 0
/proc/5577/statm: 156098 125386 460 189 0 150447 0
[pid=5577/tid=5592] ppid=5575 vsize=624392 CPUtime=1061.48 cores=0,2,4,6
/proc/5577/task/5592/stat : 5592 (claspmt) R 5575 5577 4917 0 -1 4202560 33114 0 0 0 106080 68 0 0 25 0 4 0 110021635 639377408 125386 33554432000 4194304 4964800 140736021217472 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=5577/tid=5593] ppid=5575 vsize=624392 CPUtime=1058.68 cores=0,2,4,6
/proc/5577/task/5593/stat : 5593 (claspmt) R 5575 5577 4917 0 -1 4202560 42046 0 0 0 105842 26 0 0 25 0 4 0 110021635 639377408 125386 33554432000 4194304 4964800 140736021217472 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=5577/tid=5594] ppid=5575 vsize=624392 CPUtime=1057.17 cores=0,2,4,6
/proc/5577/task/5594/stat : 5594 (claspmt) R 5575 5577 4917 0 -1 4202560 24989 0 0 0 105659 58 0 0 25 0 4 0 110021635 639377408 125386 33554432000 4194304 4964800 140736021217472 18446744073709551615 4320966 0 0 4096 18946 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4236.38
Current children cumulated vsize (KiB) 624392

[startup+1122.3 s]
/proc/loadavg: 8.01 8.06 7.97 9/302 6143
/proc/meminfo: memFree=13820324/32950928 swapFree=67111364/67111528
[pid=5577] ppid=5575 vsize=624392 CPUtime=4475.76 cores=0,2,4,6
/proc/5577/stat : 5577 (claspmt) R 5575 5577 4917 0 -1 4202496 131409 0 0 0 447368 208 0 0 25 0 4 0 110021592 639377408 126037 33554432000 4194304 4964800 140736021217472 18446744073709551615 4320909 0 0 4096 18946 18446744073709551615 0 0 17 6 0 0 0
/proc/5577/statm: 156098 126037 460 189 0 150447 0
[pid=5577/tid=5592] ppid=5575 vsize=624392 CPUtime=1121.46 cores=0,2,4,6
/proc/5577/task/5592/stat : 5592 (claspmt) R 5575 5577 4917 0 -1 4202560 33115 0 0 0 112077 69 0 0 22 0 4 0 110021635 639377408 126037 33554432000 4194304 4964800 140736021217472 18446744073709551615 4362287 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=5577/tid=5593] ppid=5575 vsize=624392 CPUtime=1118.65 cores=0,2,4,6
/proc/5577/task/5593/stat : 5593 (claspmt) R 5575 5577 4917 0 -1 4202560 42569 0 0 0 111839 26 0 0 25 0 4 0 110021635 639377408 126037 33554432000 4194304 4964800 140736021217472 18446744073709551615 4644170 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=5577/tid=5594] ppid=5575 vsize=624392 CPUtime=1117.15 cores=0,2,4,6
/proc/5577/task/5594/stat : 5594 (claspmt) R 5575 5577 4917 0 -1 4202560 25085 0 0 0 111657 58 0 0 25 0 4 0 110021635 639377408 126037 33554432000 4194304 4964800 140736021217472 18446744073709551615 4321079 0 0 4096 18946 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4475.76
Current children cumulated vsize (KiB) 624392

[startup+1182.3 s]
/proc/loadavg: 8.00 8.05 7.97 9/302 6145
/proc/meminfo: memFree=13800968/32950928 swapFree=67111364/67111528
[pid=5577] ppid=5575 vsize=635400 CPUtime=4715.19 cores=0,2,4,6
/proc/5577/stat : 5577 (claspmt) R 5575 5577 4917 0 -1 4202496 135743 0 0 0 471308 211 0 0 25 0 4 0 110021592 650649600 130323 33554432000 4194304 4964800 140736021217472 18446744073709551615 4670308 0 0 4096 18946 18446744073709551615 0 0 17 6 0 0 0
/proc/5577/statm: 158850 130323 460 189 0 153199 0
[pid=5577/tid=5592] ppid=5575 vsize=635400 CPUtime=1181.45 cores=0,2,4,6
/proc/5577/task/5592/stat : 5592 (claspmt) R 5575 5577 4917 0 -1 4202560 34495 0 0 0 118075 70 0 0 25 0 4 0 110021635 650649600 130323 33554432000 4194304 4964800 140736021217472 18446744073709551615 4670530 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=5577/tid=5593] ppid=5575 vsize=635400 CPUtime=1178.65 cores=0,2,4,6
/proc/5577/task/5593/stat : 5593 (claspmt) R 5575 5577 4917 0 -1 4202560 45474 0 0 0 117838 27 0 0 25 0 4 0 110021635 650649600 130323 33554432000 4194304 4964800 140736021217472 18446744073709551615 4670328 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=5577/tid=5594] ppid=5575 vsize=635400 CPUtime=1177.15 cores=0,2,4,6
/proc/5577/task/5594/stat : 5594 (claspmt) R 5575 5577 4917 0 -1 4202560 25098 0 0 0 117656 59 0 0 25 0 4 0 110021635 650649600 130323 33554432000 4194304 4964800 140736021217472 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4715.19
Current children cumulated vsize (KiB) 635400



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1203.6 s]
/proc/loadavg: 8.00 8.04 7.97 9/302 6145
/proc/meminfo: memFree=13796748/32950928 swapFree=67111364/67111528
[pid=5577] ppid=5575 vsize=638680 CPUtime=4800.21 cores=0,2,4,6
/proc/5577/stat : 5577 (claspmt) R 5575 5577 4917 0 -1 4202496 136729 0 0 0 479810 211 0 0 25 0 4 0 110021592 654008320 131309 33554432000 4194304 4964800 140736021217472 18446744073709551615 4670308 0 0 4096 18946 18446744073709551615 0 0 17 6 0 0 0
/proc/5577/statm: 159670 131309 460 189 0 154019 0
[pid=5577/tid=5592] ppid=5575 vsize=638680 CPUtime=1202.76 cores=0,2,4,6
/proc/5577/task/5592/stat : 5592 (claspmt) R 5575 5577 4917 0 -1 4202560 34653 0 0 0 120206 70 0 0 25 0 4 0 110021635 654008320 131309 33554432000 4194304 4964800 140736021217472 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=5577/tid=5593] ppid=5575 vsize=638680 CPUtime=1199.96 cores=0,2,4,6
/proc/5577/task/5593/stat : 5593 (claspmt) R 5575 5577 4917 0 -1 4202560 45908 0 0 0 119969 27 0 0 25 0 4 0 110021635 654008320 131309 33554432000 4194304 4964800 140736021217472 18446744073709551615 4320944 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=5577/tid=5594] ppid=5575 vsize=638680 CPUtime=1198.46 cores=0,2,4,6
/proc/5577/task/5594/stat : 5594 (claspmt) R 5575 5577 4917 0 -1 4202560 25120 0 0 0 119787 59 0 0 25 0 4 0 110021635 654008320 131309 33554432000 4194304 4964800 140736021217472 18446744073709551615 4670378 0 0 4096 18946 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4800.21
Current children cumulated vsize (KiB) 638680

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

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

Child status: 0
Real time (s): 1203.68
CPU time (s): 4800.32
CPU user time (s): 4798.18
CPU system time (s): 2.14067
CPU usage (%): 398.803
Max. virtual memory (cumulated for all children) (KiB): 638680

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4798.18
system time used= 2.14067
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 136741
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= 45358
involuntary context switches= 24673

runsolver used 3.11053 second user time and 7.8618 second system time

The end

Launcher Data 

Begin job on node112 at 2011-05-15 03:48:42
IDJOB=3373032
IDBENCH=83163
IDSOLVER=1853
FILE ID=node112/3373032-1305424122
RUNJOBID= node112-1305422915-5383
PBS_JOBID= 13324570
Free space on /tmp= 73564 MiB

SOLVER NAME= claspmt 2.0-R4095-patched (fixed)
BENCH NAME= SAT11/crafted/mosoi/289/289-unsat-5x41.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-3373032-1305424122/watcher-3373032-1305424122 -o /tmp/evaluation-result-3373032-1305424122/solver-3373032-1305424122 -C 4800 -W 1300 -M 15500  HOME/claspmt -t4 -p HOME/sat11-port.txt --distribute=all,2 HOME/instance-3373032-1305424122.cnf

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

MD5SUM BENCH= 420773b7b438dd18c8a88a15fb5bcae1
RANDOM SEED=2043067927

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

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.847
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:     32950928 kB
MemFree:      15834668 kB
Buffers:        293624 kB
Cached:        2825648 kB
SwapCached:          0 kB
Active:       15092588 kB
Inactive:      1783144 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      15834668 kB
SwapTotal:    67111528 kB
SwapFree:     67111364 kB
Dirty:            1212 kB
Writeback:           0 kB
AnonPages:    13755436 kB
Mapped:          21060 kB
Slab:           133756 kB
PageTables:      42168 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS: 34988436 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= 73576 MiB
End job on node112 at 2011-05-15 04:08:47