Trace number 3380663

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)UNSAT 8492.66 1064.36

General information on the benchmark

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

Solver Data 

0.00/0.00	c clasp version 2.0.0-RC2
0.00/0.00	c Reading from ...486491/instance-3380663-1305486491.cnf
0.49/0.55	c Solving...
8492.59/1064.35	s UNSATISFIABLE
8492.59/1064.35	
8492.59/1064.35	c Models        : 0     
8492.59/1064.35	c Time          : 1064.313s (Solving: 1063.76s 1st Model: 0.00s Unsat: 1063.76s)
8492.59/1064.35	c CPU Time      : 8492.610s

Verifier Data 

No possible verification on an UNSAT instance

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-3380663-1305486491/watcher-3380663-1305486491 -o /tmp/evaluation-result-3380663-1305486491/solver-3380663-1305486491 -C 40000 -W 5100 -M 31000 HOME/claspmt -t8 -p HOME/sat11-port.txt --distribute=all,2 HOME/instance-3380663-1305486491.cnf 

running on 8 cores: 0,2,4,6,1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 40000 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 40030 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 5100 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 7.20 6.76 7.41 2/463 12848
/proc/meminfo: memFree=29763648/32950928 swapFree=41934240/67111528
[pid=12848] ppid=12846 vsize=24028 CPUtime=0.01 cores=0-7
/proc/12848/stat : 12848 (claspmt) R 12846 12848 12566 0 -1 4202496 1452 0 0 0 1 0 0 0 21 0 1 0 660247779 24604672 1201 33554432000 4194304 4964800 140737311023232 18446744073709551615 251813900997 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/12848/statm: 6007 1202 386 189 0 881 0

[startup+0.045169 s]
/proc/loadavg: 7.20 6.76 7.41 2/463 12848
/proc/meminfo: memFree=29763648/32950928 swapFree=41934240/67111528
[pid=12848] ppid=12846 vsize=26988 CPUtime=0.04 cores=0-7
/proc/12848/stat : 12848 (claspmt) R 12846 12848 12566 0 -1 4202496 2282 0 0 0 4 0 0 0 21 0 1 0 660247779 27635712 1899 33554432000 4194304 4964800 140737311023232 18446744073709551615 4607644 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/12848/statm: 6747 1899 399 189 0 1621 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 26988

[startup+0.10016 s]
/proc/loadavg: 7.20 6.76 7.41 2/463 12848
/proc/meminfo: memFree=29763648/32950928 swapFree=41934240/67111528
[pid=12848] ppid=12846 vsize=26988 CPUtime=0.09 cores=0-7
/proc/12848/stat : 12848 (claspmt) R 12846 12848 12566 0 -1 4202496 2282 0 0 0 9 0 0 0 21 0 1 0 660247779 27635712 1899 33554432000 4194304 4964800 140737311023232 18446744073709551615 4607590 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/12848/statm: 6747 1899 399 189 0 1621 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 26988

[startup+0.300126 s]
/proc/loadavg: 7.20 6.76 7.41 2/463 12848
/proc/meminfo: memFree=29763648/32950928 swapFree=41934240/67111528
[pid=12848] ppid=12846 vsize=27648 CPUtime=0.29 cores=0-7
/proc/12848/stat : 12848 (claspmt) R 12846 12848 12566 0 -1 4202496 2455 0 0 0 29 0 0 0 22 0 1 0 660247779 28311552 2072 33554432000 4194304 4964800 140737311023232 18446744073709551615 4600360 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/12848/statm: 6912 2072 400 189 0 1786 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 27648

[startup+0.701062 s]
/proc/loadavg: 7.20 6.76 7.41 2/463 12848
/proc/meminfo: memFree=29763648/32950928 swapFree=41934240/67111528
[pid=12848] ppid=12846 vsize=324048 CPUtime=1.41 cores=0-7
/proc/12848/stat : 12848 (claspmt) R 12846 12848 12566 0 -1 4202496 5381 0 0 0 141 0 0 0 25 0 8 0 660247779 331825152 4838 33554432000 4194304 4964800 140737311023232 18446744073709551615 4627465 0 0 4096 18946 18446744073709551615 0 0 17 6 0 0 0
/proc/12848/statm: 81012 4838 464 189 0 75361 0
Current children cumulated CPU time (s) 1.41
Current children cumulated vsize (KiB) 324048

[startup+1.50093 s]
/proc/loadavg: 7.27 6.78 7.42 9/471 12856
/proc/meminfo: memFree=29742264/32950928 swapFree=41934240/67111528
[pid=12848] ppid=12846 vsize=324708 CPUtime=7.53 cores=0-7
/proc/12848/stat : 12848 (claspmt) R 12846 12848 12566 0 -1 4202496 8544 0 0 0 752 1 0 0 25 0 8 0 660247779 332500992 8001 33554432000 4194304 4964800 140737311023232 18446744073709551615 4320879 0 0 4096 18946 18446744073709551615 0 0 17 4 0 0 0
/proc/12848/statm: 81177 8001 464 189 0 75526 0
[pid=12848/tid=12850] ppid=12846 vsize=324708 CPUtime=0.92 cores=0-7
/proc/12848/task/12850/stat : 12850 (claspmt) R 12846 12848 12566 0 -1 4202560 571 0 0 0 92 0 0 0 19 0 8 0 660247835 332500992 8001 33554432000 4194304 4964800 140737311023232 18446744073709551615 4627504 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=12848/tid=12851] ppid=12846 vsize=324708 CPUtime=0.92 cores=0-7
/proc/12848/task/12851/stat : 12851 (claspmt) R 12846 12848 12566 0 -1 4202560 736 0 0 0 92 0 0 0 18 0 8 0 660247835 332500992 8001 33554432000 4194304 4964800 140737311023232 18446744073709551615 4627524 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=12848/tid=12852] ppid=12846 vsize=324708 CPUtime=0.92 cores=0-7
/proc/12848/task/12852/stat : 12852 (claspmt) R 12846 12848 12566 0 -1 4202560 604 0 0 0 92 0 0 0 18 0 8 0 660247835 332500992 8001 33554432000 4194304 4964800 140737311023232 18446744073709551615 4628010 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=12848/tid=12853] ppid=12846 vsize=324708 CPUtime=0.92 cores=0-7
/proc/12848/task/12853/stat : 12853 (claspmt) R 12846 12848 12566 0 -1 4202560 742 0 0 0 92 0 0 0 18 0 8 0 660247835 332500992 8001 33554432000 4194304 4964800 140737311023232 18446744073709551615 4627338 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=12848/tid=12854] ppid=12846 vsize=324708 CPUtime=0.91 cores=0-7
/proc/12848/task/12854/stat : 12854 (claspmt) R 12846 12848 12566 0 -1 4202560 1071 0 0 0 91 0 0 0 19 0 8 0 660247835 332500992 8001 33554432000 4194304 4964800 140737311023232 18446744073709551615 4670437 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=12848/tid=12855] ppid=12846 vsize=324708 CPUtime=0.9 cores=0-7
/proc/12848/task/12855/stat : 12855 (claspmt) R 12846 12848 12566 0 -1 4202560 619 0 0 0 90 0 0 0 19 0 8 0 660247835 332500992 8001 33554432000 4194304 4964800 140737311023232 18446744073709551615 4670313 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=12848/tid=12856] ppid=12846 vsize=324708 CPUtime=0.92 cores=0-7
/proc/12848/task/12856/stat : 12856 (claspmt) R 12846 12848 12566 0 -1 4202560 775 0 0 0 92 0 0 0 19 0 8 0 660247835 332500992 8001 33554432000 4194304 4964800 140737311023232 18446744073709551615 4668737 0 0 4096 18946 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 7.53
Current children cumulated vsize (KiB) 324708

