Trace number 3380509

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 10588.4 1328.1

General information on the benchmark

Nameindustrial/anbulagan/
hard-unsat/dated-5-13-u.cnf
MD5SUM45ee13b66821e6c36f3e38be418fa121
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark1218.25
Satisfiable
(Un)Satisfiability was proved
Number of variables138808
Number of clauses626501
Sum of the clauses size1431026
Maximum clause length10
Minimum clause length1
Number of clauses of size 111712
Number of clauses of size 2503953
Number of clauses of size 384536
Number of clauses of size 42920
Number of clauses of size 511680
Number of clauses of size over 511700

Solver Data 

0.00/0.00	c clasp version 2.0.0-RC2
0.00/0.00	c Reading from ...481203/instance-3380509-1305481203.cnf
0.89/0.90	c Solving...
10588.33/1328.09	s UNSATISFIABLE
10588.33/1328.09	
10588.33/1328.09	c Models        : 0     
10588.33/1328.09	c Time          : 1327.976s (Solving: 1327.07s 1st Model: 0.00s Unsat: 1327.07s)
10588.33/1328.09	c CPU Time      : 10588.310s

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-3380509-1305481203/watcher-3380509-1305481203 -o /tmp/evaluation-result-3380509-1305481203/solver-3380509-1305481203 -C 40000 -W 5100 -M 31000 HOME/claspmt -t8 -p HOME/sat11-port.txt --distribute=all,2 HOME/instance-3380509-1305481203.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: 0.06 0.02 0.00 2/291 32075
/proc/meminfo: memFree=13540044/32951124 swapFree=61565116/67111528
[pid=32075] ppid=32073 vsize=38500 CPUtime=0 cores=0-7
/proc/32075/stat : 32075 (claspmt) R 32073 32075 32049 0 -1 4202496 3410 0 0 0 0 0 0 0 21 0 1 0 659718529 39424000 3340 33554432000 4194304 4964800 140734252043472 18446744073709551615 4700412 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/32075/statm: 9625 3348 376 189 0 4499 0

[startup+0.098364 s]
/proc/loadavg: 0.06 0.02 0.00 2/291 32075
/proc/meminfo: memFree=13540044/32951124 swapFree=61565116/67111528
[pid=32075] ppid=32073 vsize=60628 CPUtime=0.08 cores=0-7
/proc/32075/stat : 32075 (claspmt) R 32073 32075 32049 0 -1 4202496 12556 0 0 0 7 1 0 0 21 0 1 0 659718529 62083072 10252 33554432000 4194304 4964800 140734252043472 18446744073709551615 246516495045 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/32075/statm: 15157 10254 386 189 0 10031 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 60628

[startup+0.100352 s]
/proc/loadavg: 0.06 0.02 0.00 2/291 32075
/proc/meminfo: memFree=13540044/32951124 swapFree=61565116/67111528
[pid=32075] ppid=32073 vsize=64540 CPUtime=0.09 cores=0-7
/proc/32075/stat : 32075 (claspmt) R 32073 32075 32049 0 -1 4202496 12947 0 0 0 7 2 0 0 21 0 1 0 659718529 66088960 10644 33554432000 4194304 4964800 140734252043472 18446744073709551615 246516531669 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/32075/statm: 16135 10665 386 189 0 11009 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 64540

[startup+0.300314 s]
/proc/loadavg: 0.06 0.02 0.00 2/291 32075
/proc/meminfo: memFree=13540044/32951124 swapFree=61565116/67111528
[pid=32075] ppid=32073 vsize=93196 CPUtime=0.29 cores=0-7
/proc/32075/stat : 32075 (claspmt) R 32073 32075 32049 0 -1 4202496 23325 0 0 0 26 3 0 0 22 0 1 0 659718529 95432704 18112 33554432000 4194304 4964800 140734252043472 18446744073709551615 4618467 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/32075/statm: 23299 18112 400 189 0 18173 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 93196

[startup+0.700261 s]
/proc/loadavg: 0.06 0.02 0.00 2/291 32075
/proc/meminfo: memFree=13540044/32951124 swapFree=61565116/67111528
[pid=32075] ppid=32073 vsize=95928 CPUtime=0.69 cores=0-7
/proc/32075/stat : 32075 (claspmt) R 32073 32075 32049 0 -1 4202496 23980 0 0 0 66 3 0 0 23 0 1 0 659718529 98230272 18767 33554432000 4194304 4964800 140734252043472 18446744073709551615 4619842 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/32075/statm: 23982 18767 404 189 0 18856 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 95928

[startup+1.50109 s]
/proc/loadavg: 0.06 0.02 0.00 3/299 32083
/proc/meminfo: memFree=13381152/32951124 swapFree=61565116/67111528
[pid=32075] ppid=32073 vsize=558944 CPUtime=1.7 cores=0-7
/proc/32075/stat : 32075 (claspmt) S 32073 32075 32049 0 -1 4202496 56325 0 0 0 156 14 0 0 18 0 8 0 659718529 572358656 40964 33554432000 4194304 4964800 140734252043472 18446744073709551615 246528650137 0 0 4096 18946 18446744073709551615 0 0 17 2 0 0 0
/proc/32075/statm: 139736 40964 443 189 0 134085 0
[pid=32075/tid=32077] ppid=32073 vsize=558944 CPUtime=0.03 cores=0-7
/proc/32075/task/32077/stat : 32077 (claspmt) S 32073 32075 32049 0 -1 4202560 3981 0 0 0 2 1 0 0 18 0 8 0 659718620 572358656 40964 33554432000 4194304 4964800 140734252043472 18446744073709551615 246528650137 0 0 4096 18946 18446604453872509376 0 0 -1 1 0 0 0
[pid=32075/tid=32078] ppid=32073 vsize=558944 CPUtime=0.02 cores=0-7
/proc/32075/task/32078/stat : 32078 (claspmt) S 32073 32075 32049 0 -1 4202560 5408 0 0 0 1 1 0 0 18 0 8 0 659718620 572358656 40964 33554432000 4194304 4964800 140734252043472 18446744073709551615 246528650137 0 0 4096 18946 18446604453872509376 0 0 -1 2 0 0 0
[pid=32075/tid=32079] ppid=32073 vsize=558944 CPUtime=0.04 cores=0-7
/proc/32075/task/32079/stat : 32079 (claspmt) S 32073 32075 32049 0 -1 4202560 5280 0 0 0 3 1 0 0 18 0 8 0 659718620 572358656 40964 33554432000 4194304 4964800 140734252043472 18446744073709551615 246528650137 0 0 4096 18946 18446604453872509376 0 0 -1 3 0 0 0
[pid=32075/tid=32080] ppid=32073 vsize=558944 CPUtime=0.02 cores=0-7
/proc/32075/task/32080/stat : 32080 (claspmt) S 32073 32075 32049 0 -1 4202560 3851 0 0 0 1 1 0 0 18 0 8 0 659718620 572358656 40964 33554432000 4194304 4964800 140734252043472 18446744073709551615 246528650137 0 0 4096 18946 18446604453872509376 0 0 -1 0 0 0 0
[pid=32075/tid=32081] ppid=32073 vsize=558944 CPUtime=0.54 cores=0-7
/proc/32075/task/32081/stat : 32081 (claspmt) R 32073 32075 32049 0 -1 4202560 4479 0 0 0 53 1 0 0 18 0 8 0 659718620 572358656 40964 33554432000 4194304 4964800 140734252043472 18446744073709551615 4668748 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=32075/tid=32082] ppid=32073 vsize=558944 CPUtime=0.02 cores=0-7
/proc/32075/task/32082/stat : 32082 (claspmt) S 32073 32075 32049 0 -1 4202560 5413 0 0 0 1 1 0 0 18 0 8 0 659718620 572358656 40964 33554432000 4194304 4964800 140734252043472 18446744073709551615 246528650137 0 0 4096 18946 18446604453872509376 0 0 -1 0 0 0 0
[pid=32075/tid=32083] ppid=32073 vsize=558944 CPUtime=0.04 cores=0-7
/proc/32075/task/32083/stat : 32083 (claspmt) S 32073 32075 32049 0 -1 4202560 3841 0 0 0 3 1 0 0 18 0 8 0 659718620 572358656 40964 33554432000 4194304 4964800 140734252043472 18446744073709551615 246528650137 0 0 4096 18946 18446604453872509376 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1.7
Current children cumulated vsize (KiB) 558944

