Trace number 3312973

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) 1682.12 1302.51

General information on the benchmark

Namecrafted/skvortsov/automata-synchronization/
crn_40_1521_s.cnf
MD5SUM4e35cb9894b1ca841d462da2d6957cc5
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables63882
Number of clauses123981
Sum of the clauses size369562
Maximum clause length3
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 22381
Number of clauses of size 3121600
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50

Solver Data 

0.10/0.11	04:41 INFO : Reading from input HOME/instance-3312973-1304183081.cnf
0.92/0.75	Executor set job limit to 1000000
0.92/0.76	Executor set job limit to 1000000
0.92/0.76	Executor set job limit to 1000000
0.92/0.76	Executor set job limit to 1000000
0.92/0.76	Starting Executor!
0.92/0.76	Starting Executor!
0.92/0.76	Starting Executor!
0.92/0.76	Starting Executor!
3.31/1.92	04:43 INFO : 63842 variables remaining out of 63882
3.31/1.92	04:43 INFO : 500360 literals remaining out of 493543
528.30/155.49	07:15 ERROR: Failed to solve instance
528.30/155.49	java.lang.OutOfMemoryError: Java heap space
528.30/155.49		at gnu.trove.TIntLongHashMap.rehash(TIntLongHashMap.java:221)
528.30/155.49		at gnu.trove.THash.postInsertHook(THash.java:370)
528.30/155.49		at gnu.trove.TIntLongHashMap.doPut(TIntLongHashMap.java:193)
528.30/155.49		at gnu.trove.TIntLongHashMap.put(TIntLongHashMap.java:160)
528.30/155.49		at ibis.structure.Subsumming.run(Subsumming.java:58)
528.30/155.49		at ibis.structure.Solver.simplify(Solver.java:205)
528.30/155.49		at ibis.structure.Solver.solve(Solver.java:113)
528.30/155.49		at ibis.structure.SolveActivity.initialize(SolveActivity.java:29)
528.30/155.49		at ibis.constellation.impl.ActivityRecord.runStateMachine(ActivityRecord.java:143)
528.30/155.49		at ibis.constellation.impl.ActivityRecord.run(ActivityRecord.java:215)
528.30/155.49		at ibis.constellation.impl.ExecutorWrapper.process(ExecutorWrapper.java:398)
528.30/155.49		at ibis.constellation.impl.ExecutorWrapper.process(ExecutorWrapper.java:420)
528.30/155.49		at ibis.constellation.impl.SingleThreadedConstellation.processActivities(SingleThreadedConstellation.java:1023)
528.30/155.49		at ibis.constellation.impl.ExecutorWrapper.processActivities(ExecutorWrapper.java:515)
528.30/155.49		at ibis.constellation.Executor.processActivities(Executor.java:75)
528.30/155.49		at ibis.constellation.SimpleExecutor.run(SimpleExecutor.java:54)
528.30/155.49		at ibis.constellation.impl.ExecutorWrapper.runExecutor(ExecutorWrapper.java:521)
528.30/155.49		at ibis.constellation.impl.SingleThreadedConstellation.run(SingleThreadedConstellation.java:1070)
536.70/163.55	07:25 ERROR: Failed to solve instance
536.70/163.55	java.lang.OutOfMemoryError: Java heap space
536.70/163.55		at gnu.trove.TIntArrayList.ensureCapacity(TIntArrayList.java:100)
536.70/163.55		at gnu.trove.TIntArrayList.add(TIntArrayList.java:144)
536.70/163.55		at ibis.structure.Subsumming.run(Subsumming.java:57)
536.70/163.55		at ibis.structure.Solver.simplify(Solver.java:205)
536.70/163.55		at ibis.structure.Solver.solve(Solver.java:113)
536.70/163.55		at ibis.structure.SolveActivity.initialize(SolveActivity.java:29)
536.70/163.55		at ibis.constellation.impl.ActivityRecord.runStateMachine(ActivityRecord.java:143)
536.70/163.55		at ibis.constellation.impl.ActivityRecord.run(ActivityRecord.java:215)
536.70/163.55		at ibis.constellation.impl.ExecutorWrapper.process(ExecutorWrapper.java:398)
536.70/163.55		at ibis.constellation.impl.ExecutorWrapper.process(ExecutorWrapper.java:420)
536.70/163.55		at ibis.constellation.impl.SingleThreadedConstellation.processActivities(SingleThreadedConstellation.java:1023)
536.70/163.55		at ibis.constellation.impl.ExecutorWrapper.processActivities(ExecutorWrapper.java:515)
536.70/163.55		at ibis.constellation.Executor.processActivities(Executor.java:75)
536.70/163.55		at ibis.constellation.SimpleExecutor.run(SimpleExecutor.java:54)
536.70/163.55		at ibis.constellation.impl.ExecutorWrapper.runExecutor(ExecutorWrapper.java:521)
536.70/163.55		at ibis.constellation.impl.SingleThreadedConstellation.run(SingleThreadedConstellation.java:1070)
540.04/166.87	07:28 ERROR: Failed to solve instance
540.04/166.87	java.lang.OutOfMemoryError: Java heap space
540.04/166.87		at gnu.trove.TIntLongHashMap.rehash(TIntLongHashMap.java:222)
540.04/166.87		at gnu.trove.THash.postInsertHook(THash.java:370)
540.04/166.87		at gnu.trove.TIntLongHashMap.doPut(TIntLongHashMap.java:193)
540.04/166.87		at gnu.trove.TIntLongHashMap.put(TIntLongHashMap.java:160)
540.04/166.87		at ibis.structure.Subsumming.run(Subsumming.java:58)
540.04/166.87		at ibis.structure.Solver.simplify(Solver.java:205)
540.04/166.87		at ibis.structure.Solver.solve(Solver.java:113)
540.04/166.87		at ibis.structure.SolveActivity.initialize(SolveActivity.java:29)
540.04/166.87		at ibis.constellation.impl.ActivityRecord.runStateMachine(ActivityRecord.java:143)
540.04/166.87		at ibis.constellation.impl.ActivityRecord.run(ActivityRecord.java:215)
540.04/166.87		at ibis.constellation.impl.ExecutorWrapper.process(ExecutorWrapper.java:398)
540.04/166.87		at ibis.constellation.impl.ExecutorWrapper.process(ExecutorWrapper.java:420)
540.04/166.87		at ibis.constellation.impl.SingleThreadedConstellation.processActivities(SingleThreadedConstellation.java:1023)
540.04/166.87		at ibis.constellation.impl.ExecutorWrapper.processActivities(ExecutorWrapper.java:515)
540.04/166.87		at ibis.constellation.Executor.processActivities(Executor.java:75)
540.04/166.87		at ibis.constellation.SimpleExecutor.run(SimpleExecutor.java:54)
540.04/166.87		at ibis.constellation.impl.ExecutorWrapper.runExecutor(ExecutorWrapper.java:521)
540.04/166.87		at ibis.constellation.impl.SingleThreadedConstellation.run(SingleThreadedConstellation.java:1070)
543.61/170.35	07:32 ERROR: Failed to solve instance
543.61/170.35	java.lang.OutOfMemoryError: Java heap space
543.61/170.35		at gnu.trove.TIntLongHashMap.rehash(TIntLongHashMap.java:221)
543.61/170.35		at gnu.trove.THash.postInsertHook(THash.java:370)
543.61/170.35		at gnu.trove.TIntLongHashMap.doPut(TIntLongHashMap.java:193)
543.61/170.35		at gnu.trove.TIntLongHashMap.put(TIntLongHashMap.java:160)
543.61/170.35		at ibis.structure.Subsumming.run(Subsumming.java:58)
543.61/170.35		at ibis.structure.Solver.simplify(Solver.java:205)
543.61/170.35		at ibis.structure.Solver.solve(Solver.java:113)
543.61/170.35		at ibis.structure.SolveActivity.initialize(SolveActivity.java:29)
543.61/170.35		at ibis.constellation.impl.ActivityRecord.runStateMachine(ActivityRecord.java:143)
543.61/170.35		at ibis.constellation.impl.ActivityRecord.run(ActivityRecord.java:215)
543.61/170.35		at ibis.constellation.impl.ExecutorWrapper.process(ExecutorWrapper.java:398)
543.61/170.35		at ibis.constellation.impl.ExecutorWrapper.process(ExecutorWrapper.java:420)
543.61/170.35		at ibis.constellation.impl.SingleThreadedConstellation.processActivities(SingleThreadedConstellation.java:1023)
543.61/170.35		at ibis.constellation.impl.ExecutorWrapper.processActivities(ExecutorWrapper.java:515)
543.61/170.35		at ibis.constellation.Executor.processActivities(Executor.java:75)
543.61/170.35		at ibis.constellation.SimpleExecutor.run(SimpleExecutor.java:54)
543.61/170.35		at ibis.constellation.impl.ExecutorWrapper.runExecutor(ExecutorWrapper.java:521)
543.61/170.35		at ibis.constellation.impl.SingleThreadedConstellation.run(SingleThreadedConstellation.java:1070)
561.40/188.07	07:49 ERROR: Failed to solve instance
561.40/188.07	java.lang.OutOfMemoryError: Java heap space
564.90/191.45	07:53 ERROR: Failed to solve instance
564.90/191.45	java.lang.OutOfMemoryError: Java heap space
580.92/207.12	08:08 ERROR: Failed to solve instance
580.92/207.12	java.lang.OutOfMemoryError: Java heap space
642.79/268.94	Exception in thread "SingleThreadedConstellation 2" java.lang.OutOfMemoryError: Java heap space
943.40/569.53	14:11 ERROR: Failed to solve instance
943.40/569.53	java.lang.OutOfMemoryError: Java heap space
945.92/572.09	14:13 ERROR: Failed to solve instance
945.92/572.09	java.lang.OutOfMemoryError: Java heap space
947.06/573.13	14:14 ERROR: Failed to solve instance
947.06/573.13	java.lang.OutOfMemoryError: Java heap space
951.29/577.30	14:19 ERROR: Failed to solve instance
951.29/577.30	java.lang.OutOfMemoryError: Java heap space
959.76/585.47	14:27 ERROR: Failed to solve instance
959.76/585.47	java.lang.OutOfMemoryError: Java heap space
960.56/586.29	14:27 ERROR: Failed to solve instance
960.56/586.29	java.lang.OutOfMemoryError: Java heap space
1027.05/652.60	15:34 ERROR: Failed to solve instance
1027.05/652.60	java.lang.OutOfMemoryError: Java heap space
1055.82/681.11	16:02 ERROR: Failed to solve instance
1055.82/681.11	java.lang.OutOfMemoryError: Java heap space
1056.02/681.39	16:03 ERROR: Failed to solve instance
1056.02/681.39	java.lang.OutOfMemoryError: Java heap space
1059.05/684.35	Exception in thread "SingleThreadedConstellation 1" java.lang.OutOfMemoryError: Java heap space
1061.45/686.72	16:08 ERROR: Failed to solve instance
1061.45/686.72	java.lang.OutOfMemoryError: Java heap space
1063.56/688.90	16:10 ERROR: Failed to solve instance
1063.56/688.90	java.lang.OutOfMemoryError: Java heap space
1064.69/689.92	16:11 ERROR: Failed to solve instance
1064.69/689.92	java.lang.OutOfMemoryError: Java heap space
1071.29/696.35	16:18 ERROR: Failed to solve instance
1071.29/696.35	java.lang.OutOfMemoryError: Java heap space
1227.45/852.44	18:54 ERROR: Failed to solve instance
1227.45/852.44	java.lang.OutOfMemoryError: Java heap space
1227.45/852.44	18:54 ERROR: Failed to solve instance
1227.45/852.44	java.lang.OutOfMemoryError: Java heap space
1229.78/854.78	18:56 ERROR: Failed to solve instance
1229.78/854.78	java.lang.OutOfMemoryError: Java heap space
1232.58/857.46	18:59 ERROR: Failed to solve instance
1232.58/857.46	java.lang.OutOfMemoryError: Java heap space
1234.21/859.06	19:00 ERROR: Failed to solve instance
1234.21/859.06	java.lang.OutOfMemoryError: Java heap space
1235.82/860.65	19:02 ERROR: Failed to solve instance
1235.82/860.65	java.lang.OutOfMemoryError: Java heap space
1238.63/863.37	19:05 ERROR: Failed to solve instance
1238.63/863.37	java.lang.OutOfMemoryError: Java heap space
1239.76/864.48	19:06 ERROR: Failed to solve instance
1239.76/864.48	java.lang.OutOfMemoryError: Java heap space
1241.18/865.88	19:07 ERROR: Failed to solve instance
1241.18/865.88	java.lang.OutOfMemoryError: Java heap space
1243.98/868.45	19:10 ERROR: Failed to solve instance
1243.98/868.45	java.lang.OutOfMemoryError: Java heap space
1245.00/869.45	19:11 ERROR: Failed to solve instance
1245.00/869.45	java.lang.OutOfMemoryError: Java heap space
1245.71/870.16	19:11 ERROR: Failed to solve instance
1245.71/870.16	java.lang.OutOfMemoryError: Java heap space
1248.42/872.78	19:14 ERROR: Failed to solve instance
1248.42/872.78	java.lang.OutOfMemoryError: Java heap space
1249.65/873.97	19:15 ERROR: Failed to solve instance
1249.65/873.97	java.lang.OutOfMemoryError: Java heap space
1251.37/875.63	19:17 ERROR: Failed to solve instance
1251.37/875.63	java.lang.OutOfMemoryError: Java heap space
1253.58/877.75	19:19 ERROR: Failed to solve instance
1253.58/877.75	java.lang.OutOfMemoryError: Java heap space
1254.70/878.89	19:20 ERROR: Failed to solve instance
1254.70/878.89	java.lang.OutOfMemoryError: Java heap space
1255.72/879.87	19:21 ERROR: Failed to solve instance
1255.72/879.87	java.lang.OutOfMemoryError: Java heap space
1260.70/884.53	19:26 ERROR: Failed to solve instance
1260.70/884.53	java.lang.OutOfMemoryError: Java heap space
1262.23/886.05	19:27 ERROR: Failed to solve instance
1262.23/886.05	java.lang.OutOfMemoryError: Java heap space
1263.84/887.70	19:29 ERROR: Failed to solve instance
1263.84/887.70	java.lang.OutOfMemoryError: Java heap space
1265.07/888.84	19:30 ERROR: Failed to solve instance
1265.07/888.84	java.lang.OutOfMemoryError: Java heap space
1267.27/890.98	19:32 ERROR: Failed to solve instance
1267.27/890.98	java.lang.OutOfMemoryError: Java heap space
1268.60/892.24	19:34 ERROR: Failed to solve instance
1268.60/892.24	java.lang.OutOfMemoryError: Java heap space
1269.41/893.08	19:34 ERROR: Failed to solve instance
1269.41/893.08	java.lang.OutOfMemoryError: Java heap space
1271.83/895.36	19:37 ERROR: Failed to solve instance
1271.83/895.36	java.lang.OutOfMemoryError: Java heap space
1272.44/895.99	19:37 ERROR: Failed to solve instance
1272.44/895.99	java.lang.OutOfMemoryError: Java heap space
1273.77/897.26	19:39 ERROR: Failed to solve instance
1273.77/897.26	java.lang.OutOfMemoryError: Java heap space
1277.36/900.67	19:42 ERROR: Failed to solve instance
1277.36/900.67	java.lang.OutOfMemoryError: Java heap space
1278.98/902.27	19:43 ERROR: Failed to solve instance
1278.98/902.27	java.lang.OutOfMemoryError: Java heap space
1283.98/907.11	19:48 ERROR: Failed to solve instance
1283.98/907.11	java.lang.OutOfMemoryError: Java heap space
1293.50/916.62	19:55 ERROR: Failed to solve instance
1293.50/916.62	java.lang.OutOfMemoryError: Java heap space
1314.91/938.00	20:19 ERROR: Failed to solve instance
1314.91/938.00	java.lang.OutOfMemoryError: Java heap space
1316.32/939.42	20:21 ERROR: Failed to solve instance
1316.32/939.42	java.lang.OutOfMemoryError: Java heap space
1321.73/944.59	20:26 ERROR: Failed to solve instance
1321.73/944.59	java.lang.OutOfMemoryError: Java heap space
1324.84/947.64	20:29 ERROR: Failed to solve instance
1324.84/947.64	java.lang.OutOfMemoryError: Java heap space
1326.05/948.86	20:30 ERROR: Failed to solve instance
1326.05/948.86	java.lang.OutOfMemoryError: Java heap space
1327.28/950.00	20:31 ERROR: Failed to solve instance
1327.28/950.00	java.lang.OutOfMemoryError: Java heap space
1329.28/951.99	20:33 ERROR: Failed to solve instance
1329.28/951.99	java.lang.OutOfMemoryError: Java heap space
1330.82/953.40	20:35 ERROR: Failed to solve instance
1330.82/953.40	java.lang.OutOfMemoryError: Java heap space
1331.93/954.51	20:36 ERROR: Failed to solve instance
1331.93/954.51	java.lang.OutOfMemoryError: Java heap space
1334.34/956.85	20:38 ERROR: Failed to solve instance
1334.34/956.85	java.lang.OutOfMemoryError: Java heap space
1335.16/957.69	20:39 ERROR: Failed to solve instance
1335.16/957.69	java.lang.OutOfMemoryError: Java heap space
1336.48/958.97	20:40 ERROR: Failed to solve instance
1336.48/958.97	java.lang.OutOfMemoryError: Java heap space
1339.67/961.98	20:43 ERROR: Failed to solve instance
1339.67/961.98	java.lang.OutOfMemoryError: Java heap space
1341.70/963.93	20:45 ERROR: Failed to solve instance
1341.70/963.93	java.lang.OutOfMemoryError: Java heap space
1343.10/965.30	20:47 ERROR: Failed to solve instance
1343.10/965.30	java.lang.OutOfMemoryError: Java heap space
1344.13/966.31	20:48 ERROR: Failed to solve instance
1344.13/966.31	java.lang.OutOfMemoryError: Java heap space
1346.24/968.35	20:50 ERROR: Failed to solve instance
1346.24/968.35	java.lang.OutOfMemoryError: Java heap space
1347.37/969.42	20:51 ERROR: Failed to solve instance
1347.37/969.42	java.lang.OutOfMemoryError: Java heap space
1348.18/970.25	20:52 ERROR: Failed to solve instance
1348.18/970.25	java.lang.OutOfMemoryError: Java heap space
1351.48/973.30	20:55 ERROR: Failed to solve instance
1351.48/973.30	java.lang.OutOfMemoryError: Java heap space
1352.30/974.14	20:55 ERROR: Failed to solve instance
1352.30/974.14	java.lang.OutOfMemoryError: Java heap space
1353.62/975.41	20:57 ERROR: Failed to solve instance
1353.62/975.41	java.lang.OutOfMemoryError: Java heap space
1355.83/977.52	20:59 ERROR: Failed to solve instance
1355.83/977.52	java.lang.OutOfMemoryError: Java heap space
1357.25/978.93	21:00 ERROR: Failed to solve instance
1357.25/978.93	java.lang.OutOfMemoryError: Java heap space
1358.37/980.03	21:01 ERROR: Failed to solve instance
1358.37/980.03	java.lang.OutOfMemoryError: Java heap space
1360.78/982.38	21:04 ERROR: Failed to solve instance
1360.78/982.38	java.lang.OutOfMemoryError: Java heap space
1361.79/983.35	21:05 ERROR: Failed to solve instance
1361.79/983.35	java.lang.OutOfMemoryError: Java heap space
1362.62/984.19	21:06 ERROR: Failed to solve instance
1362.62/984.19	java.lang.OutOfMemoryError: Java heap space
1366.01/987.25	21:09 ERROR: Failed to solve instance
1366.01/987.25	java.lang.OutOfMemoryError: Java heap space
1367.33/988.50	21:10 ERROR: Failed to solve instance
1367.33/988.50	java.lang.OutOfMemoryError: Java heap space
1368.25/989.47	21:11 ERROR: Failed to solve instance
1368.25/989.47	java.lang.OutOfMemoryError: Java heap space
1371.66/992.72	21:14 ERROR: Failed to solve instance
1371.66/992.72	java.lang.OutOfMemoryError: Java heap space
1373.29/994.37	21:16 ERROR: Failed to solve instance
1373.29/994.37	java.lang.OutOfMemoryError: Java heap space
1375.50/996.58	21:18 ERROR: Failed to solve instance
1375.50/996.58	java.lang.OutOfMemoryError: Java heap space
1378.31/999.22	21:21 ERROR: Failed to solve instance
1378.31/999.22	java.lang.OutOfMemoryError: Java heap space
1379.53/1000.47	21:22 ERROR: Failed to solve instance
1379.53/1000.47	java.lang.OutOfMemoryError: Java heap space
1379.53/1000.47	21:22 ERROR: Failed to solve instance
1379.53/1000.47	java.lang.OutOfMemoryError: Java heap space
1382.06/1002.81	21:24 ERROR: Failed to solve instance
1382.06/1002.81	java.lang.OutOfMemoryError: Java heap space
1423.62/1044.14	22:05 ERROR: Failed to solve instance
1423.62/1044.14	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-3312973-1304183081/watcher-3312973-1304183081 -o /tmp/evaluation-result-3312973-1304183081/solver-3312973-1304183081 -C 4800 -W 1300 -M 15500 run 15000 4 HOME HOME HOME/instance-3312973-1304183081.cnf 

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

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


