Trace number 3453856

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 Res//CP 2.3.0OPT3 759.923 410.822

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/
factor-mod-size=9-P0=131-P1=307-P2=281-P3=173-P4=479-P5=461-P6=107-P7=337-P8=353-B.opb
MD5SUM6dc20e219798a6cc2c39fe76202681b5
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 benchmark7.44187
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 variables216
Total number of constraints17
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 constraints17
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)648
Sum of products size (including duplicates)1296
Number of different products648
Sum of products size1296

Quality of the solution as a function of time


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

Solver Data 

0.05/0.08	c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre
0.05/0.08	c This is free software under the dual EPL/GNU LGPL licenses.
0.05/0.08	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 		9996466904
0.05/0.09	c Max memory 		10048897024
0.05/0.09	c Total memory 		10048897024
0.05/0.09	c Number of processors 	8
0.10/0.11	c Pseudo Boolean Optimization
0.10/0.11	c ManyCore solver with 2 solvers running in parallel
0.10/0.11	c --- Begin Solver configuration ---
0.10/0.11	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@67ee3914
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 Cutting planes based inference (org.sat4j.pb.core.PBSolverCP)
0.10/0.11	c --- Begin Solver configuration ---
0.10/0.11	c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@1c691f36
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 phase appearing in latest learned clause taking into account the objective function
0.10/0.11	c No 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-3453856-1307194330.opb
0.10/0.11	c reading problem ... 
0.23/0.24	c ... done. Wall clock time 0.126s.
0.23/0.24	c #vars     864
0.23/0.24	c #constraints  1321
0.23/0.24	c constraints type 
0.23/0.24	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 648
0.23/0.24	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 673
0.23/0.24	c constraints type 
0.23/0.24	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 648
0.23/0.24	c org.sat4j.pb.constraints.pb.MaxWatchPb => 673
3.70/1.15	c cleaning 2501 clauses out of 5001 with flag 5001/5001
4.96/1.77	c cleaning 4250 clauses out of 8500 with flag 11001/11001
6.33/2.46	c cleaning 5624 clauses out of 11249 with flag 18000/18000
8.92/3.76	c cleaning 6812 clauses out of 13625 with flag 26000/26000
11.72/5.18	c cleaning 7907 clauses out of 15813 with flag 35000/35000
14.48/6.57	c cleaning 8948 clauses out of 17907 with flag 45001/45001
16.65/7.61	c cleaning 9480 clauses out of 18959 with flag 55001/55001
19.60/9.14	c cleaning 9739 clauses out of 19478 with flag 65000/65000
21.74/10.20	c cleaning 9868 clauses out of 19739 with flag 75000/75000
24.09/11.42	c cleaning 9933 clauses out of 19871 with flag 85000/85000
26.46/12.62	c cleaning 9965 clauses out of 19939 with flag 95001/95001
28.40/13.67	c cleaning 9982 clauses out of 19974 with flag 105001/105001
30.94/14.99	c cleaning 9989 clauses out of 19992 with flag 115001/115001
33.27/16.14	c cleaning 10000 clauses out of 20003 with flag 125001/125001
35.03/17.04	c cleaning 9994 clauses out of 20002 with flag 135000/135000
36.96/18.06	c cleaning 9987 clauses out of 20008 with flag 145000/145000
39.08/19.19	c cleaning 10004 clauses out of 20022 with flag 155001/155001
43.02/21.14	c cleaning 9993 clauses out of 20017 with flag 165000/165000
45.77/22.59	c cleaning 10006 clauses out of 20025 with flag 175001/175001
47.91/23.65	c cleaning 10010 clauses out of 20019 with flag 185001/185001
50.07/24.65	c cleaning 9997 clauses out of 20008 with flag 195000/195000
52.22/25.51	c cleaning 9977 clauses out of 20012 with flag 205001/205001
53.75/26.38	c cleaning 10003 clauses out of 20034 with flag 215000/215000
54.89/27.00	c cleaning 0 clauses out of 5001 with flag 0/5001
56.42/27.64	c cleaning 10008 clauses out of 20032 with flag 225001/225001
58.48/28.64	c cleaning 10003 clauses out of 20023 with flag 235000/235000
60.60/29.72	c cleaning 9998 clauses out of 20020 with flag 245000/245000
62.53/30.72	c cleaning 9999 clauses out of 20023 with flag 255001/255001
64.23/31.62	c cleaning 10007 clauses out of 20026 with flag 265003/265003
65.76/32.43	c cleaning 10001 clauses out of 20018 with flag 275002/275002
67.68/33.43	c cleaning 10002 clauses out of 20016 with flag 285001/285001
70.03/34.63	c cleaning 9992 clauses out of 20014 with flag 295001/295001
71.72/35.59	c cleaning 10003 clauses out of 20022 with flag 305001/305001
73.64/36.56	c cleaning 10003 clauses out of 20018 with flag 315000/315000
75.55/37.56	c cleaning 10002 clauses out of 20015 with flag 325000/325000
77.87/38.72	c cleaning 10003 clauses out of 20015 with flag 335002/335002
79.76/39.78	c cleaning 9998 clauses out of 20010 with flag 345000/345000
81.88/40.85	c cleaning 9997 clauses out of 20012 with flag 355000/355000
84.40/42.15	c cleaning 10003 clauses out of 20016 with flag 365001/365001
87.14/43.55	c cleaning 10002 clauses out of 20013 with flag 375001/375001
89.80/44.97	c cleaning 10000 clauses out of 20010 with flag 385000/385000
92.52/46.38	c cleaning 10000 clauses out of 20010 with flag 395000/395000
94.83/47.53	c cleaning 9999 clauses out of 20011 with flag 405001/405001
96.94/48.65	c cleaning 9999 clauses out of 20012 with flag 415001/415001
99.62/50.01	c cleaning 10001 clauses out of 20012 with flag 425000/425000
101.32/50.97	c cleaning 9998 clauses out of 20013 with flag 435002/435002
102.83/51.76	c cleaning 9996 clauses out of 20014 with flag 445001/445001
104.74/52.70	c cleaning 10004 clauses out of 20017 with flag 455000/455000
106.81/53.88	c cleaning 10005 clauses out of 20013 with flag 465000/465000
109.11/55.03	c cleaning 10000 clauses out of 20008 with flag 475000/475000
111.62/56.35	c cleaning 10001 clauses out of 20009 with flag 485001/485001
114.12/57.63	c cleaning 9996 clauses out of 20007 with flag 495000/495000
115.80/58.55	c cleaning 9992 clauses out of 20012 with flag 505001/505001
117.91/59.66	c cleaning 9996 clauses out of 20019 with flag 515000/515000
119.61/60.57	c cleaning 10006 clauses out of 20023 with flag 525000/525000
121.52/61.58	c cleaning 10005 clauses out of 20018 with flag 535001/535001
123.78/62.75	c cleaning 10002 clauses out of 20012 with flag 545000/545000
126.10/64.00	c cleaning 9999 clauses out of 20011 with flag 555001/555001
128.40/65.12	c cleaning 9997 clauses out of 20012 with flag 565001/565001
130.52/66.21	c cleaning 10001 clauses out of 20015 with flag 575001/575001
132.57/67.37	c cleaning 9998 clauses out of 20013 with flag 585000/585000
134.87/68.59	c cleaning 10003 clauses out of 20015 with flag 595000/595000
137.17/69.80	c cleaning 10000 clauses out of 20012 with flag 605000/605000
139.86/71.10	c cleaning 10001 clauses out of 20013 with flag 615001/615001
142.31/72.42	c cleaning 10002 clauses out of 20012 with flag 625001/625001
145.00/73.81	c cleaning 10001 clauses out of 20010 with flag 635001/635001
146.69/74.72	c cleaning 9991 clauses out of 20008 with flag 645000/645000
148.79/75.84	c cleaning 10005 clauses out of 20019 with flag 655002/655002
151.03/77.06	c cleaning 9999 clauses out of 20012 with flag 665000/665000
153.33/78.23	c cleaning 10004 clauses out of 20014 with flag 675001/675001
155.61/79.49	c cleaning 9997 clauses out of 20009 with flag 685000/685000
158.10/80.70	c cleaning 10003 clauses out of 20013 with flag 695001/695001
160.35/81.98	c cleaning 9999 clauses out of 20010 with flag 705001/705001
161.83/82.75	c cleaning 9995 clauses out of 20010 with flag 715000/715000
163.33/83.55	c cleaning 10000 clauses out of 20015 with flag 725000/725000
165.01/84.46	c cleaning 9997 clauses out of 20015 with flag 735000/735000
165.65/84.88	c  And the winner is Resolution
165.92/85.18	c SATISFIABLE
165.92/85.18	c OPTIMIZING...
165.92/85.18	c Got one! Elapsed wall clock time (in seconds):85.072
165.92/85.18	o 129
165.95/85.26	c cleaning 7833 clauses out of 15680 with flag 1001/740662
167.24/85.94	c cleaning 6919 clauses out of 13847 with flag 7001/746662
168.52/86.69	c cleaning 6963 clauses out of 13929 with flag 14002/753663
170.41/87.66	c cleaning 7475 clauses out of 14964 with flag 22000/761661
173.04/89.02	c cleaning 8240 clauses out of 16490 with flag 31001/770662
175.52/90.39	c cleaning 9117 clauses out of 18249 with flag 41000/780661
178.46/91.81	c cleaning 9561 clauses out of 19133 with flag 51001/790662
181.33/93.34	c cleaning 9778 clauses out of 19571 with flag 61000/800661
183.76/94.67	c cleaning 9894 clauses out of 19793 with flag 71000/810661
186.26/95.91	c cleaning 9945 clauses out of 19900 with flag 81001/820662
188.34/97.02	c cleaning 9969 clauses out of 19953 with flag 91000/830661
190.43/98.12	c cleaning 9981 clauses out of 19984 with flag 101000/840661
192.66/99.33	c cleaning 9994 clauses out of 20003 with flag 111000/850661
193.75/99.92	c  And the winner is Resolution
193.84/100.31	c Got one! Elapsed wall clock time (in seconds):100.194
193.84/100.31	o 99
194.64/100.74	c cleaning 11358 clauses out of 22734 with flag 5000/863386
195.70/101.36	c cleaning 8678 clauses out of 17377 with flag 11001/869387
196.98/102.07	c cleaning 7835 clauses out of 15698 with flag 18000/876386
198.62/102.93	c cleaning 7919 clauses out of 15864 with flag 26001/884387
200.08/103.78	c cleaning 8459 clauses out of 16944 with flag 35000/893386
202.16/104.82	c cleaning 9232 clauses out of 18489 with flag 45004/903390
204.24/105.98	c cleaning 9616 clauses out of 19253 with flag 55000/913386
206.67/107.22	c cleaning 9807 clauses out of 19637 with flag 65000/923386
208.75/108.36	c cleaning 9903 clauses out of 19832 with flag 75002/933388
211.04/109.53	c cleaning 9951 clauses out of 19927 with flag 85000/943386
213.12/110.69	c cleaning 9973 clauses out of 19976 with flag 95000/953386
215.15/111.78	c cleaning 9998 clauses out of 20004 with flag 105001/963387
217.61/113.05	c cleaning 9999 clauses out of 20007 with flag 115002/973388
220.09/114.30	c cleaning 10000 clauses out of 20007 with flag 125001/983387
222.17/115.45	c cleaning 9997 clauses out of 20006 with flag 135000/993386
224.59/116.77	c cleaning 10002 clauses out of 20009 with flag 145000/1003386
226.86/117.93	c cleaning 10001 clauses out of 20008 with flag 155001/1013387
229.14/119.13	c cleaning 10002 clauses out of 20009 with flag 165003/1023389
231.41/120.34	c cleaning 9998 clauses out of 20004 with flag 175000/1033386
233.24/121.36	c cleaning 9998 clauses out of 20007 with flag 185001/1043387
235.12/122.31	c cleaning 10002 clauses out of 20009 with flag 195001/1053387
237.39/123.50	c cleaning 10002 clauses out of 20007 with flag 205001/1063387
239.66/124.72	c cleaning 10002 clauses out of 20004 with flag 215000/1073386
241.67/125.86	c cleaning 9999 clauses out of 20004 with flag 225002/1083388
244.35/127.23	c cleaning 9995 clauses out of 20004 with flag 235001/1093387
246.62/128.41	c cleaning 9999 clauses out of 20008 with flag 245000/1103386
248.89/129.61	c cleaning 10000 clauses out of 20010 with flag 255001/1113387
250.72/130.67	c cleaning 9996 clauses out of 20009 with flag 265000/1123386
252.41/131.58	c cleaning 9994 clauses out of 20014 with flag 275001/1133387
254.05/132.45	c cleaning 9996 clauses out of 20019 with flag 285000/1143386
255.72/133.33	c cleaning 9998 clauses out of 20024 with flag 295001/1153387
258.55/134.83	c cleaning 10002 clauses out of 20025 with flag 305000/1163386
262.39/136.81	c cleaning 10002 clauses out of 20024 with flag 315001/1173387
264.26/137.81	c cleaning 10012 clauses out of 20023 with flag 325003/1183389
265.92/138.76	c cleaning 9987 clauses out of 20008 with flag 335000/1193386
266.74/139.28	c  And the winner is Resolution
266.96/139.62	c Got one! Elapsed wall clock time (in seconds):139.507
266.96/139.62	o 3
267.75/140.00	c cleaning 10450 clauses out of 20929 with flag 5000/1204294
268.82/140.67	c cleaning 8224 clauses out of 16479 with flag 11000/1210294
270.10/141.40	c cleaning 7609 clauses out of 15256 with flag 18001/1217295
271.75/142.21	c cleaning 7811 clauses out of 15646 with flag 26000/1225294
273.54/143.25	c cleaning 8404 clauses out of 16836 with flag 35001/1234295
275.00/144.08	c cleaning 9197 clauses out of 18431 with flag 45000/1244294
276.47/144.88	c cleaning 9599 clauses out of 19235 with flag 55001/1254295
277.94/145.69	c cleaning 9797 clauses out of 19635 with flag 65000/1264294
279.73/146.62	c cleaning 9899 clauses out of 19839 with flag 75001/1274295
281.19/147.46	c cleaning 9950 clauses out of 19940 with flag 85001/1284295
282.86/148.32	c cleaning 9972 clauses out of 19989 with flag 95000/1294294
284.35/149.16	c cleaning 10001 clauses out of 20018 with flag 105002/1304296
286.55/150.32	c cleaning 10003 clauses out of 20016 with flag 115001/1314295
288.62/151.43	c cleaning 10003 clauses out of 20013 with flag 125001/1324295
290.88/152.63	c cleaning 9998 clauses out of 20009 with flag 135000/1334294
293.14/153.85	c cleaning 10002 clauses out of 20013 with flag 145002/1344296
295.56/155.14	c cleaning 10000 clauses out of 20009 with flag 155000/1354294
297.63/156.26	c cleaning 9999 clauses out of 20009 with flag 165000/1364294
299.88/157.44	c cleaning 9996 clauses out of 20010 with flag 175000/1374294
301.74/158.43	c cleaning 9993 clauses out of 20014 with flag 185000/1384294
303.53/159.43	c cleaning 9993 clauses out of 20021 with flag 195000/1394294
305.18/160.36	c cleaning 10000 clauses out of 20031 with flag 205003/1404297
307.04/161.31	c cleaning 10009 clauses out of 20028 with flag 215000/1414294
308.71/162.21	c cleaning 10004 clauses out of 20019 with flag 225000/1424294
310.27/163.16	c cleaning 10000 clauses out of 20015 with flag 235000/1434294
311.93/164.05	c cleaning 10000 clauses out of 20016 with flag 245001/1444295
314.18/165.25	c cleaning 10007 clauses out of 20016 with flag 255001/1454295
316.63/166.55	c cleaning 10003 clauses out of 20010 with flag 265002/1464296
318.82/167.75	c cleaning 9990 clauses out of 20005 with flag 275000/1474294
320.67/168.71	c cleaning 9999 clauses out of 20015 with flag 285000/1484294
322.52/169.70	c cleaning 10002 clauses out of 20017 with flag 295001/1494295
324.18/170.68	c cleaning 10002 clauses out of 20014 with flag 305000/1504294
326.18/171.79	c cleaning 10000 clauses out of 20013 with flag 315001/1514295
328.04/172.79	c cleaning 9998 clauses out of 20013 with flag 325001/1524295
329.68/173.65	c cleaning 0 clauses out of 12054 with flag 0/12056
329.96/173.84	c cleaning 10002 clauses out of 20015 with flag 335001/1534295
331.91/174.93	c cleaning 9996 clauses out of 20012 with flag 345000/1544294
333.57/175.86	c cleaning 9987 clauses out of 20016 with flag 355000/1554294
335.23/176.73	c cleaning 9995 clauses out of 20029 with flag 365000/1564294
336.68/177.60	c cleaning 10003 clauses out of 20035 with flag 375001/1574295
338.65/178.69	c cleaning 10012 clauses out of 20031 with flag 385000/1584294
340.72/179.78	c cleaning 10004 clauses out of 20020 with flag 395001/1594295
342.57/180.79	c cleaning 9999 clauses out of 20016 with flag 405001/1604295
344.42/181.75	c cleaning 10001 clauses out of 20016 with flag 415000/1614294
346.22/182.76	c cleaning 10001 clauses out of 20015 with flag 425000/1624294
348.47/183.91	c cleaning 9997 clauses out of 20014 with flag 435000/1634294
350.52/185.05	c cleaning 9999 clauses out of 20017 with flag 445000/1644294
353.18/186.42	c cleaning 10000 clauses out of 20019 with flag 455001/1654295
355.96/187.93	c cleaning 9999 clauses out of 20019 with flag 465001/1664295
358.80/189.45	c cleaning 10000 clauses out of 20020 with flag 475001/1674295
361.67/190.93	c cleaning 9996 clauses out of 20019 with flag 485000/1684294
363.71/192.06	c cleaning 9996 clauses out of 20024 with flag 495001/1694295
366.09/193.34	c cleaning 9999 clauses out of 20027 with flag 505000/1704294
367.93/194.40	c cleaning 9996 clauses out of 20029 with flag 515001/1714295
370.18/195.55	c cleaning 10002 clauses out of 20033 with flag 525001/1724295
372.23/196.68	c cleaning 10001 clauses out of 20030 with flag 535000/1734294
374.43/197.86	c cleaning 10011 clauses out of 20029 with flag 545000/1744294
376.47/198.98	c cleaning 9992 clauses out of 20018 with flag 555000/1754294
378.32/199.93	c cleaning 10000 clauses out of 20028 with flag 565002/1764296
379.98/200.89	c cleaning 9995 clauses out of 20026 with flag 575000/1774294
381.95/201.91	c cleaning 10000 clauses out of 20031 with flag 585000/1784294
383.78/202.92	c cleaning 10001 clauses out of 20031 with flag 595000/1794294
385.41/203.82	c cleaning 9997 clauses out of 20030 with flag 605000/1804294
386.85/204.67	c cleaning 10005 clauses out of 20033 with flag 615000/1814294
388.63/205.66	c cleaning 10005 clauses out of 20028 with flag 625000/1824294
390.67/206.71	c cleaning 9998 clauses out of 20024 with flag 635001/1834295
392.31/207.63	c cleaning 10003 clauses out of 20026 with flag 645001/1844295
393.97/208.53	c cleaning 10001 clauses out of 20024 with flag 655002/1854296
395.96/209.64	c cleaning 10000 clauses out of 20021 with flag 665000/1864294
397.99/210.71	c cleaning 10001 clauses out of 20021 with flag 675000/1874294
399.60/211.68	c cleaning 9999 clauses out of 20021 with flag 685001/1884295
401.42/212.68	c cleaning 9994 clauses out of 20021 with flag 695000/1894294
404.60/214.31	c cleaning 9999 clauses out of 20027 with flag 705000/1904294
407.44/215.83	c cleaning 10001 clauses out of 20030 with flag 715002/1914296
409.68/217.02	c cleaning 10003 clauses out of 20029 with flag 725002/1924296
411.72/218.18	c cleaning 9999 clauses out of 20025 with flag 735001/1934295
414.09/219.48	c cleaning 9997 clauses out of 20025 with flag 745000/1944294
416.14/220.51	c cleaning 10010 clauses out of 20028 with flag 755001/1954295
417.76/221.49	c cleaning 10004 clauses out of 20017 with flag 765000/1964294
419.78/222.52	c cleaning 10000 clauses out of 20013 with flag 775000/1974294
421.34/223.44	c cleaning 9992 clauses out of 20014 with flag 785001/1984295
422.77/224.22	c cleaning 9992 clauses out of 20022 with flag 795001/1994295
424.22/225.09	c cleaning 9995 clauses out of 20029 with flag 805000/2004294
426.05/226.01	c cleaning 9999 clauses out of 20034 with flag 815000/2014294
427.77/227.11	c cleaning 9999 clauses out of 20036 with flag 825001/2024295
429.39/227.95	c cleaning 9995 clauses out of 20038 with flag 835002/2034296
431.01/228.85	c cleaning 10001 clauses out of 20041 with flag 845000/2044294
432.62/229.73	c cleaning 10002 clauses out of 20040 with flag 855000/2054294
434.17/230.65	c cleaning 9999 clauses out of 20040 with flag 865002/2064296
435.81/231.55	c cleaning 10001 clauses out of 20039 with flag 875000/2074294
437.22/232.39	c cleaning 10000 clauses out of 20038 with flag 885000/2084294
439.04/233.31	c cleaning 9997 clauses out of 20038 with flag 895000/2094294
440.58/234.21	c cleaning 10000 clauses out of 20042 with flag 905001/2104295
442.00/235.08	c cleaning 10003 clauses out of 20041 with flag 915000/2114294
443.62/235.92	c cleaning 10000 clauses out of 20040 with flag 925002/2124296
445.03/236.78	c cleaning 9999 clauses out of 20038 with flag 935000/2134294
446.58/237.69	c cleaning 9999 clauses out of 20039 with flag 945000/2144294
448.21/238.59	c cleaning 10002 clauses out of 20040 with flag 955000/2154294
450.03/239.54	c cleaning 10001 clauses out of 20039 with flag 965001/2164295
451.67/240.43	c cleaning 10016 clauses out of 20037 with flag 975000/2174294
454.19/241.85	c cleaning 10008 clauses out of 20023 with flag 985002/2184296
456.61/243.16	c cleaning 10001 clauses out of 20014 with flag 995001/2194295
459.03/244.44	c cleaning 10003 clauses out of 20013 with flag 1005001/2204295
461.44/245.74	c cleaning 10001 clauses out of 20009 with flag 1015000/2214294
463.98/247.15	c cleaning 9996 clauses out of 20008 with flag 1025000/2224294
466.59/248.55	c cleaning 10001 clauses out of 20013 with flag 1035001/2234295
469.00/249.82	c cleaning 10001 clauses out of 20012 with flag 1045001/2244295
470.81/250.89	c cleaning 9996 clauses out of 20011 with flag 1055001/2254295
472.35/251.76	c cleaning 9993 clauses out of 20015 with flag 1065001/2264295
474.55/252.92	c cleaning 10004 clauses out of 20022 with flag 1075001/2274295
476.75/254.17	c cleaning 10003 clauses out of 20018 with flag 1085001/2284295
478.96/255.30	c cleaning 10001 clauses out of 20014 with flag 1095000/2294294
481.09/256.56	c cleaning 10001 clauses out of 20014 with flag 1105001/2304295
483.30/257.78	c cleaning 10002 clauses out of 20013 with flag 1115001/2314295
485.51/258.98	c cleaning 10003 clauses out of 20011 with flag 1125001/2324295
487.73/260.12	c cleaning 9998 clauses out of 20007 with flag 1135000/2334294
489.68/261.21	c cleaning 9993 clauses out of 20010 with flag 1145001/2344295
491.28/262.16	c cleaning 9995 clauses out of 20016 with flag 1155000/2354294
493.09/263.13	c cleaning 10003 clauses out of 20021 with flag 1165000/2364294
495.09/264.21	c cleaning 10004 clauses out of 20023 with flag 1175005/2374299
496.82/265.22	c cleaning 10002 clauses out of 20013 with flag 1185000/2384294
498.83/266.33	c cleaning 10000 clauses out of 20012 with flag 1195001/2394295
500.64/267.38	c cleaning 9996 clauses out of 20011 with flag 1205000/2404294
502.85/268.58	c cleaning 10002 clauses out of 20016 with flag 1215001/2414295
505.37/269.99	c cleaning 9997 clauses out of 20014 with flag 1225001/2424295
507.79/271.25	c cleaning 9999 clauses out of 20017 with flag 1235001/2434295
509.97/272.44	c cleaning 10002 clauses out of 20017 with flag 1245000/2444294
512.17/273.66	c cleaning 9997 clauses out of 20015 with flag 1255000/2454294
514.30/274.85	c cleaning 9999 clauses out of 20019 with flag 1265001/2464295
516.30/275.95	c cleaning 10001 clauses out of 20020 with flag 1275001/2474295
518.31/277.03	c cleaning 10003 clauses out of 20018 with flag 1285000/2484294
520.71/278.30	c cleaning 10001 clauses out of 20016 with flag 1295001/2494295
522.82/279.55	c cleaning 9998 clauses out of 20014 with flag 1305000/2504294
525.02/280.70	c cleaning 9998 clauses out of 20016 with flag 1315000/2514294
527.03/281.80	c cleaning 9996 clauses out of 20019 with flag 1325001/2524295
528.83/282.88	c cleaning 9996 clauses out of 20023 with flag 1335001/2534295
531.13/284.18	c cleaning 10006 clauses out of 20025 with flag 1345000/2544294
533.55/285.41	c cleaning 10000 clauses out of 20019 with flag 1355000/2554294
535.55/286.61	c cleaning 9998 clauses out of 20020 with flag 1365001/2564295
537.55/287.63	c cleaning 9993 clauses out of 20021 with flag 1375000/2574294
539.70/288.81	c cleaning 9995 clauses out of 20029 with flag 1385001/2584295
541.88/290.00	c cleaning 9992 clauses out of 20033 with flag 1395000/2594294
543.89/291.16	c cleaning 10013 clauses out of 20041 with flag 1405000/2604294
546.09/292.36	c cleaning 10006 clauses out of 20029 with flag 1415001/2614295
548.03/293.45	c cleaning 10003 clauses out of 20022 with flag 1425000/2624294
550.23/294.64	c cleaning 10002 clauses out of 20019 with flag 1435000/2634294
552.23/295.78	c cleaning 10001 clauses out of 20018 with flag 1445001/2644295
554.23/296.87	c cleaning 10000 clauses out of 20017 with flag 1455001/2654295
556.16/298.00	c cleaning 10000 clauses out of 20017 with flag 1465001/2664295
558.16/299.00	c cleaning 9999 clauses out of 20016 with flag 1475000/2674294
559.95/300.09	c cleaning 10000 clauses out of 20017 with flag 1485000/2684294
561.95/301.14	c cleaning 10001 clauses out of 20017 with flag 1495001/2694295
564.10/302.34	c cleaning 9997 clauses out of 20015 with flag 1505000/2704294
566.10/303.46	c cleaning 10002 clauses out of 20020 with flag 1515002/2714296
568.29/304.61	c cleaning 10002 clauses out of 20018 with flag 1525002/2724296
570.09/305.65	c cleaning 9999 clauses out of 20014 with flag 1535000/2734294
572.20/306.87	c cleaning 10004 clauses out of 20017 with flag 1545002/2744296
574.19/307.96	c cleaning 10003 clauses out of 20014 with flag 1555003/2754297
576.39/309.12	c cleaning 9995 clauses out of 20008 with flag 1565000/2764294
578.60/310.33	c cleaning 9997 clauses out of 20013 with flag 1575000/2774294
580.89/311.66	c cleaning 10001 clauses out of 20016 with flag 1585000/2784294
583.08/312.81	c cleaning 9999 clauses out of 20016 with flag 1595001/2794295
585.08/313.95	c cleaning 9997 clauses out of 20017 with flag 1605001/2804295
587.49/315.23	c cleaning 10001 clauses out of 20019 with flag 1615000/2814294
589.77/316.53	c cleaning 10001 clauses out of 20019 with flag 1625001/2824295
591.98/317.72	c cleaning 9999 clauses out of 20017 with flag 1635000/2834294
593.98/318.89	c cleaning 10001 clauses out of 20018 with flag 1645000/2844294
596.19/320.05	c cleaning 10000 clauses out of 20018 with flag 1655001/2854295
598.30/321.29	c cleaning 10000 clauses out of 20017 with flag 1665000/2864294
600.31/322.35	c cleaning 10003 clauses out of 20018 with flag 1675001/2874295
602.31/323.48	c cleaning 10000 clauses out of 20015 with flag 1685001/2884295
604.33/324.57	c cleaning 9999 clauses out of 20014 with flag 1695000/2894294
606.43/325.71	c cleaning 10003 clauses out of 20016 with flag 1705001/2904295
608.24/326.75	c cleaning 10000 clauses out of 20013 with flag 1715001/2914295
609.64/327.56	c cleaning 10002 clauses out of 20013 with flag 1725001/2924295
612.05/328.81	c cleaning 9999 clauses out of 20010 with flag 1735000/2934294
614.16/330.08	c cleaning 10002 clauses out of 20012 with flag 1745001/2944295
616.36/331.25	c cleaning 10001 clauses out of 20010 with flag 1755001/2954295
618.58/332.45	c cleaning 9999 clauses out of 20008 with flag 1765000/2964294
620.59/333.59	c cleaning 9999 clauses out of 20010 with flag 1775001/2974295
623.11/334.92	c cleaning 10001 clauses out of 20011 with flag 1785001/2984295
625.32/336.13	c cleaning 9999 clauses out of 20010 with flag 1795001/2994295
627.52/337.36	c cleaning 10002 clauses out of 20011 with flag 1805001/3004295
629.73/338.58	c cleaning 10001 clauses out of 20009 with flag 1815001/3014295
632.25/339.91	c cleaning 10000 clauses out of 20007 with flag 1825000/3024294
634.45/341.15	c cleaning 10001 clauses out of 20008 with flag 1835001/3034295
636.66/342.36	c cleaning 9999 clauses out of 20007 with flag 1845001/3044295
638.87/343.57	c cleaning 10002 clauses out of 20007 with flag 1855000/3054294
641.20/344.85	c cleaning 9998 clauses out of 20004 with flag 1865000/3064294
643.61/346.16	c cleaning 10000 clauses out of 20007 with flag 1875001/3074295
645.81/347.37	c cleaning 9998 clauses out of 20008 with flag 1885002/3084296
648.22/348.62	c cleaning 9997 clauses out of 20008 with flag 1895000/3094294
650.53/349.94	c cleaning 9999 clauses out of 20012 with flag 1905001/3104295
652.55/351.03	c cleaning 9997 clauses out of 20012 with flag 1915000/3114294
654.55/352.15	c cleaning 10001 clauses out of 20015 with flag 1925000/3124294
656.56/353.28	c cleaning 9999 clauses out of 20014 with flag 1935000/3134294
658.91/354.57	c cleaning 10003 clauses out of 20015 with flag 1945000/3144294
661.33/355.81	c cleaning 9998 clauses out of 20012 with flag 1955000/3154294
663.34/356.98	c cleaning 9999 clauses out of 20014 with flag 1965000/3164294
665.55/358.16	c cleaning 10001 clauses out of 20015 with flag 1975000/3174294
667.67/359.34	c cleaning 10001 clauses out of 20015 with flag 1985001/3184295
669.87/360.52	c cleaning 9999 clauses out of 20015 with flag 1995002/3194296
671.88/361.62	c cleaning 9999 clauses out of 20016 with flag 2005002/3204296
674.08/362.88	c cleaning 10000 clauses out of 20016 with flag 2015001/3214295
676.40/364.13	c cleaning 10001 clauses out of 20017 with flag 2025002/3224296
678.00/365.07	c cleaning 9999 clauses out of 20014 with flag 2035000/3234294
680.00/366.11	c cleaning 10001 clauses out of 20016 with flag 2045001/3244295
682.01/367.27	c cleaning 10000 clauses out of 20014 with flag 2055000/3254294
684.14/368.46	c cleaning 10000 clauses out of 20017 with flag 2065003/3264297
686.34/369.64	c cleaning 9999 clauses out of 20015 with flag 2075001/3274295
688.34/370.71	c cleaning 9996 clauses out of 20015 with flag 2085000/3284294
690.74/372.07	c cleaning 10004 clauses out of 20019 with flag 2095000/3294294
693.05/373.35	c cleaning 10000 clauses out of 20015 with flag 2105000/3304294
695.27/374.53	c cleaning 9999 clauses out of 20015 with flag 2115000/3314294
697.27/375.69	c cleaning 10000 clauses out of 20017 with flag 2125001/3324295
699.65/376.90	c cleaning 10000 clauses out of 20017 with flag 2135001/3334295
701.80/378.12	c cleaning 10000 clauses out of 20017 with flag 2145001/3344295
703.80/379.23	c cleaning 9998 clauses out of 20016 with flag 2155000/3354294
705.80/380.33	c cleaning 9999 clauses out of 20019 with flag 2165001/3364295
707.80/381.49	c cleaning 10003 clauses out of 20021 with flag 2175002/3374296
709.93/382.66	c cleaning 10000 clauses out of 20016 with flag 2185000/3384294
712.33/383.97	c cleaning 10003 clauses out of 20017 with flag 2195001/3394295
715.12/385.50	c cleaning 10003 clauses out of 20014 with flag 2205001/3404295
717.92/386.96	c cleaning 9999 clauses out of 20010 with flag 2215000/3414294
720.62/388.41	c cleaning 10001 clauses out of 20011 with flag 2225000/3424294
723.21/389.86	c cleaning 9999 clauses out of 20010 with flag 2235000/3434294
723.61/390.19	c cleaning 0 clauses out of 18053 with flag 0/18055
726.00/391.45	c cleaning 10004 clauses out of 20012 with flag 2245001/3444295
728.69/392.96	c cleaning 9999 clauses out of 20007 with flag 2255000/3454294
731.08/394.26	c cleaning 10000 clauses out of 20009 with flag 2265001/3464295
733.49/395.56	c cleaning 10000 clauses out of 20008 with flag 2275000/3474294
736.07/396.90	c cleaning 9999 clauses out of 20008 with flag 2285000/3484294
738.35/398.26	c cleaning 10000 clauses out of 20010 with flag 2295001/3494295
740.54/399.44	c cleaning 10002 clauses out of 20012 with flag 2305003/3504297
742.74/400.68	c cleaning 9999 clauses out of 20007 with flag 2315000/3514294
745.34/402.08	c cleaning 10000 clauses out of 20009 with flag 2325001/3524295
748.01/403.59	c cleaning 10000 clauses out of 20007 with flag 2335000/3534294
750.80/405.05	c cleaning 10001 clauses out of 20008 with flag 2345001/3544295
753.19/406.35	c cleaning 10001 clauses out of 20006 with flag 2355000/3554294
755.78/407.77	c cleaning 10000 clauses out of 20004 with flag 2365000/3564294
758.07/409.04	c  And the winner is Resolution
759.79/410.78	c starts		: 251
759.79/410.78	c conflicts		: 3572808
759.79/410.78	c decisions		: 3642802
759.79/410.78	c propagations		: 81171443
759.79/410.78	c inspects		: 2348315107
759.79/410.78	c shortcuts		: 0
759.79/410.78	c learnt literals	: 21
759.79/410.78	c learnt binary clauses	: 98
759.79/410.78	c learnt ternary clauses	: 313
759.79/410.78	c learnt constraints	: 3572786
759.79/410.78	c ignored constraints	: 0
759.79/410.78	c root simplifications	: 0
759.79/410.78	c removed literals (reason simplification)	: 148953940
759.79/410.78	c reason swapping (by a shorter reason)	: 0
759.79/410.78	c Calls to reduceDB	: 361
759.79/410.78	c number of reductions to clauses (during analyze)	: 0
759.79/410.78	c number of learned constraints concerned by reduction	: 0
759.79/410.78	c number of learning phase by resolution	: 0
759.79/410.78	c number of learning phase by cutting planes	: 0
759.79/410.78	c speed (assignments/second)	: 299353.2984702533
759.79/410.78	c non guided choices	10497
759.79/410.78	c learnt constraints type 
759.79/410.78	c constraints type 
759.79/410.78	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 648
759.79/410.78	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 673
759.79/410.78	c constraints type 
759.79/410.78	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 648
759.79/410.78	c org.sat4j.pb.constraints.pb.MaxWatchPb => 673
759.79/410.78	s OPTIMUM FOUND
759.79/410.78	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 
759.79/410.78	c objective function=3
759.79/410.78	c Total wall clock time (in seconds): 410.664

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-3453856-1307194330/watcher-3453856-1307194330 -o /tmp/evaluation-result-3453856-1307194330/solver-3453856-1307194330 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3453856-1307194330.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: 3.54 3.63 3.58 3/294 15546
/proc/meminfo: memFree=26453840/32951124 swapFree=55664332/67111528
[pid=15546] ppid=15544 vsize=23028 CPUtime=0 cores=0,2,4,6
/proc/15546/stat : 15546 (java) R 15544 15546 10640 0 -1 4202496 956 0 0 0 0 0 0 0 25 0 1 0 831033791 23580672 699 33554432000 1073741824 1073778376 140733997825776 18446744073709551615 222916814737 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/15546/statm: 5757 699 516 9 0 124 0
[pid=15546/tid=15547] ppid=15544 vsize=35820 CPUtime=0 cores=0,2,4,6
/proc/15546/task/15547/stat : 15547 (java) R 15544 15546 10640 0 -1 4202560 223 0 1 0 0 0 0 0 25 0 2 0 831033792 36679680 1039 33554432000 1073741824 1073778376 140733997825776 18446744073709551615 47306468503744 0 0 0 16784584 0 0 0 -1 2 0 0 0

