Trace number 4105586

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 Res+CP PB16SAT (TO)37 1800.17 933.246

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/market-split/normalized-opt-market-split_7_60_1.opb
MD5SUM7b9886d41278c23acb93039c546a310e
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark25
Best CPU time to get the best result obtained on this benchmark1800.02
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 13
Optimality of the best value was proved NO
Number of variables172
Total number of constraints14
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints14
Minimum length of a constraint73
Maximum length of a constraint75
Number of terms in the objective function 112
Biggest coefficient in the objective function 128
Number of bits for the biggest coefficient in the objective function 8
Sum of the numbers in the objective function 3570
Number of bits of the sum of numbers in the objective function 12
Biggest number in a constraint 1488
Number of bits of the biggest number in a constraint 11
Biggest sum of numbers in a constraint 4975
Number of bits of the biggest sum of numbers13
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.10/0.11	c Pseudo Boolean Optimization by upper bound
0.10/0.11	c ManyCore solver with 2 solvers running in parallel
0.10/0.11	c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<<
0.10/0.11	c --- Begin Solver configuration ---
0.10/0.11	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@5d764be1
0.10/0.11	c Learn all clauses as in MiniSAT
0.10/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.10/0.11	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.10/0.11	c Expensive reason simplification
0.10/0.11	c Glucose 2.1 dynamic restart strategy
0.10/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.10/0.11	c timeout=2147483s
0.10/0.11	c DB Simplification allowed=false
0.10/0.11	c Listener: org.sat4j.pb.tools.ManyCorePB@9f436f5
0.10/0.11	c --- End Solver configuration ---
0.10/0.11	c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<<
0.10/0.11	c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP)
0.10/0.11	c --- Begin Solver configuration ---
0.10/0.11	c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@4413ee
0.10/0.11	c Learn all clauses as in MiniSAT
0.10/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.10/0.11	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function
0.10/0.11	c No reason simplification
0.10/0.11	c Armin Biere (Picosat) restarts strategy
0.10/0.11	c Glucose 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.10/0.11	c timeout=2147483s
0.10/0.11	c DB Simplification allowed=false
0.10/0.11	c Listener: org.sat4j.pb.tools.ManyCorePB@9f436f5
0.10/0.11	c --- End Solver configuration ---
0.10/0.11	c solving HOME/instance-4105586-1466255474.opb
0.10/0.11	c reading problem ... 
0.10/0.11	c  objective function found
0.10/0.16	c ... done. Wall clock time 0.055s.
0.10/0.16	c declared #vars     172
0.10/0.16	c #constraints  14
0.10/0.17	c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<<
0.10/0.17	c constraints type 
0.10/0.17	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 14
0.10/0.17	c 14 constraints processed.
0.10/0.17	c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<<
0.10/0.17	c constraints type 
0.10/0.17	c org.sat4j.pb.constraints.pb.MaxWatchPb => 14
0.10/0.17	c 14 constraints processed.
0.10/0.17	c objective function length is 112 literals
1.09/0.41	c And the winner is solver0
1.41/0.67	c SATISFIABLE
1.41/0.67	c OPTIMIZING...
1.41/0.67	c Got one! Elapsed wall clock time (in seconds):0.56
1.41/0.67	o 608
1.77/0.85	c And the winner is solver0
2.09/1.17	c Got one! Elapsed wall clock time (in seconds):1.062
2.09/1.17	o 289
2.52/1.33	c And the winner is solver0
2.75/1.67	c Got one! Elapsed wall clock time (in seconds):1.563
2.75/1.67	o 197
2.80/1.76	c cleaning 3236 clauses out of 6472 with flag 2323/6472
3.05/1.87	c And the winner is solver0
3.21/2.17	c Got one! Elapsed wall clock time (in seconds):2.065
3.21/2.17	o 196
3.49/2.39	c cleaning 4228 clauses out of 8461 with flag 7985/11697
3.67/2.47	c And the winner is solver0
3.85/2.68	c Got one! Elapsed wall clock time (in seconds):2.567
3.85/2.68	o 194
4.29/2.96	c cleaning 4800 clauses out of 9601 with flag 8885/17065
5.48/3.46	c cleaning 5399 clauses out of 10798 with flag 22503/23062
5.68/3.53	c And the winner is solver1
5.76/3.68	c Got one! Elapsed wall clock time (in seconds):3.569
5.76/3.68	o 187
6.19/3.97	c cleaning 5264 clauses out of 10529 with flag 10009/28192
6.19/3.99	c And the winner is solver0
6.40/4.18	c Got one! Elapsed wall clock time (in seconds):4.07
6.40/4.18	o 185
7.09/4.54	c cleaning 5283 clauses out of 10568 with flag 11809/33495
7.87/4.97	c cleaning 5639 clauses out of 11286 with flag 26370/39496
8.90/5.46	c And the winner is solver0
9.04/5.68	c Got one! Elapsed wall clock time (in seconds):5.571
9.04/5.68	o 184
9.07/5.78	c And the winner is solver0
9.26/6.18	c Got one! Elapsed wall clock time (in seconds):6.073
9.26/6.18	o 182
9.48/6.36	c And the winner is solver0
9.64/6.68	c Got one! Elapsed wall clock time (in seconds):6.574
9.64/6.68	o 181
10.27/7.04	c cleaning 9223 clauses out of 18456 with flag 7310/52305
11.31/7.57	c cleaning 7617 clauses out of 15235 with flag 22206/58307
11.71/7.71	c And the winner is solver0
11.76/8.18	c Got one! Elapsed wall clock time (in seconds):8.076
11.76/8.18	o 179
11.97/8.30	c And the winner is solver0
12.03/8.69	c Got one! Elapsed wall clock time (in seconds):8.577
12.03/8.69	o 177
12.05/8.76	c And the winner is solver0
12.21/9.19	c Got one! Elapsed wall clock time (in seconds):9.078
12.21/9.19	o 176
12.23/9.27	c cleaning 6612 clauses out of 13232 with flag 2478/63921
12.43/9.32	c And the winner is solver0
12.61/9.69	c Got one! Elapsed wall clock time (in seconds):9.58
12.61/9.69	o 173
13.15/9.98	c cleaning 5817 clauses out of 11635 with flag 10327/68936
13.36/10.07	c And the winner is solver0
13.52/10.19	c Got one! Elapsed wall clock time (in seconds):10.081
13.52/10.19	o 172
13.94/10.48	c cleaning 5793 clauses out of 11590 with flag 9686/74708
14.97/10.91	c cleaning 5894 clauses out of 11797 with flag 24143/80708
15.97/11.41	c cleaning 6452 clauses out of 12904 with flag 41622/87709
17.17/12.03	c cleaning 7219 clauses out of 14451 with flag 61057/95708
17.97/12.46	c And the winner is solver0
18.14/12.69	c Got one! Elapsed wall clock time (in seconds):12.582
18.14/12.69	o 170
18.76/13.09	c And the winner is solver0
18.95/13.19	c Got one! Elapsed wall clock time (in seconds):13.084
18.95/13.19	o 169
19.00/13.21	c And the winner is solver0
19.03/13.69	c Got one! Elapsed wall clock time (in seconds):13.585
19.03/13.69	o 164
19.24/13.81	c cleaning 9622 clauses out of 19245 with flag 2347/107721
20.03/14.30	c cleaning 7808 clauses out of 15628 with flag 16304/113726
21.23/14.83	c cleaning 7409 clauses out of 14821 with flag 33063/120727
21.86/15.19	c And the winner is solver1
21.86/15.20	c Got one! Elapsed wall clock time (in seconds):15.086
21.86/15.20	o 162
22.06/15.29	c cleaning 6648 clauses out of 13299 with flag 2356/126614
23.06/15.74	c cleaning 6323 clauses out of 12651 with flag 17592/132614
24.08/16.30	c cleaning 6654 clauses out of 13325 with flag 35698/139611
24.28/16.40	c And the winner is solver0
24.52/16.70	c Got one! Elapsed wall clock time (in seconds):16.588
24.52/16.70	o 160
25.12/17.00	c And the winner is solver0
25.18/17.20	c Got one! Elapsed wall clock time (in seconds):17.089
25.18/17.20	o 158
25.18/17.29	c cleaning 6637 clauses out of 13285 with flag 2108/146225
25.38/17.34	c And the winner is solver0
25.52/17.70	c Got one! Elapsed wall clock time (in seconds):17.59
25.52/17.70	o 157
25.53/17.77	c And the winner is solver0
25.71/18.20	c Got one! Elapsed wall clock time (in seconds):18.091
25.71/18.20	o 156
26.10/18.50	c cleaning 6333 clauses out of 12671 with flag 9884/152248
27.15/18.97	c cleaning 6166 clauses out of 12340 with flag 25407/158250
28.36/19.52	c cleaning 6586 clauses out of 13173 with flag 43352/165249
29.56/20.12	c cleaning 7293 clauses out of 14586 with flag 62719/173248
29.56/20.16	c And the winner is solver0
29.72/20.25	c Got one! Elapsed wall clock time (in seconds):20.142
29.72/20.25	o 155
30.02/20.47	c And the winner is solver0
30.22/20.75	c Got one! Elapsed wall clock time (in seconds):20.644
30.22/20.75	o 154
30.52/20.92	c cleaning 6639 clauses out of 13292 with flag 5218/179247
31.31/21.38	c cleaning 6321 clauses out of 12658 with flag 20404/185252
32.51/21.91	c cleaning 6664 clauses out of 13332 with flag 37168/192247
33.11/22.22	c And the winner is solver0
33.20/22.30	c Got one! Elapsed wall clock time (in seconds):22.195
33.20/22.30	o 153
33.20/22.39	c cleaning 5900 clauses out of 11822 with flag 2123/197401
34.18/22.81	c cleaning 5954 clauses out of 11917 with flag 16607/203396
35.18/23.32	c cleaning 6483 clauses out of 12970 with flag 33429/210403
36.38/23.92	c cleaning 7239 clauses out of 14481 with flag 53205/218397
36.38/23.94	c And the winner is solver0
36.51/24.31	c Got one! Elapsed wall clock time (in seconds):24.197
36.51/24.31	o 152
36.70/24.49	c And the winner is solver0
36.96/24.81	c Got one! Elapsed wall clock time (in seconds):24.698
36.96/24.81	o 151
37.34/25.00	c cleaning 6598 clauses out of 13204 with flag 7420/224359
37.54/25.18	c And the winner is solver0
37.78/25.31	c Got one! Elapsed wall clock time (in seconds):25.199
37.78/25.31	o 150
37.97/25.42	c And the winner is solver0
38.08/25.81	c Got one! Elapsed wall clock time (in seconds):25.7
38.08/25.81	o 149
38.08/25.89	c cleaning 6146 clauses out of 12308 with flag 2371/230061
38.46/26.05	c And the winner is solver0
38.66/26.31	c Got one! Elapsed wall clock time (in seconds):26.202
38.66/26.31	o 142
38.84/26.44	c And the winner is solver0
39.11/26.81	c Got one! Elapsed wall clock time (in seconds):26.703
39.11/26.81	o 141
39.28/26.98	c cleaning 6209 clauses out of 12438 with flag 4732/236337
39.48/27.00	c And the winner is solver0
39.54/27.31	c Got one! Elapsed wall clock time (in seconds):27.204
39.54/27.31	o 140
39.54/27.39	c And the winner is solver0
39.74/27.81	c Got one! Elapsed wall clock time (in seconds):27.705
39.74/27.81	o 139
40.31/28.10	c cleaning 5847 clauses out of 11716 with flag 9818/241824
41.11/28.52	c cleaning 5927 clauses out of 11869 with flag 24981/247824
41.70/28.87	c And the winner is solver0
41.92/29.32	c Got one! Elapsed wall clock time (in seconds):29.207
41.92/29.32	o 138
42.69/29.75	c cleaning 8014 clauses out of 16036 with flag 11972/257918
43.68/30.22	c cleaning 7008 clauses out of 14024 with flag 26769/263920
44.08/30.44	c And the winner is solver0
44.28/30.82	c Got one! Elapsed wall clock time (in seconds):30.708
44.28/30.82	o 137
44.64/31.00	c cleaning 6196 clauses out of 12404 with flag 4770/269308
45.44/31.44	c cleaning 6096 clauses out of 12207 with flag 19392/275307
46.46/31.98	c cleaning 6553 clauses out of 13111 with flag 37247/282307
47.05/32.25	c And the winner is solver0
47.30/32.42	c Got one! Elapsed wall clock time (in seconds):32.31
47.30/32.42	o 135
47.67/32.60	c cleaning 6181 clauses out of 12368 with flag 4501/288117
48.47/33.04	c cleaning 6085 clauses out of 12184 with flag 19404/294114
49.51/33.59	c cleaning 6547 clauses out of 13099 with flag 37532/301114
50.73/34.20	c cleaning 7276 clauses out of 14552 with flag 58879/309114
52.31/34.91	c cleaning 8139 clauses out of 16282 with flag 82476/318120
54.11/35.80	c cleaning 9065 clauses out of 18138 with flag 109408/328115
56.11/36.84	c cleaning 10034 clauses out of 20072 with flag 137948/339114
58.51/38.06	c cleaning 11014 clauses out of 22039 with flag 167702/351115
58.91/38.22	c And the winner is solver0
58.97/38.42	c Got one! Elapsed wall clock time (in seconds):38.312
58.97/38.42	o 133
59.51/38.70	c cleaning 8119 clauses out of 16238 with flag 7316/356328
60.31/39.16	c cleaning 7056 clauses out of 14119 with flag 23132/362328
60.90/39.43	c And the winner is solver0
61.05/39.92	c Got one! Elapsed wall clock time (in seconds):39.813
61.05/39.92	o 132
61.39/40.10	c cleaning 6523 clauses out of 13052 with flag 4682/368317
62.19/40.51	c cleaning 6266 clauses out of 12531 with flag 20027/374319
63.19/41.03	c cleaning 6628 clauses out of 13266 with flag 37684/381320
63.59/41.25	c And the winner is solver0
63.79/41.42	c Got one! Elapsed wall clock time (in seconds):41.315
63.79/41.42	o 131
64.19/41.62	c cleaning 6082 clauses out of 12189 with flag 4716/386871
64.60/41.82	c And the winner is solver0
64.72/41.95	c Got one! Elapsed wall clock time (in seconds):41.846
64.72/41.95	o 130
64.99/42.13	c cleaning 5601 clauses out of 11225 with flag 5096/391989
64.99/42.15	c And the winner is solver0
65.21/42.46	c Got one! Elapsed wall clock time (in seconds):42.347
65.21/42.46	o 129
65.89/42.80	c cleaning 5517 clauses out of 11043 with flag 13447/397408
66.68/43.24	c cleaning 5756 clauses out of 11524 with flag 28313/403406
67.48/43.60	c And the winner is solver0
67.59/43.96	c Got one! Elapsed wall clock time (in seconds):43.848
67.59/43.96	o 128
68.46/44.44	c cleaning 8063 clauses out of 16128 with flag 11540/413766
69.46/44.95	c cleaning 7031 clauses out of 14066 with flag 25489/419767
69.66/45.07	c And the winner is solver0
69.87/45.46	c Got one! Elapsed wall clock time (in seconds):45.349
69.87/45.46	o 126
70.55/45.81	c cleaning 6278 clauses out of 12558 with flag 9234/425290
71.36/46.29	c cleaning 6141 clauses out of 12281 with flag 23458/431291
72.59/46.89	c cleaning 6566 clauses out of 13139 with flag 39413/438290
73.99/47.56	c cleaning 7286 clauses out of 14575 with flag 57969/446292
75.59/48.31	c cleaning 8142 clauses out of 16286 with flag 79213/455289
77.39/49.24	c cleaning 9066 clauses out of 18145 with flag 102556/465290
79.39/50.26	c And the winner is solver0
79.59/50.47	c Got one! Elapsed wall clock time (in seconds):50.358
79.59/50.47	o 125
80.83/51.12	c cleaning 12297 clauses out of 24594 with flag 11495/480805
81.83/51.67	c cleaning 9145 clauses out of 18290 with flag 25053/486798
83.07/52.29	c cleaning 8071 clauses out of 16145 with flag 41482/493798
83.87/52.60	c And the winner is solver0
83.99/52.98	c Got one! Elapsed wall clock time (in seconds):52.868
83.99/52.98	o 123
84.01/53.08	c cleaning 6737 clauses out of 13478 with flag 2114/499202
85.01/53.58	c cleaning 6369 clauses out of 12745 with flag 15997/505206
85.21/53.63	c And the winner is solver0
85.42/53.99	c Got one! Elapsed wall clock time (in seconds):53.877
85.42/53.99	o 122
86.03/54.30	c cleaning 6090 clauses out of 12189 with flag 11403/511019
86.62/54.67	c cleaning 6042 clauses out of 12097 with flag 24771/517017
87.44/55.05	c And the winner is solver0
87.64/55.50	c Got one! Elapsed wall clock time (in seconds):55.387
87.64/55.50	o 120
88.23/55.89	c And the winner is solver0
88.53/56.01	c Got one! Elapsed wall clock time (in seconds):55.897
88.53/56.01	o 118
88.71/56.16	c cleaning 8801 clauses out of 17601 with flag 2444/528563
88.71/56.17	c And the winner is solver0
88.94/56.52	c Got one! Elapsed wall clock time (in seconds):56.406
88.94/56.52	o 116
89.68/56.94	c cleaning 6964 clauses out of 13935 with flag 11655/533698
90.68/57.43	c cleaning 6485 clauses out of 12973 with flag 25698/539700
91.88/58.00	c cleaning 6742 clauses out of 13489 with flag 42364/546701
93.08/58.64	c cleaning 7370 clauses out of 14745 with flag 61293/554699
94.69/59.47	c cleaning 8185 clauses out of 16374 with flag 83115/563698
96.28/60.23	c And the winner is solver0
96.44/60.53	c Got one! Elapsed wall clock time (in seconds):60.417
96.44/60.53	o 115
97.37/61.07	c cleaning 10815 clauses out of 21634 with flag 12218/577143
98.00/61.32	c And the winner is solver0
98.18/61.54	c Got one! Elapsed wall clock time (in seconds):61.427
98.18/61.54	o 113
98.51/61.76	c cleaning 8057 clauses out of 16136 with flag 4694/582460
99.49/62.29	c cleaning 7026 clauses out of 14079 with flag 17870/588460
100.71/62.86	c cleaning 7021 clauses out of 14057 with flag 33109/595464
102.09/63.58	c cleaning 7509 clauses out of 15032 with flag 50850/603460
103.89/64.41	c cleaning 8254 clauses out of 16525 with flag 70601/612462
105.29/65.19	c And the winner is solver0
105.57/65.55	c Got one! Elapsed wall clock time (in seconds):65.438
105.57/65.55	o 112
106.69/66.15	c cleaning 11028 clauses out of 22077 with flag 11174/626268
106.69/66.15	c And the winner is solver0
106.98/66.56	c Got one! Elapsed wall clock time (in seconds):66.449
106.98/66.56	o 110
107.65/66.94	c cleaning 8020 clauses out of 16049 with flag 11941/631268
108.45/67.32	c cleaning 7000 clauses out of 14030 with flag 25799/637269
109.25/67.79	c cleaning 7008 clauses out of 14032 with flag 42274/644271
110.47/68.33	c cleaning 7504 clauses out of 15021 with flag 60788/652268
111.25/68.76	c And the winner is solver0
111.54/69.07	c Got one! Elapsed wall clock time (in seconds):68.96
111.54/69.07	o 108
112.38/69.59	c cleaning 9620 clauses out of 19245 with flag 11592/663996
113.38/70.07	c cleaning 7808 clauses out of 15622 with flag 25752/669993
114.58/70.62	c cleaning 7402 clauses out of 14815 with flag 41839/676994
115.81/71.29	c cleaning 7702 clauses out of 15415 with flag 60580/684996
117.41/72.04	c cleaning 8354 clauses out of 16711 with flag 81610/693994
119.01/72.89	c cleaning 9176 clauses out of 18355 with flag 104654/703992
121.21/73.93	c cleaning 10090 clauses out of 20181 with flag 129972/714994
121.41/74.03	c And the winner is solver0
121.65/74.23	c Got one! Elapsed wall clock time (in seconds):74.123
121.65/74.23	o 107
122.36/74.61	c cleaning 7823 clauses out of 15668 with flag 9157/720571
123.16/75.07	c cleaning 6913 clauses out of 13842 with flag 23181/726568
123.96/75.49	c And the winner is solver0
124.27/75.74	c Got one! Elapsed wall clock time (in seconds):75.634
124.27/75.74	o 105
125.17/76.28	c cleaning 8901 clauses out of 17802 with flag 11470/737441
126.17/76.78	c cleaning 7442 clauses out of 14898 with flag 25404/743438
126.37/76.85	c And the winner is solver0
126.64/77.25	c Got one! Elapsed wall clock time (in seconds):77.146
126.64/77.25	o 103
127.33/77.60	c cleaning 6327 clauses out of 12660 with flag 9498/748642
128.12/78.04	c cleaning 6165 clauses out of 12335 with flag 24701/754644
129.12/78.57	c cleaning 6581 clauses out of 13168 with flag 42049/761642
129.12/78.59	c And the winner is solver0
129.42/78.77	c Got one! Elapsed wall clock time (in seconds):78.658
129.42/78.77	o 101
130.08/79.16	c cleaning 5922 clauses out of 11859 with flag 11774/766914
131.08/79.62	c cleaning 5960 clauses out of 11935 with flag 26047/772912
132.08/80.17	c cleaning 6486 clauses out of 12980 with flag 43415/779917
132.53/80.35	c And the winner is solver0
132.82/80.78	c Got one! Elapsed wall clock time (in seconds):80.67
132.82/80.78	o 99
133.24/81.05	c cleaning 5939 clauses out of 11886 with flag 6883/785309
134.05/81.49	c cleaning 5968 clauses out of 11943 with flag 20394/791305
135.24/82.02	c cleaning 6486 clauses out of 12977 with flag 37348/798307
135.24/82.05	c And the winner is solver0
135.47/82.29	c Got one! Elapsed wall clock time (in seconds):82.183
135.47/82.29	o 97
136.08/82.62	c cleaning 5991 clauses out of 11988 with flag 11098/803804
136.86/83.03	c cleaning 5993 clauses out of 11997 with flag 25342/809804
137.86/83.52	c cleaning 6497 clauses out of 13004 with flag 42125/816804
139.06/84.14	c cleaning 7253 clauses out of 14505 with flag 61234/824802
139.69/84.42	c And the winner is solver0
139.86/84.80	c Got one! Elapsed wall clock time (in seconds):84.696
139.86/84.80	o 96
140.03/84.98	c cleaning 6566 clauses out of 13148 with flag 4462/830698
141.03/85.43	c cleaning 6285 clauses out of 12584 with flag 17550/836700
142.04/85.92	c cleaning 6643 clauses out of 13298 with flag 32987/843699
143.03/86.42	c And the winner is solver0
143.26/86.82	c Got one! Elapsed wall clock time (in seconds):86.709
143.26/86.82	o 94
144.43/87.41	c cleaning 9198 clauses out of 18397 with flag 11047/855441
145.43/87.93	c cleaning 7599 clauses out of 15198 with flag 24398/861440
146.43/88.45	c cleaning 7291 clauses out of 14600 with flag 39535/868441
147.63/89.10	c cleaning 7644 clauses out of 15308 with flag 57682/876440
147.84/89.17	c And the winner is solver0
148.10/89.38	c Got one! Elapsed wall clock time (in seconds):89.272
148.10/89.38	o 93
148.60/89.64	c And the winner is solver0
148.82/89.89	c Got one! Elapsed wall clock time (in seconds):89.786
148.82/89.89	o 92
149.01/90.01	c cleaning 6645 clauses out of 13306 with flag 2413/882082
149.81/90.42	c cleaning 6322 clauses out of 12659 with flag 16202/888080
150.62/90.89	c cleaning 6671 clauses out of 13341 with flag 31472/895084
151.83/91.43	c cleaning 7330 clauses out of 14667 with flag 49252/903081
153.22/92.13	c cleaning 8165 clauses out of 16335 with flag 69809/912079
154.22/92.60	c And the winner is solver0
154.37/92.91	c Got one! Elapsed wall clock time (in seconds):92.8
154.37/92.91	o 91
154.73/93.14	c And the winner is solver0
154.98/93.42	c Got one! Elapsed wall clock time (in seconds):93.313
154.98/93.42	o 90
155.51/93.78	c cleaning 9802 clauses out of 19610 with flag 7325/923519
155.71/93.86	c And the winner is solver0
155.98/94.04	c Got one! Elapsed wall clock time (in seconds):93.927
155.98/94.04	o 88
156.49/94.38	c cleaning 7450 clauses out of 14910 with flag 9215/928621
157.49/94.85	c cleaning 6726 clauses out of 13462 with flag 22659/934623
158.50/95.39	c cleaning 6855 clauses out of 13729 with flag 38124/941616
159.70/95.98	c cleaning 7434 clauses out of 14877 with flag 56279/949619
161.29/96.70	c cleaning 8220 clauses out of 16440 with flag 76595/958616
162.89/97.56	c cleaning 9106 clauses out of 18223 with flag 98965/968619
164.89/98.57	c cleaning 10048 clauses out of 20115 with flag 124452/979617
166.49/99.39	c And the winner is solver0
166.82/99.55	c Got one! Elapsed wall clock time (in seconds):99.442
166.82/99.55	o 87
168.14/100.24	c cleaning 12213 clauses out of 24425 with flag 10858/993975
169.33/100.81	c cleaning 9100 clauses out of 18211 with flag 24097/999974
170.53/101.42	c cleaning 8048 clauses out of 16111 with flag 39777/1006974
171.95/102.13	c cleaning 8029 clauses out of 16064 with flag 58363/1014975
173.55/102.96	c cleaning 8516 clauses out of 17034 with flag 78622/1023974
175.35/103.89	c cleaning 9258 clauses out of 18519 with flag 101894/1033975
177.55/104.96	c cleaning 10125 clauses out of 20262 with flag 126996/1044976
180.18/106.29	c cleaning 11067 clauses out of 22137 with flag 153273/1056976
181.19/106.71	c And the winner is solver0
181.28/107.07	c Got one! Elapsed wall clock time (in seconds):106.957
181.28/107.07	o 86
181.52/107.21	c cleaning 8309 clauses out of 16635 with flag 2117/1062541
182.12/107.55	c And the winner is solver0
182.39/107.78	c Got one! Elapsed wall clock time (in seconds):107.673
182.39/107.78	o 84
182.48/107.89	c cleaning 6825 clauses out of 13668 with flag 2116/1067883
183.46/108.35	c cleaning 6411 clauses out of 12844 with flag 15598/1073884
183.66/108.40	c And the winner is solver0
183.90/108.80	c Got one! Elapsed wall clock time (in seconds):108.689
183.90/108.80	o 82
184.69/109.20	c cleaning 6206 clauses out of 12421 with flag 11696/1079872
185.49/109.67	c cleaning 6093 clauses out of 12215 with flag 24873/1085872
186.69/110.23	c cleaning 6557 clauses out of 13121 with flag 40287/1092871
188.08/110.94	c cleaning 7283 clauses out of 14565 with flag 57788/1100872
189.68/111.72	c cleaning 8138 clauses out of 16282 with flag 77669/1109872
191.70/112.72	c cleaning 9069 clauses out of 18143 with flag 100117/1119871
193.90/113.85	c cleaning 10035 clauses out of 20074 with flag 124472/1130871
196.70/115.23	c cleaning 11010 clauses out of 22041 with flag 150338/1142873
199.73/116.72	c cleaning 12015 clauses out of 24030 with flag 178700/1155872
203.12/118.45	c cleaning 13002 clauses out of 26015 with flag 209524/1169872
207.56/120.60	c cleaning 14000 clauses out of 28012 with flag 243187/1184871
207.96/120.87	c And the winner is solver0
208.15/121.31	c Got one! Elapsed wall clock time (in seconds):121.206
208.15/121.31	o 77
208.89/121.70	c cleaning 9861 clauses out of 19731 with flag 6676/1190590
209.31/121.92	c And the winner is solver0
209.56/122.33	c Got one! Elapsed wall clock time (in seconds):122.224
209.56/122.33	o 76
210.07/122.66	c cleaning 7769 clauses out of 15546 with flag 6754/1196266
211.07/123.13	c cleaning 6875 clauses out of 13770 with flag 20820/1202259
212.07/123.66	c cleaning 6941 clauses out of 13896 with flag 36438/1209260
213.27/124.29	c cleaning 7468 clauses out of 14954 with flag 54388/1217259
213.48/124.38	c And the winner is solver0
213.85/124.85	c Got one! Elapsed wall clock time (in seconds):124.741
213.85/124.85	o 75
214.53/125.22	c cleaning 6400 clauses out of 12819 with flag 8779/1222592
215.33/125.66	c cleaning 6205 clauses out of 12419 with flag 21945/1228592
216.34/126.18	c cleaning 6606 clauses out of 13216 with flag 37041/1235594
217.74/126.81	c cleaning 7302 clauses out of 14608 with flag 53972/1243592
219.14/127.58	c cleaning 8149 clauses out of 16306 with flag 73380/1252592
220.94/128.47	c cleaning 9078 clauses out of 18158 with flag 94440/1262593
223.17/129.59	c cleaning 10037 clauses out of 20080 with flag 118234/1273593
225.77/130.89	c cleaning 11019 clauses out of 22042 with flag 144606/1285592
228.97/132.40	c cleaning 12010 clauses out of 24024 with flag 174316/1298593
232.19/134.06	c cleaning 12996 clauses out of 26013 with flag 206598/1312592
232.19/134.07	c And the winner is solver0
232.48/134.37	c Got one! Elapsed wall clock time (in seconds):134.261
232.48/134.37	o 73
233.53/134.95	c cleaning 9064 clauses out of 18143 with flag 11400/1317718
234.54/135.47	c cleaning 7528 clauses out of 15081 with flag 25654/1323720
235.73/136.07	c cleaning 7265 clauses out of 14550 with flag 41364/1330717
237.13/136.74	c cleaning 7632 clauses out of 15285 with flag 60332/1338717
238.53/137.48	c cleaning 8318 clauses out of 16654 with flag 80912/1347718
240.54/138.45	c cleaning 9167 clauses out of 18337 with flag 104063/1357719
242.76/139.51	c cleaning 10078 clauses out of 20170 with flag 128394/1368719
245.15/140.79	c cleaning 11035 clauses out of 22090 with flag 155751/1380717
248.35/142.36	c cleaning 12029 clauses out of 24057 with flag 184577/1393719
251.76/144.08	c cleaning 13008 clauses out of 26027 with flag 215478/1407718
255.75/146.01	c cleaning 14006 clauses out of 28019 with flag 248659/1422718
259.95/148.13	c cleaning 15006 clauses out of 30015 with flag 283627/1438720
264.77/150.51	c cleaning 16005 clauses out of 32011 with flag 320605/1455722
269.58/153.00	c cleaning 17001 clauses out of 34005 with flag 361950/1473721
275.63/155.98	c cleaning 17999 clauses out of 36000 with flag 404220/1492717
281.65/158.98	c cleaning 19000 clauses out of 38003 with flag 449154/1512719
289.54/162.85	c cleaning 19998 clauses out of 40003 with flag 496631/1533719
289.92/163.08	c And the winner is solver0
290.15/163.40	c Got one! Elapsed wall clock time (in seconds):163.289
290.15/163.40	o 71
290.92/163.86	c cleaning 12652 clauses out of 25308 with flag 6347/1539022
291.92/164.39	c cleaning 9323 clauses out of 18656 with flag 19950/1545022
293.11/164.95	c cleaning 8158 clauses out of 16334 with flag 36023/1552023
293.11/164.98	c And the winner is solver0
293.49/165.42	c Got one! Elapsed wall clock time (in seconds):165.311
293.49/165.42	o 70
294.43/165.90	c cleaning 6807 clauses out of 13625 with flag 11496/1557472
295.23/166.38	c cleaning 6397 clauses out of 12819 with flag 25722/1563473
296.43/166.95	c cleaning 6702 clauses out of 13421 with flag 41877/1570472
297.62/167.55	c cleaning 7358 clauses out of 14718 with flag 60758/1578471
297.62/167.58	c And the winner is solver0
298.03/167.94	c Got one! Elapsed wall clock time (in seconds):167.832
298.03/167.94	o 69
298.73/168.38	c cleaning 6428 clauses out of 12870 with flag 10983/1583981
299.72/168.86	c cleaning 6209 clauses out of 12438 with flag 24248/1589977
300.93/169.41	c cleaning 6614 clauses out of 13229 with flag 39522/1596977
302.12/170.07	c cleaning 7305 clauses out of 14615 with flag 57483/1604977
303.72/170.86	c cleaning 8143 clauses out of 16310 with flag 77670/1613977
305.72/171.83	c cleaning 9083 clauses out of 18167 with flag 99715/1623977
307.94/172.93	c cleaning 10040 clauses out of 20084 with flag 124728/1634977
310.34/174.17	c cleaning 11021 clauses out of 22046 with flag 151915/1646979
313.55/175.72	c cleaning 12007 clauses out of 24024 with flag 181468/1659978
316.76/177.38	c cleaning 13007 clauses out of 26017 with flag 213830/1673978
320.57/179.25	c cleaning 14001 clauses out of 28010 with flag 247852/1688978
324.77/181.33	c cleaning 15002 clauses out of 30009 with flag 282874/1704978
329.38/183.63	c cleaning 16002 clauses out of 32006 with flag 320423/1721977
334.38/186.14	c cleaning 17004 clauses out of 34011 with flag 361883/1739984
339.60/188.77	c cleaning 17999 clauses out of 36003 with flag 405620/1758980
345.80/191.86	c cleaning 18996 clauses out of 38002 with flag 451767/1778978
352.44/195.11	c And the winner is solver0
352.61/195.48	c Got one! Elapsed wall clock time (in seconds):195.374
352.61/195.48	o 67
355.23/196.89	c cleaning 22000 clauses out of 43999 with flag 11317/1803971
357.03/197.70	c cleaning 13999 clauses out of 28001 with flag 24889/1809973
358.43/198.49	c cleaning 10484 clauses out of 20999 with flag 40806/1816970
360.23/199.31	c cleaning 9244 clauses out of 18514 with flag 58859/1824969
362.05/200.25	c cleaning 9125 clauses out of 18270 with flag 78311/1833969
364.04/201.29	c cleaning 9564 clauses out of 19146 with flag 99847/1843970
366.45/202.49	c cleaning 10288 clauses out of 20581 with flag 124981/1854969
369.23/203.87	c cleaning 11146 clauses out of 22293 with flag 152913/1866969
372.23/205.32	c cleaning 12071 clauses out of 24148 with flag 182376/1879970
376.25/207.31	c cleaning 13034 clauses out of 26079 with flag 213082/1893972
380.66/209.54	c cleaning 14016 clauses out of 28043 with flag 247629/1908970
385.27/211.87	c cleaning 15015 clauses out of 30031 with flag 284358/1924974
390.49/214.47	c cleaning 16005 clauses out of 32012 with flag 323070/1941970
396.11/217.29	c cleaning 16994 clauses out of 34007 with flag 364547/1959970
396.51/217.46	c And the winner is solver0
396.84/217.77	c Got one! Elapsed wall clock time (in seconds):217.662
396.84/217.77	o 66
398.11/218.40	c cleaning 11285 clauses out of 22582 with flag 8827/1965539
399.34/219.04	c cleaning 8637 clauses out of 17296 with flag 22433/1971538
400.52/219.67	c cleaning 7821 clauses out of 15659 with flag 37923/1978538
401.94/220.37	c cleaning 7918 clauses out of 15840 with flag 55037/1986540
403.34/221.08	c cleaning 8460 clauses out of 16921 with flag 75629/1995539
405.34/222.06	c cleaning 9227 clauses out of 18464 with flag 97631/2005542
407.54/223.13	c cleaning 10117 clauses out of 20235 with flag 122352/2016540
410.18/224.41	c cleaning 11054 clauses out of 22116 with flag 151149/2028538
413.16/225.90	c cleaning 12026 clauses out of 24061 with flag 182226/2041537
416.37/227.56	c cleaning 13016 clauses out of 26035 with flag 216645/2055537
417.77/228.24	c And the winner is solver0
418.11/228.56	c Got one! Elapsed wall clock time (in seconds):228.455
418.11/228.56	o 63
419.56/229.36	c cleaning 12300 clauses out of 24601 with flag 10642/2067119
420.78/230.00	c cleaning 9136 clauses out of 18296 with flag 23005/2073114
422.19/230.69	c cleaning 8074 clauses out of 16158 with flag 37585/2080112
423.79/231.43	c cleaning 8041 clauses out of 16095 with flag 54239/2088123
425.40/232.25	c cleaning 8520 clauses out of 17047 with flag 72837/2097116
427.19/233.18	c cleaning 9261 clauses out of 18524 with flag 93556/2107113
429.62/234.33	c cleaning 10128 clauses out of 20263 with flag 116287/2118113
432.20/235.60	c cleaning 11062 clauses out of 22134 with flag 140984/2130112
435.43/237.24	c cleaning 12036 clauses out of 24072 with flag 168039/2143112
439.07/239.05	c cleaning 13013 clauses out of 26036 with flag 197341/2157112
443.09/241.06	c cleaning 14006 clauses out of 28024 with flag 229147/2172113
447.71/243.36	c cleaning 15008 clauses out of 30017 with flag 262997/2188112
452.72/245.82	c cleaning 15996 clauses out of 32010 with flag 298179/2205113
457.74/248.31	c cleaning 17004 clauses out of 34013 with flag 335317/2223112
464.09/251.65	c cleaning 18005 clauses out of 36009 with flag 374891/2242112
470.71/254.94	c cleaning 18998 clauses out of 38004 with flag 416203/2262112
478.16/258.65	c cleaning 20002 clauses out of 40009 with flag 460060/2283115
486.15/262.69	c cleaning 21001 clauses out of 42004 with flag 505875/2305112
494.76/266.90	c cleaning 21993 clauses out of 44005 with flag 554660/2328114
503.80/271.45	c cleaning 23003 clauses out of 46012 with flag 604849/2352114
513.64/276.37	c cleaning 23996 clauses out of 48008 with flag 657605/2377113
524.30/281.66	c cleaning 25004 clauses out of 50012 with flag 713124/2403113
534.71/286.82	c cleaning 25999 clauses out of 52008 with flag 770835/2430113
545.31/292.14	c cleaning 27003 clauses out of 54008 with flag 830244/2458112
557.74/298.38	c cleaning 27996 clauses out of 56005 with flag 891163/2487112
571.15/305.02	c cleaning 29005 clauses out of 58012 with flag 954023/2517115
584.54/311.74	c cleaning 30000 clauses out of 60004 with flag 1019273/2548112
598.14/318.59	c cleaning 31001 clauses out of 62005 with flag 1086638/2580113
613.14/326.01	c cleaning 31996 clauses out of 64003 with flag 1155498/2613112
630.20/334.56	c cleaning 33001 clauses out of 66007 with flag 1228387/2647112
637.66/338.25	c And the winner is solver0
637.89/338.58	c Got one! Elapsed wall clock time (in seconds):338.476
637.89/338.58	o 61
641.09/340.25	c cleaning 27502 clauses out of 55024 with flag 10766/2669130
643.09/341.26	c cleaning 16748 clauses out of 33522 with flag 23393/2675130
644.91/342.17	c cleaning 11874 clauses out of 23776 with flag 38043/2682132
646.69/343.01	c cleaning 9944 clauses out of 19903 with flag 54918/2690133
648.50/343.93	c cleaning 9460 clauses out of 18956 with flag 73617/2699130
650.50/344.94	c cleaning 9745 clauses out of 19496 with flag 94571/2709130
650.90/345.10	c And the winner is solver0
651.19/345.46	c Got one! Elapsed wall clock time (in seconds):345.352
651.19/345.46	o 60
651.82/345.85	c And the winner is solver0
652.05/346.04	c Got one! Elapsed wall clock time (in seconds):345.931
652.05/346.04	o 58
652.29/346.26	c cleaning 7846 clauses out of 15705 with flag 2162/2715084
653.49/346.87	c cleaning 6917 clauses out of 13856 with flag 14706/2721081
654.30/347.23	c And the winner is solver0
654.71/347.61	c Got one! Elapsed wall clock time (in seconds):347.506
654.71/347.61	o 54
654.83/347.79	c cleaning 6151 clauses out of 12323 with flag 2112/2726465
656.01/348.33	c cleaning 6076 clauses out of 12173 with flag 15186/2732466
657.03/348.90	c cleaning 6544 clauses out of 13097 with flag 30134/2739466
658.62/349.67	c cleaning 7270 clauses out of 14558 with flag 47247/2747471
660.42/350.50	c cleaning 8141 clauses out of 16286 with flag 66275/2756469
662.24/351.48	c cleaning 9073 clauses out of 18146 with flag 87368/2766470
664.63/352.63	c cleaning 10031 clauses out of 20068 with flag 110522/2777465
667.23/353.96	c cleaning 11019 clauses out of 22038 with flag 135655/2789466
670.27/355.45	c cleaning 12009 clauses out of 24022 with flag 163119/2802469
673.46/357.08	c cleaning 13007 clauses out of 26013 with flag 192598/2816469
677.26/358.90	c cleaning 14003 clauses out of 28007 with flag 224363/2831470
681.48/361.06	c cleaning 14999 clauses out of 30000 with flag 258160/2847466
686.08/363.30	c cleaning 15996 clauses out of 32000 with flag 293840/2864465
691.30/365.90	c cleaning 17003 clauses out of 34005 with flag 332006/2882466
696.72/368.61	c cleaning 18002 clauses out of 36004 with flag 371968/2901468
703.15/371.87	c cleaning 18993 clauses out of 37999 with flag 414938/2921465
706.74/373.62	c And the winner is solver0
706.90/373.87	c Got one! Elapsed wall clock time (in seconds):373.754
706.90/373.87	o 53
709.33/375.11	c cleaning 18677 clauses out of 37369 with flag 10687/2939828
710.93/375.93	c cleaning 12338 clauses out of 24692 with flag 23278/2945828
712.33/376.68	c cleaning 9664 clauses out of 19352 with flag 38226/2952826
713.94/377.45	c cleaning 8833 clauses out of 17688 with flag 55058/2960826
715.73/378.34	c cleaning 8921 clauses out of 17856 with flag 74032/2969827
717.74/379.39	c cleaning 9467 clauses out of 18937 with flag 95265/2979829
720.35/380.65	c cleaning 10229 clauses out of 20469 with flag 118583/2990828
723.15/382.09	c cleaning 11114 clauses out of 22238 with flag 143713/3002826
726.55/383.78	c cleaning 12062 clauses out of 24127 with flag 170954/3015829
729.95/385.45	c cleaning 13031 clauses out of 26063 with flag 200471/3029827
733.97/387.41	c cleaning 14014 clauses out of 28034 with flag 232260/3044829
738.60/389.71	c cleaning 15008 clauses out of 30018 with flag 266268/3060827
744.37/392.71	c cleaning 16002 clauses out of 32009 with flag 302086/3077826
749.55/395.33	c cleaning 17002 clauses out of 34009 with flag 339810/3095828
755.59/398.38	c cleaning 18004 clauses out of 36009 with flag 379788/3114830
761.99/401.57	c cleaning 18996 clauses out of 38003 with flag 421609/3134828
768.39/404.73	c cleaning 20002 clauses out of 40005 with flag 465114/3155826
775.20/408.13	c cleaning 21001 clauses out of 42004 with flag 511374/3177827
782.38/411.72	c cleaning 21995 clauses out of 44002 with flag 559228/3200826
790.38/415.73	c cleaning 23000 clauses out of 46007 with flag 609698/3224826
798.99/420.02	c cleaning 24001 clauses out of 48008 with flag 661895/3249827
808.03/424.58	c cleaning 25001 clauses out of 50006 with flag 715970/3275826
818.02/429.53	c cleaning 25992 clauses out of 52006 with flag 772415/3302827
829.09/435.00	c cleaning 26999 clauses out of 54013 with flag 830708/3330826
841.11/441.00	c cleaning 28001 clauses out of 56014 with flag 895841/3359826
843.11/442.09	c And the winner is solver0
845.56/444.56	c Got one! Elapsed wall clock time (in seconds):444.449
845.56/444.56	o 52
847.93/445.86	c cleaning 20335 clauses out of 40676 with flag 10502/3372489
849.56/446.63	c cleaning 13163 clauses out of 26339 with flag 23329/3378487
851.15/447.40	c cleaning 10080 clauses out of 20177 with flag 38096/3385488
852.54/448.20	c cleaning 9036 clauses out of 18096 with flag 54707/3393487
854.55/449.11	c cleaning 9020 clauses out of 18061 with flag 73587/3402488
856.36/450.09	c cleaning 9515 clauses out of 19040 with flag 94574/3412487
858.75/451.28	c cleaning 10258 clauses out of 20527 with flag 118613/3423489
861.35/452.56	c cleaning 11131 clauses out of 22267 with flag 143787/3435487
864.58/454.11	c cleaning 12062 clauses out of 24137 with flag 171511/3448488
867.98/455.87	c cleaning 13035 clauses out of 26074 with flag 201620/3462487
871.80/457.71	c cleaning 14014 clauses out of 28039 with flag 234073/3477487
876.21/459.96	c cleaning 15006 clauses out of 30025 with flag 268562/3493487
881.22/462.44	c cleaning 16008 clauses out of 32020 with flag 304588/3510488
886.64/465.16	c cleaning 16996 clauses out of 34012 with flag 342522/3528488
892.26/467.92	c cleaning 18008 clauses out of 36015 with flag 382416/3547487
898.31/470.92	c cleaning 18997 clauses out of 38007 with flag 424716/3567487
904.71/474.19	c cleaning 20004 clauses out of 40010 with flag 469580/3588487
911.31/477.44	c cleaning 20996 clauses out of 42007 with flag 516015/3610488
919.09/481.40	c cleaning 22004 clauses out of 44012 with flag 564584/3633489
927.69/485.69	c cleaning 22998 clauses out of 46007 with flag 616229/3657488
936.49/490.02	c cleaning 23994 clauses out of 48008 with flag 669246/3682487
945.88/494.74	c cleaning 25001 clauses out of 50016 with flag 724918/3708489
947.48/495.56	c And the winner is solver0
954.93/503.06	c Got one! Elapsed wall clock time (in seconds):502.951
954.93/503.06	o 50
957.17/504.25	c cleaning 18042 clauses out of 36101 with flag 10699/3719575
958.78/505.04	c cleaning 12030 clauses out of 24065 with flag 23238/3725581
960.16/505.78	c cleaning 9509 clauses out of 19035 with flag 37954/3732581
961.58/506.47	c cleaning 8745 clauses out of 17523 with flag 54942/3740578
963.38/507.35	c cleaning 8880 clauses out of 17776 with flag 73790/3749576
965.39/508.34	c cleaning 9446 clauses out of 18895 with flag 94900/3759575
967.39/509.33	c And the winner is solver0
967.85/509.80	c Got one! Elapsed wall clock time (in seconds):509.694
967.85/509.80	o 49
969.56/510.78	c cleaning 11968 clauses out of 23936 with flag 10907/3774062
970.95/511.44	c cleaning 8975 clauses out of 17969 with flag 23760/3780063
972.35/512.12	c cleaning 7979 clauses out of 15992 with flag 38786/3787061
973.75/512.88	c cleaning 7988 clauses out of 16018 with flag 55865/3795066
975.56/513.72	c cleaning 8511 clauses out of 17026 with flag 74739/3804062
977.56/514.76	c cleaning 9250 clauses out of 18515 with flag 96470/3814062
979.97/515.96	c cleaning 10130 clauses out of 20266 with flag 120083/3825063
982.76/517.34	c cleaning 11067 clauses out of 22136 with flag 145724/3837063
985.96/518.91	c cleaning 12031 clauses out of 24069 with flag 173436/3850063
989.56/520.70	c cleaning 13017 clauses out of 26039 with flag 203420/3864064
993.56/522.72	c cleaning 14008 clauses out of 28019 with flag 235664/3879061
998.17/525.01	c cleaning 15005 clauses out of 30012 with flag 269354/3895062
1003.17/527.52	c cleaning 16003 clauses out of 32008 with flag 305295/3912063
1008.78/530.33	c cleaning 17000 clauses out of 34004 with flag 344098/3930062
1015.22/533.57	c cleaning 18003 clauses out of 36005 with flag 384891/3949063
1021.82/536.83	c cleaning 18998 clauses out of 38000 with flag 427436/3969061
1028.81/540.33	c cleaning 20001 clauses out of 40007 with flag 471657/3990066
1036.43/544.19	c cleaning 21002 clauses out of 42003 with flag 518474/4012063
1044.63/548.25	c cleaning 21991 clauses out of 44001 with flag 566931/4035063
1053.23/552.54	c cleaning 22996 clauses out of 46009 with flag 617356/4059062
1062.84/557.32	c cleaning 24002 clauses out of 48013 with flag 669977/4084062
1072.84/562.39	c cleaning 25003 clauses out of 50011 with flag 724551/4110062
1084.83/568.33	c cleaning 26001 clauses out of 52008 with flag 780676/4137062
1097.43/574.64	c cleaning 27004 clauses out of 54009 with flag 839443/4165064
1110.62/581.22	c cleaning 28001 clauses out of 56004 with flag 900820/4194063
1123.62/587.76	c cleaning 29003 clauses out of 58006 with flag 965307/4224066
1138.63/595.28	c cleaning 29990 clauses out of 60000 with flag 1031945/4255063
1155.61/603.80	c cleaning 30999 clauses out of 62008 with flag 1100656/4287061
1174.22/613.11	c cleaning 31996 clauses out of 64009 with flag 1170480/4320061
1194.01/623.03	c cleaning 32995 clauses out of 66013 with flag 1242637/4354061
1213.61/632.85	c cleaning 33996 clauses out of 68018 with flag 1318121/4389061
1234.60/643.38	c cleaning 35009 clauses out of 70022 with flag 1396630/4425061
1250.42/651.21	c And the winner is solver0
1252.42/653.37	c Got one! Elapsed wall clock time (in seconds):653.262
1252.42/653.37	o 47
1257.40/655.92	c cleaning 35149 clauses out of 70319 with flag 10600/4460367
1260.02/657.23	c cleaning 20585 clauses out of 41176 with flag 23854/4466373
1262.02/658.22	c cleaning 13780 clauses out of 27585 with flag 38878/4473367
1264.02/659.21	c cleaning 10895 clauses out of 21806 with flag 56134/4481368
1266.02/660.20	c cleaning 9947 clauses out of 19910 with flag 75246/4490367
1268.03/661.26	c cleaning 9973 clauses out of 19966 with flag 96743/4500370
1270.43/662.44	c cleaning 10494 clauses out of 20993 with flag 120279/4511370
1273.23/663.83	c cleaning 11242 clauses out of 22496 with flag 146056/4523367
1276.03/665.29	c cleaning 12122 clauses out of 24256 with flag 175788/4536369
1279.43/666.96	c cleaning 13065 clauses out of 26134 with flag 206271/4550369
1283.24/668.84	c cleaning 14030 clauses out of 28071 with flag 238754/4565371
1287.64/671.01	c cleaning 15017 clauses out of 30038 with flag 273944/4581368
1292.62/673.56	c cleaning 16005 clauses out of 32020 with flag 311600/4598367
1297.82/676.17	c cleaning 17009 clauses out of 34018 with flag 350126/4616370
1303.24/678.87	c cleaning 18004 clauses out of 36007 with flag 390659/4635368
1310.04/682.20	c cleaning 19000 clauses out of 38005 with flag 433397/4655370
1317.04/685.71	c cleaning 19995 clauses out of 40004 with flag 480171/4676369
1322.85/688.63	c And the winner is solver0
1323.51/689.43	c Got one! Elapsed wall clock time (in seconds):689.318
1323.51/689.43	o 46
1325.95/690.76	c cleaning 21125 clauses out of 42257 with flag 10673/4698617
1327.57/691.56	c cleaning 13550 clauses out of 27132 with flag 23758/4704617
1329.37/692.42	c cleaning 10285 clauses out of 20584 with flag 38669/4711619
1330.97/693.24	c cleaning 9139 clauses out of 18298 with flag 55728/4719618
1332.78/694.17	c cleaning 9066 clauses out of 18158 with flag 74913/4728617
1334.98/695.22	c cleaning 9540 clauses out of 19092 with flag 95957/4738617
1337.18/696.39	c cleaning 10276 clauses out of 20553 with flag 119858/4749618
1339.77/697.67	c cleaning 11136 clauses out of 22278 with flag 146201/4761619
1342.97/699.21	c cleaning 12068 clauses out of 24141 with flag 173907/4774618
1346.18/700.84	c cleaning 13037 clauses out of 26073 with flag 203775/4788618
1349.97/702.70	c cleaning 14018 clauses out of 28037 with flag 235680/4803619
1353.77/704.70	c cleaning 15001 clauses out of 30018 with flag 270216/4819618
1358.80/707.14	c cleaning 16004 clauses out of 32017 with flag 306897/4836618
1364.22/709.82	c cleaning 17004 clauses out of 34013 with flag 346045/4854618
1367.62/711.54	c And the winner is solver0
1368.25/712.18	c Got one! Elapsed wall clock time (in seconds):712.074
1368.25/712.18	o 45
1370.58/713.46	c cleaning 17280 clauses out of 34566 with flag 11125/4872175
1372.40/714.35	c cleaning 11634 clauses out of 23285 with flag 24150/4878174
1374.01/715.14	c cleaning 9310 clauses out of 18650 with flag 39446/4885173
1375.79/716.03	c cleaning 8665 clauses out of 17341 with flag 56636/4893174
1377.79/717.00	c cleaning 8836 clauses out of 17675 with flag 76610/4902173
1380.00/718.10	c cleaning 9417 clauses out of 18839 with flag 99060/4912173
1382.40/719.38	c cleaning 10211 clauses out of 20426 with flag 123370/4923177
1385.20/720.76	c cleaning 11105 clauses out of 22215 with flag 150835/4935177
1388.41/722.38	c cleaning 12046 clauses out of 24109 with flag 179608/4948176
1392.21/724.26	c cleaning 13032 clauses out of 26066 with flag 210721/4962179
1396.61/726.40	c cleaning 14014 clauses out of 28031 with flag 243755/4977176
1401.41/728.81	c cleaning 15006 clauses out of 30016 with flag 279283/4993175
1406.61/731.41	c cleaning 15994 clauses out of 32013 with flag 317194/5010178
1412.41/734.38	c cleaning 17006 clauses out of 34014 with flag 358086/5028173
1418.63/737.44	c cleaning 18000 clauses out of 36008 with flag 400957/5047173
1425.63/740.93	c cleaning 19003 clauses out of 38011 with flag 446984/5067176
1433.47/744.81	c cleaning 19989 clauses out of 40008 with flag 494924/5088176
1442.91/749.50	c cleaning 21008 clauses out of 42017 with flag 544567/5110174
1452.34/754.22	c cleaning 22004 clauses out of 44009 with flag 595383/5133174
1456.34/756.27	c And the winner is solver0
1459.22/759.15	c Got one! Elapsed wall clock time (in seconds):759.042
1459.22/759.15	o 43
1462.02/760.66	c cleaning 19647 clauses out of 39297 with flag 10892/5150466
1463.82/761.51	c cleaning 12818 clauses out of 25650 with flag 23815/5156466
1465.43/762.36	c cleaning 9913 clauses out of 19833 with flag 38917/5163467
1467.02/763.12	c cleaning 8956 clauses out of 17922 with flag 56206/5171469
1468.82/764.01	c cleaning 8976 clauses out of 17962 with flag 75790/5180465
1471.02/765.11	c cleaning 9490 clauses out of 18988 with flag 97183/5190467
1473.42/766.32	c cleaning 10243 clauses out of 20496 with flag 120319/5201465
1476.02/767.61	c cleaning 11121 clauses out of 22255 with flag 147298/5213467
1479.02/769.17	c cleaning 12063 clauses out of 24133 with flag 176749/5226466
1482.62/770.98	c cleaning 13026 clauses out of 26069 with flag 207939/5240465
1486.82/773.07	c cleaning 14020 clauses out of 28043 with flag 241699/5255465
1487.63/773.46	c And the winner is solver0
1491.89/777.68	c Got one! Elapsed wall clock time (in seconds):777.567
1491.89/777.68	o 41
1492.43/778.09	c cleaning 9884 clauses out of 19773 with flag 4388/5261215
1493.85/778.75	c cleaning 7937 clauses out of 15889 with flag 17014/5267215
1495.25/779.42	c cleaning 7466 clauses out of 14956 with flag 31759/5274219
1496.64/780.14	c cleaning 7740 clauses out of 15488 with flag 49210/5282217
1498.23/780.94	c cleaning 8372 clauses out of 16749 with flag 68396/5291218
1500.23/781.96	c cleaning 9187 clauses out of 18374 with flag 90396/5301215
1502.86/783.28	c cleaning 10096 clauses out of 20194 with flag 114469/5312222
1505.64/784.64	c cleaning 11039 clauses out of 22092 with flag 140092/5324216
1508.64/786.13	c cleaning 12026 clauses out of 24056 with flag 168436/5337219
1512.24/787.95	c cleaning 13013 clauses out of 26031 with flag 199814/5351220
1514.65/789.18	c And the winner is solver0
1516.02/790.44	c Got one! Elapsed wall clock time (in seconds):790.335
1516.02/790.44	o 39
1517.83/791.47	c cleaning 14381 clauses out of 28770 with flag 11193/5366972
1519.25/792.19	c cleaning 10189 clauses out of 20388 with flag 24324/5372971
1520.64/792.86	c cleaning 8597 clauses out of 17201 with flag 39275/5379973
1522.23/793.66	c cleaning 8295 clauses out of 16604 with flag 56492/5387973
1524.03/794.54	c cleaning 8645 clauses out of 17306 with flag 75875/5396970
1526.03/795.58	c cleaning 9327 clauses out of 18661 with flag 98258/5406970
1528.43/796.75	c cleaning 10162 clauses out of 20336 with flag 122140/5417972
1531.23/798.17	c cleaning 11089 clauses out of 22177 with flag 148344/5429975
1534.64/799.82	c cleaning 12041 clauses out of 24086 with flag 177094/5442973
1538.23/801.62	c cleaning 13021 clauses out of 26043 with flag 208196/5456971
1541.83/803.49	c cleaning 14009 clauses out of 28023 with flag 240937/5471972
1546.43/805.75	c cleaning 15002 clauses out of 30013 with flag 276769/5487971
1551.43/808.29	c cleaning 15998 clauses out of 32010 with flag 314120/5504970
1557.04/811.02	c cleaning 17008 clauses out of 34015 with flag 354238/5522973
1563.07/814.04	c cleaning 17997 clauses out of 36006 with flag 396369/5541972
1569.87/817.44	c cleaning 19003 clauses out of 38008 with flag 440304/5561971
1577.06/821.06	c cleaning 20002 clauses out of 40005 with flag 485945/5582971
1585.27/825.14	c cleaning 20996 clauses out of 42003 with flag 534963/5604971
1593.45/829.26	c cleaning 22003 clauses out of 44007 with flag 587678/5627971
1602.05/833.54	c cleaning 23002 clauses out of 46005 with flag 643763/5651972
1611.87/838.49	c cleaning 23996 clauses out of 48003 with flag 702743/5676972
1622.87/843.91	c cleaning 25000 clauses out of 50005 with flag 762363/5702970
1633.68/849.35	c cleaning 26002 clauses out of 52006 with flag 822156/5729971
1645.70/855.36	c cleaning 26995 clauses out of 54004 with flag 885908/5757971
1646.10/855.53	c And the winner is solver0
1646.60/856.22	c Got one! Elapsed wall clock time (in seconds):856.112
1646.60/856.22	o 37
1648.44/857.21	c cleaning 16070 clauses out of 32145 with flag 8664/5763107
1649.84/857.99	c cleaning 11024 clauses out of 22073 with flag 21329/5769105
1651.44/858.73	c cleaning 9023 clauses out of 18054 with flag 35989/5776110
1653.04/859.53	c cleaning 8505 clauses out of 17027 with flag 52925/5784106
1654.84/860.43	c cleaning 8753 clauses out of 17521 with flag 71908/5793105
1656.65/861.35	c cleaning 9382 clauses out of 18769 with flag 93186/5803106
1658.85/862.46	c cleaning 10186 clauses out of 20388 with flag 117800/5814107
1661.45/863.78	c cleaning 11094 clauses out of 22200 with flag 145361/5826105
1664.45/865.28	c cleaning 12048 clauses out of 24106 with flag 174253/5839105
1667.89/866.97	c cleaning 13026 clauses out of 26058 with flag 205469/5853105
1671.68/868.82	c cleaning 14009 clauses out of 28035 with flag 238751/5868108
1675.67/870.81	c cleaning 15010 clauses out of 30025 with flag 274353/5884107
1680.48/873.20	c cleaning 16008 clauses out of 32015 with flag 312144/5901107
1686.10/876.07	c cleaning 17004 clauses out of 34007 with flag 351744/5919107
1692.90/879.44	c cleaning 17997 clauses out of 36002 with flag 393096/5938106
1699.68/883.02	c cleaning 18995 clauses out of 38004 with flag 437306/5958105
1705.88/886.13	c cleaning 20003 clauses out of 40012 with flag 483713/5979108
1713.51/889.92	c cleaning 21001 clauses out of 42009 with flag 531751/6001108
1721.10/893.79	c cleaning 22001 clauses out of 44008 with flag 582232/6024108
1729.71/898.04	c cleaning 23002 clauses out of 46004 with flag 635448/6048105
1738.70/902.60	c cleaning 24000 clauses out of 48003 with flag 689803/6073106
1749.34/907.89	c cleaning 24998 clauses out of 50003 with flag 744796/6099106
1759.54/912.96	c cleaning 26003 clauses out of 52007 with flag 803525/6126108
1770.54/918.41	c cleaning 26998 clauses out of 54003 with flag 864860/6154107
1782.14/924.26	c cleaning 27998 clauses out of 56003 with flag 928618/6183105
1796.34/931.33	c cleaning 29003 clauses out of 58006 with flag 992869/6213106
1800.17/933.20	c >>>>>>>>>> Solver number 0 (95 answers) <<<<<<<<<<<<<<<<<<
1800.17/933.20	c starts		: 9693
1800.17/933.20	c conflicts		: 6223659
1800.17/933.20	c decisions		: 7316180
1800.17/933.20	c propagations		: 86844900
1800.17/933.20	c inspects		: 17628398200
1800.17/933.20	c shortcuts		: 0
1800.17/933.20	c learnt literals	: 0
1800.17/933.20	c learnt binary clauses	: 0
1800.17/933.20	c learnt ternary clauses	: 0
1800.17/933.20	c learnt constraints	: 6223659
1800.17/933.20	c ignored constraints	: 0
1800.17/933.20	c root simplifications	: 0
1800.17/933.20	c removed literals (reason simplification)	: 41605759
1800.17/933.20	c reason swapping (by a shorter reason)	: 0
1800.17/933.20	c Calls to reduceDB	: 497
1800.17/933.20	c Number of update (reduction) of LBD	: 775575
1800.17/933.20	c Imported unit clauses	: 0
1800.17/933.20	c number of reductions to clauses (during analyze)	: 0
1800.17/933.20	c number of learned constraints concerned by reduction	: 0
1800.17/933.20	c number of learning phase by resolution	: 0
1800.17/933.20	c number of learning phase by cutting planes	: 0
1800.17/933.20	c speed (assignments/second)	: 94601.56621899398
1800.17/933.20	c non guided choices	2628
1800.17/933.22	c learnt constraints type 
1800.17/933.22	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 39556
1800.17/933.22	c >>>>>>>>>> Solver number 1 (2 answers) <<<<<<<<<<<<<<<<<<
1800.17/933.22	c starts		: 118
1800.17/933.22	c conflicts		: 4850
1800.17/933.22	c decisions		: 20731
1800.17/933.22	c propagations		: 64009
1800.17/933.22	c inspects		: 70128876
1800.17/933.22	c shortcuts		: 0
1800.17/933.22	c learnt literals	: 0
1800.17/933.22	c learnt binary clauses	: 0
1800.17/933.22	c learnt ternary clauses	: 0
1800.17/933.22	c learnt constraints	: 4771
1800.17/933.22	c ignored constraints	: 0
1800.17/933.22	c root simplifications	: 0
1800.17/933.22	c removed literals (reason simplification)	: 0
1800.17/933.22	c reason swapping (by a shorter reason)	: 0
1800.17/933.22	c Calls to reduceDB	: 0
1800.17/933.22	c Number of update (reduction) of LBD	: 0
1800.17/933.22	c Imported unit clauses	: 0
1800.17/933.22	c number of reductions to clauses (during analyze)	: 0
1800.17/933.22	c number of learned constraints concerned by reduction	: 0
1800.17/933.22	c number of learning phase by resolution	: 0
1800.17/933.22	c number of learning phase by cutting planes	: 0
1800.17/933.22	c speed (assignments/second)	: 834.8854802525173
1800.17/933.22	c non guided choices	2291
1800.17/933.22	c learnt constraints type 
1800.17/933.22	c org.sat4j.pb.constraints.pb.LearntHTClausePB => 52
1800.17/933.22	c org.sat4j.pb.constraints.pb.MaxWatchPb => 4719
1800.17/933.22	s SATISFIABLE
1800.17/933.22	c Found 97 solution(s)
1800.17/933.22	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 
1800.17/933.22	c objective function=37
1800.17/933.22	c Total wall clock time (in seconds): 933.114

