Trace number 3312157

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 (hbr=2)? (TO) 2385 1302.61

General information on the benchmark

Nameapplication/jarvisalo/smtqfbv-aigs/
smtlib-qfbv-aigs-servers_slapd_a_vc149789-tseitin.cnf
MD5SUM9fe9fe24bc28c127c9f6b6416a14f727
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark1.21681
Satisfiable
(Un)Satisfiability was proved
Number of variables360364
Number of clauses1076507
Sum of the clauses size2511847
Maximum clause length3
Minimum clause length1
Number of clauses of size 12
Number of clauses of size 2717670
Number of clauses of size 3358835
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50

Solver Data 

0.10/0.12	26:33 INFO : Reading from input HOME/instance-3312157-1304108792.cnf
4.40/4.13	Executor set job limit to 1000000
4.40/4.13	Executor set job limit to 1000000
4.40/4.13	Executor set job limit to 1000000
4.40/4.13	Executor set job limit to 1000000
4.40/4.13	Starting Executor!
4.40/4.13	Starting Executor!
4.40/4.13	Starting Executor!
4.40/4.13	Starting Executor!
13.88/11.48	26:44 INFO : 359718 variables remaining out of 360364
13.88/11.48	26:44 INFO : 7176136 literals remaining out of 3588354
1343.34/422.24	33:35 ERROR: Failed to solve instance
1343.34/422.24	java.lang.OutOfMemoryError: GC overhead limit exceeded
1343.34/422.24		at gnu.trove.TIntArrayList.ensureCapacity(TIntArrayList.java:100)
1343.34/422.24		at gnu.trove.TIntArrayList.add(TIntArrayList.java:144)
1343.34/422.24		at ibis.structure.ImplicationsGraph.add(ImplicationsGraph.java:39)
1343.34/422.24		at ibis.structure.Solver.addBinary(Solver.java:97)
1343.34/422.24		at ibis.structure.HyperBinaryResolution.run(HyperBinaryResolution.java:85)
1343.34/422.24		at ibis.structure.Solver.simplify(Solver.java:191)
1343.34/422.24		at ibis.structure.Solver.solve(Solver.java:113)
1343.34/422.24		at ibis.structure.SolveActivity.initialize(SolveActivity.java:29)
1343.34/422.24		at ibis.constellation.impl.ActivityRecord.runStateMachine(ActivityRecord.java:143)
1343.34/422.24		at ibis.constellation.impl.ActivityRecord.run(ActivityRecord.java:215)
1343.34/422.24		at ibis.constellation.impl.ExecutorWrapper.process(ExecutorWrapper.java:398)
1343.34/422.24		at ibis.constellation.impl.ExecutorWrapper.process(ExecutorWrapper.java:420)
1343.34/422.24		at ibis.constellation.impl.SingleThreadedConstellation.processActivities(SingleThreadedConstellation.java:1023)
1343.34/422.24		at ibis.constellation.impl.ExecutorWrapper.processActivities(ExecutorWrapper.java:515)
1343.34/422.24		at ibis.constellation.Executor.processActivities(Executor.java:75)
1343.34/422.24		at ibis.constellation.SimpleExecutor.run(SimpleExecutor.java:54)
1343.34/422.24		at ibis.constellation.impl.ExecutorWrapper.runExecutor(ExecutorWrapper.java:521)
1343.34/422.24		at ibis.constellation.impl.SingleThreadedConstellation.run(SingleThreadedConstellation.java:1070)
1353.56/432.31	33:45 ERROR: Failed to solve instance
1353.56/432.31	java.lang.OutOfMemoryError: GC overhead limit exceeded
1353.56/432.31		at gnu.trove.TIntHashSet.rehash(TIntHashSet.java:170)
1353.56/432.31		at gnu.trove.THash.compact(THash.java:197)
1353.56/432.31		at gnu.trove.THash.removeAt(THash.java:261)
1353.56/432.31		at gnu.trove.TPrimitiveHash.removeAt(TPrimitiveHash.java:109)
1353.56/432.31		at gnu.trove.TIntHash.removeAt(TIntHash.java:173)
1353.56/432.31		at gnu.trove.TIntHashSet.remove(TIntHashSet.java:264)
1353.56/432.31		at ibis.structure.WatchLists.removeClause(WatchLists.java:152)
1353.56/432.31		at ibis.structure.Solver.propagate(Solver.java:271)
1353.56/432.31		at ibis.structure.Solver.simplify(Solver.java:188)
1353.56/432.31		at ibis.structure.Solver.solve(Solver.java:113)
1353.56/432.31		at ibis.structure.SolveActivity.initialize(SolveActivity.java:29)
1353.56/432.31		at ibis.constellation.impl.ActivityRecord.runStateMachine(ActivityRecord.java:143)
1353.56/432.31		at ibis.constellation.impl.ActivityRecord.run(ActivityRecord.java:215)
1353.56/432.31		at ibis.constellation.impl.ExecutorWrapper.process(ExecutorWrapper.java:398)
1353.56/432.31		at ibis.constellation.impl.ExecutorWrapper.process(ExecutorWrapper.java:420)
1353.56/432.31		at ibis.constellation.impl.SingleThreadedConstellation.processActivities(SingleThreadedConstellation.java:1023)
1353.56/432.31		at ibis.constellation.impl.ExecutorWrapper.processActivities(ExecutorWrapper.java:515)
1353.56/432.31		at ibis.constellation.Executor.processActivities(Executor.java:75)
1353.56/432.31		at ibis.constellation.SimpleExecutor.run(SimpleExecutor.java:54)
1353.56/432.31		at ibis.constellation.impl.ExecutorWrapper.runExecutor(ExecutorWrapper.java:521)
1353.56/432.31		at ibis.constellation.impl.SingleThreadedConstellation.run(SingleThreadedConstellation.java:1070)
1410.09/477.57	34:30 ERROR: Failed to solve instance
1410.09/477.57	java.lang.OutOfMemoryError: GC overhead limit exceeded
1410.09/477.57		at gnu.trove.TPrimitiveHash.setUp(TPrimitiveHash.java:123)
1410.09/477.57		at gnu.trove.TIntHash.setUp(TIntHash.java:133)
1410.09/477.57		at gnu.trove.TPrimitiveHash.<init>(TPrimitiveHash.java:83)
1410.09/477.57		at gnu.trove.TPrimitiveHash.<init>(TPrimitiveHash.java:68)
1410.09/477.57		at gnu.trove.TIntHash.<init>(TIntHash.java:60)
1410.09/477.57		at gnu.trove.TIntHashSet.<init>(TIntHashSet.java:59)
1410.09/477.57		at ibis.structure.WatchLists.build(WatchLists.java:47)
1410.09/477.57		at ibis.structure.Solver.<init>(Solver.java:45)
1410.09/477.57		at ibis.structure.SolveActivity.initialize(SolveActivity.java:28)
1410.09/477.57		at ibis.constellation.impl.ActivityRecord.runStateMachine(ActivityRecord.java:143)
1410.09/477.57		at ibis.constellation.impl.ActivityRecord.run(ActivityRecord.java:215)
1410.09/477.57		at ibis.constellation.impl.ExecutorWrapper.process(ExecutorWrapper.java:398)
1410.09/477.57		at ibis.constellation.impl.ExecutorWrapper.process(ExecutorWrapper.java:420)
1410.09/477.57		at ibis.constellation.impl.SingleThreadedConstellation.processActivities(SingleThreadedConstellation.java:1023)
1410.09/477.57		at ibis.constellation.impl.ExecutorWrapper.processActivities(ExecutorWrapper.java:515)
1410.09/477.57		at ibis.constellation.Executor.processActivities(Executor.java:75)
1410.09/477.57		at ibis.constellation.SimpleExecutor.run(SimpleExecutor.java:54)
1410.09/477.57		at ibis.constellation.impl.ExecutorWrapper.runExecutor(ExecutorWrapper.java:521)
1410.09/477.57		at ibis.constellation.impl.SingleThreadedConstellation.run(SingleThreadedConstellation.java:1070)
1416.65/484.06	34:37 ERROR: Failed to solve instance
1416.65/484.06	java.lang.OutOfMemoryError: GC overhead limit exceeded
1416.65/484.06		at gnu.trove.TIntHash.setUp(TIntHash.java:134)
1416.65/484.06		at gnu.trove.THash.<init>(THash.java:128)
1416.65/484.06		at gnu.trove.THash.<init>(THash.java:97)
1416.65/484.06		at gnu.trove.TPrimitiveHash.<init>(TPrimitiveHash.java:81)
1416.65/484.06		at gnu.trove.TPrimitiveHash.<init>(TPrimitiveHash.java:68)
1416.65/484.06		at gnu.trove.TIntHash.<init>(TIntHash.java:60)
1416.65/484.06		at gnu.trove.TIntHashSet.<init>(TIntHashSet.java:59)
1416.65/484.06		at ibis.structure.WatchLists.build(WatchLists.java:47)
1416.65/484.06		at ibis.structure.Solver.<init>(Solver.java:45)
1416.65/484.06		at ibis.structure.SolveActivity.initialize(SolveActivity.java:28)
1416.65/484.06		at ibis.constellation.impl.ActivityRecord.runStateMachine(ActivityRecord.java:143)
1416.65/484.06		at ibis.constellation.impl.ActivityRecord.run(ActivityRecord.java:215)
1416.65/484.06		at ibis.constellation.impl.ExecutorWrapper.process(ExecutorWrapper.java:398)
1416.65/484.06		at ibis.constellation.impl.ExecutorWrapper.process(ExecutorWrapper.java:420)
1416.65/484.06		at ibis.constellation.impl.SingleThreadedConstellation.processActivities(SingleThreadedConstellation.java:1023)
1416.65/484.06		at ibis.constellation.impl.ExecutorWrapper.processActivities(ExecutorWrapper.java:515)
1416.65/484.06		at ibis.constellation.Executor.processActivities(Executor.java:75)
1416.65/484.06		at ibis.constellation.SimpleExecutor.run(SimpleExecutor.java:54)
1416.65/484.06		at ibis.constellation.impl.ExecutorWrapper.runExecutor(ExecutorWrapper.java:521)
1416.65/484.06		at ibis.constellation.impl.SingleThreadedConstellation.run(SingleThreadedConstellation.java:1070)
1426.32/493.43	34:46 ERROR: Failed to solve instance
1426.32/493.43	java.lang.OutOfMemoryError: GC overhead limit exceeded
1439.89/506.12	34:59 ERROR: Failed to solve instance
1439.89/506.12	java.lang.OutOfMemoryError: GC overhead limit exceeded
1442.22/508.44	35:01 ERROR: Failed to solve instance
1442.22/508.44	java.lang.OutOfMemoryError: GC overhead limit exceeded
1450.41/516.32	35:08 ERROR: Failed to solve instance
1450.41/516.32	java.lang.OutOfMemoryError: GC overhead limit exceeded
1470.98/535.65	35:27 ERROR: Failed to solve instance
1470.98/535.65	java.lang.OutOfMemoryError: GC overhead limit exceeded
1484.99/548.58	35:41 ERROR: Failed to solve instance
1484.99/548.58	java.lang.OutOfMemoryError: GC overhead limit exceeded
1486.52/550.01	35:43 ERROR: Failed to solve instance
1486.52/550.01	java.lang.OutOfMemoryError: GC overhead limit exceeded
1531.50/592.15	36:24 ERROR: Failed to solve instance
1531.50/592.15	java.lang.OutOfMemoryError: GC overhead limit exceeded
1613.02/652.24	37:25 ERROR: Failed to solve instance
1613.02/652.24	java.lang.OutOfMemoryError: GC overhead limit exceeded
1644.89/680.96	37:54 ERROR: Failed to solve instance
1644.89/680.96	java.lang.OutOfMemoryError: GC overhead limit exceeded
1647.43/683.42	37:56 ERROR: Failed to solve instance
1647.43/683.42	java.lang.OutOfMemoryError: GC overhead limit exceeded
1649.96/685.98	37:59 ERROR: Failed to solve instance
1649.96/685.98	java.lang.OutOfMemoryError: GC overhead limit exceeded
1659.02/694.71	38:07 ERROR: Failed to solve instance
1659.02/694.71	java.lang.OutOfMemoryError: GC overhead limit exceeded
1671.49/706.65	38:19 ERROR: Failed to solve instance
1671.49/706.65	java.lang.OutOfMemoryError: GC overhead limit exceeded
1688.14/722.24	38:34 ERROR: Failed to solve instance
1688.14/722.24	java.lang.OutOfMemoryError: GC overhead limit exceeded
1689.56/723.66	38:36 ERROR: Failed to solve instance
1689.56/723.66	java.lang.OutOfMemoryError: GC overhead limit exceeded
1721.99/750.21	39:03 ERROR: Failed to solve instance
1721.99/750.21	java.lang.OutOfMemoryError: GC overhead limit exceeded
1727.65/755.70	39:08 ERROR: Failed to solve instance
1727.65/755.70	java.lang.OutOfMemoryError: GC overhead limit exceeded
1737.07/764.61	39:17 ERROR: Failed to solve instance
1737.07/764.61	java.lang.OutOfMemoryError: GC overhead limit exceeded
1753.37/779.24	39:32 ERROR: Failed to solve instance
1753.37/779.24	java.lang.OutOfMemoryError: GC overhead limit exceeded
1790.53/808.17	40:01 ERROR: Failed to solve instance
1790.53/808.17	java.lang.OutOfMemoryError: GC overhead limit exceeded
1808.08/823.53	40:15 ERROR: Failed to solve instance
1808.08/823.53	java.lang.OutOfMemoryError: GC overhead limit exceeded
1810.61/826.09	40:19 ERROR: Failed to solve instance
1810.61/826.09	java.lang.OutOfMemoryError: GC overhead limit exceeded
1859.93/867.59	41:00 ERROR: Failed to solve instance
1859.93/867.59	java.lang.OutOfMemoryError: GC overhead limit exceeded
1869.54/876.74	41:09 ERROR: Failed to solve instance
1869.54/876.74	java.lang.OutOfMemoryError: GC overhead limit exceeded
1895.80/900.15	41:32 ERROR: Failed to solve instance
1895.80/900.15	java.lang.OutOfMemoryError: GC overhead limit exceeded
1899.36/903.54	41:36 ERROR: Failed to solve instance
1899.36/903.54	java.lang.OutOfMemoryError: GC overhead limit exceeded
1940.95/937.22	42:10 ERROR: Failed to solve instance
1940.95/937.22	java.lang.OutOfMemoryError: GC overhead limit exceeded
2058.82/1026.84	43:39 ERROR: Failed to solve instance
2058.82/1026.84	java.lang.OutOfMemoryError: GC overhead limit exceeded
2082.57/1048.15	44:01 ERROR: Failed to solve instance
2082.57/1048.15	java.lang.OutOfMemoryError: GC overhead limit exceeded
2091.43/1056.79	44:09 ERROR: Failed to solve instance
2091.43/1056.79	java.lang.OutOfMemoryError: GC overhead limit exceeded
2131.52/1089.36	44:42 ERROR: Failed to solve instance
2131.52/1089.36	java.lang.OutOfMemoryError: GC overhead limit exceeded
2179.05/1126.33	45:19 ERROR: Failed to solve instance
2179.05/1126.33	java.lang.OutOfMemoryError: GC overhead limit exceeded
2181.09/1128.32	45:21 ERROR: Failed to solve instance
2181.09/1128.32	java.lang.OutOfMemoryError: GC overhead limit exceeded
2223.74/1162.65	45:55 ERROR: Failed to solve instance
2223.74/1162.65	java.lang.OutOfMemoryError: GC overhead limit exceeded
2243.44/1180.26	46:13 ERROR: Failed to solve instance
2243.44/1180.26	java.lang.OutOfMemoryError: GC overhead limit exceeded
2248.29/1185.01	46:17 ERROR: Failed to solve instance
2248.29/1185.01	java.lang.OutOfMemoryError: GC overhead limit exceeded
2253.27/1189.92	46:22 ERROR: Failed to solve instance
2253.27/1189.92	java.lang.OutOfMemoryError: GC overhead limit exceeded
2260.27/1196.58	46:29 ERROR: Failed to solve instance
2260.27/1196.58	java.lang.OutOfMemoryError: GC overhead limit exceeded
2291.99/1223.00	46:56 ERROR: Failed to solve instance
2291.99/1223.00	java.lang.OutOfMemoryError: GC overhead limit exceeded
2295.52/1226.57	46:59 ERROR: Failed to solve instance
2295.52/1226.57	java.lang.OutOfMemoryError: GC overhead limit exceeded
2298.04/1229.02	47:02 ERROR: Failed to solve instance
2298.04/1229.02	java.lang.OutOfMemoryError: GC overhead limit exceeded
2303.11/1234.01	47:07 ERROR: Failed to solve instance
2303.11/1234.01	java.lang.OutOfMemoryError: GC overhead limit exceeded
2351.63/1275.54	47:48 ERROR: Failed to solve instance
2351.63/1275.54	java.lang.OutOfMemoryError: GC overhead limit exceeded
2360.81/1284.17	47:57 ERROR: Failed to solve instance
2360.81/1284.17	java.lang.OutOfMemoryError: GC overhead limit exceeded

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-3312157-1304108792/watcher-3312157-1304108792 -o /tmp/evaluation-result-3312157-1304108792/solver-3312157-1304108792 -C 4800 -W 1300 -M 15500 run 15000 4 HOME HOME HOME/instance-3312157-1304108792.cnf -hbr 2 

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: 2.04 3.56 5.05 2/199 2742
/proc/meminfo: memFree=15511096/32950928 swapFree=67111524/67111528
[pid=2742] ppid=2740 vsize=9100 CPUtime=0 cores=0,2,4,6
/proc/2742/stat : 2742 (java) S 2740 2742 2452 0 -1 4202496 492 0 0 0 0 0 0 0 21 0 1 0 601109920 9318400 153 33554432000 1073741824 1073778376 140736279062656 18446744073709551615 218880560997 0 2147483391 4096 0 18446744071699207358 0 0 17 2 0 0 0
/proc/2742/statm: 2275 153 124 9 0 67 0

