Trace number 4119513

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)184 1800.32 973.846

General information on the benchmark

NamePB15eval/normalized-PB15eval/OPT-SMALLINT-NLC/
minlplib2-pb-0.1.0/opb/normalized-edgecross10-040.opb
MD5SUM678b3b0724ff54466f3548bc434e911a
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark184
Best CPU time to get the best result obtained on this benchmark1800.32
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables91
Total number of constraints481
Number of constraints which are clauses480
Number of constraints which are cardinality constraints (but not clauses)1
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint3
Number of terms in the objective function 633
Biggest coefficient in the objective function 338
Number of bits for the biggest coefficient in the objective function 9
Sum of the numbers in the objective function 1808
Number of bits of the sum of numbers in the objective function 11
Biggest number in a constraint 338
Number of bits of the biggest number in a constraint 9
Biggest sum of numbers in a constraint 1808
Number of bits of the biggest sum of numbers11
Number of products (including duplicates)546
Sum of products size (including duplicates)1092
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.08/0.30	c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS
0.08/0.30	c This is free software under the dual EPL/GNU LGPL licenses.
0.08/0.30	c See www.sat4j.org for details.
0.08/0.31	c version PB16.v20160501
0.08/0.31	c java.runtime.name	Java(TM) SE Runtime Environment
0.08/0.31	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.08/0.31	c java.vm.version	19.1-b02
0.08/0.31	c java.vm.vendor	Sun Microsystems Inc.
0.08/0.31	c sun.arch.data.model	64
0.08/0.31	c java.version		1.6.0_24
0.08/0.31	c os.name		Linux
0.08/0.31	c os.version		2.6.32-71.29.1.el6.x86_64
0.08/0.31	c os.arch		amd64
0.08/0.31	c Free memory 		501472288
0.08/0.31	c Max memory 		7480803328
0.08/0.31	c Total memory 		504102912
0.08/0.31	c Number of processors 	8
0.08/0.34	c Pseudo Boolean Optimization by upper bound
0.08/0.34	c ManyCore solver with 2 solvers running in parallel
0.08/0.34	c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<<
0.08/0.34	c --- Begin Solver configuration ---
0.08/0.34	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@5d764be1
0.08/0.34	c Learn all clauses as in MiniSAT
0.08/0.34	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.08/0.34	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.08/0.34	c Expensive reason simplification
0.08/0.34	c Glucose 2.1 dynamic restart strategy
0.08/0.34	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.08/0.34	c timeout=2147483s
0.08/0.34	c DB Simplification allowed=false
0.08/0.34	c Listener: org.sat4j.pb.tools.ManyCorePB@9f436f5
0.08/0.34	c --- End Solver configuration ---
0.08/0.34	c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<<
0.08/0.34	c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP)
0.08/0.34	c --- Begin Solver configuration ---
0.08/0.34	c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@4413ee
0.08/0.34	c Learn all clauses as in MiniSAT
0.08/0.34	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.08/0.34	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function
0.08/0.34	c No reason simplification
0.08/0.34	c Armin Biere (Picosat) restarts strategy
0.08/0.34	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.08/0.34	c timeout=2147483s
0.08/0.34	c DB Simplification allowed=false
0.08/0.34	c Listener: org.sat4j.pb.tools.ManyCorePB@9f436f5
0.08/0.34	c --- End Solver configuration ---
0.08/0.34	c solving HOME/instance-4119513-1467258080.opb
0.08/0.34	c reading problem ... 
0.08/0.35	c  objective function found
0.19/0.50	c ... done. Wall clock time 0.152s.
0.19/0.50	c declared #vars     91
0.40/0.50	c internal #vars     637
0.40/0.50	c #constraints  1574
0.40/0.50	c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<<
0.40/0.50	c constraints type 
0.40/0.50	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 1026
0.40/0.50	c org.sat4j.specs.Constr$1 => 1
0.40/0.50	c org.sat4j.minisat.constraints.cnf.UnitClause => 1
0.40/0.50	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 546
0.40/0.50	c 1574 constraints processed.
0.40/0.50	c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<<
0.40/0.50	c constraints type 
0.40/0.50	c org.sat4j.specs.Constr$1 => 1
0.40/0.50	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 1026
0.40/0.50	c org.sat4j.pb.constraints.pb.UnitClausePB => 1
0.40/0.50	c org.sat4j.pb.constraints.pb.MaxWatchPb => 546
0.40/0.50	c 1574 constraints processed.
0.40/0.50	c objective function length is 633 literals
0.40/0.52	c And the winner is solver0
0.46/1.01	c SATISFIABLE
0.46/1.01	c OPTIMIZING...
0.46/1.01	c Got one! Elapsed wall clock time (in seconds):0.664
0.46/1.01	o 342
0.46/1.04	c And the winner is solver0
0.63/1.52	c Got one! Elapsed wall clock time (in seconds):1.176
0.63/1.52	o 338
0.63/1.53	c And the winner is solver0
0.84/2.02	c Got one! Elapsed wall clock time (in seconds):1.681
0.84/2.02	o 334
0.84/2.04	c And the winner is solver0
1.09/2.53	c Got one! Elapsed wall clock time (in seconds):2.187
1.09/2.53	o 329
1.09/2.54	c And the winner is solver0
1.10/3.03	c Got one! Elapsed wall clock time (in seconds):2.69
1.10/3.03	o 321
1.28/3.12	c And the winner is solver0
1.43/3.54	c Got one! Elapsed wall clock time (in seconds):3.193
1.43/3.54	o 318
1.43/3.54	c And the winner is solver0
1.43/4.04	c Got one! Elapsed wall clock time (in seconds):3.695
1.43/4.04	o 317
1.43/4.06	c And the winner is solver0
1.50/4.54	c Got one! Elapsed wall clock time (in seconds):4.197
1.50/4.54	o 313
1.50/4.56	c And the winner is solver0
2.39/5.04	c Got one! Elapsed wall clock time (in seconds):4.7
2.39/5.04	o 309
2.39/5.05	c And the winner is solver0
2.39/5.54	c Got one! Elapsed wall clock time (in seconds):5.202
2.39/5.54	o 307
2.39/5.60	c And the winner is solver0
2.52/6.05	c Got one! Elapsed wall clock time (in seconds):5.704
2.52/6.05	o 306
2.52/6.05	c And the winner is solver0
2.53/6.55	c Got one! Elapsed wall clock time (in seconds):6.206
2.53/6.55	o 305
2.53/6.57	c And the winner is solver0
2.60/7.05	c Got one! Elapsed wall clock time (in seconds):6.708
2.60/7.05	o 303
2.60/7.05	c And the winner is solver0
2.60/7.55	c Got one! Elapsed wall clock time (in seconds):7.21
2.60/7.55	o 301
2.60/7.56	c And the winner is solver0
4.97/9.52	c Got one! Elapsed wall clock time (in seconds):9.178
4.97/9.52	o 299
4.97/9.56	c And the winner is solver0
5.09/10.02	c Got one! Elapsed wall clock time (in seconds):9.68
5.09/10.02	o 294
5.09/10.03	c And the winner is solver0
5.12/10.52	c Got one! Elapsed wall clock time (in seconds):10.181
5.12/10.52	o 292
5.12/10.53	c And the winner is solver0
5.12/11.03	c Got one! Elapsed wall clock time (in seconds):10.683
5.12/11.03	o 290
5.12/11.04	c And the winner is solver0
5.17/11.53	c Got one! Elapsed wall clock time (in seconds):11.185
5.17/11.53	o 289
5.17/11.53	c And the winner is solver0
5.17/12.03	c Got one! Elapsed wall clock time (in seconds):11.686
5.17/12.03	o 288
5.17/12.04	c And the winner is solver0
5.17/12.53	c Got one! Elapsed wall clock time (in seconds):12.188
5.17/12.53	o 287
5.17/12.53	c And the winner is solver0
5.18/13.03	c Got one! Elapsed wall clock time (in seconds):12.689
5.18/13.03	o 284
5.18/13.04	c And the winner is solver0
5.18/13.53	c Got one! Elapsed wall clock time (in seconds):13.191
5.18/13.53	o 282
5.18/13.59	c And the winner is solver0
5.33/14.04	c Got one! Elapsed wall clock time (in seconds):13.692
5.33/14.04	o 279
6.40/14.52	c And the winner is solver0
6.40/14.59	c Got one! Elapsed wall clock time (in seconds):14.244
6.40/14.59	o 277
6.52/14.64	c And the winner is solver0
6.79/15.09	c Got one! Elapsed wall clock time (in seconds):14.745
6.79/15.09	o 273
6.81/15.13	c And the winner is solver0
6.92/15.59	c Got one! Elapsed wall clock time (in seconds):15.246
6.92/15.59	o 270
7.13/15.72	c cleaning 4144 clauses out of 8288 with flag 2189/8288
7.37/15.80	c And the winner is solver0
7.42/16.09	c Got one! Elapsed wall clock time (in seconds):15.748
7.42/16.09	o 268
7.42/16.18	c And the winner is solver0
7.64/16.59	c Got one! Elapsed wall clock time (in seconds):16.249
7.64/16.59	o 267
8.75/17.19	c cleaning 5399 clauses out of 10798 with flag 10270/14942
10.31/17.82	c cleaning 5692 clauses out of 11398 with flag 22696/20941
10.31/17.83	c And the winner is solver0
10.57/18.09	c Got one! Elapsed wall clock time (in seconds):17.751
10.57/18.09	o 266
11.17/18.40	c And the winner is solver0
11.22/18.60	c Got one! Elapsed wall clock time (in seconds):18.252
11.22/18.60	o 265
11.22/18.63	c And the winner is solver0
11.32/19.10	c Got one! Elapsed wall clock time (in seconds):18.754
11.32/19.10	o 263
11.32/19.16	c And the winner is solver0
11.51/19.60	c Got one! Elapsed wall clock time (in seconds):19.256
11.51/19.60	o 262
11.51/19.66	c And the winner is solver0
11.68/20.10	c Got one! Elapsed wall clock time (in seconds):19.757
11.68/20.10	o 261
11.68/20.12	c And the winner is solver0
11.95/20.60	c Got one! Elapsed wall clock time (in seconds):20.259
11.95/20.60	o 260
12.33/20.84	c cleaning 6292 clauses out of 12590 with flag 4172/27825
13.55/21.48	c cleaning 6150 clauses out of 12300 with flag 16550/33827
14.35/21.81	c And the winner is solver0
14.42/22.10	c Got one! Elapsed wall clock time (in seconds):21.761
14.42/22.10	o 259
14.60/22.27	c And the winner is solver0
14.80/22.61	c Got one! Elapsed wall clock time (in seconds):22.263
14.80/22.61	o 258
14.97/22.72	c cleaning 5829 clauses out of 11662 with flag 2118/39339
14.97/22.72	c And the winner is solver0
15.08/23.11	c Got one! Elapsed wall clock time (in seconds):22.765
15.08/23.11	o 257
15.08/23.12	c And the winner is solver0
15.08/23.61	c Got one! Elapsed wall clock time (in seconds):23.267
15.08/23.61	o 256
15.08/23.61	c And the winner is solver0
15.08/24.11	c Got one! Elapsed wall clock time (in seconds):23.768
15.08/24.11	o 255
15.08/24.12	c And the winner is solver0
15.10/24.61	c Got one! Elapsed wall clock time (in seconds):24.27
15.10/24.61	o 253
15.38/24.70	c And the winner is solver0
15.42/25.11	c Got one! Elapsed wall clock time (in seconds):24.772
15.42/25.11	o 251
15.42/25.13	c And the winner is solver0
15.46/25.62	c Got one! Elapsed wall clock time (in seconds):25.273
15.46/25.62	o 250
15.62/25.80	c And the winner is solver0
15.86/26.12	c Got one! Elapsed wall clock time (in seconds):25.775
15.86/26.12	o 249
16.02/26.23	c And the winner is solver0
16.13/26.62	c Got one! Elapsed wall clock time (in seconds):26.277
16.13/26.62	o 248
16.13/26.65	c And the winner is solver0
16.21/27.12	c Got one! Elapsed wall clock time (in seconds):26.778
16.21/27.12	o 247
16.21/27.16	c And the winner is solver0
16.32/27.62	c Got one! Elapsed wall clock time (in seconds):27.28
16.32/27.62	o 246
16.32/27.63	c And the winner is solver0
16.32/28.12	c Got one! Elapsed wall clock time (in seconds):27.782
16.32/28.12	o 245
16.86/28.45	c cleaning 6565 clauses out of 13130 with flag 6310/46636
17.06/28.60	c And the winner is solver0
17.27/28.68	c Got one! Elapsed wall clock time (in seconds):28.334
17.27/28.68	o 244
17.27/28.69	c And the winner is solver0
17.33/29.18	c Got one! Elapsed wall clock time (in seconds):28.835
17.33/29.18	o 243
17.33/29.18	c And the winner is solver0
17.33/29.68	c Got one! Elapsed wall clock time (in seconds):29.337
17.33/29.68	o 242
18.16/30.13	c cleaning 6086 clauses out of 12177 with flag 8538/52248
19.36/30.74	c cleaning 6040 clauses out of 12090 with flag 20964/58247
19.36/30.79	c And the winner is solver0
19.61/31.18	c Got one! Elapsed wall clock time (in seconds):30.839
19.61/31.18	o 241
20.24/31.53	c And the winner is solver0
20.38/31.68	c Got one! Elapsed wall clock time (in seconds):31.341
20.38/31.68	o 240
20.91/31.96	c cleaning 6128 clauses out of 12256 with flag 4262/64453
21.11/32.02	c And the winner is solver0
21.20/32.19	c Got one! Elapsed wall clock time (in seconds):31.842
21.20/32.19	o 239
21.22/32.22	c And the winner is solver0
21.31/32.69	c Got one! Elapsed wall clock time (in seconds):32.344
21.31/32.69	o 238
21.33/32.78	c And the winner is solver0
21.56/33.19	c Got one! Elapsed wall clock time (in seconds):32.846
21.56/33.19	o 237
21.57/33.23	c And the winner is solver0
21.69/33.69	c Got one! Elapsed wall clock time (in seconds):33.348
21.69/33.69	o 235
21.90/33.84	c And the winner is solver0
22.06/34.19	c Got one! Elapsed wall clock time (in seconds):33.85
22.06/34.19	o 234
22.66/34.54	c cleaning 6534 clauses out of 13078 with flag 6416/71403
22.86/34.61	c And the winner is solver0
22.86/34.69	c Got one! Elapsed wall clock time (in seconds):34.351
22.86/34.69	o 233
23.15/34.88	c And the winner is solver0
23.38/35.20	c Got one! Elapsed wall clock time (in seconds):34.853
23.38/35.20	o 232
23.39/35.21	c And the winner is solver0
23.43/35.70	c Got one! Elapsed wall clock time (in seconds):35.355
23.43/35.70	o 231
23.43/35.73	c And the winner is solver0
23.51/36.20	c Got one! Elapsed wall clock time (in seconds):35.857
23.51/36.20	o 230
24.30/36.66	c cleaning 6764 clauses out of 13540 with flag 8321/78399
24.89/36.90	c And the winner is solver0
25.00/37.20	c Got one! Elapsed wall clock time (in seconds):36.859
25.00/37.20	o 229
25.89/37.60	c cleaning 6130 clauses out of 12264 with flag 6458/83887
25.89/37.68	c And the winner is solver0
26.09/37.75	c Got one! Elapsed wall clock time (in seconds):37.411
26.09/37.75	o 227
26.63/38.01	c And the winner is solver0
26.74/38.26	c Got one! Elapsed wall clock time (in seconds):37.912
26.74/38.26	o 226
26.74/38.28	c And the winner is solver0
26.83/38.76	c Got one! Elapsed wall clock time (in seconds):38.414
26.83/38.76	o 225
26.90/38.89	c And the winner is solver0
27.17/39.26	c Got one! Elapsed wall clock time (in seconds):38.916
27.17/39.26	o 224
27.24/39.30	c And the winner is solver0
27.29/39.76	c Got one! Elapsed wall clock time (in seconds):39.418
27.29/39.76	o 223
27.36/39.87	c And the winner is solver0
27.59/40.26	c Got one! Elapsed wall clock time (in seconds):39.92
27.59/40.26	o 222
28.05/40.50	c cleaning 7258 clauses out of 14526 with flag 4249/92279
28.25/40.60	c And the winner is solver0
28.33/40.76	c Got one! Elapsed wall clock time (in seconds):40.421
28.33/40.76	o 219
29.19/41.20	c cleaning 6187 clauses out of 12392 with flag 8617/97403
30.19/41.79	c And the winner is solver0
30.47/42.27	c Got one! Elapsed wall clock time (in seconds):41.923
30.47/42.27	o 218
31.33/42.78	c And the winner is solver0
31.66/43.27	c Got one! Elapsed wall clock time (in seconds):42.925
31.66/43.27	o 217
31.92/43.41	c cleaning 8887 clauses out of 17779 with flag 2235/108977
31.92/43.42	c And the winner is solver0
32.03/43.77	c Got one! Elapsed wall clock time (in seconds):43.427
32.03/43.77	o 216
32.29/43.91	c And the winner is solver0
32.40/44.27	c Got one! Elapsed wall clock time (in seconds):43.929
32.40/44.27	o 215
32.44/44.37	c And the winner is solver0
32.68/44.77	c Got one! Elapsed wall clock time (in seconds):44.431
32.68/44.77	o 214
32.68/44.79	c And the winner is solver0
32.73/45.28	c Got one! Elapsed wall clock time (in seconds):44.933
32.73/45.28	o 211
33.57/45.75	c cleaning 7652 clauses out of 15314 with flag 8350/115399
34.97/46.43	c cleaning 6828 clauses out of 13662 with flag 21249/121399
36.58/47.27	c cleaning 6913 clauses out of 13836 with flag 36239/128401
38.63/48.24	c cleaning 7456 clauses out of 14921 with flag 53634/136399
40.83/49.34	c cleaning 8233 clauses out of 16465 with flag 73724/145399
43.23/50.60	c cleaning 9110 clauses out of 18233 with flag 96344/155400
46.23/52.02	c cleaning 10061 clauses out of 20122 with flag 120555/166399
49.28/53.51	c cleaning 11027 clauses out of 22061 with flag 148071/178399
52.08/54.91	c cleaning 12014 clauses out of 24035 with flag 177956/191400
55.29/56.53	c cleaning 13008 clauses out of 26022 with flag 209829/205401
59.12/58.47	c cleaning 14000 clauses out of 28012 with flag 246480/220399
63.65/60.64	c cleaning 15001 clauses out of 30012 with flag 284675/236399
68.64/63.12	c cleaning 16006 clauses out of 32012 with flag 325383/253400
73.84/65.78	c cleaning 17002 clauses out of 34006 with flag 366101/271400
80.81/69.12	c cleaning 17998 clauses out of 36004 with flag 409606/290400
87.60/72.52	c cleaning 19002 clauses out of 38006 with flag 457014/310400
94.00/75.74	c cleaning 20000 clauses out of 40003 with flag 506546/331399
101.16/79.21	c cleaning 20991 clauses out of 42003 with flag 556835/353399
108.94/83.13	c cleaning 22004 clauses out of 44012 with flag 610635/376399
117.73/87.77	c cleaning 23002 clauses out of 46008 with flag 664699/400399
119.93/88.83	c And the winner is solver1
120.01/88.94	c Got one! Elapsed wall clock time (in seconds):88.594
120.01/88.94	o 210
122.32/90.13	c cleaning 17801 clauses out of 35604 with flag 14971/412997
124.33/91.14	c cleaning 11897 clauses out of 23804 with flag 34810/418998
126.33/92.19	c cleaning 9447 clauses out of 18907 with flag 57538/425998
128.77/93.33	c cleaning 8725 clauses out of 17459 with flag 82943/433997
131.17/94.59	c cleaning 8866 clauses out of 17734 with flag 112745/442997
133.97/95.96	c cleaning 9432 clauses out of 18868 with flag 143705/452997
137.17/97.51	c cleaning 10218 clauses out of 20436 with flag 182293/463997
140.57/99.25	c cleaning 11108 clauses out of 22219 with flag 224745/475998
144.67/101.28	c cleaning 12051 clauses out of 24110 with flag 270471/488997
149.07/103.46	c cleaning 13029 clauses out of 26060 with flag 314730/502998
149.07/103.47	c And the winner is solver0
149.39/103.94	c Got one! Elapsed wall clock time (in seconds):103.599
149.39/103.94	o 208
150.50/104.59	c cleaning 9059 clauses out of 18124 with flag 15087/508091
152.09/105.32	c cleaning 7534 clauses out of 15067 with flag 34567/514093
153.89/106.20	c cleaning 7258 clauses out of 14531 with flag 56006/521091
153.89/106.25	c And the winner is solver0
154.15/106.50	c Got one! Elapsed wall clock time (in seconds):106.152
154.15/106.50	o 207
155.41/107.11	c cleaning 6428 clauses out of 12868 with flag 14506/526686
156.61/107.76	c cleaning 6218 clauses out of 12439 with flag 31583/532685
158.47/108.67	c cleaning 6603 clauses out of 13221 with flag 53148/539685
158.87/108.86	c And the winner is solver0
159.23/109.10	c Got one! Elapsed wall clock time (in seconds):108.756
159.23/109.10	o 206
160.22/109.65	c cleaning 6187 clauses out of 12378 with flag 11691/545445
161.62/110.36	c cleaning 6094 clauses out of 12192 with flag 29991/551446
163.43/111.22	c cleaning 6545 clauses out of 13097 with flag 51306/558445
164.61/111.86	c And the winner is solver0
164.98/112.10	c Got one! Elapsed wall clock time (in seconds):111.76
164.98/112.10	o 205
166.36/112.83	c cleaning 8560 clauses out of 17125 with flag 15052/569018
167.96/113.65	c cleaning 7283 clauses out of 14565 with flag 33478/575018
169.96/114.60	c cleaning 7139 clauses out of 14283 with flag 54044/582019
171.97/115.66	c cleaning 7571 clauses out of 15142 with flag 77019/590017
174.63/116.90	c cleaning 8287 clauses out of 16574 with flag 102980/599020
177.03/118.10	c And the winner is solver0
177.15/118.21	c Got one! Elapsed wall clock time (in seconds):117.864
177.15/118.21	o 204
177.53/118.48	c And the winner is solver0
177.93/118.71	c Got one! Elapsed wall clock time (in seconds):118.367
177.93/118.71	o 203
179.30/119.40	c cleaning 11831 clauses out of 23667 with flag 11992/614400
180.90/120.25	c cleaning 8916 clauses out of 17836 with flag 30669/620400
182.51/121.10	c cleaning 7957 clauses out of 15920 with flag 51090/627400
184.71/122.13	c cleaning 7979 clauses out of 15964 with flag 76612/635401
186.70/123.10	c And the winner is solver0
186.81/123.22	c Got one! Elapsed wall clock time (in seconds):122.872
186.81/123.22	o 202
187.24/123.48	c And the winner is solver0
187.57/123.72	c Got one! Elapsed wall clock time (in seconds):123.375
187.57/123.72	o 201
188.74/124.36	c cleaning 10718 clauses out of 21447 with flag 12296/648863
190.32/125.14	c cleaning 8364 clauses out of 16729 with flag 32549/654863
192.12/126.04	c cleaning 7680 clauses out of 15366 with flag 54719/661864
194.12/127.00	c cleaning 7841 clauses out of 15685 with flag 78401/669863
196.32/128.11	c cleaning 8424 clauses out of 16849 with flag 105761/678868
198.72/129.39	c cleaning 9211 clauses out of 18422 with flag 134430/688865
201.93/130.92	c cleaning 10103 clauses out of 20211 with flag 169734/699865
205.20/132.58	c cleaning 11051 clauses out of 22106 with flag 207447/711863
209.00/134.41	c cleaning 12026 clauses out of 24055 with flag 246572/724863
213.22/136.51	c cleaning 13008 clauses out of 26030 with flag 289033/738864
217.80/138.88	c cleaning 14009 clauses out of 28021 with flag 334176/753863
223.29/141.59	c cleaning 15000 clauses out of 30012 with flag 384504/769863
228.89/144.32	c cleaning 16002 clauses out of 32013 with flag 440597/786864
234.88/147.32	c cleaning 17002 clauses out of 34010 with flag 495905/804863
241.79/150.80	c cleaning 18003 clauses out of 36008 with flag 559332/823863
248.98/154.34	c cleaning 19000 clauses out of 38005 with flag 620454/843863
256.85/158.28	c cleaning 20001 clauses out of 40005 with flag 687163/864863
263.05/161.30	c And the winner is solver0
263.30/161.73	c Got one! Elapsed wall clock time (in seconds):161.384
263.30/161.73	o 200
265.65/162.96	c cleaning 20497 clauses out of 41005 with flag 14600/885864
267.65/164.00	c cleaning 13252 clauses out of 26511 with flag 32861/891867
269.64/164.96	c cleaning 10124 clauses out of 20256 with flag 53547/898864
271.64/165.98	c cleaning 9067 clauses out of 18134 with flag 79764/906866
274.03/167.16	c cleaning 9031 clauses out of 18066 with flag 106956/915865
276.93/168.56	c cleaning 9515 clauses out of 19036 with flag 137370/925866
279.93/170.08	c cleaning 10252 clauses out of 20519 with flag 172828/936864
283.35/171.79	c cleaning 11133 clauses out of 22267 with flag 211440/948864
287.33/173.75	c cleaning 12064 clauses out of 24134 with flag 251464/961864
291.83/175.90	c cleaning 13028 clauses out of 26072 with flag 290477/975866
293.23/176.63	c And the winner is solver0
293.53/176.90	c Got one! Elapsed wall clock time (in seconds):176.555
293.53/176.90	o 199
295.01/177.68	c cleaning 12001 clauses out of 24011 with flag 13965/986833
296.61/178.44	c cleaning 9000 clauses out of 18008 with flag 31070/992831
298.42/179.32	c cleaning 8000 clauses out of 16008 with flag 52199/999831
300.21/180.21	c cleaning 8000 clauses out of 16008 with flag 73942/1007831
302.21/181.26	c cleaning 8503 clauses out of 17010 with flag 97257/1016833
304.41/182.36	c cleaning 9252 clauses out of 18506 with flag 124985/1026832
307.22/183.75	c cleaning 10124 clauses out of 20254 with flag 158847/1037832
310.01/185.17	c cleaning 11062 clauses out of 22130 with flag 191782/1049832
313.88/187.03	c cleaning 12029 clauses out of 24067 with flag 227162/1062831
317.47/188.86	c cleaning 13017 clauses out of 26039 with flag 267737/1076832
321.47/190.88	c cleaning 14011 clauses out of 28021 with flag 310229/1091831
326.07/193.19	c cleaning 15003 clauses out of 30010 with flag 355211/1107831
331.27/195.78	c cleaning 16004 clauses out of 32008 with flag 401082/1124832
336.96/198.57	c And the winner is solver0
337.36/198.91	c Got one! Elapsed wall clock time (in seconds):198.562
337.36/198.91	o 197
339.54/200.06	c cleaning 19464 clauses out of 38938 with flag 12973/1147766
341.54/201.03	c cleaning 12734 clauses out of 25473 with flag 30332/1153765
343.34/201.96	c cleaning 9866 clauses out of 19740 with flag 49407/1160766
343.74/202.14	c And the winner is solver0
344.09/202.46	c Got one! Elapsed wall clock time (in seconds):202.116
344.09/202.46	o 196
345.18/203.03	c cleaning 7702 clauses out of 15417 with flag 10441/1166309
346.58/203.76	c cleaning 6856 clauses out of 13715 with flag 26702/1172309
348.17/204.59	c cleaning 6921 clauses out of 13860 with flag 45563/1179310
350.17/205.55	c cleaning 7465 clauses out of 14939 with flag 70633/1187310
352.37/206.62	c cleaning 8233 clauses out of 16473 with flag 95092/1196309
354.98/207.96	c cleaning 9115 clauses out of 18241 with flag 121548/1206310
357.57/209.24	c cleaning 10059 clauses out of 20125 with flag 151476/1217309
361.03/210.92	c cleaning 11026 clauses out of 22066 with flag 184787/1229309
364.44/212.68	c cleaning 12016 clauses out of 24040 with flag 223591/1242309
368.25/214.57	c cleaning 13008 clauses out of 26024 with flag 260218/1256309
372.23/216.56	c cleaning 14008 clauses out of 28019 with flag 298840/1271312
377.05/218.92	c cleaning 14997 clauses out of 30008 with flag 343041/1287309
381.83/221.38	c cleaning 16005 clauses out of 32012 with flag 390133/1304310
387.23/224.07	c cleaning 17004 clauses out of 34007 with flag 439628/1322310
393.23/227.02	c cleaning 18002 clauses out of 36003 with flag 485254/1341310
399.43/230.16	c cleaning 18995 clauses out of 38001 with flag 535721/1361310
406.03/233.40	c cleaning 19997 clauses out of 40005 with flag 591690/1382309
413.82/237.37	c cleaning 21002 clauses out of 42008 with flag 656010/1404309
421.24/241.02	c cleaning 22000 clauses out of 44006 with flag 716680/1427309
428.82/244.81	c cleaning 22995 clauses out of 46006 with flag 776231/1451309
437.02/248.93	c cleaning 24006 clauses out of 48011 with flag 835506/1476309
444.62/252.74	c And the winner is solver0
445.27/253.37	c Got one! Elapsed wall clock time (in seconds):253.028
445.27/253.37	o 195
447.77/254.67	c cleaning 26362 clauses out of 52728 with flag 13240/1505032
450.61/256.49	c cleaning 16181 clauses out of 32367 with flag 27734/1511033
452.40/257.37	c cleaning 11586 clauses out of 23183 with flag 45759/1518030
454.40/258.30	c cleaning 9792 clauses out of 19597 with flag 63242/1526030
456.40/259.39	c cleaning 9401 clauses out of 18806 with flag 85131/1535031
458.80/260.56	c cleaning 9696 clauses out of 19404 with flag 107557/1545030
461.41/261.85	c cleaning 10352 clauses out of 20709 with flag 134462/1556031
464.20/263.20	c cleaning 11179 clauses out of 22358 with flag 162085/1568032
467.20/264.78	c cleaning 12083 clauses out of 24177 with flag 196203/1581030
470.80/266.55	c cleaning 13047 clauses out of 26094 with flag 234591/1595030
475.00/268.61	c cleaning 14019 clauses out of 28047 with flag 275746/1610030
479.21/270.74	c cleaning 15011 clauses out of 30029 with flag 315890/1626031
483.61/272.92	c cleaning 16006 clauses out of 32018 with flag 357468/1643031
488.60/275.43	c cleaning 16999 clauses out of 34012 with flag 405614/1661031
493.80/278.04	c cleaning 18005 clauses out of 36014 with flag 451407/1680032
499.19/280.70	c cleaning 19004 clauses out of 38008 with flag 500306/1700031
504.79/283.52	c cleaning 19995 clauses out of 40003 with flag 550129/1721030
510.99/286.62	c cleaning 21003 clauses out of 42010 with flag 604151/1743032
518.19/290.26	c cleaning 21994 clauses out of 44005 with flag 659510/1766030
525.79/294.04	c cleaning 23001 clauses out of 46012 with flag 719028/1790031
534.00/298.15	c cleaning 23996 clauses out of 48010 with flag 777486/1815030
542.80/302.52	c cleaning 25004 clauses out of 50017 with flag 843481/1841033
551.38/306.88	c cleaning 26003 clauses out of 52010 with flag 911835/1868030
560.78/311.51	c cleaning 27000 clauses out of 54008 with flag 976781/1896031
571.59/317.00	c cleaning 27995 clauses out of 56008 with flag 1047914/1925031
581.98/322.17	c cleaning 29007 clauses out of 58014 with flag 1124158/1955032
592.98/327.63	c cleaning 29995 clauses out of 60005 with flag 1206451/1986030
604.60/333.48	c cleaning 30996 clauses out of 62010 with flag 1289992/2018030
615.18/338.75	c cleaning 32004 clauses out of 64017 with flag 1372718/2051033
627.58/344.90	c cleaning 33004 clauses out of 66010 with flag 1454474/2085030
640.38/351.35	c cleaning 34001 clauses out of 68006 with flag 1542938/2120030
656.17/359.21	c cleaning 34993 clauses out of 70005 with flag 1636914/2156030
670.58/366.45	c cleaning 36003 clauses out of 72015 with flag 1725719/2193033
685.98/374.16	c cleaning 37002 clauses out of 74010 with flag 1815333/2231031
701.76/382.03	c cleaning 38003 clauses out of 76008 with flag 1908248/2270031
718.16/390.25	c cleaning 39001 clauses out of 78005 with flag 2001987/2310031
732.36/397.34	c And the winner is solver0
733.35/398.23	c Got one! Elapsed wall clock time (in seconds):397.888
733.35/398.23	o 193
737.18/400.12	c cleaning 40920 clauses out of 81839 with flag 11203/2352866
739.58/401.33	c cleaning 23455 clauses out of 46915 with flag 24925/2358862
741.78/402.43	c cleaning 15226 clauses out of 30460 with flag 40990/2365862
743.98/403.51	c cleaning 11608 clauses out of 23235 with flag 60253/2373863
746.18/404.60	c cleaning 10303 clauses out of 20626 with flag 81614/2382862
748.38/405.80	c cleaning 10156 clauses out of 20323 with flag 104590/2392862
750.99/407.04	c cleaning 10583 clauses out of 21170 with flag 131321/2403865
751.19/407.11	c And the winner is solver0
759.09/415.00	c Got one! Elapsed wall clock time (in seconds):414.654
759.09/415.00	o 191
760.29/415.69	c cleaning 8190 clauses out of 16390 with flag 11730/2409668
761.69/416.36	c cleaning 7095 clauses out of 14202 with flag 26344/2415670
763.10/417.10	c cleaning 7049 clauses out of 14105 with flag 42377/2422668
764.89/417.99	c cleaning 7524 clauses out of 15057 with flag 60185/2430669
767.08/419.05	c cleaning 8267 clauses out of 16534 with flag 81390/2439670
769.50/420.25	c cleaning 9128 clauses out of 18266 with flag 104748/2449669
772.08/421.56	c cleaning 10066 clauses out of 20138 with flag 129479/2460669
775.08/423.06	c cleaning 11028 clauses out of 22071 with flag 157532/2472668
778.30/424.64	c cleaning 12017 clauses out of 24043 with flag 187909/2485668
781.68/426.33	c cleaning 13012 clauses out of 26026 with flag 219219/2499668
785.69/428.39	c cleaning 14007 clauses out of 28014 with flag 254164/2514668
790.29/430.63	c cleaning 15000 clauses out of 30007 with flag 291756/2530668
795.09/433.02	c cleaning 16000 clauses out of 32007 with flag 332217/2547668
800.30/435.64	c cleaning 16998 clauses out of 34007 with flag 373465/2565668
804.29/437.61	c And the winner is solver0
804.72/438.00	c Got one! Elapsed wall clock time (in seconds):437.661
804.72/438.00	o 190
806.51/438.98	c cleaning 18183 clauses out of 36378 with flag 11963/2585037
808.10/439.74	c cleaning 12093 clauses out of 24196 with flag 27234/2591038
809.90/440.62	c cleaning 9542 clauses out of 19104 with flag 46731/2598039
811.70/441.58	c cleaning 8775 clauses out of 17560 with flag 66865/2606037
814.10/442.71	c cleaning 8893 clauses out of 17787 with flag 88785/2615039
816.30/443.82	c cleaning 9446 clauses out of 18894 with flag 110921/2625039
818.90/445.12	c cleaning 10223 clauses out of 20449 with flag 135416/2636040
821.91/446.64	c cleaning 11110 clauses out of 22224 with flag 162850/2648038
825.10/448.28	c cleaning 12056 clauses out of 24114 with flag 192844/2661038
828.99/450.13	c cleaning 13024 clauses out of 26057 with flag 225223/2675037
832.78/452.01	c cleaning 14018 clauses out of 28035 with flag 260803/2690039
836.58/453.94	c cleaning 15009 clauses out of 30019 with flag 297090/2706041
841.38/456.30	c cleaning 16000 clauses out of 32007 with flag 338336/2723038
845.98/458.61	c cleaning 17001 clauses out of 34008 with flag 379585/2741039
851.18/461.25	c cleaning 17999 clauses out of 36005 with flag 424358/2760037
856.58/463.95	c cleaning 19003 clauses out of 38006 with flag 472868/2780037
862.78/467.02	c cleaning 20000 clauses out of 40003 with flag 523624/2801037
869.18/470.29	c cleaning 21001 clauses out of 42004 with flag 571815/2823038
876.18/473.74	c cleaning 21997 clauses out of 44002 with flag 625953/2846037
883.59/477.42	c cleaning 22998 clauses out of 46005 with flag 684019/2870037
890.78/481.07	c cleaning 24001 clauses out of 48009 with flag 738919/2895039
899.19/485.21	c cleaning 25002 clauses out of 50007 with flag 796479/2921038
907.38/489.33	c cleaning 25995 clauses out of 52004 with flag 855078/2948037
915.17/493.25	c cleaning 26999 clauses out of 54011 with flag 916396/2976039
924.18/497.72	c cleaning 28006 clauses out of 56011 with flag 983028/3005038
934.20/502.76	c cleaning 28998 clauses out of 58004 with flag 1050794/3035037
944.98/508.15	c cleaning 29997 clauses out of 60009 with flag 1123232/3066040
957.18/514.20	c cleaning 31001 clauses out of 62009 with flag 1195795/3098037
969.18/520.28	c cleaning 32002 clauses out of 64011 with flag 1274259/3131040
980.59/525.98	c cleaning 32998 clauses out of 66006 with flag 1351079/3165037
992.77/532.03	c cleaning 33998 clauses out of 68008 with flag 1431301/3200037
1004.37/537.80	c cleaning 35006 clauses out of 70011 with flag 1515787/3236038
1017.78/544.52	c cleaning 35994 clauses out of 72005 with flag 1601144/3273038
1033.77/552.57	c cleaning 37003 clauses out of 74011 with flag 1691763/3311038
1049.37/560.35	c cleaning 38003 clauses out of 76007 with flag 1787566/3350037
1066.18/568.73	c cleaning 39000 clauses out of 78005 with flag 1881652/3390038
1082.16/576.78	c cleaning 40001 clauses out of 80007 with flag 1980418/3431040
1099.39/585.31	c cleaning 40997 clauses out of 82004 with flag 2079464/3473038
1115.57/593.44	c cleaning 42003 clauses out of 84009 with flag 2175697/3516040
1134.17/602.72	c cleaning 42998 clauses out of 86003 with flag 2279468/3560037
1153.97/612.53	c cleaning 44001 clauses out of 88005 with flag 2384716/3605037
1154.77/612.97	c And the winner is solver0
1190.48/648.56	c Got one! Elapsed wall clock time (in seconds):648.217
1190.48/648.56	o 189
1192.21/649.47	c cleaning 24837 clauses out of 49681 with flag 6912/3610714
1194.00/650.31	c cleaning 15419 clauses out of 30844 with flag 20282/3616714
1195.60/651.17	c cleaning 11207 clauses out of 22426 with flag 35795/3623715
1197.60/652.11	c cleaning 9601 clauses out of 19220 with flag 52452/3631716
1199.60/653.19	c cleaning 9308 clauses out of 18617 with flag 74001/3640714
1201.80/654.27	c cleaning 9654 clauses out of 19310 with flag 95514/3650715
1204.40/655.52	c cleaning 10325 clauses out of 20656 with flag 118788/3661715
1207.19/656.97	c cleaning 11155 clauses out of 22331 with flag 144521/3673715
1210.60/658.65	c cleaning 12084 clauses out of 24177 with flag 173850/3686716
1214.20/660.42	c cleaning 13047 clauses out of 26093 with flag 207366/3700716
1218.20/662.43	c cleaning 14019 clauses out of 28044 with flag 241058/3715714
1222.60/664.66	c cleaning 15013 clauses out of 30026 with flag 275616/3731715
1227.60/667.10	c cleaning 16007 clauses out of 32013 with flag 313358/3748715
1233.00/669.87	c cleaning 17001 clauses out of 34005 with flag 352238/3766714
1238.80/672.71	c cleaning 17995 clauses out of 36005 with flag 394385/3785715
1244.41/675.53	c cleaning 19005 clauses out of 38009 with flag 439869/3805714
1250.20/678.43	c cleaning 20000 clauses out of 40010 with flag 486300/3826720
1256.39/681.58	c cleaning 21000 clauses out of 42004 with flag 536675/3848714
1263.59/685.16	c cleaning 21998 clauses out of 44004 with flag 588558/3871714
1271.39/689.06	c cleaning 23002 clauses out of 46006 with flag 642998/3895714
1278.79/692.76	c cleaning 24003 clauses out of 48006 with flag 698200/3920716
1286.00/696.38	c cleaning 24995 clauses out of 50001 with flag 753450/3946714
1295.79/701.23	c cleaning 25997 clauses out of 52006 with flag 818096/3973714
1304.79/705.77	c cleaning 27001 clauses out of 54009 with flag 885553/4001714
1314.20/710.42	c cleaning 27998 clauses out of 56008 with flag 951764/4030714
1324.40/715.52	c cleaning 29002 clauses out of 58010 with flag 1025241/4060714
1335.20/720.92	c cleaning 30004 clauses out of 60008 with flag 1099684/4091714
1347.20/726.92	c cleaning 31001 clauses out of 62005 with flag 1175697/4123715
1358.81/732.74	c cleaning 32001 clauses out of 64003 with flag 1250120/4156714
1372.40/739.52	c cleaning 32997 clauses out of 66002 with flag 1325558/4190714
1386.20/746.40	c cleaning 34000 clauses out of 68005 with flag 1402695/4225714
1398.59/752.63	c cleaning 35002 clauses out of 70008 with flag 1478966/4261717
1412.00/759.39	c cleaning 35995 clauses out of 72004 with flag 1566252/4298715
1421.80/764.28	c And the winner is solver0
1426.81/769.15	c Got one! Elapsed wall clock time (in seconds):768.804
1426.81/769.15	o 188
1431.27/771.71	c cleaning 34381 clauses out of 68768 with flag 11724/4331474
1433.27/772.73	c cleaning 20191 clauses out of 40387 with flag 25487/4337474
1435.27/773.73	c cleaning 13596 clauses out of 27197 with flag 43147/4344475
1437.27/774.75	c cleaning 10792 clauses out of 21600 with flag 64142/4352474
1439.27/775.78	c cleaning 9895 clauses out of 19809 with flag 85789/4361475
1441.47/776.88	c cleaning 9956 clauses out of 19916 with flag 109283/4371477
1444.06/778.14	c cleaning 10471 clauses out of 20959 with flag 136000/4382476
1447.06/779.61	c cleaning 11242 clauses out of 22486 with flag 163300/4394474
1450.08/781.14	c cleaning 12122 clauses out of 24245 with flag 193051/4407475
1453.26/782.79	c cleaning 13057 clauses out of 26122 with flag 224390/4421474
1457.06/784.65	c cleaning 14030 clauses out of 28065 with flag 258397/4436474
1461.26/786.71	c cleaning 15013 clauses out of 30035 with flag 292476/4452474
1465.66/788.92	c cleaning 16009 clauses out of 32022 with flag 331628/4469474
1470.46/791.32	c cleaning 17004 clauses out of 34013 with flag 373069/4487474
1475.66/793.94	c cleaning 18005 clauses out of 36010 with flag 418390/4506475
1481.65/796.97	c cleaning 18998 clauses out of 38004 with flag 466829/4526474
1488.25/800.24	c cleaning 19993 clauses out of 40007 with flag 513900/4547475
1494.25/803.28	c cleaning 21007 clauses out of 42013 with flag 564288/4569474
1501.05/806.62	c cleaning 22000 clauses out of 44006 with flag 617258/4592474
1508.25/810.23	c cleaning 23002 clauses out of 46006 with flag 670534/4616474
1516.85/814.50	c cleaning 23990 clauses out of 48004 with flag 725175/4641474
1524.86/818.54	c cleaning 24999 clauses out of 50014 with flag 784733/4667474
1531.46/821.85	c And the winner is solver0
1566.99/857.32	c Got one! Elapsed wall clock time (in seconds):856.98
1566.99/857.32	o 184
1569.36/858.55	c cleaning 26338 clauses out of 52676 with flag 10693/4695135
1571.16/859.46	c cleaning 16163 clauses out of 32339 with flag 24516/4701136
1572.97/860.38	c cleaning 11576 clauses out of 23175 with flag 42149/4708135
1574.97/861.34	c cleaning 9798 clauses out of 19599 with flag 60787/4716135
1576.96/862.38	c cleaning 9394 clauses out of 18801 with flag 81429/4725135
1579.37/863.55	c cleaning 9698 clauses out of 19408 with flag 102872/4735136
1581.96/864.87	c cleaning 10353 clauses out of 20709 with flag 126651/4746135
1584.96/866.31	c cleaning 11177 clauses out of 22357 with flag 152629/4758136
1588.17/867.91	c cleaning 12083 clauses out of 24180 with flag 183038/4771136
1591.56/869.67	c cleaning 13048 clauses out of 26098 with flag 215027/4785137
1595.36/871.52	c cleaning 14024 clauses out of 28050 with flag 248106/4800137
1599.37/873.56	c cleaning 15011 clauses out of 30026 with flag 283591/4816137
1603.96/875.80	c cleaning 16006 clauses out of 32014 with flag 322395/4833136
1608.56/878.14	c cleaning 17001 clauses out of 34008 with flag 363118/4851136
1613.76/880.76	c cleaning 18003 clauses out of 36008 with flag 405264/4870137
1619.18/883.48	c cleaning 18998 clauses out of 38003 with flag 451290/4890135
1625.36/886.52	c cleaning 19999 clauses out of 40005 with flag 498310/4911135
1631.96/889.82	c cleaning 21001 clauses out of 42006 with flag 551908/4933135
1638.16/892.93	c cleaning 21999 clauses out of 44006 with flag 608299/4956136
1645.16/896.44	c cleaning 23003 clauses out of 46007 with flag 664282/4980136
1652.96/900.36	c cleaning 23998 clauses out of 48003 with flag 722391/5005135
1661.36/904.50	c cleaning 24999 clauses out of 50005 with flag 783847/5031135
1671.36/909.53	c cleaning 26002 clauses out of 52007 with flag 845405/5058136
1681.15/914.48	c cleaning 27000 clauses out of 54004 with flag 909862/5086135
1691.15/919.40	c cleaning 28001 clauses out of 56006 with flag 979384/5115137
1700.95/924.38	c cleaning 28998 clauses out of 58004 with flag 1047181/5145136
1712.15/929.90	c cleaning 30000 clauses out of 60005 with flag 1119783/5176135
1723.35/935.51	c cleaning 30998 clauses out of 62005 with flag 1195081/5208135
1736.20/941.99	c cleaning 31999 clauses out of 64007 with flag 1274237/5241135
1748.40/948.09	c cleaning 33003 clauses out of 66009 with flag 1356476/5275136
1761.40/954.52	c cleaning 34002 clauses out of 68007 with flag 1439149/5310137
1775.42/961.56	c cleaning 34999 clauses out of 70003 with flag 1528147/5346135
1789.80/968.72	c cleaning 35995 clauses out of 72004 with flag 1615853/5383135
1800.00/973.80	c >>>>>>>>>> Solver number 0 (95 answers) <<<<<<<<<<<<<<<<<<
1800.00/973.80	c starts		: 22909
1800.00/973.80	c conflicts		: 5411914
1800.00/973.80	c decisions		: 6365880
1800.00/973.80	c propagations		: 191723857
1800.00/973.80	c inspects		: 8946863154
1800.00/973.80	c shortcuts		: 0
1800.00/973.80	c learnt literals	: 0
1800.00/973.80	c learnt binary clauses	: 0
1800.00/973.80	c learnt ternary clauses	: 1453
1800.00/973.80	c learnt constraints	: 5411914
1800.00/973.80	c ignored constraints	: 0
1800.00/973.81	c root simplifications	: 0
1800.00/973.81	c removed literals (reason simplification)	: 390363734
1800.00/973.81	c reason swapping (by a shorter reason)	: 0
1800.00/973.81	c Calls to reduceDB	: 314
1800.00/973.81	c Number of update (reduction) of LBD	: 78305
1800.00/973.81	c Imported unit clauses	: 0
1800.00/973.81	c number of reductions to clauses (during analyze)	: 0
1800.00/973.81	c number of learned constraints concerned by reduction	: 0
1800.00/973.81	c number of learning phase by resolution	: 0
1800.00/973.81	c number of learning phase by cutting planes	: 0
1800.00/973.81	c speed (assignments/second)	: 216669.93307461243
1800.00/973.81	c non guided choices	0
1800.00/973.83	c learnt constraints type 
1800.00/973.83	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 64788
1800.00/973.83	c >>>>>>>>>> Solver number 1 (1 answers) <<<<<<<<<<<<<<<<<<
1800.00/973.83	c starts		: 121
1800.00/973.83	c conflicts		: 4552
1800.00/973.83	c decisions		: 9695
1800.00/973.83	c propagations		: 221784
1800.00/973.83	c inspects		: 193241435
1800.00/973.83	c shortcuts		: 0
1800.00/973.83	c learnt literals	: 0
1800.00/973.83	c learnt binary clauses	: 0
1800.00/973.83	c learnt ternary clauses	: 0
1800.00/973.83	c learnt constraints	: 4505
1800.00/973.83	c ignored constraints	: 0
1800.00/973.83	c root simplifications	: 0
1800.00/973.83	c removed literals (reason simplification)	: 0
1800.00/973.83	c reason swapping (by a shorter reason)	: 0
1800.00/973.83	c Calls to reduceDB	: 0
1800.00/973.83	c Number of update (reduction) of LBD	: 0
1800.00/973.83	c Imported unit clauses	: 0
1800.00/973.83	c number of reductions to clauses (during analyze)	: 0
1800.00/973.83	c number of learned constraints concerned by reduction	: 0
1800.00/973.83	c number of learning phase by resolution	: 0
1800.00/973.83	c number of learning phase by cutting planes	: 0
1800.00/973.83	c speed (assignments/second)	: 1903.725321888412
1800.00/973.83	c non guided choices	0
1800.00/973.83	c learnt constraints type 
1800.00/973.83	c org.sat4j.pb.constraints.pb.LearntHTClausePB => 1
1800.00/973.83	c org.sat4j.pb.constraints.pb.MaxWatchPb => 4504
1800.00/973.83	s SATISFIABLE
1800.00/973.83	c Found 96 solution(s)
1800.00/973.83	v -x1 x2 -x3 -x4 x5 -x6 -x7 -x8 x9 -x10 x11 -x12 -x13 -x14 x15 x16 x17 -x18 -x19 -x20 x21 -x22 x23 x24 -x25 -x26 x27 -x28 x29 x30 x31 x32 x33 x34 x35 x36 -x37 x38 x39 -x40 -x41 x42 x43 x44 x45 x46 x47 x48 x49 x50 x51 x52 x53 -x54 x55 x56 x57 x58 x59 x60 x61 -x62 x63 x64 -x65 x66 -x67 x68 -x69 -x70 -x71 x72 -x73 x74 -x75 -x76 x77 -x78 x79 -x80 x81 x82 x83 x84 -x85 -x86 -x87 x88 -x89 -x90 x91 
1800.00/973.83	c objective function=184
1800.00/973.83	c Total wall clock time (in seconds): 973.486

