Trace number 3458225

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.0OPT3 248.628 246.106

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/
factor-mod-size=9-P0=211-P1=331-P2=199-P3=307-P4=457-P5=293-B.opb
MD5SUM55e3096e9013fd2f39f8572a635bf07d
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark3
Best CPU time to get the best result obtained on this benchmark0.179971
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 3
Optimality of the best value was proved YES
Number of variables135
Total number of constraints11
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 constraints11
Minimum length of a constraint9
Maximum length of a constraint99
Number of terms in the objective function 9
Biggest coefficient in the objective function 256
Number of bits for the biggest coefficient in the objective function 9
Sum of the numbers in the objective function 511
Number of bits of the sum of numbers in the objective function 9
Biggest number in a constraint 131072
Number of bits of the biggest number in a constraint 18
Biggest sum of numbers in a constraint 523264
Number of bits of the biggest sum of numbers19
Number of products (including duplicates)405
Sum of products size (including duplicates)810
Number of different products405
Sum of products size810

Quality of the solution as a function of time


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

Solver Data 

0.00/0.08	c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre
0.00/0.08	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.08	c See www.sat4j.org for details.
0.00/0.08	c version 2.3.1.v20110525
0.00/0.09	c java.runtime.name	Java(TM) SE Runtime Environment
0.00/0.09	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.00/0.09	c java.vm.version	19.1-b02
0.00/0.09	c java.vm.vendor	Sun Microsystems Inc.
0.00/0.09	c sun.arch.data.model	64
0.00/0.09	c java.version		1.6.0_24
0.00/0.09	c os.name		Linux
0.00/0.09	c os.version		2.6.18-164.el5
0.00/0.09	c os.arch		amd64
0.00/0.09	c Free memory 		12995394264
0.00/0.09	c Max memory 		13063553024
0.00/0.09	c Total memory 		13063553024
0.00/0.09	c Number of processors 	8
0.00/0.11	c Pseudo Boolean Optimization
0.00/0.11	c --- Begin Solver configuration ---
0.00/0.11	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@38540408
0.00/0.11	c Learn all clauses as in MiniSAT
0.00/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.00/0.11	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.00/0.11	c Expensive reason simplification
0.00/0.11	c Armin Biere (Picosat) restarts strategy
0.00/0.11	c Glucose learned constraints deletion strategy
0.00/0.11	c timeout=2147483s
0.00/0.11	c DB Simplification allowed=false
0.00/0.11	c --- End Solver configuration ---
0.00/0.11	c solving HOME/instance-3458225-1307158390.opb
0.00/0.11	c reading problem ... 
0.12/0.17	c ... done. Wall clock time 0.065s.
0.12/0.17	c #vars     540
0.12/0.17	c #constraints  826
0.12/0.17	c constraints type 
0.12/0.17	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 405
0.12/0.17	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 421
1.06/0.75	c cleaning 2501 clauses out of 5001 with flag 5001/5001
1.65/1.28	c cleaning 4250 clauses out of 8500 with flag 11001/11001
2.23/1.81	c cleaning 5625 clauses out of 11250 with flag 18001/18001
2.33/1.93	c SATISFIABLE
2.33/1.93	c OPTIMIZING...
2.33/1.93	c Got one! Elapsed wall clock time (in seconds):1.82
2.33/1.93	o 277
2.65/2.26	c cleaning 5662 clauses out of 11330 with flag 4000/23706
3.15/2.76	c cleaning 5831 clauses out of 11668 with flag 10000/29706
4.07/3.64	c cleaning 6413 clauses out of 12837 with flag 17000/36706
4.79/4.31	c cleaning 7206 clauses out of 14425 with flag 25001/44707
5.49/5.08	c cleaning 8101 clauses out of 16218 with flag 34000/53706
6.49/6.01	c cleaning 9060 clauses out of 18119 with flag 44002/63708
7.59/7.14	c cleaning 9524 clauses out of 19058 with flag 54001/73707
8.71/8.23	c cleaning 9766 clauses out of 19533 with flag 64000/83706
9.61/9.10	c cleaning 9881 clauses out of 19768 with flag 74001/93707
10.71/10.21	c cleaning 9938 clauses out of 19886 with flag 84000/103706
11.81/11.34	c cleaning 9968 clauses out of 19948 with flag 94000/113706
12.92/12.41	c cleaning 9987 clauses out of 19981 with flag 104001/123707
13.83/13.32	c cleaning 9991 clauses out of 19994 with flag 114001/133707
15.02/14.52	c cleaning 10000 clauses out of 20003 with flag 124001/143707
16.27/15.73	c cleaning 9999 clauses out of 20002 with flag 134000/153706
17.48/16.66	c cleaning 9990 clauses out of 20003 with flag 144000/163706
18.55/17.41	c cleaning 9999 clauses out of 20013 with flag 154000/173706
19.46/18.30	c cleaning 10005 clauses out of 20015 with flag 164001/183707
20.36/19.22	c cleaning 9997 clauses out of 20010 with flag 174001/193707
21.08/19.97	c cleaning 10002 clauses out of 20012 with flag 184000/203706
22.18/21.03	c cleaning 10000 clauses out of 20011 with flag 194001/213707
23.06/21.92	c cleaning 10001 clauses out of 20011 with flag 204001/223707
23.97/22.87	c cleaning 9995 clauses out of 20010 with flag 214001/233707
25.07/23.91	c cleaning 10000 clauses out of 20015 with flag 224001/243707
26.27/25.10	c cleaning 9995 clauses out of 20014 with flag 234000/253706
27.28/26.15	c cleaning 10007 clauses out of 20020 with flag 244001/263707
28.33/27.18	c cleaning 10002 clauses out of 20011 with flag 254000/273706
29.54/28.01	c cleaning 10000 clauses out of 20010 with flag 264001/283707
30.79/28.98	c cleaning 10000 clauses out of 20010 with flag 274001/293707
32.09/30.21	c cleaning 10001 clauses out of 20009 with flag 284000/303706
33.09/31.23	c cleaning 9998 clauses out of 20009 with flag 294001/313707
33.99/32.12	c cleaning 9999 clauses out of 20012 with flag 304002/323708
35.02/33.19	c cleaning 9993 clauses out of 20012 with flag 314001/333707
36.20/34.38	c cleaning 10003 clauses out of 20019 with flag 324001/343707
37.50/35.60	c cleaning 10004 clauses out of 20015 with flag 334000/353706
38.50/36.67	c cleaning 9999 clauses out of 20012 with flag 344001/363707
39.51/37.66	c cleaning 9999 clauses out of 20012 with flag 354000/373706
40.42/38.60	c cleaning 10002 clauses out of 20013 with flag 364000/383706
41.40/39.57	c cleaning 10000 clauses out of 20012 with flag 374001/393707
42.62/40.80	c cleaning 9999 clauses out of 20011 with flag 384000/403706
43.83/41.97	c cleaning 10001 clauses out of 20013 with flag 394001/413707
45.11/43.23	c cleaning 10001 clauses out of 20013 with flag 404002/423708
46.22/44.36	c cleaning 10000 clauses out of 20011 with flag 414001/433707
47.04/45.12	c cleaning 9999 clauses out of 20011 with flag 424001/443707
47.72/45.89	c cleaning 9995 clauses out of 20012 with flag 434001/453707
48.93/47.01	c cleaning 9998 clauses out of 20017 with flag 444001/463707
50.03/48.15	c cleaning 9996 clauses out of 20018 with flag 454000/473706
51.13/49.22	c cleaning 10007 clauses out of 20023 with flag 464001/483707
52.23/50.34	c cleaning 10004 clauses out of 20015 with flag 474000/493706
53.43/51.51	c cleaning 10001 clauses out of 20012 with flag 484001/503707
54.63/52.78	c cleaning 10001 clauses out of 20011 with flag 494001/513707
55.73/53.87	c cleaning 10001 clauses out of 20009 with flag 504000/523706
56.95/55.08	c cleaning 10001 clauses out of 20010 with flag 514002/533708
58.16/56.23	c cleaning 10000 clauses out of 20008 with flag 524001/543707
59.26/57.38	c cleaning 10000 clauses out of 20007 with flag 534000/553706
60.14/58.21	c cleaning 10000 clauses out of 20007 with flag 544000/563706
60.94/59.03	c cleaning 9999 clauses out of 20008 with flag 554001/573707
61.65/59.79	c cleaning 9996 clauses out of 20008 with flag 564000/583706
62.34/60.47	c cleaning 10002 clauses out of 20013 with flag 574001/593707
63.45/61.52	c cleaning 9999 clauses out of 20010 with flag 584000/603706
64.25/62.35	c cleaning 10001 clauses out of 20012 with flag 594001/613707
65.15/63.28	c cleaning 10002 clauses out of 20010 with flag 604000/623706
66.05/64.16	c cleaning 9993 clauses out of 20008 with flag 614000/633706
66.97/65.07	c cleaning 9995 clauses out of 20016 with flag 624001/643707
67.76/65.80	c cleaning 10008 clauses out of 20021 with flag 634001/653707
68.66/66.79	c cleaning 9994 clauses out of 20012 with flag 644000/663706
69.36/67.45	c cleaning 10000 clauses out of 20018 with flag 654000/673706
70.09/68.20	c cleaning 9997 clauses out of 20019 with flag 664001/683707
71.21/69.24	c cleaning 10001 clauses out of 20021 with flag 674000/693706
72.21/70.24	c cleaning 9998 clauses out of 20021 with flag 684001/703707
73.21/71.22	c cleaning 10003 clauses out of 20022 with flag 694000/713706
74.12/72.16	c cleaning 10005 clauses out of 20019 with flag 704000/723706
75.12/73.11	c cleaning 10000 clauses out of 20014 with flag 714000/733706
76.12/74.13	c cleaning 9996 clauses out of 20014 with flag 724000/743706
77.12/75.14	c cleaning 10003 clauses out of 20018 with flag 734000/753706
78.13/76.13	c cleaning 10000 clauses out of 20016 with flag 744001/763707
79.15/77.12	c cleaning 9999 clauses out of 20015 with flag 754000/773706
80.04/78.01	c cleaning 10004 clauses out of 20016 with flag 764000/783706
81.26/79.24	c cleaning 10001 clauses out of 20012 with flag 774000/793706
82.36/80.38	c cleaning 10000 clauses out of 20011 with flag 784000/803706
83.46/81.48	c cleaning 10002 clauses out of 20012 with flag 794001/813707
84.57/82.61	c cleaning 9998 clauses out of 20010 with flag 804001/823707
85.67/83.65	c cleaning 10001 clauses out of 20011 with flag 814000/833706
86.77/84.79	c cleaning 10000 clauses out of 20012 with flag 824002/843708
87.87/85.88	c cleaning 10001 clauses out of 20011 with flag 834001/853707
88.97/86.98	c cleaning 9999 clauses out of 20010 with flag 844001/863707
90.07/88.05	c cleaning 9997 clauses out of 20011 with flag 854001/873707
91.06/89.01	c cleaning 10002 clauses out of 20015 with flag 864002/883708
92.16/90.10	c cleaning 10000 clauses out of 20012 with flag 874001/893707
92.96/90.96	c cleaning 10000 clauses out of 20012 with flag 884001/903707
93.97/91.97	c cleaning 9999 clauses out of 20012 with flag 894001/913707
94.97/92.94	c cleaning 9999 clauses out of 20012 with flag 904000/923706
96.07/94.01	c cleaning 10001 clauses out of 20014 with flag 914001/933707
97.18/95.10	c cleaning 10006 clauses out of 20013 with flag 924001/943707
97.90/95.89	c cleaning 9997 clauses out of 20006 with flag 934000/953706
98.68/96.66	c cleaning 9998 clauses out of 20010 with flag 944001/963707
99.38/97.35	c cleaning 10003 clauses out of 20011 with flag 954000/973706
100.29/98.25	c cleaning 9998 clauses out of 20008 with flag 964000/983706
101.59/99.56	c cleaning 9996 clauses out of 20010 with flag 974000/993706
102.99/100.92	c cleaning 9995 clauses out of 20014 with flag 984000/1003706
104.20/102.10	c cleaning 9998 clauses out of 20019 with flag 994000/1013706
104.80/102.73	c Got one! Elapsed wall clock time (in seconds):102.619
104.80/102.73	o 257
105.30/103.20	c cleaning 11456 clauses out of 22937 with flag 5000/1026622
105.90/103.85	c cleaning 8722 clauses out of 17482 with flag 11001/1032623
106.80/104.71	c cleaning 7862 clauses out of 15760 with flag 18001/1039623
107.72/105.71	c cleaning 7930 clauses out of 15898 with flag 26001/1047623
108.82/106.72	c cleaning 8468 clauses out of 16967 with flag 35000/1056622
109.81/107.76	c cleaning 9234 clauses out of 18499 with flag 45000/1066622
110.81/108.78	c cleaning 9617 clauses out of 19266 with flag 55001/1076623
111.91/109.80	c cleaning 9804 clauses out of 19648 with flag 65000/1086622
112.82/110.79	c cleaning 9914 clauses out of 19844 with flag 75000/1096622
114.02/111.94	c cleaning 9954 clauses out of 19930 with flag 85000/1106622
115.23/113.10	c cleaning 9982 clauses out of 19976 with flag 95000/1116622
116.33/114.22	c cleaning 9987 clauses out of 19994 with flag 105000/1126622
117.53/115.46	c cleaning 9998 clauses out of 20007 with flag 115000/1136622
118.63/116.56	c cleaning 9999 clauses out of 20009 with flag 125000/1146622
119.53/117.46	c cleaning 10001 clauses out of 20010 with flag 135000/1156622
120.74/118.63	c cleaning 10001 clauses out of 20010 with flag 145001/1166623
121.95/119.89	c cleaning 9999 clauses out of 20009 with flag 155001/1176623
123.05/121.00	c cleaning 10002 clauses out of 20010 with flag 165001/1186623
124.28/122.14	c cleaning 9997 clauses out of 20008 with flag 175001/1196623
125.48/123.35	c cleaning 10000 clauses out of 20011 with flag 185001/1206623
126.67/124.50	c cleaning 10001 clauses out of 20011 with flag 195001/1216623
127.77/125.62	c cleaning 9999 clauses out of 20010 with flag 205001/1226623
128.57/126.47	c cleaning 9993 clauses out of 20012 with flag 215002/1236624
129.57/127.42	c cleaning 10000 clauses out of 20018 with flag 225001/1246623
130.48/128.33	c cleaning 10000 clauses out of 20017 with flag 235000/1256622
131.08/128.90	c Got one! Elapsed wall clock time (in seconds):128.789
131.08/128.90	o 19
131.38/129.27	c cleaning 11168 clauses out of 22357 with flag 5004/1268962
131.99/129.89	c cleaning 8579 clauses out of 17187 with flag 11002/1274960
132.78/130.64	c cleaning 7786 clauses out of 15607 with flag 18001/1281959
133.69/131.54	c cleaning 7889 clauses out of 15820 with flag 26000/1289958
134.69/132.52	c cleaning 8457 clauses out of 16932 with flag 35001/1298959
135.79/133.61	c cleaning 9227 clauses out of 18474 with flag 45000/1308958
136.89/134.76	c cleaning 9616 clauses out of 19248 with flag 55001/1318959
137.99/135.84	c cleaning 9806 clauses out of 19631 with flag 65000/1328958
139.09/136.92	c cleaning 9904 clauses out of 19826 with flag 75001/1338959
140.00/137.83	c cleaning 9947 clauses out of 19921 with flag 85000/1348958
140.91/138.77	c cleaning 9973 clauses out of 19974 with flag 95000/1358958
141.91/139.74	c cleaning 10001 clauses out of 20002 with flag 105001/1368959
143.02/140.91	c cleaning 9997 clauses out of 20001 with flag 115001/1378959
144.30/142.13	c cleaning 9997 clauses out of 20004 with flag 125001/1388959
145.41/143.29	c cleaning 9999 clauses out of 20008 with flag 135002/1398960
146.61/144.44	c cleaning 10003 clauses out of 20007 with flag 145000/1408958
147.71/145.51	c cleaning 9997 clauses out of 20005 with flag 155001/1418959
148.41/146.26	c cleaning 10000 clauses out of 20008 with flag 165001/1428959
149.42/147.27	c cleaning 10002 clauses out of 20008 with flag 175001/1438959
150.53/148.35	c cleaning 9998 clauses out of 20006 with flag 185001/1448959
151.63/149.45	c cleaning 9996 clauses out of 20007 with flag 195000/1458958
152.63/150.47	c cleaning 10000 clauses out of 20012 with flag 205001/1468959
153.43/151.21	c cleaning 9998 clauses out of 20011 with flag 215000/1478958
153.54/151.36	c Got one! Elapsed wall clock time (in seconds):151.249
153.54/151.36	o 15
153.74/151.55	c cleaning 7660 clauses out of 15353 with flag 3001/1484298
154.24/152.09	c cleaning 6824 clauses out of 13692 with flag 9000/1490297
154.94/152.76	c cleaning 6920 clauses out of 13869 with flag 16001/1497298
155.74/153.56	c cleaning 7458 clauses out of 14948 with flag 24000/1505297
156.55/154.35	c cleaning 8243 clauses out of 16490 with flag 33000/1514297
157.55/155.36	c cleaning 9121 clauses out of 18248 with flag 43001/1524298
158.65/156.47	c cleaning 9562 clauses out of 19126 with flag 53000/1534297
159.76/157.56	c cleaning 9782 clauses out of 19565 with flag 63001/1544298
160.96/158.70	c cleaning 9886 clauses out of 19782 with flag 73000/1554297
161.06/158.84	c Got one! Elapsed wall clock time (in seconds):158.734
161.06/158.84	o 7
161.26/159.04	c cleaning 7427 clauses out of 14909 with flag 3001/1559310
161.66/159.50	c cleaning 6710 clauses out of 13481 with flag 9000/1565309
162.49/160.22	c cleaning 6859 clauses out of 13771 with flag 16000/1572309
163.18/160.97	c cleaning 7431 clauses out of 14912 with flag 24000/1580309
164.19/161.92	c cleaning 8214 clauses out of 16482 with flag 33001/1589310
165.21/162.92	c cleaning 9110 clauses out of 18267 with flag 43000/1599309
166.21/163.98	c cleaning 9552 clauses out of 19158 with flag 53001/1609310
167.31/165.01	c cleaning 9779 clauses out of 19605 with flag 63000/1619309
168.10/165.87	c cleaning 9909 clauses out of 19828 with flag 73002/1629311
169.10/166.80	c cleaning 9953 clauses out of 19917 with flag 83000/1639309
169.90/167.69	c cleaning 9978 clauses out of 19965 with flag 93001/1649310
170.80/168.54	c cleaning 9988 clauses out of 19987 with flag 103001/1659310
171.71/169.47	c cleaning 9994 clauses out of 19998 with flag 113000/1669309
172.20/169.96	c Got one! Elapsed wall clock time (in seconds):169.853
172.20/169.96	o 3
172.60/170.30	c cleaning 11345 clauses out of 22705 with flag 5001/1682010
173.01/170.71	c cleaning 8672 clauses out of 17360 with flag 11001/1688010
173.41/171.16	c cleaning 7833 clauses out of 15688 with flag 18001/1695010
173.92/171.67	c cleaning 7918 clauses out of 15855 with flag 26001/1703010
174.51/172.26	c cleaning 8455 clauses out of 16937 with flag 35001/1712010
175.13/172.89	c cleaning 9230 clauses out of 18482 with flag 45001/1722010
175.81/173.55	c cleaning 9616 clauses out of 19251 with flag 55000/1732009
176.52/174.23	c cleaning 9810 clauses out of 19635 with flag 65000/1742009
177.12/174.90	c cleaning 9903 clauses out of 19826 with flag 75001/1752010
177.83/175.59	c cleaning 9949 clauses out of 19922 with flag 85000/1762009
178.53/176.26	c cleaning 9976 clauses out of 19973 with flag 95000/1772009
179.33/177.01	c cleaning 9992 clauses out of 19998 with flag 105001/1782010
180.13/177.89	c cleaning 9995 clauses out of 20006 with flag 115001/1792010
181.13/178.85	c cleaning 10000 clauses out of 20011 with flag 125001/1802010
181.93/179.66	c cleaning 10000 clauses out of 20011 with flag 135001/1812010
182.75/180.44	c cleaning 10000 clauses out of 20012 with flag 145002/1822011
183.55/181.28	c cleaning 10001 clauses out of 20010 with flag 155000/1832009
184.45/182.14	c cleaning 10002 clauses out of 20009 with flag 165000/1842009
185.35/183.01	c cleaning 9998 clauses out of 20007 with flag 175000/1852009
186.17/183.89	c cleaning 10001 clauses out of 20009 with flag 185000/1862009
187.05/184.74	c cleaning 9998 clauses out of 20008 with flag 195000/1872009
187.96/185.64	c cleaning 9996 clauses out of 20010 with flag 205000/1882009
188.76/186.48	c cleaning 10002 clauses out of 20014 with flag 215000/1892009
189.66/187.31	c cleaning 10000 clauses out of 20012 with flag 225000/1902009
190.48/188.18	c cleaning 10004 clauses out of 20012 with flag 235000/1912009
191.26/188.97	c cleaning 9999 clauses out of 20010 with flag 245002/1922011
192.07/189.78	c cleaning 9996 clauses out of 20009 with flag 255001/1932010
193.07/190.72	c cleaning 9998 clauses out of 20012 with flag 265000/1942009
193.97/191.62	c cleaning 9997 clauses out of 20015 with flag 275001/1952010
194.89/192.54	c cleaning 9999 clauses out of 20017 with flag 285000/1962009
195.78/193.43	c cleaning 10003 clauses out of 20018 with flag 295000/1972009
196.68/194.38	c cleaning 10006 clauses out of 20016 with flag 305001/1982010
197.58/195.28	c cleaning 9999 clauses out of 20009 with flag 315000/1992009
198.48/196.13	c cleaning 10000 clauses out of 20010 with flag 325000/2002009
199.29/197.00	c cleaning 10003 clauses out of 20010 with flag 335000/2012009
200.18/197.88	c cleaning 10002 clauses out of 20008 with flag 345001/2022010
201.18/198.89	c cleaning 9998 clauses out of 20009 with flag 355004/2032013
202.18/199.84	c cleaning 10000 clauses out of 20008 with flag 365001/2042010
203.18/200.87	c cleaning 9997 clauses out of 20007 with flag 375000/2052009
204.29/201.93	c cleaning 9998 clauses out of 20010 with flag 385000/2062009
205.29/202.93	c cleaning 10001 clauses out of 20013 with flag 395001/2072010
206.29/203.97	c cleaning 9999 clauses out of 20011 with flag 405000/2082009
207.29/204.91	c cleaning 10003 clauses out of 20013 with flag 415001/2092010
208.11/205.79	c cleaning 9998 clauses out of 20010 with flag 425001/2102010
209.21/206.88	c cleaning 9999 clauses out of 20012 with flag 435001/2112010
210.20/207.89	c cleaning 9998 clauses out of 20013 with flag 445001/2122010
211.20/208.82	c cleaning 10003 clauses out of 20014 with flag 455000/2132009
212.10/209.77	c cleaning 10002 clauses out of 20014 with flag 465003/2142012
212.90/210.59	c cleaning 10001 clauses out of 20009 with flag 475000/2152009
213.81/211.46	c cleaning 9998 clauses out of 20008 with flag 485000/2162009
214.91/212.58	c cleaning 10002 clauses out of 20010 with flag 495000/2172009
216.01/213.62	c cleaning 9997 clauses out of 20009 with flag 505001/2182010
216.82/214.48	c cleaning 10002 clauses out of 20011 with flag 515000/2192009
217.82/215.44	c cleaning 10004 clauses out of 20009 with flag 525000/2202009
218.72/216.36	c cleaning 9999 clauses out of 20005 with flag 535000/2212009
219.63/217.23	c cleaning 9996 clauses out of 20007 with flag 545001/2222010
220.44/218.08	c cleaning 9998 clauses out of 20010 with flag 555000/2232009
221.24/218.87	c cleaning 10004 clauses out of 20012 with flag 565000/2242009
222.24/219.85	c cleaning 9999 clauses out of 20008 with flag 575000/2252009
223.25/220.88	c cleaning 10001 clauses out of 20011 with flag 585002/2262011
224.05/221.66	c cleaning 9997 clauses out of 20008 with flag 595001/2272010
224.95/222.53	c cleaning 9998 clauses out of 20011 with flag 605001/2282010
225.87/223.43	c cleaning 10000 clauses out of 20012 with flag 615000/2292009
226.76/224.31	c cleaning 10001 clauses out of 20013 with flag 625001/2302010
227.66/225.28	c cleaning 10002 clauses out of 20011 with flag 635000/2312009
228.66/226.27	c cleaning 10001 clauses out of 20010 with flag 645001/2322010
229.66/227.26	c cleaning 9998 clauses out of 20009 with flag 655001/2332010
230.66/228.27	c cleaning 9999 clauses out of 20010 with flag 665000/2342009
231.66/229.27	c cleaning 10001 clauses out of 20011 with flag 675000/2352009
232.77/230.32	c cleaning 10001 clauses out of 20010 with flag 685000/2362009
233.77/231.39	c cleaning 10001 clauses out of 20010 with flag 695001/2372010
234.97/232.50	c cleaning 9999 clauses out of 20009 with flag 705001/2382010
235.97/233.54	c cleaning 10001 clauses out of 20010 with flag 715001/2392010
236.97/234.51	c cleaning 10005 clauses out of 20009 with flag 725001/2402010
237.89/235.50	c cleaning 9994 clauses out of 20003 with flag 735000/2412009
238.88/236.41	c cleaning 9999 clauses out of 20010 with flag 745001/2422010
239.78/237.39	c cleaning 9998 clauses out of 20010 with flag 755000/2432009
240.78/238.34	c cleaning 10001 clauses out of 20012 with flag 765000/2442009
241.88/239.42	c cleaning 10001 clauses out of 20011 with flag 775000/2452009
243.08/240.63	c cleaning 10003 clauses out of 20011 with flag 785001/2462010
244.19/241.79	c cleaning 9998 clauses out of 20006 with flag 795000/2472009
245.40/242.96	c cleaning 9998 clauses out of 20008 with flag 805000/2482009
246.60/244.13	c cleaning 10001 clauses out of 20010 with flag 815000/2492009
247.92/245.43	c cleaning 10000 clauses out of 20008 with flag 825000/2502009
248.51/246.09	c starts		: 234
248.51/246.09	c conflicts		: 2508305
248.51/246.09	c decisions		: 2553441
248.51/246.09	c propagations		: 56604564
248.51/246.09	c inspects		: 1925939244
248.51/246.09	c shortcuts		: 0
248.51/246.09	c learnt literals	: 15
248.51/246.09	c learnt binary clauses	: 88
248.51/246.09	c learnt ternary clauses	: 304
248.51/246.09	c learnt constraints	: 2508289
248.51/246.09	c ignored constraints	: 0
248.51/246.09	c root simplifications	: 0
248.51/246.09	c removed literals (reason simplification)	: 103602913
248.51/246.09	c reason swapping (by a shorter reason)	: 0
248.51/246.09	c Calls to reduceDB	: 258
248.51/246.09	c number of reductions to clauses (during analyze)	: 0
248.51/246.09	c number of learned constraints concerned by reduction	: 0
248.51/246.09	c number of learning phase by resolution	: 0
248.51/246.09	c number of learning phase by cutting planes	: 0
248.51/246.09	c speed (assignments/second)	: 743505.5430042557
248.51/246.09	c non guided choices	6723
248.51/246.09	c learnt constraints type 
248.51/246.09	c constraints type 
248.51/246.09	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 405
248.51/246.09	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 421
248.51/246.09	s OPTIMUM FOUND
248.51/246.09	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 
248.51/246.09	c objective function=3
248.51/246.09	c Total wall clock time (in seconds): 245.987

