Trace number 3458914

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 NameAnswerobjective functionCPU timeWall clock time
Sat4j Resolution 2.3.0SAT (TO)-34 1800.18 1792.98

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb40-19-opb/normalized-frb40-19-1.opb
MD5SUM9984e76947bf9addca42277d72ff7107
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-38
Best CPU time to get the best result obtained on this benchmark1797.31
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -40
Optimality of the best value was proved YES
Number of variables760
Total number of constraints41314
Number of constraints which are clauses41314
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint2
Number of terms in the objective function 760
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 760
Number of bits of the sum of numbers in the objective function 10
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 760
Number of bits of the biggest sum of numbers10
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data 

0.00/0.09	c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre
0.00/0.09	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.09	c See www.sat4j.org for details.
0.00/0.09	c version 2.3.1.v20110525
0.00/0.09	c java.runtime.name	Java(TM) SE Runtime Environment
0.00/0.09	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.00/0.09	c java.vm.version	19.1-b02
0.00/0.09	c java.vm.vendor	Sun Microsystems Inc.
0.00/0.09	c sun.arch.data.model	64
0.00/0.09	c java.version		1.6.0_24
0.00/0.09	c os.name		Linux
0.00/0.09	c os.version		2.6.18-164.el5
0.00/0.09	c os.arch		amd64
0.00/0.09	c Free memory 		12995394264
0.00/0.09	c Max memory 		13063553024
0.00/0.09	c Total memory 		13063553024
0.00/0.09	c Number of processors 	8
0.12/0.11	c Pseudo Boolean Optimization
0.12/0.11	c --- Begin Solver configuration ---
0.12/0.11	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@38540408
0.12/0.11	c Learn all clauses as in MiniSAT
0.12/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.12/0.11	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.12/0.11	c Expensive reason simplification
0.12/0.11	c Armin Biere (Picosat) restarts strategy
0.12/0.11	c Glucose learned constraints deletion strategy
0.12/0.11	c timeout=2147483s
0.12/0.11	c DB Simplification allowed=false
0.12/0.11	c --- End Solver configuration ---
0.12/0.11	c solving HOME/instance-3458914-1307148418.opb
0.12/0.11	c reading problem ... 
1.00/0.52	c ... done. Wall clock time 0.411s.
1.00/0.52	c #vars     760
1.00/0.52	c #constraints  41314
1.00/0.52	c constraints type 
1.00/0.52	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 41314
1.00/0.54	c SATISFIABLE
1.00/0.54	c OPTIMIZING...
1.00/0.54	c Got one! Elapsed wall clock time (in seconds):0.429
1.00/0.54	o -31
1.00/0.56	c Got one! Elapsed wall clock time (in seconds):0.448
1.00/0.56	o -32
2.18/1.46	c cleaning 2499 clauses out of 5001 with flag 5000/5001
3.27/2.40	c cleaning 4252 clauses out of 8503 with flag 11001/11002
4.38/3.54	c cleaning 5626 clauses out of 11251 with flag 18001/18002
5.68/4.85	c cleaning 6799 clauses out of 13625 with flag 26001/26002
7.34/6.45	c cleaning 7913 clauses out of 15826 with flag 35001/35002
9.15/8.20	c cleaning 8954 clauses out of 17912 with flag 45000/45001
11.23/10.22	c cleaning 9971 clauses out of 19958 with flag 56000/56001
13.48/12.47	c cleaning 10993 clauses out of 21987 with flag 68000/68001
15.99/14.98	c cleaning 11992 clauses out of 23994 with flag 81000/81001
18.61/17.61	c cleaning 12996 clauses out of 26004 with flag 95002/95003
21.74/20.62	c cleaning 14003 clauses out of 28006 with flag 110000/110001
24.65/23.53	c cleaning 14995 clauses out of 30003 with flag 126000/126001
28.08/26.96	c cleaning 16005 clauses out of 32009 with flag 143001/143002
32.13/30.95	c cleaning 17001 clauses out of 34003 with flag 161000/161001
36.23/35.05	c cleaning 17994 clauses out of 36003 with flag 180001/180002
40.36/39.15	c cleaning 19000 clauses out of 38008 with flag 200000/200001
44.20/42.97	c Got one! Elapsed wall clock time (in seconds):42.854
44.20/42.97	o -33
45.30/44.07	c cleaning 21038 clauses out of 42086 with flag 5000/223079
46.63/45.39	c cleaning 13510 clauses out of 27048 with flag 11000/229079
48.13/46.88	c cleaning 10259 clauses out of 20538 with flag 18000/236079
49.64/48.42	c cleaning 9139 clauses out of 18279 with flag 26000/244079
51.65/50.38	c cleaning 9056 clauses out of 18140 with flag 35000/253079
53.95/52.65	c cleaning 9534 clauses out of 19085 with flag 45001/263080
55.86/54.57	c cleaning 10268 clauses out of 20550 with flag 56000/274079
58.07/56.76	c cleaning 11129 clauses out of 22283 with flag 68001/286080
60.69/59.34	c cleaning 12072 clauses out of 24154 with flag 81001/299080
63.60/62.23	c cleaning 13036 clauses out of 26082 with flag 95001/313080
66.82/65.44	c cleaning 14018 clauses out of 28046 with flag 110001/328080
70.43/69.07	c cleaning 15006 clauses out of 30029 with flag 126002/344081
74.17/72.77	c cleaning 16005 clauses out of 32021 with flag 143000/361079
78.77/77.38	c cleaning 17001 clauses out of 34016 with flag 161000/379079
83.69/82.24	c cleaning 18003 clauses out of 36015 with flag 180000/398079
87.44/85.98	c cleaning 18999 clauses out of 38012 with flag 200000/418079
91.95/90.47	c cleaning 20007 clauses out of 40013 with flag 221000/439079
97.07/95.50	c cleaning 20999 clauses out of 42007 with flag 243001/461080
102.70/101.20	c cleaning 21998 clauses out of 44008 with flag 266001/484080
108.52/106.97	c cleaning 22994 clauses out of 46009 with flag 290000/508079
114.65/113.02	c cleaning 24006 clauses out of 48016 with flag 315001/533080
121.28/119.66	c cleaning 24999 clauses out of 50010 with flag 341001/559080
128.72/127.01	c cleaning 26003 clauses out of 52010 with flag 368000/586079
134.46/132.75	c cleaning 27004 clauses out of 54007 with flag 396000/614079
140.69/138.93	c cleaning 27997 clauses out of 56003 with flag 425000/643079
147.83/146.00	c cleaning 28997 clauses out of 58006 with flag 455000/673079
155.28/153.43	c cleaning 29998 clauses out of 60010 with flag 486001/704080
163.63/161.80	c cleaning 30997 clauses out of 62012 with flag 518001/736080
173.15/171.29	c cleaning 32005 clauses out of 64014 with flag 551000/769079
181.81/179.82	c cleaning 32998 clauses out of 66009 with flag 585000/803079
191.56/189.54	c cleaning 34002 clauses out of 68012 with flag 620001/838080
202.60/200.55	c cleaning 34993 clauses out of 70009 with flag 656000/874079
211.73/209.63	c cleaning 36007 clauses out of 72016 with flag 693000/911079
221.22/219.03	c cleaning 37001 clauses out of 74009 with flag 731000/949079
231.19/228.94	c cleaning 37988 clauses out of 76008 with flag 770000/988079
242.30/240.08	c cleaning 39011 clauses out of 78022 with flag 810002/1028081
255.27/253.02	c cleaning 39995 clauses out of 80009 with flag 851000/1069079
266.72/264.33	c cleaning 41005 clauses out of 82014 with flag 893000/1111079
281.57/279.19	c cleaning 41490 clauses out of 83009 with flag 935000/1153079
295.31/292.82	c cleaning 41755 clauses out of 83519 with flag 977000/1195079
307.85/305.31	c cleaning 41865 clauses out of 83764 with flag 1019000/1237079
320.91/318.31	c cleaning 41947 clauses out of 83900 with flag 1061001/1279080
333.90/331.22	c cleaning 41969 clauses out of 83952 with flag 1103000/1321079
343.92/341.22	c cleaning 41990 clauses out of 83983 with flag 1145000/1363079
354.29/351.57	c cleaning 41994 clauses out of 83993 with flag 1187000/1405079
366.05/363.26	c cleaning 41986 clauses out of 83999 with flag 1229000/1447079
376.91/374.07	c cleaning 41995 clauses out of 84014 with flag 1271001/1489080
389.95/387.01	c cleaning 42004 clauses out of 84018 with flag 1313000/1531079
403.43/400.47	c cleaning 41990 clauses out of 84014 with flag 1355000/1573079
416.06/413.03	c cleaning 41990 clauses out of 84024 with flag 1397000/1615079
427.29/424.29	c cleaning 42017 clauses out of 84034 with flag 1439000/1657079
443.30/440.16	c cleaning 42009 clauses out of 84018 with flag 1481001/1699080
458.85/455.66	c cleaning 42002 clauses out of 84008 with flag 1523000/1741079
475.39/472.15	c cleaning 41989 clauses out of 84006 with flag 1565000/1783079
487.75/484.45	c cleaning 42007 clauses out of 84017 with flag 1607000/1825079
501.51/498.10	c cleaning 42006 clauses out of 84012 with flag 1649002/1867081
514.76/511.34	c cleaning 41987 clauses out of 84004 with flag 1691000/1909079
526.49/523.01	c cleaning 42000 clauses out of 84018 with flag 1733001/1951080
539.37/535.86	c cleaning 42003 clauses out of 84017 with flag 1775000/1993079
543.39/539.88	c Got one! Elapsed wall clock time (in seconds):539.767
543.39/539.88	o -34
544.59/541.05	c cleaning 33279 clauses out of 66586 with flag 5001/2017651
546.03/542.47	c cleaning 19639 clauses out of 39307 with flag 11001/2023651
547.52/543.92	c cleaning 13315 clauses out of 26667 with flag 18000/2030650
549.24/545.62	c cleaning 10660 clauses out of 21352 with flag 26000/2038650
551.04/547.48	c cleaning 9839 clauses out of 19692 with flag 35000/2047650
553.45/549.81	c cleaning 9919 clauses out of 19853 with flag 45000/2057650
555.66/552.01	c cleaning 10457 clauses out of 20935 with flag 56001/2068651
558.36/554.70	c cleaning 11232 clauses out of 22478 with flag 68001/2080651
561.26/557.60	c cleaning 12114 clauses out of 24245 with flag 81000/2093650
564.47/560.82	c cleaning 13066 clauses out of 26131 with flag 95000/2107650
567.78/564.18	c cleaning 14031 clauses out of 28065 with flag 110000/2122650
571.19/567.56	c cleaning 15013 clauses out of 30034 with flag 126000/2138650
575.31/571.68	c cleaning 16008 clauses out of 32021 with flag 143000/2155650
580.01/576.40	c cleaning 17004 clauses out of 34013 with flag 161000/2173650
585.64/581.97	c cleaning 18005 clauses out of 36010 with flag 180001/2192651
590.17/586.49	c cleaning 18994 clauses out of 38004 with flag 200000/2212650
595.47/591.80	c cleaning 20005 clauses out of 40010 with flag 221000/2233650
601.70/597.92	c cleaning 20993 clauses out of 42005 with flag 243000/2255650
608.32/604.56	c cleaning 22002 clauses out of 44012 with flag 266000/2278650
614.12/610.38	c cleaning 22997 clauses out of 46011 with flag 290001/2302651
620.45/616.61	c cleaning 24004 clauses out of 48013 with flag 315000/2327650
627.27/623.48	c cleaning 24999 clauses out of 50010 with flag 341001/2353651
634.89/631.06	c cleaning 26001 clauses out of 52011 with flag 368001/2380651
644.03/640.14	c cleaning 27005 clauses out of 54009 with flag 396000/2408650
653.77/649.80	c cleaning 28000 clauses out of 56005 with flag 425001/2437651
661.80/657.83	c cleaning 28994 clauses out of 58006 with flag 455002/2467652
670.64/666.71	c cleaning 30001 clauses out of 60010 with flag 486000/2498650
680.06/676.07	c cleaning 31000 clauses out of 62009 with flag 518000/2530650
690.39/686.30	c cleaning 32005 clauses out of 64010 with flag 551001/2563651
701.33/697.25	c cleaning 32998 clauses out of 66005 with flag 585001/2597651
711.86/707.77	c cleaning 34001 clauses out of 68008 with flag 620002/2632652
723.78/719.67	c cleaning 34995 clauses out of 70005 with flag 656000/2668650
734.74/730.55	c cleaning 35998 clauses out of 72010 with flag 693000/2705650
745.87/741.64	c cleaning 37005 clauses out of 74013 with flag 731001/2743651
757.93/753.63	c cleaning 37991 clauses out of 76007 with flag 770000/2782650
771.73/767.42	c cleaning 39007 clauses out of 78016 with flag 810000/2822650
783.78/779.42	c cleaning 40001 clauses out of 80009 with flag 851000/2863650
798.40/794.03	c cleaning 41002 clauses out of 82009 with flag 893001/2905651
811.62/807.23	c cleaning 41499 clauses out of 83006 with flag 935000/2947650
825.26/820.89	c cleaning 41751 clauses out of 83508 with flag 977001/2989651
834.82/830.38	c cleaning 41871 clauses out of 83757 with flag 1019001/3031651
845.48/840.97	c cleaning 41927 clauses out of 83885 with flag 1061000/3073650
856.94/852.35	c cleaning 41976 clauses out of 83958 with flag 1103000/3115650
867.08/862.51	c cleaning 41984 clauses out of 83983 with flag 1145001/3157651
879.59/874.99	c cleaning 41994 clauses out of 83999 with flag 1187001/3199651
892.85/888.15	c cleaning 41994 clauses out of 84005 with flag 1229001/3241651
906.50/901.75	c cleaning 42002 clauses out of 84011 with flag 1271001/3283651
918.85/914.03	c cleaning 41993 clauses out of 84008 with flag 1313000/3325650
930.81/925.97	c cleaning 42003 clauses out of 84015 with flag 1355000/3367650
944.17/939.22	c cleaning 42002 clauses out of 84013 with flag 1397001/3409651
957.73/952.77	c cleaning 41998 clauses out of 84011 with flag 1439001/3451651
970.06/965.06	c cleaning 41990 clauses out of 84012 with flag 1481000/3493650
983.52/978.45	c cleaning 42002 clauses out of 84023 with flag 1523001/3535651
995.87/990.77	c cleaning 41997 clauses out of 84020 with flag 1565000/3577650
1008.11/1002.95	c cleaning 41999 clauses out of 84023 with flag 1607000/3619650
1023.87/1018.63	c cleaning 41996 clauses out of 84024 with flag 1649000/3661650
1035.31/1030.07	c cleaning 42003 clauses out of 84028 with flag 1691000/3703650
1047.86/1042.50	c cleaning 42003 clauses out of 84025 with flag 1733000/3745650
1061.12/1055.76	c cleaning 42005 clauses out of 84023 with flag 1775001/3787651
1074.86/1069.49	c cleaning 42003 clauses out of 84018 with flag 1817001/3829651
1089.39/1083.93	c cleaning 42005 clauses out of 84015 with flag 1859001/3871651
1102.61/1097.10	c cleaning 41996 clauses out of 84009 with flag 1901000/3913650
1115.57/1110.05	c cleaning 42004 clauses out of 84013 with flag 1943000/3955650
1128.47/1122.95	c cleaning 41997 clauses out of 84010 with flag 1985001/3997651
1141.03/1135.41	c cleaning 42002 clauses out of 84012 with flag 2027000/4039650
1154.19/1148.56	c cleaning 41999 clauses out of 84010 with flag 2069000/4081650
1169.40/1163.73	c cleaning 42001 clauses out of 84011 with flag 2111000/4123650
1185.23/1179.55	c cleaning 42004 clauses out of 84010 with flag 2153000/4165650
1198.06/1192.37	c cleaning 41998 clauses out of 84006 with flag 2195000/4207650
1210.50/1204.73	c cleaning 42004 clauses out of 84011 with flag 2237003/4249653
1224.65/1218.88	c cleaning 41992 clauses out of 84005 with flag 2279001/4291651
1238.47/1232.65	c cleaning 42000 clauses out of 84012 with flag 2321000/4333650
1251.70/1245.89	c cleaning 42003 clauses out of 84013 with flag 2363001/4375651
1265.82/1259.99	c cleaning 42002 clauses out of 84010 with flag 2405001/4417651
1281.15/1275.27	c cleaning 41996 clauses out of 84007 with flag 2447000/4459650
1296.48/1290.51	c cleaning 42001 clauses out of 84011 with flag 2489000/4501650
1305.46/1299.40	c cleaning 42003 clauses out of 84011 with flag 2531001/4543651
1316.21/1310.13	c cleaning 41986 clauses out of 84009 with flag 2573002/4585652
1328.46/1322.32	c cleaning 41995 clauses out of 84022 with flag 2615001/4627651
1340.99/1334.85	c cleaning 42009 clauses out of 84026 with flag 2657000/4669650
1351.31/1345.19	c cleaning 41989 clauses out of 84017 with flag 2699000/4711650
1363.84/1357.61	c cleaning 42007 clauses out of 84029 with flag 2741001/4753651
1375.80/1369.57	c cleaning 42002 clauses out of 84021 with flag 2783000/4795650
1388.32/1382.07	c cleaning 42007 clauses out of 84019 with flag 2825000/4837650
1401.15/1394.92	c cleaning 42001 clauses out of 84012 with flag 2867000/4879650
1413.85/1407.57	c cleaning 41997 clauses out of 84011 with flag 2909000/4921650
1425.41/1419.04	c cleaning 41988 clauses out of 84014 with flag 2951000/4963650
1437.23/1430.82	c cleaning 41999 clauses out of 84026 with flag 2993000/5005650
1449.85/1443.47	c cleaning 42007 clauses out of 84028 with flag 3035001/5047651
1463.57/1457.11	c cleaning 41999 clauses out of 84021 with flag 3077001/5089651
1477.90/1471.49	c cleaning 42003 clauses out of 84021 with flag 3119000/5131650
1488.93/1482.41	c cleaning 41998 clauses out of 84018 with flag 3161000/5173650
1501.75/1495.28	c cleaning 42005 clauses out of 84020 with flag 3203000/5215650
1513.78/1507.29	c cleaning 42000 clauses out of 84015 with flag 3245000/5257650
1526.09/1519.58	c cleaning 41999 clauses out of 84015 with flag 3287000/5299650
1540.52/1533.92	c cleaning 41998 clauses out of 84017 with flag 3329001/5341651
1555.47/1548.88	c cleaning 42005 clauses out of 84019 with flag 3371001/5383651
1570.17/1563.59	c cleaning 42007 clauses out of 84014 with flag 3413001/5425651
1586.10/1579.43	c cleaning 41993 clauses out of 84006 with flag 3455000/5467650
1598.54/1591.86	c cleaning 41997 clauses out of 84013 with flag 3497000/5509650
1612.66/1605.97	c cleaning 42002 clauses out of 84016 with flag 3539000/5551650
1626.61/1619.85	c cleaning 42003 clauses out of 84015 with flag 3581001/5593651
1640.46/1633.69	c cleaning 42005 clauses out of 84011 with flag 3623000/5635650
1656.45/1649.63	c cleaning 42003 clauses out of 84006 with flag 3665000/5677650
1671.80/1664.91	c cleaning 41998 clauses out of 84004 with flag 3707001/5719651
1685.93/1679.04	c cleaning 42000 clauses out of 84005 with flag 3749000/5761650
1701.94/1695.02	c cleaning 42002 clauses out of 84005 with flag 3791000/5803650
1716.76/1709.86	c cleaning 42003 clauses out of 84005 with flag 3833002/5845652
1731.18/1724.21	c cleaning 41998 clauses out of 84000 with flag 3875000/5887650
1746.90/1739.95	c cleaning 41997 clauses out of 84002 with flag 3917000/5929650
1761.73/1754.71	c cleaning 42000 clauses out of 84006 with flag 3959001/5971651
1773.25/1766.21	c cleaning 41991 clauses out of 84006 with flag 4001001/6013651
1787.39/1780.32	c cleaning 41984 clauses out of 84014 with flag 4043000/6055650
1799.53/1792.45	c cleaning 42000 clauses out of 84030 with flag 4085000/6097650
1800.07/1792.92	c starts		: 280
1800.07/1792.92	c conflicts		: 6099553
1800.07/1792.92	c decisions		: 6558056
1800.07/1792.92	c propagations		: 36369331
1800.07/1792.92	c inspects		: 8014781956
1800.07/1792.92	c shortcuts		: 0
1800.07/1792.92	c learnt literals	: 0
1800.07/1792.92	c learnt binary clauses	: 0
1800.07/1792.92	c learnt ternary clauses	: 0
1800.07/1792.92	c learnt constraints	: 6099552
1800.07/1792.92	c ignored constraints	: 0
1800.07/1792.92	c root simplifications	: 0
1800.07/1792.92	c removed literals (reason simplification)	: 89659026
1800.07/1792.92	c reason swapping (by a shorter reason)	: 0
1800.07/1792.92	c Calls to reduceDB	: 189
1800.07/1792.92	c number of reductions to clauses (during analyze)	: 0
1800.07/1792.92	c number of learned constraints concerned by reduction	: 0
1800.07/1792.92	c number of learning phase by resolution	: 0
1800.07/1792.92	c number of learning phase by cutting planes	: 0
1800.07/1792.92	c speed (assignments/second)	: 29024.819579216357
1800.07/1792.92	c non guided choices	0
1800.07/1792.94	c learnt constraints type 
1800.07/1792.94	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 44036
1800.07/1792.94	c constraints type 
1800.07/1792.94	c org.sat4j.minisat.constraints.card.MinWatchCard => 1
1800.07/1792.94	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 41314
1800.07/1792.94	s SATISFIABLE
1800.07/1792.95	v -x1 x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 x207 -x208 -x209 -x210 x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 
1800.07/1792.95	c objective function=-34
1800.07/1792.95	c Total wall clock time (in seconds): 1792.832

