Trace number 4119510

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)1204 1800.01 1781.04

General information on the benchmark

NamePB15eval/normalized-PB15eval/OPT-SMALLINT-NLC/
minlplib2-pb-0.1.0/opb/normalized-edgecross20-080.opb
MD5SUM394fdbb8a39a23ab20c62a44fe135b70
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark993
Best CPU time to get the best result obtained on this benchmark1800.11
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables381
Total number of constraints4561
Number of constraints which are clauses4560
Number of constraints which are cardinality constraints (but not clauses)1
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint3
Number of terms in the objective function 3099
Biggest coefficient in the objective function 1457
Number of bits for the biggest coefficient in the objective function 11
Sum of the numbers in the objective function 8717
Number of bits of the sum of numbers in the objective function 14
Biggest number in a constraint 1457
Number of bits of the biggest number in a constraint 11
Biggest sum of numbers in a constraint 8717
Number of bits of the biggest sum of numbers14
Number of products (including duplicates)2761
Sum of products size (including duplicates)5522
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data 

0.00/0.09	c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS
0.00/0.09	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.09	c See www.sat4j.org for details.
0.00/0.09	c version PB16.v20160501
0.00/0.09	c java.runtime.name	Java(TM) SE Runtime Environment
0.00/0.09	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.00/0.09	c java.vm.version	19.1-b02
0.00/0.09	c java.vm.vendor	Sun Microsystems Inc.
0.00/0.09	c sun.arch.data.model	64
0.00/0.09	c java.version		1.6.0_24
0.00/0.09	c os.name		Linux
0.00/0.09	c os.version		2.6.32-71.29.1.el6.x86_64
0.00/0.09	c os.arch		amd64
0.00/0.09	c Free memory 		501472288
0.00/0.09	c Max memory 		7480803328
0.00/0.09	c Total memory 		504102912
0.00/0.09	c Number of processors 	8
0.09/0.11	c Pseudo Boolean Optimization by upper bound
0.09/0.11	c --- Begin Solver configuration ---
0.09/0.11	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@587bd9f2
0.09/0.11	c Learn all clauses as in MiniSAT
0.09/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.09/0.11	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.09/0.11	c No reason simplification
0.09/0.11	c Glucose 2.1 dynamic restart strategy
0.09/0.11	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.09/0.11	c timeout=2147483s
0.09/0.11	c DB Simplification allowed=false
0.09/0.11	c Listener: org.sat4j.minisat.core.VoidTracing@4e3eca90
0.09/0.11	c --- End Solver configuration ---
0.09/0.11	c solving HOME/instance-4119510-1467260990.opb
0.09/0.11	c reading problem ... 
0.09/0.12	c  objective function found
0.76/0.48	c ... done. Wall clock time 0.369s.
0.76/0.48	c declared #vars     381
0.76/0.48	c internal #vars     3142
0.76/0.48	c #constraints  10084
0.76/0.48	c constraints type 
0.76/0.48	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 7321
0.76/0.48	c org.sat4j.specs.Constr$1 => 1
0.76/0.48	c org.sat4j.minisat.constraints.cnf.UnitClause => 1
0.76/0.48	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 2761
0.76/0.48	c 10084 constraints processed.
0.76/0.48	c objective function length is 3099 literals
1.06/0.53	c SATISFIABLE
1.06/0.53	c OPTIMIZING...
1.06/0.53	c Got one! Elapsed wall clock time (in seconds):0.418
1.06/0.53	o 1479
1.35/0.66	c Got one! Elapsed wall clock time (in seconds):0.542
1.35/0.66	o 1469
1.65/0.71	c Got one! Elapsed wall clock time (in seconds):0.593
1.65/0.71	o 1463
1.65/0.72	c Got one! Elapsed wall clock time (in seconds):0.608
1.65/0.72	o 1462
1.65/0.73	c Got one! Elapsed wall clock time (in seconds):0.621
1.65/0.73	o 1460
1.65/0.74	c Got one! Elapsed wall clock time (in seconds):0.631
1.65/0.74	o 1451
1.65/0.76	c Got one! Elapsed wall clock time (in seconds):0.644
1.65/0.76	o 1447
1.65/0.77	c Got one! Elapsed wall clock time (in seconds):0.651
1.65/0.77	o 1446
1.65/0.77	c Got one! Elapsed wall clock time (in seconds):0.661
1.65/0.77	o 1437
1.65/0.78	c Got one! Elapsed wall clock time (in seconds):0.67
1.65/0.78	o 1436
1.95/0.80	c Got one! Elapsed wall clock time (in seconds):0.682
1.95/0.80	o 1435
1.95/0.81	c Got one! Elapsed wall clock time (in seconds):0.692
1.95/0.81	o 1429
1.95/0.82	c Got one! Elapsed wall clock time (in seconds):0.71
1.95/0.82	o 1427
1.95/0.83	c Got one! Elapsed wall clock time (in seconds):0.718
1.95/0.83	o 1426
1.95/0.84	c Got one! Elapsed wall clock time (in seconds):0.722
1.95/0.84	o 1420
1.95/0.84	c Got one! Elapsed wall clock time (in seconds):0.729
1.95/0.84	o 1419
1.95/0.85	c Got one! Elapsed wall clock time (in seconds):0.735
1.95/0.85	o 1418
1.95/0.85	c Got one! Elapsed wall clock time (in seconds):0.739
1.95/0.85	o 1412
1.95/0.86	c Got one! Elapsed wall clock time (in seconds):0.744
1.95/0.86	o 1411
1.95/0.86	c Got one! Elapsed wall clock time (in seconds):0.748
1.95/0.86	o 1405
1.95/0.87	c Got one! Elapsed wall clock time (in seconds):0.76
1.95/0.87	o 1403
2.14/0.93	c Got one! Elapsed wall clock time (in seconds):0.814
2.14/0.93	o 1401
2.14/0.94	c Got one! Elapsed wall clock time (in seconds):0.821
2.14/0.94	o 1399
2.14/0.94	c Got one! Elapsed wall clock time (in seconds):0.826
2.14/0.94	o 1392
2.14/0.95	c Got one! Elapsed wall clock time (in seconds):0.835
2.14/0.95	o 1390
2.14/0.97	c Got one! Elapsed wall clock time (in seconds):0.851
2.14/0.97	o 1386
2.24/1.00	c Got one! Elapsed wall clock time (in seconds):0.89
2.24/1.00	o 1385
2.24/1.01	c Got one! Elapsed wall clock time (in seconds):0.898
2.24/1.01	o 1381
2.24/1.02	c Got one! Elapsed wall clock time (in seconds):0.908
2.24/1.02	o 1379
2.24/1.04	c Got one! Elapsed wall clock time (in seconds):0.931
2.24/1.04	o 1376
2.24/1.10	c Got one! Elapsed wall clock time (in seconds):0.989
2.24/1.10	o 1373
2.37/1.13	c Got one! Elapsed wall clock time (in seconds):1.011
2.37/1.13	o 1371
2.47/1.27	c Got one! Elapsed wall clock time (in seconds):1.152
2.47/1.27	o 1369
2.47/1.28	c Got one! Elapsed wall clock time (in seconds):1.164
2.47/1.28	o 1367
3.46/2.19	c Got one! Elapsed wall clock time (in seconds):2.077
3.46/2.19	o 1366
3.56/2.22	c Got one! Elapsed wall clock time (in seconds):2.102
3.56/2.22	o 1361
3.56/2.23	c Got one! Elapsed wall clock time (in seconds):2.113
3.56/2.23	o 1360
3.56/2.23	c Got one! Elapsed wall clock time (in seconds):2.12
3.56/2.23	o 1355
3.56/2.24	c Got one! Elapsed wall clock time (in seconds):2.124
3.56/2.24	o 1353
3.56/2.25	c Got one! Elapsed wall clock time (in seconds):2.134
3.56/2.25	o 1352
3.56/2.25	c Got one! Elapsed wall clock time (in seconds):2.138
3.56/2.25	o 1349
3.56/2.26	c Got one! Elapsed wall clock time (in seconds):2.143
3.56/2.26	o 1346
3.56/2.26	c Got one! Elapsed wall clock time (in seconds):2.146
3.56/2.26	o 1344
3.56/2.27	c Got one! Elapsed wall clock time (in seconds):2.153
3.56/2.27	o 1343
3.56/2.27	c Got one! Elapsed wall clock time (in seconds):2.156
3.56/2.27	o 1337
3.56/2.29	c Got one! Elapsed wall clock time (in seconds):2.177
3.56/2.29	o 1335
3.67/2.35	c Got one! Elapsed wall clock time (in seconds):2.234
3.67/2.35	o 1334
3.67/2.36	c Got one! Elapsed wall clock time (in seconds):2.248
3.67/2.36	o 1331
3.67/2.37	c Got one! Elapsed wall clock time (in seconds):2.252
3.67/2.37	o 1327
3.67/2.37	c Got one! Elapsed wall clock time (in seconds):2.256
3.67/2.37	o 1324
3.67/2.38	c Got one! Elapsed wall clock time (in seconds):2.265
3.67/2.38	o 1322
3.76/2.43	c Got one! Elapsed wall clock time (in seconds):2.318
3.76/2.43	o 1321
3.86/2.51	c Got one! Elapsed wall clock time (in seconds):2.398
3.86/2.51	o 1320
3.86/2.57	c Got one! Elapsed wall clock time (in seconds):2.456
3.86/2.57	o 1319
3.86/2.58	c Got one! Elapsed wall clock time (in seconds):2.466
3.86/2.58	o 1316
3.86/2.60	c Got one! Elapsed wall clock time (in seconds):2.482
3.86/2.60	o 1314
4.27/2.80	c Got one! Elapsed wall clock time (in seconds):2.683
4.27/2.80	o 1312
4.47/3.07	c cleaning 4454 clauses out of 8911 with flag 2047/8911
4.71/3.22	c Got one! Elapsed wall clock time (in seconds):3.106
4.71/3.22	o 1310
4.71/3.25	c Got one! Elapsed wall clock time (in seconds):3.138
4.71/3.25	o 1308
5.95/4.41	c cleaning 5128 clauses out of 10272 with flag 10140/14726
6.34/4.84	c Got one! Elapsed wall clock time (in seconds):4.73
6.34/4.84	o 1307
6.44/4.90	c Got one! Elapsed wall clock time (in seconds):4.787
6.44/4.90	o 1306
6.44/4.92	c Got one! Elapsed wall clock time (in seconds):4.802
6.44/4.92	o 1304
6.67/5.14	c Got one! Elapsed wall clock time (in seconds):5.028
6.67/5.14	o 1303
6.67/5.16	c Got one! Elapsed wall clock time (in seconds):5.043
6.67/5.16	o 1302
6.67/5.17	c Got one! Elapsed wall clock time (in seconds):5.052
6.67/5.17	o 1300
6.67/5.17	c Got one! Elapsed wall clock time (in seconds):5.057
6.67/5.17	o 1298
6.67/5.18	c Got one! Elapsed wall clock time (in seconds):5.067
6.67/5.18	o 1296
7.67/6.13	c cleaning 6257 clauses out of 12524 with flag 8208/22106
9.30/7.57	c cleaning 6123 clauses out of 12267 with flag 20240/28106
10.02/8.21	c Got one! Elapsed wall clock time (in seconds):8.098
10.02/8.21	o 1294
10.32/8.58	c Got one! Elapsed wall clock time (in seconds):8.469
10.32/8.58	o 1292
10.82/9.07	c cleaning 6343 clauses out of 12696 with flag 4214/34658
12.22/10.49	c cleaning 6172 clauses out of 12353 with flag 16248/40658
13.92/12.19	c cleaning 6581 clauses out of 13183 with flag 30370/47660
15.91/14.12	c cleaning 7291 clauses out of 14600 with flag 46468/55658
18.36/16.38	c cleaning 8145 clauses out of 16309 with flag 64611/64658
20.77/18.79	c cleaning 9075 clauses out of 18164 with flag 84956/74658
23.46/21.46	c cleaning 10033 clauses out of 20089 with flag 107234/85658
26.61/24.48	c cleaning 11020 clauses out of 22056 with flag 131556/97658
29.91/27.72	c cleaning 12010 clauses out of 24036 with flag 158252/110658
33.41/31.26	c cleaning 13006 clauses out of 26026 with flag 187261/124658
37.11/34.98	c cleaning 13999 clauses out of 28020 with flag 217990/139658
38.80/36.66	c Got one! Elapsed wall clock time (in seconds):36.543
38.80/36.66	o 1291
39.41/37.26	c Got one! Elapsed wall clock time (in seconds):37.151
39.41/37.26	o 1288
40.21/38.04	c cleaning 13249 clauses out of 26508 with flag 6210/152145
41.34/38.95	c Got one! Elapsed wall clock time (in seconds):38.833
41.34/38.95	o 1287
41.44/39.02	c Got one! Elapsed wall clock time (in seconds):38.905
41.44/39.02	o 1286
41.44/39.07	c Got one! Elapsed wall clock time (in seconds):38.957
41.44/39.07	o 1285
41.44/39.09	c Got one! Elapsed wall clock time (in seconds):38.98
41.44/39.09	o 1283
41.94/39.52	c Got one! Elapsed wall clock time (in seconds):39.408
41.94/39.52	o 1280
41.94/39.55	c Got one! Elapsed wall clock time (in seconds):39.436
41.94/39.55	o 1278
41.94/39.57	c Got one! Elapsed wall clock time (in seconds):39.456
41.94/39.57	o 1276
42.24/39.83	c cleaning 10057 clauses out of 20133 with flag 2109/159019
43.64/41.23	c cleaning 8036 clauses out of 16077 with flag 14511/165020
45.24/42.85	c cleaning 7507 clauses out of 15041 with flag 28927/172020
45.84/43.47	c Got one! Elapsed wall clock time (in seconds):43.355
45.84/43.47	o 1275
46.55/44.15	c cleaning 6661 clauses out of 13342 with flag 6220/177828
46.74/44.36	c Got one! Elapsed wall clock time (in seconds):44.247
46.74/44.36	o 1272
47.94/45.51	c cleaning 6325 clauses out of 12667 with flag 10365/183814
49.24/46.89	c cleaning 6160 clauses out of 12344 with flag 22782/189816
50.94/48.52	c cleaning 6581 clauses out of 13182 with flag 37109/196814
52.74/50.37	c cleaning 7294 clauses out of 14602 with flag 53793/204815
54.84/52.44	c cleaning 8143 clauses out of 16307 with flag 72627/213814
57.14/54.78	c cleaning 9072 clauses out of 18167 with flag 92883/223817
59.95/57.47	c cleaning 10043 clauses out of 20093 with flag 115385/234815
62.85/60.40	c cleaning 11015 clauses out of 22049 with flag 140245/246814
66.05/63.56	c cleaning 12003 clauses out of 24034 with flag 167354/259814
69.45/66.96	c Got one! Elapsed wall clock time (in seconds):66.844
69.45/66.96	o 1271
70.75/68.25	c cleaning 15446 clauses out of 30914 with flag 10416/278697
70.95/68.49	c Got one! Elapsed wall clock time (in seconds):68.379
70.95/68.49	o 1269
71.96/69.48	c cleaning 10259 clauses out of 20538 with flag 8244/283767
72.85/70.34	c Got one! Elapsed wall clock time (in seconds):70.225
72.85/70.34	o 1267
73.15/70.66	c Got one! Elapsed wall clock time (in seconds):70.55
73.15/70.66	o 1265
73.45/70.93	c cleaning 8286 clauses out of 16591 with flag 2184/290079
74.85/72.35	c cleaning 7141 clauses out of 14305 with flag 14517/296079
76.56/74.00	c cleaning 7074 clauses out of 14167 with flag 29440/303082
78.36/75.86	c cleaning 7536 clauses out of 15090 with flag 46016/311079
80.45/77.99	c cleaning 8269 clauses out of 16554 with flag 65213/320079
83.38/80.52	c cleaning 9135 clauses out of 18285 with flag 86285/330079
86.08/83.23	c cleaning 10068 clauses out of 20150 with flag 108943/341079
88.98/86.16	c cleaning 11028 clauses out of 22082 with flag 134680/353079
92.28/89.42	c cleaning 12021 clauses out of 24055 with flag 162437/366080
95.48/92.69	c Got one! Elapsed wall clock time (in seconds):92.58
95.48/92.69	o 1264
96.78/93.99	c cleaning 14966 clauses out of 29946 with flag 10357/383992
98.28/95.47	c cleaning 10480 clauses out of 20981 with flag 23010/389993
99.88/97.10	c cleaning 8739 clauses out of 17500 with flag 37804/396992
101.78/98.95	c cleaning 8372 clauses out of 16761 with flag 54652/404992
101.88/99.05	c Got one! Elapsed wall clock time (in seconds):98.936
101.88/99.05	o 1261
102.28/99.44	c Got one! Elapsed wall clock time (in seconds):99.326
102.28/99.44	o 1259
102.38/99.51	c Got one! Elapsed wall clock time (in seconds):99.398
102.38/99.51	o 1257
102.38/99.53	c Got one! Elapsed wall clock time (in seconds):99.413
102.38/99.53	o 1256
102.38/99.53	c Got one! Elapsed wall clock time (in seconds):99.418
102.38/99.53	o 1255
102.38/99.54	c Got one! Elapsed wall clock time (in seconds):99.426
102.38/99.54	o 1253
103.28/100.49	c cleaning 7483 clauses out of 14989 with flag 8517/411592
104.68/101.82	c Got one! Elapsed wall clock time (in seconds):101.709
104.68/101.82	o 1252
105.88/103.03	c cleaning 9235 clauses out of 18486 with flag 10329/422572
107.28/104.41	c cleaning 7618 clauses out of 15253 with flag 23091/428574
108.08/105.26	c Got one! Elapsed wall clock time (in seconds):105.149
108.08/105.26	o 1251
108.28/105.41	c Got one! Elapsed wall clock time (in seconds):105.291
108.28/105.41	o 1249
109.29/106.04	c cleaning 7053 clauses out of 14128 with flag 4258/435067
110.69/107.41	c cleaning 6524 clauses out of 13078 with flag 16762/441070
112.20/109.00	c cleaning 6765 clauses out of 13551 with flag 31344/448067
114.09/110.83	c cleaning 7382 clauses out of 14786 with flag 47752/456067
116.19/112.98	c cleaning 8193 clauses out of 16404 with flag 66244/465067
118.59/115.34	c cleaning 9097 clauses out of 18211 with flag 87303/475067
121.20/117.96	c cleaning 10042 clauses out of 20114 with flag 110473/486067
124.10/120.86	c cleaning 11030 clauses out of 22073 with flag 135233/498068
127.30/124.09	c cleaning 12010 clauses out of 24042 with flag 161852/511067
130.91/127.65	c cleaning 13009 clauses out of 26034 with flag 190846/525069
134.70/131.47	c cleaning 14001 clauses out of 28023 with flag 221775/540067
138.80/135.53	c cleaning 15005 clauses out of 30022 with flag 255064/556067
143.00/139.71	c cleaning 16000 clauses out of 32018 with flag 291119/573068
144.70/141.41	c Got one! Elapsed wall clock time (in seconds):141.301
144.70/141.41	o 1248
146.00/142.73	c cleaning 14140 clauses out of 28289 with flag 10435/585339
147.51/144.21	c cleaning 10070 clauses out of 20150 with flag 23252/591340
149.99/146.14	c cleaning 8534 clauses out of 17080 with flag 38397/598340
151.98/148.16	c cleaning 8264 clauses out of 16545 with flag 55562/606339
154.28/150.40	c cleaning 8635 clauses out of 17280 with flag 74500/615338
156.79/152.96	c cleaning 9318 clauses out of 18651 with flag 96074/625344
159.58/155.76	c cleaning 10151 clauses out of 20327 with flag 119682/636338
161.88/158.04	c Got one! Elapsed wall clock time (in seconds):157.925
161.88/158.04	o 1247
163.18/159.39	c cleaning 12307 clauses out of 24631 with flag 10309/650793
164.78/160.90	c cleaning 9153 clauses out of 18324 with flag 22667/656793
166.48/162.63	c cleaning 8077 clauses out of 16172 with flag 37093/663794
168.48/164.65	c cleaning 8038 clauses out of 16095 with flag 53582/671794
170.78/166.94	c cleaning 8518 clauses out of 17057 with flag 72526/680794
173.28/169.49	c cleaning 9261 clauses out of 18538 with flag 93505/690793
176.08/172.29	c cleaning 10129 clauses out of 20278 with flag 116626/701794
179.28/175.45	c cleaning 11062 clauses out of 22148 with flag 141812/713793
182.68/178.83	c cleaning 12030 clauses out of 24086 with flag 169488/726793
186.28/182.49	c cleaning 13017 clauses out of 26056 with flag 198757/740793
190.37/186.57	c cleaning 14009 clauses out of 28042 with flag 229696/755796
195.56/191.11	c cleaning 15004 clauses out of 30030 with flag 262367/771793
200.06/195.68	c cleaning 16002 clauses out of 32030 with flag 296820/788797
204.96/200.52	c cleaning 17001 clauses out of 34024 with flag 333587/806793
210.16/205.78	c cleaning 17999 clauses out of 36026 with flag 371949/825796
215.67/211.27	c cleaning 19001 clauses out of 38025 with flag 412219/845794
221.46/217.08	c cleaning 20001 clauses out of 40023 with flag 454472/866793
223.86/219.48	c Got one! Elapsed wall clock time (in seconds):219.37
223.86/219.48	o 1246
225.26/220.82	c cleaning 17310 clauses out of 34650 with flag 10325/881421
226.76/222.31	c cleaning 11655 clauses out of 23339 with flag 22737/887420
228.36/223.99	c cleaning 9335 clauses out of 18684 with flag 37588/894420
230.26/225.86	c cleaning 8666 clauses out of 17349 with flag 54683/902420
232.36/227.99	c cleaning 8831 clauses out of 17683 with flag 73437/911420
234.76/230.34	c cleaning 9410 clauses out of 18854 with flag 94330/921422
237.35/232.93	c cleaning 10208 clauses out of 20442 with flag 117866/932420
240.25/235.82	c cleaning 11103 clauses out of 22235 with flag 143145/944421
243.35/238.95	c cleaning 12053 clauses out of 24132 with flag 171163/957421
246.85/242.41	c cleaning 13030 clauses out of 26079 with flag 200593/971421
251.30/246.38	c cleaning 14014 clauses out of 28051 with flag 232343/986423
255.40/250.45	c cleaning 15005 clauses out of 30036 with flag 265474/1002422
259.70/254.75	c cleaning 15998 clauses out of 32029 with flag 300507/1019420
264.40/259.42	c cleaning 16993 clauses out of 34031 with flag 337504/1037420
269.40/264.42	c cleaning 18011 clauses out of 36040 with flag 376371/1056422
274.90/269.91	c cleaning 19001 clauses out of 38027 with flag 417943/1076420
280.49/275.57	c cleaning 20000 clauses out of 40026 with flag 462747/1097420
286.49/281.60	c cleaning 20999 clauses out of 42029 with flag 508695/1119423
287.70/282.80	c Got one! Elapsed wall clock time (in seconds):282.687
287.70/282.80	o 1245
287.99/283.09	c cleaning 13459 clauses out of 26938 with flag 2134/1125331
289.39/284.49	c cleaning 9725 clauses out of 19477 with flag 14501/1131329
290.00/285.07	c Got one! Elapsed wall clock time (in seconds):284.956
290.00/285.07	o 1244
290.69/285.80	c cleaning 7683 clauses out of 15387 with flag 6616/1136964
290.79/285.81	c Got one! Elapsed wall clock time (in seconds):285.699
290.79/285.81	o 1243
291.00/286.02	c Got one! Elapsed wall clock time (in seconds):285.909
291.00/286.02	o 1240
291.00/286.06	c Got one! Elapsed wall clock time (in seconds):285.95
291.00/286.06	o 1238
292.20/287.23	c cleaning 6937 clauses out of 13908 with flag 10488/1143168
293.49/288.60	c cleaning 6475 clauses out of 12971 with flag 22892/1149168
295.19/290.21	c cleaning 6739 clauses out of 13496 with flag 37228/1156168
296.99/292.06	c cleaning 7365 clauses out of 14757 with flag 53697/1164168
299.09/294.16	c cleaning 8183 clauses out of 16393 with flag 71947/1173169
301.40/296.48	c cleaning 9095 clauses out of 18209 with flag 93041/1183168
304.54/299.25	c cleaning 10042 clauses out of 20115 with flag 116365/1194169
307.33/302.10	c cleaning 11026 clauses out of 22076 with flag 142161/1206172
310.43/305.16	c Got one! Elapsed wall clock time (in seconds):305.043
310.43/305.16	o 1237
310.63/305.36	c Got one! Elapsed wall clock time (in seconds):305.242
310.63/305.36	o 1235
310.73/305.41	c Got one! Elapsed wall clock time (in seconds):305.295
310.73/305.41	o 1232
310.73/305.42	c Got one! Elapsed wall clock time (in seconds):305.31
310.73/305.42	o 1230
312.13/306.81	c cleaning 14994 clauses out of 30009 with flag 10758/1225131
313.63/308.30	c cleaning 10497 clauses out of 21015 with flag 23150/1231131
315.23/309.94	c cleaning 8744 clauses out of 17518 with flag 37906/1238131
317.13/311.80	c cleaning 8373 clauses out of 16777 with flag 54857/1246134
319.23/313.93	c cleaning 8690 clauses out of 17402 with flag 74288/1255132
321.53/316.29	c cleaning 9343 clauses out of 18712 with flag 96264/1265132
324.13/318.87	c cleaning 10174 clauses out of 20369 with flag 120082/1276132
327.03/321.77	c cleaning 11085 clauses out of 22194 with flag 146229/1288131
330.24/324.96	c cleaning 12040 clauses out of 24109 with flag 174234/1301131
333.74/328.45	c cleaning 13022 clauses out of 26070 with flag 204102/1315132
337.44/332.17	c cleaning 14009 clauses out of 28047 with flag 236621/1330131
341.44/336.19	c cleaning 15004 clauses out of 30038 with flag 272372/1346131
345.74/340.44	c cleaning 15999 clauses out of 32035 with flag 308403/1363132
350.34/345.06	c cleaning 17005 clauses out of 34036 with flag 346674/1381132
355.59/350.12	c cleaning 18013 clauses out of 36031 with flag 387179/1400132
361.09/355.68	c cleaning 19002 clauses out of 38018 with flag 429540/1420132
366.79/361.37	c cleaning 19998 clauses out of 40015 with flag 473559/1441131
372.90/367.49	c cleaning 21001 clauses out of 42018 with flag 518940/1463132
379.29/373.80	c cleaning 21999 clauses out of 44016 with flag 566205/1486131
386.01/380.57	c cleaning 23000 clauses out of 46017 with flag 616362/1510131
393.11/387.61	c cleaning 24003 clauses out of 48017 with flag 670572/1535131
400.71/395.22	c cleaning 24995 clauses out of 50014 with flag 725376/1561131
409.43/403.56	c cleaning 26001 clauses out of 52021 with flag 781756/1588133
417.53/411.66	c cleaning 27000 clauses out of 54018 with flag 841355/1616131
425.93/420.09	c cleaning 27999 clauses out of 56019 with flag 902774/1645132
434.53/428.60	c cleaning 29000 clauses out of 58019 with flag 969505/1675131
443.34/437.49	c cleaning 29996 clauses out of 60020 with flag 1038161/1706132
452.34/446.49	c cleaning 31002 clauses out of 62023 with flag 1107966/1738131
462.39/455.90	c cleaning 32000 clauses out of 64022 with flag 1180488/1771132
471.89/465.41	c cleaning 33001 clauses out of 66022 with flag 1255025/1805132
477.49/471.03	c Got one! Elapsed wall clock time (in seconds):470.914
477.49/471.03	o 1229
478.99/472.59	c cleaning 29804 clauses out of 59623 with flag 11351/1831734
480.59/474.15	c cleaning 17903 clauses out of 35819 with flag 24254/1837734
482.30/475.87	c cleaning 12450 clauses out of 24917 with flag 38755/1844735
484.19/477.79	c cleaning 10222 clauses out of 20466 with flag 55914/1852734
486.39/479.95	c cleaning 9613 clauses out of 19245 with flag 75549/1861735
488.70/482.28	c cleaning 9803 clauses out of 19631 with flag 96978/1871734
491.29/484.86	c cleaning 10406 clauses out of 20829 with flag 119930/1882735
494.20/487.73	c cleaning 11205 clauses out of 22426 with flag 145680/1894738
497.40/490.94	c cleaning 12101 clauses out of 24218 with flag 174112/1907735
501.18/494.54	c cleaning 13053 clauses out of 26121 with flag 203286/1921739
504.99/498.34	c cleaning 14016 clauses out of 28063 with flag 237611/1936734
508.99/502.37	c cleaning 15011 clauses out of 30047 with flag 273066/1952734
513.39/506.72	c cleaning 16006 clauses out of 32037 with flag 310485/1969735
517.99/511.38	c cleaning 17001 clauses out of 34031 with flag 349203/1987735
523.08/516.42	c cleaning 17997 clauses out of 36029 with flag 389549/2006734
526.38/519.77	c Got one! Elapsed wall clock time (in seconds):519.652
526.38/519.77	o 1228
527.78/521.19	c cleaning 18306 clauses out of 36627 with flag 11215/2025329
529.38/522.70	c cleaning 12150 clauses out of 24320 with flag 24534/2031328
530.99/524.38	c cleaning 9572 clauses out of 19170 with flag 40144/2038328
532.89/526.25	c cleaning 8788 clauses out of 17600 with flag 57848/2046330
534.99/528.35	c cleaning 8893 clauses out of 17811 with flag 77201/2055329
537.29/530.66	c cleaning 9445 clauses out of 18918 with flag 97607/2065329
540.26/533.32	c cleaning 10224 clauses out of 20474 with flag 120932/2076330
543.16/536.21	c cleaning 11110 clauses out of 22249 with flag 146183/2088329
546.36/539.41	c cleaning 12057 clauses out of 24138 with flag 173760/2101328
549.76/542.86	c cleaning 13029 clauses out of 26082 with flag 203817/2115329
551.06/544.17	c Got one! Elapsed wall clock time (in seconds):544.053
551.06/544.17	o 1227
552.36/545.47	c cleaning 11808 clauses out of 23647 with flag 11089/2125923
552.96/546.07	c Got one! Elapsed wall clock time (in seconds):545.959
552.96/546.07	o 1226
553.16/546.20	c Got one! Elapsed wall clock time (in seconds):546.085
553.16/546.20	o 1224
553.86/546.92	c cleaning 8996 clauses out of 18022 with flag 6413/2132106
555.16/548.28	c cleaning 7501 clauses out of 15027 with flag 19070/2138107
556.76/549.89	c cleaning 7253 clauses out of 14525 with flag 33702/2145106
558.66/551.78	c cleaning 7630 clauses out of 15272 with flag 50326/2153106
560.76/553.89	c cleaning 8312 clauses out of 16642 with flag 69748/2162106
563.16/556.23	c cleaning 9146 clauses out of 18330 with flag 90415/2172106
565.66/558.80	c cleaning 10080 clauses out of 20184 with flag 112968/2183106
568.56/561.62	c cleaning 11036 clauses out of 22105 with flag 137673/2195107
571.66/564.70	c cleaning 12020 clauses out of 24068 with flag 164290/2208106
575.06/568.12	c cleaning 13014 clauses out of 26049 with flag 194193/2222107
578.97/571.97	c cleaning 14009 clauses out of 28034 with flag 226790/2237106
582.86/575.88	c cleaning 15006 clauses out of 30025 with flag 262935/2253106
587.16/580.16	c cleaning 15993 clauses out of 32019 with flag 300746/2270106
591.76/584.71	c cleaning 17006 clauses out of 34028 with flag 340512/2288108
596.46/589.44	c cleaning 18001 clauses out of 36021 with flag 381110/2307107
601.56/594.57	c cleaning 19001 clauses out of 38020 with flag 423561/2327107
607.07/600.01	c cleaning 19998 clauses out of 40021 with flag 467501/2348109
612.87/605.82	c cleaning 21004 clauses out of 42022 with flag 513543/2370108
619.06/611.98	c cleaning 21996 clauses out of 44017 with flag 561294/2393107
625.56/618.41	c cleaning 23000 clauses out of 46020 with flag 611505/2417106
632.16/625.02	c cleaning 24000 clauses out of 48023 with flag 663619/2442109
639.06/631.97	c cleaning 25000 clauses out of 50023 with flag 718168/2468109
646.46/639.36	c cleaning 26000 clauses out of 52021 with flag 774442/2495107
654.68/647.33	c cleaning 27000 clauses out of 54020 with flag 832141/2523106
663.09/655.74	c cleaning 28003 clauses out of 56022 with flag 892883/2552108
671.68/664.35	c cleaning 28996 clauses out of 58017 with flag 955295/2582106
680.69/673.37	c cleaning 29998 clauses out of 60021 with flag 1022481/2613106
689.78/682.41	c cleaning 31000 clauses out of 62025 with flag 1090734/2645108
698.26/690.70	c Got one! Elapsed wall clock time (in seconds):690.583
698.26/690.70	o 1223
699.96/692.41	c cleaning 32904 clauses out of 65817 with flag 11135/2679900
701.67/694.16	c cleaning 19450 clauses out of 38913 with flag 24480/2685900
703.46/695.98	c cleaning 13221 clauses out of 26463 with flag 39681/2692900
705.56/698.01	c cleaning 10612 clauses out of 21241 with flag 57371/2700899
707.76/700.27	c cleaning 9804 clauses out of 19630 with flag 77266/2709900
710.26/702.77	c cleaning 9906 clauses out of 19825 with flag 100521/2719899
713.06/705.57	c cleaning 10455 clauses out of 20921 with flag 125388/2730901
716.16/708.64	c cleaning 11227 clauses out of 22464 with flag 152330/2742899
719.56/712.02	c cleaning 12105 clauses out of 24237 with flag 181413/2755899
723.16/715.69	c cleaning 13059 clauses out of 26132 with flag 211805/2769899
727.39/719.73	c cleaning 14029 clauses out of 28074 with flag 244268/2784900
731.50/723.84	c cleaning 15011 clauses out of 30045 with flag 277644/2800900
736.00/728.34	c cleaning 16004 clauses out of 32033 with flag 315876/2817899
740.69/733.04	c cleaning 17006 clauses out of 34031 with flag 355082/2835901
742.99/735.30	c Got one! Elapsed wall clock time (in seconds):735.191
742.99/735.30	o 1221
744.29/736.69	c cleaning 15556 clauses out of 31133 with flag 11446/2850009
745.79/738.20	c cleaning 10776 clauses out of 21577 with flag 24984/2856009
747.58/739.93	c cleaning 8890 clauses out of 17801 with flag 41340/2863009
749.48/741.89	c cleaning 8447 clauses out of 16912 with flag 59773/2871010
751.78/744.11	c cleaning 8722 clauses out of 17466 with flag 81098/2880011
754.18/746.58	c cleaning 9361 clauses out of 18742 with flag 104074/2890009
757.05/749.34	c cleaning 10182 clauses out of 20381 with flag 128376/2901009
760.05/752.33	c cleaning 11088 clauses out of 22199 with flag 154791/2913009
763.36/755.63	c cleaning 12043 clauses out of 24113 with flag 184170/2926011
766.95/759.22	c cleaning 13024 clauses out of 26068 with flag 213846/2940009
770.75/763.09	c cleaning 14011 clauses out of 28045 with flag 245902/2955010
774.95/767.28	c cleaning 15004 clauses out of 30033 with flag 279596/2971009
779.35/771.69	c cleaning 15994 clauses out of 32030 with flag 315603/2988010
784.15/776.46	c cleaning 17008 clauses out of 34036 with flag 355842/3006010
789.55/781.71	c cleaning 18007 clauses out of 36027 with flag 398387/3025009
794.65/786.82	c cleaning 19000 clauses out of 38020 with flag 441341/3045009
800.05/792.20	c cleaning 20001 clauses out of 40022 with flag 487703/3066011
805.65/797.87	c cleaning 20999 clauses out of 42020 with flag 536780/3088010
811.55/803.79	c cleaning 22002 clauses out of 44021 with flag 586501/3111010
818.64/810.62	c cleaning 22994 clauses out of 46018 with flag 639905/3135009
825.74/817.75	c cleaning 23999 clauses out of 48025 with flag 693985/3160010
833.24/825.25	c cleaning 25001 clauses out of 50026 with flag 750614/3186010
840.93/832.91	c cleaning 26001 clauses out of 52026 with flag 810323/3213011
849.72/841.49	c cleaning 27001 clauses out of 54024 with flag 873653/3241010
858.42/850.15	c cleaning 27998 clauses out of 56022 with flag 936906/3270009
867.31/859.02	c cleaning 28998 clauses out of 58025 with flag 1001531/3300010
876.61/868.35	c cleaning 29998 clauses out of 60030 with flag 1069256/3331013
886.61/878.14	c cleaning 31008 clauses out of 62029 with flag 1139696/3363010
896.41/887.99	c cleaning 31996 clauses out of 64020 with flag 1214735/3396009
906.71/898.21	c cleaning 33003 clauses out of 66024 with flag 1288563/3430009
917.68/909.04	c cleaning 34000 clauses out of 68022 with flag 1363448/3465010
928.58/919.92	c cleaning 34997 clauses out of 70023 with flag 1439389/3501011
939.88/931.30	c cleaning 36001 clauses out of 72024 with flag 1520031/3538009
951.98/943.16	c cleaning 37002 clauses out of 74028 with flag 1601140/3576014
963.80/954.92	c cleaning 38000 clauses out of 76022 with flag 1682776/3615010
976.78/967.62	c cleaning 39001 clauses out of 78021 with flag 1768949/3655009
989.38/980.23	c cleaning 39996 clauses out of 80021 with flag 1857362/3696010
1001.21/991.84	c Got one! Elapsed wall clock time (in seconds):991.729
1001.21/991.84	o 1220
1003.21/993.88	c cleaning 40997 clauses out of 82006 with flag 11184/3737991
1005.11/995.71	c cleaning 23494 clauses out of 47009 with flag 25256/3743991
1007.01/997.63	c cleaning 15253 clauses out of 30515 with flag 41993/3750991
1009.11/999.72	c cleaning 11623 clauses out of 23264 with flag 59904/3758993
1011.41/1002.03	c cleaning 10313 clauses out of 20645 with flag 80486/3767997
1013.81/1004.48	c cleaning 10149 clauses out of 20327 with flag 102522/3777992
1016.61/1007.22	c cleaning 10574 clauses out of 21177 with flag 126957/3788991
1019.51/1010.18	c cleaning 11288 clauses out of 22603 with flag 153361/3800991
1023.11/1013.57	c cleaning 12147 clauses out of 24315 with flag 183433/3813991
1026.61/1017.09	c cleaning 13074 clauses out of 26168 with flag 213942/3827991
1030.52/1020.93	c cleaning 14035 clauses out of 28095 with flag 246718/3842992
1034.62/1025.01	c cleaning 15015 clauses out of 30060 with flag 282008/3858992
1039.02/1029.45	c cleaning 16008 clauses out of 32045 with flag 319777/3875992
1043.81/1034.28	c cleaning 17010 clauses out of 34036 with flag 360798/3893991
1048.80/1039.19	c cleaning 18004 clauses out of 36026 with flag 404240/3912991
1054.00/1044.38	c cleaning 19000 clauses out of 38023 with flag 448878/3932992
1059.40/1049.78	c cleaning 19999 clauses out of 40022 with flag 496552/3953991
1065.39/1055.54	c cleaning 20997 clauses out of 42023 with flag 547189/3975991
1070.99/1061.15	c cleaning 21997 clauses out of 44027 with flag 600050/3998992
1076.99/1067.15	c cleaning 23002 clauses out of 46030 with flag 653407/4022992
1083.39/1073.52	c cleaning 24001 clauses out of 48028 with flag 709350/4047992
1090.15/1080.28	c cleaning 25001 clauses out of 50026 with flag 766933/4073991
1097.05/1087.17	c cleaning 25996 clauses out of 52025 with flag 824951/4100991
1104.25/1094.37	c cleaning 27001 clauses out of 54029 with flag 888010/4128991
1112.14/1102.15	c cleaning 28000 clauses out of 56028 with flag 950096/4157991
1120.24/1110.21	c cleaning 29001 clauses out of 58029 with flag 1016532/4187992
1129.06/1118.97	c cleaning 29994 clauses out of 60027 with flag 1085616/4218991
1137.77/1127.68	c cleaning 31006 clauses out of 62034 with flag 1156351/4250992
1147.92/1137.68	c cleaning 32002 clauses out of 64027 with flag 1228045/4283991
1157.64/1147.39	c cleaning 32998 clauses out of 66025 with flag 1301979/4317991
1162.43/1152.19	c Got one! Elapsed wall clock time (in seconds):1152.077
1162.43/1152.19	o 1219
1164.32/1153.85	c cleaning 28045 clauses out of 56116 with flag 11111/4341080
1165.82/1155.38	c cleaning 17029 clauses out of 34072 with flag 25124/4347081
1167.52/1157.07	c cleaning 12010 clauses out of 24042 with flag 41571/4354080
1169.42/1158.92	c cleaning 10006 clauses out of 20034 with flag 60063/4362082
1171.52/1161.02	c cleaning 9501 clauses out of 19026 with flag 81290/4371080
1173.82/1163.34	c cleaning 9753 clauses out of 19525 with flag 102987/4381080
1176.42/1165.90	c cleaning 10375 clauses out of 20774 with flag 126525/4392082
1179.12/1168.69	c cleaning 11189 clauses out of 22397 with flag 151663/4404080
1182.27/1171.77	c cleaning 12091 clauses out of 24209 with flag 179243/4417081
1185.57/1175.09	c cleaning 13046 clauses out of 26117 with flag 208657/4431080
1189.27/1178.79	c cleaning 14019 clauses out of 28071 with flag 241261/4446080
1193.27/1182.76	c cleaning 15017 clauses out of 30052 with flag 276321/4462080
1197.95/1187.36	c cleaning 16008 clauses out of 32035 with flag 313375/4479080
1202.55/1191.93	c cleaning 17000 clauses out of 34027 with flag 353476/4497080
1207.35/1196.79	c cleaning 17997 clauses out of 36027 with flag 395920/4516080
1213.05/1202.39	c cleaning 19001 clauses out of 38031 with flag 440124/4536081
1218.84/1208.12	c cleaning 20005 clauses out of 40030 with flag 487807/4557081
1224.94/1214.24	c cleaning 20999 clauses out of 42024 with flag 535463/4579080
1231.76/1220.91	c cleaning 22004 clauses out of 44025 with flag 585965/4602080
1238.47/1227.70	c cleaning 22992 clauses out of 46021 with flag 638459/4626080
1245.79/1234.89	c cleaning 24003 clauses out of 48029 with flag 691687/4651080
1252.89/1241.98	c cleaning 25000 clauses out of 50027 with flag 747475/4677081
1260.92/1249.80	c cleaning 26002 clauses out of 52027 with flag 806389/4704081
1268.72/1257.64	c cleaning 26999 clauses out of 54026 with flag 865127/4732082
1277.12/1265.98	c cleaning 27995 clauses out of 56026 with flag 927059/4761081
1285.82/1274.68	c cleaning 29002 clauses out of 58031 with flag 991685/4791081
1295.51/1284.29	c cleaning 30000 clauses out of 60029 with flag 1060263/4822081
1305.29/1293.88	c cleaning 31002 clauses out of 62029 with flag 1129431/4854081
1314.99/1303.57	c cleaning 32000 clauses out of 64027 with flag 1198820/4887081
1325.48/1313.97	c cleaning 33000 clauses out of 66026 with flag 1272927/4921080
1336.53/1324.82	c cleaning 33999 clauses out of 68027 with flag 1351244/4956081
1348.12/1336.20	c cleaning 34999 clauses out of 70027 with flag 1428960/4992080
1359.52/1347.65	c cleaning 36003 clauses out of 72028 with flag 1510549/5029080
1371.40/1359.49	c cleaning 37001 clauses out of 74027 with flag 1594626/5067082
1383.81/1371.75	c cleaning 37998 clauses out of 76024 with flag 1682260/5106080
1396.59/1384.41	c cleaning 38994 clauses out of 78027 with flag 1772217/5146081
1410.37/1397.94	c cleaning 40003 clauses out of 80032 with flag 1867976/5187080
1424.87/1412.22	c cleaning 41000 clauses out of 82029 with flag 1960776/5229080
1439.51/1426.77	c cleaning 42007 clauses out of 84030 with flag 2059053/5272081
1453.65/1440.63	c cleaning 42999 clauses out of 86022 with flag 2154722/5316080
1467.78/1454.67	c cleaning 44004 clauses out of 88023 with flag 2251184/5361080
1483.73/1470.28	c cleaning 44998 clauses out of 90020 with flag 2355346/5407081
1500.21/1486.19	c cleaning 46006 clauses out of 92022 with flag 2455117/5454081
1516.20/1501.83	c cleaning 46995 clauses out of 94016 with flag 2555189/5502081
1533.08/1518.34	c cleaning 48001 clauses out of 96021 with flag 2661098/5551081
1551.67/1536.60	c cleaning 49004 clauses out of 98021 with flag 2771115/5601082
1569.63/1554.39	c cleaning 49998 clauses out of 100015 with flag 2884305/5652080
1588.56/1572.96	c cleaning 50992 clauses out of 102018 with flag 2997624/5704081
1606.79/1590.81	c cleaning 52004 clauses out of 104026 with flag 3111259/5757081
1625.96/1609.77	c cleaning 53001 clauses out of 106021 with flag 3228643/5811080
1646.75/1630.29	c cleaning 53998 clauses out of 108020 with flag 3349034/5866080
1666.89/1650.00	c cleaning 54994 clauses out of 110024 with flag 3469806/5922082
1686.43/1669.12	c cleaning 56000 clauses out of 112029 with flag 3591746/5979081
1693.05/1675.73	c Got one! Elapsed wall clock time (in seconds):1675.612
1693.05/1675.73	o 1218
1695.09/1677.66	c cleaning 42525 clauses out of 85073 with flag 10849/6008125
1696.98/1679.53	c cleaning 24261 clauses out of 48548 with flag 23303/6014125
1697.78/1680.37	c Got one! Elapsed wall clock time (in seconds):1680.258
1697.78/1680.37	o 1217
1697.88/1680.43	c Got one! Elapsed wall clock time (in seconds):1680.315
1697.88/1680.43	o 1214
1697.88/1680.47	c Got one! Elapsed wall clock time (in seconds):1680.352
1697.88/1680.47	o 1212
1698.48/1681.07	c cleaning 15038 clauses out of 30090 with flag 4451/6019928
1699.98/1682.55	c cleaning 10519 clauses out of 21053 with flag 17548/6025929
1701.73/1684.26	c cleaning 8748 clauses out of 17533 with flag 32974/6032928
1703.63/1686.17	c cleaning 8382 clauses out of 16787 with flag 50525/6040930
1704.82/1687.35	c Got one! Elapsed wall clock time (in seconds):1687.236
1704.82/1687.35	o 1211
1705.27/1687.74	c Got one! Elapsed wall clock time (in seconds):1687.628
1705.27/1687.74	o 1209
1705.37/1687.87	c Got one! Elapsed wall clock time (in seconds):1687.753
1705.37/1687.87	o 1206
1705.37/1687.88	c Got one! Elapsed wall clock time (in seconds):1687.762
1705.37/1687.88	o 1204
1706.37/1688.89	c cleaning 9782 clauses out of 19585 with flag 8908/6052110
1707.77/1690.26	c cleaning 7892 clauses out of 15802 with flag 22320/6058109
1709.38/1691.82	c cleaning 7445 clauses out of 14911 with flag 38393/6065110
1711.19/1693.67	c cleaning 7722 clauses out of 15466 with flag 56743/6073110
1713.39/1695.89	c cleaning 8364 clauses out of 16744 with flag 78750/6082110
1715.92/1698.36	c cleaning 9181 clauses out of 18382 with flag 101529/6092112
1718.62/1701.09	c cleaning 10087 clauses out of 20199 with flag 126210/6103110
1721.58/1704.00	c cleaning 11048 clauses out of 22111 with flag 152491/6115109
1724.87/1707.11	c cleaning 12017 clauses out of 24063 with flag 181507/6128109
1728.28/1710.54	c cleaning 13014 clauses out of 26047 with flag 212753/6142110
1732.02/1714.24	c cleaning 13995 clauses out of 28032 with flag 245351/6157109
1736.11/1718.27	c cleaning 15007 clauses out of 30037 with flag 279877/6173109
1740.58/1722.64	c cleaning 16007 clauses out of 32033 with flag 317238/6190112
1745.45/1727.41	c cleaning 16997 clauses out of 34024 with flag 356613/6208110
1750.83/1732.74	c cleaning 17996 clauses out of 36026 with flag 398468/6227109
1756.50/1738.33	c cleaning 18999 clauses out of 38031 with flag 442575/6247110
1762.48/1744.29	c cleaning 20001 clauses out of 40032 with flag 488585/6268110
1768.76/1750.37	c cleaning 20995 clauses out of 42030 with flag 535493/6290109
1775.29/1756.76	c cleaning 22000 clauses out of 44036 with flag 584721/6313110
1781.97/1763.35	c cleaning 23005 clauses out of 46036 with flag 635899/6337110
1789.22/1770.54	c cleaning 24007 clauses out of 48033 with flag 690023/6362112
1797.30/1778.33	c cleaning 24998 clauses out of 50023 with flag 748010/6388109
1800.01/1781.01	c starts		: 124
1800.01/1781.01	c conflicts		: 6397895
1800.01/1781.01	c decisions		: 6460553
1800.01/1781.01	c propagations		: 198741673
1800.01/1781.01	c inspects		: 7838836714
1800.01/1781.01	c shortcuts		: 0
1800.01/1781.01	c learnt literals	: 0
1800.01/1781.01	c learnt binary clauses	: 0
1800.01/1781.01	c learnt ternary clauses	: 124
1800.01/1781.01	c learnt constraints	: 6397894
1800.01/1781.01	c ignored constraints	: 0
1800.01/1781.01	c root simplifications	: 0
1800.01/1781.01	c removed literals (reason simplification)	: 0
1800.01/1781.01	c reason swapping (by a shorter reason)	: 0
1800.01/1781.01	c Calls to reduceDB	: 359
1800.01/1781.01	c Number of update (reduction) of LBD	: 10798
1800.01/1781.01	c Imported unit clauses	: 0
1800.01/1781.01	c number of reductions to clauses (during analyze)	: 0
1800.01/1781.01	c number of learned constraints concerned by reduction	: 0
1800.01/1781.01	c number of learning phase by resolution	: 0
1800.01/1781.01	c number of learning phase by cutting planes	: 0
1800.01/1781.01	c speed (assignments/second)	: 111620.58139489169
1800.01/1781.01	c non guided choices	2
1800.01/1781.02	c learnt constraints type 
1800.01/1781.02	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 34811
1800.01/1781.02	s SATISFIABLE
1800.01/1781.02	c Found 123 solution(s)
1800.01/1781.02	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 
1800.01/1781.02	c objective function=1204
1800.01/1781.02	c Total wall clock time (in seconds): 1780.909

