Trace number 3299535

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? (TO) 4800.12 1201.93

General information on the benchmark

Namecrafted/kullmann/VanDerWaerden/
VanderWaerden3k/VanDerWaerden_2-3-14_186.cnf
MD5SUM642fce7e30a701c3223fa5771c2e57dc
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables186
Number of clauses9795
Sum of the clauses size43014
Maximum clause length14
Minimum clause length3
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 38556
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 51239

Solver Data 

0.00/0.00	c clasp version 2.0.0-RC2
0.00/0.00	c Reading from ...094967/instance-3299535-1304094967.cnf
0.00/0.03	c Solving...
4800.07/1201.91	
4800.07/1201.91	*** INTERRUPTED! ***
4800.07/1201.91	*** Shutting down threads...
4800.07/1201.92	s UNKNOWN
4800.07/1201.92	
4800.07/1201.92	c INTERRUPTED   : 1
4800.07/1201.92	c Models        : 0+    
4800.07/1201.92	c Time          : 1201.906s (Solving: 1201.88s 1st Model: 0.00s Unsat: 0.00s)
4800.07/1201.92	c CPU Time      : 4800.090s

Verifier Data 

ERROR: Unexpected answer ! (SATISFIABLE/UNSATISFIABLE expected)
Got answer: UNKNOWN

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 935)

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-3299535-1304094967/watcher-3299535-1304094967 -o /tmp/evaluation-result-3299535-1304094967/solver-3299535-1304094967 -C 4800 -W 1300 -M 15500 HOME/claspmt -t4 -p HOME/sat11-port.txt --distribute=all,2 HOME/instance-3299535-1304094967.cnf 

running on 4 cores: 1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 4800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 4830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1300 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 7.11 7.88 7.96 3/174 25085
/proc/meminfo: memFree=29759432/32950928 swapFree=67111364/67111528
[pid=25085] ppid=25083 vsize=20872 CPUtime=0 cores=1,3,5,7
/proc/25085/stat : 25085 (claspmt) R 25083 25085 24218 0 -1 4202496 441 0 1 0 0 0 0 0 21 0 1 0 599727354 21372928 371 33554432000 4194304 4964704 140734542923984 18446744073709551615 4258272 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/25085/statm: 5218 375 321 189 0 92 0

[startup+0.0865059 s]
/proc/loadavg: 7.11 7.88 7.96 3/174 25085
/proc/meminfo: memFree=29759432/32950928 swapFree=67111364/67111528
[pid=25085] ppid=25083 vsize=169240 CPUtime=0.39 cores=1,3,5,7
/proc/25085/stat : 25085 (claspmt) R 25083 25085 24218 0 -1 4202496 1479 0 1 0 39 0 0 0 18 0 4 0 599727354 173301760 1406 33554432000 4194304 4964704 140734542923984 18446744073709551615 4650894 0 0 4096 18946 18446744073709551615 0 0 17 1 0 0 0
/proc/25085/statm: 42343 1468 458 189 0 36692 0
Current children cumulated CPU time (s) 0.39
Current children cumulated vsize (KiB) 169240

[startup+0.228041 s]
/proc/loadavg: 7.11 7.88 7.96 3/174 25085
/proc/meminfo: memFree=29759432/32950928 swapFree=67111364/67111528
[pid=25085] ppid=25083 vsize=169372 CPUtime=0.79 cores=1,3,5,7
/proc/25085/stat : 25085 (claspmt) R 25083 25085 24218 0 -1 4202496 1641 0 1 0 79 0 0 0 18 0 4 0 599727354 173436928 1568 33554432000 4194304 4964704 140734542923984 18446744073709551615 4670281 0 0 4096 18946 18446744073709551615 0 0 17 1 0 0 0
/proc/25085/statm: 42376 1578 458 189 0 36725 0
Current children cumulated CPU time (s) 0.79
Current children cumulated vsize (KiB) 169372

[startup+0.323727 s]
/proc/loadavg: 7.11 7.88 7.96 3/174 25085
/proc/meminfo: memFree=29759432/32950928 swapFree=67111364/67111528
[pid=25085] ppid=25083 vsize=169504 CPUtime=1.16 cores=1,3,5,7
/proc/25085/stat : 25085 (claspmt) R 25083 25085 24218 0 -1 4202496 1723 0 1 0 116 0 0 0 18 0 4 0 599727354 173572096 1650 33554432000 4194304 4964704 140734542923984 18446744073709551615 256415496735 0 0 4096 18946 18446744073709551615 0 0 17 1 0 0 0
/proc/25085/statm: 42376 1650 458 189 0 36725 0
Current children cumulated CPU time (s) 1.16
Current children cumulated vsize (KiB) 169504

[startup+0.700196 s]
/proc/loadavg: 7.11 7.88 7.96 3/174 25085
/proc/meminfo: memFree=29759432/32950928 swapFree=67111364/67111528
[pid=25085] ppid=25083 vsize=170092 CPUtime=2.67 cores=1,3,5,7
/proc/25085/stat : 25085 (claspmt) R 25083 25085 24218 0 -1 4202496 2299 0 1 0 267 0 0 0 18 0 4 0 599727354 174174208 2226 33554432000 4194304 4964704 140734542923984 18446744073709551615 4321069 0 0 4096 18946 18446744073709551615 0 0 17 1 0 0 0
/proc/25085/statm: 42523 2226 458 189 0 36872 0
Current children cumulated CPU time (s) 2.67
Current children cumulated vsize (KiB) 170092

