Trace number 4081381

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)100 1800.15 943.044

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/market-split/normalized-opt-market-split_8_70_1.opb
MD5SUM0263d0a7c5e3320bd7cce9534c14bf27
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark52
Best CPU time to get the best result obtained on this benchmark1800.06
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 32
Optimality of the best value was proved NO
Number of variables198
Total number of constraints16
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints16
Minimum length of a constraint85
Maximum length of a constraint86
Number of terms in the objective function 128
Biggest coefficient in the objective function 128
Number of bits for the biggest coefficient in the objective function 8
Sum of the numbers in the objective function 4080
Number of bits of the sum of numbers in the objective function 12
Biggest number in a constraint 1884
Number of bits of the biggest number in a constraint 11
Biggest sum of numbers in a constraint 6162
Number of bits of the biggest sum of numbers13
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data 

0.00/0.08	c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS
0.00/0.08	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.08	c See www.sat4j.org for details.
0.00/0.09	c version PB16.v20160501
0.00/0.09	c java.runtime.name	Java(TM) SE Runtime Environment
0.00/0.09	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.00/0.09	c java.vm.version	19.1-b02
0.00/0.09	c java.vm.vendor	Sun Microsystems Inc.
0.00/0.09	c sun.arch.data.model	64
0.00/0.09	c java.version		1.6.0_24
0.00/0.09	c os.name		Linux
0.00/0.09	c os.version		2.6.32-71.29.1.el6.x86_64
0.00/0.09	c os.arch		amd64
0.00/0.09	c Free memory 		501472288
0.00/0.09	c Max memory 		7480803328
0.00/0.09	c Total memory 		504102912
0.00/0.09	c Number of processors 	8
0.09/0.12	c Pseudo Boolean Optimization by upper bound
0.09/0.12	c ManyCore solver with 2 solvers running in parallel
0.09/0.12	c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<<
0.09/0.12	c --- Begin Solver configuration ---
0.09/0.12	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@5d764be1
0.09/0.12	c Learn all clauses as in MiniSAT
0.09/0.12	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.09/0.12	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.09/0.12	c Expensive reason simplification
0.09/0.12	c Glucose 2.1 dynamic restart strategy
0.09/0.12	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.09/0.12	c timeout=2147483s
0.09/0.12	c DB Simplification allowed=false
0.09/0.12	c Listener: org.sat4j.pb.tools.ManyCorePB@9f436f5
0.09/0.12	c --- End Solver configuration ---
0.09/0.12	c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<<
0.09/0.12	c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP)
0.09/0.12	c --- Begin Solver configuration ---
0.09/0.12	c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@4413ee
0.09/0.12	c Learn all clauses as in MiniSAT
0.09/0.12	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.09/0.12	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function
0.09/0.12	c No reason simplification
0.09/0.12	c Armin Biere (Picosat) restarts strategy
0.09/0.12	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.09/0.12	c timeout=2147483s
0.09/0.12	c DB Simplification allowed=false
0.09/0.12	c Listener: org.sat4j.pb.tools.ManyCorePB@9f436f5
0.09/0.12	c --- End Solver configuration ---
0.09/0.12	c solving HOME/instance-4081381-1465232651.opb
0.09/0.12	c reading problem ... 
0.09/0.12	c  objective function found
0.09/0.18	c ... done. Wall clock time 0.064s.
0.09/0.18	c declared #vars     198
0.09/0.18	c #constraints  16
0.09/0.19	c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<<
0.09/0.19	c constraints type 
0.09/0.19	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 16
0.09/0.19	c 16 constraints processed.
0.09/0.19	c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<<
0.09/0.19	c constraints type 
0.09/0.19	c org.sat4j.pb.constraints.pb.MaxWatchPb => 16
0.09/0.19	c 16 constraints processed.
0.09/0.19	c objective function length is 128 literals
3.25/1.04	c cleaning 2496 clauses out of 5002 with flag 10385/5002
3.25/1.04	c And the winner is solver1
3.56/1.19	c SATISFIABLE
3.56/1.19	c OPTIMIZING...
3.56/1.19	c Got one! Elapsed wall clock time (in seconds):1.07
3.56/1.19	o 2750
3.70/1.23	c And the winner is solver0
3.85/1.69	c Got one! Elapsed wall clock time (in seconds):1.572
3.85/1.69	o 828
3.87/1.70	c And the winner is solver0
3.87/2.19	c Got one! Elapsed wall clock time (in seconds):2.073
3.87/2.19	o 821
3.87/2.20	c And the winner is solver0
3.91/2.69	c Got one! Elapsed wall clock time (in seconds):2.575
3.91/2.69	o 753
3.92/2.70	c And the winner is solver0
3.93/3.19	c Got one! Elapsed wall clock time (in seconds):3.076
3.93/3.19	o 749
3.95/3.21	c And the winner is solver0
3.96/3.69	c Got one! Elapsed wall clock time (in seconds):3.577
3.96/3.69	o 747
3.96/3.70	c And the winner is solver0
3.96/4.20	c Got one! Elapsed wall clock time (in seconds):4.079
3.96/4.20	o 746
3.96/4.22	c And the winner is solver0
4.02/4.70	c Got one! Elapsed wall clock time (in seconds):4.58
4.02/4.70	o 745
4.02/4.71	c And the winner is solver0
4.06/5.20	c Got one! Elapsed wall clock time (in seconds):5.081
4.06/5.20	o 743
4.06/5.21	c And the winner is solver0
4.20/5.70	c Got one! Elapsed wall clock time (in seconds):5.583
4.20/5.70	o 426
4.81/6.01	c cleaning 4616 clauses out of 9231 with flag 13134/11727
5.01/6.13	c And the winner is solver0
5.13/6.20	c Got one! Elapsed wall clock time (in seconds):6.084
5.13/6.20	o 424
5.52/6.40	c cleaning 4890 clauses out of 9779 with flag 6919/16891
5.73/6.56	c And the winner is solver0
5.90/6.70	c Got one! Elapsed wall clock time (in seconds):6.585
5.90/6.70	o 423
6.10/6.83	c And the winner is solver0
6.24/7.20	c Got one! Elapsed wall clock time (in seconds):7.087
6.24/7.20	o 421
6.24/7.24	c And the winner is solver0
6.35/7.71	c Got one! Elapsed wall clock time (in seconds):7.588
6.35/7.71	o 415
6.35/7.78	c cleaning 5629 clauses out of 11265 with flag 2338/23267
6.55/7.86	c And the winner is solver0
6.70/8.21	c Got one! Elapsed wall clock time (in seconds):8.089
6.70/8.21	o 413
7.09/8.47	c cleaning 5485 clauses out of 10976 with flag 9718/28607
7.30/8.54	c And the winner is solver0
7.48/8.71	c Got one! Elapsed wall clock time (in seconds):8.591
7.48/8.71	o 412
7.67/8.82	c And the winner is solver0
7.79/9.21	c Got one! Elapsed wall clock time (in seconds):9.092
7.79/9.21	o 411
8.17/9.41	c cleaning 5872 clauses out of 11750 with flag 6289/34866
8.78/9.79	c cleaning 5933 clauses out of 11878 with flag 20041/40866
8.98/9.90	c And the winner is solver0
9.28/10.21	c Got one! Elapsed wall clock time (in seconds):10.093
9.28/10.21	o 409
9.66/10.42	c And the winner is solver0
9.72/10.71	c Got one! Elapsed wall clock time (in seconds):10.595
9.72/10.71	o 407
9.89/10.81	c cleaning 6137 clauses out of 12276 with flag 2303/47197
10.09/10.94	c And the winner is solver0
10.19/11.21	c Got one! Elapsed wall clock time (in seconds):11.096
10.19/11.21	o 405
10.35/11.30	c And the winner is solver0
10.38/11.71	c Got one! Elapsed wall clock time (in seconds):11.597
10.38/11.71	o 403
10.55/11.86	c cleaning 5902 clauses out of 11818 with flag 4242/52876
10.75/11.97	c And the winner is solver0
10.95/12.22	c Got one! Elapsed wall clock time (in seconds):12.098
10.95/12.22	o 402
11.30/12.41	c cleaning 5512 clauses out of 11049 with flag 6380/58009
11.70/12.65	c And the winner is solver0
11.85/12.72	c Got one! Elapsed wall clock time (in seconds):12.599
11.85/12.72	o 400
11.85/12.79	c And the winner is solver0
12.02/13.22	c Got one! Elapsed wall clock time (in seconds):13.1
12.02/13.22	o 378
12.02/13.29	c cleaning 5739 clauses out of 11498 with flag 2178/63970
12.40/13.46	c And the winner is solver0
12.56/13.72	c Got one! Elapsed wall clock time (in seconds):13.601
12.56/13.72	o 376
12.93/13.97	c cleaning 5849 clauses out of 11724 with flag 6645/69935
13.13/14.01	c And the winner is solver0
13.21/14.22	c Got one! Elapsed wall clock time (in seconds):14.103
13.21/14.22	o 374
13.75/14.55	c cleaning 5810 clauses out of 11633 with flag 11047/75693
14.76/15.01	c cleaning 5892 clauses out of 11818 with flag 24445/81688
15.36/15.34	c And the winner is solver1
15.45/15.72	c Got one! Elapsed wall clock time (in seconds):15.605
15.45/15.72	o 373
15.62/15.80	c cleaning 5770 clauses out of 11548 with flag 2491/87310
16.42/16.21	c cleaning 5889 clauses out of 11784 with flag 17518/93316
17.42/16.71	c cleaning 6444 clauses out of 12888 with flag 35040/100309
17.82/16.96	c And the winner is solver0
17.99/17.22	c Got one! Elapsed wall clock time (in seconds):17.107
17.99/17.22	o 372
18.13/17.37	c cleaning 6083 clauses out of 12170 with flag 4323/106035
18.95/17.77	c cleaning 6032 clauses out of 12089 with flag 19762/112037
19.93/18.24	c cleaning 6525 clauses out of 13059 with flag 37478/119039
20.34/18.42	c And the winner is solver0
20.43/18.73	c Got one! Elapsed wall clock time (in seconds):18.608
20.43/18.73	o 371
20.78/18.94	c cleaning 6228 clauses out of 12467 with flag 7192/124972
20.98/19.06	c And the winner is solver0
21.15/19.23	c Got one! Elapsed wall clock time (in seconds):19.109
21.15/19.23	o 370
21.49/19.44	c cleaning 5673 clauses out of 11358 with flag 7480/130091
21.89/19.61	c And the winner is solver0
22.00/19.73	c Got one! Elapsed wall clock time (in seconds):19.61
22.00/19.73	o 368
22.36/19.92	c cleaning 5700 clauses out of 11408 with flag 7661/135814
22.54/20.05	c And the winner is solver0
22.75/20.23	c Got one! Elapsed wall clock time (in seconds):20.111
22.75/20.23	o 367
22.89/20.30	c And the winner is solver0
22.98/20.73	c Got one! Elapsed wall clock time (in seconds):20.612
22.98/20.73	o 365
22.98/20.75	c And the winner is solver0
23.05/21.23	c Got one! Elapsed wall clock time (in seconds):21.113
23.05/21.23	o 357
23.05/21.28	c And the winner is solver0
23.18/21.73	c Got one! Elapsed wall clock time (in seconds):21.615
23.18/21.73	o 356
23.31/21.87	c cleaning 5913 clauses out of 11828 with flag 5157/141934
24.11/22.27	c cleaning 5953 clauses out of 11915 with flag 21458/147934
24.31/22.39	c And the winner is solver0
24.53/22.73	c Got one! Elapsed wall clock time (in seconds):22.616
24.53/22.73	o 354
24.85/22.99	c cleaning 5930 clauses out of 11864 with flag 9812/153836
25.66/23.38	c cleaning 5958 clauses out of 11932 with flag 25746/159834
26.26/23.64	c And the winner is solver0
26.39/23.73	c Got one! Elapsed wall clock time (in seconds):23.617
26.39/23.73	o 352
26.51/23.81	c cleaning 5697 clauses out of 11404 with flag 2378/165264
26.73/23.97	c And the winner is solver0
26.93/24.24	c Got one! Elapsed wall clock time (in seconds):24.118
26.93/24.24	o 351
27.25/24.42	c cleaning 5739 clauses out of 11492 with flag 6543/171049
28.05/24.81	c cleaning 5866 clauses out of 11748 with flag 21929/177044
28.65/25.10	c And the winner is solver0
28.72/25.24	c Got one! Elapsed wall clock time (in seconds):25.119
28.72/25.24	o 349
28.87/25.32	c cleaning 5798 clauses out of 11614 with flag 2035/182776
29.45/25.68	c cleaning 5902 clauses out of 11817 with flag 16989/188777
30.46/26.17	c cleaning 6455 clauses out of 12916 with flag 34953/195778
31.66/26.72	c cleaning 7225 clauses out of 14459 with flag 54921/203776
31.86/26.88	c And the winner is solver0
32.06/27.24	c Got one! Elapsed wall clock time (in seconds):27.122
32.06/27.24	o 347
32.17/27.30	c And the winner is solver0
32.24/27.74	c Got one! Elapsed wall clock time (in seconds):27.623
32.24/27.74	o 343
32.35/27.87	c cleaning 6545 clauses out of 13103 with flag 4970/209645
33.15/28.27	c cleaning 6270 clauses out of 12556 with flag 20610/215643
34.16/28.77	c cleaning 6639 clauses out of 13288 with flag 38809/222645
35.34/29.34	c cleaning 7324 clauses out of 14653 with flag 59655/230649
36.74/30.02	c cleaning 8156 clauses out of 16324 with flag 82765/239644
38.38/30.82	c cleaning 9077 clauses out of 18167 with flag 109341/249643
38.58/30.96	c And the winner is solver0
38.83/31.24	c Got one! Elapsed wall clock time (in seconds):31.124
38.83/31.24	o 341
39.14/31.40	c And the winner is solver0
39.22/31.74	c Got one! Elapsed wall clock time (in seconds):31.625
39.22/31.74	o 339
39.33/31.83	c cleaning 7279 clauses out of 14570 with flag 2531/255123
39.33/31.85	c And the winner is solver0
39.56/32.24	c Got one! Elapsed wall clock time (in seconds):32.126
39.56/32.24	o 338
40.07/32.59	c cleaning 6340 clauses out of 12680 with flag 12723/260512
40.67/32.84	c And the winner is solver0
40.83/33.24	c Got one! Elapsed wall clock time (in seconds):33.127
40.83/33.24	o 337
40.93/33.32	c cleaning 5799 clauses out of 11613 with flag 2163/265785
41.13/33.48	c And the winner is solver0
41.36/33.75	c Got one! Elapsed wall clock time (in seconds):33.628
41.36/33.75	o 335
41.36/33.80	c And the winner is solver0
41.50/34.25	c Got one! Elapsed wall clock time (in seconds):34.129
41.50/34.25	o 333
41.80/34.44	c cleaning 6267 clauses out of 12553 with flag 7983/272524
42.00/34.52	c And the winner is solver0
42.11/34.75	c Got one! Elapsed wall clock time (in seconds):34.63
42.11/34.75	o 332
42.61/35.01	c cleaning 5962 clauses out of 11924 with flag 9449/278162
43.22/35.39	c cleaning 5977 clauses out of 11965 with flag 23833/284165
44.21/35.86	c cleaning 6487 clauses out of 12983 with flag 41013/291160
44.41/35.90	c And the winner is solver0
44.52/36.25	c Got one! Elapsed wall clock time (in seconds):36.131
44.52/36.25	o 331
44.63/36.32	c And the winner is solver0
44.73/36.75	c Got one! Elapsed wall clock time (in seconds):36.632
44.73/36.75	o 329
45.22/37.02	c cleaning 6268 clauses out of 12554 with flag 9979/297218
45.82/37.39	c cleaning 6142 clauses out of 12288 with flag 25029/303220
46.42/37.62	c And the winner is solver0
46.56/37.75	c Got one! Elapsed wall clock time (in seconds):37.633
46.56/37.75	o 328
46.71/37.82	c cleaning 5644 clauses out of 11306 with flag 2036/308380
47.31/38.12	c And the winner is solver0
47.46/38.25	c Got one! Elapsed wall clock time (in seconds):38.134
47.46/38.25	o 327
48.17/38.63	c cleaning 7960 clauses out of 15919 with flag 12135/318637
48.17/38.67	c And the winner is solver0
48.33/38.75	c Got one! Elapsed wall clock time (in seconds):38.635
48.33/38.75	o 326
48.65/38.97	c And the winner is solver0
48.86/39.25	c Got one! Elapsed wall clock time (in seconds):39.136
48.86/39.25	o 325
49.14/39.41	c cleaning 7079 clauses out of 14164 with flag 4875/324842
49.14/39.42	c And the winner is solver0
49.26/39.75	c Got one! Elapsed wall clock time (in seconds):39.637
49.26/39.75	o 324
49.74/40.03	c And the winner is solver0
49.98/40.26	c Got one! Elapsed wall clock time (in seconds):40.138
49.98/40.26	o 323
50.07/40.33	c cleaning 6211 clauses out of 12434 with flag 2359/330191
50.67/40.70	c cleaning 6107 clauses out of 12221 with flag 17107/336189
51.67/41.16	c cleaning 6555 clauses out of 13115 with flag 34810/343190
52.87/41.72	c cleaning 7278 clauses out of 14559 with flag 55108/351189
54.27/42.43	c cleaning 8141 clauses out of 16281 with flag 77940/360189
55.89/43.27	c cleaning 9067 clauses out of 18140 with flag 103766/370189
56.09/43.33	c And the winner is solver0
56.20/43.76	c Got one! Elapsed wall clock time (in seconds):43.64
56.20/43.76	o 321
56.28/43.88	c And the winner is solver0
56.53/44.26	c Got one! Elapsed wall clock time (in seconds):44.14
56.53/44.26	o 320
57.01/44.56	c cleaning 7943 clauses out of 15896 with flag 10073/377012
57.01/44.56	c And the winner is solver0
57.21/44.76	c Got one! Elapsed wall clock time (in seconds):44.641
57.21/44.76	o 318
57.70/45.09	c cleaning 6513 clauses out of 13036 with flag 11644/382095
58.50/45.49	c cleaning 6254 clauses out of 12518 with flag 26227/388090
58.70/45.51	c And the winner is solver0
58.83/45.76	c Got one! Elapsed wall clock time (in seconds):45.642
58.83/45.76	o 316
59.30/46.07	c cleaning 5873 clauses out of 11753 with flag 11605/393579
60.10/46.49	c cleaning 5926 clauses out of 11879 with flag 25827/399578
61.10/46.99	c cleaning 6476 clauses out of 12954 with flag 43074/406579
62.51/47.60	c cleaning 7241 clauses out of 14482 with flag 63317/414583
63.72/48.29	c cleaning 8118 clauses out of 16238 with flag 85930/423580
65.53/49.14	c cleaning 9054 clauses out of 18120 with flag 109646/433580
67.15/49.95	c And the winner is solver1
67.24/50.26	c Got one! Elapsed wall clock time (in seconds):50.144
67.24/50.26	o 312
68.32/50.81	c cleaning 11791 clauses out of 23584 with flag 12667/448098
68.32/50.83	c And the winner is solver0
68.46/51.26	c Got one! Elapsed wall clock time (in seconds):51.145
68.46/51.26	o 310
69.12/51.66	c cleaning 8550 clauses out of 17108 with flag 12036/453413
69.34/51.72	c And the winner is solver0
69.44/51.81	c Got one! Elapsed wall clock time (in seconds):51.696
69.44/51.81	o 308
70.00/52.16	c cleaning 7184 clauses out of 14374 with flag 12350/459229
70.20/52.27	c And the winner is solver0
70.38/52.36	c Got one! Elapsed wall clock time (in seconds):52.247
70.38/52.36	o 306
70.91/52.65	c cleaning 6506 clauses out of 13021 with flag 9875/465060
71.11/52.72	c And the winner is solver0
71.26/52.87	c Got one! Elapsed wall clock time (in seconds):52.748
71.26/52.87	o 305
71.74/53.14	c cleaning 5951 clauses out of 11902 with flag 9668/470447
71.94/53.25	c And the winner is solver0
72.10/53.37	c Got one! Elapsed wall clock time (in seconds):53.249
72.10/53.37	o 301
72.60/53.62	c cleaning 5932 clauses out of 11876 with flag 10348/476372
73.41/54.01	c cleaning 5968 clauses out of 11943 with flag 25746/482371
73.60/54.14	c And the winner is solver0
73.79/54.37	c Got one! Elapsed wall clock time (in seconds):54.25
73.79/54.37	o 300
74.05/54.57	c cleaning 5677 clauses out of 11371 with flag 7080/487767
74.85/54.91	c And the winner is solver0
74.97/55.37	c Got one! Elapsed wall clock time (in seconds):55.251
74.97/55.37	o 299
75.63/55.78	c cleaning 8063 clauses out of 16134 with flag 11922/498207
76.44/56.20	c cleaning 7035 clauses out of 14071 with flag 27046/504207
77.43/56.68	c cleaning 7016 clauses out of 14036 with flag 45360/511207
78.64/57.28	c cleaning 7505 clauses out of 15020 with flag 66601/519207
80.03/57.90	c cleaning 8256 clauses out of 16515 with flag 89979/528207
80.03/57.96	c And the winner is solver0
80.31/58.38	c Got one! Elapsed wall clock time (in seconds):58.259
80.31/58.38	o 298
80.75/58.64	c cleaning 6710 clauses out of 13435 with flag 9936/533383
80.95/58.79	c And the winner is solver0
81.23/58.93	c Got one! Elapsed wall clock time (in seconds):58.812
81.23/58.93	o 296
81.57/59.14	c cleaning 6208 clauses out of 12422 with flag 7344/539080
81.77/59.25	c And the winner is solver0
82.01/59.43	c Got one! Elapsed wall clock time (in seconds):59.312
82.01/59.43	o 294
82.35/59.61	c And the winner is solver0
82.49/59.93	c Got one! Elapsed wall clock time (in seconds):59.813
82.49/59.93	o 292
82.62/60.00	c cleaning 6089 clauses out of 12180 with flag 2056/545046
83.22/60.38	c cleaning 6037 clauses out of 12090 with flag 17456/551045
83.42/60.41	c And the winner is solver0
83.55/60.53	c Got one! Elapsed wall clock time (in seconds):60.414
83.55/60.53	o 291
84.08/60.82	c cleaning 5830 clauses out of 11659 with flag 12283/556651
84.68/61.15	c And the winner is solver0
84.91/61.53	c Got one! Elapsed wall clock time (in seconds):61.415
84.91/61.53	o 290
85.25/61.79	c And the winner is solver0
85.54/62.03	c Got one! Elapsed wall clock time (in seconds):61.916
85.54/62.03	o 288
85.87/62.20	c cleaning 8297 clauses out of 16599 with flag 4830/567421
85.87/62.21	c And the winner is solver0
85.99/62.53	c Got one! Elapsed wall clock time (in seconds):62.417
85.99/62.53	o 287
86.53/62.89	c cleaning 6696 clauses out of 13398 with flag 12463/572517
86.71/62.92	c And the winner is solver0
86.84/63.04	c Got one! Elapsed wall clock time (in seconds):62.918
86.84/63.04	o 286
86.97/63.13	c And the winner is solver0
87.11/63.54	c Got one! Elapsed wall clock time (in seconds):63.419
87.11/63.54	o 285
87.64/63.82	c cleaning 6476 clauses out of 12968 with flag 9893/578783
87.64/63.89	c And the winner is solver0
87.93/64.04	c Got one! Elapsed wall clock time (in seconds):63.92
87.93/64.04	o 284
88.08/64.17	c And the winner is solver0
88.31/64.54	c Got one! Elapsed wall clock time (in seconds):64.423
88.31/64.54	o 282
88.44/64.68	c cleaning 5882 clauses out of 11769 with flag 5125/584060
89.25/65.08	c cleaning 5940 clauses out of 11887 with flag 19664/590060
89.43/65.15	c And the winner is solver0
89.64/65.54	c Got one! Elapsed wall clock time (in seconds):65.424
89.64/65.54	o 281
89.74/65.67	c And the winner is solver0
89.98/66.04	c Got one! Elapsed wall clock time (in seconds):65.925
89.98/66.04	o 280
90.28/66.25	c cleaning 6178 clauses out of 12360 with flag 7662/596473
90.48/66.34	c And the winner is solver0
90.73/66.54	c Got one! Elapsed wall clock time (in seconds):66.426
90.73/66.54	o 275
91.04/66.74	c And the winner is solver0
91.22/67.04	c Got one! Elapsed wall clock time (in seconds):66.926
91.22/67.04	o 274
91.33/67.11	c cleaning 6093 clauses out of 12198 with flag 2504/602489
91.92/67.47	c cleaning 6048 clauses out of 12106 with flag 16724/608490
92.92/67.96	c cleaning 6526 clauses out of 13057 with flag 33352/615489
94.12/68.55	c cleaning 7255 clauses out of 14536 with flag 51921/623494
95.52/69.25	c cleaning 8137 clauses out of 16281 with flag 74056/632494
97.12/70.06	c cleaning 9067 clauses out of 18141 with flag 98746/642491
99.12/71.06	c cleaning 10037 clauses out of 20080 with flag 125133/653497
101.53/72.25	c cleaning 11020 clauses out of 22040 with flag 153945/665494
104.13/73.56	c cleaning 12009 clauses out of 24023 with flag 186030/678497
107.14/75.01	c cleaning 13001 clauses out of 26006 with flag 219443/692489
109.74/76.35	c And the winner is solver0
109.98/76.60	c Got one! Elapsed wall clock time (in seconds):76.479
109.98/76.60	o 273
111.26/77.25	c cleaning 15284 clauses out of 30567 with flag 11047/710051
112.26/77.76	c cleaning 10642 clauses out of 21292 with flag 25573/716060
113.28/78.29	c cleaning 8814 clauses out of 17643 with flag 41963/723053
114.46/78.89	c cleaning 8410 clauses out of 16827 with flag 61717/731051
115.66/79.44	c And the winner is solver0
116.07/79.80	c Got one! Elapsed wall clock time (in seconds):79.681
116.07/79.80	o 271
116.87/80.20	c cleaning 10486 clauses out of 20971 with flag 11943/743605
116.87/80.22	c And the winner is solver0
117.15/80.50	c Got one! Elapsed wall clock time (in seconds):80.382
117.15/80.50	o 270
117.76/80.85	c cleaning 7829 clauses out of 15670 with flag 11988/748790
118.16/81.04	c And the winner is solver0
118.37/81.50	c Got one! Elapsed wall clock time (in seconds):81.383
118.37/81.50	o 269
118.56/81.63	c cleaning 6536 clauses out of 13081 with flag 4474/754030
119.36/82.06	c cleaning 6267 clauses out of 12545 with flag 20641/760030
120.16/82.44	c And the winner is solver0
120.88/83.10	c Got one! Elapsed wall clock time (in seconds):82.985
120.88/83.10	o 268
121.46/83.50	c cleaning 8523 clauses out of 17056 with flag 12017/770808
122.47/83.93	c cleaning 7264 clauses out of 14534 with flag 26925/776809
123.47/84.43	c cleaning 7129 clauses out of 14271 with flag 44278/783810
123.87/84.65	c And the winner is solver0
124.19/85.10	c Got one! Elapsed wall clock time (in seconds):84.986
124.19/85.10	o 267
124.37/85.25	c cleaning 6375 clauses out of 12757 with flag 4311/789425
124.77/85.42	c And the winner is solver0
124.94/85.60	c Got one! Elapsed wall clock time (in seconds):85.487
124.94/85.60	o 266
125.33/85.82	c cleaning 6109 clauses out of 12242 with flag 7301/795285
126.12/86.21	c cleaning 6057 clauses out of 12132 with flag 22114/801284
126.12/86.26	c And the winner is solver0
126.41/86.60	c Got one! Elapsed wall clock time (in seconds):86.487
126.41/86.60	o 264
127.01/86.92	c cleaning 5998 clauses out of 12015 with flag 12316/807224
127.21/87.04	c And the winner is solver0
127.49/87.31	c Got one! Elapsed wall clock time (in seconds):87.189
127.49/87.31	o 263
127.87/87.52	c cleaning 5544 clauses out of 11094 with flag 7260/812301
127.87/87.55	c And the winner is solver0
128.12/87.81	c Got one! Elapsed wall clock time (in seconds):87.689
128.12/87.81	o 262
128.71/88.15	c cleaning 5594 clauses out of 11194 with flag 12268/817945
129.30/88.48	c And the winner is solver0
129.61/88.81	c Got one! Elapsed wall clock time (in seconds):88.691
129.61/88.81	o 261
129.99/89.10	c And the winner is solver0
130.30/89.31	c Got one! Elapsed wall clock time (in seconds):89.191
130.30/89.31	o 259
130.47/89.40	c cleaning 7992 clauses out of 15983 with flag 2415/828328
130.67/89.52	c And the winner is solver0
130.85/89.81	c Got one! Elapsed wall clock time (in seconds):89.692
130.85/89.81	o 257
131.23/90.09	c cleaning 6903 clauses out of 13811 with flag 10071/834148
131.43/90.17	c And the winner is solver0
131.71/90.31	c Got one! Elapsed wall clock time (in seconds):90.193
131.71/90.31	o 256
131.89/90.48	c And the winner is solver0
132.17/90.81	c Got one! Elapsed wall clock time (in seconds):90.694
132.17/90.81	o 255
132.35/90.97	c cleaning 6520 clauses out of 13043 with flag 4796/840283
132.55/91.05	c And the winner is solver0
132.79/91.31	c Got one! Elapsed wall clock time (in seconds):91.195
132.79/91.31	o 253
133.16/91.58	c cleaning 5864 clauses out of 11761 with flag 9239/845521
133.36/91.62	c And the winner is solver0
133.49/91.81	c Got one! Elapsed wall clock time (in seconds):91.696
133.49/91.81	o 251
133.65/91.95	c And the winner is solver0
133.90/92.31	c Got one! Elapsed wall clock time (in seconds):92.197
133.90/92.31	o 250
134.28/92.53	c cleaning 5951 clauses out of 11901 with flag 7214/851525
134.46/92.65	c And the winner is solver0
134.72/92.81	c Got one! Elapsed wall clock time (in seconds):92.697
134.72/92.81	o 248
135.10/93.02	c cleaning 5514 clauses out of 11032 with flag 6863/856607
135.30/93.15	c And the winner is solver0
135.55/93.32	c Got one! Elapsed wall clock time (in seconds):93.198
135.55/93.32	o 247
135.94/93.52	c cleaning 5465 clauses out of 10939 with flag 7124/862028
135.94/93.55	c And the winner is solver0
136.18/93.82	c Got one! Elapsed wall clock time (in seconds):93.699
136.18/93.82	o 245
136.55/94.05	c And the winner is solver0
136.83/94.32	c Got one! Elapsed wall clock time (in seconds):94.2
136.83/94.32	o 243
136.98/94.45	c And the winner is solver0
137.26/94.82	c Got one! Elapsed wall clock time (in seconds):94.701
137.26/94.82	o 241
137.41/94.91	c cleaning 6408 clauses out of 12815 with flag 2394/869369
137.41/94.93	c And the winner is solver0
137.56/95.32	c Got one! Elapsed wall clock time (in seconds):95.202
137.56/95.32	o 239
138.12/95.68	c cleaning 5910 clauses out of 11866 with flag 13184/874828
139.12/96.11	c cleaning 5970 clauses out of 11955 with flag 28849/880827
139.32/96.25	c And the winner is solver0
140.07/96.92	c Got one! Elapsed wall clock time (in seconds):96.804
140.07/96.92	o 238
140.42/97.13	c cleaning 5631 clauses out of 11285 with flag 7082/886127
140.82/97.34	c And the winner is solver0
141.15/97.62	c Got one! Elapsed wall clock time (in seconds):97.505
141.15/97.62	o 237
141.37/97.74	c cleaning 5621 clauses out of 11250 with flag 4375/891723
142.23/98.14	c cleaning 5813 clauses out of 11629 with flag 19446/897723
142.23/98.18	c And the winner is solver0
142.50/98.63	c Got one! Elapsed wall clock time (in seconds):98.509
142.50/98.63	o 235
142.84/98.81	c And the winner is solver0
142.97/99.13	c Got one! Elapsed wall clock time (in seconds):99.01
142.97/99.13	o 234
143.11/99.28	c cleaning 5896 clauses out of 11799 with flag 4958/903706
143.32/99.35	c And the winner is solver0
143.55/99.63	c Got one! Elapsed wall clock time (in seconds):99.51
143.55/99.63	o 232
143.89/99.89	c cleaning 5727 clauses out of 11464 with flag 9672/909267
144.29/100.06	c And the winner is solver0
144.66/100.33	c Got one! Elapsed wall clock time (in seconds):100.212
144.66/100.33	o 230
144.79/100.41	c And the winner is solver0
144.89/100.83	c Got one! Elapsed wall clock time (in seconds):100.713
144.89/100.83	o 229
145.02/100.98	c cleaning 5996 clauses out of 11999 with flag 4787/915529
145.42/101.20	c And the winner is solver0
145.75/101.33	c Got one! Elapsed wall clock time (in seconds):101.214
145.75/101.33	o 227
145.91/101.47	c cleaning 5862 clauses out of 11740 with flag 4601/921266
146.51/101.75	c And the winner is solver0
146.76/101.98	c Got one! Elapsed wall clock time (in seconds):101.865
146.76/101.98	o 226
146.88/102.06	c cleaning 5682 clauses out of 11369 with flag 2072/926757
147.68/102.44	c cleaning 5837 clauses out of 11688 with flag 16410/932758
148.67/102.91	c cleaning 6420 clauses out of 12852 with flag 34044/939759
149.68/103.50	c cleaning 7217 clauses out of 14433 with flag 55066/947760
150.67/103.98	c And the winner is solver0
151.36/104.53	c Got one! Elapsed wall clock time (in seconds):104.416
151.36/104.53	o 215
152.28/105.01	c cleaning 9542 clauses out of 19090 with flag 12077/959634
152.28/105.03	c And the winner is solver0
152.51/105.23	c Got one! Elapsed wall clock time (in seconds):105.117
152.51/105.23	o 214
153.04/105.59	c cleaning 7435 clauses out of 14869 with flag 11573/964955
153.64/105.89	c And the winner is solver0
153.93/106.24	c Got one! Elapsed wall clock time (in seconds):106.118
153.93/106.24	o 213
154.05/106.31	c cleaning 6440 clauses out of 12889 with flag 2037/970410
154.65/106.66	c And the winner is solver0
155.05/106.94	c Got one! Elapsed wall clock time (in seconds):106.82
155.05/106.94	o 212
155.77/107.38	c cleaning 8521 clauses out of 17042 with flag 12254/981003
156.37/107.69	c And the winner is solver0
157.37/108.54	c Got one! Elapsed wall clock time (in seconds):108.421
157.37/108.54	o 210
157.48/108.64	c cleaning 7019 clauses out of 14050 with flag 2035/986532
158.30/109.06	c cleaning 6512 clauses out of 13030 with flag 17776/992531
159.48/109.60	c cleaning 6758 clauses out of 13523 with flag 34915/999536
160.50/110.11	c cleaning 7378 clauses out of 14762 with flag 55440/1007533
161.68/110.79	c cleaning 8187 clauses out of 16382 with flag 78190/1016531
163.28/111.59	c cleaning 9097 clauses out of 18199 with flag 101893/1026535
165.29/112.55	c cleaning 10051 clauses out of 20106 with flag 127505/1037539
167.49/113.68	c cleaning 11017 clauses out of 22049 with flag 155979/1049533
170.12/114.95	c cleaning 12011 clauses out of 24030 with flag 186574/1062531
172.92/116.36	c cleaning 13010 clauses out of 26021 with flag 220635/1076533
175.93/117.89	c cleaning 13996 clauses out of 28012 with flag 255155/1091534
179.51/119.68	c cleaning 15009 clauses out of 30017 with flag 292917/1107535
181.76/120.74	c And the winner is solver0
182.09/121.09	c Got one! Elapsed wall clock time (in seconds):120.974
182.09/121.09	o 208
183.33/121.74	c cleaning 15387 clauses out of 30785 with flag 12698/1123312
184.55/122.32	c cleaning 10698 clauses out of 21402 with flag 28550/1129316
185.75/122.92	c cleaning 8847 clauses out of 17704 with flag 46464/1136316
185.95/123.06	c And the winner is solver0
186.11/123.19	c Got one! Elapsed wall clock time (in seconds):123.075
186.11/123.19	o 207
186.59/123.43	c cleaning 6933 clauses out of 13875 with flag 7091/1141334
186.99/123.64	c And the winner is solver0
187.16/123.79	c Got one! Elapsed wall clock time (in seconds):123.676
187.16/123.79	o 205
187.44/123.93	c cleaning 6269 clauses out of 12558 with flag 4747/1146950
188.25/124.31	c cleaning 6135 clauses out of 12288 with flag 19937/1152949
189.04/124.79	c cleaning 6563 clauses out of 13152 with flag 37906/1159948
189.24/124.81	c And the winner is solver0
189.40/125.31	c Got one! Elapsed wall clock time (in seconds):125.191
189.40/125.31	o 203
189.98/125.62	c And the winner is solver0
190.16/125.81	c Got one! Elapsed wall clock time (in seconds):125.692
190.16/125.81	o 202
190.34/125.90	c cleaning 6369 clauses out of 12749 with flag 2458/1166108
190.54/126.09	c And the winner is solver0
190.86/126.31	c Got one! Elapsed wall clock time (in seconds):126.193
190.86/126.31	o 200
191.25/126.54	c cleaning 6179 clauses out of 12380 with flag 7270/1172108
192.04/126.93	c cleaning 6088 clauses out of 12196 with flag 22614/1178103
193.04/127.42	c cleaning 6550 clauses out of 13107 with flag 40604/1185102
194.23/128.02	c cleaning 7280 clauses out of 14560 with flag 60836/1193105
195.65/128.75	c cleaning 8143 clauses out of 16285 with flag 83819/1202110
197.04/129.50	c cleaning 9066 clauses out of 18134 with flag 109266/1212102
198.86/130.38	c cleaning 10039 clauses out of 20077 with flag 138038/1223111
199.26/130.52	c And the winner is solver0
199.45/130.81	c Got one! Elapsed wall clock time (in seconds):130.694
199.45/130.81	o 199
199.84/131.06	c cleaning 7658 clauses out of 15322 with flag 6994/1228395
200.84/131.52	c cleaning 6820 clauses out of 13651 with flag 21878/1234382
201.04/131.66	c And the winner is solver0
201.52/132.06	c Got one! Elapsed wall clock time (in seconds):131.945
201.52/132.06	o 198
201.81/132.27	c cleaning 6079 clauses out of 12196 with flag 6991/1239747
202.62/132.67	c cleaning 6056 clauses out of 12115 with flag 22144/1245745
203.63/133.14	c cleaning 6528 clauses out of 13060 with flag 39653/1252746
204.82/133.73	c cleaning 7263 clauses out of 14531 with flag 60671/1260745
204.82/133.75	c And the winner is solver0
205.06/134.06	c Got one! Elapsed wall clock time (in seconds):133.947
205.06/134.06	o 196
205.73/134.43	c cleaning 6368 clauses out of 12744 with flag 11806/1266221
206.55/134.87	c cleaning 6182 clauses out of 12372 with flag 27069/1272217
207.35/135.24	c And the winner is solver0
207.65/135.57	c Got one! Elapsed wall clock time (in seconds):135.448
207.65/135.57	o 195
208.34/135.92	c And the winner is solver0
208.46/136.07	c Got one! Elapsed wall clock time (in seconds):135.948
208.46/136.07	o 194
208.57/136.17	c cleaning 8415 clauses out of 16833 with flag 2059/1282860
209.58/136.62	c cleaning 7206 clauses out of 14419 with flag 17513/1288861
209.58/136.68	c And the winner is solver0
209.86/137.07	c Got one! Elapsed wall clock time (in seconds):136.949
209.86/137.07	o 193
210.32/137.33	c cleaning 6097 clauses out of 12213 with flag 9644/1293861
211.14/137.72	c cleaning 6049 clauses out of 12117 with flag 23217/1299862
211.94/138.17	c cleaning 6530 clauses out of 13070 with flag 40330/1306864
212.95/138.70	c cleaning 7266 clauses out of 14540 with flag 58845/1314864
214.54/139.41	c cleaning 8133 clauses out of 16272 with flag 79841/1323862
216.35/140.30	c cleaning 9069 clauses out of 18139 with flag 103473/1333862
218.35/141.33	c cleaning 10031 clauses out of 20070 with flag 130960/1344862
220.77/142.50	c cleaning 11021 clauses out of 22041 with flag 160484/1356864
223.17/143.78	c cleaning 11999 clauses out of 24018 with flag 190974/1369862
226.23/145.29	c cleaning 13007 clauses out of 26020 with flag 224848/1383863
229.62/146.98	c cleaning 14005 clauses out of 28012 with flag 262693/1398862
233.98/149.00	c cleaning 15004 clauses out of 30007 with flag 304305/1414862
238.63/151.39	c cleaning 15998 clauses out of 32002 with flag 347854/1431861
244.12/154.07	c cleaning 17001 clauses out of 34004 with flag 394450/1449861
249.95/156.96	c cleaning 18002 clauses out of 36005 with flag 443852/1468863
251.15/157.51	c And the winner is solver0
251.17/157.63	c Got one! Elapsed wall clock time (in seconds):157.516
251.17/157.63	o 192
252.30/158.22	c cleaning 14136 clauses out of 28281 with flag 12038/1479141
252.50/158.36	c And the winner is solver0
252.87/158.63	c Got one! Elapsed wall clock time (in seconds):158.517
252.87/158.63	o 190
253.59/159.00	c cleaning 9978 clauses out of 19967 with flag 9417/1484963
254.19/159.33	c And the winner is solver0
254.43/159.63	c Got one! Elapsed wall clock time (in seconds):159.518
254.43/159.63	o 188
254.55/159.72	c cleaning 7838 clauses out of 15703 with flag 2189/1490677
255.35/160.17	c cleaning 6927 clauses out of 13864 with flag 16818/1496676
256.36/160.68	c cleaning 6968 clauses out of 13942 with flag 33491/1503681
257.55/161.30	c cleaning 7485 clauses out of 14970 with flag 51889/1511677
258.15/161.56	c And the winner is solver0
258.42/161.74	c Got one! Elapsed wall clock time (in seconds):161.619
258.42/161.74	o 187
258.57/161.83	c cleaning 6354 clauses out of 12718 with flag 2041/1516910
259.36/162.28	c cleaning 6175 clauses out of 12368 with flag 16759/1522914
259.96/162.56	c And the winner is solver0
260.52/163.04	c Got one! Elapsed wall clock time (in seconds):162.92
260.52/163.04	o 185
260.66/163.12	c cleaning 5746 clauses out of 11502 with flag 2041/1528223
261.26/163.40	c And the winner is solver0
261.37/163.59	c Got one! Elapsed wall clock time (in seconds):163.471
261.37/163.59	o 184
261.44/163.66	c cleaning 5656 clauses out of 11320 with flag 2339/1533787
261.64/163.71	c And the winner is solver0
261.76/164.09	c Got one! Elapsed wall clock time (in seconds):163.972
261.76/164.09	o 183
262.38/164.40	c cleaning 5743 clauses out of 11501 with flag 11277/1539624
262.98/164.79	c cleaning 5878 clauses out of 11755 with flag 25017/1545621
264.20/165.31	c cleaning 6435 clauses out of 12878 with flag 41815/1552622
265.40/165.91	c cleaning 7221 clauses out of 14446 with flag 61689/1560625
265.40/165.92	c And the winner is solver0
265.62/166.19	c Got one! Elapsed wall clock time (in seconds):166.074
265.62/166.19	o 182
266.28/166.51	c And the winner is solver0
266.41/166.69	c Got one! Elapsed wall clock time (in seconds):166.574
266.41/166.69	o 180
266.49/166.78	c cleaning 6405 clauses out of 12817 with flag 2364/1566217
266.69/166.88	c And the winner is solver0
266.97/167.19	c Got one! Elapsed wall clock time (in seconds):167.075
266.97/167.19	o 178
267.60/167.51	c cleaning 6036 clauses out of 12081 with flag 9774/1571886
268.39/167.92	c cleaning 6013 clauses out of 12040 with flag 24142/1577881
268.59/168.02	c And the winner is solver0
268.81/168.29	c Got one! Elapsed wall clock time (in seconds):168.176
268.81/168.29	o 176
269.31/168.57	c cleaning 5820 clauses out of 11661 with flag 9928/1583515
270.11/168.98	c cleaning 5914 clauses out of 11844 with flag 25498/1589518
271.12/169.49	c cleaning 6462 clauses out of 12928 with flag 43004/1596516
271.71/169.78	c And the winner is solver0
272.00/169.95	c Got one! Elapsed wall clock time (in seconds):169.828
272.00/169.95	o 175
272.14/170.03	c cleaning 5974 clauses out of 11954 with flag 2094/1602004
272.94/170.44	c cleaning 5987 clauses out of 11982 with flag 17058/1608006
273.94/170.94	c cleaning 6494 clauses out of 12994 with flag 34844/1615005
274.74/171.37	c And the winner is solver0
275.01/171.60	c Got one! Elapsed wall clock time (in seconds):171.479
275.01/171.60	o 174
275.89/172.06	c cleaning 8897 clauses out of 17793 with flag 11444/1626298
276.89/172.51	c cleaning 7442 clauses out of 14893 with flag 26548/1632295
277.89/173.05	c cleaning 7219 clauses out of 14453 with flag 43256/1639297
279.09/173.68	c cleaning 7611 clauses out of 15232 with flag 63795/1647295
280.48/174.30	c And the winner is solver0
280.88/174.70	c Got one! Elapsed wall clock time (in seconds):174.58
280.88/174.70	o 173
281.67/175.17	c cleaning 10385 clauses out of 20774 with flag 11926/1660448
282.67/175.66	c cleaning 8200 clauses out of 16401 with flag 26803/1666460
283.87/176.21	c cleaning 7589 clauses out of 15189 with flag 44239/1673448
285.07/176.83	c cleaning 7798 clauses out of 15599 with flag 63864/1681447
285.69/177.16	c And the winner is solver0
285.94/177.35	c Got one! Elapsed wall clock time (in seconds):177.231
285.94/177.35	o 171
286.07/177.44	c cleaning 6805 clauses out of 13628 with flag 2032/1687274
286.87/177.86	c cleaning 6409 clauses out of 12823 with flag 16645/1693274
287.47/178.11	c And the winner is solver0
287.86/178.50	c Got one! Elapsed wall clock time (in seconds):178.386
287.86/178.50	o 170
287.86/178.59	c cleaning 5728 clauses out of 11477 with flag 2034/1698337
288.64/178.97	c cleaning 5865 clauses out of 11748 with flag 16917/1704336
289.65/179.47	c cleaning 6441 clauses out of 12884 with flag 34188/1711337
290.84/180.06	c cleaning 7217 clauses out of 14442 with flag 54363/1719336
292.25/180.79	c cleaning 8109 clauses out of 16227 with flag 76570/1728338
293.05/181.17	c And the winner is solver0
293.59/181.60	c Got one! Elapsed wall clock time (in seconds):181.487
293.59/181.60	o 169
293.97/181.81	c And the winner is solver0
294.13/182.11	c Got one! Elapsed wall clock time (in seconds):181.988
294.13/182.11	o 168
294.53/182.39	c cleaning 9259 clauses out of 18524 with flag 7114/1738744
295.15/182.61	c And the winner is solver0
295.32/183.11	c Got one! Elapsed wall clock time (in seconds):182.989
295.32/183.11	o 166
295.50/183.26	c cleaning 7397 clauses out of 14808 with flag 4448/1744287
295.70/183.34	c And the winner is solver0
295.96/183.61	c Got one! Elapsed wall clock time (in seconds):183.489
295.96/183.61	o 165
296.54/183.92	c cleaning 6316 clauses out of 12656 with flag 9998/1749532
297.34/184.35	c cleaning 6168 clauses out of 12341 with flag 24849/1755533
298.35/184.86	c cleaning 6579 clauses out of 13175 with flag 41330/1762535
299.54/185.49	c cleaning 7298 clauses out of 14595 with flag 60478/1770534
300.94/186.19	c cleaning 8143 clauses out of 16295 with flag 81229/1779532
302.75/187.03	c cleaning 9076 clauses out of 18152 with flag 106412/1789532
304.54/187.98	c cleaning 10032 clauses out of 20076 with flag 133851/1800532
306.95/189.10	c cleaning 11019 clauses out of 22044 with flag 163555/1812532
309.37/190.36	c cleaning 12009 clauses out of 24025 with flag 195203/1825532
312.35/191.84	c cleaning 13005 clauses out of 26016 with flag 230007/1839532
316.01/193.66	c cleaning 14010 clauses out of 28019 with flag 268169/1854540
316.40/193.83	c And the winner is solver0
316.47/194.11	c Got one! Elapsed wall clock time (in seconds):193.992
316.47/194.11	o 163
317.25/194.53	c cleaning 9960 clauses out of 19937 with flag 8965/1860468
318.05/194.94	c And the winner is solver0
318.29/195.11	c Got one! Elapsed wall clock time (in seconds):194.993
318.29/195.11	o 162
319.10/195.58	c cleaning 10172 clauses out of 20347 with flag 12083/1870838
320.09/196.05	c cleaning 8079 clauses out of 16176 with flag 26221/1876839
321.09/196.59	c cleaning 7536 clauses out of 15094 with flag 43720/1883836
321.29/196.66	c And the winner is solver0
321.58/197.11	c Got one! Elapsed wall clock time (in seconds):196.994
321.58/197.11	o 160
322.16/197.40	c cleaning 6344 clauses out of 12701 with flag 9520/1888979
322.36/197.59	c And the winner is solver0
322.84/197.91	c Got one! Elapsed wall clock time (in seconds):197.796
322.84/197.91	o 158
323.02/198.05	c cleaning 5821 clauses out of 11661 with flag 4654/1894283
323.41/198.30	c And the winner is solver0
323.92/198.61	c Got one! Elapsed wall clock time (in seconds):198.497
323.92/198.61	o 156
323.92/198.68	c cleaning 5501 clauses out of 11008 with flag 2251/1899451
324.91/199.13	c cleaning 5748 clauses out of 11507 with flag 16543/1905451
325.90/199.63	c cleaning 6379 clauses out of 12759 with flag 33451/1912451
327.11/200.27	c cleaning 7192 clauses out of 14383 with flag 53448/1920454
328.70/201.00	c cleaning 8094 clauses out of 16191 with flag 75991/1929454
330.30/201.87	c cleaning 9036 clauses out of 18094 with flag 100542/1939451
332.50/202.90	c cleaning 10025 clauses out of 20060 with flag 126982/1950453
334.69/204.05	c cleaning 11017 clauses out of 22037 with flag 155444/1962455
337.49/205.40	c cleaning 12008 clauses out of 24019 with flag 186034/1975454
338.49/205.90	c And the winner is solver0
338.71/206.12	c Got one! Elapsed wall clock time (in seconds):205.999
338.71/206.12	o 154
339.47/206.57	c And the winner is solver0
340.13/207.12	c Got one! Elapsed wall clock time (in seconds):207.001
340.13/207.12	o 153
340.29/207.25	c cleaning 11486 clauses out of 22982 with flag 2274/1986425
341.30/207.79	c cleaning 8740 clauses out of 17493 with flag 16739/1992422
342.50/208.37	c cleaning 7864 clauses out of 15752 with flag 33481/1999421
342.70/208.42	c And the winner is solver0
342.93/208.62	c Got one! Elapsed wall clock time (in seconds):208.502
342.93/208.62	o 151
343.50/208.98	c And the winner is solver0
343.87/209.22	c Got one! Elapsed wall clock time (in seconds):209.103
343.87/209.22	o 150
344.04/209.34	c cleaning 7134 clauses out of 14280 with flag 2096/2005813
344.24/209.49	c And the winner is solver0
344.60/209.72	c Got one! Elapsed wall clock time (in seconds):209.604
344.60/209.72	o 143
344.95/209.95	c cleaning 6322 clauses out of 12656 with flag 6921/2011323
345.36/210.13	c And the winner is solver0
345.90/210.67	c Got one! Elapsed wall clock time (in seconds):210.556
345.90/210.67	o 141
346.19/210.89	c cleaning 6082 clauses out of 12194 with flag 6612/2017183
347.01/211.30	c cleaning 6046 clauses out of 12111 with flag 20925/2023182
347.99/211.76	c cleaning 6526 clauses out of 13064 with flag 37205/2030181
349.21/212.35	c cleaning 7266 clauses out of 14539 with flag 56477/2038182
350.59/213.03	c cleaning 8138 clauses out of 16276 with flag 79400/2047185
352.19/213.85	c cleaning 9065 clauses out of 18134 with flag 104249/2057181
354.20/214.84	c cleaning 10033 clauses out of 20069 with flag 130804/2068181
356.40/215.94	c cleaning 11018 clauses out of 22038 with flag 159080/2080183
359.00/217.27	c cleaning 12011 clauses out of 24022 with flag 189891/2093185
362.20/218.82	c cleaning 12997 clauses out of 26007 with flag 223221/2107181
365.60/220.56	c cleaning 14005 clauses out of 28011 with flag 259603/2122182
369.59/222.51	c cleaning 15002 clauses out of 30007 with flag 298159/2138183
374.20/224.86	c cleaning 15998 clauses out of 32003 with flag 339653/2155181
378.64/227.05	c cleaning 17003 clauses out of 34010 with flag 382461/2173186
383.86/229.63	c cleaning 17994 clauses out of 36002 with flag 427108/2192181
387.89/231.69	c And the winner is solver0
388.13/232.18	c Got one! Elapsed wall clock time (in seconds):232.059
388.13/232.18	o 140
389.76/233.00	c cleaning 18849 clauses out of 37707 with flag 11680/2211880
390.97/233.67	c cleaning 12429 clauses out of 24857 with flag 25830/2217879
392.16/234.30	c cleaning 9709 clauses out of 19428 with flag 43683/2224879
393.76/235.01	c cleaning 8858 clauses out of 17724 with flag 63391/2232884
395.16/235.78	c cleaning 8932 clauses out of 17866 with flag 85038/2241884
396.98/236.63	c cleaning 9464 clauses out of 18930 with flag 109554/2251880
398.77/237.60	c cleaning 10226 clauses out of 20465 with flag 136620/2262879
400.97/238.60	c cleaning 11122 clauses out of 22243 with flag 165260/2274883
403.17/239.76	c cleaning 12057 clauses out of 24117 with flag 196572/2287879
406.22/241.21	c cleaning 13033 clauses out of 26065 with flag 229374/2301884
409.24/242.79	c cleaning 14014 clauses out of 28027 with flag 264247/2316879
413.06/244.60	c cleaning 15006 clauses out of 30016 with flag 301046/2332882
417.28/246.74	c cleaning 15999 clauses out of 32007 with flag 341086/2349879
421.69/248.96	c cleaning 17002 clauses out of 34009 with flag 383086/2367880
426.93/251.51	c cleaning 18008 clauses out of 36023 with flag 427636/2386896
432.74/254.41	c cleaning 18993 clauses out of 38002 with flag 475172/2406883
439.38/257.77	c cleaning 19995 clauses out of 40006 with flag 525780/2427880
446.19/261.10	c cleaning 21003 clauses out of 42010 with flag 575309/2449879
453.82/264.94	c cleaning 22003 clauses out of 44007 with flag 628648/2472879
462.26/269.15	c cleaning 22994 clauses out of 46004 with flag 683942/2496879
472.47/274.30	c cleaning 23999 clauses out of 48011 with flag 741253/2521880
482.75/279.43	c cleaning 25006 clauses out of 50014 with flag 803579/2547882
493.59/284.85	c cleaning 26004 clauses out of 52007 with flag 868605/2574881
505.86/291.00	c cleaning 26999 clauses out of 54001 with flag 932788/2602879
518.76/297.32	c cleaning 27995 clauses out of 56002 with flag 999755/2631879
533.01/304.45	c cleaning 29001 clauses out of 58009 with flag 1071812/2661881
538.23/307.06	c And the winner is solver0
538.23/307.29	c Got one! Elapsed wall clock time (in seconds):307.171
538.23/307.29	o 138
540.66/308.55	c cleaning 24297 clauses out of 48600 with flag 11634/2681473
540.66/308.58	c And the winner is solver0
541.05/308.84	c Got one! Elapsed wall clock time (in seconds):308.722
541.05/308.84	o 136
542.36/309.59	c cleaning 14771 clauses out of 29571 with flag 11815/2686741
543.56/310.13	c cleaning 10394 clauses out of 20801 with flag 25852/2692742
544.56/310.69	c cleaning 8700 clauses out of 17413 with flag 41860/2699748
545.97/311.32	c cleaning 8347 clauses out of 16707 with flag 60293/2707742
547.36/312.03	c cleaning 8676 clauses out of 17359 with flag 80695/2716741
548.96/312.86	c cleaning 9343 clauses out of 18686 with flag 103840/2726744
550.98/313.87	c cleaning 10161 clauses out of 20341 with flag 129696/2737742
553.38/315.02	c cleaning 11091 clauses out of 22183 with flag 159276/2749745
555.78/316.23	c cleaning 12040 clauses out of 24088 with flag 189691/2762741
558.58/317.64	c cleaning 13028 clauses out of 26056 with flag 223585/2776749
561.78/319.25	c cleaning 14005 clauses out of 28023 with flag 260661/2791744
565.40/321.05	c cleaning 15009 clauses out of 30017 with flag 298592/2807743
569.40/323.03	c cleaning 16002 clauses out of 32006 with flag 339767/2824741
570.99/323.89	c And the winner is solver0
571.45/324.34	c Got one! Elapsed wall clock time (in seconds):324.225
571.45/324.34	o 133
572.59/324.94	c cleaning 14895 clauses out of 29804 with flag 11694/2838541
573.59/325.46	c cleaning 10445 clauses out of 20908 with flag 26392/2844540
574.59/325.97	c And the winner is solver0
575.01/326.34	c Got one! Elapsed wall clock time (in seconds):326.226
575.01/326.34	o 131
575.93/326.87	c cleaning 11078 clauses out of 22179 with flag 11574/2856256
577.12/327.41	c cleaning 8548 clauses out of 17104 with flag 26522/2862259
577.12/327.44	c And the winner is solver0
577.47/327.84	c Got one! Elapsed wall clock time (in seconds):327.727
577.47/327.84	o 129
578.19/328.25	c cleaning 7041 clauses out of 14101 with flag 12295/2867804
578.39/328.34	c And the winner is solver0
578.63/328.60	c Got one! Elapsed wall clock time (in seconds):328.479
578.63/328.60	o 127
579.11/328.85	c cleaning 6271 clauses out of 12560 with flag 8720/2873304
579.91/329.28	c cleaning 6137 clauses out of 12288 with flag 22715/2879303
581.11/329.83	c cleaning 6575 clauses out of 13152 with flag 38252/2886304
581.91/330.20	c And the winner is solver0
582.22/330.60	c Got one! Elapsed wall clock time (in seconds):330.48
582.22/330.60	o 126
583.00/331.07	c cleaning 8402 clauses out of 16806 with flag 10985/2896533
584.00/331.51	c cleaning 7203 clauses out of 14407 with flag 24450/2902536
585.00/332.05	c cleaning 7102 clauses out of 14206 with flag 39738/2909538
586.40/332.70	c cleaning 7549 clauses out of 15098 with flag 57608/2917532
586.40/332.78	c And the winner is solver0
586.85/333.12	c Got one! Elapsed wall clock time (in seconds):333.004
586.85/333.12	o 125
587.19/333.32	c And the winner is solver0
587.31/333.64	c Got one! Elapsed wall clock time (in seconds):333.527
587.31/333.64	o 124
587.59/333.81	c cleaning 6680 clauses out of 13360 with flag 4307/2923343
588.41/334.26	c cleaning 6333 clauses out of 12679 with flag 17621/2929342
589.41/334.78	c cleaning 6667 clauses out of 13346 with flag 33545/2936342
590.81/335.40	c cleaning 7336 clauses out of 14680 with flag 52313/2944343
591.02/335.51	c And the winner is solver0
591.23/335.77	c Got one! Elapsed wall clock time (in seconds):335.649
591.23/335.77	o 123
591.70/336.09	c cleaning 6625 clauses out of 13255 with flag 9139/2950254
592.70/336.57	c cleaning 6310 clauses out of 12629 with flag 22856/2956253
593.90/337.11	c cleaning 6658 clauses out of 13319 with flag 38847/2963253
595.12/337.77	c cleaning 7333 clauses out of 14667 with flag 57086/2971259
596.50/338.49	c And the winner is solver0
597.39/339.24	c Got one! Elapsed wall clock time (in seconds):339.122
597.39/339.24	o 122
598.32/339.77	c cleaning 10559 clauses out of 21117 with flag 10967/2985042
599.52/340.30	c cleaning 8271 clauses out of 16559 with flag 24248/2991043
600.52/340.86	c cleaning 7641 clauses out of 15286 with flag 39574/2998041
601.92/341.50	c cleaning 7820 clauses out of 15647 with flag 57674/3006043
603.52/342.31	c cleaning 8408 clauses out of 16826 with flag 77373/3015042
604.32/342.75	c And the winner is solver0
604.79/343.11	c Got one! Elapsed wall clock time (in seconds):342.996
604.79/343.11	o 120
605.53/343.57	c cleaning 9392 clauses out of 18787 with flag 10556/3025411
606.54/344.05	c cleaning 7693 clauses out of 15396 with flag 23689/3031412
607.74/344.62	c cleaning 7343 clauses out of 14701 with flag 38898/3038410
608.94/345.26	c cleaning 7679 clauses out of 15362 with flag 57613/3046414
610.34/346.00	c cleaning 8338 clauses out of 16679 with flag 77712/3055410
612.34/346.92	c cleaning 9168 clauses out of 18340 with flag 100409/3065409
614.34/347.97	c cleaning 10085 clauses out of 20174 with flag 125132/3076411
616.94/349.23	c cleaning 11033 clauses out of 22088 with flag 153082/3088410
619.74/350.66	c cleaning 12027 clauses out of 24056 with flag 181891/3101411
622.94/352.29	c cleaning 13011 clauses out of 26028 with flag 212543/3115410
626.54/354.07	c cleaning 14009 clauses out of 28019 with flag 245364/3130412
630.34/355.94	c cleaning 14994 clauses out of 30007 with flag 282272/3146409
634.74/358.15	c cleaning 16005 clauses out of 32013 with flag 320341/3163409
639.33/360.47	c cleaning 17003 clauses out of 34013 with flag 360322/3181414
641.35/361.49	c And the winner is solver0
641.91/361.94	c Got one! Elapsed wall clock time (in seconds):361.822
641.91/361.94	o 119
643.20/362.60	c And the winner is solver0
643.50/362.96	c Got one! Elapsed wall clock time (in seconds):362.845
643.50/362.96	o 117
643.78/363.16	c cleaning 15825 clauses out of 31659 with flag 2119/3196063
644.98/363.72	c cleaning 10906 clauses out of 21832 with flag 15914/3202061
646.18/364.39	c cleaning 8963 clauses out of 17937 with flag 32264/3209072
647.58/365.08	c cleaning 8474 clauses out of 16964 with flag 51111/3217062
649.18/365.83	c cleaning 8742 clauses out of 17491 with flag 71979/3226063
650.98/366.78	c cleaning 9370 clauses out of 18749 with flag 94961/3236063
653.38/367.92	c cleaning 10186 clauses out of 20377 with flag 119850/3247061
655.80/369.19	c cleaning 11095 clauses out of 22191 with flag 147182/3259061
658.00/370.28	c And the winner is solver0
658.36/370.59	c Got one! Elapsed wall clock time (in seconds):370.469
658.36/370.59	o 116
659.81/371.33	c cleaning 13418 clauses out of 26845 with flag 12011/3274810
661.04/371.96	c cleaning 9710 clauses out of 19426 with flag 26206/3280809
662.42/372.60	c cleaning 8353 clauses out of 16716 with flag 42305/3287809
663.82/373.31	c cleaning 8171 clauses out of 16363 with flag 60736/3295809
665.23/374.06	c cleaning 8583 clauses out of 17192 with flag 82983/3304809
667.24/375.06	c cleaning 9305 clauses out of 18609 with flag 105919/3314809
669.44/376.16	c cleaning 10146 clauses out of 20304 with flag 130817/3325809
671.88/377.40	c cleaning 11074 clauses out of 22161 with flag 159530/3337812
674.88/378.86	c cleaning 12041 clauses out of 24087 with flag 189517/3350812
675.89/379.37	c And the winner is solver0
676.25/379.66	c Got one! Elapsed wall clock time (in seconds):379.544
676.25/379.66	o 114
676.50/379.82	c cleaning 9016 clauses out of 18039 with flag 2106/3356805
677.30/380.30	c And the winner is solver0
677.76/380.69	c Got one! Elapsed wall clock time (in seconds):380.568
677.76/380.69	o 112
679.09/381.53	c cleaning 9652 clauses out of 19305 with flag 12498/3367087
680.09/382.04	c cleaning 7815 clauses out of 15652 with flag 26523/3373086
681.09/382.56	c cleaning 7415 clauses out of 14837 with flag 42643/3380086
682.29/383.18	c cleaning 7707 clauses out of 15422 with flag 61177/3388086
683.90/383.92	c cleaning 8359 clauses out of 16719 with flag 81699/3397090
685.49/384.75	c cleaning 9178 clauses out of 18356 with flag 105246/3407086
687.50/385.78	c cleaning 10088 clauses out of 20177 with flag 129773/3418085
689.90/386.92	c cleaning 11046 clauses out of 22093 with flag 157494/3430089
692.50/388.28	c cleaning 12021 clauses out of 24045 with flag 186890/3443087
695.69/389.85	c cleaning 13010 clauses out of 26024 with flag 219201/3457087
699.10/391.55	c cleaning 14001 clauses out of 28012 with flag 254203/3472085
702.90/393.48	c cleaning 15010 clauses out of 30024 with flag 290867/3488098
706.90/395.48	c cleaning 16000 clauses out of 32002 with flag 329141/3505086
711.52/397.74	c cleaning 16990 clauses out of 34003 with flag 369800/3523087
716.52/400.25	c cleaning 18004 clauses out of 36014 with flag 413095/3542088
722.14/403.03	c cleaning 19006 clauses out of 38014 with flag 458335/3562092
728.56/406.25	c cleaning 20001 clauses out of 40004 with flag 506444/3583088
734.77/409.38	c And the winner is solver0
735.67/410.22	c Got one! Elapsed wall clock time (in seconds):410.098
735.67/410.22	o 110
737.99/411.47	c cleaning 23118 clauses out of 46244 with flag 11971/3609329
739.58/412.22	c cleaning 14560 clauses out of 29123 with flag 26916/3615326
740.98/412.95	c cleaning 10772 clauses out of 21563 with flag 43305/3622326
742.59/413.71	c cleaning 9386 clauses out of 18792 with flag 61712/3630327
744.37/414.62	c cleaning 9190 clauses out of 18405 with flag 82738/3639326
744.79/414.89	c And the winner is solver0
745.77/415.79	c Got one! Elapsed wall clock time (in seconds):415.677
745.77/415.79	o 109
746.19/416.01	c cleaning 7222 clauses out of 14454 with flag 4359/3644565
747.00/416.47	c cleaning 6612 clauses out of 13233 with flag 17980/3650566
748.01/417.00	c cleaning 6811 clauses out of 13628 with flag 34237/3657573
749.40/417.65	c cleaning 7404 clauses out of 14811 with flag 52795/3665567
750.80/418.39	c cleaning 8200 clauses out of 16402 with flag 73139/3674562
752.61/419.27	c cleaning 9103 clauses out of 18206 with flag 96984/3684566
754.61/420.29	c cleaning 10051 clauses out of 20103 with flag 122571/3695566
757.01/421.47	c cleaning 11024 clauses out of 22050 with flag 150578/3707564
759.80/422.85	c cleaning 12012 clauses out of 24025 with flag 181461/3720563
762.80/424.32	c cleaning 13005 clauses out of 26015 with flag 215001/3734565
766.00/425.97	c cleaning 14005 clauses out of 28009 with flag 249625/3749564
769.80/427.87	c cleaning 14993 clauses out of 30004 with flag 284951/3765564
774.21/430.07	c cleaning 16005 clauses out of 32010 with flag 322294/3782563
779.03/432.47	c cleaning 16999 clauses out of 34004 with flag 361970/3800562
784.01/434.98	c cleaning 18002 clauses out of 36006 with flag 403440/3819563
789.61/437.78	c cleaning 18994 clauses out of 38005 with flag 448546/3839564
795.61/440.77	c cleaning 20004 clauses out of 40009 with flag 495505/3860562
802.21/444.06	c cleaning 21003 clauses out of 42008 with flag 545444/3882565
809.41/447.64	c cleaning 21999 clauses out of 44002 with flag 597789/3905562
816.61/451.29	c cleaning 22997 clauses out of 46004 with flag 652613/3929563
825.08/455.50	c cleaning 24002 clauses out of 48008 with flag 710748/3954564
833.66/459.78	c cleaning 25003 clauses out of 50008 with flag 771501/3980566
843.06/464.41	c cleaning 25996 clauses out of 52004 with flag 832297/4007565
853.06/469.48	c cleaning 27002 clauses out of 54006 with flag 893189/4035563
864.67/475.23	c cleaning 27997 clauses out of 56004 with flag 956033/4064563
876.06/480.96	c cleaning 28999 clauses out of 58006 with flag 1022699/4094562
889.07/487.40	c cleaning 30000 clauses out of 60007 with flag 1092745/4125562
901.92/493.84	c cleaning 31004 clauses out of 62009 with flag 1164607/4157564
915.54/500.63	c cleaning 32000 clauses out of 64003 with flag 1238601/4190562
930.53/508.14	c cleaning 33003 clauses out of 66008 with flag 1317013/4224567
946.34/516.01	c cleaning 33992 clauses out of 68000 with flag 1393864/4259562
962.32/524.07	c cleaning 35004 clauses out of 70011 with flag 1473925/4295565
979.92/532.81	c cleaning 35997 clauses out of 72005 with flag 1557496/4332563
998.57/542.13	c cleaning 37003 clauses out of 74008 with flag 1643350/4370563
1017.77/551.79	c cleaning 38002 clauses out of 76005 with flag 1730964/4409563
1039.19/562.52	c cleaning 39001 clauses out of 78007 with flag 1821420/4449567
1061.82/573.85	c cleaning 40002 clauses out of 80004 with flag 1913638/4490565
1085.23/585.51	c cleaning 41000 clauses out of 82000 with flag 2008236/4532563
1108.23/597.08	c cleaning 41999 clauses out of 84001 with flag 2102913/4575564
1133.87/609.85	c cleaning 42994 clauses out of 86002 with flag 2200549/4619564
1164.35/625.07	c cleaning 44003 clauses out of 88009 with flag 2297660/4664565
1202.70/644.11	c cleaning 44998 clauses out of 90004 with flag 2398031/4710563
1243.30/664.33	c cleaning 46000 clauses out of 92005 with flag 2500990/4757562
1288.11/686.63	c cleaning 47004 clauses out of 94009 with flag 2609541/4805566
1334.35/709.63	c cleaning 47998 clauses out of 96001 with flag 2715085/4854562
1380.55/732.62	c cleaning 48998 clauses out of 98004 with flag 2822148/4904563
1428.77/756.82	c cleaning 49995 clauses out of 100005 with flag 2933732/4955562
1479.60/782.19	c cleaning 51007 clauses out of 102013 with flag 3048811/5007565
1529.84/807.16	c And the winner is solver1
1529.84/807.60	c Got one! Elapsed wall clock time (in seconds):807.487
1529.84/807.60	o 101
1536.20/810.89	c cleaning 52619 clauses out of 105260 with flag 12115/5061819
1539.39/812.41	c cleaning 29315 clauses out of 58641 with flag 27428/5067819
1541.59/813.52	c cleaning 18160 clauses out of 36328 with flag 44964/5074821
1543.59/814.56	c cleaning 13075 clauses out of 26166 with flag 65472/5082819
1543.79/814.67	c And the winner is solver0
1544.55/815.34	c Got one! Elapsed wall clock time (in seconds):815.226
1544.55/815.34	o 100
1545.42/815.85	c cleaning 9051 clauses out of 18116 with flag 9318/5087844
1546.62/816.42	c cleaning 7530 clauses out of 15066 with flag 24325/5093845
1547.82/817.01	c cleaning 7262 clauses out of 14536 with flag 41881/5100845
1549.02/817.69	c cleaning 7637 clauses out of 15273 with flag 61664/5108844
1550.63/818.48	c cleaning 8312 clauses out of 16635 with flag 84422/5117843
1552.62/819.40	c cleaning 9164 clauses out of 18328 with flag 109055/5127848
1554.63/820.48	c cleaning 10078 clauses out of 20159 with flag 136190/5138843
1557.03/821.68	c cleaning 11037 clauses out of 22081 with flag 166421/5150843
1559.83/823.05	c cleaning 12025 clauses out of 24050 with flag 199623/5163849
1563.02/824.64	c cleaning 13010 clauses out of 26022 with flag 235239/5177846
1566.64/826.46	c cleaning 13996 clauses out of 28009 with flag 273273/5192843
1570.65/828.47	c cleaning 15009 clauses out of 30017 with flag 315391/5208847
1575.05/830.65	c cleaning 16003 clauses out of 32005 with flag 359013/5225844
1579.84/833.01	c cleaning 16998 clauses out of 34001 with flag 405127/5243843
1584.84/835.57	c cleaning 17999 clauses out of 36006 with flag 453311/5262846
1590.86/838.59	c cleaning 18999 clauses out of 38004 with flag 504132/5282843
1597.26/841.73	c cleaning 19998 clauses out of 40006 with flag 556406/5303844
1604.06/845.12	c cleaning 21001 clauses out of 42008 with flag 613025/5325844
1611.07/848.66	c cleaning 21999 clauses out of 44006 with flag 672137/5348843
1618.71/852.48	c cleaning 23002 clauses out of 46007 with flag 732296/5372843
1627.31/856.71	c cleaning 24002 clauses out of 48006 with flag 795336/5397844
1635.91/861.06	c cleaning 25002 clauses out of 50007 with flag 862259/5423847
1644.90/865.58	c cleaning 25999 clauses out of 52002 with flag 929758/5450844
1656.14/871.13	c cleaning 26997 clauses out of 54002 with flag 997478/5478843
1667.35/876.80	c cleaning 28001 clauses out of 56005 with flag 1068189/5507843
1678.74/882.47	c cleaning 29000 clauses out of 58004 with flag 1143901/5537843
1692.81/889.46	c cleaning 30002 clauses out of 60004 with flag 1222035/5568843
1708.69/897.33	c cleaning 31003 clauses out of 62010 with flag 1302028/5600851
1727.92/906.95	c cleaning 31997 clauses out of 64000 with flag 1382211/5633844
1747.84/916.87	c cleaning 33000 clauses out of 66005 with flag 1467449/5667846
1769.43/927.75	c cleaning 33996 clauses out of 68003 with flag 1556283/5702844
1790.71/938.38	c cleaning 35000 clauses out of 70006 with flag 1647891/5738843
1800.15/943.00	c >>>>>>>>>> Solver number 0 (183 answers) <<<<<<<<<<<<<<<<<<
1800.15/943.00	c starts		: 40408
1800.15/943.00	c conflicts		: 5757719
1800.15/943.00	c decisions		: 9081237
1800.15/943.00	c propagations		: 107615298
1800.15/943.00	c inspects		: 14396356433
1800.15/943.00	c shortcuts		: 0
1800.15/943.00	c learnt literals	: 0
1800.15/943.00	c learnt binary clauses	: 0
1800.15/943.00	c learnt ternary clauses	: 0
1800.15/943.00	c learnt constraints	: 5757719
1800.15/943.00	c ignored constraints	: 0
1800.15/943.00	c root simplifications	: 0
1800.15/943.00	c removed literals (reason simplification)	: 22971814
1800.15/943.00	c reason swapping (by a shorter reason)	: 0
1800.15/943.00	c Calls to reduceDB	: 484
1800.15/943.00	c Number of update (reduction) of LBD	: 1071391
1800.15/943.00	c Imported unit clauses	: 0
1800.15/943.00	c number of reductions to clauses (during analyze)	: 0
1800.15/943.00	c number of learned constraints concerned by reduction	: 0
1800.15/943.00	c number of learning phase by resolution	: 0
1800.15/943.00	c number of learning phase by cutting planes	: 0
1800.15/943.00	c speed (assignments/second)	: 795024.4014154742
1800.15/943.00	c non guided choices	5761
1800.15/943.02	c learnt constraints type 
1800.15/943.02	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 53882
1800.15/943.02	c >>>>>>>>>> Solver number 1 (4 answers) <<<<<<<<<<<<<<<<<<
1800.15/943.02	c starts		: 216
1800.15/943.02	c conflicts		: 5817
1800.15/943.02	c decisions		: 41295
1800.15/943.02	c propagations		: 132092
1800.15/943.02	c inspects		: 159356322
1800.15/943.02	c shortcuts		: 0
1800.15/943.02	c learnt literals	: 0
1800.15/943.02	c learnt binary clauses	: 0
1800.15/943.02	c learnt ternary clauses	: 0
1800.15/943.02	c learnt constraints	: 5660
1800.15/943.02	c ignored constraints	: 0
1800.15/943.02	c root simplifications	: 0
1800.15/943.02	c removed literals (reason simplification)	: 0
1800.15/943.02	c reason swapping (by a shorter reason)	: 0
1800.15/943.02	c Calls to reduceDB	: 0
1800.15/943.02	c Number of update (reduction) of LBD	: 0
1800.15/943.02	c Imported unit clauses	: 0
1800.15/943.02	c number of reductions to clauses (during analyze)	: 0
1800.15/943.02	c number of learned constraints concerned by reduction	: 0
1800.15/943.02	c number of learning phase by resolution	: 0
1800.15/943.02	c number of learning phase by cutting planes	: 0
1800.15/943.02	c speed (assignments/second)	: 1035.4959079364085
1800.15/943.02	c non guided choices	4798
1800.15/943.03	c learnt constraints type 
1800.15/943.03	c org.sat4j.pb.constraints.pb.LearntHTClausePB => 2
1800.15/943.03	c org.sat4j.pb.constraints.pb.MaxWatchPb => 5658
1800.15/943.03	s SATISFIABLE
1800.15/943.03	c Found 187 solution(s)
1800.15/943.03	v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 x9 -x10 -x11 x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 x25 -x26 x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 x41 -x42 -x43 -x44 x45 -x46 -x47 -x48 -x49 -x50 x51 -x52 x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 x81 -x82 -x83 x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 x107 x108 x109 -x110 -x111 -x112 x113 x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 x124 -x125 -x126 -x127 -x128 x129 -x130 x131 -x132 x133 -x134 -x135 -x136 x137 -x138 -x139 x140 x141 x142 x143 -x144 -x145 x146 x147 x148 -x149 -x150 x151 -x152 -x153 x154 x155 -x156 -x157 x158 -x159 -x160 x161 -x162 -x163 -x164 -x165 -x166 x167 x168 x169 x170 -x171 -x172 -x173 x174 -x175 x176 x177 -x178 x179 x180 -x181 x182 -x183 -x184 x185 x186 -x187 -x188 x189 x190 x191 x192 -x193 x194 x195 -x196 -x197 x198 
1800.15/943.03	c objective function=100
1800.15/943.03	c Total wall clock time (in seconds): 942.911

