Trace number 4118605

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
Sat4j PB 2.3.6 Resolution PB16SAT (TO)190 1800.1 1782.15

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.00/0.10	c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS
0.08/0.10	c This is free software under the dual EPL/GNU LGPL licenses.
0.08/0.10	c See www.sat4j.org for details.
0.08/0.10	c version PB16.v20160501
0.08/0.10	c java.runtime.name	Java(TM) SE Runtime Environment
0.08/0.10	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.08/0.10	c java.vm.version	19.1-b02
0.08/0.10	c java.vm.vendor	Sun Microsystems Inc.
0.08/0.10	c sun.arch.data.model	64
0.08/0.10	c java.version		1.6.0_24
0.08/0.10	c os.name		Linux
0.08/0.10	c os.version		2.6.32-71.29.1.el6.x86_64
0.08/0.10	c os.arch		amd64
0.08/0.10	c Free memory 		501472288
0.08/0.10	c Max memory 		7480803328
0.08/0.10	c Total memory 		504102912
0.08/0.10	c Number of processors 	8
0.08/0.12	c Pseudo Boolean Optimization by upper bound
0.08/0.12	c --- Begin Solver configuration ---
0.08/0.12	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@2b21cc40
0.08/0.12	c Learn all clauses as in MiniSAT
0.08/0.12	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.08/0.12	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.08/0.12	c No reason simplification
0.08/0.12	c Glucose 2.1 dynamic restart strategy
0.08/0.12	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.08/0.12	c timeout=2147483s
0.08/0.12	c DB Simplification allowed=false
0.08/0.12	c Listener: org.sat4j.minisat.core.VoidTracing@7c64dc11
0.08/0.12	c --- End Solver configuration ---
0.08/0.12	c solving HOME/instance-4118605-1467232676.opb
0.08/0.12	c reading problem ... 
0.08/0.12	c  objective function found
0.24/0.27	c ... done. Wall clock time 0.143s.
0.24/0.27	c declared #vars     637
0.24/0.27	c #constraints  1574
0.24/0.27	c constraints type 
0.24/0.27	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 1026
0.24/0.27	c org.sat4j.specs.Constr$1 => 1
0.24/0.27	c org.sat4j.minisat.constraints.cnf.UnitClause => 1
0.24/0.27	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 546
0.24/0.27	c 1574 constraints processed.
0.24/0.27	c objective function length is 633 literals
0.24/0.28	c SATISFIABLE
0.24/0.28	c OPTIMIZING...
0.24/0.28	c Got one! Elapsed wall clock time (in seconds):0.156
0.24/0.28	o 342
0.42/0.30	c Got one! Elapsed wall clock time (in seconds):0.179
0.42/0.30	o 338
0.42/0.31	c Got one! Elapsed wall clock time (in seconds):0.191
0.42/0.31	o 334
0.42/0.33	c Got one! Elapsed wall clock time (in seconds):0.204
0.42/0.33	o 329
0.42/0.34	c Got one! Elapsed wall clock time (in seconds):0.213
0.42/0.34	o 321
0.42/0.37	c Got one! Elapsed wall clock time (in seconds):0.248
0.42/0.37	o 317
0.42/0.39	c Got one! Elapsed wall clock time (in seconds):0.262
0.42/0.39	o 313
0.71/0.44	c Got one! Elapsed wall clock time (in seconds):0.32
0.71/0.44	o 312
0.71/0.48	c Got one! Elapsed wall clock time (in seconds):0.353
0.71/0.48	o 311
0.71/0.49	c Got one! Elapsed wall clock time (in seconds):0.366
0.71/0.49	o 307
1.01/0.55	c Got one! Elapsed wall clock time (in seconds):0.422
1.01/0.55	o 306
1.01/0.55	c Got one! Elapsed wall clock time (in seconds):0.428
1.01/0.55	o 305
1.01/0.56	c Got one! Elapsed wall clock time (in seconds):0.433
1.01/0.56	o 301
1.01/0.56	c Got one! Elapsed wall clock time (in seconds):0.439
1.01/0.56	o 299
1.20/0.61	c Got one! Elapsed wall clock time (in seconds):0.486
1.20/0.61	o 294
1.20/0.61	c Got one! Elapsed wall clock time (in seconds):0.491
1.20/0.61	o 292
1.20/0.62	c Got one! Elapsed wall clock time (in seconds):0.494
1.20/0.62	o 290
1.20/0.62	c Got one! Elapsed wall clock time (in seconds):0.501
1.20/0.62	o 289
1.20/0.63	c Got one! Elapsed wall clock time (in seconds):0.503
1.20/0.63	o 288
1.20/0.63	c Got one! Elapsed wall clock time (in seconds):0.508
1.20/0.63	o 287
1.20/0.63	c Got one! Elapsed wall clock time (in seconds):0.511
1.20/0.63	o 284
1.20/0.64	c Got one! Elapsed wall clock time (in seconds):0.513
1.20/0.64	o 282
1.20/0.69	c Got one! Elapsed wall clock time (in seconds):0.571
1.20/0.69	o 281
1.43/0.73	c Got one! Elapsed wall clock time (in seconds):0.606
1.43/0.73	o 279
1.75/1.05	c Got one! Elapsed wall clock time (in seconds):0.923
1.75/1.05	o 277
1.75/1.09	c Got one! Elapsed wall clock time (in seconds):0.97
1.75/1.09	o 273
1.91/1.13	c Got one! Elapsed wall clock time (in seconds):1.007
1.91/1.13	o 272
1.91/1.17	c Got one! Elapsed wall clock time (in seconds):1.052
1.91/1.17	o 270
2.11/1.34	c Got one! Elapsed wall clock time (in seconds):1.219
2.11/1.34	o 269
2.23/1.43	c Got one! Elapsed wall clock time (in seconds):1.303
2.23/1.43	o 268
2.23/1.44	c Got one! Elapsed wall clock time (in seconds):1.318
2.23/1.44	o 267
2.32/1.57	c cleaning 5867 clauses out of 11733 with flag 2065/11733
2.84/2.07	c cleaning 5933 clauses out of 11867 with flag 14240/17734
3.15/2.34	c Got one! Elapsed wall clock time (in seconds):2.218
3.15/2.34	o 266
3.34/2.56	c cleaning 5537 clauses out of 11085 with flag 4413/22885
3.96/3.13	c cleaning 5775 clauses out of 11549 with flag 17450/28886
4.57/3.73	c Got one! Elapsed wall clock time (in seconds):3.609
4.57/3.73	o 263
5.06/4.24	c cleaning 8817 clauses out of 17634 with flag 10710/40746
5.27/4.42	c Got one! Elapsed wall clock time (in seconds):4.293
5.27/4.42	o 261
5.37/4.53	c Got one! Elapsed wall clock time (in seconds):4.409
5.37/4.53	o 260
5.56/4.72	c cleaning 7256 clauses out of 14520 with flag 4364/46449
6.06/5.24	c Got one! Elapsed wall clock time (in seconds):5.116
6.06/5.24	o 258
6.16/5.31	c Got one! Elapsed wall clock time (in seconds):5.187
6.16/5.31	o 257
6.16/5.32	c Got one! Elapsed wall clock time (in seconds):5.196
6.16/5.32	o 256
6.16/5.33	c Got one! Elapsed wall clock time (in seconds):5.206
6.16/5.33	o 253
6.16/5.38	c Got one! Elapsed wall clock time (in seconds):5.257
6.16/5.38	o 251
6.16/5.39	c Got one! Elapsed wall clock time (in seconds):5.269
6.16/5.39	o 250
6.56/5.71	c Got one! Elapsed wall clock time (in seconds):5.583
6.56/5.71	o 248
6.56/5.75	c Got one! Elapsed wall clock time (in seconds):5.628
6.56/5.75	o 245
6.75/5.91	c Got one! Elapsed wall clock time (in seconds):5.791
6.75/5.91	o 243
6.85/6.03	c cleaning 10663 clauses out of 21325 with flag 2331/60510
6.85/6.09	c Got one! Elapsed wall clock time (in seconds):5.965
6.85/6.09	o 242
7.36/6.60	c cleaning 8171 clauses out of 16342 with flag 10839/66190
7.99/7.11	c cleaning 7086 clauses out of 14173 with flag 23473/72192
8.20/7.38	c Got one! Elapsed wall clock time (in seconds):7.255
8.20/7.38	o 241
8.40/7.56	c cleaning 6307 clauses out of 12619 with flag 4355/77724
8.61/7.71	c Got one! Elapsed wall clock time (in seconds):7.591
8.61/7.71	o 239
8.71/7.87	c Got one! Elapsed wall clock time (in seconds):7.746
8.71/7.87	o 238
8.80/7.94	c Got one! Elapsed wall clock time (in seconds):7.816
8.80/7.94	o 237
9.00/8.13	c cleaning 6614 clauses out of 13235 with flag 4196/84647
9.20/8.39	c Got one! Elapsed wall clock time (in seconds):8.264
9.20/8.39	o 236
9.40/8.58	c cleaning 5881 clauses out of 11766 with flag 4317/89792
9.60/8.77	c Got one! Elapsed wall clock time (in seconds):8.651
9.60/8.77	o 234
9.73/8.86	c Got one! Elapsed wall clock time (in seconds):8.74
9.73/8.86	o 233
9.83/8.97	c Got one! Elapsed wall clock time (in seconds):8.846
9.83/8.97	o 232
9.83/8.97	c Got one! Elapsed wall clock time (in seconds):8.849
9.83/8.97	o 231
9.83/8.99	c Got one! Elapsed wall clock time (in seconds):8.862
9.83/8.99	o 230
9.92/9.09	c cleaning 6080 clauses out of 12160 with flag 2199/96067
10.12/9.20	c Got one! Elapsed wall clock time (in seconds):9.077
10.12/9.20	o 229
10.42/9.55	c cleaning 5784 clauses out of 11576 with flag 8620/101563
10.62/9.76	c Got one! Elapsed wall clock time (in seconds):9.635
10.62/9.76	o 228
10.72/9.87	c Got one! Elapsed wall clock time (in seconds):9.747
10.72/9.87	o 227
10.83/9.90	c Got one! Elapsed wall clock time (in seconds):9.782
10.83/9.90	o 226
10.83/9.91	c Got one! Elapsed wall clock time (in seconds):9.786
10.83/9.91	o 225
10.83/10.00	c Got one! Elapsed wall clock time (in seconds):9.874
10.83/10.00	o 223
10.93/10.06	c Got one! Elapsed wall clock time (in seconds):9.94
10.93/10.06	o 222
11.02/10.17	c cleaning 6705 clauses out of 13414 with flag 2152/109185
11.22/10.36	c Got one! Elapsed wall clock time (in seconds):10.233
11.22/10.36	o 220
11.52/10.63	c cleaning 6116 clauses out of 12239 with flag 6718/114715
12.03/11.14	c cleaning 6060 clauses out of 12124 with flag 19398/120716
12.22/11.38	c Got one! Elapsed wall clock time (in seconds):11.257
12.22/11.38	o 219
12.52/11.65	c cleaning 6003 clauses out of 12015 with flag 7025/126667
12.62/11.71	c Got one! Elapsed wall clock time (in seconds):11.588
12.62/11.71	o 218
12.62/11.77	c Got one! Elapsed wall clock time (in seconds):11.645
12.62/11.77	o 216
12.72/11.85	c Got one! Elapsed wall clock time (in seconds):11.731
12.72/11.85	o 215
12.82/11.95	c Got one! Elapsed wall clock time (in seconds):11.832
12.82/11.95	o 214
12.82/11.97	c Got one! Elapsed wall clock time (in seconds):11.848
12.82/11.97	o 211
13.13/12.25	c cleaning 6512 clauses out of 13024 with flag 6655/133679
13.62/12.77	c cleaning 6256 clauses out of 12511 with flag 19313/139678
14.29/13.38	c cleaning 6624 clauses out of 13255 with flag 33967/146678
15.09/14.13	c cleaning 7312 clauses out of 14634 with flag 52070/154681
15.98/15.00	c cleaning 8158 clauses out of 16319 with flag 72632/163678
16.98/16.04	c cleaning 9079 clauses out of 18161 with flag 94339/173678
18.18/17.21	c cleaning 10038 clauses out of 20084 with flag 118677/184680
19.38/18.49	c cleaning 11022 clauses out of 22044 with flag 145599/196678
20.79/19.88	c cleaning 12006 clauses out of 24022 with flag 175286/209678
22.28/21.38	c cleaning 13008 clauses out of 26016 with flag 208450/223678
24.22/23.26	c cleaning 14001 clauses out of 28008 with flag 243056/238678
26.21/25.27	c cleaning 15004 clauses out of 30008 with flag 283249/254679
28.41/27.48	c cleaning 16002 clauses out of 32004 with flag 321541/271679
30.72/29.76	c cleaning 16998 clauses out of 34002 with flag 362851/289679
33.51/32.58	c cleaning 18002 clauses out of 36003 with flag 409193/308678
36.82/35.70	c cleaning 18998 clauses out of 38001 with flag 458228/328678
39.74/38.67	c cleaning 20003 clauses out of 40005 with flag 509439/349680
42.83/41.78	c cleaning 21001 clauses out of 42002 with flag 565301/371680
46.03/44.97	c cleaning 22001 clauses out of 44002 with flag 620687/394681
49.41/48.24	c cleaning 22999 clauses out of 46000 with flag 677374/418680
53.31/52.17	c cleaning 23995 clauses out of 47999 with flag 743542/443678
57.22/56.03	c cleaning 25002 clauses out of 50006 with flag 804712/469680
61.02/59.87	c cleaning 25997 clauses out of 52002 with flag 865432/496678
65.14/63.82	c cleaning 26996 clauses out of 54005 with flag 925827/524678
69.03/67.74	c cleaning 27999 clauses out of 56009 with flag 986904/553678
73.43/72.19	c cleaning 29001 clauses out of 58011 with flag 1052912/583679
78.23/76.89	c cleaning 30002 clauses out of 60009 with flag 1123722/614678
82.73/81.38	c cleaning 31002 clauses out of 62009 with flag 1194496/646680
84.03/82.69	c Got one! Elapsed wall clock time (in seconds):82.563
84.03/82.69	o 210
84.93/83.52	c cleaning 23604 clauses out of 47222 with flag 12493/662895
85.63/84.27	c cleaning 14797 clauses out of 29617 with flag 26939/668894
86.43/85.08	c cleaning 10909 clauses out of 21821 with flag 43991/675895
87.33/86.00	c cleaning 9455 clauses out of 18911 with flag 63136/683894
88.44/86.93	c cleaning 9225 clauses out of 18457 with flag 85267/692895
89.54/88.08	c cleaning 9609 clauses out of 19231 with flag 108527/702894
90.84/89.31	c cleaning 10311 clauses out of 20622 with flag 135310/713894
92.04/90.58	c cleaning 11151 clauses out of 22311 with flag 163113/725894
93.43/91.97	c cleaning 12074 clauses out of 24160 with flag 197775/738894
94.93/93.42	c cleaning 13042 clauses out of 26086 with flag 229614/752894
96.64/95.09	c cleaning 14020 clauses out of 28045 with flag 264194/767895
98.45/96.83	c cleaning 15013 clauses out of 30025 with flag 298209/783895
100.34/98.71	c cleaning 16001 clauses out of 32011 with flag 336730/800894
102.34/100.72	c cleaning 17005 clauses out of 34012 with flag 375307/818896
104.50/102.85	c cleaning 18001 clauses out of 36005 with flag 416433/837894
106.80/105.13	c cleaning 18997 clauses out of 38006 with flag 458016/857896
109.20/107.51	c cleaning 20003 clauses out of 40009 with flag 503129/878896
111.90/110.25	c cleaning 21002 clauses out of 42004 with flag 552923/900894
115.16/113.43	c cleaning 21994 clauses out of 44002 with flag 603969/923894
115.16/113.44	c Got one! Elapsed wall clock time (in seconds):113.312
115.16/113.44	o 209
115.75/114.07	c cleaning 13539 clauses out of 27082 with flag 11320/928968
116.46/114.71	c cleaning 9769 clauses out of 19542 with flag 23921/934967
117.06/115.39	c cleaning 8386 clauses out of 16774 with flag 38995/941968
117.86/116.17	c cleaning 8193 clauses out of 16387 with flag 55677/949967
118.76/117.01	c cleaning 8595 clauses out of 17194 with flag 74597/958967
119.75/118.05	c cleaning 9295 clauses out of 18599 with flag 95957/968967
120.90/119.18	c cleaning 10146 clauses out of 20304 with flag 119197/979967
122.20/120.49	c cleaning 11079 clauses out of 22159 with flag 144373/991968
123.70/121.99	c cleaning 12036 clauses out of 24080 with flag 172850/1004968
125.10/123.37	c cleaning 13017 clauses out of 26043 with flag 204663/1018967
126.59/124.83	c cleaning 14013 clauses out of 28026 with flag 236803/1033967
128.37/126.54	c cleaning 14995 clauses out of 30014 with flag 271159/1049968
130.16/128.34	c cleaning 16009 clauses out of 32019 with flag 308849/1066968
132.26/130.42	c cleaning 17003 clauses out of 34009 with flag 349256/1084967
134.46/132.65	c cleaning 18000 clauses out of 36006 with flag 390905/1103967
137.02/135.14	c cleaning 19001 clauses out of 38007 with flag 433917/1123968
139.52/137.62	c cleaning 19997 clauses out of 40005 with flag 478832/1144967
141.32/139.46	c Got one! Elapsed wall clock time (in seconds):139.335
141.32/139.46	o 208
141.52/139.70	c Got one! Elapsed wall clock time (in seconds):139.575
141.52/139.70	o 206
141.72/139.83	c Got one! Elapsed wall clock time (in seconds):139.703
141.72/139.83	o 205
141.72/139.89	c Got one! Elapsed wall clock time (in seconds):139.769
141.72/139.89	o 204
142.52/140.60	c cleaning 21858 clauses out of 43724 with flag 9091/1168683
143.32/141.40	c cleaning 13928 clauses out of 27867 with flag 22073/1174684
144.02/142.18	c cleaning 10461 clauses out of 20937 with flag 37012/1181682
144.85/142.98	c cleaning 9226 clauses out of 18478 with flag 54158/1189684
145.75/143.88	c cleaning 9123 clauses out of 18251 with flag 73293/1198683
146.75/144.84	c cleaning 9559 clauses out of 19129 with flag 94735/1208684
147.75/145.81	c cleaning 10280 clauses out of 20569 with flag 118779/1219683
148.75/146.87	c cleaning 11140 clauses out of 22288 with flag 144338/1231682
149.95/148.04	c cleaning 12070 clauses out of 24148 with flag 171081/1244682
151.38/149.44	c cleaning 13040 clauses out of 26079 with flag 200356/1258683
152.68/150.70	c Got one! Elapsed wall clock time (in seconds):150.581
152.68/150.70	o 201
153.39/151.45	c cleaning 14918 clauses out of 29842 with flag 11545/1275486
154.09/152.13	c cleaning 10459 clauses out of 20924 with flag 24550/1281486
154.79/152.90	c cleaning 8733 clauses out of 17467 with flag 40846/1288488
155.59/153.65	c cleaning 8365 clauses out of 16733 with flag 59512/1296487
156.49/154.56	c cleaning 8686 clauses out of 17371 with flag 78709/1305490
157.49/155.57	c cleaning 9339 clauses out of 18681 with flag 100164/1315486
158.61/156.67	c cleaning 10172 clauses out of 20344 with flag 124074/1326488
159.91/157.91	c cleaning 11075 clauses out of 22171 with flag 150481/1338487
161.21/159.24	c cleaning 12046 clauses out of 24095 with flag 177941/1351486
162.71/160.73	c cleaning 13024 clauses out of 26051 with flag 207552/1365488
164.31/162.37	c cleaning 14011 clauses out of 28025 with flag 239971/1380486
166.12/164.17	c cleaning 15004 clauses out of 30014 with flag 275599/1396486
168.02/166.02	c cleaning 16000 clauses out of 32012 with flag 312104/1413488
169.92/167.94	c cleaning 16998 clauses out of 34010 with flag 350634/1431486
172.16/170.18	c cleaning 18004 clauses out of 36012 with flag 390847/1450486
174.56/172.55	c cleaning 19002 clauses out of 38008 with flag 434050/1470486
177.26/175.24	c cleaning 20003 clauses out of 40008 with flag 480820/1491488
180.14/178.09	c cleaning 21002 clauses out of 42004 with flag 529319/1513487
183.24/181.17	c cleaning 22002 clauses out of 44003 with flag 579557/1536488
186.63/184.53	c cleaning 22997 clauses out of 46000 with flag 632145/1560487
190.29/188.12	c cleaning 24001 clauses out of 48002 with flag 686791/1585486
193.99/191.86	c cleaning 24999 clauses out of 50002 with flag 744915/1611487
197.82/195.67	c cleaning 25999 clauses out of 52002 with flag 804260/1638486
202.02/199.81	c cleaning 27002 clauses out of 54004 with flag 865161/1666487
206.46/204.23	c cleaning 28001 clauses out of 56001 with flag 926406/1695486
210.56/208.34	c cleaning 28994 clauses out of 58000 with flag 988881/1725486
215.08/212.87	c cleaning 30000 clauses out of 60006 with flag 1055226/1756486
219.38/217.19	c cleaning 30998 clauses out of 62008 with flag 1121292/1788488
224.12/221.81	c Got one! Elapsed wall clock time (in seconds):221.683
224.12/221.81	o 200
225.02/222.76	c cleaning 33618 clauses out of 67243 with flag 11012/1824721
225.72/223.49	c cleaning 19808 clauses out of 39624 with flag 23999/1830720
226.51/224.29	c cleaning 13405 clauses out of 26816 with flag 39672/1837720
227.41/225.18	c cleaning 10697 clauses out of 21412 with flag 57342/1845721
228.42/226.14	c cleaning 9850 clauses out of 19714 with flag 78361/1854720
229.42/227.11	c cleaning 9929 clauses out of 19864 with flag 100121/1864720
230.42/228.19	c cleaning 10468 clauses out of 20936 with flag 123345/1875721
231.72/229.48	c cleaning 11236 clauses out of 22472 with flag 148692/1887725
233.02/230.78	c cleaning 12110 clauses out of 24231 with flag 176898/1900720
234.65/232.37	c cleaning 13057 clauses out of 26121 with flag 207466/1914720
236.55/234.22	c cleaning 14030 clauses out of 28064 with flag 239849/1929720
238.45/236.12	c cleaning 15016 clauses out of 30034 with flag 273646/1945720
240.46/238.18	c cleaning 16009 clauses out of 32021 with flag 310802/1962723
242.56/240.26	c cleaning 17004 clauses out of 34010 with flag 350435/1980721
244.96/242.64	c cleaning 18001 clauses out of 36008 with flag 389989/1999723
247.39/245.01	c cleaning 18997 clauses out of 38004 with flag 431501/2019720
250.00/247.64	c cleaning 20001 clauses out of 40007 with flag 476210/2040720
252.62/250.30	c cleaning 21000 clauses out of 42006 with flag 525327/2062720
255.43/253.08	c cleaning 22001 clauses out of 44007 with flag 575804/2085721
258.42/256.09	c cleaning 23001 clauses out of 46008 with flag 625676/2109723
261.54/259.18	c cleaning 24002 clauses out of 48005 with flag 678160/2134721
263.64/261.22	c Got one! Elapsed wall clock time (in seconds):261.098
263.64/261.22	o 198
264.44/262.08	c cleaning 23135 clauses out of 46272 with flag 11382/2156990
265.14/262.76	c cleaning 14564 clauses out of 29138 with flag 24212/2162991
265.96/263.54	c cleaning 10785 clauses out of 21573 with flag 38853/2169990
266.86/264.41	c cleaning 9391 clauses out of 18789 with flag 55389/2177991
267.76/265.37	c cleaning 9200 clauses out of 18400 with flag 73943/2186993
268.86/266.43	c cleaning 9593 clauses out of 19198 with flag 94423/2196991
270.06/267.63	c cleaning 10303 clauses out of 20605 with flag 117823/2207991
271.28/268.86	c cleaning 11146 clauses out of 22302 with flag 144436/2219991
272.58/270.16	c cleaning 12078 clauses out of 24156 with flag 173362/2232991
274.08/271.61	c cleaning 13039 clauses out of 26078 with flag 202460/2246991
275.58/273.18	c cleaning 14018 clauses out of 28040 with flag 233478/2261992
277.39/274.95	c cleaning 15006 clauses out of 30021 with flag 267551/2277991
279.29/276.80	c cleaning 16002 clauses out of 32014 with flag 303127/2294990
281.30/278.83	c cleaning 17002 clauses out of 34014 with flag 341507/2312992
283.50/281.05	c cleaning 18001 clauses out of 36014 with flag 381348/2331994
285.90/283.47	c cleaning 19000 clauses out of 38009 with flag 423756/2351990
288.44/285.96	c cleaning 20001 clauses out of 40010 with flag 469019/2372991
291.24/288.71	c cleaning 21001 clauses out of 42008 with flag 515856/2394990
294.08/291.60	c cleaning 22004 clauses out of 44009 with flag 565517/2417992
297.37/294.83	c cleaning 22995 clauses out of 46003 with flag 617697/2441990
300.98/298.41	c cleaning 24001 clauses out of 48008 with flag 671827/2466990
304.38/301.87	c cleaning 24996 clauses out of 50007 with flag 726635/2492990
308.21/305.60	c cleaning 26006 clauses out of 52011 with flag 785142/2519990
312.44/309.84	c cleaning 26997 clauses out of 54006 with flag 845725/2547991
315.64/313.02	c Got one! Elapsed wall clock time (in seconds):312.897
315.64/313.02	o 197
315.84/313.24	c Got one! Elapsed wall clock time (in seconds):313.113
315.84/313.24	o 195
316.74/314.12	c cleaning 27842 clauses out of 55687 with flag 9213/2576669
317.67/315.05	c cleaning 16918 clauses out of 33846 with flag 23336/2582670
318.48/315.81	c cleaning 11964 clauses out of 23929 with flag 38864/2589671
319.27/316.63	c cleaning 9975 clauses out of 19964 with flag 56109/2597670
320.07/317.48	c cleaning 9487 clauses out of 18989 with flag 75659/2606670
321.07/318.44	c cleaning 9743 clauses out of 19502 with flag 97892/2616670
322.08/319.46	c cleaning 10379 clauses out of 20759 with flag 121517/2627670
323.18/320.55	c cleaning 11188 clauses out of 22379 with flag 147182/2639669
324.68/322.00	c cleaning 12092 clauses out of 24191 with flag 176693/2652669
326.30/323.64	c cleaning 13050 clauses out of 26099 with flag 205845/2666669
328.00/325.31	c cleaning 14025 clauses out of 28050 with flag 236909/2681670
329.90/327.22	c cleaning 15009 clauses out of 30024 with flag 270652/2697669
332.03/329.34	c cleaning 16005 clauses out of 32016 with flag 307047/2714670
334.13/331.46	c cleaning 17005 clauses out of 34010 with flag 343904/2732669
336.56/333.85	c cleaning 18000 clauses out of 36005 with flag 384429/2751669
339.16/336.46	c cleaning 19000 clauses out of 38007 with flag 428179/2771671
341.99/339.22	c cleaning 19998 clauses out of 40005 with flag 472539/2792669
344.91/342.17	c cleaning 21002 clauses out of 42007 with flag 519756/2814669
347.93/345.10	c cleaning 22000 clauses out of 44007 with flag 570244/2837671
351.13/348.33	c cleaning 22995 clauses out of 46007 with flag 622396/2861671
354.55/351.72	c cleaning 23996 clauses out of 48010 with flag 677733/2886669
358.38/355.53	c cleaning 25008 clauses out of 50016 with flag 733648/2912671
362.19/359.31	c cleaning 26001 clauses out of 52006 with flag 792137/2939669
366.11/363.28	c cleaning 26999 clauses out of 54006 with flag 849732/2967670
370.35/367.43	c cleaning 27999 clauses out of 56006 with flag 911167/2996669
371.74/368.89	c Got one! Elapsed wall clock time (in seconds):368.766
371.74/368.89	o 194
372.55/369.69	c cleaning 22321 clauses out of 44648 with flag 10590/3013310
373.35/370.49	c cleaning 14159 clauses out of 28324 with flag 23283/3019307
374.14/371.28	c cleaning 10579 clauses out of 21165 with flag 38290/3026307
375.04/372.11	c cleaning 9289 clauses out of 18587 with flag 54967/3034308
375.96/373.03	c cleaning 9142 clauses out of 18298 with flag 73981/3043308
376.96/374.03	c cleaning 9572 clauses out of 19155 with flag 95488/3053307
377.96/375.07	c cleaning 10291 clauses out of 20584 with flag 118574/3064308
379.16/376.30	c cleaning 11145 clauses out of 22294 with flag 144090/3076309
380.57/377.60	c cleaning 12074 clauses out of 24149 with flag 172080/3089309
381.86/378.96	c cleaning 13031 clauses out of 26073 with flag 201599/3103307
383.26/380.40	c cleaning 14021 clauses out of 28043 with flag 233606/3118308
384.97/382.02	c cleaning 15008 clauses out of 30021 with flag 268246/3134307
385.27/382.34	c Got one! Elapsed wall clock time (in seconds):382.217
385.27/382.34	o 193
385.47/382.55	c cleaning 10425 clauses out of 20861 with flag 4094/3140155
386.07/383.15	c cleaning 8213 clauses out of 16435 with flag 17552/3146154
386.67/383.77	c cleaning 7602 clauses out of 15224 with flag 33635/3153156
387.37/384.47	c cleaning 7807 clauses out of 15620 with flag 51055/3161154
388.27/385.39	c cleaning 8403 clauses out of 16813 with flag 70551/3170154
389.37/386.44	c cleaning 9204 clauses out of 18410 with flag 93750/3180154
390.48/387.55	c cleaning 10099 clauses out of 20206 with flag 117571/3191154
391.68/388.74	c cleaning 11054 clauses out of 22108 with flag 143045/3203155
393.08/390.13	c cleaning 12025 clauses out of 24054 with flag 170558/3216155
394.49/391.52	c cleaning 13012 clauses out of 26031 with flag 200408/3230157
396.09/393.12	c cleaning 14010 clauses out of 28020 with flag 232040/3245158
397.93/394.99	c cleaning 15003 clauses out of 30006 with flag 266108/3261154
399.92/396.94	c cleaning 16000 clauses out of 32003 with flag 303750/3278154
401.94/398.93	c cleaning 16997 clauses out of 34003 with flag 341138/3296154
404.14/401.20	c cleaning 17999 clauses out of 36006 with flag 384400/3315154
406.77/403.73	c cleaning 19003 clauses out of 38012 with flag 427253/3335159
409.16/406.15	c cleaning 19994 clauses out of 40004 with flag 472576/3356154
411.78/408.76	c cleaning 21004 clauses out of 42010 with flag 520598/3378154
414.61/411.59	c cleaning 22000 clauses out of 44007 with flag 568533/3401155
417.60/414.55	c cleaning 23002 clauses out of 46007 with flag 619116/3425155
420.52/417.47	c cleaning 23993 clauses out of 48004 with flag 673627/3450154
421.22/418.19	c Got one! Elapsed wall clock time (in seconds):418.064
421.22/418.19	o 192
422.04/418.95	c cleaning 17525 clauses out of 35050 with flag 10600/3461193
422.74/419.62	c cleaning 11761 clauses out of 23524 with flag 23030/3467192
423.45/420.34	c cleaning 9372 clauses out of 18763 with flag 37380/3474192
424.14/421.07	c cleaning 8694 clauses out of 17391 with flag 55012/3482192
425.04/422.00	c cleaning 8848 clauses out of 17699 with flag 76218/3491194
426.04/422.92	c cleaning 9423 clauses out of 18849 with flag 99468/3501192
427.03/423.98	c cleaning 10208 clauses out of 20427 with flag 124138/3512193
428.25/425.19	c cleaning 11107 clauses out of 22219 with flag 150085/3524193
429.55/426.50	c cleaning 12055 clauses out of 24113 with flag 178409/3537194
430.96/427.84	c cleaning 13022 clauses out of 26056 with flag 208667/3551192
432.68/429.53	c cleaning 14016 clauses out of 28035 with flag 241212/3566193
434.51/431.32	c cleaning 15007 clauses out of 30020 with flag 276587/3582194
436.40/433.21	c cleaning 16000 clauses out of 32011 with flag 313713/3599192
438.51/435.35	c cleaning 17002 clauses out of 34012 with flag 355402/3617193
440.91/437.70	c cleaning 18005 clauses out of 36013 with flag 400029/3636196
443.43/440.24	c cleaning 19000 clauses out of 38004 with flag 444236/3656192
446.14/442.98	c cleaning 19996 clauses out of 40004 with flag 488469/3677192
449.05/445.85	c cleaning 21002 clauses out of 42009 with flag 534469/3699193
452.16/448.92	c cleaning 22001 clauses out of 44006 with flag 585055/3722192
455.39/452.19	c cleaning 22996 clauses out of 46005 with flag 637439/3746192
458.83/455.52	c cleaning 24003 clauses out of 48009 with flag 688929/3771192
462.55/459.24	c cleaning 24996 clauses out of 50006 with flag 746808/3797192
466.79/463.46	c cleaning 26005 clauses out of 52010 with flag 806511/3824192
471.23/467.81	c cleaning 27003 clauses out of 54005 with flag 866752/3852192
476.11/472.65	c cleaning 28001 clauses out of 56002 with flag 927659/3881192
480.95/477.42	c cleaning 28994 clauses out of 58002 with flag 991187/3911193
486.49/482.90	c cleaning 30004 clauses out of 60007 with flag 1056292/3942192
492.04/488.49	c cleaning 31001 clauses out of 62004 with flag 1122999/3974193
497.60/493.91	c cleaning 31996 clauses out of 64002 with flag 1191256/4007192
503.65/499.92	c cleaning 33001 clauses out of 66006 with flag 1264214/4041192
510.00/506.25	c cleaning 34001 clauses out of 68005 with flag 1341539/4076192
516.36/512.52	c cleaning 34999 clauses out of 70005 with flag 1420738/4112193
523.26/519.32	c cleaning 36002 clauses out of 72005 with flag 1504440/4149192
529.50/525.59	c cleaning 37000 clauses out of 74004 with flag 1587542/4187193
537.15/533.11	c cleaning 37996 clauses out of 76003 with flag 1668733/4226192
544.70/540.66	c cleaning 38999 clauses out of 78008 with flag 1752332/4266193
552.87/548.76	c cleaning 40000 clauses out of 80008 with flag 1837554/4307192
560.14/556.00	c cleaning 40998 clauses out of 82009 with flag 1926992/4349193
567.79/563.58	c cleaning 42000 clauses out of 84010 with flag 2019952/4392192
576.29/571.94	c cleaning 43003 clauses out of 86010 with flag 2115614/4436192
585.04/580.65	c cleaning 43997 clauses out of 88007 with flag 2210959/4481192
593.12/588.66	c cleaning 45001 clauses out of 90011 with flag 2310114/4527193
601.79/597.21	c cleaning 46000 clauses out of 92009 with flag 2411960/4574192
612.40/607.79	c cleaning 47000 clauses out of 94010 with flag 2512967/4622193
622.30/617.59	c cleaning 47997 clauses out of 96010 with flag 2617429/4671193
632.41/627.50	c cleaning 48999 clauses out of 98012 with flag 2729188/4721192
642.90/637.95	c cleaning 50005 clauses out of 100013 with flag 2839717/4772192
655.66/650.59	c cleaning 51005 clauses out of 102010 with flag 2952392/4824194
665.75/660.50	c Got one! Elapsed wall clock time (in seconds):660.381
665.75/660.50	o 190
667.35/662.17	c cleaning 52830 clauses out of 105669 with flag 10905/4878858
668.48/663.20	c cleaning 29413 clauses out of 58838 with flag 23819/4884857
669.28/664.02	c cleaning 18206 clauses out of 36426 with flag 38742/4891858
670.08/664.89	c cleaning 13097 clauses out of 26220 with flag 55841/4899858
670.98/665.79	c cleaning 11058 clauses out of 22123 with flag 75231/4908858
672.08/666.80	c cleaning 10523 clauses out of 21064 with flag 96150/4918857
673.20/667.91	c cleaning 10769 clauses out of 21547 with flag 119476/4929863
674.42/669.11	c cleaning 11384 clauses out of 22772 with flag 144612/4941857
675.72/670.49	c cleaning 12195 clauses out of 24389 with flag 173268/4954858
677.22/671.99	c cleaning 13095 clauses out of 26193 with flag 204406/4968857
679.09/673.74	c cleaning 14049 clauses out of 28099 with flag 236238/4983858
680.90/675.55	c cleaning 15022 clauses out of 30049 with flag 271194/4999857
682.72/677.30	c cleaning 16012 clauses out of 32027 with flag 308278/5016857
684.64/679.28	c cleaning 17008 clauses out of 34015 with flag 347900/5034857
687.19/681.74	c cleaning 18004 clauses out of 36008 with flag 388949/5053858
690.03/684.59	c cleaning 18999 clauses out of 38003 with flag 430958/5073857
693.17/687.63	c cleaning 20001 clauses out of 40004 with flag 475167/5094857
696.22/690.69	c cleaning 21002 clauses out of 42003 with flag 522114/5116857
699.45/693.80	c cleaning 22001 clauses out of 44002 with flag 571391/5139858
702.91/697.21	c cleaning 22992 clauses out of 46001 with flag 622181/5163858
706.18/700.48	c cleaning 24003 clauses out of 48011 with flag 674749/5188860
709.61/703.90	c cleaning 24998 clauses out of 50005 with flag 728694/5214857
713.36/707.52	c cleaning 26002 clauses out of 52009 with flag 785230/5241859
717.34/711.47	c cleaning 27001 clauses out of 54005 with flag 844089/5269857
721.71/715.70	c cleaning 27999 clauses out of 56004 with flag 907977/5298857
726.07/720.08	c cleaning 29001 clauses out of 58007 with flag 971732/5328859
730.63/724.51	c cleaning 29999 clauses out of 60004 with flag 1039977/5359857
735.40/729.26	c cleaning 31001 clauses out of 62007 with flag 1109073/5391859
741.00/734.73	c cleaning 32000 clauses out of 64005 with flag 1180990/5424858
746.88/740.50	c cleaning 33003 clauses out of 66006 with flag 1253159/5458859
753.07/746.61	c cleaning 34001 clauses out of 68002 with flag 1330036/5493858
759.56/753.02	c cleaning 34990 clauses out of 70000 with flag 1408719/5529857
765.76/759.14	c cleaning 36001 clauses out of 72011 with flag 1485213/5566858
772.52/765.87	c cleaning 37000 clauses out of 74010 with flag 1566444/5604858
779.02/772.24	c cleaning 38004 clauses out of 76011 with flag 1648579/5643859
785.47/778.63	c cleaning 38997 clauses out of 78005 with flag 1732150/5683857
792.96/786.09	c cleaning 40001 clauses out of 80010 with flag 1818210/5724859
800.77/793.77	c cleaning 41004 clauses out of 82008 with flag 1908977/5766858
808.20/801.06	c cleaning 41997 clauses out of 84003 with flag 2000356/5809857
816.72/809.47	c cleaning 43000 clauses out of 86006 with flag 2093192/5853857
826.45/819.05	c cleaning 43999 clauses out of 88007 with flag 2189120/5898858
835.44/827.91	c cleaning 45001 clauses out of 90007 with flag 2285645/5944857
845.18/837.51	c cleaning 46000 clauses out of 92006 with flag 2386566/5991857
854.51/846.79	c cleaning 47001 clauses out of 94006 with flag 2490958/6039857
863.63/855.76	c cleaning 48000 clauses out of 96006 with flag 2598896/6088858
874.26/866.27	c cleaning 49001 clauses out of 98007 with flag 2706926/6138859
884.89/876.78	c cleaning 49997 clauses out of 100005 with flag 2816427/6189858
896.24/887.96	c cleaning 51004 clauses out of 102007 with flag 2927805/6241857
908.55/900.14	c cleaning 51997 clauses out of 104004 with flag 3041100/6294858
920.81/912.24	c cleaning 53003 clauses out of 106006 with flag 3155040/6348857
932.97/924.25	c cleaning 54001 clauses out of 108004 with flag 3272028/6403858
946.32/937.40	c cleaning 54996 clauses out of 110003 with flag 3388348/6459858
960.07/951.03	c cleaning 56003 clauses out of 112009 with flag 3506531/6516860
973.70/964.57	c cleaning 56996 clauses out of 114004 with flag 3627161/6574858
988.35/979.06	c cleaning 57999 clauses out of 116007 with flag 3756376/6633857
1002.90/993.50	c cleaning 59002 clauses out of 118008 with flag 3890538/6693857
1019.99/1010.40	c cleaning 59999 clauses out of 120006 with flag 4015762/6754857
1035.50/1025.74	c cleaning 61002 clauses out of 122007 with flag 4148598/6816857
1051.01/1041.02	c cleaning 61997 clauses out of 124005 with flag 4283397/6879857
1068.28/1058.18	c cleaning 63001 clauses out of 126010 with flag 4423410/6943859
1085.26/1074.96	c cleaning 64001 clauses out of 128008 with flag 4574151/7008858
1102.01/1091.56	c cleaning 65003 clauses out of 130006 with flag 4718053/7074857
1117.12/1106.46	c cleaning 65998 clauses out of 132003 with flag 4859641/7141857
1132.65/1121.73	c cleaning 67000 clauses out of 134006 with flag 4999394/7209858
1149.56/1138.48	c cleaning 68003 clauses out of 136006 with flag 5145113/7278858
1169.32/1157.98	c cleaning 68996 clauses out of 138002 with flag 5294104/7348857
1189.22/1177.61	c cleaning 70000 clauses out of 140009 with flag 5446506/7419860
1206.91/1195.14	c cleaning 70996 clauses out of 142007 with flag 5597688/7491858
1224.82/1212.80	c cleaning 72004 clauses out of 144012 with flag 5746378/7564859
1243.69/1231.40	c cleaning 73005 clauses out of 146015 with flag 5908990/7638866
1266.48/1254.01	c cleaning 73989 clauses out of 148001 with flag 6073441/7713857
1289.63/1276.97	c cleaning 75003 clauses out of 150012 with flag 6243142/7789857
1312.28/1299.35	c cleaning 76002 clauses out of 152009 with flag 6411407/7866857
1335.76/1322.52	c cleaning 76998 clauses out of 154007 with flag 6580233/7944857
1359.58/1346.14	c cleaning 78000 clauses out of 156011 with flag 6750874/8023859
1383.77/1370.01	c cleaning 78999 clauses out of 158009 with flag 6921320/8103857
1411.56/1397.52	c cleaning 80003 clauses out of 160010 with flag 7095557/8184857
1436.44/1422.13	c cleaning 80999 clauses out of 162007 with flag 7276747/8266857
1465.16/1450.54	c cleaning 82006 clauses out of 164013 with flag 7461153/8349862
1491.80/1476.88	c cleaning 82996 clauses out of 166004 with flag 7643724/8433859
1518.94/1503.60	c cleaning 83999 clauses out of 168006 with flag 7823132/8518857
1547.17/1531.65	c cleaning 84996 clauses out of 170007 with flag 8011487/8604857
1574.73/1558.95	c cleaning 86003 clauses out of 172012 with flag 8197657/8691858
1606.33/1590.28	c cleaning 86998 clauses out of 174008 with flag 8396445/8779857
1639.72/1623.38	c cleaning 88004 clauses out of 176012 with flag 8592015/8868859
1671.26/1654.51	c cleaning 88997 clauses out of 178007 with flag 8781599/8958858
1703.58/1686.54	c cleaning 89997 clauses out of 180009 with flag 8978216/9049857
1734.86/1717.58	c cleaning 91001 clauses out of 182012 with flag 9172873/9141857
1769.65/1751.93	c cleaning 91999 clauses out of 184011 with flag 9367487/9234857
1800.10/1782.11	c starts		: 9928
1800.10/1782.11	c conflicts		: 9314587
1800.10/1782.11	c decisions		: 9812393
1800.10/1782.11	c propagations		: 293893520
1800.10/1782.11	c inspects		: 25129564277
1800.10/1782.11	c shortcuts		: 0
1800.10/1782.11	c learnt literals	: 0
1800.10/1782.11	c learnt binary clauses	: 0
1800.10/1782.11	c learnt ternary clauses	: 1208
1800.10/1782.11	c learnt constraints	: 9314587
1800.10/1782.11	c ignored constraints	: 0
1800.10/1782.11	c root simplifications	: 0
1800.10/1782.11	c removed literals (reason simplification)	: 0
1800.10/1782.11	c reason swapping (by a shorter reason)	: 0
1800.10/1782.11	c Calls to reduceDB	: 360
1800.10/1782.11	c Number of update (reduction) of LBD	: 39459
1800.10/1782.11	c Imported unit clauses	: 0
1800.10/1782.11	c number of reductions to clauses (during analyze)	: 0
1800.10/1782.11	c number of learned constraints concerned by reduction	: 0
1800.10/1782.11	c number of learning phase by resolution	: 0
1800.10/1782.11	c number of learning phase by cutting planes	: 0
1800.10/1782.11	c speed (assignments/second)	: 164938.4169604644
1800.10/1782.11	c non guided choices	0
1800.10/1782.14	c learnt constraints type 
1800.10/1782.14	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 171742
1800.10/1782.14	s SATISFIABLE
1800.10/1782.14	c Found 84 solution(s)
1800.10/1782.14	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.10/1782.14	c objective function=190
1800.10/1782.14	c Total wall clock time (in seconds): 1782.016