[startup+0 s]
/proc/loadavg: 4.52 6.81 7.44 2/189 432
/proc/meminfo: memFree=30959000/32951124 swapFree=67106388/67111528
[pid=432] ppid=430 vsize=9100 CPUtime=0 cores=1,3,5,7
/proc/432/stat : 432 (java) R 430 432 32139 0 -1 4202496 481 0 0 0 0 0 0 0 22 0 1 0 510724393 9318400 143 33554432000 1073741824 1073778376 140735330209792 18446744073709551615 212039655415 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/432/statm: 2275 147 118 9 0 67 0
[pid=432/tid=438] ppid=430 vsize=30540 CPUtime=0 cores=1,3,5,7
/proc/432/task/438/stat : 438 (java) R 430 432 32139 0 -1 4202560 137 0 0 0 0 0 0 0 24 0 2 0 510724393 31272960 957 33554432000 1073741824 1073778376 140737393993984 18446744073709551615 212039060371 0 0 0 16784584 0 0 0 -1 5 0 0 0

[startup+0.031866 s]
/proc/loadavg: 4.52 6.81 7.44 2/189 432
/proc/meminfo: memFree=30959000/32951124 swapFree=67106388/67111528
[pid=432] ppid=430 vsize=15604248 CPUtime=0.02 cores=1,3,5,7
/proc/432/stat : 432 (java) S 430 432 32139 0 -1 4202496 3615 0 1 0 2 0 0 0 22 0 13 0 510724393 15978749952 3055 33554432000 1073741824 1073778376 140737393993984 18446744073709551615 212051458021 0 0 0 16784584 18446744073709551615 0 0 17 5 0 0 0
/proc/432/statm: 3901062 3057 1671 9 0 3891810 0
[pid=432/tid=438] ppid=430 vsize=15604248 CPUtime=0.02 cores=1,3,5,7
/proc/432/task/438/stat : 438 (java) R 430 432 32139 0 -1 4202560 2226 0 1 0 2 0 0 0 18 0 13 0 510724393 15978749952 3057 33554432000 1073741824 1073778376 140737393993984 18446744073709551615 47097211375066 0 4 0 16784584 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 15604248

