Trace number 3312117

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
STRUCTure 0.1 (hbr=2)? (TO) 2508.22 1300.73

General information on the benchmark

Nameapplication/jarvisalo/HWMCC10-combination-timeframe-expansion/
hwmcc10-timeframe-expansion-k50-eijkbs6669-tseitin.cnf
MD5SUM7886cd26d6e0801ea382a1ffd6224023
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables192503
Number of clauses564953
Sum of the clauses size1318221
Maximum clause length3
Minimum clause length1
Number of clauses of size 12
Number of clauses of size 2376634
Number of clauses of size 3188317
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50

Solver Data 

0.10/0.12	50:01 INFO : Reading from input HOME/instance-3312117-1304110200.cnf
2.29/2.03	Executor set job limit to 1000000
2.29/2.03	Executor set job limit to 1000000
2.29/2.03	Executor set job limit to 1000000
2.29/2.03	Executor set job limit to 1000000
2.29/2.03	Starting Executor!
2.29/2.03	Starting Executor!
2.29/2.03	Starting Executor!
2.29/2.03	Starting Executor!
8.42/6.29	50:07 INFO : 188934 variables remaining out of 192503
8.42/6.29	50:07 INFO : 3643017 literals remaining out of 1883174
1479.56/425.97	57:06 ERROR: Failed to solve instance
1479.56/425.97	java.lang.OutOfMemoryError: GC overhead limit exceeded
1479.56/425.97		at gnu.trove.TIntArrayList.<init>(TIntArrayList.java:70)
1479.56/425.97		at gnu.trove.TIntArrayList.<init>(TIntArrayList.java:60)
1479.56/425.97		at ibis.structure.ImplicationsGraph.createLiteral(ImplicationsGraph.java:45)
1479.56/425.97		at ibis.structure.ImplicationsGraph.add(ImplicationsGraph.java:36)
1479.56/425.97		at ibis.structure.Solver.addBinary(Solver.java:97)
1479.56/425.97		at ibis.structure.Solver.propagate(Solver.java:261)
1479.56/425.97		at ibis.structure.Solver.simplify(Solver.java:188)
1479.56/425.97		at ibis.structure.Solver.solve(Solver.java:113)
1479.56/425.97		at ibis.structure.SolveActivity.initialize(SolveActivity.java:29)
1479.56/425.97		at ibis.constellation.impl.ActivityRecord.runStateMachine(ActivityRecord.java:143)
1479.56/425.97		at ibis.constellation.impl.ActivityRecord.run(ActivityRecord.java:215)
1479.56/425.97		at ibis.constellation.impl.ExecutorWrapper.process(ExecutorWrapper.java:398)
1479.56/425.97		at ibis.constellation.impl.ExecutorWrapper.process(ExecutorWrapper.java:420)
1479.56/425.97		at ibis.constellation.impl.SingleThreadedConstellation.processActivities(SingleThreadedConstellation.java:1023)
1479.56/425.97		at ibis.constellation.impl.ExecutorWrapper.processActivities(ExecutorWrapper.java:515)
1479.56/425.97		at ibis.constellation.Executor.processActivities(Executor.java:75)
1479.56/425.97		at ibis.constellation.SimpleExecutor.run(SimpleExecutor.java:54)
1479.56/425.97		at ibis.constellation.impl.ExecutorWrapper.runExecutor(ExecutorWrapper.java:521)
1479.56/425.97		at ibis.constellation.impl.SingleThreadedConstellation.run(SingleThreadedConstellation.java:1070)
1498.62/443.18	57:24 ERROR: Failed to solve instance
1498.62/443.18	java.lang.OutOfMemoryError: GC overhead limit exceeded
1498.62/443.18		at gnu.trove.TIntHashSet.rehash(TIntHashSet.java:170)
1498.62/443.18		at gnu.trove.THash.postInsertHook(THash.java:370)
1498.62/443.18		at gnu.trove.TIntHashSet.add(TIntHashSet.java:154)
1498.62/443.18		at ibis.structure.WatchLists.build(WatchLists.java:56)
1498.62/443.18		at ibis.structure.Solver.<init>(Solver.java:45)
1498.62/443.18		at ibis.structure.SolveActivity.initialize(SolveActivity.java:28)
1498.62/443.18		at ibis.constellation.impl.ActivityRecord.runStateMachine(ActivityRecord.java:143)
1498.62/443.18		at ibis.constellation.impl.ActivityRecord.run(ActivityRecord.java:215)
1498.62/443.18		at ibis.constellation.impl.ExecutorWrapper.process(ExecutorWrapper.java:398)
1498.62/443.18		at ibis.constellation.impl.ExecutorWrapper.process(ExecutorWrapper.java:420)
1498.62/443.18		at ibis.constellation.impl.SingleThreadedConstellation.processActivities(SingleThreadedConstellation.java:1023)
1498.62/443.18		at ibis.constellation.impl.ExecutorWrapper.processActivities(ExecutorWrapper.java:515)
1498.62/443.18		at ibis.constellation.Executor.processActivities(Executor.java:75)
1498.62/443.18		at ibis.constellation.SimpleExecutor.run(SimpleExecutor.java:54)
1498.62/443.18		at ibis.constellation.impl.ExecutorWrapper.runExecutor(ExecutorWrapper.java:521)
1498.62/443.18		at ibis.constellation.impl.SingleThreadedConstellation.run(SingleThreadedConstellation.java:1070)
1504.76/449.21	57:29 ERROR: Failed to solve instance
1504.76/449.21	java.lang.OutOfMemoryError: GC overhead limit exceeded
1504.76/449.21		at gnu.trove.TIntHash.setUp(TIntHash.java:134)
1504.76/449.21		at gnu.trove.TPrimitiveHash.<init>(TPrimitiveHash.java:83)
1504.76/449.21		at gnu.trove.TPrimitiveHash.<init>(TPrimitiveHash.java:68)
1504.76/449.21		at gnu.trove.TIntHash.<init>(TIntHash.java:60)
1504.76/449.21		at gnu.trove.TIntHashSet.<init>(TIntHashSet.java:59)
1504.76/449.21		at ibis.structure.WatchLists.build(WatchLists.java:47)
1504.76/449.21		at ibis.structure.Solver.<init>(Solver.java:45)
1504.76/449.21		at ibis.structure.SolveActivity.initialize(SolveActivity.java:28)
1504.76/449.21		at ibis.constellation.impl.ActivityRecord.runStateMachine(ActivityRecord.java:143)
1504.76/449.21		at ibis.constellation.impl.ActivityRecord.run(ActivityRecord.java:215)
1504.76/449.21		at ibis.constellation.impl.ExecutorWrapper.process(ExecutorWrapper.java:398)
1504.76/449.21		at ibis.constellation.impl.ExecutorWrapper.process(ExecutorWrapper.java:420)
1504.76/449.21		at ibis.constellation.impl.SingleThreadedConstellation.processActivities(SingleThreadedConstellation.java:1023)
1504.76/449.21		at ibis.constellation.impl.ExecutorWrapper.processActivities(ExecutorWrapper.java:515)
1504.76/449.21		at ibis.constellation.Executor.processActivities(Executor.java:75)
1504.76/449.21		at ibis.constellation.SimpleExecutor.run(SimpleExecutor.java:54)
1504.76/449.21		at ibis.constellation.impl.ExecutorWrapper.runExecutor(ExecutorWrapper.java:521)
1504.76/449.21		at ibis.constellation.impl.SingleThreadedConstellation.run(SingleThreadedConstellation.java:1070)
1517.61/460.55	57:41 ERROR: Failed to solve instance
1517.61/460.55	java.lang.OutOfMemoryError: GC overhead limit exceeded
1517.61/460.55		at gnu.trove.TIntArrayList.<init>(TIntArrayList.java:70)
1517.61/460.55		at gnu.trove.TIntArrayList.<init>(TIntArrayList.java:60)
1517.61/460.55		at ibis.structure.ImplicationsGraph.createLiteral(ImplicationsGraph.java:45)
1517.61/460.55		at ibis.structure.ImplicationsGraph.add(ImplicationsGraph.java:35)
1517.61/460.55		at ibis.structure.Solver.addBinary(Solver.java:97)
1517.61/460.55		at ibis.structure.Solver.propagate(Solver.java:261)
1517.61/460.55		at ibis.structure.Solver.simplify(Solver.java:188)
1517.61/460.55		at ibis.structure.Solver.solve(Solver.java:113)
1517.61/460.55		at ibis.structure.SolveActivity.initialize(SolveActivity.java:29)
1517.61/460.55		at ibis.constellation.impl.ActivityRecord.runStateMachine(ActivityRecord.java:143)
1517.61/460.55		at ibis.constellation.impl.ActivityRecord.run(ActivityRecord.java:215)
1517.61/460.55		at ibis.constellation.impl.ExecutorWrapper.process(ExecutorWrapper.java:398)
1517.61/460.55		at ibis.constellation.impl.ExecutorWrapper.process(ExecutorWrapper.java:420)
1517.61/460.55		at ibis.constellation.impl.SingleThreadedConstellation.processActivities(SingleThreadedConstellation.java:1023)
1517.61/460.55		at ibis.constellation.impl.ExecutorWrapper.processActivities(ExecutorWrapper.java:515)
1517.61/460.55		at ibis.constellation.Executor.processActivities(Executor.java:75)
1517.61/460.55		at ibis.constellation.SimpleExecutor.run(SimpleExecutor.java:54)
1517.61/460.55		at ibis.constellation.impl.ExecutorWrapper.runExecutor(ExecutorWrapper.java:521)
1517.61/460.55		at ibis.constellation.impl.SingleThreadedConstellation.run(SingleThreadedConstellation.java:1070)
1528.58/470.73	57:51 ERROR: Failed to solve instance
1528.58/470.73	java.lang.OutOfMemoryError: GC overhead limit exceeded
1537.54/478.97	57:59 ERROR: Failed to solve instance
1537.54/478.97	java.lang.OutOfMemoryError: GC overhead limit exceeded
1553.65/492.37	58:13 ERROR: Failed to solve instance
1553.65/492.37	java.lang.OutOfMemoryError: GC overhead limit exceeded
1566.55/504.40	58:25 ERROR: Failed to solve instance
1566.55/504.40	java.lang.OutOfMemoryError: GC overhead limit exceeded
1586.65/521.53	58:42 ERROR: Failed to solve instance
1586.65/521.53	java.lang.OutOfMemoryError: GC overhead limit exceeded
1594.51/528.37	58:49 ERROR: Failed to solve instance
1594.51/528.37	java.lang.OutOfMemoryError: GC overhead limit exceeded
1613.70/543.59	59:04 ERROR: Failed to solve instance
1613.70/543.59	java.lang.OutOfMemoryError: GC overhead limit exceeded
1624.25/552.97	59:13 ERROR: Failed to solve instance
1624.25/552.97	java.lang.OutOfMemoryError: GC overhead limit exceeded
1649.74/572.95	59:33 ERROR: Failed to solve instance
1649.74/572.95	java.lang.OutOfMemoryError: GC overhead limit exceeded
1650.59/573.74	59:34 ERROR: Failed to solve instance
1650.59/573.74	java.lang.OutOfMemoryError: GC overhead limit exceeded
1665.98/587.30	59:47 ERROR: Failed to solve instance
1665.98/587.30	java.lang.OutOfMemoryError: GC overhead limit exceeded
1669.27/590.38	59:51 ERROR: Failed to solve instance
1669.27/590.38	java.lang.OutOfMemoryError: GC overhead limit exceeded
1675.66/596.23	59:57 ERROR: Failed to solve instance
1675.66/596.23	java.lang.OutOfMemoryError: GC overhead limit exceeded
1681.79/602.09	00:03 ERROR: Failed to solve instance
1681.79/602.09	java.lang.OutOfMemoryError: GC overhead limit exceeded
1693.50/612.95	00:13 ERROR: Failed to solve instance
1693.50/612.95	java.lang.OutOfMemoryError: GC overhead limit exceeded
1712.44/629.22	Exception in thread "SingleThreadedConstellation 4" java.lang.OutOfMemoryError: GC overhead limit exceeded
1754.66/658.85	00:59 ERROR: Failed to solve instance
1754.66/658.85	java.lang.OutOfMemoryError: GC overhead limit exceeded
1759.34/663.20	01:04 ERROR: Failed to solve instance
1759.34/663.20	java.lang.OutOfMemoryError: GC overhead limit exceeded
1763.58/667.27	01:08 ERROR: Failed to solve instance
1763.58/667.27	java.lang.OutOfMemoryError: GC overhead limit exceeded
1769.80/673.08	01:14 ERROR: Failed to solve instance
1769.80/673.08	java.lang.OutOfMemoryError: GC overhead limit exceeded
1779.45/681.86	01:22 ERROR: Failed to solve instance
1779.45/681.86	java.lang.OutOfMemoryError: GC overhead limit exceeded
1807.56/704.73	01:45 ERROR: Failed to solve instance
1807.56/704.73	java.lang.OutOfMemoryError: GC overhead limit exceeded
1812.99/709.77	01:50 ERROR: Failed to solve instance
1812.99/709.77	java.lang.OutOfMemoryError: GC overhead limit exceeded
1829.64/723.54	02:04 ERROR: Failed to solve instance
1829.64/723.54	java.lang.OutOfMemoryError: GC overhead limit exceeded
1838.04/731.33	02:12 ERROR: Failed to solve instance
1838.04/731.33	java.lang.OutOfMemoryError: GC overhead limit exceeded
1853.66/745.25	02:26 ERROR: Failed to solve instance
1853.66/745.25	java.lang.OutOfMemoryError: GC overhead limit exceeded
1859.88/751.08	02:32 ERROR: Failed to solve instance
1859.88/751.08	java.lang.OutOfMemoryError: GC overhead limit exceeded
1866.88/757.36	02:38 ERROR: Failed to solve instance
1866.88/757.36	java.lang.OutOfMemoryError: GC overhead limit exceeded
1892.21/777.30	02:58 ERROR: Failed to solve instance
1892.21/777.30	java.lang.OutOfMemoryError: GC overhead limit exceeded
1898.29/782.76	03:03 ERROR: Failed to solve instance
1898.29/782.76	java.lang.OutOfMemoryError: GC overhead limit exceeded
1916.68/797.78	03:18 ERROR: Failed to solve instance
1916.68/797.78	java.lang.OutOfMemoryError: GC overhead limit exceeded
1929.89/809.29	03:30 ERROR: Failed to solve instance
1929.89/809.29	java.lang.OutOfMemoryError: GC overhead limit exceeded
1936.53/815.37	03:36 ERROR: Failed to solve instance
1936.53/815.37	java.lang.OutOfMemoryError: GC overhead limit exceeded
1953.93/829.81	03:50 ERROR: Failed to solve instance
1953.93/829.81	java.lang.OutOfMemoryError: GC overhead limit exceeded
1961.40/836.74	03:57 ERROR: Failed to solve instance
1961.40/836.74	java.lang.OutOfMemoryError: GC overhead limit exceeded
1969.57/844.06	04:05 ERROR: Failed to solve instance
1969.57/844.06	java.lang.OutOfMemoryError: GC overhead limit exceeded
2006.88/874.70	04:35 ERROR: Failed to solve instance
2006.88/874.70	java.lang.OutOfMemoryError: GC overhead limit exceeded
2014.68/882.01	04:42 ERROR: Failed to solve instance
2014.68/882.01	java.lang.OutOfMemoryError: GC overhead limit exceeded
2023.75/890.19	04:51 ERROR: Failed to solve instance
2023.75/890.19	java.lang.OutOfMemoryError: GC overhead limit exceeded
2029.19/895.12	04:56 ERROR: Failed to solve instance
2029.19/895.12	java.lang.OutOfMemoryError: GC overhead limit exceeded
2036.25/901.46	05:02 ERROR: Failed to solve instance
2036.25/901.46	java.lang.OutOfMemoryError: GC overhead limit exceeded
2063.27/923.16	05:24 ERROR: Failed to solve instance
2063.27/923.16	java.lang.OutOfMemoryError: GC overhead limit exceeded
2075.23/933.28	05:34 ERROR: Failed to solve instance
2075.23/933.28	java.lang.OutOfMemoryError: GC overhead limit exceeded
2082.13/939.25	05:40 ERROR: Failed to solve instance
2082.13/939.25	java.lang.OutOfMemoryError: GC overhead limit exceeded
2089.80/946.32	05:47 ERROR: Failed to solve instance
2089.80/946.32	java.lang.OutOfMemoryError: GC overhead limit exceeded
2090.42/946.91	05:47 ERROR: Failed to solve instance
2090.42/946.91	java.lang.OutOfMemoryError: GC overhead limit exceeded
2105.30/959.99	06:00 ERROR: Failed to solve instance
2105.30/959.99	java.lang.OutOfMemoryError: GC overhead limit exceeded
2109.91/964.08	06:05 ERROR: Failed to solve instance
2109.91/964.08	java.lang.OutOfMemoryError: GC overhead limit exceeded
2150.33/997.01	06:37 ERROR: Failed to solve instance
2150.33/997.01	java.lang.OutOfMemoryError: GC overhead limit exceeded
2155.47/1001.84	06:42 ERROR: Failed to solve instance
2155.47/1001.84	java.lang.OutOfMemoryError: GC overhead limit exceeded
2167.06/1011.61	06:52 ERROR: Failed to solve instance
2167.06/1011.61	java.lang.OutOfMemoryError: GC overhead limit exceeded
2174.13/1018.34	06:59 ERROR: Failed to solve instance
2174.13/1018.34	java.lang.OutOfMemoryError: GC overhead limit exceeded
2174.75/1018.94	06:59 ERROR: Failed to solve instance
2174.75/1018.94	java.lang.OutOfMemoryError: GC overhead limit exceeded
2202.86/1041.88	07:22 ERROR: Failed to solve instance
2202.86/1041.88	java.lang.OutOfMemoryError: GC overhead limit exceeded
2212.07/1050.36	07:31 ERROR: Failed to solve instance
2212.07/1050.36	java.lang.OutOfMemoryError: GC overhead limit exceeded
2218.24/1055.83	07:36 ERROR: Failed to solve instance
2218.24/1055.83	java.lang.OutOfMemoryError: GC overhead limit exceeded
2246.71/1079.14	08:00 ERROR: Failed to solve instance
2246.71/1079.14	java.lang.OutOfMemoryError: GC overhead limit exceeded
2253.32/1085.23	08:06 ERROR: Failed to solve instance
2253.32/1085.23	java.lang.OutOfMemoryError: GC overhead limit exceeded
2268.16/1097.52	08:18 ERROR: Failed to solve instance
2268.16/1097.52	java.lang.OutOfMemoryError: GC overhead limit exceeded
2279.10/1107.08	08:28 ERROR: Failed to solve instance
2279.10/1107.08	java.lang.OutOfMemoryError: GC overhead limit exceeded
2286.05/1113.18	08:34 ERROR: Failed to solve instance
2286.05/1113.18	java.lang.OutOfMemoryError: GC overhead limit exceeded
2292.16/1118.71	08:39 ERROR: Failed to solve instance
2292.16/1118.71	java.lang.OutOfMemoryError: GC overhead limit exceeded
2299.31/1125.16	08:46 ERROR: Failed to solve instance
2299.31/1125.16	java.lang.OutOfMemoryError: GC overhead limit exceeded
2330.48/1150.22	09:11 ERROR: Failed to solve instance
2330.48/1150.22	java.lang.OutOfMemoryError: GC overhead limit exceeded
2335.55/1154.99	09:15 ERROR: Failed to solve instance
2335.55/1154.99	java.lang.OutOfMemoryError: GC overhead limit exceeded
2344.22/1162.69	09:23 ERROR: Failed to solve instance
2344.22/1162.69	java.lang.OutOfMemoryError: GC overhead limit exceeded
2360.52/1176.67	09:37 ERROR: Failed to solve instance
2360.52/1176.67	java.lang.OutOfMemoryError: GC overhead limit exceeded
2367.18/1182.63	09:43 ERROR: Failed to solve instance
2367.18/1182.63	java.lang.OutOfMemoryError: GC overhead limit exceeded
2376.42/1191.29	09:52 ERROR: Failed to solve instance
2376.42/1191.29	java.lang.OutOfMemoryError: GC overhead limit exceeded
2377.24/1192.02	09:52 ERROR: Failed to solve instance
2377.24/1192.02	java.lang.OutOfMemoryError: GC overhead limit exceeded
2400.99/1210.30	10:11 ERROR: Failed to solve instance
2400.99/1210.30	java.lang.OutOfMemoryError: GC overhead limit exceeded
2407.56/1216.17	10:17 ERROR: Failed to solve instance
2407.56/1216.17	java.lang.OutOfMemoryError: GC overhead limit exceeded
2435.42/1238.67	10:39 ERROR: Failed to solve instance
2435.42/1238.67	java.lang.OutOfMemoryError: GC overhead limit exceeded
2447.24/1248.60	10:49 ERROR: Failed to solve instance
2447.24/1248.60	java.lang.OutOfMemoryError: GC overhead limit exceeded
2449.63/1250.94	10:51 ERROR: Failed to solve instance
2449.63/1250.94	java.lang.OutOfMemoryError: GC overhead limit exceeded
2455.11/1255.94	10:56 ERROR: Failed to solve instance
2455.11/1255.94	java.lang.OutOfMemoryError: GC overhead limit exceeded
2486.23/1282.23	11:23 ERROR: Failed to solve instance
2486.23/1282.23	java.lang.OutOfMemoryError: GC overhead limit exceeded
2490.68/1286.58	11:27 ERROR: Failed to solve instance
2490.68/1286.58	java.lang.OutOfMemoryError: GC overhead limit exceeded
2491.29/1287.18	11:28 ERROR: Failed to solve instance
2491.29/1287.18	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-3312117-1304110200/watcher-3312117-1304110200 -o /tmp/evaluation-result-3312117-1304110200/solver-3312117-1304110200 -C 4800 -W 1300 -M 15500 run 15000 4 HOME HOME HOME/instance-3312117-1304110200.cnf -hbr 2 

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

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


