Trace number 3291559

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
SAT4J core 2.3.0 SNAPSHOT 2011-02-06? (TO) 1301.45 1300.07

General information on the benchmark

NameSAT03/industrial/kukula/addm_bench/
am_7_7.shuffled-as.sat03-363.cnf
MD5SUMc7f51e1ee7556440ab29e1c4bfe29538
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 variables4264
Number of clauses14751
Sum of the clauses size40035
Maximum clause length3
Minimum clause length1
Number of clauses of size 12
Number of clauses of size 24214
Number of clauses of size 310535
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50

Solver Data 

0.01/0.08	c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre
0.01/0.08	c This is free software under the dual EPL/GNU LGPL licenses.
0.01/0.08	c See www.sat4j.org for details.
0.01/0.08	c no version file found!!!
0.01/0.08	c java.runtime.name	Java(TM) SE Runtime Environment
0.01/0.08	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.01/0.08	c java.vm.version	19.1-b02
0.01/0.08	c java.vm.vendor	Sun Microsystems Inc.
0.01/0.08	c sun.arch.data.model	64
0.01/0.08	c java.version		1.6.0_24
0.01/0.08	c os.name		Linux
0.01/0.08	c os.version		2.6.18-164.el5
0.01/0.08	c os.arch		amd64
0.01/0.08	c Free memory 		6997539544
0.01/0.08	c Max memory 		7034241024
0.01/0.08	c Total memory 		7034241024
0.01/0.08	c Number of processors 	8
0.01/0.10	c --- Begin Solver configuration ---
0.01/0.10	c org.sat4j.minisat.constraints.MixedDataStructureDanielWL@64578ceb
0.01/0.10	c Learn all clauses as in MiniSAT
0.01/0.10	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.1 initConflictBound=100 
0.01/0.10	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT
0.01/0.10	c Expensive reason simplification
0.01/0.10	c Armin Biere (Picosat) restarts strategy
0.01/0.10	c Glucose learned constraints deletion strategy
0.01/0.10	c timeout=2147483647s
0.01/0.10	c DB Simplification allowed=true
0.01/0.10	c --- End Solver configuration ---
0.01/0.10	c solving HOME/instance-3291559-1303791400.cnf
0.01/0.10	c reading problem ... 
0.10/0.20	c ... done. Wall clock time 0.086s.
0.10/0.20	c #vars     4264
0.10/0.20	c #constraints  14748
0.10/0.20	c constraints type 
0.10/0.20	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 10534
0.10/0.20	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 4212
1.49/1.11	c cleaning 2380 clauses out of 4765 with flag 5000/5000
2.75/1.93	c cleaning 4187 clauses out of 8381 with flag 11002/11002
3.75/2.93	c cleaning 5592 clauses out of 11186 with flag 18000/18000
4.95/4.14	c cleaning 6751 clauses out of 13515 with flag 26000/26000
6.25/5.46	c cleaning 7846 clauses out of 15713 with flag 35000/35000
7.85/7.04	c cleaning 8920 clauses out of 17867 with flag 45000/45000
9.55/8.78	c cleaning 9963 clauses out of 19925 with flag 56000/56000
11.75/10.90	c cleaning 10978 clauses out of 21962 with flag 68000/68000
14.05/13.27	c cleaning 11982 clauses out of 23984 with flag 81000/81000
16.75/15.98	c cleaning 12984 clauses out of 26002 with flag 95000/95000
19.85/19.06	c cleaning 13996 clauses out of 28019 with flag 110001/110001
22.95/22.13	c cleaning 14500 clauses out of 29022 with flag 125000/125000
26.16/25.36	c cleaning 14749 clauses out of 29525 with flag 140003/140003
29.25/28.48	c cleaning 14878 clauses out of 29773 with flag 155000/155000
32.35/31.53	c cleaning 14928 clauses out of 29895 with flag 170000/170000
35.45/34.66	c cleaning 14973 clauses out of 29967 with flag 185000/185000
38.75/37.95	c cleaning 14982 clauses out of 29995 with flag 200001/200001
42.05/41.26	c cleaning 14989 clauses out of 30012 with flag 215000/215000
45.25/44.46	c cleaning 15003 clauses out of 30024 with flag 230001/230001
48.55/47.76	c cleaning 15005 clauses out of 30022 with flag 245002/245002
51.46/50.66	c cleaning 14992 clauses out of 30015 with flag 260000/260000
54.65/53.84	c cleaning 15002 clauses out of 30025 with flag 275002/275002
57.95/57.18	c cleaning 14998 clauses out of 30021 with flag 290000/290000
61.15/60.33	c cleaning 14996 clauses out of 30026 with flag 305003/305003
64.35/63.57	c cleaning 14998 clauses out of 30029 with flag 320002/320002
67.35/66.58	c cleaning 15001 clauses out of 30029 with flag 335000/335000
70.45/69.68	c cleaning 15003 clauses out of 30028 with flag 350000/350000
73.95/73.17	c cleaning 15011 clauses out of 30027 with flag 365002/365002
77.16/76.37	c cleaning 14993 clauses out of 30014 with flag 380000/380000
80.36/79.56	c cleaning 15001 clauses out of 30022 with flag 395001/395001
83.56/82.73	c cleaning 14997 clauses out of 30022 with flag 410002/410002
86.66/85.88	c cleaning 15000 clauses out of 30023 with flag 425000/425000
90.26/89.41	c cleaning 14997 clauses out of 30025 with flag 440002/440002
93.86/93.06	c cleaning 14993 clauses out of 30027 with flag 455001/455001
96.96/96.15	c cleaning 15002 clauses out of 30034 with flag 470001/470001
100.46/99.64	c cleaning 14994 clauses out of 30031 with flag 485000/485000
103.97/103.13	c cleaning 15004 clauses out of 30037 with flag 500000/500000
107.37/106.56	c cleaning 14999 clauses out of 30033 with flag 515000/515000
110.67/109.87	c cleaning 14997 clauses out of 30034 with flag 530000/530000
113.97/113.13	c cleaning 14999 clauses out of 30037 with flag 545000/545000
117.07/116.29	c cleaning 14997 clauses out of 30039 with flag 560001/560001
120.38/119.53	c cleaning 15011 clauses out of 30041 with flag 575000/575000
123.58/122.76	c cleaning 14999 clauses out of 30032 with flag 590002/590002
126.98/126.10	c cleaning 14989 clauses out of 30032 with flag 605001/605001
130.19/129.38	c cleaning 15015 clauses out of 30043 with flag 620001/620001
133.69/132.80	c cleaning 15001 clauses out of 30029 with flag 635002/635002
137.39/136.53	c cleaning 15007 clauses out of 30028 with flag 650002/650002
141.89/141.03	c cleaning 14992 clauses out of 30019 with flag 665000/665000
145.39/144.58	c cleaning 14999 clauses out of 30028 with flag 680001/680001
148.99/148.11	c cleaning 15004 clauses out of 30030 with flag 695002/695002
152.79/151.94	c cleaning 14999 clauses out of 30024 with flag 710000/710000
156.30/155.45	c cleaning 14985 clauses out of 30025 with flag 725000/725000
159.90/159.07	c cleaning 15007 clauses out of 30040 with flag 740000/740000
163.50/162.60	c cleaning 15000 clauses out of 30033 with flag 755003/755003
166.10/165.20	c cleaning 15000 clauses out of 30030 with flag 770000/770000
169.00/168.17	c cleaning 15009 clauses out of 30031 with flag 785001/785001
172.20/171.38	c cleaning 14995 clauses out of 30021 with flag 800000/800000
175.60/174.75	c cleaning 15005 clauses out of 30026 with flag 815000/815000
179.51/178.65	c cleaning 15002 clauses out of 30021 with flag 830000/830000
182.71/181.88	c cleaning 15000 clauses out of 30019 with flag 845000/845000
186.01/185.16	c cleaning 14988 clauses out of 30019 with flag 860000/860000
189.11/188.28	c cleaning 15003 clauses out of 30032 with flag 875001/875001
192.81/191.98	c cleaning 15002 clauses out of 30029 with flag 890001/890001
196.21/195.39	c cleaning 14994 clauses out of 30027 with flag 905001/905001
199.81/198.92	c cleaning 15010 clauses out of 30032 with flag 920000/920000
203.01/202.15	c cleaning 14991 clauses out of 30023 with flag 935001/935001
206.62/205.80	c cleaning 14996 clauses out of 30031 with flag 950000/950000
209.92/209.04	c cleaning 15010 clauses out of 30037 with flag 965002/965002
213.12/212.21	c cleaning 15006 clauses out of 30025 with flag 980000/980000
216.62/215.74	c cleaning 14985 clauses out of 30019 with flag 995000/995000
220.12/219.22	c cleaning 15006 clauses out of 30035 with flag 1010001/1010001
222.92/222.09	c cleaning 15007 clauses out of 30028 with flag 1025000/1025000
226.34/225.49	c cleaning 14985 clauses out of 30022 with flag 1040001/1040001
229.74/228.83	c cleaning 15009 clauses out of 30036 with flag 1055000/1055000
234.04/233.19	c cleaning 15008 clauses out of 30027 with flag 1070000/1070000
237.54/236.67	c cleaning 15004 clauses out of 30019 with flag 1085000/1085000
240.94/240.00	c cleaning 14998 clauses out of 30016 with flag 1100001/1100001
245.05/244.20	c cleaning 14997 clauses out of 30017 with flag 1115000/1115000
248.24/247.35	c cleaning 14989 clauses out of 30020 with flag 1130000/1130000
251.75/250.80	c cleaning 15000 clauses out of 30032 with flag 1145001/1145001
255.14/254.22	c cleaning 14991 clauses out of 30032 with flag 1160001/1160001
258.65/257.80	c cleaning 15010 clauses out of 30042 with flag 1175002/1175002
262.05/261.16	c cleaning 15006 clauses out of 30030 with flag 1190000/1190000
265.75/264.86	c cleaning 14989 clauses out of 30025 with flag 1205001/1205001
269.65/268.70	c cleaning 14993 clauses out of 30035 with flag 1220000/1220000
273.75/272.86	c cleaning 15000 clauses out of 30042 with flag 1235000/1235000
276.95/276.07	c cleaning 15005 clauses out of 30042 with flag 1250000/1250000
280.26/279.35	c cleaning 15006 clauses out of 30039 with flag 1265002/1265002
284.36/283.44	c cleaning 15006 clauses out of 30031 with flag 1280000/1280000
288.96/288.08	c cleaning 14994 clauses out of 30025 with flag 1295000/1295000
292.76/291.80	c cleaning 15005 clauses out of 30033 with flag 1310002/1310002
296.26/295.32	c cleaning 14991 clauses out of 30027 with flag 1325001/1325001
299.87/299.00	c cleaning 15007 clauses out of 30036 with flag 1340001/1340001
303.27/302.32	c cleaning 14995 clauses out of 30029 with flag 1355001/1355001
306.57/305.63	c cleaning 15008 clauses out of 30033 with flag 1370000/1370000
309.77/308.82	c cleaning 15001 clauses out of 30026 with flag 1385001/1385001
312.87/311.99	c cleaning 15005 clauses out of 30026 with flag 1400002/1400002
316.77/315.80	c cleaning 15001 clauses out of 30020 with flag 1415001/1415001
320.27/319.31	c cleaning 14989 clauses out of 30018 with flag 1430000/1430000
323.78/322.87	c cleaning 14997 clauses out of 30029 with flag 1445000/1445000
327.08/326.14	c cleaning 15001 clauses out of 30033 with flag 1460001/1460001
331.08/330.16	c cleaning 14999 clauses out of 30032 with flag 1475001/1475001
334.68/333.70	c cleaning 14997 clauses out of 30032 with flag 1490000/1490000
337.98/337.00	c cleaning 15006 clauses out of 30037 with flag 1505002/1505002
341.28/340.36	c cleaning 14995 clauses out of 30030 with flag 1520001/1520001
344.48/343.57	c cleaning 15000 clauses out of 30035 with flag 1535001/1535001
348.19/347.26	c cleaning 15001 clauses out of 30035 with flag 1550001/1550001
351.89/350.91	c cleaning 14994 clauses out of 30033 with flag 1565000/1565000
355.39/354.44	c cleaning 14994 clauses out of 30040 with flag 1580001/1580001
359.39/358.48	c cleaning 15014 clauses out of 30047 with flag 1595002/1595002
363.29/362.33	c cleaning 14995 clauses out of 30031 with flag 1610000/1610000
366.99/366.04	c cleaning 15005 clauses out of 30036 with flag 1625000/1625000
370.79/369.81	c cleaning 15006 clauses out of 30031 with flag 1640000/1640000
374.19/373.24	c cleaning 15004 clauses out of 30025 with flag 1655000/1655000
377.29/376.39	c cleaning 15001 clauses out of 30021 with flag 1670000/1670000
380.70/379.78	c cleaning 14998 clauses out of 30021 with flag 1685001/1685001
384.10/383.10	c cleaning 14988 clauses out of 30022 with flag 1700000/1700000
387.50/386.50	c cleaning 15001 clauses out of 30034 with flag 1715000/1715000
391.30/390.32	c cleaning 15007 clauses out of 30033 with flag 1730000/1730000
394.71/393.75	c cleaning 14997 clauses out of 30027 with flag 1745001/1745001
398.20/397.21	c cleaning 14998 clauses out of 30029 with flag 1760000/1760000
401.70/400.72	c cleaning 14997 clauses out of 30031 with flag 1775000/1775000
405.11/404.18	c cleaning 14994 clauses out of 30035 with flag 1790001/1790001
409.11/408.18	c cleaning 14995 clauses out of 30040 with flag 1805000/1805000
413.01/412.03	c cleaning 15002 clauses out of 30045 with flag 1820000/1820000
416.61/415.68	c cleaning 15012 clauses out of 30043 with flag 1835000/1835000
419.81/418.82	c cleaning 15007 clauses out of 30031 with flag 1850000/1850000
423.51/422.50	c cleaning 15001 clauses out of 30024 with flag 1865000/1865000
426.91/425.96	c cleaning 14996 clauses out of 30023 with flag 1880000/1880000
430.71/429.72	c cleaning 14999 clauses out of 30027 with flag 1895000/1895000
434.51/433.51	c cleaning 15004 clauses out of 30029 with flag 1910001/1910001
437.62/436.61	c cleaning 15000 clauses out of 30025 with flag 1925001/1925001
441.21/440.27	c cleaning 14998 clauses out of 30024 with flag 1940000/1940000
445.12/444.19	c cleaning 14990 clauses out of 30029 with flag 1955003/1955003
449.42/448.46	c cleaning 15005 clauses out of 30037 with flag 1970001/1970001
453.22/452.29	c cleaning 14988 clauses out of 30034 with flag 1985003/1985003
456.62/455.67	c cleaning 15005 clauses out of 30043 with flag 2000000/2000000
461.03/460.04	c cleaning 15004 clauses out of 30039 with flag 2015001/2015001
464.13/463.19	c cleaning 14996 clauses out of 30034 with flag 2030000/2030000
467.63/466.64	c cleaning 15007 clauses out of 30041 with flag 2045003/2045003
470.93/469.99	c cleaning 15000 clauses out of 30031 with flag 2060000/2060000
474.63/473.60	c cleaning 14999 clauses out of 30033 with flag 2075002/2075002
478.23/477.20	c cleaning 14999 clauses out of 30032 with flag 2090000/2090000
482.03/481.09	c cleaning 14997 clauses out of 30034 with flag 2105001/2105001
485.84/484.85	c cleaning 14991 clauses out of 30037 with flag 2120001/2120001
489.34/488.40	c cleaning 15014 clauses out of 30048 with flag 2135003/2135003
492.64/491.64	c cleaning 14995 clauses out of 30033 with flag 2150002/2150002
495.94/494.91	c cleaning 15006 clauses out of 30036 with flag 2165000/2165000
499.25/498.22	c cleaning 15006 clauses out of 30030 with flag 2180000/2180000
502.74/501.76	c cleaning 14989 clauses out of 30024 with flag 2195000/2195000
506.95/505.95	c cleaning 15010 clauses out of 30036 with flag 2210001/2210001
510.74/509.72	c cleaning 15008 clauses out of 30025 with flag 2225000/2225000
513.94/512.94	c cleaning 14995 clauses out of 30020 with flag 2240003/2240003
517.14/516.19	c cleaning 14986 clauses out of 30023 with flag 2255001/2255001
520.54/519.54	c cleaning 15004 clauses out of 30037 with flag 2270001/2270001
524.25/523.21	c cleaning 14995 clauses out of 30033 with flag 2285001/2285001
528.05/527.05	c cleaning 14992 clauses out of 30037 with flag 2300000/2300000
531.65/530.67	c cleaning 15009 clauses out of 30047 with flag 2315002/2315002
535.35/534.31	c cleaning 15014 clauses out of 30038 with flag 2330002/2330002
538.55/537.57	c cleaning 15000 clauses out of 30022 with flag 2345000/2345000
542.05/541.01	c cleaning 15000 clauses out of 30022 with flag 2360000/2360000
545.65/544.64	c cleaning 14988 clauses out of 30022 with flag 2375000/2375000
548.65/547.67	c cleaning 15008 clauses out of 30034 with flag 2390000/2390000
552.36/551.34	c cleaning 14991 clauses out of 30026 with flag 2405000/2405000
555.86/554.90	c cleaning 15006 clauses out of 30035 with flag 2420000/2420000
559.76/558.72	c cleaning 15003 clauses out of 30031 with flag 2435002/2435002
563.17/562.18	c cleaning 14994 clauses out of 30026 with flag 2450000/2450000
566.56/565.50	c cleaning 15011 clauses out of 30034 with flag 2465002/2465002
569.86/568.84	c cleaning 14997 clauses out of 30021 with flag 2480000/2480000
573.26/572.21	c cleaning 14990 clauses out of 30024 with flag 2495000/2495000
576.47/575.43	c cleaning 15008 clauses out of 30034 with flag 2510000/2510000
579.77/578.74	c cleaning 14997 clauses out of 30026 with flag 2525000/2525000
583.07/582.03	c cleaning 14999 clauses out of 30029 with flag 2540000/2540000
586.57/585.54	c cleaning 14999 clauses out of 30030 with flag 2555000/2555000
590.17/589.15	c cleaning 14999 clauses out of 30031 with flag 2570000/2570000
593.77/592.78	c cleaning 15006 clauses out of 30033 with flag 2585001/2585001
597.28/596.25	c cleaning 14992 clauses out of 30027 with flag 2600001/2600001
601.17/600.18	c cleaning 15010 clauses out of 30037 with flag 2615003/2615003
605.08/604.04	c cleaning 15001 clauses out of 30024 with flag 2630000/2630000
608.88/607.80	c cleaning 14994 clauses out of 30023 with flag 2645000/2645000
612.78/611.78	c cleaning 15002 clauses out of 30029 with flag 2660000/2660000
616.48/615.44	c cleaning 14997 clauses out of 30029 with flag 2675002/2675002
620.29/619.25	c cleaning 15010 clauses out of 30030 with flag 2690000/2690000
624.28/623.21	c cleaning 15002 clauses out of 30023 with flag 2705003/2705003
627.39/626.35	c cleaning 14989 clauses out of 30019 with flag 2720001/2720001
631.29/630.24	c cleaning 14997 clauses out of 30031 with flag 2735002/2735002
635.19/634.16	c cleaning 14998 clauses out of 30034 with flag 2750002/2750002
638.79/637.74	c cleaning 15002 clauses out of 30034 with flag 2765000/2765000
642.19/641.10	c cleaning 14990 clauses out of 30032 with flag 2780000/2780000
645.60/644.58	c cleaning 15006 clauses out of 30043 with flag 2795001/2795001
649.79/648.73	c cleaning 15009 clauses out of 30037 with flag 2810001/2810001
653.30/652.21	c cleaning 14988 clauses out of 30029 with flag 2825002/2825002
657.40/656.33	c cleaning 15009 clauses out of 30039 with flag 2840000/2840000
660.80/659.74	c cleaning 14992 clauses out of 30030 with flag 2855000/2855000
664.50/663.43	c cleaning 15005 clauses out of 30039 with flag 2870001/2870001
667.90/666.82	c cleaning 14994 clauses out of 30033 with flag 2885000/2885000
671.50/670.42	c cleaning 15010 clauses out of 30040 with flag 2900001/2900001
675.00/673.91	c cleaning 15004 clauses out of 30029 with flag 2915000/2915000
678.71/677.64	c cleaning 14988 clauses out of 30027 with flag 2930002/2930002
682.81/681.76	c cleaning 15004 clauses out of 30037 with flag 2945000/2945000
686.31/685.27	c cleaning 14995 clauses out of 30035 with flag 2960002/2960002
690.52/689.41	c cleaning 15003 clauses out of 30039 with flag 2975001/2975001
693.72/692.65	c cleaning 15002 clauses out of 30035 with flag 2990000/2990000
697.02/695.91	c cleaning 15001 clauses out of 30034 with flag 3005001/3005001
700.42/699.38	c cleaning 15002 clauses out of 30032 with flag 3020000/3020000
704.03/702.93	c cleaning 15007 clauses out of 30031 with flag 3035001/3035001
707.92/706.81	c cleaning 15006 clauses out of 30023 with flag 3050000/3050000
711.83/710.73	c cleaning 15001 clauses out of 30017 with flag 3065000/3065000
715.23/714.11	c cleaning 14988 clauses out of 30017 with flag 3080001/3080001
718.23/717.18	c cleaning 15001 clauses out of 30028 with flag 3095000/3095000
721.54/720.44	c cleaning 15004 clauses out of 30029 with flag 3110002/3110002
724.63/723.50	c cleaning 15000 clauses out of 30023 with flag 3125000/3125000
727.83/726.77	c cleaning 14995 clauses out of 30023 with flag 3140000/3140000
731.03/729.95	c cleaning 15009 clauses out of 30028 with flag 3155000/3155000
734.64/733.56	c cleaning 14990 clauses out of 30020 with flag 3170001/3170001
738.04/736.98	c cleaning 15006 clauses out of 30030 with flag 3185001/3185001
742.04/740.97	c cleaning 14996 clauses out of 30025 with flag 3200002/3200002
745.74/744.61	c cleaning 14988 clauses out of 30027 with flag 3215000/3215000
748.84/747.76	c cleaning 15007 clauses out of 30042 with flag 3230003/3230003
753.14/752.03	c cleaning 14994 clauses out of 30032 with flag 3245000/3245000
756.54/755.44	c cleaning 15005 clauses out of 30039 with flag 3260001/3260001
760.05/758.94	c cleaning 14997 clauses out of 30033 with flag 3275000/3275000
763.15/762.03	c cleaning 14995 clauses out of 30037 with flag 3290001/3290001
766.35/765.21	c cleaning 15012 clauses out of 30041 with flag 3305000/3305000
769.35/768.20	c cleaning 14999 clauses out of 30029 with flag 3320000/3320000
772.85/771.77	c cleaning 14994 clauses out of 30030 with flag 3335000/3335000
776.25/775.12	c cleaning 15010 clauses out of 30036 with flag 3350000/3350000
779.65/778.53	c cleaning 15008 clauses out of 30027 with flag 3365001/3365001
782.95/781.85	c cleaning 14998 clauses out of 30020 with flag 3380002/3380002
786.25/785.18	c cleaning 14996 clauses out of 30021 with flag 3395001/3395001
789.55/788.46	c cleaning 15001 clauses out of 30026 with flag 3410002/3410002
793.56/792.45	c cleaning 14997 clauses out of 30023 with flag 3425000/3425000
797.36/796.26	c cleaning 14983 clauses out of 30026 with flag 3440000/3440000
801.46/800.35	c cleaning 15005 clauses out of 30043 with flag 3455000/3455000
806.66/805.51	c cleaning 15011 clauses out of 30038 with flag 3470000/3470000
810.96/809.89	c cleaning 14989 clauses out of 30028 with flag 3485001/3485001
815.26/814.19	c cleaning 14998 clauses out of 30038 with flag 3500000/3500000
819.27/818.10	c cleaning 15010 clauses out of 30041 with flag 3515001/3515001
823.17/822.01	c cleaning 15000 clauses out of 30031 with flag 3530001/3530001
827.57/826.42	c cleaning 14996 clauses out of 30030 with flag 3545000/3545000
831.77/830.69	c cleaning 15001 clauses out of 30035 with flag 3560001/3560001
835.67/834.54	c cleaning 14999 clauses out of 30034 with flag 3575001/3575001
839.57/838.47	c cleaning 15008 clauses out of 30034 with flag 3590000/3590000
842.97/841.90	c cleaning 14994 clauses out of 30027 with flag 3605001/3605001
846.58/845.41	c cleaning 15001 clauses out of 30032 with flag 3620000/3620000
849.78/848.64	c cleaning 15002 clauses out of 30032 with flag 3635001/3635001
853.18/852.05	c cleaning 14998 clauses out of 30030 with flag 3650001/3650001
856.58/855.43	c cleaning 15002 clauses out of 30031 with flag 3665000/3665000
860.29/859.10	c cleaning 14991 clauses out of 30030 with flag 3680001/3680001
863.59/862.41	c cleaning 14997 clauses out of 30040 with flag 3695002/3695002
867.18/866.08	c cleaning 15004 clauses out of 30042 with flag 3710001/3710001
870.58/869.46	c cleaning 14995 clauses out of 30038 with flag 3725001/3725001
873.98/872.84	c cleaning 15000 clauses out of 30044 with flag 3740002/3740002
877.68/876.54	c cleaning 14997 clauses out of 30043 with flag 3755001/3755001
881.78/880.65	c cleaning 15001 clauses out of 30045 with flag 3770000/3770000
885.59/884.41	c cleaning 15009 clauses out of 30045 with flag 3785001/3785001
889.69/888.50	c cleaning 15005 clauses out of 30037 with flag 3800002/3800002
893.39/892.29	c cleaning 14994 clauses out of 30031 with flag 3815001/3815001
897.29/896.12	c cleaning 14994 clauses out of 30036 with flag 3830000/3830000
901.39/900.25	c cleaning 15008 clauses out of 30042 with flag 3845000/3845000
905.49/904.38	c cleaning 15004 clauses out of 30035 with flag 3860001/3860001
908.99/907.89	c cleaning 14991 clauses out of 30030 with flag 3875000/3875000
913.20/912.09	c cleaning 14996 clauses out of 30039 with flag 3890000/3890000
917.10/915.92	c cleaning 14996 clauses out of 30043 with flag 3905000/3905000
921.10/919.98	c cleaning 15017 clauses out of 30048 with flag 3920001/3920001
924.80/923.61	c cleaning 15000 clauses out of 30031 with flag 3935001/3935001
928.30/927.19	c cleaning 14997 clauses out of 30030 with flag 3950000/3950000
932.91/931.72	c cleaning 14989 clauses out of 30033 with flag 3965000/3965000
937.00/935.87	c cleaning 15010 clauses out of 30047 with flag 3980003/3980003
940.41/939.21	c cleaning 15005 clauses out of 30036 with flag 3995002/3995002
943.61/942.46	c cleaning 14991 clauses out of 30029 with flag 4010000/4010000
946.81/945.60	c cleaning 15014 clauses out of 30039 with flag 4025001/4025001
950.11/948.94	c cleaning 14996 clauses out of 30024 with flag 4040000/4040000
953.71/952.55	c cleaning 14991 clauses out of 30028 with flag 4055000/4055000
957.71/956.57	c cleaning 15011 clauses out of 30039 with flag 4070002/4070002
961.11/959.96	c cleaning 14998 clauses out of 30026 with flag 4085000/4085000
964.11/962.98	c cleaning 15000 clauses out of 30029 with flag 4100001/4100001
967.61/966.49	c cleaning 15001 clauses out of 30029 with flag 4115001/4115001
971.32/970.10	c cleaning 14990 clauses out of 30028 with flag 4130001/4130001
974.92/973.75	c cleaning 15001 clauses out of 30038 with flag 4145001/4145001
978.52/977.31	c cleaning 15001 clauses out of 30036 with flag 4160000/4160000
982.22/981.03	c cleaning 14998 clauses out of 30035 with flag 4175000/4175000
986.84/985.67	c cleaning 15002 clauses out of 30039 with flag 4190002/4190002
990.43/989.27	c cleaning 14993 clauses out of 30035 with flag 4205000/4205000
993.83/992.65	c cleaning 15003 clauses out of 30042 with flag 4220000/4220000
998.03/996.88	c cleaning 15005 clauses out of 30040 with flag 4235001/4235001
1001.73/1000.55	c cleaning 14999 clauses out of 30035 with flag 4250001/4250001
1005.23/1004.06	c cleaning 15002 clauses out of 30035 with flag 4265000/4265000
1009.14/1007.91	c cleaning 15003 clauses out of 30033 with flag 4280000/4280000
1012.24/1011.08	c cleaning 14994 clauses out of 30030 with flag 4295000/4295000
1016.34/1015.12	c cleaning 14994 clauses out of 30036 with flag 4310000/4310000
1019.94/1018.70	c cleaning 14991 clauses out of 30042 with flag 4325000/4325000
1024.14/1022.91	c cleaning 14989 clauses out of 30051 with flag 4340000/4340000
1027.55/1026.38	c cleaning 15008 clauses out of 30063 with flag 4355001/4355001
1031.14/1029.94	c cleaning 15010 clauses out of 30054 with flag 4370000/4370000
1034.84/1033.60	c cleaning 15010 clauses out of 30045 with flag 4385001/4385001
1038.04/1036.80	c cleaning 14997 clauses out of 30035 with flag 4400001/4400001
1041.34/1040.11	c cleaning 15000 clauses out of 30042 with flag 4415005/4415005
1044.64/1043.41	c cleaning 15002 clauses out of 30038 with flag 4430001/4430001
1047.94/1046.78	c cleaning 14999 clauses out of 30036 with flag 4445001/4445001
1051.45/1050.20	c cleaning 15002 clauses out of 30037 with flag 4460001/4460001
1054.65/1053.40	c cleaning 15003 clauses out of 30034 with flag 4475000/4475000
1057.85/1056.62	c cleaning 14999 clauses out of 30031 with flag 4490000/4490000
1061.45/1060.21	c cleaning 15008 clauses out of 30032 with flag 4505000/4505000
1065.05/1063.89	c cleaning 14990 clauses out of 30025 with flag 4520001/4520001
1068.95/1067.71	c cleaning 14994 clauses out of 30034 with flag 4535000/4535000
1072.35/1071.16	c cleaning 14996 clauses out of 30041 with flag 4550001/4550001
1075.96/1074.78	c cleaning 15015 clauses out of 30046 with flag 4565002/4565002
1079.95/1078.75	c cleaning 14996 clauses out of 30029 with flag 4580000/4580000
1084.56/1083.35	c cleaning 15012 clauses out of 30036 with flag 4595003/4595003
1088.36/1087.15	c cleaning 14992 clauses out of 30023 with flag 4610002/4610002
1092.26/1091.05	c cleaning 14994 clauses out of 30029 with flag 4625000/4625000
1096.06/1094.83	c cleaning 15005 clauses out of 30036 with flag 4640001/4640001
1099.56/1098.32	c cleaning 14995 clauses out of 30030 with flag 4655000/4655000
1102.86/1101.65	c cleaning 15002 clauses out of 30037 with flag 4670002/4670002
1107.16/1105.91	c cleaning 14999 clauses out of 30033 with flag 4685000/4685000
1111.26/1110.09	c cleaning 15007 clauses out of 30034 with flag 4700000/4700000
1115.67/1114.41	c cleaning 14995 clauses out of 30027 with flag 4715000/4715000
1119.37/1118.20	c cleaning 14987 clauses out of 30032 with flag 4730000/4730000
1123.57/1122.38	c cleaning 15000 clauses out of 30045 with flag 4745000/4745000
1127.77/1126.51	c cleaning 14999 clauses out of 30046 with flag 4760001/4760001
1132.17/1130.97	c cleaning 14996 clauses out of 30046 with flag 4775000/4775000
1136.67/1135.41	c cleaning 15007 clauses out of 30051 with flag 4790001/4790001
1140.97/1139.75	c cleaning 15004 clauses out of 30043 with flag 4805000/4805000
1145.37/1144.17	c cleaning 15007 clauses out of 30040 with flag 4820001/4820001
1149.58/1148.37	c cleaning 15010 clauses out of 30033 with flag 4835001/4835001
1152.68/1151.47	c cleaning 14991 clauses out of 30023 with flag 4850001/4850001
1155.98/1154.76	c cleaning 15001 clauses out of 30031 with flag 4865000/4865000
1159.28/1158.07	c cleaning 15006 clauses out of 30030 with flag 4880000/4880000
1162.89/1161.62	c cleaning 14983 clauses out of 30025 with flag 4895001/4895001
1166.38/1165.15	c cleaning 14999 clauses out of 30041 with flag 4910000/4910000
1170.19/1168.91	c cleaning 14998 clauses out of 30042 with flag 4925000/4925000
1173.79/1172.56	c cleaning 15004 clauses out of 30044 with flag 4940000/4940000
1177.09/1175.87	c cleaning 15005 clauses out of 30041 with flag 4955001/4955001
1180.69/1179.46	c cleaning 14985 clauses out of 30038 with flag 4970003/4970003
1184.70/1183.44	c cleaning 14997 clauses out of 30050 with flag 4985000/4985000
1188.11/1186.84	c cleaning 15007 clauses out of 30054 with flag 5000001/5000001
1191.70/1190.42	c cleaning 15000 clauses out of 30046 with flag 5015000/5015000
1194.90/1193.67	c cleaning 14999 clauses out of 30046 with flag 5030000/5030000
1198.20/1196.99	c cleaning 15015 clauses out of 30048 with flag 5045001/5045001
1202.41/1201.17	c cleaning 15009 clauses out of 30033 with flag 5060001/5060001
1206.51/1205.23	c cleaning 14981 clauses out of 30024 with flag 5075001/5075001
1210.31/1209.08	c cleaning 15002 clauses out of 30044 with flag 5090002/5090002
1214.71/1213.40	c cleaning 15002 clauses out of 30040 with flag 5105000/5105000
1218.31/1217.08	c cleaning 15009 clauses out of 30038 with flag 5120000/5120000
1222.32/1221.05	c cleaning 14998 clauses out of 30031 with flag 5135002/5135002
1226.11/1224.84	c cleaning 15007 clauses out of 30032 with flag 5150001/5150001
1229.62/1228.39	c cleaning 14982 clauses out of 30024 with flag 5165000/5165000
1233.82/1232.52	c cleaning 14995 clauses out of 30042 with flag 5180000/5180000
1237.82/1236.52	c cleaning 15011 clauses out of 30049 with flag 5195002/5195002
1241.82/1240.60	c cleaning 15005 clauses out of 30036 with flag 5210000/5210000
1245.92/1244.66	c cleaning 14996 clauses out of 30032 with flag 5225001/5225001
1250.02/1248.77	c cleaning 15000 clauses out of 30036 with flag 5240001/5240001
1254.23/1252.98	c cleaning 14994 clauses out of 30036 with flag 5255001/5255001
1258.02/1256.70	c cleaning 14995 clauses out of 30042 with flag 5270001/5270001
1262.03/1260.75	c cleaning 15010 clauses out of 30046 with flag 5285000/5285000
1266.63/1265.36	c cleaning 14974 clauses out of 30037 with flag 5300001/5300001
1270.53/1269.22	c cleaning 15008 clauses out of 30062 with flag 5315000/5315000
1273.73/1272.40	c cleaning 15019 clauses out of 30054 with flag 5330000/5330000
1276.93/1275.65	c cleaning 14995 clauses out of 30036 with flag 5345001/5345001
1280.33/1279.06	c cleaning 15002 clauses out of 30040 with flag 5360000/5360000
1283.43/1282.20	c cleaning 15004 clauses out of 30039 with flag 5375001/5375001
1286.74/1285.45	c cleaning 14992 clauses out of 30035 with flag 5390001/5390001
1290.23/1288.99	c cleaning 15009 clauses out of 30042 with flag 5405000/5405000
1293.84/1292.51	c cleaning 15006 clauses out of 30034 with flag 5420001/5420001
1297.43/1296.10	c cleaning 15007 clauses out of 30029 with flag 5435002/5435002
1301.34/1300.01	c starts		: 2197
1301.34/1300.01	c conflicts		: 5450000
1301.34/1300.01	c decisions		: 6089580
1301.34/1300.01	c propagations		: 754669405
1301.34/1300.01	c inspects		: 12875541548
1301.34/1300.01	c shortcuts		: 0
1301.34/1300.01	c learnt literals	: 134
1301.34/1300.01	c learnt binary clauses	: 841
1301.34/1300.01	c learnt ternary clauses	: 1577
1301.34/1300.01	c learnt constraints	: 5449866
1301.34/1300.01	c ignored constraints	: 0
1301.34/1300.01	c root simplifications	: 2331
1301.34/1300.01	c removed literals (reason simplification)	: 185292276
1301.34/1300.01	c reason swapping (by a shorter reason)	: 0
1301.34/1300.01	c Calls to reduceDB	: 367
1301.34/1300.01	c speed (assignments/second)	: 580593.9770261027
1301.34/1300.01	c non guided choices	1430
1301.34/1300.03	c cleaning 14990 clauses out of 30020 with flag 5450000/5450000
1301.34/1300.06	c learnt constraints type 
1301.34/1300.06	c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 730
1301.34/1300.06	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 14345
1301.34/1300.06	c constraints type 
1301.34/1300.06	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 10534
1301.34/1300.06	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 4212
1301.34/1300.06	s UNKNOWN
1301.34/1300.06	c Total wall clock time (in seconds) : 1299.91