[startup+1.50105 s]
/proc/loadavg: 7.11 7.88 7.96 9/184 25098
/proc/meminfo: memFree=29738900/32950928 swapFree=67111364/67111528
[pid=25085] ppid=25083 vsize=171492 CPUtime=5.88 cores=1,3,5,7
/proc/25085/stat : 25085 (claspmt) R 25083 25085 24218 0 -1 4202496 3163 0 1 0 587 1 0 0 20 0 4 0 599727354 175607808 3054 33554432000 4194304 4964704 140734542923984 18446744073709551615 4670419 0 0 4096 18946 18446744073709551615 0 0 17 1 0 0 0
/proc/25085/statm: 42873 3054 458 189 0 37222 0
[pid=25085/tid=25093] ppid=25083 vsize=171492 CPUtime=1.46 cores=1,3,5,7
/proc/25085/task/25093/stat : 25093 (claspmt) R 25083 25085 24218 0 -1 4202560 499 0 0 0 146 0 0 0 23 0 4 0 599727357 175607808 3054 33554432000 4194304 4964704 140734542923984 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=25085/tid=25094] ppid=25083 vsize=171492 CPUtime=1.46 cores=1,3,5,7
/proc/25085/task/25094/stat : 25094 (claspmt) R 25083 25085 24218 0 -1 4202560 900 0 0 0 146 0 0 0 23 0 4 0 599727357 175607808 3054 33554432000 4194304 4964704 140734542923984 18446744073709551615 4627168 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=25085/tid=25095] ppid=25083 vsize=171492 CPUtime=1.45 cores=1,3,5,7
/proc/25085/task/25095/stat : 25095 (claspmt) R 25083 25085 24218 0 -1 4202560 491 0 0 0 145 0 0 0 23 0 4 0 599727357 175607808 3054 33554432000 4194304 4964704 140734542923984 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 5.88
Current children cumulated vsize (KiB) 171492

[startup+3.10074 s]
/proc/loadavg: 7.11 7.88 7.96 9/184 25098
/proc/meminfo: memFree=29728484/32950928 swapFree=67111364/67111528
[pid=25085] ppid=25083 vsize=172460 CPUtime=12.26 cores=1,3,5,7
/proc/25085/stat : 25085 (claspmt) R 25083 25085 24218 0 -1 4202496 4283 0 1 0 1225 1 0 0 25 0 4 0 599727354 176599040 4120 33554432000 4194304 4964704 140734542923984 18446744073709551615 4628046 0 0 4096 18946 18446744073709551615 0 0 17 1 0 0 0
/proc/25085/statm: 43115 4120 460 189 0 37464 0
[pid=25085/tid=25093] ppid=25083 vsize=172460 CPUtime=3.06 cores=1,3,5,7
/proc/25085/task/25093/stat : 25093 (claspmt) R 25083 25085 24218 0 -1 4202560 760 0 0 0 306 0 0 0 25 0 4 0 599727357 176599040 4120 33554432000 4194304 4964704 140734542923984 18446744073709551615 4628046 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=25085/tid=25094] ppid=25083 vsize=172460 CPUtime=3.06 cores=1,3,5,7
/proc/25085/task/25094/stat : 25094 (claspmt) R 25083 25085 24218 0 -1 4202560 1453 0 0 0 306 0 0 0 25 0 4 0 599727357 176599040 4120 33554432000 4194304 4964704 140734542923984 18446744073709551615 4627254 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=25085/tid=25095] ppid=25083 vsize=172460 CPUtime=3.05 cores=1,3,5,7
/proc/25085/task/25095/stat : 25095 (claspmt) R 25083 25085 24218 0 -1 4202560 639 0 0 0 305 0 0 0 25 0 4 0 599727357 176599040 4120 33554432000 4194304 4964704 140734542923984 18446744073709551615 4670255 0 0 4096 18946 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 12.26
Current children cumulated vsize (KiB) 172460

[startup+6.30114 s]
/proc/loadavg: 7.26 7.89 7.96 10/184 25098
/proc/meminfo: memFree=29716824/32950928 swapFree=67111364/67111528
[pid=25085] ppid=25083 vsize=174480 CPUtime=25.05 cores=1,3,5,7
/proc/25085/stat : 25085 (claspmt) R 25083 25085 24218 0 -1 4202496 5224 0 1 0 2504 1 0 0 25 0 4 0 599727354 178667520 5061 33554432000 4194304 4964704 140734542923984 18446744073709551615 4670450 0 0 4096 18946 18446744073709551615 0 0 17 1 0 0 0
/proc/25085/statm: 43620 5061 460 189 0 37969 0
[pid=25085/tid=25093] ppid=25083 vsize=174480 CPUtime=6.26 cores=1,3,5,7
/proc/25085/task/25093/stat : 25093 (claspmt) R 25083 25085 24218 0 -1 4202560 1030 0 0 0 626 0 0 0 25 0 4 0 599727357 178667520 5061 33554432000 4194304 4964704 140734542923984 18446744073709551615 4670434 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=25085/tid=25094] ppid=25083 vsize=174480 CPUtime=6.26 cores=1,3,5,7
/proc/25085/task/25094/stat : 25094 (claspmt) R 25083 25085 24218 0 -1 4202560 1881 0 0 0 626 0 0 0 25 0 4 0 599727357 178667520 5061 33554432000 4194304 4964704 140734542923984 18446744073709551615 4668654 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=25085/tid=25095] ppid=25083 vsize=174480 CPUtime=6.23 cores=1,3,5,7
/proc/25085/task/25095/stat : 25095 (claspmt) R 25083 25085 24218 0 -1 4202560 718 0 0 0 623 0 0 0 25 0 4 0 599727357 178667520 5061 33554432000 4194304 4964704 140734542923984 18446744073709551615 4670193 0 0 4096 18946 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 25.05
Current children cumulated vsize (KiB) 174480