[startup+0 s]
/proc/loadavg: 8.04 8.04 7.80 5/198 16856
/proc/meminfo: memFree=15647300/32951124 swapFree=67111524/67111528
[pid=16856] ppid=16854 vsize=23028 CPUtime=0 cores=1,3,5,7
/proc/16856/stat : 16856 (java) R 16854 16856 16386 0 -1 4202496 916 0 0 0 0 0 0 0 25 0 1 0 522620484 23580672 402 33554432000 1073741824 1073778376 140734732827952 18446744073709551615 244441982741 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/16856/statm: 5757 414 321 9 0 124 0

[startup+0.070529 s]
/proc/loadavg: 8.04 8.04 7.80 5/198 16856
/proc/meminfo: memFree=15647300/32951124 swapFree=67111524/67111528
[pid=16856] ppid=16854 vsize=15609780 CPUtime=0.05 cores=1,3,5,7
/proc/16856/stat : 16856 (java) S 16854 16856 16386 0 -1 4202496 4371 0 1 0 5 0 0 0 25 0 18 0 522620484 15984414720 3810 33554432000 1073741824 1073778376 140734732827952 18446744073709551615 244458747877 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/16856/statm: 3902445 3811 1778 9 0 3893164 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 15609780

[startup+0.100525 s]
/proc/loadavg: 8.04 8.04 7.80 5/198 16856
/proc/meminfo: memFree=15647300/32951124 swapFree=67111524/67111528
[pid=16856] ppid=16854 vsize=15676292 CPUtime=0.1 cores=1,3,5,7
/proc/16856/stat : 16856 (java) S 16854 16856 16386 0 -1 4202496 5545 0 1 0 9 1 0 0 25 0 18 0 522620484 16052523008 4949 33554432000 1073741824 1073778376 140734732827952 18446744073709551615 244458747877 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/16856/statm: 3919073 4949 2117 9 0 3909792 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 15676292