[startup+0.100877 s]
/proc/loadavg: 4.52 6.81 7.44 2/189 432
/proc/meminfo: memFree=30959000/32951124 swapFree=67106388/67111528
[pid=432] ppid=430 vsize=15676468 CPUtime=0.1 cores=1,3,5,7
/proc/432/stat : 432 (java) S 430 432 32139 0 -1 4202496 5603 0 1 0 9 1 0 0 22 0 18 0 510724393 16052703232 5012 33554432000 1073741824 1073778376 140737393993984 18446744073709551615 212051458021 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/432/statm: 3919117 5013 2118 9 0 3909836 0
[pid=432/tid=438] ppid=430 vsize=15676468 CPUtime=0.08 cores=1,3,5,7
/proc/432/task/438/stat : 438 (java) R 430 432 32139 0 -1 4202560 3459 0 1 0 8 0 0 0 18 0 18 0 510724393 16052703232 5014 33554432000 1073741824 1073778376 140737393993984 18446744073709551615 47097209276435 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 15676468

[startup+0.300821 s]
/proc/loadavg: 4.52 6.81 7.44 2/189 432
/proc/meminfo: memFree=30959000/32951124 swapFree=67106388/67111528
[pid=432] ppid=430 vsize=15679892 CPUtime=0.51 cores=1,3,5,7
/proc/432/stat : 432 (java) S 430 432 32139 0 -1 4202496 15807 0 1 0 49 2 0 0 22 0 18 0 510724393 16056209408 14263 33554432000 1073741824 1073778376 140737393993984 18446744073709551615 212051458021 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/432/statm: 3919973 14270 2207 9 0 3910692 0
[pid=432/tid=438] ppid=430 vsize=15679892 CPUtime=0.28 cores=1,3,5,7
/proc/432/task/438/stat : 438 (java) R 430 432 32139 0 -1 4202560 10711 0 1 0 27 1 0 0 18 0 18 0 510724393 16056209408 14273 33554432000 1073741824 1073778376 140737393993984 18446744073709551615 46912505638439 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.51
Current children cumulated vsize (KiB) 15679892

[startup+0.70075 s]
/proc/loadavg: 4.52 6.81 7.44 2/189 432
/proc/meminfo: memFree=30959000/32951124 swapFree=67106388/67111528
[pid=432] ppid=430 vsize=15679892 CPUtime=0.92 cores=1,3,5,7
/proc/432/stat : 432 (java) S 430 432 32139 0 -1 4202496 41853 0 1 0 87 5 0 0 22 0 18 0 510724393 16056209408 40307 33554432000 1073741824 1073778376 140737393993984 18446744073709551615 212051458021 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/432/statm: 3919973 40307 2223 9 0 3910692 0
[pid=432/tid=438] ppid=430 vsize=15679892 CPUtime=0.68 cores=1,3,5,7
/proc/432/task/438/stat : 438 (java) R 430 432 32139 0 -1 4202560 35508 0 1 0 64 4 0 0 18 0 18 0 510724393 16056209408 40307 33554432000 1073741824 1073778376 140737393993984 18446744073709551615 46912505528897 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.92
Current children cumulated vsize (KiB) 15679892