Verifier Data 

OK	-34

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 977)

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-3458914-1307148418/watcher-3458914-1307148418 -o /tmp/evaluation-result-3458914-1307148418/solver-3458914-1307148418 -C 1800 -W 1900 -M 15500 java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution HOME/instance-3458914-1307148418.opb 

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

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


[startup+0 s]
/proc/loadavg: 2.03 2.05 2.00 2/533 14020
/proc/meminfo: memFree=25166892/32951124 swapFree=46970528/67111528
[pid=14020] ppid=14018 vsize=35788 CPUtime=0 cores=1,3,5,7
/proc/14020/stat : 14020 (java) S 14018 14020 11903 0 -1 4202496 1316 0 0 0 0 0 0 0 17 0 2 0 807258080 36646912 1018 33554432000 1073741824 1073778376 140737188686176 18446744073709551615 212051458021 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0
/proc/14020/statm: 8947 1018 782 9 0 386 0
[pid=14020/tid=14021] ppid=14018 vsize=13526316 CPUtime=0 cores=1,3,5,7
/proc/14020/task/14021/stat : 14021 (java) R 14018 14020 11903 0 -1 4202560 5635 0 1 0 0 0 0 0 18 0 2 0 807258080 13850947584 6451 33554432000 1073741824 1073778376 140737188686176 18446744073709551615 212039349307 0 4 0 16784584 0 0 0 -1 3 0 0 0