Verifier Data 

OK	37

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

pid=26099
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: 4.47 4.35 4.27 4/197 26102
/proc/meminfo: memFree=29266748/32872528 swapFree=1459628/1655852
[pid=26102] ppid=26099 vsize=89736 CPUtime=0 cores=1,3,5,7
/proc/26102/stat : 26102 (java) S 26099 26102 22091 0 -1 4202496 1252 0 0 0 0 0 0 0 20 0 2 0 27592884 91889664 893 33554432000 1073741824 1073778376 140734045254080 140734045245216 239876472893 0 0 4096 0 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/26102/statm: 22434 893 678 9 0 16769 0
[pid=26102/tid=26103] ppid=26099 vsize=91816 CPUtime=0 cores=1,3,5,7
/proc/26102/task/26103/stat : 26103 (java) R 26099 26102 22091 0 -1 4202560 58 0 0 0 0 0 0 0 20 0 2 0 27592885 94019584 915 33554432000 1073741824 1073778376 140734045254080 140734045243144 239872791146 0 0 4096 0 0 0 0 -1 3 0 0 0 0 0

[startup+0.100157 s]
/proc/loadavg: 4.47 4.35 4.27 4/197 26102
/proc/meminfo: memFree=29266748/32872528 swapFree=1459628/1655852
[pid=26102] ppid=26099 vsize=9558476 CPUtime=0.1 cores=1,3,5,7
/proc/26102/stat : 26102 (java) S 26099 26102 22091 0 -1 4202496 4472 0 1 0 10 0 0 0 20 0 18 0 27592884 9787879424 6092 33554432000 1073741824 1073778376 140734045254080 140734045245216 239876472893 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/26102/statm: 2389619 6093 2148 9 0 2380296 0
[pid=26102/tid=26103] ppid=26099 vsize=9558476 CPUtime=0.07 cores=1,3,5,7
/proc/26102/task/26103/stat : 26103 (java) R 26099 26102 22091 0 -1 4202560 2389 0 1 0 7 0 0 0 20 0 18 0 27592885 9787879424 6093 33554432000 1073741824 1073778376 140734045254080 140698993490848 239876498701 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 9558476