[startup+3.10081 s]
/proc/loadavg: 0.06 0.02 0.00 2/299 32083
/proc/meminfo: memFree=13376688/32951124 swapFree=61565116/67111528
[pid=32075] ppid=32073 vsize=558944 CPUtime=3.51 cores=0-7
/proc/32075/stat : 32075 (claspmt) R 32073 32075 32049 0 -1 4202496 56714 0 0 0 337 14 0 0 18 0 8 0 659718529 572358656 41353 33554432000 4194304 4964800 140734252043472 18446744073709551615 4669008 0 0 4096 18946 18446744073709551615 0 0 17 2 0 0 0
/proc/32075/statm: 139736 41353 454 189 0 134085 0
[pid=32075/tid=32077] ppid=32073 vsize=558944 CPUtime=0.07 cores=0-7
/proc/32075/task/32077/stat : 32077 (claspmt) R 32073 32075 32049 0 -1 4202560 4019 0 0 0 6 1 0 0 18 0 8 0 659718620 572358656 41353 33554432000 4194304 4964800 140734252043472 18446744073709551615 4370264 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=32075/tid=32078] ppid=32073 vsize=558944 CPUtime=0.02 cores=0-7
/proc/32075/task/32078/stat : 32078 (claspmt) S 32073 32075 32049 0 -1 4202560 5408 0 0 0 1 1 0 0 18 0 8 0 659718620 572358656 41353 33554432000 4194304 4964800 140734252043472 18446744073709551615 246528650137 0 0 4096 18946 18446604453872509376 0 0 -1 2 0 0 0
[pid=32075/tid=32079] ppid=32073 vsize=558944 CPUtime=0.08 cores=0-7
/proc/32075/task/32079/stat : 32079 (claspmt) R 32073 32075 32049 0 -1 4202560 5319 0 0 0 7 1 0 0 18 0 8 0 659718620 572358656 41353 33554432000 4194304 4964800 140734252043472 18446744073709551615 4363952 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=32075/tid=32080] ppid=32073 vsize=558944 CPUtime=0.07 cores=0-7
/proc/32075/task/32080/stat : 32080 (claspmt) R 32073 32075 32049 0 -1 4202560 3966 0 0 0 6 1 0 0 18 0 8 0 659718620 572358656 41353 33554432000 4194304 4964800 140734252043472 18446744073709551615 4370264 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=32075/tid=32081] ppid=32073 vsize=558944 CPUtime=2.14 cores=0-7
/proc/32075/task/32081/stat : 32081 (claspmt) R 32073 32075 32049 0 -1 4202560 4525 0 0 0 213 1 0 0 21 0 8 0 659718620 572358656 41353 33554432000 4194304 4964800 140734252043472 18446744073709551615 4399292 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=32075/tid=32082] ppid=32073 vsize=558944 CPUtime=0.06 cores=0-7
/proc/32075/task/32082/stat : 32082 (claspmt) R 32073 32075 32049 0 -1 4202560 5452 0 0 0 5 1 0 0 18 0 8 0 659718620 572358656 41353 33554432000 4194304 4964800 140734252043472 18446744073709551615 4669280 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=32075/tid=32083] ppid=32073 vsize=558944 CPUtime=0.04 cores=0-7
/proc/32075/task/32083/stat : 32083 (claspmt) R 32073 32075 32049 0 -1 4202560 3841 0 0 0 3 1 0 0 18 0 8 0 659718620 572358656 41353 33554432000 4194304 4964800 140734252043472 18446744073709551615 246528650137 0 0 4096 18946 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3.51
Current children cumulated vsize (KiB) 558944

