Trace number 4119362

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 Resolution PB16SAT (TO)-3909 1800.05 1770.74

General information on the benchmark

NamePB15eval/normalized-PB15eval/OPT-SMALLINT-NLC/
minlplib2-pb-0.1.0/opb/normalized-autocorr_bern30-15.opb
MD5SUM737ff969f9c485c878571acb16d3bdb3
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-3919
Best CPU time to get the best result obtained on this benchmark1800.81
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables0
Total number of constraints0
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint-1
Maximum length of a constraint0
Number of terms in the objective function 2944
Biggest coefficient in the objective function 1722
Number of bits for the biggest coefficient in the objective function 11
Sum of the numbers in the objective function 262976
Number of bits of the sum of numbers in the objective function 19
Biggest number in a constraint 1722
Number of bits of the biggest number in a constraint 11
Biggest sum of numbers in a constraint 262976
Number of bits of the biggest sum of numbers19
Number of products (including duplicates)2914
Sum of products size (including duplicates)9260
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.09	c Number of processors 	8
0.09/0.11	c Pseudo Boolean Optimization by upper bound
0.09/0.11	c --- Begin Solver configuration ---
0.09/0.11	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@2b21cc40
0.09/0.11	c Learn all clauses as in MiniSAT
0.09/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.09/0.11	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.09/0.11	c No reason simplification
0.09/0.11	c Glucose 2.1 dynamic restart strategy
0.09/0.11	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.09/0.11	c timeout=2147483s
0.09/0.11	c DB Simplification allowed=false
0.09/0.11	c Listener: org.sat4j.minisat.core.VoidTracing@7c64dc11
0.09/0.11	c --- End Solver configuration ---
0.09/0.11	c solving HOME/instance-4119362-1467255991.opb
0.09/0.11	c reading problem ... 
0.09/0.12	c  objective function found
0.70/0.45	c ... done. Wall clock time 0.339s.
0.70/0.45	c declared #vars     30
0.70/0.45	c internal #vars     2944
0.70/0.45	c #constraints  5828
0.70/0.45	c constraints type 
0.70/0.45	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 2914
0.70/0.45	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 2914
0.70/0.45	c 5828 constraints processed.
0.70/0.45	c objective function length is 2944 literals
0.91/0.50	c SATISFIABLE
0.91/0.50	c OPTIMIZING...
0.91/0.50	c Got one! Elapsed wall clock time (in seconds):0.388
0.91/0.50	o 0
0.91/0.56	c Got one! Elapsed wall clock time (in seconds):0.443
0.91/0.56	o -91
1.22/0.60	c Got one! Elapsed wall clock time (in seconds):0.485
1.22/0.60	o -182
1.22/0.65	c Got one! Elapsed wall clock time (in seconds):0.532
1.22/0.65	o -327
1.22/0.67	c Got one! Elapsed wall clock time (in seconds):0.552
1.22/0.67	o -429
1.22/0.68	c Got one! Elapsed wall clock time (in seconds):0.57
1.22/0.68	o -472
1.22/0.70	c Got one! Elapsed wall clock time (in seconds):0.582
1.22/0.70	o -642
1.51/0.72	c Got one! Elapsed wall clock time (in seconds):0.604
1.51/0.72	o -705
1.51/0.74	c Got one! Elapsed wall clock time (in seconds):0.627
1.51/0.74	o -750
1.51/0.75	c Got one! Elapsed wall clock time (in seconds):0.636
1.51/0.75	o -755
1.51/0.76	c Got one! Elapsed wall clock time (in seconds):0.642
1.51/0.76	o -812
1.51/0.76	c Got one! Elapsed wall clock time (in seconds):0.649
1.51/0.76	o -986
1.51/0.78	c Got one! Elapsed wall clock time (in seconds):0.664
1.51/0.78	o -996
1.51/0.79	c Got one! Elapsed wall clock time (in seconds):0.675
1.51/0.79	o -1009
1.76/0.80	c Got one! Elapsed wall clock time (in seconds):0.683
1.76/0.80	o -1206
1.76/0.84	c Got one! Elapsed wall clock time (in seconds):0.727
1.76/0.84	o -1219
1.76/0.89	c Got one! Elapsed wall clock time (in seconds):0.773
1.76/0.89	o -1386
1.86/0.91	c Got one! Elapsed wall clock time (in seconds):0.8
1.86/0.91	o -1403
1.86/0.93	c Got one! Elapsed wall clock time (in seconds):0.817
1.86/0.93	o -1408
1.86/0.94	c Got one! Elapsed wall clock time (in seconds):0.828
1.86/0.94	o -1411
1.86/0.95	c Got one! Elapsed wall clock time (in seconds):0.84
1.86/0.95	o -1416
1.86/0.96	c Got one! Elapsed wall clock time (in seconds):0.847
1.86/0.96	o -1599
2.02/1.08	c Got one! Elapsed wall clock time (in seconds):0.969
2.02/1.08	o -1605
2.15/1.13	c Got one! Elapsed wall clock time (in seconds):1.013
2.15/1.13	o -1620
2.15/1.15	c Got one! Elapsed wall clock time (in seconds):1.032
2.15/1.15	o -1621
2.15/1.16	c Got one! Elapsed wall clock time (in seconds):1.046
2.15/1.16	o -1626
2.15/1.17	c Got one! Elapsed wall clock time (in seconds):1.058
2.15/1.17	o -1808
2.35/1.35	c Got one! Elapsed wall clock time (in seconds):1.237
2.35/1.35	o -1832
2.45/1.43	c Got one! Elapsed wall clock time (in seconds):1.313
2.45/1.43	o -1838
2.45/1.46	c Got one! Elapsed wall clock time (in seconds):1.344
2.45/1.46	o -1841
2.45/1.47	c Got one! Elapsed wall clock time (in seconds):1.356
2.45/1.47	o -1845
2.45/1.48	c Got one! Elapsed wall clock time (in seconds):1.364
2.45/1.48	o -1846
2.45/1.49	c Got one! Elapsed wall clock time (in seconds):1.373
2.45/1.49	o -1852
2.55/1.53	c Got one! Elapsed wall clock time (in seconds):1.418
2.55/1.53	o -2034
3.05/2.03	c Got one! Elapsed wall clock time (in seconds):1.916
3.05/2.03	o -2046
3.15/2.12	c Got one! Elapsed wall clock time (in seconds):2.011
3.15/2.12	o -2058
3.15/2.14	c Got one! Elapsed wall clock time (in seconds):2.031
3.15/2.14	o -2063
3.15/2.15	c Got one! Elapsed wall clock time (in seconds):2.038
3.15/2.15	o -2066
3.15/2.16	c Got one! Elapsed wall clock time (in seconds):2.047
3.15/2.16	o -2072
3.15/2.18	c Got one! Elapsed wall clock time (in seconds):2.069
3.15/2.18	o -2078
3.25/2.23	c Got one! Elapsed wall clock time (in seconds):2.116
3.25/2.23	o -2206
3.65/2.61	c Got one! Elapsed wall clock time (in seconds):2.496
3.65/2.61	o -2212
3.89/2.86	c Got one! Elapsed wall clock time (in seconds):2.748
3.89/2.86	o -2218
3.89/2.88	c Got one! Elapsed wall clock time (in seconds):2.763
3.89/2.88	o -2227
3.89/2.89	c Got one! Elapsed wall clock time (in seconds):2.777
3.89/2.89	o -2233
3.99/2.91	c Got one! Elapsed wall clock time (in seconds):2.796
3.99/2.91	o -2268
4.19/3.19	c Got one! Elapsed wall clock time (in seconds):3.079
4.19/3.19	o -2277
4.40/3.38	c Got one! Elapsed wall clock time (in seconds):3.266
4.40/3.38	o -2285
4.51/3.42	c Got one! Elapsed wall clock time (in seconds):3.308
4.51/3.42	o -2297
4.51/3.43	c Got one! Elapsed wall clock time (in seconds):3.318
4.51/3.43	o -2301
4.51/3.44	c Got one! Elapsed wall clock time (in seconds):3.327
4.51/3.44	o -2307
4.51/3.49	c Got one! Elapsed wall clock time (in seconds):3.378
4.51/3.49	o -2316
4.60/3.59	c Got one! Elapsed wall clock time (in seconds):3.473
4.60/3.59	o -2338
5.94/4.71	c cleaning 5335 clauses out of 10671 with flag 6003/10671
6.04/4.89	c Got one! Elapsed wall clock time (in seconds):4.771
6.04/4.89	o -2362
6.24/5.09	c Got one! Elapsed wall clock time (in seconds):4.974
6.24/5.09	o -2367
6.34/5.18	c Got one! Elapsed wall clock time (in seconds):5.07
6.34/5.18	o -2373
6.44/5.22	c Got one! Elapsed wall clock time (in seconds):5.111
6.44/5.22	o -2381
6.44/5.26	c Got one! Elapsed wall clock time (in seconds):5.147
6.44/5.26	o -2388
6.44/5.27	c Got one! Elapsed wall clock time (in seconds):5.159
6.44/5.27	o -2417
6.54/5.37	c Got one! Elapsed wall clock time (in seconds):5.253
6.54/5.37	o -2443
6.64/5.43	c Got one! Elapsed wall clock time (in seconds):5.315
6.64/5.43	o -2458
6.64/5.46	c Got one! Elapsed wall clock time (in seconds):5.348
6.64/5.46	o -2462
6.64/5.48	c Got one! Elapsed wall clock time (in seconds):5.362
6.64/5.48	o -2466
6.77/5.60	c Got one! Elapsed wall clock time (in seconds):5.483
6.77/5.60	o -2471
6.87/5.66	c Got one! Elapsed wall clock time (in seconds):5.542
6.87/5.66	o -2495
7.26/6.01	c Got one! Elapsed wall clock time (in seconds):5.901
7.26/6.01	o -2496
7.26/6.05	c Got one! Elapsed wall clock time (in seconds):5.94
7.26/6.05	o -2510
7.26/6.07	c Got one! Elapsed wall clock time (in seconds):5.957
7.26/6.07	o -2528
7.36/6.10	c Got one! Elapsed wall clock time (in seconds):5.985
7.36/6.10	o -2532
7.36/6.11	c Got one! Elapsed wall clock time (in seconds):5.992
7.36/6.11	o -2536
7.36/6.13	c Got one! Elapsed wall clock time (in seconds):6.016
7.36/6.13	o -2545
7.46/6.23	c Got one! Elapsed wall clock time (in seconds):6.116
7.46/6.23	o -2554
7.66/6.41	c Got one! Elapsed wall clock time (in seconds):6.292
7.66/6.41	o -2683
9.46/8.22	c cleaning 7469 clauses out of 14942 with flag 10001/20277
10.03/8.79	c Got one! Elapsed wall clock time (in seconds):8.679
10.03/8.79	o -2767
11.54/10.19	c Got one! Elapsed wall clock time (in seconds):10.081
11.54/10.19	o -2777
11.94/10.58	c cleaning 6947 clauses out of 13894 with flag 2003/26698
12.17/10.74	c Got one! Elapsed wall clock time (in seconds):10.623
12.17/10.74	o -2778
12.37/10.91	c Got one! Elapsed wall clock time (in seconds):10.797
12.37/10.91	o -2782
12.37/10.95	c Got one! Elapsed wall clock time (in seconds):10.832
12.37/10.95	o -2783
12.48/11.05	c Got one! Elapsed wall clock time (in seconds):10.934
12.48/11.05	o -2785
12.77/11.37	c Got one! Elapsed wall clock time (in seconds):11.257
12.77/11.37	o -2786
12.87/11.42	c Got one! Elapsed wall clock time (in seconds):11.303
12.87/11.42	o -2790
12.97/11.59	c Got one! Elapsed wall clock time (in seconds):11.473
12.97/11.59	o -2793
12.97/11.59	c Got one! Elapsed wall clock time (in seconds):11.476
12.97/11.59	o -2799
13.17/11.70	c Got one! Elapsed wall clock time (in seconds):11.584
13.17/11.70	o -2803
14.97/13.56	c cleaning 7535 clauses out of 15071 with flag 10001/34822
17.28/15.78	c cleaning 6767 clauses out of 13536 with flag 22001/40822
18.19/16.62	c Got one! Elapsed wall clock time (in seconds):16.508
18.19/16.62	o -2930
19.30/17.76	c cleaning 6049 clauses out of 12102 with flag 6004/46155
20.10/18.51	c Got one! Elapsed wall clock time (in seconds):18.392
20.10/18.51	o -2941
21.00/19.45	c Got one! Elapsed wall clock time (in seconds):19.34
21.00/19.45	o -2945
21.10/19.53	c Got one! Elapsed wall clock time (in seconds):19.415
21.10/19.53	o -2956
21.20/19.62	c Got one! Elapsed wall clock time (in seconds):19.506
21.20/19.62	o -3001
21.70/20.04	c cleaning 6011 clauses out of 12027 with flag 2003/52129
22.80/21.10	c Got one! Elapsed wall clock time (in seconds):20.988
22.80/21.10	o -3011
23.00/21.38	c Got one! Elapsed wall clock time (in seconds):21.267
23.00/21.38	o -3012
23.20/21.53	c Got one! Elapsed wall clock time (in seconds):21.417
23.20/21.53	o -3016
23.30/21.62	c Got one! Elapsed wall clock time (in seconds):21.507
23.30/21.62	o -3027
23.30/21.63	c Got one! Elapsed wall clock time (in seconds):21.52
23.30/21.63	o -3028
23.60/21.93	c Got one! Elapsed wall clock time (in seconds):21.818
23.60/21.93	o -3044
24.20/22.51	c Got one! Elapsed wall clock time (in seconds):22.398
24.20/22.51	o -3123
24.90/23.28	c cleaning 7472 clauses out of 14946 with flag 4003/61059
27.20/25.48	c cleaning 6735 clauses out of 13474 with flag 16003/67059
29.79/28.02	c cleaning 6865 clauses out of 13738 with flag 30001/74058
32.79/31.08	c cleaning 7436 clauses out of 14873 with flag 46001/82058
33.52/31.68	c Got one! Elapsed wall clock time (in seconds):31.57
33.52/31.68	o -3187
35.03/33.20	c cleaning 6589 clauses out of 13184 with flag 8002/87805
37.23/35.39	c cleaning 6296 clauses out of 12596 with flag 20004/93806
39.28/37.30	c Got one! Elapsed wall clock time (in seconds):37.183
39.28/37.30	o -3191
41.18/39.27	c cleaning 8281 clauses out of 16568 with flag 10003/104074
42.18/40.23	c Got one! Elapsed wall clock time (in seconds):40.117
42.18/40.23	o -3201
42.38/40.44	c Got one! Elapsed wall clock time (in seconds):40.329
42.38/40.44	o -3210
42.48/40.55	c Got one! Elapsed wall clock time (in seconds):40.438
42.48/40.55	o -3211
42.78/40.83	c Got one! Elapsed wall clock time (in seconds):40.712
42.78/40.83	o -3216
42.78/40.88	c Got one! Elapsed wall clock time (in seconds):40.771
42.78/40.88	o -3227
42.98/41.02	c Got one! Elapsed wall clock time (in seconds):40.91
42.98/41.02	o -3228
43.28/41.39	c Got one! Elapsed wall clock time (in seconds):41.277
43.28/41.39	o -3229
43.38/41.42	c Got one! Elapsed wall clock time (in seconds):41.308
43.38/41.42	o -3234
43.38/41.44	c Got one! Elapsed wall clock time (in seconds):41.33
43.38/41.44	o -3245
44.36/42.33	c Got one! Elapsed wall clock time (in seconds):42.216
44.36/42.33	o -3247
44.66/42.61	c Got one! Elapsed wall clock time (in seconds):42.501
44.66/42.61	o -3251
44.66/42.64	c Got one! Elapsed wall clock time (in seconds):42.528
44.66/42.64	o -3262
45.07/43.05	c cleaning 9115 clauses out of 18229 with flag 2121/114016
45.36/43.37	c Got one! Elapsed wall clock time (in seconds):43.254
45.36/43.37	o -3321
47.17/45.19	c cleaning 7503 clauses out of 15008 with flag 10001/119910
49.44/47.38	c cleaning 6751 clauses out of 13505 with flag 22001/125910
52.03/49.91	c cleaning 6874 clauses out of 13754 with flag 36001/132910
55.03/52.82	c cleaning 7438 clauses out of 14880 with flag 52001/140910
58.42/56.16	c cleaning 8220 clauses out of 16443 with flag 70003/149911
62.40/60.05	c cleaning 9110 clauses out of 18222 with flag 90001/159910
62.70/60.39	c Got one! Elapsed wall clock time (in seconds):60.28
62.70/60.39	o -3336
64.60/62.24	c cleaning 7515 clauses out of 15040 with flag 10002/165838
66.83/64.48	c cleaning 6760 clauses out of 13526 with flag 22004/171839
68.54/66.13	c Got one! Elapsed wall clock time (in seconds):66.018
68.54/66.13	o -3339
68.83/66.50	c cleaning 6133 clauses out of 12271 with flag 2022/177344
71.03/68.67	c cleaning 6069 clauses out of 12138 with flag 14102/183344
71.16/68.72	c Got one! Elapsed wall clock time (in seconds):68.608
71.16/68.72	o -3344
72.16/69.77	c Got one! Elapsed wall clock time (in seconds):69.659
72.16/69.77	o -3345
72.36/69.99	c Got one! Elapsed wall clock time (in seconds):69.873
72.36/69.99	o -3350
72.46/70.01	c Got one! Elapsed wall clock time (in seconds):69.893
72.46/70.01	o -3351
72.66/70.22	c Got one! Elapsed wall clock time (in seconds):70.105
72.66/70.22	o -3353
72.96/70.56	c Got one! Elapsed wall clock time (in seconds):70.443
72.96/70.56	o -3357
72.96/70.58	c Got one! Elapsed wall clock time (in seconds):70.465
72.96/70.58	o -3366
73.06/70.60	c Got one! Elapsed wall clock time (in seconds):70.488
73.06/70.60	o -3368
73.86/71.49	c Got one! Elapsed wall clock time (in seconds):71.38
73.86/71.49	o -3402
74.26/71.89	c cleaning 7386 clauses out of 14777 with flag 2003/192052
76.60/74.13	c cleaning 6695 clauses out of 13392 with flag 14005/198053
79.00/76.55	c cleaning 6846 clauses out of 13696 with flag 28003/205052
79.41/76.90	c Got one! Elapsed wall clock time (in seconds):76.788
79.41/76.90	o -3406
80.81/78.37	c cleaning 5949 clauses out of 11900 with flag 8005/210102
81.01/78.54	c Got one! Elapsed wall clock time (in seconds):78.429
81.01/78.54	o -3410
81.31/78.88	c Got one! Elapsed wall clock time (in seconds):78.764
81.31/78.88	o -3415
81.41/78.91	c Got one! Elapsed wall clock time (in seconds):78.795
81.41/78.91	o -3423
83.14/80.66	c cleaning 6243 clauses out of 12489 with flag 10141/216640
83.24/80.75	c Got one! Elapsed wall clock time (in seconds):80.641
83.24/80.75	o -3431
84.14/81.69	c Got one! Elapsed wall clock time (in seconds):81.577
84.14/81.69	o -3432
84.24/81.75	c Got one! Elapsed wall clock time (in seconds):81.639
84.24/81.75	o -3440
85.05/82.53	c Got one! Elapsed wall clock time (in seconds):82.42
85.05/82.53	o -3482
85.44/82.90	c cleaning 6301 clauses out of 12615 with flag 2001/223009
87.55/85.02	c cleaning 6155 clauses out of 12315 with flag 14003/229010
90.07/87.50	c cleaning 6575 clauses out of 13160 with flag 28003/236010
92.88/90.37	c cleaning 7292 clauses out of 14584 with flag 44001/244009
96.43/93.81	c cleaning 8146 clauses out of 16292 with flag 62001/253009
100.05/97.49	c cleaning 9073 clauses out of 18146 with flag 82001/263009
104.24/101.56	c cleaning 10035 clauses out of 20073 with flag 104001/274009
108.73/105.95	c cleaning 11019 clauses out of 22039 with flag 128003/286010
113.77/110.96	c cleaning 12010 clauses out of 24019 with flag 154001/299009
119.34/116.48	c cleaning 13004 clauses out of 26009 with flag 182001/313009
121.51/118.53	c Got one! Elapsed wall clock time (in seconds):118.413
121.51/118.53	o -3500
123.50/120.53	c cleaning 11753 clauses out of 23511 with flag 10004/323515
125.83/122.88	c cleaning 8872 clauses out of 17758 with flag 22004/329515
128.47/125.50	c cleaning 7937 clauses out of 15885 with flag 36087/336514
131.49/128.45	c cleaning 7973 clauses out of 15949 with flag 52229/344515
134.93/131.85	c cleaning 8486 clauses out of 16975 with flag 70296/353514
135.33/132.22	c Got one! Elapsed wall clock time (in seconds):132.109
135.33/132.22	o -3507
136.86/133.71	c cleaning 6782 clauses out of 13571 with flag 8005/358596
138.96/135.84	c cleaning 6392 clauses out of 12789 with flag 20006/364596
139.67/136.58	c Got one! Elapsed wall clock time (in seconds):136.471
139.67/136.58	o -3508
140.47/137.39	c Got one! Elapsed wall clock time (in seconds):137.273
140.47/137.39	o -3512
140.77/137.69	c Got one! Elapsed wall clock time (in seconds):137.577
140.77/137.69	o -3516
140.87/137.71	c Got one! Elapsed wall clock time (in seconds):137.598
140.87/137.71	o -3518
140.87/137.72	c Got one! Elapsed wall clock time (in seconds):137.608
140.87/137.72	o -3527
140.87/137.73	c Got one! Elapsed wall clock time (in seconds):137.614
140.87/137.73	o -3529
141.27/138.12	c cleaning 6204 clauses out of 12407 with flag 2033/370606
142.39/139.29	c Got one! Elapsed wall clock time (in seconds):139.179
142.39/139.29	o -3533
143.19/140.01	c cleaning 5801 clauses out of 11603 with flag 4062/376006
143.19/140.02	c Got one! Elapsed wall clock time (in seconds):139.909
143.19/140.02	o -3534
143.19/140.05	c Got one! Elapsed wall clock time (in seconds):139.933
143.19/140.05	o -3536
143.89/140.71	c Got one! Elapsed wall clock time (in seconds):140.597
143.89/140.71	o -3538
145.31/142.20	c cleaning 5864 clauses out of 11738 with flag 8024/381942
147.64/144.40	c cleaning 5930 clauses out of 11874 with flag 20030/387942
150.19/146.90	c cleaning 6467 clauses out of 12944 with flag 34114/394942
152.91/149.70	c cleaning 7236 clauses out of 14476 with flag 50153/402941
154.64/151.38	c Got one! Elapsed wall clock time (in seconds):151.262
154.64/151.38	o -3540
155.04/151.76	c cleaning 6412 clauses out of 12840 with flag 2013/408541
155.94/152.61	c Got one! Elapsed wall clock time (in seconds):152.499
155.94/152.61	o -3544
156.84/153.60	c Got one! Elapsed wall clock time (in seconds):153.483
156.84/153.60	o -3549
157.17/153.81	c Got one! Elapsed wall clock time (in seconds):153.693
157.17/153.81	o -3555
157.27/153.98	c Got one! Elapsed wall clock time (in seconds):153.864
157.27/153.98	o -3556
157.67/154.37	c cleaning 6713 clauses out of 13428 with flag 2027/415541
157.77/154.42	c Got one! Elapsed wall clock time (in seconds):154.31
157.77/154.42	o -3561
159.27/155.91	c Got one! Elapsed wall clock time (in seconds):155.792
159.27/155.91	o -3562
159.37/156.01	c Got one! Elapsed wall clock time (in seconds):155.894
159.37/156.01	o -3563
159.71/156.39	c cleaning 6188 clauses out of 12380 with flag 2081/421206
160.60/157.29	c Got one! Elapsed wall clock time (in seconds):157.172
160.60/157.29	o -3570
161.84/158.43	c cleaning 5957 clauses out of 11921 with flag 6071/426935
163.83/160.46	c cleaning 5979 clauses out of 11965 with flag 18265/432936
164.04/160.67	c Got one! Elapsed wall clock time (in seconds):160.559
164.04/160.67	o -3573
165.65/162.23	c Got one! Elapsed wall clock time (in seconds):162.113
165.65/162.23	o -3623
165.95/162.59	c cleaning 6124 clauses out of 12256 with flag 2001/439206
168.17/164.72	c cleaning 6058 clauses out of 12133 with flag 14003/445207
170.82/167.31	c cleaning 6535 clauses out of 13074 with flag 28001/452206
173.64/170.15	c cleaning 7269 clauses out of 14540 with flag 44003/460207
176.87/173.39	c cleaning 8134 clauses out of 16271 with flag 62003/469207
180.62/177.02	c cleaning 9065 clauses out of 18137 with flag 82003/479207
184.87/181.26	c cleaning 10030 clauses out of 20072 with flag 104003/490207
189.64/185.91	c cleaning 11019 clauses out of 22041 with flag 128001/502206
194.72/190.95	c cleaning 12009 clauses out of 24022 with flag 154001/515206
200.28/196.44	c cleaning 13005 clauses out of 26014 with flag 182003/529207
206.23/202.27	c cleaning 14002 clauses out of 28008 with flag 212001/544206
212.58/208.49	c cleaning 15001 clauses out of 30006 with flag 244001/560206
219.27/215.01	c cleaning 15996 clauses out of 32006 with flag 278003/577207
227.06/222.69	c cleaning 17003 clauses out of 34009 with flag 314001/595206
234.93/230.38	c cleaning 18001 clauses out of 36007 with flag 352003/614207
240.66/235.99	c Got one! Elapsed wall clock time (in seconds):235.872
240.66/235.99	o -3637
242.96/238.24	c cleaning 18643 clauses out of 37299 with flag 10004/633500
245.49/240.70	c cleaning 12325 clauses out of 24656 with flag 22004/639500
248.11/243.35	c cleaning 9662 clauses out of 19330 with flag 36002/646499
251.12/246.40	c cleaning 8832 clauses out of 17669 with flag 52004/654500
254.68/249.87	c cleaning 8913 clauses out of 17836 with flag 70002/663499
258.51/253.68	c cleaning 9458 clauses out of 18923 with flag 90002/673499
262.78/257.88	c cleaning 10231 clauses out of 20465 with flag 112002/684499
266.86/261.83	c Got one! Elapsed wall clock time (in seconds):261.718
266.86/261.83	o -3643
268.85/263.88	c cleaning 12731 clauses out of 25462 with flag 10116/699727
271.15/266.12	c cleaning 9362 clauses out of 18731 with flag 22131/705727
273.67/268.69	c cleaning 8181 clauses out of 16369 with flag 36255/712727
276.61/271.58	c cleaning 8093 clauses out of 16188 with flag 52360/720727
276.71/271.62	c Got one! Elapsed wall clock time (in seconds):271.503
276.71/271.62	o -3646
278.62/273.52	c cleaning 6601 clauses out of 13203 with flag 10255/725835
278.92/273.87	c Got one! Elapsed wall clock time (in seconds):273.76
278.92/273.87	o -3650
279.82/274.80	c Got one! Elapsed wall clock time (in seconds):274.683
279.82/274.80	o -3653
280.64/275.53	c cleaning 6122 clauses out of 12251 with flag 4266/731484
281.04/275.92	c Got one! Elapsed wall clock time (in seconds):275.803
281.04/275.92	o -3655
282.48/277.34	c cleaning 5658 clauses out of 11323 with flag 8159/736678
282.78/277.69	c Got one! Elapsed wall clock time (in seconds):277.577
282.78/277.69	o -3656
284.31/279.16	c cleaning 5370 clauses out of 10743 with flag 8392/741756
285.01/279.89	c Got one! Elapsed wall clock time (in seconds):279.773
285.01/279.89	o -3661
285.11/279.95	c Got one! Elapsed wall clock time (in seconds):279.831
285.11/279.95	o -3664
285.11/279.95	c Got one! Elapsed wall clock time (in seconds):279.84
285.11/279.95	o -3667
285.11/279.97	c Got one! Elapsed wall clock time (in seconds):279.86
285.11/279.97	o -3669
286.23/281.07	c cleaning 5402 clauses out of 10806 with flag 6463/747189
287.23/282.08	c Got one! Elapsed wall clock time (in seconds):281.966
287.23/282.08	o -3671
288.37/283.17	c cleaning 5645 clauses out of 11294 with flag 6003/753079
290.58/285.31	c cleaning 5821 clauses out of 11650 with flag 18005/759080
293.11/287.83	c cleaning 6410 clauses out of 12829 with flag 32005/766080
296.17/290.80	c cleaning 7209 clauses out of 14419 with flag 48005/774080
299.39/294.08	c cleaning 8103 clauses out of 16209 with flag 66003/783079
303.24/297.81	c cleaning 9052 clauses out of 18106 with flag 86003/793079
307.31/301.88	c cleaning 10024 clauses out of 20054 with flag 108003/804079
309.54/304.00	c Got one! Elapsed wall clock time (in seconds):303.889
309.54/304.00	o -3672
310.37/304.89	c Got one! Elapsed wall clock time (in seconds):304.78
310.37/304.89	o -3673
310.87/305.36	c Got one! Elapsed wall clock time (in seconds):305.243
310.87/305.36	o -3674
311.67/306.15	c cleaning 10637 clauses out of 21277 with flag 4114/815326
311.67/306.15	c Got one! Elapsed wall clock time (in seconds):306.035
311.67/306.15	o -3675
312.17/306.60	c Got one! Elapsed wall clock time (in seconds):306.487
312.17/306.60	o -3676
313.37/307.81	c Got one! Elapsed wall clock time (in seconds):307.696
313.37/307.81	o -3677
313.80/308.21	c cleaning 8060 clauses out of 16129 with flag 2133/820815
314.50/308.92	c Got one! Elapsed wall clock time (in seconds):308.802
314.50/308.92	o -3678
315.63/310.02	c cleaning 6539 clauses out of 13083 with flag 6285/825829
317.65/312.03	c cleaning 6268 clauses out of 12545 with flag 18291/831830
320.10/314.49	c cleaning 6635 clauses out of 13276 with flag 32442/838829
323.07/317.35	c cleaning 7321 clauses out of 14641 with flag 48466/846829
326.32/320.58	c cleaning 8159 clauses out of 16320 with flag 66511/855829
329.89/324.03	c cleaning 9081 clauses out of 18161 with flag 86706/865829
330.91/325.04	c Got one! Elapsed wall clock time (in seconds):324.927
330.91/325.04	o -3725
331.65/325.79	c cleaning 7091 clauses out of 14192 with flag 4003/870941
333.90/327.99	c cleaning 6546 clauses out of 13101 with flag 16003/876941
336.53/330.50	c cleaning 6777 clauses out of 13554 with flag 30001/883940
339.40/333.39	c cleaning 7387 clauses out of 14778 with flag 46003/891941
342.83/336.73	c cleaning 8194 clauses out of 16390 with flag 64001/900940
346.68/340.52	c cleaning 9094 clauses out of 18197 with flag 84003/910941
350.98/344.73	c cleaning 10048 clauses out of 20103 with flag 106003/921941
355.75/349.50	c cleaning 11023 clauses out of 22055 with flag 130003/933941
360.93/354.56	c cleaning 12016 clauses out of 24032 with flag 156003/946941
365.10/358.70	c Got one! Elapsed wall clock time (in seconds):358.582
365.10/358.70	o -3736
367.20/360.75	c cleaning 13963 clauses out of 27934 with flag 10002/962859
369.43/362.95	c cleaning 9982 clauses out of 19971 with flag 22002/968859
372.09/365.57	c cleaning 8494 clauses out of 16990 with flag 36004/975860
374.94/368.37	c cleaning 8244 clauses out of 16496 with flag 52004/983860
378.32/371.61	c cleaning 8626 clauses out of 17252 with flag 70004/992860
382.01/375.22	c cleaning 9309 clauses out of 18626 with flag 90004/1002860
386.17/379.37	c cleaning 10154 clauses out of 20316 with flag 112002/1013859
390.85/383.97	c cleaning 11081 clauses out of 22162 with flag 136002/1025859
396.03/389.08	c cleaning 12038 clauses out of 24081 with flag 162002/1038859
401.54/394.40	c cleaning 13021 clauses out of 26043 with flag 190002/1052859
402.54/395.48	c Got one! Elapsed wall clock time (in seconds):395.362
402.54/395.48	o -3738
403.36/396.28	c cleaning 9035 clauses out of 18079 with flag 4002/1057916
405.70/398.52	c cleaning 7519 clauses out of 15045 with flag 16004/1063917
408.22/401.09	c cleaning 7256 clauses out of 14525 with flag 30002/1070916
411.26/404.01	c cleaning 7633 clauses out of 15269 with flag 46002/1078916
414.60/407.34	c cleaning 8317 clauses out of 16637 with flag 64004/1087917
418.35/411.01	c cleaning 9158 clauses out of 18320 with flag 84004/1097917
422.71/415.33	c cleaning 10081 clauses out of 20162 with flag 106004/1108917
427.27/419.82	c cleaning 11040 clauses out of 22080 with flag 130002/1120916
432.29/424.75	c cleaning 12021 clauses out of 24041 with flag 156004/1133917
437.65/430.06	c cleaning 13006 clauses out of 26020 with flag 184004/1147917
443.71/435.96	c cleaning 14005 clauses out of 28013 with flag 214002/1162916
448.58/440.72	c Got one! Elapsed wall clock time (in seconds):440.602
448.58/440.72	o -3747
450.78/442.88	c cleaning 15602 clauses out of 31207 with flag 10005/1180115
453.20/445.20	c cleaning 10797 clauses out of 21605 with flag 22005/1186115
455.83/447.85	c cleaning 8900 clauses out of 17808 with flag 36005/1193115
458.89/450.89	c cleaning 8449 clauses out of 16907 with flag 52003/1201114
462.10/454.09	c cleaning 8725 clauses out of 17458 with flag 70003/1210114
465.77/457.70	c cleaning 9362 clauses out of 18733 with flag 90003/1220114
470.03/461.87	c cleaning 10182 clauses out of 20371 with flag 112003/1231114
474.50/466.25	c cleaning 11091 clauses out of 22189 with flag 136003/1243114
479.52/471.14	c cleaning 12049 clauses out of 24099 with flag 162005/1256115
480.02/471.64	c Got one! Elapsed wall clock time (in seconds):471.531
480.02/471.64	o -3750
481.66/473.20	c cleaning 8721 clauses out of 17457 with flag 8006/1261522
483.89/475.40	c cleaning 7360 clauses out of 14736 with flag 20006/1267522
486.41/477.90	c cleaning 7183 clauses out of 14375 with flag 34034/1274521
487.60/479.17	c Got one! Elapsed wall clock time (in seconds):479.056
487.60/479.17	o -3751
488.42/479.90	c cleaning 6402 clauses out of 12809 with flag 4013/1280138
488.42/479.94	c Got one! Elapsed wall clock time (in seconds):479.829
488.42/479.94	o -3755
488.72/480.27	c Got one! Elapsed wall clock time (in seconds):480.161
488.72/480.27	o -3759
488.72/480.29	c Got one! Elapsed wall clock time (in seconds):480.18
488.72/480.29	o -3760
490.57/482.09	c cleaning 6229 clauses out of 12464 with flag 10161/1286195
492.60/484.09	c cleaning 6117 clauses out of 12234 with flag 22278/1292194
493.39/484.86	c Got one! Elapsed wall clock time (in seconds):484.75
493.39/484.86	o -3762
494.41/485.87	c cleaning 5687 clauses out of 11383 with flag 6148/1297460
496.44/487.83	c cleaning 5844 clauses out of 11696 with flag 18148/1303460
498.88/490.23	c cleaning 6424 clauses out of 12851 with flag 32146/1310459
499.70/491.03	c Got one! Elapsed wall clock time (in seconds):490.921
499.70/491.03	o -3763
500.80/492.12	c cleaning 5949 clauses out of 11905 with flag 6004/1315937
502.83/494.15	c cleaning 5978 clauses out of 11955 with flag 18002/1321936
505.36/496.63	c cleaning 6487 clauses out of 12978 with flag 32004/1328937
508.30/499.57	c cleaning 7243 clauses out of 14491 with flag 48004/1336937
511.54/502.76	c cleaning 8120 clauses out of 16247 with flag 66002/1345936
515.08/506.26	c cleaning 9060 clauses out of 18127 with flag 86002/1355936
519.28/510.31	c cleaning 10033 clauses out of 20068 with flag 108004/1366937
523.89/514.83	c cleaning 11017 clauses out of 22035 with flag 132004/1378937
529.12/519.90	c cleaning 12007 clauses out of 24018 with flag 158004/1391937
534.60/525.36	c cleaning 13004 clauses out of 26010 with flag 186002/1405936
540.46/531.09	c cleaning 14001 clauses out of 28006 with flag 216002/1420936
546.75/537.21	c cleaning 15002 clauses out of 30006 with flag 248004/1436937
553.26/543.60	c cleaning 16001 clauses out of 32003 with flag 282002/1453936
560.39/550.63	c cleaning 17001 clauses out of 34002 with flag 318002/1471936
568.20/558.27	c cleaning 17998 clauses out of 36001 with flag 356002/1490936
575.60/565.53	c Got one! Elapsed wall clock time (in seconds):565.417
575.60/565.53	o -3765
577.98/567.81	c cleaning 20935 clauses out of 41876 with flag 10067/1514809
580.43/570.21	c cleaning 13470 clauses out of 26941 with flag 22089/1520809
583.03/572.88	c cleaning 10227 clauses out of 20472 with flag 36202/1527810
585.95/575.72	c cleaning 9119 clauses out of 18245 with flag 52302/1535810
589.28/579.09	c cleaning 9059 clauses out of 18125 with flag 70351/1544809
592.90/582.65	c cleaning 9531 clauses out of 19067 with flag 90353/1554810
597.02/586.70	c cleaning 10265 clauses out of 20535 with flag 112447/1565809
599.43/589.11	c Got one! Elapsed wall clock time (in seconds):588.995
599.43/589.11	o -3766
601.49/591.17	c cleaning 10926 clauses out of 21858 with flag 10080/1577397
602.59/592.21	c Got one! Elapsed wall clock time (in seconds):592.099
602.59/592.21	o -3769
603.69/593.31	c cleaning 8426 clauses out of 16857 with flag 6083/1583322
603.69/593.31	c Got one! Elapsed wall clock time (in seconds):593.201
603.69/593.31	o -3770
603.79/593.45	c Got one! Elapsed wall clock time (in seconds):593.34
603.79/593.45	o -3774
603.79/593.46	c Got one! Elapsed wall clock time (in seconds):593.346
603.79/593.46	o -3775
603.79/593.48	c Got one! Elapsed wall clock time (in seconds):593.369
603.79/593.48	o -3776
605.62/595.28	c cleaning 6919 clauses out of 13852 with flag 10129/1588743
607.75/597.38	c cleaning 6463 clauses out of 12932 with flag 22217/1594742
610.18/599.79	c cleaning 6733 clauses out of 13469 with flag 36257/1601742
613.00/602.57	c cleaning 7365 clauses out of 14737 with flag 52411/1609743
616.23/605.79	c cleaning 8185 clauses out of 16371 with flag 70446/1618742
619.75/609.25	c cleaning 9093 clauses out of 18186 with flag 90551/1628742
623.73/613.17	c cleaning 10046 clauses out of 20094 with flag 112869/1639743
628.43/617.75	c cleaning 11024 clauses out of 22048 with flag 137265/1651743
633.32/622.58	c cleaning 12010 clauses out of 24023 with flag 163542/1664742
638.58/627.79	c cleaning 13002 clauses out of 26014 with flag 191775/1678743
644.41/633.48	c cleaning 14002 clauses out of 28011 with flag 222122/1693742
650.91/639.81	c cleaning 15002 clauses out of 30009 with flag 255032/1709742
657.05/645.82	c Got one! Elapsed wall clock time (in seconds):645.711
657.05/645.82	o -3787
657.34/646.18	c Got one! Elapsed wall clock time (in seconds):646.063
657.34/646.18	o -3795
658.05/646.86	c Got one! Elapsed wall clock time (in seconds):646.742
658.05/646.86	o -3807
658.34/647.13	c Got one! Elapsed wall clock time (in seconds):647.02
658.34/647.13	o -3818
658.64/647.48	c Got one! Elapsed wall clock time (in seconds):647.366
658.64/647.48	o -3821
658.95/647.70	c Got one! Elapsed wall clock time (in seconds):647.586
658.95/647.70	o -3831
660.63/649.34	c cleaning 19710 clauses out of 39431 with flag 8010/1734166
662.85/651.52	c cleaning 12858 clauses out of 25720 with flag 20035/1740165
662.95/651.60	c Got one! Elapsed wall clock time (in seconds):651.49
662.95/651.60	o -3850
664.85/653.46	c cleaning 9062 clauses out of 18133 with flag 10021/1745436
665.54/654.18	c Got one! Elapsed wall clock time (in seconds):654.065
665.54/654.18	o -3852
666.99/655.57	c cleaning 7449 clauses out of 14914 with flag 8018/1751279
669.13/657.62	c cleaning 6725 clauses out of 13464 with flag 20021/1757278
670.93/659.44	c Got one! Elapsed wall clock time (in seconds):659.328
670.93/659.44	o -3868
672.88/661.31	c cleaning 8686 clauses out of 17377 with flag 10001/1767916
675.00/663.49	c cleaning 7346 clauses out of 14691 with flag 22001/1773916
677.50/665.91	c cleaning 7168 clauses out of 14345 with flag 36001/1780916
680.33/668.74	c cleaning 7587 clauses out of 15177 with flag 52001/1788916
683.75/672.15	c cleaning 8293 clauses out of 16591 with flag 70003/1797917
687.48/675.80	c cleaning 9145 clauses out of 18298 with flag 90003/1807917
691.63/679.99	c cleaning 10075 clauses out of 20153 with flag 112003/1818917
696.22/684.47	c cleaning 11034 clauses out of 22078 with flag 136003/1830917
701.18/689.39	c cleaning 12019 clauses out of 24043 with flag 162001/1843916
706.76/694.89	c cleaning 13012 clauses out of 26024 with flag 190001/1857916
712.75/700.71	c cleaning 14003 clauses out of 28012 with flag 220001/1872916
719.19/707.07	c cleaning 15004 clauses out of 30009 with flag 252001/1888916
726.45/714.11	c cleaning 16002 clauses out of 32005 with flag 286001/1905916
733.70/721.21	c cleaning 16997 clauses out of 34004 with flag 322093/1923917
740.00/727.33	c cleaning 17999 clauses out of 36006 with flag 360174/1942916
748.15/735.21	c cleaning 19002 clauses out of 38007 with flag 400204/1962916
749.65/736.70	c Got one! Elapsed wall clock time (in seconds):736.587
749.65/736.70	o -3880
750.45/737.54	c cleaning 12417 clauses out of 24848 with flag 4008/1968759
752.67/739.79	c cleaning 9211 clauses out of 18431 with flag 16014/1974759
755.32/742.39	c cleaning 8108 clauses out of 16221 with flag 30020/1981760
758.32/745.39	c cleaning 8053 clauses out of 16112 with flag 46038/1989759
761.88/748.81	c cleaning 8527 clauses out of 17060 with flag 64216/1998760
765.49/752.43	c cleaning 9264 clauses out of 18532 with flag 84459/2008759
769.70/756.65	c cleaning 10131 clauses out of 20269 with flag 106726/2019760
774.89/761.72	c cleaning 11067 clauses out of 22137 with flag 130842/2031759
780.25/767.09	c cleaning 12034 clauses out of 24070 with flag 156959/2044759
786.05/772.76	c cleaning 13015 clauses out of 26036 with flag 184959/2058759
792.01/778.61	c cleaning 14010 clauses out of 28021 with flag 214959/2073759
794.86/781.40	c Got one! Elapsed wall clock time (in seconds):781.284
794.86/781.40	o -3896
797.12/783.60	c cleaning 13100 clauses out of 26211 with flag 10383/2085959
799.54/786.01	c cleaning 9551 clauses out of 19110 with flag 22694/2091958
802.16/788.68	c cleaning 8271 clauses out of 16559 with flag 36764/2098958
805.09/791.58	c cleaning 8139 clauses out of 16289 with flag 52847/2106959
808.43/794.84	c cleaning 8573 clauses out of 17149 with flag 70938/2115958
811.97/798.36	c cleaning 9285 clauses out of 18577 with flag 90973/2125959
815.85/802.14	c cleaning 10144 clauses out of 20291 with flag 112990/2136958
820.10/806.37	c cleaning 11074 clauses out of 22147 with flag 136990/2148958
825.27/811.41	c cleaning 12037 clauses out of 24073 with flag 163033/2161958
830.85/816.96	c cleaning 13014 clauses out of 26036 with flag 191050/2175958
836.93/822.94	c cleaning 14011 clauses out of 28023 with flag 221109/2190959
843.77/829.63	c cleaning 15000 clauses out of 30011 with flag 253216/2206958
851.13/836.87	c cleaning 16003 clauses out of 32011 with flag 287458/2223958
858.74/844.36	c cleaning 16999 clauses out of 34009 with flag 323605/2241959
867.03/852.43	c cleaning 18005 clauses out of 36010 with flag 361822/2260959
875.13/860.44	c cleaning 19000 clauses out of 38004 with flag 402229/2280958
883.01/868.14	c cleaning 19998 clauses out of 40004 with flag 444420/2301958
890.44/875.35	c cleaning 21004 clauses out of 42007 with flag 488422/2323959
898.29/883.00	c cleaning 21998 clauses out of 44003 with flag 534422/2346959
906.53/890.99	c cleaning 23001 clauses out of 46005 with flag 582422/2370959
910.71/895.00	c Got one! Elapsed wall clock time (in seconds):894.888
910.71/895.00	o -3909
912.71/897.07	c cleaning 20016 clauses out of 40035 with flag 10099/2387990
915.07/899.32	c cleaning 13006 clauses out of 26019 with flag 22117/2393990
917.62/901.81	c cleaning 10004 clauses out of 20013 with flag 36181/2400990
920.52/904.72	c cleaning 9002 clauses out of 18008 with flag 52301/2408989
923.72/907.93	c cleaning 8998 clauses out of 18006 with flag 70461/2417989
927.25/911.46	c cleaning 9504 clauses out of 19009 with flag 90483/2427990
931.18/915.34	c cleaning 10250 clauses out of 20504 with flag 112513/2438989
935.59/919.65	c cleaning 11125 clauses out of 22255 with flag 136595/2450990
940.43/924.48	c cleaning 12063 clauses out of 24130 with flag 162626/2463990
945.78/929.75	c cleaning 13033 clauses out of 26067 with flag 190647/2477990
951.46/935.37	c cleaning 14016 clauses out of 28033 with flag 220762/2492989
957.59/941.32	c cleaning 15006 clauses out of 30018 with flag 252962/2508990
964.32/947.99	c cleaning 16006 clauses out of 32012 with flag 287155/2525990
971.55/955.00	c cleaning 17001 clauses out of 34006 with flag 323396/2543990
979.33/962.72	c cleaning 17998 clauses out of 36004 with flag 361687/2562989
987.77/971.06	c cleaning 18998 clauses out of 38007 with flag 401905/2582990
996.92/980.01	c cleaning 19999 clauses out of 40009 with flag 444499/2603990
1006.17/989.11	c cleaning 21004 clauses out of 42010 with flag 488575/2625990
1015.92/998.68	c cleaning 21997 clauses out of 44006 with flag 534824/2648990
1025.89/1008.47	c cleaning 23000 clauses out of 46009 with flag 583278/2672990
1036.94/1019.25	c cleaning 24001 clauses out of 48010 with flag 633280/2697991
1048.52/1030.63	c cleaning 25004 clauses out of 50007 with flag 685377/2723989
1061.26/1043.16	c cleaning 25999 clauses out of 52003 with flag 739964/2750989
1073.82/1055.47	c cleaning 27000 clauses out of 54005 with flag 796433/2778990
1087.20/1068.62	c cleaning 27997 clauses out of 56005 with flag 854814/2807990
1101.15/1082.46	c cleaning 29001 clauses out of 58007 with flag 914904/2837989
1115.85/1096.91	c cleaning 30003 clauses out of 60006 with flag 976966/2868989
1131.52/1112.41	c cleaning 31002 clauses out of 62003 with flag 1041137/2900989
1147.34/1128.00	c cleaning 31994 clauses out of 64002 with flag 1108420/2933990
1163.48/1143.97	c cleaning 33004 clauses out of 66007 with flag 1179013/2967989
1180.33/1160.54	c cleaning 33995 clauses out of 68003 with flag 1249324/3002989
1197.89/1177.86	c cleaning 35000 clauses out of 70008 with flag 1321700/3038989
1216.29/1195.91	c cleaning 36001 clauses out of 72009 with flag 1395730/3075990
1235.16/1214.43	c cleaning 37004 clauses out of 74009 with flag 1472062/3113991
1253.90/1232.90	c cleaning 37996 clauses out of 76004 with flag 1550419/3152990
1273.48/1252.20	c cleaning 39002 clauses out of 78008 with flag 1631024/3192990
1294.55/1272.95	c cleaning 40000 clauses out of 80006 with flag 1713815/3233990
1315.88/1293.85	c cleaning 41000 clauses out of 82005 with flag 1798655/3275989
1336.63/1314.22	c cleaning 41998 clauses out of 84006 with flag 1884657/3318990
1356.15/1333.43	c cleaning 43000 clauses out of 86008 with flag 1972657/3362990
1376.02/1353.00	c cleaning 44000 clauses out of 88008 with flag 2062657/3407990
1397.87/1374.41	c cleaning 45003 clauses out of 90008 with flag 2154657/3453990
1420.86/1397.01	c cleaning 46002 clauses out of 92005 with flag 2248659/3500990
1444.00/1419.80	c cleaning 46997 clauses out of 94003 with flag 2344659/3548990
1467.87/1443.25	c cleaning 47999 clauses out of 96005 with flag 2442657/3597989
1493.90/1468.96	c cleaning 48999 clauses out of 98006 with flag 2542831/3647989
1522.33/1497.03	c cleaning 50000 clauses out of 100007 with flag 2645628/3698989
1551.76/1526.07	c cleaning 50997 clauses out of 102008 with flag 2749893/3750990
1583.12/1557.01	c cleaning 52003 clauses out of 104011 with flag 2856875/3803990
1613.81/1587.36	c cleaning 53000 clauses out of 106008 with flag 2965833/3857990
1642.48/1615.64	c cleaning 54002 clauses out of 108007 with flag 3076203/3912989
1673.19/1645.89	c cleaning 55002 clauses out of 110006 with flag 3189963/3968990
1707.06/1679.19	c cleaning 55999 clauses out of 112003 with flag 3306878/4025989
1740.57/1712.17	c cleaning 57001 clauses out of 114005 with flag 3424076/4083990
1774.17/1745.23	c cleaning 57997 clauses out of 116003 with flag 3543026/4142989
1800.05/1770.70	c starts		: 1163
1800.05/1770.70	c conflicts		: 4189989
1800.05/1770.70	c decisions		: 4220154
1800.05/1770.70	c propagations		: 693992427
1800.05/1770.70	c inspects		: 12203625586
1800.05/1770.70	c shortcuts		: 0
1800.05/1770.70	c learnt literals	: 0
1800.05/1770.70	c learnt binary clauses	: 0
1800.05/1770.70	c learnt ternary clauses	: 35
1800.05/1770.70	c learnt constraints	: 4189989
1800.05/1770.70	c ignored constraints	: 0
1800.05/1770.70	c root simplifications	: 0
1800.05/1770.70	c removed literals (reason simplification)	: 0
1800.05/1770.70	c reason swapping (by a shorter reason)	: 0
1800.05/1770.70	c Calls to reduceDB	: 295
1800.05/1770.70	c Number of update (reduction) of LBD	: 1121
1800.05/1770.70	c Imported unit clauses	: 0
1800.05/1770.70	c number of reductions to clauses (during analyze)	: 0
1800.05/1770.70	c number of learned constraints concerned by reduction	: 0
1800.05/1770.70	c number of learning phase by resolution	: 0
1800.05/1770.70	c number of learning phase by cutting planes	: 0
1800.05/1770.70	c speed (assignments/second)	: 392033.84576971654
1800.05/1770.70	c non guided choices	0
1800.05/1770.73	c learnt constraints type 
1800.05/1770.73	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 105006
1800.05/1770.73	s SATISFIABLE
1800.05/1770.73	c Found 202 solution(s)
1800.05/1770.73	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 
1800.05/1770.73	c objective function=-3909
1800.05/1770.73	c Total wall clock time (in seconds): 1770.613

