Trace number 3299652

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.45 1203.01

General information on the benchmark

NameCRAFTED/rbsat/random/unforced/
rbsat-v2400c266431g3.cnf
MD5SUM231f625a25c77518fbce98fe99f807b5
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 variables2400
Number of clauses266431
Sum of the clauses size535112
Maximum clause length32
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 2266356
Number of clauses of size 30
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 575

Solver Data 

0.00/0.00	c clasp version 2.0.0-RC2
0.00/0.00	c Reading from ...048527/instance-3299652-1304048527.cnf
1.29/1.39	c Solving...
4800.22/1202.81	
4800.22/1202.81	*** INTERRUPTED! ***
4800.22/1202.81	*** Shutting down threads...
4800.43/1203.01	s UNKNOWN
4800.43/1203.01	
4800.43/1203.01	c INTERRUPTED   : 1
4800.43/1203.01	c Models        : 0+    
4800.43/1203.01	c Time          : 1202.811s (Solving: 1201.42s 1st Model: 0.00s Unsat: 0.00s)
4800.43/1203.01	c CPU Time      : 4800.250s

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

running on 4 cores: 0,2,4,6

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


[startup+0 s]
/proc/loadavg: 3.76 3.98 3.98 2/177 30276
/proc/meminfo: memFree=15145376/32950928 swapFree=67111528/67111528
[pid=30276] ppid=30274 vsize=21964 CPUtime=0 cores=0,2,4,6
/proc/30276/stat : 30276 (claspmt) R 30274 30276 27798 0 -1 4202496 791 0 0 0 0 0 0 0 25 0 1 0 516452372 22491136 703 33554432000 4194304 4964704 140733256078480 18446744073709551615 274473967360 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/30276/statm: 5491 704 385 189 0 365 0

[startup+0.0407481 s]
/proc/loadavg: 3.76 3.98 3.98 2/177 30276
/proc/meminfo: memFree=15145376/32950928 swapFree=67111528/67111528
[pid=30276] ppid=30274 vsize=28724 CPUtime=0.03 cores=0,2,4,6
/proc/30276/stat : 30276 (claspmt) R 30274 30276 27798 0 -1 4202496 3171 0 0 0 3 0 0 0 25 0 1 0 516452372 29413376 2339 33554432000 4194304 4964704 140733256078480 18446744073709551615 274473628357 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/30276/statm: 7181 2340 385 189 0 2055 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 28724

[startup+0.100728 s]
/proc/loadavg: 3.76 3.98 3.98 2/177 30276
/proc/meminfo: memFree=15145376/32950928 swapFree=67111528/67111528
[pid=30276] ppid=30274 vsize=37908 CPUtime=0.09 cores=0,2,4,6
/proc/30276/stat : 30276 (claspmt) R 30274 30276 27798 0 -1 4202496 5842 0 0 0 9 0 0 0 25 0 1 0 516452372 38817792 4581 33554432000 4194304 4964704 140733256078480 18446744073709551615 4607622 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/30276/statm: 9477 4581 398 189 0 4351 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 37908

[startup+0.300684 s]
/proc/loadavg: 3.76 3.98 3.98 2/177 30276
/proc/meminfo: memFree=15145376/32950928 swapFree=67111528/67111528
[pid=30276] ppid=30274 vsize=37908 CPUtime=0.29 cores=0,2,4,6
/proc/30276/stat : 30276 (claspmt) R 30274 30276 27798 0 -1 4202496 5842 0 0 0 29 0 0 0 25 0 1 0 516452372 38817792 4581 33554432000 4194304 4964704 140733256078480 18446744073709551615 4607757 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/30276/statm: 9477 4581 398 189 0 4351 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 37908

[startup+0.700568 s]
/proc/loadavg: 3.76 3.98 3.98 2/177 30276
/proc/meminfo: memFree=15145376/32950928 swapFree=67111528/67111528
[pid=30276] ppid=30274 vsize=38040 CPUtime=0.69 cores=0,2,4,6
/proc/30276/stat : 30276 (claspmt) R 30274 30276 27798 0 -1 4202496 5876 0 0 0 69 0 0 0 25 0 1 0 516452372 38952960 4615 33554432000 4194304 4964704 140733256078480 18446744073709551615 4600392 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/30276/statm: 9510 4615 399 189 0 4384 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 38040

[startup+1.50036 s]
/proc/loadavg: 3.76 3.98 3.98 6/181 30280
/proc/meminfo: memFree=15111368/32950928 swapFree=67111528/67111528
[pid=30276] ppid=30274 vsize=185868 CPUtime=1.79 cores=0,2,4,6
/proc/30276/stat : 30276 (claspmt) R 30274 30276 27798 0 -1 4202496 8109 0 0 0 178 1 0 0 25 0 4 0 516452372 190328832 6321 33554432000 4194304 4964704 140733256078480 18446744073709551615 4670291 0 0 4096 18946 18446744073709551615 0 0 17 6 0 0 0
/proc/30276/statm: 46467 6321 458 189 0 40816 0
Current children cumulated CPU time (s) 1.79
Current children cumulated vsize (KiB) 185868