[startup+0.0638731 s]
/proc/loadavg: 3.54 3.63 3.58 3/294 15546
/proc/meminfo: memFree=26453840/32951124 swapFree=55664332/67111528
[pid=15546] ppid=15544 vsize=10538320 CPUtime=0.05 cores=0,2,4,6
/proc/15546/stat : 15546 (java) S 15544 15546 10640 0 -1 4202496 11663 0 1 0 4 1 0 0 25 0 18 0 831033791 10791239680 11359 33554432000 1073741824 1073778376 140733997825776 18446744073709551615 222933579749 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/15546/statm: 2634580 11360 1733 9 0 2625321 0
[pid=15546/tid=15547] ppid=15544 vsize=10538320 CPUtime=0.04 cores=0,2,4,6
/proc/15546/task/15547/stat : 15547 (java) R 15544 15546 10640 0 -1 4202560 10489 0 1 0 4 0 0 0 25 0 18 0 831033792 10791239680 11360 33554432000 1073741824 1073778376 140733997825776 18446744073709551615 222933603787 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 10538320

[startup+0.100869 s]
/proc/loadavg: 3.54 3.63 3.58 3/294 15546
/proc/meminfo: memFree=26453840/32951124 swapFree=55664332/67111528
[pid=15546] ppid=15544 vsize=10539964 CPUtime=0.1 cores=0,2,4,6
/proc/15546/stat : 15546 (java) S 15544 15546 10640 0 -1 4202496 13053 0 1 0 9 1 0 0 25 0 18 0 831033791 10792923136 12728 33554432000 1073741824 1073778376 140733997825776 18446744073709551615 222933579749 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/15546/statm: 2634991 12729 2093 9 0 2625725 0
[pid=15546/tid=15547] ppid=15544 vsize=10539964 CPUtime=0.09 cores=0,2,4,6
/proc/15546/task/15547/stat : 15547 (java) R 15544 15546 10640 0 -1 4202560 11095 0 1 0 8 1 0 0 25 0 18 0 831033792 10792923136 12729 33554432000 1073741824 1073778376 140733997825776 18446744073709551615 46912505219208 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10539964