[startup+0.0225389 s]
/proc/loadavg: 2.04 3.56 5.05 2/199 2742
/proc/meminfo: memFree=15511096/32950928 swapFree=67111524/67111528
[pid=2742] ppid=2740 vsize=15591780 CPUtime=0.01 cores=0,2,4,6
/proc/2742/stat : 2742 (java) S 2740 2742 2452 0 -1 4202496 3197 0 1 0 1 0 0 0 21 0 10 0 601109920 15965982720 2639 33554432000 1073741824 1073778376 140735812219952 18446744073709551615 218892367845 0 0 0 16784584 18446744073709551615 0 0 17 2 0 0 0
/proc/2742/statm: 3897945 2639 1536 9 0 3888693 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 15591780

[startup+0.100516 s]
/proc/loadavg: 2.04 3.56 5.05 2/199 2742
/proc/meminfo: memFree=15511096/32950928 swapFree=67111524/67111528
[pid=2742] ppid=2740 vsize=15676840 CPUtime=0.1 cores=0,2,4,6
/proc/2742/stat : 2742 (java) S 2740 2742 2452 0 -1 4202496 5504 0 1 0 10 0 0 0 21 0 18 0 601109920 16053084160 4917 33554432000 1073741824 1073778376 140735812219952 18446744073709551615 218892367845 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/2742/statm: 3919210 4917 2115 9 0 3909929 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 15676840