[startup+3.10108 s]
/proc/loadavg: 4.10 4.05 4.00 9/184 30283
/proc/meminfo: memFree=15090640/32950928 swapFree=67111528/67111528
[pid=30276] ppid=30274 vsize=185868 CPUtime=8.18 cores=0,2,4,6
/proc/30276/stat : 30276 (claspmt) R 30274 30276 27798 0 -1 4202496 12321 0 0 0 815 3 0 0 25 0 4 0 516452372 190328832 10533 33554432000 4194304 4964704 140733256078480 18446744073709551615 4320944 0 0 4096 18946 18446744073709551615 0 0 17 6 0 0 0
/proc/30276/statm: 46467 10533 458 189 0 40816 0
[pid=30276/tid=30281] ppid=30274 vsize=185868 CPUtime=1.68 cores=0,2,4,6
/proc/30276/task/30281/stat : 30281 (claspmt) R 30274 30276 27798 0 -1 4202560 1291 0 0 0 168 0 0 0 25 0 4 0 516452511 190328832 10533 33554432000 4194304 4964704 140733256078480 18446744073709551615 4627536 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=30276/tid=30282] ppid=30274 vsize=185868 CPUtime=1.69 cores=0,2,4,6
/proc/30276/task/30282/stat : 30282 (claspmt) R 30274 30276 27798 0 -1 4202560 1637 0 0 0 169 0 0 0 25 0 4 0 516452511 190328832 10533 33554432000 4194304 4964704 140733256078480 18446744073709551615 4668488 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=30276/tid=30283] ppid=30274 vsize=185868 CPUtime=1.69 cores=0,2,4,6
/proc/30276/task/30283/stat : 30283 (claspmt) R 30274 30276 27798 0 -1 4202560 1382 0 0 0 169 0 0 0 20 0 4 0 516452511 190328832 10533 33554432000 4194304 4964704 140733256078480 18446744073709551615 4668904 0 0 4096 18946 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 8.18
Current children cumulated vsize (KiB) 185868

[startup+6.30051 s]
/proc/loadavg: 4.10 4.05 4.00 9/184 30283
/proc/meminfo: memFree=15042892/32950928 swapFree=67111528/67111528
[pid=30276] ppid=30274 vsize=196548 CPUtime=20.96 cores=0,2,4,6
/proc/30276/stat : 30276 (claspmt) R 30274 30276 27798 0 -1 4202496 19192 0 0 0 2089 7 0 0 25 0 4 0 516452372 201265152 17404 33554432000 4194304 4964704 140733256078480 18446744073709551615 4628046 0 0 4096 18946 18446744073709551615 0 0 17 6 0 0 0
/proc/30276/statm: 49137 17404 460 189 0 43486 0
[pid=30276/tid=30281] ppid=30274 vsize=196548 CPUtime=4.88 cores=0,2,4,6
/proc/30276/task/30281/stat : 30281 (claspmt) R 30274 30276 27798 0 -1 4202560 3022 0 0 0 487 1 0 0 25 0 4 0 516452511 201265152 17404 33554432000 4194304 4964704 140733256078480 18446744073709551615 4342149 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=30276/tid=30282] ppid=30274 vsize=196548 CPUtime=4.9 cores=0,2,4,6
/proc/30276/task/30282/stat : 30282 (claspmt) R 30274 30276 27798 0 -1 4202560 3555 0 0 0 489 1 0 0 25 0 4 0 516452511 201265152 17404 33554432000 4194304 4964704 140733256078480 18446744073709551615 4660043 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=30276/tid=30283] ppid=30274 vsize=196548 CPUtime=4.9 cores=0,2,4,6
/proc/30276/task/30283/stat : 30283 (claspmt) R 30274 30276 27798 0 -1 4202560 2977 0 0 0 489 1 0 0 25 0 4 0 516452511 201265152 17404 33554432000 4194304 4964704 140733256078480 18446744073709551615 4627204 0 0 4096 18946 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 20.96
Current children cumulated vsize (KiB) 196548

[startup+12.7004 s]
/proc/loadavg: 4.70 4.18 4.04 9/184 30284
/proc/meminfo: memFree=14970820/32950928 swapFree=67111528/67111528
[pid=30276] ppid=30274 vsize=212828 CPUtime=46.52 cores=0,2,4,6
/proc/30276/stat : 30276 (claspmt) R 30274 30276 27798 0 -1 4202496 31264 0 0 0 4641 11 0 0 25 0 4 0 516452372 217935872 29476 33554432000 4194304 4964704 140733256078480 18446744073709551615 4670248 0 0 4096 18946 18446744073709551615 0 0 17 6 0 0 0
/proc/30276/statm: 53207 29476 460 189 0 47556 0
[pid=30276/tid=30281] ppid=30274 vsize=212828 CPUtime=11.29 cores=0,2,4,6
/proc/30276/task/30281/stat : 30281 (claspmt) R 30274 30276 27798 0 -1 4202560 6243 0 0 0 1126 3 0 0 25 0 4 0 516452511 217935872 29476 33554432000 4194304 4964704 140733256078480 18446744073709551615 4632378 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=30276/tid=30282] ppid=30274 vsize=212828 CPUtime=11.29 cores=0,2,4,6
/proc/30276/task/30282/stat : 30282 (claspmt) R 30274 30276 27798 0 -1 4202560 7046 0 0 0 1127 2 0 0 25 0 4 0 516452511 217935872 29476 33554432000 4194304 4964704 140733256078480 18446744073709551615 4627204 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=30276/tid=30283] ppid=30274 vsize=212828 CPUtime=11.3 cores=0,2,4,6
/proc/30276/task/30283/stat : 30283 (claspmt) R 30274 30276 27798 0 -1 4202560 5550 0 0 0 1128 2 0 0 25 0 4 0 516452511 217935872 29476 33554432000 4194304 4964704 140733256078480 18446744073709551615 4320909 0 0 4096 18946 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 46.52
Current children cumulated vsize (KiB) 212828

