Trace number 3458459

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)-37 1800.07 1798.25

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/bsg/normalized-bsg_200_10_3.opb
MD5SUM27440fbcb5a9ea2c9ae6b100e77dc1d3
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-57
Best CPU time to get the best result obtained on this benchmark1797.14
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -60
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)4976
Sum of products size (including duplicates)9952
Number of different products2488
Sum of products size4976

Solver Data 

0.06/0.08	c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre
0.06/0.08	c This is free software under the dual EPL/GNU LGPL licenses.
0.06/0.08	c See www.sat4j.org for details.
0.06/0.09	c version 2.3.1.v20110525
0.06/0.09	c java.runtime.name	Java(TM) SE Runtime Environment
0.06/0.09	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.06/0.09	c java.vm.version	19.1-b02
0.06/0.09	c java.vm.vendor	Sun Microsystems Inc.
0.06/0.09	c sun.arch.data.model	64
0.06/0.09	c java.version		1.6.0_24
0.06/0.09	c os.name		Linux
0.06/0.09	c os.version		2.6.18-164.el5
0.06/0.09	c os.arch		amd64
0.06/0.09	c Free memory 		12995394264
0.06/0.09	c Max memory 		13063553024
0.06/0.09	c Total memory 		13063553024
0.06/0.09	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@13d4c61c
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-3458459-1307163104.opb
0.10/0.11	c reading problem ... 
0.51/0.62	c ... done. Wall clock time 0.258s.
0.51/0.62	c #vars     2888
0.51/0.62	c #constraints  5578
0.51/0.62	c constraints type 
0.51/0.62	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 2488
0.51/0.62	c org.sat4j.minisat.constraints.card.MinWatchCard => 402
0.51/0.62	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 200
0.51/0.62	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 2488
1.92/1.08	c SATISFIABLE
1.92/1.08	c OPTIMIZING...
1.92/1.08	c Got one! Elapsed wall clock time (in seconds):0.972
1.92/1.08	o -37
3.80/2.82	c cleaning 2655 clauses out of 5595 with flag 4000/5595
6.05/5.01	c cleaning 4411 clauses out of 8940 with flag 10000/11595
8.26/7.29	c cleaning 5723 clauses out of 11529 with flag 17000/18595
10.86/9.81	c cleaning 6875 clauses out of 13806 with flag 25000/26595
14.22/13.17	c cleaning 7947 clauses out of 15931 with flag 34000/35595
17.74/16.71	c cleaning 8910 clauses out of 17984 with flag 44000/45595
21.52/20.47	c cleaning 9400 clauses out of 19074 with flag 54000/55595
25.12/24.05	c cleaning 9746 clauses out of 19674 with flag 64000/65595
28.63/27.58	c cleaning 9947 clauses out of 19928 with flag 74000/75595
32.93/31.86	c cleaning 9900 clauses out of 19981 with flag 84000/85595
36.73/35.66	c cleaning 10036 clauses out of 20081 with flag 94000/95595
40.95/39.83	c cleaning 9876 clauses out of 20045 with flag 104000/105595
44.93/43.89	c cleaning 9998 clauses out of 20169 with flag 114000/115595
49.03/47.90	c cleaning 9943 clauses out of 20171 with flag 124000/125595
53.53/52.47	c cleaning 9991 clauses out of 20228 with flag 134000/135595
57.73/56.68	c cleaning 10010 clauses out of 20237 with flag 144000/145595
62.03/60.92	c cleaning 10001 clauses out of 20227 with flag 154000/155595
66.03/64.92	c cleaning 10056 clauses out of 20226 with flag 164000/165595
70.43/69.30	c cleaning 10004 clauses out of 20170 with flag 174000/175595
74.73/73.60	c cleaning 9923 clauses out of 20166 with flag 184000/185595
79.83/78.71	c cleaning 10026 clauses out of 20243 with flag 194000/195595
84.53/83.43	c cleaning 9992 clauses out of 20217 with flag 204000/205595
89.13/88.11	c cleaning 10034 clauses out of 20225 with flag 214000/215595
93.77/92.66	c cleaning 10040 clauses out of 20191 with flag 224000/225595
98.17/97.08	c cleaning 9976 clauses out of 20151 with flag 234000/235595
102.95/101.84	c cleaning 9972 clauses out of 20175 with flag 244000/245595
107.45/106.32	c cleaning 10002 clauses out of 20203 with flag 254000/255595
112.26/111.11	c cleaning 10053 clauses out of 20201 with flag 264000/265595
116.36/115.27	c cleaning 9970 clauses out of 20148 with flag 274000/275595
120.56/119.42	c cleaning 10064 clauses out of 20178 with flag 284000/285595
124.76/123.65	c cleaning 10004 clauses out of 20114 with flag 294000/295595
129.26/128.14	c cleaning 9913 clauses out of 20110 with flag 304000/305595
134.48/133.32	c cleaning 10023 clauses out of 20198 with flag 314001/315596
139.26/138.15	c cleaning 10009 clauses out of 20174 with flag 324000/325595
143.86/142.73	c cleaning 9983 clauses out of 20165 with flag 334000/335595
148.68/147.59	c cleaning 10014 clauses out of 20182 with flag 344000/345595
153.57/152.45	c cleaning 9962 clauses out of 20168 with flag 354000/355595
158.17/157.04	c cleaning 10010 clauses out of 20206 with flag 364000/365595
162.99/161.82	c cleaning 10010 clauses out of 20196 with flag 374000/375595
167.27/166.20	c cleaning 10009 clauses out of 20186 with flag 384000/385595
172.48/171.32	c cleaning 10057 clauses out of 20177 with flag 394000/395595
177.19/176.04	c cleaning 9986 clauses out of 20120 with flag 404000/405595
182.39/181.20	c cleaning 9956 clauses out of 20134 with flag 414000/415595
187.09/185.98	c cleaning 9979 clauses out of 20178 with flag 424000/425595
191.99/190.87	c cleaning 10005 clauses out of 20199 with flag 434000/435595
196.59/195.41	c cleaning 10029 clauses out of 20194 with flag 444000/445595
201.39/200.26	c cleaning 9988 clauses out of 20165 with flag 454000/455595
206.01/204.82	c cleaning 10056 clauses out of 20177 with flag 464000/465595
210.41/209.28	c cleaning 9931 clauses out of 20121 with flag 474000/475595
215.39/214.22	c cleaning 10020 clauses out of 20190 with flag 484000/485595
220.21/219.10	c cleaning 9953 clauses out of 20170 with flag 494000/495595
225.39/224.21	c cleaning 10047 clauses out of 20217 with flag 504000/505595
230.59/229.48	c cleaning 10019 clauses out of 20170 with flag 514000/515595
235.61/234.51	c cleaning 9972 clauses out of 20151 with flag 524000/525595
240.30/239.14	c cleaning 10043 clauses out of 20179 with flag 534000/535595
245.40/244.26	c cleaning 9972 clauses out of 20136 with flag 544000/545595
250.10/248.93	c cleaning 10024 clauses out of 20164 with flag 554000/555595
254.50/253.35	c cleaning 9952 clauses out of 20140 with flag 564000/565595
258.72/257.61	c cleaning 10016 clauses out of 20188 with flag 574000/575595
263.40/262.23	c cleaning 10008 clauses out of 20172 with flag 584000/585595
268.40/267.24	c cleaning 9970 clauses out of 20164 with flag 594000/595595
272.80/271.66	c cleaning 10040 clauses out of 20194 with flag 604000/605595
277.90/276.78	c cleaning 9977 clauses out of 20154 with flag 614000/615595
282.71/281.59	c cleaning 10057 clauses out of 20177 with flag 624000/625595
287.71/286.51	c cleaning 9990 clauses out of 20120 with flag 634000/635595
293.61/292.47	c cleaning 9954 clauses out of 20130 with flag 644000/645595
299.21/298.02	c cleaning 10031 clauses out of 20176 with flag 654000/655595
304.53/303.34	c cleaning 9972 clauses out of 20145 with flag 664000/665595
309.93/308.77	c cleaning 9988 clauses out of 20173 with flag 674000/675595
315.24/314.08	c cleaning 10068 clauses out of 20185 with flag 684000/685595
320.94/319.73	c cleaning 9947 clauses out of 20117 with flag 694000/695595
326.54/325.38	c cleaning 9996 clauses out of 20170 with flag 704000/705595
332.64/331.43	c cleaning 10062 clauses out of 20174 with flag 714000/715595
338.44/337.21	c cleaning 9955 clauses out of 20112 with flag 724000/725595
343.34/342.21	c cleaning 10029 clauses out of 20157 with flag 734000/735595
348.85/347.68	c cleaning 9995 clauses out of 20128 with flag 744000/745595
354.35/353.11	c cleaning 9977 clauses out of 20133 with flag 754000/755595
359.45/358.22	c cleaning 9958 clauses out of 20156 with flag 764000/765595
364.37/363.18	c cleaning 9987 clauses out of 20198 with flag 774000/775595
369.35/368.16	c cleaning 10012 clauses out of 20211 with flag 784000/785595
375.25/374.04	c cleaning 10016 clauses out of 20199 with flag 794000/795595
380.56/379.30	c cleaning 9990 clauses out of 20183 with flag 804000/805595
385.56/384.37	c cleaning 10005 clauses out of 20193 with flag 814000/815595
391.16/389.96	c cleaning 9992 clauses out of 20188 with flag 824000/825595
396.38/395.14	c cleaning 9992 clauses out of 20196 with flag 834000/835595
401.57/400.35	c cleaning 10033 clauses out of 20204 with flag 844000/845595
406.67/405.44	c cleaning 9992 clauses out of 20171 with flag 854000/855595
411.27/410.05	c cleaning 9986 clauses out of 20179 with flag 864000/865595
416.27/415.02	c cleaning 10011 clauses out of 20193 with flag 874000/875595
421.27/420.09	c cleaning 9954 clauses out of 20182 with flag 884000/885595
426.77/425.60	c cleaning 10038 clauses out of 20228 with flag 894000/895595
431.37/430.16	c cleaning 10014 clauses out of 20190 with flag 904000/905595
436.17/434.90	c cleaning 9998 clauses out of 20176 with flag 914000/915595
441.08/439.86	c cleaning 10016 clauses out of 20178 with flag 924000/925595
445.48/444.25	c cleaning 9969 clauses out of 20162 with flag 934000/935595
450.38/449.10	c cleaning 9983 clauses out of 20193 with flag 944000/945595
455.08/453.88	c cleaning 10099 clauses out of 20210 with flag 954000/955595
460.88/459.61	c cleaning 9899 clauses out of 20111 with flag 964000/965595
465.78/464.53	c cleaning 10052 clauses out of 20212 with flag 974000/975595
471.38/470.18	c cleaning 9975 clauses out of 20160 with flag 984000/985595
476.48/475.29	c cleaning 9962 clauses out of 20185 with flag 994000/995595
482.10/480.85	c cleaning 10057 clauses out of 20223 with flag 1004000/1005595
487.18/485.95	c cleaning 10019 clauses out of 20166 with flag 1014000/1015595
492.69/491.41	c cleaning 9940 clauses out of 20147 with flag 1024000/1025595
498.19/496.95	c cleaning 10019 clauses out of 20207 with flag 1034000/1035595
503.49/502.25	c cleaning 10003 clauses out of 20188 with flag 1044000/1045595
508.51/507.23	c cleaning 10001 clauses out of 20185 with flag 1054000/1055595
514.01/512.78	c cleaning 9967 clauses out of 20184 with flag 1064000/1065595
519.79/518.58	c cleaning 10008 clauses out of 20217 with flag 1074000/1075595
525.39/524.12	c cleaning 9989 clauses out of 20209 with flag 1084000/1085595
530.89/529.67	c cleaning 9989 clauses out of 20220 with flag 1094000/1095595
536.40/535.13	c cleaning 10010 clauses out of 20231 with flag 1104000/1105595
541.40/540.18	c cleaning 10081 clauses out of 20221 with flag 1114000/1115595
547.12/545.83	c cleaning 9939 clauses out of 20140 with flag 1124000/1125595
552.62/551.40	c cleaning 9995 clauses out of 20201 with flag 1134000/1135595
557.90/556.65	c cleaning 10068 clauses out of 20206 with flag 1144000/1145595
563.20/561.97	c cleaning 10027 clauses out of 20138 with flag 1154000/1155595
568.40/567.12	c cleaning 9953 clauses out of 20111 with flag 1164000/1165595
573.70/572.46	c cleaning 10038 clauses out of 20158 with flag 1174000/1175595
579.10/577.85	c cleaning 9957 clauses out of 20120 with flag 1184000/1185595
584.42/583.14	c cleaning 9949 clauses out of 20163 with flag 1194000/1195595
589.20/587.97	c cleaning 10055 clauses out of 20214 with flag 1204000/1205595
594.01/592.78	c cleaning 9957 clauses out of 20159 with flag 1214000/1215595
599.01/597.72	c cleaning 10017 clauses out of 20202 with flag 1224000/1225595
603.81/602.54	c cleaning 9990 clauses out of 20185 with flag 1234000/1235595
608.91/607.63	c cleaning 10047 clauses out of 20195 with flag 1244000/1245595
614.01/612.76	c cleaning 10003 clauses out of 20148 with flag 1254000/1255595
619.32/618.02	c cleaning 9997 clauses out of 20145 with flag 1264000/1265595
624.52/623.21	c cleaning 9990 clauses out of 20148 with flag 1274000/1275595
629.32/628.08	c cleaning 10034 clauses out of 20158 with flag 1284000/1285595
634.32/633.03	c cleaning 9966 clauses out of 20124 with flag 1294000/1295595
639.12/637.84	c cleaning 10005 clauses out of 20158 with flag 1304000/1305595
643.95/642.66	c cleaning 10003 clauses out of 20153 with flag 1314000/1315595
648.73/647.45	c cleaning 10026 clauses out of 20150 with flag 1324000/1325595
654.03/652.79	c cleaning 9948 clauses out of 20124 with flag 1334000/1335595
658.93/657.63	c cleaning 9963 clauses out of 20176 with flag 1344000/1345595
663.53/662.29	c cleaning 10045 clauses out of 20213 with flag 1354000/1355595
668.24/666.98	c cleaning 10026 clauses out of 20168 with flag 1364000/1365595
672.94/671.64	c cleaning 10039 clauses out of 20142 with flag 1374000/1375595
677.85/676.52	c cleaning 9929 clauses out of 20103 with flag 1384000/1385595
682.84/681.52	c cleaning 9998 clauses out of 20174 with flag 1394000/1395595
687.74/686.41	c cleaning 9987 clauses out of 20176 with flag 1404000/1405595
692.54/691.23	c cleaning 9951 clauses out of 20189 with flag 1414000/1415595
697.65/696.33	c cleaning 9994 clauses out of 20238 with flag 1424000/1425595
702.45/701.12	c cleaning 9992 clauses out of 20244 with flag 1434000/1435595
707.05/705.71	c cleaning 10046 clauses out of 20252 with flag 1444000/1445595
711.75/710.45	c cleaning 9996 clauses out of 20206 with flag 1454000/1455595
716.48/715.18	c cleaning 10008 clauses out of 20210 with flag 1464000/1465595
721.06/719.70	c cleaning 10058 clauses out of 20202 with flag 1474000/1475595
725.76/724.41	c cleaning 9962 clauses out of 20144 with flag 1484000/1485595
730.56/729.23	c cleaning 10007 clauses out of 20182 with flag 1494000/1495595
735.36/734.07	c cleaning 10007 clauses out of 20175 with flag 1504000/1505595
740.56/739.30	c cleaning 10001 clauses out of 20168 with flag 1514000/1515595
745.76/744.44	c cleaning 9990 clauses out of 20167 with flag 1524000/1525595
750.76/749.43	c cleaning 10083 clauses out of 20177 with flag 1534000/1535595
755.97/754.65	c cleaning 9969 clauses out of 20094 with flag 1544000/1545595
761.07/759.77	c cleaning 9971 clauses out of 20125 with flag 1554000/1555595
766.27/764.95	c cleaning 10011 clauses out of 20154 with flag 1564000/1565595
771.67/770.33	c cleaning 9992 clauses out of 20143 with flag 1574000/1575595
776.77/775.43	c cleaning 9998 clauses out of 20151 with flag 1584000/1585595
781.97/780.63	c cleaning 10031 clauses out of 20153 with flag 1594000/1595595
787.07/785.76	c cleaning 9975 clauses out of 20122 with flag 1604000/1605595
792.07/790.72	c cleaning 10016 clauses out of 20147 with flag 1614000/1615595
797.18/795.88	c cleaning 9933 clauses out of 20131 with flag 1624000/1625595
802.18/800.90	c cleaning 10068 clauses out of 20198 with flag 1634000/1635595
806.42/805.08	c cleaning 9905 clauses out of 20130 with flag 1644000/1645595
811.42/810.09	c cleaning 10065 clauses out of 20225 with flag 1654000/1655595
816.92/815.52	c cleaning 9979 clauses out of 20160 with flag 1664000/1665595
822.02/820.70	c cleaning 10021 clauses out of 20181 with flag 1674000/1675595
827.32/825.98	c cleaning 9969 clauses out of 20160 with flag 1684000/1685595
832.04/830.65	c cleaning 10011 clauses out of 20191 with flag 1694000/1695595
836.73/835.38	c cleaning 10073 clauses out of 20180 with flag 1704000/1705595
841.53/840.15	c cleaning 9957 clauses out of 20107 with flag 1714000/1715595
846.53/845.14	c cleaning 10011 clauses out of 20150 with flag 1724000/1725595
851.44/850.05	c cleaning 9979 clauses out of 20139 with flag 1734000/1735595
856.36/854.99	c cleaning 10008 clauses out of 20160 with flag 1744000/1745595
861.14/859.75	c cleaning 10001 clauses out of 20152 with flag 1754000/1755595
865.95/864.52	c cleaning 10022 clauses out of 20151 with flag 1764000/1765595
870.95/869.50	c cleaning 9955 clauses out of 20129 with flag 1774000/1775595
875.15/873.77	c cleaning 10010 clauses out of 20174 with flag 1784000/1785595
879.25/877.91	c cleaning 9975 clauses out of 20164 with flag 1794000/1795595
883.66/882.27	c cleaning 9995 clauses out of 20189 with flag 1804000/1805595
888.66/887.22	c cleaning 9976 clauses out of 20194 with flag 1814000/1815595
893.07/891.67	c cleaning 10033 clauses out of 20218 with flag 1824000/1825595
897.27/895.81	c cleaning 10010 clauses out of 20185 with flag 1834000/1835595
901.57/900.12	c cleaning 10028 clauses out of 20175 with flag 1844000/1845595
906.07/904.62	c cleaning 10029 clauses out of 20147 with flag 1854000/1855595
910.77/909.35	c cleaning 10004 clauses out of 20118 with flag 1864000/1865595
915.47/914.04	c cleaning 9961 clauses out of 20114 with flag 1874000/1875595
920.37/918.92	c cleaning 10021 clauses out of 20153 with flag 1884000/1885595
925.37/923.94	c cleaning 9968 clauses out of 20132 with flag 1894000/1895595
930.17/928.75	c cleaning 10009 clauses out of 20164 with flag 1904000/1905595
934.97/933.50	c cleaning 9991 clauses out of 20155 with flag 1914000/1915595
939.57/938.11	c cleaning 9997 clauses out of 20164 with flag 1924000/1925595
944.40/942.96	c cleaning 10013 clauses out of 20167 with flag 1934000/1935595
949.18/947.76	c cleaning 9998 clauses out of 20154 with flag 1944000/1945595
954.08/952.62	c cleaning 9926 clauses out of 20156 with flag 1954000/1955595
958.08/956.68	c cleaning 10023 clauses out of 20230 with flag 1964000/1965595
962.58/961.13	c cleaning 10017 clauses out of 20207 with flag 1974000/1975595
967.08/965.61	c cleaning 10041 clauses out of 20190 with flag 1984000/1985595
971.09/969.67	c cleaning 9977 clauses out of 20149 with flag 1994000/1995595
975.79/974.33	c cleaning 9955 clauses out of 20172 with flag 2004000/2005595
980.29/978.81	c cleaning 10067 clauses out of 20217 with flag 2014000/2015595
984.79/983.39	c cleaning 9927 clauses out of 20150 with flag 2024000/2025595
989.29/987.82	c cleaning 10009 clauses out of 20223 with flag 2034000/2035595
993.49/992.05	c cleaning 9992 clauses out of 20214 with flag 2044000/2045595
997.99/996.57	c cleaning 10011 clauses out of 20222 with flag 2054000/2055595
1002.89/1001.44	c cleaning 9996 clauses out of 20211 with flag 2064000/2065595
1007.59/1006.14	c cleaning 10100 clauses out of 20216 with flag 2074001/2075596
1012.61/1011.12	c cleaning 9945 clauses out of 20115 with flag 2084000/2085595
1017.09/1015.67	c cleaning 9945 clauses out of 20170 with flag 2094000/2095595
1021.59/1020.17	c cleaning 10078 clauses out of 20225 with flag 2104000/2105595
1026.10/1024.65	c cleaning 9973 clauses out of 20147 with flag 2114000/2115595
1030.70/1029.23	c cleaning 9984 clauses out of 20174 with flag 2124000/2125595
1035.90/1034.46	c cleaning 9985 clauses out of 20190 with flag 2134000/2135595
1041.12/1039.66	c cleaning 9977 clauses out of 20205 with flag 2144000/2145595
1045.90/1044.41	c cleaning 10022 clauses out of 20228 with flag 2154000/2155595
1051.13/1049.63	c cleaning 9996 clauses out of 20206 with flag 2164000/2165595
1056.21/1054.76	c cleaning 10038 clauses out of 20210 with flag 2174000/2175595
1061.61/1060.11	c cleaning 9966 clauses out of 20172 with flag 2184000/2185595
1066.61/1065.16	c cleaning 10027 clauses out of 20206 with flag 2194000/2195595
1071.72/1070.28	c cleaning 9971 clauses out of 20179 with flag 2204000/2205595
1076.82/1075.30	c cleaning 9969 clauses out of 20208 with flag 2214000/2215595
1081.62/1080.10	c cleaning 10038 clauses out of 20239 with flag 2224000/2225595
1086.42/1084.90	c cleaning 9976 clauses out of 20201 with flag 2234000/2235595
1091.53/1090.07	c cleaning 10070 clauses out of 20225 with flag 2244000/2245595
1097.13/1095.70	c cleaning 9954 clauses out of 20155 with flag 2254000/2255595
1102.66/1101.16	c cleaning 10028 clauses out of 20201 with flag 2264000/2265595
1107.86/1106.35	c cleaning 10038 clauses out of 20173 with flag 2274000/2275595
1113.46/1111.92	c cleaning 10010 clauses out of 20135 with flag 2284000/2285595
1119.28/1117.74	c cleaning 9956 clauses out of 20125 with flag 2294000/2295595
1124.88/1123.38	c cleaning 10066 clauses out of 20169 with flag 2304000/2305595
1130.56/1129.10	c cleaning 9998 clauses out of 20103 with flag 2314000/2315595
1136.06/1134.58	c cleaning 9961 clauses out of 20105 with flag 2324000/2325595
1141.57/1140.06	c cleaning 10019 clauses out of 20144 with flag 2334000/2335595
1147.07/1145.52	c cleaning 9968 clauses out of 20125 with flag 2344000/2345595
1152.57/1151.01	c cleaning 10010 clauses out of 20157 with flag 2354000/2355595
1157.79/1156.30	c cleaning 10008 clauses out of 20147 with flag 2364000/2365595
1163.07/1161.53	c cleaning 9989 clauses out of 20139 with flag 2374000/2375595
1168.27/1166.76	c cleaning 10021 clauses out of 20150 with flag 2384000/2385595
1173.57/1172.00	c cleaning 9975 clauses out of 20129 with flag 2394000/2395595
1178.69/1177.20	c cleaning 9997 clauses out of 20154 with flag 2404000/2405595
1183.78/1182.27	c cleaning 9992 clauses out of 20158 with flag 2414001/2415596
1188.88/1187.30	c cleaning 9994 clauses out of 20165 with flag 2424000/2425595
1193.58/1192.09	c cleaning 10002 clauses out of 20171 with flag 2434000/2435595
1199.18/1197.66	c cleaning 9974 clauses out of 20169 with flag 2444000/2445595
1204.38/1202.81	c cleaning 9965 clauses out of 20195 with flag 2454000/2455595
1209.39/1207.80	c cleaning 10001 clauses out of 20230 with flag 2464000/2465595
1214.29/1212.72	c cleaning 10049 clauses out of 20229 with flag 2474000/2475595
1219.19/1217.69	c cleaning 10009 clauses out of 20180 with flag 2484000/2485595
1224.09/1222.56	c cleaning 9974 clauses out of 20171 with flag 2494000/2495595
1229.31/1227.77	c cleaning 10011 clauses out of 20197 with flag 2504000/2505595
1234.69/1233.22	c cleaning 10030 clauses out of 20186 with flag 2514000/2515595
1240.31/1238.76	c cleaning 9998 clauses out of 20156 with flag 2524000/2525595
1245.91/1244.33	c cleaning 9984 clauses out of 20158 with flag 2534000/2535595
1251.59/1250.00	c cleaning 10009 clauses out of 20174 with flag 2544000/2545595
1257.09/1255.52	c cleaning 10007 clauses out of 20165 with flag 2554000/2555595
1262.60/1261.09	c cleaning 9986 clauses out of 20158 with flag 2564000/2565595
1268.10/1266.56	c cleaning 9995 clauses out of 20172 with flag 2574000/2575595
1273.71/1272.11	c cleaning 10043 clauses out of 20178 with flag 2584001/2585596
1279.11/1277.50	c cleaning 9969 clauses out of 20135 with flag 2594001/2595596
1284.61/1283.06	c cleaning 9994 clauses out of 20165 with flag 2604000/2605595
1290.01/1288.49	c cleaning 9997 clauses out of 20171 with flag 2614000/2615595
1295.21/1293.70	c cleaning 9990 clauses out of 20174 with flag 2624000/2625595
1300.63/1299.09	c cleaning 10026 clauses out of 20184 with flag 2634000/2635595
1305.93/1304.37	c cleaning 9993 clauses out of 20158 with flag 2644000/2645595
1311.23/1309.61	c cleaning 9986 clauses out of 20165 with flag 2654000/2655595
1316.35/1314.75	c cleaning 10045 clauses out of 20179 with flag 2664000/2665595
1320.53/1318.90	c cleaning 10030 clauses out of 20134 with flag 2674000/2675595
1324.64/1323.03	c cleaning 10029 clauses out of 20104 with flag 2684000/2685595
1328.74/1327.17	c cleaning 10023 clauses out of 20075 with flag 2694000/2695595
1333.24/1331.69	c cleaning 9956 clauses out of 20052 with flag 2704000/2705595
1338.04/1336.42	c cleaning 9942 clauses out of 20096 with flag 2714000/2715595
1342.84/1341.20	c cleaning 9976 clauses out of 20154 with flag 2724000/2725595
1347.54/1345.96	c cleaning 9955 clauses out of 20178 with flag 2734000/2735595
1352.04/1350.49	c cleaning 10010 clauses out of 20223 with flag 2744000/2745595
1357.24/1355.63	c cleaning 10056 clauses out of 20213 with flag 2754000/2755595
1362.15/1360.53	c cleaning 9989 clauses out of 20157 with flag 2764000/2765595
1367.35/1365.76	c cleaning 10035 clauses out of 20168 with flag 2774000/2775595
1372.55/1370.99	c cleaning 10001 clauses out of 20133 with flag 2784000/2785595
1377.75/1376.14	c cleaning 10026 clauses out of 20132 with flag 2794000/2795595
1382.95/1381.37	c cleaning 9979 clauses out of 20106 with flag 2804000/2805595
1388.15/1386.57	c cleaning 9991 clauses out of 20127 with flag 2814000/2815595
1393.37/1391.77	c cleaning 10025 clauses out of 20136 with flag 2824000/2825595
1398.46/1396.87	c cleaning 9976 clauses out of 20111 with flag 2834000/2835595
1403.56/1401.95	c cleaning 10015 clauses out of 20135 with flag 2844000/2845595
1408.56/1406.98	c cleaning 10002 clauses out of 20120 with flag 2854000/2855595
1413.46/1411.82	c cleaning 9991 clauses out of 20119 with flag 2864001/2865596
1418.26/1416.65	c cleaning 9995 clauses out of 20127 with flag 2874000/2875595
1422.86/1421.28	c cleaning 9987 clauses out of 20132 with flag 2884000/2885595
1427.66/1426.08	c cleaning 9978 clauses out of 20145 with flag 2894000/2895595
1431.78/1430.18	c cleaning 10029 clauses out of 20167 with flag 2904000/2905595
1436.47/1434.90	c cleaning 10007 clauses out of 20138 with flag 2914000/2915595
1440.97/1439.33	c cleaning 9965 clauses out of 20131 with flag 2924000/2925595
1445.57/1443.94	c cleaning 9995 clauses out of 20166 with flag 2934000/2935595
1450.17/1448.57	c cleaning 9964 clauses out of 20171 with flag 2944000/2945595
1455.18/1453.53	c cleaning 10078 clauses out of 20207 with flag 2954000/2955595
1460.08/1458.40	c cleaning 9956 clauses out of 20129 with flag 2964000/2965595
1464.90/1463.26	c cleaning 10004 clauses out of 20173 with flag 2974000/2975595
1469.88/1468.25	c cleaning 10027 clauses out of 20169 with flag 2984000/2985595
1475.18/1473.52	c cleaning 10016 clauses out of 20142 with flag 2994000/2995595
1480.68/1479.00	c cleaning 9939 clauses out of 20126 with flag 3004000/3005595
1485.28/1483.69	c cleaning 10027 clauses out of 20187 with flag 3014000/3015595
1489.79/1488.14	c cleaning 9970 clauses out of 20160 with flag 3024000/3025595
1494.89/1493.20	c cleaning 10011 clauses out of 20190 with flag 3034000/3035595
1499.49/1497.88	c cleaning 9957 clauses out of 20179 with flag 3044000/3045595
1505.09/1503.40	c cleaning 9997 clauses out of 20222 with flag 3054000/3055595
1510.19/1508.59	c cleaning 9956 clauses out of 20225 with flag 3064000/3065595
1515.09/1513.49	c cleaning 10021 clauses out of 20269 with flag 3074000/3075595
1520.40/1518.78	c cleaning 9989 clauses out of 20248 with flag 3084000/3085595
1525.60/1523.98	c cleaning 10030 clauses out of 20259 with flag 3094000/3095595
1532.10/1530.44	c cleaning 9978 clauses out of 20229 with flag 3104000/3105595
1538.80/1537.18	c cleaning 10007 clauses out of 20252 with flag 3114001/3115596
1544.51/1542.81	c cleaning 10018 clauses out of 20244 with flag 3124000/3125595
1550.11/1548.45	c cleaning 9977 clauses out of 20226 with flag 3134000/3135595
1556.01/1554.38	c cleaning 10037 clauses out of 20249 with flag 3144000/3145595
1561.91/1560.21	c cleaning 10025 clauses out of 20212 with flag 3154000/3155595
1567.01/1565.40	c cleaning 10031 clauses out of 20187 with flag 3164000/3165595
1572.65/1570.99	c cleaning 9994 clauses out of 20156 with flag 3174000/3175595
1577.93/1576.20	c cleaning 10029 clauses out of 20162 with flag 3184000/3185595
1583.33/1581.60	c cleaning 9922 clauses out of 20133 with flag 3194000/3195595
1588.24/1586.51	c cleaning 9981 clauses out of 20211 with flag 3204000/3205595
1593.45/1591.81	c cleaning 10022 clauses out of 20230 with flag 3214000/3215595
1599.07/1597.40	c cleaning 9965 clauses out of 20208 with flag 3224000/3225595
1604.25/1602.59	c cleaning 10045 clauses out of 20243 with flag 3234000/3235595
1609.65/1607.94	c cleaning 9955 clauses out of 20198 with flag 3244000/3245595
1615.25/1613.50	c cleaning 10049 clauses out of 20243 with flag 3254000/3255595
1620.95/1619.31	c cleaning 9986 clauses out of 20194 with flag 3264000/3265595
1626.86/1625.18	c cleaning 9990 clauses out of 20208 with flag 3274000/3275595
1632.96/1631.27	c cleaning 9982 clauses out of 20218 with flag 3284000/3285595
1638.46/1636.75	c cleaning 9995 clauses out of 20236 with flag 3294000/3295595
1643.76/1642.05	c cleaning 10006 clauses out of 20241 with flag 3304000/3305595
1648.86/1647.15	c cleaning 10068 clauses out of 20235 with flag 3314000/3315595
1654.26/1652.55	c cleaning 10014 clauses out of 20167 with flag 3324000/3325595
1659.46/1657.74	c cleaning 9990 clauses out of 20153 with flag 3334000/3335595
1665.08/1663.34	c cleaning 10014 clauses out of 20163 with flag 3344000/3345595
1670.58/1668.91	c cleaning 9971 clauses out of 20149 with flag 3354000/3355595
1676.57/1674.83	c cleaning 9994 clauses out of 20178 with flag 3364000/3365595
1682.27/1680.51	c cleaning 10026 clauses out of 20184 with flag 3374000/3375595
1688.19/1686.45	c cleaning 9950 clauses out of 20158 with flag 3384000/3385595
1694.38/1692.61	c cleaning 10091 clauses out of 20208 with flag 3394000/3395595
1700.78/1699.01	c cleaning 9996 clauses out of 20117 with flag 3404000/3405595
1707.08/1705.32	c cleaning 9922 clauses out of 20121 with flag 3414000/3415595
1713.50/1711.76	c cleaning 9995 clauses out of 20199 with flag 3424000/3425595
1719.68/1717.92	c cleaning 10102 clauses out of 20204 with flag 3434000/3435595
1724.61/1722.90	c cleaning 9925 clauses out of 20102 with flag 3444000/3445595
1729.29/1727.55	c cleaning 10000 clauses out of 20177 with flag 3454000/3455595
1733.79/1732.09	c cleaning 9950 clauses out of 20177 with flag 3464000/3465595
1738.59/1736.81	c cleaning 9966 clauses out of 20227 with flag 3474000/3475595
1743.21/1741.48	c cleaning 10054 clauses out of 20261 with flag 3484000/3485595
1747.99/1746.23	c cleaning 9968 clauses out of 20207 with flag 3494000/3495595
1752.89/1751.15	c cleaning 9991 clauses out of 20239 with flag 3504000/3505595
1758.09/1756.34	c cleaning 10029 clauses out of 20248 with flag 3514000/3515595
1763.19/1761.43	c cleaning 10034 clauses out of 20219 with flag 3524000/3525595
1768.29/1766.57	c cleaning 10059 clauses out of 20185 with flag 3534000/3535595
1774.12/1772.39	c cleaning 9949 clauses out of 20126 with flag 3544000/3545595
1780.20/1778.43	c cleaning 10039 clauses out of 20177 with flag 3554000/3555595
1786.12/1784.38	c cleaning 9963 clauses out of 20138 with flag 3564000/3565595
1792.20/1790.43	c cleaning 10014 clauses out of 20175 with flag 3574000/3575595
1798.22/1796.51	c cleaning 9993 clauses out of 20161 with flag 3584000/3585595
1800.02/1798.23	c starts		: 252
1800.02/1798.23	c conflicts		: 3588504
1800.02/1798.23	c decisions		: 3630867
1800.02/1798.23	c propagations		: 110040471
1800.02/1798.23	c inspects		: 1533480507
1800.02/1798.23	c shortcuts		: 0
1800.02/1798.23	c learnt literals	: 0
1800.02/1798.23	c learnt binary clauses	: 0
1800.02/1798.23	c learnt ternary clauses	: 298
1800.02/1798.23	c learnt constraints	: 3588503
1800.02/1798.23	c ignored constraints	: 0
1800.02/1798.23	c root simplifications	: 0
1800.02/1798.23	c removed literals (reason simplification)	: 408666337
1800.02/1798.23	c reason swapping (by a shorter reason)	: 0
1800.02/1798.23	c Calls to reduceDB	: 360
1800.02/1798.23	c number of reductions to clauses (during analyze)	: 0
1800.02/1798.23	c number of learned constraints concerned by reduction	: 0
1800.02/1798.23	c number of learning phase by resolution	: 0
1800.02/1798.23	c number of learning phase by cutting planes	: 0
1800.02/1798.23	c speed (assignments/second)	: 61230.71371536521
1800.02/1798.23	c non guided choices	0
1800.02/1798.23	c learnt constraints type 
1800.02/1798.23	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 13091
1800.02/1798.23	c constraints type 
1800.02/1798.23	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 2488
1800.02/1798.23	c org.sat4j.minisat.constraints.card.MinWatchCard => 403
1800.02/1798.23	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 200
1800.02/1798.23	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 2488
1800.02/1798.23	s SATISFIABLE
1800.02/1798.24	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.24	c objective function=-37
1800.02/1798.24	c Total wall clock time (in seconds): 1798.127