[startup+3.10066 s]
/proc/loadavg: 7.27 6.78 7.42 9/471 12856
/proc/meminfo: memFree=29724656/32950928 swapFree=41934240/67111528
[pid=12848] ppid=12846 vsize=327280 CPUtime=20.32 cores=0-7
/proc/12848/stat : 12848 (claspmt) R 12846 12848 12566 0 -1 4202496 12043 0 0 0 2029 3 0 0 25 0 8 0 660247779 335134720 11500 33554432000 4194304 4964800 140737311023232 18446744073709551615 4670299 0 0 4096 18946 18446744073709551615 0 0 17 4 0 0 0
/proc/12848/statm: 81820 11500 464 189 0 76169 0
[pid=12848/tid=12850] ppid=12846 vsize=327280 CPUtime=2.52 cores=0-7
/proc/12848/task/12850/stat : 12850 (claspmt) R 12846 12848 12566 0 -1 4202560 705 0 0 0 252 0 0 0 22 0 8 0 660247835 335134720 11500 33554432000 4194304 4964800 140737311023232 18446744073709551615 4668715 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=12848/tid=12851] ppid=12846 vsize=327280 CPUtime=2.51 cores=0-7
/proc/12848/task/12851/stat : 12851 (claspmt) R 12846 12848 12566 0 -1 4202560 1555 0 0 0 251 0 0 0 22 0 8 0 660247835 335134720 11500 33554432000 4194304 4964800 140737311023232 18446744073709551615 4627338 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=12848/tid=12852] ppid=12846 vsize=327280 CPUtime=2.52 cores=0-7
/proc/12848/task/12852/stat : 12852 (claspmt) R 12846 12848 12566 0 -1 4202560 909 0 0 0 252 0 0 0 22 0 8 0 660247835 335134720 11501 33554432000 4194304 4964800 140737311023232 18446744073709551615 4668689 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=12848/tid=12853] ppid=12846 vsize=327280 CPUtime=2.52 cores=0-7
/proc/12848/task/12853/stat : 12853 (claspmt) R 12846 12848 12566 0 -1 4202560 1223 0 0 0 252 0 0 0 22 0 8 0 660247835 335134720 11501 33554432000 4194304 4964800 140737311023232 18446744073709551615 4320909 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=12848/tid=12854] ppid=12846 vsize=327280 CPUtime=2.49 cores=0-7
/proc/12848/task/12854/stat : 12854 (claspmt) R 12846 12848 12566 0 -1 4202560 1834 0 0 0 248 1 0 0 22 0 8 0 660247835 335134720 11501 33554432000 4194304 4964800 140737311023232 18446744073709551615 4627453 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=12848/tid=12855] ppid=12846 vsize=327280 CPUtime=2.5 cores=0-7
/proc/12848/task/12855/stat : 12855 (claspmt) R 12846 12848 12566 0 -1 4202560 918 0 0 0 250 0 0 0 22 0 8 0 660247835 335134720 11501 33554432000 4194304 4964800 140737311023232 18446744073709551615 4319903 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=12848/tid=12856] ppid=12846 vsize=327280 CPUtime=2.52 cores=0-7
/proc/12848/task/12856/stat : 12856 (claspmt) R 12846 12848 12566 0 -1 4202560 1253 0 0 0 252 0 0 0 22 0 8 0 660247835 335134720 11501 33554432000 4194304 4964800 140737311023232 18446744073709551615 4668737 0 0 4096 18946 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 20.32
Current children cumulated vsize (KiB) 327280

