Trace number 4118602

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)178 1800.26 1080.52

General information on the benchmark

NamePB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/
minlplib2-pb-0.1.0/opb/normalized-edgecross10-040.lin.opb
MD5SUM9805365937f00948ba6f8a1a20706058
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark143
Best CPU time to get the best result obtained on this benchmark1800.02
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables637
Total number of constraints1573
Number of constraints which are clauses1026
Number of constraints which are cardinality constraints (but not clauses)1
Number of constraints which are nor clauses,nor cardinality constraints546
Minimum length of a constraint1
Maximum length of a constraint3
Number of terms in the objective function 633
Biggest coefficient in the objective function 338
Number of bits for the biggest coefficient in the objective function 9
Sum of the numbers in the objective function 1808
Number of bits of the sum of numbers in the objective function 11
Biggest number in a constraint 338
Number of bits of the biggest number in a constraint 9
Biggest sum of numbers in a constraint 1808
Number of bits of the biggest sum of numbers11
Number of products (including duplicates)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.05/0.33	c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS
0.05/0.33	c This is free software under the dual EPL/GNU LGPL licenses.
0.05/0.33	c See www.sat4j.org for details.
0.05/0.34	c version PB16.v20160501
0.05/0.34	c java.runtime.name	Java(TM) SE Runtime Environment
0.05/0.34	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.05/0.34	c java.vm.version	19.1-b02
0.05/0.34	c java.vm.vendor	Sun Microsystems Inc.
0.05/0.34	c sun.arch.data.model	64
0.05/0.34	c java.version		1.6.0_24
0.05/0.34	c os.name		Linux
0.05/0.34	c os.version		2.6.32-71.29.1.el6.x86_64
0.05/0.34	c os.arch		amd64
0.05/0.34	c Free memory 		501472288
0.05/0.34	c Max memory 		7480803328
0.05/0.34	c Total memory 		504102912
0.05/0.34	c Number of processors 	8
0.05/0.38	c Pseudo Boolean Optimization by upper bound
0.05/0.38	c ManyCore solver with 2 solvers running in parallel
0.05/0.38	c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<<
0.05/0.38	c --- Begin Solver configuration ---
0.05/0.38	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@16fd0b7
0.05/0.38	c Learn all clauses as in MiniSAT
0.05/0.38	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.05/0.38	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.05/0.38	c Expensive reason simplification
0.05/0.38	c Glucose 2.1 dynamic restart strategy
0.05/0.38	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.05/0.38	c timeout=2147483s
0.05/0.38	c DB Simplification allowed=false
0.05/0.38	c Listener: org.sat4j.pb.tools.ManyCorePB@4413ee
0.05/0.38	c --- End Solver configuration ---
0.05/0.38	c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<<
0.05/0.38	c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP)
0.05/0.38	c --- Begin Solver configuration ---
0.05/0.38	c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@75786e64
0.05/0.38	c Learn all clauses as in MiniSAT
0.05/0.38	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.05/0.38	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function
0.05/0.38	c No reason simplification
0.05/0.38	c Armin Biere (Picosat) restarts strategy
0.05/0.38	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.05/0.38	c timeout=2147483s
0.05/0.38	c DB Simplification allowed=false
0.05/0.38	c Listener: org.sat4j.pb.tools.ManyCorePB@4413ee
0.05/0.38	c --- End Solver configuration ---
0.05/0.38	c solving HOME/instance-4118602-1467234298.opb
0.05/0.38	c reading problem ... 
0.05/0.38	c  objective function found
0.33/0.56	c ... done. Wall clock time 0.177s.
0.33/0.56	c declared #vars     637
0.33/0.56	c #constraints  1574
0.33/0.57	c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<<
0.33/0.57	c constraints type 
0.33/0.57	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 1026
0.33/0.57	c org.sat4j.specs.Constr$1 => 1
0.33/0.57	c org.sat4j.minisat.constraints.cnf.UnitClause => 1
0.33/0.57	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 546
0.33/0.57	c 1574 constraints processed.
0.33/0.57	c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<<
0.33/0.57	c constraints type 
0.33/0.57	c org.sat4j.specs.Constr$1 => 1
0.33/0.57	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 1026
0.33/0.57	c org.sat4j.pb.constraints.pb.MaxWatchPb => 546
0.33/0.57	c org.sat4j.pb.constraints.pb.UnitClausePB => 1
0.33/0.57	c 1574 constraints processed.
0.33/0.57	c objective function length is 633 literals
0.33/0.59	c And the winner is solver0
0.52/1.07	c SATISFIABLE
0.52/1.07	c OPTIMIZING...
0.52/1.07	c Got one! Elapsed wall clock time (in seconds):0.696
0.52/1.08	o 342
0.57/1.11	c And the winner is solver0
0.67/1.59	c Got one! Elapsed wall clock time (in seconds):1.211
0.67/1.59	o 338
0.69/1.60	c And the winner is solver0
1.20/2.10	c Got one! Elapsed wall clock time (in seconds):1.723
1.20/2.10	o 334
1.20/2.11	c And the winner is solver0
1.37/2.61	c Got one! Elapsed wall clock time (in seconds):2.227
1.37/2.61	o 329
1.37/2.61	c And the winner is solver0
1.38/3.11	c Got one! Elapsed wall clock time (in seconds):2.73
1.38/3.11	o 321
1.38/3.16	c And the winner is solver0
1.66/3.61	c Got one! Elapsed wall clock time (in seconds):3.233
1.66/3.61	o 317
1.66/3.61	c And the winner is solver0
1.67/4.11	c Got one! Elapsed wall clock time (in seconds):3.735
1.67/4.11	o 313
1.67/4.12	c And the winner is solver0
1.73/4.62	c Got one! Elapsed wall clock time (in seconds):4.238
1.73/4.62	o 311
1.73/4.62	c And the winner is solver0
1.85/5.12	c Got one! Elapsed wall clock time (in seconds):4.74
1.85/5.12	o 307
1.85/5.16	c And the winner is solver0
2.03/5.62	c Got one! Elapsed wall clock time (in seconds):5.242
2.03/5.62	o 306
2.03/5.63	c And the winner is solver0
2.03/6.12	c Got one! Elapsed wall clock time (in seconds):5.744
2.03/6.12	o 305
2.03/6.14	c And the winner is solver0
2.15/6.62	c Got one! Elapsed wall clock time (in seconds):6.246
2.15/6.62	o 301
2.15/6.63	c And the winner is solver0
2.16/7.13	c Got one! Elapsed wall clock time (in seconds):6.748
2.16/7.13	o 299
2.16/7.18	c And the winner is solver0
2.32/7.63	c Got one! Elapsed wall clock time (in seconds):7.25
2.32/7.63	o 294
2.32/7.64	c And the winner is solver0
2.33/8.13	c Got one! Elapsed wall clock time (in seconds):7.754
2.33/8.13	o 292
2.33/8.13	c And the winner is solver0
2.38/8.63	c Got one! Elapsed wall clock time (in seconds):8.256
2.38/8.63	o 290
2.38/8.65	c And the winner is solver0
2.46/9.14	c Got one! Elapsed wall clock time (in seconds):8.757
2.46/9.14	o 289
2.46/9.14	c And the winner is solver0
2.46/9.64	c Got one! Elapsed wall clock time (in seconds):9.259
2.46/9.64	o 288
2.46/9.64	c And the winner is solver0
2.48/10.14	c Got one! Elapsed wall clock time (in seconds):9.76
2.48/10.14	o 284
2.48/10.15	c And the winner is solver0
2.50/10.65	c Got one! Elapsed wall clock time (in seconds):10.267
2.50/10.65	o 282
2.60/10.70	c And the winner is solver0
2.62/11.15	c Got one! Elapsed wall clock time (in seconds):10.768
2.62/11.15	o 279
3.93/11.72	c cleaning 3490 clauses out of 6980 with flag 10096/6980
3.93/11.75	c And the winner is solver0
4.11/12.15	c Got one! Elapsed wall clock time (in seconds):11.77
4.11/12.15	o 278
4.11/12.19	c And the winner is solver0
4.37/12.65	c Got one! Elapsed wall clock time (in seconds):12.271
4.37/12.65	o 275
4.37/12.66	c And the winner is solver0
4.37/13.15	c Got one! Elapsed wall clock time (in seconds):12.772
4.37/13.15	o 273
4.37/13.18	c And the winner is solver0
4.44/13.65	c Got one! Elapsed wall clock time (in seconds):13.274
4.44/13.65	o 272
4.44/13.67	c And the winner is solver0
4.49/14.15	c Got one! Elapsed wall clock time (in seconds):13.775
4.49/14.15	o 270
4.59/14.29	c And the winner is solver0
4.87/14.65	c Got one! Elapsed wall clock time (in seconds):14.276
4.87/14.65	o 268
4.95/14.74	c And the winner is solver0
5.08/15.16	c Got one! Elapsed wall clock time (in seconds):14.777
5.08/15.16	o 267
6.01/15.62	c cleaning 5317 clauses out of 10634 with flag 8159/14124
6.01/15.63	c And the winner is solver0
6.01/15.66	c Got one! Elapsed wall clock time (in seconds):15.279
6.01/15.66	o 265
7.27/16.24	c cleaning 5236 clauses out of 10471 with flag 10105/19278
8.52/16.81	c And the winner is solver0
8.58/17.16	c Got one! Elapsed wall clock time (in seconds):16.78
8.58/17.16	o 264
8.65/17.28	c cleaning 5605 clauses out of 11213 with flag 2196/25256
8.89/17.38	c And the winner is solver0
9.07/17.66	c Got one! Elapsed wall clock time (in seconds):17.282
9.07/17.66	o 263
9.41/17.82	c And the winner is solver0
9.49/18.16	c Got one! Elapsed wall clock time (in seconds):17.783
9.49/18.16	o 262
9.49/18.19	c And the winner is solver0
9.57/18.66	c Got one! Elapsed wall clock time (in seconds):18.285
9.57/18.66	o 261
9.57/18.67	c And the winner is solver0
9.58/19.16	c Got one! Elapsed wall clock time (in seconds):18.786
9.58/19.16	o 260
10.24/19.50	c cleaning 5642 clauses out of 11287 with flag 6339/30935
11.52/20.19	c cleaning 5818 clauses out of 11645 with flag 18822/36935
12.13/20.40	c And the winner is solver0
12.19/20.67	c Got one! Elapsed wall clock time (in seconds):20.288
12.19/20.67	o 259
12.24/20.73	c And the winner is solver0
12.36/21.17	c Got one! Elapsed wall clock time (in seconds):20.789
12.36/21.17	o 258
12.36/21.19	c And the winner is solver0
12.42/21.67	c Got one! Elapsed wall clock time (in seconds):21.291
12.42/21.67	o 256
12.42/21.69	c And the winner is solver0
12.47/22.17	c Got one! Elapsed wall clock time (in seconds):21.792
12.47/22.17	o 255
12.47/22.18	c And the winner is solver0
12.47/22.67	c Got one! Elapsed wall clock time (in seconds):22.294
12.47/22.67	o 253
12.51/22.73	c And the winner is solver0
12.62/23.17	c Got one! Elapsed wall clock time (in seconds):22.796
12.62/23.17	o 252
12.68/23.25	c And the winner is solver0
12.90/23.68	c Got one! Elapsed wall clock time (in seconds):23.297
12.90/23.68	o 251
12.90/23.68	c And the winner is solver0
12.90/24.18	c Got one! Elapsed wall clock time (in seconds):23.799
12.90/24.18	o 250
12.94/24.28	c And the winner is solver0
13.14/24.68	c Got one! Elapsed wall clock time (in seconds):24.3
13.14/24.68	o 247
13.17/24.79	c And the winner is solver0
13.41/25.18	c Got one! Elapsed wall clock time (in seconds):24.802
13.41/25.18	o 245
13.86/25.47	c And the winner is solver0
14.04/25.68	c Got one! Elapsed wall clock time (in seconds):25.304
14.04/25.68	o 244
14.07/25.74	c And the winner is solver0
14.19/26.18	c Got one! Elapsed wall clock time (in seconds):25.805
14.19/26.18	o 243
14.43/26.32	c cleaning 7868 clauses out of 15738 with flag 2234/46846
14.43/26.35	c And the winner is solver0
14.58/26.68	c Got one! Elapsed wall clock time (in seconds):26.307
14.58/26.68	o 242
15.59/27.27	c cleaning 6542 clauses out of 13084 with flag 10419/52060
16.07/27.48	c And the winner is solver0
16.29/27.69	c Got one! Elapsed wall clock time (in seconds):27.309
16.29/27.69	o 241
16.31/27.73	c And the winner is solver0
16.42/28.19	c Got one! Elapsed wall clock time (in seconds):27.81
16.42/28.19	o 240
17.25/28.62	c cleaning 6290 clauses out of 12593 with flag 8163/58111
17.63/28.86	c And the winner is solver0
17.81/29.19	c Got one! Elapsed wall clock time (in seconds):28.812
17.81/29.19	o 239
18.02/29.37	c And the winner is solver0
18.24/29.69	c Got one! Elapsed wall clock time (in seconds):29.314
18.24/29.69	o 238
18.46/29.81	c And the winner is solver0
18.53/30.19	c Got one! Elapsed wall clock time (in seconds):29.815
18.53/30.19	o 237
18.73/30.32	c cleaning 6508 clauses out of 13022 with flag 2077/64830
19.60/30.74	c And the winner is solver0
19.75/31.19	c Got one! Elapsed wall clock time (in seconds):30.817
19.75/31.19	o 234
20.16/31.41	c And the winner is solver0
20.24/31.70	c Got one! Elapsed wall clock time (in seconds):31.318
20.24/31.70	o 233
20.44/31.81	c cleaning 6448 clauses out of 12912 with flag 2111/71228
20.66/31.93	c And the winner is solver0
20.75/32.20	c Got one! Elapsed wall clock time (in seconds):31.82
20.75/32.20	o 232
20.75/32.22	c And the winner is solver0
20.82/32.70	c Got one! Elapsed wall clock time (in seconds):32.322
20.82/32.70	o 231
20.82/32.77	c And the winner is solver0
21.01/33.20	c Got one! Elapsed wall clock time (in seconds):32.823
21.01/33.20	o 230
21.80/33.66	c cleaning 6305 clauses out of 12611 with flag 8377/77375
22.00/33.77	c And the winner is solver0
22.24/34.20	c Got one! Elapsed wall clock time (in seconds):33.825
22.24/34.20	o 228
22.43/34.35	c And the winner is solver0
22.60/34.70	c Got one! Elapsed wall clock time (in seconds):34.327
22.60/34.70	o 226
22.98/34.92	c And the winner is solver0
23.10/35.21	c Got one! Elapsed wall clock time (in seconds):34.829
23.10/35.21	o 225
23.29/35.33	c cleaning 5974 clauses out of 11965 with flag 2301/83034
23.29/35.35	c And the winner is solver0
23.46/35.71	c Got one! Elapsed wall clock time (in seconds):35.331
23.46/35.71	o 224
23.46/35.74	c And the winner is solver0
23.57/36.21	c Got one! Elapsed wall clock time (in seconds):35.833
23.57/36.21	o 223
23.74/36.35	c And the winner is solver0
24.00/36.71	c Got one! Elapsed wall clock time (in seconds):36.336
24.00/36.71	o 222
24.97/37.26	c cleaning 6327 clauses out of 12669 with flag 10492/89712
25.17/37.39	c And the winner is solver0
25.42/37.72	c Got one! Elapsed wall clock time (in seconds):37.337
25.42/37.72	o 221
26.18/38.14	c cleaning 5906 clauses out of 11812 with flag 8867/95182
27.38/38.79	c cleaning 5950 clauses out of 11907 with flag 21356/101183
27.58/38.85	c And the winner is solver0
27.76/39.22	c Got one! Elapsed wall clock time (in seconds):38.839
27.76/39.22	o 219
28.54/39.62	c And the winner is solver0
28.66/39.72	c Got one! Elapsed wall clock time (in seconds):39.341
28.66/39.72	o 218
28.82/39.83	c cleaning 5821 clauses out of 11647 with flag 2307/106873
29.22/40.07	c And the winner is solver0
29.44/40.22	c Got one! Elapsed wall clock time (in seconds):39.843
29.44/40.22	o 217
29.44/40.25	c And the winner is solver0
29.53/40.72	c Got one! Elapsed wall clock time (in seconds):40.345
29.53/40.72	o 215
29.53/40.73	c And the winner is solver0
29.53/41.22	c Got one! Elapsed wall clock time (in seconds):40.846
29.53/41.22	o 214
29.53/41.25	c And the winner is solver0
29.60/41.73	c Got one! Elapsed wall clock time (in seconds):41.348
29.60/41.73	o 212
29.60/41.74	c And the winner is solver0
29.65/42.23	c Got one! Elapsed wall clock time (in seconds):41.85
29.65/42.23	o 211
30.23/42.58	c cleaning 6027 clauses out of 12063 with flag 6521/113110
31.43/43.20	c cleaning 6010 clauses out of 12036 with flag 19018/119110
33.03/43.92	c cleaning 6508 clauses out of 13026 with flag 33938/126110
34.03/44.47	c And the winner is solver0
34.32/44.73	c Got one! Elapsed wall clock time (in seconds):44.352
34.32/44.73	o 210
35.45/45.34	c cleaning 8348 clauses out of 16711 with flag 14838/136303
36.85/46.02	c cleaning 7182 clauses out of 14364 with flag 29158/142304
38.45/46.82	c cleaning 7091 clauses out of 14182 with flag 45296/149304
40.25/47.78	c cleaning 7542 clauses out of 15090 with flag 65802/157303
42.65/48.98	c cleaning 8275 clauses out of 16549 with flag 90722/166304
45.25/50.27	c cleaning 9135 clauses out of 18274 with flag 115787/176304
48.05/51.69	c cleaning 10067 clauses out of 20139 with flag 142546/187304
51.45/53.34	c cleaning 11036 clauses out of 22071 with flag 171872/199303
55.25/55.20	c cleaning 12018 clauses out of 24035 with flag 203969/212303
59.05/57.11	c cleaning 13006 clauses out of 26017 with flag 243385/226303
63.24/59.28	c cleaning 14003 clauses out of 28011 with flag 286873/241303
67.65/61.47	c cleaning 14999 clauses out of 30009 with flag 333041/257304
72.76/63.95	c cleaning 16002 clauses out of 32009 with flag 378907/274303
77.94/66.51	c cleaning 16998 clauses out of 34007 with flag 429363/292303
83.90/69.49	c cleaning 18005 clauses out of 36009 with flag 476329/311303
90.57/72.71	c cleaning 18999 clauses out of 38005 with flag 528008/331304
97.81/76.40	c cleaning 19998 clauses out of 40006 with flag 582169/352304
105.45/80.10	c cleaning 21003 clauses out of 42007 with flag 639823/374303
112.84/83.85	c cleaning 21997 clauses out of 44004 with flag 696935/397303
120.24/87.59	c cleaning 23001 clauses out of 46007 with flag 753304/421303
128.84/91.90	c cleaning 24001 clauses out of 48006 with flag 815091/446303
137.73/96.25	c cleaning 24996 clauses out of 50007 with flag 877879/472305
145.74/100.27	c And the winner is solver0
148.90/103.36	c Got one! Elapsed wall clock time (in seconds):102.985
148.90/103.36	o 209
150.99/104.50	c cleaning 28136 clauses out of 56271 with flag 12660/503565
153.18/105.54	c cleaning 17065 clauses out of 34134 with flag 28772/509564
155.18/106.56	c cleaning 12030 clauses out of 24069 with flag 46512/516564
157.38/107.63	c cleaning 10018 clauses out of 20040 with flag 66512/524565
159.58/108.70	c cleaning 9506 clauses out of 19023 with flag 90666/533566
161.98/109.99	c cleaning 9755 clauses out of 19515 with flag 120334/543564
164.79/111.35	c cleaning 10376 clauses out of 20760 with flag 148110/554564
167.99/112.90	c cleaning 11190 clauses out of 22384 with flag 178131/566564
171.00/114.48	c cleaning 12090 clauses out of 24195 with flag 210758/579565
174.39/116.12	c cleaning 13049 clauses out of 26106 with flag 240922/593566
177.80/117.89	c cleaning 14027 clauses out of 28055 with flag 276110/608564
182.17/120.13	c cleaning 15014 clauses out of 30029 with flag 310901/624565
186.19/122.15	c cleaning 16006 clauses out of 32015 with flag 346243/641565
187.17/122.67	c And the winner is solver0
192.26/127.70	c Got one! Elapsed wall clock time (in seconds):127.32
192.26/127.70	o 208
193.75/128.46	c cleaning 13086 clauses out of 26182 with flag 13268/651738
195.15/129.12	c cleaning 9540 clauses out of 19096 with flag 28059/657738
196.56/129.86	c cleaning 8272 clauses out of 16557 with flag 45172/664739
198.15/130.67	c cleaning 8136 clauses out of 16284 with flag 63340/672738
199.95/131.59	c cleaning 8569 clauses out of 17149 with flag 85102/681739
201.95/132.59	c cleaning 9285 clauses out of 18579 with flag 108746/691738
204.59/133.81	c cleaning 10142 clauses out of 20297 with flag 133404/702741
207.19/135.16	c cleaning 11072 clauses out of 22152 with flag 159394/714738
210.19/136.64	c cleaning 12039 clauses out of 24081 with flag 187550/727739
213.19/138.17	c cleaning 13021 clauses out of 26041 with flag 218376/741738
216.60/139.88	c cleaning 14011 clauses out of 28022 with flag 250626/756740
220.19/141.68	c cleaning 15003 clauses out of 30009 with flag 283957/772738
224.39/143.76	c cleaning 16003 clauses out of 32008 with flag 319468/789740
228.79/145.94	c cleaning 16998 clauses out of 34003 with flag 356938/807738
232.79/147.93	c And the winner is solver0
233.72/148.85	c Got one! Elapsed wall clock time (in seconds):148.476
233.72/148.85	o 206
235.44/149.76	c cleaning 19465 clauses out of 38931 with flag 14257/829664
237.03/150.57	c cleaning 12732 clauses out of 25466 with flag 28673/835664
238.63/151.37	c cleaning 9862 clauses out of 19734 with flag 45083/842664
240.43/152.27	c cleaning 8929 clauses out of 17872 with flag 64180/850664
242.43/153.23	c cleaning 8961 clauses out of 17943 with flag 84916/859664
244.63/154.31	c cleaning 9485 clauses out of 18982 with flag 108779/869664
247.10/155.54	c cleaning 10245 clauses out of 20498 with flag 135034/880665
249.89/156.91	c cleaning 11120 clauses out of 22252 with flag 163213/892664
251.09/157.54	c And the winner is solver0
251.84/158.21	c Got one! Elapsed wall clock time (in seconds):157.83
251.84/158.21	o 203
253.22/158.94	c cleaning 11261 clauses out of 22527 with flag 12406/904059
254.43/159.60	c cleaning 8628 clauses out of 17266 with flag 27396/910059
256.02/160.34	c cleaning 7810 clauses out of 15638 with flag 44351/917059
257.62/161.15	c cleaning 7911 clauses out of 15827 with flag 63553/925058
259.21/161.99	c cleaning 8458 clauses out of 16916 with flag 83659/934058
261.23/162.96	c cleaning 9226 clauses out of 18459 with flag 105704/944059
263.61/164.10	c cleaning 10111 clauses out of 20232 with flag 129225/955058
264.21/164.46	c And the winner is solver0
265.16/165.31	c Got one! Elapsed wall clock time (in seconds):164.934
265.16/165.31	o 202
265.16/165.38	c And the winner is solver0
265.37/165.81	c Got one! Elapsed wall clock time (in seconds):165.436
265.37/165.81	o 201
265.53/165.96	c cleaning 7856 clauses out of 15722 with flag 2453/960659
266.93/166.60	c cleaning 6926 clauses out of 13866 with flag 18529/966659
268.35/167.32	c cleaning 6964 clauses out of 13940 with flag 35922/973659
270.19/168.20	c cleaning 7488 clauses out of 14978 with flag 55436/981661
272.19/169.26	c cleaning 8242 clauses out of 16489 with flag 78167/990660
274.59/170.40	c cleaning 9122 clauses out of 18246 with flag 103830/1000659
277.01/171.68	c cleaning 10061 clauses out of 20126 with flag 132252/1011661
280.19/173.28	c cleaning 11030 clauses out of 22063 with flag 164214/1023659
283.61/174.97	c cleaning 12012 clauses out of 24033 with flag 195942/1036659
287.39/176.80	c cleaning 13009 clauses out of 26022 with flag 227983/1050660
291.19/178.77	c cleaning 13999 clauses out of 28012 with flag 261852/1065659
295.39/180.88	c cleaning 15003 clauses out of 30015 with flag 298420/1081661
295.99/181.13	c And the winner is solver0
299.93/185.02	c Got one! Elapsed wall clock time (in seconds):184.647
299.93/185.02	o 200
300.87/185.50	c cleaning 10362 clauses out of 20733 with flag 8332/1087382
302.27/186.22	c cleaning 8181 clauses out of 16370 with flag 25028/1093381
303.67/186.98	c cleaning 7593 clauses out of 15191 with flag 42191/1100383
304.87/187.52	c And the winner is solver0
313.40/196.09	c Got one! Elapsed wall clock time (in seconds):195.712
313.40/196.09	o 199
314.94/196.81	c cleaning 9265 clauses out of 18533 with flag 12841/1111318
316.34/197.50	c cleaning 7629 clauses out of 15267 with flag 27997/1117317
317.74/198.27	c cleaning 7316 clauses out of 14638 with flag 44459/1124317
319.55/199.15	c cleaning 7659 clauses out of 15322 with flag 63182/1132317
321.54/200.11	c cleaning 8330 clauses out of 16663 with flag 85106/1141317
323.74/201.24	c cleaning 9165 clauses out of 18333 with flag 109366/1151317
325.94/202.40	c cleaning 10082 clauses out of 20170 with flag 134641/1162319
328.94/203.81	c cleaning 11040 clauses out of 22086 with flag 162832/1174317
332.14/205.43	c cleaning 12024 clauses out of 24047 with flag 193462/1187318
335.54/207.15	c cleaning 13008 clauses out of 26023 with flag 226059/1201318
339.35/209.09	c cleaning 14004 clauses out of 28015 with flag 263586/1216318
343.34/211.02	c cleaning 15002 clauses out of 30012 with flag 298840/1232319
347.54/213.17	c cleaning 16003 clauses out of 32011 with flag 335704/1249320
352.14/215.43	c cleaning 16997 clauses out of 34006 with flag 376893/1267318
355.14/216.95	c And the winner is solver0
442.80/304.59	c Got one! Elapsed wall clock time (in seconds):304.208
442.80/304.59	o 198
444.52/305.44	c cleaning 17283 clauses out of 34574 with flag 12482/1284883
445.92/306.17	c cleaning 11639 clauses out of 23290 with flag 26746/1290882
447.54/306.92	c cleaning 9321 clauses out of 18650 with flag 42451/1297881
449.33/307.89	c cleaning 8662 clauses out of 17329 with flag 60459/1305881
451.33/308.88	c cleaning 8827 clauses out of 17668 with flag 80832/1314882
453.53/309.98	c cleaning 9420 clauses out of 18842 with flag 101743/1324883
456.13/311.23	c cleaning 10211 clauses out of 20423 with flag 125073/1335884
458.98/312.68	c cleaning 11105 clauses out of 22210 with flag 151126/1347882
461.98/314.15	c cleaning 12050 clauses out of 24104 with flag 178660/1360881
464.98/315.63	c cleaning 13024 clauses out of 26056 with flag 208522/1374883
466.58/316.43	c And the winner is solver0
468.92/318.79	c Got one! Elapsed wall clock time (in seconds):318.414
468.92/318.79	o 197
470.42/319.57	c cleaning 13284 clauses out of 26576 with flag 12409/1388427
472.02/320.38	c cleaning 9646 clauses out of 19292 with flag 27011/1394427
473.62/321.16	c cleaning 8314 clauses out of 16644 with flag 43114/1401425
475.42/322.09	c cleaning 8156 clauses out of 16330 with flag 60519/1409425
477.41/323.04	c cleaning 8583 clauses out of 17174 with flag 80961/1418425
479.61/324.17	c cleaning 9292 clauses out of 18591 with flag 103570/1428425
482.21/325.40	c cleaning 10144 clauses out of 20299 with flag 128553/1439425
484.41/326.59	c And the winner is solver0
487.80/329.80	c Got one! Elapsed wall clock time (in seconds):329.422
487.80/329.80	o 196
489.19/330.59	c cleaning 13378 clauses out of 26759 with flag 11526/1456029
490.79/331.35	c cleaning 9687 clauses out of 19381 with flag 24427/1462029
492.39/332.14	c cleaning 8338 clauses out of 16694 with flag 39948/1469029
494.42/333.11	c cleaning 8178 clauses out of 16357 with flag 57140/1477030
496.42/334.13	c cleaning 8582 clauses out of 17180 with flag 76790/1486031
498.81/335.33	c cleaning 9298 clauses out of 18596 with flag 99046/1496029
501.43/336.65	c cleaning 10146 clauses out of 20298 with flag 123379/1507029
504.41/338.17	c cleaning 11073 clauses out of 22154 with flag 151216/1519031
507.41/339.68	c cleaning 12034 clauses out of 24079 with flag 179736/1532029
510.61/341.28	c cleaning 13019 clauses out of 26047 with flag 212743/1546031
514.21/343.02	c cleaning 14016 clauses out of 28031 with flag 248997/1561034
518.01/344.98	c cleaning 15001 clauses out of 30010 with flag 286792/1577029
522.41/347.17	c cleaning 16005 clauses out of 32009 with flag 328474/1594029
527.21/349.53	c cleaning 16999 clauses out of 34004 with flag 372363/1612029
532.23/352.04	c cleaning 18003 clauses out of 36006 with flag 412114/1631030
537.81/354.83	c cleaning 18999 clauses out of 38002 with flag 454670/1651029
543.42/357.65	c cleaning 20001 clauses out of 40004 with flag 498869/1672030
549.41/360.68	c cleaning 20997 clauses out of 42003 with flag 545345/1694030
555.61/363.79	c cleaning 22002 clauses out of 44008 with flag 593438/1717032
562.81/367.36	c cleaning 23000 clauses out of 46004 with flag 644747/1741030
570.61/371.24	c cleaning 23995 clauses out of 48004 with flag 698205/1766030
578.43/375.20	c cleaning 25002 clauses out of 50008 with flag 755925/1792029
586.82/379.31	c cleaning 25998 clauses out of 52007 with flag 814992/1819030
596.03/383.99	c cleaning 27003 clauses out of 54010 with flag 874849/1847031
605.62/388.70	c cleaning 28001 clauses out of 56005 with flag 937624/1876029
615.61/393.74	c cleaning 28998 clauses out of 58004 with flag 1002732/1906029
624.01/397.92	c And the winner is solver0
664.37/438.24	c Got one! Elapsed wall clock time (in seconds):437.859
664.37/438.24	o 195
667.23/439.64	c cleaning 30854 clauses out of 61714 with flag 12033/1938737
669.03/440.56	c cleaning 18418 clauses out of 36858 with flag 25468/1944735
669.23/440.62	c And the winner is solver0
677.95/449.30	c Got one! Elapsed wall clock time (in seconds):448.924
677.95/449.30	o 194
679.35/450.02	c cleaning 12039 clauses out of 24090 with flag 11771/1950385
680.74/450.70	c cleaning 9027 clauses out of 18053 with flag 25243/1956387
682.14/451.47	c cleaning 8006 clauses out of 16024 with flag 41276/1963385
683.75/452.29	c cleaning 8003 clauses out of 16017 with flag 59148/1971384
685.54/453.18	c cleaning 8505 clauses out of 17014 with flag 78613/1980384
687.74/454.20	c cleaning 9255 clauses out of 18509 with flag 100959/1990384
688.53/454.69	c And the winner is solver0
694.33/460.31	c Got one! Elapsed wall clock time (in seconds):459.935
694.33/460.31	o 193
694.92/460.78	c And the winner is solver0
695.08/460.86	c Got one! Elapsed wall clock time (in seconds):460.487
695.08/460.86	o 192
695.21/460.94	c And the winner is solver0
695.33/461.37	c Got one! Elapsed wall clock time (in seconds):460.989
695.33/461.37	o 191
695.59/461.52	c cleaning 8292 clauses out of 16602 with flag 2802/1997732
696.81/462.17	c cleaning 7148 clauses out of 14311 with flag 18056/2003733
698.19/462.88	c cleaning 7074 clauses out of 14163 with flag 34655/2010733
699.99/463.70	c cleaning 7542 clauses out of 15090 with flag 52826/2018734
701.79/464.65	c cleaning 8269 clauses out of 16547 with flag 74099/2027733
703.99/465.75	c cleaning 9137 clauses out of 18277 with flag 97708/2037732
706.39/466.96	c cleaning 10063 clauses out of 20142 with flag 123931/2048734
707.80/467.67	c And the winner is solver0
712.56/472.38	c Got one! Elapsed wall clock time (in seconds):471.999
712.56/472.38	o 189
714.08/473.13	c cleaning 11273 clauses out of 22548 with flag 13686/2061203
715.47/473.89	c cleaning 8627 clauses out of 17275 with flag 28250/2067203
717.07/474.69	c cleaning 7814 clauses out of 15648 with flag 45939/2074203
718.87/475.56	c cleaning 7912 clauses out of 15836 with flag 65503/2082205
720.87/476.50	c cleaning 8456 clauses out of 16922 with flag 84958/2091203
723.07/477.60	c cleaning 9233 clauses out of 18466 with flag 107092/2101203
725.47/478.87	c cleaning 10115 clauses out of 20234 with flag 132596/2112204
728.47/480.36	c cleaning 11057 clauses out of 22118 with flag 160332/2124203
732.07/482.13	c cleaning 12027 clauses out of 24061 with flag 189388/2137203
735.88/484.06	c cleaning 13017 clauses out of 26035 with flag 220136/2151204
740.07/486.18	c cleaning 14005 clauses out of 28017 with flag 254241/2166203
743.27/487.71	c And the winner is solver0
744.58/489.03	c Got one! Elapsed wall clock time (in seconds):488.656
744.58/489.03	o 188
746.10/489.87	c cleaning 15865 clauses out of 31736 with flag 11034/2183927
747.71/490.62	c cleaning 10931 clauses out of 21870 with flag 25323/2189926
749.10/491.34	c cleaning 8958 clauses out of 17939 with flag 40400/2196926
750.90/492.21	c cleaning 8488 clauses out of 16983 with flag 58021/2204928
752.90/493.25	c cleaning 8743 clauses out of 17494 with flag 78435/2213927
755.10/494.38	c cleaning 9370 clauses out of 18750 with flag 101595/2223926
757.70/495.68	c cleaning 10191 clauses out of 20381 with flag 129471/2234927
760.50/497.04	c cleaning 11094 clauses out of 22189 with flag 155941/2246926
763.50/498.58	c cleaning 12047 clauses out of 24096 with flag 184245/2259927
766.91/500.24	c cleaning 13025 clauses out of 26049 with flag 214867/2273927
770.51/502.07	c cleaning 14013 clauses out of 28025 with flag 247304/2288928
774.71/504.18	c cleaning 15003 clauses out of 30010 with flag 282362/2304926
779.51/506.50	c cleaning 15999 clauses out of 32007 with flag 319779/2321926
784.31/508.95	c cleaning 17002 clauses out of 34009 with flag 360265/2339927
789.31/511.45	c cleaning 17999 clauses out of 36006 with flag 401380/2358926
795.11/514.38	c cleaning 19002 clauses out of 38008 with flag 445526/2378927
801.11/517.34	c cleaning 20003 clauses out of 40006 with flag 491323/2399927
807.32/520.44	c cleaning 20999 clauses out of 42002 with flag 542110/2421926
813.72/523.67	c cleaning 22002 clauses out of 44004 with flag 592515/2444927
820.90/527.25	c cleaning 22999 clauses out of 46001 with flag 645066/2468926
828.91/531.20	c cleaning 24000 clauses out of 48002 with flag 700683/2493926
836.31/534.90	c cleaning 24993 clauses out of 50002 with flag 757093/2519926
845.11/539.31	c cleaning 26003 clauses out of 52012 with flag 814947/2546929
854.51/544.03	c cleaning 27003 clauses out of 54006 with flag 875545/2574926
863.91/548.76	c cleaning 27999 clauses out of 56003 with flag 936602/2603926
874.11/553.80	c cleaning 29000 clauses out of 58005 with flag 1002636/2633927
884.32/558.98	c cleaning 29999 clauses out of 60005 with flag 1068397/2664927
895.32/564.45	c cleaning 30996 clauses out of 62005 with flag 1137726/2696926
906.70/570.15	c cleaning 32003 clauses out of 64012 with flag 1207113/2729929
919.10/576.32	c cleaning 33001 clauses out of 66006 with flag 1281953/2763926
932.59/583.05	c cleaning 34003 clauses out of 68005 with flag 1359358/2798926
945.79/589.64	c cleaning 34993 clauses out of 70002 with flag 1438121/2834926
958.98/596.22	c cleaning 36001 clauses out of 72009 with flag 1517078/2871926
973.37/603.42	c cleaning 37003 clauses out of 74008 with flag 1601779/2909926
982.77/608.13	c And the winner is solver0
1000.65/625.93	c Got one! Elapsed wall clock time (in seconds):625.553
1000.65/625.93	o 187
1003.21/627.26	c cleaning 35924 clauses out of 71862 with flag 10630/2944783
1005.41/628.35	c cleaning 20960 clauses out of 41937 with flag 23655/2950782
1007.01/629.18	c cleaning 13975 clauses out of 27978 with flag 38518/2957783
1009.01/630.13	c cleaning 10995 clauses out of 22002 with flag 56884/2965782
1011.01/631.10	c cleaning 10000 clauses out of 20007 with flag 76629/2974782
1013.01/632.19	c cleaning 10000 clauses out of 20009 with flag 98217/2984784
1015.41/633.36	c cleaning 10501 clauses out of 21008 with flag 122267/2995783
1018.01/634.66	c cleaning 11246 clauses out of 22507 with flag 148100/3007783
1021.01/636.13	c cleaning 12129 clauses out of 24262 with flag 175556/3020784
1024.21/637.73	c cleaning 13064 clauses out of 26133 with flag 205074/3034784
1027.61/639.50	c cleaning 14033 clauses out of 28067 with flag 237363/3049782
1031.42/641.37	c cleaning 15018 clauses out of 30035 with flag 270958/3065783
1036.20/643.70	c cleaning 16001 clauses out of 32017 with flag 307509/3082783
1041.00/646.14	c cleaning 17005 clauses out of 34015 with flag 346054/3100782
1045.80/648.54	c cleaning 18005 clauses out of 36010 with flag 385499/3119782
1051.60/651.40	c cleaning 19000 clauses out of 38005 with flag 427906/3139782
1057.82/654.58	c cleaning 19998 clauses out of 40005 with flag 472757/3160782
1065.20/658.26	c cleaning 21003 clauses out of 42012 with flag 521649/3182787
1072.26/661.74	c cleaning 22002 clauses out of 44004 with flag 569828/3205782
1079.46/665.38	c cleaning 23000 clauses out of 46002 with flag 620353/3229782
1087.26/669.28	c cleaning 23999 clauses out of 48002 with flag 672301/3254782
1095.65/673.46	c cleaning 24995 clauses out of 50003 with flag 726977/3280782
1103.65/677.43	c cleaning 25996 clauses out of 52008 with flag 784787/3307782
1112.05/681.66	c cleaning 26997 clauses out of 54012 with flag 843492/3335782
1122.05/686.63	c cleaning 28006 clauses out of 56016 with flag 905385/3364783
1131.68/691.45	c cleaning 29001 clauses out of 58010 with flag 971197/3394783
1142.68/696.91	c cleaning 29997 clauses out of 60009 with flag 1039742/3425783
1153.08/702.15	c cleaning 31000 clauses out of 62012 with flag 1110626/3457783
1155.08/703.15	c And the winner is solver0
1173.76/721.78	c Got one! Elapsed wall clock time (in seconds):721.398
1173.76/721.78	o 184
1175.94/722.88	c cleaning 21587 clauses out of 43181 with flag 11473/3469952
1177.72/723.75	c cleaning 13793 clauses out of 27595 with flag 24445/3475953
1178.52/724.17	c And the winner is solver0
1179.80/725.38	c Got one! Elapsed wall clock time (in seconds):725.002
1179.80/725.38	o 183
1180.52/725.76	c cleaning 9860 clauses out of 19730 with flag 4719/3481881
1182.14/726.54	c cleaning 7926 clauses out of 15868 with flag 17942/3487879
1183.94/727.41	c cleaning 7470 clauses out of 14943 with flag 33226/3494880
1185.76/728.32	c cleaning 7729 clauses out of 15472 with flag 50724/3502879
1187.76/729.38	c cleaning 8362 clauses out of 16742 with flag 70194/3511878
1190.34/730.60	c cleaning 9190 clauses out of 18380 with flag 91791/3521878
1193.14/732.00	c cleaning 10094 clauses out of 20192 with flag 116248/3532880
1195.94/733.40	c cleaning 11044 clauses out of 22096 with flag 142707/3544878
1198.96/734.92	c cleaning 12024 clauses out of 24054 with flag 170025/3557880
1202.14/736.53	c cleaning 13013 clauses out of 26028 with flag 199676/3571878
1205.74/738.31	c cleaning 14004 clauses out of 28015 with flag 231794/3586878
1209.54/740.21	c cleaning 15000 clauses out of 30012 with flag 266320/3602879
1213.74/742.38	c cleaning 16001 clauses out of 32013 with flag 303811/3619880
1218.14/744.52	c cleaning 17006 clauses out of 34014 with flag 342811/3637882
1222.95/746.93	c cleaning 17998 clauses out of 36005 with flag 383655/3656879
1228.99/749.96	c cleaning 19004 clauses out of 38007 with flag 428885/3676879
1235.59/753.27	c cleaning 20002 clauses out of 40004 with flag 476124/3697880
1242.39/756.65	c cleaning 20997 clauses out of 42000 with flag 525499/3719878
1248.59/759.73	c cleaning 21998 clauses out of 44003 with flag 574981/3742878
1251.61/761.25	c And the winner is solver0
1286.97/796.59	c Got one! Elapsed wall clock time (in seconds):796.214
1286.97/796.59	o 181
1288.85/797.57	c cleaning 19548 clauses out of 39109 with flag 11182/3759982
1290.44/798.35	c cleaning 12776 clauses out of 25562 with flag 23798/3765983
1292.28/799.20	c cleaning 9887 clauses out of 19785 with flag 39566/3772982
1294.08/800.11	c cleaning 8941 clauses out of 17897 with flag 57392/3780981
1296.08/801.14	c cleaning 8975 clauses out of 17957 with flag 76323/3789982
1298.48/802.32	c cleaning 9484 clauses out of 18981 with flag 97658/3799981
1301.07/803.63	c cleaning 10248 clauses out of 20497 with flag 121775/3810981
1303.88/805.02	c cleaning 11124 clauses out of 22249 with flag 147362/3822981
1306.88/806.59	c cleaning 12063 clauses out of 24125 with flag 176237/3835981
1310.68/808.42	c cleaning 13028 clauses out of 26063 with flag 206791/3849982
1314.68/810.41	c cleaning 14013 clauses out of 28035 with flag 239674/3864982
1318.68/812.48	c cleaning 15003 clauses out of 30021 with flag 276264/3880981
1323.08/814.64	c cleaning 16004 clauses out of 32018 with flag 312725/3897981
1328.28/817.26	c cleaning 17001 clauses out of 34014 with flag 350736/3915981
1333.47/819.86	c cleaning 18007 clauses out of 36014 with flag 391547/3934982
1338.87/822.58	c cleaning 19001 clauses out of 38007 with flag 434241/3954982
1345.07/825.68	c cleaning 20003 clauses out of 40005 with flag 479206/3975981
1351.47/828.84	c cleaning 21000 clauses out of 42002 with flag 526492/3997981
1358.07/832.11	c cleaning 22000 clauses out of 44004 with flag 576465/4020983
1365.67/835.96	c cleaning 22999 clauses out of 46002 with flag 628658/4044981
1373.27/839.76	c cleaning 24002 clauses out of 48004 with flag 682885/4069982
1382.07/844.14	c cleaning 25000 clauses out of 50003 with flag 740744/4095983
1391.71/848.93	c cleaning 25998 clauses out of 52002 with flag 802237/4122982
1402.51/854.31	c cleaning 27001 clauses out of 54003 with flag 867891/4150981
1413.50/859.88	c cleaning 27996 clauses out of 56003 with flag 931318/4179982
1424.70/865.47	c cleaning 28996 clauses out of 58006 with flag 995676/4209981
1437.30/871.72	c cleaning 29997 clauses out of 60011 with flag 1063249/4240982
1450.29/878.22	c cleaning 31001 clauses out of 62013 with flag 1131442/4272981
1463.15/884.63	c cleaning 32002 clauses out of 64014 with flag 1202984/4305983
1476.35/891.21	c cleaning 33002 clauses out of 66010 with flag 1277987/4339981
1479.35/892.71	c And the winner is solver0
1488.16/901.49	c Got one! Elapsed wall clock time (in seconds):901.114
1488.16/901.49	o 180
1490.44/902.62	c cleaning 24289 clauses out of 48597 with flag 11555/4355570
1492.24/903.54	c cleaning 15150 clauses out of 30309 with flag 24892/4361571
1494.10/904.49	c cleaning 11078 clauses out of 22158 with flag 40007/4368570
1496.11/905.43	c cleaning 9533 clauses out of 19080 with flag 57917/4376570
1498.11/906.47	c cleaning 9262 clauses out of 18547 with flag 77244/4385570
1500.51/907.65	c cleaning 9638 clauses out of 19286 with flag 98775/4395571
1502.90/908.88	c cleaning 10324 clauses out of 20647 with flag 121905/4406570
1505.90/910.32	c cleaning 11158 clauses out of 22324 with flag 147224/4418571
1509.11/911.97	c cleaning 12083 clauses out of 24166 with flag 174954/4431571
1512.50/913.69	c cleaning 13038 clauses out of 26082 with flag 205044/4445570
1516.29/915.59	c cleaning 14018 clauses out of 28044 with flag 236635/4460570
1520.89/917.81	c cleaning 15010 clauses out of 30026 with flag 270733/4476570
1525.56/920.15	c cleaning 16002 clauses out of 32017 with flag 306819/4493571
1530.57/922.64	c cleaning 17006 clauses out of 34015 with flag 346723/4511571
1535.97/925.36	c cleaning 18003 clauses out of 36009 with flag 387857/4530571
1541.77/928.29	c cleaning 19003 clauses out of 38005 with flag 431772/4550570
1547.57/931.17	c cleaning 19998 clauses out of 40003 with flag 477338/4571571
1553.97/934.38	c cleaning 21001 clauses out of 42005 with flag 525671/4593571
1561.15/938.08	c cleaning 22000 clauses out of 44003 with flag 576206/4616570
1568.15/941.55	c cleaning 23000 clauses out of 46004 with flag 627144/4640571
1575.94/945.43	c cleaning 24000 clauses out of 48003 with flag 681109/4665570
1583.75/949.34	c cleaning 24998 clauses out of 50003 with flag 736735/4691570
1592.14/953.51	c cleaning 26003 clauses out of 52007 with flag 793596/4718572
1601.14/958.02	c cleaning 27001 clauses out of 54002 with flag 852992/4746570
1610.35/962.61	c cleaning 27995 clauses out of 56001 with flag 915602/4775570
1620.14/967.51	c cleaning 28999 clauses out of 58006 with flag 980565/4805570
1630.15/972.51	c cleaning 30001 clauses out of 60008 with flag 1048150/4836571
1640.33/977.60	c cleaning 31002 clauses out of 62006 with flag 1115675/4868570
1650.96/982.96	c cleaning 31996 clauses out of 64004 with flag 1185511/4901570
1662.76/988.83	c cleaning 32999 clauses out of 66008 with flag 1258044/4935570
1675.76/995.35	c cleaning 33999 clauses out of 68010 with flag 1331230/4970571
1689.16/1002.02	c cleaning 35006 clauses out of 70011 with flag 1408840/5006571
1703.76/1009.33	c cleaning 36000 clauses out of 72006 with flag 1488015/5043572
1718.36/1016.61	c cleaning 36999 clauses out of 74005 with flag 1572900/5081571
1727.76/1021.34	c And the winner is solver0
1753.92/1047.49	c Got one! Elapsed wall clock time (in seconds):1047.108
1753.92/1047.49	o 179
1757.11/1049.03	c cleaning 34818 clauses out of 69645 with flag 11248/5114210
1759.11/1050.01	c cleaning 20412 clauses out of 40827 with flag 24553/5120210
1761.13/1051.01	c cleaning 13705 clauses out of 27414 with flag 40052/5127209
1762.94/1051.96	c cleaning 10845 clauses out of 21710 with flag 57880/5135210
1763.54/1052.25	c And the winner is solver0
1783.70/1072.37	c Got one! Elapsed wall clock time (in seconds):1071.991
1783.70/1072.37	o 178
1784.24/1072.69	c cleaning 8152 clauses out of 16316 with flag 4601/5140661
1785.63/1073.38	c cleaning 7077 clauses out of 14163 with flag 17719/5146660
1787.23/1074.19	c cleaning 7040 clauses out of 14086 with flag 33185/5153660
1789.03/1075.05	c cleaning 7523 clauses out of 15048 with flag 50180/5161662
1791.03/1076.09	c cleaning 8254 clauses out of 16523 with flag 68825/5170660
1793.43/1077.24	c cleaning 9131 clauses out of 18269 with flag 90558/5180660
1796.03/1078.57	c cleaning 10067 clauses out of 20139 with flag 113430/5191661
1799.03/1080.07	c cleaning 11033 clauses out of 22071 with flag 137977/5203660
1800.03/1080.50	c >>>>>>>>>> Solver number 0 (97 answers) <<<<<<<<<<<<<<<<<<
1800.03/1080.50	c starts		: 3265
1800.03/1080.50	c conflicts		: 5207020
1800.03/1080.50	c decisions		: 5400502
1800.03/1080.50	c propagations		: 169756311
1800.03/1080.50	c inspects		: 7400044211
1800.03/1080.50	c shortcuts		: 0
1800.03/1080.50	c learnt literals	: 0
1800.03/1080.50	c learnt binary clauses	: 0
1800.03/1080.50	c learnt ternary clauses	: 1404
1800.03/1080.50	c learnt constraints	: 5207020
1800.03/1080.50	c ignored constraints	: 0
1800.03/1080.50	c root simplifications	: 0
1800.03/1080.50	c removed literals (reason simplification)	: 336217489
1800.03/1080.50	c reason swapping (by a shorter reason)	: 0
1800.03/1080.50	c Calls to reduceDB	: 341
1800.03/1080.50	c Number of update (reduction) of LBD	: 23214
1800.03/1080.50	c Imported unit clauses	: 0
1800.03/1080.50	c number of reductions to clauses (during analyze)	: 0
1800.03/1080.50	c number of learned constraints concerned by reduction	: 0
1800.03/1080.50	c number of learning phase by resolution	: 0
1800.03/1080.50	c number of learning phase by cutting planes	: 0
1800.03/1080.50	c speed (assignments/second)	: 157192.8311621929
1800.03/1080.50	c non guided choices	0
1800.03/1080.51	c learnt constraints type 
1800.03/1080.51	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 14398
1800.03/1080.51	c >>>>>>>>>> Solver number 1 (0 answers) <<<<<<<<<<<<<<<<<<
1800.03/1080.51	c starts		: 104
1800.03/1080.51	c conflicts		: 1540
1800.03/1080.51	c decisions		: 6438
1800.03/1080.51	c propagations		: 103438
1800.03/1080.51	c inspects		: 34747248
1800.03/1080.51	c shortcuts		: 0
1800.03/1080.51	c learnt literals	: 0
1800.03/1080.51	c learnt binary clauses	: 0
1800.03/1080.51	c learnt ternary clauses	: 0
1800.03/1080.51	c learnt constraints	: 1474
1800.03/1080.51	c ignored constraints	: 0
1800.03/1080.51	c root simplifications	: 0
1800.03/1080.51	c removed literals (reason simplification)	: 0
1800.03/1080.51	c reason swapping (by a shorter reason)	: 0
1800.03/1080.51	c Calls to reduceDB	: 0
1800.03/1080.51	c Number of update (reduction) of LBD	: 0
1800.03/1080.51	c Imported unit clauses	: 0
1800.03/1080.51	c number of reductions to clauses (during analyze)	: 0
1800.03/1080.51	c number of learned constraints concerned by reduction	: 0
1800.03/1080.51	c number of learning phase by resolution	: 0
1800.03/1080.51	c number of learning phase by cutting planes	: 0
1800.03/1080.51	c speed (assignments/second)	: 12710.493978864586
1800.03/1080.51	c non guided choices	0
1800.03/1080.51	c learnt constraints type 
1800.03/1080.51	c org.sat4j.pb.constraints.pb.MaxWatchPb => 1474
1800.03/1080.51	s SATISFIABLE
1800.03/1080.51	c Found 97 solution(s)
1800.03/1080.51	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 -x199 x200 x201 x202 -x203 -x204 x205 -x206 x207 x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 x261 x262 x263 x264 -x265 -x266 x267 -x268 x269 -x270 x271 -x272 x273 -x274 -x275 -x276 x277 x278 -x279 x280 x281 x282 x283 x284 x285 -x286 -x287 x288 x289 x290 -x291 x292 x293 x294 x295 -x296 -x297 -x298 -x299 -x300 -x301 x302 x303 x304 -x305 -x306 x307 x308 x309 x310 x311 x312 x313 -x314 -x315 -x316 -x317 x318 x319 x320 x321 x322 x323 -x324 x325 x326 x327 -x328 x329 x330 x331 x332 -x333 x334 x335 x336 x337 x338 x339 -x340 x341 -x342 -x343 -x344 -x345 x346 x347 x348 x349 x350 x351 x352 -x353 -x354 x355 x356 -x357 -x358 -x359 x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 x383 x384 -x385 x386 x387 -x388 x389 -x390 x391 x392 -x393 x394 x395 -x396 x397 x398 -x399 x400 -x401 -x402 -x403 -x404 -x405 x406 x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 x428 -x429 -x430 -x431 -x432 x433 x434 x435 x436 -x437 x438 x439 x440 x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 x451 x452 -x453 x454 x455 -x456 x457 x458 x459 x460 -x461 -x462 x463 x464 -x465 x466 x467 -x468 -x469 -x470 -x471 -x472 -x473 x474 -x475 x476 x477 x478 x479 x480 x481 x482 -x483 x484 x485 x486 -x487 x488 x489 -x490 -x491 x492 x493 x494 x495 -x496 -x497 -x498 -x499 -x500 -x501 x502 x503 -x504 -x505 x506 -x507 x508 x509 -x510 x511 -x512 x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 x531 x532 -x533 -x534 -x535 x536 x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 x578 x579 x580 x581 x582 x583 x584 x585 -x586 x587 x588 x589 -x590 x591 x592 -x593 x594 -x595 -x596 -x597 -x598 x599 x600 x601 x602 x603 x604 -x605 -x606 -x607 -x608 -x609 -x610 x611 x612 x613 x614 -x615 -x616 x617 -x618 x619 x620 x621 x622 -x623 x624 x625 x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 x636 -x637 
1800.03/1080.51	c objective function=178
1800.03/1080.51	c Total wall clock time (in seconds): 1080.136