Verifier Data 

OK	-37

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

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

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


[startup+0 s]
/proc/loadavg: 2.00 2.03 2.00 3/593 30667
/proc/meminfo: memFree=23477260/32951124 swapFree=58940260/67111528
[pid=30667] ppid=30665 vsize=13526316 CPUtime=0 cores=1,3,5,7
/proc/30667/stat : 30667 (java) S 30665 30667 26823 0 -1 4202496 9097 0 1 0 0 0 0 0 25 0 2 0 827908176 13850947584 8799 33554432000 1073741824 1073778376 140733580230720 18446744073709551615 212699477989 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0 0
/proc/30667/statm: 3381579 8812 917 9 0 3372735 0
[pid=30667/tid=30668] ppid=30665 vsize=13526316 CPUtime=0 cores=1,3,5,7
/proc/30667/task/30668/stat : 30668 (java) R 30665 30667 26823 0 -1 4202560 8819 0 1 0 0 0 0 0 25 0 2 0 827908177 13850947584 9635 33554432000 1073741824 1073778376 140733580230720 18446744073709551615 212687369275 0 4 0 16784584 0 0 0 -1 1 0 0 0

[startup+0.0704791 s]
/proc/loadavg: 2.00 2.03 2.00 3/593 30667
/proc/meminfo: memFree=23477260/32951124 swapFree=58940260/67111528
[pid=30667] ppid=30665 vsize=13554952 CPUtime=0.06 cores=1,3,5,7
/proc/30667/stat : 30667 (java) S 30665 30667 26823 0 -1 4202496 14280 0 1 0 5 1 0 0 25 0 18 0 827908176 13880270848 13976 33554432000 1073741824 1073778376 140733580230720 18446744073709551615 212699477989 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/30667/statm: 3388738 13976 1742 9 0 3379472 0
[pid=30667/tid=30668] ppid=30665 vsize=13554952 CPUtime=0.05 cores=1,3,5,7
/proc/30667/task/30668/stat : 30668 (java) R 30665 30667 26823 0 -1 4202560 13108 0 1 0 4 1 0 0 25 0 18 0 827908177 13880270848 13978 33554432000 1073741824 1073778376 140733580230720 18446744073709551615 47348840285720 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 13554952

