Trace number 3265780

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.39 1300.05

General information on the benchmark

NameSAT05/crafted/sorge05/QG7a/
gensys-ukn004.shuffled-as.sat05-3844.cnf
MD5SUM7d96ba103689bec761c9e7df7b158323
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark3199.02
Satisfiable
(Un)Satisfiability was proved
Number of variables2731
Number of clauses17983
Sum of the clauses size126997
Maximum clause length13
Minimum clause length1
Number of clauses of size 142
Number of clauses of size 2442
Number of clauses of size 32370
Number of clauses of size 4477
Number of clauses of size 5642
Number of clauses of size over 514010

Solver Data 

0.00/0.07	c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre
0.00/0.07	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.07	c See www.sat4j.org for details.
0.09/0.09	c no version file found!!!
0.09/0.09	c java.runtime.name	Java(TM) SE Runtime Environment
0.09/0.09	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.09/0.09	c java.vm.version	19.1-b02
0.09/0.09	c java.vm.vendor	Sun Microsystems Inc.
0.09/0.09	c sun.arch.data.model	64
0.09/0.09	c java.version		1.6.0_24
0.09/0.09	c os.name		Linux
0.09/0.09	c os.version		2.6.18-164.el5
0.09/0.09	c os.arch		amd64
0.09/0.09	c Free memory 		6997539544
0.09/0.09	c Max memory 		7034241024
0.09/0.09	c Total memory 		7034241024
0.09/0.09	c Number of processors 	8
0.29/0.23	c --- Begin Solver configuration ---
0.29/0.23	c org.sat4j.minisat.constraints.MixedDataStructureDanielWL@664741d6
0.29/0.23	c Learn all clauses as in MiniSAT
0.29/0.23	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.1 initConflictBound=100 
0.29/0.23	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT
0.29/0.23	c Expensive reason simplification
0.29/0.23	c Armin Biere (Picosat) restarts strategy
0.29/0.23	c Glucose learned constraints deletion strategy
0.29/0.23	c timeout=2147483647s
0.29/0.23	c DB Simplification allowed=true
0.29/0.23	c --- End Solver configuration ---
0.29/0.23	c solving HOME/instance-3265780-1303581471.cnf
0.29/0.23	c reading problem ... 
0.29/0.23	c ... done. Wall clock time 0.103s.
0.29/0.23	c #vars     2731
0.29/0.23	c #constraints  17685
0.29/0.23	c constraints type 
0.29/0.23	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 16579
0.29/0.23	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 1058
1.00/0.61	c cleaning 2498 clauses out of 5001 with flag 5001/5001
1.38/0.89	c cleaning 4248 clauses out of 8502 with flag 11000/11000
2.04/1.22	c cleaning 5626 clauses out of 11254 with flag 18000/18000
2.46/1.68	c cleaning 6792 clauses out of 13628 with flag 26000/26000
3.08/2.24	c cleaning 7913 clauses out of 15836 with flag 35000/35000
3.67/2.87	c cleaning 8957 clauses out of 17923 with flag 45000/45000
4.47/3.67	c cleaning 9973 clauses out of 19966 with flag 56000/56000
5.37/4.58	c cleaning 10981 clauses out of 21993 with flag 68000/68000
6.47/5.67	c cleaning 11993 clauses out of 24008 with flag 81000/81000
7.77/6.94	c cleaning 12990 clauses out of 26015 with flag 95000/95000
9.28/8.41	c cleaning 14006 clauses out of 28027 with flag 110002/110002
11.08/10.23	c cleaning 14994 clauses out of 30020 with flag 126001/126001
13.18/12.33	c cleaning 15993 clauses out of 32025 with flag 143000/143000
15.48/14.60	c cleaning 16994 clauses out of 34033 with flag 161001/161001
17.98/17.14	c cleaning 17502 clauses out of 35039 with flag 179001/179001
20.59/19.71	c cleaning 17766 clauses out of 35537 with flag 197001/197001
23.39/22.57	c cleaning 17875 clauses out of 35770 with flag 215000/215000
25.89/25.08	c cleaning 17925 clauses out of 35895 with flag 233000/233000
28.79/27.91	c cleaning 17968 clauses out of 35971 with flag 251001/251001
31.60/30.72	c cleaning 17986 clauses out of 36002 with flag 269000/269000
34.39/33.54	c cleaning 17977 clauses out of 36016 with flag 287000/287000
37.49/36.64	c cleaning 18015 clauses out of 36040 with flag 305001/305001
40.40/39.59	c cleaning 18003 clauses out of 36025 with flag 323001/323001
43.49/42.63	c cleaning 17984 clauses out of 36023 with flag 341002/341002
46.59/45.72	c cleaning 18000 clauses out of 36037 with flag 359000/359000
49.80/48.91	c cleaning 17988 clauses out of 36038 with flag 377001/377001
53.10/52.23	c cleaning 18004 clauses out of 36049 with flag 395000/395000
56.40/55.52	c cleaning 18001 clauses out of 36045 with flag 413000/413000
59.90/59.06	c cleaning 18015 clauses out of 36044 with flag 431000/431000
63.40/62.51	c cleaning 18007 clauses out of 36029 with flag 449000/449000
66.60/65.70	c cleaning 17992 clauses out of 36023 with flag 467001/467001
70.00/69.17	c cleaning 17978 clauses out of 36030 with flag 485000/485000
73.60/72.72	c cleaning 18004 clauses out of 36054 with flag 503002/503002
77.01/76.11	c cleaning 18019 clauses out of 36050 with flag 521002/521002
80.61/79.72	c cleaning 17995 clauses out of 36029 with flag 539000/539000
84.01/83.12	c cleaning 18007 clauses out of 36035 with flag 557001/557001
87.91/87.02	c cleaning 18013 clauses out of 36029 with flag 575002/575002
90.91/90.08	c cleaning 17996 clauses out of 36014 with flag 593000/593000
94.51/93.63	c cleaning 17999 clauses out of 36018 with flag 611000/611000
98.01/97.15	c cleaning 17973 clauses out of 36019 with flag 629000/629000
101.41/100.57	c cleaning 18010 clauses out of 36047 with flag 647001/647001
105.22/104.30	c cleaning 18005 clauses out of 36036 with flag 665000/665000
108.82/107.90	c cleaning 18010 clauses out of 36031 with flag 683000/683000
112.12/111.23	c cleaning 17999 clauses out of 36021 with flag 701000/701000
115.52/114.60	c cleaning 18001 clauses out of 36022 with flag 719000/719000
119.02/118.14	c cleaning 18006 clauses out of 36021 with flag 737000/737000
122.72/121.82	c cleaning 17986 clauses out of 36015 with flag 755000/755000
126.33/125.44	c cleaning 17982 clauses out of 36030 with flag 773001/773001
130.32/129.42	c cleaning 18018 clauses out of 36047 with flag 791000/791000
134.03/133.17	c cleaning 17983 clauses out of 36031 with flag 809002/809002
137.92/137.00	c cleaning 18014 clauses out of 36046 with flag 827000/827000
141.53/140.69	c cleaning 17990 clauses out of 36032 with flag 845000/845000
145.33/144.43	c cleaning 18010 clauses out of 36042 with flag 863000/863000
149.23/148.31	c cleaning 18005 clauses out of 36032 with flag 881000/881000
153.23/152.38	c cleaning 17999 clauses out of 36030 with flag 899003/899003
157.33/156.46	c cleaning 18010 clauses out of 36030 with flag 917002/917002
161.23/160.37	c cleaning 18000 clauses out of 36018 with flag 935000/935000
164.93/164.01	c cleaning 17976 clauses out of 36020 with flag 953002/953002
168.83/167.99	c cleaning 17971 clauses out of 36042 with flag 971000/971000
172.63/171.77	c cleaning 18017 clauses out of 36072 with flag 989001/989001
176.84/175.97	c cleaning 18002 clauses out of 36054 with flag 1007000/1007000
180.73/179.80	c cleaning 18004 clauses out of 36052 with flag 1025000/1025000
184.44/183.56	c cleaning 18001 clauses out of 36049 with flag 1043001/1043001
188.54/187.61	c cleaning 18011 clauses out of 36047 with flag 1061000/1061000
192.74/191.83	c cleaning 18007 clauses out of 36036 with flag 1079000/1079000
196.54/195.67	c cleaning 17997 clauses out of 36029 with flag 1097000/1097000
200.44/199.56	c cleaning 18011 clauses out of 36032 with flag 1115000/1115000
204.15/203.29	c cleaning 17994 clauses out of 36021 with flag 1133000/1133000
207.85/206.97	c cleaning 18007 clauses out of 36028 with flag 1151001/1151001
211.95/211.03	c cleaning 17996 clauses out of 36020 with flag 1169000/1169000
215.95/215.04	c cleaning 17998 clauses out of 36026 with flag 1187002/1187002
219.65/218.80	c cleaning 17987 clauses out of 36028 with flag 1205002/1205002
223.97/223.04	c cleaning 18012 clauses out of 36040 with flag 1223001/1223001
228.07/227.12	c cleaning 18006 clauses out of 36028 with flag 1241001/1241001
232.07/231.10	c cleaning 17994 clauses out of 36021 with flag 1259000/1259000
235.78/234.89	c cleaning 18002 clauses out of 36028 with flag 1277001/1277001
239.48/238.60	c cleaning 17999 clauses out of 36025 with flag 1295000/1295000
243.28/242.35	c cleaning 17999 clauses out of 36026 with flag 1313000/1313000
247.28/246.32	c cleaning 17989 clauses out of 36027 with flag 1331000/1331000
251.38/250.50	c cleaning 18009 clauses out of 36040 with flag 1349002/1349002
255.58/254.62	c cleaning 18004 clauses out of 36029 with flag 1367000/1367000
259.68/258.70	c cleaning 18004 clauses out of 36026 with flag 1385001/1385001
263.89/262.98	c cleaning 17988 clauses out of 36021 with flag 1403000/1403000
267.98/267.04	c cleaning 17997 clauses out of 36034 with flag 1421001/1421001
271.88/270.98	c cleaning 17998 clauses out of 36036 with flag 1439000/1439000
275.89/274.91	c cleaning 17998 clauses out of 36038 with flag 1457000/1457000
279.79/278.88	c cleaning 18003 clauses out of 36040 with flag 1475000/1475000
283.89/282.97	c cleaning 18010 clauses out of 36037 with flag 1493000/1493000
287.79/286.82	c cleaning 17984 clauses out of 36027 with flag 1511000/1511000
291.69/290.71	c cleaning 18007 clauses out of 36044 with flag 1529001/1529001
295.70/294.73	c cleaning 18006 clauses out of 36036 with flag 1547000/1547000
299.69/298.71	c cleaning 17993 clauses out of 36031 with flag 1565001/1565001
303.79/302.85	c cleaning 18002 clauses out of 36039 with flag 1583002/1583002
307.80/306.81	c cleaning 18006 clauses out of 36036 with flag 1601001/1601001
312.20/311.23	c cleaning 17994 clauses out of 36029 with flag 1619000/1619000
316.20/315.24	c cleaning 18003 clauses out of 36035 with flag 1637000/1637000
320.30/319.33	c cleaning 17991 clauses out of 36034 with flag 1655002/1655002
324.30/323.33	c cleaning 17964 clauses out of 36042 with flag 1673001/1673001
328.10/327.19	c cleaning 18020 clauses out of 36078 with flag 1691001/1691001
332.20/331.29	c cleaning 18009 clauses out of 36058 with flag 1709001/1709001
336.30/335.32	c cleaning 17980 clauses out of 36049 with flag 1727001/1727001
340.30/339.31	c cleaning 17994 clauses out of 36068 with flag 1745000/1745000
344.70/343.70	c cleaning 18020 clauses out of 36075 with flag 1763001/1763001
348.31/347.37	c cleaning 17999 clauses out of 36056 with flag 1781002/1781002
352.21/351.29	c cleaning 18000 clauses out of 36056 with flag 1799001/1799001
356.51/355.52	c cleaning 18000 clauses out of 36057 with flag 1817002/1817002
360.51/359.54	c cleaning 18010 clauses out of 36055 with flag 1835000/1835000
364.61/363.60	c cleaning 18016 clauses out of 36046 with flag 1853001/1853001
368.61/367.63	c cleaning 18006 clauses out of 36029 with flag 1871000/1871000
372.62/371.62	c cleaning 17986 clauses out of 36023 with flag 1889000/1889000
377.22/376.25	c cleaning 18016 clauses out of 36037 with flag 1907000/1907000
381.82/380.83	c cleaning 17968 clauses out of 36023 with flag 1925002/1925002
386.03/385.07	c cleaning 18014 clauses out of 36054 with flag 1943001/1943001
390.22/389.28	c cleaning 18007 clauses out of 36040 with flag 1961001/1961001
394.22/393.23	c cleaning 17987 clauses out of 36032 with flag 1979000/1979000
398.42/397.46	c cleaning 17994 clauses out of 36045 with flag 1997000/1997000
403.12/402.13	c cleaning 18025 clauses out of 36054 with flag 2015003/2015003
407.13/406.11	c cleaning 17993 clauses out of 36026 with flag 2033000/2033000
411.23/410.23	c cleaning 17991 clauses out of 36033 with flag 2051000/2051000
415.03/414.01	c cleaning 17997 clauses out of 36042 with flag 2069000/2069000
419.13/418.18	c cleaning 17997 clauses out of 36046 with flag 2087001/2087001
422.83/421.89	c cleaning 18005 clauses out of 36048 with flag 2105000/2105000
426.43/425.50	c cleaning 18017 clauses out of 36044 with flag 2123001/2123001
430.73/429.71	c cleaning 18000 clauses out of 36026 with flag 2141000/2141000
435.23/434.21	c cleaning 17990 clauses out of 36026 with flag 2159000/2159000
439.43/438.41	c cleaning 17989 clauses out of 36036 with flag 2177000/2177000
443.63/442.64	c cleaning 17992 clauses out of 36047 with flag 2195000/2195000
448.04/447.07	c cleaning 18001 clauses out of 36055 with flag 2213000/2213000
452.24/451.29	c cleaning 18009 clauses out of 36057 with flag 2231003/2231003
456.35/455.31	c cleaning 17982 clauses out of 36045 with flag 2249000/2249000
460.45/459.40	c cleaning 18020 clauses out of 36063 with flag 2267000/2267000
464.85/463.81	c cleaning 18010 clauses out of 36043 with flag 2285000/2285000
468.95/467.98	c cleaning 17992 clauses out of 36033 with flag 2303000/2303000
473.15/472.18	c cleaning 18008 clauses out of 36042 with flag 2321001/2321001
477.46/476.49	c cleaning 18007 clauses out of 36035 with flag 2339002/2339002
481.86/480.85	c cleaning 17996 clauses out of 36026 with flag 2357000/2357000
486.16/485.11	c cleaning 17994 clauses out of 36032 with flag 2375002/2375002
489.86/488.80	c cleaning 17990 clauses out of 36037 with flag 2393001/2393001
493.86/492.86	c cleaning 18012 clauses out of 36047 with flag 2411001/2411001
498.56/497.51	c cleaning 17958 clauses out of 36034 with flag 2429000/2429000
503.06/502.07	c cleaning 18018 clauses out of 36076 with flag 2447000/2447000
507.26/506.25	c cleaning 18008 clauses out of 36059 with flag 2465001/2465001
511.56/510.57	c cleaning 18008 clauses out of 36050 with flag 2483000/2483000
515.56/514.53	c cleaning 18009 clauses out of 36042 with flag 2501000/2501000
519.76/518.73	c cleaning 18004 clauses out of 36033 with flag 2519000/2519000
523.97/522.95	c cleaning 17993 clauses out of 36030 with flag 2537001/2537001
528.47/527.45	c cleaning 17989 clauses out of 36036 with flag 2555000/2555000
532.67/531.63	c cleaning 18021 clauses out of 36047 with flag 2573000/2573000
537.27/536.25	c cleaning 17991 clauses out of 36026 with flag 2591000/2591000
541.87/540.85	c cleaning 17979 clauses out of 36036 with flag 2609001/2609001
546.47/545.41	c cleaning 17988 clauses out of 36056 with flag 2627000/2627000
550.67/549.67	c cleaning 18024 clauses out of 36070 with flag 2645002/2645002
555.17/554.19	c cleaning 17997 clauses out of 36044 with flag 2663000/2663000
559.88/558.80	c cleaning 17984 clauses out of 36047 with flag 2681000/2681000
564.58/563.51	c cleaning 18002 clauses out of 36063 with flag 2699000/2699000
568.38/567.38	c cleaning 18021 clauses out of 36061 with flag 2717000/2717000
572.68/571.63	c cleaning 18006 clauses out of 36040 with flag 2735000/2735000
577.08/576.06	c cleaning 18002 clauses out of 36036 with flag 2753002/2753002
581.38/580.32	c cleaning 17977 clauses out of 36032 with flag 2771000/2771000
585.38/584.38	c cleaning 18017 clauses out of 36055 with flag 2789000/2789000
589.89/588.83	c cleaning 18001 clauses out of 36041 with flag 2807003/2807003
594.39/593.30	c cleaning 17993 clauses out of 36037 with flag 2825000/2825000
598.89/597.80	c cleaning 17995 clauses out of 36044 with flag 2843000/2843000
603.39/602.35	c cleaning 17988 clauses out of 36049 with flag 2861000/2861000
607.99/606.97	c cleaning 18006 clauses out of 36063 with flag 2879002/2879002
612.39/611.35	c cleaning 18010 clauses out of 36055 with flag 2897000/2897000
617.00/615.97	c cleaning 18007 clauses out of 36045 with flag 2915000/2915000
621.70/620.60	c cleaning 18008 clauses out of 36038 with flag 2933000/2933000
626.40/625.33	c cleaning 18001 clauses out of 36031 with flag 2951001/2951001
631.30/630.30	c cleaning 17992 clauses out of 36030 with flag 2969001/2969001
635.90/634.82	c cleaning 17993 clauses out of 36037 with flag 2987000/2987000
639.80/638.71	c cleaning 17991 clauses out of 36044 with flag 3005000/3005000
643.80/642.72	c cleaning 18001 clauses out of 36053 with flag 3023000/3023000
647.40/646.30	c cleaning 18011 clauses out of 36052 with flag 3041000/3041000
651.30/650.22	c cleaning 17991 clauses out of 36041 with flag 3059000/3059000
655.70/654.63	c cleaning 17993 clauses out of 36050 with flag 3077000/3077000
660.01/658.92	c cleaning 18003 clauses out of 36059 with flag 3095002/3095002
664.61/663.52	c cleaning 18012 clauses out of 36054 with flag 3113000/3113000
669.21/668.18	c cleaning 17998 clauses out of 36042 with flag 3131000/3131000
673.81/672.71	c cleaning 18008 clauses out of 36045 with flag 3149001/3149001
678.31/677.23	c cleaning 17997 clauses out of 36036 with flag 3167000/3167000
682.81/681.73	c cleaning 17997 clauses out of 36041 with flag 3185002/3185002
687.61/686.57	c cleaning 17990 clauses out of 36043 with flag 3203001/3203001
692.31/691.23	c cleaning 17985 clauses out of 36053 with flag 3221001/3221001
697.02/695.99	c cleaning 18002 clauses out of 36069 with flag 3239002/3239002
701.72/700.65	c cleaning 18001 clauses out of 36066 with flag 3257001/3257001
706.32/705.28	c cleaning 18010 clauses out of 36064 with flag 3275000/3275000
710.72/709.66	c cleaning 18015 clauses out of 36054 with flag 3293000/3293000
714.62/713.59	c cleaning 17989 clauses out of 36039 with flag 3311000/3311000
719.02/717.99	c cleaning 18010 clauses out of 36050 with flag 3329000/3329000
723.52/722.46	c cleaning 18008 clauses out of 36042 with flag 3347002/3347002
728.32/727.22	c cleaning 17981 clauses out of 36032 with flag 3365000/3365000
733.13/732.00	c cleaning 18012 clauses out of 36052 with flag 3383001/3383001
737.53/736.49	c cleaning 18001 clauses out of 36039 with flag 3401000/3401000
741.93/740.80	c cleaning 18003 clauses out of 36039 with flag 3419001/3419001
746.63/745.57	c cleaning 17993 clauses out of 36035 with flag 3437000/3437000
751.43/750.31	c cleaning 18006 clauses out of 36042 with flag 3455000/3455000
755.93/754.87	c cleaning 18007 clauses out of 36036 with flag 3473000/3473000
760.73/759.68	c cleaning 17984 clauses out of 36029 with flag 3491000/3491000
765.73/764.66	c cleaning 18015 clauses out of 36045 with flag 3509000/3509000
770.54/769.44	c cleaning 17992 clauses out of 36032 with flag 3527002/3527002
775.05/773.92	c cleaning 17990 clauses out of 36038 with flag 3545000/3545000
779.65/778.58	c cleaning 17992 clauses out of 36050 with flag 3563002/3563002
784.25/783.14	c cleaning 18006 clauses out of 36056 with flag 3581000/3581000
788.66/787.57	c cleaning 17998 clauses out of 36051 with flag 3599001/3599001
793.06/791.99	c cleaning 18012 clauses out of 36053 with flag 3617001/3617001
797.46/796.36	c cleaning 18018 clauses out of 36041 with flag 3635001/3635001
801.75/800.70	c cleaning 17996 clauses out of 36025 with flag 3653003/3653003
806.15/805.02	c cleaning 17992 clauses out of 36026 with flag 3671000/3671000
810.55/809.49	c cleaning 18000 clauses out of 36035 with flag 3689001/3689001
814.86/813.74	c cleaning 18001 clauses out of 36035 with flag 3707001/3707001
819.36/818.22	c cleaning 18005 clauses out of 36033 with flag 3725000/3725000
823.87/822.79	c cleaning 18000 clauses out of 36030 with flag 3743002/3743002
828.66/827.50	c cleaning 17997 clauses out of 36028 with flag 3761000/3761000
833.06/831.94	c cleaning 18003 clauses out of 36031 with flag 3779000/3779000
837.76/836.62	c cleaning 17978 clauses out of 36028 with flag 3797000/3797000
842.26/841.14	c cleaning 18008 clauses out of 36051 with flag 3815001/3815001
846.57/845.47	c cleaning 18004 clauses out of 36042 with flag 3833000/3833000
851.17/850.08	c cleaning 18001 clauses out of 36039 with flag 3851001/3851001
856.07/854.97	c cleaning 18008 clauses out of 36037 with flag 3869000/3869000
860.77/859.68	c cleaning 17991 clauses out of 36031 with flag 3887002/3887002
865.37/864.26	c cleaning 17989 clauses out of 36038 with flag 3905000/3905000
869.67/868.57	c cleaning 18019 clauses out of 36049 with flag 3923000/3923000
873.87/872.75	c cleaning 17990 clauses out of 36030 with flag 3941000/3941000
877.88/876.77	c cleaning 17980 clauses out of 36041 with flag 3959001/3959001
882.28/881.13	c cleaning 17995 clauses out of 36061 with flag 3977001/3977001
886.48/885.34	c cleaning 17987 clauses out of 36065 with flag 3995000/3995000
890.48/889.36	c cleaning 18022 clauses out of 36078 with flag 4013000/4013000
894.08/892.96	c cleaning 18022 clauses out of 36057 with flag 4031001/4031001
897.88/896.70	c cleaning 18004 clauses out of 36035 with flag 4049001/4049001
901.58/900.43	c cleaning 18012 clauses out of 36031 with flag 4067001/4067001
905.28/904.20	c cleaning 17991 clauses out of 36020 with flag 4085002/4085002
909.58/908.43	c cleaning 17985 clauses out of 36027 with flag 4103000/4103000
913.48/912.38	c cleaning 17995 clauses out of 36044 with flag 4121002/4121002
918.08/916.90	c cleaning 17975 clauses out of 36047 with flag 4139000/4139000
922.58/921.45	c cleaning 18023 clauses out of 36073 with flag 4157001/4157001
927.19/926.02	c cleaning 17995 clauses out of 36050 with flag 4175001/4175001
931.59/930.43	c cleaning 18010 clauses out of 36054 with flag 4193000/4193000
936.09/934.98	c cleaning 18012 clauses out of 36046 with flag 4211002/4211002
940.69/939.52	c cleaning 17997 clauses out of 36032 with flag 4229000/4229000
944.99/943.90	c cleaning 18004 clauses out of 36035 with flag 4247000/4247000
949.59/948.41	c cleaning 17986 clauses out of 36032 with flag 4265001/4265001
954.09/952.90	c cleaning 18006 clauses out of 36047 with flag 4283002/4283002
958.80/957.61	c cleaning 17996 clauses out of 36039 with flag 4301000/4301000
963.20/962.01	c cleaning 18008 clauses out of 36044 with flag 4319001/4319001
967.60/966.47	c cleaning 17990 clauses out of 36035 with flag 4337000/4337000
972.30/971.10	c cleaning 17992 clauses out of 36045 with flag 4355000/4355000
976.91/975.78	c cleaning 17993 clauses out of 36054 with flag 4373001/4373001
981.40/980.21	c cleaning 18017 clauses out of 36060 with flag 4391000/4391000
985.40/984.27	c cleaning 17996 clauses out of 36044 with flag 4409001/4409001
989.50/988.32	c cleaning 18017 clauses out of 36047 with flag 4427000/4427000
993.10/991.93	c cleaning 18001 clauses out of 36030 with flag 4445000/4445000
997.31/996.17	c cleaning 18001 clauses out of 36030 with flag 4463001/4463001
1001.71/1000.53	c cleaning 17985 clauses out of 36028 with flag 4481000/4481000
1006.31/1005.17	c cleaning 18002 clauses out of 36043 with flag 4499000/4499000
1010.61/1009.49	c cleaning 17996 clauses out of 36041 with flag 4517000/4517000
1014.61/1013.45	c cleaning 18008 clauses out of 36045 with flag 4535000/4535000
1018.41/1017.24	c cleaning 18003 clauses out of 36037 with flag 4553000/4553000
1022.31/1021.14	c cleaning 17978 clauses out of 36035 with flag 4571001/4571001
1026.21/1025.10	c cleaning 18016 clauses out of 36059 with flag 4589003/4589003
1030.62/1029.46	c cleaning 18014 clauses out of 36040 with flag 4607000/4607000
1035.32/1034.18	c cleaning 17996 clauses out of 36026 with flag 4625000/4625000
1039.63/1038.43	c cleaning 17998 clauses out of 36030 with flag 4643000/4643000
1044.13/1042.90	c cleaning 17991 clauses out of 36032 with flag 4661000/4661000
1048.33/1047.16	c cleaning 17997 clauses out of 36042 with flag 4679001/4679001
1052.33/1051.14	c cleaning 18000 clauses out of 36044 with flag 4697000/4697000
1056.53/1055.32	c cleaning 18001 clauses out of 36045 with flag 4715001/4715001
1060.93/1059.79	c cleaning 17998 clauses out of 36043 with flag 4733000/4733000
1065.54/1064.30	c cleaning 17986 clauses out of 36045 with flag 4751000/4751000
1070.14/1068.95	c cleaning 18007 clauses out of 36059 with flag 4769000/4769000
1074.54/1073.39	c cleaning 17978 clauses out of 36052 with flag 4787000/4787000
1079.04/1077.83	c cleaning 17993 clauses out of 36076 with flag 4805002/4805002
1083.55/1082.38	c cleaning 18020 clauses out of 36081 with flag 4823000/4823000
1087.44/1086.26	c cleaning 18022 clauses out of 36061 with flag 4841000/4841000
1091.04/1089.88	c cleaning 17997 clauses out of 36039 with flag 4859000/4859000
1095.05/1093.88	c cleaning 18011 clauses out of 36042 with flag 4877000/4877000
1099.05/1097.89	c cleaning 17995 clauses out of 36031 with flag 4895000/4895000
1103.55/1102.31	c cleaning 17998 clauses out of 36036 with flag 4913000/4913000
1107.95/1106.78	c cleaning 17994 clauses out of 36038 with flag 4931000/4931000
1112.05/1110.88	c cleaning 18005 clauses out of 36044 with flag 4949000/4949000
1116.66/1115.44	c cleaning 17979 clauses out of 36039 with flag 4967000/4967000
1121.15/1119.91	c cleaning 18015 clauses out of 36060 with flag 4985000/4985000
1125.15/1123.96	c cleaning 18002 clauses out of 36045 with flag 5003000/5003000
1129.15/1127.95	c cleaning 18005 clauses out of 36043 with flag 5021000/5021000
1133.16/1131.97	c cleaning 18005 clauses out of 36040 with flag 5039002/5039002
1137.36/1136.10	c cleaning 18004 clauses out of 36034 with flag 5057001/5057001
1141.26/1140.06	c cleaning 17993 clauses out of 36029 with flag 5075000/5075000
1145.16/1143.91	c cleaning 17982 clauses out of 36036 with flag 5093000/5093000
1149.26/1148.03	c cleaning 18018 clauses out of 36056 with flag 5111002/5111002
1153.97/1152.73	c cleaning 18007 clauses out of 36036 with flag 5129000/5129000
1157.76/1156.58	c cleaning 18004 clauses out of 36030 with flag 5147001/5147001
1161.77/1160.51	c cleaning 17997 clauses out of 36028 with flag 5165003/5165003
1165.66/1164.41	c cleaning 17985 clauses out of 36028 with flag 5183000/5183000
1169.76/1168.53	c cleaning 17998 clauses out of 36044 with flag 5201001/5201001
1173.96/1172.76	c cleaning 18011 clauses out of 36046 with flag 5219001/5219001
1177.77/1176.58	c cleaning 18007 clauses out of 36035 with flag 5237001/5237001
1181.77/1180.53	c cleaning 17997 clauses out of 36029 with flag 5255002/5255002
1185.87/1184.65	c cleaning 17996 clauses out of 36031 with flag 5273001/5273001
1189.77/1188.57	c cleaning 18003 clauses out of 36034 with flag 5291000/5291000
1193.57/1192.31	c cleaning 17973 clauses out of 36031 with flag 5309000/5309000
1197.57/1196.34	c cleaning 18013 clauses out of 36059 with flag 5327001/5327001
1201.17/1199.92	c cleaning 18009 clauses out of 36045 with flag 5345000/5345000
1205.27/1204.04	c cleaning 17999 clauses out of 36036 with flag 5363000/5363000
1209.08/1207.86	c cleaning 17986 clauses out of 36037 with flag 5381000/5381000
1212.77/1211.50	c cleaning 18006 clauses out of 36051 with flag 5399000/5399000
1216.38/1215.14	c cleaning 18004 clauses out of 36045 with flag 5417000/5417000
1220.49/1219.24	c cleaning 17999 clauses out of 36042 with flag 5435001/5435001
1224.19/1222.95	c cleaning 17999 clauses out of 36042 with flag 5453000/5453000
1227.69/1226.42	c cleaning 18000 clauses out of 36043 with flag 5471000/5471000
1231.39/1230.19	c cleaning 18012 clauses out of 36046 with flag 5489003/5489003
1235.79/1234.55	c cleaning 17995 clauses out of 36031 with flag 5507000/5507000
1240.10/1238.85	c cleaning 17999 clauses out of 36037 with flag 5525001/5525001
1244.20/1242.98	c cleaning 18009 clauses out of 36038 with flag 5543001/5543001
1248.10/1246.82	c cleaning 17996 clauses out of 36028 with flag 5561000/5561000
1251.91/1250.62	c cleaning 18001 clauses out of 36032 with flag 5579000/5579000
1256.00/1254.74	c cleaning 18005 clauses out of 36032 with flag 5597001/5597001
1260.50/1259.28	c cleaning 18001 clauses out of 36026 with flag 5615000/5615000
1264.81/1263.52	c cleaning 17995 clauses out of 36025 with flag 5633000/5633000
1269.11/1267.83	c cleaning 17992 clauses out of 36030 with flag 5651000/5651000
1273.01/1271.70	c cleaning 17998 clauses out of 36038 with flag 5669000/5669000
1277.32/1276.04	c cleaning 18006 clauses out of 36041 with flag 5687001/5687001
1281.72/1280.44	c cleaning 18007 clauses out of 36034 with flag 5705000/5705000
1285.71/1284.48	c cleaning 17984 clauses out of 36027 with flag 5723000/5723000
1290.11/1288.85	c cleaning 18003 clauses out of 36044 with flag 5741001/5741001
1294.22/1293.00	c cleaning 18009 clauses out of 36041 with flag 5759001/5759001
1298.42/1297.13	c cleaning 17999 clauses out of 36031 with flag 5777000/5777000
1301.32/1300.01	c starts		: 2210
1301.32/1300.01	c conflicts		: 5789768
1301.32/1300.01	c decisions		: 12924705
1301.32/1300.01	c propagations		: 457772400
1301.32/1300.01	c inspects		: 15032012197
1301.32/1300.01	c shortcuts		: 0
1301.32/1300.01	c learnt literals	: 1
1301.32/1300.01	c learnt binary clauses	: 540
1301.32/1300.01	c learnt ternary clauses	: 2693
1301.32/1300.01	c learnt constraints	: 5789767
1301.32/1300.01	c ignored constraints	: 0
1301.32/1300.01	c root simplifications	: 2211
1301.32/1300.01	c removed literals (reason simplification)	: 116380199
1301.32/1300.01	c reason swapping (by a shorter reason)	: 0
1301.32/1300.01	c Calls to reduceDB	: 326
1301.32/1300.01	c speed (assignments/second)	: 352183.2755942585
1301.32/1300.01	c non guided choices	2808271
1301.32/1300.04	c learnt constraints type 
1301.32/1300.04	c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 539
1301.32/1300.04	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 30346
1301.32/1300.04	c constraints type 
1301.32/1300.04	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 16579
1301.32/1300.04	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 1058
1301.32/1300.04	s UNKNOWN
1301.32/1300.04	c Total wall clock time (in seconds) : 1299.916

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