Verifier Data 

OK	100

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

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

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


[startup+0 s]
/proc/loadavg: 4.05 3.97 3.97 5/195 5536
/proc/meminfo: memFree=31066440/32872528 swapFree=13256/481332
[pid=5536] ppid=5533 vsize=336 CPUtime=0 cores=0,2,4,6
/proc/5536/stat : 5536 (java) R 5533 5536 955 0 -1 4202496 370 0 0 0 0 0 0 0 20 0 1 0 105199991 344064 41 33554432000 1073741824 1073778376 140736219832144 140734018105768 235365559591 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/5536/statm: 625 46 37 9 0 29 0

[startup+0.100113 s]
/proc/loadavg: 4.05 3.97 3.97 5/195 5536
/proc/meminfo: memFree=31066440/32872528 swapFree=13256/481332
[pid=5536] ppid=5533 vsize=9558476 CPUtime=0.09 cores=0,2,4,6
/proc/5536/stat : 5536 (java) S 5533 5536 955 0 -1 4202496 4473 0 1 0 8 1 0 0 20 0 18 0 105199991 9787879424 5578 33554432000 1073741824 1073778376 140736219832144 140736219823280 235378081853 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5536/statm: 2389619 5578 2126 9 0 2380296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558476

[startup+0.200219 s]
/proc/loadavg: 4.05 3.97 3.97 5/195 5536
/proc/meminfo: memFree=31066440/32872528 swapFree=13256/481332
[pid=5536] ppid=5533 vsize=9824732 CPUtime=0.26 cores=0,2,4,6
/proc/5536/stat : 5536 (java) S 5533 5536 955 0 -1 4202496 4907 0 1 0 25 1 0 0 20 0 22 0 105199991 10060525568 7485 33554432000 1073741824 1073778376 140736219832144 140736219823280 235378081853 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5536/statm: 2456183 7485 2231 9 0 2446860 0
Current children cumulated CPU time (s) 0.26
Current children cumulated vsize (KiB) 9824732