[startup+0.116052 s]
/proc/loadavg: 2.03 2.05 2.00 2/533 14020
/proc/meminfo: memFree=25166892/32951124 swapFree=46970528/67111528
[pid=14020] ppid=14018 vsize=13621896 CPUtime=0.12 cores=1,3,5,7
/proc/14020/stat : 14020 (java) S 14018 14020 11903 0 -1 4202496 15725 0 1 0 10 2 0 0 17 0 18 0 807258080 13948821504 15371 33554432000 1073741824 1073778376 140737188686176 18446744073709551615 212051458021 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/14020/statm: 3405474 15371 2114 9 0 3396208 0
[pid=14020/tid=14021] ppid=14018 vsize=13621896 CPUtime=0.09 cores=1,3,5,7
/proc/14020/task/14021/stat : 14021 (java) R 14018 14020 11903 0 -1 4202560 13749 0 1 0 8 1 0 0 25 0 18 0 807258080 13948821504 15371 33554432000 1073741824 1073778376 140737188686176 18446744073709551615 212051482059 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.12
Current children cumulated vsize (KiB) 13621896

[startup+0.201035 s]
/proc/loadavg: 2.03 2.05 2.00 2/533 14020
/proc/meminfo: memFree=25166892/32951124 swapFree=46970528/67111528
[pid=14020] ppid=14018 vsize=13622416 CPUtime=0.26 cores=1,3,5,7
/proc/14020/stat : 14020 (java) S 14018 14020 11903 0 -1 4202496 16431 0 1 0 24 2 0 0 17 0 18 0 807258080 13949353984 16077 33554432000 1073741824 1073778376 140737188686176 18446744073709551615 212051458021 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/14020/statm: 3405604 16077 2180 9 0 3396338 0
[pid=14020/tid=14021] ppid=14018 vsize=13622416 CPUtime=0.18 cores=1,3,5,7
/proc/14020/task/14021/stat : 14021 (java) R 14018 14020 11903 0 -1 4202560 14255 0 1 0 17 1 0 0 25 0 18 0 807258080 13949353984 16077 33554432000 1073741824 1073778376 140737188686176 18446744073709551615 47673484768904 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.26
Current children cumulated vsize (KiB) 13622416

[startup+0.301019 s]
/proc/loadavg: 2.03 2.05 2.00 2/533 14020
/proc/meminfo: memFree=25166892/32951124 swapFree=46970528/67111528
[pid=14020] ppid=14018 vsize=13623280 CPUtime=0.46 cores=1,3,5,7
/proc/14020/stat : 14020 (java) S 14018 14020 11903 0 -1 4202496 18187 0 1 0 44 2 0 0 17 0 18 0 807258080 13950238720 17562 33554432000 1073741824 1073778376 140737188686176 18446744073709551615 212051458021 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/14020/statm: 3405820 17562 2200 9 0 3396554 0
[pid=14020/tid=14021] ppid=14018 vsize=13623280 CPUtime=0.28 cores=1,3,5,7
/proc/14020/task/14021/stat : 14021 (java) R 14018 14020 11903 0 -1 4202560 15344 0 1 0 27 1 0 0 25 0 18 0 807258080 13950238720 17563 33554432000 1073741824 1073778376 140737188686176 18446744073709551615 46912505219208 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.46
Current children cumulated vsize (KiB) 13623280

[startup+0.700984 s]
/proc/loadavg: 2.03 2.05 2.00 2/533 14020
/proc/meminfo: memFree=25166892/32951124 swapFree=46970528/67111528
[pid=14020] ppid=14018 vsize=13627456 CPUtime=1.42 cores=1,3,5,7
/proc/14020/stat : 14020 (java) S 14018 14020 11903 0 -1 4202496 38639 0 1 0 138 4 0 0 17 0 19 0 807258080 13954514944 35772 33554432000 1073741824 1073778376 140737188686176 18446744073709551615 212051458021 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/14020/statm: 3406864 35772 2231 9 0 3397598 0
[pid=14020/tid=14021] ppid=14018 vsize=13627456 CPUtime=0.68 cores=1,3,5,7
/proc/14020/task/14021/stat : 14021 (java) R 14018 14020 11903 0 -1 4202560 31197 0 1 0 65 3 0 0 19 0 19 0 807258080 13954514944 35772 33554432000 1073741824 1073778376 140737188686176 18446744073709551615 47673488407379 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1.42
Current children cumulated vsize (KiB) 13627456