[startup+12.7009 s]
/proc/loadavg: 7.32 7.90 7.96 9/184 25099
/proc/meminfo: memFree=29693868/32950928 swapFree=67111364/67111528
[pid=25085] ppid=25083 vsize=176412 CPUtime=50.61 cores=1,3,5,7
/proc/25085/stat : 25085 (claspmt) R 25083 25085 24218 0 -1 4202496 6620 0 1 0 5059 2 0 0 25 0 4 0 599727354 180645888 6457 33554432000 4194304 4964704 140734542923984 18446744073709551615 4628060 0 0 4096 18946 18446744073709551615 0 0 17 1 0 0 0
/proc/25085/statm: 44103 6457 460 189 0 38452 0
[pid=25085/tid=25093] ppid=25083 vsize=176412 CPUtime=12.65 cores=1,3,5,7
/proc/25085/task/25093/stat : 25093 (claspmt) R 25083 25085 24218 0 -1 4202560 1581 0 0 0 1265 0 0 0 25 0 4 0 599727357 180645888 6457 33554432000 4194304 4964704 140734542923984 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=25085/tid=25094] ppid=25083 vsize=176412 CPUtime=12.65 cores=1,3,5,7
/proc/25085/task/25094/stat : 25094 (claspmt) R 25083 25085 24218 0 -1 4202560 2373 0 0 0 1265 0 0 0 25 0 4 0 599727357 180645888 6457 33554432000 4194304 4964704 140734542923984 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=25085/tid=25095] ppid=25083 vsize=176412 CPUtime=12.59 cores=1,3,5,7
/proc/25085/task/25095/stat : 25095 (claspmt) R 25083 25085 24218 0 -1 4202560 884 0 0 0 1259 0 0 0 20 0 4 0 599727357 180645888 6457 33554432000 4194304 4964704 140734542923984 18446744073709551615 4332341 0 0 4096 18946 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 50.61
Current children cumulated vsize (KiB) 176412

[startup+25.5005 s]
/proc/loadavg: 7.47 7.90 7.96 10/184 25099
/proc/meminfo: memFree=29665092/32950928 swapFree=67111364/67111528
[pid=25085] ppid=25083 vsize=177692 CPUtime=101.73 cores=1,3,5,7
/proc/25085/stat : 25085 (claspmt) R 25083 25085 24218 0 -1 4202496 7688 0 1 0 10171 2 0 0 25 0 4 0 599727354 181956608 7525 33554432000 4194304 4964704 140734542923984 18446744073709551615 4670228 0 0 4096 18946 18446744073709551615 0 0 17 1 0 0 0
/proc/25085/statm: 44423 7525 460 189 0 38772 0
[pid=25085/tid=25093] ppid=25083 vsize=177692 CPUtime=25.45 cores=1,3,5,7
/proc/25085/task/25093/stat : 25093 (claspmt) R 25083 25085 24218 0 -1 4202560 2042 0 0 0 2545 0 0 0 25 0 4 0 599727357 181956608 7525 33554432000 4194304 4964704 140734542923984 18446744073709551615 4668488 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=25085/tid=25094] ppid=25083 vsize=177692 CPUtime=25.45 cores=1,3,5,7
/proc/25085/task/25094/stat : 25094 (claspmt) R 25083 25085 24218 0 -1 4202560 2843 0 0 0 2545 0 0 0 25 0 4 0 599727357 181956608 7525 33554432000 4194304 4964704 140734542923984 18446744073709551615 4627168 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=25085/tid=25095] ppid=25083 vsize=177692 CPUtime=25.32 cores=1,3,5,7
/proc/25085/task/25095/stat : 25095 (claspmt) R 25083 25085 24218 0 -1 4202560 955 0 0 0 2532 0 0 0 25 0 4 0 599727357 181956608 7525 33554432000 4194304 4964704 140734542923984 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 101.73
Current children cumulated vsize (KiB) 177692

[startup+51.1007 s]
/proc/loadavg: 7.65 7.91 7.96 9/184 25100
/proc/meminfo: memFree=29638608/32950928 swapFree=67111364/67111528
[pid=25085] ppid=25083 vsize=179352 CPUtime=203.99 cores=1,3,5,7
/proc/25085/stat : 25085 (claspmt) R 25083 25085 24218 0 -1 4202496 9145 0 1 0 20394 5 0 0 25 0 4 0 599727354 183656448 8981 33554432000 4194304 4964704 140734542923984 18446744073709551615 4670184 0 0 4096 18946 18446744073709551615 0 0 17 1 0 0 0
/proc/25085/statm: 44838 8981 460 189 0 39187 0
[pid=25085/tid=25093] ppid=25083 vsize=179352 CPUtime=51.05 cores=1,3,5,7
/proc/25085/task/25093/stat : 25093 (claspmt) R 25083 25085 24218 0 -1 4202560 2611 0 0 0 5104 1 0 0 25 0 4 0 599727357 183656448 8981 33554432000 4194304 4964704 140734542923984 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=25085/tid=25094] ppid=25083 vsize=179352 CPUtime=51.05 cores=1,3,5,7
/proc/25085/task/25094/stat : 25094 (claspmt) R 25083 25085 24218 0 -1 4202560 3452 0 0 0 5104 1 0 0 25 0 4 0 599727357 183656448 8981 33554432000 4194304 4964704 140734542923984 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=25085/tid=25095] ppid=25083 vsize=179352 CPUtime=50.78 cores=1,3,5,7
/proc/25085/task/25095/stat : 25095 (claspmt) R 25083 25085 24218 0 -1 4202560 1144 0 0 0 5077 1 0 0 25 0 4 0 599727357 183656448 8981 33554432000 4194304 4964704 140734542923984 18446744073709551615 4670266 0 0 4096 18946 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 203.99
Current children cumulated vsize (KiB) 179352