Verifier Data 

OK	1204

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-4119510-1467260990/watcher-4119510-1467260990 -o /tmp/evaluation-result-4119510-1467260990/solver-4119510-1467260990 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node115-1467248476-6484 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4119510-1467260990.opb 

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

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


[startup+0 s]
/proc/loadavg: 2.26 2.21 2.18 3/194 8095
/proc/meminfo: memFree=30335996/32872528 swapFree=1100912/1182672
[pid=8095] ppid=8092 vsize=9292 CPUtime=0 cores=0,2,4,6
/proc/8095/stat : 8095 (java) D 8092 8095 6303 0 -1 4202496 328 0 0 0 0 0 0 0 20 0 1 0 5128203 9515008 184 33554432000 1073741824 1073778376 140736787885984 140736787877208 271787388343 0 0 4096 0 18446744072100588836 0 0 17 4 0 0 0 0 0
/proc/8095/statm: 2323 184 142 9 0 71 0

[startup+0.100061 s]
/proc/loadavg: 2.26 2.21 2.18 3/194 8095
/proc/meminfo: memFree=30335996/32872528 swapFree=1100912/1182672
[pid=8095] ppid=8092 vsize=9558476 CPUtime=0.09 cores=0,2,4,6
/proc/8095/stat : 8095 (java) S 8092 8095 6303 0 -1 4202496 4413 0 1 0 8 1 0 0 20 0 18 0 5128203 9787879424 6044 33554432000 1073741824 1073778376 140734970552960 140734970544096 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/8095/statm: 2389619 6044 2125 9 0 2380296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558476