[startup+1.50081 s]
/proc/loadavg: 2.18 2.08 2.02 4/572 14084
/proc/meminfo: memFree=24897056/32951124 swapFree=46970528/67111528
[pid=14020] ppid=14018 vsize=13627456 CPUtime=2.32 cores=1,3,5,7
/proc/14020/stat : 14020 (java) S 14018 14020 11903 0 -1 4202496 47404 0 1 0 226 6 0 0 17 0 19 0 807258080 13954514944 44531 33554432000 1073741824 1073778376 140737188686176 18446744073709551615 212051458021 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/14020/statm: 3406864 44531 2262 9 0 3397598 0
[pid=14020/tid=14021] ppid=14018 vsize=13627456 CPUtime=1.45 cores=1,3,5,7
/proc/14020/task/14021/stat : 14021 (java) R 14018 14020 11903 0 -1 4202560 34767 0 1 0 141 4 0 0 20 0 19 0 807258080 13954514944 44531 33554432000 1073741824 1073778376 140737188686176 18446744073709551615 46912505872204 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=14020/tid=14023] ppid=14018 vsize=13627456 CPUtime=0 cores=1,3,5,7
/proc/14020/task/14023/stat : 14023 (java) S 14018 14020 11903 0 -1 4202560 500 0 0 0 0 0 0 0 18 0 19 0 807258082 13954514944 44531 33554432000 1073741824 1073778376 140737188686176 18446744073709551615 212051471257 0 4 0 16800975 18446604466800846848 0 0 -1 3 0 0 0
[pid=14020/tid=14024] ppid=14018 vsize=13627456 CPUtime=0 cores=1,3,5,7
/proc/14020/task/14024/stat : 14024 (java) S 14018 14020 11903 0 -1 4202560 1522 0 0 0 0 0 0 0 18 0 19 0 807258082 13954514944 44531 33554432000 1073741824 1073778376 140737188686176 18446744073709551615 212051471257 0 4 0 16800975 18446604466800846848 0 0 -1 3 0 0 0
[pid=14020/tid=14025] ppid=14018 vsize=13627456 CPUtime=0 cores=1,3,5,7
/proc/14020/task/14025/stat : 14025 (java) S 14018 14020 11903 0 -1 4202560 409 0 0 0 0 0 0 0 18 0 19 0 807258083 13954514944 44531 33554432000 1073741824 1073778376 140737188686176 18446744073709551615 212051471257 0 4 0 16800975 18446604466800846848 0 0 -1 5 0 0 0
[pid=14020/tid=14026] ppid=14018 vsize=13627456 CPUtime=0 cores=1,3,5,7
/proc/14020/task/14026/stat : 14026 (java) S 14018 14020 11903 0 -1 4202560 180 0 0 0 0 0 0 0 18 0 19 0 807258083 13954514944 44531 33554432000 1073741824 1073778376 140737188686176 18446744073709551615 212051471257 0 4 0 16800975 18446604466800846848 0 0 -1 1 0 0 0
[pid=14020/tid=14027] ppid=14018 vsize=13627456 CPUtime=0 cores=1,3,5,7
/proc/14020/task/14027/stat : 14027 (java) S 14018 14020 11903 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 807258083 13954514944 44531 33554432000 1073741824 1073778376 140737188686176 18446744073709551615 212051471257 0 4 0 16800975 18446604466800846848 0 0 -1 3 0 0 0
[pid=14020/tid=14028] ppid=14018 vsize=13627456 CPUtime=0 cores=1,3,5,7
/proc/14020/task/14028/stat : 14028 (java) S 14018 14020 11903 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 807258083 13954514944 44531 33554432000 1073741824 1073778376 140737188686176 18446744073709551615 212051471257 0 4 0 16800975 18446604466800846848 0 0 -1 3 0 0 0
[pid=14020/tid=14029] ppid=14018 vsize=13627456 CPUtime=0 cores=1,3,5,7
/proc/14020/task/14029/stat : 14029 (java) S 14018 14020 11903 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 807258083 13954514944 44531 33554432000 1073741824 1073778376 140737188686176 18446744073709551615 212051471257 0 4 0 16800975 18446604466800846848 0 0 -1 3 0 0 0
[pid=14020/tid=14030] ppid=14018 vsize=13627456 CPUtime=0 cores=1,3,5,7
/proc/14020/task/14030/stat : 14030 (java) S 14018 14020 11903 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 807258083 13954514944 44531 33554432000 1073741824 1073778376 140737188686176 18446744073709551615 212051471257 0 4 0 16800975 18446604466800846848 0 0 -1 3 0 0 0
[pid=14020/tid=14031] ppid=14018 vsize=13627456 CPUtime=0.02 cores=1,3,5,7
/proc/14020/task/14031/stat : 14031 (java) S 14018 14020 11903 0 -1 4202560 2563 0 0 0 2 0 0 0 15 0 19 0 807258084 13954514944 44531 33554432000 1073741824 1073778376 140737188686176 18446744073709551615 212051471872 0 0 0 16800975 18446604466800846848 0 0 -1 7 0 0 0
[pid=14020/tid=14032] ppid=14018 vsize=13627456 CPUtime=0 cores=1,3,5,7
/proc/14020/task/14032/stat : 14032 (java) S 14018 14020 11903 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 807258084 13954514944 44531 33554432000 1073741824 1073778376 140737188686176 18446744073709551615 212051471257 0 4 0 16800975 18446604466800846848 0 0 -1 3 0 0 0
[pid=14020/tid=14033] ppid=14018 vsize=13627456 CPUtime=0 cores=1,3,5,7
/proc/14020/task/14033/stat : 14033 (java) S 14018 14020 11903 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 807258084 13954514944 44531 33554432000 1073741824 1073778376 140737188686176 18446744073709551615 212051471257 0 4 0 16800975 18446604466800846848 0 0 -1 3 0 0 0
[pid=14020/tid=14034] ppid=14018 vsize=13627456 CPUtime=0 cores=1,3,5,7
/proc/14020/task/14034/stat : 14034 (java) S 14018 14020 11903 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807258086 13954514944 44531 33554432000 1073741824 1073778376 140737188686176 18446744073709551615 212051478961 0 4 0 16800975 18446604466800846848 0 0 -1 3 0 0 0
[pid=14020/tid=14035] ppid=14018 vsize=13627456 CPUtime=0.4 cores=1,3,5,7
/proc/14020/task/14035/stat : 14035 (java) S 14018 14020 11903 0 -1 4202560 1802 0 0 0 40 0 0 0 15 0 19 0 807258086 13954514944 44531 33554432000 1073741824 1073778376 140737188686176 18446744073709551615 212051471257 0 4 0 16800975 18446604466800846848 0 0 -1 7 0 0 0
[pid=14020/tid=14036] ppid=14018 vsize=13627456 CPUtime=0.41 cores=1,3,5,7
/proc/14020/task/14036/stat : 14036 (java) S 14018 14020 11903 0 -1 4202560 4507 0 0 0 41 0 0 0 16 0 19 0 807258086 13954514944 44531 33554432000 1073741824 1073778376 140737188686176 18446744073709551615 212051471257 0 4 0 16800975 18446604466800846848 0 0 -1 5 0 0 0
[pid=14020/tid=14037] ppid=14018 vsize=13627456 CPUtime=0 cores=1,3,5,7
/proc/14020/task/14037/stat : 14037 (java) S 14018 14020 11903 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807258086 13954514944 44531 33554432000 1073741824 1073778376 140737188686176 18446744073709551615 212051471257 0 4 0 16800975 18446604466800846848 0 0 -1 3 0 0 0
[pid=14020/tid=14038] ppid=14018 vsize=13627456 CPUtime=0 cores=1,3,5,7
/proc/14020/task/14038/stat : 14038 (java) S 14018 14020 11903 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 807258086 13954514944 44531 33554432000 1073741824 1073778376 140737188686176 18446744073709551615 212051471872 0 4 0 16800975 18446604466800846848 0 0 -1 5 0 0 0
[pid=14020/tid=14083] ppid=14018 vsize=13627456 CPUtime=0 cores=1,3,5,7
/proc/14020/task/14083/stat : 14083 (java) S 14018 14020 11903 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 807258134 13954514944 44531 33554432000 1073741824 1073778376 140737188686176 18446744073709551615 212051471872 0 4 0 16800975 18446604466800846848 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2.32
Current children cumulated vsize (KiB) 13627456

[startup+3.10156 s]
/proc/loadavg: 2.18 2.08 2.02 3/572 14084
/proc/meminfo: memFree=24822160/32951124 swapFree=46970528/67111528
[pid=14020] ppid=14018 vsize=13627456 CPUtime=3.98 cores=1,3,5,7
/proc/14020/stat : 14020 (java) S 14018 14020 11903 0 -1 4202496 53977 0 1 0 391 7 0 0 17 0 19 0 807258080 13954514944 50987 33554432000 1073741824 1073778376 140737188686176 18446744073709551615 212051458021 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/14020/statm: 3406864 50987 2262 9 0 3397598 0
[pid=14020/tid=14021] ppid=14018 vsize=13627456 CPUtime=3.01 cores=1,3,5,7
/proc/14020/task/14021/stat : 14021 (java) R 14018 14020 11903 0 -1 4202560 34769 0 1 0 297 4 0 0 18 0 19 0 807258080 13954514944 50987 33554432000 1073741824 1073778376 140737188686176 18446744073709551615 46912505872015 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=14020/tid=14023] ppid=14018 vsize=13627456 CPUtime=0 cores=1,3,5,7
/proc/14020/task/14023/stat : 14023 (java) S 14018 14020 11903 0 -1 4202560 500 0 0 0 0 0 0 0 18 0 19 0 807258082 13954514944 50987 33554432000 1073741824 1073778376 140737188686176 18446744073709551615 212051471257 0 4 0 16800975 18446604466800846848 0 0 -1 3 0 0 0
[pid=14020/tid=14024] ppid=14018 vsize=13627456 CPUtime=0 cores=1,3,5,7
/proc/14020/task/14024/stat : 14024 (java) S 14018 14020 11903 0 -1 4202560 1833 0 0 0 0 0 0 0 18 0 19 0 807258082 13954514944 50987 33554432000 1073741824 1073778376 140737188686176 18446744073709551615 212051471257 0 4 0 16800975 18446604466800846848 0 0 -1 3 0 0 0
[pid=14020/tid=14025] ppid=14018 vsize=13627456 CPUtime=0 cores=1,3,5,7
/proc/14020/task/14025/stat : 14025 (java) S 14018 14020 11903 0 -1 4202560 409 0 0 0 0 0 0 0 17 0 19 0 807258083 13954514944 50987 33554432000 1073741824 1073778376 140737188686176 18446744073709551615 212051471257 0 4 0 16800975 18446604466800846848 0 0 -1 5 0 0 0
[pid=14020/tid=14026] ppid=14018 vsize=13627456 CPUtime=0 cores=1,3,5,7
/proc/14020/task/14026/stat : 14026 (java) S 14018 14020 11903 0 -1 4202560 180 0 0 0 0 0 0 0 15 0 19 0 807258083 13954514944 50987 33554432000 1073741824 1073778376 140737188686176 18446744073709551615 212051471257 0 4 0 16800975 18446604466800846848 0 0 -1 1 0 0 0
[pid=14020/tid=14027] ppid=14018 vsize=13627456 CPUtime=0 cores=1,3,5,7
/proc/14020/task/14027/stat : 14027 (java) S 14018 14020 11903 0 -1 4202560 1031 0 0 0 0 0 0 0 18 0 19 0 807258083 13954514944 50987 33554432000 1073741824 1073778376 140737188686176 18446744073709551615 212051471257 0 4 0 16800975 18446604466800846848 0 0 -1 1 0 0 0
[pid=14020/tid=14028] ppid=14018 vsize=13627456 CPUtime=0 cores=1,3,5,7
/proc/14020/task/14028/stat : 14028 (java) S 14018 14020 11903 0 -1 4202560 1423 0 0 0 0 0 0 0 18 0 19 0 807258083 13954514944 50987 33554432000 1073741824 1073778376 140737188686176 18446744073709551615 212051471257 0 4 0 16800975 18446604466800846848 0 0 -1 5 0 0 0
[pid=14020/tid=14029] ppid=14018 vsize=13627456 CPUtime=0 cores=1,3,5,7
/proc/14020/task/14029/stat : 14029 (java) S 14018 14020 11903 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 807258083 13954514944 50987 33554432000 1073741824 1073778376 140737188686176 18446744073709551615 212051471257 0 4 0 16800975 18446604466800846848 0 0 -1 3 0 0 0
[pid=14020/tid=14030] ppid=14018 vsize=13627456 CPUtime=0 cores=1,3,5,7
/proc/14020/task/14030/stat : 14030 (java) S 14018 14020 11903 0 -1 4202560 1426 0 0 0 0 0 0 0 15 0 19 0 807258083 13954514944 50987 33554432000 1073741824 1073778376 140737188686176 18446744073709551615 212051471257 0 4 0 16800975 18446604466800846848 0 0 -1 3 0 0 0
[pid=14020/tid=14031] ppid=14018 vsize=13627456 CPUtime=0.04 cores=1,3,5,7
/proc/14020/task/14031/stat : 14031 (java) S 14018 14020 11903 0 -1 4202560 4822 0 0 0 4 0 0 0 15 0 19 0 807258084 13954514944 50987 33554432000 1073741824 1073778376 140737188686176 18446744073709551615 212051471872 0 0 0 16800975 18446604466800846848 0 0 -1 7 0 0 0
[pid=14020/tid=14032] ppid=14018 vsize=13627456 CPUtime=0 cores=1,3,5,7
/proc/14020/task/14032/stat : 14032 (java) S 14018 14020 11903 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 807258084 13954514944 50987 33554432000 1073741824 1073778376 140737188686176 18446744073709551615 212051471257 0 4 0 16800975 18446604466800846848 0 0 -1 3 0 0 0
[pid=14020/tid=14033] ppid=14018 vsize=13627456 CPUtime=0 cores=1,3,5,7
/proc/14020/task/14033/stat : 14033 (java) S 14018 14020 11903 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 807258084 13954514944 50987 33554432000 1073741824 1073778376 140737188686176 18446744073709551615 212051471257 0 4 0 16800975 18446604466800846848 0 0 -1 3 0 0 0
[pid=14020/tid=14034] ppid=14018 vsize=13627456 CPUtime=0 cores=1,3,5,7
/proc/14020/task/14034/stat : 14034 (java) S 14018 14020 11903 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807258086 13954514944 50987 33554432000 1073741824 1073778376 140737188686176 18446744073709551615 212051478961 0 4 0 16800975 18446604466800846848 0 0 -1 3 0 0 0
[pid=14020/tid=14035] ppid=14018 vsize=13627456 CPUtime=0.41 cores=1,3,5,7
/proc/14020/task/14035/stat : 14035 (java) S 14018 14020 11903 0 -1 4202560 1804 0 0 0 41 0 0 0 15 0 19 0 807258086 13954514944 50987 33554432000 1073741824 1073778376 140737188686176 18446744073709551615 212051471257 0 4 0 16800975 18446604466800846848 0 0 -1 7 0 0 0
[pid=14020/tid=14036] ppid=14018 vsize=13627456 CPUtime=0.45 cores=1,3,5,7
/proc/14020/task/14036/stat : 14036 (java) S 14018 14020 11903 0 -1 4202560 4629 0 0 0 45 0 0 0 15 0 19 0 807258086 13954514944 50987 33554432000 1073741824 1073778376 140737188686176 18446744073709551615 212051471257 0 4 0 16800975 18446604466800846848 0 0 -1 5 0 0 0
[pid=14020/tid=14037] ppid=14018 vsize=13627456 CPUtime=0 cores=1,3,5,7
/proc/14020/task/14037/stat : 14037 (java) S 14018 14020 11903 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807258086 13954514944 50987 33554432000 1073741824 1073778376 140737188686176 18446744073709551615 212051471257 0 4 0 16800975 18446604466800846848 0 0 -1 3 0 0 0
[pid=14020/tid=14038] ppid=14018 vsize=13627456 CPUtime=0 cores=1,3,5,7
/proc/14020/task/14038/stat : 14038 (java) S 14018 14020 11903 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 807258086 13954514944 50987 33554432000 1073741824 1073778376 140737188686176 18446744073709551615 212051471872 0 4 0 16800975 18446604466800846848 0 0 -1 1 0 0 0
[pid=14020/tid=14083] ppid=14018 vsize=13627456 CPUtime=0 cores=1,3,5,7
/proc/14020/task/14083/stat : 14083 (java) S 14018 14020 11903 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 807258134 13954514944 50987 33554432000 1073741824 1073778376 140737188686176 18446744073709551615 212051471872 0 4 0 16800975 18446604466800846848 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3.98
Current children cumulated vsize (KiB) 13627456

