Trace number 4085504

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 PB 2.3.6 Resolution PB16SAT (TO)20 1800.07 1798.44

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-LIN/submittedPB07/
aksoy/area_opers/normalized-fir02_area_opers.opb
MD5SUM918383404e7b51b9b3205c84ccd5b510
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark18
Best CPU time to get the best result obtained on this benchmark0.013997
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 18
Optimality of the best value was proved YES
Number of variables1464
Total number of constraints2689
Number of constraints which are clauses2689
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 constraint1
Maximum length of a constraint31
Number of terms in the objective function 759
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 759
Number of bits of the sum of numbers in the objective function 10
Biggest number in a constraint 2
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 759
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.00/0.08	c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS
0.00/0.08	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.08	c See www.sat4j.org for details.
0.00/0.09	c version PB16.v20160501
0.00/0.09	c java.runtime.name	Java(TM) SE Runtime Environment
0.00/0.09	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.00/0.09	c java.vm.version	19.1-b02
0.00/0.09	c java.vm.vendor	Sun Microsystems Inc.
0.00/0.09	c sun.arch.data.model	64
0.00/0.09	c java.version		1.6.0_24
0.00/0.09	c os.name		Linux
0.00/0.09	c os.version		2.6.32-71.29.1.el6.x86_64
0.00/0.09	c os.arch		amd64
0.00/0.09	c Free memory 		501472288
0.00/0.09	c Max memory 		7480803328
0.00/0.09	c Total memory 		504102912
0.00/0.09	c Number of processors 	8
0.09/0.11	c Pseudo Boolean Optimization by upper bound
0.09/0.11	c --- Begin Solver configuration ---
0.09/0.11	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@2b21cc40
0.09/0.11	c Learn all clauses as in MiniSAT
0.09/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.09/0.11	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.09/0.11	c No reason simplification
0.09/0.11	c Glucose 2.1 dynamic restart strategy
0.09/0.11	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.09/0.11	c timeout=2147483s
0.09/0.11	c DB Simplification allowed=false
0.09/0.11	c Listener: org.sat4j.minisat.core.VoidTracing@7c64dc11
0.09/0.11	c --- End Solver configuration ---
0.09/0.11	c solving HOME/instance-4085504-1465253273.opb
0.09/0.11	c reading problem ... 
0.09/0.11	c  objective function found
0.26/0.28	c ... done. Wall clock time 0.167s.
0.26/0.28	c declared #vars     1464
0.26/0.28	c #constraints  2689
0.26/0.28	c constraints type 
0.26/0.28	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 712
0.26/0.28	c org.sat4j.minisat.constraints.cnf.UnitClause => 3
0.26/0.28	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 1974
0.26/0.28	c 2689 constraints processed.
0.26/0.28	c objective function length is 759 literals
0.47/0.30	c SATISFIABLE
0.47/0.30	c OPTIMIZING...
0.47/0.30	c Got one! Elapsed wall clock time (in seconds):0.191
0.47/0.30	o 26
0.47/0.33	c Got one! Elapsed wall clock time (in seconds):0.214
0.47/0.33	o 25
0.99/0.58	c Got one! Elapsed wall clock time (in seconds):0.469
0.99/0.58	o 24
1.71/1.12	c cleaning 2850 clauses out of 5704 with flag 17612/5704
2.46/1.88	c cleaning 4416 clauses out of 8854 with flag 41803/11704
3.46/2.80	c cleaning 5719 clauses out of 11438 with flag 70409/18704
4.47/3.82	c cleaning 6854 clauses out of 13719 with flag 102868/26704
5.69/5.08	c cleaning 7922 clauses out of 15865 with flag 142369/35704
7.09/6.46	c cleaning 8961 clauses out of 17944 with flag 187226/45705
8.69/8.00	c cleaning 9980 clauses out of 19982 with flag 231900/56704
10.60/9.95	c cleaning 10982 clauses out of 22002 with flag 281098/68704
12.69/12.06	c cleaning 12005 clauses out of 24022 with flag 330089/81706
14.79/14.13	c cleaning 12990 clauses out of 26016 with flag 390043/95705
16.89/16.29	c cleaning 14000 clauses out of 28025 with flag 490911/110704
19.29/18.65	c cleaning 14999 clauses out of 30025 with flag 587418/126704
21.79/21.12	c cleaning 15995 clauses out of 32026 with flag 694826/143704
24.09/23.40	c Got one! Elapsed wall clock time (in seconds):23.289
24.09/23.40	o 23
24.90/24.23	c cleaning 18765 clauses out of 37538 with flag 16587/165211
25.69/25.04	c cleaning 12381 clauses out of 24773 with flag 37626/171211
26.59/25.95	c cleaning 9680 clauses out of 19392 with flag 66586/178211
27.69/27.01	c cleaning 8849 clauses out of 17712 with flag 103720/186211
28.79/28.18	c cleaning 8925 clauses out of 17863 with flag 149465/195211
30.20/29.57	c cleaning 9469 clauses out of 18938 with flag 212942/205211
31.80/31.18	c cleaning 10196 clauses out of 20469 with flag 272691/216211
33.60/32.98	c cleaning 11129 clauses out of 22274 with flag 347926/228212
35.50/34.89	c cleaning 12034 clauses out of 24144 with flag 421563/241211
37.60/36.94	c cleaning 13051 clauses out of 26110 with flag 508493/255211
39.69/39.08	c cleaning 14020 clauses out of 28059 with flag 600795/270211
41.99/41.39	c cleaning 15014 clauses out of 30040 with flag 701604/286212
44.49/43.87	c cleaning 16013 clauses out of 32025 with flag 832348/303211
47.29/46.64	c cleaning 16991 clauses out of 34012 with flag 956377/321211
50.30/49.65	c cleaning 17995 clauses out of 36021 with flag 1069462/340211
53.39/52.73	c cleaning 19007 clauses out of 38026 with flag 1205704/360211
54.99/54.30	c Got one! Elapsed wall clock time (in seconds):54.193
54.99/54.30	o 22
55.50/54.89	c cleaning 17930 clauses out of 35878 with flag 20323/377070
56.40/55.72	c cleaning 11958 clauses out of 23945 with flag 52662/383067
57.30/56.66	c cleaning 9487 clauses out of 18987 with flag 91599/390067
58.30/57.69	c cleaning 8750 clauses out of 17500 with flag 138631/398067
59.50/58.89	c cleaning 8865 clauses out of 17750 with flag 188837/407067
61.00/60.35	c cleaning 9424 clauses out of 18885 with flag 245948/417067
62.50/61.81	c cleaning 10207 clauses out of 20461 with flag 310656/428067
64.00/63.35	c cleaning 11111 clauses out of 22255 with flag 377488/440068
65.61/65.00	c cleaning 12061 clauses out of 24143 with flag 449323/453067
67.60/66.94	c cleaning 13021 clauses out of 26082 with flag 527347/467067
69.70/69.07	c cleaning 14019 clauses out of 28061 with flag 630388/482067
72.00/71.30	c cleaning 15011 clauses out of 30042 with flag 738015/498067
74.30/73.68	c cleaning 16016 clauses out of 32031 with flag 850204/515067
76.71/76.02	c cleaning 16984 clauses out of 34015 with flag 970866/533067
79.10/78.45	c cleaning 18012 clauses out of 36032 with flag 1084744/552068
82.00/81.31	c cleaning 18992 clauses out of 38019 with flag 1218248/572067
84.80/84.13	c cleaning 19997 clauses out of 40027 with flag 1360826/593067
88.10/87.41	c cleaning 20998 clauses out of 42030 with flag 1504169/615067
91.51/90.87	c cleaning 22005 clauses out of 44032 with flag 1636662/638067
95.01/94.38	c cleaning 23006 clauses out of 46027 with flag 1778779/662067
99.02/98.34	c cleaning 23992 clauses out of 48021 with flag 1936570/687067
103.22/102.55	c cleaning 24989 clauses out of 50030 with flag 2101722/713068
107.82/107.18	c cleaning 26013 clauses out of 52040 with flag 2256569/740067
112.42/111.75	c cleaning 26994 clauses out of 54027 with flag 2394287/768067
117.02/116.34	c cleaning 28017 clauses out of 56033 with flag 2558882/797067
122.02/121.32	c cleaning 28984 clauses out of 58016 with flag 2711542/827067
127.02/126.32	c cleaning 30016 clauses out of 60033 with flag 2888976/858068
132.12/131.42	c cleaning 30993 clauses out of 62017 with flag 3070655/890068
137.34/136.66	c cleaning 32010 clauses out of 64025 with flag 3265907/923069
142.74/142.10	c cleaning 32989 clauses out of 66013 with flag 3482669/957067
148.34/147.64	c cleaning 33973 clauses out of 68024 with flag 3704393/992067
154.24/153.59	c cleaning 35014 clauses out of 70052 with flag 3936231/1028068
160.34/159.62	c cleaning 36000 clauses out of 72037 with flag 4165643/1065067
167.03/166.30	c cleaning 37017 clauses out of 74037 with flag 4386339/1103067
174.13/173.42	c cleaning 38001 clauses out of 76020 with flag 4617723/1142067
181.83/181.19	c cleaning 38979 clauses out of 78019 with flag 4862154/1182067
189.13/188.43	c cleaning 39982 clauses out of 80040 with flag 5145090/1223067
195.93/195.27	c cleaning 41008 clauses out of 82058 with flag 5412503/1265067
197.13/196.46	c Got one! Elapsed wall clock time (in seconds):196.351
197.13/196.46	o 21
197.83/197.19	c cleaning 27422 clauses out of 54849 with flag 21614/1278866
198.63/197.97	c cleaning 16714 clauses out of 33428 with flag 45296/1284867
199.53/198.86	c cleaning 11856 clauses out of 23713 with flag 71589/1291866
200.63/199.90	c cleaning 9911 clauses out of 19857 with flag 107677/1299866
201.73/201.00	c cleaning 9444 clauses out of 18946 with flag 141383/1308866
202.93/202.26	c cleaning 9724 clauses out of 19502 with flag 184926/1318866
204.24/203.57	c cleaning 10382 clauses out of 20781 with flag 235758/1329869
205.74/205.06	c cleaning 11189 clauses out of 22396 with flag 300906/1341866
207.24/206.59	c cleaning 12095 clauses out of 24208 with flag 377598/1354867
209.04/208.33	c cleaning 13057 clauses out of 26113 with flag 451619/1368867
211.04/210.32	c cleaning 14018 clauses out of 28055 with flag 540886/1383866
213.24/212.52	c cleaning 15017 clauses out of 30037 with flag 625217/1399866
215.64/214.90	c cleaning 15990 clauses out of 32020 with flag 720429/1416866
218.04/217.36	c cleaning 16995 clauses out of 34035 with flag 823023/1434871
220.64/220.00	c cleaning 17983 clauses out of 36035 with flag 931817/1453866
223.44/222.78	c cleaning 19019 clauses out of 38052 with flag 1040011/1473866
226.44/225.79	c cleaning 19998 clauses out of 40033 with flag 1145852/1494866
230.04/229.31	c cleaning 20967 clauses out of 42036 with flag 1285348/1516867
233.64/232.92	c cleaning 22023 clauses out of 44068 with flag 1434344/1539866
237.54/236.86	c cleaning 23020 clauses out of 46046 with flag 1585390/1563867
241.74/241.02	c cleaning 23998 clauses out of 48028 with flag 1735669/1588869
246.14/245.48	c cleaning 25007 clauses out of 50028 with flag 1874542/1614867
250.25/249.52	c cleaning 25992 clauses out of 52021 with flag 2029745/1641867
254.75/254.02	c cleaning 26988 clauses out of 54028 with flag 2169723/1669866
259.44/258.73	c cleaning 28021 clauses out of 56041 with flag 2328487/1698867
264.44/263.71	c cleaning 28995 clauses out of 58019 with flag 2533610/1728866
269.34/268.67	c cleaning 29996 clauses out of 60024 with flag 2705486/1759866
274.65/273.96	c cleaning 31003 clauses out of 62028 with flag 2896794/1791866
280.25/279.59	c cleaning 32012 clauses out of 64025 with flag 3106984/1824866
286.44/285.75	c cleaning 32991 clauses out of 66013 with flag 3303438/1858866
292.74/292.07	c cleaning 34002 clauses out of 68022 with flag 3548997/1893866
298.85/298.14	c cleaning 34996 clauses out of 70020 with flag 3765551/1929866
305.04/304.34	c cleaning 35996 clauses out of 72024 with flag 3981531/1966866
311.24/310.51	c cleaning 37007 clauses out of 74028 with flag 4190714/2004866
317.74/317.03	c cleaning 37977 clauses out of 76021 with flag 4400477/2043866
325.14/324.44	c cleaning 39012 clauses out of 78044 with flag 4633133/2083866
332.98/332.22	c cleaning 39987 clauses out of 80032 with flag 4898596/2124866
340.98/340.20	c cleaning 41015 clauses out of 82046 with flag 5165671/2166867
349.67/348.94	c cleaning 41987 clauses out of 84030 with flag 5424513/2209866
358.17/357.43	c cleaning 43017 clauses out of 86043 with flag 5679570/2253866
366.47/365.75	c cleaning 43998 clauses out of 88026 with flag 5978839/2298866
374.37/373.65	c cleaning 44982 clauses out of 90028 with flag 6255098/2344866
382.67/381.95	c cleaning 46005 clauses out of 92046 with flag 6566517/2391866
391.07/390.38	c cleaning 47007 clauses out of 94041 with flag 6846081/2439866
400.37/399.66	c cleaning 47994 clauses out of 96034 with flag 7147240/2488866
409.57/408.86	c cleaning 48993 clauses out of 98040 with flag 7441354/2538866
419.57/418.81	c cleaning 50023 clauses out of 100050 with flag 7746203/2589869
428.77/428.09	c cleaning 51006 clauses out of 102027 with flag 8072269/2641869
438.36/437.69	c cleaning 51995 clauses out of 104018 with flag 8436736/2694866
448.37/447.65	c cleaning 53006 clauses out of 106023 with flag 8772160/2748866
459.02/458.26	c cleaning 54000 clauses out of 108018 with flag 9111846/2803867
470.42/469.68	c cleaning 55004 clauses out of 110017 with flag 9496172/2859866
481.82/481.07	c cleaning 55993 clauses out of 112013 with flag 9856285/2916866
494.12/493.37	c cleaning 56989 clauses out of 114020 with flag 10183856/2974866
507.22/506.41	c cleaning 57986 clauses out of 116031 with flag 10565560/3033866
519.32/518.59	c cleaning 59008 clauses out of 118045 with flag 10918209/3093866
531.02/530.29	c cleaning 59995 clauses out of 120037 with flag 11303891/3154866
544.61/543.81	c cleaning 61019 clauses out of 122043 with flag 11663853/3216867
557.82/557.05	c cleaning 61990 clauses out of 124023 with flag 12009013/3279866
570.32/569.51	c cleaning 63010 clauses out of 126035 with flag 12396573/3343868
582.92/582.18	c cleaning 64003 clauses out of 128024 with flag 12790579/3408867
596.12/595.37	c cleaning 64992 clauses out of 130020 with flag 13177613/3474866
601.55/600.75	c Got one! Elapsed wall clock time (in seconds):600.635
601.55/600.75	o 20
602.69/601.83	c cleaning 51888 clauses out of 103880 with flag 27494/3513718
603.48/602.69	c cleaning 28971 clauses out of 57992 with flag 63383/3519718
604.38/603.59	c cleaning 18004 clauses out of 36021 with flag 104605/3526718
605.38/604.60	c cleaning 12987 clauses out of 26017 with flag 152804/3534718
606.48/605.66	c cleaning 11011 clauses out of 22030 with flag 208789/3543718
607.78/606.91	c cleaning 10493 clauses out of 21019 with flag 273122/3553718
609.08/608.26	c cleaning 10756 clauses out of 21526 with flag 338868/3564718
610.58/609.75	c cleaning 11364 clauses out of 22770 with flag 402154/3576718
612.18/611.33	c cleaning 12197 clauses out of 24406 with flag 476219/3589718
613.88/613.07	c cleaning 13078 clauses out of 26209 with flag 564757/3603718
615.79/614.97	c cleaning 14067 clauses out of 28134 with flag 659359/3618721
617.99/617.12	c cleaning 15025 clauses out of 30067 with flag 746528/3634721
620.19/619.36	c cleaning 16007 clauses out of 32039 with flag 833456/3651718
622.49/621.68	c cleaning 17006 clauses out of 34032 with flag 907578/3669718
625.38/624.54	c cleaning 17994 clauses out of 36026 with flag 980003/3688718
628.38/627.52	c cleaning 19011 clauses out of 38032 with flag 1073446/3708718
631.68/630.90	c cleaning 20006 clauses out of 40021 with flag 1218121/3729718
635.18/634.35	c cleaning 20973 clauses out of 42015 with flag 1369120/3751718
638.68/637.83	c cleaning 22006 clauses out of 44042 with flag 1502414/3774718
642.29/641.49	c cleaning 23001 clauses out of 46036 with flag 1641000/3798718
646.18/645.36	c cleaning 24008 clauses out of 48035 with flag 1795149/3823718
650.58/649.74	c cleaning 25002 clauses out of 50027 with flag 1949736/3849718
655.28/654.44	c cleaning 26000 clauses out of 52025 with flag 2106545/3876718
659.98/659.11	c cleaning 26989 clauses out of 54025 with flag 2248046/3904718
664.78/663.93	c cleaning 28012 clauses out of 56038 with flag 2373843/3933720
669.88/669.04	c cleaning 28981 clauses out of 58024 with flag 2535199/3963718
674.78/673.94	c cleaning 30016 clauses out of 60043 with flag 2723283/3994718
679.98/679.13	c cleaning 31005 clauses out of 62028 with flag 2892518/4026719
685.28/684.45	c cleaning 31978 clauses out of 64022 with flag 3082438/4059718
690.98/690.12	c cleaning 33013 clauses out of 66044 with flag 3304112/4093718
696.48/695.61	c cleaning 34011 clauses out of 68031 with flag 3544227/4128718
702.18/701.33	c cleaning 34996 clauses out of 70022 with flag 3754714/4164720
708.18/707.39	c cleaning 36002 clauses out of 72025 with flag 3984209/4201719
714.82/713.96	c cleaning 36986 clauses out of 74022 with flag 4206532/4239718
721.91/721.08	c cleaning 37996 clauses out of 76036 with flag 4457470/4278718
729.41/728.52	c cleaning 39017 clauses out of 78041 with flag 4706759/4318719
736.61/735.74	c cleaning 39990 clauses out of 80023 with flag 4989267/4359718
744.41/743.59	c cleaning 41015 clauses out of 82037 with flag 5225441/4401722
752.51/751.62	c cleaning 42004 clauses out of 84021 with flag 5432387/4444721
760.81/759.90	c cleaning 43004 clauses out of 86014 with flag 5649622/4488718
769.21/768.33	c cleaning 43996 clauses out of 88012 with flag 5853915/4533720
777.71/776.86	c cleaning 45005 clauses out of 90019 with flag 6062948/4579723
786.52/785.61	c cleaning 45990 clauses out of 92009 with flag 6307163/4626718
794.92/794.08	c cleaning 47005 clauses out of 94019 with flag 6596403/4674718
804.12/803.26	c cleaning 48003 clauses out of 96014 with flag 6862333/4723718
814.12/813.20	c cleaning 48980 clauses out of 98011 with flag 7140560/4773718
823.21/822.35	c cleaning 50003 clauses out of 100031 with flag 7419827/4824718
833.31/832.45	c cleaning 50989 clauses out of 102028 with flag 7709824/4876718
844.11/843.29	c cleaning 51987 clauses out of 104039 with flag 7951023/4929718
854.97/854.01	c cleaning 53023 clauses out of 106052 with flag 8210804/4983718
866.07/865.18	c cleaning 54011 clauses out of 108029 with flag 8476180/5038718
877.07/876.14	c cleaning 55004 clauses out of 110018 with flag 8796618/5094718
887.97/887.04	c cleaning 55998 clauses out of 112014 with flag 9101458/5151718
899.97/899.04	c cleaning 56987 clauses out of 114016 with flag 9455642/5209718
911.78/910.86	c cleaning 58008 clauses out of 116029 with flag 9781399/5268718
924.08/923.17	c cleaning 58993 clauses out of 118021 with flag 10138835/5328718
935.88/934.92	c cleaning 60009 clauses out of 120029 with flag 10487907/5389719
947.57/946.67	c cleaning 61002 clauses out of 122019 with flag 10850104/5451718
960.67/959.71	c cleaning 62002 clauses out of 124018 with flag 11238152/5514719
973.48/972.53	c cleaning 62993 clauses out of 126015 with flag 11630143/5578718
986.28/985.30	c cleaning 63984 clauses out of 128022 with flag 11990465/5643718
1000.36/999.37	c cleaning 65015 clauses out of 130038 with flag 12371020/5709718
1014.06/1013.09	c cleaning 66001 clauses out of 132023 with flag 12774978/5776718
1027.56/1026.54	c cleaning 67001 clauses out of 134024 with flag 13199721/5844720
1042.16/1041.18	c cleaning 68000 clauses out of 136021 with flag 13612576/5913718
1057.56/1056.54	c cleaning 69002 clauses out of 138021 with flag 13994297/5983718
1074.15/1073.18	c cleaning 69987 clauses out of 140019 with flag 14418465/6054718
1089.57/1088.57	c cleaning 71011 clauses out of 142033 with flag 14833658/6126719
1105.57/1104.53	c cleaning 71990 clauses out of 144022 with flag 15274481/6199719
1122.47/1121.40	c cleaning 73007 clauses out of 146031 with flag 15571892/6273718
1139.57/1138.52	c cleaning 73991 clauses out of 148024 with flag 16067517/6348718
1156.08/1154.90	c cleaning 75015 clauses out of 150033 with flag 16515571/6424718
1173.79/1172.63	c cleaning 76004 clauses out of 152023 with flag 16974660/6501723
1192.18/1191.03	c cleaning 77003 clauses out of 154015 with flag 17470042/6579719
1209.98/1208.86	c cleaning 77989 clauses out of 156011 with flag 17999433/6658718
1227.70/1226.54	c cleaning 78983 clauses out of 158022 with flag 18524604/6738718
1244.69/1243.51	c cleaning 79993 clauses out of 160039 with flag 19019559/6819718
1262.09/1260.90	c cleaning 81020 clauses out of 162048 with flag 19484952/6901720
1280.65/1279.37	c cleaning 82002 clauses out of 164026 with flag 19934354/6984718
1300.14/1298.83	c cleaning 83014 clauses out of 166028 with flag 20421066/7068722
1321.84/1320.51	c cleaning 83996 clauses out of 168012 with flag 20928333/7153720
1343.04/1341.78	c cleaning 84973 clauses out of 170014 with flag 21404192/7239718
1365.94/1364.67	c cleaning 86012 clauses out of 172042 with flag 21968234/7326719
1389.05/1387.77	c cleaning 87009 clauses out of 174029 with flag 22506293/7414718
1409.95/1408.67	c cleaning 88000 clauses out of 176020 with flag 23042399/7503718
1432.57/1431.14	c cleaning 89004 clauses out of 178021 with flag 23534630/7593719
1459.34/1457.92	c cleaning 89994 clauses out of 180016 with flag 23971518/7684718
1483.73/1482.31	c cleaning 91010 clauses out of 182023 with flag 24360038/7776719
1513.43/1512.06	c cleaning 91998 clauses out of 184012 with flag 24872158/7869718
1540.63/1539.24	c cleaning 92973 clauses out of 186014 with flag 25393206/7963718
1566.04/1564.64	c cleaning 94017 clauses out of 188042 with flag 26001628/8058719
1593.93/1592.43	c cleaning 95006 clauses out of 190025 with flag 26618123/8154719
1621.23/1619.79	c cleaning 95967 clauses out of 192018 with flag 27207978/8251718
1648.44/1646.96	c cleaning 97018 clauses out of 194051 with flag 27806831/8349718
1675.54/1674.05	c cleaning 97979 clauses out of 196033 with flag 28341988/8448718
1702.04/1700.59	c cleaning 99023 clauses out of 198059 with flag 28795790/8548723
1727.35/1725.84	c cleaning 99999 clauses out of 200031 with flag 29372737/8649718
1755.77/1754.18	c cleaning 101003 clauses out of 202033 with flag 29964303/8751719
1786.77/1785.17	c cleaning 101989 clauses out of 204029 with flag 30555477/8854718
1800.07/1798.40	c starts		: 22381
1800.07/1798.40	c conflicts		: 8906309
1800.07/1798.40	c decisions		: 61322617
1800.07/1798.40	c propagations		: 5363712350
1800.07/1798.40	c inspects		: 22792938216
1800.07/1798.40	c shortcuts		: 0
1800.07/1798.40	c learnt literals	: 0
1800.07/1798.40	c learnt binary clauses	: 0
1800.07/1798.40	c learnt ternary clauses	: 0
1800.07/1798.40	c learnt constraints	: 8906309
1800.07/1798.40	c ignored constraints	: 0
1800.07/1798.40	c root simplifications	: 0
1800.07/1798.40	c removed literals (reason simplification)	: 0
1800.07/1798.40	c reason swapping (by a shorter reason)	: 0
1800.07/1798.40	c Calls to reduceDB	: 228
1800.07/1798.40	c Number of update (reduction) of LBD	: 4744446
1800.07/1798.40	c Imported unit clauses	: 0
1800.07/1798.40	c number of reductions to clauses (during analyze)	: 0
1800.07/1798.40	c number of learned constraints concerned by reduction	: 0
1800.07/1798.40	c number of learning phase by resolution	: 0
1800.07/1798.40	c number of learning phase by cutting planes	: 0
1800.07/1798.40	c speed (assignments/second)	: 2982960.70277963
1800.07/1798.40	c non guided choices	0
1800.07/1798.43	c learnt constraints type 
1800.07/1798.43	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 153631
1800.07/1798.43	s SATISFIABLE
1800.07/1798.43	c Found 7 solution(s)
1800.07/1798.43	v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 x80 x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 x300 x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 x985 x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 x1427 -x1428 -x1429 -x1430 x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 x1440 x1441 -x1442 -x1443 -x1444 x1445 -x1446 -x1447 -x1448 -x1449 x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 x1460 -x1461 x1462 x1463 x1464 
1800.07/1798.43	c objective function=20
1800.07/1798.43	c Total wall clock time (in seconds): 1798.322