[startup+0.200223 s]
/proc/loadavg: 2.26 2.21 2.18 3/194 8095
/proc/meminfo: memFree=30335996/32872528 swapFree=1100912/1182672
[pid=8095] ppid=8092 vsize=9558476 CPUtime=0.23 cores=0,2,4,6
/proc/8095/stat : 8095 (java) S 8092 8095 6303 0 -1 4202496 4665 0 1 0 22 1 0 0 20 0 18 0 5128203 9787879424 6772 33554432000 1073741824 1073778376 140734970552960 140734970544096 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/8095/statm: 2389619 6772 2202 9 0 2380296 0
Current children cumulated CPU time (s) 0.23
Current children cumulated vsize (KiB) 9558476

[startup+0.300223 s]
/proc/loadavg: 2.26 2.21 2.18 3/194 8095
/proc/meminfo: memFree=30335996/32872528 swapFree=1100912/1182672
[pid=8095] ppid=8092 vsize=9558476 CPUtime=0.46 cores=0,2,4,6
/proc/8095/stat : 8095 (java) S 8092 8095 6303 0 -1 4202496 5693 0 1 0 44 2 0 0 20 0 18 0 5128203 9787879424 8404 33554432000 1073741824 1073778376 140734970552960 140734970544096 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/8095/statm: 2389619 8404 2245 9 0 2380296 0
Current children cumulated CPU time (s) 0.46
Current children cumulated vsize (KiB) 9558476