Verifier Data 

OK	184

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

pid=8445
running on 4 cores: 0,2,4,6

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


[startup+0 s]
/proc/loadavg: 1.17 1.34 1.72 2/170 8448
/proc/meminfo: memFree=28628060/32872528 swapFree=1525072/1694724
[pid=8448] ppid=8445 vsize=272 CPUtime=0 cores=0,2,4,6
/proc/8448/stat : 8448 (java) R 8445 8448 7126 0 -1 4202496 156 0 1 0 0 0 0 0 20 0 1 0 4832206 278528 33 33554432000 1073741824 1073778376 140733940656128 140733940653304 270698376487 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/8448/statm: 68 33 25 9 0 25 0

[startup+0.100162 s]
/proc/loadavg: 1.17 1.34 1.72 2/170 8448
/proc/meminfo: memFree=28628060/32872528 swapFree=1525072/1694724
[pid=8448] ppid=8445 vsize=23236 CPUtime=0 cores=0,2,4,6
/proc/8448/stat : 8448 (java) D 8445 8448 7126 0 -1 4202496 1142 0 21 0 0 0 0 0 20 0 1 0 4832206 23793664 814 33554432000 1073741824 1073778376 140735356679712 140735356669704 140436644517584 0 0 4096 0 18446744071579943789 0 0 17 4 0 0 7 0 0
/proc/8448/statm: 5809 814 608 9 0 128 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 23236