Verifier Data 

ERROR: Unexpected answer ! (SATISFIABLE/UNSATISFIABLE expected)
Got answer: UNKNOWN

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-3291559-1303791400/watcher-3291559-1303791400 -o /tmp/evaluation-result-3291559-1303791400/solver-3291559-1303791400 -C 2400 -W 1300 -M 7680 java -server -XX:MaxPermSize=256m -Xms7000m -Xmx7000m -jar org.sat4j.core.jar HOME/instance-3291559-1303791400.cnf 

running on 2 cores: 5,7

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


[startup+0 s]
/proc/loadavg: 0.85 1.27 2.08 3/176 14064
/proc/meminfo: memFree=23744072/32951124 swapFree=67111348/67111528
[pid=14064] ppid=14062 vsize=23028 CPUtime=0 cores=5,7
/proc/14064/stat : 14064 (java) R 14062 14064 12511 0 -1 4202496 671 0 0 0 0 0 0 0 23 0 1 0 569370485 23580672 415 33554432000 1073741824 1073778376 140736177120992 18446744073709551615 252453103381 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/14064/statm: 5757 426 323 9 0 124 0

[startup+0.0375219 s]
/proc/loadavg: 0.85 1.27 2.08 3/176 14064
/proc/meminfo: memFree=23744072/32951124 swapFree=67111348/67111528
[pid=14064] ppid=14062 vsize=7562296 CPUtime=0.01 cores=5,7
/proc/14064/stat : 14064 (java) S 14062 14064 12511 0 -1 4202496 8440 0 1 0 1 0 0 0 23 0 11 0 569370485 7743791104 8138 33554432000 1073741824 1073778376 140736177120992 18446744073709551615 252469868517 0 0 0 16784584 18446744073709551615 0 0 17 5 0 0 0
/proc/14064/statm: 1890574 8140 1594 9 0 1881322 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 7562296

