Trace number 3312362

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) 2316.77 1302.56

General information on the benchmark

Namerandom/large/
unif-k3-r4.2-v30000-c126000-S1854039067-041-UNKNOWN.cnf
MD5SUM30037b76a2fd7877580e038a49317f67
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark560.149
Satisfiable
(Un)Satisfiability was proved
Number of variables30000
Number of clauses126000
Sum of the clauses size378000
Maximum clause length3
Minimum clause length3
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 3126000
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	20:21 INFO : Reading from input HOME/instance-3312362-1304112021.cnf
0.92/0.75	Executor set job limit to 1000000
0.92/0.75	Executor set job limit to 1000000
0.92/0.75	Executor set job limit to 1000000
0.92/0.75	Executor set job limit to 1000000
0.92/0.75	Starting Executor!
0.92/0.75	Starting Executor!
0.92/0.76	Starting Executor!
0.92/0.76	Starting Executor!
4.12/2.31	20:23 INFO : 29886 variables remaining out of 30000
4.12/2.31	20:23 INFO : 501084 literals remaining out of 504000
1173.68/318.74	25:40 ERROR: Failed to solve instance
1173.68/318.74	java.lang.OutOfMemoryError: GC overhead limit exceeded
1173.68/318.74		at gnu.trove.TIntHashSet.rehash(TIntHashSet.java:170)
1173.68/318.74		at gnu.trove.THash.postInsertHook(THash.java:370)
1173.68/318.74		at gnu.trove.TIntHashSet.add(TIntHashSet.java:154)
1173.68/318.74		at ibis.structure.WatchLists.build(WatchLists.java:56)
1173.68/318.74		at ibis.structure.Solver.<init>(Solver.java:45)
1173.68/318.74		at ibis.structure.SolveActivity.initialize(SolveActivity.java:28)
1173.68/318.74		at ibis.constellation.impl.ActivityRecord.runStateMachine(ActivityRecord.java:143)
1173.68/318.74		at ibis.constellation.impl.ActivityRecord.run(ActivityRecord.java:215)
1173.68/318.74		at ibis.constellation.impl.ExecutorWrapper.process(ExecutorWrapper.java:398)
1173.68/318.74		at ibis.constellation.impl.ExecutorWrapper.process(ExecutorWrapper.java:420)
1173.68/318.74		at ibis.constellation.impl.SingleThreadedConstellation.processActivities(SingleThreadedConstellation.java:1023)
1173.68/318.74		at ibis.constellation.impl.ExecutorWrapper.processActivities(ExecutorWrapper.java:515)
1173.68/318.74		at ibis.constellation.Executor.processActivities(Executor.java:75)
1173.68/318.74		at ibis.constellation.SimpleExecutor.run(SimpleExecutor.java:54)
1173.68/318.74		at ibis.constellation.impl.ExecutorWrapper.runExecutor(ExecutorWrapper.java:521)
1173.68/318.74		at ibis.constellation.impl.SingleThreadedConstellation.run(SingleThreadedConstellation.java:1070)
1175.91/320.97	25:42 ERROR: Failed to solve instance
1175.91/320.97	java.lang.OutOfMemoryError: GC overhead limit exceeded
1175.91/320.97		at gnu.trove.TIntHash.setUp(TIntHash.java:134)
1175.91/320.97		at gnu.trove.THash.<init>(THash.java:128)
1175.91/320.97		at gnu.trove.THash.<init>(THash.java:97)
1175.91/320.97		at gnu.trove.TPrimitiveHash.<init>(TPrimitiveHash.java:81)
1175.91/320.97		at gnu.trove.TPrimitiveHash.<init>(TPrimitiveHash.java:68)
1175.91/320.97		at gnu.trove.TIntHash.<init>(TIntHash.java:60)
1175.91/320.97		at gnu.trove.TIntHashSet.<init>(TIntHashSet.java:59)
1175.91/320.97		at ibis.structure.WatchLists.build(WatchLists.java:47)
1175.91/320.97		at ibis.structure.Solver.<init>(Solver.java:45)
1175.91/320.97		at ibis.structure.SolveActivity.initialize(SolveActivity.java:28)
1175.91/320.97		at ibis.constellation.impl.ActivityRecord.runStateMachine(ActivityRecord.java:143)
1175.91/320.97		at ibis.constellation.impl.ActivityRecord.run(ActivityRecord.java:215)
1175.91/320.97		at ibis.constellation.impl.ExecutorWrapper.process(ExecutorWrapper.java:398)
1175.91/320.97		at ibis.constellation.impl.ExecutorWrapper.process(ExecutorWrapper.java:420)
1175.91/320.97		at ibis.constellation.impl.SingleThreadedConstellation.processActivities(SingleThreadedConstellation.java:1023)
1175.91/320.97		at ibis.constellation.impl.ExecutorWrapper.processActivities(ExecutorWrapper.java:515)
1175.91/320.97		at ibis.constellation.Executor.processActivities(Executor.java:75)
1175.91/320.97		at ibis.constellation.SimpleExecutor.run(SimpleExecutor.java:54)
1175.91/320.97		at ibis.constellation.impl.ExecutorWrapper.runExecutor(ExecutorWrapper.java:521)
1175.91/320.97		at ibis.constellation.impl.SingleThreadedConstellation.run(SingleThreadedConstellation.java:1070)
1178.33/323.37	25:45 ERROR: Failed to solve instance
1178.33/323.37	java.lang.OutOfMemoryError: GC overhead limit exceeded
1178.33/323.37		at gnu.trove.TIntHash.setUp(TIntHash.java:134)
1178.33/323.37		at gnu.trove.TPrimitiveHash.<init>(TPrimitiveHash.java:83)
1178.33/323.37		at gnu.trove.TPrimitiveHash.<init>(TPrimitiveHash.java:68)
1178.33/323.37		at gnu.trove.TIntHash.<init>(TIntHash.java:60)
1178.33/323.37		at gnu.trove.TIntHashSet.<init>(TIntHashSet.java:59)
1178.33/323.37		at ibis.structure.WatchLists.build(WatchLists.java:47)
1178.33/323.37		at ibis.structure.Solver.<init>(Solver.java:45)
1178.33/323.37		at ibis.structure.SolveActivity.initialize(SolveActivity.java:28)
1178.33/323.37		at ibis.constellation.impl.ActivityRecord.runStateMachine(ActivityRecord.java:143)
1178.33/323.37		at ibis.constellation.impl.ActivityRecord.run(ActivityRecord.java:215)
1178.33/323.37		at ibis.constellation.impl.ExecutorWrapper.process(ExecutorWrapper.java:398)
1178.33/323.37		at ibis.constellation.impl.ExecutorWrapper.process(ExecutorWrapper.java:420)
1178.33/323.37		at ibis.constellation.impl.SingleThreadedConstellation.processActivities(SingleThreadedConstellation.java:1023)
1178.33/323.37		at ibis.constellation.impl.ExecutorWrapper.processActivities(ExecutorWrapper.java:515)
1178.33/323.37		at ibis.constellation.Executor.processActivities(Executor.java:75)
1178.33/323.37		at ibis.constellation.SimpleExecutor.run(SimpleExecutor.java:54)
1178.33/323.37		at ibis.constellation.impl.ExecutorWrapper.runExecutor(ExecutorWrapper.java:521)
1178.33/323.37		at ibis.constellation.impl.SingleThreadedConstellation.run(SingleThreadedConstellation.java:1070)
1181.08/326.05	25:47 ERROR: Failed to solve instance
1181.08/326.05	java.lang.OutOfMemoryError: GC overhead limit exceeded
1181.08/326.05		at gnu.trove.TIntHashSet.rehash(TIntHashSet.java:170)
1181.08/326.05		at gnu.trove.THash.postInsertHook(THash.java:370)
1181.08/326.05		at gnu.trove.TIntHashSet.add(TIntHashSet.java:154)
1181.08/326.05		at ibis.structure.WatchLists.build(WatchLists.java:56)
1181.08/326.05		at ibis.structure.Solver.<init>(Solver.java:45)
1181.08/326.05		at ibis.structure.SolveActivity.initialize(SolveActivity.java:28)
1181.08/326.05		at ibis.constellation.impl.ActivityRecord.runStateMachine(ActivityRecord.java:143)
1181.08/326.05		at ibis.constellation.impl.ActivityRecord.run(ActivityRecord.java:215)
1181.08/326.05		at ibis.constellation.impl.ExecutorWrapper.process(ExecutorWrapper.java:398)
1181.08/326.05		at ibis.constellation.impl.ExecutorWrapper.process(ExecutorWrapper.java:420)
1181.08/326.05		at ibis.constellation.impl.SingleThreadedConstellation.processActivities(SingleThreadedConstellation.java:1023)
1181.08/326.05		at ibis.constellation.impl.ExecutorWrapper.processActivities(ExecutorWrapper.java:515)
1181.08/326.05		at ibis.constellation.Executor.processActivities(Executor.java:75)
1181.08/326.05		at ibis.constellation.SimpleExecutor.run(SimpleExecutor.java:54)
1181.08/326.05		at ibis.constellation.impl.ExecutorWrapper.runExecutor(ExecutorWrapper.java:521)
1181.08/326.05		at ibis.constellation.impl.SingleThreadedConstellation.run(SingleThreadedConstellation.java:1070)
1187.99/332.05	25:53 ERROR: Failed to solve instance
1187.99/332.05	java.lang.OutOfMemoryError: GC overhead limit exceeded
1188.91/332.93	25:54 ERROR: Failed to solve instance
1188.91/332.93	java.lang.OutOfMemoryError: GC overhead limit exceeded
1189.42/333.42	25:55 ERROR: Failed to solve instance
1189.42/333.42	java.lang.OutOfMemoryError: GC overhead limit exceeded
1189.93/333.94	25:55 ERROR: Failed to solve instance
1189.93/333.94	java.lang.OutOfMemoryError: GC overhead limit exceeded
1190.45/334.49	25:56 ERROR: Failed to solve instance
1190.45/334.49	java.lang.OutOfMemoryError: GC overhead limit exceeded
1195.39/338.47	26:00 ERROR: Failed to solve instance
1195.39/338.47	java.lang.OutOfMemoryError: GC overhead limit exceeded
1196.31/339.37	26:00 ERROR: Failed to solve instance
1196.31/339.37	java.lang.OutOfMemoryError: GC overhead limit exceeded
1196.83/339.91	26:01 ERROR: Failed to solve instance
1196.83/339.91	java.lang.OutOfMemoryError: GC overhead limit exceeded
1202.28/344.39	26:06 ERROR: Failed to solve instance
1202.28/344.39	java.lang.OutOfMemoryError: GC overhead limit exceeded
1202.79/344.84	26:06 ERROR: Failed to solve instance
1202.79/344.84	java.lang.OutOfMemoryError: GC overhead limit exceeded
1203.31/345.37	26:07 ERROR: Failed to solve instance
1203.31/345.37	java.lang.OutOfMemoryError: GC overhead limit exceeded
1207.81/349.23	26:10 ERROR: Failed to solve instance
1207.81/349.23	java.lang.OutOfMemoryError: GC overhead limit exceeded
1210.01/351.44	26:13 ERROR: Failed to solve instance
1210.01/351.44	java.lang.OutOfMemoryError: GC overhead limit exceeded
1212.22/353.63	26:15 ERROR: Failed to solve instance
1212.22/353.63	java.lang.OutOfMemoryError: GC overhead limit exceeded
1216.11/356.99	26:18 ERROR: Failed to solve instance
1216.11/356.99	java.lang.OutOfMemoryError: GC overhead limit exceeded
1218.82/359.61	26:21 ERROR: Failed to solve instance
1218.82/359.61	java.lang.OutOfMemoryError: GC overhead limit exceeded
1219.23/360.06	26:21 ERROR: Failed to solve instance
1219.23/360.06	java.lang.OutOfMemoryError: GC overhead limit exceeded
1219.74/360.52	26:22 ERROR: Failed to solve instance
1219.74/360.52	java.lang.OutOfMemoryError: GC overhead limit exceeded
1220.26/361.01	26:22 ERROR: Failed to solve instance
1220.26/361.01	java.lang.OutOfMemoryError: GC overhead limit exceeded
1228.51/367.73	26:29 ERROR: Failed to solve instance
1228.51/367.73	java.lang.OutOfMemoryError: GC overhead limit exceeded
1229.42/368.61	26:30 ERROR: Failed to solve instance
1229.42/368.61	java.lang.OutOfMemoryError: GC overhead limit exceeded
1229.83/369.08	26:30 ERROR: Failed to solve instance
1229.83/369.08	java.lang.OutOfMemoryError: GC overhead limit exceeded
1230.36/369.58	26:31 ERROR: Failed to solve instance
1230.36/369.58	java.lang.OutOfMemoryError: GC overhead limit exceeded
1230.88/370.09	26:31 ERROR: Failed to solve instance
1230.88/370.09	java.lang.OutOfMemoryError: GC overhead limit exceeded
1238.02/376.06	26:37 ERROR: Failed to solve instance
1238.02/376.06	java.lang.OutOfMemoryError: GC overhead limit exceeded
1238.43/376.46	26:38 ERROR: Failed to solve instance
1238.43/376.46	java.lang.OutOfMemoryError: GC overhead limit exceeded
1238.84/376.87	26:38 ERROR: Failed to solve instance
1238.84/376.87	java.lang.OutOfMemoryError: GC overhead limit exceeded
1239.76/377.75	26:39 ERROR: Failed to solve instance
1239.76/377.75	java.lang.OutOfMemoryError: GC overhead limit exceeded
1240.28/378.24	26:39 ERROR: Failed to solve instance
1240.28/378.24	java.lang.OutOfMemoryError: GC overhead limit exceeded
1240.80/378.76	26:40 ERROR: Failed to solve instance
1240.80/378.76	java.lang.OutOfMemoryError: GC overhead limit exceeded
1241.44/379.32	26:40 ERROR: Failed to solve instance
1241.44/379.32	java.lang.OutOfMemoryError: GC overhead limit exceeded
1245.43/382.74	26:44 ERROR: Failed to solve instance
1245.43/382.74	java.lang.OutOfMemoryError: GC overhead limit exceeded
1245.84/383.17	26:44 ERROR: Failed to solve instance
1245.84/383.17	java.lang.OutOfMemoryError: GC overhead limit exceeded
1249.76/386.57	26:48 ERROR: Failed to solve instance
1249.76/386.57	java.lang.OutOfMemoryError: GC overhead limit exceeded
1250.28/387.04	26:48 ERROR: Failed to solve instance
1250.28/387.04	java.lang.OutOfMemoryError: GC overhead limit exceeded
1250.80/387.58	26:49 ERROR: Failed to solve instance
1250.80/387.58	java.lang.OutOfMemoryError: GC overhead limit exceeded
1255.86/391.66	26:53 ERROR: Failed to solve instance
1255.86/391.66	java.lang.OutOfMemoryError: GC overhead limit exceeded
1256.38/392.13	26:53 ERROR: Failed to solve instance
1256.38/392.13	java.lang.OutOfMemoryError: GC overhead limit exceeded
1257.20/392.97	26:54 ERROR: Failed to solve instance
1257.20/392.97	java.lang.OutOfMemoryError: GC overhead limit exceeded
1257.90/393.50	26:55 ERROR: Failed to solve instance
1257.90/393.50	java.lang.OutOfMemoryError: GC overhead limit exceeded
1261.82/396.92	26:58 ERROR: Failed to solve instance
1261.82/396.92	java.lang.OutOfMemoryError: GC overhead limit exceeded
1262.23/397.33	26:58 ERROR: Failed to solve instance
1262.23/397.33	java.lang.OutOfMemoryError: GC overhead limit exceeded
1265.82/400.43	27:02 ERROR: Failed to solve instance
1265.82/400.43	java.lang.OutOfMemoryError: GC overhead limit exceeded
1268.18/402.57	27:04 ERROR: Failed to solve instance
1268.18/402.57	java.lang.OutOfMemoryError: GC overhead limit exceeded
1274.32/407.76	27:09 ERROR: Failed to solve instance
1274.32/407.76	java.lang.OutOfMemoryError: GC overhead limit exceeded
1274.73/408.19	27:09 ERROR: Failed to solve instance
1274.73/408.19	java.lang.OutOfMemoryError: GC overhead limit exceeded
1275.24/408.65	27:10 ERROR: Failed to solve instance
1275.24/408.65	java.lang.OutOfMemoryError: GC overhead limit exceeded
1280.37/412.83	27:14 ERROR: Failed to solve instance
1280.37/412.83	java.lang.OutOfMemoryError: GC overhead limit exceeded
1281.18/413.63	27:15 ERROR: Failed to solve instance
1281.18/413.63	java.lang.OutOfMemoryError: GC overhead limit exceeded
1281.48/413.98	27:15 ERROR: Failed to solve instance
1281.48/413.98	java.lang.OutOfMemoryError: GC overhead limit exceeded
1287.60/419.18	27:20 ERROR: Failed to solve instance
1287.60/419.18	java.lang.OutOfMemoryError: GC overhead limit exceeded
1288.00/419.55	27:21 ERROR: Failed to solve instance
1288.00/419.55	java.lang.OutOfMemoryError: GC overhead limit exceeded
1288.41/419.92	27:21 ERROR: Failed to solve instance
1288.41/419.92	java.lang.OutOfMemoryError: GC overhead limit exceeded
1288.82/420.33	27:21 ERROR: Failed to solve instance
1288.82/420.33	java.lang.OutOfMemoryError: GC overhead limit exceeded
1289.65/421.14	27:22 ERROR: Failed to solve instance
1289.65/421.14	java.lang.OutOfMemoryError: GC overhead limit exceeded
1290.07/421.61	27:23 ERROR: Failed to solve instance
1290.07/421.61	java.lang.OutOfMemoryError: GC overhead limit exceeded
1293.60/424.54	27:26 ERROR: Failed to solve instance
1293.60/424.54	java.lang.OutOfMemoryError: GC overhead limit exceeded
1294.03/424.98	27:26 ERROR: Failed to solve instance
1294.03/424.98	java.lang.OutOfMemoryError: GC overhead limit exceeded
1294.55/425.46	27:27 ERROR: Failed to solve instance
1294.55/425.46	java.lang.OutOfMemoryError: GC overhead limit exceeded
1299.50/429.42	27:31 ERROR: Failed to solve instance
1299.50/429.42	java.lang.OutOfMemoryError: GC overhead limit exceeded
1302.53/432.07	27:33 ERROR: Failed to solve instance
1302.53/432.07	java.lang.OutOfMemoryError: GC overhead limit exceeded
1302.94/432.49	27:34 ERROR: Failed to solve instance
1302.94/432.49	java.lang.OutOfMemoryError: GC overhead limit exceeded
1303.46/432.94	27:34 ERROR: Failed to solve instance
1303.46/432.94	java.lang.OutOfMemoryError: GC overhead limit exceeded
1305.68/434.95	27:36 ERROR: Failed to solve instance
1305.68/434.95	java.lang.OutOfMemoryError: GC overhead limit exceeded
1310.94/439.25	27:40 ERROR: Failed to solve instance
1310.94/439.25	java.lang.OutOfMemoryError: GC overhead limit exceeded
1311.35/439.69	27:41 ERROR: Failed to solve instance
1311.35/439.69	java.lang.OutOfMemoryError: GC overhead limit exceeded
1311.87/440.20	27:41 ERROR: Failed to solve instance
1311.87/440.20	java.lang.OutOfMemoryError: GC overhead limit exceeded
1316.33/443.95	27:45 ERROR: Failed to solve instance
1316.33/443.95	java.lang.OutOfMemoryError: GC overhead limit exceeded
1316.75/444.38	27:46 ERROR: Failed to solve instance
1316.75/444.38	java.lang.OutOfMemoryError: GC overhead limit exceeded
1317.26/444.84	27:46 ERROR: Failed to solve instance
1317.26/444.84	java.lang.OutOfMemoryError: GC overhead limit exceeded
1320.51/447.56	27:49 ERROR: Failed to solve instance
1320.51/447.56	java.lang.OutOfMemoryError: GC overhead limit exceeded
1320.92/448.00	27:49 ERROR: Failed to solve instance
1320.92/448.00	java.lang.OutOfMemoryError: GC overhead limit exceeded
1321.84/448.85	27:50 ERROR: Failed to solve instance
1321.84/448.85	java.lang.OutOfMemoryError: GC overhead limit exceeded
1322.37/449.32	27:50 ERROR: Failed to solve instance
1322.37/449.32	java.lang.OutOfMemoryError: GC overhead limit exceeded
1322.89/449.81	27:51 ERROR: Failed to solve instance
1322.89/449.81	java.lang.OutOfMemoryError: GC overhead limit exceeded
1323.44/450.34	27:51 ERROR: Failed to solve instance
1323.44/450.34	java.lang.OutOfMemoryError: GC overhead limit exceeded
1332.75/457.71	27:59 ERROR: Failed to solve instance
1332.75/457.71	java.lang.OutOfMemoryError: GC overhead limit exceeded
1333.35/458.33	27:59 ERROR: Failed to solve instance
1333.35/458.33	java.lang.OutOfMemoryError: GC overhead limit exceeded
1333.86/458.81	28:00 ERROR: Failed to solve instance
1333.86/458.81	java.lang.OutOfMemoryError: GC overhead limit exceeded
1338.96/463.28	28:04 ERROR: Failed to solve instance
1338.96/463.28	java.lang.OutOfMemoryError: GC overhead limit exceeded
1339.87/464.14	28:05 ERROR: Failed to solve instance
1339.87/464.14	java.lang.OutOfMemoryError: GC overhead limit exceeded
1340.29/464.59	28:06 ERROR: Failed to solve instance
1340.29/464.59	java.lang.OutOfMemoryError: GC overhead limit exceeded
1340.80/465.06	28:06 ERROR: Failed to solve instance
1340.80/465.06	java.lang.OutOfMemoryError: GC overhead limit exceeded
1341.21/465.45	28:07 ERROR: Failed to solve instance
1341.21/465.45	java.lang.OutOfMemoryError: GC overhead limit exceeded
1344.93/468.66	28:10 ERROR: Failed to solve instance
1344.93/468.66	java.lang.OutOfMemoryError: GC overhead limit exceeded
1345.74/469.47	28:11 ERROR: Failed to solve instance
1345.74/469.47	java.lang.OutOfMemoryError: GC overhead limit exceeded
1346.25/469.91	28:11 ERROR: Failed to solve instance
1346.25/469.91	java.lang.OutOfMemoryError: GC overhead limit exceeded
1346.66/470.36	28:11 ERROR: Failed to solve instance
1346.66/470.36	java.lang.OutOfMemoryError: GC overhead limit exceeded
1347.17/470.84	28:12 ERROR: Failed to solve instance
1347.17/470.84	java.lang.OutOfMemoryError: GC overhead limit exceeded
1352.98/475.68	28:17 ERROR: Failed to solve instance
1352.98/475.68	java.lang.OutOfMemoryError: GC overhead limit exceeded
1353.50/476.13	28:17 ERROR: Failed to solve instance
1353.50/476.13	java.lang.OutOfMemoryError: GC overhead limit exceeded
1354.03/476.66	28:18 ERROR: Failed to solve instance
1354.03/476.66	java.lang.OutOfMemoryError: GC overhead limit exceeded
1361.30/482.45	28:24 ERROR: Failed to solve instance
1361.30/482.45	java.lang.OutOfMemoryError: GC overhead limit exceeded
1361.70/482.87	28:24 ERROR: Failed to solve instance
1361.70/482.87	java.lang.OutOfMemoryError: GC overhead limit exceeded
1362.62/483.77	28:25 ERROR: Failed to solve instance
1362.62/483.77	java.lang.OutOfMemoryError: GC overhead limit exceeded
1363.14/484.24	28:25 ERROR: Failed to solve instance
1363.14/484.24	java.lang.OutOfMemoryError: GC overhead limit exceeded
1363.65/484.74	28:26 ERROR: Failed to solve instance
1363.65/484.74	java.lang.OutOfMemoryError: GC overhead limit exceeded
1364.17/485.27	28:26 ERROR: Failed to solve instance
1364.17/485.27	java.lang.OutOfMemoryError: GC overhead limit exceeded
1370.05/490.11	28:31 ERROR: Failed to solve instance
1370.05/490.11	java.lang.OutOfMemoryError: GC overhead limit exceeded
1370.25/490.33	28:31 ERROR: Failed to solve instance
1370.25/490.33	java.lang.OutOfMemoryError: GC overhead limit exceeded
1373.69/493.26	28:34 ERROR: Failed to solve instance
1373.69/493.26	java.lang.OutOfMemoryError: GC overhead limit exceeded
1374.10/493.68	28:35 ERROR: Failed to solve instance
1374.10/493.68	java.lang.OutOfMemoryError: GC overhead limit exceeded
1375.02/494.54	28:36 ERROR: Failed to solve instance
1375.02/494.54	java.lang.OutOfMemoryError: GC overhead limit exceeded
1375.43/494.98	28:36 ERROR: Failed to solve instance
1375.43/494.98	java.lang.OutOfMemoryError: GC overhead limit exceeded
1375.96/495.44	28:37 ERROR: Failed to solve instance
1375.96/495.44	java.lang.OutOfMemoryError: GC overhead limit exceeded
1376.48/495.94	28:37 ERROR: Failed to solve instance
1376.48/495.94	java.lang.OutOfMemoryError: GC overhead limit exceeded
1383.65/501.73	28:43 ERROR: Failed to solve instance
1383.65/501.73	java.lang.OutOfMemoryError: GC overhead limit exceeded
1384.06/502.16	28:43 ERROR: Failed to solve instance
1384.06/502.16	java.lang.OutOfMemoryError: GC overhead limit exceeded
1384.57/502.62	28:44 ERROR: Failed to solve instance
1384.57/502.62	java.lang.OutOfMemoryError: GC overhead limit exceeded
1387.87/505.40	28:47 ERROR: Failed to solve instance
1387.87/505.40	java.lang.OutOfMemoryError: GC overhead limit exceeded
1388.32/505.88	28:47 ERROR: Failed to solve instance
1388.32/505.88	java.lang.OutOfMemoryError: GC overhead limit exceeded
1391.58/508.61	28:50 ERROR: Failed to solve instance
1391.58/508.61	java.lang.OutOfMemoryError: GC overhead limit exceeded
1394.34/510.99	28:52 ERROR: Failed to solve instance
1394.34/510.99	java.lang.OutOfMemoryError: GC overhead limit exceeded
1397.47/513.65	28:55 ERROR: Failed to solve instance
1397.47/513.65	java.lang.OutOfMemoryError: GC overhead limit exceeded
1397.89/514.08	28:55 ERROR: Failed to solve instance
1397.89/514.08	java.lang.OutOfMemoryError: GC overhead limit exceeded
1398.40/514.54	28:56 ERROR: Failed to solve instance
1398.40/514.54	java.lang.OutOfMemoryError: GC overhead limit exceeded
1399.34/515.48	28:57 ERROR: Failed to solve instance
1399.34/515.48	java.lang.OutOfMemoryError: GC overhead limit exceeded
1399.85/515.97	28:57 ERROR: Failed to solve instance
1399.85/515.97	java.lang.OutOfMemoryError: GC overhead limit exceeded
1405.79/520.50	29:02 ERROR: Failed to solve instance
1405.79/520.50	java.lang.OutOfMemoryError: GC overhead limit exceeded
1406.30/520.96	29:02 ERROR: Failed to solve instance
1406.30/520.96	java.lang.OutOfMemoryError: GC overhead limit exceeded
1407.13/521.80	29:03 ERROR: Failed to solve instance
1407.13/521.80	java.lang.OutOfMemoryError: GC overhead limit exceeded
1407.64/522.25	29:03 ERROR: Failed to solve instance
1407.64/522.25	java.lang.OutOfMemoryError: GC overhead limit exceeded
1408.17/522.73	29:04 ERROR: Failed to solve instance
1408.17/522.73	java.lang.OutOfMemoryError: GC overhead limit exceeded
1411.65/525.67	29:07 ERROR: Failed to solve instance
1411.65/525.67	java.lang.OutOfMemoryError: GC overhead limit exceeded
1412.17/526.12	29:07 ERROR: Failed to solve instance
1412.17/526.12	java.lang.OutOfMemoryError: GC overhead limit exceeded
1412.69/526.61	29:08 ERROR: Failed to solve instance
1412.69/526.61	java.lang.OutOfMemoryError: GC overhead limit exceeded
1416.01/529.49	29:11 ERROR: Failed to solve instance
1416.01/529.49	java.lang.OutOfMemoryError: GC overhead limit exceeded
1417.51/530.88	29:12 ERROR: Failed to solve instance
1417.51/530.88	java.lang.OutOfMemoryError: GC overhead limit exceeded
1418.04/531.35	29:12 ERROR: Failed to solve instance
1418.04/531.35	java.lang.OutOfMemoryError: GC overhead limit exceeded
1418.56/531.86	29:13 ERROR: Failed to solve instance
1418.56/531.86	java.lang.OutOfMemoryError: GC overhead limit exceeded
1426.15/538.08	29:19 ERROR: Failed to solve instance
1426.15/538.08	java.lang.OutOfMemoryError: GC overhead limit exceeded
1426.56/538.49	29:20 ERROR: Failed to solve instance
1426.56/538.49	java.lang.OutOfMemoryError: GC overhead limit exceeded
1428.18/539.83	29:21 ERROR: Failed to solve instance
1428.18/539.83	java.lang.OutOfMemoryError: GC overhead limit exceeded
1430.12/541.59	29:23 ERROR: Failed to solve instance
1430.12/541.59	java.lang.OutOfMemoryError: GC overhead limit exceeded
1431.02/542.40	29:24 ERROR: Failed to solve instance
1431.02/542.40	java.lang.OutOfMemoryError: GC overhead limit exceeded
1431.42/542.83	29:24 ERROR: Failed to solve instance
1431.42/542.83	java.lang.OutOfMemoryError: GC overhead limit exceeded
1431.83/543.29	29:24 ERROR: Failed to solve instance
1431.83/543.29	java.lang.OutOfMemoryError: GC overhead limit exceeded
1432.35/543.78	29:25 ERROR: Failed to solve instance
1432.35/543.78	java.lang.OutOfMemoryError: GC overhead limit exceeded
1438.33/548.68	29:30 ERROR: Failed to solve instance
1438.33/548.68	java.lang.OutOfMemoryError: GC overhead limit exceeded
1438.86/549.14	29:30 ERROR: Failed to solve instance
1438.86/549.14	java.lang.OutOfMemoryError: GC overhead limit exceeded
1439.37/549.67	29:31 ERROR: Failed to solve instance
1439.37/549.67	java.lang.OutOfMemoryError: GC overhead limit exceeded
1447.86/556.65	29:38 ERROR: Failed to solve instance
1447.86/556.65	java.lang.OutOfMemoryError: GC overhead limit exceeded
1448.26/557.05	29:38 ERROR: Failed to solve instance
1448.26/557.05	java.lang.OutOfMemoryError: GC overhead limit exceeded
1448.67/557.46	29:39 ERROR: Failed to solve instance
1448.67/557.46	java.lang.OutOfMemoryError: GC overhead limit exceeded
1449.08/557.86	29:39 ERROR: Failed to solve instance
1449.08/557.86	java.lang.OutOfMemoryError: GC overhead limit exceeded
1450.00/558.72	29:40 ERROR: Failed to solve instance
1450.00/558.72	java.lang.OutOfMemoryError: GC overhead limit exceeded
1450.42/559.15	29:40 ERROR: Failed to solve instance
1450.42/559.15	java.lang.OutOfMemoryError: GC overhead limit exceeded
1450.93/559.63	29:41 ERROR: Failed to solve instance
1450.93/559.63	java.lang.OutOfMemoryError: GC overhead limit exceeded
1454.42/562.57	29:44 ERROR: Failed to solve instance
1454.42/562.57	java.lang.OutOfMemoryError: GC overhead limit exceeded
1455.35/563.41	29:44 ERROR: Failed to solve instance
1455.35/563.41	java.lang.OutOfMemoryError: GC overhead limit exceeded
1455.76/563.87	29:45 ERROR: Failed to solve instance
1455.76/563.87	java.lang.OutOfMemoryError: GC overhead limit exceeded
1456.28/564.36	29:45 ERROR: Failed to solve instance
1456.28/564.36	java.lang.OutOfMemoryError: GC overhead limit exceeded
1464.91/571.46	29:53 ERROR: Failed to solve instance
1464.91/571.46	java.lang.OutOfMemoryError: GC overhead limit exceeded
1465.32/571.89	29:53 ERROR: Failed to solve instance
1465.32/571.89	java.lang.OutOfMemoryError: GC overhead limit exceeded
1465.73/572.26	29:53 ERROR: Failed to solve instance
1465.73/572.26	java.lang.OutOfMemoryError: GC overhead limit exceeded
1466.13/572.66	29:54 ERROR: Failed to solve instance
1466.13/572.66	java.lang.OutOfMemoryError: GC overhead limit exceeded
1468.74/574.95	29:56 ERROR: Failed to solve instance
1468.74/574.95	java.lang.OutOfMemoryError: GC overhead limit exceeded
1469.15/575.39	29:57 ERROR: Failed to solve instance
1469.15/575.39	java.lang.OutOfMemoryError: GC overhead limit exceeded
1470.07/576.26	29:57 ERROR: Failed to solve instance
1470.07/576.26	java.lang.OutOfMemoryError: GC overhead limit exceeded
1470.59/576.74	29:58 ERROR: Failed to solve instance
1470.59/576.74	java.lang.OutOfMemoryError: GC overhead limit exceeded
1479.39/583.90	30:05 ERROR: Failed to solve instance
1479.39/583.90	java.lang.OutOfMemoryError: GC overhead limit exceeded
1479.70/584.30	30:05 ERROR: Failed to solve instance
1479.70/584.30	java.lang.OutOfMemoryError: GC overhead limit exceeded
1481.74/586.08	30:07 ERROR: Failed to solve instance
1481.74/586.08	java.lang.OutOfMemoryError: GC overhead limit exceeded
1482.25/586.51	30:08 ERROR: Failed to solve instance
1482.25/586.51	java.lang.OutOfMemoryError: GC overhead limit exceeded
1483.07/587.39	30:09 ERROR: Failed to solve instance
1483.07/587.39	java.lang.OutOfMemoryError: GC overhead limit exceeded
1483.58/587.86	30:09 ERROR: Failed to solve instance
1483.58/587.86	java.lang.OutOfMemoryError: GC overhead limit exceeded
1484.10/588.38	30:09 ERROR: Failed to solve instance
1484.10/588.38	java.lang.OutOfMemoryError: GC overhead limit exceeded
1492.70/595.48	30:17 ERROR: Failed to solve instance
1492.70/595.48	java.lang.OutOfMemoryError: GC overhead limit exceeded
1495.95/598.35	30:19 ERROR: Failed to solve instance
1495.95/598.35	java.lang.OutOfMemoryError: GC overhead limit exceeded
1496.37/598.74	30:20 ERROR: Failed to solve instance
1496.37/598.74	java.lang.OutOfMemoryError: GC overhead limit exceeded
1496.77/599.16	30:20 ERROR: Failed to solve instance
1496.77/599.16	java.lang.OutOfMemoryError: GC overhead limit exceeded
1498.85/601.03	30:22 ERROR: Failed to solve instance
1498.85/601.03	java.lang.OutOfMemoryError: GC overhead limit exceeded
1499.27/601.47	30:23 ERROR: Failed to solve instance
1499.27/601.47	java.lang.OutOfMemoryError: GC overhead limit exceeded
1499.78/601.93	30:23 ERROR: Failed to solve instance
1499.78/601.93	java.lang.OutOfMemoryError: GC overhead limit exceeded
1506.94/607.73	30:29 ERROR: Failed to solve instance
1506.94/607.73	java.lang.OutOfMemoryError: GC overhead limit exceeded
1507.35/608.14	30:29 ERROR: Failed to solve instance
1507.35/608.14	java.lang.OutOfMemoryError: GC overhead limit exceeded
1507.87/608.60	30:30 ERROR: Failed to solve instance
1507.87/608.60	java.lang.OutOfMemoryError: GC overhead limit exceeded
1508.49/609.27	30:30 ERROR: Failed to solve instance
1508.49/609.27	java.lang.OutOfMemoryError: GC overhead limit exceeded
1511.04/611.40	30:33 ERROR: Failed to solve instance
1511.04/611.40	java.lang.OutOfMemoryError: GC overhead limit exceeded
1512.45/612.80	30:34 ERROR: Failed to solve instance
1512.45/612.80	java.lang.OutOfMemoryError: GC overhead limit exceeded
1512.96/613.25	30:34 ERROR: Failed to solve instance
1512.96/613.25	java.lang.OutOfMemoryError: GC overhead limit exceeded
1513.48/613.75	30:35 ERROR: Failed to solve instance
1513.48/613.75	java.lang.OutOfMemoryError: GC overhead limit exceeded
1521.46/620.20	30:41 ERROR: Failed to solve instance
1521.46/620.20	java.lang.OutOfMemoryError: GC overhead limit exceeded
1521.98/620.66	30:42 ERROR: Failed to solve instance
1521.98/620.66	java.lang.OutOfMemoryError: GC overhead limit exceeded
1522.39/621.06	30:42 ERROR: Failed to solve instance
1522.39/621.06	java.lang.OutOfMemoryError: GC overhead limit exceeded
1525.02/623.43	30:45 ERROR: Failed to solve instance
1525.02/623.43	java.lang.OutOfMemoryError: GC overhead limit exceeded
1525.55/623.92	30:45 ERROR: Failed to solve instance
1525.55/623.92	java.lang.OutOfMemoryError: GC overhead limit exceeded
1525.95/624.34	30:45 ERROR: Failed to solve instance
1525.95/624.34	java.lang.OutOfMemoryError: GC overhead limit exceeded
1533.10/630.16	30:51 ERROR: Failed to solve instance
1533.10/630.16	java.lang.OutOfMemoryError: GC overhead limit exceeded
1533.82/630.81	30:52 ERROR: Failed to solve instance
1533.82/630.81	java.lang.OutOfMemoryError: GC overhead limit exceeded
1534.34/631.36	30:52 ERROR: Failed to solve instance
1534.34/631.36	java.lang.OutOfMemoryError: GC overhead limit exceeded
1534.85/631.88	30:53 ERROR: Failed to solve instance
1534.85/631.88	java.lang.OutOfMemoryError: GC overhead limit exceeded
1538.17/634.62	30:56 ERROR: Failed to solve instance
1538.17/634.62	java.lang.OutOfMemoryError: GC overhead limit exceeded
1538.59/635.07	30:56 ERROR: Failed to solve instance
1538.59/635.07	java.lang.OutOfMemoryError: GC overhead limit exceeded
1539.51/635.93	30:57 ERROR: Failed to solve instance
1539.51/635.93	java.lang.OutOfMemoryError: GC overhead limit exceeded
1539.93/636.41	30:58 ERROR: Failed to solve instance
1539.93/636.41	java.lang.OutOfMemoryError: GC overhead limit exceeded
1548.08/642.82	31:04 ERROR: Failed to solve instance
1548.08/642.82	java.lang.OutOfMemoryError: GC overhead limit exceeded
1548.50/643.24	31:04 ERROR: Failed to solve instance
1548.50/643.24	java.lang.OutOfMemoryError: GC overhead limit exceeded
1550.45/644.98	31:06 ERROR: Failed to solve instance
1550.45/644.98	java.lang.OutOfMemoryError: GC overhead limit exceeded
1550.85/645.38	31:07 ERROR: Failed to solve instance
1550.85/645.38	java.lang.OutOfMemoryError: GC overhead limit exceeded
1551.36/645.82	31:07 ERROR: Failed to solve instance
1551.36/645.82	java.lang.OutOfMemoryError: GC overhead limit exceeded
1551.77/646.29	31:07 ERROR: Failed to solve instance
1551.77/646.29	java.lang.OutOfMemoryError: GC overhead limit exceeded
1558.59/651.86	31:13 ERROR: Failed to solve instance
1558.59/651.86	java.lang.OutOfMemoryError: GC overhead limit exceeded
1559.01/652.24	31:13 ERROR: Failed to solve instance
1559.01/652.24	java.lang.OutOfMemoryError: GC overhead limit exceeded
1559.44/652.67	31:14 ERROR: Failed to solve instance
1559.44/652.67	java.lang.OutOfMemoryError: GC overhead limit exceeded
1560.24/653.49	31:15 ERROR: Failed to solve instance
1560.24/653.49	java.lang.OutOfMemoryError: GC overhead limit exceeded
1560.76/653.93	31:15 ERROR: Failed to solve instance
1560.76/653.93	java.lang.OutOfMemoryError: GC overhead limit exceeded
1561.28/654.42	31:16 ERROR: Failed to solve instance
1561.28/654.42	java.lang.OutOfMemoryError: GC overhead limit exceeded
1564.80/657.32	31:18 ERROR: Failed to solve instance
1564.80/657.32	java.lang.OutOfMemoryError: GC overhead limit exceeded
1567.41/659.67	31:21 ERROR: Failed to solve instance
1567.41/659.67	java.lang.OutOfMemoryError: GC overhead limit exceeded
1568.33/660.56	31:22 ERROR: Failed to solve instance
1568.33/660.56	java.lang.OutOfMemoryError: GC overhead limit exceeded
1568.85/661.07	31:22 ERROR: Failed to solve instance
1568.85/661.07	java.lang.OutOfMemoryError: GC overhead limit exceeded
1574.09/665.38	31:27 ERROR: Failed to solve instance
1574.09/665.38	java.lang.OutOfMemoryError: GC overhead limit exceeded
1574.62/665.85	31:27 ERROR: Failed to solve instance
1574.62/665.85	java.lang.OutOfMemoryError: GC overhead limit exceeded
1575.68/666.82	31:28 ERROR: Failed to solve instance
1575.68/666.82	java.lang.OutOfMemoryError: GC overhead limit exceeded
1576.08/667.25	31:28 ERROR: Failed to solve instance
1576.08/667.25	java.lang.OutOfMemoryError: GC overhead limit exceeded
1580.82/671.05	31:32 ERROR: Failed to solve instance
1580.82/671.05	java.lang.OutOfMemoryError: GC overhead limit exceeded
1581.74/671.94	31:33 ERROR: Failed to solve instance
1581.74/671.94	java.lang.OutOfMemoryError: GC overhead limit exceeded
1582.15/672.37	31:33 ERROR: Failed to solve instance
1582.15/672.37	java.lang.OutOfMemoryError: GC overhead limit exceeded
1582.67/672.83	31:34 ERROR: Failed to solve instance
1582.67/672.83	java.lang.OutOfMemoryError: GC overhead limit exceeded
1583.19/673.40	31:35 ERROR: Failed to solve instance
1583.19/673.40	java.lang.OutOfMemoryError: GC overhead limit exceeded
1591.51/680.22	31:41 ERROR: Failed to solve instance
1591.51/680.22	java.lang.OutOfMemoryError: GC overhead limit exceeded
1591.92/680.64	31:42 ERROR: Failed to solve instance
1591.92/680.64	java.lang.OutOfMemoryError: GC overhead limit exceeded
1592.75/681.43	31:42 ERROR: Failed to solve instance
1592.75/681.43	java.lang.OutOfMemoryError: GC overhead limit exceeded
1593.17/681.85	31:43 ERROR: Failed to solve instance
1593.17/681.85	java.lang.OutOfMemoryError: GC overhead limit exceeded
1593.59/682.31	31:43 ERROR: Failed to solve instance
1593.59/682.31	java.lang.OutOfMemoryError: GC overhead limit exceeded
1594.12/682.79	31:44 ERROR: Failed to solve instance
1594.12/682.79	java.lang.OutOfMemoryError: GC overhead limit exceeded
1598.18/686.28	31:47 ERROR: Failed to solve instance
1598.18/686.28	java.lang.OutOfMemoryError: GC overhead limit exceeded
1598.69/686.71	31:48 ERROR: Failed to solve instance
1598.69/686.71	java.lang.OutOfMemoryError: GC overhead limit exceeded
1599.10/687.13	31:48 ERROR: Failed to solve instance
1599.10/687.13	java.lang.OutOfMemoryError: GC overhead limit exceeded
1603.20/690.61	31:52 ERROR: Failed to solve instance
1603.20/690.61	java.lang.OutOfMemoryError: GC overhead limit exceeded
1603.63/691.09	31:52 ERROR: Failed to solve instance
1603.63/691.09	java.lang.OutOfMemoryError: GC overhead limit exceeded
1610.59/696.71	31:58 ERROR: Failed to solve instance
1610.59/696.71	java.lang.OutOfMemoryError: GC overhead limit exceeded
1611.00/697.14	31:58 ERROR: Failed to solve instance
1611.00/697.14	java.lang.OutOfMemoryError: GC overhead limit exceeded
1611.81/698.00	31:59 ERROR: Failed to solve instance
1611.81/698.00	java.lang.OutOfMemoryError: GC overhead limit exceeded
1612.33/698.48	32:00 ERROR: Failed to solve instance
1612.33/698.48	java.lang.OutOfMemoryError: GC overhead limit exceeded
1612.89/699.00	32:00 ERROR: Failed to solve instance
1612.89/699.00	java.lang.OutOfMemoryError: GC overhead limit exceeded
1619.82/704.62	32:06 ERROR: Failed to solve instance
1619.82/704.62	java.lang.OutOfMemoryError: GC overhead limit exceeded
1620.23/705.03	32:06 ERROR: Failed to solve instance
1620.23/705.03	java.lang.OutOfMemoryError: GC overhead limit exceeded
1620.65/705.47	32:07 ERROR: Failed to solve instance
1620.65/705.47	java.lang.OutOfMemoryError: GC overhead limit exceeded
1621.16/705.92	32:07 ERROR: Failed to solve instance
1621.16/705.92	java.lang.OutOfMemoryError: GC overhead limit exceeded
1624.97/709.11	32:10 ERROR: Failed to solve instance
1624.97/709.11	java.lang.OutOfMemoryError: GC overhead limit exceeded
1625.38/709.56	32:11 ERROR: Failed to solve instance
1625.38/709.56	java.lang.OutOfMemoryError: GC overhead limit exceeded
1625.80/710.00	32:11 ERROR: Failed to solve instance
1625.80/710.00	java.lang.OutOfMemoryError: GC overhead limit exceeded
1626.73/710.83	32:12 ERROR: Failed to solve instance
1626.73/710.83	java.lang.OutOfMemoryError: GC overhead limit exceeded
1627.14/711.31	32:12 ERROR: Failed to solve instance
1627.14/711.31	java.lang.OutOfMemoryError: GC overhead limit exceeded
1634.72/717.52	32:19 ERROR: Failed to solve instance
1634.72/717.52	java.lang.OutOfMemoryError: GC overhead limit exceeded
1635.12/717.95	32:19 ERROR: Failed to solve instance
1635.12/717.95	java.lang.OutOfMemoryError: GC overhead limit exceeded
1635.64/718.42	32:20 ERROR: Failed to solve instance
1635.64/718.42	java.lang.OutOfMemoryError: GC overhead limit exceeded
1639.29/721.58	32:23 ERROR: Failed to solve instance
1639.29/721.58	java.lang.OutOfMemoryError: GC overhead limit exceeded
1640.11/722.40	32:23 ERROR: Failed to solve instance
1640.11/722.40	java.lang.OutOfMemoryError: GC overhead limit exceeded
1640.63/722.84	32:24 ERROR: Failed to solve instance
1640.63/722.84	java.lang.OutOfMemoryError: GC overhead limit exceeded
1641.05/723.28	32:24 ERROR: Failed to solve instance
1641.05/723.28	java.lang.OutOfMemoryError: GC overhead limit exceeded
1641.58/723.77	32:25 ERROR: Failed to solve instance
1641.58/723.77	java.lang.OutOfMemoryError: GC overhead limit exceeded
1645.06/726.63	32:28 ERROR: Failed to solve instance
1645.06/726.63	java.lang.OutOfMemoryError: GC overhead limit exceeded
1648.16/729.26	32:30 ERROR: Failed to solve instance
1648.16/729.26	java.lang.OutOfMemoryError: Java heap space
1648.36/729.50	32:31 ERROR: Failed to solve instance
1648.36/729.50	java.lang.OutOfMemoryError: GC overhead limit exceeded
1649.00/730.01	32:31 ERROR: Failed to solve instance
1649.00/730.01	java.lang.OutOfMemoryError: GC overhead limit exceeded
1656.95/736.60	32:38 ERROR: Failed to solve instance
1656.95/736.60	java.lang.OutOfMemoryError: GC overhead limit exceeded
1657.35/737.03	32:38 ERROR: Failed to solve instance
1657.35/737.03	java.lang.OutOfMemoryError: GC overhead limit exceeded
1657.76/737.48	32:39 ERROR: Failed to solve instance
1657.76/737.48	java.lang.OutOfMemoryError: GC overhead limit exceeded
1658.49/738.17	32:39 ERROR: Failed to solve instance
1658.49/738.17	java.lang.OutOfMemoryError: GC overhead limit exceeded
1659.23/738.87	32:40 ERROR: Failed to solve instance
1659.23/738.87	java.lang.OutOfMemoryError: GC overhead limit exceeded
1659.65/739.33	32:40 ERROR: Failed to solve instance
1659.65/739.33	java.lang.OutOfMemoryError: GC overhead limit exceeded
1665.97/744.11	32:45 ERROR: Failed to solve instance
1665.97/744.11	java.lang.OutOfMemoryError: GC overhead limit exceeded
1666.50/744.69	32:46 ERROR: Failed to solve instance
1666.50/744.69	java.lang.OutOfMemoryError: GC overhead limit exceeded
1670.22/747.95	32:49 ERROR: Failed to solve instance
1670.22/747.95	java.lang.OutOfMemoryError: GC overhead limit exceeded
1670.63/748.37	32:50 ERROR: Failed to solve instance
1670.63/748.37	java.lang.OutOfMemoryError: GC overhead limit exceeded
1671.13/748.81	32:50 ERROR: Failed to solve instance
1671.13/748.81	java.lang.OutOfMemoryError: GC overhead limit exceeded
1671.95/749.70	32:51 ERROR: Failed to solve instance
1671.95/749.70	java.lang.OutOfMemoryError: GC overhead limit exceeded
1672.47/750.16	32:51 ERROR: Failed to solve instance
1672.47/750.16	java.lang.OutOfMemoryError: GC overhead limit exceeded
1673.00/750.65	32:52 ERROR: Failed to solve instance
1673.00/750.65	java.lang.OutOfMemoryError: GC overhead limit exceeded
1682.01/757.81	32:59 ERROR: Failed to solve instance
1682.01/757.81	java.lang.OutOfMemoryError: GC overhead limit exceeded
1682.43/758.26	32:59 ERROR: Failed to solve instance
1682.43/758.26	java.lang.OutOfMemoryError: GC overhead limit exceeded
1682.94/758.72	33:00 ERROR: Failed to solve instance
1682.94/758.72	java.lang.OutOfMemoryError: GC overhead limit exceeded
1683.57/759.34	33:00 ERROR: Failed to solve instance
1683.57/759.34	java.lang.OutOfMemoryError: GC overhead limit exceeded
1685.88/761.49	33:03 ERROR: Failed to solve instance
1685.88/761.49	java.lang.OutOfMemoryError: GC overhead limit exceeded
1686.39/761.96	33:03 ERROR: Failed to solve instance
1686.39/761.96	java.lang.OutOfMemoryError: GC overhead limit exceeded
1686.93/762.48	33:04 ERROR: Failed to solve instance
1686.93/762.48	java.lang.OutOfMemoryError: GC overhead limit exceeded
1693.03/767.34	33:08 ERROR: Failed to solve instance
1693.03/767.34	java.lang.OutOfMemoryError: GC overhead limit exceeded
1693.84/768.17	33:09 ERROR: Failed to solve instance
1693.84/768.17	java.lang.OutOfMemoryError: GC overhead limit exceeded
1694.34/768.63	33:10 ERROR: Failed to solve instance
1694.34/768.63	java.lang.OutOfMemoryError: GC overhead limit exceeded
1694.75/769.01	33:10 ERROR: Failed to solve instance
1694.75/769.01	java.lang.OutOfMemoryError: GC overhead limit exceeded
1695.16/769.48	33:11 ERROR: Failed to solve instance
1695.16/769.48	java.lang.OutOfMemoryError: GC overhead limit exceeded
1699.28/772.91	33:14 ERROR: Failed to solve instance
1699.28/772.91	java.lang.OutOfMemoryError: GC overhead limit exceeded
1699.70/773.37	33:15 ERROR: Failed to solve instance
1699.70/773.37	java.lang.OutOfMemoryError: GC overhead limit exceeded
1703.34/776.38	33:18 ERROR: Failed to solve instance
1703.34/776.38	java.lang.OutOfMemoryError: GC overhead limit exceeded
1704.27/777.30	33:18 ERROR: Failed to solve instance
1704.27/777.30	java.lang.OutOfMemoryError: GC overhead limit exceeded
1704.79/777.79	33:19 ERROR: Failed to solve instance
1704.79/777.79	java.lang.OutOfMemoryError: GC overhead limit exceeded
1705.23/778.16	33:19 ERROR: Failed to solve instance
1705.23/778.16	java.lang.OutOfMemoryError: GC overhead limit exceeded
1712.22/783.91	33:25 ERROR: Failed to solve instance
1712.22/783.91	java.lang.OutOfMemoryError: GC overhead limit exceeded
1712.63/784.34	33:25 ERROR: Failed to solve instance
1712.63/784.34	java.lang.OutOfMemoryError: GC overhead limit exceeded
1713.55/785.22	33:26 ERROR: Failed to solve instance
1713.55/785.22	java.lang.OutOfMemoryError: GC overhead limit exceeded
1713.96/785.67	33:27 ERROR: Failed to solve instance
1713.96/785.67	java.lang.OutOfMemoryError: GC overhead limit exceeded
1714.48/786.19	33:27 ERROR: Failed to solve instance
1714.48/786.19	java.lang.OutOfMemoryError: GC overhead limit exceeded
1722.92/793.09	33:34 ERROR: Failed to solve instance
1722.92/793.09	java.lang.OutOfMemoryError: GC overhead limit exceeded
1723.33/793.47	33:35 ERROR: Failed to solve instance
1723.33/793.47	java.lang.OutOfMemoryError: GC overhead limit exceeded
1723.73/793.89	33:35 ERROR: Failed to solve instance
1723.73/793.89	java.lang.OutOfMemoryError: GC overhead limit exceeded
1724.65/794.71	33:36 ERROR: Failed to solve instance
1724.65/794.71	java.lang.OutOfMemoryError: GC overhead limit exceeded
1725.07/795.18	33:36 ERROR: Failed to solve instance
1725.07/795.18	java.lang.OutOfMemoryError: GC overhead limit exceeded
1731.34/800.12	33:41 ERROR: Failed to solve instance
1731.34/800.12	java.lang.OutOfMemoryError: GC overhead limit exceeded
1731.75/800.53	33:42 ERROR: Failed to solve instance
1731.75/800.53	java.lang.OutOfMemoryError: GC overhead limit exceeded
1732.56/801.39	33:42 ERROR: Failed to solve instance
1732.56/801.39	java.lang.OutOfMemoryError: GC overhead limit exceeded
1733.07/801.84	33:43 ERROR: Failed to solve instance
1733.07/801.84	java.lang.OutOfMemoryError: GC overhead limit exceeded
1733.59/802.32	33:43 ERROR: Failed to solve instance
1733.59/802.32	java.lang.OutOfMemoryError: GC overhead limit exceeded
1739.05/806.83	33:48 ERROR: Failed to solve instance
1739.05/806.83	java.lang.OutOfMemoryError: GC overhead limit exceeded
1739.46/807.27	33:48 ERROR: Failed to solve instance
1739.46/807.27	java.lang.OutOfMemoryError: GC overhead limit exceeded
1745.74/812.55	33:54 ERROR: Failed to solve instance
1745.74/812.55	java.lang.OutOfMemoryError: GC overhead limit exceeded
1746.16/812.99	33:54 ERROR: Failed to solve instance
1746.16/812.99	java.lang.OutOfMemoryError: GC overhead limit exceeded
1747.08/813.88	33:55 ERROR: Failed to solve instance
1747.08/813.88	java.lang.OutOfMemoryError: GC overhead limit exceeded
1751.08/817.26	33:58 ERROR: Failed to solve instance
1751.08/817.26	java.lang.OutOfMemoryError: GC overhead limit exceeded
1751.49/817.70	33:59 ERROR: Failed to solve instance
1751.49/817.70	java.lang.OutOfMemoryError: GC overhead limit exceeded
1752.00/818.17	33:59 ERROR: Failed to solve instance
1752.00/818.17	java.lang.OutOfMemoryError: GC overhead limit exceeded
1757.73/822.91	34:04 ERROR: Failed to solve instance
1757.73/822.91	java.lang.OutOfMemoryError: GC overhead limit exceeded
1758.14/823.34	34:04 ERROR: Failed to solve instance
1758.14/823.34	java.lang.OutOfMemoryError: GC overhead limit exceeded
1758.55/823.75	34:05 ERROR: Failed to solve instance
1758.55/823.75	java.lang.OutOfMemoryError: GC overhead limit exceeded
1758.97/824.20	34:05 ERROR: Failed to solve instance
1758.97/824.20	java.lang.OutOfMemoryError: GC overhead limit exceeded
1763.28/827.80	34:09 ERROR: Failed to solve instance
1763.28/827.80	java.lang.OutOfMemoryError: GC overhead limit exceeded
1763.70/828.24	34:09 ERROR: Failed to solve instance
1763.70/828.24	java.lang.OutOfMemoryError: GC overhead limit exceeded
1764.11/828.68	34:10 ERROR: Failed to solve instance
1764.11/828.68	java.lang.OutOfMemoryError: GC overhead limit exceeded
1770.68/834.27	34:15 ERROR: Failed to solve instance
1770.68/834.27	java.lang.OutOfMemoryError: GC overhead limit exceeded
1771.20/834.71	34:16 ERROR: Failed to solve instance
1771.20/834.71	java.lang.OutOfMemoryError: GC overhead limit exceeded
1773.06/836.36	34:17 ERROR: Failed to solve instance
1773.06/836.36	java.lang.OutOfMemoryError: GC overhead limit exceeded
1773.46/836.77	34:18 ERROR: Failed to solve instance
1773.46/836.77	java.lang.OutOfMemoryError: GC overhead limit exceeded
1773.98/837.20	34:18 ERROR: Failed to solve instance
1773.98/837.20	java.lang.OutOfMemoryError: GC overhead limit exceeded
1774.80/838.00	34:19 ERROR: Failed to solve instance
1774.80/838.00	java.lang.OutOfMemoryError: GC overhead limit exceeded
1775.22/838.44	34:20 ERROR: Failed to solve instance
1775.22/838.44	java.lang.OutOfMemoryError: GC overhead limit exceeded
1775.64/838.93	34:20 ERROR: Failed to solve instance
1775.64/838.93	java.lang.OutOfMemoryError: GC overhead limit exceeded
1782.83/844.80	34:26 ERROR: Failed to solve instance
1782.83/844.80	java.lang.OutOfMemoryError: GC overhead limit exceeded
1783.34/845.24	34:26 ERROR: Failed to solve instance
1783.34/845.24	java.lang.OutOfMemoryError: GC overhead limit exceeded
1784.26/846.13	34:27 ERROR: Failed to solve instance
1784.26/846.13	java.lang.OutOfMemoryError: GC overhead limit exceeded
1784.78/846.61	34:28 ERROR: Failed to solve instance
1784.78/846.61	java.lang.OutOfMemoryError: GC overhead limit exceeded
1785.18/847.03	34:28 ERROR: Failed to solve instance
1785.18/847.03	java.lang.OutOfMemoryError: GC overhead limit exceeded
1787.56/848.97	34:30 ERROR: Failed to solve instance
1787.56/848.97	java.lang.OutOfMemoryError: GC overhead limit exceeded
1788.10/849.43	34:31 ERROR: Failed to solve instance
1788.10/849.43	java.lang.OutOfMemoryError: GC overhead limit exceeded
1794.66/855.09	34:36 ERROR: Failed to solve instance
1794.66/855.09	java.lang.OutOfMemoryError: GC overhead limit exceeded
1795.05/855.45	34:37 ERROR: Failed to solve instance
1795.05/855.45	java.lang.OutOfMemoryError: GC overhead limit exceeded
1795.48/855.84	34:37 ERROR: Failed to solve instance
1795.48/855.84	java.lang.OutOfMemoryError: GC overhead limit exceeded
1795.89/856.28	34:37 ERROR: Failed to solve instance
1795.89/856.28	java.lang.OutOfMemoryError: GC overhead limit exceeded
1799.08/858.90	34:40 ERROR: Failed to solve instance
1799.08/858.90	java.lang.OutOfMemoryError: GC overhead limit exceeded
1802.10/861.59	34:43 ERROR: Failed to solve instance
1802.10/861.59	java.lang.OutOfMemoryError: GC overhead limit exceeded
1802.61/862.04	34:43 ERROR: Failed to solve instance
1802.61/862.04	java.lang.OutOfMemoryError: GC overhead limit exceeded
1803.44/862.84	34:44 ERROR: Failed to solve instance
1803.44/862.84	java.lang.OutOfMemoryError: GC overhead limit exceeded
1803.98/863.32	34:44 ERROR: Failed to solve instance
1803.98/863.32	java.lang.OutOfMemoryError: GC overhead limit exceeded
1804.40/863.78	34:45 ERROR: Failed to solve instance
1804.40/863.78	java.lang.OutOfMemoryError: GC overhead limit exceeded
1808.07/866.89	34:48 ERROR: Failed to solve instance
1808.07/866.89	java.lang.OutOfMemoryError: GC overhead limit exceeded
1808.58/867.36	34:48 ERROR: Failed to solve instance
1808.58/867.36	java.lang.OutOfMemoryError: GC overhead limit exceeded
1816.22/873.58	34:55 ERROR: Failed to solve instance
1816.22/873.58	java.lang.OutOfMemoryError: GC overhead limit exceeded
1816.74/874.01	34:55 ERROR: Failed to solve instance
1816.74/874.01	java.lang.OutOfMemoryError: GC overhead limit exceeded
1817.56/874.87	34:56 ERROR: Failed to solve instance
1817.56/874.87	java.lang.OutOfMemoryError: GC overhead limit exceeded
1818.08/875.35	34:56 ERROR: Failed to solve instance
1818.08/875.35	java.lang.OutOfMemoryError: GC overhead limit exceeded
1818.59/875.83	34:57 ERROR: Failed to solve instance
1818.59/875.83	java.lang.OutOfMemoryError: GC overhead limit exceeded
1819.00/876.28	34:57 ERROR: Failed to solve instance
1819.00/876.28	java.lang.OutOfMemoryError: GC overhead limit exceeded
1825.54/881.58	35:03 ERROR: Failed to solve instance
1825.54/881.58	java.lang.OutOfMemoryError: GC overhead limit exceeded
1826.05/882.03	35:03 ERROR: Failed to solve instance
1826.05/882.03	java.lang.OutOfMemoryError: GC overhead limit exceeded
1826.57/882.52	35:04 ERROR: Failed to solve instance
1826.57/882.52	java.lang.OutOfMemoryError: GC overhead limit exceeded
1832.58/887.67	35:09 ERROR: Failed to solve instance
1832.58/887.67	java.lang.OutOfMemoryError: GC overhead limit exceeded
1833.08/888.10	35:09 ERROR: Failed to solve instance
1833.08/888.10	java.lang.OutOfMemoryError: GC overhead limit exceeded
1834.01/889.02	35:10 ERROR: Failed to solve instance
1834.01/889.02	java.lang.OutOfMemoryError: GC overhead limit exceeded
1834.74/889.61	35:11 ERROR: Failed to solve instance
1834.74/889.61	java.lang.OutOfMemoryError: GC overhead limit exceeded
1841.70/895.49	35:17 ERROR: Failed to solve instance
1841.70/895.49	java.lang.OutOfMemoryError: GC overhead limit exceeded
1842.21/895.93	35:17 ERROR: Failed to solve instance
1842.21/895.93	java.lang.OutOfMemoryError: GC overhead limit exceeded
1843.05/896.81	35:18 ERROR: Failed to solve instance
1843.05/896.81	java.lang.OutOfMemoryError: GC overhead limit exceeded
1843.59/897.29	35:18 ERROR: Failed to solve instance
1843.59/897.29	java.lang.OutOfMemoryError: GC overhead limit exceeded
1846.52/899.75	35:21 ERROR: Failed to solve instance
1846.52/899.75	java.lang.OutOfMemoryError: GC overhead limit exceeded
1846.94/900.18	35:21 ERROR: Failed to solve instance
1846.94/900.18	java.lang.OutOfMemoryError: GC overhead limit exceeded
1847.45/900.62	35:22 ERROR: Failed to solve instance
1847.45/900.62	java.lang.OutOfMemoryError: GC overhead limit exceeded
1848.28/901.44	35:23 ERROR: Failed to solve instance
1848.28/901.44	java.lang.OutOfMemoryError: GC overhead limit exceeded
1848.70/901.88	35:23 ERROR: Failed to solve instance
1848.70/901.88	java.lang.OutOfMemoryError: GC overhead limit exceeded
1849.24/902.38	35:23 ERROR: Failed to solve instance
1849.24/902.38	java.lang.OutOfMemoryError: GC overhead limit exceeded
1855.85/907.57	35:29 ERROR: Failed to solve instance
1855.85/907.57	java.lang.OutOfMemoryError: GC overhead limit exceeded
1857.61/909.17	35:30 ERROR: Failed to solve instance
1857.61/909.17	java.lang.OutOfMemoryError: GC overhead limit exceeded
1858.12/909.63	35:31 ERROR: Failed to solve instance
1858.12/909.63	java.lang.OutOfMemoryError: GC overhead limit exceeded
1858.64/910.12	35:31 ERROR: Failed to solve instance
1858.64/910.12	java.lang.OutOfMemoryError: GC overhead limit exceeded
1866.68/916.97	35:38 ERROR: Failed to solve instance
1866.68/916.97	java.lang.OutOfMemoryError: GC overhead limit exceeded
1867.19/917.41	35:39 ERROR: Failed to solve instance
1867.19/917.41	java.lang.OutOfMemoryError: GC overhead limit exceeded
1868.12/918.32	35:39 ERROR: Failed to solve instance
1868.12/918.32	java.lang.OutOfMemoryError: GC overhead limit exceeded
1868.53/918.79	35:40 ERROR: Failed to solve instance
1868.53/918.79	java.lang.OutOfMemoryError: GC overhead limit exceeded
1869.04/919.29	35:40 ERROR: Failed to solve instance
1869.04/919.29	java.lang.OutOfMemoryError: GC overhead limit exceeded
1869.58/919.80	35:41 ERROR: Failed to solve instance
1869.58/919.80	java.lang.OutOfMemoryError: GC overhead limit exceeded
1875.36/924.50	35:46 ERROR: Failed to solve instance
1875.36/924.50	java.lang.OutOfMemoryError: GC overhead limit exceeded
1875.77/924.93	35:46 ERROR: Failed to solve instance
1875.77/924.93	java.lang.OutOfMemoryError: GC overhead limit exceeded
1876.19/925.40	35:47 ERROR: Failed to solve instance
1876.19/925.40	java.lang.OutOfMemoryError: GC overhead limit exceeded
1881.54/929.74	35:51 ERROR: Failed to solve instance
1881.54/929.74	java.lang.OutOfMemoryError: GC overhead limit exceeded
1882.36/930.57	35:52 ERROR: Failed to solve instance
1882.36/930.57	java.lang.OutOfMemoryError: GC overhead limit exceeded
1882.88/931.04	35:52 ERROR: Failed to solve instance
1882.88/931.04	java.lang.OutOfMemoryError: GC overhead limit exceeded
1883.43/931.54	35:53 ERROR: Failed to solve instance
1883.43/931.54	java.lang.OutOfMemoryError: GC overhead limit exceeded
1889.79/936.68	35:58 ERROR: Failed to solve instance
1889.79/936.68	java.lang.OutOfMemoryError: GC overhead limit exceeded
1890.31/937.11	35:58 ERROR: Failed to solve instance
1890.31/937.11	java.lang.OutOfMemoryError: GC overhead limit exceeded
1891.13/937.94	35:59 ERROR: Failed to solve instance
1891.13/937.94	java.lang.OutOfMemoryError: GC overhead limit exceeded
1891.56/938.40	36:00 ERROR: Failed to solve instance
1891.56/938.40	java.lang.OutOfMemoryError: GC overhead limit exceeded
1892.20/938.91	36:00 ERROR: Failed to solve instance
1892.20/938.91	java.lang.OutOfMemoryError: GC overhead limit exceeded
1892.72/939.41	36:01 ERROR: Failed to solve instance
1892.72/939.41	java.lang.OutOfMemoryError: GC overhead limit exceeded
1900.17/945.63	36:07 ERROR: Failed to solve instance
1900.17/945.63	java.lang.OutOfMemoryError: GC overhead limit exceeded
1902.50/947.73	36:09 ERROR: Failed to solve instance
1902.50/947.73	java.lang.OutOfMemoryError: GC overhead limit exceeded
1902.90/948.13	36:09 ERROR: Failed to solve instance
1902.90/948.13	java.lang.OutOfMemoryError: GC overhead limit exceeded
1903.31/948.56	36:10 ERROR: Failed to solve instance
1903.31/948.56	java.lang.OutOfMemoryError: GC overhead limit exceeded
1904.23/949.41	36:11 ERROR: Failed to solve instance
1904.23/949.41	java.lang.OutOfMemoryError: GC overhead limit exceeded
1904.64/949.88	36:11 ERROR: Failed to solve instance
1904.64/949.88	java.lang.OutOfMemoryError: GC overhead limit exceeded
1905.17/950.38	36:12 ERROR: Failed to solve instance
1905.17/950.38	java.lang.OutOfMemoryError: GC overhead limit exceeded
1905.81/950.95	36:12 ERROR: Failed to solve instance
1905.81/950.95	java.lang.OutOfMemoryError: GC overhead limit exceeded
1913.44/956.92	36:18 ERROR: Failed to solve instance
1913.44/956.92	java.lang.OutOfMemoryError: GC overhead limit exceeded
1913.87/957.37	36:19 ERROR: Failed to solve instance
1913.87/957.37	java.lang.OutOfMemoryError: GC overhead limit exceeded
1914.38/957.85	36:19 ERROR: Failed to solve instance
1914.38/957.85	java.lang.OutOfMemoryError: GC overhead limit exceeded
1920.11/962.60	36:24 ERROR: Failed to solve instance
1920.11/962.60	java.lang.OutOfMemoryError: GC overhead limit exceeded
1920.91/963.41	36:24 ERROR: Failed to solve instance
1920.91/963.41	java.lang.OutOfMemoryError: GC overhead limit exceeded
1921.32/963.85	36:25 ERROR: Failed to solve instance
1921.32/963.85	java.lang.OutOfMemoryError: GC overhead limit exceeded
1921.84/964.32	36:25 ERROR: Failed to solve instance
1921.84/964.32	java.lang.OutOfMemoryError: GC overhead limit exceeded
1922.40/964.85	36:26 ERROR: Failed to solve instance
1922.40/964.85	java.lang.OutOfMemoryError: GC overhead limit exceeded
1930.50/971.43	36:33 ERROR: Failed to solve instance
1930.50/971.43	java.lang.OutOfMemoryError: GC overhead limit exceeded
1930.91/971.86	36:33 ERROR: Failed to solve instance
1930.91/971.86	java.lang.OutOfMemoryError: GC overhead limit exceeded
1931.41/972.31	36:33 ERROR: Failed to solve instance
1931.41/972.31	java.lang.OutOfMemoryError: GC overhead limit exceeded
1931.73/972.68	36:34 ERROR: Failed to solve instance
1931.73/972.68	java.lang.OutOfMemoryError: GC overhead limit exceeded
1932.65/973.52	36:35 ERROR: Failed to solve instance
1932.65/973.52	java.lang.OutOfMemoryError: GC overhead limit exceeded
1933.07/974.00	36:35 ERROR: Failed to solve instance
1933.07/974.00	java.lang.OutOfMemoryError: GC overhead limit exceeded
1933.59/974.45	36:36 ERROR: Failed to solve instance
1933.59/974.45	java.lang.OutOfMemoryError: GC overhead limit exceeded
1934.12/974.96	36:36 ERROR: Failed to solve instance
1934.12/974.96	java.lang.OutOfMemoryError: GC overhead limit exceeded
1940.62/980.20	36:41 ERROR: Failed to solve instance
1940.62/980.20	java.lang.OutOfMemoryError: GC overhead limit exceeded
1941.04/980.66	36:42 ERROR: Failed to solve instance
1941.04/980.66	java.lang.OutOfMemoryError: GC overhead limit exceeded
1941.54/981.11	36:42 ERROR: Failed to solve instance
1941.54/981.11	java.lang.OutOfMemoryError: GC overhead limit exceeded
1947.59/986.24	36:47 ERROR: Failed to solve instance
1947.59/986.24	java.lang.OutOfMemoryError: GC overhead limit exceeded
1948.32/986.97	36:48 ERROR: Failed to solve instance
1948.32/986.97	java.lang.OutOfMemoryError: GC overhead limit exceeded
1948.72/987.35	36:48 ERROR: Failed to solve instance
1948.72/987.35	java.lang.OutOfMemoryError: GC overhead limit exceeded
1949.13/987.77	36:49 ERROR: Failed to solve instance
1949.13/987.77	java.lang.OutOfMemoryError: GC overhead limit exceeded
1949.65/988.22	36:49 ERROR: Failed to solve instance
1949.65/988.22	java.lang.OutOfMemoryError: GC overhead limit exceeded
1953.72/991.69	36:53 ERROR: Failed to solve instance
1953.72/991.69	java.lang.OutOfMemoryError: GC overhead limit exceeded
1954.23/992.14	36:53 ERROR: Failed to solve instance
1954.23/992.14	java.lang.OutOfMemoryError: GC overhead limit exceeded
1957.59/994.96	36:56 ERROR: Failed to solve instance
1957.59/994.96	java.lang.OutOfMemoryError: GC overhead limit exceeded
1958.52/995.81	36:57 ERROR: Failed to solve instance
1958.52/995.81	java.lang.OutOfMemoryError: GC overhead limit exceeded
1958.92/996.26	36:57 ERROR: Failed to solve instance
1958.92/996.26	java.lang.OutOfMemoryError: GC overhead limit exceeded
1959.44/996.73	36:58 ERROR: Failed to solve instance
1959.44/996.73	java.lang.OutOfMemoryError: GC overhead limit exceeded
1959.96/997.23	36:58 ERROR: Failed to solve instance
1959.96/997.23	java.lang.OutOfMemoryError: GC overhead limit exceeded
1964.81/1001.15	37:02 ERROR: Failed to solve instance
1964.81/1001.15	java.lang.OutOfMemoryError: GC overhead limit exceeded
1965.33/1001.62	37:03 ERROR: Failed to solve instance
1965.33/1001.62	java.lang.OutOfMemoryError: GC overhead limit exceeded
1965.84/1002.13	37:03 ERROR: Failed to solve instance
1965.84/1002.13	java.lang.OutOfMemoryError: GC overhead limit exceeded
1971.38/1006.80	37:08 ERROR: Failed to solve instance
1971.38/1006.80	java.lang.OutOfMemoryError: GC overhead limit exceeded
1972.29/1007.66	37:09 ERROR: Failed to solve instance
1972.29/1007.66	java.lang.OutOfMemoryError: GC overhead limit exceeded
1972.80/1008.14	37:09 ERROR: Failed to solve instance
1972.80/1008.14	java.lang.OutOfMemoryError: GC overhead limit exceeded
1973.32/1008.65	37:10 ERROR: Failed to solve instance
1973.32/1008.65	java.lang.OutOfMemoryError: GC overhead limit exceeded
1973.87/1009.17	37:10 ERROR: Failed to solve instance
1973.87/1009.17	java.lang.OutOfMemoryError: GC overhead limit exceeded
1977.71/1012.48	37:14 ERROR: Failed to solve instance
1977.71/1012.48	java.lang.OutOfMemoryError: GC overhead limit exceeded
1978.22/1012.91	37:14 ERROR: Failed to solve instance
1978.22/1012.91	java.lang.OutOfMemoryError: GC overhead limit exceeded
1978.64/1013.38	37:15 ERROR: Failed to solve instance
1978.64/1013.38	java.lang.OutOfMemoryError: GC overhead limit exceeded
1983.89/1017.66	37:19 ERROR: Failed to solve instance
1983.89/1017.66	java.lang.OutOfMemoryError: GC overhead limit exceeded
1984.30/1018.09	37:19 ERROR: Failed to solve instance
1984.30/1018.09	java.lang.OutOfMemoryError: GC overhead limit exceeded
1988.67/1021.78	37:23 ERROR: Failed to solve instance
1988.67/1021.78	java.lang.OutOfMemoryError: GC overhead limit exceeded
1989.08/1022.20	37:23 ERROR: Failed to solve instance
1989.08/1022.20	java.lang.OutOfMemoryError: GC overhead limit exceeded
1989.60/1022.66	37:24 ERROR: Failed to solve instance
1989.60/1022.66	java.lang.OutOfMemoryError: GC overhead limit exceeded
1990.12/1023.14	37:24 ERROR: Failed to solve instance
1990.12/1023.14	java.lang.OutOfMemoryError: GC overhead limit exceeded
1994.09/1026.47	37:28 ERROR: Failed to solve instance
1994.09/1026.47	java.lang.OutOfMemoryError: GC overhead limit exceeded
1994.90/1027.28	37:28 ERROR: Failed to solve instance
1994.90/1027.28	java.lang.OutOfMemoryError: GC overhead limit exceeded
1995.43/1027.73	37:29 ERROR: Failed to solve instance
1995.43/1027.73	java.lang.OutOfMemoryError: GC overhead limit exceeded
1995.95/1028.21	37:29 ERROR: Failed to solve instance
1995.95/1028.21	java.lang.OutOfMemoryError: GC overhead limit exceeded
1996.40/1028.64	37:30 ERROR: Failed to solve instance
1996.40/1028.64	java.lang.OutOfMemoryError: GC overhead limit exceeded
1999.29/1031.06	37:32 ERROR: Failed to solve instance
1999.29/1031.06	java.lang.OutOfMemoryError: GC overhead limit exceeded
1999.80/1031.50	37:33 ERROR: Failed to solve instance
1999.80/1031.50	java.lang.OutOfMemoryError: GC overhead limit exceeded
2000.22/1031.98	37:33 ERROR: Failed to solve instance
2000.22/1031.98	java.lang.OutOfMemoryError: GC overhead limit exceeded
2008.23/1038.35	37:39 ERROR: Failed to solve instance
2008.23/1038.35	java.lang.OutOfMemoryError: GC overhead limit exceeded
2008.64/1038.72	37:40 ERROR: Failed to solve instance
2008.64/1038.72	java.lang.OutOfMemoryError: GC overhead limit exceeded
2011.13/1040.97	37:42 ERROR: Failed to solve instance
2011.13/1040.97	java.lang.OutOfMemoryError: GC overhead limit exceeded
2011.53/1041.39	37:43 ERROR: Failed to solve instance
2011.53/1041.39	java.lang.OutOfMemoryError: GC overhead limit exceeded
2012.45/1042.26	37:43 ERROR: Failed to solve instance
2012.45/1042.26	java.lang.OutOfMemoryError: GC overhead limit exceeded
2012.96/1042.74	37:44 ERROR: Failed to solve instance
2012.96/1042.74	java.lang.OutOfMemoryError: GC overhead limit exceeded
2013.48/1043.28	37:44 ERROR: Failed to solve instance
2013.48/1043.28	java.lang.OutOfMemoryError: GC overhead limit exceeded
2019.01/1047.73	37:49 ERROR: Failed to solve instance
2019.01/1047.73	java.lang.OutOfMemoryError: GC overhead limit exceeded
2019.43/1048.17	37:49 ERROR: Failed to solve instance
2019.43/1048.17	java.lang.OutOfMemoryError: GC overhead limit exceeded
2020.35/1049.08	37:50 ERROR: Failed to solve instance
2020.35/1049.08	java.lang.OutOfMemoryError: GC overhead limit exceeded
2020.87/1049.59	37:51 ERROR: Failed to solve instance
2020.87/1049.59	java.lang.OutOfMemoryError: GC overhead limit exceeded
2025.94/1053.64	37:55 ERROR: Failed to solve instance
2025.94/1053.64	java.lang.OutOfMemoryError: GC overhead limit exceeded
2026.75/1054.47	37:56 ERROR: Failed to solve instance
2026.75/1054.47	java.lang.OutOfMemoryError: GC overhead limit exceeded
2027.26/1054.96	37:56 ERROR: Failed to solve instance
2027.26/1054.96	java.lang.OutOfMemoryError: GC overhead limit exceeded
2027.78/1055.50	37:57 ERROR: Failed to solve instance
2027.78/1055.50	java.lang.OutOfMemoryError: GC overhead limit exceeded
2033.35/1060.05	38:01 ERROR: Failed to solve instance
2033.35/1060.05	java.lang.OutOfMemoryError: GC overhead limit exceeded
2033.77/1060.45	38:02 ERROR: Failed to solve instance
2033.77/1060.45	java.lang.OutOfMemoryError: GC overhead limit exceeded
2037.06/1063.26	38:04 ERROR: Failed to solve instance
2037.06/1063.26	java.lang.OutOfMemoryError: GC overhead limit exceeded
2037.58/1063.71	38:05 ERROR: Failed to solve instance
2037.58/1063.71	java.lang.OutOfMemoryError: GC overhead limit exceeded
2038.00/1064.17	38:05 ERROR: Failed to solve instance
2038.00/1064.17	java.lang.OutOfMemoryError: GC overhead limit exceeded
2038.87/1064.99	38:06 ERROR: Failed to solve instance
2038.87/1064.99	java.lang.OutOfMemoryError: GC overhead limit exceeded
2039.40/1065.47	38:07 ERROR: Failed to solve instance
2039.40/1065.47	java.lang.OutOfMemoryError: GC overhead limit exceeded
2039.94/1065.97	38:07 ERROR: Failed to solve instance
2039.94/1065.97	java.lang.OutOfMemoryError: GC overhead limit exceeded
2040.36/1066.39	38:08 ERROR: Failed to solve instance
2040.36/1066.39	java.lang.OutOfMemoryError: GC overhead limit exceeded
2044.00/1069.48	38:11 ERROR: Failed to solve instance
2044.00/1069.48	java.lang.OutOfMemoryError: GC overhead limit exceeded
2044.30/1069.79	38:11 ERROR: Failed to solve instance
2044.30/1069.79	java.lang.OutOfMemoryError: GC overhead limit exceeded
2049.00/1073.49	38:15 ERROR: Failed to solve instance
2049.00/1073.49	java.lang.OutOfMemoryError: GC overhead limit exceeded
2049.53/1073.96	38:15 ERROR: Failed to solve instance
2049.53/1073.96	java.lang.OutOfMemoryError: GC overhead limit exceeded
2053.62/1077.49	38:19 ERROR: Failed to solve instance
2053.62/1077.49	java.lang.OutOfMemoryError: GC overhead limit exceeded
2054.02/1077.81	38:19 ERROR: Failed to solve instance
2054.02/1077.81	java.lang.OutOfMemoryError: GC overhead limit exceeded
2059.28/1082.19	38:23 ERROR: Failed to solve instance
2059.28/1082.19	java.lang.OutOfMemoryError: GC overhead limit exceeded
2060.20/1083.07	38:24 ERROR: Failed to solve instance
2060.20/1083.07	java.lang.OutOfMemoryError: GC overhead limit exceeded
2060.71/1083.54	38:25 ERROR: Failed to solve instance
2060.71/1083.54	java.lang.OutOfMemoryError: GC overhead limit exceeded
2061.22/1084.03	38:25 ERROR: Failed to solve instance
2061.22/1084.03	java.lang.OutOfMemoryError: GC overhead limit exceeded
2061.74/1084.55	38:26 ERROR: Failed to solve instance
2061.74/1084.55	java.lang.OutOfMemoryError: GC overhead limit exceeded
2067.02/1088.87	38:30 ERROR: Failed to solve instance
2067.02/1088.87	java.lang.OutOfMemoryError: GC overhead limit exceeded
2067.54/1089.33	38:30 ERROR: Failed to solve instance
2067.54/1089.33	java.lang.OutOfMemoryError: GC overhead limit exceeded
2071.89/1093.01	38:34 ERROR: Failed to solve instance
2071.89/1093.01	java.lang.OutOfMemoryError: GC overhead limit exceeded
2072.62/1093.78	38:35 ERROR: Failed to solve instance
2072.62/1093.78	java.lang.OutOfMemoryError: GC overhead limit exceeded
2073.14/1094.22	38:35 ERROR: Failed to solve instance
2073.14/1094.22	java.lang.OutOfMemoryError: GC overhead limit exceeded
2073.58/1094.66	38:36 ERROR: Failed to solve instance
2073.58/1094.66	java.lang.OutOfMemoryError: GC overhead limit exceeded
2075.32/1096.12	38:37 ERROR: Failed to solve instance
2075.32/1096.12	java.lang.OutOfMemoryError: GC overhead limit exceeded
2076.25/1097.03	38:38 ERROR: Failed to solve instance
2076.25/1097.03	java.lang.OutOfMemoryError: GC overhead limit exceeded
2076.77/1097.55	38:39 ERROR: Failed to solve instance
2076.77/1097.55	java.lang.OutOfMemoryError: GC overhead limit exceeded
2078.92/1099.49	38:41 ERROR: Failed to solve instance
2078.92/1099.49	java.lang.OutOfMemoryError: GC overhead limit exceeded
2086.75/1105.85	38:47 ERROR: Failed to solve instance
2086.75/1105.85	java.lang.OutOfMemoryError: GC overhead limit exceeded
2087.17/1106.29	38:47 ERROR: Failed to solve instance
2087.17/1106.29	java.lang.OutOfMemoryError: GC overhead limit exceeded
2087.59/1106.70	38:48 ERROR: Failed to solve instance
2087.59/1106.70	java.lang.OutOfMemoryError: GC overhead limit exceeded
2090.96/1109.51	38:51 ERROR: Failed to solve instance
2090.96/1109.51	java.lang.OutOfMemoryError: GC overhead limit exceeded
2091.26/1109.82	38:51 ERROR: Failed to solve instance
2091.26/1109.82	java.lang.OutOfMemoryError: GC overhead limit exceeded
2093.97/1112.07	38:53 ERROR: Failed to solve instance
2093.97/1112.07	java.lang.OutOfMemoryError: GC overhead limit exceeded
2094.69/1112.73	38:54 ERROR: Failed to solve instance
2094.69/1112.73	java.lang.OutOfMemoryError: GC overhead limit exceeded
2095.10/1113.12	38:54 ERROR: Failed to solve instance
2095.10/1113.12	java.lang.OutOfMemoryError: GC overhead limit exceeded
2098.87/1116.46	38:58 ERROR: Failed to solve instance
2098.87/1116.46	java.lang.OutOfMemoryError: GC overhead limit exceeded
2099.28/1116.89	38:58 ERROR: Failed to solve instance
2099.28/1116.89	java.lang.OutOfMemoryError: GC overhead limit exceeded
2099.78/1117.39	38:59 ERROR: Failed to solve instance
2099.78/1117.39	java.lang.OutOfMemoryError: GC overhead limit exceeded
2104.96/1121.58	39:03 ERROR: Failed to solve instance
2104.96/1121.58	java.lang.OutOfMemoryError: GC overhead limit exceeded
2105.68/1122.22	39:03 ERROR: Failed to solve instance
2105.68/1122.22	java.lang.OutOfMemoryError: GC overhead limit exceeded
2106.10/1122.70	39:04 ERROR: Failed to solve instance
2106.10/1122.70	java.lang.OutOfMemoryError: GC overhead limit exceeded
2113.79/1128.94	39:10 ERROR: Failed to solve instance
2113.79/1128.94	java.lang.OutOfMemoryError: GC overhead limit exceeded
2114.19/1129.31	39:10 ERROR: Failed to solve instance
2114.19/1129.31	java.lang.OutOfMemoryError: GC overhead limit exceeded
2114.61/1129.71	39:11 ERROR: Failed to solve instance
2114.61/1129.71	java.lang.OutOfMemoryError: GC overhead limit exceeded
2115.02/1130.13	39:11 ERROR: Failed to solve instance
2115.02/1130.13	java.lang.OutOfMemoryError: GC overhead limit exceeded
2115.85/1130.96	39:12 ERROR: Failed to solve instance
2115.85/1130.96	java.lang.OutOfMemoryError: GC overhead limit exceeded
2116.27/1131.39	39:13 ERROR: Failed to solve instance
2116.27/1131.39	java.lang.OutOfMemoryError: GC overhead limit exceeded
2116.79/1131.88	39:13 ERROR: Failed to solve instance
2116.79/1131.88	java.lang.OutOfMemoryError: GC overhead limit exceeded
2123.57/1137.24	39:18 ERROR: Failed to solve instance
2123.57/1137.24	java.lang.OutOfMemoryError: GC overhead limit exceeded
2124.40/1138.06	39:19 ERROR: Failed to solve instance
2124.40/1138.06	java.lang.OutOfMemoryError: GC overhead limit exceeded
2124.92/1138.51	39:20 ERROR: Failed to solve instance
2124.92/1138.51	java.lang.OutOfMemoryError: GC overhead limit exceeded
2125.34/1138.98	39:20 ERROR: Failed to solve instance
2125.34/1138.98	java.lang.OutOfMemoryError: GC overhead limit exceeded
2125.86/1139.48	39:21 ERROR: Failed to solve instance
2125.86/1139.48	java.lang.OutOfMemoryError: GC overhead limit exceeded
2135.15/1146.83	39:28 ERROR: Failed to solve instance
2135.15/1146.83	java.lang.OutOfMemoryError: GC overhead limit exceeded
2138.26/1149.52	39:31 ERROR: Failed to solve instance
2138.26/1149.52	java.lang.OutOfMemoryError: GC overhead limit exceeded
2139.08/1150.31	39:31 ERROR: Failed to solve instance
2139.08/1150.31	java.lang.OutOfMemoryError: GC overhead limit exceeded
2139.50/1150.73	39:32 ERROR: Failed to solve instance
2139.50/1150.73	java.lang.OutOfMemoryError: GC overhead limit exceeded
2139.92/1151.18	39:32 ERROR: Failed to solve instance
2139.92/1151.18	java.lang.OutOfMemoryError: GC overhead limit exceeded
2140.43/1151.63	39:33 ERROR: Failed to solve instance
2140.43/1151.63	java.lang.OutOfMemoryError: GC overhead limit exceeded
2146.79/1156.90	39:38 ERROR: Failed to solve instance
2146.79/1156.90	java.lang.OutOfMemoryError: GC overhead limit exceeded
2147.20/1157.33	39:38 ERROR: Failed to solve instance
2147.20/1157.33	java.lang.OutOfMemoryError: GC overhead limit exceeded
2147.62/1157.79	39:39 ERROR: Failed to solve instance
2147.62/1157.79	java.lang.OutOfMemoryError: GC overhead limit exceeded
2153.66/1162.90	39:44 ERROR: Failed to solve instance
2153.66/1162.90	java.lang.OutOfMemoryError: GC overhead limit exceeded
2154.16/1163.31	39:44 ERROR: Failed to solve instance
2154.16/1163.31	java.lang.OutOfMemoryError: GC overhead limit exceeded
2154.88/1164.06	39:45 ERROR: Failed to solve instance
2154.88/1164.06	java.lang.OutOfMemoryError: GC overhead limit exceeded
2155.28/1164.43	39:46 ERROR: Failed to solve instance
2155.28/1164.43	java.lang.OutOfMemoryError: GC overhead limit exceeded
2155.69/1164.87	39:46 ERROR: Failed to solve instance
2155.69/1164.87	java.lang.OutOfMemoryError: GC overhead limit exceeded
2156.22/1165.34	39:46 ERROR: Failed to solve instance
2156.22/1165.34	java.lang.OutOfMemoryError: GC overhead limit exceeded
2160.21/1168.74	39:50 ERROR: Failed to solve instance
2160.21/1168.74	java.lang.OutOfMemoryError: GC overhead limit exceeded
2160.61/1169.17	39:50 ERROR: Failed to solve instance
2160.61/1169.17	java.lang.OutOfMemoryError: GC overhead limit exceeded
2161.13/1169.64	39:51 ERROR: Failed to solve instance
2161.13/1169.64	java.lang.OutOfMemoryError: GC overhead limit exceeded
2167.74/1174.95	39:56 ERROR: Failed to solve instance
2167.74/1174.95	java.lang.OutOfMemoryError: GC overhead limit exceeded
2168.56/1175.79	39:57 ERROR: Failed to solve instance
2168.56/1175.79	java.lang.OutOfMemoryError: GC overhead limit exceeded
2168.96/1176.18	39:57 ERROR: Failed to solve instance
2168.96/1176.18	java.lang.OutOfMemoryError: GC overhead limit exceeded
2169.47/1176.61	39:58 ERROR: Failed to solve instance
2169.47/1176.61	java.lang.OutOfMemoryError: GC overhead limit exceeded
2169.90/1177.08	39:58 ERROR: Failed to solve instance
2169.90/1177.08	java.lang.OutOfMemoryError: GC overhead limit exceeded
2173.33/1179.96	40:01 ERROR: Failed to solve instance
2173.33/1179.96	java.lang.OutOfMemoryError: GC overhead limit exceeded
2174.25/1180.81	40:02 ERROR: Failed to solve instance
2174.25/1180.81	java.lang.OutOfMemoryError: GC overhead limit exceeded
2174.66/1181.27	40:02 ERROR: Failed to solve instance
2174.66/1181.27	java.lang.OutOfMemoryError: GC overhead limit exceeded
2175.19/1181.76	40:03 ERROR: Failed to solve instance
2175.19/1181.76	java.lang.OutOfMemoryError: GC overhead limit exceeded
2182.71/1187.64	40:09 ERROR: Failed to solve instance
2182.71/1187.64	java.lang.OutOfMemoryError: GC overhead limit exceeded
2183.22/1188.11	40:09 ERROR: Failed to solve instance
2183.22/1188.11	java.lang.OutOfMemoryError: GC overhead limit exceeded
2185.81/1190.43	40:12 ERROR: Failed to solve instance
2185.81/1190.43	java.lang.OutOfMemoryError: GC overhead limit exceeded
2186.62/1191.26	40:12 ERROR: Failed to solve instance
2186.62/1191.26	java.lang.OutOfMemoryError: GC overhead limit exceeded
2187.13/1191.72	40:13 ERROR: Failed to solve instance
2187.13/1191.72	java.lang.OutOfMemoryError: GC overhead limit exceeded
2187.55/1192.22	40:13 ERROR: Failed to solve instance
2187.55/1192.22	java.lang.OutOfMemoryError: GC overhead limit exceeded
2194.90/1198.21	40:19 ERROR: Failed to solve instance
2194.90/1198.21	java.lang.OutOfMemoryError: GC overhead limit exceeded
2195.31/1198.60	40:20 ERROR: Failed to solve instance
2195.31/1198.60	java.lang.OutOfMemoryError: GC overhead limit exceeded
2195.71/1199.01	40:20 ERROR: Failed to solve instance
2195.71/1199.01	java.lang.OutOfMemoryError: GC overhead limit exceeded
2196.13/1199.45	40:21 ERROR: Failed to solve instance
2196.13/1199.45	java.lang.OutOfMemoryError: GC overhead limit exceeded
2197.08/1200.36	40:21 ERROR: Failed to solve instance
2197.08/1200.36	java.lang.OutOfMemoryError: GC overhead limit exceeded
2201.36/1204.04	40:25 ERROR: Failed to solve instance
2201.36/1204.04	java.lang.OutOfMemoryError: GC overhead limit exceeded
2201.77/1204.46	40:26 ERROR: Failed to solve instance
2201.77/1204.46	java.lang.OutOfMemoryError: GC overhead limit exceeded
2202.28/1204.92	40:26 ERROR: Failed to solve instance
2202.28/1204.92	java.lang.OutOfMemoryError: GC overhead limit exceeded
2206.33/1208.37	40:30 ERROR: Failed to solve instance
2206.33/1208.37	java.lang.OutOfMemoryError: GC overhead limit exceeded
2207.34/1209.34	40:30 ERROR: Failed to solve instance
2207.34/1209.34	java.lang.OutOfMemoryError: GC overhead limit exceeded
2207.75/1209.78	40:31 ERROR: Failed to solve instance
2207.75/1209.78	java.lang.OutOfMemoryError: GC overhead limit exceeded
2208.29/1210.27	40:31 ERROR: Failed to solve instance
2208.29/1210.27	java.lang.OutOfMemoryError: GC overhead limit exceeded
2214.72/1215.20	40:36 ERROR: Failed to solve instance
2214.72/1215.20	java.lang.OutOfMemoryError: GC overhead limit exceeded
2215.03/1215.57	40:37 ERROR: Failed to solve instance
2215.03/1215.57	java.lang.OutOfMemoryError: GC overhead limit exceeded
2215.76/1216.31	40:37 ERROR: Failed to solve instance
2215.76/1216.31	java.lang.OutOfMemoryError: GC overhead limit exceeded
2218.50/1218.56	40:40 ERROR: Failed to solve instance
2218.50/1218.56	java.lang.OutOfMemoryError: GC overhead limit exceeded
2219.42/1219.42	40:41 ERROR: Failed to solve instance
2219.42/1219.42	java.lang.OutOfMemoryError: GC overhead limit exceeded
2219.83/1219.84	40:41 ERROR: Failed to solve instance
2219.83/1219.84	java.lang.OutOfMemoryError: GC overhead limit exceeded
2220.35/1220.34	40:41 ERROR: Failed to solve instance
2220.35/1220.34	java.lang.OutOfMemoryError: GC overhead limit exceeded
2223.63/1223.15	40:44 ERROR: Failed to solve instance
2223.63/1223.15	java.lang.OutOfMemoryError: GC overhead limit exceeded
2226.75/1225.71	40:47 ERROR: Failed to solve instance
2226.75/1225.71	java.lang.OutOfMemoryError: GC overhead limit exceeded
2227.56/1226.55	40:48 ERROR: Failed to solve instance
2227.56/1226.55	java.lang.OutOfMemoryError: GC overhead limit exceeded
2227.97/1226.99	40:48 ERROR: Failed to solve instance
2227.97/1226.99	java.lang.OutOfMemoryError: GC overhead limit exceeded
2228.49/1227.48	40:49 ERROR: Failed to solve instance
2228.49/1227.48	java.lang.OutOfMemoryError: GC overhead limit exceeded
2233.07/1231.02	40:52 ERROR: Failed to solve instance
2233.07/1231.02	java.lang.OutOfMemoryError: GC overhead limit exceeded
2233.92/1231.89	40:53 ERROR: Failed to solve instance
2233.92/1231.89	java.lang.OutOfMemoryError: GC overhead limit exceeded
2234.35/1232.31	40:53 ERROR: Failed to solve instance
2234.35/1232.31	java.lang.OutOfMemoryError: GC overhead limit exceeded
2237.73/1234.91	40:56 ERROR: Failed to solve instance
2237.73/1234.91	java.lang.OutOfMemoryError: GC overhead limit exceeded
2238.55/1235.76	40:57 ERROR: Failed to solve instance
2238.55/1235.76	java.lang.OutOfMemoryError: GC overhead limit exceeded
2239.07/1236.23	40:57 ERROR: Failed to solve instance
2239.07/1236.23	java.lang.OutOfMemoryError: GC overhead limit exceeded
2239.50/1236.71	40:58 ERROR: Failed to solve instance
2239.50/1236.71	java.lang.OutOfMemoryError: GC overhead limit exceeded
2246.11/1241.94	41:03 ERROR: Failed to solve instance
2246.11/1241.94	java.lang.OutOfMemoryError: GC overhead limit exceeded
2246.92/1242.79	41:04 ERROR: Failed to solve instance
2246.92/1242.79	java.lang.OutOfMemoryError: GC overhead limit exceeded
2247.44/1243.23	41:04 ERROR: Failed to solve instance
2247.44/1243.23	java.lang.OutOfMemoryError: GC overhead limit exceeded
2247.86/1243.69	41:05 ERROR: Failed to solve instance
2247.86/1243.69	java.lang.OutOfMemoryError: GC overhead limit exceeded
2248.40/1244.15	41:05 ERROR: Failed to solve instance
2248.40/1244.15	java.lang.OutOfMemoryError: GC overhead limit exceeded
2251.85/1247.07	41:08 ERROR: Failed to solve instance
2251.85/1247.07	java.lang.OutOfMemoryError: GC overhead limit exceeded
2252.25/1247.49	41:09 ERROR: Failed to solve instance
2252.25/1247.49	java.lang.OutOfMemoryError: GC overhead limit exceeded
2252.76/1247.94	41:09 ERROR: Failed to solve instance
2252.76/1247.94	java.lang.OutOfMemoryError: GC overhead limit exceeded
2253.27/1248.42	41:10 ERROR: Failed to solve instance
2253.27/1248.42	java.lang.OutOfMemoryError: GC overhead limit exceeded
2260.82/1254.67	41:16 ERROR: Failed to solve instance
2260.82/1254.67	java.lang.OutOfMemoryError: GC overhead limit exceeded
2261.23/1255.08	41:16 ERROR: Failed to solve instance
2261.23/1255.08	java.lang.OutOfMemoryError: GC overhead limit exceeded
2261.74/1255.52	41:17 ERROR: Failed to solve instance
2261.74/1255.52	java.lang.OutOfMemoryError: GC overhead limit exceeded
2262.16/1255.98	41:17 ERROR: Failed to solve instance
2262.16/1255.98	java.lang.OutOfMemoryError: GC overhead limit exceeded
2265.60/1258.84	41:20 ERROR: Failed to solve instance
2265.60/1258.84	java.lang.OutOfMemoryError: GC overhead limit exceeded
2268.23/1261.07	41:22 ERROR: Failed to solve instance
2268.23/1261.07	java.lang.OutOfMemoryError: GC overhead limit exceeded
2268.74/1261.51	41:23 ERROR: Failed to solve instance
2268.74/1261.51	java.lang.OutOfMemoryError: GC overhead limit exceeded
2269.56/1262.36	41:23 ERROR: Failed to solve instance
2269.56/1262.36	java.lang.OutOfMemoryError: GC overhead limit exceeded
2270.08/1262.84	41:24 ERROR: Failed to solve instance
2270.08/1262.84	java.lang.OutOfMemoryError: GC overhead limit exceeded
2274.64/1266.42	41:28 ERROR: Failed to solve instance
2274.64/1266.42	java.lang.OutOfMemoryError: GC overhead limit exceeded
2275.05/1266.86	41:28 ERROR: Failed to solve instance
2275.05/1266.86	java.lang.OutOfMemoryError: GC overhead limit exceeded
2275.78/1267.58	41:29 ERROR: Failed to solve instance
2275.78/1267.58	java.lang.OutOfMemoryError: GC overhead limit exceeded
2279.62/1270.74	41:32 ERROR: Failed to solve instance
2279.62/1270.74	java.lang.OutOfMemoryError: GC overhead limit exceeded
2280.04/1271.19	41:32 ERROR: Failed to solve instance
2280.04/1271.19	java.lang.OutOfMemoryError: GC overhead limit exceeded
2280.96/1272.08	41:33 ERROR: Failed to solve instance
2280.96/1272.08	java.lang.OutOfMemoryError: GC overhead limit exceeded
2288.59/1278.47	41:40 ERROR: Failed to solve instance
2288.59/1278.47	java.lang.OutOfMemoryError: GC overhead limit exceeded
2289.00/1278.86	41:40 ERROR: Failed to solve instance
2289.00/1278.86	java.lang.OutOfMemoryError: GC overhead limit exceeded
2289.41/1279.28	41:40 ERROR: Failed to solve instance
2289.41/1279.28	java.lang.OutOfMemoryError: GC overhead limit exceeded
2290.35/1280.15	41:41 ERROR: Failed to solve instance
2290.35/1280.15	java.lang.OutOfMemoryError: GC overhead limit exceeded
2290.78/1280.60	41:42 ERROR: Failed to solve instance
2290.78/1280.60	java.lang.OutOfMemoryError: GC overhead limit exceeded
2291.33/1281.10	41:42 ERROR: Failed to solve instance
2291.33/1281.10	java.lang.OutOfMemoryError: GC overhead limit exceeded
2298.26/1286.56	41:48 ERROR: Failed to solve instance
2298.26/1286.56	java.lang.OutOfMemoryError: GC overhead limit exceeded
2298.58/1286.89	41:48 ERROR: Failed to solve instance
2298.58/1286.89	java.lang.OutOfMemoryError: GC overhead limit exceeded
2299.20/1287.49	41:49 ERROR: Failed to solve instance
2299.20/1287.49	java.lang.OutOfMemoryError: GC overhead limit exceeded
2302.63/1290.42	41:52 ERROR: Failed to solve instance
2302.63/1290.42	java.lang.OutOfMemoryError: GC overhead limit exceeded
2303.04/1290.86	41:52 ERROR: Failed to solve instance
2303.04/1290.86	java.lang.OutOfMemoryError: GC overhead limit exceeded
2303.55/1291.34	41:52 ERROR: Failed to solve instance
2303.55/1291.34	java.lang.OutOfMemoryError: GC overhead limit exceeded
2304.32/1292.08	41:53 ERROR: Failed to solve instance
2304.32/1292.08	java.lang.OutOfMemoryError: GC overhead limit exceeded
2310.66/1296.98	41:58 ERROR: Failed to solve instance
2310.66/1296.98	java.lang.OutOfMemoryError: GC overhead limit exceeded
2311.68/1297.93	41:59 ERROR: Failed to solve instance
2311.68/1297.93	java.lang.OutOfMemoryError: GC overhead limit exceeded
2312.10/1298.37	41:59 ERROR: Failed to solve instance
2312.10/1298.37	java.lang.OutOfMemoryError: GC overhead limit exceeded
2312.61/1298.85	42:00 ERROR: Failed to solve instance
2312.61/1298.85	java.lang.OutOfMemoryError: GC overhead limit exceeded
2313.14/1299.38	42:01 ERROR: Failed to solve instance
2313.14/1299.38	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-3312362-1304112021/watcher-3312362-1304112021 -o /tmp/evaluation-result-3312362-1304112021/solver-3312362-1304112021 -C 4800 -W 1300 -M 15500 run 15000 4 HOME HOME HOME/instance-3312362-1304112021.cnf 

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

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