[startup+0.200198 s]
/proc/loadavg: 1.17 1.34 1.72 2/170 8448
/proc/meminfo: memFree=28628060/32872528 swapFree=1525072/1694724
[pid=8448] ppid=8445 vsize=9225560 CPUtime=0.03 cores=0,2,4,6
/proc/8448/stat : 8448 (java) S 8445 8448 7126 0 -1 4202496 3091 0 30 0 2 1 0 0 20 0 13 0 4832206 9446973440 3230 33554432000 1073741824 1073778376 140735356679712 140735356670848 270710898749 0 0 0 16784584 18446744073709551615 0 0 17 4 0 0 7 0 0
/proc/8448/statm: 2306390 3230 1680 9 0 2297091 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 9225560

[startup+0.30021 s]
/proc/loadavg: 1.17 1.34 1.72 2/170 8448
/proc/meminfo: memFree=28628060/32872528 swapFree=1525072/1694724
[pid=8448] ppid=8445 vsize=9558476 CPUtime=0.08 cores=0,2,4,6
/proc/8448/stat : 8448 (java) S 8445 8448 7126 0 -1 4202496 3953 0 30 0 7 1 0 0 20 0 18 0 4832206 9787879424 4601 33554432000 1073741824 1073778376 140735356679712 140735356670848 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 7 0 0
/proc/8448/statm: 2389619 4601 2011 9 0 2380296 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 9558476

