Trace number 3458446

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.07 1798.44

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/bsg/normalized-bsg_200_10_5.opb
MD5SUM996170804397234947041ed4d87d3aa0
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-58
Best CPU time to get the best result obtained on this benchmark1797.16
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -59
Optimality of the best value was proved NO
Number of variables400
Total number of constraints601
Number of constraints which are clauses200
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints401
Minimum length of a constraint2
Maximum length of a constraint400
Number of terms in the objective function 200
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 200
Number of bits of the sum of numbers in the objective function 8
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 400
Number of bits of the biggest sum of numbers9
Number of products (including duplicates)5056
Sum of products size (including duplicates)10112
Number of different products2528
Sum of products size5056

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.10	c version 2.3.1.v20110525
0.00/0.10	c java.runtime.name	Java(TM) SE Runtime Environment
0.00/0.10	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.00/0.10	c java.vm.version	19.1-b02
0.00/0.10	c java.vm.vendor	Sun Microsystems Inc.
0.00/0.10	c sun.arch.data.model	64
0.00/0.10	c java.version		1.6.0_24
0.00/0.10	c os.name		Linux
0.00/0.10	c os.version		2.6.18-164.el5
0.00/0.10	c os.arch		amd64
0.00/0.10	c Free memory 		12995394264
0.00/0.10	c Max memory 		13063553024
0.00/0.10	c Total memory 		13063553024
0.00/0.10	c Number of processors 	8
0.10/0.11	c Pseudo Boolean Optimization
0.10/0.11	c --- Begin Solver configuration ---
0.10/0.11	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@38540408
0.10/0.11	c Learn all clauses as in MiniSAT
0.10/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.10/0.11	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.10/0.11	c Expensive reason simplification
0.10/0.11	c Armin Biere (Picosat) restarts strategy
0.10/0.11	c Glucose learned constraints deletion strategy
0.10/0.11	c timeout=2147483s
0.10/0.11	c DB Simplification allowed=false
0.10/0.11	c --- End Solver configuration ---
0.10/0.11	c solving HOME/instance-3458446-1307162374.opb
0.10/0.11	c reading problem ... 
0.47/0.52	c ... done. Wall clock time 0.26s.
0.47/0.52	c #vars     2928
0.47/0.52	c #constraints  5658
0.47/0.52	c constraints type 
0.47/0.52	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 2528
0.47/0.52	c org.sat4j.minisat.constraints.card.MinWatchCard => 402
0.47/0.52	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 200
0.47/0.52	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 2528
3.13/2.14	c cleaning 2494 clauses out of 5000 with flag 5000/5000
4.28/3.29	c SATISFIABLE
4.28/3.29	c OPTIMIZING...
4.28/3.29	c Got one! Elapsed wall clock time (in seconds):3.176
4.28/3.29	o -29
4.66/3.54	c cleaning 3899 clauses out of 7797 with flag 1000/10291
5.14/4.07	c Got one! Elapsed wall clock time (in seconds):3.954
5.14/4.07	o -34
6.46/5.35	c cleaning 4354 clauses out of 8945 with flag 3000/15338
8.98/7.84	c cleaning 5217 clauses out of 10591 with flag 9000/21338
11.10/9.91	c cleaning 6157 clauses out of 12374 with flag 16000/28338
14.20/13.06	c cleaning 7084 clauses out of 14217 with flag 24000/36338
17.60/16.47	c cleaning 8015 clauses out of 16133 with flag 33000/45338
21.51/20.40	c cleaning 8966 clauses out of 18118 with flag 43000/55338
25.31/24.18	c cleaning 9567 clauses out of 19152 with flag 53000/65338
29.81/28.65	c cleaning 9761 clauses out of 19585 with flag 63000/75338
34.01/32.87	c cleaning 9839 clauses out of 19824 with flag 73000/85338
37.72/36.52	c cleaning 9990 clauses out of 19985 with flag 83000/95338
41.71/40.59	c cleaning 9963 clauses out of 19995 with flag 93000/105338
46.42/45.26	c cleaning 9931 clauses out of 20032 with flag 103000/115338
50.71/49.61	c cleaning 9971 clauses out of 20101 with flag 113000/125338
54.91/53.78	c cleaning 10000 clauses out of 20130 with flag 123000/135338
59.11/57.95	c cleaning 10027 clauses out of 20130 with flag 133000/145338
63.41/62.30	c cleaning 9928 clauses out of 20103 with flag 143000/155338
68.53/67.39	c cleaning 9979 clauses out of 20175 with flag 153000/165338
73.01/71.83	c cleaning 10007 clauses out of 20196 with flag 163000/175338
77.23/76.10	c cleaning 9954 clauses out of 20189 with flag 173000/185338
81.42/80.20	c cleaning 10071 clauses out of 20235 with flag 183000/195338
86.22/85.07	c cleaning 9939 clauses out of 20164 with flag 193000/205338
90.62/89.42	c cleaning 10003 clauses out of 20225 with flag 203000/215338
95.22/94.04	c cleaning 9956 clauses out of 20222 with flag 213000/225338
100.22/99.04	c cleaning 10002 clauses out of 20266 with flag 223000/235338
104.92/103.74	c cleaning 10009 clauses out of 20264 with flag 233000/245338
109.52/108.37	c cleaning 10047 clauses out of 20255 with flag 243000/255338
113.82/112.66	c cleaning 10088 clauses out of 20209 with flag 253001/265339
117.82/116.70	c cleaning 9897 clauses out of 20120 with flag 263000/275338
122.22/121.10	c cleaning 10108 clauses out of 20223 with flag 273000/285338
126.92/125.75	c cleaning 9927 clauses out of 20115 with flag 283000/295338
131.62/130.40	c cleaning 10018 clauses out of 20188 with flag 293000/305338
135.92/134.70	c cleaning 10054 clauses out of 20170 with flag 303000/315338
141.14/139.98	c cleaning 9901 clauses out of 20116 with flag 313000/325338
145.44/144.28	c cleaning 10096 clauses out of 20215 with flag 323000/335338
150.12/148.94	c cleaning 9983 clauses out of 20119 with flag 333000/345338
154.42/153.29	c cleaning 10000 clauses out of 20136 with flag 343000/355338
158.92/157.75	c cleaning 9947 clauses out of 20136 with flag 353000/365338
163.22/162.09	c cleaning 9981 clauses out of 20189 with flag 363000/375338
167.72/166.52	c cleaning 10018 clauses out of 20208 with flag 373000/385338
172.22/171.02	c cleaning 10010 clauses out of 20190 with flag 383000/395338
176.62/175.49	c cleaning 9991 clauses out of 20180 with flag 393000/405338
181.02/179.84	c cleaning 9992 clauses out of 20189 with flag 403000/415338
185.82/184.67	c cleaning 9957 clauses out of 20197 with flag 413000/425338
191.12/189.93	c cleaning 9985 clauses out of 20240 with flag 423000/435338
195.82/194.67	c cleaning 10034 clauses out of 20255 with flag 433000/445338
200.72/199.54	c cleaning 10056 clauses out of 20221 with flag 443000/455338
205.33/204.18	c cleaning 10026 clauses out of 20165 with flag 453000/465338
209.93/208.72	c cleaning 9950 clauses out of 20139 with flag 463000/475338
215.33/214.11	c cleaning 9996 clauses out of 20189 with flag 473000/485338
220.24/219.08	c cleaning 9985 clauses out of 20193 with flag 483000/495338
225.33/224.19	c cleaning 9968 clauses out of 20208 with flag 493000/505338
230.63/229.49	c cleaning 10034 clauses out of 20240 with flag 503000/515338
235.23/234.07	c cleaning 9994 clauses out of 20206 with flag 513000/525338
241.25/240.06	c cleaning 9959 clauses out of 20212 with flag 523000/535338
246.43/245.29	c cleaning 10015 clauses out of 20253 with flag 533000/545338
251.64/250.42	c cleaning 9999 clauses out of 20238 with flag 543000/555338
256.94/255.72	c cleaning 10006 clauses out of 20239 with flag 553000/565338
262.05/260.89	c cleaning 10062 clauses out of 20233 with flag 563000/575338
266.84/265.64	c cleaning 10001 clauses out of 20171 with flag 573000/585338
272.06/270.87	c cleaning 9940 clauses out of 20170 with flag 583000/595338
277.64/276.43	c cleaning 10062 clauses out of 20230 with flag 593000/605338
283.06/281.85	c cleaning 10014 clauses out of 20168 with flag 603000/615338
288.94/287.74	c cleaning 9996 clauses out of 20154 with flag 613000/625338
294.44/293.21	c cleaning 9969 clauses out of 20158 with flag 623000/635338
299.74/298.59	c cleaning 10020 clauses out of 20189 with flag 633000/645338
305.26/304.02	c cleaning 9998 clauses out of 20169 with flag 643000/655338
310.66/309.42	c cleaning 9995 clauses out of 20171 with flag 653000/665338
315.26/314.08	c cleaning 10013 clauses out of 20176 with flag 663000/675338
319.96/318.70	c cleaning 9963 clauses out of 20163 with flag 673000/685338
324.66/323.44	c cleaning 10099 clauses out of 20201 with flag 683001/695339
330.38/329.15	c cleaning 9917 clauses out of 20101 with flag 693000/705338
335.77/334.54	c cleaning 10049 clauses out of 20184 with flag 703000/715338
340.36/339.14	c cleaning 9927 clauses out of 20135 with flag 713000/725338
344.68/343.43	c cleaning 10054 clauses out of 20208 with flag 723000/735338
348.98/347.78	c cleaning 10027 clauses out of 20154 with flag 733000/745338
353.48/352.26	c cleaning 10030 clauses out of 20127 with flag 743000/755338
358.36/357.10	c cleaning 9944 clauses out of 20097 with flag 753000/765338
362.86/361.64	c cleaning 10049 clauses out of 20153 with flag 763000/775338
367.47/366.24	c cleaning 9971 clauses out of 20104 with flag 773000/785338
372.77/371.55	c cleaning 9910 clauses out of 20133 with flag 783000/795338
378.07/376.85	c cleaning 10044 clauses out of 20223 with flag 793000/805338
383.08/381.84	c cleaning 9970 clauses out of 20179 with flag 803000/815338
387.97/386.71	c cleaning 10041 clauses out of 20209 with flag 813000/825338
393.17/391.95	c cleaning 9965 clauses out of 20168 with flag 823000/835338
398.07/396.89	c cleaning 10024 clauses out of 20203 with flag 833000/845338
403.37/402.15	c cleaning 9957 clauses out of 20179 with flag 843000/855338
408.28/407.07	c cleaning 10009 clauses out of 20222 with flag 853000/865338
413.48/412.24	c cleaning 10025 clauses out of 20213 with flag 863000/875338
418.29/417.02	c cleaning 10064 clauses out of 20188 with flag 873000/885338
423.48/422.26	c cleaning 9997 clauses out of 20124 with flag 883000/895338
428.78/427.51	c cleaning 9965 clauses out of 20127 with flag 893000/905338
434.28/433.07	c cleaning 9988 clauses out of 20162 with flag 903000/915338
439.20/437.99	c cleaning 10005 clauses out of 20174 with flag 913000/925338
443.78/442.52	c cleaning 10071 clauses out of 20169 with flag 923000/935338
449.10/447.84	c cleaning 9986 clauses out of 20098 with flag 933000/945338
455.28/454.09	c cleaning 9933 clauses out of 20112 with flag 943000/955338
460.88/459.67	c cleaning 9975 clauses out of 20179 with flag 953000/965338
466.28/465.09	c cleaning 9979 clauses out of 20204 with flag 963000/975338
471.98/470.74	c cleaning 10072 clauses out of 20225 with flag 973000/985338
477.38/476.17	c cleaning 10029 clauses out of 20153 with flag 983000/995338
482.89/481.69	c cleaning 9919 clauses out of 20124 with flag 993000/1005338
488.29/487.03	c cleaning 9979 clauses out of 20205 with flag 1003000/1015338
493.99/492.77	c cleaning 10003 clauses out of 20226 with flag 1013000/1025338
498.99/497.78	c cleaning 9985 clauses out of 20223 with flag 1023000/1035338
504.21/502.97	c cleaning 9983 clauses out of 20238 with flag 1033000/1045338
509.60/508.41	c cleaning 10030 clauses out of 20255 with flag 1043000/1055338
515.10/513.81	c cleaning 10058 clauses out of 20225 with flag 1053000/1065338
521.09/519.89	c cleaning 10033 clauses out of 20167 with flag 1063000/1075338
526.79/525.57	c cleaning 9956 clauses out of 20134 with flag 1073000/1085338
531.99/530.72	c cleaning 10001 clauses out of 20178 with flag 1083000/1095338
536.79/535.52	c cleaning 9962 clauses out of 20177 with flag 1093000/1105338
541.50/540.29	c cleaning 10035 clauses out of 20215 with flag 1103000/1115338
546.29/545.01	c cleaning 9977 clauses out of 20180 with flag 1113000/1125338
550.99/549.75	c cleaning 9999 clauses out of 20203 with flag 1123000/1135338
555.39/554.14	c cleaning 10092 clauses out of 20204 with flag 1133000/1145338
560.20/558.98	c cleaning 9933 clauses out of 20112 with flag 1143000/1155338
565.09/563.83	c cleaning 10020 clauses out of 20179 with flag 1153000/1165338
570.29/569.00	c cleaning 10042 clauses out of 20159 with flag 1163000/1175338
575.71/574.44	c cleaning 9950 clauses out of 20117 with flag 1173000/1185338
581.00/579.78	c cleaning 10049 clauses out of 20167 with flag 1183000/1195338
586.30/585.09	c cleaning 9981 clauses out of 20118 with flag 1193000/1205338
591.80/590.56	c cleaning 10038 clauses out of 20137 with flag 1203000/1215338
597.72/596.46	c cleaning 9942 clauses out of 20099 with flag 1213000/1225338
603.30/602.08	c cleaning 10051 clauses out of 20157 with flag 1223000/1235338
609.10/607.86	c cleaning 9989 clauses out of 20106 with flag 1233000/1245338
614.81/613.55	c cleaning 9956 clauses out of 20117 with flag 1243000/1255338
620.51/619.21	c cleaning 9995 clauses out of 20161 with flag 1253000/1265338
626.01/624.75	c cleaning 10042 clauses out of 20166 with flag 1263000/1275338
631.61/630.30	c cleaning 9992 clauses out of 20124 with flag 1273000/1285338
637.11/635.85	c cleaning 9985 clauses out of 20132 with flag 1283000/1295338
642.61/641.38	c cleaning 10001 clauses out of 20147 with flag 1293000/1305338
647.91/646.68	c cleaning 9987 clauses out of 20146 with flag 1303000/1315338
653.11/651.87	c cleaning 10010 clauses out of 20159 with flag 1313000/1325338
658.31/657.06	c cleaning 9958 clauses out of 20149 with flag 1323000/1335338
663.12/661.86	c cleaning 10024 clauses out of 20191 with flag 1333000/1345338
668.92/667.61	c cleaning 10036 clauses out of 20167 with flag 1343000/1355338
674.02/672.73	c cleaning 9902 clauses out of 20131 with flag 1353000/1365338
679.13/677.87	c cleaning 10062 clauses out of 20229 with flag 1363000/1375338
684.92/683.68	c cleaning 9994 clauses out of 20167 with flag 1373000/1385338
690.42/689.10	c cleaning 9967 clauses out of 20173 with flag 1383000/1395338
696.02/694.74	c cleaning 9950 clauses out of 20206 with flag 1393000/1405338
701.42/700.10	c cleaning 10075 clauses out of 20256 with flag 1403000/1415338
706.93/705.64	c cleaning 9989 clauses out of 20181 with flag 1413000/1425338
712.43/711.14	c cleaning 9963 clauses out of 20192 with flag 1423000/1435338
717.73/716.45	c cleaning 10010 clauses out of 20229 with flag 1433000/1445338
723.04/721.72	c cleaning 9972 clauses out of 20219 with flag 1443000/1455338
728.23/726.95	c cleaning 9969 clauses out of 20247 with flag 1453000/1465338
733.83/732.57	c cleaning 10079 clauses out of 20278 with flag 1463000/1475338
739.23/737.93	c cleaning 9992 clauses out of 20199 with flag 1473000/1485338
744.53/743.23	c cleaning 10018 clauses out of 20207 with flag 1483000/1495338
749.73/748.44	c cleaning 10031 clauses out of 20189 with flag 1493000/1505338
755.13/753.88	c cleaning 10031 clauses out of 20158 with flag 1503000/1515338
760.63/759.34	c cleaning 9919 clauses out of 20127 with flag 1513000/1525338
766.43/765.19	c cleaning 10039 clauses out of 20208 with flag 1523000/1535338
772.14/770.88	c cleaning 9967 clauses out of 20169 with flag 1533000/1545338
777.94/776.67	c cleaning 9974 clauses out of 20202 with flag 1543000/1555338
783.55/782.31	c cleaning 10038 clauses out of 20228 with flag 1553000/1565338
789.34/788.08	c cleaning 10034 clauses out of 20190 with flag 1563000/1575338
795.94/794.63	c cleaning 9994 clauses out of 20156 with flag 1573000/1585338
802.36/801.03	c cleaning 9970 clauses out of 20162 with flag 1583000/1595338
808.44/807.15	c cleaning 10066 clauses out of 20192 with flag 1593000/1605338
815.04/813.78	c cleaning 9957 clauses out of 20126 with flag 1603000/1615338
821.54/820.29	c cleaning 10016 clauses out of 20169 with flag 1613000/1625338
828.04/826.77	c cleaning 9962 clauses out of 20153 with flag 1623000/1635338
834.45/833.17	c cleaning 9996 clauses out of 20191 with flag 1633000/1645338
840.95/839.67	c cleaning 10045 clauses out of 20195 with flag 1643000/1655338
847.36/846.04	c cleaning 9985 clauses out of 20150 with flag 1653000/1665338
853.65/852.37	c cleaning 10000 clauses out of 20165 with flag 1663000/1675338
859.95/858.66	c cleaning 10040 clauses out of 20165 with flag 1673000/1685338
866.25/864.93	c cleaning 9931 clauses out of 20125 with flag 1683000/1695338
872.45/871.17	c cleaning 10039 clauses out of 20194 with flag 1693000/1705338
878.65/877.34	c cleaning 9974 clauses out of 20155 with flag 1703000/1715338
884.65/883.35	c cleaning 9996 clauses out of 20181 with flag 1713000/1725338
890.75/889.43	c cleaning 10040 clauses out of 20185 with flag 1723000/1735338
896.76/895.47	c cleaning 10003 clauses out of 20145 with flag 1733000/1745338
902.76/901.50	c cleaning 9969 clauses out of 20142 with flag 1743000/1755338
908.66/907.39	c cleaning 10020 clauses out of 20173 with flag 1753000/1765338
914.59/913.22	c cleaning 9983 clauses out of 20153 with flag 1763000/1775338
920.48/919.16	c cleaning 9978 clauses out of 20171 with flag 1773001/1785339
925.68/924.37	c cleaning 9946 clauses out of 20192 with flag 1783000/1795338
930.68/929.31	c cleaning 10007 clauses out of 20246 with flag 1793000/1805338
935.50/934.19	c cleaning 9991 clauses out of 20239 with flag 1803000/1815338
940.38/939.00	c cleaning 9985 clauses out of 20248 with flag 1813000/1825338
945.08/943.78	c cleaning 10069 clauses out of 20263 with flag 1823000/1835338
949.89/948.53	c cleaning 10037 clauses out of 20194 with flag 1833000/1845338
954.69/953.36	c cleaning 9944 clauses out of 20157 with flag 1843000/1855338
959.60/958.29	c cleaning 10025 clauses out of 20213 with flag 1853000/1865338
964.59/963.28	c cleaning 9968 clauses out of 20188 with flag 1863000/1875338
970.39/969.01	c cleaning 10045 clauses out of 20220 with flag 1873000/1885338
976.21/974.86	c cleaning 10011 clauses out of 20175 with flag 1883000/1895338
982.19/980.80	c cleaning 10003 clauses out of 20164 with flag 1893000/1905338
988.21/986.86	c cleaning 9964 clauses out of 20161 with flag 1903000/1915338
994.29/992.90	c cleaning 10077 clauses out of 20197 with flag 1913000/1925338
1000.59/999.20	c cleaning 9964 clauses out of 20120 with flag 1923000/1935338
1006.60/1005.25	c cleaning 9992 clauses out of 20156 with flag 1933000/1945338
1012.41/1011.07	c cleaning 9990 clauses out of 20164 with flag 1943000/1955338
1018.30/1016.90	c cleaning 10035 clauses out of 20174 with flag 1953000/1965338
1024.20/1022.82	c cleaning 9970 clauses out of 20139 with flag 1963000/1975338
1030.30/1028.96	c cleaning 9990 clauses out of 20169 with flag 1973000/1985338
1036.41/1035.05	c cleaning 9940 clauses out of 20179 with flag 1983000/1995338
1040.91/1039.53	c cleaning 10051 clauses out of 20239 with flag 1993000/2005338
1045.21/1043.80	c cleaning 9990 clauses out of 20188 with flag 2003000/2015338
1050.11/1048.77	c cleaning 9963 clauses out of 20198 with flag 2013000/2025338
1055.43/1054.03	c cleaning 10030 clauses out of 20235 with flag 2023000/2035338
1061.11/1059.73	c cleaning 10005 clauses out of 20205 with flag 2033000/2045338
1066.81/1065.44	c cleaning 9984 clauses out of 20200 with flag 2043000/2055338
1072.01/1070.69	c cleaning 9968 clauses out of 20216 with flag 2053000/2065338
1077.43/1076.04	c cleaning 10015 clauses out of 20248 with flag 2063000/2075338
1082.22/1080.88	c cleaning 10013 clauses out of 20233 with flag 2073000/2085338
1087.23/1085.89	c cleaning 10012 clauses out of 20220 with flag 2083000/2095338
1092.12/1090.76	c cleaning 10011 clauses out of 20208 with flag 2093000/2105338
1097.14/1095.79	c cleaning 9972 clauses out of 20197 with flag 2103000/2115338
1102.32/1100.98	c cleaning 10066 clauses out of 20225 with flag 2113000/2125338
1107.92/1106.58	c cleaning 9925 clauses out of 20159 with flag 2123000/2135338
1113.74/1112.34	c cleaning 10023 clauses out of 20234 with flag 2133000/2145338
1119.03/1117.60	c cleaning 9978 clauses out of 20211 with flag 2143000/2155338
1124.33/1122.92	c cleaning 9984 clauses out of 20233 with flag 2153000/2165338
1129.83/1128.44	c cleaning 10017 clauses out of 20249 with flag 2163000/2175338
1135.43/1134.02	c cleaning 10015 clauses out of 20232 with flag 2173000/2185338
1140.63/1139.21	c cleaning 10003 clauses out of 20217 with flag 2183000/2195338
1146.23/1144.89	c cleaning 10002 clauses out of 20214 with flag 2193000/2205338
1151.24/1149.86	c cleaning 9988 clauses out of 20212 with flag 2203000/2215338
1156.14/1154.79	c cleaning 10054 clauses out of 20224 with flag 2213000/2225338
1161.14/1159.75	c cleaning 10054 clauses out of 20170 with flag 2223000/2235338
1166.14/1164.75	c cleaning 9958 clauses out of 20116 with flag 2233000/2245338
1171.54/1170.17	c cleaning 10060 clauses out of 20158 with flag 2243000/2255338
1176.94/1175.57	c cleaning 9959 clauses out of 20098 with flag 2253000/2265338
1182.44/1181.07	c cleaning 10036 clauses out of 20139 with flag 2263000/2275338
1188.14/1186.73	c cleaning 9916 clauses out of 20103 with flag 2273000/2285338
1193.54/1192.17	c cleaning 10016 clauses out of 20187 with flag 2283000/2295338
1198.15/1196.76	c cleaning 10058 clauses out of 20171 with flag 2293000/2305338
1203.06/1201.69	c cleaning 9912 clauses out of 20113 with flag 2303000/2315338
1207.96/1206.52	c cleaning 10051 clauses out of 20201 with flag 2313000/2325338
1212.96/1211.51	c cleaning 9999 clauses out of 20150 with flag 2323000/2335338
1218.06/1216.69	c cleaning 9960 clauses out of 20151 with flag 2333000/2345338
1223.26/1221.84	c cleaning 10054 clauses out of 20191 with flag 2343000/2355338
1228.46/1227.08	c cleaning 9988 clauses out of 20137 with flag 2353000/2365338
1233.77/1232.33	c cleaning 9966 clauses out of 20149 with flag 2363000/2375338
1239.57/1238.13	c cleaning 10033 clauses out of 20183 with flag 2373000/2385338
1245.57/1244.20	c cleaning 9965 clauses out of 20150 with flag 2383000/2395338
1251.97/1250.59	c cleaning 9992 clauses out of 20185 with flag 2393000/2405338
1258.27/1256.82	c cleaning 10007 clauses out of 20193 with flag 2403000/2415338
1264.38/1262.99	c cleaning 10046 clauses out of 20186 with flag 2413000/2425338
1270.57/1269.14	c cleaning 9987 clauses out of 20140 with flag 2423000/2435338
1275.27/1273.81	c cleaning 9992 clauses out of 20153 with flag 2433000/2445338
1280.07/1278.63	c cleaning 10014 clauses out of 20161 with flag 2443000/2455338
1284.68/1283.28	c cleaning 9988 clauses out of 20147 with flag 2453000/2465338
1289.69/1288.23	c cleaning 9940 clauses out of 20159 with flag 2463000/2475338
1294.68/1293.21	c cleaning 10025 clauses out of 20219 with flag 2473000/2485338
1299.28/1297.85	c cleaning 9995 clauses out of 20194 with flag 2483000/2495338
1304.28/1302.86	c cleaning 10052 clauses out of 20199 with flag 2493000/2505338
1309.59/1308.16	c cleaning 9966 clauses out of 20147 with flag 2503000/2515338
1314.88/1313.46	c cleaning 10032 clauses out of 20181 with flag 2513000/2525338
1319.98/1318.59	c cleaning 9973 clauses out of 20149 with flag 2523000/2535338
1325.78/1324.32	c cleaning 9981 clauses out of 20176 with flag 2533000/2545338
1331.38/1329.96	c cleaning 10051 clauses out of 20195 with flag 2543000/2555338
1337.48/1336.03	c cleaning 10000 clauses out of 20144 with flag 2553000/2565338
1343.70/1342.22	c cleaning 10053 clauses out of 20144 with flag 2563000/2575338
1349.69/1348.28	c cleaning 9970 clauses out of 20091 with flag 2573000/2585338
1355.60/1354.16	c cleaning 9978 clauses out of 20121 with flag 2583000/2595338
1361.40/1359.99	c cleaning 10015 clauses out of 20143 with flag 2593000/2605338
1367.30/1365.80	c cleaning 9985 clauses out of 20128 with flag 2603000/2615338
1373.10/1371.62	c cleaning 10005 clauses out of 20143 with flag 2613000/2625338
1378.81/1377.35	c cleaning 10022 clauses out of 20138 with flag 2623000/2635338
1384.31/1382.86	c cleaning 9975 clauses out of 20116 with flag 2633000/2645338
1390.00/1388.54	c cleaning 10004 clauses out of 20141 with flag 2643000/2655338
1394.50/1393.00	c cleaning 9965 clauses out of 20137 with flag 2653000/2665338
1399.00/1397.51	c cleaning 9939 clauses out of 20172 with flag 2663000/2675338
1403.20/1401.79	c cleaning 10051 clauses out of 20233 with flag 2673000/2685338
1407.31/1405.86	c cleaning 10014 clauses out of 20182 with flag 2683000/2695338
1411.61/1410.12	c cleaning 10052 clauses out of 20168 with flag 2693000/2705338
1415.81/1414.36	c cleaning 9970 clauses out of 20116 with flag 2703000/2715338
1420.21/1418.77	c cleaning 9950 clauses out of 20146 with flag 2713000/2725338
1424.71/1423.21	c cleaning 10045 clauses out of 20196 with flag 2723000/2735338
1429.21/1427.73	c cleaning 9956 clauses out of 20151 with flag 2733000/2745338
1433.82/1432.32	c cleaning 10087 clauses out of 20195 with flag 2743000/2755338
1438.81/1437.36	c cleaning 9973 clauses out of 20108 with flag 2753000/2765338
1444.01/1442.53	c cleaning 9971 clauses out of 20135 with flag 2763000/2775338
1449.11/1447.66	c cleaning 9997 clauses out of 20164 with flag 2773000/2785338
1454.41/1452.92	c cleaning 9986 clauses out of 20167 with flag 2783000/2795338
1460.41/1458.94	c cleaning 10069 clauses out of 20181 with flag 2793000/2805338
1466.41/1464.95	c cleaning 9990 clauses out of 20112 with flag 2803000/2815338
1472.21/1470.81	c cleaning 10020 clauses out of 20122 with flag 2813000/2825338
1478.12/1476.66	c cleaning 9987 clauses out of 20102 with flag 2823000/2835338
1483.92/1482.49	c cleaning 9957 clauses out of 20115 with flag 2833000/2845338
1489.72/1488.25	c cleaning 10020 clauses out of 20158 with flag 2843000/2855338
1495.44/1493.97	c cleaning 10017 clauses out of 20138 with flag 2853000/2865338
1501.04/1499.54	c cleaning 9976 clauses out of 20121 with flag 2863000/2875338
1506.63/1505.11	c cleaning 9981 clauses out of 20145 with flag 2873000/2885338
1512.04/1510.58	c cleaning 10018 clauses out of 20164 with flag 2883000/2895338
1517.33/1515.85	c cleaning 9982 clauses out of 20146 with flag 2893000/2905338
1522.53/1521.06	c cleaning 10025 clauses out of 20164 with flag 2903000/2915338
1527.53/1526.03	c cleaning 9970 clauses out of 20139 with flag 2913000/2925338
1531.43/1529.91	c cleaning 10050 clauses out of 20169 with flag 2923000/2935338
1535.44/1533.97	c cleaning 9970 clauses out of 20119 with flag 2933000/2945338
1539.65/1538.18	c cleaning 9987 clauses out of 20149 with flag 2943000/2955338
1543.65/1542.16	c cleaning 9994 clauses out of 20162 with flag 2953000/2965338
1547.85/1546.32	c cleaning 10000 clauses out of 20168 with flag 2963000/2975338
1552.15/1550.63	c cleaning 9999 clauses out of 20168 with flag 2973000/2985338
1556.55/1555.09	c cleaning 9982 clauses out of 20169 with flag 2983000/2995338
1561.47/1559.93	c cleaning 10000 clauses out of 20187 with flag 2993000/3005338
1566.15/1564.66	c cleaning 9951 clauses out of 20187 with flag 3003000/3015338
1570.75/1569.24	c cleaning 10023 clauses out of 20236 with flag 3013000/3025338
1575.77/1574.24	c cleaning 9975 clauses out of 20213 with flag 3023000/3035338
1581.27/1579.71	c cleaning 10000 clauses out of 20238 with flag 3033000/3045338
1586.35/1584.83	c cleaning 9988 clauses out of 20238 with flag 3043000/3055338
1591.27/1589.78	c cleaning 10082 clauses out of 20250 with flag 3053000/3065338
1596.78/1595.24	c cleaning 10034 clauses out of 20168 with flag 3063000/3075338
1602.96/1601.45	c cleaning 9961 clauses out of 20134 with flag 3073000/3085338
1609.76/1608.21	c cleaning 9981 clauses out of 20173 with flag 3083000/3095338
1616.06/1614.54	c cleaning 9980 clauses out of 20192 with flag 3093000/3105338
1621.98/1620.44	c cleaning 10066 clauses out of 20212 with flag 3103000/3115338
1627.97/1626.44	c cleaning 10068 clauses out of 20146 with flag 3113000/3125338
1634.08/1632.55	c cleaning 9893 clauses out of 20078 with flag 3123000/3135338
1639.69/1638.17	c cleaning 10014 clauses out of 20185 with flag 3133000/3145338
1645.09/1643.51	c cleaning 9951 clauses out of 20171 with flag 3143000/3155338
1650.97/1649.44	c cleaning 10016 clauses out of 20220 with flag 3153000/3165338
1656.47/1654.96	c cleaning 10038 clauses out of 20204 with flag 3163000/3175338
1662.17/1660.69	c cleaning 9995 clauses out of 20166 with flag 3173000/3185338
1667.98/1666.40	c cleaning 10000 clauses out of 20171 with flag 3183000/3195338
1673.88/1672.32	c cleaning 9981 clauses out of 20171 with flag 3193000/3205338
1679.38/1677.89	c cleaning 9976 clauses out of 20190 with flag 3203000/3215338
1685.19/1683.61	c cleaning 9986 clauses out of 20214 with flag 3213000/3225338
1690.79/1689.22	c cleaning 9978 clauses out of 20228 with flag 3223000/3235338
1696.49/1694.93	c cleaning 10028 clauses out of 20250 with flag 3233000/3245338
1702.30/1700.80	c cleaning 10047 clauses out of 20222 with flag 3243000/3255338
1708.39/1706.83	c cleaning 9970 clauses out of 20175 with flag 3253000/3265338
1714.59/1713.06	c cleaning 10041 clauses out of 20205 with flag 3263000/3275338
1721.38/1719.80	c cleaning 10035 clauses out of 20164 with flag 3273000/3285338
1727.60/1726.10	c cleaning 9973 clauses out of 20129 with flag 3283000/3295338
1732.59/1731.08	c cleaning 10030 clauses out of 20156 with flag 3293000/3305338
1737.69/1736.12	c cleaning 9967 clauses out of 20126 with flag 3303000/3315338
1743.00/1741.45	c cleaning 9955 clauses out of 20159 with flag 3313000/3325338
1748.79/1747.29	c cleaning 9960 clauses out of 20204 with flag 3323000/3335338
1754.79/1753.28	c cleaning 9999 clauses out of 20244 with flag 3333000/3345338
1760.39/1758.86	c cleaning 10022 clauses out of 20245 with flag 3343000/3355338
1765.99/1764.48	c cleaning 10027 clauses out of 20223 with flag 3353000/3365338
1771.71/1770.14	c cleaning 9980 clauses out of 20196 with flag 3363000/3375338
1778.00/1776.41	c cleaning 10014 clauses out of 20216 with flag 3373000/3385338
1784.10/1782.58	c cleaning 10044 clauses out of 20202 with flag 3383000/3395338
1790.70/1789.18	c cleaning 9965 clauses out of 20158 with flag 3393000/3405338
1797.30/1795.73	c cleaning 10000 clauses out of 20193 with flag 3403000/3415338
1800.02/1798.42	c starts		: 252
1800.02/1798.42	c conflicts		: 3419636
1800.02/1798.42	c decisions		: 3463175
1800.02/1798.42	c propagations		: 109239996
1800.02/1798.42	c inspects		: 1527432412
1800.02/1798.42	c shortcuts		: 0
1800.02/1798.42	c learnt literals	: 0
1800.02/1798.42	c learnt binary clauses	: 0
1800.02/1798.42	c learnt ternary clauses	: 328
1800.02/1798.42	c learnt constraints	: 3419637
1800.02/1798.42	c ignored constraints	: 0
1800.02/1798.42	c root simplifications	: 0
1800.02/1798.42	c removed literals (reason simplification)	: 393811758
1800.02/1798.42	c reason swapping (by a shorter reason)	: 0
1800.02/1798.42	c Calls to reduceDB	: 344
1800.02/1798.42	c number of reductions to clauses (during analyze)	: 0
1800.02/1798.42	c number of learned constraints concerned by reduction	: 0
1800.02/1798.42	c number of learning phase by resolution	: 0
1800.02/1798.42	c number of learning phase by cutting planes	: 0
1800.02/1798.42	c speed (assignments/second)	: 60879.915980810896
1800.02/1798.42	c non guided choices	0
1800.02/1798.43	c learnt constraints type 
1800.02/1798.43	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 14502
1800.02/1798.43	c constraints type 
1800.02/1798.43	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 2528
1800.02/1798.43	c org.sat4j.minisat.constraints.card.MinWatchCard => 403
1800.02/1798.43	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 200
1800.02/1798.43	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 2528
1800.02/1798.43	s SATISFIABLE
1800.02/1798.43	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 
1800.02/1798.43	c objective function=-34
1800.02/1798.43	c Total wall clock time (in seconds): 1798.314

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

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

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: 1.02 1.63 1.85 3/485 28007
/proc/meminfo: memFree=27191952/32951124 swapFree=63649284/67111528
[pid=28007] ppid=28005 vsize=13508980 CPUtime=0 cores=0,2,4,6
/proc/28007/stat : 28007 (java) S 28005 28007 23523 0 -1 4202496 2649 0 1 0 0 0 0 0 17 0 2 0 827835856 13833195520 2350 33554432000 1073741824 1073778376 140734419964000 18446744073709551615 210216450021 0 0 0 16784584 18446744073709551615 0 0 17 2 0 0 0
/proc/28007/statm: 3377245 2364 906 9 0 3368401 0
[pid=28007/tid=28012] ppid=28005 vsize=13526316 CPUtime=0 cores=0,2,4,6
/proc/28007/task/28012/stat : 28012 (java) R 28005 28007 23523 0 -1 4202560 4015 0 1 0 0 0 0 0 18 0 2 0 827835857 13850947584 4831 33554432000 1073741824 1073778376 140734419964000 18446744073709551615 210204341307 0 4 0 16784584 0 0 0 -1 2 0 0 0

