Trace number 4110695

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)1965958209 1800.05 1796.76

General information on the benchmark

Namenormalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/
normalized-single-obj-f37-AC_TotalLoss.seq-B-2-1-irabcde.opb
MD5SUMb189f43e6422a8d157eae5ff2d2c2f3c
Bench CategoryOPT-BIGINT-LIN (optimisation, big integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark1678960413
Best CPU time to get the best result obtained on this benchmark6.44702
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables3211
Total number of constraints9079
Number of constraints which are clauses8975
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints104
Minimum length of a constraint1
Maximum length of a constraint27
Number of terms in the objective function 301
Biggest coefficient in the objective function 71744535
Number of bits for the biggest coefficient in the objective function 27
Sum of the numbers in the objective function 12053081879
Number of bits of the sum of numbers in the objective function 34
Biggest number in a constraint 71744535
Number of bits of the biggest number in a constraint 27
Biggest sum of numbers in a constraint 12053081879
Number of bits of the biggest sum of numbers34
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.08	c version PB16.v20160501
0.00/0.08	c java.runtime.name	Java(TM) SE Runtime Environment
0.00/0.08	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.00/0.08	c java.vm.version	19.1-b02
0.00/0.08	c java.vm.vendor	Sun Microsystems Inc.
0.00/0.08	c sun.arch.data.model	64
0.00/0.08	c java.version		1.6.0_24
0.00/0.08	c os.name		Linux
0.00/0.08	c os.version		2.6.32-71.29.1.el6.x86_64
0.00/0.08	c os.arch		amd64
0.00/0.08	c Free memory 		501472288
0.00/0.08	c Max memory 		7480803328
0.00/0.08	c Total memory 		504102912
0.00/0.08	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@41ac1fe4
0.09/0.11	c --- End Solver configuration ---
0.09/0.11	c solving HOME/instance-4110695-1466387532.opb
0.09/0.11	c reading problem ... 
0.09/0.11	c  objective function found
0.51/0.38	c ... done. Wall clock time 0.273s.
0.51/0.38	c declared #vars     3211
0.51/0.38	c #constraints  9079
0.51/0.38	c constraints type 
0.51/0.38	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 2466
0.51/0.38	c org.sat4j.specs.Constr$1 => 542
0.51/0.38	c org.sat4j.minisat.constraints.card.MinWatchCard => 26
0.51/0.38	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 5836
0.51/0.38	c org.sat4j.minisat.constraints.cnf.UnitClause => 209
0.51/0.38	c 9079 constraints processed.
0.51/0.38	c objective function length is 301 literals
0.78/0.44	c SATISFIABLE
0.78/0.44	c OPTIMIZING...
0.78/0.44	c Got one! Elapsed wall clock time (in seconds):0.333
0.78/0.44	o 2410872606
1.04/0.52	c Got one! Elapsed wall clock time (in seconds):0.419
1.04/0.52	o 2410852950
1.04/0.58	c Got one! Elapsed wall clock time (in seconds):0.479
1.04/0.58	o 2410833294
1.22/0.60	c Got one! Elapsed wall clock time (in seconds):0.493
1.22/0.60	o 2410813638
1.48/0.80	c Got one! Elapsed wall clock time (in seconds):0.693
1.48/0.80	o 2410794684
1.48/0.86	c Got one! Elapsed wall clock time (in seconds):0.751
1.48/0.86	o 2410793982
2.03/1.26	c cleaning 3406 clauses out of 6820 with flag 14588/6820
2.58/1.77	c cleaning 4702 clauses out of 9414 with flag 34928/12820
2.68/1.88	c Got one! Elapsed wall clock time (in seconds):1.776
2.68/1.88	o 2410775028
2.82/1.93	c Got one! Elapsed wall clock time (in seconds):1.827
2.82/1.93	o 2410774326
3.16/2.17	c cleaning 5457 clauses out of 10929 with flag 9480/19037
3.47/2.46	c cleaning 5727 clauses out of 11473 with flag 24454/25038
3.79/2.73	c cleaning 6374 clauses out of 12747 with flag 39479/32039
4.09/3.03	c cleaning 7184 clauses out of 14371 with flag 56740/40037
4.49/3.47	c cleaning 8091 clauses out of 16187 with flag 77757/49037
4.99/3.98	c cleaning 9044 clauses out of 18096 with flag 100822/59037
5.09/4.05	c Got one! Elapsed wall clock time (in seconds):3.945
5.09/4.05	o 2339721963
5.34/4.20	c cleaning 7295 clauses out of 14594 with flag 9337/64579
5.55/4.42	c cleaning 6643 clauses out of 13299 with flag 23466/70579
5.65/4.51	c Got one! Elapsed wall clock time (in seconds):4.401
5.65/4.51	o 2339088759
5.65/4.51	c Got one! Elapsed wall clock time (in seconds):4.409
5.65/4.51	o 2195639001
5.65/4.52	c Got one! Elapsed wall clock time (in seconds):4.414
5.65/4.52	o 2195619345
5.65/4.53	c Got one! Elapsed wall clock time (in seconds):4.425
5.65/4.53	o 2195600391
5.65/4.53	c Got one! Elapsed wall clock time (in seconds):4.427
5.65/4.53	o 2195599689
5.65/4.55	c Got one! Elapsed wall clock time (in seconds):4.449
5.65/4.55	o 2195580735
5.65/4.56	c Got one! Elapsed wall clock time (in seconds):4.452
5.65/4.56	o 2195580033
5.86/4.75	c Got one! Elapsed wall clock time (in seconds):4.646
5.86/4.75	o 2195561079
5.96/4.89	c Got one! Elapsed wall clock time (in seconds):4.786
5.96/4.89	o 2195560377
6.06/4.98	c cleaning 6796 clauses out of 13607 with flag 3389/77530
6.36/5.28	c cleaning 6398 clauses out of 12811 with flag 18470/83530
6.76/5.62	c cleaning 6697 clauses out of 13413 with flag 35937/90530
7.05/5.98	c cleaning 7350 clauses out of 14717 with flag 54220/98531
7.55/6.44	c cleaning 8181 clauses out of 16366 with flag 75673/107530
8.05/6.93	c cleaning 9091 clauses out of 18186 with flag 98896/117531
8.55/7.45	c cleaning 10048 clauses out of 20095 with flag 122726/128531
9.16/8.03	c cleaning 11020 clauses out of 22049 with flag 148640/140533
9.76/8.67	c cleaning 12013 clauses out of 24030 with flag 176613/153534
10.56/9.41	c cleaning 13001 clauses out of 26014 with flag 206531/167531
11.36/10.26	c cleaning 14005 clauses out of 28013 with flag 239050/182531
12.27/11.16	c cleaning 14998 clauses out of 30007 with flag 273244/198530
13.16/12.10	c cleaning 15999 clauses out of 32010 with flag 309963/215531
14.36/13.22	c cleaning 17000 clauses out of 34010 with flag 348894/233530
15.56/14.44	c cleaning 18002 clauses out of 36010 with flag 390264/252530
16.85/15.72	c cleaning 18997 clauses out of 38008 with flag 433539/272530
18.25/17.14	c cleaning 20005 clauses out of 40011 with flag 478976/293530
19.86/18.80	c cleaning 21001 clauses out of 42008 with flag 526749/315532
21.55/20.47	c cleaning 22001 clauses out of 44007 with flag 576594/338532
23.36/22.26	c cleaning 22999 clauses out of 46004 with flag 628782/362530
25.37/24.20	c cleaning 24000 clauses out of 48005 with flag 683086/387530
27.31/26.17	c cleaning 25003 clauses out of 50005 with flag 739054/413530
29.61/28.40	c cleaning 25993 clauses out of 52002 with flag 797377/440530
31.81/30.69	c cleaning 27001 clauses out of 54011 with flag 857744/468532
34.21/33.01	c cleaning 28000 clauses out of 56008 with flag 920313/497530
36.61/35.47	c cleaning 29001 clauses out of 58009 with flag 985444/527531
39.31/38.11	c cleaning 30003 clauses out of 60008 with flag 1053796/558531
42.20/41.02	c cleaning 31000 clauses out of 62004 with flag 1123739/590530
45.01/43.83	c cleaning 31999 clauses out of 64004 with flag 1195924/623530
47.91/46.73	c cleaning 33003 clauses out of 66006 with flag 1269372/657531
51.02/49.84	c cleaning 33999 clauses out of 68003 with flag 1346827/692531
54.43/53.21	c cleaning 34996 clauses out of 70003 with flag 1426615/728530
58.04/56.89	c cleaning 36000 clauses out of 72007 with flag 1507367/765530
61.74/60.54	c cleaning 36997 clauses out of 74007 with flag 1589599/803530
65.74/64.51	c cleaning 38006 clauses out of 76011 with flag 1673749/842531
69.84/68.68	c cleaning 39003 clauses out of 78005 with flag 1760707/882531
74.14/72.90	c cleaning 39991 clauses out of 80002 with flag 1849169/923531
78.07/76.81	c cleaning 41004 clauses out of 82010 with flag 1940369/965530
82.37/81.13	c cleaning 41993 clauses out of 84006 with flag 2033245/1008530
86.67/85.48	c cleaning 43004 clauses out of 86014 with flag 2128184/1052531
89.07/87.86	c Got one! Elapsed wall clock time (in seconds):87.752
89.07/87.86	o 2195541423
89.77/88.55	c cleaning 37643 clauses out of 75289 with flag 12612/1084810
90.17/88.90	c cleaning 21816 clauses out of 43646 with flag 26234/1090810
90.48/89.23	c cleaning 14404 clauses out of 28829 with flag 42150/1097809
90.77/89.57	c cleaning 11205 clauses out of 22425 with flag 60467/1105809
91.17/89.95	c cleaning 10097 clauses out of 20221 with flag 80182/1114810
91.58/90.35	c cleaning 10054 clauses out of 20124 with flag 102238/1124810
92.07/90.83	c cleaning 10533 clauses out of 21070 with flag 126451/1135810
92.58/91.34	c cleaning 11267 clauses out of 22537 with flag 152950/1147810
93.17/91.90	c cleaning 12135 clauses out of 24269 with flag 181465/1160809
93.78/92.57	c cleaning 13061 clauses out of 26135 with flag 212224/1174810
94.57/93.31	c cleaning 14033 clauses out of 28074 with flag 245367/1189810
95.37/94.13	c cleaning 15017 clauses out of 30041 with flag 280713/1205810
96.27/95.04	c cleaning 16011 clauses out of 32023 with flag 318445/1222809
96.67/95.46	c Got one! Elapsed wall clock time (in seconds):95.355
96.67/95.46	o 2124469404
96.77/95.55	c Got one! Elapsed wall clock time (in seconds):95.445
96.77/95.55	o 2123894466
96.98/95.78	c cleaning 14839 clauses out of 29690 with flag 8797/1236487
97.28/96.07	c cleaning 10418 clauses out of 20849 with flag 21585/1242485
97.28/96.07	c Got one! Elapsed wall clock time (in seconds):95.968
97.28/96.07	o 2123874810
97.28/96.08	c Got one! Elapsed wall clock time (in seconds):95.978
97.28/96.08	o 2123855154
97.38/96.10	c Got one! Elapsed wall clock time (in seconds):95.999
97.38/96.10	o 2123836200
97.38/96.11	c Got one! Elapsed wall clock time (in seconds):96.004
97.38/96.11	o 2123835498
97.58/96.35	c Got one! Elapsed wall clock time (in seconds):96.245
97.58/96.35	o 2123816544
97.58/96.36	c Got one! Elapsed wall clock time (in seconds):96.26
97.58/96.36	o 2123815842
97.58/96.37	c Got one! Elapsed wall clock time (in seconds):96.263
97.58/96.37	o 2052130275
97.58/96.37	c Got one! Elapsed wall clock time (in seconds):96.266
97.58/96.37	o 2052110619
97.58/96.38	c Got one! Elapsed wall clock time (in seconds):96.274
97.58/96.38	o 2052091665
97.58/96.38	c Got one! Elapsed wall clock time (in seconds):96.277
97.58/96.38	o 2052090963
97.58/96.40	c Got one! Elapsed wall clock time (in seconds):96.291
97.58/96.40	o 2052072009
97.69/96.40	c Got one! Elapsed wall clock time (in seconds):96.293
97.69/96.40	o 2052071307
97.79/96.56	c cleaning 8043 clauses out of 16112 with flag 7898/1248166
97.99/96.77	c cleaning 7026 clauses out of 14069 with flag 20997/1254166
98.29/97.02	c cleaning 7011 clauses out of 14043 with flag 36607/1261166
98.59/97.34	c cleaning 7514 clauses out of 15033 with flag 54602/1269167
98.99/97.71	c cleaning 8259 clauses out of 16518 with flag 75133/1278166
99.39/98.11	c cleaning 9126 clauses out of 18259 with flag 97322/1288166
99.79/98.58	c cleaning 10067 clauses out of 20133 with flag 121832/1299166
100.30/99.09	c cleaning 11024 clauses out of 22066 with flag 148434/1311166
100.99/99.73	c cleaning 12022 clauses out of 24044 with flag 179315/1324168
101.59/100.39	c cleaning 13011 clauses out of 26022 with flag 209696/1338168
102.39/101.14	c cleaning 14004 clauses out of 28012 with flag 243570/1353169
103.19/101.94	c cleaning 15003 clauses out of 30005 with flag 278829/1369166
104.09/102.86	c cleaning 15999 clauses out of 32007 with flag 317296/1386171
104.59/103.32	c Got one! Elapsed wall clock time (in seconds):103.212
104.59/103.32	o 1984995774
104.82/103.57	c cleaning 14397 clauses out of 28800 with flag 11420/1398963
105.11/103.82	c cleaning 10198 clauses out of 20403 with flag 24716/1404963
105.31/104.09	c cleaning 8594 clauses out of 17205 with flag 39128/1411963
105.61/104.39	c cleaning 8298 clauses out of 16611 with flag 55802/1419963
106.01/104.71	c cleaning 8652 clauses out of 17314 with flag 74462/1428964
106.41/105.11	c cleaning 9325 clauses out of 18661 with flag 95257/1438963
106.81/105.58	c cleaning 10161 clauses out of 20336 with flag 118091/1449963
107.41/106.15	c cleaning 11081 clauses out of 22175 with flag 143203/1461963
108.03/106.71	c cleaning 12040 clauses out of 24094 with flag 170287/1474963
108.72/107.40	c cleaning 13017 clauses out of 26054 with flag 199952/1488963
109.52/108.24	c cleaning 14009 clauses out of 28037 with flag 231599/1503963
110.42/109.10	c cleaning 15008 clauses out of 30028 with flag 265768/1519963
111.22/109.99	c cleaning 16002 clauses out of 32021 with flag 301359/1536964
112.22/110.98	c cleaning 17004 clauses out of 34020 with flag 339066/1554965
113.32/112.09	c cleaning 18002 clauses out of 36014 with flag 378823/1573963
114.42/113.18	c cleaning 18996 clauses out of 38012 with flag 420287/1593963
115.83/114.58	c cleaning 20001 clauses out of 40016 with flag 464065/1614963
117.42/116.11	c cleaning 21002 clauses out of 42016 with flag 509971/1636964
118.82/117.51	c cleaning 21998 clauses out of 44014 with flag 557886/1659964
120.23/118.95	c cleaning 22992 clauses out of 46016 with flag 607502/1683964
121.83/120.51	c cleaning 24005 clauses out of 48024 with flag 659187/1708964
123.63/122.39	c cleaning 25001 clauses out of 50019 with flag 712766/1734964
125.93/124.65	c cleaning 26001 clauses out of 52018 with flag 769010/1761964
128.13/126.85	c cleaning 27001 clauses out of 54017 with flag 827018/1789964
130.63/129.30	c cleaning 28000 clauses out of 56016 with flag 887098/1818964
132.93/131.66	c cleaning 28999 clauses out of 58015 with flag 949515/1848963
135.54/134.29	c cleaning 29996 clauses out of 60016 with flag 1013503/1879963
138.23/136.96	c cleaning 30999 clauses out of 62020 with flag 1079477/1911963
141.04/139.75	c cleaning 32003 clauses out of 64021 with flag 1147866/1944963
143.93/142.67	c cleaning 32999 clauses out of 66018 with flag 1218789/1978963
146.93/145.63	c cleaning 34004 clauses out of 68020 with flag 1291712/2013964
150.45/149.15	c cleaning 34998 clauses out of 70016 with flag 1367042/2049964
153.85/152.51	c cleaning 35999 clauses out of 72018 with flag 1443963/2086964
157.05/155.70	c cleaning 36997 clauses out of 74019 with flag 1523091/2124964
160.25/158.90	c cleaning 38002 clauses out of 76022 with flag 1604336/2163964
164.05/162.76	c cleaning 38997 clauses out of 78019 with flag 1687933/2203963
168.35/167.02	c cleaning 40007 clauses out of 80026 with flag 1773047/2244967
172.66/171.30	c cleaning 40997 clauses out of 82015 with flag 1860091/2286963
176.46/175.19	c cleaning 42002 clauses out of 84018 with flag 1949532/2329963
180.36/179.02	c cleaning 43001 clauses out of 86017 with flag 2040946/2373964
184.07/182.79	c cleaning 44003 clauses out of 88017 with flag 2134460/2418965
188.66/187.40	c cleaning 44996 clauses out of 90014 with flag 2229617/2464965
193.06/191.79	c cleaning 45996 clauses out of 92017 with flag 2327304/2511964
197.17/195.89	c cleaning 46998 clauses out of 94020 with flag 2427476/2559963
202.61/201.25	c cleaning 48001 clauses out of 96024 with flag 2529173/2608965
207.31/205.96	c cleaning 49002 clauses out of 98023 with flag 2633997/2658965
211.52/210.16	c cleaning 50000 clauses out of 100019 with flag 2741707/2709963
216.42/215.06	c cleaning 51004 clauses out of 102020 with flag 2851209/2761964
221.22/219.82	c cleaning 51998 clauses out of 104016 with flag 2962760/2814964
225.72/224.38	c cleaning 52995 clauses out of 106018 with flag 3075903/2868964
230.42/229.09	c cleaning 54001 clauses out of 108022 with flag 3191942/2923963
235.22/233.84	c cleaning 55002 clauses out of 110021 with flag 3309743/2979963
241.23/239.82	c cleaning 55998 clauses out of 112019 with flag 3429895/3036963
246.52/245.19	c cleaning 57001 clauses out of 114021 with flag 3551796/3094963
252.12/250.80	c cleaning 57996 clauses out of 116020 with flag 3676582/3153963
257.96/256.58	c cleaning 59003 clauses out of 118025 with flag 3802861/3213964
262.26/260.81	c Got one! Elapsed wall clock time (in seconds):260.705
262.26/260.81	o 1970134407
263.27/261.85	c cleaning 57729 clauses out of 115477 with flag 12357/3270419
263.86/262.47	c cleaning 31863 clauses out of 63748 with flag 25159/3276419
264.26/262.87	c cleaning 19433 clauses out of 38885 with flag 39723/3283419
264.66/263.20	c cleaning 13715 clauses out of 27452 with flag 56427/3291419
264.96/263.55	c cleaning 11361 clauses out of 22738 with flag 75146/3300420
265.36/263.92	c cleaning 10678 clauses out of 21376 with flag 95964/3310419
265.76/264.33	c cleaning 10840 clauses out of 21699 with flag 119266/3321420
266.26/264.88	c cleaning 11418 clauses out of 22859 with flag 146902/3333420
266.96/265.50	c cleaning 12212 clauses out of 24440 with flag 176466/3346419
267.67/266.21	c cleaning 13103 clauses out of 26228 with flag 207611/3360419
268.36/266.91	c cleaning 14054 clauses out of 28126 with flag 239796/3375420
269.16/267.74	c cleaning 15025 clauses out of 30071 with flag 274726/3391419
270.06/268.67	c cleaning 16012 clauses out of 32046 with flag 312563/3408419
271.16/269.70	c cleaning 17010 clauses out of 34034 with flag 353569/3426419
272.26/270.85	c cleaning 17998 clauses out of 36024 with flag 394572/3445419
273.17/271.80	c cleaning 19001 clauses out of 38027 with flag 436300/3465420
274.46/273.03	c cleaning 20004 clauses out of 40025 with flag 481434/3486419
275.76/274.38	c cleaning 20999 clauses out of 42022 with flag 528969/3508420
277.16/275.79	c cleaning 21998 clauses out of 44022 with flag 581998/3531419
277.57/276.20	c Got one! Elapsed wall clock time (in seconds):276.096
277.57/276.20	o 1969623351
277.67/276.27	c Got one! Elapsed wall clock time (in seconds):276.166
277.67/276.27	o 1966056489
277.67/276.28	c Got one! Elapsed wall clock time (in seconds):276.171
277.67/276.28	o 1966036833
277.67/276.28	c Got one! Elapsed wall clock time (in seconds):276.18
277.67/276.28	o 1966017177
277.67/276.29	c Got one! Elapsed wall clock time (in seconds):276.188
277.67/276.29	o 1965997521
277.80/276.30	c Got one! Elapsed wall clock time (in seconds):276.196
277.80/276.30	o 1965977865
277.80/276.31	c Got one! Elapsed wall clock time (in seconds):276.204
277.80/276.31	o 1965958209
278.00/276.56	c cleaning 18368 clauses out of 36749 with flag 10563/3546144
278.20/276.75	c cleaning 12183 clauses out of 24380 with flag 23481/3552143
278.40/276.98	c cleaning 9591 clauses out of 19198 with flag 38888/3559144
278.70/277.22	c cleaning 8795 clauses out of 17606 with flag 56422/3567143
279.00/277.52	c cleaning 8898 clauses out of 17811 with flag 76057/3576143
279.30/277.82	c cleaning 9454 clauses out of 18913 with flag 97905/3586143
279.60/278.18	c cleaning 10224 clauses out of 20459 with flag 121846/3597143
280.10/278.60	c cleaning 11112 clauses out of 22235 with flag 148057/3609143
280.50/279.06	c cleaning 12060 clauses out of 24124 with flag 177316/3622144
281.10/279.63	c cleaning 13031 clauses out of 26064 with flag 210111/3636144
281.70/280.22	c cleaning 14015 clauses out of 28033 with flag 242910/3651144
282.30/280.89	c cleaning 15008 clauses out of 30017 with flag 278742/3667143
283.10/281.61	c cleaning 15996 clauses out of 32009 with flag 316215/3684143
283.89/282.43	c cleaning 17007 clauses out of 34013 with flag 355500/3702143
284.82/283.33	c cleaning 18003 clauses out of 36007 with flag 397109/3721144
285.82/284.37	c cleaning 19003 clauses out of 38006 with flag 440997/3741146
286.92/285.46	c cleaning 19998 clauses out of 40000 with flag 486708/3762143
288.12/286.61	c cleaning 21000 clauses out of 42002 with flag 534398/3784143
289.32/287.82	c cleaning 21993 clauses out of 44002 with flag 583957/3807143
290.62/289.19	c cleaning 23000 clauses out of 46010 with flag 636516/3831144
292.12/290.63	c cleaning 24004 clauses out of 48009 with flag 690923/3856143
293.62/292.15	c cleaning 25001 clauses out of 50006 with flag 747480/3882144
295.12/293.70	c cleaning 25997 clauses out of 52004 with flag 806180/3909143
296.92/295.47	c cleaning 26996 clauses out of 54007 with flag 869146/3937143
298.82/297.35	c cleaning 28002 clauses out of 56012 with flag 932261/3966144
300.83/299.38	c cleaning 29003 clauses out of 58009 with flag 997315/3996143
303.03/301.54	c cleaning 30000 clauses out of 60006 with flag 1064909/4027143
305.13/303.67	c cleaning 31000 clauses out of 62007 with flag 1133836/4059144
307.33/305.83	c cleaning 31999 clauses out of 64006 with flag 1205403/4092143
309.72/308.25	c cleaning 33005 clauses out of 66011 with flag 1278675/4126147
312.12/310.62	c cleaning 34001 clauses out of 68002 with flag 1354725/4161143
315.13/313.64	c cleaning 34995 clauses out of 70001 with flag 1432952/4197143
318.22/316.75	c cleaning 35996 clauses out of 72007 with flag 1513910/4234144
321.47/319.94	c cleaning 37005 clauses out of 74010 with flag 1597060/4272143
324.98/323.42	c cleaning 37996 clauses out of 76005 with flag 1682379/4311143
328.38/326.84	c cleaning 39004 clauses out of 78009 with flag 1769865/4351143
332.07/330.52	c cleaning 40000 clauses out of 80005 with flag 1862686/4392143
335.87/334.40	c cleaning 41000 clauses out of 82006 with flag 1956906/4434144
339.97/338.45	c cleaning 42004 clauses out of 84008 with flag 2051567/4477146
344.37/342.88	c cleaning 42995 clauses out of 86001 with flag 2146889/4521143
348.67/347.18	c cleaning 44000 clauses out of 88006 with flag 2244233/4566143
353.17/351.67	c cleaning 44996 clauses out of 90009 with flag 2344003/4612146
357.78/356.22	c cleaning 45995 clauses out of 92010 with flag 2445865/4659143
362.88/361.35	c cleaning 47001 clauses out of 94015 with flag 2550254/4707143
368.58/367.02	c cleaning 48007 clauses out of 96015 with flag 2656920/4756144
373.58/372.06	c cleaning 49002 clauses out of 98009 with flag 2766139/4806145
378.83/377.27	c cleaning 49996 clauses out of 100006 with flag 2877808/4857144
384.44/382.88	c cleaning 50996 clauses out of 102009 with flag 2992003/4909143
390.64/389.01	c cleaning 52006 clauses out of 104013 with flag 3106660/4962143
396.65/395.07	c cleaning 52997 clauses out of 106007 with flag 3223908/5016143
403.25/401.64	c cleaning 54000 clauses out of 108012 with flag 3342417/5071145
410.95/409.33	c cleaning 55002 clauses out of 110011 with flag 3464436/5127144
417.94/416.40	c cleaning 56000 clauses out of 112010 with flag 3589567/5184145
425.34/423.78	c cleaning 56997 clauses out of 114008 with flag 3718990/5242143
433.64/432.09	c cleaning 57996 clauses out of 116011 with flag 3846987/5301143
440.61/438.93	c cleaning 59000 clauses out of 118015 with flag 3976534/5361143
447.10/445.50	c cleaning 60002 clauses out of 120015 with flag 4108495/5422143
454.50/452.88	c cleaning 60998 clauses out of 122013 with flag 4241969/5484143
463.20/461.59	c cleaning 62002 clauses out of 124015 with flag 4385975/5547143
473.00/471.35	c cleaning 63003 clauses out of 126014 with flag 4524166/5611144
483.10/481.40	c cleaning 63997 clauses out of 128011 with flag 4664434/5676144
493.80/492.11	c cleaning 65003 clauses out of 130013 with flag 4808828/5742143
503.90/502.29	c cleaning 66001 clauses out of 132011 with flag 4954229/5809144
514.32/512.52	c cleaning 67002 clauses out of 134009 with flag 5100866/5877143
524.02/522.27	c cleaning 67999 clauses out of 136007 with flag 5253572/5946143
534.82/533.09	c cleaning 69001 clauses out of 138008 with flag 5405347/6016143
544.61/542.85	c cleaning 70002 clauses out of 140008 with flag 5558604/6087144
554.92/553.15	c cleaning 71001 clauses out of 142005 with flag 5714501/6159143
565.42/563.62	c cleaning 71992 clauses out of 144006 with flag 5873772/6232145
575.92/574.12	c cleaning 73002 clauses out of 146013 with flag 6035144/6306144
586.94/585.01	c cleaning 74000 clauses out of 148010 with flag 6197583/6381143
597.74/595.88	c cleaning 75004 clauses out of 150010 with flag 6362509/6457143
608.74/606.89	c cleaning 75993 clauses out of 152006 with flag 6529979/6534143
619.95/618.03	c cleaning 77006 clauses out of 154013 with flag 6699283/6612143
629.95/628.06	c cleaning 78000 clauses out of 156007 with flag 6871299/6691143
640.06/638.16	c cleaning 78998 clauses out of 158007 with flag 7046678/6771143
652.06/650.14	c cleaning 79995 clauses out of 160010 with flag 7224521/6852144
665.75/663.70	c cleaning 81004 clauses out of 162015 with flag 7405691/6934144
680.76/678.79	c cleaning 81998 clauses out of 164011 with flag 7588383/7017144
694.15/692.14	c cleaning 83004 clauses out of 166013 with flag 7773316/7101144
707.76/705.70	c cleaning 83998 clauses out of 168008 with flag 7959583/7186143
724.36/722.38	c cleaning 84995 clauses out of 170011 with flag 8147760/7272144
740.15/738.09	c cleaning 85995 clauses out of 172016 with flag 8338158/7359144
754.36/752.29	c cleaning 87004 clauses out of 174020 with flag 8531503/7447143
769.76/767.69	c cleaning 87995 clauses out of 176016 with flag 8725829/7536143
786.06/783.95	c cleaning 89009 clauses out of 178021 with flag 8922640/7626143
801.87/799.75	c cleaning 90005 clauses out of 180013 with flag 9121443/7717144
819.07/816.94	c cleaning 91001 clauses out of 182007 with flag 9323030/7809143
835.47/833.29	c cleaning 92002 clauses out of 184006 with flag 9525943/7902143
851.87/849.60	c cleaning 92995 clauses out of 186005 with flag 9731917/7996144
871.06/868.87	c cleaning 94003 clauses out of 188009 with flag 9938728/8091143
890.37/888.12	c cleaning 95002 clauses out of 190007 with flag 10147886/8187144
908.97/906.72	c cleaning 95995 clauses out of 192004 with flag 10360427/8284143
927.06/924.75	c cleaning 96994 clauses out of 194009 with flag 10575501/8382143
945.96/943.65	c cleaning 98008 clauses out of 196015 with flag 10790960/8481143
964.57/962.20	c cleaning 98997 clauses out of 198007 with flag 11009897/8581143
985.37/983.05	c cleaning 99999 clauses out of 200010 with flag 11229969/8682143
1006.70/1004.30	c cleaning 101003 clauses out of 202012 with flag 11451411/8784144
1028.70/1026.22	c cleaning 101994 clauses out of 204008 with flag 11675466/8887143
1051.60/1049.14	c cleaning 103000 clauses out of 206015 with flag 11901258/8991144
1075.70/1073.25	c cleaning 104000 clauses out of 208015 with flag 12129368/9096144
1100.24/1097.61	c cleaning 105008 clauses out of 210015 with flag 12360042/9202144
1124.43/1121.81	c cleaning 105998 clauses out of 212008 with flag 12593608/9309145
1150.42/1147.85	c cleaning 106999 clauses out of 214008 with flag 12828177/9417143
1175.32/1172.72	c cleaning 107993 clauses out of 216013 with flag 13066906/9526147
1201.91/1199.23	c cleaning 108995 clauses out of 218016 with flag 13308214/9636143
1228.01/1225.36	c cleaning 110004 clauses out of 220022 with flag 13551987/9747144
1252.70/1250.04	c cleaning 111002 clauses out of 222018 with flag 13797503/9859144
1276.90/1274.24	c cleaning 112005 clauses out of 224015 with flag 14044697/9972143
1303.34/1300.59	c cleaning 112997 clauses out of 226012 with flag 14295048/10086145
1330.93/1328.16	c cleaning 114001 clauses out of 228013 with flag 14546924/10201143
1358.93/1356.16	c cleaning 114998 clauses out of 230012 with flag 14799025/10317143
1387.73/1385.00	c cleaning 116000 clauses out of 232014 with flag 15053288/10434143
1415.21/1412.35	c cleaning 116998 clauses out of 234014 with flag 15310941/10552143
1443.23/1440.37	c cleaning 118007 clauses out of 236018 with flag 15571052/10671145
1473.75/1470.85	c cleaning 118999 clauses out of 238009 with flag 15833921/10791143
1503.14/1500.15	c cleaning 120001 clauses out of 240010 with flag 16099752/10912143
1533.85/1530.86	c cleaning 121003 clauses out of 242009 with flag 16366560/11034143
1561.56/1558.59	c cleaning 121998 clauses out of 244006 with flag 16636465/11157143
1591.76/1588.75	c cleaning 123001 clauses out of 246009 with flag 16908616/11281144
1622.14/1619.01	c cleaning 124003 clauses out of 248008 with flag 17183243/11406144
1652.35/1649.22	c cleaning 124999 clauses out of 250004 with flag 17458426/11532143
1683.75/1680.62	c cleaning 126003 clauses out of 252005 with flag 17736584/11659143
1717.25/1714.05	c cleaning 126998 clauses out of 254003 with flag 18018529/11787144
1751.65/1748.44	c cleaning 128000 clauses out of 256005 with flag 18302112/11916144
1782.26/1779.07	c cleaning 128996 clauses out of 258004 with flag 18586947/12046143
1800.05/1796.70	c starts		: 75
1800.05/1796.70	c conflicts		: 12130368
1800.05/1796.70	c decisions		: 25000133
1800.05/1796.70	c propagations		: 350802436
1800.05/1796.70	c inspects		: 39234561906
1800.05/1796.70	c shortcuts		: 0
1800.05/1796.70	c learnt literals	: 0
1800.05/1796.70	c learnt binary clauses	: 0
1800.05/1796.70	c learnt ternary clauses	: 0
1800.05/1796.70	c learnt constraints	: 12130368
1800.05/1796.70	c ignored constraints	: 0
1800.05/1796.70	c root simplifications	: 0
1800.05/1796.70	c removed literals (reason simplification)	: 0
1800.05/1796.70	c reason swapping (by a shorter reason)	: 0
1800.05/1796.70	c Calls to reduceDB	: 279
1800.05/1796.70	c Number of update (reduction) of LBD	: 854882
1800.05/1796.70	c Imported unit clauses	: 0
1800.05/1796.70	c number of reductions to clauses (during analyze)	: 0
1800.05/1796.70	c number of learned constraints concerned by reduction	: 0
1800.05/1796.70	c number of learning phase by resolution	: 0
1800.05/1796.70	c number of learning phase by cutting planes	: 0
1800.05/1796.70	c speed (assignments/second)	: 195289.8269069435
1800.05/1796.70	c non guided choices	4945
1800.05/1796.73	c learnt constraints type 
1800.05/1796.73	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 213233
1800.05/1796.73	s SATISFIABLE
1800.05/1796.73	c Found 42 solution(s)
1800.05/1796.74	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 x1465 x1466 x1467 -x1468 x1469 -x1470 -x1471 x1472 x1473 -x1474 x1475 -x1476 -x1477 -x1478 -x1479 -x1480 x1481 -x1482 -x1483 x1484 x1485 -x1486 -x1487 -x1488 x1489 x1490 x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 x1500 -x1501 -x1502 x1503 -x1504 -x1505 -x1506 x1507 x1508 x1509 x1510 x1511 x1512 -x1513 -x1514 -x1515 -x1516 x1517 x1518 -x1519 -x1520 -x1521 x1522 x1523 -x1524 x1525 -x1526 x1527 -x1528 -x1529 x1530 -x1531 -x1532 x1533 -x1534 -x1535 -x1536 x1537 x1538 -x1539 -x1540 -x1541 -x1542 x1543 x1544 -x1545 x1546 x1547 -x1548 -x1549 x1550 x1551 -x1552 -x1553 -x1554 x1555 x1556 x1557 -x1558 -x1559 -x1560 x1561 x1562 x1563 -x1564 -x1565 -x1566 -x1567 -x1568 x1569 -x1570 -x1571 x1572 -x1573 -x1574 -x1575 -x1576 x1577 -x1578 -x1579 x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 x1593 x1594 -x1595 -x1596 -x1597 x1598 -x1599 -x1600 -x1601 -x1602 x1603 x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 x1622 -x1623 x1624 -x1625 x1626 -x1627 x1628 -x1629 x1630 -x1631 x1632 -x1633 -x1634 -x1635 x1636 x1637 -x1638 -x1639 -x1640 x1641 -x1642 -x1643 x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 x1652 -x1653 x1654 -x1655 x1656 -x1657 x1658 -x1659 x1660 x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 x1671 x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 x1684 x1685 x1686 x1687 -x1688 x1689 -x1690 -x1691 -x1692 x1693 x1694 -x1695 x1696 x1697 -x1698 -x1699 -x1700 -x1701 -x1702 x1703 x1704 -x1705 x1706 -x1707 x1708 x1709 -x1710 x1711 -x1712 x1713 -x1714 -x1715 -x1716 x1717 -x1718 x1719 -x1720 -x1721 -x1722 -x1723 -x1724 x1725 -x1726 x1727 x1728 -x1729 x1730 -x1731 x1732 x1733 -x1734 -x1735 -x1736 -x1737 -x1738 x1739 -x1740 -x1741 x1742 -x1743 -x1744 x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 x1760 -x1761 -x1762 -x1763 x1764 -x1765 x1766 -x1767 x1768 x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 x1787 x1788 -x1789 -x1790 x1791 x1792 -x1793 x1794 -x1795 -x1796 -x1797 -x1798 x1799 -x1800 -x1801 x1802 x1803 -x1804 x1805 -x1806 -x1807 x1808 -x1809 x1810 x1811 x1812 -x1813 x1814 -x1815 x1816 x1817 x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 x1829 x1830 -x1831 x1832 -x1833 x1834 x1835 -x1836 x1837 x1838 -x1839 x1840 -x1841 x1842 -x1843 x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 x1852 x1853 x1854 -x1855 -x1856 x1857 -x1858 -x1859 -x1860 x1861 x1862 -x1863 -x1864 -x1865 -x1866 -x1867 x1868 -x1869 -x1870 -x1871 -x1872 -x1873 x1874 -x1875 -x1876 -x1877 -x1878 x1879 -x1880 x1881 -x1882 -x1883 -x1884 -x1885 -x1886 x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 x1894 x1895 -x1896 -x1897 x1898 -x1899 x1900 -x1901 x1902 x1903 -x1904 x1905 -x1906 -x1907 x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 x1915 -x1916 x1917 -x1918 x1919 -x1920 x1921 x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 x1941 -x1942 -x1943 -x1944 x1945 x1946 x1947 x1948 x1949 -x1950 x1951 x1952 -x1953 -x1954 -x1955 -x1956 x1957 x1958 x1959 -x1960 -x1961 -x1962 x1963 -x1964 x1965 x1966 -x1967 -x1968 -x1969 -x1970 x1971 -x1972 x1973 -x1974 x1975 x1976 x1977 -x1978 -x1979 -x1980 x1981 x1982 -x1983 -x1984 x1985 -x1986 x1987 -x1988 x1989 -x1990 -x1991 -x1992 x1993 x1994 -x1995 x1996 -x1997 -x1998 -x1999 x2000 -x2001 -x2002 -x2003 x2004 -x2005 -x2006 x2007 -x2008 -x2009 x2010 -x2011 -x2012 -x2013 x2014 x2015 x2016 -x2017 -x2018 -x2019 x2020 x2021 x2022 -x2023 -x2024 -x2025 x2026 x2027 -x2028 x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 x2036 x2037 x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 x2045 -x2046 -x2047 -x2048 x2049 -x2050 x2051 x2052 -x2053 x2054 -x2055 -x2056 x2057 -x2058 x2059 -x2060 x2061 -x2062 -x2063 -x2064 x2065 -x2066 x2067 -x2068 x2069 -x2070 x2071 x2072 x2073 -x2074 x2075 -x2076 x2077 x2078 x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 x2088 -x2089 -x2090 x2091 x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 x2103 x2104 x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 x2112 x2113 x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 x2124 -x2125 -x2126 -x2127 x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 x2136 x2137 x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 x2148 x2149 x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 x2160 -x2161 -x2162 -x2163 x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 x2175 x2176 x2177 -x2178 -x2179 -x2180 -x2181 x2182 x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 x2192 -x2193 -x2194 -x2195 x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 x2204 x2205 -x2206 -x2207 -x2208 -x2209 x2210 x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 x2228 -x2229 -x2230 -x2231 x2232 -x2233 -x2234 -x2235 -x2236 x2237 -x2238 -x2239 x2240 -x2241 -x2242 -x2243 -x2244 -x2245 x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 x2257 -x2258 -x2259 x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 x2268 x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 x2276 x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 x2289 -x2290 -x2291 x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 x2316 -x2317 -x2318 -x2319 x2320 -x2321 -x2322 -x2323 -x2324 -x2325 x2326 x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 x2349 -x2350 -x2351 x2352 -x2353 -x2354 -x2355 -x2356 x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 x2388 -x2389 -x2390 -x2391 -x2392 x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 x2481 -x2482 -x2483 x2484 -x2485 -x2486 -x2487 -x2488 x2489 -x2490 -x2491 x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 x2612 -x2613 -x2614 -x2615 x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 x2669 -x2670 -x2671 -x2672 x2673 -x2674 -x2675 x2676 -x2677 -x2678 -x2679 x2680 -x2681 -x2682 -x2683 -x2684 x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 x2693 -x2694 -x2695 x2696 -x2697 -x2698 -x2699 x2700 -x2701 -x2702 -x2703 x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 x2717 -x2718 -x2719 x2720 -x2721 -x2722 -x2723 -x2724 x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 x2776 -x2777 -x2778 -x2779 x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 x2788 -x2789 -x2790 -x2791 -x2792 x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 x2812 -x2813 -x2814 -x2815 x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 x2870 x2871 x2872 x2873 x2874 x2875 x2876 x2877 x2878 x2879 x2880 x2881 x2882 x2883 x2884 x2885 x2886 x2887 x2888 x2889 x2890 x2891 x2892 x2893 x2894 x2895 x2896 x2897 x2898 x2899 x2900 x2901 x2902 x2903 x2904 x2905 x2906 x2907 x2908 x2909 x2910 x2911 x2912 x2913 x2914 x2915 x2916 x2917 x2918 x2919 x2920 x2921 x2922 x2923 x2924 x2925 x2926 x2927 x2928 x2929 x2930 x2931 x2932 x2933 x2934 x2935 x2936 x2937 x2938 x2939 x2940 x2941 x2942 x2943 x2944 x2945 x2946 x2947 x2948 x2949 x2950 x2951 x2952 x2953 x2954 x2955 x2956 x2957 x2958 x2959 x2960 x2961 x2962 x2963 x2964 x2965 x2966 x2967 x2968 x2969 x2970 x2971 x2972 x2973 x2974 x2975 x2976 x2977 -x2978 -x2979 x2980 x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 x2993 x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 x3002 x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 x3011 x3012 -x3013 -x3014 -x3015 x3016 x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 x3025 x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 x3038 x3039 -x3040 -x3041 -x3042 x3043 x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 x3056 x3057 -x3058 -x3059 -x3060 x3061 x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 x3070 x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 x3079 x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 x3092 x3093 -x3094 -x3095 -x3096 x3097 x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 x3106 x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 x3115 x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 x3124 x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 x3137 x3138 -x3139 -x3140 -x3141 x3142 x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 x3151 x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 x3160 x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 x3169 x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 x3178 x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 x3187 x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 x3200 x3201 -x3202 -x3203 -x3204 x3205 x3206 -x3207 -x3208 -x3209 -x3210 -x3211 
1800.05/1796.74	c objective function=1965958209
1800.05/1796.74	c Total wall clock time (in seconds): 1796.64

Verifier Data 

OK	1965958209

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-4110695-1466387532/watcher-4110695-1466387532 -o /tmp/evaluation-result-4110695-1466387532/solver-4110695-1466387532 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node124-1466385735-3517 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4110695-1466387532.opb 

pid=3942
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.18 2.23 2.10 4/194 3945
/proc/meminfo: memFree=30310856/32872528 swapFree=1498360/1645528
[pid=3945] ppid=3942 vsize=23236 CPUtime=0 cores=1,3,5,7
/proc/3945/stat : 3945 (java) R 3942 3945 3500 0 -1 4202496 1067 0 0 0 0 0 0 0 20 0 1 0 40799989 23793664 717 33554432000 1073741824 1073778376 140736230885840 140736230874904 259103176040 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/3945/statm: 5809 729 540 9 0 128 0

[startup+0.100122 s]
/proc/loadavg: 2.18 2.23 2.10 4/194 3945
/proc/meminfo: memFree=30310856/32872528 swapFree=1498360/1645528
[pid=3945] ppid=3942 vsize=9558476 CPUtime=0.09 cores=1,3,5,7
/proc/3945/stat : 3945 (java) S 3942 3945 3500 0 -1 4202496 4431 0 1 0 9 0 0 0 20 0 18 0 40799989 9787879424 6062 33554432000 1073741824 1073778376 140736230885840 140736230876976 259115745341 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3945/statm: 2389619 6062 2140 9 0 2380296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558476

[startup+0.200233 s]
/proc/loadavg: 2.18 2.23 2.10 4/194 3945
/proc/meminfo: memFree=30310856/32872528 swapFree=1498360/1645528
[pid=3945] ppid=3942 vsize=9558476 CPUtime=0.26 cores=1,3,5,7
/proc/3945/stat : 3945 (java) S 3942 3945 3500 0 -1 4202496 5022 0 1 0 26 0 0 0 20 0 18 0 40799989 9787879424 7048 33554432000 1073741824 1073778376 140736230885840 140736230876976 259115745341 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3945/statm: 2389619 7048 2214 9 0 2380296 0
Current children cumulated CPU time (s) 0.26
Current children cumulated vsize (KiB) 9558476

[startup+0.300229 s]
/proc/loadavg: 2.18 2.23 2.10 4/194 3945
/proc/meminfo: memFree=30310856/32872528 swapFree=1498360/1645528
[pid=3945] ppid=3942 vsize=9558476 CPUtime=0.51 cores=1,3,5,7
/proc/3945/stat : 3945 (java) S 3942 3945 3500 0 -1 4202496 6341 0 1 0 50 1 0 0 20 0 18 0 40799989 9787879424 8904 33554432000 1073741824 1073778376 140736230885840 140736230876976 259115745341 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3945/statm: 2389619 8904 2233 9 0 2380296 0
Current children cumulated CPU time (s) 0.51
Current children cumulated vsize (KiB) 9558476

[startup+0.700153 s]
/proc/loadavg: 2.18 2.23 2.10 4/194 3945
/proc/meminfo: memFree=30310856/32872528 swapFree=1498360/1645528
[pid=3945] ppid=3942 vsize=9625040 CPUtime=1.38 cores=1,3,5,7
/proc/3945/stat : 3945 (java) S 3942 3945 3500 0 -1 4202496 10234 0 1 0 136 2 0 0 20 0 19 0 40799989 9856040960 15347 33554432000 1073741824 1073778376 140736230885840 140736230876976 259115745341 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3945/statm: 2406260 15347 2260 9 0 2396937 0
Current children cumulated CPU time (s) 1.38
Current children cumulated vsize (KiB) 9625040

[startup+1.5008 s]
/proc/loadavg: 2.18 2.23 2.10 6/213 3964
/proc/meminfo: memFree=30249664/32872528 swapFree=1498360/1645528
[pid=3945] ppid=3942 vsize=9625040 CPUtime=2.35 cores=1,3,5,7
/proc/3945/stat : 3945 (java) S 3942 3945 3500 0 -1 4202496 10683 0 1 0 233 2 0 0 20 0 19 0 40799989 9856040960 15871 33554432000 1073741824 1073778376 140736230885840 140736230876976 259115745341 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3945/statm: 2406260 15871 2270 9 0 2396937 0
[pid=3945/tid=3947] ppid=3942 vsize=9625040 CPUtime=1.47 cores=1,3,5,7
/proc/3945/task/3947/stat : 3947 (java) R 3942 3945 3500 0 -1 4202560 2429 0 1 0 147 0 0 0 20 0 19 0 40799990 9856040960 15871 33554432000 1073741824 1073778376 140736230885840 140025754808616 140025614989209 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=3945/tid=3948] ppid=3942 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/3945/task/3948/stat : 3948 (java) S 3942 3945 3500 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 40799991 9856040960 15871 33554432000 1073741824 1073778376 140736230885840 140025732909992 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3945/tid=3949] ppid=3942 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/3945/task/3949/stat : 3949 (java) S 3942 3945 3500 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 40799991 9856040960 15871 33554432000 1073741824 1073778376 140736230885840 140025530412072 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3945/tid=3950] ppid=3942 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/3945/task/3950/stat : 3950 (java) S 3942 3945 3500 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 40799991 9856040960 15871 33554432000 1073741824 1073778376 140736230885840 140025529359016 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3945/tid=3951] ppid=3942 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/3945/task/3951/stat : 3951 (java) S 3942 3945 3500 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 40799991 9856040960 15871 33554432000 1073741824 1073778376 140736230885840 140025528306472 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3945/tid=3952] ppid=3942 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/3945/task/3952/stat : 3952 (java) S 3942 3945 3500 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 40799991 9856040960 15871 33554432000 1073741824 1073778376 140736230885840 140025527253416 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3945/tid=3953] ppid=3942 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/3945/task/3953/stat : 3953 (java) S 3942 3945 3500 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 40799991 9856040960 15871 33554432000 1073741824 1073778376 140736230885840 140025526200872 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3945/tid=3954] ppid=3942 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/3945/task/3954/stat : 3954 (java) S 3942 3945 3500 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 40799991 9856040960 15871 33554432000 1073741824 1073778376 140736230885840 140025525147816 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3945/tid=3955] ppid=3942 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/3945/task/3955/stat : 3955 (java) S 3942 3945 3500 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 40799991 9856040960 15871 33554432000 1073741824 1073778376 140736230885840 140025524095272 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3945/tid=3956] ppid=3942 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/3945/task/3956/stat : 3956 (java) S 3942 3945 3500 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 40799992 9856040960 15871 33554432000 1073741824 1073778376 140736230885840 140025511684968 259115759529 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3945/tid=3957] ppid=3942 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/3945/task/3957/stat : 3957 (java) S 3942 3945 3500 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 40799992 9856040960 15871 33554432000 1073741824 1073778376 140736230885840 140025510631288 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3945/tid=3958] ppid=3942 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/3945/task/3958/stat : 3958 (java) S 3942 3945 3500 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 40799992 9856040960 15871 33554432000 1073741824 1073778376 140736230885840 140025509578120 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3945/tid=3959] ppid=3942 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/3945/task/3959/stat : 3959 (java) S 3942 3945 3500 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 40799995 9856040960 15871 33554432000 1073741824 1073778376 140736230885840 140025508526864 259115767584 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3945/tid=3960] ppid=3942 vsize=9625040 CPUtime=0.4 cores=1,3,5,7
/proc/3945/task/3960/stat : 3960 (java) S 3942 3945 3500 0 -1 4202560 3086 0 0 0 40 0 0 0 20 0 19 0 40799995 9856040960 15871 33554432000 1073741824 1073778376 140736230885840 140025507473720 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3945/tid=3961] ppid=3942 vsize=9625040 CPUtime=0.43 cores=1,3,5,7
/proc/3945/task/3961/stat : 3961 (java) S 3942 3945 3500 0 -1 4202560 3891 0 0 0 43 0 0 0 20 0 19 0 40799995 9856040960 15871 33554432000 1073741824 1073778376 140736230885840 140025506421176 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3945/tid=3962] ppid=3942 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/3945/task/3962/stat : 3962 (java) S 3942 3945 3500 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 40799995 9856040960 15871 33554432000 1073741824 1073778376 140736230885840 140025505368312 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3945/tid=3963] ppid=3942 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/3945/task/3963/stat : 3963 (java) S 3942 3945 3500 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 40799995 9856040960 15871 33554432000 1073741824 1073778376 140736230885840 140025504315976 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3945/tid=3964] ppid=3942 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/3945/task/3964/stat : 3964 (java) S 3942 3945 3500 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 40800028 9856040960 15871 33554432000 1073741824 1073778376 140736230885840 140025503163944 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 2.35
Current children cumulated vsize (KiB) 9625040