Verifier Data 

OK	3

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

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

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


[startup+0 s]
/proc/loadavg: 1.97 2.02 2.00 2/507 27579
/proc/meminfo: memFree=27132144/32951124 swapFree=63649284/67111528
[pid=27579] ppid=27577 vsize=13526316 CPUtime=0 cores=0,2,4,6
/proc/27579/stat : 27579 (java) S 27577 27579 23523 0 -1 4202496 5916 0 1 0 0 0 0 0 25 0 2 0 827437548 13850947584 5619 33554432000 1073741824 1073778376 140736907071920 18446744073709551615 210216450021 0 0 0 16784584 18446744073709551615 0 0 17 4 0 0 0
/proc/27579/statm: 3381579 5631 917 9 0 3372735 0
[pid=27579/tid=27580] ppid=27577 vsize=13526316 CPUtime=0 cores=0,2,4,6
/proc/27579/task/27580/stat : 27580 (java) R 27577 27579 23523 0 -1 4202560 7176 0 1 0 0 0 0 0 25 0 2 0 827437548 13850947584 7992 33554432000 1073741824 1073778376 140736907071920 18446744073709551615 210204341307 0 4 0 16784584 0 0 0 -1 4 0 0 0

[startup+0.112498 s]
/proc/loadavg: 1.97 2.02 2.00 2/507 27579
/proc/meminfo: memFree=27132144/32951124 swapFree=63649284/67111528
[pid=27579] ppid=27577 vsize=13622292 CPUtime=0.12 cores=0,2,4,6
/proc/27579/stat : 27579 (java) S 27577 27579 23523 0 -1 4202496 15763 0 1 0 11 1 0 0 25 0 18 0 827437548 13949227008 15446 33554432000 1073741824 1073778376 140736907071920 18446744073709551615 210216450021 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/27579/statm: 3405573 15447 2126 9 0 3396307 0
[pid=27579/tid=27580] ppid=27577 vsize=13622292 CPUtime=0.1 cores=0,2,4,6
/proc/27579/task/27580/stat : 27580 (java) R 27577 27579 23523 0 -1 4202560 13777 0 1 0 9 1 0 0 18 0 18 0 827437548 13949227008 15447 33554432000 1073741824 1073778376 140736907071920 18446744073709551615 210204307777 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.12
Current children cumulated vsize (KiB) 13622292

