Trace number 3299871

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.39 1202.76

General information on the benchmark

Nameapplication/jarvisalo/HWMCC10-combination-timeframe-expansion/
hwmcc10-timeframe-expansion-k50-pdtpmsns2-tseitin.cnf
MD5SUM9059f458d76edcc4dc5681746a6de6e5
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark265.638
Satisfiable
(Un)Satisfiability was proved
Number of variables88352
Number of clauses262658
Sum of the clauses size612866
Maximum clause length3
Minimum clause length1
Number of clauses of size 12
Number of clauses of size 2175104
Number of clauses of size 387552
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50

Solver Data 

0.00/0.00	c clasp version 2.0.0-RC2
0.00/0.00	c Reading from ...066744/instance-3299871-1304066744.cnf
0.89/0.92	c Solving...
4800.11/1202.51	
4800.11/1202.51	*** INTERRUPTED! ***
4800.11/1202.51	*** Shutting down threads...
4800.33/1202.75	s UNKNOWN
4800.33/1202.75	
4800.33/1202.75	c INTERRUPTED   : 1
4800.33/1202.75	c Models        : 0+    
4800.33/1202.75	c Time          : 1202.512s (Solving: 1201.59s 1st Model: 0.00s Unsat: 0.00s)
4800.33/1202.75	c CPU Time      : 4800.140s

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-3299871-1304066744/watcher-3299871-1304066744 -o /tmp/evaluation-result-3299871-1304066744/solver-3299871-1304066744 -C 4800 -W 1300 -M 15500 HOME/claspmt -t4 -p HOME/sat11-port.txt --distribute=all,2 HOME/instance-3299871-1304066744.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: 7.53 7.98 7.97 5/180 31148
/proc/meminfo: memFree=28539408/32951124 swapFree=67111356/67111528
[pid=31148] ppid=31146 vsize=32068 CPUtime=0 cores=0,2,4,6
/proc/31148/stat : 31148 (claspmt) R 31146 31148 30588 0 -1 4202496 1394 0 0 0 0 0 0 0 25 0 1 0 518275152 32837632 1324 33554432000 4194304 4964704 140735025022304 18446744073709551615 4700332 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/31148/statm: 8017 1331 375 189 0 2891 0

[startup+0.0708559 s]
/proc/loadavg: 7.53 7.98 7.97 5/180 31148
/proc/meminfo: memFree=28539408/32951124 swapFree=67111356/67111528
[pid=31148] ppid=31146 vsize=47196 CPUtime=0.06 cores=0,2,4,6
/proc/31148/stat : 31148 (claspmt) R 31146 31148 30588 0 -1 4202496 8418 0 0 0 5 1 0 0 25 0 1 0 518275152 48328704 6914 33554432000 4194304 4964704 140735025022304 18446744073709551615 222921437893 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/31148/statm: 11799 6915 385 189 0 6673 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 47196

[startup+0.100852 s]
/proc/loadavg: 7.53 7.98 7.97 5/180 31148
/proc/meminfo: memFree=28539408/32951124 swapFree=67111356/67111528
[pid=31148] ppid=31146 vsize=55704 CPUtime=0.09 cores=0,2,4,6
/proc/31148/stat : 31148 (claspmt) R 31146 31148 30588 0 -1 4202496 11710 0 0 0 8 1 0 0 25 0 1 0 518275152 57040896 8938 33554432000 4194304 4964704 140735025022304 18446744073709551615 4615805 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/31148/statm: 13926 8939 398 189 0 8800 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 55704

[startup+0.300815 s]
/proc/loadavg: 7.53 7.98 7.97 5/180 31148
/proc/meminfo: memFree=28539408/32951124 swapFree=67111356/67111528
[pid=31148] ppid=31146 vsize=67508 CPUtime=0.29 cores=0,2,4,6
/proc/31148/stat : 31148 (claspmt) R 31146 31148 30588 0 -1 4202496 14627 0 0 0 27 2 0 0 25 0 1 0 518275152 69128192 11855 33554432000 4194304 4964704 140735025022304 18446744073709551615 222921437893 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/31148/statm: 16877 11856 403 189 0 11751 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 67508

[startup+0.700745 s]
/proc/loadavg: 7.53 7.98 7.97 5/180 31148
/proc/meminfo: memFree=28539408/32951124 swapFree=67111356/67111528
[pid=31148] ppid=31146 vsize=76616 CPUtime=0.69 cores=0,2,4,6
/proc/31148/stat : 31148 (claspmt) R 31146 31148 30588 0 -1 4202496 16907 0 0 0 67 2 0 0 25 0 1 0 518275152 78454784 14135 33554432000 4194304 4964704 140735025022304 18446744073709551615 4621596 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/31148/statm: 19154 14135 403 189 0 14028 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 76616