[startup+0.10193 s]
/proc/loadavg: 1.02 1.63 1.85 3/485 28007
/proc/meminfo: memFree=27191952/32951124 swapFree=63649284/67111528
[pid=28007] ppid=28005 vsize=13621896 CPUtime=0.1 cores=0,2,4,6
/proc/28007/stat : 28007 (java) S 28005 28007 23523 0 -1 4202496 15471 0 1 0 8 2 0 0 17 0 18 0 827835856 13948821504 15142 33554432000 1073741824 1073778376 140734419964000 18446744073709551615 210216450021 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/28007/statm: 3405474 15142 2092 9 0 3396208 0
[pid=28007/tid=28012] ppid=28005 vsize=13621896 CPUtime=0.08 cores=0,2,4,6
/proc/28007/task/28012/stat : 28012 (java) R 28005 28007 23523 0 -1 4202560 13543 0 1 0 6 2 0 0 18 0 18 0 827835857 13948821504 15142 33554432000 1073741824 1073778376 140734419964000 18446744073709551615 210216473269 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 13621896

[startup+0.203521 s]
/proc/loadavg: 1.02 1.63 1.85 3/485 28007
/proc/meminfo: memFree=27191952/32951124 swapFree=63649284/67111528
[pid=28007] ppid=28005 vsize=13621896 CPUtime=0.24 cores=0,2,4,6
/proc/28007/stat : 28007 (java) S 28005 28007 23523 0 -1 4202496 16546 0 1 0 22 2 0 0 17 0 18 0 827835856 13948821504 16120 33554432000 1073741824 1073778376 140734419964000 18446744073709551615 210216450021 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/28007/statm: 3405474 16121 2170 9 0 3396208 0
[pid=28007/tid=28012] ppid=28005 vsize=13621896 CPUtime=0.18 cores=0,2,4,6
/proc/28007/task/28012/stat : 28012 (java) R 28005 28007 23523 0 -1 4202560 14363 0 1 0 16 2 0 0 18 0 18 0 827835857 13948821504 16121 33554432000 1073741824 1073778376 140734419964000 18446744073709551615 47183758448264 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.24
Current children cumulated vsize (KiB) 13621896