[startup+0.300489 s]
/proc/loadavg: 8.04 8.04 7.80 5/198 16856
/proc/meminfo: memFree=15647300/32951124 swapFree=67111524/67111528
[pid=16856] ppid=16854 vsize=15679252 CPUtime=0.51 cores=1,3,5,7
/proc/16856/stat : 16856 (java) S 16854 16856 16386 0 -1 4202496 15148 0 1 0 49 2 0 0 25 0 18 0 522620484 16055554048 13593 33554432000 1073741824 1073778376 140734732827952 18446744073709551615 244458747877 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/16856/statm: 3919813 13601 2207 9 0 3910532 0
Current children cumulated CPU time (s) 0.51
Current children cumulated vsize (KiB) 15679252

[startup+0.700426 s]
/proc/loadavg: 8.04 8.04 7.80 5/198 16856
/proc/meminfo: memFree=15647300/32951124 swapFree=67111524/67111528
[pid=16856] ppid=16854 vsize=15679252 CPUtime=0.92 cores=1,3,5,7
/proc/16856/stat : 16856 (java) S 16854 16856 16386 0 -1 4202496 42107 0 1 0 87 5 0 0 25 0 18 0 522620484 16055554048 40549 33554432000 1073741824 1073778376 140734732827952 18446744073709551615 244458747877 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/16856/statm: 3919813 40549 2223 9 0 3910532 0
Current children cumulated CPU time (s) 0.92
Current children cumulated vsize (KiB) 15679252

[startup+1.50127 s]
/proc/loadavg: 8.04 8.04 7.80 6/216 16874
/proc/meminfo: memFree=15489120/32951124 swapFree=67111524/67111528
[pid=16856] ppid=16854 vsize=15679252 CPUtime=1.75 cores=1,3,5,7
/proc/16856/stat : 16856 (java) S 16854 16856 16386 0 -1 4202496 56466 0 1 0 167 8 0 0 25 0 18 0 522620484 16055554048 54891 33554432000 1073741824 1073778376 140734732827952 18446744073709551615 244458747877 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/16856/statm: 3919813 54898 2223 9 0 3910532 0
[pid=16856/tid=16858] ppid=16854 vsize=15679252 CPUtime=1.46 cores=1,3,5,7
/proc/16856/task/16858/stat : 16858 (java) R 16854 16856 16386 0 -1 4202560 46671 0 1 0 140 6 0 0 19 0 18 0 522620485 16055554048 54901 33554432000 1073741824 1073778376 140734732827952 18446744073709551615 46912505365742 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=16856/tid=16859] ppid=16854 vsize=15679252 CPUtime=0 cores=1,3,5,7
/proc/16856/task/16859/stat : 16859 (java) S 16854 16856 16386 0 -1 4202560 67 0 0 0 0 0 0 0 15 0 18 0 522620486 16055554048 54905 33554432000 1073741824 1073778376 140734732827952 18446744073709551615 244458761113 0 4 0 16800975 18446604471117229120 0 0 -1 7 0 0 0
[pid=16856/tid=16860] ppid=16854 vsize=15679252 CPUtime=0 cores=1,3,5,7
/proc/16856/task/16860/stat : 16860 (java) S 16854 16856 16386 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 18 0 522620486 16055554048 54908 33554432000 1073741824 1073778376 140734732827952 18446744073709551615 244458761113 0 4 0 16800975 18446604471117229120 0 0 -1 7 0 0 0
[pid=16856/tid=16861] ppid=16854 vsize=15679252 CPUtime=0 cores=1,3,5,7
/proc/16856/task/16861/stat : 16861 (java) S 16854 16856 16386 0 -1 4202560 67 0 0 0 0 0 0 0 15 0 18 0 522620486 16055554048 54911 33554432000 1073741824 1073778376 140734732827952 18446744073709551615 244458761113 0 4 0 16800975 18446604471117229120 0 0 -1 7 0 0 0
[pid=16856/tid=16862] ppid=16854 vsize=15679252 CPUtime=0 cores=1,3,5,7
/proc/16856/task/16862/stat : 16862 (java) S 16854 16856 16386 0 -1 4202560 936 0 0 0 0 0 0 0 16 0 18 0 522620486 16055554048 54915 33554432000 1073741824 1073778376 140734732827952 18446744073709551615 244458761113 0 4 0 16800975 18446604471117229120 0 0 -1 5 0 0 0
[pid=16856/tid=16863] ppid=16854 vsize=15679252 CPUtime=0 cores=1,3,5,7
/proc/16856/task/16863/stat : 16863 (java) S 16854 16856 16386 0 -1 4202560 1 0 0 0 0 0 0 0 16 0 18 0 522620486 16055554048 54919 33554432000 1073741824 1073778376 140734732827952 18446744073709551615 244458761113 0 4 0 16800975 18446604471117229120 0 0 -1 3 0 0 0
[pid=16856/tid=16864] ppid=16854 vsize=15679252 CPUtime=0 cores=1,3,5,7
/proc/16856/task/16864/stat : 16864 (java) S 16854 16856 16386 0 -1 4202560 1849 0 0 0 0 0 0 0 15 0 18 0 522620486 16055554048 54923 33554432000 1073741824 1073778376 140734732827952 18446744073709551615 244458761113 0 4 0 16800975 18446604471117229120 0 0 -1 3 0 0 0
[pid=16856/tid=16865] ppid=16854 vsize=15679252 CPUtime=0 cores=1,3,5,7
/proc/16856/task/16865/stat : 16865 (java) S 16854 16856 16386 0 -1 4202560 198 0 0 0 0 0 0 0 15 0 18 0 522620486 16055554048 54927 33554432000 1073741824 1073778376 140734732827952 18446744073709551615 244458761113 0 4 0 16800975 18446604471117229120 0 0 -1 5 0 0 0
[pid=16856/tid=16866] ppid=16854 vsize=15679252 CPUtime=0 cores=1,3,5,7
/proc/16856/task/16866/stat : 16866 (java) S 16854 16856 16386 0 -1 4202560 1520 0 0 0 0 0 0 0 16 0 18 0 522620486 16055554048 54931 33554432000 1073741824 1073778376 140734732827952 18446744073709551615 244458761113 0 4 0 16800975 18446604471117229120 0 0 -1 1 0 0 0
[pid=16856/tid=16867] ppid=16854 vsize=15679252 CPUtime=0 cores=1,3,5,7
/proc/16856/task/16867/stat : 16867 (java) S 16854 16856 16386 0 -1 4202560 72 0 0 0 0 0 0 0 15 0 18 0 522620487 16055554048 54935 33554432000 1073741824 1073778376 140734732827952 18446744073709551615 244458761728 0 0 0 16800975 18446604471117229120 0 0 -1 3 0 0 0
[pid=16856/tid=16868] ppid=16854 vsize=15679252 CPUtime=0 cores=1,3,5,7
/proc/16856/task/16868/stat : 16868 (java) S 16854 16856 16386 0 -1 4202560 17 0 0 0 0 0 0 0 21 0 18 0 522620487 16055554048 54939 33554432000 1073741824 1073778376 140734732827952 18446744073709551615 244458761113 0 4 0 16800975 18446604471117229120 0 0 -1 7 0 0 0
[pid=16856/tid=16869] ppid=16854 vsize=15679252 CPUtime=0 cores=1,3,5,7
/proc/16856/task/16869/stat : 16869 (java) S 16854 16856 16386 0 -1 4202560 8 0 0 0 0 0 0 0 21 0 18 0 522620487 16055554048 54942 33554432000 1073741824 1073778376 140734732827952 18446744073709551615 244458761113 0 4 0 16800975 18446604471117229120 0 0 -1 3 0 0 0
[pid=16856/tid=16870] ppid=16854 vsize=15679252 CPUtime=0 cores=1,3,5,7
/proc/16856/task/16870/stat : 16870 (java) S 16854 16856 16386 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 522620489 16055554048 54946 33554432000 1073741824 1073778376 140734732827952 18446744073709551615 244458768817 0 4 0 16800975 18446604471117229120 0 0 -1 5 0 0 0
[pid=16856/tid=16871] ppid=16854 vsize=15679252 CPUtime=0.13 cores=1,3,5,7
/proc/16856/task/16871/stat : 16871 (java) S 16854 16856 16386 0 -1 4202560 2286 0 0 0 13 0 0 0 17 0 18 0 522620489 16055554048 54950 33554432000 1073741824 1073778376 140734732827952 18446744073709551615 244458761113 0 4 0 16800975 18446604471117229120 0 0 -1 7 0 0 0
[pid=16856/tid=16872] ppid=16854 vsize=15679252 CPUtime=0.09 cores=1,3,5,7
/proc/16856/task/16872/stat : 16872 (java) S 16854 16856 16386 0 -1 4202560 1419 0 0 0 9 0 0 0 17 0 18 0 522620489 16055554048 54953 33554432000 1073741824 1073778376 140734732827952 18446744073709551615 244458761113 0 4 0 16800975 18446604471117229120 0 0 -1 1 0 0 0
[pid=16856/tid=16873] ppid=16854 vsize=15679252 CPUtime=0 cores=1,3,5,7
/proc/16856/task/16873/stat : 16873 (java) S 16854 16856 16386 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 522620489 16055554048 54957 33554432000 1073741824 1073778376 140734732827952 18446744073709551615 244458761113 0 4 0 16800975 18446604471117229120 0 0 -1 5 0 0 0
[pid=16856/tid=16874] ppid=16854 vsize=15679252 CPUtime=0 cores=1,3,5,7
/proc/16856/task/16874/stat : 16874 (java) S 16854 16856 16386 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 522620489 16055554048 54961 33554432000 1073741824 1073778376 140734732827952 18446744073709551615 244458761728 0 4 0 16800975 18446604471117229120 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1.75
Current children cumulated vsize (KiB) 15679252