[startup+0.486777 s]
/proc/loadavg: 3.54 3.63 3.58 3/294 15546
/proc/meminfo: memFree=26453840/32951124 swapFree=55664332/67111528
[pid=15546] ppid=15544 vsize=10553968 CPUtime=1.32 cores=0,2,4,6
/proc/15546/stat : 15546 (java) S 15544 15546 10640 0 -1 4202496 24703 0 1 0 129 3 0 0 25 0 22 0 831033791 10807263232 21027 33554432000 1073741824 1073778376 140733997825776 18446744073709551615 222933579749 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/15546/statm: 2638492 21028 2219 9 0 2629226 0
[pid=15546/tid=15547] ppid=15544 vsize=10553968 CPUtime=0.23 cores=0,2,4,6
/proc/15546/task/15547/stat : 15547 (java) S 15544 15546 10640 0 -1 4202560 12207 0 1 0 22 1 0 0 25 0 22 0 831033792 10807263232 21028 33554432000 1073741824 1073778376 140733997825776 18446744073709551615 222933593600 0 4 0 16800975 18446604453846569344 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1.32
Current children cumulated vsize (KiB) 10553968

[startup+1.11066 s]
/proc/loadavg: 3.54 3.63 3.58 3/294 15546
/proc/meminfo: memFree=26453840/32951124 swapFree=55664332/67111528
[pid=15546] ppid=15544 vsize=10555404 CPUtime=3.7 cores=0,2,4,6
/proc/15546/stat : 15546 (java) S 15544 15546 10640 0 -1 4202496 73392 0 1 0 361 9 0 0 25 0 22 0 831033791 10808733696 65238 33554432000 1073741824 1073778376 140733997825776 18446744073709551615 222933579749 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/15546/statm: 2638851 65246 2229 9 0 2629585 0
[pid=15546/tid=15547] ppid=15544 vsize=10555404 CPUtime=0.23 cores=0,2,4,6
/proc/15546/task/15547/stat : 15547 (java) S 15544 15546 10640 0 -1 4202560 12207 0 1 0 22 1 0 0 20 0 22 0 831033792 10808733696 65249 33554432000 1073741824 1073778376 140733997825776 18446744073709551615 222933593600 0 4 0 16800975 18446604453846569344 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3.7
Current children cumulated vsize (KiB) 10555404