Verifier Data 

OK	178

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

pid=6357
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: 2.18 2.25 2.20 3/175 6363
/proc/meminfo: memFree=26988356/32872528 swapFree=1427512/1541976
[pid=6363] ppid=6357 vsize=272 CPUtime=0 cores=0,2,4,6
/proc/6363/stat : 6363 (java) D 6357 6363 3791 0 -1 4202496 158 0 1 0 0 0 0 0 20 0 1 0 4390820 278528 33 33554432000 1073741824 1073778376 140734105158080 140734105155256 266426477863 0 0 4096 0 18446744072100588836 0 0 17 2 0 0 0 0 0
/proc/6363/statm: 68 33 25 9 0 25 0

[startup+0.100193 s]
/proc/loadavg: 2.18 2.25 2.20 3/175 6363
/proc/meminfo: memFree=26988356/32872528 swapFree=1427512/1541976
[pid=6363] ppid=6357 vsize=23236 CPUtime=0 cores=0,2,4,6
/proc/6363/stat : 6363 (java) R 6357 6363 3791 0 -1 4202496 1143 0 13 0 0 0 0 0 20 0 1 0 4390820 23793664 805 33554432000 1073741824 1073778376 140735669512064 140735669502056 140213786788624 0 0 4096 0 0 0 0 17 4 0 0 6 0 0
/proc/6363/statm: 5809 805 599 9 0 128 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 23236

