Trace number 3688139

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
Sat 4j PB Resolution 2.3.2 SnapshotOPT5 812.341 806.5

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/logic_synthesis/normalized-rd84.b.opb
MD5SUM6560abb26f607ef952ebe1a74dd5dae1
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark5
Best CPU time to get the best result obtained on this benchmark5.70713
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 5
Optimality of the best value was proved YES
Number of variables1009
Total number of constraints3773
Number of constraints which are clauses3773
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint5
Maximum length of a constraint446
Number of terms in the objective function 1009
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 1009
Number of bits of the sum of numbers in the objective function 10
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 1009
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.02/0.07	c SAT4J: a SATisfiability library for Java (c) 2004-2012 Artois University and CNRS
0.02/0.07	c This is free software under the dual EPL/GNU LGPL licenses.
0.02/0.07	c See www.sat4j.org for details.
0.02/0.07	c version 2.3.2.v20120418
0.02/0.07	c java.runtime.name	Java(TM) SE Runtime Environment
0.02/0.07	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.02/0.07	c java.vm.version	19.1-b02
0.02/0.07	c java.vm.vendor	Sun Microsystems Inc.
0.02/0.07	c sun.arch.data.model	64
0.02/0.07	c java.version		1.6.0_24
0.02/0.07	c os.name		Linux
0.02/0.07	c os.version		2.6.32-71.29.1.el6.x86_64
0.02/0.07	c os.arch		amd64
0.02/0.07	c Free memory 		501472288
0.02/0.07	c Max memory 		7480803328
0.02/0.07	c Total memory 		504102912
0.02/0.07	c Number of processors 	8
0.02/0.10	c Pseudo Boolean Optimization by upper bound
0.02/0.10	c --- Begin Solver configuration ---
0.02/0.10	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@431b9fb1
0.02/0.10	c Learn all clauses as in MiniSAT
0.02/0.10	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.02/0.10	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.02/0.10	c No reason simplification
0.02/0.10	c Armin Biere (Picosat) restarts strategy
0.02/0.10	c Glucose learned constraints deletion strategy
0.02/0.10	c timeout=2147483s
0.02/0.10	c DB Simplification allowed=false
0.02/0.10	c c --- End Solver configuration ---
0.02/0.10	c solving HOME/instance-3688139-1337879812.opb
0.02/0.10	c reading problem ... 
0.79/0.56	c ... done. Wall clock time 0.462s.
0.79/0.56	c declared #vars     1009
0.79/0.56	c #constraints  3773
0.79/0.56	c constraints type 
0.79/0.56	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 3773
0.79/0.56	c 3773 constraints processed.
0.79/0.56	c objective function length is 1009 literals
0.79/0.59	c SATISFIABLE
0.79/0.59	c OPTIMIZING...
0.79/0.59	c Got one! Elapsed wall clock time (in seconds):0.496
0.79/0.59	o 9
1.55/0.93	c Got one! Elapsed wall clock time (in seconds):0.837
1.55/0.93	o 8
1.97/1.35	c cleaning 2875 clauses out of 5750 with flag 4004/5750
2.74/2.05	c cleaning 4436 clauses out of 8871 with flag 10000/11746
3.54/2.81	c cleaning 5672 clauses out of 11435 with flag 17000/18746
4.35/3.64	c cleaning 6881 clauses out of 13763 with flag 25000/26746
5.28/4.58	c cleaning 7941 clauses out of 15882 with flag 34000/35746
6.28/5.57	c cleaning 8944 clauses out of 17941 with flag 44000/45746
7.39/6.63	c cleaning 9921 clauses out of 19997 with flag 55000/56746
8.39/7.68	c cleaning 11028 clauses out of 22076 with flag 67000/68746
9.59/8.90	c cleaning 12005 clauses out of 24048 with flag 80000/81746
10.99/10.22	c cleaning 12996 clauses out of 26043 with flag 94000/95746
11.40/10.66	c Got one! Elapsed wall clock time (in seconds):10.568
11.40/10.66	o 7
11.50/10.76	c cleaning 9293 clauses out of 18621 with flag 1000/101320
12.01/11.29	c cleaning 7652 clauses out of 15328 with flag 7000/107320
12.71/11.90	c cleaning 7336 clauses out of 14679 with flag 14003/114323
13.42/12.64	c cleaning 7657 clauses out of 15340 with flag 22000/122320
14.33/13.53	c cleaning 8331 clauses out of 16683 with flag 31000/131320
15.25/14.47	c cleaning 9160 clauses out of 18354 with flag 41002/141322
16.37/15.51	c cleaning 10090 clauses out of 20192 with flag 52000/152320
17.68/16.83	c cleaning 11045 clauses out of 22102 with flag 64000/164320
18.99/18.13	c cleaning 12012 clauses out of 24057 with flag 77000/177320
20.39/19.58	c cleaning 13018 clauses out of 26045 with flag 91000/191320
21.81/20.99	c cleaning 13981 clauses out of 28027 with flag 106000/206320
23.53/22.60	c cleaning 14997 clauses out of 30046 with flag 122000/222320
25.15/24.23	c cleaning 15958 clauses out of 32049 with flag 139000/239320
26.96/26.04	c cleaning 17025 clauses out of 34093 with flag 157002/257322
28.78/27.86	c cleaning 17986 clauses out of 36066 with flag 176000/276320
30.89/29.97	c cleaning 19039 clauses out of 38081 with flag 196001/296321
33.00/32.09	c cleaning 20002 clauses out of 40041 with flag 217000/317320
35.31/34.39	c cleaning 21009 clauses out of 42040 with flag 239001/339321
37.71/36.77	c cleaning 22015 clauses out of 44031 with flag 262001/362321
40.22/39.23	c cleaning 22986 clauses out of 46015 with flag 286000/386320
42.73/41.71	c cleaning 23939 clauses out of 48029 with flag 311000/411320
45.43/44.46	c cleaning 24953 clauses out of 50090 with flag 337000/437320
48.15/47.17	c cleaning 25986 clauses out of 52137 with flag 364000/464320
50.90/49.89	c cleaning 27059 clauses out of 54151 with flag 392000/492320
53.93/52.88	c cleaning 28034 clauses out of 56094 with flag 421002/521322
56.84/55.78	c cleaning 29020 clauses out of 58058 with flag 451000/551320
60.27/59.10	c cleaning 29958 clauses out of 60038 with flag 482000/582320
63.49/62.33	c cleaning 31020 clauses out of 62080 with flag 514000/614320
66.80/65.67	c cleaning 32005 clauses out of 64060 with flag 547000/647320
70.43/69.24	c cleaning 33016 clauses out of 66055 with flag 581000/681320
73.93/72.76	c cleaning 33991 clauses out of 68039 with flag 616000/716320
77.83/76.62	c cleaning 34999 clauses out of 70049 with flag 652001/752321
81.88/80.68	c cleaning 35988 clauses out of 72049 with flag 689000/789320
85.92/84.63	c cleaning 36964 clauses out of 74061 with flag 727000/827320
89.94/88.68	c cleaning 38045 clauses out of 76098 with flag 766001/866321
94.17/92.85	c cleaning 39015 clauses out of 78053 with flag 806001/906321
98.70/97.35	c cleaning 40007 clauses out of 80037 with flag 847000/947320
103.02/101.68	c cleaning 41001 clauses out of 82032 with flag 889002/989322
107.86/106.41	c cleaning 41982 clauses out of 84029 with flag 932000/1032320
112.80/111.35	c cleaning 43008 clauses out of 86048 with flag 976001/1076321
117.72/116.28	c cleaning 44009 clauses out of 88041 with flag 1021002/1121322
122.84/121.31	c cleaning 44962 clauses out of 90030 with flag 1067000/1167320
127.86/126.34	c cleaning 45919 clauses out of 92068 with flag 1114000/1214320
133.88/132.34	c cleaning 47042 clauses out of 94150 with flag 1162001/1262321
139.54/137.92	c cleaning 47932 clauses out of 96108 with flag 1211001/1311321
145.17/143.59	c cleaning 49079 clauses out of 98175 with flag 1261000/1361320
151.01/149.31	c cleaning 50015 clauses out of 100096 with flag 1312000/1412320
156.63/154.99	c cleaning 51026 clauses out of 102081 with flag 1364000/1464320
162.26/160.58	c cleaning 52019 clauses out of 104057 with flag 1417002/1517322
167.89/166.12	c cleaning 53018 clauses out of 106036 with flag 1471000/1571320
173.91/172.12	c cleaning 53935 clauses out of 108019 with flag 1526001/1626321
180.53/178.75	c cleaning 54993 clauses out of 110083 with flag 1582000/1682320
187.56/185.78	c cleaning 56002 clauses out of 112091 with flag 1639001/1739321
194.31/192.43	c cleaning 56940 clauses out of 114088 with flag 1697000/1797320
200.72/198.84	c cleaning 58059 clauses out of 116148 with flag 1756000/1856320
207.37/205.42	c cleaning 58892 clauses out of 118089 with flag 1816000/1916320
211.37/209.43	c Got one! Elapsed wall clock time (in seconds):209.337
211.37/209.43	o 6
211.87/209.95	c cleaning 51313 clauses out of 102652 with flag 5000/1959775
212.40/210.40	c cleaning 28657 clauses out of 57339 with flag 11000/1965775
212.81/210.83	c cleaning 17821 clauses out of 35682 with flag 18000/1972775
213.23/211.27	c cleaning 12916 clauses out of 25866 with flag 26005/1980780
213.83/211.83	c cleaning 10963 clauses out of 21946 with flag 35001/1989776
214.87/212.81	c cleaning 10493 clauses out of 20985 with flag 45003/1999778
216.12/213.95	c cleaning 10728 clauses out of 21489 with flag 56000/2010775
217.57/215.09	c cleaning 11343 clauses out of 22761 with flag 68000/2022775
218.88/216.37	c cleaning 12203 clauses out of 24418 with flag 81000/2035775
220.29/217.73	c cleaning 13068 clauses out of 26215 with flag 95000/2049775
221.79/219.27	c cleaning 14049 clauses out of 28147 with flag 110000/2064775
223.40/220.83	c cleaning 15043 clauses out of 30099 with flag 126001/2080776
225.01/222.46	c cleaning 16013 clauses out of 32057 with flag 143002/2097777
226.84/224.30	c cleaning 17007 clauses out of 34042 with flag 161000/2115775
228.84/226.24	c cleaning 18014 clauses out of 36043 with flag 180008/2134783
230.74/228.17	c cleaning 18994 clauses out of 38025 with flag 200004/2154779
232.86/230.24	c cleaning 19989 clauses out of 40027 with flag 221000/2175775
235.18/232.54	c cleaning 20994 clauses out of 42039 with flag 243001/2197776
237.50/234.83	c cleaning 21989 clauses out of 44045 with flag 266001/2220776
239.95/237.27	c cleaning 23016 clauses out of 46057 with flag 290002/2244777
242.46/239.74	c cleaning 23973 clauses out of 48039 with flag 315000/2269775
244.97/242.26	c cleaning 25019 clauses out of 50067 with flag 341001/2295776
247.49/244.73	c cleaning 26004 clauses out of 52047 with flag 368000/2322775
250.21/247.45	c cleaning 26893 clauses out of 54044 with flag 396001/2350776
252.92/250.12	c cleaning 28028 clauses out of 56150 with flag 425000/2379775
255.65/252.86	c cleaning 29033 clauses out of 58122 with flag 455000/2409775
258.46/255.63	c cleaning 30042 clauses out of 60090 with flag 486001/2440776
261.59/258.73	c cleaning 31013 clauses out of 62048 with flag 518001/2472776
264.82/261.90	c cleaning 31985 clauses out of 64034 with flag 551000/2505775
268.13/265.26	c cleaning 33009 clauses out of 66049 with flag 585000/2539775
271.84/268.90	c cleaning 33970 clauses out of 68040 with flag 620000/2574775
275.59/272.61	c cleaning 34972 clauses out of 70070 with flag 656000/2610775
279.32/276.35	c cleaning 36012 clauses out of 72098 with flag 693000/2647775
282.85/279.87	c cleaning 37028 clauses out of 74090 with flag 731004/2685779
286.48/283.41	c cleaning 38022 clauses out of 76058 with flag 770000/2724775
290.09/287.08	c cleaning 38997 clauses out of 78036 with flag 810000/2764775
293.89/290.83	c cleaning 40011 clauses out of 80042 with flag 851003/2805778
297.90/294.86	c cleaning 40986 clauses out of 82030 with flag 893002/2847777
302.01/298.99	c cleaning 41998 clauses out of 84042 with flag 936000/2890775
306.13/303.08	c cleaning 43007 clauses out of 86045 with flag 980001/2934776
310.14/307.00	c cleaning 43960 clauses out of 88037 with flag 1025000/2979775
314.54/311.47	c cleaning 45028 clauses out of 90077 with flag 1071000/3025775
319.66/316.53	c cleaning 45938 clauses out of 92050 with flag 1118001/3072776
324.78/321.68	c cleaning 47045 clauses out of 94114 with flag 1166003/3120778
329.81/326.65	c cleaning 47995 clauses out of 96066 with flag 1215000/3169775
334.71/331.52	c cleaning 49018 clauses out of 98071 with flag 1265000/3219775
339.92/336.76	c cleaning 49987 clauses out of 100053 with flag 1316000/3270775
345.04/341.85	c cleaning 51004 clauses out of 102066 with flag 1368000/3322775
350.35/347.17	c cleaning 51993 clauses out of 104063 with flag 1421001/3375776
355.96/352.72	c cleaning 53017 clauses out of 106069 with flag 1475000/3429775
362.48/359.24	c cleaning 53986 clauses out of 108052 with flag 1530000/3484775
368.72/365.42	c cleaning 54959 clauses out of 110066 with flag 1586000/3540775
374.87/371.52	c cleaning 55999 clauses out of 112107 with flag 1643000/3597775
380.79/377.47	c cleaning 57008 clauses out of 114108 with flag 1701000/3655775
386.91/383.57	c cleaning 57996 clauses out of 116100 with flag 1760000/3714775
393.72/390.33	c cleaning 59008 clauses out of 118104 with flag 1820000/3774775
400.03/396.66	c cleaning 60021 clauses out of 120096 with flag 1881000/3835775
406.17/402.78	c cleaning 60906 clauses out of 122075 with flag 1943000/3897775
413.50/410.08	c cleaning 62060 clauses out of 124169 with flag 2006000/3960775
420.42/416.98	c cleaning 63052 clauses out of 126110 with flag 2070001/4024776
427.52/424.09	c cleaning 63980 clauses out of 128057 with flag 2135000/4089775
434.83/431.37	c cleaning 65023 clauses out of 130077 with flag 2201000/4155775
441.75/438.23	c cleaning 66017 clauses out of 132056 with flag 2268002/4222777
450.00/446.48	c cleaning 66985 clauses out of 134037 with flag 2336000/4290775
457.42/453.88	c cleaning 68010 clauses out of 136054 with flag 2405003/4359778
464.84/461.25	c cleaning 68986 clauses out of 138041 with flag 2475000/4429775
472.06/468.50	c cleaning 69995 clauses out of 140055 with flag 2546000/4500775
479.61/475.90	c cleaning 70908 clauses out of 142060 with flag 2618000/4572775
486.73/483.08	c cleaning 72041 clauses out of 144153 with flag 2691001/4645776
494.78/491.04	c cleaning 73012 clauses out of 146112 with flag 2765001/4719776
502.30/498.56	c cleaning 74012 clauses out of 148099 with flag 2840000/4794775
510.03/506.30	c cleaning 75024 clauses out of 150087 with flag 2916000/4870775
518.66/514.86	c cleaning 76029 clauses out of 152064 with flag 2993001/4947776
526.58/522.79	c cleaning 77014 clauses out of 154038 with flag 3071004/5025779
535.09/531.23	c cleaning 77981 clauses out of 156020 with flag 3150000/5104775
543.21/539.38	c cleaning 78999 clauses out of 158039 with flag 3230000/5184775
551.47/547.53	c cleaning 79992 clauses out of 160040 with flag 3311000/5265775
560.50/556.58	c cleaning 80944 clauses out of 162048 with flag 3393000/5347775
569.84/565.81	c cleaning 82032 clauses out of 164107 with flag 3476003/5430778
578.47/574.45	c cleaning 83006 clauses out of 166072 with flag 3560000/5514775
588.00/583.96	c cleaning 84015 clauses out of 168066 with flag 3645000/5599775
597.55/593.47	c cleaning 84863 clauses out of 170051 with flag 3731000/5685775
606.71/602.59	c cleaning 86077 clauses out of 172190 with flag 3818002/5772777
615.86/611.68	c cleaning 87019 clauses out of 174111 with flag 3906000/5860775
625.58/621.32	c cleaning 88026 clauses out of 176093 with flag 3995001/5949776
635.05/630.75	c cleaning 89022 clauses out of 178066 with flag 4085000/6039775
644.70/640.32	c cleaning 89960 clauses out of 180044 with flag 4176000/6130775
655.59/651.18	c cleaning 91030 clauses out of 182084 with flag 4268000/6222775
665.66/661.18	c cleaning 91972 clauses out of 184055 with flag 4361001/6315776
675.09/670.57	c cleaning 92998 clauses out of 186084 with flag 4455002/6409777
685.71/681.11	c cleaning 94022 clauses out of 188084 with flag 4550000/6504775
696.84/692.22	c cleaning 94987 clauses out of 190062 with flag 4646000/6600775
706.18/701.58	c cleaning 96023 clauses out of 192081 with flag 4743006/6697781
716.91/712.23	c cleaning 97007 clauses out of 194052 with flag 4841000/6795775
726.15/721.47	c cleaning 98001 clauses out of 196045 with flag 4940000/6894775
730.08/725.31	c Got one! Elapsed wall clock time (in seconds):725.217
730.08/725.31	o 5
730.92/726.16	c cleaning 74477 clauses out of 148967 with flag 5001/6945698
731.67/726.80	c cleaning 40238 clauses out of 80490 with flag 11001/6951698
732.30/727.41	c cleaning 23613 clauses out of 47253 with flag 18002/6958699
732.92/728.07	c cleaning 15800 clauses out of 31638 with flag 26000/6966697
733.65/728.70	c cleaning 12400 clauses out of 24838 with flag 35000/6975697
734.28/729.38	c cleaning 11215 clauses out of 22439 with flag 45001/6985698
735.19/730.26	c cleaning 11086 clauses out of 22223 with flag 56000/6996697
736.09/731.13	c cleaning 11561 clauses out of 23138 with flag 68001/7008698
736.91/731.98	c cleaning 12283 clauses out of 24576 with flag 81000/7021697
737.82/732.83	c cleaning 13134 clauses out of 26293 with flag 95000/7035697
738.73/733.79	c cleaning 14068 clauses out of 28159 with flag 110000/7050697
739.85/734.86	c cleaning 15021 clauses out of 30093 with flag 126002/7066699
741.27/736.29	c cleaning 15957 clauses out of 32070 with flag 143000/7083697
742.90/737.82	c cleaning 17004 clauses out of 34115 with flag 161002/7101699
744.61/739.59	c cleaning 18042 clauses out of 36108 with flag 180000/7120697
746.62/741.51	c cleaning 19006 clauses out of 38066 with flag 200000/7140697
748.75/743.65	c cleaning 20023 clauses out of 40060 with flag 221001/7161698
750.77/745.68	c cleaning 20989 clauses out of 42035 with flag 243000/7183697
752.79/747.60	c cleaning 22013 clauses out of 44047 with flag 266001/7206698
754.99/749.87	c cleaning 23008 clauses out of 46034 with flag 290001/7230698
757.42/752.20	c cleaning 24001 clauses out of 48026 with flag 315001/7255698
759.64/754.49	c cleaning 24999 clauses out of 50025 with flag 341001/7281698
762.05/756.89	c cleaning 26009 clauses out of 52029 with flag 368004/7308701
764.76/759.54	c cleaning 26997 clauses out of 54016 with flag 396000/7336697
767.48/762.23	c cleaning 28007 clauses out of 56019 with flag 425000/7365697
770.28/765.02	c cleaning 28995 clauses out of 58012 with flag 455000/7395697
773.10/767.86	c cleaning 29995 clauses out of 60017 with flag 486000/7426697
775.91/770.62	c cleaning 30913 clauses out of 62022 with flag 518000/7458697
778.93/773.67	c cleaning 32043 clauses out of 64111 with flag 551002/7491699
782.14/776.85	c cleaning 33018 clauses out of 66068 with flag 585002/7525699
785.28/779.98	c cleaning 34019 clauses out of 68054 with flag 620006/7560703
788.50/783.17	c cleaning 34997 clauses out of 70029 with flag 656000/7596697
792.02/786.65	c cleaning 35997 clauses out of 72032 with flag 693000/7633697
795.54/790.14	c cleaning 36999 clauses out of 74035 with flag 731000/7671697
799.26/793.89	c cleaning 38009 clauses out of 76036 with flag 770000/7710697
803.17/797.73	c cleaning 38987 clauses out of 78027 with flag 810000/7750697
807.00/801.55	c cleaning 39993 clauses out of 80040 with flag 851000/7791697
811.11/805.64	c cleaning 41014 clauses out of 82045 with flag 893000/7833697
811.93/806.49	c starts		: 302
811.93/806.49	c conflicts		: 7841913
811.93/806.49	c decisions		: 126124915
811.93/806.49	c propagations		: 351231812
811.93/806.49	c inspects		: 2336611134
811.93/806.49	c shortcuts		: 0
811.93/806.49	c learnt literals	: 10
811.93/806.49	c learnt binary clauses	: 40
811.93/806.49	c learnt ternary clauses	: 127
811.93/806.49	c learnt constraints	: 7841902
811.93/806.49	c ignored constraints	: 0
811.93/806.49	c root simplifications	: 0
811.93/806.49	c removed literals (reason simplification)	: 0
811.93/806.49	c reason swapping (by a shorter reason)	: 0
811.93/806.49	c Calls to reduceDB	: 199
811.93/806.49	c number of reductions to clauses (during analyze)	: 0
811.93/806.49	c number of learned constraints concerned by reduction	: 0
811.93/806.49	c number of learning phase by resolution	: 0
811.93/806.49	c number of learning phase by cutting planes	: 0
811.93/806.49	c speed (assignments/second)	: 435812.5728976926
811.93/806.49	c non guided choices	0
811.93/806.49	c learnt constraints type 
811.93/806.49	c constraints type 
811.93/806.49	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 3773
811.93/806.49	c org.sat4j.minisat.constraints.card.MinWatchCard => 0
811.93/806.49	c 3773 constraints processed.
811.93/806.49	s OPTIMUM FOUND
811.93/806.49	v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 
811.93/806.49	c objective function=5
811.93/806.49	c Total wall clock time (in seconds): 806.398