[startup+0.300214 s]
/proc/loadavg: 4.05 3.97 3.97 5/195 5536
/proc/meminfo: memFree=31066440/32872528 swapFree=13256/481332
[pid=5536] ppid=5533 vsize=9824732 CPUtime=0.55 cores=0,2,4,6
/proc/5536/stat : 5536 (java) S 5533 5536 955 0 -1 4202496 7534 0 1 0 53 2 0 0 20 0 22 0 105199991 10060525568 9317 33554432000 1073741824 1073778376 140736219832144 140736219823280 235378081853 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5536/statm: 2456183 9317 2241 9 0 2446860 0
Current children cumulated CPU time (s) 0.55
Current children cumulated vsize (KiB) 9824732

[startup+0.70018 s]
/proc/loadavg: 4.05 3.97 3.97 5/195 5536
/proc/meminfo: memFree=31066440/32872528 swapFree=13256/481332
[pid=5536] ppid=5533 vsize=9824732 CPUtime=2.04 cores=0,2,4,6
/proc/5536/stat : 5536 (java) S 5533 5536 955 0 -1 4202496 17280 0 1 0 201 3 0 0 20 0 22 0 105199991 10060525568 18682 33554432000 1073741824 1073778376 140736219832144 140736219823280 235378081853 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5536/statm: 2456183 18682 2252 9 0 2446860 0
Current children cumulated CPU time (s) 2.04
Current children cumulated vsize (KiB) 9824732