[startup+102.301 s]
/proc/loadavg: 7.94 7.95 7.97 10/184 25101
/proc/meminfo: memFree=29595160/32950928 swapFree=67111364/67111528
[pid=25085] ppid=25083 vsize=181980 CPUtime=408.53 cores=1,3,5,7
/proc/25085/stat : 25085 (claspmt) R 25083 25085 24218 0 -1 4202496 10568 0 1 0 40845 8 0 0 25 0 4 0 599727354 186347520 10404 33554432000 4194304 4964704 140734542923984 18446744073709551615 4320905 0 0 4096 18946 18446744073709551615 0 0 17 1 0 0 0
/proc/25085/statm: 45495 10404 460 189 0 39844 0
[pid=25085/tid=25093] ppid=25083 vsize=181980 CPUtime=102.25 cores=1,3,5,7
/proc/25085/task/25093/stat : 25093 (claspmt) R 25083 25085 24218 0 -1 4202560 3304 0 0 0 10224 1 0 0 25 0 4 0 599727357 186347520 10404 33554432000 4194304 4964704 140734542923984 18446744073709551615 4670233 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=25085/tid=25094] ppid=25083 vsize=181980 CPUtime=102.26 cores=1,3,5,7
/proc/25085/task/25094/stat : 25094 (claspmt) R 25083 25085 24218 0 -1 4202560 4044 0 0 0 10224 2 0 0 25 0 4 0 599727357 186347520 10404 33554432000 4194304 4964704 140734542923984 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=25085/tid=25095] ppid=25083 vsize=181980 CPUtime=101.71 cores=1,3,5,7
/proc/25085/task/25095/stat : 25095 (claspmt) R 25083 25085 24218 0 -1 4202560 1232 0 0 0 10169 2 0 0 25 0 4 0 599727357 186347520 10404 33554432000 4194304 4964704 140734542923984 18446744073709551615 4320947 0 0 4096 18946 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 408.53
Current children cumulated vsize (KiB) 181980

[startup+162.301 s]
/proc/loadavg: 8.06 7.98 7.98 9/184 25103
/proc/meminfo: memFree=29575020/32950928 swapFree=67111364/67111528
[pid=25085] ppid=25083 vsize=184128 CPUtime=648.18 cores=1,3,5,7
/proc/25085/stat : 25085 (claspmt) R 25083 25085 24218 0 -1 4202496 11838 0 1 0 64806 12 0 0 25 0 4 0 599727354 188547072 11674 33554432000 4194304 4964704 140734542923984 18446744073709551615 4670228 0 0 4096 18946 18446744073709551615 0 0 17 1 0 0 0
/proc/25085/statm: 46032 11674 460 189 0 40381 0
[pid=25085/tid=25093] ppid=25083 vsize=184128 CPUtime=162.24 cores=1,3,5,7
/proc/25085/task/25093/stat : 25093 (claspmt) R 25083 25085 24218 0 -1 4202560 3895 0 0 0 16222 2 0 0 25 0 4 0 599727357 188547072 11674 33554432000 4194304 4964704 140734542923984 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=25085/tid=25094] ppid=25083 vsize=184128 CPUtime=162.25 cores=1,3,5,7
/proc/25085/task/25094/stat : 25094 (claspmt) R 25083 25085 24218 0 -1 4202560 4449 0 0 0 16222 3 0 0 25 0 4 0 599727357 188547072 11674 33554432000 4194304 4964704 140734542923984 18446744073709551615 4363610 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=25085/tid=25095] ppid=25083 vsize=184128 CPUtime=161.37 cores=1,3,5,7
/proc/25085/task/25095/stat : 25095 (claspmt) R 25083 25085 24218 0 -1 4202560 1359 0 0 0 16134 3 0 0 25 0 4 0 599727357 188547072 11674 33554432000 4194304 4964704 140734542923984 18446744073709551615 4320951 0 0 4096 18946 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 648.18
Current children cumulated vsize (KiB) 184128

[startup+222.306 s]
/proc/loadavg: 8.27 8.07 8.01 9/184 25107
/proc/meminfo: memFree=29561412/32950928 swapFree=67111364/67111528
[pid=25085] ppid=25083 vsize=184508 CPUtime=887.06 cores=1,3,5,7
/proc/25085/stat : 25085 (claspmt) R 25083 25085 24218 0 -1 4202496 12708 0 1 0 88691 15 0 0 25 0 4 0 599727354 188936192 12532 33554432000 4194304 4964704 140734542923984 18446744073709551615 4627197 0 0 4096 18946 18446744073709551615 0 0 17 1 0 0 0
/proc/25085/statm: 46127 12532 460 189 0 40476 0
[pid=25085/tid=25093] ppid=25083 vsize=184508 CPUtime=222.25 cores=1,3,5,7
/proc/25085/task/25093/stat : 25093 (claspmt) R 25083 25085 24218 0 -1 4202560 4359 0 0 0 22222 3 0 0 25 0 4 0 599727357 188936192 12532 33554432000 4194304 4964704 140734542923984 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=25085/tid=25094] ppid=25083 vsize=184508 CPUtime=221.44 cores=1,3,5,7
/proc/25085/task/25094/stat : 25094 (claspmt) R 25083 25085 24218 0 -1 4202560 4755 0 0 0 22140 4 0 0 19 0 4 0 599727357 188936192 12532 33554432000 4194304 4964704 140734542923984 18446744073709551615 4670252 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=25085/tid=25095] ppid=25083 vsize=184508 CPUtime=221.04 cores=1,3,5,7
/proc/25085/task/25095/stat : 25095 (claspmt) R 25083 25085 24218 0 -1 4202560 1422 0 0 0 22101 3 0 0 25 0 4 0 599727357 188936192 12532 33554432000 4194304 4964704 140734542923984 18446744073709551615 4668714 0 0 4096 18946 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 887.06
Current children cumulated vsize (KiB) 184508

[startup+282.301 s]

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