[startup+6.30119 s]
/proc/loadavg: 0.70 0.15 0.05 9/299 32084
/proc/meminfo: memFree=13371612/32951124 swapFree=61565116/67111528
[pid=32075] ppid=32073 vsize=559212 CPUtime=28.65 cores=0-7
/proc/32075/stat : 32075 (claspmt) R 32073 32075 32049 0 -1 4202496 58700 0 0 0 2850 15 0 0 24 0 8 0 659718529 572633088 43339 33554432000 4194304 4964800 140734252043472 18446744073709551615 4670308 0 0 4096 18946 18446744073709551615 0 0 17 2 0 0 0
/proc/32075/statm: 139803 43339 464 189 0 134152 0
[pid=32075/tid=32077] ppid=32073 vsize=559212 CPUtime=3.27 cores=0-7
/proc/32075/task/32077/stat : 32077 (claspmt) R 32073 32075 32049 0 -1 4202560 4260 0 0 0 326 1 0 0 25 0 8 0 659718620 572633088 43339 33554432000 4194304 4964800 140734252043472 18446744073709551615 4669280 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=32075/tid=32078] ppid=32073 vsize=559212 CPUtime=3.17 cores=0-7
/proc/32075/task/32078/stat : 32078 (claspmt) R 32073 32075 32049 0 -1 4202560 5579 0 0 0 316 1 0 0 25 0 8 0 659718620 572633088 43339 33554432000 4194304 4964800 140734252043472 18446744073709551615 4669350 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=32075/tid=32079] ppid=32073 vsize=559212 CPUtime=3.28 cores=0-7
/proc/32075/task/32079/stat : 32079 (claspmt) R 32073 32075 32049 0 -1 4202560 5429 0 0 0 327 1 0 0 25 0 8 0 659718620 572633088 43339 33554432000 4194304 4964800 140734252043472 18446744073709551615 4321076 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=32075/tid=32080] ppid=32073 vsize=559212 CPUtime=3.26 cores=0-7
/proc/32075/task/32080/stat : 32080 (claspmt) R 32073 32075 32049 0 -1 4202560 4506 0 0 0 325 1 0 0 25 0 8 0 659718620 572633088 43339 33554432000 4194304 4964800 140734252043472 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=32075/tid=32081] ppid=32073 vsize=559212 CPUtime=5.34 cores=0-7
/proc/32075/task/32081/stat : 32081 (claspmt) R 32073 32075 32049 0 -1 4202560 4528 0 0 0 533 1 0 0 25 0 8 0 659718620 572633088 43339 33554432000 4194304 4964800 140734252043472 18446744073709551615 4669276 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=32075/tid=32082] ppid=32073 vsize=559212 CPUtime=3.24 cores=0-7
/proc/32075/task/32082/stat : 32082 (claspmt) R 32073 32075 32049 0 -1 4202560 5699 0 0 0 322 2 0 0 25 0 8 0 659718620 572633088 43339 33554432000 4194304 4964800 140734252043472 18446744073709551615 4668568 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=32075/tid=32083] ppid=32073 vsize=559212 CPUtime=3.09 cores=0-7
/proc/32075/task/32083/stat : 32083 (claspmt) R 32073 32075 32049 0 -1 4202560 4299 0 0 0 307 2 0 0 25 0 8 0 659718620 572633088 43339 33554432000 4194304 4964800 140734252043472 18446744073709551615 4320970 0 0 4096 18946 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 28.65
Current children cumulated vsize (KiB) 559212

[startup+12.701 s]
/proc/loadavg: 1.28 0.28 0.09 9/299 32084
/proc/meminfo: memFree=13340120/32951124 swapFree=61565116/67111528
[pid=32075] ppid=32073 vsize=559456 CPUtime=79.79 cores=0-7
/proc/32075/stat : 32075 (claspmt) R 32073 32075 32049 0 -1 4202496 66654 0 0 0 7957 22 0 0 25 0 8 0 659718529 572882944 51293 33554432000 4194304 4964800 140734252043472 18446744073709551615 4338784 0 0 4096 18946 18446744073709551615 0 0 17 2 0 0 0
/proc/32075/statm: 139864 51293 466 189 0 134213 0
[pid=32075/tid=32077] ppid=32073 vsize=559456 CPUtime=9.66 cores=0-7
/proc/32075/task/32077/stat : 32077 (claspmt) R 32073 32075 32049 0 -1 4202560 4830 0 0 0 965 1 0 0 25 0 8 0 659718620 572882944 51293 33554432000 4194304 4964800 140734252043472 18446744073709551615 4669280 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=32075/tid=32078] ppid=32073 vsize=559456 CPUtime=9.58 cores=0-7
/proc/32075/task/32078/stat : 32078 (claspmt) R 32073 32075 32049 0 -1 4202560 6049 0 0 0 956 2 0 0 25 0 8 0 659718620 572882944 51293 33554432000 4194304 4964800 140734252043472 18446744073709551615 4660157 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=32075/tid=32079] ppid=32073 vsize=559456 CPUtime=9.68 cores=0-7
/proc/32075/task/32079/stat : 32079 (claspmt) R 32073 32075 32049 0 -1 4202560 5987 0 0 0 967 1 0 0 25 0 8 0 659718620 572882944 51293 33554432000 4194304 4964800 140734252043472 18446744073709551615 4670346 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=32075/tid=32080] ppid=32073 vsize=559456 CPUtime=9.66 cores=0-7
/proc/32075/task/32080/stat : 32080 (claspmt) R 32073 32075 32049 0 -1 4202560 6002 0 0 0 964 2 0 0 25 0 8 0 659718620 572882944 51293 33554432000 4194304 4964800 140734252043472 18446744073709551615 4668712 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=32075/tid=32081] ppid=32073 vsize=559456 CPUtime=11.75 cores=0-7
/proc/32075/task/32081/stat : 32081 (claspmt) R 32073 32075 32049 0 -1 4202560 5578 0 0 0 1173 2 0 0 25 0 8 0 659718620 572882944 51293 33554432000 4194304 4964800 140734252043472 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=32075/tid=32082] ppid=32073 vsize=559456 CPUtime=9.64 cores=0-7
/proc/32075/task/32082/stat : 32082 (claspmt) R 32073 32075 32049 0 -1 4202560 6535 0 0 0 962 2 0 0 25 0 8 0 659718620 572882944 51293 33554432000 4194304 4964800 140734252043472 18446744073709551615 4669136 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=32075/tid=32083] ppid=32073 vsize=559456 CPUtime=9.43 cores=0-7
/proc/32075/task/32083/stat : 32083 (claspmt) R 32073 32075 32049 0 -1 4202560 6414 0 0 0 940 3 0 0 25 0 8 0 659718620 572882944 51293 33554432000 4194304 4964800 140734252043472 18446744073709551615 4670299 0 0 4096 18946 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 79.79
Current children cumulated vsize (KiB) 559456

