Trace number 4119537

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
Sat4j PB 2.3.6 Res+CP PB16SAT (TO)-987 1800.47 961.855

General information on the benchmark

NamePB15eval/normalized-PB15eval/OPT-SMALLINT-NLC/
minlplib2-pb-0.1.0/opb/normalized-autocorr_bern40-10.opb
MD5SUM0e7053b6afea3b3f41f09a388d6be788
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-1001
Best CPU time to get the best result obtained on this benchmark1800.01
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 2053
Biggest coefficient in the objective function 220
Number of bits for the biggest coefficient in the objective function 8
Sum of the numbers in the objective function 63240
Number of bits of the sum of numbers in the objective function 16
Biggest number in a constraint 220
Number of bits of the biggest number in a constraint 8
Biggest sum of numbers in a constraint 63240
Number of bits of the biggest sum of numbers16
Number of products (including duplicates)2013
Sum of products size (including duplicates)6254
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.12	c Pseudo Boolean Optimization by upper bound
0.09/0.12	c ManyCore solver with 2 solvers running in parallel
0.09/0.12	c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<<
0.09/0.12	c --- Begin Solver configuration ---
0.09/0.12	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@5d764be1
0.09/0.12	c Learn all clauses as in MiniSAT
0.09/0.12	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.09/0.12	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.09/0.12	c Expensive reason simplification
0.09/0.12	c Glucose 2.1 dynamic restart strategy
0.09/0.12	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.09/0.12	c timeout=2147483s
0.09/0.12	c DB Simplification allowed=false
0.09/0.12	c Listener: org.sat4j.pb.tools.ManyCorePB@9f436f5
0.09/0.12	c --- End Solver configuration ---
0.09/0.12	c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<<
0.09/0.12	c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP)
0.09/0.12	c --- Begin Solver configuration ---
0.09/0.12	c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@4413ee
0.09/0.12	c Learn all clauses as in MiniSAT
0.09/0.12	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.09/0.12	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function
0.09/0.12	c No reason simplification
0.09/0.12	c Armin Biere (Picosat) restarts strategy
0.09/0.12	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.09/0.12	c timeout=2147483s
0.09/0.12	c DB Simplification allowed=false
0.09/0.12	c Listener: org.sat4j.pb.tools.ManyCorePB@9f436f5
0.09/0.12	c --- End Solver configuration ---
0.09/0.12	c solving HOME/instance-4119537-1467258439.opb
0.09/0.12	c reading problem ... 
0.09/0.12	c  objective function found
0.70/0.40	c ... done. Wall clock time 0.28s.
0.70/0.40	c declared #vars     40
0.70/0.40	c internal #vars     2053
0.70/0.40	c #constraints  4026
0.70/0.40	c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<<
0.70/0.40	c constraints type 
0.70/0.40	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 2013
0.70/0.40	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 2013
0.70/0.40	c 4026 constraints processed.
0.70/0.40	c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<<
0.70/0.40	c constraints type 
0.70/0.40	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 2013
0.70/0.40	c org.sat4j.pb.constraints.pb.MaxWatchPb => 2013
0.70/0.40	c 4026 constraints processed.
0.70/0.40	c objective function length is 2053 literals
0.70/0.45	c And the winner is solver0
0.95/0.91	c SATISFIABLE
0.95/0.91	c OPTIMIZING...
0.95/0.91	c Got one! Elapsed wall clock time (in seconds):0.789
0.95/0.91	o 0
0.95/0.94	c And the winner is solver0
1.35/1.42	c Got one! Elapsed wall clock time (in seconds):1.3
1.35/1.42	o -18
1.35/1.44	c And the winner is solver0
1.46/1.93	c Got one! Elapsed wall clock time (in seconds):1.813
1.46/1.93	o -36
1.46/1.95	c And the winner is solver0
1.60/2.44	c Got one! Elapsed wall clock time (in seconds):2.318
1.60/2.44	o -61
1.60/2.45	c And the winner is solver0
1.65/2.94	c Got one! Elapsed wall clock time (in seconds):2.824
1.65/2.94	o -82
1.65/2.96	c And the winner is solver0
1.80/3.45	c Got one! Elapsed wall clock time (in seconds):3.328
1.80/3.45	o -86
1.80/3.45	c And the winner is solver0
1.82/3.95	c Got one! Elapsed wall clock time (in seconds):3.833
1.82/3.95	o -111
1.82/3.96	c And the winner is solver0
1.87/4.46	c Got one! Elapsed wall clock time (in seconds):4.336
1.87/4.46	o -116
1.87/4.47	c And the winner is solver0
1.97/4.96	c Got one! Elapsed wall clock time (in seconds):4.84
1.97/4.96	o -141
1.97/4.98	c And the winner is solver0
2.03/5.46	c Got one! Elapsed wall clock time (in seconds):5.343
2.03/5.46	o -146
2.03/5.47	c And the winner is solver0
2.04/5.97	c Got one! Elapsed wall clock time (in seconds):5.846
2.04/5.97	o -172
2.04/5.98	c And the winner is solver0
2.09/6.47	c Got one! Elapsed wall clock time (in seconds):6.349
2.09/6.47	o -177
2.09/6.48	c And the winner is solver0
2.15/6.97	c Got one! Elapsed wall clock time (in seconds):6.853
2.15/6.97	o -178
2.15/6.98	c And the winner is solver0
2.15/7.48	c Got one! Elapsed wall clock time (in seconds):7.356
2.15/7.48	o -203
2.20/7.50	c And the winner is solver0
2.29/7.98	c Got one! Elapsed wall clock time (in seconds):7.859
2.29/7.98	o -204
2.29/7.99	c And the winner is solver0
2.38/8.48	c Got one! Elapsed wall clock time (in seconds):8.362
2.38/8.48	o -209
2.38/8.49	c And the winner is solver0
2.39/8.99	c Got one! Elapsed wall clock time (in seconds):8.865
2.39/8.99	o -210
2.42/9.00	c And the winner is solver0
2.42/9.49	c Got one! Elapsed wall clock time (in seconds):9.375
2.42/9.49	o -214
2.43/9.52	c And the winner is solver0
2.50/10.00	c Got one! Elapsed wall clock time (in seconds):9.878
2.50/10.00	o -225
2.50/10.01	c And the winner is solver0
2.51/10.50	c Got one! Elapsed wall clock time (in seconds):10.381
2.51/10.50	o -227
2.51/10.51	c And the winner is solver0
2.53/11.00	c Got one! Elapsed wall clock time (in seconds):10.883
2.53/11.00	o -229
2.53/11.01	c And the winner is solver0
2.55/11.51	c Got one! Elapsed wall clock time (in seconds):11.386
2.55/11.51	o -232
2.55/11.52	c And the winner is solver0
2.57/12.01	c Got one! Elapsed wall clock time (in seconds):11.889
2.57/12.01	o -234
2.57/12.02	c And the winner is solver0
2.57/12.51	c Got one! Elapsed wall clock time (in seconds):12.392
2.57/12.51	o -235
2.57/12.52	c And the winner is solver0
2.58/13.01	c Got one! Elapsed wall clock time (in seconds):12.894
2.58/13.01	o -236
2.58/13.04	c And the winner is solver0
2.75/13.52	c Got one! Elapsed wall clock time (in seconds):13.397
2.75/13.52	o -238
2.75/13.53	c And the winner is solver0
2.79/14.02	c Got one! Elapsed wall clock time (in seconds):13.9
2.79/14.02	o -243
2.79/14.03	c And the winner is solver0
2.80/14.52	c Got one! Elapsed wall clock time (in seconds):14.403
2.80/14.52	o -244
2.80/14.53	c And the winner is solver0
2.80/15.03	c Got one! Elapsed wall clock time (in seconds):14.906
2.80/15.03	o -254
2.80/15.09	c And the winner is solver0
3.01/15.53	c Got one! Elapsed wall clock time (in seconds):15.409
3.01/15.53	o -262
3.01/15.55	c And the winner is solver0
3.22/16.03	c Got one! Elapsed wall clock time (in seconds):15.912
3.22/16.03	o -267
3.22/16.05	c And the winner is solver0
3.29/16.53	c Got one! Elapsed wall clock time (in seconds):16.415
3.29/16.53	o -268
3.29/16.55	c And the winner is solver0
3.32/17.04	c Got one! Elapsed wall clock time (in seconds):16.918
3.32/17.04	o -269
3.32/17.06	c And the winner is solver0
3.32/17.54	c Got one! Elapsed wall clock time (in seconds):17.421
3.32/17.54	o -271
3.32/17.57	c And the winner is solver0
3.41/18.05	c Got one! Elapsed wall clock time (in seconds):17.924
3.41/18.05	o -276
3.41/18.05	c And the winner is solver0
3.44/18.55	c Got one! Elapsed wall clock time (in seconds):18.426
3.44/18.55	o -278
3.44/18.56	c And the winner is solver0
3.45/19.05	c Got one! Elapsed wall clock time (in seconds):18.929
3.45/19.05	o -290
3.54/19.11	c And the winner is solver0
3.61/19.55	c Got one! Elapsed wall clock time (in seconds):19.432
3.61/19.55	o -293
3.61/19.58	c And the winner is solver0
3.70/20.05	c Got one! Elapsed wall clock time (in seconds):19.935
3.70/20.05	o -294
3.70/20.08	c And the winner is solver0
3.78/20.56	c Got one! Elapsed wall clock time (in seconds):20.438
3.78/20.56	o -298
3.78/20.58	c And the winner is solver0
3.85/21.06	c Got one! Elapsed wall clock time (in seconds):20.941
3.85/21.06	o -301
3.85/21.07	c And the winner is solver0
3.90/21.56	c Got one! Elapsed wall clock time (in seconds):21.443
3.90/21.56	o -303
3.90/21.58	c And the winner is solver0
3.98/22.07	c Got one! Elapsed wall clock time (in seconds):21.946
3.98/22.07	o -307
4.05/22.12	c And the winner is solver0
4.09/22.57	c Got one! Elapsed wall clock time (in seconds):22.449
4.09/22.57	o -308
4.15/22.62	c And the winner is solver0
4.21/23.09	c Got one! Elapsed wall clock time (in seconds):22.966
4.21/23.09	o -310
4.21/23.10	c And the winner is solver0
4.22/23.59	c Got one! Elapsed wall clock time (in seconds):23.469
4.22/23.59	o -312
4.23/23.62	c And the winner is solver0
4.30/24.09	c Got one! Elapsed wall clock time (in seconds):23.972
4.30/24.09	o -313
4.80/24.33	c And the winner is solver0
4.90/24.59	c Got one! Elapsed wall clock time (in seconds):24.475
4.90/24.59	o -322
4.90/24.63	c And the winner is solver0
5.00/25.10	c Got one! Elapsed wall clock time (in seconds):24.978
5.00/25.10	o -326
5.00/25.13	c And the winner is solver0
5.09/25.60	c Got one! Elapsed wall clock time (in seconds):25.481
5.09/25.60	o -328
5.11/25.61	c And the winner is solver0
5.26/26.10	c Got one! Elapsed wall clock time (in seconds):25.984
5.26/26.10	o -335
5.26/26.13	c And the winner is solver0
5.35/26.61	c Got one! Elapsed wall clock time (in seconds):26.487
5.35/26.61	o -337
5.35/26.65	c And the winner is solver0
5.46/27.11	c Got one! Elapsed wall clock time (in seconds):26.989
5.46/27.11	o -344
5.46/27.19	c And the winner is solver0
5.68/27.61	c Got one! Elapsed wall clock time (in seconds):27.492
5.68/27.61	o -346
5.68/27.67	c And the winner is solver0
5.83/28.12	c Got one! Elapsed wall clock time (in seconds):27.995
5.83/28.12	o -363
6.19/28.36	c And the winner is solver0
6.36/28.62	c Got one! Elapsed wall clock time (in seconds):28.498
6.36/28.62	o -367
6.53/28.74	c And the winner is solver0
6.63/29.12	c Got one! Elapsed wall clock time (in seconds):29.001
6.63/29.12	o -368
6.82/29.22	c And the winner is solver0
6.94/29.63	c Got one! Elapsed wall clock time (in seconds):29.504
6.94/29.63	o -370
6.94/29.65	c And the winner is solver0
7.02/30.13	c Got one! Elapsed wall clock time (in seconds):30.007
7.02/30.13	o -375
7.61/30.41	c And the winner is solver0
7.67/30.63	c Got one! Elapsed wall clock time (in seconds):30.509
7.67/30.63	o -376
7.80/30.72	c And the winner is solver0
7.88/31.13	c Got one! Elapsed wall clock time (in seconds):31.012
7.88/31.13	o -377
7.88/31.15	c And the winner is solver0
7.92/31.64	c Got one! Elapsed wall clock time (in seconds):31.515
7.92/31.64	o -378
7.92/31.66	c And the winner is solver0
8.01/32.14	c Got one! Elapsed wall clock time (in seconds):32.018
8.01/32.14	o -379
8.01/32.18	c And the winner is solver0
8.13/32.64	c Got one! Elapsed wall clock time (in seconds):32.521
8.13/32.64	o -388
9.93/33.52	c And the winner is solver0
10.01/33.65	c Got one! Elapsed wall clock time (in seconds):33.524
10.01/33.65	o -389
10.33/33.81	c And the winner is solver0
10.40/34.15	c Got one! Elapsed wall clock time (in seconds):34.028
10.40/34.15	o -390
10.51/34.26	c And the winner is solver0
10.63/34.65	c Got one! Elapsed wall clock time (in seconds):34.531
10.63/34.65	o -391
10.63/34.68	c And the winner is solver0
10.70/35.17	c Got one! Elapsed wall clock time (in seconds):35.055
10.70/35.17	o -392
10.70/35.19	c And the winner is solver0
10.76/35.68	c Got one! Elapsed wall clock time (in seconds):35.559
10.76/35.68	o -393
10.76/35.69	c And the winner is solver0
10.81/36.18	c Got one! Elapsed wall clock time (in seconds):36.062
10.81/36.18	o -394
10.84/36.21	c And the winner is solver0
10.91/36.69	c Got one! Elapsed wall clock time (in seconds):36.565
10.91/36.69	o -400
10.94/36.76	c And the winner is solver0
11.10/37.19	c Got one! Elapsed wall clock time (in seconds):37.068
11.10/37.19	o -401
11.11/37.22	c And the winner is solver0
11.20/37.69	c Got one! Elapsed wall clock time (in seconds):37.571
11.20/37.69	o -402
11.21/37.71	c And the winner is solver0
11.28/38.19	c Got one! Elapsed wall clock time (in seconds):38.075
11.28/38.19	o -403
11.94/38.55	c cleaning 6504 clauses out of 13008 with flag 2014/13008
11.94/38.55	c And the winner is solver0
12.10/38.70	c Got one! Elapsed wall clock time (in seconds):38.578
12.10/38.70	o -406
12.30/38.89	c And the winner is solver0
12.51/39.20	c Got one! Elapsed wall clock time (in seconds):39.081
12.51/39.20	o -410
12.51/39.23	c And the winner is solver0
12.60/39.70	c Got one! Elapsed wall clock time (in seconds):39.584
12.60/39.70	o -411
12.60/39.74	c And the winner is solver0
12.69/40.21	c Got one! Elapsed wall clock time (in seconds):40.087
12.69/40.21	o -412
12.87/40.33	c And the winner is solver0
12.96/40.71	c Got one! Elapsed wall clock time (in seconds):40.59
12.96/40.71	o -418
14.79/41.63	c And the winner is solver0
14.90/41.71	c Got one! Elapsed wall clock time (in seconds):41.593
14.90/41.71	o -421
15.71/42.11	c And the winner is solver0
15.75/42.22	c Got one! Elapsed wall clock time (in seconds):42.096
15.75/42.22	o -423
15.75/42.28	c And the winner is solver0
15.90/42.72	c Got one! Elapsed wall clock time (in seconds):42.6
15.90/42.72	o -426
16.05/42.80	c And the winner is solver0
16.10/43.22	c Got one! Elapsed wall clock time (in seconds):43.103
16.10/43.22	o -427
16.24/43.36	c And the winner is solver0
16.53/43.73	c Got one! Elapsed wall clock time (in seconds):43.606
16.53/43.73	o -428
16.90/43.96	c And the winner is solver0
17.07/44.23	c Got one! Elapsed wall clock time (in seconds):44.11
17.07/44.23	o -429
17.07/44.24	c And the winner is solver0
17.09/44.74	c Got one! Elapsed wall clock time (in seconds):44.613
17.09/44.74	o -432
17.09/44.74	c And the winner is solver0
17.11/45.24	c Got one! Elapsed wall clock time (in seconds):45.116
17.11/45.24	o -434
17.11/45.29	c And the winner is solver0
17.26/45.74	c Got one! Elapsed wall clock time (in seconds):45.62
17.26/45.74	o -435
17.57/45.90	c And the winner is solver0
17.59/46.24	c Got one! Elapsed wall clock time (in seconds):46.123
17.59/46.24	o -436
17.75/46.33	c And the winner is solver0
17.86/46.75	c Got one! Elapsed wall clock time (in seconds):46.627
17.86/46.75	o -438
18.36/47.06	c cleaning 8058 clauses out of 16116 with flag 2002/22620
19.18/47.42	c And the winner is solver0
19.23/47.75	c Got one! Elapsed wall clock time (in seconds):47.63
19.23/47.75	o -440
20.12/48.21	c And the winner is solver0
20.12/48.25	c Got one! Elapsed wall clock time (in seconds):48.133
20.12/48.25	o -443
20.28/48.32	c And the winner is solver0
20.35/48.76	c Got one! Elapsed wall clock time (in seconds):48.637
20.35/48.76	o -444
20.63/48.94	c And the winner is solver0
20.78/49.26	c Got one! Elapsed wall clock time (in seconds):49.14
20.78/49.26	o -445
20.78/49.28	c And the winner is solver0
20.83/49.76	c Got one! Elapsed wall clock time (in seconds):49.644
20.83/49.76	o -446
21.09/49.98	c And the winner is solver0
21.31/50.27	c Got one! Elapsed wall clock time (in seconds):50.147
21.31/50.27	o -451
23.01/51.18	c cleaning 7848 clauses out of 15698 with flag 6001/30260
26.47/52.81	c cleaning 6925 clauses out of 13850 with flag 18001/36260
27.65/53.45	c And the winner is solver0
27.91/53.77	c Got one! Elapsed wall clock time (in seconds):53.651
27.91/53.77	o -460
29.36/54.59	c cleaning 6171 clauses out of 12341 with flag 6002/41676
30.37/55.10	c And the winner is solver0
30.62/55.28	c Got one! Elapsed wall clock time (in seconds):55.155
30.62/55.28	o -461
30.87/55.46	c And the winner is solver0
31.06/55.78	c Got one! Elapsed wall clock time (in seconds):55.658
31.06/55.78	o -462
31.09/55.82	c And the winner is solver0
31.20/56.28	c Got one! Elapsed wall clock time (in seconds):56.162
31.20/56.28	o -467
31.49/56.40	c And the winner is solver0
31.56/56.78	c Got one! Elapsed wall clock time (in seconds):56.666
31.56/56.78	o -468
31.56/56.79	c And the winner is solver0
31.57/57.29	c Got one! Elapsed wall clock time (in seconds):57.169
31.57/57.29	o -469
31.59/57.35	c And the winner is solver0
31.74/57.79	c Got one! Elapsed wall clock time (in seconds):57.673
31.74/57.79	o -470
33.14/58.54	c And the winner is solver0
33.27/58.80	c Got one! Elapsed wall clock time (in seconds):58.677
33.27/58.80	o -471
34.27/59.38	c cleaning 7136 clauses out of 14271 with flag 4034/49777
34.87/59.66	c And the winner is solver0
35.05/59.80	c Got one! Elapsed wall clock time (in seconds):59.68
35.05/59.80	o -472
35.05/59.83	c And the winner is solver0
35.14/60.31	c Got one! Elapsed wall clock time (in seconds):60.184
35.14/60.31	o -475
35.14/60.31	c And the winner is solver0
35.14/60.81	c Got one! Elapsed wall clock time (in seconds):60.688
35.14/60.81	o -476
35.14/60.83	c And the winner is solver0
35.21/61.31	c Got one! Elapsed wall clock time (in seconds):61.192
35.21/61.31	o -478
35.38/61.44	c And the winner is solver0
35.50/61.82	c Got one! Elapsed wall clock time (in seconds):61.696
35.50/61.82	o -480
36.11/62.17	c And the winner is solver0
36.31/62.32	c Got one! Elapsed wall clock time (in seconds):62.2
36.31/62.32	o -485
37.86/63.16	c cleaning 6475 clauses out of 12958 with flag 6003/55600
41.08/64.78	c cleaning 6242 clauses out of 12483 with flag 18003/61600
45.16/66.71	c cleaning 6620 clauses out of 13241 with flag 32003/68600
47.56/67.99	c And the winner is solver0
47.82/68.32	c Got one! Elapsed wall clock time (in seconds):68.205
47.82/68.32	o -495
48.35/68.62	c cleaning 6240 clauses out of 12485 with flag 2002/74464
51.55/70.21	c cleaning 6119 clauses out of 12246 with flag 14004/80465
51.75/70.34	c And the winner is solver0
51.89/70.83	c Got one! Elapsed wall clock time (in seconds):70.71
51.89/70.83	o -496
53.91/71.88	c And the winner is solver0
54.12/72.33	c Got one! Elapsed wall clock time (in seconds):72.214
54.12/72.33	o -497
54.24/72.40	c And the winner is solver0
54.31/72.84	c Got one! Elapsed wall clock time (in seconds):72.718
54.31/72.84	o -498
54.31/72.85	c And the winner is solver0
54.31/73.34	c Got one! Elapsed wall clock time (in seconds):73.222
54.31/73.34	o -499
54.31/73.35	c And the winner is solver0
54.31/73.85	c Got one! Elapsed wall clock time (in seconds):73.726
54.31/73.85	o -500
54.31/73.85	c And the winner is solver0
54.32/74.35	c Got one! Elapsed wall clock time (in seconds):74.23
54.32/74.35	o -501
54.41/74.40	c And the winner is solver0
54.46/74.85	c Got one! Elapsed wall clock time (in seconds):74.734
54.46/74.85	o -503
55.54/75.42	c cleaning 6405 clauses out of 12809 with flag 4097/87147
57.13/76.24	c And the winner is solver0
57.29/76.36	c Got one! Elapsed wall clock time (in seconds):76.238
57.29/76.36	o -504
58.36/76.91	c cleaning 5825 clauses out of 11654 with flag 4003/92397
59.47/77.41	c And the winner is solver0
59.57/77.86	c Got one! Elapsed wall clock time (in seconds):77.742
59.57/77.86	o -505
59.83/78.00	c And the winner is solver0
59.93/78.37	c Got one! Elapsed wall clock time (in seconds):78.246
59.93/78.37	o -507
59.99/78.42	c And the winner is solver0
60.06/78.87	c Got one! Elapsed wall clock time (in seconds):78.75
60.06/78.87	o -508
60.11/78.92	c And the winner is solver0
60.20/79.37	c Got one! Elapsed wall clock time (in seconds):79.254
60.20/79.37	o -510
60.44/79.53	c And the winner is solver0
60.58/79.88	c Got one! Elapsed wall clock time (in seconds):79.758
60.58/79.88	o -511
60.81/80.00	c And the winner is solver0
60.87/80.38	c Got one! Elapsed wall clock time (in seconds):80.262
60.87/80.38	o -513
62.91/81.43	c And the winner is solver0
63.05/81.89	c Got one! Elapsed wall clock time (in seconds):81.766
63.05/81.89	o -526
63.46/82.19	c cleaning 7123 clauses out of 14252 with flag 2001/100820
66.68/83.79	c cleaning 6564 clauses out of 13130 with flag 14003/106821
70.75/85.74	c cleaning 6782 clauses out of 13565 with flag 28001/113820
75.15/87.92	c cleaning 7388 clauses out of 14784 with flag 44003/121821
80.15/90.40	c cleaning 8197 clauses out of 16396 with flag 62003/130821
83.94/92.49	c And the winner is solver0
84.22/92.68	c Got one! Elapsed wall clock time (in seconds):92.562
84.22/92.68	o -530
87.05/94.18	c cleaning 9732 clauses out of 19465 with flag 10002/142087
90.46/95.84	c cleaning 7865 clauses out of 15734 with flag 22004/148088
94.25/97.77	c cleaning 7431 clauses out of 14869 with flag 36004/155088
95.50/98.31	c And the winner is solver0
95.62/98.69	c Got one! Elapsed wall clock time (in seconds):98.567
95.62/98.69	o -532
97.43/99.60	c And the winner is solver0
97.53/99.74	c Got one! Elapsed wall clock time (in seconds):99.622
97.53/99.74	o -533
98.07/100.00	c And the winner is solver0
98.21/100.25	c Got one! Elapsed wall clock time (in seconds):100.126
98.21/100.25	o -534
98.21/100.29	c And the winner is solver0
98.33/100.75	c Got one! Elapsed wall clock time (in seconds):100.63
98.33/100.75	o -536
98.81/101.06	c cleaning 7327 clauses out of 14654 with flag 2096/162304
101.21/102.22	c And the winner is solver0
101.35/102.35	c Got one! Elapsed wall clock time (in seconds):102.235
101.35/102.35	o -537
101.84/102.65	c cleaning 6395 clauses out of 12799 with flag 2003/167776
105.12/104.28	c cleaning 6202 clauses out of 12405 with flag 14005/173777
108.13/105.78	c And the winner is solver0
108.40/105.91	c Got one! Elapsed wall clock time (in seconds):105.79
108.40/105.91	o -538
108.57/106.06	c And the winner is solver0
108.85/106.41	c Got one! Elapsed wall clock time (in seconds):106.294
108.85/106.41	o -539
108.85/106.49	c And the winner is solver0
109.05/106.92	c Got one! Elapsed wall clock time (in seconds):106.798
109.05/106.92	o -540
109.21/107.08	c And the winner is solver0
109.52/107.42	c Got one! Elapsed wall clock time (in seconds):107.303
109.52/107.42	o -541
109.52/107.48	c And the winner is solver0
109.68/107.93	c Got one! Elapsed wall clock time (in seconds):107.807
109.68/107.93	o -542
109.68/107.96	c And the winner is solver0
109.78/108.43	c Got one! Elapsed wall clock time (in seconds):108.311
109.78/108.43	o -543
109.90/108.57	c And the winner is solver0
110.16/108.93	c Got one! Elapsed wall clock time (in seconds):108.815
110.16/108.93	o -544
110.87/109.31	c And the winner is solver0
111.23/109.54	c Got one! Elapsed wall clock time (in seconds):109.424
111.23/109.54	o -546
113.53/110.75	c And the winner is solver0
113.76/111.05	c Got one! Elapsed wall clock time (in seconds):110.928
113.76/111.05	o -550
114.45/111.41	c cleaning 10062 clauses out of 20128 with flag 2001/187702
117.65/113.07	c cleaning 8031 clauses out of 16067 with flag 14003/193703
121.45/114.98	c cleaning 7514 clauses out of 15035 with flag 28001/200702
126.15/117.27	c cleaning 7756 clauses out of 15521 with flag 44001/208702
131.15/119.76	c cleaning 8383 clauses out of 16765 with flag 62001/217702
135.55/121.93	c And the winner is solver0
135.78/122.10	c Got one! Elapsed wall clock time (in seconds):121.985
135.78/122.10	o -558
138.76/123.68	c cleaning 10584 clauses out of 21169 with flag 10004/230489
142.49/125.49	c cleaning 8291 clauses out of 16585 with flag 22004/236489
144.08/126.28	c And the winner is solver0
144.44/126.66	c Got one! Elapsed wall clock time (in seconds):126.544
144.44/126.66	o -559
146.11/127.51	c cleaning 7123 clauses out of 14259 with flag 6005/242454
146.52/127.75	c And the winner is solver0
146.76/128.17	c Got one! Elapsed wall clock time (in seconds):128.049
146.76/128.17	o -560
147.61/128.70	c And the winner is solver0
147.95/129.17	c Got one! Elapsed wall clock time (in seconds):129.053
147.95/129.17	o -561
150.19/130.30	c cleaning 7031 clauses out of 14069 with flag 8062/249387
151.79/131.13	c And the winner is solver0
152.04/131.33	c Got one! Elapsed wall clock time (in seconds):131.209
152.04/131.33	o -562
152.97/131.89	c cleaning 6144 clauses out of 12295 with flag 4005/254644
156.45/133.52	c cleaning 6072 clauses out of 12150 with flag 16003/260643
160.06/135.39	c cleaning 6540 clauses out of 13079 with flag 30005/267644
160.26/135.47	c And the winner is solver0
160.53/135.83	c Got one! Elapsed wall clock time (in seconds):135.714
160.53/135.83	o -563
160.65/135.98	c And the winner is solver0
160.99/136.34	c Got one! Elapsed wall clock time (in seconds):136.218
160.99/136.34	o -567
161.50/136.62	c And the winner is solver0
161.69/136.85	c Got one! Elapsed wall clock time (in seconds):136.724
161.69/136.85	o -568
161.69/136.90	c And the winner is solver0
161.84/137.35	c Got one! Elapsed wall clock time (in seconds):137.228
161.84/137.35	o -570
163.94/138.46	c cleaning 6335 clauses out of 12673 with flag 8092/273778
166.55/139.72	c And the winner is solver0
166.76/139.91	c Got one! Elapsed wall clock time (in seconds):139.783
166.76/139.91	o -574
167.14/140.19	c cleaning 6080 clauses out of 12169 with flag 2004/279609
170.45/141.79	c cleaning 6044 clauses out of 12089 with flag 14004/285609
174.26/143.65	c cleaning 6521 clauses out of 13045 with flag 28004/292609
178.66/145.83	c cleaning 7261 clauses out of 14523 with flag 44002/300608
183.66/148.30	c cleaning 8132 clauses out of 16263 with flag 62004/309609
190.18/151.86	c cleaning 9062 clauses out of 18131 with flag 82011/319609
192.77/153.10	c And the winner is solver0
192.85/153.28	c Got one! Elapsed wall clock time (in seconds):153.157
192.85/153.28	o -577
193.29/153.58	c cleaning 7259 clauses out of 14523 with flag 2006/325063
196.50/155.16	c cleaning 6629 clauses out of 13264 with flag 14006/331063
200.28/157.00	c cleaning 6816 clauses out of 13634 with flag 28004/338062
200.68/157.20	c And the winner is solver0
200.80/157.38	c Got one! Elapsed wall clock time (in seconds):157.262
200.80/157.38	o -578
201.89/157.92	c And the winner is solver0
202.15/158.39	c Got one! Elapsed wall clock time (in seconds):158.267
202.15/158.39	o -579
203.76/159.21	c cleaning 6323 clauses out of 12647 with flag 6093/343891
206.98/160.81	c cleaning 6159 clauses out of 12323 with flag 18092/349890
208.87/161.74	c And the winner is solver0
209.09/161.95	c Got one! Elapsed wall clock time (in seconds):161.829
209.09/161.95	o -581
210.03/162.50	c cleaning 5736 clauses out of 11484 with flag 4001/355210
213.24/164.04	c cleaning 5870 clauses out of 11748 with flag 16001/361210
217.02/165.94	c cleaning 6439 clauses out of 12878 with flag 30001/368210
221.22/168.07	c cleaning 7220 clauses out of 14440 with flag 46003/376211
226.24/170.55	c cleaning 8106 clauses out of 16219 with flag 64001/385210
232.36/173.50	c cleaning 9057 clauses out of 18113 with flag 84001/395210
232.97/173.89	c And the winner is solver0
233.18/173.96	c Got one! Elapsed wall clock time (in seconds):173.836
233.18/173.96	o -582
235.33/175.09	c cleaning 7232 clauses out of 14474 with flag 8002/400628
238.71/176.73	c cleaning 6615 clauses out of 13242 with flag 20002/406628
241.11/177.92	c And the winner is solver0
241.33/178.16	c Got one! Elapsed wall clock time (in seconds):178.043
241.33/178.16	o -583
241.83/178.46	c cleaning 6011 clauses out of 12028 with flag 2005/412029
244.63/179.82	c And the winner is solver0
244.94/180.17	c Got one! Elapsed wall clock time (in seconds):180.048
244.94/180.17	o -585
248.16/181.71	c cleaning 8102 clauses out of 16210 with flag 10045/422222
248.76/182.02	c And the winner is solver0
248.98/182.28	c Got one! Elapsed wall clock time (in seconds):182.154
248.98/182.28	o -586
251.07/183.40	c cleaning 6624 clauses out of 13254 with flag 8005/427368
254.47/185.01	c cleaning 6312 clauses out of 12629 with flag 20003/433367
257.87/186.73	c And the winner is solver0
258.21/187.03	c Got one! Elapsed wall clock time (in seconds):186.912
258.21/187.03	o -588
258.53/187.23	c And the winner is solver0
258.74/187.54	c Got one! Elapsed wall clock time (in seconds):187.417
258.74/187.54	o -589
259.06/187.70	c And the winner is solver0
259.19/188.04	c Got one! Elapsed wall clock time (in seconds):187.923
259.19/188.04	o -590
259.19/188.09	c And the winner is solver0
259.30/188.55	c Got one! Elapsed wall clock time (in seconds):188.428
259.30/188.55	o -592
260.20/189.03	c And the winner is solver0
260.45/189.26	c Got one! Elapsed wall clock time (in seconds):189.134
260.45/189.26	o -593
261.78/189.95	c And the winner is solver0
262.14/190.26	c Got one! Elapsed wall clock time (in seconds):190.14
262.14/190.26	o -594
263.73/191.01	c cleaning 10018 clauses out of 20035 with flag 4169/447085
267.13/192.71	c cleaning 8004 clauses out of 16017 with flag 16459/453085
267.13/192.76	c And the winner is solver0
267.50/193.07	c Got one! Elapsed wall clock time (in seconds):192.947
267.50/193.07	o -595
270.18/194.41	c cleaning 6602 clauses out of 13218 with flag 10002/458290
273.38/196.00	c cleaning 6303 clauses out of 12616 with flag 22002/464290
276.98/197.87	c cleaning 6657 clauses out of 13313 with flag 36002/471290
281.38/200.02	c cleaning 7327 clauses out of 14657 with flag 52004/479291
286.51/202.57	c cleaning 8165 clauses out of 16330 with flag 70004/488291
287.10/202.85	c And the winner is solver0
287.46/203.12	c Got one! Elapsed wall clock time (in seconds):203.005
287.46/203.12	o -596
289.60/204.23	c cleaning 6624 clauses out of 13259 with flag 8003/493385
292.81/205.84	c cleaning 6314 clauses out of 12635 with flag 20003/499385
295.40/207.20	c And the winner is solver0
295.84/207.63	c Got one! Elapsed wall clock time (in seconds):207.512
295.84/207.63	o -600
296.77/208.11	c And the winner is solver0
296.99/208.39	c Got one! Elapsed wall clock time (in seconds):208.269
296.99/208.39	o -602
297.67/208.75	c And the winner is solver0
298.05/209.05	c Got one! Elapsed wall clock time (in seconds):208.925
298.05/209.05	o -603
299.75/209.96	c cleaning 8694 clauses out of 17388 with flag 6081/510452
302.95/211.59	c cleaning 7345 clauses out of 14695 with flag 18258/516453
307.09/213.54	c cleaning 7175 clauses out of 14349 with flag 32256/523452
311.48/215.77	c cleaning 7583 clauses out of 15174 with flag 48256/531452
316.07/218.08	c And the winner is solver0
316.52/218.56	c Got one! Elapsed wall clock time (in seconds):218.433
316.52/218.56	o -604
319.43/220.06	c cleaning 10445 clauses out of 20900 with flag 10006/544761
322.62/221.70	c cleaning 8219 clauses out of 16453 with flag 22002/550759
326.62/223.63	c cleaning 7614 clauses out of 15234 with flag 36002/557759
331.02/225.86	c cleaning 7808 clauses out of 15620 with flag 52002/565759
336.35/228.44	c cleaning 8403 clauses out of 16812 with flag 70002/574759
338.55/229.59	c And the winner is solver0
339.09/230.06	c Got one! Elapsed wall clock time (in seconds):229.941
339.09/230.06	o -605
339.55/230.36	c cleaning 6948 clauses out of 13902 with flag 2003/580252
342.75/231.96	c cleaning 6471 clauses out of 12954 with flag 14003/586252
346.55/233.83	c cleaning 6739 clauses out of 13484 with flag 28005/593253
346.75/233.90	c And the winner is solver0
347.06/234.27	c Got one! Elapsed wall clock time (in seconds):234.148
347.06/234.27	o -610
349.75/235.60	c cleaning 6012 clauses out of 12034 with flag 10146/598542
352.75/237.19	c cleaning 6009 clauses out of 12022 with flag 22146/604542
356.55/239.05	c cleaning 6504 clauses out of 13014 with flag 36148/611543
361.28/241.31	c cleaning 7253 clauses out of 14509 with flag 52146/619542
363.28/242.40	c And the winner is solver0
363.78/242.78	c Got one! Elapsed wall clock time (in seconds):242.656
363.78/242.78	o -611
364.27/243.08	c cleaning 6143 clauses out of 12289 with flag 2112/624575
367.47/244.68	c cleaning 6070 clauses out of 12145 with flag 14224/630574
371.29/246.53	c cleaning 6538 clauses out of 13076 with flag 28227/637575
375.69/248.78	c cleaning 7268 clauses out of 14538 with flag 44228/645575
380.67/251.22	c cleaning 8135 clauses out of 16269 with flag 62227/654574
386.47/254.10	c cleaning 9064 clauses out of 18135 with flag 82229/664575
393.07/257.31	c cleaning 10035 clauses out of 20071 with flag 104230/675575
393.49/257.59	c And the winner is solver1
393.65/257.89	c Got one! Elapsed wall clock time (in seconds):257.767
393.65/257.89	o -741
393.67/257.99	c And the winner is solver0
393.93/258.40	c Got one! Elapsed wall clock time (in seconds):258.274
393.93/258.40	o -745
393.93/258.44	c And the winner is solver0
394.07/258.90	c Got one! Elapsed wall clock time (in seconds):258.78
394.07/258.90	o -770
394.07/258.94	c And the winner is solver0
394.19/259.41	c Got one! Elapsed wall clock time (in seconds):259.287
394.19/259.41	o -834
394.19/259.48	c And the winner is solver0
394.39/259.91	c Got one! Elapsed wall clock time (in seconds):259.793
394.39/259.91	o -854
394.39/259.96	c And the winner is solver0
394.53/260.42	c Got one! Elapsed wall clock time (in seconds):260.299
394.53/260.42	o -952
394.68/260.50	c And the winner is solver0
394.76/260.92	c Got one! Elapsed wall clock time (in seconds):260.805
394.76/260.92	o -957
394.90/261.03	c And the winner is solver0
395.04/261.43	c Got one! Elapsed wall clock time (in seconds):261.312
395.04/261.43	o -964
397.79/262.84	c cleaning 8224 clauses out of 16454 with flag 10789/681993
404.27/266.20	c cleaning 7109 clauses out of 14229 with flag 29636/687992
409.66/268.91	c cleaning 7059 clauses out of 14122 with flag 55498/694994
415.86/272.01	c cleaning 7530 clauses out of 15064 with flag 84758/702995
423.35/275.74	c cleaning 8253 clauses out of 16532 with flag 120833/711993
432.57/280.14	c cleaning 9125 clauses out of 18279 with flag 164208/721993
438.97/283.34	c And the winner is solver0
439.52/283.82	c Got one! Elapsed wall clock time (in seconds):283.695
439.52/283.82	o -966
439.52/283.89	c And the winner is solver0
439.74/284.32	c Got one! Elapsed wall clock time (in seconds):284.201
439.74/284.32	o -981
443.21/286.02	c cleaning 11096 clauses out of 22192 with flag 10932/735031
447.19/288.02	c cleaning 8544 clauses out of 17097 with flag 23501/741032
451.59/290.28	c cleaning 7773 clauses out of 15552 with flag 37782/748031
456.99/292.92	c cleaning 7886 clauses out of 15780 with flag 54351/756032
462.78/295.88	c cleaning 8443 clauses out of 16893 with flag 73318/765031
469.86/299.33	c cleaning 9221 clauses out of 18451 with flag 94423/775032
477.24/303.09	c cleaning 10113 clauses out of 20231 with flag 118785/786033
485.75/307.29	c cleaning 11054 clauses out of 22116 with flag 145725/798031
495.15/311.91	c cleaning 12030 clauses out of 24063 with flag 173305/811032
505.32/316.95	c cleaning 13015 clauses out of 26032 with flag 202877/825031
516.32/322.46	c cleaning 14004 clauses out of 28018 with flag 232902/840032
528.44/328.42	c cleaning 15006 clauses out of 30014 with flag 264929/856032
541.24/334.83	c cleaning 16004 clauses out of 32008 with flag 299049/873032
556.50/342.31	c cleaning 17002 clauses out of 34004 with flag 335112/891032
572.37/350.10	c cleaning 17996 clauses out of 36001 with flag 373382/910031
590.57/359.96	c cleaning 18999 clauses out of 38005 with flag 413557/930031
607.26/368.24	c cleaning 20004 clauses out of 40007 with flag 455845/951032
625.47/377.38	c cleaning 20999 clauses out of 42002 with flag 499896/973031
645.29/387.11	c cleaning 22001 clauses out of 44004 with flag 545918/996032
665.81/397.36	c cleaning 22998 clauses out of 46002 with flag 593938/1020031
688.19/408.48	c cleaning 24000 clauses out of 48005 with flag 643970/1045032
711.58/420.01	c cleaning 24998 clauses out of 50004 with flag 696009/1071031
737.23/432.63	c cleaning 26003 clauses out of 52007 with flag 750055/1098032
763.87/445.84	c cleaning 26996 clauses out of 54004 with flag 806118/1126032
792.86/460.88	c cleaning 28000 clauses out of 56008 with flag 864177/1155032
817.45/473.03	c And the winner is solver1
817.45/473.10	c Got one! Elapsed wall clock time (in seconds):472.976
817.45/473.10	o -986
823.39/476.08	c cleaning 29718 clauses out of 59439 with flag 14295/1186463
828.60/478.69	c cleaning 17857 clauses out of 35723 with flag 31219/1192465
834.64/481.69	c cleaning 12428 clauses out of 24864 with flag 51016/1199463
841.24/484.91	c cleaning 10214 clauses out of 20436 with flag 73267/1207463
848.45/488.59	c cleaning 9605 clauses out of 19224 with flag 102371/1216465
857.38/492.97	c cleaning 9809 clauses out of 19620 with flag 137289/1226466
866.96/497.73	c cleaning 10399 clauses out of 20809 with flag 180530/1237464
877.88/503.19	c cleaning 11202 clauses out of 22412 with flag 230253/1249466
890.63/509.48	c cleaning 12104 clauses out of 24208 with flag 279863/1262464
904.79/516.40	c cleaning 13045 clauses out of 26103 with flag 348185/1276463
919.40/523.77	c cleaning 14026 clauses out of 28058 with flag 421440/1291463
936.28/532.00	c cleaning 15016 clauses out of 30032 with flag 498116/1307463
954.84/541.15	c cleaning 16003 clauses out of 32017 with flag 567083/1324464
976.78/551.99	c cleaning 17002 clauses out of 34014 with flag 654374/1342464
1000.28/563.37	c cleaning 18000 clauses out of 36012 with flag 757937/1361464
1027.31/577.61	c cleaning 19003 clauses out of 38011 with flag 865491/1381463
1052.97/590.43	c cleaning 19992 clauses out of 40010 with flag 968045/1402465
1081.00/604.35	c cleaning 21001 clauses out of 42018 with flag 1085677/1424465
1111.60/619.51	c cleaning 22006 clauses out of 44016 with flag 1211790/1447464
1142.29/634.71	c cleaning 22998 clauses out of 46009 with flag 1349820/1471463
1173.85/650.48	c cleaning 23995 clauses out of 48011 with flag 1470354/1496463
1181.03/653.97	c And the winner is solver0
1182.14/654.96	c Got one! Elapsed wall clock time (in seconds):654.843
1182.14/654.96	o -987
1186.06/656.98	c cleaning 18453 clauses out of 36905 with flag 20073/1509352
1190.80/659.28	c cleaning 12226 clauses out of 24452 with flag 40199/1515352
1195.67/661.61	c cleaning 9612 clauses out of 19226 with flag 62603/1522352
1201.07/664.31	c cleaning 8803 clauses out of 17614 with flag 87602/1530352
1207.68/667.54	c cleaning 8902 clauses out of 17812 with flag 119124/1539353
1214.28/670.90	c cleaning 9449 clauses out of 18910 with flag 151578/1549353
1222.54/674.87	c cleaning 10230 clauses out of 20460 with flag 190508/1560352
1231.33/679.20	c cleaning 11113 clauses out of 22232 with flag 231543/1572354
1241.56/684.30	c cleaning 12054 clauses out of 24117 with flag 275892/1585352
1252.32/689.60	c cleaning 13031 clauses out of 26063 with flag 326858/1599352
1264.48/695.51	c cleaning 14016 clauses out of 28033 with flag 382541/1614353
1277.23/701.87	c cleaning 15008 clauses out of 30017 with flag 441729/1630353
1291.01/708.71	c cleaning 16001 clauses out of 32009 with flag 503740/1647353
1305.74/716.02	c cleaning 16999 clauses out of 34008 with flag 577309/1665353
1321.75/723.98	c cleaning 18001 clauses out of 36009 with flag 647129/1684353
1338.08/732.02	c cleaning 18999 clauses out of 38007 with flag 718183/1704352
1356.26/741.00	c cleaning 19999 clauses out of 40010 with flag 791867/1725354
1376.04/750.86	c cleaning 21001 clauses out of 42010 with flag 884244/1747353
1396.83/761.11	c cleaning 22003 clauses out of 44009 with flag 971855/1770353
1418.67/771.82	c cleaning 23001 clauses out of 46006 with flag 1053393/1794353
1441.51/783.18	c cleaning 24001 clauses out of 48004 with flag 1139895/1819352
1465.96/795.26	c cleaning 25002 clauses out of 50004 with flag 1231779/1845353
1492.45/808.35	c cleaning 25997 clauses out of 52002 with flag 1334301/1872353
1521.10/822.39	c cleaning 27001 clauses out of 54005 with flag 1440119/1900353
1550.23/836.79	c cleaning 28000 clauses out of 56003 with flag 1564474/1929352
1580.42/851.69	c cleaning 29000 clauses out of 58004 with flag 1693508/1959353
1615.24/870.28	c cleaning 30000 clauses out of 60004 with flag 1819567/1990353
1648.05/886.55	c cleaning 30998 clauses out of 62004 with flag 1942341/2022353
1682.32/903.58	c cleaning 32002 clauses out of 64006 with flag 2073506/2055353
1718.43/921.48	c cleaning 32999 clauses out of 66003 with flag 2210737/2089352
1755.97/940.03	c cleaning 34000 clauses out of 68004 with flag 2373587/2124352
1795.40/959.52	c cleaning 34999 clauses out of 70005 with flag 2491400/2160353
1800.00/961.80	c >>>>>>>>>> Solver number 0 (184 answers) <<<<<<<<<<<<<<<<<<
1800.00/961.80	c starts		: 7464
1800.00/961.80	c conflicts		: 2165597
1800.00/961.80	c decisions		: 7637364
1800.00/961.80	c propagations		: 157027644
1800.00/961.80	c inspects		: 5058936893
1800.00/961.80	c shortcuts		: 0
1800.00/961.80	c learnt literals	: 0
1800.00/961.80	c learnt binary clauses	: 205
1800.00/961.80	c learnt ternary clauses	: 1534
1800.00/961.80	c learnt constraints	: 2165597
1800.00/961.80	c ignored constraints	: 0
1800.00/961.80	c root simplifications	: 0
1800.00/961.80	c removed literals (reason simplification)	: 72038150
1800.00/961.80	c reason swapping (by a shorter reason)	: 0
1800.00/961.80	c Calls to reduceDB	: 176
1800.00/961.80	c Number of update (reduction) of LBD	: 38978
1800.00/961.80	c Imported unit clauses	: 0
1800.00/961.80	c number of reductions to clauses (during analyze)	: 0
1800.00/961.80	c number of learned constraints concerned by reduction	: 0
1800.00/961.80	c number of learning phase by resolution	: 0
1800.00/961.80	c number of learning phase by cutting planes	: 0
1800.00/961.80	c speed (assignments/second)	: 321316.3959148846
1800.00/961.80	c non guided choices	0
1800.00/961.82	c learnt constraints type 
1800.00/961.82	c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 205
1800.00/961.82	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 40045
1800.00/961.82	c >>>>>>>>>> Solver number 1 (2 answers) <<<<<<<<<<<<<<<<<<
1800.00/961.82	c starts		: 209
1800.00/961.82	c conflicts		: 4956
1800.00/961.82	c decisions		: 11562
1800.00/961.82	c propagations		: 888607
1800.00/961.82	c inspects		: 718792114
1800.00/961.82	c shortcuts		: 0
1800.00/961.82	c learnt literals	: 0
1800.00/961.82	c learnt binary clauses	: 0
1800.00/961.82	c learnt ternary clauses	: 3
1800.00/961.82	c learnt constraints	: 4814
1800.00/961.82	c ignored constraints	: 0
1800.00/961.82	c root simplifications	: 0
1800.00/961.82	c removed literals (reason simplification)	: 0
1800.00/961.82	c reason swapping (by a shorter reason)	: 0
1800.00/961.82	c Calls to reduceDB	: 0
1800.00/961.82	c Number of update (reduction) of LBD	: 0
1800.00/961.82	c Imported unit clauses	: 0
1800.00/961.82	c number of reductions to clauses (during analyze)	: 0
1800.00/961.82	c number of learned constraints concerned by reduction	: 0
1800.00/961.82	c number of learning phase by resolution	: 0
1800.00/961.82	c number of learning phase by cutting planes	: 0
1800.00/961.82	c speed (assignments/second)	: 2895.9097145501532
1800.00/961.82	c non guided choices	0
1800.00/961.82	c learnt constraints type 
1800.00/961.82	c org.sat4j.pb.constraints.pb.LearntHTClausePB => 1
1800.00/961.82	c org.sat4j.pb.constraints.pb.MaxWatchPb => 4813
1800.00/961.82	s SATISFIABLE
1800.00/961.82	c Found 186 solution(s)
1800.00/961.82	v x1 -x2 x3 x4 -x5 -x6 x7 -x8 -x9 -x10 -x11 x12 x13 -x14 x15 -x16 -x17 -x18 -x19 -x20 x21 -x22 x23 -x24 x25 -x26 -x27 -x28 -x29 -x30 x31 x32 -x33 -x34 x35 -x36 -x37 -x38 -x39 -x40 
1800.00/961.82	c objective function=-987
1800.00/961.82	c Total wall clock time (in seconds): 961.705