[pid=25085] ppid=25083 vsize=189368 CPUtime=2564.71 cores=1,3,5,7
/proc/25085/stat : 25085 (claspmt) R 25083 25085 24218 0 -1 4202496 16197 0 1 0 256434 37 0 0 25 0 4 0 599727354 193912832 16021 33554432000 4194304 4964704 140734542923984 18446744073709551615 4321025 0 0 4096 18946 18446744073709551615 0 0 17 1 0 0 0
/proc/25085/statm: 47342 16021 460 189 0 41691 0
[pid=25085/tid=25093] ppid=25083 vsize=189368 CPUtime=642.24 cores=1,3,5,7
/proc/25085/task/25093/stat : 25093 (claspmt) R 25083 25085 24218 0 -1 4202560 6582 0 0 0 64215 9 0 0 25 0 4 0 599727357 193912832 16021 33554432000 4194304 4964704 140734542923984 18446744073709551615 4670230 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=25085/tid=25094] ppid=25083 vsize=189368 CPUtime=641.42 cores=1,3,5,7
/proc/25085/task/25094/stat : 25094 (claspmt) R 25083 25085 24218 0 -1 4202560 5598 0 0 0 64131 11 0 0 25 0 4 0 599727357 193912832 16021 33554432000 4194304 4964704 140734542923984 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=25085/tid=25095] ppid=25083 vsize=189368 CPUtime=638.75 cores=1,3,5,7
/proc/25085/task/25095/stat : 25095 (claspmt) R 25083 25085 24218 0 -1 4202560 1615 0 0 0 63867 8 0 0 25 0 4 0 599727357 193912832 16021 33554432000 4194304 4964704 140734542923984 18446744073709551615 4670250 0 0 4096 18946 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2564.71
Current children cumulated vsize (KiB) 189368

[startup+702.301 s]
/proc/loadavg: 8.10 8.07 8.01 9/184 25120
/proc/meminfo: memFree=29484360/32950928 swapFree=67111364/67111528
[pid=25085] ppid=25083 vsize=189528 CPUtime=2804.38 cores=1,3,5,7
/proc/25085/stat : 25085 (claspmt) R 25083 25085 24218 0 -1 4202496 16660 0 1 0 280398 40 0 0 25 0 4 0 599727354 194076672 16484 33554432000 4194304 4964704 140734542923984 18446744073709551615 4659128 0 0 4096 18946 18446744073709551615 0 0 17 1 0 0 0
/proc/25085/statm: 47382 16484 460 189 0 41731 0
[pid=25085/tid=25093] ppid=25083 vsize=189528 CPUtime=702.24 cores=1,3,5,7
/proc/25085/task/25093/stat : 25093 (claspmt) R 25083 25085 24218 0 -1 4202560 6842 0 0 0 70214 10 0 0 25 0 4 0 599727357 194076672 16484 33554432000 4194304 4964704 140734542923984 18446744073709551615 4670277 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=25085/tid=25094] ppid=25083 vsize=189528 CPUtime=701.42 cores=1,3,5,7
/proc/25085/task/25094/stat : 25094 (claspmt) R 25083 25085 24218 0 -1 4202560 5780 0 0 0 70130 12 0 0 25 0 4 0 599727357 194076672 16484 33554432000 4194304 4964704 140734542923984 18446744073709551615 4627248 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=25085/tid=25095] ppid=25083 vsize=189528 CPUtime=698.43 cores=1,3,5,7
/proc/25085/task/25095/stat : 25095 (claspmt) R 25083 25085 24218 0 -1 4202560 1620 0 0 0 69834 9 0 0 25 0 4 0 599727357 194076672 16484 33554432000 4194304 4964704 140734542923984 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2804.38
Current children cumulated vsize (KiB) 189528

[startup+762.301 s]
/proc/loadavg: 8.09 8.07 8.01 10/184 25122
/proc/meminfo: memFree=29479956/32950928 swapFree=67111364/67111528
[pid=25085] ppid=25083 vsize=189960 CPUtime=3044.07 cores=1,3,5,7
/proc/25085/stat : 25085 (claspmt) R 25083 25085 24218 0 -1 4202496 16964 0 1 0 304364 43 0 0 25 0 4 0 599727354 194519040 16788 33554432000 4194304 4964704 140734542923984 18446744073709551615 4320916 0 0 4096 18946 18446744073709551615 0 0 17 1 0 0 0
/proc/25085/statm: 47490 16788 460 189 0 41839 0
[pid=25085/tid=25093] ppid=25083 vsize=189960 CPUtime=762.25 cores=1,3,5,7
/proc/25085/task/25093/stat : 25093 (claspmt) R 25083 25085 24218 0 -1 4202560 7097 0 0 0 76214 11 0 0 25 0 4 0 599727357 194519040 16788 33554432000 4194304 4964704 140734542923984 18446744073709551615 4627461 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=25085/tid=25094] ppid=25083 vsize=189960 CPUtime=761.42 cores=1,3,5,7
/proc/25085/task/25094/stat : 25094 (claspmt) R 25083 25085 24218 0 -1 4202560 5790 0 0 0 76129 13 0 0 25 0 4 0 599727357 194519040 16788 33554432000 4194304 4964704 140734542923984 18446744073709551615 4668488 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=25085/tid=25095] ppid=25083 vsize=189960 CPUtime=758.1 cores=1,3,5,7
/proc/25085/task/25095/stat : 25095 (claspmt) R 25083 25085 24218 0 -1 4202560 1659 0 0 0 75801 9 0 0 25 0 4 0 599727357 194519040 16788 33554432000 4194304 4964704 140734542923984 18446744073709551615 4660345 0 0 4096 18946 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3044.07
Current children cumulated vsize (KiB) 189960