[startup+0.200467 s]
/proc/loadavg: 1.97 2.02 2.00 2/507 27579
/proc/meminfo: memFree=27132144/32951124 swapFree=63649284/67111528
[pid=27579] ppid=27577 vsize=13623480 CPUtime=0.27 cores=0,2,4,6
/proc/27579/stat : 27579 (java) S 27577 27579 23523 0 -1 4202496 16742 0 1 0 26 1 0 0 25 0 19 0 827437548 13950443520 16281 33554432000 1073741824 1073778376 140736907071920 18446744073709551615 210216450021 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/27579/statm: 3405870 16282 2193 9 0 3396604 0
[pid=27579/tid=27580] ppid=27577 vsize=13623480 CPUtime=0.18 cores=0,2,4,6
/proc/27579/task/27580/stat : 27580 (java) R 27577 27579 23523 0 -1 4202560 14265 0 1 0 17 1 0 0 19 0 19 0 827437548 13950443520 16282 33554432000 1073741824 1073778376 140736907071920 18446744073709551615 47262655834963 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.27
Current children cumulated vsize (KiB) 13623480

[startup+0.306597 s]
/proc/loadavg: 1.97 2.02 2.00 2/507 27579
/proc/meminfo: memFree=27132144/32951124 swapFree=63649284/67111528
[pid=27579] ppid=27577 vsize=13625768 CPUtime=0.58 cores=0,2,4,6
/proc/27579/stat : 27579 (java) S 27577 27579 23523 0 -1 4202496 18891 0 1 0 56 2 0 0 25 0 19 0 827437548 13952786432 17452 33554432000 1073741824 1073778376 140736907071920 18446744073709551615 210216450021 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/27579/statm: 3406284 17334 2216 9 0 3397018 0
[pid=27579/tid=27580] ppid=27577 vsize=13625136 CPUtime=0.3 cores=0,2,4,6
/proc/27579/task/27580/stat : 27580 (java) R 27577 27579 23523 0 -1 4202560 14339 0 1 0 29 1 0 0 19 0 19 0 827437548 13952139264 17334 33554432000 1073741824 1073778376 140736907071920 18446744073709551615 46912505583260 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.58
Current children cumulated vsize (KiB) 13625768

[startup+0.700431 s]
/proc/loadavg: 1.97 2.02 2.00 2/507 27579
/proc/meminfo: memFree=27132144/32951124 swapFree=63649284/67111528
[pid=27579] ppid=27577 vsize=13625436 CPUtime=1.06 cores=0,2,4,6
/proc/27579/stat : 27579 (java) S 27577 27579 23523 0 -1 4202496 19872 0 1 0 104 2 0 0 25 0 19 0 827437548 13952446464 17959 33554432000 1073741824 1073778376 140736907071920 18446744073709551615 210216450021 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/27579/statm: 3406359 17959 2221 9 0 3397093 0
[pid=27579/tid=27580] ppid=27577 vsize=13625436 CPUtime=0.68 cores=0,2,4,6
/proc/27579/task/27580/stat : 27580 (java) R 27577 27579 23523 0 -1 4202560 14918 0 1 0 67 1 0 0 19 0 19 0 827437548 13952446464 17959 33554432000 1073741824 1073778376 140736907071920 18446744073709551615 46912505656338 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1.06
Current children cumulated vsize (KiB) 13625436