[startup+1.50056 s]
/proc/loadavg: 7.53 7.98 7.97 9/184 31152
/proc/meminfo: memFree=28451716/32951124 swapFree=67111356/67111528
[pid=31148] ppid=31146 vsize=237224 CPUtime=3.13 cores=0,2,4,6
/proc/31148/stat : 31148 (claspmt) R 31146 31148 30588 0 -1 4202496 28395 0 0 0 308 5 0 0 25 0 4 0 518275152 242917376 22169 33554432000 4194304 4964704 140735025022304 18446744073709551615 4370242 0 0 4096 18946 18446744073709551615 0 0 17 2 0 0 0
/proc/31148/statm: 59306 22169 458 189 0 53655 0
[pid=31148/tid=31150] ppid=31146 vsize=237224 CPUtime=0.55 cores=0,2,4,6
/proc/31148/task/31150/stat : 31150 (claspmt) R 31146 31148 30588 0 -1 4202560 3105 0 0 0 55 0 0 0 18 0 4 0 518275245 242917376 22169 33554432000 4194304 4964704 140735025022304 18446744073709551615 4668654 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=31148/tid=31151] ppid=31146 vsize=237224 CPUtime=0.55 cores=0,2,4,6
/proc/31148/task/31151/stat : 31151 (claspmt) R 31146 31148 30588 0 -1 4202560 4209 0 0 0 54 1 0 0 18 0 4 0 518275245 242917376 22169 33554432000 4194304 4964704 140735025022304 18446744073709551615 4670100 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=31148/tid=31152] ppid=31146 vsize=237224 CPUtime=0.55 cores=0,2,4,6
/proc/31148/task/31152/stat : 31152 (claspmt) R 31146 31148 30588 0 -1 4202560 3500 0 0 0 55 0 0 0 18 0 4 0 518275245 242917376 22169 33554432000 4194304 4964704 140735025022304 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3.13
Current children cumulated vsize (KiB) 237224

[startup+3.10027 s]
/proc/loadavg: 7.53 7.98 7.97 9/184 31152
/proc/meminfo: memFree=28448016/32951124 swapFree=67111356/67111528
[pid=31148] ppid=31146 vsize=237224 CPUtime=9.53 cores=0,2,4,6
/proc/31148/stat : 31148 (claspmt) R 31146 31148 30588 0 -1 4202496 28978 0 0 0 948 5 0 0 25 0 4 0 518275152 242917376 22752 33554432000 4194304 4964704 140735025022304 18446744073709551615 4670228 0 0 4096 18946 18446744073709551615 0 0 17 2 0 0 0
/proc/31148/statm: 59306 22752 458 189 0 53655 0
[pid=31148/tid=31150] ppid=31146 vsize=237224 CPUtime=2.15 cores=0,2,4,6
/proc/31148/task/31150/stat : 31150 (claspmt) R 31146 31148 30588 0 -1 4202560 3170 0 0 0 215 0 0 0 21 0 4 0 518275245 242917376 22752 33554432000 4194304 4964704 140735025022304 18446744073709551615 4670100 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=31148/tid=31151] ppid=31146 vsize=237224 CPUtime=2.14 cores=0,2,4,6
/proc/31148/task/31151/stat : 31151 (claspmt) R 31146 31148 30588 0 -1 4202560 4427 0 0 0 213 1 0 0 21 0 4 0 518275245 242917376 22752 33554432000 4194304 4964704 140735025022304 18446744073709551615 4670017 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=31148/tid=31152] ppid=31146 vsize=237224 CPUtime=2.15 cores=0,2,4,6
/proc/31148/task/31152/stat : 31152 (claspmt) R 31146 31148 30588 0 -1 4202560 3687 0 0 0 215 0 0 0 21 0 4 0 518275245 242917376 22752 33554432000 4194304 4964704 140735025022304 18446744073709551615 4668488 0 0 4096 18946 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 9.53
Current children cumulated vsize (KiB) 237224

[startup+6.30068 s]
/proc/loadavg: 7.65 7.99 7.97 9/184 31152
/proc/meminfo: memFree=28441204/32951124 swapFree=67111356/67111528
[pid=31148] ppid=31146 vsize=237224 CPUtime=22.31 cores=0,2,4,6
/proc/31148/stat : 31148 (claspmt) R 31146 31148 30588 0 -1 4202496 29956 0 0 0 2225 6 0 0 25 0 4 0 518275152 242917376 23730 33554432000 4194304 4964704 140735025022304 18446744073709551615 4321079 0 0 4096 18946 18446744073709551615 0 0 17 2 0 0 0
/proc/31148/statm: 59306 23730 458 189 0 53655 0
[pid=31148/tid=31150] ppid=31146 vsize=237224 CPUtime=5.35 cores=0,2,4,6
/proc/31148/task/31150/stat : 31150 (claspmt) R 31146 31148 30588 0 -1 4202560 3298 0 0 0 535 0 0 0 25 0 4 0 518275245 242917376 23730 33554432000 4194304 4964704 140735025022304 18446744073709551615 4668673 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=31148/tid=31151] ppid=31146 vsize=237224 CPUtime=5.32 cores=0,2,4,6
/proc/31148/task/31151/stat : 31151 (claspmt) R 31146 31148 30588 0 -1 4202560 4898 0 0 0 531 1 0 0 25 0 4 0 518275245 242917376 23730 33554432000 4194304 4964704 140735025022304 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=31148/tid=31152] ppid=31146 vsize=237224 CPUtime=5.35 cores=0,2,4,6
/proc/31148/task/31152/stat : 31152 (claspmt) R 31146 31148 30588 0 -1 4202560 3903 0 0 0 535 0 0 0 25 0 4 0 518275245 242917376 23730 33554432000 4194304 4964704 140735025022304 18446744073709551615 222921438241 0 0 4096 18946 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 22.31
Current children cumulated vsize (KiB) 237224