[startup+0.10955 s]
/proc/loadavg: 0.85 1.27 2.08 3/176 14064
/proc/meminfo: memFree=23744072/32951124 swapFree=67111348/67111528
[pid=14064] ppid=14062 vsize=7636512 CPUtime=0.1 cores=5,7
/proc/14064/stat : 14064 (java) S 14062 14064 12511 0 -1 4202496 10386 0 1 0 9 1 0 0 23 0 18 0 569370485 7819788288 10082 33554432000 1073741824 1073778376 140736177120992 18446744073709551615 252469868517 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/14064/statm: 1909128 10083 2094 9 0 1899866 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 7636512

[startup+0.300452 s]
/proc/loadavg: 0.85 1.27 2.08 3/176 14064
/proc/meminfo: memFree=23744072/32951124 swapFree=67111348/67111528
[pid=14064] ppid=14062 vsize=7640476 CPUtime=0.46 cores=5,7
/proc/14064/stat : 14064 (java) S 14062 14064 12511 0 -1 4202496 12088 0 1 0 45 1 0 0 23 0 19 0 569370485 7823847424 11514 33554432000 1073741824 1073778376 140736177120992 18446744073709551615 252469868517 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/14064/statm: 1910119 11514 2211 9 0 1900857 0
Current children cumulated CPU time (s) 0.46
Current children cumulated vsize (KiB) 7640476

