Trace number 3322728

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-R4095UNSAT 2609.39 326.523

General information on the benchmark

NameSAT02/industrial/dellacherie/
comb/comb1.shuffled.cnf
MD5SUM0e9d17eb95ee436fc1015c5591cfb63f
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark72.7379
Satisfiable
(Un)Satisfiability was proved
Number of variables5910
Number of clauses16804
Sum of the clauses size38654
Maximum clause length28
Minimum clause length1
Number of clauses of size 11
Number of clauses of size 213041
Number of clauses of size 32838
Number of clauses of size 4787
Number of clauses of size 5103
Number of clauses of size over 534

Solver Data 

0.00/0.00	c clasp version 2.0.0-RC2
0.00/0.00	c Reading from ...666849/instance-3322728-1307666849.cnf
0.00/0.03	c Solving...
2609.36/326.52	s UNSATISFIABLE
2609.36/326.52	
2609.36/326.52	c Models        : 0     
2609.36/326.52	c Time          : 326.499s (Solving: 326.46s 1st Model: 0.00s Unsat: 326.46s)
2609.36/326.52	c CPU Time      : 2609.360s

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: 977)

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-3322728-1307666849/watcher-3322728-1307666849 -o /tmp/evaluation-result-3322728-1307666849/solver-3322728-1307666849 -C 40000 -W 5100 -M 31000 HOME/claspmt -t8 -p HOME/sat11-port.txt --distribute=all,2 HOME/instance-3322728-1307666849.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.54 4.75 3.07 2/167 25858
/proc/meminfo: memFree=31936852/32951124 swapFree=67064368/67111528
[pid=25858] ppid=25856 vsize=22300 CPUtime=0 cores=0-7
/proc/25858/stat : 25858 (claspmt) R 25856 25858 25643 0 -1 4202496 897 0 0 0 0 0 0 0 25 0 1 0 878285367 22835200 780 33554432000 4194304 4964704 140736517101200 18446744073709551615 244446606021 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/25858/statm: 5575 781 386 189 0 449 0

[startup+0.125721 s]
/proc/loadavg: 7.54 4.75 3.07 2/167 25858
/proc/meminfo: memFree=31936852/32951124 swapFree=67064368/67111528
[pid=25858] ppid=25856 vsize=256128 CPUtime=0.55 cores=0-7
/proc/25858/stat : 25858 (claspmt) R 25856 25858 25643 0 -1 4202496 3618 0 0 0 54 1 0 0 19 0 8 0 878285367 262275072 3029 33554432000 4194304 4964704 140736517101200 18446744073709551615 4462613 0 0 4096 18946 18446744073709551615 0 0 17 4 0 0 0
/proc/25858/statm: 64032 3029 464 189 0 58381 0
Current children cumulated CPU time (s) 0.55
Current children cumulated vsize (KiB) 256128

[startup+0.20106 s]
/proc/loadavg: 7.54 4.75 3.07 2/167 25858
/proc/meminfo: memFree=31936852/32951124 swapFree=67064368/67111528
[pid=25858] ppid=25856 vsize=256812 CPUtime=1.14 cores=0-7
/proc/25858/stat : 25858 (claspmt) R 25856 25858 25643 0 -1 4202496 4229 0 0 0 113 1 0 0 19 0 8 0 878285367 262975488 3640 33554432000 4194304 4964704 140736517101200 18446744073709551615 4670219 0 0 4096 18946 18446744073709551615 0 0 17 4 0 0 0
/proc/25858/statm: 64203 3640 464 189 0 58552 0
Current children cumulated CPU time (s) 1.14
Current children cumulated vsize (KiB) 256812

[startup+0.301042 s]
/proc/loadavg: 7.54 4.75 3.07 2/167 25858
/proc/meminfo: memFree=31936852/32951124 swapFree=67064368/67111528
[pid=25858] ppid=25856 vsize=257076 CPUtime=1.94 cores=0-7
/proc/25858/stat : 25858 (claspmt) R 25856 25858 25643 0 -1 4202496 4564 0 0 0 193 1 0 0 19 0 8 0 878285367 263245824 3975 33554432000 4194304 4964704 140736517101200 18446744073709551615 4342157 0 0 4096 18946 18446744073709551615 0 0 17 4 0 0 0
/proc/25858/statm: 64269 3975 464 189 0 58618 0
Current children cumulated CPU time (s) 1.94
Current children cumulated vsize (KiB) 257076

[startup+0.700969 s]
/proc/loadavg: 7.54 4.75 3.07 2/167 25858
/proc/meminfo: memFree=31936852/32951124 swapFree=67064368/67111528
[pid=25858] ppid=25856 vsize=323564 CPUtime=5.12 cores=0-7
/proc/25858/stat : 25858 (claspmt) R 25856 25858 25643 0 -1 4202496 5712 0 0 0 511 1 0 0 19 0 8 0 878285367 331329536 5123 33554432000 4194304 4964704 140736517101200 18446744073709551615 4670608 0 0 4096 18946 18446744073709551615 0 0 17 4 0 0 0
/proc/25858/statm: 80891 5123 464 189 0 75240 0
Current children cumulated CPU time (s) 5.12
Current children cumulated vsize (KiB) 323564