Verifier Data 

OK	-987

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-4119537-1467258439/watcher-4119537-1467258439 -o /tmp/evaluation-result-4119537-1467258439/solver-4119537-1467258439 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node141-1467246696-6245 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4119537-1467258439.opb 

pid=13182
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: 4.11 4.07 4.01 4/197 13185
/proc/meminfo: memFree=27110352/32872528 swapFree=480236/529292
[pid=13185] ppid=13182 vsize=268 CPUtime=0 cores=1,3,5,7
/proc/13185/stat : 13185 (java) R 13182 13185 6228 0 -1 4194304 345 0 0 0 0 0 0 0 20 0 1 0 4863869 274432 15 33554432000 1073741824 1073778376 140736771442608 140733280198424 211449554432 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/13185/statm: 68 26 19 9 0 25 0

[startup+0.100059 s]
/proc/loadavg: 4.11 4.07 4.01 4/197 13185
/proc/meminfo: memFree=27110352/32872528 swapFree=480236/529292
[pid=13185] ppid=13182 vsize=9558476 CPUtime=0.09 cores=1,3,5,7
/proc/13185/stat : 13185 (java) S 13182 13185 6228 0 -1 4202496 4470 0 1 0 8 1 0 0 20 0 18 0 4863869 9787879424 6095 33554432000 1073741824 1073778376 140736771442608 140736771433744 211462160445 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13185/statm: 2389619 6095 2126 9 0 2380296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558476