[startup+0 s]
/proc/loadavg: 7.56 7.90 7.08 4/198 9655
/proc/meminfo: memFree=31141944/32951124 swapFree=67111356/67111528
[pid=9655] ppid=9653 vsize=23028 CPUtime=0 cores=0,2,4,6
/proc/9655/stat : 9655 (java) R 9653 9655 8948 0 -1 4202496 1233 0 0 0 0 0 0 0 25 0 1 0 503617727 23580672 719 33554432000 1073741824 1073778376 140737348854480 18446744073709551615 47203065390400 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/9655/statm: 5757 733 543 9 0 124 0

[startup+0.039869 s]
/proc/loadavg: 7.56 7.90 7.08 4/198 9655
/proc/meminfo: memFree=31141944/32951124 swapFree=67111356/67111528
[pid=9655] ppid=9653 vsize=15604248 CPUtime=0.02 cores=0,2,4,6
/proc/9655/stat : 9655 (java) S 9653 9655 8948 0 -1 4202496 3792 0 1 0 2 0 0 0 25 0 13 0 503617727 15978749952 3231 33554432000 1073741824 1073778376 140737348854480 18446744073709551615 270350186469 0 0 0 16800971 18446744073709551615 0 0 17 2 0 0 0
/proc/9655/statm: 3901062 3231 1682 9 0 3891810 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 15604248

