Trace number 3458830

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.0OPT0 554.799 553.604

General information on the benchmark

Namenormalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/
lp/data/normalized-mps-v2-20-10-blend.opb
MD5SUMeff6ad715055e79721cc364806b971f0
Bench CategoryOPT-BIGINT (optimisation, big integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark0
Best CPU time to get the best result obtained on this benchmark554.799
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 0
Optimality of the best value was proved NO
Number of variables2490
Total number of constraints74
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints74
Minimum length of a constraint30
Maximum length of a constraint780
Number of terms in the objective function 660
Biggest coefficient in the objective function 14388140441600
Number of bits for the biggest coefficient in the objective function 44
Sum of the numbers in the objective function 203610440670021
Number of bits of the sum of numbers in the objective function 48
Biggest number in a constraint 78436840243200
Number of bits of the biggest number in a constraint 47
Biggest sum of numbers in a constraint 789015556311444
Number of bits of the biggest sum of numbers50
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.05/0.09	c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre
0.05/0.09	c This is free software under the dual EPL/GNU LGPL licenses.
0.05/0.09	c See www.sat4j.org for details.
0.05/0.09	c version 2.3.1.v20110525
0.05/0.09	c java.runtime.name	Java(TM) SE Runtime Environment
0.05/0.09	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.05/0.09	c java.vm.version	19.1-b02
0.05/0.09	c java.vm.vendor	Sun Microsystems Inc.
0.05/0.09	c sun.arch.data.model	64
0.05/0.09	c java.version		1.6.0_24
0.05/0.09	c os.name		Linux
0.05/0.09	c os.version		2.6.18-164.el5
0.05/0.09	c os.arch		amd64
0.05/0.09	c Free memory 		12995394264
0.05/0.09	c Max memory 		13063553024
0.05/0.09	c Total memory 		13063553024
0.05/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@38540408
0.10/0.11	c Learn all clauses as in MiniSAT
0.10/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.10/0.11	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.10/0.11	c Expensive reason simplification
0.10/0.11	c Armin Biere (Picosat) restarts strategy
0.10/0.11	c Glucose learned constraints deletion strategy
0.10/0.11	c timeout=2147483s
0.10/0.11	c DB Simplification allowed=false
0.10/0.11	c --- End Solver configuration ---
0.10/0.11	c solving HOME/instance-3458830-1307151748.opb
0.10/0.11	c reading problem ... 
0.61/0.30	c ... done. Wall clock time 0.186s.
0.61/0.30	c #vars     2490
0.61/0.30	c #constraints  661
0.61/0.30	c constraints type 
0.61/0.30	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 114
1.40/0.70	c SATISFIABLE
1.40/0.70	c OPTIMIZING...
1.40/0.70	c Got one! Elapsed wall clock time (in seconds):0.585
1.40/0.70	o 0
2.04/1.38	c cleaning 2665 clauses out of 5343 with flag 4001/5359
4.71/3.96	c cleaning 4334 clauses out of 8677 with flag 10000/11358
6.91/6.11	c cleaning 5671 clauses out of 11343 with flag 17000/18358
9.35/8.51	c cleaning 6836 clauses out of 13672 with flag 25000/26358
12.17/11.34	c cleaning 7916 clauses out of 15836 with flag 34000/35358
15.78/14.96	c cleaning 8958 clauses out of 17920 with flag 44000/45358
19.09/18.25	c cleaning 9480 clauses out of 18963 with flag 54001/55359
22.19/21.37	c cleaning 9739 clauses out of 19482 with flag 64000/65358
25.39/24.55	c cleaning 9869 clauses out of 19744 with flag 74001/75359
29.29/28.41	c cleaning 9938 clauses out of 19875 with flag 84001/85359
32.19/31.30	c cleaning 9967 clauses out of 19936 with flag 94000/95358
35.19/34.36	c cleaning 9983 clauses out of 19970 with flag 104001/105359
38.39/37.52	c cleaning 9993 clauses out of 19986 with flag 114000/115358
41.89/41.05	c cleaning 9993 clauses out of 19993 with flag 124000/125358
44.99/44.10	c cleaning 9997 clauses out of 20000 with flag 134000/135358
48.39/47.56	c cleaning 10001 clauses out of 20003 with flag 144000/145358
52.40/51.52	c cleaning 10002 clauses out of 20003 with flag 154001/155359
55.60/54.77	c cleaning 10000 clauses out of 20000 with flag 164000/165358
59.00/58.17	c cleaning 10001 clauses out of 20001 with flag 174001/175359
62.42/61.55	c cleaning 9994 clauses out of 19999 with flag 184000/185358
65.72/64.85	c cleaning 9997 clauses out of 20005 with flag 194000/195358
68.91/68.02	c cleaning 9998 clauses out of 20010 with flag 204002/205360
71.71/70.85	c cleaning 9999 clauses out of 20011 with flag 214001/215359
74.71/73.90	c cleaning 9999 clauses out of 20011 with flag 224000/225358
77.93/77.04	c cleaning 10000 clauses out of 20012 with flag 234000/235358
81.12/80.23	c cleaning 10001 clauses out of 20012 with flag 244000/245358
84.22/83.34	c cleaning 9999 clauses out of 20012 with flag 254001/255359
87.62/86.72	c cleaning 10000 clauses out of 20013 with flag 264001/265359
90.62/89.72	c cleaning 10002 clauses out of 20012 with flag 274000/275358
93.72/92.81	c cleaning 10001 clauses out of 20012 with flag 284002/285360
96.32/95.42	c cleaning 10001 clauses out of 20009 with flag 294000/295358
98.84/97.93	c cleaning 10004 clauses out of 20009 with flag 304001/305359
101.82/100.94	c cleaning 9996 clauses out of 20005 with flag 314001/315359
104.52/103.62	c cleaning 9999 clauses out of 20009 with flag 324001/325359
107.42/106.62	c cleaning 10002 clauses out of 20009 with flag 334000/335358
110.42/109.57	c cleaning 10002 clauses out of 20011 with flag 344004/345362
113.22/112.37	c cleaning 9998 clauses out of 20005 with flag 354000/355358
116.22/115.35	c cleaning 9997 clauses out of 20008 with flag 364001/365359
119.22/118.31	c cleaning 10002 clauses out of 20011 with flag 374001/375359
122.53/121.62	c cleaning 10002 clauses out of 20008 with flag 384000/385358
125.63/124.70	c cleaning 9998 clauses out of 20006 with flag 394000/395358
128.73/127.86	c cleaning 9994 clauses out of 20008 with flag 404000/405358
132.03/131.15	c cleaning 10000 clauses out of 20014 with flag 414000/415358
135.33/134.44	c cleaning 9998 clauses out of 20015 with flag 424001/425359
138.63/137.72	c cleaning 10005 clauses out of 20016 with flag 434000/435358
142.03/141.14	c cleaning 10004 clauses out of 20011 with flag 444000/445358
145.23/144.37	c cleaning 10000 clauses out of 20008 with flag 454001/455359
148.13/147.22	c cleaning 9997 clauses out of 20007 with flag 464000/465358
150.74/149.84	c cleaning 9999 clauses out of 20010 with flag 474000/475358
154.03/153.10	c cleaning 10000 clauses out of 20012 with flag 484001/485359
157.24/156.31	c cleaning 9998 clauses out of 20011 with flag 494000/495358
160.74/159.85	c cleaning 10001 clauses out of 20014 with flag 504001/505359
163.94/163.08	c cleaning 10000 clauses out of 20012 with flag 514000/515358
166.84/165.97	c cleaning 10001 clauses out of 20012 with flag 524000/525358
169.84/168.98	c cleaning 10002 clauses out of 20012 with flag 534001/535359
172.94/172.04	c cleaning 10000 clauses out of 20009 with flag 544000/545358
175.64/174.72	c cleaning 9998 clauses out of 20009 with flag 554000/555358
178.54/177.63	c cleaning 9999 clauses out of 20012 with flag 564001/565359
181.44/180.55	c cleaning 10000 clauses out of 20012 with flag 574000/575358
184.44/183.61	c cleaning 9999 clauses out of 20012 with flag 584000/585358
187.74/186.91	c cleaning 10004 clauses out of 20015 with flag 594002/595360
191.16/190.24	c cleaning 10001 clauses out of 20010 with flag 604001/605359
194.57/193.70	c cleaning 10001 clauses out of 20010 with flag 614002/615360
198.05/197.13	c cleaning 10001 clauses out of 20007 with flag 624000/625358
201.17/200.23	c cleaning 9998 clauses out of 20008 with flag 634002/635360
204.55/203.62	c cleaning 10000 clauses out of 20009 with flag 644001/645359
207.55/206.64	c cleaning 9998 clauses out of 20008 with flag 654000/655358
210.65/209.77	c cleaning 9999 clauses out of 20010 with flag 664000/665358
213.55/212.69	c cleaning 9998 clauses out of 20012 with flag 674001/675359
216.15/215.20	c cleaning 10000 clauses out of 20014 with flag 684001/685359
218.17/217.26	c cleaning 10000 clauses out of 20014 with flag 694001/695359
220.17/219.28	c cleaning 10003 clauses out of 20014 with flag 704001/705359
222.18/221.27	c cleaning 10004 clauses out of 20011 with flag 714001/715359
224.30/223.39	c cleaning 10002 clauses out of 20006 with flag 724000/725358
226.28/225.41	c cleaning 10000 clauses out of 20004 with flag 734000/735358
228.59/227.64	c cleaning 9999 clauses out of 20005 with flag 744001/745359
230.79/229.84	c cleaning 10000 clauses out of 20005 with flag 754000/755358
232.88/232.00	c cleaning 10000 clauses out of 20005 with flag 764000/765358
235.09/234.16	c cleaning 10001 clauses out of 20006 with flag 774001/775359
237.29/236.33	c cleaning 9997 clauses out of 20005 with flag 784001/785359
239.61/238.62	c cleaning 10001 clauses out of 20007 with flag 794000/795358
241.91/240.98	c cleaning 10002 clauses out of 20008 with flag 804002/805360
244.39/243.43	c cleaning 10002 clauses out of 20004 with flag 814000/815358
246.89/245.95	c cleaning 9998 clauses out of 20003 with flag 824001/825359
249.29/248.32	c cleaning 10002 clauses out of 20004 with flag 834000/835358
251.81/250.85	c cleaning 9996 clauses out of 20003 with flag 844001/845359
254.29/253.39	c cleaning 10002 clauses out of 20006 with flag 854000/855358
256.80/255.86	c cleaning 10003 clauses out of 20005 with flag 864001/865359
259.30/258.35	c cleaning 9998 clauses out of 20002 with flag 874001/875359
261.90/260.95	c cleaning 9995 clauses out of 20003 with flag 884000/885358
264.60/263.69	c cleaning 10000 clauses out of 20008 with flag 894000/895358
267.91/266.96	c cleaning 9998 clauses out of 20009 with flag 904001/905359
270.71/269.70	c cleaning 10001 clauses out of 20012 with flag 914002/915360
273.11/272.13	c cleaning 9995 clauses out of 20009 with flag 924000/925358
275.41/274.46	c cleaning 10001 clauses out of 20015 with flag 934001/935359
278.01/277.04	c cleaning 10001 clauses out of 20014 with flag 944001/945359
280.61/279.67	c cleaning 9999 clauses out of 20013 with flag 954001/955359
283.31/282.37	c cleaning 10000 clauses out of 20013 with flag 964000/965358
286.11/285.15	c cleaning 10002 clauses out of 20013 with flag 974000/975358
289.01/288.05	c cleaning 10003 clauses out of 20011 with flag 984000/985358
291.32/290.37	c cleaning 9999 clauses out of 20009 with flag 994001/995359
294.11/293.12	c cleaning 10002 clauses out of 20009 with flag 1004000/1005358
296.82/295.85	c cleaning 9998 clauses out of 20008 with flag 1014001/1015359
299.51/298.53	c cleaning 9997 clauses out of 20009 with flag 1024000/1025358
302.11/301.13	c cleaning 9997 clauses out of 20012 with flag 1034000/1035358
304.71/303.70	c cleaning 10004 clauses out of 20015 with flag 1044000/1045358
307.31/306.37	c cleaning 9998 clauses out of 20011 with flag 1054000/1055358
309.91/308.91	c cleaning 9999 clauses out of 20014 with flag 1064001/1065359
312.61/311.60	c cleaning 10003 clauses out of 20015 with flag 1074001/1075359
315.11/314.19	c cleaning 10001 clauses out of 20012 with flag 1084001/1085359
317.91/317.00	c cleaning 9998 clauses out of 20011 with flag 1094001/1095359
320.72/319.70	c cleaning 9996 clauses out of 20012 with flag 1104000/1105358
322.91/321.92	c cleaning 10005 clauses out of 20019 with flag 1114003/1115361
324.62/323.64	c cleaning 10003 clauses out of 20013 with flag 1124002/1125360
326.42/325.44	c cleaning 9998 clauses out of 20009 with flag 1134001/1135359
328.84/327.87	c cleaning 10000 clauses out of 20010 with flag 1144000/1145358
331.04/330.02	c cleaning 10002 clauses out of 20011 with flag 1154001/1155359
332.72/331.79	c cleaning 9999 clauses out of 20010 with flag 1164002/1165360
334.52/333.55	c cleaning 10005 clauses out of 20010 with flag 1174001/1175359
336.32/335.34	c cleaning 9994 clauses out of 20005 with flag 1184001/1185359
338.52/337.52	c cleaning 9997 clauses out of 20010 with flag 1194000/1195358
340.62/339.69	c cleaning 9999 clauses out of 20014 with flag 1204001/1205359
342.62/341.69	c cleaning 10000 clauses out of 20015 with flag 1214001/1215359
344.92/343.92	c cleaning 9999 clauses out of 20014 with flag 1224000/1225358
347.02/346.02	c cleaning 10000 clauses out of 20016 with flag 1234001/1235359
349.02/348.08	c cleaning 9998 clauses out of 20016 with flag 1244001/1245359
351.13/350.11	c cleaning 10000 clauses out of 20017 with flag 1254000/1255358
353.23/352.28	c cleaning 10001 clauses out of 20018 with flag 1264001/1265359
355.73/354.72	c cleaning 10000 clauses out of 20017 with flag 1274001/1275359
358.03/357.08	c cleaning 9998 clauses out of 20017 with flag 1284001/1285359
360.33/359.35	c cleaning 9998 clauses out of 20019 with flag 1294001/1295359
362.43/361.45	c cleaning 10005 clauses out of 20021 with flag 1304001/1305359
364.73/363.74	c cleaning 10000 clauses out of 20015 with flag 1314000/1315358
366.83/365.82	c cleaning 9996 clauses out of 20015 with flag 1324000/1325358
369.13/368.10	c cleaning 10005 clauses out of 20020 with flag 1334001/1335359
370.73/369.74	c cleaning 10004 clauses out of 20015 with flag 1344001/1345359
372.33/371.32	c cleaning 9992 clauses out of 20010 with flag 1354000/1355358
373.73/372.79	c cleaning 10003 clauses out of 20019 with flag 1364001/1365359
375.33/374.37	c cleaning 9997 clauses out of 20015 with flag 1374000/1375358
377.04/376.02	c cleaning 10005 clauses out of 20019 with flag 1384001/1385359
379.04/378.06	c cleaning 9998 clauses out of 20013 with flag 1394000/1395358
380.94/379.91	c cleaning 9997 clauses out of 20015 with flag 1404000/1405358
382.76/381.75	c cleaning 10003 clauses out of 20018 with flag 1414000/1415358
384.64/383.62	c cleaning 10001 clauses out of 20016 with flag 1424001/1425359
386.65/385.66	c cleaning 10000 clauses out of 20015 with flag 1434001/1435359
388.85/387.84	c cleaning 9997 clauses out of 20015 with flag 1444001/1445359
391.16/390.12	c cleaning 10005 clauses out of 20018 with flag 1454001/1455359
393.15/392.10	c cleaning 9999 clauses out of 20012 with flag 1464000/1465358
395.05/394.07	c cleaning 10001 clauses out of 20014 with flag 1474001/1475359
397.08/396.05	c cleaning 9999 clauses out of 20012 with flag 1484000/1485358
399.06/398.05	c cleaning 10000 clauses out of 20014 with flag 1494001/1495359
401.16/400.11	c cleaning 10001 clauses out of 20013 with flag 1504000/1505358
402.96/401.99	c cleaning 9995 clauses out of 20012 with flag 1514000/1515358
404.96/403.99	c cleaning 10000 clauses out of 20017 with flag 1524000/1525358
407.06/406.01	c cleaning 10004 clauses out of 20019 with flag 1534002/1535360
409.07/408.05	c cleaning 9998 clauses out of 20014 with flag 1544001/1545359
411.16/410.12	c cleaning 10000 clauses out of 20015 with flag 1554000/1555358
413.48/412.49	c cleaning 10000 clauses out of 20015 with flag 1564000/1565358
415.56/414.54	c cleaning 9997 clauses out of 20016 with flag 1574001/1575359
417.66/416.68	c cleaning 10002 clauses out of 20019 with flag 1584001/1585359
419.87/418.81	c cleaning 10001 clauses out of 20016 with flag 1594000/1595358
421.97/420.95	c cleaning 9998 clauses out of 20015 with flag 1604000/1605358
423.97/422.99	c cleaning 9997 clauses out of 20017 with flag 1614000/1615358
426.27/425.23	c cleaning 10000 clauses out of 20020 with flag 1624000/1625358
428.47/427.44	c cleaning 10004 clauses out of 20021 with flag 1634001/1635359
430.67/429.69	c cleaning 9999 clauses out of 20016 with flag 1644000/1645358
433.07/432.01	c cleaning 10000 clauses out of 20018 with flag 1654001/1655359
435.27/434.29	c cleaning 10001 clauses out of 20018 with flag 1664001/1665359
437.47/436.46	c cleaning 9999 clauses out of 20017 with flag 1674001/1675359
439.77/438.75	c cleaning 10001 clauses out of 20017 with flag 1684000/1685358
442.08/441.05	c cleaning 10001 clauses out of 20017 with flag 1694001/1695359
444.28/443.28	c cleaning 10001 clauses out of 20015 with flag 1704000/1705358
446.49/445.44	c cleaning 10001 clauses out of 20015 with flag 1714001/1715359
448.57/447.59	c cleaning 9996 clauses out of 20014 with flag 1724001/1725359
450.67/449.68	c cleaning 9998 clauses out of 20017 with flag 1734000/1735358
452.87/451.86	c cleaning 9996 clauses out of 20020 with flag 1744001/1745359
455.17/454.12	c cleaning 10000 clauses out of 20024 with flag 1754001/1755359
457.37/456.40	c cleaning 10001 clauses out of 20024 with flag 1764001/1765359
459.90/458.86	c cleaning 10004 clauses out of 20023 with flag 1774001/1775359
462.30/461.21	c cleaning 10000 clauses out of 20018 with flag 1784000/1785358
464.70/463.62	c cleaning 9999 clauses out of 20018 with flag 1794000/1795358
467.01/465.91	c cleaning 9999 clauses out of 20020 with flag 1804001/1805359
469.31/468.24	c cleaning 10003 clauses out of 20021 with flag 1814001/1815359
471.71/470.63	c cleaning 9999 clauses out of 20019 with flag 1824002/1825360
473.91/472.85	c cleaning 10003 clauses out of 20019 with flag 1834001/1835359
476.01/474.95	c cleaning 9999 clauses out of 20017 with flag 1844002/1845360
478.11/477.06	c cleaning 10001 clauses out of 20019 with flag 1854003/1855361
480.11/479.08	c cleaning 10001 clauses out of 20016 with flag 1864001/1865359
482.21/481.10	c cleaning 9997 clauses out of 20015 with flag 1874001/1875359
484.41/483.31	c cleaning 9999 clauses out of 20017 with flag 1884000/1885358
486.51/485.48	c cleaning 10000 clauses out of 20018 with flag 1894000/1895358
488.71/487.66	c cleaning 10003 clauses out of 20019 with flag 1904001/1905359
490.81/489.79	c cleaning 9997 clauses out of 20015 with flag 1914000/1915358
493.12/492.01	c cleaning 10002 clauses out of 20019 with flag 1924001/1925359
495.22/494.14	c cleaning 9997 clauses out of 20016 with flag 1934000/1935358
497.32/496.22	c cleaning 10004 clauses out of 20021 with flag 1944002/1945360
499.44/498.34	c cleaning 10001 clauses out of 20015 with flag 1954000/1955358
501.42/500.35	c cleaning 9999 clauses out of 20014 with flag 1964000/1965358
503.62/502.51	c cleaning 10000 clauses out of 20016 with flag 1974001/1975359
505.62/504.55	c cleaning 10001 clauses out of 20017 with flag 1984002/1985360
507.72/506.65	c cleaning 10001 clauses out of 20014 with flag 1994000/1995358
508.92/507.86	c cleaning 10004 clauses out of 20013 with flag 2004000/2005358
509.93/508.89	c cleaning 9999 clauses out of 20010 with flag 2014001/2015359
511.33/510.27	c cleaning 9997 clauses out of 20010 with flag 2024000/2025358
512.55/511.43	c cleaning 9998 clauses out of 20013 with flag 2034000/2035358
513.65/512.56	c cleaning 10004 clauses out of 20015 with flag 2044000/2045358
514.75/513.69	c cleaning 9996 clauses out of 20011 with flag 2054000/2055358
516.14/515.08	c cleaning 10002 clauses out of 20015 with flag 2064000/2065358
517.44/516.32	c cleaning 10000 clauses out of 20013 with flag 2074000/2075358
518.54/517.44	c cleaning 10001 clauses out of 20014 with flag 2084001/2085359
519.64/518.59	c cleaning 9997 clauses out of 20012 with flag 2094000/2095358
520.74/519.70	c cleaning 10000 clauses out of 20015 with flag 2104000/2105358
521.84/520.75	c cleaning 10002 clauses out of 20016 with flag 2114001/2115359
522.95/521.83	c cleaning 10001 clauses out of 20013 with flag 2124000/2125358
524.05/522.93	c cleaning 9998 clauses out of 20012 with flag 2134000/2135358
525.26/524.12	c cleaning 10000 clauses out of 20014 with flag 2144000/2145358
526.46/525.34	c cleaning 10005 clauses out of 20015 with flag 2154001/2155359
527.46/526.35	c cleaning 10000 clauses out of 20010 with flag 2164001/2165359
528.46/527.40	c cleaning 10000 clauses out of 20009 with flag 2174000/2175358
529.67/528.53	c cleaning 10003 clauses out of 20009 with flag 2184000/2185358
530.97/529.83	c cleaning 9997 clauses out of 20006 with flag 2194001/2195359
532.27/531.13	c cleaning 9997 clauses out of 20009 with flag 2204001/2205359
533.49/532.36	c cleaning 10001 clauses out of 20011 with flag 2214000/2215358
534.87/533.74	c cleaning 10000 clauses out of 20011 with flag 2224001/2225359
536.18/535.05	c cleaning 10001 clauses out of 20010 with flag 2234000/2235358
537.28/536.18	c cleaning 10001 clauses out of 20009 with flag 2244000/2245358
538.48/537.37	c cleaning 9998 clauses out of 20008 with flag 2254000/2255358
539.78/538.63	c cleaning 10002 clauses out of 20010 with flag 2264000/2265358
541.08/539.94	c cleaning 10002 clauses out of 20009 with flag 2274001/2275359
542.40/541.29	c cleaning 10001 clauses out of 20006 with flag 2284000/2285358
543.68/542.54	c cleaning 10003 clauses out of 20005 with flag 2294000/2295358
544.78/543.66	c cleaning 9999 clauses out of 20002 with flag 2304000/2305358
546.28/545.11	c cleaning 10000 clauses out of 20003 with flag 2314001/2315359
547.68/546.52	c cleaning 9998 clauses out of 20003 with flag 2324001/2325359
549.08/547.91	c cleaning 10002 clauses out of 20005 with flag 2334001/2335359
550.48/549.38	c cleaning 9996 clauses out of 20002 with flag 2344001/2345359
551.98/550.84	c cleaning 9997 clauses out of 20004 with flag 2354000/2355358
553.48/552.36	c cleaning 10000 clauses out of 20006 with flag 2364000/2365358
554.68/553.57	c starts		: 229
554.68/553.57	c conflicts		: 2372954
554.68/553.57	c decisions		: 2394150
554.68/553.57	c propagations		: 30662309
554.68/553.57	c inspects		: 1799226231
554.68/553.57	c shortcuts		: 0
554.68/553.57	c learnt literals	: 27
554.68/553.57	c learnt binary clauses	: 129
554.68/553.57	c learnt ternary clauses	: 613
554.68/553.57	c learnt constraints	: 2372926
554.68/553.57	c ignored constraints	: 0
554.68/553.57	c root simplifications	: 0
554.68/553.57	c removed literals (reason simplification)	: 92606654
554.68/553.57	c reason swapping (by a shorter reason)	: 0
554.68/553.57	c Calls to reduceDB	: 238
554.68/553.57	c number of reductions to clauses (during analyze)	: 0
554.68/553.57	c number of learned constraints concerned by reduction	: 0
554.68/553.57	c number of learning phase by resolution	: 0
554.68/553.57	c number of learning phase by cutting planes	: 0
554.68/553.57	c speed (assignments/second)	: 55460.05042758541
554.68/553.57	c non guided choices	124
554.68/553.57	c learnt constraints type 
554.68/553.57	c constraints type 
554.68/553.57	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 114
554.68/553.57	s OPTIMUM FOUND
554.68/553.58	v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 
554.68/553.58	c objective function=0
554.68/553.58	c Total wall clock time (in seconds): 553.469

Verifier Data 

OK	0

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

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

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


[startup+0 s]
/proc/loadavg: 2.07 2.06 2.01 3/593 28904
/proc/meminfo: memFree=23083612/32951124 swapFree=58940260/67111528
[pid=28904] ppid=28902 vsize=13526316 CPUtime=0 cores=0,2,4,6
/proc/28904/stat : 28904 (java) S 28902 28904 26823 0 -1 4202496 4706 0 1 0 0 0 0 0 25 0 2 0 826772526 13850947584 4407 33554432000 1073741824 1073778376 140737287255456 18446744073709551615 212699477989 0 0 0 16784584 18446744073709551615 0 0 17 2 0 0 0
/proc/28904/statm: 3381579 4419 917 9 0 3372735 0
[pid=28904/tid=28905] ppid=28902 vsize=13526316 CPUtime=0 cores=0,2,4,6
/proc/28904/task/28905/stat : 28905 (java) R 28902 28904 26823 0 -1 4202560 6902 0 1 0 0 0 0 0 25 0 2 0 826772527 13850947584 7719 33554432000 1073741824 1073778376 140737287255456 18446744073709551615 212687369275 0 4 0 16784584 0 0 0 -1 2 0 0 0

[startup+0.071732 s]
/proc/loadavg: 2.07 2.06 2.01 3/593 28904
/proc/meminfo: memFree=23083612/32951124 swapFree=58940260/67111528
[pid=28904] ppid=28902 vsize=13554952 CPUtime=0.05 cores=0,2,4,6
/proc/28904/stat : 28904 (java) S 28902 28904 26823 0 -1 4202496 14239 0 1 0 4 1 0 0 25 0 18 0 826772526 13880270848 13935 33554432000 1073741824 1073778376 140737287255456 18446744073709551615 212699477989 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/28904/statm: 3388738 13935 1740 9 0 3379472 0
[pid=28904/tid=28905] ppid=28902 vsize=13554952 CPUtime=0.05 cores=0,2,4,6
/proc/28904/task/28905/stat : 28905 (java) R 28902 28904 26823 0 -1 4202560 13064 0 1 0 4 1 0 0 25 0 18 0 826772527 13880270848 13935 33554432000 1073741824 1073778376 140737287255456 18446744073709551615 46912505164205 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 13554952

[startup+0.100724 s]
/proc/loadavg: 2.07 2.06 2.01 3/593 28904
/proc/meminfo: memFree=23083612/32951124 swapFree=58940260/67111528
[pid=28904] ppid=28902 vsize=13621664 CPUtime=0.1 cores=0,2,4,6
/proc/28904/stat : 28904 (java) S 28902 28904 26823 0 -1 4202496 15493 0 1 0 8 2 0 0 25 0 18 0 826772526 13948583936 15163 33554432000 1073741824 1073778376 140737287255456 18446744073709551615 212699477989 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/28904/statm: 3405416 15164 2092 9 0 3396150 0
[pid=28904/tid=28905] ppid=28902 vsize=13621664 CPUtime=0.08 cores=0,2,4,6
/proc/28904/task/28905/stat : 28905 (java) R 28902 28904 26823 0 -1 4202560 13543 0 1 0 7 1 0 0 25 0 18 0 826772527 13948583936 15165 33554432000 1073741824 1073778376 140737287255456 18446744073709551615 47495542633219 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 13621664

[startup+0.300674 s]
/proc/loadavg: 2.07 2.06 2.01 3/593 28904
/proc/meminfo: memFree=23083612/32951124 swapFree=58940260/67111528
[pid=28904] ppid=28902 vsize=13623760 CPUtime=0.61 cores=0,2,4,6
/proc/28904/stat : 28904 (java) S 28902 28904 26823 0 -1 4202496 20812 0 1 0 58 3 0 0 25 0 18 0 826772526 13950730240 19676 33554432000 1073741824 1073778376 140737287255456 18446744073709551615 212699477989 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/28904/statm: 3405940 19678 2211 9 0 3396674 0
[pid=28904/tid=28905] ppid=28902 vsize=13623760 CPUtime=0.27 cores=0,2,4,6
/proc/28904/task/28905/stat : 28905 (java) R 28902 28904 26823 0 -1 4202560 16695 0 1 0 26 1 0 0 25 0 18 0 826772527 13950730240 19679 33554432000 1073741824 1073778376 140737287255456 18446744073709551615 47495547128628 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.61
Current children cumulated vsize (KiB) 13623760

[startup+0.700633 s]
/proc/loadavg: 2.07 2.06 2.01 3/593 28904
/proc/meminfo: memFree=23083612/32951124 swapFree=58940260/67111528
[pid=28904] ppid=28902 vsize=13624980 CPUtime=1.4 cores=0,2,4,6
/proc/28904/stat : 28904 (java) S 28902 28904 26823 0 -1 4202496 24305 0 1 0 137 3 0 0 25 0 19 0 826772526 13951979520 21247 33554432000 1073741824 1073778376 140737287255456 18446744073709551615 212699477989 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/28904/statm: 3406245 21247 2222 9 0 3396979 0
[pid=28904/tid=28905] ppid=28902 vsize=13624980 CPUtime=0.67 cores=0,2,4,6
/proc/28904/task/28905/stat : 28905 (java) R 28902 28904 26823 0 -1 4202560 16905 0 1 0 66 1 0 0 25 0 19 0 826772527 13951979520 21247 33554432000 1073741824 1073778376 140737287255456 18446744073709551615 46912505831278 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1.4
Current children cumulated vsize (KiB) 13624980

[startup+1.50151 s]
/proc/loadavg: 2.22 2.09 2.02 3/612 28923
/proc/meminfo: memFree=23004600/32951124 swapFree=58940260/67111528
[pid=28904] ppid=28902 vsize=13625440 CPUtime=2.29 cores=0,2,4,6
/proc/28904/stat : 28904 (java) S 28902 28904 26823 0 -1 4202496 25773 0 1 0 226 3 0 0 25 0 19 0 826772526 13952450560 22711 33554432000 1073741824 1073778376 140737287255456 18446744073709551615 212699477989 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/28904/statm: 3406360 22711 2253 9 0 3397094 0
[pid=28904/tid=28905] ppid=28902 vsize=13625440 CPUtime=1.46 cores=0,2,4,6
/proc/28904/task/28905/stat : 28905 (java) R 28902 28904 26823 0 -1 4202560 17297 0 1 0 145 1 0 0 25 0 19 0 826772527 13952450560 22711 33554432000 1073741824 1073778376 140737287255456 18446744073709551615 46912505783360 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=28904/tid=28907] ppid=28902 vsize=13625440 CPUtime=0 cores=0,2,4,6
/proc/28904/task/28907/stat : 28907 (java) S 28902 28904 26823 0 -1 4202560 247 0 0 0 0 0 0 0 18 0 19 0 826772529 13952450560 22711 33554432000 1073741824 1073778376 140737287255456 18446744073709551615 212699491225 0 4 0 16800975 18446604447070472000 0 0 -1 6 0 0 0
[pid=28904/tid=28908] ppid=28902 vsize=13625440 CPUtime=0 cores=0,2,4,6
/proc/28904/task/28908/stat : 28908 (java) S 28902 28904 26823 0 -1 4202560 231 0 0 0 0 0 0 0 18 0 19 0 826772529 13952450560 22711 33554432000 1073741824 1073778376 140737287255456 18446744073709551615 212699491225 0 4 0 16800975 18446604447070472000 0 0 -1 6 0 0 0
[pid=28904/tid=28909] ppid=28902 vsize=13625440 CPUtime=0 cores=0,2,4,6
/proc/28904/task/28909/stat : 28909 (java) S 28902 28904 26823 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 826772529 13952450560 22711 33554432000 1073741824 1073778376 140737287255456 18446744073709551615 212699491225 0 4 0 16800975 18446604447070472000 0 0 -1 6 0 0 0
[pid=28904/tid=28910] ppid=28902 vsize=13625440 CPUtime=0 cores=0,2,4,6
/proc/28904/task/28910/stat : 28910 (java) S 28902 28904 26823 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 826772529 13952450560 22711 33554432000 1073741824 1073778376 140737287255456 18446744073709551615 212699491225 0 4 0 16800975 18446604447070472000 0 0 -1 6 0 0 0
[pid=28904/tid=28911] ppid=28902 vsize=13625440 CPUtime=0 cores=0,2,4,6
/proc/28904/task/28911/stat : 28911 (java) S 28902 28904 26823 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 826772529 13952450560 22711 33554432000 1073741824 1073778376 140737287255456 18446744073709551615 212699491225 0 4 0 16800975 18446604447070472000 0 0 -1 6 0 0 0
[pid=28904/tid=28912] ppid=28902 vsize=13625440 CPUtime=0 cores=0,2,4,6
/proc/28904/task/28912/stat : 28912 (java) S 28902 28904 26823 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 826772529 13952450560 22711 33554432000 1073741824 1073778376 140737287255456 18446744073709551615 212699491225 0 4 0 16800975 18446604447070472000 0 0 -1 6 0 0 0
[pid=28904/tid=28913] ppid=28902 vsize=13625440 CPUtime=0 cores=0,2,4,6
/proc/28904/task/28913/stat : 28913 (java) S 28902 28904 26823 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 826772529 13952450560 22711 33554432000 1073741824 1073778376 140737287255456 18446744073709551615 212699491225 0 4 0 16800975 18446604447070472000 0 0 -1 6 0 0 0
[pid=28904/tid=28914] ppid=28902 vsize=13625440 CPUtime=0 cores=0,2,4,6
/proc/28904/task/28914/stat : 28914 (java) S 28902 28904 26823 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 826772529 13952450560 22711 33554432000 1073741824 1073778376 140737287255456 18446744073709551615 212699491225 0 4 0 16800975 18446604447070472000 0 0 -1 6 0 0 0
[pid=28904/tid=28915] ppid=28902 vsize=13625440 CPUtime=0.01 cores=0,2,4,6
/proc/28904/task/28915/stat : 28915 (java) S 28902 28904 26823 0 -1 4202560 476 0 0 0 1 0 0 0 16 0 19 0 826772530 13952450560 22711 33554432000 1073741824 1073778376 140737287255456 18446744073709551615 212699491840 0 0 0 16800975 18446604447070472000 0 0 -1 2 0 0 0
[pid=28904/tid=28916] ppid=28902 vsize=13625440 CPUtime=0 cores=0,2,4,6
/proc/28904/task/28916/stat : 28916 (java) S 28902 28904 26823 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 826772530 13952450560 22711 33554432000 1073741824 1073778376 140737287255456 18446744073709551615 212699491225 0 4 0 16800975 18446604447070472000 0 0 -1 2 0 0 0
[pid=28904/tid=28917] ppid=28902 vsize=13625440 CPUtime=0 cores=0,2,4,6
/proc/28904/task/28917/stat : 28917 (java) S 28902 28904 26823 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 826772530 13952450560 22711 33554432000 1073741824 1073778376 140737287255456 18446744073709551615 212699491225 0 4 0 16800975 18446604447070472000 0 0 -1 2 0 0 0
[pid=28904/tid=28918] ppid=28902 vsize=13625440 CPUtime=0 cores=0,2,4,6
/proc/28904/task/28918/stat : 28918 (java) S 28902 28904 26823 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826772533 13952450560 22711 33554432000 1073741824 1073778376 140737287255456 18446744073709551615 212699498929 0 4 0 16800975 18446604447070472000 0 0 -1 2 0 0 0
[pid=28904/tid=28919] ppid=28902 vsize=13625440 CPUtime=0.4 cores=0,2,4,6
/proc/28904/task/28919/stat : 28919 (java) S 28902 28904 26823 0 -1 4202560 3247 0 0 0 40 0 0 0 18 0 19 0 826772533 13952450560 22711 33554432000 1073741824 1073778376 140737287255456 18446744073709551615 212699491225 0 4 0 16800975 18446604447070472000 0 0 -1 6 0 0 0
[pid=28904/tid=28920] ppid=28902 vsize=13625440 CPUtime=0.38 cores=0,2,4,6
/proc/28904/task/28920/stat : 28920 (java) S 28902 28904 26823 0 -1 4202560 3118 0 0 0 38 0 0 0 17 0 19 0 826772533 13952450560 22711 33554432000 1073741824 1073778376 140737287255456 18446744073709551615 212699491225 0 4 0 16800975 18446604447070472000 0 0 -1 4 0 0 0
[pid=28904/tid=28921] ppid=28902 vsize=13625440 CPUtime=0 cores=0,2,4,6
/proc/28904/task/28921/stat : 28921 (java) S 28902 28904 26823 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826772533 13952450560 22711 33554432000 1073741824 1073778376 140737287255456 18446744073709551615 212699491225 0 4 0 16800975 18446604447070472000 0 0 -1 2 0 0 0
[pid=28904/tid=28922] ppid=28902 vsize=13625440 CPUtime=0 cores=0,2,4,6
/proc/28904/task/28922/stat : 28922 (java) S 28902 28904 26823 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 826772533 13952450560 22711 33554432000 1073741824 1073778376 140737287255456 18446744073709551615 212699491840 0 4 0 16800975 18446604447070472000 0 0 -1 4 0 0 0
[pid=28904/tid=28923] ppid=28902 vsize=13625440 CPUtime=0 cores=0,2,4,6
/proc/28904/task/28923/stat : 28923 (java) S 28902 28904 26823 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 826772560 13952450560 22711 33554432000 1073741824 1073778376 140737287255456 18446744073709551615 212699491840 0 4 0 16800975 18446604447070472000 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2.29
Current children cumulated vsize (KiB) 13625440