[startup+0.200194 s]
/proc/loadavg: 4.11 4.07 4.01 4/197 13185
/proc/meminfo: memFree=27110352/32872528 swapFree=480236/529292
[pid=13185] ppid=13182 vsize=9558476 CPUtime=0.23 cores=1,3,5,7
/proc/13185/stat : 13185 (java) S 13182 13185 6228 0 -1 4202496 4694 0 1 0 22 1 0 0 20 0 18 0 4863869 9787879424 7317 33554432000 1073741824 1073778376 140736771442608 140736771433744 211462160445 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13185/statm: 2389619 7317 2207 9 0 2380296 0
Current children cumulated CPU time (s) 0.23
Current children cumulated vsize (KiB) 9558476

[startup+0.300196 s]
/proc/loadavg: 4.11 4.07 4.01 4/197 13185
/proc/meminfo: memFree=27110352/32872528 swapFree=480236/529292
[pid=13185] ppid=13182 vsize=9558476 CPUtime=0.47 cores=1,3,5,7
/proc/13185/stat : 13185 (java) S 13182 13185 6228 0 -1 4202496 5318 0 1 0 45 2 0 0 20 0 18 0 4863869 9787879424 8365 33554432000 1073741824 1073778376 140736771442608 140736771433744 211462160445 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13185/statm: 2389619 8365 2232 9 0 2380296 0
Current children cumulated CPU time (s) 0.47
Current children cumulated vsize (KiB) 9558476

