Trace number 4119521

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
Sat4j PB 2.3.6 Res+CP PB16SAT (TO)515 1800.52 943.554

General information on the benchmark

NamePB15eval/normalized-PB15eval/OPT-SMALLINT-NLC/
minlplib2-pb-0.1.0/opb/normalized-edgecross14-058.opb
MD5SUMb0494a0472e8d0cdf23718c2935018ff
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark494
Best CPU time to get the best result obtained on this benchmark1800.02
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables183
Total number of constraints1457
Number of constraints which are clauses1456
Number of constraints which are cardinality constraints (but not clauses)1
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint3
Number of terms in the objective function 1441
Biggest coefficient in the objective function 692
Number of bits for the biggest coefficient in the objective function 10
Sum of the numbers in the objective function 4070
Number of bits of the sum of numbers in the objective function 12
Biggest number in a constraint 692
Number of bits of the biggest number in a constraint 10
Biggest sum of numbers in a constraint 4070
Number of bits of the biggest sum of numbers12
Number of products (including duplicates)1293
Sum of products size (including duplicates)2586
Number of different products0
Sum of products size0

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data 

0.00/0.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.10	c Number of processors 	8
0.09/0.12	c Pseudo Boolean Optimization by upper bound
0.09/0.12	c ManyCore solver with 2 solvers running in parallel
0.09/0.12	c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<<
0.09/0.12	c --- Begin Solver configuration ---
0.09/0.12	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@5d764be1
0.09/0.12	c Learn all clauses as in MiniSAT
0.09/0.12	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.09/0.12	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.09/0.12	c Expensive reason simplification
0.09/0.12	c Glucose 2.1 dynamic restart strategy
0.09/0.12	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.09/0.12	c timeout=2147483s
0.09/0.12	c DB Simplification allowed=false
0.09/0.12	c Listener: org.sat4j.pb.tools.ManyCorePB@9f436f5
0.09/0.12	c --- End Solver configuration ---
0.09/0.12	c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<<
0.09/0.12	c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP)
0.09/0.12	c --- Begin Solver configuration ---
0.09/0.12	c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@4413ee
0.09/0.12	c Learn all clauses as in MiniSAT
0.09/0.12	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.09/0.12	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function
0.09/0.12	c No reason simplification
0.09/0.12	c Armin Biere (Picosat) restarts strategy
0.09/0.12	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.09/0.12	c timeout=2147483s
0.09/0.12	c DB Simplification allowed=false
0.09/0.12	c Listener: org.sat4j.pb.tools.ManyCorePB@9f436f5
0.09/0.12	c --- End Solver configuration ---
0.09/0.12	c solving HOME/instance-4119521-1467258128.opb
0.09/0.12	c reading problem ... 
0.09/0.13	c  objective function found
0.42/0.38	c ... done. Wall clock time 0.252s.
0.42/0.38	c declared #vars     183
0.42/0.38	c internal #vars     1476
0.42/0.38	c #constraints  4044
0.42/0.38	c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<<
0.42/0.38	c constraints type 
0.42/0.38	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 2749
0.42/0.38	c org.sat4j.specs.Constr$1 => 1
0.42/0.38	c org.sat4j.minisat.constraints.cnf.UnitClause => 1
0.42/0.38	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 1293
0.42/0.38	c 4044 constraints processed.
0.42/0.38	c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<<
0.42/0.38	c constraints type 
0.42/0.38	c org.sat4j.specs.Constr$1 => 1
0.42/0.38	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 2749
0.42/0.38	c org.sat4j.pb.constraints.pb.UnitClausePB => 1
0.42/0.38	c org.sat4j.pb.constraints.pb.MaxWatchPb => 1293
0.42/0.38	c 4044 constraints processed.
0.42/0.38	c objective function length is 1441 literals
0.67/0.41	c And the winner is solver0
0.78/0.88	c SATISFIABLE
0.78/0.88	c OPTIMIZING...
0.78/0.89	c Got one! Elapsed wall clock time (in seconds):0.758
0.78/0.89	o 772
0.81/0.93	c And the winner is solver0
1.37/1.39	c Got one! Elapsed wall clock time (in seconds):1.27
1.37/1.39	o 771
1.38/1.48	c And the winner is solver0
1.85/1.90	c Got one! Elapsed wall clock time (in seconds):1.779
1.85/1.90	o 768
1.85/1.91	c And the winner is solver0
1.93/2.41	c Got one! Elapsed wall clock time (in seconds):2.283
1.93/2.41	o 749
1.93/2.47	c And the winner is solver0
2.14/2.91	c Got one! Elapsed wall clock time (in seconds):2.787
2.14/2.91	o 746
2.14/2.92	c And the winner is solver0
2.32/3.42	c Got one! Elapsed wall clock time (in seconds):3.291
2.32/3.42	o 744
3.25/3.82	c And the winner is solver0
3.31/3.92	c Got one! Elapsed wall clock time (in seconds):3.794
3.31/3.92	o 743
3.46/4.04	c And the winner is solver0
3.64/4.42	c Got one! Elapsed wall clock time (in seconds):4.297
3.64/4.42	o 741
3.64/4.43	c And the winner is solver0
3.67/4.93	c Got one! Elapsed wall clock time (in seconds):4.8
3.67/4.93	o 730
3.67/4.93	c And the winner is solver0
3.69/5.43	c Got one! Elapsed wall clock time (in seconds):5.303
3.69/5.43	o 729
3.69/5.43	c And the winner is solver0
3.69/5.93	c Got one! Elapsed wall clock time (in seconds):5.806
3.69/5.93	o 724
3.69/5.95	c And the winner is solver0
3.75/6.43	c Got one! Elapsed wall clock time (in seconds):6.308
3.75/6.43	o 723
3.75/6.44	c And the winner is solver0
3.75/6.93	c Got one! Elapsed wall clock time (in seconds):6.81
3.75/6.93	o 722
3.75/6.94	c And the winner is solver0
3.75/7.44	c Got one! Elapsed wall clock time (in seconds):7.312
3.75/7.44	o 705
3.75/7.44	c And the winner is solver0
3.75/7.94	c Got one! Elapsed wall clock time (in seconds):7.814
3.75/7.94	o 699
3.92/8.00	c And the winner is solver0
3.98/8.44	c Got one! Elapsed wall clock time (in seconds):8.316
3.98/8.44	o 698
3.98/8.44	c And the winner is solver0
3.98/8.94	c Got one! Elapsed wall clock time (in seconds):8.818
3.98/8.94	o 696
3.98/8.96	c And the winner is solver0
4.03/9.44	c Got one! Elapsed wall clock time (in seconds):9.32
4.03/9.44	o 694
4.75/9.86	c And the winner is solver0
4.91/9.95	c Got one! Elapsed wall clock time (in seconds):9.822
4.91/9.95	o 693
5.21/10.11	c And the winner is solver0
5.27/10.45	c Got one! Elapsed wall clock time (in seconds):10.324
5.27/10.45	o 692
5.89/10.70	c cleaning 4049 clauses out of 8100 with flag 2006/8100
7.15/11.37	c And the winner is solver0
7.34/11.45	c Got one! Elapsed wall clock time (in seconds):11.326
7.34/11.45	o 691
7.34/11.49	c And the winner is solver0
7.46/11.95	c Got one! Elapsed wall clock time (in seconds):11.828
7.46/11.95	o 690
7.46/11.98	c And the winner is solver0
7.66/12.46	c Got one! Elapsed wall clock time (in seconds):12.33
7.66/12.46	o 688
7.74/12.51	c And the winner is solver0
7.79/12.96	c Got one! Elapsed wall clock time (in seconds):12.833
7.79/12.96	o 686
8.48/13.32	c cleaning 5276 clauses out of 10552 with flag 4026/14601
8.87/13.50	c And the winner is solver0
8.90/13.96	c Got one! Elapsed wall clock time (in seconds):13.835
8.90/13.96	o 685
8.97/14.03	c And the winner is solver0
9.07/14.46	c Got one! Elapsed wall clock time (in seconds):14.337
9.07/14.46	o 684
9.16/14.55	c And the winner is solver0
9.32/14.96	c Got one! Elapsed wall clock time (in seconds):14.84
9.32/14.96	o 683
10.44/15.51	c And the winner is solver0
10.52/15.97	c Got one! Elapsed wall clock time (in seconds):15.842
10.52/15.97	o 682
10.78/16.16	c cleaning 5594 clauses out of 11193 with flag 2028/20518
11.22/16.34	c And the winner is solver0
11.39/16.47	c Got one! Elapsed wall clock time (in seconds):16.345
11.39/16.47	o 681
11.45/16.53	c And the winner is solver0
11.55/16.97	c Got one! Elapsed wall clock time (in seconds):16.847
11.55/16.97	o 680
11.79/17.13	c And the winner is solver0
11.89/17.47	c Got one! Elapsed wall clock time (in seconds):17.35
11.89/17.47	o 679
13.21/18.12	c And the winner is solver0
13.28/18.48	c Got one! Elapsed wall clock time (in seconds):18.352
13.28/18.48	o 677
13.93/18.81	c And the winner is solver0
13.99/18.98	c Got one! Elapsed wall clock time (in seconds):18.855
13.99/18.98	o 676
13.99/18.99	c And the winner is solver0
14.00/19.48	c Got one! Elapsed wall clock time (in seconds):19.357
14.00/19.48	o 674
14.00/19.49	c And the winner is solver0
14.00/19.98	c Got one! Elapsed wall clock time (in seconds):19.86
14.00/19.98	o 668
14.00/19.99	c And the winner is solver0
14.00/20.49	c Got one! Elapsed wall clock time (in seconds):20.362
14.00/20.49	o 667
14.00/20.49	c And the winner is solver0
14.00/20.99	c Got one! Elapsed wall clock time (in seconds):20.864
14.00/20.99	o 662
14.00/21.00	c And the winner is solver0
14.03/21.49	c Got one! Elapsed wall clock time (in seconds):21.367
14.03/21.49	o 657
14.03/21.57	c And the winner is solver0
14.23/21.99	c Got one! Elapsed wall clock time (in seconds):21.87
14.23/21.99	o 655
14.65/22.20	c cleaning 7174 clauses out of 14364 with flag 2155/29283
16.94/23.37	c And the winner is solver0
17.13/23.50	c Got one! Elapsed wall clock time (in seconds):23.372
17.13/23.50	o 654
17.13/23.52	c And the winner is solver0
17.22/24.00	c Got one! Elapsed wall clock time (in seconds):23.875
17.22/24.00	o 653
18.21/24.54	c And the winner is solver0
18.34/25.00	c Got one! Elapsed wall clock time (in seconds):24.878
18.34/25.00	o 652
18.53/25.11	c And the winner is solver0
18.59/25.51	c Got one! Elapsed wall clock time (in seconds):25.38
18.59/25.51	o 650
18.59/25.51	c And the winner is solver0
18.60/26.01	c Got one! Elapsed wall clock time (in seconds):25.883
18.60/26.01	o 649
18.81/26.13	c And the winner is solver0
19.00/26.51	c Got one! Elapsed wall clock time (in seconds):26.386
19.00/26.51	o 647
19.00/26.52	c And the winner is solver0
19.01/27.01	c Got one! Elapsed wall clock time (in seconds):26.889
19.01/27.01	o 645
19.16/27.17	c And the winner is solver0
19.37/27.52	c Got one! Elapsed wall clock time (in seconds):27.392
19.37/27.52	o 644
20.53/28.10	c cleaning 10299 clauses out of 20597 with flag 6068/42690
20.92/28.37	c And the winner is solver0
21.14/28.52	c Got one! Elapsed wall clock time (in seconds):28.394
21.14/28.52	o 642
21.31/28.69	c And the winner is solver0
21.54/29.02	c Got one! Elapsed wall clock time (in seconds):28.897
21.54/29.02	o 641
21.54/29.04	c And the winner is solver0
21.59/29.52	c Got one! Elapsed wall clock time (in seconds):29.4
21.59/29.52	o 639
21.95/29.71	c And the winner is solver0
22.01/30.03	c Got one! Elapsed wall clock time (in seconds):29.902
22.01/30.03	o 637
22.01/30.04	c And the winner is solver0
22.05/30.53	c Got one! Elapsed wall clock time (in seconds):30.405
22.05/30.53	o 635
23.37/31.24	c And the winner is solver0
23.52/31.53	c Got one! Elapsed wall clock time (in seconds):31.409
23.52/31.53	o 634
23.75/31.62	c And the winner is solver0
23.82/32.04	c Got one! Elapsed wall clock time (in seconds):31.912
23.82/32.04	o 632
24.14/32.26	c cleaning 9336 clauses out of 18671 with flag 2072/51063
25.75/33.07	c And the winner is solver0
25.94/33.54	c Got one! Elapsed wall clock time (in seconds):33.415
25.94/33.54	o 631
26.27/33.74	c cleaning 7392 clauses out of 14790 with flag 2029/56518
26.47/33.85	c And the winner is solver0
26.63/34.04	c Got one! Elapsed wall clock time (in seconds):33.918
26.63/34.04	o 630
27.74/34.64	c And the winner is solver0
27.90/35.05	c Got one! Elapsed wall clock time (in seconds):34.921
27.90/35.05	o 628
28.92/35.52	c cleaning 6672 clauses out of 13344 with flag 4098/62464
28.92/35.56	c And the winner is solver0
29.16/36.05	c Got one! Elapsed wall clock time (in seconds):35.924
29.16/36.05	o 626
29.16/36.06	c And the winner is solver0
29.16/36.55	c Got one! Elapsed wall clock time (in seconds):36.427
29.16/36.55	o 624
29.16/36.56	c And the winner is solver0
29.16/37.05	c Got one! Elapsed wall clock time (in seconds):36.929
29.16/37.05	o 623
30.85/37.97	c cleaning 5996 clauses out of 11992 with flag 10220/67784
33.25/39.11	c cleaning 5998 clauses out of 11995 with flag 22311/73783
35.85/40.44	c cleaning 6495 clauses out of 12999 with flag 36444/80785
37.24/41.10	c And the winner is solver1
37.26/41.56	c Got one! Elapsed wall clock time (in seconds):41.433
37.26/41.56	o 615
37.95/41.99	c cleaning 6152 clauses out of 12312 with flag 4344/86593
38.14/42.03	c And the winner is solver0
38.57/42.23	c Got one! Elapsed wall clock time (in seconds):42.103
38.57/42.23	o 612
40.54/43.23	c cleaning 5698 clauses out of 11401 with flag 10751/91834
40.74/43.37	c And the winner is solver0
41.01/43.73	c Got one! Elapsed wall clock time (in seconds):43.606
41.01/43.73	o 611
41.93/44.21	c And the winner is solver0
42.05/44.34	c Got one! Elapsed wall clock time (in seconds):44.21
42.05/44.34	o 610
42.60/44.67	c And the winner is solver0
42.85/44.84	c Got one! Elapsed wall clock time (in seconds):44.713
42.85/44.84	o 608
43.58/45.25	c cleaning 6308 clauses out of 12625 with flag 4595/98756
44.36/45.62	c And the winner is solver0
44.52/45.84	c Got one! Elapsed wall clock time (in seconds):45.716
44.52/45.84	o 607
45.76/46.47	c And the winner is solver0
46.02/46.84	c Got one! Elapsed wall clock time (in seconds):46.72
46.02/46.84	o 606
46.72/47.24	c cleaning 6564 clauses out of 13128 with flag 4629/105567
47.32/47.54	c And the winner is solver0
47.54/47.85	c Got one! Elapsed wall clock time (in seconds):47.723
47.54/47.85	o 604
47.63/47.95	c And the winner is solver0
47.82/48.35	c Got one! Elapsed wall clock time (in seconds):48.226
47.82/48.35	o 603
48.51/48.77	c And the winner is solver0
48.77/48.90	c Got one! Elapsed wall clock time (in seconds):48.779
48.77/48.90	o 602
49.15/49.12	c And the winner is solver0
49.32/49.41	c Got one! Elapsed wall clock time (in seconds):49.282
49.32/49.41	o 601
49.32/49.47	c And the winner is solver0
49.51/49.91	c Got one! Elapsed wall clock time (in seconds):49.785
49.51/49.91	o 600
49.67/50.02	c And the winner is solver0
49.80/50.42	c Got one! Elapsed wall clock time (in seconds):50.288
49.80/50.42	o 599
50.56/50.88	c cleaning 7254 clauses out of 14507 with flag 4625/113510
51.16/51.17	c And the winner is solver0
51.41/51.42	c Got one! Elapsed wall clock time (in seconds):51.291
51.41/51.42	o 597
52.97/52.25	c cleaning 6285 clauses out of 12577 with flag 8990/118834
52.97/52.29	c And the winner is solver0
53.26/52.42	c Got one! Elapsed wall clock time (in seconds):52.295
53.26/52.42	o 596
53.64/52.67	c And the winner is solver0
53.90/52.92	c Got one! Elapsed wall clock time (in seconds):52.798
53.90/52.92	o 595
54.52/53.20	c And the winner is solver0
54.64/53.43	c Got one! Elapsed wall clock time (in seconds):53.302
54.64/53.43	o 594
54.98/53.62	c And the winner is solver0
55.13/53.93	c Got one! Elapsed wall clock time (in seconds):53.805
55.13/53.93	o 593
55.86/54.32	c And the winner is solver0
55.99/54.44	c Got one! Elapsed wall clock time (in seconds):54.308
55.99/54.44	o 590
56.75/54.83	c cleaning 6973 clauses out of 13957 with flag 4524/126499
58.96/55.95	c cleaning 6493 clauses out of 12985 with flag 20709/132500
61.57/57.25	c cleaning 6746 clauses out of 13492 with flag 37158/139500
64.76/58.88	c cleaning 7372 clauses out of 14745 with flag 55050/147499
66.35/59.64	c And the winner is solver1
66.46/59.94	c Got one! Elapsed wall clock time (in seconds):59.812
66.46/59.94	o 550
67.89/60.83	c cleaning 6554 clauses out of 13114 with flag 5292/153240
69.88/61.89	c cleaning 6276 clauses out of 12557 with flag 25242/159237
72.48/63.12	c cleaning 6641 clauses out of 13283 with flag 46570/166239
75.28/64.51	c cleaning 7320 clauses out of 14641 with flag 70424/174238
78.68/66.22	c cleaning 8158 clauses out of 16319 with flag 97196/183236
80.50/67.16	c And the winner is solver0
80.76/67.53	c Got one! Elapsed wall clock time (in seconds):67.409
80.76/67.53	o 549
82.67/68.58	c cleaning 9129 clauses out of 18264 with flag 16130/193339
85.08/69.71	c cleaning 7565 clauses out of 15135 with flag 34692/199339
87.47/70.97	c cleaning 7277 clauses out of 14570 with flag 54917/206339
90.83/72.53	c cleaning 7643 clauses out of 15292 with flag 78556/214338
94.03/74.10	c cleaning 8323 clauses out of 16650 with flag 104853/223339
97.64/75.92	c cleaning 9164 clauses out of 18327 with flag 133020/233339
101.63/77.95	c cleaning 10076 clauses out of 20162 with flag 165086/244338
106.44/80.33	c cleaning 11041 clauses out of 22088 with flag 200580/256340
111.63/82.87	c cleaning 12019 clauses out of 24046 with flag 237368/269339
117.03/85.55	c cleaning 13013 clauses out of 26028 with flag 278981/283340
120.05/87.01	c And the winner is solver0
120.45/87.43	c Got one! Elapsed wall clock time (in seconds):87.305
120.45/87.43	o 547
121.61/88.09	c And the winner is solver0
122.03/88.43	c Got one! Elapsed wall clock time (in seconds):88.309
122.03/88.43	o 542
122.96/88.93	c cleaning 13017 clauses out of 26046 with flag 5028/296371
125.36/90.17	c cleaning 9511 clauses out of 19028 with flag 26179/302370
128.16/91.56	c cleaning 8256 clauses out of 16518 with flag 42766/309371
130.96/92.96	c cleaning 8128 clauses out of 16261 with flag 62514/317370
134.16/94.58	c cleaning 8567 clauses out of 17134 with flag 83414/326371
137.76/96.38	c cleaning 9285 clauses out of 18570 with flag 106968/336374
142.76/99.07	c cleaning 10141 clauses out of 20281 with flag 131594/347370
144.75/100.06	c And the winner is solver0
145.11/100.35	c Got one! Elapsed wall clock time (in seconds):100.223
145.11/100.35	o 540
147.24/101.45	c And the winner is solver0
147.61/101.85	c Got one! Elapsed wall clock time (in seconds):101.727
147.61/101.85	o 538
147.90/102.08	c cleaning 10830 clauses out of 21675 with flag 2388/358905
150.50/103.31	c cleaning 8421 clauses out of 16846 with flag 20463/364906
152.91/104.58	c cleaning 7704 clauses out of 15423 with flag 38513/371904
155.90/106.02	c cleaning 7855 clauses out of 15720 with flag 58144/379905
159.10/107.64	c cleaning 8429 clauses out of 16864 with flag 80404/388904
163.17/109.70	c cleaning 9214 clauses out of 18436 with flag 104831/398905
167.37/111.75	c cleaning 10111 clauses out of 20221 with flag 129617/409904
172.37/114.26	c cleaning 11050 clauses out of 22110 with flag 155997/421904
177.77/116.94	c cleaning 12030 clauses out of 24060 with flag 184518/434904
183.92/120.00	c cleaning 13009 clauses out of 26031 with flag 214568/448905
190.30/123.14	c cleaning 14010 clauses out of 28021 with flag 247015/463904
197.31/126.64	c cleaning 15004 clauses out of 30011 with flag 285013/479904
204.68/130.22	c cleaning 15996 clauses out of 32007 with flag 325675/496904
212.08/133.91	c cleaning 17006 clauses out of 34013 with flag 366942/514906
219.88/137.80	c cleaning 18002 clauses out of 36005 with flag 412421/533904
225.51/140.54	c And the winner is solver0
225.97/140.91	c Got one! Elapsed wall clock time (in seconds):140.787
225.97/140.91	o 536
228.53/142.20	c cleaning 18798 clauses out of 37604 with flag 13951/553505
231.13/143.59	c cleaning 12400 clauses out of 24807 with flag 29372/559506
234.33/145.12	c cleaning 9701 clauses out of 19407 with flag 45413/566506
237.93/146.95	c cleaning 8851 clauses out of 17705 with flag 63145/574505
241.93/148.99	c cleaning 8924 clauses out of 17856 with flag 82792/583507
246.68/151.29	c cleaning 9459 clauses out of 18930 with flag 105019/593505
252.08/153.90	c cleaning 10234 clauses out of 20472 with flag 128916/604506
257.68/156.76	c cleaning 11117 clauses out of 22239 with flag 155062/616507
262.17/158.84	c And the winner is solver1
262.26/158.92	c Got one! Elapsed wall clock time (in seconds):158.795
262.26/158.92	o 534
264.40/160.07	c cleaning 11941 clauses out of 23894 with flag 13119/629279
267.20/161.46	c cleaning 8975 clauses out of 17953 with flag 32867/635279
269.80/162.73	c cleaning 7988 clauses out of 15979 with flag 54646/642280
272.42/164.04	c cleaning 7992 clauses out of 15990 with flag 78323/650279
275.60/165.66	c cleaning 8496 clauses out of 16999 with flag 105054/659280
279.40/167.50	c cleaning 9248 clauses out of 18502 with flag 138450/669279
284.76/170.63	c cleaning 10128 clauses out of 20255 with flag 175129/680280
289.16/172.84	c cleaning 11060 clauses out of 22126 with flag 211735/692279
294.14/175.37	c cleaning 12034 clauses out of 24067 with flag 250890/705280
299.74/178.20	c cleaning 13015 clauses out of 26034 with flag 294012/719281
305.74/181.16	c cleaning 14009 clauses out of 28017 with flag 338947/734279
312.14/184.31	c cleaning 15005 clauses out of 30011 with flag 387183/750282
319.62/188.00	c cleaning 16000 clauses out of 32005 with flag 440969/767281
327.70/192.02	c cleaning 16997 clauses out of 34004 with flag 497397/785280
335.70/196.07	c cleaning 18000 clauses out of 36007 with flag 554933/804280
345.00/200.65	c cleaning 19006 clauses out of 38014 with flag 611859/824287
354.60/205.40	c cleaning 20002 clauses out of 40004 with flag 673016/845283
365.52/210.84	c cleaning 20996 clauses out of 41999 with flag 740519/867280
377.27/216.61	c cleaning 21995 clauses out of 44002 with flag 815092/890279
390.07/222.96	c cleaning 22996 clauses out of 46008 with flag 887953/914280
402.47/229.19	c cleaning 24006 clauses out of 48012 with flag 963840/939280
415.66/235.63	c cleaning 25000 clauses out of 50007 with flag 1041279/965281
429.89/242.69	c cleaning 25999 clauses out of 52005 with flag 1125488/992279
444.55/249.86	c cleaning 26998 clauses out of 54006 with flag 1211583/1020279
460.59/257.73	c cleaning 28003 clauses out of 56008 with flag 1299924/1049279
478.51/266.50	c cleaning 29001 clauses out of 58005 with flag 1392935/1079279
495.05/274.62	c cleaning 30000 clauses out of 60005 with flag 1487639/1110280
513.53/283.73	c cleaning 31002 clauses out of 62008 with flag 1591140/1142283
535.12/295.25	c And the winner is solver0
535.80/295.89	c Got one! Elapsed wall clock time (in seconds):295.762
535.80/295.89	o 533
539.57/297.71	c cleaning 34327 clauses out of 68655 with flag 14239/1179932
542.37/299.14	c cleaning 20162 clauses out of 40329 with flag 31743/1185933
545.37/300.61	c cleaning 13581 clauses out of 27169 with flag 54602/1192935
548.40/302.11	c cleaning 10790 clauses out of 21585 with flag 78696/1200932
551.80/303.81	c cleaning 9891 clauses out of 19795 with flag 107710/1209932
555.61/305.80	c cleaning 9949 clauses out of 19904 with flag 138384/1219932
559.80/307.87	c cleaning 10474 clauses out of 20955 with flag 171624/1230932
564.20/310.02	c cleaning 11239 clauses out of 22481 with flag 208182/1242932
569.40/312.60	c cleaning 12118 clauses out of 24243 with flag 245373/1255933
574.81/315.37	c cleaning 13063 clauses out of 26125 with flag 289096/1269933
580.88/318.35	c cleaning 14024 clauses out of 28062 with flag 332723/1284933
587.08/321.49	c cleaning 15016 clauses out of 30037 with flag 379074/1300932
594.08/324.95	c cleaning 16008 clauses out of 32021 with flag 427916/1317932
601.68/328.75	c cleaning 17003 clauses out of 34014 with flag 482301/1335933
609.68/332.71	c cleaning 18005 clauses out of 36010 with flag 539692/1354932
611.28/333.59	c And the winner is solver0
612.17/334.37	c Got one! Elapsed wall clock time (in seconds):334.244
612.17/334.37	o 532
612.97/334.70	c cleaning 11849 clauses out of 23703 with flag 2231/1360630
615.77/336.10	c cleaning 8923 clauses out of 17854 with flag 22093/1366630
618.38/337.47	c cleaning 7961 clauses out of 15931 with flag 44252/1373630
621.39/338.95	c cleaning 7984 clauses out of 15971 with flag 66852/1381631
624.78/340.62	c cleaning 8485 clauses out of 16987 with flag 93184/1390631
625.98/341.27	c And the winner is solver0
626.85/342.03	c Got one! Elapsed wall clock time (in seconds):341.903
626.85/342.03	o 530
627.71/342.45	c And the winner is solver0
628.07/342.74	c Got one! Elapsed wall clock time (in seconds):342.611
628.07/342.74	o 528
628.38/342.98	c cleaning 7407 clauses out of 14820 with flag 2400/1396949
628.78/343.13	c And the winner is solver0
629.02/343.39	c Got one! Elapsed wall clock time (in seconds):343.269
629.02/343.39	o 527
631.31/344.57	c cleaning 6569 clauses out of 13137 with flag 13713/1402673
633.71/345.73	c cleaning 6281 clauses out of 12567 with flag 31518/1408672
636.31/347.07	c cleaning 6641 clauses out of 13286 with flag 51340/1415672
639.31/348.59	c cleaning 7320 clauses out of 14644 with flag 74176/1423671
643.01/350.34	c cleaning 8159 clauses out of 16325 with flag 99191/1432672
647.21/352.44	c cleaning 9082 clauses out of 18166 with flag 127635/1442672
651.61/354.65	c cleaning 10041 clauses out of 20085 with flag 159902/1453673
656.20/356.91	c cleaning 11016 clauses out of 22045 with flag 190959/1465674
661.21/359.41	c cleaning 12009 clauses out of 24027 with flag 225343/1478672
666.60/362.11	c cleaning 13004 clauses out of 26017 with flag 265155/1492671
672.20/364.99	c cleaning 14003 clauses out of 28013 with flag 308780/1507671
677.80/367.74	c And the winner is solver0
680.94/370.81	c Got one! Elapsed wall clock time (in seconds):370.686
680.94/370.81	o 525
683.44/372.06	c And the winner is solver0
684.31/372.82	c Got one! Elapsed wall clock time (in seconds):372.694
684.31/372.82	o 524
684.88/373.11	c cleaning 17290 clauses out of 34587 with flag 2335/1528248
687.48/374.43	c cleaning 11643 clauses out of 23295 with flag 20811/1534246
690.07/375.77	c cleaning 9322 clauses out of 18652 with flag 40173/1541246
693.07/377.23	c cleaning 8659 clauses out of 17330 with flag 60294/1549246
696.27/378.88	c cleaning 8835 clauses out of 17671 with flag 85686/1558246
699.89/380.62	c cleaning 9412 clauses out of 18836 with flag 113445/1568246
699.89/380.67	c And the winner is solver0
703.45/383.91	c Got one! Elapsed wall clock time (in seconds):383.788
703.45/383.91	o 523
705.84/385.11	c cleaning 7359 clauses out of 14726 with flag 13779/1573548
708.22/386.34	c cleaning 6681 clauses out of 13366 with flag 29311/1579547
710.62/387.56	c cleaning 6840 clauses out of 13685 with flag 50948/1586547
713.42/388.98	c cleaning 7419 clauses out of 14846 with flag 77376/1594548
717.02/390.70	c cleaning 8204 clauses out of 16426 with flag 107764/1603547
720.82/392.63	c cleaning 9104 clauses out of 18223 with flag 135589/1613548
721.82/393.20	c And the winner is solver0
725.43/396.63	c Got one! Elapsed wall clock time (in seconds):396.503
725.43/396.63	o 521
726.19/397.10	c cleaning 7381 clauses out of 14763 with flag 4654/1619192
728.99/398.40	c cleaning 6690 clauses out of 13382 with flag 21732/1625192
731.39/399.67	c cleaning 6845 clauses out of 13692 with flag 39704/1632192
734.53/401.12	c cleaning 7418 clauses out of 14847 with flag 61271/1640192
737.93/402.81	c cleaning 8215 clauses out of 16430 with flag 82725/1649193
741.94/404.84	c cleaning 9106 clauses out of 18217 with flag 108682/1659195
745.93/406.87	c cleaning 10052 clauses out of 20108 with flag 138968/1670192
750.33/409.07	c cleaning 11026 clauses out of 22058 with flag 170757/1682194
755.73/411.76	c cleaning 12007 clauses out of 24032 with flag 204462/1695194
761.13/414.41	c cleaning 13010 clauses out of 26025 with flag 243053/1709194
767.12/417.42	c cleaning 14004 clauses out of 28013 with flag 281788/1724192
773.52/420.60	c cleaning 15003 clauses out of 30010 with flag 320493/1740193
780.52/424.15	c cleaning 16002 clauses out of 32006 with flag 364754/1757192
787.52/427.64	c cleaning 16997 clauses out of 34004 with flag 405970/1775192
794.74/431.28	c cleaning 17998 clauses out of 36007 with flag 449979/1794192
802.33/435.09	c cleaning 19002 clauses out of 38009 with flag 498324/1814192
811.33/439.54	c cleaning 20004 clauses out of 40010 with flag 547327/1835195
821.14/444.48	c cleaning 20996 clauses out of 42004 with flag 601050/1857193
830.70/449.19	c cleaning 21994 clauses out of 44007 with flag 657334/1880192
841.12/454.36	c cleaning 23003 clauses out of 46013 with flag 712785/1904192
851.90/459.71	c cleaning 23999 clauses out of 48011 with flag 776069/1929193
861.50/464.56	c cleaning 25007 clauses out of 50013 with flag 837100/1955194
873.50/470.59	c cleaning 25992 clauses out of 52004 with flag 896833/1982192
886.10/476.87	c cleaning 27004 clauses out of 54012 with flag 960417/2010192
899.91/483.68	c cleaning 28001 clauses out of 56009 with flag 1030680/2039193
912.11/489.79	c cleaning 29002 clauses out of 58009 with flag 1103425/2069194
927.12/497.30	c cleaning 30001 clauses out of 60007 with flag 1188626/2100194
943.11/505.20	c cleaning 30999 clauses out of 62006 with flag 1266861/2132194
959.91/513.63	c cleaning 32003 clauses out of 64006 with flag 1344735/2165193
976.51/521.95	c cleaning 33000 clauses out of 66003 with flag 1429130/2199193
993.71/530.53	c cleaning 33998 clauses out of 68002 with flag 1514859/2234192
1010.72/539.10	c cleaning 35001 clauses out of 70005 with flag 1595884/2270193
1030.60/548.82	c cleaning 36002 clauses out of 72004 with flag 1679989/2307193
1047.59/557.30	c cleaning 36998 clauses out of 74003 with flag 1765716/2345194
1064.01/565.52	c cleaning 37996 clauses out of 76004 with flag 1853264/2384193
1082.59/574.81	c cleaning 39003 clauses out of 78009 with flag 1945462/2424194
1105.19/586.18	c cleaning 39997 clauses out of 80004 with flag 2044216/2465192
1120.20/593.67	c And the winner is solver0
1121.45/594.71	c Got one! Elapsed wall clock time (in seconds):594.578
1121.45/594.71	o 519
1125.22/596.63	c cleaning 37675 clauses out of 75366 with flag 13667/2500551
1128.49/598.13	c cleaning 21844 clauses out of 43691 with flag 27965/2506551
1131.51/599.62	c cleaning 14420 clauses out of 28848 with flag 44366/2513552
1134.50/601.16	c cleaning 11211 clauses out of 22427 with flag 63673/2521551
1138.11/602.91	c cleaning 10099 clauses out of 20216 with flag 85626/2530551
1142.09/605.00	c cleaning 10052 clauses out of 20117 with flag 110394/2540551
1146.71/607.23	c cleaning 10527 clauses out of 21065 with flag 136644/2551551
1151.69/609.74	c cleaning 11268 clauses out of 22538 with flag 166196/2563551
1157.09/612.41	c cleaning 12132 clauses out of 24270 with flag 200278/2576551
1162.49/615.16	c cleaning 13068 clauses out of 26138 with flag 234831/2590551
1168.90/618.33	c cleaning 14034 clauses out of 28070 with flag 271946/2605551
1175.30/621.52	c cleaning 15017 clauses out of 30036 with flag 309457/2621551
1182.50/625.19	c cleaning 16010 clauses out of 32020 with flag 352033/2638552
1190.50/629.15	c cleaning 17000 clauses out of 34010 with flag 397437/2656552
1198.70/633.23	c cleaning 18002 clauses out of 36009 with flag 446463/2675551
1206.50/637.15	c cleaning 18997 clauses out of 38007 with flag 499673/2695551
1216.30/642.01	c cleaning 20000 clauses out of 40011 with flag 553869/2716552
1225.50/646.60	c cleaning 21003 clauses out of 42010 with flag 611541/2738551
1235.69/651.77	c cleaning 22002 clauses out of 44009 with flag 667951/2761553
1246.69/657.24	c cleaning 22999 clauses out of 46005 with flag 727619/2785551
1258.49/663.16	c cleaning 24000 clauses out of 48006 with flag 787103/2810551
1271.69/669.72	c cleaning 25003 clauses out of 50006 with flag 849902/2836551
1285.30/676.53	c cleaning 25997 clauses out of 52004 with flag 916944/2863552
1297.49/682.69	c cleaning 26998 clauses out of 54009 with flag 984803/2891554
1310.69/689.25	c cleaning 28001 clauses out of 56008 with flag 1054945/2920551
1325.19/696.33	c cleaning 28998 clauses out of 58007 with flag 1124638/2950551
1338.17/702.86	c cleaning 29995 clauses out of 60009 with flag 1197038/2981551
1353.57/710.59	c cleaning 31007 clauses out of 62014 with flag 1275664/3013551
1358.97/713.24	c And the winner is solver0
1370.63/724.86	c Got one! Elapsed wall clock time (in seconds):724.738
1370.63/724.86	o 516
1373.77/726.47	c cleaning 24430 clauses out of 48869 with flag 14474/3031413
1376.37/727.71	c cleaning 15215 clauses out of 30440 with flag 30943/3037414
1378.97/729.06	c cleaning 11103 clauses out of 22225 with flag 47232/3044414
1382.17/730.60	c cleaning 9551 clauses out of 19121 with flag 66673/3052413
1385.37/732.26	c cleaning 9277 clauses out of 18570 with flag 88337/3061413
1389.38/734.20	c cleaning 9646 clauses out of 19295 with flag 112495/3071415
1393.58/736.34	c cleaning 10315 clauses out of 20649 with flag 139316/3082415
1398.66/738.72	c cleaning 11160 clauses out of 22332 with flag 167564/3094413
1403.66/741.23	c cleaning 12085 clauses out of 24173 with flag 196905/3107414
1409.06/743.95	c cleaning 13042 clauses out of 26087 with flag 227854/3121413
1415.27/747.04	c cleaning 14022 clauses out of 28045 with flag 261448/3136413
1419.67/749.21	c And the winner is solver0
1429.48/759.05	c Got one! Elapsed wall clock time (in seconds):758.924
1429.48/759.05	o 515
1431.97/760.39	c cleaning 15073 clauses out of 30151 with flag 15625/3152541
1434.57/761.61	c cleaning 10533 clauses out of 21079 with flag 30517/3158542
1437.17/762.96	c cleaning 8767 clauses out of 17546 with flag 48313/3165542
1440.38/764.55	c cleaning 8382 clauses out of 16778 with flag 67265/3173541
1443.97/766.35	c cleaning 8694 clauses out of 17397 with flag 87706/3182542
1447.57/768.17	c cleaning 9348 clauses out of 18703 with flag 109517/3192542
1451.77/770.23	c cleaning 10178 clauses out of 20355 with flag 137031/3203542
1456.17/772.46	c cleaning 11080 clauses out of 22176 with flag 165383/3215541
1460.77/774.73	c cleaning 12049 clauses out of 24097 with flag 196990/3228542
1467.22/777.89	c cleaning 13019 clauses out of 26048 with flag 232669/3242542
1473.62/781.05	c cleaning 14009 clauses out of 28028 with flag 270561/3257541
1480.42/784.46	c cleaning 15009 clauses out of 30021 with flag 307161/3273543
1487.40/787.95	c cleaning 15998 clauses out of 32010 with flag 343232/3290541
1495.40/791.97	c cleaning 17007 clauses out of 34014 with flag 381795/3308543
1504.00/796.21	c cleaning 18001 clauses out of 36006 with flag 425948/3327542
1513.21/800.88	c cleaning 19001 clauses out of 38005 with flag 471300/3347542
1523.39/805.95	c cleaning 20002 clauses out of 40003 with flag 523495/3368541
1534.99/811.72	c cleaning 20997 clauses out of 42004 with flag 578625/3390544
1546.40/817.49	c cleaning 21998 clauses out of 44005 with flag 633524/3413542
1559.40/823.95	c cleaning 23001 clauses out of 46007 with flag 690188/3437542
1571.98/830.24	c cleaning 24001 clauses out of 48006 with flag 749234/3462542
1586.00/837.23	c cleaning 25002 clauses out of 50006 with flag 810098/3488543
1598.99/843.75	c cleaning 25999 clauses out of 52002 with flag 873635/3515541
1613.58/851.00	c cleaning 27001 clauses out of 54004 with flag 941491/3543542
1630.00/859.28	c cleaning 27996 clauses out of 56003 with flag 1007956/3572542
1644.38/866.41	c cleaning 29002 clauses out of 58006 with flag 1085641/3602541
1660.98/874.77	c cleaning 29997 clauses out of 60005 with flag 1159969/3633542
1678.98/883.73	c cleaning 31004 clauses out of 62008 with flag 1234891/3665542
1699.47/893.83	c cleaning 32002 clauses out of 64003 with flag 1310730/3698541
1719.79/903.88	c cleaning 32997 clauses out of 66003 with flag 1391473/3732543
1740.09/913.88	c cleaning 34002 clauses out of 68005 with flag 1478928/3767542
1763.01/925.10	c cleaning 34998 clauses out of 70002 with flag 1565658/3803541
1786.53/936.75	c cleaning 36000 clauses out of 72005 with flag 1655906/3840542
1800.13/943.50	c >>>>>>>>>> Solver number 0 (96 answers) <<<<<<<<<<<<<<<<<<
1800.13/943.50	c starts		: 24534
1800.13/943.50	c conflicts		: 3862569
1800.13/943.50	c decisions		: 5734337
1800.13/943.50	c propagations		: 181928085
1800.13/943.50	c inspects		: 4782613228
1800.13/943.50	c shortcuts		: 0
1800.13/943.50	c learnt literals	: 0
1800.13/943.50	c learnt binary clauses	: 0
1800.13/943.50	c learnt ternary clauses	: 2281
1800.13/943.50	c learnt constraints	: 3862569
1800.13/943.50	c ignored constraints	: 0
1800.13/943.50	c root simplifications	: 0
1800.13/943.50	c removed literals (reason simplification)	: 734455589
1800.13/943.50	c reason swapping (by a shorter reason)	: 0
1800.13/943.50	c Calls to reduceDB	: 247
1800.13/943.50	c Number of update (reduction) of LBD	: 59919
1800.13/943.50	c Imported unit clauses	: 0
1800.13/943.50	c number of reductions to clauses (during analyze)	: 0
1800.13/943.50	c number of learned constraints concerned by reduction	: 0
1800.13/943.50	c number of learning phase by resolution	: 0
1800.13/943.50	c number of learning phase by cutting planes	: 0
1800.13/943.50	c speed (assignments/second)	: 231880.176349579
1800.13/943.50	c non guided choices	567
1800.13/943.53	c learnt constraints type 
1800.13/943.53	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 58032
1800.13/943.53	c >>>>>>>>>> Solver number 1 (3 answers) <<<<<<<<<<<<<<<<<<
1800.13/943.53	c starts		: 119
1800.13/943.53	c conflicts		: 3756
1800.13/943.53	c decisions		: 13161
1800.13/943.53	c propagations		: 325400
1800.13/943.53	c inspects		: 235917849
1800.13/943.53	c shortcuts		: 0
1800.13/943.53	c learnt literals	: 0
1800.13/943.53	c learnt binary clauses	: 0
1800.13/943.53	c learnt ternary clauses	: 0
1800.13/943.53	c learnt constraints	: 3694
1800.13/943.53	c ignored constraints	: 0
1800.13/943.53	c root simplifications	: 0
1800.13/943.53	c removed literals (reason simplification)	: 0
1800.13/943.53	c reason swapping (by a shorter reason)	: 0
1800.13/943.53	c Calls to reduceDB	: 0
1800.13/943.53	c Number of update (reduction) of LBD	: 0
1800.13/943.53	c Imported unit clauses	: 0
1800.13/943.53	c number of reductions to clauses (during analyze)	: 0
1800.13/943.53	c number of learned constraints concerned by reduction	: 0
1800.13/943.53	c number of learning phase by resolution	: 0
1800.13/943.53	c number of learning phase by cutting planes	: 0
1800.13/943.53	c speed (assignments/second)	: 1763.953337091808
1800.13/943.53	c non guided choices	20
1800.13/943.53	c learnt constraints type 
1800.13/943.53	c org.sat4j.pb.constraints.pb.MaxWatchPb => 3694
1800.13/943.53	s SATISFIABLE
1800.13/943.53	c Found 99 solution(s)
1800.13/943.53	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 
1800.13/943.54	c objective function=515
1800.13/943.54	c Total wall clock time (in seconds): 943.41

