Trace number 4105570

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)129 1800.22 934.755

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/market-split/normalized-opt-market-split_8_70_4.opb
MD5SUM87341d3e4752b9f90faef0f8d9385430
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark77
Best CPU time to get the best result obtained on this benchmark1800.04
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 44
Optimality of the best value was proved NO
Number of variables198
Total number of constraints16
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 constraints16
Minimum length of a constraint84
Maximum length of a constraint86
Number of terms in the objective function 128
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 4080
Number of bits of the sum of numbers in the objective function 12
Biggest number in a constraint 1881
Number of bits of the biggest number in a constraint 11
Biggest sum of numbers in a constraint 6154
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.09	c version PB16.v20160501
0.00/0.09	c java.runtime.name	Java(TM) SE Runtime Environment
0.00/0.09	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.00/0.09	c java.vm.version	19.1-b02
0.00/0.09	c java.vm.vendor	Sun Microsystems Inc.
0.00/0.09	c sun.arch.data.model	64
0.00/0.09	c java.version		1.6.0_24
0.00/0.09	c os.name		Linux
0.00/0.09	c os.version		2.6.32-71.29.1.el6.x86_64
0.00/0.09	c os.arch		amd64
0.00/0.09	c Free memory 		501472288
0.00/0.09	c Max memory 		7480803328
0.00/0.09	c Total memory 		504102912
0.00/0.09	c Number of processors 	8
0.09/0.12	c Pseudo Boolean Optimization by upper bound
0.09/0.12	c ManyCore solver with 2 solvers running in parallel
0.09/0.12	c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<<
0.09/0.12	c --- Begin Solver configuration ---
0.09/0.12	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@5d764be1
0.09/0.12	c Learn all clauses as in MiniSAT
0.09/0.12	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.09/0.12	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.09/0.12	c Expensive reason simplification
0.09/0.12	c Glucose 2.1 dynamic restart strategy
0.09/0.12	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.09/0.12	c timeout=2147483s
0.09/0.12	c DB Simplification allowed=false
0.09/0.12	c Listener: org.sat4j.pb.tools.ManyCorePB@9f436f5
0.09/0.12	c --- End Solver configuration ---
0.09/0.12	c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<<
0.09/0.12	c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP)
0.09/0.12	c --- Begin Solver configuration ---
0.09/0.12	c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@4413ee
0.09/0.12	c Learn all clauses as in MiniSAT
0.09/0.12	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.09/0.12	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function
0.09/0.12	c No reason simplification
0.09/0.12	c Armin Biere (Picosat) restarts strategy
0.09/0.12	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.09/0.12	c timeout=2147483s
0.09/0.12	c DB Simplification allowed=false
0.09/0.12	c Listener: org.sat4j.pb.tools.ManyCorePB@9f436f5
0.09/0.12	c --- End Solver configuration ---
0.09/0.12	c solving HOME/instance-4105570-1466255295.opb
0.09/0.12	c reading problem ... 
0.09/0.12	c  objective function found
0.09/0.18	c ... done. Wall clock time 0.064s.
0.09/0.18	c declared #vars     198
0.09/0.18	c #constraints  16
0.09/0.19	c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<<
0.09/0.19	c constraints type 
0.09/0.19	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 16
0.09/0.19	c 16 constraints processed.
0.09/0.19	c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<<
0.09/0.19	c constraints type 
0.09/0.19	c org.sat4j.pb.constraints.pb.MaxWatchPb => 16
0.09/0.19	c 16 constraints processed.
0.09/0.19	c objective function length is 128 literals
2.25/0.75	c cleaning 2496 clauses out of 5001 with flag 10459/5001
2.64/0.85	c And the winner is solver1
3.10/1.19	c SATISFIABLE
3.10/1.19	c OPTIMIZING...
3.10/1.19	c Got one! Elapsed wall clock time (in seconds):1.07
3.10/1.19	o 2993
3.14/1.21	c And the winner is solver0
3.18/1.69	c Got one! Elapsed wall clock time (in seconds):1.572
3.18/1.69	o 426
3.40/1.81	c And the winner is solver0
3.44/2.19	c Got one! Elapsed wall clock time (in seconds):2.073
3.44/2.19	o 424
3.87/2.40	c cleaning 4414 clauses out of 8827 with flag 7492/11323
4.07/2.55	c And the winner is solver0
4.19/2.69	c Got one! Elapsed wall clock time (in seconds):2.575
4.19/2.69	o 423
4.63/2.90	c cleaning 4945 clauses out of 9896 with flag 7210/16806
4.63/2.97	c And the winner is solver0
4.83/3.19	c Got one! Elapsed wall clock time (in seconds):3.076
4.83/3.19	o 422
5.05/3.32	c And the winner is solver0
5.12/3.70	c Got one! Elapsed wall clock time (in seconds):3.578
5.12/3.70	o 421
5.12/3.80	c And the winner is solver0
5.33/4.20	c Got one! Elapsed wall clock time (in seconds):4.079
5.33/4.20	o 420
5.33/4.27	c cleaning 5483 clauses out of 10966 with flag 2699/22821
6.16/4.65	c And the winner is solver0
6.30/4.70	c Got one! Elapsed wall clock time (in seconds):4.581
6.30/4.70	o 418
6.69/4.98	c And the winner is solver0
6.87/5.20	c Got one! Elapsed wall clock time (in seconds):5.082
6.87/5.20	o 417
7.27/5.40	c cleaning 8352 clauses out of 16708 with flag 4710/34046
8.27/5.92	c cleaning 7175 clauses out of 14356 with flag 17918/40046
9.28/6.49	c cleaning 7091 clauses out of 14181 with flag 33627/47046
10.97/7.20	c And the winner is solver1
10.99/7.70	c Got one! Elapsed wall clock time (in seconds):7.583
10.99/7.70	o 410
10.99/7.72	c And the winner is solver0
11.15/8.20	c Got one! Elapsed wall clock time (in seconds):8.085
11.15/8.20	o 284
11.74/8.53	c And the winner is solver0
11.82/8.70	c Got one! Elapsed wall clock time (in seconds):8.586
11.82/8.70	o 283
12.25/8.96	c cleaning 9836 clauses out of 19677 with flag 5016/59633
12.84/9.24	c And the winner is solver0
12.96/9.71	c Got one! Elapsed wall clock time (in seconds):9.587
12.96/9.71	o 281
13.14/9.89	c cleaning 7817 clauses out of 15634 with flag 4386/65426
13.55/10.07	c And the winner is solver0
13.74/10.21	c Got one! Elapsed wall clock time (in seconds):10.088
13.74/10.21	o 280
14.13/10.46	c cleaning 6765 clauses out of 13530 with flag 7569/71139
15.12/10.91	c cleaning 6373 clauses out of 12762 with flag 22603/77136
16.12/11.43	c cleaning 6694 clauses out of 13389 with flag 40396/84136
17.32/12.07	c cleaning 7347 clauses out of 14695 with flag 60633/92136
18.92/12.80	c cleaning 8167 clauses out of 16348 with flag 83962/101136
20.77/13.72	c cleaning 9094 clauses out of 18189 with flag 109674/111144
22.77/14.71	c cleaning 10037 clauses out of 20087 with flag 137849/122136
25.03/15.88	c cleaning 11021 clauses out of 22050 with flag 168212/134136
27.62/17.17	c cleaning 12015 clauses out of 24030 with flag 201166/147137
30.62/18.65	c cleaning 13004 clauses out of 26014 with flag 237817/161136
31.22/18.90	c And the winner is solver0
31.40/19.21	c Got one! Elapsed wall clock time (in seconds):19.091
31.40/19.21	o 278
31.57/19.36	c And the winner is solver0
31.88/19.71	c Got one! Elapsed wall clock time (in seconds):19.593
31.88/19.71	o 272
32.26/19.92	c cleaning 9775 clauses out of 19553 with flag 5131/167679
33.25/20.40	c cleaning 7886 clauses out of 15777 with flag 20120/173678
34.26/20.95	c cleaning 7443 clauses out of 14891 with flag 37441/180678
34.26/20.96	c And the winner is solver1
34.38/21.21	c Got one! Elapsed wall clock time (in seconds):21.094
34.38/21.21	o 267
34.95/21.58	c cleaning 6268 clauses out of 12550 with flag 13035/185780
36.00/22.05	c cleaning 6130 clauses out of 12281 with flag 28869/191779
36.00/22.05	c And the winner is solver0
36.15/22.21	c Got one! Elapsed wall clock time (in seconds):22.095
36.15/22.21	o 266
36.51/22.44	c And the winner is solver0
36.65/22.71	c Got one! Elapsed wall clock time (in seconds):22.597
36.65/22.71	o 265
36.81/22.84	c cleaning 5976 clauses out of 11953 with flag 4931/197581
37.63/23.25	c cleaning 5982 clauses out of 11980 with flag 20339/203584
38.61/23.74	c cleaning 6496 clauses out of 12995 with flag 37895/210581
39.42/24.17	c And the winner is solver1
39.55/24.22	c Got one! Elapsed wall clock time (in seconds):24.098
39.55/24.22	o 255
40.31/24.66	c cleaning 8804 clauses out of 17608 with flag 12591/221690
41.31/25.15	c cleaning 7399 clauses out of 14810 with flag 27358/227696
41.51/25.25	c And the winner is solver0
41.76/25.72	c Got one! Elapsed wall clock time (in seconds):25.599
41.76/25.72	o 254
42.35/26.06	c cleaning 6431 clauses out of 12876 with flag 9209/233161
43.37/26.51	c cleaning 6218 clauses out of 12441 with flag 23551/239157
44.35/27.07	c cleaning 6611 clauses out of 13224 with flag 40270/246158
45.75/27.72	c cleaning 7300 clauses out of 14611 with flag 59698/254156
45.75/27.75	c And the winner is solver0
45.92/28.22	c Got one! Elapsed wall clock time (in seconds):28.101
45.92/28.22	o 252
46.48/28.59	c cleaning 6425 clauses out of 12861 with flag 12119/259706
47.48/29.03	c cleaning 6213 clauses out of 12436 with flag 26503/265706
47.88/29.26	c And the winner is solver0
48.06/29.72	c Got one! Elapsed wall clock time (in seconds):29.602
48.06/29.72	o 250
48.23/29.89	c cleaning 6050 clauses out of 12110 with flag 4574/271593
49.21/30.34	c cleaning 6027 clauses out of 12060 with flag 19925/277593
49.41/30.45	c And the winner is solver0
49.60/30.72	c Got one! Elapsed wall clock time (in seconds):30.603
49.60/30.72	o 248
50.14/31.05	c cleaning 6001 clauses out of 12009 with flag 9375/283569
50.94/31.49	c cleaning 6003 clauses out of 12009 with flag 24401/289570
52.16/32.01	c cleaning 6504 clauses out of 13007 with flag 42211/296571
53.38/32.69	c cleaning 7251 clauses out of 14501 with flag 62925/304569
54.98/33.43	c cleaning 8122 clauses out of 16251 with flag 85800/313570
56.78/34.32	c cleaning 9062 clauses out of 18129 with flag 110883/323570
58.79/35.35	c cleaning 10031 clauses out of 20066 with flag 138961/334569
61.22/36.53	c cleaning 11015 clauses out of 22035 with flag 169390/346569
62.02/36.98	c And the winner is solver1
62.16/37.22	c Got one! Elapsed wall clock time (in seconds):37.106
62.16/37.22	o 235
63.10/37.75	c cleaning 10515 clauses out of 21036 with flag 13167/356585
64.10/38.26	c cleaning 8252 clauses out of 16519 with flag 28309/362583
64.72/38.54	c And the winner is solver0
64.87/38.73	c Got one! Elapsed wall clock time (in seconds):38.607
64.87/38.73	o 234
65.20/38.92	c cleaning 7073 clauses out of 14163 with flag 4672/368479
65.20/38.96	c And the winner is solver0
65.41/39.23	c Got one! Elapsed wall clock time (in seconds):39.108
65.41/39.23	o 232
66.16/39.61	c cleaning 6292 clauses out of 12592 with flag 12320/373981
66.95/40.07	c cleaning 6144 clauses out of 12300 with flag 27576/379981
68.17/40.62	c cleaning 6579 clauses out of 13158 with flag 45949/386983
69.37/41.28	c cleaning 7287 clauses out of 14578 with flag 66459/394982
70.97/42.04	c cleaning 8142 clauses out of 16291 with flag 89658/403982
71.97/42.50	c And the winner is solver0
72.07/42.73	c Got one! Elapsed wall clock time (in seconds):42.61
72.07/42.73	o 231
73.00/43.24	c cleaning 9432 clauses out of 18865 with flag 12102/414698
74.00/43.73	c cleaning 7712 clauses out of 15435 with flag 26905/420700
74.40/43.94	c And the winner is solver0
74.61/44.23	c Got one! Elapsed wall clock time (in seconds):44.112
74.61/44.23	o 229
74.96/44.41	c cleaning 6465 clauses out of 12941 with flag 5000/425918
74.96/44.43	c And the winner is solver0
75.16/44.73	c Got one! Elapsed wall clock time (in seconds):44.613
75.16/44.73	o 227
75.69/45.06	c cleaning 5924 clauses out of 11858 with flag 12298/431300
76.49/45.46	c cleaning 5964 clauses out of 11934 with flag 28046/437300
76.69/45.50	c And the winner is solver0
76.81/45.73	c Got one! Elapsed wall clock time (in seconds):45.614
76.81/45.73	o 226
77.54/46.10	c cleaning 5874 clauses out of 11765 with flag 12392/443095
78.34/46.53	c cleaning 5941 clauses out of 11890 with flag 27362/449094
79.34/47.06	c cleaning 6475 clauses out of 12949 with flag 44606/456094
80.54/47.65	c cleaning 7235 clauses out of 14474 with flag 65817/464094
81.95/48.31	c cleaning 8119 clauses out of 16239 with flag 89154/473094
83.55/49.15	c cleaning 9058 clauses out of 18122 with flag 114722/483096
85.35/50.09	c cleaning 10030 clauses out of 20063 with flag 142724/494095
87.55/51.12	c cleaning 11015 clauses out of 22031 with flag 173593/506093
87.55/51.16	c And the winner is solver0
87.81/51.34	c Got one! Elapsed wall clock time (in seconds):51.217
87.81/51.34	o 193
88.57/51.79	c cleaning 8360 clauses out of 16721 with flag 11995/511798
89.55/52.26	c cleaning 7176 clauses out of 14365 with flag 25590/517802
90.77/52.83	c cleaning 7082 clauses out of 14185 with flag 41432/524798
91.95/53.46	c cleaning 7547 clauses out of 15105 with flag 60320/532800
93.55/54.24	c cleaning 8279 clauses out of 16557 with flag 81886/541799
95.17/55.10	c cleaning 9137 clauses out of 18282 with flag 106187/551803
97.15/56.09	c cleaning 10065 clauses out of 20144 with flag 131688/562802
99.57/57.23	c cleaning 11037 clauses out of 22076 with flag 160755/574799
102.35/58.60	c cleaning 12016 clauses out of 24041 with flag 191669/587801
105.40/60.12	c cleaning 13008 clauses out of 26023 with flag 225251/601799
108.61/61.76	c cleaning 14008 clauses out of 28017 with flag 260027/616801
112.40/63.69	c cleaning 14995 clauses out of 30006 with flag 297795/632798
116.80/65.84	c cleaning 16001 clauses out of 32011 with flag 339750/649798
121.66/68.24	c cleaning 16998 clauses out of 34012 with flag 383382/667800
126.85/70.86	c cleaning 17999 clauses out of 36015 with flag 427452/686801
132.86/73.83	c cleaning 19008 clauses out of 38015 with flag 476217/706800
139.45/77.12	c cleaning 19993 clauses out of 40007 with flag 525813/727800
146.71/80.78	c cleaning 21005 clauses out of 42013 with flag 577640/749799
154.11/84.43	c cleaning 22001 clauses out of 44010 with flag 632286/772801
162.70/88.72	c cleaning 23001 clauses out of 46007 with flag 690289/796799
166.90/90.80	c And the winner is solver0
167.72/91.79	c Got one! Elapsed wall clock time (in seconds):91.676
167.72/91.79	o 192
169.80/92.82	c cleaning 22871 clauses out of 45744 with flag 12211/819537
171.22/93.59	c cleaning 14428 clauses out of 28869 with flag 26541/825533
172.80/94.31	c cleaning 10723 clauses out of 21450 with flag 43321/832542
174.20/95.06	c cleaning 9343 clauses out of 18718 with flag 62053/840533
174.40/95.13	c And the winner is solver0
174.83/95.55	c Got one! Elapsed wall clock time (in seconds):95.428
174.83/95.55	o 191
175.37/95.87	c cleaning 7269 clauses out of 14546 with flag 9516/845704
176.36/96.35	c cleaning 6633 clauses out of 13285 with flag 23828/851712
177.57/96.92	c cleaning 6820 clauses out of 13648 with flag 40429/858708
178.96/97.60	c cleaning 7410 clauses out of 14824 with flag 60016/866704
179.36/97.90	c And the winner is solver0
179.67/98.05	c Got one! Elapsed wall clock time (in seconds):97.93
179.67/98.05	o 189
180.09/98.27	c cleaning 6694 clauses out of 13406 with flag 4607/872696
180.49/98.46	c And the winner is solver0
181.05/98.90	c Got one! Elapsed wall clock time (in seconds):98.782
181.05/98.90	o 188
181.45/99.15	c cleaning 6248 clauses out of 12515 with flag 7604/878499
181.63/99.20	c And the winner is solver0
182.11/99.70	c Got one! Elapsed wall clock time (in seconds):99.584
182.11/99.70	o 187
182.70/100.03	c cleaning 6055 clauses out of 12126 with flag 11930/884358
183.50/100.44	c cleaning 6032 clauses out of 12071 with flag 25828/890358
184.50/100.92	c cleaning 6520 clauses out of 13039 with flag 42470/897358
185.72/101.52	c cleaning 7257 clauses out of 14515 with flag 62418/905354
187.11/102.26	c cleaning 8128 clauses out of 16259 with flag 83843/914355
188.91/103.11	c cleaning 9066 clauses out of 18132 with flag 108776/924356
189.31/103.35	c And the winner is solver0
189.57/103.70	c Got one! Elapsed wall clock time (in seconds):103.585
189.57/103.70	o 186
189.74/103.90	c cleaning 7290 clauses out of 14583 with flag 4511/929873
190.74/104.38	c cleaning 6643 clauses out of 13293 with flag 19473/935873
191.94/104.93	c cleaning 6825 clauses out of 13650 with flag 36379/942873
193.36/105.61	c cleaning 7414 clauses out of 14832 with flag 54294/950880
194.74/106.39	c cleaning 8207 clauses out of 16416 with flag 74611/959878
196.74/107.32	c cleaning 9099 clauses out of 18205 with flag 97717/969874
197.75/107.87	c And the winner is solver0
198.22/108.26	c Got one! Elapsed wall clock time (in seconds):108.137
198.22/108.26	o 184
199.38/108.86	c cleaning 10289 clauses out of 20585 with flag 11995/981353
200.58/109.41	c cleaning 8147 clauses out of 16297 with flag 26467/987354
201.80/110.04	c cleaning 7572 clauses out of 15151 with flag 43840/994355
202.98/110.61	c And the winner is solver0
203.39/111.06	c Got one! Elapsed wall clock time (in seconds):110.938
203.39/111.06	o 183
204.33/111.59	c cleaning 9717 clauses out of 19436 with flag 12092/1006212
204.53/111.64	c And the winner is solver0
206.55/113.61	c Got one! Elapsed wall clock time (in seconds):113.492
206.55/113.61	o 182
207.34/114.05	c cleaning 7766 clauses out of 15539 with flag 11853/1012032
208.35/114.53	c cleaning 6881 clauses out of 13772 with flag 26959/1018031
209.54/115.11	c cleaning 6941 clauses out of 13892 with flag 44165/1025032
210.74/115.79	c cleaning 7472 clauses out of 14950 with flag 63671/1033031
212.34/116.57	c cleaning 8237 clauses out of 16480 with flag 86410/1042033
214.34/117.53	c cleaning 9118 clauses out of 18241 with flag 111231/1052031
216.54/118.60	c cleaning 10061 clauses out of 20123 with flag 138741/1063031
218.93/119.81	c cleaning 11030 clauses out of 22063 with flag 168973/1075032
220.93/120.87	c And the winner is solver0
222.70/122.58	c Got one! Elapsed wall clock time (in seconds):122.461
222.70/122.58	o 180
223.99/123.26	c cleaning 13202 clauses out of 26449 with flag 12023/1090448
225.19/123.84	c cleaning 9621 clauses out of 19248 with flag 27200/1096449
226.40/124.46	c cleaning 8313 clauses out of 16626 with flag 45376/1103448
226.40/124.47	c And the winner is solver0
226.76/124.73	c Got one! Elapsed wall clock time (in seconds):124.613
226.76/124.73	o 179
227.51/125.14	c cleaning 6746 clauses out of 13498 with flag 12410/1108633
228.13/125.46	c And the winner is solver0
228.39/125.73	c Got one! Elapsed wall clock time (in seconds):125.615
228.39/125.73	o 177
228.51/125.83	c cleaning 6029 clauses out of 12088 with flag 2122/1113969
229.52/126.32	c cleaning 6024 clauses out of 12060 with flag 16097/1119970
230.72/126.91	c cleaning 6519 clauses out of 13037 with flag 32314/1126971
232.14/127.63	c cleaning 7257 clauses out of 14518 with flag 50480/1134971
233.72/128.46	c cleaning 8122 clauses out of 16258 with flag 71468/1143968
235.72/129.43	c cleaning 9062 clauses out of 18136 with flag 94715/1153968
237.92/130.59	c cleaning 10041 clauses out of 20082 with flag 120623/1164976
240.72/131.96	c cleaning 11015 clauses out of 22033 with flag 147946/1176968
243.72/133.42	c cleaning 12008 clauses out of 24018 with flag 177634/1189968
247.12/135.13	c cleaning 13005 clauses out of 26011 with flag 209418/1203969
250.92/137.09	c cleaning 13999 clauses out of 28008 with flag 242964/1218971
255.12/139.19	c cleaning 14998 clauses out of 30006 with flag 278800/1234968
259.91/141.50	c cleaning 16007 clauses out of 32016 with flag 318109/1251976
265.37/144.23	c cleaning 17002 clauses out of 34006 with flag 359606/1269973
271.15/147.12	c cleaning 17998 clauses out of 36003 with flag 402361/1288972
277.55/150.31	c cleaning 18995 clauses out of 38004 with flag 447084/1308971
283.95/153.59	c cleaning 20001 clauses out of 40011 with flag 495893/1329973
291.35/157.30	c cleaning 21001 clauses out of 42005 with flag 547691/1351968
300.01/161.53	c cleaning 22005 clauses out of 44010 with flag 600414/1374974
309.22/166.16	c cleaning 23001 clauses out of 46002 with flag 656194/1398971
319.25/171.16	c cleaning 23993 clauses out of 47998 with flag 713330/1423968
329.66/176.30	c cleaning 25001 clauses out of 50007 with flag 772117/1449970
340.66/181.86	c cleaning 26003 clauses out of 52007 with flag 834624/1476971
352.10/187.50	c cleaning 27000 clauses out of 54001 with flag 899366/1504968
364.51/193.72	c cleaning 27998 clauses out of 56006 with flag 968553/1533973
381.24/202.09	c cleaning 29000 clauses out of 58006 with flag 1035983/1563971
398.13/210.41	c cleaning 30002 clauses out of 60003 with flag 1103897/1594968
413.76/218.24	c cleaning 31004 clauses out of 62008 with flag 1175459/1626975
429.18/225.93	c cleaning 31997 clauses out of 63997 with flag 1249396/1659968
446.22/234.45	c cleaning 32998 clauses out of 66000 with flag 1327447/1693968
466.32/244.45	c cleaning 33996 clauses out of 68002 with flag 1408381/1728968
484.96/253.73	c cleaning 35008 clauses out of 70018 with flag 1491788/1764980
504.40/263.47	c cleaning 35998 clauses out of 71998 with flag 1576385/1801968
505.80/264.26	c And the winner is solver1
505.80/264.75	c Got one! Elapsed wall clock time (in seconds):264.636
505.80/264.75	o 176
507.08/265.41	c cleaning 20862 clauses out of 41723 with flag 8183/1807691
508.48/266.13	c cleaning 13429 clauses out of 26868 with flag 23025/1813698
508.90/266.38	c And the winner is solver0
509.98/267.36	c Got one! Elapsed wall clock time (in seconds):267.239
509.98/267.36	o 175
510.69/267.74	c cleaning 9670 clauses out of 19355 with flag 7257/1819614
511.89/268.30	c cleaning 7839 clauses out of 15686 with flag 22076/1825615
513.09/268.91	c cleaning 7419 clauses out of 14846 with flag 39493/1832614
514.30/269.58	c cleaning 7708 clauses out of 15430 with flag 59951/1840617
516.10/270.41	c cleaning 8359 clauses out of 16720 with flag 82915/1849615
517.90/271.31	c cleaning 9182 clauses out of 18363 with flag 108602/1859617
519.90/272.34	c cleaning 10088 clauses out of 20178 with flag 135939/1870614
522.50/273.62	c cleaning 11045 clauses out of 22091 with flag 165901/1882615
525.31/275.06	c cleaning 12024 clauses out of 24048 with flag 198580/1895617
528.50/276.67	c cleaning 13013 clauses out of 26028 with flag 233872/1909621
532.30/278.52	c cleaning 14010 clauses out of 28019 with flag 271942/1924625
533.50/279.11	c And the winner is solver0
534.15/279.81	c Got one! Elapsed wall clock time (in seconds):279.693
534.15/279.81	o 174
535.55/280.51	c cleaning 12413 clauses out of 24830 with flag 12307/1935446
536.54/281.09	c cleaning 9205 clauses out of 18418 with flag 27370/1941447
536.94/281.22	c And the winner is solver0
537.96/282.21	c Got one! Elapsed wall clock time (in seconds):282.095
537.96/282.21	o 172
538.74/282.60	c cleaning 7573 clauses out of 15158 with flag 9511/1947392
539.34/282.91	c And the winner is solver0
540.06/283.67	c Got one! Elapsed wall clock time (in seconds):283.548
540.06/283.67	o 171
540.16/283.75	c cleaning 6486 clauses out of 12978 with flag 2124/1952785
541.16/284.26	c cleaning 6239 clauses out of 12492 with flag 16956/1958785
542.36/284.81	c cleaning 6621 clauses out of 13254 with flag 34769/1965786
543.76/285.52	c cleaning 7313 clauses out of 14632 with flag 55277/1973785
543.76/285.57	c And the winner is solver0
544.34/286.07	c Got one! Elapsed wall clock time (in seconds):285.95
544.34/286.07	o 169
545.03/286.48	c cleaning 6616 clauses out of 13242 with flag 12362/1979708
545.43/286.62	c And the winner is solver0
546.36/287.52	c Got one! Elapsed wall clock time (in seconds):287.402
546.36/287.52	o 167
546.73/287.76	c cleaning 5825 clauses out of 11656 with flag 6794/1984738
547.74/288.23	c cleaning 5911 clauses out of 11831 with flag 22481/1990738
548.73/288.79	c cleaning 6457 clauses out of 12921 with flag 40757/1997739
550.14/289.42	c cleaning 7228 clauses out of 14463 with flag 61270/2005738
551.73/290.21	c cleaning 8120 clauses out of 16239 with flag 84651/2014742
553.33/291.04	c cleaning 9053 clauses out of 18117 with flag 110864/2024740
553.53/291.10	c And the winner is solver0
554.56/292.12	c Got one! Elapsed wall clock time (in seconds):292.004
554.56/292.12	o 166
555.11/292.49	c cleaning 7092 clauses out of 14201 with flag 9823/2029877
556.11/292.97	c cleaning 6547 clauses out of 13102 with flag 24818/2035870
557.31/293.54	c cleaning 6775 clauses out of 13560 with flag 42514/2042875
558.71/294.23	c cleaning 7389 clauses out of 14780 with flag 62815/2050870
560.31/295.01	c cleaning 8194 clauses out of 16391 with flag 86376/2059870
561.91/295.89	c cleaning 9096 clauses out of 18197 with flag 111999/2069870
564.10/296.96	c cleaning 10052 clauses out of 20105 with flag 140047/2080874
566.52/298.17	c cleaning 11024 clauses out of 22050 with flag 170879/2092871
568.72/299.26	c And the winner is solver0
569.48/299.98	c Got one! Elapsed wall clock time (in seconds):299.857
569.48/299.98	o 165
570.75/300.68	c cleaning 13401 clauses out of 26809 with flag 12459/2108654
571.95/301.27	c cleaning 9704 clauses out of 19407 with flag 27460/2114653
573.35/301.90	c cleaning 8342 clauses out of 16700 with flag 45262/2121650
574.76/302.65	c cleaning 8178 clauses out of 16359 with flag 65696/2129651
576.35/303.47	c cleaning 8586 clauses out of 17180 with flag 88131/2138650
578.35/304.40	c cleaning 9293 clauses out of 18594 with flag 113914/2148650
578.96/304.75	c And the winner is solver0
582.10/307.83	c Got one! Elapsed wall clock time (in seconds):307.712
582.10/307.83	o 163
582.23/307.93	c cleaning 7322 clauses out of 14650 with flag 2217/2153999
583.23/308.45	c cleaning 6660 clauses out of 13328 with flag 17670/2159999
584.43/309.04	c cleaning 6830 clauses out of 13667 with flag 35050/2166998
585.83/309.70	c cleaning 7419 clauses out of 14841 with flag 55898/2175002
586.03/309.83	c And the winner is solver0
586.51/310.23	c Got one! Elapsed wall clock time (in seconds):310.116
586.51/310.23	o 161
587.05/310.59	c cleaning 6653 clauses out of 13316 with flag 9473/2180896
588.05/311.07	c cleaning 6320 clauses out of 12663 with flag 23986/2186896
589.25/311.63	c cleaning 6667 clauses out of 13346 with flag 40960/2193899
590.45/312.28	c cleaning 7335 clauses out of 14676 with flag 59849/2201896
592.05/313.06	c cleaning 8170 clauses out of 16341 with flag 81120/2210896
594.05/314.02	c cleaning 9086 clauses out of 18174 with flag 104770/2220899
596.25/315.10	c cleaning 10039 clauses out of 20086 with flag 133728/2231897
596.65/315.31	c And the winner is solver0
599.36/318.09	c Got one! Elapsed wall clock time (in seconds):317.971
599.36/318.09	o 159
599.79/318.40	c cleaning 7926 clauses out of 15862 with flag 7456/2237712
601.02/318.90	c cleaning 6966 clauses out of 13938 with flag 22274/2243714
602.01/319.46	c cleaning 6981 clauses out of 13967 with flag 39771/2250709
603.43/320.15	c cleaning 7495 clauses out of 14989 with flag 59937/2258712
605.01/320.94	c cleaning 8245 clauses out of 16494 with flag 81890/2267712
606.81/321.90	c cleaning 9121 clauses out of 18246 with flag 106833/2277709
609.21/323.00	c cleaning 10064 clauses out of 20131 with flag 133620/2288715
611.61/324.25	c cleaning 11031 clauses out of 22063 with flag 163687/2300711
614.42/325.69	c cleaning 12014 clauses out of 24031 with flag 195576/2313710
617.61/327.27	c cleaning 13008 clauses out of 26018 with flag 230449/2327711
621.22/329.07	c cleaning 14004 clauses out of 28009 with flag 267798/2342710
622.81/329.88	c And the winner is solver0
623.96/330.94	c Got one! Elapsed wall clock time (in seconds):330.825
623.96/330.94	o 157
625.50/331.72	c cleaning 13325 clauses out of 26656 with flag 11924/2355361
626.71/332.35	c cleaning 9659 clauses out of 19334 with flag 26602/2361364
628.10/333.03	c cleaning 8335 clauses out of 16673 with flag 43899/2368362
628.50/333.23	c And the winner is solver0
629.44/334.15	c Got one! Elapsed wall clock time (in seconds):334.028
629.44/334.15	o 156
629.96/334.44	c cleaning 6899 clauses out of 13811 with flag 6862/2373835
630.96/334.96	c cleaning 6440 clauses out of 12909 with flag 21325/2379832
632.17/335.54	c cleaning 6732 clauses out of 13469 with flag 38655/2386832
633.56/336.22	c cleaning 7369 clauses out of 14737 with flag 58658/2394832
635.16/337.00	c cleaning 8183 clauses out of 16371 with flag 81431/2403835
636.96/337.91	c cleaning 9089 clauses out of 18185 with flag 105865/2413832
638.97/338.98	c cleaning 10046 clauses out of 20099 with flag 132961/2424835
641.36/340.20	c cleaning 11023 clauses out of 22050 with flag 163077/2436832
644.36/341.60	c cleaning 12012 clauses out of 24027 with flag 194873/2449832
647.16/343.08	c cleaning 13005 clauses out of 26018 with flag 228678/2463835
648.76/343.83	c And the winner is solver0
651.07/346.15	c Got one! Elapsed wall clock time (in seconds):346.036
651.07/346.15	o 155
652.39/346.86	c cleaning 12973 clauses out of 25947 with flag 11974/2476769
653.59/347.44	c cleaning 9483 clauses out of 18971 with flag 27095/2482766
654.79/348.07	c cleaning 8242 clauses out of 16489 with flag 43983/2489767
655.39/348.40	c And the winner is solver0
656.54/349.37	c Got one! Elapsed wall clock time (in seconds):349.252
656.54/349.37	o 154
656.63/349.47	c cleaning 6782 clauses out of 13598 with flag 2123/2495118
657.67/349.97	c cleaning 6404 clauses out of 12816 with flag 16759/2501118
658.85/350.55	c cleaning 6701 clauses out of 13413 with flag 33519/2508119
660.25/351.25	c cleaning 7353 clauses out of 14711 with flag 53216/2516118
661.87/352.07	c cleaning 8183 clauses out of 16365 with flag 75462/2525125
663.85/353.02	c cleaning 9088 clauses out of 18184 with flag 98888/2535127
666.05/354.14	c cleaning 10045 clauses out of 20089 with flag 126189/2546120
668.67/355.45	c cleaning 11016 clauses out of 22042 with flag 156143/2558118
671.65/356.98	c cleaning 12011 clauses out of 24027 with flag 187226/2571119
675.06/358.65	c cleaning 13006 clauses out of 26015 with flag 221606/2585118
678.85/360.57	c cleaning 14002 clauses out of 28009 with flag 258515/2600118
679.25/360.73	c And the winner is solver0
679.93/361.42	c Got one! Elapsed wall clock time (in seconds):361.306
679.93/361.42	o 152
680.68/361.82	c cleaning 9810 clauses out of 19629 with flag 9566/2605740
681.48/362.21	c And the winner is solver0
681.69/362.48	c Got one! Elapsed wall clock time (in seconds):362.357
681.69/362.48	o 151
682.83/363.03	c cleaning 10025 clauses out of 20067 with flag 12039/2615988
683.21/363.27	c And the winner is solver0
683.60/363.58	c Got one! Elapsed wall clock time (in seconds):363.459
683.60/363.58	o 150
684.08/363.88	c cleaning 8002 clauses out of 16010 with flag 6984/2621956
685.08/364.39	c cleaning 6999 clauses out of 14009 with flag 21813/2627957
686.28/364.98	c cleaning 7005 clauses out of 14018 with flag 39558/2634965
686.48/365.07	c And the winner is solver0
686.86/365.33	c Got one! Elapsed wall clock time (in seconds):365.21
686.86/365.33	o 149
687.41/365.66	c cleaning 6171 clauses out of 12367 with flag 9546/2640319
688.41/366.12	c cleaning 6095 clauses out of 12198 with flag 24453/2646321
689.40/366.64	c cleaning 6542 clauses out of 13101 with flag 42369/2653319
689.60/366.76	c And the winner is solver0
689.97/367.08	c Got one! Elapsed wall clock time (in seconds):366.962
689.97/367.08	o 147
690.68/367.43	c cleaning 6233 clauses out of 12465 with flag 9583/2659225
691.67/367.91	c cleaning 6113 clauses out of 12230 with flag 24714/2665223
691.67/367.99	c And the winner is solver0
692.66/368.83	c Got one! Elapsed wall clock time (in seconds):368.715
692.66/368.83	o 146
693.21/369.13	c cleaning 5643 clauses out of 11302 with flag 9563/2670408
694.01/369.54	c cleaning 5822 clauses out of 11655 with flag 24021/2676404
695.01/370.08	c cleaning 6414 clauses out of 12836 with flag 39886/2683407
696.42/370.71	c cleaning 7204 clauses out of 14421 with flag 58923/2691406
697.81/371.48	c cleaning 8110 clauses out of 16219 with flag 80299/2700408
699.61/372.33	c cleaning 9050 clauses out of 18106 with flag 103274/2710405
701.61/373.36	c cleaning 10026 clauses out of 20055 with flag 129331/2721404
702.41/373.79	c And the winner is solver0
704.30/375.54	c Got one! Elapsed wall clock time (in seconds):375.42
704.30/375.54	o 145
705.20/376.04	c cleaning 10067 clauses out of 20133 with flag 11994/2731508
706.20/376.54	c cleaning 8030 clauses out of 16067 with flag 26100/2737509
707.40/377.15	c cleaning 7514 clauses out of 15039 with flag 42214/2744511
708.80/377.89	c cleaning 7753 clauses out of 15523 with flag 60474/2752509
710.60/378.79	c cleaning 8380 clauses out of 16771 with flag 82524/2761510
712.80/379.81	c cleaning 9192 clauses out of 18389 with flag 106307/2771508
715.00/380.91	c cleaning 10102 clauses out of 20203 with flag 132970/2782514
717.60/382.24	c cleaning 11047 clauses out of 22095 with flag 161925/2794508
720.60/383.79	c cleaning 12018 clauses out of 24048 with flag 191382/2807508
723.99/385.42	c cleaning 13016 clauses out of 26033 with flag 225242/2821511
727.60/387.28	c cleaning 14006 clauses out of 28017 with flag 262344/2836511
731.81/389.30	c cleaning 15002 clauses out of 30008 with flag 298887/2852508
736.21/391.59	c cleaning 15999 clauses out of 32007 with flag 337581/2869509
741.21/394.08	c cleaning 17003 clauses out of 34009 with flag 378696/2887510
746.60/396.78	c cleaning 17999 clauses out of 36005 with flag 424303/2906509
752.60/399.73	c cleaning 18998 clauses out of 38008 with flag 470345/2926511
759.02/402.95	c cleaning 20001 clauses out of 40007 with flag 522436/2947508
765.62/406.25	c cleaning 20998 clauses out of 42006 with flag 574207/2969508
773.03/409.95	c cleaning 21999 clauses out of 44008 with flag 628664/2992508
781.25/414.09	c cleaning 23001 clauses out of 46009 with flag 687555/3016508
790.46/418.61	c cleaning 23998 clauses out of 48009 with flag 746718/3041509
799.85/423.34	c cleaning 25002 clauses out of 50018 with flag 808371/3067516
810.66/428.75	c cleaning 26004 clauses out of 52010 with flag 872983/3094510
822.07/434.43	c cleaning 27002 clauses out of 54005 with flag 938978/3122509
830.28/438.57	c And the winner is solver0
830.50/439.05	c Got one! Elapsed wall clock time (in seconds):438.93
830.50/439.05	o 143
833.01/440.34	c cleaning 27614 clauses out of 55235 with flag 12388/3150741
834.84/441.22	c cleaning 16813 clauses out of 33626 with flag 27102/3156746
836.43/442.05	c cleaning 11901 clauses out of 23809 with flag 44446/3163742
838.03/442.84	c cleaning 9941 clauses out of 19912 with flag 64927/3171746
838.43/443.04	c And the winner is solver0
838.96/443.55	c Got one! Elapsed wall clock time (in seconds):443.433
838.96/443.55	o 141
839.70/443.91	c cleaning 7819 clauses out of 15657 with flag 7133/3177432
840.71/444.43	c cleaning 6911 clauses out of 13836 with flag 22415/3183430
841.90/445.03	c cleaning 6965 clauses out of 13929 with flag 39673/3190434
843.30/445.72	c cleaning 7480 clauses out of 14960 with flag 59289/3198430
844.90/446.55	c cleaning 8240 clauses out of 16481 with flag 81999/3207431
846.90/447.51	c cleaning 9117 clauses out of 18243 with flag 107792/3217433
848.90/448.58	c cleaning 10061 clauses out of 20124 with flag 136096/3228431
851.50/449.84	c cleaning 11027 clauses out of 22062 with flag 166961/3240430
854.30/451.23	c cleaning 12013 clauses out of 24035 with flag 200475/3253430
854.70/451.46	c And the winner is solver0
855.33/452.00	c Got one! Elapsed wall clock time (in seconds):451.886
855.33/452.00	o 139
855.91/452.37	c cleaning 8792 clauses out of 17593 with flag 7183/3259001
856.91/452.90	c cleaning 7396 clauses out of 14804 with flag 22371/3265004
857.51/453.13	c And the winner is solver0
858.14/453.71	c Got one! Elapsed wall clock time (in seconds):453.588
858.14/453.71	o 138
858.53/453.90	c cleaning 6280 clauses out of 12565 with flag 4486/3270161
859.34/454.38	c cleaning 6137 clauses out of 12289 with flag 19905/3276165
860.53/454.96	c cleaning 6575 clauses out of 13150 with flag 37030/3283163
861.93/455.66	c cleaning 7281 clauses out of 14571 with flag 56723/3291159
863.53/456.45	c cleaning 8140 clauses out of 16288 with flag 79096/3300157
865.32/457.38	c cleaning 9069 clauses out of 18148 with flag 104541/3310157
867.12/458.26	c And the winner is solver0
869.38/460.46	c Got one! Elapsed wall clock time (in seconds):460.342
869.38/460.46	o 137
870.67/461.14	c cleaning 11830 clauses out of 23676 with flag 12105/3324754
871.86/461.73	c cleaning 8919 clauses out of 17849 with flag 26865/3330757
873.06/462.34	c cleaning 7956 clauses out of 15926 with flag 43624/3337753
874.46/463.09	c cleaning 7982 clauses out of 15970 with flag 63682/3345753
876.26/463.91	c cleaning 8492 clauses out of 16988 with flag 86252/3354753
878.06/464.85	c cleaning 9248 clauses out of 18496 with flag 111213/3364753
880.26/465.98	c cleaning 10123 clauses out of 20248 with flag 138570/3375753
882.66/467.19	c cleaning 11060 clauses out of 22126 with flag 168675/3387754
884.06/467.81	c And the winner is solver0
885.16/468.96	c Got one! Elapsed wall clock time (in seconds):468.847
885.16/468.96	o 136
886.45/469.62	c cleaning 11481 clauses out of 22963 with flag 12388/3399651
887.45/470.19	c cleaning 8736 clauses out of 17483 with flag 27695/3405652
888.65/470.79	c cleaning 7870 clauses out of 15748 with flag 45838/3412653
890.05/471.49	c cleaning 7936 clauses out of 15877 with flag 66008/3420652
891.65/472.25	c cleaning 8464 clauses out of 16940 with flag 88872/3429651
893.46/473.16	c cleaning 9236 clauses out of 18477 with flag 114218/3439652
893.85/473.39	c And the winner is solver0
896.32/475.72	c Got one! Elapsed wall clock time (in seconds):475.603
896.32/475.72	o 135
896.88/476.05	c cleaning 7550 clauses out of 15099 with flag 6951/3445510
898.08/476.60	c cleaning 6767 clauses out of 13545 with flag 22049/3451506
898.28/476.72	c And the winner is solver0
898.62/477.07	c Got one! Elapsed wall clock time (in seconds):476.956
898.62/477.07	o 134
899.30/477.45	c cleaning 6268 clauses out of 12557 with flag 9969/3457285
900.29/477.92	c cleaning 6139 clauses out of 12291 with flag 25253/3463287
901.29/478.44	c cleaning 6573 clauses out of 13154 with flag 42415/3470289
902.49/479.07	c cleaning 7292 clauses out of 14586 with flag 64311/3478294
904.09/479.85	c cleaning 8142 clauses out of 16286 with flag 87534/3487286
904.89/480.27	c And the winner is solver0
908.56/483.83	c Got one! Elapsed wall clock time (in seconds):483.714
908.56/483.83	o 132
909.49/484.31	c cleaning 9197 clauses out of 18402 with flag 12243/3497544
910.29/484.79	c cleaning 7596 clauses out of 15197 with flag 27089/3503536
911.48/485.33	c cleaning 7295 clauses out of 14600 with flag 44916/3510535
912.68/485.92	c cleaning 7648 clauses out of 15308 with flag 65579/3518538
914.08/486.62	c cleaning 8329 clauses out of 16657 with flag 88481/3527535
915.88/487.53	c cleaning 9164 clauses out of 18334 with flag 113749/3537541
917.90/488.57	c cleaning 10074 clauses out of 20164 with flag 141776/3548535
920.09/489.60	c cleaning 11041 clauses out of 22090 with flag 171877/3560535
922.48/490.85	c cleaning 12019 clauses out of 24049 with flag 204097/3573535
925.28/492.28	c cleaning 13014 clauses out of 26030 with flag 239847/3587535
928.48/493.85	c cleaning 14009 clauses out of 28017 with flag 277557/3602536
932.08/495.67	c cleaning 15002 clauses out of 30009 with flag 317965/3618537
936.28/497.73	c cleaning 15998 clauses out of 32007 with flag 361812/3635537
940.47/499.82	c cleaning 17002 clauses out of 34007 with flag 406405/3653535
945.27/502.25	c cleaning 18003 clauses out of 36007 with flag 455986/3672537
950.48/504.83	c cleaning 19000 clauses out of 38005 with flag 507546/3692538
955.88/507.54	c cleaning 19999 clauses out of 40007 with flag 560458/3713540
961.90/510.52	c cleaning 21000 clauses out of 42003 with flag 616077/3735535
968.29/513.78	c cleaning 22001 clauses out of 44005 with flag 674038/3758537
975.48/517.32	c cleaning 23000 clauses out of 46005 with flag 734613/3782538
983.29/521.20	c cleaning 23999 clauses out of 48002 with flag 798364/3807535
991.49/525.32	c cleaning 25004 clauses out of 50008 with flag 864600/3833540
1000.49/529.83	c cleaning 26001 clauses out of 52001 with flag 933956/3860537
1009.91/534.57	c cleaning 27000 clauses out of 54001 with flag 1005396/3888538
1019.90/539.56	c cleaning 28002 clauses out of 56004 with flag 1079091/3917541
1030.70/544.92	c cleaning 28998 clauses out of 57998 with flag 1155309/3947537
1042.10/550.62	c cleaning 29996 clauses out of 59998 with flag 1233808/3978535
1053.70/556.50	c cleaning 30997 clauses out of 62002 with flag 1313374/4010535
1066.35/562.75	c cleaning 32002 clauses out of 64005 with flag 1396672/4043535
1079.55/569.39	c cleaning 33000 clauses out of 66005 with flag 1486714/4077537
1093.34/576.22	c cleaning 34000 clauses out of 68004 with flag 1580596/4112536
1107.94/583.51	c cleaning 35000 clauses out of 70004 with flag 1683355/4148536
1122.97/591.05	c cleaning 35997 clauses out of 72004 with flag 1786717/4185536
1138.77/598.99	c cleaning 37003 clauses out of 74009 with flag 1882581/4223538
1156.00/607.67	c cleaning 38002 clauses out of 76005 with flag 1982052/4262537
1174.21/616.73	c cleaning 39000 clauses out of 78001 with flag 2084803/4302535
1193.66/626.47	c cleaning 39998 clauses out of 80001 with flag 2188551/4343535
1213.30/636.23	c cleaning 40998 clauses out of 82004 with flag 2297192/4385536
1233.52/646.35	c cleaning 41998 clauses out of 84005 with flag 2409976/4428535
1255.72/657.41	c cleaning 43002 clauses out of 86008 with flag 2521865/4472536
1278.12/668.63	c cleaning 44007 clauses out of 88015 with flag 2634682/4517545
1301.96/680.51	c cleaning 44999 clauses out of 90000 with flag 2751135/4563537
1326.00/692.54	c cleaning 45994 clauses out of 92000 with flag 2872622/4610536
1351.23/705.13	c cleaning 47000 clauses out of 94005 with flag 2992393/4658535
1381.36/720.18	c cleaning 48000 clauses out of 96005 with flag 3119750/4707535
1411.03/734.95	c cleaning 49000 clauses out of 98005 with flag 3249715/4757535
1440.02/749.48	c cleaning 50001 clauses out of 100010 with flag 3390521/4808540
1470.22/764.55	c cleaning 51003 clauses out of 102005 with flag 3535202/4860536
1502.87/780.81	c cleaning 51999 clauses out of 104007 with flag 3669548/4913541
1533.48/796.10	c cleaning 52998 clauses out of 106002 with flag 3801421/4967535
1567.52/813.28	c cleaning 54001 clauses out of 108005 with flag 3944874/5022536
1601.11/830.00	c cleaning 54996 clauses out of 110003 with flag 4114993/5078535
1635.32/847.12	c cleaning 56004 clauses out of 112009 with flag 4294606/5135537
1670.39/864.64	c cleaning 57000 clauses out of 114003 with flag 4483414/5193535
1682.38/870.66	c And the winner is solver0
1691.88/880.28	c Got one! Elapsed wall clock time (in seconds):880.161
1691.88/880.28	o 130
1696.72/882.70	c cleaning 43513 clauses out of 87039 with flag 12686/5223571
1699.32/884.00	c cleaning 24763 clauses out of 49534 with flag 28036/5229579
1701.12/884.94	c cleaning 15872 clauses out of 31766 with flag 45736/5236574
1702.72/885.71	c cleaning 11944 clauses out of 23892 with flag 66391/5244572
1704.32/886.57	c cleaning 10478 clauses out of 20955 with flag 89633/5253579
1706.12/887.43	c cleaning 10233 clauses out of 20469 with flag 115271/5263571
1708.12/888.49	c cleaning 10617 clauses out of 21236 with flag 142596/5274571
1710.72/889.74	c cleaning 11309 clauses out of 22623 with flag 172593/5286575
1713.12/890.99	c cleaning 12156 clauses out of 24312 with flag 205297/5299573
1716.12/892.44	c cleaning 13078 clauses out of 26155 with flag 241034/5313572
1719.72/894.20	c cleaning 14039 clauses out of 28077 with flag 278327/5328572
1723.53/896.15	c cleaning 15016 clauses out of 30037 with flag 318256/5344571
1727.53/898.19	c cleaning 16004 clauses out of 32021 with flag 359945/5361571
1732.33/900.56	c cleaning 17009 clauses out of 34017 with flag 404146/5379571
1737.54/903.12	c cleaning 17998 clauses out of 36008 with flag 450433/5398571
1743.13/905.94	c cleaning 19004 clauses out of 38010 with flag 500928/5418571
1749.17/908.99	c cleaning 19998 clauses out of 40006 with flag 553594/5439571
1755.38/912.08	c And the winner is solver0
1755.97/912.64	c Got one! Elapsed wall clock time (in seconds):912.521
1755.97/912.64	o 129
1758.24/913.82	c cleaning 22992 clauses out of 45989 with flag 12043/5465552
1759.84/914.60	c cleaning 14484 clauses out of 28993 with flag 26251/5471548
1761.25/915.31	c cleaning 10744 clauses out of 21509 with flag 43092/5478548
1762.63/916.02	c cleaning 9367 clauses out of 18767 with flag 62778/5486550
1764.23/916.85	c cleaning 9194 clauses out of 18398 with flag 84274/5495548
1766.23/917.82	c cleaning 9599 clauses out of 19204 with flag 108490/5505548
1768.23/918.89	c cleaning 10306 clauses out of 20615 with flag 136915/5516558
1770.83/920.13	c cleaning 11150 clauses out of 22299 with flag 166208/5528548
1773.23/921.34	c cleaning 12071 clauses out of 24153 with flag 197336/5541552
1776.03/922.74	c cleaning 13041 clauses out of 26081 with flag 230080/5555551
1779.23/924.35	c cleaning 14019 clauses out of 28042 with flag 264752/5570553
1783.04/926.23	c cleaning 15012 clauses out of 30023 with flag 301585/5586553
1787.03/928.21	c cleaning 16007 clauses out of 32015 with flag 340669/5603557
1791.43/930.45	c cleaning 16999 clauses out of 33999 with flag 382910/5621548
1796.44/932.97	c cleaning 18002 clauses out of 36004 with flag 428900/5640552
1800.03/934.71	c >>>>>>>>>> Solver number 0 (72 answers) <<<<<<<<<<<<<<<<<<
1800.03/934.71	c starts		: 66502
1800.03/934.71	c conflicts		: 5654746
1800.03/934.71	c decisions		: 9617199
1800.03/934.71	c propagations		: 114115211
1800.03/934.71	c inspects		: 15079624402
1800.03/934.71	c shortcuts		: 0
1800.03/934.71	c learnt literals	: 0
1800.03/934.71	c learnt binary clauses	: 0
1800.03/934.71	c learnt ternary clauses	: 0
1800.03/934.71	c learnt constraints	: 5654746
1800.03/934.71	c ignored constraints	: 0
1800.03/934.71	c root simplifications	: 0
1800.03/934.71	c removed literals (reason simplification)	: 22242027
1800.03/934.71	c reason swapping (by a shorter reason)	: 0
1800.03/934.71	c Calls to reduceDB	: 416
1800.03/934.71	c Number of update (reduction) of LBD	: 1159057
1800.03/934.71	c Imported unit clauses	: 0
1800.03/934.71	c number of reductions to clauses (during analyze)	: 0
1800.03/934.71	c number of learned constraints concerned by reduction	: 0
1800.03/934.71	c number of learning phase by resolution	: 0
1800.03/934.71	c number of learning phase by cutting planes	: 0
1800.03/934.71	c speed (assignments/second)	: 170333.92193447272
1800.03/934.71	c non guided choices	2506
1800.03/934.72	c learnt constraints type 
1800.03/934.72	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 32196
1800.03/934.72	c >>>>>>>>>> Solver number 1 (6 answers) <<<<<<<<<<<<<<<<<<
1800.03/934.72	c starts		: 93
1800.03/934.72	c conflicts		: 2567
1800.03/934.72	c decisions		: 18794
1800.03/934.72	c propagations		: 50698
1800.03/934.72	c inspects		: 34048150
1800.03/934.72	c shortcuts		: 0
1800.03/934.72	c learnt literals	: 0
1800.03/934.72	c learnt binary clauses	: 0
1800.03/934.72	c learnt ternary clauses	: 0
1800.03/934.72	c learnt constraints	: 2510
1800.03/934.72	c ignored constraints	: 0
1800.03/934.72	c root simplifications	: 0
1800.03/934.72	c removed literals (reason simplification)	: 0
1800.03/934.72	c reason swapping (by a shorter reason)	: 0
1800.03/934.72	c Calls to reduceDB	: 0
1800.03/934.72	c Number of update (reduction) of LBD	: 0
1800.03/934.72	c Imported unit clauses	: 0
1800.03/934.72	c number of reductions to clauses (during analyze)	: 0
1800.03/934.72	c number of learned constraints concerned by reduction	: 0
1800.03/934.72	c number of learning phase by resolution	: 0
1800.03/934.72	c number of learning phase by cutting planes	: 0
1800.03/934.72	c speed (assignments/second)	: 2295.897110768952
1800.03/934.72	c non guided choices	2289
1800.03/934.72	c learnt constraints type 
1800.03/934.72	c org.sat4j.pb.constraints.pb.LearntHTClausePB => 1
1800.03/934.72	c org.sat4j.pb.constraints.pb.MaxWatchPb => 2509
1800.03/934.72	s SATISFIABLE
1800.03/934.72	c Found 78 solution(s)
1800.03/934.72	v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 x42 -x43 x44 x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 x67 x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 x89 x90 -x91 x92 -x93 -x94 -x95 -x96 -x97 -x98 x99 -x100 x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 x113 x114 -x115 -x116 -x117 x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 x130 x131 -x132 x133 x134 x135 x136 -x137 -x138 -x139 -x140 -x141 x142 -x143 -x144 -x145 x146 -x147 x148 x149 x150 x151 -x152 x153 x154 x155 x156 x157 -x158 x159 -x160 -x161 -x162 -x163 -x164 x165 -x166 x167 x168 -x169 x170 -x171 x172 -x173 -x174 -x175 x176 -x177 -x178 -x179 x180 x181 x182 -x183 x184 x185 x186 -x187 x188 x189 x190 -x191 x192 -x193 -x194 -x195 -x196 -x197 x198 
1800.03/934.72	c objective function=129
1800.03/934.72	c Total wall clock time (in seconds): 934.606

