0.00/0.09	c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS
0.00/0.09	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.09	c See www.sat4j.org for details.
0.00/0.09	c version PB16.v20160501
0.00/0.09	c java.runtime.name	Java(TM) SE Runtime Environment
0.00/0.09	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.00/0.09	c java.vm.version	19.1-b02
0.00/0.09	c java.vm.vendor	Sun Microsystems Inc.
0.00/0.09	c sun.arch.data.model	64
0.00/0.09	c java.version		1.6.0_24
0.00/0.09	c os.name		Linux
0.00/0.09	c os.version		2.6.32-71.29.1.el6.x86_64
0.00/0.09	c os.arch		amd64
0.00/0.09	c Free memory 		501472288
0.00/0.09	c Max memory 		7480803328
0.00/0.09	c Total memory 		504102912
0.00/0.09	c Number of processors 	8
0.09/0.12	c Pseudo Boolean Optimization by upper bound
0.09/0.12	c --- Begin Solver configuration ---
0.09/0.12	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@2b21cc40
0.09/0.12	c Learn all clauses as in MiniSAT
0.09/0.12	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.09/0.12	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.09/0.12	c No reason simplification
0.09/0.12	c Glucose 2.1 dynamic restart strategy
0.09/0.12	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.09/0.12	c timeout=2147483s
0.09/0.12	c DB Simplification allowed=false
0.09/0.12	c Listener: org.sat4j.minisat.core.VoidTracing@7c64dc11
0.09/0.12	c --- End Solver configuration ---
0.09/0.12	c solving HOME/instance-4118344-1467228017.opb
0.09/0.12	c reading problem ... 
0.09/0.12	c  objective function found
0.46/0.34	c ... done. Wall clock time 0.219s.
0.46/0.34	c declared #vars     1476
0.46/0.34	c #constraints  4044
0.46/0.34	c constraints type 
0.46/0.34	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 2749
0.46/0.34	c org.sat4j.specs.Constr$1 => 1
0.46/0.34	c org.sat4j.minisat.constraints.cnf.UnitClause => 1
0.46/0.34	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 1293
0.46/0.34	c 4044 constraints processed.
0.46/0.34	c objective function length is 1441 literals
0.46/0.36	c SATISFIABLE
0.46/0.36	c OPTIMIZING...
0.46/0.36	c Got one! Elapsed wall clock time (in seconds):0.246
0.46/0.36	o 772
0.73/0.41	c Got one! Elapsed wall clock time (in seconds):0.289
0.73/0.41	o 771
0.73/0.47	c Got one! Elapsed wall clock time (in seconds):0.353
0.73/0.47	o 768
1.02/0.51	c Got one! Elapsed wall clock time (in seconds):0.389
1.02/0.51	o 749
1.02/0.58	c Got one! Elapsed wall clock time (in seconds):0.46
1.02/0.58	o 746
1.29/0.60	c Got one! Elapsed wall clock time (in seconds):0.486
1.29/0.60	o 744
1.52/0.85	c Got one! Elapsed wall clock time (in seconds):0.737
1.52/0.85	o 743
1.79/1.03	c Got one! Elapsed wall clock time (in seconds):0.909
1.79/1.03	o 742
1.79/1.03	c Got one! Elapsed wall clock time (in seconds):0.914
1.79/1.03	o 730
1.79/1.04	c Got one! Elapsed wall clock time (in seconds):0.917
1.79/1.04	o 729
1.79/1.04	c Got one! Elapsed wall clock time (in seconds):0.921
1.79/1.04	o 724
1.79/1.04	c Got one! Elapsed wall clock time (in seconds):0.925
1.79/1.04	o 723
1.79/1.05	c Got one! Elapsed wall clock time (in seconds):0.93
1.79/1.05	o 722
1.79/1.05	c Got one! Elapsed wall clock time (in seconds):0.933
1.79/1.05	o 705
1.79/1.05	c Got one! Elapsed wall clock time (in seconds):0.937
1.79/1.05	o 699
1.97/1.10	c Got one! Elapsed wall clock time (in seconds):0.987
1.97/1.10	o 698
1.97/1.11	c Got one! Elapsed wall clock time (in seconds):0.989
1.97/1.11	o 696
1.97/1.15	c Got one! Elapsed wall clock time (in seconds):1.035
1.97/1.15	o 694
2.30/1.41	c Got one! Elapsed wall clock time (in seconds):1.296
2.30/1.41	o 693
2.40/1.58	c cleaning 3708 clauses out of 7423 with flag 2029/7423
2.52/1.67	c Got one! Elapsed wall clock time (in seconds):1.547
2.52/1.67	o 692
3.05/2.20	c Got one! Elapsed wall clock time (in seconds):2.079
3.05/2.20	o 687
3.16/2.23	c Got one! Elapsed wall clock time (in seconds):2.113
3.16/2.23	o 686
3.26/2.37	c cleaning 4845 clauses out of 9690 with flag 2021/13398
3.45/2.53	c Got one! Elapsed wall clock time (in seconds):2.409
3.45/2.53	o 685
3.96/3.01	c Got one! Elapsed wall clock time (in seconds):2.889
3.96/3.01	o 683
4.06/3.15	c cleaning 5423 clauses out of 10850 with flag 2042/19403
4.27/3.31	c Got one! Elapsed wall clock time (in seconds):3.188
4.27/3.31	o 682
4.56/3.61	c Got one! Elapsed wall clock time (in seconds):3.496
4.56/3.61	o 679
4.86/3.91	c cleaning 5474 clauses out of 10949 with flag 4029/24925
5.28/4.36	c Got one! Elapsed wall clock time (in seconds):4.239
5.28/4.36	o 678
5.62/4.65	c cleaning 5363 clauses out of 10735 with flag 4009/30185
6.32/5.35	c Got one! Elapsed wall clock time (in seconds):5.229
6.32/5.35	o 677
6.32/5.35	c Got one! Elapsed wall clock time (in seconds):5.234
6.32/5.35	o 672
6.32/5.35	c Got one! Elapsed wall clock time (in seconds):5.235
6.32/5.35	o 668
6.32/5.36	c Got one! Elapsed wall clock time (in seconds):5.238
6.32/5.36	o 667
6.32/5.36	c Got one! Elapsed wall clock time (in seconds):5.239
6.32/5.36	o 662
6.32/5.36	c Got one! Elapsed wall clock time (in seconds):5.246
6.32/5.36	o 657
6.42/5.44	c Got one! Elapsed wall clock time (in seconds):5.327
6.42/5.44	o 655
7.22/6.23	c cleaning 8122 clauses out of 16246 with flag 10459/41059
7.42/6.41	c Got one! Elapsed wall clock time (in seconds):6.293
7.42/6.41	o 654
7.42/6.43	c Got one! Elapsed wall clock time (in seconds):6.31
7.42/6.43	o 653
7.42/6.47	c Got one! Elapsed wall clock time (in seconds):6.357
7.42/6.47	o 652
7.63/6.70	c Got one! Elapsed wall clock time (in seconds):6.582
7.63/6.70	o 650
7.73/6.71	c Got one! Elapsed wall clock time (in seconds):6.587
7.73/6.71	o 649
7.73/6.75	c Got one! Elapsed wall clock time (in seconds):6.632
7.73/6.75	o 647
7.73/6.75	c Got one! Elapsed wall clock time (in seconds):6.637
7.73/6.75	o 645
7.83/6.87	c Got one! Elapsed wall clock time (in seconds):6.754
7.83/6.87	o 644
8.33/7.33	c cleaning 7852 clauses out of 15708 with flag 6069/48643
8.53/7.52	c Got one! Elapsed wall clock time (in seconds):7.397
8.53/7.52	o 642
8.63/7.67	c Got one! Elapsed wall clock time (in seconds):7.556
8.63/7.67	o 637
8.73/7.78	c Got one! Elapsed wall clock time (in seconds):7.658
8.73/7.78	o 635
9.23/8.22	c cleaning 7103 clauses out of 14207 with flag 6084/54994
9.43/8.40	c Got one! Elapsed wall clock time (in seconds):8.285
9.43/8.40	o 634
9.43/8.41	c Got one! Elapsed wall clock time (in seconds):8.29
9.43/8.41	o 632
9.93/8.98	c cleaning 6263 clauses out of 12527 with flag 8018/60417
10.03/9.01	c Got one! Elapsed wall clock time (in seconds):8.889
10.03/9.01	o 631
10.50/9.50	c Got one! Elapsed wall clock time (in seconds):9.377
10.50/9.50	o 630
10.80/9.77	c cleaning 5921 clauses out of 11847 with flag 4097/66000
11.20/10.11	c Got one! Elapsed wall clock time (in seconds):9.994
11.20/10.11	o 628
11.30/10.25	c Got one! Elapsed wall clock time (in seconds):10.128
11.30/10.25	o 626
11.30/10.25	c Got one! Elapsed wall clock time (in seconds):10.132
11.30/10.25	o 625
11.30/10.25	c Got one! Elapsed wall clock time (in seconds):10.135
11.30/10.25	o 624
11.30/10.25	c Got one! Elapsed wall clock time (in seconds):10.137
11.30/10.25	o 623
11.82/10.71	c cleaning 6283 clauses out of 12574 with flag 6047/72648
12.62/11.58	c cleaning 6141 clauses out of 12291 with flag 18127/78648
13.72/12.62	c cleaning 6572 clauses out of 13150 with flag 32191/85648
14.93/13.80	c cleaning 7289 clauses out of 14579 with flag 48266/93649
15.30/14.19	c Got one! Elapsed wall clock time (in seconds):14.074
15.30/14.19	o 622
15.80/14.64	c cleaning 6526 clauses out of 13059 with flag 6089/99418
16.60/15.47	c cleaning 6262 clauses out of 12533 with flag 18121/105418
17.60/16.41	c cleaning 6634 clauses out of 13272 with flag 32188/112419
17.60/16.47	c Got one! Elapsed wall clock time (in seconds):16.354
17.60/16.47	o 620
17.60/16.47	c Got one! Elapsed wall clock time (in seconds):16.356
17.60/16.47	o 619
18.40/17.21	c cleaning 6076 clauses out of 12162 with flag 10333/117943
19.30/18.11	c cleaning 6035 clauses out of 12086 with flag 22585/123943
20.29/19.15	c cleaning 6520 clauses out of 13050 with flag 36650/130942
21.50/20.29	c cleaning 7262 clauses out of 14531 with flag 52879/138943
22.80/21.57	c cleaning 8128 clauses out of 16269 with flag 71972/147943
24.30/23.05	c cleaning 9064 clauses out of 18140 with flag 92916/157942
26.13/24.76	c cleaning 10034 clauses out of 20077 with flag 115819/168943
27.43/26.02	c Got one! Elapsed wall clock time (in seconds):25.902
27.43/26.02	o 617
28.13/26.78	c cleaning 12057 clauses out of 24134 with flag 10397/183034
28.13/26.79	c Got one! Elapsed wall clock time (in seconds):26.673
28.13/26.79	o 616
28.83/27.48	c cleaning 8559 clauses out of 17129 with flag 10304/188086
29.73/28.33	c cleaning 7275 clauses out of 14570 with flag 22816/194086
30.73/29.32	c cleaning 7146 clauses out of 14295 with flag 37419/201086
31.91/30.43	c cleaning 7571 clauses out of 15151 with flag 54051/209088
32.32/30.88	c Got one! Elapsed wall clock time (in seconds):30.765
32.32/30.88	o 615
32.61/31.16	c cleaning 6529 clauses out of 13069 with flag 4177/214577
32.71/31.27	c Got one! Elapsed wall clock time (in seconds):31.154
32.71/31.27	o 614
32.91/31.48	c Got one! Elapsed wall clock time (in seconds):31.367
32.91/31.48	o 612
33.52/32.04	c cleaning 6592 clauses out of 13192 with flag 8405/221229
33.61/32.16	c Got one! Elapsed wall clock time (in seconds):32.043
33.61/32.16	o 611
34.31/32.83	c cleaning 6281 clauses out of 12571 with flag 10479/227200
35.11/33.63	c cleaning 6144 clauses out of 12291 with flag 22976/233201
35.99/34.48	c Got one! Elapsed wall clock time (in seconds):34.359
35.99/34.48	o 608
36.69/35.18	c cleaning 8691 clauses out of 17386 with flag 10165/244440
36.99/35.42	c Got one! Elapsed wall clock time (in seconds):35.304
36.99/35.42	o 607
37.19/35.67	c Got one! Elapsed wall clock time (in seconds):35.553
37.19/35.67	o 606
37.59/36.09	c cleaning 7762 clauses out of 15526 with flag 6271/251271
38.49/36.92	c cleaning 6879 clauses out of 13764 with flag 18803/257271
39.39/37.89	c cleaning 6928 clauses out of 13885 with flag 33494/264271
39.89/38.36	c Got one! Elapsed wall clock time (in seconds):38.245
39.89/38.36	o 605
40.24/38.66	c cleaning 6347 clauses out of 12705 with flag 4114/270019
40.43/38.86	c Got one! Elapsed wall clock time (in seconds):38.74
40.43/38.86	o 604
40.53/38.98	c Got one! Elapsed wall clock time (in seconds):38.864
40.53/38.98	o 603
40.53/38.99	c Got one! Elapsed wall clock time (in seconds):38.872
40.53/38.99	o 602
41.13/39.56	c cleaning 6514 clauses out of 13041 with flag 8662/276702
41.93/40.36	c cleaning 6255 clauses out of 12527 with flag 21208/282702
42.23/40.69	c Got one! Elapsed wall clock time (in seconds):40.574
42.23/40.69	o 601
42.73/41.10	c cleaning 5949 clauses out of 11899 with flag 6176/288329
43.44/41.83	c Got one! Elapsed wall clock time (in seconds):41.71
43.44/41.83	o 600
44.13/42.53	c cleaning 8272 clauses out of 16556 with flag 10294/298935
45.02/43.38	c cleaning 7140 clauses out of 14286 with flag 22650/304937
46.02/44.31	c cleaning 7073 clauses out of 14148 with flag 37042/311939
46.12/44.40	c Got one! Elapsed wall clock time (in seconds):44.28
46.12/44.40	o 598
46.72/45.04	c cleaning 6368 clauses out of 12747 with flag 10285/317611
47.22/45.59	c Got one! Elapsed wall clock time (in seconds):45.475
47.22/45.59	o 596
47.42/45.73	c cleaning 5829 clauses out of 11676 with flag 2062/322908
47.52/45.87	c Got one! Elapsed wall clock time (in seconds):45.752
47.52/45.87	o 595
48.02/46.39	c cleaning 5542 clauses out of 11085 with flag 8177/328146
49.00/47.25	c cleaning 5771 clauses out of 11543 with flag 20535/334146
49.99/48.22	c cleaning 6386 clauses out of 12773 with flag 35091/341147
51.19/49.40	c cleaning 7185 clauses out of 14385 with flag 51965/349145
52.40/50.69	c cleaning 8095 clauses out of 16203 with flag 71010/358148
54.15/52.32	c cleaning 9048 clauses out of 18105 with flag 92215/368145
55.86/54.04	c cleaning 10026 clauses out of 20057 with flag 114919/379145
57.65/55.87	c cleaning 11009 clauses out of 22032 with flag 139805/391146
59.87/57.90	c cleaning 12008 clauses out of 24022 with flag 166877/404145
62.17/60.20	c cleaning 13003 clauses out of 26016 with flag 196003/418147
64.67/62.70	c cleaning 14003 clauses out of 28011 with flag 227391/433145
67.37/65.32	c cleaning 15002 clauses out of 30010 with flag 260910/449147
70.42/68.36	c cleaning 15998 clauses out of 32006 with flag 296759/466145
73.60/71.46	c Got one! Elapsed wall clock time (in seconds):71.347
73.60/71.46	o 594
74.60/72.43	c cleaning 19029 clauses out of 38072 with flag 10647/488209
75.60/73.41	c cleaning 12517 clauses out of 25043 with flag 23470/494209
76.70/74.52	c cleaning 9758 clauses out of 19528 with flag 38661/501211
77.96/75.79	c cleaning 8879 clauses out of 17769 with flag 55979/509210
79.37/77.18	c cleaning 8936 clauses out of 17889 with flag 75536/518209
80.96/78.76	c cleaning 9474 clauses out of 18954 with flag 96939/528210
82.78/80.55	c cleaning 10237 clauses out of 20479 with flag 120450/539209
84.68/82.48	c cleaning 11119 clauses out of 22242 with flag 145688/551209
86.93/84.62	c cleaning 12057 clauses out of 24125 with flag 173336/564211
89.13/86.80	c cleaning 13031 clauses out of 26066 with flag 202712/578209
91.57/89.24	c cleaning 14013 clauses out of 28035 with flag 234094/593209
94.07/91.75	c cleaning 15008 clauses out of 30022 with flag 267870/609209
96.90/94.57	c cleaning 16001 clauses out of 32015 with flag 303843/626210
99.94/97.54	c cleaning 17003 clauses out of 34014 with flag 342187/644210
103.31/100.89	c cleaning 18005 clauses out of 36012 with flag 382737/663211
106.90/104.32	c cleaning 19002 clauses out of 38009 with flag 426548/683213
110.60/108.07	c cleaning 19997 clauses out of 40004 with flag 471931/704210
114.75/112.18	c cleaning 20999 clauses out of 42010 with flag 519702/726213
118.98/116.33	c cleaning 22003 clauses out of 44008 with flag 568944/749210
123.90/121.11	c cleaning 22996 clauses out of 46004 with flag 619686/773209
129.66/126.80	c cleaning 23999 clauses out of 48009 with flag 672029/798210
130.26/127.45	c Got one! Elapsed wall clock time (in seconds):127.33
130.26/127.45	o 592
130.67/127.84	c cleaning 14603 clauses out of 29214 with flag 4183/803414
131.58/128.75	c cleaning 10292 clauses out of 20608 with flag 16480/809411
132.71/129.83	c cleaning 8653 clauses out of 17318 with flag 30907/816413
133.91/131.01	c cleaning 8323 clauses out of 16664 with flag 47811/824412
135.31/132.41	c Got one! Elapsed wall clock time (in seconds):132.294
135.31/132.41	o 589
136.15/133.22	c cleaning 10939 clauses out of 21881 with flag 10427/837952
137.04/134.10	c cleaning 8458 clauses out of 16940 with flag 23019/843950
137.94/135.08	c cleaning 7734 clauses out of 15487 with flag 37833/850955
139.05/136.15	c cleaning 7869 clauses out of 15750 with flag 54770/858952
140.34/137.47	c cleaning 8435 clauses out of 16880 with flag 73764/867951
141.97/139.05	c cleaning 9217 clauses out of 18444 with flag 95133/877950
143.67/140.70	c cleaning 10107 clauses out of 20228 with flag 118420/888951
145.50/142.57	c cleaning 11054 clauses out of 22120 with flag 143685/900950
147.54/144.60	c cleaning 12030 clauses out of 24068 with flag 171490/913952
149.74/146.72	c Got one! Elapsed wall clock time (in seconds):146.598
149.74/146.72	o 587
150.79/147.74	c cleaning 15495 clauses out of 30995 with flag 10832/932909
151.69/148.68	c cleaning 10742 clauses out of 21499 with flag 23510/938908
152.69/149.64	c cleaning 8869 clauses out of 17757 with flag 38282/945908
153.80/150.77	c cleaning 8435 clauses out of 16888 with flag 54901/953908
155.09/152.08	c cleaning 8724 clauses out of 17454 with flag 73244/962909
155.39/152.32	c Got one! Elapsed wall clock time (in seconds):152.199
155.39/152.32	o 585
155.90/152.89	c cleaning 7275 clauses out of 14567 with flag 8400/968746
156.30/153.25	c Got one! Elapsed wall clock time (in seconds):153.13
156.30/153.25	o 584
156.70/153.69	c cleaning 6533 clauses out of 13086 with flag 6208/974540
157.60/154.58	c cleaning 6268 clauses out of 12553 with flag 18581/980540
158.61/155.54	c cleaning 6631 clauses out of 13285 with flag 33316/987540
159.71/156.69	c cleaning 7321 clauses out of 14654 with flag 50759/995540
161.12/158.02	c cleaning 8160 clauses out of 16333 with flag 70158/1004540
162.73/159.66	c cleaning 9078 clauses out of 18173 with flag 91840/1014540
164.65/161.53	c cleaning 10046 clauses out of 20095 with flag 115129/1025540
166.67/163.53	c cleaning 11019 clauses out of 22049 with flag 139950/1037540
168.90/165.78	c cleaning 12009 clauses out of 24030 with flag 167394/1050540
171.55/168.34	c cleaning 13008 clauses out of 26023 with flag 197089/1064542
174.17/170.99	c cleaning 14002 clauses out of 28014 with flag 228590/1079541
177.25/173.98	c cleaning 15005 clauses out of 30011 with flag 262138/1095540
180.59/177.25	c cleaning 16003 clauses out of 32011 with flag 298384/1112545
184.03/180.65	c cleaning 16997 clauses out of 34003 with flag 336434/1130540
187.76/184.33	c cleaning 17999 clauses out of 36006 with flag 376363/1149540
192.05/188.56	c cleaning 18999 clauses out of 38007 with flag 417909/1169540
196.41/192.80	c cleaning 19997 clauses out of 40009 with flag 462218/1190541
200.78/197.12	c cleaning 21001 clauses out of 42012 with flag 509433/1212541
205.26/201.58	c cleaning 22001 clauses out of 44011 with flag 558476/1235541
210.19/206.36	c cleaning 22999 clauses out of 46012 with flag 609614/1259543
215.67/211.74	c cleaning 24001 clauses out of 48010 with flag 663651/1284540
221.25/217.29	c cleaning 24999 clauses out of 50010 with flag 719139/1310541
224.05/219.95	c Got one! Elapsed wall clock time (in seconds):219.831
224.05/219.95	o 581
225.08/220.99	c cleaning 22182 clauses out of 44379 with flag 10332/1329909
226.08/221.99	c cleaning 14091 clauses out of 28197 with flag 23100/1335909
227.30/223.10	c cleaning 10545 clauses out of 21105 with flag 38264/1342908
228.50/224.36	c cleaning 9274 clauses out of 18561 with flag 55429/1350909
229.93/225.75	c cleaning 9136 clauses out of 18286 with flag 74767/1359908
231.44/227.30	c cleaning 9571 clauses out of 19151 with flag 96609/1369909
233.28/229.04	c cleaning 10286 clauses out of 20579 with flag 120190/1380908
235.21/230.93	c cleaning 11140 clauses out of 22293 with flag 146193/1392908
237.34/233.00	c cleaning 12069 clauses out of 24153 with flag 173246/1405908
239.67/235.36	c cleaning 13040 clauses out of 26085 with flag 204154/1419909
242.32/237.98	c cleaning 14018 clauses out of 28044 with flag 236514/1434908
245.36/241.00	c cleaning 15010 clauses out of 30027 with flag 271583/1450909
248.62/244.16	c cleaning 16003 clauses out of 32017 with flag 308352/1467909
252.09/247.56	c cleaning 17003 clauses out of 34014 with flag 346727/1485909
255.86/251.30	c cleaning 18002 clauses out of 36011 with flag 386974/1504909
259.83/255.14	c cleaning 19003 clauses out of 38008 with flag 429096/1524908
263.71/258.92	c cleaning 19999 clauses out of 40005 with flag 474511/1545908
267.75/262.92	c cleaning 21000 clauses out of 42006 with flag 521286/1567908
272.11/267.28	c cleaning 22001 clauses out of 44007 with flag 570860/1590909
276.87/271.92	c cleaning 22997 clauses out of 46005 with flag 624311/1614908
281.79/276.77	c cleaning 23997 clauses out of 48008 with flag 676373/1639908
287.17/282.03	c cleaning 25003 clauses out of 50011 with flag 730924/1665908
293.06/287.70	c cleaning 26001 clauses out of 52008 with flag 787299/1692908
299.02/293.60	c cleaning 26998 clauses out of 54008 with flag 847640/1720909
305.32/299.85	c cleaning 28003 clauses out of 56011 with flag 911035/1749910
311.64/306.07	c cleaning 29001 clauses out of 58008 with flag 977813/1779910
318.93/313.27	c cleaning 29998 clauses out of 60005 with flag 1045273/1810908
325.67/319.87	c Got one! Elapsed wall clock time (in seconds):319.756
325.67/319.87	o 579
327.08/321.25	c cleaning 32994 clauses out of 65999 with flag 11123/1846900
328.07/322.24	c cleaning 19500 clauses out of 39008 with flag 23933/1852903
329.21/323.32	c cleaning 13237 clauses out of 26505 with flag 38978/1859900
330.34/324.50	c cleaning 10631 clauses out of 21268 with flag 56981/1867900
331.74/325.85	c cleaning 9810 clauses out of 19637 with flag 78107/1876900
333.23/327.31	c cleaning 9909 clauses out of 19827 with flag 100135/1886900
334.77/328.89	c cleaning 10455 clauses out of 20920 with flag 123857/1897902
336.59/330.66	c cleaning 11227 clauses out of 22463 with flag 149815/1909900
338.73/332.71	c cleaning 12116 clauses out of 24238 with flag 178340/1922902
340.95/334.92	c cleaning 13060 clauses out of 26121 with flag 209871/1936901
343.38/337.31	c cleaning 14022 clauses out of 28060 with flag 242751/1951900
346.06/339.91	c cleaning 15014 clauses out of 30039 with flag 276999/1967901
349.03/342.82	c cleaning 16008 clauses out of 32025 with flag 313326/1984901
351.48/345.20	c Got one! Elapsed wall clock time (in seconds):345.087
351.48/345.20	o 578
352.38/346.14	c cleaning 18169 clauses out of 36341 with flag 10471/2005225
353.32/347.01	c cleaning 12076 clauses out of 24171 with flag 23065/2011224
354.32/348.00	c cleaning 9540 clauses out of 19095 with flag 38202/2018224
355.33/349.08	c cleaning 8774 clauses out of 17557 with flag 55078/2026226
356.66/350.33	c cleaning 8882 clauses out of 17781 with flag 74243/2035224
358.15/351.82	c cleaning 9445 clauses out of 18900 with flag 95859/2045225
359.76/353.49	c cleaning 10225 clauses out of 20456 with flag 119923/2056226
361.70/355.33	c cleaning 11113 clauses out of 22230 with flag 146811/2068225
363.73/357.39	c cleaning 12053 clauses out of 24116 with flag 174909/2081224
366.01/359.54	c cleaning 13025 clauses out of 26064 with flag 204790/2095225
368.44/361.93	c cleaning 14012 clauses out of 28038 with flag 237489/2110224
371.10/364.56	c cleaning 15005 clauses out of 30027 with flag 272422/2126225
374.05/367.47	c cleaning 16009 clauses out of 32021 with flag 309617/2143224
377.18/370.56	c cleaning 17004 clauses out of 34012 with flag 347677/2161224
380.44/373.74	c cleaning 18001 clauses out of 36008 with flag 390391/2180224
384.12/377.34	c cleaning 18998 clauses out of 38007 with flag 433469/2200224
387.78/380.96	c cleaning 19994 clauses out of 40010 with flag 478136/2221225
389.88/383.04	c Got one! Elapsed wall clock time (in seconds):382.926
389.88/383.04	o 575
390.92/384.09	c cleaning 19222 clauses out of 38450 with flag 11212/2239659
391.92/385.01	c cleaning 12608 clauses out of 25228 with flag 24836/2245659
392.92/386.04	c cleaning 9807 clauses out of 19619 with flag 41062/2252658
394.07/387.16	c cleaning 8898 clauses out of 17812 with flag 57490/2260658
394.37/387.42	c Got one! Elapsed wall clock time (in seconds):387.298
394.37/387.42	o 574
394.77/387.81	c cleaning 6992 clauses out of 14019 with flag 6371/2265763
395.47/388.55	c cleaning 6498 clauses out of 13027 with flag 18822/2271763
396.37/389.43	c cleaning 6756 clauses out of 13529 with flag 33183/2278763
397.39/390.49	c cleaning 7381 clauses out of 14774 with flag 50072/2286764
398.70/391.73	c cleaning 8196 clauses out of 16393 with flag 68783/2295764
400.22/393.27	c cleaning 9092 clauses out of 18198 with flag 90597/2305765
402.02/395.01	c cleaning 10048 clauses out of 20106 with flag 114584/2316765
404.04/397.00	c cleaning 11027 clauses out of 22056 with flag 140603/2328763
406.14/399.18	c cleaning 12014 clauses out of 24029 with flag 168640/2341763
408.56/401.51	c cleaning 13003 clauses out of 26015 with flag 198100/2355763
411.18/404.17	c cleaning 14002 clauses out of 28012 with flag 229993/2370763
414.04/406.97	c cleaning 15001 clauses out of 30010 with flag 264084/2386763
417.18/410.01	c cleaning 16003 clauses out of 32012 with flag 299715/2403766
420.36/413.17	c cleaning 16998 clauses out of 34006 with flag 337137/2421763
423.89/416.68	c cleaning 18003 clauses out of 36008 with flag 379091/2440763
427.95/420.60	c cleaning 19003 clauses out of 38007 with flag 422185/2460765
432.08/424.75	c cleaning 20001 clauses out of 40004 with flag 468382/2481765
436.57/429.18	c cleaning 20994 clauses out of 42002 with flag 515682/2503764
441.29/433.80	c cleaning 22002 clauses out of 44007 with flag 563660/2526763
446.26/438.79	c cleaning 23001 clauses out of 46005 with flag 614091/2550763
451.76/444.12	c cleaning 24002 clauses out of 48006 with flag 669066/2575765
457.42/449.70	c cleaning 24996 clauses out of 50002 with flag 725181/2601763
462.87/455.19	c cleaning 26003 clauses out of 52006 with flag 782307/2628763
468.75/460.87	c cleaning 27001 clauses out of 54004 with flag 841648/2656764
474.96/466.92	c cleaning 28002 clauses out of 56003 with flag 902567/2685764
481.54/473.44	c cleaning 28996 clauses out of 58001 with flag 966821/2715764
488.73/480.46	c cleaning 30000 clauses out of 60004 with flag 1032894/2746763
496.23/487.88	c cleaning 31001 clauses out of 62007 with flag 1099637/2778766
504.12/495.62	c cleaning 31995 clauses out of 64006 with flag 1171360/2811766
511.92/503.34	c cleaning 32998 clauses out of 66010 with flag 1244384/2845765
519.83/511.07	c cleaning 34001 clauses out of 68011 with flag 1319597/2880764
527.78/518.80	c cleaning 34998 clauses out of 70009 with flag 1396558/2916763
536.76/527.80	c cleaning 36003 clauses out of 72012 with flag 1474809/2953764
546.38/537.20	c cleaning 37001 clauses out of 74010 with flag 1557178/2991765
555.90/546.57	c cleaning 37996 clauses out of 76008 with flag 1641687/3030764
566.06/556.45	c cleaning 39002 clauses out of 78012 with flag 1727629/3070764
576.62/566.89	c cleaning 39995 clauses out of 80010 with flag 1815054/3111764
587.08/577.11	c cleaning 41000 clauses out of 82018 with flag 1903891/3153767
592.76/582.73	c Got one! Elapsed wall clock time (in seconds):582.607
592.76/582.73	o 573
594.17/584.12	c cleaning 36095 clauses out of 72203 with flag 11011/3184952
595.16/585.17	c cleaning 21051 clauses out of 42109 with flag 23848/3190953
596.29/586.25	c cleaning 14023 clauses out of 28057 with flag 38375/3197952
597.39/587.37	c cleaning 11007 clauses out of 22035 with flag 55024/3205953
598.70/588.61	c cleaning 10006 clauses out of 20027 with flag 73854/3214952
600.10/590.08	c cleaning 10001 clauses out of 20022 with flag 95027/3224953
601.80/591.76	c cleaning 10503 clauses out of 21021 with flag 119292/3235953
603.65/593.59	c cleaning 11258 clauses out of 22517 with flag 145367/3247952
605.65/595.57	c cleaning 12125 clauses out of 24263 with flag 172816/3260956
607.76/597.66	c cleaning 13062 clauses out of 26135 with flag 201829/3274953
610.30/600.18	c cleaning 14027 clauses out of 28073 with flag 233067/3289953
613.01/602.85	c cleaning 15020 clauses out of 30045 with flag 267419/3305952
615.92/605.70	c cleaning 16007 clauses out of 32026 with flag 304835/3322953
619.04/608.89	c cleaning 17006 clauses out of 34018 with flag 344906/3340952
622.48/612.26	c cleaning 18003 clauses out of 36012 with flag 385791/3359952
626.25/615.98	c cleaning 19001 clauses out of 38009 with flag 428628/3379952
630.50/620.12	c cleaning 20000 clauses out of 40010 with flag 473735/3400954
635.17/624.78	c cleaning 20995 clauses out of 42009 with flag 521883/3422953
639.88/629.38	c cleaning 22002 clauses out of 44014 with flag 570920/3445953
644.94/634.33	c cleaning 22999 clauses out of 46011 with flag 621728/3469952
650.20/639.58	c cleaning 24001 clauses out of 48012 with flag 674540/3494952
655.70/644.92	c cleaning 24996 clauses out of 50011 with flag 728726/3520952
661.73/650.81	c cleaning 26003 clauses out of 52016 with flag 785607/3547953
664.29/653.39	c Got one! Elapsed wall clock time (in seconds):653.272
664.29/653.39	o 572
665.50/654.51	c cleaning 22387 clauses out of 44795 with flag 10452/3566735
666.39/655.48	c cleaning 14200 clauses out of 28409 with flag 22846/3572736
667.51/656.56	c cleaning 10597 clauses out of 21206 with flag 37747/3579733
668.71/657.77	c cleaning 9297 clauses out of 18611 with flag 54794/3587735
670.14/659.16	c cleaning 9143 clauses out of 18312 with flag 73928/3596733
671.54/660.59	c cleaning 9580 clauses out of 19169 with flag 95217/3606733
673.17/662.14	c cleaning 10290 clauses out of 20589 with flag 118826/3617733
674.77/663.78	c cleaning 11146 clauses out of 22299 with flag 144058/3629733
676.70/665.69	c cleaning 12071 clauses out of 24154 with flag 171920/3642734
679.04/667.98	c cleaning 13038 clauses out of 26082 with flag 202081/3656733
681.59/670.43	c cleaning 14020 clauses out of 28044 with flag 234595/3671733
683.99/672.86	c cleaning 15007 clauses out of 30026 with flag 268871/3687735
686.81/675.67	c cleaning 16004 clauses out of 32018 with flag 305544/3704734
689.92/678.75	c cleaning 17003 clauses out of 34013 with flag 343387/3722733
693.34/682.19	c cleaning 18002 clauses out of 36010 with flag 383986/3741733
696.84/685.68	c cleaning 19000 clauses out of 38010 with flag 426976/3761735
700.51/689.30	c cleaning 19998 clauses out of 40008 with flag 472435/3782733
704.75/693.48	c cleaning 21004 clauses out of 42010 with flag 520290/3804733
709.49/698.17	c cleaning 21996 clauses out of 44008 with flag 568084/3827735
714.17/702.79	c cleaning 23000 clauses out of 46010 with flag 617786/3851733
719.37/707.86	c cleaning 24003 clauses out of 48012 with flag 670818/3876735
724.38/712.75	c Got one! Elapsed wall clock time (in seconds):712.628
724.38/712.75	o 571
725.69/714.10	c cleaning 26488 clauses out of 52986 with flag 10816/3905712
726.88/715.25	c cleaning 16242 clauses out of 32499 with flag 24222/3911713
728.01/716.33	c cleaning 11622 clauses out of 23257 with flag 38936/3918713
729.23/717.50	c cleaning 9806 clauses out of 19635 with flag 55861/3926713
730.53/718.85	c cleaning 9403 clauses out of 18829 with flag 75575/3935713
732.03/720.36	c cleaning 9707 clauses out of 19425 with flag 97423/3945712
733.77/722.04	c cleaning 10352 clauses out of 20718 with flag 121105/3956712
735.60/723.83	c cleaning 11178 clauses out of 22367 with flag 146736/3968713
737.63/725.90	c cleaning 12089 clauses out of 24189 with flag 174508/3981713
739.96/728.18	c cleaning 13046 clauses out of 26099 with flag 204068/3995712
742.49/730.63	c cleaning 14027 clauses out of 28057 with flag 236608/4010716
745.27/733.30	c cleaning 15011 clauses out of 30027 with flag 271676/4026713
748.30/736.36	c cleaning 15997 clauses out of 32015 with flag 308328/4043712
751.79/739.74	c cleaning 17004 clauses out of 34018 with flag 348041/4061712
755.44/743.37	c cleaning 17998 clauses out of 36014 with flag 389811/4080712
758.21/746.04	c Got one! Elapsed wall clock time (in seconds):745.919
758.21/746.04	o 570
759.31/747.13	c cleaning 19528 clauses out of 39067 with flag 10288/4101763
760.24/748.10	c cleaning 12763 clauses out of 25542 with flag 22747/4107766
761.34/749.11	c cleaning 9881 clauses out of 19779 with flag 37462/4114766
762.44/750.21	c cleaning 8939 clauses out of 17895 with flag 54234/4122763
763.67/751.44	c cleaning 8969 clauses out of 17956 with flag 73207/4131763
765.09/752.83	c cleaning 9489 clauses out of 18987 with flag 94371/4141763
766.62/754.37	c cleaning 10244 clauses out of 20499 with flag 117523/4152764
768.35/756.06	c cleaning 11122 clauses out of 22254 with flag 142792/4164763
770.38/758.02	c cleaning 12060 clauses out of 24135 with flag 170437/4177766
772.53/760.14	c cleaning 13034 clauses out of 26073 with flag 200816/4191764
774.97/762.58	c cleaning 14017 clauses out of 28039 with flag 232599/4206764
777.80/765.38	c cleaning 15006 clauses out of 30022 with flag 267577/4222764
780.88/768.38	c cleaning 16004 clauses out of 32017 with flag 303558/4239765
784.12/771.58	c cleaning 17000 clauses out of 34011 with flag 341116/4257763
787.55/774.88	c cleaning 18003 clauses out of 36013 with flag 381657/4276765
791.30/778.53	c cleaning 18999 clauses out of 38008 with flag 425336/4296763
795.22/782.49	c cleaning 19999 clauses out of 40010 with flag 472152/4317764
799.21/786.39	c cleaning 21000 clauses out of 42010 with flag 519150/4339763
799.71/786.80	c Got one! Elapsed wall clock time (in seconds):786.68
799.71/786.80	o 568
800.11/787.27	c cleaning 13471 clauses out of 26955 with flag 6410/4345708
801.03/788.11	c cleaning 9734 clauses out of 19484 with flag 19365/4351708
801.93/789.05	c cleaning 8362 clauses out of 16749 with flag 34433/4358707
803.04/790.17	c cleaning 8183 clauses out of 16388 with flag 51608/4366708
804.37/791.42	c cleaning 8598 clauses out of 17204 with flag 71001/4375707
805.87/792.90	c cleaning 9301 clauses out of 18606 with flag 92088/4385707
807.50/794.50	c cleaning 10148 clauses out of 20306 with flag 115462/4396708
809.34/796.34	c cleaning 11076 clauses out of 22157 with flag 141494/4408707
810.97/797.95	c Got one! Elapsed wall clock time (in seconds):797.829
810.97/797.95	o 565
811.87/798.83	c cleaning 13397 clauses out of 26807 with flag 10815/4424433
812.79/799.71	c cleaning 9701 clauses out of 19410 with flag 23497/4430433
813.78/800.70	c cleaning 8340 clauses out of 16708 with flag 38542/4437432
814.89/801.90	c cleaning 8170 clauses out of 16368 with flag 56029/4445432
816.33/803.25	c cleaning 8587 clauses out of 17198 with flag 75235/4454432
817.82/804.78	c cleaning 9297 clauses out of 18611 with flag 96107/4464432
819.56/806.47	c cleaning 10154 clauses out of 20314 with flag 119030/4475432
821.47/808.38	c cleaning 11073 clauses out of 22160 with flag 144075/4487432
823.80/810.62	c cleaning 12044 clauses out of 24087 with flag 171729/4500432
826.77/813.52	c cleaning 13023 clauses out of 26045 with flag 203114/4514434
830.43/817.10	c cleaning 14004 clauses out of 28021 with flag 237383/4529433
833.96/820.61	c cleaning 15005 clauses out of 30016 with flag 274735/4545432
837.86/824.48	c cleaning 15998 clauses out of 32011 with flag 315014/4562432
838.36/824.90	c Got one! Elapsed wall clock time (in seconds):824.783
838.36/824.90	o 564
838.76/825.37	c cleaning 10503 clauses out of 21017 with flag 6447/4567436
839.69/826.25	c cleaning 8247 clauses out of 16514 with flag 19201/4573436
840.69/827.28	c cleaning 7629 clauses out of 15267 with flag 34052/4580436
841.90/828.42	c cleaning 7812 clauses out of 15638 with flag 50752/4588436
843.21/829.72	c cleaning 8408 clauses out of 16827 with flag 69928/4597437
844.72/831.20	c cleaning 9206 clauses out of 18420 with flag 91598/4607438
846.39/832.89	c cleaning 10104 clauses out of 20214 with flag 114969/4618438
848.31/834.76	c cleaning 11053 clauses out of 22110 with flag 141067/4630438
850.45/836.84	c cleaning 12024 clauses out of 24056 with flag 168656/4643437
852.82/839.13	c cleaning 13012 clauses out of 26032 with flag 199881/4657437
855.37/841.66	c cleaning 14010 clauses out of 28022 with flag 232926/4672439
858.43/844.63	c cleaning 15006 clauses out of 30011 with flag 268106/4688438
861.77/847.98	c cleaning 15995 clauses out of 32003 with flag 303477/4705436
865.70/851.84	c cleaning 17005 clauses out of 34009 with flag 342816/4723437
870.16/856.22	c cleaning 17998 clauses out of 36003 with flag 388056/4742436
874.79/860.84	c cleaning 19004 clauses out of 38007 with flag 436895/4762438
879.69/865.68	c cleaning 20001 clauses out of 40002 with flag 487661/4783437
884.40/870.27	c cleaning 20998 clauses out of 42001 with flag 536624/4805437
889.51/875.25	c cleaning 22000 clauses out of 44004 with flag 588518/4828438
894.59/880.29	c cleaning 22994 clauses out of 46002 with flag 642604/4852436
900.29/885.82	c cleaning 24000 clauses out of 48010 with flag 696726/4877438
905.91/891.40	c cleaning 25000 clauses out of 50009 with flag 752486/4903437
912.09/897.40	c cleaning 26003 clauses out of 52009 with flag 810550/4930437
918.40/903.65	c cleaning 26998 clauses out of 54007 with flag 872215/4958438
924.87/910.05	c cleaning 27999 clauses out of 56008 with flag 936151/4987437
931.39/916.47	c cleaning 28997 clauses out of 58008 with flag 1002033/5017436
938.85/923.89	c cleaning 30002 clauses out of 60012 with flag 1070351/5048437
946.66/931.54	c cleaning 31000 clauses out of 62011 with flag 1140302/5080438
955.05/939.82	c cleaning 31999 clauses out of 64009 with flag 1214459/5113436
963.43/948.19	c cleaning 33004 clauses out of 66013 with flag 1293474/5147439
972.82/957.32	c cleaning 33999 clauses out of 68007 with flag 1373199/5182437
981.95/966.36	c cleaning 34999 clauses out of 70010 with flag 1454343/5218439
990.95/975.16	c cleaning 35995 clauses out of 72008 with flag 1535916/5255436
999.99/984.06	c cleaning 37005 clauses out of 74013 with flag 1618309/5293436
1010.08/993.98	c cleaning 37998 clauses out of 76008 with flag 1706270/5332436
1020.55/1004.28	c cleaning 39000 clauses out of 78010 with flag 1800025/5372436
1031.42/1014.94	c cleaning 40000 clauses out of 80010 with flag 1893603/5413436
1042.50/1025.83	c cleaning 41002 clauses out of 82011 with flag 1987971/5455437
1054.36/1037.52	c cleaning 42004 clauses out of 84011 with flag 2088380/5498439
1067.11/1050.03	c cleaning 42999 clauses out of 86004 with flag 2189628/5542436
1080.18/1062.99	c cleaning 43998 clauses out of 88006 with flag 2298076/5587437
1094.12/1076.79	c cleaning 45002 clauses out of 90009 with flag 2407031/5633438
1107.53/1089.96	c cleaning 45998 clauses out of 92005 with flag 2514032/5680436
1122.37/1104.54	c cleaning 46997 clauses out of 94008 with flag 2625062/5728437
1136.98/1118.91	c cleaning 47998 clauses out of 96012 with flag 2740035/5777438
1151.12/1132.85	c cleaning 48996 clauses out of 98012 with flag 2857807/5827436
1166.16/1147.68	c cleaning 50003 clauses out of 100016 with flag 2969563/5878436
1181.76/1163.01	c cleaning 50999 clauses out of 102013 with flag 3087394/5930436
1197.79/1178.80	c cleaning 51998 clauses out of 104015 with flag 3205630/5983437
1214.36/1195.25	c cleaning 53004 clauses out of 106017 with flag 3325973/6037437
1229.64/1210.35	c cleaning 53998 clauses out of 108014 with flag 3448154/6092438
1246.96/1227.49	c cleaning 55006 clauses out of 110014 with flag 3570858/6148436
1263.39/1243.67	c cleaning 55999 clauses out of 112008 with flag 3699408/6205436
1281.26/1261.28	c cleaning 56994 clauses out of 114009 with flag 3832198/6263436
1299.40/1279.13	c cleaning 58005 clauses out of 116016 with flag 3963736/6322437
1317.45/1297.00	c cleaning 59001 clauses out of 118010 with flag 4095916/6382436
1336.09/1315.36	c cleaning 59998 clauses out of 120010 with flag 4230196/6443437
1355.21/1334.25	c cleaning 61001 clauses out of 122014 with flag 4371683/6505439
1375.47/1354.20	c cleaning 61998 clauses out of 124010 with flag 4511250/6568436
1395.58/1373.94	c cleaning 63001 clauses out of 126012 with flag 4650184/6632436
1416.02/1394.14	c cleaning 63999 clauses out of 128011 with flag 4794919/6697436
1436.01/1413.85	c cleaning 65000 clauses out of 130012 with flag 4941771/6763436
1460.96/1438.51	c cleaning 65997 clauses out of 132012 with flag 5096206/6830436
1483.16/1460.33	c cleaning 66996 clauses out of 134016 with flag 5260600/6898437
1509.10/1485.98	c cleaning 68002 clauses out of 136019 with flag 5427551/6967436
1535.86/1512.32	c cleaning 69001 clauses out of 138018 with flag 5597151/7037437
1561.05/1537.17	c cleaning 70003 clauses out of 140017 with flag 5758813/7108437
1585.99/1561.77	c cleaning 71000 clauses out of 142015 with flag 5926406/7180438
1612.72/1588.16	c cleaning 72002 clauses out of 144017 with flag 6097847/7253440
1641.36/1616.44	c cleaning 73005 clauses out of 146012 with flag 6272405/7327437
1667.32/1642.05	c cleaning 73999 clauses out of 148008 with flag 6446705/7402438
1695.09/1669.43	c cleaning 74995 clauses out of 150007 with flag 6620200/7478436
1724.27/1698.27	c cleaning 76002 clauses out of 152014 with flag 6786232/7555438
1753.55/1727.17	c cleaning 76998 clauses out of 154010 with flag 6957167/7633436
1786.27/1759.40	c cleaning 78003 clauses out of 156012 with flag 7143279/7712436
1800.08/1773.00	c starts		: 235
1800.08/1773.00	c conflicts		: 7751495
1800.08/1773.00	c decisions		: 7818137
1800.08/1773.00	c propagations		: 256377795
1800.08/1773.00	c inspects		: 15239101174
1800.08/1773.00	c shortcuts		: 0
1800.08/1773.00	c learnt literals	: 0
1800.08/1773.00	c learnt binary clauses	: 0
1800.08/1773.00	c learnt ternary clauses	: 513
1800.08/1773.00	c learnt constraints	: 7751495
1800.08/1773.00	c ignored constraints	: 0
1800.08/1773.00	c root simplifications	: 0
1800.08/1773.00	c removed literals (reason simplification)	: 0
1800.08/1773.00	c reason swapping (by a shorter reason)	: 0
1800.08/1773.00	c Calls to reduceDB	: 393
1800.08/1773.00	c Number of update (reduction) of LBD	: 10780
1800.08/1773.00	c Imported unit clauses	: 0
1800.08/1773.00	c number of reductions to clauses (during analyze)	: 0
1800.08/1773.00	c number of learned constraints concerned by reduction	: 0
1800.08/1773.00	c number of learning phase by resolution	: 0
1800.08/1773.00	c number of learning phase by cutting planes	: 0
1800.08/1773.00	c speed (assignments/second)	: 144629.12170826056
1800.08/1773.00	c non guided choices	530
1800.08/1773.03	c learnt constraints type 
1800.08/1773.03	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 117068
1800.08/1773.03	s SATISFIABLE
1800.08/1773.03	c Found 93 solution(s)
1800.08/1773.03	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 
1800.08/1773.04	c objective function=564
1800.08/1773.04	c Total wall clock time (in seconds): 1772.919