[startup+0.700187 s]
/proc/loadavg: 2.26 2.21 2.18 3/194 8095
/proc/meminfo: memFree=30335996/32872528 swapFree=1100912/1182672
[pid=8095] ppid=8092 vsize=9625040 CPUtime=1.65 cores=0,2,4,6
/proc/8095/stat : 8095 (java) S 8092 8095 6303 0 -1 4202496 12650 0 1 0 162 3 0 0 20 0 19 0 5128203 9856040960 16326 33554432000 1073741824 1073778376 140734970552960 140734970544096 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/8095/statm: 2406260 16326 2269 9 0 2396937 0
Current children cumulated CPU time (s) 1.65
Current children cumulated vsize (KiB) 9625040

[startup+1.50084 s]
/proc/loadavg: 2.26 2.21 2.18 3/213 8114
/proc/meminfo: memFree=30239924/32872528 swapFree=1100912/1182672
[pid=8095] ppid=8092 vsize=9625040 CPUtime=2.81 cores=0,2,4,6
/proc/8095/stat : 8095 (java) S 8092 8095 6303 0 -1 4202496 12857 0 1 0 277 4 0 0 20 0 19 0 5128203 9856040960 30179 33554432000 1073741824 1073778376 140734970552960 140734970544096 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/8095/statm: 2406260 30179 2275 9 0 2396937 0
[pid=8095/tid=8097] ppid=8092 vsize=9625040 CPUtime=1.46 cores=0,2,4,6
/proc/8095/task/8097/stat : 8097 (java) R 8092 8095 6303 0 -1 4202560 2462 0 1 0 144 2 0 0 20 0 19 0 5128204 9856040960 30179 33554432000 1073741824 1073778376 140734970552960 140189653885232 140189494907319 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=8095/tid=8098] ppid=8092 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8095/task/8098/stat : 8098 (java) S 8092 8095 6303 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5128205 9856040960 30179 33554432000 1073741824 1073778376 140734970552960 140189615384744 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8095/tid=8099] ppid=8092 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8095/task/8099/stat : 8099 (java) S 8092 8095 6303 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5128205 9856040960 30179 33554432000 1073741824 1073778376 140734970552960 140189614332200 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8095/tid=8100] ppid=8092 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8095/task/8100/stat : 8100 (java) S 8092 8095 6303 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5128205 9856040960 30179 33554432000 1073741824 1073778376 140734970552960 140189613279656 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8095/tid=8101] ppid=8092 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8095/task/8101/stat : 8101 (java) S 8092 8095 6303 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5128205 9856040960 30179 33554432000 1073741824 1073778376 140734970552960 140189494143528 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8095/tid=8102] ppid=8092 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8095/task/8102/stat : 8102 (java) S 8092 8095 6303 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5128205 9856040960 30179 33554432000 1073741824 1073778376 140734970552960 140189493090984 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8095/tid=8103] ppid=8092 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8095/task/8103/stat : 8103 (java) S 8092 8095 6303 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5128205 9856040960 30179 33554432000 1073741824 1073778376 140734970552960 140189492038440 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8095/tid=8104] ppid=8092 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8095/task/8104/stat : 8104 (java) S 8092 8095 6303 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5128205 9856040960 30179 33554432000 1073741824 1073778376 140734970552960 140189490985896 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8095/tid=8105] ppid=8092 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8095/task/8105/stat : 8105 (java) S 8092 8095 6303 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 5128205 9856040960 30179 33554432000 1073741824 1073778376 140734970552960 140189489933352 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8095/tid=8106] ppid=8092 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8095/task/8106/stat : 8106 (java) S 8092 8095 6303 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 5128207 9856040960 30179 33554432000 1073741824 1073778376 140734970552960 140189007603816 271790946217 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8095/tid=8107] ppid=8092 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8095/task/8107/stat : 8107 (java) S 8092 8095 6303 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 5128207 9856040960 30179 33554432000 1073741824 1073778376 140734970552960 140189006550136 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8095/tid=8108] ppid=8092 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8095/task/8108/stat : 8108 (java) S 8092 8095 6303 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 5128207 9856040960 30179 33554432000 1073741824 1073778376 140734970552960 140189005497480 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8095/tid=8109] ppid=8092 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8095/task/8109/stat : 8109 (java) S 8092 8095 6303 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5128209 9856040960 30179 33554432000 1073741824 1073778376 140734970552960 140189004446224 271790954272 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8095/tid=8110] ppid=8092 vsize=9625040 CPUtime=0.64 cores=0,2,4,6
/proc/8095/task/8110/stat : 8110 (java) S 8092 8095 6303 0 -1 4202560 3918 0 0 0 63 1 0 0 20 0 19 0 5128209 9856040960 30179 33554432000 1073741824 1073778376 140734970552960 140189003393592 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8095/tid=8111] ppid=8092 vsize=9625040 CPUtime=0.66 cores=0,2,4,6
/proc/8095/task/8111/stat : 8111 (java) S 8092 8095 6303 0 -1 4202560 5200 0 0 0 66 0 0 0 20 0 19 0 5128209 9856040960 30179 33554432000 1073741824 1073778376 140734970552960 140189002341048 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8095/tid=8112] ppid=8092 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8095/task/8112/stat : 8112 (java) S 8092 8095 6303 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5128209 9856040960 30179 33554432000 1073741824 1073778376 140734970552960 140189001288696 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8095/tid=8113] ppid=8092 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8095/task/8113/stat : 8113 (java) S 8092 8095 6303 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5128209 9856040960 30179 33554432000 1073741824 1073778376 140734970552960 140189000236360 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8095/tid=8114] ppid=8092 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8095/task/8114/stat : 8114 (java) S 8092 8095 6303 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 5128253 9856040960 30179 33554432000 1073741824 1073778376 140734970552960 140188999181096 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 2.81
Current children cumulated vsize (KiB) 9625040