[startup+3.10096 s]
/proc/loadavg: 7.80 7.99 7.78 6/220 16878
/proc/meminfo: memFree=15351332/32951124 swapFree=67111524/67111528
[pid=16856] ppid=16854 vsize=15716000 CPUtime=4.36 cores=1,3,5,7
/proc/16856/stat : 16856 (java) S 16854 16856 16386 0 -1 4202496 93246 0 1 0 423 13 0 0 25 0 22 0 522620484 16093184000 85644 33554432000 1073741824 1073778376 140734732827952 18446744073709551615 244458747877 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/16856/statm: 3929000 85644 2266 9 0 3919719 0
[pid=16856/tid=16858] ppid=16854 vsize=15716000 CPUtime=3.05 cores=1,3,5,7
/proc/16856/task/16858/stat : 16858 (java) R 16854 16856 16386 0 -1 4202560 66346 0 1 0 296 9 0 0 25 0 22 0 522620485 16093184000 85644 33554432000 1073741824 1073778376 140734732827952 18446744073709551615 47705818350421 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=16856/tid=16859] ppid=16854 vsize=15716000 CPUtime=0 cores=1,3,5,7
/proc/16856/task/16859/stat : 16859 (java) S 16854 16856 16386 0 -1 4202560 67 0 0 0 0 0 0 0 15 0 22 0 522620486 16093184000 85644 33554432000 1073741824 1073778376 140734732827952 18446744073709551615 244458761113 0 4 0 16800975 18446604471117229120 0 0 -1 7 0 0 0
[pid=16856/tid=16860] ppid=16854 vsize=15716000 CPUtime=0 cores=1,3,5,7
/proc/16856/task/16860/stat : 16860 (java) S 16854 16856 16386 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 22 0 522620486 16093184000 85644 33554432000 1073741824 1073778376 140734732827952 18446744073709551615 244458761113 0 4 0 16800975 18446604471117229120 0 0 -1 7 0 0 0
[pid=16856/tid=16861] ppid=16854 vsize=15716000 CPUtime=0 cores=1,3,5,7
/proc/16856/task/16861/stat : 16861 (java) S 16854 16856 16386 0 -1 4202560 69 0 0 0 0 0 0 0 15 0 22 0 522620486 16093184000 85644 33554432000 1073741824 1073778376 140734732827952 18446744073709551615 244458761113 0 4 0 16800975 18446604471117229120 0 0 -1 7 0 0 0
[pid=16856/tid=16862] ppid=16854 vsize=15716000 CPUtime=0 cores=1,3,5,7
/proc/16856/task/16862/stat : 16862 (java) S 16854 16856 16386 0 -1 4202560 1128 0 0 0 0 0 0 0 15 0 22 0 522620486 16093184000 85644 33554432000 1073741824 1073778376 140734732827952 18446744073709551615 244458761113 0 4 0 16800975 18446604471117229120 0 0 -1 5 0 0 0
[pid=16856/tid=16863] ppid=16854 vsize=15716000 CPUtime=0 cores=1,3,5,7
/proc/16856/task/16863/stat : 16863 (java) S 16854 16856 16386 0 -1 4202560 2597 0 0 0 0 0 0 0 15 0 22 0 522620486 16093184000 85644 33554432000 1073741824 1073778376 140734732827952 18446744073709551615 244458761113 0 4 0 16800975 18446604471117229120 0 0 -1 3 0 0 0
[pid=16856/tid=16864] ppid=16854 vsize=15716000 CPUtime=0 cores=1,3,5,7
/proc/16856/task/16864/stat : 16864 (java) S 16854 16856 16386 0 -1 4202560 1849 0 0 0 0 0 0 0 15 0 22 0 522620486 16093184000 85644 33554432000 1073741824 1073778376 140734732827952 18446744073709551615 244458761113 0 4 0 16800975 18446604471117229120 0 0 -1 3 0 0 0
[pid=16856/tid=16865] ppid=16854 vsize=15716000 CPUtime=0 cores=1,3,5,7
/proc/16856/task/16865/stat : 16865 (java) S 16854 16856 16386 0 -1 4202560 198 0 0 0 0 0 0 0 15 0 22 0 522620486 16093184000 85644 33554432000 1073741824 1073778376 140734732827952 18446744073709551615 244458761113 0 4 0 16800975 18446604471117229120 0 0 -1 5 0 0 0
[pid=16856/tid=16866] ppid=16854 vsize=15716000 CPUtime=0 cores=1,3,5,7
/proc/16856/task/16866/stat : 16866 (java) S 16854 16856 16386 0 -1 4202560 1551 0 0 0 0 0 0 0 15 0 22 0 522620486 16093184000 85645 33554432000 1073741824 1073778376 140734732827952 18446744073709551615 244458761113 0 4 0 16800975 18446604471117229120 0 0 -1 1 0 0 0
[pid=16856/tid=16867] ppid=16854 vsize=15716000 CPUtime=0 cores=1,3,5,7
/proc/16856/task/16867/stat : 16867 (java) S 16854 16856 16386 0 -1 4202560 198 0 0 0 0 0 0 0 15 0 22 0 522620487 16093184000 85651 33554432000 1073741824 1073778376 140734732827952 18446744073709551615 244458761728 0 0 0 16800975 18446604471117229120 0 0 -1 3 0 0 0
[pid=16856/tid=16868] ppid=16854 vsize=15716000 CPUtime=0 cores=1,3,5,7
/proc/16856/task/16868/stat : 16868 (java) S 16854 16856 16386 0 -1 4202560 17 0 0 0 0 0 0 0 21 0 22 0 522620487 16093184000 85656 33554432000 1073741824 1073778376 140734732827952 18446744073709551615 244458761113 0 4 0 16800975 18446604471117229120 0 0 -1 7 0 0 0
[pid=16856/tid=16869] ppid=16854 vsize=15716000 CPUtime=0 cores=1,3,5,7
/proc/16856/task/16869/stat : 16869 (java) S 16854 16856 16386 0 -1 4202560 8 0 0 0 0 0 0 0 21 0 22 0 522620487 16093184000 85659 33554432000 1073741824 1073778376 140734732827952 18446744073709551615 244458761113 0 4 0 16800975 18446604471117229120 0 0 -1 3 0 0 0
[pid=16856/tid=16870] ppid=16854 vsize=15716000 CPUtime=0 cores=1,3,5,7
/proc/16856/task/16870/stat : 16870 (java) S 16854 16856 16386 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 522620489 16093184000 85661 33554432000 1073741824 1073778376 140734732827952 18446744073709551615 244458768817 0 4 0 16800975 18446604471117229120 0 0 -1 5 0 0 0
[pid=16856/tid=16871] ppid=16854 vsize=15716000 CPUtime=0.22 cores=1,3,5,7
/proc/16856/task/16871/stat : 16871 (java) S 16854 16856 16386 0 -1 4202560 2332 0 0 0 22 0 0 0 15 0 22 0 522620489 16093184000 85665 33554432000 1073741824 1073778376 140734732827952 18446744073709551615 244458761113 0 4 0 16800975 18446604471117229120 0 0 -1 7 0 0 0
[pid=16856/tid=16872] ppid=16854 vsize=15716000 CPUtime=0.99 cores=1,3,5,7
/proc/16856/task/16872/stat : 16872 (java) R 16854 16856 16386 0 -1 4202560 15502 0 0 0 98 1 0 0 16 0 22 0 522620489 16093184000 85666 33554432000 1073741824 1073778376 140734732827952 18446744073709551615 244446639070 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=16856/tid=16873] ppid=16854 vsize=15716000 CPUtime=0 cores=1,3,5,7
/proc/16856/task/16873/stat : 16873 (java) S 16854 16856 16386 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 522620489 16093184000 85666 33554432000 1073741824 1073778376 140734732827952 18446744073709551615 244458761113 0 4 0 16800975 18446604471117229120 0 0 -1 5 0 0 0
[pid=16856/tid=16874] ppid=16854 vsize=15716000 CPUtime=0 cores=1,3,5,7
/proc/16856/task/16874/stat : 16874 (java) S 16854 16856 16386 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 522620489 16093184000 85666 33554432000 1073741824 1073778376 140734732827952 18446744073709551615 244458761728 0 4 0 16800975 18446604471117229120 0 0 -1 3 0 0 0
[pid=16856/tid=16875] ppid=16854 vsize=15716000 CPUtime=0 cores=1,3,5,7
/proc/16856/task/16875/stat : 16875 (java) S 16854 16856 16386 0 -1 4202560 19 0 0 0 0 0 0 0 15 0 22 0 522620688 16093184000 85666 33554432000 1073741824 1073778376 140734732827952 18446744073709551615 244458761728 0 4 0 16800975 18446604471117229120 0 0 -1 5 0 0 0
[pid=16856/tid=16876] ppid=16854 vsize=15716000 CPUtime=0 cores=1,3,5,7
/proc/16856/task/16876/stat : 16876 (java) S 16854 16856 16386 0 -1 4202560 7 0 0 0 0 0 0 0 15 0 22 0 522620688 16093184000 85666 33554432000 1073741824 1073778376 140734732827952 18446744073709551615 244458761728 0 4 0 16800975 18446604471117229120 0 0 -1 3 0 0 0
[pid=16856/tid=16877] ppid=16854 vsize=15716000 CPUtime=0 cores=1,3,5,7
/proc/16856/task/16877/stat : 16877 (java) S 16854 16856 16386 0 -1 4202560 7 0 0 0 0 0 0 0 15 0 22 0 522620688 16093184000 85666 33554432000 1073741824 1073778376 140734732827952 18446744073709551615 244458761728 0 4 0 16800975 18446604471117229120 0 0 -1 3 0 0 0
[pid=16856/tid=16878] ppid=16854 vsize=15716000 CPUtime=0 cores=1,3,5,7
/proc/16856/task/16878/stat : 16878 (java) S 16854 16856 16386 0 -1 4202560 7 0 0 0 0 0 0 0 15 0 22 0 522620688 16093184000 85666 33554432000 1073741824 1073778376 140734732827952 18446744073709551615 244458761728 0 4 0 16800975 18446604471117229120 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4.36
Current children cumulated vsize (KiB) 15716000