running on 2 cores: 0,2

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: 2.40 2.84 2.61 3/213 11649
/proc/meminfo: memFree=16904404/32951124 swapFree=67111528/67111528
[pid=11649] ppid=11647 vsize=30528 CPUtime=0 cores=0,2
/proc/11649/stat : 11649 (java) S 11647 11649 11570 0 -1 4202496 1248 0 0 0 0 0 0 0 25 0 2 0 548377686 31260672 966 33554432000 1073741824 1073778376 140736744160848 18446744073709551615 260032198629 0 0 4096 0 18446744073709551615 0 0 17 0 0 0 0
/proc/11649/statm: 7632 966 739 9 0 383 0
[pid=11649/tid=11650] ppid=11647 vsize=30528 CPUtime=0 cores=0,2
/proc/11649/task/11650/stat : 11650 (java) R 11647 11649 11570 0 -1 4202560 132 0 0 0 0 0 0 0 25 0 2 0 548377686 31260672 966 33554432000 1073741824 1073778376 140736744160848 18446744073709551615 260020395776 0 0 4096 0 0 0 0 -1 0 0 0 0

[startup+0.095262 s]
/proc/loadavg: 2.40 2.84 2.61 3/213 11649
/proc/meminfo: memFree=16904404/32951124 swapFree=67111528/67111528
[pid=11649] ppid=11647 vsize=7569940 CPUtime=0.09 cores=0,2
/proc/11649/stat : 11649 (java) S 11647 11649 11570 0 -1 4202496 9649 0 1 0 8 1 0 0 25 0 18 0 548377686 7751618560 9344 33554432000 1073741824 1073778376 140736744160848 18446744073709551615 260032198629 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/11649/statm: 1892485 9344 1754 9 0 1883223 0
[pid=11649/tid=11650] ppid=11647 vsize=7569940 CPUtime=0.08 cores=0,2
/proc/11649/task/11650/stat : 11650 (java) R 11647 11649 11570 0 -1 4202560 8473 0 1 0 7 1 0 0 25 0 18 0 548377686 7751618560 9345 33554432000 1073741824 1073778376 140736744160848 18446744073709551615 46921550334803 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 7569940