[startup+1.50063 s]
/proc/loadavg: 3.54 3.63 3.58 3/294 15546
/proc/meminfo: memFree=26453840/32951124 swapFree=55664332/67111528
[pid=15546] ppid=15544 vsize=10555404 CPUtime=4.49 cores=0,2,4,6
/proc/15546/stat : 15546 (java) S 15544 15546 10640 0 -1 4202496 92445 0 1 0 438 11 0 0 25 0 22 0 831033791 10808733696 84288 33554432000 1073741824 1073778376 140733997825776 18446744073709551615 222933579749 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/15546/statm: 2638851 84288 2256 9 0 2629585 0
[pid=15546/tid=15547] ppid=15544 vsize=10555404 CPUtime=0.23 cores=0,2,4,6
/proc/15546/task/15547/stat : 15547 (java) S 15544 15546 10640 0 -1 4202560 12207 0 1 0 22 1 0 0 15 0 22 0 831033792 10808733696 84288 33554432000 1073741824 1073778376 140733997825776 18446744073709551615 222933593600 0 4 0 16800975 18446604453846569344 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4.49
Current children cumulated vsize (KiB) 10555404

[startup+3.10134 s]
/proc/loadavg: 3.54 3.63 3.58 5/316 15568
/proc/meminfo: memFree=25998468/32951124 swapFree=55664332/67111528
[pid=15546] ppid=15544 vsize=10555404 CPUtime=7.71 cores=0,2,4,6
/proc/15546/stat : 15546 (java) S 15544 15546 10640 0 -1 4202496 123482 0 1 0 756 15 0 0 25 0 22 0 831033791 10808733696 115323 33554432000 1073741824 1073778376 140733997825776 18446744073709551615 222933579749 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/15546/statm: 2638851 115323 2256 9 0 2629585 0
[pid=15546/tid=15547] ppid=15544 vsize=10555404 CPUtime=0.23 cores=0,2,4,6
/proc/15546/task/15547/stat : 15547 (java) S 15544 15546 10640 0 -1 4202560 12207 0 1 0 22 1 0 0 15 0 22 0 831033792 10808733696 115323 33554432000 1073741824 1073778376 140733997825776 18446744073709551615 222933593600 0 4 0 16800975 18446604453846569344 0 0 -1 4 0 0 0
[pid=15546/tid=15549] ppid=15544 vsize=10555404 CPUtime=0 cores=0,2,4,6
/proc/15546/task/15549/stat : 15549 (java) S 15544 15546 10640 0 -1 4202560 232 0 0 0 0 0 0 0 15 0 22 0 831033793 10808733696 115323 33554432000 1073741824 1073778376 140733997825776 18446744073709551615 222933592985 0 4 0 16800975 18446604453846569344 0 0 -1 2 0 0 0
[pid=15546/tid=15550] ppid=15544 vsize=10555404 CPUtime=0 cores=0,2,4,6
/proc/15546/task/15550/stat : 15550 (java) S 15544 15546 10640 0 -1 4202560 10 0 0 0 0 0 0 0 16 0 22 0 831033793 10808733696 115323 33554432000 1073741824 1073778376 140733997825776 18446744073709551615 222933592985 0 4 0 16800975 18446604453846569344 0 0 -1 6 0 0 0
[pid=15546/tid=15551] ppid=15544 vsize=10555404 CPUtime=0 cores=0,2,4,6
/proc/15546/task/15551/stat : 15551 (java) S 15544 15546 10640 0 -1 4202560 213 0 0 0 0 0 0 0 15 0 22 0 831033793 10808733696 115323 33554432000 1073741824 1073778376 140733997825776 18446744073709551615 222933592985 0 4 0 16800975 18446604453846569344 0 0 -1 6 0 0 0
[pid=15546/tid=15552] ppid=15544 vsize=10555404 CPUtime=0 cores=0,2,4,6
/proc/15546/task/15552/stat : 15552 (java) S 15544 15546 10640 0 -1 4202560 98 0 0 0 0 0 0 0 15 0 22 0 831033793 10808733696 115323 33554432000 1073741824 1073778376 140733997825776 18446744073709551615 222933592985 0 4 0 16800975 18446604453846569344 0 0 -1 6 0 0 0
[pid=15546/tid=15553] ppid=15544 vsize=10555404 CPUtime=0 cores=0,2,4,6
/proc/15546/task/15553/stat : 15553 (java) S 15544 15546 10640 0 -1 4202560 4 0 0 0 0 0 0 0 16 0 22 0 831033793 10808733696 115323 33554432000 1073741824 1073778376 140733997825776 18446744073709551615 222933592985 0 4 0 16800975 18446604453846569344 0 0 -1 2 0 0 0
[pid=15546/tid=15554] ppid=15544 vsize=10555404 CPUtime=0 cores=0,2,4,6
/proc/15546/task/15554/stat : 15554 (java) S 15544 15546 10640 0 -1 4202560 594 0 0 0 0 0 0 0 15 0 22 0 831033793 10808733696 115323 33554432000 1073741824 1073778376 140733997825776 18446744073709551615 222933592985 0 4 0 16800975 18446604453846569344 0 0 -1 0 0 0 0
[pid=15546/tid=15555] ppid=15544 vsize=10555404 CPUtime=0 cores=0,2,4,6
/proc/15546/task/15555/stat : 15555 (java) S 15544 15546 10640 0 -1 4202560 360 0 0 0 0 0 0 0 16 0 22 0 831033793 10808733696 115323 33554432000 1073741824 1073778376 140733997825776 18446744073709551615 222933592985 0 4 0 16800975 18446604453846569344 0 0 -1 0 0 0 0
[pid=15546/tid=15556] ppid=15544 vsize=10555404 CPUtime=0 cores=0,2,4,6
/proc/15546/task/15556/stat : 15556 (java) S 15544 15546 10640 0 -1 4202560 353 0 0 0 0 0 0 0 15 0 22 0 831033793 10808733696 115323 33554432000 1073741824 1073778376 140733997825776 18446744073709551615 222933592985 0 4 0 16800975 18446604453846569344 0 0 -1 2 0 0 0
[pid=15546/tid=15557] ppid=15544 vsize=10555404 CPUtime=0.06 cores=0,2,4,6
/proc/15546/task/15557/stat : 15557 (java) S 15544 15546 10640 0 -1 4202560 2526 0 0 0 6 0 0 0 15 0 22 0 831033794 10808733696 115323 33554432000 1073741824 1073778376 140733997825776 18446744073709551615 222933593600 0 0 0 16800975 18446604453846569344 0 0 -1 4 0 0 0
[pid=15546/tid=15558] ppid=15544 vsize=10555404 CPUtime=0 cores=0,2,4,6
/proc/15546/task/15558/stat : 15558 (java) S 15544 15546 10640 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 831033795 10808733696 115323 33554432000 1073741824 1073778376 140733997825776 18446744073709551615 222933592985 0 4 0 16800975 18446604453846569344 0 0 -1 4 0 0 0
[pid=15546/tid=15559] ppid=15544 vsize=10555404 CPUtime=0 cores=0,2,4,6
/proc/15546/task/15559/stat : 15559 (java) S 15544 15546 10640 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 22 0 831033795 10808733696 115323 33554432000 1073741824 1073778376 140733997825776 18446744073709551615 222933592985 0 4 0 16800975 18446604453846569344 0 0 -1 4 0 0 0
[pid=15546/tid=15560] ppid=15544 vsize=10555404 CPUtime=0 cores=0,2,4,6
/proc/15546/task/15560/stat : 15560 (java) S 15544 15546 10640 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831033797 10808733696 115323 33554432000 1073741824 1073778376 140733997825776 18446744073709551615 222933600689 0 4 0 16800975 18446604453846569344 0 0 -1 4 0 0 0
[pid=15546/tid=15561] ppid=15544 vsize=10555404 CPUtime=0.92 cores=0,2,4,6
/proc/15546/task/15561/stat : 15561 (java) S 15544 15546 10640 0 -1 4202560 7249 0 0 0 92 0 0 0 15 0 22 0 831033797 10808733696 115323 33554432000 1073741824 1073778376 140733997825776 18446744073709551615 222933592985 0 4 0 16800975 18446604453846569344 0 0 -1 6 0 0 0
[pid=15546/tid=15562] ppid=15544 vsize=10555404 CPUtime=0.92 cores=0,2,4,6
/proc/15546/task/15562/stat : 15562 (java) S 15544 15546 10640 0 -1 4202560 7319 0 0 0 90 2 0 0 15 0 22 0 831033797 10808733696 115323 33554432000 1073741824 1073778376 140733997825776 18446744073709551615 222933592985 0 4 0 16800975 18446604453846569344 0 0 -1 2 0 0 0
[pid=15546/tid=15563] ppid=15544 vsize=10555404 CPUtime=0 cores=0,2,4,6
/proc/15546/task/15563/stat : 15563 (java) S 15544 15546 10640 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831033797 10808733696 115323 33554432000 1073741824 1073778376 140733997825776 18446744073709551615 222933592985 0 4 0 16800975 18446604453846569344 0 0 -1 4 0 0 0
[pid=15546/tid=15564] ppid=15544 vsize=10555404 CPUtime=0 cores=0,2,4,6
/proc/15546/task/15564/stat : 15564 (java) S 15544 15546 10640 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 831033797 10808733696 115323 33554432000 1073741824 1073778376 140733997825776 18446744073709551615 222933593600 0 4 0 16800975 18446604453846569344 0 0 -1 0 0 0 0
[pid=15546/tid=15565] ppid=15544 vsize=10555404 CPUtime=2.77 cores=0,2,4,6
/proc/15546/task/15565/stat : 15565 (java) R 15544 15546 10640 0 -1 4202560 776 0 0 0 277 0 0 0 25 0 22 0 831033815 10808733696 115323 33554432000 1073741824 1073778376 140733997825776 18446744073709551615 46912505573120 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=15546/tid=15566] ppid=15544 vsize=10555404 CPUtime=2.75 cores=0,2,4,6
/proc/15546/task/15566/stat : 15566 (java) R 15544 15546 10640 0 -1 4202560 90383 0 0 0 265 10 0 0 25 0 22 0 831033815 10808733696 115323 33554432000 1073741824 1073778376 140733997825776 18446744073709551615 46912505750556 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=15546/tid=15567] ppid=15544 vsize=10555404 CPUtime=0 cores=0,2,4,6
/proc/15546/task/15567/stat : 15567 (java) S 15544 15546 10640 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 831033816 10808733696 115323 33554432000 1073741824 1073778376 140733997825776 18446744073709551615 222933593600 0 4 0 16800975 18446604453846569344 0 0 -1 4 0 0 0
[pid=15546/tid=15568] ppid=15544 vsize=10555404 CPUtime=0 cores=0,2,4,6
/proc/15546/task/15568/stat : 15568 (java) S 15544 15546 10640 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 831033816 10808733696 115323 33554432000 1073741824 1073778376 140733997825776 18446744073709551615 222933593600 0 4 0 16800975 18446604453846569344 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 7.71
Current children cumulated vsize (KiB) 10555404