[startup+1.5016 s]
/proc/loadavg: 4.52 6.81 7.44 10/220 473
/proc/meminfo: memFree=30612980/32951124 swapFree=67106388/67111528
[pid=432] ppid=430 vsize=15684788 CPUtime=2.46 cores=1,3,5,7
/proc/432/stat : 432 (java) S 430 432 32139 0 -1 4202496 54009 0 1 0 239 7 0 0 22 0 22 0 510724393 16061222912 48376 33554432000 1073741824 1073778376 140737393993984 18446744073709551615 212051458021 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/432/statm: 3921197 48376 2265 9 0 3911916 0
[pid=432/tid=438] ppid=430 vsize=15684788 CPUtime=1.47 cores=1,3,5,7
/proc/432/task/438/stat : 438 (java) R 430 432 32139 0 -1 4202560 35625 0 1 0 143 4 0 0 18 0 22 0 510724393 16061222912 48376 33554432000 1073741824 1073778376 140737393993984 18446744073709551615 47097206895482 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=432/tid=440] ppid=430 vsize=15684788 CPUtime=0 cores=1,3,5,7
/proc/432/task/440/stat : 440 (java) S 430 432 32139 0 -1 4202560 1092 0 0 0 0 0 0 0 18 0 22 0 510724393 16061222912 48376 33554432000 1073741824 1073778376 140737393993984 18446744073709551615 212051471257 0 4 0 16800975 18446604462970121216 0 0 -1 7 0 0 0
[pid=432/tid=441] ppid=430 vsize=15684788 CPUtime=0 cores=1,3,5,7
/proc/432/task/441/stat : 441 (java) S 430 432 32139 0 -1 4202560 667 0 0 0 0 0 0 0 18 0 22 0 510724393 16061222912 48376 33554432000 1073741824 1073778376 140737393993984 18446744073709551615 212051471257 0 4 0 16800975 18446604462970121216 0 0 -1 7 0 0 0
[pid=432/tid=442] ppid=430 vsize=15684788 CPUtime=0 cores=1,3,5,7
/proc/432/task/442/stat : 442 (java) S 430 432 32139 0 -1 4202560 704 0 0 0 0 0 0 0 18 0 22 0 510724393 16061222912 48376 33554432000 1073741824 1073778376 140737393993984 18446744073709551615 212051471257 0 4 0 16800975 18446604462970121216 0 0 -1 1 0 0 0
[pid=432/tid=443] ppid=430 vsize=15684788 CPUtime=0 cores=1,3,5,7
/proc/432/task/443/stat : 443 (java) S 430 432 32139 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 510724394 16061222912 48376 33554432000 1073741824 1073778376 140737393993984 18446744073709551615 212051471257 0 4 0 16800975 18446604462970121216 0 0 -1 3 0 0 0
[pid=432/tid=444] ppid=430 vsize=15684788 CPUtime=0 cores=1,3,5,7
/proc/432/task/444/stat : 444 (java) S 430 432 32139 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 22 0 510724394 16061222912 48376 33554432000 1073741824 1073778376 140737393993984 18446744073709551615 212051471257 0 4 0 16800975 18446604462970121216 0 0 -1 3 0 0 0
[pid=432/tid=445] ppid=430 vsize=15684788 CPUtime=0 cores=1,3,5,7
/proc/432/task/445/stat : 445 (java) S 430 432 32139 0 -1 4202560 92 0 0 0 0 0 0 0 18 0 22 0 510724394 16061222912 48376 33554432000 1073741824 1073778376 140737393993984 18446744073709551615 212051471257 0 4 0 16800975 18446604462970121216 0 0 -1 7 0 0 0
[pid=432/tid=446] ppid=430 vsize=15684788 CPUtime=0 cores=1,3,5,7
/proc/432/task/446/stat : 446 (java) S 430 432 32139 0 -1 4202560 1554 0 0 0 0 0 0 0 18 0 22 0 510724394 16061222912 48376 33554432000 1073741824 1073778376 140737393993984 18446744073709551615 212051471257 0 4 0 16800975 18446604462970121216 0 0 -1 5 0 0 0
[pid=432/tid=447] ppid=430 vsize=15684788 CPUtime=0 cores=1,3,5,7
/proc/432/task/447/stat : 447 (java) S 430 432 32139 0 -1 4202560 533 0 0 0 0 0 0 0 18 0 22 0 510724394 16061222912 48376 33554432000 1073741824 1073778376 140737393993984 18446744073709551615 212051471257 0 4 0 16800975 18446604462970121216 0 0 -1 3 0 0 0
[pid=432/tid=448] ppid=430 vsize=15684788 CPUtime=0 cores=1,3,5,7
/proc/432/task/448/stat : 448 (java) S 430 432 32139 0 -1 4202560 73 0 0 0 0 0 0 0 18 0 22 0 510724395 16061222912 48376 33554432000 1073741824 1073778376 140737393993984 18446744073709551615 212051471872 0 0 0 16800975 18446604462970121216 0 0 -1 5 0 0 0
[pid=432/tid=449] ppid=430 vsize=15684788 CPUtime=0 cores=1,3,5,7
/proc/432/task/449/stat : 449 (java) S 430 432 32139 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 510724395 16061222912 48376 33554432000 1073741824 1073778376 140737393993984 18446744073709551615 212051471257 0 4 0 16800975 18446604462970121216 0 0 -1 7 0 0 0
[pid=432/tid=450] ppid=430 vsize=15684788 CPUtime=0 cores=1,3,5,7
/proc/432/task/450/stat : 450 (java) S 430 432 32139 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 22 0 510724395 16061222912 48376 33554432000 1073741824 1073778376 140737393993984 18446744073709551615 212051471257 0 4 0 16800975 18446604462970121216 0 0 -1 5 0 0 0
[pid=432/tid=451] ppid=430 vsize=15684788 CPUtime=0 cores=1,3,5,7
/proc/432/task/451/stat : 451 (java) S 430 432 32139 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 510724397 16061222912 48376 33554432000 1073741824 1073778376 140737393993984 18446744073709551615 212051478961 0 4 0 16800975 18446604462970121216 0 0 -1 1 0 0 0
[pid=432/tid=452] ppid=430 vsize=15684788 CPUtime=0.72 cores=1,3,5,7
/proc/432/task/452/stat : 452 (java) R 430 432 32139 0 -1 4202560 10681 0 0 0 71 1 0 0 15 0 22 0 510724397 16061222912 48376 33554432000 1073741824 1073778376 140737393993984 18446744073709551615 47097211360694 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=432/tid=453] ppid=430 vsize=15684788 CPUtime=0.21 cores=1,3,5,7
/proc/432/task/453/stat : 453 (java) S 430 432 32139 0 -1 4202560 1557 0 0 0 21 0 0 0 15 0 22 0 510724397 16061222912 48376 33554432000 1073741824 1073778376 140737393993984 18446744073709551615 212051471257 0 4 0 16800975 18446604462970121216 0 0 -1 5 0 0 0
[pid=432/tid=454] ppid=430 vsize=15684788 CPUtime=0 cores=1,3,5,7
/proc/432/task/454/stat : 454 (java) S 430 432 32139 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 510724397 16061222912 48376 33554432000 1073741824 1073778376 140737393993984 18446744073709551615 212051471257 0 4 0 16800975 18446604462970121216 0 0 -1 1 0 0 0
[pid=432/tid=455] ppid=430 vsize=15684788 CPUtime=0 cores=1,3,5,7
/proc/432/task/455/stat : 455 (java) S 430 432 32139 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 510724397 16061222912 48376 33554432000 1073741824 1073778376 140737393993984 18446744073709551615 212051471872 0 4 0 16800975 18446604462970121216 0 0 -1 7 0 0 0
[pid=432/tid=468] ppid=430 vsize=15684788 CPUtime=0 cores=1,3,5,7
/proc/432/task/468/stat : 468 (java) S 430 432 32139 0 -1 4202560 13 0 0 0 0 0 0 0 15 0 22 0 510724469 16061222912 48376 33554432000 1073741824 1073778376 140737393993984 18446744073709551615 212051471872 0 4 0 16800975 18446604462970121216 0 0 -1 7 0 0 0
[pid=432/tid=470] ppid=430 vsize=15684788 CPUtime=0 cores=1,3,5,7
/proc/432/task/470/stat : 470 (java) S 430 432 32139 0 -1 4202560 13 0 0 0 0 0 0 0 15 0 22 0 510724469 16061222912 48376 33554432000 1073741824 1073778376 140737393993984 18446744073709551615 212051471872 0 4 0 16800975 18446604462970121216 0 0 -1 7 0 0 0
[pid=432/tid=472] ppid=430 vsize=15684788 CPUtime=0 cores=1,3,5,7
/proc/432/task/472/stat : 472 (java) S 430 432 32139 0 -1 4202560 7 0 0 0 0 0 0 0 15 0 22 0 510724469 16061222912 48376 33554432000 1073741824 1073778376 140737393993984 18446744073709551615 212051471872 0 4 0 16800975 18446604462970121216 0 0 -1 7 0 0 0
[pid=432/tid=473] ppid=430 vsize=15684788 CPUtime=0 cores=1,3,5,7
/proc/432/task/473/stat : 473 (java) S 430 432 32139 0 -1 4202560 10 0 0 0 0 0 0 0 15 0 22 0 510724469 16061222912 48376 33554432000 1073741824 1073778376 140737393993984 18446744073709551615 212051471872 0 4 0 16800975 18446604462970121216 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2.46
Current children cumulated vsize (KiB) 15684788

