Trace number 3454503

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.0SAT (TO)114 1800.31 937.698

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/mps-v2-20-10/plato.asu.edu/
pub/milp/normalized-mps-v2-20-10-neos16.opb
MD5SUM49459e9c72edb2754f1d384319cf8731
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark114
Best CPU time to get the best result obtained on this benchmark1800.07
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 114
Optimality of the best value was proved NO
Number of variables464
Total number of constraints1059
Number of constraints which are clauses336
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints723
Minimum length of a constraint2
Maximum length of a constraint128
Number of terms in the objective function 8
Biggest coefficient in the objective function 128
Number of bits for the biggest coefficient in the objective function 8
Sum of the numbers in the objective function 255
Number of bits of the sum of numbers in the objective function 8
Biggest number in a constraint 138
Number of bits of the biggest number in a constraint 8
Biggest sum of numbers in a constraint 535
Number of bits of the biggest sum of numbers10
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data 

0.01/0.08	c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre
0.01/0.08	c This is free software under the dual EPL/GNU LGPL licenses.
0.01/0.08	c See www.sat4j.org for details.
0.01/0.09	c version 2.3.1.v20110525
0.01/0.09	c java.runtime.name	Java(TM) SE Runtime Environment
0.01/0.09	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.01/0.09	c java.vm.version	19.1-b02
0.01/0.09	c java.vm.vendor	Sun Microsystems Inc.
0.01/0.09	c sun.arch.data.model	64
0.01/0.09	c java.version		1.6.0_24
0.01/0.09	c os.name		Linux
0.01/0.09	c os.version		2.6.18-164.el5
0.01/0.09	c os.arch		amd64
0.01/0.09	c Free memory 		9996466904
0.01/0.09	c Max memory 		10048897024
0.01/0.09	c Total memory 		10048897024
0.01/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-3454503-1307187808.opb
0.10/0.11	c reading problem ... 
0.50/0.30	c ... done. Wall clock time 0.186s.
0.50/0.30	c #vars     464
0.50/0.30	c #constraints  1069
0.50/0.30	c constraints type 
0.50/0.30	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 40
0.50/0.30	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 336
0.50/0.30	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 693
0.50/0.30	c constraints type 
0.50/0.30	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 336
0.50/0.30	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 40
0.50/0.30	c org.sat4j.pb.constraints.pb.MaxWatchPb => 693
1.45/0.57	c  And the winner is Resolution
1.64/0.81	c SATISFIABLE
1.64/0.81	c OPTIMIZING...
1.64/0.81	c Got one! Elapsed wall clock time (in seconds):0.69
1.64/0.81	o 126
1.64/0.98	c  And the winner is Resolution
2.49/1.31	c Got one! Elapsed wall clock time (in seconds):1.196
2.49/1.31	o 125
2.49/1.38	c cleaning 2954 clauses out of 5909 with flag 1002/5909
3.66/1.74	c cleaning 4474 clauses out of 8954 with flag 7001/11908
4.66/2.14	c cleaning 5734 clauses out of 11479 with flag 14000/18907
4.66/2.19	c  And the winner is Resolution
4.84/2.31	c Got one! Elapsed wall clock time (in seconds):2.202
4.84/2.31	o 123
5.20/2.57	c cleaning 5656 clauses out of 11317 with flag 5002/24479
6.02/2.92	c cleaning 5827 clauses out of 11662 with flag 11003/30480
6.61/3.24	c  And the winner is Resolution
6.70/3.32	c Got one! Elapsed wall clock time (in seconds):3.208
6.70/3.32	o 122
7.05/3.55	c cleaning 8203 clauses out of 16412 with flag 5000/41057
7.83/3.91	c cleaning 7104 clauses out of 14209 with flag 11000/47057
8.61/4.34	c cleaning 7048 clauses out of 14106 with flag 18001/54058
9.98/5.02	c cleaning 7512 clauses out of 15057 with flag 26000/62057
11.75/5.97	c cleaning 8261 clauses out of 16547 with flag 35002/71059
12.12/6.15	c  And the winner is Resolution
12.23/6.33	c Got one! Elapsed wall clock time (in seconds):6.221
12.23/6.33	o 121
12.57/6.52	c cleaning 6864 clauses out of 13740 with flag 4000/76513
13.13/6.85	c cleaning 6435 clauses out of 12876 with flag 10000/82513
14.09/7.31	c cleaning 6715 clauses out of 13441 with flag 17000/89513
15.86/8.25	c cleaning 7357 clauses out of 14728 with flag 25002/97515
18.03/9.33	c cleaning 8159 clauses out of 16369 with flag 34000/106513
20.80/10.76	c cleaning 9089 clauses out of 18210 with flag 44000/116513
23.16/11.94	c cleaning 9553 clauses out of 19122 with flag 54001/126514
26.12/13.43	c cleaning 9771 clauses out of 19568 with flag 64000/136513
28.29/14.52	c cleaning 0 clauses out of 7245 with flag 0/7248
29.40/14.90	c cleaning 9880 clauses out of 19798 with flag 74001/146514
32.76/16.56	c cleaning 9938 clauses out of 19917 with flag 84000/156513
35.88/18.13	c cleaning 9980 clauses out of 19980 with flag 94001/166514
39.27/19.82	c cleaning 9984 clauses out of 19999 with flag 104000/176513
41.42/20.92	c cleaning 9995 clauses out of 20015 with flag 114000/186513
43.56/22.09	c cleaning 10006 clauses out of 20021 with flag 124001/196514
45.49/23.07	c  And the winner is CuttingPlanes
45.64/23.43	c Got one! Elapsed wall clock time (in seconds):23.313
45.64/23.43	o 118
46.78/24.03	c cleaning 11275 clauses out of 22577 with flag 5001/209076
47.94/24.68	c cleaning 8645 clauses out of 17304 with flag 11003/215078
49.70/25.53	c cleaning 7805 clauses out of 15657 with flag 18001/222076
51.24/26.35	c cleaning 7904 clauses out of 15853 with flag 26002/230077
53.19/27.33	c cleaning 8457 clauses out of 16947 with flag 35000/239075
55.54/28.54	c cleaning 9227 clauses out of 18490 with flag 45000/249075
58.13/29.89	c cleaning 9624 clauses out of 19263 with flag 55000/259075
60.83/31.30	c cleaning 9800 clauses out of 19640 with flag 65001/269076
63.98/32.83	c cleaning 9907 clauses out of 19839 with flag 75000/279075
66.93/34.38	c cleaning 9943 clauses out of 19933 with flag 85001/289076
69.90/35.82	c cleaning 9979 clauses out of 19989 with flag 95000/299075
72.82/37.38	c cleaning 9995 clauses out of 20010 with flag 105000/309075
75.77/38.88	c cleaning 9998 clauses out of 20015 with flag 115000/319075
78.72/40.33	c cleaning 9997 clauses out of 20017 with flag 125000/329075
82.06/42.04	c cleaning 9999 clauses out of 20021 with flag 135001/339076
85.38/43.75	c cleaning 10000 clauses out of 20023 with flag 145002/349077
88.35/45.22	c cleaning 9990 clauses out of 20022 with flag 155001/359076
91.27/46.73	c cleaning 9996 clauses out of 20031 with flag 165000/369075
94.21/48.22	c cleaning 10003 clauses out of 20036 with flag 175001/379076
96.34/49.39	c cleaning 9995 clauses out of 20032 with flag 185000/389075
99.11/50.73	c cleaning 9996 clauses out of 20037 with flag 195000/399075
102.03/52.27	c cleaning 10000 clauses out of 20041 with flag 205000/409075
105.18/53.83	c cleaning 10007 clauses out of 20041 with flag 215000/419075
108.09/55.38	c cleaning 10009 clauses out of 20035 with flag 225001/429076
111.04/56.80	c cleaning 9997 clauses out of 20027 with flag 235002/439077
114.01/58.34	c cleaning 10004 clauses out of 20028 with flag 245000/449075
117.11/59.94	c cleaning 10000 clauses out of 20025 with flag 255001/459076
119.83/61.34	c cleaning 9998 clauses out of 20024 with flag 265000/469075
122.37/62.64	c cleaning 10005 clauses out of 20029 with flag 275003/479078
124.51/63.74	c cleaning 0 clauses out of 13046 with flag 0/13049
125.44/64.23	c cleaning 10008 clauses out of 20022 with flag 285001/489076
128.36/65.76	c cleaning 9979 clauses out of 20013 with flag 295000/499075
130.89/67.11	c cleaning 10002 clauses out of 20034 with flag 305000/509075
134.03/68.63	c cleaning 9992 clauses out of 20032 with flag 315000/519075
136.77/70.00	c cleaning 10008 clauses out of 20041 with flag 325001/529076
139.72/71.58	c cleaning 10002 clauses out of 20032 with flag 335000/539075
142.82/73.11	c cleaning 9995 clauses out of 20030 with flag 345000/549075
145.36/74.45	c cleaning 10005 clauses out of 20035 with flag 355000/559075
148.10/75.83	c cleaning 9998 clauses out of 20032 with flag 365002/569077
150.81/77.29	c cleaning 9993 clauses out of 20034 with flag 375002/579077
153.76/78.73	c cleaning 9985 clauses out of 20040 with flag 385001/589076
156.30/80.01	c cleaning 10019 clauses out of 20054 with flag 395000/599075
158.23/81.07	c cleaning 10015 clauses out of 20037 with flag 405002/609077
160.74/82.30	c cleaning 9985 clauses out of 20020 with flag 415000/619075
163.31/83.68	c cleaning 9989 clauses out of 20036 with flag 425001/629076
166.41/85.25	c cleaning 9990 clauses out of 20046 with flag 435000/639075
169.54/86.88	c cleaning 10016 clauses out of 20058 with flag 445002/649077
172.25/88.22	c cleaning 10007 clauses out of 20040 with flag 455000/659075
175.18/89.79	c cleaning 9992 clauses out of 20033 with flag 465000/669075
178.36/91.40	c cleaning 10010 clauses out of 20041 with flag 475000/679075
181.26/92.84	c cleaning 9993 clauses out of 20033 with flag 485002/689077
184.16/94.32	c cleaning 10001 clauses out of 20038 with flag 495000/699075
187.29/95.97	c cleaning 9999 clauses out of 20037 with flag 505000/709075
190.62/97.65	c cleaning 9988 clauses out of 20039 with flag 515001/719076
192.55/98.63	c  And the winner is CuttingPlanes
192.62/98.97	c Got one! Elapsed wall clock time (in seconds):98.86
192.62/98.97	o 117
193.66/99.52	c cleaning 10837 clauses out of 21694 with flag 5000/730719
195.16/100.35	c cleaning 8409 clauses out of 16857 with flag 11000/736719
196.91/101.25	c cleaning 7701 clauses out of 15449 with flag 18001/743720
198.81/102.20	c cleaning 7859 clauses out of 15747 with flag 26000/751719
200.94/103.40	c cleaning 8437 clauses out of 16888 with flag 35000/760719
203.63/104.74	c cleaning 9222 clauses out of 18451 with flag 45000/770719
206.16/106.08	c cleaning 9600 clauses out of 19231 with flag 55002/780721
209.49/107.73	c cleaning 9801 clauses out of 19630 with flag 65001/790720
212.81/109.41	c cleaning 9900 clauses out of 19828 with flag 75000/800719
215.31/110.78	c cleaning 9950 clauses out of 19930 with flag 85002/810721
218.47/112.35	c cleaning 9971 clauses out of 19978 with flag 95000/820719
221.36/113.89	c cleaning 9993 clauses out of 20008 with flag 105001/830720
224.49/115.49	c cleaning 9997 clauses out of 20014 with flag 115000/840719
227.38/116.90	c cleaning 10004 clauses out of 20017 with flag 125000/850719
230.70/118.63	c cleaning 9993 clauses out of 20013 with flag 135000/860719
234.02/120.39	c cleaning 9990 clauses out of 20020 with flag 145000/870719
237.78/122.23	c cleaning 9998 clauses out of 20030 with flag 155000/880719
241.03/123.98	c cleaning 9996 clauses out of 20033 with flag 165001/890720
244.35/125.61	c cleaning 10016 clauses out of 20037 with flag 175001/900720
247.28/127.14	c cleaning 9998 clauses out of 20021 with flag 185001/910720
250.63/128.85	c cleaning 10002 clauses out of 20024 with flag 195002/920721
253.68/130.44	c cleaning 9981 clauses out of 20020 with flag 205000/930719
256.84/132.04	c cleaning 10012 clauses out of 20039 with flag 215000/940719
260.32/133.83	c cleaning 10004 clauses out of 20028 with flag 225001/950720
263.64/135.54	c cleaning 9998 clauses out of 20024 with flag 235001/960720
266.93/137.28	c cleaning 10000 clauses out of 20025 with flag 245000/970719
270.25/138.98	c cleaning 9984 clauses out of 20025 with flag 255000/980719
273.16/140.43	c cleaning 10016 clauses out of 20045 with flag 265004/990723
276.11/141.99	c cleaning 9986 clauses out of 20025 with flag 275000/1000719
279.17/143.53	c cleaning 10019 clauses out of 20041 with flag 285002/1010721
282.29/145.17	c cleaning 9988 clauses out of 20020 with flag 295000/1020719
285.40/146.78	c cleaning 10005 clauses out of 20032 with flag 305000/1030719
287.72/147.99	c cleaning 0 clauses out of 18525 with flag 0/18528
288.83/148.61	c cleaning 9988 clauses out of 20028 with flag 315001/1040720
291.92/150.18	c cleaning 10002 clauses out of 20039 with flag 325000/1050719
295.05/151.76	c cleaning 9988 clauses out of 20038 with flag 335001/1060720
298.17/153.34	c cleaning 9998 clauses out of 20049 with flag 345000/1070719
301.68/155.15	c cleaning 9998 clauses out of 20051 with flag 355000/1080719
305.17/156.92	c cleaning 10004 clauses out of 20053 with flag 365000/1090719
308.12/158.49	c cleaning 10021 clauses out of 20051 with flag 375002/1100721
311.61/160.22	c cleaning 9995 clauses out of 20030 with flag 385002/1110721
314.52/161.76	c cleaning 9997 clauses out of 20034 with flag 395001/1120720
317.61/163.35	c cleaning 9997 clauses out of 20037 with flag 405001/1130720
320.72/164.91	c cleaning 10001 clauses out of 20041 with flag 415002/1140721
324.24/166.70	c cleaning 10004 clauses out of 20038 with flag 425000/1150719
327.70/168.52	c cleaning 9987 clauses out of 20034 with flag 435000/1160719
331.22/170.31	c cleaning 10017 clauses out of 20047 with flag 445000/1170719
334.73/172.14	c cleaning 9993 clauses out of 20030 with flag 455000/1180719
338.08/173.86	c cleaning 9989 clauses out of 20037 with flag 465000/1190719
341.54/175.64	c cleaning 10006 clauses out of 20048 with flag 475000/1200719
345.05/177.42	c cleaning 9988 clauses out of 20042 with flag 485000/1210719
348.56/179.26	c cleaning 10012 clauses out of 20056 with flag 495002/1220721
352.07/181.02	c cleaning 9997 clauses out of 20042 with flag 505000/1230719
355.74/182.97	c cleaning 10010 clauses out of 20048 with flag 515003/1240722
359.25/184.75	c cleaning 10002 clauses out of 20038 with flag 525003/1250722
362.96/186.63	c cleaning 10009 clauses out of 20035 with flag 535002/1260721
366.47/188.49	c cleaning 10004 clauses out of 20025 with flag 545001/1270720
370.17/190.33	c cleaning 9992 clauses out of 20021 with flag 555001/1280720
373.65/192.18	c cleaning 9989 clauses out of 20029 with flag 565001/1290720
377.16/193.96	c cleaning 9992 clauses out of 20039 with flag 575000/1300719
380.90/195.85	c cleaning 9999 clauses out of 20048 with flag 585001/1310720
383.95/197.42	c cleaning 10014 clauses out of 20048 with flag 595000/1320719
386.86/198.98	c cleaning 10005 clauses out of 20034 with flag 605000/1330719
390.56/200.82	c cleaning 10003 clauses out of 20029 with flag 615000/1340719
394.07/202.63	c cleaning 9993 clauses out of 20026 with flag 625000/1350719
397.33/204.35	c cleaning 10007 clauses out of 20033 with flag 635000/1360719
401.03/206.22	c cleaning 9997 clauses out of 20028 with flag 645002/1370721
403.74/207.69	c cleaning 9990 clauses out of 20030 with flag 655001/1380720
407.05/209.31	c cleaning 10002 clauses out of 20039 with flag 665000/1390719
410.12/210.93	c cleaning 10016 clauses out of 20038 with flag 675001/1400720
413.06/212.42	c cleaning 9997 clauses out of 20023 with flag 685002/1410721
415.93/213.98	c cleaning 9997 clauses out of 20024 with flag 695000/1420719
418.84/215.49	c cleaning 9985 clauses out of 20027 with flag 705000/1430719
421.70/216.97	c cleaning 10004 clauses out of 20042 with flag 715000/1440719
424.62/218.49	c cleaning 10007 clauses out of 20038 with flag 725000/1450719
427.95/220.13	c cleaning 9997 clauses out of 20031 with flag 735000/1460719
430.83/221.64	c cleaning 9998 clauses out of 20035 with flag 745001/1470720
433.89/223.31	c cleaning 9997 clauses out of 20036 with flag 755000/1480719
437.00/224.85	c cleaning 9993 clauses out of 20039 with flag 765000/1490719
440.10/226.41	c cleaning 10019 clauses out of 20046 with flag 775000/1500719
443.01/227.96	c cleaning 9999 clauses out of 20029 with flag 785002/1510721
446.27/229.62	c cleaning 10000 clauses out of 20028 with flag 795000/1520719
449.01/231.05	c cleaning 10007 clauses out of 20028 with flag 805000/1530719
451.88/232.56	c cleaning 9984 clauses out of 20022 with flag 815001/1540720
454.58/233.91	c cleaning 10009 clauses out of 20037 with flag 825000/1550719
457.24/235.40	c cleaning 9983 clauses out of 20028 with flag 835000/1560719
460.35/236.91	c cleaning 10012 clauses out of 20045 with flag 845000/1570719
463.46/238.54	c cleaning 10006 clauses out of 20034 with flag 855001/1580720
466.36/240.07	c cleaning 9992 clauses out of 20027 with flag 865000/1590719
469.41/241.61	c cleaning 9989 clauses out of 20035 with flag 875000/1600719
472.12/243.06	c cleaning 10015 clauses out of 20048 with flag 885002/1610721
475.02/244.58	c cleaning 10008 clauses out of 20032 with flag 895001/1620720
476.32/245.24	c  And the winner is CuttingPlanes
476.42/245.39	c Got one! Elapsed wall clock time (in seconds):245.273
476.42/245.39	o 116
476.48/245.44	c cleaning 7966 clauses out of 15938 with flag 1001/1626634
477.30/245.92	c cleaning 6977 clauses out of 13972 with flag 7001/1632634
478.44/246.54	c cleaning 6987 clauses out of 13995 with flag 14001/1639634
480.34/247.55	c cleaning 7487 clauses out of 15007 with flag 22000/1647633
482.82/248.87	c cleaning 8244 clauses out of 16520 with flag 31000/1656633
485.47/250.25	c cleaning 9123 clauses out of 18277 with flag 41001/1666634
488.38/251.76	c cleaning 9563 clauses out of 19155 with flag 51002/1676635
491.28/253.23	c cleaning 9787 clauses out of 19591 with flag 61001/1686634
494.18/254.76	c cleaning 9888 clauses out of 19805 with flag 71002/1696635
497.04/256.22	c cleaning 9954 clauses out of 19917 with flag 81002/1706635
500.34/257.90	c cleaning 9970 clauses out of 19966 with flag 91005/1716638
503.04/259.39	c cleaning 9981 clauses out of 19991 with flag 101000/1726633
506.34/261.02	c cleaning 9996 clauses out of 20010 with flag 111000/1736633
508.99/262.46	c cleaning 10001 clauses out of 20015 with flag 121001/1746634
511.90/263.92	c cleaning 10000 clauses out of 20014 with flag 131001/1756634
515.00/265.56	c cleaning 9996 clauses out of 20013 with flag 141000/1766633
517.91/267.07	c cleaning 9983 clauses out of 20017 with flag 151000/1776633
521.16/268.70	c cleaning 10003 clauses out of 20035 with flag 161001/1786634
524.05/270.27	c cleaning 9994 clauses out of 20031 with flag 171000/1796633
526.55/271.58	c cleaning 9998 clauses out of 20039 with flag 181002/1806635
529.45/273.07	c cleaning 10002 clauses out of 20040 with flag 191001/1816634
532.30/274.56	c cleaning 10007 clauses out of 20037 with flag 201000/1826633
535.00/275.98	c cleaning 9989 clauses out of 20031 with flag 211001/1836634
538.11/277.53	c cleaning 9999 clauses out of 20042 with flag 221001/1846634
540.80/278.91	c cleaning 10013 clauses out of 20042 with flag 231000/1856633
543.65/280.45	c cleaning 9983 clauses out of 20029 with flag 241000/1866633
546.75/282.07	c cleaning 10004 clauses out of 20046 with flag 251000/1876633
549.85/283.69	c cleaning 10003 clauses out of 20042 with flag 261000/1886633
552.95/285.23	c cleaning 9988 clauses out of 20039 with flag 271000/1896633
556.40/287.10	c cleaning 10005 clauses out of 20051 with flag 281000/1906633
559.89/288.86	c cleaning 10003 clauses out of 20046 with flag 291000/1916633
563.59/290.71	c cleaning 10008 clauses out of 20043 with flag 301000/1926633
567.09/292.57	c cleaning 10006 clauses out of 20037 with flag 311002/1936635
568.96/293.54	c cleaning 0 clauses out of 24281 with flag 0/24284
570.66/294.44	c cleaning 9994 clauses out of 20030 with flag 321001/1946634
573.79/296.08	c cleaning 9995 clauses out of 20035 with flag 331000/1956633
576.86/297.68	c cleaning 10003 clauses out of 20040 with flag 341000/1966633
580.14/299.34	c cleaning 10003 clauses out of 20037 with flag 351000/1976633
583.40/301.05	c cleaning 10007 clauses out of 20034 with flag 361000/1986633
586.53/302.66	c cleaning 9997 clauses out of 20027 with flag 371000/1996633
589.79/304.35	c cleaning 9992 clauses out of 20031 with flag 381001/2006634
593.04/306.07	c cleaning 10012 clauses out of 20040 with flag 391002/2016635
595.74/307.48	c cleaning 10007 clauses out of 20028 with flag 401002/2026635
598.83/309.05	c cleaning 10006 clauses out of 20021 with flag 411002/2036635
601.72/310.50	c cleaning 9989 clauses out of 20013 with flag 421000/2046633
604.57/312.03	c cleaning 9995 clauses out of 20024 with flag 431000/2056633
607.27/313.50	c cleaning 9995 clauses out of 20031 with flag 441002/2066635
609.97/314.80	c cleaning 10011 clauses out of 20035 with flag 451001/2076634
612.67/316.22	c cleaning 10005 clauses out of 20025 with flag 461002/2086635
615.11/317.54	c cleaning 9990 clauses out of 20020 with flag 471002/2096635
617.41/318.73	c cleaning 10005 clauses out of 20029 with flag 481001/2106634
619.91/320.09	c cleaning 9999 clauses out of 20023 with flag 491000/2116633
622.60/321.45	c cleaning 9993 clauses out of 20024 with flag 501000/2126633
625.45/322.91	c cleaning 10006 clauses out of 20031 with flag 511000/2136633
627.94/324.26	c cleaning 9997 clauses out of 20025 with flag 521000/2146633
631.24/326.00	c cleaning 10002 clauses out of 20028 with flag 531000/2156633
634.33/327.54	c cleaning 10004 clauses out of 20028 with flag 541002/2166635
637.58/329.25	c cleaning 10001 clauses out of 20024 with flag 551002/2176635
640.68/330.88	c cleaning 9997 clauses out of 20021 with flag 561000/2186633
643.97/332.50	c cleaning 10008 clauses out of 20025 with flag 571001/2196634
646.66/333.96	c cleaning 9993 clauses out of 20018 with flag 581002/2206635
649.31/335.37	c cleaning 10003 clauses out of 20024 with flag 591001/2216634
652.05/336.76	c cleaning 9990 clauses out of 20021 with flag 601001/2226634
655.10/338.39	c cleaning 10000 clauses out of 20030 with flag 611000/2236633
658.22/339.93	c cleaning 10010 clauses out of 20032 with flag 621002/2246635
660.84/341.39	c cleaning 9997 clauses out of 20021 with flag 631001/2256634
663.93/342.97	c cleaning 9993 clauses out of 20023 with flag 641000/2266633
666.65/344.40	c cleaning 10007 clauses out of 20031 with flag 651001/2276634
669.52/345.84	c cleaning 10001 clauses out of 20023 with flag 661000/2286633
672.76/347.50	c cleaning 9995 clauses out of 20022 with flag 671000/2296633
675.45/348.96	c cleaning 9994 clauses out of 20028 with flag 681001/2306634
678.34/350.49	c cleaning 10009 clauses out of 20034 with flag 691001/2316634
681.66/352.17	c cleaning 9982 clauses out of 20027 with flag 701003/2326636
684.87/353.83	c cleaning 10014 clauses out of 20043 with flag 711001/2336634
687.80/355.39	c cleaning 9998 clauses out of 20028 with flag 721000/2346633
690.86/356.97	c cleaning 9997 clauses out of 20031 with flag 731001/2356634
694.18/358.68	c cleaning 9999 clauses out of 20033 with flag 741000/2366633
697.39/360.36	c cleaning 9995 clauses out of 20034 with flag 751000/2376633
700.72/362.02	c cleaning 9993 clauses out of 20039 with flag 761000/2386633
703.99/363.72	c cleaning 9998 clauses out of 20046 with flag 771000/2396633
706.91/365.30	c cleaning 10016 clauses out of 20049 with flag 781001/2406634
709.91/366.83	c cleaning 10000 clauses out of 20032 with flag 791000/2416633
712.80/368.36	c cleaning 9992 clauses out of 20033 with flag 801001/2426634
715.69/369.82	c cleaning 10005 clauses out of 20040 with flag 811000/2436633
718.78/371.43	c cleaning 10006 clauses out of 20036 with flag 821001/2446634
722.01/373.10	c cleaning 9995 clauses out of 20029 with flag 831000/2456633
725.30/374.80	c cleaning 9987 clauses out of 20034 with flag 841000/2466633
728.39/376.48	c cleaning 10012 clauses out of 20048 with flag 851001/2476634
731.68/378.12	c cleaning 9992 clauses out of 20035 with flag 861000/2486633
734.92/379.89	c cleaning 10011 clauses out of 20045 with flag 871002/2496635
738.00/381.43	c cleaning 9987 clauses out of 20032 with flag 881000/2506633
740.72/382.82	c cleaning 9999 clauses out of 20048 with flag 891003/2516636
743.17/384.13	c cleaning 10015 clauses out of 20047 with flag 901001/2526634
746.00/385.67	c cleaning 9986 clauses out of 20032 with flag 911001/2536634
749.12/387.28	c cleaning 10013 clauses out of 20045 with flag 921000/2546633
751.97/388.77	c cleaning 10004 clauses out of 20033 with flag 931001/2556634
755.06/390.31	c cleaning 10011 clauses out of 20031 with flag 941003/2566636
757.90/391.87	c cleaning 9982 clauses out of 20017 with flag 951000/2576633
760.78/393.38	c cleaning 10007 clauses out of 20035 with flag 961000/2586633
763.67/394.88	c cleaning 10001 clauses out of 20031 with flag 971003/2596636
766.75/396.47	c cleaning 9995 clauses out of 20027 with flag 981000/2606633
769.80/398.07	c cleaning 9998 clauses out of 20032 with flag 991000/2616633
772.68/399.55	c cleaning 9999 clauses out of 20034 with flag 1001000/2626633
775.76/401.10	c cleaning 9986 clauses out of 20038 with flag 1011003/2636636
778.68/402.63	c cleaning 9995 clauses out of 20049 with flag 1021000/2646633
781.67/404.27	c cleaning 10015 clauses out of 20054 with flag 1031000/2656633
784.98/405.99	c cleaning 10017 clauses out of 20041 with flag 1041002/2666635
788.24/407.67	c cleaning 9999 clauses out of 20023 with flag 1051001/2676634
791.72/409.40	c cleaning 9991 clauses out of 20023 with flag 1061000/2686633
794.94/411.12	c cleaning 9996 clauses out of 20032 with flag 1071000/2696633
798.02/412.78	c cleaning 9995 clauses out of 20036 with flag 1081000/2706633
801.30/414.48	c cleaning 9998 clauses out of 20042 with flag 1091001/2716634
804.78/416.23	c cleaning 10011 clauses out of 20044 with flag 1101001/2726634
808.01/418.01	c cleaning 10002 clauses out of 20032 with flag 1111000/2736633
811.49/419.78	c cleaning 9988 clauses out of 20030 with flag 1121000/2746633
814.81/421.43	c cleaning 10003 clauses out of 20043 with flag 1131001/2756634
818.06/423.18	c cleaning 10005 clauses out of 20041 with flag 1141002/2766635
821.48/425.00	c cleaning 9997 clauses out of 20035 with flag 1151001/2776634
824.96/426.76	c cleaning 9995 clauses out of 20037 with flag 1161000/2786633
828.24/428.47	c cleaning 10002 clauses out of 20042 with flag 1171000/2796633
831.33/430.00	c cleaning 9996 clauses out of 20040 with flag 1181000/2806633
834.16/431.59	c cleaning 10001 clauses out of 20044 with flag 1191000/2816633
837.24/433.19	c cleaning 9995 clauses out of 20043 with flag 1201000/2826633
840.16/434.68	c cleaning 9998 clauses out of 20048 with flag 1211000/2836633
843.40/436.36	c cleaning 10005 clauses out of 20050 with flag 1221000/2846633
846.83/438.15	c cleaning 10005 clauses out of 20045 with flag 1231000/2856633
849.71/439.66	c cleaning 9997 clauses out of 20040 with flag 1241000/2866633
853.00/441.32	c cleaning 10001 clauses out of 20043 with flag 1251000/2876633
855.88/442.87	c cleaning 9997 clauses out of 20042 with flag 1261000/2886633
859.31/444.67	c cleaning 10002 clauses out of 20046 with flag 1271001/2896634
862.39/446.24	c cleaning 9998 clauses out of 20044 with flag 1281001/2906634
865.67/447.97	c cleaning 10006 clauses out of 20047 with flag 1291002/2916635
868.95/449.61	c cleaning 10003 clauses out of 20039 with flag 1301000/2926633
871.98/451.23	c cleaning 9993 clauses out of 20037 with flag 1311001/2936634
875.27/452.91	c cleaning 10013 clauses out of 20044 with flag 1321001/2946634
877.98/454.39	c cleaning 10006 clauses out of 20031 with flag 1331001/2956634
880.43/455.63	c  And the winner is CuttingPlanes
880.50/455.88	c Got one! Elapsed wall clock time (in seconds):455.769
880.50/455.88	o 115
880.92/456.19	c cleaning 11856 clauses out of 23730 with flag 5000/2970339
881.96/456.76	c cleaning 8928 clauses out of 17874 with flag 11000/2976339
882.84/457.30	c cleaning 7966 clauses out of 15947 with flag 18001/2983340
884.13/457.91	c cleaning 7985 clauses out of 15983 with flag 26003/2991342
885.21/458.58	c cleaning 8485 clauses out of 16995 with flag 35000/3000339
888.23/460.19	c cleaning 9246 clauses out of 18511 with flag 45001/3010340
890.92/461.54	c cleaning 9620 clauses out of 19264 with flag 55000/3020339
894.03/463.17	c cleaning 9791 clauses out of 19644 with flag 65000/3030339
897.07/464.74	c cleaning 9920 clauses out of 19853 with flag 75000/3040339
900.09/466.36	c cleaning 9941 clauses out of 19933 with flag 85000/3050339
903.37/468.01	c cleaning 9989 clauses out of 19992 with flag 95000/3060339
906.26/469.50	c cleaning 9991 clauses out of 20006 with flag 105003/3070342
909.34/471.11	c cleaning 10002 clauses out of 20016 with flag 115004/3080343
911.96/472.55	c cleaning 10002 clauses out of 20012 with flag 125002/3090341
915.07/474.20	c cleaning 9991 clauses out of 20008 with flag 135000/3100339
918.52/475.97	c cleaning 9987 clauses out of 20019 with flag 145002/3110341
921.63/477.58	c cleaning 9999 clauses out of 20033 with flag 155003/3120342
924.81/479.23	c cleaning 9994 clauses out of 20032 with flag 165001/3130340
927.72/480.76	c cleaning 10012 clauses out of 20038 with flag 175001/3140340
930.37/482.10	c cleaning 10001 clauses out of 20026 with flag 185001/3150340
933.45/483.73	c cleaning 9999 clauses out of 20024 with flag 195000/3160339
936.47/485.37	c cleaning 10003 clauses out of 20025 with flag 205000/3170339
939.15/486.79	c cleaning 10002 clauses out of 20023 with flag 215001/3180340
942.23/488.40	c cleaning 9993 clauses out of 20021 with flag 225001/3190340
945.50/490.06	c cleaning 9980 clauses out of 20027 with flag 235000/3200339
948.74/491.74	c cleaning 10016 clauses out of 20047 with flag 245000/3210339
951.99/493.42	c cleaning 10007 clauses out of 20032 with flag 255001/3220340
955.09/495.06	c cleaning 10011 clauses out of 20028 with flag 265004/3230343
956.14/495.68	c cleaning 0 clauses out of 29641 with flag 0/29644
957.97/496.68	c cleaning 9987 clauses out of 20013 with flag 275000/3240339
961.64/498.57	c cleaning 10009 clauses out of 20026 with flag 285000/3250339
965.31/500.49	c cleaning 9984 clauses out of 20017 with flag 295000/3260339
968.80/502.23	c cleaning 9988 clauses out of 20033 with flag 305000/3270339
972.43/504.13	c cleaning 10012 clauses out of 20047 with flag 315002/3280341
975.71/505.87	c cleaning 10005 clauses out of 20034 with flag 325001/3290340
978.99/507.56	c cleaning 9993 clauses out of 20028 with flag 335000/3300339
982.26/509.23	c cleaning 10008 clauses out of 20036 with flag 345001/3310340
985.70/511.02	c cleaning 9993 clauses out of 20029 with flag 355002/3320341
989.38/512.94	c cleaning 9993 clauses out of 20035 with flag 365001/3330340
993.29/514.94	c cleaning 10006 clauses out of 20042 with flag 375001/3340340
996.73/516.79	c cleaning 10011 clauses out of 20038 with flag 385003/3350342
1000.17/518.52	c cleaning 9993 clauses out of 20025 with flag 395001/3360340
1003.25/520.15	c cleaning 9989 clauses out of 20031 with flag 405000/3370339
1006.52/521.80	c cleaning 9998 clauses out of 20042 with flag 415000/3380339
1009.20/523.29	c cleaning 9999 clauses out of 20045 with flag 425001/3390340
1012.62/525.02	c cleaning 9998 clauses out of 20046 with flag 435001/3400340
1016.32/526.93	c cleaning 10005 clauses out of 20049 with flag 445002/3410341
1019.57/528.70	c cleaning 9999 clauses out of 20042 with flag 455000/3420339
1023.04/530.42	c cleaning 9996 clauses out of 20043 with flag 465000/3430339
1026.67/532.33	c cleaning 10011 clauses out of 20049 with flag 475002/3440341
1029.94/534.03	c cleaning 9986 clauses out of 20037 with flag 485001/3450340
1033.45/535.84	c cleaning 10013 clauses out of 20050 with flag 495000/3460339
1036.90/537.67	c cleaning 10004 clauses out of 20038 with flag 505001/3470340
1040.10/539.38	c cleaning 9995 clauses out of 20033 with flag 515000/3480339
1043.38/541.05	c cleaning 10003 clauses out of 20040 with flag 525002/3490341
1046.65/542.78	c cleaning 9990 clauses out of 20035 with flag 535000/3500339
1050.53/544.72	c cleaning 9997 clauses out of 20045 with flag 545000/3510339
1053.95/546.52	c cleaning 10010 clauses out of 20048 with flag 555000/3520339
1057.62/548.41	c cleaning 9983 clauses out of 20038 with flag 565000/3530339
1060.93/550.19	c cleaning 10012 clauses out of 20057 with flag 575002/3540341
1064.57/552.05	c cleaning 10001 clauses out of 20043 with flag 585000/3550339
1067.79/553.73	c cleaning 10017 clauses out of 20042 with flag 595000/3560339
1070.86/555.38	c cleaning 9999 clauses out of 20025 with flag 605000/3570339
1074.13/557.07	c cleaning 9997 clauses out of 20026 with flag 615000/3580339
1077.40/558.80	c cleaning 9982 clauses out of 20030 with flag 625001/3590340
1081.21/560.70	c cleaning 10003 clauses out of 20048 with flag 635001/3600340
1084.69/562.59	c cleaning 10011 clauses out of 20044 with flag 645000/3610339
1087.96/564.27	c cleaning 9991 clauses out of 20033 with flag 655000/3620339
1091.23/565.97	c cleaning 9995 clauses out of 20043 with flag 665001/3630340
1092.46/566.63	c  And the winner is CuttingPlanes
1092.46/566.69	c Got one! Elapsed wall clock time (in seconds):566.577
1092.46/566.69	o 114
1092.71/566.85	c cleaning 7717 clauses out of 15458 with flag 2001/3635750
1093.98/567.55	c cleaning 6845 clauses out of 13740 with flag 8000/3641749
1095.46/568.36	c cleaning 6926 clauses out of 13895 with flag 15000/3648749
1097.33/569.37	c cleaning 7465 clauses out of 14969 with flag 23000/3656749
1099.94/570.71	c cleaning 8235 clauses out of 16505 with flag 32001/3665750
1102.44/572.03	c cleaning 9133 clauses out of 18269 with flag 42000/3675749
1105.08/573.48	c cleaning 9552 clauses out of 19137 with flag 52001/3685750
1108.15/575.05	c cleaning 9775 clauses out of 19584 with flag 62000/3695749
1111.76/576.98	c cleaning 9893 clauses out of 19809 with flag 72000/3705749
1115.06/578.64	c cleaning 9954 clauses out of 19917 with flag 82001/3715750
1118.50/580.41	c cleaning 9957 clauses out of 19962 with flag 92000/3725749
1121.77/582.12	c cleaning 9984 clauses out of 20005 with flag 102000/3735749
1125.61/584.14	c cleaning 9993 clauses out of 20021 with flag 112000/3745749
1128.26/585.58	c cleaning 9994 clauses out of 20029 with flag 122001/3755750
1132.16/587.56	c cleaning 10002 clauses out of 20034 with flag 132000/3765749
1135.41/589.23	c cleaning 10007 clauses out of 20032 with flag 142000/3775749
1139.02/591.17	c cleaning 10001 clauses out of 20027 with flag 152002/3785751
1142.89/593.17	c cleaning 10005 clauses out of 20024 with flag 162000/3795749
1146.36/594.96	c cleaning 9998 clauses out of 20020 with flag 172001/3805750
1149.84/596.74	c cleaning 9992 clauses out of 20022 with flag 182001/3815750
1153.64/598.72	c cleaning 9988 clauses out of 20029 with flag 192000/3825749
1156.91/600.40	c cleaning 10001 clauses out of 20041 with flag 202000/3835749
1160.18/602.11	c cleaning 10014 clauses out of 20040 with flag 212000/3845749
1163.45/603.83	c cleaning 9999 clauses out of 20026 with flag 222000/3855749
1166.68/605.54	c cleaning 10000 clauses out of 20027 with flag 232000/3865749
1169.75/607.17	c cleaning 9988 clauses out of 20027 with flag 242000/3875749
1172.82/608.74	c cleaning 10006 clauses out of 20040 with flag 252001/3885750
1175.89/610.32	c cleaning 9998 clauses out of 20033 with flag 262000/3895749
1178.70/611.81	c cleaning 10009 clauses out of 20036 with flag 272001/3905750
1181.97/613.56	c cleaning 9987 clauses out of 20027 with flag 282001/3915750
1185.44/615.32	c cleaning 10001 clauses out of 20039 with flag 292000/3925749
1188.52/616.96	c cleaning 10004 clauses out of 20041 with flag 302003/3935752
1192.12/618.86	c cleaning 9989 clauses out of 20035 with flag 312001/3945750
1195.23/620.42	c cleaning 10015 clauses out of 20045 with flag 322000/3955749
1198.07/621.95	c cleaning 9994 clauses out of 20032 with flag 332002/3965751
1201.34/623.62	c cleaning 10011 clauses out of 20037 with flag 342001/3975750
1204.73/625.45	c cleaning 9988 clauses out of 20025 with flag 352000/3985749
1208.04/627.19	c cleaning 9997 clauses out of 20037 with flag 362000/3995749
1211.47/628.97	c cleaning 9989 clauses out of 20041 with flag 372001/4005750
1214.74/630.63	c cleaning 10005 clauses out of 20052 with flag 382001/4015750
1217.94/632.38	c cleaning 10004 clauses out of 20046 with flag 392000/4025749
1221.41/634.16	c cleaning 10011 clauses out of 20044 with flag 402002/4035751
1224.91/635.94	c cleaning 9999 clauses out of 20032 with flag 412001/4045750
1227.95/637.50	c cleaning 10007 clauses out of 20032 with flag 422000/4055749
1230.58/638.99	c cleaning 9987 clauses out of 20025 with flag 432000/4065749
1234.06/640.79	c cleaning 9992 clauses out of 20038 with flag 442000/4075749
1237.56/642.53	c cleaning 10004 clauses out of 20046 with flag 452000/4085749
1240.59/644.15	c cleaning 9999 clauses out of 20042 with flag 462000/4095749
1244.02/645.90	c cleaning 9998 clauses out of 20043 with flag 472000/4105749
1247.49/647.80	c cleaning 10007 clauses out of 20046 with flag 482001/4115750
1250.96/649.59	c cleaning 10005 clauses out of 20038 with flag 492000/4125749
1254.46/651.39	c cleaning 10010 clauses out of 20034 with flag 502001/4135750
1257.63/653.05	c cleaning 10002 clauses out of 20025 with flag 512002/4145751
1261.09/654.86	c cleaning 9992 clauses out of 20021 with flag 522000/4155749
1264.37/656.59	c cleaning 9990 clauses out of 20030 with flag 532001/4165750
1267.64/658.22	c cleaning 10001 clauses out of 20039 with flag 542000/4175749
1270.85/660.00	c cleaning 10009 clauses out of 20039 with flag 552001/4185750
1274.11/661.66	c cleaning 9999 clauses out of 20030 with flag 562001/4195750
1277.18/663.31	c cleaning 9998 clauses out of 20030 with flag 572000/4205749
1280.44/664.94	c cleaning 9993 clauses out of 20033 with flag 582001/4215750
1283.43/666.55	c cleaning 10005 clauses out of 20040 with flag 592001/4225750
1286.11/667.95	c cleaning 10006 clauses out of 20034 with flag 602000/4235749
1288.97/669.42	c cleaning 9995 clauses out of 20028 with flag 612000/4245749
1291.84/670.93	c cleaning 9981 clauses out of 20034 with flag 622001/4255750
1294.70/672.45	c cleaning 10000 clauses out of 20052 with flag 632000/4265749
1297.77/674.06	c cleaning 10015 clauses out of 20052 with flag 642000/4275749
1300.67/675.52	c cleaning 10007 clauses out of 20038 with flag 652001/4285750
1303.71/677.16	c cleaning 9997 clauses out of 20031 with flag 662001/4295750
1306.74/678.78	c cleaning 10007 clauses out of 20034 with flag 672001/4305750
1309.98/680.42	c cleaning 9985 clauses out of 20026 with flag 682000/4315749
1313.29/682.19	c cleaning 10000 clauses out of 20043 with flag 692002/4325751
1316.33/683.77	c cleaning 10000 clauses out of 20044 with flag 702003/4335752
1319.76/685.58	c cleaning 9999 clauses out of 20041 with flag 712000/4345749
1323.02/687.20	c cleaning 10002 clauses out of 20042 with flag 722000/4355749
1326.29/688.93	c cleaning 10017 clauses out of 20041 with flag 732001/4365750
1329.36/690.51	c cleaning 9987 clauses out of 20024 with flag 742001/4375750
1332.56/692.22	c cleaning 9997 clauses out of 20036 with flag 752000/4385749
1335.63/693.87	c cleaning 9994 clauses out of 20039 with flag 762000/4395749
1338.90/695.59	c cleaning 9992 clauses out of 20045 with flag 772000/4405749
1342.16/697.23	c cleaning 10008 clauses out of 20055 with flag 782002/4415751
1345.56/699.00	c cleaning 10009 clauses out of 20045 with flag 792000/4425749
1348.62/700.66	c cleaning 10010 clauses out of 20036 with flag 802000/4435749
1351.89/702.33	c cleaning 9985 clauses out of 20027 with flag 812001/4445750
1354.95/703.99	c cleaning 10013 clauses out of 20042 with flag 822001/4455750
1358.37/705.73	c cleaning 10000 clauses out of 20028 with flag 832000/4465749
1361.47/707.40	c cleaning 9988 clauses out of 20029 with flag 842001/4475750
1364.91/709.15	c cleaning 10009 clauses out of 20044 with flag 852004/4485753
1368.17/710.83	c cleaning 10006 clauses out of 20032 with flag 862001/4495750
1371.39/712.59	c cleaning 9998 clauses out of 20026 with flag 872001/4505750
1374.45/714.19	c cleaning 10001 clauses out of 20028 with flag 882001/4515750
1377.11/715.59	c cleaning 10006 clauses out of 20026 with flag 892000/4525749
1379.57/716.83	c cleaning 9995 clauses out of 20021 with flag 902001/4535750
1382.39/718.33	c cleaning 9996 clauses out of 20026 with flag 912001/4545750
1385.43/719.90	c cleaning 9986 clauses out of 20029 with flag 922000/4555749
1388.29/721.44	c cleaning 10002 clauses out of 20043 with flag 932000/4565749
1391.16/722.91	c cleaning 10011 clauses out of 20041 with flag 942000/4575749
1394.36/724.67	c cleaning 9983 clauses out of 20030 with flag 952000/4585749
1397.82/726.41	c cleaning 10005 clauses out of 20048 with flag 962001/4595750
1401.32/728.22	c cleaning 10014 clauses out of 20044 with flag 972002/4605751
1405.14/730.21	c cleaning 9988 clauses out of 20029 with flag 982001/4615750
1408.57/732.05	c cleaning 10003 clauses out of 20041 with flag 992001/4625750
1412.06/733.86	c cleaning 10002 clauses out of 20038 with flag 1002001/4635750
1415.49/735.61	c cleaning 10002 clauses out of 20035 with flag 1012000/4645749
1418.54/737.29	c cleaning 10015 clauses out of 20036 with flag 1022003/4655752
1421.95/739.03	c cleaning 9994 clauses out of 20019 with flag 1032001/4665750
1425.00/740.65	c cleaning 10003 clauses out of 20025 with flag 1042001/4675750
1427.87/742.17	c cleaning 9997 clauses out of 20021 with flag 1052000/4685749
1431.13/743.84	c cleaning 10003 clauses out of 20025 with flag 1062001/4695750
1434.35/745.56	c cleaning 9989 clauses out of 20025 with flag 1072004/4705753
1437.81/747.34	c cleaning 9990 clauses out of 20032 with flag 1082000/4715749
1440.88/748.97	c cleaning 10007 clauses out of 20042 with flag 1092000/4725749
1444.34/750.75	c cleaning 9999 clauses out of 20035 with flag 1102000/4735749
1447.56/752.44	c cleaning 10002 clauses out of 20036 with flag 1112000/4745749
1450.79/754.19	c cleaning 9981 clauses out of 20034 with flag 1122000/4755749
1454.08/755.82	c cleaning 10000 clauses out of 20054 with flag 1132001/4765750
1457.31/757.54	c cleaning 10017 clauses out of 20055 with flag 1142002/4775751
1460.49/759.23	c cleaning 0 clauses out of 34686 with flag 0/34689
1460.76/759.47	c cleaning 10001 clauses out of 20036 with flag 1152000/4785749
1464.25/761.21	c cleaning 9996 clauses out of 20037 with flag 1162002/4795751
1467.48/762.93	c cleaning 9996 clauses out of 20039 with flag 1172000/4805749
1470.70/764.68	c cleaning 10011 clauses out of 20044 with flag 1182001/4815750
1473.73/766.27	c cleaning 9990 clauses out of 20032 with flag 1192000/4825749
1477.02/767.96	c cleaning 9994 clauses out of 20042 with flag 1202000/4835749
1480.45/769.74	c cleaning 10008 clauses out of 20049 with flag 1212001/4845750
1483.86/771.56	c cleaning 10002 clauses out of 20041 with flag 1222001/4855750
1487.35/773.32	c cleaning 9996 clauses out of 20038 with flag 1232000/4865749
1490.39/774.99	c cleaning 10001 clauses out of 20043 with flag 1242001/4875750
1493.88/776.72	c cleaning 10000 clauses out of 20041 with flag 1252000/4885749
1497.48/778.68	c cleaning 10000 clauses out of 20041 with flag 1262000/4895749
1500.94/780.46	c cleaning 10004 clauses out of 20041 with flag 1272000/4905749
1504.23/782.20	c cleaning 10001 clauses out of 20037 with flag 1282000/4915749
1507.66/783.92	c cleaning 10000 clauses out of 20037 with flag 1292001/4925750
1511.06/785.73	c cleaning 9987 clauses out of 20036 with flag 1302000/4935749
1514.52/787.50	c cleaning 9994 clauses out of 20049 with flag 1312000/4945749
1517.98/789.33	c cleaning 10014 clauses out of 20056 with flag 1322001/4955750
1520.84/790.88	c cleaning 10003 clauses out of 20041 with flag 1332000/4965749
1523.84/792.41	c cleaning 9999 clauses out of 20038 with flag 1342000/4975749
1526.70/793.92	c cleaning 10012 clauses out of 20041 with flag 1352002/4985751
1529.59/795.42	c cleaning 9996 clauses out of 20028 with flag 1362001/4995750
1532.41/796.91	c cleaning 10007 clauses out of 20031 with flag 1372000/5005749
1535.39/798.56	c cleaning 10004 clauses out of 20025 with flag 1382001/5015750
1538.45/800.16	c cleaning 10005 clauses out of 20021 with flag 1392001/5025750
1541.50/801.77	c cleaning 9991 clauses out of 20015 with flag 1402000/5035749
1544.20/803.19	c cleaning 10000 clauses out of 20024 with flag 1412000/5045749
1547.18/804.77	c cleaning 9990 clauses out of 20024 with flag 1422000/5055749
1550.63/806.51	c cleaning 10001 clauses out of 20035 with flag 1432001/5065750
1553.49/808.05	c cleaning 9997 clauses out of 20033 with flag 1442000/5075749
1556.57/809.71	c cleaning 9979 clauses out of 20038 with flag 1452002/5085751
1559.75/811.35	c cleaning 10021 clauses out of 20058 with flag 1462001/5095750
1562.40/812.79	c cleaning 9970 clauses out of 20036 with flag 1472000/5105749
1565.86/814.52	c cleaning 10023 clauses out of 20066 with flag 1482000/5115749
1569.15/816.30	c cleaning 10001 clauses out of 20044 with flag 1492001/5125750
1572.32/817.91	c cleaning 9993 clauses out of 20043 with flag 1502001/5135750
1575.42/819.52	c cleaning 10005 clauses out of 20049 with flag 1512000/5145749
1578.64/821.20	c cleaning 10007 clauses out of 20044 with flag 1522000/5155749
1581.93/822.93	c cleaning 9989 clauses out of 20038 with flag 1532001/5165750
1585.29/824.71	c cleaning 10004 clauses out of 20048 with flag 1542000/5175749
1588.55/826.45	c cleaning 9996 clauses out of 20044 with flag 1552000/5185749
1591.81/828.13	c cleaning 9990 clauses out of 20048 with flag 1562000/5195749
1594.66/829.66	c cleaning 10004 clauses out of 20059 with flag 1572001/5205750
1597.86/831.34	c cleaning 10021 clauses out of 20056 with flag 1582002/5215751
1601.31/833.13	c cleaning 9990 clauses out of 20036 with flag 1592003/5225752
1604.57/834.82	c cleaning 10000 clauses out of 20043 with flag 1602000/5235749
1607.63/836.43	c cleaning 9999 clauses out of 20043 with flag 1612000/5245749
1611.05/838.31	c cleaning 9999 clauses out of 20045 with flag 1622001/5255750
1614.66/840.18	c cleaning 10004 clauses out of 20045 with flag 1632000/5265749
1618.12/841.94	c cleaning 9994 clauses out of 20042 with flag 1642001/5275750
1621.38/843.67	c cleaning 10013 clauses out of 20047 with flag 1652000/5285749
1624.56/845.30	c cleaning 9993 clauses out of 20035 with flag 1662001/5295750
1627.84/847.06	c cleaning 10011 clauses out of 20041 with flag 1672000/5305749
1631.07/848.78	c cleaning 9988 clauses out of 20031 with flag 1682001/5315750
1634.72/850.63	c cleaning 10000 clauses out of 20042 with flag 1692000/5325749
1638.10/852.46	c cleaning 10010 clauses out of 20042 with flag 1702000/5335749
1641.55/854.22	c cleaning 10002 clauses out of 20033 with flag 1712001/5345750
1645.00/856.04	c cleaning 10007 clauses out of 20030 with flag 1722000/5355749
1648.26/857.77	c cleaning 9989 clauses out of 20024 with flag 1732001/5365750
1652.04/859.72	c cleaning 9986 clauses out of 20034 with flag 1742000/5375749
1655.33/861.44	c cleaning 10003 clauses out of 20048 with flag 1752000/5385749
1658.34/863.03	c cleaning 10002 clauses out of 20045 with flag 1762000/5395749
1661.00/864.46	c cleaning 9993 clauses out of 20043 with flag 1772000/5405749
1663.98/866.08	c cleaning 10020 clauses out of 20051 with flag 1782001/5415750
1666.83/867.58	c cleaning 10003 clauses out of 20030 with flag 1792000/5425749
1669.71/869.07	c cleaning 9988 clauses out of 20028 with flag 1802001/5435750
1672.53/870.57	c cleaning 9992 clauses out of 20040 with flag 1812001/5445750
1675.72/872.25	c cleaning 9996 clauses out of 20048 with flag 1822001/5455750
1678.57/873.79	c cleaning 10011 clauses out of 20051 with flag 1832000/5465749
1681.82/875.40	c cleaning 10001 clauses out of 20040 with flag 1842000/5475749
1684.68/876.97	c cleaning 10012 clauses out of 20039 with flag 1852000/5485749
1687.87/878.61	c cleaning 9999 clauses out of 20028 with flag 1862001/5495750
1690.76/880.19	c cleaning 9990 clauses out of 20028 with flag 1872000/5505749
1693.98/881.83	c cleaning 9994 clauses out of 20040 with flag 1882002/5515751
1696.87/883.39	c cleaning 10006 clauses out of 20044 with flag 1892000/5525749
1700.21/885.15	c cleaning 10000 clauses out of 20038 with flag 1902000/5535749
1703.30/886.78	c cleaning 9986 clauses out of 20038 with flag 1912000/5545749
1706.72/888.59	c cleaning 10009 clauses out of 20052 with flag 1922000/5555749
1709.77/890.17	c cleaning 9995 clauses out of 20044 with flag 1932001/5565750
1713.17/891.97	c cleaning 9994 clauses out of 20048 with flag 1942000/5575749
1716.62/893.72	c cleaning 9999 clauses out of 20054 with flag 1952000/5585749
1720.10/895.52	c cleaning 10004 clauses out of 20055 with flag 1962000/5595749
1723.12/897.17	c cleaning 9998 clauses out of 20051 with flag 1972000/5605749
1726.70/899.07	c cleaning 10007 clauses out of 20053 with flag 1982000/5615749
1730.15/900.85	c cleaning 10002 clauses out of 20047 with flag 1992001/5625750
1732.81/902.27	c cleaning 9998 clauses out of 20045 with flag 2002001/5635750
1735.86/903.82	c cleaning 9998 clauses out of 20046 with flag 2012000/5645749
1738.87/905.46	c cleaning 9992 clauses out of 20049 with flag 2022001/5655750
1741.69/906.97	c cleaning 10014 clauses out of 20056 with flag 2032000/5665749
1744.96/908.67	c cleaning 10013 clauses out of 20043 with flag 2042001/5675750
1748.18/910.32	c cleaning 9999 clauses out of 20030 with flag 2052001/5685750
1751.40/912.03	c cleaning 10001 clauses out of 20031 with flag 2062001/5695750
1754.21/913.57	c cleaning 10006 clauses out of 20031 with flag 2072002/5705751
1757.06/915.09	c cleaning 9989 clauses out of 20026 with flag 2082003/5715752
1760.11/916.67	c cleaning 10001 clauses out of 20035 with flag 2092001/5725750
1763.47/918.50	c cleaning 9996 clauses out of 20034 with flag 2102001/5735750
1766.72/920.17	c cleaning 9986 clauses out of 20037 with flag 2112000/5745749
1770.37/922.05	c cleaning 10006 clauses out of 20051 with flag 2122000/5755749
1773.62/923.79	c cleaning 9999 clauses out of 20045 with flag 2132000/5765749
1777.22/925.65	c cleaning 9997 clauses out of 20046 with flag 2142000/5775749
1780.87/927.50	c cleaning 10008 clauses out of 20050 with flag 2152001/5785750
1784.12/929.24	c cleaning 9995 clauses out of 20041 with flag 2162000/5795749
1787.37/930.98	c cleaning 10003 clauses out of 20046 with flag 2172000/5805749
1791.00/932.86	c cleaning 9999 clauses out of 20043 with flag 2182000/5815749
1794.42/934.69	c cleaning 9987 clauses out of 20044 with flag 2192000/5825749
1798.06/936.52	c cleaning 10000 clauses out of 20057 with flag 2202000/5835749
1800.15/937.62	c starts		: 91
1800.15/937.62	c conflicts		: 37796
1800.15/937.62	c decisions		: 58859
1800.15/937.62	c propagations		: 1770416
1800.15/937.62	c inspects		: 1343584040
1800.15/937.62	c shortcuts		: 0
1800.15/937.62	c learnt literals	: 0
1800.15/937.62	c learnt binary clauses	: 1
1800.15/937.62	c learnt ternary clauses	: 0
1800.15/937.62	c learnt constraints	: 37793
1800.15/937.62	c ignored constraints	: 0
1800.15/937.62	c root simplifications	: 0
1800.15/937.62	c removed literals (reason simplification)	: 0
1800.15/937.62	c reason swapping (by a shorter reason)	: 0
1800.15/937.62	c Calls to reduceDB	: 6
1800.15/937.62	c number of reductions to clauses (during analyze)	: 0
1800.15/937.62	c number of learned constraints concerned by reduction	: 0
1800.15/937.62	c number of learning phase by resolution	: 0
1800.15/937.62	c number of learning phase by cutting planes	: 0
1800.15/937.62	c speed (assignments/second)	: 4772.898463595656
1800.15/937.62	c non guided choices	153
1800.15/937.65	c learnt constraints type 
1800.15/937.65	c org.sat4j.pb.constraints.pb.LearntHTClausePB => 1128
1800.15/937.65	c org.sat4j.pb.constraints.pb.LearntBinaryClausePB => 1
1800.15/937.65	c org.sat4j.pb.constraints.pb.MaxWatchPb => 36664
1800.15/937.65	c constraints type 
1800.15/937.65	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 40
1800.15/937.65	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 336
1800.15/937.65	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 694
1800.15/937.65	c constraints type 
1800.15/937.65	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 336
1800.15/937.65	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 40
1800.15/937.65	c org.sat4j.pb.constraints.pb.MaxWatchPb => 694
1800.15/937.65	s SATISFIABLE
1800.15/937.65	v -x1 x2 x3 x4 x5 x6 x7 x8 x9 x10 x11 x12 -x13 -x14 x15 -x16 -x17 x18 x19 x20 x21 -x22 x23 -x24 x25 x26 x27 x28 -x29 x30 x31 x32 -x33 x34 -x35 -x36 x37 x38 x39 -x40 -x41 -x42 x43 x44 x45 x46 x47 x48 x49 -x50 x51 -x52 -x53 -x54 -x55 -x56 -x57 x58 x59 x60 -x61 -x62 -x63 x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 x78 -x79 -x80 x81 x82 x83 x84 x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 x97 x98 -x99 x100 x101 -x102 -x103 -x104 -x105 x106 -x107 x108 -x109 -x110 -x111 -x112 x113 -x114 -x115 -x116 x117 -x118 x119 x120 -x121 -x122 -x123 x124 x125 x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 x134 -x135 x136 x137 x138 x139 x140 x141 -x142 -x143 -x144 x145 x146 x147 -x148 x149 x150 x151 x152 x153 x154 x155 x156 x157 x158 x159 x160 x161 -x162 x163 x164 -x165 -x166 -x167 -x168 x169 x170 x171 -x172 x173 x174 -x175 -x176 -x177 x178 x179 x180 -x181 x182 x183 -x184 x185 x186 x187 x188 -x189 -x190 x191 -x192 x193 -x194 -x195 x196 x197 x198 -x199 x200 -x201 x202 -x203 -x204 x205 -x206 x207 -x208 -x209 x210 x211 x212 x213 x214 -x215 -x216 x217 -x218 x219 -x220 -x221 -x222 -x223 -x224 -x225 x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 x238 x239 x240 -x241 x242 x243 -x244 -x245 x246 -x247 -x248 -x249 -x250 x251 x252 -x253 -x254 -x255 x256 -x257 -x258 x259 x260 x261 -x262 -x263 -x264 x265 -x266 -x267 x268 -x269 -x270 -x271 -x272 x273 x274 -x275 x276 -x277 x278 x279 -x280 -x281 -x282 x283 -x284 x285 -x286 x287 x288 -x289 x290 -x291 x292 x293 -x294 -x295 -x296 -x297 -x298 x299 x300 -x301 x302 -x303 x304 x305 x306 x307 x308 x309 -x310 x311 x312 x313 x314 x315 x316 x317 x318 x319 x320 x321 -x322 -x323 -x324 x325 -x326 -x327 x328 x329 -x330 x331 x332 x333 x334 -x335 -x336 x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 x345 x346 -x347 x348 -x349 x350 -x351 x352 x353 -x354 -x355 x356 x357 -x358 -x359 x360 x361 -x362 -x363 -x364 -x365 x366 x367 -x368 -x369 -x370 x371 -x372 x373 -x374 -x375 x376 -x377 x378 -x379 -x380 -x381 -x382 x383 x384 -x385 -x386 x387 x388 x389 -x390 x391 x392 -x393 -x394 x395 -x396 x397 x398 -x399 x400 -x401 x402 -x403 -x404 -x405 -x406 -x407 x408 -x409 x410 x411 x412 -x413 -x414 x415 -x416 x417 x418 x419 -x420 -x421 x422 -x423 -x424 x425 x426 -x427 -x428 -x429 x430 -x431 -x432 -x433 -x434 -x435 x436 -x437 x438 -x439 x440 x441 x442 x443 -x444 -x445 x446 -x447 -x448 -x449 -x450 x451 -x452 -x453 -x454 -x455 x456 -x457 x458 -x459 -x460 x461 x462 x463 -x464 
1800.15/937.65	c objective function=114
1800.15/937.65	c Total wall clock time (in seconds): 937.541