[startup+0.200276 s]
/proc/loadavg: 4.47 4.35 4.27 4/197 26102
/proc/meminfo: memFree=29266748/32872528 swapFree=1459628/1655852
[pid=26102] ppid=26099 vsize=9824732 CPUtime=0.3 cores=1,3,5,7
/proc/26102/stat : 26102 (java) S 26099 26102 22091 0 -1 4202496 6023 0 1 0 29 1 0 0 20 0 22 0 27592884 10060525568 8711 33554432000 1073741824 1073778376 140734045254080 140734045245216 239876472893 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/26102/statm: 2456183 8711 2222 9 0 2446860 0
[pid=26102/tid=26103] ppid=26099 vsize=9824732 CPUtime=0.14 cores=1,3,5,7
/proc/26102/task/26103/stat : 26103 (java) S 26099 26102 22091 0 -1 4202560 2411 0 1 0 14 0 0 0 20 0 22 0 27592885 10060525568 8711 33554432000 1073741824 1073778376 140734045254080 140698993492856 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.3
Current children cumulated vsize (KiB) 9824732

[startup+0.300285 s]
/proc/loadavg: 4.47 4.35 4.27 4/197 26102
/proc/meminfo: memFree=29266748/32872528 swapFree=1459628/1655852
[pid=26102] ppid=26099 vsize=9824732 CPUtime=0.7 cores=1,3,5,7
/proc/26102/stat : 26102 (java) S 26099 26102 22091 0 -1 4202496 8314 0 1 0 69 1 0 0 20 0 22 0 27592884 10060525568 10001 33554432000 1073741824 1073778376 140734045254080 140734045245216 239876472893 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/26102/statm: 2456183 10001 2234 9 0 2446860 0
[pid=26102/tid=26103] ppid=26099 vsize=9824732 CPUtime=0.14 cores=1,3,5,7
/proc/26102/task/26103/stat : 26103 (java) S 26099 26102 22091 0 -1 4202560 2411 0 1 0 14 0 0 0 20 0 22 0 27592885 10060525568 10001 33554432000 1073741824 1073778376 140734045254080 140698993492856 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.7
Current children cumulated vsize (KiB) 9824732