Verifier Data 

OK	190

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-4118605-1467232676/watcher-4118605-1467232676 -o /tmp/evaluation-result-4118605-1467232676/solver-4118605-1467232676 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node120-1467209132-3607 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4118605-1467232676.opb 

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

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


[startup+0 s]
/proc/loadavg: 2.46 2.32 2.25 4/194 6595
/proc/meminfo: memFree=24975588/32872528 swapFree=1588980/1719796
[pid=6595] ppid=6592 vsize=2500 CPUtime=0 cores=1,3,5,7
/proc/6595/stat : 6595 (java) D 6592 6595 3589 0 -1 4202496 171 0 0 0 0 0 0 0 20 0 1 0 4226129 2560000 46 33554432000 1073741824 1073778376 140735627012736 140735627009864 226075176231 0 0 4096 0 18446744072100588836 0 0 17 3 0 0 0 0 0
/proc/6595/statm: 625 46 37 9 0 29 0

[startup+0.10006 s]
/proc/loadavg: 2.46 2.32 2.25 4/194 6595
/proc/meminfo: memFree=24975588/32872528 swapFree=1588980/1719796
[pid=6595] ppid=6592 vsize=9558476 CPUtime=0.08 cores=1,3,5,7
/proc/6595/stat : 6595 (java) S 6592 6595 3589 0 -1 4202496 4265 0 1 0 7 1 0 0 20 0 18 0 4226129 9787879424 5385 33554432000 1073741824 1073778376 140735141374112 140735141365248 226087698493 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/6595/statm: 2389619 5388 2086 9 0 2380296 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 9558476