[startup+25.5007 s]
/proc/loadavg: 2.85 0.67 0.22 9/299 32084
/proc/meminfo: memFree=13297668/32951124 swapFree=61565116/67111528
[pid=32075] ppid=32073 vsize=561056 CPUtime=182.05 cores=0-7
/proc/32075/stat : 32075 (claspmt) R 32073 32075 32049 0 -1 4202496 76897 0 0 0 18174 31 0 0 25 0 8 0 659718529 574521344 61536 33554432000 4194304 4964800 140734252043472 18446744073709551615 4670308 0 0 4096 18946 18446744073709551615 0 0 17 2 0 0 0
/proc/32075/statm: 140264 61536 466 189 0 134613 0
[pid=32075/tid=32077] ppid=32073 vsize=561056 CPUtime=22.46 cores=0-7
/proc/32075/task/32077/stat : 32077 (claspmt) R 32073 32075 32049 0 -1 4202560 5603 0 0 0 2244 2 0 0 25 0 8 0 659718620 574521344 61536 33554432000 4194304 4964800 140734252043472 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=32075/tid=32078] ppid=32073 vsize=561056 CPUtime=22.38 cores=0-7
/proc/32075/task/32078/stat : 32078 (claspmt) R 32073 32075 32049 0 -1 4202560 7647 0 0 0 2235 3 0 0 25 0 8 0 659718620 574521344 61536 33554432000 4194304 4964800 140734252043472 18446744073709551615 4670180 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=32075/tid=32079] ppid=32073 vsize=561056 CPUtime=22.48 cores=0-7
/proc/32075/task/32079/stat : 32079 (claspmt) R 32073 32075 32049 0 -1 4202560 7134 0 0 0 2246 2 0 0 25 0 8 0 659718620 574521344 61536 33554432000 4194304 4964800 140734252043472 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=32075/tid=32080] ppid=32073 vsize=561056 CPUtime=22.46 cores=0-7
/proc/32075/task/32080/stat : 32080 (claspmt) R 32073 32075 32049 0 -1 4202560 7590 0 0 0 2243 3 0 0 25 0 8 0 659718620 574521344 61536 33554432000 4194304 4964800 140734252043472 18446744073709551615 4670340 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=32075/tid=32081] ppid=32073 vsize=561056 CPUtime=24.54 cores=0-7
/proc/32075/task/32081/stat : 32081 (claspmt) R 32073 32075 32049 0 -1 4202560 6904 0 0 0 2451 3 0 0 25 0 8 0 659718620 574521344 61536 33554432000 4194304 4964800 140734252043472 18446744073709551615 4670299 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=32075/tid=32082] ppid=32073 vsize=561056 CPUtime=22.44 cores=0-7
/proc/32075/task/32082/stat : 32082 (claspmt) R 32073 32075 32049 0 -1 4202560 7445 0 0 0 2241 3 0 0 25 0 8 0 659718620 574521344 61536 33554432000 4194304 4964800 140734252043472 18446744073709551615 4670346 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=32075/tid=32083] ppid=32073 vsize=561056 CPUtime=22.1 cores=0-7
/proc/32075/task/32083/stat : 32083 (claspmt) R 32073 32075 32049 0 -1 4202560 8650 0 0 0 2204 6 0 0 25 0 8 0 659718620 574521344 61536 33554432000 4194304 4964800 140734252043472 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 182.05
Current children cumulated vsize (KiB) 561056

[startup+51.101 s]
/proc/loadavg: 4.91 1.32 0.45 9/299 32085
/proc/meminfo: memFree=13251584/32951124 swapFree=61565116/67111528
[pid=32075] ppid=32073 vsize=567876 CPUtime=386.6 cores=0-7
/proc/32075/stat : 32075 (claspmt) R 32073 32075 32049 0 -1 4202496 88196 0 0 0 38618 42 0 0 25 0 8 0 659718529 581505024 72835 33554432000 4194304 4964800 140734252043472 18446744073709551615 4670332 0 0 4096 18946 18446744073709551615 0 0 17 2 0 0 0
/proc/32075/statm: 141969 72835 466 189 0 136318 0
[pid=32075/tid=32077] ppid=32073 vsize=567876 CPUtime=48.07 cores=0-7
/proc/32075/task/32077/stat : 32077 (claspmt) R 32073 32075 32049 0 -1 4202560 6393 0 0 0 4803 4 0 0 25 0 8 0 659718620 581505024 72835 33554432000 4194304 4964800 140734252043472 18446744073709551615 4683700 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=32075/tid=32078] ppid=32073 vsize=567876 CPUtime=47.97 cores=0-7
/proc/32075/task/32078/stat : 32078 (claspmt) R 32073 32075 32049 0 -1 4202560 10203 0 0 0 4793 4 0 0 25 0 8 0 659718620 581505024 72835 33554432000 4194304 4964800 140734252043472 18446744073709551615 4668568 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=32075/tid=32079] ppid=32073 vsize=567876 CPUtime=48.08 cores=0-7
/proc/32075/task/32079/stat : 32079 (claspmt) R 32073 32075 32049 0 -1 4202560 8044 0 0 0 4804 4 0 0 25 0 8 0 659718620 581505024 72835 33554432000 4194304 4964800 140734252043472 18446744073709551615 4670346 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=32075/tid=32080] ppid=32073 vsize=567876 CPUtime=48.06 cores=0-7
/proc/32075/task/32080/stat : 32080 (claspmt) R 32073 32075 32049 0 -1 4202560 9335 0 0 0 4801 5 0 0 25 0 8 0 659718620 581505024 72835 33554432000 4194304 4964800 140734252043472 18446744073709551615 4321016 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=32075/tid=32081] ppid=32073 vsize=567876 CPUtime=50.15 cores=0-7
/proc/32075/task/32081/stat : 32081 (claspmt) R 32073 32075 32049 0 -1 4202560 8075 0 0 0 5011 4 0 0 25 0 8 0 659718620 581505024 72835 33554432000 4194304 4964800 140734252043472 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=32075/tid=32082] ppid=32073 vsize=567876 CPUtime=48.03 cores=0-7
/proc/32075/task/32082/stat : 32082 (claspmt) R 32073 32075 32049 0 -1 4202560 8148 0 0 0 4800 3 0 0 25 0 8 0 659718620 581505024 72835 33554432000 4194304 4964800 140734252043472 18446744073709551615 4670328 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=32075/tid=32083] ppid=32073 vsize=567876 CPUtime=47.45 cores=0-7
/proc/32075/task/32083/stat : 32083 (claspmt) R 32073 32075 32049 0 -1 4202560 10521 0 0 0 4737 8 0 0 25 0 8 0 659718620 581505024 72835 33554432000 4194304 4964800 140734252043472 18446744073709551615 4670077 0 0 4096 18946 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 386.6

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