[startup+1.50075 s]
/proc/loadavg: 4.28 4.02 3.99 5/214 5558
/proc/meminfo: memFree=30925872/32872528 swapFree=13256/481332
[pid=5536] ppid=5533 vsize=9824732 CPUtime=3.85 cores=0,2,4,6
/proc/5536/stat : 5536 (java) S 5533 5536 955 0 -1 4202496 21998 0 1 0 378 7 0 0 20 0 19 0 105199991 10060525568 40305 33554432000 1073741824 1073778376 140736219832144 140736219823280 235378081853 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5536/statm: 2456183 40305 2271 9 0 2446860 0
[pid=5536/tid=5538] ppid=5533 vsize=9824732 CPUtime=0.16 cores=0,2,4,6
/proc/5536/task/5538/stat : 5538 (java) S 5533 5536 955 0 -1 4202560 2464 0 1 0 16 0 0 0 20 0 19 0 105199992 10060525568 40305 33554432000 1073741824 1073778376 140736219832144 140087474516856 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5536/tid=5539] ppid=5533 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/5536/task/5539/stat : 5539 (java) S 5533 5536 955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105199993 10060525568 40305 33554432000 1073741824 1073778376 140736219832144 140087318338600 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=5536/tid=5540] ppid=5533 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/5536/task/5540/stat : 5540 (java) S 5533 5536 955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105199993 10060525568 40305 33554432000 1073741824 1073778376 140736219832144 140087317285800 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5536/tid=5541] ppid=5533 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/5536/task/5541/stat : 5541 (java) S 5533 5536 955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105199993 10060525568 40305 33554432000 1073741824 1073778376 140736219832144 140087316233000 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5536/tid=5542] ppid=5533 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/5536/task/5542/stat : 5542 (java) S 5533 5536 955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105199993 10060525568 40305 33554432000 1073741824 1073778376 140736219832144 140087315180200 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=5536/tid=5543] ppid=5533 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/5536/task/5543/stat : 5543 (java) S 5533 5536 955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105199993 10060525568 40305 33554432000 1073741824 1073778376 140736219832144 140087314127400 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5536/tid=5544] ppid=5533 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/5536/task/5544/stat : 5544 (java) S 5533 5536 955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105199993 10060525568 40305 33554432000 1073741824 1073778376 140736219832144 140087313074600 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=5536/tid=5545] ppid=5533 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/5536/task/5545/stat : 5545 (java) S 5533 5536 955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105199993 10060525568 40305 33554432000 1073741824 1073778376 140736219832144 140087312021800 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5536/tid=5546] ppid=5533 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/5536/task/5546/stat : 5546 (java) S 5533 5536 955 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 105199993 10060525568 40305 33554432000 1073741824 1073778376 140736219832144 140087310969000 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=5536/tid=5547] ppid=5533 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/5536/task/5547/stat : 5547 (java) S 5533 5536 955 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 105199994 10060525568 40305 33554432000 1073741824 1073778376 140736219832144 140087298771944 235378096041 0 0 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=5536/tid=5548] ppid=5533 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/5536/task/5548/stat : 5548 (java) S 5533 5536 955 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 105199995 10060525568 40305 33554432000 1073741824 1073778376 140736219832144 140087297718008 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=5536/tid=5549] ppid=5533 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/5536/task/5549/stat : 5549 (java) S 5533 5536 955 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 105199995 10060525568 40305 33554432000 1073741824 1073778376 140736219832144 140087296665096 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=5536/tid=5550] ppid=5533 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/5536/task/5550/stat : 5550 (java) S 5533 5536 955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105199997 10060525568 40305 33554432000 1073741824 1073778376 140736219832144 140087295613584 235378104096 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=5536/tid=5551] ppid=5533 vsize=9824732 CPUtime=0.91 cores=0,2,4,6
/proc/5536/task/5551/stat : 5551 (java) S 5533 5536 955 0 -1 4202560 6166 0 0 0 90 1 0 0 20 0 19 0 105199997 10060525568 40305 33554432000 1073741824 1073778376 140736219832144 140087294560696 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5536/tid=5552] ppid=5533 vsize=9824732 CPUtime=0.97 cores=0,2,4,6
/proc/5536/task/5552/stat : 5552 (java) S 5533 5536 955 0 -1 4202560 11987 0 0 0 95 2 0 0 20 0 19 0 105199997 10060525568 40305 33554432000 1073741824 1073778376 140736219832144 140087293507896 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5536/tid=5553] ppid=5533 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/5536/task/5553/stat : 5553 (java) S 5533 5536 955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105199997 10060525568 40305 33554432000 1073741824 1073778376 140736219832144 140087292455288 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5536/tid=5554] ppid=5533 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/5536/task/5554/stat : 5554 (java) S 5533 5536 955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105199997 10060525568 40305 33554432000 1073741824 1073778376 140736219832144 140087291402696 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 3.85
Current children cumulated vsize (KiB) 9824732

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