[startup+6.30098 s]
/proc/loadavg: 2.17 2.08 2.01 3/572 14084
/proc/meminfo: memFree=24733268/32951124 swapFree=46970528/67111528
[pid=14020] ppid=14018 vsize=13627612 CPUtime=7.24 cores=1,3,5,7
/proc/14020/stat : 14020 (java) S 14018 14020 11903 0 -1 4202496 58679 0 1 0 716 8 0 0 17 0 19 0 807258080 13954674688 55639 33554432000 1073741824 1073778376 140737188686176 18446744073709551615 212051458021 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/14020/statm: 3406903 55639 2262 9 0 3397637 0
[pid=14020/tid=14021] ppid=14018 vsize=13627612 CPUtime=6.14 cores=1,3,5,7
/proc/14020/task/14021/stat : 14021 (java) R 14018 14020 11903 0 -1 4202560 34772 0 1 0 610 4 0 0 19 0 19 0 807258080 13954674688 55639 33554432000 1073741824 1073778376 140737188686176 18446744073709551615 46912505902957 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=14020/tid=14023] ppid=14018 vsize=13627612 CPUtime=0 cores=1,3,5,7
/proc/14020/task/14023/stat : 14023 (java) S 14018 14020 11903 0 -1 4202560 1020 0 0 0 0 0 0 0 15 0 19 0 807258082 13954674688 55639 33554432000 1073741824 1073778376 140737188686176 18446744073709551615 212051471257 0 4 0 16800975 18446604466800846848 0 0 -1 3 0 0 0
[pid=14020/tid=14024] ppid=14018 vsize=13627612 CPUtime=0 cores=1,3,5,7
/proc/14020/task/14024/stat : 14024 (java) S 14018 14020 11903 0 -1 4202560 2455 0 0 0 0 0 0 0 15 0 19 0 807258082 13954674688 55639 33554432000 1073741824 1073778376 140737188686176 18446744073709551615 212051471257 0 4 0 16800975 18446604466800846848 0 0 -1 3 0 0 0
[pid=14020/tid=14025] ppid=14018 vsize=13627612 CPUtime=0 cores=1,3,5,7
/proc/14020/task/14025/stat : 14025 (java) S 14018 14020 11903 0 -1 4202560 811 0 0 0 0 0 0 0 16 0 19 0 807258083 13954674688 55639 33554432000 1073741824 1073778376 140737188686176 18446744073709551615 212051471257 0 4 0 16800975 18446604466800846848 0 0 -1 5 0 0 0
[pid=14020/tid=14026] ppid=14018 vsize=13627612 CPUtime=0 cores=1,3,5,7
/proc/14020/task/14026/stat : 14026 (java) S 14018 14020 11903 0 -1 4202560 686 0 0 0 0 0 0 0 15 0 19 0 807258083 13954674688 55639 33554432000 1073741824 1073778376 140737188686176 18446744073709551615 212051471257 0 4 0 16800975 18446604466800846848 0 0 -1 7 0 0 0
[pid=14020/tid=14027] ppid=14018 vsize=13627612 CPUtime=0 cores=1,3,5,7
/proc/14020/task/14027/stat : 14027 (java) S 14018 14020 11903 0 -1 4202560 1212 0 0 0 0 0 0 0 15 0 19 0 807258083 13954674688 55639 33554432000 1073741824 1073778376 140737188686176 18446744073709551615 212051471257 0 4 0 16800975 18446604466800846848 0 0 -1 5 0 0 0
[pid=14020/tid=14028] ppid=14018 vsize=13627612 CPUtime=0 cores=1,3,5,7
/proc/14020/task/14028/stat : 14028 (java) S 14018 14020 11903 0 -1 4202560 1804 0 0 0 0 0 0 0 16 0 19 0 807258083 13954674688 55639 33554432000 1073741824 1073778376 140737188686176 18446744073709551615 212051471257 0 4 0 16800975 18446604466800846848 0 0 -1 7 0 0 0
[pid=14020/tid=14029] ppid=14018 vsize=13627612 CPUtime=0 cores=1,3,5,7
/proc/14020/task/14029/stat : 14029 (java) S 14018 14020 11903 0 -1 4202560 399 0 0 0 0 0 0 0 16 0 19 0 807258083 13954674688 55639 33554432000 1073741824 1073778376 140737188686176 18446744073709551615 212051471257 0 4 0 16800975 18446604466800846848 0 0 -1 7 0 0 0
[pid=14020/tid=14030] ppid=14018 vsize=13627612 CPUtime=0 cores=1,3,5,7
/proc/14020/task/14030/stat : 14030 (java) S 14018 14020 11903 0 -1 4202560 1860 0 0 0 0 0 0 0 16 0 19 0 807258083 13954674688 55639 33554432000 1073741824 1073778376 140737188686176 18446744073709551615 212051471257 0 4 0 16800975 18446604466800846848 0 0 -1 3 0 0 0
[pid=14020/tid=14031] ppid=14018 vsize=13627612 CPUtime=0.09 cores=1,3,5,7
/proc/14020/task/14031/stat : 14031 (java) S 14018 14020 11903 0 -1 4202560 6049 0 0 0 9 0 0 0 15 0 19 0 807258084 13954674688 55639 33554432000 1073741824 1073778376 140737188686176 18446744073709551615 212051471872 0 0 0 16800975 18446604466800846848 0 0 -1 1 0 0 0
[pid=14020/tid=14032] ppid=14018 vsize=13627612 CPUtime=0 cores=1,3,5,7
/proc/14020/task/14032/stat : 14032 (java) S 14018 14020 11903 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 807258084 13954674688 55639 33554432000 1073741824 1073778376 140737188686176 18446744073709551615 212051471257 0 4 0 16800975 18446604466800846848 0 0 -1 3 0 0 0
[pid=14020/tid=14033] ppid=14018 vsize=13627612 CPUtime=0 cores=1,3,5,7
/proc/14020/task/14033/stat : 14033 (java) S 14018 14020 11903 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 807258084 13954674688 55639 33554432000 1073741824 1073778376 140737188686176 18446744073709551615 212051471257 0 4 0 16800975 18446604466800846848 0 0 -1 3 0 0 0
[pid=14020/tid=14034] ppid=14018 vsize=13627612 CPUtime=0 cores=1,3,5,7
/proc/14020/task/14034/stat : 14034 (java) S 14018 14020 11903 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807258086 13954674688 55639 33554432000 1073741824 1073778376 140737188686176 18446744073709551615 212051478961 0 4 0 16800975 18446604466800846848 0 0 -1 3 0 0 0
[pid=14020/tid=14035] ppid=14018 vsize=13627612 CPUtime=0.45 cores=1,3,5,7
/proc/14020/task/14035/stat : 14035 (java) S 14018 14020 11903 0 -1 4202560 1832 0 0 0 45 0 0 0 15 0 19 0 807258086 13954674688 55639 33554432000 1073741824 1073778376 140737188686176 18446744073709551615 212051471257 0 4 0 16800975 18446604466800846848 0 0 -1 7 0 0 0
[pid=14020/tid=14036] ppid=14018 vsize=13627612 CPUtime=0.45 cores=1,3,5,7
/proc/14020/task/14036/stat : 14036 (java) S 14018 14020 11903 0 -1 4202560 4629 0 0 0 45 0 0 0 15 0 19 0 807258086 13954674688 55639 33554432000 1073741824 1073778376 140737188686176 18446744073709551615 212051471257 0 4 0 16800975 18446604466800846848 0 0 -1 5 0 0 0

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