[startup+0.304886 s]
/proc/loadavg: 1.02 1.63 1.85 3/485 28007
/proc/meminfo: memFree=27191952/32951124 swapFree=63649284/67111528
[pid=28007] ppid=28005 vsize=13623992 CPUtime=0.47 cores=0,2,4,6
/proc/28007/stat : 28007 (java) S 28005 28007 23523 0 -1 4202496 19130 0 1 0 44 3 0 0 17 0 18 0 827835856 13950967808 18370 33554432000 1073741824 1073778376 140734419964000 18446744073709551615 210216450021 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/28007/statm: 3405998 18370 2211 9 0 3396732 0
[pid=28007/tid=28012] ppid=28005 vsize=13623992 CPUtime=0.28 cores=0,2,4,6
/proc/28007/task/28012/stat : 28012 (java) R 28005 28007 23523 0 -1 4202560 15673 0 1 0 26 2 0 0 18 0 18 0 827835857 13950967808 18370 33554432000 1073741824 1073778376 140734419964000 18446744073709551615 210216474059 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.47
Current children cumulated vsize (KiB) 13623992

[startup+0.700566 s]
/proc/loadavg: 1.02 1.63 1.85 3/485 28007
/proc/meminfo: memFree=27191952/32951124 swapFree=63649284/67111528
[pid=28007] ppid=28005 vsize=13635032 CPUtime=1.64 cores=0,2,4,6
/proc/28007/stat : 28007 (java) S 28005 28007 23523 0 -1 4202496 30940 0 1 0 160 4 0 0 17 0 19 0 827835856 13962272768 26170 33554432000 1073741824 1073778376 140734419964000 18446744073709551615 210216450021 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/28007/statm: 3408758 26170 2233 9 0 3399492 0
[pid=28007/tid=28012] ppid=28005 vsize=13635032 CPUtime=0.67 cores=0,2,4,6
/proc/28007/task/28012/stat : 28012 (java) R 28005 28007 23523 0 -1 4202560 18026 0 1 0 65 2 0 0 19 0 19 0 827835857 13962272768 26170 33554432000 1073741824 1073778376 140734419964000 18446744073709551615 46912505798731 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1.64
Current children cumulated vsize (KiB) 13635032

