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.11	c Pseudo Boolean Optimization by upper bound
0.09/0.11	c --- Begin Solver configuration ---
0.09/0.11	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@587bd9f2
0.09/0.11	c Learn all clauses as in MiniSAT
0.09/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.09/0.11	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.09/0.11	c No reason simplification
0.09/0.11	c Glucose 2.1 dynamic restart strategy
0.09/0.11	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.09/0.11	c timeout=2147483s
0.09/0.11	c DB Simplification allowed=false
0.09/0.11	c Listener: org.sat4j.minisat.core.VoidTracing@4e3eca90
0.09/0.11	c --- End Solver configuration ---
0.09/0.11	c solving HOME/instance-4118299-1467227398.opb
0.09/0.11	c reading problem ... 
0.09/0.12	c  objective function found
0.47/0.31	c ... done. Wall clock time 0.194s.
0.47/0.31	c declared #vars     1381
0.47/0.31	c #constraints  2692
0.47/0.31	c constraints type 
0.47/0.31	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 1346
0.47/0.31	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 1346
0.47/0.31	c 2692 constraints processed.
0.47/0.31	c objective function length is 1381 literals
0.47/0.34	c SATISFIABLE
0.47/0.34	c OPTIMIZING...
0.47/0.34	c Got one! Elapsed wall clock time (in seconds):0.224
0.47/0.34	o 0
0.47/0.38	c Got one! Elapsed wall clock time (in seconds):0.263
0.47/0.38	o -28
0.78/0.40	c Got one! Elapsed wall clock time (in seconds):0.288
0.78/0.40	o -56
0.78/0.43	c Got one! Elapsed wall clock time (in seconds):0.312
0.78/0.43	o -93
0.78/0.44	c Got one! Elapsed wall clock time (in seconds):0.326
0.78/0.44	o -126
0.78/0.46	c Got one! Elapsed wall clock time (in seconds):0.343
0.78/0.46	o -130
0.78/0.47	c Got one! Elapsed wall clock time (in seconds):0.352
0.78/0.47	o -165
0.78/0.48	c Got one! Elapsed wall clock time (in seconds):0.361
0.78/0.48	o -168
0.78/0.48	c Got one! Elapsed wall clock time (in seconds):0.369
0.78/0.48	o -175
0.78/0.49	c Got one! Elapsed wall clock time (in seconds):0.376
0.78/0.49	o -210
1.06/0.50	c Got one! Elapsed wall clock time (in seconds):0.385
1.06/0.50	o -213
1.06/0.51	c Got one! Elapsed wall clock time (in seconds):0.392
1.06/0.51	o -220
1.06/0.51	c Got one! Elapsed wall clock time (in seconds):0.4
1.06/0.51	o -254
1.06/0.55	c Got one! Elapsed wall clock time (in seconds):0.435
1.06/0.55	o -257
1.06/0.57	c Got one! Elapsed wall clock time (in seconds):0.46
1.06/0.57	o -265
1.06/0.58	c Got one! Elapsed wall clock time (in seconds):0.469
1.06/0.58	o -267
1.06/0.59	c Got one! Elapsed wall clock time (in seconds):0.472
1.06/0.59	o -301
1.35/0.61	c Got one! Elapsed wall clock time (in seconds):0.494
1.35/0.61	o -310
1.35/0.62	c Got one! Elapsed wall clock time (in seconds):0.503
1.35/0.62	o -312
1.35/0.62	c Got one! Elapsed wall clock time (in seconds):0.506
1.35/0.62	o -314
1.35/0.62	c Got one! Elapsed wall clock time (in seconds):0.509
1.35/0.62	o -346
1.35/0.63	c Got one! Elapsed wall clock time (in seconds):0.52
1.35/0.63	o -347
1.35/0.64	c Got one! Elapsed wall clock time (in seconds):0.526
1.35/0.64	o -349
1.35/0.64	c Got one! Elapsed wall clock time (in seconds):0.531
1.35/0.64	o -350
1.35/0.65	c Got one! Elapsed wall clock time (in seconds):0.533
1.35/0.65	o -351
1.35/0.65	c Got one! Elapsed wall clock time (in seconds):0.537
1.35/0.65	o -360
1.35/0.66	c Got one! Elapsed wall clock time (in seconds):0.547
1.35/0.66	o -362
1.35/0.67	c Got one! Elapsed wall clock time (in seconds):0.554
1.35/0.67	o -386
1.48/0.70	c Got one! Elapsed wall clock time (in seconds):0.59
1.48/0.70	o -388
1.48/0.71	c Got one! Elapsed wall clock time (in seconds):0.6
1.48/0.71	o -399
1.48/0.73	c Got one! Elapsed wall clock time (in seconds):0.611
1.48/0.73	o -401
1.48/0.73	c Got one! Elapsed wall clock time (in seconds):0.62
1.48/0.73	o -410
1.48/0.74	c Got one! Elapsed wall clock time (in seconds):0.626
1.48/0.74	o -421
1.58/0.80	c Got one! Elapsed wall clock time (in seconds):0.687
1.58/0.80	o -426
1.58/0.81	c Got one! Elapsed wall clock time (in seconds):0.694
1.58/0.81	o -428
1.58/0.81	c Got one! Elapsed wall clock time (in seconds):0.698
1.58/0.81	o -429
1.58/0.82	c Got one! Elapsed wall clock time (in seconds):0.702
1.58/0.82	o -439
1.58/0.82	c Got one! Elapsed wall clock time (in seconds):0.707
1.58/0.82	o -440
1.58/0.84	c Got one! Elapsed wall clock time (in seconds):0.724
1.58/0.84	o -444
1.58/0.84	c Got one! Elapsed wall clock time (in seconds):0.731
1.58/0.84	o -447
1.58/0.86	c Got one! Elapsed wall clock time (in seconds):0.742
1.58/0.86	o -457
1.58/0.88	c Got one! Elapsed wall clock time (in seconds):0.769
1.58/0.88	o -486
1.68/0.99	c Got one! Elapsed wall clock time (in seconds):0.88
1.68/0.99	o -487
1.78/1.03	c Got one! Elapsed wall clock time (in seconds):0.921
1.78/1.03	o -490
1.78/1.05	c Got one! Elapsed wall clock time (in seconds):0.934
1.78/1.05	o -491
1.78/1.05	c Got one! Elapsed wall clock time (in seconds):0.938
1.78/1.05	o -492
1.78/1.06	c Got one! Elapsed wall clock time (in seconds):0.942
1.78/1.06	o -494
1.78/1.07	c Got one! Elapsed wall clock time (in seconds):0.961
1.78/1.07	o -499
1.89/1.12	c Got one! Elapsed wall clock time (in seconds):1.003
1.89/1.12	o -501
1.89/1.12	c Got one! Elapsed wall clock time (in seconds):1.009
1.89/1.12	o -502
1.89/1.13	c Got one! Elapsed wall clock time (in seconds):1.012
1.89/1.13	o -504
1.89/1.15	c Got one! Elapsed wall clock time (in seconds):1.036
1.89/1.15	o -513
2.09/1.39	c Got one! Elapsed wall clock time (in seconds):1.272
2.09/1.39	o -515
2.20/1.41	c Got one! Elapsed wall clock time (in seconds):1.299
2.20/1.41	o -522
2.20/1.43	c Got one! Elapsed wall clock time (in seconds):1.316
2.20/1.43	o -523
2.20/1.44	c Got one! Elapsed wall clock time (in seconds):1.324
2.20/1.44	o -530
2.20/1.47	c Got one! Elapsed wall clock time (in seconds):1.36
2.20/1.47	o -531
2.20/1.49	c Got one! Elapsed wall clock time (in seconds):1.373
2.20/1.49	o -532
2.36/1.51	c Got one! Elapsed wall clock time (in seconds):1.392
2.36/1.51	o -533
2.36/1.52	c Got one! Elapsed wall clock time (in seconds):1.411
2.36/1.52	o -537
2.36/1.53	c Got one! Elapsed wall clock time (in seconds):1.414
2.36/1.53	o -538
2.36/1.53	c Got one! Elapsed wall clock time (in seconds):1.417
2.36/1.53	o -540
2.36/1.55	c Got one! Elapsed wall clock time (in seconds):1.439
2.36/1.55	o -541
2.36/1.57	c Got one! Elapsed wall clock time (in seconds):1.458
2.36/1.57	o -545
2.48/1.65	c Got one! Elapsed wall clock time (in seconds):1.532
2.48/1.65	o -546
2.48/1.65	c Got one! Elapsed wall clock time (in seconds):1.541
2.48/1.65	o -547
2.48/1.66	c Got one! Elapsed wall clock time (in seconds):1.544
2.48/1.66	o -549
2.48/1.67	c Got one! Elapsed wall clock time (in seconds):1.556
2.48/1.67	o -552
2.58/1.71	c Got one! Elapsed wall clock time (in seconds):1.6
2.58/1.71	o -555
3.11/2.26	c Got one! Elapsed wall clock time (in seconds):2.146
3.11/2.26	o -579
3.30/2.46	c cleaning 5859 clauses out of 11717 with flag 2002/11717
3.30/2.48	c Got one! Elapsed wall clock time (in seconds):2.362
3.30/2.48	o -582
3.42/2.54	c Got one! Elapsed wall clock time (in seconds):2.426
3.42/2.54	o -584
3.42/2.55	c Got one! Elapsed wall clock time (in seconds):2.434
3.42/2.55	o -585
3.42/2.56	c Got one! Elapsed wall clock time (in seconds):2.444
3.42/2.56	o -586
3.42/2.56	c Got one! Elapsed wall clock time (in seconds):2.448
3.42/2.56	o -588
3.42/2.57	c Got one! Elapsed wall clock time (in seconds):2.457
3.42/2.57	o -589
3.52/2.61	c Got one! Elapsed wall clock time (in seconds):2.497
3.52/2.61	o -593
3.62/2.74	c Got one! Elapsed wall clock time (in seconds):2.627
3.62/2.74	o -595
3.62/2.75	c Got one! Elapsed wall clock time (in seconds):2.638
3.62/2.75	o -597
3.62/2.76	c Got one! Elapsed wall clock time (in seconds):2.651
3.62/2.76	o -598
3.62/2.77	c Got one! Elapsed wall clock time (in seconds):2.657
3.62/2.77	o -599
3.62/2.77	c Got one! Elapsed wall clock time (in seconds):2.659
3.62/2.77	o -600
3.72/2.84	c Got one! Elapsed wall clock time (in seconds):2.728
3.72/2.84	o -601
4.52/3.67	c cleaning 6694 clauses out of 13388 with flag 10001/19247
4.72/3.81	c Got one! Elapsed wall clock time (in seconds):3.691
4.72/3.81	o -608
4.72/3.85	c Got one! Elapsed wall clock time (in seconds):3.734
4.72/3.85	o -609
4.72/3.89	c Got one! Elapsed wall clock time (in seconds):3.776
4.72/3.89	o -612
4.82/3.93	c Got one! Elapsed wall clock time (in seconds):3.816
4.82/3.93	o -613
4.82/3.96	c Got one! Elapsed wall clock time (in seconds):3.843
4.82/3.96	o -616
4.82/3.97	c Got one! Elapsed wall clock time (in seconds):3.858
4.82/3.97	o -617
4.82/3.98	c Got one! Elapsed wall clock time (in seconds):3.867
4.82/3.98	o -618
4.92/4.09	c Got one! Elapsed wall clock time (in seconds):3.973
4.92/4.09	o -619
4.92/4.09	c Got one! Elapsed wall clock time (in seconds):3.979
4.92/4.09	o -622
5.11/4.12	c Got one! Elapsed wall clock time (in seconds):4.007
5.11/4.12	o -623
5.11/4.13	c Got one! Elapsed wall clock time (in seconds):4.014
5.11/4.13	o -624
5.11/4.15	c Got one! Elapsed wall clock time (in seconds):4.039
5.11/4.15	o -626
5.20/4.24	c Got one! Elapsed wall clock time (in seconds):4.124
5.20/4.24	o -632
5.30/4.34	c Got one! Elapsed wall clock time (in seconds):4.227
5.30/4.34	o -634
5.30/4.36	c Got one! Elapsed wall clock time (in seconds):4.243
5.30/4.36	o -635
5.30/4.39	c Got one! Elapsed wall clock time (in seconds):4.276
5.30/4.39	o -636
5.30/4.39	c Got one! Elapsed wall clock time (in seconds):4.28
5.30/4.39	o -637
5.40/4.47	c Got one! Elapsed wall clock time (in seconds):4.351
5.40/4.47	o -643
5.70/4.75	c Got one! Elapsed wall clock time (in seconds):4.64
5.70/4.75	o -644
5.70/4.79	c Got one! Elapsed wall clock time (in seconds):4.68
5.70/4.79	o -646
5.80/4.81	c Got one! Elapsed wall clock time (in seconds):4.696
5.80/4.81	o -647
5.90/4.95	c Got one! Elapsed wall clock time (in seconds):4.832
5.90/4.95	o -657
6.71/5.70	c cleaning 9252 clauses out of 18506 with flag 8003/31059
7.63/6.67	c cleaning 7627 clauses out of 15253 with flag 20001/37058
7.73/6.77	c Got one! Elapsed wall clock time (in seconds):6.652
7.73/6.77	o -664
7.93/6.99	c Got one! Elapsed wall clock time (in seconds):6.881
7.93/6.99	o -665
8.03/7.06	c Got one! Elapsed wall clock time (in seconds):6.951
8.03/7.06	o -669
8.23/7.23	c Got one! Elapsed wall clock time (in seconds):7.12
8.23/7.23	o -670
8.23/7.28	c Got one! Elapsed wall clock time (in seconds):7.168
8.23/7.28	o -672
8.33/7.35	c Got one! Elapsed wall clock time (in seconds):7.233
8.33/7.35	o -674
8.53/7.50	c Got one! Elapsed wall clock time (in seconds):7.383
8.53/7.50	o -675
8.74/7.78	c Got one! Elapsed wall clock time (in seconds):7.662
8.74/7.78	o -680
8.84/7.83	c Got one! Elapsed wall clock time (in seconds):7.713
8.84/7.83	o -682
8.84/7.84	c Got one! Elapsed wall clock time (in seconds):7.722
8.84/7.84	o -684
9.03/8.01	c Got one! Elapsed wall clock time (in seconds):7.892
9.03/8.01	o -685
9.23/8.21	c cleaning 8466 clauses out of 16934 with flag 2003/46366
9.63/8.68	c Got one! Elapsed wall clock time (in seconds):8.562
9.63/8.68	o -689
9.73/8.74	c Got one! Elapsed wall clock time (in seconds):8.623
9.73/8.74	o -690
9.73/8.78	c Got one! Elapsed wall clock time (in seconds):8.667
9.73/8.78	o -694
9.73/8.80	c Got one! Elapsed wall clock time (in seconds):8.687
9.73/8.80	o -956
10.13/9.16	c cleaning 7234 clauses out of 14471 with flag 4001/52369
11.18/10.18	c cleaning 6619 clauses out of 13238 with flag 16003/58370
12.38/11.31	c cleaning 6806 clauses out of 13618 with flag 30001/65369
13.19/12.16	c Got one! Elapsed wall clock time (in seconds):12.043
13.19/12.16	o -960
14.08/13.03	c cleaning 8532 clauses out of 17067 with flag 10004/75624
15.08/14.02	c cleaning 7266 clauses out of 14534 with flag 22060/81623
16.18/15.12	c cleaning 7133 clauses out of 14268 with flag 36122/88623
16.49/15.42	c Got one! Elapsed wall clock time (in seconds):15.301
16.49/15.42	o -969
17.08/16.09	c cleaning 6544 clauses out of 13100 with flag 8003/94588
18.14/17.05	c cleaning 6277 clauses out of 12557 with flag 20005/100589
19.25/18.17	c cleaning 6637 clauses out of 13279 with flag 34003/107588
20.55/19.46	c cleaning 7320 clauses out of 14641 with flag 50001/115587
21.95/20.83	c Got one! Elapsed wall clock time (in seconds):20.713
21.95/20.83	o -972
22.85/21.79	c cleaning 10355 clauses out of 20717 with flag 10002/128983
24.05/22.87	c cleaning 8178 clauses out of 16362 with flag 22002/134983
24.15/22.90	c Got one! Elapsed wall clock time (in seconds):22.791
24.15/22.90	o -990
24.95/23.76	c cleaning 6697 clauses out of 13396 with flag 10052/140195
25.15/23.98	c Got one! Elapsed wall clock time (in seconds):23.869
25.15/23.98	o -991
25.85/24.65	c cleaning 6104 clauses out of 12212 with flag 8218/145708
25.95/24.71	c Got one! Elapsed wall clock time (in seconds):24.599
25.95/24.71	o -992
26.05/24.89	c Got one! Elapsed wall clock time (in seconds):24.775
26.05/24.89	o -995
26.25/25.02	c Got one! Elapsed wall clock time (in seconds):24.903
26.25/25.02	o -998
26.95/25.70	c cleaning 6272 clauses out of 12552 with flag 8005/152152
27.85/26.65	c cleaning 6136 clauses out of 12280 with flag 20008/158152
28.05/26.82	c Got one! Elapsed wall clock time (in seconds):26.706
28.05/26.82	o -999
28.65/27.48	c cleaning 5653 clauses out of 11313 with flag 8101/163321
28.65/27.50	c Got one! Elapsed wall clock time (in seconds):27.388
28.65/27.50	o -1000
28.76/27.54	c Got one! Elapsed wall clock time (in seconds):27.427
28.76/27.54	o -1001
28.86/27.65	c Got one! Elapsed wall clock time (in seconds):27.536
28.86/27.65	o -1002
28.86/27.68	c Got one! Elapsed wall clock time (in seconds):27.57
28.86/27.68	o -1004
29.85/28.53	c cleaning 6033 clauses out of 12067 with flag 10301/169728
29.85/28.60	c Got one! Elapsed wall clock time (in seconds):28.488
29.85/28.60	o -1007
30.63/29.32	c cleaning 5768 clauses out of 11538 with flag 10001/175232
31.53/30.20	c cleaning 5885 clauses out of 11771 with flag 22003/181233
32.63/31.35	c cleaning 6442 clauses out of 12885 with flag 36001/188232
33.93/32.63	c cleaning 7219 clauses out of 14443 with flag 52001/196232
35.43/34.11	c cleaning 8109 clauses out of 16224 with flag 70001/205232
37.20/35.87	c cleaning 9055 clauses out of 18115 with flag 90001/215232
38.40/37.09	c Got one! Elapsed wall clock time (in seconds):36.976
38.40/37.09	o -1010
39.40/38.02	c cleaning 10614 clauses out of 21233 with flag 10004/227405
40.40/39.03	c cleaning 8307 clauses out of 16618 with flag 22002/233404
41.51/40.16	c cleaning 7651 clauses out of 15312 with flag 36004/240405
42.86/41.50	c cleaning 7831 clauses out of 15661 with flag 52004/248405
44.37/42.95	c cleaning 8414 clauses out of 16830 with flag 70005/257405
44.47/43.01	c Got one! Elapsed wall clock time (in seconds):42.893
44.47/43.01	o -1014
45.26/43.84	c cleaning 6910 clauses out of 13823 with flag 10005/262812
45.47/44.07	c Got one! Elapsed wall clock time (in seconds):43.954
45.47/44.07	o -1015
45.76/44.31	c Got one! Elapsed wall clock time (in seconds):44.196
45.76/44.31	o -1016
45.76/44.35	c Got one! Elapsed wall clock time (in seconds):44.235
45.76/44.35	o -1018
45.76/44.37	c Got one! Elapsed wall clock time (in seconds):44.258
45.76/44.37	o -1019
45.86/44.41	c Got one! Elapsed wall clock time (in seconds):44.291
45.86/44.41	o -1020
45.96/44.56	c Got one! Elapsed wall clock time (in seconds):44.445
45.96/44.56	o -1021
46.06/44.60	c Got one! Elapsed wall clock time (in seconds):44.487
46.06/44.60	o -1022
46.06/44.61	c Got one! Elapsed wall clock time (in seconds):44.5
46.06/44.61	o -1023
46.06/44.62	c Got one! Elapsed wall clock time (in seconds):44.511
46.06/44.62	o -1024
46.16/44.70	c Got one! Elapsed wall clock time (in seconds):44.586
46.16/44.70	o -1028
46.46/45.06	c Got one! Elapsed wall clock time (in seconds):44.948
46.46/45.06	o -1029
46.46/45.10	c Got one! Elapsed wall clock time (in seconds):44.982
46.46/45.10	o -1030
46.56/45.10	c Got one! Elapsed wall clock time (in seconds):44.99
46.56/45.10	o -1031
46.56/45.17	c Got one! Elapsed wall clock time (in seconds):45.053
46.56/45.17	o -1032
46.76/45.35	c cleaning 8079 clauses out of 16164 with flag 2022/272063
46.76/45.39	c Got one! Elapsed wall clock time (in seconds):45.274
46.76/45.39	o -1037
47.64/46.19	c cleaning 6691 clauses out of 13386 with flag 10011/277364
48.04/46.51	c Got one! Elapsed wall clock time (in seconds):46.401
48.04/46.51	o -1039
48.24/46.70	c Got one! Elapsed wall clock time (in seconds):46.591
48.24/46.70	o -1042
48.34/46.83	c Got one! Elapsed wall clock time (in seconds):46.714
48.34/46.83	o -1044
48.64/47.17	c cleaning 6493 clauses out of 12995 with flag 4004/283664
49.64/48.10	c cleaning 6248 clauses out of 12502 with flag 16004/289664
50.44/48.97	c Got one! Elapsed wall clock time (in seconds):48.852
50.44/48.97	o -1045
50.64/49.12	c Got one! Elapsed wall clock time (in seconds):49.007
50.64/49.12	o -1046
50.64/49.20	c Got one! Elapsed wall clock time (in seconds):49.082
50.64/49.20	o -1047
50.74/49.21	c Got one! Elapsed wall clock time (in seconds):49.094
50.74/49.21	o -1048
50.84/49.31	c Got one! Elapsed wall clock time (in seconds):49.196
50.84/49.31	o -1050
51.04/49.52	c Got one! Elapsed wall clock time (in seconds):49.411
51.04/49.52	o -1051
51.74/50.27	c cleaning 9734 clauses out of 19468 with flag 8151/302878
52.14/50.68	c Got one! Elapsed wall clock time (in seconds):50.566
52.14/50.68	o -1053
52.64/51.19	c cleaning 7716 clauses out of 15439 with flag 6001/308583
54.07/52.18	c cleaning 6860 clauses out of 13724 with flag 18003/314584
55.18/53.29	c cleaning 6926 clauses out of 13863 with flag 32001/321583
56.58/54.66	c cleaning 7464 clauses out of 14938 with flag 48003/329584
58.28/56.33	c cleaning 8234 clauses out of 16473 with flag 66001/338583
60.14/58.14	c cleaning 9115 clauses out of 18240 with flag 86003/348584
62.24/60.25	c cleaning 10061 clauses out of 20124 with flag 108001/359583
62.94/60.99	c Got one! Elapsed wall clock time (in seconds):60.879
62.94/60.99	o -1055
63.14/61.19	c cleaning 7648 clauses out of 15307 with flag 2004/364827
64.24/62.20	c cleaning 6825 clauses out of 13659 with flag 14004/370827
65.40/63.37	c cleaning 6912 clauses out of 13833 with flag 28002/377826
66.80/64.75	c cleaning 7457 clauses out of 14922 with flag 44004/385827
68.40/66.35	c cleaning 8230 clauses out of 16464 with flag 62002/394826
70.00/67.99	c Got one! Elapsed wall clock time (in seconds):67.88
70.00/67.99	o -1064
71.27/69.10	c cleaning 11405 clauses out of 22818 with flag 10005/409410
71.57/69.46	c Got one! Elapsed wall clock time (in seconds):69.348
71.57/69.46	o -1065
72.17/70.02	c cleaning 8249 clauses out of 16499 with flag 6006/414496
72.37/70.21	c Got one! Elapsed wall clock time (in seconds):70.092
72.37/70.21	o -1066
72.67/70.56	c Got one! Elapsed wall clock time (in seconds):70.443
72.67/70.56	o -1068
72.76/70.68	c Got one! Elapsed wall clock time (in seconds):70.564
72.76/70.68	o -1071
72.96/70.83	c Got one! Elapsed wall clock time (in seconds):70.721
72.96/70.83	o -1074
73.36/71.21	c cleaning 7618 clauses out of 15241 with flag 4004/421487
74.26/72.19	c cleaning 6809 clauses out of 13623 with flag 16004/427487
74.46/72.30	c Got one! Elapsed wall clock time (in seconds):72.191
74.46/72.30	o -1075
74.56/72.48	c Got one! Elapsed wall clock time (in seconds):72.367
74.56/72.48	o -1078
74.87/72.76	c Got one! Elapsed wall clock time (in seconds):72.651
74.87/72.76	o -1079
74.96/72.83	c Got one! Elapsed wall clock time (in seconds):72.714
74.96/72.83	o -1080
75.16/73.09	c Got one! Elapsed wall clock time (in seconds):72.973
75.16/73.09	o -1082
75.56/73.47	c cleaning 7229 clauses out of 14460 with flag 4006/435133
76.60/74.49	c cleaning 6613 clauses out of 13230 with flag 16004/441132
77.50/75.35	c Got one! Elapsed wall clock time (in seconds):75.237
77.50/75.35	o -1084
77.90/75.77	c Got one! Elapsed wall clock time (in seconds):75.659
77.90/75.77	o -1085
78.00/75.86	c Got one! Elapsed wall clock time (in seconds):75.75
78.00/75.86	o -1087
78.20/76.01	c Got one! Elapsed wall clock time (in seconds):75.894
78.20/76.01	o -1089
78.80/76.60	c cleaning 9378 clauses out of 18758 with flag 6129/453273
79.80/77.62	c cleaning 7686 clauses out of 15379 with flag 18243/459272
80.30/78.17	c Got one! Elapsed wall clock time (in seconds):78.06
80.30/78.17	o -1095
80.70/78.50	c cleaning 6640 clauses out of 13282 with flag 4002/464861
81.62/79.42	c cleaning 6320 clauses out of 12642 with flag 16004/470861
82.72/80.50	c cleaning 6659 clauses out of 13322 with flag 30006/477861
84.02/81.80	c cleaning 7328 clauses out of 14663 with flag 46006/485861
85.52/83.32	c cleaning 8168 clauses out of 16335 with flag 64006/494861
87.27/85.09	c cleaning 9077 clauses out of 18167 with flag 84016/504861
89.27/87.07	c cleaning 10043 clauses out of 20090 with flag 106132/515861
90.17/87.94	c Got one! Elapsed wall clock time (in seconds):87.825
90.17/87.94	o -1097
91.07/88.87	c cleaning 10080 clauses out of 20166 with flag 10003/525980
92.12/89.89	c cleaning 8041 clauses out of 16086 with flag 22003/531980
93.22/90.99	c cleaning 7520 clauses out of 15045 with flag 36005/538980
94.62/92.33	c cleaning 7760 clauses out of 15526 with flag 52010/546981
96.12/93.80	c cleaning 8381 clauses out of 16765 with flag 70087/555980
96.42/94.15	c Got one! Elapsed wall clock time (in seconds):94.034
96.42/94.15	o -1098
96.95/94.65	c cleaning 6796 clauses out of 13597 with flag 6104/561193
97.85/95.55	c cleaning 6400 clauses out of 12802 with flag 18429/567194
98.85/96.50	c Got one! Elapsed wall clock time (in seconds):96.386
98.85/96.50	o -1100
99.65/97.32	c cleaning 8997 clauses out of 18003 with flag 10003/578795
100.55/98.23	c cleaning 7499 clauses out of 15005 with flag 22001/584794
101.69/99.36	c cleaning 7248 clauses out of 14506 with flag 36001/591794
103.09/100.73	c cleaning 7627 clauses out of 15260 with flag 52005/599796
104.59/102.29	c cleaning 8315 clauses out of 16632 with flag 70003/608795
106.30/103.96	c cleaning 9155 clauses out of 18316 with flag 90001/618794
108.11/105.75	c Got one! Elapsed wall clock time (in seconds):105.64
108.11/105.75	o -1101
109.11/106.76	c cleaning 12298 clauses out of 24603 with flag 10002/634236
110.21/107.84	c cleaning 9149 clauses out of 18306 with flag 22004/640237
111.47/109.01	c cleaning 8074 clauses out of 16157 with flag 36004/647237
112.77/110.31	c cleaning 8036 clauses out of 16082 with flag 52002/655236
114.17/111.78	c cleaning 8522 clauses out of 17047 with flag 70004/664237
115.08/112.59	c Got one! Elapsed wall clock time (in seconds):112.478
115.08/112.59	o -1105
115.28/112.78	c cleaning 7184 clauses out of 14379 with flag 2003/670091
116.28/113.75	c cleaning 6593 clauses out of 13195 with flag 14003/676091
117.48/114.91	c cleaning 6800 clauses out of 13602 with flag 28003/683091
117.68/115.12	c Got one! Elapsed wall clock time (in seconds):115.011
117.68/115.12	o -1106
118.28/115.77	c cleaning 6115 clauses out of 12242 with flag 8034/688531
118.58/116.02	c Got one! Elapsed wall clock time (in seconds):115.905
118.58/116.02	o -1114
119.22/116.62	c Got one! Elapsed wall clock time (in seconds):116.502
119.22/116.62	o -1115
119.32/116.79	c cleaning 6345 clauses out of 12697 with flag 2008/695101
119.52/116.92	c Got one! Elapsed wall clock time (in seconds):116.811
119.52/116.92	o -1117
119.62/117.09	c Got one! Elapsed wall clock time (in seconds):116.977
119.62/117.09	o -1118
119.92/117.32	c Got one! Elapsed wall clock time (in seconds):117.209
119.92/117.32	o -1119
120.42/117.84	c cleaning 6534 clauses out of 13080 with flag 6006/701829
121.32/118.79	c cleaning 6271 clauses out of 12545 with flag 18004/707828
122.02/119.44	c Got one! Elapsed wall clock time (in seconds):119.321
122.02/119.44	o -1121
122.22/119.61	c cleaning 5801 clauses out of 11608 with flag 2007/713162
122.52/119.99	c Got one! Elapsed wall clock time (in seconds):119.88
122.52/119.99	o -1124
122.82/120.26	c Got one! Elapsed wall clock time (in seconds):120.148
122.82/120.26	o -1126
123.02/120.42	c Got one! Elapsed wall clock time (in seconds):120.303
123.02/120.42	o -1127
123.32/120.75	c cleaning 6565 clauses out of 13134 with flag 4064/720489
124.02/121.48	c Got one! Elapsed wall clock time (in seconds):121.366
124.02/121.48	o -1131
124.22/121.64	c cleaning 6261 clauses out of 12534 with flag 2002/726454
125.12/122.50	c cleaning 6134 clauses out of 12274 with flag 14004/732455
126.12/123.54	c cleaning 6568 clauses out of 13139 with flag 28002/739454
127.42/124.84	c cleaning 7285 clauses out of 14573 with flag 44006/747456
128.92/126.30	c cleaning 8142 clauses out of 16286 with flag 62002/756454
130.57/127.97	c cleaning 9071 clauses out of 18144 with flag 82002/766454
131.47/128.86	c Got one! Elapsed wall clock time (in seconds):128.742
131.47/128.86	o -1132
132.37/129.72	c cleaning 9745 clauses out of 19496 with flag 10005/776877
133.37/130.71	c cleaning 7876 clauses out of 15751 with flag 22005/782877
134.39/131.77	c cleaning 7436 clauses out of 14875 with flag 36005/789877
135.69/133.02	c cleaning 7718 clauses out of 15438 with flag 52004/797876
136.49/133.86	c Got one! Elapsed wall clock time (in seconds):133.746
136.49/133.86	o -1134
137.39/134.75	c cleaning 9090 clauses out of 18186 with flag 10004/808342
138.42/135.73	c cleaning 7545 clauses out of 15096 with flag 22004/814342
139.53/136.84	c cleaning 7273 clauses out of 14551 with flag 36005/821342
140.34/137.61	c Got one! Elapsed wall clock time (in seconds):137.499
140.34/137.61	o -1136
141.13/138.49	c cleaning 8797 clauses out of 17596 with flag 10005/831660
142.13/139.43	c cleaning 7400 clauses out of 14800 with flag 22007/837661
143.13/140.48	c cleaning 7198 clauses out of 14399 with flag 36073/844660
144.43/141.71	c cleaning 7593 clauses out of 15201 with flag 52089/852660
145.77/143.09	c cleaning 8302 clauses out of 16608 with flag 70089/861660
147.36/144.69	c cleaning 9152 clauses out of 18306 with flag 90089/871660
148.59/145.80	c Got one! Elapsed wall clock time (in seconds):145.689
148.59/145.80	o -1139
149.39/146.62	c cleaning 10494 clauses out of 20988 with flag 10004/883494
150.29/147.54	c cleaning 8247 clauses out of 16495 with flag 22006/889495
151.29/148.60	c cleaning 7621 clauses out of 15247 with flag 36004/896494
152.59/149.82	c cleaning 7807 clauses out of 15625 with flag 52002/904493
153.99/151.23	c cleaning 8407 clauses out of 16819 with flag 70004/913494
155.61/152.85	c cleaning 9205 clauses out of 18411 with flag 90002/923493
157.21/154.47	c Got one! Elapsed wall clock time (in seconds):154.356
157.21/154.47	o -1141
158.11/155.39	c cleaning 11846 clauses out of 23696 with flag 10006/937983
159.15/156.35	c cleaning 8923 clauses out of 17850 with flag 22006/943983
160.15/157.40	c cleaning 7960 clauses out of 15927 with flag 36006/950983
161.44/158.67	c cleaning 7980 clauses out of 15966 with flag 52160/958982
162.46/159.65	c Got one! Elapsed wall clock time (in seconds):159.533
162.46/159.65	o -1142
163.35/160.56	c cleaning 9681 clauses out of 19363 with flag 10006/970359
164.35/161.50	c cleaning 7838 clauses out of 15681 with flag 22005/976358
165.47/162.65	c cleaning 7418 clauses out of 14844 with flag 36007/983359
166.77/163.95	c cleaning 7710 clauses out of 15425 with flag 52005/991358
167.27/164.47	c Got one! Elapsed wall clock time (in seconds):164.352
167.27/164.47	o -1143
167.67/164.80	c cleaning 6442 clauses out of 12895 with flag 4070/996538
168.59/165.71	c cleaning 6222 clauses out of 12453 with flag 16146/1002538
168.79/165.91	c Got one! Elapsed wall clock time (in seconds):165.796
168.79/165.91	o -1144
168.89/166.03	c Got one! Elapsed wall clock time (in seconds):165.917
168.89/166.03	o -1145
169.49/166.65	c cleaning 6241 clauses out of 12483 with flag 8242/1008790
170.39/167.55	c cleaning 6115 clauses out of 12243 with flag 20587/1014791
171.52/168.67	c cleaning 6562 clauses out of 13127 with flag 34797/1021790
172.82/169.94	c cleaning 7283 clauses out of 14566 with flag 50933/1029791
174.36/171.40	c cleaning 8140 clauses out of 16283 with flag 68988/1038791
175.86/172.96	c cleaning 9070 clauses out of 18143 with flag 89164/1048791
177.80/174.81	c cleaning 10034 clauses out of 20073 with flag 111235/1059791
179.70/176.77	c cleaning 11018 clauses out of 22038 with flag 135235/1071790
182.02/179.09	c cleaning 12007 clauses out of 24020 with flag 161237/1084790
184.03/181.03	c Got one! Elapsed wall clock time (in seconds):180.914
184.03/181.03	o -1147
185.03/182.01	c cleaning 13961 clauses out of 27931 with flag 10003/1100708
186.03/183.05	c cleaning 9978 clauses out of 19969 with flag 22001/1106707
187.26/184.28	c cleaning 8490 clauses out of 16991 with flag 36001/1113707
188.76/185.73	c cleaning 8242 clauses out of 16501 with flag 52001/1121707
190.28/187.29	c cleaning 8627 clauses out of 17260 with flag 70003/1130708
191.98/188.99	c cleaning 9315 clauses out of 18633 with flag 90003/1140708
193.52/190.46	c Got one! Elapsed wall clock time (in seconds):190.345
193.52/190.46	o -1151
194.52/191.44	c cleaning 11682 clauses out of 23376 with flag 10004/1154766
195.54/192.47	c cleaning 8841 clauses out of 17694 with flag 22004/1160766
196.75/193.66	c cleaning 7919 clauses out of 15852 with flag 36002/1167765
198.14/195.02	c cleaning 7963 clauses out of 15933 with flag 52002/1175765
199.64/196.58	c cleaning 8482 clauses out of 16970 with flag 70002/1184765
200.15/197.05	c Got one! Elapsed wall clock time (in seconds):196.935
200.15/197.05	o -1156
200.64/197.59	c cleaning 7193 clauses out of 14398 with flag 6003/1190675
201.65/198.54	c cleaning 6594 clauses out of 13205 with flag 18003/1196675
202.75/199.66	c cleaning 6804 clauses out of 13612 with flag 32005/1203676
204.11/200.96	c cleaning 7404 clauses out of 14808 with flag 48005/1211676
205.62/202.41	c cleaning 8201 clauses out of 16403 with flag 66003/1220675
206.64/203.41	c Got one! Elapsed wall clock time (in seconds):203.295
206.64/203.41	o -1158
207.54/204.35	c cleaning 9787 clauses out of 19577 with flag 10073/1232050
207.84/204.63	c Got one! Elapsed wall clock time (in seconds):204.516
207.84/204.63	o -1159
208.24/205.00	c Got one! Elapsed wall clock time (in seconds):204.889
208.24/205.00	o -1160
208.24/205.09	c Got one! Elapsed wall clock time (in seconds):204.974
208.24/205.09	o -1162
208.64/205.44	c cleaning 8200 clauses out of 16402 with flag 4125/1238662
208.74/205.52	c Got one! Elapsed wall clock time (in seconds):205.402
208.74/205.52	o -1165
209.44/206.26	c cleaning 6852 clauses out of 13709 with flag 10002/1244169
210.34/207.13	c cleaning 6426 clauses out of 12858 with flag 22004/1250170
211.45/208.25	c cleaning 6713 clauses out of 13431 with flag 36002/1257169
212.65/209.49	c cleaning 7357 clauses out of 14718 with flag 52002/1265169
214.16/210.92	c cleaning 8177 clauses out of 16362 with flag 70004/1274170
215.76/212.57	c cleaning 9093 clauses out of 18185 with flag 90004/1284170
217.71/214.43	c cleaning 10046 clauses out of 20092 with flag 112005/1295170
217.71/214.49	c Got one! Elapsed wall clock time (in seconds):214.377
217.71/214.49	o -1167
218.64/215.31	c cleaning 7747 clauses out of 15495 with flag 10005/1300619
219.54/216.22	c cleaning 6873 clauses out of 13748 with flag 22005/1306619
220.54/217.28	c cleaning 6934 clauses out of 13874 with flag 36003/1313618
221.88/218.54	c cleaning 7467 clauses out of 14941 with flag 52005/1321619
222.48/219.18	c Got one! Elapsed wall clock time (in seconds):219.063
222.48/219.18	o -1170
222.68/219.35	c cleaning 6397 clauses out of 12806 with flag 2006/1326951
223.62/220.28	c cleaning 6199 clauses out of 12409 with flag 14007/1332951
224.72/221.33	c cleaning 6605 clauses out of 13211 with flag 28038/1339952
225.52/222.16	c Got one! Elapsed wall clock time (in seconds):222.049
225.52/222.16	o -1171
226.42/223.02	c cleaning 8601 clauses out of 17208 with flag 10150/1350554
227.25/223.87	c Got one! Elapsed wall clock time (in seconds):223.752
227.25/223.87	o -1172
227.65/224.29	c Got one! Elapsed wall clock time (in seconds):224.181
227.65/224.29	o -1173
227.95/224.56	c Got one! Elapsed wall clock time (in seconds):224.448
227.95/224.56	o -1174
228.35/224.95	c cleaning 9992 clauses out of 19994 with flag 4312/1361941
228.45/225.08	c Got one! Elapsed wall clock time (in seconds):224.969
228.45/225.08	o -1177
229.25/225.86	c cleaning 7974 clauses out of 15956 with flag 10002/1367895
230.27/226.80	c cleaning 6989 clauses out of 13983 with flag 22004/1373896
231.37/227.99	c cleaning 6993 clauses out of 13995 with flag 36006/1380897
232.78/229.39	c cleaning 7498 clauses out of 15000 with flag 52002/1388895
234.40/230.94	c cleaning 8249 clauses out of 16503 with flag 70004/1397896
236.23/232.73	c cleaning 9126 clauses out of 18254 with flag 90004/1407896
238.26/234.72	c cleaning 10057 clauses out of 20127 with flag 112002/1418895
240.49/236.98	c cleaning 11031 clauses out of 22070 with flag 136002/1430895
243.03/239.45	c cleaning 12020 clauses out of 24039 with flag 162002/1443895
245.76/242.16	c cleaning 13006 clauses out of 26019 with flag 190002/1457895
248.79/245.11	c cleaning 14005 clauses out of 28014 with flag 220004/1472896
249.59/245.91	c Got one! Elapsed wall clock time (in seconds):245.796
249.59/245.91	o -1178
249.79/246.10	c cleaning 9982 clauses out of 19974 with flag 2005/1478861
250.70/247.04	c cleaning 7997 clauses out of 15993 with flag 14008/1484862
250.70/247.06	c Got one! Elapsed wall clock time (in seconds):246.945
250.70/247.06	o -1179
251.00/247.33	c Got one! Elapsed wall clock time (in seconds):247.217
251.00/247.33	o -1180
251.10/247.45	c Got one! Elapsed wall clock time (in seconds):247.334
251.10/247.45	o -1182
251.71/248.08	c cleaning 7435 clauses out of 14875 with flag 8075/1491741
252.11/248.46	c Got one! Elapsed wall clock time (in seconds):248.342
252.11/248.46	o -1193
252.61/248.91	c cleaning 6619 clauses out of 13245 with flag 6004/1497546
253.43/249.80	c cleaning 6309 clauses out of 12626 with flag 18007/1503546
254.55/250.86	c cleaning 6657 clauses out of 13317 with flag 32014/1510546
255.87/252.17	c cleaning 7329 clauses out of 14661 with flag 48017/1518547
257.37/253.67	c cleaning 8166 clauses out of 16332 with flag 66017/1527547
259.13/255.33	c cleaning 9079 clauses out of 18165 with flag 86016/1537546
261.05/257.22	c cleaning 10041 clauses out of 20086 with flag 108018/1548546
263.18/259.34	c cleaning 11020 clauses out of 22045 with flag 132018/1560546
265.63/261.74	c cleaning 12013 clauses out of 24026 with flag 158020/1573547
268.15/264.27	c cleaning 13006 clauses out of 26012 with flag 186022/1587546
271.09/267.19	c cleaning 14004 clauses out of 28007 with flag 216024/1602547
274.22/270.27	c cleaning 14996 clauses out of 30002 with flag 248024/1618546
277.92/273.82	c cleaning 15997 clauses out of 32007 with flag 282045/1635547
281.68/277.55	c cleaning 17000 clauses out of 34010 with flag 318051/1653547
285.87/281.67	c cleaning 17999 clauses out of 36009 with flag 356049/1672546
290.47/286.16	c cleaning 19006 clauses out of 38011 with flag 396058/1692547
295.25/290.85	c cleaning 20001 clauses out of 40005 with flag 438058/1713547
300.12/295.68	c cleaning 20997 clauses out of 42004 with flag 482059/1735547
305.83/301.22	c cleaning 22000 clauses out of 44007 with flag 528059/1758547
311.28/306.64	c cleaning 23002 clauses out of 46007 with flag 576059/1782547
317.35/312.69	c cleaning 24000 clauses out of 48005 with flag 626059/1807547
323.68/318.80	c cleaning 25001 clauses out of 50004 with flag 678057/1833546
330.42/325.41	c cleaning 25998 clauses out of 52004 with flag 732060/1860547
337.55/332.48	c cleaning 26999 clauses out of 54006 with flag 788060/1888547
344.85/339.60	c cleaning 27998 clauses out of 56006 with flag 846061/1917546
352.66/347.21	c cleaning 29005 clauses out of 58010 with flag 906069/1947548
360.35/354.84	c cleaning 29999 clauses out of 60003 with flag 968065/1978546
368.82/363.20	c cleaning 31001 clauses out of 62005 with flag 1032067/2010547
377.43/371.61	c cleaning 32002 clauses out of 64003 with flag 1098066/2043546
383.85/377.96	c Got one! Elapsed wall clock time (in seconds):377.848
383.85/377.96	o -1201
385.75/379.89	c cleaning 31864 clauses out of 63739 with flag 10011/2075284
387.27/381.32	c cleaning 18933 clauses out of 37876 with flag 22016/2081285
388.69/382.72	c cleaning 12965 clauses out of 25942 with flag 36021/2088284
390.20/384.22	c cleaning 10482 clauses out of 20978 with flag 52034/2096285
391.73/385.79	c cleaning 9740 clauses out of 19496 with flag 70038/2105285
393.56/387.53	c cleaning 9874 clauses out of 19755 with flag 90037/2115284
395.60/389.57	c cleaning 10438 clauses out of 20881 with flag 112037/2126284
397.95/391.86	c cleaning 11218 clauses out of 22443 with flag 136037/2138284
400.38/394.26	c cleaning 12112 clauses out of 24226 with flag 162039/2151285
403.10/396.91	c cleaning 13054 clauses out of 26114 with flag 190039/2165285
405.87/399.63	c cleaning 14027 clauses out of 28059 with flag 220037/2180284
408.93/402.69	c cleaning 15016 clauses out of 30033 with flag 252039/2196285
412.49/406.15	c cleaning 16005 clauses out of 32016 with flag 286037/2213284
416.25/409.87	c cleaning 17004 clauses out of 34012 with flag 322039/2231285
420.48/413.97	c cleaning 18001 clauses out of 36007 with flag 360037/2250284
424.85/418.25	c cleaning 19000 clauses out of 38007 with flag 400039/2270285
429.20/422.54	c cleaning 20001 clauses out of 40006 with flag 442037/2291284
434.25/427.57	c cleaning 21000 clauses out of 42005 with flag 486037/2313284
439.79/432.95	c cleaning 21999 clauses out of 44006 with flag 532039/2336285
445.71/438.74	c cleaning 23001 clauses out of 46006 with flag 580037/2360284
451.67/444.64	c cleaning 23996 clauses out of 48005 with flag 630037/2385284
458.15/451.03	c cleaning 25002 clauses out of 50010 with flag 682039/2411285
464.83/457.70	c cleaning 26000 clauses out of 52008 with flag 736042/2438285
472.02/464.75	c cleaning 27004 clauses out of 54007 with flag 792040/2466284
479.51/472.18	c cleaning 28000 clauses out of 56003 with flag 850047/2495284
487.74/480.27	c cleaning 29000 clauses out of 58004 with flag 910074/2525285
495.84/488.20	c cleaning 30001 clauses out of 60003 with flag 972072/2556284
504.68/496.90	c cleaning 30999 clauses out of 62002 with flag 1036072/2588284
512.99/505.14	c cleaning 31998 clauses out of 64004 with flag 1102074/2621285
522.66/514.60	c cleaning 33000 clauses out of 66006 with flag 1170074/2655285
532.95/524.75	c cleaning 33998 clauses out of 68005 with flag 1240072/2690284
543.33/534.99	c cleaning 35004 clauses out of 70007 with flag 1312072/2726284
553.96/545.44	c cleaning 36000 clauses out of 72004 with flag 1386074/2763285
565.19/556.52	c cleaning 36999 clauses out of 74003 with flag 1462072/2801284
571.75/563.06	c Got one! Elapsed wall clock time (in seconds):562.944
571.75/563.06	o -1222
573.88/565.11	c cleaning 33990 clauses out of 67990 with flag 10004/2832270
575.18/566.47	c cleaning 19994 clauses out of 39999 with flag 22002/2838269
576.58/567.82	c cleaning 13497 clauses out of 27006 with flag 36004/2845270
578.00/569.24	c cleaning 10748 clauses out of 21509 with flag 52004/2853270
579.50/570.77	c cleaning 9872 clauses out of 19760 with flag 70002/2862269
581.30/572.53	c cleaning 9942 clauses out of 19889 with flag 90004/2872270
583.21/574.48	c cleaning 10473 clauses out of 20947 with flag 112004/2883270
585.46/576.64	c cleaning 11236 clauses out of 22473 with flag 136002/2895269
587.78/578.97	c cleaning 12114 clauses out of 24238 with flag 162004/2908270
590.50/581.61	c cleaning 13062 clauses out of 26123 with flag 190002/2922269
593.35/584.46	c cleaning 14026 clauses out of 28062 with flag 220004/2937270
596.82/587.81	c cleaning 15018 clauses out of 30035 with flag 252002/2953269
600.42/591.31	c cleaning 16004 clauses out of 32018 with flag 286010/2970270
604.18/595.01	c cleaning 17005 clauses out of 34013 with flag 322008/2988269
608.13/598.99	c cleaning 18004 clauses out of 36008 with flag 360008/3007269
612.66/603.46	c cleaning 18999 clauses out of 38004 with flag 400008/3027269
617.65/608.38	c cleaning 20003 clauses out of 40005 with flag 442020/3048269
622.98/613.51	c cleaning 20995 clauses out of 42003 with flag 486022/3070270
628.14/618.67	c cleaning 22003 clauses out of 44007 with flag 532020/3093269
633.77/624.14	c cleaning 23000 clauses out of 46005 with flag 580022/3117270
639.86/630.14	c cleaning 23995 clauses out of 48004 with flag 630020/3142269
645.85/636.00	c cleaning 25001 clauses out of 50009 with flag 682020/3168269
652.22/642.31	c cleaning 26005 clauses out of 52009 with flag 736022/3195270
659.24/649.29	c cleaning 27002 clauses out of 54004 with flag 792028/3223270
666.48/656.38	c cleaning 28000 clauses out of 56001 with flag 850029/3252269
674.28/664.01	c cleaning 28996 clauses out of 58001 with flag 910029/3282269
682.25/671.94	c cleaning 29999 clauses out of 60006 with flag 972032/3313270
690.80/680.34	c cleaning 30999 clauses out of 62007 with flag 1036033/3345270
699.71/689.11	c cleaning 32002 clauses out of 64007 with flag 1102035/3378269
709.03/698.37	c cleaning 32999 clauses out of 66005 with flag 1170035/3412269
718.83/707.90	c cleaning 33996 clauses out of 68006 with flag 1240039/3447269
729.06/718.07	c cleaning 35003 clauses out of 70011 with flag 1312041/3483270
740.27/729.13	c cleaning 36000 clauses out of 72008 with flag 1386041/3520270
751.33/740.00	c cleaning 37003 clauses out of 74007 with flag 1462039/3558269
763.05/751.52	c cleaning 38002 clauses out of 76004 with flag 1540048/3597269
772.18/760.50	c Got one! Elapsed wall clock time (in seconds):760.384
772.18/760.50	o -1224
774.02/762.40	c cleaning 37471 clauses out of 74945 with flag 10078/3634212
775.41/763.77	c cleaning 21734 clauses out of 43473 with flag 22277/3640211
776.85/765.17	c cleaning 14365 clauses out of 28740 with flag 36580/3647212
778.25/766.54	c cleaning 11184 clauses out of 22375 with flag 52855/3655212
779.77/768.08	c cleaning 10092 clauses out of 20190 with flag 71129/3664211
781.41/769.70	c cleaning 10043 clauses out of 20099 with flag 91311/3674212
783.36/771.52	c cleaning 10527 clauses out of 21056 with flag 113311/3685212
785.47/773.63	c cleaning 11261 clauses out of 22528 with flag 137758/3697211
787.82/775.93	c cleaning 12132 clauses out of 24268 with flag 164091/3710212
790.36/778.41	c cleaning 13066 clauses out of 26136 with flag 192343/3724212
792.98/781.04	c cleaning 14029 clauses out of 28070 with flag 222549/3739212
795.93/783.92	c cleaning 15019 clauses out of 30040 with flag 254976/3755211
799.07/787.07	c cleaning 16010 clauses out of 32022 with flag 289326/3772212
802.64/790.51	c cleaning 17006 clauses out of 34012 with flag 326270/3790212
806.49/794.36	c cleaning 18002 clauses out of 36005 with flag 364684/3809211
810.42/798.21	c Got one! Elapsed wall clock time (in seconds):798.097
810.42/798.21	o -1226
811.65/799.48	c cleaning 21312 clauses out of 42635 with flag 10001/3833843
812.85/800.65	c cleaning 13655 clauses out of 27323 with flag 22001/3839843
814.09/801.86	c cleaning 10328 clauses out of 20669 with flag 36003/3846844
815.43/803.18	c cleaning 9160 clauses out of 18340 with flag 52001/3854843
817.04/804.71	c cleaning 9085 clauses out of 18180 with flag 70001/3863843
818.66/806.33	c cleaning 9543 clauses out of 19095 with flag 90001/3873843
820.68/808.35	c cleaning 10275 clauses out of 20553 with flag 112003/3884844
822.91/810.53	c cleaning 11139 clauses out of 22278 with flag 136003/3896844
825.23/812.88	c cleaning 12065 clauses out of 24138 with flag 162001/3909843
827.96/815.51	c cleaning 13035 clauses out of 26073 with flag 190001/3923843
830.90/818.44	c cleaning 14018 clauses out of 28038 with flag 220001/3938843
834.16/821.61	c cleaning 15007 clauses out of 30020 with flag 252001/3954843
837.61/825.02	c cleaning 16006 clauses out of 32013 with flag 286001/3971843
841.44/828.84	c cleaning 17002 clauses out of 34007 with flag 322003/3989843
845.62/832.91	c cleaning 18002 clauses out of 36005 with flag 360003/4008843
850.10/837.34	c cleaning 18999 clauses out of 38004 with flag 400005/4028844
854.75/841.93	c cleaning 20000 clauses out of 40006 with flag 442007/4049845
859.84/846.94	c cleaning 20999 clauses out of 42005 with flag 486005/4071844
865.44/852.47	c cleaning 22003 clauses out of 44005 with flag 532003/4094843
871.27/858.19	c cleaning 23002 clauses out of 46004 with flag 580010/4118845
877.11/863.92	c cleaning 23997 clauses out of 48001 with flag 630010/4143844
881.49/868.25	c Got one! Elapsed wall clock time (in seconds):868.133
881.49/868.25	o -1232
882.79/869.59	c cleaning 24281 clauses out of 48572 with flag 10005/4168412
884.11/870.82	c cleaning 15140 clauses out of 30291 with flag 22005/4174412
885.32/872.03	c cleaning 11071 clauses out of 22150 with flag 36005/4181411
886.73/873.44	c cleaning 9534 clauses out of 19080 with flag 52007/4189412
888.34/875.04	c cleaning 9265 clauses out of 18545 with flag 70005/4198411
890.06/876.76	c cleaning 9640 clauses out of 19280 with flag 90005/4208411
891.99/878.67	c cleaning 10318 clauses out of 20641 with flag 112007/4219412
894.31/880.90	c cleaning 11158 clauses out of 22322 with flag 136005/4231411
896.44/883.10	c cleaning 12081 clauses out of 24165 with flag 162007/4244412
899.11/885.61	c cleaning 13039 clauses out of 26083 with flag 190005/4258411
901.85/888.37	c cleaning 14017 clauses out of 28044 with flag 220005/4273411
905.13/891.52	c cleaning 15011 clauses out of 30028 with flag 252007/4289412
908.60/894.93	c cleaning 16008 clauses out of 32017 with flag 286007/4306412
912.44/898.72	c cleaning 17004 clauses out of 34008 with flag 322005/4324411
916.29/902.58	c cleaning 18003 clauses out of 36005 with flag 360007/4343412
920.64/906.87	c cleaning 18998 clauses out of 38001 with flag 400005/4363411
925.22/911.37	c cleaning 19998 clauses out of 40003 with flag 442009/4384411
929.80/915.83	c cleaning 21002 clauses out of 42006 with flag 486017/4406412
934.89/920.82	c cleaning 21996 clauses out of 44003 with flag 532015/4429411
940.46/926.37	c cleaning 23003 clauses out of 46008 with flag 580017/4453412
946.40/932.29	c cleaning 24002 clauses out of 48004 with flag 630016/4478411
953.34/939.01	c cleaning 25000 clauses out of 50002 with flag 682016/4504411
960.25/945.81	c cleaning 25999 clauses out of 52004 with flag 736020/4531413
967.67/953.12	c cleaning 26995 clauses out of 54004 with flag 792018/4559412
975.17/960.50	c cleaning 27999 clauses out of 56009 with flag 850018/4588412
983.23/968.27	c cleaning 28998 clauses out of 58010 with flag 941803/4618412
993.29/978.20	c cleaning 30000 clauses out of 60013 with flag 1055135/4649413
1004.33/989.03	c cleaning 31000 clauses out of 62012 with flag 1178946/4681412
1014.14/998.61	c cleaning 32000 clauses out of 64011 with flag 1293072/4714411
1025.84/1010.18	c cleaning 33000 clauses out of 66011 with flag 1424369/4748411
1036.90/1020.96	c cleaning 34006 clauses out of 68011 with flag 1561450/4783411
1048.82/1032.62	c cleaning 35002 clauses out of 70005 with flag 1711208/4819411
1061.27/1044.97	c cleaning 35994 clauses out of 72004 with flag 1925858/4856412
1074.84/1058.35	c cleaning 37003 clauses out of 74011 with flag 2155684/4894413
1088.54/1071.87	c cleaning 37999 clauses out of 76007 with flag 2378615/4933412
1101.90/1085.07	c cleaning 39004 clauses out of 78008 with flag 2596469/4973412
1102.00/1085.16	c Got one! Elapsed wall clock time (in seconds):1085.051
1102.00/1085.17	o -1234
1103.36/1086.42	c cleaning 22180 clauses out of 44374 with flag 19516/4978782
1104.59/1087.63	c cleaning 14090 clauses out of 28194 with flag 37931/4984782
1105.79/1088.84	c cleaning 10547 clauses out of 21105 with flag 57573/4991783
1107.20/1090.24	c cleaning 9273 clauses out of 18557 with flag 78072/4999782
1108.81/1091.82	c cleaning 9136 clauses out of 18284 with flag 100232/5008782
1110.64/1093.62	c cleaning 9571 clauses out of 19148 with flag 124449/5018782
1112.47/1095.48	c cleaning 10287 clauses out of 20577 with flag 150959/5029782
1114.72/1097.64	c cleaning 11145 clauses out of 22292 with flag 179193/5041784
1117.15/1100.02	c cleaning 12073 clauses out of 24146 with flag 207745/5054783
1119.99/1102.83	c cleaning 13035 clauses out of 26073 with flag 239201/5068783
1122.91/1105.75	c cleaning 14013 clauses out of 28037 with flag 273259/5083782
1126.28/1109.02	c cleaning 15009 clauses out of 30024 with flag 309082/5099782
1129.86/1112.53	c cleaning 16007 clauses out of 32017 with flag 349098/5116784
1133.80/1116.41	c cleaning 17004 clauses out of 34009 with flag 389819/5134783
1138.06/1120.65	c cleaning 17996 clauses out of 36004 with flag 429626/5153782
1143.10/1125.50	c cleaning 19002 clauses out of 38008 with flag 470177/5173782
1148.30/1130.63	c cleaning 20000 clauses out of 40008 with flag 513052/5194784
1153.66/1135.91	c cleaning 20995 clauses out of 42006 with flag 557646/5216782
1159.04/1141.22	c cleaning 22004 clauses out of 44012 with flag 605291/5239783
1164.83/1146.90	c cleaning 23001 clauses out of 46007 with flag 654543/5263782
1171.11/1153.13	c cleaning 23998 clauses out of 48007 with flag 705050/5288783
1177.47/1159.32	c cleaning 25000 clauses out of 50009 with flag 759870/5314783
1184.29/1166.05	c cleaning 25999 clauses out of 52008 with flag 817480/5341782
1191.40/1173.05	c cleaning 27001 clauses out of 54009 with flag 876636/5369782
1199.20/1180.73	c cleaning 28000 clauses out of 56008 with flag 937757/5398782
1208.11/1189.59	c cleaning 29001 clauses out of 58008 with flag 1002317/5428782
1217.56/1198.80	c cleaning 29997 clauses out of 60008 with flag 1068081/5459783
1226.37/1207.56	c cleaning 31000 clauses out of 62011 with flag 1137017/5491783
1235.98/1217.09	c cleaning 32001 clauses out of 64011 with flag 1207836/5524783
1245.96/1226.84	c cleaning 33002 clauses out of 66010 with flag 1280262/5558783
1257.06/1237.77	c cleaning 34004 clauses out of 68008 with flag 1354164/5593783
1268.50/1249.04	c cleaning 35000 clauses out of 70004 with flag 1430111/5629783
1280.37/1260.72	c cleaning 35998 clauses out of 72003 with flag 1506480/5666782
1291.74/1271.91	c cleaning 36999 clauses out of 74006 with flag 1586993/5704783
1304.34/1284.31	c cleaning 38002 clauses out of 76007 with flag 1669683/5743783
1318.17/1297.98	c cleaning 38999 clauses out of 78004 with flag 1750552/5783782
1330.85/1310.44	c cleaning 39996 clauses out of 80006 with flag 1834205/5824783
1344.86/1324.27	c cleaning 41001 clauses out of 82010 with flag 1919881/5866783
1360.34/1339.52	c cleaning 42001 clauses out of 84009 with flag 2009852/5909783
1373.88/1352.82	c cleaning 43000 clauses out of 86007 with flag 2103898/5953782
1389.99/1368.72	c cleaning 44002 clauses out of 88008 with flag 2200018/5998783
1406.22/1384.79	c cleaning 44999 clauses out of 90005 with flag 2300942/6044782
1421.66/1399.94	c cleaning 46001 clauses out of 92007 with flag 2403452/6091783
1438.22/1416.29	c cleaning 47002 clauses out of 94005 with flag 2507422/6139782
1454.74/1432.52	c cleaning 48000 clauses out of 96005 with flag 2612584/6188784
1473.87/1451.40	c cleaning 49000 clauses out of 98003 with flag 2719990/6238782
1494.15/1471.41	c cleaning 49999 clauses out of 100004 with flag 2827193/6289783
1514.62/1491.63	c cleaning 50999 clauses out of 102004 with flag 2932818/6341782
1534.01/1510.74	c cleaning 51999 clauses out of 104006 with flag 3041856/6394783
1555.64/1532.12	c cleaning 53002 clauses out of 106006 with flag 3157625/6448782
1577.74/1553.98	c cleaning 53995 clauses out of 108004 with flag 3275420/6503782
1600.44/1576.30	c cleaning 55002 clauses out of 110010 with flag 3387470/6559783
1621.76/1597.37	c cleaning 56002 clauses out of 112007 with flag 3501599/6616782
1645.10/1620.48	c cleaning 56999 clauses out of 114005 with flag 3619276/6674782
1667.86/1642.96	c cleaning 58000 clauses out of 116007 with flag 3738155/6733783
1693.34/1668.08	c cleaning 58999 clauses out of 118006 with flag 3858275/6793782
1720.25/1694.69	c cleaning 60002 clauses out of 120007 with flag 3980386/6854782
1746.80/1720.87	c cleaning 60999 clauses out of 122005 with flag 4104846/6916782
1774.72/1748.47	c cleaning 62000 clauses out of 124007 with flag 4230963/6979783
1800.26/1773.66	c starts		: 7768
1800.26/1773.66	c conflicts		: 7039584
1800.26/1773.66	c decisions		: 11865535
1800.26/1773.66	c propagations		: 374859319
1800.26/1773.66	c inspects		: 20406688153
1800.26/1773.66	c shortcuts		: 0
1800.26/1773.66	c learnt literals	: 0
1800.26/1773.66	c learnt binary clauses	: 194
1800.26/1773.66	c learnt ternary clauses	: 2055
1800.26/1773.66	c learnt constraints	: 7039584
1800.26/1773.66	c ignored constraints	: 0
1800.26/1773.66	c root simplifications	: 0
1800.26/1773.66	c removed literals (reason simplification)	: 0
1800.26/1773.66	c reason swapping (by a shorter reason)	: 0
1800.26/1773.66	c Calls to reduceDB	: 415
1800.26/1773.66	c Number of update (reduction) of LBD	: 41041
1800.26/1773.66	c Imported unit clauses	: 0
1800.26/1773.66	c number of reductions to clauses (during analyze)	: 0
1800.26/1773.66	c number of learned constraints concerned by reduction	: 0
1800.26/1773.66	c number of learning phase by resolution	: 0
1800.26/1773.66	c number of learning phase by cutting planes	: 0
1800.26/1773.66	c speed (assignments/second)	: 211386.15854047085
1800.26/1773.66	c non guided choices	0
1800.26/1773.68	c learnt constraints type 
1800.26/1773.68	c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 194
1800.26/1773.68	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 121614
1800.26/1773.68	s SATISFIABLE
1800.26/1773.68	c Found 229 solution(s)
1800.26/1773.68	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 
1800.26/1773.69	c objective function=-1234
1800.26/1773.69	c Total wall clock time (in seconds): 1773.571