[startup+12.7005 s]
/proc/loadavg: 7.67 7.99 7.97 9/184 31153
/proc/meminfo: memFree=28421548/32951124 swapFree=67111356/67111528
[pid=31148] ppid=31146 vsize=238932 CPUtime=47.88 cores=0,2,4,6
/proc/31148/stat : 31148 (claspmt) R 31146 31148 30588 0 -1 4202496 33455 0 0 0 4779 9 0 0 25 0 4 0 518275152 244666368 27229 33554432000 4194304 4964704 140735025022304 18446744073709551615 4371527 0 0 4096 18946 18446744073709551615 0 0 17 2 0 0 0
/proc/31148/statm: 59733 27229 458 189 0 54082 0
[pid=31148/tid=31150] ppid=31146 vsize=238932 CPUtime=11.75 cores=0,2,4,6
/proc/31148/task/31150/stat : 31150 (claspmt) R 31146 31148 30588 0 -1 4202560 3576 0 0 0 1174 1 0 0 25 0 4 0 518275245 244666368 27229 33554432000 4194304 4964704 140735025022304 18446744073709551615 4670219 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=31148/tid=31151] ppid=31146 vsize=238932 CPUtime=11.69 cores=0,2,4,6
/proc/31148/task/31151/stat : 31151 (claspmt) R 31146 31148 30588 0 -1 4202560 6511 0 0 0 1167 2 0 0 25 0 4 0 518275245 244666368 27229 33554432000 4194304 4964704 140735025022304 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=31148/tid=31152] ppid=31146 vsize=238932 CPUtime=11.75 cores=0,2,4,6
/proc/31148/task/31152/stat : 31152 (claspmt) R 31146 31148 30588 0 -1 4202560 5281 0 0 0 1173 2 0 0 25 0 4 0 518275245 244666368 27229 33554432000 4194304 4964704 140735025022304 18446744073709551615 4668609 0 0 4096 18946 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 47.88
Current children cumulated vsize (KiB) 238932

[startup+25.5012 s]
/proc/loadavg: 7.75 7.99 7.97 9/184 31153
/proc/meminfo: memFree=28387696/32951124 swapFree=67111356/67111528
[pid=31148] ppid=31146 vsize=245268 CPUtime=99.01 cores=0,2,4,6
/proc/31148/stat : 31148 (claspmt) R 31146 31148 30588 0 -1 4202496 38235 0 0 0 9889 12 0 0 25 0 4 0 518275152 251154432 32009 33554432000 4194304 4964704 140735025022304 18446744073709551615 4669270 0 0 4096 18946 18446744073709551615 0 0 17 2 0 0 0
/proc/31148/statm: 61317 32009 460 189 0 55666 0
[pid=31148/tid=31150] ppid=31146 vsize=245268 CPUtime=24.55 cores=0,2,4,6
/proc/31148/task/31150/stat : 31150 (claspmt) R 31146 31148 30588 0 -1 4202560 3968 0 0 0 2454 1 0 0 25 0 4 0 518275245 251154432 32009 33554432000 4194304 4964704 140735025022304 18446744073709551615 4670100 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=31148/tid=31151] ppid=31146 vsize=245268 CPUtime=24.43 cores=0,2,4,6
/proc/31148/task/31151/stat : 31151 (claspmt) R 31146 31148 30588 0 -1 4202560 8223 0 0 0 2439 4 0 0 25 0 4 0 518275245 251154432 32009 33554432000 4194304 4964704 140735025022304 18446744073709551615 4670219 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=31148/tid=31152] ppid=31146 vsize=245268 CPUtime=24.55 cores=0,2,4,6
/proc/31148/task/31152/stat : 31152 (claspmt) R 31146 31148 30588 0 -1 4202560 7088 0 0 0 2452 3 0 0 25 0 4 0 518275245 251154432 32009 33554432000 4194304 4964704 140735025022304 18446744073709551615 4660156 0 0 4096 18946 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 99.01
Current children cumulated vsize (KiB) 245268

[startup+51.1005 s]
/proc/loadavg: 7.83 7.99 7.97 9/184 31153
/proc/meminfo: memFree=28325768/32951124 swapFree=67111356/67111528
[pid=31148] ppid=31146 vsize=322160 CPUtime=201.27 cores=0,2,4,6
/proc/31148/stat : 31148 (claspmt) R 31146 31148 30588 0 -1 4202496 48004 0 0 0 20107 20 0 0 25 0 4 0 518275152 329891840 41756 33554432000 4194304 4964704 140735025022304 18446744073709551615 4364587 0 0 4096 18946 18446744073709551615 0 0 17 2 0 0 0
/proc/31148/statm: 80540 41756 460 189 0 74889 0
[pid=31148/tid=31150] ppid=31146 vsize=322160 CPUtime=50.14 cores=0,2,4,6
/proc/31148/task/31150/stat : 31150 (claspmt) R 31146 31148 30588 0 -1 4202560 5021 0 0 0 5013 1 0 0 25 0 4 0 518275245 329891840 41756 33554432000 4194304 4964704 140735025022304 18446744073709551615 4668488 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=31148/tid=31151] ppid=31146 vsize=322160 CPUtime=49.88 cores=0,2,4,6
/proc/31148/task/31151/stat : 31151 (claspmt) R 31146 31148 30588 0 -1 4202560 12528 0 0 0 4982 6 0 0 25 0 4 0 518275245 329891840 41756 33554432000 4194304 4964704 140735025022304 18446744073709551615 4669270 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=31148/tid=31152] ppid=31146 vsize=322160 CPUtime=50.15 cores=0,2,4,6
/proc/31148/task/31152/stat : 31152 (claspmt) R 31146 31148 30588 0 -1 4202560 9753 0 0 0 5009 6 0 0 25 0 4 0 518275245 329891840 41756 33554432000 4194304 4964704 140735025022304 18446744073709551615 4627204 0 0 4096 18946 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 201.27
Current children cumulated vsize (KiB) 322160

