Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
Sat4j PB 2.3.6 Resolution PB16 | SAT (TO) | 1204 | 1800.01 | 1781.04 |
Name | PB15eval/normalized-PB15eval/OPT-SMALLINT-NLC/ minlplib2-pb-0.1.0/opb/normalized-edgecross20-080.opb |
MD5SUM | 394fdbb8a39a23ab20c62a44fe135b70 |
Bench Category | OPT-SMALLINT-NLC (optimisation, small integers, non linear constraints) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 993 |
Best CPU time to get the best result obtained on this benchmark | 1800.11 |
Has Objective Function | YES |
Satisfiable | |
(Un)Satisfiability was proved | |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of variables | 381 |
Total number of constraints | 4561 |
Number of constraints which are clauses | 4560 |
Number of constraints which are cardinality constraints (but not clauses) | 1 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 3 |
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 numbers | 14 |
Number of products (including duplicates) | 2761 |
Sum of products size (including duplicates) | 5522 |
Number of different products | 0 |
Sum of products size | 0 |
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
OK 1204
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
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