[startup+0.200205 s]
/proc/loadavg: 2.18 2.25 2.20 3/175 6363
/proc/meminfo: memFree=26988356/32872528 swapFree=1427512/1541976
[pid=6363] ppid=6357 vsize=9092432 CPUtime=0.02 cores=0,2,4,6
/proc/6363/stat : 6363 (java) S 6357 6363 3791 0 -1 4202496 2944 0 21 0 1 1 0 0 20 0 11 0 4390820 9310650368 3585 33554432000 1073741824 1073778376 140735669512064 140735669503200 266439000125 0 0 0 16784584 18446744073709551615 0 0 17 4 0 0 8 0 0
/proc/6363/statm: 2273108 3585 1617 9 0 2263809 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 9092432

[startup+0.300212 s]
/proc/loadavg: 2.18 2.25 2.20 3/175 6363
/proc/meminfo: memFree=26988356/32872528 swapFree=1427512/1541976
[pid=6363] ppid=6357 vsize=9558476 CPUtime=0.05 cores=0,2,4,6
/proc/6363/stat : 6363 (java) S 6357 6363 3791 0 -1 4202496 3280 0 21 0 4 1 0 0 20 0 18 0 4390820 9787879424 4430 33554432000 1073741824 1073778376 140735669512064 140735669503200 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 8 0 0
/proc/6363/statm: 2389619 4430 1772 9 0 2380296 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 9558476