[startup+0.700271 s]
/proc/loadavg: 4.11 4.07 4.01 4/197 13185
/proc/meminfo: memFree=27110352/32872528 swapFree=480236/529292
[pid=13185] ppid=13182 vsize=9824732 CPUtime=0.95 cores=1,3,5,7
/proc/13185/stat : 13185 (java) S 13182 13185 6228 0 -1 4202496 8681 0 1 0 91 4 0 0 20 0 19 0 4863869 10060525568 12417 33554432000 1073741824 1073778376 140736771442608 140736771433744 211462160445 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13185/statm: 2456183 12417 2260 9 0 2446860 0
Current children cumulated CPU time (s) 0.95
Current children cumulated vsize (KiB) 9824732

[startup+1.50075 s]
/proc/loadavg: 4.10 4.07 4.01 3/216 13210
/proc/meminfo: memFree=27054828/32872528 swapFree=480236/529292
[pid=13185] ppid=13182 vsize=9824732 CPUtime=1.46 cores=1,3,5,7
/proc/13185/stat : 13185 (java) S 13182 13185 6228 0 -1 4202496 13587 0 1 0 137 9 0 0 20 0 19 0 4863869 10060525568 17922 33554432000 1073741824 1073778376 140736771442608 140736771433744 211462160445 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13185/statm: 2456183 17922 2263 9 0 2446860 0
[pid=13185/tid=13187] ppid=13182 vsize=9824732 CPUtime=0.39 cores=1,3,5,7
/proc/13185/task/13187/stat : 13187 (java) S 13182 13185 6228 0 -1 4202560 2468 0 1 0 38 1 0 0 20 0 19 0 4863870 10060525568 17922 33554432000 1073741824 1073778376 140736771442608 140433018782584 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13185/tid=13188] ppid=13182 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13185/task/13188/stat : 13188 (java) S 13182 13185 6228 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4863871 10060525568 17922 33554432000 1073741824 1073778376 140736771442608 140432862804904 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13185/tid=13189] ppid=13182 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13185/task/13189/stat : 13189 (java) S 13182 13185 6228 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4863871 10060525568 17922 33554432000 1073741824 1073778376 140736771442608 140432861752360 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13185/tid=13190] ppid=13182 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13185/task/13190/stat : 13190 (java) S 13182 13185 6228 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4863871 10060525568 17922 33554432000 1073741824 1073778376 140736771442608 140432860699304 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13185/tid=13191] ppid=13182 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13185/task/13191/stat : 13191 (java) S 13182 13185 6228 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4863871 10060525568 17922 33554432000 1073741824 1073778376 140736771442608 140432859646760 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13185/tid=13192] ppid=13182 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13185/task/13192/stat : 13192 (java) S 13182 13185 6228 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4863871 10060525568 17922 33554432000 1073741824 1073778376 140736771442608 140432858593704 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13185/tid=13193] ppid=13182 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13185/task/13193/stat : 13193 (java) S 13182 13185 6228 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4863871 10060525568 17922 33554432000 1073741824 1073778376 140736771442608 140432857541160 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13185/tid=13194] ppid=13182 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13185/task/13194/stat : 13194 (java) S 13182 13185 6228 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4863871 10060525568 17922 33554432000 1073741824 1073778376 140736771442608 140432856488104 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13185/tid=13195] ppid=13182 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13185/task/13195/stat : 13195 (java) S 13182 13185 6228 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 4863871 10060525568 17922 33554432000 1073741824 1073778376 140736771442608 140432855435560 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13185/tid=13196] ppid=13182 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13185/task/13196/stat : 13196 (java) S 13182 13185 6228 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 4863872 10060525568 17922 33554432000 1073741824 1073778376 140736771442608 140432843025256 211462174633 0 0 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13185/tid=13197] ppid=13182 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13185/task/13197/stat : 13197 (java) S 13182 13185 6228 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 4863872 10060525568 17922 33554432000 1073741824 1073778376 140736771442608 140432841971576 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13185/tid=13198] ppid=13182 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13185/task/13198/stat : 13198 (java) S 13182 13185 6228 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 4863872 10060525568 17922 33554432000 1073741824 1073778376 140736771442608 140432840918408 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13185/tid=13199] ppid=13182 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13185/task/13199/stat : 13199 (java) S 13182 13185 6228 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4863875 10060525568 17922 33554432000 1073741824 1073778376 140736771442608 140432839867152 211462182688 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13185/tid=13200] ppid=13182 vsize=9824732 CPUtime=0.37 cores=1,3,5,7
/proc/13185/task/13200/stat : 13200 (java) S 13182 13185 6228 0 -1 4202560 3039 0 0 0 37 0 0 0 20 0 19 0 4863875 10060525568 17922 33554432000 1073741824 1073778376 140736771442608 140432838814008 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13185/tid=13201] ppid=13182 vsize=9824732 CPUtime=0.45 cores=1,3,5,7
/proc/13185/task/13201/stat : 13201 (java) S 13182 13185 6228 0 -1 4202560 6723 0 0 0 45 0 0 0 20 0 19 0 4863875 10060525568 17922 33554432000 1073741824 1073778376 140736771442608 140432837761464 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13185/tid=13202] ppid=13182 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13185/task/13202/stat : 13202 (java) S 13182 13185 6228 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4863875 10060525568 17922 33554432000 1073741824 1073778376 140736771442608 140432836708600 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13185/tid=13203] ppid=13182 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13185/task/13203/stat : 13203 (java) S 13182 13185 6228 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4863875 10060525568 17922 33554432000 1073741824 1073778376 140736771442608 140432835656264 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13185/tid=13206] ppid=13182 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13185/task/13206/stat : 13206 (java) S 13182 13185 6228 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 4863911 10060525568 17922 33554432000 1073741824 1073778376 140736771442608 140432831849768 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 9824732