Verifier Data 

OK	114

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-3454503-1307187808/watcher-3454503-1307187808 -o /tmp/evaluation-result-3454503-1307187808/solver-3454503-1307187808 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3454503-1307187808.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.78 3.43 2.65 4/482 24183
/proc/meminfo: memFree=28046144/32951124 swapFree=41830676/67111528
[pid=24183] ppid=24181 vsize=10444316 CPUtime=0 cores=0,2,4,6
/proc/24183/stat : 24183 (java) S 24181 24183 21158 0 -1 4202496 4592 0 1 0 0 0 0 0 25 0 2 0 830378772 10694979584 4295 33554432000 1073741824 1073778376 140735252747184 18446744073709551615 228134516709 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 0
/proc/24183/statm: 2611079 4308 917 9 0 2602235 0
[pid=24183/tid=24184] ppid=24181 vsize=10444316 CPUtime=0 cores=0,2,4,6
/proc/24183/task/24184/stat : 24184 (java) R 24181 24183 21158 0 -1 4202560 4105 0 1 0 0 0 0 0 25 0 2 0 830378772 10694979584 4921 33554432000 1073741824 1073778376 140735252747184 18446744073709551615 228122407995 0 4 0 16784584 0 0 0 -1 0 0 0 0

[startup+0.026534 s]
/proc/loadavg: 3.78 3.43 2.65 4/482 24183
/proc/meminfo: memFree=28046144/32951124 swapFree=41830676/67111528
[pid=24183] ppid=24181 vsize=10453028 CPUtime=0.01 cores=0,2,4,6
/proc/24183/stat : 24183 (java) S 24181 24183 21158 0 -1 4202496 9996 0 1 0 0 1 0 0 25 0 10 0 830378772 10703900672 9698 33554432000 1073741824 1073778376 140735252747184 18446744073709551615 228134516709 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 0
/proc/24183/statm: 2613257 9698 982 9 0 2604413 0
[pid=24183/tid=24184] ppid=24181 vsize=10453028 CPUtime=0 cores=0,2,4,6
/proc/24183/task/24184/stat : 24184 (java) R 24181 24183 21158 0 -1 4202560 8874 0 1 0 0 0 0 0 25 0 10 0 830378772 10703900672 9699 33554432000 1073741824 1073778376 140735252747184 18446744073709551615 47135597254040 0 4 0 16784584 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 10453028