[startup+0.125239 s]
/proc/loadavg: 2.40 2.84 2.61 3/213 11649
/proc/meminfo: memFree=16904404/32951124 swapFree=67111528/67111528
[pid=11649] ppid=11647 vsize=7636900 CPUtime=0.15 cores=0,2
/proc/11649/stat : 11649 (java) S 11647 11649 11570 0 -1 4202496 10666 0 1 0 14 1 0 0 25 0 18 0 548377686 7820185600 10361 33554432000 1073741824 1073778376 140736744160848 18446744073709551615 260032198629 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/11649/statm: 1909225 10361 2137 9 0 1899963 0
[pid=11649/tid=11650] ppid=11647 vsize=7636900 CPUtime=0.11 cores=0,2
/proc/11649/task/11650/stat : 11650 (java) R 11647 11649 11570 0 -1 4202560 8738 0 1 0 10 1 0 0 18 0 18 0 548377686 7820185600 10361 33554432000 1073741824 1073778376 140736744160848 18446744073709551615 46912505205044 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.15
Current children cumulated vsize (KiB) 7636900

[startup+0.300178 s]
/proc/loadavg: 2.40 2.84 2.61 3/213 11649
/proc/meminfo: memFree=16904404/32951124 swapFree=67111528/67111528
[pid=11649] ppid=11647 vsize=7640612 CPUtime=0.49 cores=0,2
/proc/11649/stat : 11649 (java) S 11647 11649 11570 0 -1 4202496 12247 0 1 0 48 1 0 0 25 0 19 0 548377686 7823986688 11678 33554432000 1073741824 1073778376 140736744160848 18446744073709551615 260032198629 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/11649/statm: 1910153 11678 2217 9 0 1900891 0
[pid=11649/tid=11650] ppid=11647 vsize=7640612 CPUtime=0.29 cores=0,2
/proc/11649/task/11650/stat : 11650 (java) R 11647 11649 11570 0 -1 4202560 9295 0 1 0 28 1 0 0 19 0 19 0 548377686 7823986688 11678 33554432000 1073741824 1073778376 140736744160848 18446744073709551615 46912505217836 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 7640612