OK	-1234

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-4118299-1467227398/watcher-4118299-1467227398 -o /tmp/evaluation-result-4118299-1467227398/solver-4118299-1467227398 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node115-1467210312-1881 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4118299-1467227398.opb 

pid=4160
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.02 2.15 2.16 3/194 4163
/proc/meminfo: memFree=29227560/32872528 swapFree=1099624/1181384
[pid=4163] ppid=4160 vsize=272 CPUtime=0 cores=0,2,4,6
/proc/4163/stat : 4163 (java) R 4160 4163 1865 0 -1 4202496 362 0 0 0 0 0 0 0 20 0 1 0 1769024 278528 33 33554432000 1073741824 1073778376 140735531650720 140734630082936 271778409653 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/4163/statm: 68 33 25 9 0 25 0

[startup+0.100061 s]
/proc/loadavg: 2.02 2.15 2.16 3/194 4163
/proc/meminfo: memFree=29227560/32872528 swapFree=1099624/1181384
[pid=4163] ppid=4160 vsize=9558476 CPUtime=0.09 cores=0,2,4,6
/proc/4163/stat : 4163 (java) S 4160 4163 1865 0 -1 4202496 4401 0 1 0 7 2 0 0 20 0 18 0 1769024 9787879424 6035 33554432000 1073741824 1073778376 140735531650720 140735531641856 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/4163/statm: 2389619 6035 2125 9 0 2380296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558476