Verifier Data 

OK	20

Watcher Data 

runsolver Copyright (C) 2010-2013 Olivier ROUSSEL

This is runsolver version 3.3.7 (svn: 2553)

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-4085504-1465253273/watcher-4085504-1465253273 -o /tmp/evaluation-result-4085504-1465253273/solver-4085504-1465253273 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node136-1465237111-7010 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4085504-1465253273.opb 

pid=8807
running on 4 cores: 0,2,4,6

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


[startup+0 s]
/proc/loadavg: 2.24 2.17 2.16 3/194 8810
/proc/meminfo: memFree=29884932/32872528 swapFree=15272/1656604
[pid=8810] ppid=8807 vsize=9292 CPUtime=0 cores=0,2,4,6
/proc/8810/stat : 8810 (java) D 8807 8810 4042 0 -1 4202496 524 0 0 0 0 0 0 0 20 0 1 0 107260668 9515008 176 33554432000 1073741824 1073778376 140734662771648 140734662754376 239873115024 0 0 4096 0 18446744072100588836 0 0 17 4 0 0 0 0 0
/proc/8810/statm: 2323 176 133 9 0 71 0

[startup+0.10006 s]
/proc/loadavg: 2.24 2.17 2.16 3/194 8810
/proc/meminfo: memFree=29884932/32872528 swapFree=15272/1656604
[pid=8810] ppid=8807 vsize=9558476 CPUtime=0.09 cores=0,2,4,6
/proc/8810/stat : 8810 (java) S 8807 8810 4042 0 -1 4202496 4466 0 1 0 9 0 0 0 20 0 18 0 107260668 9787879424 5582 33554432000 1073741824 1073778376 140734662771648 140734662762784 239876472893 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/8810/statm: 2389619 5582 2125 9 0 2380296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558476