[startup+3.10076 s]
/proc/loadavg: 2.24 2.24 2.10 5/213 3964
/proc/meminfo: memFree=30239612/32872528 swapFree=1498360/1645528
[pid=3945] ppid=3942 vsize=9625040 CPUtime=4.19 cores=1,3,5,7
/proc/3945/stat : 3945 (java) S 3942 3945 3500 0 -1 4202496 13697 0 1 0 416 3 0 0 20 0 19 0 40799989 9856040960 18503 33554432000 1073741824 1073778376 140736230885840 140736230876976 259115745341 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3945/statm: 2406260 18503 2270 9 0 2396937 0
[pid=3945/tid=3947] ppid=3942 vsize=9625040 CPUtime=3.06 cores=1,3,5,7
/proc/3945/task/3947/stat : 3947 (java) R 3942 3945 3500 0 -1 4202560 2435 0 1 0 305 1 0 0 20 0 19 0 40799990 9856040960 18503 33554432000 1073741824 1073778376 140736230885840 140025754799808 140025615003773 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=3945/tid=3948] ppid=3942 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/3945/task/3948/stat : 3948 (java) S 3942 3945 3500 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 40799991 9856040960 18503 33554432000 1073741824 1073778376 140736230885840 140025732909992 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3945/tid=3949] ppid=3942 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/3945/task/3949/stat : 3949 (java) S 3942 3945 3500 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 40799991 9856040960 18503 33554432000 1073741824 1073778376 140736230885840 140025530412072 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3945/tid=3950] ppid=3942 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/3945/task/3950/stat : 3950 (java) S 3942 3945 3500 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 40799991 9856040960 18503 33554432000 1073741824 1073778376 140736230885840 140025529359016 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3945/tid=3951] ppid=3942 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/3945/task/3951/stat : 3951 (java) S 3942 3945 3500 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 40799991 9856040960 18503 33554432000 1073741824 1073778376 140736230885840 140025528306472 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3945/tid=3952] ppid=3942 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/3945/task/3952/stat : 3952 (java) S 3942 3945 3500 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 40799991 9856040960 18503 33554432000 1073741824 1073778376 140736230885840 140025527253416 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3945/tid=3953] ppid=3942 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/3945/task/3953/stat : 3953 (java) S 3942 3945 3500 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 40799991 9856040960 18503 33554432000 1073741824 1073778376 140736230885840 140025526200872 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3945/tid=3954] ppid=3942 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/3945/task/3954/stat : 3954 (java) S 3942 3945 3500 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 40799991 9856040960 18503 33554432000 1073741824 1073778376 140736230885840 140025525147816 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3945/tid=3955] ppid=3942 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/3945/task/3955/stat : 3955 (java) S 3942 3945 3500 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 40799991 9856040960 18503 33554432000 1073741824 1073778376 140736230885840 140025524095272 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3945/tid=3956] ppid=3942 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/3945/task/3956/stat : 3956 (java) S 3942 3945 3500 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 40799992 9856040960 18503 33554432000 1073741824 1073778376 140736230885840 140025511684968 259115759529 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3945/tid=3957] ppid=3942 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/3945/task/3957/stat : 3957 (java) S 3942 3945 3500 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 40799992 9856040960 18503 33554432000 1073741824 1073778376 140736230885840 140025510631288 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3945/tid=3958] ppid=3942 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/3945/task/3958/stat : 3958 (java) S 3942 3945 3500 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 40799992 9856040960 18503 33554432000 1073741824 1073778376 140736230885840 140025509578120 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3945/tid=3959] ppid=3942 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/3945/task/3959/stat : 3959 (java) S 3942 3945 3500 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 40799995 9856040960 18503 33554432000 1073741824 1073778376 140736230885840 140025508526864 259115767584 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3945/tid=3960] ppid=3942 vsize=9625040 CPUtime=0.5 cores=1,3,5,7
/proc/3945/task/3960/stat : 3960 (java) S 3942 3945 3500 0 -1 4202560 3839 0 0 0 50 0 0 0 20 0 19 0 40799995 9856040960 18503 33554432000 1073741824 1073778376 140736230885840 140025507473720 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3945/tid=3961] ppid=3942 vsize=9625040 CPUtime=0.58 cores=1,3,5,7
/proc/3945/task/3961/stat : 3961 (java) S 3942 3945 3500 0 -1 4202560 6146 0 0 0 57 1 0 0 20 0 19 0 40799995 9856040960 18503 33554432000 1073741824 1073778376 140736230885840 140025506421176 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3945/tid=3962] ppid=3942 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/3945/task/3962/stat : 3962 (java) S 3942 3945 3500 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 40799995 9856040960 18503 33554432000 1073741824 1073778376 140736230885840 140025505368312 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3945/tid=3963] ppid=3942 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/3945/task/3963/stat : 3963 (java) S 3942 3945 3500 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 40799995 9856040960 18503 33554432000 1073741824 1073778376 140736230885840 140025504315976 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3945/tid=3964] ppid=3942 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/3945/task/3964/stat : 3964 (java) S 3942 3945 3500 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 40800028 9856040960 18503 33554432000 1073741824 1073778376 140736230885840 140025503163944 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 4.19
Current children cumulated vsize (KiB) 9625040