Verifier Data 

OK	129

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-4105570-1466255295/watcher-4105570-1466255295 -o /tmp/evaluation-result-4105570-1466255295/solver-4105570-1466255295 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node127-1466241741-20174 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4105570-1466255295.opb 

pid=24322
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: 3.95 4.12 4.15 4/196 24325
/proc/meminfo: memFree=28887888/32872528 swapFree=1191052/1305516
[pid=24325] ppid=24322 vsize=9224 CPUtime=0 cores=1,3,5,7
/proc/24325/stat : 24325 (java) R 24322 24325 20157 0 -1 4202496 425 0 0 0 0 0 0 0 20 0 1 0 27576149 9445376 96 33554432000 1073741824 1073778376 140734250087520 140734250084648 214528211521 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/24325/statm: 2290 84 63 9 0 38 0

[startup+0.10006 s]
/proc/loadavg: 3.95 4.12 4.15 4/196 24325
/proc/meminfo: memFree=28887888/32872528 swapFree=1191052/1305516
[pid=24325] ppid=24322 vsize=9558476 CPUtime=0.09 cores=1,3,5,7
/proc/24325/stat : 24325 (java) S 24322 24325 20157 0 -1 4202496 4422 0 1 0 8 1 0 0 20 0 18 0 27576149 9787879424 6048 33554432000 1073741824 1073778376 140734250087520 140734250078656 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/24325/statm: 2389619 6048 2126 9 0 2380296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558476