[pid=14020/tid=14028] ppid=14018 vsize=13627612 CPUtime=0.99 cores=1,3,5,7
/proc/14020/task/14028/stat : 14028 (java) S 14018 14020 11903 0 -1 4202560 6293 0 0 0 98 1 0 0 16 0 19 0 807258083 13954674688 163275 33554432000 1073741824 1073778376 140737188686176 18446744073709551615 212051471257 0 4 0 16800975 18446604466800846848 0 0 -1 5 0 0 0
[pid=14020/tid=14029] ppid=14018 vsize=13627612 CPUtime=1.06 cores=1,3,5,7
/proc/14020/task/14029/stat : 14029 (java) S 14018 14020 11903 0 -1 4202560 4982 0 0 0 105 1 0 0 15 0 19 0 807258083 13954674688 163275 33554432000 1073741824 1073778376 140737188686176 18446744073709551615 212051471257 0 4 0 16800975 18446604466800846848 0 0 -1 1 0 0 0
[pid=14020/tid=14030] ppid=14018 vsize=13627612 CPUtime=1.06 cores=1,3,5,7
/proc/14020/task/14030/stat : 14030 (java) S 14018 14020 11903 0 -1 4202560 6386 0 0 0 105 1 0 0 15 0 19 0 807258083 13954674688 163275 33554432000 1073741824 1073778376 140737188686176 18446744073709551615 212051471257 0 4 0 16800975 18446604466800846848 0 0 -1 5 0 0 0
[pid=14020/tid=14031] ppid=14018 vsize=13627612 CPUtime=11.06 cores=1,3,5,7
/proc/14020/task/14031/stat : 14031 (java) S 14018 14020 11903 0 -1 4202560 56189 0 0 0 1099 7 0 0 15 0 19 0 807258084 13954674688 163275 33554432000 1073741824 1073778376 140737188686176 18446744073709551615 212051471872 0 0 0 16800975 18446604466800846848 0 0 -1 3 0 0 0
[pid=14020/tid=14032] ppid=14018 vsize=13627612 CPUtime=0 cores=1,3,5,7
/proc/14020/task/14032/stat : 14032 (java) S 14018 14020 11903 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 807258084 13954674688 163275 33554432000 1073741824 1073778376 140737188686176 18446744073709551615 212051471257 0 4 0 16800975 18446604466800846848 0 0 -1 3 0 0 0
[pid=14020/tid=14033] ppid=14018 vsize=13627612 CPUtime=0 cores=1,3,5,7
/proc/14020/task/14033/stat : 14033 (java) S 14018 14020 11903 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 807258084 13954674688 163275 33554432000 1073741824 1073778376 140737188686176 18446744073709551615 212051471257 0 4 0 16800975 18446604466800846848 0 0 -1 3 0 0 0
[pid=14020/tid=14034] ppid=14018 vsize=13627612 CPUtime=0 cores=1,3,5,7
/proc/14020/task/14034/stat : 14034 (java) S 14018 14020 11903 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807258086 13954674688 163275 33554432000 1073741824 1073778376 140737188686176 18446744073709551615 212051478961 0 4 0 16800975 18446604466800846848 0 0 -1 3 0 0 0
[pid=14020/tid=14035] ppid=14018 vsize=13627612 CPUtime=0.55 cores=1,3,5,7
/proc/14020/task/14035/stat : 14035 (java) S 14018 14020 11903 0 -1 4202560 1884 0 0 0 55 0 0 0 15 0 19 0 807258086 13954674688 163275 33554432000 1073741824 1073778376 140737188686176 18446744073709551615 212051471257 0 4 0 16800975 18446604466800846848 0 0 -1 5 0 0 0
[pid=14020/tid=14036] ppid=14018 vsize=13627612 CPUtime=0.47 cores=1,3,5,7
/proc/14020/task/14036/stat : 14036 (java) S 14018 14020 11903 0 -1 4202560 4632 0 0 0 47 0 0 0 15 0 19 0 807258086 13954674688 163275 33554432000 1073741824 1073778376 140737188686176 18446744073709551615 212051471257 0 4 0 16800975 18446604466800846848 0 0 -1 5 0 0 0
[pid=14020/tid=14037] ppid=14018 vsize=13627612 CPUtime=0 cores=1,3,5,7
/proc/14020/task/14037/stat : 14037 (java) S 14018 14020 11903 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807258086 13954674688 163275 33554432000 1073741824 1073778376 140737188686176 18446744073709551615 212051471257 0 4 0 16800975 18446604466800846848 0 0 -1 3 0 0 0
[pid=14020/tid=14038] ppid=14018 vsize=13627612 CPUtime=0 cores=1,3,5,7
/proc/14020/task/14038/stat : 14038 (java) S 14018 14020 11903 0 -1 4202560 97 0 0 0 0 0 0 0 15 0 19 0 807258086 13954674688 163275 33554432000 1073741824 1073778376 140737188686176 18446744073709551615 212051471872 0 4 0 16800975 18446604466800846848 0 0 -1 1 0 0 0
[pid=14020/tid=14083] ppid=14018 vsize=13627612 CPUtime=0 cores=1,3,5,7
/proc/14020/task/14083/stat : 14083 (java) S 14018 14020 11903 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 807258134 13954674688 163275 33554432000 1073741824 1073778376 140737188686176 18446744073709551615 212051471872 0 4 0 16800975 18446604466800846848 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1669.2
Current children cumulated vsize (KiB) 13627612

[startup+1722.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/572 14139
/proc/meminfo: memFree=23894868/32951124 swapFree=46970528/67111528
[pid=14020] ppid=14018 vsize=13627612 CPUtime=1729.28 cores=1,3,5,7
/proc/14020/stat : 14020 (java) S 14018 14020 11903 0 -1 4202496 166719 0 1 0 172902 26 0 0 17 0 19 0 807258080 13954674688 163287 33554432000 1073741824 1073778376 140737188686176 18446744073709551615 212051458021 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/14020/statm: 3406903 163287 2263 9 0 3397637 0
[pid=14020/tid=14021] ppid=14018 vsize=13627612 CPUtime=1708.3 cores=1,3,5,7
/proc/14020/task/14021/stat : 14021 (java) R 14018 14020 11903 0 -1 4202560 44033 0 1 0 170824 6 0 0 25 0 19 0 807258080 13954674688 163287 33554432000 1073741824 1073778376 140737188686176 18446744073709551615 46912505915614 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=14020/tid=14023] ppid=14018 vsize=13627612 CPUtime=1.11 cores=1,3,5,7
/proc/14020/task/14023/stat : 14023 (java) S 14018 14020 11903 0 -1 4202560 8431 0 0 0 110 1 0 0 16 0 19 0 807258082 13954674688 163287 33554432000 1073741824 1073778376 140737188686176 18446744073709551615 212051471257 0 4 0 16800975 18446604466800846848 0 0 -1 1 0 0 0
[pid=14020/tid=14024] ppid=14018 vsize=13627612 CPUtime=1.01 cores=1,3,5,7
/proc/14020/task/14024/stat : 14024 (java) S 14018 14020 11903 0 -1 4202560 8877 0 0 0 100 1 0 0 15 0 19 0 807258082 13954674688 163287 33554432000 1073741824 1073778376 140737188686176 18446744073709551615 212051471257 0 4 0 16800975 18446604466800846848 0 0 -1 1 0 0 0
[pid=14020/tid=14025] ppid=14018 vsize=13627612 CPUtime=1.21 cores=1,3,5,7
/proc/14020/task/14025/stat : 14025 (java) S 14018 14020 11903 0 -1 4202560 7386 0 0 0 120 1 0 0 15 0 19 0 807258083 13954674688 163287 33554432000 1073741824 1073778376 140737188686176 18446744073709551615 212051471257 0 4 0 16800975 18446604466800846848 0 0 -1 7 0 0 0
[pid=14020/tid=14026] ppid=14018 vsize=13627612 CPUtime=0.97 cores=1,3,5,7
/proc/14020/task/14026/stat : 14026 (java) S 14018 14020 11903 0 -1 4202560 8560 0 0 0 96 1 0 0 15 0 19 0 807258083 13954674688 163287 33554432000 1073741824 1073778376 140737188686176 18446744073709551615 212051471257 0 4 0 16800975 18446604466800846848 0 0 -1 7 0 0 0
[pid=14020/tid=14027] ppid=14018 vsize=13627612 CPUtime=1 cores=1,3,5,7
/proc/14020/task/14027/stat : 14027 (java) S 14018 14020 11903 0 -1 4202560 7805 0 0 0 99 1 0 0 15 0 19 0 807258083 13954674688 163287 33554432000 1073741824 1073778376 140737188686176 18446744073709551615 212051471257 0 4 0 16800975 18446604466800846848 0 0 -1 5 0 0 0
[pid=14020/tid=14028] ppid=14018 vsize=13627612 CPUtime=1.01 cores=1,3,5,7
/proc/14020/task/14028/stat : 14028 (java) S 14018 14020 11903 0 -1 4202560 6293 0 0 0 100 1 0 0 16 0 19 0 807258083 13954674688 163287 33554432000 1073741824 1073778376 140737188686176 18446744073709551615 212051471257 0 4 0 16800975 18446604466800846848 0 0 -1 5 0 0 0
[pid=14020/tid=14029] ppid=14018 vsize=13627612 CPUtime=1.08 cores=1,3,5,7
/proc/14020/task/14029/stat : 14029 (java) S 14018 14020 11903 0 -1 4202560 4991 0 0 0 107 1 0 0 16 0 19 0 807258083 13954674688 163287 33554432000 1073741824 1073778376 140737188686176 18446744073709551615 212051471257 0 4 0 16800975 18446604466800846848 0 0 -1 7 0 0 0
[pid=14020/tid=14030] ppid=14018 vsize=13627612 CPUtime=1.07 cores=1,3,5,7
/proc/14020/task/14030/stat : 14030 (java) S 14018 14020 11903 0 -1 4202560 6386 0 0 0 106 1 0 0 15 0 19 0 807258083 13954674688 163287 33554432000 1073741824 1073778376 140737188686176 18446744073709551615 212051471257 0 4 0 16800975 18446604466800846848 0 0 -1 5 0 0 0
[pid=14020/tid=14031] ppid=14018 vsize=13627612 CPUtime=11.38 cores=1,3,5,7
/proc/14020/task/14031/stat : 14031 (java) S 14018 14020 11903 0 -1 4202560 56191 0 0 0 1131 7 0 0 15 0 19 0 807258084 13954674688 163287 33554432000 1073741824 1073778376 140737188686176 18446744073709551615 212051471872 0 0 0 16800975 18446604466800846848 0 0 -1 3 0 0 0
[pid=14020/tid=14032] ppid=14018 vsize=13627612 CPUtime=0 cores=1,3,5,7
/proc/14020/task/14032/stat : 14032 (java) S 14018 14020 11903 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 807258084 13954674688 163287 33554432000 1073741824 1073778376 140737188686176 18446744073709551615 212051471257 0 4 0 16800975 18446604466800846848 0 0 -1 3 0 0 0
[pid=14020/tid=14033] ppid=14018 vsize=13627612 CPUtime=0 cores=1,3,5,7
/proc/14020/task/14033/stat : 14033 (java) S 14018 14020 11903 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 807258084 13954674688 163287 33554432000 1073741824 1073778376 140737188686176 18446744073709551615 212051471257 0 4 0 16800975 18446604466800846848 0 0 -1 3 0 0 0
[pid=14020/tid=14034] ppid=14018 vsize=13627612 CPUtime=0 cores=1,3,5,7
/proc/14020/task/14034/stat : 14034 (java) S 14018 14020 11903 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807258086 13954674688 163287 33554432000 1073741824 1073778376 140737188686176 18446744073709551615 212051478961 0 4 0 16800975 18446604466800846848 0 0 -1 3 0 0 0
[pid=14020/tid=14035] ppid=14018 vsize=13627612 CPUtime=0.55 cores=1,3,5,7
/proc/14020/task/14035/stat : 14035 (java) S 14018 14020 11903 0 -1 4202560 1884 0 0 0 55 0 0 0 15 0 19 0 807258086 13954674688 163287 33554432000 1073741824 1073778376 140737188686176 18446744073709551615 212051471257 0 4 0 16800975 18446604466800846848 0 0 -1 5 0 0 0
[pid=14020/tid=14036] ppid=14018 vsize=13627612 CPUtime=0.47 cores=1,3,5,7
/proc/14020/task/14036/stat : 14036 (java) S 14018 14020 11903 0 -1 4202560 4632 0 0 0 47 0 0 0 15 0 19 0 807258086 13954674688 163287 33554432000 1073741824 1073778376 140737188686176 18446744073709551615 212051471257 0 4 0 16800975 18446604466800846848 0 0 -1 5 0 0 0
[pid=14020/tid=14037] ppid=14018 vsize=13627612 CPUtime=0 cores=1,3,5,7
/proc/14020/task/14037/stat : 14037 (java) S 14018 14020 11903 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807258086 13954674688 163287 33554432000 1073741824 1073778376 140737188686176 18446744073709551615 212051471257 0 4 0 16800975 18446604466800846848 0 0 -1 3 0 0 0
[pid=14020/tid=14038] ppid=14018 vsize=13627612 CPUtime=0 cores=1,3,5,7
/proc/14020/task/14038/stat : 14038 (java) S 14018 14020 11903 0 -1 4202560 101 0 0 0 0 0 0 0 15 0 19 0 807258086 13954674688 163287 33554432000 1073741824 1073778376 140737188686176 18446744073709551615 212051471872 0 4 0 16800975 18446604466800846848 0 0 -1 5 0 0 0
[pid=14020/tid=14083] ppid=14018 vsize=13627612 CPUtime=0 cores=1,3,5,7
/proc/14020/task/14083/stat : 14083 (java) S 14018 14020 11903 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 807258134 13954674688 163287 33554432000 1073741824 1073778376 140737188686176 18446744073709551615 212051471872 0 4 0 16800975 18446604466800846848 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1729.28
Current children cumulated vsize (KiB) 13627612