[startup+0.700364 s]
/proc/loadavg: 0.85 1.27 2.08 3/176 14064
/proc/meminfo: memFree=23744072/32951124 swapFree=67111348/67111528
[pid=14064] ppid=14062 vsize=7640912 CPUtime=1.06 cores=5,7
/proc/14064/stat : 14064 (java) S 14062 14064 12511 0 -1 4202496 12422 0 1 0 105 1 0 0 23 0 19 0 569370485 7824293888 11751 33554432000 1073741824 1073778376 140736177120992 18446744073709551615 252469868517 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/14064/statm: 1910228 11751 2224 9 0 1900966 0
Current children cumulated CPU time (s) 1.06
Current children cumulated vsize (KiB) 7640912

[startup+1.50122 s]
/proc/loadavg: 0.85 1.27 2.08 5/220 14115
/proc/meminfo: memFree=23595892/32951124 swapFree=67111348/67111528
[pid=14064] ppid=14062 vsize=7664560 CPUtime=2.27 cores=5,7
/proc/14064/stat : 14064 (java) S 14062 14064 12511 0 -1 4202496 20812 0 1 0 224 3 0 0 23 0 19 0 569370485 7848509440 18328 33554432000 1073741824 1073778376 140736177120992 18446744073709551615 252469868517 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/14064/statm: 1916140 18328 2252 9 0 1906878 0
[pid=14064/tid=14066] ppid=14062 vsize=7664560 CPUtime=1.44 cores=5,7
/proc/14064/task/14066/stat : 14066 (java) R 14062 14064 12511 0 -1 4202560 9486 0 1 0 143 1 0 0 25 0 19 0 569370486 7848509440 18328 33554432000 1073741824 1073778376 140736177120992 18446744073709551615 46912505629152 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=14064/tid=14071] ppid=14062 vsize=7664560 CPUtime=0 cores=5,7
/proc/14064/task/14071/stat : 14071 (java) S 14062 14064 12511 0 -1 4202560 260 0 0 0 0 0 0 0 18 0 19 0 569370487 7848509440 18328 33554432000 1073741824 1073778376 140736177120992 18446744073709551615 252469881753 0 4 0 16800975 18446604464892926144 0 0 -1 5 0 0 0
[pid=14064/tid=14072] ppid=14062 vsize=7664560 CPUtime=0 cores=5,7
/proc/14064/task/14072/stat : 14072 (java) S 14062 14064 12511 0 -1 4202560 293 0 0 0 0 0 0 0 18 0 19 0 569370487 7848509440 18328 33554432000 1073741824 1073778376 140736177120992 18446744073709551615 252469881753 0 4 0 16800975 18446604464892926144 0 0 -1 5 0 0 0
[pid=14064/tid=14073] ppid=14062 vsize=7664560 CPUtime=0 cores=5,7
/proc/14064/task/14073/stat : 14073 (java) S 14062 14064 12511 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 569370487 7848509440 18328 33554432000 1073741824 1073778376 140736177120992 18446744073709551615 252469881753 0 4 0 16800975 18446604464892926144 0 0 -1 5 0 0 0
[pid=14064/tid=14074] ppid=14062 vsize=7664560 CPUtime=0 cores=5,7
/proc/14064/task/14074/stat : 14074 (java) S 14062 14064 12511 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 569370488 7848509440 18328 33554432000 1073741824 1073778376 140736177120992 18446744073709551615 252469881753 0 4 0 16800975 18446604464892926144 0 0 -1 5 0 0 0
[pid=14064/tid=14075] ppid=14062 vsize=7664560 CPUtime=0 cores=5,7
/proc/14064/task/14075/stat : 14075 (java) S 14062 14064 12511 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 569370488 7848509440 18328 33554432000 1073741824 1073778376 140736177120992 18446744073709551615 252469881753 0 4 0 16800975 18446604464892926144 0 0 -1 5 0 0 0
[pid=14064/tid=14076] ppid=14062 vsize=7664560 CPUtime=0 cores=5,7
/proc/14064/task/14076/stat : 14076 (java) S 14062 14064 12511 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 569370488 7848509440 18328 33554432000 1073741824 1073778376 140736177120992 18446744073709551615 252469881753 0 4 0 16800975 18446604464892926144 0 0 -1 5 0 0 0
[pid=14064/tid=14077] ppid=14062 vsize=7664560 CPUtime=0 cores=5,7
/proc/14064/task/14077/stat : 14077 (java) S 14062 14064 12511 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 569370488 7848509440 18328 33554432000 1073741824 1073778376 140736177120992 18446744073709551615 252469881753 0 4 0 16800975 18446604464892926144 0 0 -1 5 0 0 0
[pid=14064/tid=14078] ppid=14062 vsize=7664560 CPUtime=0 cores=5,7
/proc/14064/task/14078/stat : 14078 (java) S 14062 14064 12511 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 569370488 7848509440 18328 33554432000 1073741824 1073778376 140736177120992 18446744073709551615 252469881753 0 4 0 16800975 18446604464892926144 0 0 -1 5 0 0 0
[pid=14064/tid=14079] ppid=14062 vsize=7664560 CPUtime=0.01 cores=5,7
/proc/14064/task/14079/stat : 14079 (java) S 14062 14064 12511 0 -1 4202560 563 0 0 0 1 0 0 0 16 0 19 0 569370489 7848509440 18328 33554432000 1073741824 1073778376 140736177120992 18446744073709551615 252469882368 0 0 0 16800975 18446604464892926144 0 0 -1 7 0 0 0
[pid=14064/tid=14080] ppid=14062 vsize=7664560 CPUtime=0 cores=5,7
/proc/14064/task/14080/stat : 14080 (java) R 14062 14064 12511 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 569370489 7848509440 18328 33554432000 1073741824 1073778376 140736177120992 18446744073709551615 252469881753 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=14064/tid=14081] ppid=14062 vsize=7664560 CPUtime=0 cores=5,7
/proc/14064/task/14081/stat : 14081 (java) S 14062 14064 12511 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 569370489 7848509440 18328 33554432000 1073741824 1073778376 140736177120992 18446744073709551615 252469881753 0 4 0 16800975 18446604464892926144 0 0 -1 5 0 0 0
[pid=14064/tid=14082] ppid=14062 vsize=7664560 CPUtime=0 cores=5,7
/proc/14064/task/14082/stat : 14082 (java) S 14062 14064 12511 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 569370491 7848509440 18328 33554432000 1073741824 1073778376 140736177120992 18446744073709551615 252469889457 0 4 0 16800975 18446604464892926144 0 0 -1 5 0 0 0
[pid=14064/tid=14083] ppid=14062 vsize=7664560 CPUtime=0.46 cores=5,7
/proc/14064/task/14083/stat : 14083 (java) R 14062 14064 12511 0 -1 4202560 7142 0 0 0 45 1 0 0 16 0 19 0 569370491 7848509440 18328 33554432000 1073741824 1073778376 140736177120992 18446744073709551615 47464681014716 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=14064/tid=14084] ppid=14062 vsize=7664560 CPUtime=0.33 cores=5,7
/proc/14064/task/14084/stat : 14084 (java) S 14062 14064 12511 0 -1 4202560 1914 0 0 0 33 0 0 0 15 0 19 0 569370491 7848509440 18328 33554432000 1073741824 1073778376 140736177120992 18446744073709551615 252469881753 0 4 0 16800975 18446604464892926144 0 0 -1 7 0 0 0
[pid=14064/tid=14085] ppid=14062 vsize=7664560 CPUtime=0 cores=5,7
/proc/14064/task/14085/stat : 14085 (java) S 14062 14064 12511 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 569370491 7848509440 18328 33554432000 1073741824 1073778376 140736177120992 18446744073709551615 252469881753 0 4 0 16800975 18446604464892926144 0 0 -1 5 0 0 0
[pid=14064/tid=14086] ppid=14062 vsize=7664560 CPUtime=0 cores=5,7
/proc/14064/task/14086/stat : 14086 (java) S 14062 14064 12511 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 569370491 7848509440 18328 33554432000 1073741824 1073778376 140736177120992 18446744073709551615 252469882368 0 4 0 16800975 18446604464892926144 0 0 -1 5 0 0 0
[pid=14064/tid=14089] ppid=14062 vsize=7664560 CPUtime=0 cores=5,7
/proc/14064/task/14089/stat : 14089 (java) S 14062 14064 12511 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 569370505 7848509440 18328 33554432000 1073741824 1073778376 140736177120992 18446744073709551615 252469882368 0 4 0 16800975 18446604464892926144 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2.27
Current children cumulated vsize (KiB) 7664560