[startup+0.100477 s]
/proc/loadavg: 2.00 2.03 2.00 3/593 30667
/proc/meminfo: memFree=23477260/32951124 swapFree=58940260/67111528
[pid=30667] ppid=30665 vsize=13622132 CPUtime=0.1 cores=1,3,5,7
/proc/30667/stat : 30667 (java) S 30665 30667 26823 0 -1 4202496 15544 0 1 0 9 1 0 0 25 0 18 0 827908176 13949063168 15217 33554432000 1073741824 1073778376 140733580230720 18446744073709551615 212699477989 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/30667/statm: 3405533 15219 2093 9 0 3396267 0
[pid=30667/tid=30668] ppid=30665 vsize=13622132 CPUtime=0.08 cores=1,3,5,7
/proc/30667/task/30668/stat : 30668 (java) R 30665 30667 26823 0 -1 4202560 13603 0 1 0 7 1 0 0 18 0 18 0 827908177 13949063168 15219 33554432000 1073741824 1073778376 140733580230720 18446744073709551615 46912496197416 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 13622132

[startup+0.312256 s]
/proc/loadavg: 2.00 2.03 2.00 3/593 30667
/proc/meminfo: memFree=23477260/32951124 swapFree=58940260/67111528
[pid=30667] ppid=30665 vsize=13624076 CPUtime=0.51 cores=1,3,5,7
/proc/30667/stat : 30667 (java) S 30665 30667 26823 0 -1 4202496 19427 0 1 0 49 2 0 0 25 0 18 0 827908176 13951053824 18727 33554432000 1073741824 1073778376 140733580230720 18446744073709551615 212699477989 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/30667/statm: 3406019 18728 2221 9 0 3396753 0
[pid=30667/tid=30668] ppid=30665 vsize=13624076 CPUtime=0.29 cores=1,3,5,7
/proc/30667/task/30668/stat : 30668 (java) R 30665 30667 26823 0 -1 4202560 16011 0 1 0 28 1 0 0 18 0 18 0 827908177 13951053824 18728 33554432000 1073741824 1073778376 140733580230720 18446744073709551615 46912505576618 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.51
Current children cumulated vsize (KiB) 13624076