[startup+0.701073 s]
/proc/loadavg: 2.40 2.84 2.61 3/213 11649
/proc/meminfo: memFree=16904404/32951124 swapFree=67111528/67111528
[pid=11649] ppid=11647 vsize=7649652 CPUtime=1.18 cores=0,2
/proc/11649/stat : 11649 (java) S 11647 11649 11570 0 -1 4202496 17340 0 1 0 116 2 0 0 25 0 19 0 548377686 7833243648 15638 33554432000 1073741824 1073778376 140736744160848 18446744073709551615 260032198629 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/11649/statm: 1912413 15638 2252 9 0 1903151 0
[pid=11649/tid=11650] ppid=11647 vsize=7649652 CPUtime=0.66 cores=0,2
/proc/11649/task/11650/stat : 11650 (java) R 11647 11649 11570 0 -1 4202560 9576 0 1 0 65 1 0 0 19 0 19 0 548377686 7833243648 15638 33554432000 1073741824 1073778376 140736744160848 18446744073709551615 46912505579391 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.18
Current children cumulated vsize (KiB) 7649652

[startup+1.50101 s]
/proc/loadavg: 2.40 2.84 2.61 7/262 11703
/proc/meminfo: memFree=16701528/32951124 swapFree=67111528/67111528
[pid=11649] ppid=11647 vsize=7662024 CPUtime=2.36 cores=0,2
/proc/11649/stat : 11649 (java) S 11647 11649 11570 0 -1 4202496 21575 0 1 0 233 3 0 0 25 0 19 0 548377686 7845912576 18946 33554432000 1073741824 1073778376 140736744160848 18446744073709551615 260032198629 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/11649/statm: 1915506 18946 2254 9 0 1906244 0
[pid=11649/tid=11650] ppid=11647 vsize=7662024 CPUtime=1.43 cores=0,2
/proc/11649/task/11650/stat : 11650 (java) R 11647 11649 11570 0 -1 4202560 9578 0 1 0 142 1 0 0 20 0 19 0 548377686 7845912576 18946 33554432000 1073741824 1073778376 140736744160848 18446744073709551615 46912505600060 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=11649/tid=11657] ppid=11647 vsize=7662024 CPUtime=0 cores=0,2
/proc/11649/task/11657/stat : 11657 (java) S 11647 11649 11570 0 -1 4202560 149 0 0 0 0 0 0 0 15 0 19 0 548377688 7845912576 18946 33554432000 1073741824 1073778376 140736744160848 18446744073709551615 260032211865 0 4 0 16800975 18446604447827293504 0 0 -1 0 0 0 0
[pid=11649/tid=11658] ppid=11647 vsize=7662024 CPUtime=0 cores=0,2
/proc/11649/task/11658/stat : 11658 (java) S 11647 11649 11570 0 -1 4202560 30 0 0 0 0 0 0 0 15 0 19 0 548377688 7845912576 18946 33554432000 1073741824 1073778376 140736744160848 18446744073709551615 260032211865 0 4 0 16800975 18446604447827293504 0 0 -1 0 0 0 0
[pid=11649/tid=11659] ppid=11647 vsize=7662024 CPUtime=0 cores=0,2
/proc/11649/task/11659/stat : 11659 (java) S 11647 11649 11570 0 -1 4202560 267 0 0 0 0 0 0 0 15 0 19 0 548377688 7845912576 18946 33554432000 1073741824 1073778376 140736744160848 18446744073709551615 260032211865 0 4 0 16800975 18446604447827293504 0 0 -1 0 0 0 0
[pid=11649/tid=11660] ppid=11647 vsize=7662024 CPUtime=0 cores=0,2
/proc/11649/task/11660/stat : 11660 (java) S 11647 11649 11570 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 19 0 548377688 7845912576 18946 33554432000 1073741824 1073778376 140736744160848 18446744073709551615 260032211865 0 4 0 16800975 18446604447827293504 0 0 -1 0 0 0 0
[pid=11649/tid=11661] ppid=11647 vsize=7662024 CPUtime=0 cores=0,2
/proc/11649/task/11661/stat : 11661 (java) S 11647 11649 11570 0 -1 4202560 311 0 0 0 0 0 0 0 15 0 19 0 548377688 7845912576 18946 33554432000 1073741824 1073778376 140736744160848 18446744073709551615 260032211865 0 4 0 16800975 18446604447827293504 0 0 -1 0 0 0 0
[pid=11649/tid=11662] ppid=11647 vsize=7662024 CPUtime=0 cores=0,2
/proc/11649/task/11662/stat : 11662 (java) S 11647 11649 11570 0 -1 4202560 138 0 0 0 0 0 0 0 16 0 19 0 548377688 7845912576 18946 33554432000 1073741824 1073778376 140736744160848 18446744073709551615 260032211865 0 4 0 16800975 18446604447827293504 0 0 -1 0 0 0 0
[pid=11649/tid=11663] ppid=11647 vsize=7662024 CPUtime=0 cores=0,2
/proc/11649/task/11663/stat : 11663 (java) S 11647 11649 11570 0 -1 4202560 111 0 0 0 0 0 0 0 15 0 19 0 548377688 7845912576 18946 33554432000 1073741824 1073778376 140736744160848 18446744073709551615 260032211865 0 4 0 16800975 18446604447827293504 0 0 -1 0 0 0 0
[pid=11649/tid=11664] ppid=11647 vsize=7662024 CPUtime=0 cores=0,2
/proc/11649/task/11664/stat : 11664 (java) S 11647 11649 11570 0 -1 4202560 1 0 0 0 0 0 0 0 16 0 19 0 548377688 7845912576 18946 33554432000 1073741824 1073778376 140736744160848 18446744073709551615 260032211865 0 4 0 16800975 18446604447827293504 0 0 -1 0 0 0 0
[pid=11649/tid=11665] ppid=11647 vsize=7662024 CPUtime=0.04 cores=0,2
/proc/11649/task/11665/stat : 11665 (java) S 11647 11649 11570 0 -1 4202560 1020 0 0 0 4 0 0 0 15 0 19 0 548377689 7845912576 18946 33554432000 1073741824 1073778376 140736744160848 18446744073709551615 260032212480 0 0 0 16800975 18446604447827293504 0 0 -1 2 0 0 0
[pid=11649/tid=11666] ppid=11647 vsize=7662024 CPUtime=0 cores=0,2
/proc/11649/task/11666/stat : 11666 (java) S 11647 11649 11570 0 -1 4202560 17 0 0 0 0 0 0 0 19 0 19 0 548377689 7845912576 18946 33554432000 1073741824 1073778376 140736744160848 18446744073709551615 260032211865 0 4 0 16800975 18446604447827293504 0 0 -1 0 0 0 0
[pid=11649/tid=11667] ppid=11647 vsize=7662024 CPUtime=0 cores=0,2
/proc/11649/task/11667/stat : 11667 (java) S 11647 11649 11570 0 -1 4202560 9 0 0 0 0 0 0 0 19 0 19 0 548377689 7845912576 18946 33554432000 1073741824 1073778376 140736744160848 18446744073709551615 260032211865 0 4 0 16800975 18446604447827293504 0 0 -1 0 0 0 0
[pid=11649/tid=11668] ppid=11647 vsize=7662024 CPUtime=0 cores=0,2
/proc/11649/task/11668/stat : 11668 (java) S 11647 11649 11570 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 548377692 7845912576 18946 33554432000 1073741824 1073778376 140736744160848 18446744073709551615 260032219569 0 4 0 16800975 18446604447827293504 0 0 -1 0 0 0 0
[pid=11649/tid=11669] ppid=11647 vsize=7662024 CPUtime=0.54 cores=0,2
/proc/11649/task/11669/stat : 11669 (java) S 11647 11649 11570 0 -1 4202560 7033 0 0 0 54 0 0 0 22 0 19 0 548377692 7845912576 18946 33554432000 1073741824 1073778376 140736744160848 18446744073709551615 260032211865 0 4 0 16800975 18446604447827293504 0 0 -1 2 0 0 0
[pid=11649/tid=11670] ppid=11647 vsize=7662024 CPUtime=0.29 cores=0,2
/proc/11649/task/11670/stat : 11670 (java) S 11647 11649 11570 0 -1 4202560 1781 0 0 0 29 0 0 0 20 0 19 0 548377692 7845912576 18946 33554432000 1073741824 1073778376 140736744160848 18446744073709551615 260032211865 0 4 0 16800975 18446604447827293504 0 0 -1 2 0 0 0
[pid=11649/tid=11671] ppid=11647 vsize=7662024 CPUtime=0 cores=0,2
/proc/11649/task/11671/stat : 11671 (java) S 11647 11649 11570 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 548377692 7845912576 18946 33554432000 1073741824 1073778376 140736744160848 18446744073709551615 260032211865 0 4 0 16800975 18446604447827293504 0 0 -1 0 0 0 0
[pid=11649/tid=11672] ppid=11647 vsize=7662024 CPUtime=0 cores=0,2
/proc/11649/task/11672/stat : 11672 (java) S 11647 11649 11570 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 548377692 7845912576 18946 33554432000 1073741824 1073778376 140736744160848 18446744073709551615 260032212480 0 4 0 16800975 18446604447827293504 0 0 -1 2 0 0 0
[pid=11649/tid=11675] ppid=11647 vsize=7662024 CPUtime=0 cores=0,2
/proc/11649/task/11675/stat : 11675 (java) S 11647 11649 11570 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 548377707 7845912576 18946 33554432000 1073741824 1073778376 140736744160848 18446744073709551615 260032212480 0 4 0 16800975 18446604447827293504 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2.36
Current children cumulated vsize (KiB) 7662024