[startup+3.10095 s]
/proc/loadavg: 0.85 1.27 2.08 6/240 14138
/proc/meminfo: memFree=23482584/32951124 swapFree=67111348/67111528
[pid=14064] ppid=14062 vsize=7664560 CPUtime=3.95 cores=5,7
/proc/14064/stat : 14064 (java) S 14062 14064 12511 0 -1 4202496 21391 0 1 0 392 3 0 0 23 0 19 0 569370485 7848509440 18879 33554432000 1073741824 1073778376 140736177120992 18446744073709551615 252469868517 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/14064/statm: 1916140 18879 2255 9 0 1906878 0
[pid=14064/tid=14066] ppid=14062 vsize=7664560 CPUtime=2.99 cores=5,7
/proc/14064/task/14066/stat : 14066 (java) R 14062 14064 12511 0 -1 4202560 9489 0 1 0 298 1 0 0 25 0 19 0 569370486 7848509440 18879 33554432000 1073741824 1073778376 140736177120992 18446744073709551615 46912505629627 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=14064/tid=14071] ppid=14062 vsize=7664560 CPUtime=0 cores=5,7
/proc/14064/task/14071/stat : 14071 (java) S 14062 14064 12511 0 -1 4202560 263 0 0 0 0 0 0 0 16 0 19 0 569370487 7848509440 18879 33554432000 1073741824 1073778376 140736177120992 18446744073709551615 252469881753 0 4 0 16800975 18446604464892926144 0 0 -1 5 0 0 0
[pid=14064/tid=14072] ppid=14062 vsize=7664560 CPUtime=0 cores=5,7
/proc/14064/task/14072/stat : 14072 (java) S 14062 14064 12511 0 -1 4202560 293 0 0 0 0 0 0 0 15 0 19 0 569370487 7848509440 18879 33554432000 1073741824 1073778376 140736177120992 18446744073709551615 252469881753 0 4 0 16800975 18446604464892926144 0 0 -1 5 0 0 0
[pid=14064/tid=14073] ppid=14062 vsize=7664560 CPUtime=0 cores=5,7
/proc/14064/task/14073/stat : 14073 (java) S 14062 14064 12511 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 569370487 7848509440 18879 33554432000 1073741824 1073778376 140736177120992 18446744073709551615 252469881753 0 4 0 16800975 18446604464892926144 0 0 -1 5 0 0 0
[pid=14064/tid=14074] ppid=14062 vsize=7664560 CPUtime=0 cores=5,7
/proc/14064/task/14074/stat : 14074 (java) S 14062 14064 12511 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 569370488 7848509440 18879 33554432000 1073741824 1073778376 140736177120992 18446744073709551615 252469881753 0 4 0 16800975 18446604464892926144 0 0 -1 5 0 0 0
[pid=14064/tid=14075] ppid=14062 vsize=7664560 CPUtime=0 cores=5,7
/proc/14064/task/14075/stat : 14075 (java) S 14062 14064 12511 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 569370488 7848509440 18879 33554432000 1073741824 1073778376 140736177120992 18446744073709551615 252469881753 0 4 0 16800975 18446604464892926144 0 0 -1 5 0 0 0
[pid=14064/tid=14076] ppid=14062 vsize=7664560 CPUtime=0 cores=5,7
/proc/14064/task/14076/stat : 14076 (java) S 14062 14064 12511 0 -1 4202560 112 0 0 0 0 0 0 0 18 0 19 0 569370488 7848509440 18879 33554432000 1073741824 1073778376 140736177120992 18446744073709551615 252469881753 0 4 0 16800975 18446604464892926144 0 0 -1 5 0 0 0
[pid=14064/tid=14077] ppid=14062 vsize=7664560 CPUtime=0 cores=5,7
/proc/14064/task/14077/stat : 14077 (java) S 14062 14064 12511 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 569370488 7848509440 18879 33554432000 1073741824 1073778376 140736177120992 18446744073709551615 252469881753 0 4 0 16800975 18446604464892926144 0 0 -1 5 0 0 0
[pid=14064/tid=14078] ppid=14062 vsize=7664560 CPUtime=0 cores=5,7
/proc/14064/task/14078/stat : 14078 (java) S 14062 14064 12511 0 -1 4202560 173 0 0 0 0 0 0 0 15 0 19 0 569370488 7848509440 18879 33554432000 1073741824 1073778376 140736177120992 18446744073709551615 252469881753 0 4 0 16800975 18446604464892926144 0 0 -1 5 0 0 0
[pid=14064/tid=14079] ppid=14062 vsize=7664560 CPUtime=0.04 cores=5,7
/proc/14064/task/14079/stat : 14079 (java) S 14062 14064 12511 0 -1 4202560 762 0 0 0 4 0 0 0 15 0 19 0 569370489 7848509440 18879 33554432000 1073741824 1073778376 140736177120992 18446744073709551615 252469882368 0 0 0 16800975 18446604464892926144 0 0 -1 7 0 0 0
[pid=14064/tid=14080] ppid=14062 vsize=7664560 CPUtime=0 cores=5,7
/proc/14064/task/14080/stat : 14080 (java) S 14062 14064 12511 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 569370489 7848509440 18879 33554432000 1073741824 1073778376 140736177120992 18446744073709551615 252469881753 0 4 0 16800975 18446604464892926144 0 0 -1 5 0 0 0
[pid=14064/tid=14081] ppid=14062 vsize=7664560 CPUtime=0 cores=5,7
/proc/14064/task/14081/stat : 14081 (java) S 14062 14064 12511 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 569370489 7848509440 18879 33554432000 1073741824 1073778376 140736177120992 18446744073709551615 252469881753 0 4 0 16800975 18446604464892926144 0 0 -1 5 0 0 0
[pid=14064/tid=14082] ppid=14062 vsize=7664560 CPUtime=0 cores=5,7
/proc/14064/task/14082/stat : 14082 (java) S 14062 14064 12511 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 569370491 7848509440 18879 33554432000 1073741824 1073778376 140736177120992 18446744073709551615 252469889457 0 4 0 16800975 18446604464892926144 0 0 -1 5 0 0 0
[pid=14064/tid=14083] ppid=14062 vsize=7664560 CPUtime=0.54 cores=5,7
/proc/14064/task/14083/stat : 14083 (java) S 14062 14064 12511 0 -1 4202560 7222 0 0 0 53 1 0 0 15 0 19 0 569370491 7848509440 18879 33554432000 1073741824 1073778376 140736177120992 18446744073709551615 252469881753 0 4 0 16800975 18446604464892926144 0 0 -1 5 0 0 0
[pid=14064/tid=14084] ppid=14062 vsize=7664560 CPUtime=0.34 cores=5,7
/proc/14064/task/14084/stat : 14084 (java) S 14062 14064 12511 0 -1 4202560 1922 0 0 0 34 0 0 0 15 0 19 0 569370491 7848509440 18879 33554432000 1073741824 1073778376 140736177120992 18446744073709551615 252469881753 0 4 0 16800975 18446604464892926144 0 0 -1 7 0 0 0
[pid=14064/tid=14085] ppid=14062 vsize=7664560 CPUtime=0 cores=5,7
/proc/14064/task/14085/stat : 14085 (java) S 14062 14064 12511 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 569370491 7848509440 18879 33554432000 1073741824 1073778376 140736177120992 18446744073709551615 252469881753 0 4 0 16800975 18446604464892926144 0 0 -1 5 0 0 0
[pid=14064/tid=14086] ppid=14062 vsize=7664560 CPUtime=0 cores=5,7
/proc/14064/task/14086/stat : 14086 (java) S 14062 14064 12511 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 569370491 7848509440 18879 33554432000 1073741824 1073778376 140736177120992 18446744073709551615 252469882368 0 4 0 16800975 18446604464892926144 0 0 -1 5 0 0 0
[pid=14064/tid=14089] ppid=14062 vsize=7664560 CPUtime=0 cores=5,7
/proc/14064/task/14089/stat : 14089 (java) S 14062 14064 12511 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 569370505 7848509440 18879 33554432000 1073741824 1073778376 140736177120992 18446744073709551615 252469882368 0 4 0 16800975 18446604464892926144 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3.95
Current children cumulated vsize (KiB) 7664560

[startup+6.30137 s]
/proc/loadavg: 1.42 1.38 2.11 5/261 14162
/proc/meminfo: memFree=22992352/32951124 swapFree=67111348/67111528
[pid=14064] ppid=14062 vsize=7660492 CPUtime=7.15 cores=5,7
/proc/14064/stat : 14064 (java) S 14062 14064 12511 0 -1 4202496 21636 0 1 0 712 3 0 0 23 0 19 0 569370485 7844343808 18139 33554432000 1073741824 1073778376 140736177120992 18446744073709551615 252469868517 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/14064/statm: 1915123 18139 2255 9 0 1905861 0
[pid=14064/tid=14066] ppid=14062 vsize=7660492 CPUtime=6.12 cores=5,7
/proc/14064/task/14066/stat : 14066 (java) R 14062 14064 12511 0 -1 4202560 9492 0 1 0 611 1 0 0 20 0 19 0 569370486 7844343808 18139 33554432000 1073741824 1073778376 140736177120992 18446744073709551615 46912505691894 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=14064/tid=14071] ppid=14062 vsize=7660492 CPUtime=0.01 cores=5,7
/proc/14064/task/14071/stat : 14071 (java) S 14062 14064 12511 0 -1 4202560 265 0 0 0 1 0 0 0 16 0 19 0 569370487 7844343808 18139 33554432000 1073741824 1073778376 140736177120992 18446744073709551615 252469881753 0 4 0 16800975 18446604464892926144 0 0 -1 5 0 0 0
[pid=14064/tid=14072] ppid=14062 vsize=7660492 CPUtime=0 cores=5,7
/proc/14064/task/14072/stat : 14072 (java) S 14062 14064 12511 0 -1 4202560 293 0 0 0 0 0 0 0 15 0 19 0 569370487 7844343808 18139 33554432000 1073741824 1073778376 140736177120992 18446744073709551615 252469881753 0 4 0 16800975 18446604464892926144 0 0 -1 5 0 0 0
[pid=14064/tid=14073] ppid=14062 vsize=7660492 CPUtime=0 cores=5,7
/proc/14064/task/14073/stat : 14073 (java) S 14062 14064 12511 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 569370487 7844343808 18139 33554432000 1073741824 1073778376 140736177120992 18446744073709551615 252469881753 0 4 0 16800975 18446604464892926144 0 0 -1 5 0 0 0
[pid=14064/tid=14074] ppid=14062 vsize=7660492 CPUtime=0 cores=5,7
/proc/14064/task/14074/stat : 14074 (java) S 14062 14064 12511 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 569370488 7844343808 18139 33554432000 1073741824 1073778376 140736177120992 18446744073709551615 252469881753 0 4 0 16800975 18446604464892926144 0 0 -1 5 0 0 0
[pid=14064/tid=14075] ppid=14062 vsize=7660492 CPUtime=0 cores=5,7
/proc/14064/task/14075/stat : 14075 (java) S 14062 14064 12511 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 569370488 7844343808 18139 33554432000 1073741824 1073778376 140736177120992 18446744073709551615 252469881753 0 4 0 16800975 18446604464892926144 0 0 -1 5 0 0 0
[pid=14064/tid=14076] ppid=14062 vsize=7660492 CPUtime=0 cores=5,7
/proc/14064/task/14076/stat : 14076 (java) S 14062 14064 12511 0 -1 4202560 112 0 0 0 0 0 0 0 18 0 19 0 569370488 7844343808 18139 33554432000 1073741824 1073778376 140736177120992 18446744073709551615 252469881753 0 4 0 16800975 18446604464892926144 0 0 -1 5 0 0 0
[pid=14064/tid=14077] ppid=14062 vsize=7660492 CPUtime=0 cores=5,7
/proc/14064/task/14077/stat : 14077 (java) S 14062 14064 12511 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 569370488 7844343808 18139 33554432000 1073741824 1073778376 140736177120992 18446744073709551615 252469881753 0 4 0 16800975 18446604464892926144 0 0 -1 5 0 0 0
[pid=14064/tid=14078] ppid=14062 vsize=7660492 CPUtime=0 cores=5,7
/proc/14064/task/14078/stat : 14078 (java) S 14062 14064 12511 0 -1 4202560 261 0 0 0 0 0 0 0 15 0 19 0 569370488 7844343808 18139 33554432000 1073741824 1073778376 140736177120992 18446744073709551615 252469881753 0 4 0 16800975 18446604464892926144 0 0 -1 5 0 0 0
[pid=14064/tid=14079] ppid=14062 vsize=7660492 CPUtime=0.07 cores=5,7
/proc/14064/task/14079/stat : 14079 (java) S 14062 14064 12511 0 -1 4202560 825 0 0 0 7 0 0 0 15 0 19 0 569370489 7844343808 18139 33554432000 1073741824 1073778376 140736177120992 18446744073709551615 252469882368 0 0 0 16800975 18446604464892926144 0 0 -1 7 0 0 0
[pid=14064/tid=14080] ppid=14062 vsize=7660492 CPUtime=0 cores=5,7
/proc/14064/task/14080/stat : 14080 (java) S 14062 14064 12511 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 569370489 7844343808 18139 33554432000 1073741824 1073778376 140736177120992 18446744073709551615 252469881753 0 4 0 16800975 18446604464892926144 0 0 -1 5 0 0 0
[pid=14064/tid=14081] ppid=14062 vsize=7660492 CPUtime=0 cores=5,7
/proc/14064/task/14081/stat : 14081 (java) S 14062 14064 12511 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 569370489 7844343808 18139 33554432000 1073741824 1073778376 140736177120992 18446744073709551615 252469881753 0 4 0 16800975 18446604464892926144 0 0 -1 5 0 0 0
[pid=14064/tid=14082] ppid=14062 vsize=7660492 CPUtime=0 cores=5,7
/proc/14064/task/14082/stat : 14082 (java) S 14062 14064 12511 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 569370491 7844343808 18139 33554432000 1073741824 1073778376 140736177120992 18446744073709551615 252469889457 0 4 0 16800975 18446604464892926144 0 0 -1 5 0 0 0
[pid=14064/tid=14083] ppid=14062 vsize=7660492 CPUtime=0.57 cores=5,7
/proc/14064/task/14083/stat : 14083 (java) S 14062 14064 12511 0 -1 4202560 7311 0 0 0 56 1 0 0 15 0 19 0 569370491 7844343808 18139 33554432000 1073741824 1073778376 140736177120992 18446744073709551615 252469881753 0 4 0 16800975 18446604464892926144 0 0 -1 5 0 0 0
[pid=14064/tid=14084] ppid=14062 vsize=7660492 CPUtime=0.34 cores=5,7
/proc/14064/task/14084/stat : 14084 (java) S 14062 14064 12511 0 -1 4202560 1922 0 0 0 34 0 0 0 15 0 19 0 569370491 7844343808 18139 33554432000 1073741824 1073778376 140736177120992 18446744073709551615 252469881753 0 4 0 16800975 18446604464892926144 0 0 -1 7 0 0 0
[pid=14064/tid=14085] ppid=14062 vsize=7660492 CPUtime=0 cores=5,7
/proc/14064/task/14085/stat : 14085 (java) S 14062 14064 12511 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 569370491 7844343808 18139 33554432000 1073741824 1073778376 140736177120992 18446744073709551615 252469881753 0 4 0 16800975 18446604464892926144 0 0 -1 5 0 0 0
[pid=14064/tid=14086] ppid=14062 vsize=7660492 CPUtime=0 cores=5,7
/proc/14064/task/14086/stat : 14086 (java) S 14062 14064 12511 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 569370491 7844343808 18139 33554432000 1073741824 1073778376 140736177120992 18446744073709551615 252469882368 0 4 0 16800975 18446604464892926144 0 0 -1 5 0 0 0
[pid=14064/tid=14089] ppid=14062 vsize=7660492 CPUtime=0 cores=5,7
/proc/14064/task/14089/stat : 14089 (java) S 14062 14064 12511 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 569370505 7844343808 18139 33554432000 1073741824 1073778376 140736177120992 18446744073709551615 252469882368 0 4 0 16800975 18446604464892926144 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 7.15
Current children cumulated vsize (KiB) 7660492