[startup+0.104548 s]
/proc/loadavg: 3.78 3.43 2.65 4/482 24183
/proc/meminfo: memFree=28046144/32951124 swapFree=41830676/67111528
[pid=24183] ppid=24181 vsize=10540068 CPUtime=0.1 cores=0,2,4,6
/proc/24183/stat : 24183 (java) S 24181 24183 21158 0 -1 4202496 13074 0 1 0 9 1 0 0 25 0 18 0 830378772 10793029632 12771 33554432000 1073741824 1073778376 140735252747184 18446744073709551615 228134516709 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/24183/statm: 2635017 12774 2092 9 0 2625751 0
[pid=24183/tid=24184] ppid=24181 vsize=10540068 CPUtime=0.08 cores=0,2,4,6
/proc/24183/task/24184/stat : 24184 (java) R 24181 24183 21158 0 -1 4202560 11194 0 1 0 7 1 0 0 18 0 18 0 830378772 10793029632 12774 33554432000 1073741824 1073778376 140735252747184 18446744073709551615 46912496197416 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10540068

[startup+0.300486 s]
/proc/loadavg: 3.78 3.43 2.65 4/482 24183
/proc/meminfo: memFree=28046144/32951124 swapFree=41830676/67111528
[pid=24183] ppid=24181 vsize=10543824 CPUtime=0.5 cores=0,2,4,6
/proc/24183/stat : 24183 (java) S 24181 24183 21158 0 -1 4202496 16552 0 1 0 48 2 0 0 25 0 18 0 830378772 10796875776 15585 33554432000 1073741824 1073778376 140735252747184 18446744073709551615 228134516709 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/24183/statm: 2635956 15585 2201 9 0 2626690 0
[pid=24183/tid=24184] ppid=24181 vsize=10543824 CPUtime=0.28 cores=0,2,4,6
/proc/24183/task/24184/stat : 24184 (java) R 24181 24183 21158 0 -1 4202560 12829 0 1 0 27 1 0 0 18 0 18 0 830378772 10796875776 15586 33554432000 1073741824 1073778376 140735252747184 18446744073709551615 46912505581098 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 10543824