[startup+0.200212 s]
/proc/loadavg: 3.95 4.12 4.15 4/196 24325
/proc/meminfo: memFree=28887888/32872528 swapFree=1191052/1305516
[pid=24325] ppid=24322 vsize=9824732 CPUtime=0.26 cores=1,3,5,7
/proc/24325/stat : 24325 (java) S 24322 24325 20157 0 -1 4202496 4784 0 1 0 24 2 0 0 20 0 22 0 27576149 10060525568 7884 33554432000 1073741824 1073778376 140734250087520 140734250078656 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/24325/statm: 2456183 7884 2231 9 0 2446860 0
Current children cumulated CPU time (s) 0.26
Current children cumulated vsize (KiB) 9824732

[startup+0.300232 s]
/proc/loadavg: 3.95 4.12 4.15 4/196 24325
/proc/meminfo: memFree=28887888/32872528 swapFree=1191052/1305516
[pid=24325] ppid=24322 vsize=9824732 CPUtime=0.65 cores=1,3,5,7
/proc/24325/stat : 24325 (java) S 24322 24325 20157 0 -1 4202496 8056 0 1 0 63 2 0 0 20 0 22 0 27576149 10060525568 10128 33554432000 1073741824 1073778376 140734250087520 140734250078656 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/24325/statm: 2456183 10128 2244 9 0 2446860 0
Current children cumulated CPU time (s) 0.65
Current children cumulated vsize (KiB) 9824732