[startup+0.100854 s]
/proc/loadavg: 7.56 7.90 7.08 4/198 9655
/proc/meminfo: memFree=31141944/32951124 swapFree=67111356/67111528
[pid=9655] ppid=9653 vsize=15677228 CPUtime=0.1 cores=0,2,4,6
/proc/9655/stat : 9655 (java) S 9653 9655 8948 0 -1 4202496 5605 0 1 0 9 1 0 0 25 0 18 0 503617727 16053481472 5044 33554432000 1073741824 1073778376 140737348854480 18446744073709551615 270350186469 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/9655/statm: 3919307 5045 2117 9 0 3910026 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 15677228

[startup+0.300796 s]
/proc/loadavg: 7.56 7.90 7.08 4/198 9655
/proc/meminfo: memFree=31141944/32951124 swapFree=67111356/67111528
[pid=9655] ppid=9653 vsize=15681324 CPUtime=0.51 cores=0,2,4,6
/proc/9655/stat : 9655 (java) S 9653 9655 8948 0 -1 4202496 16212 0 1 0 49 2 0 0 25 0 18 0 503617727 16057675776 14721 33554432000 1073741824 1073778376 140737348854480 18446744073709551615 270350186469 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/9655/statm: 3920331 14728 2206 9 0 3911050 0
Current children cumulated CPU time (s) 0.51
Current children cumulated vsize (KiB) 15681324