[startup+0.700217 s]
/proc/loadavg: 4.47 4.35 4.27 4/197 26102
/proc/meminfo: memFree=29266748/32872528 swapFree=1459628/1655852
[pid=26102] ppid=26099 vsize=9824732 CPUtime=1.47 cores=1,3,5,7
/proc/26102/stat : 26102 (java) S 26099 26102 22091 0 -1 4202496 14208 0 1 0 143 4 0 0 20 0 22 0 27592884 10060525568 16082 33554432000 1073741824 1073778376 140734045254080 140734045245216 239876472893 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/26102/statm: 2456183 16082 2247 9 0 2446860 0
[pid=26102/tid=26103] ppid=26099 vsize=9824732 CPUtime=0.15 cores=1,3,5,7
/proc/26102/task/26103/stat : 26103 (java) S 26099 26102 22091 0 -1 4202560 2411 0 1 0 15 0 0 0 20 0 22 0 27592885 10060525568 16082 33554432000 1073741824 1073778376 140734045254080 140698993492856 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 9824732

[startup+1.50082 s]
/proc/loadavg: 4.47 4.35 4.27 3/216 26127
/proc/meminfo: memFree=29193588/32872528 swapFree=1459628/1655852
[pid=26102] ppid=26099 vsize=9824732 CPUtime=2.75 cores=1,3,5,7
/proc/26102/stat : 26102 (java) S 26099 26102 22091 0 -1 4202496 18229 0 1 0 267 8 0 0 20 0 19 0 27592884 10060525568 33044 33554432000 1073741824 1073778376 140734045254080 140734045245216 239876472893 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/26102/statm: 2456183 33044 2267 9 0 2446860 0
[pid=26102/tid=26103] ppid=26099 vsize=9824732 CPUtime=0.15 cores=1,3,5,7
/proc/26102/task/26103/stat : 26103 (java) S 26099 26102 22091 0 -1 4202560 2412 0 1 0 15 0 0 0 20 0 19 0 27592885 10060525568 33044 33554432000 1073741824 1073778376 140734045254080 140698993492856 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26102/tid=26105] ppid=26099 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/26102/task/26105/stat : 26105 (java) S 26099 26102 22091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27592886 10060525568 33044 33554432000 1073741824 1073778376 140734045254080 140698971593000 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26102/tid=26106] ppid=26099 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/26102/task/26106/stat : 26106 (java) S 26099 26102 22091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27592886 10060525568 33044 33554432000 1073741824 1073778376 140734045254080 140698970540200 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26102/tid=26107] ppid=26099 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/26102/task/26107/stat : 26107 (java) S 26099 26102 22091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27592886 10060525568 33044 33554432000 1073741824 1073778376 140734045254080 140698969487912 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26102/tid=26108] ppid=26099 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/26102/task/26108/stat : 26108 (java) S 26099 26102 22091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27592886 10060525568 33044 33554432000 1073741824 1073778376 140734045254080 140698632317352 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26102/tid=26109] ppid=26099 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/26102/task/26109/stat : 26109 (java) S 26099 26102 22091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27592886 10060525568 33044 33554432000 1073741824 1073778376 140734045254080 140698631265064 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26102/tid=26110] ppid=26099 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/26102/task/26110/stat : 26110 (java) S 26099 26102 22091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27592886 10060525568 33044 33554432000 1073741824 1073778376 140734045254080 140698630212264 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26102/tid=26111] ppid=26099 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/26102/task/26111/stat : 26111 (java) S 26099 26102 22091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27592886 10060525568 33044 33554432000 1073741824 1073778376 140734045254080 140698629159976 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26102/tid=26112] ppid=26099 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/26102/task/26112/stat : 26112 (java) S 26099 26102 22091 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 27592886 10060525568 33044 33554432000 1073741824 1073778376 140734045254080 140698628107176 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26102/tid=26113] ppid=26099 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/26102/task/26113/stat : 26113 (java) S 26099 26102 22091 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 27592887 10060525568 33044 33554432000 1073741824 1073778376 140734045254080 140698615908584 239876487081 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26102/tid=26114] ppid=26099 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/26102/task/26114/stat : 26114 (java) S 26099 26102 22091 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 27592887 10060525568 33044 33554432000 1073741824 1073778376 140734045254080 140698614854648 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26102/tid=26115] ppid=26099 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/26102/task/26115/stat : 26115 (java) S 26099 26102 22091 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 27592887 10060525568 33044 33554432000 1073741824 1073778376 140734045254080 140698613802248 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26102/tid=26116] ppid=26099 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/26102/task/26116/stat : 26116 (java) S 26099 26102 22091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27592890 10060525568 33044 33554432000 1073741824 1073778376 140734045254080 140698612750736 239876495136 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26102/tid=26117] ppid=26099 vsize=9824732 CPUtime=0.59 cores=1,3,5,7
/proc/26102/task/26117/stat : 26117 (java) S 26099 26102 22091 0 -1 4202560 6971 0 0 0 59 0 0 0 20 0 19 0 27592890 10060525568 33044 33554432000 1073741824 1073778376 140734045254080 140698611698360 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26102/tid=26118] ppid=26099 vsize=9824732 CPUtime=0.86 cores=1,3,5,7
/proc/26102/task/26118/stat : 26118 (java) S 26099 26102 22091 0 -1 4202560 7433 0 0 0 85 1 0 0 20 0 19 0 27592890 10060525568 33044 33554432000 1073741824 1073778376 140734045254080 140698610645560 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26102/tid=26119] ppid=26099 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/26102/task/26119/stat : 26119 (java) S 26099 26102 22091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27592890 10060525568 33044 33554432000 1073741824 1073778376 140734045254080 140698609593464 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26102/tid=26120] ppid=26099 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/26102/task/26120/stat : 26120 (java) S 26099 26102 22091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27592890 10060525568 33044 33554432000 1073741824 1073778376 140734045254080 140698608540872 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26102/tid=26124] ppid=26099 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/26102/task/26124/stat : 26124 (java) S 26099 26102 22091 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 27592902 10060525568 33044 33554432000 1073741824 1073778376 140734045254080 140698604229672 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 2.75
Current children cumulated vsize (KiB) 9824732