[startup+0.700364 s]
/proc/loadavg: 2.00 2.03 2.00 3/593 30667
/proc/meminfo: memFree=23477260/32951124 swapFree=58940260/67111528
[pid=30667] ppid=30665 vsize=13635480 CPUtime=1.58 cores=1,3,5,7
/proc/30667/stat : 30667 (java) S 30665 30667 26823 0 -1 4202496 31646 0 1 0 155 3 0 0 25 0 19 0 827908176 13962731520 25922 33554432000 1073741824 1073778376 140733580230720 18446744073709551615 212699477989 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/30667/statm: 3408870 25922 2234 9 0 3399604 0
[pid=30667/tid=30668] ppid=30665 vsize=13635480 CPUtime=0.69 cores=1,3,5,7
/proc/30667/task/30668/stat : 30668 (java) R 30665 30667 26823 0 -1 4202560 17973 0 1 0 67 2 0 0 19 0 19 0 827908177 13962731520 25922 33554432000 1073741824 1073778376 140733580230720 18446744073709551615 46912505767914 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1.58
Current children cumulated vsize (KiB) 13635480

[startup+1.50122 s]
/proc/loadavg: 2.00 2.03 2.00 5/612 30688
/proc/meminfo: memFree=23378972/32951124 swapFree=58940260/67111528
[pid=30667] ppid=30665 vsize=13635480 CPUtime=2.48 cores=1,3,5,7
/proc/30667/stat : 30667 (java) S 30665 30667 26823 0 -1 4202496 31966 0 1 0 245 3 0 0 25 0 19 0 827908176 13962731520 26241 33554432000 1073741824 1073778376 140733580230720 18446744073709551615 212699477989 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/30667/statm: 3408870 26241 2241 9 0 3399604 0
[pid=30667/tid=30668] ppid=30665 vsize=13635480 CPUtime=1.49 cores=1,3,5,7
/proc/30667/task/30668/stat : 30668 (java) R 30665 30667 26823 0 -1 4202560 18269 0 1 0 147 2 0 0 20 0 19 0 827908177 13962731520 26241 33554432000 1073741824 1073778376 140733580230720 18446744073709551615 46912505913495 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=30667/tid=30670] ppid=30665 vsize=13635480 CPUtime=0 cores=1,3,5,7
/proc/30667/task/30670/stat : 30670 (java) S 30665 30667 26823 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827908179 13962731520 26241 33554432000 1073741824 1073778376 140733580230720 18446744073709551615 212699491225 0 4 0 16800975 18446604466983734272 0 0 -1 7 0 0 0
[pid=30667/tid=30671] ppid=30665 vsize=13635480 CPUtime=0 cores=1,3,5,7
/proc/30667/task/30671/stat : 30671 (java) S 30665 30667 26823 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827908179 13962731520 26241 33554432000 1073741824 1073778376 140733580230720 18446744073709551615 212699491225 0 4 0 16800975 18446604466983734272 0 0 -1 7 0 0 0
[pid=30667/tid=30672] ppid=30665 vsize=13635480 CPUtime=0 cores=1,3,5,7
/proc/30667/task/30672/stat : 30672 (java) S 30665 30667 26823 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827908179 13962731520 26241 33554432000 1073741824 1073778376 140733580230720 18446744073709551615 212699491225 0 4 0 16800975 18446604466983734272 0 0 -1 7 0 0 0
[pid=30667/tid=30673] ppid=30665 vsize=13635480 CPUtime=0 cores=1,3,5,7
/proc/30667/task/30673/stat : 30673 (java) S 30665 30667 26823 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827908179 13962731520 26241 33554432000 1073741824 1073778376 140733580230720 18446744073709551615 212699491225 0 4 0 16800975 18446604466983734272 0 0 -1 7 0 0 0
[pid=30667/tid=30674] ppid=30665 vsize=13635480 CPUtime=0 cores=1,3,5,7
/proc/30667/task/30674/stat : 30674 (java) S 30665 30667 26823 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827908179 13962731520 26241 33554432000 1073741824 1073778376 140733580230720 18446744073709551615 212699491225 0 4 0 16800975 18446604466983734272 0 0 -1 7 0 0 0
[pid=30667/tid=30675] ppid=30665 vsize=13635480 CPUtime=0 cores=1,3,5,7
/proc/30667/task/30675/stat : 30675 (java) S 30665 30667 26823 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827908179 13962731520 26241 33554432000 1073741824 1073778376 140733580230720 18446744073709551615 212699491225 0 4 0 16800975 18446604466983734272 0 0 -1 7 0 0 0
[pid=30667/tid=30676] ppid=30665 vsize=13635480 CPUtime=0 cores=1,3,5,7
/proc/30667/task/30676/stat : 30676 (java) S 30665 30667 26823 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827908179 13962731520 26241 33554432000 1073741824 1073778376 140733580230720 18446744073709551615 212699491225 0 4 0 16800975 18446604466983734272 0 0 -1 7 0 0 0
[pid=30667/tid=30677] ppid=30665 vsize=13635480 CPUtime=0 cores=1,3,5,7
/proc/30667/task/30677/stat : 30677 (java) S 30665 30667 26823 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827908179 13962731520 26241 33554432000 1073741824 1073778376 140733580230720 18446744073709551615 212699491225 0 4 0 16800975 18446604466983734272 0 0 -1 7 0 0 0
[pid=30667/tid=30678] ppid=30665 vsize=13635480 CPUtime=0 cores=1,3,5,7
/proc/30667/task/30678/stat : 30678 (java) S 30665 30667 26823 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 827908180 13962731520 26241 33554432000 1073741824 1073778376 140733580230720 18446744073709551615 212699491840 0 0 0 16800975 18446604466983734272 0 0 -1 1 0 0 0
[pid=30667/tid=30679] ppid=30665 vsize=13635480 CPUtime=0 cores=1,3,5,7
/proc/30667/task/30679/stat : 30679 (java) S 30665 30667 26823 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 827908180 13962731520 26241 33554432000 1073741824 1073778376 140733580230720 18446744073709551615 212699491225 0 4 0 16800975 18446604466983734272 0 0 -1 1 0 0 0
[pid=30667/tid=30681] ppid=30665 vsize=13635480 CPUtime=0 cores=1,3,5,7
/proc/30667/task/30681/stat : 30681 (java) S 30665 30667 26823 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 827908180 13962731520 26241 33554432000 1073741824 1073778376 140733580230720 18446744073709551615 212699491225 0 4 0 16800975 18446604466983734272 0 0 -1 1 0 0 0
[pid=30667/tid=30682] ppid=30665 vsize=13635480 CPUtime=0 cores=1,3,5,7
/proc/30667/task/30682/stat : 30682 (java) S 30665 30667 26823 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827908182 13962731520 26241 33554432000 1073741824 1073778376 140733580230720 18446744073709551615 212699498929 0 4 0 16800975 18446604466983734272 0 0 -1 1 0 0 0
[pid=30667/tid=30683] ppid=30665 vsize=13635480 CPUtime=0.49 cores=1,3,5,7
/proc/30667/task/30683/stat : 30683 (java) S 30665 30667 26823 0 -1 4202560 5216 0 0 0 49 0 0 0 15 0 19 0 827908182 13962731520 26241 33554432000 1073741824 1073778376 140733580230720 18446744073709551615 212699491225 0 4 0 16800975 18446604466983734272 0 0 -1 7 0 0 0
[pid=30667/tid=30684] ppid=30665 vsize=13635480 CPUtime=0.48 cores=1,3,5,7
/proc/30667/task/30684/stat : 30684 (java) S 30665 30667 26823 0 -1 4202560 7321 0 0 0 48 0 0 0 15 0 19 0 827908182 13962731520 26241 33554432000 1073741824 1073778376 140733580230720 18446744073709551615 212699491225 0 4 0 16800975 18446604466983734272 0 0 -1 3 0 0 0
[pid=30667/tid=30685] ppid=30665 vsize=13635480 CPUtime=0 cores=1,3,5,7
/proc/30667/task/30685/stat : 30685 (java) S 30665 30667 26823 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827908182 13962731520 26241 33554432000 1073741824 1073778376 140733580230720 18446744073709551615 212699491225 0 4 0 16800975 18446604466983734272 0 0 -1 1 0 0 0
[pid=30667/tid=30686] ppid=30665 vsize=13635480 CPUtime=0 cores=1,3,5,7
/proc/30667/task/30686/stat : 30686 (java) S 30665 30667 26823 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 827908182 13962731520 26241 33554432000 1073741824 1073778376 140733580230720 18446744073709551615 212699491840 0 4 0 16800975 18446604466983734272 0 0 -1 3 0 0 0
[pid=30667/tid=30687] ppid=30665 vsize=13635480 CPUtime=0 cores=1,3,5,7
/proc/30667/task/30687/stat : 30687 (java) S 30665 30667 26823 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 827908214 13962731520 26241 33554432000 1073741824 1073778376 140733580230720 18446744073709551615 212699491840 0 4 0 16800975 18446604466983734272 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2.48
Current children cumulated vsize (KiB) 13635480