[startup+0.700295 s]
/proc/loadavg: 1.17 1.34 1.72 2/170 8448
/proc/meminfo: memFree=28628060/32872528 swapFree=1525072/1694724
[pid=8448] ppid=8445 vsize=9824732 CPUtime=0.46 cores=0,2,4,6
/proc/8448/stat : 8448 (java) S 8445 8448 7126 0 -1 4202496 6180 0 32 0 42 4 0 0 20 0 19 0 4832206 10060525568 9412 33554432000 1073741824 1073778376 140735356679712 140735356670848 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 7 0 0
/proc/8448/statm: 2456183 9412 2240 9 0 2446860 0
Current children cumulated CPU time (s) 0.46
Current children cumulated vsize (KiB) 9824732

[startup+1.5008 s]
/proc/loadavg: 1.17 1.34 1.72 4/212 8505
/proc/meminfo: memFree=28525144/32872528 swapFree=1525072/1694724
[pid=8448] ppid=8445 vsize=9824732 CPUtime=0.63 cores=0,2,4,6
/proc/8448/stat : 8448 (java) S 8445 8448 7126 0 -1 4202496 6904 0 32 0 57 6 0 0 20 0 19 0 4832206 10060525568 11282 33554432000 1073741824 1073778376 140735356679712 140735356670848 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 7 0 0
/proc/8448/statm: 2456183 11282 2249 9 0 2446860 0
[pid=8448/tid=8452] ppid=8445 vsize=9824732 CPUtime=0.26 cores=0,2,4,6
/proc/8448/task/8452/stat : 8452 (java) S 8445 8448 7126 0 -1 4202560 2458 0 7 0 24 2 0 0 20 0 19 0 4832217 10060525568 11282 33554432000 1073741824 1073778376 140735356679712 140436640199544 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 12 0 0
[pid=8448/tid=8467] ppid=8445 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/8448/task/8467/stat : 8467 (java) S 8445 8448 7126 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4832221 10060525568 11282 33554432000 1073741824 1073778376 140735356679712 140436578929704 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8448/tid=8468] ppid=8445 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/8448/task/8468/stat : 8468 (java) S 8445 8448 7126 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4832221 10060525568 11282 33554432000 1073741824 1073778376 140735356679712 140436577876904 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8448/tid=8469] ppid=8445 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/8448/task/8469/stat : 8469 (java) S 8445 8448 7126 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4832221 10060525568 11282 33554432000 1073741824 1073778376 140735356679712 140436576824104 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8448/tid=8470] ppid=8445 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/8448/task/8470/stat : 8470 (java) S 8445 8448 7126 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4832221 10060525568 11282 33554432000 1073741824 1073778376 140735356679712 140436575771304 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8448/tid=8471] ppid=8445 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/8448/task/8471/stat : 8471 (java) S 8445 8448 7126 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4832221 10060525568 11282 33554432000 1073741824 1073778376 140735356679712 140436574718504 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8448/tid=8472] ppid=8445 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/8448/task/8472/stat : 8472 (java) S 8445 8448 7126 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4832221 10060525568 11282 33554432000 1073741824 1073778376 140735356679712 140436573665704 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8448/tid=8473] ppid=8445 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/8448/task/8473/stat : 8473 (java) S 8445 8448 7126 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4832221 10060525568 11282 33554432000 1073741824 1073778376 140735356679712 140436477524264 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8448/tid=8474] ppid=8445 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/8448/task/8474/stat : 8474 (java) S 8445 8448 7126 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 4832221 10060525568 11282 33554432000 1073741824 1073778376 140735356679712 140436476471464 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8448/tid=8483] ppid=8445 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/8448/task/8483/stat : 8483 (java) S 8445 8448 7126 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 4832224 10060525568 11282 33554432000 1073741824 1073778376 140735356679712 140436464274408 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8448/tid=8485] ppid=8445 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/8448/task/8485/stat : 8485 (java) S 8445 8448 7126 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 4832226 10060525568 11282 33554432000 1073741824 1073778376 140735356679712 140436463220472 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8448/tid=8487] ppid=8445 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/8448/task/8487/stat : 8487 (java) S 8445 8448 7126 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 4832226 10060525568 11282 33554432000 1073741824 1073778376 140735356679712 140436462167560 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8448/tid=8490] ppid=8445 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/8448/task/8490/stat : 8490 (java) S 8445 8448 7126 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4832231 10060525568 11282 33554432000 1073741824 1073778376 140735356679712 140436461116048 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8448/tid=8492] ppid=8445 vsize=9824732 CPUtime=0.11 cores=0,2,4,6
/proc/8448/task/8492/stat : 8492 (java) S 8445 8448 7126 0 -1 4202560 1307 0 1 0 11 0 0 0 20 0 19 0 4832231 10060525568 11282 33554432000 1073741824 1073778376 140735356679712 140436460063160 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8448/tid=8494] ppid=8445 vsize=9824732 CPUtime=0.12 cores=0,2,4,6
/proc/8448/task/8494/stat : 8494 (java) S 8445 8448 7126 0 -1 4202560 1819 0 1 0 12 0 0 0 20 0 19 0 4832231 10060525568 11282 33554432000 1073741824 1073778376 140735356679712 140436459010360 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8448/tid=8496] ppid=8445 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/8448/task/8496/stat : 8496 (java) S 8445 8448 7126 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4832231 10060525568 11282 33554432000 1073741824 1073778376 140735356679712 140436457957752 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8448/tid=8498] ppid=8445 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/8448/task/8498/stat : 8498 (java) S 8445 8448 7126 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4832231 10060525568 11282 33554432000 1073741824 1073778376 140735356679712 140436456905160 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8448/tid=8501] ppid=8445 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/8448/task/8501/stat : 8501 (java) S 8445 8448 7126 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 4832258 10060525568 11282 33554432000 1073741824 1073778376 140735356679712 140436453746088 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.63
Current children cumulated vsize (KiB) 9824732