[startup+0.700195 s]
/proc/loadavg: 3.95 4.12 4.15 4/196 24325
/proc/meminfo: memFree=28887888/32872528 swapFree=1191052/1305516
[pid=24325] ppid=24322 vsize=9824732 CPUtime=2.25 cores=1,3,5,7
/proc/24325/stat : 24325 (java) S 24322 24325 20157 0 -1 4202496 15341 0 1 0 221 4 0 0 20 0 22 0 27576149 10060525568 23831 33554432000 1073741824 1073778376 140734250087520 140734250078656 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/24325/statm: 2456183 23831 2260 9 0 2446860 0
Current children cumulated CPU time (s) 2.25
Current children cumulated vsize (KiB) 9824732

[startup+1.50072 s]
/proc/loadavg: 3.95 4.12 4.15 3/215 24347
/proc/meminfo: memFree=28746416/32872528 swapFree=1191052/1305516
[pid=24325] ppid=24322 vsize=9824732 CPUtime=3.18 cores=1,3,5,7
/proc/24325/stat : 24325 (java) S 24322 24325 20157 0 -1 4202496 21205 0 1 0 308 10 0 0 20 0 19 0 27576149 10060525568 39843 33554432000 1073741824 1073778376 140734250087520 140734250078656 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/24325/statm: 2456183 39843 2271 9 0 2446860 0
[pid=24325/tid=24327] ppid=24322 vsize=9824732 CPUtime=0.16 cores=1,3,5,7
/proc/24325/task/24327/stat : 24327 (java) S 24322 24325 20157 0 -1 4202560 2410 0 1 0 14 2 0 0 20 0 19 0 27576150 10060525568 39843 33554432000 1073741824 1073778376 140734250087520 140517869945720 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24325/tid=24328] ppid=24322 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/24325/task/24328/stat : 24328 (java) S 24322 24325 20157 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27576151 10060525568 39843 33554432000 1073741824 1073778376 140734250087520 140517842397608 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24325/tid=24329] ppid=24322 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/24325/task/24329/stat : 24329 (java) S 24322 24325 20157 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27576151 10060525568 39843 33554432000 1073741824 1073778376 140734250087520 140517712636456 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24325/tid=24330] ppid=24322 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/24325/task/24330/stat : 24330 (java) S 24322 24325 20157 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27576151 10060525568 39843 33554432000 1073741824 1073778376 140734250087520 140517711583400 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24325/tid=24331] ppid=24322 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/24325/task/24331/stat : 24331 (java) S 24322 24325 20157 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27576151 10060525568 39843 33554432000 1073741824 1073778376 140734250087520 140517710530856 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24325/tid=24332] ppid=24322 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/24325/task/24332/stat : 24332 (java) S 24322 24325 20157 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27576151 10060525568 39843 33554432000 1073741824 1073778376 140734250087520 140517709478824 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24325/tid=24333] ppid=24322 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/24325/task/24333/stat : 24333 (java) S 24322 24325 20157 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27576151 10060525568 39843 33554432000 1073741824 1073778376 140734250087520 140517708426280 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24325/tid=24334] ppid=24322 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/24325/task/24334/stat : 24334 (java) S 24322 24325 20157 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27576151 10060525568 39843 33554432000 1073741824 1073778376 140734250087520 140517371275944 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24325/tid=24335] ppid=24322 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/24325/task/24335/stat : 24335 (java) S 24322 24325 20157 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 27576151 10060525568 39843 33554432000 1073741824 1073778376 140734250087520 140517370223400 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24325/tid=24336] ppid=24322 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/24325/task/24336/stat : 24336 (java) S 24322 24325 20157 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 27576152 10060525568 39843 33554432000 1073741824 1073778376 140734250087520 140517358025064 214540793769 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24325/tid=24337] ppid=24322 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/24325/task/24337/stat : 24337 (java) S 24322 24325 20157 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 27576152 10060525568 39843 33554432000 1073741824 1073778376 140734250087520 140517356971384 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24325/tid=24338] ppid=24322 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/24325/task/24338/stat : 24338 (java) S 24322 24325 20157 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 27576152 10060525568 39843 33554432000 1073741824 1073778376 140734250087520 140517355918216 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24325/tid=24339] ppid=24322 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/24325/task/24339/stat : 24339 (java) S 24322 24325 20157 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27576155 10060525568 39843 33554432000 1073741824 1073778376 140734250087520 140517354866960 214540801824 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24325/tid=24340] ppid=24322 vsize=9824732 CPUtime=0.82 cores=1,3,5,7
/proc/24325/task/24340/stat : 24340 (java) S 24322 24325 20157 0 -1 4202560 8791 0 0 0 80 2 0 0 20 0 19 0 27576155 10060525568 39843 33554432000 1073741824 1073778376 140734250087520 140517353814840 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24325/tid=24341] ppid=24322 vsize=9824732 CPUtime=0.77 cores=1,3,5,7
/proc/24325/task/24341/stat : 24341 (java) S 24322 24325 20157 0 -1 4202560 8610 0 0 0 76 1 0 0 20 0 19 0 27576155 10060525568 39843 33554432000 1073741824 1073778376 140734250087520 140517352762296 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24325/tid=24342] ppid=24322 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/24325/task/24342/stat : 24342 (java) S 24322 24325 20157 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27576155 10060525568 39843 33554432000 1073741824 1073778376 140734250087520 140517351709432 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24325/tid=24343] ppid=24322 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/24325/task/24343/stat : 24343 (java) S 24322 24325 20157 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27576155 10060525568 39843 33554432000 1073741824 1073778376 140734250087520 140517350657096 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 3.18
Current children cumulated vsize (KiB) 9824732