Verifier Data 

OK	515

Watcher Data 

runsolver Copyright (C) 2010-2013 Olivier ROUSSEL

This is runsolver version 3.3.7 (svn: 2553)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4119521-1467258128/watcher-4119521-1467258128 -o /tmp/evaluation-result-4119521-1467258128/solver-4119521-1467258128 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node141-1467246696-6244 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4119521-1467258128.opb 

pid=12837
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: 4.24 4.14 4.05 4/197 12840
/proc/meminfo: memFree=26621092/32872528 swapFree=480236/529292
[pid=12840] ppid=12837 vsize=9292 CPUtime=0 cores=0,2,4,6
/proc/12840/stat : 12840 (java) D 12837 12840 6228 0 -1 4202496 327 0 0 0 0 0 0 0 20 0 1 0 4832777 9515008 183 33554432000 1073741824 1073778376 140735321051168 140735321042200 211458801333 0 0 4096 0 18446744072100588836 0 0 17 2 0 0 0 0 0
/proc/12840/statm: 2323 183 140 9 0 71 0

[startup+0.100069 s]
/proc/loadavg: 4.24 4.14 4.05 4/197 12840
/proc/meminfo: memFree=26621092/32872528 swapFree=480236/529292
[pid=12840] ppid=12837 vsize=9558476 CPUtime=0.09 cores=0,2,4,6
/proc/12840/stat : 12840 (java) S 12837 12840 6228 0 -1 4202496 4400 0 1 0 8 1 0 0 20 0 18 0 4832777 9787879424 6032 33554432000 1073741824 1073778376 140736746444736 140736746435872 211462160445 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/12840/statm: 2389619 6032 2125 9 0 2380296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558476