[startup+3.1012 s]
/proc/loadavg: 2.22 2.09 2.02 3/612 28923
/proc/meminfo: memFree=22998896/32951124 swapFree=58940260/67111528
[pid=28904] ppid=28902 vsize=13625440 CPUtime=3.89 cores=0,2,4,6
/proc/28904/stat : 28904 (java) S 28902 28904 26823 0 -1 4202496 25773 0 1 0 386 3 0 0 25 0 19 0 826772526 13952450560 22711 33554432000 1073741824 1073778376 140737287255456 18446744073709551615 212699477989 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/28904/statm: 3406360 22711 2253 9 0 3397094 0
[pid=28904/tid=28905] ppid=28902 vsize=13625440 CPUtime=3.06 cores=0,2,4,6
/proc/28904/task/28905/stat : 28905 (java) R 28902 28904 26823 0 -1 4202560 17297 0 1 0 305 1 0 0 25 0 19 0 826772527 13952450560 22711 33554432000 1073741824 1073778376 140737287255456 18446744073709551615 46912505636661 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=28904/tid=28907] ppid=28902 vsize=13625440 CPUtime=0 cores=0,2,4,6
/proc/28904/task/28907/stat : 28907 (java) S 28902 28904 26823 0 -1 4202560 247 0 0 0 0 0 0 0 18 0 19 0 826772529 13952450560 22711 33554432000 1073741824 1073778376 140737287255456 18446744073709551615 212699491225 0 4 0 16800975 18446604447070472000 0 0 -1 6 0 0 0
[pid=28904/tid=28908] ppid=28902 vsize=13625440 CPUtime=0 cores=0,2,4,6
/proc/28904/task/28908/stat : 28908 (java) S 28902 28904 26823 0 -1 4202560 231 0 0 0 0 0 0 0 18 0 19 0 826772529 13952450560 22711 33554432000 1073741824 1073778376 140737287255456 18446744073709551615 212699491225 0 4 0 16800975 18446604447070472000 0 0 -1 6 0 0 0
[pid=28904/tid=28909] ppid=28902 vsize=13625440 CPUtime=0 cores=0,2,4,6
/proc/28904/task/28909/stat : 28909 (java) S 28902 28904 26823 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 826772529 13952450560 22711 33554432000 1073741824 1073778376 140737287255456 18446744073709551615 212699491225 0 4 0 16800975 18446604447070472000 0 0 -1 6 0 0 0
[pid=28904/tid=28910] ppid=28902 vsize=13625440 CPUtime=0 cores=0,2,4,6
/proc/28904/task/28910/stat : 28910 (java) S 28902 28904 26823 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 826772529 13952450560 22711 33554432000 1073741824 1073778376 140737287255456 18446744073709551615 212699491225 0 4 0 16800975 18446604447070472000 0 0 -1 6 0 0 0
[pid=28904/tid=28911] ppid=28902 vsize=13625440 CPUtime=0 cores=0,2,4,6
/proc/28904/task/28911/stat : 28911 (java) S 28902 28904 26823 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 826772529 13952450560 22711 33554432000 1073741824 1073778376 140737287255456 18446744073709551615 212699491225 0 4 0 16800975 18446604447070472000 0 0 -1 6 0 0 0
[pid=28904/tid=28912] ppid=28902 vsize=13625440 CPUtime=0 cores=0,2,4,6
/proc/28904/task/28912/stat : 28912 (java) S 28902 28904 26823 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 826772529 13952450560 22711 33554432000 1073741824 1073778376 140737287255456 18446744073709551615 212699491225 0 4 0 16800975 18446604447070472000 0 0 -1 6 0 0 0
[pid=28904/tid=28913] ppid=28902 vsize=13625440 CPUtime=0 cores=0,2,4,6
/proc/28904/task/28913/stat : 28913 (java) S 28902 28904 26823 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 826772529 13952450560 22711 33554432000 1073741824 1073778376 140737287255456 18446744073709551615 212699491225 0 4 0 16800975 18446604447070472000 0 0 -1 6 0 0 0
[pid=28904/tid=28914] ppid=28902 vsize=13625440 CPUtime=0 cores=0,2,4,6
/proc/28904/task/28914/stat : 28914 (java) S 28902 28904 26823 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 826772529 13952450560 22711 33554432000 1073741824 1073778376 140737287255456 18446744073709551615 212699491225 0 4 0 16800975 18446604447070472000 0 0 -1 6 0 0 0
[pid=28904/tid=28915] ppid=28902 vsize=13625440 CPUtime=0.01 cores=0,2,4,6
/proc/28904/task/28915/stat : 28915 (java) S 28902 28904 26823 0 -1 4202560 476 0 0 0 1 0 0 0 15 0 19 0 826772530 13952450560 22711 33554432000 1073741824 1073778376 140737287255456 18446744073709551615 212699491840 0 0 0 16800975 18446604447070472000 0 0 -1 2 0 0 0
[pid=28904/tid=28916] ppid=28902 vsize=13625440 CPUtime=0 cores=0,2,4,6
/proc/28904/task/28916/stat : 28916 (java) S 28902 28904 26823 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 826772530 13952450560 22711 33554432000 1073741824 1073778376 140737287255456 18446744073709551615 212699491225 0 4 0 16800975 18446604447070472000 0 0 -1 2 0 0 0
[pid=28904/tid=28917] ppid=28902 vsize=13625440 CPUtime=0 cores=0,2,4,6
/proc/28904/task/28917/stat : 28917 (java) S 28902 28904 26823 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 826772530 13952450560 22711 33554432000 1073741824 1073778376 140737287255456 18446744073709551615 212699491225 0 4 0 16800975 18446604447070472000 0 0 -1 2 0 0 0
[pid=28904/tid=28918] ppid=28902 vsize=13625440 CPUtime=0 cores=0,2,4,6
/proc/28904/task/28918/stat : 28918 (java) S 28902 28904 26823 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826772533 13952450560 22711 33554432000 1073741824 1073778376 140737287255456 18446744073709551615 212699498929 0 4 0 16800975 18446604447070472000 0 0 -1 2 0 0 0
[pid=28904/tid=28919] ppid=28902 vsize=13625440 CPUtime=0.4 cores=0,2,4,6
/proc/28904/task/28919/stat : 28919 (java) S 28902 28904 26823 0 -1 4202560 3247 0 0 0 40 0 0 0 18 0 19 0 826772533 13952450560 22711 33554432000 1073741824 1073778376 140737287255456 18446744073709551615 212699491225 0 4 0 16800975 18446604447070472000 0 0 -1 6 0 0 0
[pid=28904/tid=28920] ppid=28902 vsize=13625440 CPUtime=0.38 cores=0,2,4,6
/proc/28904/task/28920/stat : 28920 (java) S 28902 28904 26823 0 -1 4202560 3118 0 0 0 38 0 0 0 15 0 19 0 826772533 13952450560 22711 33554432000 1073741824 1073778376 140737287255456 18446744073709551615 212699491225 0 4 0 16800975 18446604447070472000 0 0 -1 4 0 0 0
[pid=28904/tid=28921] ppid=28902 vsize=13625440 CPUtime=0 cores=0,2,4,6
/proc/28904/task/28921/stat : 28921 (java) S 28902 28904 26823 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826772533 13952450560 22711 33554432000 1073741824 1073778376 140737287255456 18446744073709551615 212699491225 0 4 0 16800975 18446604447070472000 0 0 -1 2 0 0 0
[pid=28904/tid=28922] ppid=28902 vsize=13625440 CPUtime=0 cores=0,2,4,6
/proc/28904/task/28922/stat : 28922 (java) S 28902 28904 26823 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 826772533 13952450560 22711 33554432000 1073741824 1073778376 140737287255456 18446744073709551615 212699491840 0 4 0 16800975 18446604447070472000 0 0 -1 4 0 0 0
[pid=28904/tid=28923] ppid=28902 vsize=13625440 CPUtime=0 cores=0,2,4,6
/proc/28904/task/28923/stat : 28923 (java) S 28902 28904 26823 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 826772560 13952450560 22711 33554432000 1073741824 1073778376 140737287255456 18446744073709551615 212699491840 0 4 0 16800975 18446604447070472000 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3.89
Current children cumulated vsize (KiB) 13625440