[startup+6.30175 s]
/proc/loadavg: 3.58 3.64 3.59 4/316 15568
/proc/meminfo: memFree=25682756/32951124 swapFree=55664332/67111528
[pid=15546] ppid=15544 vsize=10553016 CPUtime=14.08 cores=0,2,4,6
/proc/15546/stat : 15546 (java) S 15544 15546 10640 0 -1 4202496 202534 0 1 0 1385 23 0 0 25 0 22 0 831033791 10806288384 193562 33554432000 1073741824 1073778376 140733997825776 18446744073709551615 222933579749 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/15546/statm: 2638254 193562 2257 9 0 2628988 0
[pid=15546/tid=15547] ppid=15544 vsize=10553016 CPUtime=0.23 cores=0,2,4,6
/proc/15546/task/15547/stat : 15547 (java) S 15544 15546 10640 0 -1 4202560 12207 0 1 0 22 1 0 0 15 0 22 0 831033792 10806288384 193562 33554432000 1073741824 1073778376 140733997825776 18446744073709551615 222933593600 0 4 0 16800975 18446604453846569344 0 0 -1 2 0 0 0
[pid=15546/tid=15549] ppid=15544 vsize=10553016 CPUtime=0 cores=0,2,4,6
/proc/15546/task/15549/stat : 15549 (java) S 15544 15546 10640 0 -1 4202560 327 0 0 0 0 0 0 0 16 0 22 0 831033793 10806288384 193562 33554432000 1073741824 1073778376 140733997825776 18446744073709551615 222933592985 0 4 0 16800975 18446604453846569344 0 0 -1 0 0 0 0
[pid=15546/tid=15550] ppid=15544 vsize=10553016 CPUtime=0 cores=0,2,4,6
/proc/15546/task/15550/stat : 15550 (java) S 15544 15546 10640 0 -1 4202560 120 0 0 0 0 0 0 0 15 0 22 0 831033793 10806288384 193562 33554432000 1073741824 1073778376 140733997825776 18446744073709551615 222933592985 0 4 0 16800975 18446604453846569344 0 0 -1 6 0 0 0
[pid=15546/tid=15551] ppid=15544 vsize=10553016 CPUtime=0 cores=0,2,4,6
/proc/15546/task/15551/stat : 15551 (java) S 15544 15546 10640 0 -1 4202560 213 0 0 0 0 0 0 0 15 0 22 0 831033793 10806288384 193562 33554432000 1073741824 1073778376 140733997825776 18446744073709551615 222933592985 0 4 0 16800975 18446604453846569344 0 0 -1 6 0 0 0
[pid=15546/tid=15552] ppid=15544 vsize=10553016 CPUtime=0 cores=0,2,4,6
/proc/15546/task/15552/stat : 15552 (java) S 15544 15546 10640 0 -1 4202560 101 0 0 0 0 0 0 0 16 0 22 0 831033793 10806288384 193562 33554432000 1073741824 1073778376 140733997825776 18446744073709551615 222933592985 0 4 0 16800975 18446604453846569344 0 0 -1 6 0 0 0
[pid=15546/tid=15553] ppid=15544 vsize=10553016 CPUtime=0 cores=0,2,4,6
/proc/15546/task/15553/stat : 15553 (java) S 15544 15546 10640 0 -1 4202560 4 0 0 0 0 0 0 0 15 0 22 0 831033793 10806288384 193562 33554432000 1073741824 1073778376 140733997825776 18446744073709551615 222933592985 0 4 0 16800975 18446604453846569344 0 0 -1 2 0 0 0
[pid=15546/tid=15554] ppid=15544 vsize=10553016 CPUtime=0 cores=0,2,4,6
/proc/15546/task/15554/stat : 15554 (java) S 15544 15546 10640 0 -1 4202560 599 0 0 0 0 0 0 0 16 0 22 0 831033793 10806288384 193562 33554432000 1073741824 1073778376 140733997825776 18446744073709551615 222933592985 0 4 0 16800975 18446604453846569344 0 0 -1 0 0 0 0
[pid=15546/tid=15555] ppid=15544 vsize=10553016 CPUtime=0 cores=0,2,4,6
/proc/15546/task/15555/stat : 15555 (java) S 15544 15546 10640 0 -1 4202560 453 0 0 0 0 0 0 0 15 0 22 0 831033793 10806288384 193562 33554432000 1073741824 1073778376 140733997825776 18446744073709551615 222933592985 0 4 0 16800975 18446604453846569344 0 0 -1 0 0 0 0
[pid=15546/tid=15556] ppid=15544 vsize=10553016 CPUtime=0.01 cores=0,2,4,6
/proc/15546/task/15556/stat : 15556 (java) S 15544 15546 10640 0 -1 4202560 479 0 0 0 1 0 0 0 16 0 22 0 831033793 10806288384 193562 33554432000 1073741824 1073778376 140733997825776 18446744073709551615 222933592985 0 4 0 16800975 18446604453846569344 0 0 -1 2 0 0 0
[pid=15546/tid=15557] ppid=15544 vsize=10553016 CPUtime=0.14 cores=0,2,4,6
/proc/15546/task/15557/stat : 15557 (java) S 15544 15546 10640 0 -1 4202560 3772 0 0 0 14 0 0 0 15 0 22 0 831033794 10806288384 193562 33554432000 1073741824 1073778376 140733997825776 18446744073709551615 222933593600 0 0 0 16800975 18446604453846569344 0 0 -1 4 0 0 0
[pid=15546/tid=15558] ppid=15544 vsize=10553016 CPUtime=0 cores=0,2,4,6
/proc/15546/task/15558/stat : 15558 (java) S 15544 15546 10640 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 831033795 10806288384 193562 33554432000 1073741824 1073778376 140733997825776 18446744073709551615 222933592985 0 4 0 16800975 18446604453846569344 0 0 -1 4 0 0 0
[pid=15546/tid=15559] ppid=15544 vsize=10553016 CPUtime=0 cores=0,2,4,6
/proc/15546/task/15559/stat : 15559 (java) S 15544 15546 10640 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 22 0 831033795 10806288384 193562 33554432000 1073741824 1073778376 140733997825776 18446744073709551615 222933592985 0 4 0 16800975 18446604453846569344 0 0 -1 4 0 0 0
[pid=15546/tid=15560] ppid=15544 vsize=10553016 CPUtime=0 cores=0,2,4,6
/proc/15546/task/15560/stat : 15560 (java) S 15544 15546 10640 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831033797 10806288384 193562 33554432000 1073741824 1073778376 140733997825776 18446744073709551615 222933600689 0 4 0 16800975 18446604453846569344 0 0 -1 4 0 0 0
[pid=15546/tid=15561] ppid=15544 vsize=10553016 CPUtime=0.92 cores=0,2,4,6
/proc/15546/task/15561/stat : 15561 (java) S 15544 15546 10640 0 -1 4202560 7249 0 0 0 92 0 0 0 15 0 22 0 831033797 10806288384 193562 33554432000 1073741824 1073778376 140733997825776 18446744073709551615 222933592985 0 4 0 16800975 18446604453846569344 0 0 -1 6 0 0 0
[pid=15546/tid=15562] ppid=15544 vsize=10553016 CPUtime=0.95 cores=0,2,4,6
/proc/15546/task/15562/stat : 15562 (java) S 15544 15546 10640 0 -1 4202560 7331 0 0 0 93 2 0 0 15 0 22 0 831033797 10806288384 193562 33554432000 1073741824 1073778376 140733997825776 18446744073709551615 222933592985 0 4 0 16800975 18446604453846569344 0 0 -1 2 0 0 0
[pid=15546/tid=15563] ppid=15544 vsize=10553016 CPUtime=0 cores=0,2,4,6
/proc/15546/task/15563/stat : 15563 (java) S 15544 15546 10640 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831033797 10806288384 193562 33554432000 1073741824 1073778376 140733997825776 18446744073709551615 222933592985 0 4 0 16800975 18446604453846569344 0 0 -1 4 0 0 0
[pid=15546/tid=15564] ppid=15544 vsize=10553016 CPUtime=0 cores=0,2,4,6
/proc/15546/task/15564/stat : 15564 (java) S 15544 15546 10640 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 831033797 10806288384 193562 33554432000 1073741824 1073778376 140733997825776 18446744073709551615 222933593600 0 4 0 16800975 18446604453846569344 0 0 -1 0 0 0 0
[pid=15546/tid=15565] ppid=15544 vsize=10553016 CPUtime=5.88 cores=0,2,4,6
/proc/15546/task/15565/stat : 15565 (java) R 15544 15546 10640 0 -1 4202560 777 0 0 0 588 0 0 0 25 0 22 0 831033815 10806288384 193562 33554432000 1073741824 1073778376 140733997825776 18446744073709551615 46912505655497 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=15546/tid=15566] ppid=15544 vsize=10553016 CPUtime=5.87 cores=0,2,4,6
/proc/15546/task/15566/stat : 15566 (java) R 15544 15546 10640 0 -1 4202560 167744 0 0 0 569 18 0 0 25 0 22 0 831033815 10806288384 193562 33554432000 1073741824 1073778376 140733997825776 18446744073709551615 46912505534556 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=15546/tid=15567] ppid=15544 vsize=10553016 CPUtime=0 cores=0,2,4,6
/proc/15546/task/15567/stat : 15567 (java) S 15544 15546 10640 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 831033816 10806288384 193562 33554432000 1073741824 1073778376 140733997825776 18446744073709551615 222933593600 0 4 0 16800975 18446604453846569344 0 0 -1 4 0 0 0
[pid=15546/tid=15568] ppid=15544 vsize=10553016 CPUtime=0 cores=0,2,4,6
/proc/15546/task/15568/stat : 15568 (java) S 15544 15546 10640 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 831033816 10806288384 193562 33554432000 1073741824 1073778376 140733997825776 18446744073709551615 222933593600 0 4 0 16800975 18446604453846569344 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 14.08
Current children cumulated vsize (KiB) 10553016