[startup+6.30112 s]
/proc/loadavg: 7.27 6.78 7.42 9/471 12856
/proc/meminfo: memFree=29715860/32950928 swapFree=41934240/67111528
[pid=12848] ppid=12846 vsize=328808 CPUtime=45.87 cores=0-7
/proc/12848/stat : 12848 (claspmt) R 12846 12848 12566 0 -1 4202496 13679 0 0 0 4583 4 0 0 25 0 8 0 660247779 336699392 13136 33554432000 4194304 4964800 140737311023232 18446744073709551615 4670346 0 0 4096 18946 18446744073709551615 0 0 17 4 0 0 0
/proc/12848/statm: 82202 13136 466 189 0 76551 0
[pid=12848/tid=12850] ppid=12846 vsize=328808 CPUtime=5.71 cores=0-7
/proc/12848/task/12850/stat : 12850 (claspmt) R 12846 12848 12566 0 -1 4202560 882 0 0 0 571 0 0 0 25 0 8 0 660247835 336699392 13136 33554432000 4194304 4964800 140737311023232 18446744073709551615 4670520 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=12848/tid=12851] ppid=12846 vsize=328808 CPUtime=5.72 cores=0-7
/proc/12848/task/12851/stat : 12851 (claspmt) R 12846 12848 12566 0 -1 4202560 1993 0 0 0 571 1 0 0 25 0 8 0 660247835 336699392 13136 33554432000 4194304 4964800 140737311023232 18446744073709551615 4668568 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=12848/tid=12852] ppid=12846 vsize=328808 CPUtime=5.72 cores=0-7
/proc/12848/task/12852/stat : 12852 (claspmt) R 12846 12848 12566 0 -1 4202560 1028 0 0 0 572 0 0 0 25 0 8 0 660247835 336699392 13136 33554432000 4194304 4964800 140737311023232 18446744073709551615 4670335 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=12848/tid=12853] ppid=12846 vsize=328808 CPUtime=5.72 cores=0-7
/proc/12848/task/12853/stat : 12853 (claspmt) R 12846 12848 12566 0 -1 4202560 1372 0 0 0 572 0 0 0 25 0 8 0 660247835 336699392 13136 33554432000 4194304 4964800 140737311023232 18446744073709551615 4627248 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=12848/tid=12854] ppid=12846 vsize=328808 CPUtime=5.64 cores=0-7
/proc/12848/task/12854/stat : 12854 (claspmt) R 12846 12848 12566 0 -1 4202560 2073 0 0 0 563 1 0 0 25 0 8 0 660247835 336699392 13136 33554432000 4194304 4964800 140737311023232 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=12848/tid=12855] ppid=12846 vsize=328808 CPUtime=5.7 cores=0-7
/proc/12848/task/12855/stat : 12855 (claspmt) R 12846 12848 12566 0 -1 4202560 1106 0 0 0 570 0 0 0 25 0 8 0 660247835 336699392 13136 33554432000 4194304 4964800 140737311023232 18446744073709551615 4321016 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=12848/tid=12856] ppid=12846 vsize=328808 CPUtime=5.72 cores=0-7
/proc/12848/task/12856/stat : 12856 (claspmt) R 12846 12848 12566 0 -1 4202560 1514 0 0 0 572 0 0 0 25 0 8 0 660247835 336699392 13136 33554432000 4194304 4964800 140737311023232 18446744073709551615 4668652 0 0 4096 18946 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 45.87
Current children cumulated vsize (KiB) 328808

[startup+12.701 s]
/proc/loadavg: 7.38 6.82 7.42 9/471 12856
/proc/meminfo: memFree=29703928/32950928 swapFree=41934240/67111528
[pid=12848] ppid=12846 vsize=332540 CPUtime=96.96 cores=0-7
/proc/12848/stat : 12848 (claspmt) R 12846 12848 12566 0 -1 4202496 16976 0 0 0 9689 7 0 0 25 0 8 0 660247779 340520960 16433 33554432000 4194304 4964800 140737311023232 18446744073709551615 4333227 0 0 4096 18946 18446744073709551615 0 0 17 4 0 0 0
/proc/12848/statm: 83135 16433 466 189 0 77484 0
[pid=12848/tid=12850] ppid=12846 vsize=332540 CPUtime=12.11 cores=0-7
/proc/12848/task/12850/stat : 12850 (claspmt) R 12846 12848 12566 0 -1 4202560 1117 0 0 0 1211 0 0 0 25 0 8 0 660247835 340520960 16433 33554432000 4194304 4964800 140737311023232 18446744073709551615 4668734 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=12848/tid=12851] ppid=12846 vsize=332540 CPUtime=12.11 cores=0-7
/proc/12848/task/12851/stat : 12851 (claspmt) R 12846 12848 12566 0 -1 4202560 3025 0 0 0 1210 1 0 0 25 0 8 0 660247835 340520960 16433 33554432000 4194304 4964800 140737311023232 18446744073709551615 4320970 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=12848/tid=12852] ppid=12846 vsize=332540 CPUtime=12.11 cores=0-7
/proc/12848/task/12852/stat : 12852 (claspmt) R 12846 12848 12566 0 -1 4202560 1336 0 0 0 1211 0 0 0 25 0 8 0 660247835 340520960 16433 33554432000 4194304 4964800 140737311023232 18446744073709551615 4668698 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=12848/tid=12853] ppid=12846 vsize=332540 CPUtime=12.11 cores=0-7
/proc/12848/task/12853/stat : 12853 (claspmt) R 12846 12848 12566 0 -1 4202560 1567 0 0 0 1211 0 0 0 25 0 8 0 660247835 340520960 16433 33554432000 4194304 4964800 140737311023232 18446744073709551615 4627204 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=12848/tid=12854] ppid=12846 vsize=332540 CPUtime=11.93 cores=0-7
/proc/12848/task/12854/stat : 12854 (claspmt) R 12846 12848 12566 0 -1 4202560 2353 0 0 0 1192 1 0 0 25 0 8 0 660247835 340520960 16434 33554432000 4194304 4964800 140737311023232 18446744073709551615 4668725 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=12848/tid=12855] ppid=12846 vsize=332540 CPUtime=12.09 cores=0-7
/proc/12848/task/12855/stat : 12855 (claspmt) R 12846 12848 12566 0 -1 4202560 1782 0 0 0 1209 0 0 0 25 0 8 0 660247835 340520960 16434 33554432000 4194304 4964800 140737311023232 18446744073709551615 4668734 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=12848/tid=12856] ppid=12846 vsize=332540 CPUtime=12.12 cores=0-7
/proc/12848/task/12856/stat : 12856 (claspmt) R 12846 12848 12566 0 -1 4202560 1867 0 0 0 1212 0 0 0 20 0 8 0 660247835 340520960 16434 33554432000 4194304 4964800 140737311023232 18446744073709551615 4627204 0 0 4096 18946 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 96.96
Current children cumulated vsize (KiB) 332540