[startup+3.10084 s]
/proc/loadavg: 4.10 4.07 4.01 3/216 13216
/proc/meminfo: memFree=27040112/32872528 swapFree=480236/529292
[pid=13185] ppid=13182 vsize=9824732 CPUtime=1.8 cores=1,3,5,7
/proc/13185/stat : 13185 (java) S 13182 13185 6228 0 -1 4202496 13635 0 1 0 167 13 0 0 20 0 19 0 4863869 10060525568 22547 33554432000 1073741824 1073778376 140736771442608 140736771433744 211462160445 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13185/statm: 2456183 22547 2272 9 0 2446860 0
[pid=13185/tid=13187] ppid=13182 vsize=9824732 CPUtime=0.41 cores=1,3,5,7
/proc/13185/task/13187/stat : 13187 (java) S 13182 13185 6228 0 -1 4202560 2470 0 1 0 39 2 0 0 20 0 19 0 4863870 10060525568 22547 33554432000 1073741824 1073778376 140736771442608 140433018782584 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13185/tid=13188] ppid=13182 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13185/task/13188/stat : 13188 (java) S 13182 13185 6228 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4863871 10060525568 22547 33554432000 1073741824 1073778376 140736771442608 140432862804904 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13185/tid=13189] ppid=13182 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13185/task/13189/stat : 13189 (java) S 13182 13185 6228 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4863871 10060525568 22547 33554432000 1073741824 1073778376 140736771442608 140432861752360 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13185/tid=13190] ppid=13182 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13185/task/13190/stat : 13190 (java) S 13182 13185 6228 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4863871 10060525568 22547 33554432000 1073741824 1073778376 140736771442608 140432860699304 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13185/tid=13191] ppid=13182 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13185/task/13191/stat : 13191 (java) S 13182 13185 6228 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4863871 10060525568 22547 33554432000 1073741824 1073778376 140736771442608 140432859646760 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13185/tid=13192] ppid=13182 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13185/task/13192/stat : 13192 (java) S 13182 13185 6228 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4863871 10060525568 22547 33554432000 1073741824 1073778376 140736771442608 140432858593704 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13185/tid=13193] ppid=13182 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13185/task/13193/stat : 13193 (java) S 13182 13185 6228 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4863871 10060525568 22547 33554432000 1073741824 1073778376 140736771442608 140432857541160 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13185/tid=13194] ppid=13182 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13185/task/13194/stat : 13194 (java) S 13182 13185 6228 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4863871 10060525568 22547 33554432000 1073741824 1073778376 140736771442608 140432856488104 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13185/tid=13195] ppid=13182 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13185/task/13195/stat : 13195 (java) S 13182 13185 6228 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 4863871 10060525568 22547 33554432000 1073741824 1073778376 140736771442608 140432855435560 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13185/tid=13196] ppid=13182 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13185/task/13196/stat : 13196 (java) S 13182 13185 6228 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 4863872 10060525568 22547 33554432000 1073741824 1073778376 140736771442608 140432843025256 211462174633 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13185/tid=13197] ppid=13182 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13185/task/13197/stat : 13197 (java) S 13182 13185 6228 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 4863872 10060525568 22547 33554432000 1073741824 1073778376 140736771442608 140432841971576 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13185/tid=13198] ppid=13182 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13185/task/13198/stat : 13198 (java) S 13182 13185 6228 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 4863872 10060525568 22547 33554432000 1073741824 1073778376 140736771442608 140432840918408 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13185/tid=13199] ppid=13182 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13185/task/13199/stat : 13199 (java) S 13182 13185 6228 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4863875 10060525568 22547 33554432000 1073741824 1073778376 140736771442608 140432839867152 211462182688 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13185/tid=13200] ppid=13182 vsize=9824732 CPUtime=0.47 cores=1,3,5,7
/proc/13185/task/13200/stat : 13200 (java) S 13182 13185 6228 0 -1 4202560 3046 0 0 0 47 0 0 0 20 0 19 0 4863875 10060525568 22547 33554432000 1073741824 1073778376 140736771442608 140432838814008 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13185/tid=13201] ppid=13182 vsize=9824732 CPUtime=0.59 cores=1,3,5,7
/proc/13185/task/13201/stat : 13201 (java) S 13182 13185 6228 0 -1 4202560 6733 0 0 0 59 0 0 0 20 0 19 0 4863875 10060525568 22547 33554432000 1073741824 1073778376 140736771442608 140432837761464 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13185/tid=13202] ppid=13182 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13185/task/13202/stat : 13202 (java) S 13182 13185 6228 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4863875 10060525568 22547 33554432000 1073741824 1073778376 140736771442608 140432836708600 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13185/tid=13203] ppid=13182 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13185/task/13203/stat : 13203 (java) S 13182 13185 6228 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4863875 10060525568 22547 33554432000 1073741824 1073778376 140736771442608 140432835656264 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13185/tid=13206] ppid=13182 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13185/task/13206/stat : 13206 (java) S 13182 13185 6228 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 4863911 10060525568 22547 33554432000 1073741824 1073778376 140736771442608 140432831849768 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1.8
Current children cumulated vsize (KiB) 9824732
heavy processes:

[startup+6.30083 s]
/proc/loadavg: 4.10 4.07 4.01 3/216 13237
/proc/meminfo: memFree=27001164/32872528 swapFree=480236/529292
[pid=13185] ppid=13182 vsize=9824732 CPUtime=2.09 cores=1,3,5,7
/proc/13185/stat : 13185 (java) S 13182 13185 6228 0 -1 4202496 13733 0 1 0 190 19 0 0 20 0 19 0 4863869 10060525568 31703 33554432000 1073741824 1073778376 140736771442608 140736771433744 211462160445 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13185/statm: 2456183 31703 2274 9 0 2446860 0
[pid=13185/tid=13187] ppid=13182 vsize=9824732 CPUtime=0.43 cores=1,3,5,7
/proc/13185/task/13187/stat : 13187 (java) S 13182 13185 6228 0 -1 4202560 2475 0 1 0 41 2 0 0 20 0 19 0 4863870 10060525568 31703 33554432000 1073741824 1073778376 140736771442608 140433018782584 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13185/tid=13188] ppid=13182 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13185/task/13188/stat : 13188 (java) S 13182 13185 6228 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4863871 10060525568 31703 33554432000 1073741824 1073778376 140736771442608 140432862804904 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13185/tid=13189] ppid=13182 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13185/task/13189/stat : 13189 (java) S 13182 13185 6228 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4863871 10060525568 31703 33554432000 1073741824 1073778376 140736771442608 140432861752360 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13185/tid=13190] ppid=13182 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13185/task/13190/stat : 13190 (java) S 13182 13185 6228 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4863871 10060525568 31703 33554432000 1073741824 1073778376 140736771442608 140432860699304 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13185/tid=13191] ppid=13182 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13185/task/13191/stat : 13191 (java) S 13182 13185 6228 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4863871 10060525568 31703 33554432000 1073741824 1073778376 140736771442608 140432859646760 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13185/tid=13192] ppid=13182 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13185/task/13192/stat : 13192 (java) S 13182 13185 6228 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4863871 10060525568 31703 33554432000 1073741824 1073778376 140736771442608 140432858593704 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13185/tid=13193] ppid=13182 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13185/task/13193/stat : 13193 (java) S 13182 13185 6228 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4863871 10060525568 31703 33554432000 1073741824 1073778376 140736771442608 140432857541160 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13185/tid=13194] ppid=13182 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13185/task/13194/stat : 13194 (java) S 13182 13185 6228 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4863871 10060525568 31703 33554432000 1073741824 1073778376 140736771442608 140432856488104 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13185/tid=13195] ppid=13182 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13185/task/13195/stat : 13195 (java) S 13182 13185 6228 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 4863871 10060525568 31703 33554432000 1073741824 1073778376 140736771442608 140432855435560 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13185/tid=13196] ppid=13182 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13185/task/13196/stat : 13196 (java) S 13182 13185 6228 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 19 0 4863872 10060525568 31703 33554432000 1073741824 1073778376 140736771442608 140432843025256 211462174633 0 0 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13185/tid=13197] ppid=13182 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13185/task/13197/stat : 13197 (java) S 13182 13185 6228 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 4863872 10060525568 31703 33554432000 1073741824 1073778376 140736771442608 140432841971576 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13185/tid=13198] ppid=13182 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13185/task/13198/stat : 13198 (java) S 13182 13185 6228 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 4863872 10060525568 31703 33554432000 1073741824 1073778376 140736771442608 140432840918408 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13185/tid=13199] ppid=13182 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13185/task/13199/stat : 13199 (java) S 13182 13185 6228 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4863875 10060525568 31703 33554432000 1073741824 1073778376 140736771442608 140432839867152 211462182688 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13185/tid=13200] ppid=13182 vsize=9824732 CPUtime=0.56 cores=1,3,5,7
/proc/13185/task/13200/stat : 13200 (java) S 13182 13185 6228 0 -1 4202560 3047 0 0 0 56 0 0 0 20 0 19 0 4863875 10060525568 31703 33554432000 1073741824 1073778376 140736771442608 140432838814008 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13185/tid=13201] ppid=13182 vsize=9824732 CPUtime=0.65 cores=1,3,5,7
/proc/13185/task/13201/stat : 13201 (java) S 13182 13185 6228 0 -1 4202560 6751 0 0 0 65 0 0 0 20 0 19 0 4863875 10060525568 31703 33554432000 1073741824 1073778376 140736771442608 140432837761464 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13185/tid=13202] ppid=13182 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13185/task/13202/stat : 13202 (java) S 13182 13185 6228 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4863875 10060525568 31703 33554432000 1073741824 1073778376 140736771442608 140432836708600 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13185/tid=13203] ppid=13182 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13185/task/13203/stat : 13203 (java) S 13182 13185 6228 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4863875 10060525568 31703 33554432000 1073741824 1073778376 140736771442608 140432835656264 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13185/tid=13206] ppid=13182 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13185/task/13206/stat : 13206 (java) S 13182 13185 6228 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 4863911 10060525568 31703 33554432000 1073741824 1073778376 140736771442608 140432831849768 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 2.09
Current children cumulated vsize (KiB) 9824732

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