[startup+1.50082 s]
/proc/loadavg: 7.54 4.75 3.07 10/175 25866
/proc/meminfo: memFree=31917920/32951124 swapFree=67064368/67111528
[pid=25858] ppid=25856 vsize=323728 CPUtime=11.52 cores=0-7
/proc/25858/stat : 25858 (claspmt) R 25856 25858 25643 0 -1 4202496 6381 0 0 0 1150 2 0 0 21 0 8 0 878285367 331497472 5792 33554432000 4194304 4964704 140736517101200 18446744073709551615 4653356 0 0 4096 18946 18446744073709551615 0 0 17 4 0 0 0
/proc/25858/statm: 80932 5792 464 189 0 75281 0
[pid=25858/tid=25860] ppid=25856 vsize=323728 CPUtime=1.43 cores=0-7
/proc/25858/task/25860/stat : 25860 (claspmt) R 25856 25858 25643 0 -1 4202560 507 0 0 0 143 0 0 0 18 0 8 0 878285371 331497472 5792 33554432000 4194304 4964704 140736517101200 18446744073709551615 4321016 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=25858/tid=25861] ppid=25856 vsize=323728 CPUtime=1.35 cores=0-7
/proc/25858/task/25861/stat : 25861 (claspmt) R 25856 25858 25643 0 -1 4202560 591 0 0 0 135 0 0 0 25 0 8 0 878285371 331497472 5792 33554432000 4194304 4964704 140736517101200 18446744073709551615 4670269 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=25858/tid=25862] ppid=25856 vsize=323728 CPUtime=1.43 cores=0-7
/proc/25858/task/25862/stat : 25862 (claspmt) R 25856 25858 25643 0 -1 4202560 697 0 0 0 143 0 0 0 25 0 8 0 878285371 331497472 5792 33554432000 4194304 4964704 140736517101200 18446744073709551615 4669196 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=25858/tid=25863] ppid=25856 vsize=323728 CPUtime=1.44 cores=0-7
/proc/25858/task/25863/stat : 25863 (claspmt) R 25856 25858 25643 0 -1 4202560 634 0 0 0 144 0 0 0 23 0 8 0 878285371 331497472 5792 33554432000 4194304 4964704 140736517101200 18446744073709551615 4362352 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=25858/tid=25864] ppid=25856 vsize=323728 CPUtime=1.45 cores=0-7
/proc/25858/task/25864/stat : 25864 (claspmt) R 25856 25858 25643 0 -1 4202560 581 0 0 0 145 0 0 0 19 0 8 0 878285371 331497472 5792 33554432000 4194304 4964704 140736517101200 18446744073709551615 4669432 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=25858/tid=25865] ppid=25856 vsize=323728 CPUtime=1.44 cores=0-7
/proc/25858/task/25865/stat : 25865 (claspmt) R 25856 25858 25643 0 -1 4202560 538 0 0 0 144 0 0 0 19 0 8 0 878285371 331497472 5792 33554432000 4194304 4964704 140736517101200 18446744073709551615 4670458 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=25858/tid=25866] ppid=25856 vsize=323728 CPUtime=1.43 cores=0-7
/proc/25858/task/25866/stat : 25866 (claspmt) R 25856 25858 25643 0 -1 4202560 980 0 0 0 143 0 0 0 19 0 8 0 878285371 331497472 5792 33554432000 4194304 4964704 140736517101200 18446744073709551615 4321079 0 0 4096 18946 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 11.52
Current children cumulated vsize (KiB) 323728

[startup+3.10052 s]
/proc/loadavg: 7.54 4.75 3.07 9/175 25866
/proc/meminfo: memFree=31914572/32951124 swapFree=67064368/67111528
[pid=25858] ppid=25856 vsize=325084 CPUtime=24.3 cores=0-7
/proc/25858/stat : 25858 (claspmt) R 25856 25858 25643 0 -1 4202496 7738 0 0 0 2428 2 0 0 25 0 8 0 878285367 332886016 7149 33554432000 4194304 4964704 140736517101200 18446744073709551615 4670419 0 0 4096 18946 18446744073709551615 0 0 17 4 0 0 0
/proc/25858/statm: 81271 7149 464 189 0 75620 0
[pid=25858/tid=25860] ppid=25856 vsize=325084 CPUtime=3.03 cores=0-7
/proc/25858/task/25860/stat : 25860 (claspmt) R 25856 25858 25643 0 -1 4202560 622 0 0 0 303 0 0 0 22 0 8 0 878285371 332886016 7149 33554432000 4194304 4964704 140736517101200 18446744073709551615 4321079 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=25858/tid=25861] ppid=25856 vsize=325084 CPUtime=2.95 cores=0-7
/proc/25858/task/25861/stat : 25861 (claspmt) R 25856 25858 25643 0 -1 4202560 814 0 0 0 295 0 0 0 25 0 8 0 878285371 332886016 7149 33554432000 4194304 4964704 140736517101200 18446744073709551615 4668931 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=25858/tid=25862] ppid=25856 vsize=325084 CPUtime=3.03 cores=0-7
/proc/25858/task/25862/stat : 25862 (claspmt) R 25856 25858 25643 0 -1 4202560 737 0 0 0 303 0 0 0 25 0 8 0 878285371 332886016 7149 33554432000 4194304 4964704 140736517101200 18446744073709551615 4668609 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=25858/tid=25863] ppid=25856 vsize=325084 CPUtime=3.04 cores=0-7
/proc/25858/task/25863/stat : 25863 (claspmt) R 25856 25858 25643 0 -1 4202560 803 0 0 0 304 0 0 0 25 0 8 0 878285371 332886016 7149 33554432000 4194304 4964704 140736517101200 18446744073709551615 4669270 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=25858/tid=25864] ppid=25856 vsize=325084 CPUtime=3.05 cores=0-7
/proc/25858/task/25864/stat : 25864 (claspmt) R 25856 25858 25643 0 -1 4202560 664 0 0 0 305 0 0 0 25 0 8 0 878285371 332886016 7149 33554432000 4194304 4964704 140736517101200 18446744073709551615 4668592 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=25858/tid=25865] ppid=25856 vsize=325084 CPUtime=3.04 cores=0-7
/proc/25858/task/25865/stat : 25865 (claspmt) R 25856 25858 25643 0 -1 4202560 577 0 0 0 304 0 0 0 25 0 8 0 878285371 332886016 7149 33554432000 4194304 4964704 140736517101200 18446744073709551615 4668488 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=25858/tid=25866] ppid=25856 vsize=325084 CPUtime=3.02 cores=0-7
/proc/25858/task/25866/stat : 25866 (claspmt) R 25856 25858 25643 0 -1 4202560 1581 0 0 0 302 0 0 0 22 0 8 0 878285371 332886016 7149 33554432000 4194304 4964704 140736517101200 18446744073709551615 4321010 0 0 4096 18946 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 24.3
Current children cumulated vsize (KiB) 325084