[startup+3.10086 s]
/proc/loadavg: 4.43 4.34 4.27 5/219 26136
/proc/meminfo: memFree=29098884/32872528 swapFree=1459628/1655852
[pid=26102] ppid=26099 vsize=9824732 CPUtime=4.71 cores=1,3,5,7
/proc/26102/stat : 26102 (java) S 26099 26102 22091 0 -1 4202496 18416 0 1 0 456 15 0 0 20 0 22 0 27592884 10060525568 48000 33554432000 1073741824 1073778376 140734045254080 140734045245216 239876472893 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/26102/statm: 2456183 48000 2284 9 0 2446860 0
[pid=26102/tid=26103] ppid=26099 vsize=9824732 CPUtime=0.15 cores=1,3,5,7
/proc/26102/task/26103/stat : 26103 (java) S 26099 26102 22091 0 -1 4202560 2412 0 1 0 15 0 0 0 20 0 22 0 27592885 10060525568 48000 33554432000 1073741824 1073778376 140734045254080 140698993492856 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26102/tid=26105] ppid=26099 vsize=9824732 CPUtime=0.01 cores=1,3,5,7
/proc/26102/task/26105/stat : 26105 (java) S 26099 26102 22091 0 -1 4202560 16 0 0 0 1 0 0 0 20 0 22 0 27592886 10060525568 48000 33554432000 1073741824 1073778376 140734045254080 140698971593000 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26102/tid=26106] ppid=26099 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/26102/task/26106/stat : 26106 (java) S 26099 26102 22091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 27592886 10060525568 48000 33554432000 1073741824 1073778376 140734045254080 140698970540200 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26102/tid=26107] ppid=26099 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/26102/task/26107/stat : 26107 (java) S 26099 26102 22091 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 27592886 10060525568 48000 33554432000 1073741824 1073778376 140734045254080 140698969487912 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26102/tid=26108] ppid=26099 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/26102/task/26108/stat : 26108 (java) S 26099 26102 22091 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 22 0 27592886 10060525568 48000 33554432000 1073741824 1073778376 140734045254080 140698632317352 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26102/tid=26109] ppid=26099 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/26102/task/26109/stat : 26109 (java) S 26099 26102 22091 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 22 0 27592886 10060525568 48000 33554432000 1073741824 1073778376 140734045254080 140698631265064 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26102/tid=26110] ppid=26099 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/26102/task/26110/stat : 26110 (java) S 26099 26102 22091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 27592886 10060525568 48000 33554432000 1073741824 1073778376 140734045254080 140698630212264 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26102/tid=26111] ppid=26099 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/26102/task/26111/stat : 26111 (java) S 26099 26102 22091 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 22 0 27592886 10060525568 48000 33554432000 1073741824 1073778376 140734045254080 140698629159976 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26102/tid=26112] ppid=26099 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/26102/task/26112/stat : 26112 (java) S 26099 26102 22091 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 22 0 27592886 10060525568 48000 33554432000 1073741824 1073778376 140734045254080 140698628107176 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26102/tid=26113] ppid=26099 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/26102/task/26113/stat : 26113 (java) S 26099 26102 22091 0 -1 4202560 69 0 0 0 0 0 0 0 20 0 22 0 27592887 10060525568 48000 33554432000 1073741824 1073778376 140734045254080 140698615908584 239876487081 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26102/tid=26114] ppid=26099 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/26102/task/26114/stat : 26114 (java) S 26099 26102 22091 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 27592887 10060525568 48000 33554432000 1073741824 1073778376 140734045254080 140698614854648 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26102/tid=26115] ppid=26099 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/26102/task/26115/stat : 26115 (java) S 26099 26102 22091 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 27592887 10060525568 48000 33554432000 1073741824 1073778376 140734045254080 140698613802248 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26102/tid=26116] ppid=26099 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/26102/task/26116/stat : 26116 (java) S 26099 26102 22091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 27592890 10060525568 48000 33554432000 1073741824 1073778376 140734045254080 140698612750736 239876495136 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26102/tid=26117] ppid=26099 vsize=9824732 CPUtime=0.63 cores=1,3,5,7
/proc/26102/task/26117/stat : 26117 (java) S 26099 26102 22091 0 -1 4202560 6975 0 0 0 63 0 0 0 20 0 22 0 27592890 10060525568 48000 33554432000 1073741824 1073778376 140734045254080 140698611698360 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26102/tid=26118] ppid=26099 vsize=9824732 CPUtime=0.89 cores=1,3,5,7
/proc/26102/task/26118/stat : 26118 (java) S 26099 26102 22091 0 -1 4202560 7437 0 0 0 88 1 0 0 20 0 22 0 27592890 10060525568 48000 33554432000 1073741824 1073778376 140734045254080 140698610645560 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26102/tid=26119] ppid=26099 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/26102/task/26119/stat : 26119 (java) S 26099 26102 22091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 27592890 10060525568 48000 33554432000 1073741824 1073778376 140734045254080 140698609593464 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26102/tid=26120] ppid=26099 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/26102/task/26120/stat : 26120 (java) S 26099 26102 22091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 27592890 10060525568 48000 33554432000 1073741824 1073778376 140734045254080 140698608540872 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26102/tid=26124] ppid=26099 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/26102/task/26124/stat : 26124 (java) S 26099 26102 22091 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 27592902 10060525568 48000 33554432000 1073741824 1073778376 140734045254080 140698604229672 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 4.71
Current children cumulated vsize (KiB) 9824732