[startup+0.300501 s]
/proc/loadavg: 2.04 3.56 5.05 2/199 2742
/proc/meminfo: memFree=15511096/32950928 swapFree=67111524/67111528
[pid=2742] ppid=2740 vsize=15681868 CPUtime=0.48 cores=0,2,4,6
/proc/2742/stat : 2742 (java) S 2740 2742 2452 0 -1 4202496 13065 0 1 0 46 2 0 0 21 0 18 0 601109920 16058232832 11478 33554432000 1073741824 1073778376 140735812219952 18446744073709551615 218892367845 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/2742/statm: 3920467 11481 2205 9 0 3911186 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 15681868

[startup+0.70039 s]
/proc/loadavg: 2.04 3.56 5.05 2/199 2742
/proc/meminfo: memFree=15511096/32950928 swapFree=67111524/67111528
[pid=2742] ppid=2740 vsize=15681720 CPUtime=0.91 cores=0,2,4,6
/proc/2742/stat : 2742 (java) S 2740 2742 2452 0 -1 4202496 42599 0 1 0 85 6 0 0 21 0 18 0 601109920 16058081280 40758 33554432000 1073741824 1073778376 140735812219952 18446744073709551615 218892367845 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/2742/statm: 3920430 40758 2222 9 0 3911149 0
Current children cumulated CPU time (s) 0.91
Current children cumulated vsize (KiB) 15681720

[startup+1.50132 s]
/proc/loadavg: 2.04 3.56 5.05 3/217 2764
/proc/meminfo: memFree=15354156/32950928 swapFree=67111524/67111528
[pid=2742] ppid=2740 vsize=15681720 CPUtime=1.73 cores=0,2,4,6
/proc/2742/stat : 2742 (java) S 2740 2742 2452 0 -1 4202496 76501 0 1 0 162 11 0 0 21 0 18 0 601109920 16058081280 74657 33554432000 1073741824 1073778376 140735812219952 18446744073709551615 218892367845 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/2742/statm: 3920430 74657 2222 9 0 3911149 0
[pid=2742/tid=2747] ppid=2740 vsize=15681720 CPUtime=1.46 cores=0,2,4,6
/proc/2742/task/2747/stat : 2747 (java) R 2740 2742 2452 0 -1 4202560 65536 0 1 0 137 9 0 0 19 0 18 0 601109920 16058081280 74657 33554432000 1073741824 1073778376 140735812219952 18446744073709551615 46912505525732 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=2742/tid=2748] ppid=2740 vsize=15681720 CPUtime=0 cores=0,2,4,6
/proc/2742/task/2748/stat : 2748 (java) S 2740 2742 2452 0 -1 4202560 410 0 0 0 0 0 0 0 15 0 18 0 601109921 16058081280 74657 33554432000 1073741824 1073778376 140735812219952 18446744073709551615 218892381081 0 4 0 16800975 18446604453950454592 0 0 -1 2 0 0 0
[pid=2742/tid=2749] ppid=2740 vsize=15681720 CPUtime=0 cores=0,2,4,6
/proc/2742/task/2749/stat : 2749 (java) S 2740 2742 2452 0 -1 4202560 356 0 0 0 0 0 0 0 15 0 18 0 601109921 16058081280 74657 33554432000 1073741824 1073778376 140735812219952 18446744073709551615 218892381081 0 4 0 16800975 18446604453950454592 0 0 -1 2 0 0 0
[pid=2742/tid=2750] ppid=2740 vsize=15681720 CPUtime=0 cores=0,2,4,6
/proc/2742/task/2750/stat : 2750 (java) S 2740 2742 2452 0 -1 4202560 1416 0 0 0 0 0 0 0 15 0 18 0 601109921 16058081280 74657 33554432000 1073741824 1073778376 140735812219952 18446744073709551615 218892381081 0 4 0 16800975 18446604453950454592 0 0 -1 2 0 0 0
[pid=2742/tid=2751] ppid=2740 vsize=15681720 CPUtime=0 cores=0,2,4,6
/proc/2742/task/2751/stat : 2751 (java) S 2740 2742 2452 0 -1 4202560 360 0 0 0 0 0 0 0 16 0 18 0 601109921 16058081280 74657 33554432000 1073741824 1073778376 140735812219952 18446744073709551615 218892381081 0 4 0 16800975 18446604453950454592 0 0 -1 6 0 0 0
[pid=2742/tid=2752] ppid=2740 vsize=15681720 CPUtime=0 cores=0,2,4,6
/proc/2742/task/2752/stat : 2752 (java) S 2740 2742 2452 0 -1 4202560 292 0 0 0 0 0 0 0 16 0 18 0 601109921 16058081280 74657 33554432000 1073741824 1073778376 140735812219952 18446744073709551615 218892381081 0 4 0 16800975 18446604453950454592 0 0 -1 6 0 0 0
[pid=2742/tid=2753] ppid=2740 vsize=15681720 CPUtime=0 cores=0,2,4,6
/proc/2742/task/2753/stat : 2753 (java) S 2740 2742 2452 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 601109921 16058081280 74657 33554432000 1073741824 1073778376 140735812219952 18446744073709551615 218892381081 0 4 0 16800975 18446604453950454592 0 0 -1 6 0 0 0
[pid=2742/tid=2754] ppid=2740 vsize=15681720 CPUtime=0 cores=0,2,4,6
/proc/2742/task/2754/stat : 2754 (java) S 2740 2742 2452 0 -1 4202560 2705 0 0 0 0 0 0 0 16 0 18 0 601109921 16058081280 74657 33554432000 1073741824 1073778376 140735812219952 18446744073709551615 218892381081 0 4 0 16800975 18446604453950454592 0 0 -1 0 0 0 0
[pid=2742/tid=2756] ppid=2740 vsize=15681720 CPUtime=0 cores=0,2,4,6
/proc/2742/task/2756/stat : 2756 (java) S 2740 2742 2452 0 -1 4202560 15 0 0 0 0 0 0 0 15 0 18 0 601109921 16058081280 74657 33554432000 1073741824 1073778376 140735812219952 18446744073709551615 218892381081 0 4 0 16800975 18446604453950454592 0 0 -1 6 0 0 0
[pid=2742/tid=2757] ppid=2740 vsize=15681720 CPUtime=0 cores=0,2,4,6
/proc/2742/task/2757/stat : 2757 (java) S 2740 2742 2452 0 -1 4202560 184 0 0 0 0 0 0 0 15 0 18 0 601109922 16058081280 74657 33554432000 1073741824 1073778376 140735812219952 18446744073709551615 218892381696 0 0 0 16800975 18446604453950454592 0 0 -1 2 0 0 0
[pid=2742/tid=2758] ppid=2740 vsize=15681720 CPUtime=0 cores=0,2,4,6
/proc/2742/task/2758/stat : 2758 (java) S 2740 2742 2452 0 -1 4202560 17 0 0 0 0 0 0 0 21 0 18 0 601109922 16058081280 74657 33554432000 1073741824 1073778376 140735812219952 18446744073709551615 218892381081 0 4 0 16800975 18446604453950454592 0 0 -1 2 0 0 0
[pid=2742/tid=2759] ppid=2740 vsize=15681720 CPUtime=0 cores=0,2,4,6
/proc/2742/task/2759/stat : 2759 (java) S 2740 2742 2452 0 -1 4202560 8 0 0 0 0 0 0 0 21 0 18 0 601109922 16058081280 74657 33554432000 1073741824 1073778376 140735812219952 18446744073709551615 218892381081 0 4 0 16800975 18446604453950454592 0 0 -1 2 0 0 0
[pid=2742/tid=2760] ppid=2740 vsize=15681720 CPUtime=0 cores=0,2,4,6
/proc/2742/task/2760/stat : 2760 (java) S 2740 2742 2452 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 601109924 16058081280 74657 33554432000 1073741824 1073778376 140735812219952 18446744073709551615 218892388785 0 4 0 16800975 18446604453950454592 0 0 -1 2 0 0 0
[pid=2742/tid=2761] ppid=2740 vsize=15681720 CPUtime=0.12 cores=0,2,4,6
/proc/2742/task/2761/stat : 2761 (java) S 2740 2742 2452 0 -1 4202560 2382 0 0 0 12 0 0 0 15 0 18 0 601109925 16058081280 74657 33554432000 1073741824 1073778376 140735812219952 18446744073709551615 218892381081 0 4 0 16800975 18446604453950454592 0 0 -1 2 0 0 0
[pid=2742/tid=2762] ppid=2740 vsize=15681720 CPUtime=0.09 cores=0,2,4,6
/proc/2742/task/2762/stat : 2762 (java) S 2740 2742 2452 0 -1 4202560 1459 0 0 0 9 0 0 0 18 0 18 0 601109925 16058081280 74657 33554432000 1073741824 1073778376 140735812219952 18446744073709551615 218892381081 0 4 0 16800975 18446604453950454592 0 0 -1 6 0 0 0
[pid=2742/tid=2763] ppid=2740 vsize=15681720 CPUtime=0 cores=0,2,4,6
/proc/2742/task/2763/stat : 2763 (java) S 2740 2742 2452 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 601109925 16058081280 74657 33554432000 1073741824 1073778376 140735812219952 18446744073709551615 218892381081 0 4 0 16800975 18446604453950454592 0 0 -1 0 0 0 0
[pid=2742/tid=2764] ppid=2740 vsize=15681720 CPUtime=0 cores=0,2,4,6
/proc/2742/task/2764/stat : 2764 (java) S 2740 2742 2452 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 601109925 16058081280 74657 33554432000 1073741824 1073778376 140735812219952 18446744073709551615 218892381696 0 4 0 16800975 18446604453950454592 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1.73
Current children cumulated vsize (KiB) 15681720