[startup+3.10068 s]
/proc/loadavg: 1.17 1.34 1.72 6/216 8521
/proc/meminfo: memFree=28461048/32872528 swapFree=1525072/1694724
[pid=8448] ppid=8445 vsize=9824732 CPUtime=1.28 cores=0,2,4,6
/proc/8448/stat : 8448 (java) S 8445 8448 7126 0 -1 4202496 13841 0 32 0 120 8 0 0 20 0 22 0 4832206 10060525568 20975 33554432000 1073741824 1073778376 140735356679712 140735356670848 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 7 0 0
/proc/8448/statm: 2456183 20975 2255 9 0 2446860 0
[pid=8448/tid=8452] ppid=8445 vsize=9824732 CPUtime=0.27 cores=0,2,4,6
/proc/8448/task/8452/stat : 8452 (java) S 8445 8448 7126 0 -1 4202560 2461 0 7 0 25 2 0 0 20 0 22 0 4832217 10060525568 20975 33554432000 1073741824 1073778376 140735356679712 140436640199544 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 12 0 0
[pid=8448/tid=8467] ppid=8445 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/8448/task/8467/stat : 8467 (java) S 8445 8448 7126 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 4832221 10060525568 20975 33554432000 1073741824 1073778376 140735356679712 140436578929704 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8448/tid=8468] ppid=8445 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/8448/task/8468/stat : 8468 (java) S 8445 8448 7126 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 4832221 10060525568 20975 33554432000 1073741824 1073778376 140735356679712 140436577876904 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8448/tid=8469] ppid=8445 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/8448/task/8469/stat : 8469 (java) S 8445 8448 7126 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 4832221 10060525568 20975 33554432000 1073741824 1073778376 140735356679712 140436576824104 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8448/tid=8470] ppid=8445 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/8448/task/8470/stat : 8470 (java) S 8445 8448 7126 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 4832221 10060525568 20975 33554432000 1073741824 1073778376 140735356679712 140436575771304 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8448/tid=8471] ppid=8445 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/8448/task/8471/stat : 8471 (java) S 8445 8448 7126 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 4832221 10060525568 20975 33554432000 1073741824 1073778376 140735356679712 140436574718504 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8448/tid=8472] ppid=8445 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/8448/task/8472/stat : 8472 (java) S 8445 8448 7126 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 4832221 10060525568 20975 33554432000 1073741824 1073778376 140735356679712 140436573665704 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8448/tid=8473] ppid=8445 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/8448/task/8473/stat : 8473 (java) S 8445 8448 7126 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 4832221 10060525568 20975 33554432000 1073741824 1073778376 140735356679712 140436477524264 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8448/tid=8474] ppid=8445 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/8448/task/8474/stat : 8474 (java) S 8445 8448 7126 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 4832221 10060525568 20975 33554432000 1073741824 1073778376 140735356679712 140436476471464 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8448/tid=8483] ppid=8445 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/8448/task/8483/stat : 8483 (java) S 8445 8448 7126 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 4832224 10060525568 20975 33554432000 1073741824 1073778376 140735356679712 140436464274408 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8448/tid=8485] ppid=8445 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/8448/task/8485/stat : 8485 (java) S 8445 8448 7126 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 22 0 4832226 10060525568 20975 33554432000 1073741824 1073778376 140735356679712 140436463220472 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8448/tid=8487] ppid=8445 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/8448/task/8487/stat : 8487 (java) S 8445 8448 7126 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 4832226 10060525568 20975 33554432000 1073741824 1073778376 140735356679712 140436462167560 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8448/tid=8490] ppid=8445 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/8448/task/8490/stat : 8490 (java) S 8445 8448 7126 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 4832231 10060525568 20975 33554432000 1073741824 1073778376 140735356679712 140436461116048 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8448/tid=8492] ppid=8445 vsize=9824732 CPUtime=0.33 cores=0,2,4,6
/proc/8448/task/8492/stat : 8492 (java) R 8445 8448 7126 0 -1 4202560 4042 0 1 0 33 0 0 0 20 0 22 0 4832231 10060525568 20975 33554432000 1073741824 1073778376 140735356679712 140436460050448 140436643218524 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0
[pid=8448/tid=8494] ppid=8445 vsize=9824732 CPUtime=0.42 cores=0,2,4,6
/proc/8448/task/8494/stat : 8494 (java) R 8445 8448 7126 0 -1 4202560 5982 0 1 0 42 0 0 0 20 0 22 0 4832231 10060525568 20975 33554432000 1073741824 1073778376 140735356679712 140436458997888 140436642008144 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=8448/tid=8496] ppid=8445 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/8448/task/8496/stat : 8496 (java) S 8445 8448 7126 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 4832231 10060525568 20975 33554432000 1073741824 1073778376 140735356679712 140436457957752 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8448/tid=8498] ppid=8445 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/8448/task/8498/stat : 8498 (java) S 8445 8448 7126 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 4832231 10060525568 20975 33554432000 1073741824 1073778376 140735356679712 140436456905160 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8448/tid=8501] ppid=8445 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/8448/task/8501/stat : 8501 (java) S 8445 8448 7126 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 4832258 10060525568 20975 33554432000 1073741824 1073778376 140735356679712 140436453746088 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1.28
Current children cumulated vsize (KiB) 9824732
heavy processes:
  %CPU=23 pid=1806 uid=0 cmd=