[startup+6.30162 s]
/proc/loadavg: 2.22 2.09 2.02 3/612 28923
/proc/meminfo: memFree=22997156/32951124 swapFree=58940260/67111528
[pid=28904] ppid=28902 vsize=13625440 CPUtime=7.12 cores=0,2,4,6
/proc/28904/stat : 28904 (java) S 28902 28904 26823 0 -1 4202496 26652 0 1 0 709 3 0 0 25 0 19 0 826772526 13952450560 23141 33554432000 1073741824 1073778376 140737287255456 18446744073709551615 212699477989 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/28904/statm: 3406360 23141 2253 9 0 3397094 0
[pid=28904/tid=28905] ppid=28902 vsize=13625440 CPUtime=6.22 cores=0,2,4,6
/proc/28904/task/28905/stat : 28905 (java) R 28902 28904 26823 0 -1 4202560 17301 0 1 0 621 1 0 0 25 0 19 0 826772527 13952450560 23141 33554432000 1073741824 1073778376 140737287255456 18446744073709551615 46912505698529 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=28904/tid=28907] ppid=28902 vsize=13625440 CPUtime=0 cores=0,2,4,6
/proc/28904/task/28907/stat : 28907 (java) S 28902 28904 26823 0 -1 4202560 247 0 0 0 0 0 0 0 16 0 19 0 826772529 13952450560 23141 33554432000 1073741824 1073778376 140737287255456 18446744073709551615 212699491225 0 4 0 16800975 18446604447070472000 0 0 -1 6 0 0 0
[pid=28904/tid=28908] ppid=28902 vsize=13625440 CPUtime=0 cores=0,2,4,6
/proc/28904/task/28908/stat : 28908 (java) S 28902 28904 26823 0 -1 4202560 231 0 0 0 0 0 0 0 15 0 19 0 826772529 13952450560 23141 33554432000 1073741824 1073778376 140737287255456 18446744073709551615 212699491225 0 4 0 16800975 18446604447070472000 0 0 -1 6 0 0 0
[pid=28904/tid=28909] ppid=28902 vsize=13625440 CPUtime=0 cores=0,2,4,6
/proc/28904/task/28909/stat : 28909 (java) S 28902 28904 26823 0 -1 4202560 168 0 0 0 0 0 0 0 15 0 19 0 826772529 13952450560 23141 33554432000 1073741824 1073778376 140737287255456 18446744073709551615 212699491225 0 4 0 16800975 18446604447070472000 0 0 -1 6 0 0 0
[pid=28904/tid=28910] ppid=28902 vsize=13625440 CPUtime=0 cores=0,2,4,6
/proc/28904/task/28910/stat : 28910 (java) S 28902 28904 26823 0 -1 4202560 1 0 0 0 0 0 0 0 16 0 19 0 826772529 13952450560 23141 33554432000 1073741824 1073778376 140737287255456 18446744073709551615 212699491225 0 4 0 16800975 18446604447070472000 0 0 -1 6 0 0 0
[pid=28904/tid=28911] ppid=28902 vsize=13625440 CPUtime=0 cores=0,2,4,6
/proc/28904/task/28911/stat : 28911 (java) S 28902 28904 26823 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 19 0 826772529 13952450560 23141 33554432000 1073741824 1073778376 140737287255456 18446744073709551615 212699491225 0 4 0 16800975 18446604447070472000 0 0 -1 6 0 0 0
[pid=28904/tid=28912] ppid=28902 vsize=13625440 CPUtime=0 cores=0,2,4,6
/proc/28904/task/28912/stat : 28912 (java) S 28902 28904 26823 0 -1 4202560 7 0 0 0 0 0 0 0 15 0 19 0 826772529 13952450560 23141 33554432000 1073741824 1073778376 140737287255456 18446744073709551615 212699491225 0 4 0 16800975 18446604447070472000 0 0 -1 6 0 0 0
[pid=28904/tid=28913] ppid=28902 vsize=13625440 CPUtime=0 cores=0,2,4,6
/proc/28904/task/28913/stat : 28913 (java) S 28902 28904 26823 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 826772529 13952450560 23141 33554432000 1073741824 1073778376 140737287255456 18446744073709551615 212699491225 0 4 0 16800975 18446604447070472000 0 0 -1 6 0 0 0
[pid=28904/tid=28914] ppid=28902 vsize=13625440 CPUtime=0 cores=0,2,4,6
/proc/28904/task/28914/stat : 28914 (java) S 28902 28904 26823 0 -1 4202560 366 0 0 0 0 0 0 0 15 0 19 0 826772529 13952450560 23141 33554432000 1073741824 1073778376 140737287255456 18446744073709551615 212699491225 0 4 0 16800975 18446604447070472000 0 0 -1 6 0 0 0
[pid=28904/tid=28915] ppid=28902 vsize=13625440 CPUtime=0.04 cores=0,2,4,6
/proc/28904/task/28915/stat : 28915 (java) S 28902 28904 26823 0 -1 4202560 808 0 0 0 4 0 0 0 16 0 19 0 826772530 13952450560 23141 33554432000 1073741824 1073778376 140737287255456 18446744073709551615 212699491840 0 0 0 16800975 18446604447070472000 0 0 -1 2 0 0 0
[pid=28904/tid=28916] ppid=28902 vsize=13625440 CPUtime=0 cores=0,2,4,6
/proc/28904/task/28916/stat : 28916 (java) S 28902 28904 26823 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 826772530 13952450560 23141 33554432000 1073741824 1073778376 140737287255456 18446744073709551615 212699491225 0 4 0 16800975 18446604447070472000 0 0 -1 2 0 0 0
[pid=28904/tid=28917] ppid=28902 vsize=13625440 CPUtime=0 cores=0,2,4,6
/proc/28904/task/28917/stat : 28917 (java) S 28902 28904 26823 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 826772530 13952450560 23141 33554432000 1073741824 1073778376 140737287255456 18446744073709551615 212699491225 0 4 0 16800975 18446604447070472000 0 0 -1 2 0 0 0
[pid=28904/tid=28918] ppid=28902 vsize=13625440 CPUtime=0 cores=0,2,4,6
/proc/28904/task/28918/stat : 28918 (java) S 28902 28904 26823 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826772533 13952450560 23141 33554432000 1073741824 1073778376 140737287255456 18446744073709551615 212699498929 0 4 0 16800975 18446604447070472000 0 0 -1 2 0 0 0
[pid=28904/tid=28919] ppid=28902 vsize=13625440 CPUtime=0.41 cores=0,2,4,6
/proc/28904/task/28919/stat : 28919 (java) S 28902 28904 26823 0 -1 4202560 3247 0 0 0 41 0 0 0 15 0 19 0 826772533 13952450560 23141 33554432000 1073741824 1073778376 140737287255456 18446744073709551615 212699491225 0 4 0 16800975 18446604447070472000 0 0 -1 6 0 0 0
[pid=28904/tid=28920] ppid=28902 vsize=13625440 CPUtime=0.4 cores=0,2,4,6
/proc/28904/task/28920/stat : 28920 (java) S 28902 28904 26823 0 -1 4202560 3121 0 0 0 40 0 0 0 15 0 19 0 826772533 13952450560 23141 33554432000 1073741824 1073778376 140737287255456 18446744073709551615 212699491225 0 4 0 16800975 18446604447070472000 0 0 -1 4 0 0 0

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