[startup+3.10104 s]
/proc/loadavg: 2.04 3.54 5.04 3/196 2764
/proc/meminfo: memFree=26950780/32950928 swapFree=67111524/67111528
[pid=2742] ppid=2740 vsize=15681720 CPUtime=3.39 cores=0,2,4,6
/proc/2742/stat : 2742 (java) S 2740 2742 2452 0 -1 4202496 141110 0 1 0 318 21 0 0 21 0 18 0 601109920 16058081280 139236 33554432000 1073741824 1073778376 140735812219952 18446744073709551615 218892367845 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/2742/statm: 3920430 139236 2240 9 0 3911149 0
[pid=2742/tid=2747] ppid=2740 vsize=15681720 CPUtime=3.05 cores=0,2,4,6
/proc/2742/task/2747/stat : 2747 (java) R 2740 2742 2452 0 -1 4202560 126403 0 1 0 287 18 0 0 23 0 18 0 601109920 16058081280 139236 33554432000 1073741824 1073778376 140735812219952 18446744073709551615 46912505513341 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=2742/tid=2748] ppid=2740 vsize=15681720 CPUtime=0 cores=0,2,4,6
/proc/2742/task/2748/stat : 2748 (java) S 2740 2742 2452 0 -1 4202560 410 0 0 0 0 0 0 0 15 0 18 0 601109921 16058081280 139236 33554432000 1073741824 1073778376 140735812219952 18446744073709551615 218892381081 0 4 0 16800975 18446604453950454592 0 0 -1 2 0 0 0
[pid=2742/tid=2749] ppid=2740 vsize=15681720 CPUtime=0 cores=0,2,4,6
/proc/2742/task/2749/stat : 2749 (java) S 2740 2742 2452 0 -1 4202560 708 0 0 0 0 0 0 0 16 0 18 0 601109921 16058081280 139236 33554432000 1073741824 1073778376 140735812219952 18446744073709551615 218892381081 0 4 0 16800975 18446604453950454592 0 0 -1 6 0 0 0
[pid=2742/tid=2750] ppid=2740 vsize=15681720 CPUtime=0 cores=0,2,4,6
/proc/2742/task/2750/stat : 2750 (java) S 2740 2742 2452 0 -1 4202560 1416 0 0 0 0 0 0 0 15 0 18 0 601109921 16058081280 139236 33554432000 1073741824 1073778376 140735812219952 18446744073709551615 218892381081 0 4 0 16800975 18446604453950454592 0 0 -1 6 0 0 0
[pid=2742/tid=2751] ppid=2740 vsize=15681720 CPUtime=0 cores=0,2,4,6
/proc/2742/task/2751/stat : 2751 (java) S 2740 2742 2452 0 -1 4202560 360 0 0 0 0 0 0 0 15 0 18 0 601109921 16058081280 139236 33554432000 1073741824 1073778376 140735812219952 18446744073709551615 218892381081 0 4 0 16800975 18446604453950454592 0 0 -1 6 0 0 0
[pid=2742/tid=2752] ppid=2740 vsize=15681720 CPUtime=0 cores=0,2,4,6
/proc/2742/task/2752/stat : 2752 (java) S 2740 2742 2452 0 -1 4202560 649 0 0 0 0 0 0 0 15 0 18 0 601109921 16058081280 139236 33554432000 1073741824 1073778376 140735812219952 18446744073709551615 218892381081 0 4 0 16800975 18446604453950454592 0 0 -1 6 0 0 0
[pid=2742/tid=2753] ppid=2740 vsize=15681720 CPUtime=0 cores=0,2,4,6
/proc/2742/task/2753/stat : 2753 (java) S 2740 2742 2452 0 -1 4202560 46 0 0 0 0 0 0 0 15 0 18 0 601109921 16058081280 139236 33554432000 1073741824 1073778376 140735812219952 18446744073709551615 218892381081 0 4 0 16800975 18446604453950454592 0 0 -1 6 0 0 0
[pid=2742/tid=2754] ppid=2740 vsize=15681720 CPUtime=0 cores=0,2,4,6
/proc/2742/task/2754/stat : 2754 (java) S 2740 2742 2452 0 -1 4202560 5360 0 0 0 0 0 0 0 16 0 18 0 601109921 16058081280 139236 33554432000 1073741824 1073778376 140735812219952 18446744073709551615 218892381081 0 4 0 16800975 18446604453950454592 0 0 -1 0 0 0 0
[pid=2742/tid=2756] ppid=2740 vsize=15681720 CPUtime=0 cores=0,2,4,6
/proc/2742/task/2756/stat : 2756 (java) S 2740 2742 2452 0 -1 4202560 15 0 0 0 0 0 0 0 15 0 18 0 601109921 16058081280 139236 33554432000 1073741824 1073778376 140735812219952 18446744073709551615 218892381081 0 4 0 16800975 18446604453950454592 0 0 -1 6 0 0 0
[pid=2742/tid=2757] ppid=2740 vsize=15681720 CPUtime=0 cores=0,2,4,6
/proc/2742/task/2757/stat : 2757 (java) S 2740 2742 2452 0 -1 4202560 436 0 0 0 0 0 0 0 15 0 18 0 601109922 16058081280 139236 33554432000 1073741824 1073778376 140735812219952 18446744073709551615 218892381696 0 0 0 16800975 18446604453950454592 0 0 -1 2 0 0 0
[pid=2742/tid=2758] ppid=2740 vsize=15681720 CPUtime=0 cores=0,2,4,6
/proc/2742/task/2758/stat : 2758 (java) S 2740 2742 2452 0 -1 4202560 17 0 0 0 0 0 0 0 21 0 18 0 601109922 16058081280 139236 33554432000 1073741824 1073778376 140735812219952 18446744073709551615 218892381081 0 4 0 16800975 18446604453950454592 0 0 -1 2 0 0 0
[pid=2742/tid=2759] ppid=2740 vsize=15681720 CPUtime=0 cores=0,2,4,6
/proc/2742/task/2759/stat : 2759 (java) S 2740 2742 2452 0 -1 4202560 8 0 0 0 0 0 0 0 21 0 18 0 601109922 16058081280 139236 33554432000 1073741824 1073778376 140735812219952 18446744073709551615 218892381081 0 4 0 16800975 18446604453950454592 0 0 -1 2 0 0 0
[pid=2742/tid=2760] ppid=2740 vsize=15681720 CPUtime=0 cores=0,2,4,6
/proc/2742/task/2760/stat : 2760 (java) S 2740 2742 2452 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 601109924 16058081280 139236 33554432000 1073741824 1073778376 140735812219952 18446744073709551615 218892388785 0 4 0 16800975 18446604453950454592 0 0 -1 2 0 0 0
[pid=2742/tid=2761] ppid=2740 vsize=15681720 CPUtime=0.15 cores=0,2,4,6
/proc/2742/task/2761/stat : 2761 (java) S 2740 2742 2452 0 -1 4202560 2428 0 0 0 15 0 0 0 16 0 18 0 601109925 16058081280 139236 33554432000 1073741824 1073778376 140735812219952 18446744073709551615 218892381081 0 4 0 16800975 18446604453950454592 0 0 -1 2 0 0 0
[pid=2742/tid=2762] ppid=2740 vsize=15681720 CPUtime=0.11 cores=0,2,4,6
/proc/2742/task/2762/stat : 2762 (java) S 2740 2742 2452 0 -1 4202560 1494 0 0 0 11 0 0 0 15 0 18 0 601109925 16058081280 139236 33554432000 1073741824 1073778376 140735812219952 18446744073709551615 218892381081 0 4 0 16800975 18446604453950454592 0 0 -1 6 0 0 0
[pid=2742/tid=2763] ppid=2740 vsize=15681720 CPUtime=0 cores=0,2,4,6
/proc/2742/task/2763/stat : 2763 (java) S 2740 2742 2452 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 601109925 16058081280 139236 33554432000 1073741824 1073778376 140735812219952 18446744073709551615 218892381081 0 4 0 16800975 18446604453950454592 0 0 -1 0 0 0 0
[pid=2742/tid=2764] ppid=2740 vsize=15681720 CPUtime=0 cores=0,2,4,6
/proc/2742/task/2764/stat : 2764 (java) S 2740 2742 2452 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 601109925 16058081280 139236 33554432000 1073741824 1073778376 140735812219952 18446744073709551615 218892381696 0 4 0 16800975 18446604453950454592 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3.39
Current children cumulated vsize (KiB) 15681720