[startup+3.10092 s]
/proc/loadavg: 2.00 2.03 2.00 3/612 30688
/proc/meminfo: memFree=23377120/32951124 swapFree=58940260/67111528
[pid=30667] ppid=30665 vsize=13635480 CPUtime=4.13 cores=1,3,5,7
/proc/30667/stat : 30667 (java) S 30665 30667 26823 0 -1 4202496 33861 0 1 0 410 3 0 0 25 0 19 0 827908176 13962731520 28133 33554432000 1073741824 1073778376 140733580230720 18446744073709551615 212699477989 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/30667/statm: 3408870 28133 2267 9 0 3399604 0
[pid=30667/tid=30668] ppid=30665 vsize=13635480 CPUtime=3.06 cores=1,3,5,7
/proc/30667/task/30668/stat : 30668 (java) R 30665 30667 26823 0 -1 4202560 18500 0 1 0 304 2 0 0 25 0 19 0 827908177 13962731520 28133 33554432000 1073741824 1073778376 140733580230720 18446744073709551615 46912505786871 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=30667/tid=30670] ppid=30665 vsize=13635480 CPUtime=0 cores=1,3,5,7
/proc/30667/task/30670/stat : 30670 (java) S 30665 30667 26823 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 827908179 13962731520 28133 33554432000 1073741824 1073778376 140733580230720 18446744073709551615 212699491225 0 4 0 16800975 18446604466983734272 0 0 -1 7 0 0 0
[pid=30667/tid=30671] ppid=30665 vsize=13635480 CPUtime=0 cores=1,3,5,7
/proc/30667/task/30671/stat : 30671 (java) S 30665 30667 26823 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 827908179 13962731520 28133 33554432000 1073741824 1073778376 140733580230720 18446744073709551615 212699491225 0 4 0 16800975 18446604466983734272 0 0 -1 7 0 0 0
[pid=30667/tid=30672] ppid=30665 vsize=13635480 CPUtime=0 cores=1,3,5,7
/proc/30667/task/30672/stat : 30672 (java) S 30665 30667 26823 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 827908179 13962731520 28133 33554432000 1073741824 1073778376 140733580230720 18446744073709551615 212699491225 0 4 0 16800975 18446604466983734272 0 0 -1 7 0 0 0
[pid=30667/tid=30673] ppid=30665 vsize=13635480 CPUtime=0 cores=1,3,5,7
/proc/30667/task/30673/stat : 30673 (java) S 30665 30667 26823 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 827908179 13962731520 28133 33554432000 1073741824 1073778376 140733580230720 18446744073709551615 212699491225 0 4 0 16800975 18446604466983734272 0 0 -1 7 0 0 0
[pid=30667/tid=30674] ppid=30665 vsize=13635480 CPUtime=0 cores=1,3,5,7
/proc/30667/task/30674/stat : 30674 (java) S 30665 30667 26823 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 827908179 13962731520 28133 33554432000 1073741824 1073778376 140733580230720 18446744073709551615 212699491225 0 4 0 16800975 18446604466983734272 0 0 -1 7 0 0 0
[pid=30667/tid=30675] ppid=30665 vsize=13635480 CPUtime=0 cores=1,3,5,7
/proc/30667/task/30675/stat : 30675 (java) S 30665 30667 26823 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 827908179 13962731520 28133 33554432000 1073741824 1073778376 140733580230720 18446744073709551615 212699491225 0 4 0 16800975 18446604466983734272 0 0 -1 7 0 0 0
[pid=30667/tid=30676] ppid=30665 vsize=13635480 CPUtime=0 cores=1,3,5,7
/proc/30667/task/30676/stat : 30676 (java) S 30665 30667 26823 0 -1 4202560 408 0 0 0 0 0 0 0 18 0 19 0 827908179 13962731520 28133 33554432000 1073741824 1073778376 140733580230720 18446744073709551615 212699491225 0 4 0 16800975 18446604466983734272 0 0 -1 7 0 0 0
[pid=30667/tid=30677] ppid=30665 vsize=13635480 CPUtime=0 cores=1,3,5,7
/proc/30667/task/30677/stat : 30677 (java) S 30665 30667 26823 0 -1 4202560 419 0 0 0 0 0 0 0 18 0 19 0 827908179 13962731520 28133 33554432000 1073741824 1073778376 140733580230720 18446744073709551615 212699491225 0 4 0 16800975 18446604466983734272 0 0 -1 7 0 0 0
[pid=30667/tid=30678] ppid=30665 vsize=13635480 CPUtime=0.02 cores=1,3,5,7
/proc/30667/task/30678/stat : 30678 (java) S 30665 30667 26823 0 -1 4202560 830 0 0 0 2 0 0 0 16 0 19 0 827908180 13962731520 28133 33554432000 1073741824 1073778376 140733580230720 18446744073709551615 212699491840 0 0 0 16800975 18446604466983734272 0 0 -1 1 0 0 0
[pid=30667/tid=30679] ppid=30665 vsize=13635480 CPUtime=0 cores=1,3,5,7
/proc/30667/task/30679/stat : 30679 (java) S 30665 30667 26823 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 827908180 13962731520 28133 33554432000 1073741824 1073778376 140733580230720 18446744073709551615 212699491225 0 4 0 16800975 18446604466983734272 0 0 -1 1 0 0 0
[pid=30667/tid=30681] ppid=30665 vsize=13635480 CPUtime=0 cores=1,3,5,7
/proc/30667/task/30681/stat : 30681 (java) S 30665 30667 26823 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 827908180 13962731520 28133 33554432000 1073741824 1073778376 140733580230720 18446744073709551615 212699491225 0 4 0 16800975 18446604466983734272 0 0 -1 1 0 0 0
[pid=30667/tid=30682] ppid=30665 vsize=13635480 CPUtime=0 cores=1,3,5,7
/proc/30667/task/30682/stat : 30682 (java) S 30665 30667 26823 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827908182 13962731520 28133 33554432000 1073741824 1073778376 140733580230720 18446744073709551615 212699498929 0 4 0 16800975 18446604466983734272 0 0 -1 1 0 0 0
[pid=30667/tid=30683] ppid=30665 vsize=13635480 CPUtime=0.5 cores=1,3,5,7
/proc/30667/task/30683/stat : 30683 (java) S 30665 30667 26823 0 -1 4202560 5218 0 0 0 50 0 0 0 15 0 19 0 827908182 13962731520 28133 33554432000 1073741824 1073778376 140733580230720 18446744073709551615 212699491225 0 4 0 16800975 18446604466983734272 0 0 -1 7 0 0 0
[pid=30667/tid=30684] ppid=30665 vsize=13635480 CPUtime=0.52 cores=1,3,5,7
/proc/30667/task/30684/stat : 30684 (java) S 30665 30667 26823 0 -1 4202560 7329 0 0 0 52 0 0 0 16 0 19 0 827908182 13962731520 28133 33554432000 1073741824 1073778376 140733580230720 18446744073709551615 212699491225 0 4 0 16800975 18446604466983734272 0 0 -1 3 0 0 0
[pid=30667/tid=30685] ppid=30665 vsize=13635480 CPUtime=0 cores=1,3,5,7
/proc/30667/task/30685/stat : 30685 (java) S 30665 30667 26823 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827908182 13962731520 28133 33554432000 1073741824 1073778376 140733580230720 18446744073709551615 212699491225 0 4 0 16800975 18446604466983734272 0 0 -1 1 0 0 0
[pid=30667/tid=30686] ppid=30665 vsize=13635480 CPUtime=0 cores=1,3,5,7
/proc/30667/task/30686/stat : 30686 (java) S 30665 30667 26823 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 827908182 13962731520 28133 33554432000 1073741824 1073778376 140733580230720 18446744073709551615 212699491840 0 4 0 16800975 18446604466983734272 0 0 -1 3 0 0 0
[pid=30667/tid=30687] ppid=30665 vsize=13635480 CPUtime=0 cores=1,3,5,7
/proc/30667/task/30687/stat : 30687 (java) S 30665 30667 26823 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 827908214 13962731520 28133 33554432000 1073741824 1073778376 140733580230720 18446744073709551615 212699491840 0 4 0 16800975 18446604466983734272 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4.13
Current children cumulated vsize (KiB) 13635480