[startup+102.306 s]
/proc/loadavg: 7.97 8.01 7.98 9/184 31155
/proc/meminfo: memFree=28124860/32951124 swapFree=67111356/67111528
[pid=31148] ppid=31146 vsize=526452 CPUtime=405.82 cores=0,2,4,6
/proc/31148/stat : 31148 (claspmt) R 31146 31148 30588 0 -1 4202496 83737 0 0 0 40532 50 0 0 25 0 4 0 518275152 539086848 77489 33554432000 4194304 4964704 140735025022304 18446744073709551615 4668635 0 0 4096 18946 18446744073709551615 0 0 17 2 0 0 0
/proc/31148/statm: 131613 77489 460 189 0 125962 0
[pid=31148/tid=31150] ppid=31146 vsize=526452 CPUtime=101.35 cores=0,2,4,6
/proc/31148/task/31150/stat : 31150 (claspmt) R 31146 31148 30588 0 -1 4202560 10408 0 0 0 10129 6 0 0 25 0 4 0 518275245 539086848 77489 33554432000 4194304 4964704 140735025022304 18446744073709551615 4670248 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=31148/tid=31151] ppid=31146 vsize=526452 CPUtime=100.82 cores=0,2,4,6
/proc/31148/task/31151/stat : 31151 (claspmt) R 31146 31148 30588 0 -1 4202560 31574 0 0 0 10060 22 0 0 25 0 4 0 518275245 539086848 77489 33554432000 4194304 4964704 140735025022304 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=31148/tid=31152] ppid=31146 vsize=526452 CPUtime=101.35 cores=0,2,4,6
/proc/31148/task/31152/stat : 31152 (claspmt) R 31146 31148 30588 0 -1 4202560 17889 0 0 0 10123 12 0 0 25 0 4 0 518275245 539086848 77489 33554432000 4194304 4964704 140735025022304 18446744073709551615 4670100 0 0 4096 18946 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 405.82
Current children cumulated vsize (KiB) 526452

[startup+162.301 s]
/proc/loadavg: 8.02 8.02 7.98 9/184 31157
/proc/meminfo: memFree=28025744/32951124 swapFree=67111356/67111528
[pid=31148] ppid=31146 vsize=539208 CPUtime=645.48 cores=0,2,4,6
/proc/31148/stat : 31148 (claspmt) R 31146 31148 30588 0 -1 4202496 97093 0 0 0 64486 62 0 0 25 0 4 0 518275152 552148992 90845 33554432000 4194304 4964704 140735025022304 18446744073709551615 4670228 0 0 4096 18946 18446744073709551615 0 0 17 2 0 0 0
/proc/31148/statm: 134802 90845 460 189 0 129151 0
[pid=31148/tid=31150] ppid=31146 vsize=539208 CPUtime=161.36 cores=0,2,4,6
/proc/31148/task/31150/stat : 31150 (claspmt) R 31146 31148 30588 0 -1 4202560 11404 0 0 0 16128 8 0 0 25 0 4 0 518275245 552148992 90845 33554432000 4194304 4964704 140735025022304 18446744073709551615 4668632 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=31148/tid=31151] ppid=31146 vsize=539208 CPUtime=160.5 cores=0,2,4,6
/proc/31148/task/31151/stat : 31151 (claspmt) R 31146 31148 30588 0 -1 4202560 38608 0 0 0 16022 28 0 0 25 0 4 0 518275245 552148992 90845 33554432000 4194304 4964704 140735025022304 18446744073709551615 4321102 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=31148/tid=31152] ppid=31146 vsize=539208 CPUtime=161.35 cores=0,2,4,6
/proc/31148/task/31152/stat : 31152 (claspmt) R 31146 31148 30588 0 -1 4202560 19691 0 0 0 16121 14 0 0 25 0 4 0 518275245 552148992 90845 33554432000 4194304 4964704 140735025022304 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 645.48
Current children cumulated vsize (KiB) 539208

[startup+222.301 s]
/proc/loadavg: 8.09 8.04 7.99 9/184 31158
/proc/meminfo: memFree=27887568/32951124 swapFree=67111356/67111528
[pid=31148] ppid=31146 vsize=557220 CPUtime=885.16 cores=0,2,4,6
/proc/31148/stat : 31148 (claspmt) R 31146 31148 30588 0 -1 4202496 119594 0 0 0 88436 80 0 0 25 0 4 0 518275152 570593280 113318 33554432000 4194304 4964704 140735025022304 18446744073709551615 4670100 0 0 4096 18946 18446744073709551615 0 0 17 2 0 0 0
/proc/31148/statm: 139305 113318 460 189 0 133654 0
[pid=31148/tid=31150] ppid=31146 vsize=557220 CPUtime=221.35 cores=0,2,4,6
/proc/31148/task/31150/stat : 31150 (claspmt) R 31146 31148 30588 0 -1 4202560 13886 0 0 0 22125 10 0 0 25 0 4 0 518275245 570593280 113318 33554432000 4194304 4964704 140735025022304 18446744073709551615 4668635 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=31148/tid=31151] ppid=31146 vsize=557220 CPUtime=220.18 cores=0,2,4,6
/proc/31148/task/31151/stat : 31151 (claspmt) R 31146 31148 30588 0 -1 4202560 49856 0 0 0 21982 36 0 0 25 0 4 0 518275245 570593280 113318 33554432000 4194304 4964704 140735025022304 18446744073709551615 4627263 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=31148/tid=31152] ppid=31146 vsize=557220 CPUtime=221.34 cores=0,2,4,6
/proc/31148/task/31152/stat : 31152 (claspmt) R 31146 31148 30588 0 -1 4202560 23171 0 0 0 22117 17 0 0 25 0 4 0 518275245 570593280 113318 33554432000 4194304 4964704 140735025022304 18446744073709551615 4332351 0 0 4096 18946 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 885.16
Current children cumulated vsize (KiB) 557220

[startup+282.3 s]

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