[startup+0.200261 s]
/proc/loadavg: 4.24 4.14 4.05 4/197 12840
/proc/meminfo: memFree=26621092/32872528 swapFree=480236/529292
[pid=12840] ppid=12837 vsize=9558476 CPUtime=0.21 cores=0,2,4,6
/proc/12840/stat : 12840 (java) S 12837 12840 6228 0 -1 4202496 4554 0 1 0 20 1 0 0 20 0 18 0 4832777 9787879424 7189 33554432000 1073741824 1073778376 140736746444736 140736746435872 211462160445 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/12840/statm: 2389619 7189 2192 9 0 2380296 0
Current children cumulated CPU time (s) 0.21
Current children cumulated vsize (KiB) 9558476

[startup+0.300272 s]
/proc/loadavg: 4.24 4.14 4.05 4/197 12840
/proc/meminfo: memFree=26621092/32872528 swapFree=480236/529292
[pid=12840] ppid=12837 vsize=9558476 CPUtime=0.42 cores=0,2,4,6
/proc/12840/stat : 12840 (java) S 12837 12840 6228 0 -1 4202496 5507 0 1 0 41 1 0 0 20 0 18 0 4832777 9787879424 8277 33554432000 1073741824 1073778376 140736746444736 140736746435872 211462160445 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/12840/statm: 2389619 8277 2225 9 0 2380296 0
Current children cumulated CPU time (s) 0.42
Current children cumulated vsize (KiB) 9558476