[pid=28904/tid=28913] ppid=28902 vsize=13625312 CPUtime=0.07 cores=0,2,4,6
/proc/28904/task/28913/stat : 28913 (java) S 28902 28904 26823 0 -1 4202560 23 0 0 0 7 0 0 0 15 0 19 0 826772529 13952319488 24834 33554432000 1073741824 1073778376 140737287255456 18446744073709551615 212699491225 0 4 0 16800975 18446604447070472000 0 0 -1 6 0 0 0
[pid=28904/tid=28914] ppid=28902 vsize=13625312 CPUtime=0.1 cores=0,2,4,6
/proc/28904/task/28914/stat : 28914 (java) S 28902 28904 26823 0 -1 4202560 460 0 0 0 10 0 0 0 16 0 19 0 826772529 13952319488 24834 33554432000 1073741824 1073778376 140737287255456 18446744073709551615 212699491225 0 4 0 16800975 18446604447070472000 0 0 -1 6 0 0 0
[pid=28904/tid=28915] ppid=28902 vsize=13625312 CPUtime=4.16 cores=0,2,4,6
/proc/28904/task/28915/stat : 28915 (java) S 28902 28904 26823 0 -1 4202560 2200 0 0 0 414 2 0 0 15 0 19 0 826772530 13952319488 24834 33554432000 1073741824 1073778376 140737287255456 18446744073709551615 212699491840 0 0 0 16800975 18446604447070472000 0 0 -1 2 0 0 0
[pid=28904/tid=28916] ppid=28902 vsize=13625312 CPUtime=0 cores=0,2,4,6
/proc/28904/task/28916/stat : 28916 (java) S 28902 28904 26823 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 826772530 13952319488 24834 33554432000 1073741824 1073778376 140737287255456 18446744073709551615 212699491225 0 4 0 16800975 18446604447070472000 0 0 -1 2 0 0 0
[pid=28904/tid=28917] ppid=28902 vsize=13625312 CPUtime=0 cores=0,2,4,6
/proc/28904/task/28917/stat : 28917 (java) S 28902 28904 26823 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 826772530 13952319488 24834 33554432000 1073741824 1073778376 140737287255456 18446744073709551615 212699491225 0 4 0 16800975 18446604447070472000 0 0 -1 2 0 0 0
[pid=28904/tid=28918] ppid=28902 vsize=13625312 CPUtime=0 cores=0,2,4,6
/proc/28904/task/28918/stat : 28918 (java) S 28902 28904 26823 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826772533 13952319488 24834 33554432000 1073741824 1073778376 140737287255456 18446744073709551615 212699498929 0 4 0 16800975 18446604447070472000 0 0 -1 2 0 0 0
[pid=28904/tid=28919] ppid=28902 vsize=13625312 CPUtime=0.45 cores=0,2,4,6
/proc/28904/task/28919/stat : 28919 (java) S 28902 28904 26823 0 -1 4202560 3253 0 0 0 45 0 0 0 15 0 19 0 826772533 13952319488 24834 33554432000 1073741824 1073778376 140737287255456 18446744073709551615 212699491225 0 4 0 16800975 18446604447070472000 0 0 -1 6 0 0 0
[pid=28904/tid=28920] ppid=28902 vsize=13625312 CPUtime=0.44 cores=0,2,4,6
/proc/28904/task/28920/stat : 28920 (java) S 28902 28904 26823 0 -1 4202560 3339 0 0 0 44 0 0 0 15 0 19 0 826772533 13952319488 24834 33554432000 1073741824 1073778376 140737287255456 18446744073709551615 212699491225 0 4 0 16800975 18446604447070472000 0 0 -1 4 0 0 0
[pid=28904/tid=28921] ppid=28902 vsize=13625312 CPUtime=0 cores=0,2,4,6
/proc/28904/task/28921/stat : 28921 (java) S 28902 28904 26823 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826772533 13952319488 24834 33554432000 1073741824 1073778376 140737287255456 18446744073709551615 212699491225 0 4 0 16800975 18446604447070472000 0 0 -1 2 0 0 0
[pid=28904/tid=28922] ppid=28902 vsize=13625312 CPUtime=0 cores=0,2,4,6
/proc/28904/task/28922/stat : 28922 (java) S 28902 28904 26823 0 -1 4202560 33 0 0 0 0 0 0 0 15 0 19 0 826772533 13952319488 24834 33554432000 1073741824 1073778376 140737287255456 18446744073709551615 212699491840 0 4 0 16800975 18446604447070472000 0 0 -1 4 0 0 0
[pid=28904/tid=28923] ppid=28902 vsize=13625312 CPUtime=0 cores=0,2,4,6
/proc/28904/task/28923/stat : 28923 (java) S 28902 28904 26823 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 826772560 13952319488 24834 33554432000 1073741824 1073778376 140737287255456 18446744073709551615 212699491840 0 4 0 16800975 18446604447070472000 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 553.08
Current children cumulated vsize (KiB) 13625312

