Trace number 3312336

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
STRUCTure 0.1? (TO) 2302.02 1302.6

General information on the benchmark

Namerandom/large/
unif-k3-r4.2-v50000-c210000-S1969540674-065-UNKNOWN.cnf
MD5SUMfcb14103324f734a2e69e02c062e67ed
Bench CategoryRANDOM (random 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 variables50000
Number of clauses210000
Sum of the clauses size630000
Maximum clause length3
Minimum clause length3
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 3210000
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50

Solver Data 

0.11/0.11	05:49 INFO : Reading from input HOME/instance-3312336-1304111149.cnf
1.24/1.07	Executor set job limit to 1000000
1.24/1.07	Executor set job limit to 1000000
1.24/1.07	Executor set job limit to 1000000
1.24/1.07	Executor set job limit to 1000000
1.24/1.07	Starting Executor!
1.24/1.07	Starting Executor!
1.24/1.07	Starting Executor!
1.24/1.07	Starting Executor!
4.35/2.80	05:52 INFO : 49820 variables remaining out of 50000
4.35/2.80	05:52 INFO : 835388 literals remaining out of 840000
1363.83/367.94	11:57 ERROR: Failed to solve instance
1363.83/367.94	java.lang.OutOfMemoryError: Java heap space
1363.83/367.94		at gnu.trove.TIntLongHashMap.rehash(TIntLongHashMap.java:222)
1363.83/367.94		at gnu.trove.THash.postInsertHook(THash.java:370)
1363.83/367.94		at gnu.trove.TIntLongHashMap.doPut(TIntLongHashMap.java:193)
1363.83/367.94		at gnu.trove.TIntLongHashMap.put(TIntLongHashMap.java:160)
1363.83/367.94		at ibis.structure.Subsumming.run(Subsumming.java:58)
1363.83/367.94		at ibis.structure.Solver.simplify(Solver.java:205)
1363.83/367.94		at ibis.structure.Solver.solve(Solver.java:113)
1363.83/367.94		at ibis.structure.SolveActivity.initialize(SolveActivity.java:29)
1363.83/367.94		at ibis.constellation.impl.ActivityRecord.runStateMachine(ActivityRecord.java:143)
1363.83/367.94		at ibis.constellation.impl.ActivityRecord.run(ActivityRecord.java:215)
1363.83/367.94		at ibis.constellation.impl.ExecutorWrapper.process(ExecutorWrapper.java:398)
1363.83/367.94		at ibis.constellation.impl.ExecutorWrapper.process(ExecutorWrapper.java:420)
1363.83/367.94		at ibis.constellation.impl.SingleThreadedConstellation.processActivities(SingleThreadedConstellation.java:1023)
1363.83/367.94		at ibis.constellation.impl.ExecutorWrapper.processActivities(ExecutorWrapper.java:515)
1363.83/367.94		at ibis.constellation.Executor.processActivities(Executor.java:75)
1363.83/367.94		at ibis.constellation.SimpleExecutor.run(SimpleExecutor.java:54)
1363.83/367.94		at ibis.constellation.impl.ExecutorWrapper.runExecutor(ExecutorWrapper.java:521)
1363.83/367.94		at ibis.constellation.impl.SingleThreadedConstellation.run(SingleThreadedConstellation.java:1070)
1733.83/736.10	14:03 ERROR: Failed to solve instance
1733.83/736.10	java.lang.OutOfMemoryError: Java heap space
1733.83/736.10		at gnu.trove.TIntArrayList.ensureCapacity(TIntArrayList.java:100)
1733.83/736.10		at gnu.trove.TIntArrayList.add(TIntArrayList.java:144)
1733.83/736.10		at ibis.structure.Subsumming.run(Subsumming.java:57)
1733.83/736.10		at ibis.structure.Solver.simplify(Solver.java:205)
1733.83/736.10		at ibis.structure.Solver.solve(Solver.java:113)
1733.83/736.10		at ibis.structure.SolveActivity.initialize(SolveActivity.java:29)
1733.83/736.10		at ibis.constellation.impl.ActivityRecord.runStateMachine(ActivityRecord.java:143)
1733.83/736.10		at ibis.constellation.impl.ActivityRecord.run(ActivityRecord.java:215)
1733.83/736.10		at ibis.constellation.impl.ExecutorWrapper.process(ExecutorWrapper.java:398)
1733.83/736.10		at ibis.constellation.impl.ExecutorWrapper.process(ExecutorWrapper.java:420)
1733.83/736.10		at ibis.constellation.impl.SingleThreadedConstellation.processActivities(SingleThreadedConstellation.java:1023)
1733.83/736.10		at ibis.constellation.impl.ExecutorWrapper.processActivities(ExecutorWrapper.java:515)
1733.83/736.10		at ibis.constellation.Executor.processActivities(Executor.java:75)
1733.83/736.10		at ibis.constellation.SimpleExecutor.run(SimpleExecutor.java:54)
1733.83/736.10		at ibis.constellation.impl.ExecutorWrapper.runExecutor(ExecutorWrapper.java:521)
1733.83/736.10		at ibis.constellation.impl.SingleThreadedConstellation.run(SingleThreadedConstellation.java:1070)
1741.79/743.31	18:12 ERROR: Failed to solve instance
1741.79/743.31	java.lang.OutOfMemoryError: Java heap space
1741.79/743.31		at gnu.trove.TIntLongHashMap.rehash(TIntLongHashMap.java:222)
1741.79/743.31		at gnu.trove.THash.postInsertHook(THash.java:370)
1741.79/743.31		at gnu.trove.TIntLongHashMap.doPut(TIntLongHashMap.java:193)
1741.79/743.31		at gnu.trove.TIntLongHashMap.put(TIntLongHashMap.java:160)
1741.79/743.31		at ibis.structure.Subsumming.run(Subsumming.java:58)
1741.79/743.31		at ibis.structure.Solver.simplify(Solver.java:205)
1741.79/743.31		at ibis.structure.Solver.solve(Solver.java:113)
1741.79/743.31		at ibis.structure.SolveActivity.initialize(SolveActivity.java:29)
1741.79/743.31		at ibis.constellation.impl.ActivityRecord.runStateMachine(ActivityRecord.java:143)
1741.79/743.31		at ibis.constellation.impl.ActivityRecord.run(ActivityRecord.java:215)
1741.79/743.31		at ibis.constellation.impl.ExecutorWrapper.process(ExecutorWrapper.java:398)
1741.79/743.31		at ibis.constellation.impl.ExecutorWrapper.process(ExecutorWrapper.java:420)
1741.79/743.31		at ibis.constellation.impl.SingleThreadedConstellation.processActivities(SingleThreadedConstellation.java:1023)
1741.79/743.31		at ibis.constellation.impl.ExecutorWrapper.processActivities(ExecutorWrapper.java:515)
1741.79/743.31		at ibis.constellation.Executor.processActivities(Executor.java:75)
1741.79/743.31		at ibis.constellation.SimpleExecutor.run(SimpleExecutor.java:54)
1741.79/743.31		at ibis.constellation.impl.ExecutorWrapper.runExecutor(ExecutorWrapper.java:521)
1741.79/743.31		at ibis.constellation.impl.SingleThreadedConstellation.run(SingleThreadedConstellation.java:1070)
2296.18/1296.90	27:26 ERROR: Failed to solve instance
2296.18/1296.90	java.lang.OutOfMemoryError: Java heap space
2296.18/1296.90		at ibis.structure.ImplicationsGraph.create(ImplicationsGraph.java:627)
2296.18/1296.90		at ibis.structure.ImplicationsGraph.<init>(ImplicationsGraph.java:30)
2296.18/1296.90		at ibis.structure.Solver.<init>(Solver.java:36)
2296.18/1296.90		at ibis.structure.SolveActivity.initialize(SolveActivity.java:28)
2296.18/1296.90		at ibis.constellation.impl.ActivityRecord.runStateMachine(ActivityRecord.java:143)
2296.18/1296.90		at ibis.constellation.impl.ActivityRecord.run(ActivityRecord.java:215)
2296.18/1296.90		at ibis.constellation.impl.ExecutorWrapper.process(ExecutorWrapper.java:398)
2296.18/1296.90		at ibis.constellation.impl.ExecutorWrapper.process(ExecutorWrapper.java:420)
2296.18/1296.90		at ibis.constellation.impl.SingleThreadedConstellation.processActivities(SingleThreadedConstellation.java:1023)
2296.18/1296.90		at ibis.constellation.impl.ExecutorWrapper.processActivities(ExecutorWrapper.java:515)
2296.18/1296.90		at ibis.constellation.Executor.processActivities(Executor.java:75)
2296.18/1296.90		at ibis.constellation.SimpleExecutor.run(SimpleExecutor.java:54)
2296.18/1296.90		at ibis.constellation.impl.ExecutorWrapper.runExecutor(ExecutorWrapper.java:521)
2296.18/1296.90		at ibis.constellation.impl.SingleThreadedConstellation.run(SingleThreadedConstellation.java:1070)
2299.59/1300.23	27:29 ERROR: Failed to solve instance
2299.59/1300.23	java.lang.OutOfMemoryError: Java heap space

Verifier Data 

ERROR: Unexpected answer ! (SATISFIABLE/UNSATISFIABLE expected)
Got answer: <no 's ' line found>

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-3312336-1304111149/watcher-3312336-1304111149 -o /tmp/evaluation-result-3312336-1304111149/solver-3312336-1304111149 -C 4800 -W 1300 -M 15500 run 15000 4 HOME HOME HOME/instance-3312336-1304111149.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.25 7.87 7.29 2/194 2819
/proc/meminfo: memFree=22105772/32950928 swapFree=67111524/67111528
[pid=2819] ppid=2817 vsize=23028 CPUtime=0 cores=0,2,4,6
/proc/2819/stat : 2819 (java) R 2817 2819 2758 0 -1 4202496 1086 0 0 0 0 0 0 0 25 0 1 0 522713717 23580672 572 33554432000 1073741824 1073778376 140733301509008 18446744073709551615 268267726592 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/2819/statm: 5757 582 438 9 0 124 0
[pid=2819/tid=2820] ppid=2817 vsize=28384 CPUtime=0 cores=0,2,4,6
/proc/2819/task/2820/stat : 2820 (java) R 2817 2819 2758 0 -1 4202560 66 0 0 0 0 0 0 0 25 0 2 0 522713717 29065216 894 33554432000 1073741824 1073778376 140733301509008 18446744073709551615 268267768672 0 0 4096 0 0 0 0 -1 4 0 0 0

[startup+0.0632989 s]
/proc/loadavg: 7.25 7.87 7.29 2/194 2819
/proc/meminfo: memFree=22105772/32950928 swapFree=67111524/67111528
[pid=2819] ppid=2817 vsize=15675316 CPUtime=0.05 cores=0,2,4,6
/proc/2819/stat : 2819 (java) S 2817 2819 2758 0 -1 4202496 4348 0 1 0 5 0 0 0 25 0 18 0 522713717 16051523584 3784 33554432000 1073741824 1073778376 140733301509008 18446744073709551615 268284491749 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/2819/statm: 3918829 3785 1779 9 0 3909548 0
[pid=2819/tid=2820] ppid=2817 vsize=15675316 CPUtime=0.04 cores=0,2,4,6
/proc/2819/task/2820/stat : 2820 (java) R 2817 2819 2758 0 -1 4202560 2926 0 1 0 4 0 0 0 25 0 18 0 522713717 16051523584 3785 33554432000 1073741824 1073778376 140733301509008 18446744073709551615 47933881252926 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 15675316

[startup+0.100319 s]
/proc/loadavg: 7.25 7.87 7.29 2/194 2819
/proc/meminfo: memFree=22105772/32950928 swapFree=67111524/67111528
[pid=2819] ppid=2817 vsize=15676784 CPUtime=0.11 cores=0,2,4,6
/proc/2819/stat : 2819 (java) S 2817 2819 2758 0 -1 4202496 5665 0 1 0 10 1 0 0 25 0 18 0 522713717 16053026816 5053 33554432000 1073741824 1073778376 140733301509008 18446744073709551615 268284491749 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/2819/statm: 3919196 5054 2118 9 0 3909915 0
[pid=2819/tid=2820] ppid=2817 vsize=15676784 CPUtime=0.09 cores=0,2,4,6
/proc/2819/task/2820/stat : 2820 (java) R 2817 2819 2758 0 -1 4202560 3509 0 1 0 8 1 0 0 25 0 18 0 522713717 16053026816 5054 33554432000 1073741824 1073778376 140733301509008 18446744073709551615 268284515787 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 15676784

[startup+0.300235 s]
/proc/loadavg: 7.25 7.87 7.29 2/194 2819
/proc/meminfo: memFree=22105772/32950928 swapFree=67111524/67111528
[pid=2819] ppid=2817 vsize=15684136 CPUtime=0.52 cores=0,2,4,6
/proc/2819/stat : 2819 (java) S 2817 2819 2758 0 -1 4202496 16119 0 1 0 50 2 0 0 25 0 18 0 522713717 16060555264 14535 33554432000 1073741824 1073778376 140733301509008 18446744073709551615 268284491749 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/2819/statm: 3921034 14541 2207 9 0 3911753 0
[pid=2819/tid=2820] ppid=2817 vsize=15684136 CPUtime=0.28 cores=0,2,4,6
/proc/2819/task/2820/stat : 2820 (java) R 2817 2819 2758 0 -1 4202560 11210 0 1 0 27 1 0 0 25 0 18 0 522713717 16060555264 14544 33554432000 1073741824 1073778376 140733301509008 18446744073709551615 46912505588002 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.52
Current children cumulated vsize (KiB) 15684136

[startup+0.700239 s]
/proc/loadavg: 7.25 7.87 7.29 2/194 2819
/proc/meminfo: memFree=22105772/32950928 swapFree=67111524/67111528
[pid=2819] ppid=2817 vsize=15684136 CPUtime=0.93 cores=0,2,4,6
/proc/2819/stat : 2819 (java) S 2817 2819 2758 0 -1 4202496 41673 0 1 0 88 5 0 0 25 0 18 0 522713717 16060555264 40086 33554432000 1073741824 1073778376 140733301509008 18446744073709551615 268284491749 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/2819/statm: 3921034 40086 2223 9 0 3911753 0
[pid=2819/tid=2820] ppid=2817 vsize=15684136 CPUtime=0.67 cores=0,2,4,6
/proc/2819/task/2820/stat : 2820 (java) R 2817 2819 2758 0 -1 4202560 35539 0 1 0 63 4 0 0 25 0 18 0 522713717 16060555264 40086 33554432000 1073741824 1073778376 140733301509008 18446744073709551615 46912505641754 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.93
Current children cumulated vsize (KiB) 15684136

[startup+1.501 s]
/proc/loadavg: 6.99 7.81 7.27 5/216 2841
/proc/meminfo: memFree=21788728/32950928 swapFree=67111524/67111528
[pid=2819] ppid=2817 vsize=15690320 CPUtime=2.08 cores=0,2,4,6
/proc/2819/stat : 2819 (java) S 2817 2819 2758 0 -1 4202496 55174 0 1 0 201 7 0 0 25 0 22 0 522713717 16066887680 51199 33554432000 1073741824 1073778376 140733301509008 18446744073709551615 268284491749 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/2819/statm: 3922580 51199 2261 9 0 3913299 0
[pid=2819/tid=2820] ppid=2817 vsize=15690320 CPUtime=1.46 cores=0,2,4,6
/proc/2819/task/2820/stat : 2820 (java) R 2817 2819 2758 0 -1 4202560 35671 0 1 0 142 4 0 0 25 0 22 0 522713717 16066887680 51199 33554432000 1073741824 1073778376 140733301509008 18446744073709551615 46912505720002 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=2819/tid=2822] ppid=2817 vsize=15690320 CPUtime=0.01 cores=0,2,4,6
/proc/2819/task/2822/stat : 2822 (java) S 2817 2819 2758 0 -1 4202560 827 0 0 0 1 0 0 0 16 0 22 0 522713717 16066887680 51199 33554432000 1073741824 1073778376 140733301509008 18446744073709551615 268284504985 0 4 0 16800975 18446604453892917248 0 0 -1 4 0 0 0
[pid=2819/tid=2823] ppid=2817 vsize=15690320 CPUtime=0 cores=0,2,4,6
/proc/2819/task/2823/stat : 2823 (java) S 2817 2819 2758 0 -1 4202560 407 0 0 0 0 0 0 0 15 0 22 0 522713717 16066887680 51199 33554432000 1073741824 1073778376 140733301509008 18446744073709551615 268284504985 0 4 0 16800975 18446604453892917248 0 0 -1 2 0 0 0
[pid=2819/tid=2824] ppid=2817 vsize=15690320 CPUtime=0 cores=0,2,4,6
/proc/2819/task/2824/stat : 2824 (java) S 2817 2819 2758 0 -1 4202560 1694 0 0 0 0 0 0 0 16 0 22 0 522713717 16066887680 51199 33554432000 1073741824 1073778376 140733301509008 18446744073709551615 268284504985 0 4 0 16800975 18446604453892917248 0 0 -1 0 0 0 0
[pid=2819/tid=2825] ppid=2817 vsize=15690320 CPUtime=0 cores=0,2,4,6
/proc/2819/task/2825/stat : 2825 (java) S 2817 2819 2758 0 -1 4202560 45 0 0 0 0 0 0 0 15 0 22 0 522713717 16066887680 51199 33554432000 1073741824 1073778376 140733301509008 18446744073709551615 268284504985 0 4 0 16800975 18446604453892917248 0 0 -1 2 0 0 0
[pid=2819/tid=2826] ppid=2817 vsize=15690320 CPUtime=0 cores=0,2,4,6
/proc/2819/task/2826/stat : 2826 (java) S 2817 2819 2758 0 -1 4202560 1763 0 0 0 0 0 0 0 16 0 22 0 522713717 16066887680 51199 33554432000 1073741824 1073778376 140733301509008 18446744073709551615 268284504985 0 4 0 16800975 18446604453892917248 0 0 -1 6 0 0 0
[pid=2819/tid=2827] ppid=2817 vsize=15690320 CPUtime=0 cores=0,2,4,6
/proc/2819/task/2827/stat : 2827 (java) S 2817 2819 2758 0 -1 4202560 686 0 0 0 0 0 0 0 16 0 22 0 522713717 16066887680 51199 33554432000 1073741824 1073778376 140733301509008 18446744073709551615 268284504985 0 4 0 16800975 18446604453892917248 0 0 -1 0 0 0 0
[pid=2819/tid=2828] ppid=2817 vsize=15690320 CPUtime=0 cores=0,2,4,6
/proc/2819/task/2828/stat : 2828 (java) S 2817 2819 2758 0 -1 4202560 914 0 0 0 0 0 0 0 15 0 22 0 522713717 16066887680 51199 33554432000 1073741824 1073778376 140733301509008 18446744073709551615 268284504985 0 4 0 16800975 18446604453892917248 0 0 -1 2 0 0 0
[pid=2819/tid=2829] ppid=2817 vsize=15690320 CPUtime=0 cores=0,2,4,6
/proc/2819/task/2829/stat : 2829 (java) S 2817 2819 2758 0 -1 4202560 832 0 0 0 0 0 0 0 16 0 22 0 522713717 16066887680 51199 33554432000 1073741824 1073778376 140733301509008 18446744073709551615 268284504985 0 4 0 16800975 18446604453892917248 0 0 -1 2 0 0 0
[pid=2819/tid=2830] ppid=2817 vsize=15690320 CPUtime=0 cores=0,2,4,6
/proc/2819/task/2830/stat : 2830 (java) S 2817 2819 2758 0 -1 4202560 69 0 0 0 0 0 0 0 15 0 22 0 522713718 16066887680 51199 33554432000 1073741824 1073778376 140733301509008 18446744073709551615 268284505600 0 0 0 16800975 18446604453892917248 0 0 -1 4 0 0 0
[pid=2819/tid=2831] ppid=2817 vsize=15690320 CPUtime=0 cores=0,2,4,6
/proc/2819/task/2831/stat : 2831 (java) S 2817 2819 2758 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 22 0 522713719 16066887680 51199 33554432000 1073741824 1073778376 140733301509008 18446744073709551615 268284504985 0 4 0 16800975 18446604453892917248 0 0 -1 4 0 0 0
[pid=2819/tid=2832] ppid=2817 vsize=15690320 CPUtime=0 cores=0,2,4,6
/proc/2819/task/2832/stat : 2832 (java) S 2817 2819 2758 0 -1 4202560 8 0 0 0 0 0 0 0 15 0 22 0 522713719 16066887680 51199 33554432000 1073741824 1073778376 140733301509008 18446744073709551615 268284504985 0 4 0 16800975 18446604453892917248 0 0 -1 4 0 0 0
[pid=2819/tid=2833] ppid=2817 vsize=15690320 CPUtime=0 cores=0,2,4,6
/proc/2819/task/2833/stat : 2833 (java) S 2817 2819 2758 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 522713721 16066887680 51199 33554432000 1073741824 1073778376 140733301509008 18446744073709551615 268284512689 0 4 0 16800975 18446604453892917248 0 0 -1 4 0 0 0
[pid=2819/tid=2834] ppid=2817 vsize=15690320 CPUtime=0.17 cores=0,2,4,6
/proc/2819/task/2834/stat : 2834 (java) S 2817 2819 2758 0 -1 4202560 1191 0 0 0 17 0 0 0 15 0 22 0 522713721 16066887680 51199 33554432000 1073741824 1073778376 140733301509008 18446744073709551615 268284504985 0 4 0 16800975 18446604453892917248 0 0 -1 6 0 0 0
[pid=2819/tid=2835] ppid=2817 vsize=15690320 CPUtime=0.36 cores=0,2,4,6
/proc/2819/task/2835/stat : 2835 (java) R 2817 2819 2758 0 -1 4202560 9647 0 0 0 36 0 0 0 16 0 22 0 522713721 16066887680 51199 33554432000 1073741824 1073778376 140733301509008 18446744073709551615 47933877920446 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=2819/tid=2836] ppid=2817 vsize=15690320 CPUtime=0 cores=0,2,4,6
/proc/2819/task/2836/stat : 2836 (java) S 2817 2819 2758 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 522713721 16066887680 51199 33554432000 1073741824 1073778376 140733301509008 18446744073709551615 268284504985 0 4 0 16800975 18446604453892917248 0 0 -1 4 0 0 0
[pid=2819/tid=2837] ppid=2817 vsize=15690320 CPUtime=0 cores=0,2,4,6
/proc/2819/task/2837/stat : 2837 (java) S 2817 2819 2758 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 522713721 16066887680 51199 33554432000 1073741824 1073778376 140733301509008 18446744073709551615 268284505600 0 4 0 16800975 18446604453892917248 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2.08
Current children cumulated vsize (KiB) 15690320