[startup+1.50143 s]
/proc/loadavg: 1.02 1.63 1.85 3/526 28049
/proc/meminfo: memFree=26998768/32951124 swapFree=63649284/67111528
[pid=28007] ppid=28005 vsize=13635032 CPUtime=2.53 cores=0,2,4,6
/proc/28007/stat : 28007 (java) S 28005 28007 23523 0 -1 4202496 31208 0 1 0 249 4 0 0 17 0 19 0 827835856 13962272768 26437 33554432000 1073741824 1073778376 140734419964000 18446744073709551615 210216450021 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/28007/statm: 3408758 26437 2240 9 0 3399492 0
[pid=28007/tid=28012] ppid=28005 vsize=13635032 CPUtime=1.47 cores=0,2,4,6
/proc/28007/task/28012/stat : 28012 (java) R 28005 28007 23523 0 -1 4202560 18270 0 1 0 145 2 0 0 20 0 19 0 827835857 13962272768 26437 33554432000 1073741824 1073778376 140734419964000 18446744073709551615 46912505880684 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=28007/tid=28020] ppid=28005 vsize=13635032 CPUtime=0 cores=0,2,4,6
/proc/28007/task/28020/stat : 28020 (java) S 28005 28007 23523 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 827835859 13962272768 26437 33554432000 1073741824 1073778376 140734419964000 18446744073709551615 210216463257 0 4 0 16800975 18446604443423885312 0 0 -1 2 0 0 0
[pid=28007/tid=28022] ppid=28005 vsize=13635032 CPUtime=0 cores=0,2,4,6
/proc/28007/task/28022/stat : 28022 (java) S 28005 28007 23523 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 827835859 13962272768 26437 33554432000 1073741824 1073778376 140734419964000 18446744073709551615 210216463257 0 4 0 16800975 18446604443423885312 0 0 -1 0 0 0 0
[pid=28007/tid=28024] ppid=28005 vsize=13635032 CPUtime=0 cores=0,2,4,6
/proc/28007/task/28024/stat : 28024 (java) S 28005 28007 23523 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 827835859 13962272768 26437 33554432000 1073741824 1073778376 140734419964000 18446744073709551615 210216463257 0 4 0 16800975 18446604443423885312 0 0 -1 0 0 0 0
[pid=28007/tid=28026] ppid=28005 vsize=13635032 CPUtime=0 cores=0,2,4,6
/proc/28007/task/28026/stat : 28026 (java) S 28005 28007 23523 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 827835859 13962272768 26437 33554432000 1073741824 1073778376 140734419964000 18446744073709551615 210216463257 0 4 0 16800975 18446604443423885312 0 0 -1 0 0 0 0
[pid=28007/tid=28028] ppid=28005 vsize=13635032 CPUtime=0 cores=0,2,4,6
/proc/28007/task/28028/stat : 28028 (java) S 28005 28007 23523 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 827835859 13962272768 26437 33554432000 1073741824 1073778376 140734419964000 18446744073709551615 210216463257 0 4 0 16800975 18446604443423885312 0 0 -1 0 0 0 0
[pid=28007/tid=28029] ppid=28005 vsize=13635032 CPUtime=0 cores=0,2,4,6
/proc/28007/task/28029/stat : 28029 (java) S 28005 28007 23523 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 827835859 13962272768 26437 33554432000 1073741824 1073778376 140734419964000 18446744073709551615 210216463257 0 4 0 16800975 18446604443423885312 0 0 -1 0 0 0 0
[pid=28007/tid=28030] ppid=28005 vsize=13635032 CPUtime=0 cores=0,2,4,6
/proc/28007/task/28030/stat : 28030 (java) S 28005 28007 23523 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 827835859 13962272768 26437 33554432000 1073741824 1073778376 140734419964000 18446744073709551615 210216463257 0 4 0 16800975 18446604443423885312 0 0 -1 0 0 0 0
[pid=28007/tid=28031] ppid=28005 vsize=13635032 CPUtime=0 cores=0,2,4,6
/proc/28007/task/28031/stat : 28031 (java) S 28005 28007 23523 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 827835859 13962272768 26437 33554432000 1073741824 1073778376 140734419964000 18446744073709551615 210216463257 0 4 0 16800975 18446604443423885312 0 0 -1 0 0 0 0
[pid=28007/tid=28033] ppid=28005 vsize=13635032 CPUtime=0 cores=0,2,4,6
/proc/28007/task/28033/stat : 28033 (java) S 28005 28007 23523 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 827835860 13962272768 26438 33554432000 1073741824 1073778376 140734419964000 18446744073709551615 210216463872 0 0 0 16800975 18446604443423885312 0 0 -1 0 0 0 0
[pid=28007/tid=28035] ppid=28005 vsize=13635032 CPUtime=0 cores=0,2,4,6
/proc/28007/task/28035/stat : 28035 (java) S 28005 28007 23523 0 -1 4202560 16 0 0 0 0 0 0 0 23 0 19 0 827835861 13962272768 26438 33554432000 1073741824 1073778376 140734419964000 18446744073709551615 210216463257 0 4 0 16800975 18446604443423885312 0 0 -1 2 0 0 0
[pid=28007/tid=28037] ppid=28005 vsize=13635032 CPUtime=0 cores=0,2,4,6
/proc/28007/task/28037/stat : 28037 (java) S 28005 28007 23523 0 -1 4202560 7 0 0 0 0 0 0 0 24 0 19 0 827835861 13962272768 26438 33554432000 1073741824 1073778376 140734419964000 18446744073709551615 210216463257 0 4 0 16800975 18446604443423885312 0 0 -1 2 0 0 0
[pid=28007/tid=28039] ppid=28005 vsize=13635032 CPUtime=0 cores=0,2,4,6
/proc/28007/task/28039/stat : 28039 (java) S 28005 28007 23523 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827835863 13962272768 26438 33554432000 1073741824 1073778376 140734419964000 18446744073709551615 210216470961 0 4 0 16800975 18446604443423885312 0 0 -1 2 0 0 0
[pid=28007/tid=28041] ppid=28005 vsize=13635032 CPUtime=0.55 cores=0,2,4,6
/proc/28007/task/28041/stat : 28041 (java) S 28005 28007 23523 0 -1 4202560 5563 0 0 0 55 0 0 0 15 0 19 0 827835863 13962272768 26438 33554432000 1073741824 1073778376 140734419964000 18446744073709551615 210216463257 0 4 0 16800975 18446604443423885312 0 0 -1 4 0 0 0
[pid=28007/tid=28042] ppid=28005 vsize=13635032 CPUtime=0.47 cores=0,2,4,6
/proc/28007/task/28042/stat : 28042 (java) S 28005 28007 23523 0 -1 4202560 6214 0 0 0 47 0 0 0 15 0 19 0 827835863 13962272768 26438 33554432000 1073741824 1073778376 140734419964000 18446744073709551615 210216463257 0 4 0 16800975 18446604443423885312 0 0 -1 0 0 0 0
[pid=28007/tid=28044] ppid=28005 vsize=13635032 CPUtime=0 cores=0,2,4,6
/proc/28007/task/28044/stat : 28044 (java) S 28005 28007 23523 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827835863 13962272768 26438 33554432000 1073741824 1073778376 140734419964000 18446744073709551615 210216463257 0 4 0 16800975 18446604443423885312 0 0 -1 2 0 0 0
[pid=28007/tid=28046] ppid=28005 vsize=13635032 CPUtime=0 cores=0,2,4,6
/proc/28007/task/28046/stat : 28046 (java) S 28005 28007 23523 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 827835863 13962272768 26438 33554432000 1073741824 1073778376 140734419964000 18446744073709551615 210216463872 0 4 0 16800975 18446604443423885312 0 0 -1 0 0 0 0
[pid=28007/tid=28048] ppid=28005 vsize=13635032 CPUtime=0 cores=0,2,4,6
/proc/28007/task/28048/stat : 28048 (java) S 28005 28007 23523 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 827835895 13962272768 26438 33554432000 1073741824 1073778376 140734419964000 18446744073709551615 210216463872 0 4 0 16800975 18446604443423885312 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2.53
Current children cumulated vsize (KiB) 13635032