[startup+0.200226 s]
/proc/loadavg: 2.02 2.15 2.16 3/194 4163
/proc/meminfo: memFree=29227560/32872528 swapFree=1099624/1181384
[pid=4163] ppid=4160 vsize=9558476 CPUtime=0.27 cores=0,2,4,6
/proc/4163/stat : 4163 (java) S 4160 4163 1865 0 -1 4202496 4977 0 1 0 25 2 0 0 20 0 18 0 1769024 9787879424 6980 33554432000 1073741824 1073778376 140735531650720 140735531641856 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/4163/statm: 2389619 6980 2216 9 0 2380296 0
Current children cumulated CPU time (s) 0.27
Current children cumulated vsize (KiB) 9558476

[startup+0.300229 s]
/proc/loadavg: 2.02 2.15 2.16 3/194 4163
/proc/meminfo: memFree=29227560/32872528 swapFree=1099624/1181384
[pid=4163] ppid=4160 vsize=9558476 CPUtime=0.47 cores=0,2,4,6
/proc/4163/stat : 4163 (java) S 4160 4163 1865 0 -1 4202496 5803 0 1 0 45 2 0 0 20 0 18 0 1769024 9787879424 8859 33554432000 1073741824 1073778376 140735531650720 140735531641856 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/4163/statm: 2389619 8859 2232 9 0 2380296 0
Current children cumulated CPU time (s) 0.47
Current children cumulated vsize (KiB) 9558476