[startup+0.700264 s]
/proc/loadavg: 4.24 4.14 4.05 4/197 12840
/proc/meminfo: memFree=26621092/32872528 swapFree=480236/529292
[pid=12840] ppid=12837 vsize=9824732 CPUtime=0.78 cores=0,2,4,6
/proc/12840/stat : 12840 (java) S 12837 12840 6228 0 -1 4202496 8617 0 1 0 74 4 0 0 20 0 19 0 4832777 10060525568 12411 33554432000 1073741824 1073778376 140736746444736 140736746435872 211462160445 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/12840/statm: 2456183 12411 2261 9 0 2446860 0
Current children cumulated CPU time (s) 0.78
Current children cumulated vsize (KiB) 9824732

[startup+1.50071 s]
/proc/loadavg: 4.24 4.14 4.05 5/216 12865
/proc/meminfo: memFree=26560272/32872528 swapFree=480236/529292
[pid=12840] ppid=12837 vsize=9824732 CPUtime=1.75 cores=0,2,4,6
/proc/12840/stat : 12840 (java) S 12837 12840 6228 0 -1 4202496 15697 0 1 0 167 8 0 0 20 0 20 0 4832777 10060525568 18719 33554432000 1073741824 1073778376 140736746444736 140736746435872 211462160445 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/12840/statm: 2456183 18719 2265 9 0 2446860 0
[pid=12840/tid=12842] ppid=12837 vsize=9824732 CPUtime=0.37 cores=0,2,4,6
/proc/12840/task/12842/stat : 12842 (java) S 12837 12840 6228 0 -1 4202560 2474 0 1 0 36 1 0 0 20 0 20 0 4832778 10060525568 18719 33554432000 1073741824 1073778376 140736746444736 140580599022456 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12840/tid=12843] ppid=12837 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/12840/task/12843/stat : 12843 (java) S 12837 12840 6228 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 4832779 10060525568 18719 33554432000 1073741824 1073778376 140736746444736 140580442815528 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12840/tid=12844] ppid=12837 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/12840/task/12844/stat : 12844 (java) S 12837 12840 6228 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 4832779 10060525568 18719 33554432000 1073741824 1073778376 140736746444736 140580441762728 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12840/tid=12845] ppid=12837 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/12840/task/12845/stat : 12845 (java) S 12837 12840 6228 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 4832779 10060525568 18719 33554432000 1073741824 1073778376 140736746444736 140580440709928 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=12840/tid=12846] ppid=12837 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/12840/task/12846/stat : 12846 (java) S 12837 12840 6228 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 4832779 10060525568 18719 33554432000 1073741824 1073778376 140736746444736 140580439657128 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12840/tid=12847] ppid=12837 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/12840/task/12847/stat : 12847 (java) S 12837 12840 6228 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 4832779 10060525568 18719 33554432000 1073741824 1073778376 140736746444736 140580438604328 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12840/tid=12848] ppid=12837 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/12840/task/12848/stat : 12848 (java) S 12837 12840 6228 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 4832779 10060525568 18719 33554432000 1073741824 1073778376 140736746444736 140580437551528 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12840/tid=12849] ppid=12837 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/12840/task/12849/stat : 12849 (java) S 12837 12840 6228 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 4832779 10060525568 18719 33554432000 1073741824 1073778376 140736746444736 140580436498728 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12840/tid=12850] ppid=12837 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/12840/task/12850/stat : 12850 (java) S 12837 12840 6228 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 20 0 4832779 10060525568 18719 33554432000 1073741824 1073778376 140736746444736 140580435445928 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12840/tid=12851] ppid=12837 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/12840/task/12851/stat : 12851 (java) S 12837 12840 6228 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 20 0 4832780 10060525568 18719 33554432000 1073741824 1073778376 140736746444736 140580423248872 211462174633 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12840/tid=12852] ppid=12837 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/12840/task/12852/stat : 12852 (java) S 12837 12840 6228 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 20 0 4832781 10060525568 18719 33554432000 1073741824 1073778376 140736746444736 140580422194936 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12840/tid=12853] ppid=12837 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/12840/task/12853/stat : 12853 (java) S 12837 12840 6228 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 4832781 10060525568 18719 33554432000 1073741824 1073778376 140736746444736 140580421142024 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12840/tid=12854] ppid=12837 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/12840/task/12854/stat : 12854 (java) S 12837 12840 6228 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 4832783 10060525568 18719 33554432000 1073741824 1073778376 140736746444736 140580420090512 211462182688 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12840/tid=12855] ppid=12837 vsize=9824732 CPUtime=0.53 cores=0,2,4,6
/proc/12840/task/12855/stat : 12855 (java) R 12837 12840 6228 0 -1 4202560 6889 0 0 0 52 1 0 0 20 0 20 0 4832783 10060525568 18719 33554432000 1073741824 1073778376 140736746444736 140580419037624 140580601755524 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=12840/tid=12856] ppid=12837 vsize=9824732 CPUtime=0.48 cores=0,2,4,6
/proc/12840/task/12856/stat : 12856 (java) R 12837 12840 6228 0 -1 4202560 4979 0 0 0 48 0 0 0 20 0 20 0 4832783 10060525568 18719 33554432000 1073741824 1073778376 140736746444736 140580417984824 140580605619652 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=12840/tid=12857] ppid=12837 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/12840/task/12857/stat : 12857 (java) S 12837 12840 6228 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 4832783 10060525568 18719 33554432000 1073741824 1073778376 140736746444736 140580416932216 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12840/tid=12858] ppid=12837 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/12840/task/12858/stat : 12858 (java) S 12837 12840 6228 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 4832783 10060525568 18719 33554432000 1073741824 1073778376 140736746444736 140580415879624 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12840/tid=12862] ppid=12837 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/12840/task/12862/stat : 12862 (java) S 12837 12840 6228 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 4832816 10060525568 18719 33554432000 1073741824 1073778376 140736746444736 140580411323688 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1.75
Current children cumulated vsize (KiB) 9824732