[startup+1305.5 s]
/proc/loadavg: 8.25 8.07 6.14 9/299 32127
/proc/meminfo: memFree=12635172/32951124 swapFree=61565116/67111528
[pid=32075] ppid=32073 vsize=1118256 CPUtime=10409.2 cores=0-7
/proc/32075/stat : 32075 (claspmt) R 32073 32075 32049 0 -1 4202496 242945 0 0 0 1040669 246 0 0 25 0 8 0 659718529 1145094144 226151 33554432000 4194304 4964800 140734252043472 18446744073709551615 4670299 0 0 4096 18946 18446744073709551615 0 0 17 2 0 0 0
/proc/32075/statm: 279564 226151 466 189 0 273913 0
[pid=32075/tid=32077] ppid=32073 vsize=1118256 CPUtime=1302.42 cores=0-7
/proc/32075/task/32077/stat : 32077 (claspmt) R 32073 32075 32049 0 -1 4202560 18047 0 0 0 130226 16 0 0 25 0 8 0 659718620 1145094144 226151 33554432000 4194304 4964800 140734252043472 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=32075/tid=32078] ppid=32073 vsize=1118256 CPUtime=1302.4 cores=0-7
/proc/32075/task/32078/stat : 32078 (claspmt) R 32073 32075 32049 0 -1 4202560 41006 0 0 0 130200 40 0 0 25 0 8 0 659718620 1145094144 226151 33554432000 4194304 4964800 140734252043472 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=32075/tid=32079] ppid=32073 vsize=1118256 CPUtime=1297.47 cores=0-7
/proc/32075/task/32079/stat : 32079 (claspmt) R 32073 32075 32049 0 -1 4202560 18302 0 0 0 129731 16 0 0 25 0 8 0 659718620 1145094144 226151 33554432000 4194304 4964800 140734252043472 18446744073709551615 4668689 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=32075/tid=32080] ppid=32073 vsize=1118256 CPUtime=1302.43 cores=0-7
/proc/32075/task/32080/stat : 32080 (claspmt) R 32073 32075 32049 0 -1 4202560 26329 0 0 0 130217 26 0 0 25 0 8 0 659718620 1145094144 226151 33554432000 4194304 4964800 140734252043472 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=32075/tid=32081] ppid=32073 vsize=1118256 CPUtime=1304.55 cores=0-7
/proc/32075/task/32081/stat : 32081 (claspmt) R 32073 32075 32049 0 -1 4202560 22237 0 0 0 130441 14 0 0 25 0 8 0 659718620 1145094144 226151 33554432000 4194304 4964800 140734252043472 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=32075/tid=32082] ppid=32073 vsize=1118256 CPUtime=1302.44 cores=0-7
/proc/32075/task/32082/stat : 32082 (claspmt) R 32073 32075 32049 0 -1 4202560 16098 0 0 0 130232 12 0 0 25 0 8 0 659718620 1145094144 226151 33554432000 4194304 4964800 140734252043472 18446744073709551615 4670343 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=32075/tid=32083] ppid=32073 vsize=1118256 CPUtime=1294.48 cores=0-7
/proc/32075/task/32083/stat : 32083 (claspmt) R 32073 32075 32049 0 -1 4202560 62204 0 0 0 129355 93 0 0 25 0 8 0 659718620 1145094144 226151 33554432000 4194304 4964800 140734252043472 18446744073709551615 4670180 0 0 4096 18946 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 10409.2
Current children cumulated vsize (KiB) 1118256

[startup+1318.3 s]
/proc/loadavg: 8.44 8.11 6.18 9/299 32128
/proc/meminfo: memFree=12635052/32951124 swapFree=61565116/67111528
[pid=32075] ppid=32073 vsize=1118256 CPUtime=10511.4 cores=0-7
/proc/32075/stat : 32075 (claspmt) R 32073 32075 32049 0 -1 4202496 242971 0 0 0 1050895 246 0 0 25 0 8 0 659718529 1145094144 226169 33554432000 4194304 4964800 140734252043472 18446744073709551615 4670180 0 0 4096 18946 18446744073709551615 0 0 17 2 0 0 0
/proc/32075/statm: 279564 226169 466 189 0 273913 0
[pid=32075/tid=32077] ppid=32073 vsize=1118256 CPUtime=1315.21 cores=0-7
/proc/32075/task/32077/stat : 32077 (claspmt) R 32073 32075 32049 0 -1 4202560 18050 0 0 0 131505 16 0 0 25 0 8 0 659718620 1145094144 226169 33554432000 4194304 4964800 140734252043472 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=32075/tid=32078] ppid=32073 vsize=1118256 CPUtime=1315.2 cores=0-7
/proc/32075/task/32078/stat : 32078 (claspmt) R 32073 32075 32049 0 -1 4202560 41008 0 0 0 131480 40 0 0 25 0 8 0 659718620 1145094144 226169 33554432000 4194304 4964800 140734252043472 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=32075/tid=32079] ppid=32073 vsize=1118256 CPUtime=1310.27 cores=0-7
/proc/32075/task/32079/stat : 32079 (claspmt) R 32073 32075 32049 0 -1 4202560 18302 0 0 0 131011 16 0 0 25 0 8 0 659718620 1145094144 226169 33554432000 4194304 4964800 140734252043472 18446744073709551615 246516492697 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=32075/tid=32080] ppid=32073 vsize=1118256 CPUtime=1315.23 cores=0-7
/proc/32075/task/32080/stat : 32080 (claspmt) R 32073 32075 32049 0 -1 4202560 26329 0 0 0 131497 26 0 0 25 0 8 0 659718620 1145094144 226169 33554432000 4194304 4964800 140734252043472 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=32075/tid=32081] ppid=32073 vsize=1118256 CPUtime=1317.35 cores=0-7
/proc/32075/task/32081/stat : 32081 (claspmt) R 32073 32075 32049 0 -1 4202560 22256 0 0 0 131721 14 0 0 25 0 8 0 659718620 1145094144 226169 33554432000 4194304 4964800 140734252043472 18446744073709551615 4321082 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=32075/tid=32082] ppid=32073 vsize=1118256 CPUtime=1315.24 cores=0-7
/proc/32075/task/32082/stat : 32082 (claspmt) R 32073 32075 32049 0 -1 4202560 16098 0 0 0 131512 12 0 0 25 0 8 0 659718620 1145094144 226169 33554432000 4194304 4964800 140734252043472 18446744073709551615 4670499 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=32075/tid=32083] ppid=32073 vsize=1118256 CPUtime=1307.15 cores=0-7
/proc/32075/task/32083/stat : 32083 (claspmt) R 32073 32075 32049 0 -1 4202560 62206 0 0 0 130622 93 0 0 25 0 8 0 659718620 1145094144 226169 33554432000 4194304 4964800 140734252043472 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 10511.4
Current children cumulated vsize (KiB) 1118256