[startup+6.30136 s]
/proc/loadavg: 7.80 7.99 7.78 6/220 16878
/proc/meminfo: memFree=15214188/32951124 swapFree=67111524/67111528
[pid=16856] ppid=16854 vsize=15707940 CPUtime=8.53 cores=1,3,5,7
/proc/16856/stat : 16856 (java) S 16854 16856 16386 0 -1 4202496 138071 0 1 0 834 19 0 0 25 0 22 0 522620484 16084930560 125099 33554432000 1073741824 1073778376 140734732827952 18446744073709551615 244458747877 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/16856/statm: 3926985 125099 2280 9 0 3917704 0
[pid=16856/tid=16858] ppid=16854 vsize=15707940 CPUtime=6.25 cores=1,3,5,7
/proc/16856/task/16858/stat : 16858 (java) S 16854 16856 16386 0 -1 4202560 107443 0 1 0 610 15 0 0 25 0 22 0 522620485 16084930560 125099 33554432000 1073741824 1073778376 140734732827952 18446744073709551615 244458761113 0 4 0 16800975 18446604471117229120 0 0 -1 5 0 0 0
[pid=16856/tid=16859] ppid=16854 vsize=15707940 CPUtime=0 cores=1,3,5,7
/proc/16856/task/16859/stat : 16859 (java) S 16854 16856 16386 0 -1 4202560 67 0 0 0 0 0 0 0 15 0 22 0 522620486 16084930560 125099 33554432000 1073741824 1073778376 140734732827952 18446744073709551615 244458761113 0 4 0 16800975 18446604471117229120 0 0 -1 7 0 0 0
[pid=16856/tid=16860] ppid=16854 vsize=15707940 CPUtime=0 cores=1,3,5,7
/proc/16856/task/16860/stat : 16860 (java) S 16854 16856 16386 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 22 0 522620486 16084930560 125099 33554432000 1073741824 1073778376 140734732827952 18446744073709551615 244458761113 0 4 0 16800975 18446604471117229120 0 0 -1 7 0 0 0
[pid=16856/tid=16861] ppid=16854 vsize=15707940 CPUtime=0 cores=1,3,5,7
/proc/16856/task/16861/stat : 16861 (java) S 16854 16856 16386 0 -1 4202560 69 0 0 0 0 0 0 0 15 0 22 0 522620486 16084930560 125099 33554432000 1073741824 1073778376 140734732827952 18446744073709551615 244458761113 0 4 0 16800975 18446604471117229120 0 0 -1 7 0 0 0
[pid=16856/tid=16862] ppid=16854 vsize=15707940 CPUtime=0 cores=1,3,5,7
/proc/16856/task/16862/stat : 16862 (java) S 16854 16856 16386 0 -1 4202560 1128 0 0 0 0 0 0 0 15 0 22 0 522620486 16084930560 125099 33554432000 1073741824 1073778376 140734732827952 18446744073709551615 244458761113 0 4 0 16800975 18446604471117229120 0 0 -1 5 0 0 0
[pid=16856/tid=16863] ppid=16854 vsize=15707940 CPUtime=0 cores=1,3,5,7
/proc/16856/task/16863/stat : 16863 (java) S 16854 16856 16386 0 -1 4202560 2597 0 0 0 0 0 0 0 15 0 22 0 522620486 16084930560 125099 33554432000 1073741824 1073778376 140734732827952 18446744073709551615 244458761113 0 4 0 16800975 18446604471117229120 0 0 -1 3 0 0 0
[pid=16856/tid=16864] ppid=16854 vsize=15707940 CPUtime=0 cores=1,3,5,7
/proc/16856/task/16864/stat : 16864 (java) S 16854 16856 16386 0 -1 4202560 1849 0 0 0 0 0 0 0 15 0 22 0 522620486 16084930560 125099 33554432000 1073741824 1073778376 140734732827952 18446744073709551615 244458761113 0 4 0 16800975 18446604471117229120 0 0 -1 3 0 0 0
[pid=16856/tid=16865] ppid=16854 vsize=15707940 CPUtime=0 cores=1,3,5,7
/proc/16856/task/16865/stat : 16865 (java) S 16854 16856 16386 0 -1 4202560 198 0 0 0 0 0 0 0 15 0 22 0 522620486 16084930560 125099 33554432000 1073741824 1073778376 140734732827952 18446744073709551615 244458761113 0 4 0 16800975 18446604471117229120 0 0 -1 5 0 0 0
[pid=16856/tid=16866] ppid=16854 vsize=15707940 CPUtime=0 cores=1,3,5,7
/proc/16856/task/16866/stat : 16866 (java) S 16854 16856 16386 0 -1 4202560 1551 0 0 0 0 0 0 0 15 0 22 0 522620486 16084930560 125099 33554432000 1073741824 1073778376 140734732827952 18446744073709551615 244458761113 0 4 0 16800975 18446604471117229120 0 0 -1 1 0 0 0
[pid=16856/tid=16867] ppid=16854 vsize=15707940 CPUtime=0 cores=1,3,5,7
/proc/16856/task/16867/stat : 16867 (java) S 16854 16856 16386 0 -1 4202560 199 0 0 0 0 0 0 0 15 0 22 0 522620487 16084930560 125099 33554432000 1073741824 1073778376 140734732827952 18446744073709551615 244458761728 0 0 0 16800975 18446604471117229120 0 0 -1 3 0 0 0
[pid=16856/tid=16868] ppid=16854 vsize=15707940 CPUtime=0 cores=1,3,5,7
/proc/16856/task/16868/stat : 16868 (java) S 16854 16856 16386 0 -1 4202560 17 0 0 0 0 0 0 0 21 0 22 0 522620487 16084930560 125099 33554432000 1073741824 1073778376 140734732827952 18446744073709551615 244458761113 0 4 0 16800975 18446604471117229120 0 0 -1 7 0 0 0
[pid=16856/tid=16869] ppid=16854 vsize=15707940 CPUtime=0 cores=1,3,5,7
/proc/16856/task/16869/stat : 16869 (java) S 16854 16856 16386 0 -1 4202560 8 0 0 0 0 0 0 0 21 0 22 0 522620487 16084930560 125099 33554432000 1073741824 1073778376 140734732827952 18446744073709551615 244458761113 0 4 0 16800975 18446604471117229120 0 0 -1 3 0 0 0
[pid=16856/tid=16870] ppid=16854 vsize=15707940 CPUtime=0 cores=1,3,5,7
/proc/16856/task/16870/stat : 16870 (java) S 16854 16856 16386 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 522620489 16084930560 125099 33554432000 1073741824 1073778376 140734732827952 18446744073709551615 244458768817 0 4 0 16800975 18446604471117229120 0 0 -1 5 0 0 0
[pid=16856/tid=16871] ppid=16854 vsize=15707940 CPUtime=0.77 cores=1,3,5,7
/proc/16856/task/16871/stat : 16871 (java) S 16854 16856 16386 0 -1 4202560 5699 0 0 0 77 0 0 0 15 0 22 0 522620489 16084930560 125099 33554432000 1073741824 1073778376 140734732827952 18446744073709551615 244458761113 0 4 0 16800975 18446604471117229120 0 0 -1 3 0 0 0
[pid=16856/tid=16872] ppid=16854 vsize=15707940 CPUtime=1.42 cores=1,3,5,7
/proc/16856/task/16872/stat : 16872 (java) R 16854 16856 16386 0 -1 4202560 15840 0 0 0 140 2 0 0 15 0 22 0 522620489 16084930560 125099 33554432000 1073741824 1073778376 140734732827952 18446744073709551615 47705817610604 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=16856/tid=16873] ppid=16854 vsize=15707940 CPUtime=0 cores=1,3,5,7
/proc/16856/task/16873/stat : 16873 (java) S 16854 16856 16386 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 522620489 16084930560 125099 33554432000 1073741824 1073778376 140734732827952 18446744073709551615 244458761113 0 4 0 16800975 18446604471117229120 0 0 -1 5 0 0 0
[pid=16856/tid=16874] ppid=16854 vsize=15707940 CPUtime=0 cores=1,3,5,7
/proc/16856/task/16874/stat : 16874 (java) S 16854 16856 16386 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 522620489 16084930560 125099 33554432000 1073741824 1073778376 140734732827952 18446744073709551615 244458761728 0 4 0 16800975 18446604471117229120 0 0 -1 7 0 0 0
[pid=16856/tid=16875] ppid=16854 vsize=15707940 CPUtime=0 cores=1,3,5,7
/proc/16856/task/16875/stat : 16875 (java) R 16854 16856 16386 0 -1 4202560 19 0 0 0 0 0 0 0 15 0 22 0 522620688 16084930560 125099 33554432000 1073741824 1073778376 140734732827952 18446744073709551615 46912506293141 0 4 0 16800975 0 0 0 -1 5 0 0 0

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