[startup+6.30093 s]
/proc/loadavg: 7.57 4.80 3.10 9/175 25866
/proc/meminfo: memFree=31906464/32951124 swapFree=67064368/67111528
[pid=25858] ppid=25856 vsize=326276 CPUtime=49.89 cores=0-7
/proc/25858/stat : 25858 (claspmt) R 25856 25858 25643 0 -1 4202496 9801 0 0 0 4986 3 0 0 25 0 8 0 878285367 334106624 9212 33554432000 4194304 4964704 140736517101200 18446744073709551615 4669270 0 0 4096 18946 18446744073709551615 0 0 17 4 0 0 0
/proc/25858/statm: 81569 9212 466 189 0 75918 0
[pid=25858/tid=25860] ppid=25856 vsize=326276 CPUtime=6.23 cores=0-7
/proc/25858/task/25860/stat : 25860 (claspmt) R 25856 25858 25643 0 -1 4202560 802 0 0 0 623 0 0 0 25 0 8 0 878285371 334106624 9212 33554432000 4194304 4964704 140736517101200 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=25858/tid=25861] ppid=25856 vsize=326276 CPUtime=6.15 cores=0-7
/proc/25858/task/25861/stat : 25861 (claspmt) R 25856 25858 25643 0 -1 4202560 1136 0 0 0 615 0 0 0 25 0 8 0 878285371 334106624 9212 33554432000 4194304 4964704 140736517101200 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=25858/tid=25862] ppid=25856 vsize=326276 CPUtime=6.23 cores=0-7
/proc/25858/task/25862/stat : 25862 (claspmt) R 25856 25858 25643 0 -1 4202560 898 0 0 0 623 0 0 0 25 0 8 0 878285371 334106624 9212 33554432000 4194304 4964704 140736517101200 18446744073709551615 4669270 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=25858/tid=25863] ppid=25856 vsize=326276 CPUtime=6.24 cores=0-7
/proc/25858/task/25863/stat : 25863 (claspmt) R 25856 25858 25643 0 -1 4202560 939 0 0 0 624 0 0 0 25 0 8 0 878285371 334106624 9212 33554432000 4194304 4964704 140736517101200 18446744073709551615 4668676 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=25858/tid=25864] ppid=25856 vsize=326276 CPUtime=6.25 cores=0-7
/proc/25858/task/25864/stat : 25864 (claspmt) R 25856 25858 25643 0 -1 4202560 787 0 0 0 625 0 0 0 25 0 8 0 878285371 334106624 9212 33554432000 4194304 4964704 140736517101200 18446744073709551615 4670219 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=25858/tid=25865] ppid=25856 vsize=326276 CPUtime=6.24 cores=0-7
/proc/25858/task/25865/stat : 25865 (claspmt) R 25856 25858 25643 0 -1 4202560 740 0 0 0 624 0 0 0 25 0 8 0 878285371 334106624 9212 33554432000 4194304 4964704 140736517101200 18446744073709551615 4670219 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=25858/tid=25866] ppid=25856 vsize=326276 CPUtime=6.21 cores=0-7
/proc/25858/task/25866/stat : 25866 (claspmt) R 25856 25858 25643 0 -1 4202560 2430 0 0 0 621 0 0 0 25 0 8 0 878285371 334106624 9212 33554432000 4194304 4964704 140736517101200 18446744073709551615 4320848 0 0 4096 18946 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 49.89
Current children cumulated vsize (KiB) 326276

[startup+12.7007 s]
/proc/loadavg: 7.61 4.85 3.13 9/175 25867
/proc/meminfo: memFree=31894980/32951124 swapFree=67064368/67111528
[pid=25858] ppid=25856 vsize=327860 CPUtime=101.05 cores=0-7
/proc/25858/stat : 25858 (claspmt) R 25856 25858 25643 0 -1 4202496 12637 0 0 0 10099 6 0 0 25 0 8 0 878285367 335728640 12048 33554432000 4194304 4964704 140736517101200 18446744073709551615 4670248 0 0 4096 18946 18446744073709551615 0 0 17 4 0 0 0
/proc/25858/statm: 81965 12048 466 189 0 76314 0
[pid=25858/tid=25860] ppid=25856 vsize=327860 CPUtime=12.63 cores=0-7
/proc/25858/task/25860/stat : 25860 (claspmt) R 25856 25858 25643 0 -1 4202560 1034 0 0 0 1263 0 0 0 25 0 8 0 878285371 335728640 12048 33554432000 4194304 4964704 140736517101200 18446744073709551615 4669015 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=25858/tid=25861] ppid=25856 vsize=327860 CPUtime=12.55 cores=0-7
/proc/25858/task/25861/stat : 25861 (claspmt) R 25856 25858 25643 0 -1 4202560 1421 0 0 0 1255 0 0 0 25 0 8 0 878285371 335728640 12048 33554432000 4194304 4964704 140736517101200 18446744073709551615 4660223 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=25858/tid=25862] ppid=25856 vsize=327860 CPUtime=12.63 cores=0-7
/proc/25858/task/25862/stat : 25862 (claspmt) R 25856 25858 25643 0 -1 4202560 1048 0 0 0 1263 0 0 0 25 0 8 0 878285371 335728640 12048 33554432000 4194304 4964704 140736517101200 18446744073709551615 4378499 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=25858/tid=25863] ppid=25856 vsize=327860 CPUtime=12.64 cores=0-7
/proc/25858/task/25863/stat : 25863 (claspmt) R 25856 25858 25643 0 -1 4202560 1321 0 0 0 1264 0 0 0 25 0 8 0 878285371 335728640 12048 33554432000 4194304 4964704 140736517101200 18446744073709551615 4670269 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=25858/tid=25864] ppid=25856 vsize=327860 CPUtime=12.64 cores=0-7
/proc/25858/task/25864/stat : 25864 (claspmt) R 25856 25858 25643 0 -1 4202560 1018 0 0 0 1264 0 0 0 25 0 8 0 878285371 335728640 12048 33554432000 4194304 4964704 140736517101200 18446744073709551615 4669480 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=25858/tid=25865] ppid=25856 vsize=327860 CPUtime=12.63 cores=0-7
/proc/25858/task/25865/stat : 25865 (claspmt) R 25856 25858 25643 0 -1 4202560 888 0 0 0 1263 0 0 0 25 0 8 0 878285371 335728640 12048 33554432000 4194304 4964704 140736517101200 18446744073709551615 4670219 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=25858/tid=25866] ppid=25856 vsize=327860 CPUtime=12.57 cores=0-7
/proc/25858/task/25866/stat : 25866 (claspmt) R 25856 25858 25643 0 -1 4202560 3695 0 0 0 1256 1 0 0 25 0 8 0 878285371 335728640 12048 33554432000 4194304 4964704 140736517101200 18446744073709551615 4670440 0 0 4096 18946 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 101.05
Current children cumulated vsize (KiB) 327860