[startup+25.5011 s]
/proc/loadavg: 5.21 4.30 4.09 9/184 30284
/proc/meminfo: memFree=14909196/32950928 swapFree=67111528/67111528
[pid=30276] ppid=30274 vsize=226296 CPUtime=97.65 cores=0,2,4,6
/proc/30276/stat : 30276 (claspmt) R 30274 30276 27798 0 -1 4202496 39435 0 0 0 9750 15 0 0 25 0 4 0 516452372 231727104 37647 33554432000 4194304 4964704 140733256078480 18446744073709551615 4670248 0 0 4096 18946 18446744073709551615 0 0 17 6 0 0 0
/proc/30276/statm: 56574 37647 460 189 0 50923 0
[pid=30276/tid=30281] ppid=30274 vsize=226296 CPUtime=24.07 cores=0,2,4,6
/proc/30276/task/30281/stat : 30281 (claspmt) R 30274 30276 27798 0 -1 4202560 8601 0 0 0 2403 4 0 0 25 0 4 0 516452511 231727104 37647 33554432000 4194304 4964704 140733256078480 18446744073709551615 4327104 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=30276/tid=30282] ppid=30274 vsize=226296 CPUtime=24.09 cores=0,2,4,6
/proc/30276/task/30282/stat : 30282 (claspmt) R 30274 30276 27798 0 -1 4202560 9348 0 0 0 2407 2 0 0 25 0 4 0 516452511 231727104 37647 33554432000 4194304 4964704 140733256078480 18446744073709551615 4670100 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=30276/tid=30283] ppid=30274 vsize=226296 CPUtime=24.09 cores=0,2,4,6
/proc/30276/task/30283/stat : 30283 (claspmt) R 30274 30276 27798 0 -1 4202560 7117 0 0 0 2407 2 0 0 25 0 4 0 516452511 231727104 37647 33554432000 4194304 4964704 140733256078480 18446744073709551615 4324775 0 0 4096 18946 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 97.65
Current children cumulated vsize (KiB) 226296

[startup+51.1006 s]
/proc/loadavg: 6.16 4.60 4.19 9/184 30285
/proc/meminfo: memFree=14822584/32950928 swapFree=67111528/67111528
[pid=30276] ppid=30274 vsize=379616 CPUtime=199.89 cores=0,2,4,6
/proc/30276/stat : 30276 (claspmt) R 30274 30276 27798 0 -1 4202496 56772 0 0 0 19963 26 0 0 25 0 4 0 516452372 388726784 54984 33554432000 4194304 4964704 140733256078480 18446744073709551615 4670228 0 0 4096 18946 18446744073709551615 0 0 17 6 0 0 0
/proc/30276/statm: 94904 54984 460 189 0 89253 0
[pid=30276/tid=30281] ppid=30274 vsize=379616 CPUtime=49.66 cores=0,2,4,6
/proc/30276/task/30281/stat : 30281 (claspmt) R 30274 30276 27798 0 -1 4202560 13508 0 0 0 4959 7 0 0 25 0 4 0 516452511 388726784 54984 33554432000 4194304 4964704 140733256078480 18446744073709551615 4668508 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=30276/tid=30282] ppid=30274 vsize=379616 CPUtime=49.7 cores=0,2,4,6
/proc/30276/task/30282/stat : 30282 (claspmt) R 30274 30276 27798 0 -1 4202560 14027 0 0 0 4965 5 0 0 25 0 4 0 516452511 388726784 54984 33554432000 4194304 4964704 140733256078480 18446744073709551615 4670419 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=30276/tid=30283] ppid=30274 vsize=379616 CPUtime=49.69 cores=0,2,4,6
/proc/30276/task/30283/stat : 30283 (claspmt) R 30274 30276 27798 0 -1 4202560 10127 0 0 0 4964 5 0 0 25 0 4 0 516452511 388726784 54984 33554432000 4194304 4964704 140733256078480 18446744073709551615 4670241 0 0 4096 18946 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 199.89
Current children cumulated vsize (KiB) 379616

[startup+102.307 s]
/proc/loadavg: 7.32 5.18 4.41 9/184 30286
/proc/meminfo: memFree=14728452/32950928 swapFree=67111528/67111528
[pid=30276] ppid=30274 vsize=407172 CPUtime=404.42 cores=0,2,4,6
/proc/30276/stat : 30276 (claspmt) R 30274 30276 27798 0 -1 4202496 71873 0 0 0 40405 37 0 0 25 0 4 0 516452372 416944128 70059 33554432000 4194304 4964704 140733256078480 18446744073709551615 4670228 0 0 4096 18946 18446744073709551615 0 0 17 6 0 0 0
/proc/30276/statm: 101793 70059 460 189 0 96142 0
[pid=30276/tid=30281] ppid=30274 vsize=407172 CPUtime=100.86 cores=0,2,4,6
/proc/30276/task/30281/stat : 30281 (claspmt) R 30274 30276 27798 0 -1 4202560 19406 0 0 0 10074 12 0 0 25 0 4 0 516452511 416944128 70059 33554432000 4194304 4964704 140733256078480 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=30276/tid=30282] ppid=30274 vsize=407172 CPUtime=100.89 cores=0,2,4,6
/proc/30276/task/30282/stat : 30282 (claspmt) R 30274 30276 27798 0 -1 4202560 17271 0 0 0 10083 6 0 0 25 0 4 0 516452511 416944128 70059 33554432000 4194304 4964704 140733256078480 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=30276/tid=30283] ppid=30274 vsize=407172 CPUtime=100.89 cores=0,2,4,6
/proc/30276/task/30283/stat : 30283 (claspmt) R 30274 30276 27798 0 -1 4202560 12632 0 0 0 10083 6 0 0 25 0 4 0 516452511 416944128 70059 33554432000 4194304 4964704 140733256078480 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 404.42
Current children cumulated vsize (KiB) 407172