[startup+0.200211 s]
/proc/loadavg: 2.24 2.17 2.16 3/194 8810
/proc/meminfo: memFree=29884932/32872528 swapFree=15272/1656604
[pid=8810] ppid=8807 vsize=9558476 CPUtime=0.26 cores=0,2,4,6
/proc/8810/stat : 8810 (java) S 8807 8810 4042 0 -1 4202496 5018 0 1 0 26 0 0 0 20 0 18 0 107260668 9787879424 6547 33554432000 1073741824 1073778376 140734662771648 140734662762784 239876472893 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/8810/statm: 2389619 6548 2216 9 0 2380296 0
Current children cumulated CPU time (s) 0.26
Current children cumulated vsize (KiB) 9558476

[startup+0.300216 s]
/proc/loadavg: 2.24 2.17 2.16 3/194 8810
/proc/meminfo: memFree=29884932/32872528 swapFree=15272/1656604
[pid=8810] ppid=8807 vsize=9625040 CPUtime=0.47 cores=0,2,4,6
/proc/8810/stat : 8810 (java) S 8807 8810 4042 0 -1 4202496 5708 0 1 0 46 1 0 0 20 0 19 0 107260668 9856040960 7886 33554432000 1073741824 1073778376 140734662771648 140734662762784 239876472893 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/8810/statm: 2406260 7886 2242 9 0 2396937 0
Current children cumulated CPU time (s) 0.47
Current children cumulated vsize (KiB) 9625040