[startup+3.10084 s]
/proc/loadavg: 2.26 2.21 2.18 3/213 8114
/proc/meminfo: memFree=30198592/32872528 swapFree=1100912/1182672
[pid=8095] ppid=8092 vsize=9625040 CPUtime=4.6 cores=0,2,4,6
/proc/8095/stat : 8095 (java) S 8092 8095 6303 0 -1 4202496 13155 0 1 0 448 12 0 0 20 0 19 0 5128203 9856040960 57404 33554432000 1073741824 1073778376 140734970552960 140734970544096 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/8095/statm: 2406260 57404 2292 9 0 2396937 0
[pid=8095/tid=8097] ppid=8092 vsize=9625040 CPUtime=3.01 cores=0,2,4,6
/proc/8095/task/8097/stat : 8097 (java) R 8092 8095 6303 0 -1 4202560 2492 0 1 0 298 3 0 0 20 0 19 0 5128204 9856040960 57404 33554432000 1073741824 1073778376 140734970552960 140189653885232 140189494762943 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=8095/tid=8098] ppid=8092 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8095/task/8098/stat : 8098 (java) S 8092 8095 6303 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 19 0 5128205 9856040960 57404 33554432000 1073741824 1073778376 140734970552960 140189615384744 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8095/tid=8099] ppid=8092 vsize=9625040 CPUtime=0.02 cores=0,2,4,6
/proc/8095/task/8099/stat : 8099 (java) S 8092 8095 6303 0 -1 4202560 33 0 0 0 0 2 0 0 20 0 19 0 5128205 9856040960 57404 33554432000 1073741824 1073778376 140734970552960 140189614332200 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8095/tid=8100] ppid=8092 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8095/task/8100/stat : 8100 (java) S 8092 8095 6303 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 5128205 9856040960 57404 33554432000 1073741824 1073778376 140734970552960 140189613279656 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8095/tid=8101] ppid=8092 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8095/task/8101/stat : 8101 (java) S 8092 8095 6303 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 5128205 9856040960 57404 33554432000 1073741824 1073778376 140734970552960 140189494143528 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8095/tid=8102] ppid=8092 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8095/task/8102/stat : 8102 (java) S 8092 8095 6303 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 5128205 9856040960 57404 33554432000 1073741824 1073778376 140734970552960 140189493090984 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8095/tid=8103] ppid=8092 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8095/task/8103/stat : 8103 (java) S 8092 8095 6303 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 19 0 5128205 9856040960 57404 33554432000 1073741824 1073778376 140734970552960 140189492038440 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8095/tid=8104] ppid=8092 vsize=9625040 CPUtime=0.01 cores=0,2,4,6
/proc/8095/task/8104/stat : 8104 (java) S 8092 8095 6303 0 -1 4202560 19 0 0 0 0 1 0 0 20 0 19 0 5128205 9856040960 57404 33554432000 1073741824 1073778376 140734970552960 140189490985896 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8095/tid=8105] ppid=8092 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8095/task/8105/stat : 8105 (java) S 8092 8095 6303 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 19 0 5128205 9856040960 57404 33554432000 1073741824 1073778376 140734970552960 140189489933352 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8095/tid=8106] ppid=8092 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8095/task/8106/stat : 8106 (java) S 8092 8095 6303 0 -1 4202560 73 0 0 0 0 0 0 0 20 0 19 0 5128207 9856040960 57404 33554432000 1073741824 1073778376 140734970552960 140189007603816 271790946217 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8095/tid=8107] ppid=8092 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8095/task/8107/stat : 8107 (java) S 8092 8095 6303 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 5128207 9856040960 57404 33554432000 1073741824 1073778376 140734970552960 140189006550136 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8095/tid=8108] ppid=8092 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8095/task/8108/stat : 8108 (java) S 8092 8095 6303 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 5128207 9856040960 57404 33554432000 1073741824 1073778376 140734970552960 140189005497480 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8095/tid=8109] ppid=8092 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8095/task/8109/stat : 8109 (java) S 8092 8095 6303 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5128209 9856040960 57404 33554432000 1073741824 1073778376 140734970552960 140189004446224 271790954272 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8095/tid=8110] ppid=8092 vsize=9625040 CPUtime=0.7 cores=0,2,4,6
/proc/8095/task/8110/stat : 8110 (java) S 8092 8095 6303 0 -1 4202560 3986 0 0 0 69 1 0 0 20 0 19 0 5128209 9856040960 57404 33554432000 1073741824 1073778376 140734970552960 140189003393592 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8095/tid=8111] ppid=8092 vsize=9625040 CPUtime=0.68 cores=0,2,4,6
/proc/8095/task/8111/stat : 8111 (java) S 8092 8095 6303 0 -1 4202560 5204 0 0 0 68 0 0 0 20 0 19 0 5128209 9856040960 57404 33554432000 1073741824 1073778376 140734970552960 140189002341048 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8095/tid=8112] ppid=8092 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8095/task/8112/stat : 8112 (java) S 8092 8095 6303 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5128209 9856040960 57404 33554432000 1073741824 1073778376 140734970552960 140189001288696 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8095/tid=8113] ppid=8092 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8095/task/8113/stat : 8113 (java) S 8092 8095 6303 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5128209 9856040960 57404 33554432000 1073741824 1073778376 140734970552960 140189000236360 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8095/tid=8114] ppid=8092 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8095/task/8114/stat : 8114 (java) S 8092 8095 6303 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 5128253 9856040960 57404 33554432000 1073741824 1073778376 140734970552960 140188999181096 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 4.6
Current children cumulated vsize (KiB) 9625040