[startup+0.200234 s]
/proc/loadavg: 2.46 2.32 2.25 4/194 6595
/proc/meminfo: memFree=24975588/32872528 swapFree=1588980/1719796
[pid=6595] ppid=6592 vsize=9558476 CPUtime=0.24 cores=1,3,5,7
/proc/6595/stat : 6595 (java) S 6592 6595 3589 0 -1 4202496 4695 0 1 0 23 1 0 0 20 0 18 0 4226129 9787879424 6816 33554432000 1073741824 1073778376 140735141374112 140735141365248 226087698493 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/6595/statm: 2389619 6816 2201 9 0 2380296 0
Current children cumulated CPU time (s) 0.24
Current children cumulated vsize (KiB) 9558476

[startup+0.300233 s]
/proc/loadavg: 2.46 2.32 2.25 4/194 6595
/proc/meminfo: memFree=24975588/32872528 swapFree=1588980/1719796
[pid=6595] ppid=6592 vsize=9625040 CPUtime=0.42 cores=1,3,5,7
/proc/6595/stat : 6595 (java) S 6592 6595 3589 0 -1 4202496 5410 0 1 0 41 1 0 0 20 0 19 0 4226129 9856040960 8259 33554432000 1073741824 1073778376 140735141374112 140735141365248 226087698493 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/6595/statm: 2406260 8259 2236 9 0 2396937 0
Current children cumulated CPU time (s) 0.42
Current children cumulated vsize (KiB) 9625040