[startup+1.50131 s]
/proc/loadavg: 1.97 2.02 2.00 3/526 27598
/proc/meminfo: memFree=27057476/32951124 swapFree=63649284/67111528
[pid=27579] ppid=27577 vsize=13625280 CPUtime=1.93 cores=0,2,4,6
/proc/27579/stat : 27579 (java) S 27577 27579 23523 0 -1 4202496 21776 0 1 0 191 2 0 0 25 0 19 0 827437548 13952286720 19740 33554432000 1073741824 1073778376 140736907071920 18446744073709551615 210216450021 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/27579/statm: 3406320 19740 2249 9 0 3397054 0
[pid=27579/tid=27580] ppid=27577 vsize=13625280 CPUtime=1.45 cores=0,2,4,6
/proc/27579/task/27580/stat : 27580 (java) R 27577 27579 23523 0 -1 4202560 14953 0 1 0 144 1 0 0 20 0 19 0 827437548 13952286720 19740 33554432000 1073741824 1073778376 140736907071920 18446744073709551615 46912505634102 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=27579/tid=27582] ppid=27577 vsize=13625280 CPUtime=0 cores=0,2,4,6
/proc/27579/task/27582/stat : 27582 (java) S 27577 27579 23523 0 -1 4202560 313 0 0 0 0 0 0 0 15 0 19 0 827437550 13952286720 19740 33554432000 1073741824 1073778376 140736907071920 18446744073709551615 210216463257 0 4 0 16800975 18446604452315369856 0 0 -1 6 0 0 0
[pid=27579/tid=27583] ppid=27577 vsize=13625280 CPUtime=0 cores=0,2,4,6
/proc/27579/task/27583/stat : 27583 (java) S 27577 27579 23523 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 827437550 13952286720 19740 33554432000 1073741824 1073778376 140736907071920 18446744073709551615 210216463257 0 4 0 16800975 18446604452315369856 0 0 -1 6 0 0 0
[pid=27579/tid=27584] ppid=27577 vsize=13625280 CPUtime=0 cores=0,2,4,6
/proc/27579/task/27584/stat : 27584 (java) S 27577 27579 23523 0 -1 4202560 196 0 0 0 0 0 0 0 16 0 19 0 827437550 13952286720 19740 33554432000 1073741824 1073778376 140736907071920 18446744073709551615 210216463257 0 4 0 16800975 18446604452315369856 0 0 -1 2 0 0 0
[pid=27579/tid=27585] ppid=27577 vsize=13625280 CPUtime=0 cores=0,2,4,6
/proc/27579/task/27585/stat : 27585 (java) S 27577 27579 23523 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 827437550 13952286720 19740 33554432000 1073741824 1073778376 140736907071920 18446744073709551615 210216463257 0 4 0 16800975 18446604452315369856 0 0 -1 2 0 0 0
[pid=27579/tid=27586] ppid=27577 vsize=13625280 CPUtime=0 cores=0,2,4,6
/proc/27579/task/27586/stat : 27586 (java) S 27577 27579 23523 0 -1 4202560 1 0 0 0 0 0 0 0 16 0 19 0 827437550 13952286720 19740 33554432000 1073741824 1073778376 140736907071920 18446744073709551615 210216463257 0 4 0 16800975 18446604452315369856 0 0 -1 6 0 0 0
[pid=27579/tid=27587] ppid=27577 vsize=13625280 CPUtime=0 cores=0,2,4,6
/proc/27579/task/27587/stat : 27587 (java) S 27577 27579 23523 0 -1 4202560 246 0 0 0 0 0 0 0 15 0 19 0 827437550 13952286720 19740 33554432000 1073741824 1073778376 140736907071920 18446744073709551615 210216463257 0 4 0 16800975 18446604452315369856 0 0 -1 2 0 0 0
[pid=27579/tid=27588] ppid=27577 vsize=13625280 CPUtime=0 cores=0,2,4,6
/proc/27579/task/27588/stat : 27588 (java) S 27577 27579 23523 0 -1 4202560 119 0 0 0 0 0 0 0 15 0 19 0 827437550 13952286720 19740 33554432000 1073741824 1073778376 140736907071920 18446744073709551615 210216463257 0 4 0 16800975 18446604452315369856 0 0 -1 6 0 0 0
[pid=27579/tid=27589] ppid=27577 vsize=13625280 CPUtime=0 cores=0,2,4,6
/proc/27579/task/27589/stat : 27589 (java) S 27577 27579 23523 0 -1 4202560 108 0 0 0 0 0 0 0 16 0 19 0 827437550 13952286720 19740 33554432000 1073741824 1073778376 140736907071920 18446744073709551615 210216463257 0 4 0 16800975 18446604452315369856 0 0 -1 6 0 0 0
[pid=27579/tid=27590] ppid=27577 vsize=13625280 CPUtime=0.02 cores=0,2,4,6
/proc/27579/task/27590/stat : 27590 (java) S 27577 27579 23523 0 -1 4202560 778 0 0 0 2 0 0 0 16 0 19 0 827437551 13952286720 19740 33554432000 1073741824 1073778376 140736907071920 18446744073709551615 210216463872 0 0 0 16800975 18446604452315369856 0 0 -1 4 0 0 0
[pid=27579/tid=27591] ppid=27577 vsize=13625280 CPUtime=0 cores=0,2,4,6
/proc/27579/task/27591/stat : 27591 (java) S 27577 27579 23523 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 827437552 13952286720 19740 33554432000 1073741824 1073778376 140736907071920 18446744073709551615 210216463257 0 4 0 16800975 18446604452315369856 0 0 -1 4 0 0 0
[pid=27579/tid=27592] ppid=27577 vsize=13625280 CPUtime=0 cores=0,2,4,6
/proc/27579/task/27592/stat : 27592 (java) S 27577 27579 23523 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 827437552 13952286720 19740 33554432000 1073741824 1073778376 140736907071920 18446744073709551615 210216463257 0 4 0 16800975 18446604452315369856 0 0 -1 4 0 0 0
[pid=27579/tid=27593] ppid=27577 vsize=13625280 CPUtime=0 cores=0,2,4,6
/proc/27579/task/27593/stat : 27593 (java) S 27577 27579 23523 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827437554 13952286720 19740 33554432000 1073741824 1073778376 140736907071920 18446744073709551615 210216470961 0 4 0 16800975 18446604452315369856 0 0 -1 4 0 0 0
[pid=27579/tid=27594] ppid=27577 vsize=13625280 CPUtime=0.21 cores=0,2,4,6
/proc/27579/task/27594/stat : 27594 (java) S 27577 27579 23523 0 -1 4202560 1533 0 0 0 21 0 0 0 18 0 19 0 827437554 13952286720 19740 33554432000 1073741824 1073778376 140736907071920 18446744073709551615 210216463257 0 4 0 16800975 18446604452315369856 0 0 -1 6 0 0 0
[pid=27579/tid=27595] ppid=27577 vsize=13625280 CPUtime=0.21 cores=0,2,4,6
/proc/27579/task/27595/stat : 27595 (java) S 27577 27579 23523 0 -1 4202560 2378 0 0 0 21 0 0 0 15 0 19 0 827437554 13952286720 19740 33554432000 1073741824 1073778376 140736907071920 18446744073709551615 210216463257 0 4 0 16800975 18446604452315369856 0 0 -1 2 0 0 0
[pid=27579/tid=27596] ppid=27577 vsize=13625280 CPUtime=0 cores=0,2,4,6
/proc/27579/task/27596/stat : 27596 (java) S 27577 27579 23523 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827437554 13952286720 19740 33554432000 1073741824 1073778376 140736907071920 18446744073709551615 210216463257 0 4 0 16800975 18446604452315369856 0 0 -1 4 0 0 0
[pid=27579/tid=27597] ppid=27577 vsize=13625280 CPUtime=0 cores=0,2,4,6
/proc/27579/task/27597/stat : 27597 (java) S 27577 27579 23523 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 827437554 13952286720 19740 33554432000 1073741824 1073778376 140736907071920 18446744073709551615 210216463872 0 4 0 16800975 18446604452315369856 0 0 -1 0 0 0 0
[pid=27579/tid=27598] ppid=27577 vsize=13625280 CPUtime=0 cores=0,2,4,6
/proc/27579/task/27598/stat : 27598 (java) S 27577 27579 23523 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 827437566 13952286720 19740 33554432000 1073741824 1073778376 140736907071920 18446744073709551615 210216463872 0 4 0 16800975 18446604452315369856 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1.93
Current children cumulated vsize (KiB) 13625280