[startup+0.700426 s]
/proc/loadavg: 3.78 3.43 2.65 4/482 24183
/proc/meminfo: memFree=28046144/32951124 swapFree=41830676/67111528
[pid=24183] ppid=24181 vsize=10558116 CPUtime=1.64 cores=0,2,4,6
/proc/24183/stat : 24183 (java) S 24181 24183 21158 0 -1 4202496 28628 0 1 0 160 4 0 0 25 0 19 0 830378772 10811510784 25169 33554432000 1073741824 1073778376 140735252747184 18446744073709551615 228134516709 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/24183/statm: 2639529 25169 2226 9 0 2630263 0
[pid=24183/tid=24184] ppid=24181 vsize=10558116 CPUtime=0.28 cores=0,2,4,6
/proc/24183/task/24184/stat : 24184 (java) S 24181 24183 21158 0 -1 4202560 12898 0 1 0 27 1 0 0 19 0 19 0 830378772 10811510784 25169 33554432000 1073741824 1073778376 140735252747184 18446744073709551615 228134530560 0 4 0 16800975 18446604448011031488 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1.64
Current children cumulated vsize (KiB) 10558116

[startup+1.50124 s]
/proc/loadavg: 3.78 3.43 2.65 3/501 24208
/proc/meminfo: memFree=27903712/32951124 swapFree=41830676/67111528
[pid=24183] ppid=24181 vsize=10562520 CPUtime=2.97 cores=0,2,4,6
/proc/24183/stat : 24183 (java) S 24181 24183 21158 0 -1 4202496 63720 0 1 0 288 9 0 0 25 0 22 0 830378772 10816020480 56492 33554432000 1073741824 1073778376 140735252747184 18446744073709551615 228134516709 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/24183/statm: 2640630 56492 2257 9 0 2631364 0
[pid=24183/tid=24184] ppid=24181 vsize=10562520 CPUtime=0.28 cores=0,2,4,6
/proc/24183/task/24184/stat : 24184 (java) S 24181 24183 21158 0 -1 4202560 12902 0 1 0 27 1 0 0 16 0 22 0 830378772 10816020480 56492 33554432000 1073741824 1073778376 140735252747184 18446744073709551615 228134530560 0 4 0 16800975 18446604448011031488 0 0 -1 0 0 0 0
[pid=24183/tid=24186] ppid=24181 vsize=10562520 CPUtime=0 cores=0,2,4,6
/proc/24183/task/24186/stat : 24186 (java) S 24181 24183 21158 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 830378774 10816020480 56492 33554432000 1073741824 1073778376 140735252747184 18446744073709551615 228134529945 0 4 0 16800975 18446604448011031488 0 0 -1 4 0 0 0
[pid=24183/tid=24187] ppid=24181 vsize=10562520 CPUtime=0 cores=0,2,4,6
/proc/24183/task/24187/stat : 24187 (java) S 24181 24183 21158 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 22 0 830378774 10816020480 56492 33554432000 1073741824 1073778376 140735252747184 18446744073709551615 228134529945 0 4 0 16800975 18446604448011031488 0 0 -1 0 0 0 0
[pid=24183/tid=24188] ppid=24181 vsize=10562520 CPUtime=0 cores=0,2,4,6
/proc/24183/task/24188/stat : 24188 (java) S 24181 24183 21158 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 830378774 10816020480 56492 33554432000 1073741824 1073778376 140735252747184 18446744073709551615 228134529945 0 4 0 16800975 18446604448011031488 0 0 -1 0 0 0 0
[pid=24183/tid=24189] ppid=24181 vsize=10562520 CPUtime=0 cores=0,2,4,6
/proc/24183/task/24189/stat : 24189 (java) S 24181 24183 21158 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 830378774 10816020480 56492 33554432000 1073741824 1073778376 140735252747184 18446744073709551615 228134529945 0 4 0 16800975 18446604448011031488 0 0 -1 0 0 0 0
[pid=24183/tid=24190] ppid=24181 vsize=10562520 CPUtime=0 cores=0,2,4,6
/proc/24183/task/24190/stat : 24190 (java) S 24181 24183 21158 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 830378774 10816020480 56492 33554432000 1073741824 1073778376 140735252747184 18446744073709551615 228134529945 0 4 0 16800975 18446604448011031488 0 0 -1 4 0 0 0
[pid=24183/tid=24191] ppid=24181 vsize=10562520 CPUtime=0 cores=0,2,4,6
/proc/24183/task/24191/stat : 24191 (java) S 24181 24183 21158 0 -1 4202560 158 0 0 0 0 0 0 0 18 0 22 0 830378774 10816020480 56492 33554432000 1073741824 1073778376 140735252747184 18446744073709551615 228134529945 0 4 0 16800975 18446604448011031488 0 0 -1 4 0 0 0
[pid=24183/tid=24192] ppid=24181 vsize=10562520 CPUtime=0 cores=0,2,4,6
/proc/24183/task/24192/stat : 24192 (java) S 24181 24183 21158 0 -1 4202560 248 0 0 0 0 0 0 0 18 0 22 0 830378774 10816020480 56492 33554432000 1073741824 1073778376 140735252747184 18446744073709551615 228134529945 0 4 0 16800975 18446604448011031488 0 0 -1 0 0 0 0
[pid=24183/tid=24193] ppid=24181 vsize=10562520 CPUtime=0 cores=0,2,4,6
/proc/24183/task/24193/stat : 24193 (java) S 24181 24183 21158 0 -1 4202560 224 0 0 0 0 0 0 0 18 0 22 0 830378774 10816020480 56492 33554432000 1073741824 1073778376 140735252747184 18446744073709551615 228134529945 0 4 0 16800975 18446604448011031488 0 0 -1 0 0 0 0
[pid=24183/tid=24194] ppid=24181 vsize=10562520 CPUtime=0.01 cores=0,2,4,6
/proc/24183/task/24194/stat : 24194 (java) S 24181 24183 21158 0 -1 4202560 631 0 0 0 1 0 0 0 15 0 22 0 830378775 10816020480 56492 33554432000 1073741824 1073778376 140735252747184 18446744073709551615 228134530560 0 0 0 16800975 18446604448011031488 0 0 -1 6 0 0 0
[pid=24183/tid=24195] ppid=24181 vsize=10562520 CPUtime=0 cores=0,2,4,6
/proc/24183/task/24195/stat : 24195 (java) S 24181 24183 21158 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 830378776 10816020480 56492 33554432000 1073741824 1073778376 140735252747184 18446744073709551615 228134529945 0 4 0 16800975 18446604448011031488 0 0 -1 6 0 0 0
[pid=24183/tid=24196] ppid=24181 vsize=10562520 CPUtime=0 cores=0,2,4,6
/proc/24183/task/24196/stat : 24196 (java) S 24181 24183 21158 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 22 0 830378776 10816020480 56492 33554432000 1073741824 1073778376 140735252747184 18446744073709551615 228134529945 0 4 0 16800975 18446604448011031488 0 0 -1 6 0 0 0
[pid=24183/tid=24197] ppid=24181 vsize=10562520 CPUtime=0 cores=0,2,4,6
/proc/24183/task/24197/stat : 24197 (java) S 24181 24183 21158 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830378778 10816020480 56492 33554432000 1073741824 1073778376 140735252747184 18446744073709551615 228134537649 0 4 0 16800975 18446604448011031488 0 0 -1 6 0 0 0
[pid=24183/tid=24198] ppid=24181 vsize=10562520 CPUtime=0.67 cores=0,2,4,6
/proc/24183/task/24198/stat : 24198 (java) S 24181 24183 21158 0 -1 4202560 8659 0 0 0 66 1 0 0 15 0 22 0 830378778 10816020480 56492 33554432000 1073741824 1073778376 140735252747184 18446744073709551615 228134529945 0 4 0 16800975 18446604448011031488 0 0 -1 2 0 0 0
[pid=24183/tid=24199] ppid=24181 vsize=10562520 CPUtime=0.77 cores=0,2,4,6
/proc/24183/task/24199/stat : 24199 (java) R 24181 24183 21158 0 -1 4202560 6718 0 0 0 77 0 0 0 16 0 22 0 830378778 10816020480 56492 33554432000 1073741824 1073778376 140735252747184 18446744073709551615 47135602023741 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=24183/tid=24200] ppid=24181 vsize=10562520 CPUtime=0 cores=0,2,4,6
/proc/24183/task/24200/stat : 24200 (java) S 24181 24183 21158 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830378778 10816020480 56492 33554432000 1073741824 1073778376 140735252747184 18446744073709551615 228134529945 0 4 0 16800975 18446604448011031488 0 0 -1 6 0 0 0
[pid=24183/tid=24201] ppid=24181 vsize=10562520 CPUtime=0 cores=0,2,4,6
/proc/24183/task/24201/stat : 24201 (java) S 24181 24183 21158 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 830378778 10816020480 56492 33554432000 1073741824 1073778376 140735252747184 18446744073709551615 228134530560 0 4 0 16800975 18446604448011031488 0 0 -1 4 0 0 0
[pid=24183/tid=24205] ppid=24181 vsize=10562520 CPUtime=0 cores=0,2,4,6
/proc/24183/task/24205/stat : 24205 (java) S 24181 24183 21158 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 22 0 830378802 10816020480 56492 33554432000 1073741824 1073778376 140735252747184 18446744073709551615 228134530560 0 4 0 16800975 18446604448011031488 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2.97
Current children cumulated vsize (KiB) 10562520