[startup+1324.7 s]
/proc/loadavg: 8.37 8.11 6.20 9/299 32128
/proc/meminfo: memFree=12635052/32951124 swapFree=61565116/67111528
[pid=32075] ppid=32073 vsize=1118256 CPUtime=10562.5 cores=0-7
/proc/32075/stat : 32075 (claspmt) R 32073 32075 32049 0 -1 4202496 242973 0 0 0 1056007 246 0 0 25 0 8 0 659718529 1145094144 226171 33554432000 4194304 4964800 140734252043472 18446744073709551615 4668734 0 0 4096 18946 18446744073709551615 0 0 17 2 0 0 0
/proc/32075/statm: 279564 226171 466 189 0 273913 0
[pid=32075/tid=32077] ppid=32073 vsize=1118256 CPUtime=1321.61 cores=0-7
/proc/32075/task/32077/stat : 32077 (claspmt) R 32073 32075 32049 0 -1 4202560 18050 0 0 0 132145 16 0 0 25 0 8 0 659718620 1145094144 226171 33554432000 4194304 4964800 140734252043472 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=32075/tid=32078] ppid=32073 vsize=1118256 CPUtime=1321.59 cores=0-7
/proc/32075/task/32078/stat : 32078 (claspmt) R 32073 32075 32049 0 -1 4202560 41008 0 0 0 132119 40 0 0 25 0 8 0 659718620 1145094144 226171 33554432000 4194304 4964800 140734252043472 18446744073709551615 4321272 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=32075/tid=32079] ppid=32073 vsize=1118256 CPUtime=1316.67 cores=0-7
/proc/32075/task/32079/stat : 32079 (claspmt) R 32073 32075 32049 0 -1 4202560 18302 0 0 0 131651 16 0 0 25 0 8 0 659718620 1145094144 226171 33554432000 4194304 4964800 140734252043472 18446744073709551615 4321102 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=32075/tid=32080] ppid=32073 vsize=1118256 CPUtime=1321.63 cores=0-7
/proc/32075/task/32080/stat : 32080 (claspmt) R 32073 32075 32049 0 -1 4202560 26329 0 0 0 132137 26 0 0 25 0 8 0 659718620 1145094144 226171 33554432000 4194304 4964800 140734252043472 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=32075/tid=32081] ppid=32073 vsize=1118256 CPUtime=1323.75 cores=0-7
/proc/32075/task/32081/stat : 32081 (claspmt) R 32073 32075 32049 0 -1 4202560 22258 0 0 0 132361 14 0 0 25 0 8 0 659718620 1145094144 226171 33554432000 4194304 4964800 140734252043472 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=32075/tid=32082] ppid=32073 vsize=1118256 CPUtime=1321.63 cores=0-7
/proc/32075/task/32082/stat : 32082 (claspmt) R 32073 32075 32049 0 -1 4202560 16098 0 0 0 132151 12 0 0 25 0 8 0 659718620 1145094144 226171 33554432000 4194304 4964800 140734252043472 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=32075/tid=32083] ppid=32073 vsize=1118256 CPUtime=1313.48 cores=0-7
/proc/32075/task/32083/stat : 32083 (claspmt) R 32073 32075 32049 0 -1 4202560 62206 0 0 0 131255 93 0 0 25 0 8 0 659718620 1145094144 226171 33554432000 4194304 4964800 140734252043472 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 10562.5
Current children cumulated vsize (KiB) 1118256

[startup+1326.3 s]
/proc/loadavg: 8.37 8.11 6.20 9/299 32128
/proc/meminfo: memFree=12635052/32951124 swapFree=61565116/67111528
[pid=32075] ppid=32073 vsize=1118256 CPUtime=10575.3 cores=0-7
/proc/32075/stat : 32075 (claspmt) R 32073 32075 32049 0 -1 4202496 242974 0 0 0 1057285 246 0 0 18 0 8 0 659718529 1145094144 226172 33554432000 4194304 4964800 140734252043472 18446744073709551615 4670308 0 0 4096 18946 18446744073709551615 0 0 17 2 0 0 0
/proc/32075/statm: 279564 226172 466 189 0 273913 0
[pid=32075/tid=32077] ppid=32073 vsize=1118256 CPUtime=1323.21 cores=0-7
/proc/32075/task/32077/stat : 32077 (claspmt) R 32073 32075 32049 0 -1 4202560 18050 0 0 0 132305 16 0 0 25 0 8 0 659718620 1145094144 226172 33554432000 4194304 4964800 140734252043472 18446744073709551615 4321102 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=32075/tid=32078] ppid=32073 vsize=1118256 CPUtime=1323.19 cores=0-7
/proc/32075/task/32078/stat : 32078 (claspmt) R 32073 32075 32049 0 -1 4202560 41008 0 0 0 132279 40 0 0 25 0 8 0 659718620 1145094144 226172 33554432000 4194304 4964800 140734252043472 18446744073709551615 4669011 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=32075/tid=32079] ppid=32073 vsize=1118256 CPUtime=1318.27 cores=0-7
/proc/32075/task/32079/stat : 32079 (claspmt) R 32073 32075 32049 0 -1 4202560 18302 0 0 0 131811 16 0 0 25 0 8 0 659718620 1145094144 226172 33554432000 4194304 4964800 140734252043472 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=32075/tid=32080] ppid=32073 vsize=1118256 CPUtime=1323.23 cores=0-7
/proc/32075/task/32080/stat : 32080 (claspmt) R 32073 32075 32049 0 -1 4202560 26330 0 0 0 132297 26 0 0 25 0 8 0 659718620 1145094144 226172 33554432000 4194304 4964800 140734252043472 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=32075/tid=32081] ppid=32073 vsize=1118256 CPUtime=1325.35 cores=0-7
/proc/32075/task/32081/stat : 32081 (claspmt) R 32073 32075 32049 0 -1 4202560 22258 0 0 0 132521 14 0 0 25 0 8 0 659718620 1145094144 226172 33554432000 4194304 4964800 140734252043472 18446744073709551615 4670346 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=32075/tid=32082] ppid=32073 vsize=1118256 CPUtime=1323.23 cores=0-7
/proc/32075/task/32082/stat : 32082 (claspmt) R 32073 32075 32049 0 -1 4202560 16098 0 0 0 132311 12 0 0 18 0 8 0 659718620 1145094144 226172 33554432000 4194304 4964800 140734252043472 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=32075/tid=32083] ppid=32073 vsize=1118256 CPUtime=1315.07 cores=0-7
/proc/32075/task/32083/stat : 32083 (claspmt) R 32073 32075 32049 0 -1 4202560 62206 0 0 0 131414 93 0 0 25 0 8 0 659718620 1145094144 226172 33554432000 4194304 4964800 140734252043472 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 10575.3
Current children cumulated vsize (KiB) 1118256

