0.05/0.11	c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS
0.05/0.11	c This is free software under the dual EPL/GNU LGPL licenses.
0.05/0.11	c See www.sat4j.org for details.
0.05/0.11	c version PB16.v20160501
0.05/0.11	c java.runtime.name	Java(TM) SE Runtime Environment
0.05/0.11	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.05/0.11	c java.vm.version	19.1-b02
0.05/0.11	c java.vm.vendor	Sun Microsystems Inc.
0.05/0.11	c sun.arch.data.model	64
0.05/0.11	c java.version		1.6.0_24
0.05/0.11	c os.name		Linux
0.05/0.11	c os.version		2.6.32-71.29.1.el6.x86_64
0.05/0.11	c os.arch		amd64
0.05/0.11	c Free memory 		501472288
0.05/0.11	c Max memory 		7480803328
0.05/0.11	c Total memory 		504102912
0.05/0.11	c Number of processors 	8
0.05/0.13	c Pseudo Boolean Optimization by upper bound
0.05/0.13	c --- Begin Solver configuration ---
0.05/0.13	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@587bd9f2
0.05/0.13	c Learn all clauses as in MiniSAT
0.05/0.13	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.05/0.13	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.05/0.13	c No reason simplification
0.05/0.13	c Glucose 2.1 dynamic restart strategy
0.05/0.13	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.05/0.13	c timeout=2147483s
0.05/0.13	c DB Simplification allowed=false
0.05/0.13	c Listener: org.sat4j.minisat.core.VoidTracing@4e3eca90
0.05/0.13	c --- End Solver configuration ---
0.05/0.14	c solving HOME/instance-4118335-1467227736.opb
0.05/0.14	c reading problem ... 
0.05/0.14	c  objective function found
0.41/0.37	c ... done. Wall clock time 0.233s.
0.41/0.37	c declared #vars     2036
0.41/0.37	c #constraints  3952
0.41/0.37	c constraints type 
0.41/0.37	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 1976
0.41/0.37	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 1976
0.41/0.37	c 3952 constraints processed.
0.41/0.37	c objective function length is 2036 literals
0.68/0.41	c SATISFIABLE
0.68/0.41	c OPTIMIZING...
0.68/0.41	c Got one! Elapsed wall clock time (in seconds):0.276
0.68/0.41	o 0
0.68/0.45	c Got one! Elapsed wall clock time (in seconds):0.31
0.68/0.45	o -21
0.68/0.49	c Got one! Elapsed wall clock time (in seconds):0.359
0.68/0.49	o -42
0.97/0.54	c Got one! Elapsed wall clock time (in seconds):0.401
0.97/0.54	o -68
0.97/0.57	c Got one! Elapsed wall clock time (in seconds):0.432
0.97/0.57	o -93
1.27/0.60	c Got one! Elapsed wall clock time (in seconds):0.469
1.27/0.60	o -94
1.27/0.61	c Got one! Elapsed wall clock time (in seconds):0.48
1.27/0.61	o -117
1.27/0.63	c Got one! Elapsed wall clock time (in seconds):0.491
1.27/0.63	o -122
1.27/0.64	c Got one! Elapsed wall clock time (in seconds):0.501
1.27/0.64	o -123
1.27/0.65	c Got one! Elapsed wall clock time (in seconds):0.51
1.27/0.65	o -126
1.27/0.66	c Got one! Elapsed wall clock time (in seconds):0.521
1.27/0.66	o -149
1.27/0.67	c Got one! Elapsed wall clock time (in seconds):0.534
1.27/0.67	o -152
1.27/0.68	c Got one! Elapsed wall clock time (in seconds):0.541
1.27/0.68	o -155
1.27/0.68	c Got one! Elapsed wall clock time (in seconds):0.548
1.27/0.68	o -158
1.27/0.69	c Got one! Elapsed wall clock time (in seconds):0.555
1.27/0.69	o -160
1.57/0.70	c Got one! Elapsed wall clock time (in seconds):0.564
1.57/0.70	o -179
1.57/0.70	c Got one! Elapsed wall clock time (in seconds):0.568
1.57/0.70	o -181
1.57/0.71	c Got one! Elapsed wall clock time (in seconds):0.572
1.57/0.71	o -183
1.57/0.71	c Got one! Elapsed wall clock time (in seconds):0.575
1.57/0.71	o -185
1.57/0.71	c Got one! Elapsed wall clock time (in seconds):0.579
1.57/0.71	o -186
1.57/0.72	c Got one! Elapsed wall clock time (in seconds):0.583
1.57/0.72	o -191
1.57/0.74	c Got one! Elapsed wall clock time (in seconds):0.6
1.57/0.74	o -197
1.57/0.78	c Got one! Elapsed wall clock time (in seconds):0.641
1.57/0.78	o -217
1.57/0.79	c Got one! Elapsed wall clock time (in seconds):0.65
1.57/0.79	o -219
1.57/0.79	c Got one! Elapsed wall clock time (in seconds):0.654
1.57/0.79	o -224
1.80/0.80	c Got one! Elapsed wall clock time (in seconds):0.662
1.80/0.80	o -252
1.80/0.83	c Got one! Elapsed wall clock time (in seconds):0.697
1.80/0.83	o -256
1.80/0.84	c Got one! Elapsed wall clock time (in seconds):0.701
1.80/0.84	o -257
1.80/0.84	c Got one! Elapsed wall clock time (in seconds):0.708
1.80/0.84	o -261
1.80/0.88	c Got one! Elapsed wall clock time (in seconds):0.748
1.80/0.88	o -265
1.80/0.89	c Got one! Elapsed wall clock time (in seconds):0.752
1.80/0.89	o -267
1.80/0.89	c Got one! Elapsed wall clock time (in seconds):0.755
1.80/0.89	o -273
1.80/0.89	c Got one! Elapsed wall clock time (in seconds):0.758
1.80/0.89	o -274
1.90/0.90	c Got one! Elapsed wall clock time (in seconds):0.762
1.90/0.90	o -277
1.90/0.90	c Got one! Elapsed wall clock time (in seconds):0.768
1.90/0.90	o -278
1.90/0.91	c Got one! Elapsed wall clock time (in seconds):0.775
1.90/0.91	o -280
1.90/0.92	c Got one! Elapsed wall clock time (in seconds):0.783
1.90/0.92	o -281
1.90/0.92	c Got one! Elapsed wall clock time (in seconds):0.787
1.90/0.92	o -282
1.90/0.93	c Got one! Elapsed wall clock time (in seconds):0.792
1.90/0.93	o -283
1.90/0.93	c Got one! Elapsed wall clock time (in seconds):0.795
1.90/0.93	o -284
1.90/0.93	c Got one! Elapsed wall clock time (in seconds):0.798
1.90/0.93	o -285
1.90/0.94	c Got one! Elapsed wall clock time (in seconds):0.807
1.90/0.94	o -289
1.90/0.96	c Got one! Elapsed wall clock time (in seconds):0.821
1.90/0.96	o -290
1.90/0.96	c Got one! Elapsed wall clock time (in seconds):0.825
1.90/0.96	o -308
2.00/1.03	c Got one! Elapsed wall clock time (in seconds):0.891
2.00/1.03	o -313
2.00/1.05	c Got one! Elapsed wall clock time (in seconds):0.915
2.00/1.05	o -314
2.00/1.07	c Got one! Elapsed wall clock time (in seconds):0.936
2.00/1.07	o -315
2.00/1.07	c Got one! Elapsed wall clock time (in seconds):0.939
2.00/1.07	o -316
2.00/1.09	c Got one! Elapsed wall clock time (in seconds):0.955
2.00/1.09	o -320
2.10/1.12	c Got one! Elapsed wall clock time (in seconds):0.981
2.10/1.12	o -321
2.10/1.12	c Got one! Elapsed wall clock time (in seconds):0.985
2.10/1.12	o -322
2.10/1.12	c Got one! Elapsed wall clock time (in seconds):0.988
2.10/1.12	o -338
2.20/1.26	c Got one! Elapsed wall clock time (in seconds):1.121
2.20/1.26	o -344
2.29/1.30	c Got one! Elapsed wall clock time (in seconds):1.169
2.29/1.30	o -345
2.29/1.33	c Got one! Elapsed wall clock time (in seconds):1.194
2.29/1.33	o -348
2.29/1.36	c Got one! Elapsed wall clock time (in seconds):1.224
2.29/1.36	o -350
2.39/1.41	c Got one! Elapsed wall clock time (in seconds):1.275
2.39/1.41	o -353
2.39/1.42	c Got one! Elapsed wall clock time (in seconds):1.281
2.39/1.42	o -354
2.39/1.44	c Got one! Elapsed wall clock time (in seconds):1.305
2.39/1.44	o -358
2.74/1.70	c Got one! Elapsed wall clock time (in seconds):1.565
2.74/1.70	o -365
2.74/1.73	c Got one! Elapsed wall clock time (in seconds):1.591
2.74/1.73	o -368
2.74/1.73	c Got one! Elapsed wall clock time (in seconds):1.595
2.74/1.73	o -369
2.74/1.73	c Got one! Elapsed wall clock time (in seconds):1.599
2.74/1.73	o -372
2.74/1.77	c Got one! Elapsed wall clock time (in seconds):1.638
2.74/1.77	o -375
2.87/1.84	c Got one! Elapsed wall clock time (in seconds):1.702
2.87/1.84	o -376
2.87/1.85	c Got one! Elapsed wall clock time (in seconds):1.717
2.87/1.85	o -377
2.87/1.86	c Got one! Elapsed wall clock time (in seconds):1.724
2.87/1.86	o -378
2.87/1.87	c Got one! Elapsed wall clock time (in seconds):1.739
2.87/1.87	o -381
2.97/1.95	c Got one! Elapsed wall clock time (in seconds):1.811
2.97/1.95	o -384
3.07/2.03	c Got one! Elapsed wall clock time (in seconds):1.892
3.07/2.03	o -386
3.07/2.04	c Got one! Elapsed wall clock time (in seconds):1.902
3.07/2.04	o -391
3.67/2.61	c Got one! Elapsed wall clock time (in seconds):2.471
3.67/2.61	o -399
3.67/2.64	c Got one! Elapsed wall clock time (in seconds):2.502
3.67/2.64	o -401
3.67/2.65	c Got one! Elapsed wall clock time (in seconds):2.519
3.67/2.65	o -402
3.67/2.68	c Got one! Elapsed wall clock time (in seconds):2.545
3.67/2.68	o -404
3.80/2.72	c Got one! Elapsed wall clock time (in seconds):2.581
3.80/2.72	o -405
3.80/2.73	c Got one! Elapsed wall clock time (in seconds):2.594
3.80/2.73	o -408
3.89/2.85	c Got one! Elapsed wall clock time (in seconds):2.717
3.89/2.85	o -410
3.99/2.96	c Got one! Elapsed wall clock time (in seconds):2.822
3.99/2.96	o -413
4.09/3.06	c Got one! Elapsed wall clock time (in seconds):2.926
4.09/3.06	o -418
4.50/3.34	c cleaning 6448 clauses out of 12895 with flag 2008/12895
4.50/3.36	c Got one! Elapsed wall clock time (in seconds):3.226
4.50/3.36	o -596
5.52/4.32	c cleaning 5776 clauses out of 11552 with flag 10001/18000
5.63/4.42	c Got one! Elapsed wall clock time (in seconds):4.284
5.63/4.42	o -616
6.43/5.26	c Got one! Elapsed wall clock time (in seconds):5.129
6.43/5.26	o -618
6.63/5.42	c Got one! Elapsed wall clock time (in seconds):5.288
6.63/5.42	o -633
6.83/5.65	c cleaning 6345 clauses out of 12691 with flag 2003/24915
8.05/6.81	c cleaning 6173 clauses out of 12346 with flag 14003/30915
8.45/7.21	c Got one! Elapsed wall clock time (in seconds):7.078
8.45/7.21	o -634
8.96/7.80	c cleaning 5709 clauses out of 11419 with flag 6006/36161
9.35/8.19	c Got one! Elapsed wall clock time (in seconds):8.05
9.35/8.19	o -637
9.96/8.74	c Got one! Elapsed wall clock time (in seconds):8.601
9.96/8.74	o -649
10.28/8.91	c Got one! Elapsed wall clock time (in seconds):8.775
10.28/8.91	o -652
10.28/8.94	c Got one! Elapsed wall clock time (in seconds):8.801
10.28/8.94	o -654
10.38/9.06	c Got one! Elapsed wall clock time (in seconds):8.923
10.38/9.06	o -657
10.48/9.13	c Got one! Elapsed wall clock time (in seconds):8.993
10.48/9.13	o -659
10.58/9.28	c Got one! Elapsed wall clock time (in seconds):9.148
10.58/9.28	o -660
10.68/9.30	c Got one! Elapsed wall clock time (in seconds):9.163
10.68/9.30	o -662
10.68/9.35	c Got one! Elapsed wall clock time (in seconds):9.218
10.68/9.35	o -830
10.88/9.56	c cleaning 7396 clauses out of 14794 with flag 2001/45245
11.98/10.68	c cleaning 6699 clauses out of 13399 with flag 14003/51246
12.98/11.62	c Got one! Elapsed wall clock time (in seconds):11.481
12.98/11.62	o -832
13.98/12.63	c cleaning 8462 clauses out of 16928 with flag 10004/61474
14.68/13.33	c Got one! Elapsed wall clock time (in seconds):13.193
14.68/13.33	o -833
15.08/13.74	c cleaning 7143 clauses out of 14285 with flag 4005/67293
15.89/14.40	c Got one! Elapsed wall clock time (in seconds):14.269
15.89/14.40	o -836
16.29/14.82	c cleaning 6232 clauses out of 12463 with flag 4006/72614
16.39/14.97	c Got one! Elapsed wall clock time (in seconds):14.838
16.39/14.97	o -839
16.49/15.00	c Got one! Elapsed wall clock time (in seconds):14.866
16.49/15.00	o -845
16.49/15.02	c Got one! Elapsed wall clock time (in seconds):14.881
16.49/15.02	o -846
16.49/15.04	c Got one! Elapsed wall clock time (in seconds):14.903
16.49/15.04	o -848
16.49/15.07	c Got one! Elapsed wall clock time (in seconds):14.936
16.49/15.07	o -849
16.49/15.08	c Got one! Elapsed wall clock time (in seconds):14.948
16.49/15.08	o -852
16.59/15.19	c Got one! Elapsed wall clock time (in seconds):15.059
16.59/15.19	o -854
16.69/15.29	c Got one! Elapsed wall clock time (in seconds):15.155
16.69/15.29	o -857
16.79/15.38	c Got one! Elapsed wall clock time (in seconds):15.25
16.79/15.38	o -860
17.00/15.56	c Got one! Elapsed wall clock time (in seconds):15.426
17.00/15.56	o -862
18.09/16.61	c cleaning 7557 clauses out of 15123 with flag 10037/81506
19.29/17.81	c cleaning 6783 clauses out of 13567 with flag 22039/87507
20.69/19.22	c cleaning 6891 clauses out of 13783 with flag 36037/94506
21.38/19.81	c Got one! Elapsed wall clock time (in seconds):19.674
21.38/19.81	o -872
21.68/20.19	c cleaning 5956 clauses out of 11915 with flag 4001/99529
22.87/21.30	c cleaning 5978 clauses out of 11959 with flag 16001/105529
23.77/22.23	c Got one! Elapsed wall clock time (in seconds):22.096
23.77/22.23	o -879
24.78/23.24	c cleaning 8049 clauses out of 16102 with flag 10014/115650
25.07/23.53	c Got one! Elapsed wall clock time (in seconds):23.394
25.07/23.53	o -881
25.88/24.34	c cleaning 6815 clauses out of 13634 with flag 8004/121231
25.97/24.48	c Got one! Elapsed wall clock time (in seconds):24.342
25.97/24.48	o -884
26.47/24.93	c Got one! Elapsed wall clock time (in seconds):24.797
26.47/24.93	o -887
26.73/25.19	c Got one! Elapsed wall clock time (in seconds):25.054
26.73/25.19	o -889
26.94/25.34	c Got one! Elapsed wall clock time (in seconds):25.204
26.94/25.34	o -892
27.14/25.51	c Got one! Elapsed wall clock time (in seconds):25.378
27.14/25.51	o -894
27.24/25.60	c Got one! Elapsed wall clock time (in seconds):25.466
27.24/25.60	o -905
27.63/26.00	c cleaning 7578 clauses out of 15164 with flag 4001/129576
28.73/27.10	c cleaning 6791 clauses out of 13587 with flag 16003/135577
29.63/28.07	c Got one! Elapsed wall clock time (in seconds):27.93
29.63/28.07	o -906
30.63/29.05	c cleaning 8599 clauses out of 17199 with flag 10004/145980
30.73/29.16	c Got one! Elapsed wall clock time (in seconds):29.029
30.73/29.16	o -908
31.73/30.17	c cleaning 7126 clauses out of 14261 with flag 10005/151641
31.96/30.20	c Got one! Elapsed wall clock time (in seconds):30.065
31.96/30.20	o -912
32.57/30.90	c Got one! Elapsed wall clock time (in seconds):30.765
32.57/30.90	o -916
32.76/31.05	c Got one! Elapsed wall clock time (in seconds):30.913
32.76/31.05	o -918
32.86/31.16	c Got one! Elapsed wall clock time (in seconds):31.027
32.86/31.16	o -920
33.26/31.58	c cleaning 7281 clauses out of 14566 with flag 4005/159072
34.36/32.67	c Got one! Elapsed wall clock time (in seconds):32.539
34.36/32.67	o -922
35.46/33.74	c cleaning 9122 clauses out of 18248 with flag 10006/170035
35.46/33.78	c Got one! Elapsed wall clock time (in seconds):33.645
35.46/33.78	o -928
36.06/34.34	c Got one! Elapsed wall clock time (in seconds):34.206
36.06/34.34	o -930
36.36/34.61	c Got one! Elapsed wall clock time (in seconds):34.474
36.36/34.61	o -931
36.36/34.68	c Got one! Elapsed wall clock time (in seconds):34.543
36.36/34.68	o -932
36.36/34.69	c Got one! Elapsed wall clock time (in seconds):34.551
36.36/34.69	o -934
36.66/34.90	c cleaning 7561 clauses out of 15138 with flag 2055/176047
37.84/36.05	c cleaning 6786 clauses out of 13578 with flag 14057/182048
39.14/37.35	c cleaning 6890 clauses out of 13791 with flag 28055/189047
40.64/38.85	c cleaning 7446 clauses out of 14901 with flag 44055/197047
42.51/40.64	c cleaning 8222 clauses out of 16456 with flag 62057/206048
44.41/42.51	c cleaning 9117 clauses out of 18233 with flag 82055/216047
44.82/42.91	c Got one! Elapsed wall clock time (in seconds):42.776
44.82/42.91	o -935
45.31/43.47	c cleaning 7214 clauses out of 14439 with flag 6001/221370
46.41/44.57	c cleaning 6607 clauses out of 13226 with flag 18003/227371
47.77/45.86	c cleaning 6807 clauses out of 13619 with flag 32003/234371
49.28/47.32	c cleaning 7404 clauses out of 14811 with flag 48001/242370
50.97/49.00	c cleaning 8201 clauses out of 16407 with flag 66001/251370
52.94/50.95	c cleaning 9097 clauses out of 18206 with flag 86001/261370
55.13/53.13	c cleaning 10052 clauses out of 20109 with flag 108001/272370
57.84/55.70	c cleaning 11028 clauses out of 22057 with flag 132001/284370
60.34/58.29	c cleaning 12012 clauses out of 24029 with flag 158001/297370
63.56/61.36	c cleaning 13004 clauses out of 26018 with flag 186003/311371
65.16/62.90	c Got one! Elapsed wall clock time (in seconds):62.767
65.16/62.90	o -936
66.26/64.04	c cleaning 12850 clauses out of 25707 with flag 10002/324064
67.69/65.32	c cleaning 9425 clauses out of 18858 with flag 22004/330065
68.99/66.67	c cleaning 8213 clauses out of 16432 with flag 36002/337064
70.49/68.15	c cleaning 8105 clauses out of 16219 with flag 52002/345064
71.80/69.48	c Got one! Elapsed wall clock time (in seconds):69.344
71.80/69.48	o -939
72.90/70.51	c cleaning 10055 clauses out of 20111 with flag 10068/357061
72.90/70.53	c Got one! Elapsed wall clock time (in seconds):70.397
72.90/70.53	o -940
73.79/71.49	c cleaning 7578 clauses out of 15164 with flag 10004/362169
73.90/71.58	c Got one! Elapsed wall clock time (in seconds):71.446
73.90/71.58	o -947
74.59/72.26	c Got one! Elapsed wall clock time (in seconds):72.125
74.59/72.26	o -948
74.79/72.47	c Got one! Elapsed wall clock time (in seconds):72.337
74.79/72.47	o -950
74.89/72.55	c Got one! Elapsed wall clock time (in seconds):72.412
74.89/72.55	o -951
75.10/72.77	c cleaning 7275 clauses out of 14553 with flag 2006/369136
76.22/73.87	c cleaning 6637 clauses out of 13278 with flag 14006/375136
76.51/74.16	c Got one! Elapsed wall clock time (in seconds):74.022
76.51/74.16	o -953
77.22/74.88	c cleaning 6169 clauses out of 12342 with flag 8007/380837
77.51/75.11	c Got one! Elapsed wall clock time (in seconds):74.973
77.51/75.11	o -956
77.91/75.53	c Got one! Elapsed wall clock time (in seconds):75.393
77.91/75.53	o -959
78.11/75.74	c Got one! Elapsed wall clock time (in seconds):75.602
78.11/75.74	o -961
78.21/75.89	c Got one! Elapsed wall clock time (in seconds):75.751
78.21/75.89	o -962
78.42/76.07	c Got one! Elapsed wall clock time (in seconds):75.93
78.42/76.07	o -964
78.42/76.09	c Got one! Elapsed wall clock time (in seconds):75.959
78.42/76.09	o -966
78.61/76.29	c cleaning 6996 clauses out of 14003 with flag 2026/388667
79.72/77.39	c cleaning 6499 clauses out of 13006 with flag 14024/394666
81.02/78.65	c cleaning 6751 clauses out of 13507 with flag 28024/401666
82.53/80.18	c cleaning 7378 clauses out of 14756 with flag 44024/409666
84.34/81.91	c cleaning 8183 clauses out of 16379 with flag 62026/418667
86.24/83.83	c cleaning 9098 clauses out of 18196 with flag 82026/428667
88.56/86.11	c cleaning 10048 clauses out of 20098 with flag 104026/439667
90.96/88.56	c cleaning 11015 clauses out of 22050 with flag 128026/451667
93.80/91.36	c cleaning 12013 clauses out of 24034 with flag 154024/464666
96.75/94.29	c cleaning 13007 clauses out of 26022 with flag 182026/478667
100.13/97.55	c cleaning 14004 clauses out of 28014 with flag 212024/493666
103.73/101.17	c cleaning 15003 clauses out of 30011 with flag 244026/509667
107.67/105.01	c cleaning 15998 clauses out of 32007 with flag 278024/526666
111.73/109.04	c cleaning 17003 clauses out of 34010 with flag 314026/544667
116.35/113.51	c cleaning 18003 clauses out of 36007 with flag 352026/563667
121.20/118.39	c cleaning 19001 clauses out of 38003 with flag 392024/583666
125.68/122.75	c Got one! Elapsed wall clock time (in seconds):122.614
125.68/122.75	o -970
127.08/124.15	c cleaning 21369 clauses out of 42745 with flag 10002/607409
128.55/125.51	c cleaning 13687 clauses out of 27378 with flag 22006/613411
129.84/126.89	c cleaning 10342 clauses out of 20689 with flag 36002/620409
131.44/128.44	c cleaning 9170 clauses out of 18347 with flag 52002/628409
133.37/130.33	c cleaning 9086 clauses out of 18177 with flag 70002/637409
135.40/132.37	c cleaning 9544 clauses out of 19092 with flag 90004/647410
137.60/134.51	c cleaning 10272 clauses out of 20548 with flag 112004/658410
140.03/136.95	c cleaning 11135 clauses out of 22275 with flag 136002/670409
142.77/139.63	c cleaning 12066 clauses out of 24140 with flag 162002/683409
145.80/142.61	c cleaning 13034 clauses out of 26074 with flag 190002/697409
149.21/146.02	c cleaning 14017 clauses out of 28040 with flag 220002/712409
149.81/146.69	c Got one! Elapsed wall clock time (in seconds):146.558
149.81/146.69	o -971
150.33/147.13	c cleaning 9674 clauses out of 19362 with flag 4007/717748
151.43/148.29	c cleaning 7837 clauses out of 15686 with flag 16003/723746
152.84/149.66	c cleaning 7425 clauses out of 14850 with flag 30005/730747
152.97/149.71	c Got one! Elapsed wall clock time (in seconds):149.573
152.97/149.71	o -972
153.77/150.58	c cleaning 6358 clauses out of 12724 with flag 10006/736046
154.47/151.29	c Got one! Elapsed wall clock time (in seconds):151.155
154.47/151.29	o -975
154.67/151.48	c cleaning 5733 clauses out of 11480 with flag 2007/741160
155.70/152.42	c Got one! Elapsed wall clock time (in seconds):152.28
155.70/152.42	o -976
156.10/152.89	c Got one! Elapsed wall clock time (in seconds):152.757
156.10/152.89	o -978
156.50/153.23	c Got one! Elapsed wall clock time (in seconds):153.093
156.50/153.23	o -979
156.90/153.67	c cleaning 8583 clauses out of 17165 with flag 4004/752578
158.15/154.80	c cleaning 7287 clauses out of 14582 with flag 16004/758578
159.34/156.08	c cleaning 7148 clauses out of 14295 with flag 30004/765578
160.97/157.62	c cleaning 7570 clauses out of 15148 with flag 46006/773579
162.27/158.98	c Got one! Elapsed wall clock time (in seconds):158.842
162.27/158.98	o -982
163.51/160.13	c cleaning 9787 clauses out of 19579 with flag 10140/785580
164.02/160.67	c Got one! Elapsed wall clock time (in seconds):160.535
164.02/160.67	o -983
164.61/161.26	c cleaning 7737 clauses out of 15477 with flag 6042/791265
165.85/162.41	c cleaning 6867 clauses out of 13740 with flag 18042/797265
167.14/163.77	c cleaning 6932 clauses out of 13872 with flag 32040/804264
167.24/163.83	c Got one! Elapsed wall clock time (in seconds):163.693
167.24/163.83	o -987
168.14/164.77	c cleaning 6115 clauses out of 12238 with flag 10108/809562
169.06/165.66	c Got one! Elapsed wall clock time (in seconds):165.522
169.06/165.66	o -988
169.26/165.87	c cleaning 6002 clauses out of 12007 with flag 2063/815446
170.36/166.93	c Got one! Elapsed wall clock time (in seconds):166.79
170.36/166.93	o -990
171.49/168.00	c cleaning 8358 clauses out of 16719 with flag 10248/826160
172.59/169.15	c cleaning 7176 clauses out of 14359 with flag 22244/832158
174.02/170.52	c cleaning 7090 clauses out of 14184 with flag 36246/839159
175.55/172.08	c cleaning 7547 clauses out of 15094 with flag 52246/847159
177.15/173.68	c Got one! Elapsed wall clock time (in seconds):173.541
177.15/173.68	o -1012
178.20/174.69	c cleaning 10495 clauses out of 20999 with flag 10001/860611
179.40/175.85	c cleaning 8248 clauses out of 16505 with flag 22003/866612
180.73/177.15	c cleaning 7620 clauses out of 15257 with flag 36003/873612
182.25/178.61	c cleaning 7814 clauses out of 15637 with flag 52007/881612
183.95/180.31	c cleaning 8408 clauses out of 16822 with flag 70005/890611
185.75/182.19	c cleaning 9206 clauses out of 18415 with flag 90007/900612
188.07/184.41	c cleaning 10101 clauses out of 20209 with flag 112007/911612
190.55/186.84	c cleaning 11054 clauses out of 22107 with flag 136005/923611
193.28/189.57	c cleaning 12025 clauses out of 24053 with flag 162005/936611
196.33/192.58	c cleaning 13014 clauses out of 26029 with flag 190007/950612
199.79/195.90	c cleaning 14000 clauses out of 28014 with flag 220007/965611
203.43/199.56	c cleaning 15004 clauses out of 30015 with flag 252009/981612
207.43/203.47	c cleaning 16005 clauses out of 32011 with flag 286011/998612
211.90/207.80	c cleaning 16999 clauses out of 34006 with flag 322011/1016612
216.62/212.54	c cleaning 18002 clauses out of 36006 with flag 360009/1035611
221.49/217.38	c cleaning 19000 clauses out of 38004 with flag 400011/1055611
226.81/222.57	c cleaning 20002 clauses out of 40004 with flag 442011/1076611
232.58/228.14	c cleaning 20998 clauses out of 42003 with flag 486013/1098612
238.38/233.82	c cleaning 22000 clauses out of 44004 with flag 532011/1121611
244.94/240.28	c cleaning 22997 clauses out of 46004 with flag 580011/1145611
245.94/241.26	c Got one! Elapsed wall clock time (in seconds):241.127
245.94/241.26	o -1016
246.24/241.52	c cleaning 14300 clauses out of 28605 with flag 2004/1151209
247.37/242.69	c cleaning 10147 clauses out of 20305 with flag 14004/1157209
248.87/244.11	c cleaning 8574 clauses out of 17157 with flag 28002/1164208
250.49/245.71	c cleaning 8284 clauses out of 16583 with flag 44002/1172208
252.21/247.49	c cleaning 8645 clauses out of 17300 with flag 62006/1181209
254.36/249.55	c cleaning 9322 clauses out of 18655 with flag 82006/1191209
256.71/251.84	c cleaning 10163 clauses out of 20333 with flag 104006/1202209
259.25/254.31	c cleaning 11082 clauses out of 22169 with flag 128004/1214208
261.89/256.93	c cleaning 12040 clauses out of 24087 with flag 154004/1227208
264.80/259.82	c cleaning 13019 clauses out of 26048 with flag 182006/1241209
268.19/263.18	c cleaning 14008 clauses out of 28029 with flag 212006/1256209
271.97/266.83	c cleaning 15008 clauses out of 30021 with flag 244008/1272209
275.99/270.86	c cleaning 15999 clauses out of 32013 with flag 278008/1289209
280.80/275.58	c cleaning 17005 clauses out of 34013 with flag 314006/1307208
285.66/280.37	c cleaning 18002 clauses out of 36010 with flag 352010/1326210
291.07/285.63	c cleaning 19002 clauses out of 38007 with flag 392008/1346209
296.46/290.98	c cleaning 20003 clauses out of 40005 with flag 434008/1367209
302.36/296.79	c cleaning 21000 clauses out of 42001 with flag 478006/1389208
305.92/300.23	c Got one! Elapsed wall clock time (in seconds):300.094
305.92/300.23	o -1017
307.22/301.55	c cleaning 20362 clauses out of 40734 with flag 10006/1408941
308.44/302.78	c cleaning 13180 clauses out of 26372 with flag 22006/1414941
309.87/304.12	c cleaning 10090 clauses out of 20191 with flag 36004/1421940
311.39/305.64	c cleaning 9046 clauses out of 18102 with flag 52006/1429941
313.11/307.38	c cleaning 9027 clauses out of 18057 with flag 70008/1438942
315.04/309.26	c cleaning 9510 clauses out of 19029 with flag 90006/1448941
317.29/311.49	c cleaning 10257 clauses out of 20518 with flag 112004/1459940
319.01/313.20	c Got one! Elapsed wall clock time (in seconds):313.061
319.01/313.20	o -1018
320.11/314.28	c cleaning 11921 clauses out of 23850 with flag 10183/1473529
321.32/315.41	c cleaning 8960 clauses out of 17929 with flag 22307/1479529
321.52/315.66	c Got one! Elapsed wall clock time (in seconds):315.524
321.52/315.66	o -1020
322.24/316.39	c cleaning 7247 clauses out of 14500 with flag 8133/1485060
322.34/316.45	c Got one! Elapsed wall clock time (in seconds):316.319
322.34/316.45	o -1021
322.34/316.48	c Got one! Elapsed wall clock time (in seconds):316.344
322.34/316.48	o -1022
323.27/317.38	c cleaning 6376 clauses out of 12758 with flag 10188/1490565
324.38/318.41	c cleaning 6190 clauses out of 12382 with flag 22530/1496565
324.88/318.99	c Got one! Elapsed wall clock time (in seconds):318.855
324.88/318.99	o -1024
325.28/319.33	c cleaning 5821 clauses out of 11657 with flag 4001/1502030
326.33/320.38	c cleaning 5917 clauses out of 11836 with flag 16001/1508030
327.65/321.65	c cleaning 6457 clauses out of 12919 with flag 30001/1515030
329.16/323.10	c cleaning 7229 clauses out of 14462 with flag 46001/1523030
330.78/324.77	c cleaning 8116 clauses out of 16233 with flag 64001/1532030
332.71/326.67	c cleaning 9057 clauses out of 18118 with flag 84003/1542031
334.93/328.82	c cleaning 10028 clauses out of 20061 with flag 106003/1553031
337.37/331.23	c cleaning 11012 clauses out of 22032 with flag 130001/1565030
340.14/333.93	c cleaning 12008 clauses out of 24021 with flag 156003/1578031
343.24/336.96	c cleaning 13005 clauses out of 26012 with flag 184001/1592030
346.63/340.27	c cleaning 14002 clauses out of 28007 with flag 214001/1607030
350.40/343.92	c cleaning 15001 clauses out of 30005 with flag 246001/1623030
354.19/347.76	c cleaning 16002 clauses out of 32005 with flag 280003/1640031
358.73/352.20	c cleaning 16994 clauses out of 34002 with flag 316001/1658030
363.53/356.98	c cleaning 18000 clauses out of 36008 with flag 354001/1677030
368.71/362.01	c cleaning 18999 clauses out of 38008 with flag 394001/1697030
369.63/362.91	c Got one! Elapsed wall clock time (in seconds):362.771
369.63/362.91	o -1025
369.83/363.15	c cleaning 12048 clauses out of 24108 with flag 2002/1702129
371.03/364.32	c cleaning 9027 clauses out of 18060 with flag 14002/1708129
372.34/365.66	c cleaning 8013 clauses out of 16033 with flag 28002/1715129
373.84/367.16	c cleaning 8004 clauses out of 16021 with flag 44004/1723130
375.68/368.92	c cleaning 8505 clauses out of 17017 with flag 62004/1732130
377.63/370.84	c cleaning 9251 clauses out of 18511 with flag 82002/1742129
379.85/373.07	c cleaning 10127 clauses out of 20260 with flag 104002/1753129
382.38/375.53	c cleaning 11063 clauses out of 22134 with flag 128004/1765130
385.14/378.25	c cleaning 12034 clauses out of 24071 with flag 154004/1778130
388.20/381.26	c cleaning 13015 clauses out of 26036 with flag 182003/1792129
389.53/382.60	c Got one! Elapsed wall clock time (in seconds):382.46
389.53/382.60	o -1026
390.66/383.67	c cleaning 12337 clauses out of 24681 with flag 10103/1803789
391.88/384.84	c cleaning 9166 clauses out of 18344 with flag 22242/1809789
393.19/386.16	c cleaning 8082 clauses out of 16177 with flag 36429/1816788
394.70/387.65	c cleaning 8044 clauses out of 16096 with flag 52561/1824789
396.42/389.38	c cleaning 8521 clauses out of 17051 with flag 70587/1833788
398.47/391.33	c cleaning 9264 clauses out of 18530 with flag 90788/1843788
400.70/393.54	c cleaning 10131 clauses out of 20266 with flag 113055/1854788
402.45/395.26	c Got one! Elapsed wall clock time (in seconds):395.121
402.45/395.26	o -1036
403.45/396.27	c cleaning 12021 clauses out of 24045 with flag 10004/1868698
404.58/397.39	c cleaning 9003 clauses out of 18023 with flag 22002/1874697
405.99/398.72	c cleaning 8006 clauses out of 16020 with flag 36002/1881697
407.52/400.21	c cleaning 8002 clauses out of 16014 with flag 52002/1889697
409.21/401.95	c cleaning 8503 clauses out of 17013 with flag 70004/1898698
411.37/404.03	c cleaning 9250 clauses out of 18510 with flag 90004/1908698
413.68/406.36	c cleaning 10130 clauses out of 20259 with flag 112002/1919697
416.20/408.82	c cleaning 11062 clauses out of 22130 with flag 136004/1931698
419.05/411.66	c cleaning 12032 clauses out of 24068 with flag 162004/1944698
422.38/414.88	c cleaning 13015 clauses out of 26036 with flag 190004/1958698
425.74/418.11	c cleaning 14005 clauses out of 28020 with flag 220002/1973697
429.37/421.75	c cleaning 15008 clauses out of 30016 with flag 252004/1989698
433.36/425.62	c cleaning 16003 clauses out of 32008 with flag 286004/2006698
437.55/429.76	c cleaning 17001 clauses out of 34005 with flag 322004/2024698
442.27/434.43	c cleaning 17996 clauses out of 36003 with flag 360002/2043697
443.60/435.73	c Got one! Elapsed wall clock time (in seconds):435.59
443.60/435.73	o -1037
444.70/436.89	c cleaning 14520 clauses out of 29053 with flag 10005/2054743
445.93/438.07	c cleaning 10258 clauses out of 20532 with flag 22003/2060742
447.33/439.43	c cleaning 8632 clauses out of 17274 with flag 36003/2067742
448.85/440.90	c cleaning 8311 clauses out of 16642 with flag 52003/2075742
450.59/442.62	c cleaning 8660 clauses out of 17332 with flag 70005/2084743
452.50/444.54	c cleaning 9334 clauses out of 18672 with flag 90005/2094743
454.74/446.76	c cleaning 10165 clauses out of 20337 with flag 112003/2105742
456.65/448.61	c Got one! Elapsed wall clock time (in seconds):448.474
456.65/448.61	o -1038
457.90/449.84	c cleaning 12226 clauses out of 24455 with flag 10064/2120025
459.11/451.07	c cleaning 9107 clauses out of 18230 with flag 22066/2126026
460.53/452.45	c cleaning 8057 clauses out of 16123 with flag 36066/2133026
462.16/454.03	c cleaning 8029 clauses out of 16066 with flag 52066/2141026
463.96/455.81	c cleaning 8514 clauses out of 17036 with flag 70064/2150025
464.77/456.69	c Got one! Elapsed wall clock time (in seconds):456.558
464.77/456.69	o -1041
464.97/456.89	c cleaning 7230 clauses out of 14472 with flag 2006/2155975
466.10/457.93	c cleaning 6613 clauses out of 13241 with flag 14429/2161974
467.30/459.15	c cleaning 6808 clauses out of 13628 with flag 29022/2168974
468.84/460.61	c cleaning 7407 clauses out of 14821 with flag 45673/2176975
470.46/462.27	c cleaning 8206 clauses out of 16413 with flag 63871/2185974
471.56/463.35	c Got one! Elapsed wall clock time (in seconds):463.211
471.56/463.35	o -1042
472.70/464.44	c cleaning 9570 clauses out of 19139 with flag 10705/2196906
473.83/465.57	c cleaning 7775 clauses out of 15567 with flag 23209/2202904
475.13/466.83	c cleaning 7393 clauses out of 14793 with flag 37211/2209905
476.64/468.34	c cleaning 7696 clauses out of 15400 with flag 53211/2217905
478.46/470.15	c cleaning 8350 clauses out of 16704 with flag 71211/2226905
480.48/472.18	c cleaning 9173 clauses out of 18353 with flag 91209/2236904
482.81/474.46	c cleaning 10089 clauses out of 20181 with flag 113211/2247905
485.37/476.99	c cleaning 11044 clauses out of 22092 with flag 137211/2259905
487.21/478.75	c Got one! Elapsed wall clock time (in seconds):478.618
487.21/478.75	o -1043
488.40/479.90	c cleaning 12315 clauses out of 24636 with flag 10115/2273493
489.63/481.11	c cleaning 9159 clauses out of 18322 with flag 22164/2279494
490.95/482.45	c cleaning 8076 clauses out of 16163 with flag 36411/2286494
492.60/484.00	c cleaning 8041 clauses out of 16087 with flag 52429/2294494
492.99/484.43	c Got one! Elapsed wall clock time (in seconds):484.297
492.99/484.43	o -1045
493.59/485.00	c cleaning 6714 clauses out of 13430 with flag 6079/2299878
494.61/486.10	c cleaning 6355 clauses out of 12715 with flag 18171/2305877
495.93/487.35	c cleaning 6678 clauses out of 13360 with flag 32214/2312877
497.37/488.79	c cleaning 7338 clauses out of 14683 with flag 48315/2320878
497.67/489.08	c Got one! Elapsed wall clock time (in seconds):488.946
497.67/489.08	o -1046
498.46/489.83	c cleaning 6533 clauses out of 13072 with flag 8530/2326605
499.56/490.94	c cleaning 6269 clauses out of 12539 with flag 21137/2332605
499.66/491.03	c Got one! Elapsed wall clock time (in seconds):490.894
499.66/491.03	o -1047
499.96/491.30	c Got one! Elapsed wall clock time (in seconds):491.166
499.96/491.30	o -1049
500.18/491.53	c Got one! Elapsed wall clock time (in seconds):491.399
500.18/491.53	o -1050
500.68/492.05	c cleaning 6298 clauses out of 12602 with flag 6086/2338937
501.08/492.47	c Got one! Elapsed wall clock time (in seconds):492.334
501.08/492.47	o -1054
501.62/492.98	c cleaning 5999 clauses out of 12009 with flag 6002/2344642
502.62/493.98	c cleaning 5999 clauses out of 12010 with flag 18003/2350642
503.92/495.25	c cleaning 6506 clauses out of 13011 with flag 32003/2357642
505.42/496.71	c cleaning 7249 clauses out of 14506 with flag 48009/2365643
507.09/498.35	c cleaning 8126 clauses out of 16257 with flag 66009/2374643
509.01/500.25	c cleaning 9061 clauses out of 18131 with flag 86009/2384643
511.27/502.40	c cleaning 10034 clauses out of 20070 with flag 108009/2395643
513.60/504.75	c cleaning 11014 clauses out of 22036 with flag 132009/2407643
516.27/507.34	c cleaning 12009 clauses out of 24023 with flag 158011/2420644
519.36/510.33	c cleaning 13001 clauses out of 26013 with flag 186010/2434643
522.50/513.50	c cleaning 14005 clauses out of 28012 with flag 216010/2449643
526.34/517.21	c cleaning 14998 clauses out of 30006 with flag 248008/2465642
530.21/521.08	c cleaning 16002 clauses out of 32008 with flag 282008/2482642
534.41/525.16	c cleaning 17001 clauses out of 34007 with flag 318010/2500643
539.06/529.62	c cleaning 18000 clauses out of 36005 with flag 356014/2519642
544.14/534.65	c cleaning 19002 clauses out of 38006 with flag 396021/2539643
549.56/539.94	c cleaning 20002 clauses out of 40004 with flag 438028/2560643
555.44/545.74	c cleaning 20994 clauses out of 42001 with flag 482033/2582642
561.81/552.05	c cleaning 22002 clauses out of 44008 with flag 528036/2605643
568.24/558.37	c cleaning 22998 clauses out of 46006 with flag 576038/2629643
574.97/564.96	c cleaning 24001 clauses out of 48007 with flag 626036/2654642
582.39/572.29	c cleaning 24999 clauses out of 50007 with flag 678038/2680643
590.31/580.09	c cleaning 25998 clauses out of 52007 with flag 732038/2707642
598.28/587.93	c cleaning 27003 clauses out of 54010 with flag 788041/2735643
606.81/596.31	c cleaning 28001 clauses out of 56006 with flag 846046/2764642
615.51/604.84	c cleaning 29000 clauses out of 58005 with flag 906050/2794642
624.38/613.56	c cleaning 29999 clauses out of 60005 with flag 968050/2825642
633.93/622.87	c cleaning 31001 clauses out of 62006 with flag 1032054/2857642
643.95/632.73	c cleaning 32003 clauses out of 64005 with flag 1098070/2890642
645.70/634.46	c Got one! Elapsed wall clock time (in seconds):634.328
645.70/634.46	o -1057
647.10/635.86	c cleaning 22014 clauses out of 44041 with flag 10003/2902681
648.53/637.22	c cleaning 14007 clauses out of 28027 with flag 22003/2908681
649.93/638.65	c cleaning 10498 clauses out of 21019 with flag 36001/2915680
651.56/640.27	c cleaning 9253 clauses out of 18521 with flag 52001/2923680
653.35/642.01	c cleaning 9130 clauses out of 18269 with flag 70003/2932681
655.27/643.96	c cleaning 9563 clauses out of 19138 with flag 90001/2942680
657.49/646.16	c cleaning 10287 clauses out of 20576 with flag 112003/2953681
659.92/648.54	c cleaning 11140 clauses out of 22288 with flag 136001/2965680
662.55/651.17	c cleaning 12068 clauses out of 24148 with flag 162001/2978680
665.56/654.12	c cleaning 13039 clauses out of 26080 with flag 190001/2992680
668.93/657.50	c cleaning 14017 clauses out of 28041 with flag 220001/3007680
672.65/661.13	c cleaning 15009 clauses out of 30025 with flag 252003/3023681
676.74/665.16	c cleaning 16008 clauses out of 32016 with flag 286003/3040681
681.11/669.44	c cleaning 17005 clauses out of 34009 with flag 322005/3058682
685.79/674.02	c cleaning 17999 clauses out of 36003 with flag 360003/3077681
690.60/678.80	c cleaning 18999 clauses out of 38004 with flag 400003/3097681
695.92/683.99	c cleaning 20000 clauses out of 40005 with flag 442003/3118681
701.83/689.70	c cleaning 20996 clauses out of 42005 with flag 486003/3140681
707.49/695.36	c cleaning 22003 clauses out of 44008 with flag 532001/3163680
713.78/701.56	c cleaning 23000 clauses out of 46006 with flag 580003/3187681
720.19/707.88	c cleaning 23997 clauses out of 48005 with flag 630001/3212680
727.17/714.72	c cleaning 25002 clauses out of 50008 with flag 682001/3238680
734.80/722.20	c cleaning 26002 clauses out of 52007 with flag 736003/3265681
742.60/729.96	c cleaning 27002 clauses out of 54004 with flag 792001/3293680
751.26/738.42	c cleaning 27997 clauses out of 56003 with flag 850003/3322681
759.81/746.82	c cleaning 29003 clauses out of 58006 with flag 910003/3352681
768.72/755.68	c cleaning 29997 clauses out of 60002 with flag 972001/3383680
778.96/765.69	c cleaning 31001 clauses out of 62006 with flag 1036003/3415681
789.46/775.92	c cleaning 32003 clauses out of 64005 with flag 1102003/3448681
799.52/785.82	c cleaning 32999 clauses out of 66001 with flag 1170001/3482680
810.05/796.24	c cleaning 33996 clauses out of 68002 with flag 1240001/3517680
821.95/807.80	c cleaning 35000 clauses out of 70007 with flag 1312003/3553681
834.98/820.78	c cleaning 36002 clauses out of 72007 with flag 1386003/3590681
848.55/834.18	c cleaning 36997 clauses out of 74004 with flag 1462001/3628680
862.05/847.32	c cleaning 38004 clauses out of 76007 with flag 1540001/3667680
876.16/861.30	c cleaning 39001 clauses out of 78004 with flag 1620003/3707681
890.56/875.45	c cleaning 40000 clauses out of 80003 with flag 1702003/3748681
905.79/890.40	c cleaning 41001 clauses out of 82002 with flag 1786001/3790680
921.76/906.29	c cleaning 41995 clauses out of 84002 with flag 1872003/3833681
938.56/922.82	c cleaning 43004 clauses out of 86007 with flag 1960003/3877681
954.48/938.51	c cleaning 44000 clauses out of 88003 with flag 2050003/3922681
971.61/955.42	c cleaning 44998 clauses out of 90003 with flag 2142003/3968681
988.33/971.90	c cleaning 45995 clauses out of 92004 with flag 2236001/4015680
1007.16/990.43	c cleaning 47004 clauses out of 94009 with flag 2332001/4063680
1027.06/1010.07	c cleaning 48002 clauses out of 96005 with flag 2430001/4112680
1045.56/1028.27	c cleaning 49002 clauses out of 98003 with flag 2530001/4162680
1045.76/1028.44	c Got one! Elapsed wall clock time (in seconds):1028.309
1045.76/1028.44	o -1060
1047.26/1029.98	c cleaning 27321 clauses out of 54657 with flag 10004/4168336
1048.68/1031.39	c cleaning 16659 clauses out of 33335 with flag 22002/4174335
1050.20/1032.86	c cleaning 11835 clauses out of 23677 with flag 36004/4181336
1051.80/1034.44	c cleaning 9911 clauses out of 19841 with flag 52002/4189335
1053.53/1036.19	c cleaning 9455 clauses out of 18930 with flag 70002/4198335
1055.57/1038.14	c cleaning 9734 clauses out of 19476 with flag 90004/4208336
1057.81/1040.31	c cleaning 10368 clauses out of 20741 with flag 112002/4219335
1060.35/1042.83	c cleaning 11184 clauses out of 22373 with flag 136002/4231335
1063.18/1045.69	c cleaning 12093 clauses out of 24190 with flag 162004/4244336
1066.31/1048.78	c cleaning 13045 clauses out of 26096 with flag 190002/4258335
1069.78/1052.15	c cleaning 14024 clauses out of 28052 with flag 220004/4273336
1073.61/1055.91	c cleaning 15011 clauses out of 30028 with flag 252004/4289336
1077.81/1060.01	c cleaning 16004 clauses out of 32016 with flag 286002/4306335
1082.22/1064.38	c cleaning 17006 clauses out of 34012 with flag 322002/4324335
1087.07/1069.18	c cleaning 18002 clauses out of 36007 with flag 360004/4343336
1089.90/1071.92	c Got one! Elapsed wall clock time (in seconds):1071.784
1089.90/1071.92	o -1062
1091.24/1073.24	c cleaning 17585 clauses out of 35177 with flag 10005/4360508
1092.53/1074.50	c cleaning 11792 clauses out of 23591 with flag 22003/4366507
1093.97/1075.92	c cleaning 9396 clauses out of 18800 with flag 36005/4373508
1095.46/1077.42	c cleaning 8698 clauses out of 17405 with flag 52007/4381509
1097.08/1079.10	c cleaning 8849 clauses out of 17706 with flag 70005/4390508
1099.11/1081.07	c cleaning 9424 clauses out of 18857 with flag 90005/4400508
1101.54/1083.41	c cleaning 10214 clauses out of 20434 with flag 112007/4411509
1104.09/1085.97	c cleaning 11103 clauses out of 22218 with flag 136003/4423507
1106.84/1088.63	c cleaning 12055 clauses out of 24115 with flag 162003/4436507
1109.90/1091.63	c cleaning 13028 clauses out of 26060 with flag 190003/4450507
1112.43/1094.14	c Got one! Elapsed wall clock time (in seconds):1094.004
1112.43/1094.14	o -1066
1113.63/1095.32	c cleaning 15083 clauses out of 30165 with flag 10037/4467640
1114.87/1096.57	c cleaning 10535 clauses out of 21081 with flag 22085/4473639
1116.17/1097.86	c cleaning 8766 clauses out of 17546 with flag 36085/4480639
1117.70/1099.34	c cleaning 8385 clauses out of 16781 with flag 52087/4488640
1119.40/1101.04	c cleaning 8694 clauses out of 17396 with flag 70087/4497640
1121.31/1102.95	c cleaning 9351 clauses out of 18702 with flag 90087/4507640
1123.53/1105.11	c cleaning 10174 clauses out of 20351 with flag 112087/4518640
1124.23/1105.88	c Got one! Elapsed wall clock time (in seconds):1105.743
1124.23/1105.88	o -1071
1124.46/1106.08	c cleaning 7667 clauses out of 15342 with flag 2006/4523805
1125.56/1107.11	c cleaning 6830 clauses out of 13674 with flag 14004/4529804
1126.79/1108.39	c cleaning 6919 clauses out of 13844 with flag 28004/4536804
1128.40/1109.97	c cleaning 7459 clauses out of 14925 with flag 44004/4544804
1130.20/1111.72	c cleaning 8226 clauses out of 16466 with flag 62004/4553804
1131.43/1112.99	c Got one! Elapsed wall clock time (in seconds):1112.855
1131.43/1112.99	o -1072
1132.52/1114.07	c cleaning 9876 clauses out of 19756 with flag 10362/4565320
1133.72/1115.26	c cleaning 7940 clauses out of 15881 with flag 22659/4571321
1134.33/1115.88	c Got one! Elapsed wall clock time (in seconds):1115.741
1134.33/1115.88	o -1073
1134.73/1116.26	c cleaning 6610 clauses out of 13232 with flag 4122/4576612
1135.82/1117.35	c cleaning 6306 clauses out of 12622 with flag 16371/4582612
1136.83/1118.31	c Got one! Elapsed wall clock time (in seconds):1118.174
1136.83/1118.31	o -1074
1137.83/1119.31	c cleaning 8303 clauses out of 16617 with flag 10075/4592913
1138.95/1120.46	c cleaning 7153 clauses out of 14313 with flag 22073/4598912
1140.25/1121.78	c cleaning 7078 clauses out of 14161 with flag 36075/4605913
1141.87/1123.32	c cleaning 7537 clauses out of 15082 with flag 52073/4613912
1143.60/1125.09	c cleaning 8272 clauses out of 16545 with flag 70073/4622912
1145.73/1127.12	c cleaning 9134 clauses out of 18273 with flag 90073/4632912
1148.07/1129.41	c cleaning 10068 clauses out of 20140 with flag 112075/4643913
1150.60/1131.94	c cleaning 11036 clauses out of 22072 with flag 136075/4655913
1153.43/1134.79	c cleaning 12012 clauses out of 24036 with flag 162075/4668913
1156.59/1137.86	c cleaning 13008 clauses out of 26024 with flag 190075/4682913
1159.92/1141.12	c cleaning 14008 clauses out of 28015 with flag 220073/4697912
1163.36/1144.57	c cleaning 15004 clauses out of 30007 with flag 252073/4713912
1167.14/1148.24	c cleaning 16000 clauses out of 32003 with flag 286073/4730912
1171.31/1152.32	c cleaning 16997 clauses out of 34003 with flag 322073/4748912
1175.77/1156.72	c cleaning 17998 clauses out of 36006 with flag 360073/4767912
1180.64/1161.53	c cleaning 19004 clauses out of 38008 with flag 400073/4787912
1185.81/1166.67	c cleaning 20000 clauses out of 40005 with flag 442075/4808913
1191.63/1172.32	c cleaning 20998 clauses out of 42004 with flag 486073/4830912
1197.93/1178.53	c cleaning 22000 clauses out of 44006 with flag 532073/4853912
1204.33/1184.82	c cleaning 22997 clauses out of 46006 with flag 580073/4877912
1210.93/1191.32	c cleaning 24002 clauses out of 48010 with flag 630075/4902913
1218.08/1198.38	c cleaning 25000 clauses out of 50008 with flag 682075/4928913
1221.11/1201.38	c Got one! Elapsed wall clock time (in seconds):1201.247
1221.11/1201.38	o -1075
1222.55/1202.77	c cleaning 21602 clauses out of 43214 with flag 10063/4947119
1223.85/1204.03	c cleaning 13800 clauses out of 27611 with flag 22149/4953118
1225.18/1205.39	c cleaning 10398 clauses out of 20812 with flag 36311/4960119
1226.80/1206.91	c cleaning 9202 clauses out of 18413 with flag 52482/4968118
1228.40/1208.56	c cleaning 9099 clauses out of 18211 with flag 70711/4977118
1230.30/1210.41	c cleaning 9553 clauses out of 19112 with flag 90982/4987118
1232.40/1212.54	c cleaning 10277 clauses out of 20559 with flag 113397/4998118
1234.82/1214.92	c cleaning 11138 clauses out of 22283 with flag 137621/5010119
1237.58/1217.61	c cleaning 12067 clauses out of 24145 with flag 164041/5023119
1240.41/1220.49	c cleaning 13033 clauses out of 26077 with flag 192145/5037118
1241.13/1221.14	c Got one! Elapsed wall clock time (in seconds):1221.007
1241.13/1221.14	o -1078
1241.52/1221.54	c cleaning 9287 clauses out of 18582 with flag 4016/5042656
1242.62/1222.62	c cleaning 7643 clauses out of 15294 with flag 16078/5048655
1243.94/1223.94	c cleaning 7321 clauses out of 14652 with flag 30292/5055656
1245.47/1225.42	c cleaning 7662 clauses out of 15330 with flag 46516/5063655
1247.09/1227.07	c cleaning 8333 clauses out of 16669 with flag 64749/5072656
1249.03/1228.92	c cleaning 9166 clauses out of 18336 with flag 84818/5082656
1251.17/1231.04	c cleaning 10078 clauses out of 20169 with flag 106991/5093655
1251.78/1231.60	c Got one! Elapsed wall clock time (in seconds):1231.463
1251.78/1231.60	o -1079
1252.08/1231.95	c cleaning 7619 clauses out of 15246 with flag 4007/5098810
1253.08/1232.95	c cleaning 6802 clauses out of 13625 with flag 16010/5104808
1254.28/1234.19	c cleaning 6906 clauses out of 13823 with flag 30010/5111808
1255.80/1235.66	c cleaning 7458 clauses out of 14919 with flag 46014/5119810
1257.51/1237.33	c cleaning 8225 clauses out of 16459 with flag 64012/5128808
1259.44/1239.24	c cleaning 9115 clauses out of 18235 with flag 84014/5138809
1261.56/1241.39	c cleaning 10057 clauses out of 20119 with flag 106013/5149808
1264.01/1243.71	c cleaning 11027 clauses out of 22062 with flag 130014/5161808
1266.75/1246.41	c cleaning 12015 clauses out of 24035 with flag 156014/5174808
1269.71/1249.31	c cleaning 13010 clauses out of 26021 with flag 184016/5188809
1273.05/1252.65	c cleaning 14003 clauses out of 28010 with flag 214014/5203808
1276.93/1256.45	c cleaning 15003 clauses out of 30008 with flag 246016/5219809
1280.82/1260.26	c cleaning 15997 clauses out of 32004 with flag 280020/5236808
1284.98/1264.35	c cleaning 17000 clauses out of 34007 with flag 316020/5254808
1289.62/1268.83	c cleaning 18002 clauses out of 36008 with flag 354027/5273809
1294.54/1273.61	c cleaning 18997 clauses out of 38006 with flag 394029/5293809
1299.79/1278.71	c cleaning 20000 clauses out of 40009 with flag 436034/5314809
1305.36/1284.20	c cleaning 21000 clauses out of 42008 with flag 480034/5336808
1311.36/1290.18	c cleaning 22001 clauses out of 44009 with flag 526047/5359809
1317.97/1296.69	c cleaning 23000 clauses out of 46007 with flag 574056/5383808
1325.48/1304.02	c cleaning 24000 clauses out of 48008 with flag 624058/5408809
1333.30/1311.73	c cleaning 25002 clauses out of 50008 with flag 676058/5434809
1341.11/1319.44	c cleaning 25997 clauses out of 52006 with flag 730058/5461809
1349.13/1327.35	c cleaning 27002 clauses out of 54009 with flag 786058/5489809
1357.86/1335.92	c cleaning 27997 clauses out of 56007 with flag 844058/5518809
1366.90/1344.81	c cleaning 29000 clauses out of 58009 with flag 904056/5548808
1376.04/1353.89	c cleaning 30005 clauses out of 60009 with flag 966056/5579808
1386.54/1364.13	c cleaning 30997 clauses out of 62004 with flag 1030056/5611808
1395.60/1373.03	c Got one! Elapsed wall clock time (in seconds):1372.897
1395.60/1373.03	o -1080
1397.60/1375.04	c cleaning 33297 clauses out of 66604 with flag 10007/5647405
1399.12/1376.58	c cleaning 19653 clauses out of 39308 with flag 22069/5653406
1400.64/1378.08	c cleaning 13322 clauses out of 26655 with flag 36214/5660406
1402.28/1379.68	c cleaning 10661 clauses out of 21331 with flag 52214/5668404
1404.09/1381.44	c cleaning 9829 clauses out of 19671 with flag 70344/5677405
1406.00/1383.36	c cleaning 9918 clauses out of 19841 with flag 90464/5687404
1408.17/1385.45	c cleaning 10456 clauses out of 20923 with flag 112519/5698404
1408.37/1385.65	c Got one! Elapsed wall clock time (in seconds):1385.511
1408.37/1385.65	o -1081
1409.07/1386.36	c cleaning 7788 clauses out of 15586 with flag 8006/5703523
1410.19/1387.40	c cleaning 6894 clauses out of 13799 with flag 20024/5709524
1411.41/1388.64	c cleaning 6949 clauses out of 13905 with flag 34058/5716524
1411.71/1388.90	c Got one! Elapsed wall clock time (in seconds):1388.769
1411.71/1388.90	o -1082
1412.31/1389.59	c cleaning 6340 clauses out of 12689 with flag 8011/5722257
1413.43/1390.60	c cleaning 6171 clauses out of 12349 with flag 20029/5728257
1414.65/1391.82	c cleaning 6588 clauses out of 13179 with flag 34167/5735258
1416.08/1393.28	c cleaning 7293 clauses out of 14590 with flag 50319/5743257
1417.73/1394.90	c cleaning 8146 clauses out of 16298 with flag 68501/5752258
1419.79/1396.85	c cleaning 9076 clauses out of 18152 with flag 88597/5762258
1421.93/1398.99	c cleaning 10031 clauses out of 20076 with flag 110623/5773258
1424.25/1401.26	c cleaning 11023 clauses out of 22045 with flag 134632/5785258
1425.91/1402.86	c Got one! Elapsed wall clock time (in seconds):1402.72
1425.91/1402.86	o -1084
1426.91/1403.89	c cleaning 12401 clauses out of 24813 with flag 10003/5799049
1428.14/1405.08	c cleaning 9199 clauses out of 18412 with flag 22003/5805049
1429.54/1406.47	c cleaning 8097 clauses out of 16212 with flag 36001/5812048
1431.04/1407.94	c cleaning 8052 clauses out of 16116 with flag 52003/5820049
1432.75/1409.67	c cleaning 8529 clauses out of 17063 with flag 70001/5829048
1434.75/1411.68	c cleaning 9266 clauses out of 18536 with flag 90005/5839050
1437.10/1413.92	c cleaning 10126 clauses out of 20268 with flag 112001/5850048
1439.73/1416.51	c cleaning 11069 clauses out of 22144 with flag 136005/5862050
1442.48/1419.22	c cleaning 12033 clauses out of 24074 with flag 162003/5875049
1445.51/1422.22	c cleaning 13014 clauses out of 26040 with flag 190001/5889048
1449.00/1425.62	c cleaning 14011 clauses out of 28028 with flag 220005/5904050
1452.67/1429.25	c cleaning 15004 clauses out of 30017 with flag 252005/5920050
1456.77/1433.26	c cleaning 16004 clauses out of 32012 with flag 286003/5937049
1461.47/1437.84	c cleaning 17004 clauses out of 34007 with flag 322001/5955048
1466.25/1442.57	c cleaning 17999 clauses out of 36003 with flag 360001/5974048
1471.34/1447.58	c cleaning 18995 clauses out of 38004 with flag 400001/5994048
1476.53/1452.61	c cleaning 20006 clauses out of 40011 with flag 442005/6015050
1482.05/1458.03	c cleaning 20999 clauses out of 42004 with flag 486003/6037049
1487.85/1463.70	c cleaning 21998 clauses out of 44004 with flag 532001/6060048
1494.07/1469.89	c cleaning 23003 clauses out of 46006 with flag 580001/6084048
1500.78/1476.46	c cleaning 24000 clauses out of 48004 with flag 630003/6109049
1508.14/1483.61	c cleaning 24997 clauses out of 50003 with flag 682001/6135048
1515.49/1490.88	c cleaning 25999 clauses out of 52007 with flag 736003/6162049
1523.41/1498.68	c cleaning 26999 clauses out of 54008 with flag 792003/6190049
1531.95/1507.05	c cleaning 28003 clauses out of 56008 with flag 850001/6219048
1540.62/1515.53	c cleaning 28999 clauses out of 58006 with flag 910003/6249049
1549.75/1524.57	c cleaning 29999 clauses out of 60006 with flag 972001/6280048
1559.37/1533.97	c cleaning 31003 clauses out of 62007 with flag 1036001/6312048
1570.28/1544.60	c cleaning 31999 clauses out of 64005 with flag 1102003/6345049
1581.33/1555.58	c cleaning 32999 clauses out of 66005 with flag 1170001/6379048
1593.07/1567.01	c cleaning 34004 clauses out of 68007 with flag 1240003/6414049
1604.06/1577.89	c cleaning 34998 clauses out of 70003 with flag 1312003/6450049
1616.33/1589.93	c cleaning 35997 clauses out of 72005 with flag 1386003/6487049
1629.23/1602.69	c cleaning 36998 clauses out of 74008 with flag 1462003/6525049
1642.68/1615.85	c cleaning 38002 clauses out of 76010 with flag 1540003/6564049
1656.68/1629.68	c cleaning 38999 clauses out of 78008 with flag 1620003/6604049
1670.89/1643.53	c cleaning 40002 clauses out of 80008 with flag 1702001/6645048
1685.33/1657.71	c cleaning 41000 clauses out of 82007 with flag 1786025/6687049
1700.52/1672.69	c cleaning 41999 clauses out of 84007 with flag 1872025/6730049
1716.51/1688.37	c cleaning 43000 clauses out of 86008 with flag 1960025/6774049
1733.17/1704.62	c cleaning 44003 clauses out of 88008 with flag 2050027/6819049
1750.13/1721.39	c cleaning 44997 clauses out of 90004 with flag 2142028/6865048
1768.17/1739.18	c cleaning 46000 clauses out of 92008 with flag 2236030/6912049
1786.48/1757.28	c cleaning 47004 clauses out of 94007 with flag 2332029/6960048
1800.06/1770.60	c starts		: 193
1800.06/1770.60	c conflicts		: 6997791
1800.06/1770.60	c decisions		: 7008365
1800.06/1770.60	c propagations		: 371313076
1800.06/1770.60	c inspects		: 15982330424
1800.06/1770.60	c shortcuts		: 0
1800.06/1770.60	c learnt literals	: 0
1800.06/1770.60	c learnt binary clauses	: 0
1800.06/1770.60	c learnt ternary clauses	: 0
1800.06/1770.60	c learnt constraints	: 6997791
1800.06/1770.60	c ignored constraints	: 0
1800.06/1770.60	c root simplifications	: 0
1800.06/1770.60	c removed literals (reason simplification)	: 0
1800.06/1770.60	c reason swapping (by a shorter reason)	: 0
1800.06/1770.60	c Calls to reduceDB	: 473
1800.06/1770.60	c Number of update (reduction) of LBD	: 469
1800.06/1770.60	c Imported unit clauses	: 0
1800.06/1770.60	c number of reductions to clauses (during analyze)	: 0
1800.06/1770.60	c number of learned constraints concerned by reduction	: 0
1800.06/1770.60	c number of learning phase by resolution	: 0
1800.06/1770.60	c number of learning phase by cutting planes	: 0
1800.06/1770.60	c speed (assignments/second)	: 209754.97211368286
1800.06/1770.60	c non guided choices	0
1800.06/1770.63	c learnt constraints type 
1800.06/1770.63	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 84746
1800.06/1770.63	s SATISFIABLE
1800.06/1770.63	c Found 192 solution(s)
1800.06/1770.63	v x1 x2 -x3 x4 -x5 -x6 -x7 x8 x9 x10 x11 x12 x13 -x14 -x15 x16 x17 x18 x19 x20 x21 x22 x23 x24 x25 -x26 -x27 -x28 x29 -x30 -x31 x32 x33 x34 x35 x36 x37 x38 x39 x40 x41 x42 x43 x44 x45 x46 x47 x48 x49 x50 -x51 -x52 -x53 x54 -x55 x56 x57 -x58 -x59 x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 x124 x125 x126 -x127 -x128 x129 -x130 -x131 -x132 x133 x134 -x135 -x136 -x137 -x138 -x139 -x140 x141 x142 -x143 -x144 -x145 x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 x154 x155 -x156 -x157 x158 -x159 -x160 -x161 x162 x163 x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 x196 x197 x198 x199 x200 x201 x202 x203 x204 x205 x206 x207 x208 x209 x210 x211 x212 x213 x214 x215 x216 x217 x218 x219 x220 x221 x222 x223 x224 x225 x226 -x227 x228 x229 -x230 -x231 x232 x233 x234 -x235 -x236 x237 -x238 -x239 -x240 x241 x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 x340 x341 x342 x343 x344 x345 x346 x347 x348 x349 x350 x351 x352 x353 x354 x355 x356 x357 x358 x359 x360 x361 x362 x363 x364 x365 x366 x367 x368 x369 x370 x371 x372 x373 x374 x375 x376 x377 x378 x379 x380 x381 x382 x383 x384 x385 x386 x387 x388 x389 x390 x391 x392 x393 x394 x395 x396 x397 x398 x399 x400 x401 x402 x403 x404 x405 x406 x407 x408 x409 x410 x411 x412 x413 x414 x415 x416 x417 x418 x419 x420 x421 x422 x423 x424 x425 x426 x427 x428 x429 x430 x431 x432 x433 x434 x435 x436 x437 x438 x439 x440 x441 x442 x443 x444 x445 x446 x447 x448 x449 x450 x451 -x452 x453 x454 -x455 -x456 x457 x458 x459 -x460 -x461 x462 -x463 -x464 -x465 x466 x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 x552 -x553 -x554 -x555 x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 x580 x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 x625 x626 x627 x628 x629 x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 x691 x692 x693 x694 -x695 -x696 x697 x698 x699 -x700 -x701 x702 x703 -x704 x705 -x706 -x707 -x708 -x709 -x710 x711 x712 x713 -x714 -x715 x716 x717 x718 -x719 -x720 x721 x722 -x723 x724 -x725 -x726 x727 -x728 -x729 -x730 x731 x732 -x733 -x734 x735 x736 x737 -x738 -x739 x740 x741 -x742 -x743 x744 -x745 -x746 -x747 -x748 -x749 x750 x751 -x752 -x753 x754 x755 x756 -x757 -x758 x759 x760 x761 -x762 -x763 -x764 -x765 -x766 -x767 x768 x769 x770 -x771 -x772 x773 x774 x775 x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 x785 x786 x787 x788 x789 x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 x802 x803 x804 x805 x806 x807 x808 x809 x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 x851 x852 x853 x854 x855 x856 x857 x858 x859 x860 x861 x862 x863 x864 x865 x866 x867 x868 x869 x870 x871 x872 x873 x874 x875 x876 x877 x878 x879 x880 x881 x882 x883 x884 x885 x886 x887 x888 x889 x890 x891 x892 x893 x894 x895 x896 x897 x898 x899 x900 x901 x902 x903 x904 x905 x906 x907 x908 x909 x910 x911 x912 x913 x914 x915 -x916 x917 x918 x919 x920 -x921 x922 x923 -x924 x925 x926 -x927 x928 -x929 -x930 x931 x932 x933 x934 -x935 -x936 x937 x938 x939 -x940 -x941 x942 x943 -x944 x945 -x946 -x947 -x948 -x949 -x950 x951 x952 x953 -x954 -x955 -x956 x957 x958 -x959 -x960 -x961 x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 x971 x972 -x973 -x974 -x975 x976 x977 -x978 -x979 -x980 x981 -x982 -x983 x984 -x985 -x986 -x987 -x988 -x989 -x990 x991 -x992 -x993 -x994 x995 -x996 -x997 -x998 -x999 x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 x1122 x1123 x1124 x1125 x1126 x1127 x1128 x1129 x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 x1171 x1172 x1173 x1174 x1175 x1176 x1177 x1178 x1179 x1180 x1181 x1182 x1183 x1184 x1185 x1186 x1187 x1188 x1189 x1190 x1191 x1192 x1193 x1194 x1195 x1196 x1197 x1198 x1199 x1200 x1201 x1202 x1203 x1204 x1205 x1206 x1207 x1208 x1209 x1210 x1211 x1212 x1213 x1214 x1215 x1216 x1217 x1218 x1219 x1220 x1221 x1222 x1223 x1224 x1225 x1226 x1227 x1228 x1229 x1230 x1231 x1232 x1233 x1234 x1235 x1236 x1237 x1238 x1239 x1240 x1241 x1242 x1243 x1244 x1245 x1246 x1247 x1248 x1249 x1250 x1251 x1252 x1253 x1254 x1255 x1256 x1257 x1258 x1259 x1260 x1261 x1262 x1263 x1264 x1265 x1266 x1267 x1268 x1269 x1270 x1271 x1272 x1273 x1274 x1275 x1276 x1277 x1278 x1279 x1280 x1281 x1282 x1283 x1284 x1285 x1286 x1287 x1288 x1289 x1290 x1291 x1292 x1293 x1294 x1295 x1296 x1297 x1298 x1299 x1300 x1301 x1302 x1303 x1304 x1305 x1306 x1307 x1308 x1309 x1310 x1311 x1312 x1313 x1314 x1315 x1316 x1317 x1318 x1319 x1320 x1321 x1322 x1323 x1324 x1325 x1326 x1327 x1328 x1329 x1330 x1331 x1332 x1333 x1334 x1335 x1336 x1337 x1338 x1339 x1340 x1341 x1342 x1343 x1344 x1345 x1346 x1347 x1348 x1349 x1350 x1351 x1352 x1353 x1354 x1355 x1356 x1357 x1358 x1359 x1360 x1361 x1362 x1363 x1364 x1365 x1366 x1367 x1368 x1369 x1370 x1371 x1372 x1373 x1374 x1375 x1376 x1377 x1378 x1379 x1380 x1381 x1382 x1383 x1384 x1385 x1386 x1387 x1388 x1389 x1390 x1391 x1392 x1393 x1394 x1395 x1396 x1397 x1398 x1399 x1400 x1401 x1402 x1403 x1404 x1405 x1406 x1407 x1408 x1409 x1410 x1411 x1412 x1413 x1414 x1415 -x1416 x1417 x1418 x1419 x1420 -x1421 x1422 x1423 -x1424 x1425 x1426 -x1427 x1428 -x1429 -x1430 x1431 x1432 x1433 x1434 -x1435 -x1436 x1437 x1438 x1439 -x1440 -x1441 x1442 x1443 -x1444 x1445 -x1446 -x1447 -x1448 -x1449 -x1450 x1451 x1452 x1453 -x1454 -x1455 -x1456 x1457 x1458 -x1459 -x1460 -x1461 x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 x1471 x1472 -x1473 -x1474 -x1475 x1476 x1477 -x1478 -x1479 -x1480 x1481 -x1482 -x1483 x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 x1491 -x1492 -x1493 -x1494 x1495 -x1496 -x1497 -x1498 -x1499 x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 x1514 -x1515 x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 x1546 x1547 -x1548 -x1549 x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 x1616 -x1617 -x1618 x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 x1645 -x1646 x1647 -x1648 -x1649 -x1650 x1651 -x1652 x1653 -x1654 -x1655 -x1656 x1657 x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 x1669 x1670 x1671 x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 x1694 x1695 x1696 x1697 x1698 -x1699 -x1700 x1701 x1702 x1703 x1704 -x1705 -x1706 x1707 x1708 x1709 x1710 -x1711 -x1712 x1713 x1714 x1715 x1716 -x1717 -x1718 x1719 x1720 x1721 x1722 -x1723 -x1724 x1725 x1726 x1727 x1728 -x1729 -x1730 x1731 x1732 x1733 x1734 x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 x1750 x1751 x1752 x1753 x1754 x1755 x1756 x1757 x1758 x1759 x1760 x1761 x1762 x1763 x1764 x1765 x1766 x1767 x1768 x1769 x1770 x1771 x1772 x1773 x1774 x1775 x1776 -x1777 x1778 x1779 x1780 x1781 x1782 -x1783 -x1784 x1785 x1786 x1787 x1788 -x1789 -x1790 -x1791 x1792 x1793 x1794 -x1795 -x1796 -x1797 x1798 x1799 x1800 -x1801 -x1802 -x1803 x1804 -x1805 x1806 -x1807 -x1808 -x1809 x1810 -x1811 -x1812 -x1813 -x1814 -x1815 x1816 -x1817 -x1818 x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 x1843 x1844 x1845 x1846 x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 x1862 x1863 x1864 x1865 x1866 x1867 x1868 x1869 x1870 x1871 x1872 x1873 x1874 x1875 x1876 x1877 x1878 x1879 x1880 x1881 x1882 x1883 x1884 x1885 x1886 x1887 x1888 x1889 x1890 x1891 x1892 x1893 x1894 x1895 x1896 x1897 x1898 x1899 x1900 x1901 x1902 x1903 x1904 x1905 x1906 x1907 x1908 x1909 x1910 x1911 x1912 x1913 x1914 x1915 x1916 x1917 x1918 x1919 x1920 x1921 x1922 x1923 x1924 x1925 x1926 x1927 x1928 x1929 x1930 x1931 x1932 x1933 x1934 x1935 x1936 x1937 x1938 x1939 x1940 x1941 x1942 x1943 x1944 x1945 x1946 x1947 x1948 x1949 x1950 x1951 -x1952 x1953 x1954 x1955 x1956 x1957 -x1958 -x1959 x1960 x1961 x1962 x1963 -x1964 -x1965 -x1966 x1967 x1968 x1969 -x1970 -x1971 -x1972 x1973 x1974 x1975 -x1976 -x1977 -x1978 x1979 -x1980 x1981 -x1982 -x1983 -x1984 x1985 -x1986 x1987 -x1988 -x1989 -x1990 x1991 -x1992 x1993 x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 x2017 x2018 -x2019 -x2020 x2021 -x2022 -x2023 -x2024 -x2025 -x2026 x2027 -x2028 -x2029 x2030 -x2031 -x2032 x2033 -x2034 -x2035 -x2036 
1800.06/1770.64	c objective function=-1084
1800.06/1770.64	c Total wall clock time (in seconds): 1770.501