[startup+162.301 s]
/proc/loadavg: 7.78 5.67 4.62 9/184 30288
/proc/meminfo: memFree=14615316/32950928 swapFree=67111528/67111528
[pid=30276] ppid=30274 vsize=429460 CPUtime=644.05 cores=0,2,4,6
/proc/30276/stat : 30276 (claspmt) R 30274 30276 27798 0 -1 4202496 88598 0 0 0 64353 52 0 0 25 0 4 0 516452372 439767040 86686 33554432000 4194304 4964704 140733256078480 18446744073709551615 4627204 0 0 4096 18946 18446744073709551615 0 0 17 0 0 0 0
/proc/30276/statm: 107365 86686 460 189 0 101714 0
[pid=30276/tid=30281] ppid=30274 vsize=429460 CPUtime=160.83 cores=0,2,4,6
/proc/30276/task/30281/stat : 30281 (claspmt) R 30274 30276 27798 0 -1 4202560 26588 0 0 0 16063 20 0 0 25 0 4 0 516452511 439767040 86686 33554432000 4194304 4964704 140733256078480 18446744073709551615 4670176 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=30276/tid=30282] ppid=30274 vsize=429460 CPUtime=160.64 cores=0,2,4,6
/proc/30276/task/30282/stat : 30282 (claspmt) R 30274 30276 27798 0 -1 4202560 21432 0 0 0 16055 9 0 0 25 0 4 0 516452511 439767040 86686 33554432000 4194304 4964704 140733256078480 18446744073709551615 4653190 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=30276/tid=30283] ppid=30274 vsize=429460 CPUtime=160.89 cores=0,2,4,6
/proc/30276/task/30283/stat : 30283 (claspmt) R 30274 30276 27798 0 -1 4202560 13951 0 0 0 16082 7 0 0 25 0 4 0 516452511 439767040 86686 33554432000 4194304 4964704 140733256078480 18446744073709551615 4670230 0 0 4096 18946 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 644.05
Current children cumulated vsize (KiB) 429460

[startup+222.3 s]
/proc/loadavg: 7.97 6.14 4.85 9/184 30289
/proc/meminfo: memFree=14554032/32950928 swapFree=67111528/67111528
[pid=30276] ppid=30274 vsize=519548 CPUtime=883.71 cores=0,2,4,6
/proc/30276/stat : 30276 (claspmt) R 30274 30276 27798 0 -1 4202496 101818 0 0 0 88308 63 0 0 25 0 4 0 516452372 532017152 99906 33554432000 4194304 4964704 140733256078480 18446744073709551615 4627356 0 0 4096 18946 18446744073709551615 0 0 17 0 0 0 0
/proc/30276/statm: 129887 99906 460 189 0 124236 0
[pid=30276/tid=30281] ppid=30274 vsize=519548 CPUtime=220.81 cores=0,2,4,6
/proc/30276/task/30281/stat : 30281 (claspmt) R 30274 30276 27798 0 -1 4202560 30764 0 0 0 22058 23 0 0 25 0 4 0 516452511 532017152 99906 33554432000 4194304 4964704 140733256078480 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=30276/tid=30282] ppid=30274 vsize=519548 CPUtime=220.32 cores=0,2,4,6
/proc/30276/task/30282/stat : 30282 (claspmt) R 30274 30276 27798 0 -1 4202560 23413 0 0 0 22021 11 0 0 25 0 4 0 516452511 532017152 99906 33554432000 4194304 4964704 140733256078480 18446744073709551615 4670248 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=30276/tid=30283] ppid=30274 vsize=519548 CPUtime=220.89 cores=0,2,4,6
/proc/30276/task/30283/stat : 30283 (claspmt) R 30274 30276 27798 0 -1 4202560 16675 0 0 0 22080 9 0 0 25 0 4 0 516452511 532017152 99906 33554432000 4194304 4964704 140733256078480 18446744073709551615 4670419 0 0 4096 18946 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 883.71
Current children cumulated vsize (KiB) 519548

[startup+282.301 s]
/proc/loadavg: 8.03 6.46 5.03 9/184 30291
/proc/meminfo: memFree=14487892/32950928 swapFree=67111528/67111528
[pid=30276] ppid=30274 vsize=593436 CPUtime=1123.36 cores=0,2,4,6
/proc/30276/stat : 30276 (claspmt) R 30274 30276 27798 0 -1 4202496 116839 0 0 0 112256 80 0 0 25 0 4 0 516452372 607678464 114927 33554432000 4194304 4964704 140733256078480 18446744073709551615 4320944 0 0 4096 18946 18446744073709551615 0 0 17 0 0 0 0
/proc/30276/statm: 148359 114927 460 189 0 142708 0
[pid=30276/tid=30281] ppid=30274 vsize=593436 CPUtime=280.81 cores=0,2,4,6

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

Current children cumulated CPU time (s) 2561.37
Current children cumulated vsize (KiB) 886612