[pid=13185/tid=13188] ppid=13182 vsize=9824732 CPUtime=4.94 cores=1,3,5,7
/proc/13185/task/13188/stat : 13188 (java) S 13182 13185 6228 0 -1 4202560 1108 0 0 0 450 44 0 0 20 0 22 0 4863871 10060525568 1126531 33554432000 1073741824 1073778376 140736771442608 140432862804904 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13185/tid=13189] ppid=13182 vsize=9824732 CPUtime=4.54 cores=1,3,5,7
/proc/13185/task/13189/stat : 13189 (java) S 13182 13185 6228 0 -1 4202560 990 0 0 0 419 35 0 0 20 0 22 0 4863871 10060525568 1126531 33554432000 1073741824 1073778376 140736771442608 140432861752360 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13185/tid=13190] ppid=13182 vsize=9824732 CPUtime=4.08 cores=1,3,5,7
/proc/13185/task/13190/stat : 13190 (java) S 13182 13185 6228 0 -1 4202560 889 0 0 0 377 31 0 0 20 0 22 0 4863871 10060525568 1126531 33554432000 1073741824 1073778376 140736771442608 140432860699304 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13185/tid=13191] ppid=13182 vsize=9824732 CPUtime=4.26 cores=1,3,5,7
/proc/13185/task/13191/stat : 13191 (java) S 13182 13185 6228 0 -1 4202560 1019 0 0 0 387 39 0 0 20 0 22 0 4863871 10060525568 1126531 33554432000 1073741824 1073778376 140736771442608 140432859646760 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13185/tid=13192] ppid=13182 vsize=9824732 CPUtime=3.77 cores=1,3,5,7
/proc/13185/task/13192/stat : 13192 (java) S 13182 13185 6228 0 -1 4202560 837 0 0 0 343 34 0 0 20 0 22 0 4863871 10060525568 1126531 33554432000 1073741824 1073778376 140736771442608 140432858593704 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13185/tid=13193] ppid=13182 vsize=9824732 CPUtime=4.07 cores=1,3,5,7
/proc/13185/task/13193/stat : 13193 (java) S 13182 13185 6228 0 -1 4202560 1020 0 0 0 371 36 0 0 20 0 22 0 4863871 10060525568 1126531 33554432000 1073741824 1073778376 140736771442608 140432857541160 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13185/tid=13194] ppid=13182 vsize=9824732 CPUtime=4.11 cores=1,3,5,7
/proc/13185/task/13194/stat : 13194 (java) S 13182 13185 6228 0 -1 4202560 950 0 0 0 375 36 0 0 20 0 22 0 4863871 10060525568 1126531 33554432000 1073741824 1073778376 140736771442608 140432856488104 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13185/tid=13195] ppid=13182 vsize=9824732 CPUtime=4.14 cores=1,3,5,7
/proc/13185/task/13195/stat : 13195 (java) S 13182 13185 6228 0 -1 4202560 928 0 0 0 380 34 0 0 20 0 22 0 4863871 10060525568 1126531 33554432000 1073741824 1073778376 140736771442608 140432855435560 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13185/tid=13196] ppid=13182 vsize=9824732 CPUtime=9.89 cores=1,3,5,7
/proc/13185/task/13196/stat : 13196 (java) S 13182 13185 6228 0 -1 4202560 3302 0 0 0 977 12 0 0 20 0 22 0 4863872 10060525568 1126531 33554432000 1073741824 1073778376 140736771442608 140432843025256 211462174633 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13185/tid=13197] ppid=13182 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13185/task/13197/stat : 13197 (java) S 13182 13185 6228 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 4863872 10060525568 1126531 33554432000 1073741824 1073778376 140736771442608 140432841971576 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13185/tid=13198] ppid=13182 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13185/task/13198/stat : 13198 (java) S 13182 13185 6228 0 -1 4202560 35 0 0 0 0 0 0 0 20 0 22 0 4863872 10060525568 1126531 33554432000 1073741824 1073778376 140736771442608 140432840918408 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13185/tid=13199] ppid=13182 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13185/task/13199/stat : 13199 (java) S 13182 13185 6228 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 4863875 10060525568 1126531 33554432000 1073741824 1073778376 140736771442608 140432839867152 211462182688 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13185/tid=13200] ppid=13182 vsize=9824732 CPUtime=1.87 cores=1,3,5,7
/proc/13185/task/13200/stat : 13200 (java) S 13182 13185 6228 0 -1 4202560 13465 0 0 0 184 3 0 0 20 0 22 0 4863875 10060525568 1126531 33554432000 1073741824 1073778376 140736771442608 140432838814008 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13185/tid=13201] ppid=13182 vsize=9824732 CPUtime=1.59 cores=1,3,5,7
/proc/13185/task/13201/stat : 13201 (java) S 13182 13185 6228 0 -1 4202560 8553 0 0 0 157 2 0 0 20 0 22 0 4863875 10060525568 1126531 33554432000 1073741824 1073778376 140736771442608 140432837761464 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13185/tid=13202] ppid=13182 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13185/task/13202/stat : 13202 (java) S 13182 13185 6228 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 4863875 10060525568 1126531 33554432000 1073741824 1073778376 140736771442608 140432836708600 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13185/tid=13203] ppid=13182 vsize=9824732 CPUtime=0.34 cores=1,3,5,7
/proc/13185/task/13203/stat : 13203 (java) S 13182 13185 6228 0 -1 4202560 51 0 0 0 12 22 0 0 20 0 22 0 4863875 10060525568 1126531 33554432000 1073741824 1073778376 140736771442608 140432835656264 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13185/tid=13807] ppid=13182 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13185/task/13807/stat : 13807 (java) S 13182 13185 6228 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 4911179 10060525568 1126531 33554432000 1073741824 1073778376 140736771442608 140432833954600 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13185/tid=13886] ppid=13182 vsize=9824732 CPUtime=221.69 cores=1,3,5,7
/proc/13185/task/13886/stat : 13886 (java) R 13182 13185 6228 0 -1 4202560 17 0 0 0 22166 3 0 0 20 0 22 0 4929366 10060525568 1126531 33554432000 1073741824 1073778376 140736771442608 140432832899632 140432891953514 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=13185/tid=13887] ppid=13182 vsize=9824732 CPUtime=221.71 cores=1,3,5,7
/proc/13185/task/13887/stat : 13887 (java) R 13182 13185 6228 0 -1 4202560 20 0 0 0 22168 3 0 0 20 0 22 0 4929366 10060525568 1126531 33554432000 1073741824 1073778376 140736771442608 140432831848176 140432892038503 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=13185/tid=13888] ppid=13182 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13185/task/13888/stat : 13888 (java) S 13182 13185 6228 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 4929366 10060525568 1126531 33554432000 1073741824 1073778376 140736771442608 140432830797480 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1639.52
Current children cumulated vsize (KiB) 9824732

