Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
Sat 4j PB Resolution 2.3.2 Snapshot | SAT (TO) | 25652 | 1800.01 | 1785.75 |
Name | normalized-PB06/OPT-MEDINT/mps-v2-20-10/MIPLIB/ miplib3/normalized-mps-v2-20-10-gt2.opb |
MD5SUM | fbf213ed65afe4e66abc3948eb02a29f |
Bench Category | OPT-MEDINT (optimisation, medium integers) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 21166 |
Best CPU time to get the best result obtained on this benchmark | 4.31334 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 21166 |
Optimality of the best value was proved | NO |
Number of variables | 556 |
Total number of constraints | 180 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 2 |
Number of constraints which are nor clauses,nor cardinality constraints | 178 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 48 |
Number of terms in the objective function | 304 |
Biggest coefficient in the objective function | 62376 |
Number of bits for the biggest coefficient in the objective function | 16 |
Sum of the numbers in the objective function | 3092598 |
Number of bits of the sum of numbers in the objective function | 22 |
Biggest number in a constraint | 62376 |
Number of bits of the biggest number in a constraint | 16 |
Biggest sum of numbers in a constraint | 3092598 |
Number of bits of the biggest sum of numbers | 22 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.01/0.08 c SAT4J: a SATisfiability library for Java (c) 2004-2012 Artois University and CNRS 0.01/0.08 c This is free software under the dual EPL/GNU LGPL licenses. 0.01/0.08 c See www.sat4j.org for details. 0.01/0.08 c version 2.3.2.v20120418 0.01/0.08 c java.runtime.name Java(TM) SE Runtime Environment 0.01/0.08 c java.vm.name Java HotSpot(TM) 64-Bit Server VM 0.01/0.08 c java.vm.version 19.1-b02 0.01/0.08 c java.vm.vendor Sun Microsystems Inc. 0.01/0.08 c sun.arch.data.model 64 0.01/0.08 c java.version 1.6.0_24 0.01/0.08 c os.name Linux 0.01/0.08 c os.version 2.6.32-71.29.1.el6.x86_64 0.01/0.08 c os.arch amd64 0.01/0.08 c Free memory 501472288 0.01/0.08 c Max memory 7480803328 0.01/0.08 c Total memory 504102912 0.01/0.08 c Number of processors 8 0.10/0.10 c Pseudo Boolean Optimization by upper bound 0.10/0.10 c --- Begin Solver configuration --- 0.10/0.10 c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@431b9fb1 0.10/0.10 c Learn all clauses as in MiniSAT 0.10/0.10 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.10/0.10 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.10/0.10 c No reason simplification 0.10/0.10 c Armin Biere (Picosat) restarts strategy 0.10/0.10 c Glucose learned constraints deletion strategy 0.10/0.10 c timeout=2147483s 0.10/0.10 c DB Simplification allowed=false 0.10/0.10 c c --- End Solver configuration --- 0.10/0.10 c solving HOME/instance-3687501-1337871940.opb 0.10/0.10 c reading problem ... 0.10/0.17 c ... done. Wall clock time 0.07s. 0.10/0.17 c declared #vars 556 0.10/0.17 c #constraints 180 0.10/0.17 c constraints type 0.10/0.17 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 36 0.10/0.17 c org.sat4j.minisat.constraints.card.MinWatchCard => 2 0.10/0.17 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 24 0.10/0.17 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 118 0.10/0.17 c 180 constraints processed. 0.10/0.17 c objective function length is 304 literals 0.27/0.25 c SATISFIABLE 0.27/0.25 c OPTIMIZING... 0.27/0.25 c Got one! Elapsed wall clock time (in seconds):0.15 0.27/0.25 o 48961 0.27/0.28 c Got one! Elapsed wall clock time (in seconds):0.181 0.27/0.28 o 48397 0.55/0.32 c Got one! Elapsed wall clock time (in seconds):0.214 0.55/0.32 o 46001 0.55/0.33 c Got one! Elapsed wall clock time (in seconds):0.233 0.55/0.33 o 45476 0.76/0.41 c Got one! Elapsed wall clock time (in seconds):0.304 0.76/0.41 o 45437 1.00/0.53 c Got one! Elapsed wall clock time (in seconds):0.431 1.00/0.53 o 45096 1.15/0.69 c cleaning 3180 clauses out of 6372 with flag 2000/6374 1.52/0.93 c Got one! Elapsed wall clock time (in seconds):0.831 1.52/0.93 o 44971 1.73/1.18 c cleaning 6710 clauses out of 13423 with flag 5002/16605 2.14/1.50 c Got one! Elapsed wall clock time (in seconds):1.398 2.14/1.50 o 44953 2.34/1.76 c cleaning 8665 clauses out of 17361 with flag 5000/27253 2.82/2.16 c Got one! Elapsed wall clock time (in seconds):2.057 2.82/2.16 o 44084 2.82/2.18 c Got one! Elapsed wall clock time (in seconds):2.078 2.82/2.18 o 42447 3.15/2.45 c cleaning 9527 clauses out of 19077 with flag 5000/37635 3.15/2.48 c Got one! Elapsed wall clock time (in seconds):2.38 3.15/2.48 o 42110 3.49/2.74 c cleaning 7313 clauses out of 14683 with flag 5001/42769 3.90/3.10 c cleaning 6634 clauses out of 13369 with flag 11000/48768 4.02/3.22 c Got one! Elapsed wall clock time (in seconds):3.116 4.02/3.22 o 41467 4.02/3.29 c Got one! Elapsed wall clock time (in seconds):3.185 4.02/3.29 o 40475 4.22/3.43 c cleaning 6500 clauses out of 13019 with flag 2000/55052 4.32/3.51 c Got one! Elapsed wall clock time (in seconds):3.407 4.32/3.51 o 40147 4.52/3.72 c cleaning 5756 clauses out of 11538 with flag 3001/60071 4.72/3.99 c cleaning 5877 clauses out of 11781 with flag 9000/66070 4.86/4.04 c Got one! Elapsed wall clock time (in seconds):3.941 4.86/4.04 o 39029 5.26/4.23 c cleaning 5507 clauses out of 11069 with flag 4000/71235 5.57/4.46 c Got one! Elapsed wall clock time (in seconds):4.357 5.57/4.46 o 38994 5.79/4.69 c cleaning 7901 clauses out of 15826 with flag 5000/81499 6.54/5.01 c cleaning 6951 clauses out of 13925 with flag 11000/87499 7.09/5.49 c cleaning 6963 clauses out of 13975 with flag 18001/94500 7.69/6.00 c cleaning 7481 clauses out of 15011 with flag 26000/102499 8.10/6.40 c cleaning 8245 clauses out of 16530 with flag 35000/111499 8.22/6.57 c Got one! Elapsed wall clock time (in seconds):6.471 8.22/6.57 o 38406 8.32/6.68 c cleaning 6710 clauses out of 13432 with flag 2002/116646 8.51/6.89 c Got one! Elapsed wall clock time (in seconds):6.784 8.51/6.89 o 38145 8.63/6.97 c cleaning 6150 clauses out of 12317 with flag 2000/122241 8.93/7.26 c cleaning 6055 clauses out of 12168 with flag 8001/128242 9.34/7.61 c cleaning 6545 clauses out of 13113 with flag 15001/135242 9.84/8.15 c cleaning 7279 clauses out of 14571 with flag 23004/143245 10.64/8.92 c cleaning 8140 clauses out of 16289 with flag 32001/152242 11.36/9.69 c cleaning 9067 clauses out of 18147 with flag 42000/162241 12.37/10.60 c cleaning 10025 clauses out of 20084 with flag 53004/173245 13.09/11.33 c cleaning 10978 clauses out of 22056 with flag 65001/185242 13.41/11.62 c Got one! Elapsed wall clock time (in seconds):11.521 13.41/11.62 o 37730 13.41/11.67 c cleaning 8298 clauses out of 16610 with flag 1003/190774 13.74/11.92 c cleaning 7135 clauses out of 14310 with flag 7001/196772 14.18/12.39 c cleaning 7084 clauses out of 14176 with flag 14002/203773 14.91/13.00 c cleaning 7539 clauses out of 15090 with flag 22000/211771 15.42/13.54 c cleaning 8233 clauses out of 16551 with flag 31000/220771 16.04/14.16 c cleaning 9150 clauses out of 18319 with flag 41001/230772 16.84/14.96 c cleaning 10042 clauses out of 20169 with flag 52001/241772 17.87/15.93 c cleaning 11052 clauses out of 22126 with flag 64000/253771 18.49/16.58 c Got one! Elapsed wall clock time (in seconds):16.48 18.49/16.58 o 37328 18.78/16.86 c cleaning 14084 clauses out of 28182 with flag 5001/270879 19.29/17.38 c cleaning 10028 clauses out of 20098 with flag 11001/276879 19.93/17.96 c Got one! Elapsed wall clock time (in seconds):17.862 19.93/17.96 o 37166 20.23/18.22 c cleaning 10748 clauses out of 21517 with flag 5000/288326 20.69/18.63 c cleaning 8372 clauses out of 16769 with flag 11000/294326 21.08/19.01 c cleaning 7671 clauses out of 15396 with flag 18000/301326 21.50/19.41 c cleaning 7828 clauses out of 15725 with flag 26000/309326 22.02/19.91 c cleaning 8442 clauses out of 16898 with flag 35001/318327 22.73/20.64 c cleaning 9224 clauses out of 18456 with flag 45001/328327 23.75/21.63 c cleaning 10103 clauses out of 20232 with flag 56001/339327 24.86/22.78 c cleaning 11058 clauses out of 22132 with flag 68004/351330 26.39/24.22 c cleaning 12017 clauses out of 24070 with flag 81000/364326 27.91/25.70 c cleaning 13018 clauses out of 26053 with flag 95000/378326 29.34/27.14 c cleaning 14005 clauses out of 28037 with flag 110002/393328 30.36/28.11 c cleaning 15006 clauses out of 30030 with flag 126000/409326 31.47/29.29 c cleaning 15993 clauses out of 32024 with flag 143000/426326 32.89/30.64 c cleaning 16982 clauses out of 34031 with flag 161000/444326 33.81/31.55 c Got one! Elapsed wall clock time (in seconds):31.446 33.81/31.55 o 37065 34.01/31.77 c cleaning 17505 clauses out of 35044 with flag 5000/462321 34.44/32.11 c cleaning 11759 clauses out of 23539 with flag 11000/468321 34.86/32.52 c cleaning 9362 clauses out of 18780 with flag 18000/475321 35.29/32.97 c cleaning 8682 clauses out of 17419 with flag 26001/483322 36.00/33.67 c cleaning 8823 clauses out of 17736 with flag 35000/492321 36.84/34.40 c cleaning 9409 clauses out of 18913 with flag 45000/502321 37.65/35.22 c cleaning 10199 clauses out of 20505 with flag 56001/513322 38.45/36.01 c cleaning 11141 clauses out of 22309 with flag 68004/525325 39.16/36.75 c cleaning 12067 clauses out of 24164 with flag 81000/538321 40.18/37.74 c cleaning 13019 clauses out of 26098 with flag 95001/552322 40.60/38.11 c Got one! Elapsed wall clock time (in seconds):38.01 40.60/38.11 o 36995 40.80/38.31 c cleaning 11931 clauses out of 23895 with flag 5000/563138 41.01/38.59 c cleaning 8969 clauses out of 17966 with flag 11002/569140 41.42/38.98 c cleaning 7980 clauses out of 15998 with flag 18003/576141 41.92/39.43 c cleaning 7987 clauses out of 16015 with flag 26000/584138 42.23/39.77 c Got one! Elapsed wall clock time (in seconds):39.669 42.23/39.77 o 36897 42.53/40.07 c cleaning 10256 clauses out of 20625 with flag 5001/596735 42.86/40.39 c cleaning 8164 clauses out of 16368 with flag 11000/602734 43.36/40.87 c cleaning 7588 clauses out of 15204 with flag 18000/609734 43.76/41.28 c cleaning 7758 clauses out of 15616 with flag 26000/617734 44.18/41.67 c cleaning 8421 clauses out of 16858 with flag 35000/626734 44.89/42.36 c cleaning 9191 clauses out of 18440 with flag 45003/636737 45.81/43.21 c cleaning 10112 clauses out of 20247 with flag 56001/647735 46.72/44.13 c cleaning 11056 clauses out of 22138 with flag 68004/659738 48.04/45.41 c cleaning 12025 clauses out of 24078 with flag 81000/672734 48.95/46.32 c cleaning 13007 clauses out of 26053 with flag 95000/686734 49.98/47.37 c cleaning 13989 clauses out of 28046 with flag 110000/701734 51.30/48.61 c cleaning 14980 clauses out of 30057 with flag 126000/717734 52.91/50.24 c cleaning 16010 clauses out of 32079 with flag 143002/734736 54.73/52.06 c cleaning 17010 clauses out of 34067 with flag 161000/752734 57.15/54.41 c cleaning 17994 clauses out of 36058 with flag 180001/771735 59.28/56.50 c cleaning 19022 clauses out of 38064 with flag 200001/791735 61.80/59.06 c cleaning 20007 clauses out of 40042 with flag 221001/812735 64.52/61.75 c cleaning 21005 clauses out of 42035 with flag 243001/834735 67.65/64.88 c cleaning 22007 clauses out of 44029 with flag 266000/857734 71.67/68.81 c cleaning 22996 clauses out of 46023 with flag 290001/881735 72.09/69.24 c Got one! Elapsed wall clock time (in seconds):69.137 72.09/69.24 o 36342 72.38/69.54 c cleaning 17107 clauses out of 34230 with flag 5000/892938 72.70/69.89 c cleaning 11550 clauses out of 23125 with flag 11002/898940 73.22/70.33 c cleaning 9280 clauses out of 18573 with flag 18000/905938 73.71/70.84 c cleaning 8634 clauses out of 17294 with flag 26001/913939 74.34/71.47 c cleaning 8820 clauses out of 17660 with flag 35001/922939 75.15/72.28 c cleaning 9408 clauses out of 18839 with flag 45000/932938 76.05/73.15 c cleaning 10206 clauses out of 20431 with flag 56000/943938 77.18/74.22 c cleaning 11105 clauses out of 22225 with flag 68000/955938 78.49/75.51 c cleaning 12047 clauses out of 24120 with flag 81000/968938 79.79/76.82 c cleaning 13024 clauses out of 26075 with flag 95002/982940 81.19/78.24 c cleaning 14015 clauses out of 28055 with flag 110006/997944 82.81/79.89 c cleaning 15006 clauses out of 30034 with flag 126000/1013938 84.82/81.87 c cleaning 16011 clauses out of 32029 with flag 143001/1030939 87.24/84.22 c cleaning 16993 clauses out of 34017 with flag 161000/1048938 89.96/86.92 c cleaning 18000 clauses out of 36025 with flag 180001/1067939 91.96/88.94 c cleaning 18972 clauses out of 38025 with flag 200001/1087939 93.18/90.13 c cleaning 19981 clauses out of 40052 with flag 221000/1108938 94.50/91.41 c cleaning 20994 clauses out of 42072 with flag 243001/1130939 95.80/92.70 c cleaning 21987 clauses out of 44077 with flag 266000/1153938 97.21/94.19 c cleaning 23000 clauses out of 46090 with flag 290000/1177938 99.32/96.25 c cleaning 24035 clauses out of 48091 with flag 315001/1202939 102.25/99.16 c cleaning 24980 clauses out of 50056 with flag 341001/1228939 105.79/102.68 c cleaning 25980 clauses out of 52075 with flag 368000/1255938 109.52/106.37 c cleaning 26987 clauses out of 54096 with flag 396001/1283939 112.85/109.65 c cleaning 28012 clauses out of 56111 with flag 425003/1312941 114.90/111.65 c Got one! Elapsed wall clock time (in seconds):111.55 114.90/111.65 o 36198 115.19/111.98 c cleaning 29496 clauses out of 59000 with flag 5001/1343843 115.72/112.49 c cleaning 17739 clauses out of 35503 with flag 11000/1349842 116.13/112.89 c cleaning 12355 clauses out of 24763 with flag 18000/1356842 116.64/113.34 c cleaning 10195 clauses out of 20414 with flag 26006/1364848 116.64/113.38 c Got one! Elapsed wall clock time (in seconds):113.283 116.64/113.38 o 34581 116.83/113.58 c cleaning 7872 clauses out of 15762 with flag 5000/1370391 117.14/113.87 c cleaning 6934 clauses out of 13891 with flag 11001/1376392 117.56/114.21 c cleaning 6975 clauses out of 13957 with flag 18001/1383392 117.96/114.60 c cleaning 7454 clauses out of 14981 with flag 26000/1391391 118.37/115.03 c cleaning 8232 clauses out of 16528 with flag 35001/1400392 118.78/115.50 c cleaning 9125 clauses out of 18297 with flag 45002/1410393 119.48/116.15 c cleaning 10047 clauses out of 20170 with flag 56000/1421391 120.58/117.27 c cleaning 11029 clauses out of 22126 with flag 68003/1433394 121.90/118.54 c cleaning 12011 clauses out of 24094 with flag 81000/1446391 123.22/119.89 c cleaning 13011 clauses out of 26084 with flag 95001/1460392 124.63/121.24 c cleaning 14000 clauses out of 28072 with flag 110000/1475391 126.23/122.88 c cleaning 14998 clauses out of 30072 with flag 126000/1491391 127.75/124.39 c cleaning 16002 clauses out of 32074 with flag 143000/1508391 129.64/126.28 c cleaning 16995 clauses out of 34072 with flag 161000/1526391 132.37/128.95 c cleaning 17995 clauses out of 36077 with flag 180000/1545391 135.28/131.89 c cleaning 19001 clauses out of 38082 with flag 200000/1565391 138.41/134.90 c cleaning 20004 clauses out of 40082 with flag 221001/1586392 141.62/138.17 c cleaning 20999 clauses out of 42078 with flag 243001/1608392 144.63/141.18 c cleaning 21998 clauses out of 44078 with flag 266000/1631391 148.06/144.55 c cleaning 22999 clauses out of 46081 with flag 290001/1655392 152.07/148.57 c cleaning 23990 clauses out of 48081 with flag 315000/1680391 155.89/152.32 c cleaning 25001 clauses out of 50092 with flag 341001/1706392 159.92/156.32 c cleaning 26001 clauses out of 52093 with flag 368003/1733394 164.64/161.05 c cleaning 27005 clauses out of 54090 with flag 396001/1761392 167.37/163.79 c cleaning 28017 clauses out of 56089 with flag 425005/1790396 170.00/166.38 c cleaning 29026 clauses out of 58067 with flag 455001/1820392 174.34/170.61 c cleaning 30011 clauses out of 60040 with flag 486000/1851391 179.07/175.30 c cleaning 31005 clauses out of 62030 with flag 518001/1883392 184.59/180.86 c cleaning 31974 clauses out of 64024 with flag 551000/1916391 189.63/185.84 c cleaning 32983 clauses out of 66050 with flag 585000/1950391 195.36/191.50 c cleaning 34024 clauses out of 68067 with flag 620000/1985391 200.58/196.70 c cleaning 35018 clauses out of 70044 with flag 656001/2021392 205.62/201.78 c cleaning 36002 clauses out of 72025 with flag 693000/2058391 209.13/205.26 c cleaning 36984 clauses out of 74024 with flag 731001/2096392 213.36/209.45 c cleaning 37981 clauses out of 76040 with flag 770001/2135392 216.90/212.96 c Got one! Elapsed wall clock time (in seconds):212.859 216.90/212.96 o 34022 217.50/213.55 c cleaning 36250 clauses out of 72513 with flag 5000/2169846 218.04/214.02 c cleaning 21117 clauses out of 42263 with flag 11000/2175846 218.45/214.43 c cleaning 14063 clauses out of 28151 with flag 18005/2182851 218.85/214.89 c cleaning 11029 clauses out of 22085 with flag 26002/2190848 219.37/215.39 c cleaning 10021 clauses out of 20054 with flag 35000/2199846 220.07/216.00 c cleaning 10003 clauses out of 20033 with flag 45000/2209846 220.60/216.59 c cleaning 10514 clauses out of 21031 with flag 56001/2220847 221.33/217.28 c cleaning 11252 clauses out of 22517 with flag 68001/2232847 222.05/217.99 c cleaning 12085 clauses out of 24267 with flag 81003/2245849 222.76/218.70 c cleaning 13070 clauses out of 26180 with flag 95001/2259847 223.46/219.39 c cleaning 14027 clauses out of 28112 with flag 110003/2274849 224.38/220.22 c cleaning 15001 clauses out of 30082 with flag 126000/2290846 225.39/221.27 c cleaning 15990 clauses out of 32085 with flag 143004/2307850 226.70/222.54 c cleaning 17024 clauses out of 34091 with flag 161000/2325846 228.32/224.14 c cleaning 18013 clauses out of 36069 with flag 180002/2344848 229.43/225.29 c cleaning 18987 clauses out of 38055 with flag 200001/2364847 230.95/226.71 c cleaning 20008 clauses out of 40068 with flag 221001/2385847 232.57/228.32 c cleaning 21010 clauses out of 42060 with flag 243001/2407847 233.91/229.69 c cleaning 21985 clauses out of 44049 with flag 266000/2430846 235.63/231.36 c cleaning 23014 clauses out of 46070 with flag 290006/2454852 237.54/233.26 c cleaning 24002 clauses out of 48050 with flag 315000/2479846 239.96/235.61 c Got one! Elapsed wall clock time (in seconds):235.504 239.96/235.61 o 33810 240.38/236.05 c cleaning 24580 clauses out of 49182 with flag 5000/2504980 240.83/236.49 c cleaning 15288 clauses out of 30602 with flag 11000/2510980 241.34/236.93 c cleaning 11140 clauses out of 22314 with flag 18000/2517980 241.74/237.37 c cleaning 9568 clauses out of 19175 with flag 26001/2525981 242.39/237.90 c cleaning 9292 clauses out of 18610 with flag 35004/2534984 242.89/238.44 c cleaning 9640 clauses out of 19314 with flag 45000/2544980 243.53/239.02 c cleaning 10317 clauses out of 20674 with flag 56000/2555980 244.13/239.69 c cleaning 11172 clauses out of 22357 with flag 68000/2567980 245.05/240.54 c cleaning 12079 clauses out of 24185 with flag 81000/2580980 245.96/241.43 c cleaning 13041 clauses out of 26107 with flag 95001/2594981 246.86/242.34 c cleaning 14021 clauses out of 28068 with flag 110003/2609983 247.87/243.39 c cleaning 15005 clauses out of 30044 with flag 126000/2625980 248.98/244.43 c cleaning 16008 clauses out of 32039 with flag 143000/2642980 250.19/245.69 c cleaning 16994 clauses out of 34032 with flag 161001/2660981 251.70/247.13 c cleaning 17995 clauses out of 36037 with flag 180000/2679980 253.12/248.51 c cleaning 19014 clauses out of 38042 with flag 200000/2699980 254.82/250.29 c cleaning 20010 clauses out of 40034 with flag 221006/2720986 257.25/252.64 c cleaning 20999 clauses out of 42019 with flag 243001/2742981 259.80/255.16 c cleaning 22003 clauses out of 44019 with flag 266000/2765980 262.61/257.95 c cleaning 22971 clauses out of 46018 with flag 290002/2789982 266.14/261.41 c cleaning 23991 clauses out of 48046 with flag 315001/2814981 269.15/264.45 c cleaning 25002 clauses out of 50054 with flag 341000/2840980 273.27/268.51 c cleaning 25990 clauses out of 52053 with flag 368001/2867981 276.99/272.25 c cleaning 27002 clauses out of 54062 with flag 396000/2895980 281.23/276.45 c cleaning 28006 clauses out of 56063 with flag 425003/2924983 285.84/281.04 c cleaning 29005 clauses out of 58057 with flag 455003/2954983 290.16/285.32 c cleaning 29997 clauses out of 60049 with flag 486000/2985980 295.08/290.26 c cleaning 30999 clauses out of 62052 with flag 518000/3017980 298.71/293.84 c cleaning 31961 clauses out of 64052 with flag 551001/3050981 299.44/294.57 c Got one! Elapsed wall clock time (in seconds):294.471 299.44/294.57 o 32854 299.77/294.84 c cleaning 22961 clauses out of 45950 with flag 5000/3064841 300.07/295.15 c cleaning 14483 clauses out of 28992 with flag 11003/3070844 300.59/295.64 c cleaning 10742 clauses out of 21506 with flag 18000/3077841 301.20/296.26 c cleaning 9376 clauses out of 18764 with flag 26000/3085841 301.71/296.77 c cleaning 9181 clauses out of 18389 with flag 35001/3094842 302.23/297.26 c cleaning 9582 clauses out of 19208 with flag 45001/3104842 302.83/297.85 c cleaning 10276 clauses out of 20625 with flag 56000/3115841 303.65/298.60 c cleaning 11162 clauses out of 22350 with flag 68001/3127842 304.66/299.69 c cleaning 12070 clauses out of 24189 with flag 81002/3140843 305.98/300.95 c cleaning 13034 clauses out of 26117 with flag 95000/3154841 307.11/302.04 c cleaning 13989 clauses out of 28083 with flag 110000/3169841 308.81/303.72 c cleaning 15039 clauses out of 30097 with flag 126003/3185844 310.53/305.49 c cleaning 16011 clauses out of 32055 with flag 143000/3202841 312.45/307.33 c cleaning 16999 clauses out of 34044 with flag 161000/3220841 313.95/308.84 c cleaning 17989 clauses out of 36045 with flag 180000/3239841 315.66/310.51 c cleaning 19021 clauses out of 38057 with flag 200001/3259842 317.18/312.06 c cleaning 19998 clauses out of 40036 with flag 221001/3280842 319.08/313.92 c cleaning 21001 clauses out of 42038 with flag 243001/3302842 321.11/315.95 c cleaning 22005 clauses out of 44037 with flag 266001/3325842 323.34/318.12 c cleaning 22980 clauses out of 46031 with flag 290000/3349841 325.66/320.43 c cleaning 24015 clauses out of 48053 with flag 315002/3374843 328.91/323.64 c cleaning 25006 clauses out of 50037 with flag 341001/3400842 331.43/326.19 c cleaning 25993 clauses out of 52031 with flag 368001/3427842 334.04/328.70 c cleaning 27002 clauses out of 54038 with flag 396001/3455842 336.56/331.20 c cleaning 27996 clauses out of 56036 with flag 425001/3484842 339.28/333.98 c cleaning 28989 clauses out of 58041 with flag 455002/3514843 342.71/337.30 c cleaning 30023 clauses out of 60051 with flag 486001/3545842 345.45/340.06 c cleaning 30980 clauses out of 62027 with flag 518000/3577841 348.39/342.97 c cleaning 31981 clauses out of 64047 with flag 551000/3610841 351.50/346.08 c cleaning 32996 clauses out of 66066 with flag 585000/3644841 355.35/349.89 c cleaning 33999 clauses out of 68072 with flag 620002/3679843 358.17/352.62 c cleaning 35002 clauses out of 70071 with flag 656000/3715841 361.68/356.17 c cleaning 36003 clauses out of 72070 with flag 693001/3752842 362.70/357.13 c Got one! Elapsed wall clock time (in seconds):357.032 362.70/357.13 o 32611 363.01/357.48 c cleaning 27055 clauses out of 54151 with flag 5002/3770926 363.42/357.87 c cleaning 16520 clauses out of 33094 with flag 11000/3776924 363.83/358.24 c cleaning 11767 clauses out of 23578 with flag 18004/3783928 364.25/358.67 c cleaning 9875 clauses out of 19808 with flag 26001/3791925 364.77/359.16 c cleaning 9443 clauses out of 18932 with flag 35000/3800924 365.29/359.66 c cleaning 9724 clauses out of 19492 with flag 45003/3810927 365.89/360.22 c cleaning 10355 clauses out of 20765 with flag 56000/3821924 366.60/360.99 c cleaning 11200 clauses out of 22413 with flag 68003/3833927 367.53/361.83 c cleaning 12092 clauses out of 24210 with flag 81000/3846924 368.45/362.75 c cleaning 13045 clauses out of 26119 with flag 95001/3860925 369.35/363.68 c cleaning 14024 clauses out of 28073 with flag 110000/3875924 370.25/364.54 c cleaning 15011 clauses out of 30049 with flag 126000/3891924 371.46/365.76 c cleaning 16006 clauses out of 32038 with flag 143000/3908924 372.57/366.86 c cleaning 16993 clauses out of 34032 with flag 161000/3926924 373.77/368.00 c cleaning 17998 clauses out of 36039 with flag 180000/3945924 375.29/369.54 c cleaning 18993 clauses out of 38044 with flag 200003/3965927 376.71/370.93 c cleaning 20014 clauses out of 40049 with flag 221001/3986925 378.46/372.67 c cleaning 20996 clauses out of 42034 with flag 243000/4008924 379.97/374.13 c cleaning 22009 clauses out of 44038 with flag 266000/4031924 382.38/376.58 c cleaning 23002 clauses out of 46029 with flag 290000/4055924 384.71/378.86 c cleaning 23970 clauses out of 48028 with flag 315001/4080925 386.54/380.61 c cleaning 24985 clauses out of 50057 with flag 341000/4106924 388.36/382.41 c cleaning 25994 clauses out of 52074 with flag 368002/4133926 390.28/384.40 c cleaning 26993 clauses out of 54078 with flag 396000/4161924 392.50/386.52 c cleaning 27996 clauses out of 56085 with flag 425000/4190924 394.72/388.74 c cleaning 29018 clauses out of 58089 with flag 455000/4220924 398.25/392.20 c cleaning 30012 clauses out of 60072 with flag 486001/4251925 401.27/395.20 c cleaning 30995 clauses out of 62060 with flag 518001/4283925 404.49/398.44 c cleaning 31987 clauses out of 64066 with flag 551002/4316926 407.81/401.77 c cleaning 32990 clauses out of 66078 with flag 585001/4350925 411.45/405.33 c cleaning 34017 clauses out of 68089 with flag 620002/4385926 415.15/409.09 c cleaning 34987 clauses out of 70070 with flag 656000/4421924 419.36/413.26 c cleaning 36007 clauses out of 72083 with flag 693000/4458924 423.30/417.17 c cleaning 37015 clauses out of 74076 with flag 731000/4496924 427.82/421.62 c cleaning 38012 clauses out of 76063 with flag 770002/4535926 428.73/422.51 c Got one! Elapsed wall clock time (in seconds):422.407 428.73/422.51 o 32392 429.23/423.07 c cleaning 27451 clauses out of 54918 with flag 5003/4552793 429.77/423.52 c cleaning 16707 clauses out of 33464 with flag 11000/4558790 430.17/423.97 c cleaning 11849 clauses out of 23759 with flag 18002/4565792 430.69/424.47 c cleaning 9928 clauses out of 19911 with flag 26003/4573793 431.40/425.12 c cleaning 9461 clauses out of 18980 with flag 35000/4582790 432.22/425.92 c cleaning 9742 clauses out of 19519 with flag 45000/4592790 433.13/426.81 c cleaning 10380 clauses out of 20778 with flag 56001/4603791 434.15/427.86 c cleaning 11192 clauses out of 22398 with flag 68001/4615791 435.15/428.80 c cleaning 12089 clauses out of 24207 with flag 81002/4628792 436.27/429.92 c cleaning 13045 clauses out of 26116 with flag 95000/4642790 437.62/431.25 c cleaning 14023 clauses out of 28071 with flag 110000/4657790 438.14/431.74 c Got one! Elapsed wall clock time (in seconds):431.642 438.14/431.74 o 32104 438.44/432.04 c cleaning 13116 clauses out of 26259 with flag 5000/4670001 438.78/432.40 c cleaning 9554 clauses out of 19143 with flag 11000/4676001 439.20/432.79 c cleaning 8275 clauses out of 16593 with flag 18004/4683005 439.64/433.18 c cleaning 8149 clauses out of 16314 with flag 26000/4691001 440.16/433.67 c cleaning 8579 clauses out of 17166 with flag 35001/4700002 440.89/434.35 c cleaning 9285 clauses out of 18588 with flag 45002/4710003 441.70/435.13 c cleaning 10122 clauses out of 20303 with flag 56002/4721003 442.53/435.93 c cleaning 11052 clauses out of 22179 with flag 68000/4733001 443.75/437.19 c cleaning 12019 clauses out of 24129 with flag 81002/4746003 445.06/438.46 c cleaning 13031 clauses out of 26110 with flag 95002/4760003 446.58/439.95 c cleaning 14008 clauses out of 28077 with flag 110000/4775001 448.18/441.59 c cleaning 15012 clauses out of 30069 with flag 126000/4791001 450.08/443.46 c cleaning 16003 clauses out of 32057 with flag 143000/4808001 452.09/445.44 c cleaning 17009 clauses out of 34054 with flag 161000/4826001 452.70/446.07 c Got one! Elapsed wall clock time (in seconds):445.965 452.70/446.07 o 31979 453.13/446.40 c cleaning 15274 clauses out of 30567 with flag 5001/4839523 453.45/446.78 c cleaning 10639 clauses out of 21293 with flag 11001/4845523 453.86/447.14 c cleaning 8810 clauses out of 17657 with flag 18004/4852526 454.37/447.66 c cleaning 8398 clauses out of 16843 with flag 26000/4860522 454.98/448.28 c cleaning 8711 clauses out of 17447 with flag 35002/4869524 455.70/448.97 c cleaning 9356 clauses out of 18735 with flag 45001/4879523 456.52/449.73 c cleaning 10177 clauses out of 20378 with flag 56000/4890522 457.34/450.55 c cleaning 11085 clauses out of 22201 with flag 68000/4902522 458.25/451.45 c cleaning 12047 clauses out of 24116 with flag 81000/4915522 459.26/452.40 c cleaning 13027 clauses out of 26073 with flag 95004/4929526 460.18/453.39 c cleaning 14013 clauses out of 28042 with flag 110000/4944522 461.60/454.78 c cleaning 14996 clauses out of 30029 with flag 126000/4960522 462.82/455.99 c cleaning 16006 clauses out of 32033 with flag 143000/4977522 464.34/457.49 c cleaning 16977 clauses out of 34027 with flag 161000/4995522 465.95/459.04 c cleaning 17976 clauses out of 36050 with flag 180000/5014522 467.88/460.95 c cleaning 19018 clauses out of 38075 with flag 200001/5034523 470.39/463.48 c cleaning 20006 clauses out of 40056 with flag 221000/5055522 472.42/465.45 c cleaning 20999 clauses out of 42055 with flag 243005/5077527 474.82/467.85 c cleaning 21987 clauses out of 44052 with flag 266001/5100523 477.44/470.49 c cleaning 22992 clauses out of 46064 with flag 290000/5124522 480.45/473.44 c cleaning 24011 clauses out of 48072 with flag 315000/5149522 483.76/476.72 c cleaning 25010 clauses out of 50064 with flag 341003/5175525 486.69/479.66 c cleaning 25969 clauses out of 52052 with flag 368001/5202523 489.20/482.18 c cleaning 26981 clauses out of 54082 with flag 396000/5230522 491.52/484.49 c cleaning 27991 clauses out of 56101 with flag 425000/5259522 494.24/487.15 c cleaning 28992 clauses out of 58111 with flag 455001/5289523 496.87/489.74 c cleaning 29996 clauses out of 60121 with flag 486003/5320525 500.51/493.37 c cleaning 30990 clauses out of 62126 with flag 518004/5352526 504.13/496.92 c cleaning 32002 clauses out of 64135 with flag 551003/5385525 507.65/500.44 c cleaning 32993 clauses out of 66130 with flag 585000/5419522 511.38/504.12 c cleaning 33996 clauses out of 68138 with flag 620001/5454523 515.32/508.02 c cleaning 35003 clauses out of 70142 with flag 656001/5490523 519.96/512.66 c cleaning 36016 clauses out of 72138 with flag 693000/5527522 524.40/517.09 c cleaning 37019 clauses out of 74124 with flag 731002/5565524 529.51/522.11 c cleaning 38002 clauses out of 76104 with flag 770001/5604523 534.95/527.54 c cleaning 39010 clauses out of 78104 with flag 810003/5644525 540.79/533.38 c cleaning 40005 clauses out of 80094 with flag 851003/5685525 547.02/539.59 c cleaning 41000 clauses out of 82086 with flag 893000/5727522 553.07/545.60 c cleaning 41996 clauses out of 84088 with flag 936002/5770524 559.39/551.88 c cleaning 43003 clauses out of 86090 with flag 980000/5814522 565.94/558.38 c cleaning 43991 clauses out of 88087 with flag 1025000/5859522 571.76/564.15 c cleaning 44997 clauses out of 90096 with flag 1071000/5905522 578.29/570.63 c cleaning 45994 clauses out of 92101 with flag 1118002/5952524 586.02/578.35 c cleaning 47006 clauses out of 94107 with flag 1166002/6000524 590.05/582.39 c Got one! Elapsed wall clock time (in seconds):582.289 590.05/582.39 o 31443 591.06/583.30 c cleaning 43526 clauses out of 87063 with flag 5000/6040486 591.67/583.90 c cleaning 24758 clauses out of 49537 with flag 11000/6046486 592.18/584.48 c cleaning 15879 clauses out of 31779 with flag 18000/6053486 592.91/585.15 c cleaning 11940 clauses out of 23902 with flag 26002/6061488 593.71/585.90 c cleaning 10476 clauses out of 20961 with flag 35001/6070487 594.41/586.64 c cleaning 10235 clauses out of 20489 with flag 45005/6080491 595.34/587.58 c cleaning 10616 clauses out of 21249 with flag 56000/6091486 596.36/588.56 c cleaning 11310 clauses out of 22633 with flag 68000/6103486 597.48/589.67 c cleaning 12155 clauses out of 24324 with flag 81001/6116487 598.80/590.97 c cleaning 13073 clauses out of 26168 with flag 95000/6130486 600.42/592.55 c cleaning 14038 clauses out of 28095 with flag 110000/6145486 602.04/594.18 c cleaning 15019 clauses out of 30058 with flag 126001/6161487 603.94/596.01 c cleaning 16008 clauses out of 32038 with flag 143000/6178486 606.04/598.13 c cleaning 17010 clauses out of 34034 with flag 161004/6196490 608.57/600.63 c cleaning 17999 clauses out of 36023 with flag 180003/6215489 611.08/603.10 c cleaning 19004 clauses out of 38021 with flag 200000/6235486 613.80/605.86 c cleaning 20001 clauses out of 40017 with flag 221000/6256486 616.93/608.94 c cleaning 20990 clauses out of 42016 with flag 243000/6278486 619.94/611.91 c cleaning 22003 clauses out of 44028 with flag 266002/6301488 623.15/615.17 c cleaning 23006 clauses out of 46024 with flag 290001/6325487 627.35/619.33 c cleaning 24001 clauses out of 48017 with flag 315000/6350486 631.16/623.17 c cleaning 24998 clauses out of 50018 with flag 341002/6376488 635.18/627.13 c cleaning 25997 clauses out of 52020 with flag 368002/6403488 639.59/631.50 c cleaning 27000 clauses out of 54022 with flag 396001/6431487 644.51/636.46 c cleaning 28004 clauses out of 56021 with flag 425000/6460486 649.43/641.37 c cleaning 29004 clauses out of 58017 with flag 455000/6490486 654.75/646.70 c cleaning 29997 clauses out of 60013 with flag 486000/6521486 661.27/653.18 c cleaning 31003 clauses out of 62018 with flag 518002/6553488 668.70/660.52 c cleaning 31995 clauses out of 64013 with flag 551000/6586486 674.33/666.14 c cleaning 32996 clauses out of 66018 with flag 585000/6620486 680.43/672.25 c cleaning 34004 clauses out of 68022 with flag 620000/6655486 686.97/678.78 c cleaning 35001 clauses out of 70019 with flag 656001/6691487 694.18/685.96 c cleaning 36006 clauses out of 72020 with flag 693003/6728489 701.71/693.44 c cleaning 37002 clauses out of 74014 with flag 731003/6766489 705.84/697.51 c cleaning 37958 clauses out of 76007 with flag 770001/6805487 708.49/700.13 c Got one! Elapsed wall clock time (in seconds):700.024 708.49/700.13 o 30994 709.39/701.05 c cleaning 35219 clauses out of 70443 with flag 5002/6837881 710.13/701.79 c cleaning 20594 clauses out of 41224 with flag 11002/6843881 710.74/702.37 c cleaning 13798 clauses out of 27628 with flag 18000/6850879 711.46/703.08 c cleaning 10910 clauses out of 21831 with flag 26001/6858880 712.08/703.64 c cleaning 9948 clauses out of 19923 with flag 35003/6867882 712.80/704.30 c cleaning 9972 clauses out of 19975 with flag 45003/6877882 713.42/704.96 c cleaning 10476 clauses out of 21002 with flag 56002/6888881 714.24/705.74 c cleaning 11242 clauses out of 22524 with flag 68000/6900879 715.15/706.63 c cleaning 12129 clauses out of 24282 with flag 81000/6913879 716.25/707.70 c cleaning 13049 clauses out of 26153 with flag 95000/6927879 717.57/709.00 c cleaning 14042 clauses out of 28104 with flag 110000/6942879 718.97/710.45 c cleaning 14996 clauses out of 30063 with flag 126001/6958880 720.60/712.07 c cleaning 16011 clauses out of 32066 with flag 143000/6975879 722.35/713.75 c cleaning 17021 clauses out of 34066 with flag 161011/6993890 724.28/715.67 c cleaning 18005 clauses out of 36035 with flag 180001/7012880 726.49/717.82 c cleaning 18998 clauses out of 38029 with flag 200000/7032879 728.60/719.92 c cleaning 19996 clauses out of 40031 with flag 221000/7053879 730.41/721.74 c cleaning 20991 clauses out of 42036 with flag 243001/7075880 732.13/723.44 c cleaning 22004 clauses out of 44044 with flag 266000/7098879 734.05/725.31 c cleaning 23005 clauses out of 46040 with flag 290000/7122879 735.77/727.03 c cleaning 24010 clauses out of 48040 with flag 315005/7147884 737.77/729.08 c cleaning 24991 clauses out of 50025 with flag 341000/7173879 739.99/731.20 c cleaning 25998 clauses out of 52034 with flag 368000/7200879 742.92/734.10 c cleaning 27007 clauses out of 54036 with flag 396000/7228879 746.65/737.88 c cleaning 28000 clauses out of 56029 with flag 425000/7257879 750.20/741.32 c cleaning 28991 clauses out of 58032 with flag 455003/7287882 754.03/745.16 c cleaning 30007 clauses out of 60039 with flag 486001/7318880 757.67/748.74 c cleaning 31010 clauses out of 62031 with flag 518000/7350879 761.80/752.81 c cleaning 31990 clauses out of 64022 with flag 551001/7383880 765.72/756.79 c cleaning 33000 clauses out of 66035 with flag 585004/7417883 769.63/760.60 c cleaning 34005 clauses out of 68032 with flag 620001/7452880 773.05/764.07 c cleaning 35005 clauses out of 70026 with flag 656000/7488879 777.18/768.14 c cleaning 35975 clauses out of 72023 with flag 693002/7525881 781.53/772.43 c cleaning 37006 clauses out of 74051 with flag 731005/7563884 785.95/776.87 c cleaning 38001 clauses out of 76040 with flag 770000/7602879 790.58/781.48 c cleaning 39004 clauses out of 78040 with flag 810001/7642880 795.11/785.94 c cleaning 40010 clauses out of 80036 with flag 851001/7683880 799.53/790.31 c cleaning 41001 clauses out of 82026 with flag 893001/7725880 804.77/795.53 c cleaning 41986 clauses out of 84024 with flag 936000/7768879 811.79/802.51 c cleaning 43014 clauses out of 86039 with flag 980001/7812880 819.31/810.09 c cleaning 44006 clauses out of 88024 with flag 1025000/7857879 827.66/818.40 c cleaning 45002 clauses out of 90020 with flag 1071002/7903881 835.58/826.25 c cleaning 45994 clauses out of 92016 with flag 1118000/7950879 843.54/834.12 c cleaning 47005 clauses out of 94022 with flag 1166000/7998879 852.57/843.10 c cleaning 47998 clauses out of 96017 with flag 1215000/8047879 861.52/852.01 c cleaning 49004 clauses out of 98020 with flag 1265001/8097880 872.37/862.85 c cleaning 49997 clauses out of 100017 with flag 1316002/8148881 883.35/873.71 c cleaning 51000 clauses out of 102019 with flag 1368001/8200880 894.60/884.95 c cleaning 52007 clauses out of 104022 with flag 1421004/8253883 901.25/891.50 c cleaning 52996 clauses out of 106012 with flag 1475001/8307880 907.07/897.33 c cleaning 53993 clauses out of 108015 with flag 1530000/8362879 914.30/904.58 c cleaning 55001 clauses out of 110024 with flag 1586002/8418881 920.58/910.80 c cleaning 55995 clauses out of 112023 with flag 1643002/8475881 929.02/919.16 c cleaning 56999 clauses out of 114027 with flag 1701001/8533880 936.44/926.56 c cleaning 57988 clauses out of 116028 with flag 1760001/8592880 944.76/934.82 c cleaning 59005 clauses out of 118039 with flag 1820000/8652879 954.11/944.10 c cleaning 59994 clauses out of 120036 with flag 1881002/8713881 962.74/952.79 c cleaning 60988 clauses out of 122040 with flag 1943000/8775879 971.39/961.40 c cleaning 62001 clauses out of 124053 with flag 2006001/8838880 980.73/970.62 c cleaning 63017 clauses out of 126052 with flag 2070001/8902880 988.75/978.63 c cleaning 63999 clauses out of 128035 with flag 2135001/8967880 997.77/987.64 c cleaning 64981 clauses out of 130035 with flag 2201000/9033879 1008.61/998.43 c cleaning 66010 clauses out of 132055 with flag 2268001/9100880 1021.77/1011.56 c cleaning 67001 clauses out of 134045 with flag 2336001/9168880 1038.36/1028.09 c cleaning 68005 clauses out of 136043 with flag 2405000/9237879 1053.96/1043.55 c cleaning 68980 clauses out of 138040 with flag 2475002/9307881 1069.83/1059.39 c cleaning 70022 clauses out of 140058 with flag 2546000/9378879 1088.09/1077.59 c cleaning 71010 clauses out of 142037 with flag 2618001/9450880 1106.46/1095.83 c cleaning 71999 clauses out of 144027 with flag 2691001/9523880 1126.22/1115.50 c cleaning 72998 clauses out of 146027 with flag 2765000/9597879 1146.98/1136.20 c cleaning 74007 clauses out of 148031 with flag 2840002/9672881 1168.47/1157.66 c cleaning 75003 clauses out of 150023 with flag 2916001/9748880 1190.10/1179.21 c cleaning 75996 clauses out of 152023 with flag 2993004/9825883 1211.14/1200.29 c cleaning 76998 clauses out of 154023 with flag 3071000/9903879 1233.13/1222.18 c cleaning 78008 clauses out of 156025 with flag 3150000/9982879 1253.08/1242.03 c cleaning 78993 clauses out of 158017 with flag 3230000/10062879 1276.23/1265.13 c cleaning 79989 clauses out of 160025 with flag 3311001/10143880 1279.30/1268.16 c Got one! Elapsed wall clock time (in seconds):1268.055 1279.30/1268.16 o 30466 1280.00/1268.86 c cleaning 56056 clauses out of 112128 with flag 5000/10175973 1280.62/1269.42 c cleaning 31029 clauses out of 62073 with flag 11001/10181974 1281.24/1270.02 c cleaning 19019 clauses out of 38048 with flag 18005/10188978 1281.97/1270.75 c cleaning 13504 clauses out of 27027 with flag 26003/10196976 1282.69/1271.50 c cleaning 11246 clauses out of 22520 with flag 35000/10205973 1283.61/1272.31 c cleaning 10623 clauses out of 21274 with flag 45000/10215973 1284.43/1273.10 c cleaning 10809 clauses out of 21653 with flag 56002/10226975 1284.76/1273.44 c Got one! Elapsed wall clock time (in seconds):1273.337 1284.76/1273.44 o 29311 1284.86/1273.50 c cleaning 8325 clauses out of 16682 with flag 1000/10232813 1285.18/1273.87 c cleaning 7162 clauses out of 14358 with flag 7001/10238814 1285.59/1274.29 c cleaning 7089 clauses out of 14198 with flag 14003/10245816 1286.10/1274.76 c cleaning 7538 clauses out of 15106 with flag 22000/10253813 1286.73/1275.31 c cleaning 8267 clauses out of 16568 with flag 31000/10262813 1287.36/1275.91 c cleaning 9134 clauses out of 18302 with flag 41001/10272814 1288.16/1276.73 c cleaning 10074 clauses out of 20167 with flag 52000/10283813 1289.18/1277.77 c cleaning 11037 clauses out of 22094 with flag 64001/10295814 1290.60/1279.16 c cleaning 12007 clauses out of 24056 with flag 77000/10308813 1292.32/1280.82 c cleaning 13013 clauses out of 26053 with flag 91004/10322817 1294.04/1282.55 c cleaning 14002 clauses out of 28038 with flag 106002/10337815 1295.17/1283.65 c cleaning 15014 clauses out of 30035 with flag 122001/10353814 1296.70/1285.18 c cleaning 15989 clauses out of 32020 with flag 139000/10370813 1298.40/1286.85 c cleaning 16988 clauses out of 34031 with flag 157000/10388813 1300.13/1288.59 c cleaning 17994 clauses out of 36044 with flag 176001/10407814 1301.35/1289.75 c cleaning 18992 clauses out of 38051 with flag 196002/10427815 1302.86/1291.22 c cleaning 20014 clauses out of 40060 with flag 217003/10448816 1305.08/1293.42 c cleaning 20996 clauses out of 42045 with flag 239002/10470815 1308.00/1296.34 c cleaning 22009 clauses out of 44050 with flag 262003/10493816 1310.82/1299.11 c cleaning 23007 clauses out of 46039 with flag 286001/10517814 1314.14/1302.40 c cleaning 24005 clauses out of 48032 with flag 311001/10542814 1317.66/1305.96 c cleaning 25006 clauses out of 50027 with flag 337001/10568814 1320.48/1308.77 c cleaning 25980 clauses out of 52023 with flag 364003/10595816 1322.91/1311.13 c cleaning 26989 clauses out of 54041 with flag 392001/10623814 1325.42/1313.62 c cleaning 27990 clauses out of 56051 with flag 421000/10652813 1328.26/1316.46 c cleaning 29024 clauses out of 58061 with flag 451000/10682813 1331.68/1319.82 c cleaning 29994 clauses out of 60037 with flag 482000/10713813 1335.61/1323.76 c cleaning 31005 clauses out of 62048 with flag 514005/10745818 1340.03/1328.11 c cleaning 31976 clauses out of 64041 with flag 547003/10778816 1344.57/1332.69 c cleaning 33016 clauses out of 66064 with flag 581002/10812815 1349.21/1337.28 c cleaning 34004 clauses out of 68046 with flag 616000/10847813 1355.05/1343.08 c cleaning 34997 clauses out of 70042 with flag 652000/10883813 1362.25/1350.22 c cleaning 36001 clauses out of 72045 with flag 689000/10920813 1369.39/1357.31 c cleaning 37011 clauses out of 74045 with flag 727001/10958814 1377.14/1365.02 c cleaning 38009 clauses out of 76034 with flag 766001/10997814 1384.47/1372.37 c cleaning 38983 clauses out of 78025 with flag 806001/11037814 1392.99/1380.83 c cleaning 39998 clauses out of 80041 with flag 847000/11078813 1402.23/1390.00 c cleaning 40999 clauses out of 82043 with flag 889000/11120813 1405.85/1393.66 c Got one! Elapsed wall clock time (in seconds):1393.563 1405.85/1393.67 o 25652 1406.74/1394.51 c cleaning 33781 clauses out of 67583 with flag 5001/11147352 1407.37/1395.13 c cleaning 19888 clauses out of 39801 with flag 11000/11153351 1408.00/1395.75 c cleaning 13442 clauses out of 26913 with flag 18000/11160351 1408.62/1396.39 c cleaning 10713 clauses out of 21471 with flag 26000/11168351 1409.44/1397.17 c cleaning 9873 clauses out of 19761 with flag 35003/11177354 1410.25/1397.96 c cleaning 9935 clauses out of 19887 with flag 45002/11187353 1411.19/1398.84 c cleaning 10466 clauses out of 20950 with flag 56000/11198351 1412.20/1399.80 c cleaning 11237 clauses out of 22484 with flag 68000/11210351 1413.31/1400.97 c cleaning 12114 clauses out of 24248 with flag 81001/11223352 1414.62/1402.26 c cleaning 13062 clauses out of 26135 with flag 95002/11237353 1416.24/1403.80 c cleaning 14031 clauses out of 28071 with flag 110000/11252351 1417.86/1405.40 c cleaning 15007 clauses out of 30040 with flag 126000/11268351 1419.78/1407.39 c cleaning 16009 clauses out of 32034 with flag 143001/11285352 1421.98/1409.56 c cleaning 17002 clauses out of 34024 with flag 161000/11303351 1424.28/1411.85 c cleaning 18000 clauses out of 36022 with flag 180000/11322351 1426.69/1414.28 c cleaning 19001 clauses out of 38023 with flag 200001/11342352 1429.50/1417.07 c cleaning 19999 clauses out of 40021 with flag 221000/11363351 1432.63/1420.16 c cleaning 20999 clauses out of 42022 with flag 243000/11385351 1435.85/1423.34 c cleaning 22000 clauses out of 44024 with flag 266001/11408352 1439.47/1426.92 c cleaning 23005 clauses out of 46023 with flag 290000/11432351 1443.08/1430.57 c cleaning 23995 clauses out of 48018 with flag 315000/11457351 1446.92/1434.39 c cleaning 25006 clauses out of 50025 with flag 341002/11483353 1451.64/1439.02 c cleaning 26006 clauses out of 52017 with flag 368000/11510351 1456.04/1443.45 c cleaning 26992 clauses out of 54011 with flag 396000/11538351 1460.96/1448.38 c cleaning 28001 clauses out of 56020 with flag 425001/11567352 1465.88/1453.20 c cleaning 28997 clauses out of 58020 with flag 455002/11597353 1471.10/1458.49 c cleaning 29998 clauses out of 60021 with flag 486000/11628351 1475.73/1463.00 c cleaning 31007 clauses out of 62023 with flag 518001/11660352 1479.95/1467.27 c cleaning 31990 clauses out of 64019 with flag 551004/11693355 1484.60/1471.85 c cleaning 33004 clauses out of 66030 with flag 585005/11727356 1489.22/1476.46 c cleaning 33992 clauses out of 68027 with flag 620006/11762357 1493.94/1481.15 c cleaning 34996 clauses out of 70030 with flag 656001/11798352 1500.47/1487.66 c cleaning 35986 clauses out of 72038 with flag 693005/11835356 1506.20/1493.34 c cleaning 36984 clauses out of 74047 with flag 731000/11873351 1513.03/1500.15 c cleaning 38002 clauses out of 76063 with flag 770000/11912351 1520.37/1507.40 c cleaning 38976 clauses out of 78063 with flag 810002/11952353 1525.42/1512.48 c cleaning 40018 clauses out of 80090 with flag 851006/11993357 1530.83/1517.81 c cleaning 40993 clauses out of 82066 with flag 893000/12035351 1536.48/1523.42 c cleaning 42020 clauses out of 84073 with flag 936000/12078351 1542.31/1529.29 c cleaning 42998 clauses out of 86055 with flag 980002/12122353 1548.53/1535.43 c cleaning 44010 clauses out of 88056 with flag 1025001/12167352 1554.57/1541.49 c cleaning 45007 clauses out of 90045 with flag 1071000/12213351 1561.02/1547.82 c cleaning 46004 clauses out of 92040 with flag 1118002/12260353 1567.87/1554.63 c cleaning 47001 clauses out of 94035 with flag 1166001/12308352 1574.57/1561.37 c cleaning 48004 clauses out of 96033 with flag 1215000/12357351 1583.31/1570.02 c cleaning 49006 clauses out of 98029 with flag 1265000/12407351 1590.43/1577.15 c cleaning 49998 clauses out of 100027 with flag 1316004/12458355 1598.15/1584.87 c cleaning 50992 clauses out of 102028 with flag 1368003/12510354 1605.79/1592.49 c cleaning 51996 clauses out of 104033 with flag 1421000/12563351 1614.12/1600.77 c cleaning 52993 clauses out of 106038 with flag 1475001/12617352 1622.75/1609.36 c cleaning 53990 clauses out of 108047 with flag 1530003/12672354 1631.50/1618.04 c cleaning 55001 clauses out of 110054 with flag 1586000/12728351 1640.03/1626.54 c cleaning 56002 clauses out of 112053 with flag 1643000/12785351 1649.07/1635.58 c cleaning 57016 clauses out of 114051 with flag 1701000/12843351 1658.89/1645.34 c cleaning 58003 clauses out of 116036 with flag 1760001/12902352 1668.97/1655.33 c cleaning 58993 clauses out of 118034 with flag 1820002/12962353 1677.82/1664.20 c cleaning 60002 clauses out of 120040 with flag 1881001/13023352 1687.04/1673.34 c cleaning 60993 clauses out of 122037 with flag 1943000/13085351 1698.18/1684.44 c cleaning 62014 clauses out of 124045 with flag 2006001/13148352 1708.86/1695.04 c cleaning 62990 clauses out of 126032 with flag 2070002/13212353 1718.92/1705.00 c cleaning 63997 clauses out of 128040 with flag 2135000/13277351 1730.26/1716.35 c cleaning 65001 clauses out of 130043 with flag 2201000/13343351 1743.13/1729.10 c cleaning 66003 clauses out of 132045 with flag 2268003/13410354 1755.80/1741.77 c cleaning 67002 clauses out of 134039 with flag 2336000/13478351 1768.64/1754.53 c cleaning 67998 clauses out of 136038 with flag 2405001/13547352 1781.69/1767.54 c cleaning 68999 clauses out of 138039 with flag 2475000/13617351 1795.64/1781.44 c cleaning 70000 clauses out of 140042 with flag 2546002/13688353 1800.01/1785.71 c starts : 363 1800.01/1785.71 c conflicts : 13718597 1800.01/1785.71 c decisions : 20698268 1800.01/1785.71 c propagations : 458729415 1800.01/1785.71 c inspects : 19376022738 1800.01/1785.71 c shortcuts : 0 1800.01/1785.71 c learnt literals : 18 1800.01/1785.71 c learnt binary clauses : 20 1800.01/1785.71 c learnt ternary clauses : 6 1800.01/1785.71 c learnt constraints : 13718580 1800.01/1785.71 c ignored constraints : 0 1800.01/1785.71 c root simplifications : 0 1800.01/1785.71 c removed literals (reason simplification) : 0 1800.01/1785.71 c reason swapping (by a shorter reason) : 0 1800.01/1785.71 c Calls to reduceDB : 557 1800.01/1785.71 c number of reductions to clauses (during analyze) : 0 1800.01/1785.71 c number of learned constraints concerned by reduction : 0 1800.01/1785.71 c number of learning phase by resolution : 0 1800.01/1785.71 c number of learning phase by cutting planes : 0 1800.01/1785.71 c speed (assignments/second) : 256914.3029960208 1800.01/1785.71 c non guided choices 3850 1800.01/1785.74 c learnt constraints type 1800.01/1785.74 c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 20 1800.01/1785.74 c org.sat4j.minisat.constraints.cnf.LearntWLClause => 100364 1800.01/1785.74 c constraints type 1800.01/1785.74 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 36 1800.01/1785.74 c org.sat4j.minisat.constraints.card.MinWatchCard => 2 1800.01/1785.74 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 24 1800.01/1785.74 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 119 1800.01/1785.74 c 181 constraints processed. 1800.01/1785.74 s SATISFIABLE 1800.01/1785.74 v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 x29 -x30 -x31 -x32 -x33 x34 -x35 -x36 -x37 x38 -x39 -x40 -x41 -x42 -x43 x44 -x45 x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 x82 -x83 -x84 -x85 -x86 -x87 -x88 x89 -x90 -x91 -x92 -x93 -x94 -x95 x96 -x97 -x98 -x99 -x100 x101 -x102 -x103 -x104 x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 x127 -x128 -x129 -x130 -x131 x132 -x133 -x134 -x135 -x136 -x137 x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 x169 -x170 -x171 x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 x255 x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 x312 -x313 -x314 -x315 -x316 -x317 -x318 x319 -x320 -x321 -x322 -x323 x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 x453 x454 -x455 -x456 -x457 -x458 -x459 x460 x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 x493 x494 -x495 -x496 -x497 -x498 x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 1800.01/1785.74 c objective function=25652 1800.01/1785.74 c Total wall clock time (in seconds): 1785.642
OK 25652
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL This is runsolver version 3.3.1 (svn: 989) 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-3687501-1337871940/watcher-3687501-1337871940 -o /tmp/evaluation-result-3687501-1337871940/solver-3687501-1337871940 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar HOME/instance-3687501-1337871940.opb running on 4 cores: 1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.92 0.23 0.08 3/194 25209 /proc/meminfo: memFree=29175308/32873844 swapFree=7364/7364 [pid=25209] ppid=25207 vsize=23236 CPUtime=0 cores=1,3,5,7 /proc/25209/stat : 25209 (java) R 25207 25209 24862 0 -1 4202496 988 0 0 0 0 0 0 0 20 0 1 0 253318376 23793664 715 33554432000 1073741824 1073778376 140735884371040 140735884360104 254741099880 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 /proc/25209/statm: 5809 716 530 9 0 128 0 [startup+0.0282979 s] /proc/loadavg: 0.92 0.23 0.08 3/194 25209 /proc/meminfo: memFree=29175308/32873844 swapFree=7364/7364 [pid=25209] ppid=25207 vsize=9092432 CPUtime=0.01 cores=1,3,5,7 /proc/25209/stat : 25209 (java) S 25207 25209 24862 0 -1 4202496 2926 0 1 0 1 0 0 0 20 0 11 0 253318376 9310650368 3625 33554432000 1073741824 1073778376 140735884371040 140735884362176 254753669181 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/25209/statm: 2273108 3625 1650 9 0 2263809 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 9092432 [startup+0.100324 s] /proc/loadavg: 0.92 0.23 0.08 3/194 25209 /proc/meminfo: memFree=29175308/32873844 swapFree=7364/7364 [pid=25209] ppid=25207 vsize=9558412 CPUtime=0.1 cores=1,3,5,7 /proc/25209/stat : 25209 (java) S 25207 25209 24862 0 -1 4202496 4395 0 1 0 9 1 0 0 20 0 18 0 253318376 9787813888 6105 33554432000 1073741824 1073778376 140735884371040 140735884362176 254753669181 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/25209/statm: 2389603 6115 2123 9 0 2380296 0 Current children cumulated CPU time (s) 0.1 Current children cumulated vsize (KiB) 9558412 [startup+0.300164 s] /proc/loadavg: 0.92 0.23 0.08 3/194 25209 /proc/meminfo: memFree=29175308/32873844 swapFree=7364/7364 [pid=25209] ppid=25207 vsize=9624976 CPUtime=0.55 cores=1,3,5,7 /proc/25209/stat : 25209 (java) S 25207 25209 24862 0 -1 4202496 7158 0 1 0 54 1 0 0 20 0 19 0 253318376 9855975424 8041 33554432000 1073741824 1073778376 140735884371040 140735884362176 254753669181 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/25209/statm: 2406244 8041 2232 9 0 2396937 0 Current children cumulated CPU time (s) 0.55 Current children cumulated vsize (KiB) 9624976 [startup+0.700304 s] /proc/loadavg: 0.92 0.23 0.08 3/194 25209 /proc/meminfo: memFree=29175308/32873844 swapFree=7364/7364 [pid=25209] ppid=25207 vsize=9624976 CPUtime=1.29 cores=1,3,5,7 /proc/25209/stat : 25209 (java) S 25207 25209 24862 0 -1 4202496 11584 0 1 0 127 2 0 0 20 0 19 0 253318376 9855975424 12650 33554432000 1073741824 1073778376 140735884371040 140735884362176 254753669181 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/25209/statm: 2406244 12650 2260 9 0 2396937 0 Current children cumulated CPU time (s) 1.29 Current children cumulated vsize (KiB) 9624976 [startup+1.50066 s] /proc/loadavg: 0.92 0.23 0.08 3/213 25228 /proc/meminfo: memFree=29131036/32873844 swapFree=7364/7364 [pid=25209] ppid=25207 vsize=9624976 CPUtime=2.14 cores=1,3,5,7 /proc/25209/stat : 25209 (java) S 25207 25209 24862 0 -1 4202496 11615 0 1 0 211 3 0 0 20 0 19 0 253318376 9855975424 15738 33554432000 1073741824 1073778376 140735884371040 140735884362176 254753669181 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/25209/statm: 2406244 15738 2268 9 0 2396937 0 [pid=25209/tid=25211] ppid=25207 vsize=9624976 CPUtime=1.43 cores=1,3,5,7 /proc/25209/task/25211/stat : 25211 (java) R 25207 25209 24862 0 -1 4202560 2455 0 1 0 142 1 0 0 20 0 19 0 253318376 9855975424 15738 33554432000 1073741824 1073778376 140735884371040 139795201675672 139795028816059 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 [pid=25209/tid=25212] ppid=25207 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/25209/task/25212/stat : 25212 (java) S 25207 25209 24862 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 253318377 9855975424 15738 33554432000 1073741824 1073778376 140735884371040 139795163167656 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=25209/tid=25213] ppid=25207 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/25209/task/25213/stat : 25213 (java) S 25207 25209 24862 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253318377 9855975424 15738 33554432000 1073741824 1073778376 140735884371040 139795162115112 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=25209/tid=25214] ppid=25207 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/25209/task/25214/stat : 25214 (java) S 25207 25209 24862 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 253318377 9855975424 15738 33554432000 1073741824 1073778376 140735884371040 139795161062056 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=25209/tid=25215] ppid=25207 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/25209/task/25215/stat : 25215 (java) S 25207 25209 24862 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 253318377 9855975424 15738 33554432000 1073741824 1073778376 140735884371040 139795160009512 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=25209/tid=25216] ppid=25207 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/25209/task/25216/stat : 25216 (java) S 25207 25209 24862 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253318377 9855975424 15738 33554432000 1073741824 1073778376 140735884371040 139795158956456 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=25209/tid=25217] ppid=25207 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/25209/task/25217/stat : 25217 (java) S 25207 25209 24862 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 253318377 9855975424 15738 33554432000 1073741824 1073778376 140735884371040 139795157903912 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=25209/tid=25218] ppid=25207 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/25209/task/25218/stat : 25218 (java) S 25207 25209 24862 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 253318377 9855975424 15738 33554432000 1073741824 1073778376 140735884371040 139795156850856 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=25209/tid=25219] ppid=25207 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/25209/task/25219/stat : 25219 (java) S 25207 25209 24862 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 253318377 9855975424 15738 33554432000 1073741824 1073778376 140735884371040 139795155798312 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=25209/tid=25220] ppid=25207 vsize=9624976 CPUtime=0.01 cores=1,3,5,7 /proc/25209/task/25220/stat : 25220 (java) S 25207 25209 24862 0 -1 4202560 32 0 0 0 1 0 0 0 20 0 19 0 253318378 9855975424 15738 33554432000 1073741824 1073778376 140735884371040 139795025083240 254753683369 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=25209/tid=25221] ppid=25207 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/25209/task/25221/stat : 25221 (java) S 25207 25209 24862 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 253318378 9855975424 15738 33554432000 1073741824 1073778376 140735884371040 139795024029560 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=25209/tid=25222] ppid=25207 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/25209/task/25222/stat : 25222 (java) S 25207 25209 24862 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 253318378 9855975424 15738 33554432000 1073741824 1073778376 140735884371040 139795022976392 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=25209/tid=25223] ppid=25207 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/25209/task/25223/stat : 25223 (java) S 25207 25209 24862 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253318381 9855975424 15738 33554432000 1073741824 1073778376 140735884371040 139795021925136 254753691424 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=25209/tid=25224] ppid=25207 vsize=9624976 CPUtime=0.26 cores=1,3,5,7 /proc/25209/task/25224/stat : 25224 (java) S 25207 25209 24862 0 -1 4202560 2661 0 0 0 26 0 0 0 20 0 19 0 253318381 9855975424 15738 33554432000 1073741824 1073778376 140735884371040 139795020871992 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=25209/tid=25225] ppid=25207 vsize=9624976 CPUtime=0.35 cores=1,3,5,7 /proc/25209/task/25225/stat : 25225 (java) S 25207 25209 24862 0 -1 4202560 5238 0 0 0 35 0 0 0 20 0 19 0 253318381 9855975424 15738 33554432000 1073741824 1073778376 140735884371040 139795019819448 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=25209/tid=25226] ppid=25207 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/25209/task/25226/stat : 25226 (java) S 25207 25209 24862 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253318381 9855975424 15738 33554432000 1073741824 1073778376 140735884371040 139795018766584 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=25209/tid=25227] ppid=25207 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/25209/task/25227/stat : 25227 (java) S 25207 25209 24862 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253318381 9855975424 15738 33554432000 1073741824 1073778376 140735884371040 139795017714248 254753683369 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=25209/tid=25228] ppid=25207 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/25209/task/25228/stat : 25228 (java) S 25207 25209 24862 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253318394 9855975424 15738 33554432000 1073741824 1073778376 140735884371040 139795016660520 254753683369 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 2.14 Current children cumulated vsize (KiB) 9624976 [startup+3.10066 s] /proc/loadavg: 0.92 0.23 0.08 3/213 25228 /proc/meminfo: memFree=29118004/32873844 swapFree=7364/7364 [pid=25209] ppid=25207 vsize=9624976 CPUtime=3.9 cores=1,3,5,7 /proc/25209/stat : 25209 (java) S 25207 25209 24862 0 -1 4202496 11929 0 1 0 387 3 0 0 20 0 19 0 253318376 9855975424 16278 33554432000 1073741824 1073778376 140735884371040 140735884362176 254753669181 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/25209/statm: 2406244 16278 2269 9 0 2396937 0 [pid=25209/tid=25211] ppid=25207 vsize=9624976 CPUtime=2.98 cores=1,3,5,7 /proc/25209/task/25211/stat : 25211 (java) R 25207 25209 24862 0 -1 4202560 2458 0 1 0 297 1 0 0 20 0 19 0 253318376 9855975424 16278 33554432000 1073741824 1073778376 140735884371040 139795201675552 139795028514661 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 [pid=25209/tid=25212] ppid=25207 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/25209/task/25212/stat : 25212 (java) S 25207 25209 24862 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 253318377 9855975424 16278 33554432000 1073741824 1073778376 140735884371040 139795163167656 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=25209/tid=25213] ppid=25207 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/25209/task/25213/stat : 25213 (java) S 25207 25209 24862 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 253318377 9855975424 16278 33554432000 1073741824 1073778376 140735884371040 139795162115112 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=25209/tid=25214] ppid=25207 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/25209/task/25214/stat : 25214 (java) S 25207 25209 24862 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 253318377 9855975424 16278 33554432000 1073741824 1073778376 140735884371040 139795161062056 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=25209/tid=25215] ppid=25207 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/25209/task/25215/stat : 25215 (java) S 25207 25209 24862 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 19 0 253318377 9855975424 16278 33554432000 1073741824 1073778376 140735884371040 139795160009512 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=25209/tid=25216] ppid=25207 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/25209/task/25216/stat : 25216 (java) S 25207 25209 24862 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 253318377 9855975424 16278 33554432000 1073741824 1073778376 140735884371040 139795158956456 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=25209/tid=25217] ppid=25207 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/25209/task/25217/stat : 25217 (java) S 25207 25209 24862 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253318377 9855975424 16278 33554432000 1073741824 1073778376 140735884371040 139795157903912 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=25209/tid=25218] ppid=25207 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/25209/task/25218/stat : 25218 (java) S 25207 25209 24862 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 253318377 9855975424 16278 33554432000 1073741824 1073778376 140735884371040 139795156850856 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=25209/tid=25219] ppid=25207 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/25209/task/25219/stat : 25219 (java) S 25207 25209 24862 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 253318377 9855975424 16278 33554432000 1073741824 1073778376 140735884371040 139795155798312 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=25209/tid=25220] ppid=25207 vsize=9624976 CPUtime=0.05 cores=1,3,5,7 /proc/25209/task/25220/stat : 25220 (java) S 25207 25209 24862 0 -1 4202560 32 0 0 0 5 0 0 0 20 0 19 0 253318378 9855975424 16278 33554432000 1073741824 1073778376 140735884371040 139795025083240 254753683369 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=25209/tid=25221] ppid=25207 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/25209/task/25221/stat : 25221 (java) S 25207 25209 24862 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 253318378 9855975424 16278 33554432000 1073741824 1073778376 140735884371040 139795024029560 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=25209/tid=25222] ppid=25207 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/25209/task/25222/stat : 25222 (java) S 25207 25209 24862 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 253318378 9855975424 16278 33554432000 1073741824 1073778376 140735884371040 139795022976392 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=25209/tid=25223] ppid=25207 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/25209/task/25223/stat : 25223 (java) S 25207 25209 24862 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253318381 9855975424 16278 33554432000 1073741824 1073778376 140735884371040 139795021925136 254753691424 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=25209/tid=25224] ppid=25207 vsize=9624976 CPUtime=0.36 cores=1,3,5,7 /proc/25209/task/25224/stat : 25224 (java) S 25207 25209 24862 0 -1 4202560 2957 0 0 0 36 0 0 0 20 0 19 0 253318381 9855975424 16278 33554432000 1073741824 1073778376 140735884371040 139795020871992 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=25209/tid=25225] ppid=25207 vsize=9624976 CPUtime=0.38 cores=1,3,5,7 /proc/25209/task/25225/stat : 25225 (java) S 25207 25209 24862 0 -1 4202560 5238 0 0 0 38 0 0 0 20 0 19 0 253318381 9855975424 16278 33554432000 1073741824 1073778376 140735884371040 139795019819448 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=25209/tid=25226] ppid=25207 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/25209/task/25226/stat : 25226 (java) S 25207 25209 24862 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253318381 9855975424 16278 33554432000 1073741824 1073778376 140735884371040 139795018766584 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=25209/tid=25227] ppid=25207 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/25209/task/25227/stat : 25227 (java) S 25207 25209 24862 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253318381 9855975424 16278 33554432000 1073741824 1073778376 140735884371040 139795017714248 254753683369 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=25209/tid=25228] ppid=25207 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/25209/task/25228/stat : 25228 (java) S 25207 25209 24862 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253318394 9855975424 16278 33554432000 1073741824 1073778376 140735884371040 139795016660520 254753683369 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 3.9 Current children cumulated vsize (KiB) 9624976 [startup+6.30065 s] /proc/loadavg: 1.01 0.26 0.09 3/213 25228 /proc/meminfo: memFree=29104052/32873844 swapFree=7364/7364 [pid=25209] ppid=25207 vsize=9624976 CPUtime=8 cores=1,3,5,7 /proc/25209/stat : 25209 (java) S 25207 25209 24862 0 -1 4202496 20031 0 1 0 795 5 0 0 20 0 19 0 253318376 9855975424 19723 33554432000 1073741824 1073778376 140735884371040 140735884362176 254753669181 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/25209/statm: 2406244 19723 2270 9 0 2396937 0 [pid=25209/tid=25211] ppid=25207 vsize=9624976 CPUtime=6.02 cores=1,3,5,7 /proc/25209/task/25211/stat : 25211 (java) R 25207 25209 24862 0 -1 4202560 2466 0 1 0 601 1 0 0 20 0 19 0 253318376 9855975424 19723 33554432000 1073741824 1073778376 140735884371040 139795201675672 139795028765776 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 [pid=25209/tid=25212] ppid=25207 vsize=9624976 CPUtime=0.01 cores=1,3,5,7 /proc/25209/task/25212/stat : 25212 (java) S 25207 25209 24862 0 -1 4202560 13 0 0 0 1 0 0 0 20 0 19 0 253318377 9855975424 19723 33554432000 1073741824 1073778376 140735884371040 139795163167656 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=25209/tid=25213] ppid=25207 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/25209/task/25213/stat : 25213 (java) S 25207 25209 24862 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 253318377 9855975424 19723 33554432000 1073741824 1073778376 140735884371040 139795162115112 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=25209/tid=25214] ppid=25207 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/25209/task/25214/stat : 25214 (java) S 25207 25209 24862 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 253318377 9855975424 19723 33554432000 1073741824 1073778376 140735884371040 139795161062056 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=25209/tid=25215] ppid=25207 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/25209/task/25215/stat : 25215 (java) S 25207 25209 24862 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 19 0 253318377 9855975424 19723 33554432000 1073741824 1073778376 140735884371040 139795160009512 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=25209/tid=25216] ppid=25207 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/25209/task/25216/stat : 25216 (java) S 25207 25209 24862 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 253318377 9855975424 19723 33554432000 1073741824 1073778376 140735884371040 139795158956456 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=25209/tid=25217] ppid=25207 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/25209/task/25217/stat : 25217 (java) S 25207 25209 24862 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253318377 9855975424 19723 33554432000 1073741824 1073778376 140735884371040 139795157903912 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=25209/tid=25218] ppid=25207 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/25209/task/25218/stat : 25218 (java) S 25207 25209 24862 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 253318377 9855975424 19723 33554432000 1073741824 1073778376 140735884371040 139795156850856 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=25209/tid=25219] ppid=25207 vsize=9624976 CPUtime=0.01 cores=1,3,5,7 /proc/25209/task/25219/stat : 25219 (java) S 25207 25209 24862 0 -1 4202560 12 0 0 0 1 0 0 0 20 0 19 0 253318377 9855975424 19723 33554432000 1073741824 1073778376 140735884371040 139795155798312 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=25209/tid=25220] ppid=25207 vsize=9624976 CPUtime=0.17 cores=1,3,5,7 /proc/25209/task/25220/stat : 25220 (java) S 25207 25209 24862 0 -1 4202560 58 0 0 0 17 0 0 0 20 0 19 0 253318378 9855975424 19723 33554432000 1073741824 1073778376 140735884371040 139795025083240 254753683369 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=25209/tid=25221] ppid=25207 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/25209/task/25221/stat : 25221 (java) S 25207 25209 24862 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 253318378 9855975424 19723 33554432000 1073741824 1073778376 140735884371040 139795024029560 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=25209/tid=25222] ppid=25207 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/25209/task/25222/stat : 25222 (java) S 25207 25209 24862 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 253318378 9855975424 19723 33554432000 1073741824 1073778376 140735884371040 139795022976392 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=25209/tid=25223] ppid=25207 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/25209/task/25223/stat : 25223 (java) S 25207 25209 24862 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253318381 9855975424 19723 33554432000 1073741824 1073778376 140735884371040 139795021925136 254753691424 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=25209/tid=25224] ppid=25207 vsize=9624976 CPUtime=0.41 cores=1,3,5,7 /proc/25209/task/25224/stat : 25224 (java) S 25207 25209 24862 0 -1 4202560 3039 0 0 0 41 0 0 0 20 0 19 0 253318381 9855975424 19723 33554432000 1073741824 1073778376 140735884371040 139795020871992 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=25209/tid=25225] ppid=25207 vsize=9624976 CPUtime=1.19 cores=1,3,5,7 /proc/25209/task/25225/stat : 25225 (java) S 25207 25209 24862 0 -1 4202560 13221 0 0 0 117 2 0 0 20 0 19 0 253318381 9855975424 19723 33554432000 1073741824 1073778376 140735884371040 139795019819448 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=25209/tid=25226] ppid=25207 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/25209/task/25226/stat : 25226 (java) S 25207 25209 24862 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253318381 9855975424 19723 33554432000 1073741824 1073778376 140735884371040 139795018766584 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=25209/tid=25227] ppid=25207 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/25209/task/25227/stat : 25227 (java) S 25207 25209 24862 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253318381 9855975424 19723 33554432000 1073741824 1073778376 140735884371040 139795017714248 254753683369 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=25209/tid=25228] ppid=25207 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/25209/task/25228/stat : 25228 (java) S 25207 25209 24862 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253318394 9855975424 19723 33554432000 1073741824 1073778376 140735884371040 139795016660520 254753683369 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 8 Current children cumulated vsize (KiB) 9624976 [startup+12.7007 s] ################ # More data... # ################ [pid=25209/tid=25224] ppid=25207 vsize=9624976 CPUtime=0.53 cores=1,3,5,7 /proc/25209/task/25224/stat : 25224 (java) S 25207 25209 24862 0 -1 4202560 3290 0 0 0 53 0 0 0 20 0 19 0 253318381 9855975424 63842 33554432000 1073741824 1073778376 140735884371040 139795020871992 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=25209/tid=25225] ppid=25207 vsize=9624976 CPUtime=1.24 cores=1,3,5,7 /proc/25209/task/25225/stat : 25225 (java) S 25207 25209 24862 0 -1 4202560 13228 0 0 0 122 2 0 0 20 0 19 0 253318381 9855975424 63842 33554432000 1073741824 1073778376 140735884371040 139795019819448 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=25209/tid=25226] ppid=25207 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/25209/task/25226/stat : 25226 (java) S 25207 25209 24862 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253318381 9855975424 63842 33554432000 1073741824 1073778376 140735884371040 139795018766584 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=25209/tid=25227] ppid=25207 vsize=9624976 CPUtime=0.54 cores=1,3,5,7 /proc/25209/task/25227/stat : 25227 (java) S 25207 25209 24862 0 -1 4202560 98 0 0 0 30 24 0 0 20 0 19 0 253318381 9855975424 63842 33554432000 1073741824 1073778376 140735884371040 139795017714248 254753683369 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=25209/tid=25228] ppid=25207 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/25209/task/25228/stat : 25228 (java) S 25207 25209 24862 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253318394 9855975424 63842 33554432000 1073741824 1073778376 140735884371040 139795016660520 254753683369 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1736.32 Current children cumulated vsize (KiB) 9624976 [startup+1782.3 s] /proc/loadavg: 2.00 2.00 1.72 3/213 25357 /proc/meminfo: memFree=28684684/32873844 swapFree=7364/7364 [pid=25209] ppid=25207 vsize=9624976 CPUtime=1796.6 cores=1,3,5,7 /proc/25209/stat : 25209 (java) S 25207 25209 24862 0 -1 4202496 23433 0 1 0 179592 68 0 0 20 0 19 0 253318376 9855975424 63842 33554432000 1073741824 1073778376 140735884371040 140735884362176 254753669181 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/25209/statm: 2406244 63842 2273 9 0 2396937 0 [pid=25209/tid=25211] ppid=25207 vsize=9624976 CPUtime=1755.15 cores=1,3,5,7 /proc/25209/task/25211/stat : 25211 (java) R 25207 25209 24862 0 -1 4202560 3041 0 1 0 175485 30 0 0 20 0 19 0 253318376 9855975424 63842 33554432000 1073741824 1073778376 140735884371040 139795201675552 139795028690224 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 [pid=25209/tid=25212] ppid=25207 vsize=9624976 CPUtime=2.17 cores=1,3,5,7 /proc/25209/task/25212/stat : 25212 (java) S 25207 25209 24862 0 -1 4202560 427 0 0 0 211 6 0 0 20 0 19 0 253318377 9855975424 63842 33554432000 1073741824 1073778376 140735884371040 139795163167656 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=25209/tid=25213] ppid=25207 vsize=9624976 CPUtime=2.28 cores=1,3,5,7 /proc/25209/task/25213/stat : 25213 (java) S 25207 25209 24862 0 -1 4202560 191 0 0 0 224 4 0 0 20 0 19 0 253318377 9855975424 63842 33554432000 1073741824 1073778376 140735884371040 139795162115112 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=25209/tid=25214] ppid=25207 vsize=9624976 CPUtime=2.19 cores=1,3,5,7 /proc/25209/task/25214/stat : 25214 (java) S 25207 25209 24862 0 -1 4202560 194 0 0 0 215 4 0 0 20 0 19 0 253318377 9855975424 63842 33554432000 1073741824 1073778376 140735884371040 139795161062056 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=25209/tid=25215] ppid=25207 vsize=9624976 CPUtime=2.22 cores=1,3,5,7 /proc/25209/task/25215/stat : 25215 (java) S 25207 25209 24862 0 -1 4202560 364 0 0 0 218 4 0 0 20 0 19 0 253318377 9855975424 63842 33554432000 1073741824 1073778376 140735884371040 139795160009512 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=25209/tid=25216] ppid=25207 vsize=9624976 CPUtime=2.12 cores=1,3,5,7 /proc/25209/task/25216/stat : 25216 (java) S 25207 25209 24862 0 -1 4202560 256 0 0 0 209 3 0 0 20 0 19 0 253318377 9855975424 63842 33554432000 1073741824 1073778376 140735884371040 139795158956456 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=25209/tid=25217] ppid=25207 vsize=9624976 CPUtime=2.17 cores=1,3,5,7 /proc/25209/task/25217/stat : 25217 (java) S 25207 25209 24862 0 -1 4202560 389 0 0 0 212 5 0 0 20 0 19 0 253318377 9855975424 63842 33554432000 1073741824 1073778376 140735884371040 139795157903912 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=25209/tid=25218] ppid=25207 vsize=9624976 CPUtime=2.14 cores=1,3,5,7 /proc/25209/task/25218/stat : 25218 (java) S 25207 25209 24862 0 -1 4202560 274 0 0 0 211 3 0 0 20 0 19 0 253318377 9855975424 63842 33554432000 1073741824 1073778376 140735884371040 139795156850856 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=25209/tid=25219] ppid=25207 vsize=9624976 CPUtime=2.21 cores=1,3,5,7 /proc/25209/task/25219/stat : 25219 (java) S 25207 25209 24862 0 -1 4202560 321 0 0 0 217 4 0 0 20 0 19 0 253318377 9855975424 63842 33554432000 1073741824 1073778376 140735884371040 139795155798312 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=25209/tid=25220] ppid=25207 vsize=9624976 CPUtime=17.12 cores=1,3,5,7 /proc/25209/task/25220/stat : 25220 (java) S 25207 25209 24862 0 -1 4202560 175 0 0 0 1708 4 0 0 20 0 19 0 253318378 9855975424 63842 33554432000 1073741824 1073778376 140735884371040 139795025083240 254753683369 0 0 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=25209/tid=25221] ppid=25207 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/25209/task/25221/stat : 25221 (java) S 25207 25209 24862 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 253318378 9855975424 63842 33554432000 1073741824 1073778376 140735884371040 139795024029560 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=25209/tid=25222] ppid=25207 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/25209/task/25222/stat : 25222 (java) S 25207 25209 24862 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 253318378 9855975424 63842 33554432000 1073741824 1073778376 140735884371040 139795022976392 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=25209/tid=25223] ppid=25207 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/25209/task/25223/stat : 25223 (java) S 25207 25209 24862 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253318381 9855975424 63842 33554432000 1073741824 1073778376 140735884371040 139795021925136 254753691424 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=25209/tid=25224] ppid=25207 vsize=9624976 CPUtime=0.53 cores=1,3,5,7 /proc/25209/task/25224/stat : 25224 (java) S 25207 25209 24862 0 -1 4202560 3290 0 0 0 53 0 0 0 20 0 19 0 253318381 9855975424 63842 33554432000 1073741824 1073778376 140735884371040 139795020871992 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=25209/tid=25225] ppid=25207 vsize=9624976 CPUtime=1.24 cores=1,3,5,7 /proc/25209/task/25225/stat : 25225 (java) S 25207 25209 24862 0 -1 4202560 13228 0 0 0 122 2 0 0 20 0 19 0 253318381 9855975424 63842 33554432000 1073741824 1073778376 140735884371040 139795019819448 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=25209/tid=25226] ppid=25207 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/25209/task/25226/stat : 25226 (java) S 25207 25209 24862 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253318381 9855975424 63842 33554432000 1073741824 1073778376 140735884371040 139795018766584 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=25209/tid=25227] ppid=25207 vsize=9624976 CPUtime=0.57 cores=1,3,5,7 /proc/25209/task/25227/stat : 25227 (java) S 25207 25209 24862 0 -1 4202560 102 0 0 0 32 25 0 0 20 0 19 0 253318381 9855975424 63842 33554432000 1073741824 1073778376 140735884371040 139795017714248 254753683369 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=25209/tid=25228] ppid=25207 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/25209/task/25228/stat : 25228 (java) S 25207 25209 24862 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253318394 9855975424 63842 33554432000 1073741824 1073778376 140735884371040 139795016660520 254753683369 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1796.6 Current children cumulated vsize (KiB) 9624976 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1785.7 s] /proc/loadavg: 2.00 2.00 1.72 3/213 25357 /proc/meminfo: memFree=28685180/32873844 swapFree=7364/7364 [pid=25209] ppid=25207 vsize=9624976 CPUtime=1800.01 cores=1,3,5,7 /proc/25209/stat : 25209 (java) S 25207 25209 24862 0 -1 4202496 23433 0 1 0 179933 68 0 0 20 0 19 0 253318376 9855975424 63842 33554432000 1073741824 1073778376 140735884371040 140735884362176 254753669181 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/25209/statm: 2406244 63842 2273 9 0 2396937 0 [pid=25209/tid=25211] ppid=25207 vsize=9624976 CPUtime=1758.55 cores=1,3,5,7 /proc/25209/task/25211/stat : 25211 (java) R 25207 25209 24862 0 -1 4202560 3041 0 1 0 175825 30 0 0 20 0 19 0 253318376 9855975424 63842 33554432000 1073741824 1073778376 140735884371040 139795201675552 139795028765339 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 [pid=25209/tid=25212] ppid=25207 vsize=9624976 CPUtime=2.17 cores=1,3,5,7 /proc/25209/task/25212/stat : 25212 (java) S 25207 25209 24862 0 -1 4202560 427 0 0 0 211 6 0 0 20 0 19 0 253318377 9855975424 63842 33554432000 1073741824 1073778376 140735884371040 139795163167656 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=25209/tid=25213] ppid=25207 vsize=9624976 CPUtime=2.28 cores=1,3,5,7 /proc/25209/task/25213/stat : 25213 (java) S 25207 25209 24862 0 -1 4202560 191 0 0 0 224 4 0 0 20 0 19 0 253318377 9855975424 63842 33554432000 1073741824 1073778376 140735884371040 139795162115112 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=25209/tid=25214] ppid=25207 vsize=9624976 CPUtime=2.19 cores=1,3,5,7 /proc/25209/task/25214/stat : 25214 (java) S 25207 25209 24862 0 -1 4202560 194 0 0 0 215 4 0 0 20 0 19 0 253318377 9855975424 63842 33554432000 1073741824 1073778376 140735884371040 139795161062056 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=25209/tid=25215] ppid=25207 vsize=9624976 CPUtime=2.22 cores=1,3,5,7 /proc/25209/task/25215/stat : 25215 (java) S 25207 25209 24862 0 -1 4202560 364 0 0 0 218 4 0 0 20 0 19 0 253318377 9855975424 63842 33554432000 1073741824 1073778376 140735884371040 139795160009512 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=25209/tid=25216] ppid=25207 vsize=9624976 CPUtime=2.12 cores=1,3,5,7 /proc/25209/task/25216/stat : 25216 (java) S 25207 25209 24862 0 -1 4202560 256 0 0 0 209 3 0 0 20 0 19 0 253318377 9855975424 63842 33554432000 1073741824 1073778376 140735884371040 139795158956456 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=25209/tid=25217] ppid=25207 vsize=9624976 CPUtime=2.17 cores=1,3,5,7 /proc/25209/task/25217/stat : 25217 (java) S 25207 25209 24862 0 -1 4202560 389 0 0 0 212 5 0 0 20 0 19 0 253318377 9855975424 63842 33554432000 1073741824 1073778376 140735884371040 139795157903912 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=25209/tid=25218] ppid=25207 vsize=9624976 CPUtime=2.14 cores=1,3,5,7 /proc/25209/task/25218/stat : 25218 (java) S 25207 25209 24862 0 -1 4202560 274 0 0 0 211 3 0 0 20 0 19 0 253318377 9855975424 63842 33554432000 1073741824 1073778376 140735884371040 139795156850856 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=25209/tid=25219] ppid=25207 vsize=9624976 CPUtime=2.21 cores=1,3,5,7 /proc/25209/task/25219/stat : 25219 (java) S 25207 25209 24862 0 -1 4202560 321 0 0 0 217 4 0 0 20 0 19 0 253318377 9855975424 63842 33554432000 1073741824 1073778376 140735884371040 139795155798312 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=25209/tid=25220] ppid=25207 vsize=9624976 CPUtime=17.12 cores=1,3,5,7 /proc/25209/task/25220/stat : 25220 (java) S 25207 25209 24862 0 -1 4202560 175 0 0 0 1708 4 0 0 20 0 19 0 253318378 9855975424 63842 33554432000 1073741824 1073778376 140735884371040 139795025083240 254753683369 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=25209/tid=25221] ppid=25207 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/25209/task/25221/stat : 25221 (java) S 25207 25209 24862 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 253318378 9855975424 63842 33554432000 1073741824 1073778376 140735884371040 139795024029560 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=25209/tid=25222] ppid=25207 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/25209/task/25222/stat : 25222 (java) S 25207 25209 24862 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 253318378 9855975424 63842 33554432000 1073741824 1073778376 140735884371040 139795022976392 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=25209/tid=25223] ppid=25207 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/25209/task/25223/stat : 25223 (java) S 25207 25209 24862 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253318381 9855975424 63842 33554432000 1073741824 1073778376 140735884371040 139795021925136 254753691424 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=25209/tid=25224] ppid=25207 vsize=9624976 CPUtime=0.53 cores=1,3,5,7 /proc/25209/task/25224/stat : 25224 (java) S 25207 25209 24862 0 -1 4202560 3290 0 0 0 53 0 0 0 20 0 19 0 253318381 9855975424 63842 33554432000 1073741824 1073778376 140735884371040 139795020871992 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=25209/tid=25225] ppid=25207 vsize=9624976 CPUtime=1.24 cores=1,3,5,7 /proc/25209/task/25225/stat : 25225 (java) S 25207 25209 24862 0 -1 4202560 13228 0 0 0 122 2 0 0 20 0 19 0 253318381 9855975424 63842 33554432000 1073741824 1073778376 140735884371040 139795019819448 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=25209/tid=25226] ppid=25207 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/25209/task/25226/stat : 25226 (java) S 25207 25209 24862 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253318381 9855975424 63842 33554432000 1073741824 1073778376 140735884371040 139795018766584 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=25209/tid=25227] ppid=25207 vsize=9624976 CPUtime=0.57 cores=1,3,5,7 /proc/25209/task/25227/stat : 25227 (java) S 25207 25209 24862 0 -1 4202560 102 0 0 0 32 25 0 0 20 0 19 0 253318381 9855975424 63842 33554432000 1073741824 1073778376 140735884371040 139795017714248 254753683369 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=25209/tid=25228] ppid=25207 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/25209/task/25228/stat : 25228 (java) S 25207 25209 24862 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253318394 9855975424 63842 33554432000 1073741824 1073778376 140735884371040 139795016660520 254753683369 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1800.01 Current children cumulated vsize (KiB) 9624976 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1785.7 s] /proc/loadavg: 2.00 2.00 1.72 3/213 25357 /proc/meminfo: memFree=28685180/32873844 swapFree=7364/7364 [pid=25209] ppid=25207 vsize=9624976 CPUtime=1800.01 cores=1,3,5,7 /proc/25209/stat : 25209 (java) S 25207 25209 24862 0 -1 4202496 23433 0 1 0 179933 68 0 0 20 0 19 0 253318376 9855975424 63842 33554432000 1073741824 1073778376 140735884371040 140735884362176 254753669181 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/25209/statm: 2406244 63842 2273 9 0 2396937 0 [pid=25209/tid=25211] ppid=25207 vsize=9624976 CPUtime=1758.55 cores=1,3,5,7 /proc/25209/task/25211/stat : 25211 (java) R 25207 25209 24862 0 -1 4202560 3041 0 1 0 175825 30 0 0 20 0 19 0 253318376 9855975424 63842 33554432000 1073741824 1073778376 140735884371040 139795201675552 139795028765339 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 [pid=25209/tid=25212] ppid=25207 vsize=9624976 CPUtime=2.17 cores=1,3,5,7 /proc/25209/task/25212/stat : 25212 (java) S 25207 25209 24862 0 -1 4202560 427 0 0 0 211 6 0 0 20 0 19 0 253318377 9855975424 63842 33554432000 1073741824 1073778376 140735884371040 139795163167656 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=25209/tid=25213] ppid=25207 vsize=9624976 CPUtime=2.28 cores=1,3,5,7 /proc/25209/task/25213/stat : 25213 (java) S 25207 25209 24862 0 -1 4202560 191 0 0 0 224 4 0 0 20 0 19 0 253318377 9855975424 63842 33554432000 1073741824 1073778376 140735884371040 139795162115112 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=25209/tid=25214] ppid=25207 vsize=9624976 CPUtime=2.19 cores=1,3,5,7 /proc/25209/task/25214/stat : 25214 (java) S 25207 25209 24862 0 -1 4202560 194 0 0 0 215 4 0 0 20 0 19 0 253318377 9855975424 63842 33554432000 1073741824 1073778376 140735884371040 139795161062056 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=25209/tid=25215] ppid=25207 vsize=9624976 CPUtime=2.22 cores=1,3,5,7 /proc/25209/task/25215/stat : 25215 (java) S 25207 25209 24862 0 -1 4202560 364 0 0 0 218 4 0 0 20 0 19 0 253318377 9855975424 63842 33554432000 1073741824 1073778376 140735884371040 139795160009512 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=25209/tid=25216] ppid=25207 vsize=9624976 CPUtime=2.12 cores=1,3,5,7 /proc/25209/task/25216/stat : 25216 (java) S 25207 25209 24862 0 -1 4202560 256 0 0 0 209 3 0 0 20 0 19 0 253318377 9855975424 63842 33554432000 1073741824 1073778376 140735884371040 139795158956456 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=25209/tid=25217] ppid=25207 vsize=9624976 CPUtime=2.17 cores=1,3,5,7 /proc/25209/task/25217/stat : 25217 (java) S 25207 25209 24862 0 -1 4202560 389 0 0 0 212 5 0 0 20 0 19 0 253318377 9855975424 63842 33554432000 1073741824 1073778376 140735884371040 139795157903912 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=25209/tid=25218] ppid=25207 vsize=9624976 CPUtime=2.14 cores=1,3,5,7 /proc/25209/task/25218/stat : 25218 (java) S 25207 25209 24862 0 -1 4202560 274 0 0 0 211 3 0 0 20 0 19 0 253318377 9855975424 63842 33554432000 1073741824 1073778376 140735884371040 139795156850856 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=25209/tid=25219] ppid=25207 vsize=9624976 CPUtime=2.21 cores=1,3,5,7 /proc/25209/task/25219/stat : 25219 (java) S 25207 25209 24862 0 -1 4202560 321 0 0 0 217 4 0 0 20 0 19 0 253318377 9855975424 63842 33554432000 1073741824 1073778376 140735884371040 139795155798312 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=25209/tid=25220] ppid=25207 vsize=9624976 CPUtime=17.12 cores=1,3,5,7 /proc/25209/task/25220/stat : 25220 (java) S 25207 25209 24862 0 -1 4202560 175 0 0 0 1708 4 0 0 20 0 19 0 253318378 9855975424 63842 33554432000 1073741824 1073778376 140735884371040 139795025083240 254753683369 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=25209/tid=25221] ppid=25207 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/25209/task/25221/stat : 25221 (java) S 25207 25209 24862 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 253318378 9855975424 63842 33554432000 1073741824 1073778376 140735884371040 139795024029560 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=25209/tid=25222] ppid=25207 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/25209/task/25222/stat : 25222 (java) S 25207 25209 24862 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 253318378 9855975424 63842 33554432000 1073741824 1073778376 140735884371040 139795022976392 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=25209/tid=25223] ppid=25207 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/25209/task/25223/stat : 25223 (java) S 25207 25209 24862 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253318381 9855975424 63842 33554432000 1073741824 1073778376 140735884371040 139795021925136 254753691424 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=25209/tid=25224] ppid=25207 vsize=9624976 CPUtime=0.53 cores=1,3,5,7 /proc/25209/task/25224/stat : 25224 (java) S 25207 25209 24862 0 -1 4202560 3290 0 0 0 53 0 0 0 20 0 19 0 253318381 9855975424 63842 33554432000 1073741824 1073778376 140735884371040 139795020871992 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=25209/tid=25225] ppid=25207 vsize=9624976 CPUtime=1.24 cores=1,3,5,7 /proc/25209/task/25225/stat : 25225 (java) S 25207 25209 24862 0 -1 4202560 13228 0 0 0 122 2 0 0 20 0 19 0 253318381 9855975424 63842 33554432000 1073741824 1073778376 140735884371040 139795019819448 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=25209/tid=25226] ppid=25207 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/25209/task/25226/stat : 25226 (java) S 25207 25209 24862 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253318381 9855975424 63842 33554432000 1073741824 1073778376 140735884371040 139795018766584 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=25209/tid=25227] ppid=25207 vsize=9624976 CPUtime=0.57 cores=1,3,5,7 /proc/25209/task/25227/stat : 25227 (java) S 25207 25209 24862 0 -1 4202560 102 0 0 0 32 25 0 0 20 0 19 0 253318381 9855975424 63842 33554432000 1073741824 1073778376 140735884371040 139795017714248 254753683369 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=25209/tid=25228] ppid=25207 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/25209/task/25228/stat : 25228 (java) S 25207 25209 24862 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253318394 9855975424 63842 33554432000 1073741824 1073778376 140735884371040 139795016660520 254753683369 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1800.01 Current children cumulated vsize (KiB) 9624976 Child status: 143 # WARNING: # CPU time reported by wait4() is probably wrong ! # wait4(...,&childrusage) returns 25209 and gives # childrusage.ru_utime.tv_sec=1794 # childrusage.ru_utime.tv_usec=768153 # childrusage.ru_stime.tv_sec=1 # childrusage.ru_stime.tv_usec=81835 # CPU time returned by wait4() is 1795.85 # 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): 1785.75 CPU time (s): 1800.01 CPU user time (s): 1799.33 CPU system time (s): 0.68 CPU usage (%): 100.798 Max. virtual memory (cumulated for all children) (KiB): 9624976 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1794.77 system time used= 1.08183 maximum resident set size= 255512 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 23470 page faults= 1 swaps= 0 block input operations= 80 block output operations= 1744 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 53522 involuntary context switches= 45552 runsolver used 5.79012 second user time and 15.5536 second system time The end
Begin job on node145 at 2012-05-24 17:05:40 IDJOB=3687501 IDBENCH=1528 IDSOLVER=2269 FILE ID=node145/3687501-1337871940 RUNJOBID= node145-1337871881-24879 PBS_JOBID= 14620059 Free space on /tmp= 71656 MiB SOLVER NAME= Sat 4j PB Resolution 2.3.2 Snapshot BENCH NAME= PB06//final/normalized-PB06/OPT-MEDINT/mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-gt2.opb COMMAND LINE= java -jar HOME/sat4j-pb.jar BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3687501-1337871940/watcher-3687501-1337871940 -o /tmp/evaluation-result-3687501-1337871940/solver-3687501-1337871940 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar HOME/instance-3687501-1337871940.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= fbf213ed65afe4e66abc3948eb02a29f RANDOM SEED=2118794574 node145.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.149 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.29 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.149 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 : 5331.91 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.149 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 : 5313.38 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.149 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 : 5331.91 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.149 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 : 5331.91 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.149 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 : 5331.91 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.149 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 : 5331.91 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.149 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 : 5331.89 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32873844 kB MemFree: 29175836 kB Buffers: 202656 kB Cached: 2672128 kB SwapCached: 0 kB Active: 470396 kB Inactive: 2453708 kB Active(anon): 52040 kB Inactive(anon): 0 kB Active(file): 418356 kB Inactive(file): 2453708 kB Unevictable: 7364 kB Mlocked: 7364 kB SwapTotal: 67108856 kB SwapFree: 67108856 kB Dirty: 920 kB Writeback: 36 kB AnonPages: 60908 kB Mapped: 22436 kB Shmem: 200 kB Slab: 629996 kB SReclaimable: 72452 kB SUnreclaim: 557544 kB KernelStack: 1600 kB PageTables: 4208 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545776 kB Committed_AS: 695464 kB VmallocTotal: 34359738367 kB VmallocUsed: 346368 kB VmallocChunk: 34341987984 kB HardwareCorrupted: 0 kB AnonHugePages: 30720 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7872 kB DirectMap2M: 33538048 kB Free space on /tmp at the end= 71652 MiB End job on node145 at 2012-05-24 17:35:28