[startup+0.700284 s]
/proc/loadavg: 2.18 2.25 2.20 3/175 6363
/proc/meminfo: memFree=26988356/32872528 swapFree=1427512/1541976
[pid=6363] ppid=6357 vsize=9824732 CPUtime=0.52 cores=0,2,4,6
/proc/6363/stat : 6363 (java) S 6357 6363 3791 0 -1 4202496 5928 0 23 0 49 3 0 0 20 0 19 0 4390820 10060525568 10077 33554432000 1073741824 1073778376 140735669512064 140735669503200 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 8 0 0
/proc/6363/statm: 2456183 10077 2241 9 0 2446860 0
Current children cumulated CPU time (s) 0.52
Current children cumulated vsize (KiB) 9824732

[startup+1.5008 s]
/proc/loadavg: 2.41 2.30 2.22 7/217 6410
/proc/meminfo: memFree=26825864/32872528 swapFree=1427512/1541976
[pid=6363] ppid=6357 vsize=9824732 CPUtime=0.67 cores=0,2,4,6
/proc/6363/stat : 6363 (java) S 6357 6363 3791 0 -1 4202496 6340 0 23 0 62 5 0 0 20 0 19 0 4390820 10060525568 11139 33554432000 1073741824 1073778376 140735669512064 140735669503200 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 8 0 0
/proc/6363/statm: 2456183 11139 2250 9 0 2446860 0
[pid=6363/tid=6367] ppid=6357 vsize=9824732 CPUtime=0.29 cores=0,2,4,6
/proc/6363/task/6367/stat : 6367 (java) S 6357 6363 3791 0 -1 4202560 2405 0 5 0 27 2 0 0 20 0 19 0 4390832 10060525568 11139 33554432000 1073741824 1073778376 140735669512064 140213781144440 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 12 0 0
[pid=6363/tid=6369] ppid=6357 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/6363/task/6369/stat : 6369 (java) S 6357 6363 3791 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4390837 10060525568 11139 33554432000 1073741824 1073778376 140735669512064 140213624978088 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6363/tid=6372] ppid=6357 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/6363/task/6372/stat : 6372 (java) S 6357 6363 3791 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 4390837 10060525568 11139 33554432000 1073741824 1073778376 140735669512064 140213623925544 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6363/tid=6373] ppid=6357 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/6363/task/6373/stat : 6373 (java) S 6357 6363 3791 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4390837 10060525568 11139 33554432000 1073741824 1073778376 140735669512064 140213622873000 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6363/tid=6375] ppid=6357 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/6363/task/6375/stat : 6375 (java) S 6357 6363 3791 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4390837 10060525568 11139 33554432000 1073741824 1073778376 140735669512064 140213621820456 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=6363/tid=6376] ppid=6357 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/6363/task/6376/stat : 6376 (java) S 6357 6363 3791 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4390837 10060525568 11139 33554432000 1073741824 1073778376 140735669512064 140213620766888 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6363/tid=6378] ppid=6357 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/6363/task/6378/stat : 6378 (java) S 6357 6363 3791 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4390837 10060525568 11139 33554432000 1073741824 1073778376 140735669512064 140213619714344 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=6363/tid=6379] ppid=6357 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/6363/task/6379/stat : 6379 (java) S 6357 6363 3791 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4390837 10060525568 11139 33554432000 1073741824 1073778376 140735669512064 140213618661800 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6363/tid=6381] ppid=6357 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/6363/task/6381/stat : 6381 (java) S 6357 6363 3791 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 4390837 10060525568 11139 33554432000 1073741824 1073778376 140735669512064 140213617609256 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6363/tid=6384] ppid=6357 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/6363/task/6384/stat : 6384 (java) S 6357 6363 3791 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 4390840 10060525568 11139 33554432000 1073741824 1073778376 140735669512064 140213605411432 266439014313 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6363/tid=6387] ppid=6357 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/6363/task/6387/stat : 6387 (java) S 6357 6363 3791 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 4390842 10060525568 11139 33554432000 1073741824 1073778376 140735669512064 140213604357752 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6363/tid=6389] ppid=6357 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/6363/task/6389/stat : 6389 (java) S 6357 6363 3791 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 4390842 10060525568 11139 33554432000 1073741824 1073778376 140735669512064 140213603305096 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6363/tid=6391] ppid=6357 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/6363/task/6391/stat : 6391 (java) S 6357 6363 3791 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4390848 10060525568 11139 33554432000 1073741824 1073778376 140735669512064 140213602253840 266439022368 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6363/tid=6394] ppid=6357 vsize=9824732 CPUtime=0.14 cores=0,2,4,6
/proc/6363/task/6394/stat : 6394 (java) S 6357 6363 3791 0 -1 4202560 964 0 1 0 14 0 0 0 20 0 19 0 4390848 10060525568 11139 33554432000 1073741824 1073778376 140735669512064 140213601200184 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6363/tid=6396] ppid=6357 vsize=9824732 CPUtime=0.12 cores=0,2,4,6
/proc/6363/task/6396/stat : 6396 (java) S 6357 6363 3791 0 -1 4202560 1650 0 1 0 12 0 0 0 20 0 19 0 4390848 10060525568 11139 33554432000 1073741824 1073778376 140735669512064 140213600147640 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6363/tid=6397] ppid=6357 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/6363/task/6397/stat : 6397 (java) S 6357 6363 3791 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4390848 10060525568 11139 33554432000 1073741824 1073778376 140735669512064 140213599095288 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6363/tid=6399] ppid=6357 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/6363/task/6399/stat : 6399 (java) S 6357 6363 3791 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4390848 10060525568 11139 33554432000 1073741824 1073778376 140735669512064 140213598042952 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6363/tid=6402] ppid=6357 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/6363/task/6402/stat : 6402 (java) S 6357 6363 3791 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 4390879 10060525568 11139 33554432000 1073741824 1073778376 140735669512064 140213594834472 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.67
Current children cumulated vsize (KiB) 9824732