[startup+3.10094 s]
/proc/loadavg: 3.78 3.43 2.65 2/501 24211
/proc/meminfo: memFree=27687192/32951124 swapFree=41830676/67111528
[pid=24183] ppid=24181 vsize=10558652 CPUtime=6.4 cores=0,2,4,6
/proc/24183/stat : 24183 (java) S 24181 24183 21158 0 -1 4202496 115847 0 1 0 623 17 0 0 25 0 22 0 830378772 10812059648 105795 33554432000 1073741824 1073778376 140735252747184 18446744073709551615 228134516709 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/24183/statm: 2639663 105795 2259 9 0 2630397 0
[pid=24183/tid=24184] ppid=24181 vsize=10558652 CPUtime=0.28 cores=0,2,4,6
/proc/24183/task/24184/stat : 24184 (java) S 24181 24183 21158 0 -1 4202560 12902 0 1 0 27 1 0 0 15 0 22 0 830378772 10812059648 105795 33554432000 1073741824 1073778376 140735252747184 18446744073709551615 228134530560 0 4 0 16800975 18446604448011031488 0 0 -1 2 0 0 0
[pid=24183/tid=24186] ppid=24181 vsize=10558652 CPUtime=0 cores=0,2,4,6
/proc/24183/task/24186/stat : 24186 (java) S 24181 24183 21158 0 -1 4202560 168 0 0 0 0 0 0 0 15 0 22 0 830378774 10812059648 105795 33554432000 1073741824 1073778376 140735252747184 18446744073709551615 228134529945 0 4 0 16800975 18446604448011031488 0 0 -1 2 0 0 0
[pid=24183/tid=24187] ppid=24181 vsize=10558652 CPUtime=0 cores=0,2,4,6
/proc/24183/task/24187/stat : 24187 (java) S 24181 24183 21158 0 -1 4202560 4 0 0 0 0 0 0 0 15 0 22 0 830378774 10812059648 105795 33554432000 1073741824 1073778376 140735252747184 18446744073709551615 228134529945 0 4 0 16800975 18446604448011031488 0 0 -1 0 0 0 0
[pid=24183/tid=24188] ppid=24181 vsize=10558652 CPUtime=0 cores=0,2,4,6
/proc/24183/task/24188/stat : 24188 (java) S 24181 24183 21158 0 -1 4202560 4 0 0 0 0 0 0 0 15 0 22 0 830378774 10812059648 105795 33554432000 1073741824 1073778376 140735252747184 18446744073709551615 228134529945 0 4 0 16800975 18446604448011031488 0 0 -1 2 0 0 0
[pid=24183/tid=24189] ppid=24181 vsize=10558652 CPUtime=0 cores=0,2,4,6
/proc/24183/task/24189/stat : 24189 (java) S 24181 24183 21158 0 -1 4202560 177 0 0 0 0 0 0 0 15 0 22 0 830378774 10812059648 105795 33554432000 1073741824 1073778376 140735252747184 18446744073709551615 228134529945 0 4 0 16800975 18446604448011031488 0 0 -1 2 0 0 0
[pid=24183/tid=24190] ppid=24181 vsize=10558652 CPUtime=0 cores=0,2,4,6
/proc/24183/task/24190/stat : 24190 (java) S 24181 24183 21158 0 -1 4202560 10 0 0 0 0 0 0 0 15 0 22 0 830378774 10812059648 105795 33554432000 1073741824 1073778376 140735252747184 18446744073709551615 228134529945 0 4 0 16800975 18446604448011031488 0 0 -1 2 0 0 0
[pid=24183/tid=24191] ppid=24181 vsize=10558652 CPUtime=0 cores=0,2,4,6
/proc/24183/task/24191/stat : 24191 (java) S 24181 24183 21158 0 -1 4202560 238 0 0 0 0 0 0 0 15 0 22 0 830378774 10812059648 105795 33554432000 1073741824 1073778376 140735252747184 18446744073709551615 228134529945 0 4 0 16800975 18446604448011031488 0 0 -1 0 0 0 0
[pid=24183/tid=24192] ppid=24181 vsize=10558652 CPUtime=0 cores=0,2,4,6
/proc/24183/task/24192/stat : 24192 (java) S 24181 24183 21158 0 -1 4202560 249 0 0 0 0 0 0 0 15 0 22 0 830378774 10812059648 105795 33554432000 1073741824 1073778376 140735252747184 18446744073709551615 228134529945 0 4 0 16800975 18446604448011031488 0 0 -1 2 0 0 0
[pid=24183/tid=24193] ppid=24181 vsize=10558652 CPUtime=0 cores=0,2,4,6
/proc/24183/task/24193/stat : 24193 (java) S 24181 24183 21158 0 -1 4202560 225 0 0 0 0 0 0 0 15 0 22 0 830378774 10812059648 105795 33554432000 1073741824 1073778376 140735252747184 18446744073709551615 228134529945 0 4 0 16800975 18446604448011031488 0 0 -1 6 0 0 0
[pid=24183/tid=24194] ppid=24181 vsize=10558652 CPUtime=0.1 cores=0,2,4,6
/proc/24183/task/24194/stat : 24194 (java) S 24181 24183 21158 0 -1 4202560 1565 0 0 0 10 0 0 0 15 0 22 0 830378775 10812059648 105795 33554432000 1073741824 1073778376 140735252747184 18446744073709551615 228134530560 0 0 0 16800975 18446604448011031488 0 0 -1 4 0 0 0
[pid=24183/tid=24195] ppid=24181 vsize=10558652 CPUtime=0 cores=0,2,4,6
/proc/24183/task/24195/stat : 24195 (java) S 24181 24183 21158 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 830378776 10812059648 105795 33554432000 1073741824 1073778376 140735252747184 18446744073709551615 228134529945 0 4 0 16800975 18446604448011031488 0 0 -1 6 0 0 0
[pid=24183/tid=24196] ppid=24181 vsize=10558652 CPUtime=0 cores=0,2,4,6
/proc/24183/task/24196/stat : 24196 (java) S 24181 24183 21158 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 22 0 830378776 10812059648 105795 33554432000 1073741824 1073778376 140735252747184 18446744073709551615 228134529945 0 4 0 16800975 18446604448011031488 0 0 -1 6 0 0 0
[pid=24183/tid=24197] ppid=24181 vsize=10558652 CPUtime=0 cores=0,2,4,6
/proc/24183/task/24197/stat : 24197 (java) S 24181 24183 21158 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830378778 10812059648 105795 33554432000 1073741824 1073778376 140735252747184 18446744073709551615 228134537649 0 4 0 16800975 18446604448011031488 0 0 -1 6 0 0 0
[pid=24183/tid=24198] ppid=24181 vsize=10558652 CPUtime=0.95 cores=0,2,4,6
/proc/24183/task/24198/stat : 24198 (java) S 24181 24183 21158 0 -1 4202560 10589 0 0 0 94 1 0 0 15 0 22 0 830378778 10812059648 105795 33554432000 1073741824 1073778376 140735252747184 18446744073709551615 228134529945 0 4 0 16800975 18446604448011031488 0 0 -1 2 0 0 0
[pid=24183/tid=24199] ppid=24181 vsize=10558652 CPUtime=1.03 cores=0,2,4,6
/proc/24183/task/24199/stat : 24199 (java) S 24181 24183 21158 0 -1 4202560 6749 0 0 0 103 0 0 0 15 0 22 0 830378778 10812059648 105795 33554432000 1073741824 1073778376 140735252747184 18446744073709551615 228134529945 0 4 0 16800975 18446604448011031488 0 0 -1 4 0 0 0
[pid=24183/tid=24200] ppid=24181 vsize=10558652 CPUtime=0 cores=0,2,4,6
/proc/24183/task/24200/stat : 24200 (java) S 24181 24183 21158 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830378778 10812059648 105795 33554432000 1073741824 1073778376 140735252747184 18446744073709551615 228134529945 0 4 0 16800975 18446604448011031488 0 0 -1 6 0 0 0
[pid=24183/tid=24201] ppid=24181 vsize=10558652 CPUtime=0 cores=0,2,4,6
/proc/24183/task/24201/stat : 24201 (java) S 24181 24183 21158 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 830378778 10812059648 105795 33554432000 1073741824 1073778376 140735252747184 18446744073709551615 228134530560 0 4 0 16800975 18446604448011031488 0 0 -1 6 0 0 0
[pid=24183/tid=24205] ppid=24181 vsize=10558652 CPUtime=0 cores=0,2,4,6
/proc/24183/task/24205/stat : 24205 (java) S 24181 24183 21158 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 22 0 830378802 10812059648 105795 33554432000 1073741824 1073778376 140735252747184 18446744073709551615 228134530560 0 4 0 16800975 18446604448011031488 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 6.4
Current children cumulated vsize (KiB) 10558652