[startup+3.10072 s]
/proc/loadavg: 6.99 7.81 7.27 7/220 2845
/proc/meminfo: memFree=21572688/32950928 swapFree=67111524/67111528
[pid=2819] ppid=2817 vsize=15691480 CPUtime=4.86 cores=0,2,4,6
/proc/2819/stat : 2819 (java) S 2817 2819 2758 0 -1 4202496 72178 0 1 0 477 9 0 0 25 0 22 0 522713717 16068075520 66129 33554432000 1073741824 1073778376 140733301509008 18446744073709551615 268284491749 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/2819/statm: 3922870 66129 2275 9 0 3913589 0
[pid=2819/tid=2820] ppid=2817 vsize=15691480 CPUtime=2.77 cores=0,2,4,6
/proc/2819/task/2820/stat : 2820 (java) S 2817 2819 2758 0 -1 4202560 35726 0 1 0 273 4 0 0 25 0 22 0 522713717 16068075520 66129 33554432000 1073741824 1073778376 140733301509008 18446744073709551615 268284504985 0 4 0 16800975 18446604453892917248 0 0 -1 4 0 0 0
[pid=2819/tid=2822] ppid=2817 vsize=15691480 CPUtime=0.02 cores=0,2,4,6
/proc/2819/task/2822/stat : 2822 (java) S 2817 2819 2758 0 -1 4202560 3439 0 0 0 2 0 0 0 16 0 22 0 522713717 16068075520 66129 33554432000 1073741824 1073778376 140733301509008 18446744073709551615 268284504985 0 4 0 16800975 18446604453892917248 0 0 -1 4 0 0 0
[pid=2819/tid=2823] ppid=2817 vsize=15691480 CPUtime=0 cores=0,2,4,6
/proc/2819/task/2823/stat : 2823 (java) S 2817 2819 2758 0 -1 4202560 407 0 0 0 0 0 0 0 15 0 22 0 522713717 16068075520 66129 33554432000 1073741824 1073778376 140733301509008 18446744073709551615 268284504985 0 4 0 16800975 18446604453892917248 0 0 -1 0 0 0 0
[pid=2819/tid=2824] ppid=2817 vsize=15691480 CPUtime=0 cores=0,2,4,6
/proc/2819/task/2824/stat : 2824 (java) S 2817 2819 2758 0 -1 4202560 1694 0 0 0 0 0 0 0 15 0 22 0 522713717 16068075520 66129 33554432000 1073741824 1073778376 140733301509008 18446744073709551615 268284504985 0 4 0 16800975 18446604453892917248 0 0 -1 6 0 0 0
[pid=2819/tid=2825] ppid=2817 vsize=15691480 CPUtime=0 cores=0,2,4,6
/proc/2819/task/2825/stat : 2825 (java) S 2817 2819 2758 0 -1 4202560 45 0 0 0 0 0 0 0 15 0 22 0 522713717 16068075520 66129 33554432000 1073741824 1073778376 140733301509008 18446744073709551615 268284504985 0 4 0 16800975 18446604453892917248 0 0 -1 6 0 0 0
[pid=2819/tid=2826] ppid=2817 vsize=15691480 CPUtime=0.02 cores=0,2,4,6
/proc/2819/task/2826/stat : 2826 (java) S 2817 2819 2758 0 -1 4202560 4365 0 0 0 2 0 0 0 16 0 22 0 522713717 16068075520 66129 33554432000 1073741824 1073778376 140733301509008 18446744073709551615 268284504985 0 4 0 16800975 18446604453892917248 0 0 -1 6 0 0 0
[pid=2819/tid=2827] ppid=2817 vsize=15691480 CPUtime=0.01 cores=0,2,4,6
/proc/2819/task/2827/stat : 2827 (java) S 2817 2819 2758 0 -1 4202560 3536 0 0 0 1 0 0 0 16 0 22 0 522713717 16068075520 66129 33554432000 1073741824 1073778376 140733301509008 18446744073709551615 268284504985 0 4 0 16800975 18446604453892917248 0 0 -1 0 0 0 0
[pid=2819/tid=2828] ppid=2817 vsize=15691480 CPUtime=0 cores=0,2,4,6
/proc/2819/task/2828/stat : 2828 (java) S 2817 2819 2758 0 -1 4202560 914 0 0 0 0 0 0 0 15 0 22 0 522713717 16068075520 66129 33554432000 1073741824 1073778376 140733301509008 18446744073709551615 268284504985 0 4 0 16800975 18446604453892917248 0 0 -1 6 0 0 0
[pid=2819/tid=2829] ppid=2817 vsize=15691480 CPUtime=0.02 cores=0,2,4,6
/proc/2819/task/2829/stat : 2829 (java) S 2817 2819 2758 0 -1 4202560 3745 0 0 0 2 0 0 0 16 0 22 0 522713717 16068075520 66129 33554432000 1073741824 1073778376 140733301509008 18446744073709551615 268284504985 0 4 0 16800975 18446604453892917248 0 0 -1 2 0 0 0
[pid=2819/tid=2830] ppid=2817 vsize=15691480 CPUtime=0 cores=0,2,4,6
/proc/2819/task/2830/stat : 2830 (java) S 2817 2819 2758 0 -1 4202560 88 0 0 0 0 0 0 0 15 0 22 0 522713718 16068075520 66129 33554432000 1073741824 1073778376 140733301509008 18446744073709551615 268284505600 0 0 0 16800975 18446604453892917248 0 0 -1 4 0 0 0
[pid=2819/tid=2831] ppid=2817 vsize=15691480 CPUtime=0 cores=0,2,4,6
/proc/2819/task/2831/stat : 2831 (java) S 2817 2819 2758 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 22 0 522713719 16068075520 66129 33554432000 1073741824 1073778376 140733301509008 18446744073709551615 268284504985 0 4 0 16800975 18446604453892917248 0 0 -1 4 0 0 0
[pid=2819/tid=2832] ppid=2817 vsize=15691480 CPUtime=0 cores=0,2,4,6
/proc/2819/task/2832/stat : 2832 (java) S 2817 2819 2758 0 -1 4202560 8 0 0 0 0 0 0 0 15 0 22 0 522713719 16068075520 66129 33554432000 1073741824 1073778376 140733301509008 18446744073709551615 268284504985 0 4 0 16800975 18446604453892917248 0 0 -1 4 0 0 0
[pid=2819/tid=2833] ppid=2817 vsize=15691480 CPUtime=0 cores=0,2,4,6
/proc/2819/task/2833/stat : 2833 (java) S 2817 2819 2758 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 522713721 16068075520 66129 33554432000 1073741824 1073778376 140733301509008 18446744073709551615 268284512689 0 4 0 16800975 18446604453892917248 0 0 -1 4 0 0 0
[pid=2819/tid=2834] ppid=2817 vsize=15691480 CPUtime=0.75 cores=0,2,4,6
/proc/2819/task/2834/stat : 2834 (java) R 2817 2819 2758 0 -1 4202560 2250 0 0 0 75 0 0 0 16 0 22 0 522713721 16068075520 66129 33554432000 1073741824 1073778376 140733301509008 18446744073709551615 47933879792382 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=2819/tid=2835] ppid=2817 vsize=15691480 CPUtime=0.91 cores=0,2,4,6
/proc/2819/task/2835/stat : 2835 (java) S 2817 2819 2758 0 -1 4202560 14529 0 0 0 90 1 0 0 15 0 22 0 522713721 16068075520 66129 33554432000 1073741824 1073778376 140733301509008 18446744073709551615 268284504985 0 4 0 16800975 18446604453892917248 0 0 -1 0 0 0 0
[pid=2819/tid=2836] ppid=2817 vsize=15691480 CPUtime=0 cores=0,2,4,6
/proc/2819/task/2836/stat : 2836 (java) S 2817 2819 2758 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 522713721 16068075520 66129 33554432000 1073741824 1073778376 140733301509008 18446744073709551615 268284504985 0 4 0 16800975 18446604453892917248 0 0 -1 4 0 0 0
[pid=2819/tid=2837] ppid=2817 vsize=15691480 CPUtime=0 cores=0,2,4,6
/proc/2819/task/2837/stat : 2837 (java) S 2817 2819 2758 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 522713721 16068075520 66129 33554432000 1073741824 1073778376 140733301509008 18446744073709551615 268284505600 0 4 0 16800975 18446604453892917248 0 0 -1 6 0 0 0
[pid=2819/tid=2842] ppid=2817 vsize=15691480 CPUtime=0.06 cores=0,2,4,6
/proc/2819/task/2842/stat : 2842 (java) R 2817 2819 2758 0 -1 4202560 18 0 0 0 6 0 0 0 15 0 22 0 522713824 16068075520 66129 33554432000 1073741824 1073778376 140733301509008 18446744073709551615 46912505523461 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=2819/tid=2843] ppid=2817 vsize=15691480 CPUtime=0.06 cores=0,2,4,6
/proc/2819/task/2843/stat : 2843 (java) R 2817 2819 2758 0 -1 4202560 10 0 0 0 6 0 0 0 15 0 22 0 522713824 16068075520 66129 33554432000 1073741824 1073778376 140733301509008 18446744073709551615 46912506083443 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=2819/tid=2844] ppid=2817 vsize=15691480 CPUtime=0.11 cores=0,2,4,6
/proc/2819/task/2844/stat : 2844 (java) S 2817 2819 2758 0 -1 4202560 19 0 0 0 11 0 0 0 15 0 22 0 522713824 16068075520 66129 33554432000 1073741824 1073778376 140733301509008 18446744073709551615 268284505600 0 4 0 16800975 18446604453892917248 0 0 -1 2 0 0 0
[pid=2819/tid=2845] ppid=2817 vsize=15691480 CPUtime=0 cores=0,2,4,6
/proc/2819/task/2845/stat : 2845 (java) S 2817 2819 2758 0 -1 4202560 7 0 0 0 0 0 0 0 15 0 22 0 522713824 16068075520 66129 33554432000 1073741824 1073778376 140733301509008 18446744073709551615 268284505600 0 4 0 16800975 18446604453892917248 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4.86
Current children cumulated vsize (KiB) 15691480