[startup+6.30088 s]
/proc/loadavg: 4.43 4.34 4.27 3/216 26145
/proc/meminfo: memFree=28935352/32872528 swapFree=1459628/1655852
[pid=26102] ppid=26099 vsize=9824732 CPUtime=9.48 cores=1,3,5,7
/proc/26102/stat : 26102 (java) S 26099 26102 22091 0 -1 4202496 18981 0 1 0 917 31 0 0 20 0 22 0 27592884 10060525568 99236 33554432000 1073741824 1073778376 140734045254080 140734045245216 239876472893 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/26102/statm: 2456183 99236 2285 9 0 2446860 0
[pid=26102/tid=26103] ppid=26099 vsize=9824732 CPUtime=0.16 cores=1,3,5,7
/proc/26102/task/26103/stat : 26103 (java) S 26099 26102 22091 0 -1 4202560 2414 0 1 0 16 0 0 0 20 0 22 0 27592885 10060525568 99236 33554432000 1073741824 1073778376 140734045254080 140698993492856 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26102/tid=26105] ppid=26099 vsize=9824732 CPUtime=0.05 cores=1,3,5,7
/proc/26102/task/26105/stat : 26105 (java) S 26099 26102 22091 0 -1 4202560 70 0 0 0 3 2 0 0 20 0 22 0 27592886 10060525568 99236 33554432000 1073741824 1073778376 140734045254080 140698971593000 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26102/tid=26106] ppid=26099 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/26102/task/26106/stat : 26106 (java) S 26099 26102 22091 0 -1 4202560 35 0 0 0 0 0 0 0 20 0 22 0 27592886 10060525568 99236 33554432000 1073741824 1073778376 140734045254080 140698970540200 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26102/tid=26107] ppid=26099 vsize=9824732 CPUtime=0.01 cores=1,3,5,7
/proc/26102/task/26107/stat : 26107 (java) S 26099 26102 22091 0 -1 4202560 14 0 0 0 1 0 0 0 20 0 22 0 27592886 10060525568 99236 33554432000 1073741824 1073778376 140734045254080 140698969487912 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26102/tid=26108] ppid=26099 vsize=9824732 CPUtime=0.04 cores=1,3,5,7
/proc/26102/task/26108/stat : 26108 (java) S 26099 26102 22091 0 -1 4202560 31 0 0 0 2 2 0 0 20 0 22 0 27592886 10060525568 99236 33554432000 1073741824 1073778376 140734045254080 140698632317352 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26102/tid=26109] ppid=26099 vsize=9824732 CPUtime=0.03 cores=1,3,5,7
/proc/26102/task/26109/stat : 26109 (java) S 26099 26102 22091 0 -1 4202560 28 0 0 0 2 1 0 0 20 0 22 0 27592886 10060525568 99236 33554432000 1073741824 1073778376 140734045254080 140698631265064 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26102/tid=26110] ppid=26099 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/26102/task/26110/stat : 26110 (java) S 26099 26102 22091 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 27592886 10060525568 99236 33554432000 1073741824 1073778376 140734045254080 140698630212264 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26102/tid=26111] ppid=26099 vsize=9824732 CPUtime=0.01 cores=1,3,5,7
/proc/26102/task/26111/stat : 26111 (java) S 26099 26102 22091 0 -1 4202560 40 0 0 0 1 0 0 0 20 0 22 0 27592886 10060525568 99236 33554432000 1073741824 1073778376 140734045254080 140698629159976 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26102/tid=26112] ppid=26099 vsize=9824732 CPUtime=0.03 cores=1,3,5,7
/proc/26102/task/26112/stat : 26112 (java) S 26099 26102 22091 0 -1 4202560 62 0 0 0 3 0 0 0 20 0 22 0 27592886 10060525568 99236 33554432000 1073741824 1073778376 140734045254080 140698628107176 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26102/tid=26113] ppid=26099 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/26102/task/26113/stat : 26113 (java) S 26099 26102 22091 0 -1 4202560 194 0 0 0 0 0 0 0 20 0 22 0 27592887 10060525568 99236 33554432000 1073741824 1073778376 140734045254080 140698615908584 239876487081 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26102/tid=26114] ppid=26099 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/26102/task/26114/stat : 26114 (java) S 26099 26102 22091 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 27592887 10060525568 99236 33554432000 1073741824 1073778376 140734045254080 140698614854648 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26102/tid=26115] ppid=26099 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/26102/task/26115/stat : 26115 (java) S 26099 26102 22091 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 27592887 10060525568 99236 33554432000 1073741824 1073778376 140734045254080 140698613802248 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26102/tid=26116] ppid=26099 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/26102/task/26116/stat : 26116 (java) S 26099 26102 22091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 27592890 10060525568 99236 33554432000 1073741824 1073778376 140734045254080 140698612750736 239876495136 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26102/tid=26117] ppid=26099 vsize=9824732 CPUtime=0.66 cores=1,3,5,7
/proc/26102/task/26117/stat : 26117 (java) S 26099 26102 22091 0 -1 4202560 6975 0 0 0 66 0 0 0 20 0 22 0 27592890 10060525568 99236 33554432000 1073741824 1073778376 140734045254080 140698611698360 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26102/tid=26118] ppid=26099 vsize=9824732 CPUtime=1.03 cores=1,3,5,7

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