[startup+12.7012 s]

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

[pid=14064/tid=14076] ppid=14062 vsize=7660492 CPUtime=0.13 cores=5,7
/proc/14064/task/14076/stat : 14076 (java) S 14062 14064 12511 0 -1 4202560 124 0 0 0 13 0 0 0 15 0 19 0 569370488 7844343808 20072 33554432000 1073741824 1073778376 140736177120992 18446744073709551615 252469881753 0 4 0 16800975 18446604464892926144 0 0 -1 7 0 0 0
[pid=14064/tid=14077] ppid=14062 vsize=7660492 CPUtime=0.13 cores=5,7
/proc/14064/task/14077/stat : 14077 (java) S 14062 14064 12511 0 -1 4202560 92 0 0 0 13 0 0 0 15 0 19 0 569370488 7844343808 20072 33554432000 1073741824 1073778376 140736177120992 18446744073709551615 252469881753 0 4 0 16800975 18446604464892926144 0 0 -1 7 0 0 0
[pid=14064/tid=14078] ppid=14062 vsize=7660492 CPUtime=0.14 cores=5,7
/proc/14064/task/14078/stat : 14078 (java) S 14062 14064 12511 0 -1 4202560 329 0 0 0 14 0 0 0 15 0 19 0 569370488 7844343808 20072 33554432000 1073741824 1073778376 140736177120992 18446744073709551615 252469881753 0 4 0 16800975 18446604464892926144 0 0 -1 7 0 0 0
[pid=14064/tid=14079] ppid=14062 vsize=7660492 CPUtime=6.26 cores=5,7
/proc/14064/task/14079/stat : 14079 (java) S 14062 14064 12511 0 -1 4202560 2198 0 0 0 624 2 0 0 15 0 19 0 569370489 7844343808 20072 33554432000 1073741824 1073778376 140736177120992 18446744073709551615 252469882368 0 0 0 16800975 18446604464892926144 0 0 -1 5 0 0 0
[pid=14064/tid=14080] ppid=14062 vsize=7660492 CPUtime=0 cores=5,7
/proc/14064/task/14080/stat : 14080 (java) S 14062 14064 12511 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 569370489 7844343808 20072 33554432000 1073741824 1073778376 140736177120992 18446744073709551615 252469881753 0 4 0 16800975 18446604464892926144 0 0 -1 5 0 0 0
[pid=14064/tid=14081] ppid=14062 vsize=7660492 CPUtime=0 cores=5,7
/proc/14064/task/14081/stat : 14081 (java) S 14062 14064 12511 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 569370489 7844343808 20072 33554432000 1073741824 1073778376 140736177120992 18446744073709551615 252469881753 0 4 0 16800975 18446604464892926144 0 0 -1 5 0 0 0
[pid=14064/tid=14082] ppid=14062 vsize=7660492 CPUtime=0 cores=5,7
/proc/14064/task/14082/stat : 14082 (java) S 14062 14064 12511 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 569370491 7844343808 20072 33554432000 1073741824 1073778376 140736177120992 18446744073709551615 252469889457 0 4 0 16800975 18446604464892926144 0 0 -1 5 0 0 0
[pid=14064/tid=14083] ppid=14062 vsize=7660492 CPUtime=0.59 cores=5,7
/proc/14064/task/14083/stat : 14083 (java) S 14062 14064 12511 0 -1 4202560 7989 0 0 0 58 1 0 0 15 0 19 0 569370491 7844343808 20072 33554432000 1073741824 1073778376 140736177120992 18446744073709551615 252469881753 0 4 0 16800975 18446604464892926144 0 0 -1 5 0 0 0
[pid=14064/tid=14084] ppid=14062 vsize=7660492 CPUtime=0.34 cores=5,7
/proc/14064/task/14084/stat : 14084 (java) S 14062 14064 12511 0 -1 4202560 1922 0 0 0 34 0 0 0 15 0 19 0 569370491 7844343808 20072 33554432000 1073741824 1073778376 140736177120992 18446744073709551615 252469881753 0 4 0 16800975 18446604464892926144 0 0 -1 7 0 0 0
[pid=14064/tid=14085] ppid=14062 vsize=7660492 CPUtime=0 cores=5,7
/proc/14064/task/14085/stat : 14085 (java) S 14062 14064 12511 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 569370491 7844343808 20072 33554432000 1073741824 1073778376 140736177120992 18446744073709551615 252469881753 0 4 0 16800975 18446604464892926144 0 0 -1 5 0 0 0
[pid=14064/tid=14086] ppid=14062 vsize=7660492 CPUtime=0 cores=5,7
/proc/14064/task/14086/stat : 14086 (java) S 14062 14064 12511 0 -1 4202560 67 0 0 0 0 0 0 0 15 0 19 0 569370491 7844343808 20072 33554432000 1073741824 1073778376 140736177120992 18446744073709551615 252469882368 0 4 0 16800975 18446604464892926144 0 0 -1 7 0 0 0
[pid=14064/tid=14089] ppid=14062 vsize=7660492 CPUtime=0 cores=5,7
/proc/14064/task/14089/stat : 14089 (java) S 14062 14064 12511 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 569370505 7844343808 20072 33554432000 1073741824 1073778376 140736177120992 18446744073709551615 252469882368 0 4 0 16800975 18446604464892926144 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1123.57
Current children cumulated vsize (KiB) 7660492