OK	564

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-4118344-1467228017/watcher-4118344-1467228017 -o /tmp/evaluation-result-4118344-1467228017/solver-4118344-1467228017 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node134-1467208989-4834 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4118344-1467228017.opb 

pid=7687
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.71 2.34 2.23 3/197 7690
/proc/meminfo: memFree=25362576/32872528 swapFree=1483896/1661724
[pid=7690] ppid=7687 vsize=2500 CPUtime=0 cores=0,2,4,6
/proc/7690/stat : 7690 (java) D 7687 7690 4818 0 -1 4202496 375 0 0 0 0 0 0 0 20 0 1 0 3754272 2560000 46 33554432000 1073741824 1073778376 140736265137328 140736265134456 273896533287 0 0 4096 0 18446744072100756772 0 0 17 0 0 0 0 0 0
/proc/7690/statm: 626 46 37 9 0 30 0

[startup+0.100111 s]
/proc/loadavg: 2.71 2.34 2.23 3/197 7690
/proc/meminfo: memFree=25362576/32872528 swapFree=1483896/1661724
[pid=7690] ppid=7687 vsize=9558476 CPUtime=0.09 cores=0,2,4,6
/proc/7690/stat : 7690 (java) S 7687 7690 4818 0 -1 4202496 4427 0 1 0 7 2 0 0 20 0 18 0 3754272 9787879424 6060 33554432000 1073741824 1073778376 140736265137328 140736265128464 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/7690/statm: 2389619 6060 2125 9 0 2380296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558476

