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 Res+CP PB16 | ? (TO) | 1828.6 | 937.13 |
| Name | normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/ normalized-single-obj-f11-DCTotalLoss.seq-B-3-2-irEDCBA.opb |
| MD5SUM | 9450c14877a479a0edb52f3644d89cb6 |
| Bench Category | OPT-BIGINT-LIN (optimisation, big integers, linear constraints) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 192983748815 |
| Best CPU time to get the best result obtained on this benchmark | 33.3009 |
| 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 | 21656 |
| Total number of constraints | 79163 |
| Number of constraints which are clauses | 79019 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 144 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 37 |
| Number of terms in the objective function | 677 |
| Biggest coefficient in the objective function | 554751656 |
| Number of bits for the biggest coefficient in the objective function | 30 |
| Sum of the numbers in the objective function | 272383063095 |
| Number of bits of the sum of numbers in the objective function | 38 |
| Biggest number in a constraint | 554751656 |
| Number of bits of the biggest number in a constraint | 30 |
| Biggest sum of numbers in a constraint | 272383063095 |
| Number of bits of the biggest sum of numbers | 38 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.07 c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS 0.00/0.07 c This is free software under the dual EPL/GNU LGPL licenses. 0.00/0.07 c See www.sat4j.org for details. 0.00/0.08 c version PB16.v20160501 0.00/0.08 c java.runtime.name Java(TM) SE Runtime Environment 0.00/0.08 c java.vm.name Java HotSpot(TM) 64-Bit Server VM 0.00/0.08 c java.vm.version 19.1-b02 0.00/0.08 c java.vm.vendor Sun Microsystems Inc. 0.00/0.08 c sun.arch.data.model 64 0.00/0.08 c java.version 1.6.0_24 0.00/0.08 c os.name Linux 0.00/0.08 c os.version 2.6.32-71.29.1.el6.x86_64 0.00/0.08 c os.arch amd64 0.00/0.08 c Free memory 501472288 0.00/0.08 c Max memory 7480803328 0.00/0.08 c Total memory 504102912 0.00/0.08 c Number of processors 16 0.11/0.11 c Pseudo Boolean Optimization by upper bound 0.11/0.11 c ManyCore solver with 2 solvers running in parallel 0.11/0.11 c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<< 0.11/0.11 c --- Begin Solver configuration --- 0.11/0.11 c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@22c84d9 0.11/0.11 c Learn all clauses as in MiniSAT 0.11/0.11 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.11/0.11 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.11/0.11 c Expensive reason simplification 0.11/0.11 c Glucose 2.1 dynamic restart strategy 0.11/0.11 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.11/0.11 c timeout=2147483s 0.11/0.11 c DB Simplification allowed=false 0.11/0.11 c Listener: org.sat4j.pb.tools.ManyCorePB@3f7fa65e 0.11/0.11 c --- End Solver configuration --- 0.11/0.11 c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<< 0.11/0.11 c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP) 0.11/0.11 c --- Begin Solver configuration --- 0.11/0.11 c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@558385e3 0.11/0.11 c Learn all clauses as in MiniSAT 0.11/0.11 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.11/0.11 c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function 0.11/0.11 c No reason simplification 0.11/0.11 c Armin Biere (Picosat) restarts strategy 0.11/0.11 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.11/0.11 c timeout=2147483s 0.11/0.11 c DB Simplification allowed=false 0.11/0.11 c Listener: org.sat4j.pb.tools.ManyCorePB@3f7fa65e 0.11/0.11 c --- End Solver configuration --- 0.11/0.11 c solving HOME/instance-4110973-1466393866.opb 0.11/0.11 c reading problem ... 0.11/0.11 c objective function found 3.03/1.28 c ... done. Wall clock time 1.171s. 3.30/1.31 c declared #vars 21656 3.30/1.31 c #constraints 79163 3.30/1.31 c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<< 3.30/1.31 c constraints type 3.30/1.31 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 18972 3.30/1.31 c org.sat4j.specs.Constr$1 => 13843 3.30/1.31 c org.sat4j.minisat.constraints.card.MinWatchCard => 36 3.30/1.31 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 42904 3.30/1.31 c org.sat4j.minisat.constraints.cnf.UnitClause => 3408 3.30/1.31 c 79163 constraints processed. 3.30/1.31 c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<< 3.30/1.31 c constraints type 3.30/1.31 c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 42904 3.30/1.31 c org.sat4j.specs.Constr$1 => 13843 3.30/1.31 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 18972 3.30/1.31 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 36 3.30/1.31 c org.sat4j.pb.constraints.pb.UnitClausePB => 3408 3.30/1.31 c 79163 constraints processed. 3.30/1.31 c objective function length is 677 literals 5.24/1.80 c And the winner is solver0 5.31/2.29 c SATISFIABLE 5.31/2.29 c OPTIMIZING... 5.31/2.29 c Got one! Elapsed wall clock time (in seconds):2.184 5.31/2.29 o 204078933891 6.23/2.53 c And the winner is solver0 6.36/2.80 c Got one! Elapsed wall clock time (in seconds):2.688 6.36/2.80 o 204078933819 6.76/2.99 c And the winner is solver1 7.09/3.30 c Got one! Elapsed wall clock time (in seconds):3.196 7.09/3.30 o 204078831219 7.77/3.70 c And the winner is solver0 8.06/3.81 c Got one! Elapsed wall clock time (in seconds):3.699 8.06/3.81 o 204078781935 11.21/5.26 c cleaning 3590 clauses out of 7185 with flag 9978/7185 16.62/7.76 c cleaning 4795 clauses out of 9595 with flag 22650/13185 22.40/10.45 c And the winner is solver1 22.48/10.85 c Got one! Elapsed wall clock time (in seconds):10.746 22.48/10.85 o 203524347583 26.04/12.51 c And the winner is solver1 26.08/12.86 c Got one! Elapsed wall clock time (in seconds):12.749 26.08/12.86 o 202414896327 26.16/12.91 c And the winner is solver0 28.51/14.85 c Got one! Elapsed wall clock time (in seconds):14.746 28.51/14.85 o 202414625535 29.22/15.21 c And the winner is solver0 29.33/15.36 c Got one! Elapsed wall clock time (in seconds):15.249 29.33/15.36 o 202414576251 30.22/15.88 c cleaning 8016 clauses out of 16031 with flag 6093/24416 33.28/17.15 c cleaning 7007 clauses out of 14013 with flag 20799/30414 34.91/18.00 c cleaning 7004 clauses out of 14007 with flag 36109/37415 36.91/18.99 c cleaning 7500 clauses out of 15002 with flag 53827/45414 39.31/20.18 c cleaning 8251 clauses out of 16502 with flag 73372/54414 42.51/21.71 c cleaning 9124 clauses out of 18252 with flag 95069/64415 46.99/23.71 c cleaning 10062 clauses out of 20127 with flag 119291/75414 50.21/25.39 c cleaning 11026 clauses out of 22065 with flag 145728/87414 55.19/27.84 c cleaning 12016 clauses out of 24040 with flag 174072/100415 58.59/29.54 c cleaning 13011 clauses out of 26023 with flag 204143/114414 63.85/31.86 c cleaning 14006 clauses out of 28012 with flag 235381/129414 68.06/33.96 c cleaning 15000 clauses out of 30007 with flag 268867/145415 73.85/36.84 c cleaning 16004 clauses out of 32007 with flag 324790/162415 89.56/44.32 c cleaning 17002 clauses out of 34003 with flag 454338/180415 95.91/47.37 c cleaning 17997 clauses out of 36001 with flag 506979/199415 101.89/50.34 c cleaning 18999 clauses out of 38003 with flag 549842/219414 108.37/53.35 c cleaning 20000 clauses out of 40005 with flag 594527/240415 115.17/56.74 c cleaning 20997 clauses out of 42004 with flag 642005/262414 121.81/59.97 c cleaning 22004 clauses out of 44007 with flag 690683/285414 128.42/63.28 c cleaning 23002 clauses out of 46003 with flag 742155/309414 137.82/68.19 c cleaning 24001 clauses out of 48001 with flag 796790/334414 146.22/72.36 c cleaning 24997 clauses out of 50000 with flag 854468/360414 155.55/76.98 c cleaning 25999 clauses out of 52003 with flag 912852/387414 165.61/81.89 c cleaning 26998 clauses out of 54004 with flag 972505/415414 169.01/83.60 c And the winner is solver1 169.01/83.75 c Got one! Elapsed wall clock time (in seconds):83.646 169.01/83.75 o 201860195395 170.51/84.59 c cleaning 21617 clauses out of 43234 with flag 12117/431642 172.71/85.60 c cleaning 13804 clauses out of 27618 with flag 25733/437643 175.67/87.04 c cleaning 10401 clauses out of 20815 with flag 41140/444644 178.25/88.31 c cleaning 9200 clauses out of 18412 with flag 59055/452642 180.25/89.33 c cleaning 9098 clauses out of 18212 with flag 78956/461642 182.45/90.46 c cleaning 9553 clauses out of 19114 with flag 101122/471642 185.05/91.73 c cleaning 10282 clauses out of 20563 with flag 126042/482644 188.08/93.18 c cleaning 11133 clauses out of 22280 with flag 153068/494643 191.30/94.77 c cleaning 12072 clauses out of 24146 with flag 182162/507642 195.08/96.60 c cleaning 13035 clauses out of 26075 with flag 213560/521643 195.88/97.07 c And the winner is solver1 195.97/97.26 c Got one! Elapsed wall clock time (in seconds):97.153 195.97/97.26 o 201860039335 196.64/97.63 c cleaning 9512 clauses out of 19029 with flag 5316/527632 199.04/98.85 c cleaning 7753 clauses out of 15518 with flag 18578/533633 201.61/100.09 c cleaning 7376 clauses out of 14765 with flag 34110/540633 204.81/101.66 c cleaning 7691 clauses out of 15390 with flag 51962/548634 208.01/103.28 c cleaning 8343 clauses out of 16697 with flag 72617/557632 211.81/105.13 c cleaning 9176 clauses out of 18354 with flag 95435/567632 215.54/106.87 c cleaning 10088 clauses out of 20178 with flag 120824/578632 219.95/109.02 c cleaning 11045 clauses out of 22090 with flag 149144/590632 223.33/110.76 c cleaning 0 clauses out of 8870 with flag 0/8873 224.96/111.48 c cleaning 12017 clauses out of 24046 with flag 179654/603633 230.75/114.36 c cleaning 13011 clauses out of 26028 with flag 212763/617632 238.39/118.08 c cleaning 14004 clauses out of 28017 with flag 248083/632632 244.62/121.14 c cleaning 15002 clauses out of 30013 with flag 285727/648632 250.20/123.98 c cleaning 16001 clauses out of 32011 with flag 323933/665632 257.00/127.37 c cleaning 17000 clauses out of 34011 with flag 365338/683633 266.20/131.99 c cleaning 17999 clauses out of 36010 with flag 408933/702632 276.14/136.66 c cleaning 19005 clauses out of 38012 with flag 455656/722633 284.76/140.99 c cleaning 20001 clauses out of 40006 with flag 505498/743632 295.35/146.22 c cleaning 21000 clauses out of 42005 with flag 557349/765632 307.09/151.86 c cleaning 21995 clauses out of 44006 with flag 610807/788633 322.22/159.23 c cleaning 22999 clauses out of 46011 with flag 666041/812633 326.84/161.58 c And the winner is solver1 326.84/161.77 c Got one! Elapsed wall clock time (in seconds):161.666 326.84/161.77 o 201305442371 328.62/162.55 c cleaning 19246 clauses out of 38492 with flag 11624/828113 330.22/163.33 c cleaning 12613 clauses out of 25246 with flag 24896/834113 331.82/164.13 c cleaning 9814 clauses out of 19634 with flag 40335/841114 333.42/164.97 c cleaning 8906 clauses out of 17820 with flag 58243/849114 335.42/165.97 c cleaning 8955 clauses out of 17913 with flag 78798/858113 337.62/167.04 c cleaning 9476 clauses out of 18958 with flag 100927/868113 340.02/168.24 c cleaning 10237 clauses out of 20483 with flag 125661/879114 343.19/169.67 c cleaning 11115 clauses out of 22246 with flag 152677/891114 346.19/171.10 c cleaning 12062 clauses out of 24130 with flag 181568/904113 349.40/172.78 c cleaning 13031 clauses out of 26068 with flag 212510/918113 353.38/174.72 c cleaning 14015 clauses out of 28037 with flag 246011/933113 357.78/176.93 c cleaning 15007 clauses out of 30022 with flag 281319/949113 363.21/179.47 c cleaning 16002 clauses out of 32016 with flag 319374/966114 368.39/182.05 c cleaning 17006 clauses out of 34014 with flag 359118/984114 374.59/185.19 c cleaning 17998 clauses out of 36008 with flag 401432/1003114 381.69/188.47 c cleaning 19002 clauses out of 38009 with flag 446601/1023113 388.30/191.71 c cleaning 19999 clauses out of 40007 with flag 493762/1044113 396.97/195.82 c cleaning 21002 clauses out of 42009 with flag 542952/1066114 408.54/201.30 c cleaning 22003 clauses out of 44006 with flag 593470/1089113 420.13/207.08 c cleaning 23001 clauses out of 46004 with flag 647061/1113114 432.54/212.89 c cleaning 23997 clauses out of 48003 with flag 704268/1138114 447.80/220.83 c cleaning 25001 clauses out of 50005 with flag 762987/1164113 459.78/226.60 c cleaning 25999 clauses out of 52005 with flag 824414/1191114 468.58/230.99 c And the winner is solver1 468.58/231.13 c Got one! Elapsed wall clock time (in seconds):231.022 468.58/231.13 o 201305290379 471.64/232.60 c cleaning 26158 clauses out of 52323 with flag 12505/1217431 474.04/233.83 c cleaning 16079 clauses out of 32165 with flag 26971/1223431 476.64/235.15 c cleaning 11536 clauses out of 23086 with flag 42873/1230431 478.44/236.08 c cleaning 9767 clauses out of 19550 with flag 61007/1238431 480.64/237.18 c cleaning 9384 clauses out of 18784 with flag 81214/1247432 483.04/238.36 c cleaning 9692 clauses out of 19400 with flag 103581/1257432 485.76/239.66 c cleaning 10349 clauses out of 20707 with flag 128713/1268431 488.58/241.04 c cleaning 11176 clauses out of 22359 with flag 156578/1280432 491.96/242.75 c cleaning 12092 clauses out of 24183 with flag 186117/1293432 495.36/244.45 c cleaning 13041 clauses out of 26091 with flag 217585/1307432 499.54/246.43 c cleaning 14023 clauses out of 28050 with flag 251179/1322432 504.52/248.93 c cleaning 15005 clauses out of 30026 with flag 287047/1338431 510.31/251.72 c cleaning 16009 clauses out of 32021 with flag 325891/1355431 515.91/254.57 c cleaning 17006 clauses out of 34013 with flag 367703/1373432 521.73/257.45 c And the winner is solver1 521.73/257.50 c cleaning 18000 clauses out of 36006 with flag 410653/1392431 521.74/257.64 c Got one! Elapsed wall clock time (in seconds):257.534 521.74/257.64 o 198531363943 524.47/258.96 c cleaning 11500 clauses out of 23007 with flag 11045/1397432 525.88/259.66 c cleaning 8754 clauses out of 17507 with flag 24058/1403432 527.27/260.37 c cleaning 7871 clauses out of 15752 with flag 39804/1410431 528.87/261.12 c cleaning 7941 clauses out of 15882 with flag 57338/1418432 530.49/261.98 c cleaning 8465 clauses out of 16940 with flag 77063/1427431 532.48/262.96 c cleaning 9232 clauses out of 18476 with flag 99378/1437432 534.69/264.03 c cleaning 10121 clauses out of 20245 with flag 123667/1448433 537.54/265.35 c cleaning 11062 clauses out of 22124 with flag 150795/1460433 540.34/266.79 c cleaning 12027 clauses out of 24060 with flag 180392/1473431 543.76/268.42 c cleaning 13011 clauses out of 26033 with flag 212147/1487431 547.54/270.30 c cleaning 14006 clauses out of 28023 with flag 245689/1502432 551.78/272.36 c cleaning 15005 clauses out of 30016 with flag 282125/1518431 556.38/274.61 c cleaning 15999 clauses out of 32011 with flag 321077/1535431 560.79/276.80 c cleaning 17002 clauses out of 34012 with flag 361906/1553431 565.79/279.32 c cleaning 18005 clauses out of 36010 with flag 404623/1572431 570.61/281.79 c cleaning 19001 clauses out of 38005 with flag 450547/1592431 576.50/284.58 c cleaning 19998 clauses out of 40004 with flag 498803/1613431 581.72/287.20 c cleaning 21002 clauses out of 42006 with flag 548574/1635431 588.10/290.32 c cleaning 22003 clauses out of 44005 with flag 601323/1658432 594.70/293.63 c cleaning 23001 clauses out of 46002 with flag 656861/1682432 601.72/297.15 c cleaning 23996 clauses out of 48000 with flag 714892/1707431 608.70/300.69 c cleaning 24997 clauses out of 50005 with flag 774089/1733432 617.63/304.88 c cleaning 25999 clauses out of 52007 with flag 834060/1760431 627.82/309.98 c cleaning 27005 clauses out of 54009 with flag 898198/1788432 639.98/315.68 c cleaning 28002 clauses out of 56004 with flag 965947/1817432 648.58/319.98 c cleaning 28995 clauses out of 58001 with flag 1033635/1847431 657.79/324.53 c cleaning 30000 clauses out of 60007 with flag 1102775/1878432 666.97/329.10 c cleaning 30999 clauses out of 62007 with flag 1175395/1910432 679.41/335.04 c cleaning 32004 clauses out of 64007 with flag 1248331/1943431 690.41/340.51 c cleaning 32994 clauses out of 66003 with flag 1325435/1977431 702.69/346.30 c cleaning 33998 clauses out of 68009 with flag 1404834/2012431 713.89/351.99 c cleaning 35003 clauses out of 70011 with flag 1486817/2048431 728.40/358.88 c cleaning 36003 clauses out of 72009 with flag 1570732/2085432 742.90/365.73 c cleaning 36996 clauses out of 74006 with flag 1657368/2123432 759.55/373.62 c cleaning 38005 clauses out of 76009 with flag 1750774/2162431 776.47/382.20 c cleaning 0 clauses out of 15038 with flag 0/15041 777.27/382.65 c cleaning 38998 clauses out of 78004 with flag 1845231/2202431 794.61/390.95 c cleaning 40002 clauses out of 80006 with flag 1943215/2243431 810.91/398.96 c cleaning 41002 clauses out of 82005 with flag 2042052/2285432 832.55/409.19 c cleaning 41999 clauses out of 84002 with flag 2145199/2328431 850.42/417.73 c cleaning 42996 clauses out of 86003 with flag 2246287/2372431 873.08/428.86 c cleaning 44001 clauses out of 88008 with flag 2352428/2417432 891.84/438.16 c cleaning 45003 clauses out of 90006 with flag 2458734/2463431 910.05/447.02 c cleaning 46003 clauses out of 92005 with flag 2559596/2510433 931.28/457.43 c cleaning 46999 clauses out of 94000 with flag 2662499/2558431 952.06/467.78 c cleaning 47993 clauses out of 96002 with flag 2766343/2607432 970.37/476.65 c cleaning 48998 clauses out of 98008 with flag 2870834/2657431 990.33/486.43 c cleaning 50002 clauses out of 100012 with flag 2987414/2708433 1001.08/491.64 c And the winner is solver1 1001.08/491.78 c Got one! Elapsed wall clock time (in seconds):491.678 1001.08/491.78 o 196867425055 1004.90/493.80 c cleaning 43440 clauses out of 86896 with flag 10936/2745319 1009.45/495.81 c cleaning 24721 clauses out of 49457 with flag 24130/2751320 1013.05/497.68 c cleaning 15864 clauses out of 31735 with flag 39379/2758319 1017.46/499.80 c cleaning 11926 clauses out of 23872 with flag 57000/2766320 1021.23/501.52 c cleaning 10461 clauses out of 20945 with flag 76960/2775319 1025.03/503.46 c cleaning 10237 clauses out of 20485 with flag 99509/2785320 1027.84/504.88 c cleaning 10616 clauses out of 21247 with flag 124532/2796319 1031.84/506.84 c cleaning 11315 clauses out of 22631 with flag 151581/2808319 1037.11/509.25 c cleaning 12153 clauses out of 24316 with flag 181109/2821319 1041.51/511.50 c cleaning 13078 clauses out of 26163 with flag 212928/2835319 1044.31/512.85 c And the winner is solver1 1044.32/513.30 c Got one! Elapsed wall clock time (in seconds):513.19 1044.32/513.30 o 196867234579 1046.79/514.38 c cleaning 12694 clauses out of 25392 with flag 11784/2847626 1048.79/515.30 c cleaning 9341 clauses out of 18698 with flag 25791/2853626 1050.39/516.19 c cleaning 8175 clauses out of 16358 with flag 41166/2860627 1053.19/517.57 c cleaning 8083 clauses out of 16183 with flag 58666/2868627 1056.39/519.13 c cleaning 8549 clauses out of 17100 with flag 78449/2877627 1060.27/520.85 c cleaning 9271 clauses out of 18550 with flag 100821/2887626 1065.47/523.42 c cleaning 10137 clauses out of 20280 with flag 125336/2898627 1070.35/525.83 c cleaning 11072 clauses out of 22143 with flag 152314/2910627 1076.66/528.69 c cleaning 12035 clauses out of 24071 with flag 182020/2923627 1080.86/530.74 c cleaning 13018 clauses out of 26035 with flag 213420/2937626 1086.24/533.20 c cleaning 14007 clauses out of 28017 with flag 247338/2952626 1091.26/535.78 c cleaning 15001 clauses out of 30010 with flag 283406/2968626 1096.84/538.55 c cleaning 16002 clauses out of 32009 with flag 322374/2985626 1105.71/544.04 c cleaning 17002 clauses out of 34008 with flag 364313/3003627 1107.51/544.96 c And the winner is solver1 1107.51/545.30 c Got one! Elapsed wall clock time (in seconds):545.193 1107.51/545.30 o 196312570655 1109.12/546.10 c cleaning 14024 clauses out of 28055 with flag 11047/3014676 1110.54/546.87 c cleaning 10012 clauses out of 20031 with flag 24297/3020676 1112.32/547.71 c cleaning 8498 clauses out of 17018 with flag 40214/3027675 1114.73/548.88 c cleaning 8258 clauses out of 16521 with flag 57995/3035676 1116.93/550.00 c cleaning 8628 clauses out of 17263 with flag 78136/3044676 1119.55/551.24 c cleaning 9316 clauses out of 18634 with flag 100570/3054675 1122.33/552.68 c cleaning 10153 clauses out of 20318 with flag 125956/3065675 1125.88/554.31 c cleaning 11082 clauses out of 22165 with flag 152869/3077675 1130.08/556.40 c cleaning 12040 clauses out of 24084 with flag 182509/3090676 1134.28/558.53 c cleaning 13017 clauses out of 26043 with flag 213698/3104675 1138.86/560.72 c cleaning 14012 clauses out of 28026 with flag 247163/3119675 1144.08/563.40 c cleaning 15003 clauses out of 30015 with flag 282015/3135676 1149.42/565.92 c cleaning 16005 clauses out of 32012 with flag 320283/3152676 1155.05/568.80 c cleaning 17004 clauses out of 34007 with flag 363102/3170676 1158.83/570.63 c And the winner is solver1 1158.83/570.82 c Got one! Elapsed wall clock time (in seconds):570.715 1158.83/570.82 o 196312523999 1160.57/571.67 c cleaning 17973 clauses out of 35956 with flag 11241/3189629 1163.17/572.92 c cleaning 11984 clauses out of 23983 with flag 24650/3195629 1165.99/574.34 c cleaning 9496 clauses out of 19000 with flag 40314/3202630 1168.57/575.61 c cleaning 8748 clauses out of 17504 with flag 57938/3210630 1170.77/576.78 c cleaning 8868 clauses out of 17755 with flag 77764/3219629 1174.38/578.42 c cleaning 9443 clauses out of 18887 with flag 99990/3229629 1177.78/580.14 c cleaning 10217 clauses out of 20445 with flag 124930/3240630 1183.14/582.79 c cleaning 11111 clauses out of 22227 with flag 152475/3252629 1188.36/585.36 c cleaning 12059 clauses out of 24117 with flag 182811/3265630 1194.75/588.50 c cleaning 13024 clauses out of 26058 with flag 214891/3279630 1200.75/591.48 c cleaning 14017 clauses out of 28033 with flag 249241/3294629 1207.91/594.88 c cleaning 15003 clauses out of 30016 with flag 285310/3310629 1214.92/598.39 c cleaning 16005 clauses out of 32014 with flag 323364/3327630 1224.74/603.18 c cleaning 17003 clauses out of 34009 with flag 363452/3345630 1235.85/608.51 c cleaning 18001 clauses out of 36006 with flag 405738/3364630 1245.65/613.46 c cleaning 19003 clauses out of 38005 with flag 449961/3384630 1252.35/616.60 c And the winner is solver1 1252.35/616.84 c Got one! Elapsed wall clock time (in seconds):616.734 1252.35/616.84 o 196312472195 1254.27/617.87 c cleaning 20091 clauses out of 40186 with flag 11434/3405814 1256.47/618.92 c cleaning 13043 clauses out of 26095 with flag 25114/3411814 1259.06/620.22 c cleaning 10023 clauses out of 20052 with flag 41275/3418814 1262.00/621.53 c cleaning 9007 clauses out of 18029 with flag 59832/3426814 1265.98/623.56 c cleaning 9002 clauses out of 18022 with flag 79855/3435814 1269.18/625.11 c cleaning 9506 clauses out of 19019 with flag 102237/3445813 1274.65/627.71 c cleaning 10255 clauses out of 20514 with flag 127301/3456814 1278.85/629.89 c cleaning 11123 clauses out of 22258 with flag 154587/3468813 1285.05/632.94 c cleaning 12068 clauses out of 24136 with flag 183436/3481814 1292.23/636.31 c cleaning 13034 clauses out of 26068 with flag 214318/3495814 1299.83/640.16 c cleaning 14014 clauses out of 28034 with flag 247693/3510814 1308.06/644.10 c cleaning 15006 clauses out of 30019 with flag 282576/3526813 1317.70/648.61 c cleaning 16007 clauses out of 32013 with flag 320177/3543813 1327.10/653.41 c cleaning 17002 clauses out of 34007 with flag 359678/3561814 1332.32/658.22 c cleaning 18001 clauses out of 36004 with flag 402149/3580813 1344.37/662.62 c cleaning 19002 clauses out of 38003 with flag 446902/3600813 1355.36/667.97 c cleaning 20000 clauses out of 40001 with flag 493798/3621813 1360.39/673.59 c cleaning 21001 clauses out of 42001 with flag 542053/3643813 1378.29/678.11 c cleaning 21996 clauses out of 44001 with flag 592653/3666814 1391.70/684.94 c cleaning 23000 clauses out of 46005 with flag 647614/3690814 1391.70/689.38 c cleaning 24002 clauses out of 48004 with flag 704947/3715813 1407.74/692.83 c cleaning 25001 clauses out of 50002 with flag 764999/3741813 1413.64/696.13 c cleaning 26001 clauses out of 52001 with flag 826646/3768813 1418.73/699.61 c cleaning 26998 clauses out of 54000 with flag 893025/3796813 1426.10/703.59 c cleaning 27997 clauses out of 56003 with flag 962279/3825814 1431.86/707.32 c cleaning 28996 clauses out of 58006 with flag 1030781/3855814 1445.24/711.54 c cleaning 30002 clauses out of 60010 with flag 1102790/3886814 1452.04/714.15 c And the winner is solver1 1452.04/726.90 c Got one! Elapsed wall clock time (in seconds):726.796 1452.04/726.90 o 196312415999 1454.29/727.84 c cleaning 28244 clauses out of 56508 with flag 11345/3913314 1456.67/729.02 c cleaning 17129 clauses out of 34264 with flag 25031/3919314 1459.23/730.36 c cleaning 12068 clauses out of 24136 with flag 40491/3926315 1461.81/731.65 c cleaning 10030 clauses out of 20068 with flag 58407/3934315 1463.59/733.11 c cleaning 9511 clauses out of 19037 with flag 78383/3943314 1468.03/734.51 c cleaning 9761 clauses out of 19526 with flag 100566/3953314 1468.03/736.13 c cleaning 10377 clauses out of 20765 with flag 125473/3964314 1468.03/738.01 c cleaning 11190 clauses out of 22389 with flag 152929/3976315 1479.04/740.03 c cleaning 12093 clauses out of 24199 with flag 182219/3989315 1479.04/742.44 c cleaning 13049 clauses out of 26105 with flag 213367/4003314 1479.04/744.76 c cleaning 14024 clauses out of 28057 with flag 246752/4018315 1493.57/747.18 c cleaning 15007 clauses out of 30033 with flag 282454/4034315 1493.57/749.03 c cleaning 16013 clauses out of 32025 with flag 322845/4051314 1493.57/750.92 c cleaning 17004 clauses out of 34013 with flag 364321/4069315 1505.49/753.08 c cleaning 18005 clauses out of 36010 with flag 408662/4088316 1505.49/755.58 c cleaning 19002 clauses out of 38004 with flag 457587/4108315 1511.69/758.18 c cleaning 19997 clauses out of 40002 with flag 509378/4129315 1518.09/760.95 c cleaning 21000 clauses out of 42005 with flag 563099/4151315 1518.09/763.76 c cleaning 22001 clauses out of 44004 with flag 618177/4174314 1532.14/766.68 c cleaning 22994 clauses out of 46004 with flag 674071/4198315 1532.14/769.93 c cleaning 23999 clauses out of 48010 with flag 730586/4223315 1545.58/773.78 c cleaning 25001 clauses out of 50010 with flag 791877/4249314 1555.30/778.43 c cleaning 26001 clauses out of 52009 with flag 855597/4276314 1562.81/782.22 c cleaning 27000 clauses out of 54008 with flag 923047/4304314 1574.76/786.51 c cleaning 28000 clauses out of 56009 with flag 989657/4333315 1577.19/790.40 c cleaning 28999 clauses out of 58008 with flag 1057250/4363314 1593.47/795.60 c cleaning 30001 clauses out of 60010 with flag 1126053/4394315 1593.47/800.34 c cleaning 31002 clauses out of 62008 with flag 1197213/4426314 1604.88/821.71 c cleaning 32004 clauses out of 64007 with flag 1270746/4459315 1617.64/823.88 c cleaning 0 clauses out of 22937 with flag 0/22940 1626.78/827.88 c cleaning 32994 clauses out of 66002 with flag 1347494/4493314 1632.06/834.25 c cleaning 34001 clauses out of 68008 with flag 1426613/4528314 1647.19/840.27 c cleaning 35002 clauses out of 70008 with flag 1506899/4564315 1662.50/846.93 c cleaning 35997 clauses out of 72006 with flag 1594646/4601315 1662.50/852.68 c cleaning 37000 clauses out of 74009 with flag 1680381/4639315 1677.71/858.21 c cleaning 38002 clauses out of 76009 with flag 1769698/4678315 1692.06/863.69 c cleaning 39003 clauses out of 78006 with flag 1861279/4718314 1706.96/869.59 c cleaning 39995 clauses out of 80004 with flag 1957034/4759315 1721.49/875.81 c cleaning 40999 clauses out of 82009 with flag 2050770/4801315 1737.10/884.20 c cleaning 42003 clauses out of 84010 with flag 2147601/4844315 1752.54/891.81 c cleaning 42999 clauses out of 86007 with flag 2246546/4888315 1752.54/901.23 c cleaning 43998 clauses out of 88007 with flag 2347328/4933314 1752.54/915.95 c cleaning 45001 clauses out of 90009 with flag 2448104/4979314
ERROR: no interpretation found !
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-4110973-1466393866/watcher-4110973-1466393866 -o /tmp/evaluation-result-4110973-1466393866/solver-4110973-1466393866 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node132-1466384055-15755 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4110973-1466393866.opb pid=18984 running on 8 cores: 0-3,8-11 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: 4.09 4.09 4.04 6/283 18987 /proc/meminfo: memFree=31681364/32872528 swapFree=8316/8316 [pid=18987] ppid=18984 vsize=8471396 CPUtime=0 cores=0-3,8-11 /proc/18987/stat : 18987 (java) S 18984 18987 15739 0 -1 4202496 1620 0 1 0 0 0 0 0 20 0 2 0 41431213 8674709504 1223 33554432000 1073741824 1073778376 140735405329024 140735405320160 216811995197 0 0 0 16784584 18446744073709551615 0 0 17 8 0 0 0 0 0 /proc/18987/statm: 2117849 1235 930 9 0 2108958 0 [pid=18987/tid=18988] ppid=18984 vsize=8482100 CPUtime=0 cores=0-3,8-11 /proc/18987/task/18988/stat : 18988 (java) R 18984 18987 15739 0 -1 4202560 478 0 1 0 0 0 0 0 20 0 2 0 41431214 8685670400 1305 33554432000 1073741824 1073778376 140735405329024 140587575351600 216808305323 0 4 0 16784584 0 0 0 -1 9 0 0 0 0 0 [startup+0.100064 s] /proc/loadavg: 4.09 4.09 4.04 6/283 18987 /proc/meminfo: memFree=31681364/32872528 swapFree=8316/8316 [pid=18987] ppid=18984 vsize=9896436 CPUtime=0.11 cores=0-3,8-11 /proc/18987/stat : 18987 (java) S 18984 18987 15739 0 -1 4202496 4532 0 1 0 10 1 0 0 20 0 23 0 41431213 10133950464 6154 33554432000 1073741824 1073778376 140735405329024 140735405320160 216811995197 0 0 0 16800975 18446744073709551615 0 0 17 8 0 0 0 0 0 /proc/18987/statm: 2474109 6154 2156 9 0 2464786 0 [pid=18987/tid=18988] ppid=18984 vsize=9896436 CPUtime=0.07 cores=0-3,8-11 /proc/18987/task/18988/stat : 18988 (java) R 18984 18987 15739 0 -1 4202560 2432 0 1 0 7 0 0 0 20 0 23 0 41431214 10133950464 6154 33554432000 1073741824 1073778376 140735405329024 140587575348128 216812021005 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 Current children cumulated CPU time (s) 0.11 Current children cumulated vsize (KiB) 9896436 [startup+0.200276 s] /proc/loadavg: 4.09 4.09 4.04 6/283 18987 /proc/meminfo: memFree=31681364/32872528 swapFree=8316/8316 [pid=18987] ppid=18984 vsize=9896436 CPUtime=0.27 cores=0-3,8-11 /proc/18987/stat : 18987 (java) S 18984 18987 15739 0 -1 4202496 5020 0 1 0 26 1 0 0 20 0 23 0 41431213 10133950464 7561 33554432000 1073741824 1073778376 140735405329024 140735405320160 216811995197 0 0 0 16800975 18446744073709551615 0 0 17 8 0 0 0 0 0 /proc/18987/statm: 2474109 7561 2214 9 0 2464786 0 [pid=18987/tid=18988] ppid=18984 vsize=9896436 CPUtime=0.17 cores=0-3,8-11 /proc/18987/task/18988/stat : 18988 (java) R 18984 18987 15739 0 -1 4202560 2447 0 1 0 17 0 0 0 20 0 23 0 41431214 10133950464 7561 33554432000 1073741824 1073778376 140735405329024 140587575348128 140587447649680 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 Current children cumulated CPU time (s) 0.27 Current children cumulated vsize (KiB) 9896436 [startup+0.300267 s] /proc/loadavg: 4.09 4.09 4.04 6/283 18987 /proc/meminfo: memFree=31681364/32872528 swapFree=8316/8316 [pid=18987] ppid=18984 vsize=9896436 CPUtime=0.5 cores=0-3,8-11 /proc/18987/stat : 18987 (java) S 18984 18987 15739 0 -1 4202496 6148 0 1 0 48 2 0 0 20 0 23 0 41431213 10133950464 9668 33554432000 1073741824 1073778376 140735405329024 140735405320160 216811995197 0 0 0 16800975 18446744073709551615 0 0 17 8 0 0 0 0 0 /proc/18987/statm: 2474109 9668 2233 9 0 2464786 0 [pid=18987/tid=18988] ppid=18984 vsize=9896436 CPUtime=0.27 cores=0-3,8-11 /proc/18987/task/18988/stat : 18988 (java) R 18984 18987 15739 0 -1 4202560 2454 0 1 0 27 0 0 0 20 0 23 0 41431214 10133950464 9668 33554432000 1073741824 1073778376 140735405329024 140587575348128 140587447634032 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 Current children cumulated CPU time (s) 0.5 Current children cumulated vsize (KiB) 9896436 [startup+0.700215 s] /proc/loadavg: 4.09 4.09 4.04 6/283 18987 /proc/meminfo: memFree=31681364/32872528 swapFree=8316/8316 [pid=18987] ppid=18984 vsize=9896436 CPUtime=1.68 cores=0-3,8-11 /proc/18987/stat : 18987 (java) S 18984 18987 15739 0 -1 4202496 21705 0 1 0 163 5 0 0 20 0 23 0 41431213 10133950464 32538 33554432000 1073741824 1073778376 140735405329024 140735405320160 216811995197 0 0 0 16800975 18446744073709551615 0 0 17 8 0 0 0 0 0 /proc/18987/statm: 2474109 32538 2245 9 0 2464786 0 [pid=18987/tid=18988] ppid=18984 vsize=9896436 CPUtime=0.67 cores=0-3,8-11 /proc/18987/task/18988/stat : 18988 (java) R 18984 18987 15739 0 -1 4202560 2479 0 1 0 65 2 0 0 20 0 23 0 41431214 10133950464 32538 33554432000 1073741824 1073778376 140735405329024 140587575340960 140587578635093 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 Current children cumulated CPU time (s) 1.68 Current children cumulated vsize (KiB) 9896436 [startup+1.50087 s] /proc/loadavg: 4.17 4.11 4.04 6/306 19010 /proc/meminfo: memFree=31393908/32872528 swapFree=8316/8316 [pid=18987] ppid=18984 vsize=10162692 CPUtime=4.1 cores=0-3,8-11 /proc/18987/stat : 18987 (java) S 18984 18987 15739 0 -1 4202496 31001 0 1 0 398 12 0 0 20 0 27 0 41431213 10406596608 57002 33554432000 1073741824 1073778376 140735405329024 140735405320160 216811995197 0 0 0 16800975 18446744073709551615 0 0 17 8 0 0 0 0 0 /proc/18987/statm: 2540673 57002 2271 9 0 2531350 0 [pid=18987/tid=18988] ppid=18984 vsize=10162692 CPUtime=1.24 cores=0-3,8-11 /proc/18987/task/18988/stat : 18988 (java) S 18984 18987 15739 0 -1 4202560 2536 0 1 0 121 3 0 0 20 0 27 0 41431214 10406596608 57002 33554432000 1073741824 1073778376 140735405329024 140587575350136 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 9 0 0 0 0 0 [pid=18987/tid=18990] ppid=18984 vsize=10162692 CPUtime=0 cores=0-3,8-11 /proc/18987/task/18990/stat : 18990 (java) S 18984 18987 15739 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 27 0 41431214 10406596608 57002 33554432000 1073741824 1073778376 140735405329024 140587419208360 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 8 0 0 0 0 0 [pid=18987/tid=18991] ppid=18984 vsize=10162692 CPUtime=0 cores=0-3,8-11 /proc/18987/task/18991/stat : 18991 (java) S 18984 18987 15739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 27 0 41431214 10406596608 57002 33554432000 1073741824 1073778376 140735405329024 140587418155816 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=18987/tid=18992] ppid=18984 vsize=10162692 CPUtime=0 cores=0-3,8-11 /proc/18987/task/18992/stat : 18992 (java) S 18984 18987 15739 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 27 0 41431214 10406596608 57002 33554432000 1073741824 1073778376 140735405329024 140587417103272 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 10 0 0 0 0 0 [pid=18987/tid=18993] ppid=18984 vsize=10162692 CPUtime=0 cores=0-3,8-11 /proc/18987/task/18993/stat : 18993 (java) S 18984 18987 15739 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 27 0 41431214 10406596608 57002 33554432000 1073741824 1073778376 140735405329024 140587416050728 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=18987/tid=18994] ppid=18984 vsize=10162692 CPUtime=0 cores=0-3,8-11 /proc/18987/task/18994/stat : 18994 (java) S 18984 18987 15739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 27 0 41431214 10406596608 57002 33554432000 1073741824 1073778376 140735405329024 140587414997160 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=18987/tid=18995] ppid=18984 vsize=10162692 CPUtime=0 cores=0-3,8-11 /proc/18987/task/18995/stat : 18995 (java) S 18984 18987 15739 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 27 0 41431214 10406596608 57002 33554432000 1073741824 1073778376 140735405329024 140587413944616 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=18987/tid=18996] ppid=18984 vsize=10162692 CPUtime=0 cores=0-3,8-11 /proc/18987/task/18996/stat : 18996 (java) S 18984 18987 15739 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 27 0 41431214 10406596608 57002 33554432000 1073741824 1073778376 140735405329024 140587412892072 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=18987/tid=18997] ppid=18984 vsize=10162692 CPUtime=0 cores=0-3,8-11 /proc/18987/task/18997/stat : 18997 (java) S 18984 18987 15739 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 27 0 41431214 10406596608 57002 33554432000 1073741824 1073778376 140735405329024 140587411839528 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 10 0 0 0 0 0 [pid=18987/tid=18998] ppid=18984 vsize=10162692 CPUtime=0 cores=0-3,8-11 /proc/18987/task/18998/stat : 18998 (java) S 18984 18987 15739 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 27 0 41431214 10406596608 57002 33554432000 1073741824 1073778376 140735405329024 140587410786984 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 11 0 0 0 0 0 [pid=18987/tid=18999] ppid=18984 vsize=10162692 CPUtime=0 cores=0-3,8-11 /proc/18987/task/18999/stat : 18999 (java) S 18984 18987 15739 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 27 0 41431214 10406596608 57002 33554432000 1073741824 1073778376 140735405329024 140587409734440 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 11 0 0 0 0 0 [pid=18987/tid=19000] ppid=18984 vsize=10162692 CPUtime=0 cores=0-3,8-11 /proc/18987/task/19000/stat : 19000 (java) S 18984 18987 15739 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 27 0 41431214 10406596608 57002 33554432000 1073741824 1073778376 140735405329024 140587408681896 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=18987/tid=19001] ppid=18984 vsize=10162692 CPUtime=0 cores=0-3,8-11 /proc/18987/task/19001/stat : 19001 (java) S 18984 18987 15739 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 27 0 41431214 10406596608 57002 33554432000 1073741824 1073778376 140735405329024 140587407629352 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=18987/tid=19002] ppid=18984 vsize=10162692 CPUtime=0 cores=0-3,8-11 /proc/18987/task/19002/stat : 19002 (java) S 18984 18987 15739 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 27 0 41431214 10406596608 57002 33554432000 1073741824 1073778376 140735405329024 140587406575784 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=18987/tid=19003] ppid=18984 vsize=10162692 CPUtime=0 cores=0-3,8-11 /proc/18987/task/19003/stat : 19003 (java) S 18984 18987 15739 0 -1 4202560 73 0 0 0 0 0 0 0 20 0 27 0 41431216 10406596608 57002 33554432000 1073741824 1073778376 140735405329024 140587388901608 216812009385 0 0 0 16800975 18446744071579510697 0 0 -1 10 0 0 0 0 0 [pid=18987/tid=19004] ppid=18984 vsize=10162692 CPUtime=0 cores=0-3,8-11 /proc/18987/task/19004/stat : 19004 (java) S 18984 18987 15739 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 27 0 41431216 10406596608 57002 33554432000 1073741824 1073778376 140735405329024 140587387847928 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 10 0 0 0 0 0 [pid=18987/tid=19005] ppid=18984 vsize=10162692 CPUtime=0 cores=0-3,8-11 /proc/18987/task/19005/stat : 19005 (java) S 18984 18987 15739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 27 0 41431216 10406596608 57002 33554432000 1073741824 1073778376 140735405329024 140587386795272 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 10 0 0 0 0 0 [pid=18987/tid=19006] ppid=18984 vsize=10162692 CPUtime=0 cores=0-3,8-11 /proc/18987/task/19006/stat : 19006 (java) S 18984 18987 15739 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 27 0 41431218 10406596608 57002 33554432000 1073741824 1073778376 140735405329024 140587385744016 216812017440 0 4 0 16800975 18446744071579510697 0 0 -1 10 0 0 0 0 0 [pid=18987/tid=19007] ppid=18984 vsize=10162692 CPUtime=1.12 cores=0-3,8-11 /proc/18987/task/19007/stat : 19007 (java) R 18984 18987 15739 0 -1 4202560 13587 0 0 0 110 2 0 0 20 0 27 0 41431218 10406596608 57002 33554432000 1073741824 1073778376 140735405329024 140587384678128 140587578216896 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 [pid=18987/tid=19008] ppid=18984 vsize=10162692 CPUtime=1.13 cores=0-3,8-11 /proc/18987/task/19008/stat : 19008 (java) R 18984 18987 15739 0 -1 4202560 13402 0 0 0 111 2 0 0 20 0 27 0 41431218 10406596608 57002 33554432000 1073741824 1073778376 140735405329024 140587383626368 140587582731466 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=18987/tid=19009] ppid=18984 vsize=10162692 CPUtime=0 cores=0-3,8-11 /proc/18987/task/19009/stat : 19009 (java) S 18984 18987 15739 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 27 0 41431218 10406596608 57002 33554432000 1073741824 1073778376 140735405329024 140587382586488 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 11 0 0 0 0 0 [pid=18987/tid=19010] ppid=18984 vsize=10162692 CPUtime=0 cores=0-3,8-11 /proc/18987/task/19010/stat : 19010 (java) S 18984 18987 15739 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 27 0 41431218 10406596608 57002 33554432000 1073741824 1073778376 140735405329024 140587381533128 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 4.1 Current children cumulated vsize (KiB) 10162692 [startup+3.10099 s] /proc/loadavg: 4.17 4.11 4.04 1/304 19014 /proc/meminfo: memFree=31392016/32872528 swapFree=8316/8316 [pid=18987] ppid=18984 vsize=10162692 CPUtime=7.09 cores=0-3,8-11 /proc/18987/stat : 18987 (java) S 18984 18987 15739 0 -1 4202496 31122 0 1 0 682 27 0 0 20 0 24 0 41431213 10406596608 62140 33554432000 1073741824 1073778376 140735405329024 140735405320160 216811995197 0 0 0 16800975 18446744073709551615 0 0 17 8 0 0 0 0 0 /proc/18987/statm: 2540673 62140 2288 9 0 2531350 0 [pid=18987/tid=18988] ppid=18984 vsize=10162692 CPUtime=1.25 cores=0-3,8-11 /proc/18987/task/18988/stat : 18988 (java) S 18984 18987 15739 0 -1 4202560 2538 0 1 0 122 3 0 0 20 0 24 0 41431214 10406596608 62140 33554432000 1073741824 1073778376 140735405329024 140587575350136 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 9 0 0 0 0 0 [pid=18987/tid=18990] ppid=18984 vsize=10162692 CPUtime=0.03 cores=0-3,8-11 /proc/18987/task/18990/stat : 18990 (java) S 18984 18987 15739 0 -1 4202560 20 0 0 0 2 1 0 0 20 0 24 0 41431214 10406596608 62140 33554432000 1073741824 1073778376 140735405329024 140587419208360 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=18987/tid=18991] ppid=18984 vsize=10162692 CPUtime=0 cores=0-3,8-11 /proc/18987/task/18991/stat : 18991 (java) S 18984 18987 15739 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 24 0 41431214 10406596608 62140 33554432000 1073741824 1073778376 140735405329024 140587418155816 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=18987/tid=18992] ppid=18984 vsize=10162692 CPUtime=0.02 cores=0-3,8-11 /proc/18987/task/18992/stat : 18992 (java) S 18984 18987 15739 0 -1 4202560 24 0 0 0 1 1 0 0 20 0 24 0 41431214 10406596608 62140 33554432000 1073741824 1073778376 140735405329024 140587417103272 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=18987/tid=18993] ppid=18984 vsize=10162692 CPUtime=0.02 cores=0-3,8-11 /proc/18987/task/18993/stat : 18993 (java) S 18984 18987 15739 0 -1 4202560 16 0 0 0 0 2 0 0 20 0 24 0 41431214 10406596608 62140 33554432000 1073741824 1073778376 140735405329024 140587416050728 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=18987/tid=18994] ppid=18984 vsize=10162692 CPUtime=0.02 cores=0-3,8-11 /proc/18987/task/18994/stat : 18994 (java) S 18984 18987 15739 0 -1 4202560 13 0 0 0 0 2 0 0 20 0 24 0 41431214 10406596608 62140 33554432000 1073741824 1073778376 140735405329024 140587414997160 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 9 0 0 0 0 0 [pid=18987/tid=18995] ppid=18984 vsize=10162692 CPUtime=0.01 cores=0-3,8-11 /proc/18987/task/18995/stat : 18995 (java) S 18984 18987 15739 0 -1 4202560 9 0 0 0 1 0 0 0 20 0 24 0 41431214 10406596608 62140 33554432000 1073741824 1073778376 140735405329024 140587413944616 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 8 0 0 0 0 0 [pid=18987/tid=18996] ppid=18984 vsize=10162692 CPUtime=0.01 cores=0-3,8-11 /proc/18987/task/18996/stat : 18996 (java) S 18984 18987 15739 0 -1 4202560 12 0 0 0 1 0 0 0 20 0 24 0 41431214 10406596608 62140 33554432000 1073741824 1073778376 140735405329024 140587412892072 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=18987/tid=18997] ppid=18984 vsize=10162692 CPUtime=0.03 cores=0-3,8-11 /proc/18987/task/18997/stat : 18997 (java) S 18984 18987 15739 0 -1 4202560 21 0 0 0 1 2 0 0 20 0 24 0 41431214 10406596608 62140 33554432000 1073741824 1073778376 140735405329024 140587411839528 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=18987/tid=18998] ppid=18984 vsize=10162692 CPUtime=0.02 cores=0-3,8-11 /proc/18987/task/18998/stat : 18998 (java) S 18984 18987 15739 0 -1 4202560 14 0 0 0 2 0 0 0 20 0 24 0 41431214 10406596608 62140 33554432000 1073741824 1073778376 140735405329024 140587410786984 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=18987/tid=18999] ppid=18984 vsize=10162692 CPUtime=0 cores=0-3,8-11 /proc/18987/task/18999/stat : 18999 (java) S 18984 18987 15739 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 24 0 41431214 10406596608 62140 33554432000 1073741824 1073778376 140735405329024 140587409734440 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 11 0 0 0 0 0 [pid=18987/tid=19000] ppid=18984 vsize=10162692 CPUtime=0.02 cores=0-3,8-11 /proc/18987/task/19000/stat : 19000 (java) S 18984 18987 15739 0 -1 4202560 12 0 0 0 1 1 0 0 20 0 24 0 41431214 10406596608 62140 33554432000 1073741824 1073778376 140735405329024 140587408681896 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=18987/tid=19001] ppid=18984 vsize=10162692 CPUtime=0 cores=0-3,8-11 /proc/18987/task/19001/stat : 19001 (java) S 18984 18987 15739 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 24 0 41431214 10406596608 62140 33554432000 1073741824 1073778376 140735405329024 140587407629352 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=18987/tid=19002] ppid=18984 vsize=10162692 CPUtime=0 cores=0-3,8-11 /proc/18987/task/19002/stat : 19002 (java) S 18984 18987 15739 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 24 0 41431214 10406596608 62140 33554432000 1073741824 1073778376 140735405329024 140587406575784 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=18987/tid=19003] ppid=18984 vsize=10162692 CPUtime=0 cores=0-3,8-11 /proc/18987/task/19003/stat : 19003 (java) S 18984 18987 15739 0 -1 4202560 73 0 0 0 0 0 0 0 20 0 24 0 41431216 10406596608 62140 33554432000 1073741824 1073778376 140735405329024 140587388901608 216812009385 0 0 0 16800975 18446744071579510697 0 0 -1 10 0 0 0 0 0 [pid=18987/tid=19004] ppid=18984 vsize=10162692 CPUtime=0 cores=0-3,8-11 /proc/18987/task/19004/stat : 19004 (java) S 18984 18987 15739 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 24 0 41431216 10406596608 62140 33554432000 1073741824 1073778376 140735405329024 140587387847928 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 10 0 0 0 0 0 [pid=18987/tid=19005] ppid=18984 vsize=10162692 CPUtime=0 cores=0-3,8-11 /proc/18987/task/19005/stat : 19005 (java) S 18984 18987 15739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 24 0 41431216 10406596608 62140 33554432000 1073741824 1073778376 140735405329024 140587386795272 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 10 0 0 0 0 0 [pid=18987/tid=19006] ppid=18984 vsize=10162692 CPUtime=0 cores=0-3,8-11 /proc/18987/task/19006/stat : 19006 (java) S 18984 18987 15739 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 41431218 10406596608 62140 33554432000 1073741824 1073778376 140735405329024 140587385744016 216812017440 0 4 0 16800975 18446744071579510697 0 0 -1 10 0 0 0 0 0 [pid=18987/tid=19007] ppid=18984 vsize=10162692 CPUtime=1.78 cores=0-3,8-11 /proc/18987/task/19007/stat : 19007 (java) S 18984 18987 15739 0 -1 4202560 13598 0 0 0 176 2 0 0 20 0 24 0 41431218 10406596608 62140 33554432000 1073741824 1073778376 140735405329024 140587384691384 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 10 0 0 0 0 0 [pid=18987/tid=19008] ppid=18984 vsize=10162692 CPUtime=1.78 cores=0-3,8-11 /proc/18987/task/19008/stat : 19008 (java) S 18984 18987 15739 0 -1 4202560 13407 0 0 0 176 2 0 0 20 0 24 0 41431218 10406596608 62140 33554432000 1073741824 1073778376 140735405329024 140587383638840 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=18987/tid=19009] ppid=18984 vsize=10162692 CPUtime=0 cores=0-3,8-11 /proc/18987/task/19009/stat : 19009 (java) S 18984 18987 15739 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 41431218 10406596608 62140 33554432000 1073741824 1073778376 140735405329024 140587382586488 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 11 0 0 0 0 0 [pid=18987/tid=19010] ppid=18984 vsize=10162692 CPUtime=0 cores=0-3,8-11 /proc/18987/task/19010/stat : 19010 (java) S 18984 18987 15739 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 41431218 10406596608 62140 33554432000 1073741824 1073778376 140735405329024 140587381533128 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 7.09 Current children cumulated vsize (KiB) 10162692 [startup+6.30107 s] /proc/loadavg: 4.17 4.11 4.04 5/310 19029 /proc/meminfo: memFree=31142104/32872528 swapFree=8316/8316 [pid=18987] ppid=18984 vsize=10162692 CPUtime=13.8 cores=0-3,8-11 /proc/18987/stat : 18987 (java) S 18984 18987 15739 0 -1 4202496 31644 0 1 0 1321 59 0 0 20 0 27 0 41431213 10406596608 107152 33554432000 1073741824 1073778376 140735405329024 140735405320160 216811995197 0 0 0 16800975 18446744073709551615 0 0 17 8 0 0 0 0 0 /proc/18987/statm: 2540673 107152 2293 9 0 2531350 0 [pid=18987/tid=18988] ppid=18984 vsize=10162692 CPUtime=1.26 cores=0-3,8-11 /proc/18987/task/18988/stat : 18988 (java) S 18984 18987 15739 0 -1 4202560 2538 0 1 0 123 3 0 0 20 0 27 0 41431214 10406596608 107152 33554432000 1073741824 1073778376 140735405329024 140587575350136 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=18987/tid=18990] ppid=18984 vsize=10162692 CPUtime=0.06 cores=0-3,8-11 /proc/18987/task/18990/stat : 18990 (java) S 18984 18987 15739 0 -1 4202560 34 0 0 0 3 3 0 0 20 0 27 0 41431214 10406596608 107152 33554432000 1073741824 1073778376 140735405329024 140587419208360 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=18987/tid=18991] ppid=18984 vsize=10162692 CPUtime=0.04 cores=0-3,8-11 /proc/18987/task/18991/stat : 18991 (java) S 18984 18987 15739 0 -1 4202560 25 0 0 0 2 2 0 0 20 0 27 0 41431214 10406596608 107152 33554432000 1073741824 1073778376 140735405329024 140587418155816 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=18987/tid=18992] ppid=18984 vsize=10162692 CPUtime=0.06 cores=0-3,8-11 /proc/18987/task/18992/stat : 18992 (java) S 18984 18987 15739 0 -1 4202560 44 0 0 0 3 3 0 0 20 0 27 0 41431214 10406596608 107152 33554432000 1073741824 1073778376 140735405329024 140587417103272 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=18987/tid=18993] ppid=18984 vsize=10162692 CPUtime=0.09 cores=0-3,8-11 /proc/18987/task/18993/stat : 18993 (java) S 18984 18987 15739 0 -1 4202560 50 0 0 0 4 5 0 0 20 0 27 0 41431214 10406596608 107152 33554432000 1073741824 1073778376 140735405329024 140587416050728 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 10 0 0 0 0 0 [pid=18987/tid=18994] ppid=18984 vsize=10162692 CPUtime=0.05 cores=0-3,8-11 /proc/18987/task/18994/stat : 18994 (java) S 18984 18987 15739 0 -1 4202560 27 0 0 0 2 3 0 0 20 0 27 0 41431214 10406596608 107152 33554432000 1073741824 1073778376 140735405329024 140587414997160 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=18987/tid=18995] ppid=18984 vsize=10162692 CPUtime=0.06 cores=0-3,8-11 ################ # More data... # ################ /proc/18987/task/19096/stat : 19096 (java) S 18984 18987 15739 0 -1 4202560 6 0 0 0 13674 2 0 0 20 0 27 0 41503905 10406596608 1027225 33554432000 1073741824 1073778376 140735405329024 140585822313080 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=18987/tid=19097] ppid=18984 vsize=10162692 CPUtime=136.87 cores=0-3,8-11 /proc/18987/task/19097/stat : 19097 (java) S 18984 18987 15739 0 -1 4202560 12 0 0 0 13685 2 0 0 20 0 27 0 41503905 10406596608 1027226 33554432000 1073741824 1073778376 140735405329024 140587379326664 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=18987/tid=19098] ppid=18984 vsize=10162692 CPUtime=0 cores=0-3,8-11 /proc/18987/task/19098/stat : 19098 (java) S 18984 18987 15739 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 27 0 41503905 10406596608 1027226 33554432000 1073741824 1073778376 140735405329024 140587378275752 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1734.19 Current children cumulated vsize (KiB) 10162692 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+928.574 s] /proc/loadavg: 3.58 3.95 4.08 15/312 19104 /proc/meminfo: memFree=23746816/32872528 swapFree=8316/8316 [pid=18987] ppid=18984 vsize=10162692 CPUtime=1826.43 cores=0-3,8-11 /proc/18987/stat : 18987 (java) D 18984 18987 15739 0 -1 4203524 45885 0 1 0 181868 775 0 0 20 0 27 0 41431213 10406596608 1029276 33554432000 1073741824 1073778376 140735405329024 140735405320160 216811995197 0 0 0 16800975 18446744073709551615 0 0 17 8 0 0 0 0 0 /proc/18987/statm: 2540673 1029276 2302 9 0 2531350 0 [pid=18987/tid=18988] ppid=18984 vsize=10162692 CPUtime=1.36 cores=0-3,8-11 /proc/18987/task/18988/stat : 18988 (java) D 18984 18987 15739 0 -1 4203588 2566 0 1 0 132 4 0 0 20 0 27 0 41431214 10406596608 1029276 33554432000 1073741824 1073778376 140735405329024 140587575350136 216812009385 0 4 0 16800975 18446744071579303797 0 0 -1 9 0 0 0 0 0 [pid=18987/tid=18990] ppid=18984 vsize=10162692 CPUtime=4.49 cores=0-3,8-11 /proc/18987/task/18990/stat : 18990 (java) D 18984 18987 15739 0 -1 4203588 686 0 0 0 402 47 0 0 20 0 27 0 41431214 10406596608 1029276 33554432000 1073741824 1073778376 140735405329024 140587419208360 216812008508 0 4 0 16800975 18446744071579303797 0 0 -1 9 0 0 0 0 0 [pid=18987/tid=18991] ppid=18984 vsize=10162692 CPUtime=4.54 cores=0-3,8-11 /proc/18987/task/18991/stat : 18991 (java) D 18984 18987 15739 0 -1 4203588 604 0 0 0 406 48 0 0 20 0 27 0 41431214 10406596608 1029276 33554432000 1073741824 1073778376 140735405329024 140587418155816 216812008508 0 4 0 16800975 18446744071579303797 0 0 -1 9 0 0 0 0 0 [pid=18987/tid=18992] ppid=18984 vsize=10162692 CPUtime=4.87 cores=0-3,8-11 /proc/18987/task/18992/stat : 18992 (java) D 18984 18987 15739 0 -1 4203588 728 0 0 0 430 57 0 0 20 0 27 0 41431214 10406596608 1029276 33554432000 1073741824 1073778376 140735405329024 140587417103272 216812008508 0 4 0 16800975 18446744071579303797 0 0 -1 9 0 0 0 0 0 [pid=18987/tid=18993] ppid=18984 vsize=10162692 CPUtime=4.77 cores=0-3,8-11 /proc/18987/task/18993/stat : 18993 (java) D 18984 18987 15739 0 -1 4203588 727 0 0 0 423 54 0 0 20 0 27 0 41431214 10406596608 1029276 33554432000 1073741824 1073778376 140735405329024 140587416050728 216812008508 0 4 0 16800975 18446744071579303797 0 0 -1 1 0 0 0 0 0 [pid=18987/tid=18994] ppid=18984 vsize=10162692 CPUtime=4.76 cores=0-3,8-11 /proc/18987/task/18994/stat : 18994 (java) D 18984 18987 15739 0 -1 4203588 743 0 0 0 423 53 0 0 20 0 27 0 41431214 10406596608 1029276 33554432000 1073741824 1073778376 140735405329024 140587414997160 216812008508 0 4 0 16800975 18446744071579303797 0 0 -1 10 0 0 0 0 0 [pid=18987/tid=18995] ppid=18984 vsize=10162692 CPUtime=5.12 cores=0-3,8-11 /proc/18987/task/18995/stat : 18995 (java) D 18984 18987 15739 0 -1 4203588 710 0 0 0 455 57 0 0 20 0 27 0 41431214 10406596608 1029276 33554432000 1073741824 1073778376 140735405329024 140587413944616 216812008508 0 4 0 16800975 18446744071579303797 0 0 -1 9 0 0 0 0 0 [pid=18987/tid=18996] ppid=18984 vsize=10162692 CPUtime=4.37 cores=0-3,8-11 /proc/18987/task/18996/stat : 18996 (java) D 18984 18987 15739 0 -1 4203588 732 0 0 0 391 46 0 0 20 0 27 0 41431214 10406596608 1029276 33554432000 1073741824 1073778376 140735405329024 140587412892072 216812008508 0 4 0 16800975 18446744071579303797 0 0 -1 10 0 0 0 0 0 [pid=18987/tid=18997] ppid=18984 vsize=10162692 CPUtime=5.05 cores=0-3,8-11 /proc/18987/task/18997/stat : 18997 (java) D 18984 18987 15739 0 -1 4203588 768 0 0 0 450 55 0 0 20 0 27 0 41431214 10406596608 1029276 33554432000 1073741824 1073778376 140735405329024 140587411839528 216812008508 0 4 0 16800975 18446744071579303797 0 0 -1 2 0 0 0 0 0 [pid=18987/tid=18998] ppid=18984 vsize=10162692 CPUtime=4.64 cores=0-3,8-11 /proc/18987/task/18998/stat : 18998 (java) D 18984 18987 15739 0 -1 4203588 808 0 0 0 419 45 0 0 20 0 27 0 41431214 10406596608 1029276 33554432000 1073741824 1073778376 140735405329024 140587410786984 216812008508 0 4 0 16800975 18446744071579303797 0 0 -1 9 0 0 0 0 0 [pid=18987/tid=18999] ppid=18984 vsize=10162692 CPUtime=4.54 cores=0-3,8-11 /proc/18987/task/18999/stat : 18999 (java) D 18984 18987 15739 0 -1 4203588 978 0 0 0 408 46 0 0 20 0 27 0 41431214 10406596608 1029276 33554432000 1073741824 1073778376 140735405329024 140587409734440 216812008508 0 4 0 16800975 18446744071579303797 0 0 -1 9 0 0 0 0 0 [pid=18987/tid=19000] ppid=18984 vsize=10162692 CPUtime=4.94 cores=0-3,8-11 /proc/18987/task/19000/stat : 19000 (java) D 18984 18987 15739 0 -1 4203588 777 0 0 0 440 54 0 0 20 0 27 0 41431214 10406596608 1029276 33554432000 1073741824 1073778376 140735405329024 140587408681896 216812008508 0 4 0 16800975 18446744071579303797 0 0 -1 3 0 0 0 0 0 [pid=18987/tid=19001] ppid=18984 vsize=10162692 CPUtime=4.77 cores=0-3,8-11 /proc/18987/task/19001/stat : 19001 (java) D 18984 18987 15739 0 -1 4203588 766 0 0 0 426 51 0 0 20 0 27 0 41431214 10406596608 1029276 33554432000 1073741824 1073778376 140735405329024 140587407629352 216812008508 0 4 0 16800975 18446744071579303797 0 0 -1 1 0 0 0 0 0 [pid=18987/tid=19002] ppid=18984 vsize=10162692 CPUtime=4.72 cores=0-3,8-11 /proc/18987/task/19002/stat : 19002 (java) D 18984 18987 15739 0 -1 4203588 650 0 0 0 426 46 0 0 20 0 27 0 41431214 10406596608 1029276 33554432000 1073741824 1073778376 140735405329024 140587406575784 216812008508 0 4 0 16800975 18446744071579303797 0 0 -1 9 0 0 0 0 0 [pid=18987/tid=19003] ppid=18984 vsize=10162692 CPUtime=5.9 cores=0-3,8-11 /proc/18987/task/19003/stat : 19003 (java) D 18984 18987 15739 0 -1 4203588 3422 0 0 0 585 5 0 0 20 0 27 0 41431216 10406596608 1029276 33554432000 1073741824 1073778376 140735405329024 140587388901608 216812009385 0 0 0 16800975 18446744071579303797 0 0 -1 9 0 0 0 0 0 [pid=18987/tid=19004] ppid=18984 vsize=10162692 CPUtime=0 cores=0-3,8-11 /proc/18987/task/19004/stat : 19004 (java) D 18984 18987 15739 0 -1 4203588 17 0 0 0 0 0 0 0 20 0 27 0 41431216 10406596608 1029276 33554432000 1073741824 1073778376 140735405329024 140587387847928 216812008508 0 4 0 16800975 18446744071579303797 0 0 -1 2 0 0 0 0 0 [pid=18987/tid=19005] ppid=18984 vsize=10162692 CPUtime=0 cores=0-3,8-11 /proc/18987/task/19005/stat : 19005 (java) D 18984 18987 15739 0 -1 4203588 16 0 0 0 0 0 0 0 20 0 27 0 41431216 10406596608 1029276 33554432000 1073741824 1073778376 140735405329024 140587386795272 216812008508 0 4 0 16800975 18446744071579303797 0 0 -1 9 0 0 0 0 0 [pid=18987/tid=19006] ppid=18984 vsize=10162692 CPUtime=0 cores=0-3,8-11 /proc/18987/task/19006/stat : 19006 (java) D 18984 18987 15739 0 -1 4203588 1 0 0 0 0 0 0 0 20 0 27 0 41431218 10406596608 1029276 33554432000 1073741824 1073778376 140735405329024 140587385744016 216812017440 0 4 0 16800975 18446744071579303797 0 0 -1 10 0 0 0 0 0 [pid=18987/tid=19007] ppid=18984 vsize=10162692 CPUtime=2.22 cores=0-3,8-11 /proc/18987/task/19007/stat : 19007 (java) D 18984 18987 15739 0 -1 4203588 13621 0 0 0 219 3 0 0 20 0 27 0 41431218 10406596608 1029276 33554432000 1073741824 1073778376 140735405329024 140587384691384 216812008508 0 4 0 16800975 18446744071579303797 0 0 -1 2 0 0 0 0 0 [pid=18987/tid=19008] ppid=18984 vsize=10162692 CPUtime=2.43 cores=0-3,8-11 /proc/18987/task/19008/stat : 19008 (java) D 18984 18987 15739 0 -1 4203588 13416 0 0 0 241 2 0 0 20 0 27 0 41431218 10406596608 1029276 33554432000 1073741824 1073778376 140735405329024 140587383638840 216812008508 0 4 0 16800975 18446744071579303797 0 0 -1 0 0 0 0 0 0 [pid=18987/tid=19009] ppid=18984 vsize=10162692 CPUtime=0 cores=0-3,8-11 /proc/18987/task/19009/stat : 19009 (java) D 18984 18987 15739 0 -1 4203588 1 0 0 0 0 0 0 0 20 0 27 0 41431218 10406596608 1029276 33554432000 1073741824 1073778376 140735405329024 140587382586488 216812008508 0 4 0 16800975 18446744071579303797 0 0 -1 11 0 0 0 0 0 [pid=18987/tid=19010] ppid=18984 vsize=10162692 CPUtime=0.29 cores=0-3,8-11 /proc/18987/task/19010/stat : 19010 (java) D 18984 18987 15739 0 -1 4203588 52 0 0 0 13 16 0 0 20 0 27 0 41431218 10406596608 1029276 33554432000 1073741824 1073778376 140735405329024 140587381533128 216812009385 0 4 0 16800975 18446744071579303797 0 0 -1 1 0 0 0 0 0 [pid=18987/tid=19041] ppid=18984 vsize=10162692 CPUtime=0 cores=0-3,8-11 /proc/18987/task/19041/stat : 19041 (java) D 18984 18987 15739 0 -1 4203588 3 0 0 0 0 0 0 0 20 0 27 0 41432758 10406596608 1029276 33554432000 1073741824 1073778376 140735405329024 140587380380968 216812009385 0 4 0 16800975 18446744071579303797 0 0 -1 3 0 0 0 0 0 [pid=18987/tid=19096] ppid=18984 vsize=10162692 CPUtime=182.57 cores=0-3,8-11 /proc/18987/task/19096/stat : 19096 (java) D 18984 18987 15739 0 -1 4203588 6 0 0 0 18255 2 0 0 20 0 27 0 41503905 10406596608 1029276 33554432000 1073741824 1073778376 140735405329024 140585822306336 140587449175890 0 4 0 16800975 18446744071579303797 0 0 -1 2 0 0 0 0 0 [pid=18987/tid=19097] ppid=18984 vsize=10162692 CPUtime=182.69 cores=0-3,8-11 /proc/18987/task/19097/stat : 19097 (java) D 18984 18987 15739 0 -1 4203584 12 0 0 0 18267 2 0 0 20 0 27 0 41503905 10406596608 1029276 33554432000 1073741824 1073778376 140735405329024 140587379326624 140587449008845 0 4 0 16800975 18446744071579414880 0 0 -1 1 0 0 0 0 0 [pid=18987/tid=19098] ppid=18984 vsize=10162692 CPUtime=0 cores=0-3,8-11 /proc/18987/task/19098/stat : 19098 (java) D 18984 18987 15739 0 -1 4203588 3 0 0 0 0 0 0 0 20 0 27 0 41503905 10406596608 1029276 33554432000 1073741824 1073778376 140735405329024 140587378275752 216812009385 0 4 0 16800975 18446744071579303797 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1826.43 Current children cumulated vsize (KiB) 10162692 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 18987 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+928.574 s] /proc/loadavg: 3.58 3.95 4.08 15/312 19104 /proc/meminfo: memFree=23746816/32872528 swapFree=8316/8316 [pid=18987] ppid=18984 vsize=10162692 CPUtime=1826.43 cores=0-3,8-11 /proc/18987/stat : 18987 (java) D 18984 18987 15739 0 -1 4203524 45885 0 1 0 181868 775 0 0 20 0 27 0 41431213 10406596608 1029276 33554432000 1073741824 1073778376 140735405329024 140735405320160 216811995197 0 0 0 16800975 18446744073709551615 0 0 17 8 0 0 0 0 0 /proc/18987/statm: 2540673 1029276 2302 9 0 2531350 0 [pid=18987/tid=18988] ppid=18984 vsize=10162692 CPUtime=1.36 cores=0-3,8-11 /proc/18987/task/18988/stat : 18988 (java) D 18984 18987 15739 0 -1 4203588 2566 0 1 0 132 4 0 0 20 0 27 0 41431214 10406596608 1029276 33554432000 1073741824 1073778376 140735405329024 140587575350136 216812009385 0 4 0 16800975 18446744071579303797 0 0 -1 9 0 0 0 0 0 [pid=18987/tid=18990] ppid=18984 vsize=10162692 CPUtime=4.49 cores=0-3,8-11 /proc/18987/task/18990/stat : 18990 (java) D 18984 18987 15739 0 -1 4203588 686 0 0 0 402 47 0 0 20 0 27 0 41431214 10406596608 1029276 33554432000 1073741824 1073778376 140735405329024 140587419208360 216812008508 0 4 0 16800975 18446744071579303797 0 0 -1 9 0 0 0 0 0 [pid=18987/tid=18991] ppid=18984 vsize=10162692 CPUtime=4.54 cores=0-3,8-11 /proc/18987/task/18991/stat : 18991 (java) D 18984 18987 15739 0 -1 4203588 604 0 0 0 406 48 0 0 20 0 27 0 41431214 10406596608 1029276 33554432000 1073741824 1073778376 140735405329024 140587418155816 216812008508 0 4 0 16800975 18446744071579303797 0 0 -1 9 0 0 0 0 0 [pid=18987/tid=18992] ppid=18984 vsize=10162692 CPUtime=4.87 cores=0-3,8-11 /proc/18987/task/18992/stat : 18992 (java) D 18984 18987 15739 0 -1 4203588 728 0 0 0 430 57 0 0 20 0 27 0 41431214 10406596608 1029276 33554432000 1073741824 1073778376 140735405329024 140587417103272 216812008508 0 4 0 16800975 18446744071579303797 0 0 -1 9 0 0 0 0 0 [pid=18987/tid=18993] ppid=18984 vsize=10162692 CPUtime=4.77 cores=0-3,8-11 /proc/18987/task/18993/stat : 18993 (java) D 18984 18987 15739 0 -1 4203588 727 0 0 0 423 54 0 0 20 0 27 0 41431214 10406596608 1029276 33554432000 1073741824 1073778376 140735405329024 140587416050728 216812008508 0 4 0 16800975 18446744071579303797 0 0 -1 1 0 0 0 0 0 [pid=18987/tid=18994] ppid=18984 vsize=10162692 CPUtime=4.76 cores=0-3,8-11 /proc/18987/task/18994/stat : 18994 (java) D 18984 18987 15739 0 -1 4203588 743 0 0 0 423 53 0 0 20 0 27 0 41431214 10406596608 1029276 33554432000 1073741824 1073778376 140735405329024 140587414997160 216812008508 0 4 0 16800975 18446744071579303797 0 0 -1 10 0 0 0 0 0 [pid=18987/tid=18995] ppid=18984 vsize=10162692 CPUtime=5.12 cores=0-3,8-11 /proc/18987/task/18995/stat : 18995 (java) D 18984 18987 15739 0 -1 4203588 710 0 0 0 455 57 0 0 20 0 27 0 41431214 10406596608 1029276 33554432000 1073741824 1073778376 140735405329024 140587413944616 216812008508 0 4 0 16800975 18446744071579303797 0 0 -1 9 0 0 0 0 0 [pid=18987/tid=18996] ppid=18984 vsize=10162692 CPUtime=4.37 cores=0-3,8-11 /proc/18987/task/18996/stat : 18996 (java) D 18984 18987 15739 0 -1 4203588 732 0 0 0 391 46 0 0 20 0 27 0 41431214 10406596608 1029276 33554432000 1073741824 1073778376 140735405329024 140587412892072 216812008508 0 4 0 16800975 18446744071579303797 0 0 -1 10 0 0 0 0 0 [pid=18987/tid=18997] ppid=18984 vsize=10162692 CPUtime=5.05 cores=0-3,8-11 /proc/18987/task/18997/stat : 18997 (java) D 18984 18987 15739 0 -1 4203588 768 0 0 0 450 55 0 0 20 0 27 0 41431214 10406596608 1029276 33554432000 1073741824 1073778376 140735405329024 140587411839528 216812008508 0 4 0 16800975 18446744071579303797 0 0 -1 2 0 0 0 0 0 [pid=18987/tid=18998] ppid=18984 vsize=10162692 CPUtime=4.64 cores=0-3,8-11 /proc/18987/task/18998/stat : 18998 (java) D 18984 18987 15739 0 -1 4203588 808 0 0 0 419 45 0 0 20 0 27 0 41431214 10406596608 1029276 33554432000 1073741824 1073778376 140735405329024 140587410786984 216812008508 0 4 0 16800975 18446744071579303797 0 0 -1 9 0 0 0 0 0 [pid=18987/tid=18999] ppid=18984 vsize=10162692 CPUtime=4.54 cores=0-3,8-11 /proc/18987/task/18999/stat : 18999 (java) D 18984 18987 15739 0 -1 4203588 978 0 0 0 408 46 0 0 20 0 27 0 41431214 10406596608 1029276 33554432000 1073741824 1073778376 140735405329024 140587409734440 216812008508 0 4 0 16800975 18446744071579303797 0 0 -1 9 0 0 0 0 0 [pid=18987/tid=19000] ppid=18984 vsize=10162692 CPUtime=4.94 cores=0-3,8-11 /proc/18987/task/19000/stat : 19000 (java) D 18984 18987 15739 0 -1 4203588 777 0 0 0 440 54 0 0 20 0 27 0 41431214 10406596608 1029276 33554432000 1073741824 1073778376 140735405329024 140587408681896 216812008508 0 4 0 16800975 18446744071579303797 0 0 -1 3 0 0 0 0 0 [pid=18987/tid=19001] ppid=18984 vsize=10162692 CPUtime=4.77 cores=0-3,8-11 /proc/18987/task/19001/stat : 19001 (java) D 18984 18987 15739 0 -1 4203588 766 0 0 0 426 51 0 0 20 0 27 0 41431214 10406596608 1029276 33554432000 1073741824 1073778376 140735405329024 140587407629352 216812008508 0 4 0 16800975 18446744071579303797 0 0 -1 1 0 0 0 0 0 [pid=18987/tid=19002] ppid=18984 vsize=10162692 CPUtime=4.72 cores=0-3,8-11 /proc/18987/task/19002/stat : 19002 (java) D 18984 18987 15739 0 -1 4203588 650 0 0 0 426 46 0 0 20 0 27 0 41431214 10406596608 1029276 33554432000 1073741824 1073778376 140735405329024 140587406575784 216812008508 0 4 0 16800975 18446744071579303797 0 0 -1 9 0 0 0 0 0 [pid=18987/tid=19003] ppid=18984 vsize=10162692 CPUtime=5.9 cores=0-3,8-11 /proc/18987/task/19003/stat : 19003 (java) D 18984 18987 15739 0 -1 4203588 3422 0 0 0 585 5 0 0 20 0 27 0 41431216 10406596608 1029276 33554432000 1073741824 1073778376 140735405329024 140587388901608 216812009385 0 0 0 16800975 18446744071579303797 0 0 -1 9 0 0 0 0 0 [pid=18987/tid=19004] ppid=18984 vsize=10162692 CPUtime=0 cores=0-3,8-11 /proc/18987/task/19004/stat : 19004 (java) D 18984 18987 15739 0 -1 4203588 17 0 0 0 0 0 0 0 20 0 27 0 41431216 10406596608 1029276 33554432000 1073741824 1073778376 140735405329024 140587387847928 216812008508 0 4 0 16800975 18446744071579303797 0 0 -1 2 0 0 0 0 0 [pid=18987/tid=19005] ppid=18984 vsize=10162692 CPUtime=0 cores=0-3,8-11 /proc/18987/task/19005/stat : 19005 (java) D 18984 18987 15739 0 -1 4203588 16 0 0 0 0 0 0 0 20 0 27 0 41431216 10406596608 1029276 33554432000 1073741824 1073778376 140735405329024 140587386795272 216812008508 0 4 0 16800975 18446744071579303797 0 0 -1 9 0 0 0 0 0 [pid=18987/tid=19006] ppid=18984 vsize=10162692 CPUtime=0 cores=0-3,8-11 /proc/18987/task/19006/stat : 19006 (java) D 18984 18987 15739 0 -1 4203588 1 0 0 0 0 0 0 0 20 0 27 0 41431218 10406596608 1029276 33554432000 1073741824 1073778376 140735405329024 140587385744016 216812017440 0 4 0 16800975 18446744071579303797 0 0 -1 10 0 0 0 0 0 [pid=18987/tid=19007] ppid=18984 vsize=10162692 CPUtime=2.22 cores=0-3,8-11 /proc/18987/task/19007/stat : 19007 (java) D 18984 18987 15739 0 -1 4203588 13621 0 0 0 219 3 0 0 20 0 27 0 41431218 10406596608 1029276 33554432000 1073741824 1073778376 140735405329024 140587384691384 216812008508 0 4 0 16800975 18446744071579303797 0 0 -1 2 0 0 0 0 0 [pid=18987/tid=19008] ppid=18984 vsize=10162692 CPUtime=2.43 cores=0-3,8-11 /proc/18987/task/19008/stat : 19008 (java) D 18984 18987 15739 0 -1 4203588 13416 0 0 0 241 2 0 0 20 0 27 0 41431218 10406596608 1029276 33554432000 1073741824 1073778376 140735405329024 140587383638840 216812008508 0 4 0 16800975 18446744071579303797 0 0 -1 0 0 0 0 0 0 [pid=18987/tid=19009] ppid=18984 vsize=10162692 CPUtime=0 cores=0-3,8-11 /proc/18987/task/19009/stat : 19009 (java) D 18984 18987 15739 0 -1 4203588 1 0 0 0 0 0 0 0 20 0 27 0 41431218 10406596608 1029276 33554432000 1073741824 1073778376 140735405329024 140587382586488 216812008508 0 4 0 16800975 18446744071579303797 0 0 -1 11 0 0 0 0 0 [pid=18987/tid=19010] ppid=18984 vsize=10162692 CPUtime=0.29 cores=0-3,8-11 /proc/18987/task/19010/stat : 19010 (java) D 18984 18987 15739 0 -1 4203588 52 0 0 0 13 16 0 0 20 0 27 0 41431218 10406596608 1029276 33554432000 1073741824 1073778376 140735405329024 140587381533128 216812009385 0 4 0 16800975 18446744071579303797 0 0 -1 1 0 0 0 0 0 [pid=18987/tid=19041] ppid=18984 vsize=10162692 CPUtime=0 cores=0-3,8-11 /proc/18987/task/19041/stat : 19041 (java) D 18984 18987 15739 0 -1 4203588 3 0 0 0 0 0 0 0 20 0 27 0 41432758 10406596608 1029276 33554432000 1073741824 1073778376 140735405329024 140587380380968 216812009385 0 4 0 16800975 18446744071579303797 0 0 -1 3 0 0 0 0 0 [pid=18987/tid=19096] ppid=18984 vsize=10162692 CPUtime=182.57 cores=0-3,8-11 /proc/18987/task/19096/stat : 19096 (java) D 18984 18987 15739 0 -1 4203588 6 0 0 0 18255 2 0 0 20 0 27 0 41503905 10406596608 1029276 33554432000 1073741824 1073778376 140735405329024 140585822306336 140587449175890 0 4 0 16800975 18446744071579303797 0 0 -1 2 0 0 0 0 0 [pid=18987/tid=19097] ppid=18984 vsize=10162692 CPUtime=182.69 cores=0-3,8-11 /proc/18987/task/19097/stat : 19097 (java) D 18984 18987 15739 0 -1 4203584 12 0 0 0 18267 2 0 0 20 0 27 0 41503905 10406596608 1029276 33554432000 1073741824 1073778376 140735405329024 140587379326624 140587449008845 0 4 0 16800975 18446744071579414880 0 0 -1 1 0 0 0 0 0 [pid=18987/tid=19098] ppid=18984 vsize=10162692 CPUtime=0 cores=0-3,8-11 /proc/18987/task/19098/stat : 19098 (java) D 18984 18987 15739 0 -1 4203588 3 0 0 0 0 0 0 0 20 0 27 0 41503905 10406596608 1029276 33554432000 1073741824 1073778376 140735405329024 140587378275752 216812009385 0 4 0 16800975 18446744071579303797 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1826.43 Current children cumulated vsize (KiB) 10162692 Child ended because it received signal 24 (SIGXCPU) Child dumped core # WARNING: # CPU time reported by wait4() is probably wrong ! # wait4(...,&childrusage) returns 18987 and gives # childrusage.ru_utime.tv_sec=1817 # childrusage.ru_utime.tv_usec=796652 # childrusage.ru_stime.tv_sec=7 # childrusage.ru_stime.tv_usec=931794 # CPU time returned by wait4() is 1825.73 # while last known CPU time is 1826.43 # # 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): 2.16995 # lost CPU user time (s): 2.41003 # lost CPU system time (s): -0.24 Real time (s): 937.13 CPU time (s): 1828.6 CPU user time (s): 1821.09 CPU system time (s): 7.51 CPU usage (%): 195.128 Max. virtual memory (cumulated for all children) (KiB): 10162692 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1817.8 system time used= 7.93179 maximum resident set size= 4117108 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 45885 page faults= 1 swaps= 0 block input operations= 0 block output operations= 944 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 24936 involuntary context switches= 30305 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 5.77612 second user time and 7.38488 second system time The end
Begin job on node132 at 2016-06-20 05:37:46 IDJOB=4110973 IDBENCH=108642 IDSOLVER=2543 FILE ID=node132/4110973-1466393866 RUNJOBID= node132-1466384055-15755 PBS_JOBID= 19923261 Free space on /tmp= 71732 MiB SOLVER NAME= Sat4j PB 2.3.6 Res+CP PB16 BENCH NAME= PB16/normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f11-DCTotalLoss.seq-B-3-2-irEDCBA.opb COMMAND LINE= java -jar sat4j-pb.jar Both BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4110973-1466393866/watcher-4110973-1466393866 -o /tmp/evaluation-result-4110973-1466393866/solver-4110973-1466393866 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node132-1466384055-15755 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4110973-1466393866.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 8 MD5SUM BENCH= 9450c14877a479a0edb52f3644d89cb6 RANDOM SEED=1321360897 node132.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.768 cache size : 8192 KB physical id : 0 siblings : 8 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.53 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.768 cache size : 8192 KB physical id : 0 siblings : 8 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.51 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.768 cache size : 8192 KB physical id : 0 siblings : 8 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.51 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.768 cache size : 8192 KB physical id : 0 siblings : 8 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.51 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.768 cache size : 8192 KB physical id : 1 siblings : 8 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.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.768 cache size : 8192 KB physical id : 1 siblings : 8 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 : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.768 cache size : 8192 KB physical id : 1 siblings : 8 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.768 cache size : 8192 KB physical id : 1 siblings : 8 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 8 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.768 cache size : 8192 KB physical id : 0 siblings : 8 core id : 0 cpu cores : 4 apicid : 1 initial apicid : 1 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 : 9 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.768 cache size : 8192 KB physical id : 0 siblings : 8 core id : 1 cpu cores : 4 apicid : 3 initial apicid : 3 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 : 10 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.768 cache size : 8192 KB physical id : 0 siblings : 8 core id : 2 cpu cores : 4 apicid : 5 initial apicid : 5 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 : 11 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.768 cache size : 8192 KB physical id : 0 siblings : 8 core id : 3 cpu cores : 4 apicid : 7 initial apicid : 7 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 : 12 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.768 cache size : 8192 KB physical id : 1 siblings : 8 core id : 0 cpu cores : 4 apicid : 17 initial apicid : 17 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 : 13 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.768 cache size : 8192 KB physical id : 1 siblings : 8 core id : 1 cpu cores : 4 apicid : 19 initial apicid : 19 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 : 14 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.768 cache size : 8192 KB physical id : 1 siblings : 8 core id : 2 cpu cores : 4 apicid : 21 initial apicid : 21 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 : 15 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.768 cache size : 8192 KB physical id : 1 siblings : 8 core id : 3 cpu cores : 4 apicid : 23 initial apicid : 23 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: 31683080 kB Buffers: 51276 kB Cached: 58948 kB SwapCached: 776 kB Active: 332068 kB Inactive: 74804 kB Active(anon): 297032 kB Inactive(anon): 1168 kB Active(file): 35036 kB Inactive(file): 73636 kB Unevictable: 8316 kB Mlocked: 8316 kB SwapTotal: 67108856 kB SwapFree: 67100184 kB Dirty: 5624 kB Writeback: 4 kB AnonPages: 305552 kB Mapped: 14440 kB Shmem: 0 kB Slab: 602332 kB SReclaimable: 42100 kB SUnreclaim: 560232 kB KernelStack: 2456 kB PageTables: 4980 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 837316 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341987140 kB HardwareCorrupted: 0 kB AnonHugePages: 239616 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= 71732 MiB End job on node132 at 2016-06-20 05:53:24