[startup+822.3 s]
/proc/loadavg: 8.08 8.07 8.01 10/184 25123
/proc/meminfo: memFree=29478552/32950928 swapFree=67111364/67111528
[pid=25085] ppid=25083 vsize=190296 CPUtime=3283.72 cores=1,3,5,7
/proc/25085/stat : 25085 (claspmt) R 25083 25085 24218 0 -1 4202496 17122 0 1 0 328326 46 0 0 25 0 4 0 599727354 194863104 16946 33554432000 4194304 4964704 140734542923984 18446744073709551615 4321079 0 0 4096 18946 18446744073709551615 0 0 17 1 0 0 0
/proc/25085/statm: 47574 16946 460 189 0 41923 0
[pid=25085/tid=25093] ppid=25083 vsize=190296 CPUtime=822.25 cores=1,3,5,7
/proc/25085/task/25093/stat : 25093 (claspmt) R 25083 25085 24218 0 -1 4202560 7209 0 0 0 82213 12 0 0 25 0 4 0 599727357 194863104 16946 33554432000 4194304 4964704 140734542923984 18446744073709551615 4647512 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=25085/tid=25094] ppid=25083 vsize=190296 CPUtime=821.41 cores=1,3,5,7
/proc/25085/task/25094/stat : 25094 (claspmt) R 25083 25085 24218 0 -1 4202560 5805 0 0 0 82128 13 0 0 25 0 4 0 599727357 194863104 16946 33554432000 4194304 4964704 140734542923984 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=25085/tid=25095] ppid=25083 vsize=190296 CPUtime=817.78 cores=1,3,5,7
/proc/25085/task/25095/stat : 25095 (claspmt) R 25083 25085 24218 0 -1 4202560 1685 0 0 0 81768 10 0 0 25 0 4 0 599727357 194863104 16946 33554432000 4194304 4964704 140734542923984 18446744073709551615 4668629 0 0 4096 18946 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3283.72
Current children cumulated vsize (KiB) 190296

[startup+882.307 s]
/proc/loadavg: 8.08 8.07 8.01 9/184 25125
/proc/meminfo: memFree=29472044/32950928 swapFree=67111364/67111528
[pid=25085] ppid=25083 vsize=256372 CPUtime=3523.41 cores=1,3,5,7
/proc/25085/stat : 25085 (claspmt) R 25083 25085 24218 0 -1 4202496 18482 0 1 0 352293 48 0 0 25 0 4 0 599727354 262524928 18254 33554432000 4194304 4964704 140734542923984 18446744073709551615 4669112 0 0 4096 18946 18446744073709551615 0 0 17 1 0 0 0
/proc/25085/statm: 64093 18254 460 189 0 58442 0
[pid=25085/tid=25093] ppid=25083 vsize=256372 CPUtime=882.25 cores=1,3,5,7
/proc/25085/task/25093/stat : 25093 (claspmt) R 25083 25085 24218 0 -1 4202560 7623 0 0 0 88213 12 0 0 25 0 4 0 599727357 262524928 18254 33554432000 4194304 4964704 140734542923984 18446744073709551615 4670250 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=25085/tid=25094] ppid=25083 vsize=256372 CPUtime=881.42 cores=1,3,5,7
/proc/25085/task/25094/stat : 25094 (claspmt) R 25083 25085 24218 0 -1 4202560 6324 0 0 0 88128 14 0 0 25 0 4 0 599727357 262524928 18254 33554432000 4194304 4964704 140734542923984 18446744073709551615 4321016 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=25085/tid=25095] ppid=25083 vsize=256372 CPUtime=877.45 cores=1,3,5,7
/proc/25085/task/25095/stat : 25095 (claspmt) R 25083 25085 24218 0 -1 4202560 1746 0 0 0 87735 10 0 0 25 0 4 0 599727357 262524928 18254 33554432000 4194304 4964704 140734542923984 18446744073709551615 4627362 0 0 4096 18946 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3523.41
Current children cumulated vsize (KiB) 256372

[startup+942.301 s]
/proc/loadavg: 8.07 8.07 8.01 9/184 25126
/proc/meminfo: memFree=29468644/32950928 swapFree=67111364/67111528
[pid=25085] ppid=25083 vsize=256896 CPUtime=3763.06 cores=1,3,5,7
/proc/25085/stat : 25085 (claspmt) R 25083 25085 24218 0 -1 4202496 19032 0 1 0 376257 49 0 0 25 0 4 0 599727354 263061504 18804 33554432000 4194304 4964704 140734542923984 18446744073709551615 4320953 0 0 4096 18946 18446744073709551615 0 0 17 1 0 0 0
/proc/25085/statm: 64224 18804 460 189 0 58573 0
[pid=25085/tid=25093] ppid=25083 vsize=256896 CPUtime=942.24 cores=1,3,5,7
/proc/25085/task/25093/stat : 25093 (claspmt) R 25083 25085 24218 0 -1 4202560 7897 0 0 0 94212 12 0 0 25 0 4 0 599727357 263061504 18804 33554432000 4194304 4964704 140734542923984 18446744073709551615 4670255 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=25085/tid=25094] ppid=25083 vsize=256896 CPUtime=941.4 cores=1,3,5,7
/proc/25085/task/25094/stat : 25094 (claspmt) R 25083 25085 24218 0 -1 4202560 6478 0 0 0 94126 14 0 0 25 0 4 0 599727357 263061504 18804 33554432000 4194304 4964704 140734542923984 18446744073709551615 4325305 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=25085/tid=25095] ppid=25083 vsize=256896 CPUtime=937.11 cores=1,3,5,7
/proc/25085/task/25095/stat : 25095 (claspmt) R 25083 25085 24218 0 -1 4202560 1767 0 0 0 93701 10 0 0 25 0 4 0 599727357 263061504 18804 33554432000 4194304 4964704 140734542923984 18446744073709551615 4627338 0 0 4096 18946 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3763.06
Current children cumulated vsize (KiB) 256896