[startup+0.200281 s]
/proc/loadavg: 2.71 2.34 2.23 3/197 7690
/proc/meminfo: memFree=25362576/32872528 swapFree=1483896/1661724
[pid=7690] ppid=7687 vsize=9558476 CPUtime=0.27 cores=0,2,4,6
/proc/7690/stat : 7690 (java) S 7687 7690 4818 0 -1 4202496 4966 0 1 0 25 2 0 0 20 0 18 0 3754272 9787879424 7025 33554432000 1073741824 1073778376 140736265137328 140736265128464 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/7690/statm: 2389619 7025 2215 9 0 2380296 0
Current children cumulated CPU time (s) 0.27
Current children cumulated vsize (KiB) 9558476

[startup+0.300285 s]
/proc/loadavg: 2.71 2.34 2.23 3/197 7690
/proc/meminfo: memFree=25362576/32872528 swapFree=1483896/1661724
[pid=7690] ppid=7687 vsize=9558476 CPUtime=0.46 cores=0,2,4,6
/proc/7690/stat : 7690 (java) S 7687 7690 4818 0 -1 4202496 5492 0 1 0 44 2 0 0 20 0 18 0 3754272 9787879424 8328 33554432000 1073741824 1073778376 140736265137328 140736265128464 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/7690/statm: 2389619 8328 2231 9 0 2380296 0
Current children cumulated CPU time (s) 0.46
Current children cumulated vsize (KiB) 9558476