[startup+6.33214 s]
/proc/loadavg: 7.23 7.84 7.29 11/220 2845
/proc/meminfo: memFree=20241196/32950928 swapFree=67111524/67111528
[pid=2819] ppid=2817 vsize=15691480 CPUtime=15.46 cores=0,2,4,6
/proc/2819/stat : 2819 (java) S 2817 2819 2758 0 -1 4202496 296067 0 1 0 1502 44 0 0 25 0 22 0 522713717 16068075520 287600 33554432000 1073741824 1073778376 140733301509008 18446744073709551615 268284491749 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/2819/statm: 3922870 287600 2283 9 0 3913589 0
[pid=2819/tid=2820] ppid=2817 vsize=15691480 CPUtime=2.77 cores=0,2,4,6
/proc/2819/task/2820/stat : 2820 (java) S 2817 2819 2758 0 -1 4202560 35726 0 1 0 273 4 0 0 25 0 22 0 522713717 16068075520 287600 33554432000 1073741824 1073778376 140733301509008 18446744073709551615 268284504985 0 4 0 16800975 18446604453892917248 0 0 -1 4 0 0 0
[pid=2819/tid=2822] ppid=2817 vsize=15691480 CPUtime=0.13 cores=0,2,4,6
/proc/2819/task/2822/stat : 2822 (java) S 2817 2819 2758 0 -1 4202560 18378 0 0 0 10 3 0 0 16 0 22 0 522713717 16068075520 287600 33554432000 1073741824 1073778376 140733301509008 18446744073709551615 268284504985 0 4 0 16800975 18446604453892917248 0 0 -1 2 0 0 0
[pid=2819/tid=2823] ppid=2817 vsize=15691480 CPUtime=0.06 cores=0,2,4,6
/proc/2819/task/2823/stat : 2823 (java) S 2817 2819 2758 0 -1 4202560 6958 0 0 0 6 0 0 0 15 0 22 0 522713717 16068075520 287600 33554432000 1073741824 1073778376 140733301509008 18446744073709551615 268284504985 0 4 0 16800975 18446604453892917248 0 0 -1 2 0 0 0
[pid=2819/tid=2824] ppid=2817 vsize=15691480 CPUtime=0.12 cores=0,2,4,6
/proc/2819/task/2824/stat : 2824 (java) S 2817 2819 2758 0 -1 4202560 19087 0 0 0 10 2 0 0 16 0 22 0 522713717 16068075520 287600 33554432000 1073741824 1073778376 140733301509008 18446744073709551615 268284504985 0 4 0 16800975 18446604453892917248 0 0 -1 2 0 0 0
[pid=2819/tid=2825] ppid=2817 vsize=15691480 CPUtime=0.13 cores=0,2,4,6
/proc/2819/task/2825/stat : 2825 (java) S 2817 2819 2758 0 -1 4202560 13957 0 0 0 11 2 0 0 15 0 22 0 522713717 16068075520 287600 33554432000 1073741824 1073778376 140733301509008 18446744073709551615 268284504985 0 4 0 16800975 18446604453892917248 0 0 -1 2 0 0 0
[pid=2819/tid=2826] ppid=2817 vsize=15691480 CPUtime=0.2 cores=0,2,4,6
/proc/2819/task/2826/stat : 2826 (java) S 2817 2819 2758 0 -1 4202560 30448 0 0 0 15 5 0 0 16 0 22 0 522713717 16068075520 287600 33554432000 1073741824 1073778376 140733301509008 18446744073709551615 268284504985 0 4 0 16800975 18446604453892917248 0 0 -1 6 0 0 0
[pid=2819/tid=2827] ppid=2817 vsize=15691480 CPUtime=0.25 cores=0,2,4,6
/proc/2819/task/2827/stat : 2827 (java) S 2817 2819 2758 0 -1 4202560 35339 0 0 0 20 5 0 0 15 0 22 0 522713717 16068075520 287600 33554432000 1073741824 1073778376 140733301509008 18446744073709551615 268284504985 0 4 0 16800975 18446604453892917248 0 0 -1 0 0 0 0
[pid=2819/tid=2828] ppid=2817 vsize=15691480 CPUtime=0.19 cores=0,2,4,6
/proc/2819/task/2828/stat : 2828 (java) S 2817 2819 2758 0 -1 4202560 24909 0 0 0 16 3 0 0 15 0 22 0 522713717 16068075520 287600 33554432000 1073741824 1073778376 140733301509008 18446744073709551615 268284504985 0 4 0 16800975 18446604453892917248 0 0 -1 6 0 0 0
[pid=2819/tid=2829] ppid=2817 vsize=15691480 CPUtime=0.27 cores=0,2,4,6
/proc/2819/task/2829/stat : 2829 (java) S 2817 2819 2758 0 -1 4202560 34967 0 0 0 23 4 0 0 16 0 22 0 522713717 16068075520 287600 33554432000 1073741824 1073778376 140733301509008 18446744073709551615 268284504985 0 4 0 16800975 18446604453892917248 0 0 -1 0 0 0 0
[pid=2819/tid=2830] ppid=2817 vsize=15691480 CPUtime=0.16 cores=0,2,4,6
/proc/2819/task/2830/stat : 2830 (java) S 2817 2819 2758 0 -1 4202560 590 0 0 0 16 0 0 0 16 0 22 0 522713718 16068075520 287600 33554432000 1073741824 1073778376 140733301509008 18446744073709551615 268284505600 0 0 0 16800975 18446604453892917248 0 0 -1 4 0 0 0
[pid=2819/tid=2831] ppid=2817 vsize=15691480 CPUtime=0 cores=0,2,4,6
/proc/2819/task/2831/stat : 2831 (java) S 2817 2819 2758 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 22 0 522713719 16068075520 287600 33554432000 1073741824 1073778376 140733301509008 18446744073709551615 268284504985 0 4 0 16800975 18446604453892917248 0 0 -1 4 0 0 0
[pid=2819/tid=2832] ppid=2817 vsize=15691480 CPUtime=0 cores=0,2,4,6
/proc/2819/task/2832/stat : 2832 (java) S 2817 2819 2758 0 -1 4202560 8 0 0 0 0 0 0 0 15 0 22 0 522713719 16068075520 287600 33554432000 1073741824 1073778376 140733301509008 18446744073709551615 268284504985 0 4 0 16800975 18446604453892917248 0 0 -1 4 0 0 0
[pid=2819/tid=2833] ppid=2817 vsize=15691480 CPUtime=0 cores=0,2,4,6
/proc/2819/task/2833/stat : 2833 (java) S 2817 2819 2758 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 522713721 16068075520 287600 33554432000 1073741824 1073778376 140733301509008 18446744073709551615 268284512689 0 4 0 16800975 18446604453892917248 0 0 -1 4 0 0 0

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