[startup+1002.3 s]
/proc/loadavg: 8.02 8.05 8.01 9/184 25128
/proc/meminfo: memFree=29465860/32950928 swapFree=67111364/67111528
[pid=25085] ppid=25083 vsize=257328 CPUtime=4002.74 cores=1,3,5,7
/proc/25085/stat : 25085 (claspmt) R 25083 25085 24218 0 -1 4202496 19318 0 1 0 400222 52 0 0 25 0 4 0 599727354 263503872 19090 33554432000 4194304 4964704 140734542923984 18446744073709551615 4320849 0 0 4096 18946 18446744073709551615 0 0 17 1 0 0 0
/proc/25085/statm: 64332 19090 460 189 0 58681 0
[pid=25085/tid=25093] ppid=25083 vsize=257328 CPUtime=1002.25 cores=1,3,5,7
/proc/25085/task/25093/stat : 25093 (claspmt) R 25083 25085 24218 0 -1 4202560 8057 0 0 0 100212 13 0 0 25 0 4 0 599727357 263503872 19090 33554432000 4194304 4964704 140734542923984 18446744073709551615 4668657 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=25085/tid=25094] ppid=25083 vsize=257328 CPUtime=1001.4 cores=1,3,5,7
/proc/25085/task/25094/stat : 25094 (claspmt) R 25083 25085 24218 0 -1 4202560 6506 0 0 0 100126 14 0 0 25 0 4 0 599727357 263503872 19090 33554432000 4194304 4964704 140734542923984 18446744073709551615 4627335 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=25085/tid=25095] ppid=25083 vsize=257328 CPUtime=996.79 cores=1,3,5,7
/proc/25085/task/25095/stat : 25095 (claspmt) R 25083 25085 24218 0 -1 4202560 1834 0 0 0 99668 11 0 0 25 0 4 0 599727357 263503872 19090 33554432000 4194304 4964704 140734542923984 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4002.74
Current children cumulated vsize (KiB) 257328

[startup+1062.3 s]
/proc/loadavg: 8.01 8.04 8.00 9/184 25130
/proc/meminfo: memFree=29459352/32950928 swapFree=67111364/67111528
[pid=25085] ppid=25083 vsize=257740 CPUtime=4242.42 cores=1,3,5,7
/proc/25085/stat : 25085 (claspmt) R 25083 25085 24218 0 -1 4202496 19524 0 1 0 424188 54 0 0 25 0 4 0 599727354 263925760 19296 33554432000 4194304 4964704 140734542923984 18446744073709551615 4653356 0 0 4096 18946 18446744073709551615 0 0 17 1 0 0 0
/proc/25085/statm: 64435 19296 460 189 0 58784 0
[pid=25085/tid=25093] ppid=25083 vsize=257740 CPUtime=1062.26 cores=1,3,5,7
/proc/25085/task/25093/stat : 25093 (claspmt) R 25083 25085 24218 0 -1 4202560 8104 0 0 0 106212 14 0 0 25 0 4 0 599727357 263925760 19296 33554432000 4194304 4964704 140734542923984 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=25085/tid=25094] ppid=25083 vsize=257740 CPUtime=1061.41 cores=1,3,5,7
/proc/25085/task/25094/stat : 25094 (claspmt) R 25083 25085 24218 0 -1 4202560 6607 0 0 0 106126 15 0 0 25 0 4 0 599727357 263925760 19296 33554432000 4194304 4964704 140734542923984 18446744073709551615 4320909 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=25085/tid=25095] ppid=25083 vsize=257740 CPUtime=1056.47 cores=1,3,5,7
/proc/25085/task/25095/stat : 25095 (claspmt) R 25083 25085 24218 0 -1 4202560 1881 0 0 0 105635 12 0 0 25 0 4 0 599727357 263925760 19296 33554432000 4194304 4964704 140734542923984 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4242.42
Current children cumulated vsize (KiB) 257740

[startup+1122.3 s]
/proc/loadavg: 8.04 8.05 8.00 10/184 25131
/proc/meminfo: memFree=29457428/32950928 swapFree=67111364/67111528
[pid=25085] ppid=25083 vsize=257740 CPUtime=4482.09 cores=1,3,5,7
/proc/25085/stat : 25085 (claspmt) R 25083 25085 24218 0 -1 4202496 19713 0 1 0 448154 55 0 0 25 0 4 0 599727354 263925760 19485 33554432000 4194304 4964704 140734542923984 18446744073709551615 4670228 0 0 4096 18946 18446744073709551615 0 0 17 1 0 0 0
/proc/25085/statm: 64435 19485 460 189 0 58784 0
[pid=25085/tid=25093] ppid=25083 vsize=257740 CPUtime=1122.25 cores=1,3,5,7
/proc/25085/task/25093/stat : 25093 (claspmt) R 25083 25085 24218 0 -1 4202560 8129 0 0 0 112211 14 0 0 25 0 4 0 599727357 263925760 19485 33554432000 4194304 4964704 140734542923984 18446744073709551615 4670176 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=25085/tid=25094] ppid=25083 vsize=257740 CPUtime=1121.41 cores=1,3,5,7
/proc/25085/task/25094/stat : 25094 (claspmt) R 25083 25085 24218 0 -1 4202560 6635 0 0 0 112126 15 0 0 25 0 4 0 599727357 263925760 19485 33554432000 4194304 4964704 140734542923984 18446744073709551615 4659712 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=25085/tid=25095] ppid=25083 vsize=257740 CPUtime=1116.13 cores=1,3,5,7
/proc/25085/task/25095/stat : 25095 (claspmt) R 25083 25085 24218 0 -1 4202560 1964 0 0 0 111601 12 0 0 25 0 4 0 599727357 263925760 19485 33554432000 4194304 4964704 140734542923984 18446744073709551615 4320963 0 0 4096 18946 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4482.09
Current children cumulated vsize (KiB) 257740