[startup+0.700279 s]
/proc/loadavg: 2.02 2.15 2.16 3/194 4163
/proc/meminfo: memFree=29227560/32872528 swapFree=1099624/1181384
[pid=4163] ppid=4160 vsize=9625040 CPUtime=1.48 cores=0,2,4,6
/proc/4163/stat : 4163 (java) S 4160 4163 1865 0 -1 4202496 10157 0 1 0 144 4 0 0 20 0 19 0 1769024 9856040960 13816 33554432000 1073741824 1073778376 140735531650720 140735531641856 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/4163/statm: 2406260 13816 2266 9 0 2396937 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 9625040

[startup+1.50084 s]
/proc/loadavg: 2.02 2.15 2.16 3/213 4182
/proc/meminfo: memFree=29159308/32872528 swapFree=1099624/1181384
[pid=4163] ppid=4160 vsize=9625040 CPUtime=2.36 cores=0,2,4,6
/proc/4163/stat : 4163 (java) S 4160 4163 1865 0 -1 4202496 12056 0 1 0 231 5 0 0 20 0 19 0 1769024 9856040960 23070 33554432000 1073741824 1073778376 140735531650720 140735531641856 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/4163/statm: 2406260 23070 2269 9 0 2396937 0
[pid=4163/tid=4165] ppid=4160 vsize=9625040 CPUtime=1.47 cores=0,2,4,6
/proc/4163/task/4165/stat : 4165 (java) R 4160 4163 1865 0 -1 4202560 2444 0 1 0 144 3 0 0 20 0 19 0 1769025 9856040960 23070 33554432000 1073741824 1073778376 140735531650720 140581095756080 140580940828668 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=4163/tid=4166] ppid=4160 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/4163/task/4166/stat : 4166 (java) S 4160 4163 1865 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 1769026 9856040960 23070 33554432000 1073741824 1073778376 140735531650720 140581068217000 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4163/tid=4167] ppid=4160 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/4163/task/4167/stat : 4167 (java) S 4160 4163 1865 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 1769026 9856040960 23070 33554432000 1073741824 1073778376 140735531650720 140581067164456 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4163/tid=4168] ppid=4160 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/4163/task/4168/stat : 4168 (java) S 4160 4163 1865 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 1769026 9856040960 23070 33554432000 1073741824 1073778376 140735531650720 140581066111912 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=4163/tid=4169] ppid=4160 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/4163/task/4169/stat : 4169 (java) S 4160 4163 1865 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 1769026 9856040960 23070 33554432000 1073741824 1073778376 140735531650720 140581065059368 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4163/tid=4170] ppid=4160 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/4163/task/4170/stat : 4170 (java) S 4160 4163 1865 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 1769026 9856040960 23070 33554432000 1073741824 1073778376 140735531650720 140581064005800 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4163/tid=4171] ppid=4160 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/4163/task/4171/stat : 4171 (java) S 4160 4163 1865 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 1769026 9856040960 23070 33554432000 1073741824 1073778376 140735531650720 140581062953256 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4163/tid=4172] ppid=4160 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/4163/task/4172/stat : 4172 (java) S 4160 4163 1865 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 1769026 9856040960 23070 33554432000 1073741824 1073778376 140735531650720 140581061900712 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4163/tid=4173] ppid=4160 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/4163/task/4173/stat : 4173 (java) S 4160 4163 1865 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 1769026 9856040960 23070 33554432000 1073741824 1073778376 140735531650720 140581060848168 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4163/tid=4174] ppid=4160 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/4163/task/4174/stat : 4174 (java) S 4160 4163 1865 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 1769027 9856040960 23070 33554432000 1073741824 1073778376 140735531650720 140580449397352 271790946217 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4163/tid=4175] ppid=4160 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/4163/task/4175/stat : 4175 (java) S 4160 4163 1865 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 1769027 9856040960 23070 33554432000 1073741824 1073778376 140735531650720 140580448343672 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4163/tid=4176] ppid=4160 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/4163/task/4176/stat : 4176 (java) S 4160 4163 1865 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 1769028 9856040960 23070 33554432000 1073741824 1073778376 140735531650720 140580447291016 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=4163/tid=4177] ppid=4160 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/4163/task/4177/stat : 4177 (java) S 4160 4163 1865 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 1769030 9856040960 23070 33554432000 1073741824 1073778376 140735531650720 140580446239760 271790954272 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4163/tid=4178] ppid=4160 vsize=9625040 CPUtime=0.49 cores=0,2,4,6
/proc/4163/task/4178/stat : 4178 (java) S 4160 4163 1865 0 -1 4202560 5080 0 0 0 47 2 0 0 20 0 19 0 1769030 9856040960 23070 33554432000 1073741824 1073778376 140735531650720 140580445186104 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4163/tid=4179] ppid=4160 vsize=9625040 CPUtime=0.37 cores=0,2,4,6
/proc/4163/task/4179/stat : 4179 (java) S 4160 4163 1865 0 -1 4202560 3256 0 0 0 37 0 0 0 20 0 19 0 1769030 9856040960 23070 33554432000 1073741824 1073778376 140735531650720 140580444133560 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=4163/tid=4180] ppid=4160 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/4163/task/4180/stat : 4180 (java) S 4160 4163 1865 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 1769030 9856040960 23070 33554432000 1073741824 1073778376 140735531650720 140580443081208 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=4163/tid=4181] ppid=4160 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/4163/task/4181/stat : 4181 (java) S 4160 4163 1865 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 1769030 9856040960 23070 33554432000 1073741824 1073778376 140735531650720 140580442028872 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4163/tid=4182] ppid=4160 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/4163/task/4182/stat : 4182 (java) S 4160 4163 1865 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 1769056 9856040960 23070 33554432000 1073741824 1073778376 140735531650720 140580440974632 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 2.36
Current children cumulated vsize (KiB) 9625040

