Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
PB11: Sat4j Res//CP 2.3.0 | SAT (TO) | 3979 | 1800.17 | 948.944 |
Name | normalized-PB06/OPT-SMALLINT/mps-v2-20-10/ MIPLIB/miplib/normalized-mps-v2-20-10-lp4l.opb |
MD5SUM | 8d2c17131f0dd6c2b5d472cf1eef4c89 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 2967 |
Best CPU time to get the best result obtained on this benchmark | 0.208968 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 2967 |
Optimality of the best value was proved | YES |
Number of variables | 1086 |
Total number of constraints | 85 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 84 |
Number of constraints which are nor clauses,nor cardinality constraints | 1 |
Minimum length of a constraint | 4 |
Maximum length of a constraint | 1086 |
Number of terms in the objective function | 1086 |
Biggest coefficient in the objective function | 283 |
Number of bits for the biggest coefficient in the objective function | 9 |
Sum of the numbers in the objective function | 197191 |
Number of bits of the sum of numbers in the objective function | 18 |
Biggest number in a constraint | 283 |
Number of bits of the biggest number in a constraint | 9 |
Biggest sum of numbers in a constraint | 197191 |
Number of bits of the biggest sum of numbers | 18 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.03/0.09 c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre 0.03/0.09 c This is free software under the dual EPL/GNU LGPL licenses. 0.03/0.09 c See www.sat4j.org for details. 0.03/0.09 c version 2.3.1.v20110525 0.03/0.09 c java.runtime.name Java(TM) SE Runtime Environment 0.03/0.09 c java.vm.name Java HotSpot(TM) 64-Bit Server VM 0.03/0.09 c java.vm.version 19.1-b02 0.03/0.09 c java.vm.vendor Sun Microsystems Inc. 0.03/0.09 c sun.arch.data.model 64 0.03/0.09 c java.version 1.6.0_24 0.03/0.09 c os.name Linux 0.03/0.09 c os.version 2.6.32-71.29.1.el6.x86_64 0.03/0.09 c os.arch amd64 0.03/0.09 c Free memory 9996466904 0.03/0.09 c Max memory 10048897024 0.03/0.09 c Total memory 10048897024 0.03/0.09 c Number of processors 8 0.09/0.12 c Pseudo Boolean Optimization 0.09/0.12 c ManyCore solver with 2 solvers running in parallel 0.09/0.12 c --- Begin Solver configuration --- 0.09/0.12 c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@5495fd19 0.09/0.12 c Learn all clauses as in MiniSAT 0.09/0.12 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.09/0.12 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.09/0.12 c Expensive reason simplification 0.09/0.12 c Armin Biere (Picosat) restarts strategy 0.09/0.12 c Glucose learned constraints deletion strategy 0.09/0.12 c timeout=2147483s 0.09/0.12 c DB Simplification allowed=false 0.09/0.12 c --- End Solver configuration --- 0.09/0.12 c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP) 0.09/0.12 c --- Begin Solver configuration --- 0.09/0.12 c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@ae94e92 0.09/0.12 c Learn all clauses as in MiniSAT 0.09/0.12 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.09/0.12 c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function 0.09/0.12 c No reason simplification 0.09/0.12 c Armin Biere (Picosat) restarts strategy 0.09/0.12 c Glucose learned constraints deletion strategy 0.09/0.12 c timeout=2147483s 0.09/0.12 c DB Simplification allowed=false 0.09/0.12 c --- End Solver configuration --- 0.09/0.12 c solving HOME/instance-3731160-1338680494.opb 0.09/0.12 c reading problem ... 0.25/0.25 c ... done. Wall clock time 0.136s. 0.25/0.25 c #vars 1086 0.25/0.25 c #constraints 169 0.25/0.25 c constraints type 0.25/0.26 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 83 0.25/0.26 c org.sat4j.minisat.constraints.card.MinWatchCard => 85 0.25/0.26 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 1 0.25/0.26 c constraints type 0.25/0.26 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 83 0.25/0.26 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 85 0.25/0.26 c org.sat4j.pb.constraints.pb.MaxWatchPb => 1 1.78/0.65 c And the winner is Resolution 2.10/0.77 c SATISFIABLE 2.10/0.77 c OPTIMIZING... 2.10/0.77 c Got one! Elapsed wall clock time (in seconds):0.647 2.10/0.77 o 4680 3.00/1.05 c And the winner is Resolution 3.12/1.27 c Got one! Elapsed wall clock time (in seconds):1.153 3.12/1.27 o 4599 3.21/1.37 c And the winner is Resolution 3.41/1.78 c Got one! Elapsed wall clock time (in seconds):1.658 3.41/1.78 o 4155 4.27/2.28 c cleaning 3200 clauses out of 6416 with flag 3002/6416 6.45/3.29 c cleaning 4590 clauses out of 9216 with flag 9002/12416 9.22/4.60 c cleaning 5800 clauses out of 11625 with flag 16001/19415 11.00/5.56 c And the winner is Resolution 11.19/5.78 c Got one! Elapsed wall clock time (in seconds):5.663 11.19/5.78 o 3990 13.22/6.80 c cleaning 8317 clauses out of 16660 with flag 5001/30250 15.86/8.17 c cleaning 7150 clauses out of 14342 with flag 11000/36249 18.84/9.62 c cleaning 7066 clauses out of 14192 with flag 18000/43249 22.02/11.21 c cleaning 7550 clauses out of 15126 with flag 26000/51249 25.25/12.86 c cleaning 8254 clauses out of 16576 with flag 35000/60249 29.67/15.03 c cleaning 9099 clauses out of 18325 with flag 45003/70252 34.07/17.27 c cleaning 9587 clauses out of 19224 with flag 55001/80250 38.04/19.28 c cleaning 9783 clauses out of 19637 with flag 65001/90250 42.41/21.45 c cleaning 9862 clauses out of 19853 with flag 75000/100249 47.13/23.85 c cleaning 9960 clauses out of 19991 with flag 85000/110249 51.28/25.92 c cleaning 9992 clauses out of 20031 with flag 95000/120249 55.62/28.17 c cleaning 9986 clauses out of 20040 with flag 105001/130250 59.75/30.29 c cleaning 10008 clauses out of 20053 with flag 115000/140249 63.87/32.32 c cleaning 9987 clauses out of 20046 with flag 125001/150250 67.41/34.17 c cleaning 9995 clauses out of 20058 with flag 135000/160249 70.72/35.86 c cleaning 10004 clauses out of 20063 with flag 145000/170249 74.63/37.85 c cleaning 10017 clauses out of 20062 with flag 155003/180252 78.49/39.79 c cleaning 9992 clauses out of 20042 with flag 165000/190249 82.92/41.86 c cleaning 10004 clauses out of 20051 with flag 175001/200250 88.62/44.73 c cleaning 9989 clauses out of 20047 with flag 185001/210250 92.14/46.53 c cleaning 9995 clauses out of 20057 with flag 195000/220249 95.20/48.11 c cleaning 9992 clauses out of 20062 with flag 205000/230249 98.51/49.80 c cleaning 10003 clauses out of 20070 with flag 215000/240249 101.64/51.47 c cleaning 10017 clauses out of 20068 with flag 225001/250250 104.74/53.05 c cleaning 10007 clauses out of 20050 with flag 235000/260249 108.99/55.20 c cleaning 9990 clauses out of 20043 with flag 245000/270249 113.69/57.62 c cleaning 9965 clauses out of 20053 with flag 255000/280249 117.99/59.85 c cleaning 10009 clauses out of 20091 with flag 265003/290252 122.49/62.16 c cleaning 10018 clauses out of 20080 with flag 275001/300250 126.13/64.05 c cleaning 9998 clauses out of 20061 with flag 285000/310249 129.83/65.96 c cleaning 10015 clauses out of 20064 with flag 295001/320250 133.91/68.04 c cleaning 9956 clauses out of 20048 with flag 305000/330249 137.21/69.75 c cleaning 9964 clauses out of 20092 with flag 315000/340249 140.84/71.66 c cleaning 10025 clauses out of 20129 with flag 325001/350250 144.93/73.72 c cleaning 9987 clauses out of 20103 with flag 335000/360249 148.80/75.73 c cleaning 9984 clauses out of 20116 with flag 345000/370249 153.89/78.30 c cleaning 10005 clauses out of 20132 with flag 355000/380249 158.89/80.92 c cleaning 10003 clauses out of 20127 with flag 365000/390249 162.97/83.07 c cleaning 10028 clauses out of 20127 with flag 375003/400252 166.45/84.89 c cleaning 10028 clauses out of 20097 with flag 385001/410250 171.11/87.28 c cleaning 9901 clauses out of 20069 with flag 395001/420250 175.71/89.60 c cleaning 10020 clauses out of 20168 with flag 405001/430250 180.98/92.35 c cleaning 10019 clauses out of 20148 with flag 415001/440250 184.65/94.20 c cleaning 10042 clauses out of 20128 with flag 425000/450249 188.31/96.11 c cleaning 10019 clauses out of 20086 with flag 435000/460249 191.51/97.82 c cleaning 10014 clauses out of 20067 with flag 445000/470249 195.79/100.00 c cleaning 9983 clauses out of 20054 with flag 455001/480250 199.84/102.16 c cleaning 9999 clauses out of 20070 with flag 465000/490249 204.10/104.38 c cleaning 9997 clauses out of 20072 with flag 475001/500250 208.29/106.58 c cleaning 9999 clauses out of 20075 with flag 485001/510250 212.34/108.63 c cleaning 9990 clauses out of 20075 with flag 495000/520249 215.62/110.33 c cleaning 9979 clauses out of 20086 with flag 505001/530250 219.67/112.47 c cleaning 10015 clauses out of 20106 with flag 515000/540249 223.65/114.53 c cleaning 9970 clauses out of 20091 with flag 525000/550249 227.72/116.62 c cleaning 10012 clauses out of 20121 with flag 535000/560249 231.17/118.44 c cleaning 10023 clauses out of 20110 with flag 545001/570250 235.04/120.47 c cleaning 9988 clauses out of 20087 with flag 555001/580250 239.02/122.58 c cleaning 10015 clauses out of 20098 with flag 565000/590249 242.89/124.59 c cleaning 9946 clauses out of 20083 with flag 575000/600249 246.56/126.49 c cleaning 9979 clauses out of 20141 with flag 585004/610253 250.00/128.26 c cleaning 10028 clauses out of 20158 with flag 595000/620249 253.98/130.36 c cleaning 10021 clauses out of 20130 with flag 605000/630249 259.25/133.04 c cleaning 9984 clauses out of 20109 with flag 615000/640249 264.10/135.36 c cleaning 9987 clauses out of 20125 with flag 625000/650249 267.64/137.05 c cleaning 9955 clauses out of 20139 with flag 635001/660250 271.02/138.84 c cleaning 10007 clauses out of 20183 with flag 645000/670249 274.08/140.46 c cleaning 10062 clauses out of 20176 with flag 655000/680249 277.14/142.08 c cleaning 10021 clauses out of 20115 with flag 665001/690250 281.01/144.04 c cleaning 10019 clauses out of 20098 with flag 675005/700254 284.57/145.91 c cleaning 10002 clauses out of 20074 with flag 685000/710249 287.83/147.62 c cleaning 10009 clauses out of 20073 with flag 695001/720250 291.51/149.56 c cleaning 9995 clauses out of 20063 with flag 705000/730249 294.77/151.29 c cleaning 9997 clauses out of 20070 with flag 715002/740251 298.95/153.43 c cleaning 9992 clauses out of 20071 with flag 725000/750249 302.61/155.38 c cleaning 10000 clauses out of 20079 with flag 735000/760249 306.29/157.28 c cleaning 10002 clauses out of 20079 with flag 745000/770249 309.92/159.12 c cleaning 9997 clauses out of 20077 with flag 755000/780249 313.71/161.16 c cleaning 10007 clauses out of 20080 with flag 765000/790249 318.18/163.41 c cleaning 9999 clauses out of 20073 with flag 775000/800249 322.65/165.76 c cleaning 9986 clauses out of 20074 with flag 785000/810249 326.51/167.80 c cleaning 9998 clauses out of 20089 with flag 795001/820250 330.70/169.95 c cleaning 9991 clauses out of 20092 with flag 805002/830251 334.54/171.91 c cleaning 10013 clauses out of 20100 with flag 815001/840250 338.40/173.96 c cleaning 9983 clauses out of 20086 with flag 825000/850249 342.66/176.13 c cleaning 10008 clauses out of 20103 with flag 835000/860249 346.24/178.04 c cleaning 9995 clauses out of 20095 with flag 845000/870249 350.29/180.12 c cleaning 10017 clauses out of 20101 with flag 855001/880250 353.76/181.94 c cleaning 9996 clauses out of 20084 with flag 865001/890250 358.02/184.11 c cleaning 9972 clauses out of 20087 with flag 875000/900249 362.19/186.35 c cleaning 10034 clauses out of 20115 with flag 885000/910249 365.46/188.06 c cleaning 10013 clauses out of 20081 with flag 895000/920249 369.50/190.10 c cleaning 9925 clauses out of 20068 with flag 905000/930249 374.36/192.61 c cleaning 9951 clauses out of 20143 with flag 915000/940249 378.94/195.04 c cleaning 10003 clauses out of 20192 with flag 925000/950249 383.00/197.10 c cleaning 9990 clauses out of 20190 with flag 935001/960250 386.46/198.96 c cleaning 10007 clauses out of 20199 with flag 945000/970249 390.51/201.01 c cleaning 10049 clauses out of 20194 with flag 955002/980251 394.89/203.38 c cleaning 10035 clauses out of 20143 with flag 965000/990249 399.56/205.76 c cleaning 10019 clauses out of 20108 with flag 975000/1000249 401.80/206.97 c And the winner is Resolution 415.70/221.23 c Got one! Elapsed wall clock time (in seconds):221.11 415.70/221.23 o 3981 417.32/222.38 c cleaning 10335 clauses out of 20702 with flag 5002/1010862 420.18/223.84 c cleaning 8128 clauses out of 16365 with flag 11000/1016860 423.55/225.61 c cleaning 7579 clauses out of 15237 with flag 18000/1023860 427.44/227.62 c cleaning 7805 clauses out of 15658 with flag 26000/1031860 431.70/229.86 c cleaning 8389 clauses out of 16855 with flag 35002/1040862 436.74/232.48 c cleaning 9214 clauses out of 18464 with flag 45000/1050860 437.94/233.15 c And the winner is Resolution 438.15/233.38 c Got one! Elapsed wall clock time (in seconds):233.263 438.15/233.38 o 3979 439.45/234.06 c cleaning 7425 clauses out of 14943 with flag 3001/1056553 441.91/235.40 c cleaning 6717 clauses out of 13517 with flag 9000/1062552 445.35/237.14 c cleaning 6793 clauses out of 13801 with flag 16001/1069553 449.02/239.07 c cleaning 7406 clauses out of 15007 with flag 24000/1077552 453.58/241.41 c cleaning 8223 clauses out of 16602 with flag 33001/1086553 458.03/243.71 c cleaning 9123 clauses out of 18378 with flag 43000/1096552 462.68/246.12 c cleaning 9528 clauses out of 19256 with flag 53001/1106553 466.93/248.33 c cleaning 9772 clauses out of 19733 with flag 63006/1116558 471.27/250.61 c cleaning 9962 clauses out of 19955 with flag 73000/1126552 475.92/253.02 c cleaning 9975 clauses out of 19994 with flag 83001/1136553 480.35/255.37 c cleaning 9984 clauses out of 20019 with flag 93001/1146553 485.58/258.03 c cleaning 9981 clauses out of 20036 with flag 103002/1156554 491.52/261.10 c cleaning 9979 clauses out of 20053 with flag 113000/1166552 496.75/263.89 c cleaning 10008 clauses out of 20074 with flag 123000/1176552 501.79/266.49 c cleaning 10009 clauses out of 20068 with flag 133002/1186554 506.83/269.02 c cleaning 10007 clauses out of 20059 with flag 143002/1196554 511.56/271.60 c cleaning 10004 clauses out of 20050 with flag 153000/1206552 515.98/273.86 c cleaning 9992 clauses out of 20046 with flag 163000/1216552 520.40/276.19 c cleaning 9988 clauses out of 20055 with flag 173001/1226553 525.01/278.55 c cleaning 10004 clauses out of 20066 with flag 183000/1236552 529.32/280.83 c cleaning 9992 clauses out of 20062 with flag 193000/1246552 533.33/282.94 c cleaning 9992 clauses out of 20071 with flag 203001/1256553 537.36/285.04 c cleaning 9987 clauses out of 20078 with flag 213000/1266552 541.78/287.38 c cleaning 9993 clauses out of 20091 with flag 223000/1276552 546.09/289.70 c cleaning 10005 clauses out of 20099 with flag 233001/1286553 550.11/291.78 c cleaning 10008 clauses out of 20093 with flag 243000/1296552 554.32/293.99 c cleaning 10009 clauses out of 20085 with flag 253000/1306552 558.34/296.02 c cleaning 10004 clauses out of 20076 with flag 263000/1316552 562.26/298.11 c cleaning 10001 clauses out of 20073 with flag 273001/1326553 566.47/300.34 c cleaning 9979 clauses out of 20071 with flag 283000/1336552 571.27/302.82 c cleaning 10010 clauses out of 20093 with flag 293001/1346553 575.28/304.92 c cleaning 10006 clauses out of 20082 with flag 303000/1356552 578.82/306.81 c cleaning 10029 clauses out of 20077 with flag 313001/1366553 582.63/308.83 c cleaning 9993 clauses out of 20048 with flag 323001/1376553 586.85/311.05 c cleaning 9986 clauses out of 20054 with flag 333000/1386552 590.85/313.18 c cleaning 10003 clauses out of 20069 with flag 343001/1396553 594.36/315.06 c cleaning 9994 clauses out of 20067 with flag 353002/1406554 597.59/316.73 c cleaning 9999 clauses out of 20071 with flag 363000/1416552 601.38/318.72 c cleaning 9980 clauses out of 20073 with flag 373001/1426553 605.81/321.08 c cleaning 9992 clauses out of 20092 with flag 383000/1436552 609.91/323.28 c cleaning 9987 clauses out of 20101 with flag 393001/1446553 614.93/325.82 c cleaning 9923 clauses out of 20113 with flag 403000/1456552 618.76/327.80 c cleaning 10035 clauses out of 20191 with flag 413001/1466553 622.37/329.78 c cleaning 10024 clauses out of 20155 with flag 423000/1476552 626.27/331.90 c cleaning 10016 clauses out of 20132 with flag 433001/1486553 629.49/333.56 c cleaning 10008 clauses out of 20115 with flag 443000/1496552 633.50/335.69 c cleaning 10012 clauses out of 20108 with flag 453001/1506553 637.32/337.68 c cleaning 10018 clauses out of 20096 with flag 463001/1516553 641.80/340.03 c cleaning 9977 clauses out of 20077 with flag 473000/1526552 645.83/342.17 c cleaning 10026 clauses out of 20100 with flag 483000/1536552 649.44/344.09 c cleaning 10013 clauses out of 20075 with flag 493001/1546553 653.45/346.18 c cleaning 9992 clauses out of 20061 with flag 503000/1556552 658.16/348.70 c cleaning 9976 clauses out of 20070 with flag 513001/1566553 662.75/351.03 c cleaning 9981 clauses out of 20093 with flag 523000/1576552 666.36/352.99 c cleaning 9995 clauses out of 20112 with flag 533000/1586552 670.37/355.09 c cleaning 10017 clauses out of 20117 with flag 543000/1596552 675.08/357.55 c cleaning 9993 clauses out of 20100 with flag 553000/1606552 678.67/359.46 c cleaning 10008 clauses out of 20107 with flag 563000/1616552 682.88/361.67 c cleaning 9998 clauses out of 20099 with flag 573000/1626552 686.88/363.75 c cleaning 9991 clauses out of 20101 with flag 583000/1636552 691.17/366.08 c cleaning 9996 clauses out of 20110 with flag 593000/1646552 694.98/368.01 c cleaning 10007 clauses out of 20115 with flag 603001/1656553 698.59/369.95 c cleaning 10029 clauses out of 20107 with flag 613000/1666552 703.20/372.38 c cleaning 9988 clauses out of 20078 with flag 623000/1676552 707.30/374.55 c cleaning 10005 clauses out of 20090 with flag 633000/1686552 710.91/376.49 c cleaning 10008 clauses out of 20085 with flag 643000/1696552 715.73/378.96 c cleaning 10006 clauses out of 20077 with flag 653000/1706552 720.55/381.47 c cleaning 10005 clauses out of 20071 with flag 663000/1716552 725.05/383.81 c cleaning 10002 clauses out of 20067 with flag 673001/1726553 729.45/386.18 c cleaning 10001 clauses out of 20066 with flag 683002/1736554 734.25/388.61 c cleaning 10005 clauses out of 20064 with flag 693001/1746553 738.66/390.94 c cleaning 10004 clauses out of 20058 with flag 703000/1756552 743.15/393.30 c cleaning 9999 clauses out of 20054 with flag 713000/1766552 747.96/395.85 c cleaning 9996 clauses out of 20055 with flag 723000/1776552 751.98/397.99 c cleaning 10002 clauses out of 20059 with flag 733000/1786552 756.18/400.16 c cleaning 10003 clauses out of 20060 with flag 743003/1796555 760.10/402.21 c cleaning 9992 clauses out of 20054 with flag 753000/1806552 764.92/404.79 c cleaning 10006 clauses out of 20063 with flag 763001/1816553 769.92/407.37 c cleaning 9998 clauses out of 20056 with flag 773000/1826552 775.54/410.22 c cleaning 10002 clauses out of 20059 with flag 783001/1836553 780.42/412.88 c cleaning 9992 clauses out of 20058 with flag 793002/1846554 786.43/415.96 c cleaning 10002 clauses out of 20065 with flag 803001/1856553 791.64/418.62 c cleaning 9996 clauses out of 20062 with flag 813000/1866552 795.85/420.88 c cleaning 9999 clauses out of 20067 with flag 823001/1876553 800.75/423.41 c cleaning 10012 clauses out of 20069 with flag 833002/1886554 805.16/425.76 c cleaning 9999 clauses out of 20055 with flag 843000/1896552 810.14/428.33 c cleaning 10003 clauses out of 20056 with flag 853000/1906552 814.54/430.68 c cleaning 9990 clauses out of 20054 with flag 863001/1916553 819.63/433.36 c cleaning 9996 clauses out of 20063 with flag 873000/1926552 826.03/436.62 c cleaning 9987 clauses out of 20068 with flag 883001/1936553 831.61/439.57 c cleaning 10005 clauses out of 20081 with flag 893001/1946553 836.82/442.30 c cleaning 10004 clauses out of 20075 with flag 903000/1956552 841.49/444.71 c cleaning 9998 clauses out of 20071 with flag 913000/1966552 846.09/447.10 c cleaning 10018 clauses out of 20073 with flag 923000/1976552 851.30/449.88 c cleaning 10010 clauses out of 20055 with flag 933000/1986552 857.28/452.97 c cleaning 9992 clauses out of 20047 with flag 943002/1996554 863.36/456.16 c cleaning 9984 clauses out of 20053 with flag 953000/2006552 869.16/459.12 c cleaning 10015 clauses out of 20069 with flag 963000/2016552 873.77/461.59 c cleaning 9980 clauses out of 20054 with flag 973000/2026552 877.98/463.79 c cleaning 10011 clauses out of 20074 with flag 983000/2036552 882.87/466.39 c cleaning 9994 clauses out of 20063 with flag 993000/2046552 887.07/468.53 c cleaning 10026 clauses out of 20070 with flag 1003001/2056553 891.66/470.93 c cleaning 9997 clauses out of 20044 with flag 1013001/2066553 896.45/473.42 c cleaning 10002 clauses out of 20047 with flag 1023001/2076553 901.92/476.37 c cleaning 9994 clauses out of 20045 with flag 1033001/2086553 906.71/478.82 c cleaning 9982 clauses out of 20050 with flag 1043000/2096552 911.30/481.29 c cleaning 10007 clauses out of 20069 with flag 1053001/2106553 916.11/483.77 c cleaning 10000 clauses out of 20066 with flag 1063005/2116557 920.78/486.26 c cleaning 9988 clauses out of 20062 with flag 1073001/2126553 924.98/488.42 c cleaning 9910 clauses out of 20074 with flag 1083001/2136553 929.38/490.77 c cleaning 9982 clauses out of 20164 with flag 1093001/2146553 933.39/492.88 c cleaning 10001 clauses out of 20181 with flag 1103000/2156552 937.84/495.27 c cleaning 10051 clauses out of 20180 with flag 1113000/2166552 941.46/497.17 c cleaning 9985 clauses out of 20131 with flag 1123002/2176554 946.04/499.56 c cleaning 10014 clauses out of 20144 with flag 1133000/2186552 950.44/501.89 c cleaning 9967 clauses out of 20130 with flag 1143000/2196552 954.71/504.17 c cleaning 10048 clauses out of 20164 with flag 1153001/2206553 959.11/506.43 c cleaning 9971 clauses out of 20115 with flag 1163000/2216552 963.11/508.56 c cleaning 10014 clauses out of 20144 with flag 1173000/2226552 967.51/510.80 c cleaning 10032 clauses out of 20130 with flag 1183000/2236552 971.97/513.25 c cleaning 10031 clauses out of 20098 with flag 1193000/2246552 976.16/515.45 c cleaning 10006 clauses out of 20068 with flag 1203001/2256553 980.17/517.52 c cleaning 10008 clauses out of 20062 with flag 1213001/2266553 983.77/519.45 c cleaning 9999 clauses out of 20053 with flag 1223000/2276552 987.44/521.43 c cleaning 10005 clauses out of 20055 with flag 1233001/2286553 991.22/523.44 c cleaning 10000 clauses out of 20052 with flag 1243003/2296555 995.42/525.64 c cleaning 9999 clauses out of 20050 with flag 1253001/2306553 999.42/527.72 c cleaning 10007 clauses out of 20050 with flag 1263000/2316552 1003.28/529.89 c cleaning 10011 clauses out of 20043 with flag 1273000/2326552 1007.88/532.30 c cleaning 9973 clauses out of 20033 with flag 1283001/2336553 1013.08/534.97 c cleaning 9992 clauses out of 20059 with flag 1293000/2346552 1018.08/537.54 c cleaning 9997 clauses out of 20069 with flag 1303002/2356554 1023.15/540.20 c cleaning 9989 clauses out of 20071 with flag 1313001/2366553 1027.54/542.58 c cleaning 10021 clauses out of 20082 with flag 1323001/2376553 1032.95/545.33 c cleaning 9963 clauses out of 20060 with flag 1333000/2386552 1038.14/548.02 c cleaning 10019 clauses out of 20098 with flag 1343001/2396553 1043.42/550.80 c cleaning 10009 clauses out of 20079 with flag 1353001/2406553 1048.22/553.31 c cleaning 10011 clauses out of 20069 with flag 1363000/2416552 1052.23/555.46 c cleaning 9991 clauses out of 20058 with flag 1373000/2426552 1056.21/557.60 c cleaning 10007 clauses out of 20068 with flag 1383001/2436553 1060.49/559.89 c cleaning 9998 clauses out of 20062 with flag 1393002/2446554 1064.07/561.78 c cleaning 9980 clauses out of 20063 with flag 1403001/2456553 1068.07/563.89 c cleaning 10011 clauses out of 20084 with flag 1413002/2466554 1072.27/566.04 c cleaning 10016 clauses out of 20072 with flag 1423001/2476553 1077.74/568.92 c cleaning 9987 clauses out of 20056 with flag 1433001/2486553 1082.74/571.50 c cleaning 9961 clauses out of 20068 with flag 1443000/2496552 1088.93/574.79 c cleaning 10014 clauses out of 20108 with flag 1453001/2506553 1093.96/577.32 c cleaning 10001 clauses out of 20093 with flag 1463000/2516552 1099.40/580.25 c cleaning 9990 clauses out of 20092 with flag 1473000/2526552 1102.80/582.00 c cleaning 9994 clauses out of 20104 with flag 1483002/2536554 1105.82/583.66 c cleaning 10004 clauses out of 20109 with flag 1493001/2546553 1110.60/586.13 c cleaning 10016 clauses out of 20107 with flag 1503003/2556555 1114.05/588.09 c cleaning 10003 clauses out of 20088 with flag 1513000/2566552 1118.46/590.38 c cleaning 9982 clauses out of 20086 with flag 1523001/2576553 1122.45/592.40 c cleaning 9992 clauses out of 20104 with flag 1533001/2586553 1126.24/594.48 c cleaning 10000 clauses out of 20112 with flag 1543001/2596553 1130.50/596.78 c cleaning 10001 clauses out of 20112 with flag 1553001/2606553 1133.52/598.36 c cleaning 10003 clauses out of 20111 with flag 1563001/2616553 1137.11/600.20 c cleaning 10004 clauses out of 20108 with flag 1573001/2626553 1140.90/602.22 c cleaning 10032 clauses out of 20106 with flag 1583003/2636555 1145.55/604.78 c cleaning 9987 clauses out of 20074 with flag 1593003/2646555 1149.74/606.94 c cleaning 9986 clauses out of 20084 with flag 1603000/2656552 1153.73/609.05 c cleaning 10000 clauses out of 20099 with flag 1613001/2666553 1156.72/610.66 c cleaning 9998 clauses out of 20098 with flag 1623000/2676552 1160.98/612.96 c cleaning 9989 clauses out of 20100 with flag 1633000/2686552 1165.78/615.42 c cleaning 10025 clauses out of 20112 with flag 1643001/2696553 1169.38/617.35 c cleaning 10009 clauses out of 20086 with flag 1653000/2706552 1173.78/619.67 c cleaning 10023 clauses out of 20078 with flag 1663001/2716553 1178.03/621.99 c cleaning 9984 clauses out of 20054 with flag 1673000/2726552 1182.42/624.29 c cleaning 10021 clauses out of 20071 with flag 1683001/2736553 1186.81/626.56 c cleaning 9986 clauses out of 20051 with flag 1693002/2746554 1191.61/629.04 c cleaning 9957 clauses out of 20066 with flag 1703003/2756555 1197.06/631.91 c cleaning 9995 clauses out of 20107 with flag 1713001/2766553 1201.65/634.34 c cleaning 9901 clauses out of 20111 with flag 1723000/2776552 1206.26/636.76 c cleaning 10067 clauses out of 20211 with flag 1733001/2786553 1212.86/640.11 c cleaning 10039 clauses out of 20146 with flag 1743003/2796555 1218.70/643.29 c cleaning 10022 clauses out of 20107 with flag 1753003/2806555 1224.30/646.13 c cleaning 9980 clauses out of 20083 with flag 1763001/2816553 1230.50/649.31 c cleaning 10019 clauses out of 20103 with flag 1773001/2826553 1236.70/652.51 c cleaning 10011 clauses out of 20085 with flag 1783002/2836554 1242.56/655.64 c cleaning 9981 clauses out of 20074 with flag 1793002/2846554 1248.54/658.79 c cleaning 10012 clauses out of 20093 with flag 1803002/2856554 1255.16/662.12 c cleaning 9994 clauses out of 20083 with flag 1813004/2866556 1260.34/664.80 c cleaning 9880 clauses out of 20086 with flag 1823001/2876553 1264.99/667.37 c cleaning 10014 clauses out of 20205 with flag 1833000/2886552 1270.39/670.12 c cleaning 10064 clauses out of 20191 with flag 1843000/2896552 1275.20/672.65 c cleaning 10019 clauses out of 20127 with flag 1853000/2906552 1280.41/675.33 c cleaning 10000 clauses out of 20109 with flag 1863001/2916553 1286.05/678.31 c cleaning 10023 clauses out of 20108 with flag 1873000/2926552 1292.46/681.63 c cleaning 10005 clauses out of 20087 with flag 1883002/2936554 1297.87/684.41 c cleaning 9999 clauses out of 20081 with flag 1893001/2946553 1303.46/687.30 c cleaning 9986 clauses out of 20083 with flag 1903002/2956554 1308.91/690.28 c cleaning 10031 clauses out of 20098 with flag 1913003/2966555 1314.12/692.93 c cleaning 9992 clauses out of 20064 with flag 1923000/2976552 1319.09/695.59 c cleaning 10016 clauses out of 20074 with flag 1933002/2986554 1324.70/698.42 c cleaning 9992 clauses out of 20056 with flag 1943000/2996552 1330.14/701.39 c cleaning 9993 clauses out of 20065 with flag 1953001/3006553 1335.15/704.00 c cleaning 9994 clauses out of 20073 with flag 1963002/3016554 1340.74/706.85 c cleaning 10016 clauses out of 20081 with flag 1973004/3026556 1344.93/709.02 c cleaning 10003 clauses out of 20061 with flag 1983000/3036552 1349.79/711.69 c cleaning 9978 clauses out of 20059 with flag 1993001/3046553 1355.17/714.44 c cleaning 9999 clauses out of 20081 with flag 2003001/3056553 1359.98/716.91 c cleaning 10014 clauses out of 20081 with flag 2013000/3066552 1363.58/718.85 c cleaning 9968 clauses out of 20068 with flag 2023001/3076553 1366.82/720.69 c cleaning 10011 clauses out of 20099 with flag 2033000/3086552 1371.02/722.87 c cleaning 9993 clauses out of 20089 with flag 2043001/3096553 1374.82/724.81 c cleaning 10008 clauses out of 20095 with flag 2053000/3106552 1378.42/726.77 c cleaning 10013 clauses out of 20091 with flag 2063004/3116556 1383.29/729.36 c cleaning 9993 clauses out of 20076 with flag 2073002/3126554 1387.88/731.78 c cleaning 9995 clauses out of 20082 with flag 2083001/3136553 1392.07/733.91 c cleaning 9996 clauses out of 20086 with flag 2093000/3146552 1396.06/736.08 c cleaning 10006 clauses out of 20091 with flag 2103001/3156553 1400.32/738.34 c cleaning 10000 clauses out of 20084 with flag 2113000/3166552 1403.52/740.09 c cleaning 10008 clauses out of 20084 with flag 2123000/3176552 1407.12/741.98 c cleaning 10006 clauses out of 20076 with flag 2133000/3186552 1410.51/743.79 c cleaning 10007 clauses out of 20071 with flag 2143001/3196553 1414.38/745.84 c cleaning 9994 clauses out of 20064 with flag 2153001/3206553 1417.76/747.67 c cleaning 10003 clauses out of 20072 with flag 2163003/3216555 1421.36/749.50 c cleaning 10011 clauses out of 20069 with flag 2173003/3226555 1426.55/752.28 c cleaning 9987 clauses out of 20055 with flag 2183000/3236552 1431.02/754.64 c cleaning 10013 clauses out of 20069 with flag 2193001/3246553 1435.01/756.74 c cleaning 9996 clauses out of 20056 with flag 2203001/3256553 1440.20/759.42 c cleaning 10013 clauses out of 20063 with flag 2213004/3266556 1445.00/761.94 c cleaning 9985 clauses out of 20046 with flag 2223000/3276552 1449.05/764.14 c cleaning 9973 clauses out of 20062 with flag 2233001/3286553 1453.05/766.23 c cleaning 10009 clauses out of 20088 with flag 2243000/3296552 1456.85/768.27 c cleaning 10002 clauses out of 20079 with flag 2253000/3306552 1460.45/770.19 c cleaning 10002 clauses out of 20078 with flag 2263001/3316553 1463.90/772.03 c cleaning 9983 clauses out of 20076 with flag 2273001/3326553 1467.30/773.85 c cleaning 9988 clauses out of 20093 with flag 2283001/3336553 1471.09/775.81 c cleaning 10014 clauses out of 20106 with flag 2293002/3346554 1474.89/777.82 c cleaning 9986 clauses out of 20090 with flag 2303000/3356552 1478.55/779.86 c cleaning 9979 clauses out of 20104 with flag 2313000/3366552 1482.33/781.82 c cleaning 10034 clauses out of 20126 with flag 2323001/3376553 1486.53/784.04 c cleaning 9944 clauses out of 20094 with flag 2333003/3386555 1490.12/785.98 c cleaning 10041 clauses out of 20148 with flag 2343001/3396553 1494.57/788.36 c cleaning 10011 clauses out of 20106 with flag 2353000/3406552 1498.98/790.63 c cleaning 10012 clauses out of 20097 with flag 2363002/3416554 1502.77/792.61 c cleaning 10009 clauses out of 20083 with flag 2373000/3426552 1507.36/795.04 c cleaning 10011 clauses out of 20075 with flag 2383001/3436553 1512.21/797.69 c cleaning 9998 clauses out of 20065 with flag 2393002/3446554 1516.61/799.90 c cleaning 9964 clauses out of 20065 with flag 2403000/3456552 1520.80/802.12 c cleaning 10001 clauses out of 20101 with flag 2413000/3466552 1524.41/804.10 c cleaning 10035 clauses out of 20101 with flag 2423001/3476553 1529.05/806.59 c cleaning 9999 clauses out of 20067 with flag 2433002/3486554 1534.05/809.16 c cleaning 10007 clauses out of 20067 with flag 2443001/3496553 1540.25/812.31 c cleaning 9992 clauses out of 20060 with flag 2453001/3506553 1545.25/814.96 c cleaning 9992 clauses out of 20067 with flag 2463000/3516552 1550.50/817.78 c cleaning 9980 clauses out of 20075 with flag 2473000/3526552 1555.29/820.22 c cleaning 10002 clauses out of 20097 with flag 2483002/3536554 1559.50/822.43 c cleaning 9982 clauses out of 20093 with flag 2493000/3546552 1563.88/824.78 c cleaning 10012 clauses out of 20112 with flag 2503001/3556553 1569.93/827.96 c cleaning 9978 clauses out of 20101 with flag 2513002/3566554 1575.12/830.64 c cleaning 10000 clauses out of 20121 with flag 2523000/3576552 1579.92/833.10 c cleaning 10009 clauses out of 20122 with flag 2533001/3586553 1585.12/835.84 c cleaning 9998 clauses out of 20112 with flag 2543000/3596552 1591.17/839.06 c cleaning 10036 clauses out of 20115 with flag 2553001/3606553 1597.17/842.19 c cleaning 10011 clauses out of 20079 with flag 2563001/3616553 1602.56/844.95 c cleaning 9983 clauses out of 20067 with flag 2573000/3626552 1608.36/847.90 c cleaning 10024 clauses out of 20084 with flag 2583000/3636552 1613.80/850.81 c cleaning 10009 clauses out of 20061 with flag 2593001/3646553 1619.22/853.62 c cleaning 10003 clauses out of 20051 with flag 2603000/3656552 1624.40/856.39 c cleaning 9995 clauses out of 20049 with flag 2613001/3666553 1630.20/859.34 c cleaning 10010 clauses out of 20054 with flag 2623001/3676553 1635.65/862.21 c cleaning 9988 clauses out of 20044 with flag 2633001/3686553 1640.05/864.58 c cleaning 9958 clauses out of 20055 with flag 2643000/3696552 1644.45/866.88 c cleaning 9997 clauses out of 20098 with flag 2653001/3706553 1648.23/868.85 c cleaning 10001 clauses out of 20101 with flag 2663001/3716553 1652.27/871.02 c cleaning 9981 clauses out of 20100 with flag 2673001/3726553 1656.47/873.23 c cleaning 9995 clauses out of 20119 with flag 2683001/3736553 1660.66/875.44 c cleaning 9985 clauses out of 20123 with flag 2693000/3746552 1664.26/877.37 c cleaning 9988 clauses out of 20138 with flag 2703000/3756552 1668.29/879.55 c cleaning 9990 clauses out of 20150 with flag 2713000/3766552 1672.29/881.61 c cleaning 10003 clauses out of 20160 with flag 2723000/3776552 1675.50/883.38 c cleaning 10002 clauses out of 20157 with flag 2733000/3786552 1679.29/885.36 c cleaning 9991 clauses out of 20156 with flag 2743001/3796553 1683.34/887.51 c cleaning 10009 clauses out of 20165 with flag 2753001/3806553 1686.93/889.42 c cleaning 9998 clauses out of 20155 with flag 2763000/3816552 1690.73/891.48 c cleaning 10000 clauses out of 20158 with flag 2773001/3826553 1694.53/893.49 c cleaning 10004 clauses out of 20161 with flag 2783004/3836556 1698.37/895.52 c cleaning 9993 clauses out of 20153 with flag 2793000/3846552 1701.96/897.46 c cleaning 10004 clauses out of 20161 with flag 2803001/3856553 1705.76/899.47 c cleaning 9996 clauses out of 20156 with flag 2813000/3866552 1709.96/901.60 c cleaning 10002 clauses out of 20162 with flag 2823002/3876554 1713.81/903.75 c cleaning 10003 clauses out of 20160 with flag 2833002/3886554 1717.42/905.61 c cleaning 9997 clauses out of 20159 with flag 2843004/3896556 1721.61/907.86 c cleaning 9997 clauses out of 20158 with flag 2853000/3906552 1726.01/910.15 c cleaning 10004 clauses out of 20161 with flag 2863000/3916552 1730.27/912.45 c cleaning 10003 clauses out of 20158 with flag 2873001/3926553 1733.86/914.37 c cleaning 10001 clauses out of 20155 with flag 2883001/3936553 1737.68/916.35 c cleaning 9999 clauses out of 20153 with flag 2893000/3946552 1741.47/918.36 c cleaning 9996 clauses out of 20158 with flag 2903004/3956556 1745.36/920.41 c cleaning 10007 clauses out of 20158 with flag 2913000/3966552 1749.76/922.75 c cleaning 10003 clauses out of 20151 with flag 2923000/3976552 1753.56/924.77 c cleaning 9999 clauses out of 20148 with flag 2933000/3986552 1757.16/926.66 c cleaning 9994 clauses out of 20150 with flag 2943001/3996553 1761.01/928.78 c cleaning 9994 clauses out of 20156 with flag 2953001/4006553 1765.21/930.95 c cleaning 10010 clauses out of 20161 with flag 2963000/4016552 1768.82/932.89 c cleaning 10043 clauses out of 20151 with flag 2973000/4026552 1774.01/935.50 c cleaning 9993 clauses out of 20108 with flag 2983000/4036552 1780.66/939.09 c cleaning 9988 clauses out of 20116 with flag 2993001/4046553 1787.05/942.35 c cleaning 9999 clauses out of 20128 with flag 3003001/4056553 1792.64/945.29 c cleaning 10023 clauses out of 20129 with flag 3013001/4066553 1798.64/948.30 c cleaning 10038 clauses out of 20105 with flag 3023000/4076552 1799.50/948.91 c starts : 259 1799.50/948.91 c conflicts : 4077786 1799.50/948.91 c decisions : 5751504 1799.50/948.91 c propagations : 139967430 1799.50/948.91 c inspects : 3373799967 1799.50/948.91 c shortcuts : 0 1799.50/948.91 c learnt literals : 0 1799.50/948.91 c learnt binary clauses : 7 1799.50/948.91 c learnt ternary clauses : 47 1799.50/948.91 c learnt constraints : 4077786 1799.50/948.91 c ignored constraints : 0 1799.50/948.91 c root simplifications : 0 1799.50/948.91 c removed literals (reason simplification) : 262104066 1799.50/948.91 c reason swapping (by a shorter reason) : 0 1799.50/948.91 c Calls to reduceDB : 412 1799.50/948.91 c number of reductions to clauses (during analyze) : 0 1799.50/948.91 c number of learned constraints concerned by reduction : 0 1799.50/948.91 c number of learning phase by resolution : 0 1799.50/948.91 c number of learning phase by cutting planes : 0 1799.50/948.91 c speed (assignments/second) : 195614.79526949406 1799.50/948.91 c non guided choices 1 1799.50/948.92 c learnt constraints type 1799.50/948.92 c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 7 1799.50/948.92 c org.sat4j.minisat.constraints.cnf.LearntWLClause => 11329 1799.50/948.92 c constraints type 1799.50/948.92 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 83 1799.50/948.92 c org.sat4j.minisat.constraints.card.MinWatchCard => 85 1799.50/948.92 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 2 1799.50/948.92 c constraints type 1799.50/948.92 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 83 1799.50/948.92 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 85 1799.50/948.92 c org.sat4j.pb.constraints.pb.MaxWatchPb => 2 1799.50/948.92 s SATISFIABLE 1799.50/948.92 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 1799.50/948.92 c objective function=3979 1799.50/948.92 c Total wall clock time (in seconds): 948.804
OK 3979
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-3731160-1338680494/watcher-3731160-1338680494 -o /tmp/evaluation-result-3731160-1338680494/solver-3731160-1338680494 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3731160-1338680494.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: 3.81 3.85 3.31 3/197 2713 /proc/meminfo: memFree=28351900/32873648 swapFree=7116/7116 [pid=2713] ppid=2711 vsize=9292 CPUtime=0 cores=0,2,4,6 /proc/2713/stat : 2713 (java) D 2711 2713 621 0 -1 4202496 249 0 0 0 0 0 0 0 20 0 1 0 334174848 9515008 183 33554432000 1073741824 1073778376 140734893343408 140734893334440 260190322357 0 0 4096 0 18446744072100609316 0 0 17 0 0 0 0 0 0 /proc/2713/statm: 2323 183 140 9 0 71 0 [startup+0.0542511 s] /proc/loadavg: 3.81 3.85 3.31 3/197 2713 /proc/meminfo: memFree=28351900/32873648 swapFree=7116/7116 [pid=2713] ppid=2711 vsize=11253516 CPUtime=0.03 cores=0,2,4,6 /proc/2713/stat : 2713 (java) S 2711 2713 621 0 -1 4202496 3825 0 1 0 2 1 0 0 20 0 13 0 334174848 11523600384 11676 33554432000 1073741824 1073778376 140735844742064 140735844733200 260193681469 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/2713/statm: 2813379 11676 1697 9 0 2804080 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 11253516 [startup+0.100206 s] /proc/loadavg: 3.81 3.85 3.31 3/197 2713 /proc/meminfo: memFree=28351900/32873648 swapFree=7116/7116 [pid=2713] ppid=2711 vsize=11586392 CPUtime=0.09 cores=0,2,4,6 /proc/2713/stat : 2713 (java) S 2711 2713 621 0 -1 4202496 4778 0 1 0 7 2 0 0 20 0 18 0 334174848 11864465408 13127 33554432000 1073741824 1073778376 140735844742064 140735844733200 260193681469 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/2713/statm: 2896598 13132 2111 9 0 2887285 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 11586392 [startup+0.300172 s] /proc/loadavg: 3.81 3.85 3.31 3/197 2713 /proc/meminfo: memFree=28351900/32873648 swapFree=7116/7116 [pid=2713] ppid=2711 vsize=11852648 CPUtime=0.58 cores=0,2,4,6 /proc/2713/stat : 2713 (java) S 2711 2713 621 0 -1 4202496 7951 0 1 0 56 2 0 0 20 0 22 0 334174848 12137111552 18260 33554432000 1073741824 1073778376 140735844742064 140735844733200 260193681469 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/2713/statm: 2963162 18260 2238 9 0 2953849 0 Current children cumulated CPU time (s) 0.58 Current children cumulated vsize (KiB) 11852648 [startup+0.700223 s] /proc/loadavg: 3.81 3.85 3.31 3/197 2713 /proc/meminfo: memFree=28351900/32873648 swapFree=7116/7116 [pid=2713] ppid=2711 vsize=11852648 CPUtime=2.1 cores=0,2,4,6 /proc/2713/stat : 2713 (java) S 2711 2713 621 0 -1 4202496 16884 0 1 0 205 5 0 0 20 0 19 0 334174848 12137111552 24215 33554432000 1073741824 1073778376 140735844742064 140735844733200 260193681469 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/2713/statm: 2963162 24215 2251 9 0 2953849 0 Current children cumulated CPU time (s) 2.1 Current children cumulated vsize (KiB) 11852648 [startup+1.50073 s] /proc/loadavg: 3.81 3.85 3.31 5/219 2738 /proc/meminfo: memFree=28232700/32873648 swapFree=7116/7116 [pid=2713] ppid=2711 vsize=11852648 CPUtime=3.41 cores=0,2,4,6 /proc/2713/stat : 2713 (java) S 2711 2713 621 0 -1 4202496 18396 0 1 0 331 10 0 0 20 0 19 0 334174848 12137111552 42923 33554432000 1073741824 1073778376 140735844742064 140735844733200 260193681469 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/2713/statm: 2963162 42923 2255 9 0 2953849 0 [pid=2713/tid=2715] ppid=2711 vsize=11852648 CPUtime=0.24 cores=0,2,4,6 /proc/2713/task/2715/stat : 2715 (java) S 2711 2713 621 0 -1 4202560 2919 0 1 0 22 2 0 0 20 0 19 0 334174849 12137111552 42923 33554432000 1073741824 1073778376 140735844742064 139862995784856 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=2713/tid=2716] ppid=2711 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/2713/task/2716/stat : 2716 (java) S 2711 2713 621 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334174851 12137111552 42923 33554432000 1073741824 1073778376 140735844742064 139862833068968 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=2713/tid=2717] ppid=2711 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/2713/task/2717/stat : 2717 (java) S 2711 2713 621 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 334174851 12137111552 42923 33554432000 1073741824 1073778376 140735844742064 139862832016424 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=2713/tid=2718] ppid=2711 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/2713/task/2718/stat : 2718 (java) S 2711 2713 621 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334174851 12137111552 42923 33554432000 1073741824 1073778376 140735844742064 139862830963368 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=2713/tid=2719] ppid=2711 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/2713/task/2719/stat : 2719 (java) S 2711 2713 621 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334174851 12137111552 42923 33554432000 1073741824 1073778376 140735844742064 139862829910824 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=2713/tid=2720] ppid=2711 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/2713/task/2720/stat : 2720 (java) S 2711 2713 621 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334174851 12137111552 42923 33554432000 1073741824 1073778376 140735844742064 139862828857768 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=2713/tid=2721] ppid=2711 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/2713/task/2721/stat : 2721 (java) S 2711 2713 621 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334174851 12137111552 42923 33554432000 1073741824 1073778376 140735844742064 139862827805224 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=2713/tid=2722] ppid=2711 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/2713/task/2722/stat : 2722 (java) S 2711 2713 621 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334174851 12137111552 42923 33554432000 1073741824 1073778376 140735844742064 139862826752168 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=2713/tid=2723] ppid=2711 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/2713/task/2723/stat : 2723 (java) S 2711 2713 621 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 334174851 12137111552 42923 33554432000 1073741824 1073778376 140735844742064 139862825699624 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=2713/tid=2724] ppid=2711 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/2713/task/2724/stat : 2724 (java) S 2711 2713 621 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 334174853 12137111552 42923 33554432000 1073741824 1073778376 140735844742064 139862813289320 260193695657 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=2713/tid=2725] ppid=2711 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/2713/task/2725/stat : 2725 (java) S 2711 2713 621 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 334174853 12137111552 42923 33554432000 1073741824 1073778376 140735844742064 139862812235640 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=2713/tid=2726] ppid=2711 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/2713/task/2726/stat : 2726 (java) S 2711 2713 621 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 334174853 12137111552 42923 33554432000 1073741824 1073778376 140735844742064 139862811182472 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=2713/tid=2727] ppid=2711 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/2713/task/2727/stat : 2727 (java) S 2711 2713 621 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334174855 12137111552 42923 33554432000 1073741824 1073778376 140735844742064 139862810131216 260193703712 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=2713/tid=2728] ppid=2711 vsize=11852648 CPUtime=0.77 cores=0,2,4,6 /proc/2713/task/2728/stat : 2728 (java) S 2711 2713 621 0 -1 4202560 7563 0 0 0 77 0 0 0 20 0 19 0 334174855 12137111552 42923 33554432000 1073741824 1073778376 140735844742064 139862809078072 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=2713/tid=2729] ppid=2711 vsize=11852648 CPUtime=0.76 cores=0,2,4,6 /proc/2713/task/2729/stat : 2729 (java) S 2711 2713 621 0 -1 4202560 6542 0 0 0 76 0 0 0 20 0 19 0 334174855 12137111552 42923 33554432000 1073741824 1073778376 140735844742064 139862808025528 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=2713/tid=2730] ppid=2711 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/2713/task/2730/stat : 2730 (java) S 2711 2713 621 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334174856 12137111552 42923 33554432000 1073741824 1073778376 140735844742064 139862806972664 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=2713/tid=2731] ppid=2711 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/2713/task/2731/stat : 2731 (java) S 2711 2713 621 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334174856 12137111552 42923 33554432000 1073741824 1073778376 140735844742064 139862805920328 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=2713/tid=2735] ppid=2711 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/2713/task/2735/stat : 2735 (java) S 2711 2713 621 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 334174876 12137111552 42923 33554432000 1073741824 1073778376 140735844742064 139862801708456 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 Current children cumulated CPU time (s) 3.41 Current children cumulated vsize (KiB) 11852648 [startup+3.1007 s] /proc/loadavg: 3.81 3.85 3.31 5/219 2744 /proc/meminfo: memFree=28136304/32873648 swapFree=7116/7116 [pid=2713] ppid=2711 vsize=11852648 CPUtime=6.24 cores=0,2,4,6 /proc/2713/stat : 2713 (java) S 2711 2713 621 0 -1 4202496 18662 0 1 0 608 16 0 0 20 0 22 0 334174848 12137111552 125439 33554432000 1073741824 1073778376 140735844742064 140735844733200 260193681469 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/2713/statm: 2963162 125439 2280 9 0 2953849 0 [pid=2713/tid=2715] ppid=2711 vsize=11852648 CPUtime=0.25 cores=0,2,4,6 /proc/2713/task/2715/stat : 2715 (java) S 2711 2713 621 0 -1 4202560 2919 0 1 0 23 2 0 0 20 0 22 0 334174849 12137111552 125439 33554432000 1073741824 1073778376 140735844742064 139862995784856 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=2713/tid=2716] ppid=2711 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/2713/task/2716/stat : 2716 (java) S 2711 2713 621 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 22 0 334174851 12137111552 125439 33554432000 1073741824 1073778376 140735844742064 139862833068968 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=2713/tid=2717] ppid=2711 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/2713/task/2717/stat : 2717 (java) S 2711 2713 621 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 334174851 12137111552 125439 33554432000 1073741824 1073778376 140735844742064 139862832016424 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=2713/tid=2718] ppid=2711 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/2713/task/2718/stat : 2718 (java) S 2711 2713 621 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 334174851 12137111552 125439 33554432000 1073741824 1073778376 140735844742064 139862830963368 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=2713/tid=2719] ppid=2711 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/2713/task/2719/stat : 2719 (java) S 2711 2713 621 0 -1 4202560 15 0 0 0 0 0 0 0 20 0 22 0 334174851 12137111552 125439 33554432000 1073741824 1073778376 140735844742064 139862829910824 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=2713/tid=2720] ppid=2711 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/2713/task/2720/stat : 2720 (java) S 2711 2713 621 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 334174851 12137111552 125439 33554432000 1073741824 1073778376 140735844742064 139862828857768 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=2713/tid=2721] ppid=2711 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/2713/task/2721/stat : 2721 (java) S 2711 2713 621 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 22 0 334174851 12137111552 125439 33554432000 1073741824 1073778376 140735844742064 139862827805224 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=2713/tid=2722] ppid=2711 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/2713/task/2722/stat : 2722 (java) S 2711 2713 621 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 334174851 12137111552 125439 33554432000 1073741824 1073778376 140735844742064 139862826752168 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=2713/tid=2723] ppid=2711 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/2713/task/2723/stat : 2723 (java) S 2711 2713 621 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 334174851 12137111552 125439 33554432000 1073741824 1073778376 140735844742064 139862825699624 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=2713/tid=2724] ppid=2711 vsize=11852648 CPUtime=0.02 cores=0,2,4,6 /proc/2713/task/2724/stat : 2724 (java) S 2711 2713 621 0 -1 4202560 31 0 0 0 2 0 0 0 20 0 22 0 334174853 12137111552 125439 33554432000 1073741824 1073778376 140735844742064 139862813289320 260193695657 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=2713/tid=2725] ppid=2711 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/2713/task/2725/stat : 2725 (java) S 2711 2713 621 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 334174853 12137111552 125439 33554432000 1073741824 1073778376 140735844742064 139862812235640 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=2713/tid=2726] ppid=2711 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/2713/task/2726/stat : 2726 (java) S 2711 2713 621 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 334174853 12137111552 125439 33554432000 1073741824 1073778376 140735844742064 139862811182472 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=2713/tid=2727] ppid=2711 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/2713/task/2727/stat : 2727 (java) S 2711 2713 621 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 334174855 12137111552 125439 33554432000 1073741824 1073778376 140735844742064 139862810131216 260193703712 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=2713/tid=2728] ppid=2711 vsize=11852648 CPUtime=0.92 cores=0,2,4,6 /proc/2713/task/2728/stat : 2728 (java) S 2711 2713 621 0 -1 4202560 7588 0 0 0 92 0 0 0 20 0 22 0 334174855 12137111552 125439 33554432000 1073741824 1073778376 140735844742064 139862809078072 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=2713/tid=2729] ppid=2711 vsize=11852648 CPUtime=0.84 cores=0,2,4,6 /proc/2713/task/2729/stat : 2729 (java) S 2711 2713 621 0 -1 4202560 6553 0 0 0 84 0 0 0 20 0 22 0 334174855 12137111552 125439 33554432000 1073741824 1073778376 140735844742064 139862808025528 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=2713/tid=2730] ppid=2711 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/2713/task/2730/stat : 2730 (java) S 2711 2713 621 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 334174856 12137111552 125439 33554432000 1073741824 1073778376 140735844742064 139862806972664 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=2713/tid=2731] ppid=2711 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/2713/task/2731/stat : 2731 (java) S 2711 2713 621 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 334174856 12137111552 125439 33554432000 1073741824 1073778376 140735844742064 139862805920328 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=2713/tid=2735] ppid=2711 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/2713/task/2735/stat : 2735 (java) S 2711 2713 621 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 334174876 12137111552 125439 33554432000 1073741824 1073778376 140735844742064 139862801708456 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=2713/tid=2742] ppid=2711 vsize=11852648 CPUtime=1.25 cores=0,2,4,6 /proc/2713/task/2742/stat : 2742 (java) R 2711 2713 621 0 -1 4202560 8 0 0 0 125 0 0 0 20 0 22 0 334175027 12137111552 125439 33554432000 1073741824 1073778376 140735844742064 139862803813128 139862868152482 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 [pid=2713/tid=2743] ppid=2711 vsize=11852648 CPUtime=1.26 cores=0,2,4,6 /proc/2713/task/2743/stat : 2743 (java) R 2711 2713 621 0 -1 4202560 154 0 0 0 121 5 0 0 20 0 22 0 334175027 12137111552 125439 33554432000 1073741824 1073778376 140735844742064 139862802758920 139862868168473 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 [pid=2713/tid=2744] ppid=2711 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/2713/task/2744/stat : 2744 (java) S 2711 2713 621 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 334175027 12137111552 125439 33554432000 1073741824 1073778376 140735844742064 139862804866088 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 6.24 Current children cumulated vsize (KiB) 11852648 [startup+6.30066 s] /proc/loadavg: 3.74 3.84 3.30 5/219 2744 /proc/meminfo: memFree=27642380/32873648 swapFree=7116/7116 [pid=2713] ppid=2711 vsize=11852648 CPUtime=12.21 cores=0,2,4,6 /proc/2713/stat : 2713 (java) S 2711 2713 621 0 -1 4202496 18908 0 1 0 1194 27 0 0 20 0 22 0 334174848 12137111552 236672 33554432000 1073741824 1073778376 140735844742064 140735844733200 260193681469 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/2713/statm: 2963162 236672 2281 9 0 2953849 0 [pid=2713/tid=2715] ppid=2711 vsize=11852648 CPUtime=0.25 cores=0,2,4,6 /proc/2713/task/2715/stat : 2715 (java) S 2711 2713 621 0 -1 4202560 2919 0 1 0 23 2 0 0 20 0 22 0 334174849 12137111552 236672 33554432000 1073741824 1073778376 140735844742064 139862995784856 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=2713/tid=2716] ppid=2711 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/2713/task/2716/stat : 2716 (java) S 2711 2713 621 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 22 0 334174851 12137111552 236672 33554432000 1073741824 1073778376 140735844742064 139862833068968 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=2713/tid=2717] ppid=2711 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/2713/task/2717/stat : 2717 (java) S 2711 2713 621 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 334174851 12137111552 236672 33554432000 1073741824 1073778376 140735844742064 139862832016424 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=2713/tid=2718] ppid=2711 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/2713/task/2718/stat : 2718 (java) S 2711 2713 621 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 334174851 12137111552 236672 33554432000 1073741824 1073778376 140735844742064 139862830963368 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=2713/tid=2719] ppid=2711 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/2713/task/2719/stat : 2719 (java) S 2711 2713 621 0 -1 4202560 15 0 0 0 0 0 0 0 20 0 22 0 334174851 12137111552 236672 33554432000 1073741824 1073778376 140735844742064 139862829910824 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=2713/tid=2720] ppid=2711 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/2713/task/2720/stat : 2720 (java) S 2711 2713 621 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 334174851 12137111552 236672 33554432000 1073741824 1073778376 140735844742064 139862828857768 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=2713/tid=2721] ppid=2711 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/2713/task/2721/stat : 2721 (java) S 2711 2713 621 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 334174851 12137111552 236672 33554432000 1073741824 1073778376 140735844742064 139862827805224 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=2713/tid=2722] ppid=2711 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/2713/task/2722/stat : 2722 (java) S 2711 2713 621 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 334174851 12137111552 236672 33554432000 1073741824 1073778376 140735844742064 139862826752168 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=2713/tid=2723] ppid=2711 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/2713/task/2723/stat : 2723 (java) S 2711 2713 621 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 22 0 334174851 12137111552 236672 33554432000 1073741824 1073778376 140735844742064 139862825699624 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=2713/tid=2724] ppid=2711 vsize=11852648 CPUtime=0.08 cores=0,2,4,6 /proc/2713/task/2724/stat : 2724 (java) S 2711 2713 621 0 -1 4202560 34 0 0 0 8 0 0 0 20 0 22 0 334174853 12137111552 236672 33554432000 1073741824 1073778376 140735844742064 139862813289320 260193695657 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=2713/tid=2725] ppid=2711 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/2713/task/2725/stat : 2725 (java) S 2711 2713 621 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 334174853 12137111552 236672 33554432000 1073741824 1073778376 140735844742064 139862812235640 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=2713/tid=2726] ppid=2711 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/2713/task/2726/stat : 2726 (java) S 2711 2713 621 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 334174853 12137111552 236672 33554432000 1073741824 1073778376 140735844742064 139862811182472 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=2713/tid=2727] ppid=2711 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/2713/task/2727/stat : 2727 (java) S 2711 2713 621 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 334174855 12137111552 236672 33554432000 1073741824 1073778376 140735844742064 139862810131216 260193703712 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=2713/tid=2728] ppid=2711 vsize=11852648 CPUtime=0.95 cores=0,2,4,6 /proc/2713/task/2728/stat : 2728 (java) S 2711 2713 621 0 -1 4202560 7593 0 0 0 95 0 0 0 20 0 22 0 334174855 12137111552 236672 33554432000 1073741824 1073778376 140735844742064 139862809078072 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=2713/tid=2729] ppid=2711 vsize=11852648 CPUtime=0.84 cores=0,2,4,6 /proc/2713/task/2729/stat : 2729 (java) S 2711 2713 621 0 -1 4202560 6553 0 0 0 84 0 0 0 20 0 22 0 334174855 12137111552 236672 33554432000 1073741824 1073778376 140735844742064 139862808025528 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=2713/tid=2730] ppid=2711 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/2713/task/2730/stat : 2730 (java) S 2711 2713 621 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 334174856 12137111552 236672 33554432000 1073741824 1073778376 140735844742064 139862806972664 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=2713/tid=2731] ppid=2711 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/2713/task/2731/stat : 2731 (java) S 2711 2713 621 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 334174856 12137111552 236672 33554432000 1073741824 1073778376 140735844742064 139862805920328 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 ################ # More data... # ################ [pid=2713/tid=2719] ppid=2711 vsize=11852648 CPUtime=0.85 cores=0,2,4,6 /proc/2713/task/2719/stat : 2719 (java) S 2711 2713 621 0 -1 4202560 73 0 0 0 83 2 0 0 20 0 22 0 334174851 12137111552 607009 33554432000 1073741824 1073778376 140735844742064 139862829910824 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=2713/tid=2720] ppid=2711 vsize=11852648 CPUtime=0.82 cores=0,2,4,6 /proc/2713/task/2720/stat : 2720 (java) S 2711 2713 621 0 -1 4202560 63 0 0 0 80 2 0 0 20 0 22 0 334174851 12137111552 607009 33554432000 1073741824 1073778376 140735844742064 139862828857768 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=2713/tid=2721] ppid=2711 vsize=11852648 CPUtime=0.84 cores=0,2,4,6 /proc/2713/task/2721/stat : 2721 (java) S 2711 2713 621 0 -1 4202560 68 0 0 0 81 3 0 0 20 0 22 0 334174851 12137111552 607009 33554432000 1073741824 1073778376 140735844742064 139862827805224 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=2713/tid=2722] ppid=2711 vsize=11852648 CPUtime=0.87 cores=0,2,4,6 /proc/2713/task/2722/stat : 2722 (java) S 2711 2713 621 0 -1 4202560 66 0 0 0 85 2 0 0 20 0 22 0 334174851 12137111552 607009 33554432000 1073741824 1073778376 140735844742064 139862826752168 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=2713/tid=2723] ppid=2711 vsize=11852648 CPUtime=0.84 cores=0,2,4,6 /proc/2713/task/2723/stat : 2723 (java) S 2711 2713 621 0 -1 4202560 58 0 0 0 82 2 0 0 20 0 22 0 334174851 12137111552 607009 33554432000 1073741824 1073778376 140735844742064 139862825699624 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=2713/tid=2724] ppid=2711 vsize=11852648 CPUtime=86.07 cores=0,2,4,6 /proc/2713/task/2724/stat : 2724 (java) S 2711 2713 621 0 -1 4202560 303 0 0 0 8506 101 0 0 20 0 22 0 334174853 12137111552 607009 33554432000 1073741824 1073778376 140735844742064 139862813289320 260193695657 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=2713/tid=2725] ppid=2711 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/2713/task/2725/stat : 2725 (java) S 2711 2713 621 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 334174853 12137111552 607009 33554432000 1073741824 1073778376 140735844742064 139862812235640 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=2713/tid=2726] ppid=2711 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/2713/task/2726/stat : 2726 (java) S 2711 2713 621 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 22 0 334174853 12137111552 607009 33554432000 1073741824 1073778376 140735844742064 139862811182472 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=2713/tid=2727] ppid=2711 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/2713/task/2727/stat : 2727 (java) S 2711 2713 621 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 334174855 12137111552 607009 33554432000 1073741824 1073778376 140735844742064 139862810131216 260193703712 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=2713/tid=2728] ppid=2711 vsize=11852648 CPUtime=1.06 cores=0,2,4,6 /proc/2713/task/2728/stat : 2728 (java) S 2711 2713 621 0 -1 4202560 7613 0 0 0 106 0 0 0 20 0 22 0 334174855 12137111552 607009 33554432000 1073741824 1073778376 140735844742064 139862809078072 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=2713/tid=2729] ppid=2711 vsize=11852648 CPUtime=2.29 cores=0,2,4,6 /proc/2713/task/2729/stat : 2729 (java) S 2711 2713 621 0 -1 4202560 20794 0 0 0 226 3 0 0 20 0 22 0 334174855 12137111552 607009 33554432000 1073741824 1073778376 140735844742064 139862808025528 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=2713/tid=2730] ppid=2711 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/2713/task/2730/stat : 2730 (java) S 2711 2713 621 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 334174856 12137111552 607009 33554432000 1073741824 1073778376 140735844742064 139862806972664 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=2713/tid=2731] ppid=2711 vsize=11852648 CPUtime=0.2 cores=0,2,4,6 /proc/2713/task/2731/stat : 2731 (java) S 2711 2713 621 0 -1 4202560 55 0 0 0 8 12 0 0 20 0 22 0 334174856 12137111552 607009 33554432000 1073741824 1073778376 140735844742064 139862805920328 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=2713/tid=2735] ppid=2711 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/2713/task/2735/stat : 2735 (java) S 2711 2713 621 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 334174876 12137111552 607009 33554432000 1073741824 1073778376 140735844742064 139862801708456 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=2713/tid=2831] ppid=2711 vsize=11852648 CPUtime=634.25 cores=0,2,4,6 /proc/2713/task/2831/stat : 2831 (java) R 2711 2713 621 0 -1 4202560 114 0 0 0 63416 9 0 0 20 0 22 0 334198187 12137111552 607009 33554432000 1073741824 1073778376 140735844742064 139862802760400 139862868172218 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 [pid=2713/tid=2832] ppid=2711 vsize=11852648 CPUtime=635.25 cores=0,2,4,6 /proc/2713/task/2832/stat : 2832 (java) R 2711 2713 621 0 -1 4202560 325 0 0 0 63508 17 0 0 20 0 22 0 334198187 12137111552 607009 33554432000 1073741824 1073778376 140735844742064 139862804863376 139862868376846 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=2713/tid=2833] ppid=2711 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/2713/task/2833/stat : 2833 (java) S 2711 2713 621 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 334198187 12137111552 607009 33554432000 1073741824 1073778376 140735844742064 139862803813544 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 Current children cumulated CPU time (s) 1787.05 Current children cumulated vsize (KiB) 11852648 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+948.901 s] /proc/loadavg: 2.92 3.18 3.32 4/218 2846 /proc/meminfo: memFree=23087772/32873648 swapFree=7116/7116 [pid=2713] ppid=2711 vsize=11852648 CPUtime=1799.5 cores=0,2,4,6 /proc/2713/stat : 2713 (java) S 2711 2713 621 0 -1 4202496 34925 0 1 0 179767 183 0 0 20 0 22 0 334174848 12137111552 608550 33554432000 1073741824 1073778376 140735844742064 140735844733200 260193681469 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/2713/statm: 2963162 608550 2283 9 0 2953849 0 [pid=2713/tid=2715] ppid=2711 vsize=11852648 CPUtime=0.3 cores=0,2,4,6 /proc/2713/task/2715/stat : 2715 (java) S 2711 2713 621 0 -1 4202560 3097 0 1 0 26 4 0 0 20 0 22 0 334174849 12137111552 608550 33554432000 1073741824 1073778376 140735844742064 139862995784856 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=2713/tid=2716] ppid=2711 vsize=11852648 CPUtime=0.79 cores=0,2,4,6 /proc/2713/task/2716/stat : 2716 (java) S 2711 2713 621 0 -1 4202560 56 0 0 0 76 3 0 0 20 0 22 0 334174851 12137111552 608550 33554432000 1073741824 1073778376 140735844742064 139862833068968 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=2713/tid=2717] ppid=2711 vsize=11852648 CPUtime=0.85 cores=0,2,4,6 /proc/2713/task/2717/stat : 2717 (java) S 2711 2713 621 0 -1 4202560 59 0 0 0 83 2 0 0 20 0 22 0 334174851 12137111552 608550 33554432000 1073741824 1073778376 140735844742064 139862832016424 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=2713/tid=2718] ppid=2711 vsize=11852648 CPUtime=0.82 cores=0,2,4,6 /proc/2713/task/2718/stat : 2718 (java) S 2711 2713 621 0 -1 4202560 73 0 0 0 80 2 0 0 20 0 22 0 334174851 12137111552 608550 33554432000 1073741824 1073778376 140735844742064 139862830963368 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=2713/tid=2719] ppid=2711 vsize=11852648 CPUtime=0.85 cores=0,2,4,6 /proc/2713/task/2719/stat : 2719 (java) S 2711 2713 621 0 -1 4202560 73 0 0 0 83 2 0 0 20 0 22 0 334174851 12137111552 608550 33554432000 1073741824 1073778376 140735844742064 139862829910824 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=2713/tid=2720] ppid=2711 vsize=11852648 CPUtime=0.83 cores=0,2,4,6 /proc/2713/task/2720/stat : 2720 (java) S 2711 2713 621 0 -1 4202560 63 0 0 0 81 2 0 0 20 0 22 0 334174851 12137111552 608550 33554432000 1073741824 1073778376 140735844742064 139862828857768 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=2713/tid=2721] ppid=2711 vsize=11852648 CPUtime=0.84 cores=0,2,4,6 /proc/2713/task/2721/stat : 2721 (java) S 2711 2713 621 0 -1 4202560 68 0 0 0 81 3 0 0 20 0 22 0 334174851 12137111552 608550 33554432000 1073741824 1073778376 140735844742064 139862827805224 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=2713/tid=2722] ppid=2711 vsize=11852648 CPUtime=0.87 cores=0,2,4,6 /proc/2713/task/2722/stat : 2722 (java) S 2711 2713 621 0 -1 4202560 69 0 0 0 85 2 0 0 20 0 22 0 334174851 12137111552 608550 33554432000 1073741824 1073778376 140735844742064 139862826752168 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=2713/tid=2723] ppid=2711 vsize=11852648 CPUtime=0.84 cores=0,2,4,6 /proc/2713/task/2723/stat : 2723 (java) S 2711 2713 621 0 -1 4202560 58 0 0 0 82 2 0 0 20 0 22 0 334174851 12137111552 608550 33554432000 1073741824 1073778376 140735844742064 139862825699624 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=2713/tid=2724] ppid=2711 vsize=11852648 CPUtime=86.89 cores=0,2,4,6 /proc/2713/task/2724/stat : 2724 (java) S 2711 2713 621 0 -1 4202560 308 0 0 0 8585 104 0 0 20 0 22 0 334174853 12137111552 608550 33554432000 1073741824 1073778376 140735844742064 139862813289320 260193695657 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=2713/tid=2725] ppid=2711 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/2713/task/2725/stat : 2725 (java) S 2711 2713 621 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 334174853 12137111552 608550 33554432000 1073741824 1073778376 140735844742064 139862812235640 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=2713/tid=2726] ppid=2711 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/2713/task/2726/stat : 2726 (java) S 2711 2713 621 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 22 0 334174853 12137111552 608550 33554432000 1073741824 1073778376 140735844742064 139862811182472 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=2713/tid=2727] ppid=2711 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/2713/task/2727/stat : 2727 (java) S 2711 2713 621 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 334174855 12137111552 608550 33554432000 1073741824 1073778376 140735844742064 139862810131216 260193703712 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=2713/tid=2728] ppid=2711 vsize=11852648 CPUtime=1.06 cores=0,2,4,6 /proc/2713/task/2728/stat : 2728 (java) S 2711 2713 621 0 -1 4202560 7613 0 0 0 106 0 0 0 20 0 22 0 334174855 12137111552 608550 33554432000 1073741824 1073778376 140735844742064 139862809078072 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=2713/tid=2729] ppid=2711 vsize=11852648 CPUtime=2.29 cores=0,2,4,6 /proc/2713/task/2729/stat : 2729 (java) S 2711 2713 621 0 -1 4202560 20794 0 0 0 226 3 0 0 20 0 22 0 334174855 12137111552 608550 33554432000 1073741824 1073778376 140735844742064 139862808025528 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=2713/tid=2730] ppid=2711 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/2713/task/2730/stat : 2730 (java) S 2711 2713 621 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 334174856 12137111552 608550 33554432000 1073741824 1073778376 140735844742064 139862806972664 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=2713/tid=2731] ppid=2711 vsize=11852648 CPUtime=0.2 cores=0,2,4,6 /proc/2713/task/2731/stat : 2731 (java) S 2711 2713 621 0 -1 4202560 55 0 0 0 8 12 0 0 20 0 22 0 334174856 12137111552 608550 33554432000 1073741824 1073778376 140735844742064 139862805920328 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=2713/tid=2735] ppid=2711 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/2713/task/2735/stat : 2735 (java) S 2711 2713 621 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 334174876 12137111552 608550 33554432000 1073741824 1073778376 140735844742064 139862801708456 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=2713/tid=2831] ppid=2711 vsize=11852648 CPUtime=640 cores=0,2,4,6 /proc/2713/task/2831/stat : 2831 (java) R 2711 2713 621 0 -1 4202560 115 0 0 0 63991 9 0 0 20 0 22 0 334198187 12137111552 608550 33554432000 1073741824 1073778376 140735844742064 139862802760520 139862868131904 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 [pid=2713/tid=2832] ppid=2711 vsize=11852648 CPUtime=641.05 cores=0,2,4,6 /proc/2713/task/2832/stat : 2832 (java) R 2711 2713 621 0 -1 4202560 325 0 0 0 64088 17 0 0 20 0 22 0 334198187 12137111552 608550 33554432000 1073741824 1073778376 140735844742064 139862804863376 139862868376805 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=2713/tid=2833] ppid=2711 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/2713/task/2833/stat : 2833 (java) S 2711 2713 621 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 334198187 12137111552 608550 33554432000 1073741824 1073778376 140735844742064 139862803813544 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 Current children cumulated CPU time (s) 1799.5 Current children cumulated vsize (KiB) 11852648 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+948.901 s] /proc/loadavg: 2.92 3.18 3.32 4/218 2846 /proc/meminfo: memFree=23087772/32873648 swapFree=7116/7116 [pid=2713] ppid=2711 vsize=11852648 CPUtime=1799.5 cores=0,2,4,6 /proc/2713/stat : 2713 (java) S 2711 2713 621 0 -1 4202496 34925 0 1 0 179767 183 0 0 20 0 22 0 334174848 12137111552 608550 33554432000 1073741824 1073778376 140735844742064 140735844733200 260193681469 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/2713/statm: 2963162 608550 2283 9 0 2953849 0 [pid=2713/tid=2715] ppid=2711 vsize=11852648 CPUtime=0.3 cores=0,2,4,6 /proc/2713/task/2715/stat : 2715 (java) S 2711 2713 621 0 -1 4202560 3097 0 1 0 26 4 0 0 20 0 22 0 334174849 12137111552 608550 33554432000 1073741824 1073778376 140735844742064 139862995784856 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=2713/tid=2716] ppid=2711 vsize=11852648 CPUtime=0.79 cores=0,2,4,6 /proc/2713/task/2716/stat : 2716 (java) S 2711 2713 621 0 -1 4202560 56 0 0 0 76 3 0 0 20 0 22 0 334174851 12137111552 608550 33554432000 1073741824 1073778376 140735844742064 139862833068968 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=2713/tid=2717] ppid=2711 vsize=11852648 CPUtime=0.85 cores=0,2,4,6 /proc/2713/task/2717/stat : 2717 (java) S 2711 2713 621 0 -1 4202560 59 0 0 0 83 2 0 0 20 0 22 0 334174851 12137111552 608550 33554432000 1073741824 1073778376 140735844742064 139862832016424 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=2713/tid=2718] ppid=2711 vsize=11852648 CPUtime=0.82 cores=0,2,4,6 /proc/2713/task/2718/stat : 2718 (java) S 2711 2713 621 0 -1 4202560 73 0 0 0 80 2 0 0 20 0 22 0 334174851 12137111552 608550 33554432000 1073741824 1073778376 140735844742064 139862830963368 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=2713/tid=2719] ppid=2711 vsize=11852648 CPUtime=0.85 cores=0,2,4,6 /proc/2713/task/2719/stat : 2719 (java) S 2711 2713 621 0 -1 4202560 73 0 0 0 83 2 0 0 20 0 22 0 334174851 12137111552 608550 33554432000 1073741824 1073778376 140735844742064 139862829910824 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=2713/tid=2720] ppid=2711 vsize=11852648 CPUtime=0.83 cores=0,2,4,6 /proc/2713/task/2720/stat : 2720 (java) S 2711 2713 621 0 -1 4202560 63 0 0 0 81 2 0 0 20 0 22 0 334174851 12137111552 608550 33554432000 1073741824 1073778376 140735844742064 139862828857768 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=2713/tid=2721] ppid=2711 vsize=11852648 CPUtime=0.84 cores=0,2,4,6 /proc/2713/task/2721/stat : 2721 (java) S 2711 2713 621 0 -1 4202560 68 0 0 0 81 3 0 0 20 0 22 0 334174851 12137111552 608550 33554432000 1073741824 1073778376 140735844742064 139862827805224 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=2713/tid=2722] ppid=2711 vsize=11852648 CPUtime=0.87 cores=0,2,4,6 /proc/2713/task/2722/stat : 2722 (java) S 2711 2713 621 0 -1 4202560 69 0 0 0 85 2 0 0 20 0 22 0 334174851 12137111552 608550 33554432000 1073741824 1073778376 140735844742064 139862826752168 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=2713/tid=2723] ppid=2711 vsize=11852648 CPUtime=0.84 cores=0,2,4,6 /proc/2713/task/2723/stat : 2723 (java) S 2711 2713 621 0 -1 4202560 58 0 0 0 82 2 0 0 20 0 22 0 334174851 12137111552 608550 33554432000 1073741824 1073778376 140735844742064 139862825699624 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=2713/tid=2724] ppid=2711 vsize=11852648 CPUtime=86.89 cores=0,2,4,6 /proc/2713/task/2724/stat : 2724 (java) S 2711 2713 621 0 -1 4202560 308 0 0 0 8585 104 0 0 20 0 22 0 334174853 12137111552 608550 33554432000 1073741824 1073778376 140735844742064 139862813289320 260193695657 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=2713/tid=2725] ppid=2711 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/2713/task/2725/stat : 2725 (java) S 2711 2713 621 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 334174853 12137111552 608550 33554432000 1073741824 1073778376 140735844742064 139862812235640 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=2713/tid=2726] ppid=2711 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/2713/task/2726/stat : 2726 (java) S 2711 2713 621 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 22 0 334174853 12137111552 608550 33554432000 1073741824 1073778376 140735844742064 139862811182472 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=2713/tid=2727] ppid=2711 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/2713/task/2727/stat : 2727 (java) S 2711 2713 621 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 334174855 12137111552 608550 33554432000 1073741824 1073778376 140735844742064 139862810131216 260193703712 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=2713/tid=2728] ppid=2711 vsize=11852648 CPUtime=1.06 cores=0,2,4,6 /proc/2713/task/2728/stat : 2728 (java) S 2711 2713 621 0 -1 4202560 7613 0 0 0 106 0 0 0 20 0 22 0 334174855 12137111552 608550 33554432000 1073741824 1073778376 140735844742064 139862809078072 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=2713/tid=2729] ppid=2711 vsize=11852648 CPUtime=2.29 cores=0,2,4,6 /proc/2713/task/2729/stat : 2729 (java) S 2711 2713 621 0 -1 4202560 20794 0 0 0 226 3 0 0 20 0 22 0 334174855 12137111552 608550 33554432000 1073741824 1073778376 140735844742064 139862808025528 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=2713/tid=2730] ppid=2711 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/2713/task/2730/stat : 2730 (java) S 2711 2713 621 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 334174856 12137111552 608550 33554432000 1073741824 1073778376 140735844742064 139862806972664 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=2713/tid=2731] ppid=2711 vsize=11852648 CPUtime=0.2 cores=0,2,4,6 /proc/2713/task/2731/stat : 2731 (java) S 2711 2713 621 0 -1 4202560 55 0 0 0 8 12 0 0 20 0 22 0 334174856 12137111552 608550 33554432000 1073741824 1073778376 140735844742064 139862805920328 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=2713/tid=2735] ppid=2711 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/2713/task/2735/stat : 2735 (java) S 2711 2713 621 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 334174876 12137111552 608550 33554432000 1073741824 1073778376 140735844742064 139862801708456 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=2713/tid=2831] ppid=2711 vsize=11852648 CPUtime=640 cores=0,2,4,6 /proc/2713/task/2831/stat : 2831 (java) R 2711 2713 621 0 -1 4202560 115 0 0 0 63991 9 0 0 20 0 22 0 334198187 12137111552 608550 33554432000 1073741824 1073778376 140735844742064 139862802760520 139862868131904 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 [pid=2713/tid=2832] ppid=2711 vsize=11852648 CPUtime=641.05 cores=0,2,4,6 /proc/2713/task/2832/stat : 2832 (java) R 2711 2713 621 0 -1 4202560 325 0 0 0 64088 17 0 0 20 0 22 0 334198187 12137111552 608550 33554432000 1073741824 1073778376 140735844742064 139862804863376 139862868376805 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=2713/tid=2833] ppid=2711 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/2713/task/2833/stat : 2833 (java) S 2711 2713 621 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 334198187 12137111552 608550 33554432000 1073741824 1073778376 140735844742064 139862803813544 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 Current children cumulated CPU time (s) 1799.5 Current children cumulated vsize (KiB) 11852648 Child status: 143 # WARNING: # CPU time reported by wait4() is probably wrong ! # wait4(...,&childrusage) returns 2713 and gives # childrusage.ru_utime.tv_sec=1794 # childrusage.ru_utime.tv_usec=179243 # childrusage.ru_stime.tv_sec=2 # childrusage.ru_stime.tv_usec=230660 # CPU time returned by wait4() is 1796.41 # while last known CPU time is 1799.5 # # Solver probably didn't/couldn't wait for its children # Using CPU time of the last sample as value... # WARNING: # The CPU time of some children was not reported to their father # (probably because of a missing or aborted wait()). # This 'lost CPU time' is added to the watched process CPU time. # lost CPU time (s): 0.670044 # lost CPU user time (s): 0.740021 # lost CPU system time (s): -0.07 Real time (s): 948.944 CPU time (s): 1800.17 CPU user time (s): 1798.41 CPU system time (s): 1.76 CPU usage (%): 189.702 Max. virtual memory (cumulated for all children) (KiB): 11852648 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1794.18 system time used= 2.23066 maximum resident set size= 2434328 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 34960 page faults= 1 swaps= 0 block input operations= 0 block output operations= 984 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 33951 involuntary context switches= 29609 runsolver used 3.75143 second user time and 7.64384 second system time The end
Begin job on node123 at 2012-06-03 01:41:34 IDJOB=3731160 IDBENCH=1856 IDSOLVER=2328 FILE ID=node123/3731160-1338680494 RUNJOBID= node123-1338678620-640 PBS_JOBID= 14636690 Free space on /tmp= 71304 MiB SOLVER NAME= PB11: Sat4j Res//CP 2.3.0 BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-lp4l.opb COMMAND LINE= java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3731160-1338680494/watcher-3731160-1338680494 -o /tmp/evaluation-result-3731160-1338680494/solver-3731160-1338680494 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3731160-1338680494.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 8d2c17131f0dd6c2b5d472cf1eef4c89 RANDOM SEED=1300262648 node123.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.217 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.43 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.217 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.217 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 : 2667.217 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.217 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.217 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.217 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.217 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.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32873648 kB MemFree: 28352180 kB Buffers: 485352 kB Cached: 2200572 kB SwapCached: 2272 kB Active: 1758728 kB Inactive: 1870864 kB Active(anon): 938728 kB Inactive(anon): 5516 kB Active(file): 820000 kB Inactive(file): 1865348 kB Unevictable: 7116 kB Mlocked: 7116 kB SwapTotal: 67108856 kB SwapFree: 67100312 kB Dirty: 472 kB Writeback: 0 kB AnonPages: 951084 kB Mapped: 18488 kB Shmem: 0 kB Slab: 748620 kB SReclaimable: 192648 kB SUnreclaim: 555972 kB KernelStack: 1624 kB PageTables: 5688 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545680 kB Committed_AS: 10458192 kB VmallocTotal: 34359738367 kB VmallocUsed: 346400 kB VmallocChunk: 34341988052 kB HardwareCorrupted: 0 kB AnonHugePages: 897024 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7680 kB DirectMap2M: 33538048 kB Free space on /tmp at the end= 71304 MiB End job on node123 at 2012-06-03 01:57:25