[startup+3.10116 s]
/proc/loadavg: 1.02 1.63 1.85 3/526 28049
/proc/meminfo: memFree=26982896/32951124 swapFree=63649284/67111528
[pid=28007] ppid=28005 vsize=13635032 CPUtime=4.18 cores=0,2,4,6
/proc/28007/stat : 28007 (java) S 28005 28007 23523 0 -1 4202496 33075 0 1 0 413 5 0 0 17 0 19 0 827835856 13962272768 28299 33554432000 1073741824 1073778376 140734419964000 18446744073709551615 210216450021 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/28007/statm: 3408758 28299 2266 9 0 3399492 0
[pid=28007/tid=28012] ppid=28005 vsize=13635032 CPUtime=3.05 cores=0,2,4,6
/proc/28007/task/28012/stat : 28012 (java) R 28005 28007 23523 0 -1 4202560 18485 0 1 0 302 3 0 0 19 0 19 0 827835857 13962272768 28299 33554432000 1073741824 1073778376 140734419964000 18446744073709551615 46912505625869 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=28007/tid=28020] ppid=28005 vsize=13635032 CPUtime=0 cores=0,2,4,6
/proc/28007/task/28020/stat : 28020 (java) S 28005 28007 23523 0 -1 4202560 386 0 0 0 0 0 0 0 18 0 19 0 827835859 13962272768 28299 33554432000 1073741824 1073778376 140734419964000 18446744073709551615 210216463257 0 4 0 16800975 18446604443423885312 0 0 -1 2 0 0 0
[pid=28007/tid=28022] ppid=28005 vsize=13635032 CPUtime=0 cores=0,2,4,6
/proc/28007/task/28022/stat : 28022 (java) S 28005 28007 23523 0 -1 4202560 42 0 0 0 0 0 0 0 18 0 19 0 827835859 13962272768 28299 33554432000 1073741824 1073778376 140734419964000 18446744073709551615 210216463257 0 4 0 16800975 18446604443423885312 0 0 -1 4 0 0 0
[pid=28007/tid=28024] ppid=28005 vsize=13635032 CPUtime=0 cores=0,2,4,6
/proc/28007/task/28024/stat : 28024 (java) S 28005 28007 23523 0 -1 4202560 124 0 0 0 0 0 0 0 18 0 19 0 827835859 13962272768 28299 33554432000 1073741824 1073778376 140734419964000 18446744073709551615 210216463257 0 4 0 16800975 18446604443423885312 0 0 -1 6 0 0 0
[pid=28007/tid=28026] ppid=28005 vsize=13635032 CPUtime=0 cores=0,2,4,6
/proc/28007/task/28026/stat : 28026 (java) S 28005 28007 23523 0 -1 4202560 153 0 0 0 0 0 0 0 18 0 19 0 827835859 13962272768 28299 33554432000 1073741824 1073778376 140734419964000 18446744073709551615 210216463257 0 4 0 16800975 18446604443423885312 0 0 -1 6 0 0 0
[pid=28007/tid=28028] ppid=28005 vsize=13635032 CPUtime=0 cores=0,2,4,6
/proc/28007/task/28028/stat : 28028 (java) S 28005 28007 23523 0 -1 4202560 121 0 0 0 0 0 0 0 18 0 19 0 827835859 13962272768 28299 33554432000 1073741824 1073778376 140734419964000 18446744073709551615 210216463257 0 4 0 16800975 18446604443423885312 0 0 -1 2 0 0 0
[pid=28007/tid=28029] ppid=28005 vsize=13635032 CPUtime=0 cores=0,2,4,6
/proc/28007/task/28029/stat : 28029 (java) S 28005 28007 23523 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 19 0 827835859 13962272768 28299 33554432000 1073741824 1073778376 140734419964000 18446744073709551615 210216463257 0 4 0 16800975 18446604443423885312 0 0 -1 4 0 0 0
[pid=28007/tid=28030] ppid=28005 vsize=13635032 CPUtime=0 cores=0,2,4,6
/proc/28007/task/28030/stat : 28030 (java) S 28005 28007 23523 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 19 0 827835859 13962272768 28299 33554432000 1073741824 1073778376 140734419964000 18446744073709551615 210216463257 0 4 0 16800975 18446604443423885312 0 0 -1 4 0 0 0
[pid=28007/tid=28031] ppid=28005 vsize=13635032 CPUtime=0 cores=0,2,4,6
/proc/28007/task/28031/stat : 28031 (java) S 28005 28007 23523 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 827835859 13962272768 28299 33554432000 1073741824 1073778376 140734419964000 18446744073709551615 210216463257 0 4 0 16800975 18446604443423885312 0 0 -1 4 0 0 0
[pid=28007/tid=28033] ppid=28005 vsize=13635032 CPUtime=0.02 cores=0,2,4,6
/proc/28007/task/28033/stat : 28033 (java) S 28005 28007 23523 0 -1 4202560 824 0 0 0 2 0 0 0 16 0 19 0 827835860 13962272768 28299 33554432000 1073741824 1073778376 140734419964000 18446744073709551615 210216463872 0 0 0 16800975 18446604443423885312 0 0 -1 0 0 0 0
[pid=28007/tid=28035] ppid=28005 vsize=13635032 CPUtime=0 cores=0,2,4,6
/proc/28007/task/28035/stat : 28035 (java) S 28005 28007 23523 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 827835861 13962272768 28299 33554432000 1073741824 1073778376 140734419964000 18446744073709551615 210216463257 0 4 0 16800975 18446604443423885312 0 0 -1 0 0 0 0
[pid=28007/tid=28037] ppid=28005 vsize=13635032 CPUtime=0 cores=0,2,4,6
/proc/28007/task/28037/stat : 28037 (java) S 28005 28007 23523 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 827835861 13962272768 28299 33554432000 1073741824 1073778376 140734419964000 18446744073709551615 210216463257 0 4 0 16800975 18446604443423885312 0 0 -1 0 0 0 0
[pid=28007/tid=28039] ppid=28005 vsize=13635032 CPUtime=0 cores=0,2,4,6
/proc/28007/task/28039/stat : 28039 (java) S 28005 28007 23523 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827835863 13962272768 28299 33554432000 1073741824 1073778376 140734419964000 18446744073709551615 210216470961 0 4 0 16800975 18446604443423885312 0 0 -1 2 0 0 0
[pid=28007/tid=28041] ppid=28005 vsize=13635032 CPUtime=0.57 cores=0,2,4,6
/proc/28007/task/28041/stat : 28041 (java) S 28005 28007 23523 0 -1 4202560 5568 0 0 0 57 0 0 0 15 0 19 0 827835863 13962272768 28299 33554432000 1073741824 1073778376 140734419964000 18446744073709551615 210216463257 0 4 0 16800975 18446604443423885312 0 0 -1 4 0 0 0
[pid=28007/tid=28042] ppid=28005 vsize=13635032 CPUtime=0.5 cores=0,2,4,6
/proc/28007/task/28042/stat : 28042 (java) S 28005 28007 23523 0 -1 4202560 6217 0 0 0 50 0 0 0 15 0 19 0 827835863 13962272768 28299 33554432000 1073741824 1073778376 140734419964000 18446744073709551615 210216463257 0 4 0 16800975 18446604443423885312 0 0 -1 0 0 0 0
[pid=28007/tid=28044] ppid=28005 vsize=13635032 CPUtime=0 cores=0,2,4,6
/proc/28007/task/28044/stat : 28044 (java) S 28005 28007 23523 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827835863 13962272768 28299 33554432000 1073741824 1073778376 140734419964000 18446744073709551615 210216463257 0 4 0 16800975 18446604443423885312 0 0 -1 2 0 0 0
[pid=28007/tid=28046] ppid=28005 vsize=13635032 CPUtime=0 cores=0,2,4,6
/proc/28007/task/28046/stat : 28046 (java) S 28005 28007 23523 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 827835863 13962272768 28299 33554432000 1073741824 1073778376 140734419964000 18446744073709551615 210216463872 0 4 0 16800975 18446604443423885312 0 0 -1 0 0 0 0
[pid=28007/tid=28048] ppid=28005 vsize=13635032 CPUtime=0 cores=0,2,4,6
/proc/28007/task/28048/stat : 28048 (java) S 28005 28007 23523 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 827835895 13962272768 28299 33554432000 1073741824 1073778376 140734419964000 18446744073709551615 210216463872 0 4 0 16800975 18446604443423885312 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4.18
Current children cumulated vsize (KiB) 13635032