Verifier Data 

OK	-3909

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-4119362-1467255991/watcher-4119362-1467255991 -o /tmp/evaluation-result-4119362-1467255991/solver-4119362-1467255991 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node121-1467250272-6981 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4119362-1467255991.opb 

pid=7735
running on 4 cores: 1,3,5,7

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


[startup+0 s]
/proc/loadavg: 2.15 2.20 2.18 3/192 7738
/proc/meminfo: memFree=30019680/32872528 swapFree=1298332/1461852
[pid=7738] ppid=7735 vsize=9292 CPUtime=0 cores=1,3,5,7
/proc/7738/stat : 7738 (java) D 7735 7738 6451 0 -1 4202496 327 0 0 0 0 0 0 0 20 0 1 0 4625098 9515008 184 33554432000 1073741824 1073778376 140735701866736 140735701857960 227512315319 0 0 4096 0 18446744072100588836 0 0 17 3 0 0 0 0 0
/proc/7738/statm: 2323 184 142 9 0 71 0

[startup+0.100138 s]
/proc/loadavg: 2.15 2.20 2.18 3/192 7738
/proc/meminfo: memFree=30019680/32872528 swapFree=1298332/1461852
[pid=7738] ppid=7735 vsize=9558476 CPUtime=0.09 cores=1,3,5,7
/proc/7738/stat : 7738 (java) S 7735 7738 6451 0 -1 4202496 4414 0 1 0 8 1 0 0 20 0 18 0 4625098 9787879424 6038 33554432000 1073741824 1073778376 140735101200176 140735101191312 227515859005 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/7738/statm: 2389619 6038 2125 9 0 2380296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558476