[startup+0.700137 s]
/proc/loadavg: 2.24 2.17 2.16 3/194 8810
/proc/meminfo: memFree=29884932/32872528 swapFree=15272/1656604
[pid=8810] ppid=8807 vsize=9625040 CPUtime=1.28 cores=0,2,4,6
/proc/8810/stat : 8810 (java) S 8807 8810 4042 0 -1 4202496 10421 0 1 0 126 2 0 0 20 0 19 0 107260668 9856040960 10340 33554432000 1073741824 1073778376 140734662771648 140734662762784 239876472893 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/8810/statm: 2406260 10340 2254 9 0 2396937 0
Current children cumulated CPU time (s) 1.28
Current children cumulated vsize (KiB) 9625040

[startup+1.50074 s]
/proc/loadavg: 2.24 2.17 2.16 3/213 8829
/proc/meminfo: memFree=29851260/32872528 swapFree=15272/1656604
[pid=8810] ppid=8807 vsize=9625040 CPUtime=2.13 cores=0,2,4,6
/proc/8810/stat : 8810 (java) S 8807 8810 4042 0 -1 4202496 10784 0 1 0 211 2 0 0 20 0 19 0 107260668 9856040960 10573 33554432000 1073741824 1073778376 140734662771648 140734662762784 239876472893 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/8810/statm: 2406260 10573 2260 9 0 2396937 0
[pid=8810/tid=8812] ppid=8807 vsize=9625040 CPUtime=1.46 cores=0,2,4,6
/proc/8810/task/8812/stat : 8812 (java) R 8807 8810 4042 0 -1 4202560 2475 0 1 0 146 0 0 0 20 0 19 0 107260669 9856040960 10573 33554432000 1073741824 1073778376 140734662771648 140602738556640 140602611505376 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=8810/tid=8813] ppid=8807 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8810/task/8813/stat : 8813 (java) S 8807 8810 4042 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107260670 9856040960 10573 33554432000 1073741824 1073778376 140734662771648 140602582530856 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8810/tid=8814] ppid=8807 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8810/task/8814/stat : 8814 (java) S 8807 8810 4042 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107260670 9856040960 10573 33554432000 1073741824 1073778376 140734662771648 140602581478056 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8810/tid=8815] ppid=8807 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8810/task/8815/stat : 8815 (java) S 8807 8810 4042 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107260670 9856040960 10573 33554432000 1073741824 1073778376 140734662771648 140602580425768 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8810/tid=8816] ppid=8807 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8810/task/8816/stat : 8816 (java) S 8807 8810 4042 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107260670 9856040960 10573 33554432000 1073741824 1073778376 140734662771648 140602579372968 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8810/tid=8817] ppid=8807 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8810/task/8817/stat : 8817 (java) S 8807 8810 4042 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107260670 9856040960 10573 33554432000 1073741824 1073778376 140734662771648 140602578319656 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8810/tid=8818] ppid=8807 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8810/task/8818/stat : 8818 (java) S 8807 8810 4042 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107260670 9856040960 10573 33554432000 1073741824 1073778376 140734662771648 140602577266856 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8810/tid=8819] ppid=8807 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8810/task/8819/stat : 8819 (java) S 8807 8810 4042 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107260670 9856040960 10573 33554432000 1073741824 1073778376 140734662771648 140602576214568 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8810/tid=8820] ppid=8807 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8810/task/8820/stat : 8820 (java) S 8807 8810 4042 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 107260670 9856040960 10573 33554432000 1073741824 1073778376 140734662771648 140602575161768 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8810/tid=8821] ppid=8807 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8810/task/8821/stat : 8821 (java) S 8807 8810 4042 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 107260671 9856040960 10573 33554432000 1073741824 1073778376 140734662771648 140602562751208 239876487081 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8810/tid=8822] ppid=8807 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8810/task/8822/stat : 8822 (java) S 8807 8810 4042 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 107260672 9856040960 10573 33554432000 1073741824 1073778376 140734662771648 140602561697272 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8810/tid=8823] ppid=8807 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8810/task/8823/stat : 8823 (java) S 8807 8810 4042 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 107260672 9856040960 10573 33554432000 1073741824 1073778376 140734662771648 140602560644872 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8810/tid=8824] ppid=8807 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8810/task/8824/stat : 8824 (java) S 8807 8810 4042 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107260674 9856040960 10573 33554432000 1073741824 1073778376 140734662771648 140602559593360 239876495136 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8810/tid=8825] ppid=8807 vsize=9625040 CPUtime=0.29 cores=0,2,4,6
/proc/8810/task/8825/stat : 8825 (java) S 8807 8810 4042 0 -1 4202560 3407 0 0 0 29 0 0 0 20 0 19 0 107260674 9856040960 10573 33554432000 1073741824 1073778376 140734662771648 140602558539960 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8810/tid=8826] ppid=8807 vsize=9625040 CPUtime=0.35 cores=0,2,4,6
/proc/8810/task/8826/stat : 8826 (java) S 8807 8810 4042 0 -1 4202560 3629 0 0 0 33 2 0 0 20 0 19 0 107260674 9856040960 10573 33554432000 1073741824 1073778376 140734662771648 140602557487160 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8810/tid=8827] ppid=8807 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8810/task/8827/stat : 8827 (java) S 8807 8810 4042 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107260674 9856040960 10573 33554432000 1073741824 1073778376 140734662771648 140602556435064 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8810/tid=8828] ppid=8807 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8810/task/8828/stat : 8828 (java) S 8807 8810 4042 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107260674 9856040960 10573 33554432000 1073741824 1073778376 140734662771648 140602555382472 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8810/tid=8829] ppid=8807 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8810/task/8829/stat : 8829 (java) S 8807 8810 4042 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 107260697 9856040960 10573 33554432000 1073741824 1073778376 140734662771648 140602554328488 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 2.13
Current children cumulated vsize (KiB) 9625040