Verifier Data 

OK	5

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

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-3688139-1337879812/watcher-3688139-1337879812 -o /tmp/evaluation-result-3688139-1337879812/solver-3688139-1337879812 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar HOME/instance-3688139-1337879812.opb 

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

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


[startup+0 s]
/proc/loadavg: 2.29 2.08 2.02 3/194 20284
/proc/meminfo: memFree=28653184/32873648 swapFree=7360/7360
[pid=20284] ppid=20282 vsize=92900 CPUtime=0 cores=1,3,5,7
/proc/20284/stat : 20284 (java) S 20282 20284 16961 0 -1 4202496 1217 0 0 0 0 0 0 0 20 0 2 0 254105344 95129600 927 33554432000 1073741824 1073778376 140735699401136 140735699392272 251056390205 0 0 4096 0 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/20284/statm: 23225 927 703 9 0 16769 0
[pid=20284/tid=20285] ppid=20282 vsize=92900 CPUtime=0 cores=1,3,5,7
/proc/20284/task/20285/stat : 20285 (java) R 20282 20284 16961 0 -1 4202560 70 0 0 0 0 0 0 0 20 0 2 0 254105345 95129600 927 33554432000 1073741824 1073778376 140735699401136 139796430896680 251043867943 0 0 4096 0 0 0 0 -1 1 0 0 0 0 0