[startup+0.200322 s]
/proc/loadavg: 2.15 2.20 2.18 3/192 7738
/proc/meminfo: memFree=30019680/32872528 swapFree=1298332/1461852
[pid=7738] ppid=7735 vsize=9558476 CPUtime=0.24 cores=1,3,5,7
/proc/7738/stat : 7738 (java) S 7735 7738 6451 0 -1 4202496 4636 0 1 0 23 1 0 0 20 0 18 0 4625098 9787879424 6761 33554432000 1073741824 1073778376 140735101200176 140735101191312 227515859005 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/7738/statm: 2389619 6761 2216 9 0 2380296 0
Current children cumulated CPU time (s) 0.24
Current children cumulated vsize (KiB) 9558476

[startup+0.300341 s]
/proc/loadavg: 2.15 2.20 2.18 3/192 7738
/proc/meminfo: memFree=30019680/32872528 swapFree=1298332/1461852
[pid=7738] ppid=7735 vsize=9558476 CPUtime=0.48 cores=1,3,5,7
/proc/7738/stat : 7738 (java) S 7735 7738 6451 0 -1 4202496 5919 0 1 0 47 1 0 0 20 0 18 0 4625098 9787879424 7989 33554432000 1073741824 1073778376 140735101200176 140735101191312 227515859005 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/7738/statm: 2389619 7989 2236 9 0 2380296 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 9558476