[startup+25.5009 s]
/proc/loadavg: 7.56 6.87 7.43 9/471 12857
/proc/meminfo: memFree=29670980/32950928 swapFree=41934240/67111528
[pid=12848] ppid=12846 vsize=339216 CPUtime=199.14 cores=0-7
/proc/12848/stat : 12848 (claspmt) R 12846 12848 12566 0 -1 4202496 25065 0 0 0 19902 12 0 0 25 0 8 0 660247779 347357184 24519 33554432000 4194304 4964800 140737311023232 18446744073709551615 4627204 0 0 4096 18946 18446744073709551615 0 0 17 4 0 0 0
/proc/12848/statm: 84804 24519 466 189 0 79153 0
[pid=12848/tid=12850] ppid=12846 vsize=339216 CPUtime=24.9 cores=0-7
/proc/12848/task/12850/stat : 12850 (claspmt) R 12846 12848 12566 0 -1 4202560 1882 0 0 0 2489 1 0 0 25 0 8 0 660247835 347357184 24519 33554432000 4194304 4964800 140737311023232 18446744073709551615 4670335 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=12848/tid=12851] ppid=12846 vsize=339216 CPUtime=24.92 cores=0-7
/proc/12848/task/12851/stat : 12851 (claspmt) R 12846 12848 12566 0 -1 4202560 5387 0 0 0 2489 3 0 0 25 0 8 0 660247835 347357184 24519 33554432000 4194304 4964800 140737311023232 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=12848/tid=12852] ppid=12846 vsize=339216 CPUtime=24.91 cores=0-7
/proc/12848/task/12852/stat : 12852 (claspmt) R 12846 12848 12566 0 -1 4202560 1786 0 0 0 2491 0 0 0 25 0 8 0 660247835 347357184 24519 33554432000 4194304 4964800 140737311023232 18446744073709551615 4668681 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=12848/tid=12853] ppid=12846 vsize=339216 CPUtime=24.91 cores=0-7
/proc/12848/task/12853/stat : 12853 (claspmt) R 12846 12848 12566 0 -1 4202560 2782 0 0 0 2490 1 0 0 25 0 8 0 660247835 347357184 24519 33554432000 4194304 4964800 140737311023232 18446744073709551615 4668712 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=12848/tid=12854] ppid=12846 vsize=339216 CPUtime=24.53 cores=0-7
/proc/12848/task/12854/stat : 12854 (claspmt) R 12846 12848 12566 0 -1 4202560 3093 0 0 0 2451 2 0 0 25 0 8 0 660247835 347357184 24519 33554432000 4194304 4964800 140737311023232 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=12848/tid=12855] ppid=12846 vsize=339216 CPUtime=24.89 cores=0-7
/proc/12848/task/12855/stat : 12855 (claspmt) R 12846 12848 12566 0 -1 4202560 2639 0 0 0 2488 1 0 0 25 0 8 0 660247835 347357184 24519 33554432000 4194304 4964800 140737311023232 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=12848/tid=12856] ppid=12846 vsize=339216 CPUtime=24.92 cores=0-7
/proc/12848/task/12856/stat : 12856 (claspmt) R 12846 12848 12566 0 -1 4202560 3162 0 0 0 2491 1 0 0 25 0 8 0 660247835 347357184 24519 33554432000 4194304 4964800 140737311023232 18446744073709551615 4670346 0 0 4096 18946 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 199.14
Current children cumulated vsize (KiB) 339216

[startup+51.1006 s]
/proc/loadavg: 7.71 6.96 7.45 9/471 12857
/proc/meminfo: memFree=29619748/32950928 swapFree=41934240/67111528
[pid=12848] ppid=12846 vsize=352704 CPUtime=403.51 cores=0-7
/proc/12848/stat : 12848 (claspmt) R 12846 12848 12566 0 -1 4202496 38239 0 0 0 40329 22 0 0 25 0 8 0 660247779 361168896 37688 33554432000 4194304 4964800 140737311023232 18446744073709551615 4670308 0 0 4096 18946 18446744073709551615 0 0 17 4 0 0 0
/proc/12848/statm: 88176 37688 466 189 0 82525 0
[pid=12848/tid=12850] ppid=12846 vsize=352704 CPUtime=50.49 cores=0-7
/proc/12848/task/12850/stat : 12850 (claspmt) R 12846 12848 12566 0 -1 4202560 3150 0 0 0 5046 3 0 0 25 0 8 0 660247835 361168896 37689 33554432000 4194304 4964800 140737311023232 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=12848/tid=12851] ppid=12846 vsize=352704 CPUtime=50.52 cores=0-7
/proc/12848/task/12851/stat : 12851 (claspmt) R 12846 12848 12566 0 -1 4202560 7299 0 0 0 5048 4 0 0 25 0 8 0 660247835 361168896 37689 33554432000 4194304 4964800 140737311023232 18446744073709551615 4321010 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=12848/tid=12852] ppid=12846 vsize=352704 CPUtime=50.5 cores=0-7
/proc/12848/task/12852/stat : 12852 (claspmt) R 12846 12848 12566 0 -1 4202560 2515 0 0 0 5050 0 0 0 25 0 8 0 660247835 361168896 37689 33554432000 4194304 4964800 140737311023232 18446744073709551615 4627309 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=12848/tid=12853] ppid=12846 vsize=352704 CPUtime=50.49 cores=0-7
/proc/12848/task/12853/stat : 12853 (claspmt) R 12846 12848 12566 0 -1 4202560 7181 0 0 0 5045 4 0 0 25 0 8 0 660247835 361168896 37689 33554432000 4194304 4964800 140737311023232 18446744073709551615 251813900997 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=12848/tid=12854] ppid=12846 vsize=352704 CPUtime=49.74 cores=0-7
/proc/12848/task/12854/stat : 12854 (claspmt) R 12846 12848 12566 0 -1 4202560 4202 0 0 0 4971 3 0 0 25 0 8 0 660247835 361168896 37689 33554432000 4194304 4964800 140737311023232 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=12848/tid=12855] ppid=12846 vsize=352704 CPUtime=50.49 cores=0-7
/proc/12848/task/12855/stat : 12855 (claspmt) R 12846 12848 12566 0 -1 4202560 3509 0 0 0 5047 2 0 0 25 0 8 0 660247835 361168896 37689 33554432000 4194304 4964800 140737311023232 18446744073709551615 4668712 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=12848/tid=12856] ppid=12846 vsize=352704 CPUtime=50.51 cores=0-7
/proc/12848/task/12856/stat : 12856 (claspmt) R 12846 12848 12566 0 -1 4202560 5262 0 0 0 5049 2 0 0 25 0 8 0 660247835 361168896 37689 33554432000 4194304 4964800 140737311023232 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 403.51

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