[startup+3.10084 s]
/proc/loadavg: 4.06 4.10 4.04 3/216 12871
/proc/meminfo: memFree=26547240/32872528 swapFree=480236/529292
[pid=12840] ppid=12837 vsize=9824732 CPUtime=2.32 cores=0,2,4,6
/proc/12840/stat : 12840 (java) S 12837 12840 6228 0 -1 4202496 15731 0 1 0 220 12 0 0 20 0 19 0 4832777 10060525568 24351 33554432000 1073741824 1073778376 140736746444736 140736746435872 211462160445 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/12840/statm: 2456183 24351 2267 9 0 2446860 0
[pid=12840/tid=12842] ppid=12837 vsize=9824732 CPUtime=0.39 cores=0,2,4,6
/proc/12840/task/12842/stat : 12842 (java) S 12837 12840 6228 0 -1 4202560 2475 0 1 0 37 2 0 0 20 0 19 0 4832778 10060525568 24351 33554432000 1073741824 1073778376 140736746444736 140580599022456 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12840/tid=12843] ppid=12837 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/12840/task/12843/stat : 12843 (java) S 12837 12840 6228 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4832779 10060525568 24351 33554432000 1073741824 1073778376 140736746444736 140580442815528 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12840/tid=12844] ppid=12837 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/12840/task/12844/stat : 12844 (java) S 12837 12840 6228 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4832779 10060525568 24351 33554432000 1073741824 1073778376 140736746444736 140580441762728 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12840/tid=12845] ppid=12837 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/12840/task/12845/stat : 12845 (java) S 12837 12840 6228 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4832779 10060525568 24351 33554432000 1073741824 1073778376 140736746444736 140580440709928 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=12840/tid=12846] ppid=12837 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/12840/task/12846/stat : 12846 (java) S 12837 12840 6228 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4832779 10060525568 24351 33554432000 1073741824 1073778376 140736746444736 140580439657128 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12840/tid=12847] ppid=12837 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/12840/task/12847/stat : 12847 (java) S 12837 12840 6228 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4832779 10060525568 24351 33554432000 1073741824 1073778376 140736746444736 140580438604328 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12840/tid=12848] ppid=12837 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/12840/task/12848/stat : 12848 (java) S 12837 12840 6228 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4832779 10060525568 24351 33554432000 1073741824 1073778376 140736746444736 140580437551528 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12840/tid=12849] ppid=12837 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/12840/task/12849/stat : 12849 (java) S 12837 12840 6228 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4832779 10060525568 24351 33554432000 1073741824 1073778376 140736746444736 140580436498728 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12840/tid=12850] ppid=12837 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/12840/task/12850/stat : 12850 (java) S 12837 12840 6228 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 4832779 10060525568 24351 33554432000 1073741824 1073778376 140736746444736 140580435445928 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12840/tid=12851] ppid=12837 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/12840/task/12851/stat : 12851 (java) S 12837 12840 6228 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 4832780 10060525568 24351 33554432000 1073741824 1073778376 140736746444736 140580423248872 211462174633 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12840/tid=12852] ppid=12837 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/12840/task/12852/stat : 12852 (java) S 12837 12840 6228 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 4832781 10060525568 24351 33554432000 1073741824 1073778376 140736746444736 140580422194936 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12840/tid=12853] ppid=12837 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/12840/task/12853/stat : 12853 (java) S 12837 12840 6228 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 4832781 10060525568 24351 33554432000 1073741824 1073778376 140736746444736 140580421142024 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12840/tid=12854] ppid=12837 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/12840/task/12854/stat : 12854 (java) S 12837 12840 6228 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4832783 10060525568 24351 33554432000 1073741824 1073778376 140736746444736 140580420090512 211462182688 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12840/tid=12855] ppid=12837 vsize=9824732 CPUtime=0.65 cores=0,2,4,6
/proc/12840/task/12855/stat : 12855 (java) S 12837 12840 6228 0 -1 4202560 6890 0 0 0 64 1 0 0 20 0 19 0 4832783 10060525568 24351 33554432000 1073741824 1073778376 140736746444736 140580419037624 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12840/tid=12856] ppid=12837 vsize=9824732 CPUtime=0.7 cores=0,2,4,6
/proc/12840/task/12856/stat : 12856 (java) S 12837 12840 6228 0 -1 4202560 4981 0 0 0 70 0 0 0 20 0 19 0 4832783 10060525568 24351 33554432000 1073741824 1073778376 140736746444736 140580417984824 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12840/tid=12857] ppid=12837 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/12840/task/12857/stat : 12857 (java) S 12837 12840 6228 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4832783 10060525568 24351 33554432000 1073741824 1073778376 140736746444736 140580416932216 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12840/tid=12858] ppid=12837 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/12840/task/12858/stat : 12858 (java) S 12837 12840 6228 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4832783 10060525568 24351 33554432000 1073741824 1073778376 140736746444736 140580415879624 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12840/tid=12862] ppid=12837 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/12840/task/12862/stat : 12862 (java) S 12837 12840 6228 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 4832816 10060525568 24351 33554432000 1073741824 1073778376 140736746444736 140580411323688 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 2.32
Current children cumulated vsize (KiB) 9824732
heavy processes:

[startup+6.30082 s]
/proc/loadavg: 4.06 4.10 4.04 3/216 12895
/proc/meminfo: memFree=26461764/32872528 swapFree=480236/529292
[pid=12840] ppid=12837 vsize=9824732 CPUtime=3.75 cores=0,2,4,6
/proc/12840/stat : 12840 (java) S 12837 12840 6228 0 -1 4202496 15918 0 1 0 357 18 0 0 20 0 19 0 4832777 10060525568 47111 33554432000 1073741824 1073778376 140736746444736 140736746435872 211462160445 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/12840/statm: 2456183 47111 2286 9 0 2446860 0
[pid=12840/tid=12842] ppid=12837 vsize=9824732 CPUtime=0.4 cores=0,2,4,6
/proc/12840/task/12842/stat : 12842 (java) S 12837 12840 6228 0 -1 4202560 2476 0 1 0 38 2 0 0 20 0 19 0 4832778 10060525568 47111 33554432000 1073741824 1073778376 140736746444736 140580599022456 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12840/tid=12843] ppid=12837 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/12840/task/12843/stat : 12843 (java) S 12837 12840 6228 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 4832779 10060525568 47111 33554432000 1073741824 1073778376 140736746444736 140580442815528 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12840/tid=12844] ppid=12837 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/12840/task/12844/stat : 12844 (java) S 12837 12840 6228 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4832779 10060525568 47111 33554432000 1073741824 1073778376 140736746444736 140580441762728 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12840/tid=12845] ppid=12837 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/12840/task/12845/stat : 12845 (java) S 12837 12840 6228 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4832779 10060525568 47111 33554432000 1073741824 1073778376 140736746444736 140580440709928 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=12840/tid=12846] ppid=12837 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/12840/task/12846/stat : 12846 (java) S 12837 12840 6228 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 19 0 4832779 10060525568 47111 33554432000 1073741824 1073778376 140736746444736 140580439657128 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12840/tid=12847] ppid=12837 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/12840/task/12847/stat : 12847 (java) S 12837 12840 6228 0 -1 4202560 15 0 0 0 0 0 0 0 20 0 19 0 4832779 10060525568 47111 33554432000 1073741824 1073778376 140736746444736 140580438604328 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=12840/tid=12848] ppid=12837 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/12840/task/12848/stat : 12848 (java) S 12837 12840 6228 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 4832779 10060525568 47111 33554432000 1073741824 1073778376 140736746444736 140580437551528 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12840/tid=12849] ppid=12837 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/12840/task/12849/stat : 12849 (java) S 12837 12840 6228 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 4832779 10060525568 47111 33554432000 1073741824 1073778376 140736746444736 140580436498728 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12840/tid=12850] ppid=12837 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/12840/task/12850/stat : 12850 (java) S 12837 12840 6228 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 4832779 10060525568 47111 33554432000 1073741824 1073778376 140736746444736 140580435445928 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12840/tid=12851] ppid=12837 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/12840/task/12851/stat : 12851 (java) S 12837 12840 6228 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 4832780 10060525568 47111 33554432000 1073741824 1073778376 140736746444736 140580423248872 211462174633 0 0 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=12840/tid=12852] ppid=12837 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/12840/task/12852/stat : 12852 (java) S 12837 12840 6228 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 4832781 10060525568 47111 33554432000 1073741824 1073778376 140736746444736 140580422194936 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12840/tid=12853] ppid=12837 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/12840/task/12853/stat : 12853 (java) S 12837 12840 6228 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 4832781 10060525568 47111 33554432000 1073741824 1073778376 140736746444736 140580421142024 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12840/tid=12854] ppid=12837 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/12840/task/12854/stat : 12854 (java) S 12837 12840 6228 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4832783 10060525568 47111 33554432000 1073741824 1073778376 140736746444736 140580420090512 211462182688 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12840/tid=12855] ppid=12837 vsize=9824732 CPUtime=0.78 cores=0,2,4,6
/proc/12840/task/12855/stat : 12855 (java) S 12837 12840 6228 0 -1 4202560 6922 0 0 0 77 1 0 0 20 0 19 0 4832783 10060525568 47111 33554432000 1073741824 1073778376 140736746444736 140580419037624 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12840/tid=12856] ppid=12837 vsize=9824732 CPUtime=0.84 cores=0,2,4,6
/proc/12840/task/12856/stat : 12856 (java) S 12837 12840 6228 0 -1 4202560 4986 0 0 0 84 0 0 0 20 0 19 0 4832783 10060525568 47111 33554432000 1073741824 1073778376 140736746444736 140580417984824 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12840/tid=12857] ppid=12837 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/12840/task/12857/stat : 12857 (java) S 12837 12840 6228 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4832783 10060525568 47111 33554432000 1073741824 1073778376 140736746444736 140580416932216 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12840/tid=12858] ppid=12837 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/12840/task/12858/stat : 12858 (java) S 12837 12840 6228 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 4832783 10060525568 47111 33554432000 1073741824 1073778376 140736746444736 140580415879624 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12840/tid=12862] ppid=12837 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/12840/task/12862/stat : 12862 (java) S 12837 12840 6228 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 4832816 10060525568 47111 33554432000 1073741824 1073778376 140736746444736 140580411323688 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 3.75
Current children cumulated vsize (KiB) 9824732

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