[startup+0.700223 s]
/proc/loadavg: 2.15 2.20 2.18 3/192 7738
/proc/meminfo: memFree=30019680/32872528 swapFree=1298332/1461852
[pid=7738] ppid=7735 vsize=9625040 CPUtime=1.51 cores=1,3,5,7
/proc/7738/stat : 7738 (java) S 7735 7738 6451 0 -1 4202496 11078 0 1 0 148 3 0 0 20 0 19 0 4625098 9856040960 13310 33554432000 1073741824 1073778376 140735101200176 140735101191312 227515859005 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/7738/statm: 2406260 13310 2272 9 0 2396937 0
Current children cumulated CPU time (s) 1.51
Current children cumulated vsize (KiB) 9625040

[startup+1.50078 s]
/proc/loadavg: 2.15 2.20 2.18 3/211 7757
/proc/meminfo: memFree=29950132/32872528 swapFree=1298332/1461852
[pid=7738] ppid=7735 vsize=9625040 CPUtime=2.55 cores=1,3,5,7
/proc/7738/stat : 7738 (java) S 7735 7738 6451 0 -1 4202496 11533 0 1 0 251 4 0 0 20 0 19 0 4625098 9856040960 23893 33554432000 1073741824 1073778376 140735101200176 140735101191312 227515859005 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/7738/statm: 2406260 23893 2272 9 0 2396937 0
[pid=7738/tid=7740] ppid=7735 vsize=9625040 CPUtime=1.46 cores=1,3,5,7
/proc/7738/task/7740/stat : 7740 (java) R 7735 7738 6451 0 -1 4202560 2443 0 1 0 144 2 0 0 20 0 19 0 4625099 9856040960 23893 33554432000 1073741824 1073778376 140735101200176 139668128837936 139667991770390 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=7738/tid=7741] ppid=7735 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7738/task/7741/stat : 7741 (java) S 7735 7738 6451 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4625100 9856040960 23893 33554432000 1073741824 1073778376 140735101200176 139668117908264 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7738/tid=7742] ppid=7735 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7738/task/7742/stat : 7742 (java) S 7735 7738 6451 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4625100 9856040960 23893 33554432000 1073741824 1073778376 140735101200176 139668116855464 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7738/tid=7743] ppid=7735 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7738/task/7743/stat : 7743 (java) S 7735 7738 6451 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4625100 9856040960 23893 33554432000 1073741824 1073778376 140735101200176 139668115803176 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=7738/tid=7744] ppid=7735 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7738/task/7744/stat : 7744 (java) S 7735 7738 6451 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4625100 9856040960 23893 33554432000 1073741824 1073778376 140735101200176 139668114750376 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7738/tid=7745] ppid=7735 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7738/task/7745/stat : 7745 (java) S 7735 7738 6451 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4625100 9856040960 23893 33554432000 1073741824 1073778376 140735101200176 139668113697064 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7738/tid=7746] ppid=7735 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7738/task/7746/stat : 7746 (java) S 7735 7738 6451 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4625100 9856040960 23893 33554432000 1073741824 1073778376 140735101200176 139668112644264 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7738/tid=7747] ppid=7735 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7738/task/7747/stat : 7747 (java) S 7735 7738 6451 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4625100 9856040960 23893 33554432000 1073741824 1073778376 140735101200176 139668111591976 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7738/tid=7748] ppid=7735 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7738/task/7748/stat : 7748 (java) S 7735 7738 6451 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 4625100 9856040960 23893 33554432000 1073741824 1073778376 140735101200176 139668110539176 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7738/tid=7749] ppid=7735 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7738/task/7749/stat : 7749 (java) S 7735 7738 6451 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 4625101 9856040960 23893 33554432000 1073741824 1073778376 140735101200176 139667952446184 227515873193 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7738/tid=7750] ppid=7735 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7738/task/7750/stat : 7750 (java) S 7735 7738 6451 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 4625102 9856040960 23893 33554432000 1073741824 1073778376 140735101200176 139667951392248 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7738/tid=7751] ppid=7735 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7738/task/7751/stat : 7751 (java) S 7735 7738 6451 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 4625102 9856040960 23893 33554432000 1073741824 1073778376 140735101200176 139667950339848 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7738/tid=7752] ppid=7735 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7738/task/7752/stat : 7752 (java) S 7735 7738 6451 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4625104 9856040960 23893 33554432000 1073741824 1073778376 140735101200176 139667949288336 227515881248 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7738/tid=7753] ppid=7735 vsize=9625040 CPUtime=0.47 cores=1,3,5,7
/proc/7738/task/7753/stat : 7753 (java) S 7735 7738 6451 0 -1 4202560 3588 0 0 0 46 1 0 0 20 0 19 0 4625104 9856040960 23893 33554432000 1073741824 1073778376 140735101200176 139667948234936 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7738/tid=7754] ppid=7735 vsize=9625040 CPUtime=0.57 cores=1,3,5,7
/proc/7738/task/7754/stat : 7754 (java) S 7735 7738 6451 0 -1 4202560 4226 0 0 0 57 0 0 0 20 0 19 0 4625104 9856040960 23893 33554432000 1073741824 1073778376 140735101200176 139667947182136 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7738/tid=7755] ppid=7735 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7738/task/7755/stat : 7755 (java) S 7735 7738 6451 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4625104 9856040960 23893 33554432000 1073741824 1073778376 140735101200176 139667946130040 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7738/tid=7756] ppid=7735 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7738/task/7756/stat : 7756 (java) S 7735 7738 6451 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4625104 9856040960 23893 33554432000 1073741824 1073778376 140735101200176 139667945077448 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7738/tid=7757] ppid=7735 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7738/task/7757/stat : 7757 (java) S 7735 7738 6451 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 4625145 9856040960 23893 33554432000 1073741824 1073778376 140735101200176 139667944023464 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 2.55
Current children cumulated vsize (KiB) 9625040