[startup+1182.3 s]
/proc/loadavg: 8.12 8.07 8.01 10/184 25133
/proc/meminfo: memFree=29448696/32950928 swapFree=67111364/67111528
[pid=25085] ppid=25083 vsize=257740 CPUtime=4721.76 cores=1,3,5,7
/proc/25085/stat : 25085 (claspmt) R 25083 25085 24218 0 -1 4202496 19796 0 1 0 472120 56 0 0 25 0 4 0 599727354 263925760 19568 33554432000 4194304 4964704 140734542923984 18446744073709551615 4627851 0 0 4096 18946 18446744073709551615 0 0 17 1 0 0 0
/proc/25085/statm: 64435 19568 460 189 0 58784 0
[pid=25085/tid=25093] ppid=25083 vsize=257740 CPUtime=1182.25 cores=1,3,5,7
/proc/25085/task/25093/stat : 25093 (claspmt) R 25083 25085 24218 0 -1 4202560 8157 0 0 0 118211 14 0 0 25 0 4 0 599727357 263925760 19568 33554432000 4194304 4964704 140734542923984 18446744073709551615 4660046 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=25085/tid=25094] ppid=25083 vsize=257740 CPUtime=1181.4 cores=1,3,5,7
/proc/25085/task/25094/stat : 25094 (claspmt) R 25083 25085 24218 0 -1 4202560 6660 0 0 0 118125 15 0 0 25 0 4 0 599727357 263925760 19568 33554432000 4194304 4964704 140734542923984 18446744073709551615 4670454 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=25085/tid=25095] ppid=25083 vsize=257740 CPUtime=1175.82 cores=1,3,5,7
/proc/25085/task/25095/stat : 25095 (claspmt) R 25083 25085 24218 0 -1 4202560 1969 0 0 0 117569 13 0 0 25 0 4 0 599727357 263925760 19568 33554432000 4194304 4964704 140734542923984 18446744073709551615 4670248 0 0 4096 18946 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4721.76
Current children cumulated vsize (KiB) 257740



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.9 s]
/proc/loadavg: 8.09 8.06 8.00 9/184 25133
/proc/meminfo: memFree=29447924/32950928 swapFree=67111364/67111528
[pid=25085] ppid=25083 vsize=257740 CPUtime=4800.07 cores=1,3,5,7
/proc/25085/stat : 25085 (claspmt) R 25083 25085 24218 0 -1 4202496 19871 0 1 0 479951 56 0 0 25 0 4 0 599727354 263925760 19643 33554432000 4194304 4964704 140734542923984 18446744073709551615 4627290 0 0 4096 18946 18446744073709551615 0 0 17 1 0 0 0
/proc/25085/statm: 64435 19643 460 189 0 58784 0
[pid=25085/tid=25093] ppid=25083 vsize=257740 CPUtime=1201.85 cores=1,3,5,7
/proc/25085/task/25093/stat : 25093 (claspmt) R 25083 25085 24218 0 -1 4202560 8204 0 0 0 120171 14 0 0 25 0 4 0 599727357 263925760 19643 33554432000 4194304 4964704 140734542923984 18446744073709551615 4320909 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=25085/tid=25094] ppid=25083 vsize=257740 CPUtime=1201.01 cores=1,3,5,7
/proc/25085/task/25094/stat : 25094 (claspmt) R 25083 25085 24218 0 -1 4202560 6665 0 0 0 120086 15 0 0 25 0 4 0 599727357 263925760 19643 33554432000 4194304 4964704 140734542923984 18446744073709551615 4670243 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=25085/tid=25095] ppid=25083 vsize=257740 CPUtime=1195.31 cores=1,3,5,7
/proc/25085/task/25095/stat : 25095 (claspmt) R 25083 25085 24218 0 -1 4202560 1992 0 0 0 119518 13 0 0 25 0 4 0 599727357 263925760 19643 33554432000 4194304 4964704 140734542923984 18446744073709551615 4670243 0 0 4096 18946 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4800.07
Current children cumulated vsize (KiB) 257740

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

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

Child status: 0
Real time (s): 1201.93
CPU time (s): 4800.12
CPU user time (s): 4799.55
CPU system time (s): 0.572912
CPU usage (%): 399.369
Max. virtual memory (cumulated for all children) (KiB): 257740

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4799.55
system time used= 0.572912
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 19883
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 46605
involuntary context switches= 31481

runsolver used 1.9827 second user time and 4.5733 second system time

The end

Launcher Data 

Begin job on node115 at 2011-04-29 18:36:07
IDJOB=3299535
IDBENCH=83356
IDSOLVER=1683
FILE ID=node115/3299535-1304094967
RUNJOBID= node115-1304094967-25072
PBS_JOBID= 13170560
Free space on /tmp= 72732 MiB

SOLVER NAME= claspmt 2.0-R4095
BENCH NAME= SAT11/crafted/kullmann/VanDerWaerden/VanderWaerden3k/VanDerWaerden_2-3-14_186.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-3299535-1304094967/watcher-3299535-1304094967 -o /tmp/evaluation-result-3299535-1304094967/solver-3299535-1304094967 -C 4800 -W 1300 -M 15500  HOME/claspmt -t4 -p HOME/sat11-port.txt --distribute=all,2 HOME/instance-3299535-1304094967.cnf

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

MD5SUM BENCH= 642fce7e30a701c3223fa5771c2e57dc
RANDOM SEED=1291184584

node115.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.811
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.62
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.811
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.811
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.75
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.811
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.811
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.77
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.811
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.811
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.811
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.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      29759580 kB
Buffers:        793840 kB
Cached:        1904216 kB
SwapCached:          0 kB
Active:         152728 kB
Inactive:      2612440 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      29759580 kB
SwapTotal:    67111528 kB
SwapFree:     67111364 kB
Dirty:            1316 kB
Writeback:           0 kB
AnonPages:       67272 kB
Mapped:          14408 kB
Slab:           362336 kB
PageTables:       4856 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:   190556 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= 72728 MiB
End job on node115 at 2011-04-29 18:56:11