[startup+6.30082 s]
/proc/loadavg: 1.16 1.34 1.71 2/213 8556
/proc/meminfo: memFree=28319428/32872528 swapFree=1525072/1694724
[pid=8448] ppid=8445 vsize=9824732 CPUtime=2.53 cores=0,2,4,6
/proc/8448/stat : 8448 (java) S 8445 8448 7126 0 -1 4202496 14033 0 32 0 238 15 0 0 20 0 19 0 4832206 10060525568 39615 33554432000 1073741824 1073778376 140735356679712 140735356670848 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 7 0 0
/proc/8448/statm: 2456183 39615 2270 9 0 2446860 0
[pid=8448/tid=8452] ppid=8445 vsize=9824732 CPUtime=0.29 cores=0,2,4,6
/proc/8448/task/8452/stat : 8452 (java) S 8445 8448 7126 0 -1 4202560 2463 0 7 0 27 2 0 0 20 0 19 0 4832217 10060525568 39615 33554432000 1073741824 1073778376 140735356679712 140436640199544 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 12 0 0
[pid=8448/tid=8467] ppid=8445 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/8448/task/8467/stat : 8467 (java) S 8445 8448 7126 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4832221 10060525568 39615 33554432000 1073741824 1073778376 140735356679712 140436578929704 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8448/tid=8468] ppid=8445 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/8448/task/8468/stat : 8468 (java) S 8445 8448 7126 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4832221 10060525568 39615 33554432000 1073741824 1073778376 140735356679712 140436577876904 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8448/tid=8469] ppid=8445 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/8448/task/8469/stat : 8469 (java) S 8445 8448 7126 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4832221 10060525568 39615 33554432000 1073741824 1073778376 140735356679712 140436576824104 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8448/tid=8470] ppid=8445 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/8448/task/8470/stat : 8470 (java) S 8445 8448 7126 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4832221 10060525568 39615 33554432000 1073741824 1073778376 140735356679712 140436575771304 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8448/tid=8471] ppid=8445 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/8448/task/8471/stat : 8471 (java) S 8445 8448 7126 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4832221 10060525568 39615 33554432000 1073741824 1073778376 140735356679712 140436574718504 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8448/tid=8472] ppid=8445 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/8448/task/8472/stat : 8472 (java) S 8445 8448 7126 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4832221 10060525568 39615 33554432000 1073741824 1073778376 140735356679712 140436573665704 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8448/tid=8473] ppid=8445 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/8448/task/8473/stat : 8473 (java) S 8445 8448 7126 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4832221 10060525568 39615 33554432000 1073741824 1073778376 140735356679712 140436477524264 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8448/tid=8474] ppid=8445 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/8448/task/8474/stat : 8474 (java) S 8445 8448 7126 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 4832221 10060525568 39615 33554432000 1073741824 1073778376 140735356679712 140436476471464 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8448/tid=8483] ppid=8445 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/8448/task/8483/stat : 8483 (java) S 8445 8448 7126 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 4832224 10060525568 39615 33554432000 1073741824 1073778376 140735356679712 140436464274408 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8448/tid=8485] ppid=8445 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/8448/task/8485/stat : 8485 (java) S 8445 8448 7126 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 4832226 10060525568 39615 33554432000 1073741824 1073778376 140735356679712 140436463220472 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8448/tid=8487] ppid=8445 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/8448/task/8487/stat : 8487 (java) S 8445 8448 7126 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 4832226 10060525568 39615 33554432000 1073741824 1073778376 140735356679712 140436462167560 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8448/tid=8490] ppid=8445 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/8448/task/8490/stat : 8490 (java) S 8445 8448 7126 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4832231 10060525568 39615 33554432000 1073741824 1073778376 140735356679712 140436461116048 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8448/tid=8492] ppid=8445 vsize=9824732 CPUtime=0.64 cores=0,2,4,6
/proc/8448/task/8492/stat : 8492 (java) S 8445 8448 7126 0 -1 4202560 4097 0 1 0 64 0 0 0 20 0 19 0 4832231 10060525568 39615 33554432000 1073741824 1073778376 140735356679712 140436460063160 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8448/tid=8494] ppid=8445 vsize=9824732 CPUtime=0.74 cores=0,2,4,6
/proc/8448/task/8494/stat : 8494 (java) S 8445 8448 7126 0 -1 4202560 6027 0 1 0 74 0 0 0 20 0 19 0 4832231 10060525568 39615 33554432000 1073741824 1073778376 140735356679712 140436459010360 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8448/tid=8496] ppid=8445 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/8448/task/8496/stat : 8496 (java) S 8445 8448 7126 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4832231 10060525568 39615 33554432000 1073741824 1073778376 140735356679712 140436457957752 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8448/tid=8498] ppid=8445 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/8448/task/8498/stat : 8498 (java) S 8445 8448 7126 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 4832231 10060525568 39615 33554432000 1073741824 1073778376 140735356679712 140436456905160 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8448/tid=8501] ppid=8445 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/8448/task/8501/stat : 8501 (java) S 8445 8448 7126 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 4832258 10060525568 39615 33554432000 1073741824 1073778376 140735356679712 140436453746088 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 2.53

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