[startup+3.10079 s]
/proc/loadavg: 3.95 4.12 4.15 5/218 24356
/proc/meminfo: memFree=28707024/32872528 swapFree=1191052/1305516
[pid=24325] ppid=24322 vsize=9824732 CPUtime=4.83 cores=1,3,5,7
/proc/24325/stat : 24325 (java) S 24322 24325 20157 0 -1 4202496 21297 0 1 0 465 18 0 0 20 0 19 0 27576149 10060525568 50108 33554432000 1073741824 1073778376 140734250087520 140734250078656 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/24325/statm: 2456183 50108 2284 9 0 2446860 0
[pid=24325/tid=24327] ppid=24322 vsize=9824732 CPUtime=0.17 cores=1,3,5,7
/proc/24325/task/24327/stat : 24327 (java) S 24322 24325 20157 0 -1 4202560 2410 0 1 0 15 2 0 0 20 0 19 0 27576150 10060525568 50108 33554432000 1073741824 1073778376 140734250087520 140517869945720 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24325/tid=24328] ppid=24322 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/24325/task/24328/stat : 24328 (java) S 24322 24325 20157 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 19 0 27576151 10060525568 50108 33554432000 1073741824 1073778376 140734250087520 140517842397608 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24325/tid=24329] ppid=24322 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/24325/task/24329/stat : 24329 (java) S 24322 24325 20157 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27576151 10060525568 50108 33554432000 1073741824 1073778376 140734250087520 140517712636456 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24325/tid=24330] ppid=24322 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/24325/task/24330/stat : 24330 (java) S 24322 24325 20157 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27576151 10060525568 50108 33554432000 1073741824 1073778376 140734250087520 140517711583400 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24325/tid=24331] ppid=24322 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/24325/task/24331/stat : 24331 (java) S 24322 24325 20157 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 19 0 27576151 10060525568 50108 33554432000 1073741824 1073778376 140734250087520 140517710530856 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24325/tid=24332] ppid=24322 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/24325/task/24332/stat : 24332 (java) S 24322 24325 20157 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 27576151 10060525568 50108 33554432000 1073741824 1073778376 140734250087520 140517709478824 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24325/tid=24333] ppid=24322 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/24325/task/24333/stat : 24333 (java) S 24322 24325 20157 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27576151 10060525568 50108 33554432000 1073741824 1073778376 140734250087520 140517708426280 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24325/tid=24334] ppid=24322 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/24325/task/24334/stat : 24334 (java) S 24322 24325 20157 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 27576151 10060525568 50108 33554432000 1073741824 1073778376 140734250087520 140517371275944 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24325/tid=24335] ppid=24322 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/24325/task/24335/stat : 24335 (java) S 24322 24325 20157 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 27576151 10060525568 50108 33554432000 1073741824 1073778376 140734250087520 140517370223400 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24325/tid=24336] ppid=24322 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/24325/task/24336/stat : 24336 (java) S 24322 24325 20157 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 27576152 10060525568 50108 33554432000 1073741824 1073778376 140734250087520 140517358025064 214540793769 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24325/tid=24337] ppid=24322 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/24325/task/24337/stat : 24337 (java) S 24322 24325 20157 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 27576152 10060525568 50108 33554432000 1073741824 1073778376 140734250087520 140517356971384 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24325/tid=24338] ppid=24322 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/24325/task/24338/stat : 24338 (java) S 24322 24325 20157 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 27576152 10060525568 50108 33554432000 1073741824 1073778376 140734250087520 140517355918216 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24325/tid=24339] ppid=24322 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/24325/task/24339/stat : 24339 (java) S 24322 24325 20157 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27576155 10060525568 50108 33554432000 1073741824 1073778376 140734250087520 140517354866960 214540801824 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24325/tid=24340] ppid=24322 vsize=9824732 CPUtime=0.84 cores=1,3,5,7
/proc/24325/task/24340/stat : 24340 (java) S 24322 24325 20157 0 -1 4202560 8791 0 0 0 82 2 0 0 20 0 19 0 27576155 10060525568 50108 33554432000 1073741824 1073778376 140734250087520 140517353814840 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24325/tid=24341] ppid=24322 vsize=9824732 CPUtime=0.81 cores=1,3,5,7
/proc/24325/task/24341/stat : 24341 (java) S 24322 24325 20157 0 -1 4202560 8610 0 0 0 80 1 0 0 20 0 19 0 27576155 10060525568 50108 33554432000 1073741824 1073778376 140734250087520 140517352762296 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24325/tid=24342] ppid=24322 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/24325/task/24342/stat : 24342 (java) S 24322 24325 20157 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27576155 10060525568 50108 33554432000 1073741824 1073778376 140734250087520 140517351709432 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24325/tid=24343] ppid=24322 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/24325/task/24343/stat : 24343 (java) S 24322 24325 20157 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 27576155 10060525568 50108 33554432000 1073741824 1073778376 140734250087520 140517350657096 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24325/tid=24350] ppid=24322 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/24325/task/24350/stat : 24350 (java) S 24322 24325 20157 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 27576268 10060525568 50108 33554432000 1073741824 1073778376 140734250087520 140517346444584 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 4.83
Current children cumulated vsize (KiB) 9824732