[pid=2819/tid=2832] ppid=2817 vsize=15691480 CPUtime=0 cores=0,2,4,6
/proc/2819/task/2832/stat : 2832 (java) S 2817 2819 2758 0 -1 4202560 8 0 0 0 0 0 0 0 15 0 22 0 522713719 16068075520 3852056 33554432000 1073741824 1073778376 140733301509008 18446744073709551615 268284504985 0 4 0 16800975 18446604453892917248 0 0 -1 4 0 0 0
[pid=2819/tid=2833] ppid=2817 vsize=15691480 CPUtime=0 cores=0,2,4,6
/proc/2819/task/2833/stat : 2833 (java) S 2817 2819 2758 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 522713721 16068075520 3852056 33554432000 1073741824 1073778376 140733301509008 18446744073709551615 268284512689 0 4 0 16800975 18446604453892917248 0 0 -1 4 0 0 0
[pid=2819/tid=2834] ppid=2817 vsize=15691480 CPUtime=0.83 cores=0,2,4,6
/proc/2819/task/2834/stat : 2834 (java) S 2817 2819 2758 0 -1 4202560 2261 0 0 0 83 0 0 0 15 0 22 0 522713721 16068075520 3852056 33554432000 1073741824 1073778376 140733301509008 18446744073709551615 268284504985 0 4 0 16800975 18446604453892917248 0 0 -1 6 0 0 0
[pid=2819/tid=2835] ppid=2817 vsize=15691480 CPUtime=1.28 cores=0,2,4,6
/proc/2819/task/2835/stat : 2835 (java) S 2817 2819 2758 0 -1 4202560 14666 0 0 0 127 1 0 0 15 0 22 0 522713721 16068075520 3852056 33554432000 1073741824 1073778376 140733301509008 18446744073709551615 268284504985 0 4 0 16800975 18446604453892917248 0 0 -1 2 0 0 0
[pid=2819/tid=2836] ppid=2817 vsize=15691480 CPUtime=0 cores=0,2,4,6
/proc/2819/task/2836/stat : 2836 (java) S 2817 2819 2758 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 522713721 16068075520 3852056 33554432000 1073741824 1073778376 140733301509008 18446744073709551615 268284504985 0 4 0 16800975 18446604453892917248 0 0 -1 4 0 0 0
[pid=2819/tid=2837] ppid=2817 vsize=15691480 CPUtime=0 cores=0,2,4,6
/proc/2819/task/2837/stat : 2837 (java) S 2817 2819 2758 0 -1 4202560 65 0 0 0 0 0 0 0 15 0 22 0 522713721 16068075520 3852056 33554432000 1073741824 1073778376 140733301509008 18446744073709551615 268284505600 0 4 0 16800975 18446604453892917248 0 0 -1 2 0 0 0
[pid=2819/tid=2842] ppid=2817 vsize=15691480 CPUtime=326.31 cores=0,2,4,6
/proc/2819/task/2842/stat : 2842 (java) S 2817 2819 2758 0 -1 4202560 70031 0 0 0 32620 11 0 0 15 0 22 0 522713824 16068075520 3852056 33554432000 1073741824 1073778376 140733301509008 18446744073709551615 268284505600 0 4 0 16800975 18446604453892917248 0 0 -1 6 0 0 0
[pid=2819/tid=2843] ppid=2817 vsize=15691480 CPUtime=326.08 cores=0,2,4,6
/proc/2819/task/2843/stat : 2843 (java) S 2817 2819 2758 0 -1 4202560 50502 0 0 0 32601 7 0 0 15 0 22 0 522713824 16068075520 3852056 33554432000 1073741824 1073778376 140733301509008 18446744073709551615 268284504985 0 4 0 16800975 18446604453892917248 0 0 -1 4 0 0 0
[pid=2819/tid=2844] ppid=2817 vsize=15691480 CPUtime=325.5 cores=0,2,4,6
/proc/2819/task/2844/stat : 2844 (java) S 2817 2819 2758 0 -1 4202560 70624 0 0 0 32540 10 0 0 15 0 22 0 522713824 16068075520 3852056 33554432000 1073741824 1073778376 140733301509008 18446744073709551615 268284504985 0 4 0 16800975 18446604453892917248 0 0 -1 0 0 0 0
[pid=2819/tid=2845] ppid=2817 vsize=15691480 CPUtime=325.07 cores=0,2,4,6
/proc/2819/task/2845/stat : 2845 (java) S 2817 2819 2758 0 -1 4202560 61289 0 0 0 32496 11 0 0 15 0 22 0 522713824 16068075520 3852056 33554432000 1073741824 1073778376 140733301509008 18446744073709551615 268284504985 0 4 0 16800975 18446604453892917248 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2181.15
Current children cumulated vsize (KiB) 15691480