[startup+1.70074 s]
/proc/loadavg: 4.28 4.02 3.99 5/214 5558
/proc/meminfo: memFree=30925872/32872528 swapFree=13256/481332
[pid=5536] ppid=5533 vsize=9824732 CPUtime=3.87 cores=0,2,4,6
/proc/5536/stat : 5536 (java) S 5533 5536 955 0 -1 4202496 22007 0 1 0 380 7 0 0 20 0 22 0 105199991 10060525568 41847 33554432000 1073741824 1073778376 140736219832144 140736219823280 235378081853 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5536/statm: 2456183 41847 2271 9 0 2446860 0
[pid=5536/tid=5538] ppid=5533 vsize=9824732 CPUtime=0.16 cores=0,2,4,6
/proc/5536/task/5538/stat : 5538 (java) S 5533 5536 955 0 -1 4202560 2464 0 1 0 16 0 0 0 20 0 22 0 105199992 10060525568 41847 33554432000 1073741824 1073778376 140736219832144 140087474516856 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5536/tid=5539] ppid=5533 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/5536/task/5539/stat : 5539 (java) S 5533 5536 955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 105199993 10060525568 41847 33554432000 1073741824 1073778376 140736219832144 140087318338600 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=5536/tid=5540] ppid=5533 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/5536/task/5540/stat : 5540 (java) S 5533 5536 955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 105199993 10060525568 41847 33554432000 1073741824 1073778376 140736219832144 140087317285800 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5536/tid=5541] ppid=5533 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/5536/task/5541/stat : 5541 (java) S 5533 5536 955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 105199993 10060525568 41847 33554432000 1073741824 1073778376 140736219832144 140087316233000 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5536/tid=5542] ppid=5533 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/5536/task/5542/stat : 5542 (java) S 5533 5536 955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 105199993 10060525568 41847 33554432000 1073741824 1073778376 140736219832144 140087315180200 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=5536/tid=5543] ppid=5533 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/5536/task/5543/stat : 5543 (java) S 5533 5536 955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 105199993 10060525568 42359 33554432000 1073741824 1073778376 140736219832144 140087314127400 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5536/tid=5544] ppid=5533 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/5536/task/5544/stat : 5544 (java) S 5533 5536 955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 105199993 10060525568 42359 33554432000 1073741824 1073778376 140736219832144 140087313074600 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=5536/tid=5545] ppid=5533 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/5536/task/5545/stat : 5545 (java) S 5533 5536 955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 105199993 10060525568 42359 33554432000 1073741824 1073778376 140736219832144 140087312021800 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5536/tid=5546] ppid=5533 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/5536/task/5546/stat : 5546 (java) S 5533 5536 955 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 105199993 10060525568 42359 33554432000 1073741824 1073778376 140736219832144 140087310969000 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=5536/tid=5547] ppid=5533 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/5536/task/5547/stat : 5547 (java) S 5533 5536 955 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 22 0 105199994 10060525568 42359 33554432000 1073741824 1073778376 140736219832144 140087298771944 235378096041 0 0 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=5536/tid=5548] ppid=5533 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/5536/task/5548/stat : 5548 (java) S 5533 5536 955 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 22 0 105199995 10060525568 42359 33554432000 1073741824 1073778376 140736219832144 140087297718008 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=5536/tid=5549] ppid=5533 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/5536/task/5549/stat : 5549 (java) S 5533 5536 955 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 105199995 10060525568 42359 33554432000 1073741824 1073778376 140736219832144 140087296665096 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=5536/tid=5550] ppid=5533 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/5536/task/5550/stat : 5550 (java) S 5533 5536 955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 105199997 10060525568 42359 33554432000 1073741824 1073778376 140736219832144 140087295613584 235378104096 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=5536/tid=5551] ppid=5533 vsize=9824732 CPUtime=0.91 cores=0,2,4,6
/proc/5536/task/5551/stat : 5551 (java) S 5533 5536 955 0 -1 4202560 6166 0 0 0 90 1 0 0 20 0 22 0 105199997 10060525568 42359 33554432000 1073741824 1073778376 140736219832144 140087294560696 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5536/tid=5552] ppid=5533 vsize=9824732 CPUtime=0.97 cores=0,2,4,6
/proc/5536/task/5552/stat : 5552 (java) S 5533 5536 955 0 -1 4202560 11987 0 0 0 95 2 0 0 20 0 22 0 105199997 10060525568 42359 33554432000 1073741824 1073778376 140736219832144 140087293507896 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5536/tid=5553] ppid=5533 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/5536/task/5553/stat : 5553 (java) S 5533 5536 955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 105199997 10060525568 42359 33554432000 1073741824 1073778376 140736219832144 140087292455288 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5536/tid=5554] ppid=5533 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/5536/task/5554/stat : 5554 (java) S 5533 5536 955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 105199997 10060525568 42359 33554432000 1073741824 1073778376 140736219832144 140087291402696 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 3.87
Current children cumulated vsize (KiB) 9824732