[startup+0.039297 s]
/proc/loadavg: 2.29 2.08 2.02 3/194 20284
/proc/meminfo: memFree=28653184/32873648 swapFree=7360/7360
[pid=20284] ppid=20282 vsize=9225560 CPUtime=0.02 cores=1,3,5,7
/proc/20284/stat : 20284 (java) S 20282 20284 16961 0 -1 4202496 3061 0 1 0 2 0 0 0 20 0 13 0 254105344 9446973440 3758 33554432000 1073741824 1073778376 140735699401136 140735699392272 251056390205 0 0 0 16800971 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/20284/statm: 2306390 3758 1707 9 0 2297091 0
[pid=20284/tid=20285] ppid=20282 vsize=9225560 CPUtime=0.02 cores=1,3,5,7
/proc/20284/task/20285/stat : 20285 (java) R 20282 20284 16961 0 -1 4202560 1879 0 1 0 2 0 0 0 20 0 13 0 254105345 9446973440 3758 33554432000 1073741824 1073778376 140735699401136 139796430897392 251056416013 0 4 0 16800971 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 9225560

[startup+0.10024 s]
/proc/loadavg: 2.29 2.08 2.02 3/194 20284
/proc/meminfo: memFree=28653184/32873648 swapFree=7360/7360
[pid=20284] ppid=20282 vsize=9558412 CPUtime=0.11 cores=1,3,5,7
/proc/20284/stat : 20284 (java) S 20282 20284 16961 0 -1 4202496 4455 0 1 0 10 1 0 0 20 0 18 0 254105344 9787813888 6133 33554432000 1073741824 1073778376 140735699401136 140735699392272 251056390205 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/20284/statm: 2389603 6133 2141 9 0 2380296 0
[pid=20284/tid=20285] ppid=20282 vsize=9558412 CPUtime=0.08 cores=1,3,5,7
/proc/20284/task/20285/stat : 20285 (java) R 20282 20284 16961 0 -1 4202560 2433 0 1 0 8 0 0 0 20 0 18 0 254105345 9787813888 6133 33554432000 1073741824 1073778376 140735699401136 139796430891560 251056416013 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 9558412