[startup+6.30097 s]
/proc/loadavg: 3.79 4.09 4.14 5/218 24374
/proc/meminfo: memFree=28616040/32872528 swapFree=1191052/1305516
[pid=24325] ppid=24322 vsize=9824732 CPUtime=9.08 cores=1,3,5,7
/proc/24325/stat : 24325 (java) S 24322 24325 20157 0 -1 4202496 21437 0 1 0 880 28 0 0 20 0 22 0 27576149 10060525568 52010 33554432000 1073741824 1073778376 140734250087520 140734250078656 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/24325/statm: 2456183 52010 2286 9 0 2446860 0
[pid=24325/tid=24327] ppid=24322 vsize=9824732 CPUtime=0.17 cores=1,3,5,7
/proc/24325/task/24327/stat : 24327 (java) S 24322 24325 20157 0 -1 4202560 2411 0 1 0 15 2 0 0 20 0 22 0 27576150 10060525568 52010 33554432000 1073741824 1073778376 140734250087520 140517869945720 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24325/tid=24328] ppid=24322 vsize=9824732 CPUtime=0.02 cores=1,3,5,7
/proc/24325/task/24328/stat : 24328 (java) S 24322 24325 20157 0 -1 4202560 20 0 0 0 2 0 0 0 20 0 22 0 27576151 10060525568 52010 33554432000 1073741824 1073778376 140734250087520 140517842397608 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24325/tid=24329] ppid=24322 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/24325/task/24329/stat : 24329 (java) S 24322 24325 20157 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 22 0 27576151 10060525568 52010 33554432000 1073741824 1073778376 140734250087520 140517712636456 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24325/tid=24330] ppid=24322 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/24325/task/24330/stat : 24330 (java) S 24322 24325 20157 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 27576151 10060525568 52010 33554432000 1073741824 1073778376 140734250087520 140517711583400 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24325/tid=24331] ppid=24322 vsize=9824732 CPUtime=0.02 cores=1,3,5,7
/proc/24325/task/24331/stat : 24331 (java) S 24322 24325 20157 0 -1 4202560 19 0 0 0 2 0 0 0 20 0 22 0 27576151 10060525568 52010 33554432000 1073741824 1073778376 140734250087520 140517710530856 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24325/tid=24332] ppid=24322 vsize=9824732 CPUtime=0.01 cores=1,3,5,7
/proc/24325/task/24332/stat : 24332 (java) S 24322 24325 20157 0 -1 4202560 14 0 0 0 1 0 0 0 20 0 22 0 27576151 10060525568 52010 33554432000 1073741824 1073778376 140734250087520 140517709478824 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24325/tid=24333] ppid=24322 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/24325/task/24333/stat : 24333 (java) S 24322 24325 20157 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 27576151 10060525568 52010 33554432000 1073741824 1073778376 140734250087520 140517708426280 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24325/tid=24334] ppid=24322 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/24325/task/24334/stat : 24334 (java) S 24322 24325 20157 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 27576151 10060525568 52010 33554432000 1073741824 1073778376 140734250087520 140517371275944 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24325/tid=24335] ppid=24322 vsize=9824732 CPUtime=0.01 cores=1,3,5,7
/proc/24325/task/24335/stat : 24335 (java) S 24322 24325 20157 0 -1 4202560 14 0 0 0 1 0 0 0 20 0 22 0 27576151 10060525568 52010 33554432000 1073741824 1073778376 140734250087520 140517370223400 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24325/tid=24336] ppid=24322 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/24325/task/24336/stat : 24336 (java) S 24322 24325 20157 0 -1 4202560 68 0 0 0 0 0 0 0 20 0 22 0 27576152 10060525568 52010 33554432000 1073741824 1073778376 140734250087520 140517358025064 214540793769 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24325/tid=24337] ppid=24322 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/24325/task/24337/stat : 24337 (java) S 24322 24325 20157 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 27576152 10060525568 52010 33554432000 1073741824 1073778376 140734250087520 140517356971384 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24325/tid=24338] ppid=24322 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/24325/task/24338/stat : 24338 (java) S 24322 24325 20157 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 22 0 27576152 10060525568 52010 33554432000 1073741824 1073778376 140734250087520 140517355918216 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24325/tid=24339] ppid=24322 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/24325/task/24339/stat : 24339 (java) S 24322 24325 20157 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 27576155 10060525568 52010 33554432000 1073741824 1073778376 140734250087520 140517354866960 214540801824 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24325/tid=24340] ppid=24322 vsize=9824732 CPUtime=0.87 cores=1,3,5,7
/proc/24325/task/24340/stat : 24340 (java) S 24322 24325 20157 0 -1 4202560 8792 0 0 0 85 2 0 0 20 0 22 0 27576155 10060525568 52010 33554432000 1073741824 1073778376 140734250087520 140517353814840 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24325/tid=24341] ppid=24322 vsize=9824732 CPUtime=0.82 cores=1,3,5,7
/proc/24325/task/24341/stat : 24341 (java) S 24322 24325 20157 0 -1 4202560 8611 0 0 0 81 1 0 0 20 0 22 0 27576155 10060525568 52010 33554432000 1073741824 1073778376 140734250087520 140517352762296 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24325/tid=24342] ppid=24322 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/24325/task/24342/stat : 24342 (java) S 24322 24325 20157 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 27576155 10060525568 52010 33554432000 1073741824 1073778376 140734250087520 140517351709432 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24325/tid=24343] ppid=24322 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/24325/task/24343/stat : 24343 (java) S 24322 24325 20157 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 27576155 10060525568 52010 33554432000 1073741824 1073778376 140734250087520 140517350657096 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24325/tid=24350] ppid=24322 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/24325/task/24350/stat : 24350 (java) S 24322 24325 20157 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 27576268 10060525568 52010 33554432000 1073741824 1073778376 140734250087520 140517346444584 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24325/tid=24372] ppid=24322 vsize=9824732 CPUtime=1.04 cores=1,3,5,7
/proc/24325/task/24372/stat : 24372 (java) R 24322 24325 20157 0 -1 4202560 4 0 0 0 104 0 0 0 20 0 22 0 27576669 10060525568 52010 33554432000 1073741824 1073778376 140734250087520 140517349593472 140517724087589 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=24325/tid=24373] ppid=24322 vsize=9824732 CPUtime=1.05 cores=1,3,5,7
/proc/24325/task/24373/stat : 24373 (java) R 24322 24325 20157 0 -1 4202560 4 0 0 0 105 0 0 0 20 0 22 0 27576669 10060525568 52010 33554432000 1073741824 1073778376 140734250087520 140517348548760 140517724442386 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=24325/tid=24374] ppid=24322 vsize=9824732 CPUtime=0 cores=1,3,5,7

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