[startup+3.10129 s]
/proc/loadavg: 4.52 6.81 7.44 9/220 473
/proc/meminfo: memFree=30338200/32951124 swapFree=67106388/67111528
[pid=432] ppid=430 vsize=15685764 CPUtime=6.71 cores=1,3,5,7
/proc/432/stat : 432 (java) S 430 432 32139 0 -1 4202496 157909 0 1 0 650 21 0 0 22 0 22 0 510724393 16062222336 151622 33554432000 1073741824 1073778376 140737393993984 18446744073709551615 212051458021 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/432/statm: 3921441 151652 2275 9 0 3912160 0
[pid=432/tid=438] ppid=430 vsize=15685764 CPUtime=1.89 cores=1,3,5,7
/proc/432/task/438/stat : 438 (java) S 430 432 32139 0 -1 4202560 35671 0 1 0 185 4 0 0 19 0 22 0 510724393 16062222336 151665 33554432000 1073741824 1073778376 140737393993984 18446744073709551615 212051471257 0 4 0 16800975 18446604462970121216 0 0 -1 1 0 0 0
[pid=432/tid=440] ppid=430 vsize=15685764 CPUtime=0.1 cores=1,3,5,7
/proc/432/task/440/stat : 440 (java) S 430 432 32139 0 -1 4202560 15713 0 0 0 8 2 0 0 15 0 22 0 510724393 16062222336 151682 33554432000 1073741824 1073778376 140737393993984 18446744073709551615 212051471257 0 4 0 16800975 18446604462970121216 0 0 -1 3 0 0 0
[pid=432/tid=441] ppid=430 vsize=15685764 CPUtime=0.08 cores=1,3,5,7
/proc/432/task/441/stat : 441 (java) S 430 432 32139 0 -1 4202560 9616 0 0 0 7 1 0 0 16 0 22 0 510724393 16062222336 151684 33554432000 1073741824 1073778376 140737393993984 18446744073709551615 212051471257 0 4 0 16800975 18446604462970121216 0 0 -1 5 0 0 0
[pid=432/tid=442] ppid=430 vsize=15685764 CPUtime=0.07 cores=1,3,5,7
/proc/432/task/442/stat : 442 (java) S 430 432 32139 0 -1 4202560 11060 0 0 0 6 1 0 0 15 0 22 0 510724393 16062222336 151684 33554432000 1073741824 1073778376 140737393993984 18446744073709551615 212051471257 0 4 0 16800975 18446604462970121216 0 0 -1 1 0 0 0
[pid=432/tid=443] ppid=430 vsize=15685764 CPUtime=0.09 cores=1,3,5,7
/proc/432/task/443/stat : 443 (java) S 430 432 32139 0 -1 4202560 14304 0 0 0 8 1 0 0 15 0 22 0 510724394 16062222336 151684 33554432000 1073741824 1073778376 140737393993984 18446744073709551615 212051471257 0 4 0 16800975 18446604462970121216 0 0 -1 3 0 0 0
[pid=432/tid=444] ppid=430 vsize=15685764 CPUtime=0.02 cores=1,3,5,7
/proc/432/task/444/stat : 444 (java) S 430 432 32139 0 -1 4202560 3397 0 0 0 2 0 0 0 16 0 22 0 510724394 16062222336 151684 33554432000 1073741824 1073778376 140737393993984 18446744073709551615 212051471257 0 4 0 16800975 18446604462970121216 0 0 -1 1 0 0 0
[pid=432/tid=445] ppid=430 vsize=15685764 CPUtime=0.05 cores=1,3,5,7
/proc/432/task/445/stat : 445 (java) S 430 432 32139 0 -1 4202560 6790 0 0 0 5 0 0 0 16 0 22 0 510724394 16062222336 151684 33554432000 1073741824 1073778376 140737393993984 18446744073709551615 212051471257 0 4 0 16800975 18446604462970121216 0 0 -1 5 0 0 0
[pid=432/tid=446] ppid=430 vsize=15685764 CPUtime=0.09 cores=1,3,5,7
/proc/432/task/446/stat : 446 (java) S 430 432 32139 0 -1 4202560 13426 0 0 0 7 2 0 0 15 0 22 0 510724394 16062222336 151684 33554432000 1073741824 1073778376 140737393993984 18446744073709551615 212051471257 0 4 0 16800975 18446604462970121216 0 0 -1 1 0 0 0
[pid=432/tid=447] ppid=430 vsize=15685764 CPUtime=0 cores=1,3,5,7
/proc/432/task/447/stat : 447 (java) S 430 432 32139 0 -1 4202560 533 0 0 0 0 0 0 0 15 0 22 0 510724394 16062222336 151684 33554432000 1073741824 1073778376 140737393993984 18446744073709551615 212051471257 0 4 0 16800975 18446604462970121216 0 0 -1 1 0 0 0
[pid=432/tid=448] ppid=430 vsize=15685764 CPUtime=0 cores=1,3,5,7
/proc/432/task/448/stat : 448 (java) S 430 432 32139 0 -1 4202560 318 0 0 0 0 0 0 0 15 0 22 0 510724395 16062222336 151684 33554432000 1073741824 1073778376 140737393993984 18446744073709551615 212051471872 0 0 0 16800975 18446604462970121216 0 0 -1 1 0 0 0
[pid=432/tid=449] ppid=430 vsize=15685764 CPUtime=0 cores=1,3,5,7
/proc/432/task/449/stat : 449 (java) S 430 432 32139 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 510724395 16062222336 151684 33554432000 1073741824 1073778376 140737393993984 18446744073709551615 212051471257 0 4 0 16800975 18446604462970121216 0 0 -1 7 0 0 0
[pid=432/tid=450] ppid=430 vsize=15685764 CPUtime=0 cores=1,3,5,7
/proc/432/task/450/stat : 450 (java) S 430 432 32139 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 22 0 510724395 16062222336 151684 33554432000 1073741824 1073778376 140737393993984 18446744073709551615 212051471257 0 4 0 16800975 18446604462970121216 0 0 -1 5 0 0 0
[pid=432/tid=451] ppid=430 vsize=15685764 CPUtime=0 cores=1,3,5,7
/proc/432/task/451/stat : 451 (java) S 430 432 32139 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 510724397 16062222336 151684 33554432000 1073741824 1073778376 140737393993984 18446744073709551615 212051478961 0 4 0 16800975 18446604462970121216 0 0 -1 1 0 0 0
[pid=432/tid=452] ppid=430 vsize=15685764 CPUtime=1.25 cores=1,3,5,7
/proc/432/task/452/stat : 452 (java) S 430 432 32139 0 -1 4202560 10754 0 0 0 124 1 0 0 15 0 22 0 510724397 16062222336 151684 33554432000 1073741824 1073778376 140737393993984 18446744073709551615 212051471257 0 4 0 16800975 18446604462970121216 0 0 -1 1 0 0 0
[pid=432/tid=453] ppid=430 vsize=15685764 CPUtime=0.52 cores=1,3,5,7
/proc/432/task/453/stat : 453 (java) S 430 432 32139 0 -1 4202560 1812 0 0 0 52 0 0 0 15 0 22 0 510724397 16062222336 151684 33554432000 1073741824 1073778376 140737393993984 18446744073709551615 212051471257 0 4 0 16800975 18446604462970121216 0 0 -1 5 0 0 0
[pid=432/tid=454] ppid=430 vsize=15685764 CPUtime=0 cores=1,3,5,7
/proc/432/task/454/stat : 454 (java) S 430 432 32139 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 510724397 16062222336 151684 33554432000 1073741824 1073778376 140737393993984 18446744073709551615 212051471257 0 4 0 16800975 18446604462970121216 0 0 -1 1 0 0 0
[pid=432/tid=455] ppid=430 vsize=15685764 CPUtime=0 cores=1,3,5,7
/proc/432/task/455/stat : 455 (java) S 430 432 32139 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 510724397 16062222336 151684 33554432000 1073741824 1073778376 140737393993984 18446744073709551615 212051471872 0 4 0 16800975 18446604462970121216 0 0 -1 5 0 0 0
[pid=432/tid=468] ppid=430 vsize=15685764 CPUtime=0.59 cores=1,3,5,7
/proc/432/task/468/stat : 468 (java) R 430 432 32139 0 -1 4202560 7564 0 0 0 58 1 0 0 16 0 22 0 510724469 16062222336 151684 33554432000 1073741824 1073778376 140737393993984 18446744073709551615 46912506365323 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=432/tid=470] ppid=430 vsize=15685764 CPUtime=0.48 cores=1,3,5,7
/proc/432/task/470/stat : 470 (java) R 430 432 32139 0 -1 4202560 13376 0 0 0 47 1 0 0 16 0 22 0 510724469 16062222336 151684 33554432000 1073741824 1073778376 140737393993984 18446744073709551615 47097211374419 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=432/tid=472] ppid=430 vsize=15685764 CPUtime=0.62 cores=1,3,5,7
/proc/432/task/472/stat : 472 (java) R 430 432 32139 0 -1 4202560 161 0 0 0 62 0 0 0 16 0 22 0 510724469 16062222336 151684 33554432000 1073741824 1073778376 140737393993984 18446744073709551615 46912506039841 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=432/tid=473] ppid=430 vsize=15685764 CPUtime=0.73 cores=1,3,5,7
/proc/432/task/473/stat : 473 (java) R 430 432 32139 0 -1 4202560 12090 0 0 0 72 1 0 0 16 0 22 0 510724469 16062222336 151684 33554432000 1073741824 1073778376 140737393993984 18446744073709551615 46912505986894 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 6.71
Current children cumulated vsize (KiB) 15685764

[startup+6.30072 s]
/proc/loadavg: 4.63 6.80 7.43 9/220 473
/proc/meminfo: memFree=27416356/32951124 swapFree=67106388/67111528
[pid=432] ppid=430 vsize=15685764 CPUtime=18.74 cores=1,3,5,7
/proc/432/stat : 432 (java) S 430 432 32139 0 -1 4202496 477835 0 1 0 1807 67 0 0 22 0 22 0 510724393 16062222336 471063 33554432000 1073741824 1073778376 140737393993984 18446744073709551615 212051458021 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/432/statm: 3921441 471063 2283 9 0 3912160 0
[pid=432/tid=438] ppid=430 vsize=15685764 CPUtime=1.89 cores=1,3,5,7
/proc/432/task/438/stat : 438 (java) S 430 432 32139 0 -1 4202560 35671 0 1 0 185 4 0 0 19 0 22 0 510724393 16062222336 471063 33554432000 1073741824 1073778376 140737393993984 18446744073709551615 212051471257 0 4 0 16800975 18446604462970121216 0 0 -1 1 0 0 0
[pid=432/tid=440] ppid=430 vsize=15685764 CPUtime=0.23 cores=1,3,5,7
/proc/432/task/440/stat : 440 (java) S 430 432 32139 0 -1 4202560 45617 0 0 0 17 6 0 0 16 0 22 0 510724393 16062222336 471063 33554432000 1073741824 1073778376 140737393993984 18446744073709551615 212051471257 0 4 0 16800975 18446604462970121216 0 0 -1 7 0 0 0
[pid=432/tid=441] ppid=430 vsize=15685764 CPUtime=0.16 cores=1,3,5,7
/proc/432/task/441/stat : 441 (java) S 430 432 32139 0 -1 4202560 25789 0 0 0 13 3 0 0 15 0 22 0 510724393 16062222336 471063 33554432000 1073741824 1073778376 140737393993984 18446744073709551615 212051471257 0 4 0 16800975 18446604462970121216 0 0 -1 7 0 0 0
[pid=432/tid=442] ppid=430 vsize=15685764 CPUtime=0.09 cores=1,3,5,7
/proc/432/task/442/stat : 442 (java) S 430 432 32139 0 -1 4202560 18978 0 0 0 7 2 0 0 16 0 22 0 510724393 16062222336 471063 33554432000 1073741824 1073778376 140737393993984 18446744073709551615 212051471257 0 4 0 16800975 18446604462970121216 0 0 -1 1 0 0 0
[pid=432/tid=443] ppid=430 vsize=15685764 CPUtime=0.21 cores=1,3,5,7
/proc/432/task/443/stat : 443 (java) S 430 432 32139 0 -1 4202560 35269 0 0 0 16 5 0 0 16 0 22 0 510724394 16062222336 471063 33554432000 1073741824 1073778376 140737393993984 18446744073709551615 212051471257 0 4 0 16800975 18446604462970121216 0 0 -1 1 0 0 0
[pid=432/tid=444] ppid=430 vsize=15685764 CPUtime=0.11 cores=1,3,5,7
/proc/432/task/444/stat : 444 (java) S 430 432 32139 0 -1 4202560 25797 0 0 0 7 4 0 0 15 0 22 0 510724394 16062222336 471063 33554432000 1073741824 1073778376 140737393993984 18446744073709551615 212051471257 0 4 0 16800975 18446604462970121216 0 0 -1 5 0 0 0
[pid=432/tid=445] ppid=430 vsize=15685764 CPUtime=0.17 cores=1,3,5,7
/proc/432/task/445/stat : 445 (java) S 430 432 32139 0 -1 4202560 25306 0 0 0 14 3 0 0 16 0 22 0 510724394 16062222336 471063 33554432000 1073741824 1073778376 140737393993984 18446744073709551615 212051471257 0 4 0 16800975 18446604462970121216 0 0 -1 5 0 0 0
[pid=432/tid=446] ppid=430 vsize=15685764 CPUtime=0.22 cores=1,3,5,7
/proc/432/task/446/stat : 446 (java) S 430 432 32139 0 -1 4202560 46205 0 0 0 15 7 0 0 16 0 22 0 510724394 16062222336 471063 33554432000 1073741824 1073778376 140737393993984 18446744073709551615 212051471257 0 4 0 16800975 18446604462970121216 0 0 -1 1 0 0 0
[pid=432/tid=447] ppid=430 vsize=15685764 CPUtime=0.19 cores=1,3,5,7
/proc/432/task/447/stat : 447 (java) S 430 432 32139 0 -1 4202560 47986 0 0 0 12 7 0 0 16 0 22 0 510724394 16062222336 471063 33554432000 1073741824 1073778376 140737393993984 18446744073709551615 212051471257 0 4 0 16800975 18446604462970121216 0 0 -1 1 0 0 0

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