[startup+1242.3 s]
/proc/loadavg: 4.93 5.15 5.94 6/220 2942
/proc/meminfo: memFree=1827284/32950928 swapFree=67111524/67111528
[pid=2819] ppid=2817 vsize=15691480 CPUtime=2241.19 cores=0,2,4,6
/proc/2819/stat : 2819 (java) S 2817 2819 2758 0 -1 4202496 3883326 0 1 0 223470 649 0 0 25 0 22 0 522713717 16068075520 3852056 33554432000 1073741824 1073778376 140733301509008 18446744073709551615 268284491749 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/2819/statm: 3922870 3852056 2293 9 0 3913589 0
[pid=2819/tid=2820] ppid=2817 vsize=15691480 CPUtime=2.77 cores=0,2,4,6
/proc/2819/task/2820/stat : 2820 (java) S 2817 2819 2758 0 -1 4202560 35726 0 1 0 273 4 0 0 25 0 22 0 522713717 16068075520 3852056 33554432000 1073741824 1073778376 140733301509008 18446744073709551615 268284504985 0 4 0 16800975 18446604453892917248 0 0 -1 4 0 0 0
[pid=2819/tid=2822] ppid=2817 vsize=15691480 CPUtime=3.3 cores=0,2,4,6
/proc/2819/task/2822/stat : 2822 (java) S 2817 2819 2758 0 -1 4202560 337743 0 0 0 270 60 0 0 16 0 22 0 522713717 16068075520 3852056 33554432000 1073741824 1073778376 140733301509008 18446744073709551615 268284504985 0 4 0 16800975 18446604453892917248 0 0 -1 6 0 0 0
[pid=2819/tid=2823] ppid=2817 vsize=15691480 CPUtime=3.35 cores=0,2,4,6
/proc/2819/task/2823/stat : 2823 (java) S 2817 2819 2758 0 -1 4202560 357585 0 0 0 271 64 0 0 15 0 22 0 522713717 16068075520 3852056 33554432000 1073741824 1073778376 140733301509008 18446744073709551615 268284504985 0 4 0 16800975 18446604453892917248 0 0 -1 6 0 0 0
[pid=2819/tid=2824] ppid=2817 vsize=15691480 CPUtime=3.02 cores=0,2,4,6
/proc/2819/task/2824/stat : 2824 (java) S 2817 2819 2758 0 -1 4202560 288134 0 0 0 253 49 0 0 16 0 22 0 522713717 16068075520 3852056 33554432000 1073741824 1073778376 140733301509008 18446744073709551615 268284504985 0 4 0 16800975 18446604453892917248 0 0 -1 0 0 0 0
[pid=2819/tid=2825] ppid=2817 vsize=15691480 CPUtime=3.11 cores=0,2,4,6
/proc/2819/task/2825/stat : 2825 (java) S 2817 2819 2758 0 -1 4202560 337509 0 0 0 250 61 0 0 16 0 22 0 522713717 16068075520 3852056 33554432000 1073741824 1073778376 140733301509008 18446744073709551615 268284504985 0 4 0 16800975 18446604453892917248 0 0 -1 0 0 0 0
[pid=2819/tid=2826] ppid=2817 vsize=15691480 CPUtime=3.1 cores=0,2,4,6
/proc/2819/task/2826/stat : 2826 (java) S 2817 2819 2758 0 -1 4202560 363780 0 0 0 250 60 0 0 15 0 22 0 522713717 16068075520 3852056 33554432000 1073741824 1073778376 140733301509008 18446744073709551615 268284504985 0 4 0 16800975 18446604453892917248 0 0 -1 0 0 0 0
[pid=2819/tid=2827] ppid=2817 vsize=15691480 CPUtime=3.69 cores=0,2,4,6
/proc/2819/task/2827/stat : 2827 (java) S 2817 2819 2758 0 -1 4202560 403487 0 0 0 299 70 0 0 16 0 22 0 522713717 16068075520 3852056 33554432000 1073741824 1073778376 140733301509008 18446744073709551615 268284504985 0 4 0 16800975 18446604453892917248 0 0 -1 2 0 0 0
[pid=2819/tid=2828] ppid=2817 vsize=15691480 CPUtime=3.79 cores=0,2,4,6
/proc/2819/task/2828/stat : 2828 (java) S 2817 2819 2758 0 -1 4202560 453929 0 0 0 299 80 0 0 16 0 22 0 522713717 16068075520 3852056 33554432000 1073741824 1073778376 140733301509008 18446744073709551615 268284504985 0 4 0 16800975 18446604453892917248 0 0 -1 0 0 0 0
[pid=2819/tid=2829] ppid=2817 vsize=15691480 CPUtime=4.26 cores=0,2,4,6
/proc/2819/task/2829/stat : 2829 (java) S 2817 2819 2758 0 -1 4202560 468090 0 0 0 348 78 0 0 16 0 22 0 522713717 16068075520 3852056 33554432000 1073741824 1073778376 140733301509008 18446744073709551615 268284504985 0 4 0 16800975 18446604453892917248 0 0 -1 6 0 0 0
[pid=2819/tid=2830] ppid=2817 vsize=15691480 CPUtime=905.52 cores=0,2,4,6
/proc/2819/task/2830/stat : 2830 (java) R 2817 2819 2758 0 -1 4202560 566134 0 0 0 90478 74 0 0 25 0 22 0 522713718 16068075520 3852056 33554432000 1073741824 1073778376 140733301509008 18446744073709551615 47933877989692 0 0 0 16800975 0 0 0 -1 4 0 0 0
[pid=2819/tid=2831] ppid=2817 vsize=15691480 CPUtime=0 cores=0,2,4,6
/proc/2819/task/2831/stat : 2831 (java) S 2817 2819 2758 0 -1 4202560 18 0 0 0 0 0 0 0 15 0 22 0 522713719 16068075520 3852056 33554432000 1073741824 1073778376 140733301509008 18446744073709551615 268284504985 0 4 0 16800975 18446604453892917248 0 0 -1 4 0 0 0
[pid=2819/tid=2832] ppid=2817 vsize=15691480 CPUtime=0 cores=0,2,4,6
/proc/2819/task/2832/stat : 2832 (java) S 2817 2819 2758 0 -1 4202560 8 0 0 0 0 0 0 0 15 0 22 0 522713719 16068075520 3852056 33554432000 1073741824 1073778376 140733301509008 18446744073709551615 268284504985 0 4 0 16800975 18446604453892917248 0 0 -1 4 0 0 0
[pid=2819/tid=2833] ppid=2817 vsize=15691480 CPUtime=0 cores=0,2,4,6
/proc/2819/task/2833/stat : 2833 (java) S 2817 2819 2758 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 522713721 16068075520 3852056 33554432000 1073741824 1073778376 140733301509008 18446744073709551615 268284512689 0 4 0 16800975 18446604453892917248 0 0 -1 4 0 0 0
[pid=2819/tid=2834] ppid=2817 vsize=15691480 CPUtime=0.83 cores=0,2,4,6
/proc/2819/task/2834/stat : 2834 (java) S 2817 2819 2758 0 -1 4202560 2261 0 0 0 83 0 0 0 15 0 22 0 522713721 16068075520 3852056 33554432000 1073741824 1073778376 140733301509008 18446744073709551615 268284504985 0 4 0 16800975 18446604453892917248 0 0 -1 6 0 0 0
[pid=2819/tid=2835] ppid=2817 vsize=15691480 CPUtime=1.28 cores=0,2,4,6
/proc/2819/task/2835/stat : 2835 (java) S 2817 2819 2758 0 -1 4202560 14666 0 0 0 127 1 0 0 15 0 22 0 522713721 16068075520 3852056 33554432000 1073741824 1073778376 140733301509008 18446744073709551615 268284504985 0 4 0 16800975 18446604453892917248 0 0 -1 2 0 0 0
[pid=2819/tid=2836] ppid=2817 vsize=15691480 CPUtime=0 cores=0,2,4,6
/proc/2819/task/2836/stat : 2836 (java) S 2817 2819 2758 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 522713721 16068075520 3852056 33554432000 1073741824 1073778376 140733301509008 18446744073709551615 268284504985 0 4 0 16800975 18446604453892917248 0 0 -1 4 0 0 0
[pid=2819/tid=2837] ppid=2817 vsize=15691480 CPUtime=0 cores=0,2,4,6
/proc/2819/task/2837/stat : 2837 (java) S 2817 2819 2758 0 -1 4202560 68 0 0 0 0 0 0 0 15 0 22 0 522713721 16068075520 3852056 33554432000 1073741824 1073778376 140733301509008 18446744073709551615 268284505600 0 4 0 16800975 18446604453892917248 0 0 -1 2 0 0 0
[pid=2819/tid=2842] ppid=2817 vsize=15691480 CPUtime=326.31 cores=0,2,4,6
/proc/2819/task/2842/stat : 2842 (java) S 2817 2819 2758 0 -1 4202560 70128 0 0 0 32620 11 0 0 15 0 22 0 522713824 16068075520 3852056 33554432000 1073741824 1073778376 140733301509008 18446744073709551615 268284505600 0 4 0 16800975 18446604453892917248 0 0 -1 6 0 0 0
[pid=2819/tid=2843] ppid=2817 vsize=15691480 CPUtime=326.09 cores=0,2,4,6
/proc/2819/task/2843/stat : 2843 (java) S 2817 2819 2758 0 -1 4202560 50653 0 0 0 32601 8 0 0 15 0 22 0 522713824 16068075520 3852056 33554432000 1073741824 1073778376 140733301509008 18446744073709551615 268284504985 0 4 0 16800975 18446604453892917248 0 0 -1 4 0 0 0
[pid=2819/tid=2844] ppid=2817 vsize=15691480 CPUtime=325.52 cores=0,2,4,6
/proc/2819/task/2844/stat : 2844 (java) S 2817 2819 2758 0 -1 4202560 70758 0 0 0 32541 11 0 0 15 0 22 0 522713824 16068075520 3852056 33554432000 1073741824 1073778376 140733301509008 18446744073709551615 268284504985 0 4 0 16800975 18446604453892917248 0 0 -1 0 0 0 0
[pid=2819/tid=2845] ppid=2817 vsize=15691480 CPUtime=325.09 cores=0,2,4,6
/proc/2819/task/2845/stat : 2845 (java) S 2817 2819 2758 0 -1 4202560 61289 0 0 0 32498 11 0 0 15 0 22 0 522713824 16068075520 3852056 33554432000 1073741824 1073778376 140733301509008 18446744073709551615 268284504985 0 4 0 16800975 18446604453892917248 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2241.19
Current children cumulated vsize (KiB) 15691480



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+1300 s]
/proc/loadavg: 5.33 5.20 5.91 6/220 2944
/proc/meminfo: memFree=96960/32950928 swapFree=67111524/67111528
[pid=2819] ppid=2817 vsize=15691480 CPUtime=2299.39 cores=0,2,4,6
/proc/2819/stat : 2819 (java) S 2817 2819 2758 0 -1 4202496 3883674 0 1 0 229288 651 0 0 25 0 22 0 522713717 16068075520 3852056 33554432000 1073741824 1073778376 140733301509008 18446744073709551615 268284491749 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/2819/statm: 3922870 3852056 2293 9 0 3913589 0
[pid=2819/tid=2820] ppid=2817 vsize=15691480 CPUtime=2.77 cores=0,2,4,6
/proc/2819/task/2820/stat : 2820 (java) S 2817 2819 2758 0 -1 4202560 35726 0 1 0 273 4 0 0 25 0 22 0 522713717 16068075520 3852056 33554432000 1073741824 1073778376 140733301509008 18446744073709551615 268284504985 0 4 0 16800975 18446604453892917248 0 0 -1 4 0 0 0
[pid=2819/tid=2822] ppid=2817 vsize=15691480 CPUtime=3.3 cores=0,2,4,6
/proc/2819/task/2822/stat : 2822 (java) S 2817 2819 2758 0 -1 4202560 337743 0 0 0 270 60 0 0 16 0 22 0 522713717 16068075520 3852056 33554432000 1073741824 1073778376 140733301509008 18446744073709551615 268284504985 0 4 0 16800975 18446604453892917248 0 0 -1 6 0 0 0
[pid=2819/tid=2823] ppid=2817 vsize=15691480 CPUtime=3.35 cores=0,2,4,6
/proc/2819/task/2823/stat : 2823 (java) S 2817 2819 2758 0 -1 4202560 357585 0 0 0 271 64 0 0 15 0 22 0 522713717 16068075520 3852056 33554432000 1073741824 1073778376 140733301509008 18446744073709551615 268284504985 0 4 0 16800975 18446604453892917248 0 0 -1 6 0 0 0
[pid=2819/tid=2824] ppid=2817 vsize=15691480 CPUtime=3.02 cores=0,2,4,6
/proc/2819/task/2824/stat : 2824 (java) S 2817 2819 2758 0 -1 4202560 288134 0 0 0 253 49 0 0 16 0 22 0 522713717 16068075520 3852056 33554432000 1073741824 1073778376 140733301509008 18446744073709551615 268284504985 0 4 0 16800975 18446604453892917248 0 0 -1 0 0 0 0
[pid=2819/tid=2825] ppid=2817 vsize=15691480 CPUtime=3.11 cores=0,2,4,6
/proc/2819/task/2825/stat : 2825 (java) S 2817 2819 2758 0 -1 4202560 337509 0 0 0 250 61 0 0 16 0 22 0 522713717 16068075520 3852056 33554432000 1073741824 1073778376 140733301509008 18446744073709551615 268284504985 0 4 0 16800975 18446604453892917248 0 0 -1 0 0 0 0
[pid=2819/tid=2826] ppid=2817 vsize=15691480 CPUtime=3.1 cores=0,2,4,6
/proc/2819/task/2826/stat : 2826 (java) S 2817 2819 2758 0 -1 4202560 363780 0 0 0 250 60 0 0 15 0 22 0 522713717 16068075520 3852056 33554432000 1073741824 1073778376 140733301509008 18446744073709551615 268284504985 0 4 0 16800975 18446604453892917248 0 0 -1 0 0 0 0
[pid=2819/tid=2827] ppid=2817 vsize=15691480 CPUtime=3.69 cores=0,2,4,6
/proc/2819/task/2827/stat : 2827 (java) S 2817 2819 2758 0 -1 4202560 403487 0 0 0 299 70 0 0 16 0 22 0 522713717 16068075520 3852056 33554432000 1073741824 1073778376 140733301509008 18446744073709551615 268284504985 0 4 0 16800975 18446604453892917248 0 0 -1 2 0 0 0
[pid=2819/tid=2828] ppid=2817 vsize=15691480 CPUtime=3.79 cores=0,2,4,6
/proc/2819/task/2828/stat : 2828 (java) S 2817 2819 2758 0 -1 4202560 453929 0 0 0 299 80 0 0 16 0 22 0 522713717 16068075520 3852056 33554432000 1073741824 1073778376 140733301509008 18446744073709551615 268284504985 0 4 0 16800975 18446604453892917248 0 0 -1 0 0 0 0
[pid=2819/tid=2829] ppid=2817 vsize=15691480 CPUtime=4.26 cores=0,2,4,6
/proc/2819/task/2829/stat : 2829 (java) S 2817 2819 2758 0 -1 4202560 468090 0 0 0 348 78 0 0 16 0 22 0 522713717 16068075520 3852056 33554432000 1073741824 1073778376 140733301509008 18446744073709551615 268284504985 0 4 0 16800975 18446604453892917248 0 0 -1 6 0 0 0
[pid=2819/tid=2830] ppid=2817 vsize=15691480 CPUtime=963.05 cores=0,2,4,6
/proc/2819/task/2830/stat : 2830 (java) R 2817 2819 2758 0 -1 4202560 566138 0 0 0 96230 75 0 0 25 0 22 0 522713718 16068075520 3852056 33554432000 1073741824 1073778376 140733301509008 18446744073709551615 47933877965149 0 0 0 16800975 0 0 0 -1 0 0 0 0
[pid=2819/tid=2831] ppid=2817 vsize=15691480 CPUtime=0 cores=0,2,4,6
/proc/2819/task/2831/stat : 2831 (java) S 2817 2819 2758 0 -1 4202560 18 0 0 0 0 0 0 0 15 0 22 0 522713719 16068075520 3852056 33554432000 1073741824 1073778376 140733301509008 18446744073709551615 268284504985 0 4 0 16800975 18446604453892917248 0 0 -1 4 0 0 0
[pid=2819/tid=2832] ppid=2817 vsize=15691480 CPUtime=0 cores=0,2,4,6
/proc/2819/task/2832/stat : 2832 (java) S 2817 2819 2758 0 -1 4202560 8 0 0 0 0 0 0 0 15 0 22 0 522713719 16068075520 3852056 33554432000 1073741824 1073778376 140733301509008 18446744073709551615 268284504985 0 4 0 16800975 18446604453892917248 0 0 -1 4 0 0 0
[pid=2819/tid=2833] ppid=2817 vsize=15691480 CPUtime=0 cores=0,2,4,6
/proc/2819/task/2833/stat : 2833 (java) S 2817 2819 2758 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 522713721 16068075520 3852056 33554432000 1073741824 1073778376 140733301509008 18446744073709551615 268284512689 0 4 0 16800975 18446604453892917248 0 0 -1 4 0 0 0
[pid=2819/tid=2834] ppid=2817 vsize=15691480 CPUtime=0.83 cores=0,2,4,6
/proc/2819/task/2834/stat : 2834 (java) S 2817 2819 2758 0 -1 4202560 2261 0 0 0 83 0 0 0 15 0 22 0 522713721 16068075520 3852056 33554432000 1073741824 1073778376 140733301509008 18446744073709551615 268284504985 0 4 0 16800975 18446604453892917248 0 0 -1 6 0 0 0
[pid=2819/tid=2835] ppid=2817 vsize=15691480 CPUtime=1.28 cores=0,2,4,6
/proc/2819/task/2835/stat : 2835 (java) S 2817 2819 2758 0 -1 4202560 14669 0 0 0 127 1 0 0 15 0 22 0 522713721 16068075520 3852056 33554432000 1073741824 1073778376 140733301509008 18446744073709551615 268284504985 0 4 0 16800975 18446604453892917248 0 0 -1 2 0 0 0
[pid=2819/tid=2836] ppid=2817 vsize=15691480 CPUtime=0 cores=0,2,4,6
/proc/2819/task/2836/stat : 2836 (java) S 2817 2819 2758 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 522713721 16068075520 3852056 33554432000 1073741824 1073778376 140733301509008 18446744073709551615 268284504985 0 4 0 16800975 18446604453892917248 0 0 -1 4 0 0 0
[pid=2819/tid=2837] ppid=2817 vsize=15691480 CPUtime=0 cores=0,2,4,6
/proc/2819/task/2837/stat : 2837 (java) S 2817 2819 2758 0 -1 4202560 72 0 0 0 0 0 0 0 15 0 22 0 522713721 16068075520 3852056 33554432000 1073741824 1073778376 140733301509008 18446744073709551615 268284505600 0 4 0 16800975 18446604453892917248 0 0 -1 2 0 0 0
[pid=2819/tid=2842] ppid=2817 vsize=15691480 CPUtime=326.48 cores=0,2,4,6
/proc/2819/task/2842/stat : 2842 (java) S 2817 2819 2758 0 -1 4202560 70232 0 0 0 32637 11 0 0 16 0 22 0 522713824 16068075520 3852056 33554432000 1073741824 1073778376 140733301509008 18446744073709551615 268284504985 0 4 0 16800975 18446604453892917248 0 0 -1 0 0 0 0
[pid=2819/tid=2843] ppid=2817 vsize=15691480 CPUtime=326.25 cores=0,2,4,6
/proc/2819/task/2843/stat : 2843 (java) S 2817 2819 2758 0 -1 4202560 50699 0 0 0 32617 8 0 0 15 0 22 0 522713824 16068075520 3852056 33554432000 1073741824 1073778376 140733301509008 18446744073709551615 268284504985 0 4 0 16800975 18446604453892917248 0 0 -1 6 0 0 0
[pid=2819/tid=2844] ppid=2817 vsize=15691480 CPUtime=325.69 cores=0,2,4,6
/proc/2819/task/2844/stat : 2844 (java) S 2817 2819 2758 0 -1 4202560 70942 0 0 0 32558 11 0 0 15 0 22 0 522713824 16068075520 3852056 33554432000 1073741824 1073778376 140733301509008 18446744073709551615 268284504985 0 4 0 16800975 18446604453892917248 0 0 -1 4 0 0 0
[pid=2819/tid=2845] ppid=2817 vsize=15691480 CPUtime=325.28 cores=0,2,4,6
/proc/2819/task/2845/stat : 2845 (java) S 2817 2819 2758 0 -1 4202560 61292 0 0 0 32516 12 0 0 15 0 22 0 522713824 16068075520 3852056 33554432000 1073741824 1073778376 140733301509008 18446744073709551615 268284504985 0 4 0 16800975 18446604453892917248 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2299.39
Current children cumulated vsize (KiB) 15691480

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