[startup+552.701 s]
/proc/loadavg: 2.08 2.05 2.01 3/612 28985
/proc/meminfo: memFree=23361060/32951124 swapFree=58940260/67111528
[pid=28904] ppid=28902 vsize=13625312 CPUtime=553.88 cores=0,2,4,6
/proc/28904/stat : 28904 (java) S 28902 28904 26823 0 -1 4202496 28862 0 1 0 55380 8 0 0 25 0 19 0 826772526 13952319488 24834 33554432000 1073741824 1073778376 140737287255456 18446744073709551615 212699477989 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/28904/statm: 3406328 24834 2254 9 0 3397062 0
[pid=28904/tid=28905] ppid=28902 vsize=13625312 CPUtime=548.08 cores=0,2,4,6
/proc/28904/task/28905/stat : 28905 (java) R 28902 28904 26823 0 -1 4202560 17535 0 1 0 54805 3 0 0 25 0 19 0 826772527 13952319488 24834 33554432000 1073741824 1073778376 140737287255456 18446744073709551615 46912505822886 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=28904/tid=28907] ppid=28902 vsize=13625312 CPUtime=0.07 cores=0,2,4,6
/proc/28904/task/28907/stat : 28907 (java) S 28902 28904 26823 0 -1 4202560 277 0 0 0 7 0 0 0 15 0 19 0 826772529 13952319488 24834 33554432000 1073741824 1073778376 140737287255456 18446744073709551615 212699491225 0 4 0 16800975 18446604447070472000 0 0 -1 6 0 0 0
[pid=28904/tid=28908] ppid=28902 vsize=13625312 CPUtime=0.08 cores=0,2,4,6
/proc/28904/task/28908/stat : 28908 (java) S 28902 28904 26823 0 -1 4202560 256 0 0 0 8 0 0 0 15 0 19 0 826772529 13952319488 24834 33554432000 1073741824 1073778376 140737287255456 18446744073709551615 212699491225 0 4 0 16800975 18446604447070472000 0 0 -1 4 0 0 0
[pid=28904/tid=28909] ppid=28902 vsize=13625312 CPUtime=0.09 cores=0,2,4,6
/proc/28904/task/28909/stat : 28909 (java) S 28902 28904 26823 0 -1 4202560 189 0 0 0 9 0 0 0 15 0 19 0 826772529 13952319488 24834 33554432000 1073741824 1073778376 140737287255456 18446744073709551615 212699491225 0 4 0 16800975 18446604447070472000 0 0 -1 0 0 0 0
[pid=28904/tid=28910] ppid=28902 vsize=13625312 CPUtime=0.09 cores=0,2,4,6
/proc/28904/task/28910/stat : 28910 (java) S 28902 28904 26823 0 -1 4202560 27 0 0 0 9 0 0 0 15 0 19 0 826772529 13952319488 24834 33554432000 1073741824 1073778376 140737287255456 18446744073709551615 212699491225 0 4 0 16800975 18446604447070472000 0 0 -1 0 0 0 0
[pid=28904/tid=28911] ppid=28902 vsize=13625312 CPUtime=0.07 cores=0,2,4,6
/proc/28904/task/28911/stat : 28911 (java) S 28902 28904 26823 0 -1 4202560 12 0 0 0 7 0 0 0 15 0 19 0 826772529 13952319488 24834 33554432000 1073741824 1073778376 140737287255456 18446744073709551615 212699491225 0 4 0 16800975 18446604447070472000 0 0 -1 6 0 0 0
[pid=28904/tid=28912] ppid=28902 vsize=13625312 CPUtime=0.08 cores=0,2,4,6
/proc/28904/task/28912/stat : 28912 (java) S 28902 28904 26823 0 -1 4202560 108 0 0 0 8 0 0 0 15 0 19 0 826772529 13952319488 24834 33554432000 1073741824 1073778376 140737287255456 18446744073709551615 212699491225 0 4 0 16800975 18446604447070472000 0 0 -1 0 0 0 0
[pid=28904/tid=28913] ppid=28902 vsize=13625312 CPUtime=0.07 cores=0,2,4,6
/proc/28904/task/28913/stat : 28913 (java) S 28902 28904 26823 0 -1 4202560 23 0 0 0 7 0 0 0 15 0 19 0 826772529 13952319488 24834 33554432000 1073741824 1073778376 140737287255456 18446744073709551615 212699491225 0 4 0 16800975 18446604447070472000 0 0 -1 6 0 0 0
[pid=28904/tid=28914] ppid=28902 vsize=13625312 CPUtime=0.1 cores=0,2,4,6
/proc/28904/task/28914/stat : 28914 (java) S 28902 28904 26823 0 -1 4202560 460 0 0 0 10 0 0 0 16 0 19 0 826772529 13952319488 24834 33554432000 1073741824 1073778376 140737287255456 18446744073709551615 212699491225 0 4 0 16800975 18446604447070472000 0 0 -1 6 0 0 0
[pid=28904/tid=28915] ppid=28902 vsize=13625312 CPUtime=4.17 cores=0,2,4,6
/proc/28904/task/28915/stat : 28915 (java) S 28902 28904 26823 0 -1 4202560 2200 0 0 0 415 2 0 0 16 0 19 0 826772530 13952319488 24834 33554432000 1073741824 1073778376 140737287255456 18446744073709551615 212699491840 0 0 0 16800975 18446604447070472000 0 0 -1 2 0 0 0
[pid=28904/tid=28916] ppid=28902 vsize=13625312 CPUtime=0 cores=0,2,4,6
/proc/28904/task/28916/stat : 28916 (java) S 28902 28904 26823 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 826772530 13952319488 24834 33554432000 1073741824 1073778376 140737287255456 18446744073709551615 212699491225 0 4 0 16800975 18446604447070472000 0 0 -1 2 0 0 0
[pid=28904/tid=28917] ppid=28902 vsize=13625312 CPUtime=0 cores=0,2,4,6
/proc/28904/task/28917/stat : 28917 (java) S 28902 28904 26823 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 826772530 13952319488 24834 33554432000 1073741824 1073778376 140737287255456 18446744073709551615 212699491225 0 4 0 16800975 18446604447070472000 0 0 -1 2 0 0 0
[pid=28904/tid=28918] ppid=28902 vsize=13625312 CPUtime=0 cores=0,2,4,6
/proc/28904/task/28918/stat : 28918 (java) S 28902 28904 26823 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826772533 13952319488 24834 33554432000 1073741824 1073778376 140737287255456 18446744073709551615 212699498929 0 4 0 16800975 18446604447070472000 0 0 -1 2 0 0 0
[pid=28904/tid=28919] ppid=28902 vsize=13625312 CPUtime=0.45 cores=0,2,4,6
/proc/28904/task/28919/stat : 28919 (java) S 28902 28904 26823 0 -1 4202560 3253 0 0 0 45 0 0 0 15 0 19 0 826772533 13952319488 24834 33554432000 1073741824 1073778376 140737287255456 18446744073709551615 212699491225 0 4 0 16800975 18446604447070472000 0 0 -1 6 0 0 0
[pid=28904/tid=28920] ppid=28902 vsize=13625312 CPUtime=0.44 cores=0,2,4,6
/proc/28904/task/28920/stat : 28920 (java) S 28902 28904 26823 0 -1 4202560 3339 0 0 0 44 0 0 0 15 0 19 0 826772533 13952319488 24834 33554432000 1073741824 1073778376 140737287255456 18446744073709551615 212699491225 0 4 0 16800975 18446604447070472000 0 0 -1 4 0 0 0
[pid=28904/tid=28921] ppid=28902 vsize=13625312 CPUtime=0 cores=0,2,4,6
/proc/28904/task/28921/stat : 28921 (java) S 28902 28904 26823 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826772533 13952319488 24834 33554432000 1073741824 1073778376 140737287255456 18446744073709551615 212699491225 0 4 0 16800975 18446604447070472000 0 0 -1 2 0 0 0
[pid=28904/tid=28922] ppid=28902 vsize=13625312 CPUtime=0 cores=0,2,4,6
/proc/28904/task/28922/stat : 28922 (java) S 28902 28904 26823 0 -1 4202560 33 0 0 0 0 0 0 0 15 0 19 0 826772533 13952319488 24834 33554432000 1073741824 1073778376 140737287255456 18446744073709551615 212699491840 0 4 0 16800975 18446604447070472000 0 0 -1 4 0 0 0
[pid=28904/tid=28923] ppid=28902 vsize=13625312 CPUtime=0 cores=0,2,4,6
/proc/28904/task/28923/stat : 28923 (java) S 28902 28904 26823 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 826772560 13952319488 24834 33554432000 1073741824 1073778376 140737287255456 18446744073709551615 212699491840 0 4 0 16800975 18446604447070472000 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 553.88
Current children cumulated vsize (KiB) 13625312