[pid=31148/tid=31150] ppid=31146 vsize=1271284 CPUtime=701.35 cores=0,2,4,6
/proc/31148/task/31150/stat : 31150 (claspmt) R 31146 31148 30588 0 -1 4202560 27552 0 0 0 70114 21 0 0 25 0 4 0 518275245 1301794816 284883 33554432000 4194304 4964704 140735025022304 18446744073709551615 4653475 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=31148/tid=31151] ppid=31146 vsize=1271284 CPUtime=697.72 cores=0,2,4,6
/proc/31148/task/31151/stat : 31151 (claspmt) R 31146 31148 30588 0 -1 4202560 161626 0 0 0 69641 131 0 0 25 0 4 0 518275245 1301794816 284883 33554432000 4194304 4964704 140735025022304 18446744073709551615 4321102 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=31148/tid=31152] ppid=31146 vsize=1271284 CPUtime=701.35 cores=0,2,4,6
/proc/31148/task/31152/stat : 31152 (claspmt) R 31146 31148 30588 0 -1 4202560 54806 0 0 0 70093 42 0 0 25 0 4 0 518275245 1301794816 284883 33554432000 4194304 4964704 140735025022304 18446744073709551615 4669333 0 0 4096 18946 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2802.7
Current children cumulated vsize (KiB) 1271284

[startup+762.306 s]
/proc/loadavg: 8.06 8.05 8.00 9/184 31173
/proc/meminfo: memFree=26839272/32951124 swapFree=67111356/67111528
[pid=31148] ppid=31146 vsize=1336820 CPUtime=3042.4 cores=0,2,4,6
/proc/31148/stat : 31148 (claspmt) R 31146 31148 30588 0 -1 4202496 298031 0 0 0 304007 233 0 0 25 0 4 0 518275152 1368903680 291637 33554432000 4194304 4964704 140735025022304 18446744073709551615 4654636 0 0 4096 18946 18446744073709551615 0 0 17 2 0 0 0
/proc/31148/statm: 334205 291637 460 189 0 328554 0
[pid=31148/tid=31150] ppid=31146 vsize=1336820 CPUtime=761.35 cores=0,2,4,6
/proc/31148/task/31150/stat : 31150 (claspmt) R 31146 31148 30588 0 -1 4202560 27594 0 0 0 76114 21 0 0 25 0 4 0 518275245 1368903680 291637 33554432000 4194304 4964704 140735025022304 18446744073709551615 4670100 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=31148/tid=31151] ppid=31146 vsize=1336820 CPUtime=757.41 cores=0,2,4,6
/proc/31148/task/31151/stat : 31151 (claspmt) R 31146 31148 30588 0 -1 4202560 166428 0 0 0 75605 136 0 0 25 0 4 0 518275245 1368903680 291637 33554432000 4194304 4964704 140735025022304 18446744073709551615 4320909 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=31148/tid=31152] ppid=31146 vsize=1336820 CPUtime=761.36 cores=0,2,4,6
/proc/31148/task/31152/stat : 31152 (claspmt) R 31146 31148 30588 0 -1 4202560 55504 0 0 0 76092 44 0 0 25 0 4 0 518275245 1368903680 291637 33554432000 4194304 4964704 140735025022304 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3042.4
Current children cumulated vsize (KiB) 1336820

[startup+822.3 s]
/proc/loadavg: 8.12 8.07 8.01 9/184 31174
/proc/meminfo: memFree=26782688/32951124 swapFree=67111356/67111528
[pid=31148] ppid=31146 vsize=1336820 CPUtime=3282.07 cores=0,2,4,6
/proc/31148/stat : 31148 (claspmt) R 31146 31148 30588 0 -1 4202496 311959 0 0 0 327957 250 0 0 25 0 4 0 518275152 1368903680 305565 33554432000 4194304 4964704 140735025022304 18446744073709551615 4668609 0 0 4096 18946 18446744073709551615 0 0 17 2 0 0 0
/proc/31148/statm: 334205 305565 460 189 0 328554 0
[pid=31148/tid=31150] ppid=31146 vsize=1336820 CPUtime=821.34 cores=0,2,4,6
/proc/31148/task/31150/stat : 31150 (claspmt) R 31146 31148 30588 0 -1 4202560 27629 0 0 0 82113 21 0 0 25 0 4 0 518275245 1368903680 305565 33554432000 4194304 4964704 140735025022304 18446744073709551615 4669760 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=31148/tid=31151] ppid=31146 vsize=1336820 CPUtime=817.1 cores=0,2,4,6
/proc/31148/task/31151/stat : 31151 (claspmt) R 31146 31148 30588 0 -1 4202560 179633 0 0 0 81558 152 0 0 25 0 4 0 518275245 1368903680 305565 33554432000 4194304 4964704 140735025022304 18446744073709551615 4670266 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=31148/tid=31152] ppid=31146 vsize=1336820 CPUtime=821.36 cores=0,2,4,6
/proc/31148/task/31152/stat : 31152 (claspmt) R 31146 31148 30588 0 -1 4202560 55534 0 0 0 82092 44 0 0 25 0 4 0 518275245 1368903680 305565 33554432000 4194304 4964704 140735025022304 18446744073709551615 4669270 0 0 4096 18946 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3282.07
Current children cumulated vsize (KiB) 1336820