Sending SIGKILL to process tree (bottom up)

Sending SIGKILL to -2819

[startup+1302.3 s]
/proc/loadavg: 5.33 5.20 5.91 6/222 2947
/proc/meminfo: memFree=97280/32950928 swapFree=67111524/67111528
[pid=2819] ppid=2817 vsize=0 CPUtime=2301.71 cores=0,2,4,6
/proc/2819/stat : 2819 (java) Z 2817 2819 2758 0 -1 4203548 3883709 0 1 0 229492 679 0 0 18 0 2 0 522713717 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/2819/statm: 0 0 0 0 0 0 0
[pid=2819/tid=2845] ppid=2817 vsize=0 CPUtime=325.56 cores=0,2,4,6
/proc/2819/task/2845/stat : 2845 (java) R 2817 2819 2758 0 -1 4203588 61292 0 0 0 32516 40 0 0 16 0 2 0 522713824 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2301.71
Current children cumulated vsize (KiB) 0

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

[startup+1302.4 s]
/proc/loadavg: 5.33 5.20 5.91 6/222 2947
/proc/meminfo: memFree=97280/32950928 swapFree=67111524/67111528
[pid=2819] ppid=2817 vsize=0 CPUtime=2301.81 cores=0,2,4,6
/proc/2819/stat : 2819 (java) Z 2817 2819 2758 0 -1 4203548 3883709 0 1 0 229492 689 0 0 18 0 2 0 522713717 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/2819/statm: 0 0 0 0 0 0 0
[pid=2819/tid=2845] ppid=2817 vsize=0 CPUtime=325.66 cores=0,2,4,6
/proc/2819/task/2845/stat : 2845 (java) R 2817 2819 2758 0 -1 4203588 61292 0 0 0 32516 50 0 0 16 0 2 0 522713824 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2301.81
Current children cumulated vsize (KiB) 0