[startup+1782.3 s]
/proc/loadavg: 2.10 2.04 2.01 3/572 14140
/proc/meminfo: memFree=23893536/32951124 swapFree=46970528/67111528
[pid=14020] ppid=14018 vsize=13627612 CPUtime=1789.43 cores=1,3,5,7
/proc/14020/stat : 14020 (java) S 14018 14020 11903 0 -1 4202496 166756 0 1 0 178917 26 0 0 17 0 19 0 807258080 13954674688 163313 33554432000 1073741824 1073778376 140737188686176 18446744073709551615 212051458021 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/14020/statm: 3406903 163313 2263 9 0 3397637 0
[pid=14020/tid=14021] ppid=14018 vsize=13627612 CPUtime=1767.8 cores=1,3,5,7
/proc/14020/task/14021/stat : 14021 (java) R 14018 14020 11903 0 -1 4202560 44038 0 1 0 176774 6 0 0 19 0 19 0 807258080 13954674688 163313 33554432000 1073741824 1073778376 140737188686176 18446744073709551615 46912505836159 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=14020/tid=14023] ppid=14018 vsize=13627612 CPUtime=1.16 cores=1,3,5,7
/proc/14020/task/14023/stat : 14023 (java) S 14018 14020 11903 0 -1 4202560 8432 0 0 0 115 1 0 0 16 0 19 0 807258082 13954674688 163313 33554432000 1073741824 1073778376 140737188686176 18446744073709551615 212051471257 0 4 0 16800975 18446604466800846848 0 0 -1 7 0 0 0
[pid=14020/tid=14024] ppid=14018 vsize=13627612 CPUtime=1.05 cores=1,3,5,7
/proc/14020/task/14024/stat : 14024 (java) S 14018 14020 11903 0 -1 4202560 8886 0 0 0 104 1 0 0 15 0 19 0 807258082 13954674688 163313 33554432000 1073741824 1073778376 140737188686176 18446744073709551615 212051471257 0 4 0 16800975 18446604466800846848 0 0 -1 7 0 0 0
[pid=14020/tid=14025] ppid=14018 vsize=13627612 CPUtime=1.24 cores=1,3,5,7
/proc/14020/task/14025/stat : 14025 (java) S 14018 14020 11903 0 -1 4202560 7386 0 0 0 123 1 0 0 16 0 19 0 807258083 13954674688 163313 33554432000 1073741824 1073778376 140737188686176 18446744073709551615 212051471257 0 4 0 16800975 18446604466800846848 0 0 -1 1 0 0 0
[pid=14020/tid=14026] ppid=14018 vsize=13627612 CPUtime=1.02 cores=1,3,5,7
/proc/14020/task/14026/stat : 14026 (java) S 14018 14020 11903 0 -1 4202560 8576 0 0 0 101 1 0 0 16 0 19 0 807258083 13954674688 163313 33554432000 1073741824 1073778376 140737188686176 18446744073709551615 212051471257 0 4 0 16800975 18446604466800846848 0 0 -1 1 0 0 0
[pid=14020/tid=14027] ppid=14018 vsize=13627612 CPUtime=1.02 cores=1,3,5,7
/proc/14020/task/14027/stat : 14027 (java) S 14018 14020 11903 0 -1 4202560 7805 0 0 0 101 1 0 0 15 0 19 0 807258083 13954674688 163313 33554432000 1073741824 1073778376 140737188686176 18446744073709551615 212051471257 0 4 0 16800975 18446604466800846848 0 0 -1 5 0 0 0
[pid=14020/tid=14028] ppid=14018 vsize=13627612 CPUtime=1.02 cores=1,3,5,7
/proc/14020/task/14028/stat : 14028 (java) S 14018 14020 11903 0 -1 4202560 6293 0 0 0 101 1 0 0 15 0 19 0 807258083 13954674688 163313 33554432000 1073741824 1073778376 140737188686176 18446744073709551615 212051471257 0 4 0 16800975 18446604466800846848 0 0 -1 5 0 0 0
[pid=14020/tid=14029] ppid=14018 vsize=13627612 CPUtime=1.09 cores=1,3,5,7
/proc/14020/task/14029/stat : 14029 (java) S 14018 14020 11903 0 -1 4202560 4991 0 0 0 108 1 0 0 15 0 19 0 807258083 13954674688 163313 33554432000 1073741824 1073778376 140737188686176 18446744073709551615 212051471257 0 4 0 16800975 18446604466800846848 0 0 -1 5 0 0 0
[pid=14020/tid=14030] ppid=14018 vsize=13627612 CPUtime=1.09 cores=1,3,5,7
/proc/14020/task/14030/stat : 14030 (java) S 14018 14020 11903 0 -1 4202560 6386 0 0 0 108 1 0 0 16 0 19 0 807258083 13954674688 163313 33554432000 1073741824 1073778376 140737188686176 18446744073709551615 212051471257 0 4 0 16800975 18446604466800846848 0 0 -1 5 0 0 0
[pid=14020/tid=14031] ppid=14018 vsize=13627612 CPUtime=11.81 cores=1,3,5,7
/proc/14020/task/14031/stat : 14031 (java) S 14018 14020 11903 0 -1 4202560 56195 0 0 0 1174 7 0 0 15 0 19 0 807258084 13954674688 163313 33554432000 1073741824 1073778376 140737188686176 18446744073709551615 212051471872 0 0 0 16800975 18446604466800846848 0 0 -1 3 0 0 0
[pid=14020/tid=14032] ppid=14018 vsize=13627612 CPUtime=0 cores=1,3,5,7
/proc/14020/task/14032/stat : 14032 (java) S 14018 14020 11903 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 807258084 13954674688 163313 33554432000 1073741824 1073778376 140737188686176 18446744073709551615 212051471257 0 4 0 16800975 18446604466800846848 0 0 -1 3 0 0 0
[pid=14020/tid=14033] ppid=14018 vsize=13627612 CPUtime=0 cores=1,3,5,7
/proc/14020/task/14033/stat : 14033 (java) S 14018 14020 11903 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 807258084 13954674688 163313 33554432000 1073741824 1073778376 140737188686176 18446744073709551615 212051471257 0 4 0 16800975 18446604466800846848 0 0 -1 3 0 0 0
[pid=14020/tid=14034] ppid=14018 vsize=13627612 CPUtime=0 cores=1,3,5,7
/proc/14020/task/14034/stat : 14034 (java) S 14018 14020 11903 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807258086 13954674688 163313 33554432000 1073741824 1073778376 140737188686176 18446744073709551615 212051478961 0 4 0 16800975 18446604466800846848 0 0 -1 3 0 0 0
[pid=14020/tid=14035] ppid=14018 vsize=13627612 CPUtime=0.55 cores=1,3,5,7
/proc/14020/task/14035/stat : 14035 (java) S 14018 14020 11903 0 -1 4202560 1884 0 0 0 55 0 0 0 15 0 19 0 807258086 13954674688 163313 33554432000 1073741824 1073778376 140737188686176 18446744073709551615 212051471257 0 4 0 16800975 18446604466800846848 0 0 -1 5 0 0 0
[pid=14020/tid=14036] ppid=14018 vsize=13627612 CPUtime=0.47 cores=1,3,5,7
/proc/14020/task/14036/stat : 14036 (java) S 14018 14020 11903 0 -1 4202560 4632 0 0 0 47 0 0 0 15 0 19 0 807258086 13954674688 163313 33554432000 1073741824 1073778376 140737188686176 18446744073709551615 212051471257 0 4 0 16800975 18446604466800846848 0 0 -1 5 0 0 0
[pid=14020/tid=14037] ppid=14018 vsize=13627612 CPUtime=0 cores=1,3,5,7
/proc/14020/task/14037/stat : 14037 (java) S 14018 14020 11903 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807258086 13954674688 163313 33554432000 1073741824 1073778376 140737188686176 18446744073709551615 212051471257 0 4 0 16800975 18446604466800846848 0 0 -1 3 0 0 0
[pid=14020/tid=14038] ppid=14018 vsize=13627612 CPUtime=0 cores=1,3,5,7
/proc/14020/task/14038/stat : 14038 (java) S 14018 14020 11903 0 -1 4202560 103 0 0 0 0 0 0 0 15 0 19 0 807258086 13954674688 163313 33554432000 1073741824 1073778376 140737188686176 18446744073709551615 212051471872 0 4 0 16800975 18446604466800846848 0 0 -1 5 0 0 0
[pid=14020/tid=14083] ppid=14018 vsize=13627612 CPUtime=0 cores=1,3,5,7
/proc/14020/task/14083/stat : 14083 (java) S 14018 14020 11903 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 807258134 13954674688 163313 33554432000 1073741824 1073778376 140737188686176 18446744073709551615 212051471872 0 4 0 16800975 18446604466800846848 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1789.43
Current children cumulated vsize (KiB) 13627612



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1792.9 s]
/proc/loadavg: 2.08 2.04 2.01 3/572 14141
/proc/meminfo: memFree=23893380/32951124 swapFree=46970528/67111528
[pid=14020] ppid=14018 vsize=13627612 CPUtime=1800.07 cores=1,3,5,7
/proc/14020/stat : 14020 (java) S 14018 14020 11903 0 -1 4202496 166776 0 1 0 179981 26 0 0 17 0 19 0 807258080 13954674688 163328 33554432000 1073741824 1073778376 140737188686176 18446744073709551615 212051458021 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/14020/statm: 3406903 163328 2263 9 0 3397637 0
[pid=14020/tid=14021] ppid=14018 vsize=13627612 CPUtime=1778.33 cores=1,3,5,7
/proc/14020/task/14021/stat : 14021 (java) R 14018 14020 11903 0 -1 4202560 44039 0 1 0 177827 6 0 0 25 0 19 0 807258080 13954674688 163328 33554432000 1073741824 1073778376 140737188686176 18446744073709551615 46912505884017 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=14020/tid=14023] ppid=14018 vsize=13627612 CPUtime=1.16 cores=1,3,5,7
/proc/14020/task/14023/stat : 14023 (java) S 14018 14020 11903 0 -1 4202560 8432 0 0 0 115 1 0 0 15 0 19 0 807258082 13954674688 163328 33554432000 1073741824 1073778376 140737188686176 18446744073709551615 212051471257 0 4 0 16800975 18446604466800846848 0 0 -1 7 0 0 0
[pid=14020/tid=14024] ppid=14018 vsize=13627612 CPUtime=1.06 cores=1,3,5,7
/proc/14020/task/14024/stat : 14024 (java) S 14018 14020 11903 0 -1 4202560 8886 0 0 0 105 1 0 0 16 0 19 0 807258082 13954674688 163328 33554432000 1073741824 1073778376 140737188686176 18446744073709551615 212051471257 0 4 0 16800975 18446604466800846848 0 0 -1 7 0 0 0
[pid=14020/tid=14025] ppid=14018 vsize=13627612 CPUtime=1.24 cores=1,3,5,7
/proc/14020/task/14025/stat : 14025 (java) S 14018 14020 11903 0 -1 4202560 7386 0 0 0 123 1 0 0 15 0 19 0 807258083 13954674688 163328 33554432000 1073741824 1073778376 140737188686176 18446744073709551615 212051471257 0 4 0 16800975 18446604466800846848 0 0 -1 1 0 0 0
[pid=14020/tid=14026] ppid=14018 vsize=13627612 CPUtime=1.04 cores=1,3,5,7
/proc/14020/task/14026/stat : 14026 (java) S 14018 14020 11903 0 -1 4202560 8576 0 0 0 103 1 0 0 16 0 19 0 807258083 13954674688 163328 33554432000 1073741824 1073778376 140737188686176 18446744073709551615 212051471257 0 4 0 16800975 18446604466800846848 0 0 -1 1 0 0 0
[pid=14020/tid=14027] ppid=14018 vsize=13627612 CPUtime=1.03 cores=1,3,5,7
/proc/14020/task/14027/stat : 14027 (java) S 14018 14020 11903 0 -1 4202560 7820 0 0 0 102 1 0 0 16 0 19 0 807258083 13954674688 163328 33554432000 1073741824 1073778376 140737188686176 18446744073709551615 212051471257 0 4 0 16800975 18446604466800846848 0 0 -1 5 0 0 0
[pid=14020/tid=14028] ppid=14018 vsize=13627612 CPUtime=1.02 cores=1,3,5,7
/proc/14020/task/14028/stat : 14028 (java) S 14018 14020 11903 0 -1 4202560 6293 0 0 0 101 1 0 0 15 0 19 0 807258083 13954674688 163328 33554432000 1073741824 1073778376 140737188686176 18446744073709551615 212051471257 0 4 0 16800975 18446604466800846848 0 0 -1 5 0 0 0
[pid=14020/tid=14029] ppid=14018 vsize=13627612 CPUtime=1.09 cores=1,3,5,7
/proc/14020/task/14029/stat : 14029 (java) S 14018 14020 11903 0 -1 4202560 4991 0 0 0 108 1 0 0 15 0 19 0 807258083 13954674688 163328 33554432000 1073741824 1073778376 140737188686176 18446744073709551615 212051471257 0 4 0 16800975 18446604466800846848 0 0 -1 5 0 0 0
[pid=14020/tid=14030] ppid=14018 vsize=13627612 CPUtime=1.09 cores=1,3,5,7
/proc/14020/task/14030/stat : 14030 (java) S 14018 14020 11903 0 -1 4202560 6386 0 0 0 108 1 0 0 15 0 19 0 807258083 13954674688 163328 33554432000 1073741824 1073778376 140737188686176 18446744073709551615 212051471257 0 4 0 16800975 18446604466800846848 0 0 -1 5 0 0 0
[pid=14020/tid=14031] ppid=14018 vsize=13627612 CPUtime=11.87 cores=1,3,5,7
/proc/14020/task/14031/stat : 14031 (java) S 14018 14020 11903 0 -1 4202560 56197 0 0 0 1180 7 0 0 15 0 19 0 807258084 13954674688 163328 33554432000 1073741824 1073778376 140737188686176 18446744073709551615 212051471872 0 0 0 16800975 18446604466800846848 0 0 -1 3 0 0 0
[pid=14020/tid=14032] ppid=14018 vsize=13627612 CPUtime=0 cores=1,3,5,7
/proc/14020/task/14032/stat : 14032 (java) S 14018 14020 11903 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 807258084 13954674688 163328 33554432000 1073741824 1073778376 140737188686176 18446744073709551615 212051471257 0 4 0 16800975 18446604466800846848 0 0 -1 3 0 0 0
[pid=14020/tid=14033] ppid=14018 vsize=13627612 CPUtime=0 cores=1,3,5,7
/proc/14020/task/14033/stat : 14033 (java) S 14018 14020 11903 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 807258084 13954674688 163328 33554432000 1073741824 1073778376 140737188686176 18446744073709551615 212051471257 0 4 0 16800975 18446604466800846848 0 0 -1 3 0 0 0
[pid=14020/tid=14034] ppid=14018 vsize=13627612 CPUtime=0 cores=1,3,5,7
/proc/14020/task/14034/stat : 14034 (java) S 14018 14020 11903 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807258086 13954674688 163328 33554432000 1073741824 1073778376 140737188686176 18446744073709551615 212051478961 0 4 0 16800975 18446604466800846848 0 0 -1 3 0 0 0
[pid=14020/tid=14035] ppid=14018 vsize=13627612 CPUtime=0.55 cores=1,3,5,7
/proc/14020/task/14035/stat : 14035 (java) S 14018 14020 11903 0 -1 4202560 1884 0 0 0 55 0 0 0 15 0 19 0 807258086 13954674688 163328 33554432000 1073741824 1073778376 140737188686176 18446744073709551615 212051471257 0 4 0 16800975 18446604466800846848 0 0 -1 5 0 0 0
[pid=14020/tid=14036] ppid=14018 vsize=13627612 CPUtime=0.47 cores=1,3,5,7
/proc/14020/task/14036/stat : 14036 (java) S 14018 14020 11903 0 -1 4202560 4632 0 0 0 47 0 0 0 15 0 19 0 807258086 13954674688 163328 33554432000 1073741824 1073778376 140737188686176 18446744073709551615 212051471257 0 4 0 16800975 18446604466800846848 0 0 -1 5 0 0 0
[pid=14020/tid=14037] ppid=14018 vsize=13627612 CPUtime=0 cores=1,3,5,7
/proc/14020/task/14037/stat : 14037 (java) S 14018 14020 11903 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807258086 13954674688 163328 33554432000 1073741824 1073778376 140737188686176 18446744073709551615 212051471257 0 4 0 16800975 18446604466800846848 0 0 -1 3 0 0 0
[pid=14020/tid=14038] ppid=14018 vsize=13627612 CPUtime=0 cores=1,3,5,7
/proc/14020/task/14038/stat : 14038 (java) S 14018 14020 11903 0 -1 4202560 105 0 0 0 0 0 0 0 15 0 19 0 807258086 13954674688 163328 33554432000 1073741824 1073778376 140737188686176 18446744073709551615 212051471872 0 4 0 16800975 18446604466800846848 0 0 -1 5 0 0 0
[pid=14020/tid=14083] ppid=14018 vsize=13627612 CPUtime=0 cores=1,3,5,7
/proc/14020/task/14083/stat : 14083 (java) S 14018 14020 11903 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 807258134 13954674688 163328 33554432000 1073741824 1073778376 140737188686176 18446744073709551615 212051471872 0 4 0 16800975 18446604466800846848 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 13627612

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): 1792.98
CPU time (s): 1800.18
CPU user time (s): 1799.89
CPU system time (s): 0.289955
CPU usage (%): 100.402
Max. virtual memory (cumulated for all children) (KiB): 13627612

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.89
system time used= 0.289955
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 166824
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= 42179
involuntary context switches= 15184