[startup+6.30063 s]
/proc/loadavg: 1.10 1.64 1.85 3/526 28049
/proc/meminfo: memFree=26982892/32951124 swapFree=63649284/67111528
[pid=28007] ppid=28005 vsize=13635032 CPUtime=7.47 cores=0,2,4,6
/proc/28007/stat : 28007 (java) S 28005 28007 23523 0 -1 4202496 34041 0 1 0 742 5 0 0 17 0 19 0 827835856 13962272768 28203 33554432000 1073741824 1073778376 140734419964000 18446744073709551615 210216450021 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/28007/statm: 3408758 28203 2266 9 0 3399492 0
[pid=28007/tid=28012] ppid=28005 vsize=13635032 CPUtime=6.21 cores=0,2,4,6
/proc/28007/task/28012/stat : 28012 (java) R 28005 28007 23523 0 -1 4202560 18495 0 1 0 618 3 0 0 25 0 19 0 827835857 13962272768 28203 33554432000 1073741824 1073778376 140734419964000 18446744073709551615 46912505780759 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=28007/tid=28020] ppid=28005 vsize=13635032 CPUtime=0 cores=0,2,4,6
/proc/28007/task/28020/stat : 28020 (java) S 28005 28007 23523 0 -1 4202560 386 0 0 0 0 0 0 0 16 0 19 0 827835859 13962272768 28203 33554432000 1073741824 1073778376 140734419964000 18446744073709551615 210216463257 0 4 0 16800975 18446604443423885312 0 0 -1 2 0 0 0
[pid=28007/tid=28022] ppid=28005 vsize=13635032 CPUtime=0 cores=0,2,4,6
/proc/28007/task/28022/stat : 28022 (java) S 28005 28007 23523 0 -1 4202560 72 0 0 0 0 0 0 0 16 0 19 0 827835859 13962272768 28203 33554432000 1073741824 1073778376 140734419964000 18446744073709551615 210216463257 0 4 0 16800975 18446604443423885312 0 0 -1 2 0 0 0
[pid=28007/tid=28024] ppid=28005 vsize=13635032 CPUtime=0 cores=0,2,4,6
/proc/28007/task/28024/stat : 28024 (java) S 28005 28007 23523 0 -1 4202560 124 0 0 0 0 0 0 0 15 0 19 0 827835859 13962272768 28203 33554432000 1073741824 1073778376 140734419964000 18446744073709551615 210216463257 0 4 0 16800975 18446604443423885312 0 0 -1 6 0 0 0
[pid=28007/tid=28026] ppid=28005 vsize=13635032 CPUtime=0 cores=0,2,4,6
/proc/28007/task/28026/stat : 28026 (java) S 28005 28007 23523 0 -1 4202560 156 0 0 0 0 0 0 0 16 0 19 0 827835859 13962272768 28203 33554432000 1073741824 1073778376 140734419964000 18446744073709551615 210216463257 0 4 0 16800975 18446604443423885312 0 0 -1 4 0 0 0
[pid=28007/tid=28028] ppid=28005 vsize=13635032 CPUtime=0 cores=0,2,4,6
/proc/28007/task/28028/stat : 28028 (java) S 28005 28007 23523 0 -1 4202560 121 0 0 0 0 0 0 0 15 0 19 0 827835859 13962272768 28203 33554432000 1073741824 1073778376 140734419964000 18446744073709551615 210216463257 0 4 0 16800975 18446604443423885312 0 0 -1 2 0 0 0
[pid=28007/tid=28029] ppid=28005 vsize=13635032 CPUtime=0 cores=0,2,4,6
/proc/28007/task/28029/stat : 28029 (java) S 28005 28007 23523 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 827835859 13962272768 28203 33554432000 1073741824 1073778376 140734419964000 18446744073709551615 210216463257 0 4 0 16800975 18446604443423885312 0 0 -1 4 0 0 0
[pid=28007/tid=28030] ppid=28005 vsize=13635032 CPUtime=0 cores=0,2,4,6
/proc/28007/task/28030/stat : 28030 (java) S 28005 28007 23523 0 -1 4202560 3 0 0 0 0 0 0 0 16 0 19 0 827835859 13962272768 28203 33554432000 1073741824 1073778376 140734419964000 18446744073709551615 210216463257 0 4 0 16800975 18446604443423885312 0 0 -1 4 0 0 0
[pid=28007/tid=28031] ppid=28005 vsize=13635032 CPUtime=0 cores=0,2,4,6
/proc/28007/task/28031/stat : 28031 (java) S 28005 28007 23523 0 -1 4202560 525 0 0 0 0 0 0 0 15 0 19 0 827835859 13962272768 28203 33554432000 1073741824 1073778376 140734419964000 18446744073709551615 210216463257 0 4 0 16800975 18446604443423885312 0 0 -1 4 0 0 0
[pid=28007/tid=28033] ppid=28005 vsize=13635032 CPUtime=0.05 cores=0,2,4,6
/proc/28007/task/28033/stat : 28033 (java) S 28005 28007 23523 0 -1 4202560 1207 0 0 0 5 0 0 0 15 0 19 0 827835860 13962272768 28203 33554432000 1073741824 1073778376 140734419964000 18446744073709551615 210216463872 0 0 0 16800975 18446604443423885312 0 0 -1 6 0 0 0
[pid=28007/tid=28035] ppid=28005 vsize=13635032 CPUtime=0 cores=0,2,4,6
/proc/28007/task/28035/stat : 28035 (java) S 28005 28007 23523 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 827835861 13962272768 28203 33554432000 1073741824 1073778376 140734419964000 18446744073709551615 210216463257 0 4 0 16800975 18446604443423885312 0 0 -1 0 0 0 0
[pid=28007/tid=28037] ppid=28005 vsize=13635032 CPUtime=0 cores=0,2,4,6
/proc/28007/task/28037/stat : 28037 (java) S 28005 28007 23523 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 827835861 13962272768 28203 33554432000 1073741824 1073778376 140734419964000 18446744073709551615 210216463257 0 4 0 16800975 18446604443423885312 0 0 -1 0 0 0 0
[pid=28007/tid=28039] ppid=28005 vsize=13635032 CPUtime=0 cores=0,2,4,6
/proc/28007/task/28039/stat : 28039 (java) S 28005 28007 23523 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827835863 13962272768 28203 33554432000 1073741824 1073778376 140734419964000 18446744073709551615 210216470961 0 4 0 16800975 18446604443423885312 0 0 -1 2 0 0 0
[pid=28007/tid=28041] ppid=28005 vsize=13635032 CPUtime=0.62 cores=0,2,4,6
/proc/28007/task/28041/stat : 28041 (java) S 28005 28007 23523 0 -1 4202560 5572 0 0 0 61 1 0 0 15 0 19 0 827835863 13962272768 28203 33554432000 1073741824 1073778376 140734419964000 18446744073709551615 210216463257 0 4 0 16800975 18446604443423885312 0 0 -1 4 0 0 0
[pid=28007/tid=28042] ppid=28005 vsize=13635032 CPUtime=0.55 cores=0,2,4,6
/proc/28007/task/28042/stat : 28042 (java) S 28005 28007 23523 0 -1 4202560 6228 0 0 0 55 0 0 0 15 0 19 0 827835863 13962272768 28203 33554432000 1073741824 1073778376 140734419964000 18446744073709551615 210216463257 0 4 0 16800975 18446604443423885312 0 0 -1 0 0 0 0

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

[pid=28007/tid=28029] ppid=28005 vsize=13635032 CPUtime=0.12 cores=0,2,4,6
/proc/28007/task/28029/stat : 28029 (java) S 28005 28007 23523 0 -1 4202560 46 0 0 0 12 0 0 0 15 0 19 0 827835859 13962272768 30522 33554432000 1073741824 1073778376 140734419964000 18446744073709551615 210216463257 0 4 0 16800975 18446604443423885312 0 0 -1 4 0 0 0
[pid=28007/tid=28030] ppid=28005 vsize=13635032 CPUtime=0.1 cores=0,2,4,6
/proc/28007/task/28030/stat : 28030 (java) S 28005 28007 23523 0 -1 4202560 20 0 0 0 10 0 0 0 15 0 19 0 827835859 13962272768 30522 33554432000 1073741824 1073778376 140734419964000 18446744073709551615 210216463257 0 4 0 16800975 18446604443423885312 0 0 -1 4 0 0 0
[pid=28007/tid=28031] ppid=28005 vsize=13635032 CPUtime=0.11 cores=0,2,4,6
/proc/28007/task/28031/stat : 28031 (java) S 28005 28007 23523 0 -1 4202560 549 0 0 0 11 0 0 0 15 0 19 0 827835859 13962272768 30522 33554432000 1073741824 1073778376 140734419964000 18446744073709551615 210216463257 0 4 0 16800975 18446604443423885312 0 0 -1 6 0 0 0
[pid=28007/tid=28033] ppid=28005 vsize=13635032 CPUtime=7.26 cores=0,2,4,6
/proc/28007/task/28033/stat : 28033 (java) S 28005 28007 23523 0 -1 4202560 2639 0 0 0 721 5 0 0 15 0 19 0 827835860 13962272768 30522 33554432000 1073741824 1073778376 140734419964000 18446744073709551615 210216463872 0 0 0 16800975 18446604443423885312 0 0 -1 2 0 0 0
[pid=28007/tid=28035] ppid=28005 vsize=13635032 CPUtime=0 cores=0,2,4,6
/proc/28007/task/28035/stat : 28035 (java) S 28005 28007 23523 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 827835861 13962272768 30522 33554432000 1073741824 1073778376 140734419964000 18446744073709551615 210216463257 0 4 0 16800975 18446604443423885312 0 0 -1 0 0 0 0
[pid=28007/tid=28037] ppid=28005 vsize=13635032 CPUtime=0 cores=0,2,4,6
/proc/28007/task/28037/stat : 28037 (java) S 28005 28007 23523 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 827835861 13962272768 30522 33554432000 1073741824 1073778376 140734419964000 18446744073709551615 210216463257 0 4 0 16800975 18446604443423885312 0 0 -1 0 0 0 0
[pid=28007/tid=28039] ppid=28005 vsize=13635032 CPUtime=0 cores=0,2,4,6
/proc/28007/task/28039/stat : 28039 (java) S 28005 28007 23523 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827835863 13962272768 30522 33554432000 1073741824 1073778376 140734419964000 18446744073709551615 210216470961 0 4 0 16800975 18446604443423885312 0 0 -1 2 0 0 0
[pid=28007/tid=28041] ppid=28005 vsize=13635032 CPUtime=0.67 cores=0,2,4,6
/proc/28007/task/28041/stat : 28041 (java) S 28005 28007 23523 0 -1 4202560 5598 0 0 0 66 1 0 0 15 0 19 0 827835863 13962272768 30522 33554432000 1073741824 1073778376 140734419964000 18446744073709551615 210216463257 0 4 0 16800975 18446604443423885312 0 0 -1 4 0 0 0
[pid=28007/tid=28042] ppid=28005 vsize=13635032 CPUtime=0.55 cores=0,2,4,6
/proc/28007/task/28042/stat : 28042 (java) S 28005 28007 23523 0 -1 4202560 6229 0 0 0 55 0 0 0 15 0 19 0 827835863 13962272768 30522 33554432000 1073741824 1073778376 140734419964000 18446744073709551615 210216463257 0 4 0 16800975 18446604443423885312 0 0 -1 0 0 0 0
[pid=28007/tid=28044] ppid=28005 vsize=13635032 CPUtime=0 cores=0,2,4,6
/proc/28007/task/28044/stat : 28044 (java) S 28005 28007 23523 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827835863 13962272768 30522 33554432000 1073741824 1073778376 140734419964000 18446744073709551615 210216463257 0 4 0 16800975 18446604443423885312 0 0 -1 2 0 0 0
[pid=28007/tid=28046] ppid=28005 vsize=13635032 CPUtime=0 cores=0,2,4,6
/proc/28007/task/28046/stat : 28046 (java) S 28005 28007 23523 0 -1 4202560 96 0 0 0 0 0 0 0 15 0 19 0 827835863 13962272768 30522 33554432000 1073741824 1073778376 140734419964000 18446744073709551615 210216463872 0 4 0 16800975 18446604443423885312 0 0 -1 4 0 0 0
[pid=28007/tid=28048] ppid=28005 vsize=13635032 CPUtime=0 cores=0,2,4,6
/proc/28007/task/28048/stat : 28048 (java) S 28005 28007 23523 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 827835895 13962272768 30522 33554432000 1073741824 1073778376 140734419964000 18446744073709551615 210216463872 0 4 0 16800975 18446604443423885312 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1663.89
Current children cumulated vsize (KiB) 13635032