OK	-1084

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-4118335-1467227736/watcher-4118335-1467227736 -o /tmp/evaluation-result-4118335-1467227736/solver-4118335-1467227736 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node120-1467209132-3606 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4118335-1467227736.opb 

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

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


[startup+0 s]
/proc/loadavg: 2.32 2.25 2.26 3/194 6057
/proc/meminfo: memFree=25565388/32872528 swapFree=1588980/1719796
[pid=6057] ppid=6054 vsize=9292 CPUtime=0 cores=0,2,4,6
/proc/6057/stat : 6057 (java) D 6054 6057 3589 0 -1 4202496 318 0 0 0 0 0 0 0 20 0 1 0 3732166 9515008 175 33554432000 1073741824 1073778376 140733545805584 140733545788312 226084340624 0 0 4096 0 18446744072100588836 0 0 17 2 0 0 0 0 0
/proc/6057/statm: 2323 175 133 9 0 71 0

[startup+0.100111 s]
/proc/loadavg: 2.32 2.25 2.26 3/194 6057
/proc/meminfo: memFree=25565388/32872528 swapFree=1588980/1719796
[pid=6057] ppid=6054 vsize=9558476 CPUtime=0.05 cores=0,2,4,6
/proc/6057/stat : 6057 (java) S 6054 6057 3589 0 -1 4202496 3450 0 1 0 5 0 0 0 20 0 18 0 3732166 9787879424 4581 33554432000 1073741824 1073778376 140737117918672 140737117909808 226087698493 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6057/statm: 2389619 4581 1789 9 0 2380296 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 9558476