[startup+0.700182 s]
/proc/loadavg: 2.46 2.32 2.25 4/194 6595
/proc/meminfo: memFree=24975588/32872528 swapFree=1588980/1719796
[pid=6595] ppid=6592 vsize=9625040 CPUtime=1.43 cores=1,3,5,7
/proc/6595/stat : 6595 (java) S 6592 6595 3589 0 -1 4202496 11496 0 1 0 141 2 0 0 20 0 19 0 4226129 9856040960 14107 33554432000 1073741824 1073778376 140735141374112 140735141365248 226087698493 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/6595/statm: 2406260 14107 2256 9 0 2396937 0
Current children cumulated CPU time (s) 1.43
Current children cumulated vsize (KiB) 9625040

[startup+1.50075 s]
/proc/loadavg: 2.46 2.32 2.25 5/213 6614
/proc/meminfo: memFree=24902932/32872528 swapFree=1588980/1719796
[pid=6595] ppid=6592 vsize=9625040 CPUtime=2.32 cores=1,3,5,7
/proc/6595/stat : 6595 (java) S 6592 6595 3589 0 -1 4202496 11534 0 1 0 229 3 0 0 20 0 19 0 4226129 9856040960 18743 33554432000 1073741824 1073778376 140735141374112 140735141365248 226087698493 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/6595/statm: 2406260 18743 2260 9 0 2396937 0
[pid=6595/tid=6597] ppid=6592 vsize=9625040 CPUtime=1.44 cores=1,3,5,7
/proc/6595/task/6597/stat : 6597 (java) R 6592 6595 3589 0 -1 4202560 2429 0 1 0 143 1 0 0 20 0 19 0 4226131 9856040960 18743 33554432000 1073741824 1073778376 140735141374112 140713408971056 140713279392366 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0
[pid=6595/tid=6598] ppid=6592 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6595/task/6598/stat : 6598 (java) S 6592 6595 3589 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4226132 9856040960 18743 33554432000 1073741824 1073778376 140735141374112 140713398041256 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6595/tid=6599] ppid=6592 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6595/task/6599/stat : 6599 (java) S 6592 6595 3589 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4226132 9856040960 18743 33554432000 1073741824 1073778376 140735141374112 140713251257128 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6595/tid=6600] ppid=6592 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6595/task/6600/stat : 6600 (java) S 6592 6595 3589 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4226132 9856040960 18743 33554432000 1073741824 1073778376 140735141374112 140713250204584 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6595/tid=6601] ppid=6592 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6595/task/6601/stat : 6601 (java) S 6592 6595 3589 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4226132 9856040960 18743 33554432000 1073741824 1073778376 140735141374112 140713249152040 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6595/tid=6602] ppid=6592 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6595/task/6602/stat : 6602 (java) S 6592 6595 3589 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4226132 9856040960 18743 33554432000 1073741824 1073778376 140735141374112 140713248098472 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6595/tid=6603] ppid=6592 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6595/task/6603/stat : 6603 (java) S 6592 6595 3589 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4226132 9856040960 18743 33554432000 1073741824 1073778376 140735141374112 140713247045928 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6595/tid=6604] ppid=6592 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6595/task/6604/stat : 6604 (java) S 6592 6595 3589 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4226132 9856040960 18743 33554432000 1073741824 1073778376 140735141374112 140713245993384 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6595/tid=6605] ppid=6592 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6595/task/6605/stat : 6605 (java) S 6592 6595 3589 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 4226132 9856040960 18743 33554432000 1073741824 1073778376 140735141374112 140713244940840 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6595/tid=6606] ppid=6592 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6595/task/6606/stat : 6606 (java) S 6592 6595 3589 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 4226134 9856040960 18743 33554432000 1073741824 1073778376 140735141374112 140713232743016 226087712681 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6595/tid=6607] ppid=6592 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6595/task/6607/stat : 6607 (java) S 6592 6595 3589 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 4226134 9856040960 18743 33554432000 1073741824 1073778376 140735141374112 140713231689336 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6595/tid=6608] ppid=6592 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6595/task/6608/stat : 6608 (java) S 6592 6595 3589 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 4226134 9856040960 18743 33554432000 1073741824 1073778376 140735141374112 140713230636680 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6595/tid=6609] ppid=6592 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6595/task/6609/stat : 6609 (java) S 6592 6595 3589 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4226136 9856040960 18743 33554432000 1073741824 1073778376 140735141374112 140713229585424 226087720736 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6595/tid=6610] ppid=6592 vsize=9625040 CPUtime=0.46 cores=1,3,5,7
/proc/6595/task/6610/stat : 6610 (java) S 6592 6595 3589 0 -1 4202560 4280 0 0 0 46 0 0 0 20 0 19 0 4226136 9856040960 18743 33554432000 1073741824 1073778376 140735141374112 140713228531768 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6595/tid=6611] ppid=6592 vsize=9625040 CPUtime=0.37 cores=1,3,5,7
/proc/6595/task/6611/stat : 6611 (java) S 6592 6595 3589 0 -1 4202560 3553 0 0 0 37 0 0 0 20 0 19 0 4226136 9856040960 18743 33554432000 1073741824 1073778376 140735141374112 140713227479224 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6595/tid=6612] ppid=6592 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6595/task/6612/stat : 6612 (java) S 6592 6595 3589 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4226136 9856040960 18743 33554432000 1073741824 1073778376 140735141374112 140713226426872 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6595/tid=6613] ppid=6592 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6595/task/6613/stat : 6613 (java) S 6592 6595 3589 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4226137 9856040960 18743 33554432000 1073741824 1073778376 140735141374112 140713225374536 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6595/tid=6614] ppid=6592 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6595/task/6614/stat : 6614 (java) S 6592 6595 3589 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 4226157 9856040960 18743 33554432000 1073741824 1073778376 140735141374112 140713224320296 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 2.32
Current children cumulated vsize (KiB) 9625040