/proc/12848/statm: 169588 105427 466 189 0 163937 0
[pid=12848/tid=12850] ppid=12846 vsize=678352 CPUtime=816.7 cores=0-7
/proc/12848/task/12850/stat : 12850 (claspmt) R 12846 12848 12566 0 -1 4202560 13776 0 0 0 81660 10 0 0 25 0 8 0 660247835 694632448 105427 33554432000 4194304 4964800 140737311023232 18446744073709551615 4670328 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=12848/tid=12851] ppid=12846 vsize=678352 CPUtime=821.68 cores=0-7
/proc/12848/task/12851/stat : 12851 (claspmt) R 12846 12848 12566 0 -1 4202560 27538 0 0 0 82149 19 0 0 25 0 8 0 660247835 694632448 105427 33554432000 4194304 4964800 140737311023232 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=12848/tid=12852] ppid=12846 vsize=678352 CPUtime=821.66 cores=0-7
/proc/12848/task/12852/stat : 12852 (claspmt) R 12846 12848 12566 0 -1 4202560 7915 0 0 0 82160 6 0 0 25 0 8 0 660247835 694632448 105427 33554432000 4194304 4964800 140737311023232 18446744073709551615 4627252 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=12848/tid=12853] ppid=12846 vsize=678352 CPUtime=821.47 cores=0-7
/proc/12848/task/12853/stat : 12853 (claspmt) R 12846 12848 12566 0 -1 4202560 16246 0 0 0 82137 10 0 0 25 0 8 0 660247835 694632448 105427 33554432000 4194304 4964800 140737311023232 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=12848/tid=12854] ppid=12846 vsize=678352 CPUtime=819.57 cores=0-7
/proc/12848/task/12854/stat : 12854 (claspmt) R 12846 12848 12566 0 -1 4202560 16015 0 0 0 81945 12 0 0 25 0 8 0 660247835 694632448 105427 33554432000 4194304 4964800 140737311023232 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=12848/tid=12855] ppid=12846 vsize=678352 CPUtime=821.64 cores=0-7
/proc/12848/task/12855/stat : 12855 (claspmt) R 12846 12848 12566 0 -1 4202560 9689 0 0 0 82153 11 0 0 25 0 8 0 660247835 694632448 105427 33554432000 4194304 4964800 140737311023232 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=12848/tid=12856] ppid=12846 vsize=678352 CPUtime=815.93 cores=0-7
/proc/12848/task/12856/stat : 12856 (claspmt) R 12846 12848 12566 0 -1 4202560 11793 0 0 0 81582 11 0 0 25 0 8 0 660247835 694632448 105427 33554432000 4194304 4964800 140737311023232 18446744073709551615 4320984 0 0 4096 18946 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 6560.57
Current children cumulated vsize (KiB) 678352

[startup+882.301 s]
/proc/loadavg: 8.08 7.98 7.78 9/471 12880
/proc/meminfo: memFree=29341636/32950928 swapFree=41934240/67111528
[pid=12848] ppid=12846 vsize=679756 CPUtime=7039.6 cores=0-7
/proc/12848/stat : 12848 (claspmt) R 12846 12848 12566 0 -1 4202496 112412 0 0 0 703869 91 0 0 25 0 8 0 660247779 696070144 106357 33554432000 4194304 4964800 140737311023232 18446744073709551615 4670437 0 0 4096 18946 18446744073709551615 0 0 17 4 0 0 0
/proc/12848/statm: 169939 106357 466 189 0 164288 0
[pid=12848/tid=12850] ppid=12846 vsize=679756 CPUtime=875.76 cores=0-7
/proc/12848/task/12850/stat : 12850 (claspmt) R 12846 12848 12566 0 -1 4202560 13842 0 0 0 87566 10 0 0 25 0 8 0 660247835 696070144 106357 33554432000 4194304 4964800 140737311023232 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=12848/tid=12851] ppid=12846 vsize=679756 CPUtime=881.69 cores=0-7
/proc/12848/task/12851/stat : 12851 (claspmt) R 12846 12848 12566 0 -1 4202560 27654 0 0 0 88149 20 0 0 25 0 8 0 660247835 696070144 106357 33554432000 4194304 4964800 140737311023232 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=12848/tid=12852] ppid=12846 vsize=679756 CPUtime=881.66 cores=0-7
/proc/12848/task/12852/stat : 12852 (claspmt) R 12846 12848 12566 0 -1 4202560 7998 0 0 0 88160 6 0 0 25 0 8 0 660247835 696070144 106357 33554432000 4194304 4964800 140737311023232 18446744073709551615 4668734 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=12848/tid=12853] ppid=12846 vsize=679756 CPUtime=881.45 cores=0-7
/proc/12848/task/12853/stat : 12853 (claspmt) R 12846 12848 12566 0 -1 4202560 16421 0 0 0 88135 10 0 0 25 0 8 0 660247835 696070144 106357 33554432000 4194304 4964800 140737311023232 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=12848/tid=12854] ppid=12846 vsize=679756 CPUtime=879.57 cores=0-7
/proc/12848/task/12854/stat : 12854 (claspmt) R 12846 12848 12566 0 -1 4202560 16481 0 0 0 87945 12 0 0 25 0 8 0 660247835 696070144 106357 33554432000 4194304 4964800 140737311023232 18446744073709551615 4670332 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=12848/tid=12855] ppid=12846 vsize=679756 CPUtime=881.63 cores=0-7
/proc/12848/task/12855/stat : 12855 (claspmt) R 12846 12848 12566 0 -1 4202560 9690 0 0 0 88152 11 0 0 25 0 8 0 660247835 696070144 106357 33554432000 4194304 4964800 140737311023232 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=12848/tid=12856] ppid=12846 vsize=679756 CPUtime=875.93 cores=0-7
/proc/12848/task/12856/stat : 12856 (claspmt) R 12846 12848 12566 0 -1 4202560 11875 0 0 0 87582 11 0 0 25 0 8 0 660247835 696070144 106357 33554432000 4194304 4964800 140737311023232 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 7039.6
Current children cumulated vsize (KiB) 679756