[startup+1722.3 s]
/proc/loadavg: 2.15 2.09 2.02 3/526 28106
/proc/meminfo: memFree=26960444/32951124 swapFree=63649284/67111528
[pid=28007] ppid=28005 vsize=13635032 CPUtime=1723.89 cores=0,2,4,6
/proc/28007/stat : 28007 (java) S 28005 28007 23523 0 -1 4202496 36908 0 1 0 172373 16 0 0 17 0 19 0 827835856 13962272768 30537 33554432000 1073741824 1073778376 140734419964000 18446744073709551615 210216450021 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/28007/statm: 3408758 30537 2267 9 0 3399492 0
[pid=28007/tid=28012] ppid=28005 vsize=13635032 CPUtime=1714.21 cores=0,2,4,6
/proc/28007/task/28012/stat : 28012 (java) R 28005 28007 23523 0 -1 4202560 18820 0 1 0 171414 7 0 0 25 0 19 0 827835857 13962272768 30537 33554432000 1073741824 1073778376 140734419964000 18446744073709551615 46912505626087 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=28007/tid=28020] ppid=28005 vsize=13635032 CPUtime=0.13 cores=0,2,4,6
/proc/28007/task/28020/stat : 28020 (java) S 28005 28007 23523 0 -1 4202560 967 0 0 0 13 0 0 0 15 0 19 0 827835859 13962272768 30537 33554432000 1073741824 1073778376 140734419964000 18446744073709551615 210216463257 0 4 0 16800975 18446604443423885312 0 0 -1 4 0 0 0
[pid=28007/tid=28022] ppid=28005 vsize=13635032 CPUtime=0.13 cores=0,2,4,6
/proc/28007/task/28022/stat : 28022 (java) S 28005 28007 23523 0 -1 4202560 109 0 0 0 13 0 0 0 15 0 19 0 827835859 13962272768 30537 33554432000 1073741824 1073778376 140734419964000 18446744073709551615 210216463257 0 4 0 16800975 18446604443423885312 0 0 -1 0 0 0 0
[pid=28007/tid=28024] ppid=28005 vsize=13635032 CPUtime=0.09 cores=0,2,4,6
/proc/28007/task/28024/stat : 28024 (java) S 28005 28007 23523 0 -1 4202560 350 0 0 0 9 0 0 0 15 0 19 0 827835859 13962272768 30537 33554432000 1073741824 1073778376 140734419964000 18446744073709551615 210216463257 0 4 0 16800975 18446604443423885312 0 0 -1 0 0 0 0
[pid=28007/tid=28026] ppid=28005 vsize=13635032 CPUtime=0.1 cores=0,2,4,6
/proc/28007/task/28026/stat : 28026 (java) S 28005 28007 23523 0 -1 4202560 176 0 0 0 10 0 0 0 15 0 19 0 827835859 13962272768 30537 33554432000 1073741824 1073778376 140734419964000 18446744073709551615 210216463257 0 4 0 16800975 18446604443423885312 0 0 -1 6 0 0 0
[pid=28007/tid=28028] ppid=28005 vsize=13635032 CPUtime=0.1 cores=0,2,4,6
/proc/28007/task/28028/stat : 28028 (java) S 28005 28007 23523 0 -1 4202560 136 0 0 0 10 0 0 0 16 0 19 0 827835859 13962272768 30537 33554432000 1073741824 1073778376 140734419964000 18446744073709551615 210216463257 0 4 0 16800975 18446604443423885312 0 0 -1 6 0 0 0
[pid=28007/tid=28029] ppid=28005 vsize=13635032 CPUtime=0.12 cores=0,2,4,6
/proc/28007/task/28029/stat : 28029 (java) S 28005 28007 23523 0 -1 4202560 46 0 0 0 12 0 0 0 15 0 19 0 827835859 13962272768 30537 33554432000 1073741824 1073778376 140734419964000 18446744073709551615 210216463257 0 4 0 16800975 18446604443423885312 0 0 -1 0 0 0 0
[pid=28007/tid=28030] ppid=28005 vsize=13635032 CPUtime=0.1 cores=0,2,4,6
/proc/28007/task/28030/stat : 28030 (java) S 28005 28007 23523 0 -1 4202560 20 0 0 0 10 0 0 0 16 0 19 0 827835859 13962272768 30537 33554432000 1073741824 1073778376 140734419964000 18446744073709551615 210216463257 0 4 0 16800975 18446604443423885312 0 0 -1 0 0 0 0
[pid=28007/tid=28031] ppid=28005 vsize=13635032 CPUtime=0.11 cores=0,2,4,6
/proc/28007/task/28031/stat : 28031 (java) S 28005 28007 23523 0 -1 4202560 549 0 0 0 11 0 0 0 15 0 19 0 827835859 13962272768 30537 33554432000 1073741824 1073778376 140734419964000 18446744073709551615 210216463257 0 4 0 16800975 18446604443423885312 0 0 -1 0 0 0 0
[pid=28007/tid=28033] ppid=28005 vsize=13635032 CPUtime=7.49 cores=0,2,4,6
/proc/28007/task/28033/stat : 28033 (java) S 28005 28007 23523 0 -1 4202560 2658 0 0 0 744 5 0 0 15 0 19 0 827835860 13962272768 30537 33554432000 1073741824 1073778376 140734419964000 18446744073709551615 210216463872 0 0 0 16800975 18446604443423885312 0 0 -1 2 0 0 0
[pid=28007/tid=28035] ppid=28005 vsize=13635032 CPUtime=0 cores=0,2,4,6
/proc/28007/task/28035/stat : 28035 (java) S 28005 28007 23523 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 827835861 13962272768 30537 33554432000 1073741824 1073778376 140734419964000 18446744073709551615 210216463257 0 4 0 16800975 18446604443423885312 0 0 -1 0 0 0 0
[pid=28007/tid=28037] ppid=28005 vsize=13635032 CPUtime=0 cores=0,2,4,6
/proc/28007/task/28037/stat : 28037 (java) S 28005 28007 23523 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 827835861 13962272768 30537 33554432000 1073741824 1073778376 140734419964000 18446744073709551615 210216463257 0 4 0 16800975 18446604443423885312 0 0 -1 0 0 0 0
[pid=28007/tid=28039] ppid=28005 vsize=13635032 CPUtime=0 cores=0,2,4,6
/proc/28007/task/28039/stat : 28039 (java) S 28005 28007 23523 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827835863 13962272768 30537 33554432000 1073741824 1073778376 140734419964000 18446744073709551615 210216470961 0 4 0 16800975 18446604443423885312 0 0 -1 2 0 0 0
[pid=28007/tid=28041] ppid=28005 vsize=13635032 CPUtime=0.67 cores=0,2,4,6
/proc/28007/task/28041/stat : 28041 (java) S 28005 28007 23523 0 -1 4202560 5598 0 0 0 66 1 0 0 15 0 19 0 827835863 13962272768 30537 33554432000 1073741824 1073778376 140734419964000 18446744073709551615 210216463257 0 4 0 16800975 18446604443423885312 0 0 -1 4 0 0 0
[pid=28007/tid=28042] ppid=28005 vsize=13635032 CPUtime=0.55 cores=0,2,4,6
/proc/28007/task/28042/stat : 28042 (java) S 28005 28007 23523 0 -1 4202560 6229 0 0 0 55 0 0 0 15 0 19 0 827835863 13962272768 30537 33554432000 1073741824 1073778376 140734419964000 18446744073709551615 210216463257 0 4 0 16800975 18446604443423885312 0 0 -1 0 0 0 0
[pid=28007/tid=28044] ppid=28005 vsize=13635032 CPUtime=0 cores=0,2,4,6
/proc/28007/task/28044/stat : 28044 (java) S 28005 28007 23523 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827835863 13962272768 30537 33554432000 1073741824 1073778376 140734419964000 18446744073709551615 210216463257 0 4 0 16800975 18446604443423885312 0 0 -1 2 0 0 0
[pid=28007/tid=28046] ppid=28005 vsize=13635032 CPUtime=0 cores=0,2,4,6
/proc/28007/task/28046/stat : 28046 (java) S 28005 28007 23523 0 -1 4202560 100 0 0 0 0 0 0 0 15 0 19 0 827835863 13962272768 30537 33554432000 1073741824 1073778376 140734419964000 18446744073709551615 210216463872 0 4 0 16800975 18446604443423885312 0 0 -1 4 0 0 0
[pid=28007/tid=28048] ppid=28005 vsize=13635032 CPUtime=0 cores=0,2,4,6
/proc/28007/task/28048/stat : 28048 (java) S 28005 28007 23523 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 827835895 13962272768 30537 33554432000 1073741824 1073778376 140734419964000 18446744073709551615 210216463872 0 4 0 16800975 18446604443423885312 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1723.89
Current children cumulated vsize (KiB) 13635032