/proc/16856/task/16858/stat : 16858 (java) S 16854 16856 16386 0 -1 4202560 107443 0 1 0 610 15 0 0 25 0 21 0 522620485 16084930560 3831828 33554432000 1073741824 1073778376 140734732827952 18446744073709551615 244458761113 0 4 0 16800975 18446604471117229120 0 0 -1 5 0 0 0
[pid=16856/tid=16859] ppid=16854 vsize=15707940 CPUtime=12.61 cores=1,3,5,7
/proc/16856/task/16859/stat : 16859 (java) S 16854 16856 16386 0 -1 4202560 454418 0 0 0 1194 67 0 0 16 0 21 0 522620486 16084930560 3831828 33554432000 1073741824 1073778376 140734732827952 18446744073709551615 244458761113 0 4 0 16800975 18446604471117229120 0 0 -1 1 0 0 0
[pid=16856/tid=16860] ppid=16854 vsize=15707940 CPUtime=13.03 cores=1,3,5,7
/proc/16856/task/16860/stat : 16860 (java) S 16854 16856 16386 0 -1 4202560 515050 0 0 0 1222 81 0 0 16 0 21 0 522620486 16084930560 3831828 33554432000 1073741824 1073778376 140734732827952 18446744073709551615 244458761113 0 4 0 16800975 18446604471117229120 0 0 -1 1 0 0 0
[pid=16856/tid=16861] ppid=16854 vsize=15707940 CPUtime=12.42 cores=1,3,5,7
/proc/16856/task/16861/stat : 16861 (java) S 16854 16856 16386 0 -1 4202560 301686 0 0 0 1193 49 0 0 16 0 21 0 522620486 16084930560 3831828 33554432000 1073741824 1073778376 140734732827952 18446744073709551615 244458761113 0 4 0 16800975 18446604471117229120 0 0 -1 7 0 0 0
[pid=16856/tid=16862] ppid=16854 vsize=15707940 CPUtime=11.38 cores=1,3,5,7
/proc/16856/task/16862/stat : 16862 (java) S 16854 16856 16386 0 -1 4202560 337317 0 0 0 1086 52 0 0 16 0 21 0 522620486 16084930560 3831828 33554432000 1073741824 1073778376 140734732827952 18446744073709551615 244458761113 0 4 0 16800975 18446604471117229120 0 0 -1 1 0 0 0
[pid=16856/tid=16863] ppid=16854 vsize=15707940 CPUtime=12.89 cores=1,3,5,7
/proc/16856/task/16863/stat : 16863 (java) S 16854 16856 16386 0 -1 4202560 416261 0 0 0 1225 64 0 0 16 0 21 0 522620486 16084930560 3831828 33554432000 1073741824 1073778376 140734732827952 18446744073709551615 244458761113 0 4 0 16800975 18446604471117229120 0 0 -1 3 0 0 0
[pid=16856/tid=16864] ppid=16854 vsize=15707940 CPUtime=12.43 cores=1,3,5,7
/proc/16856/task/16864/stat : 16864 (java) S 16854 16856 16386 0 -1 4202560 431625 0 0 0 1180 63 0 0 16 0 21 0 522620486 16084930560 3831828 33554432000 1073741824 1073778376 140734732827952 18446744073709551615 244458761113 0 4 0 16800975 18446604471117229120 0 0 -1 1 0 0 0
[pid=16856/tid=16865] ppid=16854 vsize=15707940 CPUtime=13.17 cores=1,3,5,7
/proc/16856/task/16865/stat : 16865 (java) S 16854 16856 16386 0 -1 4202560 452719 0 0 0 1244 73 0 0 16 0 21 0 522620486 16084930560 3831828 33554432000 1073741824 1073778376 140734732827952 18446744073709551615 244458761113 0 4 0 16800975 18446604471117229120 0 0 -1 7 0 0 0
[pid=16856/tid=16866] ppid=16854 vsize=15707940 CPUtime=12.01 cores=1,3,5,7
/proc/16856/task/16866/stat : 16866 (java) S 16854 16856 16386 0 -1 4202560 402522 0 0 0 1141 60 0 0 16 0 21 0 522620486 16084930560 3831828 33554432000 1073741824 1073778376 140734732827952 18446744073709551615 244458761113 0 4 0 16800975 18446604471117229120 0 0 -1 3 0 0 0
[pid=16856/tid=16867] ppid=16854 vsize=15707940 CPUtime=759.54 cores=1,3,5,7
/proc/16856/task/16867/stat : 16867 (java) R 16854 16856 16386 0 -1 4202560 413659 0 0 0 75894 60 0 0 18 0 21 0 522620487 16084930560 3831828 33554432000 1073741824 1073778376 140734732827952 18446744073709551615 47705821573192 0 0 0 16800975 0 0 0 -1 3 0 0 0
[pid=16856/tid=16868] ppid=16854 vsize=15707940 CPUtime=0 cores=1,3,5,7
/proc/16856/task/16868/stat : 16868 (java) S 16854 16856 16386 0 -1 4202560 20 0 0 0 0 0 0 0 15 0 21 0 522620487 16084930560 3831828 33554432000 1073741824 1073778376 140734732827952 18446744073709551615 244458761113 0 4 0 16800975 18446604471117229120 0 0 -1 3 0 0 0
[pid=16856/tid=16869] ppid=16854 vsize=15707940 CPUtime=0 cores=1,3,5,7
/proc/16856/task/16869/stat : 16869 (java) S 16854 16856 16386 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 21 0 522620487 16084930560 3831828 33554432000 1073741824 1073778376 140734732827952 18446744073709551615 244458761113 0 4 0 16800975 18446604471117229120 0 0 -1 3 0 0 0
[pid=16856/tid=16870] ppid=16854 vsize=15707940 CPUtime=0 cores=1,3,5,7
/proc/16856/task/16870/stat : 16870 (java) S 16854 16856 16386 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 21 0 522620489 16084930560 3831828 33554432000 1073741824 1073778376 140734732827952 18446744073709551615 244458768817 0 4 0 16800975 18446604471117229120 0 0 -1 5 0 0 0
[pid=16856/tid=16871] ppid=16854 vsize=15707940 CPUtime=1.48 cores=1,3,5,7
/proc/16856/task/16871/stat : 16871 (java) S 16854 16856 16386 0 -1 4202560 8005 0 0 0 148 0 0 0 15 0 21 0 522620489 16084930560 3831828 33554432000 1073741824 1073778376 140734732827952 18446744073709551615 244458761113 0 4 0 16800975 18446604471117229120 0 0 -1 7 0 0 0
[pid=16856/tid=16872] ppid=16854 vsize=15707940 CPUtime=2.08 cores=1,3,5,7
/proc/16856/task/16872/stat : 16872 (java) S 16854 16856 16386 0 -1 4202560 15894 0 0 0 206 2 0 0 15 0 21 0 522620489 16084930560 3831828 33554432000 1073741824 1073778376 140734732827952 18446744073709551615 244458761113 0 4 0 16800975 18446604471117229120 0 0 -1 3 0 0 0
[pid=16856/tid=16873] ppid=16854 vsize=15707940 CPUtime=0 cores=1,3,5,7
/proc/16856/task/16873/stat : 16873 (java) S 16854 16856 16386 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 21 0 522620489 16084930560 3831828 33554432000 1073741824 1073778376 140734732827952 18446744073709551615 244458761113 0 4 0 16800975 18446604471117229120 0 0 -1 5 0 0 0
[pid=16856/tid=16874] ppid=16854 vsize=15707940 CPUtime=0 cores=1,3,5,7
/proc/16856/task/16874/stat : 16874 (java) S 16854 16856 16386 0 -1 4202560 69 0 0 0 0 0 0 0 15 0 21 0 522620489 16084930560 3831828 33554432000 1073741824 1073778376 140734732827952 18446744073709551615 244458761728 0 4 0 16800975 18446604471117229120 0 0 -1 7 0 0 0
[pid=16856/tid=16875] ppid=16854 vsize=15707940 CPUtime=386.37 cores=1,3,5,7
/proc/16856/task/16875/stat : 16875 (java) S 16854 16856 16386 0 -1 4202560 51377 0 0 0 38628 9 0 0 15 0 21 0 522620688 16084930560 3831828 33554432000 1073741824 1073778376 140734732827952 18446744073709551615 244458761113 0 4 0 16800975 18446604471117229120 0 0 -1 3 0 0 0
[pid=16856/tid=16876] ppid=16854 vsize=15707940 CPUtime=384.75 cores=1,3,5,7
/proc/16856/task/16876/stat : 16876 (java) S 16854 16856 16386 0 -1 4202560 3324 0 0 0 38471 4 0 0 15 0 21 0 522620688 16084930560 3831828 33554432000 1073741824 1073778376 140734732827952 18446744073709551615 244458761113 0 4 0 16800975 18446604471117229120 0 0 -1 1 0 0 0
[pid=16856/tid=16877] ppid=16854 vsize=15707940 CPUtime=389.64 cores=1,3,5,7
/proc/16856/task/16877/stat : 16877 (java) S 16854 16856 16386 0 -1 4202560 63786 0 0 0 38954 10 0 0 15 0 21 0 522620688 16084930560 3831828 33554432000 1073741824 1073778376 140734732827952 18446744073709551615 244458761113 0 4 0 16800975 18446604471117229120 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2366.88
Current children cumulated vsize (KiB) 15707940