[startup+882.3 s]
/proc/loadavg: 8.14 8.08 8.01 9/184 31176
/proc/meminfo: memFree=26736500/32951124 swapFree=67111356/67111528
[pid=31148] ppid=31146 vsize=1429432 CPUtime=3521.76 cores=0,2,4,6
/proc/31148/stat : 31148 (claspmt) R 31146 31148 30588 0 -1 4202496 322984 0 0 0 351917 259 0 0 25 0 4 0 518275152 1463738368 316587 33554432000 4194304 4964704 140735025022304 18446744073709551615 4669423 0 0 4096 18946 18446744073709551615 0 0 17 2 0 0 0
/proc/31148/statm: 357358 316587 460 189 0 351707 0
[pid=31148/tid=31150] ppid=31146 vsize=1429432 CPUtime=881.33 cores=0,2,4,6
/proc/31148/task/31150/stat : 31150 (claspmt) R 31146 31148 30588 0 -1 4202560 29269 0 0 0 88110 23 0 0 25 0 4 0 518275245 1463738368 316587 33554432000 4194304 4964704 140735025022304 18446744073709551615 4669270 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=31148/tid=31151] ppid=31146 vsize=1429432 CPUtime=876.81 cores=0,2,4,6
/proc/31148/task/31151/stat : 31151 (claspmt) R 31146 31148 30588 0 -1 4202560 179682 0 0 0 87528 153 0 0 25 0 4 0 518275245 1463738368 316587 33554432000 4194304 4964704 140735025022304 18446744073709551615 4669051 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=31148/tid=31152] ppid=31146 vsize=1429432 CPUtime=881.35 cores=0,2,4,6
/proc/31148/task/31152/stat : 31152 (claspmt) R 31146 31148 30588 0 -1 4202560 62482 0 0 0 88088 47 0 0 25 0 4 0 518275245 1463738368 316587 33554432000 4194304 4964704 140735025022304 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3521.76
Current children cumulated vsize (KiB) 1429432

[startup+942.3 s]
/proc/loadavg: 8.13 8.09 8.02 9/184 31186
/proc/meminfo: memFree=26650036/32951124 swapFree=67111356/67111528
[pid=31148] ppid=31146 vsize=1466568 CPUtime=3761.45 cores=0,2,4,6
/proc/31148/stat : 31148 (claspmt) R 31146 31148 30588 0 -1 4202496 338851 0 0 0 375875 270 0 0 25 0 4 0 518275152 1501765632 332454 33554432000 4194304 4964704 140735025022304 18446744073709551615 4670219 0 0 4096 18946 18446744073709551615 0 0 17 2 0 0 0
/proc/31148/statm: 366642 332454 460 189 0 360991 0
[pid=31148/tid=31150] ppid=31146 vsize=1466568 CPUtime=941.33 cores=0,2,4,6
/proc/31148/task/31150/stat : 31150 (claspmt) R 31146 31148 30588 0 -1 4202560 29269 0 0 0 94110 23 0 0 25 0 4 0 518275245 1501765632 332454 33554432000 4194304 4964704 140735025022304 18446744073709551615 4669277 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=31148/tid=31151] ppid=31146 vsize=1466568 CPUtime=936.5 cores=0,2,4,6
/proc/31148/task/31151/stat : 31151 (claspmt) R 31146 31148 30588 0 -1 4202560 188950 0 0 0 93494 156 0 0 25 0 4 0 518275245 1501765632 332454 33554432000 4194304 4964704 140735025022304 18446744073709551615 4669296 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=31148/tid=31152] ppid=31146 vsize=1466568 CPUtime=941.35 cores=0,2,4,6
/proc/31148/task/31152/stat : 31152 (claspmt) R 31146 31148 30588 0 -1 4202560 68448 0 0 0 94081 54 0 0 25 0 4 0 518275245 1501765632 332454 33554432000 4194304 4964704 140735025022304 18446744073709551615 4670357 0 0 4096 18946 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3761.45
Current children cumulated vsize (KiB) 1466568

[startup+1002.3 s]
/proc/loadavg: 8.09 8.09 8.02 9/184 31188
/proc/meminfo: memFree=26622356/32951124 swapFree=67111356/67111528
[pid=31148] ppid=31146 vsize=1466568 CPUtime=4001.16 cores=0,2,4,6
/proc/31148/stat : 31148 (claspmt) R 31146 31148 30588 0 -1 4202496 338854 0 0 0 399845 271 0 0 25 0 4 0 518275152 1501765632 332457 33554432000 4194304 4964704 140735025022304 18446744073709551615 4670219 0 0 4096 18946 18446744073709551615 0 0 17 2 0 0 0
/proc/31148/statm: 366642 332457 460 189 0 360991 0
[pid=31148/tid=31150] ppid=31146 vsize=1466568 CPUtime=1001.34 cores=0,2,4,6
/proc/31148/task/31150/stat : 31150 (claspmt) R 31146 31148 30588 0 -1 4202560 29270 0 0 0 100110 24 0 0 25 0 4 0 518275245 1501765632 332457 33554432000 4194304 4964704 140735025022304 18446744073709551615 4627263 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=31148/tid=31151] ppid=31146 vsize=1466568 CPUtime=996.21 cores=0,2,4,6
/proc/31148/task/31151/stat : 31151 (claspmt) R 31146 31148 30588 0 -1 4202560 188952 0 0 0 99465 156 0 0 25 0 4 0 518275245 1501765632 332457 33554432000 4194304 4964704 140735025022304 18446744073709551615 4321102 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=31148/tid=31152] ppid=31146 vsize=1466568 CPUtime=1001.35 cores=0,2,4,6
/proc/31148/task/31152/stat : 31152 (claspmt) R 31146 31148 30588 0 -1 4202560 68448 0 0 0 100081 54 0 0 25 0 4 0 518275245 1501765632 332457 33554432000 4194304 4964704 140735025022304 18446744073709551615 4670219 0 0 4096 18946 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4001.16
Current children cumulated vsize (KiB) 1466568