[startup+1182.3 s]
/proc/loadavg: 4.00 3.94 3.44 5/262 14194
/proc/meminfo: memFree=21371360/32951124 swapFree=67111348/67111528
[pid=14064] ppid=14062 vsize=7660492 CPUtime=1183.6 cores=5,7
/proc/14064/stat : 14064 (java) S 14062 14064 12511 0 -1 4202496 24529 0 1 0 118352 8 0 0 23 0 19 0 569370485 7844343808 20119 33554432000 1073741824 1073778376 140736177120992 18446744073709551615 252469868517 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/14064/statm: 1915123 20119 2256 9 0 1905861 0
[pid=14064/tid=14066] ppid=14062 vsize=7660492 CPUtime=1174.89 cores=5,7
/proc/14064/task/14066/stat : 14066 (java) R 14062 14064 12511 0 -1 4202560 9821 0 1 0 117487 2 0 0 25 0 19 0 569370486 7844343808 20119 33554432000 1073741824 1073778376 140736177120992 18446744073709551615 46912505628763 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=14064/tid=14071] ppid=14062 vsize=7660492 CPUtime=0.14 cores=5,7
/proc/14064/task/14071/stat : 14071 (java) S 14062 14064 12511 0 -1 4202560 273 0 0 0 14 0 0 0 15 0 19 0 569370487 7844343808 20119 33554432000 1073741824 1073778376 140736177120992 18446744073709551615 252469881753 0 4 0 16800975 18446604464892926144 0 0 -1 7 0 0 0
[pid=14064/tid=14072] ppid=14062 vsize=7660492 CPUtime=0.13 cores=5,7
/proc/14064/task/14072/stat : 14072 (java) S 14062 14064 12511 0 -1 4202560 307 0 0 0 13 0 0 0 15 0 19 0 569370487 7844343808 20119 33554432000 1073741824 1073778376 140736177120992 18446744073709551615 252469881753 0 4 0 16800975 18446604464892926144 0 0 -1 7 0 0 0
[pid=14064/tid=14073] ppid=14062 vsize=7660492 CPUtime=0.14 cores=5,7
/proc/14064/task/14073/stat : 14073 (java) S 14062 14064 12511 0 -1 4202560 14 0 0 0 14 0 0 0 15 0 19 0 569370487 7844343808 20119 33554432000 1073741824 1073778376 140736177120992 18446744073709551615 252469881753 0 4 0 16800975 18446604464892926144 0 0 -1 7 0 0 0
[pid=14064/tid=14074] ppid=14062 vsize=7660492 CPUtime=0.16 cores=5,7
/proc/14064/task/14074/stat : 14074 (java) S 14062 14064 12511 0 -1 4202560 12 0 0 0 16 0 0 0 15 0 19 0 569370488 7844343808 20119 33554432000 1073741824 1073778376 140736177120992 18446744073709551615 252469881753 0 4 0 16800975 18446604464892926144 0 0 -1 7 0 0 0
[pid=14064/tid=14075] ppid=14062 vsize=7660492 CPUtime=0.12 cores=5,7
/proc/14064/task/14075/stat : 14075 (java) S 14062 14064 12511 0 -1 4202560 180 0 0 0 12 0 0 0 15 0 19 0 569370488 7844343808 20119 33554432000 1073741824 1073778376 140736177120992 18446744073709551615 252469881753 0 4 0 16800975 18446604464892926144 0 0 -1 7 0 0 0
[pid=14064/tid=14076] ppid=14062 vsize=7660492 CPUtime=0.14 cores=5,7
/proc/14064/task/14076/stat : 14076 (java) S 14062 14064 12511 0 -1 4202560 124 0 0 0 14 0 0 0 15 0 19 0 569370488 7844343808 20119 33554432000 1073741824 1073778376 140736177120992 18446744073709551615 252469881753 0 4 0 16800975 18446604464892926144 0 0 -1 7 0 0 0
[pid=14064/tid=14077] ppid=14062 vsize=7660492 CPUtime=0.14 cores=5,7
/proc/14064/task/14077/stat : 14077 (java) S 14062 14064 12511 0 -1 4202560 92 0 0 0 14 0 0 0 15 0 19 0 569370488 7844343808 20119 33554432000 1073741824 1073778376 140736177120992 18446744073709551615 252469881753 0 4 0 16800975 18446604464892926144 0 0 -1 7 0 0 0
[pid=14064/tid=14078] ppid=14062 vsize=7660492 CPUtime=0.15 cores=5,7
/proc/14064/task/14078/stat : 14078 (java) S 14062 14064 12511 0 -1 4202560 329 0 0 0 15 0 0 0 15 0 19 0 569370488 7844343808 20119 33554432000 1073741824 1073778376 140736177120992 18446744073709551615 252469881753 0 4 0 16800975 18446604464892926144 0 0 -1 7 0 0 0
[pid=14064/tid=14079] ppid=14062 vsize=7660492 CPUtime=6.59 cores=5,7
/proc/14064/task/14079/stat : 14079 (java) S 14062 14064 12511 0 -1 4202560 2247 0 0 0 657 2 0 0 15 0 19 0 569370489 7844343808 20119 33554432000 1073741824 1073778376 140736177120992 18446744073709551615 252469882368 0 0 0 16800975 18446604464892926144 0 0 -1 5 0 0 0
[pid=14064/tid=14080] ppid=14062 vsize=7660492 CPUtime=0 cores=5,7
/proc/14064/task/14080/stat : 14080 (java) S 14062 14064 12511 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 569370489 7844343808 20119 33554432000 1073741824 1073778376 140736177120992 18446744073709551615 252469881753 0 4 0 16800975 18446604464892926144 0 0 -1 5 0 0 0
[pid=14064/tid=14081] ppid=14062 vsize=7660492 CPUtime=0 cores=5,7
/proc/14064/task/14081/stat : 14081 (java) S 14062 14064 12511 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 569370489 7844343808 20119 33554432000 1073741824 1073778376 140736177120992 18446744073709551615 252469881753 0 4 0 16800975 18446604464892926144 0 0 -1 5 0 0 0
[pid=14064/tid=14082] ppid=14062 vsize=7660492 CPUtime=0 cores=5,7
/proc/14064/task/14082/stat : 14082 (java) S 14062 14064 12511 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 569370491 7844343808 20119 33554432000 1073741824 1073778376 140736177120992 18446744073709551615 252469889457 0 4 0 16800975 18446604464892926144 0 0 -1 5 0 0 0
[pid=14064/tid=14083] ppid=14062 vsize=7660492 CPUtime=0.59 cores=5,7
/proc/14064/task/14083/stat : 14083 (java) S 14062 14064 12511 0 -1 4202560 7989 0 0 0 58 1 0 0 15 0 19 0 569370491 7844343808 20119 33554432000 1073741824 1073778376 140736177120992 18446744073709551615 252469881753 0 4 0 16800975 18446604464892926144 0 0 -1 5 0 0 0
[pid=14064/tid=14084] ppid=14062 vsize=7660492 CPUtime=0.34 cores=5,7
/proc/14064/task/14084/stat : 14084 (java) S 14062 14064 12511 0 -1 4202560 1922 0 0 0 34 0 0 0 15 0 19 0 569370491 7844343808 20119 33554432000 1073741824 1073778376 140736177120992 18446744073709551615 252469881753 0 4 0 16800975 18446604464892926144 0 0 -1 7 0 0 0
[pid=14064/tid=14085] ppid=14062 vsize=7660492 CPUtime=0 cores=5,7
/proc/14064/task/14085/stat : 14085 (java) S 14062 14064 12511 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 569370491 7844343808 20119 33554432000 1073741824 1073778376 140736177120992 18446744073709551615 252469881753 0 4 0 16800975 18446604464892926144 0 0 -1 5 0 0 0
[pid=14064/tid=14086] ppid=14062 vsize=7660492 CPUtime=0 cores=5,7
/proc/14064/task/14086/stat : 14086 (java) S 14062 14064 12511 0 -1 4202560 69 0 0 0 0 0 0 0 15 0 19 0 569370491 7844343808 20119 33554432000 1073741824 1073778376 140736177120992 18446744073709551615 252469882368 0 4 0 16800975 18446604464892926144 0 0 -1 7 0 0 0
[pid=14064/tid=14089] ppid=14062 vsize=7660492 CPUtime=0 cores=5,7
/proc/14064/task/14089/stat : 14089 (java) S 14062 14064 12511 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 569370505 7844343808 20119 33554432000 1073741824 1073778376 140736177120992 18446744073709551615 252469882368 0 4 0 16800975 18446604464892926144 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1183.6
Current children cumulated vsize (KiB) 7660492