[startup+0.70024 s]
/proc/loadavg: 2.71 2.34 2.23 3/197 7690
/proc/meminfo: memFree=25362576/32872528 swapFree=1483896/1661724
[pid=7690] ppid=7687 vsize=9625040 CPUtime=1.42 cores=0,2,4,6
/proc/7690/stat : 7690 (java) S 7687 7690 4818 0 -1 4202496 11604 0 1 0 139 3 0 0 20 0 19 0 3754272 9856040960 13930 33554432000 1073741824 1073778376 140736265137328 140736265128464 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/7690/statm: 2406260 13930 2261 9 0 2396937 0
Current children cumulated CPU time (s) 1.42
Current children cumulated vsize (KiB) 9625040

[startup+1.50078 s]
/proc/loadavg: 2.71 2.34 2.23 3/216 7709
/proc/meminfo: memFree=25298544/32872528 swapFree=1483896/1661724
[pid=7690] ppid=7687 vsize=9625040 CPUtime=2.4 cores=0,2,4,6
/proc/7690/stat : 7690 (java) S 7687 7690 4818 0 -1 4202496 12204 0 1 0 236 4 0 0 20 0 19 0 3754272 9856040960 21122 33554432000 1073741824 1073778376 140736265137328 140736265128464 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/7690/statm: 2406260 21122 2269 9 0 2396937 0
[pid=7690/tid=7692] ppid=7687 vsize=9625040 CPUtime=1.46 cores=0,2,4,6
/proc/7690/task/7692/stat : 7692 (java) R 7687 7690 4818 0 -1 4202560 2446 0 1 0 144 2 0 0 20 0 19 0 3754273 9856040960 21122 33554432000 1073741824 1073778376 140736265137328 140449787892016 140449728167151 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=7690/tid=7693] ppid=7687 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7690/task/7693/stat : 7693 (java) S 7687 7690 4818 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3754274 9856040960 21122 33554432000 1073741824 1073778376 140736265137328 140449726630696 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7690/tid=7694] ppid=7687 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7690/task/7694/stat : 7694 (java) S 7687 7690 4818 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3754274 9856040960 21122 33554432000 1073741824 1073778376 140736265137328 140449630861992 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7690/tid=7695] ppid=7687 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7690/task/7695/stat : 7695 (java) S 7687 7690 4818 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3754274 9856040960 21122 33554432000 1073741824 1073778376 140736265137328 140449629809704 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=7690/tid=7696] ppid=7687 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7690/task/7696/stat : 7696 (java) S 7687 7690 4818 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3754274 9856040960 21122 33554432000 1073741824 1073778376 140736265137328 140449628756904 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7690/tid=7697] ppid=7687 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7690/task/7697/stat : 7697 (java) S 7687 7690 4818 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3754274 9856040960 21122 33554432000 1073741824 1073778376 140736265137328 140449627703592 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7690/tid=7698] ppid=7687 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7690/task/7698/stat : 7698 (java) S 7687 7690 4818 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3754274 9856040960 21122 33554432000 1073741824 1073778376 140736265137328 140449626650792 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7690/tid=7699] ppid=7687 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7690/task/7699/stat : 7699 (java) S 7687 7690 4818 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3754274 9856040960 21122 33554432000 1073741824 1073778376 140736265137328 140449625598504 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7690/tid=7700] ppid=7687 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7690/task/7700/stat : 7700 (java) S 7687 7690 4818 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 3754274 9856040960 21122 33554432000 1073741824 1073778376 140736265137328 140449624545704 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7690/tid=7701] ppid=7687 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7690/task/7701/stat : 7701 (java) S 7687 7690 4818 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 3754275 9856040960 21122 33554432000 1073741824 1073778376 140736265137328 140449612135144 273909069737 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7690/tid=7702] ppid=7687 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7690/task/7702/stat : 7702 (java) S 7687 7690 4818 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 3754276 9856040960 21122 33554432000 1073741824 1073778376 140736265137328 140449611081208 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7690/tid=7703] ppid=7687 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7690/task/7703/stat : 7703 (java) S 7687 7690 4818 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 3754276 9856040960 21122 33554432000 1073741824 1073778376 140736265137328 140449610028808 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7690/tid=7704] ppid=7687 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7690/task/7704/stat : 7704 (java) S 7687 7690 4818 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3754278 9856040960 21122 33554432000 1073741824 1073778376 140736265137328 140449608977296 273909077792 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7690/tid=7705] ppid=7687 vsize=9625040 CPUtime=0.43 cores=0,2,4,6
/proc/7690/task/7705/stat : 7705 (java) S 7687 7690 4818 0 -1 4202560 4417 0 0 0 42 1 0 0 20 0 19 0 3754278 9856040960 21122 33554432000 1073741824 1073778376 140736265137328 140449607923896 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7690/tid=7706] ppid=7687 vsize=9625040 CPUtime=0.46 cores=0,2,4,6
/proc/7690/task/7706/stat : 7706 (java) S 7687 7690 4818 0 -1 4202560 4064 0 0 0 46 0 0 0 20 0 19 0 3754278 9856040960 21122 33554432000 1073741824 1073778376 140736265137328 140449606871096 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7690/tid=7707] ppid=7687 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7690/task/7707/stat : 7707 (java) S 7687 7690 4818 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3754278 9856040960 21122 33554432000 1073741824 1073778376 140736265137328 140449605819000 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7690/tid=7708] ppid=7687 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7690/task/7708/stat : 7708 (java) S 7687 7690 4818 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3754278 9856040960 21122 33554432000 1073741824 1073778376 140736265137328 140449604766408 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7690/tid=7709] ppid=7687 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7690/task/7709/stat : 7709 (java) S 7687 7690 4818 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 3754307 9856040960 21122 33554432000 1073741824 1073778376 140736265137328 140449603663272 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 2.4
Current children cumulated vsize (KiB) 9625040