[startup+3.10104 s]
/proc/loadavg: 1.97 2.02 2.00 3/526 27598
/proc/meminfo: memFree=27049788/32951124 swapFree=63649284/67111528
[pid=27579] ppid=27577 vsize=13625640 CPUtime=3.57 cores=0,2,4,6
/proc/27579/stat : 27579 (java) S 27577 27579 23523 0 -1 4202496 22492 0 1 0 355 2 0 0 25 0 19 0 827437548 13952655360 20452 33554432000 1073741824 1073778376 140736907071920 18446744073709551615 210216450021 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/27579/statm: 3406410 20452 2250 9 0 3397144 0
[pid=27579/tid=27580] ppid=27577 vsize=13625640 CPUtime=2.99 cores=0,2,4,6
/proc/27579/task/27580/stat : 27580 (java) R 27577 27579 23523 0 -1 4202560 14962 0 1 0 298 1 0 0 25 0 19 0 827437548 13952655360 20452 33554432000 1073741824 1073778376 140736907071920 18446744073709551615 46912505656338 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=27579/tid=27582] ppid=27577 vsize=13625640 CPUtime=0 cores=0,2,4,6
/proc/27579/task/27582/stat : 27582 (java) S 27577 27579 23523 0 -1 4202560 313 0 0 0 0 0 0 0 15 0 19 0 827437550 13952655360 20452 33554432000 1073741824 1073778376 140736907071920 18446744073709551615 210216463257 0 4 0 16800975 18446604452315369856 0 0 -1 6 0 0 0
[pid=27579/tid=27583] ppid=27577 vsize=13625640 CPUtime=0 cores=0,2,4,6
/proc/27579/task/27583/stat : 27583 (java) S 27577 27579 23523 0 -1 4202560 129 0 0 0 0 0 0 0 15 0 19 0 827437550 13952655360 20452 33554432000 1073741824 1073778376 140736907071920 18446744073709551615 210216463257 0 4 0 16800975 18446604452315369856 0 0 -1 6 0 0 0
[pid=27579/tid=27584] ppid=27577 vsize=13625640 CPUtime=0 cores=0,2,4,6
/proc/27579/task/27584/stat : 27584 (java) S 27577 27579 23523 0 -1 4202560 196 0 0 0 0 0 0 0 15 0 19 0 827437550 13952655360 20452 33554432000 1073741824 1073778376 140736907071920 18446744073709551615 210216463257 0 4 0 16800975 18446604452315369856 0 0 -1 2 0 0 0
[pid=27579/tid=27585] ppid=27577 vsize=13625640 CPUtime=0 cores=0,2,4,6
/proc/27579/task/27585/stat : 27585 (java) S 27577 27579 23523 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 827437550 13952655360 20452 33554432000 1073741824 1073778376 140736907071920 18446744073709551615 210216463257 0 4 0 16800975 18446604452315369856 0 0 -1 2 0 0 0
[pid=27579/tid=27586] ppid=27577 vsize=13625640 CPUtime=0 cores=0,2,4,6
/proc/27579/task/27586/stat : 27586 (java) S 27577 27579 23523 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 827437550 13952655360 20452 33554432000 1073741824 1073778376 140736907071920 18446744073709551615 210216463257 0 4 0 16800975 18446604452315369856 0 0 -1 2 0 0 0
[pid=27579/tid=27587] ppid=27577 vsize=13625640 CPUtime=0 cores=0,2,4,6
/proc/27579/task/27587/stat : 27587 (java) S 27577 27579 23523 0 -1 4202560 248 0 0 0 0 0 0 0 15 0 19 0 827437550 13952655360 20452 33554432000 1073741824 1073778376 140736907071920 18446744073709551615 210216463257 0 4 0 16800975 18446604452315369856 0 0 -1 2 0 0 0
[pid=27579/tid=27588] ppid=27577 vsize=13625640 CPUtime=0 cores=0,2,4,6
/proc/27579/task/27588/stat : 27588 (java) S 27577 27579 23523 0 -1 4202560 123 0 0 0 0 0 0 0 15 0 19 0 827437550 13952655360 20452 33554432000 1073741824 1073778376 140736907071920 18446744073709551615 210216463257 0 4 0 16800975 18446604452315369856 0 0 -1 6 0 0 0
[pid=27579/tid=27589] ppid=27577 vsize=13625640 CPUtime=0 cores=0,2,4,6
/proc/27579/task/27589/stat : 27589 (java) S 27577 27579 23523 0 -1 4202560 130 0 0 0 0 0 0 0 15 0 19 0 827437550 13952655360 20452 33554432000 1073741824 1073778376 140736907071920 18446744073709551615 210216463257 0 4 0 16800975 18446604452315369856 0 0 -1 2 0 0 0
[pid=27579/tid=27590] ppid=27577 vsize=13625640 CPUtime=0.07 cores=0,2,4,6
/proc/27579/task/27590/stat : 27590 (java) S 27577 27579 23523 0 -1 4202560 1231 0 0 0 7 0 0 0 16 0 19 0 827437551 13952655360 20452 33554432000 1073741824 1073778376 140736907071920 18446744073709551615 210216463872 0 0 0 16800975 18446604452315369856 0 0 -1 4 0 0 0
[pid=27579/tid=27591] ppid=27577 vsize=13625640 CPUtime=0 cores=0,2,4,6
/proc/27579/task/27591/stat : 27591 (java) S 27577 27579 23523 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 827437552 13952655360 20452 33554432000 1073741824 1073778376 140736907071920 18446744073709551615 210216463257 0 4 0 16800975 18446604452315369856 0 0 -1 4 0 0 0
[pid=27579/tid=27592] ppid=27577 vsize=13625640 CPUtime=0 cores=0,2,4,6
/proc/27579/task/27592/stat : 27592 (java) S 27577 27579 23523 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 827437552 13952655360 20452 33554432000 1073741824 1073778376 140736907071920 18446744073709551615 210216463257 0 4 0 16800975 18446604452315369856 0 0 -1 4 0 0 0
[pid=27579/tid=27593] ppid=27577 vsize=13625640 CPUtime=0 cores=0,2,4,6
/proc/27579/task/27593/stat : 27593 (java) S 27577 27579 23523 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827437554 13952655360 20452 33554432000 1073741824 1073778376 140736907071920 18446744073709551615 210216470961 0 4 0 16800975 18446604452315369856 0 0 -1 4 0 0 0
[pid=27579/tid=27594] ppid=27577 vsize=13625640 CPUtime=0.23 cores=0,2,4,6
/proc/27579/task/27594/stat : 27594 (java) S 27577 27579 23523 0 -1 4202560 1620 0 0 0 23 0 0 0 15 0 19 0 827437554 13952655360 20452 33554432000 1073741824 1073778376 140736907071920 18446744073709551615 210216463257 0 4 0 16800975 18446604452315369856 0 0 -1 6 0 0 0
[pid=27579/tid=27595] ppid=27577 vsize=13625640 CPUtime=0.23 cores=0,2,4,6
/proc/27579/task/27595/stat : 27595 (java) S 27577 27579 23523 0 -1 4202560 2384 0 0 0 23 0 0 0 15 0 19 0 827437554 13952655360 20452 33554432000 1073741824 1073778376 140736907071920 18446744073709551615 210216463257 0 4 0 16800975 18446604452315369856 0 0 -1 2 0 0 0
[pid=27579/tid=27596] ppid=27577 vsize=13625640 CPUtime=0 cores=0,2,4,6
/proc/27579/task/27596/stat : 27596 (java) S 27577 27579 23523 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827437554 13952655360 20452 33554432000 1073741824 1073778376 140736907071920 18446744073709551615 210216463257 0 4 0 16800975 18446604452315369856 0 0 -1 4 0 0 0
[pid=27579/tid=27597] ppid=27577 vsize=13625640 CPUtime=0 cores=0,2,4,6
/proc/27579/task/27597/stat : 27597 (java) S 27577 27579 23523 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 827437554 13952655360 20452 33554432000 1073741824 1073778376 140736907071920 18446744073709551615 210216463872 0 4 0 16800975 18446604452315369856 0 0 -1 0 0 0 0
[pid=27579/tid=27598] ppid=27577 vsize=13625640 CPUtime=0 cores=0,2,4,6
/proc/27579/task/27598/stat : 27598 (java) S 27577 27579 23523 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 827437566 13952655360 20452 33554432000 1073741824 1073778376 140736907071920 18446744073709551615 210216463872 0 4 0 16800975 18446604452315369856 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3.57
Current children cumulated vsize (KiB) 13625640

[startup+6.3015 s]
/proc/loadavg: 1.97 2.02 2.00 3/526 27598
/proc/meminfo: memFree=27047188/32951124 swapFree=63649284/67111528
[pid=27579] ppid=27577 vsize=13624084 CPUtime=6.79 cores=0,2,4,6
/proc/27579/stat : 27579 (java) S 27577 27579 23523 0 -1 4202496 23243 0 1 0 677 2 0 0 25 0 19 0 827437548 13951062016 20498 33554432000 1073741824 1073778376 140736907071920 18446744073709551615 210216450021 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/27579/statm: 3406021 20498 2250 9 0 3396755 0
[pid=27579/tid=27580] ppid=27577 vsize=13624084 CPUtime=6.11 cores=0,2,4,6
/proc/27579/task/27580/stat : 27580 (java) R 27577 27579 23523 0 -1 4202560 14967 0 1 0 610 1 0 0 25 0 19 0 827437548 13951062016 20498 33554432000 1073741824 1073778376 140736907071920 18446744073709551615 46912505656338 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=27579/tid=27582] ppid=27577 vsize=13624084 CPUtime=0 cores=0,2,4,6
/proc/27579/task/27582/stat : 27582 (java) S 27577 27579 23523 0 -1 4202560 313 0 0 0 0 0 0 0 15 0 19 0 827437550 13951062016 20498 33554432000 1073741824 1073778376 140736907071920 18446744073709551615 210216463257 0 4 0 16800975 18446604452315369856 0 0 -1 6 0 0 0
[pid=27579/tid=27583] ppid=27577 vsize=13624084 CPUtime=0 cores=0,2,4,6
/proc/27579/task/27583/stat : 27583 (java) S 27577 27579 23523 0 -1 4202560 164 0 0 0 0 0 0 0 15 0 19 0 827437550 13951062016 20498 33554432000 1073741824 1073778376 140736907071920 18446744073709551615 210216463257 0 4 0 16800975 18446604452315369856 0 0 -1 6 0 0 0
[pid=27579/tid=27584] ppid=27577 vsize=13624084 CPUtime=0 cores=0,2,4,6
/proc/27579/task/27584/stat : 27584 (java) S 27577 27579 23523 0 -1 4202560 210 0 0 0 0 0 0 0 15 0 19 0 827437550 13951062016 20498 33554432000 1073741824 1073778376 140736907071920 18446744073709551615 210216463257 0 4 0 16800975 18446604452315369856 0 0 -1 6 0 0 0
[pid=27579/tid=27585] ppid=27577 vsize=13624084 CPUtime=0 cores=0,2,4,6
/proc/27579/task/27585/stat : 27585 (java) S 27577 27579 23523 0 -1 4202560 41 0 0 0 0 0 0 0 15 0 19 0 827437550 13951062016 20498 33554432000 1073741824 1073778376 140736907071920 18446744073709551615 210216463257 0 4 0 16800975 18446604452315369856 0 0 -1 6 0 0 0
[pid=27579/tid=27586] ppid=27577 vsize=13624084 CPUtime=0 cores=0,2,4,6
/proc/27579/task/27586/stat : 27586 (java) S 27577 27579 23523 0 -1 4202560 7 0 0 0 0 0 0 0 16 0 19 0 827437550 13951062016 20498 33554432000 1073741824 1073778376 140736907071920 18446744073709551615 210216463257 0 4 0 16800975 18446604452315369856 0 0 -1 2 0 0 0
[pid=27579/tid=27587] ppid=27577 vsize=13624084 CPUtime=0 cores=0,2,4,6
/proc/27579/task/27587/stat : 27587 (java) S 27577 27579 23523 0 -1 4202560 289 0 0 0 0 0 0 0 15 0 19 0 827437550 13951062016 20498 33554432000 1073741824 1073778376 140736907071920 18446744073709551615 210216463257 0 4 0 16800975 18446604452315369856 0 0 -1 4 0 0 0
[pid=27579/tid=27588] ppid=27577 vsize=13624084 CPUtime=0 cores=0,2,4,6
/proc/27579/task/27588/stat : 27588 (java) S 27577 27579 23523 0 -1 4202560 124 0 0 0 0 0 0 0 16 0 19 0 827437550 13951062016 20498 33554432000 1073741824 1073778376 140736907071920 18446744073709551615 210216463257 0 4 0 16800975 18446604452315369856 0 0 -1 6 0 0 0
[pid=27579/tid=27589] ppid=27577 vsize=13624084 CPUtime=0 cores=0,2,4,6
/proc/27579/task/27589/stat : 27589 (java) S 27577 27579 23523 0 -1 4202560 159 0 0 0 0 0 0 0 16 0 19 0 827437550 13951062016 20498 33554432000 1073741824 1073778376 140736907071920 18446744073709551615 210216463257 0 4 0 16800975 18446604452315369856 0 0 -1 2 0 0 0
[pid=27579/tid=27590] ppid=27577 vsize=13624084 CPUtime=0.14 cores=0,2,4,6
/proc/27579/task/27590/stat : 27590 (java) S 27577 27579 23523 0 -1 4202560 1813 0 0 0 14 0 0 0 16 0 19 0 827437551 13951062016 20498 33554432000 1073741824 1073778376 140736907071920 18446744073709551615 210216463872 0 0 0 16800975 18446604452315369856 0 0 -1 4 0 0 0
[pid=27579/tid=27591] ppid=27577 vsize=13624084 CPUtime=0 cores=0,2,4,6
/proc/27579/task/27591/stat : 27591 (java) S 27577 27579 23523 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 827437552 13951062016 20498 33554432000 1073741824 1073778376 140736907071920 18446744073709551615 210216463257 0 4 0 16800975 18446604452315369856 0 0 -1 4 0 0 0
[pid=27579/tid=27592] ppid=27577 vsize=13624084 CPUtime=0 cores=0,2,4,6
/proc/27579/task/27592/stat : 27592 (java) S 27577 27579 23523 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 827437552 13951062016 20498 33554432000 1073741824 1073778376 140736907071920 18446744073709551615 210216463257 0 4 0 16800975 18446604452315369856 0 0 -1 4 0 0 0
[pid=27579/tid=27593] ppid=27577 vsize=13624084 CPUtime=0 cores=0,2,4,6
/proc/27579/task/27593/stat : 27593 (java) S 27577 27579 23523 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827437554 13951062016 20498 33554432000 1073741824 1073778376 140736907071920 18446744073709551615 210216470961 0 4 0 16800975 18446604452315369856 0 0 -1 4 0 0 0
[pid=27579/tid=27594] ppid=27577 vsize=13624084 CPUtime=0.23 cores=0,2,4,6
/proc/27579/task/27594/stat : 27594 (java) S 27577 27579 23523 0 -1 4202560 1620 0 0 0 23 0 0 0 15 0 19 0 827437554 13951062016 20498 33554432000 1073741824 1073778376 140736907071920 18446744073709551615 210216463257 0 4 0 16800975 18446604452315369856 0 0 -1 6 0 0 0
[pid=27579/tid=27595] ppid=27577 vsize=13624084 CPUtime=0.24 cores=0,2,4,6
/proc/27579/task/27595/stat : 27595 (java) S 27577 27579 23523 0 -1 4202560 2387 0 0 0 24 0 0 0 15 0 19 0 827437554 13951062016 20498 33554432000 1073741824 1073778376 140736907071920 18446744073709551615 210216463257 0 4 0 16800975 18446604452315369856 0 0 -1 2 0 0 0

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