[startup+6.30074 s]
/proc/loadavg: 2.24 2.24 2.10 5/213 3964
/proc/meminfo: memFree=30205512/32872528 swapFree=1498360/1645528
[pid=3945] ppid=3942 vsize=9625040 CPUtime=7.45 cores=1,3,5,7
/proc/3945/stat : 3945 (java) S 3942 3945 3500 0 -1 4202496 13710 0 1 0 742 3 0 0 20 0 19 0 40799989 9856040960 23493 33554432000 1073741824 1073778376 140736230885840 140736230876976 259115745341 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3945/statm: 2406260 23493 2271 9 0 2396937 0
[pid=3945/tid=3947] ppid=3942 vsize=9625040 CPUtime=6.25 cores=1,3,5,7
/proc/3945/task/3947/stat : 3947 (java) R 3942 3945 3500 0 -1 4202560 2447 0 1 0 624 1 0 0 20 0 19 0 40799990 9856040960 23493 33554432000 1073741824 1073778376 140736230885840 140025754799808 140025615003924 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=3945/tid=3948] ppid=3942 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/3945/task/3948/stat : 3948 (java) S 3942 3945 3500 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 40799991 9856040960 23493 33554432000 1073741824 1073778376 140736230885840 140025732909992 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3945/tid=3949] ppid=3942 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/3945/task/3949/stat : 3949 (java) S 3942 3945 3500 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 40799991 9856040960 23493 33554432000 1073741824 1073778376 140736230885840 140025530412072 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3945/tid=3950] ppid=3942 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/3945/task/3950/stat : 3950 (java) S 3942 3945 3500 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 40799991 9856040960 23493 33554432000 1073741824 1073778376 140736230885840 140025529359016 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3945/tid=3951] ppid=3942 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/3945/task/3951/stat : 3951 (java) S 3942 3945 3500 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 40799991 9856040960 23493 33554432000 1073741824 1073778376 140736230885840 140025528306472 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3945/tid=3952] ppid=3942 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/3945/task/3952/stat : 3952 (java) S 3942 3945 3500 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 40799991 9856040960 23493 33554432000 1073741824 1073778376 140736230885840 140025527253416 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3945/tid=3953] ppid=3942 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/3945/task/3953/stat : 3953 (java) S 3942 3945 3500 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 40799991 9856040960 23493 33554432000 1073741824 1073778376 140736230885840 140025526200872 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3945/tid=3954] ppid=3942 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/3945/task/3954/stat : 3954 (java) S 3942 3945 3500 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 40799991 9856040960 23493 33554432000 1073741824 1073778376 140736230885840 140025525147816 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3945/tid=3955] ppid=3942 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/3945/task/3955/stat : 3955 (java) S 3942 3945 3500 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 40799991 9856040960 23493 33554432000 1073741824 1073778376 140736230885840 140025524095272 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3945/tid=3956] ppid=3942 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/3945/task/3956/stat : 3956 (java) S 3942 3945 3500 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 40799992 9856040960 23493 33554432000 1073741824 1073778376 140736230885840 140025511684968 259115759529 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3945/tid=3957] ppid=3942 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/3945/task/3957/stat : 3957 (java) S 3942 3945 3500 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 40799992 9856040960 23493 33554432000 1073741824 1073778376 140736230885840 140025510631288 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3945/tid=3958] ppid=3942 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/3945/task/3958/stat : 3958 (java) S 3942 3945 3500 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 40799992 9856040960 23493 33554432000 1073741824 1073778376 140736230885840 140025509578120 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3945/tid=3959] ppid=3942 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/3945/task/3959/stat : 3959 (java) S 3942 3945 3500 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 40799995 9856040960 23493 33554432000 1073741824 1073778376 140736230885840 140025508526864 259115767584 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3945/tid=3960] ppid=3942 vsize=9625040 CPUtime=0.57 cores=1,3,5,7
/proc/3945/task/3960/stat : 3960 (java) S 3942 3945 3500 0 -1 4202560 3839 0 0 0 57 0 0 0 20 0 19 0 40799995 9856040960 23493 33554432000 1073741824 1073778376 140736230885840 140025507473720 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3945/tid=3961] ppid=3942 vsize=9625040 CPUtime=0.58 cores=1,3,5,7
/proc/3945/task/3961/stat : 3961 (java) S 3942 3945 3500 0 -1 4202560 6146 0 0 0 57 1 0 0 20 0 19 0 40799995 9856040960 23493 33554432000 1073741824 1073778376 140736230885840 140025506421176 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3945/tid=3962] ppid=3942 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/3945/task/3962/stat : 3962 (java) S 3942 3945 3500 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 40799995 9856040960 23493 33554432000 1073741824 1073778376 140736230885840 140025505368312 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3945/tid=3963] ppid=3942 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/3945/task/3963/stat : 3963 (java) S 3942 3945 3500 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 40799995 9856040960 23493 33554432000 1073741824 1073778376 140736230885840 140025504315976 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3945/tid=3964] ppid=3942 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/3945/task/3964/stat : 3964 (java) S 3942 3945 3500 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 40800028 9856040960 23493 33554432000 1073741824 1073778376 140736230885840 140025503163944 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 7.45
Current children cumulated vsize (KiB) 9625040


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