[startup+3.1008 s]
/proc/loadavg: 2.71 2.34 2.23 3/216 7709
/proc/meminfo: memFree=25265280/32872528 swapFree=1483896/1661724
[pid=7690] ppid=7687 vsize=9625040 CPUtime=4.06 cores=0,2,4,6
/proc/7690/stat : 7690 (java) S 7687 7690 4818 0 -1 4202496 12232 0 1 0 401 5 0 0 20 0 19 0 3754272 9856040960 32902 33554432000 1073741824 1073778376 140736265137328 140736265128464 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/7690/statm: 2406260 32902 2273 9 0 2396937 0
[pid=7690/tid=7692] ppid=7687 vsize=9625040 CPUtime=3.06 cores=0,2,4,6
/proc/7690/task/7692/stat : 7692 (java) R 7687 7690 4818 0 -1 4202560 2470 0 1 0 303 3 0 0 20 0 19 0 3754273 9856040960 32902 33554432000 1073741824 1073778376 140736265137328 140449787892016 140449728195833 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=7690/tid=7693] ppid=7687 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7690/task/7693/stat : 7693 (java) S 7687 7690 4818 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3754274 9856040960 32902 33554432000 1073741824 1073778376 140736265137328 140449726630696 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7690/tid=7694] ppid=7687 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7690/task/7694/stat : 7694 (java) S 7687 7690 4818 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3754274 9856040960 32902 33554432000 1073741824 1073778376 140736265137328 140449630861992 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7690/tid=7695] ppid=7687 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7690/task/7695/stat : 7695 (java) S 7687 7690 4818 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3754274 9856040960 32902 33554432000 1073741824 1073778376 140736265137328 140449629809704 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=7690/tid=7696] ppid=7687 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7690/task/7696/stat : 7696 (java) S 7687 7690 4818 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3754274 9856040960 32902 33554432000 1073741824 1073778376 140736265137328 140449628756904 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7690/tid=7697] ppid=7687 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7690/task/7697/stat : 7697 (java) S 7687 7690 4818 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3754274 9856040960 32902 33554432000 1073741824 1073778376 140736265137328 140449627703592 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7690/tid=7698] ppid=7687 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7690/task/7698/stat : 7698 (java) S 7687 7690 4818 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3754274 9856040960 32902 33554432000 1073741824 1073778376 140736265137328 140449626650792 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7690/tid=7699] ppid=7687 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7690/task/7699/stat : 7699 (java) S 7687 7690 4818 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3754274 9856040960 32902 33554432000 1073741824 1073778376 140736265137328 140449625598504 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7690/tid=7700] ppid=7687 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7690/task/7700/stat : 7700 (java) S 7687 7690 4818 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 3754274 9856040960 32902 33554432000 1073741824 1073778376 140736265137328 140449624545704 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7690/tid=7701] ppid=7687 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7690/task/7701/stat : 7701 (java) S 7687 7690 4818 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 3754275 9856040960 32902 33554432000 1073741824 1073778376 140736265137328 140449612135144 273909069737 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7690/tid=7702] ppid=7687 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7690/task/7702/stat : 7702 (java) S 7687 7690 4818 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 3754276 9856040960 32902 33554432000 1073741824 1073778376 140736265137328 140449611081208 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7690/tid=7703] ppid=7687 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7690/task/7703/stat : 7703 (java) S 7687 7690 4818 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 3754276 9856040960 32902 33554432000 1073741824 1073778376 140736265137328 140449610028808 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7690/tid=7704] ppid=7687 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7690/task/7704/stat : 7704 (java) S 7687 7690 4818 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3754278 9856040960 32902 33554432000 1073741824 1073778376 140736265137328 140449608977296 273909077792 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7690/tid=7705] ppid=7687 vsize=9625040 CPUtime=0.46 cores=0,2,4,6
/proc/7690/task/7705/stat : 7705 (java) S 7687 7690 4818 0 -1 4202560 4421 0 0 0 45 1 0 0 20 0 19 0 3754278 9856040960 32902 33554432000 1073741824 1073778376 140736265137328 140449607923896 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7690/tid=7706] ppid=7687 vsize=9625040 CPUtime=0.48 cores=0,2,4,6
/proc/7690/task/7706/stat : 7706 (java) S 7687 7690 4818 0 -1 4202560 4064 0 0 0 48 0 0 0 20 0 19 0 3754278 9856040960 32902 33554432000 1073741824 1073778376 140736265137328 140449606871096 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7690/tid=7707] ppid=7687 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7690/task/7707/stat : 7707 (java) S 7687 7690 4818 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3754278 9856040960 32902 33554432000 1073741824 1073778376 140736265137328 140449605819000 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7690/tid=7708] ppid=7687 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7690/task/7708/stat : 7708 (java) S 7687 7690 4818 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3754278 9856040960 32902 33554432000 1073741824 1073778376 140736265137328 140449604766408 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7690/tid=7709] ppid=7687 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7690/task/7709/stat : 7709 (java) S 7687 7690 4818 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 3754307 9856040960 32902 33554432000 1073741824 1073778376 140736265137328 140449603663272 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 4.06
Current children cumulated vsize (KiB) 9625040