[startup+6.30134 s]
/proc/loadavg: 2.00 2.03 2.00 3/612 30688
/proc/meminfo: memFree=23367620/32951124 swapFree=58940260/67111528
[pid=30667] ppid=30665 vsize=13635480 CPUtime=7.36 cores=1,3,5,7
/proc/30667/stat : 30667 (java) S 30665 30667 26823 0 -1 4202496 34419 0 1 0 732 4 0 0 25 0 19 0 827908176 13962731520 28673 33554432000 1073741824 1073778376 140733580230720 18446744073709551615 212699477989 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/30667/statm: 3408870 28673 2267 9 0 3399604 0
[pid=30667/tid=30668] ppid=30665 vsize=13635480 CPUtime=6.24 cores=1,3,5,7
/proc/30667/task/30668/stat : 30668 (java) R 30665 30667 26823 0 -1 4202560 18503 0 1 0 622 2 0 0 25 0 19 0 827908177 13962731520 28673 33554432000 1073741824 1073778376 140733580230720 18446744073709551615 46912505768614 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=30667/tid=30670] ppid=30665 vsize=13635480 CPUtime=0 cores=1,3,5,7
/proc/30667/task/30670/stat : 30670 (java) S 30665 30667 26823 0 -1 4202560 256 0 0 0 0 0 0 0 15 0 19 0 827908179 13962731520 28673 33554432000 1073741824 1073778376 140733580230720 18446744073709551615 212699491225 0 4 0 16800975 18446604466983734272 0 0 -1 3 0 0 0
[pid=30667/tid=30671] ppid=30665 vsize=13635480 CPUtime=0 cores=1,3,5,7
/proc/30667/task/30671/stat : 30671 (java) S 30665 30667 26823 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 827908179 13962731520 28673 33554432000 1073741824 1073778376 140733580230720 18446744073709551615 212699491225 0 4 0 16800975 18446604466983734272 0 0 -1 7 0 0 0
[pid=30667/tid=30672] ppid=30665 vsize=13635480 CPUtime=0 cores=1,3,5,7
/proc/30667/task/30672/stat : 30672 (java) S 30665 30667 26823 0 -1 4202560 140 0 0 0 0 0 0 0 15 0 19 0 827908179 13962731520 28673 33554432000 1073741824 1073778376 140733580230720 18446744073709551615 212699491225 0 4 0 16800975 18446604466983734272 0 0 -1 7 0 0 0
[pid=30667/tid=30673] ppid=30665 vsize=13635480 CPUtime=0 cores=1,3,5,7
/proc/30667/task/30673/stat : 30673 (java) S 30665 30667 26823 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 827908179 13962731520 28673 33554432000 1073741824 1073778376 140733580230720 18446744073709551615 212699491225 0 4 0 16800975 18446604466983734272 0 0 -1 7 0 0 0
[pid=30667/tid=30674] ppid=30665 vsize=13635480 CPUtime=0 cores=1,3,5,7
/proc/30667/task/30674/stat : 30674 (java) S 30665 30667 26823 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 827908179 13962731520 28673 33554432000 1073741824 1073778376 140733580230720 18446744073709551615 212699491225 0 4 0 16800975 18446604466983734272 0 0 -1 7 0 0 0
[pid=30667/tid=30675] ppid=30665 vsize=13635480 CPUtime=0 cores=1,3,5,7
/proc/30667/task/30675/stat : 30675 (java) S 30665 30667 26823 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 827908179 13962731520 28673 33554432000 1073741824 1073778376 140733580230720 18446744073709551615 212699491225 0 4 0 16800975 18446604466983734272 0 0 -1 7 0 0 0
[pid=30667/tid=30676] ppid=30665 vsize=13635480 CPUtime=0 cores=1,3,5,7
/proc/30667/task/30676/stat : 30676 (java) S 30665 30667 26823 0 -1 4202560 408 0 0 0 0 0 0 0 18 0 19 0 827908179 13962731520 28673 33554432000 1073741824 1073778376 140733580230720 18446744073709551615 212699491225 0 4 0 16800975 18446604466983734272 0 0 -1 7 0 0 0
[pid=30667/tid=30677] ppid=30665 vsize=13635480 CPUtime=0 cores=1,3,5,7
/proc/30667/task/30677/stat : 30677 (java) S 30665 30667 26823 0 -1 4202560 419 0 0 0 0 0 0 0 18 0 19 0 827908179 13962731520 28673 33554432000 1073741824 1073778376 140733580230720 18446744073709551615 212699491225 0 4 0 16800975 18446604466983734272 0 0 -1 7 0 0 0
[pid=30667/tid=30678] ppid=30665 vsize=13635480 CPUtime=0.03 cores=1,3,5,7
/proc/30667/task/30678/stat : 30678 (java) S 30665 30667 26823 0 -1 4202560 987 0 0 0 3 0 0 0 15 0 19 0 827908180 13962731520 28673 33554432000 1073741824 1073778376 140733580230720 18446744073709551615 212699491840 0 0 0 16800975 18446604466983734272 0 0 -1 1 0 0 0
[pid=30667/tid=30679] ppid=30665 vsize=13635480 CPUtime=0 cores=1,3,5,7
/proc/30667/task/30679/stat : 30679 (java) S 30665 30667 26823 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 827908180 13962731520 28673 33554432000 1073741824 1073778376 140733580230720 18446744073709551615 212699491225 0 4 0 16800975 18446604466983734272 0 0 -1 1 0 0 0
[pid=30667/tid=30681] ppid=30665 vsize=13635480 CPUtime=0 cores=1,3,5,7
/proc/30667/task/30681/stat : 30681 (java) S 30665 30667 26823 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 827908180 13962731520 28673 33554432000 1073741824 1073778376 140733580230720 18446744073709551615 212699491225 0 4 0 16800975 18446604466983734272 0 0 -1 1 0 0 0
[pid=30667/tid=30682] ppid=30665 vsize=13635480 CPUtime=0 cores=1,3,5,7
/proc/30667/task/30682/stat : 30682 (java) S 30665 30667 26823 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827908182 13962731520 28673 33554432000 1073741824 1073778376 140733580230720 18446744073709551615 212699498929 0 4 0 16800975 18446604466983734272 0 0 -1 1 0 0 0
[pid=30667/tid=30683] ppid=30665 vsize=13635480 CPUtime=0.51 cores=1,3,5,7
/proc/30667/task/30683/stat : 30683 (java) S 30665 30667 26823 0 -1 4202560 5219 0 0 0 51 0 0 0 15 0 19 0 827908182 13962731520 28673 33554432000 1073741824 1073778376 140733580230720 18446744073709551615 212699491225 0 4 0 16800975 18446604466983734272 0 0 -1 3 0 0 0
[pid=30667/tid=30684] ppid=30665 vsize=13635480 CPUtime=0.53 cores=1,3,5,7
/proc/30667/task/30684/stat : 30684 (java) S 30665 30667 26823 0 -1 4202560 7332 0 0 0 53 0 0 0 15 0 19 0 827908182 13962731520 28673 33554432000 1073741824 1073778376 140733580230720 18446744073709551615 212699491225 0 4 0 16800975 18446604466983734272 0 0 -1 3 0 0 0

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

[pid=30667/tid=30675] ppid=30665 vsize=13635480 CPUtime=0.1 cores=1,3,5,7
/proc/30667/task/30675/stat : 30675 (java) S 30665 30667 26823 0 -1 4202560 158 0 0 0 10 0 0 0 16 0 19 0 827908179 13962731520 31722 33554432000 1073741824 1073778376 140733580230720 18446744073709551615 212699491225 0 4 0 16800975 18446604466983734272 0 0 -1 3 0 0 0
[pid=30667/tid=30676] ppid=30665 vsize=13635480 CPUtime=0.17 cores=1,3,5,7
/proc/30667/task/30676/stat : 30676 (java) S 30665 30667 26823 0 -1 4202560 665 0 0 0 17 0 0 0 15 0 19 0 827908179 13962731520 31722 33554432000 1073741824 1073778376 140733580230720 18446744073709551615 212699491225 0 4 0 16800975 18446604466983734272 0 0 -1 7 0 0 0
[pid=30667/tid=30677] ppid=30665 vsize=13635480 CPUtime=0.13 cores=1,3,5,7
/proc/30667/task/30677/stat : 30677 (java) S 30665 30667 26823 0 -1 4202560 577 0 0 0 13 0 0 0 15 0 19 0 827908179 13962731520 31722 33554432000 1073741824 1073778376 140733580230720 18446744073709551615 212699491225 0 4 0 16800975 18446604466983734272 0 0 -1 7 0 0 0
[pid=30667/tid=30678] ppid=30665 vsize=13635480 CPUtime=7.51 cores=1,3,5,7
/proc/30667/task/30678/stat : 30678 (java) S 30665 30667 26823 0 -1 4202560 2693 0 0 0 747 4 0 0 15 0 19 0 827908180 13962731520 31722 33554432000 1073741824 1073778376 140733580230720 18446744073709551615 212699491840 0 0 0 16800975 18446604466983734272 0 0 -1 1 0 0 0
[pid=30667/tid=30679] ppid=30665 vsize=13635480 CPUtime=0 cores=1,3,5,7
/proc/30667/task/30679/stat : 30679 (java) S 30665 30667 26823 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 827908180 13962731520 31722 33554432000 1073741824 1073778376 140733580230720 18446744073709551615 212699491225 0 4 0 16800975 18446604466983734272 0 0 -1 1 0 0 0
[pid=30667/tid=30681] ppid=30665 vsize=13635480 CPUtime=0 cores=1,3,5,7
/proc/30667/task/30681/stat : 30681 (java) S 30665 30667 26823 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 827908180 13962731520 31722 33554432000 1073741824 1073778376 140733580230720 18446744073709551615 212699491225 0 4 0 16800975 18446604466983734272 0 0 -1 1 0 0 0
[pid=30667/tid=30682] ppid=30665 vsize=13635480 CPUtime=0 cores=1,3,5,7
/proc/30667/task/30682/stat : 30682 (java) S 30665 30667 26823 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827908182 13962731520 31722 33554432000 1073741824 1073778376 140733580230720 18446744073709551615 212699498929 0 4 0 16800975 18446604466983734272 0 0 -1 1 0 0 0
[pid=30667/tid=30683] ppid=30665 vsize=13635480 CPUtime=0.57 cores=1,3,5,7
/proc/30667/task/30683/stat : 30683 (java) S 30665 30667 26823 0 -1 4202560 5230 0 0 0 57 0 0 0 15 0 19 0 827908182 13962731520 31722 33554432000 1073741824 1073778376 140733580230720 18446744073709551615 212699491225 0 4 0 16800975 18446604466983734272 0 0 -1 3 0 0 0
[pid=30667/tid=30684] ppid=30665 vsize=13635480 CPUtime=0.54 cores=1,3,5,7
/proc/30667/task/30684/stat : 30684 (java) S 30665 30667 26823 0 -1 4202560 7337 0 0 0 54 0 0 0 15 0 19 0 827908182 13962731520 31722 33554432000 1073741824 1073778376 140733580230720 18446744073709551615 212699491225 0 4 0 16800975 18446604466983734272 0 0 -1 7 0 0 0
[pid=30667/tid=30685] ppid=30665 vsize=13635480 CPUtime=0 cores=1,3,5,7
/proc/30667/task/30685/stat : 30685 (java) S 30665 30667 26823 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827908182 13962731520 31722 33554432000 1073741824 1073778376 140733580230720 18446744073709551615 212699491225 0 4 0 16800975 18446604466983734272 0 0 -1 1 0 0 0
[pid=30667/tid=30686] ppid=30665 vsize=13635480 CPUtime=0 cores=1,3,5,7
/proc/30667/task/30686/stat : 30686 (java) S 30665 30667 26823 0 -1 4202560 96 0 0 0 0 0 0 0 15 0 19 0 827908182 13962731520 31722 33554432000 1073741824 1073778376 140733580230720 18446744073709551615 212699491840 0 4 0 16800975 18446604466983734272 0 0 -1 3 0 0 0
[pid=30667/tid=30687] ppid=30665 vsize=13635480 CPUtime=0 cores=1,3,5,7
/proc/30667/task/30687/stat : 30687 (java) S 30665 30667 26823 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 827908214 13962731520 31722 33554432000 1073741824 1073778376 140733580230720 18446744073709551615 212699491840 0 4 0 16800975 18446604466983734272 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1664.08
Current children cumulated vsize (KiB) 13635480