/proc/432/statm: 3921441 3815780 2295 9 0 3912160 0
[pid=432/tid=438] ppid=430 vsize=15685764 CPUtime=1.89 cores=1,3,5,7
/proc/432/task/438/stat : 438 (java) S 430 432 32139 0 -1 4202560 35671 0 1 0 185 4 0 0 19 0 20 0 510724393 16062222336 3815780 33554432000 1073741824 1073778376 140737393993984 18446744073709551615 212051471257 0 4 0 16800975 18446604462970121216 0 0 -1 1 0 0 0
[pid=432/tid=440] ppid=430 vsize=15685764 CPUtime=3.1 cores=1,3,5,7
/proc/432/task/440/stat : 440 (java) S 430 432 32139 0 -1 4202560 374004 0 0 0 249 61 0 0 16 0 20 0 510724393 16062222336 3815780 33554432000 1073741824 1073778376 140737393993984 18446744073709551615 212051471257 0 4 0 16800975 18446604462970121216 0 0 -1 5 0 0 0
[pid=432/tid=441] ppid=430 vsize=15685764 CPUtime=3.44 cores=1,3,5,7
/proc/432/task/441/stat : 441 (java) S 430 432 32139 0 -1 4202560 349741 0 0 0 290 54 0 0 15 0 20 0 510724393 16062222336 3815780 33554432000 1073741824 1073778376 140737393993984 18446744073709551615 212051471257 0 4 0 16800975 18446604462970121216 0 0 -1 7 0 0 0
[pid=432/tid=442] ppid=430 vsize=15685764 CPUtime=3.8 cores=1,3,5,7
/proc/432/task/442/stat : 442 (java) S 430 432 32139 0 -1 4202560 463267 0 0 0 302 78 0 0 16 0 20 0 510724393 16062222336 3815780 33554432000 1073741824 1073778376 140737393993984 18446744073709551615 212051471257 0 4 0 16800975 18446604462970121216 0 0 -1 3 0 0 0
[pid=432/tid=443] ppid=430 vsize=15685764 CPUtime=2.88 cores=1,3,5,7
/proc/432/task/443/stat : 443 (java) S 430 432 32139 0 -1 4202560 254437 0 0 0 248 40 0 0 16 0 20 0 510724394 16062222336 3815780 33554432000 1073741824 1073778376 140737393993984 18446744073709551615 212051471257 0 4 0 16800975 18446604462970121216 0 0 -1 3 0 0 0
[pid=432/tid=444] ppid=430 vsize=15685764 CPUtime=3.22 cores=1,3,5,7
/proc/432/task/444/stat : 444 (java) S 430 432 32139 0 -1 4202560 353845 0 0 0 261 61 0 0 16 0 20 0 510724394 16062222336 3815780 33554432000 1073741824 1073778376 140737393993984 18446744073709551615 212051471257 0 4 0 16800975 18446604462970121216 0 0 -1 7 0 0 0
[pid=432/tid=445] ppid=430 vsize=15685764 CPUtime=3.3 cores=1,3,5,7
/proc/432/task/445/stat : 445 (java) S 430 432 32139 0 -1 4202560 423946 0 0 0 263 67 0 0 16 0 20 0 510724394 16062222336 3815780 33554432000 1073741824 1073778376 140737393993984 18446744073709551615 212051471257 0 4 0 16800975 18446604462970121216 0 0 -1 7 0 0 0
[pid=432/tid=446] ppid=430 vsize=15685764 CPUtime=3.06 cores=1,3,5,7
/proc/432/task/446/stat : 446 (java) S 430 432 32139 0 -1 4202560 386588 0 0 0 244 62 0 0 15 0 20 0 510724394 16062222336 3815780 33554432000 1073741824 1073778376 140737393993984 18446744073709551615 212051471257 0 4 0 16800975 18446604462970121216 0 0 -1 3 0 0 0
[pid=432/tid=447] ppid=430 vsize=15685764 CPUtime=3.64 cores=1,3,5,7
/proc/432/task/447/stat : 447 (java) S 430 432 32139 0 -1 4202560 456304 0 0 0 291 73 0 0 15 0 20 0 510724394 16062222336 3815780 33554432000 1073741824 1073778376 140737393993984 18446744073709551615 212051471257 0 4 0 16800975 18446604462970121216 0 0 -1 3 0 0 0
[pid=432/tid=448] ppid=430 vsize=15685764 CPUtime=1049.85 cores=1,3,5,7
/proc/432/task/448/stat : 448 (java) R 430 432 32139 0 -1 4202560 469894 0 0 0 104865 120 0 0 25 0 20 0 510724395 16062222336 3815780 33554432000 1073741824 1073778376 140737393993984 18446744073709551615 47097209736335 0 0 0 16800975 0 0 0 -1 1 0 0 0
[pid=432/tid=449] ppid=430 vsize=15685764 CPUtime=0 cores=1,3,5,7
/proc/432/task/449/stat : 449 (java) S 430 432 32139 0 -1 4202560 23 0 0 0 0 0 0 0 15 0 20 0 510724395 16062222336 3815780 33554432000 1073741824 1073778376 140737393993984 18446744073709551615 212051471257 0 4 0 16800975 18446604462970121216 0 0 -1 3 0 0 0
[pid=432/tid=450] ppid=430 vsize=15685764 CPUtime=0 cores=1,3,5,7
/proc/432/task/450/stat : 450 (java) S 430 432 32139 0 -1 4202560 11 0 0 0 0 0 0 0 15 0 20 0 510724395 16062222336 3815780 33554432000 1073741824 1073778376 140737393993984 18446744073709551615 212051471257 0 4 0 16800975 18446604462970121216 0 0 -1 5 0 0 0
[pid=432/tid=451] ppid=430 vsize=15685764 CPUtime=0 cores=1,3,5,7
/proc/432/task/451/stat : 451 (java) S 430 432 32139 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 20 0 510724397 16062222336 3815780 33554432000 1073741824 1073778376 140737393993984 18446744073709551615 212051478961 0 4 0 16800975 18446604462970121216 0 0 -1 1 0 0 0
[pid=432/tid=452] ppid=430 vsize=15685764 CPUtime=1.48 cores=1,3,5,7
/proc/432/task/452/stat : 452 (java) S 430 432 32139 0 -1 4202560 10806 0 0 0 147 1 0 0 15 0 20 0 510724397 16062222336 3815780 33554432000 1073741824 1073778376 140737393993984 18446744073709551615 212051471257 0 4 0 16800975 18446604462970121216 0 0 -1 1 0 0 0
[pid=432/tid=453] ppid=430 vsize=15685764 CPUtime=0.57 cores=1,3,5,7
/proc/432/task/453/stat : 453 (java) S 430 432 32139 0 -1 4202560 1856 0 0 0 57 0 0 0 15 0 20 0 510724397 16062222336 3815780 33554432000 1073741824 1073778376 140737393993984 18446744073709551615 212051471257 0 4 0 16800975 18446604462970121216 0 0 -1 5 0 0 0
[pid=432/tid=454] ppid=430 vsize=15685764 CPUtime=0 cores=1,3,5,7
/proc/432/task/454/stat : 454 (java) S 430 432 32139 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 20 0 510724397 16062222336 3815780 33554432000 1073741824 1073778376 140737393993984 18446744073709551615 212051471257 0 4 0 16800975 18446604462970121216 0 0 -1 1 0 0 0
[pid=432/tid=455] ppid=430 vsize=15685764 CPUtime=0 cores=1,3,5,7
/proc/432/task/455/stat : 455 (java) S 430 432 32139 0 -1 4202560 63 0 0 0 0 0 0 0 15 0 20 0 510724397 16062222336 3815780 33554432000 1073741824 1073778376 140737393993984 18446744073709551615 212051471872 0 4 0 16800975 18446604462970121216 0 0 -1 1 0 0 0
[pid=432/tid=472] ppid=430 vsize=15685764 CPUtime=122.77 cores=1,3,5,7
/proc/432/task/472/stat : 472 (java) S 430 432 32139 0 -1 4202560 88514 0 0 0 12259 18 0 0 15 0 20 0 510724469 16062222336 3815780 33554432000 1073741824 1073778376 140737393993984 18446744073709551615 212051471872 0 4 0 16800975 18446604462970121216 0 0 -1 5 0 0 0
[pid=432/tid=473] ppid=430 vsize=15685764 CPUtime=123.22 cores=1,3,5,7
/proc/432/task/473/stat : 473 (java) S 430 432 32139 0 -1 4202560 91614 0 0 0 12300 22 0 0 15 0 20 0 510724469 16062222336 3815780 33554432000 1073741824 1073778376 140737393993984 18446744073709551615 212051471257 0 4 0 16800975 18446604462970121216 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1561.88
Current children cumulated vsize (KiB) 15685764