[startup+3.10074 s]
/proc/loadavg: 2.02 2.15 2.16 3/213 4182
/proc/meminfo: memFree=29122448/32872528 swapFree=1099624/1181384
[pid=4163] ppid=4160 vsize=9625040 CPUtime=4.02 cores=0,2,4,6
/proc/4163/stat : 4163 (java) S 4160 4163 1865 0 -1 4202496 12234 0 1 0 397 5 0 0 20 0 19 0 1769024 9856040960 34413 33554432000 1073741824 1073778376 140735531650720 140735531641856 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/4163/statm: 2406260 34413 2274 9 0 2396937 0
[pid=4163/tid=4165] ppid=4160 vsize=9625040 CPUtime=3.06 cores=0,2,4,6
/proc/4163/task/4165/stat : 4165 (java) R 4160 4163 1865 0 -1 4202560 2466 0 1 0 303 3 0 0 20 0 19 0 1769025 9856040960 34413 33554432000 1073741824 1073778376 140735531650720 140581095762392 140580940960563 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=4163/tid=4166] ppid=4160 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/4163/task/4166/stat : 4166 (java) S 4160 4163 1865 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 1769026 9856040960 34413 33554432000 1073741824 1073778376 140735531650720 140581068217000 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4163/tid=4167] ppid=4160 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/4163/task/4167/stat : 4167 (java) S 4160 4163 1865 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 1769026 9856040960 34413 33554432000 1073741824 1073778376 140735531650720 140581067164456 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4163/tid=4168] ppid=4160 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/4163/task/4168/stat : 4168 (java) S 4160 4163 1865 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 1769026 9856040960 34413 33554432000 1073741824 1073778376 140735531650720 140581066111912 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=4163/tid=4169] ppid=4160 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/4163/task/4169/stat : 4169 (java) S 4160 4163 1865 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 1769026 9856040960 34413 33554432000 1073741824 1073778376 140735531650720 140581065059368 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4163/tid=4170] ppid=4160 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/4163/task/4170/stat : 4170 (java) S 4160 4163 1865 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 1769026 9856040960 34413 33554432000 1073741824 1073778376 140735531650720 140581064005800 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4163/tid=4171] ppid=4160 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/4163/task/4171/stat : 4171 (java) S 4160 4163 1865 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 1769026 9856040960 34413 33554432000 1073741824 1073778376 140735531650720 140581062953256 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4163/tid=4172] ppid=4160 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/4163/task/4172/stat : 4172 (java) S 4160 4163 1865 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 1769026 9856040960 34413 33554432000 1073741824 1073778376 140735531650720 140581061900712 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4163/tid=4173] ppid=4160 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/4163/task/4173/stat : 4173 (java) S 4160 4163 1865 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 1769026 9856040960 34413 33554432000 1073741824 1073778376 140735531650720 140581060848168 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4163/tid=4174] ppid=4160 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/4163/task/4174/stat : 4174 (java) S 4160 4163 1865 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 1769027 9856040960 34413 33554432000 1073741824 1073778376 140735531650720 140580449397352 271790946217 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4163/tid=4175] ppid=4160 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/4163/task/4175/stat : 4175 (java) S 4160 4163 1865 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 1769027 9856040960 34413 33554432000 1073741824 1073778376 140735531650720 140580448343672 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4163/tid=4176] ppid=4160 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/4163/task/4176/stat : 4176 (java) S 4160 4163 1865 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 1769028 9856040960 34413 33554432000 1073741824 1073778376 140735531650720 140580447291016 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=4163/tid=4177] ppid=4160 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/4163/task/4177/stat : 4177 (java) S 4160 4163 1865 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 1769030 9856040960 34413 33554432000 1073741824 1073778376 140735531650720 140580446239760 271790954272 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4163/tid=4178] ppid=4160 vsize=9625040 CPUtime=0.54 cores=0,2,4,6
/proc/4163/task/4178/stat : 4178 (java) S 4160 4163 1865 0 -1 4202560 5156 0 0 0 52 2 0 0 20 0 19 0 1769030 9856040960 34413 33554432000 1073741824 1073778376 140735531650720 140580445186104 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4163/tid=4179] ppid=4160 vsize=9625040 CPUtime=0.39 cores=0,2,4,6
/proc/4163/task/4179/stat : 4179 (java) S 4160 4163 1865 0 -1 4202560 3336 0 0 0 39 0 0 0 20 0 19 0 1769030 9856040960 34413 33554432000 1073741824 1073778376 140735531650720 140580444133560 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=4163/tid=4180] ppid=4160 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/4163/task/4180/stat : 4180 (java) S 4160 4163 1865 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 1769030 9856040960 34413 33554432000 1073741824 1073778376 140735531650720 140580443081208 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=4163/tid=4181] ppid=4160 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/4163/task/4181/stat : 4181 (java) S 4160 4163 1865 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 1769030 9856040960 34413 33554432000 1073741824 1073778376 140735531650720 140580442028872 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4163/tid=4182] ppid=4160 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/4163/task/4182/stat : 4182 (java) S 4160 4163 1865 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 1769056 9856040960 34413 33554432000 1073741824 1073778376 140735531650720 140580440974632 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 4.02
Current children cumulated vsize (KiB) 9625040