[startup+1242.3 s]
/proc/loadavg: 4.14 4.00 3.49 5/262 14196
/proc/meminfo: memFree=21340304/32951124 swapFree=67111348/67111528
[pid=14064] ppid=14062 vsize=7660492 CPUtime=1243.62 cores=5,7
/proc/14064/stat : 14064 (java) S 14062 14064 12511 0 -1 4202496 24570 0 1 0 124354 8 0 0 23 0 19 0 569370485 7844343808 20136 33554432000 1073741824 1073778376 140736177120992 18446744073709551615 252469868517 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/14064/statm: 1915123 20136 2256 9 0 1905861 0
[pid=14064/tid=14066] ppid=14062 vsize=7660492 CPUtime=1234.53 cores=5,7
/proc/14064/task/14066/stat : 14066 (java) R 14062 14064 12511 0 -1 4202560 9837 0 1 0 123451 2 0 0 25 0 19 0 569370486 7844343808 20136 33554432000 1073741824 1073778376 140736177120992 18446744073709551615 46912505582380 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=14064/tid=14071] ppid=14062 vsize=7660492 CPUtime=0.14 cores=5,7
/proc/14064/task/14071/stat : 14071 (java) S 14062 14064 12511 0 -1 4202560 273 0 0 0 14 0 0 0 15 0 19 0 569370487 7844343808 20136 33554432000 1073741824 1073778376 140736177120992 18446744073709551615 252469881753 0 4 0 16800975 18446604464892926144 0 0 -1 7 0 0 0
[pid=14064/tid=14072] ppid=14062 vsize=7660492 CPUtime=0.14 cores=5,7
/proc/14064/task/14072/stat : 14072 (java) S 14062 14064 12511 0 -1 4202560 307 0 0 0 14 0 0 0 15 0 19 0 569370487 7844343808 20136 33554432000 1073741824 1073778376 140736177120992 18446744073709551615 252469881753 0 4 0 16800975 18446604464892926144 0 0 -1 7 0 0 0
[pid=14064/tid=14073] ppid=14062 vsize=7660492 CPUtime=0.15 cores=5,7
/proc/14064/task/14073/stat : 14073 (java) S 14062 14064 12511 0 -1 4202560 14 0 0 0 15 0 0 0 15 0 19 0 569370487 7844343808 20136 33554432000 1073741824 1073778376 140736177120992 18446744073709551615 252469881753 0 4 0 16800975 18446604464892926144 0 0 -1 7 0 0 0
[pid=14064/tid=14074] ppid=14062 vsize=7660492 CPUtime=0.17 cores=5,7
/proc/14064/task/14074/stat : 14074 (java) S 14062 14064 12511 0 -1 4202560 12 0 0 0 17 0 0 0 15 0 19 0 569370488 7844343808 20136 33554432000 1073741824 1073778376 140736177120992 18446744073709551615 252469881753 0 4 0 16800975 18446604464892926144 0 0 -1 7 0 0 0
[pid=14064/tid=14075] ppid=14062 vsize=7660492 CPUtime=0.13 cores=5,7
/proc/14064/task/14075/stat : 14075 (java) S 14062 14064 12511 0 -1 4202560 180 0 0 0 13 0 0 0 16 0 19 0 569370488 7844343808 20136 33554432000 1073741824 1073778376 140736177120992 18446744073709551615 252469881753 0 4 0 16800975 18446604464892926144 0 0 -1 7 0 0 0
[pid=14064/tid=14076] ppid=14062 vsize=7660492 CPUtime=0.14 cores=5,7
/proc/14064/task/14076/stat : 14076 (java) S 14062 14064 12511 0 -1 4202560 124 0 0 0 14 0 0 0 15 0 19 0 569370488 7844343808 20136 33554432000 1073741824 1073778376 140736177120992 18446744073709551615 252469881753 0 4 0 16800975 18446604464892926144 0 0 -1 7 0 0 0
[pid=14064/tid=14077] ppid=14062 vsize=7660492 CPUtime=0.14 cores=5,7
/proc/14064/task/14077/stat : 14077 (java) S 14062 14064 12511 0 -1 4202560 92 0 0 0 14 0 0 0 15 0 19 0 569370488 7844343808 20136 33554432000 1073741824 1073778376 140736177120992 18446744073709551615 252469881753 0 4 0 16800975 18446604464892926144 0 0 -1 7 0 0 0
[pid=14064/tid=14078] ppid=14062 vsize=7660492 CPUtime=0.16 cores=5,7
/proc/14064/task/14078/stat : 14078 (java) S 14062 14064 12511 0 -1 4202560 329 0 0 0 16 0 0 0 15 0 19 0 569370488 7844343808 20136 33554432000 1073741824 1073778376 140736177120992 18446744073709551615 252469881753 0 4 0 16800975 18446604464892926144 0 0 -1 7 0 0 0
[pid=14064/tid=14079] ppid=14062 vsize=7660492 CPUtime=6.92 cores=5,7
/proc/14064/task/14079/stat : 14079 (java) S 14062 14064 12511 0 -1 4202560 2268 0 0 0 690 2 0 0 15 0 19 0 569370489 7844343808 20136 33554432000 1073741824 1073778376 140736177120992 18446744073709551615 252469882368 0 0 0 16800975 18446604464892926144 0 0 -1 5 0 0 0
[pid=14064/tid=14080] ppid=14062 vsize=7660492 CPUtime=0 cores=5,7
/proc/14064/task/14080/stat : 14080 (java) S 14062 14064 12511 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 569370489 7844343808 20136 33554432000 1073741824 1073778376 140736177120992 18446744073709551615 252469881753 0 4 0 16800975 18446604464892926144 0 0 -1 5 0 0 0
[pid=14064/tid=14081] ppid=14062 vsize=7660492 CPUtime=0 cores=5,7
/proc/14064/task/14081/stat : 14081 (java) S 14062 14064 12511 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 569370489 7844343808 20136 33554432000 1073741824 1073778376 140736177120992 18446744073709551615 252469881753 0 4 0 16800975 18446604464892926144 0 0 -1 5 0 0 0
[pid=14064/tid=14082] ppid=14062 vsize=7660492 CPUtime=0 cores=5,7
/proc/14064/task/14082/stat : 14082 (java) S 14062 14064 12511 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 569370491 7844343808 20136 33554432000 1073741824 1073778376 140736177120992 18446744073709551615 252469889457 0 4 0 16800975 18446604464892926144 0 0 -1 5 0 0 0
[pid=14064/tid=14083] ppid=14062 vsize=7660492 CPUtime=0.59 cores=5,7
/proc/14064/task/14083/stat : 14083 (java) S 14062 14064 12511 0 -1 4202560 7989 0 0 0 58 1 0 0 15 0 19 0 569370491 7844343808 20136 33554432000 1073741824 1073778376 140736177120992 18446744073709551615 252469881753 0 4 0 16800975 18446604464892926144 0 0 -1 5 0 0 0
[pid=14064/tid=14084] ppid=14062 vsize=7660492 CPUtime=0.34 cores=5,7
/proc/14064/task/14084/stat : 14084 (java) S 14062 14064 12511 0 -1 4202560 1922 0 0 0 34 0 0 0 15 0 19 0 569370491 7844343808 20136 33554432000 1073741824 1073778376 140736177120992 18446744073709551615 252469881753 0 4 0 16800975 18446604464892926144 0 0 -1 7 0 0 0
[pid=14064/tid=14085] ppid=14062 vsize=7660492 CPUtime=0 cores=5,7
/proc/14064/task/14085/stat : 14085 (java) S 14062 14064 12511 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 569370491 7844343808 20136 33554432000 1073741824 1073778376 140736177120992 18446744073709551615 252469881753 0 4 0 16800975 18446604464892926144 0 0 -1 5 0 0 0
[pid=14064/tid=14086] ppid=14062 vsize=7660492 CPUtime=0 cores=5,7
/proc/14064/task/14086/stat : 14086 (java) S 14062 14064 12511 0 -1 4202560 73 0 0 0 0 0 0 0 15 0 19 0 569370491 7844343808 20136 33554432000 1073741824 1073778376 140736177120992 18446744073709551615 252469882368 0 4 0 16800975 18446604464892926144 0 0 -1 7 0 0 0
[pid=14064/tid=14089] ppid=14062 vsize=7660492 CPUtime=0 cores=5,7
/proc/14064/task/14089/stat : 14089 (java) S 14062 14064 12511 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 569370505 7844343808 20136 33554432000 1073741824 1073778376 140736177120992 18446744073709551615 252469882368 0 4 0 16800975 18446604464892926144 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1243.62
Current children cumulated vsize (KiB) 7660492



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+1300 s]
/proc/loadavg: 4.05 4.00 3.52 5/262 14197
/proc/meminfo: memFree=21338244/32951124 swapFree=67111348/67111528
[pid=14064] ppid=14062 vsize=7660492 CPUtime=1301.34 cores=5,7
/proc/14064/stat : 14064 (java) S 14062 14064 12511 0 -1 4202496 24609 0 1 0 130126 8 0 0 23 0 19 0 569370485 7844343808 20152 33554432000 1073741824 1073778376 140736177120992 18446744073709551615 252469868517 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/14064/statm: 1915123 20152 2256 9 0 1905861 0
[pid=14064/tid=14066] ppid=14062 vsize=7660492 CPUtime=1291.88 cores=5,7
/proc/14064/task/14066/stat : 14066 (java) R 14062 14064 12511 0 -1 4202560 9852 0 1 0 129186 2 0 0 25 0 19 0 569370486 7844343808 20152 33554432000 1073741824 1073778376 140736177120992 18446744073709551615 46912505597877 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=14064/tid=14071] ppid=14062 vsize=7660492 CPUtime=0.14 cores=5,7
/proc/14064/task/14071/stat : 14071 (java) S 14062 14064 12511 0 -1 4202560 273 0 0 0 14 0 0 0 16 0 19 0 569370487 7844343808 20152 33554432000 1073741824 1073778376 140736177120992 18446744073709551615 252469881753 0 4 0 16800975 18446604464892926144 0 0 -1 7 0 0 0
[pid=14064/tid=14072] ppid=14062 vsize=7660492 CPUtime=0.14 cores=5,7
/proc/14064/task/14072/stat : 14072 (java) S 14062 14064 12511 0 -1 4202560 307 0 0 0 14 0 0 0 15 0 19 0 569370487 7844343808 20152 33554432000 1073741824 1073778376 140736177120992 18446744073709551615 252469881753 0 4 0 16800975 18446604464892926144 0 0 -1 7 0 0 0
[pid=14064/tid=14073] ppid=14062 vsize=7660492 CPUtime=0.16 cores=5,7
/proc/14064/task/14073/stat : 14073 (java) S 14062 14064 12511 0 -1 4202560 14 0 0 0 16 0 0 0 16 0 19 0 569370487 7844343808 20152 33554432000 1073741824 1073778376 140736177120992 18446744073709551615 252469881753 0 4 0 16800975 18446604464892926144 0 0 -1 7 0 0 0
[pid=14064/tid=14074] ppid=14062 vsize=7660492 CPUtime=0.18 cores=5,7
/proc/14064/task/14074/stat : 14074 (java) S 14062 14064 12511 0 -1 4202560 12 0 0 0 18 0 0 0 15 0 19 0 569370488 7844343808 20152 33554432000 1073741824 1073778376 140736177120992 18446744073709551615 252469881753 0 4 0 16800975 18446604464892926144 0 0 -1 7 0 0 0
[pid=14064/tid=14075] ppid=14062 vsize=7660492 CPUtime=0.14 cores=5,7
/proc/14064/task/14075/stat : 14075 (java) S 14062 14064 12511 0 -1 4202560 180 0 0 0 14 0 0 0 15 0 19 0 569370488 7844343808 20152 33554432000 1073741824 1073778376 140736177120992 18446744073709551615 252469881753 0 4 0 16800975 18446604464892926144 0 0 -1 7 0 0 0
[pid=14064/tid=14076] ppid=14062 vsize=7660492 CPUtime=0.15 cores=5,7
/proc/14064/task/14076/stat : 14076 (java) S 14062 14064 12511 0 -1 4202560 124 0 0 0 15 0 0 0 16 0 19 0 569370488 7844343808 20152 33554432000 1073741824 1073778376 140736177120992 18446744073709551615 252469881753 0 4 0 16800975 18446604464892926144 0 0 -1 7 0 0 0
[pid=14064/tid=14077] ppid=14062 vsize=7660492 CPUtime=0.14 cores=5,7
/proc/14064/task/14077/stat : 14077 (java) S 14062 14064 12511 0 -1 4202560 92 0 0 0 14 0 0 0 16 0 19 0 569370488 7844343808 20152 33554432000 1073741824 1073778376 140736177120992 18446744073709551615 252469881753 0 4 0 16800975 18446604464892926144 0 0 -1 7 0 0 0
[pid=14064/tid=14078] ppid=14062 vsize=7660492 CPUtime=0.16 cores=5,7
/proc/14064/task/14078/stat : 14078 (java) S 14062 14064 12511 0 -1 4202560 329 0 0 0 16 0 0 0 15 0 19 0 569370488 7844343808 20152 33554432000 1073741824 1073778376 140736177120992 18446744073709551615 252469881753 0 4 0 16800975 18446604464892926144 0 0 -1 7 0 0 0
[pid=14064/tid=14079] ppid=14062 vsize=7660492 CPUtime=7.23 cores=5,7
/proc/14064/task/14079/stat : 14079 (java) S 14062 14064 12511 0 -1 4202560 2288 0 0 0 721 2 0 0 15 0 19 0 569370489 7844343808 20152 33554432000 1073741824 1073778376 140736177120992 18446744073709551615 252469882368 0 0 0 16800975 18446604464892926144 0 0 -1 5 0 0 0
[pid=14064/tid=14080] ppid=14062 vsize=7660492 CPUtime=0 cores=5,7
/proc/14064/task/14080/stat : 14080 (java) S 14062 14064 12511 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 569370489 7844343808 20152 33554432000 1073741824 1073778376 140736177120992 18446744073709551615 252469881753 0 4 0 16800975 18446604464892926144 0 0 -1 5 0 0 0
[pid=14064/tid=14081] ppid=14062 vsize=7660492 CPUtime=0 cores=5,7
/proc/14064/task/14081/stat : 14081 (java) S 14062 14064 12511 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 569370489 7844343808 20152 33554432000 1073741824 1073778376 140736177120992 18446744073709551615 252469881753 0 4 0 16800975 18446604464892926144 0 0 -1 5 0 0 0
[pid=14064/tid=14082] ppid=14062 vsize=7660492 CPUtime=0 cores=5,7
/proc/14064/task/14082/stat : 14082 (java) S 14062 14064 12511 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 569370491 7844343808 20152 33554432000 1073741824 1073778376 140736177120992 18446744073709551615 252469889457 0 4 0 16800975 18446604464892926144 0 0 -1 5 0 0 0
[pid=14064/tid=14083] ppid=14062 vsize=7660492 CPUtime=0.59 cores=5,7
/proc/14064/task/14083/stat : 14083 (java) S 14062 14064 12511 0 -1 4202560 7989 0 0 0 58 1 0 0 15 0 19 0 569370491 7844343808 20152 33554432000 1073741824 1073778376 140736177120992 18446744073709551615 252469881753 0 4 0 16800975 18446604464892926144 0 0 -1 5 0 0 0
[pid=14064/tid=14084] ppid=14062 vsize=7660492 CPUtime=0.34 cores=5,7
/proc/14064/task/14084/stat : 14084 (java) S 14062 14064 12511 0 -1 4202560 1922 0 0 0 34 0 0 0 15 0 19 0 569370491 7844343808 20152 33554432000 1073741824 1073778376 140736177120992 18446744073709551615 252469881753 0 4 0 16800975 18446604464892926144 0 0 -1 7 0 0 0
[pid=14064/tid=14085] ppid=14062 vsize=7660492 CPUtime=0 cores=5,7
/proc/14064/task/14085/stat : 14085 (java) S 14062 14064 12511 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 569370491 7844343808 20152 33554432000 1073741824 1073778376 140736177120992 18446744073709551615 252469881753 0 4 0 16800975 18446604464892926144 0 0 -1 5 0 0 0
[pid=14064/tid=14086] ppid=14062 vsize=7660492 CPUtime=0 cores=5,7
/proc/14064/task/14086/stat : 14086 (java) S 14062 14064 12511 0 -1 4202560 77 0 0 0 0 0 0 0 15 0 19 0 569370491 7844343808 20152 33554432000 1073741824 1073778376 140736177120992 18446744073709551615 252469882368 0 4 0 16800975 18446604464892926144 0 0 -1 7 0 0 0
[pid=14064/tid=14089] ppid=14062 vsize=7660492 CPUtime=0 cores=5,7
/proc/14064/task/14089/stat : 14089 (java) S 14062 14064 12511 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 569370505 7844343808 20152 33554432000 1073741824 1073778376 140736177120992 18446744073709551615 252469882368 0 4 0 16800975 18446604464892926144 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1301.34
Current children cumulated vsize (KiB) 7660492

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

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

Child status: 143
Real time (s): 1300.07
CPU time (s): 1301.45
CPU user time (s): 1301.36
CPU system time (s): 0.089986
CPU usage (%): 100.106
Max. virtual memory (cumulated for all children) (KiB): 7664560

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1301.36
system time used= 0.089986
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 25052
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= 37145
involuntary context switches= 10950

runsolver used 2.11668 second user time and 5.01424 second system time

The end

Launcher Data 

Begin job on node111 at 2011-04-26 06:16:40
IDJOB=3291559
IDBENCH=84237
IDSOLVER=1611
FILE ID=node111/3291559-1303791400
RUNJOBID= node111-1303791400-14051
PBS_JOBID= 13157239
Free space on /tmp= 70972 MiB

SOLVER NAME= SAT4J core 2.3.0 SNAPSHOT 2011-02-06
BENCH NAME= SAT03/industrial/kukula/addm_bench/am_7_7.shuffled-as.sat03-363.cnf
COMMAND LINE= java -server -XX:MaxPermSize=256m -Xms7000m -Xmx7000m -jar org.sat4j.core.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3291559-1303791400/watcher-3291559-1303791400 -o /tmp/evaluation-result-3291559-1303791400/solver-3291559-1303791400 -C 2400 -W 1300 -M 7680  java -server -XX:MaxPermSize=256m -Xms7000m -Xmx7000m -jar org.sat4j.core.jar HOME/instance-3291559-1303791400.cnf

TIME LIMIT= 2400 seconds
MEMORY LIMIT= 7680 MiB
NBCORE= 2

MD5SUM BENCH= c7f51e1ee7556440ab29e1c4bfe29538
RANDOM SEED=1817048860

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

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

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.849
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.849
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.849
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.67
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.849
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:      23744352 kB
Buffers:       1243720 kB
Cached:        7417796 kB
SwapCached:        132 kB
Active:        2851704 kB
Inactive:      5877420 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      23744352 kB
SwapTotal:    67111528 kB
SwapFree:     67111348 kB
Dirty:             404 kB
Writeback:           0 kB
AnonPages:       67664 kB
Mapped:          14488 kB
Slab:           412144 kB
PageTables:       5120 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   192916 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= 70880 MiB
End job on node111 at 2011-04-26 06:38:22