[startup+1242.3 s]
/proc/loadavg: 5.19 5.38 6.25 6/219 16974
/proc/meminfo: memFree=6920128/32951124 swapFree=67111524/67111528
[pid=16856] ppid=16854 vsize=15707940 CPUtime=2439.99 cores=1,3,5,7
/proc/16856/stat : 16856 (java) S 16854 16856 16386 0 -1 4202496 3992405 0 1 0 243375 624 0 0 25 0 21 0 522620484 16084930560 3831828 33554432000 1073741824 1073778376 140734732827952 18446744073709551615 244458747877 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/16856/statm: 3926985 3831828 2302 9 0 3917704 0
[pid=16856/tid=16858] ppid=16854 vsize=15707940 CPUtime=6.25 cores=1,3,5,7
/proc/16856/task/16858/stat : 16858 (java) S 16854 16856 16386 0 -1 4202560 107443 0 1 0 610 15 0 0 25 0 21 0 522620485 16084930560 3831828 33554432000 1073741824 1073778376 140734732827952 18446744073709551615 244458761113 0 4 0 16800975 18446604471117229120 0 0 -1 5 0 0 0
[pid=16856/tid=16859] ppid=16854 vsize=15707940 CPUtime=12.61 cores=1,3,5,7
/proc/16856/task/16859/stat : 16859 (java) S 16854 16856 16386 0 -1 4202560 454418 0 0 0 1194 67 0 0 16 0 21 0 522620486 16084930560 3831828 33554432000 1073741824 1073778376 140734732827952 18446744073709551615 244458761113 0 4 0 16800975 18446604471117229120 0 0 -1 1 0 0 0
[pid=16856/tid=16860] ppid=16854 vsize=15707940 CPUtime=13.03 cores=1,3,5,7
/proc/16856/task/16860/stat : 16860 (java) S 16854 16856 16386 0 -1 4202560 515050 0 0 0 1222 81 0 0 16 0 21 0 522620486 16084930560 3831828 33554432000 1073741824 1073778376 140734732827952 18446744073709551615 244458761113 0 4 0 16800975 18446604471117229120 0 0 -1 1 0 0 0
[pid=16856/tid=16861] ppid=16854 vsize=15707940 CPUtime=12.42 cores=1,3,5,7
/proc/16856/task/16861/stat : 16861 (java) S 16854 16856 16386 0 -1 4202560 301686 0 0 0 1193 49 0 0 16 0 21 0 522620486 16084930560 3831828 33554432000 1073741824 1073778376 140734732827952 18446744073709551615 244458761113 0 4 0 16800975 18446604471117229120 0 0 -1 7 0 0 0
[pid=16856/tid=16862] ppid=16854 vsize=15707940 CPUtime=11.38 cores=1,3,5,7
/proc/16856/task/16862/stat : 16862 (java) S 16854 16856 16386 0 -1 4202560 337317 0 0 0 1086 52 0 0 16 0 21 0 522620486 16084930560 3831828 33554432000 1073741824 1073778376 140734732827952 18446744073709551615 244458761113 0 4 0 16800975 18446604471117229120 0 0 -1 1 0 0 0
[pid=16856/tid=16863] ppid=16854 vsize=15707940 CPUtime=12.89 cores=1,3,5,7
/proc/16856/task/16863/stat : 16863 (java) S 16854 16856 16386 0 -1 4202560 416261 0 0 0 1225 64 0 0 16 0 21 0 522620486 16084930560 3831828 33554432000 1073741824 1073778376 140734732827952 18446744073709551615 244458761113 0 4 0 16800975 18446604471117229120 0 0 -1 3 0 0 0
[pid=16856/tid=16864] ppid=16854 vsize=15707940 CPUtime=12.43 cores=1,3,5,7
/proc/16856/task/16864/stat : 16864 (java) S 16854 16856 16386 0 -1 4202560 431625 0 0 0 1180 63 0 0 16 0 21 0 522620486 16084930560 3831828 33554432000 1073741824 1073778376 140734732827952 18446744073709551615 244458761113 0 4 0 16800975 18446604471117229120 0 0 -1 1 0 0 0
[pid=16856/tid=16865] ppid=16854 vsize=15707940 CPUtime=13.17 cores=1,3,5,7
/proc/16856/task/16865/stat : 16865 (java) S 16854 16856 16386 0 -1 4202560 452719 0 0 0 1244 73 0 0 16 0 21 0 522620486 16084930560 3831828 33554432000 1073741824 1073778376 140734732827952 18446744073709551615 244458761113 0 4 0 16800975 18446604471117229120 0 0 -1 7 0 0 0
[pid=16856/tid=16866] ppid=16854 vsize=15707940 CPUtime=12.01 cores=1,3,5,7
/proc/16856/task/16866/stat : 16866 (java) S 16854 16856 16386 0 -1 4202560 402522 0 0 0 1141 60 0 0 16 0 21 0 522620486 16084930560 3831828 33554432000 1073741824 1073778376 140734732827952 18446744073709551615 244458761113 0 4 0 16800975 18446604471117229120 0 0 -1 3 0 0 0
[pid=16856/tid=16867] ppid=16854 vsize=15707940 CPUtime=812.92 cores=1,3,5,7
/proc/16856/task/16867/stat : 16867 (java) R 16854 16856 16386 0 -1 4202560 413663 0 0 0 81231 61 0 0 16 0 21 0 522620487 16084930560 3831828 33554432000 1073741824 1073778376 140734732827952 18446744073709551615 47705819251557 0 0 0 16800975 0 0 0 -1 3 0 0 0
[pid=16856/tid=16868] ppid=16854 vsize=15707940 CPUtime=0 cores=1,3,5,7
/proc/16856/task/16868/stat : 16868 (java) S 16854 16856 16386 0 -1 4202560 20 0 0 0 0 0 0 0 15 0 21 0 522620487 16084930560 3831828 33554432000 1073741824 1073778376 140734732827952 18446744073709551615 244458761113 0 4 0 16800975 18446604471117229120 0 0 -1 3 0 0 0
[pid=16856/tid=16869] ppid=16854 vsize=15707940 CPUtime=0 cores=1,3,5,7
/proc/16856/task/16869/stat : 16869 (java) S 16854 16856 16386 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 21 0 522620487 16084930560 3831828 33554432000 1073741824 1073778376 140734732827952 18446744073709551615 244458761113 0 4 0 16800975 18446604471117229120 0 0 -1 3 0 0 0
[pid=16856/tid=16870] ppid=16854 vsize=15707940 CPUtime=0 cores=1,3,5,7
/proc/16856/task/16870/stat : 16870 (java) S 16854 16856 16386 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 21 0 522620489 16084930560 3831828 33554432000 1073741824 1073778376 140734732827952 18446744073709551615 244458768817 0 4 0 16800975 18446604471117229120 0 0 -1 5 0 0 0
[pid=16856/tid=16871] ppid=16854 vsize=15707940 CPUtime=1.48 cores=1,3,5,7
/proc/16856/task/16871/stat : 16871 (java) S 16854 16856 16386 0 -1 4202560 8005 0 0 0 148 0 0 0 15 0 21 0 522620489 16084930560 3831828 33554432000 1073741824 1073778376 140734732827952 18446744073709551615 244458761113 0 4 0 16800975 18446604471117229120 0 0 -1 7 0 0 0
[pid=16856/tid=16872] ppid=16854 vsize=15707940 CPUtime=2.08 cores=1,3,5,7
/proc/16856/task/16872/stat : 16872 (java) S 16854 16856 16386 0 -1 4202560 15894 0 0 0 206 2 0 0 15 0 21 0 522620489 16084930560 3831828 33554432000 1073741824 1073778376 140734732827952 18446744073709551615 244458761113 0 4 0 16800975 18446604471117229120 0 0 -1 3 0 0 0
[pid=16856/tid=16873] ppid=16854 vsize=15707940 CPUtime=0 cores=1,3,5,7
/proc/16856/task/16873/stat : 16873 (java) S 16854 16856 16386 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 21 0 522620489 16084930560 3831828 33554432000 1073741824 1073778376 140734732827952 18446744073709551615 244458761113 0 4 0 16800975 18446604471117229120 0 0 -1 5 0 0 0
[pid=16856/tid=16874] ppid=16854 vsize=15707940 CPUtime=0 cores=1,3,5,7
/proc/16856/task/16874/stat : 16874 (java) S 16854 16856 16386 0 -1 4202560 73 0 0 0 0 0 0 0 15 0 21 0 522620489 16084930560 3831828 33554432000 1073741824 1073778376 140734732827952 18446744073709551615 244458761728 0 4 0 16800975 18446604471117229120 0 0 -1 7 0 0 0
[pid=16856/tid=16875] ppid=16854 vsize=15707940 CPUtime=392.94 cores=1,3,5,7
/proc/16856/task/16875/stat : 16875 (java) S 16854 16856 16386 0 -1 4202560 51431 0 0 0 39284 10 0 0 15 0 21 0 522620688 16084930560 3831828 33554432000 1073741824 1073778376 140734732827952 18446744073709551615 244458761113 0 4 0 16800975 18446604471117229120 0 0 -1 3 0 0 0
[pid=16856/tid=16876] ppid=16854 vsize=15707940 CPUtime=391.35 cores=1,3,5,7
/proc/16856/task/16876/stat : 16876 (java) S 16854 16856 16386 0 -1 4202560 3347 0 0 0 39130 5 0 0 16 0 21 0 522620688 16084930560 3831828 33554432000 1073741824 1073778376 140734732827952 18446744073709551615 244458761113 0 4 0 16800975 18446604471117229120 0 0 -1 1 0 0 0
[pid=16856/tid=16877] ppid=16854 vsize=15707940 CPUtime=396.22 cores=1,3,5,7
/proc/16856/task/16877/stat : 16877 (java) S 16854 16856 16386 0 -1 4202560 63824 0 0 0 39612 10 0 0 16 0 21 0 522620688 16084930560 3831828 33554432000 1073741824 1073778376 140734732827952 18446744073709551615 244458761113 0 4 0 16800975 18446604471117229120 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2439.99
Current children cumulated vsize (KiB) 15707940



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+1300 s]
/proc/loadavg: 4.40 5.17 6.12 2/192 16996
/proc/meminfo: memFree=7730588/32951124 swapFree=67111524/67111528
[pid=16856] ppid=16854 vsize=15707940 CPUtime=2507.49 cores=1,3,5,7
/proc/16856/stat : 16856 (java) S 16854 16856 16386 0 -1 4202496 3992536 0 1 0 250123 626 0 0 25 0 21 0 522620484 16084930560 3831828 33554432000 1073741824 1073778376 140734732827952 18446744073709551615 244458747877 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/16856/statm: 3926985 3831828 2302 9 0 3917704 0
[pid=16856/tid=16858] ppid=16854 vsize=15707940 CPUtime=6.25 cores=1,3,5,7
/proc/16856/task/16858/stat : 16858 (java) S 16854 16856 16386 0 -1 4202560 107443 0 1 0 610 15 0 0 25 0 21 0 522620485 16084930560 3831828 33554432000 1073741824 1073778376 140734732827952 18446744073709551615 244458761113 0 4 0 16800975 18446604471117229120 0 0 -1 5 0 0 0
[pid=16856/tid=16859] ppid=16854 vsize=15707940 CPUtime=12.61 cores=1,3,5,7
/proc/16856/task/16859/stat : 16859 (java) S 16854 16856 16386 0 -1 4202560 454418 0 0 0 1194 67 0 0 16 0 21 0 522620486 16084930560 3831828 33554432000 1073741824 1073778376 140734732827952 18446744073709551615 244458761113 0 4 0 16800975 18446604471117229120 0 0 -1 1 0 0 0
[pid=16856/tid=16860] ppid=16854 vsize=15707940 CPUtime=13.03 cores=1,3,5,7
/proc/16856/task/16860/stat : 16860 (java) S 16854 16856 16386 0 -1 4202560 515050 0 0 0 1222 81 0 0 16 0 21 0 522620486 16084930560 3831828 33554432000 1073741824 1073778376 140734732827952 18446744073709551615 244458761113 0 4 0 16800975 18446604471117229120 0 0 -1 1 0 0 0
[pid=16856/tid=16861] ppid=16854 vsize=15707940 CPUtime=12.42 cores=1,3,5,7
/proc/16856/task/16861/stat : 16861 (java) S 16854 16856 16386 0 -1 4202560 301686 0 0 0 1193 49 0 0 16 0 21 0 522620486 16084930560 3831828 33554432000 1073741824 1073778376 140734732827952 18446744073709551615 244458761113 0 4 0 16800975 18446604471117229120 0 0 -1 7 0 0 0
[pid=16856/tid=16862] ppid=16854 vsize=15707940 CPUtime=11.38 cores=1,3,5,7
/proc/16856/task/16862/stat : 16862 (java) S 16854 16856 16386 0 -1 4202560 337317 0 0 0 1086 52 0 0 16 0 21 0 522620486 16084930560 3831828 33554432000 1073741824 1073778376 140734732827952 18446744073709551615 244458761113 0 4 0 16800975 18446604471117229120 0 0 -1 1 0 0 0
[pid=16856/tid=16863] ppid=16854 vsize=15707940 CPUtime=12.89 cores=1,3,5,7
/proc/16856/task/16863/stat : 16863 (java) S 16854 16856 16386 0 -1 4202560 416261 0 0 0 1225 64 0 0 16 0 21 0 522620486 16084930560 3831828 33554432000 1073741824 1073778376 140734732827952 18446744073709551615 244458761113 0 4 0 16800975 18446604471117229120 0 0 -1 3 0 0 0
[pid=16856/tid=16864] ppid=16854 vsize=15707940 CPUtime=12.43 cores=1,3,5,7
/proc/16856/task/16864/stat : 16864 (java) S 16854 16856 16386 0 -1 4202560 431625 0 0 0 1180 63 0 0 16 0 21 0 522620486 16084930560 3831828 33554432000 1073741824 1073778376 140734732827952 18446744073709551615 244458761113 0 4 0 16800975 18446604471117229120 0 0 -1 1 0 0 0
[pid=16856/tid=16865] ppid=16854 vsize=15707940 CPUtime=13.17 cores=1,3,5,7
/proc/16856/task/16865/stat : 16865 (java) S 16854 16856 16386 0 -1 4202560 452719 0 0 0 1244 73 0 0 16 0 21 0 522620486 16084930560 3831828 33554432000 1073741824 1073778376 140734732827952 18446744073709551615 244458761113 0 4 0 16800975 18446604471117229120 0 0 -1 7 0 0 0
[pid=16856/tid=16866] ppid=16854 vsize=15707940 CPUtime=12.01 cores=1,3,5,7
/proc/16856/task/16866/stat : 16866 (java) S 16854 16856 16386 0 -1 4202560 402522 0 0 0 1141 60 0 0 16 0 21 0 522620486 16084930560 3831828 33554432000 1073741824 1073778376 140734732827952 18446744073709551615 244458761113 0 4 0 16800975 18446604471117229120 0 0 -1 3 0 0 0
[pid=16856/tid=16867] ppid=16854 vsize=15707940 CPUtime=865.66 cores=1,3,5,7
/proc/16856/task/16867/stat : 16867 (java) R 16854 16856 16386 0 -1 4202560 413665 0 0 0 86504 62 0 0 17 0 21 0 522620487 16084930560 3831828 33554432000 1073741824 1073778376 140734732827952 18446744073709551615 47705822832106 0 0 0 16800975 0 0 0 -1 1 0 0 0
[pid=16856/tid=16868] ppid=16854 vsize=15707940 CPUtime=0 cores=1,3,5,7
/proc/16856/task/16868/stat : 16868 (java) S 16854 16856 16386 0 -1 4202560 20 0 0 0 0 0 0 0 15 0 21 0 522620487 16084930560 3831828 33554432000 1073741824 1073778376 140734732827952 18446744073709551615 244458761113 0 4 0 16800975 18446604471117229120 0 0 -1 3 0 0 0
[pid=16856/tid=16869] ppid=16854 vsize=15707940 CPUtime=0 cores=1,3,5,7
/proc/16856/task/16869/stat : 16869 (java) S 16854 16856 16386 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 21 0 522620487 16084930560 3831828 33554432000 1073741824 1073778376 140734732827952 18446744073709551615 244458761113 0 4 0 16800975 18446604471117229120 0 0 -1 3 0 0 0
[pid=16856/tid=16870] ppid=16854 vsize=15707940 CPUtime=0 cores=1,3,5,7
/proc/16856/task/16870/stat : 16870 (java) S 16854 16856 16386 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 21 0 522620489 16084930560 3831828 33554432000 1073741824 1073778376 140734732827952 18446744073709551615 244458768817 0 4 0 16800975 18446604471117229120 0 0 -1 5 0 0 0
[pid=16856/tid=16871] ppid=16854 vsize=15707940 CPUtime=1.48 cores=1,3,5,7
/proc/16856/task/16871/stat : 16871 (java) S 16854 16856 16386 0 -1 4202560 8005 0 0 0 148 0 0 0 15 0 21 0 522620489 16084930560 3831828 33554432000 1073741824 1073778376 140734732827952 18446744073709551615 244458761113 0 4 0 16800975 18446604471117229120 0 0 -1 7 0 0 0
[pid=16856/tid=16872] ppid=16854 vsize=15707940 CPUtime=2.08 cores=1,3,5,7
/proc/16856/task/16872/stat : 16872 (java) S 16854 16856 16386 0 -1 4202560 15894 0 0 0 206 2 0 0 15 0 21 0 522620489 16084930560 3831828 33554432000 1073741824 1073778376 140734732827952 18446744073709551615 244458761113 0 4 0 16800975 18446604471117229120 0 0 -1 3 0 0 0
[pid=16856/tid=16873] ppid=16854 vsize=15707940 CPUtime=0 cores=1,3,5,7
/proc/16856/task/16873/stat : 16873 (java) S 16854 16856 16386 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 21 0 522620489 16084930560 3831828 33554432000 1073741824 1073778376 140734732827952 18446744073709551615 244458761113 0 4 0 16800975 18446604471117229120 0 0 -1 5 0 0 0
[pid=16856/tid=16874] ppid=16854 vsize=15707940 CPUtime=0 cores=1,3,5,7
/proc/16856/task/16874/stat : 16874 (java) S 16854 16856 16386 0 -1 4202560 75 0 0 0 0 0 0 0 15 0 21 0 522620489 16084930560 3831828 33554432000 1073741824 1073778376 140734732827952 18446744073709551615 244458761728 0 4 0 16800975 18446604471117229120 0 0 -1 7 0 0 0
[pid=16856/tid=16875] ppid=16854 vsize=15707940 CPUtime=397.86 cores=1,3,5,7
/proc/16856/task/16875/stat : 16875 (java) S 16854 16856 16386 0 -1 4202560 51463 0 0 0 39776 10 0 0 15 0 21 0 522620688 16084930560 3831828 33554432000 1073741824 1073778376 140734732827952 18446744073709551615 244458761113 0 4 0 16800975 18446604471117229120 0 0 -1 3 0 0 0
[pid=16856/tid=16876] ppid=16854 vsize=15707940 CPUtime=396.26 cores=1,3,5,7
/proc/16856/task/16876/stat : 16876 (java) S 16854 16856 16386 0 -1 4202560 3389 0 0 0 39621 5 0 0 15 0 21 0 522620688 16084930560 3831828 33554432000 1073741824 1073778376 140734732827952 18446744073709551615 244458761113 0 4 0 16800975 18446604471117229120 0 0 -1 1 0 0 0
[pid=16856/tid=16877] ppid=16854 vsize=15707940 CPUtime=401.13 cores=1,3,5,7
/proc/16856/task/16877/stat : 16877 (java) S 16854 16856 16386 0 -1 4202560 63877 0 0 0 40103 10 0 0 15 0 21 0 522620688 16084930560 3831828 33554432000 1073741824 1073778376 140734732827952 18446744073709551615 244458761113 0 4 0 16800975 18446604471117229120 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2507.49
Current children cumulated vsize (KiB) 15707940

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

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