[startup+702.301 s]
/proc/loadavg: 8.13 7.73 6.16 9/184 30302
/proc/meminfo: memFree=14100872/32950928 swapFree=67111528/67111528
[pid=30276] ppid=30274 vsize=887856 CPUtime=2801.02 cores=0,2,4,6
/proc/30276/stat : 30276 (claspmt) R 30274 30276 27798 0 -1 4202496 203513 0 0 0 279935 167 0 0 25 0 4 0 516452372 909164544 198728 33554432000 4194304 4964704 140733256078480 18446744073709551615 4670228 0 0 4096 18946 18446744073709551615 0 0 17 0 0 0 0
/proc/30276/statm: 221964 198728 460 189 0 216313 0
[pid=30276/tid=30281] ppid=30274 vsize=887856 CPUtime=700.75 cores=0,2,4,6
/proc/30276/task/30281/stat : 30281 (claspmt) R 30274 30276 27798 0 -1 4202560 76148 0 0 0 70009 66 0 0 25 0 4 0 516452511 909164544 198728 33554432000 4194304 4964704 140733256078480 18446744073709551615 4320981 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=30276/tid=30282] ppid=30274 vsize=887856 CPUtime=697.69 cores=0,2,4,6
/proc/30276/task/30282/stat : 30282 (claspmt) R 30274 30276 27798 0 -1 4202560 45392 0 0 0 69738 31 0 0 25 0 4 0 516452511 909164544 198728 33554432000 4194304 4964704 140733256078480 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=30276/tid=30283] ppid=30274 vsize=887856 CPUtime=700.89 cores=0,2,4,6
/proc/30276/task/30283/stat : 30283 (claspmt) R 30274 30276 27798 0 -1 4202560 35549 0 0 0 70058 31 0 0 25 0 4 0 516452511 909164544 198728 33554432000 4194304 4964704 140733256078480 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 2801.02
Current children cumulated vsize (KiB) 887856

[startup+762.306 s]
/proc/loadavg: 8.10 7.79 6.28 9/184 30304
/proc/meminfo: memFree=14048364/32950928 swapFree=67111528/67111528
[pid=30276] ppid=30274 vsize=971452 CPUtime=3040.71 cores=0,2,4,6
/proc/30276/stat : 30276 (claspmt) R 30274 30276 27798 0 -1 4202496 214883 0 0 0 303893 178 0 0 25 0 4 0 516452372 994766848 210098 33554432000 4194304 4964704 140733256078480 18446744073709551615 4670243 0 0 4096 18946 18446744073709551615 0 0 17 0 0 0 0
/proc/30276/statm: 242863 210098 460 189 0 237212 0
[pid=30276/tid=30281] ppid=30274 vsize=971452 CPUtime=760.75 cores=0,2,4,6
/proc/30276/task/30281/stat : 30281 (claspmt) R 30274 30276 27798 0 -1 4202560 77078 0 0 0 76008 67 0 0 25 0 4 0 516452511 994766848 210098 33554432000 4194304 4964704 140733256078480 18446744073709551615 4321079 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=30276/tid=30282] ppid=30274 vsize=971452 CPUtime=757.37 cores=0,2,4,6
/proc/30276/task/30282/stat : 30282 (claspmt) R 30274 30276 27798 0 -1 4202560 50686 0 0 0 75700 37 0 0 25 0 4 0 516452511 994766848 210098 33554432000 4194304 4964704 140733256078480 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=30276/tid=30283] ppid=30274 vsize=971452 CPUtime=760.9 cores=0,2,4,6
/proc/30276/task/30283/stat : 30283 (claspmt) R 30274 30276 27798 0 -1 4202560 40170 0 0 0 76056 34 0 0 25 0 4 0 516452511 994766848 210098 33554432000 4194304 4964704 140733256078480 18446744073709551615 4670454 0 0 4096 18946 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3040.71
Current children cumulated vsize (KiB) 971452

[startup+822.301 s]
/proc/loadavg: 8.10 7.84 6.38 9/184 30305
/proc/meminfo: memFree=14031716/32950928 swapFree=67111528/67111528
[pid=30276] ppid=30274 vsize=971452 CPUtime=3280.33 cores=0,2,4,6
/proc/30276/stat : 30276 (claspmt) R 30274 30276 27798 0 -1 4202496 215926 0 0 0 327854 179 0 0 25 0 4 0 516452372 994766848 210931 33554432000 4194304 4964704 140733256078480 18446744073709551615 4670228 0 0 4096 18946 18446744073709551615 0 0 17 0 0 0 0
/proc/30276/statm: 242863 210931 460 189 0 237212 0
[pid=30276/tid=30281] ppid=30274 vsize=971452 CPUtime=820.72 cores=0,2,4,6
/proc/30276/task/30281/stat : 30281 (claspmt) R 30274 30276 27798 0 -1 4202560 77987 0 0 0 82004 68 0 0 25 0 4 0 516452511 994766848 210931 33554432000 4194304 4964704 140733256078480 18446744073709551615 4320951 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=30276/tid=30282] ppid=30274 vsize=971452 CPUtime=817.04 cores=0,2,4,6
/proc/30276/task/30282/stat : 30282 (claspmt) R 30274 30276 27798 0 -1 4202560 50781 0 0 0 81667 37 0 0 25 0 4 0 516452511 994766848 210931 33554432000 4194304 4964704 140733256078480 18446744073709551615 4670266 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=30276/tid=30283] ppid=30274 vsize=971452 CPUtime=820.89 cores=0,2,4,6
/proc/30276/task/30283/stat : 30283 (claspmt) R 30274 30276 27798 0 -1 4202560 40208 0 0 0 82055 34 0 0 25 0 4 0 516452511 994766848 210931 33554432000 4194304 4964704 140733256078480 18446744073709551615 4320909 0 0 4096 18946 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3280.33
Current children cumulated vsize (KiB) 971452