[startup+0.700718 s]
/proc/loadavg: 7.56 7.90 7.08 4/198 9655
/proc/meminfo: memFree=31141944/32951124 swapFree=67111356/67111528
[pid=9655] ppid=9653 vsize=15681324 CPUtime=0.92 cores=0,2,4,6
/proc/9655/stat : 9655 (java) S 9653 9655 8948 0 -1 4202496 41797 0 1 0 87 5 0 0 25 0 18 0 503617727 16057675776 40301 33554432000 1073741824 1073778376 140737348854480 18446744073709551615 270350186469 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/9655/statm: 3920331 40301 2222 9 0 3911050 0
Current children cumulated CPU time (s) 0.92
Current children cumulated vsize (KiB) 15681324

[startup+1.50155 s]
/proc/loadavg: 7.56 7.90 7.08 7/220 9677
/proc/meminfo: memFree=30944052/32951124 swapFree=67111356/67111528
[pid=9655] ppid=9653 vsize=15720740 CPUtime=2.46 cores=0,2,4,6
/proc/9655/stat : 9655 (java) S 9653 9655 8948 0 -1 4202496 57707 0 1 0 240 6 0 0 25 0 22 0 503617727 16098037760 51526 33554432000 1073741824 1073778376 140737348854480 18446744073709551615 270350186469 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/9655/statm: 3930185 51526 2258 9 0 3920904 0
[pid=9655/tid=9657] ppid=9653 vsize=15720740 CPUtime=1.46 cores=0,2,4,6
/proc/9655/task/9657/stat : 9657 (java) R 9653 9655 8948 0 -1 4202560 35654 0 1 0 143 3 0 0 21 0 22 0 503617727 16098037760 51526 33554432000 1073741824 1073778376 140737348854480 18446744073709551615 47203060720592 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=9655/tid=9658] ppid=9653 vsize=15720740 CPUtime=0 cores=0,2,4,6
/proc/9655/task/9658/stat : 9658 (java) S 9653 9655 8948 0 -1 4202560 296 0 0 0 0 0 0 0 18 0 22 0 503617728 16098037760 51526 33554432000 1073741824 1073778376 140737348854480 18446744073709551615 270350199705 0 4 0 16800975 18446604453967480768 0 0 -1 0 0 0 0
[pid=9655/tid=9659] ppid=9653 vsize=15720740 CPUtime=0 cores=0,2,4,6
/proc/9655/task/9659/stat : 9659 (java) S 9653 9655 8948 0 -1 4202560 388 0 0 0 0 0 0 0 18 0 22 0 503617728 16098037760 51526 33554432000 1073741824 1073778376 140737348854480 18446744073709551615 270350199705 0 4 0 16800975 18446604453967480768 0 0 -1 6 0 0 0
[pid=9655/tid=9660] ppid=9653 vsize=15720740 CPUtime=0 cores=0,2,4,6
/proc/9655/task/9660/stat : 9660 (java) S 9653 9655 8948 0 -1 4202560 926 0 0 0 0 0 0 0 16 0 22 0 503617728 16098037760 51526 33554432000 1073741824 1073778376 140737348854480 18446744073709551615 270350199705 0 4 0 16800975 18446604453967480768 0 0 -1 6 0 0 0
[pid=9655/tid=9661] ppid=9653 vsize=15720740 CPUtime=0 cores=0,2,4,6
/proc/9655/task/9661/stat : 9661 (java) S 9653 9655 8948 0 -1 4202560 503 0 0 0 0 0 0 0 18 0 22 0 503617728 16098037760 51526 33554432000 1073741824 1073778376 140737348854480 18446744073709551615 270350199705 0 4 0 16800975 18446604453967480768 0 0 -1 2 0 0 0
[pid=9655/tid=9662] ppid=9653 vsize=15720740 CPUtime=0 cores=0,2,4,6
/proc/9655/task/9662/stat : 9662 (java) S 9653 9655 8948 0 -1 4202560 1077 0 0 0 0 0 0 0 18 0 22 0 503617728 16098037760 51526 33554432000 1073741824 1073778376 140737348854480 18446744073709551615 270350199705 0 4 0 16800975 18446604453967480768 0 0 -1 4 0 0 0
[pid=9655/tid=9663] ppid=9653 vsize=15720740 CPUtime=0 cores=0,2,4,6
/proc/9655/task/9663/stat : 9663 (java) S 9653 9655 8948 0 -1 4202560 57 0 0 0 0 0 0 0 18 0 22 0 503617728 16098037760 51526 33554432000 1073741824 1073778376 140737348854480 18446744073709551615 270350199705 0 4 0 16800975 18446604453967480768 0 0 -1 4 0 0 0
[pid=9655/tid=9664] ppid=9653 vsize=15720740 CPUtime=0 cores=0,2,4,6
/proc/9655/task/9664/stat : 9664 (java) S 9653 9655 8948 0 -1 4202560 384 0 0 0 0 0 0 0 18 0 22 0 503617728 16098037760 51526 33554432000 1073741824 1073778376 140737348854480 18446744073709551615 270350199705 0 4 0 16800975 18446604453967480768 0 0 -1 0 0 0 0
[pid=9655/tid=9665] ppid=9653 vsize=15720740 CPUtime=0 cores=0,2,4,6
/proc/9655/task/9665/stat : 9665 (java) S 9653 9655 8948 0 -1 4202560 50 0 0 0 0 0 0 0 18 0 22 0 503617728 16098037760 51526 33554432000 1073741824 1073778376 140737348854480 18446744073709551615 270350199705 0 4 0 16800975 18446604453967480768 0 0 -1 6 0 0 0
[pid=9655/tid=9666] ppid=9653 vsize=15720740 CPUtime=0 cores=0,2,4,6
/proc/9655/task/9666/stat : 9666 (java) S 9653 9655 8948 0 -1 4202560 72 0 0 0 0 0 0 0 18 0 22 0 503617729 16098037760 51526 33554432000 1073741824 1073778376 140737348854480 18446744073709551615 270350200320 0 0 0 16800975 18446604453967480768 0 0 -1 4 0 0 0
[pid=9655/tid=9667] ppid=9653 vsize=15720740 CPUtime=0 cores=0,2,4,6
/proc/9655/task/9667/stat : 9667 (java) S 9653 9655 8948 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 503617729 16098037760 51526 33554432000 1073741824 1073778376 140737348854480 18446744073709551615 270350199705 0 4 0 16800975 18446604453967480768 0 0 -1 0 0 0 0
[pid=9655/tid=9668] ppid=9653 vsize=15720740 CPUtime=0 cores=0,2,4,6
/proc/9655/task/9668/stat : 9668 (java) S 9653 9655 8948 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 22 0 503617729 16098037760 51526 33554432000 1073741824 1073778376 140737348854480 18446744073709551615 270350199705 0 4 0 16800975 18446604453967480768 0 0 -1 0 0 0 0
[pid=9655/tid=9669] ppid=9653 vsize=15720740 CPUtime=0 cores=0,2,4,6
/proc/9655/task/9669/stat : 9669 (java) S 9653 9655 8948 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 503617731 16098037760 51526 33554432000 1073741824 1073778376 140737348854480 18446744073709551615 270350207409 0 4 0 16800975 18446604453967480768 0 0 -1 2 0 0 0
[pid=9655/tid=9670] ppid=9653 vsize=15720740 CPUtime=0.23 cores=0,2,4,6
/proc/9655/task/9670/stat : 9670 (java) S 9653 9655 8948 0 -1 4202560 2290 0 0 0 23 0 0 0 15 0 22 0 503617731 16098037760 51526 33554432000 1073741824 1073778376 140737348854480 18446744073709551615 270350199705 0 4 0 16800975 18446604453967480768 0 0 -1 4 0 0 0
[pid=9655/tid=9671] ppid=9653 vsize=15720740 CPUtime=0.72 cores=0,2,4,6
/proc/9655/task/9671/stat : 9671 (java) R 9653 9655 8948 0 -1 4202560 14581 0 0 0 71 1 0 0 16 0 22 0 503617731 16098037760 51526 33554432000 1073741824 1073778376 140737348854480 18446744073709551615 47203061552536 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=9655/tid=9672] ppid=9653 vsize=15720740 CPUtime=0 cores=0,2,4,6
/proc/9655/task/9672/stat : 9672 (java) S 9653 9655 8948 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 503617731 16098037760 51526 33554432000 1073741824 1073778376 140737348854480 18446744073709551615 270350199705 0 4 0 16800975 18446604453967480768 0 0 -1 2 0 0 0
[pid=9655/tid=9673] ppid=9653 vsize=15720740 CPUtime=0 cores=0,2,4,6
/proc/9655/task/9673/stat : 9673 (java) S 9653 9655 8948 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 503617731 16098037760 51526 33554432000 1073741824 1073778376 140737348854480 18446744073709551615 270350200320 0 4 0 16800975 18446604453967480768 0 0 -1 6 0 0 0
[pid=9655/tid=9674] ppid=9653 vsize=15720740 CPUtime=0 cores=0,2,4,6
/proc/9655/task/9674/stat : 9674 (java) S 9653 9655 8948 0 -1 4202560 14 0 0 0 0 0 0 0 15 0 22 0 503617802 16098037760 51526 33554432000 1073741824 1073778376 140737348854480 18446744073709551615 270350200320 0 4 0 16800975 18446604453967480768 0 0 -1 6 0 0 0
[pid=9655/tid=9675] ppid=9653 vsize=15720740 CPUtime=0 cores=0,2,4,6
/proc/9655/task/9675/stat : 9675 (java) S 9653 9655 8948 0 -1 4202560 13 0 0 0 0 0 0 0 15 0 22 0 503617802 16098037760 51526 33554432000 1073741824 1073778376 140737348854480 18446744073709551615 270350200320 0 4 0 16800975 18446604453967480768 0 0 -1 6 0 0 0
[pid=9655/tid=9676] ppid=9653 vsize=15720740 CPUtime=0 cores=0,2,4,6
/proc/9655/task/9676/stat : 9676 (java) S 9653 9655 8948 0 -1 4202560 10 0 0 0 0 0 0 0 15 0 22 0 503617803 16098037760 51526 33554432000 1073741824 1073778376 140737348854480 18446744073709551615 270350200320 0 4 0 16800975 18446604453967480768 0 0 -1 6 0 0 0
[pid=9655/tid=9677] ppid=9653 vsize=15720740 CPUtime=0 cores=0,2,4,6
/proc/9655/task/9677/stat : 9677 (java) S 9653 9655 8948 0 -1 4202560 7 0 0 0 0 0 0 0 15 0 22 0 503617803 16098037760 51526 33554432000 1073741824 1073778376 140737348854480 18446744073709551615 270350200320 0 4 0 16800975 18446604453967480768 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2.46
Current children cumulated vsize (KiB) 15720740