/proc/26102/task/26110/stat : 26110 (java) S 26099 26102 22091 0 -1 4202560 699 0 0 0 96 14 0 0 20 0 19 0 27592886 10060525568 470217 33554432000 1073741824 1073778376 140734045254080 140698630212264 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26102/tid=26111] ppid=26099 vsize=9824732 CPUtime=1.29 cores=1,3,5,7
/proc/26102/task/26111/stat : 26111 (java) S 26099 26102 22091 0 -1 4202560 746 0 0 0 113 16 0 0 20 0 19 0 27592886 10060525568 470217 33554432000 1073741824 1073778376 140734045254080 140698629159976 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26102/tid=26112] ppid=26099 vsize=9824732 CPUtime=1.25 cores=1,3,5,7
/proc/26102/task/26112/stat : 26112 (java) S 26099 26102 22091 0 -1 4202560 768 0 0 0 110 15 0 0 20 0 19 0 27592886 10060525568 470217 33554432000 1073741824 1073778376 140734045254080 140698628107176 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26102/tid=26113] ppid=26099 vsize=9824732 CPUtime=1.19 cores=1,3,5,7
/proc/26102/task/26113/stat : 26113 (java) S 26099 26102 22091 0 -1 4202560 1468 0 0 0 88 31 0 0 20 0 19 0 27592887 10060525568 470217 33554432000 1073741824 1073778376 140734045254080 140698615908584 239876487081 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26102/tid=26114] ppid=26099 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/26102/task/26114/stat : 26114 (java) S 26099 26102 22091 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 27592887 10060525568 470217 33554432000 1073741824 1073778376 140734045254080 140698614854648 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26102/tid=26115] ppid=26099 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/26102/task/26115/stat : 26115 (java) S 26099 26102 22091 0 -1 4202560 35 0 0 0 0 0 0 0 20 0 19 0 27592887 10060525568 470217 33554432000 1073741824 1073778376 140734045254080 140698613802248 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26102/tid=26116] ppid=26099 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/26102/task/26116/stat : 26116 (java) S 26099 26102 22091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27592890 10060525568 470217 33554432000 1073741824 1073778376 140734045254080 140698612750736 239876495136 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26102/tid=26117] ppid=26099 vsize=9824732 CPUtime=0.81 cores=1,3,5,7
/proc/26102/task/26117/stat : 26117 (java) S 26099 26102 22091 0 -1 4202560 6980 0 0 0 81 0 0 0 20 0 19 0 27592890 10060525568 470217 33554432000 1073741824 1073778376 140734045254080 140698611698360 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26102/tid=26118] ppid=26099 vsize=9824732 CPUtime=1.32 cores=1,3,5,7
/proc/26102/task/26118/stat : 26118 (java) S 26099 26102 22091 0 -1 4202560 9477 0 0 0 130 2 0 0 20 0 19 0 27592890 10060525568 470217 33554432000 1073741824 1073778376 140734045254080 140698610645560 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26102/tid=26119] ppid=26099 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/26102/task/26119/stat : 26119 (java) S 26099 26102 22091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27592890 10060525568 470217 33554432000 1073741824 1073778376 140734045254080 140698609593464 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26102/tid=26120] ppid=26099 vsize=9824732 CPUtime=0.22 cores=1,3,5,7
/proc/26102/task/26120/stat : 26120 (java) S 26099 26102 22091 0 -1 4202560 48 0 0 0 9 13 0 0 20 0 19 0 27592890 10060525568 470217 33554432000 1073741824 1073778376 140734045254080 140698608540872 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26102/tid=26181] ppid=26099 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/26102/task/26181/stat : 26181 (java) S 26099 26102 22091 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 27594405 10060525568 470217 33554432000 1073741824 1073778376 140734045254080 140698605282728 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1645.43
Current children cumulated vsize (KiB) 9824732
#
############


