Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| SAT 4j PB RES // CP 2.3.2 Snapshot | SAT (TO) | 294 | 1800.41 | 1024.17 |
| Name | normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/logic-synthesis/normalized-max1024.pi.opb |
| MD5SUM | 93fc03471d2b2f18ece1d77179dbcb30 |
| Bench Category | OPT-SMALLINT (optimisation, small integers) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 259 |
| Best CPU time to get the best result obtained on this benchmark | 1.65675 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 259 |
| Optimality of the best value was proved | YES |
| Number of variables | 1278 |
| Total number of constraints | 1087 |
| Number of constraints which are clauses | 1087 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 18 |
| Number of terms in the objective function | 1278 |
| 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 | 1278 |
| Number of bits of the sum of numbers in the objective function | 11 |
| Biggest number in a constraint | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 1278 |
| Number of bits of the biggest sum of numbers | 11 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.07/0.09 c SAT4J: a SATisfiability library for Java (c) 2004-2012 Artois University and CNRS 0.07/0.09 c This is free software under the dual EPL/GNU LGPL licenses. 0.07/0.09 c See www.sat4j.org for details. 0.08/0.10 c version 2.3.2.v20120418 0.08/0.10 c java.runtime.name Java(TM) SE Runtime Environment 0.08/0.10 c java.vm.name Java HotSpot(TM) 64-Bit Server VM 0.08/0.10 c java.vm.version 19.1-b02 0.08/0.10 c java.vm.vendor Sun Microsystems Inc. 0.08/0.10 c sun.arch.data.model 64 0.08/0.10 c java.version 1.6.0_24 0.08/0.10 c os.name Linux 0.08/0.10 c os.version 2.6.32-71.29.1.el6.x86_64 0.08/0.10 c os.arch amd64 0.08/0.10 c Free memory 501472288 0.08/0.10 c Max memory 7480803328 0.08/0.10 c Total memory 504102912 0.08/0.10 c Number of processors 8 0.08/0.13 c Pseudo Boolean Optimization by upper bound 0.08/0.13 c ManyCore solver with 2 solvers running in parallel 0.08/0.13 c --- Begin Solver configuration --- 0.08/0.13 c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@63415de6 0.08/0.13 c Learn all clauses as in MiniSAT 0.08/0.13 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.08/0.13 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.08/0.13 c Expensive reason simplification 0.08/0.13 c Armin Biere (Picosat) restarts strategy 0.08/0.13 c Glucose learned constraints deletion strategy 0.08/0.13 c timeout=2147483s 0.08/0.13 c DB Simplification allowed=false 0.08/0.13 c c --- End Solver configuration --- 0.08/0.13 c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP) 0.08/0.13 c --- Begin Solver configuration --- 0.08/0.13 c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@23174b07 0.08/0.13 c Learn all clauses as in MiniSAT 0.08/0.13 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.08/0.13 c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function 0.08/0.13 c No reason simplification 0.08/0.13 c Armin Biere (Picosat) restarts strategy 0.08/0.13 c Glucose learned constraints deletion strategy 0.08/0.13 c timeout=2147483s 0.08/0.13 c DB Simplification allowed=false 0.08/0.13 c c --- End Solver configuration --- 0.08/0.13 c solving HOME/instance-3687728-1337873773.opb 0.08/0.13 c reading problem ... 0.24/0.28 c ... done. Wall clock time 0.157s. 0.24/0.28 c declared #vars 1278 0.24/0.28 c #constraints 1085 0.24/0.28 c constraints type 0.24/0.28 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 970 0.24/0.28 c ignored satisfied constraints => 2 0.24/0.28 c org.sat4j.minisat.constraints.cnf.UnitClause => 14 0.24/0.28 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 101 0.24/0.28 c 1087 constraints processed. 0.24/0.28 c constraints type 0.24/0.28 c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 101 0.24/0.28 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 970 0.24/0.28 c ignored satisfied constraints => 2 0.24/0.28 c org.sat4j.pb.constraints.pb.UnitClausePB => 14 0.24/0.28 c 1087 constraints processed. 0.24/0.28 c objective function length is 1278 literals 0.49/0.31 c And the winner is solver0 0.57/0.79 c SATISFIABLE 0.57/0.79 c OPTIMIZING... 0.57/0.79 c Got one! Elapsed wall clock time (in seconds):0.661 0.57/0.79 o 301 1.62/1.13 c And the winner is solver1 1.72/1.29 c Got one! Elapsed wall clock time (in seconds):1.17 1.72/1.29 o 300 3.20/1.91 c cleaning 2838 clauses out of 5676 with flag 4000/5676 4.59/2.34 c And the winner is solver1 4.68/2.80 c Got one! Elapsed wall clock time (in seconds):2.676 4.68/2.80 o 299 5.38/3.19 c cleaning 4243 clauses out of 8487 with flag 3000/11325 7.22/4.04 c cleaning 5123 clauses out of 10246 with flag 9002/17327 9.19/5.04 c cleaning 6061 clauses out of 12124 with flag 16003/24328 11.79/6.30 c cleaning 7028 clauses out of 14062 with flag 24002/32327 14.33/7.69 c cleaning 8014 clauses out of 16033 with flag 33001/41326 17.24/9.17 c cleaning 9010 clauses out of 18019 with flag 43001/51326 20.54/10.88 c cleaning 9997 clauses out of 20008 with flag 54000/62325 24.37/12.85 c cleaning 11005 clauses out of 22013 with flag 66002/74327 28.44/14.91 c cleaning 12003 clauses out of 24008 with flag 79002/87327 32.73/17.11 c cleaning 12993 clauses out of 26003 with flag 93000/101325 37.19/19.42 c cleaning 14000 clauses out of 28011 with flag 108001/116326 42.56/22.22 c cleaning 15005 clauses out of 30010 with flag 124000/132325 47.85/24.98 c cleaning 16001 clauses out of 32005 with flag 141000/149325 54.13/28.17 c cleaning 16995 clauses out of 34005 with flag 159001/167326 60.15/31.27 c cleaning 18004 clauses out of 36009 with flag 178000/186325 66.60/34.70 c cleaning 18999 clauses out of 38006 with flag 198001/206326 73.76/38.31 c cleaning 20001 clauses out of 40007 with flag 219001/227326 81.11/42.18 c cleaning 20991 clauses out of 42005 with flag 241000/249325 89.24/46.33 c cleaning 22006 clauses out of 44014 with flag 264000/272325 97.19/50.56 c cleaning 23001 clauses out of 46011 with flag 288003/296328 105.28/54.78 c cleaning 24002 clauses out of 48007 with flag 313000/321325 113.94/59.22 c cleaning 24999 clauses out of 50007 with flag 339002/347327 122.80/63.86 c cleaning 25998 clauses out of 52006 with flag 366000/374325 133.21/69.31 c cleaning 27003 clauses out of 54008 with flag 394000/402325 142.83/74.35 c cleaning 27997 clauses out of 56006 with flag 423001/431326 153.25/79.72 c cleaning 29000 clauses out of 58008 with flag 453000/461325 163.86/85.23 c cleaning 29998 clauses out of 60008 with flag 484000/492325 175.51/91.49 c cleaning 31003 clauses out of 62010 with flag 516000/524325 180.02/93.93 c And the winner is solver1 180.14/94.11 c Got one! Elapsed wall clock time (in seconds):93.98 180.14/94.11 o 298 181.71/94.90 c cleaning 23781 clauses out of 47565 with flag 5000/540883 184.09/96.40 c cleaning 14884 clauses out of 29784 with flag 11000/546883 186.62/98.06 c cleaning 10949 clauses out of 21902 with flag 18002/553885 189.73/100.06 c And the winner is solver1 189.86/100.47 c Got one! Elapsed wall clock time (in seconds):100.347 189.86/100.47 o 297 191.12/101.18 c cleaning 11844 clauses out of 23688 with flag 5000/566620 193.58/102.62 c cleaning 8916 clauses out of 17844 with flag 11000/572620 196.03/104.16 c cleaning 7961 clauses out of 15928 with flag 18000/579620 199.08/105.91 c cleaning 7982 clauses out of 15967 with flag 26000/587620 202.56/108.18 c cleaning 8487 clauses out of 16985 with flag 35000/596620 206.20/110.26 c cleaning 9243 clauses out of 18499 with flag 45001/606621 210.24/112.51 c cleaning 10123 clauses out of 20255 with flag 56000/617620 214.39/114.99 c cleaning 11063 clauses out of 22133 with flag 68001/629621 219.77/118.11 c cleaning 12032 clauses out of 24071 with flag 81002/642622 224.92/121.08 c cleaning 13011 clauses out of 26037 with flag 95000/656620 230.02/123.98 c cleaning 14009 clauses out of 28027 with flag 110001/671621 235.94/127.27 c cleaning 15009 clauses out of 30019 with flag 126002/687622 242.82/131.25 c cleaning 16000 clauses out of 32008 with flag 143000/704620 249.49/134.91 c cleaning 17004 clauses out of 34008 with flag 161000/722620 256.54/138.82 c cleaning 17993 clauses out of 36005 with flag 180001/741621 264.72/143.38 c cleaning 19001 clauses out of 38013 with flag 200002/761622 271.05/147.17 c And the winner is solver1 271.24/147.65 c Got one! Elapsed wall clock time (in seconds):147.525 271.24/147.65 o 296 272.53/148.40 c cleaning 19830 clauses out of 39671 with flag 5000/782281 275.10/150.02 c cleaning 12917 clauses out of 25843 with flag 11002/788283 277.74/151.74 c cleaning 9955 clauses out of 19924 with flag 18000/795281 280.54/153.59 c cleaning 8980 clauses out of 17970 with flag 26001/803282 284.30/156.02 c cleaning 8985 clauses out of 17990 with flag 35001/812282 287.70/158.17 c cleaning 9500 clauses out of 19004 with flag 45000/822281 291.89/160.65 c cleaning 10249 clauses out of 20505 with flag 56001/833282 296.05/163.19 c cleaning 11127 clauses out of 22255 with flag 68000/845281 301.16/166.35 c cleaning 12059 clauses out of 24128 with flag 81000/858281 306.12/169.24 c cleaning 13032 clauses out of 26069 with flag 95000/872281 311.26/172.21 c cleaning 14014 clauses out of 28038 with flag 110001/887282 316.59/175.37 c cleaning 15009 clauses out of 30023 with flag 126000/903281 323.24/179.32 c cleaning 16004 clauses out of 32014 with flag 143000/920281 330.33/183.35 c cleaning 17001 clauses out of 34010 with flag 161000/938281 334.42/185.90 c And the winner is solver1 334.63/186.29 c Got one! Elapsed wall clock time (in seconds):186.165 334.63/186.29 o 295 336.04/187.03 c cleaning 15624 clauses out of 31249 with flag 5000/952521 338.52/188.75 c cleaning 10807 clauses out of 21625 with flag 11000/958521 341.95/191.10 c cleaning 8901 clauses out of 17819 with flag 18001/965522 345.05/193.15 c cleaning 8451 clauses out of 16917 with flag 26000/973521 348.57/195.32 c cleaning 8727 clauses out of 17469 with flag 35003/982524 352.26/197.64 c cleaning 9365 clauses out of 18740 with flag 45001/992522 356.61/200.58 c cleaning 10183 clauses out of 20374 with flag 56000/1003521 361.11/203.25 c cleaning 11086 clauses out of 22192 with flag 68001/1015522 366.16/206.28 c cleaning 12053 clauses out of 24105 with flag 81000/1028521 371.79/209.53 c cleaning 13021 clauses out of 26052 with flag 95000/1042521 377.65/213.24 c cleaning 14011 clauses out of 28032 with flag 110001/1057522 383.49/216.61 c cleaning 15008 clauses out of 30022 with flag 126002/1073523 389.31/220.07 c cleaning 16005 clauses out of 32012 with flag 143000/1090521 395.90/223.81 c cleaning 17002 clauses out of 34007 with flag 161000/1108521 403.11/228.20 c cleaning 18001 clauses out of 36005 with flag 180000/1127521 410.28/232.30 c cleaning 18998 clauses out of 38004 with flag 200000/1147521 418.32/237.45 c cleaning 20003 clauses out of 40008 with flag 221002/1168523 427.86/242.72 c cleaning 20998 clauses out of 42003 with flag 243000/1190521 433.17/245.96 c cleaning 0 clauses out of 6853 with flag 0/6853 437.63/248.57 c cleaning 21997 clauses out of 44005 with flag 266000/1213521 446.81/253.70 c cleaning 23002 clauses out of 46009 with flag 290001/1237522 457.82/260.02 c cleaning 24001 clauses out of 48006 with flag 315000/1262521 468.43/265.99 c cleaning 24995 clauses out of 50005 with flag 341000/1288521 479.62/272.18 c cleaning 26004 clauses out of 52013 with flag 368003/1315524 491.57/278.77 c cleaning 26998 clauses out of 54006 with flag 396000/1343521 502.66/285.24 c cleaning 27996 clauses out of 56008 with flag 425000/1372521 513.37/291.24 c cleaning 29002 clauses out of 58013 with flag 455001/1402522 524.30/297.34 c cleaning 30001 clauses out of 60011 with flag 486001/1433522 539.13/306.49 c cleaning 30997 clauses out of 62010 with flag 518001/1465522 553.31/313.90 c cleaning 32007 clauses out of 64013 with flag 551001/1498522 567.78/321.77 c cleaning 33002 clauses out of 66007 with flag 585002/1532523 581.26/329.03 c cleaning 33997 clauses out of 68003 with flag 620000/1567521 595.96/337.40 c cleaning 34995 clauses out of 70007 with flag 656001/1603522 609.79/344.81 c cleaning 35998 clauses out of 72014 with flag 693003/1640524 624.54/352.82 c cleaning 37005 clauses out of 74014 with flag 731001/1678522 640.25/361.38 c cleaning 38000 clauses out of 76009 with flag 770001/1717522 657.54/371.03 c cleaning 38997 clauses out of 78011 with flag 810003/1757524 672.84/379.33 c cleaning 40002 clauses out of 80011 with flag 851000/1798521 688.96/388.05 c cleaning 40995 clauses out of 82010 with flag 893001/1840522 705.73/397.19 c cleaning 41998 clauses out of 84014 with flag 936000/1883521 724.85/407.83 c cleaning 43005 clauses out of 86017 with flag 980001/1927522 742.51/417.31 c cleaning 44004 clauses out of 88012 with flag 1025001/1972522 762.32/427.95 c cleaning 44999 clauses out of 90007 with flag 1071000/2018521 783.94/439.41 c cleaning 45999 clauses out of 92008 with flag 1118000/2065521 806.26/451.88 c cleaning 47002 clauses out of 94011 with flag 1166002/2113523 828.35/463.61 c cleaning 48002 clauses out of 96008 with flag 1215001/2162522 855.59/478.01 c cleaning 49002 clauses out of 98005 with flag 1265000/2212521 877.86/489.94 c cleaning 49995 clauses out of 100003 with flag 1316000/2263521 902.02/503.30 c cleaning 51001 clauses out of 102009 with flag 1368001/2315522 923.41/514.84 c cleaning 52000 clauses out of 104007 with flag 1421000/2368521 947.98/527.91 c cleaning 53004 clauses out of 106007 with flag 1475000/2422521 970.68/540.16 c cleaning 53995 clauses out of 108003 with flag 1530000/2477521 995.64/554.08 c cleaning 54998 clauses out of 110008 with flag 1586000/2533521 1017.66/565.90 c cleaning 55997 clauses out of 112011 with flag 1643001/2590522 1041.54/578.76 c cleaning 56995 clauses out of 114013 with flag 1701000/2648521 1067.54/592.64 c cleaning 58003 clauses out of 116019 with flag 1760001/2707522 1095.67/608.29 c cleaning 59004 clauses out of 118015 with flag 1820000/2767521 1123.91/623.36 c cleaning 60002 clauses out of 120012 with flag 1881001/2828522 1132.64/628.78 c cleaning 0 clauses out of 12856 with flag 0/12856 1156.29/641.56 c cleaning 61000 clauses out of 122011 with flag 1943002/2890523 1191.74/660.88 c cleaning 61997 clauses out of 124010 with flag 2006001/2953522 1219.52/676.95 c cleaning 63005 clauses out of 126014 with flag 2070002/3017523 1247.69/691.71 c cleaning 63999 clauses out of 128008 with flag 2135001/3082522 1278.50/708.84 c cleaning 64994 clauses out of 130010 with flag 2201002/3148523 1308.39/724.76 c cleaning 66000 clauses out of 132014 with flag 2268000/3215521 1340.84/741.93 c cleaning 67002 clauses out of 134015 with flag 2336001/3283522 1372.76/758.80 c cleaning 68005 clauses out of 136014 with flag 2405002/3352523 1378.46/763.55 c And the winner is solver1 1378.76/763.71 c Got one! Elapsed wall clock time (in seconds):763.587 1378.76/763.71 o 294 1380.52/764.62 c cleaning 39158 clauses out of 78329 with flag 5000/3362843 1384.86/767.90 c cleaning 22579 clauses out of 45173 with flag 11002/3368845 1389.40/771.30 c cleaning 14789 clauses out of 29592 with flag 18000/3375843 1394.14/774.82 c cleaning 11397 clauses out of 22803 with flag 26000/3383843 1400.45/779.89 c cleaning 10199 clauses out of 20406 with flag 35000/3392843 1405.76/783.64 c cleaning 10100 clauses out of 20208 with flag 45001/3402844 1411.31/787.51 c cleaning 10554 clauses out of 21107 with flag 56000/3413843 1417.26/791.67 c cleaning 11273 clauses out of 22555 with flag 68002/3425845 1424.98/797.36 c cleaning 12131 clauses out of 24280 with flag 81000/3438843 1431.73/801.85 c cleaning 13074 clauses out of 26151 with flag 95002/3452845 1439.03/806.69 c cleaning 14038 clauses out of 28075 with flag 110000/3467843 1446.77/811.66 c cleaning 15015 clauses out of 30037 with flag 126000/3483843 1455.86/818.07 c cleaning 16005 clauses out of 32022 with flag 143000/3500843 1464.00/823.23 c cleaning 17009 clauses out of 34017 with flag 161000/3518843 1473.53/829.15 c cleaning 18003 clauses out of 36008 with flag 180000/3537843 1483.61/835.31 c cleaning 19003 clauses out of 38007 with flag 200002/3557845 1494.46/842.62 c cleaning 19994 clauses out of 40003 with flag 221001/3578844 1503.56/848.35 c cleaning 20999 clauses out of 42009 with flag 243001/3600844 1513.85/854.65 c cleaning 22000 clauses out of 44010 with flag 266001/3623844 1524.12/860.99 c cleaning 23003 clauses out of 46009 with flag 290000/3647843 1536.33/868.94 c cleaning 23990 clauses out of 48006 with flag 315000/3672843 1547.59/875.76 c cleaning 25006 clauses out of 50017 with flag 341001/3698844 1560.02/883.11 c cleaning 26000 clauses out of 52010 with flag 368000/3725843 1574.24/891.45 c cleaning 27005 clauses out of 54010 with flag 396000/3753843 1588.94/900.78 c cleaning 27999 clauses out of 56005 with flag 425000/3782843 1601.37/908.15 c cleaning 28995 clauses out of 58007 with flag 455001/3812844 1614.18/915.77 c cleaning 30004 clauses out of 60012 with flag 486001/3843844 1628.76/924.27 c cleaning 30999 clauses out of 62008 with flag 518001/3875844 1644.58/934.18 c cleaning 31988 clauses out of 64008 with flag 551000/3908843 1659.88/942.96 c cleaning 33008 clauses out of 66023 with flag 585003/3942846 1674.65/951.57 c cleaning 34000 clauses out of 68012 with flag 620000/3977843 1690.51/960.63 c cleaning 34996 clauses out of 70012 with flag 656000/4013843 1708.78/971.76 c cleaning 36003 clauses out of 72017 with flag 693001/4050844 1725.45/981.24 c cleaning 37010 clauses out of 74019 with flag 731006/4088849 1742.43/990.90 c cleaning 38001 clauses out of 76004 with flag 770001/4127844 1760.33/1001.06 c cleaning 38999 clauses out of 78002 with flag 810000/4167843 1781.43/1013.60 c cleaning 39999 clauses out of 80003 with flag 851000/4208843 1800.02/1024.12 c starts : 51 1800.02/1024.12 c conflicts : 16468 1800.02/1024.12 c decisions : 119469 1800.02/1024.12 c propagations : 503088 1800.02/1024.12 c inspects : 312642463 1800.02/1024.12 c shortcuts : 0 1800.02/1024.12 c learnt literals : 0 1800.02/1024.12 c learnt binary clauses : 0 1800.02/1024.12 c learnt ternary clauses : 0 1800.02/1024.12 c learnt constraints : 16468 1800.02/1024.12 c ignored constraints : 0 1800.02/1024.12 c root simplifications : 0 1800.02/1024.12 c removed literals (reason simplification) : 0 1800.02/1024.12 c reason swapping (by a shorter reason) : 0 1800.02/1024.12 c Calls to reduceDB : 2 1800.02/1024.12 c number of reductions to clauses (during analyze) : 0 1800.02/1024.12 c number of learned constraints concerned by reduction : 0 1800.02/1024.12 c number of learning phase by resolution : 0 1800.02/1024.12 c number of learning phase by cutting planes : 0 1800.02/1024.12 c speed (assignments/second) : 491.62334362662705 1800.02/1024.12 c non guided choices 118 1800.02/1024.13 c learnt constraints type 1800.02/1024.13 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 5882 1800.02/1024.13 c org.sat4j.pb.constraints.pb.MaxWatchPb => 10586 1800.02/1024.13 c constraints type 1800.02/1024.13 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 970 1800.02/1024.13 c org.sat4j.minisat.constraints.card.MinWatchCard => 1 1800.02/1024.13 c ignored satisfied constraints => 2 1800.02/1024.13 c org.sat4j.minisat.constraints.cnf.UnitClause => 14 1800.02/1024.13 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 101 1800.02/1024.13 c 1088 constraints processed. 1800.02/1024.13 c constraints type 1800.02/1024.13 c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 101 1800.02/1024.13 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 970 1800.02/1024.13 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 1 1800.02/1024.13 c ignored satisfied constraints => 2 1800.02/1024.13 c org.sat4j.pb.constraints.pb.UnitClausePB => 14 1800.02/1024.13 c 1088 constraints processed. 1800.02/1024.13 s SATISFIABLE 1800.02/1024.14 v -x1 -x2 x3 -x4 x5 -x6 -x7 -x8 -x9 x10 -x11 x12 -x13 -x14 -x15 -x16 -x17 -x18 x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 x43 x44 x45 -x46 -x47 x48 -x49 -x50 x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 x67 -x68 x69 x70 x71 x72 -x73 x74 -x75 -x76 -x77 -x78 -x79 -x80 x81 -x82 -x83 x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 x93 -x94 -x95 -x96 x97 -x98 -x99 -x100 -x101 -x102 -x103 x104 -x105 x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 x114 x115 x116 -x117 -x118 x119 -x120 -x121 -x122 x123 -x124 -x125 -x126 x127 -x128 -x129 -x130 -x131 x132 -x133 -x134 -x135 -x136 -x137 x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 x146 -x147 -x148 -x149 -x150 x151 -x152 x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 x163 -x164 -x165 x166 -x167 x168 -x169 x170 -x171 -x172 -x173 x174 -x175 -x176 -x177 -x178 -x179 x180 -x181 -x182 x183 -x184 x185 -x186 x187 -x188 -x189 -x190 -x191 -x192 -x193 x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 x202 -x203 -x204 x205 -x206 -x207 -x208 -x209 -x210 x211 -x212 x213 -x214 -x215 -x216 x217 x218 -x219 x220 -x221 -x222 x223 -x224 x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 x233 -x234 -x235 -x236 -x237 x238 -x239 x240 -x241 -x242 -x243 -x244 x245 -x246 -x247 -x248 -x249 x250 -x251 -x252 x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 x262 x263 -x264 -x265 -x266 x267 -x268 x269 -x270 -x271 -x272 x273 x274 -x275 -x276 -x277 x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 x286 -x287 x288 x289 -x290 -x291 -x292 x293 -x294 -x295 -x296 -x297 -x298 x299 -x300 -x301 x302 -x303 -x304 x305 -x306 x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 x317 -x318 -x319 -x320 -x321 x322 -x323 -x324 -x325 -x326 -x327 x328 -x329 -x330 x331 -x332 -x333 x334 -x335 -x336 -x337 x338 x339 x340 -x341 -x342 -x343 x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 x361 -x362 -x363 -x364 -x365 -x366 -x367 x368 -x369 -x370 x371 -x372 -x373 -x374 x375 -x376 -x377 -x378 -x379 -x380 -x381 x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 x394 -x395 -x396 x397 x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 x406 -x407 -x408 x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 x423 -x424 -x425 -x426 x427 -x428 x429 -x430 -x431 -x432 -x433 -x434 -x435 x436 x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 x447 -x448 -x449 x450 x451 -x452 x453 -x454 -x455 x456 x457 -x458 -x459 -x460 x461 x462 -x463 -x464 -x465 -x466 -x467 -x468 x469 -x470 -x471 -x472 -x473 x474 -x475 -x476 -x477 -x478 x479 -x480 -x481 -x482 x483 -x484 x485 -x486 x487 -x488 -x489 -x490 -x491 -x492 x493 x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 x511 -x512 -x513 -x514 -x515 -x516 x517 -x518 -x519 -x520 x521 -x522 -x523 x524 x525 x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 x535 -x536 x537 -x538 x539 -x540 -x541 x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 x559 -x560 x561 -x562 -x563 -x564 -x565 -x566 -x567 x568 x569 -x570 -x571 x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 x581 x582 -x583 -x584 x585 x586 x587 -x588 -x589 x590 -x591 -x592 x593 -x594 x595 -x596 -x597 x598 -x599 -x600 -x601 -x602 -x603 x604 -x605 x606 -x607 -x608 -x609 x610 -x611 x612 -x613 -x614 -x615 -x616 x617 x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 x642 -x643 -x644 -x645 x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 x670 -x671 -x672 -x673 -x674 x675 -x676 x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 x688 -x689 -x690 x691 -x692 -x693 -x694 x695 -x696 x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 x706 x707 -x708 x709 -x710 -x711 -x712 x713 -x714 -x715 -x716 x717 -x718 x719 -x720 -x721 -x722 -x723 -x724 -x725 x726 -x727 x728 -x729 -x730 -x731 -x732 -x733 x734 -x735 x736 -x737 -x738 x739 x740 -x741 -x742 -x743 -x744 x745 -x746 -x747 -x748 x749 -x750 -x751 -x752 -x753 -x754 x755 -x756 -x757 -x758 -x759 x760 -x761 x762 -x763 -x764 -x765 -x766 -x767 x768 -x769 -x770 -x771 x772 x773 -x774 -x775 -x776 x777 -x778 -x779 x780 -x781 x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 x791 -x792 -x793 -x794 -x795 -x796 x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 x817 -x818 -x819 x820 x821 x822 x823 x824 -x825 -x826 x827 -x828 -x829 -x830 -x831 x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 x844 -x845 -x846 x847 -x848 x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 x876 x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 x893 -x894 -x895 -x896 x897 -x898 -x899 x900 -x901 -x902 x903 -x904 x905 -x906 -x907 -x908 x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 x920 x921 -x922 -x923 -x924 -x925 x926 -x927 x928 -x929 -x930 -x931 -x932 -x933 -x934 x935 -x936 -x937 -x938 x939 -x940 x941 -x942 -x943 -x944 x945 -x946 x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 x957 -x958 x959 -x960 -x961 x962 -x963 -x964 -x965 x966 -x967 -x968 -x969 x970 -x971 -x972 x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 x982 x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 x991 -x992 -x993 -x994 x995 -x996 x997 -x998 x999 -x1000 -x1001 -x1002 -x1003 x1004 x1005 -x1006 x1007 -x1008 x1009 -x1010 -x1011 -x1012 -x1013 x1014 -x1015 -x1016 -x1017 -x1018 x1019 x1020 -x1021 x1022 -x1023 -x1024 -x1025 -x1026 -x1027 x1028 x1029 -x1030 x1031 -x1032 x1033 x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 x1060 -x1061 x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 x1080 -x1081 -x1082 -x1083 -x1084 x1085 x1086 -x1087 -x1088 -x1089 -x1090 x1091 -x1092 -x1093 -x1094 -x1095 -x1096 x1097 x1098 -x1099 -x1100 -x1101 -x1102 -x1103 x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 x1126 x1127 -x1128 x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 x1145 -x1146 -x1147 x1148 -x1149 x1150 -x1151 x1152 -x1153 -x1154 -x1155 -x1156 x1157 x1158 x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 x1168 -x1169 -x1170 -x1171 -x1172 x1173 x1174 -x1175 -x1176 x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 x1188 -x1189 x1190 -x1191 x1192 -x1193 -x1194 x1195 -x1196 -x1197 x1198 x1199 -x1200 -x1201 -x1202 -x1203 x1204 -x1205 -x1206 x1207 -x1208 -x1209 -x1210 x1211 -x1212 -x1213 -x1214 x1215 -x1216 -x1217 -x1218 x1219 -x1220 -x1221 -x1222 -x1223 x1224 -x1225 -x1226 -x1227 x1228 -x1229 -x1230 -x1231 -x1232 -x1233 x1234 x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 x1247 -x1248 -x1249 x1250 x1251 x1252 -x1253 -x1254 x1255 x1256 x1257 x1258 x1259 -x1260 x1261 -x1262 -x1263 -x1264 -x1265 -x1266 x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 x1274 x1275 -x1276 -x1277 x1278 1800.02/1024.14 c objective function=294 1800.02/1024.14 c Total wall clock time (in seconds): 1024.012
OK 294
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-3687728-1337873773/watcher-3687728-1337873773 -o /tmp/evaluation-result-3687728-1337873773/solver-3687728-1337873773 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar Both HOME/instance-3687728-1337873773.opb running on 4 cores: 1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 3.76 3.87 3.31 4/197 23060 /proc/meminfo: memFree=27569108/32873844 swapFree=7100/7100 [pid=23060] ppid=23058 vsize=9292 CPUtime=0 cores=1,3,5,7 /proc/23060/stat : 23060 (java) D 23058 23060 22059 0 -1 4202496 249 0 0 0 0 0 0 0 20 0 1 0 253504316 9515008 183 33554432000 1073741824 1073778376 140734170443344 140734170434376 233411788469 0 0 4096 0 18446744072100588836 0 0 17 5 0 0 0 0 0 /proc/23060/statm: 2323 183 140 9 0 71 0 [startup+0.093899 s] /proc/loadavg: 3.76 3.87 3.31 4/197 23060 /proc/meminfo: memFree=27569108/32873844 swapFree=7100/7100 [pid=23060] ppid=23058 vsize=9558412 CPUtime=0.07 cores=1,3,5,7 /proc/23060/stat : 23060 (java) S 23058 23060 22059 0 -1 4202496 3661 0 1 0 6 1 0 0 20 0 18 0 253504316 9787813888 4869 33554432000 1073741824 1073778376 140734276068272 140734276059408 233415147581 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/23060/statm: 2389603 4871 1932 9 0 2380296 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 9558412 [startup+0.100301 s] /proc/loadavg: 3.76 3.87 3.31 4/197 23060 /proc/meminfo: memFree=27569108/32873844 swapFree=7100/7100 [pid=23060] ppid=23058 vsize=9558412 CPUtime=0.08 cores=1,3,5,7 /proc/23060/stat : 23060 (java) S 23058 23060 22059 0 -1 4202496 4198 0 1 0 7 1 0 0 20 0 18 0 253504316 9787813888 5397 33554432000 1073741824 1073778376 140734276068272 140734276059408 233415147581 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/23060/statm: 2389603 5410 2091 9 0 2380296 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 9558412 [startup+0.300257 s] /proc/loadavg: 3.76 3.87 3.31 4/197 23060 /proc/meminfo: memFree=27569108/32873844 swapFree=7100/7100 [pid=23060] ppid=23058 vsize=9691540 CPUtime=0.49 cores=1,3,5,7 /proc/23060/stat : 23060 (java) S 23058 23060 22059 0 -1 4202496 5772 0 1 0 47 2 0 0 20 0 20 0 253504316 9924136960 9026 33554432000 1073741824 1073778376 140734276068272 140734276059408 233415147581 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/23060/statm: 2422885 9026 2226 9 0 2413578 0 Current children cumulated CPU time (s) 0.49 Current children cumulated vsize (KiB) 9691540 [startup+0.700238 s] /proc/loadavg: 3.76 3.87 3.31 4/197 23060 /proc/meminfo: memFree=27569108/32873844 swapFree=7100/7100 [pid=23060] ppid=23058 vsize=9824668 CPUtime=0.57 cores=1,3,5,7 /proc/23060/stat : 23060 (java) S 23058 23060 22059 0 -1 4202496 6241 0 1 0 53 4 0 0 20 0 19 0 253504316 10060460032 9044 33554432000 1073741824 1073778376 140734276068272 140734276059408 233415147581 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/23060/statm: 2456167 9044 2230 9 0 2446860 0 Current children cumulated CPU time (s) 0.57 Current children cumulated vsize (KiB) 9824668 [startup+1.50069 s] /proc/loadavg: 3.76 3.87 3.31 5/219 23085 /proc/meminfo: memFree=27527932/32873844 swapFree=7100/7100 [pid=23060] ppid=23058 vsize=9824668 CPUtime=2.18 cores=1,3,5,7 /proc/23060/stat : 23060 (java) S 23058 23060 22059 0 -1 4202496 8129 0 1 0 212 6 0 0 20 0 22 0 253504316 10060460032 14969 33554432000 1073741824 1073778376 140734276068272 140734276059408 233415147581 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/23060/statm: 2456167 14969 2245 9 0 2446860 0 [pid=23060/tid=23062] ppid=23058 vsize=9824668 CPUtime=0.27 cores=1,3,5,7 /proc/23060/task/23062/stat : 23062 (java) S 23058 23060 22059 0 -1 4202560 2460 0 1 0 25 2 0 0 20 0 22 0 253504317 10060460032 14969 33554432000 1073741824 1073778376 140734276068272 140556579247096 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=23060/tid=23063] ppid=23058 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/23060/task/23063/stat : 23063 (java) S 23058 23060 22059 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253504319 10060460032 14969 33554432000 1073741824 1073778376 140734276068272 140556568308264 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=23060/tid=23064] ppid=23058 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/23060/task/23064/stat : 23064 (java) S 23058 23060 22059 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253504319 10060460032 14969 33554432000 1073741824 1073778376 140734276068272 140556567255464 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=23060/tid=23065] ppid=23058 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/23060/task/23065/stat : 23065 (java) S 23058 23060 22059 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253504319 10060460032 14969 33554432000 1073741824 1073778376 140734276068272 140556566202664 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=23060/tid=23066] ppid=23058 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/23060/task/23066/stat : 23066 (java) S 23058 23060 22059 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253504319 10060460032 14969 33554432000 1073741824 1073778376 140734276068272 140556565149864 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=23060/tid=23067] ppid=23058 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/23060/task/23067/stat : 23067 (java) S 23058 23060 22059 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253504319 10060460032 14969 33554432000 1073741824 1073778376 140734276068272 140556564098088 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=23060/tid=23068] ppid=23058 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/23060/task/23068/stat : 23068 (java) S 23058 23060 22059 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253504319 10060460032 14969 33554432000 1073741824 1073778376 140734276068272 140556417842088 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=23060/tid=23069] ppid=23058 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/23060/task/23069/stat : 23069 (java) S 23058 23060 22059 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253504319 10060460032 14969 33554432000 1073741824 1073778376 140734276068272 140556416789288 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=23060/tid=23070] ppid=23058 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/23060/task/23070/stat : 23070 (java) S 23058 23060 22059 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 253504319 10060460032 14969 33554432000 1073741824 1073778376 140734276068272 140556415736488 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=23060/tid=23071] ppid=23058 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/23060/task/23071/stat : 23071 (java) S 23058 23060 22059 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 253504320 10060460032 14969 33554432000 1073741824 1073778376 140734276068272 140556403325416 233415161769 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=23060/tid=23072] ppid=23058 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/23060/task/23072/stat : 23072 (java) S 23058 23060 22059 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 22 0 253504320 10060460032 14969 33554432000 1073741824 1073778376 140734276068272 140556402271480 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=23060/tid=23073] ppid=23058 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/23060/task/23073/stat : 23073 (java) S 23058 23060 22059 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 253504320 10060460032 14969 33554432000 1073741824 1073778376 140734276068272 140556401218568 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=23060/tid=23074] ppid=23058 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/23060/task/23074/stat : 23074 (java) S 23058 23060 22059 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253504323 10060460032 14969 33554432000 1073741824 1073778376 140734276068272 140556400167056 233415169824 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=23060/tid=23075] ppid=23058 vsize=9824668 CPUtime=0.32 cores=1,3,5,7 /proc/23060/task/23075/stat : 23075 (java) S 23058 23060 22059 0 -1 4202560 1428 0 0 0 32 0 0 0 20 0 22 0 253504323 10060460032 14969 33554432000 1073741824 1073778376 140734276068272 140556399115192 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=23060/tid=23076] ppid=23058 vsize=9824668 CPUtime=0.43 cores=1,3,5,7 /proc/23060/task/23076/stat : 23076 (java) S 23058 23060 22059 0 -1 4202560 2908 0 0 0 43 0 0 0 20 0 22 0 253504323 10060460032 14969 33554432000 1073741824 1073778376 140734276068272 140556398062392 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=23060/tid=23077] ppid=23058 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/23060/task/23077/stat : 23077 (java) S 23058 23060 22059 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253504323 10060460032 14969 33554432000 1073741824 1073778376 140734276068272 140556397009784 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=23060/tid=23078] ppid=23058 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/23060/task/23078/stat : 23078 (java) S 23058 23060 22059 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253504323 10060460032 14969 33554432000 1073741824 1073778376 140734276068272 140556395957192 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=23060/tid=23085] ppid=23058 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/23060/task/23085/stat : 23085 (java) S 23058 23060 22059 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253504397 10060460032 14969 33554432000 1073741824 1073778376 140734276068272 140556394902952 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 2.18 Current children cumulated vsize (KiB) 9824668 [startup+3.10069 s] /proc/loadavg: 3.76 3.87 3.31 7/219 23088 /proc/meminfo: memFree=27450020/32873844 swapFree=7100/7100 [pid=23060] ppid=23058 vsize=9824668 CPUtime=5.38 cores=1,3,5,7 /proc/23060/stat : 23060 (java) S 23058 23060 22059 0 -1 4202496 22977 0 1 0 526 12 0 0 20 0 22 0 253504316 10060460032 32509 33554432000 1073741824 1073778376 140734276068272 140734276059408 233415147581 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/23060/statm: 2456167 32509 2276 9 0 2446860 0 [pid=23060/tid=23062] ppid=23058 vsize=9824668 CPUtime=0.28 cores=1,3,5,7 /proc/23060/task/23062/stat : 23062 (java) S 23058 23060 22059 0 -1 4202560 2460 0 1 0 26 2 0 0 20 0 22 0 253504317 10060460032 32509 33554432000 1073741824 1073778376 140734276068272 140556579247096 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=23060/tid=23063] ppid=23058 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/23060/task/23063/stat : 23063 (java) S 23058 23060 22059 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 253504319 10060460032 32509 33554432000 1073741824 1073778376 140734276068272 140556568308264 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=23060/tid=23064] ppid=23058 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/23060/task/23064/stat : 23064 (java) S 23058 23060 22059 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 253504319 10060460032 32509 33554432000 1073741824 1073778376 140734276068272 140556567255464 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=23060/tid=23065] ppid=23058 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/23060/task/23065/stat : 23065 (java) S 23058 23060 22059 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253504319 10060460032 32509 33554432000 1073741824 1073778376 140734276068272 140556566202664 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=23060/tid=23066] ppid=23058 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/23060/task/23066/stat : 23066 (java) S 23058 23060 22059 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 22 0 253504319 10060460032 32509 33554432000 1073741824 1073778376 140734276068272 140556565149864 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=23060/tid=23067] ppid=23058 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/23060/task/23067/stat : 23067 (java) S 23058 23060 22059 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 253504319 10060460032 32509 33554432000 1073741824 1073778376 140734276068272 140556564098088 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=23060/tid=23068] ppid=23058 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/23060/task/23068/stat : 23068 (java) S 23058 23060 22059 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 253504319 10060460032 32509 33554432000 1073741824 1073778376 140734276068272 140556417842088 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=23060/tid=23069] ppid=23058 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/23060/task/23069/stat : 23069 (java) S 23058 23060 22059 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253504319 10060460032 32509 33554432000 1073741824 1073778376 140734276068272 140556416789288 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=23060/tid=23070] ppid=23058 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/23060/task/23070/stat : 23070 (java) S 23058 23060 22059 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 253504319 10060460032 32509 33554432000 1073741824 1073778376 140734276068272 140556415736488 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=23060/tid=23071] ppid=23058 vsize=9824668 CPUtime=0.01 cores=1,3,5,7 /proc/23060/task/23071/stat : 23071 (java) S 23058 23060 22059 0 -1 4202560 41 0 0 0 1 0 0 0 20 0 22 0 253504320 10060460032 32509 33554432000 1073741824 1073778376 140734276068272 140556403325416 233415161769 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=23060/tid=23072] ppid=23058 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/23060/task/23072/stat : 23072 (java) S 23058 23060 22059 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253504320 10060460032 32509 33554432000 1073741824 1073778376 140734276068272 140556402271480 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=23060/tid=23073] ppid=23058 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/23060/task/23073/stat : 23073 (java) S 23058 23060 22059 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 253504320 10060460032 32509 33554432000 1073741824 1073778376 140734276068272 140556401218568 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=23060/tid=23074] ppid=23058 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/23060/task/23074/stat : 23074 (java) S 23058 23060 22059 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253504323 10060460032 32509 33554432000 1073741824 1073778376 140734276068272 140556400167056 233415169824 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=23060/tid=23075] ppid=23058 vsize=9824668 CPUtime=0.73 cores=1,3,5,7 /proc/23060/task/23075/stat : 23075 (java) S 23058 23060 22059 0 -1 4202560 8152 0 0 0 71 2 0 0 20 0 22 0 253504323 10060460032 32509 33554432000 1073741824 1073778376 140734276068272 140556399115192 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=23060/tid=23076] ppid=23058 vsize=9824668 CPUtime=0.96 cores=1,3,5,7 /proc/23060/task/23076/stat : 23076 (java) S 23058 23060 22059 0 -1 4202560 10933 0 0 0 94 2 0 0 20 0 22 0 253504323 10060460032 32509 33554432000 1073741824 1073778376 140734276068272 140556398062392 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=23060/tid=23077] ppid=23058 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/23060/task/23077/stat : 23077 (java) S 23058 23060 22059 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253504323 10060460032 32509 33554432000 1073741824 1073778376 140734276068272 140556397009784 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=23060/tid=23078] ppid=23058 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/23060/task/23078/stat : 23078 (java) S 23058 23060 22059 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253504323 10060460032 32509 33554432000 1073741824 1073778376 140734276068272 140556395957192 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=23060/tid=23085] ppid=23058 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/23060/task/23085/stat : 23085 (java) S 23058 23060 22059 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253504397 10060460032 32509 33554432000 1073741824 1073778376 140734276068272 140556394902952 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 5.38 Current children cumulated vsize (KiB) 9824668 [startup+6.30081 s] /proc/loadavg: 3.78 3.87 3.32 5/219 23091 /proc/meminfo: memFree=27391992/32873844 swapFree=7100/7100 [pid=23060] ppid=23058 vsize=9824668 CPUtime=11.79 cores=1,3,5,7 /proc/23060/stat : 23060 (java) S 23058 23060 22059 0 -1 4202496 23058 0 1 0 1162 17 0 0 20 0 22 0 253504316 10060460032 47309 33554432000 1073741824 1073778376 140734276068272 140734276059408 233415147581 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/23060/statm: 2456167 47309 2276 9 0 2446860 0 [pid=23060/tid=23062] ppid=23058 vsize=9824668 CPUtime=0.28 cores=1,3,5,7 /proc/23060/task/23062/stat : 23062 (java) S 23058 23060 22059 0 -1 4202560 2460 0 1 0 26 2 0 0 20 0 22 0 253504317 10060460032 47309 33554432000 1073741824 1073778376 140734276068272 140556579247096 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=23060/tid=23063] ppid=23058 vsize=9824668 CPUtime=0.01 cores=1,3,5,7 /proc/23060/task/23063/stat : 23063 (java) S 23058 23060 22059 0 -1 4202560 23 0 0 0 1 0 0 0 20 0 22 0 253504319 10060460032 47309 33554432000 1073741824 1073778376 140734276068272 140556568308264 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=23060/tid=23064] ppid=23058 vsize=9824668 CPUtime=0.02 cores=1,3,5,7 /proc/23060/task/23064/stat : 23064 (java) S 23058 23060 22059 0 -1 4202560 16 0 0 0 2 0 0 0 20 0 22 0 253504319 10060460032 47309 33554432000 1073741824 1073778376 140734276068272 140556567255464 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=23060/tid=23065] ppid=23058 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/23060/task/23065/stat : 23065 (java) S 23058 23060 22059 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 22 0 253504319 10060460032 47309 33554432000 1073741824 1073778376 140734276068272 140556566202664 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=23060/tid=23066] ppid=23058 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/23060/task/23066/stat : 23066 (java) S 23058 23060 22059 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 22 0 253504319 10060460032 47309 33554432000 1073741824 1073778376 140734276068272 140556565149864 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=23060/tid=23067] ppid=23058 vsize=9824668 CPUtime=0.01 cores=1,3,5,7 /proc/23060/task/23067/stat : 23067 (java) S 23058 23060 22059 0 -1 4202560 13 0 0 0 1 0 0 0 20 0 22 0 253504319 10060460032 47309 33554432000 1073741824 1073778376 140734276068272 140556564098088 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=23060/tid=23068] ppid=23058 vsize=9824668 CPUtime=0.01 cores=1,3,5,7 /proc/23060/task/23068/stat : 23068 (java) S 23058 23060 22059 0 -1 4202560 18 0 0 0 0 1 0 0 20 0 22 0 253504319 10060460032 47309 33554432000 1073741824 1073778376 140734276068272 140556417842088 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=23060/tid=23069] ppid=23058 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/23060/task/23069/stat : 23069 (java) S 23058 23060 22059 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253504319 10060460032 47309 33554432000 1073741824 1073778376 140734276068272 140556416789288 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=23060/tid=23070] ppid=23058 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/23060/task/23070/stat : 23070 (java) S 23058 23060 22059 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 22 0 253504319 10060460032 47309 33554432000 1073741824 1073778376 140734276068272 140556415736488 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=23060/tid=23071] ppid=23058 vsize=9824668 CPUtime=0.18 cores=1,3,5,7 /proc/23060/task/23071/stat : 23071 (java) S 23058 23060 22059 0 -1 4202560 52 0 0 0 18 0 0 0 20 0 22 0 253504320 10060460032 47309 33554432000 1073741824 1073778376 140734276068272 140556403325416 233415161769 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=23060/tid=23072] ppid=23058 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/23060/task/23072/stat : 23072 (java) S 23058 23060 22059 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253504320 10060460032 47309 33554432000 1073741824 1073778376 140734276068272 140556402271480 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=23060/tid=23073] ppid=23058 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/23060/task/23073/stat : 23073 (java) S 23058 23060 22059 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 253504320 10060460032 47309 33554432000 1073741824 1073778376 140734276068272 140556401218568 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=23060/tid=23074] ppid=23058 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/23060/task/23074/stat : 23074 (java) S 23058 23060 22059 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253504323 10060460032 47309 33554432000 1073741824 1073778376 140734276068272 140556400167056 233415169824 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=23060/tid=23075] ppid=23058 vsize=9824668 CPUtime=0.83 cores=1,3,5,7 /proc/23060/task/23075/stat : 23075 (java) S 23058 23060 22059 0 -1 4202560 8154 0 0 0 81 2 0 0 20 0 22 0 253504323 10060460032 47309 33554432000 1073741824 1073778376 140734276068272 140556399115192 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=23060/tid=23076] ppid=23058 vsize=9824668 CPUtime=1.05 cores=1,3,5,7 /proc/23060/task/23076/stat : 23076 (java) S 23058 23060 22059 0 -1 4202560 10939 0 0 0 102 3 0 0 20 0 22 0 253504323 10060460032 47309 33554432000 1073741824 1073778376 140734276068272 140556398062392 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=23060/tid=23077] ppid=23058 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/23060/task/23077/stat : 23077 (java) S 23058 23060 22059 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253504323 10060460032 47309 33554432000 1073741824 1073778376 140734276068272 140556397009784 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=23060/tid=23078] ppid=23058 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/23060/task/23078/stat : 23078 (java) S 23058 23060 22059 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253504323 10060460032 47309 33554432000 1073741824 1073778376 140734276068272 140556395957192 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=23060/tid=23085] ppid=23058 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/23060/task/23085/stat : 23085 (java) S 23058 23060 22059 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253504397 10060460032 47309 33554432000 1073741824 1073778376 140734276068272 140556394902952 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=23060/tid=23089] ppid=23058 vsize=9824668 CPUtime=3.24 cores=1,3,5,7 /proc/23060/task/23089/stat : 23089 (java) R 23058 23060 22059 0 -1 4202560 5 0 0 0 324 0 0 0 20 0 22 0 253504597 10060460032 47309 33554432000 1073741824 1073778376 140734276068272 140556393847384 140556445685686 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 [pid=23060/tid=23090] ppid=23058 vsize=9824668 CPUtime=3.25 cores=1,3,5,7 /proc/23060/task/23090/stat : 23090 (java) R 23058 23060 22059 0 -1 4202560 11 0 0 0 325 0 0 0 20 0 22 0 253504597 10060460032 47309 33554432000 1073741824 1073778376 140734276068272 140556392794376 140556446432048 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 ################ # More data... # ################ [pid=23060/tid=23180] ppid=23058 vsize=9824668 CPUtime=97.42 cores=1,3,5,7 /proc/23060/task/23180/stat : 23180 (java) R 23058 23060 22059 0 -1 4202560 8 0 0 0 9741 1 0 0 20 0 22 0 253580689 10060460032 548406 33554432000 1073741824 1073778376 140734276068272 140556392796512 140556446010664 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 [pid=23060/tid=23181] ppid=23058 vsize=9824668 CPUtime=97.4 cores=1,3,5,7 /proc/23060/task/23181/stat : 23181 (java) R 23058 23060 22059 0 -1 4202560 19 0 0 0 9739 1 0 0 20 0 22 0 253580689 10060460032 548406 33554432000 1073741824 1073778376 140734276068272 140556391744088 140556446018503 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 [pid=23060/tid=23182] ppid=23058 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/23060/task/23182/stat : 23182 (java) S 23058 23060 22059 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253580689 10060460032 548406 33554432000 1073741824 1073778376 140734276068272 140556393849640 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1658.55 Current children cumulated vsize (KiB) 9824668 [startup+1002.3 s] /proc/loadavg: 3.72 3.62 3.49 4/219 23186 /proc/meminfo: memFree=22806256/32873844 swapFree=7100/7100 [pid=23060] ppid=23058 vsize=9824668 CPUtime=1761.82 cores=1,3,5,7 /proc/23060/stat : 23060 (java) S 23058 23060 22059 0 -1 4202496 38525 0 1 0 175963 219 0 0 20 0 22 0 253504316 10060460032 572772 33554432000 1073741824 1073778376 140734276068272 140734276059408 233415147581 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/23060/statm: 2456167 572772 2279 9 0 2446860 0 [pid=23060/tid=23062] ppid=23058 vsize=9824668 CPUtime=0.35 cores=1,3,5,7 /proc/23060/task/23062/stat : 23062 (java) S 23058 23060 22059 0 -1 4202560 2568 0 1 0 32 3 0 0 20 0 22 0 253504317 10060460032 572772 33554432000 1073741824 1073778376 140734276068272 140556579246808 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=23060/tid=23063] ppid=23058 vsize=9824668 CPUtime=3.64 cores=1,3,5,7 /proc/23060/task/23063/stat : 23063 (java) S 23058 23060 22059 0 -1 4202560 817 0 0 0 351 13 0 0 20 0 22 0 253504319 10060460032 572772 33554432000 1073741824 1073778376 140734276068272 140556568308264 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=23060/tid=23064] ppid=23058 vsize=9824668 CPUtime=4.16 cores=1,3,5,7 /proc/23060/task/23064/stat : 23064 (java) S 23058 23060 22059 0 -1 4202560 1030 0 0 0 400 16 0 0 20 0 22 0 253504319 10060460032 572772 33554432000 1073741824 1073778376 140734276068272 140556567255464 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=23060/tid=23065] ppid=23058 vsize=9824668 CPUtime=4.31 cores=1,3,5,7 /proc/23060/task/23065/stat : 23065 (java) S 23058 23060 22059 0 -1 4202560 664 0 0 0 416 15 0 0 20 0 22 0 253504319 10060460032 572772 33554432000 1073741824 1073778376 140734276068272 140556566202664 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=23060/tid=23066] ppid=23058 vsize=9824668 CPUtime=3.68 cores=1,3,5,7 /proc/23060/task/23066/stat : 23066 (java) S 23058 23060 22059 0 -1 4202560 1082 0 0 0 354 14 0 0 20 0 22 0 253504319 10060460032 572772 33554432000 1073741824 1073778376 140734276068272 140556565149864 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=23060/tid=23067] ppid=23058 vsize=9824668 CPUtime=4.27 cores=1,3,5,7 /proc/23060/task/23067/stat : 23067 (java) S 23058 23060 22059 0 -1 4202560 1369 0 0 0 410 17 0 0 20 0 22 0 253504319 10060460032 572772 33554432000 1073741824 1073778376 140734276068272 140556564098088 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=23060/tid=23068] ppid=23058 vsize=9824668 CPUtime=3.78 cores=1,3,5,7 /proc/23060/task/23068/stat : 23068 (java) S 23058 23060 22059 0 -1 4202560 895 0 0 0 363 15 0 0 20 0 22 0 253504319 10060460032 572772 33554432000 1073741824 1073778376 140734276068272 140556417842088 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=23060/tid=23069] ppid=23058 vsize=9824668 CPUtime=3.84 cores=1,3,5,7 /proc/23060/task/23069/stat : 23069 (java) S 23058 23060 22059 0 -1 4202560 1095 0 0 0 372 12 0 0 20 0 22 0 253504319 10060460032 572772 33554432000 1073741824 1073778376 140734276068272 140556416789288 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=23060/tid=23070] ppid=23058 vsize=9824668 CPUtime=3.72 cores=1,3,5,7 /proc/23060/task/23070/stat : 23070 (java) S 23058 23060 22059 0 -1 4202560 1071 0 0 0 360 12 0 0 20 0 22 0 253504319 10060460032 572772 33554432000 1073741824 1073778376 140734276068272 140556415736488 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=23060/tid=23071] ppid=23058 vsize=9824668 CPUtime=254.55 cores=1,3,5,7 /proc/23060/task/23071/stat : 23071 (java) R 23058 23060 22059 0 -1 4202560 6844 0 0 0 25416 39 0 0 20 0 22 0 253504320 10060460032 572772 33554432000 1073741824 1073778376 140734276068272 140556403324072 140556585372792 0 0 0 16800975 0 0 0 -1 5 0 0 0 0 0 [pid=23060/tid=23072] ppid=23058 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/23060/task/23072/stat : 23072 (java) S 23058 23060 22059 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253504320 10060460032 572772 33554432000 1073741824 1073778376 140734276068272 140556402271480 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=23060/tid=23073] ppid=23058 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/23060/task/23073/stat : 23073 (java) S 23058 23060 22059 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 22 0 253504320 10060460032 572772 33554432000 1073741824 1073778376 140734276068272 140556401218568 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=23060/tid=23074] ppid=23058 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/23060/task/23074/stat : 23074 (java) S 23058 23060 22059 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253504323 10060460032 572772 33554432000 1073741824 1073778376 140734276068272 140556400167056 233415169824 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=23060/tid=23075] ppid=23058 vsize=9824668 CPUtime=1.53 cores=1,3,5,7 /proc/23060/task/23075/stat : 23075 (java) S 23058 23060 22059 0 -1 4202560 8178 0 0 0 151 2 0 0 20 0 22 0 253504323 10060460032 572772 33554432000 1073741824 1073778376 140734276068272 140556399115192 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=23060/tid=23076] ppid=23058 vsize=9824668 CPUtime=1.17 cores=1,3,5,7 /proc/23060/task/23076/stat : 23076 (java) S 23058 23060 22059 0 -1 4202560 10947 0 0 0 114 3 0 0 20 0 22 0 253504323 10060460032 572772 33554432000 1073741824 1073778376 140734276068272 140556398062392 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=23060/tid=23077] ppid=23058 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/23060/task/23077/stat : 23077 (java) S 23058 23060 22059 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253504323 10060460032 572772 33554432000 1073741824 1073778376 140734276068272 140556397009784 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=23060/tid=23078] ppid=23058 vsize=9824668 CPUtime=0.51 cores=1,3,5,7 /proc/23060/task/23078/stat : 23078 (java) S 23058 23060 22059 0 -1 4202560 56 0 0 0 29 22 0 0 20 0 22 0 253504323 10060460032 572772 33554432000 1073741824 1073778376 140734276068272 140556395957192 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=23060/tid=23085] ppid=23058 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/23060/task/23085/stat : 23085 (java) S 23058 23060 22059 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253504397 10060460032 572772 33554432000 1073741824 1073778376 140734276068272 140556394902952 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=23060/tid=23180] ppid=23058 vsize=9824668 CPUtime=138.19 cores=1,3,5,7 /proc/23060/task/23180/stat : 23180 (java) S 23058 23060 22059 0 -1 4202560 13 0 0 0 13817 2 0 0 20 0 22 0 253580689 10060460032 572772 33554432000 1073741824 1073778376 140734276068272 140556392796632 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=23060/tid=23181] ppid=23058 vsize=9824668 CPUtime=138.16 cores=1,3,5,7 /proc/23060/task/23181/stat : 23181 (java) S 23058 23060 22059 0 -1 4202560 24 0 0 0 13814 2 0 0 20 0 22 0 253580689 10060460032 572772 33554432000 1073741824 1073778376 140734276068272 140556391741848 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=23060/tid=23182] ppid=23058 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/23060/task/23182/stat : 23182 (java) S 23058 23060 22059 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253580689 10060460032 572772 33554432000 1073741824 1073778376 140734276068272 140556393849640 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1761.82 Current children cumulated vsize (KiB) 9824668 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1024.11 s] /proc/loadavg: 3.56 3.59 3.48 5/219 23186 /proc/meminfo: memFree=22783232/32873844 swapFree=7100/7100 [pid=23060] ppid=23058 vsize=9824668 CPUtime=1800.02 cores=1,3,5,7 /proc/23060/stat : 23060 (java) S 23058 23060 22059 0 -1 4202496 38607 0 1 0 179782 220 0 0 20 0 22 0 253504316 10060460032 578367 33554432000 1073741824 1073778376 140734276068272 140734276059408 233415147581 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/23060/statm: 2456167 578367 2279 9 0 2446860 0 [pid=23060/tid=23062] ppid=23058 vsize=9824668 CPUtime=0.35 cores=1,3,5,7 /proc/23060/task/23062/stat : 23062 (java) S 23058 23060 22059 0 -1 4202560 2568 0 1 0 32 3 0 0 20 0 22 0 253504317 10060460032 578367 33554432000 1073741824 1073778376 140734276068272 140556579247096 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=23060/tid=23063] ppid=23058 vsize=9824668 CPUtime=3.71 cores=1,3,5,7 /proc/23060/task/23063/stat : 23063 (java) S 23058 23060 22059 0 -1 4202560 822 0 0 0 358 13 0 0 20 0 22 0 253504319 10060460032 578367 33554432000 1073741824 1073778376 140734276068272 140556568308264 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=23060/tid=23064] ppid=23058 vsize=9824668 CPUtime=4.29 cores=1,3,5,7 /proc/23060/task/23064/stat : 23064 (java) S 23058 23060 22059 0 -1 4202560 1030 0 0 0 413 16 0 0 20 0 22 0 253504319 10060460032 578367 33554432000 1073741824 1073778376 140734276068272 140556567255464 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=23060/tid=23065] ppid=23058 vsize=9824668 CPUtime=4.41 cores=1,3,5,7 /proc/23060/task/23065/stat : 23065 (java) S 23058 23060 22059 0 -1 4202560 664 0 0 0 425 16 0 0 20 0 22 0 253504319 10060460032 578367 33554432000 1073741824 1073778376 140734276068272 140556566202664 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=23060/tid=23066] ppid=23058 vsize=9824668 CPUtime=3.82 cores=1,3,5,7 /proc/23060/task/23066/stat : 23066 (java) S 23058 23060 22059 0 -1 4202560 1082 0 0 0 368 14 0 0 20 0 22 0 253504319 10060460032 578367 33554432000 1073741824 1073778376 140734276068272 140556565149864 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=23060/tid=23067] ppid=23058 vsize=9824668 CPUtime=4.36 cores=1,3,5,7 /proc/23060/task/23067/stat : 23067 (java) S 23058 23060 22059 0 -1 4202560 1369 0 0 0 419 17 0 0 20 0 22 0 253504319 10060460032 578367 33554432000 1073741824 1073778376 140734276068272 140556564098088 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=23060/tid=23068] ppid=23058 vsize=9824668 CPUtime=3.84 cores=1,3,5,7 /proc/23060/task/23068/stat : 23068 (java) S 23058 23060 22059 0 -1 4202560 895 0 0 0 368 16 0 0 20 0 22 0 253504319 10060460032 578367 33554432000 1073741824 1073778376 140734276068272 140556417842088 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=23060/tid=23069] ppid=23058 vsize=9824668 CPUtime=3.92 cores=1,3,5,7 /proc/23060/task/23069/stat : 23069 (java) S 23058 23060 22059 0 -1 4202560 1095 0 0 0 380 12 0 0 20 0 22 0 253504319 10060460032 578367 33554432000 1073741824 1073778376 140734276068272 140556416789288 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=23060/tid=23070] ppid=23058 vsize=9824668 CPUtime=3.83 cores=1,3,5,7 /proc/23060/task/23070/stat : 23070 (java) S 23058 23060 22059 0 -1 4202560 1076 0 0 0 371 12 0 0 20 0 22 0 253504319 10060460032 578367 33554432000 1073741824 1073778376 140734276068272 140556415736488 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=23060/tid=23071] ppid=23058 vsize=9824668 CPUtime=260.33 cores=1,3,5,7 /proc/23060/task/23071/stat : 23071 (java) S 23058 23060 22059 0 -1 4202560 6911 0 0 0 25994 39 0 0 20 0 22 0 253504320 10060460032 578367 33554432000 1073741824 1073778376 140734276068272 140556403325416 233415161769 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=23060/tid=23072] ppid=23058 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/23060/task/23072/stat : 23072 (java) S 23058 23060 22059 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253504320 10060460032 578367 33554432000 1073741824 1073778376 140734276068272 140556402271480 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=23060/tid=23073] ppid=23058 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/23060/task/23073/stat : 23073 (java) S 23058 23060 22059 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 22 0 253504320 10060460032 578367 33554432000 1073741824 1073778376 140734276068272 140556401218568 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=23060/tid=23074] ppid=23058 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/23060/task/23074/stat : 23074 (java) S 23058 23060 22059 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253504323 10060460032 578367 33554432000 1073741824 1073778376 140734276068272 140556400167056 233415169824 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=23060/tid=23075] ppid=23058 vsize=9824668 CPUtime=1.53 cores=1,3,5,7 /proc/23060/task/23075/stat : 23075 (java) S 23058 23060 22059 0 -1 4202560 8178 0 0 0 151 2 0 0 20 0 22 0 253504323 10060460032 578367 33554432000 1073741824 1073778376 140734276068272 140556399115192 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=23060/tid=23076] ppid=23058 vsize=9824668 CPUtime=1.17 cores=1,3,5,7 /proc/23060/task/23076/stat : 23076 (java) S 23058 23060 22059 0 -1 4202560 10947 0 0 0 114 3 0 0 20 0 22 0 253504323 10060460032 578367 33554432000 1073741824 1073778376 140734276068272 140556398062392 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=23060/tid=23077] ppid=23058 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/23060/task/23077/stat : 23077 (java) S 23058 23060 22059 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253504323 10060460032 578367 33554432000 1073741824 1073778376 140734276068272 140556397009784 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=23060/tid=23078] ppid=23058 vsize=9824668 CPUtime=0.52 cores=1,3,5,7 /proc/23060/task/23078/stat : 23078 (java) S 23058 23060 22059 0 -1 4202560 58 0 0 0 29 23 0 0 20 0 22 0 253504323 10060460032 578367 33554432000 1073741824 1073778376 140734276068272 140556395957192 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=23060/tid=23085] ppid=23058 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/23060/task/23085/stat : 23085 (java) S 23058 23060 22059 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253504397 10060460032 578367 33554432000 1073741824 1073778376 140734276068272 140556394902952 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=23060/tid=23180] ppid=23058 vsize=9824668 CPUtime=154.02 cores=1,3,5,7 /proc/23060/task/23180/stat : 23180 (java) R 23058 23060 22059 0 -1 4202560 15 0 0 0 15400 2 0 0 20 0 22 0 253580689 10060460032 578367 33554432000 1073741824 1073778376 140734276068272 140556392794752 140556445648395 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 [pid=23060/tid=23181] ppid=23058 vsize=9824668 CPUtime=153.99 cores=1,3,5,7 /proc/23060/task/23181/stat : 23181 (java) R 23058 23060 22059 0 -1 4202560 25 0 0 0 15397 2 0 0 20 0 22 0 253580689 10060460032 578367 33554432000 1073741824 1073778376 140734276068272 140556391742672 140556446437466 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 [pid=23060/tid=23182] ppid=23058 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/23060/task/23182/stat : 23182 (java) S 23058 23060 22059 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253580689 10060460032 578367 33554432000 1073741824 1073778376 140734276068272 140556393849640 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1800.02 Current children cumulated vsize (KiB) 9824668 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1024.11 s] /proc/loadavg: 3.56 3.59 3.48 5/219 23186 /proc/meminfo: memFree=22783232/32873844 swapFree=7100/7100 [pid=23060] ppid=23058 vsize=9824668 CPUtime=1800.02 cores=1,3,5,7 /proc/23060/stat : 23060 (java) S 23058 23060 22059 0 -1 4202496 38607 0 1 0 179782 220 0 0 20 0 22 0 253504316 10060460032 578367 33554432000 1073741824 1073778376 140734276068272 140734276059408 233415147581 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/23060/statm: 2456167 578367 2279 9 0 2446860 0 [pid=23060/tid=23062] ppid=23058 vsize=9824668 CPUtime=0.35 cores=1,3,5,7 /proc/23060/task/23062/stat : 23062 (java) S 23058 23060 22059 0 -1 4202560 2568 0 1 0 32 3 0 0 20 0 22 0 253504317 10060460032 578367 33554432000 1073741824 1073778376 140734276068272 140556579247096 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=23060/tid=23063] ppid=23058 vsize=9824668 CPUtime=3.71 cores=1,3,5,7 /proc/23060/task/23063/stat : 23063 (java) S 23058 23060 22059 0 -1 4202560 822 0 0 0 358 13 0 0 20 0 22 0 253504319 10060460032 578367 33554432000 1073741824 1073778376 140734276068272 140556568308264 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=23060/tid=23064] ppid=23058 vsize=9824668 CPUtime=4.29 cores=1,3,5,7 /proc/23060/task/23064/stat : 23064 (java) S 23058 23060 22059 0 -1 4202560 1030 0 0 0 413 16 0 0 20 0 22 0 253504319 10060460032 578367 33554432000 1073741824 1073778376 140734276068272 140556567255464 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=23060/tid=23065] ppid=23058 vsize=9824668 CPUtime=4.41 cores=1,3,5,7 /proc/23060/task/23065/stat : 23065 (java) S 23058 23060 22059 0 -1 4202560 664 0 0 0 425 16 0 0 20 0 22 0 253504319 10060460032 578367 33554432000 1073741824 1073778376 140734276068272 140556566202664 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=23060/tid=23066] ppid=23058 vsize=9824668 CPUtime=3.82 cores=1,3,5,7 /proc/23060/task/23066/stat : 23066 (java) S 23058 23060 22059 0 -1 4202560 1082 0 0 0 368 14 0 0 20 0 22 0 253504319 10060460032 578367 33554432000 1073741824 1073778376 140734276068272 140556565149864 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=23060/tid=23067] ppid=23058 vsize=9824668 CPUtime=4.36 cores=1,3,5,7 /proc/23060/task/23067/stat : 23067 (java) S 23058 23060 22059 0 -1 4202560 1369 0 0 0 419 17 0 0 20 0 22 0 253504319 10060460032 578367 33554432000 1073741824 1073778376 140734276068272 140556564098088 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=23060/tid=23068] ppid=23058 vsize=9824668 CPUtime=3.84 cores=1,3,5,7 /proc/23060/task/23068/stat : 23068 (java) S 23058 23060 22059 0 -1 4202560 895 0 0 0 368 16 0 0 20 0 22 0 253504319 10060460032 578367 33554432000 1073741824 1073778376 140734276068272 140556417842088 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=23060/tid=23069] ppid=23058 vsize=9824668 CPUtime=3.92 cores=1,3,5,7 /proc/23060/task/23069/stat : 23069 (java) S 23058 23060 22059 0 -1 4202560 1095 0 0 0 380 12 0 0 20 0 22 0 253504319 10060460032 578367 33554432000 1073741824 1073778376 140734276068272 140556416789288 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=23060/tid=23070] ppid=23058 vsize=9824668 CPUtime=3.83 cores=1,3,5,7 /proc/23060/task/23070/stat : 23070 (java) S 23058 23060 22059 0 -1 4202560 1076 0 0 0 371 12 0 0 20 0 22 0 253504319 10060460032 578367 33554432000 1073741824 1073778376 140734276068272 140556415736488 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=23060/tid=23071] ppid=23058 vsize=9824668 CPUtime=260.33 cores=1,3,5,7 /proc/23060/task/23071/stat : 23071 (java) S 23058 23060 22059 0 -1 4202560 6911 0 0 0 25994 39 0 0 20 0 22 0 253504320 10060460032 578367 33554432000 1073741824 1073778376 140734276068272 140556403325416 233415161769 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=23060/tid=23072] ppid=23058 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/23060/task/23072/stat : 23072 (java) S 23058 23060 22059 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253504320 10060460032 578367 33554432000 1073741824 1073778376 140734276068272 140556402271480 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=23060/tid=23073] ppid=23058 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/23060/task/23073/stat : 23073 (java) S 23058 23060 22059 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 22 0 253504320 10060460032 578367 33554432000 1073741824 1073778376 140734276068272 140556401218568 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=23060/tid=23074] ppid=23058 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/23060/task/23074/stat : 23074 (java) S 23058 23060 22059 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253504323 10060460032 578367 33554432000 1073741824 1073778376 140734276068272 140556400167056 233415169824 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=23060/tid=23075] ppid=23058 vsize=9824668 CPUtime=1.53 cores=1,3,5,7 /proc/23060/task/23075/stat : 23075 (java) S 23058 23060 22059 0 -1 4202560 8178 0 0 0 151 2 0 0 20 0 22 0 253504323 10060460032 578367 33554432000 1073741824 1073778376 140734276068272 140556399115192 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=23060/tid=23076] ppid=23058 vsize=9824668 CPUtime=1.17 cores=1,3,5,7 /proc/23060/task/23076/stat : 23076 (java) S 23058 23060 22059 0 -1 4202560 10947 0 0 0 114 3 0 0 20 0 22 0 253504323 10060460032 578367 33554432000 1073741824 1073778376 140734276068272 140556398062392 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=23060/tid=23077] ppid=23058 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/23060/task/23077/stat : 23077 (java) S 23058 23060 22059 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253504323 10060460032 578367 33554432000 1073741824 1073778376 140734276068272 140556397009784 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=23060/tid=23078] ppid=23058 vsize=9824668 CPUtime=0.52 cores=1,3,5,7 /proc/23060/task/23078/stat : 23078 (java) S 23058 23060 22059 0 -1 4202560 58 0 0 0 29 23 0 0 20 0 22 0 253504323 10060460032 578367 33554432000 1073741824 1073778376 140734276068272 140556395957192 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=23060/tid=23085] ppid=23058 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/23060/task/23085/stat : 23085 (java) S 23058 23060 22059 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253504397 10060460032 578367 33554432000 1073741824 1073778376 140734276068272 140556394902952 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=23060/tid=23180] ppid=23058 vsize=9824668 CPUtime=154.02 cores=1,3,5,7 /proc/23060/task/23180/stat : 23180 (java) R 23058 23060 22059 0 -1 4202560 15 0 0 0 15400 2 0 0 20 0 22 0 253580689 10060460032 578367 33554432000 1073741824 1073778376 140734276068272 140556392794752 140556445648395 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 [pid=23060/tid=23181] ppid=23058 vsize=9824668 CPUtime=153.99 cores=1,3,5,7 /proc/23060/task/23181/stat : 23181 (java) R 23058 23060 22059 0 -1 4202560 25 0 0 0 15397 2 0 0 20 0 22 0 253580689 10060460032 578367 33554432000 1073741824 1073778376 140734276068272 140556391742672 140556446437466 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 [pid=23060/tid=23182] ppid=23058 vsize=9824668 CPUtime=0 cores=1,3,5,7 /proc/23060/task/23182/stat : 23182 (java) S 23058 23060 22059 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253580689 10060460032 578367 33554432000 1073741824 1073778376 140734276068272 140556393849640 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1800.02 Current children cumulated vsize (KiB) 9824668 Child status: 143 Real time (s): 1024.17 CPU time (s): 1800.41 CPU user time (s): 1797.95 CPU system time (s): 2.46163 CPU usage (%): 175.793 Max. virtual memory (cumulated for all children) (KiB): 9824668 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1797.95 system time used= 2.46162 maximum resident set size= 2313636 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 38642 page faults= 1 swaps= 0 block input operations= 0 block output operations= 1096 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 28774 involuntary context switches= 45503 runsolver used 4.01139 second user time and 10.1135 second system time The end
Begin job on node111 at 2012-05-24 17:36:13 IDJOB=3687728 IDBENCH=2043 IDSOLVER=2268 FILE ID=node111/3687728-1337873773 RUNJOBID= node111-1337871880-22076 PBS_JOBID= 14620093 Free space on /tmp= 71624 MiB SOLVER NAME= SAT 4j PB RES // CP 2.3.2 Snapshot BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/logic-synthesis/normalized-max1024.pi.opb COMMAND LINE= java -jar HOME/sat4j-pb.jar Both BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3687728-1337873773/watcher-3687728-1337873773 -o /tmp/evaluation-result-3687728-1337873773/solver-3687728-1337873773 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar Both HOME/instance-3687728-1337873773.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 93fc03471d2b2f18ece1d77179dbcb30 RANDOM SEED=1473233965 node111.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.152 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 : 5332.30 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.152 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.152 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 : 5331.92 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.152 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.152 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.152 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.152 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.152 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.90 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32873844 kB MemFree: 27569644 kB Buffers: 199412 kB Cached: 3050436 kB SwapCached: 0 kB Active: 2030828 kB Inactive: 2502896 kB Active(anon): 1286280 kB Inactive(anon): 0 kB Active(file): 744548 kB Inactive(file): 2502896 kB Unevictable: 7100 kB Mlocked: 7100 kB SwapTotal: 67108856 kB SwapFree: 67108856 kB Dirty: 200 kB Writeback: 0 kB AnonPages: 1292484 kB Mapped: 22640 kB Shmem: 200 kB Slab: 629580 kB SReclaimable: 72048 kB SUnreclaim: 557532 kB KernelStack: 1616 kB PageTables: 7432 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545776 kB Committed_AS: 1428196 kB VmallocTotal: 34359738367 kB VmallocUsed: 346368 kB VmallocChunk: 34341987984 kB HardwareCorrupted: 0 kB AnonHugePages: 1232896 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= 71624 MiB End job on node111 at 2012-05-24 17:53:20