[startup+3.10075 s]
/proc/loadavg: 2.24 2.17 2.16 3/213 8829
/proc/meminfo: memFree=29850764/32872528 swapFree=15272/1656604
[pid=8810] ppid=8807 vsize=9625040 CPUtime=3.77 cores=0,2,4,6
/proc/8810/stat : 8810 (java) S 8807 8810 4042 0 -1 4202496 10792 0 1 0 375 2 0 0 20 0 19 0 107260668 9856040960 11090 33554432000 1073741824 1073778376 140734662771648 140734662762784 239876472893 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/8810/statm: 2406260 11090 2260 9 0 2396937 0
[pid=8810/tid=8812] ppid=8807 vsize=9625040 CPUtime=3.05 cores=0,2,4,6
/proc/8810/task/8812/stat : 8812 (java) R 8807 8810 4042 0 -1 4202560 2478 0 1 0 305 0 0 0 20 0 19 0 107260669 9856040960 11090 33554432000 1073741824 1073778376 140734662771648 140602738563480 140602611450034 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=8810/tid=8813] ppid=8807 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8810/task/8813/stat : 8813 (java) S 8807 8810 4042 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107260670 9856040960 11090 33554432000 1073741824 1073778376 140734662771648 140602582530856 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8810/tid=8814] ppid=8807 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8810/task/8814/stat : 8814 (java) S 8807 8810 4042 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107260670 9856040960 11090 33554432000 1073741824 1073778376 140734662771648 140602581478056 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8810/tid=8815] ppid=8807 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8810/task/8815/stat : 8815 (java) S 8807 8810 4042 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107260670 9856040960 11090 33554432000 1073741824 1073778376 140734662771648 140602580425768 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8810/tid=8816] ppid=8807 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8810/task/8816/stat : 8816 (java) S 8807 8810 4042 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107260670 9856040960 11090 33554432000 1073741824 1073778376 140734662771648 140602579372968 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8810/tid=8817] ppid=8807 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8810/task/8817/stat : 8817 (java) S 8807 8810 4042 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107260670 9856040960 11090 33554432000 1073741824 1073778376 140734662771648 140602578319656 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8810/tid=8818] ppid=8807 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8810/task/8818/stat : 8818 (java) S 8807 8810 4042 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107260670 9856040960 11090 33554432000 1073741824 1073778376 140734662771648 140602577266856 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8810/tid=8819] ppid=8807 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8810/task/8819/stat : 8819 (java) S 8807 8810 4042 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107260670 9856040960 11090 33554432000 1073741824 1073778376 140734662771648 140602576214568 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8810/tid=8820] ppid=8807 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8810/task/8820/stat : 8820 (java) S 8807 8810 4042 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 107260670 9856040960 11090 33554432000 1073741824 1073778376 140734662771648 140602575161768 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8810/tid=8821] ppid=8807 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8810/task/8821/stat : 8821 (java) S 8807 8810 4042 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 107260671 9856040960 11090 33554432000 1073741824 1073778376 140734662771648 140602562751208 239876487081 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8810/tid=8822] ppid=8807 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8810/task/8822/stat : 8822 (java) S 8807 8810 4042 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 107260672 9856040960 11090 33554432000 1073741824 1073778376 140734662771648 140602561697272 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8810/tid=8823] ppid=8807 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8810/task/8823/stat : 8823 (java) S 8807 8810 4042 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 107260672 9856040960 11090 33554432000 1073741824 1073778376 140734662771648 140602560644872 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8810/tid=8824] ppid=8807 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8810/task/8824/stat : 8824 (java) S 8807 8810 4042 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107260674 9856040960 11090 33554432000 1073741824 1073778376 140734662771648 140602559593360 239876495136 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8810/tid=8825] ppid=8807 vsize=9625040 CPUtime=0.31 cores=0,2,4,6
/proc/8810/task/8825/stat : 8825 (java) S 8807 8810 4042 0 -1 4202560 3410 0 0 0 31 0 0 0 20 0 19 0 107260674 9856040960 11090 33554432000 1073741824 1073778376 140734662771648 140602558539960 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8810/tid=8826] ppid=8807 vsize=9625040 CPUtime=0.37 cores=0,2,4,6
/proc/8810/task/8826/stat : 8826 (java) S 8807 8810 4042 0 -1 4202560 3631 0 0 0 35 2 0 0 20 0 19 0 107260674 9856040960 11090 33554432000 1073741824 1073778376 140734662771648 140602557487160 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8810/tid=8827] ppid=8807 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8810/task/8827/stat : 8827 (java) S 8807 8810 4042 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107260674 9856040960 11090 33554432000 1073741824 1073778376 140734662771648 140602556435064 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8810/tid=8828] ppid=8807 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8810/task/8828/stat : 8828 (java) S 8807 8810 4042 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107260674 9856040960 11090 33554432000 1073741824 1073778376 140734662771648 140602555382472 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8810/tid=8829] ppid=8807 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8810/task/8829/stat : 8829 (java) S 8807 8810 4042 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 107260697 9856040960 11090 33554432000 1073741824 1073778376 140734662771648 140602554328488 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 3.77
Current children cumulated vsize (KiB) 9625040