[startup+882.3 s]
/proc/loadavg: 8.08 7.89 6.49 9/184 30307
/proc/meminfo: memFree=14025584/32950928 swapFree=67111528/67111528
[pid=30276] ppid=30274 vsize=1036988 CPUtime=3519.98 cores=0,2,4,6
/proc/30276/stat : 30276 (claspmt) R 30274 30276 27798 0 -1 4202496 216406 0 0 0 351819 179 0 0 25 0 4 0 516452372 1061875712 211411 33554432000 4194304 4964704 140733256078480 18446744073709551615 4670266 0 0 4096 18946 18446744073709551615 0 0 17 0 0 0 0
/proc/30276/statm: 259247 211411 460 189 0 253596 0
[pid=30276/tid=30281] ppid=30274 vsize=1036988 CPUtime=880.71 cores=0,2,4,6
/proc/30276/task/30281/stat : 30281 (claspmt) R 30274 30276 27798 0 -1 4202560 78102 0 0 0 88003 68 0 0 25 0 4 0 516452511 1061875712 211411 33554432000 4194304 4964704 140733256078480 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=30276/tid=30282] ppid=30274 vsize=1036988 CPUtime=876.71 cores=0,2,4,6
/proc/30276/task/30282/stat : 30282 (claspmt) R 30274 30276 27798 0 -1 4202560 51140 0 0 0 87634 37 0 0 25 0 4 0 516452511 1061875712 211411 33554432000 4194304 4964704 140733256078480 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=30276/tid=30283] ppid=30274 vsize=1036988 CPUtime=880.89 cores=0,2,4,6
/proc/30276/task/30283/stat : 30283 (claspmt) R 30274 30276 27798 0 -1 4202560 40209 0 0 0 88055 34 0 0 25 0 4 0 516452511 1061875712 211411 33554432000 4194304 4964704 140733256078480 18446744073709551615 4670215 0 0 4096 18946 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3519.98
Current children cumulated vsize (KiB) 1036988

[startup+942.301 s]
/proc/loadavg: 8.03 7.90 6.58 9/184 30308
/proc/meminfo: memFree=14015888/32950928 swapFree=67111528/67111528
[pid=30276] ppid=30274 vsize=1036988 CPUtime=3759.66 cores=0,2,4,6
/proc/30276/stat : 30276 (claspmt) R 30274 30276 27798 0 -1 4202496 217142 0 0 0 375786 180 0 0 25 0 4 0 516452372 1061875712 212147 33554432000 4194304 4964704 140733256078480 18446744073709551615 4670228 0 0 4096 18946 18446744073709551615 0 0 17 0 0 0 0
/proc/30276/statm: 259247 212147 460 189 0 253596 0
[pid=30276/tid=30281] ppid=30274 vsize=1036988 CPUtime=940.7 cores=0,2,4,6
/proc/30276/task/30281/stat : 30281 (claspmt) R 30274 30276 27798 0 -1 4202560 78632 0 0 0 94002 68 0 0 25 0 4 0 516452511 1061875712 212147 33554432000 4194304 4964704 140733256078480 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=30276/tid=30282] ppid=30274 vsize=1036988 CPUtime=936.62 cores=0,2,4,6
/proc/30276/task/30282/stat : 30282 (claspmt) R 30274 30276 27798 0 -1 4202560 51343 0 0 0 93625 37 0 0 25 0 4 0 516452511 1061875712 212147 33554432000 4194304 4964704 140733256078480 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=30276/tid=30283] ppid=30274 vsize=1036988 CPUtime=940.67 cores=0,2,4,6
/proc/30276/task/30283/stat : 30283 (claspmt) R 30274 30276 27798 0 -1 4202560 40211 0 0 0 94033 34 0 0 25 0 4 0 516452511 1061875712 212147 33554432000 4194304 4964704 140733256078480 18446744073709551615 4362875 0 0 4096 18946 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3759.66
Current children cumulated vsize (KiB) 1036988

[startup+1002.3 s]
/proc/loadavg: 8.01 7.92 6.67 9/184 30310
/proc/meminfo: memFree=13961528/32950928 swapFree=67111528/67111528
[pid=30276] ppid=30274 vsize=1102524 CPUtime=3999.33 cores=0,2,4,6
/proc/30276/stat : 30276 (claspmt) R 30274 30276 27798 0 -1 4202496 230382 0 0 0 399738 195 0 0 25 0 4 0 516452372 1128984576 225387 33554432000 4194304 4964704 140733256078480 18446744073709551615 4321102 0 0 4096 18946 18446744073709551615 0 0 17 0 0 0 0
/proc/30276/statm: 275631 225387 460 189 0 269980 0
[pid=30276/tid=30281] ppid=30274 vsize=1102524 CPUtime=1000.7 cores=0,2,4,6
/proc/30276/task/30281/stat : 30281 (claspmt) R 30274 30276 27798 0 -1 4202560 86435 0 0 0 99994 76 0 0 25 0 4 0 516452511 1128984576 225387 33554432000 4194304 4964704 140733256078480 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=30276/tid=30282] ppid=30274 vsize=1102524 CPUtime=996.62 cores=0,2,4,6
/proc/30276/task/30282/stat : 30282 (claspmt) R 30274 30276 27798 0 -1 4202560 55307 0 0 0 99619 43 0 0 25 0 4 0 516452511 1128984576 225387 33554432000 4194304 4964704 140733256078480 18446744073709551615 4670219 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=30276/tid=30283] ppid=30274 vsize=1102524 CPUtime=1000.34 cores=0,2,4,6
/proc/30276/task/30283/stat : 30283 (claspmt) R 30274 30276 27798 0 -1 4202560 41684 0 0 0 99998 36 0 0 25 0 4 0 516452511 1128984576 225387 33554432000 4194304 4964704 140733256078480 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3999.33
Current children cumulated vsize (KiB) 1102524