[pid=27579/tid=27587] ppid=27577 vsize=13640288 CPUtime=0.15 cores=0,2,4,6
/proc/27579/task/27587/stat : 27587 (java) S 27577 27579 23523 0 -1 4202560 366 0 0 0 15 0 0 0 16 0 19 0 827437550 13967654912 31097 33554432000 1073741824 1073778376 140736907071920 18446744073709551615 210216463257 0 4 0 16800975 18446604452315369856 0 0 -1 6 0 0 0
[pid=27579/tid=27588] ppid=27577 vsize=13640288 CPUtime=0.14 cores=0,2,4,6
/proc/27579/task/27588/stat : 27588 (java) S 27577 27579 23523 0 -1 4202560 155 0 0 0 14 0 0 0 15 0 19 0 827437550 13967654912 31097 33554432000 1073741824 1073778376 140736907071920 18446744073709551615 210216463257 0 4 0 16800975 18446604452315369856 0 0 -1 0 0 0 0
[pid=27579/tid=27589] ppid=27577 vsize=13640288 CPUtime=0.13 cores=0,2,4,6
/proc/27579/task/27589/stat : 27589 (java) S 27577 27579 23523 0 -1 4202560 208 0 0 0 13 0 0 0 15 0 19 0 827437550 13967654912 31097 33554432000 1073741824 1073778376 140736907071920 18446744073709551615 210216463257 0 4 0 16800975 18446604452315369856 0 0 -1 0 0 0 0
[pid=27579/tid=27590] ppid=27577 vsize=13640288 CPUtime=5.43 cores=0,2,4,6
/proc/27579/task/27590/stat : 27590 (java) S 27577 27579 23523 0 -1 4202560 4370 0 0 0 539 4 0 0 16 0 19 0 827437551 13967654912 31097 33554432000 1073741824 1073778376 140736907071920 18446744073709551615 210216463872 0 0 0 16800975 18446604452315369856 0 0 -1 4 0 0 0
[pid=27579/tid=27591] ppid=27577 vsize=13640288 CPUtime=0 cores=0,2,4,6
/proc/27579/task/27591/stat : 27591 (java) S 27577 27579 23523 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 827437552 13967654912 31097 33554432000 1073741824 1073778376 140736907071920 18446744073709551615 210216463257 0 4 0 16800975 18446604452315369856 0 0 -1 4 0 0 0
[pid=27579/tid=27592] ppid=27577 vsize=13640288 CPUtime=0 cores=0,2,4,6
/proc/27579/task/27592/stat : 27592 (java) S 27577 27579 23523 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 827437552 13967654912 31097 33554432000 1073741824 1073778376 140736907071920 18446744073709551615 210216463257 0 4 0 16800975 18446604452315369856 0 0 -1 4 0 0 0
[pid=27579/tid=27593] ppid=27577 vsize=13640288 CPUtime=0 cores=0,2,4,6
/proc/27579/task/27593/stat : 27593 (java) S 27577 27579 23523 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827437554 13967654912 31097 33554432000 1073741824 1073778376 140736907071920 18446744073709551615 210216470961 0 4 0 16800975 18446604452315369856 0 0 -1 4 0 0 0
[pid=27579/tid=27594] ppid=27577 vsize=13640288 CPUtime=0.96 cores=0,2,4,6
/proc/27579/task/27594/stat : 27594 (java) S 27577 27579 23523 0 -1 4202560 9559 0 0 0 95 1 0 0 15 0 19 0 827437554 13967654912 31097 33554432000 1073741824 1073778376 140736907071920 18446744073709551615 210216463257 0 4 0 16800975 18446604452315369856 0 0 -1 2 0 0 0
[pid=27579/tid=27595] ppid=27577 vsize=13640288 CPUtime=0.88 cores=0,2,4,6
/proc/27579/task/27595/stat : 27595 (java) S 27577 27579 23523 0 -1 4202560 14377 0 0 0 86 2 0 0 15 0 19 0 827437554 13967654912 31097 33554432000 1073741824 1073778376 140736907071920 18446744073709551615 210216463257 0 4 0 16800975 18446604452315369856 0 0 -1 2 0 0 0
[pid=27579/tid=27596] ppid=27577 vsize=13640288 CPUtime=0 cores=0,2,4,6
/proc/27579/task/27596/stat : 27596 (java) S 27577 27579 23523 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827437554 13967654912 31097 33554432000 1073741824 1073778376 140736907071920 18446744073709551615 210216463257 0 4 0 16800975 18446604452315369856 0 0 -1 4 0 0 0
[pid=27579/tid=27597] ppid=27577 vsize=13640288 CPUtime=0 cores=0,2,4,6
/proc/27579/task/27597/stat : 27597 (java) S 27577 27579 23523 0 -1 4202560 15 0 0 0 0 0 0 0 15 0 19 0 827437554 13967654912 31097 33554432000 1073741824 1073778376 140736907071920 18446744073709551615 210216463872 0 4 0 16800975 18446604452315369856 0 0 -1 0 0 0 0
[pid=27579/tid=27598] ppid=27577 vsize=13640288 CPUtime=0 cores=0,2,4,6
/proc/27579/task/27598/stat : 27598 (java) S 27577 27579 23523 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 827437566 13967654912 31097 33554432000 1073741824 1073778376 140736907071920 18446744073709551615 210216463872 0 4 0 16800975 18446604452315369856 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 245.72
Current children cumulated vsize (KiB) 13640288

[startup+244.801 s]
/proc/loadavg: 2.06 2.03 2.00 3/526 27651
/proc/meminfo: memFree=26961436/32951124 swapFree=63649284/67111528
[pid=27579] ppid=27577 vsize=13640288 CPUtime=247.31 cores=0,2,4,6
/proc/27579/stat : 27579 (java) S 27577 27579 23523 0 -1 4202496 46382 0 1 0 24718 13 0 0 25 0 19 0 827437548 13967654912 31097 33554432000 1073741824 1073778376 140736907071920 18446744073709551615 210216450021 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/27579/statm: 3410072 31097 2251 9 0 3400806 0
[pid=27579/tid=27580] ppid=27577 vsize=13640288 CPUtime=238.75 cores=0,2,4,6
/proc/27579/task/27580/stat : 27580 (java) R 27577 27579 23523 0 -1 4202560 15220 0 1 0 23873 2 0 0 25 0 19 0 827437548 13967654912 31097 33554432000 1073741824 1073778376 140736907071920 18446744073709551615 46912505509212 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=27579/tid=27582] ppid=27577 vsize=13640288 CPUtime=0.14 cores=0,2,4,6
/proc/27579/task/27582/stat : 27582 (java) S 27577 27579 23523 0 -1 4202560 352 0 0 0 14 0 0 0 15 0 19 0 827437550 13967654912 31097 33554432000 1073741824 1073778376 140736907071920 18446744073709551615 210216463257 0 4 0 16800975 18446604452315369856 0 0 -1 6 0 0 0
[pid=27579/tid=27583] ppid=27577 vsize=13640288 CPUtime=0.15 cores=0,2,4,6
/proc/27579/task/27583/stat : 27583 (java) S 27577 27579 23523 0 -1 4202560 244 0 0 0 15 0 0 0 15 0 19 0 827437550 13967654912 31097 33554432000 1073741824 1073778376 140736907071920 18446744073709551615 210216463257 0 4 0 16800975 18446604452315369856 0 0 -1 2 0 0 0
[pid=27579/tid=27584] ppid=27577 vsize=13640288 CPUtime=0.15 cores=0,2,4,6
/proc/27579/task/27584/stat : 27584 (java) S 27577 27579 23523 0 -1 4202560 244 0 0 0 15 0 0 0 15 0 19 0 827437550 13967654912 31097 33554432000 1073741824 1073778376 140736907071920 18446744073709551615 210216463257 0 4 0 16800975 18446604452315369856 0 0 -1 2 0 0 0
[pid=27579/tid=27585] ppid=27577 vsize=13640288 CPUtime=0.16 cores=0,2,4,6
/proc/27579/task/27585/stat : 27585 (java) S 27577 27579 23523 0 -1 4202560 75 0 0 0 16 0 0 0 15 0 19 0 827437550 13967654912 31097 33554432000 1073741824 1073778376 140736907071920 18446744073709551615 210216463257 0 4 0 16800975 18446604452315369856 0 0 -1 6 0 0 0
[pid=27579/tid=27586] ppid=27577 vsize=13640288 CPUtime=0.14 cores=0,2,4,6
/proc/27579/task/27586/stat : 27586 (java) S 27577 27579 23523 0 -1 4202560 49 0 0 0 14 0 0 0 15 0 19 0 827437550 13967654912 31097 33554432000 1073741824 1073778376 140736907071920 18446744073709551615 210216463257 0 4 0 16800975 18446604452315369856 0 0 -1 6 0 0 0
[pid=27579/tid=27587] ppid=27577 vsize=13640288 CPUtime=0.15 cores=0,2,4,6
/proc/27579/task/27587/stat : 27587 (java) S 27577 27579 23523 0 -1 4202560 366 0 0 0 15 0 0 0 15 0 19 0 827437550 13967654912 31097 33554432000 1073741824 1073778376 140736907071920 18446744073709551615 210216463257 0 4 0 16800975 18446604452315369856 0 0 -1 6 0 0 0
[pid=27579/tid=27588] ppid=27577 vsize=13640288 CPUtime=0.14 cores=0,2,4,6
/proc/27579/task/27588/stat : 27588 (java) S 27577 27579 23523 0 -1 4202560 155 0 0 0 14 0 0 0 15 0 19 0 827437550 13967654912 31097 33554432000 1073741824 1073778376 140736907071920 18446744073709551615 210216463257 0 4 0 16800975 18446604452315369856 0 0 -1 0 0 0 0
[pid=27579/tid=27589] ppid=27577 vsize=13640288 CPUtime=0.13 cores=0,2,4,6
/proc/27579/task/27589/stat : 27589 (java) S 27577 27579 23523 0 -1 4202560 208 0 0 0 13 0 0 0 15 0 19 0 827437550 13967654912 31097 33554432000 1073741824 1073778376 140736907071920 18446744073709551615 210216463257 0 4 0 16800975 18446604452315369856 0 0 -1 0 0 0 0
[pid=27579/tid=27590] ppid=27577 vsize=13640288 CPUtime=5.45 cores=0,2,4,6
/proc/27579/task/27590/stat : 27590 (java) S 27577 27579 23523 0 -1 4202560 4370 0 0 0 541 4 0 0 16 0 19 0 827437551 13967654912 31097 33554432000 1073741824 1073778376 140736907071920 18446744073709551615 210216463872 0 0 0 16800975 18446604452315369856 0 0 -1 4 0 0 0
[pid=27579/tid=27591] ppid=27577 vsize=13640288 CPUtime=0 cores=0,2,4,6
/proc/27579/task/27591/stat : 27591 (java) S 27577 27579 23523 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 827437552 13967654912 31097 33554432000 1073741824 1073778376 140736907071920 18446744073709551615 210216463257 0 4 0 16800975 18446604452315369856 0 0 -1 4 0 0 0
[pid=27579/tid=27592] ppid=27577 vsize=13640288 CPUtime=0 cores=0,2,4,6
/proc/27579/task/27592/stat : 27592 (java) S 27577 27579 23523 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 827437552 13967654912 31097 33554432000 1073741824 1073778376 140736907071920 18446744073709551615 210216463257 0 4 0 16800975 18446604452315369856 0 0 -1 4 0 0 0
[pid=27579/tid=27593] ppid=27577 vsize=13640288 CPUtime=0 cores=0,2,4,6
/proc/27579/task/27593/stat : 27593 (java) S 27577 27579 23523 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827437554 13967654912 31097 33554432000 1073741824 1073778376 140736907071920 18446744073709551615 210216470961 0 4 0 16800975 18446604452315369856 0 0 -1 4 0 0 0
[pid=27579/tid=27594] ppid=27577 vsize=13640288 CPUtime=0.96 cores=0,2,4,6
/proc/27579/task/27594/stat : 27594 (java) S 27577 27579 23523 0 -1 4202560 9559 0 0 0 95 1 0 0 15 0 19 0 827437554 13967654912 31097 33554432000 1073741824 1073778376 140736907071920 18446744073709551615 210216463257 0 4 0 16800975 18446604452315369856 0 0 -1 2 0 0 0
[pid=27579/tid=27595] ppid=27577 vsize=13640288 CPUtime=0.88 cores=0,2,4,6
/proc/27579/task/27595/stat : 27595 (java) S 27577 27579 23523 0 -1 4202560 14377 0 0 0 86 2 0 0 15 0 19 0 827437554 13967654912 31097 33554432000 1073741824 1073778376 140736907071920 18446744073709551615 210216463257 0 4 0 16800975 18446604452315369856 0 0 -1 2 0 0 0
[pid=27579/tid=27596] ppid=27577 vsize=13640288 CPUtime=0 cores=0,2,4,6
/proc/27579/task/27596/stat : 27596 (java) S 27577 27579 23523 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827437554 13967654912 31097 33554432000 1073741824 1073778376 140736907071920 18446744073709551615 210216463257 0 4 0 16800975 18446604452315369856 0 0 -1 4 0 0 0
[pid=27579/tid=27597] ppid=27577 vsize=13640288 CPUtime=0 cores=0,2,4,6
/proc/27579/task/27597/stat : 27597 (java) S 27577 27579 23523 0 -1 4202560 15 0 0 0 0 0 0 0 15 0 19 0 827437554 13967654912 31097 33554432000 1073741824 1073778376 140736907071920 18446744073709551615 210216463872 0 4 0 16800975 18446604452315369856 0 0 -1 0 0 0 0
[pid=27579/tid=27598] ppid=27577 vsize=13640288 CPUtime=0 cores=0,2,4,6
/proc/27579/task/27598/stat : 27598 (java) S 27577 27579 23523 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 827437566 13967654912 31097 33554432000 1073741824 1073778376 140736907071920 18446744073709551615 210216463872 0 4 0 16800975 18446604452315369856 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 247.31
Current children cumulated vsize (KiB) 13640288