[startup+6.30148 s]
/proc/loadavg: 2.04 3.54 5.04 3/216 2816
/proc/meminfo: memFree=29676916/32950928 swapFree=67111524/67111528
[pid=2742] ppid=2740 vsize=15712656 CPUtime=7.74 cores=0,2,4,6
/proc/2742/stat : 2742 (java) S 2740 2742 2452 0 -1 4202496 244849 0 1 0 740 34 0 0 21 0 22 0 601109920 16089759744 236691 33554432000 1073741824 1073778376 140735812219952 18446744073709551615 218892367845 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/2742/statm: 3928164 236691 2264 9 0 3918883 0
[pid=2742/tid=2747] ppid=2740 vsize=15712656 CPUtime=6.24 cores=0,2,4,6
/proc/2742/task/2747/stat : 2747 (java) R 2740 2742 2452 0 -1 4202560 206570 0 1 0 597 27 0 0 21 0 22 0 601109920 16089759744 236691 33554432000 1073741824 1073778376 140735812219952 18446744073709551615 46912506102086 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=2742/tid=2748] ppid=2740 vsize=15712656 CPUtime=0.01 cores=0,2,4,6
/proc/2742/task/2748/stat : 2748 (java) S 2740 2742 2452 0 -1 4202560 411 0 0 0 1 0 0 0 15 0 22 0 601109921 16089759744 236691 33554432000 1073741824 1073778376 140735812219952 18446744073709551615 218892381081 0 4 0 16800975 18446604453950454592 0 0 -1 2 0 0 0
[pid=2742/tid=2749] ppid=2740 vsize=15712656 CPUtime=0 cores=0,2,4,6
/proc/2742/task/2749/stat : 2749 (java) S 2740 2742 2452 0 -1 4202560 5829 0 0 0 0 0 0 0 16 0 22 0 601109921 16089759744 236691 33554432000 1073741824 1073778376 140735812219952 18446744073709551615 218892381081 0 4 0 16800975 18446604453950454592 0 0 -1 6 0 0 0
[pid=2742/tid=2750] ppid=2740 vsize=15712656 CPUtime=0 cores=0,2,4,6
/proc/2742/task/2750/stat : 2750 (java) S 2740 2742 2452 0 -1 4202560 1416 0 0 0 0 0 0 0 15 0 22 0 601109921 16089759744 236691 33554432000 1073741824 1073778376 140735812219952 18446744073709551615 218892381081 0 4 0 16800975 18446604453950454592 0 0 -1 0 0 0 0
[pid=2742/tid=2751] ppid=2740 vsize=15712656 CPUtime=0 cores=0,2,4,6
/proc/2742/task/2751/stat : 2751 (java) S 2740 2742 2452 0 -1 4202560 360 0 0 0 0 0 0 0 15 0 22 0 601109921 16089759744 236691 33554432000 1073741824 1073778376 140735812219952 18446744073709551615 218892381081 0 4 0 16800975 18446604453950454592 0 0 -1 6 0 0 0
[pid=2742/tid=2752] ppid=2740 vsize=15712656 CPUtime=0 cores=0,2,4,6
/proc/2742/task/2752/stat : 2752 (java) S 2740 2742 2452 0 -1 4202560 649 0 0 0 0 0 0 0 15 0 22 0 601109921 16089759744 236691 33554432000 1073741824 1073778376 140735812219952 18446744073709551615 218892381081 0 4 0 16800975 18446604453950454592 0 0 -1 6 0 0 0
[pid=2742/tid=2753] ppid=2740 vsize=15712656 CPUtime=0 cores=0,2,4,6
/proc/2742/task/2753/stat : 2753 (java) S 2740 2742 2452 0 -1 4202560 46 0 0 0 0 0 0 0 15 0 22 0 601109921 16089759744 236691 33554432000 1073741824 1073778376 140735812219952 18446744073709551615 218892381081 0 4 0 16800975 18446604453950454592 0 0 -1 6 0 0 0
[pid=2742/tid=2754] ppid=2740 vsize=15712656 CPUtime=0.01 cores=0,2,4,6
/proc/2742/task/2754/stat : 2754 (java) S 2740 2742 2452 0 -1 4202560 5360 0 0 0 1 0 0 0 15 0 22 0 601109921 16089759744 236691 33554432000 1073741824 1073778376 140735812219952 18446744073709551615 218892381081 0 4 0 16800975 18446604453950454592 0 0 -1 0 0 0 0
[pid=2742/tid=2756] ppid=2740 vsize=15712656 CPUtime=0 cores=0,2,4,6
/proc/2742/task/2756/stat : 2756 (java) S 2740 2742 2452 0 -1 4202560 15 0 0 0 0 0 0 0 16 0 22 0 601109921 16089759744 236691 33554432000 1073741824 1073778376 140735812219952 18446744073709551615 218892381081 0 4 0 16800975 18446604453950454592 0 0 -1 2 0 0 0
[pid=2742/tid=2757] ppid=2740 vsize=15712656 CPUtime=0 cores=0,2,4,6
/proc/2742/task/2757/stat : 2757 (java) S 2740 2742 2452 0 -1 4202560 437 0 0 0 0 0 0 0 15 0 22 0 601109922 16089759744 236691 33554432000 1073741824 1073778376 140735812219952 18446744073709551615 218892381696 0 0 0 16800975 18446604453950454592 0 0 -1 2 0 0 0
[pid=2742/tid=2758] ppid=2740 vsize=15712656 CPUtime=0 cores=0,2,4,6
/proc/2742/task/2758/stat : 2758 (java) S 2740 2742 2452 0 -1 4202560 17 0 0 0 0 0 0 0 21 0 22 0 601109922 16089759744 236691 33554432000 1073741824 1073778376 140735812219952 18446744073709551615 218892381081 0 4 0 16800975 18446604453950454592 0 0 -1 2 0 0 0
[pid=2742/tid=2759] ppid=2740 vsize=15712656 CPUtime=0 cores=0,2,4,6
/proc/2742/task/2759/stat : 2759 (java) S 2740 2742 2452 0 -1 4202560 8 0 0 0 0 0 0 0 21 0 22 0 601109922 16089759744 236691 33554432000 1073741824 1073778376 140735812219952 18446744073709551615 218892381081 0 4 0 16800975 18446604453950454592 0 0 -1 2 0 0 0
[pid=2742/tid=2760] ppid=2740 vsize=15712656 CPUtime=0 cores=0,2,4,6
/proc/2742/task/2760/stat : 2760 (java) S 2740 2742 2452 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 601109924 16089759744 236691 33554432000 1073741824 1073778376 140735812219952 18446744073709551615 218892388785 0 4 0 16800975 18446604453950454592 0 0 -1 2 0 0 0
[pid=2742/tid=2761] ppid=2740 vsize=15712656 CPUtime=0.77 cores=0,2,4,6
/proc/2742/task/2761/stat : 2761 (java) S 2740 2742 2452 0 -1 4202560 9347 0 0 0 77 0 0 0 16 0 22 0 601109925 16089759744 236691 33554432000 1073741824 1073778376 140735812219952 18446744073709551615 218892381081 0 4 0 16800975 18446604453950454592 0 0 -1 2 0 0 0
[pid=2742/tid=2762] ppid=2740 vsize=15712656 CPUtime=0.62 cores=0,2,4,6
/proc/2742/task/2762/stat : 2762 (java) S 2740 2742 2452 0 -1 4202560 12928 0 0 0 58 4 0 0 15 0 22 0 601109925 16089759744 236691 33554432000 1073741824 1073778376 140735812219952 18446744073709551615 218892381081 0 4 0 16800975 18446604453950454592 0 0 -1 2 0 0 0
[pid=2742/tid=2763] ppid=2740 vsize=15712656 CPUtime=0 cores=0,2,4,6
/proc/2742/task/2763/stat : 2763 (java) S 2740 2742 2452 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 601109925 16089759744 236691 33554432000 1073741824 1073778376 140735812219952 18446744073709551615 218892381081 0 4 0 16800975 18446604453950454592 0 0 -1 0 0 0 0
[pid=2742/tid=2764] ppid=2740 vsize=15712656 CPUtime=0 cores=0,2,4,6
/proc/2742/task/2764/stat : 2764 (java) S 2740 2742 2452 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 601109925 16089759744 236691 33554432000 1073741824 1073778376 140735812219952 18446744073709551615 218892381696 0 4 0 16800975 18446604453950454592 0 0 -1 6 0 0 0
[pid=2742/tid=2813] ppid=2740 vsize=15712656 CPUtime=0 cores=0,2,4,6
/proc/2742/task/2813/stat : 2813 (java) S 2740 2742 2452 0 -1 4202560 18 0 0 0 0 0 0 0 15 0 22 0 601110333 16089759744 236691 33554432000 1073741824 1073778376 140735812219952 18446744073709551615 218892381696 0 4 0 16800975 18446604453950454592 0 0 -1 6 0 0 0
[pid=2742/tid=2814] ppid=2740 vsize=15712656 CPUtime=0 cores=0,2,4,6
/proc/2742/task/2814/stat : 2814 (java) S 2740 2742 2452 0 -1 4202560 30 0 0 0 0 0 0 0 15 0 22 0 601110333 16089759744 236691 33554432000 1073741824 1073778376 140735812219952 18446744073709551615 218892381696 0 4 0 16800975 18446604453950454592 0 0 -1 6 0 0 0
[pid=2742/tid=2815] ppid=2740 vsize=15712656 CPUtime=0 cores=0,2,4,6
/proc/2742/task/2815/stat : 2815 (java) S 2740 2742 2452 0 -1 4202560 24 0 0 0 0 0 0 0 15 0 22 0 601110333 16089759744 236691 33554432000 1073741824 1073778376 140735812219952 18446744073709551615 218892381696 0 4 0 16800975 18446604453950454592 0 0 -1 6 0 0 0
[pid=2742/tid=2816] ppid=2740 vsize=15712656 CPUtime=0 cores=0,2,4,6
/proc/2742/task/2816/stat : 2816 (java) S 2740 2742 2452 0 -1 4202560 24 0 0 0 0 0 0 0 15 0 22 0 601110333 16089759744 236691 33554432000 1073741824 1073778376 140735812219952 18446744073709551615 218892381696 0 4 0 16800975 18446604453950454592 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 7.74
Current children cumulated vsize (KiB) 15712656

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