[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/612 30855
/proc/meminfo: memFree=23331152/32951124 swapFree=58940260/67111528
[pid=30667] ppid=30665 vsize=13635480 CPUtime=1724.09 cores=1,3,5,7
/proc/30667/stat : 30667 (java) S 30665 30667 26823 0 -1 4202496 38030 0 1 0 172398 11 0 0 25 0 19 0 827908176 13962731520 31743 33554432000 1073741824 1073778376 140733580230720 18446744073709551615 212699477989 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/30667/statm: 3408870 31743 2268 9 0 3399604 0
[pid=30667/tid=30668] ppid=30665 vsize=13635480 CPUtime=1714.02 cores=1,3,5,7
/proc/30667/task/30668/stat : 30668 (java) R 30665 30667 26823 0 -1 4202560 18845 0 1 0 171400 2 0 0 25 0 19 0 827908177 13962731520 31743 33554432000 1073741824 1073778376 140733580230720 18446744073709551615 46912505913757 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=30667/tid=30670] ppid=30665 vsize=13635480 CPUtime=0.13 cores=1,3,5,7
/proc/30667/task/30670/stat : 30670 (java) S 30665 30667 26823 0 -1 4202560 367 0 0 0 13 0 0 0 16 0 19 0 827908179 13962731520 31743 33554432000 1073741824 1073778376 140733580230720 18446744073709551615 212699491225 0 4 0 16800975 18446604466983734272 0 0 -1 5 0 0 0
[pid=30667/tid=30671] ppid=30665 vsize=13635480 CPUtime=0.15 cores=1,3,5,7
/proc/30667/task/30671/stat : 30671 (java) S 30665 30667 26823 0 -1 4202560 204 0 0 0 15 0 0 0 15 0 19 0 827908179 13962731520 31743 33554432000 1073741824 1073778376 140733580230720 18446744073709551615 212699491225 0 4 0 16800975 18446604466983734272 0 0 -1 7 0 0 0
[pid=30667/tid=30672] ppid=30665 vsize=13635480 CPUtime=0.12 cores=1,3,5,7
/proc/30667/task/30672/stat : 30672 (java) S 30665 30667 26823 0 -1 4202560 493 0 0 0 12 0 0 0 16 0 19 0 827908179 13962731520 31743 33554432000 1073741824 1073778376 140733580230720 18446744073709551615 212699491225 0 4 0 16800975 18446604466983734272 0 0 -1 7 0 0 0
[pid=30667/tid=30673] ppid=30665 vsize=13635480 CPUtime=0.15 cores=1,3,5,7
/proc/30667/task/30673/stat : 30673 (java) S 30665 30667 26823 0 -1 4202560 139 0 0 0 15 0 0 0 16 0 19 0 827908179 13962731520 31743 33554432000 1073741824 1073778376 140733580230720 18446744073709551615 212699491225 0 4 0 16800975 18446604466983734272 0 0 -1 7 0 0 0
[pid=30667/tid=30674] ppid=30665 vsize=13635480 CPUtime=0.14 cores=1,3,5,7
/proc/30667/task/30674/stat : 30674 (java) S 30665 30667 26823 0 -1 4202560 63 0 0 0 14 0 0 0 15 0 19 0 827908179 13962731520 31743 33554432000 1073741824 1073778376 140733580230720 18446744073709551615 212699491225 0 4 0 16800975 18446604466983734272 0 0 -1 7 0 0 0
[pid=30667/tid=30675] ppid=30665 vsize=13635480 CPUtime=0.11 cores=1,3,5,7
/proc/30667/task/30675/stat : 30675 (java) S 30665 30667 26823 0 -1 4202560 161 0 0 0 11 0 0 0 16 0 19 0 827908179 13962731520 31743 33554432000 1073741824 1073778376 140733580230720 18446744073709551615 212699491225 0 4 0 16800975 18446604466983734272 0 0 -1 3 0 0 0
[pid=30667/tid=30676] ppid=30665 vsize=13635480 CPUtime=0.18 cores=1,3,5,7
/proc/30667/task/30676/stat : 30676 (java) S 30665 30667 26823 0 -1 4202560 668 0 0 0 18 0 0 0 15 0 19 0 827908179 13962731520 31743 33554432000 1073741824 1073778376 140733580230720 18446744073709551615 212699491225 0 4 0 16800975 18446604466983734272 0 0 -1 7 0 0 0
[pid=30667/tid=30677] ppid=30665 vsize=13635480 CPUtime=0.14 cores=1,3,5,7
/proc/30667/task/30677/stat : 30677 (java) S 30665 30667 26823 0 -1 4202560 580 0 0 0 14 0 0 0 16 0 19 0 827908179 13962731520 31743 33554432000 1073741824 1073778376 140733580230720 18446744073709551615 212699491225 0 4 0 16800975 18446604466983734272 0 0 -1 7 0 0 0
[pid=30667/tid=30678] ppid=30665 vsize=13635480 CPUtime=7.74 cores=1,3,5,7
/proc/30667/task/30678/stat : 30678 (java) S 30665 30667 26823 0 -1 4202560 2695 0 0 0 770 4 0 0 15 0 19 0 827908180 13962731520 31743 33554432000 1073741824 1073778376 140733580230720 18446744073709551615 212699491840 0 0 0 16800975 18446604466983734272 0 0 -1 1 0 0 0
[pid=30667/tid=30679] ppid=30665 vsize=13635480 CPUtime=0 cores=1,3,5,7
/proc/30667/task/30679/stat : 30679 (java) S 30665 30667 26823 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 827908180 13962731520 31743 33554432000 1073741824 1073778376 140733580230720 18446744073709551615 212699491225 0 4 0 16800975 18446604466983734272 0 0 -1 1 0 0 0
[pid=30667/tid=30681] ppid=30665 vsize=13635480 CPUtime=0 cores=1,3,5,7
/proc/30667/task/30681/stat : 30681 (java) S 30665 30667 26823 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 827908180 13962731520 31743 33554432000 1073741824 1073778376 140733580230720 18446744073709551615 212699491225 0 4 0 16800975 18446604466983734272 0 0 -1 1 0 0 0
[pid=30667/tid=30682] ppid=30665 vsize=13635480 CPUtime=0 cores=1,3,5,7
/proc/30667/task/30682/stat : 30682 (java) S 30665 30667 26823 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827908182 13962731520 31743 33554432000 1073741824 1073778376 140733580230720 18446744073709551615 212699498929 0 4 0 16800975 18446604466983734272 0 0 -1 1 0 0 0
[pid=30667/tid=30683] ppid=30665 vsize=13635480 CPUtime=0.57 cores=1,3,5,7
/proc/30667/task/30683/stat : 30683 (java) S 30665 30667 26823 0 -1 4202560 5230 0 0 0 57 0 0 0 15 0 19 0 827908182 13962731520 31743 33554432000 1073741824 1073778376 140733580230720 18446744073709551615 212699491225 0 4 0 16800975 18446604466983734272 0 0 -1 3 0 0 0
[pid=30667/tid=30684] ppid=30665 vsize=13635480 CPUtime=0.54 cores=1,3,5,7
/proc/30667/task/30684/stat : 30684 (java) S 30665 30667 26823 0 -1 4202560 7337 0 0 0 54 0 0 0 15 0 19 0 827908182 13962731520 31743 33554432000 1073741824 1073778376 140733580230720 18446744073709551615 212699491225 0 4 0 16800975 18446604466983734272 0 0 -1 7 0 0 0
[pid=30667/tid=30685] ppid=30665 vsize=13635480 CPUtime=0 cores=1,3,5,7
/proc/30667/task/30685/stat : 30685 (java) S 30665 30667 26823 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827908182 13962731520 31743 33554432000 1073741824 1073778376 140733580230720 18446744073709551615 212699491225 0 4 0 16800975 18446604466983734272 0 0 -1 1 0 0 0
[pid=30667/tid=30686] ppid=30665 vsize=13635480 CPUtime=0 cores=1,3,5,7
/proc/30667/task/30686/stat : 30686 (java) S 30665 30667 26823 0 -1 4202560 98 0 0 0 0 0 0 0 15 0 19 0 827908182 13962731520 31743 33554432000 1073741824 1073778376 140733580230720 18446744073709551615 212699491840 0 4 0 16800975 18446604466983734272 0 0 -1 3 0 0 0
[pid=30667/tid=30687] ppid=30665 vsize=13635480 CPUtime=0 cores=1,3,5,7
/proc/30667/task/30687/stat : 30687 (java) S 30665 30667 26823 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 827908214 13962731520 31743 33554432000 1073741824 1073778376 140733580230720 18446744073709551615 212699491840 0 4 0 16800975 18446604466983734272 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1724.09
Current children cumulated vsize (KiB) 13635480