[startup+3.10072 s]
/proc/loadavg: 2.40 2.84 2.61 5/262 11703
/proc/meminfo: memFree=16686648/32951124 swapFree=67111528/67111528
[pid=11649] ppid=11647 vsize=7662024 CPUtime=3.97 cores=0,2
/proc/11649/stat : 11649 (java) S 11647 11649 11570 0 -1 4202496 21856 0 1 0 394 3 0 0 25 0 19 0 548377686 7845912576 19224 33554432000 1073741824 1073778376 140736744160848 18446744073709551615 260032198629 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/11649/statm: 1915506 19224 2254 9 0 1906244 0
[pid=11649/tid=11650] ppid=11647 vsize=7662024 CPUtime=2.96 cores=0,2
/proc/11649/task/11650/stat : 11650 (java) R 11647 11649 11570 0 -1 4202560 9580 0 1 0 295 1 0 0 25 0 19 0 548377686 7845912576 19224 33554432000 1073741824 1073778376 140736744160848 18446744073709551615 46912505598729 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=11649/tid=11657] ppid=11647 vsize=7662024 CPUtime=0 cores=0,2
/proc/11649/task/11657/stat : 11657 (java) S 11647 11649 11570 0 -1 4202560 149 0 0 0 0 0 0 0 15 0 19 0 548377688 7845912576 19224 33554432000 1073741824 1073778376 140736744160848 18446744073709551615 260032211865 0 4 0 16800975 18446604447827293504 0 0 -1 0 0 0 0
[pid=11649/tid=11658] ppid=11647 vsize=7662024 CPUtime=0 cores=0,2
/proc/11649/task/11658/stat : 11658 (java) S 11647 11649 11570 0 -1 4202560 31 0 0 0 0 0 0 0 16 0 19 0 548377688 7845912576 19224 33554432000 1073741824 1073778376 140736744160848 18446744073709551615 260032211865 0 4 0 16800975 18446604447827293504 0 0 -1 0 0 0 0
[pid=11649/tid=11659] ppid=11647 vsize=7662024 CPUtime=0 cores=0,2
/proc/11649/task/11659/stat : 11659 (java) S 11647 11649 11570 0 -1 4202560 267 0 0 0 0 0 0 0 15 0 19 0 548377688 7845912576 19224 33554432000 1073741824 1073778376 140736744160848 18446744073709551615 260032211865 0 4 0 16800975 18446604447827293504 0 0 -1 0 0 0 0
[pid=11649/tid=11660] ppid=11647 vsize=7662024 CPUtime=0 cores=0,2
/proc/11649/task/11660/stat : 11660 (java) S 11647 11649 11570 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 19 0 548377688 7845912576 19224 33554432000 1073741824 1073778376 140736744160848 18446744073709551615 260032211865 0 4 0 16800975 18446604447827293504 0 0 -1 0 0 0 0
[pid=11649/tid=11661] ppid=11647 vsize=7662024 CPUtime=0 cores=0,2
/proc/11649/task/11661/stat : 11661 (java) S 11647 11649 11570 0 -1 4202560 315 0 0 0 0 0 0 0 15 0 19 0 548377688 7845912576 19224 33554432000 1073741824 1073778376 140736744160848 18446744073709551615 260032211865 0 4 0 16800975 18446604447827293504 0 0 -1 0 0 0 0
[pid=11649/tid=11662] ppid=11647 vsize=7662024 CPUtime=0 cores=0,2
/proc/11649/task/11662/stat : 11662 (java) S 11647 11649 11570 0 -1 4202560 186 0 0 0 0 0 0 0 15 0 19 0 548377688 7845912576 19224 33554432000 1073741824 1073778376 140736744160848 18446744073709551615 260032211865 0 4 0 16800975 18446604447827293504 0 0 -1 0 0 0 0
[pid=11649/tid=11663] ppid=11647 vsize=7662024 CPUtime=0 cores=0,2
/proc/11649/task/11663/stat : 11663 (java) S 11647 11649 11570 0 -1 4202560 156 0 0 0 0 0 0 0 15 0 19 0 548377688 7845912576 19224 33554432000 1073741824 1073778376 140736744160848 18446744073709551615 260032211865 0 4 0 16800975 18446604447827293504 0 0 -1 0 0 0 0
[pid=11649/tid=11664] ppid=11647 vsize=7662024 CPUtime=0 cores=0,2
/proc/11649/task/11664/stat : 11664 (java) S 11647 11649 11570 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 548377688 7845912576 19224 33554432000 1073741824 1073778376 140736744160848 18446744073709551615 260032211865 0 4 0 16800975 18446604447827293504 0 0 -1 0 0 0 0
[pid=11649/tid=11665] ppid=11647 vsize=7662024 CPUtime=0.09 cores=0,2
/proc/11649/task/11665/stat : 11665 (java) S 11647 11649 11570 0 -1 4202560 1199 0 0 0 9 0 0 0 15 0 19 0 548377689 7845912576 19224 33554432000 1073741824 1073778376 140736744160848 18446744073709551615 260032212480 0 0 0 16800975 18446604447827293504 0 0 -1 2 0 0 0
[pid=11649/tid=11666] ppid=11647 vsize=7662024 CPUtime=0 cores=0,2
/proc/11649/task/11666/stat : 11666 (java) S 11647 11649 11570 0 -1 4202560 17 0 0 0 0 0 0 0 19 0 19 0 548377689 7845912576 19224 33554432000 1073741824 1073778376 140736744160848 18446744073709551615 260032211865 0 4 0 16800975 18446604447827293504 0 0 -1 0 0 0 0
[pid=11649/tid=11667] ppid=11647 vsize=7662024 CPUtime=0 cores=0,2
/proc/11649/task/11667/stat : 11667 (java) S 11647 11649 11570 0 -1 4202560 9 0 0 0 0 0 0 0 19 0 19 0 548377689 7845912576 19224 33554432000 1073741824 1073778376 140736744160848 18446744073709551615 260032211865 0 4 0 16800975 18446604447827293504 0 0 -1 0 0 0 0
[pid=11649/tid=11668] ppid=11647 vsize=7662024 CPUtime=0 cores=0,2
/proc/11649/task/11668/stat : 11668 (java) S 11647 11649 11570 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 548377692 7845912576 19224 33554432000 1073741824 1073778376 140736744160848 18446744073709551615 260032219569 0 4 0 16800975 18446604447827293504 0 0 -1 0 0 0 0
[pid=11649/tid=11669] ppid=11647 vsize=7662024 CPUtime=0.56 cores=0,2
/proc/11649/task/11669/stat : 11669 (java) S 11647 11649 11570 0 -1 4202560 7035 0 0 0 56 0 0 0 19 0 19 0 548377692 7845912576 19224 33554432000 1073741824 1073778376 140736744160848 18446744073709551615 260032211865 0 4 0 16800975 18446604447827293504 0 0 -1 2 0 0 0
[pid=11649/tid=11670] ppid=11647 vsize=7662024 CPUtime=0.29 cores=0,2
/proc/11649/task/11670/stat : 11670 (java) S 11647 11649 11570 0 -1 4202560 1781 0 0 0 29 0 0 0 20 0 19 0 548377692 7845912576 19224 33554432000 1073741824 1073778376 140736744160848 18446744073709551615 260032211865 0 4 0 16800975 18446604447827293504 0 0 -1 2 0 0 0
[pid=11649/tid=11671] ppid=11647 vsize=7662024 CPUtime=0 cores=0,2
/proc/11649/task/11671/stat : 11671 (java) S 11647 11649 11570 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 548377692 7845912576 19224 33554432000 1073741824 1073778376 140736744160848 18446744073709551615 260032211865 0 4 0 16800975 18446604447827293504 0 0 -1 0 0 0 0
[pid=11649/tid=11672] ppid=11647 vsize=7662024 CPUtime=0 cores=0,2
/proc/11649/task/11672/stat : 11672 (java) S 11647 11649 11570 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 548377692 7845912576 19224 33554432000 1073741824 1073778376 140736744160848 18446744073709551615 260032212480 0 4 0 16800975 18446604447827293504 0 0 -1 0 0 0 0
[pid=11649/tid=11675] ppid=11647 vsize=7662024 CPUtime=0 cores=0,2
/proc/11649/task/11675/stat : 11675 (java) S 11647 11649 11570 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 548377707 7845912576 19224 33554432000 1073741824 1073778376 140736744160848 18446744073709551615 260032212480 0 4 0 16800975 18446604447827293504 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3.97
Current children cumulated vsize (KiB) 7662024

[startup+6.30114 s]
/proc/loadavg: 2.61 2.88 2.62 5/262 11703
/proc/meminfo: memFree=16691620/32951124 swapFree=67111528/67111528
[pid=11649] ppid=11647 vsize=7651604 CPUtime=7.17 cores=0,2
/proc/11649/stat : 11649 (java) S 11647 11649 11570 0 -1 4202496 21949 0 1 0 714 3 0 0 25 0 19 0 548377686 7835242496 17179 33554432000 1073741824 1073778376 140736744160848 18446744073709551615 260032198629 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/11649/statm: 1912901 17179 2254 9 0 1903639 0
[pid=11649/tid=11650] ppid=11647 vsize=7651604 CPUtime=6.1 cores=0,2
/proc/11649/task/11650/stat : 11650 (java) R 11647 11649 11570 0 -1 4202560 9585 0 1 0 609 1 0 0 25 0 19 0 548377686 7835242496 17179 33554432000 1073741824 1073778376 140736744160848 18446744073709551615 46912505598897 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=11649/tid=11657] ppid=11647 vsize=7651604 CPUtime=0 cores=0,2
/proc/11649/task/11657/stat : 11657 (java) S 11647 11649 11570 0 -1 4202560 149 0 0 0 0 0 0 0 15 0 19 0 548377688 7835242496 17179 33554432000 1073741824 1073778376 140736744160848 18446744073709551615 260032211865 0 4 0 16800975 18446604447827293504 0 0 -1 2 0 0 0
[pid=11649/tid=11658] ppid=11647 vsize=7651604 CPUtime=0 cores=0,2
/proc/11649/task/11658/stat : 11658 (java) S 11647 11649 11570 0 -1 4202560 33 0 0 0 0 0 0 0 15 0 19 0 548377688 7835242496 17179 33554432000 1073741824 1073778376 140736744160848 18446744073709551615 260032211865 0 4 0 16800975 18446604447827293504 0 0 -1 2 0 0 0
[pid=11649/tid=11659] ppid=11647 vsize=7651604 CPUtime=0 cores=0,2
/proc/11649/task/11659/stat : 11659 (java) S 11647 11649 11570 0 -1 4202560 267 0 0 0 0 0 0 0 15 0 19 0 548377688 7835242496 17179 33554432000 1073741824 1073778376 140736744160848 18446744073709551615 260032211865 0 4 0 16800975 18446604447827293504 0 0 -1 2 0 0 0
[pid=11649/tid=11660] ppid=11647 vsize=7651604 CPUtime=0 cores=0,2
/proc/11649/task/11660/stat : 11660 (java) S 11647 11649 11570 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 19 0 548377688 7835242496 17179 33554432000 1073741824 1073778376 140736744160848 18446744073709551615 260032211865 0 4 0 16800975 18446604447827293504 0 0 -1 2 0 0 0
[pid=11649/tid=11661] ppid=11647 vsize=7651604 CPUtime=0.01 cores=0,2
/proc/11649/task/11661/stat : 11661 (java) S 11647 11649 11570 0 -1 4202560 317 0 0 0 1 0 0 0 15 0 19 0 548377688 7835242496 17179 33554432000 1073741824 1073778376 140736744160848 18446744073709551615 260032211865 0 4 0 16800975 18446604447827293504 0 0 -1 2 0 0 0
[pid=11649/tid=11662] ppid=11647 vsize=7651604 CPUtime=0 cores=0,2
/proc/11649/task/11662/stat : 11662 (java) S 11647 11649 11570 0 -1 4202560 187 0 0 0 0 0 0 0 15 0 19 0 548377688 7835242496 17179 33554432000 1073741824 1073778376 140736744160848 18446744073709551615 260032211865 0 4 0 16800975 18446604447827293504 0 0 -1 0 0 0 0
[pid=11649/tid=11663] ppid=11647 vsize=7651604 CPUtime=0 cores=0,2
/proc/11649/task/11663/stat : 11663 (java) S 11647 11649 11570 0 -1 4202560 156 0 0 0 0 0 0 0 15 0 19 0 548377688 7835242496 17179 33554432000 1073741824 1073778376 140736744160848 18446744073709551615 260032211865 0 4 0 16800975 18446604447827293504 0 0 -1 2 0 0 0
[pid=11649/tid=11664] ppid=11647 vsize=7651604 CPUtime=0 cores=0,2
/proc/11649/task/11664/stat : 11664 (java) S 11647 11649 11570 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 548377688 7835242496 17179 33554432000 1073741824 1073778376 140736744160848 18446744073709551615 260032211865 0 4 0 16800975 18446604447827293504 0 0 -1 2 0 0 0
[pid=11649/tid=11665] ppid=11647 vsize=7651604 CPUtime=0.15 cores=0,2
/proc/11649/task/11665/stat : 11665 (java) S 11647 11649 11570 0 -1 4202560 1282 0 0 0 15 0 0 0 16 0 19 0 548377689 7835242496 17179 33554432000 1073741824 1073778376 140736744160848 18446744073709551615 260032212480 0 0 0 16800975 18446604447827293504 0 0 -1 0 0 0 0
[pid=11649/tid=11666] ppid=11647 vsize=7651604 CPUtime=0 cores=0,2
/proc/11649/task/11666/stat : 11666 (java) S 11647 11649 11570 0 -1 4202560 17 0 0 0 0 0 0 0 19 0 19 0 548377689 7835242496 17179 33554432000 1073741824 1073778376 140736744160848 18446744073709551615 260032211865 0 4 0 16800975 18446604447827293504 0 0 -1 0 0 0 0
[pid=11649/tid=11667] ppid=11647 vsize=7651604 CPUtime=0 cores=0,2
/proc/11649/task/11667/stat : 11667 (java) S 11647 11649 11570 0 -1 4202560 9 0 0 0 0 0 0 0 19 0 19 0 548377689 7835242496 17179 33554432000 1073741824 1073778376 140736744160848 18446744073709551615 260032211865 0 4 0 16800975 18446604447827293504 0 0 -1 0 0 0 0
[pid=11649/tid=11668] ppid=11647 vsize=7651604 CPUtime=0 cores=0,2
/proc/11649/task/11668/stat : 11668 (java) S 11647 11649 11570 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 548377692 7835242496 17179 33554432000 1073741824 1073778376 140736744160848 18446744073709551615 260032219569 0 4 0 16800975 18446604447827293504 0 0 -1 0 0 0 0
[pid=11649/tid=11669] ppid=11647 vsize=7651604 CPUtime=0.56 cores=0,2
/proc/11649/task/11669/stat : 11669 (java) S 11647 11649 11570 0 -1 4202560 7035 0 0 0 56 0 0 0 19 0 19 0 548377692 7835242496 17179 33554432000 1073741824 1073778376 140736744160848 18446744073709551615 260032211865 0 4 0 16800975 18446604447827293504 0 0 -1 2 0 0 0
[pid=11649/tid=11670] ppid=11647 vsize=7651604 CPUtime=0.29 cores=0,2
/proc/11649/task/11670/stat : 11670 (java) S 11647 11649 11570 0 -1 4202560 1781 0 0 0 29 0 0 0 20 0 19 0 548377692 7835242496 17179 33554432000 1073741824 1073778376 140736744160848 18446744073709551615 260032211865 0 4 0 16800975 18446604447827293504 0 0 -1 2 0 0 0

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