[startup+1327.1 s]
/proc/loadavg: 8.37 8.11 6.20 10/299 32128
/proc/meminfo: memFree=12635052/32951124 swapFree=61565116/67111528
[pid=32075] ppid=32073 vsize=1118256 CPUtime=10581.7 cores=0-7
/proc/32075/stat : 32075 (claspmt) R 32073 32075 32049 0 -1 4202496 242974 0 0 0 1057924 246 0 0 19 0 8 0 659718529 1145094144 226089 33554432000 4194304 4964800 140734252043472 18446744073709551615 4668753 0 0 4096 18946 18446744073709551615 0 0 17 2 0 0 0
/proc/32075/statm: 279564 226089 466 189 0 273913 0
[pid=32075/tid=32077] ppid=32073 vsize=1118256 CPUtime=1324.01 cores=0-7
/proc/32075/task/32077/stat : 32077 (claspmt) R 32073 32075 32049 0 -1 4202560 18050 0 0 0 132385 16 0 0 25 0 8 0 659718620 1145094144 226089 33554432000 4194304 4964800 140734252043472 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=32075/tid=32078] ppid=32073 vsize=1118256 CPUtime=1323.99 cores=0-7
/proc/32075/task/32078/stat : 32078 (claspmt) R 32073 32075 32049 0 -1 4202560 41008 0 0 0 132359 40 0 0 25 0 8 0 659718620 1145094144 226089 33554432000 4194304 4964800 140734252043472 18446744073709551615 4320928 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=32075/tid=32079] ppid=32073 vsize=1118256 CPUtime=1319.07 cores=0-7
/proc/32075/task/32079/stat : 32079 (claspmt) R 32073 32075 32049 0 -1 4202560 18302 0 0 0 131891 16 0 0 25 0 8 0 659718620 1145094144 226089 33554432000 4194304 4964800 140734252043472 18446744073709551615 4669011 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=32075/tid=32080] ppid=32073 vsize=1118256 CPUtime=1324.02 cores=0-7
/proc/32075/task/32080/stat : 32080 (claspmt) R 32073 32075 32049 0 -1 4202560 26330 0 0 0 132376 26 0 0 25 0 8 0 659718620 1145094144 226089 33554432000 4194304 4964800 140734252043472 18446744073709551615 4670299 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=32075/tid=32081] ppid=32073 vsize=1118256 CPUtime=1326.15 cores=0-7
/proc/32075/task/32081/stat : 32081 (claspmt) R 32073 32075 32049 0 -1 4202560 22258 0 0 0 132601 14 0 0 25 0 8 0 659718620 1145094144 226089 33554432000 4194304 4964800 140734252043472 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=32075/tid=32082] ppid=32073 vsize=1118256 CPUtime=1324.03 cores=0-7
/proc/32075/task/32082/stat : 32082 (claspmt) R 32073 32075 32049 0 -1 4202560 16098 0 0 0 132391 12 0 0 19 0 8 0 659718620 1145094144 226089 33554432000 4194304 4964800 140734252043472 18446744073709551615 4669011 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=32075/tid=32083] ppid=32073 vsize=1118256 CPUtime=1315.86 cores=0-7
/proc/32075/task/32083/stat : 32083 (claspmt) R 32073 32075 32049 0 -1 4202560 62206 0 0 0 131493 93 0 0 25 0 8 0 659718620 1145094144 226089 33554432000 4194304 4964800 140734252043472 18446744073709551615 4668689 0 0 4096 18946 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 10581.7
Current children cumulated vsize (KiB) 1118256

[startup+1327.5 s]
/proc/loadavg: 8.37 8.11 6.20 10/299 32128
/proc/meminfo: memFree=12635052/32951124 swapFree=61565116/67111528
[pid=32075] ppid=32073 vsize=1118256 CPUtime=10584.9 cores=0-7
/proc/32075/stat : 32075 (claspmt) R 32073 32075 32049 0 -1 4202496 242974 0 0 0 1058244 246 0 0 20 0 8 0 659718529 1145094144 226089 33554432000 4194304 4964800 140734252043472 18446744073709551615 4669280 0 0 4096 18946 18446744073709551615 0 0 17 2 0 0 0
/proc/32075/statm: 279564 226089 466 189 0 273913 0
[pid=32075/tid=32077] ppid=32073 vsize=1118256 CPUtime=1324.41 cores=0-7
/proc/32075/task/32077/stat : 32077 (claspmt) R 32073 32075 32049 0 -1 4202560 18050 0 0 0 132425 16 0 0 25 0 8 0 659718620 1145094144 226089 33554432000 4194304 4964800 140734252043472 18446744073709551615 4321102 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=32075/tid=32078] ppid=32073 vsize=1118256 CPUtime=1324.39 cores=0-7
/proc/32075/task/32078/stat : 32078 (claspmt) R 32073 32075 32049 0 -1 4202560 41008 0 0 0 132399 40 0 0 25 0 8 0 659718620 1145094144 226089 33554432000 4194304 4964800 140734252043472 18446744073709551615 4669131 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=32075/tid=32079] ppid=32073 vsize=1118256 CPUtime=1319.47 cores=0-7
/proc/32075/task/32079/stat : 32079 (claspmt) R 32073 32075 32049 0 -1 4202560 18302 0 0 0 131931 16 0 0 25 0 8 0 659718620 1145094144 226089 33554432000 4194304 4964800 140734252043472 18446744073709551615 4670180 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=32075/tid=32080] ppid=32073 vsize=1118256 CPUtime=1324.42 cores=0-7
/proc/32075/task/32080/stat : 32080 (claspmt) R 32073 32075 32049 0 -1 4202560 26330 0 0 0 132416 26 0 0 25 0 8 0 659718620 1145094144 226089 33554432000 4194304 4964800 140734252043472 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=32075/tid=32081] ppid=32073 vsize=1118256 CPUtime=1326.55 cores=0-7
/proc/32075/task/32081/stat : 32081 (claspmt) R 32073 32075 32049 0 -1 4202560 22258 0 0 0 132641 14 0 0 25 0 8 0 659718620 1145094144 226089 33554432000 4194304 4964800 140734252043472 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=32075/tid=32082] ppid=32073 vsize=1118256 CPUtime=1324.43 cores=0-7
/proc/32075/task/32082/stat : 32082 (claspmt) R 32073 32075 32049 0 -1 4202560 16098 0 0 0 132431 12 0 0 20 0 8 0 659718620 1145094144 226089 33554432000 4194304 4964800 140734252043472 18446744073709551615 4668753 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=32075/tid=32083] ppid=32073 vsize=1118256 CPUtime=1316.26 cores=0-7
/proc/32075/task/32083/stat : 32083 (claspmt) R 32073 32075 32049 0 -1 4202560 62206 0 0 0 131533 93 0 0 25 0 8 0 659718620 1145094144 226089 33554432000 4194304 4964800 140734252043472 18446744073709551615 4670180 0 0 4096 18946 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 10584.9
Current children cumulated vsize (KiB) 1118256