[startup+553.101 s]
/proc/loadavg: 2.08 2.05 2.01 3/612 28985
/proc/meminfo: memFree=23361060/32951124 swapFree=58940260/67111528
[pid=28904] ppid=28902 vsize=13625312 CPUtime=554.28 cores=0,2,4,6
/proc/28904/stat : 28904 (java) S 28902 28904 26823 0 -1 4202496 28862 0 1 0 55420 8 0 0 25 0 19 0 826772526 13952319488 24834 33554432000 1073741824 1073778376 140737287255456 18446744073709551615 212699477989 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/28904/statm: 3406328 24834 2254 9 0 3397062 0
[pid=28904/tid=28905] ppid=28902 vsize=13625312 CPUtime=548.48 cores=0,2,4,6
/proc/28904/task/28905/stat : 28905 (java) R 28902 28904 26823 0 -1 4202560 17535 0 1 0 54845 3 0 0 25 0 19 0 826772527 13952319488 24834 33554432000 1073741824 1073778376 140737287255456 18446744073709551615 46912505822886 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=28904/tid=28907] ppid=28902 vsize=13625312 CPUtime=0.07 cores=0,2,4,6
/proc/28904/task/28907/stat : 28907 (java) S 28902 28904 26823 0 -1 4202560 277 0 0 0 7 0 0 0 15 0 19 0 826772529 13952319488 24834 33554432000 1073741824 1073778376 140737287255456 18446744073709551615 212699491225 0 4 0 16800975 18446604447070472000 0 0 -1 6 0 0 0
[pid=28904/tid=28908] ppid=28902 vsize=13625312 CPUtime=0.08 cores=0,2,4,6
/proc/28904/task/28908/stat : 28908 (java) S 28902 28904 26823 0 -1 4202560 256 0 0 0 8 0 0 0 15 0 19 0 826772529 13952319488 24834 33554432000 1073741824 1073778376 140737287255456 18446744073709551615 212699491225 0 4 0 16800975 18446604447070472000 0 0 -1 4 0 0 0
[pid=28904/tid=28909] ppid=28902 vsize=13625312 CPUtime=0.09 cores=0,2,4,6
/proc/28904/task/28909/stat : 28909 (java) S 28902 28904 26823 0 -1 4202560 189 0 0 0 9 0 0 0 15 0 19 0 826772529 13952319488 24834 33554432000 1073741824 1073778376 140737287255456 18446744073709551615 212699491225 0 4 0 16800975 18446604447070472000 0 0 -1 0 0 0 0
[pid=28904/tid=28910] ppid=28902 vsize=13625312 CPUtime=0.09 cores=0,2,4,6
/proc/28904/task/28910/stat : 28910 (java) S 28902 28904 26823 0 -1 4202560 27 0 0 0 9 0 0 0 15 0 19 0 826772529 13952319488 24834 33554432000 1073741824 1073778376 140737287255456 18446744073709551615 212699491225 0 4 0 16800975 18446604447070472000 0 0 -1 0 0 0 0
[pid=28904/tid=28911] ppid=28902 vsize=13625312 CPUtime=0.07 cores=0,2,4,6
/proc/28904/task/28911/stat : 28911 (java) S 28902 28904 26823 0 -1 4202560 12 0 0 0 7 0 0 0 15 0 19 0 826772529 13952319488 24834 33554432000 1073741824 1073778376 140737287255456 18446744073709551615 212699491225 0 4 0 16800975 18446604447070472000 0 0 -1 6 0 0 0
[pid=28904/tid=28912] ppid=28902 vsize=13625312 CPUtime=0.08 cores=0,2,4,6
/proc/28904/task/28912/stat : 28912 (java) S 28902 28904 26823 0 -1 4202560 108 0 0 0 8 0 0 0 15 0 19 0 826772529 13952319488 24834 33554432000 1073741824 1073778376 140737287255456 18446744073709551615 212699491225 0 4 0 16800975 18446604447070472000 0 0 -1 0 0 0 0
[pid=28904/tid=28913] ppid=28902 vsize=13625312 CPUtime=0.07 cores=0,2,4,6
/proc/28904/task/28913/stat : 28913 (java) S 28902 28904 26823 0 -1 4202560 23 0 0 0 7 0 0 0 15 0 19 0 826772529 13952319488 24834 33554432000 1073741824 1073778376 140737287255456 18446744073709551615 212699491225 0 4 0 16800975 18446604447070472000 0 0 -1 6 0 0 0
[pid=28904/tid=28914] ppid=28902 vsize=13625312 CPUtime=0.1 cores=0,2,4,6
/proc/28904/task/28914/stat : 28914 (java) S 28902 28904 26823 0 -1 4202560 460 0 0 0 10 0 0 0 16 0 19 0 826772529 13952319488 24834 33554432000 1073741824 1073778376 140737287255456 18446744073709551615 212699491225 0 4 0 16800975 18446604447070472000 0 0 -1 6 0 0 0
[pid=28904/tid=28915] ppid=28902 vsize=13625312 CPUtime=4.17 cores=0,2,4,6
/proc/28904/task/28915/stat : 28915 (java) S 28902 28904 26823 0 -1 4202560 2200 0 0 0 415 2 0 0 16 0 19 0 826772530 13952319488 24834 33554432000 1073741824 1073778376 140737287255456 18446744073709551615 212699491840 0 0 0 16800975 18446604447070472000 0 0 -1 2 0 0 0
[pid=28904/tid=28916] ppid=28902 vsize=13625312 CPUtime=0 cores=0,2,4,6
/proc/28904/task/28916/stat : 28916 (java) S 28902 28904 26823 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 826772530 13952319488 24834 33554432000 1073741824 1073778376 140737287255456 18446744073709551615 212699491225 0 4 0 16800975 18446604447070472000 0 0 -1 2 0 0 0
[pid=28904/tid=28917] ppid=28902 vsize=13625312 CPUtime=0 cores=0,2,4,6
/proc/28904/task/28917/stat : 28917 (java) S 28902 28904 26823 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 826772530 13952319488 24834 33554432000 1073741824 1073778376 140737287255456 18446744073709551615 212699491225 0 4 0 16800975 18446604447070472000 0 0 -1 2 0 0 0
[pid=28904/tid=28918] ppid=28902 vsize=13625312 CPUtime=0 cores=0,2,4,6
/proc/28904/task/28918/stat : 28918 (java) S 28902 28904 26823 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826772533 13952319488 24834 33554432000 1073741824 1073778376 140737287255456 18446744073709551615 212699498929 0 4 0 16800975 18446604447070472000 0 0 -1 2 0 0 0
[pid=28904/tid=28919] ppid=28902 vsize=13625312 CPUtime=0.45 cores=0,2,4,6
/proc/28904/task/28919/stat : 28919 (java) S 28902 28904 26823 0 -1 4202560 3253 0 0 0 45 0 0 0 15 0 19 0 826772533 13952319488 24834 33554432000 1073741824 1073778376 140737287255456 18446744073709551615 212699491225 0 4 0 16800975 18446604447070472000 0 0 -1 6 0 0 0
[pid=28904/tid=28920] ppid=28902 vsize=13625312 CPUtime=0.44 cores=0,2,4,6
/proc/28904/task/28920/stat : 28920 (java) S 28902 28904 26823 0 -1 4202560 3339 0 0 0 44 0 0 0 15 0 19 0 826772533 13952319488 24834 33554432000 1073741824 1073778376 140737287255456 18446744073709551615 212699491225 0 4 0 16800975 18446604447070472000 0 0 -1 4 0 0 0
[pid=28904/tid=28921] ppid=28902 vsize=13625312 CPUtime=0 cores=0,2,4,6
/proc/28904/task/28921/stat : 28921 (java) S 28902 28904 26823 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826772533 13952319488 24834 33554432000 1073741824 1073778376 140737287255456 18446744073709551615 212699491225 0 4 0 16800975 18446604447070472000 0 0 -1 2 0 0 0
[pid=28904/tid=28922] ppid=28902 vsize=13625312 CPUtime=0 cores=0,2,4,6
/proc/28904/task/28922/stat : 28922 (java) S 28902 28904 26823 0 -1 4202560 33 0 0 0 0 0 0 0 15 0 19 0 826772533 13952319488 24834 33554432000 1073741824 1073778376 140737287255456 18446744073709551615 212699491840 0 4 0 16800975 18446604447070472000 0 0 -1 4 0 0 0
[pid=28904/tid=28923] ppid=28902 vsize=13625312 CPUtime=0 cores=0,2,4,6
/proc/28904/task/28923/stat : 28923 (java) S 28902 28904 26823 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 826772560 13952319488 24834 33554432000 1073741824 1073778376 140737287255456 18446744073709551615 212699491840 0 4 0 16800975 18446604447070472000 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 554.28
Current children cumulated vsize (KiB) 13625312