[startup+3.10124 s]
/proc/loadavg: 7.56 7.90 7.08 8/220 9677
/proc/meminfo: memFree=30708576/32951124 swapFree=67111356/67111528
[pid=9655] ppid=9653 vsize=15720928 CPUtime=5.9 cores=0,2,4,6
/proc/9655/stat : 9655 (java) S 9653 9655 8948 0 -1 4202496 73152 0 1 0 582 8 0 0 25 0 22 0 503617727 16098230272 64305 33554432000 1073741824 1073778376 140737348854480 18446744073709551615 270350186469 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/9655/statm: 3930232 64305 2275 9 0 3920951 0
[pid=9655/tid=9657] ppid=9653 vsize=15720928 CPUtime=2.28 cores=0,2,4,6
/proc/9655/task/9657/stat : 9657 (java) S 9653 9655 8948 0 -1 4202560 35713 0 1 0 225 3 0 0 23 0 22 0 503617727 16098230272 64305 33554432000 1073741824 1073778376 140737348854480 18446744073709551615 270350199705 0 4 0 16800975 18446604453967480768 0 0 -1 2 0 0 0
[pid=9655/tid=9658] ppid=9653 vsize=15720928 CPUtime=0 cores=0,2,4,6
/proc/9655/task/9658/stat : 9658 (java) S 9653 9655 8948 0 -1 4202560 2804 0 0 0 0 0 0 0 18 0 22 0 503617728 16098230272 64305 33554432000 1073741824 1073778376 140737348854480 18446744073709551615 270350199705 0 4 0 16800975 18446604453967480768 0 0 -1 0 0 0 0
[pid=9655/tid=9659] ppid=9653 vsize=15720928 CPUtime=0 cores=0,2,4,6
/proc/9655/task/9659/stat : 9659 (java) S 9653 9655 8948 0 -1 4202560 388 0 0 0 0 0 0 0 18 0 22 0 503617728 16098230272 64305 33554432000 1073741824 1073778376 140737348854480 18446744073709551615 270350199705 0 4 0 16800975 18446604453967480768 0 0 -1 6 0 0 0
[pid=9655/tid=9660] ppid=9653 vsize=15720928 CPUtime=0.02 cores=0,2,4,6
/proc/9655/task/9660/stat : 9660 (java) S 9653 9655 8948 0 -1 4202560 2791 0 0 0 2 0 0 0 16 0 22 0 503617728 16098230272 64305 33554432000 1073741824 1073778376 140737348854480 18446744073709551615 270350199705 0 4 0 16800975 18446604453967480768 0 0 -1 6 0 0 0
[pid=9655/tid=9661] ppid=9653 vsize=15720928 CPUtime=0 cores=0,2,4,6
/proc/9655/task/9661/stat : 9661 (java) S 9653 9655 8948 0 -1 4202560 506 0 0 0 0 0 0 0 18 0 22 0 503617728 16098230272 64305 33554432000 1073741824 1073778376 140737348854480 18446744073709551615 270350199705 0 4 0 16800975 18446604453967480768 0 0 -1 0 0 0 0
[pid=9655/tid=9662] ppid=9653 vsize=15720928 CPUtime=0.02 cores=0,2,4,6
/proc/9655/task/9662/stat : 9662 (java) S 9653 9655 8948 0 -1 4202560 5463 0 0 0 2 0 0 0 18 0 22 0 503617728 16098230272 64305 33554432000 1073741824 1073778376 140737348854480 18446744073709551615 270350199705 0 4 0 16800975 18446604453967480768 0 0 -1 2 0 0 0
[pid=9655/tid=9663] ppid=9653 vsize=15720928 CPUtime=0 cores=0,2,4,6
/proc/9655/task/9663/stat : 9663 (java) S 9653 9655 8948 0 -1 4202560 57 0 0 0 0 0 0 0 17 0 22 0 503617728 16098230272 64305 33554432000 1073741824 1073778376 140737348854480 18446744073709551615 270350199705 0 4 0 16800975 18446604453967480768 0 0 -1 0 0 0 0
[pid=9655/tid=9664] ppid=9653 vsize=15720928 CPUtime=0.02 cores=0,2,4,6
/proc/9655/task/9664/stat : 9664 (java) S 9653 9655 8948 0 -1 4202560 3947 0 0 0 2 0 0 0 18 0 22 0 503617728 16098230272 64305 33554432000 1073741824 1073778376 140737348854480 18446744073709551615 270350199705 0 4 0 16800975 18446604453967480768 0 0 -1 0 0 0 0
[pid=9655/tid=9665] ppid=9653 vsize=15720928 CPUtime=0 cores=0,2,4,6
/proc/9655/task/9665/stat : 9665 (java) S 9653 9655 8948 0 -1 4202560 50 0 0 0 0 0 0 0 17 0 22 0 503617728 16098230272 64305 33554432000 1073741824 1073778376 140737348854480 18446744073709551615 270350199705 0 4 0 16800975 18446604453967480768 0 0 -1 0 0 0 0
[pid=9655/tid=9666] ppid=9653 vsize=15720928 CPUtime=0 cores=0,2,4,6
/proc/9655/task/9666/stat : 9666 (java) S 9653 9655 8948 0 -1 4202560 74 0 0 0 0 0 0 0 15 0 22 0 503617729 16098230272 64305 33554432000 1073741824 1073778376 140737348854480 18446744073709551615 270350200320 0 0 0 16800975 18446604453967480768 0 0 -1 6 0 0 0
[pid=9655/tid=9667] ppid=9653 vsize=15720928 CPUtime=0 cores=0,2,4,6
/proc/9655/task/9667/stat : 9667 (java) S 9653 9655 8948 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 503617729 16098230272 64305 33554432000 1073741824 1073778376 140737348854480 18446744073709551615 270350199705 0 4 0 16800975 18446604453967480768 0 0 -1 0 0 0 0
[pid=9655/tid=9668] ppid=9653 vsize=15720928 CPUtime=0 cores=0,2,4,6
/proc/9655/task/9668/stat : 9668 (java) S 9653 9655 8948 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 22 0 503617729 16098230272 64305 33554432000 1073741824 1073778376 140737348854480 18446744073709551615 270350199705 0 4 0 16800975 18446604453967480768 0 0 -1 0 0 0 0
[pid=9655/tid=9669] ppid=9653 vsize=15720928 CPUtime=0 cores=0,2,4,6
/proc/9655/task/9669/stat : 9669 (java) S 9653 9655 8948 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 503617731 16098230272 64305 33554432000 1073741824 1073778376 140737348854480 18446744073709551615 270350207409 0 4 0 16800975 18446604453967480768 0 0 -1 2 0 0 0
[pid=9655/tid=9670] ppid=9653 vsize=15720928 CPUtime=0.9 cores=0,2,4,6
/proc/9655/task/9670/stat : 9670 (java) S 9653 9655 8948 0 -1 4202560 3223 0 0 0 89 1 0 0 15 0 22 0 503617731 16098230272 64305 33554432000 1073741824 1073778376 140737348854480 18446744073709551615 270350199705 0 4 0 16800975 18446604453967480768 0 0 -1 4 0 0 0
[pid=9655/tid=9671] ppid=9653 vsize=15720928 CPUtime=1.36 cores=0,2,4,6
/proc/9655/task/9671/stat : 9671 (java) S 9653 9655 8948 0 -1 4202560 16693 0 0 0 135 1 0 0 15 0 22 0 503617731 16098230272 64305 33554432000 1073741824 1073778376 140737348854480 18446744073709551615 270350199705 0 4 0 16800975 18446604453967480768 0 0 -1 6 0 0 0
[pid=9655/tid=9672] ppid=9653 vsize=15720928 CPUtime=0 cores=0,2,4,6
/proc/9655/task/9672/stat : 9672 (java) S 9653 9655 8948 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 503617731 16098230272 64305 33554432000 1073741824 1073778376 140737348854480 18446744073709551615 270350199705 0 4 0 16800975 18446604453967480768 0 0 -1 2 0 0 0
[pid=9655/tid=9673] ppid=9653 vsize=15720928 CPUtime=0 cores=0,2,4,6
/proc/9655/task/9673/stat : 9673 (java) S 9653 9655 8948 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 503617731 16098230272 64305 33554432000 1073741824 1073778376 140737348854480 18446744073709551615 270350200320 0 4 0 16800975 18446604453967480768 0 0 -1 4 0 0 0
[pid=9655/tid=9674] ppid=9653 vsize=15720928 CPUtime=0.07 cores=0,2,4,6
/proc/9655/task/9674/stat : 9674 (java) R 9653 9655 8948 0 -1 4202560 25 0 0 0 7 0 0 0 15 0 22 0 503617802 16098230272 64305 33554432000 1073741824 1073778376 140737348854480 18446744073709551615 270350200320 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=9655/tid=9675] ppid=9653 vsize=15720928 CPUtime=0.53 cores=0,2,4,6
/proc/9655/task/9675/stat : 9675 (java) R 9653 9655 8948 0 -1 4202560 15 0 0 0 53 0 0 0 16 0 22 0 503617802 16098230272 64305 33554432000 1073741824 1073778376 140737348854480 18446744073709551615 46912506155967 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=9655/tid=9676] ppid=9653 vsize=15720928 CPUtime=0.31 cores=0,2,4,6
/proc/9655/task/9676/stat : 9676 (java) S 9653 9655 8948 0 -1 4202560 11 0 0 0 31 0 0 0 16 0 22 0 503617803 16098230272 64305 33554432000 1073741824 1073778376 140737348854480 18446744073709551615 270350200320 0 4 0 16800975 18446604453967480768 0 0 -1 0 0 0 0
[pid=9655/tid=9677] ppid=9653 vsize=15720928 CPUtime=0.29 cores=0,2,4,6
/proc/9655/task/9677/stat : 9677 (java) S 9653 9655 8948 0 -1 4202560 7 0 0 0 29 0 0 0 15 0 22 0 503617803 16098230272 64305 33554432000 1073741824 1073778376 140737348854480 18446744073709551615 270350200320 0 4 0 16800975 18446604453967480768 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 5.9
Current children cumulated vsize (KiB) 15720928