[startup+25.5004 s]
/proc/loadavg: 7.69 5.01 3.20 9/175 25867
/proc/meminfo: memFree=31883940/32951124 swapFree=67064368/67111528
[pid=25858] ppid=25856 vsize=329616 CPUtime=203.36 cores=0-7
/proc/25858/stat : 25858 (claspmt) R 25856 25858 25643 0 -1 4202496 15268 0 0 0 20328 8 0 0 25 0 8 0 878285367 337526784 14679 33554432000 4194304 4964704 140736517101200 18446744073709551615 4653526 0 0 4096 18946 18446744073709551615 0 0 17 4 0 0 0
/proc/25858/statm: 82404 14679 466 189 0 76753 0
[pid=25858/tid=25860] ppid=25856 vsize=329616 CPUtime=25.42 cores=0-7
/proc/25858/task/25860/stat : 25860 (claspmt) R 25856 25858 25643 0 -1 4202560 1218 0 0 0 2542 0 0 0 25 0 8 0 878285371 337526784 14679 33554432000 4194304 4964704 140736517101200 18446744073709551615 4653319 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=25858/tid=25861] ppid=25856 vsize=329616 CPUtime=25.35 cores=0-7
/proc/25858/task/25861/stat : 25861 (claspmt) R 25856 25858 25643 0 -1 4202560 1619 0 0 0 2534 1 0 0 25 0 8 0 878285371 337526784 14679 33554432000 4194304 4964704 140736517101200 18446744073709551615 4670184 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=25858/tid=25862] ppid=25856 vsize=329616 CPUtime=25.43 cores=0-7
/proc/25858/task/25862/stat : 25862 (claspmt) R 25856 25858 25643 0 -1 4202560 1210 0 0 0 2543 0 0 0 25 0 8 0 878285371 337526784 14679 33554432000 4194304 4964704 140736517101200 18446744073709551615 4670145 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=25858/tid=25863] ppid=25856 vsize=329616 CPUtime=25.44 cores=0-7
/proc/25858/task/25863/stat : 25863 (claspmt) R 25856 25858 25643 0 -1 4202560 1765 0 0 0 2543 1 0 0 25 0 8 0 878285371 337526784 14679 33554432000 4194304 4964704 140736517101200 18446744073709551615 244447050271 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=25858/tid=25864] ppid=25856 vsize=329616 CPUtime=25.45 cores=0-7
/proc/25858/task/25864/stat : 25864 (claspmt) R 25856 25858 25643 0 -1 4202560 1316 0 0 0 2544 1 0 0 25 0 8 0 878285371 337526784 14679 33554432000 4194304 4964704 140736517101200 18446744073709551615 4362359 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=25858/tid=25865] ppid=25856 vsize=329616 CPUtime=25.43 cores=0-7
/proc/25858/task/25865/stat : 25865 (claspmt) R 25856 25858 25643 0 -1 4202560 1044 0 0 0 2543 0 0 0 25 0 8 0 878285371 337526784 14679 33554432000 4194304 4964704 140736517101200 18446744073709551615 4670032 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=25858/tid=25866] ppid=25856 vsize=329616 CPUtime=25.31 cores=0-7
/proc/25858/task/25866/stat : 25866 (claspmt) R 25856 25858 25643 0 -1 4202560 4621 0 0 0 2529 2 0 0 25 0 8 0 878285371 337526784 14679 33554432000 4194304 4964704 140736517101200 18446744073709551615 244446594048 0 0 4096 18946 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 203.36
Current children cumulated vsize (KiB) 329616

[startup+51.1006 s]
/proc/loadavg: 7.87 5.26 3.33 9/175 25867
/proc/meminfo: memFree=31863312/32951124 swapFree=67064368/67111528
[pid=25858] ppid=25856 vsize=334400 CPUtime=407.98 cores=0-7
/proc/25858/stat : 25858 (claspmt) R 25856 25858 25643 0 -1 4202496 20397 0 0 0 40785 13 0 0 25 0 8 0 878285367 342425600 19808 33554432000 4194304 4964704 140736517101200 18446744073709551615 4668654 0 0 4096 18946 18446744073709551615 0 0 17 4 0 0 0
/proc/25858/statm: 83600 19808 466 189 0 77949 0
[pid=25858/tid=25860] ppid=25856 vsize=334400 CPUtime=51 cores=0-7
/proc/25858/task/25860/stat : 25860 (claspmt) R 25856 25858 25643 0 -1 4202560 1623 0 0 0 5099 1 0 0 25 0 8 0 878285371 342425600 19808 33554432000 4194304 4964704 140736517101200 18446744073709551615 4668645 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=25858/tid=25861] ppid=25856 vsize=334400 CPUtime=50.95 cores=0-7
/proc/25858/task/25861/stat : 25861 (claspmt) R 25856 25858 25643 0 -1 4202560 2225 0 0 0 5094 1 0 0 25 0 8 0 878285371 342425600 19808 33554432000 4194304 4964704 140736517101200 18446744073709551615 4670215 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=25858/tid=25862] ppid=25856 vsize=334400 CPUtime=51.02 cores=0-7
/proc/25858/task/25862/stat : 25862 (claspmt) R 25856 25858 25643 0 -1 4202560 1652 0 0 0 5101 1 0 0 21 0 8 0 878285371 342425600 19808 33554432000 4194304 4964704 140736517101200 18446744073709551615 4320905 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=25858/tid=25863] ppid=25856 vsize=334400 CPUtime=51.02 cores=0-7
/proc/25858/task/25863/stat : 25863 (claspmt) R 25856 25858 25643 0 -1 4202560 2166 0 0 0 5101 1 0 0 25 0 8 0 878285371 342425600 19808 33554432000 4194304 4964704 140736517101200 18446744073709551615 4670419 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=25858/tid=25864] ppid=25856 vsize=334400 CPUtime=51.04 cores=0-7
/proc/25858/task/25864/stat : 25864 (claspmt) R 25856 25858 25643 0 -1 4202560 1867 0 0 0 5103 1 0 0 25 0 8 0 878285371 342425600 19808 33554432000 4194304 4964704 140736517101200 18446744073709551615 4660030 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=25858/tid=25865] ppid=25856 vsize=334400 CPUtime=51.03 cores=0-7
/proc/25858/task/25865/stat : 25865 (claspmt) R 25856 25858 25643 0 -1 4202560 1317 0 0 0 5102 1 0 0 25 0 8 0 878285371 342425600 19808 33554432000 4194304 4964704 140736517101200 18446744073709551615 4668931 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=25858/tid=25866] ppid=25856 vsize=334400 CPUtime=50.79 cores=0-7
/proc/25858/task/25866/stat : 25866 (claspmt) R 25856 25858 25643 0 -1 4202560 6701 0 0 0 5076 3 0 0 25 0 8 0 878285371 342425600 19808 33554432000 4194304 4964704 140736517101200 18446744073709551615 4669416 0 0 4096 18946 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 407.98

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