[startup+3.10077 s]
/proc/loadavg: 2.15 2.20 2.18 4/211 7757
/proc/meminfo: memFree=29908552/32872528 swapFree=1298332/1461852
[pid=7738] ppid=7735 vsize=9625040 CPUtime=4.19 cores=1,3,5,7
/proc/7738/stat : 7738 (java) S 7735 7738 6451 0 -1 4202496 11561 0 1 0 415 4 0 0 20 0 19 0 4625098 9856040960 36184 33554432000 1073741824 1073778376 140735101200176 140735101191312 227515859005 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/7738/statm: 2406260 36184 2274 9 0 2396937 0
[pid=7738/tid=7740] ppid=7735 vsize=9625040 CPUtime=3.05 cores=1,3,5,7
/proc/7738/task/7740/stat : 7740 (java) R 7735 7738 6451 0 -1 4202560 2468 0 1 0 303 2 0 0 20 0 19 0 4625099 9856040960 36184 33554432000 1073741824 1073778376 140735101200176 139668128846408 139667991770685 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=7738/tid=7741] ppid=7735 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7738/task/7741/stat : 7741 (java) S 7735 7738 6451 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4625100 9856040960 36184 33554432000 1073741824 1073778376 140735101200176 139668117908264 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7738/tid=7742] ppid=7735 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7738/task/7742/stat : 7742 (java) S 7735 7738 6451 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4625100 9856040960 36184 33554432000 1073741824 1073778376 140735101200176 139668116855464 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7738/tid=7743] ppid=7735 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7738/task/7743/stat : 7743 (java) S 7735 7738 6451 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4625100 9856040960 36184 33554432000 1073741824 1073778376 140735101200176 139668115803176 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=7738/tid=7744] ppid=7735 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7738/task/7744/stat : 7744 (java) S 7735 7738 6451 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4625100 9856040960 36184 33554432000 1073741824 1073778376 140735101200176 139668114750376 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7738/tid=7745] ppid=7735 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7738/task/7745/stat : 7745 (java) S 7735 7738 6451 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4625100 9856040960 36184 33554432000 1073741824 1073778376 140735101200176 139668113697064 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7738/tid=7746] ppid=7735 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7738/task/7746/stat : 7746 (java) S 7735 7738 6451 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4625100 9856040960 36184 33554432000 1073741824 1073778376 140735101200176 139668112644264 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7738/tid=7747] ppid=7735 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7738/task/7747/stat : 7747 (java) S 7735 7738 6451 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4625100 9856040960 36184 33554432000 1073741824 1073778376 140735101200176 139668111591976 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7738/tid=7748] ppid=7735 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7738/task/7748/stat : 7748 (java) S 7735 7738 6451 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 4625100 9856040960 36184 33554432000 1073741824 1073778376 140735101200176 139668110539176 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7738/tid=7749] ppid=7735 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7738/task/7749/stat : 7749 (java) S 7735 7738 6451 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 4625101 9856040960 36184 33554432000 1073741824 1073778376 140735101200176 139667952446184 227515873193 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7738/tid=7750] ppid=7735 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7738/task/7750/stat : 7750 (java) S 7735 7738 6451 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 4625102 9856040960 36184 33554432000 1073741824 1073778376 140735101200176 139667951392248 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7738/tid=7751] ppid=7735 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7738/task/7751/stat : 7751 (java) S 7735 7738 6451 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 4625102 9856040960 36184 33554432000 1073741824 1073778376 140735101200176 139667950339848 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7738/tid=7752] ppid=7735 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7738/task/7752/stat : 7752 (java) S 7735 7738 6451 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4625104 9856040960 36184 33554432000 1073741824 1073778376 140735101200176 139667949288336 227515881248 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7738/tid=7753] ppid=7735 vsize=9625040 CPUtime=0.47 cores=1,3,5,7
/proc/7738/task/7753/stat : 7753 (java) S 7735 7738 6451 0 -1 4202560 3588 0 0 0 46 1 0 0 20 0 19 0 4625104 9856040960 36184 33554432000 1073741824 1073778376 140735101200176 139667948234936 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7738/tid=7754] ppid=7735 vsize=9625040 CPUtime=0.62 cores=1,3,5,7
/proc/7738/task/7754/stat : 7754 (java) S 7735 7738 6451 0 -1 4202560 4228 0 0 0 62 0 0 0 20 0 19 0 4625104 9856040960 36184 33554432000 1073741824 1073778376 140735101200176 139667947182136 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7738/tid=7755] ppid=7735 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7738/task/7755/stat : 7755 (java) S 7735 7738 6451 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4625104 9856040960 36184 33554432000 1073741824 1073778376 140735101200176 139667946130040 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7738/tid=7756] ppid=7735 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7738/task/7756/stat : 7756 (java) S 7735 7738 6451 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4625104 9856040960 36184 33554432000 1073741824 1073778376 140735101200176 139667945077448 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7738/tid=7757] ppid=7735 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7738/task/7757/stat : 7757 (java) S 7735 7738 6451 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 4625145 9856040960 36184 33554432000 1073741824 1073778376 140735101200176 139667944023464 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 4.19
Current children cumulated vsize (KiB) 9625040