[startup+1062.3 s]
/proc/loadavg: 8.07 7.94 6.75 9/184 30312
/proc/meminfo: memFree=13913020/32950928 swapFree=67111528/67111528
[pid=30276] ppid=30274 vsize=1102524 CPUtime=4238.99 cores=0,2,4,6
/proc/30276/stat : 30276 (claspmt) R 30274 30276 27798 0 -1 4202496 241995 0 0 0 423689 210 0 0 25 0 4 0 516452372 1128984576 236756 33554432000 4194304 4964704 140733256078480 18446744073709551615 4320951 0 0 4096 18946 18446744073709551615 0 0 17 0 0 0 0
/proc/30276/statm: 275631 236756 460 189 0 269980 0
[pid=30276/tid=30281] ppid=30274 vsize=1102524 CPUtime=1060.68 cores=0,2,4,6
/proc/30276/task/30281/stat : 30281 (claspmt) R 30274 30276 27798 0 -1 4202560 94391 0 0 0 105981 87 0 0 25 0 4 0 516452511 1128984576 236756 33554432000 4194304 4964704 140733256078480 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=30276/tid=30282] ppid=30274 vsize=1102524 CPUtime=1056.62 cores=0,2,4,6
/proc/30276/task/30282/stat : 30282 (claspmt) R 30274 30276 27798 0 -1 4202560 57563 0 0 0 105616 46 0 0 25 0 4 0 516452511 1128984576 236756 33554432000 4194304 4964704 140733256078480 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=30276/tid=30283] ppid=30274 vsize=1102524 CPUtime=1060.02 cores=0,2,4,6
/proc/30276/task/30283/stat : 30283 (claspmt) R 30274 30276 27798 0 -1 4202560 42586 0 0 0 105965 37 0 0 25 0 4 0 516452511 1128984576 236756 33554432000 4194304 4964704 140733256078480 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4238.99
Current children cumulated vsize (KiB) 1102524

[startup+1122.3 s]
/proc/loadavg: 8.08 7.97 6.84 9/184 30313
/proc/meminfo: memFree=13852708/32950928 swapFree=67111528/67111528
[pid=30276] ppid=30274 vsize=1168060 CPUtime=4478.66 cores=0,2,4,6
/proc/30276/stat : 30276 (claspmt) R 30274 30276 27798 0 -1 4202496 255045 0 0 0 447639 227 0 0 25 0 4 0 516452372 1196093440 249806 33554432000 4194304 4964704 140733256078480 18446744073709551615 4670228 0 0 4096 18946 18446744073709551615 0 0 17 0 0 0 0
/proc/30276/statm: 292015 249806 460 189 0 286364 0
[pid=30276/tid=30281] ppid=30274 vsize=1168060 CPUtime=1120.68 cores=0,2,4,6
/proc/30276/task/30281/stat : 30281 (claspmt) R 30274 30276 27798 0 -1 4202560 107184 0 0 0 111964 104 0 0 25 0 4 0 516452511 1196093440 249806 33554432000 4194304 4964704 140733256078480 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=30276/tid=30282] ppid=30274 vsize=1168060 CPUtime=1116.62 cores=0,2,4,6
/proc/30276/task/30282/stat : 30282 (claspmt) R 30274 30276 27798 0 -1 4202560 57566 0 0 0 111616 46 0 0 25 0 4 0 516452511 1196093440 249806 33554432000 4194304 4964704 140733256078480 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=30276/tid=30283] ppid=30274 vsize=1168060 CPUtime=1119.69 cores=0,2,4,6
/proc/30276/task/30283/stat : 30283 (claspmt) R 30274 30276 27798 0 -1 4202560 42840 0 0 0 111932 37 0 0 25 0 4 0 516452511 1196093440 249806 33554432000 4194304 4964704 140733256078480 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4478.66
Current children cumulated vsize (KiB) 1168060