[startup+882.308 s]
/proc/loadavg: 4.04 3.94 3.13 5/219 9304
/proc/meminfo: memFree=20769580/32872528 swapFree=1525072/1694724
[pid=8448] ppid=8445 vsize=9824732 CPUtime=1616.98 cores=0,2,4,6
/proc/8448/stat : 8448 (java) S 8445 8448 7126 0 -1 4202496 25239 0 32 0 161374 324 0 0 20 0 22 0 4832206 10060525568 802494 33554432000 1073741824 1073778376 140735356679712 140735356670848 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 7 0 0
/proc/8448/statm: 2456183 802494 2296 9 0 2446860 0
[pid=8448/tid=8452] ppid=8445 vsize=9824732 CPUtime=0.49 cores=0,2,4,6
/proc/8448/task/8452/stat : 8452 (java) S 8445 8448 7126 0 -1 4202560 2468 0 7 0 45 4 0 0 20 0 22 0 4832217 10060525568 802494 33554432000 1073741824 1073778376 140735356679712 140436640199544 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 12 0 0
[pid=8448/tid=8467] ppid=8445 vsize=9824732 CPUtime=0.85 cores=0,2,4,6
/proc/8448/task/8467/stat : 8467 (java) S 8445 8448 7126 0 -1 4202560 407 0 0 0 71 14 0 0 20 0 22 0 4832221 10060525568 802494 33554432000 1073741824 1073778376 140735356679712 140436578929704 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8448/tid=8468] ppid=8445 vsize=9824732 CPUtime=0.8 cores=0,2,4,6
/proc/8448/task/8468/stat : 8468 (java) S 8445 8448 7126 0 -1 4202560 472 0 0 0 67 13 0 0 20 0 22 0 4832221 10060525568 802494 33554432000 1073741824 1073778376 140735356679712 140436577876904 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8448/tid=8469] ppid=8445 vsize=9824732 CPUtime=0.86 cores=0,2,4,6
/proc/8448/task/8469/stat : 8469 (java) S 8445 8448 7126 0 -1 4202560 386 0 0 0 73 13 0 0 20 0 22 0 4832221 10060525568 802494 33554432000 1073741824 1073778376 140735356679712 140436576824104 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8448/tid=8470] ppid=8445 vsize=9824732 CPUtime=0.9 cores=0,2,4,6
/proc/8448/task/8470/stat : 8470 (java) S 8445 8448 7126 0 -1 4202560 373 0 0 0 76 14 0 0 20 0 22 0 4832221 10060525568 802494 33554432000 1073741824 1073778376 140735356679712 140436575771304 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8448/tid=8471] ppid=8445 vsize=9824732 CPUtime=0.84 cores=0,2,4,6
/proc/8448/task/8471/stat : 8471 (java) S 8445 8448 7126 0 -1 4202560 355 0 0 0 68 16 0 0 20 0 22 0 4832221 10060525568 802494 33554432000 1073741824 1073778376 140735356679712 140436574718504 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8448/tid=8472] ppid=8445 vsize=9824732 CPUtime=0.65 cores=0,2,4,6
/proc/8448/task/8472/stat : 8472 (java) S 8445 8448 7126 0 -1 4202560 450 0 0 0 55 10 0 0 20 0 22 0 4832221 10060525568 802494 33554432000 1073741824 1073778376 140735356679712 140436573665704 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8448/tid=8473] ppid=8445 vsize=9824732 CPUtime=0.79 cores=0,2,4,6
/proc/8448/task/8473/stat : 8473 (java) S 8445 8448 7126 0 -1 4202560 302 0 0 0 65 14 0 0 20 0 22 0 4832221 10060525568 802494 33554432000 1073741824 1073778376 140735356679712 140436477524264 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8448/tid=8474] ppid=8445 vsize=9824732 CPUtime=0.91 cores=0,2,4,6
/proc/8448/task/8474/stat : 8474 (java) S 8445 8448 7126 0 -1 4202560 547 0 0 0 75 16 0 0 20 0 22 0 4832221 10060525568 802494 33554432000 1073741824 1073778376 140735356679712 140436476471464 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8448/tid=8483] ppid=8445 vsize=9824732 CPUtime=2.24 cores=0,2,4,6
/proc/8448/task/8483/stat : 8483 (java) S 8445 8448 7126 0 -1 4202560 1746 0 0 0 217 7 0 0 20 0 22 0 4832224 10060525568 802494 33554432000 1073741824 1073778376 140735356679712 140436464274408 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8448/tid=8485] ppid=8445 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/8448/task/8485/stat : 8485 (java) S 8445 8448 7126 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 4832226 10060525568 802494 33554432000 1073741824 1073778376 140735356679712 140436463220472 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8448/tid=8487] ppid=8445 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/8448/task/8487/stat : 8487 (java) S 8445 8448 7126 0 -1 4202560 35 0 0 0 0 0 0 0 20 0 22 0 4832226 10060525568 802494 33554432000 1073741824 1073778376 140735356679712 140436462167560 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8448/tid=8490] ppid=8445 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/8448/task/8490/stat : 8490 (java) S 8445 8448 7126 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 4832231 10060525568 802494 33554432000 1073741824 1073778376 140735356679712 140436461116048 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8448/tid=8492] ppid=8445 vsize=9824732 CPUtime=1.35 cores=0,2,4,6
/proc/8448/task/8492/stat : 8492 (java) S 8445 8448 7126 0 -1 4202560 6814 0 1 0 135 0 0 0 20 0 22 0 4832231 10060525568 802494 33554432000 1073741824 1073778376 140735356679712 140436460063160 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8448/tid=8494] ppid=8445 vsize=9824732 CPUtime=1.15 cores=0,2,4,6
/proc/8448/task/8494/stat : 8494 (java) S 8445 8448 7126 0 -1 4202560 7474 0 1 0 115 0 0 0 20 0 22 0 4832231 10060525568 802494 33554432000 1073741824 1073778376 140735356679712 140436459010360 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8448/tid=8496] ppid=8445 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/8448/task/8496/stat : 8496 (java) S 8445 8448 7126 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 4832231 10060525568 802494 33554432000 1073741824 1073778376 140735356679712 140436457957752 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8448/tid=8498] ppid=8445 vsize=9824732 CPUtime=0.21 cores=0,2,4,6
/proc/8448/task/8498/stat : 8498 (java) S 8445 8448 7126 0 -1 4202560 52 0 0 0 10 11 0 0 20 0 22 0 4832231 10060525568 802494 33554432000 1073741824 1073778376 140735356679712 140436456905160 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8448/tid=9009] ppid=8445 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/8448/task/9009/stat : 9009 (java) S 8445 8448 7126 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 4841101 10060525568 802494 33554432000 1073741824 1073778376 140735356679712 140436453746344 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8448/tid=9302] ppid=8445 vsize=9824732 CPUtime=24.96 cores=0,2,4,6
/proc/8448/task/9302/stat : 9302 (java) R 8445 8448 7126 0 -1 4202560 3 0 0 0 2496 0 0 0 20 0 22 0 4917939 10060525568 802494 33554432000 1073741824 1073778376 140735356679712 140436455841392 140436580651615 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=8448/tid=9303] ppid=8445 vsize=9824732 CPUtime=24.96 cores=0,2,4,6
/proc/8448/task/9303/stat : 9303 (java) R 8445 8448 7126 0 -1 4202560 2 0 0 0 2496 0 0 0 20 0 22 0 4917939 10060525568 802494 33554432000 1073741824 1073778376 140735356679712 140436452693784 140436580923784 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=8448/tid=9304] ppid=8445 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/8448/task/9304/stat : 9304 (java) S 8445 8448 7126 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 4917939 10060525568 802494 33554432000 1073741824 1073778376 140735356679712 140436454798888 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1616.98
Current children cumulated vsize (KiB) 9824732