[startup+6.30081 s]
/proc/loadavg: 2.66 2.34 2.23 3/216 7709
/proc/meminfo: memFree=25170764/32872528 swapFree=1483896/1661724
[pid=7690] ppid=7687 vsize=9625040 CPUtime=7.32 cores=0,2,4,6
/proc/7690/stat : 7690 (java) S 7687 7690 4818 0 -1 4202496 12327 0 1 0 725 7 0 0 20 0 19 0 3754272 9856040960 49762 33554432000 1073741824 1073778376 140736265137328 140736265128464 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/7690/statm: 2406260 49762 2287 9 0 2396937 0
[pid=7690/tid=7692] ppid=7687 vsize=9625040 CPUtime=6.23 cores=0,2,4,6
/proc/7690/task/7692/stat : 7692 (java) R 7687 7690 4818 0 -1 4202560 2491 0 1 0 620 3 0 0 20 0 19 0 3754273 9856040960 49762 33554432000 1073741824 1073778376 140736265137328 140449787892016 140449728500550 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=7690/tid=7693] ppid=7687 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7690/task/7693/stat : 7693 (java) S 7687 7690 4818 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 19 0 3754274 9856040960 49762 33554432000 1073741824 1073778376 140736265137328 140449726630696 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7690/tid=7694] ppid=7687 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7690/task/7694/stat : 7694 (java) S 7687 7690 4818 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3754274 9856040960 49762 33554432000 1073741824 1073778376 140736265137328 140449630861992 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7690/tid=7695] ppid=7687 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7690/task/7695/stat : 7695 (java) S 7687 7690 4818 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3754274 9856040960 49762 33554432000 1073741824 1073778376 140736265137328 140449629809704 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=7690/tid=7696] ppid=7687 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7690/task/7696/stat : 7696 (java) S 7687 7690 4818 0 -1 4202560 23 0 0 0 0 0 0 0 20 0 19 0 3754274 9856040960 49762 33554432000 1073741824 1073778376 140736265137328 140449628756904 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7690/tid=7697] ppid=7687 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7690/task/7697/stat : 7697 (java) S 7687 7690 4818 0 -1 4202560 15 0 0 0 0 0 0 0 20 0 19 0 3754274 9856040960 49762 33554432000 1073741824 1073778376 140736265137328 140449627703592 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7690/tid=7698] ppid=7687 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7690/task/7698/stat : 7698 (java) S 7687 7690 4818 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 3754274 9856040960 49762 33554432000 1073741824 1073778376 140736265137328 140449626650792 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=7690/tid=7699] ppid=7687 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7690/task/7699/stat : 7699 (java) S 7687 7690 4818 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3754274 9856040960 49762 33554432000 1073741824 1073778376 140736265137328 140449625598504 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7690/tid=7700] ppid=7687 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7690/task/7700/stat : 7700 (java) S 7687 7690 4818 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 3754274 9856040960 49762 33554432000 1073741824 1073778376 140736265137328 140449624545704 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7690/tid=7701] ppid=7687 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7690/task/7701/stat : 7701 (java) S 7687 7690 4818 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 3754275 9856040960 49762 33554432000 1073741824 1073778376 140736265137328 140449612135144 273909069737 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7690/tid=7702] ppid=7687 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7690/task/7702/stat : 7702 (java) S 7687 7690 4818 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 3754276 9856040960 49762 33554432000 1073741824 1073778376 140736265137328 140449611081208 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7690/tid=7703] ppid=7687 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7690/task/7703/stat : 7703 (java) S 7687 7690 4818 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 3754276 9856040960 49762 33554432000 1073741824 1073778376 140736265137328 140449610028808 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7690/tid=7704] ppid=7687 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7690/task/7704/stat : 7704 (java) S 7687 7690 4818 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3754278 9856040960 49762 33554432000 1073741824 1073778376 140736265137328 140449608977296 273909077792 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7690/tid=7705] ppid=7687 vsize=9625040 CPUtime=0.49 cores=0,2,4,6
/proc/7690/task/7705/stat : 7705 (java) S 7687 7690 4818 0 -1 4202560 4422 0 0 0 48 1 0 0 20 0 19 0 3754278 9856040960 49762 33554432000 1073741824 1073778376 140736265137328 140449607923896 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7690/tid=7706] ppid=7687 vsize=9625040 CPUtime=0.49 cores=0,2,4,6
/proc/7690/task/7706/stat : 7706 (java) S 7687 7690 4818 0 -1 4202560 4064 0 0 0 49 0 0 0 20 0 19 0 3754278 9856040960 49762 33554432000 1073741824 1073778376 140736265137328 140449606871096 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7690/tid=7707] ppid=7687 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7690/task/7707/stat : 7707 (java) S 7687 7690 4818 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3754278 9856040960 49762 33554432000 1073741824 1073778376 140736265137328 140449605819000 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7690/tid=7708] ppid=7687 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7690/task/7708/stat : 7708 (java) S 7687 7690 4818 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 3754278 9856040960 49762 33554432000 1073741824 1073778376 140736265137328 140449604766408 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7690/tid=7709] ppid=7687 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7690/task/7709/stat : 7709 (java) S 7687 7690 4818 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 3754307 9856040960 49762 33554432000 1073741824 1073778376 140736265137328 140449603663272 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 7.32
Current children cumulated vsize (KiB) 9625040


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