[pid=3945/tid=3964] ppid=3942 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/3945/task/3964/stat : 3964 (java) S 3942 3945 3500 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 40800028 9856040960 105977 33554432000 1073741824 1073778376 140736230885840 140025503163944 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1725.55
Current children cumulated vsize (KiB) 9625040

[startup+1782.3 s]
/proc/loadavg: 2.23 2.24 2.19 4/213 4031
/proc/meminfo: memFree=29542084/32872528 swapFree=1498360/1645528
[pid=3945] ppid=3942 vsize=9625040 CPUtime=1785.56 cores=1,3,5,7
/proc/3945/stat : 3945 (java) S 3942 3945 3500 0 -1 4202496 15495 0 1 0 178497 59 0 0 20 0 19 0 40799989 9856040960 105977 33554432000 1073741824 1073778376 140736230885840 140736230876976 259115745341 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3945/statm: 2406260 105977 2287 9 0 2396937 0
[pid=3945/tid=3947] ppid=3942 vsize=9625040 CPUtime=1776.81 cores=1,3,5,7
/proc/3945/task/3947/stat : 3947 (java) R 3942 3945 3500 0 -1 4202560 2510 0 1 0 177650 31 0 0 20 0 19 0 40799990 9856040960 105977 33554432000 1073741824 1073778376 140736230885840 140025754799808 140025614989330 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=3945/tid=3948] ppid=3942 vsize=9625040 CPUtime=0.38 cores=1,3,5,7
/proc/3945/task/3948/stat : 3948 (java) S 3942 3945 3500 0 -1 4202560 327 0 0 0 34 4 0 0 20 0 19 0 40799991 9856040960 105977 33554432000 1073741824 1073778376 140736230885840 140025732909992 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3945/tid=3949] ppid=3942 vsize=9625040 CPUtime=0.27 cores=1,3,5,7
/proc/3945/task/3949/stat : 3949 (java) S 3942 3945 3500 0 -1 4202560 103 0 0 0 24 3 0 0 20 0 19 0 40799991 9856040960 105977 33554432000 1073741824 1073778376 140736230885840 140025530412072 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3945/tid=3950] ppid=3942 vsize=9625040 CPUtime=0.27 cores=1,3,5,7
/proc/3945/task/3950/stat : 3950 (java) S 3942 3945 3500 0 -1 4202560 169 0 0 0 24 3 0 0 20 0 19 0 40799991 9856040960 105977 33554432000 1073741824 1073778376 140736230885840 140025529359016 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3945/tid=3951] ppid=3942 vsize=9625040 CPUtime=0.35 cores=1,3,5,7
/proc/3945/task/3951/stat : 3951 (java) S 3942 3945 3500 0 -1 4202560 296 0 0 0 32 3 0 0 20 0 19 0 40799991 9856040960 105977 33554432000 1073741824 1073778376 140736230885840 140025528306472 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3945/tid=3952] ppid=3942 vsize=9625040 CPUtime=0.28 cores=1,3,5,7
/proc/3945/task/3952/stat : 3952 (java) S 3942 3945 3500 0 -1 4202560 156 0 0 0 25 3 0 0 20 0 19 0 40799991 9856040960 105977 33554432000 1073741824 1073778376 140736230885840 140025527253416 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3945/tid=3953] ppid=3942 vsize=9625040 CPUtime=0.24 cores=1,3,5,7
/proc/3945/task/3953/stat : 3953 (java) S 3942 3945 3500 0 -1 4202560 178 0 0 0 22 2 0 0 20 0 19 0 40799991 9856040960 105977 33554432000 1073741824 1073778376 140736230885840 140025526200872 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3945/tid=3954] ppid=3942 vsize=9625040 CPUtime=0.24 cores=1,3,5,7
/proc/3945/task/3954/stat : 3954 (java) S 3942 3945 3500 0 -1 4202560 163 0 0 0 21 3 0 0 20 0 19 0 40799991 9856040960 105977 33554432000 1073741824 1073778376 140736230885840 140025525147816 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3945/tid=3955] ppid=3942 vsize=9625040 CPUtime=0.33 cores=1,3,5,7
/proc/3945/task/3955/stat : 3955 (java) S 3942 3945 3500 0 -1 4202560 159 0 0 0 30 3 0 0 20 0 19 0 40799991 9856040960 105977 33554432000 1073741824 1073778376 140736230885840 140025524095272 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3945/tid=3956] ppid=3942 vsize=9625040 CPUtime=0.02 cores=1,3,5,7
/proc/3945/task/3956/stat : 3956 (java) S 3942 3945 3500 0 -1 4202560 67 0 0 0 1 1 0 0 20 0 19 0 40799992 9856040960 105977 33554432000 1073741824 1073778376 140736230885840 140025511684968 259115759529 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3945/tid=3957] ppid=3942 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/3945/task/3957/stat : 3957 (java) S 3942 3945 3500 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 40799992 9856040960 105977 33554432000 1073741824 1073778376 140736230885840 140025510631288 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3945/tid=3958] ppid=3942 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/3945/task/3958/stat : 3958 (java) S 3942 3945 3500 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 40799992 9856040960 105977 33554432000 1073741824 1073778376 140736230885840 140025509578120 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3945/tid=3959] ppid=3942 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/3945/task/3959/stat : 3959 (java) S 3942 3945 3500 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 40799995 9856040960 105977 33554432000 1073741824 1073778376 140736230885840 140025508526864 259115767584 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3945/tid=3960] ppid=3942 vsize=9625040 CPUtime=0.63 cores=1,3,5,7
/proc/3945/task/3960/stat : 3960 (java) S 3942 3945 3500 0 -1 4202560 3850 0 0 0 63 0 0 0 20 0 19 0 40799995 9856040960 105977 33554432000 1073741824 1073778376 140736230885840 140025507473720 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3945/tid=3961] ppid=3942 vsize=9625040 CPUtime=0.62 cores=1,3,5,7
/proc/3945/task/3961/stat : 3961 (java) S 3942 3945 3500 0 -1 4202560 6150 0 0 0 61 1 0 0 20 0 19 0 40799995 9856040960 105977 33554432000 1073741824 1073778376 140736230885840 140025506421176 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3945/tid=3962] ppid=3942 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/3945/task/3962/stat : 3962 (java) S 3942 3945 3500 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 40799995 9856040960 105977 33554432000 1073741824 1073778376 140736230885840 140025505368312 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3945/tid=3963] ppid=3942 vsize=9625040 CPUtime=0.57 cores=1,3,5,7
/proc/3945/task/3963/stat : 3963 (java) S 3942 3945 3500 0 -1 4202560 104 0 0 0 25 32 0 0 20 0 19 0 40799995 9856040960 105977 33554432000 1073741824 1073778376 140736230885840 140025504315976 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3945/tid=3964] ppid=3942 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/3945/task/3964/stat : 3964 (java) S 3942 3945 3500 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 40800028 9856040960 105977 33554432000 1073741824 1073778376 140736230885840 140025503163944 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1785.56
Current children cumulated vsize (KiB) 9625040



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1796.7 s]
/proc/loadavg: 2.25 2.25 2.19 4/213 4097
/proc/meminfo: memFree=29786008/32872528 swapFree=1498360/1645528
[pid=3945] ppid=3942 vsize=9625040 CPUtime=1800.05 cores=1,3,5,7
/proc/3945/stat : 3945 (java) S 3942 3945 3500 0 -1 4202496 15525 0 1 0 179944 61 0 0 20 0 19 0 40799989 9856040960 109641 33554432000 1073741824 1073778376 140736230885840 140736230876976 259115745341 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3945/statm: 2406260 109641 2287 9 0 2396937 0
[pid=3945/tid=3947] ppid=3942 vsize=9625040 CPUtime=1791.13 cores=1,3,5,7
/proc/3945/task/3947/stat : 3947 (java) R 3942 3945 3500 0 -1 4202560 2511 0 1 0 179082 31 0 0 20 0 19 0 40799990 9856040960 109641 33554432000 1073741824 1073778376 140736230885840 140025754807552 140025615003870 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=3945/tid=3948] ppid=3942 vsize=9625040 CPUtime=0.4 cores=1,3,5,7
/proc/3945/task/3948/stat : 3948 (java) S 3942 3945 3500 0 -1 4202560 331 0 0 0 36 4 0 0 20 0 19 0 40799991 9856040960 109641 33554432000 1073741824 1073778376 140736230885840 140025732909992 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3945/tid=3949] ppid=3942 vsize=9625040 CPUtime=0.28 cores=1,3,5,7
/proc/3945/task/3949/stat : 3949 (java) S 3942 3945 3500 0 -1 4202560 105 0 0 0 25 3 0 0 20 0 19 0 40799991 9856040960 109641 33554432000 1073741824 1073778376 140736230885840 140025530412072 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3945/tid=3950] ppid=3942 vsize=9625040 CPUtime=0.3 cores=1,3,5,7
/proc/3945/task/3950/stat : 3950 (java) S 3942 3945 3500 0 -1 4202560 171 0 0 0 27 3 0 0 20 0 19 0 40799991 9856040960 109641 33554432000 1073741824 1073778376 140736230885840 140025529359016 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3945/tid=3951] ppid=3942 vsize=9625040 CPUtime=0.36 cores=1,3,5,7
/proc/3945/task/3951/stat : 3951 (java) S 3942 3945 3500 0 -1 4202560 302 0 0 0 33 3 0 0 20 0 19 0 40799991 9856040960 109641 33554432000 1073741824 1073778376 140736230885840 140025528306472 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3945/tid=3952] ppid=3942 vsize=9625040 CPUtime=0.29 cores=1,3,5,7
/proc/3945/task/3952/stat : 3952 (java) S 3942 3945 3500 0 -1 4202560 159 0 0 0 26 3 0 0 20 0 19 0 40799991 9856040960 109641 33554432000 1073741824 1073778376 140736230885840 140025527253416 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3945/tid=3953] ppid=3942 vsize=9625040 CPUtime=0.25 cores=1,3,5,7
/proc/3945/task/3953/stat : 3953 (java) S 3942 3945 3500 0 -1 4202560 180 0 0 0 23 2 0 0 20 0 19 0 40799991 9856040960 109641 33554432000 1073741824 1073778376 140736230885840 140025526200872 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3945/tid=3954] ppid=3942 vsize=9625040 CPUtime=0.25 cores=1,3,5,7
/proc/3945/task/3954/stat : 3954 (java) S 3942 3945 3500 0 -1 4202560 165 0 0 0 22 3 0 0 20 0 19 0 40799991 9856040960 109641 33554432000 1073741824 1073778376 140736230885840 140025525147816 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3945/tid=3955] ppid=3942 vsize=9625040 CPUtime=0.35 cores=1,3,5,7
/proc/3945/task/3955/stat : 3955 (java) S 3942 3945 3500 0 -1 4202560 165 0 0 0 31 4 0 0 20 0 19 0 40799991 9856040960 109641 33554432000 1073741824 1073778376 140736230885840 140025524095272 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3945/tid=3956] ppid=3942 vsize=9625040 CPUtime=0.02 cores=1,3,5,7
/proc/3945/task/3956/stat : 3956 (java) S 3942 3945 3500 0 -1 4202560 69 0 0 0 1 1 0 0 20 0 19 0 40799992 9856040960 109641 33554432000 1073741824 1073778376 140736230885840 140025511684968 259115759529 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3945/tid=3957] ppid=3942 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/3945/task/3957/stat : 3957 (java) S 3942 3945 3500 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 40799992 9856040960 109641 33554432000 1073741824 1073778376 140736230885840 140025510631288 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3945/tid=3958] ppid=3942 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/3945/task/3958/stat : 3958 (java) S 3942 3945 3500 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 40799992 9856040960 109641 33554432000 1073741824 1073778376 140736230885840 140025509578120 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3945/tid=3959] ppid=3942 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/3945/task/3959/stat : 3959 (java) S 3942 3945 3500 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 40799995 9856040960 109641 33554432000 1073741824 1073778376 140736230885840 140025508526864 259115767584 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3945/tid=3960] ppid=3942 vsize=9625040 CPUtime=0.63 cores=1,3,5,7
/proc/3945/task/3960/stat : 3960 (java) S 3942 3945 3500 0 -1 4202560 3850 0 0 0 63 0 0 0 20 0 19 0 40799995 9856040960 109641 33554432000 1073741824 1073778376 140736230885840 140025507473720 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3945/tid=3961] ppid=3942 vsize=9625040 CPUtime=0.62 cores=1,3,5,7
/proc/3945/task/3961/stat : 3961 (java) S 3942 3945 3500 0 -1 4202560 6150 0 0 0 61 1 0 0 20 0 19 0 40799995 9856040960 109641 33554432000 1073741824 1073778376 140736230885840 140025506421176 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3945/tid=3962] ppid=3942 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/3945/task/3962/stat : 3962 (java) S 3942 3945 3500 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 40799995 9856040960 109641 33554432000 1073741824 1073778376 140736230885840 140025505368312 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3945/tid=3963] ppid=3942 vsize=9625040 CPUtime=0.58 cores=1,3,5,7
/proc/3945/task/3963/stat : 3963 (java) S 3942 3945 3500 0 -1 4202560 104 0 0 0 25 33 0 0 20 0 19 0 40799995 9856040960 109641 33554432000 1073741824 1073778376 140736230885840 140025504315976 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3945/tid=3964] ppid=3942 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/3945/task/3964/stat : 3964 (java) S 3942 3945 3500 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 40800028 9856040960 109641 33554432000 1073741824 1073778376 140736230885840 140025503163944 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1800.05
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 3945 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+1796.7 s]
/proc/loadavg: 2.25 2.25 2.19 4/213 4097
/proc/meminfo: memFree=29786008/32872528 swapFree=1498360/1645528
[pid=3945] ppid=3942 vsize=9625040 CPUtime=1800.05 cores=1,3,5,7
/proc/3945/stat : 3945 (java) S 3942 3945 3500 0 -1 4202496 15525 0 1 0 179944 61 0 0 20 0 19 0 40799989 9856040960 109641 33554432000 1073741824 1073778376 140736230885840 140736230876976 259115745341 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3945/statm: 2406260 109641 2287 9 0 2396937 0
[pid=3945/tid=3947] ppid=3942 vsize=9625040 CPUtime=1791.13 cores=1,3,5,7
/proc/3945/task/3947/stat : 3947 (java) R 3942 3945 3500 0 -1 4202560 2511 0 1 0 179082 31 0 0 20 0 19 0 40799990 9856040960 109641 33554432000 1073741824 1073778376 140736230885840 140025754807552 140025615003870 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=3945/tid=3948] ppid=3942 vsize=9625040 CPUtime=0.4 cores=1,3,5,7
/proc/3945/task/3948/stat : 3948 (java) S 3942 3945 3500 0 -1 4202560 331 0 0 0 36 4 0 0 20 0 19 0 40799991 9856040960 109641 33554432000 1073741824 1073778376 140736230885840 140025732909992 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3945/tid=3949] ppid=3942 vsize=9625040 CPUtime=0.28 cores=1,3,5,7
/proc/3945/task/3949/stat : 3949 (java) S 3942 3945 3500 0 -1 4202560 105 0 0 0 25 3 0 0 20 0 19 0 40799991 9856040960 109641 33554432000 1073741824 1073778376 140736230885840 140025530412072 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3945/tid=3950] ppid=3942 vsize=9625040 CPUtime=0.3 cores=1,3,5,7
/proc/3945/task/3950/stat : 3950 (java) S 3942 3945 3500 0 -1 4202560 171 0 0 0 27 3 0 0 20 0 19 0 40799991 9856040960 109641 33554432000 1073741824 1073778376 140736230885840 140025529359016 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3945/tid=3951] ppid=3942 vsize=9625040 CPUtime=0.36 cores=1,3,5,7
/proc/3945/task/3951/stat : 3951 (java) S 3942 3945 3500 0 -1 4202560 302 0 0 0 33 3 0 0 20 0 19 0 40799991 9856040960 109641 33554432000 1073741824 1073778376 140736230885840 140025528306472 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3945/tid=3952] ppid=3942 vsize=9625040 CPUtime=0.29 cores=1,3,5,7
/proc/3945/task/3952/stat : 3952 (java) S 3942 3945 3500 0 -1 4202560 159 0 0 0 26 3 0 0 20 0 19 0 40799991 9856040960 109641 33554432000 1073741824 1073778376 140736230885840 140025527253416 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3945/tid=3953] ppid=3942 vsize=9625040 CPUtime=0.25 cores=1,3,5,7
/proc/3945/task/3953/stat : 3953 (java) S 3942 3945 3500 0 -1 4202560 180 0 0 0 23 2 0 0 20 0 19 0 40799991 9856040960 109641 33554432000 1073741824 1073778376 140736230885840 140025526200872 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3945/tid=3954] ppid=3942 vsize=9625040 CPUtime=0.25 cores=1,3,5,7
/proc/3945/task/3954/stat : 3954 (java) S 3942 3945 3500 0 -1 4202560 165 0 0 0 22 3 0 0 20 0 19 0 40799991 9856040960 109641 33554432000 1073741824 1073778376 140736230885840 140025525147816 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3945/tid=3955] ppid=3942 vsize=9625040 CPUtime=0.35 cores=1,3,5,7
/proc/3945/task/3955/stat : 3955 (java) S 3942 3945 3500 0 -1 4202560 165 0 0 0 31 4 0 0 20 0 19 0 40799991 9856040960 109641 33554432000 1073741824 1073778376 140736230885840 140025524095272 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3945/tid=3956] ppid=3942 vsize=9625040 CPUtime=0.02 cores=1,3,5,7
/proc/3945/task/3956/stat : 3956 (java) S 3942 3945 3500 0 -1 4202560 69 0 0 0 1 1 0 0 20 0 19 0 40799992 9856040960 109641 33554432000 1073741824 1073778376 140736230885840 140025511684968 259115759529 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3945/tid=3957] ppid=3942 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/3945/task/3957/stat : 3957 (java) S 3942 3945 3500 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 40799992 9856040960 109641 33554432000 1073741824 1073778376 140736230885840 140025510631288 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3945/tid=3958] ppid=3942 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/3945/task/3958/stat : 3958 (java) S 3942 3945 3500 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 40799992 9856040960 109641 33554432000 1073741824 1073778376 140736230885840 140025509578120 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3945/tid=3959] ppid=3942 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/3945/task/3959/stat : 3959 (java) S 3942 3945 3500 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 40799995 9856040960 109641 33554432000 1073741824 1073778376 140736230885840 140025508526864 259115767584 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3945/tid=3960] ppid=3942 vsize=9625040 CPUtime=0.63 cores=1,3,5,7
/proc/3945/task/3960/stat : 3960 (java) S 3942 3945 3500 0 -1 4202560 3850 0 0 0 63 0 0 0 20 0 19 0 40799995 9856040960 109641 33554432000 1073741824 1073778376 140736230885840 140025507473720 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3945/tid=3961] ppid=3942 vsize=9625040 CPUtime=0.62 cores=1,3,5,7
/proc/3945/task/3961/stat : 3961 (java) S 3942 3945 3500 0 -1 4202560 6150 0 0 0 61 1 0 0 20 0 19 0 40799995 9856040960 109641 33554432000 1073741824 1073778376 140736230885840 140025506421176 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3945/tid=3962] ppid=3942 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/3945/task/3962/stat : 3962 (java) S 3942 3945 3500 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 40799995 9856040960 109641 33554432000 1073741824 1073778376 140736230885840 140025505368312 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3945/tid=3963] ppid=3942 vsize=9625040 CPUtime=0.58 cores=1,3,5,7
/proc/3945/task/3963/stat : 3963 (java) S 3942 3945 3500 0 -1 4202560 104 0 0 0 25 33 0 0 20 0 19 0 40799995 9856040960 109641 33554432000 1073741824 1073778376 140736230885840 140025504315976 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3945/tid=3964] ppid=3942 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/3945/task/3964/stat : 3964 (java) S 3942 3945 3500 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 40800028 9856040960 109641 33554432000 1073741824 1073778376 140736230885840 140025503163944 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 9625040