[startup+12.7105 s]
/proc/loadavg: 3.61 3.64 3.59 5/316 15569
/proc/meminfo: memFree=25643572/32951124 swapFree=55664332/67111528
[pid=15546] ppid=15544 vsize=10553016 CPUtime=26.61 cores=0,2,4,6
/proc/15546/stat : 15546 (java) S 15544 15546 10640 0 -1 4202496 212526 0 1 0 2637 24 0 0 25 0 22 0 831033791 10806288384 203545 33554432000 1073741824 1073778376 140733997825776 18446744073709551615 222933579749 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/15546/statm: 2638254 203545 2257 9 0 2628988 0
[pid=15546/tid=15547] ppid=15544 vsize=10553016 CPUtime=0.23 cores=0,2,4,6
/proc/15546/task/15547/stat : 15547 (java) S 15544 15546 10640 0 -1 4202560 12207 0 1 0 22 1 0 0 15 0 22 0 831033792 10806288384 203545 33554432000 1073741824 1073778376 140733997825776 18446744073709551615 222933593600 0 4 0 16800975 18446604453846569344 0 0 -1 2 0 0 0
[pid=15546/tid=15549] ppid=15544 vsize=10553016 CPUtime=0.01 cores=0,2,4,6
/proc/15546/task/15549/stat : 15549 (java) S 15544 15546 10640 0 -1 4202560 327 0 0 0 1 0 0 0 15 0 22 0 831033793 10806288384 203545 33554432000 1073741824 1073778376 140733997825776 18446744073709551615 222933592985 0 4 0 16800975 18446604453846569344 0 0 -1 6 0 0 0
[pid=15546/tid=15550] ppid=15544 vsize=10553016 CPUtime=0.01 cores=0,2,4,6
/proc/15546/task/15550/stat : 15550 (java) S 15544 15546 10640 0 -1 4202560 137 0 0 0 1 0 0 0 15 0 22 0 831033793 10806288384 203545 33554432000 1073741824 1073778376 140733997825776 18446744073709551615 222933592985 0 4 0 16800975 18446604453846569344 0 0 -1 6 0 0 0
[pid=15546/tid=15551] ppid=15544 vsize=10553016 CPUtime=0 cores=0,2,4,6

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

[pid=15546/tid=15557] ppid=15544 vsize=10553016 CPUtime=63.63 cores=0,2,4,6
/proc/15546/task/15557/stat : 15557 (java) S 15544 15546 10640 0 -1 4202560 35889 0 0 0 6354 9 0 0 16 0 22 0 831033794 10806288384 253969 33554432000 1073741824 1073778376 140733997825776 18446744073709551615 222933593600 0 0 0 16800975 18446604453846569344 0 0 -1 4 0 0 0
[pid=15546/tid=15558] ppid=15544 vsize=10553016 CPUtime=0 cores=0,2,4,6
/proc/15546/task/15558/stat : 15558 (java) S 15544 15546 10640 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 831033795 10806288384 253969 33554432000 1073741824 1073778376 140733997825776 18446744073709551615 222933592985 0 4 0 16800975 18446604453846569344 0 0 -1 2 0 0 0
[pid=15546/tid=15559] ppid=15544 vsize=10553016 CPUtime=0 cores=0,2,4,6
/proc/15546/task/15559/stat : 15559 (java) S 15544 15546 10640 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 22 0 831033795 10806288384 253969 33554432000 1073741824 1073778376 140733997825776 18446744073709551615 222933592985 0 4 0 16800975 18446604453846569344 0 0 -1 2 0 0 0
[pid=15546/tid=15560] ppid=15544 vsize=10553016 CPUtime=0 cores=0,2,4,6
/proc/15546/task/15560/stat : 15560 (java) S 15544 15546 10640 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831033797 10806288384 253969 33554432000 1073741824 1073778376 140733997825776 18446744073709551615 222933600689 0 4 0 16800975 18446604453846569344 0 0 -1 4 0 0 0
[pid=15546/tid=15561] ppid=15544 vsize=10553016 CPUtime=1.05 cores=0,2,4,6
/proc/15546/task/15561/stat : 15561 (java) S 15544 15546 10640 0 -1 4202560 7255 0 0 0 105 0 0 0 15 0 22 0 831033797 10806288384 253969 33554432000 1073741824 1073778376 140733997825776 18446744073709551615 222933592985 0 4 0 16800975 18446604453846569344 0 0 -1 6 0 0 0
[pid=15546/tid=15562] ppid=15544 vsize=10553016 CPUtime=2.05 cores=0,2,4,6
/proc/15546/task/15562/stat : 15562 (java) S 15544 15546 10640 0 -1 4202560 17454 0 0 0 201 4 0 0 15 0 22 0 831033797 10806288384 253969 33554432000 1073741824 1073778376 140733997825776 18446744073709551615 222933592985 0 4 0 16800975 18446604453846569344 0 0 -1 6 0 0 0
[pid=15546/tid=15563] ppid=15544 vsize=10553016 CPUtime=0 cores=0,2,4,6
/proc/15546/task/15563/stat : 15563 (java) S 15544 15546 10640 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831033797 10806288384 253969 33554432000 1073741824 1073778376 140733997825776 18446744073709551615 222933592985 0 4 0 16800975 18446604453846569344 0 0 -1 4 0 0 0
[pid=15546/tid=15564] ppid=15544 vsize=10553016 CPUtime=0 cores=0,2,4,6
/proc/15546/task/15564/stat : 15564 (java) S 15544 15546 10640 0 -1 4202560 23 0 0 0 0 0 0 0 15 0 22 0 831033797 10806288384 253969 33554432000 1073741824 1073778376 140733997825776 18446744073709551615 222933593600 0 4 0 16800975 18446604453846569344 0 0 -1 6 0 0 0
[pid=15546/tid=15567] ppid=15544 vsize=10553016 CPUtime=0 cores=0,2,4,6
/proc/15546/task/15567/stat : 15567 (java) S 15544 15546 10640 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 831033816 10806288384 253969 33554432000 1073741824 1073778376 140733997825776 18446744073709551615 222933593600 0 4 0 16800975 18446604453846569344 0 0 -1 4 0 0 0
[pid=15546/tid=15651] ppid=15544 vsize=10553016 CPUtime=217.33 cores=0,2,4,6
/proc/15546/task/15651/stat : 15651 (java) R 15544 15546 10640 0 -1 4202560 72 0 0 0 21733 0 0 0 16 0 22 0 831047753 10806288384 253969 33554432000 1073741824 1073778376 140733997825776 18446744073709551615 46912505655533 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=15546/tid=15652] ppid=15544 vsize=10553016 CPUtime=217.36 cores=0,2,4,6
/proc/15546/task/15652/stat : 15652 (java) R 15544 15546 10640 0 -1 4202560 91 0 0 0 21735 1 0 0 16 0 22 0 831047753 10806288384 253969 33554432000 1073741824 1073778376 140733997825776 18446744073709551615 46912505682670 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=15546/tid=15653] ppid=15544 vsize=10553016 CPUtime=0 cores=0,2,4,6
/proc/15546/task/15653/stat : 15653 (java) S 15544 15546 10640 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 831047754 10806288384 253969 33554432000 1073741824 1073778376 140733997825776 18446744073709551615 222933593600 0 4 0 16800975 18446604453846569344 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 757.07
Current children cumulated vsize (KiB) 10553016