[pid=7690/tid=7709] ppid=7687 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7690/task/7709/stat : 7709 (java) S 7687 7690 4818 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 3754307 9856040960 162462 33554432000 1073741824 1073778376 140736265137328 140449603663272 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1627.12
Current children cumulated vsize (KiB) 9625040

[startup+1662.3 s]
/proc/loadavg: 2.21 2.24 2.22 3/215 7813
/proc/meminfo: memFree=26044636/32872528 swapFree=1483896/1661724
[pid=7690] ppid=7687 vsize=9625040 CPUtime=1687.89 cores=0,2,4,6
/proc/7690/stat : 7690 (java) S 7687 7690 4818 0 -1 4202496 32982 0 1 0 168580 209 0 0 20 0 19 0 3754272 9856040960 160234 33554432000 1073741824 1073778376 140736265137328 140736265128464 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/7690/statm: 2406260 160234 2296 9 0 2396937 0
[pid=7690/tid=7692] ppid=7687 vsize=9625040 CPUtime=1643.31 cores=0,2,4,6
/proc/7690/task/7692/stat : 7692 (java) R 7687 7690 4818 0 -1 4202560 3028 0 1 0 164300 31 0 0 20 0 19 0 3754273 9856040960 160234 33554432000 1073741824 1073778376 140736265137328 140449787899056 140449728329169 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=7690/tid=7693] ppid=7687 vsize=9625040 CPUtime=4.4 cores=0,2,4,6
/proc/7690/task/7693/stat : 7693 (java) S 7687 7690 4818 0 -1 4202560 1762 0 0 0 418 22 0 0 20 0 19 0 3754274 9856040960 160234 33554432000 1073741824 1073778376 140736265137328 140449726630696 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=7690/tid=7694] ppid=7687 vsize=9625040 CPUtime=4.56 cores=0,2,4,6
/proc/7690/task/7694/stat : 7694 (java) S 7687 7690 4818 0 -1 4202560 2061 0 0 0 433 23 0 0 20 0 19 0 3754274 9856040960 160234 33554432000 1073741824 1073778376 140736265137328 140449630861992 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7690/tid=7695] ppid=7687 vsize=9625040 CPUtime=4.33 cores=0,2,4,6
/proc/7690/task/7695/stat : 7695 (java) S 7687 7690 4818 0 -1 4202560 2450 0 0 0 410 23 0 0 20 0 19 0 3754274 9856040960 160234 33554432000 1073741824 1073778376 140736265137328 140449629809704 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7690/tid=7696] ppid=7687 vsize=9625040 CPUtime=4.16 cores=0,2,4,6
/proc/7690/task/7696/stat : 7696 (java) S 7687 7690 4818 0 -1 4202560 2315 0 0 0 394 22 0 0 20 0 19 0 3754274 9856040960 160234 33554432000 1073741824 1073778376 140736265137328 140449628756904 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7690/tid=7697] ppid=7687 vsize=9625040 CPUtime=4.33 cores=0,2,4,6
/proc/7690/task/7697/stat : 7697 (java) S 7687 7690 4818 0 -1 4202560 2548 0 0 0 410 23 0 0 20 0 19 0 3754274 9856040960 160234 33554432000 1073741824 1073778376 140736265137328 140449627703592 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7690/tid=7698] ppid=7687 vsize=9625040 CPUtime=4.48 cores=0,2,4,6
/proc/7690/task/7698/stat : 7698 (java) S 7687 7690 4818 0 -1 4202560 2131 0 0 0 425 23 0 0 20 0 19 0 3754274 9856040960 160234 33554432000 1073741824 1073778376 140736265137328 140449626650792 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7690/tid=7699] ppid=7687 vsize=9625040 CPUtime=4.34 cores=0,2,4,6
/proc/7690/task/7699/stat : 7699 (java) S 7687 7690 4818 0 -1 4202560 2024 0 0 0 416 18 0 0 20 0 19 0 3754274 9856040960 160234 33554432000 1073741824 1073778376 140736265137328 140449625598504 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7690/tid=7700] ppid=7687 vsize=9625040 CPUtime=4.31 cores=0,2,4,6
/proc/7690/task/7700/stat : 7700 (java) S 7687 7690 4818 0 -1 4202560 2833 0 0 0 408 23 0 0 20 0 19 0 3754274 9856040960 160234 33554432000 1073741824 1073778376 140736265137328 140449624545704 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7690/tid=7701] ppid=7687 vsize=9625040 CPUtime=4.43 cores=0,2,4,6
/proc/7690/task/7701/stat : 7701 (java) S 7687 7690 4818 0 -1 4202560 1971 0 0 0 437 6 0 0 20 0 19 0 3754275 9856040960 160234 33554432000 1073741824 1073778376 140736265137328 140449612135144 273909069737 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7690/tid=7702] ppid=7687 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7690/task/7702/stat : 7702 (java) S 7687 7690 4818 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 3754276 9856040960 160234 33554432000 1073741824 1073778376 140736265137328 140449611081208 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7690/tid=7703] ppid=7687 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7690/task/7703/stat : 7703 (java) S 7687 7690 4818 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 3754276 9856040960 160234 33554432000 1073741824 1073778376 140736265137328 140449610028808 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7690/tid=7704] ppid=7687 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7690/task/7704/stat : 7704 (java) S 7687 7690 4818 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3754278 9856040960 160234 33554432000 1073741824 1073778376 140736265137328 140449608977296 273909077792 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7690/tid=7705] ppid=7687 vsize=9625040 CPUtime=0.52 cores=0,2,4,6
/proc/7690/task/7705/stat : 7705 (java) S 7687 7690 4818 0 -1 4202560 4436 0 0 0 51 1 0 0 20 0 19 0 3754278 9856040960 160234 33554432000 1073741824 1073778376 140736265137328 140449607923896 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7690/tid=7706] ppid=7687 vsize=9625040 CPUtime=0.49 cores=0,2,4,6
/proc/7690/task/7706/stat : 7706 (java) S 7687 7690 4818 0 -1 4202560 4064 0 0 0 49 0 0 0 20 0 19 0 3754278 9856040960 160234 33554432000 1073741824 1073778376 140736265137328 140449606871096 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7690/tid=7707] ppid=7687 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7690/task/7707/stat : 7707 (java) S 7687 7690 4818 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3754278 9856040960 160234 33554432000 1073741824 1073778376 140736265137328 140449605819000 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7690/tid=7708] ppid=7687 vsize=9625040 CPUtime=0.38 cores=0,2,4,6
/proc/7690/task/7708/stat : 7708 (java) S 7687 7690 4818 0 -1 4202560 96 0 0 0 15 23 0 0 20 0 19 0 3754278 9856040960 160234 33554432000 1073741824 1073778376 140736265137328 140449604766408 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7690/tid=7709] ppid=7687 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7690/task/7709/stat : 7709 (java) S 7687 7690 4818 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 3754307 9856040960 160234 33554432000 1073741824 1073778376 140736265137328 140449603663272 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1687.89
Current children cumulated vsize (KiB) 9625040