[startup+1.80078 s]
/proc/loadavg: 4.28 4.02 3.99 5/214 5558
/proc/meminfo: memFree=30925872/32872528 swapFree=13256/481332
[pid=5536] ppid=5533 vsize=9824732 CPUtime=3.86 cores=0,2,4,6
/proc/5536/stat : 5536 (java) S 5533 5536 955 0 -1 4202496 22008 0 1 0 379 7 0 0 20 0 19 0 105199991 10060525568 42353 33554432000 1073741824 1073778376 140736219832144 140736219823280 235378081853 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5536/statm: 2456183 42353 2271 9 0 2446860 0
[pid=5536/tid=5538] ppid=5533 vsize=9824732 CPUtime=0.16 cores=0,2,4,6
/proc/5536/task/5538/stat : 5538 (java) S 5533 5536 955 0 -1 4202560 2464 0 1 0 16 0 0 0 20 0 19 0 105199992 10060525568 42353 33554432000 1073741824 1073778376 140736219832144 140087474516856 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5536/tid=5539] ppid=5533 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/5536/task/5539/stat : 5539 (java) S 5533 5536 955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105199993 10060525568 42353 33554432000 1073741824 1073778376 140736219832144 140087318338600 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=5536/tid=5540] ppid=5533 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/5536/task/5540/stat : 5540 (java) S 5533 5536 955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105199993 10060525568 42353 33554432000 1073741824 1073778376 140736219832144 140087317285800 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5536/tid=5541] ppid=5533 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/5536/task/5541/stat : 5541 (java) S 5533 5536 955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105199993 10060525568 42353 33554432000 1073741824 1073778376 140736219832144 140087316233000 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5536/tid=5542] ppid=5533 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/5536/task/5542/stat : 5542 (java) S 5533 5536 955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105199993 10060525568 42353 33554432000 1073741824 1073778376 140736219832144 140087315180200 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=5536/tid=5543] ppid=5533 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/5536/task/5543/stat : 5543 (java) S 5533 5536 955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105199993 10060525568 42353 33554432000 1073741824 1073778376 140736219832144 140087314127400 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5536/tid=5544] ppid=5533 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/5536/task/5544/stat : 5544 (java) S 5533 5536 955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105199993 10060525568 42353 33554432000 1073741824 1073778376 140736219832144 140087313074600 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=5536/tid=5545] ppid=5533 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/5536/task/5545/stat : 5545 (java) S 5533 5536 955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105199993 10060525568 42353 33554432000 1073741824 1073778376 140736219832144 140087312021800 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5536/tid=5546] ppid=5533 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/5536/task/5546/stat : 5546 (java) S 5533 5536 955 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 105199993 10060525568 42353 33554432000 1073741824 1073778376 140736219832144 140087310969000 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=5536/tid=5547] ppid=5533 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/5536/task/5547/stat : 5547 (java) S 5533 5536 955 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 105199994 10060525568 42353 33554432000 1073741824 1073778376 140736219832144 140087298771944 235378096041 0 0 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=5536/tid=5548] ppid=5533 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/5536/task/5548/stat : 5548 (java) S 5533 5536 955 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 105199995 10060525568 42353 33554432000 1073741824 1073778376 140736219832144 140087297718008 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=5536/tid=5549] ppid=5533 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/5536/task/5549/stat : 5549 (java) S 5533 5536 955 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 105199995 10060525568 42353 33554432000 1073741824 1073778376 140736219832144 140087296665096 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=5536/tid=5550] ppid=5533 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/5536/task/5550/stat : 5550 (java) S 5533 5536 955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105199997 10060525568 42353 33554432000 1073741824 1073778376 140736219832144 140087295613584 235378104096 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=5536/tid=5551] ppid=5533 vsize=9824732 CPUtime=0.91 cores=0,2,4,6
/proc/5536/task/5551/stat : 5551 (java) S 5533 5536 955 0 -1 4202560 6166 0 0 0 90 1 0 0 20 0 19 0 105199997 10060525568 42353 33554432000 1073741824 1073778376 140736219832144 140087294560696 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5536/tid=5552] ppid=5533 vsize=9824732 CPUtime=0.97 cores=0,2,4,6
/proc/5536/task/5552/stat : 5552 (java) S 5533 5536 955 0 -1 4202560 11987 0 0 0 95 2 0 0 20 0 19 0 105199997 10060525568 42353 33554432000 1073741824 1073778376 140736219832144 140087293507896 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5536/tid=5553] ppid=5533 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/5536/task/5553/stat : 5553 (java) S 5533 5536 955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105199997 10060525568 42353 33554432000 1073741824 1073778376 140736219832144 140087292455288 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5536/tid=5554] ppid=5533 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/5536/task/5554/stat : 5554 (java) S 5533 5536 955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105199997 10060525568 42353 33554432000 1073741824 1073778376 140736219832144 140087291402696 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 3.86
Current children cumulated vsize (KiB) 9824732

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