/proc/loadavg: 8.06 6.86 4.46 9/175 25874
/proc/meminfo: memFree=31798520/32951124 swapFree=67064368/67111528
[pid=25858] ppid=25856 vsize=348504 CPUtime=2455.16 cores=0-7
/proc/25858/stat : 25858 (claspmt) R 25856 25858 25643 0 -1 4202496 36500 0 0 0 245468 48 0 0 25 0 8 0 878285367 356868096 35904 33554432000 4194304 4964704 140736517101200 18446744073709551615 4670228 0 0 4096 18946 18446744073709551615 0 0 17 4 0 0 0
/proc/25858/statm: 87126 35904 466 189 0 81475 0
[pid=25858/tid=25860] ppid=25856 vsize=348504 CPUtime=307 cores=0-7
/proc/25858/task/25860/stat : 25860 (claspmt) R 25856 25858 25643 0 -1 4202560 3978 0 0 0 30694 6 0 0 25 0 8 0 878285371 356868096 35904 33554432000 4194304 4964704 140736517101200 18446744073709551615 4670258 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=25858/tid=25861] ppid=25856 vsize=348504 CPUtime=306.99 cores=0-7
/proc/25858/task/25861/stat : 25861 (claspmt) R 25856 25858 25643 0 -1 4202560 4044 0 0 0 30695 4 0 0 25 0 8 0 878285371 356868096 35904 33554432000 4194304 4964704 140736517101200 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=25858/tid=25862] ppid=25856 vsize=348504 CPUtime=307.07 cores=0-7
/proc/25858/task/25862/stat : 25862 (claspmt) R 25856 25858 25643 0 -1 4202560 2744 0 0 0 30703 4 0 0 25 0 8 0 878285371 356868096 35904 33554432000 4194304 4964704 140736517101200 18446744073709551615 4660064 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=25858/tid=25863] ppid=25856 vsize=348504 CPUtime=307.06 cores=0-7
/proc/25858/task/25863/stat : 25863 (claspmt) R 25856 25858 25643 0 -1 4202560 3804 0 0 0 30700 6 0 0 25 0 8 0 878285371 356868096 35904 33554432000 4194304 4964704 140736517101200 18446744073709551615 4669309 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=25858/tid=25864] ppid=25856 vsize=348504 CPUtime=307.1 cores=0-7
/proc/25858/task/25864/stat : 25864 (claspmt) R 25856 25858 25643 0 -1 4202560 3465 0 0 0 30705 5 0 0 25 0 8 0 878285371 356868096 35904 33554432000 4194304 4964704 140736517101200 18446744073709551615 4669006 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=25858/tid=25865] ppid=25856 vsize=348504 CPUtime=307.1 cores=0-7
/proc/25858/task/25865/stat : 25865 (claspmt) R 25856 25858 25643 0 -1 4202560 2442 0 0 0 30705 5 0 0 25 0 8 0 878285371 356868096 35904 33554432000 4194304 4964704 140736517101200 18446744073709551615 4660865 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=25858/tid=25866] ppid=25856 vsize=348504 CPUtime=305.67 cores=0-7
/proc/25858/task/25866/stat : 25866 (claspmt) R 25856 25858 25643 0 -1 4202560 11928 0 0 0 30558 9 0 0 25 0 8 0 878285371 356868096 35904 33554432000 4194304 4964704 140736517101200 18446744073709551615 4668657 0 0 4096 18946 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2455.16
Current children cumulated vsize (KiB) 348504

[startup+320.001 s]
/proc/loadavg: 8.13 6.93 4.52 9/175 25875
/proc/meminfo: memFree=31797136/32951124 swapFree=67064368/67111528
[pid=25858] ppid=25856 vsize=348656 CPUtime=2557.47 cores=0-7
/proc/25858/stat : 25858 (claspmt) R 25856 25858 25643 0 -1 4202496 36786 0 0 0 255699 48 0 0 25 0 8 0 878285367 357023744 36190 33554432000 4194304 4964704 140736517101200 18446744073709551615 4670228 0 0 4096 18946 18446744073709551615 0 0 17 4 0 0 0
/proc/25858/statm: 87164 36190 466 189 0 81513 0
[pid=25858/tid=25860] ppid=25856 vsize=348656 CPUtime=319.79 cores=0-7
/proc/25858/task/25860/stat : 25860 (claspmt) R 25856 25858 25643 0 -1 4202560 4055 0 0 0 31973 6 0 0 25 0 8 0 878285371 357023744 36190 33554432000 4194304 4964704 140736517101200 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=25858/tid=25861] ppid=25856 vsize=348656 CPUtime=319.78 cores=0-7
/proc/25858/task/25861/stat : 25861 (claspmt) R 25856 25858 25643 0 -1 4202560 4071 0 0 0 31974 4 0 0 25 0 8 0 878285371 357023744 36190 33554432000 4194304 4964704 140736517101200 18446744073709551615 4670241 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=25858/tid=25862] ppid=25856 vsize=348656 CPUtime=319.87 cores=0-7
/proc/25858/task/25862/stat : 25862 (claspmt) R 25856 25858 25643 0 -1 4202560 2772 0 0 0 31983 4 0 0 25 0 8 0 878285371 357023744 36190 33554432000 4194304 4964704 140736517101200 18446744073709551615 4670219 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=25858/tid=25863] ppid=25856 vsize=348656 CPUtime=319.85 cores=0-7
/proc/25858/task/25863/stat : 25863 (claspmt) R 25856 25858 25643 0 -1 4202560 3824 0 0 0 31979 6 0 0 25 0 8 0 878285371 357023744 36190 33554432000 4194304 4964704 140736517101200 18446744073709551615 4668854 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=25858/tid=25864] ppid=25856 vsize=348656 CPUtime=319.9 cores=0-7
/proc/25858/task/25864/stat : 25864 (claspmt) R 25856 25858 25643 0 -1 4202560 3469 0 0 0 31985 5 0 0 25 0 8 0 878285371 357023744 36190 33554432000 4194304 4964704 140736517101200 18446744073709551615 4362375 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=25858/tid=25865] ppid=25856 vsize=348656 CPUtime=319.9 cores=0-7
/proc/25858/task/25865/stat : 25865 (claspmt) R 25856 25858 25643 0 -1 4202560 2504 0 0 0 31985 5 0 0 25 0 8 0 878285371 357023744 36190 33554432000 4194304 4964704 140736517101200 18446744073709551615 4670283 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=25858/tid=25866] ppid=25856 vsize=348656 CPUtime=318.41 cores=0-7
/proc/25858/task/25866/stat : 25866 (claspmt) R 25856 25858 25643 0 -1 4202560 11949 0 0 0 31831 10 0 0 25 0 8 0 878285371 357023744 36190 33554432000 4194304 4964704 140736517101200 18446744073709551615 4321079 0 0 4096 18946 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2557.47
Current children cumulated vsize (KiB) 348656