[startup+0.300287 s]
/proc/loadavg: 2.29 2.08 2.02 3/194 20284
/proc/meminfo: memFree=28653184/32873648 swapFree=7360/7360
[pid=20284] ppid=20282 vsize=9558412 CPUtime=0.59 cores=1,3,5,7
/proc/20284/stat : 20284 (java) S 20282 20284 16961 0 -1 4202496 7310 0 1 0 57 2 0 0 20 0 18 0 254105344 9787813888 12357 33554432000 1073741824 1073778376 140735699401136 140735699392272 251056390205 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/20284/statm: 2389603 12357 2224 9 0 2380296 0
[pid=20284/tid=20285] ppid=20282 vsize=9558412 CPUtime=0.28 cores=1,3,5,7
/proc/20284/task/20285/stat : 20285 (java) R 20282 20284 16961 0 -1 4202560 2449 0 1 0 28 0 0 0 20 0 18 0 254105345 9787813888 12357 33554432000 1073741824 1073778376 140735699401136 139796430892832 139796303723184 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.59
Current children cumulated vsize (KiB) 9558412

[startup+0.700287 s]
/proc/loadavg: 2.29 2.08 2.02 3/194 20284
/proc/meminfo: memFree=28653184/32873648 swapFree=7360/7360
[pid=20284] ppid=20282 vsize=9624976 CPUtime=1.2 cores=1,3,5,7
/proc/20284/stat : 20284 (java) S 20282 20284 16961 0 -1 4202496 8791 0 1 0 116 4 0 0 20 0 19 0 254105344 9855975424 40420 33554432000 1073741824 1073778376 140735699401136 140735699392272 251056390205 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/20284/statm: 2406244 40420 2258 9 0 2396937 0
[pid=20284/tid=20285] ppid=20282 vsize=9624976 CPUtime=0.67 cores=1,3,5,7
/proc/20284/task/20285/stat : 20285 (java) R 20282 20284 16961 0 -1 4202560 2518 0 1 0 64 3 0 0 20 0 19 0 254105345 9855975424 40420 33554432000 1073741824 1073778376 140735699401136 139796430901376 139796434187130 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1.2
Current children cumulated vsize (KiB) 9624976

[startup+1.50068 s]
/proc/loadavg: 2.29 2.08 2.02 3/213 20303
/proc/meminfo: memFree=28499784/32873648 swapFree=7360/7360
[pid=20284] ppid=20282 vsize=9624976 CPUtime=2.21 cores=1,3,5,7
/proc/20284/stat : 20284 (java) S 20282 20284 16961 0 -1 4202496 8894 0 1 0 216 5 0 0 20 0 19 0 254105344 9855975424 43028 33554432000 1073741824 1073778376 140735699401136 140735699392272 251056390205 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/20284/statm: 2406244 43028 2275 9 0 2396937 0
[pid=20284/tid=20285] ppid=20282 vsize=9624976 CPUtime=1.46 cores=1,3,5,7
/proc/20284/task/20285/stat : 20285 (java) R 20282 20284 16961 0 -1 4202560 2519 0 1 0 142 4 0 0 20 0 19 0 254105345 9855975424 43028 33554432000 1073741824 1073778376 140735699401136 139796430901656 139796303948339 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=20284/tid=20287] ppid=20282 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/20284/task/20287/stat : 20287 (java) S 20282 20284 16961 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 254105345 9855975424 43028 33554432000 1073741824 1073778376 140735699401136 139796274952744 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20284/tid=20288] ppid=20282 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/20284/task/20288/stat : 20288 (java) S 20282 20284 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254105345 9855975424 43028 33554432000 1073741824 1073778376 140735699401136 139796273899944 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20284/tid=20289] ppid=20282 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/20284/task/20289/stat : 20289 (java) S 20282 20284 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254105345 9855975424 43028 33554432000 1073741824 1073778376 140735699401136 139796272847144 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20284/tid=20290] ppid=20282 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/20284/task/20290/stat : 20290 (java) S 20282 20284 16961 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 19 0 254105345 9855975424 43028 33554432000 1073741824 1073778376 140735699401136 139796271794344 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20284/tid=20291] ppid=20282 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/20284/task/20291/stat : 20291 (java) S 20282 20284 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254105345 9855975424 43028 33554432000 1073741824 1073778376 140735699401136 139796270742568 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20284/tid=20292] ppid=20282 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/20284/task/20292/stat : 20292 (java) S 20282 20284 16961 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 254105345 9855975424 43028 33554432000 1073741824 1073778376 140735699401136 139796269689768 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20284/tid=20293] ppid=20282 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/20284/task/20293/stat : 20293 (java) S 20282 20284 16961 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 254105345 9855975424 43028 33554432000 1073741824 1073778376 140735699401136 139796268636968 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20284/tid=20294] ppid=20282 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/20284/task/20294/stat : 20294 (java) S 20282 20284 16961 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 254105345 9855975424 43028 33554432000 1073741824 1073778376 140735699401136 139796267584168 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20284/tid=20295] ppid=20282 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/20284/task/20295/stat : 20295 (java) S 20282 20284 16961 0 -1 4202560 30 0 0 0 0 0 0 0 20 0 19 0 254105346 9855975424 43028 33554432000 1073741824 1073778376 140735699401136 139796255173096 251056404393 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20284/tid=20296] ppid=20282 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/20284/task/20296/stat : 20296 (java) S 20282 20284 16961 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 254105347 9855975424 43028 33554432000 1073741824 1073778376 140735699401136 139796254119160 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20284/tid=20297] ppid=20282 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/20284/task/20297/stat : 20297 (java) S 20282 20284 16961 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 254105347 9855975424 43028 33554432000 1073741824 1073778376 140735699401136 139796253066248 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20284/tid=20298] ppid=20282 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/20284/task/20298/stat : 20298 (java) S 20282 20284 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254105349 9855975424 43028 33554432000 1073741824 1073778376 140735699401136 139796252014736 251056412448 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20284/tid=20299] ppid=20282 vsize=9624976 CPUtime=0.32 cores=1,3,5,7
/proc/20284/task/20299/stat : 20299 (java) S 20282 20284 16961 0 -1 4202560 2274 0 0 0 32 0 0 0 20 0 19 0 254105349 9855975424 43028 33554432000 1073741824 1073778376 140735699401136 139796250962872 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20284/tid=20300] ppid=20282 vsize=9624976 CPUtime=0.38 cores=1,3,5,7
/proc/20284/task/20300/stat : 20300 (java) S 20282 20284 16961 0 -1 4202560 2848 0 0 0 38 0 0 0 20 0 19 0 254105349 9855975424 43028 33554432000 1073741824 1073778376 140735699401136 139796249910072 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20284/tid=20301] ppid=20282 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/20284/task/20301/stat : 20301 (java) S 20282 20284 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254105349 9855975424 43028 33554432000 1073741824 1073778376 140735699401136 139796248857464 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20284/tid=20302] ppid=20282 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/20284/task/20302/stat : 20302 (java) S 20282 20284 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254105349 9855975424 43028 33554432000 1073741824 1073778376 140735699401136 139796247804872 251056404393 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20284/tid=20303] ppid=20282 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/20284/task/20303/stat : 20303 (java) S 20282 20284 16961 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 254105401 9855975424 43028 33554432000 1073741824 1073778376 140735699401136 139796246750376 251056404393 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 2.21
Current children cumulated vsize (KiB) 9624976