[startup+0.200288 s]
/proc/loadavg: 2.32 2.25 2.26 3/194 6057
/proc/meminfo: memFree=25565388/32872528 swapFree=1588980/1719796
[pid=6057] ppid=6054 vsize=9558476 CPUtime=0.24 cores=0,2,4,6
/proc/6057/stat : 6057 (java) S 6054 6057 3589 0 -1 4202496 4854 0 1 0 23 1 0 0 20 0 18 0 3732166 9787879424 6379 33554432000 1073741824 1073778376 140737117918672 140737117909808 226087698493 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6057/statm: 2389619 6379 2202 9 0 2380296 0
Current children cumulated CPU time (s) 0.24
Current children cumulated vsize (KiB) 9558476

[startup+0.300268 s]
/proc/loadavg: 2.32 2.25 2.26 3/194 6057
/proc/meminfo: memFree=25565388/32872528 swapFree=1588980/1719796
[pid=6057] ppid=6054 vsize=9558476 CPUtime=0.41 cores=0,2,4,6
/proc/6057/stat : 6057 (java) S 6054 6057 3589 0 -1 4202496 5205 0 1 0 40 1 0 0 20 0 18 0 3732166 9787879424 7990 33554432000 1073741824 1073778376 140737117918672 140737117909808 226087698493 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6057/statm: 2389619 7990 2231 9 0 2380296 0
Current children cumulated CPU time (s) 0.41
Current children cumulated vsize (KiB) 9558476