[startup+942.301 s]
/proc/loadavg: 8.08 8.00 7.80 10/471 12881
/proc/meminfo: memFree=29337896/32950928 swapFree=41934240/67111528
[pid=12848] ppid=12846 vsize=680516 CPUtime=7518.66 cores=0-7
/proc/12848/stat : 12848 (claspmt) R 12846 12848 12566 0 -1 4202496 113446 0 0 0 751773 93 0 0 25 0 8 0 660247779 696848384 107244 33554432000 4194304 4964800 140737311023232 18446744073709551615 4670308 0 0 4096 18946 18446744073709551615 0 0 17 4 0 0 0
/proc/12848/statm: 170129 107244 466 189 0 164478 0
[pid=12848/tid=12850] ppid=12846 vsize=680516 CPUtime=934.84 cores=0-7
/proc/12848/task/12850/stat : 12850 (claspmt) R 12846 12848 12566 0 -1 4202560 14125 0 0 0 93474 10 0 0 25 0 8 0 660247835 696848384 107244 33554432000 4194304 4964800 140737311023232 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=12848/tid=12851] ppid=12846 vsize=680516 CPUtime=941.68 cores=0-7
/proc/12848/task/12851/stat : 12851 (claspmt) R 12846 12848 12566 0 -1 4202560 27852 0 0 0 94148 20 0 0 25 0 8 0 660247835 696848384 107244 33554432000 4194304 4964800 140737311023232 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=12848/tid=12852] ppid=12846 vsize=680516 CPUtime=941.66 cores=0-7
/proc/12848/task/12852/stat : 12852 (claspmt) R 12846 12848 12566 0 -1 4202560 8068 0 0 0 94160 6 0 0 25 0 8 0 660247835 696848384 107244 33554432000 4194304 4964800 140737311023232 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=12848/tid=12853] ppid=12846 vsize=680516 CPUtime=941.43 cores=0-7
/proc/12848/task/12853/stat : 12853 (claspmt) R 12846 12848 12566 0 -1 4202560 16531 0 0 0 94132 11 0 0 25 0 8 0 660247835 696848384 107244 33554432000 4194304 4964800 140737311023232 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=12848/tid=12854] ppid=12846 vsize=680516 CPUtime=939.57 cores=0-7
/proc/12848/task/12854/stat : 12854 (claspmt) R 12846 12848 12566 0 -1 4202560 16745 0 0 0 93945 12 0 0 25 0 8 0 660247835 696848384 107244 33554432000 4194304 4964800 140737311023232 18446744073709551615 4668712 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=12848/tid=12855] ppid=12846 vsize=680516 CPUtime=941.63 cores=0-7
/proc/12848/task/12855/stat : 12855 (claspmt) R 12846 12848 12566 0 -1 4202560 9782 0 0 0 94152 11 0 0 25 0 8 0 660247835 696848384 107244 33554432000 4194304 4964800 140737311023232 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=12848/tid=12856] ppid=12846 vsize=680516 CPUtime=935.93 cores=0-7
/proc/12848/task/12856/stat : 12856 (claspmt) R 12846 12848 12566 0 -1 4202560 11882 0 0 0 93582 11 0 0 25 0 8 0 660247835 696848384 107244 33554432000 4194304 4964800 140737311023232 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 7518.66
Current children cumulated vsize (KiB) 680516

[startup+1002.3 s]
/proc/loadavg: 8.07 8.01 7.82 9/471 12883
/proc/meminfo: memFree=29335628/32950928 swapFree=41934240/67111528
[pid=12848] ppid=12846 vsize=679356 CPUtime=7997.69 cores=0-7
/proc/12848/stat : 12848 (claspmt) R 12846 12848 12566 0 -1 4202496 114268 0 0 0 799674 95 0 0 25 0 8 0 660247779 695660544 107677 33554432000 4194304 4964800 140737311023232 18446744073709551615 4670310 0 0 4096 18946 18446744073709551615 0 0 17 4 0 0 0
/proc/12848/statm: 169839 107677 466 189 0 164188 0
[pid=12848/tid=12850] ppid=12846 vsize=679356 CPUtime=993.9 cores=0-7
/proc/12848/task/12850/stat : 12850 (claspmt) R 12846 12848 12566 0 -1 4202560 14347 0 0 0 99380 10 0 0 25 0 8 0 660247835 695660544 107677 33554432000 4194304 4964800 140737311023232 18446744073709551615 4627263 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=12848/tid=12851] ppid=12846 vsize=679356 CPUtime=1001.68 cores=0-7
/proc/12848/task/12851/stat : 12851 (claspmt) R 12846 12848 12566 0 -1 4202560 28248 0 0 0 100147 21 0 0 25 0 8 0 660247835 695660544 107677 33554432000 4194304 4964800 140737311023232 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=12848/tid=12852] ppid=12846 vsize=679356 CPUtime=1001.66 cores=0-7
/proc/12848/task/12852/stat : 12852 (claspmt) R 12846 12848 12566 0 -1 4202560 8123 0 0 0 100160 6 0 0 25 0 8 0 660247835 695660544 107677 33554432000 4194304 4964800 140737311023232 18446744073709551615 251813937824 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=12848/tid=12853] ppid=12846 vsize=679356 CPUtime=1001.42 cores=0-7
/proc/12848/task/12853/stat : 12853 (claspmt) R 12846 12848 12566 0 -1 4202560 16548 0 0 0 100131 11 0 0 25 0 8 0 660247835 695660544 107677 33554432000 4194304 4964800 140737311023232 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=12848/tid=12854] ppid=12846 vsize=679356 CPUtime=999.57 cores=0-7
/proc/12848/task/12854/stat : 12854 (claspmt) R 12846 12848 12566 0 -1 4202560 16779 0 0 0 99944 13 0 0 25 0 8 0 660247835 695660544 107677 33554432000 4194304 4964800 140737311023232 18446744073709551615 4627451 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=12848/tid=12855] ppid=12846 vsize=679356 CPUtime=1001.62 cores=0-7
/proc/12848/task/12855/stat : 12855 (claspmt) R 12846 12848 12566 0 -1 4202560 9809 0 0 0 100151 11 0 0 25 0 8 0 660247835 695660544 107677 33554432000 4194304 4964800 140737311023232 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=12848/tid=12856] ppid=12846 vsize=679356 CPUtime=995.94 cores=0-7
/proc/12848/task/12856/stat : 12856 (claspmt) R 12846 12848 12566 0 -1 4202560 11947 0 0 0 99582 12 0 0 25 0 8 0 660247835 695660544 107677 33554432000 4194304 4964800 140737311023232 18446744073709551615 4320976 0 0 4096 18946 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 7997.69
Current children cumulated vsize (KiB) 679356