[startup+410.101 s]
/proc/loadavg: 3.58 3.70 3.63 4/313 15663
/proc/meminfo: memFree=25692832/32951124 swapFree=55664332/67111528
[pid=15546] ppid=15544 vsize=10553016 CPUtime=759.19 cores=0,2,4,6
/proc/15546/stat : 15546 (java) S 15544 15546 10640 0 -1 4202496 273394 0 1 0 75876 43 0 0 25 0 19 0 831033791 10806288384 253969 33554432000 1073741824 1073778376 140733997825776 18446744073709551615 222933579749 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/15546/statm: 2638254 253969 2259 9 0 2628988 0
[pid=15546/tid=15547] ppid=15544 vsize=10553016 CPUtime=1.11 cores=0,2,4,6
/proc/15546/task/15547/stat : 15547 (java) R 15544 15546 10640 0 -1 4202560 12313 0 1 0 110 1 0 0 16 0 19 0 831033792 10806288384 253969 33554432000 1073741824 1073778376 140733997825776 18446744073709551615 46912505366582 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=15546/tid=15549] ppid=15544 vsize=10553016 CPUtime=0.95 cores=0,2,4,6
/proc/15546/task/15549/stat : 15549 (java) S 15544 15546 10640 0 -1 4202560 472 0 0 0 95 0 0 0 15 0 19 0 831033793 10806288384 253969 33554432000 1073741824 1073778376 140733997825776 18446744073709551615 222933592985 0 4 0 16800975 18446604453846569344 0 0 -1 6 0 0 0
[pid=15546/tid=15550] ppid=15544 vsize=10553016 CPUtime=0.93 cores=0,2,4,6
/proc/15546/task/15550/stat : 15550 (java) S 15544 15546 10640 0 -1 4202560 274 0 0 0 93 0 0 0 16 0 19 0 831033793 10806288384 253969 33554432000 1073741824 1073778376 140733997825776 18446744073709551615 222933592985 0 4 0 16800975 18446604453846569344 0 0 -1 0 0 0 0
[pid=15546/tid=15551] ppid=15544 vsize=10553016 CPUtime=0.87 cores=0,2,4,6
/proc/15546/task/15551/stat : 15551 (java) S 15544 15546 10640 0 -1 4202560 376 0 0 0 87 0 0 0 15 0 19 0 831033793 10806288384 253969 33554432000 1073741824 1073778376 140733997825776 18446744073709551615 222933592985 0 4 0 16800975 18446604453846569344 0 0 -1 0 0 0 0
[pid=15546/tid=15552] ppid=15544 vsize=10553016 CPUtime=0.95 cores=0,2,4,6
/proc/15546/task/15552/stat : 15552 (java) S 15544 15546 10640 0 -1 4202560 257 0 0 0 95 0 0 0 16 0 19 0 831033793 10806288384 253969 33554432000 1073741824 1073778376 140733997825776 18446744073709551615 222933592985 0 4 0 16800975 18446604453846569344 0 0 -1 6 0 0 0
[pid=15546/tid=15553] ppid=15544 vsize=10553016 CPUtime=0.96 cores=0,2,4,6
/proc/15546/task/15553/stat : 15553 (java) S 15544 15546 10640 0 -1 4202560 160 0 0 0 96 0 0 0 15 0 19 0 831033793 10806288384 253969 33554432000 1073741824 1073778376 140733997825776 18446744073709551615 222933592985 0 4 0 16800975 18446604453846569344 0 0 -1 2 0 0 0
[pid=15546/tid=15554] ppid=15544 vsize=10553016 CPUtime=0.87 cores=0,2,4,6
/proc/15546/task/15554/stat : 15554 (java) S 15544 15546 10640 0 -1 4202560 743 0 0 0 87 0 0 0 16 0 19 0 831033793 10806288384 253969 33554432000 1073741824 1073778376 140733997825776 18446744073709551615 222933592985 0 4 0 16800975 18446604453846569344 0 0 -1 0 0 0 0
[pid=15546/tid=15555] ppid=15544 vsize=10553016 CPUtime=0.89 cores=0,2,4,6
/proc/15546/task/15555/stat : 15555 (java) S 15544 15546 10640 0 -1 4202560 580 0 0 0 89 0 0 0 15 0 19 0 831033793 10806288384 253969 33554432000 1073741824 1073778376 140733997825776 18446744073709551615 222933592985 0 4 0 16800975 18446604453846569344 0 0 -1 2 0 0 0
[pid=15546/tid=15556] ppid=15544 vsize=10553016 CPUtime=0.91 cores=0,2,4,6
/proc/15546/task/15556/stat : 15556 (java) S 15544 15546 10640 0 -1 4202560 639 0 0 0 91 0 0 0 15 0 19 0 831033793 10806288384 253969 33554432000 1073741824 1073778376 140733997825776 18446744073709551615 222933592985 0 4 0 16800975 18446604453846569344 0 0 -1 2 0 0 0
[pid=15546/tid=15557] ppid=15544 vsize=10553016 CPUtime=63.63 cores=0,2,4,6
/proc/15546/task/15557/stat : 15557 (java) S 15544 15546 10640 0 -1 4202560 35889 0 0 0 6354 9 0 0 15 0 19 0 831033794 10806288384 253969 33554432000 1073741824 1073778376 140733997825776 18446744073709551615 222933593600 0 0 0 16800975 18446604453846569344 0 0 -1 4 0 0 0
[pid=15546/tid=15558] ppid=15544 vsize=10553016 CPUtime=0 cores=0,2,4,6
/proc/15546/task/15558/stat : 15558 (java) S 15544 15546 10640 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 831033795 10806288384 253969 33554432000 1073741824 1073778376 140733997825776 18446744073709551615 222933592985 0 4 0 16800975 18446604453846569344 0 0 -1 2 0 0 0
[pid=15546/tid=15559] ppid=15544 vsize=10553016 CPUtime=0 cores=0,2,4,6
/proc/15546/task/15559/stat : 15559 (java) S 15544 15546 10640 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 831033795 10806288384 253969 33554432000 1073741824 1073778376 140733997825776 18446744073709551615 222933592985 0 4 0 16800975 18446604453846569344 0 0 -1 2 0 0 0
[pid=15546/tid=15560] ppid=15544 vsize=10553016 CPUtime=0 cores=0,2,4,6
/proc/15546/task/15560/stat : 15560 (java) S 15544 15546 10640 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831033797 10806288384 253969 33554432000 1073741824 1073778376 140733997825776 18446744073709551615 222933600689 0 4 0 16800975 18446604453846569344 0 0 -1 4 0 0 0
[pid=15546/tid=15561] ppid=15544 vsize=10553016 CPUtime=1.07 cores=0,2,4,6
/proc/15546/task/15561/stat : 15561 (java) S 15544 15546 10640 0 -1 4202560 7255 0 0 0 107 0 0 0 15 0 19 0 831033797 10806288384 253969 33554432000 1073741824 1073778376 140733997825776 18446744073709551615 222933592985 0 4 0 16800975 18446604453846569344 0 0 -1 2 0 0 0
[pid=15546/tid=15562] ppid=15544 vsize=10553016 CPUtime=2.05 cores=0,2,4,6
/proc/15546/task/15562/stat : 15562 (java) S 15544 15546 10640 0 -1 4202560 17455 0 0 0 201 4 0 0 15 0 19 0 831033797 10806288384 253969 33554432000 1073741824 1073778376 140733997825776 18446744073709551615 222933592985 0 4 0 16800975 18446604453846569344 0 0 -1 0 0 0 0
[pid=15546/tid=15563] ppid=15544 vsize=10553016 CPUtime=0 cores=0,2,4,6
/proc/15546/task/15563/stat : 15563 (java) S 15544 15546 10640 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831033797 10806288384 253969 33554432000 1073741824 1073778376 140733997825776 18446744073709551615 222933592985 0 4 0 16800975 18446604453846569344 0 0 -1 4 0 0 0
[pid=15546/tid=15564] ppid=15544 vsize=10553016 CPUtime=0 cores=0,2,4,6
/proc/15546/task/15564/stat : 15564 (java) S 15544 15546 10640 0 -1 4202560 23 0 0 0 0 0 0 0 15 0 19 0 831033797 10806288384 253969 33554432000 1073741824 1073778376 140733997825776 18446744073709551615 222933593600 0 4 0 16800975 18446604453846569344 0 0 -1 0 0 0 0
[pid=15546/tid=15567] ppid=15544 vsize=10553016 CPUtime=0 cores=0,2,4,6
/proc/15546/task/15567/stat : 15567 (java) S 15544 15546 10640 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 831033816 10806288384 253969 33554432000 1073741824 1073778376 140733997825776 18446744073709551615 222933593600 0 4 0 16800975 18446604453846569344 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 759.19
Current children cumulated vsize (KiB) 10553016

[startup+410.501 s]
/proc/loadavg: 3.58 3.70 3.63 4/313 15663
/proc/meminfo: memFree=25692832/32951124 swapFree=55664332/67111528
[pid=15546] ppid=15544 vsize=10553016 CPUtime=759.59 cores=0,2,4,6
/proc/15546/stat : 15546 (java) S 15544 15546 10640 0 -1 4202496 273394 0 1 0 75916 43 0 0 25 0 19 0 831033791 10806288384 253969 33554432000 1073741824 1073778376 140733997825776 18446744073709551615 222933579749 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/15546/statm: 2638254 253969 2259 9 0 2628988 0
[pid=15546/tid=15547] ppid=15544 vsize=10553016 CPUtime=1.51 cores=0,2,4,6
/proc/15546/task/15547/stat : 15547 (java) R 15544 15546 10640 0 -1 4202560 12313 0 1 0 150 1 0 0 17 0 19 0 831033792 10806288384 253969 33554432000 1073741824 1073778376 140733997825776 18446744073709551615 46912506345618 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=15546/tid=15549] ppid=15544 vsize=10553016 CPUtime=0.95 cores=0,2,4,6
/proc/15546/task/15549/stat : 15549 (java) S 15544 15546 10640 0 -1 4202560 472 0 0 0 95 0 0 0 15 0 19 0 831033793 10806288384 253969 33554432000 1073741824 1073778376 140733997825776 18446744073709551615 222933592985 0 4 0 16800975 18446604453846569344 0 0 -1 6 0 0 0
[pid=15546/tid=15550] ppid=15544 vsize=10553016 CPUtime=0.93 cores=0,2,4,6
/proc/15546/task/15550/stat : 15550 (java) S 15544 15546 10640 0 -1 4202560 274 0 0 0 93 0 0 0 16 0 19 0 831033793 10806288384 253969 33554432000 1073741824 1073778376 140733997825776 18446744073709551615 222933592985 0 4 0 16800975 18446604453846569344 0 0 -1 0 0 0 0
[pid=15546/tid=15551] ppid=15544 vsize=10553016 CPUtime=0.87 cores=0,2,4,6
/proc/15546/task/15551/stat : 15551 (java) S 15544 15546 10640 0 -1 4202560 376 0 0 0 87 0 0 0 15 0 19 0 831033793 10806288384 253969 33554432000 1073741824 1073778376 140733997825776 18446744073709551615 222933592985 0 4 0 16800975 18446604453846569344 0 0 -1 0 0 0 0
[pid=15546/tid=15552] ppid=15544 vsize=10553016 CPUtime=0.95 cores=0,2,4,6
/proc/15546/task/15552/stat : 15552 (java) S 15544 15546 10640 0 -1 4202560 257 0 0 0 95 0 0 0 16 0 19 0 831033793 10806288384 253969 33554432000 1073741824 1073778376 140733997825776 18446744073709551615 222933592985 0 4 0 16800975 18446604453846569344 0 0 -1 6 0 0 0
[pid=15546/tid=15553] ppid=15544 vsize=10553016 CPUtime=0.96 cores=0,2,4,6
/proc/15546/task/15553/stat : 15553 (java) S 15544 15546 10640 0 -1 4202560 160 0 0 0 96 0 0 0 15 0 19 0 831033793 10806288384 253969 33554432000 1073741824 1073778376 140733997825776 18446744073709551615 222933592985 0 4 0 16800975 18446604453846569344 0 0 -1 2 0 0 0
[pid=15546/tid=15554] ppid=15544 vsize=10553016 CPUtime=0.87 cores=0,2,4,6
/proc/15546/task/15554/stat : 15554 (java) S 15544 15546 10640 0 -1 4202560 743 0 0 0 87 0 0 0 16 0 19 0 831033793 10806288384 253969 33554432000 1073741824 1073778376 140733997825776 18446744073709551615 222933592985 0 4 0 16800975 18446604453846569344 0 0 -1 0 0 0 0
[pid=15546/tid=15555] ppid=15544 vsize=10553016 CPUtime=0.89 cores=0,2,4,6
/proc/15546/task/15555/stat : 15555 (java) S 15544 15546 10640 0 -1 4202560 580 0 0 0 89 0 0 0 15 0 19 0 831033793 10806288384 253969 33554432000 1073741824 1073778376 140733997825776 18446744073709551615 222933592985 0 4 0 16800975 18446604453846569344 0 0 -1 2 0 0 0
[pid=15546/tid=15556] ppid=15544 vsize=10553016 CPUtime=0.91 cores=0,2,4,6
/proc/15546/task/15556/stat : 15556 (java) S 15544 15546 10640 0 -1 4202560 639 0 0 0 91 0 0 0 15 0 19 0 831033793 10806288384 253969 33554432000 1073741824 1073778376 140733997825776 18446744073709551615 222933592985 0 4 0 16800975 18446604453846569344 0 0 -1 2 0 0 0
[pid=15546/tid=15557] ppid=15544 vsize=10553016 CPUtime=63.63 cores=0,2,4,6
/proc/15546/task/15557/stat : 15557 (java) S 15544 15546 10640 0 -1 4202560 35889 0 0 0 6354 9 0 0 15 0 19 0 831033794 10806288384 253969 33554432000 1073741824 1073778376 140733997825776 18446744073709551615 222933593600 0 0 0 16800975 18446604453846569344 0 0 -1 4 0 0 0
[pid=15546/tid=15558] ppid=15544 vsize=10553016 CPUtime=0 cores=0,2,4,6
/proc/15546/task/15558/stat : 15558 (java) S 15544 15546 10640 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 831033795 10806288384 253969 33554432000 1073741824 1073778376 140733997825776 18446744073709551615 222933592985 0 4 0 16800975 18446604453846569344 0 0 -1 2 0 0 0
[pid=15546/tid=15559] ppid=15544 vsize=10553016 CPUtime=0 cores=0,2,4,6
/proc/15546/task/15559/stat : 15559 (java) S 15544 15546 10640 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 831033795 10806288384 253969 33554432000 1073741824 1073778376 140733997825776 18446744073709551615 222933592985 0 4 0 16800975 18446604453846569344 0 0 -1 2 0 0 0
[pid=15546/tid=15560] ppid=15544 vsize=10553016 CPUtime=0 cores=0,2,4,6
/proc/15546/task/15560/stat : 15560 (java) S 15544 15546 10640 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831033797 10806288384 253969 33554432000 1073741824 1073778376 140733997825776 18446744073709551615 222933600689 0 4 0 16800975 18446604453846569344 0 0 -1 4 0 0 0
[pid=15546/tid=15561] ppid=15544 vsize=10553016 CPUtime=1.07 cores=0,2,4,6
/proc/15546/task/15561/stat : 15561 (java) S 15544 15546 10640 0 -1 4202560 7255 0 0 0 107 0 0 0 15 0 19 0 831033797 10806288384 253969 33554432000 1073741824 1073778376 140733997825776 18446744073709551615 222933592985 0 4 0 16800975 18446604453846569344 0 0 -1 2 0 0 0
[pid=15546/tid=15562] ppid=15544 vsize=10553016 CPUtime=2.05 cores=0,2,4,6
/proc/15546/task/15562/stat : 15562 (java) S 15544 15546 10640 0 -1 4202560 17455 0 0 0 201 4 0 0 15 0 19 0 831033797 10806288384 253969 33554432000 1073741824 1073778376 140733997825776 18446744073709551615 222933592985 0 4 0 16800975 18446604453846569344 0 0 -1 0 0 0 0
[pid=15546/tid=15563] ppid=15544 vsize=10553016 CPUtime=0 cores=0,2,4,6
/proc/15546/task/15563/stat : 15563 (java) S 15544 15546 10640 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831033797 10806288384 253969 33554432000 1073741824 1073778376 140733997825776 18446744073709551615 222933592985 0 4 0 16800975 18446604453846569344 0 0 -1 4 0 0 0
[pid=15546/tid=15564] ppid=15544 vsize=10553016 CPUtime=0 cores=0,2,4,6
/proc/15546/task/15564/stat : 15564 (java) S 15544 15546 10640 0 -1 4202560 23 0 0 0 0 0 0 0 15 0 19 0 831033797 10806288384 253969 33554432000 1073741824 1073778376 140733997825776 18446744073709551615 222933593600 0 4 0 16800975 18446604453846569344 0 0 -1 0 0 0 0
[pid=15546/tid=15567] ppid=15544 vsize=10553016 CPUtime=0 cores=0,2,4,6
/proc/15546/task/15567/stat : 15567 (java) S 15544 15546 10640 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 831033816 10806288384 253969 33554432000 1073741824 1073778376 140733997825776 18446744073709551615 222933593600 0 4 0 16800975 18446604453846569344 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 759.59
Current children cumulated vsize (KiB) 10553016