[startup+0.700244 s]
/proc/loadavg: 2.32 2.25 2.26 3/194 6057
/proc/meminfo: memFree=25565388/32872528 swapFree=1588980/1719796
[pid=6057] ppid=6054 vsize=9625040 CPUtime=1.57 cores=0,2,4,6
/proc/6057/stat : 6057 (java) S 6054 6057 3589 0 -1 4202496 12048 0 1 0 155 2 0 0 20 0 19 0 3732166 9856040960 16683 33554432000 1073741824 1073778376 140737117918672 140737117909808 226087698493 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6057/statm: 2406260 16683 2270 9 0 2396937 0
Current children cumulated CPU time (s) 1.57
Current children cumulated vsize (KiB) 9625040

[startup+1.5008 s]
/proc/loadavg: 2.29 2.25 2.25 3/213 6076
/proc/meminfo: memFree=25475068/32872528 swapFree=1588980/1719796
[pid=6057] ppid=6054 vsize=9625040 CPUtime=2.54 cores=0,2,4,6
/proc/6057/stat : 6057 (java) S 6054 6057 3589 0 -1 4202496 12327 0 1 0 251 3 0 0 20 0 19 0 3732166 9856040960 29492 33554432000 1073741824 1073778376 140737117918672 140737117909808 226087698493 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6057/statm: 2406260 29492 2271 9 0 2396937 0
[pid=6057/tid=6059] ppid=6054 vsize=9625040 CPUtime=1.44 cores=0,2,4,6
/proc/6057/task/6059/stat : 6059 (java) R 6054 6057 3589 0 -1 4202560 2463 0 1 0 142 2 0 0 20 0 19 0 3732168 9856040960 29492 33554432000 1073741824 1073778376 140737117918672 140314154047960 140313982010784 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=6057/tid=6060] ppid=6054 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6057/task/6060/stat : 6060 (java) S 6054 6057 3589 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3732170 9856040960 29492 33554432000 1073741824 1073778376 140737117918672 140314115541928 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6057/tid=6061] ppid=6054 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6057/task/6061/stat : 6061 (java) S 6054 6057 3589 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3732170 9856040960 29492 33554432000 1073741824 1073778376 140737117918672 140314114489384 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6057/tid=6062] ppid=6054 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6057/task/6062/stat : 6062 (java) S 6054 6057 3589 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3732170 9856040960 29492 33554432000 1073741824 1073778376 140737117918672 140314113436328 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=6057/tid=6063] ppid=6054 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6057/task/6063/stat : 6063 (java) S 6054 6057 3589 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3732170 9856040960 29492 33554432000 1073741824 1073778376 140737117918672 140314112383784 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6057/tid=6064] ppid=6054 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6057/task/6064/stat : 6064 (java) S 6054 6057 3589 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3732170 9856040960 29492 33554432000 1073741824 1073778376 140737117918672 140314111330728 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6057/tid=6065] ppid=6054 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6057/task/6065/stat : 6065 (java) S 6054 6057 3589 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3732170 9856040960 29492 33554432000 1073741824 1073778376 140737117918672 140314110278184 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6057/tid=6066] ppid=6054 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6057/task/6066/stat : 6066 (java) S 6054 6057 3589 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3732170 9856040960 29492 33554432000 1073741824 1073778376 140737117918672 140314109225128 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6057/tid=6067] ppid=6054 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6057/task/6067/stat : 6067 (java) S 6054 6057 3589 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 3732170 9856040960 29492 33554432000 1073741824 1073778376 140737117918672 140314108172584 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6057/tid=6068] ppid=6054 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6057/task/6068/stat : 6068 (java) S 6054 6057 3589 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 3732171 9856040960 29492 33554432000 1073741824 1073778376 140737117918672 140313977928552 226087712681 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6057/tid=6069] ppid=6054 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6057/task/6069/stat : 6069 (java) S 6054 6057 3589 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 3732171 9856040960 29492 33554432000 1073741824 1073778376 140737117918672 140313976874872 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6057/tid=6070] ppid=6054 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6057/task/6070/stat : 6070 (java) S 6054 6057 3589 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 3732171 9856040960 29492 33554432000 1073741824 1073778376 140737117918672 140313975821704 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6057/tid=6071] ppid=6054 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6057/task/6071/stat : 6071 (java) S 6054 6057 3589 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3732174 9856040960 29492 33554432000 1073741824 1073778376 140737117918672 140313974770448 226087720736 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6057/tid=6072] ppid=6054 vsize=9625040 CPUtime=0.5 cores=0,2,4,6
/proc/6057/task/6072/stat : 6072 (java) S 6054 6057 3589 0 -1 4202560 5083 0 0 0 49 1 0 0 20 0 19 0 3732174 9856040960 29492 33554432000 1073741824 1073778376 140737117918672 140313973717304 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6057/tid=6073] ppid=6054 vsize=9625040 CPUtime=0.55 cores=0,2,4,6
/proc/6057/task/6073/stat : 6073 (java) S 6054 6057 3589 0 -1 4202560 3508 0 0 0 55 0 0 0 20 0 19 0 3732174 9856040960 29492 33554432000 1073741824 1073778376 140737117918672 140313972664760 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6057/tid=6074] ppid=6054 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6057/task/6074/stat : 6074 (java) S 6054 6057 3589 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3732174 9856040960 29492 33554432000 1073741824 1073778376 140737117918672 140313971611896 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6057/tid=6075] ppid=6054 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6057/task/6075/stat : 6075 (java) S 6054 6057 3589 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3732174 9856040960 29492 33554432000 1073741824 1073778376 140737117918672 140313970559560 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6057/tid=6076] ppid=6054 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6057/task/6076/stat : 6076 (java) S 6054 6057 3589 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 3732204 9856040960 29492 33554432000 1073741824 1073778376 140737117918672 140313969505832 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 2.54
Current children cumulated vsize (KiB) 9625040