[startup+3.10073 s]
/proc/loadavg: 2.51 2.33 2.25 4/213 6614
/proc/meminfo: memFree=24879660/32872528 swapFree=1588980/1719796
[pid=6595] ppid=6592 vsize=9625040 CPUtime=3.96 cores=1,3,5,7
/proc/6595/stat : 6595 (java) S 6592 6595 3589 0 -1 4202496 11555 0 1 0 393 3 0 0 20 0 19 0 4226129 9856040960 26427 33554432000 1073741824 1073778376 140735141374112 140735141365248 226087698493 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/6595/statm: 2406260 26427 2264 9 0 2396937 0
[pid=6595/tid=6597] ppid=6592 vsize=9625040 CPUtime=3.04 cores=1,3,5,7
/proc/6595/task/6597/stat : 6597 (java) R 6592 6595 3589 0 -1 4202560 2444 0 1 0 302 2 0 0 20 0 19 0 4226131 9856040960 26427 33554432000 1073741824 1073778376 140735141374112 140713408979056 140713279513509 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=6595/tid=6598] ppid=6592 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6595/task/6598/stat : 6598 (java) S 6592 6595 3589 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4226132 9856040960 26427 33554432000 1073741824 1073778376 140735141374112 140713398041256 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6595/tid=6599] ppid=6592 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6595/task/6599/stat : 6599 (java) S 6592 6595 3589 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4226132 9856040960 26427 33554432000 1073741824 1073778376 140735141374112 140713251257128 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6595/tid=6600] ppid=6592 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6595/task/6600/stat : 6600 (java) S 6592 6595 3589 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4226132 9856040960 26427 33554432000 1073741824 1073778376 140735141374112 140713250204584 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6595/tid=6601] ppid=6592 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6595/task/6601/stat : 6601 (java) S 6592 6595 3589 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4226132 9856040960 26427 33554432000 1073741824 1073778376 140735141374112 140713249152040 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6595/tid=6602] ppid=6592 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6595/task/6602/stat : 6602 (java) S 6592 6595 3589 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4226132 9856040960 26427 33554432000 1073741824 1073778376 140735141374112 140713248098472 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6595/tid=6603] ppid=6592 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6595/task/6603/stat : 6603 (java) S 6592 6595 3589 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4226132 9856040960 26427 33554432000 1073741824 1073778376 140735141374112 140713247045928 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6595/tid=6604] ppid=6592 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6595/task/6604/stat : 6604 (java) S 6592 6595 3589 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4226132 9856040960 26427 33554432000 1073741824 1073778376 140735141374112 140713245993384 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6595/tid=6605] ppid=6592 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6595/task/6605/stat : 6605 (java) S 6592 6595 3589 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 4226132 9856040960 26427 33554432000 1073741824 1073778376 140735141374112 140713244940840 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6595/tid=6606] ppid=6592 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6595/task/6606/stat : 6606 (java) S 6592 6595 3589 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 4226134 9856040960 26427 33554432000 1073741824 1073778376 140735141374112 140713232743016 226087712681 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6595/tid=6607] ppid=6592 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6595/task/6607/stat : 6607 (java) S 6592 6595 3589 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 4226134 9856040960 26427 33554432000 1073741824 1073778376 140735141374112 140713231689336 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6595/tid=6608] ppid=6592 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6595/task/6608/stat : 6608 (java) S 6592 6595 3589 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 4226134 9856040960 26427 33554432000 1073741824 1073778376 140735141374112 140713230636680 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6595/tid=6609] ppid=6592 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6595/task/6609/stat : 6609 (java) S 6592 6595 3589 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4226136 9856040960 26427 33554432000 1073741824 1073778376 140735141374112 140713229585424 226087720736 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6595/tid=6610] ppid=6592 vsize=9625040 CPUtime=0.49 cores=1,3,5,7
/proc/6595/task/6610/stat : 6610 (java) S 6592 6595 3589 0 -1 4202560 4282 0 0 0 49 0 0 0 20 0 19 0 4226136 9856040960 26427 33554432000 1073741824 1073778376 140735141374112 140713228531768 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6595/tid=6611] ppid=6592 vsize=9625040 CPUtime=0.39 cores=1,3,5,7
/proc/6595/task/6611/stat : 6611 (java) S 6592 6595 3589 0 -1 4202560 3557 0 0 0 39 0 0 0 20 0 19 0 4226136 9856040960 26427 33554432000 1073741824 1073778376 140735141374112 140713227479224 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6595/tid=6612] ppid=6592 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6595/task/6612/stat : 6612 (java) S 6592 6595 3589 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4226136 9856040960 26427 33554432000 1073741824 1073778376 140735141374112 140713226426872 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6595/tid=6613] ppid=6592 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6595/task/6613/stat : 6613 (java) S 6592 6595 3589 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4226137 9856040960 26427 33554432000 1073741824 1073778376 140735141374112 140713225374536 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6595/tid=6614] ppid=6592 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6595/task/6614/stat : 6614 (java) S 6592 6595 3589 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 4226157 9856040960 26427 33554432000 1073741824 1073778376 140735141374112 140713224320296 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 3.96
Current children cumulated vsize (KiB) 9625040