[startup+942.301 s]
/proc/loadavg: 4.15 4.17 4.05 5/219 13810
/proc/meminfo: memFree=22763968/32872528 swapFree=480236/529292
[pid=12840] ppid=12837 vsize=9824732 CPUtime=1797.73 cores=0,2,4,6
/proc/12840/stat : 12840 (java) S 12837 12840 6228 0 -1 4202496 26735 0 1 0 179359 414 0 0 20 0 22 0 4832777 10060525568 949693 33554432000 1073741824 1073778376 140736746444736 140736746435872 211462160445 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/12840/statm: 2456183 949693 2301 9 0 2446860 0
[pid=12840/tid=12842] ppid=12837 vsize=9824732 CPUtime=0.72 cores=0,2,4,6
/proc/12840/task/12842/stat : 12842 (java) S 12837 12840 6228 0 -1 4202560 2498 0 1 0 69 3 0 0 20 0 22 0 4832778 10060525568 949693 33554432000 1073741824 1073778376 140736746444736 140580599022456 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12840/tid=12843] ppid=12837 vsize=9824732 CPUtime=2.4 cores=0,2,4,6
/proc/12840/task/12843/stat : 12843 (java) S 12837 12840 6228 0 -1 4202560 595 0 0 0 219 21 0 0 20 0 22 0 4832779 10060525568 949693 33554432000 1073741824 1073778376 140736746444736 140580442815528 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12840/tid=12844] ppid=12837 vsize=9824732 CPUtime=2.82 cores=0,2,4,6
/proc/12840/task/12844/stat : 12844 (java) S 12837 12840 6228 0 -1 4202560 1003 0 0 0 255 27 0 0 20 0 22 0 4832779 10060525568 949693 33554432000 1073741824 1073778376 140736746444736 140580441762728 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12840/tid=12845] ppid=12837 vsize=9824732 CPUtime=2.82 cores=0,2,4,6
/proc/12840/task/12845/stat : 12845 (java) S 12837 12840 6228 0 -1 4202560 1003 0 0 0 253 29 0 0 20 0 22 0 4832779 10060525568 949693 33554432000 1073741824 1073778376 140736746444736 140580440709928 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12840/tid=12846] ppid=12837 vsize=9824732 CPUtime=2.41 cores=0,2,4,6
/proc/12840/task/12846/stat : 12846 (java) S 12837 12840 6228 0 -1 4202560 853 0 0 0 216 25 0 0 20 0 22 0 4832779 10060525568 949693 33554432000 1073741824 1073778376 140736746444736 140580439657128 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12840/tid=12847] ppid=12837 vsize=9824732 CPUtime=2.59 cores=0,2,4,6
/proc/12840/task/12847/stat : 12847 (java) S 12837 12840 6228 0 -1 4202560 726 0 0 0 232 27 0 0 20 0 22 0 4832779 10060525568 949693 33554432000 1073741824 1073778376 140736746444736 140580438604328 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=12840/tid=12848] ppid=12837 vsize=9824732 CPUtime=2.84 cores=0,2,4,6
/proc/12840/task/12848/stat : 12848 (java) S 12837 12840 6228 0 -1 4202560 781 0 0 0 256 28 0 0 20 0 22 0 4832779 10060525568 949693 33554432000 1073741824 1073778376 140736746444736 140580437551528 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12840/tid=12849] ppid=12837 vsize=9824732 CPUtime=2.23 cores=0,2,4,6
/proc/12840/task/12849/stat : 12849 (java) S 12837 12840 6228 0 -1 4202560 569 0 0 0 204 19 0 0 20 0 22 0 4832779 10060525568 949693 33554432000 1073741824 1073778376 140736746444736 140580436498728 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12840/tid=12850] ppid=12837 vsize=9824732 CPUtime=2.73 cores=0,2,4,6
/proc/12840/task/12850/stat : 12850 (java) S 12837 12840 6228 0 -1 4202560 762 0 0 0 250 23 0 0 20 0 22 0 4832779 10060525568 949693 33554432000 1073741824 1073778376 140736746444736 140580435445928 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12840/tid=12851] ppid=12837 vsize=9824732 CPUtime=3.93 cores=0,2,4,6
/proc/12840/task/12851/stat : 12851 (java) S 12837 12840 6228 0 -1 4202560 2329 0 0 0 386 7 0 0 20 0 22 0 4832780 10060525568 949693 33554432000 1073741824 1073778376 140736746444736 140580423248872 211462174633 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12840/tid=12852] ppid=12837 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/12840/task/12852/stat : 12852 (java) S 12837 12840 6228 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 4832781 10060525568 949693 33554432000 1073741824 1073778376 140736746444736 140580422194936 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=12840/tid=12853] ppid=12837 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/12840/task/12853/stat : 12853 (java) S 12837 12840 6228 0 -1 4202560 42 0 0 0 0 0 0 0 20 0 22 0 4832781 10060525568 949693 33554432000 1073741824 1073778376 140736746444736 140580421142024 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=12840/tid=12854] ppid=12837 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/12840/task/12854/stat : 12854 (java) S 12837 12840 6228 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 4832783 10060525568 949693 33554432000 1073741824 1073778376 140736746444736 140580420090512 211462182688 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12840/tid=12855] ppid=12837 vsize=9824732 CPUtime=0.98 cores=0,2,4,6
/proc/12840/task/12855/stat : 12855 (java) S 12837 12840 6228 0 -1 4202560 6933 0 0 0 97 1 0 0 20 0 22 0 4832783 10060525568 949693 33554432000 1073741824 1073778376 140736746444736 140580419037624 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=12840/tid=12856] ppid=12837 vsize=9824732 CPUtime=1.21 cores=0,2,4,6
/proc/12840/task/12856/stat : 12856 (java) S 12837 12840 6228 0 -1 4202560 5059 0 0 0 121 0 0 0 20 0 22 0 4832783 10060525568 949693 33554432000 1073741824 1073778376 140736746444736 140580417984824 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12840/tid=12857] ppid=12837 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/12840/task/12857/stat : 12857 (java) S 12837 12840 6228 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 4832783 10060525568 949693 33554432000 1073741824 1073778376 140736746444736 140580416932216 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12840/tid=12858] ppid=12837 vsize=9824732 CPUtime=0.24 cores=0,2,4,6
/proc/12840/task/12858/stat : 12858 (java) S 12837 12840 6228 0 -1 4202560 56 0 0 0 11 13 0 0 20 0 22 0 4832783 10060525568 949693 33554432000 1073741824 1073778376 140736746444736 140580415879624 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12840/tid=13132] ppid=12837 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/12840/task/13132/stat : 13132 (java) S 12837 12840 6228 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 4848670 10060525568 949693 33554432000 1073741824 1073778376 140736746444736 140580413429416 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=12840/tid=13802] ppid=12837 vsize=9824732 CPUtime=182.27 cores=0,2,4,6
/proc/12840/task/13802/stat : 13802 (java) R 12837 12840 6228 0 -1 4202560 3 0 0 0 18225 2 0 0 20 0 22 0 4908683 10060525568 949693 33554432000 1073741824 1073778376 140736746444736 140580414472464 140580471207269 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=12840/tid=13803] ppid=12837 vsize=9824732 CPUtime=182.28 cores=0,2,4,6
/proc/12840/task/13803/stat : 13803 (java) R 12837 12840 6228 0 -1 4202560 6 0 0 0 18226 2 0 0 20 0 22 0 4908683 10060525568 949693 33554432000 1073741824 1073778376 140736746444736 140580412374240 140580471160855 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=12840/tid=13804] ppid=12837 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/12840/task/13804/stat : 13804 (java) S 12837 12840 6228 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 4908683 10060525568 949693 33554432000 1073741824 1073778376 140736746444736 140580411323560 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1797.73
Current children cumulated vsize (KiB) 9824732



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+943.501 s]
/proc/loadavg: 4.13 4.17 4.05 5/219 13810
/proc/meminfo: memFree=22763968/32872528 swapFree=480236/529292
[pid=12840] ppid=12837 vsize=9824732 CPUtime=1800.13 cores=0,2,4,6
/proc/12840/stat : 12840 (java) S 12837 12840 6228 0 -1 4202496 26735 0 1 0 179599 414 0 0 20 0 22 0 4832777 10060525568 949693 33554432000 1073741824 1073778376 140736746444736 140736746435872 211462160445 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/12840/statm: 2456183 949693 2301 9 0 2446860 0
[pid=12840/tid=12842] ppid=12837 vsize=9824732 CPUtime=0.72 cores=0,2,4,6
/proc/12840/task/12842/stat : 12842 (java) S 12837 12840 6228 0 -1 4202560 2498 0 1 0 69 3 0 0 20 0 22 0 4832778 10060525568 949693 33554432000 1073741824 1073778376 140736746444736 140580599022456 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12840/tid=12843] ppid=12837 vsize=9824732 CPUtime=2.4 cores=0,2,4,6
/proc/12840/task/12843/stat : 12843 (java) S 12837 12840 6228 0 -1 4202560 595 0 0 0 219 21 0 0 20 0 22 0 4832779 10060525568 949693 33554432000 1073741824 1073778376 140736746444736 140580442815528 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12840/tid=12844] ppid=12837 vsize=9824732 CPUtime=2.82 cores=0,2,4,6
/proc/12840/task/12844/stat : 12844 (java) S 12837 12840 6228 0 -1 4202560 1003 0 0 0 255 27 0 0 20 0 22 0 4832779 10060525568 949693 33554432000 1073741824 1073778376 140736746444736 140580441762728 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12840/tid=12845] ppid=12837 vsize=9824732 CPUtime=2.82 cores=0,2,4,6
/proc/12840/task/12845/stat : 12845 (java) S 12837 12840 6228 0 -1 4202560 1003 0 0 0 253 29 0 0 20 0 22 0 4832779 10060525568 949693 33554432000 1073741824 1073778376 140736746444736 140580440709928 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12840/tid=12846] ppid=12837 vsize=9824732 CPUtime=2.41 cores=0,2,4,6
/proc/12840/task/12846/stat : 12846 (java) S 12837 12840 6228 0 -1 4202560 853 0 0 0 216 25 0 0 20 0 22 0 4832779 10060525568 949693 33554432000 1073741824 1073778376 140736746444736 140580439657128 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12840/tid=12847] ppid=12837 vsize=9824732 CPUtime=2.59 cores=0,2,4,6
/proc/12840/task/12847/stat : 12847 (java) S 12837 12840 6228 0 -1 4202560 726 0 0 0 232 27 0 0 20 0 22 0 4832779 10060525568 949693 33554432000 1073741824 1073778376 140736746444736 140580438604328 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=12840/tid=12848] ppid=12837 vsize=9824732 CPUtime=2.84 cores=0,2,4,6
/proc/12840/task/12848/stat : 12848 (java) S 12837 12840 6228 0 -1 4202560 781 0 0 0 256 28 0 0 20 0 22 0 4832779 10060525568 949693 33554432000 1073741824 1073778376 140736746444736 140580437551528 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12840/tid=12849] ppid=12837 vsize=9824732 CPUtime=2.23 cores=0,2,4,6
/proc/12840/task/12849/stat : 12849 (java) S 12837 12840 6228 0 -1 4202560 569 0 0 0 204 19 0 0 20 0 22 0 4832779 10060525568 949693 33554432000 1073741824 1073778376 140736746444736 140580436498728 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12840/tid=12850] ppid=12837 vsize=9824732 CPUtime=2.73 cores=0,2,4,6
/proc/12840/task/12850/stat : 12850 (java) S 12837 12840 6228 0 -1 4202560 762 0 0 0 250 23 0 0 20 0 22 0 4832779 10060525568 949693 33554432000 1073741824 1073778376 140736746444736 140580435445928 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12840/tid=12851] ppid=12837 vsize=9824732 CPUtime=3.93 cores=0,2,4,6
/proc/12840/task/12851/stat : 12851 (java) S 12837 12840 6228 0 -1 4202560 2329 0 0 0 386 7 0 0 20 0 22 0 4832780 10060525568 949693 33554432000 1073741824 1073778376 140736746444736 140580423248872 211462174633 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12840/tid=12852] ppid=12837 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/12840/task/12852/stat : 12852 (java) S 12837 12840 6228 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 4832781 10060525568 949693 33554432000 1073741824 1073778376 140736746444736 140580422194936 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=12840/tid=12853] ppid=12837 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/12840/task/12853/stat : 12853 (java) S 12837 12840 6228 0 -1 4202560 42 0 0 0 0 0 0 0 20 0 22 0 4832781 10060525568 949693 33554432000 1073741824 1073778376 140736746444736 140580421142024 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=12840/tid=12854] ppid=12837 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/12840/task/12854/stat : 12854 (java) S 12837 12840 6228 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 4832783 10060525568 949693 33554432000 1073741824 1073778376 140736746444736 140580420090512 211462182688 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12840/tid=12855] ppid=12837 vsize=9824732 CPUtime=0.98 cores=0,2,4,6
/proc/12840/task/12855/stat : 12855 (java) S 12837 12840 6228 0 -1 4202560 6933 0 0 0 97 1 0 0 20 0 22 0 4832783 10060525568 949693 33554432000 1073741824 1073778376 140736746444736 140580419037624 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=12840/tid=12856] ppid=12837 vsize=9824732 CPUtime=1.21 cores=0,2,4,6
/proc/12840/task/12856/stat : 12856 (java) S 12837 12840 6228 0 -1 4202560 5059 0 0 0 121 0 0 0 20 0 22 0 4832783 10060525568 949693 33554432000 1073741824 1073778376 140736746444736 140580417984824 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12840/tid=12857] ppid=12837 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/12840/task/12857/stat : 12857 (java) S 12837 12840 6228 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 4832783 10060525568 949693 33554432000 1073741824 1073778376 140736746444736 140580416932216 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12840/tid=12858] ppid=12837 vsize=9824732 CPUtime=0.24 cores=0,2,4,6
/proc/12840/task/12858/stat : 12858 (java) S 12837 12840 6228 0 -1 4202560 56 0 0 0 11 13 0 0 20 0 22 0 4832783 10060525568 949693 33554432000 1073741824 1073778376 140736746444736 140580415879624 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12840/tid=13132] ppid=12837 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/12840/task/13132/stat : 13132 (java) S 12837 12840 6228 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 4848670 10060525568 949693 33554432000 1073741824 1073778376 140736746444736 140580413429416 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=12840/tid=13802] ppid=12837 vsize=9824732 CPUtime=183.47 cores=0,2,4,6
/proc/12840/task/13802/stat : 13802 (java) R 12837 12840 6228 0 -1 4202560 3 0 0 0 18345 2 0 0 20 0 22 0 4908683 10060525568 949693 33554432000 1073741824 1073778376 140736746444736 140580414472464 140580470938233 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=12840/tid=13803] ppid=12837 vsize=9824732 CPUtime=183.48 cores=0,2,4,6
/proc/12840/task/13803/stat : 13803 (java) R 12837 12840 6228 0 -1 4202560 6 0 0 0 18346 2 0 0 20 0 22 0 4908683 10060525568 949693 33554432000 1073741824 1073778376 140736746444736 140580412374240 140580471474697 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=12840/tid=13804] ppid=12837 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/12840/task/13804/stat : 13804 (java) S 12837 12840 6228 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 4908683 10060525568 949693 33554432000 1073741824 1073778376 140736746444736 140580411323560 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1800.13
Current children cumulated vsize (KiB) 9824732

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

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

