Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| Sat4j PB 2.3.6 Resolution PB16 | SAT (TO) | 212944 | 1800.03 | 1795.13 |
| Name | PB15eval/normalized-PB15eval/OPT-BIGINT-NLC/ minlplib2-pb-0.1.0/opb/normalized-qap.opb |
| MD5SUM | e621cc663ac64fde029ee2c2fb936671 |
| Bench Category | OPT-BIGINT-NLC (optimisation, big integers, non linear constraints) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 210318 |
| Best CPU time to get the best result obtained on this benchmark | 1800.6 |
| Has Objective Function | YES |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 225 |
| Total number of constraints | 30 |
| Number of constraints which are clauses | 0 |
| Number of constraints which are cardinality constraints (but not clauses) | 30 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 15 |
| Maximum length of a constraint | 15 |
| Number of terms in the objective function | 21424 |
| Biggest coefficient in the objective function | 9504 |
| Number of bits for the biggest coefficient in the objective function | 14 |
| Sum of the numbers in the objective function | 51755372 |
| Number of bits of the sum of numbers in the objective function | 26 |
| Biggest number in a constraint | 9504 |
| Number of bits of the biggest number in a constraint | 14 |
| Biggest sum of numbers in a constraint | 51755372 |
| Number of bits of the biggest sum of numbers | 26 |
| Number of products (including duplicates) | 21424 |
| Sum of products size (including duplicates) | 42848 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.06/0.10 c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS 0.06/0.10 c This is free software under the dual EPL/GNU LGPL licenses. 0.06/0.10 c See www.sat4j.org for details. 0.06/0.10 c version PB16.v20160501 0.06/0.10 c java.runtime.name Java(TM) SE Runtime Environment 0.06/0.10 c java.vm.name Java HotSpot(TM) 64-Bit Server VM 0.06/0.10 c java.vm.version 19.1-b02 0.06/0.10 c java.vm.vendor Sun Microsystems Inc. 0.06/0.10 c sun.arch.data.model 64 0.06/0.10 c java.version 1.6.0_24 0.06/0.10 c os.name Linux 0.06/0.10 c os.version 2.6.32-71.29.1.el6.x86_64 0.06/0.10 c os.arch amd64 0.06/0.10 c Free memory 501472288 0.06/0.10 c Max memory 7480803328 0.06/0.10 c Total memory 504102912 0.06/0.10 c Number of processors 8 0.06/0.12 c Pseudo Boolean Optimization by upper bound 0.06/0.12 c --- Begin Solver configuration --- 0.06/0.12 c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@2b21cc40 0.06/0.12 c Learn all clauses as in MiniSAT 0.06/0.12 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.06/0.12 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.06/0.12 c No reason simplification 0.06/0.12 c Glucose 2.1 dynamic restart strategy 0.06/0.12 c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000 0.06/0.12 c timeout=2147483s 0.06/0.12 c DB Simplification allowed=false 0.06/0.12 c Listener: org.sat4j.minisat.core.VoidTracing@7c64dc11 0.06/0.12 c --- End Solver configuration --- 0.06/0.13 c solving HOME/instance-4118076-1467220610.opb 0.06/0.13 c reading problem ... 0.06/0.13 c objective function found 1.61/0.78 c ... done. Wall clock time 0.653s. 1.61/0.78 c declared #vars 225 1.61/0.78 c internal #vars 21649 1.61/0.78 c #constraints 42908 1.61/0.78 c constraints type 1.61/0.78 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 21454 1.61/0.78 c org.sat4j.minisat.constraints.card.MinWatchCard => 30 1.61/0.78 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 21424 1.61/0.78 c 42908 constraints processed. 1.61/0.78 c objective function length is 21424 literals 3.28/1.43 c SATISFIABLE 3.28/1.43 c OPTIMIZING... 3.28/1.43 c Got one! Elapsed wall clock time (in seconds):1.3 3.28/1.43 o 232914 3.61/1.67 c Got one! Elapsed wall clock time (in seconds):1.546 3.61/1.67 o 232298 3.78/1.74 c Got one! Elapsed wall clock time (in seconds):1.617 3.78/1.74 o 232064 4.01/1.90 c Got one! Elapsed wall clock time (in seconds):1.774 4.01/1.90 o 231742 4.12/2.06 c Got one! Elapsed wall clock time (in seconds):1.939 4.12/2.06 o 223824 4.45/2.31 c Got one! Elapsed wall clock time (in seconds):2.189 4.45/2.31 o 223380 4.65/2.58 c Got one! Elapsed wall clock time (in seconds):2.455 4.65/2.58 o 222104 5.25/3.12 c Got one! Elapsed wall clock time (in seconds):2.993 5.25/3.12 o 221570 6.96/4.88 c cleaning 3103 clauses out of 6226 with flag 8706/6226 9.72/7.39 c cleaning 4551 clauses out of 9123 with flag 23482/12226 12.72/10.30 c cleaning 5766 clauses out of 11573 with flag 40362/19227 16.02/13.61 c cleaning 6893 clauses out of 13807 with flag 63318/27227 19.24/16.80 c Got one! Elapsed wall clock time (in seconds):16.673 19.24/16.80 o 220766 21.24/18.87 c cleaning 9730 clauses out of 19476 with flag 13596/39789 23.73/21.34 c cleaning 7869 clauses out of 15746 with flag 28691/45789 26.53/24.19 c cleaning 7435 clauses out of 14876 with flag 47777/52788 29.83/27.47 c cleaning 7716 clauses out of 15442 with flag 68908/60789 33.63/31.20 c cleaning 8363 clauses out of 16726 with flag 93434/69789 37.74/35.34 c cleaning 9175 clauses out of 18362 with flag 116772/79788 42.24/39.85 c cleaning 10091 clauses out of 20187 with flag 143780/90788 47.24/44.83 c cleaning 11048 clauses out of 22098 with flag 174081/102790 52.72/50.29 c cleaning 12022 clauses out of 24049 with flag 209012/115789 58.73/56.22 c cleaning 13008 clauses out of 26026 with flag 246634/129788 65.12/62.62 c cleaning 14007 clauses out of 28018 with flag 282271/144788 72.02/69.54 c cleaning 15001 clauses out of 30011 with flag 320784/160788 75.62/73.10 c Got one! Elapsed wall clock time (in seconds):72.975 75.62/73.10 o 220386 76.12/73.68 c Got one! Elapsed wall clock time (in seconds):73.555 76.12/73.68 o 219365 78.02/75.50 c cleaning 14418 clauses out of 28849 with flag 10502/174627 80.42/77.95 c cleaning 10209 clauses out of 20430 with flag 24762/180626 83.32/80.81 c cleaning 8610 clauses out of 17222 with flag 41957/187627 86.52/84.10 c cleaning 8303 clauses out of 16611 with flag 60713/195626 90.41/87.83 c cleaning 8643 clauses out of 17308 with flag 82813/204626 94.51/91.96 c cleaning 9329 clauses out of 18666 with flag 106750/214627 99.11/96.56 c cleaning 10161 clauses out of 20336 with flag 132756/225626 104.11/101.59 c cleaning 11083 clauses out of 22175 with flag 160420/237626 109.71/107.12 c cleaning 12043 clauses out of 24092 with flag 191174/250626 115.51/112.97 c cleaning 13018 clauses out of 26050 with flag 226597/264627 121.81/119.26 c cleaning 14014 clauses out of 28031 with flag 265937/279626 128.61/126.07 c cleaning 15000 clauses out of 30018 with flag 306602/295627 136.12/133.42 c cleaning 16002 clauses out of 32018 with flag 348901/312627 144.02/141.37 c cleaning 17002 clauses out of 34015 with flag 392942/330626 151.33/148.63 c Got one! Elapsed wall clock time (in seconds):148.507 151.33/148.63 o 218107 153.33/150.67 c Got one! Elapsed wall clock time (in seconds):150.54 153.33/150.67 o 214706 153.83/151.14 c cleaning 19936 clauses out of 39877 with flag 2443/353490 156.23/153.54 c cleaning 12967 clauses out of 25941 with flag 16675/359490 159.04/156.34 c cleaning 9980 clauses out of 19974 with flag 32664/366490 162.24/159.58 c cleaning 8991 clauses out of 17995 with flag 50639/374491 165.93/163.23 c cleaning 8993 clauses out of 18004 with flag 70669/383491 170.04/167.31 c cleaning 9502 clauses out of 19010 with flag 93746/393490 174.34/171.61 c cleaning 10251 clauses out of 20509 with flag 118842/404491 179.21/176.41 c cleaning 11126 clauses out of 22257 with flag 146137/416490 184.41/181.63 c cleaning 12059 clauses out of 24132 with flag 176816/429491 190.21/187.40 c cleaning 13033 clauses out of 26073 with flag 210556/443491 196.51/193.75 c cleaning 14016 clauses out of 28039 with flag 247714/458490 203.20/200.46 c cleaning 15010 clauses out of 30023 with flag 286707/474490 210.40/207.65 c cleaning 16006 clauses out of 32014 with flag 327663/491491 217.90/215.01 c cleaning 16993 clauses out of 34008 with flag 371576/509491 225.80/222.94 c cleaning 18005 clauses out of 36014 with flag 417746/528490 234.40/231.50 c cleaning 19001 clauses out of 38009 with flag 466799/548490 238.60/235.76 c Got one! Elapsed wall clock time (in seconds):235.635 238.60/235.76 o 214392 240.61/237.77 c cleaning 16954 clauses out of 33920 with flag 12723/563402 243.00/240.13 c cleaning 11476 clauses out of 22967 with flag 27894/569403 245.72/242.84 c cleaning 9231 clauses out of 18491 with flag 45859/576403 248.82/245.91 c cleaning 8616 clauses out of 17260 with flag 66357/584403 252.32/249.42 c cleaning 8814 clauses out of 17644 with flag 89892/593403 256.12/253.26 c cleaning 9400 clauses out of 18830 with flag 118084/603403 260.72/257.78 c cleaning 10210 clauses out of 20429 with flag 147928/614402 265.81/262.81 c cleaning 11100 clauses out of 22221 with flag 181875/626404 271.22/268.29 c cleaning 12051 clauses out of 24119 with flag 220148/639402 277.22/274.23 c cleaning 13018 clauses out of 26068 with flag 259665/653402 283.62/280.67 c cleaning 14018 clauses out of 28051 with flag 302633/668403 290.41/287.46 c cleaning 15006 clauses out of 30033 with flag 348663/684403 297.61/294.66 c cleaning 15998 clauses out of 32026 with flag 396776/701402 305.28/302.24 c cleaning 17008 clauses out of 34028 with flag 449797/719402 313.08/310.01 c cleaning 18006 clauses out of 36021 with flag 502148/738403 321.38/318.30 c cleaning 19000 clauses out of 38015 with flag 557244/758403 330.08/327.00 c cleaning 20001 clauses out of 40014 with flag 618164/779402 339.28/336.23 c cleaning 21003 clauses out of 42014 with flag 677122/801403 349.30/346.13 c cleaning 22003 clauses out of 44010 with flag 737770/824402 359.99/356.84 c cleaning 23003 clauses out of 46008 with flag 805014/848403 371.19/368.09 c cleaning 23993 clauses out of 48004 with flag 875970/873402 383.08/379.91 c cleaning 25004 clauses out of 50012 with flag 948381/899403 395.04/391.88 c cleaning 25999 clauses out of 52008 with flag 1024947/926403 407.14/403.93 c cleaning 27002 clauses out of 54010 with flag 1103592/954404 410.54/407.30 c Got one! Elapsed wall clock time (in seconds):407.177 410.54/407.30 o 213764 412.64/409.41 c cleaning 20049 clauses out of 40132 with flag 11787/967528 415.03/411.86 c cleaning 13033 clauses out of 26083 with flag 26154/973528 417.83/414.68 c cleaning 10010 clauses out of 20049 with flag 42456/980527 421.03/417.89 c cleaning 9012 clauses out of 18040 with flag 61868/988528 424.73/421.53 c cleaning 9002 clauses out of 18027 with flag 84001/997527 428.73/425.55 c cleaning 9507 clauses out of 19026 with flag 108974/1007528 433.19/429.98 c cleaning 10255 clauses out of 20519 with flag 135531/1018528 438.19/434.92 c cleaning 11126 clauses out of 22264 with flag 165529/1030528 443.49/440.28 c cleaning 12058 clauses out of 24137 with flag 198413/1043527 449.30/446.09 c cleaning 13033 clauses out of 26079 with flag 234682/1057527 455.60/452.36 c cleaning 14007 clauses out of 28046 with flag 273437/1072527 462.49/459.22 c cleaning 15016 clauses out of 30039 with flag 313132/1088527 469.59/466.33 c cleaning 16004 clauses out of 32023 with flag 354351/1105527 477.13/473.84 c cleaning 17006 clauses out of 34021 with flag 399094/1123529 485.33/482.06 c cleaning 18003 clauses out of 36014 with flag 447562/1142528 493.93/490.62 c cleaning 18999 clauses out of 38010 with flag 498916/1162527 502.73/499.44 c cleaning 20005 clauses out of 40013 with flag 552285/1183529 512.22/508.93 c cleaning 20999 clauses out of 42006 with flag 609812/1205527 522.14/518.83 c cleaning 22004 clauses out of 44008 with flag 667729/1228528 532.63/529.30 c cleaning 23002 clauses out of 46004 with flag 732680/1252528 543.63/540.34 c cleaning 24000 clauses out of 48004 with flag 799050/1277530 555.36/552.08 c cleaning 24994 clauses out of 50003 with flag 869281/1303529 567.45/564.19 c cleaning 26002 clauses out of 52008 with flag 943561/1330528 580.05/576.77 c cleaning 26999 clauses out of 54005 with flag 1018977/1358527 592.95/589.68 c cleaning 28001 clauses out of 56007 with flag 1097701/1387528 606.38/603.05 c cleaning 28999 clauses out of 58006 with flag 1179968/1417528 619.97/616.66 c cleaning 29998 clauses out of 60006 with flag 1262296/1448527 634.37/631.06 c cleaning 31000 clauses out of 62008 with flag 1348121/1480527 649.52/646.17 c cleaning 31992 clauses out of 64008 with flag 1436259/1513527 664.83/661.40 c cleaning 33002 clauses out of 66020 with flag 1526637/1547531 680.43/677.00 c cleaning 33998 clauses out of 68014 with flag 1625591/1582527 696.85/693.45 c cleaning 35000 clauses out of 70017 with flag 1722926/1618528 713.55/710.13 c cleaning 35999 clauses out of 72016 with flag 1825744/1655527 730.81/727.30 c cleaning 37008 clauses out of 74018 with flag 1929286/1693528 748.31/744.86 c cleaning 37999 clauses out of 76009 with flag 2034351/1732527 766.77/763.26 c cleaning 38999 clauses out of 78011 with flag 2143025/1772528 785.68/782.13 c cleaning 39999 clauses out of 80011 with flag 2256693/1813527 805.74/802.16 c cleaning 40999 clauses out of 82012 with flag 2373167/1855527 826.13/822.54 c cleaning 42001 clauses out of 84013 with flag 2492854/1898527 847.27/843.60 c cleaning 43003 clauses out of 86012 with flag 2618558/1942527 868.78/865.19 c cleaning 44005 clauses out of 88010 with flag 2746019/1987528 891.14/887.40 c cleaning 44994 clauses out of 90005 with flag 2879132/2033528 913.74/910.04 c cleaning 45999 clauses out of 92010 with flag 3012457/2080527 937.00/933.24 c cleaning 46998 clauses out of 94012 with flag 3144928/2128528 960.64/956.81 c cleaning 47998 clauses out of 96013 with flag 3291087/2177527 985.44/981.67 c cleaning 48999 clauses out of 98016 with flag 3433630/2227528 1010.81/1006.99 c cleaning 50001 clauses out of 100017 with flag 3581430/2278528 1036.61/1032.68 c cleaning 51005 clauses out of 102016 with flag 3729654/2330528 1062.81/1058.80 c cleaning 52000 clauses out of 104011 with flag 3881281/2383528 1089.69/1085.61 c cleaning 52999 clauses out of 106010 with flag 4033063/2437527 1118.06/1113.90 c cleaning 54004 clauses out of 108013 with flag 4194590/2492529 1146.54/1142.30 c cleaning 55002 clauses out of 110008 with flag 4356239/2548528 1175.44/1171.29 c cleaning 55996 clauses out of 112005 with flag 4523620/2605527 1206.27/1202.06 c cleaning 57003 clauses out of 114011 with flag 4701654/2663529 1236.60/1232.31 c cleaning 57996 clauses out of 116007 with flag 4881611/2722528 1267.97/1263.64 c cleaning 58995 clauses out of 118010 with flag 5064466/2782527 1298.04/1293.61 c cleaning 60004 clauses out of 120016 with flag 5256067/2843528 1320.10/1315.67 c Got one! Elapsed wall clock time (in seconds):1315.546 1320.10/1315.67 o 213025 1322.40/1317.97 c cleaning 54660 clauses out of 109350 with flag 13782/2892866 1324.99/1320.51 c cleaning 30335 clauses out of 60690 with flag 28671/2898866 1327.90/1323.43 c cleaning 18660 clauses out of 37356 with flag 46100/2905867 1331.20/1326.72 c cleaning 13335 clauses out of 26696 with flag 64991/2913867 1334.89/1330.47 c cleaning 11178 clauses out of 22360 with flag 86507/2922866 1339.09/1334.69 c cleaning 10586 clauses out of 21183 with flag 112394/2932867 1343.83/1339.37 c cleaning 10793 clauses out of 21596 with flag 142569/2943866 1348.84/1344.32 c cleaning 11400 clauses out of 22805 with flag 175906/2955868 1354.13/1349.64 c cleaning 12196 clauses out of 24403 with flag 211977/2968866 1360.03/1355.55 c cleaning 13098 clauses out of 26208 with flag 249604/2982867 1366.46/1361.95 c cleaning 14050 clauses out of 28110 with flag 289634/2997867 1373.25/1368.71 c cleaning 15028 clauses out of 30059 with flag 332327/3013866 1380.25/1375.77 c cleaning 16014 clauses out of 32031 with flag 377735/3030866 1387.95/1383.44 c cleaning 17007 clauses out of 34018 with flag 425266/3048867 1396.18/1391.69 c cleaning 18003 clauses out of 36011 with flag 477234/3067867 1404.98/1400.48 c cleaning 19002 clauses out of 38007 with flag 529488/3087866 1414.17/1409.68 c cleaning 19996 clauses out of 40005 with flag 588705/3108866 1423.90/1419.35 c cleaning 21001 clauses out of 42010 with flag 651000/3130867 1434.01/1429.45 c cleaning 22003 clauses out of 44009 with flag 715531/3153867 1444.71/1440.12 c cleaning 22998 clauses out of 46005 with flag 783406/3177866 1455.22/1450.60 c cleaning 23997 clauses out of 48008 with flag 850742/3202867 1466.32/1461.74 c cleaning 25004 clauses out of 50010 with flag 918257/3228866 1478.05/1473.44 c cleaning 25997 clauses out of 52006 with flag 991971/3255866 1490.45/1485.84 c cleaning 26996 clauses out of 54009 with flag 1065636/3283866 1503.37/1498.71 c cleaning 28000 clauses out of 56013 with flag 1143187/3312866 1516.77/1512.12 c cleaning 29001 clauses out of 58014 with flag 1222614/3342867 1531.18/1526.53 c cleaning 30003 clauses out of 60012 with flag 1309495/3373866 1543.19/1538.58 c Got one! Elapsed wall clock time (in seconds):1538.45 1543.19/1538.58 o 212944 1545.62/1540.95 c cleaning 30607 clauses out of 61226 with flag 14333/3405083 1548.31/1543.62 c cleaning 18304 clauses out of 36620 with flag 31100/3411084 1551.32/1546.69 c cleaning 12649 clauses out of 25316 with flag 50490/3418084 1554.81/1550.14 c cleaning 10316 clauses out of 20667 with flag 73240/3426084 1558.71/1554.00 c cleaning 9670 clauses out of 19350 with flag 99149/3435083 1563.01/1558.37 c cleaning 9835 clauses out of 19682 with flag 127306/3445085 1567.72/1563.09 c cleaning 10420 clauses out of 20845 with flag 157444/3456083 1573.02/1568.31 c cleaning 11210 clauses out of 22425 with flag 190505/3468083 1578.62/1573.94 c cleaning 12101 clauses out of 24215 with flag 226567/3481083 1584.72/1580.09 c cleaning 13054 clauses out of 26114 with flag 265888/3495083 1591.34/1586.61 c cleaning 14028 clauses out of 28061 with flag 308340/3510084 1598.04/1593.35 c cleaning 15010 clauses out of 30033 with flag 353886/3526084 1605.14/1600.49 c cleaning 16004 clauses out of 32022 with flag 404209/3543083 1612.96/1608.22 c cleaning 16999 clauses out of 34018 with flag 453318/3561083 1621.26/1616.57 c cleaning 18007 clauses out of 36019 with flag 507088/3580083 1629.85/1625.19 c cleaning 19004 clauses out of 38012 with flag 567846/3600083 1639.27/1634.55 c cleaning 20003 clauses out of 40008 with flag 628566/3621083 1649.37/1644.64 c cleaning 21000 clauses out of 42007 with flag 694809/3643085 1659.69/1654.90 c cleaning 21998 clauses out of 44005 with flag 762858/3666083 1670.40/1665.70 c cleaning 22996 clauses out of 46008 with flag 832705/3690084 1681.42/1676.67 c cleaning 24004 clauses out of 48012 with flag 907206/3715084 1692.92/1688.13 c cleaning 25002 clauses out of 50007 with flag 984364/3741083 1705.16/1700.34 c cleaning 26002 clauses out of 52005 with flag 1061969/3768083 1718.25/1713.42 c cleaning 26998 clauses out of 54004 with flag 1145768/3796084 1732.06/1727.20 c cleaning 27998 clauses out of 56005 with flag 1228288/3825083 1745.69/1740.85 c cleaning 29001 clauses out of 58007 with flag 1312617/3855083 1759.89/1755.00 c cleaning 29999 clauses out of 60006 with flag 1405307/3886083 1774.60/1769.73 c cleaning 31002 clauses out of 62008 with flag 1497857/3918084 1789.83/1784.97 c cleaning 31999 clauses out of 64006 with flag 1595126/3951084 1800.03/1795.10 c starts : 82 1800.03/1795.10 c conflicts : 3974190 1800.03/1795.10 c decisions : 4429864 1800.03/1795.10 c propagations : 423078684 1800.03/1795.10 c inspects : 11845132196 1800.03/1795.10 c shortcuts : 0 1800.03/1795.10 c learnt literals : 0 1800.03/1795.10 c learnt binary clauses : 0 1800.03/1795.10 c learnt ternary clauses : 0 1800.03/1795.10 c learnt constraints : 3974191 1800.03/1795.10 c ignored constraints : 0 1800.03/1795.10 c root simplifications : 0 1800.03/1795.10 c removed literals (reason simplification) : 0 1800.03/1795.10 c reason swapping (by a shorter reason) : 0 1800.03/1795.10 c Calls to reduceDB : 183 1800.03/1795.10 c Number of update (reduction) of LBD : 45088 1800.03/1795.10 c Imported unit clauses : 0 1800.03/1795.10 c number of reductions to clauses (during analyze) : 0 1800.03/1795.10 c number of learned constraints concerned by reduction : 0 1800.03/1795.10 c number of learning phase by resolution : 0 1800.03/1795.10 c number of learning phase by cutting planes : 0 1800.03/1795.10 c speed (assignments/second) : 235799.45057241793 1800.03/1795.10 c non guided choices 1055 1800.03/1795.12 c learnt constraints type 1800.03/1795.12 c org.sat4j.minisat.constraints.cnf.LearntWLClause => 55114 1800.03/1795.12 s SATISFIABLE 1800.03/1795.12 c Found 17 solution(s) 1800.03/1795.13 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 1800.03/1795.13 c objective function=212944 1800.03/1795.13 c Total wall clock time (in seconds): 1795.0
OK 212944
runsolver Copyright (C) 2010-2013 Olivier ROUSSEL This is runsolver version 3.3.7 (svn: 2553) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4118076-1467220610/watcher-4118076-1467220610 -o /tmp/evaluation-result-4118076-1467220610/solver-4118076-1467220610 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node120-1467209132-3606 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4118076-1467220610.opb pid=5306 running on 4 cores: 0,2,4,6 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.22 2.22 2.23 3/194 5309 /proc/meminfo: memFree=25730272/32872528 swapFree=1588980/1719796 [pid=5309] ppid=5306 vsize=9292 CPUtime=0 cores=0,2,4,6 /proc/5309/stat : 5309 (java) D 5306 5309 3589 0 -1 4202496 318 0 0 0 0 0 0 0 20 0 1 0 3019508 9515008 176 33554432000 1073741824 1073778376 140736408216128 140736408198856 226084340624 0 0 4096 0 18446744072100588836 0 0 17 4 0 0 0 0 0 /proc/5309/statm: 2323 176 133 9 0 71 0 [startup+0.100061 s] /proc/loadavg: 2.22 2.22 2.23 3/194 5309 /proc/meminfo: memFree=25730272/32872528 swapFree=1588980/1719796 [pid=5309] ppid=5306 vsize=9558476 CPUtime=0.06 cores=0,2,4,6 /proc/5309/stat : 5309 (java) S 5306 5309 3589 0 -1 4202496 4129 0 1 0 6 0 0 0 20 0 18 0 3019508 9787879424 4733 33554432000 1073741824 1073778376 140736490489040 140736490480176 226087698493 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/5309/statm: 2389619 4735 2052 9 0 2380296 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 9558476 [startup+0.200249 s] /proc/loadavg: 2.22 2.22 2.23 3/194 5309 /proc/meminfo: memFree=25730272/32872528 swapFree=1588980/1719796 [pid=5309] ppid=5306 vsize=9558476 CPUtime=0.21 cores=0,2,4,6 /proc/5309/stat : 5309 (java) S 5306 5309 3589 0 -1 4202496 4657 0 1 0 21 0 0 0 20 0 18 0 3019508 9787879424 6243 33554432000 1073741824 1073778376 140736490489040 140736490480176 226087698493 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/5309/statm: 2389619 6243 2202 9 0 2380296 0 Current children cumulated CPU time (s) 0.21 Current children cumulated vsize (KiB) 9558476 [startup+0.300223 s] /proc/loadavg: 2.22 2.22 2.23 3/194 5309 /proc/meminfo: memFree=25730272/32872528 swapFree=1588980/1719796 [pid=5309] ppid=5306 vsize=9558476 CPUtime=0.43 cores=0,2,4,6 /proc/5309/stat : 5309 (java) S 5306 5309 3589 0 -1 4202496 6287 0 1 0 42 1 0 0 20 0 18 0 3019508 9787879424 7861 33554432000 1073741824 1073778376 140736490489040 140736490480176 226087698493 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/5309/statm: 2389619 7861 2240 9 0 2380296 0 Current children cumulated CPU time (s) 0.43 Current children cumulated vsize (KiB) 9558476 [startup+0.700174 s] /proc/loadavg: 2.22 2.22 2.23 3/194 5309 /proc/meminfo: memFree=25730272/32872528 swapFree=1588980/1719796 [pid=5309] ppid=5306 vsize=9558476 CPUtime=1.61 cores=0,2,4,6 /proc/5309/stat : 5309 (java) S 5306 5309 3589 0 -1 4202496 18375 0 1 0 158 3 0 0 20 0 18 0 3019508 9787879424 23065 33554432000 1073741824 1073778376 140736490489040 140736490480176 226087698493 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/5309/statm: 2389619 23065 2258 9 0 2380296 0 Current children cumulated CPU time (s) 1.61 Current children cumulated vsize (KiB) 9558476 [startup+1.50085 s] /proc/loadavg: 2.36 2.25 2.24 4/213 5328 /proc/meminfo: memFree=25628020/32872528 swapFree=1588980/1719796 [pid=5309] ppid=5306 vsize=9625040 CPUtime=3.51 cores=0,2,4,6 /proc/5309/stat : 5309 (java) S 5306 5309 3589 0 -1 4202496 22136 0 1 0 347 4 0 0 20 0 19 0 3019508 9856040960 29608 33554432000 1073741824 1073778376 140736490489040 140736490480176 226087698493 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/5309/statm: 2406260 29608 2272 9 0 2396937 0 [pid=5309/tid=5311] ppid=5306 vsize=9625040 CPUtime=1.45 cores=0,2,4,6 /proc/5309/task/5311/stat : 5311 (java) R 5306 5309 3589 0 -1 4202560 2511 0 1 0 143 2 0 0 20 0 19 0 3019509 9856040960 29608 33554432000 1073741824 1073778376 140736490489040 140579575840920 140579516647996 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 [pid=5309/tid=5312] ppid=5306 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/5309/task/5312/stat : 5312 (java) S 5306 5309 3589 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3019511 9856040960 29608 33554432000 1073741824 1073778376 140736490489040 140579419404712 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=5309/tid=5313] ppid=5306 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/5309/task/5313/stat : 5313 (java) S 5306 5309 3589 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3019511 9856040960 29608 33554432000 1073741824 1073778376 140736490489040 140579418352168 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=5309/tid=5314] ppid=5306 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/5309/task/5314/stat : 5314 (java) S 5306 5309 3589 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3019511 9856040960 29608 33554432000 1073741824 1073778376 140736490489040 140579417299112 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=5309/tid=5315] ppid=5306 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/5309/task/5315/stat : 5315 (java) S 5306 5309 3589 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3019511 9856040960 29608 33554432000 1073741824 1073778376 140736490489040 140579416246568 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=5309/tid=5316] ppid=5306 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/5309/task/5316/stat : 5316 (java) S 5306 5309 3589 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3019511 9856040960 29608 33554432000 1073741824 1073778376 140736490489040 140579415194536 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=5309/tid=5317] ppid=5306 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/5309/task/5317/stat : 5317 (java) S 5306 5309 3589 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3019511 9856040960 29608 33554432000 1073741824 1073778376 140736490489040 140579414141992 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=5309/tid=5318] ppid=5306 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/5309/task/5318/stat : 5318 (java) S 5306 5309 3589 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3019511 9856040960 29608 33554432000 1073741824 1073778376 140736490489040 140579413088936 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=5309/tid=5319] ppid=5306 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/5309/task/5319/stat : 5319 (java) S 5306 5309 3589 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 3019511 9856040960 29608 33554432000 1073741824 1073778376 140736490489040 140579412036392 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=5309/tid=5320] ppid=5306 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/5309/task/5320/stat : 5320 (java) S 5306 5309 3589 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 3019512 9856040960 29608 33554432000 1073741824 1073778376 140736490489040 140579399838056 226087712681 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=5309/tid=5321] ppid=5306 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/5309/task/5321/stat : 5321 (java) S 5306 5309 3589 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 3019512 9856040960 29608 33554432000 1073741824 1073778376 140736490489040 140579398784376 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=5309/tid=5322] ppid=5306 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/5309/task/5322/stat : 5322 (java) S 5306 5309 3589 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 3019512 9856040960 29608 33554432000 1073741824 1073778376 140736490489040 140579397731208 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=5309/tid=5323] ppid=5306 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/5309/task/5323/stat : 5323 (java) S 5306 5309 3589 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3019515 9856040960 29608 33554432000 1073741824 1073778376 140736490489040 140579396679952 226087720736 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=5309/tid=5324] ppid=5306 vsize=9625040 CPUtime=1.05 cores=0,2,4,6 /proc/5309/task/5324/stat : 5324 (java) R 5306 5309 3589 0 -1 4202560 9113 0 0 0 103 2 0 0 20 0 19 0 3019515 9856040960 29608 33554432000 1073741824 1073778376 140736490489040 140579395627832 140579579963658 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 [pid=5309/tid=5325] ppid=5306 vsize=9625040 CPUtime=0.98 cores=0,2,4,6 /proc/5309/task/5325/stat : 5325 (java) S 5306 5309 3589 0 -1 4202560 9240 0 0 0 96 2 0 0 20 0 19 0 3019515 9856040960 29608 33554432000 1073741824 1073778376 140736490489040 140579394575288 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=5309/tid=5326] ppid=5306 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/5309/task/5326/stat : 5326 (java) S 5306 5309 3589 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3019515 9856040960 29608 33554432000 1073741824 1073778376 140736490489040 140579393522424 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=5309/tid=5327] ppid=5306 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/5309/task/5327/stat : 5327 (java) S 5306 5309 3589 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3019515 9856040960 29608 33554432000 1073741824 1073778376 140736490489040 140579392470088 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=5309/tid=5328] ppid=5306 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/5309/task/5328/stat : 5328 (java) S 5306 5309 3589 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 3019596 9856040960 29608 33554432000 1073741824 1073778376 140736490489040 140579391415336 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 3.51 Current children cumulated vsize (KiB) 9625040 [startup+3.10084 s] /proc/loadavg: 2.36 2.25 2.24 3/213 5328 /proc/meminfo: memFree=25588356/32872528 swapFree=1588980/1719796 [pid=5309] ppid=5306 vsize=9625040 CPUtime=5.25 cores=0,2,4,6 /proc/5309/stat : 5309 (java) S 5306 5309 3589 0 -1 4202496 22454 0 1 0 520 5 0 0 20 0 19 0 3019508 9856040960 41914 33554432000 1073741824 1073778376 140736490489040 140736490480176 226087698493 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/5309/statm: 2406260 41914 2272 9 0 2396937 0 [pid=5309/tid=5311] ppid=5306 vsize=9625040 CPUtime=3.05 cores=0,2,4,6 /proc/5309/task/5311/stat : 5311 (java) R 5306 5309 3589 0 -1 4202560 2536 0 1 0 302 3 0 0 20 0 19 0 3019509 9856040960 41914 33554432000 1073741824 1073778376 140736490489040 140579575849368 140579516907424 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 [pid=5309/tid=5312] ppid=5306 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/5309/task/5312/stat : 5312 (java) S 5306 5309 3589 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3019511 9856040960 41914 33554432000 1073741824 1073778376 140736490489040 140579419404712 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=5309/tid=5313] ppid=5306 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/5309/task/5313/stat : 5313 (java) S 5306 5309 3589 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3019511 9856040960 41914 33554432000 1073741824 1073778376 140736490489040 140579418352168 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=5309/tid=5314] ppid=5306 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/5309/task/5314/stat : 5314 (java) S 5306 5309 3589 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3019511 9856040960 41914 33554432000 1073741824 1073778376 140736490489040 140579417299112 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=5309/tid=5315] ppid=5306 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/5309/task/5315/stat : 5315 (java) S 5306 5309 3589 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3019511 9856040960 41914 33554432000 1073741824 1073778376 140736490489040 140579416246568 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=5309/tid=5316] ppid=5306 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/5309/task/5316/stat : 5316 (java) S 5306 5309 3589 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3019511 9856040960 41914 33554432000 1073741824 1073778376 140736490489040 140579415194536 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=5309/tid=5317] ppid=5306 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/5309/task/5317/stat : 5317 (java) S 5306 5309 3589 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3019511 9856040960 41914 33554432000 1073741824 1073778376 140736490489040 140579414141992 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=5309/tid=5318] ppid=5306 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/5309/task/5318/stat : 5318 (java) S 5306 5309 3589 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3019511 9856040960 41914 33554432000 1073741824 1073778376 140736490489040 140579413088936 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=5309/tid=5319] ppid=5306 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/5309/task/5319/stat : 5319 (java) S 5306 5309 3589 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 3019511 9856040960 41914 33554432000 1073741824 1073778376 140736490489040 140579412036392 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=5309/tid=5320] ppid=5306 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/5309/task/5320/stat : 5320 (java) S 5306 5309 3589 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 3019512 9856040960 41914 33554432000 1073741824 1073778376 140736490489040 140579399838056 226087712681 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=5309/tid=5321] ppid=5306 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/5309/task/5321/stat : 5321 (java) S 5306 5309 3589 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 3019512 9856040960 41914 33554432000 1073741824 1073778376 140736490489040 140579398784376 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=5309/tid=5322] ppid=5306 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/5309/task/5322/stat : 5322 (java) S 5306 5309 3589 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 3019512 9856040960 41914 33554432000 1073741824 1073778376 140736490489040 140579397731208 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=5309/tid=5323] ppid=5306 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/5309/task/5323/stat : 5323 (java) S 5306 5309 3589 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3019515 9856040960 41914 33554432000 1073741824 1073778376 140736490489040 140579396679952 226087720736 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=5309/tid=5324] ppid=5306 vsize=9625040 CPUtime=1.16 cores=0,2,4,6 /proc/5309/task/5324/stat : 5324 (java) S 5306 5309 3589 0 -1 4202560 9402 0 0 0 114 2 0 0 20 0 19 0 3019515 9856040960 41914 33554432000 1073741824 1073778376 140736490489040 140579395627832 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=5309/tid=5325] ppid=5306 vsize=9625040 CPUtime=1.01 cores=0,2,4,6 /proc/5309/task/5325/stat : 5325 (java) S 5306 5309 3589 0 -1 4202560 9243 0 0 0 99 2 0 0 20 0 19 0 3019515 9856040960 41914 33554432000 1073741824 1073778376 140736490489040 140579394575288 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=5309/tid=5326] ppid=5306 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/5309/task/5326/stat : 5326 (java) S 5306 5309 3589 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3019515 9856040960 41914 33554432000 1073741824 1073778376 140736490489040 140579393522424 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=5309/tid=5327] ppid=5306 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/5309/task/5327/stat : 5327 (java) S 5306 5309 3589 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3019515 9856040960 41914 33554432000 1073741824 1073778376 140736490489040 140579392470088 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=5309/tid=5328] ppid=5306 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/5309/task/5328/stat : 5328 (java) S 5306 5309 3589 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 3019596 9856040960 41914 33554432000 1073741824 1073778376 140736490489040 140579391415336 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 5.25 Current children cumulated vsize (KiB) 9625040 [startup+6.30081 s] /proc/loadavg: 2.36 2.25 2.24 4/213 5328 /proc/meminfo: memFree=25531884/32872528 swapFree=1588980/1719796 [pid=5309] ppid=5306 vsize=9625040 CPUtime=8.67 cores=0,2,4,6 /proc/5309/stat : 5309 (java) S 5306 5309 3589 0 -1 4202496 22571 0 1 0 859 8 0 0 20 0 19 0 3019508 9856040960 51241 33554432000 1073741824 1073778376 140736490489040 140736490480176 226087698493 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/5309/statm: 2406260 51241 2291 9 0 2396937 0 [pid=5309/tid=5311] ppid=5306 vsize=9625040 CPUtime=6.22 cores=0,2,4,6 /proc/5309/task/5311/stat : 5311 (java) R 5306 5309 3589 0 -1 4202560 2548 0 1 0 619 3 0 0 20 0 19 0 3019509 9856040960 51241 33554432000 1073741824 1073778376 140736490489040 140579575848248 140579516896759 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 [pid=5309/tid=5312] ppid=5306 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/5309/task/5312/stat : 5312 (java) S 5306 5309 3589 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 3019511 9856040960 51241 33554432000 1073741824 1073778376 140736490489040 140579419404712 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=5309/tid=5313] ppid=5306 vsize=9625040 CPUtime=0.01 cores=0,2,4,6 /proc/5309/task/5313/stat : 5313 (java) S 5306 5309 3589 0 -1 4202560 10 0 0 0 1 0 0 0 20 0 19 0 3019511 9856040960 51241 33554432000 1073741824 1073778376 140736490489040 140579418352168 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=5309/tid=5314] ppid=5306 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/5309/task/5314/stat : 5314 (java) S 5306 5309 3589 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 3019511 9856040960 51241 33554432000 1073741824 1073778376 140736490489040 140579417299112 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=5309/tid=5315] ppid=5306 vsize=9625040 CPUtime=0.01 cores=0,2,4,6 /proc/5309/task/5315/stat : 5315 (java) S 5306 5309 3589 0 -1 4202560 17 0 0 0 1 0 0 0 20 0 19 0 3019511 9856040960 51241 33554432000 1073741824 1073778376 140736490489040 140579416246568 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=5309/tid=5316] ppid=5306 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/5309/task/5316/stat : 5316 (java) S 5306 5309 3589 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 3019511 9856040960 51241 33554432000 1073741824 1073778376 140736490489040 140579415194536 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=5309/tid=5317] ppid=5306 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/5309/task/5317/stat : 5317 (java) S 5306 5309 3589 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 3019511 9856040960 51241 33554432000 1073741824 1073778376 140736490489040 140579414141992 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=5309/tid=5318] ppid=5306 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/5309/task/5318/stat : 5318 (java) S 5306 5309 3589 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 3019511 9856040960 51241 33554432000 1073741824 1073778376 140736490489040 140579413088936 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=5309/tid=5319] ppid=5306 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/5309/task/5319/stat : 5319 (java) S 5306 5309 3589 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 3019511 9856040960 51241 33554432000 1073741824 1073778376 140736490489040 140579412036392 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=5309/tid=5320] ppid=5306 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/5309/task/5320/stat : 5320 (java) S 5306 5309 3589 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 3019512 9856040960 51241 33554432000 1073741824 1073778376 140736490489040 140579399838056 226087712681 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=5309/tid=5321] ppid=5306 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/5309/task/5321/stat : 5321 (java) S 5306 5309 3589 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 3019512 9856040960 51241 33554432000 1073741824 1073778376 140736490489040 140579398784376 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=5309/tid=5322] ppid=5306 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/5309/task/5322/stat : 5322 (java) S 5306 5309 3589 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 3019512 9856040960 51241 33554432000 1073741824 1073778376 140736490489040 140579397731208 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=5309/tid=5323] ppid=5306 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/5309/task/5323/stat : 5323 (java) S 5306 5309 3589 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3019515 9856040960 51241 33554432000 1073741824 1073778376 140736490489040 140579396679952 226087720736 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=5309/tid=5324] ppid=5306 vsize=9625040 CPUtime=1.18 cores=0,2,4,6 /proc/5309/task/5324/stat : 5324 (java) S 5306 5309 3589 0 -1 4202560 9408 0 0 0 116 2 0 0 20 0 19 0 3019515 9856040960 51241 33554432000 1073741824 1073778376 140736490489040 140579395627832 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=5309/tid=5325] ppid=5306 vsize=9625040 CPUtime=1.13 cores=0,2,4,6 /proc/5309/task/5325/stat : 5325 (java) S 5306 5309 3589 0 -1 4202560 9273 0 0 0 111 2 0 0 20 0 19 0 3019515 9856040960 51241 33554432000 1073741824 1073778376 140736490489040 140579394575288 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=5309/tid=5326] ppid=5306 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/5309/task/5326/stat : 5326 (java) S 5306 5309 3589 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3019515 9856040960 51241 33554432000 1073741824 1073778376 140736490489040 140579393522424 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=5309/tid=5327] ppid=5306 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/5309/task/5327/stat : 5327 (java) S 5306 5309 3589 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3019515 9856040960 51241 33554432000 1073741824 1073778376 140736490489040 140579392470088 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=5309/tid=5328] ppid=5306 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/5309/task/5328/stat : 5328 (java) S 5306 5309 3589 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 3019596 9856040960 51241 33554432000 1073741824 1073778376 140736490489040 140579391415336 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 8.67 Current children cumulated vsize (KiB) 9625040 ################ # More data... # ################ [pid=5309/tid=5328] ppid=5306 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/5309/task/5328/stat : 5328 (java) S 5306 5309 3589 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 3019596 9856040960 88423 33554432000 1073741824 1073778376 140736490489040 140579391415336 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1727.16 Current children cumulated vsize (KiB) 9625040 [startup+1782.3 s] /proc/loadavg: 2.14 2.19 2.18 3/213 5438 /proc/meminfo: memFree=22925824/32872528 swapFree=1588980/1719796 [pid=5309] ppid=5306 vsize=9625040 CPUtime=1787.22 cores=0,2,4,6 /proc/5309/stat : 5309 (java) S 5306 5309 3589 0 -1 4202496 24777 0 1 0 178661 61 0 0 20 0 19 0 3019508 9856040960 87189 33554432000 1073741824 1073778376 140736490489040 140736490480176 226087698493 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/5309/statm: 2406260 87189 2302 9 0 2396937 0 [pid=5309/tid=5311] ppid=5306 vsize=9625040 CPUtime=1776.37 cores=0,2,4,6 /proc/5309/task/5311/stat : 5311 (java) R 5306 5309 3589 0 -1 4202560 2601 0 1 0 177606 31 0 0 20 0 19 0 3019509 9856040960 87189 33554432000 1073741824 1073778376 140736490489040 140579575848176 140579516896722 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 [pid=5309/tid=5312] ppid=5306 vsize=9625040 CPUtime=0.42 cores=0,2,4,6 /proc/5309/task/5312/stat : 5312 (java) S 5306 5309 3589 0 -1 4202560 237 0 0 0 37 5 0 0 20 0 19 0 3019511 9856040960 87189 33554432000 1073741824 1073778376 140736490489040 140579419404712 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=5309/tid=5313] ppid=5306 vsize=9625040 CPUtime=0.5 cores=0,2,4,6 /proc/5309/task/5313/stat : 5313 (java) S 5306 5309 3589 0 -1 4202560 112 0 0 0 45 5 0 0 20 0 19 0 3019511 9856040960 87189 33554432000 1073741824 1073778376 140736490489040 140579418352168 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=5309/tid=5314] ppid=5306 vsize=9625040 CPUtime=0.45 cores=0,2,4,6 /proc/5309/task/5314/stat : 5314 (java) S 5306 5309 3589 0 -1 4202560 161 0 0 0 40 5 0 0 20 0 19 0 3019511 9856040960 87189 33554432000 1073741824 1073778376 140736490489040 140579417299112 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=5309/tid=5315] ppid=5306 vsize=9625040 CPUtime=0.47 cores=0,2,4,6 /proc/5309/task/5315/stat : 5315 (java) S 5306 5309 3589 0 -1 4202560 241 0 0 0 42 5 0 0 20 0 19 0 3019511 9856040960 87189 33554432000 1073741824 1073778376 140736490489040 140579416246568 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=5309/tid=5316] ppid=5306 vsize=9625040 CPUtime=0.37 cores=0,2,4,6 /proc/5309/task/5316/stat : 5316 (java) S 5306 5309 3589 0 -1 4202560 370 0 0 0 32 5 0 0 20 0 19 0 3019511 9856040960 87189 33554432000 1073741824 1073778376 140736490489040 140579415194536 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=5309/tid=5317] ppid=5306 vsize=9625040 CPUtime=0.46 cores=0,2,4,6 /proc/5309/task/5317/stat : 5317 (java) S 5306 5309 3589 0 -1 4202560 301 0 0 0 41 5 0 0 20 0 19 0 3019511 9856040960 87189 33554432000 1073741824 1073778376 140736490489040 140579414141992 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=5309/tid=5318] ppid=5306 vsize=9625040 CPUtime=0.44 cores=0,2,4,6 /proc/5309/task/5318/stat : 5318 (java) S 5306 5309 3589 0 -1 4202560 211 0 0 0 39 5 0 0 20 0 19 0 3019511 9856040960 87189 33554432000 1073741824 1073778376 140736490489040 140579413088936 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=5309/tid=5319] ppid=5306 vsize=9625040 CPUtime=0.44 cores=0,2,4,6 /proc/5309/task/5319/stat : 5319 (java) S 5306 5309 3589 0 -1 4202560 350 0 0 0 40 4 0 0 20 0 19 0 3019511 9856040960 87189 33554432000 1073741824 1073778376 140736490489040 140579412036392 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=5309/tid=5320] ppid=5306 vsize=9625040 CPUtime=0.16 cores=0,2,4,6 /proc/5309/task/5320/stat : 5320 (java) S 5306 5309 3589 0 -1 4202560 142 0 0 0 15 1 0 0 20 0 19 0 3019512 9856040960 87189 33554432000 1073741824 1073778376 140736490489040 140579399838056 226087712681 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=5309/tid=5321] ppid=5306 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/5309/task/5321/stat : 5321 (java) S 5306 5309 3589 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 3019512 9856040960 87189 33554432000 1073741824 1073778376 140736490489040 140579398784376 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=5309/tid=5322] ppid=5306 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/5309/task/5322/stat : 5322 (java) S 5306 5309 3589 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 3019512 9856040960 87189 33554432000 1073741824 1073778376 140736490489040 140579397731208 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=5309/tid=5323] ppid=5306 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/5309/task/5323/stat : 5323 (java) S 5306 5309 3589 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3019515 9856040960 87189 33554432000 1073741824 1073778376 140736490489040 140579396679952 226087720736 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=5309/tid=5324] ppid=5306 vsize=9625040 CPUtime=1.22 cores=0,2,4,6 /proc/5309/task/5324/stat : 5324 (java) S 5306 5309 3589 0 -1 4202560 9408 0 0 0 120 2 0 0 20 0 19 0 3019515 9856040960 87189 33554432000 1073741824 1073778376 140736490489040 140579395627832 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=5309/tid=5325] ppid=5306 vsize=9625040 CPUtime=1.18 cores=0,2,4,6 /proc/5309/task/5325/stat : 5325 (java) S 5306 5309 3589 0 -1 4202560 9279 0 0 0 116 2 0 0 20 0 19 0 3019515 9856040960 87189 33554432000 1073741824 1073778376 140736490489040 140579394575288 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=5309/tid=5326] ppid=5306 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/5309/task/5326/stat : 5326 (java) S 5306 5309 3589 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3019515 9856040960 87189 33554432000 1073741824 1073778376 140736490489040 140579393522424 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=5309/tid=5327] ppid=5306 vsize=9625040 CPUtime=0.4 cores=0,2,4,6 /proc/5309/task/5327/stat : 5327 (java) S 5306 5309 3589 0 -1 4202560 105 0 0 0 20 20 0 0 20 0 19 0 3019515 9856040960 87189 33554432000 1073741824 1073778376 140736490489040 140579392470088 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=5309/tid=5328] ppid=5306 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/5309/task/5328/stat : 5328 (java) S 5306 5309 3589 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 3019596 9856040960 87189 33554432000 1073741824 1073778376 140736490489040 140579391415336 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1787.22 Current children cumulated vsize (KiB) 9625040 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1795.1 s] /proc/loadavg: 2.12 2.18 2.17 3/213 5438 /proc/meminfo: memFree=22925952/32872528 swapFree=1588980/1719796 [pid=5309] ppid=5306 vsize=9625040 CPUtime=1800.03 cores=0,2,4,6 /proc/5309/stat : 5309 (java) S 5306 5309 3589 0 -1 4202496 24777 0 1 0 179941 62 0 0 20 0 19 0 3019508 9856040960 87189 33554432000 1073741824 1073778376 140736490489040 140736490480176 226087698493 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/5309/statm: 2406260 87189 2302 9 0 2396937 0 [pid=5309/tid=5311] ppid=5306 vsize=9625040 CPUtime=1789.13 cores=0,2,4,6 /proc/5309/task/5311/stat : 5311 (java) R 5306 5309 3589 0 -1 4202560 2601 0 1 0 178882 31 0 0 20 0 19 0 3019509 9856040960 87189 33554432000 1073741824 1073778376 140736490489040 140579575840480 140579516907480 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 [pid=5309/tid=5312] ppid=5306 vsize=9625040 CPUtime=0.42 cores=0,2,4,6 /proc/5309/task/5312/stat : 5312 (java) S 5306 5309 3589 0 -1 4202560 237 0 0 0 37 5 0 0 20 0 19 0 3019511 9856040960 87189 33554432000 1073741824 1073778376 140736490489040 140579419404712 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=5309/tid=5313] ppid=5306 vsize=9625040 CPUtime=0.5 cores=0,2,4,6 /proc/5309/task/5313/stat : 5313 (java) S 5306 5309 3589 0 -1 4202560 112 0 0 0 45 5 0 0 20 0 19 0 3019511 9856040960 87189 33554432000 1073741824 1073778376 140736490489040 140579418352168 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=5309/tid=5314] ppid=5306 vsize=9625040 CPUtime=0.45 cores=0,2,4,6 /proc/5309/task/5314/stat : 5314 (java) S 5306 5309 3589 0 -1 4202560 161 0 0 0 40 5 0 0 20 0 19 0 3019511 9856040960 87189 33554432000 1073741824 1073778376 140736490489040 140579417299112 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=5309/tid=5315] ppid=5306 vsize=9625040 CPUtime=0.47 cores=0,2,4,6 /proc/5309/task/5315/stat : 5315 (java) S 5306 5309 3589 0 -1 4202560 241 0 0 0 42 5 0 0 20 0 19 0 3019511 9856040960 87189 33554432000 1073741824 1073778376 140736490489040 140579416246568 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=5309/tid=5316] ppid=5306 vsize=9625040 CPUtime=0.37 cores=0,2,4,6 /proc/5309/task/5316/stat : 5316 (java) S 5306 5309 3589 0 -1 4202560 370 0 0 0 32 5 0 0 20 0 19 0 3019511 9856040960 87189 33554432000 1073741824 1073778376 140736490489040 140579415194536 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=5309/tid=5317] ppid=5306 vsize=9625040 CPUtime=0.46 cores=0,2,4,6 /proc/5309/task/5317/stat : 5317 (java) S 5306 5309 3589 0 -1 4202560 301 0 0 0 41 5 0 0 20 0 19 0 3019511 9856040960 87189 33554432000 1073741824 1073778376 140736490489040 140579414141992 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=5309/tid=5318] ppid=5306 vsize=9625040 CPUtime=0.44 cores=0,2,4,6 /proc/5309/task/5318/stat : 5318 (java) S 5306 5309 3589 0 -1 4202560 211 0 0 0 39 5 0 0 20 0 19 0 3019511 9856040960 87189 33554432000 1073741824 1073778376 140736490489040 140579413088936 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=5309/tid=5319] ppid=5306 vsize=9625040 CPUtime=0.44 cores=0,2,4,6 /proc/5309/task/5319/stat : 5319 (java) S 5306 5309 3589 0 -1 4202560 350 0 0 0 40 4 0 0 20 0 19 0 3019511 9856040960 87189 33554432000 1073741824 1073778376 140736490489040 140579412036392 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=5309/tid=5320] ppid=5306 vsize=9625040 CPUtime=0.16 cores=0,2,4,6 /proc/5309/task/5320/stat : 5320 (java) S 5306 5309 3589 0 -1 4202560 142 0 0 0 15 1 0 0 20 0 19 0 3019512 9856040960 87189 33554432000 1073741824 1073778376 140736490489040 140579399838056 226087712681 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=5309/tid=5321] ppid=5306 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/5309/task/5321/stat : 5321 (java) S 5306 5309 3589 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 3019512 9856040960 87189 33554432000 1073741824 1073778376 140736490489040 140579398784376 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=5309/tid=5322] ppid=5306 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/5309/task/5322/stat : 5322 (java) S 5306 5309 3589 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 3019512 9856040960 87189 33554432000 1073741824 1073778376 140736490489040 140579397731208 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=5309/tid=5323] ppid=5306 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/5309/task/5323/stat : 5323 (java) S 5306 5309 3589 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3019515 9856040960 87189 33554432000 1073741824 1073778376 140736490489040 140579396679952 226087720736 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=5309/tid=5324] ppid=5306 vsize=9625040 CPUtime=1.22 cores=0,2,4,6 /proc/5309/task/5324/stat : 5324 (java) S 5306 5309 3589 0 -1 4202560 9408 0 0 0 120 2 0 0 20 0 19 0 3019515 9856040960 87189 33554432000 1073741824 1073778376 140736490489040 140579395627832 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=5309/tid=5325] ppid=5306 vsize=9625040 CPUtime=1.18 cores=0,2,4,6 /proc/5309/task/5325/stat : 5325 (java) S 5306 5309 3589 0 -1 4202560 9279 0 0 0 116 2 0 0 20 0 19 0 3019515 9856040960 87189 33554432000 1073741824 1073778376 140736490489040 140579394575288 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=5309/tid=5326] ppid=5306 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/5309/task/5326/stat : 5326 (java) S 5306 5309 3589 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3019515 9856040960 87189 33554432000 1073741824 1073778376 140736490489040 140579393522424 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=5309/tid=5327] ppid=5306 vsize=9625040 CPUtime=0.42 cores=0,2,4,6 /proc/5309/task/5327/stat : 5327 (java) S 5306 5309 3589 0 -1 4202560 105 0 0 0 21 21 0 0 20 0 19 0 3019515 9856040960 87189 33554432000 1073741824 1073778376 140736490489040 140579392470088 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=5309/tid=5328] ppid=5306 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/5309/task/5328/stat : 5328 (java) S 5306 5309 3589 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 3019596 9856040960 87189 33554432000 1073741824 1073778376 140736490489040 140579391415336 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.03 Current children cumulated vsize (KiB) 9625040 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. ??? exit watcher main loop ??? sigkill at end of watcher main loop ??? kill 5309 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+1795.1 s] /proc/loadavg: 2.12 2.18 2.17 3/213 5438 /proc/meminfo: memFree=22925952/32872528 swapFree=1588980/1719796 [pid=5309] ppid=5306 vsize=9625040 CPUtime=1800.03 cores=0,2,4,6 /proc/5309/stat : 5309 (java) S 5306 5309 3589 0 -1 4202496 24777 0 1 0 179941 62 0 0 20 0 19 0 3019508 9856040960 87189 33554432000 1073741824 1073778376 140736490489040 140736490480176 226087698493 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/5309/statm: 2406260 87189 2302 9 0 2396937 0 [pid=5309/tid=5311] ppid=5306 vsize=9625040 CPUtime=1789.13 cores=0,2,4,6 /proc/5309/task/5311/stat : 5311 (java) R 5306 5309 3589 0 -1 4202560 2601 0 1 0 178882 31 0 0 20 0 19 0 3019509 9856040960 87189 33554432000 1073741824 1073778376 140736490489040 140579575840480 140579516907480 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 [pid=5309/tid=5312] ppid=5306 vsize=9625040 CPUtime=0.42 cores=0,2,4,6 /proc/5309/task/5312/stat : 5312 (java) S 5306 5309 3589 0 -1 4202560 237 0 0 0 37 5 0 0 20 0 19 0 3019511 9856040960 87189 33554432000 1073741824 1073778376 140736490489040 140579419404712 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=5309/tid=5313] ppid=5306 vsize=9625040 CPUtime=0.5 cores=0,2,4,6 /proc/5309/task/5313/stat : 5313 (java) S 5306 5309 3589 0 -1 4202560 112 0 0 0 45 5 0 0 20 0 19 0 3019511 9856040960 87189 33554432000 1073741824 1073778376 140736490489040 140579418352168 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=5309/tid=5314] ppid=5306 vsize=9625040 CPUtime=0.45 cores=0,2,4,6 /proc/5309/task/5314/stat : 5314 (java) S 5306 5309 3589 0 -1 4202560 161 0 0 0 40 5 0 0 20 0 19 0 3019511 9856040960 87189 33554432000 1073741824 1073778376 140736490489040 140579417299112 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=5309/tid=5315] ppid=5306 vsize=9625040 CPUtime=0.47 cores=0,2,4,6 /proc/5309/task/5315/stat : 5315 (java) S 5306 5309 3589 0 -1 4202560 241 0 0 0 42 5 0 0 20 0 19 0 3019511 9856040960 87189 33554432000 1073741824 1073778376 140736490489040 140579416246568 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=5309/tid=5316] ppid=5306 vsize=9625040 CPUtime=0.37 cores=0,2,4,6 /proc/5309/task/5316/stat : 5316 (java) S 5306 5309 3589 0 -1 4202560 370 0 0 0 32 5 0 0 20 0 19 0 3019511 9856040960 87189 33554432000 1073741824 1073778376 140736490489040 140579415194536 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=5309/tid=5317] ppid=5306 vsize=9625040 CPUtime=0.46 cores=0,2,4,6 /proc/5309/task/5317/stat : 5317 (java) S 5306 5309 3589 0 -1 4202560 301 0 0 0 41 5 0 0 20 0 19 0 3019511 9856040960 87189 33554432000 1073741824 1073778376 140736490489040 140579414141992 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=5309/tid=5318] ppid=5306 vsize=9625040 CPUtime=0.44 cores=0,2,4,6 /proc/5309/task/5318/stat : 5318 (java) S 5306 5309 3589 0 -1 4202560 211 0 0 0 39 5 0 0 20 0 19 0 3019511 9856040960 87189 33554432000 1073741824 1073778376 140736490489040 140579413088936 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=5309/tid=5319] ppid=5306 vsize=9625040 CPUtime=0.44 cores=0,2,4,6 /proc/5309/task/5319/stat : 5319 (java) S 5306 5309 3589 0 -1 4202560 350 0 0 0 40 4 0 0 20 0 19 0 3019511 9856040960 87189 33554432000 1073741824 1073778376 140736490489040 140579412036392 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=5309/tid=5320] ppid=5306 vsize=9625040 CPUtime=0.16 cores=0,2,4,6 /proc/5309/task/5320/stat : 5320 (java) S 5306 5309 3589 0 -1 4202560 142 0 0 0 15 1 0 0 20 0 19 0 3019512 9856040960 87189 33554432000 1073741824 1073778376 140736490489040 140579399838056 226087712681 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=5309/tid=5321] ppid=5306 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/5309/task/5321/stat : 5321 (java) S 5306 5309 3589 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 3019512 9856040960 87189 33554432000 1073741824 1073778376 140736490489040 140579398784376 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=5309/tid=5322] ppid=5306 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/5309/task/5322/stat : 5322 (java) S 5306 5309 3589 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 3019512 9856040960 87189 33554432000 1073741824 1073778376 140736490489040 140579397731208 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=5309/tid=5323] ppid=5306 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/5309/task/5323/stat : 5323 (java) S 5306 5309 3589 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3019515 9856040960 87189 33554432000 1073741824 1073778376 140736490489040 140579396679952 226087720736 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=5309/tid=5324] ppid=5306 vsize=9625040 CPUtime=1.22 cores=0,2,4,6 /proc/5309/task/5324/stat : 5324 (java) S 5306 5309 3589 0 -1 4202560 9408 0 0 0 120 2 0 0 20 0 19 0 3019515 9856040960 87189 33554432000 1073741824 1073778376 140736490489040 140579395627832 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=5309/tid=5325] ppid=5306 vsize=9625040 CPUtime=1.18 cores=0,2,4,6 /proc/5309/task/5325/stat : 5325 (java) S 5306 5309 3589 0 -1 4202560 9279 0 0 0 116 2 0 0 20 0 19 0 3019515 9856040960 87189 33554432000 1073741824 1073778376 140736490489040 140579394575288 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=5309/tid=5326] ppid=5306 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/5309/task/5326/stat : 5326 (java) S 5306 5309 3589 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3019515 9856040960 87189 33554432000 1073741824 1073778376 140736490489040 140579393522424 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=5309/tid=5327] ppid=5306 vsize=9625040 CPUtime=0.42 cores=0,2,4,6 /proc/5309/task/5327/stat : 5327 (java) S 5306 5309 3589 0 -1 4202560 105 0 0 0 21 21 0 0 20 0 19 0 3019515 9856040960 87189 33554432000 1073741824 1073778376 140736490489040 140579392470088 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=5309/tid=5328] ppid=5306 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/5309/task/5328/stat : 5328 (java) S 5306 5309 3589 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 3019596 9856040960 87189 33554432000 1073741824 1073778376 140736490489040 140579391415336 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.03 Current children cumulated vsize (KiB) 9625040 Child status: 143 # WARNING: # CPU time reported by wait4() is probably wrong ! # wait4(...,&childrusage) returns 5309 and gives # childrusage.ru_utime.tv_sec=1794 # childrusage.ru_utime.tv_usec=899133 # childrusage.ru_stime.tv_sec=1 # childrusage.ru_stime.tv_usec=99832 # CPU time returned by wait4() is 1796 # while last known CPU time is 1800.03 # # Solver probably didn't/couldn't wait for its children # Using CPU time of the last sample as value... Real time (s): 1795.13 CPU time (s): 1800.03 CPU user time (s): 1799.41 CPU system time (s): 0.62 CPU usage (%): 100.273 Max. virtual memory (cumulated for all children) (KiB): 9625040 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1794.9 system time used= 1.09983 maximum resident set size= 521412 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 24815 page faults= 1 swaps= 0 block input operations= 0 block output operations= 1680 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 39559 involuntary context switches= 15778 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 13.149 second user time and 15.1167 second system time The end
Begin job on node120 at 2016-06-29 19:16:50 IDJOB=4118076 IDBENCH=111444 IDSOLVER=2546 FILE ID=node120/4118076-1467220610 RUNJOBID= node120-1467209132-3606 PBS_JOBID= 19997582 Free space on /tmp= 71672 MiB SOLVER NAME= Sat4j PB 2.3.6 Resolution PB16 BENCH NAME= PB15eval/normalized-PB15eval/OPT-BIGINT-NLC/minlplib2-pb-0.1.0/opb/normalized-qap.opb COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4118076-1467220610/watcher-4118076-1467220610 -o /tmp/evaluation-result-4118076-1467220610/solver-4118076-1467220610 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node120-1467209132-3606 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4118076-1467220610.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= e621cc663ac64fde029ee2c2fb936671 RANDOM SEED=2124583518 node120.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.669 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 : 5333.33 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.669 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.669 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.669 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.669 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.669 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.54 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.669 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.669 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32872528 kB MemFree: 25729528 kB Buffers: 54664 kB Cached: 4098204 kB SwapCached: 0 kB Active: 634608 kB Inactive: 4068616 kB Active(anon): 552548 kB Inactive(anon): 0 kB Active(file): 82060 kB Inactive(file): 4068616 kB Unevictable: 1719796 kB Mlocked: 1588980 kB SwapTotal: 67108856 kB SwapFree: 67108856 kB Dirty: 1260 kB Writeback: 0 kB AnonPages: 2269208 kB Mapped: 22232 kB Shmem: 204 kB Slab: 585880 kB SReclaimable: 30092 kB SUnreclaim: 555788 kB KernelStack: 1600 kB PageTables: 8796 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 2401000 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 638976 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7552 kB DirectMap2M: 33538048 kB Free space on /tmp at the end= 71668 MiB End job on node120 at 2016-06-29 19:46:45