[pid=2742/tid=2759] ppid=2740 vsize=15712656 CPUtime=0 cores=0,2,4,6
/proc/2742/task/2759/stat : 2759 (java) S 2740 2742 2452 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 22 0 601109922 16089759744 3862843 33554432000 1073741824 1073778376 140735812219952 18446744073709551615 218892381081 0 4 0 16800975 18446604453950454592 0 0 -1 4 0 0 0
[pid=2742/tid=2760] ppid=2740 vsize=15712656 CPUtime=0 cores=0,2,4,6
/proc/2742/task/2760/stat : 2760 (java) S 2740 2742 2452 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 601109924 16089759744 3862843 33554432000 1073741824 1073778376 140735812219952 18446744073709551615 218892388785 0 4 0 16800975 18446604453950454592 0 0 -1 2 0 0 0
[pid=2742/tid=2761] ppid=2740 vsize=15712656 CPUtime=1.65 cores=0,2,4,6
/proc/2742/task/2761/stat : 2761 (java) S 2740 2742 2452 0 -1 4202560 9478 0 0 0 165 0 0 0 15 0 22 0 601109925 16089759744 3862843 33554432000 1073741824 1073778376 140735812219952 18446744073709551615 218892381081 0 4 0 16800975 18446604453950454592 0 0 -1 6 0 0 0
[pid=2742/tid=2762] ppid=2740 vsize=15712656 CPUtime=1.34 cores=0,2,4,6
/proc/2742/task/2762/stat : 2762 (java) S 2740 2742 2452 0 -1 4202560 13030 0 0 0 130 4 0 0 15 0 22 0 601109925 16089759744 3862843 33554432000 1073741824 1073778376 140735812219952 18446744073709551615 218892381081 0 4 0 16800975 18446604453950454592 0 0 -1 4 0 0 0
[pid=2742/tid=2763] ppid=2740 vsize=15712656 CPUtime=0 cores=0,2,4,6
/proc/2742/task/2763/stat : 2763 (java) S 2740 2742 2452 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 601109925 16089759744 3862843 33554432000 1073741824 1073778376 140735812219952 18446744073709551615 218892381081 0 4 0 16800975 18446604453950454592 0 0 -1 0 0 0 0
[pid=2742/tid=2764] ppid=2740 vsize=15712656 CPUtime=0 cores=0,2,4,6
/proc/2742/task/2764/stat : 2764 (java) S 2740 2742 2452 0 -1 4202560 67 0 0 0 0 0 0 0 15 0 22 0 601109925 16089759744 3862843 33554432000 1073741824 1073778376 140735812219952 18446744073709551615 218892381696 0 4 0 16800975 18446604453950454592 0 0 -1 2 0 0 0
[pid=2742/tid=2813] ppid=2740 vsize=15712656 CPUtime=325.62 cores=0,2,4,6
/proc/2742/task/2813/stat : 2813 (java) S 2740 2742 2452 0 -1 4202560 39691 0 0 0 32556 6 0 0 15 0 22 0 601110333 16089759744 3862843 33554432000 1073741824 1073778376 140735812219952 18446744073709551615 218892381081 0 4 0 16800975 18446604453950454592 0 0 -1 4 0 0 0
[pid=2742/tid=2814] ppid=2740 vsize=15712656 CPUtime=325.91 cores=0,2,4,6
/proc/2742/task/2814/stat : 2814 (java) S 2740 2742 2452 0 -1 4202560 4922 0 0 0 32589 2 0 0 15 0 22 0 601110333 16089759744 3862843 33554432000 1073741824 1073778376 140735812219952 18446744073709551615 218892381081 0 4 0 16800975 18446604453950454592 0 0 -1 0 0 0 0
[pid=2742/tid=2815] ppid=2740 vsize=15712656 CPUtime=329.97 cores=0,2,4,6
/proc/2742/task/2815/stat : 2815 (java) S 2740 2742 2452 0 -1 4202560 32293 0 0 0 32993 4 0 0 15 0 22 0 601110333 16089759744 3862843 33554432000 1073741824 1073778376 140735812219952 18446744073709551615 218892381081 0 4 0 16800975 18446604453950454592 0 0 -1 2 0 0 0
[pid=2742/tid=2816] ppid=2740 vsize=15712656 CPUtime=330.72 cores=0,2,4,6
/proc/2742/task/2816/stat : 2816 (java) S 2740 2742 2452 0 -1 4202560 13271 0 0 0 33070 2 0 0 15 0 22 0 601110333 16089759744 3862843 33554432000 1073741824 1073778376 140735812219952 18446744073709551615 218892381081 0 4 0 16800975 18446604453950454592 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2245.58
Current children cumulated vsize (KiB) 15712656