[startup+3.10079 s]
/proc/loadavg: 2.29 2.25 2.25 3/213 6076
/proc/meminfo: memFree=25431192/32872528 swapFree=1588980/1719796
[pid=6057] ppid=6054 vsize=9625040 CPUtime=4.2 cores=0,2,4,6
/proc/6057/stat : 6057 (java) S 6054 6057 3589 0 -1 4202496 12353 0 1 0 416 4 0 0 20 0 19 0 3732166 9856040960 41781 33554432000 1073741824 1073778376 140737117918672 140737117909808 226087698493 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6057/statm: 2406260 41781 2272 9 0 2396937 0
[pid=6057/tid=6059] ppid=6054 vsize=9625040 CPUtime=3.04 cores=0,2,4,6
/proc/6057/task/6059/stat : 6059 (java) R 6054 6057 3589 0 -1 4202560 2488 0 1 0 302 2 0 0 20 0 19 0 3732168 9856040960 41781 33554432000 1073741824 1073778376 140737117918672 140314154041648 140313981707521 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=6057/tid=6060] ppid=6054 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6057/task/6060/stat : 6060 (java) S 6054 6057 3589 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3732170 9856040960 41781 33554432000 1073741824 1073778376 140737117918672 140314115541928 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6057/tid=6061] ppid=6054 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6057/task/6061/stat : 6061 (java) S 6054 6057 3589 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3732170 9856040960 41781 33554432000 1073741824 1073778376 140737117918672 140314114489384 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6057/tid=6062] ppid=6054 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6057/task/6062/stat : 6062 (java) S 6054 6057 3589 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3732170 9856040960 41781 33554432000 1073741824 1073778376 140737117918672 140314113436328 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=6057/tid=6063] ppid=6054 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6057/task/6063/stat : 6063 (java) S 6054 6057 3589 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3732170 9856040960 41781 33554432000 1073741824 1073778376 140737117918672 140314112383784 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6057/tid=6064] ppid=6054 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6057/task/6064/stat : 6064 (java) S 6054 6057 3589 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3732170 9856040960 41781 33554432000 1073741824 1073778376 140737117918672 140314111330728 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6057/tid=6065] ppid=6054 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6057/task/6065/stat : 6065 (java) S 6054 6057 3589 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3732170 9856040960 41781 33554432000 1073741824 1073778376 140737117918672 140314110278184 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6057/tid=6066] ppid=6054 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6057/task/6066/stat : 6066 (java) S 6054 6057 3589 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3732170 9856040960 41781 33554432000 1073741824 1073778376 140737117918672 140314109225128 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6057/tid=6067] ppid=6054 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6057/task/6067/stat : 6067 (java) S 6054 6057 3589 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 3732170 9856040960 41781 33554432000 1073741824 1073778376 140737117918672 140314108172584 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6057/tid=6068] ppid=6054 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6057/task/6068/stat : 6068 (java) S 6054 6057 3589 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 3732171 9856040960 41781 33554432000 1073741824 1073778376 140737117918672 140313977928552 226087712681 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6057/tid=6069] ppid=6054 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6057/task/6069/stat : 6069 (java) S 6054 6057 3589 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 3732171 9856040960 41781 33554432000 1073741824 1073778376 140737117918672 140313976874872 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6057/tid=6070] ppid=6054 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6057/task/6070/stat : 6070 (java) S 6054 6057 3589 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 3732171 9856040960 41781 33554432000 1073741824 1073778376 140737117918672 140313975821704 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6057/tid=6071] ppid=6054 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6057/task/6071/stat : 6071 (java) S 6054 6057 3589 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3732174 9856040960 41781 33554432000 1073741824 1073778376 140737117918672 140313974770448 226087720736 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6057/tid=6072] ppid=6054 vsize=9625040 CPUtime=0.51 cores=0,2,4,6
/proc/6057/task/6072/stat : 6072 (java) S 6054 6057 3589 0 -1 4202560 5083 0 0 0 50 1 0 0 20 0 19 0 3732174 9856040960 41781 33554432000 1073741824 1073778376 140737117918672 140313973717304 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6057/tid=6073] ppid=6054 vsize=9625040 CPUtime=0.6 cores=0,2,4,6
/proc/6057/task/6073/stat : 6073 (java) S 6054 6057 3589 0 -1 4202560 3509 0 0 0 60 0 0 0 20 0 19 0 3732174 9856040960 41781 33554432000 1073741824 1073778376 140737117918672 140313972664760 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6057/tid=6074] ppid=6054 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6057/task/6074/stat : 6074 (java) S 6054 6057 3589 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3732174 9856040960 41781 33554432000 1073741824 1073778376 140737117918672 140313971611896 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6057/tid=6075] ppid=6054 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6057/task/6075/stat : 6075 (java) S 6054 6057 3589 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3732174 9856040960 41781 33554432000 1073741824 1073778376 140737117918672 140313970559560 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6057/tid=6076] ppid=6054 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6057/task/6076/stat : 6076 (java) S 6054 6057 3589 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 3732204 9856040960 41781 33554432000 1073741824 1073778376 140737117918672 140313969505832 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 4.2
Current children cumulated vsize (KiB) 9625040