[startup+3.10082 s]
/proc/loadavg: 2.41 2.30 2.22 3/213 6421
/proc/meminfo: memFree=26771412/32872528 swapFree=1427512/1541976
[pid=6363] ppid=6357 vsize=9824732 CPUtime=1.38 cores=0,2,4,6
/proc/6363/stat : 6363 (java) S 6357 6363 3791 0 -1 4202496 15567 0 23 0 130 8 0 0 20 0 19 0 4390820 10060525568 20639 33554432000 1073741824 1073778376 140735669512064 140735669503200 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 8 0 0
/proc/6363/statm: 2456183 20639 2256 9 0 2446860 0
[pid=6363/tid=6367] ppid=6357 vsize=9824732 CPUtime=0.3 cores=0,2,4,6
/proc/6363/task/6367/stat : 6367 (java) S 6357 6363 3791 0 -1 4202560 2405 0 5 0 28 2 0 0 20 0 19 0 4390832 10060525568 20639 33554432000 1073741824 1073778376 140735669512064 140213781144440 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 12 0 0
[pid=6363/tid=6369] ppid=6357 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/6363/task/6369/stat : 6369 (java) S 6357 6363 3791 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4390837 10060525568 20639 33554432000 1073741824 1073778376 140735669512064 140213624978088 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6363/tid=6372] ppid=6357 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/6363/task/6372/stat : 6372 (java) S 6357 6363 3791 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 4390837 10060525568 20639 33554432000 1073741824 1073778376 140735669512064 140213623925544 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6363/tid=6373] ppid=6357 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/6363/task/6373/stat : 6373 (java) S 6357 6363 3791 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4390837 10060525568 20639 33554432000 1073741824 1073778376 140735669512064 140213622873000 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6363/tid=6375] ppid=6357 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/6363/task/6375/stat : 6375 (java) S 6357 6363 3791 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4390837 10060525568 20639 33554432000 1073741824 1073778376 140735669512064 140213621820456 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=6363/tid=6376] ppid=6357 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/6363/task/6376/stat : 6376 (java) S 6357 6363 3791 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4390837 10060525568 20639 33554432000 1073741824 1073778376 140735669512064 140213620766888 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6363/tid=6378] ppid=6357 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/6363/task/6378/stat : 6378 (java) S 6357 6363 3791 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4390837 10060525568 20639 33554432000 1073741824 1073778376 140735669512064 140213619714344 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=6363/tid=6379] ppid=6357 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/6363/task/6379/stat : 6379 (java) S 6357 6363 3791 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4390837 10060525568 20639 33554432000 1073741824 1073778376 140735669512064 140213618661800 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6363/tid=6381] ppid=6357 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/6363/task/6381/stat : 6381 (java) S 6357 6363 3791 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 4390837 10060525568 20639 33554432000 1073741824 1073778376 140735669512064 140213617609256 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6363/tid=6384] ppid=6357 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/6363/task/6384/stat : 6384 (java) S 6357 6363 3791 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 4390840 10060525568 20639 33554432000 1073741824 1073778376 140735669512064 140213605411432 266439014313 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6363/tid=6387] ppid=6357 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/6363/task/6387/stat : 6387 (java) S 6357 6363 3791 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 4390842 10060525568 20639 33554432000 1073741824 1073778376 140735669512064 140213604357752 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6363/tid=6389] ppid=6357 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/6363/task/6389/stat : 6389 (java) S 6357 6363 3791 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 4390842 10060525568 20639 33554432000 1073741824 1073778376 140735669512064 140213603305096 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6363/tid=6391] ppid=6357 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/6363/task/6391/stat : 6391 (java) S 6357 6363 3791 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4390848 10060525568 20639 33554432000 1073741824 1073778376 140735669512064 140213602253840 266439022368 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6363/tid=6394] ppid=6357 vsize=9824732 CPUtime=0.39 cores=0,2,4,6
/proc/6363/task/6394/stat : 6394 (java) S 6357 6363 3791 0 -1 4202560 5231 0 1 0 37 2 0 0 20 0 19 0 4390848 10060525568 20639 33554432000 1073741824 1073778376 140735669512064 140213601200184 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=6363/tid=6396] ppid=6357 vsize=9824732 CPUtime=0.45 cores=0,2,4,6
/proc/6363/task/6396/stat : 6396 (java) S 6357 6363 3791 0 -1 4202560 6584 0 1 0 44 1 0 0 20 0 19 0 4390848 10060525568 20639 33554432000 1073741824 1073778376 140735669512064 140213600147640 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6363/tid=6397] ppid=6357 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/6363/task/6397/stat : 6397 (java) S 6357 6363 3791 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4390848 10060525568 20639 33554432000 1073741824 1073778376 140735669512064 140213599095288 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6363/tid=6399] ppid=6357 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/6363/task/6399/stat : 6399 (java) S 6357 6363 3791 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4390848 10060525568 20639 33554432000 1073741824 1073778376 140735669512064 140213598042952 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6363/tid=6402] ppid=6357 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/6363/task/6402/stat : 6402 (java) S 6357 6363 3791 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 4390879 10060525568 20639 33554432000 1073741824 1073778376 140735669512064 140213594834472 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1.38
Current children cumulated vsize (KiB) 9824732
heavy processes:
  %CPU=24 pid=1781 uid=0 cmd=