[startup+1722.3 s]
/proc/loadavg: 2.16 2.22 2.22 3/215 7815
/proc/meminfo: memFree=26110960/32872528 swapFree=1483896/1661724
[pid=7690] ppid=7687 vsize=9625040 CPUtime=1748.71 cores=0,2,4,6
/proc/7690/stat : 7690 (java) S 7687 7690 4818 0 -1 4202496 33187 0 1 0 174655 216 0 0 20 0 19 0 3754272 9856040960 146186 33554432000 1073741824 1073778376 140736265137328 140736265128464 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/7690/statm: 2406260 146186 2296 9 0 2396937 0
[pid=7690/tid=7692] ppid=7687 vsize=9625040 CPUtime=1702.54 cores=0,2,4,6
/proc/7690/task/7692/stat : 7692 (java) R 7687 7690 4818 0 -1 4202560 3048 0 1 0 170222 32 0 0 20 0 19 0 3754273 9856040960 146186 33554432000 1073741824 1073778376 140736265137328 140449787899120 140449728217188 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=7690/tid=7693] ppid=7687 vsize=9625040 CPUtime=4.55 cores=0,2,4,6
/proc/7690/task/7693/stat : 7693 (java) S 7687 7690 4818 0 -1 4202560 1770 0 0 0 432 23 0 0 20 0 19 0 3754274 9856040960 146186 33554432000 1073741824 1073778376 140736265137328 140449726630696 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7690/tid=7694] ppid=7687 vsize=9625040 CPUtime=4.69 cores=0,2,4,6
/proc/7690/task/7694/stat : 7694 (java) S 7687 7690 4818 0 -1 4202560 2069 0 0 0 445 24 0 0 20 0 19 0 3754274 9856040960 146186 33554432000 1073741824 1073778376 140736265137328 140449630861992 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7690/tid=7695] ppid=7687 vsize=9625040 CPUtime=4.52 cores=0,2,4,6
/proc/7690/task/7695/stat : 7695 (java) S 7687 7690 4818 0 -1 4202560 2469 0 0 0 428 24 0 0 20 0 19 0 3754274 9856040960 146186 33554432000 1073741824 1073778376 140736265137328 140449629809704 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7690/tid=7696] ppid=7687 vsize=9625040 CPUtime=4.28 cores=0,2,4,6
/proc/7690/task/7696/stat : 7696 (java) S 7687 7690 4818 0 -1 4202560 2326 0 0 0 405 23 0 0 20 0 19 0 3754274 9856040960 146186 33554432000 1073741824 1073778376 140736265137328 140449628756904 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7690/tid=7697] ppid=7687 vsize=9625040 CPUtime=4.47 cores=0,2,4,6
/proc/7690/task/7697/stat : 7697 (java) S 7687 7690 4818 0 -1 4202560 2570 0 0 0 422 25 0 0 20 0 19 0 3754274 9856040960 146186 33554432000 1073741824 1073778376 140736265137328 140449627703592 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=7690/tid=7698] ppid=7687 vsize=9625040 CPUtime=4.64 cores=0,2,4,6
/proc/7690/task/7698/stat : 7698 (java) S 7687 7690 4818 0 -1 4202560 2154 0 0 0 440 24 0 0 20 0 19 0 3754274 9856040960 146186 33554432000 1073741824 1073778376 140736265137328 140449626650792 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7690/tid=7699] ppid=7687 vsize=9625040 CPUtime=4.47 cores=0,2,4,6
/proc/7690/task/7699/stat : 7699 (java) S 7687 7690 4818 0 -1 4202560 2032 0 0 0 428 19 0 0 20 0 19 0 3754274 9856040960 146186 33554432000 1073741824 1073778376 140736265137328 140449625598504 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7690/tid=7700] ppid=7687 vsize=9625040 CPUtime=4.46 cores=0,2,4,6
/proc/7690/task/7700/stat : 7700 (java) S 7687 7690 4818 0 -1 4202560 2850 0 0 0 422 24 0 0 20 0 19 0 3754274 9856040960 146186 33554432000 1073741824 1073778376 140736265137328 140449624545704 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7690/tid=7701] ppid=7687 vsize=9625040 CPUtime=4.71 cores=0,2,4,6
/proc/7690/task/7701/stat : 7701 (java) S 7687 7690 4818 0 -1 4202560 2036 0 0 0 465 6 0 0 20 0 19 0 3754275 9856040960 146186 33554432000 1073741824 1073778376 140736265137328 140449612135144 273909069737 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7690/tid=7702] ppid=7687 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7690/task/7702/stat : 7702 (java) S 7687 7690 4818 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 3754276 9856040960 146186 33554432000 1073741824 1073778376 140736265137328 140449611081208 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7690/tid=7703] ppid=7687 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7690/task/7703/stat : 7703 (java) S 7687 7690 4818 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 3754276 9856040960 146186 33554432000 1073741824 1073778376 140736265137328 140449610028808 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7690/tid=7704] ppid=7687 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7690/task/7704/stat : 7704 (java) S 7687 7690 4818 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3754278 9856040960 146186 33554432000 1073741824 1073778376 140736265137328 140449608977296 273909077792 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7690/tid=7705] ppid=7687 vsize=9625040 CPUtime=0.52 cores=0,2,4,6
/proc/7690/task/7705/stat : 7705 (java) S 7687 7690 4818 0 -1 4202560 4436 0 0 0 51 1 0 0 20 0 19 0 3754278 9856040960 146186 33554432000 1073741824 1073778376 140736265137328 140449607923896 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7690/tid=7706] ppid=7687 vsize=9625040 CPUtime=0.49 cores=0,2,4,6
/proc/7690/task/7706/stat : 7706 (java) S 7687 7690 4818 0 -1 4202560 4064 0 0 0 49 0 0 0 20 0 19 0 3754278 9856040960 146186 33554432000 1073741824 1073778376 140736265137328 140449606871096 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7690/tid=7707] ppid=7687 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7690/task/7707/stat : 7707 (java) S 7687 7690 4818 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3754278 9856040960 146186 33554432000 1073741824 1073778376 140736265137328 140449605819000 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7690/tid=7708] ppid=7687 vsize=9625040 CPUtime=0.39 cores=0,2,4,6
/proc/7690/task/7708/stat : 7708 (java) S 7687 7690 4818 0 -1 4202560 100 0 0 0 16 23 0 0 20 0 19 0 3754278 9856040960 146186 33554432000 1073741824 1073778376 140736265137328 140449604766408 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7690/tid=7709] ppid=7687 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7690/task/7709/stat : 7709 (java) S 7687 7690 4818 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 3754307 9856040960 146186 33554432000 1073741824 1073778376 140736265137328 140449603663272 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1748.71
Current children cumulated vsize (KiB) 9625040



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1773 s]
/proc/loadavg: 2.11 2.20 2.21 4/215 7815
/proc/meminfo: memFree=26097516/32872528 swapFree=1483896/1661724
[pid=7690] ppid=7687 vsize=9625040 CPUtime=1800.08 cores=0,2,4,6
/proc/7690/stat : 7690 (java) S 7687 7690 4818 0 -1 4202496 33355 0 1 0 179788 220 0 0 20 0 19 0 3754272 9856040960 149097 33554432000 1073741824 1073778376 140736265137328 140736265128464 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/7690/statm: 2406260 149097 2296 9 0 2396937 0
[pid=7690/tid=7692] ppid=7687 vsize=9625040 CPUtime=1752.72 cores=0,2,4,6
/proc/7690/task/7692/stat : 7692 (java) R 7687 7690 4818 0 -1 4202560 3065 0 1 0 175239 33 0 0 20 0 19 0 3754273 9856040960 149097 33554432000 1073741824 1073778376 140736265137328 140449787899040 140449728196150 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=7690/tid=7693] ppid=7687 vsize=9625040 CPUtime=4.7 cores=0,2,4,6
/proc/7690/task/7693/stat : 7693 (java) S 7687 7690 4818 0 -1 4202560 1772 0 0 0 447 23 0 0 20 0 19 0 3754274 9856040960 149097 33554432000 1073741824 1073778376 140736265137328 140449726630696 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=7690/tid=7694] ppid=7687 vsize=9625040 CPUtime=4.82 cores=0,2,4,6
/proc/7690/task/7694/stat : 7694 (java) S 7687 7690 4818 0 -1 4202560 2075 0 0 0 458 24 0 0 20 0 19 0 3754274 9856040960 149097 33554432000 1073741824 1073778376 140736265137328 140449630861992 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7690/tid=7695] ppid=7687 vsize=9625040 CPUtime=4.62 cores=0,2,4,6
/proc/7690/task/7695/stat : 7695 (java) S 7687 7690 4818 0 -1 4202560 2475 0 0 0 437 25 0 0 20 0 19 0 3754274 9856040960 149097 33554432000 1073741824 1073778376 140736265137328 140449629809704 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7690/tid=7696] ppid=7687 vsize=9625040 CPUtime=4.38 cores=0,2,4,6
/proc/7690/task/7696/stat : 7696 (java) S 7687 7690 4818 0 -1 4202560 2326 0 0 0 415 23 0 0 20 0 19 0 3754274 9856040960 149097 33554432000 1073741824 1073778376 140736265137328 140449628756904 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7690/tid=7697] ppid=7687 vsize=9625040 CPUtime=4.59 cores=0,2,4,6
/proc/7690/task/7697/stat : 7697 (java) S 7687 7690 4818 0 -1 4202560 2595 0 0 0 434 25 0 0 20 0 19 0 3754274 9856040960 149097 33554432000 1073741824 1073778376 140736265137328 140449627703592 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7690/tid=7698] ppid=7687 vsize=9625040 CPUtime=4.76 cores=0,2,4,6
/proc/7690/task/7698/stat : 7698 (java) S 7687 7690 4818 0 -1 4202560 2174 0 0 0 452 24 0 0 20 0 19 0 3754274 9856040960 149097 33554432000 1073741824 1073778376 140736265137328 140449626650792 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7690/tid=7699] ppid=7687 vsize=9625040 CPUtime=4.58 cores=0,2,4,6
/proc/7690/task/7699/stat : 7699 (java) S 7687 7690 4818 0 -1 4202560 2041 0 0 0 439 19 0 0 20 0 19 0 3754274 9856040960 149097 33554432000 1073741824 1073778376 140736265137328 140449625598504 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7690/tid=7700] ppid=7687 vsize=9625040 CPUtime=4.56 cores=0,2,4,6
/proc/7690/task/7700/stat : 7700 (java) S 7687 7690 4818 0 -1 4202560 2870 0 0 0 432 24 0 0 20 0 19 0 3754274 9856040960 149097 33554432000 1073741824 1073778376 140736265137328 140449624545704 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7690/tid=7701] ppid=7687 vsize=9625040 CPUtime=4.82 cores=0,2,4,6
/proc/7690/task/7701/stat : 7701 (java) S 7687 7690 4818 0 -1 4202560 2095 0 0 0 476 6 0 0 20 0 19 0 3754275 9856040960 149097 33554432000 1073741824 1073778376 140736265137328 140449612135144 273909069737 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7690/tid=7702] ppid=7687 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7690/task/7702/stat : 7702 (java) S 7687 7690 4818 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 3754276 9856040960 149097 33554432000 1073741824 1073778376 140736265137328 140449611081208 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7690/tid=7703] ppid=7687 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7690/task/7703/stat : 7703 (java) S 7687 7690 4818 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 3754276 9856040960 149097 33554432000 1073741824 1073778376 140736265137328 140449610028808 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7690/tid=7704] ppid=7687 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7690/task/7704/stat : 7704 (java) S 7687 7690 4818 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3754278 9856040960 149097 33554432000 1073741824 1073778376 140736265137328 140449608977296 273909077792 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7690/tid=7705] ppid=7687 vsize=9625040 CPUtime=0.52 cores=0,2,4,6
/proc/7690/task/7705/stat : 7705 (java) S 7687 7690 4818 0 -1 4202560 4436 0 0 0 51 1 0 0 20 0 19 0 3754278 9856040960 149097 33554432000 1073741824 1073778376 140736265137328 140449607923896 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7690/tid=7706] ppid=7687 vsize=9625040 CPUtime=0.49 cores=0,2,4,6
/proc/7690/task/7706/stat : 7706 (java) S 7687 7690 4818 0 -1 4202560 4064 0 0 0 49 0 0 0 20 0 19 0 3754278 9856040960 149097 33554432000 1073741824 1073778376 140736265137328 140449606871096 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7690/tid=7707] ppid=7687 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7690/task/7707/stat : 7707 (java) S 7687 7690 4818 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3754278 9856040960 149097 33554432000 1073741824 1073778376 140736265137328 140449605819000 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7690/tid=7708] ppid=7687 vsize=9625040 CPUtime=0.41 cores=0,2,4,6
/proc/7690/task/7708/stat : 7708 (java) S 7687 7690 4818 0 -1 4202560 104 0 0 0 18 23 0 0 20 0 19 0 3754278 9856040960 149097 33554432000 1073741824 1073778376 140736265137328 140449604766408 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7690/tid=7709] ppid=7687 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7690/task/7709/stat : 7709 (java) S 7687 7690 4818 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 3754307 9856040960 149097 33554432000 1073741824 1073778376 140736265137328 140449603663272 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1800.08
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 7690 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 7690 and gives
#  childrusage.ru_utime.tv_sec=1793
#  childrusage.ru_utime.tv_usec=680319
#  childrusage.ru_stime.tv_sec=2
#  childrusage.ru_stime.tv_usec=642598
# CPU time returned by wait4() is 1796.32
# while last known CPU time is 1800.08
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1773.06
CPU time (s): 1800.08
CPU user time (s): 1797.88
CPU system time (s): 2.2
CPU usage (%): 101.524
Max. virtual memory (cumulated for all children) (KiB): 9625040

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.68
system time used= 2.6426
maximum resident set size= 767268
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 33392
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1712
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 55903
involuntary context switches= 62956

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.0425 second user time and 13.364 second system time

The end

Begin job on node134 at 2016-06-29 21:20:17
IDJOB=4118344
IDBENCH=111483
IDSOLVER=2546
FILE ID=node134/4118344-1467228017
RUNJOBID= node134-1467208989-4834
PBS_JOBID= 19997576
Free space on /tmp= 71708 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-edgecross14-058.lin.opb
COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4118344-1467228017/watcher-4118344-1467228017 -o /tmp/evaluation-result-4118344-1467228017/solver-4118344-1467228017 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node134-1467208989-4834 --watchdog 1960  java -jar sat4j-pb.jar HOME/instance-4118344-1467228017.opb

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

MD5SUM BENCH= 0c1eb525ca859a63d5193480765dd275
RANDOM SEED=229241056

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        25362856 kB
Buffers:          135292 kB
Cached:          2992524 kB
SwapCached:            0 kB
Active:          2103828 kB
Inactive:        2995480 kB
Active(anon):    1974096 kB
Inactive(anon):        0 kB
Active(file):     129732 kB
Inactive(file):  2995480 kB
Unevictable:     1661724 kB
Mlocked:         1483896 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:               844 kB
Writeback:             0 kB
AnonPages:       3653564 kB
Mapped:            21664 kB
Shmem:               216 kB
Slab:             611788 kB
SReclaimable:      55596 kB
SUnreclaim:       556192 kB
KernelStack:        1664 kB
PageTables:        11476 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    3871420 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341987908 kB
HardwareCorrupted:     0 kB
AnonHugePages:   2111488 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= 71708 MiB
End job on node134 at 2016-06-29 21:49:51