[startup+245.601 s]
/proc/loadavg: 2.06 2.03 2.00 3/526 27651
/proc/meminfo: memFree=26961312/32951124 swapFree=63649284/67111528
[pid=27579] ppid=27577 vsize=13640288 CPUtime=248.11 cores=0,2,4,6
/proc/27579/stat : 27579 (java) S 27577 27579 23523 0 -1 4202496 46384 0 1 0 24798 13 0 0 25 0 19 0 827437548 13967654912 31097 33554432000 1073741824 1073778376 140736907071920 18446744073709551615 210216450021 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/27579/statm: 3410072 31097 2251 9 0 3400806 0
[pid=27579/tid=27580] ppid=27577 vsize=13640288 CPUtime=239.52 cores=0,2,4,6
/proc/27579/task/27580/stat : 27580 (java) R 27577 27579 23523 0 -1 4202560 15222 0 1 0 23950 2 0 0 25 0 19 0 827437548 13967654912 31097 33554432000 1073741824 1073778376 140736907071920 18446744073709551615 46912505656282 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=27579/tid=27582] ppid=27577 vsize=13640288 CPUtime=0.14 cores=0,2,4,6
/proc/27579/task/27582/stat : 27582 (java) S 27577 27579 23523 0 -1 4202560 352 0 0 0 14 0 0 0 16 0 19 0 827437550 13967654912 31097 33554432000 1073741824 1073778376 140736907071920 18446744073709551615 210216463257 0 4 0 16800975 18446604452315369856 0 0 -1 6 0 0 0
[pid=27579/tid=27583] ppid=27577 vsize=13640288 CPUtime=0.15 cores=0,2,4,6
/proc/27579/task/27583/stat : 27583 (java) S 27577 27579 23523 0 -1 4202560 244 0 0 0 15 0 0 0 15 0 19 0 827437550 13967654912 31097 33554432000 1073741824 1073778376 140736907071920 18446744073709551615 210216463257 0 4 0 16800975 18446604452315369856 0 0 -1 2 0 0 0
[pid=27579/tid=27584] ppid=27577 vsize=13640288 CPUtime=0.16 cores=0,2,4,6
/proc/27579/task/27584/stat : 27584 (java) S 27577 27579 23523 0 -1 4202560 244 0 0 0 16 0 0 0 15 0 19 0 827437550 13967654912 31097 33554432000 1073741824 1073778376 140736907071920 18446744073709551615 210216463257 0 4 0 16800975 18446604452315369856 0 0 -1 2 0 0 0
[pid=27579/tid=27585] ppid=27577 vsize=13640288 CPUtime=0.16 cores=0,2,4,6
/proc/27579/task/27585/stat : 27585 (java) S 27577 27579 23523 0 -1 4202560 75 0 0 0 16 0 0 0 16 0 19 0 827437550 13967654912 31097 33554432000 1073741824 1073778376 140736907071920 18446744073709551615 210216463257 0 4 0 16800975 18446604452315369856 0 0 -1 6 0 0 0
[pid=27579/tid=27586] ppid=27577 vsize=13640288 CPUtime=0.14 cores=0,2,4,6
/proc/27579/task/27586/stat : 27586 (java) S 27577 27579 23523 0 -1 4202560 49 0 0 0 14 0 0 0 15 0 19 0 827437550 13967654912 31097 33554432000 1073741824 1073778376 140736907071920 18446744073709551615 210216463257 0 4 0 16800975 18446604452315369856 0 0 -1 6 0 0 0
[pid=27579/tid=27587] ppid=27577 vsize=13640288 CPUtime=0.15 cores=0,2,4,6
/proc/27579/task/27587/stat : 27587 (java) S 27577 27579 23523 0 -1 4202560 366 0 0 0 15 0 0 0 15 0 19 0 827437550 13967654912 31097 33554432000 1073741824 1073778376 140736907071920 18446744073709551615 210216463257 0 4 0 16800975 18446604452315369856 0 0 -1 6 0 0 0
[pid=27579/tid=27588] ppid=27577 vsize=13640288 CPUtime=0.14 cores=0,2,4,6
/proc/27579/task/27588/stat : 27588 (java) S 27577 27579 23523 0 -1 4202560 155 0 0 0 14 0 0 0 15 0 19 0 827437550 13967654912 31097 33554432000 1073741824 1073778376 140736907071920 18446744073709551615 210216463257 0 4 0 16800975 18446604452315369856 0 0 -1 0 0 0 0
[pid=27579/tid=27589] ppid=27577 vsize=13640288 CPUtime=0.13 cores=0,2,4,6
/proc/27579/task/27589/stat : 27589 (java) S 27577 27579 23523 0 -1 4202560 208 0 0 0 13 0 0 0 15 0 19 0 827437550 13967654912 31097 33554432000 1073741824 1073778376 140736907071920 18446744073709551615 210216463257 0 4 0 16800975 18446604452315369856 0 0 -1 0 0 0 0
[pid=27579/tid=27590] ppid=27577 vsize=13640288 CPUtime=5.48 cores=0,2,4,6
/proc/27579/task/27590/stat : 27590 (java) S 27577 27579 23523 0 -1 4202560 4370 0 0 0 544 4 0 0 16 0 19 0 827437551 13967654912 31097 33554432000 1073741824 1073778376 140736907071920 18446744073709551615 210216463872 0 0 0 16800975 18446604452315369856 0 0 -1 4 0 0 0
[pid=27579/tid=27591] ppid=27577 vsize=13640288 CPUtime=0 cores=0,2,4,6
/proc/27579/task/27591/stat : 27591 (java) S 27577 27579 23523 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 827437552 13967654912 31097 33554432000 1073741824 1073778376 140736907071920 18446744073709551615 210216463257 0 4 0 16800975 18446604452315369856 0 0 -1 4 0 0 0
[pid=27579/tid=27592] ppid=27577 vsize=13640288 CPUtime=0 cores=0,2,4,6
/proc/27579/task/27592/stat : 27592 (java) S 27577 27579 23523 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 827437552 13967654912 31097 33554432000 1073741824 1073778376 140736907071920 18446744073709551615 210216463257 0 4 0 16800975 18446604452315369856 0 0 -1 4 0 0 0
[pid=27579/tid=27593] ppid=27577 vsize=13640288 CPUtime=0 cores=0,2,4,6
/proc/27579/task/27593/stat : 27593 (java) S 27577 27579 23523 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827437554 13967654912 31097 33554432000 1073741824 1073778376 140736907071920 18446744073709551615 210216470961 0 4 0 16800975 18446604452315369856 0 0 -1 4 0 0 0
[pid=27579/tid=27594] ppid=27577 vsize=13640288 CPUtime=0.96 cores=0,2,4,6
/proc/27579/task/27594/stat : 27594 (java) S 27577 27579 23523 0 -1 4202560 9559 0 0 0 95 1 0 0 15 0 19 0 827437554 13967654912 31097 33554432000 1073741824 1073778376 140736907071920 18446744073709551615 210216463257 0 4 0 16800975 18446604452315369856 0 0 -1 2 0 0 0
[pid=27579/tid=27595] ppid=27577 vsize=13640288 CPUtime=0.88 cores=0,2,4,6
/proc/27579/task/27595/stat : 27595 (java) S 27577 27579 23523 0 -1 4202560 14377 0 0 0 86 2 0 0 15 0 19 0 827437554 13967654912 31097 33554432000 1073741824 1073778376 140736907071920 18446744073709551615 210216463257 0 4 0 16800975 18446604452315369856 0 0 -1 2 0 0 0
[pid=27579/tid=27596] ppid=27577 vsize=13640288 CPUtime=0 cores=0,2,4,6
/proc/27579/task/27596/stat : 27596 (java) S 27577 27579 23523 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827437554 13967654912 31097 33554432000 1073741824 1073778376 140736907071920 18446744073709551615 210216463257 0 4 0 16800975 18446604452315369856 0 0 -1 4 0 0 0
[pid=27579/tid=27597] ppid=27577 vsize=13640288 CPUtime=0 cores=0,2,4,6
/proc/27579/task/27597/stat : 27597 (java) S 27577 27579 23523 0 -1 4202560 15 0 0 0 0 0 0 0 15 0 19 0 827437554 13967654912 31097 33554432000 1073741824 1073778376 140736907071920 18446744073709551615 210216463872 0 4 0 16800975 18446604452315369856 0 0 -1 0 0 0 0
[pid=27579/tid=27598] ppid=27577 vsize=13640288 CPUtime=0 cores=0,2,4,6
/proc/27579/task/27598/stat : 27598 (java) S 27577 27579 23523 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 827437566 13967654912 31097 33554432000 1073741824 1073778376 140736907071920 18446744073709551615 210216463872 0 4 0 16800975 18446604452315369856 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 248.11
Current children cumulated vsize (KiB) 13640288