[startup+6.30098 s]
/proc/loadavg: 2.24 2.20 2.18 3/213 8114
/proc/meminfo: memFree=30113936/32872528 swapFree=1100912/1182672
[pid=8095] ppid=8092 vsize=9625040 CPUtime=8.1 cores=0,2,4,6
/proc/8095/stat : 8095 (java) S 8092 8095 6303 0 -1 4202496 13689 0 1 0 783 27 0 0 20 0 19 0 5128203 9856040960 83308 33554432000 1073741824 1073778376 140734970552960 140734970544096 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/8095/statm: 2406260 83308 2293 9 0 2396937 0
[pid=8095/tid=8097] ppid=8092 vsize=9625040 CPUtime=6.14 cores=0,2,4,6
/proc/8095/task/8097/stat : 8097 (java) R 8092 8095 6303 0 -1 4202560 2494 0 1 0 611 3 0 0 20 0 19 0 5128204 9856040960 83308 33554432000 1073741824 1073778376 140734970552960 140189653892456 140189495236183 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=8095/tid=8098] ppid=8092 vsize=9625040 CPUtime=0.02 cores=0,2,4,6
/proc/8095/task/8098/stat : 8098 (java) S 8092 8095 6303 0 -1 4202560 110 0 0 0 0 2 0 0 20 0 19 0 5128205 9856040960 83308 33554432000 1073741824 1073778376 140734970552960 140189615384744 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8095/tid=8099] ppid=8092 vsize=9625040 CPUtime=0.06 cores=0,2,4,6
/proc/8095/task/8099/stat : 8099 (java) S 8092 8095 6303 0 -1 4202560 60 0 0 0 2 4 0 0 20 0 19 0 5128205 9856040960 83308 33554432000 1073741824 1073778376 140734970552960 140189614332200 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8095/tid=8100] ppid=8092 vsize=9625040 CPUtime=0.07 cores=0,2,4,6
/proc/8095/task/8100/stat : 8100 (java) S 8092 8095 6303 0 -1 4202560 142 0 0 0 2 5 0 0 20 0 19 0 5128205 9856040960 83308 33554432000 1073741824 1073778376 140734970552960 140189613279656 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8095/tid=8101] ppid=8092 vsize=9625040 CPUtime=0.03 cores=0,2,4,6
/proc/8095/task/8101/stat : 8101 (java) S 8092 8095 6303 0 -1 4202560 119 0 0 0 1 2 0 0 20 0 19 0 5128205 9856040960 83308 33554432000 1073741824 1073778376 140734970552960 140189494143528 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8095/tid=8102] ppid=8092 vsize=9625040 CPUtime=0.02 cores=0,2,4,6
/proc/8095/task/8102/stat : 8102 (java) S 8092 8095 6303 0 -1 4202560 38 0 0 0 0 2 0 0 20 0 19 0 5128205 9856040960 83308 33554432000 1073741824 1073778376 140734970552960 140189493090984 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8095/tid=8103] ppid=8092 vsize=9625040 CPUtime=0.03 cores=0,2,4,6
/proc/8095/task/8103/stat : 8103 (java) S 8092 8095 6303 0 -1 4202560 102 0 0 0 1 2 0 0 20 0 19 0 5128205 9856040960 83308 33554432000 1073741824 1073778376 140734970552960 140189492038440 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8095/tid=8104] ppid=8092 vsize=9625040 CPUtime=0.04 cores=0,2,4,6
/proc/8095/task/8104/stat : 8104 (java) S 8092 8095 6303 0 -1 4202560 50 0 0 0 1 3 0 0 20 0 19 0 5128205 9856040960 83308 33554432000 1073741824 1073778376 140734970552960 140189490985896 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8095/tid=8105] ppid=8092 vsize=9625040 CPUtime=0.02 cores=0,2,4,6
/proc/8095/task/8105/stat : 8105 (java) S 8092 8095 6303 0 -1 4202560 34 0 0 0 0 2 0 0 20 0 19 0 5128205 9856040960 83308 33554432000 1073741824 1073778376 140734970552960 140189489933352 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8095/tid=8106] ppid=8092 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8095/task/8106/stat : 8106 (java) S 8092 8095 6303 0 -1 4202560 74 0 0 0 0 0 0 0 20 0 19 0 5128207 9856040960 83308 33554432000 1073741824 1073778376 140734970552960 140189007603816 271790946217 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8095/tid=8107] ppid=8092 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8095/task/8107/stat : 8107 (java) S 8092 8095 6303 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 5128207 9856040960 83308 33554432000 1073741824 1073778376 140734970552960 140189006550136 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8095/tid=8108] ppid=8092 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8095/task/8108/stat : 8108 (java) S 8092 8095 6303 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 5128207 9856040960 83308 33554432000 1073741824 1073778376 140734970552960 140189005497480 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8095/tid=8109] ppid=8092 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8095/task/8109/stat : 8109 (java) S 8092 8095 6303 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5128209 9856040960 83308 33554432000 1073741824 1073778376 140734970552960 140189004446224 271790954272 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8095/tid=8110] ppid=8092 vsize=9625040 CPUtime=0.73 cores=0,2,4,6
/proc/8095/task/8110/stat : 8110 (java) S 8092 8095 6303 0 -1 4202560 3989 0 0 0 72 1 0 0 20 0 19 0 5128209 9856040960 83308 33554432000 1073741824 1073778376 140734970552960 140189003393592 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8095/tid=8111] ppid=8092 vsize=9625040 CPUtime=0.76 cores=0,2,4,6
/proc/8095/task/8111/stat : 8111 (java) S 8092 8095 6303 0 -1 4202560 5213 0 0 0 76 0 0 0 20 0 19 0 5128209 9856040960 83308 33554432000 1073741824 1073778376 140734970552960 140189002341048 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8095/tid=8112] ppid=8092 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8095/task/8112/stat : 8112 (java) S 8092 8095 6303 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5128209 9856040960 83308 33554432000 1073741824 1073778376 140734970552960 140189001288696 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8095/tid=8113] ppid=8092 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8095/task/8113/stat : 8113 (java) S 8092 8095 6303 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5128209 9856040960 83308 33554432000 1073741824 1073778376 140734970552960 140189000236360 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8095/tid=8114] ppid=8092 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8095/task/8114/stat : 8114 (java) S 8092 8095 6303 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 5128253 9856040960 83308 33554432000 1073741824 1073778376 140734970552960 140188999181096 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 8.1
Current children cumulated vsize (KiB) 9625040


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