[startup+6.30079 s]
/proc/loadavg: 2.10 2.16 2.16 4/214 4185
/proc/meminfo: memFree=29046240/32872528 swapFree=1099624/1181384
[pid=4163] ppid=4160 vsize=9625040 CPUtime=7.33 cores=0,2,4,6
/proc/4163/stat : 4163 (java) S 4160 4163 1865 0 -1 4202496 12328 0 1 0 724 9 0 0 20 0 19 0 1769024 9856040960 47052 33554432000 1073741824 1073778376 140735531650720 140735531641856 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/4163/statm: 2406260 47052 2288 9 0 2396937 0
[pid=4163/tid=4165] ppid=4160 vsize=9625040 CPUtime=6.22 cores=0,2,4,6
/proc/4163/task/4165/stat : 4165 (java) R 4160 4163 1865 0 -1 4202560 2483 0 1 0 619 3 0 0 20 0 19 0 1769025 9856040960 47052 33554432000 1073741824 1073778376 140735531650720 140581095764328 140580940988446 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=4163/tid=4166] ppid=4160 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/4163/task/4166/stat : 4166 (java) S 4160 4163 1865 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 1769026 9856040960 47052 33554432000 1073741824 1073778376 140735531650720 140581068217000 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4163/tid=4167] ppid=4160 vsize=9625040 CPUtime=0.01 cores=0,2,4,6
/proc/4163/task/4167/stat : 4167 (java) S 4160 4163 1865 0 -1 4202560 20 0 0 0 1 0 0 0 20 0 19 0 1769026 9856040960 47052 33554432000 1073741824 1073778376 140735531650720 140581067164456 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=4163/tid=4168] ppid=4160 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/4163/task/4168/stat : 4168 (java) S 4160 4163 1865 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 1769026 9856040960 47052 33554432000 1073741824 1073778376 140735531650720 140581066111912 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4163/tid=4169] ppid=4160 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/4163/task/4169/stat : 4169 (java) S 4160 4163 1865 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 1769026 9856040960 47052 33554432000 1073741824 1073778376 140735531650720 140581065059368 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4163/tid=4170] ppid=4160 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/4163/task/4170/stat : 4170 (java) S 4160 4163 1865 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 19 0 1769026 9856040960 47052 33554432000 1073741824 1073778376 140735531650720 140581064005800 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=4163/tid=4171] ppid=4160 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/4163/task/4171/stat : 4171 (java) S 4160 4163 1865 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 1769026 9856040960 47052 33554432000 1073741824 1073778376 140735531650720 140581062953256 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=4163/tid=4172] ppid=4160 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/4163/task/4172/stat : 4172 (java) S 4160 4163 1865 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 1769026 9856040960 47052 33554432000 1073741824 1073778376 140735531650720 140581061900712 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4163/tid=4173] ppid=4160 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/4163/task/4173/stat : 4173 (java) S 4160 4163 1865 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 1769026 9856040960 47052 33554432000 1073741824 1073778376 140735531650720 140581060848168 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4163/tid=4174] ppid=4160 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/4163/task/4174/stat : 4174 (java) S 4160 4163 1865 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 1769027 9856040960 47052 33554432000 1073741824 1073778376 140735531650720 140580449397352 271790946217 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4163/tid=4175] ppid=4160 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/4163/task/4175/stat : 4175 (java) S 4160 4163 1865 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 1769027 9856040960 47052 33554432000 1073741824 1073778376 140735531650720 140580448343672 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4163/tid=4176] ppid=4160 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/4163/task/4176/stat : 4176 (java) S 4160 4163 1865 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 1769028 9856040960 47052 33554432000 1073741824 1073778376 140735531650720 140580447291016 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=4163/tid=4177] ppid=4160 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/4163/task/4177/stat : 4177 (java) S 4160 4163 1865 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 1769030 9856040960 47052 33554432000 1073741824 1073778376 140735531650720 140580446239760 271790954272 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4163/tid=4178] ppid=4160 vsize=9625040 CPUtime=0.57 cores=0,2,4,6
/proc/4163/task/4178/stat : 4178 (java) S 4160 4163 1865 0 -1 4202560 5156 0 0 0 55 2 0 0 20 0 19 0 1769030 9856040960 47052 33554432000 1073741824 1073778376 140735531650720 140580445186104 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4163/tid=4179] ppid=4160 vsize=9625040 CPUtime=0.39 cores=0,2,4,6
/proc/4163/task/4179/stat : 4179 (java) S 4160 4163 1865 0 -1 4202560 3336 0 0 0 39 0 0 0 20 0 19 0 1769030 9856040960 47052 33554432000 1073741824 1073778376 140735531650720 140580444133560 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=4163/tid=4180] ppid=4160 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/4163/task/4180/stat : 4180 (java) S 4160 4163 1865 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 1769030 9856040960 47052 33554432000 1073741824 1073778376 140735531650720 140580443081208 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=4163/tid=4181] ppid=4160 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/4163/task/4181/stat : 4181 (java) S 4160 4163 1865 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 1769030 9856040960 47052 33554432000 1073741824 1073778376 140735531650720 140580442028872 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4163/tid=4182] ppid=4160 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/4163/task/4182/stat : 4182 (java) S 4160 4163 1865 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 1769056 9856040960 47052 33554432000 1073741824 1073778376 140735531650720 140580440974632 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 7.33
Current children cumulated vsize (KiB) 9625040


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