[startup+6.30157 s]
/proc/loadavg: 7.51 7.88 7.08 11/220 9677
/proc/meminfo: memFree=29494352/32951124 swapFree=67111356/67111528
[pid=9655] ppid=9653 vsize=15720928 CPUtime=18.43 cores=0,2,4,6
/proc/9655/stat : 9655 (java) S 9653 9655 8948 0 -1 4202496 264725 0 1 0 1808 35 0 0 25 0 22 0 503617727 16098230272 255529 33554432000 1073741824 1073778376 140737348854480 18446744073709551615 270350186469 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/9655/statm: 3930232 255529 2275 9 0 3920951 0
[pid=9655/tid=9657] ppid=9653 vsize=15720928 CPUtime=2.28 cores=0,2,4,6
/proc/9655/task/9657/stat : 9657 (java) S 9653 9655 8948 0 -1 4202560 35713 0 1 0 225 3 0 0 23 0 22 0 503617727 16098230272 255529 33554432000 1073741824 1073778376 140737348854480 18446744073709551615 270350199705 0 4 0 16800975 18446604453967480768 0 0 -1 2 0 0 0
[pid=9655/tid=9658] ppid=9653 vsize=15720928 CPUtime=0.07 cores=0,2,4,6
/proc/9655/task/9658/stat : 9658 (java) S 9653 9655 8948 0 -1 4202560 15102 0 0 0 5 2 0 0 15 0 22 0 503617728 16098230272 255529 33554432000 1073741824 1073778376 140737348854480 18446744073709551615 270350199705 0 4 0 16800975 18446604453967480768 0 0 -1 0 0 0 0
[pid=9655/tid=9659] ppid=9653 vsize=15720928 CPUtime=0.06 cores=0,2,4,6
/proc/9655/task/9659/stat : 9659 (java) S 9653 9655 8948 0 -1 4202560 10802 0 0 0 5 1 0 0 15 0 22 0 503617728 16098230272 255529 33554432000 1073741824 1073778376 140737348854480 18446744073709551615 270350199705 0 4 0 16800975 18446604453967480768 0 0 -1 4 0 0 0
[pid=9655/tid=9660] ppid=9653 vsize=15720928 CPUtime=0.15 cores=0,2,4,6
/proc/9655/task/9660/stat : 9660 (java) S 9653 9655 8948 0 -1 4202560 29566 0 0 0 11 4 0 0 16 0 22 0 503617728 16098230272 255529 33554432000 1073741824 1073778376 140737348854480 18446744073709551615 270350199705 0 4 0 16800975 18446604453967480768 0 0 -1 2 0 0 0
[pid=9655/tid=9661] ppid=9653 vsize=15720928 CPUtime=0.06 cores=0,2,4,6
/proc/9655/task/9661/stat : 9661 (java) S 9653 9655 8948 0 -1 4202560 12583 0 0 0 4 2 0 0 15 0 22 0 503617728 16098230272 255529 33554432000 1073741824 1073778376 140737348854480 18446744073709551615 270350199705 0 4 0 16800975 18446604453967480768 0 0 -1 4 0 0 0
[pid=9655/tid=9662] ppid=9653 vsize=15720928 CPUtime=0.09 cores=0,2,4,6
/proc/9655/task/9662/stat : 9662 (java) S 9653 9655 8948 0 -1 4202560 15594 0 0 0 7 2 0 0 15 0 22 0 503617728 16098230272 255529 33554432000 1073741824 1073778376 140737348854480 18446744073709551615 270350199705 0 4 0 16800975 18446604453967480768 0 0 -1 4 0 0 0
[pid=9655/tid=9663] ppid=9653 vsize=15720928 CPUtime=0.13 cores=0,2,4,6
/proc/9655/task/9663/stat : 9663 (java) S 9653 9655 8948 0 -1 4202560 20536 0 0 0 10 3 0 0 15 0 22 0 503617728 16098230272 255529 33554432000 1073741824 1073778376 140737348854480 18446744073709551615 270350199705 0 4 0 16800975 18446604453967480768 0 0 -1 6 0 0 0
[pid=9655/tid=9664] ppid=9653 vsize=15720928 CPUtime=0.08 cores=0,2,4,6
/proc/9655/task/9664/stat : 9664 (java) S 9653 9655 8948 0 -1 4202560 16984 0 0 0 7 1 0 0 15 0 22 0 503617728 16098230272 255529 33554432000 1073741824 1073778376 140737348854480 18446744073709551615 270350199705 0 4 0 16800975 18446604453967480768 0 0 -1 0 0 0 0
[pid=9655/tid=9665] ppid=9653 vsize=15720928 CPUtime=0.07 cores=0,2,4,6
/proc/9655/task/9665/stat : 9665 (java) S 9653 9655 8948 0 -1 4202560 12556 0 0 0 6 1 0 0 15 0 22 0 503617728 16098230272 255529 33554432000 1073741824 1073778376 140737348854480 18446744073709551615 270350199705 0 4 0 16800975 18446604453967480768 0 0 -1 2 0 0 0
[pid=9655/tid=9666] ppid=9653 vsize=15720928 CPUtime=0 cores=0,2,4,6
/proc/9655/task/9666/stat : 9666 (java) S 9653 9655 8948 0 -1 4202560 576 0 0 0 0 0 0 0 15 0 22 0 503617729 16098230272 255529 33554432000 1073741824 1073778376 140737348854480 18446744073709551615 270350200320 0 0 0 16800975 18446604453967480768 0 0 -1 2 0 0 0
[pid=9655/tid=9667] ppid=9653 vsize=15720928 CPUtime=0 cores=0,2,4,6
/proc/9655/task/9667/stat : 9667 (java) S 9653 9655 8948 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 503617729 16098230272 255529 33554432000 1073741824 1073778376 140737348854480 18446744073709551615 270350199705 0 4 0 16800975 18446604453967480768 0 0 -1 0 0 0 0
[pid=9655/tid=9668] ppid=9653 vsize=15720928 CPUtime=0 cores=0,2,4,6
/proc/9655/task/9668/stat : 9668 (java) S 9653 9655 8948 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 22 0 503617729 16098230272 255529 33554432000 1073741824 1073778376 140737348854480 18446744073709551615 270350199705 0 4 0 16800975 18446604453967480768 0 0 -1 0 0 0 0
[pid=9655/tid=9669] ppid=9653 vsize=15720928 CPUtime=0 cores=0,2,4,6
/proc/9655/task/9669/stat : 9669 (java) S 9653 9655 8948 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 503617731 16098230272 255529 33554432000 1073741824 1073778376 140737348854480 18446744073709551615 270350207409 0 4 0 16800975 18446604453967480768 0 0 -1 2 0 0 0
[pid=9655/tid=9670] ppid=9653 vsize=15720928 CPUtime=0.9 cores=0,2,4,6
/proc/9655/task/9670/stat : 9670 (java) S 9653 9655 8948 0 -1 4202560 3223 0 0 0 89 1 0 0 15 0 22 0 503617731 16098230272 255529 33554432000 1073741824 1073778376 140737348854480 18446744073709551615 270350199705 0 4 0 16800975 18446604453967480768 0 0 -1 4 0 0 0

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