[startup+6.30081 s]
/proc/loadavg: 2.51 2.33 2.25 3/213 6614
/proc/meminfo: memFree=24815812/32872528 swapFree=1588980/1719796
[pid=6595] ppid=6592 vsize=9625040 CPUtime=7.16 cores=1,3,5,7
/proc/6595/stat : 6595 (java) S 6592 6595 3589 0 -1 4202496 11586 0 1 0 711 5 0 0 20 0 19 0 4226129 9856040960 41260 33554432000 1073741824 1073778376 140735141374112 140735141365248 226087698493 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/6595/statm: 2406260 41260 2265 9 0 2396937 0
[pid=6595/tid=6597] ppid=6592 vsize=9625040 CPUtime=6.21 cores=1,3,5,7
/proc/6595/task/6597/stat : 6597 (java) R 6592 6595 3589 0 -1 4202560 2474 0 1 0 619 2 0 0 20 0 19 0 4226131 9856040960 41260 33554432000 1073741824 1073778376 140735141374112 140713408971056 140713279416710 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=6595/tid=6598] ppid=6592 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6595/task/6598/stat : 6598 (java) S 6592 6595 3589 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4226132 9856040960 41260 33554432000 1073741824 1073778376 140735141374112 140713398041256 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6595/tid=6599] ppid=6592 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6595/task/6599/stat : 6599 (java) S 6592 6595 3589 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4226132 9856040960 41260 33554432000 1073741824 1073778376 140735141374112 140713251257128 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6595/tid=6600] ppid=6592 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6595/task/6600/stat : 6600 (java) S 6592 6595 3589 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4226132 9856040960 41260 33554432000 1073741824 1073778376 140735141374112 140713250204584 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6595/tid=6601] ppid=6592 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6595/task/6601/stat : 6601 (java) S 6592 6595 3589 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4226132 9856040960 41260 33554432000 1073741824 1073778376 140735141374112 140713249152040 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6595/tid=6602] ppid=6592 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6595/task/6602/stat : 6602 (java) S 6592 6595 3589 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4226132 9856040960 41260 33554432000 1073741824 1073778376 140735141374112 140713248098472 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6595/tid=6603] ppid=6592 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6595/task/6603/stat : 6603 (java) S 6592 6595 3589 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4226132 9856040960 41260 33554432000 1073741824 1073778376 140735141374112 140713247045928 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6595/tid=6604] ppid=6592 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6595/task/6604/stat : 6604 (java) S 6592 6595 3589 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4226132 9856040960 41260 33554432000 1073741824 1073778376 140735141374112 140713245993384 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6595/tid=6605] ppid=6592 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6595/task/6605/stat : 6605 (java) S 6592 6595 3589 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 4226132 9856040960 41260 33554432000 1073741824 1073778376 140735141374112 140713244940840 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6595/tid=6606] ppid=6592 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6595/task/6606/stat : 6606 (java) S 6592 6595 3589 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 4226134 9856040960 41260 33554432000 1073741824 1073778376 140735141374112 140713232743016 226087712681 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6595/tid=6607] ppid=6592 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6595/task/6607/stat : 6607 (java) S 6592 6595 3589 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 4226134 9856040960 41260 33554432000 1073741824 1073778376 140735141374112 140713231689336 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6595/tid=6608] ppid=6592 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6595/task/6608/stat : 6608 (java) S 6592 6595 3589 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 4226134 9856040960 41260 33554432000 1073741824 1073778376 140735141374112 140713230636680 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6595/tid=6609] ppid=6592 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6595/task/6609/stat : 6609 (java) S 6592 6595 3589 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4226136 9856040960 41260 33554432000 1073741824 1073778376 140735141374112 140713229585424 226087720736 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6595/tid=6610] ppid=6592 vsize=9625040 CPUtime=0.49 cores=1,3,5,7
/proc/6595/task/6610/stat : 6610 (java) S 6592 6595 3589 0 -1 4202560 4282 0 0 0 49 0 0 0 20 0 19 0 4226136 9856040960 41260 33554432000 1073741824 1073778376 140735141374112 140713228531768 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6595/tid=6611] ppid=6592 vsize=9625040 CPUtime=0.39 cores=1,3,5,7
/proc/6595/task/6611/stat : 6611 (java) S 6592 6595 3589 0 -1 4202560 3557 0 0 0 39 0 0 0 20 0 19 0 4226136 9856040960 41772 33554432000 1073741824 1073778376 140735141374112 140713227479224 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6595/tid=6612] ppid=6592 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6595/task/6612/stat : 6612 (java) S 6592 6595 3589 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4226136 9856040960 41772 33554432000 1073741824 1073778376 140735141374112 140713226426872 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6595/tid=6613] ppid=6592 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6595/task/6613/stat : 6613 (java) S 6592 6595 3589 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 4226137 9856040960 41772 33554432000 1073741824 1073778376 140735141374112 140713225374536 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6595/tid=6614] ppid=6592 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6595/task/6614/stat : 6614 (java) S 6592 6595 3589 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 4226157 9856040960 41772 33554432000 1073741824 1073778376 140735141374112 140713224320296 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 7.16
Current children cumulated vsize (KiB) 9625040


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

[pid=6595/tid=6614] ppid=6592 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6595/task/6614/stat : 6614 (java) S 6592 6595 3589 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 4226157 9856040960 64909 33554432000 1073741824 1073778376 140735141374112 140713224320296 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1679.16
Current children cumulated vsize (KiB) 9625040