[startup+1242.3 s]
/proc/loadavg: 3.27 4.67 5.64 2/191 529
/proc/meminfo: memFree=15680860/32951124 swapFree=67106388/67111528
[pid=432] ppid=430 vsize=15685764 CPUtime=1621.88 cores=1,3,5,7
/proc/432/stat : 432 (java) S 430 432 32139 0 -1 4202496 3919402 0 1 0 161485 703 0 0 22 0 20 0 510724393 16062222336 3815780 33554432000 1073741824 1073778376 140737393993984 18446744073709551615 212051458021 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/432/statm: 3921441 3815780 2295 9 0 3912160 0
[pid=432/tid=438] ppid=430 vsize=15685764 CPUtime=1.89 cores=1,3,5,7
/proc/432/task/438/stat : 438 (java) S 430 432 32139 0 -1 4202560 35671 0 1 0 185 4 0 0 19 0 20 0 510724393 16062222336 3815780 33554432000 1073741824 1073778376 140737393993984 18446744073709551615 212051471257 0 4 0 16800975 18446604462970121216 0 0 -1 1 0 0 0
[pid=432/tid=440] ppid=430 vsize=15685764 CPUtime=3.1 cores=1,3,5,7
/proc/432/task/440/stat : 440 (java) S 430 432 32139 0 -1 4202560 374004 0 0 0 249 61 0 0 16 0 20 0 510724393 16062222336 3815780 33554432000 1073741824 1073778376 140737393993984 18446744073709551615 212051471257 0 4 0 16800975 18446604462970121216 0 0 -1 5 0 0 0
[pid=432/tid=441] ppid=430 vsize=15685764 CPUtime=3.44 cores=1,3,5,7
/proc/432/task/441/stat : 441 (java) S 430 432 32139 0 -1 4202560 349741 0 0 0 290 54 0 0 15 0 20 0 510724393 16062222336 3815780 33554432000 1073741824 1073778376 140737393993984 18446744073709551615 212051471257 0 4 0 16800975 18446604462970121216 0 0 -1 7 0 0 0
[pid=432/tid=442] ppid=430 vsize=15685764 CPUtime=3.8 cores=1,3,5,7
/proc/432/task/442/stat : 442 (java) S 430 432 32139 0 -1 4202560 463267 0 0 0 302 78 0 0 16 0 20 0 510724393 16062222336 3815780 33554432000 1073741824 1073778376 140737393993984 18446744073709551615 212051471257 0 4 0 16800975 18446604462970121216 0 0 -1 3 0 0 0
[pid=432/tid=443] ppid=430 vsize=15685764 CPUtime=2.88 cores=1,3,5,7
/proc/432/task/443/stat : 443 (java) S 430 432 32139 0 -1 4202560 254437 0 0 0 248 40 0 0 16 0 20 0 510724394 16062222336 3815780 33554432000 1073741824 1073778376 140737393993984 18446744073709551615 212051471257 0 4 0 16800975 18446604462970121216 0 0 -1 3 0 0 0
[pid=432/tid=444] ppid=430 vsize=15685764 CPUtime=3.22 cores=1,3,5,7
/proc/432/task/444/stat : 444 (java) S 430 432 32139 0 -1 4202560 353845 0 0 0 261 61 0 0 16 0 20 0 510724394 16062222336 3815780 33554432000 1073741824 1073778376 140737393993984 18446744073709551615 212051471257 0 4 0 16800975 18446604462970121216 0 0 -1 7 0 0 0
[pid=432/tid=445] ppid=430 vsize=15685764 CPUtime=3.3 cores=1,3,5,7
/proc/432/task/445/stat : 445 (java) S 430 432 32139 0 -1 4202560 423946 0 0 0 263 67 0 0 16 0 20 0 510724394 16062222336 3815780 33554432000 1073741824 1073778376 140737393993984 18446744073709551615 212051471257 0 4 0 16800975 18446604462970121216 0 0 -1 7 0 0 0
[pid=432/tid=446] ppid=430 vsize=15685764 CPUtime=3.06 cores=1,3,5,7
/proc/432/task/446/stat : 446 (java) S 430 432 32139 0 -1 4202560 386588 0 0 0 244 62 0 0 15 0 20 0 510724394 16062222336 3815780 33554432000 1073741824 1073778376 140737393993984 18446744073709551615 212051471257 0 4 0 16800975 18446604462970121216 0 0 -1 3 0 0 0
[pid=432/tid=447] ppid=430 vsize=15685764 CPUtime=3.64 cores=1,3,5,7
/proc/432/task/447/stat : 447 (java) S 430 432 32139 0 -1 4202560 456304 0 0 0 291 73 0 0 15 0 20 0 510724394 16062222336 3815780 33554432000 1073741824 1073778376 140737393993984 18446744073709551615 212051471257 0 4 0 16800975 18446604462970121216 0 0 -1 3 0 0 0
[pid=432/tid=448] ppid=430 vsize=15685764 CPUtime=1109.8 cores=1,3,5,7
/proc/432/task/448/stat : 448 (java) R 430 432 32139 0 -1 4202560 469898 0 0 0 110854 126 0 0 25 0 20 0 510724395 16062222336 3815780 33554432000 1073741824 1073778376 140737393993984 18446744073709551615 47097207771546 0 0 0 16800975 0 0 0 -1 1 0 0 0
[pid=432/tid=449] ppid=430 vsize=15685764 CPUtime=0 cores=1,3,5,7
/proc/432/task/449/stat : 449 (java) S 430 432 32139 0 -1 4202560 23 0 0 0 0 0 0 0 15 0 20 0 510724395 16062222336 3815780 33554432000 1073741824 1073778376 140737393993984 18446744073709551615 212051471257 0 4 0 16800975 18446604462970121216 0 0 -1 3 0 0 0
[pid=432/tid=450] ppid=430 vsize=15685764 CPUtime=0 cores=1,3,5,7
/proc/432/task/450/stat : 450 (java) S 430 432 32139 0 -1 4202560 11 0 0 0 0 0 0 0 15 0 20 0 510724395 16062222336 3815780 33554432000 1073741824 1073778376 140737393993984 18446744073709551615 212051471257 0 4 0 16800975 18446604462970121216 0 0 -1 5 0 0 0
[pid=432/tid=451] ppid=430 vsize=15685764 CPUtime=0 cores=1,3,5,7
/proc/432/task/451/stat : 451 (java) S 430 432 32139 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 20 0 510724397 16062222336 3815780 33554432000 1073741824 1073778376 140737393993984 18446744073709551615 212051478961 0 4 0 16800975 18446604462970121216 0 0 -1 1 0 0 0
[pid=432/tid=452] ppid=430 vsize=15685764 CPUtime=1.48 cores=1,3,5,7
/proc/432/task/452/stat : 452 (java) S 430 432 32139 0 -1 4202560 10806 0 0 0 147 1 0 0 15 0 20 0 510724397 16062222336 3815780 33554432000 1073741824 1073778376 140737393993984 18446744073709551615 212051471257 0 4 0 16800975 18446604462970121216 0 0 -1 1 0 0 0
[pid=432/tid=453] ppid=430 vsize=15685764 CPUtime=0.57 cores=1,3,5,7
/proc/432/task/453/stat : 453 (java) S 430 432 32139 0 -1 4202560 1856 0 0 0 57 0 0 0 15 0 20 0 510724397 16062222336 3815780 33554432000 1073741824 1073778376 140737393993984 18446744073709551615 212051471257 0 4 0 16800975 18446604462970121216 0 0 -1 5 0 0 0
[pid=432/tid=454] ppid=430 vsize=15685764 CPUtime=0 cores=1,3,5,7
/proc/432/task/454/stat : 454 (java) S 430 432 32139 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 20 0 510724397 16062222336 3815780 33554432000 1073741824 1073778376 140737393993984 18446744073709551615 212051471257 0 4 0 16800975 18446604462970121216 0 0 -1 1 0 0 0
[pid=432/tid=455] ppid=430 vsize=15685764 CPUtime=0 cores=1,3,5,7
/proc/432/task/455/stat : 455 (java) S 430 432 32139 0 -1 4202560 67 0 0 0 0 0 0 0 15 0 20 0 510724397 16062222336 3815780 33554432000 1073741824 1073778376 140737393993984 18446744073709551615 212051471872 0 4 0 16800975 18446604462970121216 0 0 -1 1 0 0 0
[pid=432/tid=472] ppid=430 vsize=15685764 CPUtime=122.78 cores=1,3,5,7
/proc/432/task/472/stat : 472 (java) S 430 432 32139 0 -1 4202560 88826 0 0 0 12260 18 0 0 15 0 20 0 510724469 16062222336 3815780 33554432000 1073741824 1073778376 140737393993984 18446744073709551615 212051471872 0 4 0 16800975 18446604462970121216 0 0 -1 5 0 0 0
[pid=432/tid=473] ppid=430 vsize=15685764 CPUtime=123.26 cores=1,3,5,7
/proc/432/task/473/stat : 473 (java) S 430 432 32139 0 -1 4202560 92314 0 0 0 12303 23 0 0 15 0 20 0 510724469 16062222336 3815780 33554432000 1073741824 1073778376 140737393993984 18446744073709551615 212051471257 0 4 0 16800975 18446604462970121216 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1621.88
Current children cumulated vsize (KiB) 15685764



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+1300 s]
/proc/loadavg: 1.83 4.00 5.35 2/191 531
/proc/meminfo: memFree=15680880/32951124 swapFree=67106388/67111528
[pid=432] ppid=430 vsize=15685764 CPUtime=1679.6 cores=1,3,5,7
/proc/432/stat : 432 (java) S 430 432 32139 0 -1 4202496 3920383 0 1 0 167247 713 0 0 22 0 20 0 510724393 16062222336 3815780 33554432000 1073741824 1073778376 140737393993984 18446744073709551615 212051458021 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/432/statm: 3921441 3815780 2295 9 0 3912160 0
[pid=432/tid=438] ppid=430 vsize=15685764 CPUtime=1.89 cores=1,3,5,7
/proc/432/task/438/stat : 438 (java) S 430 432 32139 0 -1 4202560 35671 0 1 0 185 4 0 0 19 0 20 0 510724393 16062222336 3815780 33554432000 1073741824 1073778376 140737393993984 18446744073709551615 212051471257 0 4 0 16800975 18446604462970121216 0 0 -1 1 0 0 0
[pid=432/tid=440] ppid=430 vsize=15685764 CPUtime=3.1 cores=1,3,5,7
/proc/432/task/440/stat : 440 (java) S 430 432 32139 0 -1 4202560 374004 0 0 0 249 61 0 0 16 0 20 0 510724393 16062222336 3815780 33554432000 1073741824 1073778376 140737393993984 18446744073709551615 212051471257 0 4 0 16800975 18446604462970121216 0 0 -1 5 0 0 0
[pid=432/tid=441] ppid=430 vsize=15685764 CPUtime=3.44 cores=1,3,5,7
/proc/432/task/441/stat : 441 (java) S 430 432 32139 0 -1 4202560 349741 0 0 0 290 54 0 0 15 0 20 0 510724393 16062222336 3815780 33554432000 1073741824 1073778376 140737393993984 18446744073709551615 212051471257 0 4 0 16800975 18446604462970121216 0 0 -1 7 0 0 0
[pid=432/tid=442] ppid=430 vsize=15685764 CPUtime=3.8 cores=1,3,5,7
/proc/432/task/442/stat : 442 (java) S 430 432 32139 0 -1 4202560 463267 0 0 0 302 78 0 0 16 0 20 0 510724393 16062222336 3815780 33554432000 1073741824 1073778376 140737393993984 18446744073709551615 212051471257 0 4 0 16800975 18446604462970121216 0 0 -1 3 0 0 0
[pid=432/tid=443] ppid=430 vsize=15685764 CPUtime=2.88 cores=1,3,5,7
/proc/432/task/443/stat : 443 (java) S 430 432 32139 0 -1 4202560 254437 0 0 0 248 40 0 0 16 0 20 0 510724394 16062222336 3815780 33554432000 1073741824 1073778376 140737393993984 18446744073709551615 212051471257 0 4 0 16800975 18446604462970121216 0 0 -1 3 0 0 0
[pid=432/tid=444] ppid=430 vsize=15685764 CPUtime=3.22 cores=1,3,5,7
/proc/432/task/444/stat : 444 (java) S 430 432 32139 0 -1 4202560 353845 0 0 0 261 61 0 0 16 0 20 0 510724394 16062222336 3815780 33554432000 1073741824 1073778376 140737393993984 18446744073709551615 212051471257 0 4 0 16800975 18446604462970121216 0 0 -1 7 0 0 0
[pid=432/tid=445] ppid=430 vsize=15685764 CPUtime=3.3 cores=1,3,5,7
/proc/432/task/445/stat : 445 (java) S 430 432 32139 0 -1 4202560 423946 0 0 0 263 67 0 0 16 0 20 0 510724394 16062222336 3815780 33554432000 1073741824 1073778376 140737393993984 18446744073709551615 212051471257 0 4 0 16800975 18446604462970121216 0 0 -1 7 0 0 0
[pid=432/tid=446] ppid=430 vsize=15685764 CPUtime=3.06 cores=1,3,5,7
/proc/432/task/446/stat : 446 (java) S 430 432 32139 0 -1 4202560 386588 0 0 0 244 62 0 0 15 0 20 0 510724394 16062222336 3815780 33554432000 1073741824 1073778376 140737393993984 18446744073709551615 212051471257 0 4 0 16800975 18446604462970121216 0 0 -1 3 0 0 0
[pid=432/tid=447] ppid=430 vsize=15685764 CPUtime=3.64 cores=1,3,5,7
/proc/432/task/447/stat : 447 (java) S 430 432 32139 0 -1 4202560 456304 0 0 0 291 73 0 0 15 0 20 0 510724394 16062222336 3815780 33554432000 1073741824 1073778376 140737393993984 18446744073709551615 212051471257 0 4 0 16800975 18446604462970121216 0 0 -1 3 0 0 0
[pid=432/tid=448] ppid=430 vsize=15685764 CPUtime=1167.44 cores=1,3,5,7
/proc/432/task/448/stat : 448 (java) R 430 432 32139 0 -1 4202560 469903 0 0 0 116611 133 0 0 25 0 20 0 510724395 16062222336 3815780 33554432000 1073741824 1073778376 140737393993984 18446744073709551615 47097206179651 0 0 0 16800975 0 0 0 -1 5 0 0 0
[pid=432/tid=449] ppid=430 vsize=15685764 CPUtime=0 cores=1,3,5,7
/proc/432/task/449/stat : 449 (java) S 430 432 32139 0 -1 4202560 23 0 0 0 0 0 0 0 15 0 20 0 510724395 16062222336 3815780 33554432000 1073741824 1073778376 140737393993984 18446744073709551615 212051471257 0 4 0 16800975 18446604462970121216 0 0 -1 3 0 0 0
[pid=432/tid=450] ppid=430 vsize=15685764 CPUtime=0 cores=1,3,5,7
/proc/432/task/450/stat : 450 (java) S 430 432 32139 0 -1 4202560 11 0 0 0 0 0 0 0 15 0 20 0 510724395 16062222336 3815780 33554432000 1073741824 1073778376 140737393993984 18446744073709551615 212051471257 0 4 0 16800975 18446604462970121216 0 0 -1 5 0 0 0
[pid=432/tid=451] ppid=430 vsize=15685764 CPUtime=0 cores=1,3,5,7
/proc/432/task/451/stat : 451 (java) S 430 432 32139 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 20 0 510724397 16062222336 3815780 33554432000 1073741824 1073778376 140737393993984 18446744073709551615 212051478961 0 4 0 16800975 18446604462970121216 0 0 -1 1 0 0 0
[pid=432/tid=452] ppid=430 vsize=15685764 CPUtime=1.48 cores=1,3,5,7
/proc/432/task/452/stat : 452 (java) S 430 432 32139 0 -1 4202560 10806 0 0 0 147 1 0 0 15 0 20 0 510724397 16062222336 3815780 33554432000 1073741824 1073778376 140737393993984 18446744073709551615 212051471257 0 4 0 16800975 18446604462970121216 0 0 -1 1 0 0 0
[pid=432/tid=453] ppid=430 vsize=15685764 CPUtime=0.57 cores=1,3,5,7
/proc/432/task/453/stat : 453 (java) S 430 432 32139 0 -1 4202560 1856 0 0 0 57 0 0 0 15 0 20 0 510724397 16062222336 3815780 33554432000 1073741824 1073778376 140737393993984 18446744073709551615 212051471257 0 4 0 16800975 18446604462970121216 0 0 -1 5 0 0 0
[pid=432/tid=454] ppid=430 vsize=15685764 CPUtime=0 cores=1,3,5,7
/proc/432/task/454/stat : 454 (java) S 430 432 32139 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 20 0 510724397 16062222336 3815780 33554432000 1073741824 1073778376 140737393993984 18446744073709551615 212051471257 0 4 0 16800975 18446604462970121216 0 0 -1 1 0 0 0
[pid=432/tid=455] ppid=430 vsize=15685764 CPUtime=0 cores=1,3,5,7
/proc/432/task/455/stat : 455 (java) S 430 432 32139 0 -1 4202560 70 0 0 0 0 0 0 0 15 0 20 0 510724397 16062222336 3815780 33554432000 1073741824 1073778376 140737393993984 18446744073709551615 212051471872 0 4 0 16800975 18446604462970121216 0 0 -1 1 0 0 0
[pid=432/tid=472] ppid=430 vsize=15685764 CPUtime=122.81 cores=1,3,5,7
/proc/432/task/472/stat : 472 (java) S 430 432 32139 0 -1 4202560 89114 0 0 0 12262 19 0 0 15 0 20 0 510724469 16062222336 3815780 33554432000 1073741824 1073778376 140737393993984 18446744073709551615 212051471257 0 4 0 16800975 18446604462970121216 0 0 -1 5 0 0 0
[pid=432/tid=473] ppid=430 vsize=15685764 CPUtime=123.31 cores=1,3,5,7
/proc/432/task/473/stat : 473 (java) S 430 432 32139 0 -1 4202560 92999 0 0 0 12306 25 0 0 15 0 20 0 510724469 16062222336 3815780 33554432000 1073741824 1073778376 140737393993984 18446744073709551615 212051471872 0 4 0 16800975 18446604462970121216 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1679.6
Current children cumulated vsize (KiB) 15685764

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