/proc/9655/task/9662/stat : 9662 (java) S 9653 9655 8948 0 -1 4202560 377619 0 0 0 201 62 0 0 16 0 22 0 503617728 16098230272 3866722 33554432000 1073741824 1073778376 140737348854480 18446744073709551615 270350199705 0 4 0 16800975 18446604453967480768 0 0 -1 2 0 0 0
[pid=9655/tid=9663] ppid=9653 vsize=15720928 CPUtime=2.2 cores=0,2,4,6
/proc/9655/task/9663/stat : 9663 (java) S 9653 9655 8948 0 -1 4202560 257903 0 0 0 174 46 0 0 16 0 22 0 503617728 16098230272 3866722 33554432000 1073741824 1073778376 140737348854480 18446744073709551615 270350199705 0 4 0 16800975 18446604453967480768 0 0 -1 6 0 0 0
[pid=9655/tid=9664] ppid=9653 vsize=15720928 CPUtime=3.02 cores=0,2,4,6
/proc/9655/task/9664/stat : 9664 (java) S 9653 9655 8948 0 -1 4202560 383190 0 0 0 240 62 0 0 15 0 22 0 503617728 16098230272 3866722 33554432000 1073741824 1073778376 140737348854480 18446744073709551615 270350199705 0 4 0 16800975 18446604453967480768 0 0 -1 0 0 0 0
[pid=9655/tid=9665] ppid=9653 vsize=15720928 CPUtime=2.27 cores=0,2,4,6
/proc/9655/task/9665/stat : 9665 (java) S 9653 9655 8948 0 -1 4202560 316636 0 0 0 170 57 0 0 16 0 22 0 503617728 16098230272 3866722 33554432000 1073741824 1073778376 140737348854480 18446744073709551615 270350199705 0 4 0 16800975 18446604453967480768 0 0 -1 6 0 0 0
[pid=9655/tid=9666] ppid=9653 vsize=15720928 CPUtime=847.06 cores=0,2,4,6
/proc/9655/task/9666/stat : 9666 (java) R 9653 9655 8948 0 -1 4202560 735076 0 0 0 84559 147 0 0 17 0 22 0 503617729 16098230272 3866722 33554432000 1073741824 1073778376 140737348854480 18446744073709551615 47203061571933 0 0 0 16800975 0 0 0 -1 2 0 0 0
[pid=9655/tid=9667] ppid=9653 vsize=15720928 CPUtime=0 cores=0,2,4,6
/proc/9655/task/9667/stat : 9667 (java) S 9653 9655 8948 0 -1 4202560 19 0 0 0 0 0 0 0 15 0 22 0 503617729 16098230272 3866722 33554432000 1073741824 1073778376 140737348854480 18446744073709551615 270350199705 0 4 0 16800975 18446604453967480768 0 0 -1 0 0 0 0
[pid=9655/tid=9668] ppid=9653 vsize=15720928 CPUtime=0 cores=0,2,4,6
/proc/9655/task/9668/stat : 9668 (java) S 9653 9655 8948 0 -1 4202560 9 0 0 0 0 0 0 0 15 0 22 0 503617729 16098230272 3866722 33554432000 1073741824 1073778376 140737348854480 18446744073709551615 270350199705 0 4 0 16800975 18446604453967480768 0 0 -1 0 0 0 0
[pid=9655/tid=9669] ppid=9653 vsize=15720928 CPUtime=0 cores=0,2,4,6
/proc/9655/task/9669/stat : 9669 (java) S 9653 9655 8948 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 503617731 16098230272 3866722 33554432000 1073741824 1073778376 140737348854480 18446744073709551615 270350207409 0 4 0 16800975 18446604453967480768 0 0 -1 2 0 0 0
[pid=9655/tid=9670] ppid=9653 vsize=15720928 CPUtime=1.01 cores=0,2,4,6
/proc/9655/task/9670/stat : 9670 (java) S 9653 9655 8948 0 -1 4202560 3272 0 0 0 100 1 0 0 15 0 22 0 503617731 16098230272 3866722 33554432000 1073741824 1073778376 140737348854480 18446744073709551615 270350199705 0 4 0 16800975 18446604453967480768 0 0 -1 4 0 0 0
[pid=9655/tid=9671] ppid=9653 vsize=15720928 CPUtime=1.56 cores=0,2,4,6
/proc/9655/task/9671/stat : 9671 (java) S 9653 9655 8948 0 -1 4202560 16715 0 0 0 155 1 0 0 15 0 22 0 503617731 16098230272 3866722 33554432000 1073741824 1073778376 140737348854480 18446744073709551615 270350199705 0 4 0 16800975 18446604453967480768 0 0 -1 2 0 0 0
[pid=9655/tid=9672] ppid=9653 vsize=15720928 CPUtime=0 cores=0,2,4,6
/proc/9655/task/9672/stat : 9672 (java) S 9653 9655 8948 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 503617731 16098230272 3866722 33554432000 1073741824 1073778376 140737348854480 18446744073709551615 270350199705 0 4 0 16800975 18446604453967480768 0 0 -1 2 0 0 0
[pid=9655/tid=9673] ppid=9653 vsize=15720928 CPUtime=0 cores=0,2,4,6
/proc/9655/task/9673/stat : 9673 (java) S 9653 9655 8948 0 -1 4202560 65 0 0 0 0 0 0 0 15 0 22 0 503617731 16098230272 3866722 33554432000 1073741824 1073778376 140737348854480 18446744073709551615 270350200320 0 4 0 16800975 18446604453967480768 0 0 -1 0 0 0 0
[pid=9655/tid=9674] ppid=9653 vsize=15720928 CPUtime=325.7 cores=0,2,4,6
/proc/9655/task/9674/stat : 9674 (java) S 9653 9655 8948 0 -1 4202560 123179 0 0 0 32548 22 0 0 15 0 22 0 503617802 16098230272 3866722 33554432000 1073741824 1073778376 140737348854480 18446744073709551615 270350199705 0 4 0 16800975 18446604453967480768 0 0 -1 6 0 0 0
[pid=9655/tid=9675] ppid=9653 vsize=15720928 CPUtime=325.54 cores=0,2,4,6
/proc/9655/task/9675/stat : 9675 (java) S 9653 9655 8948 0 -1 4202560 126429 0 0 0 32530 24 0 0 15 0 22 0 503617802 16098230272 3866722 33554432000 1073741824 1073778376 140737348854480 18446744073709551615 270350199705 0 4 0 16800975 18446604453967480768 0 0 -1 2 0 0 0
[pid=9655/tid=9676] ppid=9653 vsize=15720928 CPUtime=326.41 cores=0,2,4,6
/proc/9655/task/9676/stat : 9676 (java) S 9653 9655 8948 0 -1 4202560 128541 0 0 0 32616 25 0 0 15 0 22 0 503617803 16098230272 3866722 33554432000 1073741824 1073778376 140737348854480 18446744073709551615 270350199705 0 4 0 16800975 18446604453967480768 0 0 -1 4 0 0 0
[pid=9655/tid=9677] ppid=9653 vsize=15720928 CPUtime=326.38 cores=0,2,4,6
/proc/9655/task/9677/stat : 9677 (java) S 9653 9655 8948 0 -1 4202560 127719 0 0 0 32614 24 0 0 16 0 22 0 503617803 16098230272 3866722 33554432000 1073741824 1073778376 140737348854480 18446744073709551615 270350199705 0 4 0 16800975 18446604453967480768 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2176.15
Current children cumulated vsize (KiB) 15720928