[startup+1722.3 s]
/proc/loadavg: 2.32 2.30 2.27 3/213 6874
/proc/meminfo: memFree=25529888/32872528 swapFree=1588980/1719796
[pid=6595] ppid=6592 vsize=9625040 CPUtime=1739.77 cores=1,3,5,7
/proc/6595/stat : 6595 (java) S 6592 6595 3589 0 -1 4202496 31480 0 1 0 173835 142 0 0 20 0 19 0 4226129 9856040960 65598 33554432000 1073741824 1073778376 140735141374112 140735141365248 226087698493 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/6595/statm: 2406260 65598 2287 9 0 2396937 0
[pid=6595/tid=6597] ppid=6592 vsize=9625040 CPUtime=1705.69 cores=1,3,5,7
/proc/6595/task/6597/stat : 6597 (java) R 6592 6595 3589 0 -1 4202560 3209 0 1 0 170538 31 0 0 20 0 19 0 4226131 9856040960 65598 33554432000 1073741824 1073778376 140735141374112 140713408978128 140713279513509 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=6595/tid=6598] ppid=6592 vsize=9625040 CPUtime=3 cores=1,3,5,7
/proc/6595/task/6598/stat : 6598 (java) S 6592 6595 3589 0 -1 4202560 2192 0 0 0 289 11 0 0 20 0 19 0 4226132 9856040960 65598 33554432000 1073741824 1073778376 140735141374112 140713398041256 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6595/tid=6599] ppid=6592 vsize=9625040 CPUtime=2.9 cores=1,3,5,7
/proc/6595/task/6599/stat : 6599 (java) S 6592 6595 3589 0 -1 4202560 1652 0 0 0 280 10 0 0 20 0 19 0 4226132 9856040960 65598 33554432000 1073741824 1073778376 140735141374112 140713251257128 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6595/tid=6600] ppid=6592 vsize=9625040 CPUtime=3 cores=1,3,5,7
/proc/6595/task/6600/stat : 6600 (java) S 6592 6595 3589 0 -1 4202560 1719 0 0 0 289 11 0 0 20 0 19 0 4226132 9856040960 65598 33554432000 1073741824 1073778376 140735141374112 140713250204584 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6595/tid=6601] ppid=6592 vsize=9625040 CPUtime=3.06 cores=1,3,5,7
/proc/6595/task/6601/stat : 6601 (java) S 6592 6595 3589 0 -1 4202560 1863 0 0 0 295 11 0 0 20 0 19 0 4226132 9856040960 65598 33554432000 1073741824 1073778376 140735141374112 140713249152040 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6595/tid=6602] ppid=6592 vsize=9625040 CPUtime=3.03 cores=1,3,5,7
/proc/6595/task/6602/stat : 6602 (java) S 6592 6595 3589 0 -1 4202560 2368 0 0 0 290 13 0 0 20 0 19 0 4226132 9856040960 65598 33554432000 1073741824 1073778376 140735141374112 140713248098472 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6595/tid=6603] ppid=6592 vsize=9625040 CPUtime=3.14 cores=1,3,5,7
/proc/6595/task/6603/stat : 6603 (java) S 6592 6595 3589 0 -1 4202560 3236 0 0 0 300 14 0 0 20 0 19 0 4226132 9856040960 65598 33554432000 1073741824 1073778376 140735141374112 140713247045928 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6595/tid=6604] ppid=6592 vsize=9625040 CPUtime=3.16 cores=1,3,5,7
/proc/6595/task/6604/stat : 6604 (java) S 6592 6595 3589 0 -1 4202560 2841 0 0 0 303 13 0 0 20 0 19 0 4226132 9856040960 65598 33554432000 1073741824 1073778376 140735141374112 140713245993384 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6595/tid=6605] ppid=6592 vsize=9625040 CPUtime=3.18 cores=1,3,5,7
/proc/6595/task/6605/stat : 6605 (java) S 6592 6595 3589 0 -1 4202560 2471 0 0 0 303 15 0 0 20 0 19 0 4226132 9856040960 65598 33554432000 1073741824 1073778376 140735141374112 140713244940840 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6595/tid=6606] ppid=6592 vsize=9625040 CPUtime=4.08 cores=1,3,5,7
/proc/6595/task/6606/stat : 6606 (java) S 6592 6595 3589 0 -1 4202560 733 0 0 0 399 9 0 0 20 0 19 0 4226134 9856040960 65598 33554432000 1073741824 1073778376 140735141374112 140713232743016 226087712681 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6595/tid=6607] ppid=6592 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6595/task/6607/stat : 6607 (java) S 6592 6595 3589 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 4226134 9856040960 65598 33554432000 1073741824 1073778376 140735141374112 140713231689336 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6595/tid=6608] ppid=6592 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6595/task/6608/stat : 6608 (java) S 6592 6595 3589 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 4226134 9856040960 65598 33554432000 1073741824 1073778376 140735141374112 140713230636680 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6595/tid=6609] ppid=6592 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6595/task/6609/stat : 6609 (java) S 6592 6595 3589 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4226136 9856040960 65598 33554432000 1073741824 1073778376 140735141374112 140713229585424 226087720736 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6595/tid=6610] ppid=6592 vsize=9625040 CPUtime=0.49 cores=1,3,5,7
/proc/6595/task/6610/stat : 6610 (java) S 6592 6595 3589 0 -1 4202560 4282 0 0 0 49 0 0 0 20 0 19 0 4226136 9856040960 65598 33554432000 1073741824 1073778376 140735141374112 140713228531768 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6595/tid=6611] ppid=6592 vsize=9625040 CPUtime=0.41 cores=1,3,5,7
/proc/6595/task/6611/stat : 6611 (java) S 6592 6595 3589 0 -1 4202560 3558 0 0 0 41 0 0 0 20 0 19 0 4226136 9856040960 65598 33554432000 1073741824 1073778376 140735141374112 140713227479224 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6595/tid=6612] ppid=6592 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6595/task/6612/stat : 6612 (java) S 6592 6595 3589 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4226136 9856040960 65598 33554432000 1073741824 1073778376 140735141374112 140713226426872 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6595/tid=6613] ppid=6592 vsize=9625040 CPUtime=0.55 cores=1,3,5,7
/proc/6595/task/6613/stat : 6613 (java) S 6592 6595 3589 0 -1 4202560 98 0 0 0 24 31 0 0 20 0 19 0 4226137 9856040960 65598 33554432000 1073741824 1073778376 140735141374112 140713225374536 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6595/tid=6614] ppid=6592 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6595/task/6614/stat : 6614 (java) S 6592 6595 3589 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 4226157 9856040960 65598 33554432000 1073741824 1073778376 140735141374112 140713224320296 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1739.77
Current children cumulated vsize (KiB) 9625040



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1782.11 s]
/proc/loadavg: 2.29 2.30 2.27 3/213 6875
/proc/meminfo: memFree=25523072/32872528 swapFree=1588980/1719796
[pid=6595] ppid=6592 vsize=9625040 CPUtime=1800.1 cores=1,3,5,7
/proc/6595/stat : 6595 (java) S 6592 6595 3589 0 -1 4202496 32045 0 1 0 179861 149 0 0 20 0 19 0 4226129 9856040960 68665 33554432000 1073741824 1073778376 140735141374112 140735141365248 226087698493 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/6595/statm: 2406260 68665 2287 9 0 2396937 0
[pid=6595/tid=6597] ppid=6592 vsize=9625040 CPUtime=1764.77 cores=1,3,5,7
/proc/6595/task/6597/stat : 6597 (java) R 6592 6595 3589 0 -1 4202560 3236 0 1 0 176445 32 0 0 20 0 19 0 4226131 9856040960 68665 33554432000 1073741824 1073778376 140735141374112 140713408978112 140713279513004 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=6595/tid=6598] ppid=6592 vsize=9625040 CPUtime=3.11 cores=1,3,5,7
/proc/6595/task/6598/stat : 6598 (java) S 6592 6595 3589 0 -1 4202560 2239 0 0 0 299 12 0 0 20 0 19 0 4226132 9856040960 68665 33554432000 1073741824 1073778376 140735141374112 140713398041256 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6595/tid=6599] ppid=6592 vsize=9625040 CPUtime=2.98 cores=1,3,5,7
/proc/6595/task/6599/stat : 6599 (java) S 6592 6595 3589 0 -1 4202560 1657 0 0 0 287 11 0 0 20 0 19 0 4226132 9856040960 68665 33554432000 1073741824 1073778376 140735141374112 140713251257128 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6595/tid=6600] ppid=6592 vsize=9625040 CPUtime=3.14 cores=1,3,5,7
/proc/6595/task/6600/stat : 6600 (java) S 6592 6595 3589 0 -1 4202560 2076 0 0 0 303 11 0 0 20 0 19 0 4226132 9856040960 68665 33554432000 1073741824 1073778376 140735141374112 140713250204584 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6595/tid=6601] ppid=6592 vsize=9625040 CPUtime=3.13 cores=1,3,5,7
/proc/6595/task/6601/stat : 6601 (java) S 6592 6595 3589 0 -1 4202560 1892 0 0 0 302 11 0 0 20 0 19 0 4226132 9856040960 68665 33554432000 1073741824 1073778376 140735141374112 140713249152040 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6595/tid=6602] ppid=6592 vsize=9625040 CPUtime=3.14 cores=1,3,5,7
/proc/6595/task/6602/stat : 6602 (java) S 6592 6595 3589 0 -1 4202560 2379 0 0 0 300 14 0 0 20 0 19 0 4226132 9856040960 68665 33554432000 1073741824 1073778376 140735141374112 140713248098472 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6595/tid=6603] ppid=6592 vsize=9625040 CPUtime=3.24 cores=1,3,5,7
/proc/6595/task/6603/stat : 6603 (java) S 6592 6595 3589 0 -1 4202560 3249 0 0 0 309 15 0 0 20 0 19 0 4226132 9856040960 68665 33554432000 1073741824 1073778376 140735141374112 140713247045928 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6595/tid=6604] ppid=6592 vsize=9625040 CPUtime=3.25 cores=1,3,5,7
/proc/6595/task/6604/stat : 6604 (java) S 6592 6595 3589 0 -1 4202560 2850 0 0 0 311 14 0 0 20 0 19 0 4226132 9856040960 68665 33554432000 1073741824 1073778376 140735141374112 140713245993384 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6595/tid=6605] ppid=6592 vsize=9625040 CPUtime=3.3 cores=1,3,5,7
/proc/6595/task/6605/stat : 6605 (java) S 6592 6595 3589 0 -1 4202560 2482 0 0 0 314 16 0 0 20 0 19 0 4226132 9856040960 68665 33554432000 1073741824 1073778376 140735141374112 140713244940840 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6595/tid=6606] ppid=6592 vsize=9625040 CPUtime=4.35 cores=1,3,5,7
/proc/6595/task/6606/stat : 6606 (java) S 6592 6595 3589 0 -1 4202560 785 0 0 0 425 10 0 0 20 0 19 0 4226134 9856040960 68665 33554432000 1073741824 1073778376 140735141374112 140713232743016 226087712681 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6595/tid=6607] ppid=6592 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6595/task/6607/stat : 6607 (java) S 6592 6595 3589 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 4226134 9856040960 68665 33554432000 1073741824 1073778376 140735141374112 140713231689336 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6595/tid=6608] ppid=6592 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6595/task/6608/stat : 6608 (java) S 6592 6595 3589 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 4226134 9856040960 68665 33554432000 1073741824 1073778376 140735141374112 140713230636680 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6595/tid=6609] ppid=6592 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6595/task/6609/stat : 6609 (java) S 6592 6595 3589 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4226136 9856040960 68665 33554432000 1073741824 1073778376 140735141374112 140713229585424 226087720736 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6595/tid=6610] ppid=6592 vsize=9625040 CPUtime=0.49 cores=1,3,5,7
/proc/6595/task/6610/stat : 6610 (java) S 6592 6595 3589 0 -1 4202560 4282 0 0 0 49 0 0 0 20 0 19 0 4226136 9856040960 68665 33554432000 1073741824 1073778376 140735141374112 140713228531768 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6595/tid=6611] ppid=6592 vsize=9625040 CPUtime=0.41 cores=1,3,5,7
/proc/6595/task/6611/stat : 6611 (java) S 6592 6595 3589 0 -1 4202560 3558 0 0 0 41 0 0 0 20 0 19 0 4226136 9856040960 68665 33554432000 1073741824 1073778376 140735141374112 140713227479224 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6595/tid=6612] ppid=6592 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6595/task/6612/stat : 6612 (java) S 6592 6595 3589 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4226136 9856040960 68665 33554432000 1073741824 1073778376 140735141374112 140713226426872 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6595/tid=6613] ppid=6592 vsize=9625040 CPUtime=0.58 cores=1,3,5,7
/proc/6595/task/6613/stat : 6613 (java) S 6592 6595 3589 0 -1 4202560 102 0 0 0 25 33 0 0 20 0 19 0 4226137 9856040960 68665 33554432000 1073741824 1073778376 140735141374112 140713225374536 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6595/tid=6614] ppid=6592 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6595/task/6614/stat : 6614 (java) S 6592 6595 3589 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 4226157 9856040960 68665 33554432000 1073741824 1073778376 140735141374112 140713224320296 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 9625040

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

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