[startup+943.501 s]
/proc/loadavg: 4.13 4.17 4.05 5/219 13810
/proc/meminfo: memFree=22763968/32872528 swapFree=480236/529292
[pid=12840] ppid=12837 vsize=9824732 CPUtime=1800.13 cores=0,2,4,6
/proc/12840/stat : 12840 (java) S 12837 12840 6228 0 -1 4202496 26735 0 1 0 179599 414 0 0 20 0 22 0 4832777 10060525568 949693 33554432000 1073741824 1073778376 140736746444736 140736746435872 211462160445 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/12840/statm: 2456183 949693 2301 9 0 2446860 0
[pid=12840/tid=12842] ppid=12837 vsize=9824732 CPUtime=0.72 cores=0,2,4,6
/proc/12840/task/12842/stat : 12842 (java) S 12837 12840 6228 0 -1 4202560 2498 0 1 0 69 3 0 0 20 0 22 0 4832778 10060525568 949693 33554432000 1073741824 1073778376 140736746444736 140580599022456 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12840/tid=12843] ppid=12837 vsize=9824732 CPUtime=2.4 cores=0,2,4,6
/proc/12840/task/12843/stat : 12843 (java) S 12837 12840 6228 0 -1 4202560 595 0 0 0 219 21 0 0 20 0 22 0 4832779 10060525568 949693 33554432000 1073741824 1073778376 140736746444736 140580442815528 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12840/tid=12844] ppid=12837 vsize=9824732 CPUtime=2.82 cores=0,2,4,6
/proc/12840/task/12844/stat : 12844 (java) S 12837 12840 6228 0 -1 4202560 1003 0 0 0 255 27 0 0 20 0 22 0 4832779 10060525568 949693 33554432000 1073741824 1073778376 140736746444736 140580441762728 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12840/tid=12845] ppid=12837 vsize=9824732 CPUtime=2.82 cores=0,2,4,6
/proc/12840/task/12845/stat : 12845 (java) S 12837 12840 6228 0 -1 4202560 1003 0 0 0 253 29 0 0 20 0 22 0 4832779 10060525568 949693 33554432000 1073741824 1073778376 140736746444736 140580440709928 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12840/tid=12846] ppid=12837 vsize=9824732 CPUtime=2.41 cores=0,2,4,6
/proc/12840/task/12846/stat : 12846 (java) S 12837 12840 6228 0 -1 4202560 853 0 0 0 216 25 0 0 20 0 22 0 4832779 10060525568 949693 33554432000 1073741824 1073778376 140736746444736 140580439657128 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12840/tid=12847] ppid=12837 vsize=9824732 CPUtime=2.59 cores=0,2,4,6
/proc/12840/task/12847/stat : 12847 (java) S 12837 12840 6228 0 -1 4202560 726 0 0 0 232 27 0 0 20 0 22 0 4832779 10060525568 949693 33554432000 1073741824 1073778376 140736746444736 140580438604328 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=12840/tid=12848] ppid=12837 vsize=9824732 CPUtime=2.84 cores=0,2,4,6
/proc/12840/task/12848/stat : 12848 (java) S 12837 12840 6228 0 -1 4202560 781 0 0 0 256 28 0 0 20 0 22 0 4832779 10060525568 949693 33554432000 1073741824 1073778376 140736746444736 140580437551528 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12840/tid=12849] ppid=12837 vsize=9824732 CPUtime=2.23 cores=0,2,4,6
/proc/12840/task/12849/stat : 12849 (java) S 12837 12840 6228 0 -1 4202560 569 0 0 0 204 19 0 0 20 0 22 0 4832779 10060525568 949693 33554432000 1073741824 1073778376 140736746444736 140580436498728 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12840/tid=12850] ppid=12837 vsize=9824732 CPUtime=2.73 cores=0,2,4,6
/proc/12840/task/12850/stat : 12850 (java) S 12837 12840 6228 0 -1 4202560 762 0 0 0 250 23 0 0 20 0 22 0 4832779 10060525568 949693 33554432000 1073741824 1073778376 140736746444736 140580435445928 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12840/tid=12851] ppid=12837 vsize=9824732 CPUtime=3.93 cores=0,2,4,6
/proc/12840/task/12851/stat : 12851 (java) S 12837 12840 6228 0 -1 4202560 2329 0 0 0 386 7 0 0 20 0 22 0 4832780 10060525568 949693 33554432000 1073741824 1073778376 140736746444736 140580423248872 211462174633 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12840/tid=12852] ppid=12837 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/12840/task/12852/stat : 12852 (java) S 12837 12840 6228 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 4832781 10060525568 949693 33554432000 1073741824 1073778376 140736746444736 140580422194936 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=12840/tid=12853] ppid=12837 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/12840/task/12853/stat : 12853 (java) S 12837 12840 6228 0 -1 4202560 42 0 0 0 0 0 0 0 20 0 22 0 4832781 10060525568 949693 33554432000 1073741824 1073778376 140736746444736 140580421142024 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=12840/tid=12854] ppid=12837 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/12840/task/12854/stat : 12854 (java) S 12837 12840 6228 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 4832783 10060525568 949693 33554432000 1073741824 1073778376 140736746444736 140580420090512 211462182688 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12840/tid=12855] ppid=12837 vsize=9824732 CPUtime=0.98 cores=0,2,4,6
/proc/12840/task/12855/stat : 12855 (java) S 12837 12840 6228 0 -1 4202560 6933 0 0 0 97 1 0 0 20 0 22 0 4832783 10060525568 949693 33554432000 1073741824 1073778376 140736746444736 140580419037624 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=12840/tid=12856] ppid=12837 vsize=9824732 CPUtime=1.21 cores=0,2,4,6
/proc/12840/task/12856/stat : 12856 (java) S 12837 12840 6228 0 -1 4202560 5059 0 0 0 121 0 0 0 20 0 22 0 4832783 10060525568 949693 33554432000 1073741824 1073778376 140736746444736 140580417984824 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12840/tid=12857] ppid=12837 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/12840/task/12857/stat : 12857 (java) S 12837 12840 6228 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 4832783 10060525568 949693 33554432000 1073741824 1073778376 140736746444736 140580416932216 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12840/tid=12858] ppid=12837 vsize=9824732 CPUtime=0.24 cores=0,2,4,6
/proc/12840/task/12858/stat : 12858 (java) S 12837 12840 6228 0 -1 4202560 56 0 0 0 11 13 0 0 20 0 22 0 4832783 10060525568 949693 33554432000 1073741824 1073778376 140736746444736 140580415879624 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12840/tid=13132] ppid=12837 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/12840/task/13132/stat : 13132 (java) S 12837 12840 6228 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 4848670 10060525568 949693 33554432000 1073741824 1073778376 140736746444736 140580413429416 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=12840/tid=13802] ppid=12837 vsize=9824732 CPUtime=183.47 cores=0,2,4,6
/proc/12840/task/13802/stat : 13802 (java) R 12837 12840 6228 0 -1 4202560 3 0 0 0 18345 2 0 0 20 0 22 0 4908683 10060525568 949693 33554432000 1073741824 1073778376 140736746444736 140580414472464 140580470938233 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=12840/tid=13803] ppid=12837 vsize=9824732 CPUtime=183.48 cores=0,2,4,6
/proc/12840/task/13803/stat : 13803 (java) R 12837 12840 6228 0 -1 4202560 6 0 0 0 18346 2 0 0 20 0 22 0 4908683 10060525568 949693 33554432000 1073741824 1073778376 140736746444736 140580412374240 140580471474697 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=12840/tid=13804] ppid=12837 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/12840/task/13804/stat : 13804 (java) S 12837 12840 6228 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 4908683 10060525568 949693 33554432000 1073741824 1073778376 140736746444736 140580411323560 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1800.13
Current children cumulated vsize (KiB) 9824732

Child status: 143
Real time (s): 943.554
CPU time (s): 1800.52
CPU user time (s): 1796.12
CPU system time (s): 4.40033
CPU usage (%): 190.823
Max. virtual memory (cumulated for all children) (KiB): 9825020

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.12
system time used= 4.40033
maximum resident set size= 3798884
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 26774
page faults= 1
swaps= 0
block input operations= 0
block output operations= 880
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 26147
involuntary context switches= 16688

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.75597 second user time and 6.46202 second system time

The end

Launcher Data 

Begin job on node141 at 2016-06-30 05:42:08
IDJOB=4119521
IDBENCH=111751
IDSOLVER=2543
FILE ID=node141/4119521-1467258128
RUNJOBID= node141-1467246696-6244
PBS_JOBID= 20004482
Free space on /tmp= 71704 MiB

SOLVER NAME= Sat4j PB 2.3.6 Res+CP PB16
BENCH NAME= PB15eval/normalized-PB15eval/OPT-SMALLINT-NLC/minlplib2-pb-0.1.0/opb/normalized-edgecross14-058.opb
COMMAND LINE= java -jar sat4j-pb.jar Both BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4119521-1467258128/watcher-4119521-1467258128 -o /tmp/evaluation-result-4119521-1467258128/solver-4119521-1467258128 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node141-1467246696-6244 --watchdog 1960  java -jar sat4j-pb.jar Both HOME/instance-4119521-1467258128.opb

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

MD5SUM BENCH= b0494a0472e8d0cdf23718c2935018ff
RANDOM SEED=1881951088

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        26621836 kB
Buffers:          140860 kB
Cached:           724640 kB
SwapCached:            0 kB
Active:          4294592 kB
Inactive:         678996 kB
Active(anon):    4109504 kB
Inactive(anon):      896 kB
Active(file):     185088 kB
Inactive(file):   678100 kB
Unevictable:      529292 kB
Mlocked:          480236 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:               908 kB
Writeback:             0 kB
AnonPages:       4637148 kB
Mapped:            22160 kB
Shmem:               204 kB
Slab:             609664 kB
SReclaimable:      53436 kB
SUnreclaim:       556228 kB
KernelStack:        1632 kB
PageTables:        13140 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    5447912 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   4077568 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= 71700 MiB
End job on node141 at 2016-06-30 05:57:52