[startup+1782.3 s]
/proc/loadavg: 2.12 2.10 2.02 3/526 28108
/proc/meminfo: memFree=26959164/32951124 swapFree=63649284/67111528
[pid=28007] ppid=28005 vsize=13635032 CPUtime=1783.9 cores=0,2,4,6
/proc/28007/stat : 28007 (java) S 28005 28007 23523 0 -1 4202496 36922 0 1 0 178374 16 0 0 17 0 19 0 827835856 13962272768 30537 33554432000 1073741824 1073778376 140734419964000 18446744073709551615 210216450021 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/28007/statm: 3408758 30537 2267 9 0 3399492 0
[pid=28007/tid=28012] ppid=28005 vsize=13635032 CPUtime=1773.96 cores=0,2,4,6
/proc/28007/task/28012/stat : 28012 (java) R 28005 28007 23523 0 -1 4202560 18830 0 1 0 177389 7 0 0 25 0 19 0 827835857 13962272768 30537 33554432000 1073741824 1073778376 140734419964000 18446744073709551615 46912505798413 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=28007/tid=28020] ppid=28005 vsize=13635032 CPUtime=0.13 cores=0,2,4,6
/proc/28007/task/28020/stat : 28020 (java) S 28005 28007 23523 0 -1 4202560 967 0 0 0 13 0 0 0 15 0 19 0 827835859 13962272768 30537 33554432000 1073741824 1073778376 140734419964000 18446744073709551615 210216463257 0 4 0 16800975 18446604443423885312 0 0 -1 0 0 0 0
[pid=28007/tid=28022] ppid=28005 vsize=13635032 CPUtime=0.13 cores=0,2,4,6
/proc/28007/task/28022/stat : 28022 (java) S 28005 28007 23523 0 -1 4202560 109 0 0 0 13 0 0 0 15 0 19 0 827835859 13962272768 30537 33554432000 1073741824 1073778376 140734419964000 18446744073709551615 210216463257 0 4 0 16800975 18446604443423885312 0 0 -1 0 0 0 0
[pid=28007/tid=28024] ppid=28005 vsize=13635032 CPUtime=0.09 cores=0,2,4,6
/proc/28007/task/28024/stat : 28024 (java) S 28005 28007 23523 0 -1 4202560 350 0 0 0 9 0 0 0 16 0 19 0 827835859 13962272768 30537 33554432000 1073741824 1073778376 140734419964000 18446744073709551615 210216463257 0 4 0 16800975 18446604443423885312 0 0 -1 4 0 0 0
[pid=28007/tid=28026] ppid=28005 vsize=13635032 CPUtime=0.1 cores=0,2,4,6
/proc/28007/task/28026/stat : 28026 (java) S 28005 28007 23523 0 -1 4202560 176 0 0 0 10 0 0 0 15 0 19 0 827835859 13962272768 30537 33554432000 1073741824 1073778376 140734419964000 18446744073709551615 210216463257 0 4 0 16800975 18446604443423885312 0 0 -1 0 0 0 0
[pid=28007/tid=28028] ppid=28005 vsize=13635032 CPUtime=0.1 cores=0,2,4,6
/proc/28007/task/28028/stat : 28028 (java) S 28005 28007 23523 0 -1 4202560 136 0 0 0 10 0 0 0 15 0 19 0 827835859 13962272768 30537 33554432000 1073741824 1073778376 140734419964000 18446744073709551615 210216463257 0 4 0 16800975 18446604443423885312 0 0 -1 6 0 0 0
[pid=28007/tid=28029] ppid=28005 vsize=13635032 CPUtime=0.12 cores=0,2,4,6
/proc/28007/task/28029/stat : 28029 (java) S 28005 28007 23523 0 -1 4202560 46 0 0 0 12 0 0 0 15 0 19 0 827835859 13962272768 30537 33554432000 1073741824 1073778376 140734419964000 18446744073709551615 210216463257 0 4 0 16800975 18446604443423885312 0 0 -1 0 0 0 0
[pid=28007/tid=28030] ppid=28005 vsize=13635032 CPUtime=0.1 cores=0,2,4,6
/proc/28007/task/28030/stat : 28030 (java) S 28005 28007 23523 0 -1 4202560 20 0 0 0 10 0 0 0 15 0 19 0 827835859 13962272768 30537 33554432000 1073741824 1073778376 140734419964000 18446744073709551615 210216463257 0 4 0 16800975 18446604443423885312 0 0 -1 6 0 0 0
[pid=28007/tid=28031] ppid=28005 vsize=13635032 CPUtime=0.12 cores=0,2,4,6
/proc/28007/task/28031/stat : 28031 (java) S 28005 28007 23523 0 -1 4202560 549 0 0 0 12 0 0 0 15 0 19 0 827835859 13962272768 30537 33554432000 1073741824 1073778376 140734419964000 18446744073709551615 210216463257 0 4 0 16800975 18446604443423885312 0 0 -1 4 0 0 0
[pid=28007/tid=28033] ppid=28005 vsize=13635032 CPUtime=7.73 cores=0,2,4,6
/proc/28007/task/28033/stat : 28033 (java) S 28005 28007 23523 0 -1 4202560 2660 0 0 0 768 5 0 0 15 0 19 0 827835860 13962272768 30537 33554432000 1073741824 1073778376 140734419964000 18446744073709551615 210216463872 0 0 0 16800975 18446604443423885312 0 0 -1 2 0 0 0
[pid=28007/tid=28035] ppid=28005 vsize=13635032 CPUtime=0 cores=0,2,4,6
/proc/28007/task/28035/stat : 28035 (java) S 28005 28007 23523 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 827835861 13962272768 30537 33554432000 1073741824 1073778376 140734419964000 18446744073709551615 210216463257 0 4 0 16800975 18446604443423885312 0 0 -1 0 0 0 0
[pid=28007/tid=28037] ppid=28005 vsize=13635032 CPUtime=0 cores=0,2,4,6
/proc/28007/task/28037/stat : 28037 (java) S 28005 28007 23523 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 827835861 13962272768 30537 33554432000 1073741824 1073778376 140734419964000 18446744073709551615 210216463257 0 4 0 16800975 18446604443423885312 0 0 -1 0 0 0 0
[pid=28007/tid=28039] ppid=28005 vsize=13635032 CPUtime=0 cores=0,2,4,6
/proc/28007/task/28039/stat : 28039 (java) S 28005 28007 23523 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827835863 13962272768 30537 33554432000 1073741824 1073778376 140734419964000 18446744073709551615 210216470961 0 4 0 16800975 18446604443423885312 0 0 -1 2 0 0 0
[pid=28007/tid=28041] ppid=28005 vsize=13635032 CPUtime=0.67 cores=0,2,4,6
/proc/28007/task/28041/stat : 28041 (java) S 28005 28007 23523 0 -1 4202560 5598 0 0 0 66 1 0 0 15 0 19 0 827835863 13962272768 30537 33554432000 1073741824 1073778376 140734419964000 18446744073709551615 210216463257 0 4 0 16800975 18446604443423885312 0 0 -1 4 0 0 0
[pid=28007/tid=28042] ppid=28005 vsize=13635032 CPUtime=0.55 cores=0,2,4,6
/proc/28007/task/28042/stat : 28042 (java) S 28005 28007 23523 0 -1 4202560 6229 0 0 0 55 0 0 0 15 0 19 0 827835863 13962272768 30537 33554432000 1073741824 1073778376 140734419964000 18446744073709551615 210216463257 0 4 0 16800975 18446604443423885312 0 0 -1 0 0 0 0
[pid=28007/tid=28044] ppid=28005 vsize=13635032 CPUtime=0 cores=0,2,4,6
/proc/28007/task/28044/stat : 28044 (java) S 28005 28007 23523 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827835863 13962272768 30537 33554432000 1073741824 1073778376 140734419964000 18446744073709551615 210216463257 0 4 0 16800975 18446604443423885312 0 0 -1 2 0 0 0
[pid=28007/tid=28046] ppid=28005 vsize=13635032 CPUtime=0 cores=0,2,4,6
/proc/28007/task/28046/stat : 28046 (java) S 28005 28007 23523 0 -1 4202560 102 0 0 0 0 0 0 0 15 0 19 0 827835863 13962272768 30537 33554432000 1073741824 1073778376 140734419964000 18446744073709551615 210216463872 0 4 0 16800975 18446604443423885312 0 0 -1 4 0 0 0
[pid=28007/tid=28048] ppid=28005 vsize=13635032 CPUtime=0 cores=0,2,4,6
/proc/28007/task/28048/stat : 28048 (java) S 28005 28007 23523 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 827835895 13962272768 30537 33554432000 1073741824 1073778376 140734419964000 18446744073709551615 210216463872 0 4 0 16800975 18446604443423885312 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1783.9
Current children cumulated vsize (KiB) 13635032



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1798.4 s]
/proc/loadavg: 2.10 2.10 2.02 2/502 28129
/proc/meminfo: memFree=27072500/32951124 swapFree=63649284/67111528
[pid=28007] ppid=28005 vsize=13635032 CPUtime=1800.02 cores=0,2,4,6
/proc/28007/stat : 28007 (java) S 28005 28007 23523 0 -1 4202496 36982 0 1 0 179986 16 0 0 17 0 19 0 827835856 13962272768 30590 33554432000 1073741824 1073778376 140734419964000 18446744073709551615 210216450021 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/28007/statm: 3408758 30590 2267 9 0 3399492 0
[pid=28007/tid=28012] ppid=28005 vsize=13635032 CPUtime=1790 cores=0,2,4,6
/proc/28007/task/28012/stat : 28012 (java) R 28005 28007 23523 0 -1 4202560 18833 0 1 0 178993 7 0 0 25 0 19 0 827835857 13962272768 30590 33554432000 1073741824 1073778376 140734419964000 18446744073709551615 46912505780732 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=28007/tid=28020] ppid=28005 vsize=13635032 CPUtime=0.14 cores=0,2,4,6
/proc/28007/task/28020/stat : 28020 (java) S 28005 28007 23523 0 -1 4202560 967 0 0 0 14 0 0 0 15 0 19 0 827835859 13962272768 30590 33554432000 1073741824 1073778376 140734419964000 18446744073709551615 210216463257 0 4 0 16800975 18446604443423885312 0 0 -1 0 0 0 0
[pid=28007/tid=28022] ppid=28005 vsize=13635032 CPUtime=0.13 cores=0,2,4,6
/proc/28007/task/28022/stat : 28022 (java) S 28005 28007 23523 0 -1 4202560 109 0 0 0 13 0 0 0 15 0 19 0 827835859 13962272768 30590 33554432000 1073741824 1073778376 140734419964000 18446744073709551615 210216463257 0 4 0 16800975 18446604443423885312 0 0 -1 4 0 0 0
[pid=28007/tid=28024] ppid=28005 vsize=13635032 CPUtime=0.09 cores=0,2,4,6
/proc/28007/task/28024/stat : 28024 (java) S 28005 28007 23523 0 -1 4202560 376 0 0 0 9 0 0 0 16 0 19 0 827835859 13962272768 30590 33554432000 1073741824 1073778376 140734419964000 18446744073709551615 210216463257 0 4 0 16800975 18446604443423885312 0 0 -1 4 0 0 0
[pid=28007/tid=28026] ppid=28005 vsize=13635032 CPUtime=0.11 cores=0,2,4,6
/proc/28007/task/28026/stat : 28026 (java) S 28005 28007 23523 0 -1 4202560 176 0 0 0 11 0 0 0 15 0 19 0 827835859 13962272768 30590 33554432000 1073741824 1073778376 140734419964000 18446744073709551615 210216463257 0 4 0 16800975 18446604443423885312 0 0 -1 0 0 0 0
[pid=28007/tid=28028] ppid=28005 vsize=13635032 CPUtime=0.1 cores=0,2,4,6
/proc/28007/task/28028/stat : 28028 (java) S 28005 28007 23523 0 -1 4202560 136 0 0 0 10 0 0 0 15 0 19 0 827835859 13962272768 30590 33554432000 1073741824 1073778376 140734419964000 18446744073709551615 210216463257 0 4 0 16800975 18446604443423885312 0 0 -1 6 0 0 0
[pid=28007/tid=28029] ppid=28005 vsize=13635032 CPUtime=0.12 cores=0,2,4,6
/proc/28007/task/28029/stat : 28029 (java) S 28005 28007 23523 0 -1 4202560 46 0 0 0 12 0 0 0 15 0 19 0 827835859 13962272768 30590 33554432000 1073741824 1073778376 140734419964000 18446744073709551615 210216463257 0 4 0 16800975 18446604443423885312 0 0 -1 0 0 0 0
[pid=28007/tid=28030] ppid=28005 vsize=13635032 CPUtime=0.1 cores=0,2,4,6
/proc/28007/task/28030/stat : 28030 (java) S 28005 28007 23523 0 -1 4202560 35 0 0 0 10 0 0 0 16 0 19 0 827835859 13962272768 30590 33554432000 1073741824 1073778376 140734419964000 18446744073709551615 210216463257 0 4 0 16800975 18446604443423885312 0 0 -1 6 0 0 0
[pid=28007/tid=28031] ppid=28005 vsize=13635032 CPUtime=0.12 cores=0,2,4,6
/proc/28007/task/28031/stat : 28031 (java) S 28005 28007 23523 0 -1 4202560 561 0 0 0 12 0 0 0 16 0 19 0 827835859 13962272768 30590 33554432000 1073741824 1073778376 140734419964000 18446744073709551615 210216463257 0 4 0 16800975 18446604443423885312 0 0 -1 0 0 0 0
[pid=28007/tid=28033] ppid=28005 vsize=13635032 CPUtime=7.8 cores=0,2,4,6
/proc/28007/task/28033/stat : 28033 (java) S 28005 28007 23523 0 -1 4202560 2662 0 0 0 775 5 0 0 15 0 19 0 827835860 13962272768 30590 33554432000 1073741824 1073778376 140734419964000 18446744073709551615 210216463872 0 0 0 16800975 18446604443423885312 0 0 -1 2 0 0 0
[pid=28007/tid=28035] ppid=28005 vsize=13635032 CPUtime=0 cores=0,2,4,6
/proc/28007/task/28035/stat : 28035 (java) S 28005 28007 23523 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 827835861 13962272768 30590 33554432000 1073741824 1073778376 140734419964000 18446744073709551615 210216463257 0 4 0 16800975 18446604443423885312 0 0 -1 0 0 0 0
[pid=28007/tid=28037] ppid=28005 vsize=13635032 CPUtime=0 cores=0,2,4,6
/proc/28007/task/28037/stat : 28037 (java) S 28005 28007 23523 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 827835861 13962272768 30590 33554432000 1073741824 1073778376 140734419964000 18446744073709551615 210216463257 0 4 0 16800975 18446604443423885312 0 0 -1 0 0 0 0
[pid=28007/tid=28039] ppid=28005 vsize=13635032 CPUtime=0 cores=0,2,4,6
/proc/28007/task/28039/stat : 28039 (java) S 28005 28007 23523 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827835863 13962272768 30590 33554432000 1073741824 1073778376 140734419964000 18446744073709551615 210216470961 0 4 0 16800975 18446604443423885312 0 0 -1 2 0 0 0
[pid=28007/tid=28041] ppid=28005 vsize=13635032 CPUtime=0.67 cores=0,2,4,6
/proc/28007/task/28041/stat : 28041 (java) S 28005 28007 23523 0 -1 4202560 5598 0 0 0 66 1 0 0 15 0 19 0 827835863 13962272768 30590 33554432000 1073741824 1073778376 140734419964000 18446744073709551615 210216463257 0 4 0 16800975 18446604443423885312 0 0 -1 4 0 0 0
[pid=28007/tid=28042] ppid=28005 vsize=13635032 CPUtime=0.55 cores=0,2,4,6
/proc/28007/task/28042/stat : 28042 (java) S 28005 28007 23523 0 -1 4202560 6229 0 0 0 55 0 0 0 15 0 19 0 827835863 13962272768 30590 33554432000 1073741824 1073778376 140734419964000 18446744073709551615 210216463257 0 4 0 16800975 18446604443423885312 0 0 -1 0 0 0 0
[pid=28007/tid=28044] ppid=28005 vsize=13635032 CPUtime=0 cores=0,2,4,6
/proc/28007/task/28044/stat : 28044 (java) S 28005 28007 23523 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827835863 13962272768 30590 33554432000 1073741824 1073778376 140734419964000 18446744073709551615 210216463257 0 4 0 16800975 18446604443423885312 0 0 -1 2 0 0 0
[pid=28007/tid=28046] ppid=28005 vsize=13635032 CPUtime=0 cores=0,2,4,6
/proc/28007/task/28046/stat : 28046 (java) S 28005 28007 23523 0 -1 4202560 104 0 0 0 0 0 0 0 15 0 19 0 827835863 13962272768 30590 33554432000 1073741824 1073778376 140734419964000 18446744073709551615 210216463872 0 4 0 16800975 18446604443423885312 0 0 -1 4 0 0 0
[pid=28007/tid=28048] ppid=28005 vsize=13635032 CPUtime=0 cores=0,2,4,6
/proc/28007/task/28048/stat : 28048 (java) S 28005 28007 23523 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 827835895 13962272768 30590 33554432000 1073741824 1073778376 140734419964000 18446744073709551615 210216463872 0 4 0 16800975 18446604443423885312 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 13635032

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): 1798.44
CPU time (s): 1800.07
CPU user time (s): 1799.89
CPU system time (s): 0.173973
CPU usage (%): 100.09
Max. virtual memory (cumulated for all children) (KiB): 13635032

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

runsolver used 9.80451 second user time and 19.519 second system time

The end

Launcher Data 

Begin job on node130 at 2011-06-04 06:39:34
IDJOB=3458446
IDBENCH=48266
IDSOLVER=1952
FILE ID=node130/3458446-1307162374
RUNJOBID= node130-1307162374-27992
PBS_JOBID= 13508786
Free space on /tmp= 73856 MiB

SOLVER NAME= Sat4j Resolution 2.3.0
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/bsg/normalized-bsg_200_10_5.opb
COMMAND LINE= java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3458446-1307162374/watcher-3458446-1307162374 -o /tmp/evaluation-result-3458446-1307162374/solver-3458446-1307162374 -C 1800 -W 1900 -M 15500  java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution HOME/instance-3458446-1307162374.opb

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

MD5SUM BENCH= 996170804397234947041ed4d87d3aa0
RANDOM SEED=84693769

node130.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.838
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.67
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.838
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.838
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.838
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.81
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.838
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.838
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.838
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.838
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.81
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      27192240 kB
Buffers:        277488 kB
Cached:         418884 kB
SwapCached:       9700 kB
Active:        5105920 kB
Inactive:       370852 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      27192240 kB
SwapTotal:    67111528 kB
SwapFree:     63649284 kB
Dirty:             484 kB
Writeback:           0 kB
AnonPages:     4778656 kB
Mapped:          30072 kB
Slab:           158020 kB
PageTables:      53900 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 145071288 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= 73856 MiB
End job on node130 at 2011-06-04 07:09:34