[startup+1062.3 s]
/proc/loadavg: 8.07 8.02 7.83 9/471 12884
/proc/meminfo: memFree=29334864/32950928 swapFree=41934240/67111528
[pid=12848] ppid=12846 vsize=679784 CPUtime=8476.75 cores=0-7
/proc/12848/stat : 12848 (claspmt) R 12846 12848 12566 0 -1 4202496 114505 0 0 0 847579 96 0 0 25 0 8 0 660247779 696098816 107815 33554432000 4194304 4964800 140737311023232 18446744073709551615 4627204 0 0 4096 18946 18446744073709551615 0 0 17 4 0 0 0
/proc/12848/statm: 169946 107815 466 189 0 164295 0
[pid=12848/tid=12850] ppid=12846 vsize=679784 CPUtime=1052.97 cores=0-7
/proc/12848/task/12850/stat : 12850 (claspmt) R 12846 12848 12566 0 -1 4202560 14366 0 0 0 105287 10 0 0 25 0 8 0 660247835 696098816 107815 33554432000 4194304 4964800 140737311023232 18446744073709551615 4669509 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=12848/tid=12851] ppid=12846 vsize=679784 CPUtime=1061.67 cores=0-7
/proc/12848/task/12851/stat : 12851 (claspmt) R 12846 12848 12566 0 -1 4202560 28264 0 0 0 106146 21 0 0 25 0 8 0 660247835 696098816 107815 33554432000 4194304 4964800 140737311023232 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=12848/tid=12852] ppid=12846 vsize=679784 CPUtime=1061.66 cores=0-7
/proc/12848/task/12852/stat : 12852 (claspmt) R 12846 12848 12566 0 -1 4202560 8144 0 0 0 106159 7 0 0 25 0 8 0 660247835 696098816 107815 33554432000 4194304 4964800 140737311023232 18446744073709551615 4668934 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=12848/tid=12853] ppid=12846 vsize=679784 CPUtime=1061.41 cores=0-7
/proc/12848/task/12853/stat : 12853 (claspmt) R 12846 12848 12566 0 -1 4202560 16574 0 0 0 106130 11 0 0 25 0 8 0 660247835 696098816 107815 33554432000 4194304 4964800 140737311023232 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=12848/tid=12854] ppid=12846 vsize=679784 CPUtime=1059.57 cores=0-7
/proc/12848/task/12854/stat : 12854 (claspmt) R 12846 12848 12566 0 -1 4202560 16902 0 0 0 105944 13 0 0 25 0 8 0 660247835 696098816 107815 33554432000 4194304 4964800 140737311023232 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=12848/tid=12855] ppid=12846 vsize=679784 CPUtime=1061.62 cores=0-7
/proc/12848/task/12855/stat : 12855 (claspmt) R 12846 12848 12566 0 -1 4202560 9816 0 0 0 106151 11 0 0 25 0 8 0 660247835 696098816 107815 33554432000 4194304 4964800 140737311023232 18446744073709551615 4627252 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=12848/tid=12856] ppid=12846 vsize=679784 CPUtime=1055.93 cores=0-7
/proc/12848/task/12856/stat : 12856 (claspmt) R 12846 12848 12566 0 -1 4202560 11970 0 0 0 105581 12 0 0 25 0 8 0 660247835 696098816 107815 33554432000 4194304 4964800 140737311023232 18446744073709551615 4627204 0 0 4096 18946 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 8476.75
Current children cumulated vsize (KiB) 679784

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

[startup+1063.1 s]
/proc/loadavg: 8.07 8.02 7.83 9/471 12884
/proc/meminfo: memFree=29335236/32950928 swapFree=41934240/67111528
[pid=12848] ppid=12846 vsize=679784 CPUtime=8483.13 cores=0-7
/proc/12848/stat : 12848 (claspmt) R 12846 12848 12566 0 -1 4202496 114505 0 0 0 848217 96 0 0 25 0 8 0 660247779 696098816 107815 33554432000 4194304 4964800 140737311023232 18446744073709551615 4670308 0 0 4096 18946 18446744073709551615 0 0 17 4 0 0 0
/proc/12848/statm: 169946 107815 466 189 0 164295 0
[pid=12848/tid=12850] ppid=12846 vsize=679784 CPUtime=1053.75 cores=0-7
/proc/12848/task/12850/stat : 12850 (claspmt) R 12846 12848 12566 0 -1 4202560 14366 0 0 0 105365 10 0 0 25 0 8 0 660247835 696098816 107815 33554432000 4194304 4964800 140737311023232 18446744073709551615 4321023 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=12848/tid=12851] ppid=12846 vsize=679784 CPUtime=1062.47 cores=0-7
/proc/12848/task/12851/stat : 12851 (claspmt) R 12846 12848 12566 0 -1 4202560 28264 0 0 0 106226 21 0 0 25 0 8 0 660247835 696098816 107815 33554432000 4194304 4964800 140737311023232 18446744073709551615 4627263 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=12848/tid=12852] ppid=12846 vsize=679784 CPUtime=1062.46 cores=0-7
/proc/12848/task/12852/stat : 12852 (claspmt) R 12846 12848 12566 0 -1 4202560 8144 0 0 0 106239 7 0 0 25 0 8 0 660247835 696098816 107815 33554432000 4194304 4964800 140737311023232 18446744073709551615 4668987 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=12848/tid=12853] ppid=12846 vsize=679784 CPUtime=1062.21 cores=0-7
/proc/12848/task/12853/stat : 12853 (claspmt) R 12846 12848 12566 0 -1 4202560 16574 0 0 0 106210 11 0 0 25 0 8 0 660247835 696098816 107815 33554432000 4194304 4964800 140737311023232 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=12848/tid=12854] ppid=12846 vsize=679784 CPUtime=1060.37 cores=0-7
/proc/12848/task/12854/stat : 12854 (claspmt) R 12846 12848 12566 0 -1 4202560 16902 0 0 0 106024 13 0 0 25 0 8 0 660247835 696098816 107815 33554432000 4194304 4964800 140737311023232 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=12848/tid=12855] ppid=12846 vsize=679784 CPUtime=1062.42 cores=0-7
/proc/12848/task/12855/stat : 12855 (claspmt) R 12846 12848 12566 0 -1 4202560 9816 0 0 0 106231 11 0 0 25 0 8 0 660247835 696098816 107815 33554432000 4194304 4964800 140737311023232 18446744073709551615 4627461 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=12848/tid=12856] ppid=12846 vsize=679784 CPUtime=1056.73 cores=0-7
/proc/12848/task/12856/stat : 12856 (claspmt) R 12846 12848 12566 0 -1 4202560 11970 0 0 0 105661 12 0 0 25 0 8 0 660247835 696098816 107815 33554432000 4194304 4964800 140737311023232 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 8483.13
Current children cumulated vsize (KiB) 679784