[startup+246.001 s]
/proc/loadavg: 2.06 2.03 2.00 3/526 27651
/proc/meminfo: memFree=26961312/32951124 swapFree=63649284/67111528
[pid=27579] ppid=27577 vsize=13640288 CPUtime=248.51 cores=0,2,4,6
/proc/27579/stat : 27579 (java) S 27577 27579 23523 0 -1 4202496 46384 0 1 0 24838 13 0 0 25 0 19 0 827437548 13967654912 31097 33554432000 1073741824 1073778376 140736907071920 18446744073709551615 210216450021 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/27579/statm: 3410072 31097 2251 9 0 3400806 0
[pid=27579/tid=27580] ppid=27577 vsize=13640288 CPUtime=239.92 cores=0,2,4,6
/proc/27579/task/27580/stat : 27580 (java) R 27577 27579 23523 0 -1 4202560 15222 0 1 0 23990 2 0 0 25 0 19 0 827437548 13967654912 31097 33554432000 1073741824 1073778376 140736907071920 18446744073709551615 46912505541120 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=27579/tid=27582] ppid=27577 vsize=13640288 CPUtime=0.14 cores=0,2,4,6
/proc/27579/task/27582/stat : 27582 (java) S 27577 27579 23523 0 -1 4202560 352 0 0 0 14 0 0 0 16 0 19 0 827437550 13967654912 31097 33554432000 1073741824 1073778376 140736907071920 18446744073709551615 210216463257 0 4 0 16800975 18446604452315369856 0 0 -1 6 0 0 0
[pid=27579/tid=27583] ppid=27577 vsize=13640288 CPUtime=0.15 cores=0,2,4,6
/proc/27579/task/27583/stat : 27583 (java) S 27577 27579 23523 0 -1 4202560 244 0 0 0 15 0 0 0 15 0 19 0 827437550 13967654912 31097 33554432000 1073741824 1073778376 140736907071920 18446744073709551615 210216463257 0 4 0 16800975 18446604452315369856 0 0 -1 2 0 0 0
[pid=27579/tid=27584] ppid=27577 vsize=13640288 CPUtime=0.16 cores=0,2,4,6
/proc/27579/task/27584/stat : 27584 (java) S 27577 27579 23523 0 -1 4202560 244 0 0 0 16 0 0 0 15 0 19 0 827437550 13967654912 31097 33554432000 1073741824 1073778376 140736907071920 18446744073709551615 210216463257 0 4 0 16800975 18446604452315369856 0 0 -1 2 0 0 0
[pid=27579/tid=27585] ppid=27577 vsize=13640288 CPUtime=0.16 cores=0,2,4,6
/proc/27579/task/27585/stat : 27585 (java) S 27577 27579 23523 0 -1 4202560 75 0 0 0 16 0 0 0 16 0 19 0 827437550 13967654912 31097 33554432000 1073741824 1073778376 140736907071920 18446744073709551615 210216463257 0 4 0 16800975 18446604452315369856 0 0 -1 6 0 0 0
[pid=27579/tid=27586] ppid=27577 vsize=13640288 CPUtime=0.14 cores=0,2,4,6
/proc/27579/task/27586/stat : 27586 (java) S 27577 27579 23523 0 -1 4202560 49 0 0 0 14 0 0 0 15 0 19 0 827437550 13967654912 31097 33554432000 1073741824 1073778376 140736907071920 18446744073709551615 210216463257 0 4 0 16800975 18446604452315369856 0 0 -1 6 0 0 0
[pid=27579/tid=27587] ppid=27577 vsize=13640288 CPUtime=0.15 cores=0,2,4,6
/proc/27579/task/27587/stat : 27587 (java) S 27577 27579 23523 0 -1 4202560 366 0 0 0 15 0 0 0 15 0 19 0 827437550 13967654912 31097 33554432000 1073741824 1073778376 140736907071920 18446744073709551615 210216463257 0 4 0 16800975 18446604452315369856 0 0 -1 6 0 0 0
[pid=27579/tid=27588] ppid=27577 vsize=13640288 CPUtime=0.14 cores=0,2,4,6
/proc/27579/task/27588/stat : 27588 (java) S 27577 27579 23523 0 -1 4202560 155 0 0 0 14 0 0 0 15 0 19 0 827437550 13967654912 31097 33554432000 1073741824 1073778376 140736907071920 18446744073709551615 210216463257 0 4 0 16800975 18446604452315369856 0 0 -1 0 0 0 0
[pid=27579/tid=27589] ppid=27577 vsize=13640288 CPUtime=0.13 cores=0,2,4,6
/proc/27579/task/27589/stat : 27589 (java) S 27577 27579 23523 0 -1 4202560 208 0 0 0 13 0 0 0 15 0 19 0 827437550 13967654912 31097 33554432000 1073741824 1073778376 140736907071920 18446744073709551615 210216463257 0 4 0 16800975 18446604452315369856 0 0 -1 0 0 0 0
[pid=27579/tid=27590] ppid=27577 vsize=13640288 CPUtime=5.48 cores=0,2,4,6
/proc/27579/task/27590/stat : 27590 (java) S 27577 27579 23523 0 -1 4202560 4370 0 0 0 544 4 0 0 16 0 19 0 827437551 13967654912 31097 33554432000 1073741824 1073778376 140736907071920 18446744073709551615 210216463872 0 0 0 16800975 18446604452315369856 0 0 -1 4 0 0 0
[pid=27579/tid=27591] ppid=27577 vsize=13640288 CPUtime=0 cores=0,2,4,6
/proc/27579/task/27591/stat : 27591 (java) S 27577 27579 23523 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 827437552 13967654912 31097 33554432000 1073741824 1073778376 140736907071920 18446744073709551615 210216463257 0 4 0 16800975 18446604452315369856 0 0 -1 4 0 0 0
[pid=27579/tid=27592] ppid=27577 vsize=13640288 CPUtime=0 cores=0,2,4,6
/proc/27579/task/27592/stat : 27592 (java) S 27577 27579 23523 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 827437552 13967654912 31097 33554432000 1073741824 1073778376 140736907071920 18446744073709551615 210216463257 0 4 0 16800975 18446604452315369856 0 0 -1 4 0 0 0
[pid=27579/tid=27593] ppid=27577 vsize=13640288 CPUtime=0 cores=0,2,4,6
/proc/27579/task/27593/stat : 27593 (java) S 27577 27579 23523 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827437554 13967654912 31097 33554432000 1073741824 1073778376 140736907071920 18446744073709551615 210216470961 0 4 0 16800975 18446604452315369856 0 0 -1 4 0 0 0
[pid=27579/tid=27594] ppid=27577 vsize=13640288 CPUtime=0.96 cores=0,2,4,6
/proc/27579/task/27594/stat : 27594 (java) S 27577 27579 23523 0 -1 4202560 9559 0 0 0 95 1 0 0 15 0 19 0 827437554 13967654912 31097 33554432000 1073741824 1073778376 140736907071920 18446744073709551615 210216463257 0 4 0 16800975 18446604452315369856 0 0 -1 2 0 0 0
[pid=27579/tid=27595] ppid=27577 vsize=13640288 CPUtime=0.88 cores=0,2,4,6
/proc/27579/task/27595/stat : 27595 (java) S 27577 27579 23523 0 -1 4202560 14377 0 0 0 86 2 0 0 15 0 19 0 827437554 13967654912 31097 33554432000 1073741824 1073778376 140736907071920 18446744073709551615 210216463257 0 4 0 16800975 18446604452315369856 0 0 -1 2 0 0 0
[pid=27579/tid=27596] ppid=27577 vsize=13640288 CPUtime=0 cores=0,2,4,6
/proc/27579/task/27596/stat : 27596 (java) S 27577 27579 23523 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827437554 13967654912 31097 33554432000 1073741824 1073778376 140736907071920 18446744073709551615 210216463257 0 4 0 16800975 18446604452315369856 0 0 -1 4 0 0 0
[pid=27579/tid=27597] ppid=27577 vsize=13640288 CPUtime=0 cores=0,2,4,6
/proc/27579/task/27597/stat : 27597 (java) S 27577 27579 23523 0 -1 4202560 15 0 0 0 0 0 0 0 15 0 19 0 827437554 13967654912 31097 33554432000 1073741824 1073778376 140736907071920 18446744073709551615 210216463872 0 4 0 16800975 18446604452315369856 0 0 -1 0 0 0 0
[pid=27579/tid=27598] ppid=27577 vsize=13640288 CPUtime=0 cores=0,2,4,6
/proc/27579/task/27598/stat : 27598 (java) S 27577 27579 23523 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 827437566 13967654912 31097 33554432000 1073741824 1073778376 140736907071920 18446744073709551615 210216463872 0 4 0 16800975 18446604452315369856 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 248.51
Current children cumulated vsize (KiB) 13640288

[startup+246.101 s]
/proc/loadavg: 2.06 2.03 2.00 3/526 27651
/proc/meminfo: memFree=26961312/32951124 swapFree=63649284/67111528
[pid=27579] ppid=27577 vsize=0 CPUtime=248.61 cores=0,2,4,6
/proc/27579/stat : 27579 (java) R 27577 27579 23523 0 -1 4203524 46406 0 1 0 24848 13 0 0 18 0 1 0 827437548 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/27579/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 248.61
Current children cumulated vsize (KiB) 0

Child status: 30
Real time (s): 246.106
CPU time (s): 248.628
CPU user time (s): 248.488
CPU system time (s): 0.139978
CPU usage (%): 101.025
Max. virtual memory (cumulated for all children) (KiB): 13648120

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 248.488
system time used= 0.139978
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 46406
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= 12784
involuntary context switches= 4912

runsolver used 1.3278 second user time and 2.71459 second system time

The end

Launcher Data 

Begin job on node130 at 2011-06-04 05:33:10
IDJOB=3458225
IDBENCH=48045
IDSOLVER=1952
FILE ID=node130/3458225-1307158390
RUNJOBID= node130-1307156588-27164
PBS_JOBID= 13508786
Free space on /tmp= 73856 MiB

SOLVER NAME= Sat4j Resolution 2.3.0
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/factor-mod-size=9-P0=211-P1=331-P2=199-P3=307-P4=457-P5=293-B.opb
COMMAND LINE= java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3458225-1307158390/watcher-3458225-1307158390 -o /tmp/evaluation-result-3458225-1307158390/solver-3458225-1307158390 -C 1800 -W 1900 -M 15500  java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution HOME/instance-3458225-1307158390.opb

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

MD5SUM BENCH= 55e3096e9013fd2f39f8572a635bf07d
RANDOM SEED=948629201

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      27132284 kB
Buffers:        274708 kB
Cached:         419016 kB
SwapCached:       9700 kB
Active:        5164536 kB
Inactive:       371648 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      27132284 kB
SwapTotal:    67111528 kB
SwapFree:     63649284 kB
Dirty:             860 kB
Writeback:           0 kB
AnonPages:     4840980 kB
Mapped:          38596 kB
Slab:           159080 kB
PageTables:      53696 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 158511328 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 73856 MiB
End job on node130 at 2011-06-04 05:37:17