[startup+6.30092 s]
/proc/loadavg: 2.41 2.30 2.22 2/213 6454
/proc/meminfo: memFree=26657244/32872528 swapFree=1427512/1541976
[pid=6363] ppid=6357 vsize=9824732 CPUtime=2.15 cores=0,2,4,6
/proc/6363/stat : 6363 (java) S 6357 6363 3791 0 -1 4202496 17021 0 23 0 201 14 0 0 20 0 19 0 4390820 10060525568 31317 33554432000 1073741824 1073778376 140735669512064 140735669503200 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 8 0 0
/proc/6363/statm: 2456183 31317 2264 9 0 2446860 0
[pid=6363/tid=6367] ppid=6357 vsize=9824732 CPUtime=0.32 cores=0,2,4,6
/proc/6363/task/6367/stat : 6367 (java) S 6357 6363 3791 0 -1 4202560 2408 0 5 0 30 2 0 0 20 0 19 0 4390832 10060525568 31317 33554432000 1073741824 1073778376 140735669512064 140213781144440 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 12 0 0
[pid=6363/tid=6369] ppid=6357 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/6363/task/6369/stat : 6369 (java) S 6357 6363 3791 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4390837 10060525568 31317 33554432000 1073741824 1073778376 140735669512064 140213624978088 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6363/tid=6372] ppid=6357 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/6363/task/6372/stat : 6372 (java) S 6357 6363 3791 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 4390837 10060525568 31317 33554432000 1073741824 1073778376 140735669512064 140213623925544 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6363/tid=6373] ppid=6357 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/6363/task/6373/stat : 6373 (java) S 6357 6363 3791 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4390837 10060525568 31317 33554432000 1073741824 1073778376 140735669512064 140213622873000 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6363/tid=6375] ppid=6357 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/6363/task/6375/stat : 6375 (java) S 6357 6363 3791 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4390837 10060525568 31317 33554432000 1073741824 1073778376 140735669512064 140213621820456 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=6363/tid=6376] ppid=6357 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/6363/task/6376/stat : 6376 (java) S 6357 6363 3791 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4390837 10060525568 31317 33554432000 1073741824 1073778376 140735669512064 140213620766888 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6363/tid=6378] ppid=6357 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/6363/task/6378/stat : 6378 (java) S 6357 6363 3791 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4390837 10060525568 31317 33554432000 1073741824 1073778376 140735669512064 140213619714344 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=6363/tid=6379] ppid=6357 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/6363/task/6379/stat : 6379 (java) S 6357 6363 3791 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4390837 10060525568 31317 33554432000 1073741824 1073778376 140735669512064 140213618661800 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6363/tid=6381] ppid=6357 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/6363/task/6381/stat : 6381 (java) S 6357 6363 3791 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 4390837 10060525568 31317 33554432000 1073741824 1073778376 140735669512064 140213617609256 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6363/tid=6384] ppid=6357 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/6363/task/6384/stat : 6384 (java) S 6357 6363 3791 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 4390840 10060525568 31317 33554432000 1073741824 1073778376 140735669512064 140213605411432 266439014313 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6363/tid=6387] ppid=6357 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/6363/task/6387/stat : 6387 (java) S 6357 6363 3791 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 4390842 10060525568 31317 33554432000 1073741824 1073778376 140735669512064 140213604357752 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6363/tid=6389] ppid=6357 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/6363/task/6389/stat : 6389 (java) S 6357 6363 3791 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 4390842 10060525568 31317 33554432000 1073741824 1073778376 140735669512064 140213603305096 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6363/tid=6391] ppid=6357 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/6363/task/6391/stat : 6391 (java) S 6357 6363 3791 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4390848 10060525568 31317 33554432000 1073741824 1073778376 140735669512064 140213602253840 266439022368 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6363/tid=6394] ppid=6357 vsize=9824732 CPUtime=0.57 cores=0,2,4,6
/proc/6363/task/6394/stat : 6394 (java) S 6357 6363 3791 0 -1 4202560 5244 0 1 0 55 2 0 0 20 0 19 0 4390848 10060525568 31317 33554432000 1073741824 1073778376 140735669512064 140213601200184 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=6363/tid=6396] ppid=6357 vsize=9824732 CPUtime=0.8 cores=0,2,4,6
/proc/6363/task/6396/stat : 6396 (java) S 6357 6363 3791 0 -1 4202560 7934 0 1 0 78 2 0 0 20 0 19 0 4390848 10060525568 31317 33554432000 1073741824 1073778376 140735669512064 140213600147640 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=6363/tid=6397] ppid=6357 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/6363/task/6397/stat : 6397 (java) S 6357 6363 3791 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4390848 10060525568 31317 33554432000 1073741824 1073778376 140735669512064 140213599095288 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6363/tid=6399] ppid=6357 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/6363/task/6399/stat : 6399 (java) S 6357 6363 3791 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 4390848 10060525568 31317 33554432000 1073741824 1073778376 140735669512064 140213598042952 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6363/tid=6402] ppid=6357 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/6363/task/6402/stat : 6402 (java) S 6357 6363 3791 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 4390879 10060525568 31317 33554432000 1073741824 1073778376 140735669512064 140213594834472 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 2.15

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