[startup+6.30077 s]
/proc/loadavg: 2.22 2.17 2.16 3/213 8829
/proc/meminfo: memFree=29846676/32872528 swapFree=15272/1656604
[pid=8810] ppid=8807 vsize=9625040 CPUtime=6.99 cores=0,2,4,6
/proc/8810/stat : 8810 (java) S 8807 8810 4042 0 -1 4202496 10840 0 1 0 697 2 0 0 20 0 19 0 107260668 9856040960 11866 33554432000 1073741824 1073778376 140734662771648 140734662762784 239876472893 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/8810/statm: 2406260 11866 2261 9 0 2396937 0
[pid=8810/tid=8812] ppid=8807 vsize=9625040 CPUtime=6.24 cores=0,2,4,6
/proc/8810/task/8812/stat : 8812 (java) R 8807 8810 4042 0 -1 4202560 2481 0 1 0 624 0 0 0 20 0 19 0 107260669 9856040960 11866 33554432000 1073741824 1073778376 140734662771648 140602738565416 140602611519217 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=8810/tid=8813] ppid=8807 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8810/task/8813/stat : 8813 (java) S 8807 8810 4042 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107260670 9856040960 11866 33554432000 1073741824 1073778376 140734662771648 140602582530856 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8810/tid=8814] ppid=8807 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8810/task/8814/stat : 8814 (java) S 8807 8810 4042 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107260670 9856040960 11866 33554432000 1073741824 1073778376 140734662771648 140602581478056 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8810/tid=8815] ppid=8807 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8810/task/8815/stat : 8815 (java) S 8807 8810 4042 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107260670 9856040960 11866 33554432000 1073741824 1073778376 140734662771648 140602580425768 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8810/tid=8816] ppid=8807 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8810/task/8816/stat : 8816 (java) S 8807 8810 4042 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107260670 9856040960 11866 33554432000 1073741824 1073778376 140734662771648 140602579372968 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8810/tid=8817] ppid=8807 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8810/task/8817/stat : 8817 (java) S 8807 8810 4042 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107260670 9856040960 11866 33554432000 1073741824 1073778376 140734662771648 140602578319656 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8810/tid=8818] ppid=8807 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8810/task/8818/stat : 8818 (java) S 8807 8810 4042 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107260670 9856040960 11866 33554432000 1073741824 1073778376 140734662771648 140602577266856 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8810/tid=8819] ppid=8807 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8810/task/8819/stat : 8819 (java) S 8807 8810 4042 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107260670 9856040960 11866 33554432000 1073741824 1073778376 140734662771648 140602576214568 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8810/tid=8820] ppid=8807 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8810/task/8820/stat : 8820 (java) S 8807 8810 4042 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 107260670 9856040960 11866 33554432000 1073741824 1073778376 140734662771648 140602575161768 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8810/tid=8821] ppid=8807 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8810/task/8821/stat : 8821 (java) S 8807 8810 4042 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 107260671 9856040960 11866 33554432000 1073741824 1073778376 140734662771648 140602562751208 239876487081 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8810/tid=8822] ppid=8807 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8810/task/8822/stat : 8822 (java) S 8807 8810 4042 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 107260672 9856040960 11866 33554432000 1073741824 1073778376 140734662771648 140602561697272 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8810/tid=8823] ppid=8807 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8810/task/8823/stat : 8823 (java) S 8807 8810 4042 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 107260672 9856040960 11866 33554432000 1073741824 1073778376 140734662771648 140602560644872 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8810/tid=8824] ppid=8807 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8810/task/8824/stat : 8824 (java) S 8807 8810 4042 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107260674 9856040960 11866 33554432000 1073741824 1073778376 140734662771648 140602559593360 239876495136 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8810/tid=8825] ppid=8807 vsize=9625040 CPUtime=0.32 cores=0,2,4,6
/proc/8810/task/8825/stat : 8825 (java) S 8807 8810 4042 0 -1 4202560 3410 0 0 0 32 0 0 0 20 0 19 0 107260674 9856040960 11866 33554432000 1073741824 1073778376 140734662771648 140602558539960 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8810/tid=8826] ppid=8807 vsize=9625040 CPUtime=0.39 cores=0,2,4,6
/proc/8810/task/8826/stat : 8826 (java) S 8807 8810 4042 0 -1 4202560 3675 0 0 0 37 2 0 0 20 0 19 0 107260674 9856040960 11866 33554432000 1073741824 1073778376 140734662771648 140602557487160 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8810/tid=8827] ppid=8807 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8810/task/8827/stat : 8827 (java) S 8807 8810 4042 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107260674 9856040960 11866 33554432000 1073741824 1073778376 140734662771648 140602556435064 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8810/tid=8828] ppid=8807 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8810/task/8828/stat : 8828 (java) S 8807 8810 4042 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 107260674 9856040960 11866 33554432000 1073741824 1073778376 140734662771648 140602555382472 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8810/tid=8829] ppid=8807 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8810/task/8829/stat : 8829 (java) S 8807 8810 4042 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 107260697 9856040960 11866 33554432000 1073741824 1073778376 140734662771648 140602554328488 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 6.99
Current children cumulated vsize (KiB) 9625040


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

[pid=8810/tid=8829] ppid=8807 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8810/task/8829/stat : 8829 (java) S 8807 8810 4042 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 107260697 9856040960 73667 33554432000 1073741824 1073778376 140734662771648 140602554328488 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1663.84
Current children cumulated vsize (KiB) 9625040

[startup+1722.3 s]
/proc/loadavg: 2.14 2.26 2.23 3/213 8961
/proc/meminfo: memFree=29473748/32872528 swapFree=15272/1656604
[pid=8810] ppid=8807 vsize=9625040 CPUtime=1723.85 cores=0,2,4,6
/proc/8810/stat : 8810 (java) S 8807 8810 4042 0 -1 4202496 12493 0 1 0 172353 32 0 0 20 0 19 0 107260668 9856040960 73667 33554432000 1073741824 1073778376 140734662771648 140734662762784 239876472893 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/8810/statm: 2406260 73667 2275 9 0 2396937 0
[pid=8810/tid=8812] ppid=8807 vsize=9625040 CPUtime=1717.48 cores=0,2,4,6
/proc/8810/task/8812/stat : 8812 (java) R 8807 8810 4042 0 -1 4202560 2550 0 1 0 171720 28 0 0 20 0 19 0 107260669 9856040960 73667 33554432000 1073741824 1073778376 140734662771648 140602738556704 140602611518076 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=8810/tid=8813] ppid=8807 vsize=9625040 CPUtime=0.12 cores=0,2,4,6
/proc/8810/task/8813/stat : 8813 (java) S 8807 8810 4042 0 -1 4202560 35 0 0 0 10 2 0 0 20 0 19 0 107260670 9856040960 73667 33554432000 1073741824 1073778376 140734662771648 140602582530856 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8810/tid=8814] ppid=8807 vsize=9625040 CPUtime=0.11 cores=0,2,4,6
/proc/8810/task/8814/stat : 8814 (java) S 8807 8810 4042 0 -1 4202560 130 0 0 0 9 2 0 0 20 0 19 0 107260670 9856040960 73667 33554432000 1073741824 1073778376 140734662771648 140602581478056 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8810/tid=8815] ppid=8807 vsize=9625040 CPUtime=0.16 cores=0,2,4,6
/proc/8810/task/8815/stat : 8815 (java) S 8807 8810 4042 0 -1 4202560 221 0 0 0 14 2 0 0 20 0 19 0 107260670 9856040960 73667 33554432000 1073741824 1073778376 140734662771648 140602580425768 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8810/tid=8816] ppid=8807 vsize=9625040 CPUtime=0.13 cores=0,2,4,6
/proc/8810/task/8816/stat : 8816 (java) S 8807 8810 4042 0 -1 4202560 224 0 0 0 11 2 0 0 20 0 19 0 107260670 9856040960 73667 33554432000 1073741824 1073778376 140734662771648 140602579372968 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8810/tid=8817] ppid=8807 vsize=9625040 CPUtime=0.1 cores=0,2,4,6
/proc/8810/task/8817/stat : 8817 (java) S 8807 8810 4042 0 -1 4202560 237 0 0 0 9 1 0 0 20 0 19 0 107260670 9856040960 73667 33554432000 1073741824 1073778376 140734662771648 140602578319656 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8810/tid=8818] ppid=8807 vsize=9625040 CPUtime=0.11 cores=0,2,4,6
/proc/8810/task/8818/stat : 8818 (java) S 8807 8810 4042 0 -1 4202560 29 0 0 0 9 2 0 0 20 0 19 0 107260670 9856040960 73667 33554432000 1073741824 1073778376 140734662771648 140602577266856 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8810/tid=8819] ppid=8807 vsize=9625040 CPUtime=0.12 cores=0,2,4,6
/proc/8810/task/8819/stat : 8819 (java) S 8807 8810 4042 0 -1 4202560 23 0 0 0 10 2 0 0 20 0 19 0 107260670 9856040960 73667 33554432000 1073741824 1073778376 140734662771648 140602576214568 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8810/tid=8820] ppid=8807 vsize=9625040 CPUtime=0.1 cores=0,2,4,6
/proc/8810/task/8820/stat : 8820 (java) S 8807 8810 4042 0 -1 4202560 142 0 0 0 8 2 0 0 20 0 19 0 107260670 9856040960 73667 33554432000 1073741824 1073778376 140734662771648 140602575161768 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8810/tid=8821] ppid=8807 vsize=9625040 CPUtime=0.01 cores=0,2,4,6
/proc/8810/task/8821/stat : 8821 (java) S 8807 8810 4042 0 -1 4202560 49 0 0 0 1 0 0 0 20 0 19 0 107260671 9856040960 73667 33554432000 1073741824 1073778376 140734662771648 140602562751208 239876487081 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8810/tid=8822] ppid=8807 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8810/task/8822/stat : 8822 (java) S 8807 8810 4042 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 107260672 9856040960 73667 33554432000 1073741824 1073778376 140734662771648 140602561697272 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8810/tid=8823] ppid=8807 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8810/task/8823/stat : 8823 (java) S 8807 8810 4042 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 107260672 9856040960 73667 33554432000 1073741824 1073778376 140734662771648 140602560644872 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8810/tid=8824] ppid=8807 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8810/task/8824/stat : 8824 (java) S 8807 8810 4042 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107260674 9856040960 73667 33554432000 1073741824 1073778376 140734662771648 140602559593360 239876495136 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8810/tid=8825] ppid=8807 vsize=9625040 CPUtime=0.36 cores=0,2,4,6
/proc/8810/task/8825/stat : 8825 (java) S 8807 8810 4042 0 -1 4202560 3424 0 0 0 36 0 0 0 20 0 19 0 107260674 9856040960 73667 33554432000 1073741824 1073778376 140734662771648 140602558539960 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8810/tid=8826] ppid=8807 vsize=9625040 CPUtime=0.43 cores=0,2,4,6
/proc/8810/task/8826/stat : 8826 (java) S 8807 8810 4042 0 -1 4202560 4070 0 0 0 41 2 0 0 20 0 19 0 107260674 9856040960 73667 33554432000 1073741824 1073778376 140734662771648 140602557487160 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8810/tid=8827] ppid=8807 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8810/task/8827/stat : 8827 (java) S 8807 8810 4042 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107260674 9856040960 73667 33554432000 1073741824 1073778376 140734662771648 140602556435064 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8810/tid=8828] ppid=8807 vsize=9625040 CPUtime=0.37 cores=0,2,4,6
/proc/8810/task/8828/stat : 8828 (java) S 8807 8810 4042 0 -1 4202560 100 0 0 0 17 20 0 0 20 0 19 0 107260674 9856040960 73667 33554432000 1073741824 1073778376 140734662771648 140602555382472 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8810/tid=8829] ppid=8807 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8810/task/8829/stat : 8829 (java) S 8807 8810 4042 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 107260697 9856040960 73667 33554432000 1073741824 1073778376 140734662771648 140602554328488 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1723.85
Current children cumulated vsize (KiB) 9625040