[startup+323.201 s]
/proc/loadavg: 8.13 6.93 4.52 9/175 25875
/proc/meminfo: memFree=31796880/32951124 swapFree=67064368/67111528
[pid=25858] ppid=25856 vsize=348656 CPUtime=2583.06 cores=0-7
/proc/25858/stat : 25858 (claspmt) R 25856 25858 25643 0 -1 4202496 36854 0 0 0 258257 49 0 0 25 0 8 0 878285367 357023744 36258 33554432000 4194304 4964704 140736517101200 18446744073709551615 4684027 0 0 4096 18946 18446744073709551615 0 0 17 4 0 0 0
/proc/25858/statm: 87164 36258 466 189 0 81513 0
[pid=25858/tid=25860] ppid=25856 vsize=348656 CPUtime=322.99 cores=0-7
/proc/25858/task/25860/stat : 25860 (claspmt) R 25856 25858 25643 0 -1 4202560 4074 0 0 0 32293 6 0 0 25 0 8 0 878285371 357023744 36258 33554432000 4194304 4964704 140736517101200 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=25858/tid=25861] ppid=25856 vsize=348656 CPUtime=322.99 cores=0-7
/proc/25858/task/25861/stat : 25861 (claspmt) R 25856 25858 25643 0 -1 4202560 4071 0 0 0 32294 5 0 0 25 0 8 0 878285371 357023744 36258 33554432000 4194304 4964704 140736517101200 18446744073709551615 4670263 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=25858/tid=25862] ppid=25856 vsize=348656 CPUtime=323.08 cores=0-7
/proc/25858/task/25862/stat : 25862 (claspmt) R 25856 25858 25643 0 -1 4202560 2772 0 0 0 32303 5 0 0 25 0 8 0 878285371 357023744 36258 33554432000 4194304 4964704 140736517101200 18446744073709551615 4670260 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=25858/tid=25863] ppid=25856 vsize=348656 CPUtime=323.05 cores=0-7
/proc/25858/task/25863/stat : 25863 (claspmt) R 25856 25858 25643 0 -1 4202560 3837 0 0 0 32299 6 0 0 25 0 8 0 878285371 357023744 36258 33554432000 4194304 4964704 140736517101200 18446744073709551615 4669427 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=25858/tid=25864] ppid=25856 vsize=348656 CPUtime=323.1 cores=0-7
/proc/25858/task/25864/stat : 25864 (claspmt) R 25856 25858 25643 0 -1 4202560 3469 0 0 0 32305 5 0 0 25 0 8 0 878285371 357023744 36258 33554432000 4194304 4964704 140736517101200 18446744073709551615 4668609 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=25858/tid=25865] ppid=25856 vsize=348656 CPUtime=323.09 cores=0-7
/proc/25858/task/25865/stat : 25865 (claspmt) R 25856 25858 25643 0 -1 4202560 2538 0 0 0 32304 5 0 0 25 0 8 0 878285371 357023744 36258 33554432000 4194304 4964704 140736517101200 18446744073709551615 4668657 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=25858/tid=25866] ppid=25856 vsize=348656 CPUtime=321.6 cores=0-7
/proc/25858/task/25866/stat : 25866 (claspmt) R 25856 25858 25643 0 -1 4202560 11950 0 0 0 32150 10 0 0 25 0 8 0 878285371 357023744 36258 33554432000 4194304 4964704 140736517101200 18446744073709551615 4321102 0 0 4096 18946 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2583.06
Current children cumulated vsize (KiB) 348656

[startup+324.801 s]
/proc/loadavg: 8.12 6.95 4.54 9/175 25875
/proc/meminfo: memFree=31796876/32951124 swapFree=67064368/67111528
[pid=25858] ppid=25856 vsize=348656 CPUtime=2595.85 cores=0-7
/proc/25858/stat : 25858 (claspmt) R 25856 25858 25643 0 -1 4202496 36854 0 0 0 259536 49 0 0 25 0 8 0 878285367 357023744 36258 33554432000 4194304 4964704 140736517101200 18446744073709551615 4669472 0 0 4096 18946 18446744073709551615 0 0 17 4 0 0 0
/proc/25858/statm: 87164 36258 466 189 0 81513 0
[pid=25858/tid=25860] ppid=25856 vsize=348656 CPUtime=324.59 cores=0-7
/proc/25858/task/25860/stat : 25860 (claspmt) R 25856 25858 25643 0 -1 4202560 4074 0 0 0 32453 6 0 0 25 0 8 0 878285371 357023744 36258 33554432000 4194304 4964704 140736517101200 18446744073709551615 4669455 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=25858/tid=25861] ppid=25856 vsize=348656 CPUtime=324.59 cores=0-7
/proc/25858/task/25861/stat : 25861 (claspmt) R 25856 25858 25643 0 -1 4202560 4071 0 0 0 32454 5 0 0 25 0 8 0 878285371 357023744 36258 33554432000 4194304 4964704 140736517101200 18446744073709551615 4670312 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=25858/tid=25862] ppid=25856 vsize=348656 CPUtime=324.68 cores=0-7
/proc/25858/task/25862/stat : 25862 (claspmt) R 25856 25858 25643 0 -1 4202560 2772 0 0 0 32463 5 0 0 25 0 8 0 878285371 357023744 36258 33554432000 4194304 4964704 140736517101200 18446744073709551615 4670193 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=25858/tid=25863] ppid=25856 vsize=348656 CPUtime=324.65 cores=0-7
/proc/25858/task/25863/stat : 25863 (claspmt) R 25856 25858 25643 0 -1 4202560 3837 0 0 0 32459 6 0 0 25 0 8 0 878285371 357023744 36258 33554432000 4194304 4964704 140736517101200 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=25858/tid=25864] ppid=25856 vsize=348656 CPUtime=324.7 cores=0-7
/proc/25858/task/25864/stat : 25864 (claspmt) R 25856 25858 25643 0 -1 4202560 3469 0 0 0 32465 5 0 0 25 0 8 0 878285371 357023744 36258 33554432000 4194304 4964704 140736517101200 18446744073709551615 4670248 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=25858/tid=25865] ppid=25856 vsize=348656 CPUtime=324.69 cores=0-7
/proc/25858/task/25865/stat : 25865 (claspmt) R 25856 25858 25643 0 -1 4202560 2538 0 0 0 32464 5 0 0 19 0 8 0 878285371 357023744 36258 33554432000 4194304 4964704 140736517101200 18446744073709551615 4670219 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=25858/tid=25866] ppid=25856 vsize=348656 CPUtime=323.19 cores=0-7
/proc/25858/task/25866/stat : 25866 (claspmt) R 25856 25858 25643 0 -1 4202560 11950 0 0 0 32309 10 0 0 25 0 8 0 878285371 357023744 36258 33554432000 4194304 4964704 140736517101200 18446744073709551615 4366824 0 0 4096 18946 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2595.85
Current children cumulated vsize (KiB) 348656