[startup+1062.3 s]
/proc/loadavg: 8.03 8.07 8.01 9/184 31190
/proc/meminfo: memFree=26600984/32951124 swapFree=67111356/67111528
[pid=31148] ppid=31146 vsize=1466568 CPUtime=4240.87 cores=0,2,4,6
/proc/31148/stat : 31148 (claspmt) R 31146 31148 30588 0 -1 4202496 338859 0 0 0 423816 271 0 0 25 0 4 0 518275152 1501765632 332462 33554432000 4194304 4964704 140735025022304 18446744073709551615 4669270 0 0 4096 18946 18446744073709551615 0 0 17 2 0 0 0
/proc/31148/statm: 366642 332462 460 189 0 360991 0
[pid=31148/tid=31150] ppid=31146 vsize=1466568 CPUtime=1061.34 cores=0,2,4,6
/proc/31148/task/31150/stat : 31150 (claspmt) R 31146 31148 30588 0 -1 4202560 29270 0 0 0 106110 24 0 0 25 0 4 0 518275245 1501765632 332462 33554432000 4194304 4964704 140735025022304 18446744073709551615 4670100 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=31148/tid=31151] ppid=31146 vsize=1466568 CPUtime=1055.91 cores=0,2,4,6
/proc/31148/task/31151/stat : 31151 (claspmt) R 31146 31148 30588 0 -1 4202560 188952 0 0 0 105435 156 0 0 25 0 4 0 518275245 1501765632 332462 33554432000 4194304 4964704 140735025022304 18446744073709551615 4313753 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=31148/tid=31152] ppid=31146 vsize=1466568 CPUtime=1061.35 cores=0,2,4,6
/proc/31148/task/31152/stat : 31152 (claspmt) R 31146 31148 30588 0 -1 4202560 68449 0 0 0 106081 54 0 0 25 0 4 0 518275245 1501765632 332462 33554432000 4194304 4964704 140735025022304 18446744073709551615 4668907 0 0 4096 18946 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4240.87
Current children cumulated vsize (KiB) 1466568

[startup+1122.3 s]
/proc/loadavg: 8.25 8.12 8.03 9/184 31194
/proc/meminfo: memFree=26595704/32951124 swapFree=67111356/67111528
[pid=31148] ppid=31146 vsize=1466568 CPUtime=4479.74 cores=0,2,4,6
/proc/31148/stat : 31148 (claspmt) R 31146 31148 30588 0 -1 4202496 338883 0 0 0 447703 271 0 0 25 0 4 0 518275152 1501765632 332486 33554432000 4194304 4964704 140735025022304 18446744073709551615 4670277 0 0 4096 18946 18446744073709551615 0 0 17 2 0 0 0
/proc/31148/statm: 366642 332486 460 189 0 360991 0
[pid=31148/tid=31150] ppid=31146 vsize=1466568 CPUtime=1121.34 cores=0,2,4,6
/proc/31148/task/31150/stat : 31150 (claspmt) R 31146 31148 30588 0 -1 4202560 29270 0 0 0 112110 24 0 0 25 0 4 0 518275245 1501765632 332486 33554432000 4194304 4964704 140735025022304 18446744073709551615 4670219 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=31148/tid=31151] ppid=31146 vsize=1466568 CPUtime=1115.45 cores=0,2,4,6
/proc/31148/task/31151/stat : 31151 (claspmt) R 31146 31148 30588 0 -1 4202560 188967 0 0 0 111389 156 0 0 25 0 4 0 518275245 1501765632 332486 33554432000 4194304 4964704 140735025022304 18446744073709551615 4321102 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=31148/tid=31152] ppid=31146 vsize=1466568 CPUtime=1121.35 cores=0,2,4,6
/proc/31148/task/31152/stat : 31152 (claspmt) R 31146 31148 30588 0 -1 4202560 68451 0 0 0 112081 54 0 0 25 0 4 0 518275245 1501765632 332486 33554432000 4194304 4964704 140735025022304 18446744073709551615 4320909 0 0 4096 18946 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4479.74
Current children cumulated vsize (KiB) 1466568