[pid=5536/tid=5546] ppid=5533 vsize=9824732 CPUtime=1.67 cores=0,2,4,6
/proc/5536/task/5546/stat : 5546 (java) S 5533 5536 955 0 -1 4202560 352 0 0 0 156 11 0 0 20 0 22 0 105199993 10060525568 629673 33554432000 1073741824 1073778376 140736219832144 140087310969000 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5536/tid=5547] ppid=5533 vsize=9824732 CPUtime=1.62 cores=0,2,4,6
/proc/5536/task/5547/stat : 5547 (java) S 5533 5536 955 0 -1 4202560 2097 0 0 0 128 34 0 0 20 0 22 0 105199994 10060525568 629673 33554432000 1073741824 1073778376 140736219832144 140087298771944 235378096041 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5536/tid=5548] ppid=5533 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/5536/task/5548/stat : 5548 (java) S 5533 5536 955 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 105199995 10060525568 629673 33554432000 1073741824 1073778376 140736219832144 140087297718008 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5536/tid=5549] ppid=5533 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/5536/task/5549/stat : 5549 (java) S 5533 5536 955 0 -1 4202560 51 0 0 0 0 0 0 0 20 0 22 0 105199995 10060525568 629673 33554432000 1073741824 1073778376 140736219832144 140087296665096 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5536/tid=5550] ppid=5533 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/5536/task/5550/stat : 5550 (java) S 5533 5536 955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 105199997 10060525568 629673 33554432000 1073741824 1073778376 140736219832144 140087295613584 235378104096 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=5536/tid=5551] ppid=5533 vsize=9824732 CPUtime=1.42 cores=0,2,4,6
/proc/5536/task/5551/stat : 5551 (java) S 5533 5536 955 0 -1 4202560 7090 0 0 0 140 2 0 0 20 0 22 0 105199997 10060525568 629673 33554432000 1073741824 1073778376 140736219832144 140087294560696 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5536/tid=5552] ppid=5533 vsize=9824732 CPUtime=1.28 cores=0,2,4,6
/proc/5536/task/5552/stat : 5552 (java) S 5533 5536 955 0 -1 4202560 12004 0 0 0 126 2 0 0 20 0 22 0 105199997 10060525568 629673 33554432000 1073741824 1073778376 140736219832144 140087293507896 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5536/tid=5553] ppid=5533 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/5536/task/5553/stat : 5553 (java) S 5533 5536 955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 105199997 10060525568 629673 33554432000 1073741824 1073778376 140736219832144 140087292455288 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5536/tid=5554] ppid=5533 vsize=9824732 CPUtime=0.25 cores=0,2,4,6
/proc/5536/task/5554/stat : 5554 (java) S 5533 5536 955 0 -1 4202560 50 0 0 0 13 12 0 0 20 0 22 0 105199997 10060525568 629673 33554432000 1073741824 1073778376 140736219832144 140087291402696 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5536/tid=6233] ppid=5533 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/5536/task/6233/stat : 6233 (java) S 5533 5536 955 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 105280756 10060525568 629673 33554432000 1073741824 1073778376 140736219832144 140087287141928 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=5536/tid=6234] ppid=5533 vsize=9824732 CPUtime=66.63 cores=0,2,4,6
/proc/5536/task/6234/stat : 6234 (java) R 5533 5536 955 0 -1 4202560 2 0 0 0 6662 1 0 0 20 0 22 0 105281530 10060525568 629673 33554432000 1073741824 1073778376 140736219832144 140087290290432 140087347251772 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=5536/tid=6235] ppid=5533 vsize=9824732 CPUtime=66.64 cores=0,2,4,6
/proc/5536/task/6235/stat : 6235 (java) R 5533 5536 955 0 -1 4202560 7 0 0 0 6663 1 0 0 20 0 22 0 105281530 10060525568 629673 33554432000 1073741824 1073778376 140736219832144 140087288192624 140087347353036 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=5536/tid=6236] ppid=5533 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/5536/task/6236/stat : 6236 (java) S 5533 5536 955 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 105281538 10060525568 629673 33554432000 1073741824 1073778376 140736219832144 140087289246888 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1676.57
Current children cumulated vsize (KiB) 9824732