[startup+882.308 s]
/proc/loadavg: 4.06 4.12 4.16 5/219 26505
/proc/meminfo: memFree=28004624/32872528 swapFree=1459628/1655852
[pid=26102] ppid=26099 vsize=9824732 CPUtime=1697.13 cores=1,3,5,7
/proc/26102/stat : 26102 (java) S 26099 26102 22091 0 -1 4202496 29572 0 1 0 169321 392 0 0 20 0 22 0 27592884 10060525568 463610 33554432000 1073741824 1073778376 140734045254080 140734045245216 239876472893 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/26102/statm: 2456183 463610 2293 9 0 2446860 0
[pid=26102/tid=26103] ppid=26099 vsize=9824732 CPUtime=2.2 cores=1,3,5,7
/proc/26102/task/26103/stat : 26103 (java) S 26099 26102 22091 0 -1 4202560 2418 0 1 0 217 3 0 0 20 0 22 0 27592885 10060525568 463610 33554432000 1073741824 1073778376 140734045254080 140698993492856 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26102/tid=26105] ppid=26099 vsize=9824732 CPUtime=1.31 cores=1,3,5,7
/proc/26102/task/26105/stat : 26105 (java) S 26099 26102 22091 0 -1 4202560 732 0 0 0 114 17 0 0 20 0 22 0 27592886 10060525568 463610 33554432000 1073741824 1073778376 140734045254080 140698971593000 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26102/tid=26106] ppid=26099 vsize=9824732 CPUtime=1.17 cores=1,3,5,7
/proc/26102/task/26106/stat : 26106 (java) S 26099 26102 22091 0 -1 4202560 643 0 0 0 104 13 0 0 20 0 22 0 27592886 10060525568 463610 33554432000 1073741824 1073778376 140734045254080 140698970540200 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26102/tid=26107] ppid=26099 vsize=9824732 CPUtime=1.29 cores=1,3,5,7
/proc/26102/task/26107/stat : 26107 (java) S 26099 26102 22091 0 -1 4202560 589 0 0 0 114 15 0 0 20 0 22 0 27592886 10060525568 463610 33554432000 1073741824 1073778376 140734045254080 140698969487912 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26102/tid=26108] ppid=26099 vsize=9824732 CPUtime=1.22 cores=1,3,5,7
/proc/26102/task/26108/stat : 26108 (java) S 26099 26102 22091 0 -1 4202560 557 0 0 0 108 14 0 0 20 0 22 0 27592886 10060525568 463610 33554432000 1073741824 1073778376 140734045254080 140698632317352 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26102/tid=26109] ppid=26099 vsize=9824732 CPUtime=1.16 cores=1,3,5,7
/proc/26102/task/26109/stat : 26109 (java) S 26099 26102 22091 0 -1 4202560 703 0 0 0 101 15 0 0 20 0 22 0 27592886 10060525568 463610 33554432000 1073741824 1073778376 140734045254080 140698631265064 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26102/tid=26110] ppid=26099 vsize=9824732 CPUtime=1.14 cores=1,3,5,7
/proc/26102/task/26110/stat : 26110 (java) S 26099 26102 22091 0 -1 4202560 711 0 0 0 100 14 0 0 20 0 22 0 27592886 10060525568 463610 33554432000 1073741824 1073778376 140734045254080 140698630212264 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26102/tid=26111] ppid=26099 vsize=9824732 CPUtime=1.33 cores=1,3,5,7
/proc/26102/task/26111/stat : 26111 (java) S 26099 26102 22091 0 -1 4202560 748 0 0 0 116 17 0 0 20 0 22 0 27592886 10060525568 463610 33554432000 1073741824 1073778376 140734045254080 140698629159976 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26102/tid=26112] ppid=26099 vsize=9824732 CPUtime=1.28 cores=1,3,5,7
/proc/26102/task/26112/stat : 26112 (java) S 26099 26102 22091 0 -1 4202560 771 0 0 0 113 15 0 0 20 0 22 0 27592886 10060525568 463610 33554432000 1073741824 1073778376 140734045254080 140698628107176 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26102/tid=26113] ppid=26099 vsize=9824732 CPUtime=1.63 cores=1,3,5,7
/proc/26102/task/26113/stat : 26113 (java) S 26099 26102 22091 0 -1 4202560 1520 0 0 0 131 32 0 0 20 0 22 0 27592887 10060525568 463610 33554432000 1073741824 1073778376 140734045254080 140698615908584 239876487081 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26102/tid=26114] ppid=26099 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/26102/task/26114/stat : 26114 (java) S 26099 26102 22091 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 27592887 10060525568 463610 33554432000 1073741824 1073778376 140734045254080 140698614854648 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26102/tid=26115] ppid=26099 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/26102/task/26115/stat : 26115 (java) S 26099 26102 22091 0 -1 4202560 38 0 0 0 0 0 0 0 20 0 22 0 27592887 10060525568 463610 33554432000 1073741824 1073778376 140734045254080 140698613802248 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26102/tid=26116] ppid=26099 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/26102/task/26116/stat : 26116 (java) S 26099 26102 22091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 27592890 10060525568 463610 33554432000 1073741824 1073778376 140734045254080 140698612750736 239876495136 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26102/tid=26117] ppid=26099 vsize=9824732 CPUtime=0.81 cores=1,3,5,7
/proc/26102/task/26117/stat : 26117 (java) S 26099 26102 22091 0 -1 4202560 6980 0 0 0 81 0 0 0 20 0 22 0 27592890 10060525568 463610 33554432000 1073741824 1073778376 140734045254080 140698611698360 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26102/tid=26118] ppid=26099 vsize=9824732 CPUtime=1.32 cores=1,3,5,7
/proc/26102/task/26118/stat : 26118 (java) S 26099 26102 22091 0 -1 4202560 9477 0 0 0 130 2 0 0 20 0 22 0 27592890 10060525568 463610 33554432000 1073741824 1073778376 140734045254080 140698610645560 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26102/tid=26119] ppid=26099 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/26102/task/26119/stat : 26119 (java) S 26099 26102 22091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 27592890 10060525568 463610 33554432000 1073741824 1073778376 140734045254080 140698609593464 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26102/tid=26120] ppid=26099 vsize=9824732 CPUtime=0.23 cores=1,3,5,7
/proc/26102/task/26120/stat : 26120 (java) S 26099 26102 22091 0 -1 4202560 50 0 0 0 9 14 0 0 20 0 22 0 27592890 10060525568 463610 33554432000 1073741824 1073778376 140734045254080 140698608540872 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26102/tid=26181] ppid=26099 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/26102/task/26181/stat : 26181 (java) S 26099 26102 22091 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 27594405 10060525568 463610 33554432000 1073741824 1073778376 140734045254080 140698605282728 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26102/tid=26434] ppid=26099 vsize=9824732 CPUtime=25.36 cores=1,3,5,7
/proc/26102/task/26434/stat : 26434 (java) R 26099 26102 22091 0 -1 4202560 3 0 0 0 2536 0 0 0 20 0 22 0 27678519 10060525568 463610 33554432000 1073741824 1073778376 140734045254080 140698607385816 140698850956732 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=26102/tid=26435] ppid=26099 vsize=9824732 CPUtime=25.37 cores=1,3,5,7
/proc/26102/task/26435/stat : 26435 (java) R 26099 26102 22091 0 -1 4202560 12 0 0 0 2536 1 0 0 20 0 22 0 27678519 10060525568 463610 33554432000 1073741824 1073778376 140734045254080 140698606332464 140698851062702 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=26102/tid=26436] ppid=26099 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/26102/task/26436/stat : 26436 (java) S 26099 26102 22091 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 27678540 10060525568 463610 33554432000 1073741824 1073778376 140734045254080 140698604230312 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1697.13
Current children cumulated vsize (KiB) 9824732



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+933.201 s]
/proc/loadavg: 4.21 4.15 4.17 6/219 26506
/proc/meminfo: memFree=26231656/32872528 swapFree=1459628/1655852
[pid=26102] ppid=26099 vsize=9824732 CPUtime=1799 cores=1,3,5,7
/proc/26102/stat : 26102 (java) S 26099 26102 22091 0 -1 4202496 29626 0 1 0 179506 394 0 0 20 0 22 0 27592884 10060525568 449177 33554432000 1073741824 1073778376 140734045254080 140734045245216 239876472893 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/26102/statm: 2456183 449177 2293 9 0 2446860 0
[pid=26102/tid=26103] ppid=26099 vsize=9824732 CPUtime=2.2 cores=1,3,5,7
/proc/26102/task/26103/stat : 26103 (java) S 26099 26102 22091 0 -1 4202560 2418 0 1 0 217 3 0 0 20 0 22 0 27592885 10060525568 449177 33554432000 1073741824 1073778376 140734045254080 140698993492856 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26102/tid=26105] ppid=26099 vsize=9824732 CPUtime=1.37 cores=1,3,5,7
/proc/26102/task/26105/stat : 26105 (java) S 26099 26102 22091 0 -1 4202560 732 0 0 0 120 17 0 0 20 0 22 0 27592886 10060525568 449177 33554432000 1073741824 1073778376 140734045254080 140698971593000 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26102/tid=26106] ppid=26099 vsize=9824732 CPUtime=1.2 cores=1,3,5,7
/proc/26102/task/26106/stat : 26106 (java) S 26099 26102 22091 0 -1 4202560 643 0 0 0 107 13 0 0 20 0 22 0 27592886 10060525568 449177 33554432000 1073741824 1073778376 140734045254080 140698970540200 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26102/tid=26107] ppid=26099 vsize=9824732 CPUtime=1.33 cores=1,3,5,7
/proc/26102/task/26107/stat : 26107 (java) S 26099 26102 22091 0 -1 4202560 599 0 0 0 118 15 0 0 20 0 22 0 27592886 10060525568 449177 33554432000 1073741824 1073778376 140734045254080 140698969487912 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26102/tid=26108] ppid=26099 vsize=9824732 CPUtime=1.27 cores=1,3,5,7
/proc/26102/task/26108/stat : 26108 (java) S 26099 26102 22091 0 -1 4202560 557 0 0 0 113 14 0 0 20 0 22 0 27592886 10060525568 449177 33554432000 1073741824 1073778376 140734045254080 140698632317352 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26102/tid=26109] ppid=26099 vsize=9824732 CPUtime=1.2 cores=1,3,5,7
/proc/26102/task/26109/stat : 26109 (java) S 26099 26102 22091 0 -1 4202560 716 0 0 0 105 15 0 0 20 0 22 0 27592886 10060525568 449177 33554432000 1073741824 1073778376 140734045254080 140698631265064 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26102/tid=26110] ppid=26099 vsize=9824732 CPUtime=1.17 cores=1,3,5,7
/proc/26102/task/26110/stat : 26110 (java) S 26099 26102 22091 0 -1 4202560 711 0 0 0 103 14 0 0 20 0 22 0 27592886 10060525568 449177 33554432000 1073741824 1073778376 140734045254080 140698630212264 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26102/tid=26111] ppid=26099 vsize=9824732 CPUtime=1.36 cores=1,3,5,7
/proc/26102/task/26111/stat : 26111 (java) S 26099 26102 22091 0 -1 4202560 768 0 0 0 119 17 0 0 20 0 22 0 27592886 10060525568 449177 33554432000 1073741824 1073778376 140734045254080 140698629159976 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26102/tid=26112] ppid=26099 vsize=9824732 CPUtime=1.31 cores=1,3,5,7
/proc/26102/task/26112/stat : 26112 (java) S 26099 26102 22091 0 -1 4202560 771 0 0 0 116 15 0 0 20 0 22 0 27592886 10060525568 449177 33554432000 1073741824 1073778376 140734045254080 140698628107176 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26102/tid=26113] ppid=26099 vsize=9824732 CPUtime=1.63 cores=1,3,5,7
/proc/26102/task/26113/stat : 26113 (java) S 26099 26102 22091 0 -1 4202560 1522 0 0 0 131 32 0 0 20 0 22 0 27592887 10060525568 449177 33554432000 1073741824 1073778376 140734045254080 140698615908584 239876487081 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26102/tid=26114] ppid=26099 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/26102/task/26114/stat : 26114 (java) S 26099 26102 22091 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 27592887 10060525568 449177 33554432000 1073741824 1073778376 140734045254080 140698614854648 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26102/tid=26115] ppid=26099 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/26102/task/26115/stat : 26115 (java) S 26099 26102 22091 0 -1 4202560 38 0 0 0 0 0 0 0 20 0 22 0 27592887 10060525568 449177 33554432000 1073741824 1073778376 140734045254080 140698613802248 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26102/tid=26116] ppid=26099 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/26102/task/26116/stat : 26116 (java) S 26099 26102 22091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 27592890 10060525568 449177 33554432000 1073741824 1073778376 140734045254080 140698612750736 239876495136 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26102/tid=26117] ppid=26099 vsize=9824732 CPUtime=0.81 cores=1,3,5,7
/proc/26102/task/26117/stat : 26117 (java) S 26099 26102 22091 0 -1 4202560 6980 0 0 0 81 0 0 0 20 0 22 0 27592890 10060525568 449177 33554432000 1073741824 1073778376 140734045254080 140698611698360 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26102/tid=26118] ppid=26099 vsize=9824732 CPUtime=1.32 cores=1,3,5,7
/proc/26102/task/26118/stat : 26118 (java) S 26099 26102 22091 0 -1 4202560 9477 0 0 0 130 2 0 0 20 0 22 0 27592890 10060525568 449177 33554432000 1073741824 1073778376 140734045254080 140698610645560 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26102/tid=26119] ppid=26099 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/26102/task/26119/stat : 26119 (java) S 26099 26102 22091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 27592890 10060525568 449177 33554432000 1073741824 1073778376 140734045254080 140698609593464 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26102/tid=26120] ppid=26099 vsize=9824732 CPUtime=0.24 cores=1,3,5,7
/proc/26102/task/26120/stat : 26120 (java) S 26099 26102 22091 0 -1 4202560 52 0 0 0 10 14 0 0 20 0 22 0 27592890 10060525568 449177 33554432000 1073741824 1073778376 140734045254080 140698608540872 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26102/tid=26181] ppid=26099 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/26102/task/26181/stat : 26181 (java) S 26099 26102 22091 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 27594405 10060525568 449177 33554432000 1073741824 1073778376 140734045254080 140698605282728 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26102/tid=26434] ppid=26099 vsize=9824732 CPUtime=76.03 cores=1,3,5,7
/proc/26102/task/26434/stat : 26434 (java) R 26099 26102 22091 0 -1 4202560 4 0 0 0 7602 1 0 0 20 0 22 0 27678519 10060525568 449177 33554432000 1073741824 1073778376 140734045254080 140698607386416 140698850956732 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=26102/tid=26435] ppid=26099 vsize=9824732 CPUtime=76.02 cores=1,3,5,7
/proc/26102/task/26435/stat : 26435 (java) R 26099 26102 22091 0 -1 4202560 18 0 0 0 7600 2 0 0 20 0 22 0 27678519 10060525568 449177 33554432000 1073741824 1073778376 140734045254080 140698606332336 140698850971265 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=26102/tid=26436] ppid=26099 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/26102/task/26436/stat : 26436 (java) S 26099 26102 22091 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 27678540 10060525568 449177 33554432000 1073741824 1073778376 140734045254080 140698604230312 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1799
Current children cumulated vsize (KiB) 9824732

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 26102 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

Child status: 143

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 26102 and gives
#  childrusage.ru_utime.tv_sec=1794
#  childrusage.ru_utime.tv_usec=730159
#  childrusage.ru_stime.tv_sec=4
#  childrusage.ru_stime.tv_usec=131371
# CPU time returned by wait4() is 1798.86
# while last known CPU time is 1799
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...


# WARNING:
# The CPU time of some children was not reported to their father
# (probably because of a missing or aborted wait()).
# This 'lost CPU time' is added to the watched process CPU time.
#  lost CPU time (s): 1.16968
#  lost CPU user time (s): 1.3298
#  lost CPU system time (s): -0.16

Real time (s): 933.246
CPU time (s): 1800.17
CPU user time (s): 1796.39
CPU system time (s): 3.78
CPU usage (%): 192.893
Max. virtual memory (cumulated for all children) (KiB): 9824732

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.73
system time used= 4.13137
maximum resident set size= 2127012
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 29667
page faults= 1
swaps= 0
block input operations= 0
block output operations= 944
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 31470
involuntary context switches= 36907

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.64514 second user time and 7.73182 second system time

The end

Launcher Data 

Begin job on node136 at 2016-06-18 15:11:14
IDJOB=4105586
IDBENCH=2918
IDSOLVER=2543
FILE ID=node136/4105586-1466255474
RUNJOBID= node136-1466240588-22108
PBS_JOBID= 19918192
Free space on /tmp= 71736 MiB

SOLVER NAME= Sat4j PB 2.3.6 Res+CP PB16
BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/market-split/normalized-opt-market-split_7_60_1.opb
COMMAND LINE= java -jar sat4j-pb.jar Both BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4105586-1466255474/watcher-4105586-1466255474 -o /tmp/evaluation-result-4105586-1466255474/solver-4105586-1466255474 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node136-1466240588-22108 --watchdog 1960  java -jar sat4j-pb.jar Both HOME/instance-4105586-1466255474.opb

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

MD5SUM BENCH= 7b9886d41278c23acb93039c546a310e
RANDOM SEED=1723478073

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

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.278
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	: 5334.55
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		: 2667.278
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		: 2667.278
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.56
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		: 2667.278
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		: 2667.278
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		: 2667.278
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.56
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		: 2667.278
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.67
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		: 2667.278
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        29267920 kB
Buffers:           20920 kB
Cached:           103636 kB
SwapCached:        47324 kB
Active:          1111624 kB
Inactive:         129912 kB
Active(anon):    1071968 kB
Inactive(anon):    47248 kB
Active(file):      39656 kB
Inactive(file):    82664 kB
Unevictable:     1655852 kB
Mlocked:         1459628 kB
SwapTotal:      67108856 kB
SwapFree:       67054628 kB
Dirty:              1692 kB
Writeback:             0 kB
AnonPages:       2727612 kB
Mapped:            16824 kB
Shmem:                 0 kB
Slab:             569768 kB
SReclaimable:      13784 kB
SUnreclaim:       555984 kB
KernelStack:        1592 kB
PageTables:         9196 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    3154480 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1220608 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= 71720 MiB
End job on node136 at 2016-06-18 15:26:47