[startup+3.10056 s]
/proc/loadavg: 2.29 2.08 2.02 3/213 20303
/proc/meminfo: memFree=28488916/32873648 swapFree=7360/7360
[pid=20284] ppid=20282 vsize=9624976 CPUtime=3.85 cores=1,3,5,7
/proc/20284/stat : 20284 (java) S 20282 20284 16961 0 -1 4202496 8904 0 1 0 380 5 0 0 20 0 19 0 254105344 9855975424 43547 33554432000 1073741824 1073778376 140735699401136 140735699392272 251056390205 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/20284/statm: 2406244 43547 2275 9 0 2396937 0
[pid=20284/tid=20285] ppid=20282 vsize=9624976 CPUtime=3.04 cores=1,3,5,7
/proc/20284/task/20285/stat : 20285 (java) R 20282 20284 16961 0 -1 4202560 2520 0 1 0 300 4 0 0 20 0 19 0 254105345 9855975424 43547 33554432000 1073741824 1073778376 140735699401136 139796430901536 139796303964330 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=20284/tid=20287] ppid=20282 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/20284/task/20287/stat : 20287 (java) S 20282 20284 16961 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 254105345 9855975424 43547 33554432000 1073741824 1073778376 140735699401136 139796274952744 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20284/tid=20288] ppid=20282 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/20284/task/20288/stat : 20288 (java) S 20282 20284 16961 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 254105345 9855975424 43547 33554432000 1073741824 1073778376 140735699401136 139796273899944 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20284/tid=20289] ppid=20282 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/20284/task/20289/stat : 20289 (java) S 20282 20284 16961 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 254105345 9855975424 43547 33554432000 1073741824 1073778376 140735699401136 139796272847144 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20284/tid=20290] ppid=20282 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/20284/task/20290/stat : 20290 (java) S 20282 20284 16961 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 19 0 254105345 9855975424 43547 33554432000 1073741824 1073778376 140735699401136 139796271794344 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20284/tid=20291] ppid=20282 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/20284/task/20291/stat : 20291 (java) S 20282 20284 16961 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 254105345 9855975424 43547 33554432000 1073741824 1073778376 140735699401136 139796270742568 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20284/tid=20292] ppid=20282 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/20284/task/20292/stat : 20292 (java) S 20282 20284 16961 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 254105345 9855975424 43547 33554432000 1073741824 1073778376 140735699401136 139796269689768 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20284/tid=20293] ppid=20282 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/20284/task/20293/stat : 20293 (java) S 20282 20284 16961 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 254105345 9855975424 43547 33554432000 1073741824 1073778376 140735699401136 139796268636968 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20284/tid=20294] ppid=20282 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/20284/task/20294/stat : 20294 (java) S 20282 20284 16961 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 254105345 9855975424 43547 33554432000 1073741824 1073778376 140735699401136 139796267584168 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20284/tid=20295] ppid=20282 vsize=9624976 CPUtime=0.02 cores=1,3,5,7
/proc/20284/task/20295/stat : 20295 (java) S 20282 20284 16961 0 -1 4202560 31 0 0 0 2 0 0 0 20 0 19 0 254105346 9855975424 43547 33554432000 1073741824 1073778376 140735699401136 139796255173096 251056404393 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20284/tid=20296] ppid=20282 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/20284/task/20296/stat : 20296 (java) S 20282 20284 16961 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 254105347 9855975424 43547 33554432000 1073741824 1073778376 140735699401136 139796254119160 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20284/tid=20297] ppid=20282 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/20284/task/20297/stat : 20297 (java) S 20282 20284 16961 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 254105347 9855975424 43547 33554432000 1073741824 1073778376 140735699401136 139796253066248 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20284/tid=20298] ppid=20282 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/20284/task/20298/stat : 20298 (java) S 20282 20284 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254105349 9855975424 43547 33554432000 1073741824 1073778376 140735699401136 139796252014736 251056412448 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20284/tid=20299] ppid=20282 vsize=9624976 CPUtime=0.33 cores=1,3,5,7
/proc/20284/task/20299/stat : 20299 (java) S 20282 20284 16961 0 -1 4202560 2275 0 0 0 33 0 0 0 20 0 19 0 254105349 9855975424 43547 33554432000 1073741824 1073778376 140735699401136 139796250962872 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20284/tid=20300] ppid=20282 vsize=9624976 CPUtime=0.39 cores=1,3,5,7
/proc/20284/task/20300/stat : 20300 (java) S 20282 20284 16961 0 -1 4202560 2848 0 0 0 39 0 0 0 20 0 19 0 254105349 9855975424 43547 33554432000 1073741824 1073778376 140735699401136 139796249910072 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20284/tid=20301] ppid=20282 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/20284/task/20301/stat : 20301 (java) S 20282 20284 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254105349 9855975424 43547 33554432000 1073741824 1073778376 140735699401136 139796248857464 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20284/tid=20302] ppid=20282 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/20284/task/20302/stat : 20302 (java) S 20282 20284 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254105349 9855975424 43547 33554432000 1073741824 1073778376 140735699401136 139796247804872 251056404393 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20284/tid=20303] ppid=20282 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/20284/task/20303/stat : 20303 (java) S 20282 20284 16961 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 254105401 9855975424 43547 33554432000 1073741824 1073778376 140735699401136 139796246750376 251056404393 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 3.85
Current children cumulated vsize (KiB) 9624976

[startup+6.30065 s]
/proc/loadavg: 2.27 2.08 2.02 3/213 20303
/proc/meminfo: memFree=28485340/32873648 swapFree=7360/7360
[pid=20284] ppid=20282 vsize=9624976 CPUtime=7.08 cores=1,3,5,7
/proc/20284/stat : 20284 (java) S 20282 20284 16961 0 -1 4202496 8928 0 1 0 703 5 0 0 20 0 19 0 254105344 9855975424 43790 33554432000 1073741824 1073778376 140735699401136 140735699392272 251056390205 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/20284/statm: 2406244 43790 2275 9 0 2396937 0
[pid=20284/tid=20285] ppid=20282 vsize=9624976 CPUtime=6.19 cores=1,3,5,7
/proc/20284/task/20285/stat : 20285 (java) R 20282 20284 16961 0 -1 4202560 2523 0 1 0 615 4 0 0 20 0 19 0 254105345 9855975424 43790 33554432000 1073741824 1073778376 140735699401136 139796430901720 139796303965329 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=20284/tid=20287] ppid=20282 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/20284/task/20287/stat : 20287 (java) S 20282 20284 16961 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 254105345 9855975424 43790 33554432000 1073741824 1073778376 140735699401136 139796274952744 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20284/tid=20288] ppid=20282 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/20284/task/20288/stat : 20288 (java) S 20282 20284 16961 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 254105345 9855975424 43790 33554432000 1073741824 1073778376 140735699401136 139796273899944 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20284/tid=20289] ppid=20282 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/20284/task/20289/stat : 20289 (java) S 20282 20284 16961 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 254105345 9855975424 43790 33554432000 1073741824 1073778376 140735699401136 139796272847144 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20284/tid=20290] ppid=20282 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/20284/task/20290/stat : 20290 (java) S 20282 20284 16961 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 254105345 9855975424 43790 33554432000 1073741824 1073778376 140735699401136 139796271794344 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20284/tid=20291] ppid=20282 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/20284/task/20291/stat : 20291 (java) S 20282 20284 16961 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 254105345 9855975424 43790 33554432000 1073741824 1073778376 140735699401136 139796270742568 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20284/tid=20292] ppid=20282 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/20284/task/20292/stat : 20292 (java) S 20282 20284 16961 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 254105345 9855975424 43790 33554432000 1073741824 1073778376 140735699401136 139796269689768 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20284/tid=20293] ppid=20282 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/20284/task/20293/stat : 20293 (java) S 20282 20284 16961 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 254105345 9855975424 43790 33554432000 1073741824 1073778376 140735699401136 139796268636968 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20284/tid=20294] ppid=20282 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/20284/task/20294/stat : 20294 (java) S 20282 20284 16961 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 254105345 9855975424 43790 33554432000 1073741824 1073778376 140735699401136 139796267584168 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20284/tid=20295] ppid=20282 vsize=9624976 CPUtime=0.06 cores=1,3,5,7
/proc/20284/task/20295/stat : 20295 (java) S 20282 20284 16961 0 -1 4202560 31 0 0 0 6 0 0 0 20 0 19 0 254105346 9855975424 43790 33554432000 1073741824 1073778376 140735699401136 139796255173096 251056404393 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20284/tid=20296] ppid=20282 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/20284/task/20296/stat : 20296 (java) S 20282 20284 16961 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 254105347 9855975424 43790 33554432000 1073741824 1073778376 140735699401136 139796254119160 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20284/tid=20297] ppid=20282 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/20284/task/20297/stat : 20297 (java) S 20282 20284 16961 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 254105347 9855975424 43790 33554432000 1073741824 1073778376 140735699401136 139796253066248 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20284/tid=20298] ppid=20282 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/20284/task/20298/stat : 20298 (java) S 20282 20284 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254105349 9855975424 43790 33554432000 1073741824 1073778376 140735699401136 139796252014736 251056412448 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20284/tid=20299] ppid=20282 vsize=9624976 CPUtime=0.36 cores=1,3,5,7
/proc/20284/task/20299/stat : 20299 (java) S 20282 20284 16961 0 -1 4202560 2275 0 0 0 36 0 0 0 20 0 19 0 254105349 9855975424 43790 33554432000 1073741824 1073778376 140735699401136 139796250962872 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20284/tid=20300] ppid=20282 vsize=9624976 CPUtime=0.4 cores=1,3,5,7
/proc/20284/task/20300/stat : 20300 (java) S 20282 20284 16961 0 -1 4202560 2849 0 0 0 40 0 0 0 20 0 19 0 254105349 9855975424 43790 33554432000 1073741824 1073778376 140735699401136 139796249910072 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0

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