[startup+6.30143 s]
/proc/loadavg: 3.79 3.44 2.66 4/504 24217
/proc/meminfo: memFree=27566504/32951124 swapFree=41830676/67111528
[pid=24183] ppid=24181 vsize=10558652 CPUtime=12.23 cores=0,2,4,6
/proc/24183/stat : 24183 (java) S 24181 24183 21158 0 -1 4202496 150708 0 1 0 1202 21 0 0 25 0 19 0 830378772 10812059648 139726 33554432000 1073741824 1073778376 140735252747184 18446744073709551615 228134516709 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/24183/statm: 2639663 139726 2259 9 0 2630397 0
[pid=24183/tid=24184] ppid=24181 vsize=10558652 CPUtime=0.28 cores=0,2,4,6
/proc/24183/task/24184/stat : 24184 (java) S 24181 24183 21158 0 -1 4202560 12902 0 1 0 27 1 0 0 15 0 19 0 830378772 10812059648 139726 33554432000 1073741824 1073778376 140735252747184 18446744073709551615 228134530560 0 4 0 16800975 18446604448011031488 0 0 -1 0 0 0 0
[pid=24183/tid=24186] ppid=24181 vsize=10558652 CPUtime=0 cores=0,2,4,6
/proc/24183/task/24186/stat : 24186 (java) S 24181 24183 21158 0 -1 4202560 257 0 0 0 0 0 0 0 16 0 19 0 830378774 10812059648 139726 33554432000 1073741824 1073778376 140735252747184 18446744073709551615 228134529945 0 4 0 16800975 18446604448011031488 0 0 -1 6 0 0 0
[pid=24183/tid=24187] ppid=24181 vsize=10558652 CPUtime=0 cores=0,2,4,6
/proc/24183/task/24187/stat : 24187 (java) S 24181 24183 21158 0 -1 4202560 5 0 0 0 0 0 0 0 16 0 19 0 830378774 10812059648 139726 33554432000 1073741824 1073778376 140735252747184 18446744073709551615 228134529945 0 4 0 16800975 18446604448011031488 0 0 -1 6 0 0 0
[pid=24183/tid=24188] ppid=24181 vsize=10558652 CPUtime=0 cores=0,2,4,6
/proc/24183/task/24188/stat : 24188 (java) S 24181 24183 21158 0 -1 4202560 31 0 0 0 0 0 0 0 16 0 19 0 830378774 10812059648 139726 33554432000 1073741824 1073778376 140735252747184 18446744073709551615 228134529945 0 4 0 16800975 18446604448011031488 0 0 -1 0 0 0 0
[pid=24183/tid=24189] ppid=24181 vsize=10558652 CPUtime=0.01 cores=0,2,4,6
/proc/24183/task/24189/stat : 24189 (java) S 24181 24183 21158 0 -1 4202560 186 0 0 0 1 0 0 0 16 0 19 0 830378774 10812059648 139726 33554432000 1073741824 1073778376 140735252747184 18446744073709551615 228134529945 0 4 0 16800975 18446604448011031488 0 0 -1 2 0 0 0
[pid=24183/tid=24190] ppid=24181 vsize=10558652 CPUtime=0 cores=0,2,4,6
/proc/24183/task/24190/stat : 24190 (java) S 24181 24183 21158 0 -1 4202560 21 0 0 0 0 0 0 0 15 0 19 0 830378774 10812059648 139726 33554432000 1073741824 1073778376 140735252747184 18446744073709551615 228134529945 0 4 0 16800975 18446604448011031488 0 0 -1 2 0 0 0
[pid=24183/tid=24191] ppid=24181 vsize=10558652 CPUtime=0 cores=0,2,4,6
/proc/24183/task/24191/stat : 24191 (java) S 24181 24183 21158 0 -1 4202560 239 0 0 0 0 0 0 0 15 0 19 0 830378774 10812059648 139726 33554432000 1073741824 1073778376 140735252747184 18446744073709551615 228134529945 0 4 0 16800975 18446604448011031488 0 0 -1 2 0 0 0
[pid=24183/tid=24192] ppid=24181 vsize=10558652 CPUtime=0.01 cores=0,2,4,6
/proc/24183/task/24192/stat : 24192 (java) S 24181 24183 21158 0 -1 4202560 263 0 0 0 1 0 0 0 16 0 19 0 830378774 10812059648 139726 33554432000 1073741824 1073778376 140735252747184 18446744073709551615 228134529945 0 4 0 16800975 18446604448011031488 0 0 -1 0 0 0 0
[pid=24183/tid=24193] ppid=24181 vsize=10558652 CPUtime=0.01 cores=0,2,4,6
/proc/24183/task/24193/stat : 24193 (java) S 24181 24183 21158 0 -1 4202560 229 0 0 0 1 0 0 0 15 0 19 0 830378774 10812059648 139726 33554432000 1073741824 1073778376 140735252747184 18446744073709551615 228134529945 0 4 0 16800975 18446604448011031488 0 0 -1 2 0 0 0
[pid=24183/tid=24194] ppid=24181 vsize=10558652 CPUtime=0.24 cores=0,2,4,6
/proc/24183/task/24194/stat : 24194 (java) S 24181 24183 21158 0 -1 4202560 2618 0 0 0 24 0 0 0 15 0 19 0 830378775 10812059648 139726 33554432000 1073741824 1073778376 140735252747184 18446744073709551615 228134530560 0 0 0 16800975 18446604448011031488 0 0 -1 4 0 0 0
[pid=24183/tid=24195] ppid=24181 vsize=10558652 CPUtime=0 cores=0,2,4,6
/proc/24183/task/24195/stat : 24195 (java) S 24181 24183 21158 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 830378776 10812059648 139726 33554432000 1073741824 1073778376 140735252747184 18446744073709551615 228134529945 0 4 0 16800975 18446604448011031488 0 0 -1 6 0 0 0
[pid=24183/tid=24196] ppid=24181 vsize=10558652 CPUtime=0 cores=0,2,4,6
/proc/24183/task/24196/stat : 24196 (java) S 24181 24183 21158 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 830378776 10812059648 139726 33554432000 1073741824 1073778376 140735252747184 18446744073709551615 228134529945 0 4 0 16800975 18446604448011031488 0 0 -1 6 0 0 0
[pid=24183/tid=24197] ppid=24181 vsize=10558652 CPUtime=0 cores=0,2,4,6
/proc/24183/task/24197/stat : 24197 (java) S 24181 24183 21158 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830378778 10812059648 139726 33554432000 1073741824 1073778376 140735252747184 18446744073709551615 228134537649 0 4 0 16800975 18446604448011031488 0 0 -1 6 0 0 0
[pid=24183/tid=24198] ppid=24181 vsize=10558652 CPUtime=0.95 cores=0,2,4,6
/proc/24183/task/24198/stat : 24198 (java) S 24181 24183 21158 0 -1 4202560 10589 0 0 0 94 1 0 0 15 0 19 0 830378778 10812059648 139726 33554432000 1073741824 1073778376 140735252747184 18446744073709551615 228134529945 0 4 0 16800975 18446604448011031488 0 0 -1 2 0 0 0
[pid=24183/tid=24199] ppid=24181 vsize=10558652 CPUtime=1.05 cores=0,2,4,6
/proc/24183/task/24199/stat : 24199 (java) S 24181 24183 21158 0 -1 4202560 6749 0 0 0 105 0 0 0 15 0 19 0 830378778 10812059648 139726 33554432000 1073741824 1073778376 140735252747184 18446744073709551615 228134529945 0 4 0 16800975 18446604448011031488 0 0 -1 4 0 0 0

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

[pid=24183/tid=24414] ppid=24181 vsize=10558652 CPUtime=228.79 cores=0,2,4,6
/proc/24183/task/24414/stat : 24414 (java) R 24181 24183 21158 0 -1 4202560 132 0 0 0 22878 1 0 0 25 0 22 0 830435441 10812059648 232481 33554432000 1073741824 1073778376 140735252747184 18446744073709551615 46912505727186 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=24183/tid=24415] ppid=24181 vsize=10558652 CPUtime=228.81 cores=0,2,4,6
/proc/24183/task/24415/stat : 24415 (java) R 24181 24183 21158 0 -1 4202560 19 0 0 0 22881 0 0 0 25 0 22 0 830435441 10812059648 232481 33554432000 1073741824 1073778376 140735252747184 18446744073709551615 46912505663989 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=24183/tid=24416] ppid=24181 vsize=10558652 CPUtime=0 cores=0,2,4,6
/proc/24183/task/24416/stat : 24416 (java) S 24181 24183 21158 0 -1 4202560 0 0 0 0 0 0 0 0 17 0 22 0 830435441 10812059648 232481 33554432000 1073741824 1073778376 140735252747184 18446744073709551615 228134530560 0 4 0 16800975 18446604448011031488 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1580.7
Current children cumulated vsize (KiB) 10558652