[startup+410.701 s]
/proc/loadavg: 3.58 3.70 3.63 4/313 15663
/proc/meminfo: memFree=25692832/32951124 swapFree=55664332/67111528
[pid=15546] ppid=15544 vsize=10553016 CPUtime=759.79 cores=0,2,4,6
/proc/15546/stat : 15546 (java) S 15544 15546 10640 0 -1 4202496 273394 0 1 0 75936 43 0 0 25 0 19 0 831033791 10806288384 253969 33554432000 1073741824 1073778376 140733997825776 18446744073709551615 222933579749 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/15546/statm: 2638254 253969 2259 9 0 2628988 0
[pid=15546/tid=15547] ppid=15544 vsize=10553016 CPUtime=1.71 cores=0,2,4,6
/proc/15546/task/15547/stat : 15547 (java) R 15544 15546 10640 0 -1 4202560 12313 0 1 0 170 1 0 0 17 0 19 0 831033792 10806288384 253969 33554432000 1073741824 1073778376 140733997825776 18446744073709551615 46912506345665 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=15546/tid=15549] ppid=15544 vsize=10553016 CPUtime=0.95 cores=0,2,4,6
/proc/15546/task/15549/stat : 15549 (java) S 15544 15546 10640 0 -1 4202560 472 0 0 0 95 0 0 0 15 0 19 0 831033793 10806288384 253969 33554432000 1073741824 1073778376 140733997825776 18446744073709551615 222933592985 0 4 0 16800975 18446604453846569344 0 0 -1 6 0 0 0
[pid=15546/tid=15550] ppid=15544 vsize=10553016 CPUtime=0.93 cores=0,2,4,6
/proc/15546/task/15550/stat : 15550 (java) S 15544 15546 10640 0 -1 4202560 274 0 0 0 93 0 0 0 16 0 19 0 831033793 10806288384 253969 33554432000 1073741824 1073778376 140733997825776 18446744073709551615 222933592985 0 4 0 16800975 18446604453846569344 0 0 -1 0 0 0 0
[pid=15546/tid=15551] ppid=15544 vsize=10553016 CPUtime=0.87 cores=0,2,4,6
/proc/15546/task/15551/stat : 15551 (java) S 15544 15546 10640 0 -1 4202560 376 0 0 0 87 0 0 0 15 0 19 0 831033793 10806288384 253969 33554432000 1073741824 1073778376 140733997825776 18446744073709551615 222933592985 0 4 0 16800975 18446604453846569344 0 0 -1 0 0 0 0
[pid=15546/tid=15552] ppid=15544 vsize=10553016 CPUtime=0.95 cores=0,2,4,6
/proc/15546/task/15552/stat : 15552 (java) S 15544 15546 10640 0 -1 4202560 257 0 0 0 95 0 0 0 16 0 19 0 831033793 10806288384 253969 33554432000 1073741824 1073778376 140733997825776 18446744073709551615 222933592985 0 4 0 16800975 18446604453846569344 0 0 -1 6 0 0 0
[pid=15546/tid=15553] ppid=15544 vsize=10553016 CPUtime=0.96 cores=0,2,4,6
/proc/15546/task/15553/stat : 15553 (java) S 15544 15546 10640 0 -1 4202560 160 0 0 0 96 0 0 0 15 0 19 0 831033793 10806288384 253969 33554432000 1073741824 1073778376 140733997825776 18446744073709551615 222933592985 0 4 0 16800975 18446604453846569344 0 0 -1 2 0 0 0
[pid=15546/tid=15554] ppid=15544 vsize=10553016 CPUtime=0.87 cores=0,2,4,6
/proc/15546/task/15554/stat : 15554 (java) S 15544 15546 10640 0 -1 4202560 743 0 0 0 87 0 0 0 16 0 19 0 831033793 10806288384 253969 33554432000 1073741824 1073778376 140733997825776 18446744073709551615 222933592985 0 4 0 16800975 18446604453846569344 0 0 -1 0 0 0 0
[pid=15546/tid=15555] ppid=15544 vsize=10553016 CPUtime=0.89 cores=0,2,4,6
/proc/15546/task/15555/stat : 15555 (java) S 15544 15546 10640 0 -1 4202560 580 0 0 0 89 0 0 0 15 0 19 0 831033793 10806288384 253969 33554432000 1073741824 1073778376 140733997825776 18446744073709551615 222933592985 0 4 0 16800975 18446604453846569344 0 0 -1 2 0 0 0
[pid=15546/tid=15556] ppid=15544 vsize=10553016 CPUtime=0.91 cores=0,2,4,6
/proc/15546/task/15556/stat : 15556 (java) S 15544 15546 10640 0 -1 4202560 639 0 0 0 91 0 0 0 15 0 19 0 831033793 10806288384 253969 33554432000 1073741824 1073778376 140733997825776 18446744073709551615 222933592985 0 4 0 16800975 18446604453846569344 0 0 -1 2 0 0 0
[pid=15546/tid=15557] ppid=15544 vsize=10553016 CPUtime=63.63 cores=0,2,4,6
/proc/15546/task/15557/stat : 15557 (java) S 15544 15546 10640 0 -1 4202560 35889 0 0 0 6354 9 0 0 15 0 19 0 831033794 10806288384 253969 33554432000 1073741824 1073778376 140733997825776 18446744073709551615 222933593600 0 0 0 16800975 18446604453846569344 0 0 -1 4 0 0 0
[pid=15546/tid=15558] ppid=15544 vsize=10553016 CPUtime=0 cores=0,2,4,6
/proc/15546/task/15558/stat : 15558 (java) S 15544 15546 10640 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 831033795 10806288384 253969 33554432000 1073741824 1073778376 140733997825776 18446744073709551615 222933592985 0 4 0 16800975 18446604453846569344 0 0 -1 2 0 0 0
[pid=15546/tid=15559] ppid=15544 vsize=10553016 CPUtime=0 cores=0,2,4,6
/proc/15546/task/15559/stat : 15559 (java) S 15544 15546 10640 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 831033795 10806288384 253969 33554432000 1073741824 1073778376 140733997825776 18446744073709551615 222933592985 0 4 0 16800975 18446604453846569344 0 0 -1 2 0 0 0
[pid=15546/tid=15560] ppid=15544 vsize=10553016 CPUtime=0 cores=0,2,4,6
/proc/15546/task/15560/stat : 15560 (java) S 15544 15546 10640 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831033797 10806288384 253969 33554432000 1073741824 1073778376 140733997825776 18446744073709551615 222933600689 0 4 0 16800975 18446604453846569344 0 0 -1 4 0 0 0
[pid=15546/tid=15561] ppid=15544 vsize=10553016 CPUtime=1.07 cores=0,2,4,6
/proc/15546/task/15561/stat : 15561 (java) S 15544 15546 10640 0 -1 4202560 7255 0 0 0 107 0 0 0 15 0 19 0 831033797 10806288384 253969 33554432000 1073741824 1073778376 140733997825776 18446744073709551615 222933592985 0 4 0 16800975 18446604453846569344 0 0 -1 2 0 0 0
[pid=15546/tid=15562] ppid=15544 vsize=10553016 CPUtime=2.05 cores=0,2,4,6
/proc/15546/task/15562/stat : 15562 (java) S 15544 15546 10640 0 -1 4202560 17455 0 0 0 201 4 0 0 15 0 19 0 831033797 10806288384 253969 33554432000 1073741824 1073778376 140733997825776 18446744073709551615 222933592985 0 4 0 16800975 18446604453846569344 0 0 -1 0 0 0 0
[pid=15546/tid=15563] ppid=15544 vsize=10553016 CPUtime=0 cores=0,2,4,6
/proc/15546/task/15563/stat : 15563 (java) S 15544 15546 10640 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831033797 10806288384 253969 33554432000 1073741824 1073778376 140733997825776 18446744073709551615 222933592985 0 4 0 16800975 18446604453846569344 0 0 -1 4 0 0 0
[pid=15546/tid=15564] ppid=15544 vsize=10553016 CPUtime=0 cores=0,2,4,6
/proc/15546/task/15564/stat : 15564 (java) S 15544 15546 10640 0 -1 4202560 23 0 0 0 0 0 0 0 15 0 19 0 831033797 10806288384 253969 33554432000 1073741824 1073778376 140733997825776 18446744073709551615 222933593600 0 4 0 16800975 18446604453846569344 0 0 -1 0 0 0 0
[pid=15546/tid=15567] ppid=15544 vsize=10553016 CPUtime=0 cores=0,2,4,6
/proc/15546/task/15567/stat : 15567 (java) S 15544 15546 10640 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 831033816 10806288384 253969 33554432000 1073741824 1073778376 140733997825776 18446744073709551615 222933593600 0 4 0 16800975 18446604453846569344 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 759.79
Current children cumulated vsize (KiB) 10553016

[startup+410.801 s]
/proc/loadavg: 3.58 3.70 3.63 3/295 15664
/proc/meminfo: memFree=26159196/32951124 swapFree=55664332/67111528
[pid=15546] ppid=15544 vsize=0 CPUtime=759.89 cores=0,2,4,6
/proc/15546/stat : 15546 (java) R 15544 15546 10640 0 -1 4203524 273400 0 1 0 75944 45 0 0 18 0 1 0 831033791 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/15546/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 759.89
Current children cumulated vsize (KiB) 0

Child status: 30
Real time (s): 410.822
CPU time (s): 759.923
CPU user time (s): 759.449
CPU system time (s): 0.473927
CPU usage (%): 184.976
Max. virtual memory (cumulated for all children) (KiB): 10555404

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 759.449
system time used= 0.473927
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 273400
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= 19877
involuntary context switches= 7799

runsolver used 1.26481 second user time and 2.50862 second system time

The end

Launcher Data 

Begin job on node109 at 2011-06-04 15:32:10
IDJOB=3453856
IDBENCH=48060
IDSOLVER=1950
FILE ID=node109/3453856-1307194330
RUNJOBID= node109-1307193415-15379
PBS_JOBID= 13508846
Free space on /tmp= 74008 MiB

SOLVER NAME= Sat4j Res//CP 2.3.0
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/factor-mod-size=9-P0=131-P1=307-P2=281-P3=173-P4=479-P5=461-P6=107-P7=337-P8=353-B.opb
COMMAND LINE= java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3453856-1307194330/watcher-3453856-1307194330 -o /tmp/evaluation-result-3453856-1307194330/solver-3453856-1307194330 -C 1800 -W 1900 -M 15500  java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3453856-1307194330.opb

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

MD5SUM BENCH= 6dc20e219798a6cc2c39fe76202681b5
RANDOM SEED=2139026672

node109.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.809
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.61
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.809
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.809
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.809
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.809
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.82
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.809
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.809
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.809
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:      26453980 kB
Buffers:        321408 kB
Cached:        2219644 kB
SwapCached:      10392 kB
Active:        2825768 kB
Inactive:      3410940 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      26453980 kB
SwapTotal:    67111528 kB
SwapFree:     55664332 kB
Dirty:             168 kB
Writeback:           0 kB
AnonPages:     3691536 kB
Mapped:          24688 kB
Slab:           156748 kB
PageTables:      41460 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 41252876 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= 74008 MiB
End job on node109 at 2011-06-04 15:39:01