/proc/20284/task/20287/stat : 20287 (java) S 20282 20284 16961 0 -1 4202560 161 0 0 0 72 2 0 0 20 0 19 0 254105345 9855975424 74713 33554432000 1073741824 1073778376 140735699401136 139796274952744 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20284/tid=20288] ppid=20282 vsize=9624976 CPUtime=0.75 cores=1,3,5,7
/proc/20284/task/20288/stat : 20288 (java) S 20282 20284 16961 0 -1 4202560 261 0 0 0 73 2 0 0 20 0 19 0 254105345 9855975424 74713 33554432000 1073741824 1073778376 140735699401136 139796273899944 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20284/tid=20289] ppid=20282 vsize=9624976 CPUtime=0.77 cores=1,3,5,7
/proc/20284/task/20289/stat : 20289 (java) S 20282 20284 16961 0 -1 4202560 206 0 0 0 75 2 0 0 20 0 19 0 254105345 9855975424 74713 33554432000 1073741824 1073778376 140735699401136 139796272847144 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20284/tid=20290] ppid=20282 vsize=9624976 CPUtime=0.81 cores=1,3,5,7
/proc/20284/task/20290/stat : 20290 (java) S 20282 20284 16961 0 -1 4202560 259 0 0 0 78 3 0 0 20 0 19 0 254105345 9855975424 74713 33554432000 1073741824 1073778376 140735699401136 139796271794344 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20284/tid=20291] ppid=20282 vsize=9624976 CPUtime=0.66 cores=1,3,5,7
/proc/20284/task/20291/stat : 20291 (java) S 20282 20284 16961 0 -1 4202560 307 0 0 0 64 2 0 0 20 0 19 0 254105345 9855975424 74713 33554432000 1073741824 1073778376 140735699401136 139796270742568 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20284/tid=20292] ppid=20282 vsize=9624976 CPUtime=0.72 cores=1,3,5,7
/proc/20284/task/20292/stat : 20292 (java) S 20282 20284 16961 0 -1 4202560 89 0 0 0 70 2 0 0 20 0 19 0 254105345 9855975424 74713 33554432000 1073741824 1073778376 140735699401136 139796269689768 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20284/tid=20293] ppid=20282 vsize=9624976 CPUtime=0.72 cores=1,3,5,7
/proc/20284/task/20293/stat : 20293 (java) S 20282 20284 16961 0 -1 4202560 81 0 0 0 70 2 0 0 20 0 19 0 254105345 9855975424 74713 33554432000 1073741824 1073778376 140735699401136 139796268636968 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20284/tid=20294] ppid=20282 vsize=9624976 CPUtime=0.73 cores=1,3,5,7
/proc/20284/task/20294/stat : 20294 (java) S 20282 20284 16961 0 -1 4202560 234 0 0 0 70 3 0 0 20 0 19 0 254105345 9855975424 74713 33554432000 1073741824 1073778376 140735699401136 139796267584168 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20284/tid=20295] ppid=20282 vsize=9624976 CPUtime=5.58 cores=1,3,5,7
/proc/20284/task/20295/stat : 20295 (java) S 20282 20284 16961 0 -1 4202560 107 0 0 0 556 2 0 0 20 0 19 0 254105346 9855975424 74713 33554432000 1073741824 1073778376 140735699401136 139796255173096 251056404393 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20284/tid=20296] ppid=20282 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/20284/task/20296/stat : 20296 (java) S 20282 20284 16961 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 254105347 9855975424 74713 33554432000 1073741824 1073778376 140735699401136 139796254119160 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20284/tid=20297] ppid=20282 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/20284/task/20297/stat : 20297 (java) S 20282 20284 16961 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 254105347 9855975424 74713 33554432000 1073741824 1073778376 140735699401136 139796253066248 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20284/tid=20298] ppid=20282 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/20284/task/20298/stat : 20298 (java) S 20282 20284 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254105349 9855975424 74713 33554432000 1073741824 1073778376 140735699401136 139796252014736 251056412448 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20284/tid=20299] ppid=20282 vsize=9624976 CPUtime=0.44 cores=1,3,5,7
/proc/20284/task/20299/stat : 20299 (java) S 20282 20284 16961 0 -1 4202560 2306 0 0 0 44 0 0 0 20 0 19 0 254105349 9855975424 74713 33554432000 1073741824 1073778376 140735699401136 139796250962872 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20284/tid=20300] ppid=20282 vsize=9624976 CPUtime=0.98 cores=1,3,5,7
/proc/20284/task/20300/stat : 20300 (java) S 20282 20284 16961 0 -1 4202560 11614 0 0 0 95 3 0 0 20 0 19 0 254105349 9855975424 74713 33554432000 1073741824 1073778376 140735699401136 139796249910072 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20284/tid=20301] ppid=20282 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/20284/task/20301/stat : 20301 (java) S 20282 20284 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254105349 9855975424 74713 33554432000 1073741824 1073778376 140735699401136 139796248857464 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20284/tid=20302] ppid=20282 vsize=9624976 CPUtime=0.16 cores=1,3,5,7
/proc/20284/task/20302/stat : 20302 (java) S 20282 20284 16961 0 -1 4202560 47 0 0 0 6 10 0 0 20 0 19 0 254105349 9855975424 74713 33554432000 1073741824 1073778376 140735699401136 139796247804872 251056404393 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20284/tid=20303] ppid=20282 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/20284/task/20303/stat : 20303 (java) S 20282 20284 16961 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 254105401 9855975424 74713 33554432000 1073741824 1073778376 140735699401136 139796246750376 251056404393 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 811.01
Current children cumulated vsize (KiB) 9624976

[startup+805.901 s]
/proc/loadavg: 2.01 2.06 2.02 3/214 20312
/proc/meminfo: memFree=28195820/32873648 swapFree=7360/7360
[pid=20284] ppid=20282 vsize=9624976 CPUtime=811.43 cores=1,3,5,7
/proc/20284/stat : 20284 (java) S 20282 20284 16961 0 -1 4202496 19579 0 1 0 81111 32 0 0 20 0 19 0 254105344 9855975424 74713 33554432000 1073741824 1073778376 140735699401136 140735699392272 251056390205 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/20284/statm: 2406244 74713 2276 9 0 2396937 0
[pid=20284/tid=20285] ppid=20282 vsize=9624976 CPUtime=798.36 cores=1,3,5,7
/proc/20284/task/20285/stat : 20285 (java) R 20282 20284 16961 0 -1 4202560 2721 0 1 0 79819 17 0 0 20 0 19 0 254105345 9855975424 74713 33554432000 1073741824 1073778376 140735699401136 139796430901536 139796303948285 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=20284/tid=20287] ppid=20282 vsize=9624976 CPUtime=0.74 cores=1,3,5,7
/proc/20284/task/20287/stat : 20287 (java) S 20282 20284 16961 0 -1 4202560 161 0 0 0 72 2 0 0 20 0 19 0 254105345 9855975424 74713 33554432000 1073741824 1073778376 140735699401136 139796274952744 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20284/tid=20288] ppid=20282 vsize=9624976 CPUtime=0.75 cores=1,3,5,7
/proc/20284/task/20288/stat : 20288 (java) S 20282 20284 16961 0 -1 4202560 261 0 0 0 73 2 0 0 20 0 19 0 254105345 9855975424 74713 33554432000 1073741824 1073778376 140735699401136 139796273899944 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20284/tid=20289] ppid=20282 vsize=9624976 CPUtime=0.78 cores=1,3,5,7
/proc/20284/task/20289/stat : 20289 (java) S 20282 20284 16961 0 -1 4202560 206 0 0 0 76 2 0 0 20 0 19 0 254105345 9855975424 74713 33554432000 1073741824 1073778376 140735699401136 139796272847144 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20284/tid=20290] ppid=20282 vsize=9624976 CPUtime=0.81 cores=1,3,5,7
/proc/20284/task/20290/stat : 20290 (java) S 20282 20284 16961 0 -1 4202560 259 0 0 0 78 3 0 0 20 0 19 0 254105345 9855975424 74713 33554432000 1073741824 1073778376 140735699401136 139796271794344 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20284/tid=20291] ppid=20282 vsize=9624976 CPUtime=0.67 cores=1,3,5,7
/proc/20284/task/20291/stat : 20291 (java) S 20282 20284 16961 0 -1 4202560 307 0 0 0 65 2 0 0 20 0 19 0 254105345 9855975424 74713 33554432000 1073741824 1073778376 140735699401136 139796270742568 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20284/tid=20292] ppid=20282 vsize=9624976 CPUtime=0.72 cores=1,3,5,7
/proc/20284/task/20292/stat : 20292 (java) S 20282 20284 16961 0 -1 4202560 89 0 0 0 70 2 0 0 20 0 19 0 254105345 9855975424 74713 33554432000 1073741824 1073778376 140735699401136 139796269689768 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20284/tid=20293] ppid=20282 vsize=9624976 CPUtime=0.73 cores=1,3,5,7
/proc/20284/task/20293/stat : 20293 (java) S 20282 20284 16961 0 -1 4202560 81 0 0 0 71 2 0 0 20 0 19 0 254105345 9855975424 74713 33554432000 1073741824 1073778376 140735699401136 139796268636968 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20284/tid=20294] ppid=20282 vsize=9624976 CPUtime=0.73 cores=1,3,5,7
/proc/20284/task/20294/stat : 20294 (java) S 20282 20284 16961 0 -1 4202560 234 0 0 0 70 3 0 0 20 0 19 0 254105345 9855975424 74713 33554432000 1073741824 1073778376 140735699401136 139796267584168 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20284/tid=20295] ppid=20282 vsize=9624976 CPUtime=5.61 cores=1,3,5,7
/proc/20284/task/20295/stat : 20295 (java) S 20282 20284 16961 0 -1 4202560 107 0 0 0 559 2 0 0 20 0 19 0 254105346 9855975424 74713 33554432000 1073741824 1073778376 140735699401136 139796255173096 251056404393 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20284/tid=20296] ppid=20282 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/20284/task/20296/stat : 20296 (java) S 20282 20284 16961 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 254105347 9855975424 74713 33554432000 1073741824 1073778376 140735699401136 139796254119160 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20284/tid=20297] ppid=20282 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/20284/task/20297/stat : 20297 (java) S 20282 20284 16961 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 254105347 9855975424 74713 33554432000 1073741824 1073778376 140735699401136 139796253066248 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20284/tid=20298] ppid=20282 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/20284/task/20298/stat : 20298 (java) S 20282 20284 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254105349 9855975424 74713 33554432000 1073741824 1073778376 140735699401136 139796252014736 251056412448 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20284/tid=20299] ppid=20282 vsize=9624976 CPUtime=0.44 cores=1,3,5,7
/proc/20284/task/20299/stat : 20299 (java) S 20282 20284 16961 0 -1 4202560 2306 0 0 0 44 0 0 0 20 0 19 0 254105349 9855975424 74713 33554432000 1073741824 1073778376 140735699401136 139796250962872 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20284/tid=20300] ppid=20282 vsize=9624976 CPUtime=0.98 cores=1,3,5,7
/proc/20284/task/20300/stat : 20300 (java) S 20282 20284 16961 0 -1 4202560 11614 0 0 0 95 3 0 0 20 0 19 0 254105349 9855975424 74713 33554432000 1073741824 1073778376 140735699401136 139796249910072 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20284/tid=20301] ppid=20282 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/20284/task/20301/stat : 20301 (java) S 20282 20284 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254105349 9855975424 74713 33554432000 1073741824 1073778376 140735699401136 139796248857464 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20284/tid=20302] ppid=20282 vsize=9624976 CPUtime=0.16 cores=1,3,5,7
/proc/20284/task/20302/stat : 20302 (java) S 20282 20284 16961 0 -1 4202560 47 0 0 0 6 10 0 0 20 0 19 0 254105349 9855975424 74713 33554432000 1073741824 1073778376 140735699401136 139796247804872 251056404393 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20284/tid=20303] ppid=20282 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/20284/task/20303/stat : 20303 (java) S 20282 20284 16961 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 254105401 9855975424 74713 33554432000 1073741824 1073778376 140735699401136 139796246750376 251056404393 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 811.43
Current children cumulated vsize (KiB) 9624976