[startup+1302.5 s]
/proc/loadavg: 5.33 5.20 5.91 6/200 2947
/proc/meminfo: memFree=12801252/32950928 swapFree=67111524/67111528
[pid=2819] ppid=2817 vsize=0 CPUtime=2301.91 cores=0,2,4,6
/proc/2819/stat : 2819 (java) Z 2817 2819 2758 0 -1 4203548 3883709 0 1 0 229492 699 0 0 18 0 2 0 522713717 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/2819/statm: 0 0 0 0 0 0 0
[pid=2819/tid=2845] ppid=2817 vsize=0 CPUtime=325.77 cores=0,2,4,6
/proc/2819/task/2845/stat : 2845 (java) R 2817 2819 2758 0 -1 4203588 61292 0 0 0 32516 61 0 0 16 0 2 0 522713824 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2301.91
Current children cumulated vsize (KiB) 0

Child ended because it received signal 9 (SIGKILL)
Real time (s): 1302.6
CPU time (s): 2302.02
CPU user time (s): 2294.93
CPU system time (s): 7.09292
CPU usage (%): 176.725
Max. virtual memory (cumulated for all children) (KiB): 15693536

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

runsolver used 2.08968 second user time and 5.04623 second system time

The end

Launcher Data 

Begin job on node122 at 2011-04-29 23:05:49
IDJOB=3312336
IDBENCH=82521
IDSOLVER=1699
FILE ID=node122/3312336-1304111149
RUNJOBID= node122-1304111149-2780
PBS_JOBID= 13170682
Free space on /tmp= 71660 MiB

SOLVER NAME= STRUCTure 0.1
BENCH NAME= SAT11/random/large/unif-k3-r4.2-v50000-c210000-S1969540674-065-UNKNOWN.cnf
COMMAND LINE= run 15000 NBCORE TMPDIR DIR BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3312336-1304111149/watcher-3312336-1304111149 -o /tmp/evaluation-result-3312336-1304111149/solver-3312336-1304111149 -C 4800 -W 1300 -M 15500  run 15000 4 HOME HOME HOME/instance-3312336-1304111149.cnf

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

MD5SUM BENCH= fcb14103324f734a2e69e02c062e67ed
RANDOM SEED=1940140023

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

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


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      22106556 kB
Buffers:       1631072 kB
Cached:        8576992 kB
SwapCached:          4 kB
Active:        1153908 kB
Inactive:      9139224 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      22106556 kB
SwapTotal:    67111528 kB
SwapFree:     67111524 kB
Dirty:            7908 kB
Writeback:           0 kB
AnonPages:       84604 kB
Mapped:          22672 kB
Slab:           486536 kB
PageTables:       5020 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:   779612 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= 71656 MiB
End job on node122 at 2011-04-29 23:27:32