[startup+6.30075 s]
/proc/loadavg: 2.29 2.25 2.25 3/213 6076
/proc/meminfo: memFree=25354732/32872528 swapFree=1588980/1719796
[pid=6057] ppid=6054 vsize=9625040 CPUtime=7.55 cores=0,2,4,6
/proc/6057/stat : 6057 (java) S 6054 6057 3589 0 -1 4202496 12539 0 1 0 745 10 0 0 20 0 19 0 3732166 9856040960 54751 33554432000 1073741824 1073778376 140737117918672 140737117909808 226087698493 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6057/statm: 2406260 54751 2289 9 0 2396937 0
[pid=6057/tid=6059] ppid=6054 vsize=9625040 CPUtime=6.19 cores=0,2,4,6
/proc/6057/task/6059/stat : 6059 (java) R 6054 6057 3589 0 -1 4202560 2493 0 1 0 617 2 0 0 20 0 19 0 3732168 9856040960 54751 33554432000 1073741824 1073778376 140737117918672 140314154049928 140313982021896 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=6057/tid=6060] ppid=6054 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6057/task/6060/stat : 6060 (java) S 6054 6057 3589 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 3732170 9856040960 54751 33554432000 1073741824 1073778376 140737117918672 140314115541928 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6057/tid=6061] ppid=6054 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6057/task/6061/stat : 6061 (java) S 6054 6057 3589 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 3732170 9856040960 54751 33554432000 1073741824 1073778376 140737117918672 140314114489384 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6057/tid=6062] ppid=6054 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6057/task/6062/stat : 6062 (java) S 6054 6057 3589 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 3732170 9856040960 54751 33554432000 1073741824 1073778376 140737117918672 140314113436328 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=6057/tid=6063] ppid=6054 vsize=9625040 CPUtime=0.02 cores=0,2,4,6
/proc/6057/task/6063/stat : 6063 (java) S 6054 6057 3589 0 -1 4202560 32 0 0 0 0 2 0 0 20 0 19 0 3732170 9856040960 54751 33554432000 1073741824 1073778376 140737117918672 140314112383784 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6057/tid=6064] ppid=6054 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6057/task/6064/stat : 6064 (java) S 6054 6057 3589 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 3732170 9856040960 54751 33554432000 1073741824 1073778376 140737117918672 140314111330728 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=6057/tid=6065] ppid=6054 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6057/task/6065/stat : 6065 (java) S 6054 6057 3589 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 3732170 9856040960 54751 33554432000 1073741824 1073778376 140737117918672 140314110278184 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6057/tid=6066] ppid=6054 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6057/task/6066/stat : 6066 (java) S 6054 6057 3589 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 3732170 9856040960 54751 33554432000 1073741824 1073778376 140737117918672 140314109225128 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6057/tid=6067] ppid=6054 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6057/task/6067/stat : 6067 (java) S 6054 6057 3589 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 19 0 3732170 9856040960 54751 33554432000 1073741824 1073778376 140737117918672 140314108172584 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6057/tid=6068] ppid=6054 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6057/task/6068/stat : 6068 (java) S 6054 6057 3589 0 -1 4202560 73 0 0 0 0 0 0 0 20 0 19 0 3732171 9856040960 54751 33554432000 1073741824 1073778376 140737117918672 140313977928552 226087712681 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6057/tid=6069] ppid=6054 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6057/task/6069/stat : 6069 (java) S 6054 6057 3589 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 3732171 9856040960 54751 33554432000 1073741824 1073778376 140737117918672 140313976874872 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6057/tid=6070] ppid=6054 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6057/task/6070/stat : 6070 (java) S 6054 6057 3589 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 3732171 9856040960 54751 33554432000 1073741824 1073778376 140737117918672 140313975821704 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6057/tid=6071] ppid=6054 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6057/task/6071/stat : 6071 (java) S 6054 6057 3589 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3732174 9856040960 54751 33554432000 1073741824 1073778376 140737117918672 140313974770448 226087720736 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6057/tid=6072] ppid=6054 vsize=9625040 CPUtime=0.53 cores=0,2,4,6
/proc/6057/task/6072/stat : 6072 (java) S 6054 6057 3589 0 -1 4202560 5083 0 0 0 52 1 0 0 20 0 19 0 3732174 9856040960 54751 33554432000 1073741824 1073778376 140737117918672 140313973717304 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6057/tid=6073] ppid=6054 vsize=9625040 CPUtime=0.64 cores=0,2,4,6
/proc/6057/task/6073/stat : 6073 (java) S 6054 6057 3589 0 -1 4202560 3513 0 0 0 64 0 0 0 20 0 19 0 3732174 9856040960 54751 33554432000 1073741824 1073778376 140737117918672 140313972664760 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6057/tid=6074] ppid=6054 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6057/task/6074/stat : 6074 (java) S 6054 6057 3589 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3732174 9856040960 54751 33554432000 1073741824 1073778376 140737117918672 140313971611896 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6057/tid=6075] ppid=6054 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6057/task/6075/stat : 6075 (java) S 6054 6057 3589 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3732174 9856040960 54751 33554432000 1073741824 1073778376 140737117918672 140313970559560 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6057/tid=6076] ppid=6054 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6057/task/6076/stat : 6076 (java) S 6054 6057 3589 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 3732204 9856040960 54751 33554432000 1073741824 1073778376 140737117918672 140313969505832 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 7.55
Current children cumulated vsize (KiB) 9625040


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