[startup+325.601 s]
/proc/loadavg: 8.12 6.95 4.54 9/175 25875
/proc/meminfo: memFree=31796876/32951124 swapFree=67064368/67111528
[pid=25858] ppid=25856 vsize=348656 CPUtime=2602.28 cores=0-7
/proc/25858/stat : 25858 (claspmt) R 25856 25858 25643 0 -1 4202496 36857 0 0 0 260179 49 0 0 25 0 8 0 878285367 357023744 36261 33554432000 4194304 4964704 140736517101200 18446744073709551615 4670431 0 0 4096 18946 18446744073709551615 0 0 17 4 0 0 0
/proc/25858/statm: 87164 36261 466 189 0 81513 0
[pid=25858/tid=25860] ppid=25856 vsize=348656 CPUtime=325.39 cores=0-7
/proc/25858/task/25860/stat : 25860 (claspmt) R 25856 25858 25643 0 -1 4202560 4077 0 0 0 32533 6 0 0 25 0 8 0 878285371 357023744 36261 33554432000 4194304 4964704 140736517101200 18446744073709551615 4362215 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=25858/tid=25861] ppid=25856 vsize=348656 CPUtime=325.4 cores=0-7
/proc/25858/task/25861/stat : 25861 (claspmt) R 25856 25858 25643 0 -1 4202560 4071 0 0 0 32535 5 0 0 25 0 8 0 878285371 357023744 36261 33554432000 4194304 4964704 140736517101200 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=25858/tid=25862] ppid=25856 vsize=348656 CPUtime=325.48 cores=0-7
/proc/25858/task/25862/stat : 25862 (claspmt) R 25856 25858 25643 0 -1 4202560 2772 0 0 0 32543 5 0 0 25 0 8 0 878285371 357023744 36261 33554432000 4194304 4964704 140736517101200 18446744073709551615 4644152 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=25858/tid=25863] ppid=25856 vsize=348656 CPUtime=325.46 cores=0-7
/proc/25858/task/25863/stat : 25863 (claspmt) R 25856 25858 25643 0 -1 4202560 3837 0 0 0 32540 6 0 0 25 0 8 0 878285371 357023744 36261 33554432000 4194304 4964704 140736517101200 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=25858/tid=25864] ppid=25856 vsize=348656 CPUtime=325.5 cores=0-7
/proc/25858/task/25864/stat : 25864 (claspmt) R 25856 25858 25643 0 -1 4202560 3469 0 0 0 32545 5 0 0 25 0 8 0 878285371 357023744 36261 33554432000 4194304 4964704 140736517101200 18446744073709551615 4670114 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=25858/tid=25865] ppid=25856 vsize=348656 CPUtime=325.5 cores=0-7
/proc/25858/task/25865/stat : 25865 (claspmt) R 25856 25858 25643 0 -1 4202560 2538 0 0 0 32545 5 0 0 20 0 8 0 878285371 357023744 36261 33554432000 4194304 4964704 140736517101200 18446744073709551615 4668907 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=25858/tid=25866] ppid=25856 vsize=348656 CPUtime=323.99 cores=0-7
/proc/25858/task/25866/stat : 25866 (claspmt) R 25856 25858 25643 0 -1 4202560 11950 0 0 0 32389 10 0 0 25 0 8 0 878285371 357023744 36261 33554432000 4194304 4964704 140736517101200 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2602.28
Current children cumulated vsize (KiB) 348656

[startup+326.001 s]
/proc/loadavg: 8.12 6.95 4.54 9/175 25875
/proc/meminfo: memFree=31796876/32951124 swapFree=67064368/67111528
[pid=25858] ppid=25856 vsize=348656 CPUtime=2605.44 cores=0-7
/proc/25858/stat : 25858 (claspmt) R 25856 25858 25643 0 -1 4202496 36857 0 0 0 260495 49 0 0 25 0 8 0 878285367 357023744 36261 33554432000 4194304 4964704 140736517101200 18446744073709551615 4669270 0 0 4096 18946 18446744073709551615 0 0 17 4 0 0 0
/proc/25858/statm: 87164 36261 466 189 0 81513 0
[pid=25858/tid=25860] ppid=25856 vsize=348656 CPUtime=325.79 cores=0-7
/proc/25858/task/25860/stat : 25860 (claspmt) R 25856 25858 25643 0 -1 4202560 4077 0 0 0 32573 6 0 0 25 0 8 0 878285371 357023744 36261 33554432000 4194304 4964704 140736517101200 18446744073709551615 4670458 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=25858/tid=25861] ppid=25856 vsize=348656 CPUtime=325.79 cores=0-7
/proc/25858/task/25861/stat : 25861 (claspmt) R 25856 25858 25643 0 -1 4202560 4071 0 0 0 32574 5 0 0 25 0 8 0 878285371 357023744 36261 33554432000 4194304 4964704 140736517101200 18446744073709551615 4670193 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=25858/tid=25862] ppid=25856 vsize=348656 CPUtime=325.87 cores=0-7
/proc/25858/task/25862/stat : 25862 (claspmt) R 25856 25858 25643 0 -1 4202560 2772 0 0 0 32582 5 0 0 25 0 8 0 878285371 357023744 36261 33554432000 4194304 4964704 140736517101200 18446744073709551615 4669196 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=25858/tid=25863] ppid=25856 vsize=348656 CPUtime=325.85 cores=0-7
/proc/25858/task/25863/stat : 25863 (claspmt) R 25856 25858 25643 0 -1 4202560 3837 0 0 0 32579 6 0 0 25 0 8 0 878285371 357023744 36261 33554432000 4194304 4964704 140736517101200 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=25858/tid=25864] ppid=25856 vsize=348656 CPUtime=325.9 cores=0-7
/proc/25858/task/25864/stat : 25864 (claspmt) R 25856 25858 25643 0 -1 4202560 3469 0 0 0 32585 5 0 0 25 0 8 0 878285371 357023744 36261 33554432000 4194304 4964704 140736517101200 18446744073709551615 4669192 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=25858/tid=25865] ppid=25856 vsize=348656 CPUtime=325.89 cores=0-7
/proc/25858/task/25865/stat : 25865 (claspmt) R 25856 25858 25643 0 -1 4202560 2538 0 0 0 32584 5 0 0 21 0 8 0 878285371 357023744 36261 33554432000 4194304 4964704 140736517101200 18446744073709551615 4670312 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=25858/tid=25866] ppid=25856 vsize=348656 CPUtime=324.38 cores=0-7
/proc/25858/task/25866/stat : 25866 (claspmt) R 25856 25858 25643 0 -1 4202560 11950 0 0 0 32428 10 0 0 25 0 8 0 878285371 357023744 36261 33554432000 4194304 4964704 140736517101200 18446744073709551615 4669844 0 0 4096 18946 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2605.44
Current children cumulated vsize (KiB) 348656