[startup+1182.3 s]
/proc/loadavg: 8.13 8.11 8.03 9/184 31196
/proc/meminfo: memFree=26553500/32951124 swapFree=67111356/67111528
[pid=31148] ppid=31146 vsize=1466568 CPUtime=4719.41 cores=0,2,4,6
/proc/31148/stat : 31148 (claspmt) R 31146 31148 30588 0 -1 4202496 342819 0 0 0 471665 276 0 0 25 0 4 0 518275152 1501765632 336422 33554432000 4194304 4964704 140735025022304 18446744073709551615 4370269 0 0 4096 18946 18446744073709551615 0 0 17 2 0 0 0
/proc/31148/statm: 366642 336422 460 189 0 360991 0
[pid=31148/tid=31150] ppid=31146 vsize=1466568 CPUtime=1181.34 cores=0,2,4,6
/proc/31148/task/31150/stat : 31150 (claspmt) R 31146 31148 30588 0 -1 4202560 29271 0 0 0 118110 24 0 0 25 0 4 0 518275245 1501765632 336422 33554432000 4194304 4964704 140735025022304 18446744073709551615 4320909 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=31148/tid=31151] ppid=31146 vsize=1466568 CPUtime=1175.12 cores=0,2,4,6
/proc/31148/task/31151/stat : 31151 (claspmt) R 31146 31148 30588 0 -1 4202560 188974 0 0 0 117356 156 0 0 25 0 4 0 518275245 1501765632 336422 33554432000 4194304 4964704 140735025022304 18446744073709551615 4668654 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=31148/tid=31152] ppid=31146 vsize=1466568 CPUtime=1181.36 cores=0,2,4,6
/proc/31148/task/31152/stat : 31152 (claspmt) R 31146 31148 30588 0 -1 4202560 72379 0 0 0 118077 59 0 0 25 0 4 0 518275245 1501765632 336422 33554432000 4194304 4964704 140735025022304 18446744073709551615 222921438241 0 0 4096 18946 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4719.41
Current children cumulated vsize (KiB) 1466568



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1202.5 s]
/proc/loadavg: 8.17 8.12 8.03 5/179 31197
/proc/meminfo: memFree=27317504/32951124 swapFree=67111356/67111528
[pid=31148] ppid=31146 vsize=1532104 CPUtime=4800.11 cores=0,2,4,6
/proc/31148/stat : 31148 (claspmt) R 31146 31148 30588 0 -1 4202496 347174 0 0 0 479730 281 0 0 25 0 4 0 518275152 1568874496 340777 33554432000 4194304 4964704 140735025022304 18446744073709551615 4670228 0 0 4096 18946 18446744073709551615 0 0 17 2 0 0 0
/proc/31148/statm: 383026 340777 460 189 0 377375 0
[pid=31148/tid=31150] ppid=31146 vsize=1532104 CPUtime=1201.54 cores=0,2,4,6
/proc/31148/task/31150/stat : 31150 (claspmt) R 31146 31148 30588 0 -1 4202560 29271 0 0 0 120130 24 0 0 25 0 4 0 518275245 1568874496 340777 33554432000 4194304 4964704 140735025022304 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=31148/tid=31151] ppid=31146 vsize=1532104 CPUtime=1195.21 cores=0,2,4,6
/proc/31148/task/31151/stat : 31151 (claspmt) R 31146 31148 30588 0 -1 4202560 188978 0 0 0 119365 156 0 0 25 0 4 0 518275245 1568874496 340777 33554432000 4194304 4964704 140735025022304 18446744073709551615 4321102 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=31148/tid=31152] ppid=31146 vsize=1532104 CPUtime=1201.56 cores=0,2,4,6
/proc/31148/task/31152/stat : 31152 (claspmt) R 31146 31148 30588 0 -1 4202560 76730 0 0 0 120092 64 0 0 25 0 4 0 518275245 1568874496 340777 33554432000 4194304 4964704 140735025022304 18446744073709551615 4683994 0 0 4096 18946 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4800.11
Current children cumulated vsize (KiB) 1532104

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

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

[startup+1202.61 s]
/proc/loadavg: 8.17 8.12 8.03 5/179 31197
/proc/meminfo: memFree=27317504/32951124 swapFree=67111356/67111528
[pid=31148] ppid=31146 vsize=1516912 CPUtime=4800.23 cores=0,2,4,6
/proc/31148/stat : 31148 (claspmt) R 31146 31148 30588 0 -1 4202496 347184 0 0 0 479742 281 0 0 25 0 1 0 518275152 1553317888 336468 33554432000 4194304 4964704 140735025022304 18446744073709551615 222921433649 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/31148/statm: 379228 336468 470 189 0 373577 0
Current children cumulated CPU time (s) 4800.23
Current children cumulated vsize (KiB) 1516912

[startup+1202.7 s]
/proc/loadavg: 8.17 8.12 8.03 5/179 31197
/proc/meminfo: memFree=27317504/32951124 swapFree=67111356/67111528
[pid=31148] ppid=31146 vsize=1392988 CPUtime=4800.33 cores=0,2,4,6
/proc/31148/stat : 31148 (claspmt) R 31146 31148 30588 0 -1 4202496 347185 0 0 0 479751 282 0 0 25 0 1 0 518275152 1426419712 312249 33554432000 4194304 4964704 140735025022304 18446744073709551615 222921820519 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/31148/statm: 348247 312249 471 189 0 342596 0
Current children cumulated CPU time (s) 4800.33
Current children cumulated vsize (KiB) 1392988

Child status: 0
Real time (s): 1202.76
CPU time (s): 4800.39
CPU user time (s): 4797.51
CPU system time (s): 2.87856
CPU usage (%): 399.114
Max. virtual memory (cumulated for all children) (KiB): 1532104

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4797.51
system time used= 2.87856
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 347186
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= 3685
involuntary context switches= 25672

runsolver used 1.87471 second user time and 4.23236 second system time

The end

Launcher Data 

Begin job on node109 at 2011-04-29 10:45:44
IDJOB=3299871
IDBENCH=82469
IDSOLVER=1683
FILE ID=node109/3299871-1304066744
RUNJOBID= node109-1304064292-30606
PBS_JOBID= 13170459
Free space on /tmp= 72372 MiB

SOLVER NAME= claspmt 2.0-R4095
BENCH NAME= SAT11/application/jarvisalo/HWMCC10-combination-timeframe-expansion/hwmcc10-timeframe-expansion-k50-pdtpmsns2-tseitin.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-3299871-1304066744/watcher-3299871-1304066744 -o /tmp/evaluation-result-3299871-1304066744/solver-3299871-1304066744 -C 4800 -W 1300 -M 15500  HOME/claspmt -t4 -p HOME/sat11-port.txt --distribute=all,2 HOME/instance-3299871-1304066744.cnf

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

MD5SUM BENCH= 9059f458d76edcc4dc5681746a6de6e5
RANDOM SEED=1082334178

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

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.809
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.809
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.809
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.809
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.809
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.82
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.809
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:     32951124 kB
MemFree:      28539564 kB
Buffers:        889104 kB
Cached:        2882304 kB
SwapCached:        168 kB
Active:        1012020 kB
Inactive:      2974328 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      28539564 kB
SwapTotal:    67111528 kB
SwapFree:     67111356 kB
Dirty:           14540 kB
Writeback:           0 kB
AnonPages:      214612 kB
Mapped:          15556 kB
Slab:           361264 kB
PageTables:       4964 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   373520 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= 72380 MiB
End job on node109 at 2011-04-29 11:05:49