[pid=24325/tid=24328] ppid=24322 vsize=9824732 CPUtime=0.93 cores=1,3,5,7
/proc/24325/task/24328/stat : 24328 (java) S 24322 24325 20157 0 -1 4202560 1522 0 0 0 79 14 0 0 20 0 22 0 27576151 10060525568 370783 33554432000 1073741824 1073778376 140734250087520 140517842397608 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24325/tid=24329] ppid=24322 vsize=9824732 CPUtime=0.89 cores=1,3,5,7
/proc/24325/task/24329/stat : 24329 (java) S 24322 24325 20157 0 -1 4202560 640 0 0 0 75 14 0 0 20 0 22 0 27576151 10060525568 370783 33554432000 1073741824 1073778376 140734250087520 140517712636456 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24325/tid=24330] ppid=24322 vsize=9824732 CPUtime=0.91 cores=1,3,5,7
/proc/24325/task/24330/stat : 24330 (java) S 24322 24325 20157 0 -1 4202560 1310 0 0 0 77 14 0 0 20 0 22 0 27576151 10060525568 370783 33554432000 1073741824 1073778376 140734250087520 140517711583400 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24325/tid=24331] ppid=24322 vsize=9824732 CPUtime=0.88 cores=1,3,5,7
/proc/24325/task/24331/stat : 24331 (java) S 24322 24325 20157 0 -1 4202560 860 0 0 0 74 14 0 0 20 0 22 0 27576151 10060525568 370783 33554432000 1073741824 1073778376 140734250087520 140517710530856 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24325/tid=24332] ppid=24322 vsize=9824732 CPUtime=0.85 cores=1,3,5,7
/proc/24325/task/24332/stat : 24332 (java) S 24322 24325 20157 0 -1 4202560 603 0 0 0 72 13 0 0 20 0 22 0 27576151 10060525568 370783 33554432000 1073741824 1073778376 140734250087520 140517709478824 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24325/tid=24333] ppid=24322 vsize=9824732 CPUtime=0.78 cores=1,3,5,7
/proc/24325/task/24333/stat : 24333 (java) S 24322 24325 20157 0 -1 4202560 541 0 0 0 67 11 0 0 20 0 22 0 27576151 10060525568 370783 33554432000 1073741824 1073778376 140734250087520 140517708426280 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24325/tid=24334] ppid=24322 vsize=9824732 CPUtime=0.79 cores=1,3,5,7
/proc/24325/task/24334/stat : 24334 (java) S 24322 24325 20157 0 -1 4202560 569 0 0 0 67 12 0 0 20 0 22 0 27576151 10060525568 370783 33554432000 1073741824 1073778376 140734250087520 140517371275944 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24325/tid=24335] ppid=24322 vsize=9824732 CPUtime=0.87 cores=1,3,5,7
/proc/24325/task/24335/stat : 24335 (java) S 24322 24325 20157 0 -1 4202560 743 0 0 0 74 13 0 0 20 0 22 0 27576151 10060525568 370783 33554432000 1073741824 1073778376 140734250087520 140517370223400 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24325/tid=24336] ppid=24322 vsize=9824732 CPUtime=0.88 cores=1,3,5,7
/proc/24325/task/24336/stat : 24336 (java) S 24322 24325 20157 0 -1 4202560 1243 0 0 0 69 19 0 0 20 0 22 0 27576152 10060525568 370783 33554432000 1073741824 1073778376 140734250087520 140517358025064 214540793769 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24325/tid=24337] ppid=24322 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/24325/task/24337/stat : 24337 (java) S 24322 24325 20157 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 27576152 10060525568 370783 33554432000 1073741824 1073778376 140734250087520 140517356971384 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24325/tid=24338] ppid=24322 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/24325/task/24338/stat : 24338 (java) S 24322 24325 20157 0 -1 4202560 46 0 0 0 0 0 0 0 20 0 22 0 27576152 10060525568 370783 33554432000 1073741824 1073778376 140734250087520 140517355918216 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24325/tid=24339] ppid=24322 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/24325/task/24339/stat : 24339 (java) S 24322 24325 20157 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 27576155 10060525568 370783 33554432000 1073741824 1073778376 140734250087520 140517354866960 214540801824 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24325/tid=24340] ppid=24322 vsize=9824732 CPUtime=1.06 cores=1,3,5,7
/proc/24325/task/24340/stat : 24340 (java) S 24322 24325 20157 0 -1 4202560 8803 0 0 0 104 2 0 0 20 0 22 0 27576155 10060525568 370783 33554432000 1073741824 1073778376 140734250087520 140517353814840 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24325/tid=24341] ppid=24322 vsize=9824732 CPUtime=1.04 cores=1,3,5,7
/proc/24325/task/24341/stat : 24341 (java) S 24322 24325 20157 0 -1 4202560 9765 0 0 0 103 1 0 0 20 0 22 0 27576155 10060525568 370783 33554432000 1073741824 1073778376 140734250087520 140517352762296 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24325/tid=24342] ppid=24322 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/24325/task/24342/stat : 24342 (java) S 24322 24325 20157 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 27576155 10060525568 370783 33554432000 1073741824 1073778376 140734250087520 140517351709432 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24325/tid=24343] ppid=24322 vsize=9824732 CPUtime=0.26 cores=1,3,5,7
/proc/24325/task/24343/stat : 24343 (java) S 24322 24325 20157 0 -1 4202560 51 0 0 0 9 17 0 0 20 0 22 0 27576155 10060525568 370783 33554432000 1073741824 1073778376 140734250087520 140517350657096 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24325/tid=24491] ppid=24322 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/24325/task/24491/stat : 24491 (java) S 24322 24325 20157 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 27602625 10060525568 370783 33554432000 1073741824 1073778376 140734250087520 140517346444072 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24325/tid=24871] ppid=24322 vsize=9824732 CPUtime=1.97 cores=1,3,5,7
/proc/24325/task/24871/stat : 24871 (java) R 24322 24325 20157 0 -1 4202560 3 0 0 0 197 0 0 0 20 0 22 0 27664177 10060525568 370783 33554432000 1073741824 1073778376 140734250087520 140517348547184 140517724139759 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=24325/tid=24872] ppid=24322 vsize=9824732 CPUtime=1.98 cores=1,3,5,7
/proc/24325/task/24872/stat : 24872 (java) R 24322 24325 20157 0 -1 4202560 4 0 0 0 198 0 0 0 20 0 22 0 27664177 10060525568 370783 33554432000 1073741824 1073778376 140734250087520 140517347495376 140517724203687 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=24325/tid=24873] ppid=24322 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/24325/task/24873/stat : 24873 (java) S 24322 24325 20157 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 27664177 10060525568 370783 33554432000 1073741824 1073778376 140734250087520 140517349602088 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1693.54
Current children cumulated vsize (KiB) 9824732



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+934.701 s]
/proc/loadavg: 3.65 3.44 3.73 6/219 24883
/proc/meminfo: memFree=27789600/32872528 swapFree=1191052/1305516
[pid=24325] ppid=24322 vsize=9824732 CPUtime=1797.63 cores=1,3,5,7
/proc/24325/stat : 24325 (java) S 24322 24325 20157 0 -1 4202496 31938 0 1 0 179433 330 0 0 20 0 22 0 27576149 10060525568 364856 33554432000 1073741824 1073778376 140734250087520 140734250078656 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/24325/statm: 2456183 364856 2294 9 0 2446860 0
[pid=24325/tid=24327] ppid=24322 vsize=9824732 CPUtime=0.27 cores=1,3,5,7
/proc/24325/task/24327/stat : 24327 (java) S 24322 24325 20157 0 -1 4202560 2420 0 1 0 24 3 0 0 20 0 22 0 27576150 10060525568 364856 33554432000 1073741824 1073778376 140734250087520 140517869945720 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24325/tid=24328] ppid=24322 vsize=9824732 CPUtime=0.94 cores=1,3,5,7
/proc/24325/task/24328/stat : 24328 (java) S 24322 24325 20157 0 -1 4202560 1526 0 0 0 80 14 0 0 20 0 22 0 27576151 10060525568 364856 33554432000 1073741824 1073778376 140734250087520 140517842397608 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24325/tid=24329] ppid=24322 vsize=9824732 CPUtime=0.93 cores=1,3,5,7
/proc/24325/task/24329/stat : 24329 (java) S 24322 24325 20157 0 -1 4202560 671 0 0 0 79 14 0 0 20 0 22 0 27576151 10060525568 364856 33554432000 1073741824 1073778376 140734250087520 140517712636456 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24325/tid=24330] ppid=24322 vsize=9824732 CPUtime=0.91 cores=1,3,5,7
/proc/24325/task/24330/stat : 24330 (java) S 24322 24325 20157 0 -1 4202560 1310 0 0 0 77 14 0 0 20 0 22 0 27576151 10060525568 364856 33554432000 1073741824 1073778376 140734250087520 140517711583400 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24325/tid=24331] ppid=24322 vsize=9824732 CPUtime=0.9 cores=1,3,5,7
/proc/24325/task/24331/stat : 24331 (java) S 24322 24325 20157 0 -1 4202560 869 0 0 0 76 14 0 0 20 0 22 0 27576151 10060525568 364856 33554432000 1073741824 1073778376 140734250087520 140517710530856 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24325/tid=24332] ppid=24322 vsize=9824732 CPUtime=0.89 cores=1,3,5,7
/proc/24325/task/24332/stat : 24332 (java) S 24322 24325 20157 0 -1 4202560 609 0 0 0 76 13 0 0 20 0 22 0 27576151 10060525568 364856 33554432000 1073741824 1073778376 140734250087520 140517709478824 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24325/tid=24333] ppid=24322 vsize=9824732 CPUtime=0.79 cores=1,3,5,7
/proc/24325/task/24333/stat : 24333 (java) S 24322 24325 20157 0 -1 4202560 544 0 0 0 68 11 0 0 20 0 22 0 27576151 10060525568 364856 33554432000 1073741824 1073778376 140734250087520 140517708426280 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24325/tid=24334] ppid=24322 vsize=9824732 CPUtime=0.8 cores=1,3,5,7
/proc/24325/task/24334/stat : 24334 (java) S 24322 24325 20157 0 -1 4202560 569 0 0 0 68 12 0 0 20 0 22 0 27576151 10060525568 364856 33554432000 1073741824 1073778376 140734250087520 140517371275944 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24325/tid=24335] ppid=24322 vsize=9824732 CPUtime=0.89 cores=1,3,5,7
/proc/24325/task/24335/stat : 24335 (java) S 24322 24325 20157 0 -1 4202560 743 0 0 0 76 13 0 0 20 0 22 0 27576151 10060525568 364856 33554432000 1073741824 1073778376 140734250087520 140517370223400 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24325/tid=24336] ppid=24322 vsize=9824732 CPUtime=0.88 cores=1,3,5,7
/proc/24325/task/24336/stat : 24336 (java) S 24322 24325 20157 0 -1 4202560 1245 0 0 0 69 19 0 0 20 0 22 0 27576152 10060525568 364856 33554432000 1073741824 1073778376 140734250087520 140517358025064 214540793769 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24325/tid=24337] ppid=24322 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/24325/task/24337/stat : 24337 (java) S 24322 24325 20157 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 27576152 10060525568 364856 33554432000 1073741824 1073778376 140734250087520 140517356971384 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24325/tid=24338] ppid=24322 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/24325/task/24338/stat : 24338 (java) S 24322 24325 20157 0 -1 4202560 46 0 0 0 0 0 0 0 20 0 22 0 27576152 10060525568 364856 33554432000 1073741824 1073778376 140734250087520 140517355918216 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24325/tid=24339] ppid=24322 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/24325/task/24339/stat : 24339 (java) S 24322 24325 20157 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 27576155 10060525568 364856 33554432000 1073741824 1073778376 140734250087520 140517354866960 214540801824 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24325/tid=24340] ppid=24322 vsize=9824732 CPUtime=1.06 cores=1,3,5,7
/proc/24325/task/24340/stat : 24340 (java) S 24322 24325 20157 0 -1 4202560 8803 0 0 0 104 2 0 0 20 0 22 0 27576155 10060525568 364856 33554432000 1073741824 1073778376 140734250087520 140517353814840 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24325/tid=24341] ppid=24322 vsize=9824732 CPUtime=1.04 cores=1,3,5,7
/proc/24325/task/24341/stat : 24341 (java) S 24322 24325 20157 0 -1 4202560 9765 0 0 0 103 1 0 0 20 0 22 0 27576155 10060525568 364856 33554432000 1073741824 1073778376 140734250087520 140517352762296 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24325/tid=24342] ppid=24322 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/24325/task/24342/stat : 24342 (java) S 24322 24325 20157 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 27576155 10060525568 364856 33554432000 1073741824 1073778376 140734250087520 140517351709432 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24325/tid=24343] ppid=24322 vsize=9824732 CPUtime=0.27 cores=1,3,5,7
/proc/24325/task/24343/stat : 24343 (java) S 24322 24325 20157 0 -1 4202560 53 0 0 0 9 18 0 0 20 0 22 0 27576155 10060525568 364856 33554432000 1073741824 1073778376 140734250087520 140517350657096 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24325/tid=24491] ppid=24322 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/24325/task/24491/stat : 24491 (java) S 24322 24325 20157 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 27602625 10060525568 364856 33554432000 1073741824 1073778376 140734250087520 140517346444072 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24325/tid=24881] ppid=24322 vsize=9824732 CPUtime=21.96 cores=1,3,5,7
/proc/24325/task/24881/stat : 24881 (java) R 24322 24325 20157 0 -1 4202560 3 0 0 0 2196 0 0 0 20 0 22 0 27667413 10060525568 364856 33554432000 1073741824 1073778376 140734250087520 140517347487472 140517724144292 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=24325/tid=24882] ppid=24322 vsize=9824732 CPUtime=21.97 cores=1,3,5,7
/proc/24325/task/24882/stat : 24882 (java) R 24322 24325 20157 0 -1 4202560 4 0 0 0 2197 0 0 0 20 0 22 0 27667413 10060525568 364856 33554432000 1073741824 1073778376 140734250087520 140517349601104 140517724203715 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=24325/tid=24883] ppid=24322 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/24325/task/24883/stat : 24883 (java) S 24322 24325 20157 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 27667413 10060525568 364856 33554432000 1073741824 1073778376 140734250087520 140517348550312 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1797.63
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 24325 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+934.701 s]
/proc/loadavg: 3.65 3.44 3.73 6/219 24883
/proc/meminfo: memFree=27789600/32872528 swapFree=1191052/1305516
[pid=24325] ppid=24322 vsize=9824732 CPUtime=1797.63 cores=1,3,5,7
/proc/24325/stat : 24325 (java) S 24322 24325 20157 0 -1 4202496 31938 0 1 0 179433 330 0 0 20 0 22 0 27576149 10060525568 364856 33554432000 1073741824 1073778376 140734250087520 140734250078656 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/24325/statm: 2456183 364856 2294 9 0 2446860 0
[pid=24325/tid=24327] ppid=24322 vsize=9824732 CPUtime=0.27 cores=1,3,5,7
/proc/24325/task/24327/stat : 24327 (java) S 24322 24325 20157 0 -1 4202560 2420 0 1 0 24 3 0 0 20 0 22 0 27576150 10060525568 364856 33554432000 1073741824 1073778376 140734250087520 140517869945720 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24325/tid=24328] ppid=24322 vsize=9824732 CPUtime=0.94 cores=1,3,5,7
/proc/24325/task/24328/stat : 24328 (java) S 24322 24325 20157 0 -1 4202560 1526 0 0 0 80 14 0 0 20 0 22 0 27576151 10060525568 364856 33554432000 1073741824 1073778376 140734250087520 140517842397608 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24325/tid=24329] ppid=24322 vsize=9824732 CPUtime=0.93 cores=1,3,5,7
/proc/24325/task/24329/stat : 24329 (java) S 24322 24325 20157 0 -1 4202560 671 0 0 0 79 14 0 0 20 0 22 0 27576151 10060525568 364856 33554432000 1073741824 1073778376 140734250087520 140517712636456 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24325/tid=24330] ppid=24322 vsize=9824732 CPUtime=0.91 cores=1,3,5,7
/proc/24325/task/24330/stat : 24330 (java) S 24322 24325 20157 0 -1 4202560 1310 0 0 0 77 14 0 0 20 0 22 0 27576151 10060525568 364856 33554432000 1073741824 1073778376 140734250087520 140517711583400 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24325/tid=24331] ppid=24322 vsize=9824732 CPUtime=0.9 cores=1,3,5,7
/proc/24325/task/24331/stat : 24331 (java) S 24322 24325 20157 0 -1 4202560 869 0 0 0 76 14 0 0 20 0 22 0 27576151 10060525568 364856 33554432000 1073741824 1073778376 140734250087520 140517710530856 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24325/tid=24332] ppid=24322 vsize=9824732 CPUtime=0.89 cores=1,3,5,7
/proc/24325/task/24332/stat : 24332 (java) S 24322 24325 20157 0 -1 4202560 609 0 0 0 76 13 0 0 20 0 22 0 27576151 10060525568 364856 33554432000 1073741824 1073778376 140734250087520 140517709478824 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24325/tid=24333] ppid=24322 vsize=9824732 CPUtime=0.79 cores=1,3,5,7
/proc/24325/task/24333/stat : 24333 (java) S 24322 24325 20157 0 -1 4202560 544 0 0 0 68 11 0 0 20 0 22 0 27576151 10060525568 364856 33554432000 1073741824 1073778376 140734250087520 140517708426280 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24325/tid=24334] ppid=24322 vsize=9824732 CPUtime=0.8 cores=1,3,5,7
/proc/24325/task/24334/stat : 24334 (java) S 24322 24325 20157 0 -1 4202560 569 0 0 0 68 12 0 0 20 0 22 0 27576151 10060525568 364856 33554432000 1073741824 1073778376 140734250087520 140517371275944 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24325/tid=24335] ppid=24322 vsize=9824732 CPUtime=0.89 cores=1,3,5,7
/proc/24325/task/24335/stat : 24335 (java) S 24322 24325 20157 0 -1 4202560 743 0 0 0 76 13 0 0 20 0 22 0 27576151 10060525568 364856 33554432000 1073741824 1073778376 140734250087520 140517370223400 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24325/tid=24336] ppid=24322 vsize=9824732 CPUtime=0.88 cores=1,3,5,7
/proc/24325/task/24336/stat : 24336 (java) S 24322 24325 20157 0 -1 4202560 1245 0 0 0 69 19 0 0 20 0 22 0 27576152 10060525568 364856 33554432000 1073741824 1073778376 140734250087520 140517358025064 214540793769 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24325/tid=24337] ppid=24322 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/24325/task/24337/stat : 24337 (java) S 24322 24325 20157 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 27576152 10060525568 364856 33554432000 1073741824 1073778376 140734250087520 140517356971384 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24325/tid=24338] ppid=24322 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/24325/task/24338/stat : 24338 (java) S 24322 24325 20157 0 -1 4202560 46 0 0 0 0 0 0 0 20 0 22 0 27576152 10060525568 364856 33554432000 1073741824 1073778376 140734250087520 140517355918216 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24325/tid=24339] ppid=24322 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/24325/task/24339/stat : 24339 (java) S 24322 24325 20157 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 27576155 10060525568 364856 33554432000 1073741824 1073778376 140734250087520 140517354866960 214540801824 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24325/tid=24340] ppid=24322 vsize=9824732 CPUtime=1.06 cores=1,3,5,7
/proc/24325/task/24340/stat : 24340 (java) S 24322 24325 20157 0 -1 4202560 8803 0 0 0 104 2 0 0 20 0 22 0 27576155 10060525568 364856 33554432000 1073741824 1073778376 140734250087520 140517353814840 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24325/tid=24341] ppid=24322 vsize=9824732 CPUtime=1.04 cores=1,3,5,7
/proc/24325/task/24341/stat : 24341 (java) S 24322 24325 20157 0 -1 4202560 9765 0 0 0 103 1 0 0 20 0 22 0 27576155 10060525568 364856 33554432000 1073741824 1073778376 140734250087520 140517352762296 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24325/tid=24342] ppid=24322 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/24325/task/24342/stat : 24342 (java) S 24322 24325 20157 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 27576155 10060525568 364856 33554432000 1073741824 1073778376 140734250087520 140517351709432 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24325/tid=24343] ppid=24322 vsize=9824732 CPUtime=0.27 cores=1,3,5,7
/proc/24325/task/24343/stat : 24343 (java) S 24322 24325 20157 0 -1 4202560 53 0 0 0 9 18 0 0 20 0 22 0 27576155 10060525568 364856 33554432000 1073741824 1073778376 140734250087520 140517350657096 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24325/tid=24491] ppid=24322 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/24325/task/24491/stat : 24491 (java) S 24322 24325 20157 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 27602625 10060525568 364856 33554432000 1073741824 1073778376 140734250087520 140517346444072 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24325/tid=24881] ppid=24322 vsize=9824732 CPUtime=21.96 cores=1,3,5,7
/proc/24325/task/24881/stat : 24881 (java) R 24322 24325 20157 0 -1 4202560 3 0 0 0 2196 0 0 0 20 0 22 0 27667413 10060525568 364856 33554432000 1073741824 1073778376 140734250087520 140517347487472 140517724144292 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=24325/tid=24882] ppid=24322 vsize=9824732 CPUtime=21.97 cores=1,3,5,7
/proc/24325/task/24882/stat : 24882 (java) R 24322 24325 20157 0 -1 4202560 4 0 0 0 2197 0 0 0 20 0 22 0 27667413 10060525568 364856 33554432000 1073741824 1073778376 140734250087520 140517349601104 140517724203715 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=24325/tid=24883] ppid=24322 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/24325/task/24883/stat : 24883 (java) S 24322 24325 20157 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 27667413 10060525568 364856 33554432000 1073741824 1073778376 140734250087520 140517348550312 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1797.63
Current children cumulated vsize (KiB) 9824732