[startup+942.301 s]
/proc/loadavg: 4.21 4.01 3.20 5/219 9305
/proc/meminfo: memFree=20881172/32872528 swapFree=1525072/1694724
[pid=8448] ppid=8445 vsize=9824732 CPUtime=1737 cores=0,2,4,6
/proc/8448/stat : 8448 (java) S 8445 8448 7126 0 -1 4202496 25265 0 32 0 173375 325 0 0 20 0 22 0 4832206 10060525568 774346 33554432000 1073741824 1073778376 140735356679712 140735356670848 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 7 0 0
/proc/8448/statm: 2456183 774346 2296 9 0 2446860 0
[pid=8448/tid=8452] ppid=8445 vsize=9824732 CPUtime=0.49 cores=0,2,4,6
/proc/8448/task/8452/stat : 8452 (java) S 8445 8448 7126 0 -1 4202560 2468 0 7 0 45 4 0 0 20 0 22 0 4832217 10060525568 774346 33554432000 1073741824 1073778376 140735356679712 140436640199544 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 12 0 0
[pid=8448/tid=8467] ppid=8445 vsize=9824732 CPUtime=0.86 cores=0,2,4,6
/proc/8448/task/8467/stat : 8467 (java) S 8445 8448 7126 0 -1 4202560 407 0 0 0 72 14 0 0 20 0 22 0 4832221 10060525568 774346 33554432000 1073741824 1073778376 140735356679712 140436578929704 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8448/tid=8468] ppid=8445 vsize=9824732 CPUtime=0.82 cores=0,2,4,6
/proc/8448/task/8468/stat : 8468 (java) S 8445 8448 7126 0 -1 4202560 483 0 0 0 69 13 0 0 20 0 22 0 4832221 10060525568 774346 33554432000 1073741824 1073778376 140735356679712 140436577876904 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8448/tid=8469] ppid=8445 vsize=9824732 CPUtime=0.86 cores=0,2,4,6
/proc/8448/task/8469/stat : 8469 (java) S 8445 8448 7126 0 -1 4202560 386 0 0 0 73 13 0 0 20 0 22 0 4832221 10060525568 774346 33554432000 1073741824 1073778376 140735356679712 140436576824104 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8448/tid=8470] ppid=8445 vsize=9824732 CPUtime=0.9 cores=0,2,4,6
/proc/8448/task/8470/stat : 8470 (java) S 8445 8448 7126 0 -1 4202560 373 0 0 0 76 14 0 0 20 0 22 0 4832221 10060525568 774346 33554432000 1073741824 1073778376 140735356679712 140436575771304 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8448/tid=8471] ppid=8445 vsize=9824732 CPUtime=0.85 cores=0,2,4,6
/proc/8448/task/8471/stat : 8471 (java) S 8445 8448 7126 0 -1 4202560 357 0 0 0 69 16 0 0 20 0 22 0 4832221 10060525568 774346 33554432000 1073741824 1073778376 140735356679712 140436574718504 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8448/tid=8472] ppid=8445 vsize=9824732 CPUtime=0.68 cores=0,2,4,6
/proc/8448/task/8472/stat : 8472 (java) S 8445 8448 7126 0 -1 4202560 450 0 0 0 58 10 0 0 20 0 22 0 4832221 10060525568 774346 33554432000 1073741824 1073778376 140735356679712 140436573665704 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8448/tid=8473] ppid=8445 vsize=9824732 CPUtime=0.81 cores=0,2,4,6
/proc/8448/task/8473/stat : 8473 (java) S 8445 8448 7126 0 -1 4202560 308 0 0 0 67 14 0 0 20 0 22 0 4832221 10060525568 774346 33554432000 1073741824 1073778376 140735356679712 140436477524264 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8448/tid=8474] ppid=8445 vsize=9824732 CPUtime=0.92 cores=0,2,4,6
/proc/8448/task/8474/stat : 8474 (java) S 8445 8448 7126 0 -1 4202560 547 0 0 0 76 16 0 0 20 0 22 0 4832221 10060525568 774346 33554432000 1073741824 1073778376 140735356679712 140436476471464 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8448/tid=8483] ppid=8445 vsize=9824732 CPUtime=2.25 cores=0,2,4,6
/proc/8448/task/8483/stat : 8483 (java) S 8445 8448 7126 0 -1 4202560 1748 0 0 0 217 8 0 0 20 0 22 0 4832224 10060525568 774346 33554432000 1073741824 1073778376 140735356679712 140436464274408 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8448/tid=8485] ppid=8445 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/8448/task/8485/stat : 8485 (java) S 8445 8448 7126 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 4832226 10060525568 774346 33554432000 1073741824 1073778376 140735356679712 140436463220472 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8448/tid=8487] ppid=8445 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/8448/task/8487/stat : 8487 (java) S 8445 8448 7126 0 -1 4202560 35 0 0 0 0 0 0 0 20 0 22 0 4832226 10060525568 774346 33554432000 1073741824 1073778376 140735356679712 140436462167560 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8448/tid=8490] ppid=8445 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/8448/task/8490/stat : 8490 (java) S 8445 8448 7126 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 4832231 10060525568 774346 33554432000 1073741824 1073778376 140735356679712 140436461116048 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8448/tid=8492] ppid=8445 vsize=9824732 CPUtime=1.35 cores=0,2,4,6
/proc/8448/task/8492/stat : 8492 (java) S 8445 8448 7126 0 -1 4202560 6814 0 1 0 135 0 0 0 20 0 22 0 4832231 10060525568 774346 33554432000 1073741824 1073778376 140735356679712 140436460063160 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8448/tid=8494] ppid=8445 vsize=9824732 CPUtime=1.15 cores=0,2,4,6
/proc/8448/task/8494/stat : 8494 (java) S 8445 8448 7126 0 -1 4202560 7474 0 1 0 115 0 0 0 20 0 22 0 4832231 10060525568 774346 33554432000 1073741824 1073778376 140735356679712 140436459010360 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8448/tid=8496] ppid=8445 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/8448/task/8496/stat : 8496 (java) S 8445 8448 7126 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 4832231 10060525568 774346 33554432000 1073741824 1073778376 140735356679712 140436457957752 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8448/tid=8498] ppid=8445 vsize=9824732 CPUtime=0.22 cores=0,2,4,6
/proc/8448/task/8498/stat : 8498 (java) S 8445 8448 7126 0 -1 4202560 56 0 0 0 10 12 0 0 20 0 22 0 4832231 10060525568 774346 33554432000 1073741824 1073778376 140735356679712 140436456905160 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8448/tid=9009] ppid=8445 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/8448/task/9009/stat : 9009 (java) S 8445 8448 7126 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 4841101 10060525568 774346 33554432000 1073741824 1073778376 140735356679712 140436453746344 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8448/tid=9302] ppid=8445 vsize=9824732 CPUtime=84.92 cores=0,2,4,6
/proc/8448/task/9302/stat : 9302 (java) R 8445 8448 7126 0 -1 4202560 3 0 0 0 8491 1 0 0 20 0 22 0 4917939 10060525568 774346 33554432000 1073741824 1073778376 140735356679712 140436455849104 140436580638521 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=8448/tid=9303] ppid=8445 vsize=9824732 CPUtime=84.92 cores=0,2,4,6
/proc/8448/task/9303/stat : 9303 (java) R 8445 8448 7126 0 -1 4202560 3 0 0 0 8491 1 0 0 20 0 22 0 4917939 10060525568 774346 33554432000 1073741824 1073778376 140735356679712 140436452690672 140436580966724 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=8448/tid=9304] ppid=8445 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/8448/task/9304/stat : 9304 (java) S 8445 8448 7126 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 4917939 10060525568 774346 33554432000 1073741824 1073778376 140735356679712 140436454798888 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1737
Current children cumulated vsize (KiB) 9824732



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+973.801 s]
/proc/loadavg: 4.69 4.17 3.29 5/219 9395
/proc/meminfo: memFree=24060616/32872528 swapFree=1525072/1694724
[pid=8448] ppid=8445 vsize=9824732 CPUtime=1800 cores=0,2,4,6
/proc/8448/stat : 8448 (java) S 8445 8448 7126 0 -1 4202496 25267 0 32 0 179675 325 0 0 20 0 22 0 4832206 10060525568 774346 33554432000 1073741824 1073778376 140735356679712 140735356670848 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 7 0 0
/proc/8448/statm: 2456183 774346 2296 9 0 2446860 0
[pid=8448/tid=8452] ppid=8445 vsize=9824732 CPUtime=0.49 cores=0,2,4,6
/proc/8448/task/8452/stat : 8452 (java) S 8445 8448 7126 0 -1 4202560 2468 0 7 0 45 4 0 0 20 0 22 0 4832217 10060525568 774346 33554432000 1073741824 1073778376 140735356679712 140436640199544 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 12 0 0
[pid=8448/tid=8467] ppid=8445 vsize=9824732 CPUtime=0.86 cores=0,2,4,6
/proc/8448/task/8467/stat : 8467 (java) S 8445 8448 7126 0 -1 4202560 407 0 0 0 72 14 0 0 20 0 22 0 4832221 10060525568 774346 33554432000 1073741824 1073778376 140735356679712 140436578929704 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8448/tid=8468] ppid=8445 vsize=9824732 CPUtime=0.82 cores=0,2,4,6
/proc/8448/task/8468/stat : 8468 (java) S 8445 8448 7126 0 -1 4202560 483 0 0 0 69 13 0 0 20 0 22 0 4832221 10060525568 774346 33554432000 1073741824 1073778376 140735356679712 140436577876904 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8448/tid=8469] ppid=8445 vsize=9824732 CPUtime=0.86 cores=0,2,4,6
/proc/8448/task/8469/stat : 8469 (java) S 8445 8448 7126 0 -1 4202560 386 0 0 0 73 13 0 0 20 0 22 0 4832221 10060525568 774346 33554432000 1073741824 1073778376 140735356679712 140436576824104 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8448/tid=8470] ppid=8445 vsize=9824732 CPUtime=0.9 cores=0,2,4,6
/proc/8448/task/8470/stat : 8470 (java) S 8445 8448 7126 0 -1 4202560 373 0 0 0 76 14 0 0 20 0 22 0 4832221 10060525568 774346 33554432000 1073741824 1073778376 140735356679712 140436575771304 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8448/tid=8471] ppid=8445 vsize=9824732 CPUtime=0.85 cores=0,2,4,6
/proc/8448/task/8471/stat : 8471 (java) S 8445 8448 7126 0 -1 4202560 357 0 0 0 69 16 0 0 20 0 22 0 4832221 10060525568 774346 33554432000 1073741824 1073778376 140735356679712 140436574718504 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8448/tid=8472] ppid=8445 vsize=9824732 CPUtime=0.68 cores=0,2,4,6
/proc/8448/task/8472/stat : 8472 (java) S 8445 8448 7126 0 -1 4202560 450 0 0 0 58 10 0 0 20 0 22 0 4832221 10060525568 774346 33554432000 1073741824 1073778376 140735356679712 140436573665704 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8448/tid=8473] ppid=8445 vsize=9824732 CPUtime=0.81 cores=0,2,4,6
/proc/8448/task/8473/stat : 8473 (java) S 8445 8448 7126 0 -1 4202560 308 0 0 0 67 14 0 0 20 0 22 0 4832221 10060525568 774346 33554432000 1073741824 1073778376 140735356679712 140436477524264 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8448/tid=8474] ppid=8445 vsize=9824732 CPUtime=0.92 cores=0,2,4,6
/proc/8448/task/8474/stat : 8474 (java) S 8445 8448 7126 0 -1 4202560 547 0 0 0 76 16 0 0 20 0 22 0 4832221 10060525568 774346 33554432000 1073741824 1073778376 140735356679712 140436476471464 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8448/tid=8483] ppid=8445 vsize=9824732 CPUtime=2.25 cores=0,2,4,6
/proc/8448/task/8483/stat : 8483 (java) S 8445 8448 7126 0 -1 4202560 1748 0 0 0 217 8 0 0 20 0 22 0 4832224 10060525568 774346 33554432000 1073741824 1073778376 140735356679712 140436464274408 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8448/tid=8485] ppid=8445 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/8448/task/8485/stat : 8485 (java) S 8445 8448 7126 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 4832226 10060525568 774346 33554432000 1073741824 1073778376 140735356679712 140436463220472 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8448/tid=8487] ppid=8445 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/8448/task/8487/stat : 8487 (java) S 8445 8448 7126 0 -1 4202560 35 0 0 0 0 0 0 0 20 0 22 0 4832226 10060525568 774346 33554432000 1073741824 1073778376 140735356679712 140436462167560 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8448/tid=8490] ppid=8445 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/8448/task/8490/stat : 8490 (java) S 8445 8448 7126 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 4832231 10060525568 774346 33554432000 1073741824 1073778376 140735356679712 140436461116048 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8448/tid=8492] ppid=8445 vsize=9824732 CPUtime=1.35 cores=0,2,4,6
/proc/8448/task/8492/stat : 8492 (java) S 8445 8448 7126 0 -1 4202560 6814 0 1 0 135 0 0 0 20 0 22 0 4832231 10060525568 774346 33554432000 1073741824 1073778376 140735356679712 140436460063160 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8448/tid=8494] ppid=8445 vsize=9824732 CPUtime=1.15 cores=0,2,4,6
/proc/8448/task/8494/stat : 8494 (java) S 8445 8448 7126 0 -1 4202560 7474 0 1 0 115 0 0 0 20 0 22 0 4832231 10060525568 774346 33554432000 1073741824 1073778376 140735356679712 140436459010360 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8448/tid=8496] ppid=8445 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/8448/task/8496/stat : 8496 (java) S 8445 8448 7126 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 4832231 10060525568 774346 33554432000 1073741824 1073778376 140735356679712 140436457957752 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8448/tid=8498] ppid=8445 vsize=9824732 CPUtime=0.23 cores=0,2,4,6
/proc/8448/task/8498/stat : 8498 (java) S 8445 8448 7126 0 -1 4202560 58 0 0 0 11 12 0 0 20 0 22 0 4832231 10060525568 774346 33554432000 1073741824 1073778376 140735356679712 140436456905160 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8448/tid=9009] ppid=8445 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/8448/task/9009/stat : 9009 (java) S 8445 8448 7126 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 4841101 10060525568 774346 33554432000 1073741824 1073778376 140735356679712 140436453746344 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8448/tid=9302] ppid=8445 vsize=9824732 CPUtime=116.42 cores=0,2,4,6
/proc/8448/task/9302/stat : 9302 (java) R 8445 8448 7126 0 -1 4202560 3 0 0 0 11641 1 0 0 20 0 22 0 4917939 10060525568 774346 33554432000 1073741824 1073778376 140735356679712 140436455841392 140436580699099 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=8448/tid=9303] ppid=8445 vsize=9824732 CPUtime=116.42 cores=0,2,4,6
/proc/8448/task/9303/stat : 9303 (java) R 8445 8448 7126 0 -1 4202560 3 0 0 0 11641 1 0 0 20 0 22 0 4917939 10060525568 774346 33554432000 1073741824 1073778376 140735356679712 140436452690672 140436580966674 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=8448/tid=9304] ppid=8445 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/8448/task/9304/stat : 9304 (java) S 8445 8448 7126 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 4917939 10060525568 774346 33554432000 1073741824 1073778376 140735356679712 140436454798888 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800
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 8448 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

Child status: 143
Real time (s): 973.846
CPU time (s): 1800.32
CPU user time (s): 1796.84
CPU system time (s): 3.47547
CPU usage (%): 184.867
Max. virtual memory (cumulated for all children) (KiB): 9824732

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.84
system time used= 3.47547
maximum resident set size= 3298928
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 25311
page faults= 32
swaps= 0
block input operations= 23296
block output operations= 784
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 27435
involuntary context switches= 17092

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.67314 second user time and 7.84281 second system time

The end

Launcher Data 

Begin job on node125 at 2016-06-30 05:41:20
IDJOB=4119513
IDBENCH=111749
IDSOLVER=2543
FILE ID=node125/4119513-1467258080
RUNJOBID= node125-1467258080-8433
PBS_JOBID= 20004466
Free space on /tmp= 71740 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-edgecross10-040.opb
COMMAND LINE= java -jar sat4j-pb.jar Both BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4119513-1467258080/watcher-4119513-1467258080 -o /tmp/evaluation-result-4119513-1467258080/solver-4119513-1467258080 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node125-1467258080-8433 --watchdog 1960  java -jar sat4j-pb.jar Both HOME/instance-4119513-1467258080.opb

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

MD5SUM BENCH= 678b3b0724ff54466f3548bc434e911a
RANDOM SEED=1025308638

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

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.282
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:        28629240 kB
Buffers:          119272 kB
Cached:          1673484 kB
SwapCached:            0 kB
Active:           152808 kB
Inactive:        1657568 kB
Active(anon):      20256 kB
Inactive(anon):        0 kB
Active(file):     132552 kB
Inactive(file):  1657568 kB
Unevictable:     1694724 kB
Mlocked:         1525072 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:               888 kB
Writeback:             0 kB
AnonPages:       1713480 kB
Mapped:            13204 kB
Shmem:               204 kB
Slab:             606756 kB
SReclaimable:      50896 kB
SUnreclaim:       555860 kB
KernelStack:        1392 kB
PageTables:         7452 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1795948 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    176128 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= 71740 MiB
End job on node125 at 2016-06-30 05:57:34