runsolver used 9.34058 second user time and 22.6576 second system time

The end

Launcher Data 

Begin job on node146 at 2011-06-04 02:46:58
IDJOB=3458914
IDBENCH=2243
IDSOLVER=1952
FILE ID=node146/3458914-1307148418
RUNJOBID= node146-1307146621-13881
PBS_JOBID= 13508770
Free space on /tmp= 73724 MiB

SOLVER NAME= Sat4j Resolution 2.3.0
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb40-19-opb/normalized-frb40-19-1.opb
COMMAND LINE= java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3458914-1307148418/watcher-3458914-1307148418 -o /tmp/evaluation-result-3458914-1307148418/solver-3458914-1307148418 -C 1800 -W 1900 -M 15500  java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution HOME/instance-3458914-1307148418.opb

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

MD5SUM BENCH= 9984e76947bf9addca42277d72ff7107
RANDOM SEED=1142518881

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      25167048 kB
Buffers:        136296 kB
Cached:         268184 kB
SwapCached:      60288 kB
Active:         223572 kB
Inactive:      7317880 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      25167048 kB
SwapTotal:    67111528 kB
SwapFree:     46970528 kB
Dirty:            1260 kB
Writeback:           0 kB
AnonPages:     7088300 kB
Mapped:          16536 kB
Slab:            74660 kB
PageTables:      97344 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 160703900 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= 73724 MiB
End job on node146 at 2011-06-04 03:16:53