[startup+6.30085 s]
/proc/loadavg: 2.22 2.22 2.18 4/211 7757
/proc/meminfo: memFree=29817284/32872528 swapFree=1298332/1461852
[pid=7738] ppid=7735 vsize=9625040 CPUtime=7.56 cores=1,3,5,7
/proc/7738/stat : 7738 (java) S 7735 7738 6451 0 -1 4202496 11704 0 1 0 745 11 0 0 20 0 19 0 4625098 9856040960 52315 33554432000 1073741824 1073778376 140735101200176 140735101191312 227515859005 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/7738/statm: 2406260 52315 2292 9 0 2396937 0
[pid=7738/tid=7740] ppid=7735 vsize=9625040 CPUtime=6.21 cores=1,3,5,7
/proc/7738/task/7740/stat : 7740 (java) R 7735 7738 6451 0 -1 4202560 2484 0 1 0 619 2 0 0 20 0 19 0 4625099 9856040960 52315 33554432000 1073741824 1073778376 140735101200176 139668128846328 139667991831246 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=7738/tid=7741] ppid=7735 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7738/task/7741/stat : 7741 (java) S 7735 7738 6451 0 -1 4202560 20 0 0 0 0 0 0 0 20 0 19 0 4625100 9856040960 52315 33554432000 1073741824 1073778376 140735101200176 139668117908264 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7738/tid=7742] ppid=7735 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7738/task/7742/stat : 7742 (java) S 7735 7738 6451 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 4625100 9856040960 52315 33554432000 1073741824 1073778376 140735101200176 139668116855464 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7738/tid=7743] ppid=7735 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7738/task/7743/stat : 7743 (java) S 7735 7738 6451 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 4625100 9856040960 52315 33554432000 1073741824 1073778376 140735101200176 139668115803176 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=7738/tid=7744] ppid=7735 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7738/task/7744/stat : 7744 (java) S 7735 7738 6451 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 4625100 9856040960 52315 33554432000 1073741824 1073778376 140735101200176 139668114750376 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7738/tid=7745] ppid=7735 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7738/task/7745/stat : 7745 (java) S 7735 7738 6451 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 4625100 9856040960 52315 33554432000 1073741824 1073778376 140735101200176 139668113697064 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=7738/tid=7746] ppid=7735 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7738/task/7746/stat : 7746 (java) S 7735 7738 6451 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 19 0 4625100 9856040960 52315 33554432000 1073741824 1073778376 140735101200176 139668112644264 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7738/tid=7747] ppid=7735 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7738/task/7747/stat : 7747 (java) S 7735 7738 6451 0 -1 4202560 15 0 0 0 0 0 0 0 20 0 19 0 4625100 9856040960 52315 33554432000 1073741824 1073778376 140735101200176 139668111591976 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7738/tid=7748] ppid=7735 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7738/task/7748/stat : 7748 (java) S 7735 7738 6451 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 4625100 9856040960 52315 33554432000 1073741824 1073778376 140735101200176 139668110539176 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7738/tid=7749] ppid=7735 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7738/task/7749/stat : 7749 (java) S 7735 7738 6451 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 4625101 9856040960 52315 33554432000 1073741824 1073778376 140735101200176 139667952446184 227515873193 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7738/tid=7750] ppid=7735 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7738/task/7750/stat : 7750 (java) S 7735 7738 6451 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 4625102 9856040960 52315 33554432000 1073741824 1073778376 140735101200176 139667951392248 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7738/tid=7751] ppid=7735 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7738/task/7751/stat : 7751 (java) S 7735 7738 6451 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 4625102 9856040960 52315 33554432000 1073741824 1073778376 140735101200176 139667950339848 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7738/tid=7752] ppid=7735 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7738/task/7752/stat : 7752 (java) S 7735 7738 6451 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4625104 9856040960 52315 33554432000 1073741824 1073778376 140735101200176 139667949288336 227515881248 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7738/tid=7753] ppid=7735 vsize=9625040 CPUtime=0.49 cores=1,3,5,7
/proc/7738/task/7753/stat : 7753 (java) S 7735 7738 6451 0 -1 4202560 3592 0 0 0 48 1 0 0 20 0 19 0 4625104 9856040960 52315 33554432000 1073741824 1073778376 140735101200176 139667948234936 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7738/tid=7754] ppid=7735 vsize=9625040 CPUtime=0.67 cores=1,3,5,7
/proc/7738/task/7754/stat : 7754 (java) S 7735 7738 6451 0 -1 4202560 4250 0 0 0 67 0 0 0 20 0 19 0 4625104 9856040960 52315 33554432000 1073741824 1073778376 140735101200176 139667947182136 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7738/tid=7755] ppid=7735 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7738/task/7755/stat : 7755 (java) S 7735 7738 6451 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4625104 9856040960 52315 33554432000 1073741824 1073778376 140735101200176 139667946130040 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7738/tid=7756] ppid=7735 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7738/task/7756/stat : 7756 (java) S 7735 7738 6451 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4625104 9856040960 52315 33554432000 1073741824 1073778376 140735101200176 139667945077448 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7738/tid=7757] ppid=7735 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7738/task/7757/stat : 7757 (java) S 7735 7738 6451 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 4625145 9856040960 52315 33554432000 1073741824 1073778376 140735101200176 139667944023464 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 7.56
Current children cumulated vsize (KiB) 9625040


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