[startup+326.4 s]
/proc/loadavg: 8.12 6.95 4.54 9/175 25875
/proc/meminfo: memFree=31796876/32951124 swapFree=67064368/67111528
[pid=25858] ppid=25856 vsize=348656 CPUtime=2608.64 cores=0-7
/proc/25858/stat : 25858 (claspmt) R 25856 25858 25643 0 -1 4202496 36857 0 0 0 260815 49 0 0 25 0 8 0 878285367 357023744 36258 33554432000 4194304 4964704 140736517101200 18446744073709551615 4321079 0 0 4096 18946 18446744073709551615 0 0 17 4 0 0 0
/proc/25858/statm: 87164 36258 466 189 0 81513 0
[pid=25858/tid=25860] ppid=25856 vsize=348656 CPUtime=326.19 cores=0-7
/proc/25858/task/25860/stat : 25860 (claspmt) R 25856 25858 25643 0 -1 4202560 4077 0 0 0 32613 6 0 0 25 0 8 0 878285371 357023744 36258 33554432000 4194304 4964704 140736517101200 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=25858/tid=25861] ppid=25856 vsize=348656 CPUtime=326.19 cores=0-7
/proc/25858/task/25861/stat : 25861 (claspmt) R 25856 25858 25643 0 -1 4202560 4071 0 0 0 32614 5 0 0 25 0 8 0 878285371 357023744 36258 33554432000 4194304 4964704 140736517101200 18446744073709551615 4668601 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=25858/tid=25862] ppid=25856 vsize=348656 CPUtime=326.27 cores=0-7
/proc/25858/task/25862/stat : 25862 (claspmt) R 25856 25858 25643 0 -1 4202560 2772 0 0 0 32622 5 0 0 25 0 8 0 878285371 357023744 36258 33554432000 4194304 4964704 140736517101200 18446744073709551615 4668668 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=25858/tid=25863] ppid=25856 vsize=348656 CPUtime=326.25 cores=0-7
/proc/25858/task/25863/stat : 25863 (claspmt) R 25856 25858 25643 0 -1 4202560 3837 0 0 0 32619 6 0 0 25 0 8 0 878285371 357023744 36258 33554432000 4194304 4964704 140736517101200 18446744073709551615 4670258 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=25858/tid=25864] ppid=25856 vsize=348656 CPUtime=326.3 cores=0-7
/proc/25858/task/25864/stat : 25864 (claspmt) R 25856 25858 25643 0 -1 4202560 3469 0 0 0 32625 5 0 0 25 0 8 0 878285371 357023744 36258 33554432000 4194304 4964704 140736517101200 18446744073709551615 4321102 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=25858/tid=25865] ppid=25856 vsize=348656 CPUtime=326.29 cores=0-7
/proc/25858/task/25865/stat : 25865 (claspmt) R 25856 25858 25643 0 -1 4202560 2538 0 0 0 32624 5 0 0 22 0 8 0 878285371 357023744 36258 33554432000 4194304 4964704 140736517101200 18446744073709551615 4669270 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=25858/tid=25866] ppid=25856 vsize=348656 CPUtime=324.78 cores=0-7
/proc/25858/task/25866/stat : 25866 (claspmt) R 25856 25858 25643 0 -1 4202560 11950 0 0 0 32468 10 0 0 25 0 8 0 878285371 357023744 36258 33554432000 4194304 4964704 140736517101200 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2608.64
Current children cumulated vsize (KiB) 348656

[startup+326.5 s]
/proc/loadavg: 8.12 6.95 4.54 9/175 25875
/proc/meminfo: memFree=31796876/32951124 swapFree=67064368/67111528
[pid=25858] ppid=25856 vsize=348656 CPUtime=2609.36 cores=0-7
/proc/25858/stat : 25858 (claspmt) S 25856 25858 25643 0 -1 4202496 36858 0 0 0 260887 49 0 0 25 0 2 0 878285367 357023744 36259 33554432000 4194304 4964704 140736517101200 18446744073709551615 244458747877 0 0 4096 18946 18446744073709551615 0 0 17 4 0 0 0
/proc/25858/statm: 87164 36259 467 189 0 81513 0
[pid=25858/tid=25861] ppid=25856 vsize=348656 CPUtime=326.29 cores=0-7
/proc/25858/task/25861/stat : 25861 (claspmt) R 25856 25858 25643 0 -1 4202560 4071 0 0 0 32624 5 0 0 25 0 2 0 878285371 357023744 36259 33554432000 4194304 4964704 140736517101200 18446744073709551615 4684720 0 0 4096 18946 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2609.36
Current children cumulated vsize (KiB) 348656

Child status: 20
Real time (s): 326.523
CPU time (s): 2609.39
CPU user time (s): 2608.89
CPU system time (s): 0.508922
CPU usage (%): 799.147
Max. virtual memory (cumulated for all children) (KiB): 348656

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2608.89
system time used= 0.508922
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 36868
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= 47065
involuntary context switches= 8799

runsolver used 0.445932 second user time and 1.08583 second system time

The end

Launcher Data 

Begin job on node105 at 2011-06-10 02:47:29
IDJOB=3322728
IDBENCH=88045
IDSOLVER=1711
FILE ID=node105/3322728-1307666849
RUNJOBID= node105-1307666656-25657
PBS_JOBID= 13549482
Free space on /tmp= 74144 MiB

SOLVER NAME= claspmt 2.0-R4095
BENCH NAME= SAT02/industrial/dellacherie/comb/comb1.shuffled.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-3322728-1307666849/watcher-3322728-1307666849 -o /tmp/evaluation-result-3322728-1307666849/solver-3322728-1307666849 -C 40000 -W 5100 -M 31000  HOME/claspmt -t8 -p HOME/sat11-port.txt --distribute=all,2 HOME/instance-3322728-1307666849.cnf

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

MD5SUM BENCH= 0e9d17eb95ee436fc1015c5591cfb63f
RANDOM SEED=1791643080

node105.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.825
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.65
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.825
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	: 5226.15
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.825
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.82
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.825
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.75
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.825
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	: 5410.70
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.825
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.74
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.825
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.825
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.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      31937272 kB
Buffers:        235116 kB
Cached:         524816 kB
SwapCached:      20132 kB
Active:         342216 kB
Inactive:       446232 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      31937272 kB
SwapTotal:    67111528 kB
SwapFree:     67064368 kB
Dirty:            1172 kB
Writeback:           0 kB
AnonPages:       25460 kB
Mapped:           9488 kB
Slab:           159012 kB
PageTables:       3780 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   152792 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= 74144 MiB
End job on node105 at 2011-06-10 02:52:56