[startup+806.307 s]
/proc/loadavg: 2.01 2.06 2.02 3/214 20312
/proc/meminfo: memFree=28195828/32873648 swapFree=7360/7360
[pid=20284] ppid=20282 vsize=9624976 CPUtime=811.83 cores=1,3,5,7
/proc/20284/stat : 20284 (java) S 20282 20284 16961 0 -1 4202496 19579 0 1 0 81151 32 0 0 20 0 19 0 254105344 9855975424 74713 33554432000 1073741824 1073778376 140735699401136 140735699392272 251056390205 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/20284/statm: 2406244 74713 2276 9 0 2396937 0
[pid=20284/tid=20285] ppid=20282 vsize=9624976 CPUtime=798.76 cores=1,3,5,7
/proc/20284/task/20285/stat : 20285 (java) R 20282 20284 16961 0 -1 4202560 2721 0 1 0 79859 17 0 0 20 0 19 0 254105345 9855975424 74713 33554432000 1073741824 1073778376 140735699401136 139796430901536 139796303948276 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=20284/tid=20287] ppid=20282 vsize=9624976 CPUtime=0.74 cores=1,3,5,7
/proc/20284/task/20287/stat : 20287 (java) S 20282 20284 16961 0 -1 4202560 161 0 0 0 72 2 0 0 20 0 19 0 254105345 9855975424 74713 33554432000 1073741824 1073778376 140735699401136 139796274952744 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20284/tid=20288] ppid=20282 vsize=9624976 CPUtime=0.75 cores=1,3,5,7
/proc/20284/task/20288/stat : 20288 (java) S 20282 20284 16961 0 -1 4202560 261 0 0 0 73 2 0 0 20 0 19 0 254105345 9855975424 74713 33554432000 1073741824 1073778376 140735699401136 139796273899944 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20284/tid=20289] ppid=20282 vsize=9624976 CPUtime=0.78 cores=1,3,5,7
/proc/20284/task/20289/stat : 20289 (java) S 20282 20284 16961 0 -1 4202560 206 0 0 0 76 2 0 0 20 0 19 0 254105345 9855975424 74713 33554432000 1073741824 1073778376 140735699401136 139796272847144 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20284/tid=20290] ppid=20282 vsize=9624976 CPUtime=0.81 cores=1,3,5,7
/proc/20284/task/20290/stat : 20290 (java) S 20282 20284 16961 0 -1 4202560 259 0 0 0 78 3 0 0 20 0 19 0 254105345 9855975424 74713 33554432000 1073741824 1073778376 140735699401136 139796271794344 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20284/tid=20291] ppid=20282 vsize=9624976 CPUtime=0.67 cores=1,3,5,7
/proc/20284/task/20291/stat : 20291 (java) S 20282 20284 16961 0 -1 4202560 307 0 0 0 65 2 0 0 20 0 19 0 254105345 9855975424 74713 33554432000 1073741824 1073778376 140735699401136 139796270742568 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20284/tid=20292] ppid=20282 vsize=9624976 CPUtime=0.72 cores=1,3,5,7
/proc/20284/task/20292/stat : 20292 (java) S 20282 20284 16961 0 -1 4202560 89 0 0 0 70 2 0 0 20 0 19 0 254105345 9855975424 74713 33554432000 1073741824 1073778376 140735699401136 139796269689768 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20284/tid=20293] ppid=20282 vsize=9624976 CPUtime=0.73 cores=1,3,5,7
/proc/20284/task/20293/stat : 20293 (java) S 20282 20284 16961 0 -1 4202560 81 0 0 0 71 2 0 0 20 0 19 0 254105345 9855975424 74713 33554432000 1073741824 1073778376 140735699401136 139796268636968 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20284/tid=20294] ppid=20282 vsize=9624976 CPUtime=0.73 cores=1,3,5,7
/proc/20284/task/20294/stat : 20294 (java) S 20282 20284 16961 0 -1 4202560 234 0 0 0 70 3 0 0 20 0 19 0 254105345 9855975424 74713 33554432000 1073741824 1073778376 140735699401136 139796267584168 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20284/tid=20295] ppid=20282 vsize=9624976 CPUtime=5.61 cores=1,3,5,7
/proc/20284/task/20295/stat : 20295 (java) S 20282 20284 16961 0 -1 4202560 107 0 0 0 559 2 0 0 20 0 19 0 254105346 9855975424 74713 33554432000 1073741824 1073778376 140735699401136 139796255173096 251056404393 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20284/tid=20296] ppid=20282 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/20284/task/20296/stat : 20296 (java) S 20282 20284 16961 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 254105347 9855975424 74713 33554432000 1073741824 1073778376 140735699401136 139796254119160 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20284/tid=20297] ppid=20282 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/20284/task/20297/stat : 20297 (java) S 20282 20284 16961 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 254105347 9855975424 74713 33554432000 1073741824 1073778376 140735699401136 139796253066248 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20284/tid=20298] ppid=20282 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/20284/task/20298/stat : 20298 (java) S 20282 20284 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254105349 9855975424 74713 33554432000 1073741824 1073778376 140735699401136 139796252014736 251056412448 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20284/tid=20299] ppid=20282 vsize=9624976 CPUtime=0.44 cores=1,3,5,7
/proc/20284/task/20299/stat : 20299 (java) S 20282 20284 16961 0 -1 4202560 2306 0 0 0 44 0 0 0 20 0 19 0 254105349 9855975424 74713 33554432000 1073741824 1073778376 140735699401136 139796250962872 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20284/tid=20300] ppid=20282 vsize=9624976 CPUtime=0.98 cores=1,3,5,7
/proc/20284/task/20300/stat : 20300 (java) S 20282 20284 16961 0 -1 4202560 11614 0 0 0 95 3 0 0 20 0 19 0 254105349 9855975424 74713 33554432000 1073741824 1073778376 140735699401136 139796249910072 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20284/tid=20301] ppid=20282 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/20284/task/20301/stat : 20301 (java) S 20282 20284 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254105349 9855975424 74713 33554432000 1073741824 1073778376 140735699401136 139796248857464 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20284/tid=20302] ppid=20282 vsize=9624976 CPUtime=0.16 cores=1,3,5,7
/proc/20284/task/20302/stat : 20302 (java) S 20282 20284 16961 0 -1 4202560 47 0 0 0 6 10 0 0 20 0 19 0 254105349 9855975424 74713 33554432000 1073741824 1073778376 140735699401136 139796247804872 251056404393 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20284/tid=20303] ppid=20282 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/20284/task/20303/stat : 20303 (java) S 20282 20284 16961 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 254105401 9855975424 74713 33554432000 1073741824 1073778376 140735699401136 139796246750376 251056404393 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 811.83
Current children cumulated vsize (KiB) 9624976