[startup+882.318 s]
/proc/loadavg: 4.02 3.92 3.41 5/504 24424
/proc/meminfo: memFree=23859108/32951124 swapFree=41830676/67111528
[pid=24183] ppid=24181 vsize=10558652 CPUtime=1694.87 cores=0,2,4,6
/proc/24183/stat : 24183 (java) S 24181 24183 21158 0 -1 4202496 248688 0 1 0 169436 51 0 0 25 0 22 0 830378772 10812059648 233085 33554432000 1073741824 1073778376 140735252747184 18446744073709551615 228134516709 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/24183/statm: 2639663 233085 2260 9 0 2630397 0
[pid=24183/tid=24184] ppid=24181 vsize=10558652 CPUtime=0.29 cores=0,2,4,6
/proc/24183/task/24184/stat : 24184 (java) S 24181 24183 21158 0 -1 4202560 13001 0 1 0 28 1 0 0 15 0 22 0 830378772 10812059648 233085 33554432000 1073741824 1073778376 140735252747184 18446744073709551615 228134530560 0 4 0 16800975 18446604448011031488 0 0 -1 0 0 0 0
[pid=24183/tid=24186] ppid=24181 vsize=10558652 CPUtime=1.79 cores=0,2,4,6
/proc/24183/task/24186/stat : 24186 (java) S 24181 24183 21158 0 -1 4202560 567 0 0 0 178 1 0 0 16 0 22 0 830378774 10812059648 233085 33554432000 1073741824 1073778376 140735252747184 18446744073709551615 228134529945 0 4 0 16800975 18446604448011031488 0 0 -1 0 0 0 0
[pid=24183/tid=24187] ppid=24181 vsize=10558652 CPUtime=1.9 cores=0,2,4,6
/proc/24183/task/24187/stat : 24187 (java) S 24181 24183 21158 0 -1 4202560 296 0 0 0 190 0 0 0 15 0 22 0 830378774 10812059648 233085 33554432000 1073741824 1073778376 140735252747184 18446744073709551615 228134529945 0 4 0 16800975 18446604448011031488 0 0 -1 6 0 0 0
[pid=24183/tid=24188] ppid=24181 vsize=10558652 CPUtime=1.97 cores=0,2,4,6
/proc/24183/task/24188/stat : 24188 (java) S 24181 24183 21158 0 -1 4202560 370 0 0 0 197 0 0 0 15 0 22 0 830378774 10812059648 233085 33554432000 1073741824 1073778376 140735252747184 18446744073709551615 228134529945 0 4 0 16800975 18446604448011031488 0 0 -1 4 0 0 0
[pid=24183/tid=24189] ppid=24181 vsize=10558652 CPUtime=1.98 cores=0,2,4,6
/proc/24183/task/24189/stat : 24189 (java) S 24181 24183 21158 0 -1 4202560 509 0 0 0 198 0 0 0 16 0 22 0 830378774 10812059648 233085 33554432000 1073741824 1073778376 140735252747184 18446744073709551615 228134529945 0 4 0 16800975 18446604448011031488 0 0 -1 6 0 0 0
[pid=24183/tid=24190] ppid=24181 vsize=10558652 CPUtime=1.9 cores=0,2,4,6
/proc/24183/task/24190/stat : 24190 (java) S 24181 24183 21158 0 -1 4202560 306 0 0 0 190 0 0 0 15 0 22 0 830378774 10812059648 233085 33554432000 1073741824 1073778376 140735252747184 18446744073709551615 228134529945 0 4 0 16800975 18446604448011031488 0 0 -1 6 0 0 0
[pid=24183/tid=24191] ppid=24181 vsize=10558652 CPUtime=1.89 cores=0,2,4,6
/proc/24183/task/24191/stat : 24191 (java) S 24181 24183 21158 0 -1 4202560 495 0 0 0 189 0 0 0 15 0 22 0 830378774 10812059648 233085 33554432000 1073741824 1073778376 140735252747184 18446744073709551615 228134529945 0 4 0 16800975 18446604448011031488 0 0 -1 6 0 0 0
[pid=24183/tid=24192] ppid=24181 vsize=10558652 CPUtime=1.91 cores=0,2,4,6
/proc/24183/task/24192/stat : 24192 (java) S 24181 24183 21158 0 -1 4202560 522 0 0 0 191 0 0 0 15 0 22 0 830378774 10812059648 233085 33554432000 1073741824 1073778376 140735252747184 18446744073709551615 228134529945 0 4 0 16800975 18446604448011031488 0 0 -1 4 0 0 0
[pid=24183/tid=24193] ppid=24181 vsize=10558652 CPUtime=2.03 cores=0,2,4,6
/proc/24183/task/24193/stat : 24193 (java) S 24181 24183 21158 0 -1 4202560 549 0 0 0 203 0 0 0 16 0 22 0 830378774 10812059648 233085 33554432000 1073741824 1073778376 140735252747184 18446744073709551615 228134529945 0 4 0 16800975 18446604448011031488 0 0 -1 4 0 0 0
[pid=24183/tid=24194] ppid=24181 vsize=10558652 CPUtime=73.32 cores=0,2,4,6
/proc/24183/task/24194/stat : 24194 (java) S 24181 24183 21158 0 -1 4202560 20968 0 0 0 7322 10 0 0 16 0 22 0 830378775 10812059648 233085 33554432000 1073741824 1073778376 140735252747184 18446744073709551615 228134530560 0 0 0 16800975 18446604448011031488 0 0 -1 2 0 0 0
[pid=24183/tid=24195] ppid=24181 vsize=10558652 CPUtime=0 cores=0,2,4,6
/proc/24183/task/24195/stat : 24195 (java) S 24181 24183 21158 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 830378776 10812059648 233085 33554432000 1073741824 1073778376 140735252747184 18446744073709551615 228134529945 0 4 0 16800975 18446604448011031488 0 0 -1 2 0 0 0
[pid=24183/tid=24196] ppid=24181 vsize=10558652 CPUtime=0 cores=0,2,4,6
/proc/24183/task/24196/stat : 24196 (java) S 24181 24183 21158 0 -1 4202560 10 0 0 0 0 0 0 0 15 0 22 0 830378776 10812059648 233085 33554432000 1073741824 1073778376 140735252747184 18446744073709551615 228134529945 0 4 0 16800975 18446604448011031488 0 0 -1 6 0 0 0
[pid=24183/tid=24197] ppid=24181 vsize=10558652 CPUtime=0 cores=0,2,4,6
/proc/24183/task/24197/stat : 24197 (java) S 24181 24183 21158 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830378778 10812059648 233085 33554432000 1073741824 1073778376 140735252747184 18446744073709551615 228134537649 0 4 0 16800975 18446604448011031488 0 0 -1 6 0 0 0
[pid=24183/tid=24198] ppid=24181 vsize=10558652 CPUtime=1.46 cores=0,2,4,6
/proc/24183/task/24198/stat : 24198 (java) S 24181 24183 21158 0 -1 4202560 14558 0 0 0 144 2 0 0 16 0 22 0 830378778 10812059648 233085 33554432000 1073741824 1073778376 140735252747184 18446744073709551615 228134529945 0 4 0 16800975 18446604448011031488 0 0 -1 2 0 0 0
[pid=24183/tid=24199] ppid=24181 vsize=10558652 CPUtime=1.21 cores=0,2,4,6
/proc/24183/task/24199/stat : 24199 (java) S 24181 24183 21158 0 -1 4202560 6761 0 0 0 121 0 0 0 15 0 22 0 830378778 10812059648 233085 33554432000 1073741824 1073778376 140735252747184 18446744073709551615 228134529945 0 4 0 16800975 18446604448011031488 0 0 -1 4 0 0 0
[pid=24183/tid=24200] ppid=24181 vsize=10558652 CPUtime=0 cores=0,2,4,6
/proc/24183/task/24200/stat : 24200 (java) S 24181 24183 21158 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830378778 10812059648 233085 33554432000 1073741824 1073778376 140735252747184 18446744073709551615 228134529945 0 4 0 16800975 18446604448011031488 0 0 -1 6 0 0 0
[pid=24183/tid=24201] ppid=24181 vsize=10558652 CPUtime=0 cores=0,2,4,6
/proc/24183/task/24201/stat : 24201 (java) S 24181 24183 21158 0 -1 4202560 50 0 0 0 0 0 0 0 15 0 22 0 830378778 10812059648 233085 33554432000 1073741824 1073778376 140735252747184 18446744073709551615 228134530560 0 4 0 16800975 18446604448011031488 0 0 -1 4 0 0 0
[pid=24183/tid=24220] ppid=24181 vsize=10558652 CPUtime=0 cores=0,2,4,6
/proc/24183/task/24220/stat : 24220 (java) S 24181 24183 21158 0 -1 4202560 0 0 0 0 0 0 0 0 18 0 22 0 830379406 10812059648 233085 33554432000 1073741824 1073778376 140735252747184 18446744073709551615 228134530560 0 4 0 16800975 18446604448011031488 0 0 -1 6 0 0 0
[pid=24183/tid=24414] ppid=24181 vsize=10558652 CPUtime=282.01 cores=0,2,4,6
/proc/24183/task/24414/stat : 24414 (java) R 24181 24183 21158 0 -1 4202560 168 0 0 0 28200 1 0 0 25 0 22 0 830435441 10812059648 233085 33554432000 1073741824 1073778376 140735252747184 18446744073709551615 46912505727057 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=24183/tid=24415] ppid=24181 vsize=10558652 CPUtime=282.04 cores=0,2,4,6
/proc/24183/task/24415/stat : 24415 (java) R 24181 24183 21158 0 -1 4202560 19 0 0 0 28204 0 0 0 25 0 22 0 830435441 10812059648 233085 33554432000 1073741824 1073778376 140735252747184 18446744073709551615 46912505665448 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=24183/tid=24416] ppid=24181 vsize=10558652 CPUtime=0 cores=0,2,4,6
/proc/24183/task/24416/stat : 24416 (java) S 24181 24183 21158 0 -1 4202560 0 0 0 0 0 0 0 0 17 0 22 0 830435441 10812059648 233085 33554432000 1073741824 1073778376 140735252747184 18446744073709551615 228134530560 0 4 0 16800975 18446604448011031488 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1694.87
Current children cumulated vsize (KiB) 10558652



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+937.602 s]
/proc/loadavg: 3.91 3.90 3.43 5/504 24426
/proc/meminfo: memFree=23846684/32951124 swapFree=41830676/67111528
[pid=24183] ppid=24181 vsize=10558652 CPUtime=1800.15 cores=0,2,4,6
/proc/24183/stat : 24183 (java) S 24181 24183 21158 0 -1 4202496 249214 0 1 0 179964 51 0 0 25 0 22 0 830378772 10812059648 233571 33554432000 1073741824 1073778376 140735252747184 18446744073709551615 228134516709 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/24183/statm: 2639663 233571 2260 9 0 2630397 0
[pid=24183/tid=24184] ppid=24181 vsize=10558652 CPUtime=0.29 cores=0,2,4,6
/proc/24183/task/24184/stat : 24184 (java) S 24181 24183 21158 0 -1 4202560 13001 0 1 0 28 1 0 0 15 0 22 0 830378772 10812059648 233571 33554432000 1073741824 1073778376 140735252747184 18446744073709551615 228134530560 0 4 0 16800975 18446604448011031488 0 0 -1 0 0 0 0
[pid=24183/tid=24186] ppid=24181 vsize=10558652 CPUtime=1.95 cores=0,2,4,6
/proc/24183/task/24186/stat : 24186 (java) S 24181 24183 21158 0 -1 4202560 567 0 0 0 194 1 0 0 16 0 22 0 830378774 10812059648 233571 33554432000 1073741824 1073778376 140735252747184 18446744073709551615 228134529945 0 4 0 16800975 18446604448011031488 0 0 -1 6 0 0 0
[pid=24183/tid=24187] ppid=24181 vsize=10558652 CPUtime=2.04 cores=0,2,4,6
/proc/24183/task/24187/stat : 24187 (java) S 24181 24183 21158 0 -1 4202560 296 0 0 0 204 0 0 0 16 0 22 0 830378774 10812059648 233571 33554432000 1073741824 1073778376 140735252747184 18446744073709551615 228134529945 0 4 0 16800975 18446604448011031488 0 0 -1 0 0 0 0
[pid=24183/tid=24188] ppid=24181 vsize=10558652 CPUtime=2.13 cores=0,2,4,6
/proc/24183/task/24188/stat : 24188 (java) S 24181 24183 21158 0 -1 4202560 370 0 0 0 213 0 0 0 15 0 22 0 830378774 10812059648 233571 33554432000 1073741824 1073778376 140735252747184 18446744073709551615 228134529945 0 4 0 16800975 18446604448011031488 0 0 -1 0 0 0 0
[pid=24183/tid=24189] ppid=24181 vsize=10558652 CPUtime=2.12 cores=0,2,4,6
/proc/24183/task/24189/stat : 24189 (java) S 24181 24183 21158 0 -1 4202560 509 0 0 0 212 0 0 0 16 0 22 0 830378774 10812059648 233571 33554432000 1073741824 1073778376 140735252747184 18446744073709551615 228134529945 0 4 0 16800975 18446604448011031488 0 0 -1 4 0 0 0
[pid=24183/tid=24190] ppid=24181 vsize=10558652 CPUtime=2.05 cores=0,2,4,6
/proc/24183/task/24190/stat : 24190 (java) S 24181 24183 21158 0 -1 4202560 306 0 0 0 205 0 0 0 15 0 22 0 830378774 10812059648 233571 33554432000 1073741824 1073778376 140735252747184 18446744073709551615 228134529945 0 4 0 16800975 18446604448011031488 0 0 -1 4 0 0 0
[pid=24183/tid=24191] ppid=24181 vsize=10558652 CPUtime=2.01 cores=0,2,4,6
/proc/24183/task/24191/stat : 24191 (java) S 24181 24183 21158 0 -1 4202560 495 0 0 0 201 0 0 0 15 0 22 0 830378774 10812059648 233571 33554432000 1073741824 1073778376 140735252747184 18446744073709551615 228134529945 0 4 0 16800975 18446604448011031488 0 0 -1 6 0 0 0
[pid=24183/tid=24192] ppid=24181 vsize=10558652 CPUtime=2.05 cores=0,2,4,6
/proc/24183/task/24192/stat : 24192 (java) S 24181 24183 21158 0 -1 4202560 522 0 0 0 205 0 0 0 16 0 22 0 830378774 10812059648 233571 33554432000 1073741824 1073778376 140735252747184 18446744073709551615 228134529945 0 4 0 16800975 18446604448011031488 0 0 -1 4 0 0 0
[pid=24183/tid=24193] ppid=24181 vsize=10558652 CPUtime=2.2 cores=0,2,4,6
/proc/24183/task/24193/stat : 24193 (java) S 24181 24183 21158 0 -1 4202560 549 0 0 0 220 0 0 0 15 0 22 0 830378774 10812059648 233571 33554432000 1073741824 1073778376 140735252747184 18446744073709551615 228134529945 0 4 0 16800975 18446604448011031488 0 0 -1 4 0 0 0
[pid=24183/tid=24194] ppid=24181 vsize=10558652 CPUtime=79.14 cores=0,2,4,6
/proc/24183/task/24194/stat : 24194 (java) S 24181 24183 21158 0 -1 4202560 21458 0 0 0 7904 10 0 0 16 0 22 0 830378775 10812059648 233571 33554432000 1073741824 1073778376 140735252747184 18446744073709551615 228134530560 0 0 0 16800975 18446604448011031488 0 0 -1 2 0 0 0
[pid=24183/tid=24195] ppid=24181 vsize=10558652 CPUtime=0 cores=0,2,4,6
/proc/24183/task/24195/stat : 24195 (java) S 24181 24183 21158 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 830378776 10812059648 233571 33554432000 1073741824 1073778376 140735252747184 18446744073709551615 228134529945 0 4 0 16800975 18446604448011031488 0 0 -1 2 0 0 0
[pid=24183/tid=24196] ppid=24181 vsize=10558652 CPUtime=0 cores=0,2,4,6
/proc/24183/task/24196/stat : 24196 (java) S 24181 24183 21158 0 -1 4202560 10 0 0 0 0 0 0 0 15 0 22 0 830378776 10812059648 233571 33554432000 1073741824 1073778376 140735252747184 18446744073709551615 228134529945 0 4 0 16800975 18446604448011031488 0 0 -1 6 0 0 0
[pid=24183/tid=24197] ppid=24181 vsize=10558652 CPUtime=0 cores=0,2,4,6
/proc/24183/task/24197/stat : 24197 (java) S 24181 24183 21158 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830378778 10812059648 233571 33554432000 1073741824 1073778376 140735252747184 18446744073709551615 228134537649 0 4 0 16800975 18446604448011031488 0 0 -1 6 0 0 0
[pid=24183/tid=24198] ppid=24181 vsize=10558652 CPUtime=1.46 cores=0,2,4,6
/proc/24183/task/24198/stat : 24198 (java) S 24181 24183 21158 0 -1 4202560 14558 0 0 0 144 2 0 0 16 0 22 0 830378778 10812059648 233571 33554432000 1073741824 1073778376 140735252747184 18446744073709551615 228134529945 0 4 0 16800975 18446604448011031488 0 0 -1 2 0 0 0
[pid=24183/tid=24199] ppid=24181 vsize=10558652 CPUtime=1.21 cores=0,2,4,6
/proc/24183/task/24199/stat : 24199 (java) S 24181 24183 21158 0 -1 4202560 6761 0 0 0 121 0 0 0 15 0 22 0 830378778 10812059648 233571 33554432000 1073741824 1073778376 140735252747184 18446744073709551615 228134529945 0 4 0 16800975 18446604448011031488 0 0 -1 4 0 0 0
[pid=24183/tid=24200] ppid=24181 vsize=10558652 CPUtime=0 cores=0,2,4,6
/proc/24183/task/24200/stat : 24200 (java) S 24181 24183 21158 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830378778 10812059648 233571 33554432000 1073741824 1073778376 140735252747184 18446744073709551615 228134529945 0 4 0 16800975 18446604448011031488 0 0 -1 6 0 0 0
[pid=24183/tid=24201] ppid=24181 vsize=10558652 CPUtime=0 cores=0,2,4,6
/proc/24183/task/24201/stat : 24201 (java) S 24181 24183 21158 0 -1 4202560 54 0 0 0 0 0 0 0 15 0 22 0 830378778 10812059648 233571 33554432000 1073741824 1073778376 140735252747184 18446744073709551615 228134530560 0 4 0 16800975 18446604448011031488 0 0 -1 4 0 0 0
[pid=24183/tid=24220] ppid=24181 vsize=10558652 CPUtime=0 cores=0,2,4,6
/proc/24183/task/24220/stat : 24220 (java) S 24181 24183 21158 0 -1 4202560 0 0 0 0 0 0 0 0 18 0 22 0 830379406 10812059648 233571 33554432000 1073741824 1073778376 140735252747184 18446744073709551615 228134530560 0 4 0 16800975 18446604448011031488 0 0 -1 6 0 0 0
[pid=24183/tid=24414] ppid=24181 vsize=10558652 CPUtime=331.14 cores=0,2,4,6
/proc/24183/task/24414/stat : 24414 (java) R 24181 24183 21158 0 -1 4202560 200 0 0 0 33113 1 0 0 25 0 22 0 830435441 10812059648 233571 33554432000 1073741824 1073778376 140735252747184 18446744073709551615 46912505766055 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=24183/tid=24415] ppid=24181 vsize=10558652 CPUtime=331.18 cores=0,2,4,6
/proc/24183/task/24415/stat : 24415 (java) R 24181 24183 21158 0 -1 4202560 19 0 0 0 33118 0 0 0 25 0 22 0 830435441 10812059648 233571 33554432000 1073741824 1073778376 140735252747184 18446744073709551615 46912505664249 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=24183/tid=24416] ppid=24181 vsize=10558652 CPUtime=0 cores=0,2,4,6
/proc/24183/task/24416/stat : 24416 (java) S 24181 24183 21158 0 -1 4202560 0 0 0 0 0 0 0 0 17 0 22 0 830435441 10812059648 233571 33554432000 1073741824 1073778376 140735252747184 18446744073709551615 228134530560 0 4 0 16800975 18446604448011031488 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1800.15
Current children cumulated vsize (KiB) 10558652

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