[pid=4163/tid=4169] ppid=4160 vsize=9625040 CPUtime=4.42 cores=0,2,4,6
/proc/4163/task/4169/stat : 4169 (java) S 4160 4163 1865 0 -1 4202560 2278 0 0 0 420 22 0 0 20 0 19 0 1769026 9856040960 177799 33554432000 1073741824 1073778376 140735531650720 140581065059368 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4163/tid=4170] ppid=4160 vsize=9625040 CPUtime=4.41 cores=0,2,4,6
/proc/4163/task/4170/stat : 4170 (java) S 4160 4163 1865 0 -1 4202560 2443 0 0 0 418 23 0 0 20 0 19 0 1769026 9856040960 177799 33554432000 1073741824 1073778376 140735531650720 140581064005800 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4163/tid=4171] ppid=4160 vsize=9625040 CPUtime=4.44 cores=0,2,4,6
/proc/4163/task/4171/stat : 4171 (java) S 4160 4163 1865 0 -1 4202560 2336 0 0 0 423 21 0 0 20 0 19 0 1769026 9856040960 177799 33554432000 1073741824 1073778376 140735531650720 140581062953256 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4163/tid=4172] ppid=4160 vsize=9625040 CPUtime=4.4 cores=0,2,4,6
/proc/4163/task/4172/stat : 4172 (java) S 4160 4163 1865 0 -1 4202560 3674 0 0 0 421 19 0 0 20 0 19 0 1769026 9856040960 177799 33554432000 1073741824 1073778376 140735531650720 140581061900712 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=4163/tid=4173] ppid=4160 vsize=9625040 CPUtime=4.52 cores=0,2,4,6
/proc/4163/task/4173/stat : 4173 (java) S 4160 4163 1865 0 -1 4202560 2688 0 0 0 431 21 0 0 20 0 19 0 1769026 9856040960 177799 33554432000 1073741824 1073778376 140735531650720 140581060848168 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4163/tid=4174] ppid=4160 vsize=9625040 CPUtime=4.72 cores=0,2,4,6
/proc/4163/task/4174/stat : 4174 (java) S 4160 4163 1865 0 -1 4202560 1765 0 0 0 466 6 0 0 20 0 19 0 1769027 9856040960 177799 33554432000 1073741824 1073778376 140735531650720 140580449397352 271790946217 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4163/tid=4175] ppid=4160 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/4163/task/4175/stat : 4175 (java) S 4160 4163 1865 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 1769027 9856040960 177799 33554432000 1073741824 1073778376 140735531650720 140580448343672 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4163/tid=4176] ppid=4160 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/4163/task/4176/stat : 4176 (java) S 4160 4163 1865 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 1769028 9856040960 177799 33554432000 1073741824 1073778376 140735531650720 140580447291016 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=4163/tid=4177] ppid=4160 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/4163/task/4177/stat : 4177 (java) S 4160 4163 1865 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 1769030 9856040960 177799 33554432000 1073741824 1073778376 140735531650720 140580446239760 271790954272 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4163/tid=4178] ppid=4160 vsize=9625040 CPUtime=0.97 cores=0,2,4,6
/proc/4163/task/4178/stat : 4178 (java) S 4160 4163 1865 0 -1 4202560 12211 0 0 0 94 3 0 0 20 0 19 0 1769030 9856040960 177799 33554432000 1073741824 1073778376 140735531650720 140580445186104 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4163/tid=4179] ppid=4160 vsize=9625040 CPUtime=0.61 cores=0,2,4,6
/proc/4163/task/4179/stat : 4179 (java) S 4160 4163 1865 0 -1 4202560 7152 0 0 0 59 2 0 0 20 0 19 0 1769030 9856040960 177799 33554432000 1073741824 1073778376 140735531650720 140580444133560 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=4163/tid=4180] ppid=4160 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/4163/task/4180/stat : 4180 (java) S 4160 4163 1865 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 1769030 9856040960 177799 33554432000 1073741824 1073778376 140735531650720 140580443081208 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=4163/tid=4181] ppid=4160 vsize=9625040 CPUtime=0.38 cores=0,2,4,6
/proc/4163/task/4181/stat : 4181 (java) S 4160 4163 1865 0 -1 4202560 103 0 0 0 17 21 0 0 20 0 19 0 1769030 9856040960 177799 33554432000 1073741824 1073778376 140735531650720 140580442028872 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4163/tid=4182] ppid=4160 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/4163/task/4182/stat : 4182 (java) S 4160 4163 1865 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 1769056 9856040960 177799 33554432000 1073741824 1073778376 140735531650720 140580440974632 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 9625040

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

############
# WARNING:
# current cumulated CPU time (1796.44 s) is less than in the last sample (1800.26 s)
# The time of a child was probably not reported to its father.
# (see the two samples below)
# Adding the difference (3.82007 s) to the 'lost time'.

[startup+1773.61 s]
/proc/loadavg: 2.25 2.29 2.25 3/213 4291
/proc/meminfo: memFree=27690684/32872528 swapFree=1099624/1181384
[pid=4163] ppid=4160 vsize=9758168 CPUtime=1800.26 cores=0,2,4,6
/proc/4163/stat : 4163 (java) S 4160 4163 1865 0 -1 4202496 46966 0 1 0 179821 205 0 0 20 0 20 0 1769024 9992364032 180389 33554432000 1073741824 1073778376 140735531650720 140735531641856 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/4163/statm: 2439542 180389 2297 9 0 2430219 0
[pid=4163/tid=4165] ppid=4160 vsize=9758168 CPUtime=1753.45 cores=0,2,4,6
/proc/4163/task/4165/stat : 4165 (java) S 4160 4163 1865 0 -1 4202560 3160 0 1 0 175312 33 0 0 20 0 20 0 1769025 9992364032 180389 33554432000 1073741824 1073778376 140735531650720 140581095762648 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4163/tid=4166] ppid=4160 vsize=9758168 CPUtime=4.53 cores=0,2,4,6
/proc/4163/task/4166/stat : 4166 (java) S 4160 4163 1865 0 -1 4202560 2561 0 0 0 430 23 0 0 20 0 20 0 1769026 9992364032 180389 33554432000 1073741824 1073778376 140735531650720 140581068217000 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4163/tid=4167] ppid=4160 vsize=9758168 CPUtime=4.6 cores=0,2,4,6
/proc/4163/task/4167/stat : 4167 (java) S 4160 4163 1865 0 -1 4202560 3077 0 0 0 438 22 0 0 20 0 20 0 1769026 9992364032 180389 33554432000 1073741824 1073778376 140735531650720 140581067164456 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4163/tid=4168] ppid=4160 vsize=9758168 CPUtime=4.51 cores=0,2,4,6
/proc/4163/task/4168/stat : 4168 (java) S 4160 4163 1865 0 -1 4202560 2212 0 0 0 431 20 0 0 20 0 20 0 1769026 9992364032 180389 33554432000 1073741824 1073778376 140735531650720 140581066111912 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4163/tid=4169] ppid=4160 vsize=9758168 CPUtime=4.43 cores=0,2,4,6
/proc/4163/task/4169/stat : 4169 (java) S 4160 4163 1865 0 -1 4202560 2278 0 0 0 421 22 0 0 20 0 20 0 1769026 9992364032 180389 33554432000 1073741824 1073778376 140735531650720 140581065059368 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4163/tid=4170] ppid=4160 vsize=9758168 CPUtime=4.42 cores=0,2,4,6
/proc/4163/task/4170/stat : 4170 (java) S 4160 4163 1865 0 -1 4202560 2447 0 0 0 419 23 0 0 20 0 20 0 1769026 9992364032 180389 33554432000 1073741824 1073778376 140735531650720 140581064005800 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=4163/tid=4171] ppid=4160 vsize=9758168 CPUtime=4.44 cores=0,2,4,6
/proc/4163/task/4171/stat : 4171 (java) S 4160 4163 1865 0 -1 4202560 2336 0 0 0 423 21 0 0 20 0 20 0 1769026 9992364032 180389 33554432000 1073741824 1073778376 140735531650720 140581062953256 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4163/tid=4172] ppid=4160 vsize=9758168 CPUtime=4.42 cores=0,2,4,6
/proc/4163/task/4172/stat : 4172 (java) S 4160 4163 1865 0 -1 4202560 3679 0 0 0 423 19 0 0 20 0 20 0 1769026 9992364032 180389 33554432000 1073741824 1073778376 140735531650720 140581061900712 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4163/tid=4173] ppid=4160 vsize=9758168 CPUtime=4.54 cores=0,2,4,6
/proc/4163/task/4173/stat : 4173 (java) S 4160 4163 1865 0 -1 4202560 2693 0 0 0 433 21 0 0 20 0 20 0 1769026 9992364032 180389 33554432000 1073741824 1073778376 140735531650720 140581060848168 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4163/tid=4174] ppid=4160 vsize=9758168 CPUtime=4.79 cores=0,2,4,6
/proc/4163/task/4174/stat : 4174 (java) R 4160 4163 1865 0 -1 4202560 1765 0 0 0 473 6 0 0 20 0 20 0 1769027 9992364032 180389 33554432000 1073741824 1073778376 140735531650720 140580449396232 140581102272634 0 0 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=4163/tid=4175] ppid=4160 vsize=9758168 CPUtime=0 cores=0,2,4,6
/proc/4163/task/4175/stat : 4175 (java) S 4160 4163 1865 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 20 0 1769027 9992364032 180389 33554432000 1073741824 1073778376 140735531650720 140580448343672 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4163/tid=4176] ppid=4160 vsize=9758168 CPUtime=0 cores=0,2,4,6
/proc/4163/task/4176/stat : 4176 (java) S 4160 4163 1865 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 20 0 1769028 9992364032 180389 33554432000 1073741824 1073778376 140735531650720 140580447291016 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=4163/tid=4177] ppid=4160 vsize=9758168 CPUtime=0 cores=0,2,4,6
/proc/4163/task/4177/stat : 4177 (java) S 4160 4163 1865 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 20 0 1769030 9992364032 180389 33554432000 1073741824 1073778376 140735531650720 140580446239760 271790954272 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4163/tid=4178] ppid=4160 vsize=9758168 CPUtime=0.97 cores=0,2,4,6
/proc/4163/task/4178/stat : 4178 (java) S 4160 4163 1865 0 -1 4202560 12211 0 0 0 94 3 0 0 20 0 20 0 1769030 9992364032 180389 33554432000 1073741824 1073778376 140735531650720 140580445186104 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4163/tid=4179] ppid=4160 vsize=9758168 CPUtime=0.61 cores=0,2,4,6
/proc/4163/task/4179/stat : 4179 (java) S 4160 4163 1865 0 -1 4202560 7152 0 0 0 59 2 0 0 20 0 20 0 1769030 9992364032 180389 33554432000 1073741824 1073778376 140735531650720 140580444133560 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=4163/tid=4180] ppid=4160 vsize=9758168 CPUtime=0 cores=0,2,4,6
/proc/4163/task/4180/stat : 4180 (java) S 4160 4163 1865 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 1769030 9992364032 180389 33554432000 1073741824 1073778376 140735531650720 140580443081208 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=4163/tid=4181] ppid=4160 vsize=9758168 CPUtime=0.38 cores=0,2,4,6
/proc/4163/task/4181/stat : 4181 (java) S 4160 4163 1865 0 -1 4202560 103 0 0 0 17 21 0 0 20 0 20 0 1769030 9992364032 180389 33554432000 1073741824 1073778376 140735531650720 140580442028872 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1800.26
Current children cumulated vsize (KiB) 9758168