Child status: 143

# 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): 2.40005
#  lost CPU user time (s): 2.61004
#  lost CPU system time (s): -0.21

Real time (s): 934.755
CPU time (s): 1800.22
CPU user time (s): 1796.89
CPU system time (s): 3.33246
CPU usage (%): 192.588
Max. virtual memory (cumulated for all children) (KiB): 9824732

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.28
system time used= 3.54246
maximum resident set size= 1748888
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 31980
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= 29135
involuntary context switches= 23643

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.29004 second user time and 6.90995 second system time

The end

Launcher Data 

Begin job on node127 at 2016-06-18 15:08:15
IDJOB=4105570
IDBENCH=2904
IDSOLVER=2543
FILE ID=node127/4105570-1466255295
RUNJOBID= node127-1466241741-20174
PBS_JOBID= 19918213
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_8_70_4.opb
COMMAND LINE= java -jar sat4j-pb.jar Both BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4105570-1466255295/watcher-4105570-1466255295 -o /tmp/evaluation-result-4105570-1466255295/solver-4105570-1466255295 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node127-1466241741-20174 --watchdog 1960  java -jar sat4j-pb.jar Both HOME/instance-4105570-1466255295.opb

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

MD5SUM BENCH= 87341d3e4752b9f90faef0f8d9385430
RANDOM SEED=172096008

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

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

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

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.769
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		: 2666.769
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.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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

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

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.769
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:        28888532 kB
Buffers:           69988 kB
Cached:           213688 kB
SwapCached:          516 kB
Active:          1682648 kB
Inactive:         228716 kB
Active(anon):    1627224 kB
Inactive(anon):     3076 kB
Active(file):      55424 kB
Inactive(file):   225640 kB
Unevictable:     1305516 kB
Mlocked:         1191052 kB
SwapTotal:      67108856 kB
SwapFree:       67100260 kB
Dirty:               876 kB
Writeback:             0 kB
AnonPages:       2961800 kB
Mapped:            14560 kB
Shmem:                 0 kB
Slab:             603448 kB
SReclaimable:      47312 kB
SUnreclaim:       556136 kB
KernelStack:        1584 kB
PageTables:         9924 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    3518636 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1718272 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71736 MiB
End job on node127 at 2016-06-18 15:23:50