[startup+1063.9 s]
/proc/loadavg: 8.07 8.02 7.83 9/471 12884
/proc/meminfo: memFree=29335236/32950928 swapFree=41934240/67111528
[pid=12848] ppid=12846 vsize=679784 CPUtime=8489.51 cores=0-7
/proc/12848/stat : 12848 (claspmt) R 12846 12848 12566 0 -1 4202496 114505 0 0 0 848855 96 0 0 25 0 8 0 660247779 696098816 107567 33554432000 4194304 4964800 140737311023232 18446744073709551615 4312137 0 0 4096 18946 18446744073709551615 0 0 17 4 0 0 0
/proc/12848/statm: 169946 107567 466 189 0 164295 0
[pid=12848/tid=12850] ppid=12846 vsize=679784 CPUtime=1054.53 cores=0-7
/proc/12848/task/12850/stat : 12850 (claspmt) R 12846 12848 12566 0 -1 4202560 14366 0 0 0 105443 10 0 0 25 0 8 0 660247835 696098816 107567 33554432000 4194304 4964800 140737311023232 18446744073709551615 4321013 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=12848/tid=12851] ppid=12846 vsize=679784 CPUtime=1063.27 cores=0-7
/proc/12848/task/12851/stat : 12851 (claspmt) R 12846 12848 12566 0 -1 4202560 28264 0 0 0 106306 21 0 0 25 0 8 0 660247835 696098816 107567 33554432000 4194304 4964800 140737311023232 18446744073709551615 251814345247 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=12848/tid=12852] ppid=12846 vsize=679784 CPUtime=1063.26 cores=0-7
/proc/12848/task/12852/stat : 12852 (claspmt) R 12846 12848 12566 0 -1 4202560 8144 0 0 0 106319 7 0 0 25 0 8 0 660247835 696098816 107567 33554432000 4194304 4964800 140737311023232 18446744073709551615 4627204 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=12848/tid=12853] ppid=12846 vsize=679784 CPUtime=1063.01 cores=0-7
/proc/12848/task/12853/stat : 12853 (claspmt) R 12846 12848 12566 0 -1 4202560 16574 0 0 0 106290 11 0 0 25 0 8 0 660247835 696098816 107567 33554432000 4194304 4964800 140737311023232 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=12848/tid=12854] ppid=12846 vsize=679784 CPUtime=1061.17 cores=0-7
/proc/12848/task/12854/stat : 12854 (claspmt) R 12846 12848 12566 0 -1 4202560 16902 0 0 0 106104 13 0 0 25 0 8 0 660247835 696098816 107567 33554432000 4194304 4964800 140737311023232 18446744073709551615 4668766 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=12848/tid=12855] ppid=12846 vsize=679784 CPUtime=1063.22 cores=0-7
/proc/12848/task/12855/stat : 12855 (claspmt) R 12846 12848 12566 0 -1 4202560 9816 0 0 0 106311 11 0 0 25 0 8 0 660247835 696098816 107567 33554432000 4194304 4964800 140737311023232 18446744073709551615 4670346 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=12848/tid=12856] ppid=12846 vsize=679784 CPUtime=1057.53 cores=0-7
/proc/12848/task/12856/stat : 12856 (claspmt) R 12846 12848 12566 0 -1 4202560 11970 0 0 0 105741 12 0 0 25 0 8 0 660247835 696098816 107567 33554432000 4194304 4964800 140737311023232 18446744073709551615 251814345247 0 0 4096 18946 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 8489.51
Current children cumulated vsize (KiB) 679784

[startup+1064.3 s]
/proc/loadavg: 8.07 8.02 7.83 9/471 12884
/proc/meminfo: memFree=29335236/32950928 swapFree=41934240/67111528
[pid=12848] ppid=12846 vsize=679784 CPUtime=8492.59 cores=0-7
/proc/12848/stat : 12848 (claspmt) S 12846 12848 12566 0 -1 4202496 114506 0 0 0 849157 102 0 0 17 0 3 0 660247779 696098816 107479 33554432000 4194304 4964800 140737311023232 18446744073709551615 251826042853 0 0 4096 18946 18446744073709551615 0 0 17 4 0 0 0
/proc/12848/statm: 169946 107479 467 189 0 164295 0
[pid=12848/tid=12850] ppid=12846 vsize=679784 CPUtime=1054.92 cores=0-7
/proc/12848/task/12850/stat : 12850 (claspmt) R 12846 12848 12566 0 -1 4202560 14366 0 0 0 105482 10 0 0 17 0 3 0 660247835 696098816 107479 33554432000 4194304 4964800 140737311023232 18446744073709551615 251813898033 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=12848/tid=12853] ppid=12846 vsize=679784 CPUtime=1063.39 cores=0-7
/proc/12848/task/12853/stat : 12853 (claspmt) R 12846 12848 12566 0 -1 4202560 16574 0 0 0 106328 11 0 0 17 0 3 0 660247835 696098816 107479 33554432000 4194304 4964800 140737311023232 18446744073709551615 251813937794 0 0 4096 18946 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 8492.59
Current children cumulated vsize (KiB) 679784

Child status: 20
Real time (s): 1064.36
CPU time (s): 8492.66
CPU user time (s): 8491.61
CPU system time (s): 1.04084
CPU usage (%): 797.913
Max. virtual memory (cumulated for all children) (KiB): 680800

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 8491.62
system time used= 1.04084
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 114516
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= 36157
involuntary context switches= 39528

runsolver used 4.6163 second user time and 11.8372 second system time

The end

Launcher Data 

Begin job on node126 at 2011-05-15 21:08:11
IDJOB=3380663
IDBENCH=71078
IDSOLVER=1865
FILE ID=node126/3380663-1305486491
RUNJOBID= node126-1305481204-12580
PBS_JOBID= 13325354
Free space on /tmp= 73312 MiB

SOLVER NAME= claspmt 2.0-R4095-patched (fixed)
BENCH NAME= SAT09/APPLICATIONS/satComp09_BioInstances/rbcl_xits_08_UNSAT.cnf
COMMAND LINE= HOME/claspmt -tNBCORE -p HOME/sat11-port.txt --distribute=all,2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3380663-1305486491/watcher-3380663-1305486491 -o /tmp/evaluation-result-3380663-1305486491/solver-3380663-1305486491 -C 40000 -W 5100 -M 31000  HOME/claspmt -t8 -p HOME/sat11-port.txt --distribute=all,2 HOME/instance-3380663-1305486491.cnf

TIME LIMIT= 40000 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 8

MD5SUM BENCH= 66aa2e18c32a02f55a810347a9702c7f
RANDOM SEED=1064756271

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:      29763928 kB
Buffers:        191564 kB
Cached:        1841212 kB
SwapCached:      49688 kB
Active:         630724 kB
Inactive:      2285120 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      29763928 kB
SwapTotal:    67111528 kB
SwapFree:     41934240 kB
Dirty:            2064 kB
Writeback:          44 kB
AnonPages:      846448 kB
Mapped:          16600 kB
Slab:           111908 kB
PageTables:      86192 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS: 133632112 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= 73312 MiB
End job on node126 at 2011-05-15 21:25:55