Solver just ended. Dumping a history of the last processes samples

[startup+937.602 s]
/proc/loadavg: 3.91 3.90 3.43 5/504 24426
/proc/meminfo: memFree=23846684/32951124 swapFree=41830676/67111528
[pid=24183] ppid=24181 vsize=10558652 CPUtime=1800.15 cores=0,2,4,6
/proc/24183/stat : 24183 (java) S 24181 24183 21158 0 -1 4202496 249214 0 1 0 179964 51 0 0 25 0 22 0 830378772 10812059648 233571 33554432000 1073741824 1073778376 140735252747184 18446744073709551615 228134516709 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/24183/statm: 2639663 233571 2260 9 0 2630397 0
[pid=24183/tid=24184] ppid=24181 vsize=10558652 CPUtime=0.29 cores=0,2,4,6
/proc/24183/task/24184/stat : 24184 (java) S 24181 24183 21158 0 -1 4202560 13001 0 1 0 28 1 0 0 15 0 22 0 830378772 10812059648 233571 33554432000 1073741824 1073778376 140735252747184 18446744073709551615 228134530560 0 4 0 16800975 18446604448011031488 0 0 -1 0 0 0 0
[pid=24183/tid=24186] ppid=24181 vsize=10558652 CPUtime=1.95 cores=0,2,4,6
/proc/24183/task/24186/stat : 24186 (java) S 24181 24183 21158 0 -1 4202560 567 0 0 0 194 1 0 0 16 0 22 0 830378774 10812059648 233571 33554432000 1073741824 1073778376 140735252747184 18446744073709551615 228134529945 0 4 0 16800975 18446604448011031488 0 0 -1 6 0 0 0
[pid=24183/tid=24187] ppid=24181 vsize=10558652 CPUtime=2.04 cores=0,2,4,6
/proc/24183/task/24187/stat : 24187 (java) S 24181 24183 21158 0 -1 4202560 296 0 0 0 204 0 0 0 16 0 22 0 830378774 10812059648 233571 33554432000 1073741824 1073778376 140735252747184 18446744073709551615 228134529945 0 4 0 16800975 18446604448011031488 0 0 -1 0 0 0 0
[pid=24183/tid=24188] ppid=24181 vsize=10558652 CPUtime=2.13 cores=0,2,4,6
/proc/24183/task/24188/stat : 24188 (java) S 24181 24183 21158 0 -1 4202560 370 0 0 0 213 0 0 0 15 0 22 0 830378774 10812059648 233571 33554432000 1073741824 1073778376 140735252747184 18446744073709551615 228134529945 0 4 0 16800975 18446604448011031488 0 0 -1 0 0 0 0
[pid=24183/tid=24189] ppid=24181 vsize=10558652 CPUtime=2.12 cores=0,2,4,6
/proc/24183/task/24189/stat : 24189 (java) S 24181 24183 21158 0 -1 4202560 509 0 0 0 212 0 0 0 16 0 22 0 830378774 10812059648 233571 33554432000 1073741824 1073778376 140735252747184 18446744073709551615 228134529945 0 4 0 16800975 18446604448011031488 0 0 -1 4 0 0 0
[pid=24183/tid=24190] ppid=24181 vsize=10558652 CPUtime=2.05 cores=0,2,4,6
/proc/24183/task/24190/stat : 24190 (java) S 24181 24183 21158 0 -1 4202560 306 0 0 0 205 0 0 0 15 0 22 0 830378774 10812059648 233571 33554432000 1073741824 1073778376 140735252747184 18446744073709551615 228134529945 0 4 0 16800975 18446604448011031488 0 0 -1 4 0 0 0
[pid=24183/tid=24191] ppid=24181 vsize=10558652 CPUtime=2.01 cores=0,2,4,6
/proc/24183/task/24191/stat : 24191 (java) S 24181 24183 21158 0 -1 4202560 495 0 0 0 201 0 0 0 15 0 22 0 830378774 10812059648 233571 33554432000 1073741824 1073778376 140735252747184 18446744073709551615 228134529945 0 4 0 16800975 18446604448011031488 0 0 -1 6 0 0 0
[pid=24183/tid=24192] ppid=24181 vsize=10558652 CPUtime=2.05 cores=0,2,4,6
/proc/24183/task/24192/stat : 24192 (java) S 24181 24183 21158 0 -1 4202560 522 0 0 0 205 0 0 0 16 0 22 0 830378774 10812059648 233571 33554432000 1073741824 1073778376 140735252747184 18446744073709551615 228134529945 0 4 0 16800975 18446604448011031488 0 0 -1 4 0 0 0
[pid=24183/tid=24193] ppid=24181 vsize=10558652 CPUtime=2.2 cores=0,2,4,6
/proc/24183/task/24193/stat : 24193 (java) S 24181 24183 21158 0 -1 4202560 549 0 0 0 220 0 0 0 15 0 22 0 830378774 10812059648 233571 33554432000 1073741824 1073778376 140735252747184 18446744073709551615 228134529945 0 4 0 16800975 18446604448011031488 0 0 -1 4 0 0 0
[pid=24183/tid=24194] ppid=24181 vsize=10558652 CPUtime=79.14 cores=0,2,4,6
/proc/24183/task/24194/stat : 24194 (java) S 24181 24183 21158 0 -1 4202560 21458 0 0 0 7904 10 0 0 16 0 22 0 830378775 10812059648 233571 33554432000 1073741824 1073778376 140735252747184 18446744073709551615 228134530560 0 0 0 16800975 18446604448011031488 0 0 -1 2 0 0 0
[pid=24183/tid=24195] ppid=24181 vsize=10558652 CPUtime=0 cores=0,2,4,6
/proc/24183/task/24195/stat : 24195 (java) S 24181 24183 21158 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 830378776 10812059648 233571 33554432000 1073741824 1073778376 140735252747184 18446744073709551615 228134529945 0 4 0 16800975 18446604448011031488 0 0 -1 2 0 0 0
[pid=24183/tid=24196] ppid=24181 vsize=10558652 CPUtime=0 cores=0,2,4,6
/proc/24183/task/24196/stat : 24196 (java) S 24181 24183 21158 0 -1 4202560 10 0 0 0 0 0 0 0 15 0 22 0 830378776 10812059648 233571 33554432000 1073741824 1073778376 140735252747184 18446744073709551615 228134529945 0 4 0 16800975 18446604448011031488 0 0 -1 6 0 0 0
[pid=24183/tid=24197] ppid=24181 vsize=10558652 CPUtime=0 cores=0,2,4,6
/proc/24183/task/24197/stat : 24197 (java) S 24181 24183 21158 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830378778 10812059648 233571 33554432000 1073741824 1073778376 140735252747184 18446744073709551615 228134537649 0 4 0 16800975 18446604448011031488 0 0 -1 6 0 0 0
[pid=24183/tid=24198] ppid=24181 vsize=10558652 CPUtime=1.46 cores=0,2,4,6
/proc/24183/task/24198/stat : 24198 (java) S 24181 24183 21158 0 -1 4202560 14558 0 0 0 144 2 0 0 16 0 22 0 830378778 10812059648 233571 33554432000 1073741824 1073778376 140735252747184 18446744073709551615 228134529945 0 4 0 16800975 18446604448011031488 0 0 -1 2 0 0 0
[pid=24183/tid=24199] ppid=24181 vsize=10558652 CPUtime=1.21 cores=0,2,4,6
/proc/24183/task/24199/stat : 24199 (java) S 24181 24183 21158 0 -1 4202560 6761 0 0 0 121 0 0 0 15 0 22 0 830378778 10812059648 233571 33554432000 1073741824 1073778376 140735252747184 18446744073709551615 228134529945 0 4 0 16800975 18446604448011031488 0 0 -1 4 0 0 0
[pid=24183/tid=24200] ppid=24181 vsize=10558652 CPUtime=0 cores=0,2,4,6
/proc/24183/task/24200/stat : 24200 (java) S 24181 24183 21158 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830378778 10812059648 233571 33554432000 1073741824 1073778376 140735252747184 18446744073709551615 228134529945 0 4 0 16800975 18446604448011031488 0 0 -1 6 0 0 0
[pid=24183/tid=24201] ppid=24181 vsize=10558652 CPUtime=0 cores=0,2,4,6
/proc/24183/task/24201/stat : 24201 (java) S 24181 24183 21158 0 -1 4202560 54 0 0 0 0 0 0 0 15 0 22 0 830378778 10812059648 233571 33554432000 1073741824 1073778376 140735252747184 18446744073709551615 228134530560 0 4 0 16800975 18446604448011031488 0 0 -1 4 0 0 0
[pid=24183/tid=24220] ppid=24181 vsize=10558652 CPUtime=0 cores=0,2,4,6
/proc/24183/task/24220/stat : 24220 (java) S 24181 24183 21158 0 -1 4202560 0 0 0 0 0 0 0 0 18 0 22 0 830379406 10812059648 233571 33554432000 1073741824 1073778376 140735252747184 18446744073709551615 228134530560 0 4 0 16800975 18446604448011031488 0 0 -1 6 0 0 0
[pid=24183/tid=24414] ppid=24181 vsize=10558652 CPUtime=331.14 cores=0,2,4,6
/proc/24183/task/24414/stat : 24414 (java) R 24181 24183 21158 0 -1 4202560 200 0 0 0 33113 1 0 0 25 0 22 0 830435441 10812059648 233571 33554432000 1073741824 1073778376 140735252747184 18446744073709551615 46912505766055 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=24183/tid=24415] ppid=24181 vsize=10558652 CPUtime=331.18 cores=0,2,4,6
/proc/24183/task/24415/stat : 24415 (java) R 24181 24183 21158 0 -1 4202560 19 0 0 0 33118 0 0 0 25 0 22 0 830435441 10812059648 233571 33554432000 1073741824 1073778376 140735252747184 18446744073709551615 46912505664249 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=24183/tid=24416] ppid=24181 vsize=10558652 CPUtime=0 cores=0,2,4,6
/proc/24183/task/24416/stat : 24416 (java) S 24181 24183 21158 0 -1 4202560 0 0 0 0 0 0 0 0 17 0 22 0 830435441 10812059648 233571 33554432000 1073741824 1073778376 140735252747184 18446744073709551615 228134530560 0 4 0 16800975 18446604448011031488 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1800.15
Current children cumulated vsize (KiB) 10558652

Child status: 143
Real time (s): 937.698
CPU time (s): 1800.31
CPU user time (s): 1799.76
CPU system time (s): 0.556915
CPU usage (%): 191.993
Max. virtual memory (cumulated for all children) (KiB): 10562520

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.76
system time used= 0.556915
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 249253
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= 38894
involuntary context switches= 24741

runsolver used 4.77027 second user time and 9.80651 second system time

The end

Launcher Data 

Begin job on node138 at 2011-06-04 13:43:28
IDJOB=3454503
IDBENCH=1844
IDSOLVER=1950
FILE ID=node138/3454503-1307187808
RUNJOBID= node138-1307187082-23817
PBS_JOBID= 13508833
Free space on /tmp= 73668 MiB

SOLVER NAME= Sat4j Res//CP 2.3.0
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-neos16.opb
COMMAND LINE= java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3454503-1307187808/watcher-3454503-1307187808 -o /tmp/evaluation-result-3454503-1307187808/solver-3454503-1307187808 -C 1800 -W 1900 -M 15500  java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3454503-1307187808.opb

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

MD5SUM BENCH= 49459e9c72edb2754f1d384319cf8731
RANDOM SEED=1079837450

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      28046184 kB
Buffers:        317848 kB
Cached:        1086796 kB
SwapCached:      44568 kB
Active:        2823904 kB
Inactive:      1789924 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      28046184 kB
SwapTotal:    67111528 kB
SwapFree:     41830676 kB
Dirty:             452 kB
Writeback:           0 kB
AnonPages:     3175332 kB
Mapped:          24832 kB
Slab:           128512 kB
PageTables:      93688 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 141028136 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= 73668 MiB
End job on node138 at 2011-06-04 13:59:08