[startup+942.301 s]
/proc/loadavg: 4.14 4.08 4.01 5/217 6254
/proc/meminfo: memFree=27661832/32872528 swapFree=13256/481332
[pid=5536] ppid=5533 vsize=9824732 CPUtime=1796.77 cores=0,2,4,6
/proc/5536/stat : 5536 (java) S 5533 5536 955 0 -1 4202496 34470 0 1 0 179120 557 0 0 20 0 22 0 105199991 10060525568 579633 33554432000 1073741824 1073778376 140736219832144 140736219823280 235378081853 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5536/statm: 2456183 579633 2293 9 0 2446860 0
[pid=5536/tid=5538] ppid=5533 vsize=9824732 CPUtime=0.7 cores=0,2,4,6
/proc/5536/task/5538/stat : 5538 (java) S 5533 5536 955 0 -1 4202560 2478 0 1 0 67 3 0 0 20 0 22 0 105199992 10060525568 579633 33554432000 1073741824 1073778376 140736219832144 140087474516856 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5536/tid=5539] ppid=5533 vsize=9824732 CPUtime=1.87 cores=0,2,4,6
/proc/5536/task/5539/stat : 5539 (java) S 5533 5536 955 0 -1 4202560 392 0 0 0 176 11 0 0 20 0 22 0 105199993 10060525568 579633 33554432000 1073741824 1073778376 140736219832144 140087318338600 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5536/tid=5540] ppid=5533 vsize=9824732 CPUtime=1.95 cores=0,2,4,6
/proc/5536/task/5540/stat : 5540 (java) S 5533 5536 955 0 -1 4202560 364 0 0 0 180 15 0 0 20 0 22 0 105199993 10060525568 579633 33554432000 1073741824 1073778376 140736219832144 140087317285800 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5536/tid=5541] ppid=5533 vsize=9824732 CPUtime=1.92 cores=0,2,4,6
/proc/5536/task/5541/stat : 5541 (java) S 5533 5536 955 0 -1 4202560 371 0 0 0 179 13 0 0 20 0 22 0 105199993 10060525568 579633 33554432000 1073741824 1073778376 140736219832144 140087316233000 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5536/tid=5542] ppid=5533 vsize=9824732 CPUtime=1.85 cores=0,2,4,6
/proc/5536/task/5542/stat : 5542 (java) S 5533 5536 955 0 -1 4202560 448 0 0 0 173 12 0 0 20 0 22 0 105199993 10060525568 579633 33554432000 1073741824 1073778376 140736219832144 140087315180200 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5536/tid=5543] ppid=5533 vsize=9824732 CPUtime=1.84 cores=0,2,4,6
/proc/5536/task/5543/stat : 5543 (java) S 5533 5536 955 0 -1 4202560 638 0 0 0 171 13 0 0 20 0 22 0 105199993 10060525568 579633 33554432000 1073741824 1073778376 140736219832144 140087314127400 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5536/tid=5544] ppid=5533 vsize=9824732 CPUtime=1.92 cores=0,2,4,6
/proc/5536/task/5544/stat : 5544 (java) S 5533 5536 955 0 -1 4202560 579 0 0 0 179 13 0 0 20 0 22 0 105199993 10060525568 579633 33554432000 1073741824 1073778376 140736219832144 140087313074600 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=5536/tid=5545] ppid=5533 vsize=9824732 CPUtime=1.91 cores=0,2,4,6
/proc/5536/task/5545/stat : 5545 (java) S 5533 5536 955 0 -1 4202560 376 0 0 0 181 10 0 0 20 0 22 0 105199993 10060525568 579633 33554432000 1073741824 1073778376 140736219832144 140087312021800 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5536/tid=5546] ppid=5533 vsize=9824732 CPUtime=1.88 cores=0,2,4,6
/proc/5536/task/5546/stat : 5546 (java) S 5533 5536 955 0 -1 4202560 364 0 0 0 177 11 0 0 20 0 22 0 105199993 10060525568 579633 33554432000 1073741824 1073778376 140736219832144 140087310969000 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5536/tid=5547] ppid=5533 vsize=9824732 CPUtime=2.01 cores=0,2,4,6
/proc/5536/task/5547/stat : 5547 (java) S 5533 5536 955 0 -1 4202560 2183 0 0 0 163 38 0 0 20 0 22 0 105199994 10060525568 579633 33554432000 1073741824 1073778376 140736219832144 140087298771944 235378096041 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5536/tid=5548] ppid=5533 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/5536/task/5548/stat : 5548 (java) S 5533 5536 955 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 105199995 10060525568 579633 33554432000 1073741824 1073778376 140736219832144 140087297718008 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5536/tid=5549] ppid=5533 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/5536/task/5549/stat : 5549 (java) S 5533 5536 955 0 -1 4202560 52 0 0 0 0 0 0 0 20 0 22 0 105199995 10060525568 579633 33554432000 1073741824 1073778376 140736219832144 140087296665096 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5536/tid=5550] ppid=5533 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/5536/task/5550/stat : 5550 (java) S 5533 5536 955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 105199997 10060525568 579633 33554432000 1073741824 1073778376 140736219832144 140087295613584 235378104096 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=5536/tid=5551] ppid=5533 vsize=9824732 CPUtime=1.42 cores=0,2,4,6
/proc/5536/task/5551/stat : 5551 (java) S 5533 5536 955 0 -1 4202560 7090 0 0 0 140 2 0 0 20 0 22 0 105199997 10060525568 579633 33554432000 1073741824 1073778376 140736219832144 140087294560696 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5536/tid=5552] ppid=5533 vsize=9824732 CPUtime=1.28 cores=0,2,4,6
/proc/5536/task/5552/stat : 5552 (java) S 5533 5536 955 0 -1 4202560 12004 0 0 0 126 2 0 0 20 0 22 0 105199997 10060525568 579633 33554432000 1073741824 1073778376 140736219832144 140087293507896 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5536/tid=5553] ppid=5533 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/5536/task/5553/stat : 5553 (java) S 5533 5536 955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 105199997 10060525568 579633 33554432000 1073741824 1073778376 140736219832144 140087292455288 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5536/tid=5554] ppid=5533 vsize=9824732 CPUtime=0.27 cores=0,2,4,6
/proc/5536/task/5554/stat : 5554 (java) S 5533 5536 955 0 -1 4202560 54 0 0 0 15 12 0 0 20 0 22 0 105199997 10060525568 579633 33554432000 1073741824 1073778376 140736219832144 140087291402696 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5536/tid=6233] ppid=5533 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/5536/task/6233/stat : 6233 (java) S 5533 5536 955 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 105280756 10060525568 579633 33554432000 1073741824 1073778376 140736219832144 140087287141928 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=5536/tid=6234] ppid=5533 vsize=9824732 CPUtime=125.59 cores=0,2,4,6
/proc/5536/task/6234/stat : 6234 (java) R 5533 5536 955 0 -1 4202560 14 0 0 0 12558 1 0 0 20 0 22 0 105281530 10060525568 579633 33554432000 1073741824 1073778376 140736219832144 140087290298128 140087347443331 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=5536/tid=6235] ppid=5533 vsize=9824732 CPUtime=125.61 cores=0,2,4,6
/proc/5536/task/6235/stat : 6235 (java) R 5533 5536 955 0 -1 4202560 38 0 0 0 12560 1 0 0 20 0 22 0 105281530 10060525568 579633 33554432000 1073741824 1073778376 140736219832144 140087288193824 140087347833418 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=5536/tid=6236] ppid=5533 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/5536/task/6236/stat : 6236 (java) S 5533 5536 955 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 105281538 10060525568 579633 33554432000 1073741824 1073778376 140736219832144 140087289246888 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1796.77
Current children cumulated vsize (KiB) 9824732



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+943.001 s]
/proc/loadavg: 4.14 4.08 4.01 5/217 6254
/proc/meminfo: memFree=27666920/32872528 swapFree=13256/481332
[pid=5536] ppid=5533 vsize=9824732 CPUtime=1798.17 cores=0,2,4,6
/proc/5536/stat : 5536 (java) S 5533 5536 955 0 -1 4202496 34470 0 1 0 179260 557 0 0 20 0 22 0 105199991 10060525568 579633 33554432000 1073741824 1073778376 140736219832144 140736219823280 235378081853 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5536/statm: 2456183 579633 2293 9 0 2446860 0
[pid=5536/tid=5538] ppid=5533 vsize=9824732 CPUtime=0.7 cores=0,2,4,6
/proc/5536/task/5538/stat : 5538 (java) S 5533 5536 955 0 -1 4202560 2478 0 1 0 67 3 0 0 20 0 22 0 105199992 10060525568 579633 33554432000 1073741824 1073778376 140736219832144 140087474516856 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5536/tid=5539] ppid=5533 vsize=9824732 CPUtime=1.87 cores=0,2,4,6
/proc/5536/task/5539/stat : 5539 (java) S 5533 5536 955 0 -1 4202560 392 0 0 0 176 11 0 0 20 0 22 0 105199993 10060525568 579633 33554432000 1073741824 1073778376 140736219832144 140087318338600 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5536/tid=5540] ppid=5533 vsize=9824732 CPUtime=1.95 cores=0,2,4,6
/proc/5536/task/5540/stat : 5540 (java) S 5533 5536 955 0 -1 4202560 364 0 0 0 180 15 0 0 20 0 22 0 105199993 10060525568 579633 33554432000 1073741824 1073778376 140736219832144 140087317285800 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5536/tid=5541] ppid=5533 vsize=9824732 CPUtime=1.92 cores=0,2,4,6
/proc/5536/task/5541/stat : 5541 (java) S 5533 5536 955 0 -1 4202560 371 0 0 0 179 13 0 0 20 0 22 0 105199993 10060525568 579633 33554432000 1073741824 1073778376 140736219832144 140087316233000 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5536/tid=5542] ppid=5533 vsize=9824732 CPUtime=1.85 cores=0,2,4,6
/proc/5536/task/5542/stat : 5542 (java) S 5533 5536 955 0 -1 4202560 448 0 0 0 173 12 0 0 20 0 22 0 105199993 10060525568 579633 33554432000 1073741824 1073778376 140736219832144 140087315180200 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5536/tid=5543] ppid=5533 vsize=9824732 CPUtime=1.84 cores=0,2,4,6
/proc/5536/task/5543/stat : 5543 (java) S 5533 5536 955 0 -1 4202560 638 0 0 0 171 13 0 0 20 0 22 0 105199993 10060525568 579633 33554432000 1073741824 1073778376 140736219832144 140087314127400 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5536/tid=5544] ppid=5533 vsize=9824732 CPUtime=1.92 cores=0,2,4,6
/proc/5536/task/5544/stat : 5544 (java) S 5533 5536 955 0 -1 4202560 579 0 0 0 179 13 0 0 20 0 22 0 105199993 10060525568 579633 33554432000 1073741824 1073778376 140736219832144 140087313074600 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=5536/tid=5545] ppid=5533 vsize=9824732 CPUtime=1.91 cores=0,2,4,6
/proc/5536/task/5545/stat : 5545 (java) S 5533 5536 955 0 -1 4202560 376 0 0 0 181 10 0 0 20 0 22 0 105199993 10060525568 579633 33554432000 1073741824 1073778376 140736219832144 140087312021800 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5536/tid=5546] ppid=5533 vsize=9824732 CPUtime=1.88 cores=0,2,4,6
/proc/5536/task/5546/stat : 5546 (java) S 5533 5536 955 0 -1 4202560 364 0 0 0 177 11 0 0 20 0 22 0 105199993 10060525568 579633 33554432000 1073741824 1073778376 140736219832144 140087310969000 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5536/tid=5547] ppid=5533 vsize=9824732 CPUtime=2.01 cores=0,2,4,6
/proc/5536/task/5547/stat : 5547 (java) S 5533 5536 955 0 -1 4202560 2183 0 0 0 163 38 0 0 20 0 22 0 105199994 10060525568 579633 33554432000 1073741824 1073778376 140736219832144 140087298771944 235378096041 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5536/tid=5548] ppid=5533 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/5536/task/5548/stat : 5548 (java) S 5533 5536 955 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 105199995 10060525568 579633 33554432000 1073741824 1073778376 140736219832144 140087297718008 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5536/tid=5549] ppid=5533 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/5536/task/5549/stat : 5549 (java) S 5533 5536 955 0 -1 4202560 52 0 0 0 0 0 0 0 20 0 22 0 105199995 10060525568 579633 33554432000 1073741824 1073778376 140736219832144 140087296665096 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5536/tid=5550] ppid=5533 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/5536/task/5550/stat : 5550 (java) S 5533 5536 955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 105199997 10060525568 579633 33554432000 1073741824 1073778376 140736219832144 140087295613584 235378104096 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=5536/tid=5551] ppid=5533 vsize=9824732 CPUtime=1.42 cores=0,2,4,6
/proc/5536/task/5551/stat : 5551 (java) S 5533 5536 955 0 -1 4202560 7090 0 0 0 140 2 0 0 20 0 22 0 105199997 10060525568 579633 33554432000 1073741824 1073778376 140736219832144 140087294560696 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5536/tid=5552] ppid=5533 vsize=9824732 CPUtime=1.28 cores=0,2,4,6
/proc/5536/task/5552/stat : 5552 (java) S 5533 5536 955 0 -1 4202560 12004 0 0 0 126 2 0 0 20 0 22 0 105199997 10060525568 579633 33554432000 1073741824 1073778376 140736219832144 140087293507896 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5536/tid=5553] ppid=5533 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/5536/task/5553/stat : 5553 (java) S 5533 5536 955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 105199997 10060525568 579633 33554432000 1073741824 1073778376 140736219832144 140087292455288 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5536/tid=5554] ppid=5533 vsize=9824732 CPUtime=0.27 cores=0,2,4,6
/proc/5536/task/5554/stat : 5554 (java) S 5533 5536 955 0 -1 4202560 54 0 0 0 15 12 0 0 20 0 22 0 105199997 10060525568 579633 33554432000 1073741824 1073778376 140736219832144 140087291402696 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5536/tid=6233] ppid=5533 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/5536/task/6233/stat : 6233 (java) S 5533 5536 955 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 105280756 10060525568 579633 33554432000 1073741824 1073778376 140736219832144 140087287141928 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=5536/tid=6234] ppid=5533 vsize=9824732 CPUtime=126.28 cores=0,2,4,6
/proc/5536/task/6234/stat : 6234 (java) R 5533 5536 955 0 -1 4202560 14 0 0 0 12627 1 0 0 20 0 22 0 105281530 10060525568 579633 33554432000 1073741824 1073778376 140736219832144 140087290298128 140087347208240 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=5536/tid=6235] ppid=5533 vsize=9824732 CPUtime=126.31 cores=0,2,4,6
/proc/5536/task/6235/stat : 6235 (java) R 5533 5536 955 0 -1 4202560 38 0 0 0 12630 1 0 0 20 0 22 0 105281530 10060525568 579633 33554432000 1073741824 1073778376 140736219832144 140087288193824 140087347833435 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=5536/tid=6236] ppid=5533 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/5536/task/6236/stat : 6236 (java) S 5533 5536 955 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 105281538 10060525568 579633 33554432000 1073741824 1073778376 140736219832144 140087289246888 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1798.17
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 5536 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

Child status: 143

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 5536 and gives
#  childrusage.ru_utime.tv_sec=1792
#  childrusage.ru_utime.tv_usec=108558
#  childrusage.ru_stime.tv_sec=5
#  childrusage.ru_stime.tv_usec=802117
# CPU time returned by wait4() is 1797.91
# while last known CPU time is 1798.17
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...


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

Real time (s): 943.044
CPU time (s): 1800.15
CPU user time (s): 1794.73
CPU system time (s): 5.42
CPU usage (%): 190.887
Max. virtual memory (cumulated for all children) (KiB): 9824732

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1792.11
system time used= 5.80212
maximum resident set size= 2523984
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 34514
page faults= 1
swaps= 0
block input operations= 0
block output operations= 968
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 37791
involuntary context switches= 40898

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.06108 second user time and 6.93494 second system time

The end

Launcher Data 

Begin job on node104 at 2016-06-06 19:04:11
IDJOB=4081381
IDBENCH=2920
IDSOLVER=2543
FILE ID=node104/4081381-1465232651
RUNJOBID= node104-1465220812-973
PBS_JOBID= 19843225
Free space on /tmp= 71740 MiB

SOLVER NAME= Sat4j PB 2.3.6 Res+CP PB16
BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/market-split/normalized-opt-market-split_8_70_1.opb
COMMAND LINE= java -jar sat4j-pb.jar Both BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4081381-1465232651/watcher-4081381-1465232651 -o /tmp/evaluation-result-4081381-1465232651/solver-4081381-1465232651 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node104-1465220812-973 --watchdog 1960  java -jar sat4j-pb.jar Both HOME/instance-4081381-1465232651.opb

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

MD5SUM BENCH= 0263d0a7c5e3320bd7cce9534c14bf27
RANDOM SEED=1867441513

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

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

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.775
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.775
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.775
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.775
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:        31066968 kB
Buffers:           22448 kB
Cached:            87088 kB
SwapCached:         1724 kB
Active:           569320 kB
Inactive:          52188 kB
Active(anon):     512220 kB
Inactive(anon):     2356 kB
Active(file):      57100 kB
Inactive(file):    49832 kB
Unevictable:      481332 kB
Mlocked:           13256 kB
SwapTotal:      67108856 kB
SwapFree:       67097228 kB
Dirty:               844 kB
Writeback:             0 kB
AnonPages:        996340 kB
Mapped:            15212 kB
Shmem:                 0 kB
Slab:             565936 kB
SReclaimable:       9868 kB
SUnreclaim:       556068 kB
KernelStack:        1576 kB
PageTables:         6680 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1354428 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    933888 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= 71736 MiB
End job on node104 at 2016-06-06 19:19:54