[startup+1242.3 s]
/proc/loadavg: 5.34 4.73 4.65 6/220 2865
/proc/meminfo: memFree=4093212/32950928 swapFree=67111524/67111528
[pid=2742] ppid=2740 vsize=15712656 CPUtime=2313.56 cores=0,2,4,6
/proc/2742/stat : 2742 (java) S 2740 2742 2452 0 -1 4202496 3914542 0 1 0 230719 637 0 0 21 0 22 0 601109920 16089759744 3862843 33554432000 1073741824 1073778376 140735812219952 18446744073709551615 218892367845 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/2742/statm: 3928164 3862843 2295 9 0 3918883 0
[pid=2742/tid=2747] ppid=2740 vsize=15712656 CPUtime=11.3 cores=0,2,4,6
/proc/2742/task/2747/stat : 2747 (java) S 2740 2742 2452 0 -1 4202560 235868 0 1 0 1098 32 0 0 25 0 22 0 601109920 16089759744 3862843 33554432000 1073741824 1073778376 140735812219952 18446744073709551615 218892381081 0 4 0 16800975 18446604453950454592 0 0 -1 0 0 0 0
[pid=2742/tid=2748] ppid=2740 vsize=15712656 CPUtime=13.61 cores=0,2,4,6
/proc/2742/task/2748/stat : 2748 (java) S 2740 2742 2452 0 -1 4202560 415065 0 0 0 1293 68 0 0 16 0 22 0 601109921 16089759744 3862843 33554432000 1073741824 1073778376 140735812219952 18446744073709551615 218892381081 0 4 0 16800975 18446604453950454592 0 0 -1 0 0 0 0
[pid=2742/tid=2749] ppid=2740 vsize=15712656 CPUtime=13.4 cores=0,2,4,6
/proc/2742/task/2749/stat : 2749 (java) S 2740 2742 2452 0 -1 4202560 369328 0 0 0 1276 64 0 0 16 0 22 0 601109921 16089759744 3862843 33554432000 1073741824 1073778376 140735812219952 18446744073709551615 218892381081 0 4 0 16800975 18446604453950454592 0 0 -1 0 0 0 0
[pid=2742/tid=2750] ppid=2740 vsize=15712656 CPUtime=13.79 cores=0,2,4,6
/proc/2742/task/2750/stat : 2750 (java) S 2740 2742 2452 0 -1 4202560 443926 0 0 0 1311 68 0 0 16 0 22 0 601109921 16089759744 3862843 33554432000 1073741824 1073778376 140735812219952 18446744073709551615 218892381081 0 4 0 16800975 18446604453950454592 0 0 -1 6 0 0 0
[pid=2742/tid=2751] ppid=2740 vsize=15712656 CPUtime=13.45 cores=0,2,4,6
/proc/2742/task/2751/stat : 2751 (java) S 2740 2742 2452 0 -1 4202560 390696 0 0 0 1277 68 0 0 16 0 22 0 601109921 16089759744 3862843 33554432000 1073741824 1073778376 140735812219952 18446744073709551615 218892381081 0 4 0 16800975 18446604453950454592 0 0 -1 2 0 0 0
[pid=2742/tid=2752] ppid=2740 vsize=15712656 CPUtime=13.54 cores=0,2,4,6
/proc/2742/task/2752/stat : 2752 (java) S 2740 2742 2452 0 -1 4202560 446304 0 0 0 1285 69 0 0 16 0 22 0 601109921 16089759744 3862843 33554432000 1073741824 1073778376 140735812219952 18446744073709551615 218892381081 0 4 0 16800975 18446604453950454592 0 0 -1 0 0 0 0
[pid=2742/tid=2753] ppid=2740 vsize=15712656 CPUtime=13.68 cores=0,2,4,6
/proc/2742/task/2753/stat : 2753 (java) S 2740 2742 2452 0 -1 4202560 373298 0 0 0 1307 61 0 0 16 0 22 0 601109921 16089759744 3862843 33554432000 1073741824 1073778376 140735812219952 18446744073709551615 218892381081 0 4 0 16800975 18446604453950454592 0 0 -1 0 0 0 0
[pid=2742/tid=2754] ppid=2740 vsize=15712656 CPUtime=13.04 cores=0,2,4,6
/proc/2742/task/2754/stat : 2754 (java) S 2740 2742 2452 0 -1 4202560 432833 0 0 0 1234 70 0 0 16 0 22 0 601109921 16089759744 3862843 33554432000 1073741824 1073778376 140735812219952 18446744073709551615 218892381081 0 4 0 16800975 18446604453950454592 0 0 -1 2 0 0 0
[pid=2742/tid=2756] ppid=2740 vsize=15712656 CPUtime=13.53 cores=0,2,4,6
/proc/2742/task/2756/stat : 2756 (java) S 2740 2742 2452 0 -1 4202560 415052 0 0 0 1287 66 0 0 16 0 22 0 601109921 16089759744 3862843 33554432000 1073741824 1073778376 140735812219952 18446744073709551615 218892381081 0 4 0 16800975 18446604453950454592 0 0 -1 6 0 0 0
[pid=2742/tid=2757] ppid=2740 vsize=15712656 CPUtime=868.18 cores=0,2,4,6
/proc/2742/task/2757/stat : 2757 (java) R 2740 2742 2452 0 -1 4202560 277948 0 0 0 86774 44 0 0 18 0 22 0 601109922 16089759744 3862843 33554432000 1073741824 1073778376 140735812219952 18446744073709551615 47365544150851 0 0 0 16800975 0 0 0 -1 0 0 0 0
[pid=2742/tid=2758] ppid=2740 vsize=15712656 CPUtime=0 cores=0,2,4,6
/proc/2742/task/2758/stat : 2758 (java) S 2740 2742 2452 0 -1 4202560 18 0 0 0 0 0 0 0 15 0 22 0 601109922 16089759744 3862843 33554432000 1073741824 1073778376 140735812219952 18446744073709551615 218892381081 0 4 0 16800975 18446604453950454592 0 0 -1 4 0 0 0
[pid=2742/tid=2759] ppid=2740 vsize=15712656 CPUtime=0 cores=0,2,4,6
/proc/2742/task/2759/stat : 2759 (java) S 2740 2742 2452 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 22 0 601109922 16089759744 3862843 33554432000 1073741824 1073778376 140735812219952 18446744073709551615 218892381081 0 4 0 16800975 18446604453950454592 0 0 -1 4 0 0 0
[pid=2742/tid=2760] ppid=2740 vsize=15712656 CPUtime=0 cores=0,2,4,6
/proc/2742/task/2760/stat : 2760 (java) S 2740 2742 2452 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 601109924 16089759744 3862843 33554432000 1073741824 1073778376 140735812219952 18446744073709551615 218892388785 0 4 0 16800975 18446604453950454592 0 0 -1 2 0 0 0
[pid=2742/tid=2761] ppid=2740 vsize=15712656 CPUtime=1.66 cores=0,2,4,6
/proc/2742/task/2761/stat : 2761 (java) S 2740 2742 2452 0 -1 4202560 9481 0 0 0 166 0 0 0 15 0 22 0 601109925 16089759744 3862843 33554432000 1073741824 1073778376 140735812219952 18446744073709551615 218892381081 0 4 0 16800975 18446604453950454592 0 0 -1 2 0 0 0
[pid=2742/tid=2762] ppid=2740 vsize=15712656 CPUtime=1.34 cores=0,2,4,6
/proc/2742/task/2762/stat : 2762 (java) S 2740 2742 2452 0 -1 4202560 13030 0 0 0 130 4 0 0 15 0 22 0 601109925 16089759744 3862843 33554432000 1073741824 1073778376 140735812219952 18446744073709551615 218892381081 0 4 0 16800975 18446604453950454592 0 0 -1 4 0 0 0
[pid=2742/tid=2763] ppid=2740 vsize=15712656 CPUtime=0 cores=0,2,4,6
/proc/2742/task/2763/stat : 2763 (java) S 2740 2742 2452 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 601109925 16089759744 3862843 33554432000 1073741824 1073778376 140735812219952 18446744073709551615 218892381081 0 4 0 16800975 18446604453950454592 0 0 -1 0 0 0 0
[pid=2742/tid=2764] ppid=2740 vsize=15712656 CPUtime=0 cores=0,2,4,6
/proc/2742/task/2764/stat : 2764 (java) S 2740 2742 2452 0 -1 4202560 71 0 0 0 0 0 0 0 15 0 22 0 601109925 16089759744 3862843 33554432000 1073741824 1073778376 140735812219952 18446744073709551615 218892381696 0 4 0 16800975 18446604453950454592 0 0 -1 4 0 0 0
[pid=2742/tid=2813] ppid=2740 vsize=15712656 CPUtime=328.3 cores=0,2,4,6
/proc/2742/task/2813/stat : 2813 (java) S 2740 2742 2452 0 -1 4202560 39731 0 0 0 32824 6 0 0 15 0 22 0 601110333 16089759744 3862843 33554432000 1073741824 1073778376 140735812219952 18446744073709551615 218892381081 0 4 0 16800975 18446604453950454592 0 0 -1 4 0 0 0
[pid=2742/tid=2814] ppid=2740 vsize=15712656 CPUtime=328.58 cores=0,2,4,6
/proc/2742/task/2814/stat : 2814 (java) S 2740 2742 2452 0 -1 4202560 4929 0 0 0 32856 2 0 0 15 0 22 0 601110333 16089759744 3862843 33554432000 1073741824 1073778376 140735812219952 18446744073709551615 218892381081 0 4 0 16800975 18446604453950454592 0 0 -1 2 0 0 0
[pid=2742/tid=2815] ppid=2740 vsize=15712656 CPUtime=332.62 cores=0,2,4,6
/proc/2742/task/2815/stat : 2815 (java) S 2740 2742 2452 0 -1 4202560 32315 0 0 0 33258 4 0 0 15 0 22 0 601110333 16089759744 3862843 33554432000 1073741824 1073778376 140735812219952 18446744073709551615 218892381081 0 4 0 16800975 18446604453950454592 0 0 -1 6 0 0 0
[pid=2742/tid=2816] ppid=2740 vsize=15712656 CPUtime=333.39 cores=0,2,4,6
/proc/2742/task/2816/stat : 2816 (java) S 2740 2742 2452 0 -1 4202560 13282 0 0 0 33337 2 0 0 15 0 22 0 601110333 16089759744 3862843 33554432000 1073741824 1073778376 140735812219952 18446744073709551615 218892381696 0 4 0 16800975 18446604453950454592 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2313.56
Current children cumulated vsize (KiB) 15712656



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+1300 s]
/proc/loadavg: 4.96 4.73 4.65 6/220 2866
/proc/meminfo: memFree=4092392/32950928 swapFree=67111524/67111528
[pid=2742] ppid=2740 vsize=15712656 CPUtime=2382.39 cores=0,2,4,6
/proc/2742/stat : 2742 (java) S 2740 2742 2452 0 -1 4202496 3914619 0 1 0 237600 639 0 0 21 0 22 0 601109920 16089759744 3862843 33554432000 1073741824 1073778376 140735812219952 18446744073709551615 218892367845 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/2742/statm: 3928164 3862843 2295 9 0 3918883 0
[pid=2742/tid=2747] ppid=2740 vsize=15712656 CPUtime=11.3 cores=0,2,4,6
/proc/2742/task/2747/stat : 2747 (java) S 2740 2742 2452 0 -1 4202560 235868 0 1 0 1098 32 0 0 25 0 22 0 601109920 16089759744 3862843 33554432000 1073741824 1073778376 140735812219952 18446744073709551615 218892381081 0 4 0 16800975 18446604453950454592 0 0 -1 0 0 0 0
[pid=2742/tid=2748] ppid=2740 vsize=15712656 CPUtime=13.61 cores=0,2,4,6
/proc/2742/task/2748/stat : 2748 (java) S 2740 2742 2452 0 -1 4202560 415065 0 0 0 1293 68 0 0 16 0 22 0 601109921 16089759744 3862843 33554432000 1073741824 1073778376 140735812219952 18446744073709551615 218892381081 0 4 0 16800975 18446604453950454592 0 0 -1 0 0 0 0
[pid=2742/tid=2749] ppid=2740 vsize=15712656 CPUtime=13.4 cores=0,2,4,6
/proc/2742/task/2749/stat : 2749 (java) S 2740 2742 2452 0 -1 4202560 369328 0 0 0 1276 64 0 0 16 0 22 0 601109921 16089759744 3862843 33554432000 1073741824 1073778376 140735812219952 18446744073709551615 218892381081 0 4 0 16800975 18446604453950454592 0 0 -1 0 0 0 0
[pid=2742/tid=2750] ppid=2740 vsize=15712656 CPUtime=13.79 cores=0,2,4,6
/proc/2742/task/2750/stat : 2750 (java) S 2740 2742 2452 0 -1 4202560 443926 0 0 0 1311 68 0 0 16 0 22 0 601109921 16089759744 3862843 33554432000 1073741824 1073778376 140735812219952 18446744073709551615 218892381081 0 4 0 16800975 18446604453950454592 0 0 -1 6 0 0 0
[pid=2742/tid=2751] ppid=2740 vsize=15712656 CPUtime=13.45 cores=0,2,4,6
/proc/2742/task/2751/stat : 2751 (java) S 2740 2742 2452 0 -1 4202560 390696 0 0 0 1277 68 0 0 16 0 22 0 601109921 16089759744 3862843 33554432000 1073741824 1073778376 140735812219952 18446744073709551615 218892381081 0 4 0 16800975 18446604453950454592 0 0 -1 2 0 0 0
[pid=2742/tid=2752] ppid=2740 vsize=15712656 CPUtime=13.54 cores=0,2,4,6
/proc/2742/task/2752/stat : 2752 (java) S 2740 2742 2452 0 -1 4202560 446304 0 0 0 1285 69 0 0 16 0 22 0 601109921 16089759744 3862843 33554432000 1073741824 1073778376 140735812219952 18446744073709551615 218892381081 0 4 0 16800975 18446604453950454592 0 0 -1 0 0 0 0
[pid=2742/tid=2753] ppid=2740 vsize=15712656 CPUtime=13.68 cores=0,2,4,6
/proc/2742/task/2753/stat : 2753 (java) S 2740 2742 2452 0 -1 4202560 373298 0 0 0 1307 61 0 0 16 0 22 0 601109921 16089759744 3862843 33554432000 1073741824 1073778376 140735812219952 18446744073709551615 218892381081 0 4 0 16800975 18446604453950454592 0 0 -1 0 0 0 0
[pid=2742/tid=2754] ppid=2740 vsize=15712656 CPUtime=13.04 cores=0,2,4,6
/proc/2742/task/2754/stat : 2754 (java) S 2740 2742 2452 0 -1 4202560 432833 0 0 0 1234 70 0 0 16 0 22 0 601109921 16089759744 3862843 33554432000 1073741824 1073778376 140735812219952 18446744073709551615 218892381081 0 4 0 16800975 18446604453950454592 0 0 -1 2 0 0 0
[pid=2742/tid=2756] ppid=2740 vsize=15712656 CPUtime=13.53 cores=0,2,4,6
/proc/2742/task/2756/stat : 2756 (java) S 2740 2742 2452 0 -1 4202560 415052 0 0 0 1287 66 0 0 16 0 22 0 601109921 16089759744 3862843 33554432000 1073741824 1073778376 140735812219952 18446744073709551615 218892381081 0 4 0 16800975 18446604453950454592 0 0 -1 6 0 0 0
[pid=2742/tid=2757] ppid=2740 vsize=15712656 CPUtime=922.13 cores=0,2,4,6
/proc/2742/task/2757/stat : 2757 (java) R 2740 2742 2452 0 -1 4202560 277952 0 0 0 92168 45 0 0 18 0 22 0 601109922 16089759744 3862843 33554432000 1073741824 1073778376 140735812219952 18446744073709551615 47365545718109 0 0 0 16800975 0 0 0 -1 0 0 0 0
[pid=2742/tid=2758] ppid=2740 vsize=15712656 CPUtime=0 cores=0,2,4,6
/proc/2742/task/2758/stat : 2758 (java) S 2740 2742 2452 0 -1 4202560 18 0 0 0 0 0 0 0 15 0 22 0 601109922 16089759744 3862843 33554432000 1073741824 1073778376 140735812219952 18446744073709551615 218892381081 0 4 0 16800975 18446604453950454592 0 0 -1 4 0 0 0
[pid=2742/tid=2759] ppid=2740 vsize=15712656 CPUtime=0 cores=0,2,4,6
/proc/2742/task/2759/stat : 2759 (java) S 2740 2742 2452 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 22 0 601109922 16089759744 3862843 33554432000 1073741824 1073778376 140735812219952 18446744073709551615 218892381081 0 4 0 16800975 18446604453950454592 0 0 -1 4 0 0 0
[pid=2742/tid=2760] ppid=2740 vsize=15712656 CPUtime=0 cores=0,2,4,6
/proc/2742/task/2760/stat : 2760 (java) S 2740 2742 2452 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 601109924 16089759744 3862843 33554432000 1073741824 1073778376 140735812219952 18446744073709551615 218892388785 0 4 0 16800975 18446604453950454592 0 0 -1 2 0 0 0
[pid=2742/tid=2761] ppid=2740 vsize=15712656 CPUtime=1.66 cores=0,2,4,6
/proc/2742/task/2761/stat : 2761 (java) S 2740 2742 2452 0 -1 4202560 9481 0 0 0 166 0 0 0 15 0 22 0 601109925 16089759744 3862843 33554432000 1073741824 1073778376 140735812219952 18446744073709551615 218892381081 0 4 0 16800975 18446604453950454592 0 0 -1 2 0 0 0
[pid=2742/tid=2762] ppid=2740 vsize=15712656 CPUtime=1.34 cores=0,2,4,6
/proc/2742/task/2762/stat : 2762 (java) S 2740 2742 2452 0 -1 4202560 13030 0 0 0 130 4 0 0 15 0 22 0 601109925 16089759744 3862843 33554432000 1073741824 1073778376 140735812219952 18446744073709551615 218892381081 0 4 0 16800975 18446604453950454592 0 0 -1 4 0 0 0
[pid=2742/tid=2763] ppid=2740 vsize=15712656 CPUtime=0 cores=0,2,4,6
/proc/2742/task/2763/stat : 2763 (java) S 2740 2742 2452 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 601109925 16089759744 3862843 33554432000 1073741824 1073778376 140735812219952 18446744073709551615 218892381081 0 4 0 16800975 18446604453950454592 0 0 -1 0 0 0 0
[pid=2742/tid=2764] ppid=2740 vsize=15712656 CPUtime=0 cores=0,2,4,6
/proc/2742/task/2764/stat : 2764 (java) S 2740 2742 2452 0 -1 4202560 75 0 0 0 0 0 0 0 15 0 22 0 601109925 16089759744 3862843 33554432000 1073741824 1073778376 140735812219952 18446744073709551615 218892381696 0 4 0 16800975 18446604453950454592 0 0 -1 4 0 0 0
[pid=2742/tid=2813] ppid=2740 vsize=15712656 CPUtime=331.98 cores=0,2,4,6
/proc/2742/task/2813/stat : 2813 (java) S 2740 2742 2452 0 -1 4202560 39750 0 0 0 33192 6 0 0 15 0 22 0 601110333 16089759744 3862843 33554432000 1073741824 1073778376 140735812219952 18446744073709551615 218892381081 0 4 0 16800975 18446604453950454592 0 0 -1 4 0 0 0
[pid=2742/tid=2814] ppid=2740 vsize=15712656 CPUtime=332.31 cores=0,2,4,6
/proc/2742/task/2814/stat : 2814 (java) S 2740 2742 2452 0 -1 4202560 4941 0 0 0 33229 2 0 0 15 0 22 0 601110333 16089759744 3862843 33554432000 1073741824 1073778376 140735812219952 18446744073709551615 218892381081 0 4 0 16800975 18446604453950454592 0 0 -1 0 0 0 0
[pid=2742/tid=2815] ppid=2740 vsize=15712656 CPUtime=336.36 cores=0,2,4,6
/proc/2742/task/2815/stat : 2815 (java) S 2740 2742 2452 0 -1 4202560 32330 0 0 0 33631 5 0 0 16 0 22 0 601110333 16089759744 3862843 33554432000 1073741824 1073778376 140735812219952 18446744073709551615 218892381081 0 4 0 16800975 18446604453950454592 0 0 -1 6 0 0 0
[pid=2742/tid=2816] ppid=2740 vsize=15712656 CPUtime=337.12 cores=0,2,4,6
/proc/2742/task/2816/stat : 2816 (java) S 2740 2742 2452 0 -1 4202560 13305 0 0 0 33710 2 0 0 15 0 22 0 601110333 16089759744 3862843 33554432000 1073741824 1073778376 140735812219952 18446744073709551615 218892381081 0 4 0 16800975 18446604453950454592 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2382.39
Current children cumulated vsize (KiB) 15712656

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