[startup+1782.11 s]
/proc/loadavg: 2.29 2.30 2.27 3/213 6875
/proc/meminfo: memFree=25523072/32872528 swapFree=1588980/1719796
[pid=6595] ppid=6592 vsize=9625040 CPUtime=1800.1 cores=1,3,5,7
/proc/6595/stat : 6595 (java) S 6592 6595 3589 0 -1 4202496 32045 0 1 0 179861 149 0 0 20 0 19 0 4226129 9856040960 68665 33554432000 1073741824 1073778376 140735141374112 140735141365248 226087698493 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/6595/statm: 2406260 68665 2287 9 0 2396937 0
[pid=6595/tid=6597] ppid=6592 vsize=9625040 CPUtime=1764.77 cores=1,3,5,7
/proc/6595/task/6597/stat : 6597 (java) R 6592 6595 3589 0 -1 4202560 3236 0 1 0 176445 32 0 0 20 0 19 0 4226131 9856040960 68665 33554432000 1073741824 1073778376 140735141374112 140713408978112 140713279513004 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=6595/tid=6598] ppid=6592 vsize=9625040 CPUtime=3.11 cores=1,3,5,7
/proc/6595/task/6598/stat : 6598 (java) S 6592 6595 3589 0 -1 4202560 2239 0 0 0 299 12 0 0 20 0 19 0 4226132 9856040960 68665 33554432000 1073741824 1073778376 140735141374112 140713398041256 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6595/tid=6599] ppid=6592 vsize=9625040 CPUtime=2.98 cores=1,3,5,7
/proc/6595/task/6599/stat : 6599 (java) S 6592 6595 3589 0 -1 4202560 1657 0 0 0 287 11 0 0 20 0 19 0 4226132 9856040960 68665 33554432000 1073741824 1073778376 140735141374112 140713251257128 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6595/tid=6600] ppid=6592 vsize=9625040 CPUtime=3.14 cores=1,3,5,7
/proc/6595/task/6600/stat : 6600 (java) S 6592 6595 3589 0 -1 4202560 2076 0 0 0 303 11 0 0 20 0 19 0 4226132 9856040960 68665 33554432000 1073741824 1073778376 140735141374112 140713250204584 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6595/tid=6601] ppid=6592 vsize=9625040 CPUtime=3.13 cores=1,3,5,7
/proc/6595/task/6601/stat : 6601 (java) S 6592 6595 3589 0 -1 4202560 1892 0 0 0 302 11 0 0 20 0 19 0 4226132 9856040960 68665 33554432000 1073741824 1073778376 140735141374112 140713249152040 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6595/tid=6602] ppid=6592 vsize=9625040 CPUtime=3.14 cores=1,3,5,7
/proc/6595/task/6602/stat : 6602 (java) S 6592 6595 3589 0 -1 4202560 2379 0 0 0 300 14 0 0 20 0 19 0 4226132 9856040960 68665 33554432000 1073741824 1073778376 140735141374112 140713248098472 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6595/tid=6603] ppid=6592 vsize=9625040 CPUtime=3.24 cores=1,3,5,7
/proc/6595/task/6603/stat : 6603 (java) S 6592 6595 3589 0 -1 4202560 3249 0 0 0 309 15 0 0 20 0 19 0 4226132 9856040960 68665 33554432000 1073741824 1073778376 140735141374112 140713247045928 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6595/tid=6604] ppid=6592 vsize=9625040 CPUtime=3.25 cores=1,3,5,7
/proc/6595/task/6604/stat : 6604 (java) S 6592 6595 3589 0 -1 4202560 2850 0 0 0 311 14 0 0 20 0 19 0 4226132 9856040960 68665 33554432000 1073741824 1073778376 140735141374112 140713245993384 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6595/tid=6605] ppid=6592 vsize=9625040 CPUtime=3.3 cores=1,3,5,7
/proc/6595/task/6605/stat : 6605 (java) S 6592 6595 3589 0 -1 4202560 2482 0 0 0 314 16 0 0 20 0 19 0 4226132 9856040960 68665 33554432000 1073741824 1073778376 140735141374112 140713244940840 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6595/tid=6606] ppid=6592 vsize=9625040 CPUtime=4.35 cores=1,3,5,7
/proc/6595/task/6606/stat : 6606 (java) S 6592 6595 3589 0 -1 4202560 785 0 0 0 425 10 0 0 20 0 19 0 4226134 9856040960 68665 33554432000 1073741824 1073778376 140735141374112 140713232743016 226087712681 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6595/tid=6607] ppid=6592 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6595/task/6607/stat : 6607 (java) S 6592 6595 3589 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 4226134 9856040960 68665 33554432000 1073741824 1073778376 140735141374112 140713231689336 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6595/tid=6608] ppid=6592 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6595/task/6608/stat : 6608 (java) S 6592 6595 3589 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 4226134 9856040960 68665 33554432000 1073741824 1073778376 140735141374112 140713230636680 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6595/tid=6609] ppid=6592 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6595/task/6609/stat : 6609 (java) S 6592 6595 3589 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4226136 9856040960 68665 33554432000 1073741824 1073778376 140735141374112 140713229585424 226087720736 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6595/tid=6610] ppid=6592 vsize=9625040 CPUtime=0.49 cores=1,3,5,7
/proc/6595/task/6610/stat : 6610 (java) S 6592 6595 3589 0 -1 4202560 4282 0 0 0 49 0 0 0 20 0 19 0 4226136 9856040960 68665 33554432000 1073741824 1073778376 140735141374112 140713228531768 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6595/tid=6611] ppid=6592 vsize=9625040 CPUtime=0.41 cores=1,3,5,7
/proc/6595/task/6611/stat : 6611 (java) S 6592 6595 3589 0 -1 4202560 3558 0 0 0 41 0 0 0 20 0 19 0 4226136 9856040960 68665 33554432000 1073741824 1073778376 140735141374112 140713227479224 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6595/tid=6612] ppid=6592 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6595/task/6612/stat : 6612 (java) S 6592 6595 3589 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4226136 9856040960 68665 33554432000 1073741824 1073778376 140735141374112 140713226426872 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6595/tid=6613] ppid=6592 vsize=9625040 CPUtime=0.58 cores=1,3,5,7
/proc/6595/task/6613/stat : 6613 (java) S 6592 6595 3589 0 -1 4202560 102 0 0 0 25 33 0 0 20 0 19 0 4226137 9856040960 68665 33554432000 1073741824 1073778376 140735141374112 140713225374536 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6595/tid=6614] ppid=6592 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6595/task/6614/stat : 6614 (java) S 6592 6595 3589 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 4226157 9856040960 68665 33554432000 1073741824 1073778376 140735141374112 140713224320296 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 9625040

Child status: 143

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 6595 and gives
#  childrusage.ru_utime.tv_sec=1794
#  childrusage.ru_utime.tv_usec=299225
#  childrusage.ru_stime.tv_sec=1
#  childrusage.ru_stime.tv_usec=931706
# CPU time returned by wait4() is 1796.23
# while last known CPU time is 1800.1
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1782.15
CPU time (s): 1800.1
CPU user time (s): 1798.61
CPU system time (s): 1.49
CPU usage (%): 101.007
Max. virtual memory (cumulated for all children) (KiB): 9625040

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.3
system time used= 1.93171
maximum resident set size= 571904
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 32090
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1704
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 60559
involuntary context switches= 70116

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 12.7001 second user time and 14.7078 second system time

The end

Launcher Data 

Begin job on node120 at 2016-06-29 22:37:56
IDJOB=4118605
IDBENCH=111512
IDSOLVER=2546
FILE ID=node120/4118605-1467232676
RUNJOBID= node120-1467209132-3607
PBS_JOBID= 19997582
Free space on /tmp= 71672 MiB

SOLVER NAME= Sat4j PB 2.3.6 Resolution 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 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4118605-1467232676/watcher-4118605-1467232676 -o /tmp/evaluation-result-4118605-1467232676/solver-4118605-1467232676 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node120-1467209132-3607 --watchdog 1960  java -jar sat4j-pb.jar HOME/instance-4118605-1467232676.opb

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

MD5SUM BENCH= 9805365937f00948ba6f8a1a20706058
RANDOM SEED=1049263277

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

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.669
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:        24976488 kB
Buffers:           69720 kB
Cached:          4102888 kB
SwapCached:            0 kB
Active:          1365964 kB
Inactive:        4086396 kB
Active(anon):    1282440 kB
Inactive(anon):        0 kB
Active(file):      83524 kB
Inactive(file):  4086396 kB
Unevictable:     1719796 kB
Mlocked:         1588980 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:               836 kB
Writeback:             0 kB
AnonPages:       3114656 kB
Mapped:            22224 kB
Shmem:               204 kB
Slab:             586384 kB
SReclaimable:      30604 kB
SUnreclaim:       555780 kB
KernelStack:        1768 kB
PageTables:        10260 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    3255980 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1490944 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= 71672 MiB
End job on node120 at 2016-06-29 23:07:38