[pid=8095/tid=8114] ppid=8092 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8095/task/8114/stat : 8114 (java) S 8092 8095 6303 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 5128253 9856040960 437590 33554432000 1073741824 1073778376 140734970552960 140188999181096 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1618.36
Current children cumulated vsize (KiB) 9625040

[startup+1662.3 s]
/proc/loadavg: 2.22 2.16 2.17 3/213 8221
/proc/meminfo: memFree=28454652/32872528 swapFree=1100912/1182672
[pid=8095] ppid=8092 vsize=9625040 CPUtime=1679.63 cores=0,2,4,6
/proc/8095/stat : 8095 (java) S 8092 8095 6303 0 -1 4202496 26482 0 1 0 167636 327 0 0 20 0 19 0 5128203 9856040960 401929 33554432000 1073741824 1073778376 140734970552960 140734970544096 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/8095/statm: 2406260 401929 2301 9 0 2396937 0
[pid=8095/tid=8097] ppid=8092 vsize=9625040 CPUtime=1649.99 cores=0,2,4,6
/proc/8095/task/8097/stat : 8097 (java) S 8092 8095 6303 0 -1 4202560 3597 0 1 0 164958 41 0 0 20 0 19 0 5128204 9856040960 401929 33554432000 1073741824 1073778376 140734970552960 140189653892136 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8095/tid=8098] ppid=8092 vsize=9625040 CPUtime=2.72 cores=0,2,4,6
/proc/8095/task/8098/stat : 8098 (java) S 8092 8095 6303 0 -1 4202560 1335 0 0 0 246 26 0 0 20 0 19 0 5128205 9856040960 401929 33554432000 1073741824 1073778376 140734970552960 140189615384744 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8095/tid=8099] ppid=8092 vsize=9625040 CPUtime=2.67 cores=0,2,4,6
/proc/8095/task/8099/stat : 8099 (java) S 8092 8095 6303 0 -1 4202560 1204 0 0 0 226 41 0 0 20 0 19 0 5128205 9856040960 401929 33554432000 1073741824 1073778376 140734970552960 140189614332200 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8095/tid=8100] ppid=8092 vsize=9625040 CPUtime=2.73 cores=0,2,4,6
/proc/8095/task/8100/stat : 8100 (java) S 8092 8095 6303 0 -1 4202560 1600 0 0 0 237 36 0 0 20 0 19 0 5128205 9856040960 401929 33554432000 1073741824 1073778376 140734970552960 140189613279656 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8095/tid=8101] ppid=8092 vsize=9625040 CPUtime=3.07 cores=0,2,4,6
/proc/8095/task/8101/stat : 8101 (java) S 8092 8095 6303 0 -1 4202560 1253 0 0 0 255 52 0 0 20 0 19 0 5128205 9856040960 401929 33554432000 1073741824 1073778376 140734970552960 140189494143528 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8095/tid=8102] ppid=8092 vsize=9625040 CPUtime=2.44 cores=0,2,4,6
/proc/8095/task/8102/stat : 8102 (java) S 8092 8095 6303 0 -1 4202560 915 0 0 0 213 31 0 0 20 0 19 0 5128205 9856040960 401929 33554432000 1073741824 1073778376 140734970552960 140189493090984 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8095/tid=8103] ppid=8092 vsize=9625040 CPUtime=2.7 cores=0,2,4,6
/proc/8095/task/8103/stat : 8103 (java) S 8092 8095 6303 0 -1 4202560 1108 0 0 0 235 35 0 0 20 0 19 0 5128205 9856040960 401929 33554432000 1073741824 1073778376 140734970552960 140189492038440 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8095/tid=8104] ppid=8092 vsize=9625040 CPUtime=2.76 cores=0,2,4,6
/proc/8095/task/8104/stat : 8104 (java) S 8092 8095 6303 0 -1 4202560 1033 0 0 0 243 33 0 0 20 0 19 0 5128205 9856040960 401929 33554432000 1073741824 1073778376 140734970552960 140189490985896 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8095/tid=8105] ppid=8092 vsize=9625040 CPUtime=2.28 cores=0,2,4,6
/proc/8095/task/8105/stat : 8105 (java) S 8092 8095 6303 0 -1 4202560 1079 0 0 0 193 35 0 0 20 0 19 0 5128205 9856040960 401929 33554432000 1073741824 1073778376 140734970552960 140189489933352 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8095/tid=8106] ppid=8092 vsize=9625040 CPUtime=2.19 cores=0,2,4,6
/proc/8095/task/8106/stat : 8106 (java) R 8092 8095 6303 0 -1 4202560 2786 0 0 0 215 4 0 0 20 0 19 0 5128207 9856040960 401929 33554432000 1073741824 1073778376 140734970552960 140189007602696 271787245844 0 0 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=8095/tid=8107] ppid=8092 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8095/task/8107/stat : 8107 (java) S 8092 8095 6303 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 5128207 9856040960 401929 33554432000 1073741824 1073778376 140734970552960 140189006550136 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8095/tid=8108] ppid=8092 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8095/task/8108/stat : 8108 (java) S 8092 8095 6303 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 5128207 9856040960 401929 33554432000 1073741824 1073778376 140734970552960 140189005497480 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8095/tid=8109] ppid=8092 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8095/task/8109/stat : 8109 (java) S 8092 8095 6303 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5128209 9856040960 401929 33554432000 1073741824 1073778376 140734970552960 140189004446224 271790954272 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8095/tid=8110] ppid=8092 vsize=9625040 CPUtime=0.73 cores=0,2,4,6
/proc/8095/task/8110/stat : 8110 (java) S 8092 8095 6303 0 -1 4202560 3989 0 0 0 72 1 0 0 20 0 19 0 5128209 9856040960 401929 33554432000 1073741824 1073778376 140734970552960 140189003393592 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8095/tid=8111] ppid=8092 vsize=9625040 CPUtime=0.78 cores=0,2,4,6
/proc/8095/task/8111/stat : 8111 (java) S 8092 8095 6303 0 -1 4202560 5225 0 0 0 78 0 0 0 20 0 19 0 5128209 9856040960 401929 33554432000 1073741824 1073778376 140734970552960 140189002341048 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8095/tid=8112] ppid=8092 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8095/task/8112/stat : 8112 (java) S 8092 8095 6303 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5128209 9856040960 401929 33554432000 1073741824 1073778376 140734970552960 140189001288696 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8095/tid=8113] ppid=8092 vsize=9625040 CPUtime=0.41 cores=0,2,4,6
/proc/8095/task/8113/stat : 8113 (java) S 8092 8095 6303 0 -1 4202560 95 0 0 0 20 21 0 0 20 0 19 0 5128209 9856040960 401929 33554432000 1073741824 1073778376 140734970552960 140189000236360 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8095/tid=8114] ppid=8092 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8095/task/8114/stat : 8114 (java) S 8092 8095 6303 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 5128253 9856040960 401929 33554432000 1073741824 1073778376 140734970552960 140188999181096 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1679.63
Current children cumulated vsize (KiB) 9625040