Sending SIGKILL to process tree (bottom up)

Sending SIGKILL to -2742

[startup+1302.3 s]
/proc/loadavg: 4.96 4.73 4.65 6/221 2867
/proc/meminfo: memFree=4092388/32950928 swapFree=67111524/67111528
[pid=2742] ppid=2740 vsize=0 CPUtime=2384.68 cores=0,2,4,6
/proc/2742/stat : 2742 (java) Z 2740 2742 2452 0 -1 4203548 3914622 0 1 0 237801 667 0 0 18 0 2 0 601109920 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/2742/statm: 0 0 0 0 0 0 0
[pid=2742/tid=2815] ppid=2740 vsize=0 CPUtime=336.64 cores=0,2,4,6
/proc/2742/task/2815/stat : 2815 (java) R 2740 2742 2452 0 -1 4203588 32331 0 0 0 33631 33 0 0 16 0 2 0 601110333 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) 2384.68
Current children cumulated vsize (KiB) 0

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

[startup+1302.51 s]
/proc/loadavg: 4.96 4.73 4.65 6/200 2867
/proc/meminfo: memFree=14375516/32950928 swapFree=67111524/67111528
[pid=2742] ppid=2740 vsize=0 CPUtime=2384.88 cores=0,2,4,6
/proc/2742/stat : 2742 (java) Z 2740 2742 2452 0 -1 4203548 3914622 0 1 0 237801 687 0 0 18 0 2 0 601109920 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/2742/statm: 0 0 0 0 0 0 0
[pid=2742/tid=2815] ppid=2740 vsize=0 CPUtime=336.84 cores=0,2,4,6
/proc/2742/task/2815/stat : 2815 (java) R 2740 2742 2452 0 -1 4203588 32331 0 0 0 33631 53 0 0 16 0 2 0 601110333 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) 2384.88
Current children cumulated vsize (KiB) 0

[startup+1302.6 s]
/proc/loadavg: 4.96 4.73 4.65 6/200 2867
/proc/meminfo: memFree=14375516/32950928 swapFree=67111524/67111528
[pid=2742] ppid=2740 vsize=0 CPUtime=2384.98 cores=0,2,4,6
/proc/2742/stat : 2742 (java) Z 2740 2742 2452 0 -1 4203548 3914622 0 1 0 237801 697 0 0 18 0 2 0 601109920 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/2742/statm: 0 0 0 0 0 0 0
[pid=2742/tid=2815] ppid=2740 vsize=0 CPUtime=336.94 cores=0,2,4,6
/proc/2742/task/2815/stat : 2815 (java) R 2740 2742 2452 0 -1 4203588 32331 0 0 0 33631 63 0 0 16 0 2 0 601110333 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) 2384.98
Current children cumulated vsize (KiB) 0

Child ended because it received signal 9 (SIGKILL)
Real time (s): 1302.61
CPU time (s): 2385
CPU user time (s): 2378.01
CPU system time (s): 6.98394
CPU usage (%): 183.093
Max. virtual memory (cumulated for all children) (KiB): 15712656

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2378.01
system time used= 6.98394
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3914622
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= 41159
involuntary context switches= 29669

runsolver used 2.23766 second user time and 4.95725 second system time

The end

Launcher Data 

Begin job on node112 at 2011-04-29 22:26:33
IDJOB=3312157
IDBENCH=82446
IDSOLVER=1698
FILE ID=node112/3312157-1304108792
RUNJOBID= node112-1304106181-2470
PBS_JOBID= 13170662
Free space on /tmp= 72504 MiB

SOLVER NAME= STRUCTure 0.1 (hbr=2)
BENCH NAME= SAT11/application/jarvisalo/smtqfbv-aigs/smtlib-qfbv-aigs-servers_slapd_a_vc149789-tseitin.cnf
COMMAND LINE= run 15000 NBCORE TMPDIR DIR BENCHNAME -hbr 2
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3312157-1304108792/watcher-3312157-1304108792 -o /tmp/evaluation-result-3312157-1304108792/solver-3312157-1304108792 -C 4800 -W 1300 -M 15500  run 15000 4 HOME HOME HOME/instance-3312157-1304108792.cnf -hbr 2

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

MD5SUM BENCH= 9fe9fe24bc28c127c9f6b6416a14f727
RANDOM SEED=295686255

node112.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      15511492 kB
Buffers:        450608 kB
Cached:        1173600 kB
SwapCached:          4 kB
Active:       15365728 kB
Inactive:      1647060 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      15511492 kB
SwapTotal:    67111528 kB
SwapFree:     67111524 kB
Dirty:           21596 kB
Writeback:           0 kB
AnonPages:    15388252 kB
Mapped:          23524 kB
Slab:           332156 kB
PageTables:      34840 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS: 15717060 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= 72524 MiB
End job on node112 at 2011-04-29 22:48:15