[pid=6363/tid=6841] ppid=6357 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/6363/task/6841/stat : 6841 (java) S 6357 6363 3791 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 4480970 10060525568 263348 33554432000 1073741824 1073778376 140735669512064 140213593781416 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1689.76
Current children cumulated vsize (KiB) 9824732

[startup+1062.3 s]
/proc/loadavg: 3.79 4.00 3.43 4/217 6954
/proc/meminfo: memFree=22696452/32872528 swapFree=1427512/1541976
[pid=6363] ppid=6357 vsize=9824732 CPUtime=1773.69 cores=0,2,4,6
/proc/6363/stat : 6363 (java) S 6357 6363 3791 0 -1 4202496 24605 0 23 0 177059 310 0 0 20 0 20 0 4390820 10060525568 249693 33554432000 1073741824 1073778376 140735669512064 140735669503200 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 8 0 0
/proc/6363/statm: 2456183 249693 2295 9 0 2446860 0
[pid=6363/tid=6367] ppid=6357 vsize=9824732 CPUtime=0.53 cores=0,2,4,6
/proc/6363/task/6367/stat : 6367 (java) S 6357 6363 3791 0 -1 4202560 2418 0 5 0 48 5 0 0 20 0 20 0 4390832 10060525568 249693 33554432000 1073741824 1073778376 140735669512064 140213781144440 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 12 0 0
[pid=6363/tid=6369] ppid=6357 vsize=9824732 CPUtime=0.71 cores=0,2,4,6
/proc/6363/task/6369/stat : 6369 (java) S 6357 6363 3791 0 -1 4202560 510 0 0 0 57 14 0 0 20 0 20 0 4390837 10060525568 249693 33554432000 1073741824 1073778376 140735669512064 140213624978088 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=6363/tid=6372] ppid=6357 vsize=9824732 CPUtime=0.74 cores=0,2,4,6
/proc/6363/task/6372/stat : 6372 (java) S 6357 6363 3791 0 -1 4202560 401 0 0 0 60 14 0 0 20 0 20 0 4390837 10060525568 249693 33554432000 1073741824 1073778376 140735669512064 140213623925544 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6363/tid=6373] ppid=6357 vsize=9824732 CPUtime=0.62 cores=0,2,4,6
/proc/6363/task/6373/stat : 6373 (java) S 6357 6363 3791 0 -1 4202560 319 0 0 0 51 11 0 0 20 0 20 0 4390837 10060525568 249693 33554432000 1073741824 1073778376 140735669512064 140213622873000 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6363/tid=6375] ppid=6357 vsize=9824732 CPUtime=0.66 cores=0,2,4,6
/proc/6363/task/6375/stat : 6375 (java) S 6357 6363 3791 0 -1 4202560 454 0 0 0 54 12 0 0 20 0 20 0 4390837 10060525568 249693 33554432000 1073741824 1073778376 140735669512064 140213621820456 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6363/tid=6376] ppid=6357 vsize=9824732 CPUtime=0.69 cores=0,2,4,6
/proc/6363/task/6376/stat : 6376 (java) S 6357 6363 3791 0 -1 4202560 309 0 0 0 57 12 0 0 20 0 20 0 4390837 10060525568 249693 33554432000 1073741824 1073778376 140735669512064 140213620766888 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6363/tid=6378] ppid=6357 vsize=9824732 CPUtime=0.6 cores=0,2,4,6
/proc/6363/task/6378/stat : 6378 (java) S 6357 6363 3791 0 -1 4202560 306 0 0 0 50 10 0 0 20 0 20 0 4390837 10060525568 249693 33554432000 1073741824 1073778376 140735669512064 140213619714344 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6363/tid=6379] ppid=6357 vsize=9824732 CPUtime=0.77 cores=0,2,4,6
/proc/6363/task/6379/stat : 6379 (java) S 6357 6363 3791 0 -1 4202560 508 0 0 0 62 15 0 0 20 0 20 0 4390837 10060525568 249693 33554432000 1073741824 1073778376 140735669512064 140213618661800 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6363/tid=6381] ppid=6357 vsize=9824732 CPUtime=0.64 cores=0,2,4,6
/proc/6363/task/6381/stat : 6381 (java) S 6357 6363 3791 0 -1 4202560 292 0 0 0 51 13 0 0 20 0 20 0 4390837 10060525568 249693 33554432000 1073741824 1073778376 140735669512064 140213617609256 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=6363/tid=6384] ppid=6357 vsize=9824732 CPUtime=1.06 cores=0,2,4,6
/proc/6363/task/6384/stat : 6384 (java) S 6357 6363 3791 0 -1 4202560 1004 0 0 0 94 12 0 0 20 0 20 0 4390840 10060525568 249693 33554432000 1073741824 1073778376 140735669512064 140213605411432 266439014313 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6363/tid=6387] ppid=6357 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/6363/task/6387/stat : 6387 (java) S 6357 6363 3791 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 20 0 4390842 10060525568 249693 33554432000 1073741824 1073778376 140735669512064 140213604357752 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6363/tid=6389] ppid=6357 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/6363/task/6389/stat : 6389 (java) S 6357 6363 3791 0 -1 4202560 33 0 0 0 0 0 0 0 20 0 20 0 4390842 10060525568 249693 33554432000 1073741824 1073778376 140735669512064 140213603305096 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=6363/tid=6391] ppid=6357 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/6363/task/6391/stat : 6391 (java) S 6357 6363 3791 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 4390848 10060525568 249693 33554432000 1073741824 1073778376 140735669512064 140213602253840 266439022368 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6363/tid=6394] ppid=6357 vsize=9824732 CPUtime=1.07 cores=0,2,4,6
/proc/6363/task/6394/stat : 6394 (java) S 6357 6363 3791 0 -1 4202560 7389 0 1 0 105 2 0 0 20 0 20 0 4390848 10060525568 249693 33554432000 1073741824 1073778376 140735669512064 140213601200184 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6363/tid=6396] ppid=6357 vsize=9824732 CPUtime=1.21 cores=0,2,4,6
/proc/6363/task/6396/stat : 6396 (java) S 6357 6363 3791 0 -1 4202560 7947 0 1 0 119 2 0 0 20 0 20 0 4390848 10060525568 249693 33554432000 1073741824 1073778376 140735669512064 140213600147640 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=6363/tid=6397] ppid=6357 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/6363/task/6397/stat : 6397 (java) S 6357 6363 3791 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 4390848 10060525568 249693 33554432000 1073741824 1073778376 140735669512064 140213599095288 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6363/tid=6399] ppid=6357 vsize=9824732 CPUtime=0.21 cores=0,2,4,6
/proc/6363/task/6399/stat : 6399 (java) S 6357 6363 3791 0 -1 4202560 62 0 0 0 10 11 0 0 20 0 20 0 4390848 10060525568 249693 33554432000 1073741824 1073778376 140735669512064 140213598042952 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6363/tid=6402] ppid=6357 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/6363/task/6402/stat : 6402 (java) S 6357 6363 3791 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 4390879 10060525568 249693 33554432000 1073741824 1073778376 140735669512064 140213594834472 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6363/tid=6953] ppid=6357 vsize=9824732 CPUtime=14.78 cores=0,2,4,6
/proc/6363/task/6953/stat : 6953 (java) R 6357 6363 3791 0 -1 4202560 2 0 0 0 1478 0 0 0 20 0 20 0 4495570 10060525568 249693 33554432000 1073741824 1073778376 140735669512064 140213593778672 140213654567626 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1773.69
Current children cumulated vsize (KiB) 9824732



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1080.5 s]
/proc/loadavg: 3.76 3.98 3.44 6/219 6957
/proc/meminfo: memFree=22678564/32872528 swapFree=1427512/1541976
[pid=6363] ppid=6357 vsize=9824732 CPUtime=1800.03 cores=0,2,4,6
/proc/6363/stat : 6363 (java) S 6357 6363 3791 0 -1 4202496 24616 0 23 0 179691 312 0 0 20 0 22 0 4390820 10060525568 247487 33554432000 1073741824 1073778376 140735669512064 140735669503200 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 8 0 0
/proc/6363/statm: 2456183 247487 2295 9 0 2446860 0
[pid=6363/tid=6367] ppid=6357 vsize=9824732 CPUtime=0.54 cores=0,2,4,6
/proc/6363/task/6367/stat : 6367 (java) S 6357 6363 3791 0 -1 4202560 2418 0 5 0 48 6 0 0 20 0 22 0 4390832 10060525568 247487 33554432000 1073741824 1073778376 140735669512064 140213781144440 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 12 0 0
[pid=6363/tid=6369] ppid=6357 vsize=9824732 CPUtime=0.71 cores=0,2,4,6
/proc/6363/task/6369/stat : 6369 (java) S 6357 6363 3791 0 -1 4202560 510 0 0 0 57 14 0 0 20 0 22 0 4390837 10060525568 247487 33554432000 1073741824 1073778376 140735669512064 140213624978088 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=6363/tid=6372] ppid=6357 vsize=9824732 CPUtime=0.75 cores=0,2,4,6
/proc/6363/task/6372/stat : 6372 (java) S 6357 6363 3791 0 -1 4202560 401 0 0 0 61 14 0 0 20 0 22 0 4390837 10060525568 247487 33554432000 1073741824 1073778376 140735669512064 140213623925544 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6363/tid=6373] ppid=6357 vsize=9824732 CPUtime=0.62 cores=0,2,4,6
/proc/6363/task/6373/stat : 6373 (java) S 6357 6363 3791 0 -1 4202560 319 0 0 0 51 11 0 0 20 0 22 0 4390837 10060525568 247487 33554432000 1073741824 1073778376 140735669512064 140213622873000 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6363/tid=6375] ppid=6357 vsize=9824732 CPUtime=0.66 cores=0,2,4,6
/proc/6363/task/6375/stat : 6375 (java) S 6357 6363 3791 0 -1 4202560 454 0 0 0 54 12 0 0 20 0 22 0 4390837 10060525568 247487 33554432000 1073741824 1073778376 140735669512064 140213621820456 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6363/tid=6376] ppid=6357 vsize=9824732 CPUtime=0.69 cores=0,2,4,6
/proc/6363/task/6376/stat : 6376 (java) S 6357 6363 3791 0 -1 4202560 309 0 0 0 57 12 0 0 20 0 22 0 4390837 10060525568 247487 33554432000 1073741824 1073778376 140735669512064 140213620766888 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6363/tid=6378] ppid=6357 vsize=9824732 CPUtime=0.6 cores=0,2,4,6
/proc/6363/task/6378/stat : 6378 (java) S 6357 6363 3791 0 -1 4202560 306 0 0 0 50 10 0 0 20 0 22 0 4390837 10060525568 247487 33554432000 1073741824 1073778376 140735669512064 140213619714344 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6363/tid=6379] ppid=6357 vsize=9824732 CPUtime=0.77 cores=0,2,4,6
/proc/6363/task/6379/stat : 6379 (java) S 6357 6363 3791 0 -1 4202560 508 0 0 0 62 15 0 0 20 0 22 0 4390837 10060525568 247487 33554432000 1073741824 1073778376 140735669512064 140213618661800 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6363/tid=6381] ppid=6357 vsize=9824732 CPUtime=0.64 cores=0,2,4,6
/proc/6363/task/6381/stat : 6381 (java) S 6357 6363 3791 0 -1 4202560 292 0 0 0 51 13 0 0 20 0 22 0 4390837 10060525568 247487 33554432000 1073741824 1073778376 140735669512064 140213617609256 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=6363/tid=6384] ppid=6357 vsize=9824732 CPUtime=1.06 cores=0,2,4,6
/proc/6363/task/6384/stat : 6384 (java) S 6357 6363 3791 0 -1 4202560 1004 0 0 0 94 12 0 0 20 0 22 0 4390840 10060525568 247487 33554432000 1073741824 1073778376 140735669512064 140213605411432 266439014313 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6363/tid=6387] ppid=6357 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/6363/task/6387/stat : 6387 (java) S 6357 6363 3791 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 4390842 10060525568 247487 33554432000 1073741824 1073778376 140735669512064 140213604357752 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6363/tid=6389] ppid=6357 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/6363/task/6389/stat : 6389 (java) S 6357 6363 3791 0 -1 4202560 33 0 0 0 0 0 0 0 20 0 22 0 4390842 10060525568 247487 33554432000 1073741824 1073778376 140735669512064 140213603305096 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=6363/tid=6391] ppid=6357 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/6363/task/6391/stat : 6391 (java) S 6357 6363 3791 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 4390848 10060525568 247487 33554432000 1073741824 1073778376 140735669512064 140213602253840 266439022368 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6363/tid=6394] ppid=6357 vsize=9824732 CPUtime=1.07 cores=0,2,4,6
/proc/6363/task/6394/stat : 6394 (java) S 6357 6363 3791 0 -1 4202560 7389 0 1 0 105 2 0 0 20 0 22 0 4390848 10060525568 247487 33554432000 1073741824 1073778376 140735669512064 140213601200184 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6363/tid=6396] ppid=6357 vsize=9824732 CPUtime=1.21 cores=0,2,4,6
/proc/6363/task/6396/stat : 6396 (java) S 6357 6363 3791 0 -1 4202560 7947 0 1 0 119 2 0 0 20 0 22 0 4390848 10060525568 247487 33554432000 1073741824 1073778376 140735669512064 140213600147640 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=6363/tid=6397] ppid=6357 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/6363/task/6397/stat : 6397 (java) S 6357 6363 3791 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 4390848 10060525568 247487 33554432000 1073741824 1073778376 140735669512064 140213599095288 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6363/tid=6399] ppid=6357 vsize=9824732 CPUtime=0.21 cores=0,2,4,6
/proc/6363/task/6399/stat : 6399 (java) S 6357 6363 3791 0 -1 4202560 64 0 0 0 10 11 0 0 20 0 22 0 4390848 10060525568 247487 33554432000 1073741824 1073778376 140735669512064 140213598042952 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6363/tid=6402] ppid=6357 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/6363/task/6402/stat : 6402 (java) S 6357 6363 3791 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 4390879 10060525568 247487 33554432000 1073741824 1073778376 140735669512064 140213594834472 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6363/tid=6955] ppid=6357 vsize=9824732 CPUtime=8.1 cores=0,2,4,6
/proc/6363/task/6955/stat : 6955 (java) R 6357 6363 3791 0 -1 4202560 4 0 0 0 810 0 0 0 20 0 22 0 4498058 10060525568 247487 33554432000 1073741824 1073778376 140735669512064 140213593772528 140213654185891 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=6363/tid=6956] ppid=6357 vsize=9824732 CPUtime=8.1 cores=0,2,4,6
/proc/6363/task/6956/stat : 6956 (java) R 6357 6363 3791 0 -1 4202560 3 0 0 0 810 0 0 0 20 0 22 0 4498058 10060525568 247487 33554432000 1073741824 1073778376 140735669512064 140213595884704 140213654652092 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=6363/tid=6957] ppid=6357 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/6363/task/6957/stat : 6957 (java) S 6357 6363 3791 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 4498058 10060525568 247487 33554432000 1073741824 1073778376 140735669512064 140213596939176 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1800.03
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 6363 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+1080.5 s]
/proc/loadavg: 3.76 3.98 3.44 6/219 6957
/proc/meminfo: memFree=22678564/32872528 swapFree=1427512/1541976
[pid=6363] ppid=6357 vsize=9824732 CPUtime=1800.03 cores=0,2,4,6
/proc/6363/stat : 6363 (java) S 6357 6363 3791 0 -1 4202496 24616 0 23 0 179691 312 0 0 20 0 22 0 4390820 10060525568 247487 33554432000 1073741824 1073778376 140735669512064 140735669503200 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 8 0 0
/proc/6363/statm: 2456183 247487 2295 9 0 2446860 0
[pid=6363/tid=6367] ppid=6357 vsize=9824732 CPUtime=0.54 cores=0,2,4,6
/proc/6363/task/6367/stat : 6367 (java) S 6357 6363 3791 0 -1 4202560 2418 0 5 0 48 6 0 0 20 0 22 0 4390832 10060525568 247487 33554432000 1073741824 1073778376 140735669512064 140213781144440 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 12 0 0
[pid=6363/tid=6369] ppid=6357 vsize=9824732 CPUtime=0.71 cores=0,2,4,6
/proc/6363/task/6369/stat : 6369 (java) S 6357 6363 3791 0 -1 4202560 510 0 0 0 57 14 0 0 20 0 22 0 4390837 10060525568 247487 33554432000 1073741824 1073778376 140735669512064 140213624978088 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=6363/tid=6372] ppid=6357 vsize=9824732 CPUtime=0.75 cores=0,2,4,6
/proc/6363/task/6372/stat : 6372 (java) S 6357 6363 3791 0 -1 4202560 401 0 0 0 61 14 0 0 20 0 22 0 4390837 10060525568 247487 33554432000 1073741824 1073778376 140735669512064 140213623925544 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6363/tid=6373] ppid=6357 vsize=9824732 CPUtime=0.62 cores=0,2,4,6
/proc/6363/task/6373/stat : 6373 (java) S 6357 6363 3791 0 -1 4202560 319 0 0 0 51 11 0 0 20 0 22 0 4390837 10060525568 247487 33554432000 1073741824 1073778376 140735669512064 140213622873000 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6363/tid=6375] ppid=6357 vsize=9824732 CPUtime=0.66 cores=0,2,4,6
/proc/6363/task/6375/stat : 6375 (java) S 6357 6363 3791 0 -1 4202560 454 0 0 0 54 12 0 0 20 0 22 0 4390837 10060525568 247487 33554432000 1073741824 1073778376 140735669512064 140213621820456 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6363/tid=6376] ppid=6357 vsize=9824732 CPUtime=0.69 cores=0,2,4,6
/proc/6363/task/6376/stat : 6376 (java) S 6357 6363 3791 0 -1 4202560 309 0 0 0 57 12 0 0 20 0 22 0 4390837 10060525568 247487 33554432000 1073741824 1073778376 140735669512064 140213620766888 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6363/tid=6378] ppid=6357 vsize=9824732 CPUtime=0.6 cores=0,2,4,6
/proc/6363/task/6378/stat : 6378 (java) S 6357 6363 3791 0 -1 4202560 306 0 0 0 50 10 0 0 20 0 22 0 4390837 10060525568 247487 33554432000 1073741824 1073778376 140735669512064 140213619714344 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6363/tid=6379] ppid=6357 vsize=9824732 CPUtime=0.77 cores=0,2,4,6
/proc/6363/task/6379/stat : 6379 (java) S 6357 6363 3791 0 -1 4202560 508 0 0 0 62 15 0 0 20 0 22 0 4390837 10060525568 247487 33554432000 1073741824 1073778376 140735669512064 140213618661800 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6363/tid=6381] ppid=6357 vsize=9824732 CPUtime=0.64 cores=0,2,4,6
/proc/6363/task/6381/stat : 6381 (java) S 6357 6363 3791 0 -1 4202560 292 0 0 0 51 13 0 0 20 0 22 0 4390837 10060525568 247487 33554432000 1073741824 1073778376 140735669512064 140213617609256 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=6363/tid=6384] ppid=6357 vsize=9824732 CPUtime=1.06 cores=0,2,4,6
/proc/6363/task/6384/stat : 6384 (java) S 6357 6363 3791 0 -1 4202560 1004 0 0 0 94 12 0 0 20 0 22 0 4390840 10060525568 247487 33554432000 1073741824 1073778376 140735669512064 140213605411432 266439014313 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6363/tid=6387] ppid=6357 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/6363/task/6387/stat : 6387 (java) S 6357 6363 3791 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 4390842 10060525568 247487 33554432000 1073741824 1073778376 140735669512064 140213604357752 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6363/tid=6389] ppid=6357 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/6363/task/6389/stat : 6389 (java) S 6357 6363 3791 0 -1 4202560 33 0 0 0 0 0 0 0 20 0 22 0 4390842 10060525568 247487 33554432000 1073741824 1073778376 140735669512064 140213603305096 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=6363/tid=6391] ppid=6357 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/6363/task/6391/stat : 6391 (java) S 6357 6363 3791 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 4390848 10060525568 247487 33554432000 1073741824 1073778376 140735669512064 140213602253840 266439022368 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6363/tid=6394] ppid=6357 vsize=9824732 CPUtime=1.07 cores=0,2,4,6
/proc/6363/task/6394/stat : 6394 (java) S 6357 6363 3791 0 -1 4202560 7389 0 1 0 105 2 0 0 20 0 22 0 4390848 10060525568 247487 33554432000 1073741824 1073778376 140735669512064 140213601200184 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6363/tid=6396] ppid=6357 vsize=9824732 CPUtime=1.21 cores=0,2,4,6
/proc/6363/task/6396/stat : 6396 (java) S 6357 6363 3791 0 -1 4202560 7947 0 1 0 119 2 0 0 20 0 22 0 4390848 10060525568 247487 33554432000 1073741824 1073778376 140735669512064 140213600147640 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=6363/tid=6397] ppid=6357 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/6363/task/6397/stat : 6397 (java) S 6357 6363 3791 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 4390848 10060525568 247487 33554432000 1073741824 1073778376 140735669512064 140213599095288 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6363/tid=6399] ppid=6357 vsize=9824732 CPUtime=0.21 cores=0,2,4,6
/proc/6363/task/6399/stat : 6399 (java) S 6357 6363 3791 0 -1 4202560 64 0 0 0 10 11 0 0 20 0 22 0 4390848 10060525568 247487 33554432000 1073741824 1073778376 140735669512064 140213598042952 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6363/tid=6402] ppid=6357 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/6363/task/6402/stat : 6402 (java) S 6357 6363 3791 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 4390879 10060525568 247487 33554432000 1073741824 1073778376 140735669512064 140213594834472 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6363/tid=6955] ppid=6357 vsize=9824732 CPUtime=8.1 cores=0,2,4,6
/proc/6363/task/6955/stat : 6955 (java) R 6357 6363 3791 0 -1 4202560 4 0 0 0 810 0 0 0 20 0 22 0 4498058 10060525568 247487 33554432000 1073741824 1073778376 140735669512064 140213593772528 140213654185891 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=6363/tid=6956] ppid=6357 vsize=9824732 CPUtime=8.1 cores=0,2,4,6
/proc/6363/task/6956/stat : 6956 (java) R 6357 6363 3791 0 -1 4202560 3 0 0 0 810 0 0 0 20 0 22 0 4498058 10060525568 247487 33554432000 1073741824 1073778376 140735669512064 140213595884704 140213654652092 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=6363/tid=6957] ppid=6357 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/6363/task/6957/stat : 6957 (java) S 6357 6363 3791 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 4498058 10060525568 247487 33554432000 1073741824 1073778376 140735669512064 140213596939176 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 9824732