[pid=11649/tid=11662] ppid=11647 vsize=7651604 CPUtime=0.11 cores=0,2
/proc/11649/task/11662/stat : 11662 (java) S 11647 11649 11570 0 -1 4202560 358 0 0 0 11 0 0 0 15 0 19 0 548377688 7835242496 18416 33554432000 1073741824 1073778376 140736744160848 18446744073709551615 260032211865 0 4 0 16800975 18446604447827293504 0 0 -1 2 0 0 0
[pid=11649/tid=11663] ppid=11647 vsize=7651604 CPUtime=0.14 cores=0,2
/proc/11649/task/11663/stat : 11663 (java) S 11647 11649 11570 0 -1 4202560 221 0 0 0 14 0 0 0 15 0 19 0 548377688 7835242496 18416 33554432000 1073741824 1073778376 140736744160848 18446744073709551615 260032211865 0 4 0 16800975 18446604447827293504 0 0 -1 2 0 0 0
[pid=11649/tid=11664] ppid=11647 vsize=7651604 CPUtime=0.11 cores=0,2
/proc/11649/task/11664/stat : 11664 (java) S 11647 11649 11570 0 -1 4202560 14 0 0 0 11 0 0 0 15 0 19 0 548377688 7835242496 18416 33554432000 1073741824 1073778376 140736744160848 18446744073709551615 260032211865 0 4 0 16800975 18446604447827293504 0 0 -1 2 0 0 0
[pid=11649/tid=11665] ppid=11647 vsize=7651604 CPUtime=6.51 cores=0,2
/proc/11649/task/11665/stat : 11665 (java) S 11647 11649 11570 0 -1 4202560 2281 0 0 0 648 3 0 0 15 0 19 0 548377689 7835242496 18416 33554432000 1073741824 1073778376 140736744160848 18446744073709551615 260032212480 0 0 0 16800975 18446604447827293504 0 0 -1 0 0 0 0
[pid=11649/tid=11666] ppid=11647 vsize=7651604 CPUtime=0 cores=0,2
/proc/11649/task/11666/stat : 11666 (java) S 11647 11649 11570 0 -1 4202560 17 0 0 0 0 0 0 0 19 0 19 0 548377689 7835242496 18416 33554432000 1073741824 1073778376 140736744160848 18446744073709551615 260032211865 0 4 0 16800975 18446604447827293504 0 0 -1 0 0 0 0
[pid=11649/tid=11667] ppid=11647 vsize=7651604 CPUtime=0 cores=0,2
/proc/11649/task/11667/stat : 11667 (java) S 11647 11649 11570 0 -1 4202560 9 0 0 0 0 0 0 0 19 0 19 0 548377689 7835242496 18416 33554432000 1073741824 1073778376 140736744160848 18446744073709551615 260032211865 0 4 0 16800975 18446604447827293504 0 0 -1 0 0 0 0
[pid=11649/tid=11668] ppid=11647 vsize=7651604 CPUtime=0 cores=0,2
/proc/11649/task/11668/stat : 11668 (java) S 11647 11649 11570 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 548377692 7835242496 18416 33554432000 1073741824 1073778376 140736744160848 18446744073709551615 260032219569 0 4 0 16800975 18446604447827293504 0 0 -1 0 0 0 0
[pid=11649/tid=11669] ppid=11647 vsize=7651604 CPUtime=0.58 cores=0,2
/proc/11649/task/11669/stat : 11669 (java) S 11647 11649 11570 0 -1 4202560 7042 0 0 0 58 0 0 0 17 0 19 0 548377692 7835242496 18416 33554432000 1073741824 1073778376 140736744160848 18446744073709551615 260032211865 0 4 0 16800975 18446604447827293504 0 0 -1 2 0 0 0
[pid=11649/tid=11670] ppid=11647 vsize=7651604 CPUtime=0.29 cores=0,2
/proc/11649/task/11670/stat : 11670 (java) S 11647 11649 11570 0 -1 4202560 1781 0 0 0 29 0 0 0 20 0 19 0 548377692 7835242496 18416 33554432000 1073741824 1073778376 140736744160848 18446744073709551615 260032211865 0 4 0 16800975 18446604447827293504 0 0 -1 2 0 0 0
[pid=11649/tid=11671] ppid=11647 vsize=7651604 CPUtime=0 cores=0,2
/proc/11649/task/11671/stat : 11671 (java) S 11647 11649 11570 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 548377692 7835242496 18416 33554432000 1073741824 1073778376 140736744160848 18446744073709551615 260032211865 0 4 0 16800975 18446604447827293504 0 0 -1 0 0 0 0
[pid=11649/tid=11672] ppid=11647 vsize=7651604 CPUtime=0 cores=0,2
/proc/11649/task/11672/stat : 11672 (java) S 11647 11649 11570 0 -1 4202560 66 0 0 0 0 0 0 0 15 0 19 0 548377692 7835242496 18416 33554432000 1073741824 1073778376 140736744160848 18446744073709551615 260032212480 0 4 0 16800975 18446604447827293504 0 0 -1 2 0 0 0
[pid=11649/tid=11675] ppid=11647 vsize=7651604 CPUtime=0 cores=0,2
/proc/11649/task/11675/stat : 11675 (java) S 11647 11649 11570 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 548377707 7835242496 18416 33554432000 1073741824 1073778376 140736744160848 18446744073709551615 260032212480 0 4 0 16800975 18446604447827293504 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1123.55
Current children cumulated vsize (KiB) 7651604