[startup+1722.3 s]
/proc/loadavg: 2.19 2.17 2.17 3/213 8222
/proc/meminfo: memFree=28579692/32872528 swapFree=1100912/1182672
[pid=8095] ppid=8092 vsize=9625040 CPUtime=1740.28 cores=0,2,4,6
/proc/8095/stat : 8095 (java) S 8092 8095 6303 0 -1 4202496 26772 0 1 0 173700 328 0 0 20 0 19 0 5128203 9856040960 374447 33554432000 1073741824 1073778376 140734970552960 140734970544096 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/8095/statm: 2406260 374447 2301 9 0 2396937 0
[pid=8095/tid=8097] ppid=8092 vsize=9625040 CPUtime=1709.45 cores=0,2,4,6
/proc/8095/task/8097/stat : 8097 (java) R 8092 8095 6303 0 -1 4202560 3608 0 1 0 170904 41 0 0 20 0 19 0 5128204 9856040960 374447 33554432000 1073741824 1073778376 140734970552960 140189653892336 140189494649733 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=8095/tid=8098] ppid=8092 vsize=9625040 CPUtime=2.83 cores=0,2,4,6
/proc/8095/task/8098/stat : 8098 (java) S 8092 8095 6303 0 -1 4202560 1335 0 0 0 257 26 0 0 20 0 19 0 5128205 9856040960 374447 33554432000 1073741824 1073778376 140734970552960 140189615384744 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8095/tid=8099] ppid=8092 vsize=9625040 CPUtime=2.77 cores=0,2,4,6
/proc/8095/task/8099/stat : 8099 (java) S 8092 8095 6303 0 -1 4202560 1204 0 0 0 236 41 0 0 20 0 19 0 5128205 9856040960 374447 33554432000 1073741824 1073778376 140734970552960 140189614332200 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8095/tid=8100] ppid=8092 vsize=9625040 CPUtime=2.88 cores=0,2,4,6
/proc/8095/task/8100/stat : 8100 (java) S 8092 8095 6303 0 -1 4202560 1618 0 0 0 252 36 0 0 20 0 19 0 5128205 9856040960 374447 33554432000 1073741824 1073778376 140734970552960 140189613279656 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8095/tid=8101] ppid=8092 vsize=9625040 CPUtime=3.19 cores=0,2,4,6
/proc/8095/task/8101/stat : 8101 (java) S 8092 8095 6303 0 -1 4202560 1253 0 0 0 267 52 0 0 20 0 19 0 5128205 9856040960 374447 33554432000 1073741824 1073778376 140734970552960 140189494143528 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8095/tid=8102] ppid=8092 vsize=9625040 CPUtime=2.53 cores=0,2,4,6
/proc/8095/task/8102/stat : 8102 (java) S 8092 8095 6303 0 -1 4202560 915 0 0 0 222 31 0 0 20 0 19 0 5128205 9856040960 374447 33554432000 1073741824 1073778376 140734970552960 140189493090984 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8095/tid=8103] ppid=8092 vsize=9625040 CPUtime=2.85 cores=0,2,4,6
/proc/8095/task/8103/stat : 8103 (java) S 8092 8095 6303 0 -1 4202560 1108 0 0 0 250 35 0 0 20 0 19 0 5128205 9856040960 374447 33554432000 1073741824 1073778376 140734970552960 140189492038440 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8095/tid=8104] ppid=8092 vsize=9625040 CPUtime=2.88 cores=0,2,4,6
/proc/8095/task/8104/stat : 8104 (java) S 8092 8095 6303 0 -1 4202560 1033 0 0 0 255 33 0 0 20 0 19 0 5128205 9856040960 374447 33554432000 1073741824 1073778376 140734970552960 140189490985896 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8095/tid=8105] ppid=8092 vsize=9625040 CPUtime=2.37 cores=0,2,4,6
/proc/8095/task/8105/stat : 8105 (java) S 8092 8095 6303 0 -1 4202560 1079 0 0 0 202 35 0 0 20 0 19 0 5128205 9856040960 374447 33554432000 1073741824 1073778376 140734970552960 140189489933352 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8095/tid=8106] ppid=8092 vsize=9625040 CPUtime=2.31 cores=0,2,4,6
/proc/8095/task/8106/stat : 8106 (java) S 8092 8095 6303 0 -1 4202560 3043 0 0 0 227 4 0 0 20 0 19 0 5128207 9856040960 374447 33554432000 1073741824 1073778376 140734970552960 140189007603816 271790946217 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8095/tid=8107] ppid=8092 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8095/task/8107/stat : 8107 (java) S 8092 8095 6303 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 5128207 9856040960 374447 33554432000 1073741824 1073778376 140734970552960 140189006550136 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8095/tid=8108] ppid=8092 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8095/task/8108/stat : 8108 (java) S 8092 8095 6303 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 5128207 9856040960 374447 33554432000 1073741824 1073778376 140734970552960 140189005497480 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8095/tid=8109] ppid=8092 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8095/task/8109/stat : 8109 (java) S 8092 8095 6303 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5128209 9856040960 374447 33554432000 1073741824 1073778376 140734970552960 140189004446224 271790954272 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8095/tid=8110] ppid=8092 vsize=9625040 CPUtime=0.73 cores=0,2,4,6
/proc/8095/task/8110/stat : 8110 (java) S 8092 8095 6303 0 -1 4202560 3989 0 0 0 72 1 0 0 20 0 19 0 5128209 9856040960 374447 33554432000 1073741824 1073778376 140734970552960 140189003393592 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8095/tid=8111] ppid=8092 vsize=9625040 CPUtime=0.78 cores=0,2,4,6
/proc/8095/task/8111/stat : 8111 (java) S 8092 8095 6303 0 -1 4202560 5225 0 0 0 78 0 0 0 20 0 19 0 5128209 9856040960 374447 33554432000 1073741824 1073778376 140734970552960 140189002341048 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8095/tid=8112] ppid=8092 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8095/task/8112/stat : 8112 (java) S 8092 8095 6303 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5128209 9856040960 374447 33554432000 1073741824 1073778376 140734970552960 140189001288696 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8095/tid=8113] ppid=8092 vsize=9625040 CPUtime=0.42 cores=0,2,4,6
/proc/8095/task/8113/stat : 8113 (java) S 8092 8095 6303 0 -1 4202560 99 0 0 0 21 21 0 0 20 0 19 0 5128209 9856040960 374447 33554432000 1073741824 1073778376 140734970552960 140189000236360 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8095/tid=8114] ppid=8092 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8095/task/8114/stat : 8114 (java) S 8092 8095 6303 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 5128253 9856040960 374447 33554432000 1073741824 1073778376 140734970552960 140188999181096 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1740.28
Current children cumulated vsize (KiB) 9625040



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1781.01 s]
/proc/loadavg: 2.17 2.17 2.17 3/213 8223
/proc/meminfo: memFree=28550212/32872528 swapFree=1100912/1182672
[pid=8095] ppid=8092 vsize=9625040 CPUtime=1800.01 cores=0,2,4,6
/proc/8095/stat : 8095 (java) S 8092 8095 6303 0 -1 4202496 27738 0 1 0 179657 344 0 0 20 0 19 0 5128203 9856040960 382692 33554432000 1073741824 1073778376 140734970552960 140734970544096 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/8095/statm: 2406260 382692 2301 9 0 2396937 0
[pid=8095/tid=8097] ppid=8092 vsize=9625040 CPUtime=1767.6 cores=0,2,4,6
/proc/8095/task/8097/stat : 8097 (java) R 8092 8095 6303 0 -1 4202560 3619 0 1 0 176718 42 0 0 20 0 19 0 5128204 9856040960 382692 33554432000 1073741824 1073778376 140734970552960 140189653884624 140189494886764 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=8095/tid=8098] ppid=8092 vsize=9625040 CPUtime=2.99 cores=0,2,4,6
/proc/8095/task/8098/stat : 8098 (java) S 8092 8095 6303 0 -1 4202560 1354 0 0 0 272 27 0 0 20 0 19 0 5128205 9856040960 382692 33554432000 1073741824 1073778376 140734970552960 140189615384744 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8095/tid=8099] ppid=8092 vsize=9625040 CPUtime=2.97 cores=0,2,4,6
/proc/8095/task/8099/stat : 8099 (java) S 8092 8095 6303 0 -1 4202560 1392 0 0 0 254 43 0 0 20 0 19 0 5128205 9856040960 382692 33554432000 1073741824 1073778376 140734970552960 140189614332200 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8095/tid=8100] ppid=8092 vsize=9625040 CPUtime=3.06 cores=0,2,4,6
/proc/8095/task/8100/stat : 8100 (java) S 8092 8095 6303 0 -1 4202560 1641 0 0 0 268 38 0 0 20 0 19 0 5128205 9856040960 382692 33554432000 1073741824 1073778376 140734970552960 140189613279656 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8095/tid=8101] ppid=8092 vsize=9625040 CPUtime=3.35 cores=0,2,4,6
/proc/8095/task/8101/stat : 8101 (java) S 8092 8095 6303 0 -1 4202560 1279 0 0 0 281 54 0 0 20 0 19 0 5128205 9856040960 382692 33554432000 1073741824 1073778376 140734970552960 140189494143528 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8095/tid=8102] ppid=8092 vsize=9625040 CPUtime=2.75 cores=0,2,4,6
/proc/8095/task/8102/stat : 8102 (java) S 8092 8095 6303 0 -1 4202560 1023 0 0 0 243 32 0 0 20 0 19 0 5128205 9856040960 382692 33554432000 1073741824 1073778376 140734970552960 140189493090984 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8095/tid=8103] ppid=8092 vsize=9625040 CPUtime=3.05 cores=0,2,4,6
/proc/8095/task/8103/stat : 8103 (java) S 8092 8095 6303 0 -1 4202560 1311 0 0 0 269 36 0 0 20 0 19 0 5128205 9856040960 382692 33554432000 1073741824 1073778376 140734970552960 140189492038440 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8095/tid=8104] ppid=8092 vsize=9625040 CPUtime=3.01 cores=0,2,4,6
/proc/8095/task/8104/stat : 8104 (java) S 8092 8095 6303 0 -1 4202560 1060 0 0 0 265 36 0 0 20 0 19 0 5128205 9856040960 382692 33554432000 1073741824 1073778376 140734970552960 140189490985896 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8095/tid=8105] ppid=8092 vsize=9625040 CPUtime=2.54 cores=0,2,4,6
/proc/8095/task/8105/stat : 8105 (java) S 8092 8095 6303 0 -1 4202560 1387 0 0 0 217 37 0 0 20 0 19 0 5128205 9856040960 382692 33554432000 1073741824 1073778376 140734970552960 140189489933352 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8095/tid=8106] ppid=8092 vsize=9625040 CPUtime=2.31 cores=0,2,4,6
/proc/8095/task/8106/stat : 8106 (java) S 8092 8095 6303 0 -1 4202560 3092 0 0 0 227 4 0 0 20 0 19 0 5128207 9856040960 382692 33554432000 1073741824 1073778376 140734970552960 140189007603816 271790946217 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8095/tid=8107] ppid=8092 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8095/task/8107/stat : 8107 (java) S 8092 8095 6303 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 5128207 9856040960 382692 33554432000 1073741824 1073778376 140734970552960 140189006550136 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8095/tid=8108] ppid=8092 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8095/task/8108/stat : 8108 (java) S 8092 8095 6303 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 5128207 9856040960 382692 33554432000 1073741824 1073778376 140734970552960 140189005497480 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8095/tid=8109] ppid=8092 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8095/task/8109/stat : 8109 (java) S 8092 8095 6303 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5128209 9856040960 382692 33554432000 1073741824 1073778376 140734970552960 140189004446224 271790954272 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8095/tid=8110] ppid=8092 vsize=9625040 CPUtime=0.73 cores=0,2,4,6
/proc/8095/task/8110/stat : 8110 (java) S 8092 8095 6303 0 -1 4202560 3989 0 0 0 72 1 0 0 20 0 19 0 5128209 9856040960 382692 33554432000 1073741824 1073778376 140734970552960 140189003393592 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8095/tid=8111] ppid=8092 vsize=9625040 CPUtime=0.78 cores=0,2,4,6
/proc/8095/task/8111/stat : 8111 (java) S 8092 8095 6303 0 -1 4202560 5225 0 0 0 78 0 0 0 20 0 19 0 5128209 9856040960 382692 33554432000 1073741824 1073778376 140734970552960 140189002341048 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8095/tid=8112] ppid=8092 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8095/task/8112/stat : 8112 (java) S 8092 8095 6303 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5128209 9856040960 382692 33554432000 1073741824 1073778376 140734970552960 140189001288696 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8095/tid=8113] ppid=8092 vsize=9625040 CPUtime=0.44 cores=0,2,4,6
/proc/8095/task/8113/stat : 8113 (java) S 8092 8095 6303 0 -1 4202560 103 0 0 0 22 22 0 0 20 0 19 0 5128209 9856040960 382692 33554432000 1073741824 1073778376 140734970552960 140189000236360 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8095/tid=8114] ppid=8092 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8095/task/8114/stat : 8114 (java) S 8092 8095 6303 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 5128253 9856040960 382692 33554432000 1073741824 1073778376 140734970552960 140188999181096 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.01
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 8095 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

Child status: 143

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 8095 and gives
#  childrusage.ru_utime.tv_sec=1792
#  childrusage.ru_utime.tv_usec=21571
#  childrusage.ru_stime.tv_sec=3
#  childrusage.ru_stime.tv_usec=862412
# CPU time returned by wait4() is 1795.88
# while last known CPU time is 1800.01
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1781.04
CPU time (s): 1800.01
CPU user time (s): 1796.57
CPU system time (s): 3.44
CPU usage (%): 101.065
Max. virtual memory (cumulated for all children) (KiB): 9625040

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1792.02
system time used= 3.86241
maximum resident set size= 3039552
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 27782
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1656
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 41021
involuntary context switches= 27034

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 12.2911 second user time and 11.1053 second system time

The end

Launcher Data 

Begin job on node115 at 2016-06-30 06:29:50
IDJOB=4119510
IDBENCH=111748
IDSOLVER=2546
FILE ID=node115/4119510-1467260990
RUNJOBID= node115-1467248476-6484
PBS_JOBID= 20004473
Free space on /tmp= 71664 MiB

SOLVER NAME= Sat4j PB 2.3.6 Resolution PB16
BENCH NAME= PB15eval/normalized-PB15eval/OPT-SMALLINT-NLC/minlplib2-pb-0.1.0/opb/normalized-edgecross20-080.opb
COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4119510-1467260990/watcher-4119510-1467260990 -o /tmp/evaluation-result-4119510-1467260990/solver-4119510-1467260990 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node115-1467248476-6484 --watchdog 1960  java -jar sat4j-pb.jar HOME/instance-4119510-1467260990.opb

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

MD5SUM BENCH= 394fdbb8a39a23ab20c62a44fe135b70
RANDOM SEED=1587161194

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

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.087
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		: 2667.087
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:        30336260 kB
Buffers:          141488 kB
Cached:           160384 kB
SwapCached:            0 kB
Active:           427544 kB
Inactive:         187196 kB
Active(anon):     308808 kB
Inactive(anon):     6832 kB
Active(file):     118736 kB
Inactive(file):   180364 kB
Unevictable:     1182672 kB
Mlocked:         1100912 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:               832 kB
Writeback:             0 kB
AnonPages:       1495584 kB
Mapped:            21992 kB
Shmem:               204 kB
Slab:             604876 kB
SReclaimable:      48988 kB
SUnreclaim:       555888 kB
KernelStack:        1632 kB
PageTables:         7040 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1941244 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    372736 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= 71660 MiB
End job on node115 at 2016-06-30 06:59:31