Child status: 143
Real time (s): 1080.52
CPU time (s): 1800.26
CPU user time (s): 1796.93
CPU system time (s): 3.33649
CPU usage (%): 166.61
Max. virtual memory (cumulated for all children) (KiB): 9824732

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.93
system time used= 3.33649
maximum resident set size= 1764688
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 24661
page faults= 23
swaps= 0
block input operations= 8568
block output operations= 968
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 34044
involuntary context switches= 12991

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.96494 second user time and 7.85181 second system time

The end

Launcher Data 

Begin job on node116 at 2016-06-29 23:04:58
IDJOB=4118602
IDBENCH=111512
IDSOLVER=2543
FILE ID=node116/4118602-1467234298
RUNJOBID= node116-1467234298-6334
PBS_JOBID= 19997584
Free space on /tmp= 71724 MiB

SOLVER NAME= Sat4j PB 2.3.6 Res+CP PB16
BENCH NAME= PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/minlplib2-pb-0.1.0/opb/normalized-edgecross10-040.lin.opb
COMMAND LINE= java -jar sat4j-pb.jar Both BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4118602-1467234298/watcher-4118602-1467234298 -o /tmp/evaluation-result-4118602-1467234298/solver-4118602-1467234298 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node116-1467234298-6334 --watchdog 1960  java -jar sat4j-pb.jar Both HOME/instance-4118602-1467234298.opb

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

MD5SUM BENCH= 9805365937f00948ba6f8a1a20706058
RANDOM SEED=1068924248

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        26989644 kB
Buffers:          167564 kB
Cached:          3407708 kB
SwapCached:            0 kB
Active:           167244 kB
Inactive:        3424752 kB
Active(anon):      19332 kB
Inactive(anon):        0 kB
Active(file):     147912 kB
Inactive(file):  3424752 kB
Unevictable:     1541976 kB
Mlocked:         1427512 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:              2020 kB
Writeback:             0 kB
AnonPages:       1558076 kB
Mapped:            13900 kB
Shmem:               204 kB
Slab:             615376 kB
SReclaimable:      59432 kB
SUnreclaim:       555944 kB
KernelStack:        1400 kB
PageTables:         7296 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1644368 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    120832 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= 71720 MiB
End job on node116 at 2016-06-29 23:22:59