[startup+1782.3 s]
/proc/loadavg: 2.19 2.25 2.23 3/213 8962
/proc/meminfo: memFree=29461024/32872528 swapFree=15272/1656604
[pid=8810] ppid=8807 vsize=9625040 CPUtime=1783.97 cores=0,2,4,6
/proc/8810/stat : 8810 (java) S 8807 8810 4042 0 -1 4202496 12521 0 1 0 178364 33 0 0 20 0 19 0 107260668 9856040960 76742 33554432000 1073741824 1073778376 140734662771648 140734662762784 239876472893 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/8810/statm: 2406260 76742 2275 9 0 2396937 0
[pid=8810/tid=8812] ppid=8807 vsize=9625040 CPUtime=1777.28 cores=0,2,4,6
/proc/8810/task/8812/stat : 8812 (java) R 8807 8810 4042 0 -1 4202560 2551 0 1 0 177699 29 0 0 20 0 19 0 107260669 9856040960 76742 33554432000 1073741824 1073778376 140734662771648 140602738556704 140602611518076 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=8810/tid=8813] ppid=8807 vsize=9625040 CPUtime=0.13 cores=0,2,4,6
/proc/8810/task/8813/stat : 8813 (java) S 8807 8810 4042 0 -1 4202560 37 0 0 0 11 2 0 0 20 0 19 0 107260670 9856040960 76742 33554432000 1073741824 1073778376 140734662771648 140602582530856 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8810/tid=8814] ppid=8807 vsize=9625040 CPUtime=0.12 cores=0,2,4,6
/proc/8810/task/8814/stat : 8814 (java) S 8807 8810 4042 0 -1 4202560 131 0 0 0 10 2 0 0 20 0 19 0 107260670 9856040960 76742 33554432000 1073741824 1073778376 140734662771648 140602581478056 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8810/tid=8815] ppid=8807 vsize=9625040 CPUtime=0.18 cores=0,2,4,6
/proc/8810/task/8815/stat : 8815 (java) S 8807 8810 4042 0 -1 4202560 222 0 0 0 16 2 0 0 20 0 19 0 107260670 9856040960 76742 33554432000 1073741824 1073778376 140734662771648 140602580425768 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8810/tid=8816] ppid=8807 vsize=9625040 CPUtime=0.15 cores=0,2,4,6
/proc/8810/task/8816/stat : 8816 (java) S 8807 8810 4042 0 -1 4202560 226 0 0 0 13 2 0 0 20 0 19 0 107260670 9856040960 76742 33554432000 1073741824 1073778376 140734662771648 140602579372968 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8810/tid=8817] ppid=8807 vsize=9625040 CPUtime=0.14 cores=0,2,4,6
/proc/8810/task/8817/stat : 8817 (java) S 8807 8810 4042 0 -1 4202560 241 0 0 0 13 1 0 0 20 0 19 0 107260670 9856040960 76742 33554432000 1073741824 1073778376 140734662771648 140602578319656 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8810/tid=8818] ppid=8807 vsize=9625040 CPUtime=0.13 cores=0,2,4,6
/proc/8810/task/8818/stat : 8818 (java) S 8807 8810 4042 0 -1 4202560 32 0 0 0 11 2 0 0 20 0 19 0 107260670 9856040960 76742 33554432000 1073741824 1073778376 140734662771648 140602577266856 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8810/tid=8819] ppid=8807 vsize=9625040 CPUtime=0.14 cores=0,2,4,6
/proc/8810/task/8819/stat : 8819 (java) S 8807 8810 4042 0 -1 4202560 25 0 0 0 12 2 0 0 20 0 19 0 107260670 9856040960 76742 33554432000 1073741824 1073778376 140734662771648 140602576214568 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8810/tid=8820] ppid=8807 vsize=9625040 CPUtime=0.12 cores=0,2,4,6
/proc/8810/task/8820/stat : 8820 (java) S 8807 8810 4042 0 -1 4202560 145 0 0 0 10 2 0 0 20 0 19 0 107260670 9856040960 76742 33554432000 1073741824 1073778376 140734662771648 140602575161768 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8810/tid=8821] ppid=8807 vsize=9625040 CPUtime=0.01 cores=0,2,4,6
/proc/8810/task/8821/stat : 8821 (java) S 8807 8810 4042 0 -1 4202560 54 0 0 0 1 0 0 0 20 0 19 0 107260671 9856040960 76742 33554432000 1073741824 1073778376 140734662771648 140602562751208 239876487081 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8810/tid=8822] ppid=8807 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8810/task/8822/stat : 8822 (java) S 8807 8810 4042 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 107260672 9856040960 76742 33554432000 1073741824 1073778376 140734662771648 140602561697272 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8810/tid=8823] ppid=8807 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8810/task/8823/stat : 8823 (java) S 8807 8810 4042 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 107260672 9856040960 76742 33554432000 1073741824 1073778376 140734662771648 140602560644872 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8810/tid=8824] ppid=8807 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8810/task/8824/stat : 8824 (java) S 8807 8810 4042 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107260674 9856040960 76742 33554432000 1073741824 1073778376 140734662771648 140602559593360 239876495136 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8810/tid=8825] ppid=8807 vsize=9625040 CPUtime=0.36 cores=0,2,4,6
/proc/8810/task/8825/stat : 8825 (java) S 8807 8810 4042 0 -1 4202560 3424 0 0 0 36 0 0 0 20 0 19 0 107260674 9856040960 76742 33554432000 1073741824 1073778376 140734662771648 140602558539960 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8810/tid=8826] ppid=8807 vsize=9625040 CPUtime=0.43 cores=0,2,4,6
/proc/8810/task/8826/stat : 8826 (java) S 8807 8810 4042 0 -1 4202560 4070 0 0 0 41 2 0 0 20 0 19 0 107260674 9856040960 76742 33554432000 1073741824 1073778376 140734662771648 140602557487160 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8810/tid=8827] ppid=8807 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8810/task/8827/stat : 8827 (java) S 8807 8810 4042 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107260674 9856040960 76742 33554432000 1073741824 1073778376 140734662771648 140602556435064 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8810/tid=8828] ppid=8807 vsize=9625040 CPUtime=0.38 cores=0,2,4,6
/proc/8810/task/8828/stat : 8828 (java) S 8807 8810 4042 0 -1 4202560 104 0 0 0 17 21 0 0 20 0 19 0 107260674 9856040960 76742 33554432000 1073741824 1073778376 140734662771648 140602555382472 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8810/tid=8829] ppid=8807 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8810/task/8829/stat : 8829 (java) S 8807 8810 4042 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 107260697 9856040960 76742 33554432000 1073741824 1073778376 140734662771648 140602554328488 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1783.97
Current children cumulated vsize (KiB) 9625040



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1798.4 s]
/proc/loadavg: 2.15 2.24 2.22 4/213 8962
/proc/meminfo: memFree=29461652/32872528 swapFree=15272/1656604
[pid=8810] ppid=8807 vsize=9625040 CPUtime=1800.07 cores=0,2,4,6
/proc/8810/stat : 8810 (java) S 8807 8810 4042 0 -1 4202496 12521 0 1 0 179974 33 0 0 20 0 19 0 107260668 9856040960 76742 33554432000 1073741824 1073778376 140734662771648 140734662762784 239876472893 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/8810/statm: 2406260 76742 2275 9 0 2396937 0
[pid=8810/tid=8812] ppid=8807 vsize=9625040 CPUtime=1793.34 cores=0,2,4,6
/proc/8810/task/8812/stat : 8812 (java) R 8807 8810 4042 0 -1 4202560 2551 0 1 0 179305 29 0 0 20 0 19 0 107260669 9856040960 76742 33554432000 1073741824 1073778376 140734662771648 140602738556704 140602611518076 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=8810/tid=8813] ppid=8807 vsize=9625040 CPUtime=0.13 cores=0,2,4,6
/proc/8810/task/8813/stat : 8813 (java) S 8807 8810 4042 0 -1 4202560 37 0 0 0 11 2 0 0 20 0 19 0 107260670 9856040960 76742 33554432000 1073741824 1073778376 140734662771648 140602582530856 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8810/tid=8814] ppid=8807 vsize=9625040 CPUtime=0.12 cores=0,2,4,6
/proc/8810/task/8814/stat : 8814 (java) S 8807 8810 4042 0 -1 4202560 131 0 0 0 10 2 0 0 20 0 19 0 107260670 9856040960 76742 33554432000 1073741824 1073778376 140734662771648 140602581478056 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8810/tid=8815] ppid=8807 vsize=9625040 CPUtime=0.18 cores=0,2,4,6
/proc/8810/task/8815/stat : 8815 (java) S 8807 8810 4042 0 -1 4202560 222 0 0 0 16 2 0 0 20 0 19 0 107260670 9856040960 76742 33554432000 1073741824 1073778376 140734662771648 140602580425768 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8810/tid=8816] ppid=8807 vsize=9625040 CPUtime=0.15 cores=0,2,4,6
/proc/8810/task/8816/stat : 8816 (java) S 8807 8810 4042 0 -1 4202560 226 0 0 0 13 2 0 0 20 0 19 0 107260670 9856040960 76742 33554432000 1073741824 1073778376 140734662771648 140602579372968 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8810/tid=8817] ppid=8807 vsize=9625040 CPUtime=0.14 cores=0,2,4,6
/proc/8810/task/8817/stat : 8817 (java) S 8807 8810 4042 0 -1 4202560 241 0 0 0 13 1 0 0 20 0 19 0 107260670 9856040960 76742 33554432000 1073741824 1073778376 140734662771648 140602578319656 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8810/tid=8818] ppid=8807 vsize=9625040 CPUtime=0.13 cores=0,2,4,6
/proc/8810/task/8818/stat : 8818 (java) S 8807 8810 4042 0 -1 4202560 32 0 0 0 11 2 0 0 20 0 19 0 107260670 9856040960 76742 33554432000 1073741824 1073778376 140734662771648 140602577266856 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8810/tid=8819] ppid=8807 vsize=9625040 CPUtime=0.14 cores=0,2,4,6
/proc/8810/task/8819/stat : 8819 (java) S 8807 8810 4042 0 -1 4202560 25 0 0 0 12 2 0 0 20 0 19 0 107260670 9856040960 76742 33554432000 1073741824 1073778376 140734662771648 140602576214568 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8810/tid=8820] ppid=8807 vsize=9625040 CPUtime=0.12 cores=0,2,4,6
/proc/8810/task/8820/stat : 8820 (java) S 8807 8810 4042 0 -1 4202560 145 0 0 0 10 2 0 0 20 0 19 0 107260670 9856040960 76742 33554432000 1073741824 1073778376 140734662771648 140602575161768 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8810/tid=8821] ppid=8807 vsize=9625040 CPUtime=0.01 cores=0,2,4,6
/proc/8810/task/8821/stat : 8821 (java) S 8807 8810 4042 0 -1 4202560 54 0 0 0 1 0 0 0 20 0 19 0 107260671 9856040960 76742 33554432000 1073741824 1073778376 140734662771648 140602562751208 239876487081 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8810/tid=8822] ppid=8807 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8810/task/8822/stat : 8822 (java) S 8807 8810 4042 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 107260672 9856040960 76742 33554432000 1073741824 1073778376 140734662771648 140602561697272 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8810/tid=8823] ppid=8807 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8810/task/8823/stat : 8823 (java) S 8807 8810 4042 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 107260672 9856040960 76742 33554432000 1073741824 1073778376 140734662771648 140602560644872 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8810/tid=8824] ppid=8807 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8810/task/8824/stat : 8824 (java) S 8807 8810 4042 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107260674 9856040960 76742 33554432000 1073741824 1073778376 140734662771648 140602559593360 239876495136 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8810/tid=8825] ppid=8807 vsize=9625040 CPUtime=0.36 cores=0,2,4,6
/proc/8810/task/8825/stat : 8825 (java) S 8807 8810 4042 0 -1 4202560 3424 0 0 0 36 0 0 0 20 0 19 0 107260674 9856040960 76742 33554432000 1073741824 1073778376 140734662771648 140602558539960 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8810/tid=8826] ppid=8807 vsize=9625040 CPUtime=0.43 cores=0,2,4,6
/proc/8810/task/8826/stat : 8826 (java) S 8807 8810 4042 0 -1 4202560 4070 0 0 0 41 2 0 0 20 0 19 0 107260674 9856040960 76742 33554432000 1073741824 1073778376 140734662771648 140602557487160 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8810/tid=8827] ppid=8807 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8810/task/8827/stat : 8827 (java) S 8807 8810 4042 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107260674 9856040960 76742 33554432000 1073741824 1073778376 140734662771648 140602556435064 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8810/tid=8828] ppid=8807 vsize=9625040 CPUtime=0.4 cores=0,2,4,6
/proc/8810/task/8828/stat : 8828 (java) S 8807 8810 4042 0 -1 4202560 104 0 0 0 19 21 0 0 20 0 19 0 107260674 9856040960 76742 33554432000 1073741824 1073778376 140734662771648 140602555382472 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8810/tid=8829] ppid=8807 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8810/task/8829/stat : 8829 (java) S 8807 8810 4042 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 107260697 9856040960 76742 33554432000 1073741824 1073778376 140734662771648 140602554328488 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 9625040

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

Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 8810 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