[startup+553.501 s]
/proc/loadavg: 2.08 2.05 2.01 3/612 28985
/proc/meminfo: memFree=23361060/32951124 swapFree=58940260/67111528
[pid=28904] ppid=28902 vsize=13625312 CPUtime=554.68 cores=0,2,4,6
/proc/28904/stat : 28904 (java) S 28902 28904 26823 0 -1 4202496 28862 0 1 0 55460 8 0 0 25 0 19 0 826772526 13952319488 24834 33554432000 1073741824 1073778376 140737287255456 18446744073709551615 212699477989 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/28904/statm: 3406328 24834 2254 9 0 3397062 0
[pid=28904/tid=28905] ppid=28902 vsize=13625312 CPUtime=548.88 cores=0,2,4,6
/proc/28904/task/28905/stat : 28905 (java) R 28902 28904 26823 0 -1 4202560 17535 0 1 0 54885 3 0 0 25 0 19 0 826772527 13952319488 24834 33554432000 1073741824 1073778376 140737287255456 18446744073709551615 46912505778535 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=28904/tid=28907] ppid=28902 vsize=13625312 CPUtime=0.07 cores=0,2,4,6
/proc/28904/task/28907/stat : 28907 (java) S 28902 28904 26823 0 -1 4202560 277 0 0 0 7 0 0 0 15 0 19 0 826772529 13952319488 24834 33554432000 1073741824 1073778376 140737287255456 18446744073709551615 212699491225 0 4 0 16800975 18446604447070472000 0 0 -1 6 0 0 0
[pid=28904/tid=28908] ppid=28902 vsize=13625312 CPUtime=0.08 cores=0,2,4,6
/proc/28904/task/28908/stat : 28908 (java) S 28902 28904 26823 0 -1 4202560 256 0 0 0 8 0 0 0 15 0 19 0 826772529 13952319488 24834 33554432000 1073741824 1073778376 140737287255456 18446744073709551615 212699491225 0 4 0 16800975 18446604447070472000 0 0 -1 4 0 0 0
[pid=28904/tid=28909] ppid=28902 vsize=13625312 CPUtime=0.09 cores=0,2,4,6
/proc/28904/task/28909/stat : 28909 (java) S 28902 28904 26823 0 -1 4202560 189 0 0 0 9 0 0 0 15 0 19 0 826772529 13952319488 24834 33554432000 1073741824 1073778376 140737287255456 18446744073709551615 212699491225 0 4 0 16800975 18446604447070472000 0 0 -1 0 0 0 0
[pid=28904/tid=28910] ppid=28902 vsize=13625312 CPUtime=0.09 cores=0,2,4,6
/proc/28904/task/28910/stat : 28910 (java) S 28902 28904 26823 0 -1 4202560 27 0 0 0 9 0 0 0 15 0 19 0 826772529 13952319488 24834 33554432000 1073741824 1073778376 140737287255456 18446744073709551615 212699491225 0 4 0 16800975 18446604447070472000 0 0 -1 0 0 0 0
[pid=28904/tid=28911] ppid=28902 vsize=13625312 CPUtime=0.07 cores=0,2,4,6
/proc/28904/task/28911/stat : 28911 (java) S 28902 28904 26823 0 -1 4202560 12 0 0 0 7 0 0 0 15 0 19 0 826772529 13952319488 24834 33554432000 1073741824 1073778376 140737287255456 18446744073709551615 212699491225 0 4 0 16800975 18446604447070472000 0 0 -1 6 0 0 0
[pid=28904/tid=28912] ppid=28902 vsize=13625312 CPUtime=0.08 cores=0,2,4,6
/proc/28904/task/28912/stat : 28912 (java) S 28902 28904 26823 0 -1 4202560 108 0 0 0 8 0 0 0 15 0 19 0 826772529 13952319488 24834 33554432000 1073741824 1073778376 140737287255456 18446744073709551615 212699491225 0 4 0 16800975 18446604447070472000 0 0 -1 0 0 0 0
[pid=28904/tid=28913] ppid=28902 vsize=13625312 CPUtime=0.07 cores=0,2,4,6
/proc/28904/task/28913/stat : 28913 (java) S 28902 28904 26823 0 -1 4202560 23 0 0 0 7 0 0 0 15 0 19 0 826772529 13952319488 24834 33554432000 1073741824 1073778376 140737287255456 18446744073709551615 212699491225 0 4 0 16800975 18446604447070472000 0 0 -1 6 0 0 0
[pid=28904/tid=28914] ppid=28902 vsize=13625312 CPUtime=0.1 cores=0,2,4,6
/proc/28904/task/28914/stat : 28914 (java) S 28902 28904 26823 0 -1 4202560 460 0 0 0 10 0 0 0 16 0 19 0 826772529 13952319488 24834 33554432000 1073741824 1073778376 140737287255456 18446744073709551615 212699491225 0 4 0 16800975 18446604447070472000 0 0 -1 6 0 0 0
[pid=28904/tid=28915] ppid=28902 vsize=13625312 CPUtime=4.17 cores=0,2,4,6
/proc/28904/task/28915/stat : 28915 (java) S 28902 28904 26823 0 -1 4202560 2200 0 0 0 415 2 0 0 15 0 19 0 826772530 13952319488 24834 33554432000 1073741824 1073778376 140737287255456 18446744073709551615 212699491840 0 0 0 16800975 18446604447070472000 0 0 -1 2 0 0 0
[pid=28904/tid=28916] ppid=28902 vsize=13625312 CPUtime=0 cores=0,2,4,6
/proc/28904/task/28916/stat : 28916 (java) S 28902 28904 26823 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 826772530 13952319488 24834 33554432000 1073741824 1073778376 140737287255456 18446744073709551615 212699491225 0 4 0 16800975 18446604447070472000 0 0 -1 2 0 0 0
[pid=28904/tid=28917] ppid=28902 vsize=13625312 CPUtime=0 cores=0,2,4,6
/proc/28904/task/28917/stat : 28917 (java) S 28902 28904 26823 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 826772530 13952319488 24834 33554432000 1073741824 1073778376 140737287255456 18446744073709551615 212699491225 0 4 0 16800975 18446604447070472000 0 0 -1 2 0 0 0
[pid=28904/tid=28918] ppid=28902 vsize=13625312 CPUtime=0 cores=0,2,4,6
/proc/28904/task/28918/stat : 28918 (java) S 28902 28904 26823 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826772533 13952319488 24834 33554432000 1073741824 1073778376 140737287255456 18446744073709551615 212699498929 0 4 0 16800975 18446604447070472000 0 0 -1 2 0 0 0
[pid=28904/tid=28919] ppid=28902 vsize=13625312 CPUtime=0.45 cores=0,2,4,6
/proc/28904/task/28919/stat : 28919 (java) S 28902 28904 26823 0 -1 4202560 3253 0 0 0 45 0 0 0 15 0 19 0 826772533 13952319488 24834 33554432000 1073741824 1073778376 140737287255456 18446744073709551615 212699491225 0 4 0 16800975 18446604447070472000 0 0 -1 6 0 0 0
[pid=28904/tid=28920] ppid=28902 vsize=13625312 CPUtime=0.44 cores=0,2,4,6
/proc/28904/task/28920/stat : 28920 (java) S 28902 28904 26823 0 -1 4202560 3339 0 0 0 44 0 0 0 15 0 19 0 826772533 13952319488 24834 33554432000 1073741824 1073778376 140737287255456 18446744073709551615 212699491225 0 4 0 16800975 18446604447070472000 0 0 -1 4 0 0 0
[pid=28904/tid=28921] ppid=28902 vsize=13625312 CPUtime=0 cores=0,2,4,6
/proc/28904/task/28921/stat : 28921 (java) S 28902 28904 26823 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826772533 13952319488 24834 33554432000 1073741824 1073778376 140737287255456 18446744073709551615 212699491225 0 4 0 16800975 18446604447070472000 0 0 -1 2 0 0 0
[pid=28904/tid=28922] ppid=28902 vsize=13625312 CPUtime=0 cores=0,2,4,6
/proc/28904/task/28922/stat : 28922 (java) S 28902 28904 26823 0 -1 4202560 33 0 0 0 0 0 0 0 15 0 19 0 826772533 13952319488 24834 33554432000 1073741824 1073778376 140737287255456 18446744073709551615 212699491840 0 4 0 16800975 18446604447070472000 0 0 -1 4 0 0 0
[pid=28904/tid=28923] ppid=28902 vsize=13625312 CPUtime=0 cores=0,2,4,6
/proc/28904/task/28923/stat : 28923 (java) S 28902 28904 26823 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 826772560 13952319488 24834 33554432000 1073741824 1073778376 140737287255456 18446744073709551615 212699491840 0 4 0 16800975 18446604447070472000 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 554.68
Current children cumulated vsize (KiB) 13625312