[startup+1327.9 s]
/proc/loadavg: 8.37 8.11 6.20 9/299 32128
/proc/meminfo: memFree=12635052/32951124 swapFree=61565116/67111528
[pid=32075] ppid=32073 vsize=1118256 CPUtime=10588.1 cores=0-7
/proc/32075/stat : 32075 (claspmt) S 32073 32075 32049 0 -1 4202496 242974 0 0 0 1058560 247 0 0 18 0 8 0 659718529 1145094144 226002 33554432000 4194304 4964800 140734252043472 18446744073709551615 246516939246 0 0 4096 18946 18446744073709551615 0 0 17 2 0 0 0
/proc/32075/statm: 279564 226002 466 189 0 273913 0
[pid=32075/tid=32077] ppid=32073 vsize=1118256 CPUtime=1324.81 cores=0-7
/proc/32075/task/32077/stat : 32077 (claspmt) R 32073 32075 32049 0 -1 4202560 18050 0 0 0 132465 16 0 0 18 0 8 0 659718620 1145094144 226002 33554432000 4194304 4964800 140734252043472 18446744073709551615 4337563 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=32075/tid=32078] ppid=32073 vsize=1118256 CPUtime=1324.79 cores=0-7
/proc/32075/task/32078/stat : 32078 (claspmt) S 32073 32075 32049 0 -1 4202560 41008 0 0 0 132439 40 0 0 18 0 8 0 659718620 1145094144 226002 33554432000 4194304 4964800 140734252043472 18446744073709551615 246516939246 0 0 4096 18946 18446604453872509376 0 0 -1 5 0 0 0
[pid=32075/tid=32079] ppid=32073 vsize=1118256 CPUtime=1319.87 cores=0-7
/proc/32075/task/32079/stat : 32079 (claspmt) R 32073 32075 32049 0 -1 4202560 18302 0 0 0 131971 16 0 0 18 0 8 0 659718620 1145094144 226002 33554432000 4194304 4964800 140734252043472 18446744073709551615 4668987 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=32075/tid=32080] ppid=32073 vsize=1118256 CPUtime=1324.83 cores=0-7
/proc/32075/task/32080/stat : 32080 (claspmt) R 32073 32075 32049 0 -1 4202560 26330 0 0 0 132456 27 0 0 18 0 8 0 659718620 1145094144 226002 33554432000 4194304 4964800 140734252043472 18446744073709551615 246516939295 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=32075/tid=32081] ppid=32073 vsize=1118256 CPUtime=1326.95 cores=0-7
/proc/32075/task/32081/stat : 32081 (claspmt) S 32073 32075 32049 0 -1 4202560 22258 0 0 0 132680 15 0 0 18 0 8 0 659718620 1145094144 226002 33554432000 4194304 4964800 140734252043472 18446744073709551615 246516939246 0 0 4096 18946 18446604453872509376 0 0 -1 6 0 0 0
[pid=32075/tid=32082] ppid=32073 vsize=1118256 CPUtime=1324.83 cores=0-7
/proc/32075/task/32082/stat : 32082 (claspmt) S 32073 32075 32049 0 -1 4202560 16098 0 0 0 132471 12 0 0 18 0 8 0 659718620 1145094144 226002 33554432000 4194304 4964800 140734252043472 18446744073709551615 246516939246 0 0 4096 18946 18446604453872509376 0 0 -1 4 0 0 0
[pid=32075/tid=32083] ppid=32073 vsize=1118256 CPUtime=1316.64 cores=0-7
/proc/32075/task/32083/stat : 32083 (claspmt) R 32073 32075 32049 0 -1 4202560 62206 0 0 0 131571 93 0 0 18 0 8 0 659718620 1145094144 226002 33554432000 4194304 4964800 140734252043472 18446744073709551615 246516493208 0 0 4096 18946 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 10588.1
Current children cumulated vsize (KiB) 1118256

[startup+1328 s]
/proc/loadavg: 8.37 8.11 6.20 9/299 32128
/proc/meminfo: memFree=12635052/32951124 swapFree=61565116/67111528
[pid=32075] ppid=32073 vsize=1100768 CPUtime=10588.3 cores=0-7
/proc/32075/stat : 32075 (claspmt) R 32073 32075 32049 0 -1 4202496 242984 0 0 0 1058581 252 0 0 17 0 1 0 659718529 1127186432 221382 33554432000 4194304 4964800 140734252043472 18446744073709551615 246516483464 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/32075/statm: 275192 221382 476 189 0 269541 0
Current children cumulated CPU time (s) 10588.3
Current children cumulated vsize (KiB) 1100768

Child status: 20
Real time (s): 1328.1
CPU time (s): 10588.4
CPU user time (s): 10585.9
CPU system time (s): 2.56761
CPU usage (%): 797.262
Max. virtual memory (cumulated for all children) (KiB): 1118256

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 10585.9
system time used= 2.56761
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 242985
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= 24824
involuntary context switches= 97034

runsolver used 3.55546 second user time and 9.53855 second system time

The end

Launcher Data 

Begin job on node134 at 2011-05-15 19:40:03
IDJOB=3380509
IDBENCH=20387
IDSOLVER=1865
FILE ID=node134/3380509-1305481203
RUNJOBID= node134-1305481203-32063
PBS_JOBID= 13325346
Free space on /tmp= 73488 MiB

SOLVER NAME= claspmt 2.0-R4095-patched (fixed)
BENCH NAME= SAT07/industrial/anbulagan/hard-unsat/dated-5-13-u.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-3380509-1305481203/watcher-3380509-1305481203 -o /tmp/evaluation-result-3380509-1305481203/solver-3380509-1305481203 -C 40000 -W 5100 -M 31000  HOME/claspmt -t8 -p HOME/sat11-port.txt --distribute=all,2 HOME/instance-3380509-1305481203.cnf

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

MD5SUM BENCH= 45ee13b66821e6c36f3e38be418fa121
RANDOM SEED=993358609

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      13540572 kB
Buffers:        292660 kB
Cached:        6384860 kB
SwapCached:      13768 kB
Active:       10324976 kB
Inactive:      8835640 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      13540572 kB
SwapTotal:    67111528 kB
SwapFree:     61565116 kB
Dirty:           11640 kB
Writeback:           0 kB
AnonPages:    12477380 kB
Mapped:          14816 kB
Slab:           134256 kB
PageTables:      50928 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 48728640 kB
VmallocTotal: 34359738367 kB
VmallocUsed:     33868 kB
VmallocChunk: 34359703231 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 73488 MiB
End job on node134 at 2011-05-15 20:02:11