[pid=7738/tid=7757] ppid=7735 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7738/task/7757/stat : 7757 (java) S 7735 7738 6451 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 4625145 9856040960 264099 33554432000 1073741824 1073778376 140735101200176 139667944023464 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1689.93
Current children cumulated vsize (KiB) 9625040

[startup+1722.3 s]
/proc/loadavg: 2.26 2.21 2.18 3/211 7866
/proc/meminfo: memFree=28770172/32872528 swapFree=1298332/1461852
[pid=7738] ppid=7735 vsize=9625040 CPUtime=1750.88 cores=1,3,5,7
/proc/7738/stat : 7738 (java) S 7735 7738 6451 0 -1 4202496 33166 0 1 0 174794 294 0 0 20 0 19 0 4625098 9856040960 285494 33554432000 1073741824 1073778376 140735101200176 140735101191312 227515859005 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/7738/statm: 2406260 285494 2300 9 0 2396937 0
[pid=7738/tid=7740] ppid=7735 vsize=9625040 CPUtime=1702.34 cores=1,3,5,7
/proc/7738/task/7740/stat : 7740 (java) R 7735 7738 6451 0 -1 4202560 3028 0 1 0 170199 35 0 0 20 0 19 0 4625099 9856040960 285494 33554432000 1073741824 1073778376 140735101200176 139668128845008 139667991830819 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=7738/tid=7741] ppid=7735 vsize=9625040 CPUtime=4.75 cores=1,3,5,7
/proc/7738/task/7741/stat : 7741 (java) S 7735 7738 6451 0 -1 4202560 2076 0 0 0 443 32 0 0 20 0 19 0 4625100 9856040960 285494 33554432000 1073741824 1073778376 140735101200176 139668117908264 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7738/tid=7742] ppid=7735 vsize=9625040 CPUtime=4.82 cores=1,3,5,7
/proc/7738/task/7742/stat : 7742 (java) S 7735 7738 6451 0 -1 4202560 2013 0 0 0 452 30 0 0 20 0 19 0 4625100 9856040960 285494 33554432000 1073741824 1073778376 140735101200176 139668116855464 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=7738/tid=7743] ppid=7735 vsize=9625040 CPUtime=4.67 cores=1,3,5,7
/proc/7738/task/7743/stat : 7743 (java) S 7735 7738 6451 0 -1 4202560 2142 0 0 0 436 31 0 0 20 0 19 0 4625100 9856040960 285494 33554432000 1073741824 1073778376 140735101200176 139668115803176 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7738/tid=7744] ppid=7735 vsize=9625040 CPUtime=5.03 cores=1,3,5,7
/proc/7738/task/7744/stat : 7744 (java) S 7735 7738 6451 0 -1 4202560 2709 0 0 0 467 36 0 0 20 0 19 0 4625100 9856040960 285494 33554432000 1073741824 1073778376 140735101200176 139668114750376 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7738/tid=7745] ppid=7735 vsize=9625040 CPUtime=4.91 cores=1,3,5,7
/proc/7738/task/7745/stat : 7745 (java) S 7735 7738 6451 0 -1 4202560 2334 0 0 0 456 35 0 0 20 0 19 0 4625100 9856040960 285494 33554432000 1073741824 1073778376 140735101200176 139668113697064 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7738/tid=7746] ppid=7735 vsize=9625040 CPUtime=4.8 cores=1,3,5,7
/proc/7738/task/7746/stat : 7746 (java) S 7735 7738 6451 0 -1 4202560 2140 0 0 0 445 35 0 0 20 0 19 0 4625100 9856040960 285494 33554432000 1073741824 1073778376 140735101200176 139668112644264 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7738/tid=7747] ppid=7735 vsize=9625040 CPUtime=4.8 cores=1,3,5,7
/proc/7738/task/7747/stat : 7747 (java) S 7735 7738 6451 0 -1 4202560 2177 0 0 0 445 35 0 0 20 0 19 0 4625100 9856040960 285494 33554432000 1073741824 1073778376 140735101200176 139668111591976 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=7738/tid=7748] ppid=7735 vsize=9625040 CPUtime=4.59 cores=1,3,5,7
/proc/7738/task/7748/stat : 7748 (java) S 7735 7738 6451 0 -1 4202560 1619 0 0 0 427 32 0 0 20 0 19 0 4625100 9856040960 285494 33554432000 1073741824 1073778376 140735101200176 139668110539176 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7738/tid=7749] ppid=7735 vsize=9625040 CPUtime=4.46 cores=1,3,5,7
/proc/7738/task/7749/stat : 7749 (java) S 7735 7738 6451 0 -1 4202560 2827 0 0 0 438 8 0 0 20 0 19 0 4625101 9856040960 285494 33554432000 1073741824 1073778376 140735101200176 139667952446184 227515873193 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7738/tid=7750] ppid=7735 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7738/task/7750/stat : 7750 (java) S 7735 7738 6451 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 4625102 9856040960 285494 33554432000 1073741824 1073778376 140735101200176 139667951392248 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7738/tid=7751] ppid=7735 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7738/task/7751/stat : 7751 (java) S 7735 7738 6451 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 4625102 9856040960 285494 33554432000 1073741824 1073778376 140735101200176 139667950339848 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7738/tid=7752] ppid=7735 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7738/task/7752/stat : 7752 (java) S 7735 7738 6451 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4625104 9856040960 285494 33554432000 1073741824 1073778376 140735101200176 139667949288336 227515881248 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7738/tid=7753] ppid=7735 vsize=9625040 CPUtime=0.62 cores=1,3,5,7
/proc/7738/task/7753/stat : 7753 (java) S 7735 7738 6451 0 -1 4202560 4490 0 0 0 60 2 0 0 20 0 19 0 4625104 9856040960 285494 33554432000 1073741824 1073778376 140735101200176 139667948234936 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7738/tid=7754] ppid=7735 vsize=9625040 CPUtime=0.68 cores=1,3,5,7
/proc/7738/task/7754/stat : 7754 (java) S 7735 7738 6451 0 -1 4202560 4250 0 0 0 68 0 0 0 20 0 19 0 4625104 9856040960 285494 33554432000 1073741824 1073778376 140735101200176 139667947182136 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7738/tid=7755] ppid=7735 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7738/task/7755/stat : 7755 (java) S 7735 7738 6451 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4625104 9856040960 285494 33554432000 1073741824 1073778376 140735101200176 139667946130040 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7738/tid=7756] ppid=7735 vsize=9625040 CPUtime=0.33 cores=1,3,5,7
/proc/7738/task/7756/stat : 7756 (java) S 7735 7738 6451 0 -1 4202560 99 0 0 0 18 15 0 0 20 0 19 0 4625104 9856040960 285494 33554432000 1073741824 1073778376 140735101200176 139667945077448 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7738/tid=7757] ppid=7735 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7738/task/7757/stat : 7757 (java) S 7735 7738 6451 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 4625145 9856040960 285494 33554432000 1073741824 1073778376 140735101200176 139667944023464 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1750.88
Current children cumulated vsize (KiB) 9625040



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1770.7 s]
/proc/loadavg: 2.18 2.19 2.18 3/211 7867
/proc/meminfo: memFree=28656424/32872528 swapFree=1298332/1461852
[pid=7738] ppid=7735 vsize=9625040 CPUtime=1800.05 cores=1,3,5,7
/proc/7738/stat : 7738 (java) S 7735 7738 6451 0 -1 4202496 34027 0 1 0 179704 301 0 0 20 0 19 0 4625098 9856040960 299558 33554432000 1073741824 1073778376 140735101200176 140735101191312 227515859005 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/7738/statm: 2406260 299558 2300 9 0 2396937 0
[pid=7738/tid=7740] ppid=7735 vsize=9625040 CPUtime=1750.15 cores=1,3,5,7
/proc/7738/task/7740/stat : 7740 (java) R 7735 7738 6451 0 -1 4202560 3036 0 1 0 174979 36 0 0 20 0 19 0 4625099 9856040960 299558 33554432000 1073741824 1073778376 140735101200176 139668128845056 139667991830819 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=7738/tid=7741] ppid=7735 vsize=9625040 CPUtime=4.88 cores=1,3,5,7
/proc/7738/task/7741/stat : 7741 (java) S 7735 7738 6451 0 -1 4202560 2162 0 0 0 455 33 0 0 20 0 19 0 4625100 9856040960 299558 33554432000 1073741824 1073778376 140735101200176 139668117908264 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=7738/tid=7742] ppid=7735 vsize=9625040 CPUtime=4.97 cores=1,3,5,7
/proc/7738/task/7742/stat : 7742 (java) S 7735 7738 6451 0 -1 4202560 2287 0 0 0 466 31 0 0 20 0 19 0 4625100 9856040960 299558 33554432000 1073741824 1073778376 140735101200176 139668116855464 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=7738/tid=7743] ppid=7735 vsize=9625040 CPUtime=4.82 cores=1,3,5,7
/proc/7738/task/7743/stat : 7743 (java) S 7735 7738 6451 0 -1 4202560 2158 0 0 0 450 32 0 0 20 0 19 0 4625100 9856040960 299558 33554432000 1073741824 1073778376 140735101200176 139668115803176 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7738/tid=7744] ppid=7735 vsize=9625040 CPUtime=5.14 cores=1,3,5,7
/proc/7738/task/7744/stat : 7744 (java) S 7735 7738 6451 0 -1 4202560 2711 0 0 0 478 36 0 0 20 0 19 0 4625100 9856040960 299558 33554432000 1073741824 1073778376 140735101200176 139668114750376 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=7738/tid=7745] ppid=7735 vsize=9625040 CPUtime=5.03 cores=1,3,5,7
/proc/7738/task/7745/stat : 7745 (java) S 7735 7738 6451 0 -1 4202560 2545 0 0 0 468 35 0 0 20 0 19 0 4625100 9856040960 299558 33554432000 1073741824 1073778376 140735101200176 139668113697064 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=7738/tid=7746] ppid=7735 vsize=9625040 CPUtime=4.97 cores=1,3,5,7
/proc/7738/task/7746/stat : 7746 (java) S 7735 7738 6451 0 -1 4202560 2236 0 0 0 461 36 0 0 20 0 19 0 4625100 9856040960 299558 33554432000 1073741824 1073778376 140735101200176 139668112644264 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7738/tid=7747] ppid=7735 vsize=9625040 CPUtime=4.98 cores=1,3,5,7
/proc/7738/task/7747/stat : 7747 (java) S 7735 7738 6451 0 -1 4202560 2189 0 0 0 463 35 0 0 20 0 19 0 4625100 9856040960 299558 33554432000 1073741824 1073778376 140735101200176 139668111591976 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=7738/tid=7748] ppid=7735 vsize=9625040 CPUtime=4.66 cores=1,3,5,7
/proc/7738/task/7748/stat : 7748 (java) S 7735 7738 6451 0 -1 4202560 1629 0 0 0 434 32 0 0 20 0 19 0 4625100 9856040960 299558 33554432000 1073741824 1073778376 140735101200176 139668110539176 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7738/tid=7749] ppid=7735 vsize=9625040 CPUtime=4.61 cores=1,3,5,7
/proc/7738/task/7749/stat : 7749 (java) S 7735 7738 6451 0 -1 4202560 2971 0 0 0 453 8 0 0 20 0 19 0 4625101 9856040960 299558 33554432000 1073741824 1073778376 140735101200176 139667952446184 227515873193 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7738/tid=7750] ppid=7735 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7738/task/7750/stat : 7750 (java) S 7735 7738 6451 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 4625102 9856040960 299558 33554432000 1073741824 1073778376 140735101200176 139667951392248 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7738/tid=7751] ppid=7735 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7738/task/7751/stat : 7751 (java) S 7735 7738 6451 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 4625102 9856040960 299558 33554432000 1073741824 1073778376 140735101200176 139667950339848 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7738/tid=7752] ppid=7735 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7738/task/7752/stat : 7752 (java) S 7735 7738 6451 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4625104 9856040960 299558 33554432000 1073741824 1073778376 140735101200176 139667949288336 227515881248 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7738/tid=7753] ppid=7735 vsize=9625040 CPUtime=0.62 cores=1,3,5,7
/proc/7738/task/7753/stat : 7753 (java) S 7735 7738 6451 0 -1 4202560 4490 0 0 0 60 2 0 0 20 0 19 0 4625104 9856040960 299558 33554432000 1073741824 1073778376 140735101200176 139667948234936 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7738/tid=7754] ppid=7735 vsize=9625040 CPUtime=0.68 cores=1,3,5,7
/proc/7738/task/7754/stat : 7754 (java) S 7735 7738 6451 0 -1 4202560 4250 0 0 0 68 0 0 0 20 0 19 0 4625104 9856040960 299558 33554432000 1073741824 1073778376 140735101200176 139667947182136 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7738/tid=7755] ppid=7735 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7738/task/7755/stat : 7755 (java) S 7735 7738 6451 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4625104 9856040960 299558 33554432000 1073741824 1073778376 140735101200176 139667946130040 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7738/tid=7756] ppid=7735 vsize=9625040 CPUtime=0.34 cores=1,3,5,7
/proc/7738/task/7756/stat : 7756 (java) S 7735 7738 6451 0 -1 4202560 101 0 0 0 19 15 0 0 20 0 19 0 4625104 9856040960 299558 33554432000 1073741824 1073778376 140735101200176 139667945077448 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7738/tid=7757] ppid=7735 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7738/task/7757/stat : 7757 (java) S 7735 7738 6451 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 4625145 9856040960 299558 33554432000 1073741824 1073778376 140735101200176 139667944023464 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 9625040

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

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