Child status: 143

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 3945 and gives
#  childrusage.ru_utime.tv_sec=1794
#  childrusage.ru_utime.tv_usec=799149
#  childrusage.ru_stime.tv_sec=1
#  childrusage.ru_stime.tv_usec=51840
# CPU time returned by wait4() is 1795.85
# while last known CPU time is 1800.05
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1796.76
CPU time (s): 1800.05
CPU user time (s): 1799.44
CPU system time (s): 0.61
CPU usage (%): 100.183
Max. virtual memory (cumulated for all children) (KiB): 9625040

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.8
system time used= 1.05184
maximum resident set size= 440292
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 15564
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1320
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 38810
involuntary context switches= 12055

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.4024 second user time and 13.5129 second system time

The end

Launcher Data 

Begin job on node124 at 2016-06-20 03:52:12
IDJOB=4110695
IDBENCH=108272
IDSOLVER=2546
FILE ID=node124/4110695-1466387532
RUNJOBID= node124-1466385735-3517
PBS_JOBID= 19923273
Free space on /tmp= 71728 MiB

SOLVER NAME= Sat4j PB 2.3.6 Resolution PB16
BENCH NAME= PB16/normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f37-AC_TotalLoss.seq-B-2-1-irabcde.opb
COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4110695-1466387532/watcher-4110695-1466387532 -o /tmp/evaluation-result-4110695-1466387532/solver-4110695-1466387532 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node124-1466385735-3517 --watchdog 1960  java -jar sat4j-pb.jar HOME/instance-4110695-1466387532.opb

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

MD5SUM BENCH= b189f43e6422a8d157eae5ff2d2c2f3c
RANDOM SEED=1190913275

node124.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.791
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.58
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.791
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.791
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.791
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.791
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.791
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.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.791
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.54
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.791
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.54
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        30311028 kB
Buffers:           53720 kB
Cached:            43952 kB
SwapCached:         1704 kB
Active:           112424 kB
Inactive:          63776 kB
Active(anon):      80404 kB
Inactive(anon):      872 kB
Active(file):      32020 kB
Inactive(file):    62904 kB
Unevictable:     1645528 kB
Mlocked:         1498360 kB
SwapTotal:      67108856 kB
SwapFree:       67099340 kB
Dirty:              2256 kB
Writeback:             0 kB
AnonPages:       1728176 kB
Mapped:            15312 kB
Shmem:                 0 kB
Slab:             599784 kB
SReclaimable:      43368 kB
SUnreclaim:       556416 kB
KernelStack:        1584 kB
PageTables:         7764 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2332708 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    204800 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= 71724 MiB
End job on node124 at 2016-06-20 04:22:08