[pid=6057/tid=6076] ppid=6054 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6057/task/6076/stat : 6076 (java) S 6054 6057 3589 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 3732204 9856040960 164635 33554432000 1073741824 1073778376 140737117918672 140313969505832 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1628.93
Current children cumulated vsize (KiB) 9625040

[startup+1662.3 s]
/proc/loadavg: 2.25 2.29 2.25 3/213 6248
/proc/meminfo: memFree=22005016/32872528 swapFree=1588980/1719796
[pid=6057] ppid=6054 vsize=9625040 CPUtime=1689.98 cores=0,2,4,6
/proc/6057/stat : 6057 (java) S 6054 6057 3589 0 -1 4202496 30099 0 1 0 168760 238 0 0 20 0 19 0 3732166 9856040960 178538 33554432000 1073741824 1073778376 140737117918672 140737117909808 226087698493 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6057/statm: 2406260 178538 2297 9 0 2396937 0
[pid=6057/tid=6059] ppid=6054 vsize=9625040 CPUtime=1643.05 cores=0,2,4,6
/proc/6057/task/6059/stat : 6059 (java) R 6054 6057 3589 0 -1 4202560 3137 0 1 0 164275 30 0 0 20 0 19 0 3732168 9856040960 178538 33554432000 1073741824 1073778376 140737117918672 140314154048736 140313981982630 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=6057/tid=6060] ppid=6054 vsize=9625040 CPUtime=4.76 cores=0,2,4,6
/proc/6057/task/6060/stat : 6060 (java) S 6054 6057 3589 0 -1 4202560 1779 0 0 0 448 28 0 0 20 0 19 0 3732170 9856040960 178538 33554432000 1073741824 1073778376 140737117918672 140314115541928 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6057/tid=6061] ppid=6054 vsize=9625040 CPUtime=4.92 cores=0,2,4,6
/proc/6057/task/6061/stat : 6061 (java) S 6054 6057 3589 0 -1 4202560 1457 0 0 0 467 25 0 0 20 0 19 0 3732170 9856040960 178538 33554432000 1073741824 1073778376 140737117918672 140314114489384 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=6057/tid=6062] ppid=6054 vsize=9625040 CPUtime=4.58 cores=0,2,4,6
/proc/6057/task/6062/stat : 6062 (java) S 6054 6057 3589 0 -1 4202560 1532 0 0 0 435 23 0 0 20 0 19 0 3732170 9856040960 178538 33554432000 1073741824 1073778376 140737117918672 140314113436328 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6057/tid=6063] ppid=6054 vsize=9625040 CPUtime=4.68 cores=0,2,4,6
/proc/6057/task/6063/stat : 6063 (java) S 6054 6057 3589 0 -1 4202560 1321 0 0 0 445 23 0 0 20 0 19 0 3732170 9856040960 178538 33554432000 1073741824 1073778376 140737117918672 140314112383784 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6057/tid=6064] ppid=6054 vsize=9625040 CPUtime=4.65 cores=0,2,4,6
/proc/6057/task/6064/stat : 6064 (java) S 6054 6057 3589 0 -1 4202560 1520 0 0 0 437 28 0 0 20 0 19 0 3732170 9856040960 178538 33554432000 1073741824 1073778376 140737117918672 140314111330728 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6057/tid=6065] ppid=6054 vsize=9625040 CPUtime=4.67 cores=0,2,4,6
/proc/6057/task/6065/stat : 6065 (java) S 6054 6057 3589 0 -1 4202560 1720 0 0 0 442 25 0 0 20 0 19 0 3732170 9856040960 178538 33554432000 1073741824 1073778376 140737117918672 140314110278184 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6057/tid=6066] ppid=6054 vsize=9625040 CPUtime=4.93 cores=0,2,4,6
/proc/6057/task/6066/stat : 6066 (java) S 6054 6057 3589 0 -1 4202560 3517 0 0 0 464 29 0 0 20 0 19 0 3732170 9856040960 178538 33554432000 1073741824 1073778376 140737117918672 140314109225128 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6057/tid=6067] ppid=6054 vsize=9625040 CPUtime=4.82 cores=0,2,4,6
/proc/6057/task/6067/stat : 6067 (java) S 6054 6057 3589 0 -1 4202560 2017 0 0 0 456 26 0 0 20 0 19 0 3732170 9856040960 178538 33554432000 1073741824 1073778376 140737117918672 140314108172584 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=6057/tid=6068] ppid=6054 vsize=9625040 CPUtime=3.63 cores=0,2,4,6
/proc/6057/task/6068/stat : 6068 (java) S 6054 6057 3589 0 -1 4202560 2149 0 0 0 355 8 0 0 20 0 19 0 3732171 9856040960 178538 33554432000 1073741824 1073778376 140737117918672 140313977928552 226087712681 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6057/tid=6069] ppid=6054 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6057/task/6069/stat : 6069 (java) S 6054 6057 3589 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 3732171 9856040960 178538 33554432000 1073741824 1073778376 140737117918672 140313976874872 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6057/tid=6070] ppid=6054 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6057/task/6070/stat : 6070 (java) S 6054 6057 3589 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 3732171 9856040960 178538 33554432000 1073741824 1073778376 140737117918672 140313975821704 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6057/tid=6071] ppid=6054 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6057/task/6071/stat : 6071 (java) S 6054 6057 3589 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3732174 9856040960 178538 33554432000 1073741824 1073778376 140737117918672 140313974770448 226087720736 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6057/tid=6072] ppid=6054 vsize=9625040 CPUtime=0.53 cores=0,2,4,6
/proc/6057/task/6072/stat : 6072 (java) S 6054 6057 3589 0 -1 4202560 5083 0 0 0 52 1 0 0 20 0 19 0 3732174 9856040960 178538 33554432000 1073741824 1073778376 140737117918672 140313973717304 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6057/tid=6073] ppid=6054 vsize=9625040 CPUtime=0.66 cores=0,2,4,6
/proc/6057/task/6073/stat : 6073 (java) S 6054 6057 3589 0 -1 4202560 3514 0 0 0 66 0 0 0 20 0 19 0 3732174 9856040960 178538 33554432000 1073741824 1073778376 140737117918672 140313972664760 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6057/tid=6074] ppid=6054 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6057/task/6074/stat : 6074 (java) S 6054 6057 3589 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3732174 9856040960 178538 33554432000 1073741824 1073778376 140737117918672 140313971611896 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6057/tid=6075] ppid=6054 vsize=9625040 CPUtime=0.32 cores=0,2,4,6
/proc/6057/task/6075/stat : 6075 (java) S 6054 6057 3589 0 -1 4202560 95 0 0 0 13 19 0 0 20 0 19 0 3732174 9856040960 178538 33554432000 1073741824 1073778376 140737117918672 140313970559560 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6057/tid=6076] ppid=6054 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6057/task/6076/stat : 6076 (java) S 6054 6057 3589 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 3732204 9856040960 178538 33554432000 1073741824 1073778376 140737117918672 140313969505832 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1689.98
Current children cumulated vsize (KiB) 9625040