Sending SIGKILL to process tree (bottom up)

Sending SIGKILL to -432

[startup+1302.3 s]
/proc/loadavg: 1.83 4.00 5.35 2/192 532
/proc/meminfo: memFree=15680872/32951124 swapFree=67106388/67111528
[pid=432] ppid=430 vsize=0 CPUtime=1681.9 cores=1,3,5,7
/proc/432/stat : 432 (java) Z 430 432 32139 0 -1 4203548 3920423 0 1 0 167449 741 0 0 18 0 2 0 510724393 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/432/statm: 0 0 0 0 0 0 0
[pid=432/tid=473] ppid=430 vsize=0 CPUtime=123.59 cores=1,3,5,7
/proc/432/task/473/stat : 473 (java) R 430 432 32139 0 -1 4203588 93014 0 0 0 12306 53 0 0 16 0 2 0 510724469 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1681.9
Current children cumulated vsize (KiB) 0

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

[startup+1302.5 s]
/proc/loadavg: 1.83 4.00 5.35 2/192 532
/proc/meminfo: memFree=15680872/32951124 swapFree=67106388/67111528
[pid=432] ppid=430 vsize=0 CPUtime=1682.1 cores=1,3,5,7
/proc/432/stat : 432 (java) Z 430 432 32139 0 -1 4203548 3920423 0 1 0 167449 761 0 0 18 0 2 0 510724393 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/432/statm: 0 0 0 0 0 0 0
[pid=432/tid=473] ppid=430 vsize=0 CPUtime=123.79 cores=1,3,5,7
/proc/432/task/473/stat : 473 (java) R 430 432 32139 0 -1 4203588 93014 0 0 0 12306 73 0 0 16 0 2 0 510724469 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1682.1
Current children cumulated vsize (KiB) 0

Child ended because it received signal 9 (SIGKILL)
Real time (s): 1302.51
CPU time (s): 1682.12
CPU user time (s): 1674.49
CPU system time (s): 7.62784
CPU usage (%): 129.144
Max. virtual memory (cumulated for all children) (KiB): 15685764

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1674.49
system time used= 7.62784
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3920423
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= 92967
involuntary context switches= 33681

runsolver used 2.22866 second user time and 4.92625 second system time

The end

Launcher Data 

Begin job on node146 at 2011-04-30 19:04:41
IDJOB=3312973
IDBENCH=83191
IDSOLVER=1699
FILE ID=node146/3312973-1304183081
RUNJOBID= node146-1304183081-401
PBS_JOBID= 13172433
Free space on /tmp= 73344 MiB

SOLVER NAME= STRUCTure 0.1
BENCH NAME= SAT11/crafted/skvortsov/automata-synchronization/crn_40_1521_s.cnf
COMMAND LINE= run 15000 NBCORE TMPDIR DIR BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3312973-1304183081/watcher-3312973-1304183081 -o /tmp/evaluation-result-3312973-1304183081/solver-3312973-1304183081 -C 4800 -W 1300 -M 15500  run 15000 4 HOME HOME HOME/instance-3312973-1304183081.cnf

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

MD5SUM BENCH= 4e35cb9894b1ca841d462da2d6957cc5
RANDOM SEED=806139934

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      30959140 kB
Buffers:        438532 kB
Cached:        1113636 kB
SwapCached:        732 kB
Active:         140176 kB
Inactive:      1477928 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      30959140 kB
SwapTotal:    67111528 kB
SwapFree:     67106388 kB
Dirty:            6316 kB
Writeback:           0 kB
AnonPages:       65088 kB
Mapped:          20536 kB
Slab:           310432 kB
PageTables:       5116 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   768824 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= 73344 MiB
End job on node146 at 2011-04-30 19:26:24