[startup+1182.3 s]
/proc/loadavg: 4.08 4.04 3.64 5/262 11744
/proc/meminfo: memFree=16668852/32951124 swapFree=67111528/67111528
[pid=11649] ppid=11647 vsize=7651604 CPUtime=1183.57 cores=0,2
/proc/11649/stat : 11649 (java) S 11647 11649 11570 0 -1 4202496 23644 0 1 0 118348 9 0 0 25 0 19 0 548377686 7835242496 18449 33554432000 1073741824 1073778376 140736744160848 18446744073709551615 260032198629 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/11649/statm: 1912901 18449 2255 9 0 1903639 0
[pid=11649/tid=11650] ppid=11647 vsize=7651604 CPUtime=1174.74 cores=0,2
/proc/11649/task/11650/stat : 11650 (java) R 11647 11649 11570 0 -1 4202560 9873 0 1 0 117471 3 0 0 25 0 19 0 548377686 7835242496 18449 33554432000 1073741824 1073778376 140736744160848 18446744073709551615 46912505604781 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=11649/tid=11657] ppid=11647 vsize=7651604 CPUtime=0.13 cores=0,2
/proc/11649/task/11657/stat : 11657 (java) S 11647 11649 11570 0 -1 4202560 165 0 0 0 13 0 0 0 15 0 19 0 548377688 7835242496 18449 33554432000 1073741824 1073778376 140736744160848 18446744073709551615 260032211865 0 4 0 16800975 18446604447827293504 0 0 -1 2 0 0 0
[pid=11649/tid=11658] ppid=11647 vsize=7651604 CPUtime=0.11 cores=0,2
/proc/11649/task/11658/stat : 11658 (java) S 11647 11649 11570 0 -1 4202560 38 0 0 0 11 0 0 0 15 0 19 0 548377688 7835242496 18449 33554432000 1073741824 1073778376 140736744160848 18446744073709551615 260032211865 0 4 0 16800975 18446604447827293504 0 0 -1 2 0 0 0
[pid=11649/tid=11659] ppid=11647 vsize=7651604 CPUtime=0.11 cores=0,2
/proc/11649/task/11659/stat : 11659 (java) S 11647 11649 11570 0 -1 4202560 275 0 0 0 11 0 0 0 15 0 19 0 548377688 7835242496 18449 33554432000 1073741824 1073778376 140736744160848 18446744073709551615 260032211865 0 4 0 16800975 18446604447827293504 0 0 -1 2 0 0 0
[pid=11649/tid=11660] ppid=11647 vsize=7651604 CPUtime=0.13 cores=0,2
/proc/11649/task/11660/stat : 11660 (java) S 11647 11649 11570 0 -1 4202560 14 0 0 0 13 0 0 0 15 0 19 0 548377688 7835242496 18449 33554432000 1073741824 1073778376 140736744160848 18446744073709551615 260032211865 0 4 0 16800975 18446604447827293504 0 0 -1 2 0 0 0
[pid=11649/tid=11661] ppid=11647 vsize=7651604 CPUtime=0.14 cores=0,2
/proc/11649/task/11661/stat : 11661 (java) S 11647 11649 11570 0 -1 4202560 324 0 0 0 14 0 0 0 15 0 19 0 548377688 7835242496 18449 33554432000 1073741824 1073778376 140736744160848 18446744073709551615 260032211865 0 4 0 16800975 18446604447827293504 0 0 -1 2 0 0 0
[pid=11649/tid=11662] ppid=11647 vsize=7651604 CPUtime=0.11 cores=0,2
/proc/11649/task/11662/stat : 11662 (java) S 11647 11649 11570 0 -1 4202560 358 0 0 0 11 0 0 0 15 0 19 0 548377688 7835242496 18449 33554432000 1073741824 1073778376 140736744160848 18446744073709551615 260032211865 0 4 0 16800975 18446604447827293504 0 0 -1 2 0 0 0
[pid=11649/tid=11663] ppid=11647 vsize=7651604 CPUtime=0.14 cores=0,2
/proc/11649/task/11663/stat : 11663 (java) S 11647 11649 11570 0 -1 4202560 221 0 0 0 14 0 0 0 15 0 19 0 548377688 7835242496 18449 33554432000 1073741824 1073778376 140736744160848 18446744073709551615 260032211865 0 4 0 16800975 18446604447827293504 0 0 -1 2 0 0 0
[pid=11649/tid=11664] ppid=11647 vsize=7651604 CPUtime=0.12 cores=0,2
/proc/11649/task/11664/stat : 11664 (java) S 11647 11649 11570 0 -1 4202560 14 0 0 0 12 0 0 0 15 0 19 0 548377688 7835242496 18449 33554432000 1073741824 1073778376 140736744160848 18446744073709551615 260032211865 0 4 0 16800975 18446604447827293504 0 0 -1 2 0 0 0
[pid=11649/tid=11665] ppid=11647 vsize=7651604 CPUtime=6.87 cores=0,2
/proc/11649/task/11665/stat : 11665 (java) S 11647 11649 11570 0 -1 4202560 2318 0 0 0 684 3 0 0 15 0 19 0 548377689 7835242496 18449 33554432000 1073741824 1073778376 140736744160848 18446744073709551615 260032212480 0 0 0 16800975 18446604447827293504 0 0 -1 0 0 0 0
[pid=11649/tid=11666] ppid=11647 vsize=7651604 CPUtime=0 cores=0,2
/proc/11649/task/11666/stat : 11666 (java) S 11647 11649 11570 0 -1 4202560 17 0 0 0 0 0 0 0 19 0 19 0 548377689 7835242496 18449 33554432000 1073741824 1073778376 140736744160848 18446744073709551615 260032211865 0 4 0 16800975 18446604447827293504 0 0 -1 0 0 0 0
[pid=11649/tid=11667] ppid=11647 vsize=7651604 CPUtime=0 cores=0,2
/proc/11649/task/11667/stat : 11667 (java) S 11647 11649 11570 0 -1 4202560 9 0 0 0 0 0 0 0 19 0 19 0 548377689 7835242496 18449 33554432000 1073741824 1073778376 140736744160848 18446744073709551615 260032211865 0 4 0 16800975 18446604447827293504 0 0 -1 0 0 0 0
[pid=11649/tid=11668] ppid=11647 vsize=7651604 CPUtime=0 cores=0,2
/proc/11649/task/11668/stat : 11668 (java) S 11647 11649 11570 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 548377692 7835242496 18449 33554432000 1073741824 1073778376 140736744160848 18446744073709551615 260032219569 0 4 0 16800975 18446604447827293504 0 0 -1 0 0 0 0
[pid=11649/tid=11669] ppid=11647 vsize=7651604 CPUtime=0.58 cores=0,2
/proc/11649/task/11669/stat : 11669 (java) S 11647 11649 11570 0 -1 4202560 7042 0 0 0 58 0 0 0 17 0 19 0 548377692 7835242496 18449 33554432000 1073741824 1073778376 140736744160848 18446744073709551615 260032211865 0 4 0 16800975 18446604447827293504 0 0 -1 2 0 0 0
[pid=11649/tid=11670] ppid=11647 vsize=7651604 CPUtime=0.29 cores=0,2
/proc/11649/task/11670/stat : 11670 (java) S 11647 11649 11570 0 -1 4202560 1781 0 0 0 29 0 0 0 20 0 19 0 548377692 7835242496 18449 33554432000 1073741824 1073778376 140736744160848 18446744073709551615 260032211865 0 4 0 16800975 18446604447827293504 0 0 -1 2 0 0 0
[pid=11649/tid=11671] ppid=11647 vsize=7651604 CPUtime=0 cores=0,2
/proc/11649/task/11671/stat : 11671 (java) S 11647 11649 11570 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 548377692 7835242496 18449 33554432000 1073741824 1073778376 140736744160848 18446744073709551615 260032211865 0 4 0 16800975 18446604447827293504 0 0 -1 0 0 0 0
[pid=11649/tid=11672] ppid=11647 vsize=7651604 CPUtime=0 cores=0,2
/proc/11649/task/11672/stat : 11672 (java) S 11647 11649 11570 0 -1 4202560 70 0 0 0 0 0 0 0 15 0 19 0 548377692 7835242496 18449 33554432000 1073741824 1073778376 140736744160848 18446744073709551615 260032212480 0 4 0 16800975 18446604447827293504 0 0 -1 2 0 0 0
[pid=11649/tid=11675] ppid=11647 vsize=7651604 CPUtime=0 cores=0,2
/proc/11649/task/11675/stat : 11675 (java) S 11647 11649 11570 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 548377707 7835242496 18449 33554432000 1073741824 1073778376 140736744160848 18446744073709551615 260032212480 0 4 0 16800975 18446604447827293504 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1183.57
Current children cumulated vsize (KiB) 7651604