[startup+1722.3 s]
/proc/loadavg: 2.22 2.28 2.25 4/213 6249
/proc/meminfo: memFree=21791272/32872528 swapFree=1588980/1719796
[pid=6057] ppid=6054 vsize=9625040 CPUtime=1751.13 cores=0,2,4,6
/proc/6057/stat : 6057 (java) S 6054 6057 3589 0 -1 4202496 30541 0 1 0 174857 256 0 0 20 0 19 0 3732166 9856040960 216562 33554432000 1073741824 1073778376 140737117918672 140737117909808 226087698493 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6057/statm: 2406260 216562 2297 9 0 2396937 0
[pid=6057/tid=6059] ppid=6054 vsize=9625040 CPUtime=1702.24 cores=0,2,4,6
/proc/6057/task/6059/stat : 6059 (java) R 6054 6057 3589 0 -1 4202560 3151 0 1 0 170193 31 0 0 20 0 19 0 3732168 9856040960 216562 33554432000 1073741824 1073778376 140737117918672 140314154041040 140313981746053 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=6057/tid=6060] ppid=6054 vsize=9625040 CPUtime=4.99 cores=0,2,4,6
/proc/6057/task/6060/stat : 6060 (java) S 6054 6057 3589 0 -1 4202560 1822 0 0 0 468 31 0 0 20 0 19 0 3732170 9856040960 216562 33554432000 1073741824 1073778376 140737117918672 140314115541928 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6057/tid=6061] ppid=6054 vsize=9625040 CPUtime=5.11 cores=0,2,4,6
/proc/6057/task/6061/stat : 6061 (java) S 6054 6057 3589 0 -1 4202560 1491 0 0 0 484 27 0 0 20 0 19 0 3732170 9856040960 216562 33554432000 1073741824 1073778376 140737117918672 140314114489384 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6057/tid=6062] ppid=6054 vsize=9625040 CPUtime=4.78 cores=0,2,4,6
/proc/6057/task/6062/stat : 6062 (java) S 6054 6057 3589 0 -1 4202560 1565 0 0 0 453 25 0 0 20 0 19 0 3732170 9856040960 216562 33554432000 1073741824 1073778376 140737117918672 140314113436328 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6057/tid=6063] ppid=6054 vsize=9625040 CPUtime=4.86 cores=0,2,4,6
/proc/6057/task/6063/stat : 6063 (java) S 6054 6057 3589 0 -1 4202560 1350 0 0 0 462 24 0 0 20 0 19 0 3732170 9856040960 216562 33554432000 1073741824 1073778376 140737117918672 140314112383784 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6057/tid=6064] ppid=6054 vsize=9625040 CPUtime=4.85 cores=0,2,4,6
/proc/6057/task/6064/stat : 6064 (java) S 6054 6057 3589 0 -1 4202560 1558 0 0 0 454 31 0 0 20 0 19 0 3732170 9856040960 216562 33554432000 1073741824 1073778376 140737117918672 140314111330728 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=6057/tid=6065] ppid=6054 vsize=9625040 CPUtime=4.85 cores=0,2,4,6
/proc/6057/task/6065/stat : 6065 (java) S 6054 6057 3589 0 -1 4202560 1742 0 0 0 459 26 0 0 20 0 19 0 3732170 9856040960 216562 33554432000 1073741824 1073778376 140737117918672 140314110278184 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6057/tid=6066] ppid=6054 vsize=9625040 CPUtime=5.15 cores=0,2,4,6
/proc/6057/task/6066/stat : 6066 (java) S 6054 6057 3589 0 -1 4202560 3553 0 0 0 484 31 0 0 20 0 19 0 3732170 9856040960 216562 33554432000 1073741824 1073778376 140737117918672 140314109225128 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6057/tid=6067] ppid=6054 vsize=9625040 CPUtime=5.01 cores=0,2,4,6
/proc/6057/task/6067/stat : 6067 (java) S 6054 6057 3589 0 -1 4202560 2057 0 0 0 472 29 0 0 20 0 19 0 3732170 9856040960 216562 33554432000 1073741824 1073778376 140737117918672 140314108172584 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6057/tid=6068] ppid=6054 vsize=9625040 CPUtime=3.86 cores=0,2,4,6
/proc/6057/task/6068/stat : 6068 (java) S 6054 6057 3589 0 -1 4202560 2298 0 0 0 377 9 0 0 20 0 19 0 3732171 9856040960 216562 33554432000 1073741824 1073778376 140737117918672 140313977928552 226087712681 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6057/tid=6069] ppid=6054 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6057/task/6069/stat : 6069 (java) S 6054 6057 3589 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 3732171 9856040960 216562 33554432000 1073741824 1073778376 140737117918672 140313976874872 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6057/tid=6070] ppid=6054 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6057/task/6070/stat : 6070 (java) S 6054 6057 3589 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 3732171 9856040960 216562 33554432000 1073741824 1073778376 140737117918672 140313975821704 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6057/tid=6071] ppid=6054 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6057/task/6071/stat : 6071 (java) S 6054 6057 3589 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3732174 9856040960 216562 33554432000 1073741824 1073778376 140737117918672 140313974770448 226087720736 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6057/tid=6072] ppid=6054 vsize=9625040 CPUtime=0.53 cores=0,2,4,6
/proc/6057/task/6072/stat : 6072 (java) S 6054 6057 3589 0 -1 4202560 5083 0 0 0 52 1 0 0 20 0 19 0 3732174 9856040960 216562 33554432000 1073741824 1073778376 140737117918672 140313973717304 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6057/tid=6073] ppid=6054 vsize=9625040 CPUtime=0.66 cores=0,2,4,6
/proc/6057/task/6073/stat : 6073 (java) S 6054 6057 3589 0 -1 4202560 3514 0 0 0 66 0 0 0 20 0 19 0 3732174 9856040960 216562 33554432000 1073741824 1073778376 140737117918672 140313972664760 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6057/tid=6074] ppid=6054 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6057/task/6074/stat : 6074 (java) S 6054 6057 3589 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3732174 9856040960 216562 33554432000 1073741824 1073778376 140737117918672 140313971611896 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6057/tid=6075] ppid=6054 vsize=9625040 CPUtime=0.34 cores=0,2,4,6
/proc/6057/task/6075/stat : 6075 (java) S 6054 6057 3589 0 -1 4202560 99 0 0 0 14 20 0 0 20 0 19 0 3732174 9856040960 216562 33554432000 1073741824 1073778376 140737117918672 140313970559560 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6057/tid=6076] ppid=6054 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6057/task/6076/stat : 6076 (java) S 6054 6057 3589 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 3732204 9856040960 216562 33554432000 1073741824 1073778376 140737117918672 140313969505832 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1751.13
Current children cumulated vsize (KiB) 9625040



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1770.6 s]
/proc/loadavg: 2.56 2.38 2.29 4/213 6250
/proc/meminfo: memFree=21410528/32872528 swapFree=1588980/1719796
[pid=6057] ppid=6054 vsize=9625040 CPUtime=1800.06 cores=0,2,4,6
/proc/6057/stat : 6057 (java) S 6054 6057 3589 0 -1 4202496 30660 0 1 0 179742 264 0 0 20 0 19 0 3732166 9856040960 230365 33554432000 1073741824 1073778376 140737117918672 140737117909808 226087698493 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6057/statm: 2406260 230365 2297 9 0 2396937 0
[pid=6057/tid=6059] ppid=6054 vsize=9625040 CPUtime=1750.05 cores=0,2,4,6
/proc/6057/task/6059/stat : 6059 (java) R 6054 6057 3589 0 -1 4202560 3160 0 1 0 174973 32 0 0 20 0 19 0 3732168 9856040960 230365 33554432000 1073741824 1073778376 140737117918672 140314154048672 140313982021896 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=6057/tid=6060] ppid=6054 vsize=9625040 CPUtime=5.08 cores=0,2,4,6
/proc/6057/task/6060/stat : 6060 (java) S 6054 6057 3589 0 -1 4202560 1836 0 0 0 476 32 0 0 20 0 19 0 3732170 9856040960 230365 33554432000 1073741824 1073778376 140737117918672 140314115541928 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6057/tid=6061] ppid=6054 vsize=9625040 CPUtime=5.21 cores=0,2,4,6
/proc/6057/task/6061/stat : 6061 (java) S 6054 6057 3589 0 -1 4202560 1507 0 0 0 493 28 0 0 20 0 19 0 3732170 9856040960 230365 33554432000 1073741824 1073778376 140737117918672 140314114489384 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=6057/tid=6062] ppid=6054 vsize=9625040 CPUtime=4.89 cores=0,2,4,6
/proc/6057/task/6062/stat : 6062 (java) S 6054 6057 3589 0 -1 4202560 1575 0 0 0 464 25 0 0 20 0 19 0 3732170 9856040960 230365 33554432000 1073741824 1073778376 140737117918672 140314113436328 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6057/tid=6063] ppid=6054 vsize=9625040 CPUtime=4.96 cores=0,2,4,6
/proc/6057/task/6063/stat : 6063 (java) S 6054 6057 3589 0 -1 4202560 1364 0 0 0 470 26 0 0 20 0 19 0 3732170 9856040960 230365 33554432000 1073741824 1073778376 140737117918672 140314112383784 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6057/tid=6064] ppid=6054 vsize=9625040 CPUtime=4.97 cores=0,2,4,6
/proc/6057/task/6064/stat : 6064 (java) S 6054 6057 3589 0 -1 4202560 1565 0 0 0 465 32 0 0 20 0 19 0 3732170 9856040960 230365 33554432000 1073741824 1073778376 140737117918672 140314111330728 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6057/tid=6065] ppid=6054 vsize=9625040 CPUtime=4.98 cores=0,2,4,6
/proc/6057/task/6065/stat : 6065 (java) S 6054 6057 3589 0 -1 4202560 1752 0 0 0 471 27 0 0 20 0 19 0 3732170 9856040960 230365 33554432000 1073741824 1073778376 140737117918672 140314110278184 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6057/tid=6066] ppid=6054 vsize=9625040 CPUtime=5.29 cores=0,2,4,6
/proc/6057/task/6066/stat : 6066 (java) S 6054 6057 3589 0 -1 4202560 3568 0 0 0 497 32 0 0 20 0 19 0 3732170 9856040960 230365 33554432000 1073741824 1073778376 140737117918672 140314109225128 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=6057/tid=6067] ppid=6054 vsize=9625040 CPUtime=5.1 cores=0,2,4,6
/proc/6057/task/6067/stat : 6067 (java) S 6054 6057 3589 0 -1 4202560 2069 0 0 0 480 30 0 0 20 0 19 0 3732170 9856040960 230365 33554432000 1073741824 1073778376 140737117918672 140314108172584 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6057/tid=6068] ppid=6054 vsize=9625040 CPUtime=3.98 cores=0,2,4,6
/proc/6057/task/6068/stat : 6068 (java) S 6054 6057 3589 0 -1 4202560 2308 0 0 0 389 9 0 0 20 0 19 0 3732171 9856040960 230365 33554432000 1073741824 1073778376 140737117918672 140313977928552 226087712681 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6057/tid=6069] ppid=6054 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6057/task/6069/stat : 6069 (java) S 6054 6057 3589 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 3732171 9856040960 230365 33554432000 1073741824 1073778376 140737117918672 140313976874872 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6057/tid=6070] ppid=6054 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6057/task/6070/stat : 6070 (java) S 6054 6057 3589 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 3732171 9856040960 230365 33554432000 1073741824 1073778376 140737117918672 140313975821704 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6057/tid=6071] ppid=6054 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6057/task/6071/stat : 6071 (java) S 6054 6057 3589 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3732174 9856040960 230365 33554432000 1073741824 1073778376 140737117918672 140313974770448 226087720736 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6057/tid=6072] ppid=6054 vsize=9625040 CPUtime=0.53 cores=0,2,4,6
/proc/6057/task/6072/stat : 6072 (java) S 6054 6057 3589 0 -1 4202560 5083 0 0 0 52 1 0 0 20 0 19 0 3732174 9856040960 230365 33554432000 1073741824 1073778376 140737117918672 140313973717304 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6057/tid=6073] ppid=6054 vsize=9625040 CPUtime=0.66 cores=0,2,4,6
/proc/6057/task/6073/stat : 6073 (java) S 6054 6057 3589 0 -1 4202560 3514 0 0 0 66 0 0 0 20 0 19 0 3732174 9856040960 230365 33554432000 1073741824 1073778376 140737117918672 140313972664760 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6057/tid=6074] ppid=6054 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6057/task/6074/stat : 6074 (java) S 6054 6057 3589 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3732174 9856040960 230365 33554432000 1073741824 1073778376 140737117918672 140313971611896 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6057/tid=6075] ppid=6054 vsize=9625040 CPUtime=0.35 cores=0,2,4,6
/proc/6057/task/6075/stat : 6075 (java) S 6054 6057 3589 0 -1 4202560 101 0 0 0 15 20 0 0 20 0 19 0 3732174 9856040960 230365 33554432000 1073741824 1073778376 140737117918672 140313970559560 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6057/tid=6076] ppid=6054 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/6057/task/6076/stat : 6076 (java) S 6054 6057 3589 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 3732204 9856040960 230365 33554432000 1073741824 1073778376 140737117918672 140313969505832 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 9625040

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

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

Child status: 143

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 6057 and gives
#  childrusage.ru_utime.tv_sec=1793
#  childrusage.ru_utime.tv_usec=328372
#  childrusage.ru_stime.tv_sec=3
#  childrusage.ru_stime.tv_usec=93529
# CPU time returned by wait4() is 1796.42
# while last known CPU time is 1800.06
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1770.66
CPU time (s): 1800.06
CPU user time (s): 1797.42
CPU system time (s): 2.64
CPU usage (%): 101.661
Max. virtual memory (cumulated for all children) (KiB): 9625040

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.33
system time used= 3.09353
maximum resident set size= 921588
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 30698
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1680
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 59156
involuntary context switches= 70003

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.79051 second user time and 13.066 second system time

The end

Begin job on node120 at 2016-06-29 21:15:37
IDJOB=4118335
IDBENCH=111482
IDSOLVER=2546
FILE ID=node120/4118335-1467227736
RUNJOBID= node120-1467209132-3606
PBS_JOBID= 19997582
Free space on /tmp= 71672 MiB

SOLVER NAME= Sat4j PB 2.3.6 Resolution PB16
BENCH NAME= PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/minlplib2-pb-0.1.0/opb/normalized-autocorr_bern60-08.lin.opb
COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4118335-1467227736/watcher-4118335-1467227736 -o /tmp/evaluation-result-4118335-1467227736/solver-4118335-1467227736 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node120-1467209132-3606 --watchdog 1960  java -jar sat4j-pb.jar HOME/instance-4118335-1467227736.opb

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

MD5SUM BENCH= e41fab50c28f2d92f5119de116cc6950
RANDOM SEED=1049263277

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

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.669
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:        25565552 kB
Buffers:           63380 kB
Cached:          4100432 kB
SwapCached:            0 kB
Active:           785344 kB
Inactive:        4080232 kB
Active(anon):     702808 kB
Inactive(anon):     1532 kB
Active(file):      82536 kB
Inactive(file):  4078700 kB
Unevictable:     1719796 kB
Mlocked:         1588980 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:               444 kB
Writeback:             0 kB
AnonPages:       2513680 kB
Mapped:            22228 kB
Shmem:               204 kB
Slab:             586048 kB
SReclaimable:      30336 kB
SUnreclaim:       555712 kB
KernelStack:        1768 kB
PageTables:         9436 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2646428 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    876544 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= 71668 MiB
End job on node120 at 2016-06-29 21:45:07