[startup+942.301 s]
/proc/loadavg: 4.12 4.15 4.08 5/219 13920
/proc/meminfo: memFree=25064252/32872528 swapFree=480236/529292
[pid=13185] ppid=13182 vsize=9824732 CPUtime=1760.56 cores=1,3,5,7
/proc/13185/stat : 13185 (java) S 13182 13185 6228 0 -1 4202496 39726 0 1 0 175388 668 0 0 20 0 22 0 4863869 10060525568 1126712 33554432000 1073741824 1073778376 140736771442608 140736771433744 211462160445 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13185/statm: 2456183 1126712 2302 9 0 2446860 0
[pid=13185/tid=13187] ppid=13182 vsize=9824732 CPUtime=1.09 cores=1,3,5,7
/proc/13185/task/13187/stat : 13187 (java) S 13182 13185 6228 0 -1 4202560 2509 0 1 0 105 4 0 0 20 0 22 0 4863870 10060525568 1126712 33554432000 1073741824 1073778376 140736771442608 140433018782584 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13185/tid=13188] ppid=13182 vsize=9824732 CPUtime=5.25 cores=1,3,5,7
/proc/13185/task/13188/stat : 13188 (java) S 13182 13185 6228 0 -1 4202560 1132 0 0 0 481 44 0 0 20 0 22 0 4863871 10060525568 1126712 33554432000 1073741824 1073778376 140736771442608 140432862804904 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13185/tid=13189] ppid=13182 vsize=9824732 CPUtime=4.82 cores=1,3,5,7
/proc/13185/task/13189/stat : 13189 (java) S 13182 13185 6228 0 -1 4202560 995 0 0 0 447 35 0 0 20 0 22 0 4863871 10060525568 1126712 33554432000 1073741824 1073778376 140736771442608 140432861752360 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13185/tid=13190] ppid=13182 vsize=9824732 CPUtime=4.41 cores=1,3,5,7
/proc/13185/task/13190/stat : 13190 (java) S 13182 13185 6228 0 -1 4202560 902 0 0 0 410 31 0 0 20 0 22 0 4863871 10060525568 1126712 33554432000 1073741824 1073778376 140736771442608 140432860699304 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13185/tid=13191] ppid=13182 vsize=9824732 CPUtime=4.46 cores=1,3,5,7
/proc/13185/task/13191/stat : 13191 (java) S 13182 13185 6228 0 -1 4202560 1054 0 0 0 407 39 0 0 20 0 22 0 4863871 10060525568 1126712 33554432000 1073741824 1073778376 140736771442608 140432859646760 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13185/tid=13192] ppid=13182 vsize=9824732 CPUtime=4.09 cores=1,3,5,7
/proc/13185/task/13192/stat : 13192 (java) S 13182 13185 6228 0 -1 4202560 859 0 0 0 375 34 0 0 20 0 22 0 4863871 10060525568 1126712 33554432000 1073741824 1073778376 140736771442608 140432858593704 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13185/tid=13193] ppid=13182 vsize=9824732 CPUtime=4.24 cores=1,3,5,7
/proc/13185/task/13193/stat : 13193 (java) S 13182 13185 6228 0 -1 4202560 1035 0 0 0 388 36 0 0 20 0 22 0 4863871 10060525568 1126712 33554432000 1073741824 1073778376 140736771442608 140432857541160 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13185/tid=13194] ppid=13182 vsize=9824732 CPUtime=4.45 cores=1,3,5,7
/proc/13185/task/13194/stat : 13194 (java) S 13182 13185 6228 0 -1 4202560 979 0 0 0 409 36 0 0 20 0 22 0 4863871 10060525568 1126712 33554432000 1073741824 1073778376 140736771442608 140432856488104 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13185/tid=13195] ppid=13182 vsize=9824732 CPUtime=4.37 cores=1,3,5,7
/proc/13185/task/13195/stat : 13195 (java) S 13182 13185 6228 0 -1 4202560 966 0 0 0 403 34 0 0 20 0 22 0 4863871 10060525568 1126712 33554432000 1073741824 1073778376 140736771442608 140432855435560 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13185/tid=13196] ppid=13182 vsize=9824732 CPUtime=9.89 cores=1,3,5,7
/proc/13185/task/13196/stat : 13196 (java) S 13182 13185 6228 0 -1 4202560 3343 0 0 0 977 12 0 0 20 0 22 0 4863872 10060525568 1126712 33554432000 1073741824 1073778376 140736771442608 140432843025256 211462174633 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13185/tid=13197] ppid=13182 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13185/task/13197/stat : 13197 (java) S 13182 13185 6228 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 4863872 10060525568 1126712 33554432000 1073741824 1073778376 140736771442608 140432841971576 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13185/tid=13198] ppid=13182 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13185/task/13198/stat : 13198 (java) S 13182 13185 6228 0 -1 4202560 35 0 0 0 0 0 0 0 20 0 22 0 4863872 10060525568 1126712 33554432000 1073741824 1073778376 140736771442608 140432840918408 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13185/tid=13199] ppid=13182 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13185/task/13199/stat : 13199 (java) S 13182 13185 6228 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 4863875 10060525568 1126712 33554432000 1073741824 1073778376 140736771442608 140432839867152 211462182688 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13185/tid=13200] ppid=13182 vsize=9824732 CPUtime=1.87 cores=1,3,5,7
/proc/13185/task/13200/stat : 13200 (java) S 13182 13185 6228 0 -1 4202560 13465 0 0 0 184 3 0 0 20 0 22 0 4863875 10060525568 1126712 33554432000 1073741824 1073778376 140736771442608 140432838814008 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13185/tid=13201] ppid=13182 vsize=9824732 CPUtime=1.59 cores=1,3,5,7
/proc/13185/task/13201/stat : 13201 (java) S 13182 13185 6228 0 -1 4202560 8553 0 0 0 157 2 0 0 20 0 22 0 4863875 10060525568 1126712 33554432000 1073741824 1073778376 140736771442608 140432837761464 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13185/tid=13202] ppid=13182 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13185/task/13202/stat : 13202 (java) S 13182 13185 6228 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 4863875 10060525568 1126712 33554432000 1073741824 1073778376 140736771442608 140432836708600 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13185/tid=13203] ppid=13182 vsize=9824732 CPUtime=0.36 cores=1,3,5,7
/proc/13185/task/13203/stat : 13203 (java) S 13182 13185 6228 0 -1 4202560 55 0 0 0 14 22 0 0 20 0 22 0 4863875 10060525568 1126712 33554432000 1073741824 1073778376 140736771442608 140432835656264 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13185/tid=13807] ppid=13182 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13185/task/13807/stat : 13807 (java) S 13182 13185 6228 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 4911179 10060525568 1126712 33554432000 1073741824 1073778376 140736771442608 140432833954600 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13185/tid=13886] ppid=13182 vsize=9824732 CPUtime=281.11 cores=1,3,5,7
/proc/13185/task/13886/stat : 13886 (java) R 13182 13185 6228 0 -1 4202560 21 0 0 0 28107 4 0 0 20 0 22 0 4929366 10060525568 1126712 33554432000 1073741824 1073778376 140736771442608 140432832892688 140432891989872 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=13185/tid=13887] ppid=13182 vsize=9824732 CPUtime=281.13 cores=1,3,5,7
/proc/13185/task/13887/stat : 13887 (java) R 13182 13185 6228 0 -1 4202560 22 0 0 0 28109 4 0 0 20 0 22 0 4929366 10060525568 1126712 33554432000 1073741824 1073778376 140736771442608 140432831848384 140432892038532 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=13185/tid=13888] ppid=13182 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13185/task/13888/stat : 13888 (java) S 13182 13185 6228 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 4929366 10060525568 1126712 33554432000 1073741824 1073778376 140736771442608 140432830797480 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1760.56
Current children cumulated vsize (KiB) 9824732



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+961.801 s]
/proc/loadavg: 4.08 4.14 4.08 5/219 13920
/proc/meminfo: memFree=25043596/32872528 swapFree=480236/529292
[pid=13185] ppid=13182 vsize=9824732 CPUtime=1799.99 cores=1,3,5,7
/proc/13185/stat : 13185 (java) S 13182 13185 6228 0 -1 4202496 40247 0 1 0 179328 671 0 0 20 0 22 0 4863869 10060525568 1130792 33554432000 1073741824 1073778376 140736771442608 140736771433744 211462160445 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13185/statm: 2456183 1130792 2302 9 0 2446860 0
[pid=13185/tid=13187] ppid=13182 vsize=9824732 CPUtime=1.09 cores=1,3,5,7
/proc/13185/task/13187/stat : 13187 (java) S 13182 13185 6228 0 -1 4202560 2510 0 1 0 105 4 0 0 20 0 22 0 4863870 10060525568 1130792 33554432000 1073741824 1073778376 140736771442608 140433018782584 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13185/tid=13188] ppid=13182 vsize=9824732 CPUtime=5.33 cores=1,3,5,7
/proc/13185/task/13188/stat : 13188 (java) S 13182 13185 6228 0 -1 4202560 1133 0 0 0 489 44 0 0 20 0 22 0 4863871 10060525568 1130792 33554432000 1073741824 1073778376 140736771442608 140432862804904 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13185/tid=13189] ppid=13182 vsize=9824732 CPUtime=4.95 cores=1,3,5,7
/proc/13185/task/13189/stat : 13189 (java) S 13182 13185 6228 0 -1 4202560 999 0 0 0 460 35 0 0 20 0 22 0 4863871 10060525568 1130792 33554432000 1073741824 1073778376 140736771442608 140432861752360 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13185/tid=13190] ppid=13182 vsize=9824732 CPUtime=4.52 cores=1,3,5,7
/proc/13185/task/13190/stat : 13190 (java) S 13182 13185 6228 0 -1 4202560 921 0 0 0 421 31 0 0 20 0 22 0 4863871 10060525568 1130792 33554432000 1073741824 1073778376 140736771442608 140432860699304 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13185/tid=13191] ppid=13182 vsize=9824732 CPUtime=4.57 cores=1,3,5,7
/proc/13185/task/13191/stat : 13191 (java) S 13182 13185 6228 0 -1 4202560 1056 0 0 0 417 40 0 0 20 0 22 0 4863871 10060525568 1130792 33554432000 1073741824 1073778376 140736771442608 140432859646760 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13185/tid=13192] ppid=13182 vsize=9824732 CPUtime=4.18 cores=1,3,5,7
/proc/13185/task/13192/stat : 13192 (java) S 13182 13185 6228 0 -1 4202560 1314 0 0 0 384 34 0 0 20 0 22 0 4863871 10060525568 1130792 33554432000 1073741824 1073778376 140736771442608 140432858593704 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13185/tid=13193] ppid=13182 vsize=9824732 CPUtime=4.41 cores=1,3,5,7
/proc/13185/task/13193/stat : 13193 (java) S 13182 13185 6228 0 -1 4202560 1052 0 0 0 404 37 0 0 20 0 22 0 4863871 10060525568 1130792 33554432000 1073741824 1073778376 140736771442608 140432857541160 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13185/tid=13194] ppid=13182 vsize=9824732 CPUtime=4.55 cores=1,3,5,7
/proc/13185/task/13194/stat : 13194 (java) S 13182 13185 6228 0 -1 4202560 991 0 0 0 419 36 0 0 20 0 22 0 4863871 10060525568 1130792 33554432000 1073741824 1073778376 140736771442608 140432856488104 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13185/tid=13195] ppid=13182 vsize=9824732 CPUtime=4.44 cores=1,3,5,7
/proc/13185/task/13195/stat : 13195 (java) S 13182 13185 6228 0 -1 4202560 975 0 0 0 410 34 0 0 20 0 22 0 4863871 10060525568 1130792 33554432000 1073741824 1073778376 140736771442608 140432855435560 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13185/tid=13196] ppid=13182 vsize=9824732 CPUtime=9.89 cores=1,3,5,7
/proc/13185/task/13196/stat : 13196 (java) S 13182 13185 6228 0 -1 4202560 3343 0 0 0 977 12 0 0 20 0 22 0 4863872 10060525568 1130792 33554432000 1073741824 1073778376 140736771442608 140432843025256 211462174633 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13185/tid=13197] ppid=13182 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13185/task/13197/stat : 13197 (java) S 13182 13185 6228 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 4863872 10060525568 1130792 33554432000 1073741824 1073778376 140736771442608 140432841971576 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13185/tid=13198] ppid=13182 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13185/task/13198/stat : 13198 (java) S 13182 13185 6228 0 -1 4202560 35 0 0 0 0 0 0 0 20 0 22 0 4863872 10060525568 1130792 33554432000 1073741824 1073778376 140736771442608 140432840918408 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13185/tid=13199] ppid=13182 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13185/task/13199/stat : 13199 (java) S 13182 13185 6228 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 4863875 10060525568 1130792 33554432000 1073741824 1073778376 140736771442608 140432839867152 211462182688 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13185/tid=13200] ppid=13182 vsize=9824732 CPUtime=1.87 cores=1,3,5,7
/proc/13185/task/13200/stat : 13200 (java) S 13182 13185 6228 0 -1 4202560 13465 0 0 0 184 3 0 0 20 0 22 0 4863875 10060525568 1130792 33554432000 1073741824 1073778376 140736771442608 140432838814008 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13185/tid=13201] ppid=13182 vsize=9824732 CPUtime=1.59 cores=1,3,5,7
/proc/13185/task/13201/stat : 13201 (java) S 13182 13185 6228 0 -1 4202560 8553 0 0 0 157 2 0 0 20 0 22 0 4863875 10060525568 1130792 33554432000 1073741824 1073778376 140736771442608 140432837761464 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13185/tid=13202] ppid=13182 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13185/task/13202/stat : 13202 (java) S 13182 13185 6228 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 4863875 10060525568 1130792 33554432000 1073741824 1073778376 140736771442608 140432836708600 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13185/tid=13203] ppid=13182 vsize=9824732 CPUtime=0.37 cores=1,3,5,7
/proc/13185/task/13203/stat : 13203 (java) S 13182 13185 6228 0 -1 4202560 55 0 0 0 14 23 0 0 20 0 22 0 4863875 10060525568 1130792 33554432000 1073741824 1073778376 140736771442608 140432835656264 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13185/tid=13807] ppid=13182 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13185/task/13807/stat : 13807 (java) S 13182 13185 6228 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 4911179 10060525568 1130792 33554432000 1073741824 1073778376 140736771442608 140432833954600 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13185/tid=13886] ppid=13182 vsize=9824732 CPUtime=300.39 cores=1,3,5,7
/proc/13185/task/13886/stat : 13886 (java) R 13182 13185 6228 0 -1 4202560 21 0 0 0 30035 4 0 0 20 0 22 0 4929366 10060525568 1130792 33554432000 1073741824 1073778376 140736771442608 140432832892688 140432891837845 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=13185/tid=13887] ppid=13182 vsize=9824732 CPUtime=300.41 cores=1,3,5,7
/proc/13185/task/13887/stat : 13887 (java) R 13182 13185 6228 0 -1 4202560 23 0 0 0 30037 4 0 0 20 0 22 0 4929366 10060525568 1130792 33554432000 1073741824 1073778376 140736771442608 140432831848368 140432892039873 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=13185/tid=13888] ppid=13182 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/13185/task/13888/stat : 13888 (java) S 13182 13185 6228 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 4929366 10060525568 1130792 33554432000 1073741824 1073778376 140736771442608 140432830797480 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1799.99
Current children cumulated vsize (KiB) 9824732

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

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

Child status: 143

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

Real time (s): 961.855
CPU time (s): 1800.47
CPU user time (s): 1793.43
CPU system time (s): 7.03993
CPU usage (%): 187.187
Max. virtual memory (cumulated for all children) (KiB): 9824732

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.42
system time used= 7.03993
maximum resident set size= 4523280
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 40282
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1056
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 28450
involuntary context switches= 30000

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.77212 second user time and 8.08377 second system time

The end

Launcher Data 

Begin job on node141 at 2016-06-30 05:47:19
IDJOB=4119537
IDBENCH=111755
IDSOLVER=2543
FILE ID=node141/4119537-1467258439
RUNJOBID= node141-1467246696-6245
PBS_JOBID= 20004482
Free space on /tmp= 71704 MiB

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

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

MD5SUM BENCH= 0e7053b6afea3b3f41f09a388d6be788
RANDOM SEED=1881951088

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        27110772 kB
Buffers:          141220 kB
Cached:           724656 kB
SwapCached:            0 kB
Active:          3806316 kB
Inactive:         678400 kB
Active(anon):    3621156 kB
Inactive(anon):      116 kB
Active(file):     185160 kB
Inactive(file):   678284 kB
Unevictable:      529292 kB
Mlocked:          480236 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:               848 kB
Writeback:             0 kB
AnonPages:       4112356 kB
Mapped:            22240 kB
Shmem:               204 kB
Slab:             609516 kB
SReclaimable:      53444 kB
SUnreclaim:       556072 kB
KernelStack:        1808 kB
PageTables:        12876 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    4735256 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   3569664 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71700 MiB
End job on node141 at 2016-06-30 06:03:21