[startup+1242.3 s]
/proc/loadavg: 4.03 4.03 3.66 5/262 11746
/proc/meminfo: memFree=16668056/32951124 swapFree=67111528/67111528
[pid=11649] ppid=11647 vsize=7651604 CPUtime=1243.6 cores=0,2
/proc/11649/stat : 11649 (java) S 11647 11649 11570 0 -1 4202496 23687 0 1 0 124350 10 0 0 25 0 19 0 548377686 7835242496 18469 33554432000 1073741824 1073778376 140736744160848 18446744073709551615 260032198629 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/11649/statm: 1912901 18469 2255 9 0 1903639 0
[pid=11649/tid=11650] ppid=11647 vsize=7651604 CPUtime=1234.34 cores=0,2
/proc/11649/task/11650/stat : 11650 (java) R 11647 11649 11570 0 -1 4202560 9888 0 1 0 123431 3 0 0 25 0 19 0 548377686 7835242496 18469 33554432000 1073741824 1073778376 140736744160848 18446744073709551615 46912505613613 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=11649/tid=11657] ppid=11647 vsize=7651604 CPUtime=0.14 cores=0,2
/proc/11649/task/11657/stat : 11657 (java) S 11647 11649 11570 0 -1 4202560 165 0 0 0 14 0 0 0 15 0 19 0 548377688 7835242496 18469 33554432000 1073741824 1073778376 140736744160848 18446744073709551615 260032211865 0 4 0 16800975 18446604447827293504 0 0 -1 2 0 0 0
[pid=11649/tid=11658] ppid=11647 vsize=7651604 CPUtime=0.12 cores=0,2
/proc/11649/task/11658/stat : 11658 (java) S 11647 11649 11570 0 -1 4202560 38 0 0 0 12 0 0 0 16 0 19 0 548377688 7835242496 18469 33554432000 1073741824 1073778376 140736744160848 18446744073709551615 260032211865 0 4 0 16800975 18446604447827293504 0 0 -1 2 0 0 0
[pid=11649/tid=11659] ppid=11647 vsize=7651604 CPUtime=0.12 cores=0,2
/proc/11649/task/11659/stat : 11659 (java) S 11647 11649 11570 0 -1 4202560 275 0 0 0 12 0 0 0 16 0 19 0 548377688 7835242496 18469 33554432000 1073741824 1073778376 140736744160848 18446744073709551615 260032211865 0 4 0 16800975 18446604447827293504 0 0 -1 2 0 0 0
[pid=11649/tid=11660] ppid=11647 vsize=7651604 CPUtime=0.13 cores=0,2
/proc/11649/task/11660/stat : 11660 (java) S 11647 11649 11570 0 -1 4202560 14 0 0 0 13 0 0 0 15 0 19 0 548377688 7835242496 18469 33554432000 1073741824 1073778376 140736744160848 18446744073709551615 260032211865 0 4 0 16800975 18446604447827293504 0 0 -1 2 0 0 0
[pid=11649/tid=11661] ppid=11647 vsize=7651604 CPUtime=0.14 cores=0,2
/proc/11649/task/11661/stat : 11661 (java) S 11647 11649 11570 0 -1 4202560 324 0 0 0 14 0 0 0 15 0 19 0 548377688 7835242496 18469 33554432000 1073741824 1073778376 140736744160848 18446744073709551615 260032211865 0 4 0 16800975 18446604447827293504 0 0 -1 2 0 0 0
[pid=11649/tid=11662] ppid=11647 vsize=7651604 CPUtime=0.12 cores=0,2
/proc/11649/task/11662/stat : 11662 (java) S 11647 11649 11570 0 -1 4202560 358 0 0 0 12 0 0 0 15 0 19 0 548377688 7835242496 18469 33554432000 1073741824 1073778376 140736744160848 18446744073709551615 260032211865 0 4 0 16800975 18446604447827293504 0 0 -1 2 0 0 0
[pid=11649/tid=11663] ppid=11647 vsize=7651604 CPUtime=0.15 cores=0,2
/proc/11649/task/11663/stat : 11663 (java) S 11647 11649 11570 0 -1 4202560 221 0 0 0 15 0 0 0 15 0 19 0 548377688 7835242496 18469 33554432000 1073741824 1073778376 140736744160848 18446744073709551615 260032211865 0 4 0 16800975 18446604447827293504 0 0 -1 2 0 0 0
[pid=11649/tid=11664] ppid=11647 vsize=7651604 CPUtime=0.12 cores=0,2
/proc/11649/task/11664/stat : 11664 (java) S 11647 11649 11570 0 -1 4202560 14 0 0 0 12 0 0 0 15 0 19 0 548377688 7835242496 18469 33554432000 1073741824 1073778376 140736744160848 18446744073709551615 260032211865 0 4 0 16800975 18446604447827293504 0 0 -1 0 0 0 0
[pid=11649/tid=11665] ppid=11647 vsize=7651604 CPUtime=7.23 cores=0,2
/proc/11649/task/11665/stat : 11665 (java) S 11647 11649 11570 0 -1 4202560 2342 0 0 0 720 3 0 0 15 0 19 0 548377689 7835242496 18469 33554432000 1073741824 1073778376 140736744160848 18446744073709551615 260032212480 0 0 0 16800975 18446604447827293504 0 0 -1 0 0 0 0
[pid=11649/tid=11666] ppid=11647 vsize=7651604 CPUtime=0 cores=0,2
/proc/11649/task/11666/stat : 11666 (java) S 11647 11649 11570 0 -1 4202560 17 0 0 0 0 0 0 0 19 0 19 0 548377689 7835242496 18469 33554432000 1073741824 1073778376 140736744160848 18446744073709551615 260032211865 0 4 0 16800975 18446604447827293504 0 0 -1 0 0 0 0
[pid=11649/tid=11667] ppid=11647 vsize=7651604 CPUtime=0 cores=0,2
/proc/11649/task/11667/stat : 11667 (java) S 11647 11649 11570 0 -1 4202560 9 0 0 0 0 0 0 0 19 0 19 0 548377689 7835242496 18469 33554432000 1073741824 1073778376 140736744160848 18446744073709551615 260032211865 0 4 0 16800975 18446604447827293504 0 0 -1 0 0 0 0
[pid=11649/tid=11668] ppid=11647 vsize=7651604 CPUtime=0 cores=0,2
/proc/11649/task/11668/stat : 11668 (java) S 11647 11649 11570 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 548377692 7835242496 18469 33554432000 1073741824 1073778376 140736744160848 18446744073709551615 260032219569 0 4 0 16800975 18446604447827293504 0 0 -1 0 0 0 0
[pid=11649/tid=11669] ppid=11647 vsize=7651604 CPUtime=0.58 cores=0,2
/proc/11649/task/11669/stat : 11669 (java) S 11647 11649 11570 0 -1 4202560 7042 0 0 0 58 0 0 0 17 0 19 0 548377692 7835242496 18469 33554432000 1073741824 1073778376 140736744160848 18446744073709551615 260032211865 0 4 0 16800975 18446604447827293504 0 0 -1 2 0 0 0
[pid=11649/tid=11670] ppid=11647 vsize=7651604 CPUtime=0.29 cores=0,2
/proc/11649/task/11670/stat : 11670 (java) S 11647 11649 11570 0 -1 4202560 1781 0 0 0 29 0 0 0 20 0 19 0 548377692 7835242496 18469 33554432000 1073741824 1073778376 140736744160848 18446744073709551615 260032211865 0 4 0 16800975 18446604447827293504 0 0 -1 2 0 0 0
[pid=11649/tid=11671] ppid=11647 vsize=7651604 CPUtime=0 cores=0,2
/proc/11649/task/11671/stat : 11671 (java) S 11647 11649 11570 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 548377692 7835242496 18469 33554432000 1073741824 1073778376 140736744160848 18446744073709551615 260032211865 0 4 0 16800975 18446604447827293504 0 0 -1 0 0 0 0
[pid=11649/tid=11672] ppid=11647 vsize=7651604 CPUtime=0 cores=0,2
/proc/11649/task/11672/stat : 11672 (java) S 11647 11649 11570 0 -1 4202560 74 0 0 0 0 0 0 0 15 0 19 0 548377692 7835242496 18469 33554432000 1073741824 1073778376 140736744160848 18446744073709551615 260032212480 0 4 0 16800975 18446604447827293504 0 0 -1 2 0 0 0
[pid=11649/tid=11675] ppid=11647 vsize=7651604 CPUtime=0 cores=0,2
/proc/11649/task/11675/stat : 11675 (java) S 11647 11649 11570 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 548377707 7835242496 18469 33554432000 1073741824 1073778376 140736744160848 18446744073709551615 260032212480 0 4 0 16800975 18446604447827293504 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1243.6
Current children cumulated vsize (KiB) 7651604



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+1300 s]
/proc/loadavg: 4.17 4.06 3.68 3/224 11753
/proc/meminfo: memFree=16811040/32951124 swapFree=67111528/67111528
[pid=11649] ppid=11647 vsize=7651604 CPUtime=1301.32 cores=0,2
/proc/11649/stat : 11649 (java) S 11647 11649 11570 0 -1 4202496 23748 0 1 0 130122 10 0 0 25 0 19 0 548377686 7835242496 18510 33554432000 1073741824 1073778376 140736744160848 18446744073709551615 260032198629 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/11649/statm: 1912901 18510 2255 9 0 1903639 0
[pid=11649/tid=11650] ppid=11647 vsize=7651604 CPUtime=1291.68 cores=0,2
/proc/11649/task/11650/stat : 11650 (java) R 11647 11649 11570 0 -1 4202560 9902 0 1 0 129165 3 0 0 25 0 19 0 548377686 7835242496 18510 33554432000 1073741824 1073778376 140736744160848 18446744073709551615 46912505608332 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=11649/tid=11657] ppid=11647 vsize=7651604 CPUtime=0.15 cores=0,2
/proc/11649/task/11657/stat : 11657 (java) S 11647 11649 11570 0 -1 4202560 166 0 0 0 15 0 0 0 15 0 19 0 548377688 7835242496 18510 33554432000 1073741824 1073778376 140736744160848 18446744073709551615 260032211865 0 4 0 16800975 18446604447827293504 0 0 -1 2 0 0 0
[pid=11649/tid=11658] ppid=11647 vsize=7651604 CPUtime=0.12 cores=0,2
/proc/11649/task/11658/stat : 11658 (java) S 11647 11649 11570 0 -1 4202560 39 0 0 0 12 0 0 0 15 0 19 0 548377688 7835242496 18510 33554432000 1073741824 1073778376 140736744160848 18446744073709551615 260032211865 0 4 0 16800975 18446604447827293504 0 0 -1 2 0 0 0
[pid=11649/tid=11659] ppid=11647 vsize=7651604 CPUtime=0.13 cores=0,2
/proc/11649/task/11659/stat : 11659 (java) S 11647 11649 11570 0 -1 4202560 275 0 0 0 13 0 0 0 15 0 19 0 548377688 7835242496 18510 33554432000 1073741824 1073778376 140736744160848 18446744073709551615 260032211865 0 4 0 16800975 18446604447827293504 0 0 -1 2 0 0 0
[pid=11649/tid=11660] ppid=11647 vsize=7651604 CPUtime=0.14 cores=0,2
/proc/11649/task/11660/stat : 11660 (java) S 11647 11649 11570 0 -1 4202560 14 0 0 0 14 0 0 0 15 0 19 0 548377688 7835242496 18510 33554432000 1073741824 1073778376 140736744160848 18446744073709551615 260032211865 0 4 0 16800975 18446604447827293504 0 0 -1 2 0 0 0
[pid=11649/tid=11661] ppid=11647 vsize=7651604 CPUtime=0.15 cores=0,2
/proc/11649/task/11661/stat : 11661 (java) S 11647 11649 11570 0 -1 4202560 329 0 0 0 15 0 0 0 15 0 19 0 548377688 7835242496 18510 33554432000 1073741824 1073778376 140736744160848 18446744073709551615 260032211865 0 4 0 16800975 18446604447827293504 0 0 -1 2 0 0 0
[pid=11649/tid=11662] ppid=11647 vsize=7651604 CPUtime=0.13 cores=0,2
/proc/11649/task/11662/stat : 11662 (java) S 11647 11649 11570 0 -1 4202560 358 0 0 0 13 0 0 0 16 0 19 0 548377688 7835242496 18510 33554432000 1073741824 1073778376 140736744160848 18446744073709551615 260032211865 0 4 0 16800975 18446604447827293504 0 0 -1 2 0 0 0
[pid=11649/tid=11663] ppid=11647 vsize=7651604 CPUtime=0.15 cores=0,2
/proc/11649/task/11663/stat : 11663 (java) S 11647 11649 11570 0 -1 4202560 221 0 0 0 15 0 0 0 15 0 19 0 548377688 7835242496 18510 33554432000 1073741824 1073778376 140736744160848 18446744073709551615 260032211865 0 4 0 16800975 18446604447827293504 0 0 -1 2 0 0 0
[pid=11649/tid=11664] ppid=11647 vsize=7651604 CPUtime=0.13 cores=0,2
/proc/11649/task/11664/stat : 11664 (java) S 11647 11649 11570 0 -1 4202560 14 0 0 0 13 0 0 0 16 0 19 0 548377688 7835242496 18510 33554432000 1073741824 1073778376 140736744160848 18446744073709551615 260032211865 0 4 0 16800975 18446604447827293504 0 0 -1 2 0 0 0
[pid=11649/tid=11665] ppid=11647 vsize=7651604 CPUtime=7.57 cores=0,2
/proc/11649/task/11665/stat : 11665 (java) S 11647 11649 11570 0 -1 4202560 2378 0 0 0 754 3 0 0 15 0 19 0 548377689 7835242496 18510 33554432000 1073741824 1073778376 140736744160848 18446744073709551615 260032212480 0 0 0 16800975 18446604447827293504 0 0 -1 0 0 0 0
[pid=11649/tid=11666] ppid=11647 vsize=7651604 CPUtime=0 cores=0,2
/proc/11649/task/11666/stat : 11666 (java) S 11647 11649 11570 0 -1 4202560 17 0 0 0 0 0 0 0 19 0 19 0 548377689 7835242496 18510 33554432000 1073741824 1073778376 140736744160848 18446744073709551615 260032211865 0 4 0 16800975 18446604447827293504 0 0 -1 0 0 0 0
[pid=11649/tid=11667] ppid=11647 vsize=7651604 CPUtime=0 cores=0,2
/proc/11649/task/11667/stat : 11667 (java) S 11647 11649 11570 0 -1 4202560 9 0 0 0 0 0 0 0 19 0 19 0 548377689 7835242496 18510 33554432000 1073741824 1073778376 140736744160848 18446744073709551615 260032211865 0 4 0 16800975 18446604447827293504 0 0 -1 0 0 0 0
[pid=11649/tid=11668] ppid=11647 vsize=7651604 CPUtime=0 cores=0,2
/proc/11649/task/11668/stat : 11668 (java) S 11647 11649 11570 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 548377692 7835242496 18510 33554432000 1073741824 1073778376 140736744160848 18446744073709551615 260032219569 0 4 0 16800975 18446604447827293504 0 0 -1 0 0 0 0
[pid=11649/tid=11669] ppid=11647 vsize=7651604 CPUtime=0.58 cores=0,2
/proc/11649/task/11669/stat : 11669 (java) S 11647 11649 11570 0 -1 4202560 7042 0 0 0 58 0 0 0 17 0 19 0 548377692 7835242496 18510 33554432000 1073741824 1073778376 140736744160848 18446744073709551615 260032211865 0 4 0 16800975 18446604447827293504 0 0 -1 2 0 0 0
[pid=11649/tid=11670] ppid=11647 vsize=7651604 CPUtime=0.29 cores=0,2
/proc/11649/task/11670/stat : 11670 (java) S 11647 11649 11570 0 -1 4202560 1781 0 0 0 29 0 0 0 20 0 19 0 548377692 7835242496 18510 33554432000 1073741824 1073778376 140736744160848 18446744073709551615 260032211865 0 4 0 16800975 18446604447827293504 0 0 -1 2 0 0 0
[pid=11649/tid=11671] ppid=11647 vsize=7651604 CPUtime=0 cores=0,2
/proc/11649/task/11671/stat : 11671 (java) S 11647 11649 11570 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 548377692 7835242496 18510 33554432000 1073741824 1073778376 140736744160848 18446744073709551615 260032211865 0 4 0 16800975 18446604447827293504 0 0 -1 0 0 0 0
[pid=11649/tid=11672] ppid=11647 vsize=7651604 CPUtime=0 cores=0,2
/proc/11649/task/11672/stat : 11672 (java) S 11647 11649 11570 0 -1 4202560 78 0 0 0 0 0 0 0 15 0 19 0 548377692 7835242496 18510 33554432000 1073741824 1073778376 140736744160848 18446744073709551615 260032212480 0 4 0 16800975 18446604447827293504 0 0 -1 2 0 0 0
[pid=11649/tid=11675] ppid=11647 vsize=7651604 CPUtime=0 cores=0,2
/proc/11649/task/11675/stat : 11675 (java) S 11647 11649 11570 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 548377707 7835242496 18510 33554432000 1073741824 1073778376 140736744160848 18446744073709551615 260032212480 0 4 0 16800975 18446604447827293504 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1301.32
Current children cumulated vsize (KiB) 7651604

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.05
CPU time (s): 1301.39
CPU user time (s): 1301.29
CPU system time (s): 0.106983
CPU usage (%): 100.104
Max. virtual memory (cumulated for all children) (KiB): 7662024

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1301.29
system time used= 0.106983
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 23786
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= 35759
involuntary context switches= 10572

runsolver used 2.29265 second user time and 4.82527 second system time

The end

Launcher Data 

Begin job on node110 at 2011-04-23 19:57:51
IDJOB=3265780
IDBENCH=85805
IDSOLVER=1611
FILE ID=node110/3265780-1303581471
RUNJOBID= node110-1303581471-11588
PBS_JOBID= 13150352
Free space on /tmp= 71956 MiB

SOLVER NAME= SAT4J core 2.3.0 SNAPSHOT 2011-02-06
BENCH NAME= SAT05/crafted/sorge05/QG7a/gensys-ukn004.shuffled-as.sat05-3844.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-3265780-1303581471/watcher-3265780-1303581471 -o /tmp/evaluation-result-3265780-1303581471/solver-3265780-1303581471 -C 2400 -W 1300 -M 7680  java -server -XX:MaxPermSize=256m -Xms7000m -Xmx7000m -jar org.sat4j.core.jar HOME/instance-3265780-1303581471.cnf

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

MD5SUM BENCH= 7d96ba103689bec761c9e7df7b158323
RANDOM SEED=1196765116

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      16904692 kB
Buffers:       2314880 kB
Cached:       13040248 kB
SwapCached:          0 kB
Active:        8022560 kB
Inactive:      7455016 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      16904692 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            2544 kB
Writeback:           0 kB
AnonPages:      121472 kB
Mapped:          21304 kB
Slab:           502484 kB
PageTables:       5800 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 14719376 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= 71952 MiB
End job on node110 at 2011-04-23 20:19:33