[startup+806.401 s]
/proc/loadavg: 2.01 2.06 2.02 3/214 20312
/proc/meminfo: memFree=28195828/32873648 swapFree=7360/7360
[pid=20284] ppid=20282 vsize=9624976 CPUtime=811.93 cores=1,3,5,7
/proc/20284/stat : 20284 (java) S 20282 20284 16961 0 -1 4202496 19579 0 1 0 81161 32 0 0 20 0 19 0 254105344 9855975424 74713 33554432000 1073741824 1073778376 140735699401136 140735699392272 251056390205 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/20284/statm: 2406244 74713 2276 9 0 2396937 0
[pid=20284/tid=20285] ppid=20282 vsize=9624976 CPUtime=798.86 cores=1,3,5,7
/proc/20284/task/20285/stat : 20285 (java) R 20282 20284 16961 0 -1 4202560 2721 0 1 0 79869 17 0 0 20 0 19 0 254105345 9855975424 74713 33554432000 1073741824 1073778376 140735699401136 139796430901536 139796304006836 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=20284/tid=20287] ppid=20282 vsize=9624976 CPUtime=0.74 cores=1,3,5,7
/proc/20284/task/20287/stat : 20287 (java) S 20282 20284 16961 0 -1 4202560 161 0 0 0 72 2 0 0 20 0 19 0 254105345 9855975424 74713 33554432000 1073741824 1073778376 140735699401136 139796274952744 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20284/tid=20288] ppid=20282 vsize=9624976 CPUtime=0.75 cores=1,3,5,7
/proc/20284/task/20288/stat : 20288 (java) S 20282 20284 16961 0 -1 4202560 261 0 0 0 73 2 0 0 20 0 19 0 254105345 9855975424 74713 33554432000 1073741824 1073778376 140735699401136 139796273899944 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20284/tid=20289] ppid=20282 vsize=9624976 CPUtime=0.78 cores=1,3,5,7
/proc/20284/task/20289/stat : 20289 (java) S 20282 20284 16961 0 -1 4202560 206 0 0 0 76 2 0 0 20 0 19 0 254105345 9855975424 74713 33554432000 1073741824 1073778376 140735699401136 139796272847144 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20284/tid=20290] ppid=20282 vsize=9624976 CPUtime=0.81 cores=1,3,5,7
/proc/20284/task/20290/stat : 20290 (java) S 20282 20284 16961 0 -1 4202560 259 0 0 0 78 3 0 0 20 0 19 0 254105345 9855975424 74713 33554432000 1073741824 1073778376 140735699401136 139796271794344 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20284/tid=20291] ppid=20282 vsize=9624976 CPUtime=0.67 cores=1,3,5,7
/proc/20284/task/20291/stat : 20291 (java) S 20282 20284 16961 0 -1 4202560 307 0 0 0 65 2 0 0 20 0 19 0 254105345 9855975424 74713 33554432000 1073741824 1073778376 140735699401136 139796270742568 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20284/tid=20292] ppid=20282 vsize=9624976 CPUtime=0.72 cores=1,3,5,7
/proc/20284/task/20292/stat : 20292 (java) S 20282 20284 16961 0 -1 4202560 89 0 0 0 70 2 0 0 20 0 19 0 254105345 9855975424 74713 33554432000 1073741824 1073778376 140735699401136 139796269689768 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20284/tid=20293] ppid=20282 vsize=9624976 CPUtime=0.73 cores=1,3,5,7
/proc/20284/task/20293/stat : 20293 (java) S 20282 20284 16961 0 -1 4202560 81 0 0 0 71 2 0 0 20 0 19 0 254105345 9855975424 74713 33554432000 1073741824 1073778376 140735699401136 139796268636968 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20284/tid=20294] ppid=20282 vsize=9624976 CPUtime=0.73 cores=1,3,5,7
/proc/20284/task/20294/stat : 20294 (java) S 20282 20284 16961 0 -1 4202560 234 0 0 0 70 3 0 0 20 0 19 0 254105345 9855975424 74713 33554432000 1073741824 1073778376 140735699401136 139796267584168 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20284/tid=20295] ppid=20282 vsize=9624976 CPUtime=5.61 cores=1,3,5,7
/proc/20284/task/20295/stat : 20295 (java) S 20282 20284 16961 0 -1 4202560 107 0 0 0 559 2 0 0 20 0 19 0 254105346 9855975424 74713 33554432000 1073741824 1073778376 140735699401136 139796255173096 251056404393 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20284/tid=20296] ppid=20282 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/20284/task/20296/stat : 20296 (java) S 20282 20284 16961 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 254105347 9855975424 74713 33554432000 1073741824 1073778376 140735699401136 139796254119160 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20284/tid=20297] ppid=20282 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/20284/task/20297/stat : 20297 (java) S 20282 20284 16961 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 254105347 9855975424 74713 33554432000 1073741824 1073778376 140735699401136 139796253066248 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20284/tid=20298] ppid=20282 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/20284/task/20298/stat : 20298 (java) S 20282 20284 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254105349 9855975424 74713 33554432000 1073741824 1073778376 140735699401136 139796252014736 251056412448 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20284/tid=20299] ppid=20282 vsize=9624976 CPUtime=0.44 cores=1,3,5,7
/proc/20284/task/20299/stat : 20299 (java) S 20282 20284 16961 0 -1 4202560 2306 0 0 0 44 0 0 0 20 0 19 0 254105349 9855975424 74713 33554432000 1073741824 1073778376 140735699401136 139796250962872 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20284/tid=20300] ppid=20282 vsize=9624976 CPUtime=0.98 cores=1,3,5,7
/proc/20284/task/20300/stat : 20300 (java) S 20282 20284 16961 0 -1 4202560 11614 0 0 0 95 3 0 0 20 0 19 0 254105349 9855975424 74713 33554432000 1073741824 1073778376 140735699401136 139796249910072 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20284/tid=20301] ppid=20282 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/20284/task/20301/stat : 20301 (java) S 20282 20284 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254105349 9855975424 74713 33554432000 1073741824 1073778376 140735699401136 139796248857464 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20284/tid=20302] ppid=20282 vsize=9624976 CPUtime=0.16 cores=1,3,5,7
/proc/20284/task/20302/stat : 20302 (java) S 20282 20284 16961 0 -1 4202560 47 0 0 0 6 10 0 0 20 0 19 0 254105349 9855975424 74713 33554432000 1073741824 1073778376 140735699401136 139796247804872 251056404393 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20284/tid=20303] ppid=20282 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/20284/task/20303/stat : 20303 (java) S 20282 20284 16961 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 254105401 9855975424 74713 33554432000 1073741824 1073778376 140735699401136 139796246750376 251056404393 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 811.93
Current children cumulated vsize (KiB) 9624976

Child status: 30
Real time (s): 806.5
CPU time (s): 812.341
CPU user time (s): 811.71
CPU system time (s): 0.631903
CPU usage (%): 100.724
Max. virtual memory (cumulated for all children) (KiB): 9624976

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 811.71
system time used= 0.631903
maximum resident set size= 298908
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 19597
page faults= 1
swaps= 0
block input operations= 0
block output operations= 856
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 22735
involuntary context switches= 26476

runsolver used 1.9537 second user time and 4.49832 second system time

The end

Launcher Data 

Begin job on node149 at 2012-05-24 19:16:53
IDJOB=3688139
IDBENCH=2838
IDSOLVER=2269
FILE ID=node149/3688139-1337879812
RUNJOBID= node149-1337871880-16978
PBS_JOBID= 14620055
Free space on /tmp= 71732 MiB

SOLVER NAME= Sat 4j PB Resolution 2.3.2 Snapshot
BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/logic_synthesis/normalized-rd84.b.opb
COMMAND LINE= java -jar HOME/sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3688139-1337879812/watcher-3688139-1337879812 -o /tmp/evaluation-result-3688139-1337879812/solver-3688139-1337879812 -C 1800 -W 1900 -M 15500  java -jar HOME/sat4j-pb.jar HOME/instance-3688139-1337879812.opb

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

MD5SUM BENCH= 6560abb26f607ef952ebe1a74dd5dae1
RANDOM SEED=183568148

node149.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011

/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.145
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.29
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.145
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.145
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5438.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.145
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.145
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.145
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5438.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.145
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.145
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873648 kB
MemFree:        28653564 kB
Buffers:          221980 kB
Cached:          2713948 kB
SwapCached:            0 kB
Active:          1094860 kB
Inactive:        2356464 kB
Active(anon):     516280 kB
Inactive(anon):        0 kB
Active(file):     578580 kB
Inactive(file):  2356464 kB
Unevictable:        7360 kB
Mlocked:            7360 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:              2908 kB
Writeback:             0 kB
AnonPages:        529428 kB
Mapped:            22528 kB
Shmem:               200 kB
Slab:             630816 kB
SReclaimable:      72672 kB
SUnreclaim:       558144 kB
KernelStack:        1760 kB
PageTables:         5100 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545680 kB
Committed_AS:     876052 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:    489472 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7680 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71732 MiB
End job on node149 at 2012-05-24 19:30:19