Child status: 143

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 8810 and gives
#  childrusage.ru_utime.tv_sec=1795
#  childrusage.ru_utime.tv_usec=191089
#  childrusage.ru_stime.tv_sec=0
#  childrusage.ru_stime.tv_usec=809876
# CPU time returned by wait4() is 1796
# while last known CPU time is 1800.07
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1798.44
CPU time (s): 1800.07
CPU user time (s): 1799.74
CPU system time (s): 0.33
CPU usage (%): 100.091
Max. virtual memory (cumulated for all children) (KiB): 9625040

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1795.19
system time used= 0.809876
maximum resident set size= 307156
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 12575
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1192
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 38393
involuntary context switches= 4796

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.41518 second user time and 7.02993 second system time

The end

Launcher Data 

Begin job on node136 at 2016-06-07 00:47:53
IDJOB=4085504
IDBENCH=25042
IDSOLVER=2546
FILE ID=node136/4085504-1465253273
RUNJOBID= node136-1465237111-7010
PBS_JOBID= 19843227
Free space on /tmp= 71736 MiB

SOLVER NAME= Sat4j PB 2.3.6 Resolution PB16
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/area_opers/normalized-fir02_area_opers.opb
COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4085504-1465253273/watcher-4085504-1465253273 -o /tmp/evaluation-result-4085504-1465253273/solver-4085504-1465253273 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node136-1465237111-7010 --watchdog 1960  java -jar sat4j-pb.jar HOME/instance-4085504-1465253273.opb

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

MD5SUM BENCH= 918383404e7b51b9b3205c84ccd5b510
RANDOM SEED=707350386

node136.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.959
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	: 5333.91
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.959
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	: 5332.55
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.959
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	: 5332.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.959
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	: 5332.55
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.959
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	: 5332.55
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.959
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	: 5332.59
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.959
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	: 5332.55
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.959
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	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        29885732 kB
Buffers:           35664 kB
Cached:           116856 kB
SwapCached:          804 kB
Active:           525472 kB
Inactive:         101916 kB
Active(anon):     476024 kB
Inactive(anon):     1208 kB
Active(file):      49448 kB
Inactive(file):   100708 kB
Unevictable:     1656604 kB
Mlocked:           15272 kB
SwapTotal:      67108856 kB
SwapFree:       67099344 kB
Dirty:               448 kB
Writeback:             0 kB
AnonPages:       2116116 kB
Mapped:            15404 kB
Shmem:                 0 kB
Slab:             567432 kB
SReclaimable:      11444 kB
SUnreclaim:       555988 kB
KernelStack:        1760 kB
PageTables:         8624 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2333168 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   2088960 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71736 MiB
End job on node136 at 2016-06-07 01:17:52