[startup+1773.7 s]
/proc/loadavg: 2.25 2.29 2.25 3/213 4291
/proc/meminfo: memFree=27690684/32872528 swapFree=1099624/1181384
[pid=4163] ppid=4160 vsize=0 CPUtime=1796.44 cores=0,2,4,6
/proc/4163/stat : 4163 (java) Z 4160 4163 1865 0 -1 4203532 46983 0 1 0 179395 249 0 0 20 0 2 0 1769024 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/4163/statm: 0 0 0 0 0 0 0
[pid=4163/tid=4166] ppid=4160 vsize=0 CPUtime=4.53 cores=0,2,4,6
/proc/4163/task/4166/stat : 4166 (java) R 4160 4163 1865 0 -1 4203588 2561 0 0 0 430 23 0 0 20 0 2 0 1769026 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1796.44
Current children cumulated vsize (KiB) 0
#
############


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

[startup+1773.61 s]
/proc/loadavg: 2.25 2.29 2.25 3/213 4291
/proc/meminfo: memFree=27690684/32872528 swapFree=1099624/1181384
[pid=4163] ppid=4160 vsize=9758168 CPUtime=1800.26 cores=0,2,4,6
/proc/4163/stat : 4163 (java) S 4160 4163 1865 0 -1 4202496 46966 0 1 0 179821 205 0 0 20 0 20 0 1769024 9992364032 180389 33554432000 1073741824 1073778376 140735531650720 140735531641856 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/4163/statm: 2439542 180389 2297 9 0 2430219 0
[pid=4163/tid=4165] ppid=4160 vsize=9758168 CPUtime=1753.45 cores=0,2,4,6
/proc/4163/task/4165/stat : 4165 (java) S 4160 4163 1865 0 -1 4202560 3160 0 1 0 175312 33 0 0 20 0 20 0 1769025 9992364032 180389 33554432000 1073741824 1073778376 140735531650720 140581095762648 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4163/tid=4166] ppid=4160 vsize=9758168 CPUtime=4.53 cores=0,2,4,6
/proc/4163/task/4166/stat : 4166 (java) S 4160 4163 1865 0 -1 4202560 2561 0 0 0 430 23 0 0 20 0 20 0 1769026 9992364032 180389 33554432000 1073741824 1073778376 140735531650720 140581068217000 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4163/tid=4167] ppid=4160 vsize=9758168 CPUtime=4.6 cores=0,2,4,6
/proc/4163/task/4167/stat : 4167 (java) S 4160 4163 1865 0 -1 4202560 3077 0 0 0 438 22 0 0 20 0 20 0 1769026 9992364032 180389 33554432000 1073741824 1073778376 140735531650720 140581067164456 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4163/tid=4168] ppid=4160 vsize=9758168 CPUtime=4.51 cores=0,2,4,6
/proc/4163/task/4168/stat : 4168 (java) S 4160 4163 1865 0 -1 4202560 2212 0 0 0 431 20 0 0 20 0 20 0 1769026 9992364032 180389 33554432000 1073741824 1073778376 140735531650720 140581066111912 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4163/tid=4169] ppid=4160 vsize=9758168 CPUtime=4.43 cores=0,2,4,6
/proc/4163/task/4169/stat : 4169 (java) S 4160 4163 1865 0 -1 4202560 2278 0 0 0 421 22 0 0 20 0 20 0 1769026 9992364032 180389 33554432000 1073741824 1073778376 140735531650720 140581065059368 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4163/tid=4170] ppid=4160 vsize=9758168 CPUtime=4.42 cores=0,2,4,6
/proc/4163/task/4170/stat : 4170 (java) S 4160 4163 1865 0 -1 4202560 2447 0 0 0 419 23 0 0 20 0 20 0 1769026 9992364032 180389 33554432000 1073741824 1073778376 140735531650720 140581064005800 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=4163/tid=4171] ppid=4160 vsize=9758168 CPUtime=4.44 cores=0,2,4,6
/proc/4163/task/4171/stat : 4171 (java) S 4160 4163 1865 0 -1 4202560 2336 0 0 0 423 21 0 0 20 0 20 0 1769026 9992364032 180389 33554432000 1073741824 1073778376 140735531650720 140581062953256 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4163/tid=4172] ppid=4160 vsize=9758168 CPUtime=4.42 cores=0,2,4,6
/proc/4163/task/4172/stat : 4172 (java) S 4160 4163 1865 0 -1 4202560 3679 0 0 0 423 19 0 0 20 0 20 0 1769026 9992364032 180389 33554432000 1073741824 1073778376 140735531650720 140581061900712 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4163/tid=4173] ppid=4160 vsize=9758168 CPUtime=4.54 cores=0,2,4,6
/proc/4163/task/4173/stat : 4173 (java) S 4160 4163 1865 0 -1 4202560 2693 0 0 0 433 21 0 0 20 0 20 0 1769026 9992364032 180389 33554432000 1073741824 1073778376 140735531650720 140581060848168 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4163/tid=4174] ppid=4160 vsize=9758168 CPUtime=4.79 cores=0,2,4,6
/proc/4163/task/4174/stat : 4174 (java) R 4160 4163 1865 0 -1 4202560 1765 0 0 0 473 6 0 0 20 0 20 0 1769027 9992364032 180389 33554432000 1073741824 1073778376 140735531650720 140580449396232 140581102272634 0 0 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=4163/tid=4175] ppid=4160 vsize=9758168 CPUtime=0 cores=0,2,4,6
/proc/4163/task/4175/stat : 4175 (java) S 4160 4163 1865 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 20 0 1769027 9992364032 180389 33554432000 1073741824 1073778376 140735531650720 140580448343672 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4163/tid=4176] ppid=4160 vsize=9758168 CPUtime=0 cores=0,2,4,6
/proc/4163/task/4176/stat : 4176 (java) S 4160 4163 1865 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 20 0 1769028 9992364032 180389 33554432000 1073741824 1073778376 140735531650720 140580447291016 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=4163/tid=4177] ppid=4160 vsize=9758168 CPUtime=0 cores=0,2,4,6
/proc/4163/task/4177/stat : 4177 (java) S 4160 4163 1865 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 20 0 1769030 9992364032 180389 33554432000 1073741824 1073778376 140735531650720 140580446239760 271790954272 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4163/tid=4178] ppid=4160 vsize=9758168 CPUtime=0.97 cores=0,2,4,6
/proc/4163/task/4178/stat : 4178 (java) S 4160 4163 1865 0 -1 4202560 12211 0 0 0 94 3 0 0 20 0 20 0 1769030 9992364032 180389 33554432000 1073741824 1073778376 140735531650720 140580445186104 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4163/tid=4179] ppid=4160 vsize=9758168 CPUtime=0.61 cores=0,2,4,6
/proc/4163/task/4179/stat : 4179 (java) S 4160 4163 1865 0 -1 4202560 7152 0 0 0 59 2 0 0 20 0 20 0 1769030 9992364032 180389 33554432000 1073741824 1073778376 140735531650720 140580444133560 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=4163/tid=4180] ppid=4160 vsize=9758168 CPUtime=0 cores=0,2,4,6
/proc/4163/task/4180/stat : 4180 (java) S 4160 4163 1865 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 1769030 9992364032 180389 33554432000 1073741824 1073778376 140735531650720 140580443081208 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=4163/tid=4181] ppid=4160 vsize=9758168 CPUtime=0.38 cores=0,2,4,6
/proc/4163/task/4181/stat : 4181 (java) S 4160 4163 1865 0 -1 4202560 103 0 0 0 17 21 0 0 20 0 20 0 1769030 9992364032 180389 33554432000 1073741824 1073778376 140735531650720 140580442028872 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1800.26
Current children cumulated vsize (KiB) 9758168

[startup+1773.7 s]
/proc/loadavg: 2.25 2.29 2.25 3/213 4291
/proc/meminfo: memFree=27690684/32872528 swapFree=1099624/1181384
[pid=4163] ppid=4160 vsize=0 CPUtime=1796.44 cores=0,2,4,6
/proc/4163/stat : 4163 (java) Z 4160 4163 1865 0 -1 4203532 46983 0 1 0 179395 249 0 0 20 0 2 0 1769024 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/4163/statm: 0 0 0 0 0 0 0
[pid=4163/tid=4166] ppid=4160 vsize=0 CPUtime=4.53 cores=0,2,4,6
/proc/4163/task/4166/stat : 4166 (java) R 4160 4163 1865 0 -1 4203588 2561 0 0 0 430 23 0 0 20 0 2 0 1769026 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1796.44
Current children cumulated vsize (KiB) 0

Child status: 143

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

Real time (s): 1773.7
CPU time (s): 1800.31
CPU user time (s): 1798.24
CPU system time (s): 2.07362
CPU usage (%): 101.5
Max. virtual memory (cumulated for all children) (KiB): 9758168

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.98
system time used= 2.51362
maximum resident set size= 721608
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 46983
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1728
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 59322
involuntary context switches= 72512

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 11.1113 second user time and 11.5043 second system time

The end

Begin job on node115 at 2016-06-29 21:09:58
IDJOB=4118299
IDBENCH=111478
IDSOLVER=2546
FILE ID=node115/4118299-1467227398
RUNJOBID= node115-1467210312-1881
PBS_JOBID= 19997598
Free space on /tmp= 71664 MiB

SOLVER NAME= Sat4j PB 2.3.6 Resolution PB16
BENCH NAME= PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/minlplib2-pb-0.1.0/opb/normalized-autocorr_bern35-09.lin.opb
COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4118299-1467227398/watcher-4118299-1467227398 -o /tmp/evaluation-result-4118299-1467227398/solver-4118299-1467227398 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node115-1467210312-1881 --watchdog 1960  java -jar sat4j-pb.jar HOME/instance-4118299-1467227398.opb

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

MD5SUM BENCH= 4546551f75716f22ad12ff9c76cb8c02
RANDOM SEED=1625173445

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        29228096 kB
Buffers:           79488 kB
Cached:          1164712 kB
SwapCached:            0 kB
Active:           603664 kB
Inactive:        1151268 kB
Active(anon):     512920 kB
Inactive(anon):        0 kB
Active(file):      90744 kB
Inactive(file):  1151268 kB
Unevictable:     1181384 kB
Mlocked:         1099624 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:               876 kB
Writeback:             0 kB
AnonPages:       1687652 kB
Mapped:            22172 kB
Shmem:               204 kB
Slab:             575240 kB
SReclaimable:      19592 kB
SUnreclaim:       555648 kB
KernelStack:        1760 kB
PageTables:         7900 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1846236 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    559104 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= 71660 MiB
End job on node115 at 2016-06-29 21:39:32