[startup+553.601 s]
/proc/loadavg: 2.08 2.05 2.01 3/612 28985
/proc/meminfo: memFree=23361060/32951124 swapFree=58940260/67111528
[pid=28904] ppid=28902 vsize=0 CPUtime=554.79 cores=0,2,4,6
/proc/28904/stat : 28904 (java) Z 28902 28904 26823 0 -1 4203548 28925 0 1 0 55470 9 0 0 18 0 2 0 826772526 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/28904/statm: 0 0 0 0 0 0 0
[pid=28904/tid=28912] ppid=28902 vsize=0 CPUtime=0.08 cores=0,2,4,6
/proc/28904/task/28912/stat : 28912 (java) R 28902 28904 26823 0 -1 4203588 108 0 0 0 8 0 0 0 15 0 2 0 826772529 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 554.79
Current children cumulated vsize (KiB) 0

Child status: 30
Real time (s): 553.604
CPU time (s): 554.799
CPU user time (s): 554.705
CPU system time (s): 0.093985
CPU usage (%): 100.216
Max. virtual memory (cumulated for all children) (KiB): 13626720

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 554.705
system time used= 0.093985
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 28925
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= 18383
involuntary context switches= 6539

runsolver used 3.57746 second user time and 7.00893 second system time

The end

Launcher Data 

Begin job on node139 at 2011-06-04 03:42:28
IDJOB=3458830
IDBENCH=2462
IDSOLVER=1952
FILE ID=node139/3458830-1307151748
RUNJOBID= node139-1307146345-28417
PBS_JOBID= 13508777
Free space on /tmp= 73460 MiB

SOLVER NAME= Sat4j Resolution 2.3.0
BENCH NAME= PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-blend.opb
COMMAND LINE= java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3458830-1307151748/watcher-3458830-1307151748 -o /tmp/evaluation-result-3458830-1307151748/solver-3458830-1307151748 -C 1800 -W 1900 -M 15500  java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution HOME/instance-3458830-1307151748.opb

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

MD5SUM BENCH= eff6ad715055e79721cc364806b971f0
RANDOM SEED=1241224654

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:      23083776 kB
Buffers:        265092 kB
Cached:         609612 kB
SwapCached:       3628 kB
Active:        9046568 kB
Inactive:       516924 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      23083776 kB
SwapTotal:    67111528 kB
SwapFree:     58940260 kB
Dirty:             452 kB
Writeback:           4 kB
AnonPages:     8687024 kB
Mapped:          41160 kB
Slab:           152616 kB
PageTables:      79616 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 184332736 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= 73464 MiB
End job on node139 at 2011-06-04 03:51:42