[startup+1300.5 s]
/proc/loadavg: 4.40 5.17 6.12 2/192 16996
/proc/meminfo: memFree=7730588/32951124 swapFree=67111524/67111528
[pid=16856] ppid=16854 vsize=0 CPUtime=2507.97 cores=1,3,5,7
/proc/16856/stat : 16856 (java) Z 16854 16856 16386 0 -1 4203548 3992555 0 1 0 250137 660 0 0 16 0 2 0 522620484 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/16856/statm: 0 0 0 0 0 0 0
[pid=16856/tid=16869] ppid=16854 vsize=0 CPUtime=0.34 cores=1,3,5,7
/proc/16856/task/16869/stat : 16869 (java) R 16854 16856 16386 0 -1 4203588 8 0 0 0 0 34 0 0 18 0 2 0 522620487 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2507.97
Current children cumulated vsize (KiB) 0

[startup+1300.7 s]
/proc/loadavg: 4.40 5.17 6.12 2/174 16999
/proc/meminfo: memFree=22302840/32951124 swapFree=67111524/67111528
[pid=16856] ppid=16854 vsize=0 CPUtime=2508.18 cores=1,3,5,7
/proc/16856/stat : 16856 (java) Z 16854 16856 16386 0 -1 4203548 3992555 0 1 0 250137 681 0 0 16 0 2 0 522620484 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/16856/statm: 0 0 0 0 0 0 0
[pid=16856/tid=16869] ppid=16854 vsize=0 CPUtime=0.55 cores=1,3,5,7
/proc/16856/task/16869/stat : 16869 (java) R 16854 16856 16386 0 -1 4203588 8 0 0 0 0 55 0 0 18 0 2 0 522620487 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2508.18
Current children cumulated vsize (KiB) 0

Child status: 143
Real time (s): 1300.73
CPU time (s): 2508.22
CPU user time (s): 2501.38
CPU system time (s): 6.83996
CPU usage (%): 192.831
Max. virtual memory (cumulated for all children) (KiB): 15716000

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2501.38
system time used= 6.83996
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3992555
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= 42495
involuntary context switches= 33760

runsolver used 2.03669 second user time and 5.12822 second system time

The end

Launcher Data 

Begin job on node105 at 2011-04-29 22:50:00
IDJOB=3312117
IDBENCH=82493
IDSOLVER=1698
FILE ID=node105/3312117-1304110200
RUNJOBID= node105-1304108944-16732
PBS_JOBID= 13170654
Free space on /tmp= 71908 MiB

SOLVER NAME= STRUCTure 0.1 (hbr=2)
BENCH NAME= SAT11/application/jarvisalo/HWMCC10-combination-timeframe-expansion/hwmcc10-timeframe-expansion-k50-eijkbs6669-tseitin.cnf
COMMAND LINE= run 15000 NBCORE TMPDIR DIR BENCHNAME -hbr 2
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3312117-1304110200/watcher-3312117-1304110200 -o /tmp/evaluation-result-3312117-1304110200/solver-3312117-1304110200 -C 4800 -W 1300 -M 15500  run 15000 4 HOME HOME HOME/instance-3312117-1304110200.cnf -hbr 2

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

MD5SUM BENCH= 7886cd26d6e0801ea382a1ffd6224023
RANDOM SEED=1952373215

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

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

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      15647572 kB
Buffers:       2158476 kB
Cached:        7122332 kB
SwapCached:          4 kB
Active:        7993544 kB
Inactive:      8750212 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      15647572 kB
SwapTotal:    67111528 kB
SwapFree:     67111524 kB
Dirty:           11444 kB
Writeback:           0 kB
AnonPages:     7462652 kB
Mapped:          23552 kB
Slab:           483572 kB
PageTables:      19340 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:  7891660 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= 71928 MiB
End job on node105 at 2011-04-29 23:11:42