[startup+1770.7 s]
/proc/loadavg: 2.18 2.19 2.18 3/211 7867
/proc/meminfo: memFree=28656424/32872528 swapFree=1298332/1461852
[pid=7738] ppid=7735 vsize=9625040 CPUtime=1800.05 cores=1,3,5,7
/proc/7738/stat : 7738 (java) S 7735 7738 6451 0 -1 4202496 34027 0 1 0 179704 301 0 0 20 0 19 0 4625098 9856040960 299558 33554432000 1073741824 1073778376 140735101200176 140735101191312 227515859005 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/7738/statm: 2406260 299558 2300 9 0 2396937 0
[pid=7738/tid=7740] ppid=7735 vsize=9625040 CPUtime=1750.15 cores=1,3,5,7
/proc/7738/task/7740/stat : 7740 (java) R 7735 7738 6451 0 -1 4202560 3036 0 1 0 174979 36 0 0 20 0 19 0 4625099 9856040960 299558 33554432000 1073741824 1073778376 140735101200176 139668128845056 139667991830819 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=7738/tid=7741] ppid=7735 vsize=9625040 CPUtime=4.88 cores=1,3,5,7
/proc/7738/task/7741/stat : 7741 (java) S 7735 7738 6451 0 -1 4202560 2162 0 0 0 455 33 0 0 20 0 19 0 4625100 9856040960 299558 33554432000 1073741824 1073778376 140735101200176 139668117908264 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=7738/tid=7742] ppid=7735 vsize=9625040 CPUtime=4.97 cores=1,3,5,7
/proc/7738/task/7742/stat : 7742 (java) S 7735 7738 6451 0 -1 4202560 2287 0 0 0 466 31 0 0 20 0 19 0 4625100 9856040960 299558 33554432000 1073741824 1073778376 140735101200176 139668116855464 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=7738/tid=7743] ppid=7735 vsize=9625040 CPUtime=4.82 cores=1,3,5,7
/proc/7738/task/7743/stat : 7743 (java) S 7735 7738 6451 0 -1 4202560 2158 0 0 0 450 32 0 0 20 0 19 0 4625100 9856040960 299558 33554432000 1073741824 1073778376 140735101200176 139668115803176 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7738/tid=7744] ppid=7735 vsize=9625040 CPUtime=5.14 cores=1,3,5,7
/proc/7738/task/7744/stat : 7744 (java) S 7735 7738 6451 0 -1 4202560 2711 0 0 0 478 36 0 0 20 0 19 0 4625100 9856040960 299558 33554432000 1073741824 1073778376 140735101200176 139668114750376 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=7738/tid=7745] ppid=7735 vsize=9625040 CPUtime=5.03 cores=1,3,5,7
/proc/7738/task/7745/stat : 7745 (java) S 7735 7738 6451 0 -1 4202560 2545 0 0 0 468 35 0 0 20 0 19 0 4625100 9856040960 299558 33554432000 1073741824 1073778376 140735101200176 139668113697064 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=7738/tid=7746] ppid=7735 vsize=9625040 CPUtime=4.97 cores=1,3,5,7
/proc/7738/task/7746/stat : 7746 (java) S 7735 7738 6451 0 -1 4202560 2236 0 0 0 461 36 0 0 20 0 19 0 4625100 9856040960 299558 33554432000 1073741824 1073778376 140735101200176 139668112644264 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7738/tid=7747] ppid=7735 vsize=9625040 CPUtime=4.98 cores=1,3,5,7
/proc/7738/task/7747/stat : 7747 (java) S 7735 7738 6451 0 -1 4202560 2189 0 0 0 463 35 0 0 20 0 19 0 4625100 9856040960 299558 33554432000 1073741824 1073778376 140735101200176 139668111591976 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=7738/tid=7748] ppid=7735 vsize=9625040 CPUtime=4.66 cores=1,3,5,7
/proc/7738/task/7748/stat : 7748 (java) S 7735 7738 6451 0 -1 4202560 1629 0 0 0 434 32 0 0 20 0 19 0 4625100 9856040960 299558 33554432000 1073741824 1073778376 140735101200176 139668110539176 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7738/tid=7749] ppid=7735 vsize=9625040 CPUtime=4.61 cores=1,3,5,7
/proc/7738/task/7749/stat : 7749 (java) S 7735 7738 6451 0 -1 4202560 2971 0 0 0 453 8 0 0 20 0 19 0 4625101 9856040960 299558 33554432000 1073741824 1073778376 140735101200176 139667952446184 227515873193 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7738/tid=7750] ppid=7735 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7738/task/7750/stat : 7750 (java) S 7735 7738 6451 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 4625102 9856040960 299558 33554432000 1073741824 1073778376 140735101200176 139667951392248 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7738/tid=7751] ppid=7735 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7738/task/7751/stat : 7751 (java) S 7735 7738 6451 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 4625102 9856040960 299558 33554432000 1073741824 1073778376 140735101200176 139667950339848 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7738/tid=7752] ppid=7735 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7738/task/7752/stat : 7752 (java) S 7735 7738 6451 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4625104 9856040960 299558 33554432000 1073741824 1073778376 140735101200176 139667949288336 227515881248 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7738/tid=7753] ppid=7735 vsize=9625040 CPUtime=0.62 cores=1,3,5,7
/proc/7738/task/7753/stat : 7753 (java) S 7735 7738 6451 0 -1 4202560 4490 0 0 0 60 2 0 0 20 0 19 0 4625104 9856040960 299558 33554432000 1073741824 1073778376 140735101200176 139667948234936 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7738/tid=7754] ppid=7735 vsize=9625040 CPUtime=0.68 cores=1,3,5,7
/proc/7738/task/7754/stat : 7754 (java) S 7735 7738 6451 0 -1 4202560 4250 0 0 0 68 0 0 0 20 0 19 0 4625104 9856040960 299558 33554432000 1073741824 1073778376 140735101200176 139667947182136 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7738/tid=7755] ppid=7735 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7738/task/7755/stat : 7755 (java) S 7735 7738 6451 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4625104 9856040960 299558 33554432000 1073741824 1073778376 140735101200176 139667946130040 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7738/tid=7756] ppid=7735 vsize=9625040 CPUtime=0.34 cores=1,3,5,7
/proc/7738/task/7756/stat : 7756 (java) S 7735 7738 6451 0 -1 4202560 101 0 0 0 19 15 0 0 20 0 19 0 4625104 9856040960 299558 33554432000 1073741824 1073778376 140735101200176 139667945077448 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7738/tid=7757] ppid=7735 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7738/task/7757/stat : 7757 (java) S 7735 7738 6451 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 4625145 9856040960 299558 33554432000 1073741824 1073778376 140735101200176 139667944023464 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 9625040

Child status: 143

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 7738 and gives
#  childrusage.ru_utime.tv_sec=1792
#  childrusage.ru_utime.tv_usec=741461
#  childrusage.ru_stime.tv_sec=3
#  childrusage.ru_stime.tv_usec=460473
# CPU time returned by wait4() is 1796.2
# while last known CPU time is 1800.05
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1770.74
CPU time (s): 1800.05
CPU user time (s): 1797.04
CPU system time (s): 3.01
CPU usage (%): 101.655
Max. virtual memory (cumulated for all children) (KiB): 9625040

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1792.74
system time used= 3.46047
maximum resident set size= 1198356
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 34062
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1696
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 54745
involuntary context switches= 65420

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.96548 second user time and 11.9902 second system time

The end

Launcher Data 

Begin job on node121 at 2016-06-30 05:06:31
IDJOB=4119362
IDBENCH=111711
IDSOLVER=2546
FILE ID=node121/4119362-1467255991
RUNJOBID= node121-1467250272-6981
PBS_JOBID= 20004469
Free space on /tmp= 71700 MiB

SOLVER NAME= Sat4j PB 2.3.6 Resolution PB16
BENCH NAME= PB15eval/normalized-PB15eval/OPT-SMALLINT-NLC/minlplib2-pb-0.1.0/opb/normalized-autocorr_bern30-15.opb
COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4119362-1467255991/watcher-4119362-1467255991 -o /tmp/evaluation-result-4119362-1467255991/solver-4119362-1467255991 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node121-1467250272-6981 --watchdog 1960  java -jar sat4j-pb.jar HOME/instance-4119362-1467255991.opb

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

MD5SUM BENCH= 737ff969f9c485c878571acb16d3bdb3
RANDOM SEED=315906710

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        30019836 kB
Buffers:           92864 kB
Cached:           225168 kB
SwapCached:            0 kB
Active:           438508 kB
Inactive:         202824 kB
Active(anon):     310620 kB
Inactive(anon):    15388 kB
Active(file):     127888 kB
Inactive(file):   187436 kB
Unevictable:     1461852 kB
Mlocked:         1298332 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:               856 kB
Writeback:             0 kB
AnonPages:       1793288 kB
Mapped:            21916 kB
Shmem:               204 kB
Slab:             607704 kB
SReclaimable:      51832 kB
SUnreclaim:       555872 kB
KernelStack:        1600 kB
PageTables:         7436 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2279476 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    458752 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 node121 at 2016-06-30 05:36:02