Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
Sat 4j PB Resolution 2.3.2 Snapshot | SAT (TO) | 27 | 1800.1 | 1793.24 |
Name | /OPT-SMALLINT-NLC/oren/keeloq_tasca_instances/ normalized-90_rounds_5_errors.opb |
MD5SUM | 06d341d0af76f66d4946a3c264573060 |
Bench Category | OPT-SMALLINT-NLC (optimisation, small integers, non linear constraints) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 5 |
Best CPU time to get the best result obtained on this benchmark | 1.69474 |
Has Objective Function | YES |
Satisfiable | |
(Un)Satisfiability was proved | |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of variables | 584 |
Total number of constraints | 427 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 33 |
Number of constraints which are nor clauses,nor cardinality constraints | 394 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 34 |
Number of terms in the objective function | 182 |
Biggest coefficient in the objective function | 1 |
Number of bits for the biggest coefficient in the objective function | 1 |
Sum of the numbers in the objective function | 182 |
Number of bits of the sum of numbers in the objective function | 8 |
Biggest number in a constraint | 18 |
Number of bits of the biggest number in a constraint | 5 |
Biggest sum of numbers in a constraint | 182 |
Number of bits of the biggest sum of numbers | 8 |
Number of products (including duplicates) | 2406 |
Sum of products size (including duplicates) | 10572 |
Number of different products | 2406 |
Sum of products size | 10572 |
0.00/0.08 c SAT4J: a SATisfiability library for Java (c) 2004-2012 Artois University and CNRS 0.00/0.08 c This is free software under the dual EPL/GNU LGPL licenses. 0.00/0.08 c See www.sat4j.org for details. 0.00/0.09 c version 2.3.2.v20120418 0.00/0.09 c java.runtime.name Java(TM) SE Runtime Environment 0.00/0.09 c java.vm.name Java HotSpot(TM) 64-Bit Server VM 0.00/0.09 c java.vm.version 19.1-b02 0.00/0.09 c java.vm.vendor Sun Microsystems Inc. 0.00/0.09 c sun.arch.data.model 64 0.00/0.09 c java.version 1.6.0_24 0.00/0.09 c os.name Linux 0.00/0.09 c os.version 2.6.32-71.29.1.el6.x86_64 0.00/0.09 c os.arch amd64 0.00/0.09 c Free memory 501472288 0.00/0.09 c Max memory 7480803328 0.00/0.09 c Total memory 504102912 0.00/0.09 c Number of processors 8 0.09/0.11 c Pseudo Boolean Optimization by upper bound 0.09/0.11 c --- Begin Solver configuration --- 0.09/0.11 c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@431b9fb1 0.09/0.11 c Learn all clauses as in MiniSAT 0.09/0.11 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.09/0.11 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.09/0.11 c No reason simplification 0.09/0.11 c Armin Biere (Picosat) restarts strategy 0.09/0.11 c Glucose learned constraints deletion strategy 0.09/0.11 c timeout=2147483s 0.09/0.11 c DB Simplification allowed=false 0.09/0.11 c c --- End Solver configuration --- 0.09/0.11 c solving HOME/instance-3689147-1337889853.opb 0.09/0.11 c reading problem ... 0.70/0.44 c ... done. Wall clock time 0.332s. 0.70/0.44 c declared #vars 584 0.70/0.44 c internal #vars 2990 0.70/0.44 c #constraints 5064 0.70/0.44 c constraints type 0.70/0.44 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 2104 0.70/0.44 c org.sat4j.minisat.constraints.cnf.UnitClauses => 32 0.70/0.44 c org.sat4j.minisat.constraints.card.MinWatchCard => 436 0.70/0.44 c ignored satisfied constraints => 602 0.70/0.44 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 20 0.70/0.44 c org.sat4j.minisat.constraints.cnf.UnitClause => 66 0.70/0.44 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 2406 0.70/0.45 c 5666 constraints processed. 0.70/0.45 c objective function length is 182 literals 1.48/0.71 c SATISFIABLE 1.48/0.71 c OPTIMIZING... 1.48/0.71 c Got one! Elapsed wall clock time (in seconds):0.601 1.48/0.71 o 86 1.71/0.94 c Got one! Elapsed wall clock time (in seconds):0.83 1.71/0.94 o 85 2.07/1.23 c cleaning 2976 clauses out of 5959 with flag 2000/5959 2.65/1.73 c cleaning 4485 clauses out of 8983 with flag 8000/11959 2.91/1.99 c Got one! Elapsed wall clock time (in seconds):1.878 2.91/1.99 o 84 3.12/2.16 c Got one! Elapsed wall clock time (in seconds):2.048 3.12/2.16 o 83 3.22/2.24 c Got one! Elapsed wall clock time (in seconds):2.128 3.22/2.24 o 56 3.35/2.31 c cleaning 5023 clauses out of 10052 with flag 1000/17513 3.75/2.70 c Got one! Elapsed wall clock time (in seconds):2.586 3.75/2.70 o 55 3.86/2.86 c Got one! Elapsed wall clock time (in seconds):2.748 3.86/2.86 o 54 3.96/2.93 c Got one! Elapsed wall clock time (in seconds):2.816 3.96/2.93 o 52 4.06/3.04 c cleaning 5856 clauses out of 11720 with flag 1000/24204 4.31/3.24 c Got one! Elapsed wall clock time (in seconds):3.125 4.31/3.24 o 50 4.51/3.41 c Got one! Elapsed wall clock time (in seconds):3.294 4.51/3.41 o 49 4.81/3.73 c cleaning 5554 clauses out of 11115 with flag 3001/29455 5.52/4.44 c Got one! Elapsed wall clock time (in seconds):4.323 5.52/4.44 o 48 5.62/4.56 c cleaning 5615 clauses out of 11243 with flag 1001/35137 6.33/5.20 c cleaning 5804 clauses out of 11628 with flag 7001/41137 6.43/5.32 c Got one! Elapsed wall clock time (in seconds):5.209 6.43/5.32 o 46 6.43/5.38 c Got one! Elapsed wall clock time (in seconds):5.272 6.43/5.38 o 44 6.74/5.67 c cleaning 6099 clauses out of 12206 with flag 4000/47519 7.34/6.25 c cleaning 6046 clauses out of 12107 with flag 10000/53519 8.55/7.48 c cleaning 6526 clauses out of 13063 with flag 17002/60521 10.05/8.91 c cleaning 7247 clauses out of 14537 with flag 25002/68521 11.66/10.50 c cleaning 8140 clauses out of 16288 with flag 34000/77519 12.48/11.34 c Got one! Elapsed wall clock time (in seconds):11.227 12.48/11.34 o 42 13.28/12.12 c cleaning 10113 clauses out of 20233 with flag 5000/89604 13.38/12.29 c Got one! Elapsed wall clock time (in seconds):12.173 13.38/12.29 o 41 14.22/13.05 c cleaning 7907 clauses out of 15822 with flag 5004/95306 14.92/13.71 c Got one! Elapsed wall clock time (in seconds):13.599 14.92/13.71 o 40 15.02/13.86 c cleaning 6711 clauses out of 13429 with flag 2000/100820 15.12/13.90 c Got one! Elapsed wall clock time (in seconds):13.793 15.12/13.90 o 39 15.32/14.20 c cleaning 5975 clauses out of 11956 with flag 5000/106058 15.72/14.52 c cleaning 5982 clauses out of 11984 with flag 11003/112061 16.23/15.05 c cleaning 6493 clauses out of 13000 with flag 18001/119059 16.93/15.74 c cleaning 7239 clauses out of 14506 with flag 26000/127058 18.24/17.01 c cleaning 8128 clauses out of 16267 with flag 35000/136058 19.04/17.88 c cleaning 9055 clauses out of 18139 with flag 45000/146058 20.34/19.10 c cleaning 10027 clauses out of 20084 with flag 56000/157058 22.16/20.97 c cleaning 11009 clauses out of 22060 with flag 68003/169061 22.55/21.38 c Got one! Elapsed wall clock time (in seconds):21.266 22.55/21.38 o 38 22.66/21.43 c Got one! Elapsed wall clock time (in seconds):21.317 22.66/21.43 o 37 23.06/21.86 c cleaning 8694 clauses out of 17392 with flag 3000/175402 23.06/21.89 c Got one! Elapsed wall clock time (in seconds):21.78 23.06/21.89 o 35 23.78/22.50 c cleaning 6888 clauses out of 13791 with flag 5000/180495 24.30/23.03 c cleaning 6446 clauses out of 12906 with flag 11003/186498 25.19/23.98 c cleaning 6721 clauses out of 13457 with flag 18000/193495 26.21/24.92 c cleaning 7351 clauses out of 14736 with flag 26000/201495 27.21/25.98 c cleaning 8175 clauses out of 16385 with flag 35000/210495 28.33/27.01 c cleaning 9094 clauses out of 18210 with flag 45000/220495 29.63/28.32 c cleaning 10055 clauses out of 20117 with flag 56001/231496 31.25/29.99 c cleaning 11016 clauses out of 22062 with flag 68001/243496 32.76/31.49 c cleaning 12008 clauses out of 24045 with flag 81000/256495 34.98/33.61 c cleaning 13007 clauses out of 26037 with flag 95000/270495 37.40/36.08 c cleaning 14013 clauses out of 28032 with flag 110002/285497 40.00/38.65 c cleaning 15000 clauses out of 30017 with flag 126000/301495 41.70/40.38 c cleaning 16000 clauses out of 32017 with flag 143000/318495 44.82/43.43 c cleaning 16989 clauses out of 34018 with flag 161001/336496 47.33/45.90 c cleaning 18008 clauses out of 36029 with flag 180001/355496 49.76/48.37 c cleaning 18995 clauses out of 38020 with flag 200000/375495 51.96/50.59 c cleaning 19996 clauses out of 40027 with flag 221002/396497 53.46/52.03 c cleaning 21008 clauses out of 42029 with flag 243000/418495 54.98/53.56 c cleaning 22001 clauses out of 44022 with flag 266001/441496 58.80/57.39 c cleaning 23003 clauses out of 46020 with flag 290000/465495 64.40/62.96 c cleaning 23998 clauses out of 48018 with flag 315001/490496 69.42/67.99 c cleaning 24997 clauses out of 50019 with flag 341000/516495 73.17/71.62 c cleaning 25999 clauses out of 52022 with flag 368000/543495 76.20/74.64 c cleaning 27004 clauses out of 54024 with flag 396001/571496 80.00/78.44 c cleaning 28001 clauses out of 56020 with flag 425001/600496 83.13/81.56 c cleaning 29000 clauses out of 58018 with flag 455000/630495 87.63/86.04 c cleaning 30000 clauses out of 60019 with flag 486001/661496 93.84/92.24 c cleaning 30996 clauses out of 62018 with flag 518000/693495 99.15/97.56 c cleaning 32002 clauses out of 64022 with flag 551000/726495 104.27/102.61 c cleaning 33000 clauses out of 66020 with flag 585000/760495 110.19/108.52 c cleaning 33995 clauses out of 68020 with flag 620000/795495 116.51/114.88 c cleaning 35000 clauses out of 70025 with flag 656000/831495 123.23/121.51 c cleaning 35999 clauses out of 72027 with flag 693002/868497 131.06/129.30 c cleaning 37005 clauses out of 74026 with flag 731000/906495 141.79/140.01 c cleaning 38006 clauses out of 76021 with flag 770000/945495 144.30/142.50 c cleaning 39003 clauses out of 78017 with flag 810002/985497 145.82/144.04 c cleaning 40002 clauses out of 80012 with flag 851000/1026495 153.23/151.40 c cleaning 40982 clauses out of 82011 with flag 893001/1068496 156.94/155.11 c cleaning 42005 clauses out of 84029 with flag 936001/1111496 160.74/158.99 c cleaning 42987 clauses out of 86023 with flag 980000/1155495 169.67/167.89 c cleaning 44002 clauses out of 88036 with flag 1025000/1200495 179.89/178.08 c cleaning 45008 clauses out of 90034 with flag 1071000/1246495 188.02/186.11 c cleaning 46001 clauses out of 92029 with flag 1118003/1293498 196.44/194.53 c Got one! Elapsed wall clock time (in seconds):194.419 196.44/194.53 o 33 197.04/195.12 c cleaning 48014 clauses out of 96041 with flag 5001/1343511 198.45/196.59 c cleaning 27007 clauses out of 54026 with flag 11000/1349510 199.75/197.85 c cleaning 16984 clauses out of 34020 with flag 18001/1356511 200.97/199.06 c cleaning 12501 clauses out of 25035 with flag 26000/1364510 202.78/200.85 c cleaning 10743 clauses out of 21534 with flag 35000/1373510 204.59/202.65 c cleaning 10382 clauses out of 20792 with flag 45001/1383511 206.19/204.21 c cleaning 10696 clauses out of 21410 with flag 56001/1394511 207.99/206.00 c cleaning 11350 clauses out of 22714 with flag 68001/1406511 209.60/207.64 c cleaning 12172 clauses out of 24363 with flag 81000/1419510 211.40/209.47 c cleaning 13085 clauses out of 26193 with flag 95002/1433512 212.91/210.99 c cleaning 14052 clauses out of 28107 with flag 110001/1448511 215.52/213.51 c cleaning 15013 clauses out of 30055 with flag 126001/1464511 217.33/215.37 c cleaning 16007 clauses out of 32041 with flag 143000/1481510 220.25/218.29 c cleaning 17009 clauses out of 34034 with flag 161000/1499510 223.69/221.64 c cleaning 18005 clauses out of 36026 with flag 180001/1518511 227.29/225.22 c cleaning 18993 clauses out of 38022 with flag 200002/1538512 231.21/229.18 c cleaning 20000 clauses out of 40030 with flag 221003/1559513 235.04/232.97 c cleaning 21004 clauses out of 42028 with flag 243001/1581511 238.34/236.28 c cleaning 22004 clauses out of 44024 with flag 266001/1604511 240.64/238.55 c Got one! Elapsed wall clock time (in seconds):238.441 240.64/238.55 o 32 241.04/238.95 c cleaning 22055 clauses out of 44120 with flag 5000/1626611 241.35/239.27 c cleaning 14028 clauses out of 28065 with flag 11000/1632611 241.66/239.53 c cleaning 10510 clauses out of 21037 with flag 18000/1639611 241.87/239.72 c cleaning 9252 clauses out of 18529 with flag 26002/1647613 242.06/239.92 c cleaning 9129 clauses out of 18277 with flag 35002/1656613 242.26/240.15 c cleaning 9566 clauses out of 19147 with flag 45001/1666612 242.56/240.43 c cleaning 10284 clauses out of 20582 with flag 56002/1677613 242.87/240.73 c cleaning 11140 clauses out of 22299 with flag 68003/1689614 243.27/241.13 c cleaning 12068 clauses out of 24157 with flag 81001/1702612 243.67/241.52 c cleaning 13039 clauses out of 26088 with flag 95000/1716611 244.08/241.90 c cleaning 14023 clauses out of 28051 with flag 110002/1731613 244.48/242.32 c cleaning 15007 clauses out of 30028 with flag 126002/1747613 244.99/242.85 c cleaning 16007 clauses out of 32019 with flag 143000/1764611 246.99/244.89 c cleaning 16986 clauses out of 34012 with flag 161000/1782611 249.80/247.63 c cleaning 17996 clauses out of 36027 with flag 180001/1801612 252.93/250.70 c cleaning 19000 clauses out of 38030 with flag 200000/1821611 255.93/253.77 c cleaning 19995 clauses out of 40032 with flag 221002/1842613 259.54/257.37 c cleaning 20998 clauses out of 42035 with flag 243000/1864611 263.05/260.89 c cleaning 21980 clauses out of 44037 with flag 266000/1887611 267.55/265.33 c cleaning 23007 clauses out of 46057 with flag 290000/1911611 273.06/270.87 c cleaning 24001 clauses out of 48050 with flag 315000/1936611 279.51/277.25 c cleaning 25004 clauses out of 50050 with flag 341001/1962612 285.32/283.01 c cleaning 26001 clauses out of 52045 with flag 368000/1989611 288.35/286.10 c cleaning 27013 clauses out of 54044 with flag 396000/2017611 292.26/289.97 c cleaning 28007 clauses out of 56031 with flag 425000/2046611 296.16/293.88 c cleaning 29002 clauses out of 58025 with flag 455001/2076612 301.98/299.65 c cleaning 30004 clauses out of 60024 with flag 486002/2107613 306.80/304.47 c cleaning 30995 clauses out of 62019 with flag 518001/2139612 312.60/310.21 c cleaning 31994 clauses out of 64025 with flag 551002/2172613 319.21/316.83 c cleaning 33000 clauses out of 66029 with flag 585000/2206611 326.42/324.09 c cleaning 33998 clauses out of 68031 with flag 620002/2241613 333.74/331.33 c cleaning 35004 clauses out of 70031 with flag 656000/2277611 339.05/336.62 c cleaning 35993 clauses out of 72028 with flag 693001/2314612 343.45/341.05 c cleaning 36992 clauses out of 74035 with flag 731001/2352612 349.07/346.64 c cleaning 37974 clauses out of 76042 with flag 770000/2391611 354.60/352.17 c cleaning 39011 clauses out of 78068 with flag 810000/2431611 363.72/361.20 c cleaning 40021 clauses out of 80057 with flag 851000/2472611 371.05/368.53 c cleaning 41012 clauses out of 82036 with flag 893000/2514611 375.96/373.47 c cleaning 42007 clauses out of 84024 with flag 936000/2557611 383.36/380.86 c cleaning 42997 clauses out of 86017 with flag 980000/2601611 389.27/386.73 c cleaning 43999 clauses out of 88020 with flag 1025000/2646611 394.20/391.68 c cleaning 44986 clauses out of 90021 with flag 1071000/2692611 400.90/398.32 c cleaning 45998 clauses out of 92036 with flag 1118001/2739612 407.32/404.76 c cleaning 46994 clauses out of 94039 with flag 1166002/2787613 414.64/412.01 c cleaning 48001 clauses out of 96043 with flag 1215000/2836611 421.26/418.67 c cleaning 48990 clauses out of 98042 with flag 1265000/2886611 428.96/426.30 c cleaning 49994 clauses out of 100052 with flag 1316000/2937611 437.33/434.61 c cleaning 51028 clauses out of 102058 with flag 1368000/2989611 446.16/443.49 c cleaning 52006 clauses out of 104030 with flag 1421000/3042611 451.86/449.19 c cleaning 52997 clauses out of 106024 with flag 1475000/3096611 462.67/459.94 c cleaning 54005 clauses out of 108029 with flag 1530002/3151613 471.18/468.45 c cleaning 55005 clauses out of 110022 with flag 1586000/3207611 476.11/473.30 c cleaning 55975 clauses out of 112018 with flag 1643001/3264612 487.52/484.75 c cleaning 57014 clauses out of 114042 with flag 1701000/3322611 491.36/488.55 c Got one! Elapsed wall clock time (in seconds):488.439 491.36/488.55 o 31 491.76/488.92 c cleaning 39352 clauses out of 78722 with flag 5001/3344305 492.19/489.30 c cleaning 22677 clauses out of 45369 with flag 11000/3350304 492.40/489.54 c cleaning 14841 clauses out of 29694 with flag 18002/3357306 492.61/489.73 c cleaning 11421 clauses out of 22853 with flag 26002/3365306 492.82/489.94 c cleaning 10209 clauses out of 20431 with flag 35001/3374305 493.02/490.17 c cleaning 10107 clauses out of 20223 with flag 45002/3384306 493.33/490.46 c cleaning 10554 clauses out of 21115 with flag 56001/3395305 493.64/490.78 c cleaning 11274 clauses out of 22564 with flag 68004/3407308 494.06/491.14 c cleaning 12136 clauses out of 24288 with flag 81002/3420306 494.56/491.65 c cleaning 13067 clauses out of 26150 with flag 95000/3434304 496.06/493.11 c cleaning 14027 clauses out of 28085 with flag 110002/3449306 497.77/494.85 c cleaning 15023 clauses out of 30057 with flag 126001/3465305 499.28/496.38 c cleaning 16012 clauses out of 32033 with flag 143000/3482304 501.09/498.16 c cleaning 16990 clauses out of 34021 with flag 161000/3500304 502.90/499.92 c cleaning 17998 clauses out of 36032 with flag 180001/3519305 503.81/500.85 c cleaning 19009 clauses out of 38034 with flag 200001/3539305 505.01/502.10 c cleaning 20002 clauses out of 40025 with flag 221001/3560305 506.63/503.61 c cleaning 20993 clauses out of 42022 with flag 243000/3582304 507.64/504.64 c cleaning 22011 clauses out of 44034 with flag 266005/3605309 508.85/505.83 c cleaning 22993 clauses out of 46019 with flag 290001/3629305 511.36/508.36 c cleaning 24005 clauses out of 48025 with flag 315000/3654304 514.57/511.53 c cleaning 24995 clauses out of 50021 with flag 341001/3680305 517.57/514.50 c cleaning 26006 clauses out of 52026 with flag 368001/3707305 520.48/517.44 c cleaning 27004 clauses out of 54021 with flag 396002/3735306 524.59/521.51 c cleaning 27998 clauses out of 56015 with flag 425000/3764304 526.60/523.56 c cleaning 28998 clauses out of 58017 with flag 455000/3794304 529.00/525.93 c cleaning 30002 clauses out of 60020 with flag 486001/3825305 531.61/528.55 c cleaning 31002 clauses out of 62018 with flag 518001/3857305 535.32/532.24 c cleaning 31999 clauses out of 64016 with flag 551001/3890305 538.33/535.24 c cleaning 33004 clauses out of 66017 with flag 585001/3924305 541.54/538.43 c cleaning 33996 clauses out of 68012 with flag 620000/3959304 544.67/541.51 c cleaning 34986 clauses out of 70017 with flag 656001/3995305 548.98/545.89 c cleaning 35992 clauses out of 72032 with flag 693002/4032306 553.78/550.62 c cleaning 36988 clauses out of 74038 with flag 731000/4070304 558.18/555.09 c cleaning 38000 clauses out of 76051 with flag 770001/4109305 562.90/559.77 c cleaning 38997 clauses out of 78051 with flag 810001/4149305 567.71/564.53 c cleaning 40003 clauses out of 80053 with flag 851000/4190304 572.94/569.79 c cleaning 40999 clauses out of 82050 with flag 893000/4232304 578.04/574.85 c cleaning 41994 clauses out of 84051 with flag 936000/4275304 582.97/579.73 c cleaning 43015 clauses out of 86057 with flag 980000/4319304 587.77/584.55 c cleaning 43996 clauses out of 88042 with flag 1025000/4364304 592.90/589.64 c cleaning 45000 clauses out of 90047 with flag 1071001/4410305 597.91/594.61 c cleaning 45993 clauses out of 92046 with flag 1118000/4457304 601.93/598.65 c cleaning 47020 clauses out of 94055 with flag 1166002/4505306 603.96/600.68 c cleaning 48008 clauses out of 96033 with flag 1215000/4554304 606.67/603.36 c cleaning 49006 clauses out of 98027 with flag 1265002/4604306 611.99/608.63 c cleaning 49988 clauses out of 100019 with flag 1316000/4655304 621.01/617.69 c cleaning 51003 clauses out of 102031 with flag 1368000/4707304 632.81/629.46 c cleaning 51999 clauses out of 104028 with flag 1421000/4760304 640.52/637.16 c cleaning 52996 clauses out of 106029 with flag 1475000/4814304 646.95/643.58 c cleaning 54000 clauses out of 108038 with flag 1530005/4869309 653.36/649.96 c cleaning 55007 clauses out of 110034 with flag 1586001/4925305 660.27/656.85 c cleaning 55998 clauses out of 112027 with flag 1643001/4982305 666.98/663.53 c cleaning 56998 clauses out of 114028 with flag 1701000/5040304 675.19/671.70 c cleaning 57992 clauses out of 116031 with flag 1760001/5099305 683.00/679.50 c cleaning 59015 clauses out of 118040 with flag 1820002/5159306 695.22/691.72 c cleaning 60002 clauses out of 120026 with flag 1881003/5220307 709.83/706.36 c cleaning 60998 clauses out of 122021 with flag 1943000/5282304 723.46/719.97 c cleaning 61994 clauses out of 124024 with flag 2006001/5345305 738.68/735.12 c cleaning 62984 clauses out of 126029 with flag 2070000/5409304 753.40/749.86 c cleaning 64007 clauses out of 128046 with flag 2135001/5474305 761.83/758.24 c cleaning 65009 clauses out of 130038 with flag 2201000/5540304 769.77/766.12 c cleaning 66011 clauses out of 132029 with flag 2268000/5607304 776.42/772.72 c cleaning 67003 clauses out of 134019 with flag 2336001/5675305 783.63/779.96 c cleaning 67990 clauses out of 136017 with flag 2405002/5744306 790.45/786.73 c cleaning 68993 clauses out of 138025 with flag 2475000/5814304 798.66/794.92 c cleaning 69997 clauses out of 140032 with flag 2546000/5885304 808.88/805.15 c cleaning 70996 clauses out of 142035 with flag 2618000/5957304 821.79/818.02 c cleaning 72004 clauses out of 144039 with flag 2691000/6030304 837.41/833.69 c cleaning 73005 clauses out of 146037 with flag 2765002/6104306 851.34/847.58 c cleaning 74008 clauses out of 148031 with flag 2840001/6179305 869.29/865.43 c cleaning 75007 clauses out of 150024 with flag 2916003/6255307 893.52/889.63 c cleaning 76001 clauses out of 152014 with flag 2993000/6332304 915.47/911.53 c cleaning 76997 clauses out of 154017 with flag 3071004/6410308 937.00/933.03 c cleaning 77991 clauses out of 156017 with flag 3150001/6489305 957.71/953.78 c cleaning 78994 clauses out of 158029 with flag 3230004/6569308 979.11/975.15 c cleaning 80004 clauses out of 160031 with flag 3311000/6650304 996.03/992.05 c cleaning 81000 clauses out of 162032 with flag 3393005/6732309 1016.66/1012.62 c cleaning 81994 clauses out of 164027 with flag 3476000/6815304 1038.47/1034.41 c cleaning 82995 clauses out of 166038 with flag 3560005/6899309 1056.39/1052.35 c cleaning 84001 clauses out of 168038 with flag 3645000/6984304 1074.61/1070.53 c cleaning 85007 clauses out of 170037 with flag 3731000/7070304 1079.73/1075.66 c Got one! Elapsed wall clock time (in seconds):1075.546 1079.73/1075.66 o 30 1080.33/1076.23 c cleaning 57686 clauses out of 115392 with flag 5000/7100666 1080.75/1076.61 c cleaning 31843 clauses out of 63708 with flag 11002/7106668 1080.96/1076.89 c cleaning 19422 clauses out of 38863 with flag 18000/7113666 1081.27/1077.15 c cleaning 13717 clauses out of 27441 with flag 26000/7121666 1081.69/1077.52 c cleaning 11355 clauses out of 22724 with flag 35000/7130666 1082.21/1078.04 c cleaning 10677 clauses out of 21369 with flag 45000/7140666 1082.92/1078.71 c cleaning 10834 clauses out of 21692 with flag 56000/7151666 1083.33/1079.13 c cleaning 11417 clauses out of 22858 with flag 68000/7163666 1084.05/1079.84 c cleaning 12197 clauses out of 24442 with flag 81001/7176667 1084.57/1080.34 c cleaning 13098 clauses out of 26244 with flag 95000/7190666 1085.59/1081.30 c cleaning 14055 clauses out of 28146 with flag 110000/7205666 1086.29/1082.03 c cleaning 15044 clauses out of 30094 with flag 126003/7221669 1086.90/1082.68 c cleaning 16016 clauses out of 32048 with flag 143001/7238667 1088.20/1083.94 c cleaning 17010 clauses out of 34032 with flag 161001/7256667 1088.82/1084.59 c cleaning 18008 clauses out of 36021 with flag 180000/7275666 1089.43/1085.16 c cleaning 19009 clauses out of 38017 with flag 200004/7295670 1090.05/1085.74 c cleaning 19998 clauses out of 40005 with flag 221001/7316667 1090.75/1086.48 c cleaning 20995 clauses out of 42006 with flag 243000/7338666 1091.75/1087.44 c cleaning 22001 clauses out of 44011 with flag 266000/7361666 1094.86/1090.57 c cleaning 22987 clauses out of 46010 with flag 290000/7385666 1098.66/1094.32 c cleaning 23983 clauses out of 48023 with flag 315000/7410666 1102.90/1098.58 c cleaning 25011 clauses out of 50040 with flag 341000/7436666 1107.03/1102.60 c cleaning 26008 clauses out of 52031 with flag 368002/7463668 1111.54/1107.12 c cleaning 27000 clauses out of 54021 with flag 396000/7491666 1115.85/1111.42 c cleaning 28007 clauses out of 56021 with flag 425000/7520666 1121.08/1116.64 c cleaning 28993 clauses out of 58014 with flag 455000/7550666 1127.18/1122.71 c cleaning 30000 clauses out of 60024 with flag 486003/7581669 1133.29/1128.81 c cleaning 30995 clauses out of 62022 with flag 518001/7613667 1140.12/1135.67 c cleaning 32002 clauses out of 64027 with flag 551001/7646667 1143.74/1139.22 c cleaning 32998 clauses out of 66025 with flag 585001/7680667 1146.66/1142.16 c cleaning 34001 clauses out of 68026 with flag 620000/7715666 1150.28/1145.75 c cleaning 34989 clauses out of 70025 with flag 656000/7751666 1153.50/1148.94 c cleaning 36007 clauses out of 72036 with flag 693000/7788666 1156.71/1152.19 c cleaning 37006 clauses out of 74031 with flag 731002/7826668 1160.23/1155.67 c cleaning 38002 clauses out of 76025 with flag 770002/7865668 1162.96/1158.36 c cleaning 39001 clauses out of 78021 with flag 810000/7905666 1166.28/1161.69 c cleaning 40005 clauses out of 80020 with flag 851000/7946666 1169.29/1164.64 c cleaning 40997 clauses out of 82015 with flag 893000/7988666 1175.71/1171.08 c cleaning 41993 clauses out of 84018 with flag 936000/8031666 1185.44/1180.77 c cleaning 42996 clauses out of 86025 with flag 980000/8075666 1195.16/1190.47 c cleaning 43991 clauses out of 88029 with flag 1025000/8120666 1203.86/1199.17 c cleaning 45001 clauses out of 90040 with flag 1071002/8166668 1214.38/1209.67 c cleaning 46000 clauses out of 92037 with flag 1118000/8213666 1215.00/1210.20 c Got one! Elapsed wall clock time (in seconds):1210.092 1215.00/1210.20 o 29 1215.20/1210.46 c cleaning 25658 clauses out of 51322 with flag 3003/8218951 1215.62/1210.85 c cleaning 15825 clauses out of 31663 with flag 9002/8224950 1215.95/1211.16 c cleaning 11416 clauses out of 22837 with flag 16001/8231949 1216.15/1211.35 c cleaning 9703 clauses out of 19420 with flag 24000/8239948 1216.36/1211.57 c cleaning 9350 clauses out of 18717 with flag 33000/8248948 1216.67/1211.84 c cleaning 9673 clauses out of 19367 with flag 43000/8258948 1216.99/1212.13 c cleaning 10344 clauses out of 20696 with flag 54002/8269950 1217.28/1212.42 c cleaning 11165 clauses out of 22350 with flag 66000/8281948 1217.59/1212.73 c cleaning 12085 clauses out of 24187 with flag 79002/8294950 1217.89/1213.09 c cleaning 13044 clauses out of 26100 with flag 93000/8308948 1218.31/1213.48 c cleaning 14018 clauses out of 28058 with flag 108002/8323950 1218.82/1213.93 c cleaning 15010 clauses out of 30040 with flag 124002/8339950 1219.35/1214.44 c cleaning 16008 clauses out of 32030 with flag 141002/8356950 1219.97/1215.06 c cleaning 17002 clauses out of 34020 with flag 159000/8374948 1220.57/1215.68 c cleaning 18002 clauses out of 36022 with flag 178004/8393952 1221.48/1216.52 c cleaning 18998 clauses out of 38016 with flag 198000/8413948 1222.40/1217.47 c cleaning 19998 clauses out of 40018 with flag 219000/8434948 1223.31/1218.33 c cleaning 21007 clauses out of 42024 with flag 241004/8456952 1224.32/1219.33 c cleaning 22001 clauses out of 44015 with flag 264002/8479950 1225.95/1220.92 c cleaning 22993 clauses out of 46012 with flag 288000/8503948 1229.08/1224.01 c cleaning 23988 clauses out of 48019 with flag 313000/8528948 1232.38/1227.36 c cleaning 24996 clauses out of 50034 with flag 339003/8554951 1236.49/1231.42 c cleaning 25998 clauses out of 52035 with flag 366000/8581948 1241.10/1236.07 c cleaning 27015 clauses out of 54037 with flag 394000/8609948 1246.01/1240.94 c cleaning 28008 clauses out of 56022 with flag 423000/8638948 1250.43/1245.38 c cleaning 28984 clauses out of 58015 with flag 453001/8668949 1254.63/1249.59 c cleaning 29977 clauses out of 60030 with flag 484000/8699948 1259.16/1254.01 c cleaning 31017 clauses out of 62053 with flag 516000/8731948 1264.06/1258.99 c cleaning 32006 clauses out of 64037 with flag 549001/8764949 1269.16/1264.02 c cleaning 32999 clauses out of 66030 with flag 583000/8798948 1274.68/1269.53 c cleaning 34006 clauses out of 68031 with flag 618000/8833948 1278.99/1273.87 c cleaning 34994 clauses out of 70026 with flag 654001/8869949 1285.72/1280.51 c cleaning 35999 clauses out of 72031 with flag 691000/8906948 1292.53/1287.33 c cleaning 36990 clauses out of 74034 with flag 729002/8944950 1299.95/1294.76 c cleaning 38001 clauses out of 76043 with flag 768001/8983949 1307.14/1301.91 c cleaning 38999 clauses out of 78042 with flag 808001/9023949 1314.66/1309.41 c cleaning 40011 clauses out of 80044 with flag 849002/9064950 1321.56/1316.36 c cleaning 40996 clauses out of 82031 with flag 891000/9106948 1328.57/1323.37 c cleaning 42007 clauses out of 84036 with flag 934001/9149949 1337.58/1332.37 c cleaning 43007 clauses out of 86029 with flag 978001/9193949 1344.89/1339.60 c cleaning 44000 clauses out of 88022 with flag 1023001/9238949 1353.60/1348.38 c cleaning 44994 clauses out of 90023 with flag 1069002/9284950 1363.03/1357.75 c cleaning 46000 clauses out of 92029 with flag 1116002/9331950 1372.56/1367.22 c cleaning 46996 clauses out of 94027 with flag 1164000/9379948 1382.06/1376.70 c cleaning 48002 clauses out of 96033 with flag 1213002/9428950 1391.59/1386.23 c cleaning 49011 clauses out of 98033 with flag 1263004/9478952 1404.53/1399.16 c cleaning 50004 clauses out of 100022 with flag 1314004/9529952 1417.24/1411.87 c cleaning 50991 clauses out of 102014 with flag 1366000/9581948 1430.57/1425.10 c cleaning 52002 clauses out of 104023 with flag 1419000/9634948 1444.30/1438.88 c cleaning 53003 clauses out of 106023 with flag 1473002/9688950 1457.22/1451.77 c cleaning 54002 clauses out of 108018 with flag 1528000/9743948 1471.74/1466.20 c cleaning 54994 clauses out of 110017 with flag 1584001/9799949 1486.75/1481.27 c cleaning 55991 clauses out of 112022 with flag 1641000/9856948 1489.86/1484.32 c Got one! Elapsed wall clock time (in seconds):1484.203 1489.86/1484.32 o 28 1490.26/1484.73 c cleaning 38084 clauses out of 76174 with flag 5001/9877091 1490.57/1485.07 c cleaning 22037 clauses out of 44094 with flag 11005/9883095 1490.87/1485.38 c cleaning 14499 clauses out of 29052 with flag 18000/9890090 1491.29/1485.71 c cleaning 11272 clauses out of 22555 with flag 26002/9898092 1491.51/1485.94 c cleaning 10136 clauses out of 20286 with flag 35005/9907095 1491.73/1486.15 c cleaning 10064 clauses out of 20147 with flag 45002/9917092 1492.03/1486.43 c cleaning 10536 clauses out of 21083 with flag 56002/9928092 1492.33/1486.74 c cleaning 11268 clauses out of 22550 with flag 68005/9940095 1492.66/1487.06 c cleaning 12138 clauses out of 24280 with flag 81003/9953093 1493.08/1487.45 c cleaning 13065 clauses out of 26140 with flag 95001/9967091 1493.50/1487.87 c cleaning 14033 clauses out of 28075 with flag 110001/9982091 1493.92/1488.27 c cleaning 15012 clauses out of 30042 with flag 126001/9998091 1494.42/1488.74 c cleaning 16010 clauses out of 32032 with flag 143003/10015093 1495.03/1489.32 c cleaning 17001 clauses out of 34021 with flag 161002/10033092 1495.52/1489.84 c cleaning 18001 clauses out of 36020 with flag 180002/10052092 1496.14/1490.41 c cleaning 19005 clauses out of 38017 with flag 200000/10072090 1496.74/1491.05 c cleaning 19997 clauses out of 40014 with flag 221002/10093092 1497.56/1491.86 c cleaning 21000 clauses out of 42015 with flag 243000/10115090 1498.27/1492.56 c cleaning 21997 clauses out of 44015 with flag 266000/10138090 1499.17/1493.40 c cleaning 23006 clauses out of 46023 with flag 290005/10162095 1499.89/1494.16 c cleaning 24000 clauses out of 48015 with flag 315003/10187093 1500.80/1495.05 c cleaning 24997 clauses out of 50012 with flag 341000/10213090 1501.82/1496.09 c cleaning 25997 clauses out of 52015 with flag 368000/10240090 1502.93/1497.17 c cleaning 26999 clauses out of 54019 with flag 396001/10268091 1504.05/1498.24 c cleaning 28001 clauses out of 56019 with flag 425000/10297090 1505.26/1499.43 c cleaning 29000 clauses out of 58020 with flag 455002/10327092 1506.47/1500.64 c cleaning 30001 clauses out of 60020 with flag 486002/10358092 1508.87/1503.09 c cleaning 30997 clauses out of 62019 with flag 518002/10390092 1512.68/1506.86 c cleaning 31999 clauses out of 64020 with flag 551000/10423090 1516.60/1510.77 c cleaning 32997 clauses out of 66021 with flag 585000/10457090 1520.51/1514.66 c cleaning 34001 clauses out of 68025 with flag 620001/10492091 1526.13/1520.24 c cleaning 35007 clauses out of 70025 with flag 656002/10528092 1532.84/1526.99 c cleaning 35997 clauses out of 72017 with flag 693001/10565091 1538.76/1532.82 c cleaning 36996 clauses out of 74020 with flag 731001/10603091 1544.37/1538.41 c cleaning 38007 clauses out of 76024 with flag 770001/10642091 1552.60/1546.62 c cleaning 38996 clauses out of 78016 with flag 810000/10682090 1559.23/1553.23 c cleaning 39996 clauses out of 80021 with flag 851001/10723091 1566.44/1560.47 c cleaning 40995 clauses out of 82025 with flag 893001/10765091 1574.26/1568.29 c cleaning 42000 clauses out of 84029 with flag 936000/10808090 1578.17/1572.18 c cleaning 43007 clauses out of 86030 with flag 980001/10852091 1582.59/1576.54 c cleaning 43991 clauses out of 88022 with flag 1025000/10897090 1587.82/1581.72 c cleaning 44991 clauses out of 90031 with flag 1071000/10943090 1593.44/1587.33 c cleaning 45986 clauses out of 92040 with flag 1118000/10990090 1600.94/1594.82 c cleaning 47016 clauses out of 94054 with flag 1166000/11038090 1612.06/1605.99 c cleaning 47992 clauses out of 96038 with flag 1215000/11087090 1620.97/1614.81 c cleaning 49017 clauses out of 98048 with flag 1265002/11137092 1631.48/1625.37 c cleaning 50007 clauses out of 100030 with flag 1316001/11188091 1641.48/1635.36 c cleaning 50975 clauses out of 102022 with flag 1368000/11240090 1653.78/1647.62 c cleaning 51997 clauses out of 104048 with flag 1421001/11293091 1665.10/1658.96 c cleaning 53005 clauses out of 106050 with flag 1475000/11347090 1677.03/1670.90 c Got one! Elapsed wall clock time (in seconds):1670.784 1677.03/1670.90 o 27 1677.54/1671.39 c cleaning 54608 clauses out of 109231 with flag 5001/11403276 1678.05/1671.85 c cleaning 30304 clauses out of 60622 with flag 11000/11409275 1678.37/1672.18 c cleaning 18653 clauses out of 37319 with flag 18001/11416276 1678.59/1672.39 c cleaning 13326 clauses out of 26667 with flag 26002/11424277 1678.91/1672.62 c cleaning 11160 clauses out of 22339 with flag 35000/11433275 1679.12/1672.88 c cleaning 10582 clauses out of 21179 with flag 45000/11443275 1679.44/1673.16 c cleaning 10789 clauses out of 21598 with flag 56001/11454276 1679.75/1673.48 c cleaning 11399 clauses out of 22810 with flag 68002/11466277 1680.17/1673.83 c cleaning 12197 clauses out of 24411 with flag 81002/11479277 1680.60/1674.27 c cleaning 13096 clauses out of 26212 with flag 95000/11493275 1681.10/1674.72 c cleaning 14053 clauses out of 28119 with flag 110003/11508278 1681.61/1675.23 c cleaning 15020 clauses out of 30063 with flag 126000/11524275 1682.20/1675.84 c cleaning 16017 clauses out of 32046 with flag 143003/11541278 1682.83/1676.48 c cleaning 17003 clauses out of 34028 with flag 161002/11559277 1683.64/1677.24 c cleaning 18003 clauses out of 36024 with flag 180001/11578276 1684.35/1677.99 c cleaning 19007 clauses out of 38024 with flag 200004/11598279 1685.26/1678.81 c cleaning 19997 clauses out of 40014 with flag 221001/11619276 1686.07/1679.65 c cleaning 20996 clauses out of 42016 with flag 243000/11641275 1686.96/1680.59 c cleaning 22002 clauses out of 44021 with flag 266001/11664276 1688.10/1681.64 c cleaning 22999 clauses out of 46018 with flag 290000/11688275 1689.20/1682.74 c cleaning 24003 clauses out of 48019 with flag 315000/11713275 1690.72/1684.23 c cleaning 25003 clauses out of 50017 with flag 341001/11739276 1692.02/1685.55 c cleaning 25999 clauses out of 52014 with flag 368001/11766276 1693.32/1686.82 c cleaning 26996 clauses out of 54014 with flag 396000/11794275 1694.74/1688.20 c cleaning 27996 clauses out of 56019 with flag 425001/11823276 1696.55/1690.04 c cleaning 29000 clauses out of 58024 with flag 455002/11853277 1699.06/1692.59 c cleaning 30003 clauses out of 60022 with flag 486000/11884275 1702.69/1696.13 c cleaning 30997 clauses out of 62019 with flag 518000/11916275 1706.29/1699.72 c cleaning 31997 clauses out of 64022 with flag 551000/11949275 1710.22/1703.61 c cleaning 33001 clauses out of 66025 with flag 585000/11983275 1714.64/1708.02 c cleaning 34004 clauses out of 68025 with flag 620001/12018276 1720.07/1713.43 c cleaning 35001 clauses out of 70020 with flag 656000/12054275 1725.77/1719.14 c cleaning 35995 clauses out of 72019 with flag 693000/12091275 1730.78/1724.14 c cleaning 36996 clauses out of 74024 with flag 731000/12129275 1737.12/1730.42 c cleaning 38005 clauses out of 76031 with flag 770003/12168278 1744.24/1737.53 c cleaning 38991 clauses out of 78024 with flag 810001/12208276 1751.07/1744.34 c cleaning 39993 clauses out of 80033 with flag 851001/12249276 1757.49/1750.75 c cleaning 41010 clauses out of 82039 with flag 893000/12291275 1765.42/1758.60 c cleaning 41999 clauses out of 84029 with flag 936000/12334275 1774.25/1767.48 c cleaning 42988 clauses out of 86030 with flag 980000/12378275 1783.16/1776.32 c cleaning 44002 clauses out of 88042 with flag 1025000/12423275 1792.37/1785.50 c cleaning 45002 clauses out of 90044 with flag 1071004/12469279 1800.10/1793.21 c starts : 350 1800.10/1793.21 c conflicts : 12514217 1800.10/1793.21 c decisions : 15649387 1800.10/1793.21 c propagations : 1649354391 1800.10/1793.21 c inspects : 21111713870 1800.10/1793.21 c shortcuts : 0 1800.10/1793.21 c learnt literals : 1 1800.10/1793.21 c learnt binary clauses : 73 1800.10/1793.21 c learnt ternary clauses : 234 1800.10/1793.21 c learnt constraints : 12514216 1800.10/1793.21 c ignored constraints : 0 1800.10/1793.21 c root simplifications : 0 1800.10/1793.21 c removed literals (reason simplification) : 0 1800.10/1793.21 c reason swapping (by a shorter reason) : 0 1800.10/1793.21 c Calls to reduceDB : 410 1800.10/1793.21 c number of reductions to clauses (during analyze) : 0 1800.10/1793.21 c number of learned constraints concerned by reduction : 0 1800.10/1793.21 c number of learning phase by resolution : 0 1800.10/1793.21 c number of learning phase by cutting planes : 0 1800.10/1793.21 c speed (assignments/second) : 920011.0578411439 1800.10/1793.21 c non guided choices 1598 1800.10/1793.24 c learnt constraints type 1800.10/1793.24 c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 73 1800.10/1793.24 c org.sat4j.minisat.constraints.cnf.LearntWLClause => 89988 1800.10/1793.24 c constraints type 1800.10/1793.24 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 2104 1800.10/1793.24 c org.sat4j.minisat.constraints.cnf.UnitClauses => 32 1800.10/1793.24 c org.sat4j.minisat.constraints.card.MinWatchCard => 437 1800.10/1793.24 c ignored satisfied constraints => 602 1800.10/1793.24 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 20 1800.10/1793.24 c org.sat4j.minisat.constraints.cnf.UnitClause => 66 1800.10/1793.24 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 2406 1800.10/1793.24 c 5667 constraints processed. 1800.10/1793.24 s SATISFIABLE 1800.10/1793.24 v -x1 -x2 x3 -x4 -x5 -x6 -x7 x8 -x9 -x10 -x11 x12 -x13 -x14 -x15 x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 x24 -x25 x26 -x27 -x28 -x29 -x30 x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 x43 -x44 -x45 -x46 -x47 -x48 x49 -x50 -x51 -x52 x53 -x54 -x55 x56 -x57 -x58 -x59 -x60 -x61 -x62 x63 -x64 x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 x76 -x77 -x78 x79 -x80 -x81 -x82 x83 x84 -x85 x86 -x87 x88 -x89 x90 -x91 -x92 -x93 -x94 -x95 x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 x111 -x112 -x113 -x114 -x115 -x116 -x117 x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 x172 -x173 -x174 -x175 x176 -x177 -x178 -x179 -x180 -x181 -x182 x183 -x184 x185 -x186 x187 -x188 -x189 -x190 -x191 -x192 x193 x194 x195 -x196 x197 x198 x199 x200 -x201 x202 x203 x204 -x205 -x206 x207 -x208 -x209 -x210 x211 x212 -x213 x214 -x215 x216 -x217 -x218 -x219 -x220 x221 -x222 x223 x224 x225 -x226 x227 -x228 -x229 x230 -x231 x232 -x233 -x234 x235 x236 x237 x238 x239 -x240 -x241 -x242 -x243 -x244 -x245 x246 -x247 x248 -x249 -x250 -x251 -x252 -x253 -x254 x255 -x256 -x257 -x258 -x259 -x260 x261 x262 x263 x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 x272 -x273 x274 -x275 -x276 -x277 -x278 x279 x280 -x281 x282 x283 -x284 -x285 x286 x287 -x288 x289 x290 -x291 x292 x293 x294 x295 x296 x297 x298 x299 x300 -x301 x302 x303 x304 x305 -x306 x307 -x308 -x309 x310 -x311 x312 -x313 x314 x315 x316 x317 -x318 x319 -x320 x321 x322 x323 x324 -x325 -x326 -x327 x328 -x329 x330 x331 -x332 -x333 x334 -x335 x336 x337 x338 x339 -x340 -x341 -x342 x343 -x344 x345 -x346 -x347 -x348 x349 -x350 -x351 -x352 -x353 -x354 -x355 x356 -x357 -x358 -x359 x360 x361 -x362 x363 -x364 x365 -x366 x367 x368 -x369 -x370 -x371 -x372 x373 x374 -x375 -x376 -x377 -x378 -x379 x380 -x381 x382 x383 -x384 -x385 x386 x387 x388 x389 x390 x391 x392 -x393 x394 x395 x396 x397 x398 -x399 -x400 -x401 x402 x403 x404 x405 -x406 x407 -x408 x409 -x410 -x411 -x412 -x413 x414 x415 -x416 x417 -x418 -x419 -x420 x421 x422 x423 -x424 -x425 x426 x427 -x428 -x429 -x430 -x431 x432 -x433 -x434 -x435 -x436 x437 -x438 x439 x440 -x441 x442 x443 -x444 -x445 -x446 x447 x448 -x449 x450 -x451 x452 x453 x454 -x455 -x456 x457 -x458 x459 x460 -x461 -x462 -x463 -x464 -x465 x466 -x467 -x468 -x469 -x470 -x471 x472 x473 -x474 -x475 x476 -x477 x478 -x479 -x480 -x481 -x482 x483 x484 -x485 -x486 -x487 x488 -x489 x490 -x491 -x492 -x493 -x494 x495 x496 x497 -x498 x499 -x500 -x501 -x502 x503 -x504 x505 -x506 -x507 x508 -x509 -x510 -x511 x512 -x513 x514 -x515 x516 x517 -x518 x519 x520 x521 x522 -x523 x524 x525 x526 -x527 -x528 -x529 x530 -x531 x532 -x533 -x534 -x535 -x536 -x537 -x538 x539 -x540 x541 x542 x543 x544 -x545 x546 -x547 x548 -x549 x550 -x551 x552 x553 x554 x555 -x556 -x557 -x558 -x559 x560 -x561 -x562 x563 x564 -x565 -x566 -x567 x568 x569 -x570 -x571 x572 -x573 x574 x575 -x576 -x577 x578 -x579 x580 x581 x582 -x583 -x584 1800.10/1793.24 c objective function=27 1800.10/1793.24 c Total wall clock time (in seconds): 1793.125
OK 27
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-3689147-1337889853/watcher-3689147-1337889853 -o /tmp/evaluation-result-3689147-1337889853/solver-3689147-1337889853 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar HOME/instance-3689147-1337889853.opb running on 4 cores: 0,2,4,6 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.05 2.03 2.02 3/196 25167 /proc/meminfo: memFree=29092644/32873844 swapFree=7124/7124 [pid=25167] ppid=25165 vsize=89736 CPUtime=0 cores=0,2,4,6 /proc/25167/stat : 25167 (java) S 25165 25167 22462 0 -1 4202496 1156 0 0 0 0 0 0 0 20 0 2 0 255110743 91889664 876 33554432000 1073741824 1073778376 140735398822176 140735398813312 273909055549 0 0 4096 0 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/25167/statm: 22434 882 668 9 0 16769 0 [pid=25167/tid=25168] ppid=25165 vsize=89736 CPUtime=0 cores=0,2,4,6 /proc/25167/task/25168/stat : 25168 (java) R 25165 25167 22462 0 -1 4202560 27 0 0 0 0 0 0 0 20 0 2 0 255110743 91889664 892 33554432000 1073741824 1073778376 140735398822176 140735398811240 140038854847584 0 0 4096 0 0 0 0 -1 2 0 0 0 0 0 [startup+0.0948411 s] /proc/loadavg: 2.05 2.03 2.02 3/196 25167 /proc/meminfo: memFree=29092644/32873844 swapFree=7124/7124 [pid=25167] ppid=25165 vsize=9558412 CPUtime=0.09 cores=0,2,4,6 /proc/25167/stat : 25167 (java) S 25165 25167 22462 0 -1 4202496 4252 0 1 0 9 0 0 0 20 0 18 0 255110743 9787813888 5457 33554432000 1073741824 1073778376 140735398822176 140735398813312 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/25167/statm: 2389603 5458 2108 9 0 2380296 0 [pid=25167/tid=25168] ppid=25165 vsize=9558412 CPUtime=0.07 cores=0,2,4,6 /proc/25167/task/25168/stat : 25168 (java) R 25165 25167 22462 0 -1 4202560 2308 0 1 0 7 0 0 0 20 0 18 0 255110743 9787813888 5458 33554432000 1073741824 1073778376 140735398822176 140038848293808 273909081357 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 9558412 [startup+0.100275 s] /proc/loadavg: 2.05 2.03 2.02 3/196 25167 /proc/meminfo: memFree=29092644/32873844 swapFree=7124/7124 [pid=25167] ppid=25165 vsize=9558412 CPUtime=0.09 cores=0,2,4,6 /proc/25167/stat : 25167 (java) S 25165 25167 22462 0 -1 4202496 4284 0 1 0 9 0 0 0 20 0 18 0 255110743 9787813888 5489 33554432000 1073741824 1073778376 140735398822176 140735398813312 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/25167/statm: 2389603 5489 2108 9 0 2380296 0 [pid=25167/tid=25168] ppid=25165 vsize=9558412 CPUtime=0.07 cores=0,2,4,6 /proc/25167/task/25168/stat : 25168 (java) R 25165 25167 22462 0 -1 4202560 2339 0 1 0 7 0 0 0 20 0 18 0 255110743 9787813888 5489 33554432000 1073741824 1073778376 140735398822176 140038848293808 140038855722175 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 9558412 [startup+0.300251 s] /proc/loadavg: 2.05 2.03 2.02 3/196 25167 /proc/meminfo: memFree=29092644/32873844 swapFree=7124/7124 [pid=25167] ppid=25165 vsize=9558412 CPUtime=0.49 cores=0,2,4,6 /proc/25167/stat : 25167 (java) S 25165 25167 22462 0 -1 4202496 6185 0 1 0 48 1 0 0 20 0 18 0 255110743 9787813888 8322 33554432000 1073741824 1073778376 140735398822176 140735398813312 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/25167/statm: 2389603 8322 2222 9 0 2380296 0 [pid=25167/tid=25168] ppid=25165 vsize=9558412 CPUtime=0.27 cores=0,2,4,6 /proc/25167/task/25168/stat : 25168 (java) R 25165 25167 22462 0 -1 4202560 2442 0 1 0 27 0 0 0 20 0 18 0 255110743 9787813888 8322 33554432000 1073741824 1073778376 140735398822176 140038848295048 140038700956773 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 0.49 Current children cumulated vsize (KiB) 9558412 [startup+0.700259 s] /proc/loadavg: 2.05 2.03 2.02 3/196 25167 /proc/meminfo: memFree=29092644/32873844 swapFree=7124/7124 [pid=25167] ppid=25165 vsize=9624976 CPUtime=1.48 cores=0,2,4,6 /proc/25167/stat : 25167 (java) S 25165 25167 22462 0 -1 4202496 12631 0 1 0 146 2 0 0 20 0 19 0 255110743 9855975424 15402 33554432000 1073741824 1073778376 140735398822176 140735398813312 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/25167/statm: 2406244 15402 2246 9 0 2396937 0 [pid=25167/tid=25168] ppid=25165 vsize=9624976 CPUtime=0.67 cores=0,2,4,6 /proc/25167/task/25168/stat : 25168 (java) R 25165 25167 22462 0 -1 4202560 2459 0 1 0 67 0 0 0 20 0 19 0 255110743 9855975424 15402 33554432000 1073741824 1073778376 140735398822176 140038848295696 140038701183074 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 9624976 [startup+1.50065 s] /proc/loadavg: 2.05 2.03 2.02 4/215 25186 /proc/meminfo: memFree=29035056/32873844 swapFree=7124/7124 [pid=25167] ppid=25165 vsize=9624976 CPUtime=2.43 cores=0,2,4,6 /proc/25167/stat : 25167 (java) S 25165 25167 22462 0 -1 4202496 13117 0 1 0 240 3 0 0 20 0 19 0 255110743 9855975424 19579 33554432000 1073741824 1073778376 140735398822176 140735398813312 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/25167/statm: 2406244 19579 2278 9 0 2396937 0 [pid=25167/tid=25168] ppid=25165 vsize=9624976 CPUtime=1.45 cores=0,2,4,6 /proc/25167/task/25168/stat : 25168 (java) R 25165 25167 22462 0 -1 4202560 2467 0 1 0 144 1 0 0 20 0 19 0 255110743 9855975424 19579 33554432000 1073741824 1073778376 140735398822176 140038848295288 140038701133805 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=25167/tid=25170] ppid=25165 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/25167/task/25170/stat : 25170 (java) S 25165 25167 22462 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 255110744 9855975424 19579 33554432000 1073741824 1073778376 140735398822176 140038820747432 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=25167/tid=25171] ppid=25165 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/25167/task/25171/stat : 25171 (java) S 25165 25167 22462 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255110744 9855975424 19579 33554432000 1073741824 1073778376 140735398822176 140038819694888 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=25167/tid=25172] ppid=25165 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/25167/task/25172/stat : 25172 (java) S 25165 25167 22462 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255110744 9855975424 19579 33554432000 1073741824 1073778376 140735398822176 140038689565096 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=25167/tid=25173] ppid=25165 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/25167/task/25173/stat : 25173 (java) S 25165 25167 22462 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 255110744 9855975424 19579 33554432000 1073741824 1073778376 140735398822176 140038688512552 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=25167/tid=25174] ppid=25165 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/25167/task/25174/stat : 25174 (java) S 25165 25167 22462 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 255110744 9855975424 19579 33554432000 1073741824 1073778376 140735398822176 140038687460008 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=25167/tid=25175] ppid=25165 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/25167/task/25175/stat : 25175 (java) S 25165 25167 22462 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 255110744 9855975424 19579 33554432000 1073741824 1073778376 140735398822176 140038686407464 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=25167/tid=25176] ppid=25165 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/25167/task/25176/stat : 25176 (java) S 25165 25167 22462 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255110744 9855975424 19579 33554432000 1073741824 1073778376 140735398822176 140038685354920 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=25167/tid=25177] ppid=25165 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/25167/task/25177/stat : 25177 (java) S 25165 25167 22462 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 255110744 9855975424 19579 33554432000 1073741824 1073778376 140735398822176 140038213987368 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=25167/tid=25178] ppid=25165 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/25167/task/25178/stat : 25178 (java) S 25165 25167 22462 0 -1 4202560 31 0 0 0 0 0 0 0 20 0 19 0 255110745 9855975424 19579 33554432000 1073741824 1073778376 140735398822176 140038201788520 273909069737 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=25167/tid=25179] ppid=25165 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/25167/task/25179/stat : 25179 (java) S 25165 25167 22462 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 255110746 9855975424 19579 33554432000 1073741824 1073778376 140735398822176 140038200734840 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=25167/tid=25180] ppid=25165 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/25167/task/25180/stat : 25180 (java) S 25165 25167 22462 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 255110746 9855975424 19579 33554432000 1073741824 1073778376 140735398822176 140038199682184 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=25167/tid=25181] ppid=25165 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/25167/task/25181/stat : 25181 (java) S 25165 25167 22462 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255110748 9855975424 19579 33554432000 1073741824 1073778376 140735398822176 140038198630928 273909077792 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=25167/tid=25182] ppid=25165 vsize=9624976 CPUtime=0.51 cores=0,2,4,6 /proc/25167/task/25182/stat : 25182 (java) S 25165 25167 22462 0 -1 4202560 6079 0 0 0 49 2 0 0 20 0 19 0 255110748 9855975424 19579 33554432000 1073741824 1073778376 140735398822176 140038197578296 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=25167/tid=25183] ppid=25165 vsize=9624976 CPUtime=0.4 cores=0,2,4,6 /proc/25167/task/25183/stat : 25183 (java) S 25165 25167 22462 0 -1 4202560 3321 0 0 0 40 0 0 0 20 0 19 0 255110748 9855975424 19579 33554432000 1073741824 1073778376 140735398822176 140038196525752 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=25167/tid=25184] ppid=25165 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/25167/task/25184/stat : 25184 (java) S 25165 25167 22462 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255110748 9855975424 19579 33554432000 1073741824 1073778376 140735398822176 140038195473400 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=25167/tid=25185] ppid=25165 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/25167/task/25185/stat : 25185 (java) S 25165 25167 22462 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255110748 9855975424 19579 33554432000 1073741824 1073778376 140735398822176 140038194421064 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=25167/tid=25186] ppid=25165 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/25167/task/25186/stat : 25186 (java) S 25165 25167 22462 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 255110789 9855975424 19579 33554432000 1073741824 1073778376 140735398822176 140038193333032 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 Current children cumulated CPU time (s) 2.43 Current children cumulated vsize (KiB) 9624976 [startup+3.10064 s] /proc/loadavg: 2.05 2.03 2.02 3/215 25186 /proc/meminfo: memFree=29018300/32873844 swapFree=7124/7124 [pid=25167] ppid=25165 vsize=9624976 CPUtime=4.2 cores=0,2,4,6 /proc/25167/stat : 25167 (java) S 25165 25167 22462 0 -1 4202496 15137 0 1 0 416 4 0 0 20 0 19 0 255110743 9855975424 20675 33554432000 1073741824 1073778376 140735398822176 140735398813312 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/25167/statm: 2406244 20675 2278 9 0 2396937 0 [pid=25167/tid=25168] ppid=25165 vsize=9624976 CPUtime=2.99 cores=0,2,4,6 /proc/25167/task/25168/stat : 25168 (java) R 25165 25167 22462 0 -1 4202560 2469 0 1 0 298 1 0 0 20 0 19 0 255110743 9855975424 20675 33554432000 1073741824 1073778376 140735398822176 140038848295160 140038701182914 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=25167/tid=25170] ppid=25165 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/25167/task/25170/stat : 25170 (java) S 25165 25167 22462 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 255110744 9855975424 20675 33554432000 1073741824 1073778376 140735398822176 140038820747432 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=25167/tid=25171] ppid=25165 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/25167/task/25171/stat : 25171 (java) S 25165 25167 22462 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255110744 9855975424 20675 33554432000 1073741824 1073778376 140735398822176 140038819694888 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=25167/tid=25172] ppid=25165 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/25167/task/25172/stat : 25172 (java) S 25165 25167 22462 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255110744 9855975424 20675 33554432000 1073741824 1073778376 140735398822176 140038689565096 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=25167/tid=25173] ppid=25165 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/25167/task/25173/stat : 25173 (java) S 25165 25167 22462 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 255110744 9855975424 20675 33554432000 1073741824 1073778376 140735398822176 140038688512552 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=25167/tid=25174] ppid=25165 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/25167/task/25174/stat : 25174 (java) S 25165 25167 22462 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 255110744 9855975424 20675 33554432000 1073741824 1073778376 140735398822176 140038687460008 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=25167/tid=25175] ppid=25165 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/25167/task/25175/stat : 25175 (java) S 25165 25167 22462 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 255110744 9855975424 20675 33554432000 1073741824 1073778376 140735398822176 140038686407464 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=25167/tid=25176] ppid=25165 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/25167/task/25176/stat : 25176 (java) S 25165 25167 22462 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 255110744 9855975424 20675 33554432000 1073741824 1073778376 140735398822176 140038685354920 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=25167/tid=25177] ppid=25165 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/25167/task/25177/stat : 25177 (java) S 25165 25167 22462 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 255110744 9855975424 20675 33554432000 1073741824 1073778376 140735398822176 140038213987368 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=25167/tid=25178] ppid=25165 vsize=9624976 CPUtime=0.05 cores=0,2,4,6 /proc/25167/task/25178/stat : 25178 (java) S 25165 25167 22462 0 -1 4202560 33 0 0 0 5 0 0 0 20 0 19 0 255110745 9855975424 20675 33554432000 1073741824 1073778376 140735398822176 140038201788520 273909069737 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=25167/tid=25179] ppid=25165 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/25167/task/25179/stat : 25179 (java) S 25165 25167 22462 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 255110746 9855975424 20675 33554432000 1073741824 1073778376 140735398822176 140038200734840 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=25167/tid=25180] ppid=25165 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/25167/task/25180/stat : 25180 (java) S 25165 25167 22462 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 255110746 9855975424 20675 33554432000 1073741824 1073778376 140735398822176 140038199682184 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=25167/tid=25181] ppid=25165 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/25167/task/25181/stat : 25181 (java) S 25165 25167 22462 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255110748 9855975424 20675 33554432000 1073741824 1073778376 140735398822176 140038198630928 273909077792 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=25167/tid=25182] ppid=25165 vsize=9624976 CPUtime=0.55 cores=0,2,4,6 /proc/25167/task/25182/stat : 25182 (java) S 25165 25167 22462 0 -1 4202560 6079 0 0 0 53 2 0 0 20 0 19 0 255110748 9855975424 20675 33554432000 1073741824 1073778376 140735398822176 140038197578296 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=25167/tid=25183] ppid=25165 vsize=9624976 CPUtime=0.53 cores=0,2,4,6 /proc/25167/task/25183/stat : 25183 (java) S 25165 25167 22462 0 -1 4202560 5322 0 0 0 53 0 0 0 20 0 19 0 255110748 9855975424 20675 33554432000 1073741824 1073778376 140735398822176 140038196525752 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=25167/tid=25184] ppid=25165 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/25167/task/25184/stat : 25184 (java) S 25165 25167 22462 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255110748 9855975424 20675 33554432000 1073741824 1073778376 140735398822176 140038195473400 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=25167/tid=25185] ppid=25165 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/25167/task/25185/stat : 25185 (java) S 25165 25167 22462 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255110748 9855975424 20675 33554432000 1073741824 1073778376 140735398822176 140038194421064 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=25167/tid=25186] ppid=25165 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/25167/task/25186/stat : 25186 (java) S 25165 25167 22462 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 255110789 9855975424 20675 33554432000 1073741824 1073778376 140735398822176 140038193333032 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 Current children cumulated CPU time (s) 4.2 Current children cumulated vsize (KiB) 9624976 [startup+6.30063 s] /proc/loadavg: 2.05 2.03 2.02 3/215 25186 /proc/meminfo: memFree=29022392/32873844 swapFree=7124/7124 [pid=25167] ppid=25165 vsize=9624976 CPUtime=7.45 cores=0,2,4,6 /proc/25167/stat : 25167 (java) S 25165 25167 22462 0 -1 4202496 15147 0 1 0 740 5 0 0 20 0 19 0 255110743 9855975424 19255 33554432000 1073741824 1073778376 140735398822176 140735398813312 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/25167/statm: 2406244 19255 2278 9 0 2396937 0 [pid=25167/tid=25168] ppid=25165 vsize=9624976 CPUtime=6.09 cores=0,2,4,6 /proc/25167/task/25168/stat : 25168 (java) R 25165 25167 22462 0 -1 4202560 2475 0 1 0 608 1 0 0 20 0 19 0 255110743 9855975424 19255 33554432000 1073741824 1073778376 140735398822176 140038848295200 140038701231008 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=25167/tid=25170] ppid=25165 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/25167/task/25170/stat : 25170 (java) S 25165 25167 22462 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 255110744 9855975424 19255 33554432000 1073741824 1073778376 140735398822176 140038820747432 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=25167/tid=25171] ppid=25165 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/25167/task/25171/stat : 25171 (java) S 25165 25167 22462 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255110744 9855975424 19255 33554432000 1073741824 1073778376 140735398822176 140038819694888 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=25167/tid=25172] ppid=25165 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/25167/task/25172/stat : 25172 (java) S 25165 25167 22462 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 255110744 9855975424 19255 33554432000 1073741824 1073778376 140735398822176 140038689565096 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=25167/tid=25173] ppid=25165 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/25167/task/25173/stat : 25173 (java) S 25165 25167 22462 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 255110744 9855975424 19255 33554432000 1073741824 1073778376 140735398822176 140038688512552 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=25167/tid=25174] ppid=25165 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/25167/task/25174/stat : 25174 (java) S 25165 25167 22462 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 255110744 9855975424 19255 33554432000 1073741824 1073778376 140735398822176 140038687460008 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=25167/tid=25175] ppid=25165 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/25167/task/25175/stat : 25175 (java) S 25165 25167 22462 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 255110744 9855975424 19255 33554432000 1073741824 1073778376 140735398822176 140038686407464 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=25167/tid=25176] ppid=25165 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/25167/task/25176/stat : 25176 (java) S 25165 25167 22462 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 255110744 9855975424 19255 33554432000 1073741824 1073778376 140735398822176 140038685354920 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=25167/tid=25177] ppid=25165 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/25167/task/25177/stat : 25177 (java) S 25165 25167 22462 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 255110744 9855975424 19255 33554432000 1073741824 1073778376 140735398822176 140038213987368 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=25167/tid=25178] ppid=25165 vsize=9624976 CPUtime=0.13 cores=0,2,4,6 /proc/25167/task/25178/stat : 25178 (java) S 25165 25167 22462 0 -1 4202560 33 0 0 0 13 0 0 0 20 0 19 0 255110745 9855975424 19255 33554432000 1073741824 1073778376 140735398822176 140038201788520 273909069737 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=25167/tid=25179] ppid=25165 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/25167/task/25179/stat : 25179 (java) S 25165 25167 22462 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 255110746 9855975424 19255 33554432000 1073741824 1073778376 140735398822176 140038200734840 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=25167/tid=25180] ppid=25165 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/25167/task/25180/stat : 25180 (java) S 25165 25167 22462 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 255110746 9855975424 19255 33554432000 1073741824 1073778376 140735398822176 140038199682184 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=25167/tid=25181] ppid=25165 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/25167/task/25181/stat : 25181 (java) S 25165 25167 22462 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255110748 9855975424 19255 33554432000 1073741824 1073778376 140735398822176 140038198630928 273909077792 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=25167/tid=25182] ppid=25165 vsize=9624976 CPUtime=0.56 cores=0,2,4,6 /proc/25167/task/25182/stat : 25182 (java) S 25165 25167 22462 0 -1 4202560 6079 0 0 0 54 2 0 0 20 0 19 0 255110748 9855975424 19255 33554432000 1073741824 1073778376 140735398822176 140038197578296 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=25167/tid=25183] ppid=25165 vsize=9624976 CPUtime=0.54 cores=0,2,4,6 /proc/25167/task/25183/stat : 25183 (java) S 25165 25167 22462 0 -1 4202560 5322 0 0 0 54 0 0 0 20 0 19 0 255110748 9855975424 19255 33554432000 1073741824 1073778376 140735398822176 140038196525752 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 ################ # More data... # ################ [pid=25167/tid=25182] ppid=25165 vsize=9624976 CPUtime=0.61 cores=0,2,4,6 /proc/25167/task/25182/stat : 25182 (java) S 25165 25167 22462 0 -1 4202560 6092 0 0 0 59 2 0 0 20 0 19 0 255110748 9855975424 41354 33554432000 1073741824 1073778376 140735398822176 140038197578296 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=25167/tid=25183] ppid=25165 vsize=9624976 CPUtime=0.57 cores=0,2,4,6 /proc/25167/task/25183/stat : 25183 (java) S 25165 25167 22462 0 -1 4202560 5323 0 0 0 57 0 0 0 20 0 19 0 255110748 9855975424 41354 33554432000 1073741824 1073778376 140735398822176 140038196525752 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=25167/tid=25184] ppid=25165 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/25167/task/25184/stat : 25184 (java) S 25165 25167 22462 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255110748 9855975424 41354 33554432000 1073741824 1073778376 140735398822176 140038195473400 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=25167/tid=25185] ppid=25165 vsize=9624976 CPUtime=0.41 cores=0,2,4,6 /proc/25167/task/25185/stat : 25185 (java) S 25165 25167 22462 0 -1 4202560 97 0 0 0 22 19 0 0 20 0 19 0 255110748 9855975424 41354 33554432000 1073741824 1073778376 140735398822176 140038194421064 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=25167/tid=25186] ppid=25165 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/25167/task/25186/stat : 25186 (java) S 25165 25167 22462 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 255110789 9855975424 41354 33554432000 1073741824 1073778376 140735398822176 140038193333032 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 Current children cumulated CPU time (s) 1668.51 Current children cumulated vsize (KiB) 9624976 [startup+1722.3 s] /proc/loadavg: 1.97 2.00 2.00 3/215 25201 /proc/meminfo: memFree=28863848/32873844 swapFree=7124/7124 [pid=25167] ppid=25165 vsize=9624976 CPUtime=1728.98 cores=0,2,4,6 /proc/25167/stat : 25167 (java) S 25165 25167 22462 0 -1 4202496 16684 0 1 0 172859 39 0 0 20 0 19 0 255110743 9855975424 41372 33554432000 1073741824 1073778376 140735398822176 140735398813312 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/25167/statm: 2406244 41372 2279 9 0 2396937 0 [pid=25167/tid=25168] ppid=25165 vsize=9624976 CPUtime=1703.66 cores=0,2,4,6 /proc/25167/task/25168/stat : 25168 (java) R 25165 25167 22462 0 -1 4202560 2874 0 1 0 170338 28 0 0 20 0 19 0 255110743 9855975424 41372 33554432000 1073741824 1073778376 140735398822176 140038848295264 140038701231003 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 [pid=25167/tid=25170] ppid=25165 vsize=9624976 CPUtime=0.91 cores=0,2,4,6 /proc/25167/task/25170/stat : 25170 (java) S 25165 25167 22462 0 -1 4202560 134 0 0 0 89 2 0 0 20 0 19 0 255110744 9855975424 41372 33554432000 1073741824 1073778376 140735398822176 140038820747432 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=25167/tid=25171] ppid=25165 vsize=9624976 CPUtime=1.01 cores=0,2,4,6 /proc/25167/task/25171/stat : 25171 (java) S 25165 25167 22462 0 -1 4202560 146 0 0 0 99 2 0 0 20 0 19 0 255110744 9855975424 41372 33554432000 1073741824 1073778376 140735398822176 140038819694888 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=25167/tid=25172] ppid=25165 vsize=9624976 CPUtime=1.06 cores=0,2,4,6 /proc/25167/task/25172/stat : 25172 (java) S 25165 25167 22462 0 -1 4202560 137 0 0 0 105 1 0 0 20 0 19 0 255110744 9855975424 41372 33554432000 1073741824 1073778376 140735398822176 140038689565096 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=25167/tid=25173] ppid=25165 vsize=9624976 CPUtime=1.04 cores=0,2,4,6 /proc/25167/task/25173/stat : 25173 (java) S 25165 25167 22462 0 -1 4202560 207 0 0 0 102 2 0 0 20 0 19 0 255110744 9855975424 41372 33554432000 1073741824 1073778376 140735398822176 140038688512552 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=25167/tid=25174] ppid=25165 vsize=9624976 CPUtime=0.99 cores=0,2,4,6 /proc/25167/task/25174/stat : 25174 (java) S 25165 25167 22462 0 -1 4202560 81 0 0 0 96 3 0 0 20 0 19 0 255110744 9855975424 41372 33554432000 1073741824 1073778376 140735398822176 140038687460008 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=25167/tid=25175] ppid=25165 vsize=9624976 CPUtime=0.98 cores=0,2,4,6 /proc/25167/task/25175/stat : 25175 (java) S 25165 25167 22462 0 -1 4202560 116 0 0 0 95 3 0 0 20 0 19 0 255110744 9855975424 41372 33554432000 1073741824 1073778376 140735398822176 140038686407464 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=25167/tid=25176] ppid=25165 vsize=9624976 CPUtime=1 cores=0,2,4,6 /proc/25167/task/25176/stat : 25176 (java) S 25165 25167 22462 0 -1 4202560 60 0 0 0 98 2 0 0 20 0 19 0 255110744 9855975424 41372 33554432000 1073741824 1073778376 140735398822176 140038685354920 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=25167/tid=25177] ppid=25165 vsize=9624976 CPUtime=1.06 cores=0,2,4,6 /proc/25167/task/25177/stat : 25177 (java) S 25165 25167 22462 0 -1 4202560 68 0 0 0 104 2 0 0 20 0 19 0 255110744 9855975424 41372 33554432000 1073741824 1073778376 140735398822176 140038213987368 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=25167/tid=25178] ppid=25165 vsize=9624976 CPUtime=11.5 cores=0,2,4,6 /proc/25167/task/25178/stat : 25178 (java) S 25165 25167 22462 0 -1 4202560 161 0 0 0 1146 4 0 0 20 0 19 0 255110745 9855975424 41372 33554432000 1073741824 1073778376 140735398822176 140038201788520 273909069737 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=25167/tid=25179] ppid=25165 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/25167/task/25179/stat : 25179 (java) S 25165 25167 22462 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 255110746 9855975424 41372 33554432000 1073741824 1073778376 140735398822176 140038200734840 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=25167/tid=25180] ppid=25165 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/25167/task/25180/stat : 25180 (java) S 25165 25167 22462 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 255110746 9855975424 41372 33554432000 1073741824 1073778376 140735398822176 140038199682184 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=25167/tid=25181] ppid=25165 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/25167/task/25181/stat : 25181 (java) S 25165 25167 22462 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255110748 9855975424 41372 33554432000 1073741824 1073778376 140735398822176 140038198630928 273909077792 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=25167/tid=25182] ppid=25165 vsize=9624976 CPUtime=0.62 cores=0,2,4,6 /proc/25167/task/25182/stat : 25182 (java) S 25165 25167 22462 0 -1 4202560 6093 0 0 0 60 2 0 0 20 0 19 0 255110748 9855975424 41372 33554432000 1073741824 1073778376 140735398822176 140038197578296 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=25167/tid=25183] ppid=25165 vsize=9624976 CPUtime=0.57 cores=0,2,4,6 /proc/25167/task/25183/stat : 25183 (java) S 25165 25167 22462 0 -1 4202560 5323 0 0 0 57 0 0 0 20 0 19 0 255110748 9855975424 41372 33554432000 1073741824 1073778376 140735398822176 140038196525752 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=25167/tid=25184] ppid=25165 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/25167/task/25184/stat : 25184 (java) S 25165 25167 22462 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255110748 9855975424 41372 33554432000 1073741824 1073778376 140735398822176 140038195473400 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=25167/tid=25185] ppid=25165 vsize=9624976 CPUtime=0.42 cores=0,2,4,6 /proc/25167/task/25185/stat : 25185 (java) S 25165 25167 22462 0 -1 4202560 99 0 0 0 22 20 0 0 20 0 19 0 255110748 9855975424 41372 33554432000 1073741824 1073778376 140735398822176 140038194421064 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=25167/tid=25186] ppid=25165 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/25167/task/25186/stat : 25186 (java) S 25165 25167 22462 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 255110789 9855975424 41372 33554432000 1073741824 1073778376 140735398822176 140038193333032 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 Current children cumulated CPU time (s) 1728.98 Current children cumulated vsize (KiB) 9624976 [startup+1782.3 s] /proc/loadavg: 1.92 1.98 1.99 3/215 25260 /proc/meminfo: memFree=28170228/32873844 swapFree=7124/7124 [pid=25167] ppid=25165 vsize=9624976 CPUtime=1789.17 cores=0,2,4,6 /proc/25167/stat : 25167 (java) S 25165 25167 22462 0 -1 4202496 16700 0 1 0 178876 41 0 0 20 0 19 0 255110743 9855975424 41372 33554432000 1073741824 1073778376 140735398822176 140735398813312 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/25167/statm: 2406244 41372 2279 9 0 2396937 0 [pid=25167/tid=25168] ppid=25165 vsize=9624976 CPUtime=1763.16 cores=0,2,4,6 /proc/25167/task/25168/stat : 25168 (java) R 25165 25167 22462 0 -1 4202560 2882 0 1 0 176287 29 0 0 20 0 19 0 255110743 9855975424 41372 33554432000 1073741824 1073778376 140735398822176 140038848295264 140038701231008 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 [pid=25167/tid=25170] ppid=25165 vsize=9624976 CPUtime=0.94 cores=0,2,4,6 /proc/25167/task/25170/stat : 25170 (java) S 25165 25167 22462 0 -1 4202560 134 0 0 0 92 2 0 0 20 0 19 0 255110744 9855975424 41372 33554432000 1073741824 1073778376 140735398822176 140038820747432 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=25167/tid=25171] ppid=25165 vsize=9624976 CPUtime=1.03 cores=0,2,4,6 /proc/25167/task/25171/stat : 25171 (java) S 25165 25167 22462 0 -1 4202560 146 0 0 0 101 2 0 0 20 0 19 0 255110744 9855975424 41372 33554432000 1073741824 1073778376 140735398822176 140038819694888 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=25167/tid=25172] ppid=25165 vsize=9624976 CPUtime=1.09 cores=0,2,4,6 /proc/25167/task/25172/stat : 25172 (java) S 25165 25167 22462 0 -1 4202560 137 0 0 0 108 1 0 0 20 0 19 0 255110744 9855975424 41372 33554432000 1073741824 1073778376 140735398822176 140038689565096 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=25167/tid=25173] ppid=25165 vsize=9624976 CPUtime=1.07 cores=0,2,4,6 /proc/25167/task/25173/stat : 25173 (java) S 25165 25167 22462 0 -1 4202560 207 0 0 0 105 2 0 0 20 0 19 0 255110744 9855975424 41372 33554432000 1073741824 1073778376 140735398822176 140038688512552 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=25167/tid=25174] ppid=25165 vsize=9624976 CPUtime=1.02 cores=0,2,4,6 /proc/25167/task/25174/stat : 25174 (java) S 25165 25167 22462 0 -1 4202560 81 0 0 0 99 3 0 0 20 0 19 0 255110744 9855975424 41372 33554432000 1073741824 1073778376 140735398822176 140038687460008 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=25167/tid=25175] ppid=25165 vsize=9624976 CPUtime=1.01 cores=0,2,4,6 /proc/25167/task/25175/stat : 25175 (java) S 25165 25167 22462 0 -1 4202560 116 0 0 0 98 3 0 0 20 0 19 0 255110744 9855975424 41372 33554432000 1073741824 1073778376 140735398822176 140038686407464 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=25167/tid=25176] ppid=25165 vsize=9624976 CPUtime=1.04 cores=0,2,4,6 /proc/25167/task/25176/stat : 25176 (java) S 25165 25167 22462 0 -1 4202560 60 0 0 0 102 2 0 0 20 0 19 0 255110744 9855975424 41372 33554432000 1073741824 1073778376 140735398822176 140038685354920 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=25167/tid=25177] ppid=25165 vsize=9624976 CPUtime=1.1 cores=0,2,4,6 /proc/25167/task/25177/stat : 25177 (java) S 25165 25167 22462 0 -1 4202560 68 0 0 0 108 2 0 0 20 0 19 0 255110744 9855975424 41372 33554432000 1073741824 1073778376 140735398822176 140038213987368 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=25167/tid=25178] ppid=25165 vsize=9624976 CPUtime=11.78 cores=0,2,4,6 /proc/25167/task/25178/stat : 25178 (java) S 25165 25167 22462 0 -1 4202560 165 0 0 0 1174 4 0 0 20 0 19 0 255110745 9855975424 41372 33554432000 1073741824 1073778376 140735398822176 140038201788520 273909069737 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=25167/tid=25179] ppid=25165 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/25167/task/25179/stat : 25179 (java) S 25165 25167 22462 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 255110746 9855975424 41372 33554432000 1073741824 1073778376 140735398822176 140038200734840 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=25167/tid=25180] ppid=25165 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/25167/task/25180/stat : 25180 (java) S 25165 25167 22462 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 255110746 9855975424 41372 33554432000 1073741824 1073778376 140735398822176 140038199682184 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=25167/tid=25181] ppid=25165 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/25167/task/25181/stat : 25181 (java) S 25165 25167 22462 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255110748 9855975424 41372 33554432000 1073741824 1073778376 140735398822176 140038198630928 273909077792 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=25167/tid=25182] ppid=25165 vsize=9624976 CPUtime=0.62 cores=0,2,4,6 /proc/25167/task/25182/stat : 25182 (java) S 25165 25167 22462 0 -1 4202560 6093 0 0 0 60 2 0 0 20 0 19 0 255110748 9855975424 41372 33554432000 1073741824 1073778376 140735398822176 140038197578296 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=25167/tid=25183] ppid=25165 vsize=9624976 CPUtime=0.57 cores=0,2,4,6 /proc/25167/task/25183/stat : 25183 (java) S 25165 25167 22462 0 -1 4202560 5323 0 0 0 57 0 0 0 20 0 19 0 255110748 9855975424 41372 33554432000 1073741824 1073778376 140735398822176 140038196525752 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=25167/tid=25184] ppid=25165 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/25167/task/25184/stat : 25184 (java) S 25165 25167 22462 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255110748 9855975424 41372 33554432000 1073741824 1073778376 140735398822176 140038195473400 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=25167/tid=25185] ppid=25165 vsize=9624976 CPUtime=0.45 cores=0,2,4,6 /proc/25167/task/25185/stat : 25185 (java) S 25165 25167 22462 0 -1 4202560 103 0 0 0 24 21 0 0 20 0 19 0 255110748 9855975424 41372 33554432000 1073741824 1073778376 140735398822176 140038194421064 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=25167/tid=25186] ppid=25165 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/25167/task/25186/stat : 25186 (java) S 25165 25167 22462 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 255110789 9855975424 41372 33554432000 1073741824 1073778376 140735398822176 140038193333032 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 Current children cumulated CPU time (s) 1789.17 Current children cumulated vsize (KiB) 9624976 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1793.2 s] /proc/loadavg: 1.94 1.98 1.99 3/215 25260 /proc/meminfo: memFree=28151008/32873844 swapFree=7124/7124 [pid=25167] ppid=25165 vsize=9624976 CPUtime=1800.1 cores=0,2,4,6 /proc/25167/stat : 25167 (java) S 25165 25167 22462 0 -1 4202496 16701 0 1 0 179969 41 0 0 20 0 19 0 255110743 9855975424 41372 33554432000 1073741824 1073778376 140735398822176 140735398813312 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/25167/statm: 2406244 41372 2279 9 0 2396937 0 [pid=25167/tid=25168] ppid=25165 vsize=9624976 CPUtime=1773.99 cores=0,2,4,6 /proc/25167/task/25168/stat : 25168 (java) R 25165 25167 22462 0 -1 4202560 2883 0 1 0 177370 29 0 0 20 0 19 0 255110743 9855975424 41372 33554432000 1073741824 1073778376 140735398822176 140038848295264 140038701231003 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 [pid=25167/tid=25170] ppid=25165 vsize=9624976 CPUtime=0.95 cores=0,2,4,6 /proc/25167/task/25170/stat : 25170 (java) S 25165 25167 22462 0 -1 4202560 134 0 0 0 93 2 0 0 20 0 19 0 255110744 9855975424 41372 33554432000 1073741824 1073778376 140735398822176 140038820747432 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=25167/tid=25171] ppid=25165 vsize=9624976 CPUtime=1.04 cores=0,2,4,6 /proc/25167/task/25171/stat : 25171 (java) S 25165 25167 22462 0 -1 4202560 146 0 0 0 102 2 0 0 20 0 19 0 255110744 9855975424 41372 33554432000 1073741824 1073778376 140735398822176 140038819694888 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=25167/tid=25172] ppid=25165 vsize=9624976 CPUtime=1.1 cores=0,2,4,6 /proc/25167/task/25172/stat : 25172 (java) S 25165 25167 22462 0 -1 4202560 137 0 0 0 109 1 0 0 20 0 19 0 255110744 9855975424 41372 33554432000 1073741824 1073778376 140735398822176 140038689565096 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=25167/tid=25173] ppid=25165 vsize=9624976 CPUtime=1.08 cores=0,2,4,6 /proc/25167/task/25173/stat : 25173 (java) S 25165 25167 22462 0 -1 4202560 207 0 0 0 106 2 0 0 20 0 19 0 255110744 9855975424 41372 33554432000 1073741824 1073778376 140735398822176 140038688512552 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=25167/tid=25174] ppid=25165 vsize=9624976 CPUtime=1.02 cores=0,2,4,6 /proc/25167/task/25174/stat : 25174 (java) S 25165 25167 22462 0 -1 4202560 81 0 0 0 99 3 0 0 20 0 19 0 255110744 9855975424 41372 33554432000 1073741824 1073778376 140735398822176 140038687460008 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=25167/tid=25175] ppid=25165 vsize=9624976 CPUtime=1.01 cores=0,2,4,6 /proc/25167/task/25175/stat : 25175 (java) S 25165 25167 22462 0 -1 4202560 116 0 0 0 98 3 0 0 20 0 19 0 255110744 9855975424 41372 33554432000 1073741824 1073778376 140735398822176 140038686407464 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=25167/tid=25176] ppid=25165 vsize=9624976 CPUtime=1.04 cores=0,2,4,6 /proc/25167/task/25176/stat : 25176 (java) S 25165 25167 22462 0 -1 4202560 60 0 0 0 102 2 0 0 20 0 19 0 255110744 9855975424 41372 33554432000 1073741824 1073778376 140735398822176 140038685354920 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=25167/tid=25177] ppid=25165 vsize=9624976 CPUtime=1.1 cores=0,2,4,6 /proc/25167/task/25177/stat : 25177 (java) S 25165 25167 22462 0 -1 4202560 68 0 0 0 108 2 0 0 20 0 19 0 255110744 9855975424 41372 33554432000 1073741824 1073778376 140735398822176 140038213987368 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=25167/tid=25178] ppid=25165 vsize=9624976 CPUtime=11.82 cores=0,2,4,6 /proc/25167/task/25178/stat : 25178 (java) S 25165 25167 22462 0 -1 4202560 165 0 0 0 1178 4 0 0 20 0 19 0 255110745 9855975424 41372 33554432000 1073741824 1073778376 140735398822176 140038201788520 273909069737 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=25167/tid=25179] ppid=25165 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/25167/task/25179/stat : 25179 (java) S 25165 25167 22462 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 255110746 9855975424 41372 33554432000 1073741824 1073778376 140735398822176 140038200734840 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=25167/tid=25180] ppid=25165 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/25167/task/25180/stat : 25180 (java) S 25165 25167 22462 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 255110746 9855975424 41372 33554432000 1073741824 1073778376 140735398822176 140038199682184 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=25167/tid=25181] ppid=25165 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/25167/task/25181/stat : 25181 (java) S 25165 25167 22462 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255110748 9855975424 41372 33554432000 1073741824 1073778376 140735398822176 140038198630928 273909077792 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=25167/tid=25182] ppid=25165 vsize=9624976 CPUtime=0.62 cores=0,2,4,6 /proc/25167/task/25182/stat : 25182 (java) S 25165 25167 22462 0 -1 4202560 6093 0 0 0 60 2 0 0 20 0 19 0 255110748 9855975424 41372 33554432000 1073741824 1073778376 140735398822176 140038197578296 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=25167/tid=25183] ppid=25165 vsize=9624976 CPUtime=0.57 cores=0,2,4,6 /proc/25167/task/25183/stat : 25183 (java) S 25165 25167 22462 0 -1 4202560 5323 0 0 0 57 0 0 0 20 0 19 0 255110748 9855975424 41372 33554432000 1073741824 1073778376 140735398822176 140038196525752 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=25167/tid=25184] ppid=25165 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/25167/task/25184/stat : 25184 (java) S 25165 25167 22462 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255110748 9855975424 41372 33554432000 1073741824 1073778376 140735398822176 140038195473400 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=25167/tid=25185] ppid=25165 vsize=9624976 CPUtime=0.45 cores=0,2,4,6 /proc/25167/task/25185/stat : 25185 (java) S 25165 25167 22462 0 -1 4202560 103 0 0 0 24 21 0 0 20 0 19 0 255110748 9855975424 41372 33554432000 1073741824 1073778376 140735398822176 140038194421064 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=25167/tid=25186] ppid=25165 vsize=9624976 CPUtime=0 cores=0,2,4,6 /proc/25167/task/25186/stat : 25186 (java) S 25165 25167 22462 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 255110789 9855975424 41372 33554432000 1073741824 1073778376 140735398822176 140038193333032 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 Current children cumulated CPU time (s) 1800.1 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 Child status: 143 # WARNING: # CPU time reported by wait4() is probably wrong ! # wait4(...,&childrusage) returns 25167 and gives # childrusage.ru_utime.tv_sec=1795 # childrusage.ru_utime.tv_usec=258079 # childrusage.ru_stime.tv_sec=0 # childrusage.ru_stime.tv_usec=872867 # CPU time returned by wait4() is 1796.13 # while last known CPU time is 1800.1 # # Solver probably didn't/couldn't wait for its children # Using CPU time of the last sample as value... Real time (s): 1793.24 CPU time (s): 1800.1 CPU user time (s): 1799.69 CPU system time (s): 0.41 CPU usage (%): 100.382 Max. virtual memory (cumulated for all children) (KiB): 9624976 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1795.26 system time used= 0.872867 maximum resident set size= 165620 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 16737 page faults= 1 swaps= 0 block input operations= 0 block output operations= 1736 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 49145 involuntary context switches= 40108 runsolver used 7.71183 second user time and 13.002 second system time The end
Begin job on node134 at 2012-05-24 22:04:14 IDJOB=3689147 IDBENCH=72484 IDSOLVER=2269 FILE ID=node134/3689147-1337889853 RUNJOBID= node134-1337871881-22478 PBS_JOBID= 14620070 Free space on /tmp= 71720 MiB SOLVER NAME= Sat 4j PB Resolution 2.3.2 Snapshot BENCH NAME= PB10/normalized-PB10/OPT-SMALLINT-NLC/oren/keeloq_tasca_instances/normalized-90_rounds_5_errors.opb COMMAND LINE= java -jar HOME/sat4j-pb.jar BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3689147-1337889853/watcher-3689147-1337889853 -o /tmp/evaluation-result-3689147-1337889853/solver-3689147-1337889853 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar HOME/instance-3689147-1337889853.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 06d341d0af76f66d4946a3c264573060 RANDOM SEED=1153577194 node134.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.278 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.55 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.278 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.278 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.278 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.59 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.278 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.278 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.278 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.57 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.278 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32873844 kB MemFree: 29092916 kB Buffers: 224924 kB Cached: 2453516 kB SwapCached: 0 kB Active: 804604 kB Inactive: 2201052 kB Active(anon): 323228 kB Inactive(anon): 5996 kB Active(file): 481376 kB Inactive(file): 2195056 kB Unevictable: 7124 kB Mlocked: 7124 kB SwapTotal: 67108856 kB SwapFree: 67108856 kB Dirty: 4696 kB Writeback: 0 kB AnonPages: 344016 kB Mapped: 22556 kB Shmem: 212 kB Slab: 628296 kB SReclaimable: 70304 kB SUnreclaim: 557992 kB KernelStack: 1616 kB PageTables: 4496 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545776 kB Committed_AS: 828176 kB VmallocTotal: 34359738367 kB VmallocUsed: 346376 kB VmallocChunk: 34341987860 kB HardwareCorrupted: 0 kB AnonHugePages: 303104 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= 71720 MiB End job on node134 at 2012-05-24 22:34:09