[startup+1782.3 s]
/proc/loadavg: 2.14 2.06 2.02 3/612 30857
/proc/meminfo: memFree=23330600/32951124 swapFree=58940260/67111528
[pid=30667] ppid=30665 vsize=13635480 CPUtime=1784.1 cores=1,3,5,7
/proc/30667/stat : 30667 (java) S 30665 30667 26823 0 -1 4202496 38091 0 1 0 178399 11 0 0 25 0 19 0 827908176 13962731520 31783 33554432000 1073741824 1073778376 140733580230720 18446744073709551615 212699477989 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/30667/statm: 3408870 31783 2268 9 0 3399604 0
[pid=30667/tid=30668] ppid=30665 vsize=13635480 CPUtime=1773.72 cores=1,3,5,7
/proc/30667/task/30668/stat : 30668 (java) R 30665 30667 26823 0 -1 4202560 18857 0 1 0 177370 2 0 0 25 0 19 0 827908177 13962731520 31783 33554432000 1073741824 1073778376 140733580230720 18446744073709551615 46912505786785 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=30667/tid=30670] ppid=30665 vsize=13635480 CPUtime=0.13 cores=1,3,5,7
/proc/30667/task/30670/stat : 30670 (java) S 30665 30667 26823 0 -1 4202560 367 0 0 0 13 0 0 0 15 0 19 0 827908179 13962731520 31783 33554432000 1073741824 1073778376 140733580230720 18446744073709551615 212699491225 0 4 0 16800975 18446604466983734272 0 0 -1 5 0 0 0
[pid=30667/tid=30671] ppid=30665 vsize=13635480 CPUtime=0.15 cores=1,3,5,7
/proc/30667/task/30671/stat : 30671 (java) S 30665 30667 26823 0 -1 4202560 204 0 0 0 15 0 0 0 15 0 19 0 827908179 13962731520 31783 33554432000 1073741824 1073778376 140733580230720 18446744073709551615 212699491225 0 4 0 16800975 18446604466983734272 0 0 -1 3 0 0 0
[pid=30667/tid=30672] ppid=30665 vsize=13635480 CPUtime=0.13 cores=1,3,5,7
/proc/30667/task/30672/stat : 30672 (java) S 30665 30667 26823 0 -1 4202560 493 0 0 0 13 0 0 0 15 0 19 0 827908179 13962731520 31783 33554432000 1073741824 1073778376 140733580230720 18446744073709551615 212699491225 0 4 0 16800975 18446604466983734272 0 0 -1 5 0 0 0
[pid=30667/tid=30673] ppid=30665 vsize=13635480 CPUtime=0.15 cores=1,3,5,7
/proc/30667/task/30673/stat : 30673 (java) S 30665 30667 26823 0 -1 4202560 139 0 0 0 15 0 0 0 15 0 19 0 827908179 13962731520 31783 33554432000 1073741824 1073778376 140733580230720 18446744073709551615 212699491225 0 4 0 16800975 18446604466983734272 0 0 -1 3 0 0 0
[pid=30667/tid=30674] ppid=30665 vsize=13635480 CPUtime=0.14 cores=1,3,5,7
/proc/30667/task/30674/stat : 30674 (java) S 30665 30667 26823 0 -1 4202560 63 0 0 0 14 0 0 0 15 0 19 0 827908179 13962731520 31783 33554432000 1073741824 1073778376 140733580230720 18446744073709551615 212699491225 0 4 0 16800975 18446604466983734272 0 0 -1 7 0 0 0
[pid=30667/tid=30675] ppid=30665 vsize=13635480 CPUtime=0.11 cores=1,3,5,7
/proc/30667/task/30675/stat : 30675 (java) S 30665 30667 26823 0 -1 4202560 161 0 0 0 11 0 0 0 15 0 19 0 827908179 13962731520 31783 33554432000 1073741824 1073778376 140733580230720 18446744073709551615 212699491225 0 4 0 16800975 18446604466983734272 0 0 -1 7 0 0 0
[pid=30667/tid=30676] ppid=30665 vsize=13635480 CPUtime=0.18 cores=1,3,5,7
/proc/30667/task/30676/stat : 30676 (java) S 30665 30667 26823 0 -1 4202560 668 0 0 0 18 0 0 0 15 0 19 0 827908179 13962731520 31783 33554432000 1073741824 1073778376 140733580230720 18446744073709551615 212699491225 0 4 0 16800975 18446604466983734272 0 0 -1 7 0 0 0
[pid=30667/tid=30677] ppid=30665 vsize=13635480 CPUtime=0.14 cores=1,3,5,7
/proc/30667/task/30677/stat : 30677 (java) S 30665 30667 26823 0 -1 4202560 580 0 0 0 14 0 0 0 15 0 19 0 827908179 13962731520 31783 33554432000 1073741824 1073778376 140733580230720 18446744073709551615 212699491225 0 4 0 16800975 18446604466983734272 0 0 -1 3 0 0 0
[pid=30667/tid=30678] ppid=30665 vsize=13635480 CPUtime=8.02 cores=1,3,5,7
/proc/30667/task/30678/stat : 30678 (java) S 30665 30667 26823 0 -1 4202560 2739 0 0 0 798 4 0 0 15 0 19 0 827908180 13962731520 31783 33554432000 1073741824 1073778376 140733580230720 18446744073709551615 212699491840 0 0 0 16800975 18446604466983734272 0 0 -1 1 0 0 0
[pid=30667/tid=30679] ppid=30665 vsize=13635480 CPUtime=0 cores=1,3,5,7
/proc/30667/task/30679/stat : 30679 (java) S 30665 30667 26823 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 827908180 13962731520 31783 33554432000 1073741824 1073778376 140733580230720 18446744073709551615 212699491225 0 4 0 16800975 18446604466983734272 0 0 -1 1 0 0 0
[pid=30667/tid=30681] ppid=30665 vsize=13635480 CPUtime=0 cores=1,3,5,7
/proc/30667/task/30681/stat : 30681 (java) S 30665 30667 26823 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 827908180 13962731520 31783 33554432000 1073741824 1073778376 140733580230720 18446744073709551615 212699491225 0 4 0 16800975 18446604466983734272 0 0 -1 1 0 0 0
[pid=30667/tid=30682] ppid=30665 vsize=13635480 CPUtime=0 cores=1,3,5,7
/proc/30667/task/30682/stat : 30682 (java) S 30665 30667 26823 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827908182 13962731520 31783 33554432000 1073741824 1073778376 140733580230720 18446744073709551615 212699498929 0 4 0 16800975 18446604466983734272 0 0 -1 1 0 0 0
[pid=30667/tid=30683] ppid=30665 vsize=13635480 CPUtime=0.57 cores=1,3,5,7
/proc/30667/task/30683/stat : 30683 (java) S 30665 30667 26823 0 -1 4202560 5231 0 0 0 57 0 0 0 15 0 19 0 827908182 13962731520 31783 33554432000 1073741824 1073778376 140733580230720 18446744073709551615 212699491225 0 4 0 16800975 18446604466983734272 0 0 -1 3 0 0 0
[pid=30667/tid=30684] ppid=30665 vsize=13635480 CPUtime=0.54 cores=1,3,5,7
/proc/30667/task/30684/stat : 30684 (java) S 30665 30667 26823 0 -1 4202560 7337 0 0 0 54 0 0 0 15 0 19 0 827908182 13962731520 31783 33554432000 1073741824 1073778376 140733580230720 18446744073709551615 212699491225 0 4 0 16800975 18446604466983734272 0 0 -1 7 0 0 0
[pid=30667/tid=30685] ppid=30665 vsize=13635480 CPUtime=0 cores=1,3,5,7
/proc/30667/task/30685/stat : 30685 (java) S 30665 30667 26823 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827908182 13962731520 31783 33554432000 1073741824 1073778376 140733580230720 18446744073709551615 212699491225 0 4 0 16800975 18446604466983734272 0 0 -1 1 0 0 0
[pid=30667/tid=30686] ppid=30665 vsize=13635480 CPUtime=0 cores=1,3,5,7
/proc/30667/task/30686/stat : 30686 (java) S 30665 30667 26823 0 -1 4202560 102 0 0 0 0 0 0 0 15 0 19 0 827908182 13962731520 31783 33554432000 1073741824 1073778376 140733580230720 18446744073709551615 212699491840 0 4 0 16800975 18446604466983734272 0 0 -1 3 0 0 0
[pid=30667/tid=30687] ppid=30665 vsize=13635480 CPUtime=0 cores=1,3,5,7
/proc/30667/task/30687/stat : 30687 (java) S 30665 30667 26823 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 827908214 13962731520 31783 33554432000 1073741824 1073778376 140733580230720 18446744073709551615 212699491840 0 4 0 16800975 18446604466983734272 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1784.1
Current children cumulated vsize (KiB) 13635480



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1798.2 s]
/proc/loadavg: 2.25 2.09 2.03 3/612 30857
/proc/meminfo: memFree=23330348/32951124 swapFree=58940260/67111528
[pid=30667] ppid=30665 vsize=13635480 CPUtime=1800.02 cores=1,3,5,7
/proc/30667/stat : 30667 (java) S 30665 30667 26823 0 -1 4202496 38098 0 1 0 179991 11 0 0 25 0 19 0 827908176 13962731520 31785 33554432000 1073741824 1073778376 140733580230720 18446744073709551615 212699477989 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/30667/statm: 3408870 31785 2268 9 0 3399604 0
[pid=30667/tid=30668] ppid=30665 vsize=13635480 CPUtime=1789.57 cores=1,3,5,7
/proc/30667/task/30668/stat : 30668 (java) R 30665 30667 26823 0 -1 4202560 18860 0 1 0 178955 2 0 0 25 0 19 0 827908177 13962731520 31785 33554432000 1073741824 1073778376 140733580230720 18446744073709551615 46912505970284 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=30667/tid=30670] ppid=30665 vsize=13635480 CPUtime=0.13 cores=1,3,5,7
/proc/30667/task/30670/stat : 30670 (java) S 30665 30667 26823 0 -1 4202560 367 0 0 0 13 0 0 0 15 0 19 0 827908179 13962731520 31785 33554432000 1073741824 1073778376 140733580230720 18446744073709551615 212699491225 0 4 0 16800975 18446604466983734272 0 0 -1 5 0 0 0
[pid=30667/tid=30671] ppid=30665 vsize=13635480 CPUtime=0.15 cores=1,3,5,7
/proc/30667/task/30671/stat : 30671 (java) S 30665 30667 26823 0 -1 4202560 206 0 0 0 15 0 0 0 15 0 19 0 827908179 13962731520 31785 33554432000 1073741824 1073778376 140733580230720 18446744073709551615 212699491225 0 4 0 16800975 18446604466983734272 0 0 -1 7 0 0 0
[pid=30667/tid=30672] ppid=30665 vsize=13635480 CPUtime=0.13 cores=1,3,5,7
/proc/30667/task/30672/stat : 30672 (java) S 30665 30667 26823 0 -1 4202560 493 0 0 0 13 0 0 0 15 0 19 0 827908179 13962731520 31785 33554432000 1073741824 1073778376 140733580230720 18446744073709551615 212699491225 0 4 0 16800975 18446604466983734272 0 0 -1 5 0 0 0
[pid=30667/tid=30673] ppid=30665 vsize=13635480 CPUtime=0.15 cores=1,3,5,7
/proc/30667/task/30673/stat : 30673 (java) S 30665 30667 26823 0 -1 4202560 139 0 0 0 15 0 0 0 15 0 19 0 827908179 13962731520 31785 33554432000 1073741824 1073778376 140733580230720 18446744073709551615 212699491225 0 4 0 16800975 18446604466983734272 0 0 -1 7 0 0 0
[pid=30667/tid=30674] ppid=30665 vsize=13635480 CPUtime=0.14 cores=1,3,5,7
/proc/30667/task/30674/stat : 30674 (java) S 30665 30667 26823 0 -1 4202560 63 0 0 0 14 0 0 0 15 0 19 0 827908179 13962731520 31785 33554432000 1073741824 1073778376 140733580230720 18446744073709551615 212699491225 0 4 0 16800975 18446604466983734272 0 0 -1 7 0 0 0
[pid=30667/tid=30675] ppid=30665 vsize=13635480 CPUtime=0.11 cores=1,3,5,7
/proc/30667/task/30675/stat : 30675 (java) S 30665 30667 26823 0 -1 4202560 161 0 0 0 11 0 0 0 15 0 19 0 827908179 13962731520 31785 33554432000 1073741824 1073778376 140733580230720 18446744073709551615 212699491225 0 4 0 16800975 18446604466983734272 0 0 -1 7 0 0 0
[pid=30667/tid=30676] ppid=30665 vsize=13635480 CPUtime=0.18 cores=1,3,5,7
/proc/30667/task/30676/stat : 30676 (java) S 30665 30667 26823 0 -1 4202560 668 0 0 0 18 0 0 0 15 0 19 0 827908179 13962731520 31785 33554432000 1073741824 1073778376 140733580230720 18446744073709551615 212699491225 0 4 0 16800975 18446604466983734272 0 0 -1 7 0 0 0
[pid=30667/tid=30677] ppid=30665 vsize=13635480 CPUtime=0.14 cores=1,3,5,7
/proc/30667/task/30677/stat : 30677 (java) S 30665 30667 26823 0 -1 4202560 580 0 0 0 14 0 0 0 16 0 19 0 827908179 13962731520 31785 33554432000 1073741824 1073778376 140733580230720 18446744073709551615 212699491225 0 4 0 16800975 18446604466983734272 0 0 -1 3 0 0 0
[pid=30667/tid=30678] ppid=30665 vsize=13635480 CPUtime=8.09 cores=1,3,5,7
/proc/30667/task/30678/stat : 30678 (java) S 30665 30667 26823 0 -1 4202560 2739 0 0 0 805 4 0 0 15 0 19 0 827908180 13962731520 31785 33554432000 1073741824 1073778376 140733580230720 18446744073709551615 212699491840 0 0 0 16800975 18446604466983734272 0 0 -1 1 0 0 0
[pid=30667/tid=30679] ppid=30665 vsize=13635480 CPUtime=0 cores=1,3,5,7
/proc/30667/task/30679/stat : 30679 (java) S 30665 30667 26823 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 827908180 13962731520 31785 33554432000 1073741824 1073778376 140733580230720 18446744073709551615 212699491225 0 4 0 16800975 18446604466983734272 0 0 -1 1 0 0 0
[pid=30667/tid=30681] ppid=30665 vsize=13635480 CPUtime=0 cores=1,3,5,7
/proc/30667/task/30681/stat : 30681 (java) S 30665 30667 26823 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 827908180 13962731520 31785 33554432000 1073741824 1073778376 140733580230720 18446744073709551615 212699491225 0 4 0 16800975 18446604466983734272 0 0 -1 1 0 0 0
[pid=30667/tid=30682] ppid=30665 vsize=13635480 CPUtime=0 cores=1,3,5,7
/proc/30667/task/30682/stat : 30682 (java) S 30665 30667 26823 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827908182 13962731520 31785 33554432000 1073741824 1073778376 140733580230720 18446744073709551615 212699498929 0 4 0 16800975 18446604466983734272 0 0 -1 1 0 0 0
[pid=30667/tid=30683] ppid=30665 vsize=13635480 CPUtime=0.57 cores=1,3,5,7
/proc/30667/task/30683/stat : 30683 (java) S 30665 30667 26823 0 -1 4202560 5231 0 0 0 57 0 0 0 15 0 19 0 827908182 13962731520 31785 33554432000 1073741824 1073778376 140733580230720 18446744073709551615 212699491225 0 4 0 16800975 18446604466983734272 0 0 -1 3 0 0 0
[pid=30667/tid=30684] ppid=30665 vsize=13635480 CPUtime=0.54 cores=1,3,5,7
/proc/30667/task/30684/stat : 30684 (java) S 30665 30667 26823 0 -1 4202560 7337 0 0 0 54 0 0 0 15 0 19 0 827908182 13962731520 31785 33554432000 1073741824 1073778376 140733580230720 18446744073709551615 212699491225 0 4 0 16800975 18446604466983734272 0 0 -1 7 0 0 0
[pid=30667/tid=30685] ppid=30665 vsize=13635480 CPUtime=0 cores=1,3,5,7
/proc/30667/task/30685/stat : 30685 (java) S 30665 30667 26823 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827908182 13962731520 31785 33554432000 1073741824 1073778376 140733580230720 18446744073709551615 212699491225 0 4 0 16800975 18446604466983734272 0 0 -1 1 0 0 0
[pid=30667/tid=30686] ppid=30665 vsize=13635480 CPUtime=0 cores=1,3,5,7
/proc/30667/task/30686/stat : 30686 (java) S 30665 30667 26823 0 -1 4202560 104 0 0 0 0 0 0 0 15 0 19 0 827908182 13962731520 31785 33554432000 1073741824 1073778376 140733580230720 18446744073709551615 212699491840 0 4 0 16800975 18446604466983734272 0 0 -1 3 0 0 0
[pid=30667/tid=30687] ppid=30665 vsize=13635480 CPUtime=0 cores=1,3,5,7
/proc/30667/task/30687/stat : 30687 (java) S 30665 30667 26823 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 827908214 13962731520 31785 33554432000 1073741824 1073778376 140733580230720 18446744073709551615 212699491840 0 4 0 16800975 18446604466983734272 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 13635480

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.25
CPU time (s): 1800.07
CPU user time (s): 1799.95
CPU system time (s): 0.124981
CPU usage (%): 100.101
Max. virtual memory (cumulated for all children) (KiB): 13635480

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.95
system time used= 0.124981
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 38142
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= 47504
involuntary context switches= 11709

runsolver used 10.2744 second user time and 24.0263 second system time

The end

Launcher Data 

Begin job on node139 at 2011-06-04 06:51:44
IDJOB=3458459
IDBENCH=48279
IDSOLVER=1952
FILE ID=node139/3458459-1307163104
RUNJOBID= node139-1307161303-30430
PBS_JOBID= 13508777
Free space on /tmp= 73472 MiB

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

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

MD5SUM BENCH= 27440fbcb5a9ea2c9ae6b100e77dc1d3
RANDOM SEED=2098183543

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

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

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

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.852
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.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      23477408 kB
Buffers:        271848 kB
Cached:         606388 kB
SwapCached:       3628 kB
Active:        8656728 kB
Inactive:       514204 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      23477408 kB
SwapTotal:    67111528 kB
SwapFree:     58940260 kB
Dirty:             108 kB
Writeback:           0 kB
AnonPages:     8290868 kB
Mapped:          41208 kB
Slab:           152788 kB
PageTables:      78704 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 184311068 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= 73472 MiB
End job on node139 at 2011-06-04 07:21:45