[startup+1182.3 s]
/proc/loadavg: 8.09 7.99 6.91 9/184 30324
/proc/meminfo: memFree=13844224/32950928 swapFree=67111528/67111528
[pid=30276] ppid=30274 vsize=1168060 CPUtime=4718.32 cores=0,2,4,6
/proc/30276/stat : 30276 (claspmt) R 30274 30276 27798 0 -1 4202496 256799 0 0 0 471602 230 0 0 25 0 4 0 516452372 1196093440 251299 33554432000 4194304 4964704 140733256078480 18446744073709551615 4332068 0 0 4096 18946 18446744073709551615 0 0 17 0 0 0 0
/proc/30276/statm: 292015 251299 460 189 0 286364 0
[pid=30276/tid=30281] ppid=30274 vsize=1168060 CPUtime=1180.67 cores=0,2,4,6
/proc/30276/task/30281/stat : 30281 (claspmt) R 30274 30276 27798 0 -1 4202560 108902 0 0 0 117961 106 0 0 25 0 4 0 516452511 1196093440 251299 33554432000 4194304 4964704 140733256078480 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=30276/tid=30282] ppid=30274 vsize=1168060 CPUtime=1176.63 cores=0,2,4,6
/proc/30276/task/30282/stat : 30282 (claspmt) R 30274 30276 27798 0 -1 4202560 57572 0 0 0 117617 46 0 0 25 0 4 0 516452511 1196093440 251299 33554432000 4194304 4964704 140733256078480 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=30276/tid=30283] ppid=30274 vsize=1168060 CPUtime=1179.36 cores=0,2,4,6
/proc/30276/task/30283/stat : 30283 (claspmt) R 30274 30276 27798 0 -1 4202560 42870 0 0 0 117899 37 0 0 25 0 4 0 516452511 1196093440 251299 33554432000 4194304 4964704 140733256078480 18446744073709551615 4627309 0 0 4096 18946 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4718.32
Current children cumulated vsize (KiB) 1168060



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1202.8 s]
/proc/loadavg: 8.06 7.99 6.93 5/179 30325
/proc/meminfo: memFree=14149904/32950928 swapFree=67111528/67111528
[pid=30276] ppid=30274 vsize=1168060 CPUtime=4800.22 cores=0,2,4,6
/proc/30276/stat : 30276 (claspmt) R 30274 30276 27798 0 -1 4202496 256840 0 0 0 479792 230 0 0 25 0 4 0 516452372 1196093440 251340 33554432000 4194304 4964704 140733256078480 18446744073709551615 4320966 0 0 4096 18946 18446744073709551615 0 0 17 0 0 0 0
/proc/30276/statm: 292015 251340 460 189 0 286364 0
[pid=30276/tid=30281] ppid=30274 vsize=1168060 CPUtime=1201.17 cores=0,2,4,6
/proc/30276/task/30281/stat : 30281 (claspmt) R 30274 30276 27798 0 -1 4202560 108902 0 0 0 120011 106 0 0 25 0 4 0 516452511 1196093440 251340 33554432000 4194304 4964704 140733256078480 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=30276/tid=30282] ppid=30274 vsize=1168060 CPUtime=1197.13 cores=0,2,4,6
/proc/30276/task/30282/stat : 30282 (claspmt) R 30274 30276 27798 0 -1 4202560 57574 0 0 0 119667 46 0 0 25 0 4 0 516452511 1196093440 251340 33554432000 4194304 4964704 140733256078480 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=30276/tid=30283] ppid=30274 vsize=1168060 CPUtime=1199.75 cores=0,2,4,6
/proc/30276/task/30283/stat : 30283 (claspmt) R 30274 30276 27798 0 -1 4202560 42909 0 0 0 119938 37 0 0 25 0 4 0 516452511 1196093440 251340 33554432000 4194304 4964704 140733256078480 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4800.22
Current children cumulated vsize (KiB) 1168060

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

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

[startup+1203 s]
/proc/loadavg: 8.06 7.99 6.93 5/179 30325
/proc/meminfo: memFree=14149904/32950928 swapFree=67111528/67111528
[pid=30276] ppid=30274 vsize=481696 CPUtime=4800.43 cores=0,2,4,6
/proc/30276/stat : 30276 (claspmt) R 30274 30276 27798 0 -1 4202496 256851 0 0 0 479810 233 0 0 25 0 1 0 516452372 493256704 60468 33554432000 4194304 4964704 140733256078480 18446744073709551615 274473993322 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/30276/statm: 120424 59956 471 189 0 114773 0
Current children cumulated CPU time (s) 4800.43
Current children cumulated vsize (KiB) 481696

Child status: 0
Real time (s): 1203.01
CPU time (s): 4800.45
CPU user time (s): 4798.1
CPU system time (s): 2.34864
CPU usage (%): 399.036
Max. virtual memory (cumulated for all children) (KiB): 1168060

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4798.1
system time used= 2.34864
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 256852
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= 9454
involuntary context switches= 38198

runsolver used 1.9977 second user time and 4.55931 second system time

The end

Launcher Data 

Begin job on node125 at 2011-04-29 05:42:07
IDJOB=3299652
IDBENCH=71269
IDSOLVER=1683
FILE ID=node125/3299652-1304048527
RUNJOBID= node125-1304048527-30226
PBS_JOBID= 13170327
Free space on /tmp= 72756 MiB

SOLVER NAME= claspmt 2.0-R4095
BENCH NAME= SAT09/CRAFTED/rbsat/random/unforced/rbsat-v2400c266431g3.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-3299652-1304048527/watcher-3299652-1304048527 -o /tmp/evaluation-result-3299652-1304048527/solver-3299652-1304048527 -C 4800 -W 1300 -M 15500  HOME/claspmt -t4 -p HOME/sat11-port.txt --distribute=all,2 HOME/instance-3299652-1304048527.cnf

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

MD5SUM BENCH= 231f625a25c77518fbce98fe99f807b5
RANDOM SEED=1311962993

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

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.828
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.82
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.828
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.828
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.828
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:     32950928 kB
MemFree:      15145532 kB
Buffers:       2218080 kB
Cached:       14979124 kB
SwapCached:          0 kB
Active:        9059972 kB
Inactive:      8214092 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      15145532 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            9172 kB
Writeback:          12 kB
AnonPages:       75540 kB
Mapped:          15632 kB
Slab:           468896 kB
PageTables:       4504 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:   221044 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= 72760 MiB
End job on node125 at 2011-04-29 06:02:12