[startup+1242.3 s]
/proc/loadavg: 3.47 4.92 5.84 2/193 9733
/proc/meminfo: memFree=15823476/32951124 swapFree=67111356/67111528
[pid=9655] ppid=9653 vsize=15720928 CPUtime=2246.51 cores=0,2,4,6
/proc/9655/stat : 9655 (java) S 9653 9655 8948 0 -1 4202496 3885162 0 1 0 223949 702 0 0 25 0 22 0 503617727 16098230272 3866722 33554432000 1073741824 1073778376 140737348854480 18446744073709551615 270350186469 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/9655/statm: 3930232 3866722 2294 9 0 3920951 0
[pid=9655/tid=9657] ppid=9653 vsize=15720928 CPUtime=2.28 cores=0,2,4,6
/proc/9655/task/9657/stat : 9657 (java) S 9653 9655 8948 0 -1 4202560 35713 0 1 0 225 3 0 0 23 0 22 0 503617727 16098230272 3866722 33554432000 1073741824 1073778376 140737348854480 18446744073709551615 270350199705 0 4 0 16800975 18446604453967480768 0 0 -1 2 0 0 0
[pid=9655/tid=9658] ppid=9653 vsize=15720928 CPUtime=2.35 cores=0,2,4,6
/proc/9655/task/9658/stat : 9658 (java) S 9653 9655 8948 0 -1 4202560 267785 0 0 0 191 44 0 0 16 0 22 0 503617728 16098230272 3866722 33554432000 1073741824 1073778376 140737348854480 18446744073709551615 270350199705 0 4 0 16800975 18446604453967480768 0 0 -1 2 0 0 0
[pid=9655/tid=9659] ppid=9653 vsize=15720928 CPUtime=2.93 cores=0,2,4,6
/proc/9655/task/9659/stat : 9659 (java) S 9653 9655 8948 0 -1 4202560 392759 0 0 0 227 66 0 0 16 0 22 0 503617728 16098230272 3866722 33554432000 1073741824 1073778376 140737348854480 18446744073709551615 270350199705 0 4 0 16800975 18446604453967480768 0 0 -1 6 0 0 0
[pid=9655/tid=9660] ppid=9653 vsize=15720928 CPUtime=2.27 cores=0,2,4,6
/proc/9655/task/9660/stat : 9660 (java) S 9653 9655 8948 0 -1 4202560 301796 0 0 0 174 53 0 0 16 0 22 0 503617728 16098230272 3866722 33554432000 1073741824 1073778376 140737348854480 18446744073709551615 270350199705 0 4 0 16800975 18446604453967480768 0 0 -1 6 0 0 0
[pid=9655/tid=9661] ppid=9653 vsize=15720928 CPUtime=2.4 cores=0,2,4,6
/proc/9655/task/9661/stat : 9661 (java) S 9653 9655 8948 0 -1 4202560 288884 0 0 0 191 49 0 0 16 0 22 0 503617728 16098230272 3866722 33554432000 1073741824 1073778376 140737348854480 18446744073709551615 270350199705 0 4 0 16800975 18446604453967480768 0 0 -1 0 0 0 0
[pid=9655/tid=9662] ppid=9653 vsize=15720928 CPUtime=2.63 cores=0,2,4,6
/proc/9655/task/9662/stat : 9662 (java) S 9653 9655 8948 0 -1 4202560 377619 0 0 0 201 62 0 0 16 0 22 0 503617728 16098230272 3866722 33554432000 1073741824 1073778376 140737348854480 18446744073709551615 270350199705 0 4 0 16800975 18446604453967480768 0 0 -1 2 0 0 0
[pid=9655/tid=9663] ppid=9653 vsize=15720928 CPUtime=2.2 cores=0,2,4,6
/proc/9655/task/9663/stat : 9663 (java) S 9653 9655 8948 0 -1 4202560 257903 0 0 0 174 46 0 0 16 0 22 0 503617728 16098230272 3866722 33554432000 1073741824 1073778376 140737348854480 18446744073709551615 270350199705 0 4 0 16800975 18446604453967480768 0 0 -1 6 0 0 0
[pid=9655/tid=9664] ppid=9653 vsize=15720928 CPUtime=3.02 cores=0,2,4,6
/proc/9655/task/9664/stat : 9664 (java) S 9653 9655 8948 0 -1 4202560 383190 0 0 0 240 62 0 0 15 0 22 0 503617728 16098230272 3866722 33554432000 1073741824 1073778376 140737348854480 18446744073709551615 270350199705 0 4 0 16800975 18446604453967480768 0 0 -1 0 0 0 0
[pid=9655/tid=9665] ppid=9653 vsize=15720928 CPUtime=2.27 cores=0,2,4,6
/proc/9655/task/9665/stat : 9665 (java) S 9653 9655 8948 0 -1 4202560 316636 0 0 0 170 57 0 0 16 0 22 0 503617728 16098230272 3866722 33554432000 1073741824 1073778376 140737348854480 18446744073709551615 270350199705 0 4 0 16800975 18446604453967480768 0 0 -1 6 0 0 0
[pid=9655/tid=9666] ppid=9653 vsize=15720928 CPUtime=903.53 cores=0,2,4,6
/proc/9655/task/9666/stat : 9666 (java) R 9653 9655 8948 0 -1 4202560 735080 0 0 0 90200 153 0 0 18 0 22 0 503617729 16098230272 3866722 33554432000 1073741824 1073778376 140737348854480 18446744073709551615 47203064289283 0 0 0 16800975 0 0 0 -1 4 0 0 0
[pid=9655/tid=9667] ppid=9653 vsize=15720928 CPUtime=0 cores=0,2,4,6
/proc/9655/task/9667/stat : 9667 (java) S 9653 9655 8948 0 -1 4202560 19 0 0 0 0 0 0 0 15 0 22 0 503617729 16098230272 3866722 33554432000 1073741824 1073778376 140737348854480 18446744073709551615 270350199705 0 4 0 16800975 18446604453967480768 0 0 -1 0 0 0 0
[pid=9655/tid=9668] ppid=9653 vsize=15720928 CPUtime=0 cores=0,2,4,6
/proc/9655/task/9668/stat : 9668 (java) S 9653 9655 8948 0 -1 4202560 9 0 0 0 0 0 0 0 15 0 22 0 503617729 16098230272 3866722 33554432000 1073741824 1073778376 140737348854480 18446744073709551615 270350199705 0 4 0 16800975 18446604453967480768 0 0 -1 0 0 0 0
[pid=9655/tid=9669] ppid=9653 vsize=15720928 CPUtime=0 cores=0,2,4,6
/proc/9655/task/9669/stat : 9669 (java) S 9653 9655 8948 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 503617731 16098230272 3866722 33554432000 1073741824 1073778376 140737348854480 18446744073709551615 270350207409 0 4 0 16800975 18446604453967480768 0 0 -1 2 0 0 0
[pid=9655/tid=9670] ppid=9653 vsize=15720928 CPUtime=1.01 cores=0,2,4,6
/proc/9655/task/9670/stat : 9670 (java) S 9653 9655 8948 0 -1 4202560 3275 0 0 0 100 1 0 0 15 0 22 0 503617731 16098230272 3866722 33554432000 1073741824 1073778376 140737348854480 18446744073709551615 270350199705 0 4 0 16800975 18446604453967480768 0 0 -1 4 0 0 0
[pid=9655/tid=9671] ppid=9653 vsize=15720928 CPUtime=1.56 cores=0,2,4,6
/proc/9655/task/9671/stat : 9671 (java) S 9653 9655 8948 0 -1 4202560 16715 0 0 0 155 1 0 0 15 0 22 0 503617731 16098230272 3866722 33554432000 1073741824 1073778376 140737348854480 18446744073709551615 270350199705 0 4 0 16800975 18446604453967480768 0 0 -1 2 0 0 0
[pid=9655/tid=9672] ppid=9653 vsize=15720928 CPUtime=0 cores=0,2,4,6
/proc/9655/task/9672/stat : 9672 (java) S 9653 9655 8948 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 503617731 16098230272 3866722 33554432000 1073741824 1073778376 140737348854480 18446744073709551615 270350199705 0 4 0 16800975 18446604453967480768 0 0 -1 2 0 0 0
[pid=9655/tid=9673] ppid=9653 vsize=15720928 CPUtime=0 cores=0,2,4,6
/proc/9655/task/9673/stat : 9673 (java) S 9653 9655 8948 0 -1 4202560 69 0 0 0 0 0 0 0 15 0 22 0 503617731 16098230272 3866722 33554432000 1073741824 1073778376 140737348854480 18446744073709551615 270350200320 0 4 0 16800975 18446604453967480768 0 0 -1 0 0 0 0
[pid=9655/tid=9674] ppid=9653 vsize=15720928 CPUtime=329.17 cores=0,2,4,6
/proc/9655/task/9674/stat : 9674 (java) S 9653 9655 8948 0 -1 4202560 123297 0 0 0 32894 23 0 0 15 0 22 0 503617802 16098230272 3866722 33554432000 1073741824 1073778376 140737348854480 18446744073709551615 270350199705 0 4 0 16800975 18446604453967480768 0 0 -1 6 0 0 0
[pid=9655/tid=9675] ppid=9653 vsize=15720928 CPUtime=329 cores=0,2,4,6
/proc/9655/task/9675/stat : 9675 (java) S 9653 9655 8948 0 -1 4202560 126538 0 0 0 32875 25 0 0 15 0 22 0 503617802 16098230272 3866722 33554432000 1073741824 1073778376 140737348854480 18446744073709551615 270350199705 0 4 0 16800975 18446604453967480768 0 0 -1 4 0 0 0
[pid=9655/tid=9676] ppid=9653 vsize=15720928 CPUtime=329.88 cores=0,2,4,6
/proc/9655/task/9676/stat : 9676 (java) S 9653 9655 8948 0 -1 4202560 128662 0 0 0 32963 25 0 0 15 0 22 0 503617803 16098230272 3866722 33554432000 1073741824 1073778376 140737348854480 18446744073709551615 270350199705 0 4 0 16800975 18446604453967480768 0 0 -1 0 0 0 0
[pid=9655/tid=9677] ppid=9653 vsize=15720928 CPUtime=329.85 cores=0,2,4,6
/proc/9655/task/9677/stat : 9677 (java) S 9653 9655 8948 0 -1 4202560 127854 0 0 0 32960 25 0 0 15 0 22 0 503617803 16098230272 3866722 33554432000 1073741824 1073778376 140737348854480 18446744073709551615 270350199705 0 4 0 16800975 18446604453967480768 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2246.51
Current children cumulated vsize (KiB) 15720928



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+1300 s]
/proc/loadavg: 2.30 4.31 5.57 2/193 9734
/proc/meminfo: memFree=15823296/32951124 swapFree=67111356/67111528
[pid=9655] ppid=9653 vsize=15720928 CPUtime=2314.02 cores=0,2,4,6
/proc/9655/stat : 9655 (java) S 9653 9655 8948 0 -1 4202496 3885627 0 1 0 230692 710 0 0 25 0 22 0 503617727 16098230272 3866722 33554432000 1073741824 1073778376 140737348854480 18446744073709551615 270350186469 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/9655/statm: 3930232 3866722 2294 9 0 3920951 0
[pid=9655/tid=9657] ppid=9653 vsize=15720928 CPUtime=2.28 cores=0,2,4,6
/proc/9655/task/9657/stat : 9657 (java) S 9653 9655 8948 0 -1 4202560 35713 0 1 0 225 3 0 0 23 0 22 0 503617727 16098230272 3866722 33554432000 1073741824 1073778376 140737348854480 18446744073709551615 270350199705 0 4 0 16800975 18446604453967480768 0 0 -1 2 0 0 0
[pid=9655/tid=9658] ppid=9653 vsize=15720928 CPUtime=2.35 cores=0,2,4,6
/proc/9655/task/9658/stat : 9658 (java) S 9653 9655 8948 0 -1 4202560 267785 0 0 0 191 44 0 0 16 0 22 0 503617728 16098230272 3866722 33554432000 1073741824 1073778376 140737348854480 18446744073709551615 270350199705 0 4 0 16800975 18446604453967480768 0 0 -1 2 0 0 0
[pid=9655/tid=9659] ppid=9653 vsize=15720928 CPUtime=2.93 cores=0,2,4,6
/proc/9655/task/9659/stat : 9659 (java) S 9653 9655 8948 0 -1 4202560 392759 0 0 0 227 66 0 0 16 0 22 0 503617728 16098230272 3866722 33554432000 1073741824 1073778376 140737348854480 18446744073709551615 270350199705 0 4 0 16800975 18446604453967480768 0 0 -1 6 0 0 0
[pid=9655/tid=9660] ppid=9653 vsize=15720928 CPUtime=2.27 cores=0,2,4,6
/proc/9655/task/9660/stat : 9660 (java) S 9653 9655 8948 0 -1 4202560 301796 0 0 0 174 53 0 0 16 0 22 0 503617728 16098230272 3866722 33554432000 1073741824 1073778376 140737348854480 18446744073709551615 270350199705 0 4 0 16800975 18446604453967480768 0 0 -1 6 0 0 0
[pid=9655/tid=9661] ppid=9653 vsize=15720928 CPUtime=2.4 cores=0,2,4,6
/proc/9655/task/9661/stat : 9661 (java) S 9653 9655 8948 0 -1 4202560 288884 0 0 0 191 49 0 0 16 0 22 0 503617728 16098230272 3866722 33554432000 1073741824 1073778376 140737348854480 18446744073709551615 270350199705 0 4 0 16800975 18446604453967480768 0 0 -1 0 0 0 0
[pid=9655/tid=9662] ppid=9653 vsize=15720928 CPUtime=2.63 cores=0,2,4,6
/proc/9655/task/9662/stat : 9662 (java) S 9653 9655 8948 0 -1 4202560 377619 0 0 0 201 62 0 0 16 0 22 0 503617728 16098230272 3866722 33554432000 1073741824 1073778376 140737348854480 18446744073709551615 270350199705 0 4 0 16800975 18446604453967480768 0 0 -1 2 0 0 0
[pid=9655/tid=9663] ppid=9653 vsize=15720928 CPUtime=2.2 cores=0,2,4,6
/proc/9655/task/9663/stat : 9663 (java) S 9653 9655 8948 0 -1 4202560 257903 0 0 0 174 46 0 0 16 0 22 0 503617728 16098230272 3866722 33554432000 1073741824 1073778376 140737348854480 18446744073709551615 270350199705 0 4 0 16800975 18446604453967480768 0 0 -1 6 0 0 0
[pid=9655/tid=9664] ppid=9653 vsize=15720928 CPUtime=3.02 cores=0,2,4,6
/proc/9655/task/9664/stat : 9664 (java) S 9653 9655 8948 0 -1 4202560 383190 0 0 0 240 62 0 0 15 0 22 0 503617728 16098230272 3866722 33554432000 1073741824 1073778376 140737348854480 18446744073709551615 270350199705 0 4 0 16800975 18446604453967480768 0 0 -1 0 0 0 0
[pid=9655/tid=9665] ppid=9653 vsize=15720928 CPUtime=2.27 cores=0,2,4,6
/proc/9655/task/9665/stat : 9665 (java) S 9653 9655 8948 0 -1 4202560 316636 0 0 0 170 57 0 0 16 0 22 0 503617728 16098230272 3866722 33554432000 1073741824 1073778376 140737348854480 18446744073709551615 270350199705 0 4 0 16800975 18446604453967480768 0 0 -1 6 0 0 0
[pid=9655/tid=9666] ppid=9653 vsize=15720928 CPUtime=957.87 cores=0,2,4,6
/proc/9655/task/9666/stat : 9666 (java) R 9653 9655 8948 0 -1 4202560 735084 0 0 0 95628 159 0 0 18 0 22 0 503617729 16098230272 3866722 33554432000 1073741824 1073778376 140737348854480 18446744073709551615 47203061596534 0 0 0 16800975 0 0 0 -1 0 0 0 0
[pid=9655/tid=9667] ppid=9653 vsize=15720928 CPUtime=0 cores=0,2,4,6
/proc/9655/task/9667/stat : 9667 (java) S 9653 9655 8948 0 -1 4202560 19 0 0 0 0 0 0 0 15 0 22 0 503617729 16098230272 3866722 33554432000 1073741824 1073778376 140737348854480 18446744073709551615 270350199705 0 4 0 16800975 18446604453967480768 0 0 -1 0 0 0 0
[pid=9655/tid=9668] ppid=9653 vsize=15720928 CPUtime=0 cores=0,2,4,6
/proc/9655/task/9668/stat : 9668 (java) S 9653 9655 8948 0 -1 4202560 9 0 0 0 0 0 0 0 15 0 22 0 503617729 16098230272 3866722 33554432000 1073741824 1073778376 140737348854480 18446744073709551615 270350199705 0 4 0 16800975 18446604453967480768 0 0 -1 0 0 0 0
[pid=9655/tid=9669] ppid=9653 vsize=15720928 CPUtime=0 cores=0,2,4,6
/proc/9655/task/9669/stat : 9669 (java) S 9653 9655 8948 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 503617731 16098230272 3866722 33554432000 1073741824 1073778376 140737348854480 18446744073709551615 270350207409 0 4 0 16800975 18446604453967480768 0 0 -1 2 0 0 0
[pid=9655/tid=9670] ppid=9653 vsize=15720928 CPUtime=1.01 cores=0,2,4,6
/proc/9655/task/9670/stat : 9670 (java) S 9653 9655 8948 0 -1 4202560 3275 0 0 0 100 1 0 0 15 0 22 0 503617731 16098230272 3866722 33554432000 1073741824 1073778376 140737348854480 18446744073709551615 270350199705 0 4 0 16800975 18446604453967480768 0 0 -1 4 0 0 0
[pid=9655/tid=9671] ppid=9653 vsize=15720928 CPUtime=1.56 cores=0,2,4,6
/proc/9655/task/9671/stat : 9671 (java) S 9653 9655 8948 0 -1 4202560 16715 0 0 0 155 1 0 0 15 0 22 0 503617731 16098230272 3866722 33554432000 1073741824 1073778376 140737348854480 18446744073709551615 270350199705 0 4 0 16800975 18446604453967480768 0 0 -1 2 0 0 0
[pid=9655/tid=9672] ppid=9653 vsize=15720928 CPUtime=0 cores=0,2,4,6
/proc/9655/task/9672/stat : 9672 (java) S 9653 9655 8948 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 503617731 16098230272 3866722 33554432000 1073741824 1073778376 140737348854480 18446744073709551615 270350199705 0 4 0 16800975 18446604453967480768 0 0 -1 2 0 0 0
[pid=9655/tid=9673] ppid=9653 vsize=15720928 CPUtime=0 cores=0,2,4,6
/proc/9655/task/9673/stat : 9673 (java) S 9653 9655 8948 0 -1 4202560 73 0 0 0 0 0 0 0 15 0 22 0 503617731 16098230272 3866722 33554432000 1073741824 1073778376 140737348854480 18446744073709551615 270350200320 0 4 0 16800975 18446604453967480768 0 0 -1 4 0 0 0
[pid=9655/tid=9674] ppid=9653 vsize=15720928 CPUtime=332.44 cores=0,2,4,6
/proc/9655/task/9674/stat : 9674 (java) S 9653 9655 8948 0 -1 4202560 123423 0 0 0 33221 23 0 0 15 0 22 0 503617802 16098230272 3866722 33554432000 1073741824 1073778376 140737348854480 18446744073709551615 270350199705 0 4 0 16800975 18446604453967480768 0 0 -1 4 0 0 0
[pid=9655/tid=9675] ppid=9653 vsize=15720928 CPUtime=332.3 cores=0,2,4,6
/proc/9655/task/9675/stat : 9675 (java) S 9653 9655 8948 0 -1 4202560 126651 0 0 0 33205 25 0 0 15 0 22 0 503617802 16098230272 3866722 33554432000 1073741824 1073778376 140737348854480 18446744073709551615 270350199705 0 4 0 16800975 18446604453967480768 0 0 -1 0 0 0 0
[pid=9655/tid=9676] ppid=9653 vsize=15720928 CPUtime=333.17 cores=0,2,4,6
/proc/9655/task/9676/stat : 9676 (java) S 9653 9655 8948 0 -1 4202560 128739 0 0 0 33291 26 0 0 15 0 22 0 503617803 16098230272 3866722 33554432000 1073741824 1073778376 140737348854480 18446744073709551615 270350199705 0 4 0 16800975 18446604453967480768 0 0 -1 6 0 0 0
[pid=9655/tid=9677] ppid=9653 vsize=15720928 CPUtime=333.14 cores=0,2,4,6
/proc/9655/task/9677/stat : 9677 (java) S 9653 9655 8948 0 -1 4202560 127995 0 0 0 33289 25 0 0 15 0 22 0 503617803 16098230272 3866722 33554432000 1073741824 1073778376 140737348854480 18446744073709551615 270350199705 0 4 0 16800975 18446604453967480768 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2314.02
Current children cumulated vsize (KiB) 15720928

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

Sending SIGKILL to process tree (bottom up)

Sending SIGKILL to -9655

[startup+1302.3 s]
/proc/loadavg: 2.30 4.31 5.57 2/194 9737
/proc/meminfo: memFree=15823164/32951124 swapFree=67111356/67111528
[pid=9655] ppid=9653 vsize=0 CPUtime=2316.49 cores=0,2,4,6
/proc/9655/stat : 9655 (java) Z 9653 9655 8948 0 -1 4203548 3885663 0 1 0 230911 738 0 0 18 0 2 0 503617727 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/9655/statm: 0 0 0 0 0 0 0
[pid=9655/tid=9736] ppid=9653 vsize=0 CPUtime=0.28 cores=0,2,4,6
/proc/9655/task/9736/stat : 9736 (java) R 9653 9655 8948 0 -1 4203588 14 0 0 0 0 28 0 0 16 0 2 0 503747772 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2316.49
Current children cumulated vsize (KiB) 0

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

[startup+1302.5 s]
/proc/loadavg: 2.30 4.31 5.57 2/194 9737
/proc/meminfo: memFree=15823164/32951124 swapFree=67111356/67111528
[pid=9655] ppid=9653 vsize=0 CPUtime=2316.69 cores=0,2,4,6
/proc/9655/stat : 9655 (java) Z 9653 9655 8948 0 -1 4203548 3885663 0 1 0 230911 758 0 0 18 0 2 0 503617727 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/9655/statm: 0 0 0 0 0 0 0
[pid=9655/tid=9736] ppid=9653 vsize=0 CPUtime=0.48 cores=0,2,4,6
/proc/9655/task/9736/stat : 9736 (java) R 9653 9655 8948 0 -1 4203588 14 0 0 0 0 48 0 0 16 0 2 0 503747772 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2316.69
Current children cumulated vsize (KiB) 0

Child ended because it received signal 9 (SIGKILL)
Real time (s): 1302.56
CPU time (s): 2316.77
CPU user time (s): 2309.12
CPU system time (s): 7.65184
CPU usage (%): 177.862
Max. virtual memory (cumulated for all children) (KiB): 15722984

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2309.12
system time used= 7.65184
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3885663
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= 82934
involuntary context switches= 39190

runsolver used 2.14267 second user time and 5.21421 second system time

The end

Launcher Data 

Begin job on node143 at 2011-04-29 23:20:21
IDJOB=3312362
IDBENCH=82547
IDSOLVER=1699
FILE ID=node143/3312362-1304112021
RUNJOBID= node143-1304110811-9470
PBS_JOBID= 13170658
Free space on /tmp= 72920 MiB

SOLVER NAME= STRUCTure 0.1
BENCH NAME= SAT11/random/large/unif-k3-r4.2-v30000-c126000-S1854039067-041-UNKNOWN.cnf
COMMAND LINE= run 15000 NBCORE TMPDIR DIR BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3312362-1304112021/watcher-3312362-1304112021 -o /tmp/evaluation-result-3312362-1304112021/solver-3312362-1304112021 -C 4800 -W 1300 -M 15500  run 15000 4 HOME HOME HOME/instance-3312362-1304112021.cnf

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

MD5SUM BENCH= 30037b76a2fd7877580e038a49317f67
RANDOM SEED=1337923621

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

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      31142340 kB
Buffers:        235296 kB
Cached:        1063440 kB
SwapCached:        168 kB
Active:         463648 kB
Inactive:      1069404 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      31142340 kB
SwapTotal:    67111528 kB
SwapFree:     67111356 kB
Dirty:            6292 kB
Writeback:           0 kB
AnonPages:      233296 kB
Mapped:          23160 kB
Slab:           212756 kB
PageTables:       5064 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   809108 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= 72920 MiB
End job on node143 at 2011-04-29 23:42:04