Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
Sat4j Res//CP 2.3.0 | SAT (TO) | 814 | 1800.41 | 993.235 |
Name | normalized-PB06/OPT-SMALLINT/web/www.ps.uni-sb.de/ ~walser/benchmarks/course-ass/normalized-ss97-4.opb |
MD5SUM | 4e682317a6045f4869b1783c80734344 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 813 |
Best CPU time to get the best result obtained on this benchmark | 0.261959 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 813 |
Optimality of the best value was proved | YES |
Number of variables | 2289 |
Total number of constraints | 764 |
Number of constraints which are clauses | 360 |
Number of constraints which are cardinality constraints (but not clauses) | 404 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 195 |
Number of terms in the objective function | 1798 |
Biggest coefficient in the objective function | 349 |
Number of bits for the biggest coefficient in the objective function | 9 |
Sum of the numbers in the objective function | 104116 |
Number of bits of the sum of numbers in the objective function | 17 |
Biggest number in a constraint | 349 |
Number of bits of the biggest number in a constraint | 9 |
Biggest sum of numbers in a constraint | 104116 |
Number of bits of the biggest sum of numbers | 17 |
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.08 c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre 0.00/0.08 c This is free software under the dual EPL/GNU LGPL licenses. 0.00/0.08 c See www.sat4j.org for details. 0.00/0.08 c version 2.3.1.v20110525 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.18-164.el5 0.00/0.08 c os.arch amd64 0.00/0.08 c Free memory 9996466904 0.00/0.08 c Max memory 10048897024 0.00/0.08 c Total memory 10048897024 0.00/0.08 c Number of processors 8 0.10/0.11 c Pseudo Boolean Optimization 0.10/0.11 c ManyCore solver with 2 solvers running in parallel 0.10/0.11 c --- Begin Solver configuration --- 0.10/0.11 c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@67ee3914 0.10/0.11 c Learn all clauses as in MiniSAT 0.10/0.11 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.10/0.11 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.10/0.11 c Expensive reason simplification 0.10/0.11 c Armin Biere (Picosat) restarts strategy 0.10/0.11 c Glucose learned constraints deletion strategy 0.10/0.11 c timeout=2147483s 0.10/0.11 c DB Simplification allowed=false 0.10/0.11 c --- End Solver configuration --- 0.10/0.11 c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP) 0.10/0.11 c --- Begin Solver configuration --- 0.10/0.11 c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@1c691f36 0.10/0.11 c Learn all clauses as in MiniSAT 0.10/0.11 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.10/0.11 c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function 0.10/0.11 c No reason simplification 0.10/0.11 c Armin Biere (Picosat) restarts strategy 0.10/0.11 c Glucose learned constraints deletion strategy 0.10/0.11 c timeout=2147483s 0.10/0.11 c DB Simplification allowed=false 0.10/0.11 c --- End Solver configuration --- 0.10/0.11 c solving HOME/instance-3455172-1307189405.opb 0.10/0.11 c reading problem ... 0.29/0.29 c ... done. Wall clock time 0.181s. 0.29/0.29 c #vars 2289 0.29/0.29 c #constraints 1148 0.29/0.29 c constraints type 0.29/0.29 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 377 0.29/0.29 c org.sat4j.minisat.constraints.cnf.UnitClauses => 1 0.29/0.29 c org.sat4j.minisat.constraints.card.MinWatchCard => 402 0.29/0.29 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 360 0.29/0.29 c constraints type 0.29/0.29 c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 360 0.29/0.29 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 377 0.29/0.29 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 402 0.29/0.29 c org.sat4j.pb.constraints.pb.UnitClausesPB => 1 0.52/0.38 c And the winner is Resolution 0.95/0.80 c SATISFIABLE 0.95/0.80 c OPTIMIZING... 0.95/0.80 c Got one! Elapsed wall clock time (in seconds):0.691 0.95/0.80 o 835 4.09/2.10 c cleaning 2500 clauses out of 5021 with flag 5000/5021 6.66/3.30 c And the winner is CuttingPlanes 6.84/3.34 c Got one! Elapsed wall clock time (in seconds):3.237 6.84/3.34 o 822 8.97/4.42 c cleaning 6699 clauses out of 13403 with flag 5000/15903 11.92/5.94 c cleaning 6348 clauses out of 12705 with flag 11001/21904 14.99/7.45 c cleaning 6672 clauses out of 13356 with flag 18000/28903 18.58/9.23 c cleaning 7335 clauses out of 14684 with flag 26000/36903 22.32/11.16 c cleaning 8172 clauses out of 16349 with flag 35000/45903 26.50/13.24 c cleaning 9082 clauses out of 18178 with flag 45001/55904 27.00/13.59 c And the winner is CuttingPlanes 27.18/13.89 c Got one! Elapsed wall clock time (in seconds):13.784 27.18/13.89 o 821 28.81/14.73 c cleaning 7206 clauses out of 14416 with flag 4002/61224 31.29/16.04 c cleaning 6604 clauses out of 13208 with flag 10000/67222 34.23/17.53 c cleaning 6802 clauses out of 13608 with flag 17004/74226 37.72/19.31 c cleaning 7393 clauses out of 14802 with flag 25000/82222 41.43/21.26 c cleaning 8203 clauses out of 16411 with flag 34002/91224 45.91/23.52 c cleaning 9097 clauses out of 18206 with flag 44000/101222 50.20/25.76 c cleaning 9551 clauses out of 19109 with flag 54000/111222 54.28/27.81 c cleaning 9774 clauses out of 19559 with flag 64001/121223 58.36/29.97 c cleaning 9887 clauses out of 19786 with flag 74002/131224 62.58/32.18 c cleaning 9949 clauses out of 19897 with flag 84000/141222 67.04/34.46 c cleaning 9971 clauses out of 19948 with flag 94000/151222 72.31/37.11 c cleaning 9983 clauses out of 19977 with flag 104000/161222 76.38/39.27 c cleaning 9993 clauses out of 19994 with flag 114000/171222 80.57/41.47 c cleaning 9997 clauses out of 20002 with flag 124001/181223 85.02/43.77 c cleaning 9998 clauses out of 20007 with flag 134003/191225 89.28/45.95 c cleaning 9992 clauses out of 20006 with flag 144000/201222 93.53/48.12 c cleaning 10006 clauses out of 20017 with flag 154003/211225 97.92/50.41 c cleaning 9997 clauses out of 20008 with flag 164000/221222 102.17/52.61 c cleaning 10002 clauses out of 20012 with flag 174001/231223 106.42/54.86 c cleaning 10000 clauses out of 20011 with flag 184002/241224 110.67/57.10 c cleaning 9998 clauses out of 20009 with flag 194000/251222 114.84/59.30 c cleaning 9999 clauses out of 20011 with flag 204000/261222 118.88/61.37 c cleaning 9996 clauses out of 20012 with flag 214000/271222 123.11/63.56 c cleaning 10004 clauses out of 20017 with flag 224001/281223 125.36/64.75 c And the winner is CuttingPlanes 125.47/65.06 c Got one! Elapsed wall clock time (in seconds):64.956 125.47/65.06 o 817 127.73/66.20 c cleaning 10208 clauses out of 20427 with flag 5000/291637 130.49/67.71 c cleaning 8107 clauses out of 16220 with flag 11001/297638 133.34/69.30 c cleaning 7547 clauses out of 15112 with flag 18000/304637 137.36/71.38 c cleaning 7780 clauses out of 15567 with flag 26002/312639 141.19/73.33 c cleaning 8385 clauses out of 16786 with flag 35001/321638 145.74/75.70 c cleaning 9194 clauses out of 18400 with flag 45000/331637 149.97/78.00 c cleaning 9599 clauses out of 19206 with flag 55000/341637 154.20/80.20 c cleaning 9798 clauses out of 19609 with flag 65002/351639 158.23/82.25 c cleaning 9902 clauses out of 19809 with flag 75000/361637 162.79/84.64 c cleaning 9946 clauses out of 19907 with flag 85000/371637 166.80/86.74 c cleaning 9976 clauses out of 19962 with flag 95001/381638 171.03/88.91 c cleaning 9989 clauses out of 19985 with flag 105000/391637 175.25/91.10 c cleaning 9996 clauses out of 19997 with flag 115001/401638 179.61/93.43 c cleaning 9998 clauses out of 20000 with flag 125000/411637 184.03/95.76 c cleaning 9997 clauses out of 20004 with flag 135002/421639 188.61/98.10 c cleaning 9991 clauses out of 20005 with flag 145000/431637 193.04/100.48 c cleaning 10003 clauses out of 20014 with flag 155000/441637 197.76/102.97 c cleaning 10002 clauses out of 20012 with flag 165001/451638 202.16/105.26 c cleaning 10000 clauses out of 20010 with flag 175001/461638 206.36/107.50 c cleaning 10000 clauses out of 20010 with flag 185001/471638 210.38/109.56 c cleaning 10001 clauses out of 20010 with flag 195001/481638 215.08/112.02 c cleaning 9998 clauses out of 20008 with flag 205000/491637 219.28/114.22 c cleaning 10000 clauses out of 20010 with flag 215000/501637 223.08/116.25 c cleaning 9998 clauses out of 20010 with flag 225000/511637 226.88/118.28 c cleaning 10000 clauses out of 20012 with flag 235000/521637 230.98/120.50 c cleaning 9999 clauses out of 20012 with flag 245000/531637 235.18/122.69 c cleaning 10001 clauses out of 20013 with flag 255000/541637 239.58/124.94 c cleaning 10001 clauses out of 20012 with flag 265000/551637 243.97/127.26 c cleaning 9999 clauses out of 20012 with flag 275001/561638 248.89/129.82 c cleaning 10004 clauses out of 20013 with flag 285001/571638 252.88/131.93 c cleaning 9998 clauses out of 20008 with flag 295000/581637 257.06/134.17 c cleaning 10001 clauses out of 20011 with flag 305001/591638 261.63/136.54 c cleaning 9999 clauses out of 20010 with flag 315001/601638 266.12/138.92 c cleaning 10000 clauses out of 20010 with flag 325000/611637 270.50/141.29 c cleaning 9999 clauses out of 20011 with flag 335001/621638 275.08/143.65 c cleaning 9998 clauses out of 20011 with flag 345000/631637 279.66/146.01 c cleaning 10000 clauses out of 20013 with flag 355000/641637 284.16/148.43 c cleaning 9998 clauses out of 20013 with flag 365000/651637 288.35/150.69 c cleaning 9997 clauses out of 20016 with flag 375001/661638 292.90/153.01 c cleaning 10001 clauses out of 20018 with flag 385000/671637 297.08/155.28 c cleaning 10004 clauses out of 20017 with flag 395000/681637 301.95/157.85 c cleaning 10000 clauses out of 20013 with flag 405000/691637 306.52/160.28 c cleaning 10005 clauses out of 20014 with flag 415001/701638 307.12/160.65 c And the winner is CuttingPlanes 307.20/161.15 c Got one! Elapsed wall clock time (in seconds):161.042 307.20/161.15 o 815 309.31/162.23 c cleaning 7857 clauses out of 15723 with flag 5000/707352 311.88/163.63 c cleaning 6928 clauses out of 13866 with flag 11000/713352 314.94/165.37 c cleaning 6963 clauses out of 13939 with flag 18001/720353 318.54/167.27 c cleaning 7485 clauses out of 14977 with flag 26002/728354 322.29/169.26 c cleaning 8242 clauses out of 16491 with flag 35001/737353 326.90/171.61 c cleaning 9121 clauses out of 18249 with flag 45001/747353 331.52/174.16 c cleaning 9560 clauses out of 19127 with flag 55000/757352 335.88/176.43 c cleaning 9779 clauses out of 19567 with flag 65000/767352 340.43/178.82 c cleaning 9893 clauses out of 19788 with flag 75000/777352 344.77/181.14 c cleaning 9941 clauses out of 19896 with flag 85001/787353 349.43/183.69 c cleaning 9974 clauses out of 19955 with flag 95001/797353 354.56/186.35 c cleaning 9982 clauses out of 19980 with flag 105000/807352 360.13/189.28 c cleaning 9995 clauses out of 19998 with flag 115000/817352 364.45/191.57 c cleaning 10000 clauses out of 20004 with flag 125001/827353 369.08/194.00 c cleaning 9997 clauses out of 20003 with flag 135000/837352 373.42/196.36 c cleaning 9998 clauses out of 20008 with flag 145002/847354 377.76/198.61 c cleaning 9997 clauses out of 20008 with flag 155000/857352 381.50/200.66 c cleaning 10001 clauses out of 20011 with flag 165000/867352 385.52/202.89 c cleaning 10004 clauses out of 20012 with flag 175002/877354 390.06/205.23 c cleaning 9997 clauses out of 20007 with flag 185001/887353 394.60/207.62 c cleaning 10000 clauses out of 20010 with flag 195001/897353 399.53/210.22 c cleaning 9998 clauses out of 20009 with flag 205000/907352 404.35/212.80 c cleaning 10001 clauses out of 20011 with flag 215000/917352 408.68/215.15 c cleaning 9998 clauses out of 20010 with flag 225000/927352 413.22/217.54 c cleaning 10001 clauses out of 20013 with flag 235001/937353 417.76/219.95 c cleaning 9997 clauses out of 20011 with flag 245000/947352 422.35/222.47 c cleaning 10003 clauses out of 20015 with flag 255001/957353 426.69/224.70 c cleaning 10002 clauses out of 20011 with flag 265000/967352 430.81/226.91 c cleaning 10001 clauses out of 20009 with flag 275000/977352 434.94/229.17 c cleaning 10002 clauses out of 20008 with flag 285000/987352 439.34/231.54 c cleaning 9998 clauses out of 20007 with flag 295001/997353 443.46/233.76 c cleaning 9998 clauses out of 20008 with flag 305000/1007352 447.78/236.03 c cleaning 9997 clauses out of 20010 with flag 315000/1017352 452.31/238.43 c cleaning 10002 clauses out of 20013 with flag 325000/1027352 457.11/241.07 c cleaning 9998 clauses out of 20011 with flag 335000/1037352 462.04/243.67 c cleaning 10003 clauses out of 20016 with flag 345003/1047355 466.36/245.91 c cleaning 9999 clauses out of 20010 with flag 355000/1057352 470.48/248.17 c cleaning 10001 clauses out of 20011 with flag 365000/1067352 475.07/250.69 c cleaning 9994 clauses out of 20010 with flag 375000/1077352 479.41/252.92 c cleaning 10003 clauses out of 20016 with flag 385000/1087352 483.71/255.23 c cleaning 10000 clauses out of 20013 with flag 395000/1097352 487.98/257.55 c cleaning 10003 clauses out of 20015 with flag 405002/1107354 492.72/260.10 c cleaning 10003 clauses out of 20012 with flag 415002/1117354 497.42/262.67 c cleaning 9999 clauses out of 20007 with flag 425000/1127352 502.29/265.27 c cleaning 10000 clauses out of 20008 with flag 435000/1137352 507.36/267.91 c cleaning 9997 clauses out of 20008 with flag 445000/1147352 512.09/270.60 c cleaning 10000 clauses out of 20011 with flag 455000/1157352 516.93/273.19 c cleaning 9999 clauses out of 20011 with flag 465000/1167352 521.99/275.86 c cleaning 9999 clauses out of 20012 with flag 475000/1177352 527.03/278.55 c cleaning 10003 clauses out of 20014 with flag 485001/1187353 532.32/281.45 c cleaning 10001 clauses out of 20010 with flag 495000/1197352 537.56/284.21 c cleaning 10000 clauses out of 20009 with flag 505000/1207352 542.61/286.90 c cleaning 9998 clauses out of 20010 with flag 515001/1217353 547.26/289.41 c cleaning 9999 clauses out of 20011 with flag 525000/1227352 551.74/291.92 c cleaning 10001 clauses out of 20012 with flag 535000/1237352 556.18/294.32 c cleaning 10000 clauses out of 20011 with flag 545000/1247352 560.62/296.72 c cleaning 10001 clauses out of 20011 with flag 555000/1257352 565.07/299.17 c cleaning 9997 clauses out of 20010 with flag 565000/1267352 569.92/301.82 c cleaning 10002 clauses out of 20014 with flag 575001/1277353 574.55/304.35 c cleaning 10002 clauses out of 20012 with flag 585001/1287353 578.98/306.74 c cleaning 10002 clauses out of 20009 with flag 595000/1297352 583.80/309.30 c cleaning 9994 clauses out of 20007 with flag 605000/1307352 588.64/312.04 c cleaning 10004 clauses out of 20015 with flag 615002/1317354 593.47/314.62 c cleaning 9999 clauses out of 20009 with flag 625000/1327352 598.04/317.19 c cleaning 9999 clauses out of 20010 with flag 635000/1337352 602.84/319.73 c cleaning 9997 clauses out of 20011 with flag 645000/1347352 608.26/322.77 c cleaning 10001 clauses out of 20014 with flag 655000/1357352 613.26/325.50 c cleaning 9996 clauses out of 20014 with flag 665001/1367353 618.46/328.24 c cleaning 10005 clauses out of 20017 with flag 675000/1377352 623.67/331.04 c cleaning 10001 clauses out of 20014 with flag 685002/1387354 629.07/334.04 c cleaning 10001 clauses out of 20012 with flag 695001/1397353 634.07/336.80 c cleaning 9999 clauses out of 20011 with flag 705001/1407353 639.26/339.50 c cleaning 10000 clauses out of 20012 with flag 715001/1417353 643.44/341.90 c cleaning 10001 clauses out of 20014 with flag 725003/1427355 647.88/344.38 c cleaning 9998 clauses out of 20010 with flag 735000/1437352 652.24/346.77 c cleaning 10001 clauses out of 20012 with flag 745000/1447352 656.43/349.07 c cleaning 9999 clauses out of 20012 with flag 755001/1457353 660.81/351.43 c cleaning 10000 clauses out of 20012 with flag 765000/1467352 665.27/353.92 c cleaning 10003 clauses out of 20013 with flag 775001/1477353 669.67/356.36 c cleaning 9999 clauses out of 20009 with flag 785000/1487352 675.63/359.58 c cleaning 9998 clauses out of 20010 with flag 795000/1497352 681.82/362.87 c cleaning 9998 clauses out of 20012 with flag 805000/1507352 688.41/366.42 c cleaning 9997 clauses out of 20014 with flag 815000/1517352 694.41/369.69 c cleaning 9998 clauses out of 20017 with flag 825000/1527352 700.58/372.94 c cleaning 9998 clauses out of 20020 with flag 835001/1537353 706.76/376.22 c cleaning 10001 clauses out of 20021 with flag 845000/1547352 712.92/379.68 c cleaning 10001 clauses out of 20021 with flag 855001/1557353 719.09/382.97 c cleaning 10000 clauses out of 20019 with flag 865000/1567352 725.46/386.31 c cleaning 10003 clauses out of 20019 with flag 875000/1577352 731.25/389.46 c cleaning 10008 clauses out of 20019 with flag 885003/1587355 736.20/392.20 c cleaning 9999 clauses out of 20008 with flag 895000/1597352 741.36/395.02 c cleaning 9998 clauses out of 20009 with flag 905000/1607352 746.12/397.67 c cleaning 10000 clauses out of 20011 with flag 915000/1617352 751.10/400.32 c cleaning 10003 clauses out of 20013 with flag 925002/1627354 756.85/403.51 c cleaning 9995 clauses out of 20008 with flag 935000/1637352 761.81/406.22 c cleaning 10001 clauses out of 20014 with flag 945001/1647353 764.78/407.91 c And the winner is CuttingPlanes 764.81/408.20 c Got one! Elapsed wall clock time (in seconds):408.09 764.81/408.20 o 814 766.83/409.23 c cleaning 10503 clauses out of 21022 with flag 5000/1658362 769.96/411.02 c cleaning 8255 clauses out of 16519 with flag 11000/1664362 773.32/413.06 c cleaning 7626 clauses out of 15266 with flag 18002/1671364 777.08/415.15 c cleaning 7810 clauses out of 15638 with flag 26000/1679362 781.64/417.61 c cleaning 8410 clauses out of 16829 with flag 35001/1688363 786.22/420.15 c cleaning 9204 clauses out of 18418 with flag 45000/1698362 790.96/422.85 c cleaning 9603 clauses out of 19214 with flag 55000/1708362 795.11/425.10 c cleaning 9801 clauses out of 19611 with flag 65000/1718362 799.86/427.77 c cleaning 9905 clauses out of 19810 with flag 75000/1728362 804.60/430.37 c cleaning 9948 clauses out of 19906 with flag 85001/1738363 809.35/433.06 c cleaning 9965 clauses out of 19957 with flag 95000/1748362 814.13/435.65 c cleaning 9992 clauses out of 19993 with flag 105001/1758363 818.64/438.12 c cleaning 9996 clauses out of 20000 with flag 115000/1768362 823.19/440.61 c cleaning 9999 clauses out of 20004 with flag 125000/1778362 827.96/443.33 c cleaning 9996 clauses out of 20005 with flag 135000/1788362 832.47/445.84 c cleaning 9997 clauses out of 20009 with flag 145000/1798362 837.01/448.32 c cleaning 10003 clauses out of 20013 with flag 155001/1808363 841.77/450.92 c cleaning 9999 clauses out of 20009 with flag 165000/1818362 846.68/453.71 c cleaning 10000 clauses out of 20011 with flag 175001/1828363 851.02/456.15 c cleaning 10002 clauses out of 20011 with flag 185001/1838363 855.58/458.62 c cleaning 9998 clauses out of 20009 with flag 195001/1848363 860.28/461.22 c cleaning 10001 clauses out of 20011 with flag 205001/1858363 865.01/463.90 c cleaning 9999 clauses out of 20009 with flag 215000/1868362 869.12/466.31 c cleaning 10000 clauses out of 20012 with flag 225002/1878364 873.85/468.80 c cleaning 9998 clauses out of 20014 with flag 235004/1888366 878.57/471.45 c cleaning 10002 clauses out of 20012 with flag 245000/1898362 883.55/474.26 c cleaning 9991 clauses out of 20010 with flag 255000/1908362 888.47/476.97 c cleaning 10006 clauses out of 20019 with flag 265000/1918362 892.99/479.49 c cleaning 10001 clauses out of 20013 with flag 275000/1928362 897.91/482.16 c cleaning 10001 clauses out of 20012 with flag 285000/1938362 903.24/485.12 c cleaning 9999 clauses out of 20012 with flag 295001/1948363 907.72/487.62 c cleaning 10002 clauses out of 20013 with flag 305001/1958363 912.03/490.05 c cleaning 10000 clauses out of 20011 with flag 315001/1968363 916.34/492.48 c cleaning 10000 clauses out of 20010 with flag 325000/1978362 921.26/495.20 c cleaning 10002 clauses out of 20010 with flag 335000/1988362 925.96/497.81 c cleaning 9999 clauses out of 20008 with flag 345000/1998362 931.07/500.60 c cleaning 10002 clauses out of 20012 with flag 355003/2008365 935.77/503.26 c cleaning 9998 clauses out of 20008 with flag 365001/2018363 940.86/506.17 c cleaning 10001 clauses out of 20010 with flag 375001/2028363 945.56/508.80 c cleaning 9995 clauses out of 20008 with flag 385000/2038362 950.26/511.39 c cleaning 9999 clauses out of 20013 with flag 395000/2048362 955.15/514.02 c cleaning 9999 clauses out of 20014 with flag 405000/2058362 960.45/517.06 c cleaning 10004 clauses out of 20018 with flag 415003/2068365 965.12/519.69 c cleaning 10002 clauses out of 20011 with flag 425000/2078362 969.80/522.26 c cleaning 9996 clauses out of 20009 with flag 435000/2088362 974.50/524.81 c cleaning 9999 clauses out of 20014 with flag 445001/2098363 978.96/527.48 c cleaning 9996 clauses out of 20014 with flag 455000/2108362 983.45/529.98 c cleaning 10003 clauses out of 20019 with flag 465001/2118363 988.13/532.50 c cleaning 10004 clauses out of 20016 with flag 475001/2128363 992.63/535.06 c cleaning 9997 clauses out of 20013 with flag 485002/2138364 997.50/537.88 c cleaning 10000 clauses out of 20014 with flag 495000/2148362 1002.17/540.44 c cleaning 10002 clauses out of 20016 with flag 505002/2158364 1006.85/543.01 c cleaning 9997 clauses out of 20012 with flag 515000/2168362 1011.34/545.54 c cleaning 10003 clauses out of 20016 with flag 525001/2178363 1016.24/548.31 c cleaning 9999 clauses out of 20012 with flag 535000/2188362 1020.71/550.89 c cleaning 10002 clauses out of 20015 with flag 545002/2198364 1025.58/553.56 c cleaning 9998 clauses out of 20012 with flag 555001/2208363 1030.46/556.25 c cleaning 9998 clauses out of 20014 with flag 565001/2218363 1035.50/559.16 c cleaning 9999 clauses out of 20015 with flag 575000/2228362 1040.56/561.90 c cleaning 10000 clauses out of 20016 with flag 585000/2238362 1045.83/564.88 c cleaning 10006 clauses out of 20018 with flag 595002/2248364 1051.71/568.05 c cleaning 9997 clauses out of 20010 with flag 605000/2258362 1058.54/571.82 c cleaning 10003 clauses out of 20013 with flag 615000/2268362 1065.20/575.48 c cleaning 10000 clauses out of 20013 with flag 625003/2278365 1071.66/578.92 c cleaning 10000 clauses out of 20012 with flag 635002/2288364 1077.92/582.33 c cleaning 10000 clauses out of 20010 with flag 645000/2298362 1084.74/586.19 c cleaning 10004 clauses out of 20012 with flag 655002/2308364 1091.60/589.80 c cleaning 9998 clauses out of 20006 with flag 665000/2318362 1098.05/593.36 c cleaning 10000 clauses out of 20009 with flag 675001/2328363 1102.90/596.03 c cleaning 9999 clauses out of 20009 with flag 685001/2338363 1107.91/598.98 c cleaning 9999 clauses out of 20009 with flag 695000/2348362 1112.99/601.76 c cleaning 9998 clauses out of 20010 with flag 705000/2358362 1118.00/604.59 c cleaning 10008 clauses out of 20017 with flag 715005/2368367 1123.84/607.72 c cleaning 10003 clauses out of 20005 with flag 725001/2378363 1130.25/611.39 c cleaning 9999 clauses out of 20002 with flag 735001/2388363 1136.78/614.83 c cleaning 9999 clauses out of 20005 with flag 745003/2398365 1143.21/618.30 c cleaning 9996 clauses out of 20004 with flag 755001/2408363 1149.43/621.80 c cleaning 10000 clauses out of 20007 with flag 765000/2418362 1156.01/625.50 c cleaning 9996 clauses out of 20007 with flag 775000/2428362 1162.45/628.94 c cleaning 9999 clauses out of 20011 with flag 785000/2438362 1168.89/632.51 c cleaning 10002 clauses out of 20013 with flag 795001/2448363 1175.48/636.09 c cleaning 9998 clauses out of 20011 with flag 805001/2458363 1182.62/640.00 c cleaning 9999 clauses out of 20012 with flag 815000/2468362 1189.05/643.59 c cleaning 10005 clauses out of 20017 with flag 825004/2478366 1195.62/647.16 c cleaning 9998 clauses out of 20008 with flag 835000/2488362 1202.20/650.76 c cleaning 10003 clauses out of 20012 with flag 845002/2498364 1209.13/654.66 c cleaning 9998 clauses out of 20008 with flag 855001/2508363 1215.92/658.36 c cleaning 9999 clauses out of 20010 with flag 865001/2518363 1222.71/662.04 c cleaning 9999 clauses out of 20012 with flag 875002/2528364 1228.91/665.45 c cleaning 10001 clauses out of 20012 with flag 885001/2538363 1233.80/668.30 c cleaning 10002 clauses out of 20011 with flag 895001/2548363 1238.40/670.94 c cleaning 9997 clauses out of 20008 with flag 905000/2558362 1243.15/673.66 c cleaning 10001 clauses out of 20012 with flag 915001/2568363 1247.92/676.35 c cleaning 10001 clauses out of 20010 with flag 925000/2578362 1253.09/679.31 c cleaning 10000 clauses out of 20009 with flag 935000/2588362 1257.68/681.96 c cleaning 9994 clauses out of 20011 with flag 945002/2598364 1262.63/684.71 c cleaning 9996 clauses out of 20015 with flag 955000/2608362 1267.20/687.39 c cleaning 10004 clauses out of 20020 with flag 965001/2618363 1272.12/690.28 c cleaning 10002 clauses out of 20015 with flag 975000/2628362 1277.11/693.08 c cleaning 10000 clauses out of 20014 with flag 985001/2638363 1281.84/695.72 c cleaning 9999 clauses out of 20013 with flag 995000/2648362 1286.40/698.41 c cleaning 9998 clauses out of 20014 with flag 1005000/2658362 1291.34/701.27 c cleaning 10001 clauses out of 20016 with flag 1015000/2668362 1295.91/703.84 c cleaning 10002 clauses out of 20016 with flag 1025001/2678363 1300.67/706.52 c cleaning 10005 clauses out of 20015 with flag 1035002/2688364 1305.42/709.21 c cleaning 10000 clauses out of 20009 with flag 1045001/2698363 1310.35/712.15 c cleaning 9999 clauses out of 20011 with flag 1055003/2708365 1315.09/714.84 c cleaning 10001 clauses out of 20010 with flag 1065001/2718363 1319.84/717.55 c cleaning 9996 clauses out of 20008 with flag 1075000/2728362 1324.59/720.26 c cleaning 9996 clauses out of 20012 with flag 1085000/2738362 1330.25/723.53 c cleaning 9999 clauses out of 20016 with flag 1095000/2748362 1335.80/726.62 c cleaning 10003 clauses out of 20018 with flag 1105001/2758363 1340.94/729.57 c cleaning 9998 clauses out of 20014 with flag 1115000/2768362 1346.10/732.49 c cleaning 9997 clauses out of 20016 with flag 1125000/2778362 1351.61/735.60 c cleaning 10000 clauses out of 20020 with flag 1135001/2788363 1356.55/738.46 c cleaning 9998 clauses out of 20019 with flag 1145000/2798362 1361.90/741.42 c cleaning 9997 clauses out of 20021 with flag 1155000/2808362 1367.03/744.33 c cleaning 10000 clauses out of 20024 with flag 1165000/2818362 1372.28/747.49 c cleaning 10003 clauses out of 20024 with flag 1175000/2828362 1377.03/750.17 c cleaning 10002 clauses out of 20021 with flag 1185000/2838362 1382.15/753.01 c cleaning 10007 clauses out of 20021 with flag 1195002/2848364 1386.90/755.75 c cleaning 9995 clauses out of 20012 with flag 1205000/2858362 1391.92/758.78 c cleaning 9999 clauses out of 20019 with flag 1215002/2868364 1397.04/761.62 c cleaning 10000 clauses out of 20020 with flag 1225002/2878364 1402.19/764.55 c cleaning 10005 clauses out of 20019 with flag 1235001/2888363 1407.10/767.33 c cleaning 9996 clauses out of 20014 with flag 1245001/2898363 1412.34/770.44 c cleaning 10003 clauses out of 20017 with flag 1255000/2908362 1417.28/773.22 c cleaning 9999 clauses out of 20015 with flag 1265001/2918363 1422.19/776.02 c cleaning 10007 clauses out of 20017 with flag 1275002/2928364 1427.14/778.84 c cleaning 9997 clauses out of 20011 with flag 1285003/2938365 1432.35/781.98 c cleaning 9995 clauses out of 20013 with flag 1295002/2948364 1437.28/784.78 c cleaning 10000 clauses out of 20018 with flag 1305002/2958364 1442.00/787.48 c cleaning 9997 clauses out of 20017 with flag 1315001/2968363 1446.93/790.22 c cleaning 10003 clauses out of 20019 with flag 1325000/2978362 1451.95/793.21 c cleaning 10003 clauses out of 20016 with flag 1335000/2988362 1456.47/795.84 c cleaning 10002 clauses out of 20013 with flag 1345000/2998362 1460.79/798.32 c cleaning 10001 clauses out of 20011 with flag 1355000/3008362 1465.31/800.95 c cleaning 10001 clauses out of 20011 with flag 1365001/3018363 1470.13/803.84 c cleaning 10000 clauses out of 20010 with flag 1375001/3028363 1474.65/806.44 c cleaning 9999 clauses out of 20010 with flag 1385001/3038363 1479.77/809.37 c cleaning 9998 clauses out of 20010 with flag 1395000/3048362 1484.88/812.23 c cleaning 9999 clauses out of 20012 with flag 1405000/3058362 1489.99/815.27 c cleaning 10002 clauses out of 20013 with flag 1415000/3068362 1494.90/818.02 c cleaning 9999 clauses out of 20012 with flag 1425001/3078363 1499.62/820.77 c cleaning 10000 clauses out of 20012 with flag 1435000/3088362 1504.54/823.54 c cleaning 9998 clauses out of 20012 with flag 1445000/3098362 1509.55/826.57 c cleaning 10002 clauses out of 20014 with flag 1455000/3108362 1513.86/829.06 c cleaning 10003 clauses out of 20012 with flag 1465000/3118362 1518.20/831.58 c cleaning 10001 clauses out of 20012 with flag 1475003/3128365 1522.70/834.15 c cleaning 10001 clauses out of 20012 with flag 1485004/3138366 1527.21/836.87 c cleaning 9997 clauses out of 20008 with flag 1495001/3148363 1531.73/839.47 c cleaning 10003 clauses out of 20012 with flag 1505002/3158364 1536.44/842.17 c cleaning 9997 clauses out of 20007 with flag 1515000/3168362 1540.98/844.80 c cleaning 10002 clauses out of 20011 with flag 1525001/3178363 1546.37/847.94 c cleaning 9999 clauses out of 20010 with flag 1535002/3188364 1551.48/850.85 c cleaning 10001 clauses out of 20009 with flag 1545000/3198362 1556.59/853.70 c cleaning 9996 clauses out of 20008 with flag 1555000/3208362 1561.51/856.52 c cleaning 10002 clauses out of 20012 with flag 1565000/3218362 1566.77/859.60 c cleaning 9998 clauses out of 20011 with flag 1575001/3228363 1571.70/862.44 c cleaning 10002 clauses out of 20014 with flag 1585002/3238364 1576.59/865.29 c cleaning 10002 clauses out of 20011 with flag 1595001/3248363 1581.91/868.25 c cleaning 9996 clauses out of 20008 with flag 1605000/3258362 1587.52/871.51 c cleaning 10004 clauses out of 20013 with flag 1615001/3268363 1592.42/874.34 c cleaning 9999 clauses out of 20009 with flag 1625001/3278363 1597.54/877.26 c cleaning 10002 clauses out of 20009 with flag 1635000/3288362 1602.85/880.29 c cleaning 9998 clauses out of 20010 with flag 1645003/3298365 1608.65/883.60 c cleaning 9999 clauses out of 20010 with flag 1655001/3308363 1613.99/886.65 c cleaning 10001 clauses out of 20013 with flag 1665003/3318365 1619.48/889.75 c cleaning 10003 clauses out of 20013 with flag 1675004/3328366 1624.99/892.81 c cleaning 9997 clauses out of 20008 with flag 1685002/3338364 1630.59/896.17 c cleaning 9998 clauses out of 20009 with flag 1695000/3348362 1636.08/899.29 c cleaning 9998 clauses out of 20012 with flag 1705001/3358363 1641.79/902.47 c cleaning 9999 clauses out of 20013 with flag 1715000/3368362 1647.49/905.61 c cleaning 10006 clauses out of 20017 with flag 1725003/3378365 1653.29/909.07 c cleaning 9995 clauses out of 20009 with flag 1735001/3388363 1659.19/912.31 c cleaning 10002 clauses out of 20013 with flag 1745000/3398362 1664.49/915.39 c cleaning 9999 clauses out of 20011 with flag 1755000/3408362 1670.01/918.50 c cleaning 10005 clauses out of 20016 with flag 1765004/3418366 1675.18/921.59 c cleaning 9997 clauses out of 20008 with flag 1775001/3428363 1680.28/924.47 c cleaning 10002 clauses out of 20013 with flag 1785003/3438365 1685.40/927.39 c cleaning 9998 clauses out of 20008 with flag 1795000/3448362 1690.66/930.36 c cleaning 9996 clauses out of 20010 with flag 1805000/3458362 1696.24/933.64 c cleaning 10003 clauses out of 20015 with flag 1815001/3468363 1701.53/936.69 c cleaning 10000 clauses out of 20012 with flag 1825001/3478363 1707.21/939.80 c cleaning 9998 clauses out of 20011 with flag 1835000/3488362 1712.51/942.87 c cleaning 10004 clauses out of 20014 with flag 1845001/3498363 1718.47/946.32 c cleaning 9996 clauses out of 20009 with flag 1855000/3508362 1723.95/949.46 c cleaning 9998 clauses out of 20013 with flag 1865000/3518362 1729.45/952.61 c cleaning 10005 clauses out of 20015 with flag 1875000/3528362 1734.70/955.53 c cleaning 9998 clauses out of 20010 with flag 1885000/3538362 1740.25/958.83 c cleaning 9998 clauses out of 20012 with flag 1895000/3548362 1745.52/961.87 c cleaning 10002 clauses out of 20014 with flag 1905000/3558362 1750.99/964.94 c cleaning 9999 clauses out of 20013 with flag 1915001/3568363 1756.66/968.10 c cleaning 9999 clauses out of 20013 with flag 1925000/3578362 1762.02/971.31 c cleaning 10004 clauses out of 20018 with flag 1935004/3588366 1767.65/974.45 c cleaning 9998 clauses out of 20011 with flag 1945001/3598363 1773.30/977.63 c cleaning 10004 clauses out of 20018 with flag 1955006/3608368 1778.95/980.86 c cleaning 9993 clauses out of 20008 with flag 1965000/3618362 1785.09/984.46 c cleaning 10002 clauses out of 20016 with flag 1975001/3628363 1790.51/987.55 c cleaning 10003 clauses out of 20013 with flag 1985000/3638362 1795.76/990.53 c cleaning 10000 clauses out of 20010 with flag 1995000/3648362 1800.21/993.12 c starts : 27 1800.21/993.12 c conflicts : 4769 1800.21/993.12 c decisions : 51730 1800.21/993.12 c propagations : 220678 1800.21/993.12 c inspects : 48216315 1800.21/993.12 c shortcuts : 0 1800.21/993.12 c learnt literals : 0 1800.21/993.12 c learnt binary clauses : 0 1800.21/993.12 c learnt ternary clauses : 65 1800.21/993.12 c learnt constraints : 4768 1800.21/993.12 c ignored constraints : 0 1800.21/993.12 c root simplifications : 0 1800.21/993.12 c removed literals (reason simplification) : 0 1800.21/993.12 c reason swapping (by a shorter reason) : 0 1800.21/993.12 c Calls to reduceDB : 0 1800.21/993.12 c number of reductions to clauses (during analyze) : 0 1800.21/993.12 c number of learned constraints concerned by reduction : 0 1800.21/993.12 c number of learning phase by resolution : 0 1800.21/993.12 c number of learning phase by cutting planes : 0 1800.21/993.12 c speed (assignments/second) : 377.28023415247947 1800.21/993.12 c non guided choices 60 1800.21/993.12 c learnt constraints type 1800.21/993.12 c org.sat4j.pb.constraints.pb.LearntHTClausePB => 65 1800.21/993.12 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 56 1800.21/993.12 c org.sat4j.pb.constraints.pb.MaxWatchPb => 4647 1800.21/993.12 c constraints type 1800.21/993.12 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 377 1800.21/993.12 c org.sat4j.minisat.constraints.cnf.UnitClauses => 1 1800.21/993.12 c org.sat4j.minisat.constraints.card.MinWatchCard => 402 1800.21/993.12 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 360 1800.21/993.12 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 1 1800.21/993.12 c constraints type 1800.21/993.12 c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 360 1800.21/993.12 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 377 1800.21/993.12 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 402 1800.21/993.12 c org.sat4j.pb.constraints.pb.UnitClausesPB => 1 1800.21/993.12 c org.sat4j.pb.constraints.pb.MaxWatchPb => 1 1800.21/993.12 s SATISFIABLE 1800.21/993.14 v x1 x2 x3 x4 -x5 -x6 x7 -x8 -x9 x10 -x11 -x12 -x13 -x14 -x15 x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 x40 -x41 x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 x51 -x52 -x53 -x54 -x55 x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 x74 -x75 -x76 -x77 x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 x89 -x90 -x91 x92 x93 -x94 x95 x96 -x97 -x98 -x99 -x100 x101 x102 x103 x104 -x105 x106 -x107 -x108 -x109 -x110 -x111 -x112 x113 -x114 -x115 -x116 -x117 -x118 -x119 x120 -x121 -x122 x123 -x124 -x125 x126 -x127 -x128 -x129 x130 -x131 -x132 -x133 -x134 -x135 x136 x137 -x138 -x139 x140 -x141 -x142 -x143 -x144 -x145 -x146 x147 -x148 -x149 -x150 x151 -x152 -x153 -x154 x155 x156 -x157 x158 -x159 -x160 -x161 x162 -x163 -x164 -x165 -x166 -x167 x168 -x169 -x170 -x171 -x172 -x173 -x174 x175 -x176 -x177 -x178 x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 x187 -x188 -x189 -x190 -x191 -x192 x193 x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 x202 -x203 -x204 x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 x223 -x224 -x225 -x226 x227 x228 -x229 -x230 x231 -x232 -x233 x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 x242 x243 x244 -x245 -x246 -x247 -x248 x249 -x250 -x251 x252 x253 x254 x255 -x256 -x257 -x258 -x259 -x260 x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 x290 -x291 -x292 x293 -x294 -x295 -x296 -x297 x298 -x299 x300 x301 -x302 -x303 x304 -x305 x306 x307 -x308 -x309 -x310 -x311 -x312 x313 x314 x315 x316 -x317 -x318 -x319 -x320 x321 -x322 x323 -x324 -x325 -x326 -x327 -x328 -x329 x330 -x331 -x332 -x333 -x334 x335 x336 -x337 -x338 -x339 -x340 x341 -x342 x343 -x344 x345 x346 -x347 x348 x349 -x350 x351 -x352 -x353 -x354 -x355 x356 -x357 -x358 x359 x360 -x361 -x362 -x363 -x364 x365 -x366 -x367 -x368 -x369 x370 -x371 x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 x381 -x382 -x383 -x384 -x385 -x386 -x387 x388 -x389 -x390 -x391 -x392 x393 x394 -x395 -x396 x397 -x398 x399 x400 x401 x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 x411 x412 -x413 -x414 -x415 -x416 x417 x418 -x419 -x420 x421 x422 x423 -x424 -x425 -x426 -x427 -x428 x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 x439 -x440 -x441 -x442 -x443 x444 -x445 -x446 -x447 -x448 x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 x458 -x459 -x460 -x461 x462 x463 -x464 -x465 -x466 -x467 -x468 x469 -x470 x471 -x472 x473 x474 -x475 x476 -x477 -x478 -x479 -x480 x481 -x482 -x483 -x484 x485 -x486 -x487 -x488 -x489 -x490 -x491 x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 x507 x508 x509 -x510 -x511 -x512 -x513 -x514 -x515 x516 -x517 -x518 -x519 -x520 x521 -x522 -x523 x524 -x525 -x526 -x527 -x528 x529 -x530 -x531 -x532 -x533 x534 x535 x536 x537 -x538 -x539 x540 -x541 -x542 -x543 x544 x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 x555 -x556 -x557 -x558 x559 x560 x561 -x562 -x563 x564 x565 -x566 x567 x568 -x569 -x570 x571 x572 x573 x574 -x575 -x576 x577 -x578 -x579 x580 -x581 -x582 -x583 -x584 x585 -x586 -x587 -x588 x589 x590 -x591 -x592 -x593 -x594 -x595 x596 -x597 -x598 -x599 -x600 x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 x609 x610 -x611 -x612 -x613 x614 x615 -x616 -x617 -x618 -x619 -x620 -x621 x622 x623 -x624 -x625 -x626 x627 x628 x629 x630 -x631 x632 -x633 x634 -x635 x636 x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 x660 x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 x673 -x674 x675 -x676 -x677 -x678 -x679 -x680 x681 -x682 -x683 x684 -x685 -x686 -x687 x688 -x689 -x690 -x691 x692 -x693 -x694 x695 x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 x772 -x773 x774 x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 x793 -x794 -x795 -x796 x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 x819 -x820 x821 -x822 -x823 -x824 -x825 -x826 x827 x828 x829 x830 -x831 -x832 -x833 -x834 -x835 x836 -x837 -x838 -x839 x840 -x841 -x842 -x843 x844 -x845 -x846 x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 x864 -x865 x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 x875 -x876 -x877 x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 x891 -x892 -x893 -x894 -x895 -x896 -x897 x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 x916 -x917 -x918 -x919 x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 x942 -x943 -x944 -x945 -x946 x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 x960 -x961 -x962 -x963 -x964 x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 x974 -x975 -x976 x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 x1005 -x1006 x1007 -x1008 -x1009 -x1010 x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 x1029 -x1030 -x1031 x1032 -x1033 -x1034 -x1035 -x1036 x1037 -x1038 -x1039 -x1040 x1041 -x1042 -x1043 x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 x1066 -x1067 x1068 -x1069 -x1070 -x1071 -x1072 -x1073 x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 x1095 -x1096 -x1097 -x1098 x1099 x1100 -x1101 -x1102 -x1103 -x1104 x1105 -x1106 x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 x1123 -x1124 -x1125 -x1126 -x1127 -x1128 x1129 -x1130 x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 x1154 -x1155 -x1156 -x1157 -x1158 x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 x1251 x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 x1297 -x1298 x1299 -x1300 -x1301 -x1302 -x1303 -x1304 x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 x1331 -x1332 -x1333 -x1334 x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 x1344 x1345 x1346 x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 x1383 x1384 -x1385 -x1386 x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 x1417 -x1418 -x1419 -x1420 -x1421 -x1422 x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 x1435 -x1436 -x1437 x1438 x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 x1454 -x1455 -x1456 x1457 -x1458 -x1459 -x1460 x1461 -x1462 -x1463 -x1464 -x1465 x1466 -x1467 -x1468 x1469 x1470 x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 x1496 -x1497 -x1498 -x1499 -x1500 -x1501 x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 x1511 -x1512 -x1513 -x1514 -x1515 x1516 -x1517 x1518 -x1519 x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 x1533 -x1534 x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 x1551 -x1552 -x1553 -x1554 -x1555 x1556 -x1557 x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 x1585 x1586 -x1587 -x1588 x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 x1669 x1670 -x1671 -x1672 x1673 -x1674 x1675 x1676 x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 x1699 -x1700 x1701 x1702 -x1703 -x1704 -x1705 -x1706 x1707 -x1708 -x1709 -x1710 -x1711 x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 x1752 -x1753 -x1754 x1755 -x1756 -x1757 x1758 -x1759 -x1760 -x1761 -x1762 x1763 x1764 -x1765 x1766 x1767 -x1768 x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 x1788 -x1789 x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 x1797 -x1798 -x1799 -x1800 x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 x1816 -x1817 -x1818 -x1819 x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 x1832 x1833 -x1834 -x1835 -x1836 -x1837 x1838 -x1839 x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 x1852 -x1853 -x1854 x1855 -x1856 x1857 -x1858 -x1859 -x1860 -x1861 x1862 x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 x1900 -x1901 -x1902 -x1903 x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 x1919 -x1920 x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 x1928 -x1929 -x1930 -x1931 -x1932 x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 x1951 -x1952 -x1953 x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 x2018 -x2019 -x2020 x2021 -x2022 -x2023 -x2024 x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 x2083 x2084 -x2085 -x2086 -x2087 x2088 -x2089 -x2090 -x2091 -x2092 -x2093 x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 x2107 -x2108 x2109 x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 x2119 -x2120 x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 x2131 x2132 x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 x2152 -x2153 -x2154 x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 x2165 x2166 -x2167 x2168 x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 x2185 -x2186 -x2187 x2188 x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 x2198 -x2199 -x2200 -x2201 -x2202 -x2203 x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 x2224 x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 x2266 x2267 x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 1800.21/993.14 c objective function=814 1800.21/993.14 c Total wall clock time (in seconds): 993.038
OK 814
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL This is runsolver version 3.3.0 (svn: 977) 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-3455172-1307189405/watcher-3455172-1307189405 -o /tmp/evaluation-result-3455172-1307189405/solver-3455172-1307189405 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3455172-1307189405.opb running on 4 cores: 1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 3.42 3.42 2.97 3/394 21842 /proc/meminfo: memFree=22277876/32951124 swapFree=37148216/67111528 [pid=21842] ppid=21840 vsize=10444316 CPUtime=0 cores=1,3,5,7 /proc/21842/stat : 21842 (java) S 21840 21842 19222 0 -1 4202496 3439 0 1 0 0 0 0 0 25 0 2 0 830540922 10694979584 3142 33554432000 1073741824 1073778376 140734020339856 18446744073709551615 230820968421 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0 0 /proc/21842/statm: 2611079 3156 917 9 0 2602235 0 [pid=21842/tid=21843] ppid=21840 vsize=10444316 CPUtime=0 cores=1,3,5,7 /proc/21842/task/21843/stat : 21843 (java) R 21840 21842 19222 0 -1 4202560 4086 0 1 0 0 0 0 0 25 0 2 0 830540922 10694979584 4902 33554432000 1073741824 1073778376 140734020339856 18446744073709551615 230808859707 0 4 0 16784584 0 0 0 -1 1 0 0 0 [startup+0.090341 s] /proc/loadavg: 3.42 3.42 2.97 3/394 21842 /proc/meminfo: memFree=22277876/32951124 swapFree=37148216/67111528 [pid=21842] ppid=21840 vsize=10539548 CPUtime=0.09 cores=1,3,5,7 /proc/21842/stat : 21842 (java) S 21840 21842 19222 0 -1 4202496 12964 0 1 0 7 2 0 0 25 0 18 0 830540922 10792497152 12632 33554432000 1073741824 1073778376 140734020339856 18446744073709551615 230820968421 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 /proc/21842/statm: 2634887 12633 2092 9 0 2625621 0 [pid=21842/tid=21843] ppid=21840 vsize=10539548 CPUtime=0.07 cores=1,3,5,7 /proc/21842/task/21843/stat : 21843 (java) R 21840 21842 19222 0 -1 4202560 11021 0 1 0 6 1 0 0 18 0 18 0 830540922 10792497152 12633 33554432000 1073741824 1073778376 140734020339856 18446744073709551615 47600442448723 0 4 0 16800975 0 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 10539548 [startup+0.100335 s] /proc/loadavg: 3.42 3.42 2.97 3/394 21842 /proc/meminfo: memFree=22277876/32951124 swapFree=37148216/67111528 [pid=21842] ppid=21840 vsize=10539680 CPUtime=0.1 cores=1,3,5,7 /proc/21842/stat : 21842 (java) S 21840 21842 19222 0 -1 4202496 13109 0 1 0 8 2 0 0 25 0 18 0 830540922 10792632320 12777 33554432000 1073741824 1073778376 140734020339856 18446744073709551615 230820968421 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 /proc/21842/statm: 2634920 12777 2092 9 0 2625654 0 [pid=21842/tid=21843] ppid=21840 vsize=10539680 CPUtime=0.08 cores=1,3,5,7 /proc/21842/task/21843/stat : 21843 (java) R 21840 21842 19222 0 -1 4202560 11165 0 1 0 7 1 0 0 18 0 18 0 830540922 10792632320 12777 33554432000 1073741824 1073778376 140734020339856 18446744073709551615 230820992459 0 4 0 16800975 0 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 0.1 Current children cumulated vsize (KiB) 10539680 [startup+0.300265 s] /proc/loadavg: 3.42 3.42 2.97 3/394 21842 /proc/meminfo: memFree=22277876/32951124 swapFree=37148216/67111528 [pid=21842] ppid=21840 vsize=10542144 CPUtime=0.52 cores=1,3,5,7 /proc/21842/stat : 21842 (java) S 21840 21842 19222 0 -1 4202496 18572 0 1 0 50 2 0 0 25 0 20 0 830540922 10795155456 17733 33554432000 1073741824 1073778376 140734020339856 18446744073709551615 230820968421 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 /proc/21842/statm: 2635536 17733 2212 9 0 2626270 0 [pid=21842/tid=21843] ppid=21840 vsize=10542144 CPUtime=0.28 cores=1,3,5,7 /proc/21842/task/21843/stat : 21843 (java) S 21840 21842 19222 0 -1 4202560 15282 0 1 0 26 2 0 0 19 0 20 0 830540922 10795155456 17733 33554432000 1073741824 1073778376 140734020339856 18446744073709551615 230820982272 0 4 0 16800975 18446604460655310016 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 0.52 Current children cumulated vsize (KiB) 10542144 [startup+0.700249 s] /proc/loadavg: 3.42 3.42 2.97 3/394 21842 /proc/meminfo: memFree=22277876/32951124 swapFree=37148216/67111528 [pid=21842] ppid=21840 vsize=10545236 CPUtime=0.95 cores=1,3,5,7 /proc/21842/stat : 21842 (java) S 21840 21842 19222 0 -1 4202496 20006 0 1 0 93 2 0 0 25 0 19 0 830540922 10798321664 18441 33554432000 1073741824 1073778376 140734020339856 18446744073709551615 230820968421 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 /proc/21842/statm: 2636309 18441 2223 9 0 2627043 0 [pid=21842/tid=21843] ppid=21840 vsize=10545236 CPUtime=0.28 cores=1,3,5,7 /proc/21842/task/21843/stat : 21843 (java) S 21840 21842 19222 0 -1 4202560 15282 0 1 0 26 2 0 0 19 0 19 0 830540922 10798321664 18441 33554432000 1073741824 1073778376 140734020339856 18446744073709551615 230820982272 0 4 0 16800975 18446604460655310016 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 0.95 Current children cumulated vsize (KiB) 10545236 [startup+1.50108 s] /proc/loadavg: 3.42 3.42 2.97 7/416 21867 /proc/meminfo: memFree=22201820/32951124 swapFree=37148216/67111528 [pid=21842] ppid=21840 vsize=10552436 CPUtime=3.01 cores=1,3,5,7 /proc/21842/stat : 21842 (java) S 21840 21842 19222 0 -1 4202496 31917 0 1 0 297 4 0 0 25 0 22 0 830540922 10805694464 25738 33554432000 1073741824 1073778376 140734020339856 18446744073709551615 230820968421 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 /proc/21842/statm: 2638109 25738 2232 9 0 2628843 0 [pid=21842/tid=21843] ppid=21840 vsize=10552436 CPUtime=0.31 cores=1,3,5,7 /proc/21842/task/21843/stat : 21843 (java) S 21840 21842 19222 0 -1 4202560 15471 0 1 0 29 2 0 0 15 0 22 0 830540922 10805694464 25739 33554432000 1073741824 1073778376 140734020339856 18446744073709551615 230820982272 0 4 0 16800975 18446604460655310016 0 0 -1 7 0 0 0 [pid=21842/tid=21845] ppid=21840 vsize=10552436 CPUtime=0 cores=1,3,5,7 /proc/21842/task/21845/stat : 21845 (java) S 21840 21842 19222 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830540924 10805694464 25739 33554432000 1073741824 1073778376 140734020339856 18446744073709551615 230820981657 0 4 0 16800975 18446604460655310016 0 0 -1 3 0 0 0 [pid=21842/tid=21846] ppid=21840 vsize=10552436 CPUtime=0 cores=1,3,5,7 /proc/21842/task/21846/stat : 21846 (java) S 21840 21842 19222 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 22 0 830540924 10805694464 25739 33554432000 1073741824 1073778376 140734020339856 18446744073709551615 230820981657 0 4 0 16800975 18446604460655310016 0 0 -1 3 0 0 0 [pid=21842/tid=21847] ppid=21840 vsize=10552436 CPUtime=0 cores=1,3,5,7 /proc/21842/task/21847/stat : 21847 (java) S 21840 21842 19222 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830540924 10805694464 25739 33554432000 1073741824 1073778376 140734020339856 18446744073709551615 230820981657 0 4 0 16800975 18446604460655310016 0 0 -1 7 0 0 0 [pid=21842/tid=21848] ppid=21840 vsize=10552436 CPUtime=0 cores=1,3,5,7 /proc/21842/task/21848/stat : 21848 (java) S 21840 21842 19222 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830540924 10805694464 25739 33554432000 1073741824 1073778376 140734020339856 18446744073709551615 230820981657 0 4 0 16800975 18446604460655310016 0 0 -1 3 0 0 0 [pid=21842/tid=21849] ppid=21840 vsize=10552436 CPUtime=0 cores=1,3,5,7 /proc/21842/task/21849/stat : 21849 (java) S 21840 21842 19222 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830540924 10805694464 25739 33554432000 1073741824 1073778376 140734020339856 18446744073709551615 230820981657 0 4 0 16800975 18446604460655310016 0 0 -1 3 0 0 0 [pid=21842/tid=21850] ppid=21840 vsize=10552436 CPUtime=0 cores=1,3,5,7 /proc/21842/task/21850/stat : 21850 (java) S 21840 21842 19222 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830540924 10805694464 25739 33554432000 1073741824 1073778376 140734020339856 18446744073709551615 230820981657 0 4 0 16800975 18446604460655310016 0 0 -1 3 0 0 0 [pid=21842/tid=21851] ppid=21840 vsize=10552436 CPUtime=0 cores=1,3,5,7 /proc/21842/task/21851/stat : 21851 (java) S 21840 21842 19222 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830540924 10805694464 25739 33554432000 1073741824 1073778376 140734020339856 18446744073709551615 230820981657 0 4 0 16800975 18446604460655310016 0 0 -1 3 0 0 0 [pid=21842/tid=21852] ppid=21840 vsize=10552436 CPUtime=0 cores=1,3,5,7 /proc/21842/task/21852/stat : 21852 (java) S 21840 21842 19222 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830540924 10805694464 25740 33554432000 1073741824 1073778376 140734020339856 18446744073709551615 230820981657 0 4 0 16800975 18446604460655310016 0 0 -1 3 0 0 0 [pid=21842/tid=21853] ppid=21840 vsize=10552436 CPUtime=0 cores=1,3,5,7 /proc/21842/task/21853/stat : 21853 (java) S 21840 21842 19222 0 -1 4202560 3 0 0 0 0 0 0 0 18 0 22 0 830540925 10805694464 25740 33554432000 1073741824 1073778376 140734020339856 18446744073709551615 230820982272 0 0 0 16800975 18446604460655310016 0 0 -1 7 0 0 0 [pid=21842/tid=21854] ppid=21840 vsize=10552436 CPUtime=0 cores=1,3,5,7 /proc/21842/task/21854/stat : 21854 (java) S 21840 21842 19222 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 22 0 830540925 10805694464 25740 33554432000 1073741824 1073778376 140734020339856 18446744073709551615 230820981657 0 4 0 16800975 18446604460655310016 0 0 -1 1 0 0 0 [pid=21842/tid=21855] ppid=21840 vsize=10552436 CPUtime=0 cores=1,3,5,7 /proc/21842/task/21855/stat : 21855 (java) S 21840 21842 19222 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 830540925 10805694464 25740 33554432000 1073741824 1073778376 140734020339856 18446744073709551615 230820981657 0 4 0 16800975 18446604460655310016 0 0 -1 1 0 0 0 [pid=21842/tid=21856] ppid=21840 vsize=10552436 CPUtime=0 cores=1,3,5,7 /proc/21842/task/21856/stat : 21856 (java) S 21840 21842 19222 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830540928 10805694464 25740 33554432000 1073741824 1073778376 140734020339856 18446744073709551615 230820989361 0 4 0 16800975 18446604460655310016 0 0 -1 1 0 0 0 [pid=21842/tid=21857] ppid=21840 vsize=10552436 CPUtime=0.55 cores=1,3,5,7 /proc/21842/task/21857/stat : 21857 (java) S 21840 21842 19222 0 -1 4202560 7254 0 0 0 55 0 0 0 19 0 22 0 830540928 10805694464 25740 33554432000 1073741824 1073778376 140734020339856 18446744073709551615 230820981657 0 4 0 16800975 18446604460655310016 0 0 -1 7 0 0 0 [pid=21842/tid=21858] ppid=21840 vsize=10552436 CPUtime=0.59 cores=1,3,5,7 /proc/21842/task/21858/stat : 21858 (java) S 21840 21842 19222 0 -1 4202560 2361 0 0 0 59 0 0 0 15 0 22 0 830540928 10805694464 25740 33554432000 1073741824 1073778376 140734020339856 18446744073709551615 230820981657 0 4 0 16800975 18446604460655310016 0 0 -1 5 0 0 0 [pid=21842/tid=21859] ppid=21840 vsize=10552436 CPUtime=0 cores=1,3,5,7 /proc/21842/task/21859/stat : 21859 (java) S 21840 21842 19222 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830540928 10805694464 25740 33554432000 1073741824 1073778376 140734020339856 18446744073709551615 230820981657 0 4 0 16800975 18446604460655310016 0 0 -1 1 0 0 0 [pid=21842/tid=21860] ppid=21840 vsize=10552436 CPUtime=0 cores=1,3,5,7 /proc/21842/task/21860/stat : 21860 (java) S 21840 21842 19222 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 830540928 10805694464 25740 33554432000 1073741824 1073778376 140734020339856 18446744073709551615 230820982272 0 4 0 16800975 18446604460655310016 0 0 -1 3 0 0 0 [pid=21842/tid=21864] ppid=21840 vsize=10552436 CPUtime=0 cores=1,3,5,7 /proc/21842/task/21864/stat : 21864 (java) S 21840 21842 19222 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 22 0 830540953 10805694464 25741 33554432000 1073741824 1073778376 140734020339856 18446744073709551615 230820982272 0 4 0 16800975 18446604460655310016 0 0 -1 3 0 0 0 [pid=21842/tid=21865] ppid=21840 vsize=10552436 CPUtime=0.66 cores=1,3,5,7 /proc/21842/task/21865/stat : 21865 (java) R 21840 21842 19222 0 -1 4202560 1124 0 0 0 66 0 0 0 18 0 22 0 830541005 10805694464 25742 33554432000 1073741824 1073778376 140734020339856 18446744073709551615 47600442448723 0 4 0 16800975 0 0 0 -1 1 0 0 0 [pid=21842/tid=21866] ppid=21840 vsize=10552436 CPUtime=0.64 cores=1,3,5,7 /proc/21842/task/21866/stat : 21866 (java) R 21840 21842 19222 0 -1 4202560 4184 0 0 0 64 0 0 0 19 0 22 0 830541005 10805694464 25742 33554432000 1073741824 1073778376 140734020339856 18446744073709551615 46912505916536 0 4 0 16800975 0 0 0 -1 3 0 0 0 [pid=21842/tid=21867] ppid=21840 vsize=10552436 CPUtime=0 cores=1,3,5,7 /proc/21842/task/21867/stat : 21867 (java) S 21840 21842 19222 0 -1 4202560 0 0 0 0 0 0 0 0 19 0 22 0 830541006 10805694464 25742 33554432000 1073741824 1073778376 140734020339856 18446744073709551615 230820982272 0 4 0 16800975 18446604460655310016 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 3.01 Current children cumulated vsize (KiB) 10552436 [startup+3.10079 s] /proc/loadavg: 3.42 3.42 2.97 7/416 21867 /proc/meminfo: memFree=22146392/32951124 swapFree=37148216/67111528 [pid=21842] ppid=21840 vsize=10552436 CPUtime=6.36 cores=1,3,5,7 /proc/21842/stat : 21842 (java) S 21840 21842 19222 0 -1 4202496 58102 0 1 0 628 8 0 0 25 0 22 0 830540922 10805694464 50561 33554432000 1073741824 1073778376 140734020339856 18446744073709551615 230820968421 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 /proc/21842/statm: 2638109 50561 2258 9 0 2628843 0 [pid=21842/tid=21843] ppid=21840 vsize=10552436 CPUtime=0.31 cores=1,3,5,7 /proc/21842/task/21843/stat : 21843 (java) S 21840 21842 19222 0 -1 4202560 15471 0 1 0 29 2 0 0 15 0 22 0 830540922 10805694464 50561 33554432000 1073741824 1073778376 140734020339856 18446744073709551615 230820982272 0 4 0 16800975 18446604460655310016 0 0 -1 7 0 0 0 [pid=21842/tid=21845] ppid=21840 vsize=10552436 CPUtime=0 cores=1,3,5,7 /proc/21842/task/21845/stat : 21845 (java) S 21840 21842 19222 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 830540924 10805694464 50561 33554432000 1073741824 1073778376 140734020339856 18446744073709551615 230820981657 0 4 0 16800975 18446604460655310016 0 0 -1 3 0 0 0 [pid=21842/tid=21846] ppid=21840 vsize=10552436 CPUtime=0 cores=1,3,5,7 /proc/21842/task/21846/stat : 21846 (java) S 21840 21842 19222 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 22 0 830540924 10805694464 50561 33554432000 1073741824 1073778376 140734020339856 18446744073709551615 230820981657 0 4 0 16800975 18446604460655310016 0 0 -1 7 0 0 0 [pid=21842/tid=21847] ppid=21840 vsize=10552436 CPUtime=0 cores=1,3,5,7 /proc/21842/task/21847/stat : 21847 (java) S 21840 21842 19222 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 830540924 10805694464 50561 33554432000 1073741824 1073778376 140734020339856 18446744073709551615 230820981657 0 4 0 16800975 18446604460655310016 0 0 -1 7 0 0 0 [pid=21842/tid=21848] ppid=21840 vsize=10552436 CPUtime=0 cores=1,3,5,7 /proc/21842/task/21848/stat : 21848 (java) S 21840 21842 19222 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 830540924 10805694464 50561 33554432000 1073741824 1073778376 140734020339856 18446744073709551615 230820981657 0 4 0 16800975 18446604460655310016 0 0 -1 3 0 0 0 [pid=21842/tid=21849] ppid=21840 vsize=10552436 CPUtime=0 cores=1,3,5,7 /proc/21842/task/21849/stat : 21849 (java) S 21840 21842 19222 0 -1 4202560 144 0 0 0 0 0 0 0 18 0 22 0 830540924 10805694464 50562 33554432000 1073741824 1073778376 140734020339856 18446744073709551615 230820981657 0 4 0 16800975 18446604460655310016 0 0 -1 3 0 0 0 [pid=21842/tid=21850] ppid=21840 vsize=10552436 CPUtime=0 cores=1,3,5,7 /proc/21842/task/21850/stat : 21850 (java) S 21840 21842 19222 0 -1 4202560 1031 0 0 0 0 0 0 0 18 0 22 0 830540924 10805694464 50562 33554432000 1073741824 1073778376 140734020339856 18446744073709551615 230820981657 0 4 0 16800975 18446604460655310016 0 0 -1 1 0 0 0 [pid=21842/tid=21851] ppid=21840 vsize=10552436 CPUtime=0 cores=1,3,5,7 /proc/21842/task/21851/stat : 21851 (java) S 21840 21842 19222 0 -1 4202560 1055 0 0 0 0 0 0 0 18 0 22 0 830540924 10805694464 50562 33554432000 1073741824 1073778376 140734020339856 18446744073709551615 230820981657 0 4 0 16800975 18446604460655310016 0 0 -1 1 0 0 0 [pid=21842/tid=21852] ppid=21840 vsize=10552436 CPUtime=0 cores=1,3,5,7 /proc/21842/task/21852/stat : 21852 (java) S 21840 21842 19222 0 -1 4202560 533 0 0 0 0 0 0 0 18 0 22 0 830540924 10805694464 50562 33554432000 1073741824 1073778376 140734020339856 18446744073709551615 230820981657 0 4 0 16800975 18446604460655310016 0 0 -1 3 0 0 0 [pid=21842/tid=21853] ppid=21840 vsize=10552436 CPUtime=0.02 cores=1,3,5,7 /proc/21842/task/21853/stat : 21853 (java) S 21840 21842 19222 0 -1 4202560 2682 0 0 0 2 0 0 0 15 0 22 0 830540925 10805694464 50562 33554432000 1073741824 1073778376 140734020339856 18446744073709551615 230820982272 0 0 0 16800975 18446604460655310016 0 0 -1 5 0 0 0 [pid=21842/tid=21854] ppid=21840 vsize=10552436 CPUtime=0 cores=1,3,5,7 /proc/21842/task/21854/stat : 21854 (java) S 21840 21842 19222 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 22 0 830540925 10805694464 50562 33554432000 1073741824 1073778376 140734020339856 18446744073709551615 230820981657 0 4 0 16800975 18446604460655310016 0 0 -1 1 0 0 0 [pid=21842/tid=21855] ppid=21840 vsize=10552436 CPUtime=0 cores=1,3,5,7 /proc/21842/task/21855/stat : 21855 (java) S 21840 21842 19222 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 22 0 830540925 10805694464 50562 33554432000 1073741824 1073778376 140734020339856 18446744073709551615 230820981657 0 4 0 16800975 18446604460655310016 0 0 -1 1 0 0 0 [pid=21842/tid=21856] ppid=21840 vsize=10552436 CPUtime=0 cores=1,3,5,7 /proc/21842/task/21856/stat : 21856 (java) S 21840 21842 19222 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830540928 10805694464 50562 33554432000 1073741824 1073778376 140734020339856 18446744073709551615 230820989361 0 4 0 16800975 18446604460655310016 0 0 -1 1 0 0 0 [pid=21842/tid=21857] ppid=21840 vsize=10552436 CPUtime=0.7 cores=1,3,5,7 /proc/21842/task/21857/stat : 21857 (java) S 21840 21842 19222 0 -1 4202560 8636 0 0 0 69 1 0 0 15 0 22 0 830540928 10805694464 50562 33554432000 1073741824 1073778376 140734020339856 18446744073709551615 230820981657 0 4 0 16800975 18446604460655310016 0 0 -1 5 0 0 0 [pid=21842/tid=21858] ppid=21840 vsize=10552436 CPUtime=0.62 cores=1,3,5,7 /proc/21842/task/21858/stat : 21858 (java) S 21840 21842 19222 0 -1 4202560 2369 0 0 0 62 0 0 0 16 0 22 0 830540928 10805694464 50562 33554432000 1073741824 1073778376 140734020339856 18446744073709551615 230820981657 0 4 0 16800975 18446604460655310016 0 0 -1 5 0 0 0 [pid=21842/tid=21859] ppid=21840 vsize=10552436 CPUtime=0 cores=1,3,5,7 /proc/21842/task/21859/stat : 21859 (java) S 21840 21842 19222 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830540928 10805694464 50562 33554432000 1073741824 1073778376 140734020339856 18446744073709551615 230820981657 0 4 0 16800975 18446604460655310016 0 0 -1 1 0 0 0 [pid=21842/tid=21860] ppid=21840 vsize=10552436 CPUtime=0 cores=1,3,5,7 /proc/21842/task/21860/stat : 21860 (java) S 21840 21842 19222 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 830540928 10805694464 50562 33554432000 1073741824 1073778376 140734020339856 18446744073709551615 230820982272 0 4 0 16800975 18446604460655310016 0 0 -1 3 0 0 0 [pid=21842/tid=21864] ppid=21840 vsize=10552436 CPUtime=0 cores=1,3,5,7 /proc/21842/task/21864/stat : 21864 (java) S 21840 21842 19222 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 22 0 830540953 10805694464 50562 33554432000 1073741824 1073778376 140734020339856 18446744073709551615 230820982272 0 4 0 16800975 18446604460655310016 0 0 -1 3 0 0 0 [pid=21842/tid=21865] ppid=21840 vsize=10552436 CPUtime=2.22 cores=1,3,5,7 /proc/21842/task/21865/stat : 21865 (java) R 21840 21842 19222 0 -1 4202560 4730 0 0 0 221 1 0 0 20 0 22 0 830541005 10805694464 50562 33554432000 1073741824 1073778376 140734020339856 18446744073709551615 46912506141131 0 4 0 16800975 0 0 0 -1 1 0 0 0 [pid=21842/tid=21866] ppid=21840 vsize=10552436 CPUtime=2.21 cores=1,3,5,7 /proc/21842/task/21866/stat : 21866 (java) R 21840 21842 19222 0 -1 4202560 19929 0 0 0 219 2 0 0 24 0 22 0 830541005 10805694464 50563 33554432000 1073741824 1073778376 140734020339856 18446744073709551615 46912505765719 0 4 0 16800975 0 0 0 -1 3 0 0 0 [pid=21842/tid=21867] ppid=21840 vsize=10552436 CPUtime=0 cores=1,3,5,7 /proc/21842/task/21867/stat : 21867 (java) S 21840 21842 19222 0 -1 4202560 0 0 0 0 0 0 0 0 19 0 22 0 830541006 10805694464 50563 33554432000 1073741824 1073778376 140734020339856 18446744073709551615 230820982272 0 4 0 16800975 18446604460655310016 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 6.36 Current children cumulated vsize (KiB) 10552436 [startup+6.30117 s] /proc/loadavg: 3.39 3.41 2.97 7/416 21870 /proc/meminfo: memFree=21994192/32951124 swapFree=37148216/67111528 [pid=21842] ppid=21840 vsize=10552436 CPUtime=12.8 cores=1,3,5,7 /proc/21842/stat : 21842 (java) S 21840 21842 19222 0 -1 4202496 91018 0 1 0 1267 13 0 0 25 0 22 0 830540922 10805694464 82924 33554432000 1073741824 1073778376 140734020339856 18446744073709551615 230820968421 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 /proc/21842/statm: 2638109 82924 2258 9 0 2628843 0 [pid=21842/tid=21843] ppid=21840 vsize=10552436 CPUtime=0.32 cores=1,3,5,7 /proc/21842/task/21843/stat : 21843 (java) S 21840 21842 19222 0 -1 4202560 15472 0 1 0 30 2 0 0 15 0 22 0 830540922 10805694464 82924 33554432000 1073741824 1073778376 140734020339856 18446744073709551615 230820982272 0 4 0 16800975 18446604460655310016 0 0 -1 7 0 0 0 [pid=21842/tid=21845] ppid=21840 vsize=10552436 CPUtime=0 cores=1,3,5,7 /proc/21842/task/21845/stat : 21845 (java) S 21840 21842 19222 0 -1 4202560 1304 0 0 0 0 0 0 0 18 0 22 0 830540924 10805694464 82924 33554432000 1073741824 1073778376 140734020339856 18446744073709551615 230820981657 0 4 0 16800975 18446604460655310016 0 0 -1 3 0 0 0 [pid=21842/tid=21846] ppid=21840 vsize=10552436 CPUtime=0.01 cores=1,3,5,7 /proc/21842/task/21846/stat : 21846 (java) S 21840 21842 19222 0 -1 4202560 1660 0 0 0 1 0 0 0 16 0 22 0 830540924 10805694464 82924 33554432000 1073741824 1073778376 140734020339856 18446744073709551615 230820981657 0 4 0 16800975 18446604460655310016 0 0 -1 7 0 0 0 [pid=21842/tid=21847] ppid=21840 vsize=10552436 CPUtime=0 cores=1,3,5,7 /proc/21842/task/21847/stat : 21847 (java) S 21840 21842 19222 0 -1 4202560 91 0 0 0 0 0 0 0 15 0 22 0 830540924 10805694464 82924 33554432000 1073741824 1073778376 140734020339856 18446744073709551615 230820981657 0 4 0 16800975 18446604460655310016 0 0 -1 7 0 0 0 [pid=21842/tid=21848] ppid=21840 vsize=10552436 CPUtime=0.01 cores=1,3,5,7 /proc/21842/task/21848/stat : 21848 (java) S 21840 21842 19222 0 -1 4202560 2520 0 0 0 1 0 0 0 18 0 22 0 830540924 10805694464 82924 33554432000 1073741824 1073778376 140734020339856 18446744073709551615 230820981657 0 4 0 16800975 18446604460655310016 0 0 -1 5 0 0 0 [pid=21842/tid=21849] ppid=21840 vsize=10552436 CPUtime=0 cores=1,3,5,7 /proc/21842/task/21849/stat : 21849 (java) S 21840 21842 19222 0 -1 4202560 144 0 0 0 0 0 0 0 15 0 22 0 830540924 10805694464 82924 33554432000 1073741824 1073778376 140734020339856 18446744073709551615 230820981657 0 4 0 16800975 18446604460655310016 0 0 -1 3 0 0 0 [pid=21842/tid=21850] ppid=21840 vsize=10552436 CPUtime=0.01 cores=1,3,5,7 /proc/21842/task/21850/stat : 21850 (java) S 21840 21842 19222 0 -1 4202560 1348 0 0 0 1 0 0 0 16 0 22 0 830540924 10805694464 82924 33554432000 1073741824 1073778376 140734020339856 18446744073709551615 230820981657 0 4 0 16800975 18446604460655310016 0 0 -1 5 0 0 0 [pid=21842/tid=21851] ppid=21840 vsize=10552436 CPUtime=0.01 cores=1,3,5,7 /proc/21842/task/21851/stat : 21851 (java) S 21840 21842 19222 0 -1 4202560 3356 0 0 0 1 0 0 0 15 0 22 0 830540924 10805694464 82924 33554432000 1073741824 1073778376 140734020339856 18446744073709551615 230820981657 0 4 0 16800975 18446604460655310016 0 0 -1 7 0 0 0 [pid=21842/tid=21852] ppid=21840 vsize=10552436 CPUtime=0 cores=1,3,5,7 /proc/21842/task/21852/stat : 21852 (java) S 21840 21842 19222 0 -1 4202560 715 0 0 0 0 0 0 0 16 0 22 0 830540924 10805694464 82924 33554432000 1073741824 1073778376 140734020339856 18446744073709551615 230820981657 0 4 0 16800975 18446604460655310016 0 0 -1 3 0 0 0 ################ # More data... # ################ [startup+882.301 s] /proc/loadavg: 3.55 3.65 3.39 5/416 21905 /proc/meminfo: memFree=19837108/32951124 swapFree=37148216/67111528 [pid=21842] ppid=21840 vsize=10550348 CPUtime=1606.05 cores=1,3,5,7 /proc/21842/stat : 21842 (java) S 21840 21842 19222 0 -1 4202496 568166 0 1 0 160539 66 0 0 25 0 22 0 830540922 10803556352 558282 33554432000 1073741824 1073778376 140734020339856 18446744073709551615 230820968421 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 /proc/21842/statm: 2637587 558282 2260 9 0 2628321 0 [pid=21842/tid=21843] ppid=21840 vsize=10550348 CPUtime=0.36 cores=1,3,5,7 /proc/21842/task/21843/stat : 21843 (java) S 21840 21842 19222 0 -1 4202560 15706 0 1 0 34 2 0 0 15 0 22 0 830540922 10803556352 558282 33554432000 1073741824 1073778376 140734020339856 18446744073709551615 230820982272 0 4 0 16800975 18446604460655310016 0 0 -1 7 0 0 0 [pid=21842/tid=21845] ppid=21840 vsize=10550348 CPUtime=1.24 cores=1,3,5,7 /proc/21842/task/21845/stat : 21845 (java) S 21840 21842 19222 0 -1 4202560 1354 0 0 0 124 0 0 0 16 0 22 0 830540924 10803556352 558282 33554432000 1073741824 1073778376 140734020339856 18446744073709551615 230820981657 0 4 0 16800975 18446604460655310016 0 0 -1 5 0 0 0 [pid=21842/tid=21846] ppid=21840 vsize=10550348 CPUtime=1.28 cores=1,3,5,7 /proc/21842/task/21846/stat : 21846 (java) S 21840 21842 19222 0 -1 4202560 1833 0 0 0 128 0 0 0 16 0 22 0 830540924 10803556352 558282 33554432000 1073741824 1073778376 140734020339856 18446744073709551615 230820981657 0 4 0 16800975 18446604460655310016 0 0 -1 1 0 0 0 [pid=21842/tid=21847] ppid=21840 vsize=10550348 CPUtime=1.39 cores=1,3,5,7 /proc/21842/task/21847/stat : 21847 (java) S 21840 21842 19222 0 -1 4202560 258 0 0 0 139 0 0 0 16 0 22 0 830540924 10803556352 558282 33554432000 1073741824 1073778376 140734020339856 18446744073709551615 230820981657 0 4 0 16800975 18446604460655310016 0 0 -1 5 0 0 0 [pid=21842/tid=21848] ppid=21840 vsize=10550348 CPUtime=1.37 cores=1,3,5,7 /proc/21842/task/21848/stat : 21848 (java) S 21840 21842 19222 0 -1 4202560 3106 0 0 0 137 0 0 0 15 0 22 0 830540924 10803556352 558282 33554432000 1073741824 1073778376 140734020339856 18446744073709551615 230820981657 0 4 0 16800975 18446604460655310016 0 0 -1 5 0 0 0 [pid=21842/tid=21849] ppid=21840 vsize=10550348 CPUtime=1.29 cores=1,3,5,7 /proc/21842/task/21849/stat : 21849 (java) S 21840 21842 19222 0 -1 4202560 381 0 0 0 129 0 0 0 15 0 22 0 830540924 10803556352 558282 33554432000 1073741824 1073778376 140734020339856 18446744073709551615 230820981657 0 4 0 16800975 18446604460655310016 0 0 -1 5 0 0 0 [pid=21842/tid=21850] ppid=21840 vsize=10550348 CPUtime=1.46 cores=1,3,5,7 /proc/21842/task/21850/stat : 21850 (java) S 21840 21842 19222 0 -1 4202560 2019 0 0 0 146 0 0 0 15 0 22 0 830540924 10803556352 558282 33554432000 1073741824 1073778376 140734020339856 18446744073709551615 230820981657 0 4 0 16800975 18446604460655310016 0 0 -1 5 0 0 0 [pid=21842/tid=21851] ppid=21840 vsize=10550348 CPUtime=1.4 cores=1,3,5,7 /proc/21842/task/21851/stat : 21851 (java) S 21840 21842 19222 0 -1 4202560 4048 0 0 0 140 0 0 0 15 0 22 0 830540924 10803556352 558282 33554432000 1073741824 1073778376 140734020339856 18446744073709551615 230820981657 0 4 0 16800975 18446604460655310016 0 0 -1 1 0 0 0 [pid=21842/tid=21852] ppid=21840 vsize=10550348 CPUtime=1.34 cores=1,3,5,7 /proc/21842/task/21852/stat : 21852 (java) S 21840 21842 19222 0 -1 4202560 1151 0 0 0 134 0 0 0 16 0 22 0 830540924 10803556352 558282 33554432000 1073741824 1073778376 140734020339856 18446744073709551615 230820981657 0 4 0 16800975 18446604460655310016 0 0 -1 7 0 0 0 [pid=21842/tid=21853] ppid=21840 vsize=10550348 CPUtime=160.51 cores=1,3,5,7 /proc/21842/task/21853/stat : 21853 (java) S 21840 21842 19222 0 -1 4202560 98443 0 0 0 16036 15 0 0 16 0 22 0 830540925 10803556352 558282 33554432000 1073741824 1073778376 140734020339856 18446744073709551615 230820982272 0 0 0 16800975 18446604460655310016 0 0 -1 3 0 0 0 [pid=21842/tid=21854] ppid=21840 vsize=10550348 CPUtime=0 cores=1,3,5,7 /proc/21842/task/21854/stat : 21854 (java) S 21840 21842 19222 0 -1 4202560 16 0 0 0 0 0 0 0 15 0 22 0 830540925 10803556352 558282 33554432000 1073741824 1073778376 140734020339856 18446744073709551615 230820981657 0 4 0 16800975 18446604460655310016 0 0 -1 7 0 0 0 [pid=21842/tid=21855] ppid=21840 vsize=10550348 CPUtime=0 cores=1,3,5,7 /proc/21842/task/21855/stat : 21855 (java) S 21840 21842 19222 0 -1 4202560 13 0 0 0 0 0 0 0 15 0 22 0 830540925 10803556352 558282 33554432000 1073741824 1073778376 140734020339856 18446744073709551615 230820981657 0 4 0 16800975 18446604460655310016 0 0 -1 7 0 0 0 [pid=21842/tid=21856] ppid=21840 vsize=10550348 CPUtime=0 cores=1,3,5,7 /proc/21842/task/21856/stat : 21856 (java) S 21840 21842 19222 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830540928 10803556352 558282 33554432000 1073741824 1073778376 140734020339856 18446744073709551615 230820989361 0 4 0 16800975 18446604460655310016 0 0 -1 1 0 0 0 [pid=21842/tid=21857] ppid=21840 vsize=10550348 CPUtime=1.11 cores=1,3,5,7 /proc/21842/task/21857/stat : 21857 (java) S 21840 21842 19222 0 -1 4202560 11296 0 0 0 110 1 0 0 15 0 22 0 830540928 10803556352 558282 33554432000 1073741824 1073778376 140734020339856 18446744073709551615 230820981657 0 4 0 16800975 18446604460655310016 0 0 -1 7 0 0 0 [pid=21842/tid=21858] ppid=21840 vsize=10550348 CPUtime=0.76 cores=1,3,5,7 /proc/21842/task/21858/stat : 21858 (java) S 21840 21842 19222 0 -1 4202560 2408 0 0 0 76 0 0 0 15 0 22 0 830540928 10803556352 558282 33554432000 1073741824 1073778376 140734020339856 18446744073709551615 230820981657 0 4 0 16800975 18446604460655310016 0 0 -1 3 0 0 0 [pid=21842/tid=21859] ppid=21840 vsize=10550348 CPUtime=0 cores=1,3,5,7 /proc/21842/task/21859/stat : 21859 (java) S 21840 21842 19222 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830540928 10803556352 558282 33554432000 1073741824 1073778376 140734020339856 18446744073709551615 230820981657 0 4 0 16800975 18446604460655310016 0 0 -1 1 0 0 0 [pid=21842/tid=21860] ppid=21840 vsize=10550348 CPUtime=0 cores=1,3,5,7 /proc/21842/task/21860/stat : 21860 (java) S 21840 21842 19222 0 -1 4202560 51 0 0 0 0 0 0 0 15 0 22 0 830540928 10803556352 558282 33554432000 1073741824 1073778376 140734020339856 18446744073709551615 230820982272 0 4 0 16800975 18446604460655310016 0 0 -1 1 0 0 0 [pid=21842/tid=21867] ppid=21840 vsize=10550348 CPUtime=0 cores=1,3,5,7 /proc/21842/task/21867/stat : 21867 (java) S 21840 21842 19222 0 -1 4202560 0 0 0 0 0 0 0 0 19 0 22 0 830541006 10803556352 558282 33554432000 1073741824 1073778376 140734020339856 18446744073709551615 230820982272 0 4 0 16800975 18446604460655310016 0 0 -1 7 0 0 0 [pid=21842/tid=21891] ppid=21840 vsize=10550348 CPUtime=362.35 cores=1,3,5,7 /proc/21842/task/21891/stat : 21891 (java) R 21840 21842 19222 0 -1 4202560 126 0 0 0 36235 0 0 0 19 0 22 0 830581743 10803556352 558282 33554432000 1073741824 1073778376 140734020339856 18446744073709551615 46912505960619 0 4 0 16800975 0 0 0 -1 5 0 0 0 [pid=21842/tid=21892] ppid=21840 vsize=10550348 CPUtime=362.36 cores=1,3,5,7 /proc/21842/task/21892/stat : 21892 (java) R 21840 21842 19222 0 -1 4202560 24352 0 0 0 36235 1 0 0 19 0 22 0 830581743 10803556352 558282 33554432000 1073741824 1073778376 140734020339856 18446744073709551615 46912505820030 0 4 0 16800975 0 0 0 -1 1 0 0 0 [pid=21842/tid=21893] ppid=21840 vsize=10550348 CPUtime=0 cores=1,3,5,7 /proc/21842/task/21893/stat : 21893 (java) S 21840 21842 19222 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 22 0 830581743 10803556352 558282 33554432000 1073741824 1073778376 140734020339856 18446744073709551615 230820982272 0 4 0 16800975 18446604460655310016 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 1606.05 Current children cumulated vsize (KiB) 10550348 [startup+942.301 s] /proc/loadavg: 3.63 3.65 3.40 5/416 21907 /proc/meminfo: memFree=19823560/32951124 swapFree=37148216/67111528 [pid=21842] ppid=21840 vsize=10550348 CPUtime=1711.51 cores=1,3,5,7 /proc/21842/stat : 21842 (java) S 21840 21842 19222 0 -1 4202496 570433 0 1 0 171084 67 0 0 25 0 22 0 830540922 10803556352 560522 33554432000 1073741824 1073778376 140734020339856 18446744073709551615 230820968421 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 /proc/21842/statm: 2637587 560522 2260 9 0 2628321 0 [pid=21842/tid=21843] ppid=21840 vsize=10550348 CPUtime=0.36 cores=1,3,5,7 /proc/21842/task/21843/stat : 21843 (java) S 21840 21842 19222 0 -1 4202560 15721 0 1 0 34 2 0 0 15 0 22 0 830540922 10803556352 560522 33554432000 1073741824 1073778376 140734020339856 18446744073709551615 230820982272 0 4 0 16800975 18446604460655310016 0 0 -1 5 0 0 0 [pid=21842/tid=21845] ppid=21840 vsize=10550348 CPUtime=1.34 cores=1,3,5,7 /proc/21842/task/21845/stat : 21845 (java) S 21840 21842 19222 0 -1 4202560 1354 0 0 0 134 0 0 0 16 0 22 0 830540924 10803556352 560522 33554432000 1073741824 1073778376 140734020339856 18446744073709551615 230820981657 0 4 0 16800975 18446604460655310016 0 0 -1 5 0 0 0 [pid=21842/tid=21846] ppid=21840 vsize=10550348 CPUtime=1.39 cores=1,3,5,7 /proc/21842/task/21846/stat : 21846 (java) S 21840 21842 19222 0 -1 4202560 1839 0 0 0 139 0 0 0 16 0 22 0 830540924 10803556352 560522 33554432000 1073741824 1073778376 140734020339856 18446744073709551615 230820981657 0 4 0 16800975 18446604460655310016 0 0 -1 1 0 0 0 [pid=21842/tid=21847] ppid=21840 vsize=10550348 CPUtime=1.53 cores=1,3,5,7 /proc/21842/task/21847/stat : 21847 (java) S 21840 21842 19222 0 -1 4202560 262 0 0 0 153 0 0 0 16 0 22 0 830540924 10803556352 560522 33554432000 1073741824 1073778376 140734020339856 18446744073709551615 230820981657 0 4 0 16800975 18446604460655310016 0 0 -1 3 0 0 0 [pid=21842/tid=21848] ppid=21840 vsize=10550348 CPUtime=1.44 cores=1,3,5,7 /proc/21842/task/21848/stat : 21848 (java) S 21840 21842 19222 0 -1 4202560 3106 0 0 0 144 0 0 0 16 0 22 0 830540924 10803556352 560522 33554432000 1073741824 1073778376 140734020339856 18446744073709551615 230820981657 0 4 0 16800975 18446604460655310016 0 0 -1 5 0 0 0 [pid=21842/tid=21849] ppid=21840 vsize=10550348 CPUtime=1.39 cores=1,3,5,7 /proc/21842/task/21849/stat : 21849 (java) S 21840 21842 19222 0 -1 4202560 381 0 0 0 139 0 0 0 15 0 22 0 830540924 10803556352 560522 33554432000 1073741824 1073778376 140734020339856 18446744073709551615 230820981657 0 4 0 16800975 18446604460655310016 0 0 -1 1 0 0 0 [pid=21842/tid=21850] ppid=21840 vsize=10550348 CPUtime=1.58 cores=1,3,5,7 /proc/21842/task/21850/stat : 21850 (java) S 21840 21842 19222 0 -1 4202560 2019 0 0 0 158 0 0 0 16 0 22 0 830540924 10803556352 560522 33554432000 1073741824 1073778376 140734020339856 18446744073709551615 230820981657 0 4 0 16800975 18446604460655310016 0 0 -1 3 0 0 0 [pid=21842/tid=21851] ppid=21840 vsize=10550348 CPUtime=1.54 cores=1,3,5,7 /proc/21842/task/21851/stat : 21851 (java) S 21840 21842 19222 0 -1 4202560 4048 0 0 0 153 1 0 0 15 0 22 0 830540924 10803556352 560522 33554432000 1073741824 1073778376 140734020339856 18446744073709551615 230820981657 0 4 0 16800975 18446604460655310016 0 0 -1 1 0 0 0 [pid=21842/tid=21852] ppid=21840 vsize=10550348 CPUtime=1.45 cores=1,3,5,7 /proc/21842/task/21852/stat : 21852 (java) S 21840 21842 19222 0 -1 4202560 1154 0 0 0 145 0 0 0 16 0 22 0 830540924 10803556352 560522 33554432000 1073741824 1073778376 140734020339856 18446744073709551615 230820981657 0 4 0 16800975 18446604460655310016 0 0 -1 5 0 0 0 [pid=21842/tid=21853] ppid=21840 vsize=10550348 CPUtime=175.43 cores=1,3,5,7 /proc/21842/task/21853/stat : 21853 (java) S 21840 21842 19222 0 -1 4202560 100674 0 0 0 17528 15 0 0 15 0 22 0 830540925 10803556352 560522 33554432000 1073741824 1073778376 140734020339856 18446744073709551615 230820982272 0 0 0 16800975 18446604460655310016 0 0 -1 7 0 0 0 [pid=21842/tid=21854] ppid=21840 vsize=10550348 CPUtime=0 cores=1,3,5,7 /proc/21842/task/21854/stat : 21854 (java) S 21840 21842 19222 0 -1 4202560 16 0 0 0 0 0 0 0 15 0 22 0 830540925 10803556352 560522 33554432000 1073741824 1073778376 140734020339856 18446744073709551615 230820981657 0 4 0 16800975 18446604460655310016 0 0 -1 7 0 0 0 [pid=21842/tid=21855] ppid=21840 vsize=10550348 CPUtime=0 cores=1,3,5,7 /proc/21842/task/21855/stat : 21855 (java) S 21840 21842 19222 0 -1 4202560 13 0 0 0 0 0 0 0 15 0 22 0 830540925 10803556352 560522 33554432000 1073741824 1073778376 140734020339856 18446744073709551615 230820981657 0 4 0 16800975 18446604460655310016 0 0 -1 7 0 0 0 [pid=21842/tid=21856] ppid=21840 vsize=10550348 CPUtime=0 cores=1,3,5,7 /proc/21842/task/21856/stat : 21856 (java) S 21840 21842 19222 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830540928 10803556352 560522 33554432000 1073741824 1073778376 140734020339856 18446744073709551615 230820989361 0 4 0 16800975 18446604460655310016 0 0 -1 1 0 0 0 [pid=21842/tid=21857] ppid=21840 vsize=10550348 CPUtime=1.11 cores=1,3,5,7 /proc/21842/task/21857/stat : 21857 (java) S 21840 21842 19222 0 -1 4202560 11296 0 0 0 110 1 0 0 15 0 22 0 830540928 10803556352 560522 33554432000 1073741824 1073778376 140734020339856 18446744073709551615 230820981657 0 4 0 16800975 18446604460655310016 0 0 -1 7 0 0 0 [pid=21842/tid=21858] ppid=21840 vsize=10550348 CPUtime=0.76 cores=1,3,5,7 /proc/21842/task/21858/stat : 21858 (java) S 21840 21842 19222 0 -1 4202560 2408 0 0 0 76 0 0 0 15 0 22 0 830540928 10803556352 560522 33554432000 1073741824 1073778376 140734020339856 18446744073709551615 230820981657 0 4 0 16800975 18446604460655310016 0 0 -1 3 0 0 0 [pid=21842/tid=21859] ppid=21840 vsize=10550348 CPUtime=0 cores=1,3,5,7 /proc/21842/task/21859/stat : 21859 (java) S 21840 21842 19222 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830540928 10803556352 560522 33554432000 1073741824 1073778376 140734020339856 18446744073709551615 230820981657 0 4 0 16800975 18446604460655310016 0 0 -1 1 0 0 0 [pid=21842/tid=21860] ppid=21840 vsize=10550348 CPUtime=0 cores=1,3,5,7 /proc/21842/task/21860/stat : 21860 (java) S 21840 21842 19222 0 -1 4202560 55 0 0 0 0 0 0 0 15 0 22 0 830540928 10803556352 560522 33554432000 1073741824 1073778376 140734020339856 18446744073709551615 230820982272 0 4 0 16800975 18446604460655310016 0 0 -1 5 0 0 0 [pid=21842/tid=21867] ppid=21840 vsize=10550348 CPUtime=0 cores=1,3,5,7 /proc/21842/task/21867/stat : 21867 (java) S 21840 21842 19222 0 -1 4202560 0 0 0 0 0 0 0 0 19 0 22 0 830541006 10803556352 560522 33554432000 1073741824 1073778376 140734020339856 18446744073709551615 230820982272 0 4 0 16800975 18446604460655310016 0 0 -1 7 0 0 0 [pid=21842/tid=21891] ppid=21840 vsize=10550348 CPUtime=407.18 cores=1,3,5,7 /proc/21842/task/21891/stat : 21891 (java) R 21840 21842 19222 0 -1 4202560 130 0 0 0 40718 0 0 0 17 0 22 0 830581743 10803556352 560522 33554432000 1073741824 1073778376 140734020339856 18446744073709551615 46912505892570 0 4 0 16800975 0 0 0 -1 3 0 0 0 [pid=21842/tid=21892] ppid=21840 vsize=10550348 CPUtime=407.19 cores=1,3,5,7 /proc/21842/task/21892/stat : 21892 (java) R 21840 21842 19222 0 -1 4202560 24352 0 0 0 40718 1 0 0 17 0 22 0 830581743 10803556352 560522 33554432000 1073741824 1073778376 140734020339856 18446744073709551615 46912505915261 0 4 0 16800975 0 0 0 -1 1 0 0 0 [pid=21842/tid=21893] ppid=21840 vsize=10550348 CPUtime=0 cores=1,3,5,7 /proc/21842/task/21893/stat : 21893 (java) S 21840 21842 19222 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 22 0 830581743 10803556352 560522 33554432000 1073741824 1073778376 140734020339856 18446744073709551615 230820982272 0 4 0 16800975 18446604460655310016 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 1711.51 Current children cumulated vsize (KiB) 10550348 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+993.101 s] /proc/loadavg: 3.68 3.65 3.41 5/416 21959 /proc/meminfo: memFree=17304960/32951124 swapFree=37148216/67111528 [pid=21842] ppid=21840 vsize=10550348 CPUtime=1800.21 cores=1,3,5,7 /proc/21842/stat : 21842 (java) S 21840 21842 19222 0 -1 4202496 574924 0 1 0 179954 67 0 0 25 0 22 0 830540922 10803556352 564993 33554432000 1073741824 1073778376 140734020339856 18446744073709551615 230820968421 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 /proc/21842/statm: 2637587 564993 2260 9 0 2628321 0 [pid=21842/tid=21843] ppid=21840 vsize=10550348 CPUtime=0.36 cores=1,3,5,7 /proc/21842/task/21843/stat : 21843 (java) S 21840 21842 19222 0 -1 4202560 15737 0 1 0 34 2 0 0 15 0 22 0 830540922 10803556352 564993 33554432000 1073741824 1073778376 140734020339856 18446744073709551615 230820982272 0 4 0 16800975 18446604460655310016 0 0 -1 7 0 0 0 [pid=21842/tid=21845] ppid=21840 vsize=10550348 CPUtime=1.43 cores=1,3,5,7 /proc/21842/task/21845/stat : 21845 (java) S 21840 21842 19222 0 -1 4202560 1354 0 0 0 143 0 0 0 16 0 22 0 830540924 10803556352 564993 33554432000 1073741824 1073778376 140734020339856 18446744073709551615 230820981657 0 4 0 16800975 18446604460655310016 0 0 -1 3 0 0 0 [pid=21842/tid=21846] ppid=21840 vsize=10550348 CPUtime=1.49 cores=1,3,5,7 /proc/21842/task/21846/stat : 21846 (java) S 21840 21842 19222 0 -1 4202560 1841 0 0 0 149 0 0 0 15 0 22 0 830540924 10803556352 564993 33554432000 1073741824 1073778376 140734020339856 18446744073709551615 230820981657 0 4 0 16800975 18446604460655310016 0 0 -1 3 0 0 0 [pid=21842/tid=21847] ppid=21840 vsize=10550348 CPUtime=1.59 cores=1,3,5,7 /proc/21842/task/21847/stat : 21847 (java) S 21840 21842 19222 0 -1 4202560 262 0 0 0 159 0 0 0 15 0 22 0 830540924 10803556352 564993 33554432000 1073741824 1073778376 140734020339856 18446744073709551615 230820981657 0 4 0 16800975 18446604460655310016 0 0 -1 1 0 0 0 [pid=21842/tid=21848] ppid=21840 vsize=10550348 CPUtime=1.56 cores=1,3,5,7 /proc/21842/task/21848/stat : 21848 (java) S 21840 21842 19222 0 -1 4202560 3111 0 0 0 156 0 0 0 15 0 22 0 830540924 10803556352 564993 33554432000 1073741824 1073778376 140734020339856 18446744073709551615 230820981657 0 4 0 16800975 18446604460655310016 0 0 -1 7 0 0 0 [pid=21842/tid=21849] ppid=21840 vsize=10550348 CPUtime=1.49 cores=1,3,5,7 /proc/21842/task/21849/stat : 21849 (java) S 21840 21842 19222 0 -1 4202560 381 0 0 0 149 0 0 0 16 0 22 0 830540924 10803556352 564993 33554432000 1073741824 1073778376 140734020339856 18446744073709551615 230820981657 0 4 0 16800975 18446604460655310016 0 0 -1 1 0 0 0 [pid=21842/tid=21850] ppid=21840 vsize=10550348 CPUtime=1.67 cores=1,3,5,7 /proc/21842/task/21850/stat : 21850 (java) S 21840 21842 19222 0 -1 4202560 2020 0 0 0 167 0 0 0 15 0 22 0 830540924 10803556352 564993 33554432000 1073741824 1073778376 140734020339856 18446744073709551615 230820981657 0 4 0 16800975 18446604460655310016 0 0 -1 3 0 0 0 [pid=21842/tid=21851] ppid=21840 vsize=10550348 CPUtime=1.61 cores=1,3,5,7 /proc/21842/task/21851/stat : 21851 (java) S 21840 21842 19222 0 -1 4202560 4048 0 0 0 160 1 0 0 15 0 22 0 830540924 10803556352 564993 33554432000 1073741824 1073778376 140734020339856 18446744073709551615 230820981657 0 4 0 16800975 18446604460655310016 0 0 -1 1 0 0 0 [pid=21842/tid=21852] ppid=21840 vsize=10550348 CPUtime=1.52 cores=1,3,5,7 /proc/21842/task/21852/stat : 21852 (java) S 21840 21842 19222 0 -1 4202560 1156 0 0 0 152 0 0 0 16 0 22 0 830540924 10803556352 564993 33554432000 1073741824 1073778376 140734020339856 18446744073709551615 230820981657 0 4 0 16800975 18446604460655310016 0 0 -1 7 0 0 0 [pid=21842/tid=21853] ppid=21840 vsize=10550348 CPUtime=188.61 cores=1,3,5,7 /proc/21842/task/21853/stat : 21853 (java) S 21840 21842 19222 0 -1 4202560 105137 0 0 0 18846 15 0 0 15 0 22 0 830540925 10803556352 564993 33554432000 1073741824 1073778376 140734020339856 18446744073709551615 230820982272 0 0 0 16800975 18446604460655310016 0 0 -1 5 0 0 0 [pid=21842/tid=21854] ppid=21840 vsize=10550348 CPUtime=0 cores=1,3,5,7 /proc/21842/task/21854/stat : 21854 (java) S 21840 21842 19222 0 -1 4202560 16 0 0 0 0 0 0 0 15 0 22 0 830540925 10803556352 564993 33554432000 1073741824 1073778376 140734020339856 18446744073709551615 230820981657 0 4 0 16800975 18446604460655310016 0 0 -1 7 0 0 0 [pid=21842/tid=21855] ppid=21840 vsize=10550348 CPUtime=0 cores=1,3,5,7 /proc/21842/task/21855/stat : 21855 (java) S 21840 21842 19222 0 -1 4202560 13 0 0 0 0 0 0 0 15 0 22 0 830540925 10803556352 564993 33554432000 1073741824 1073778376 140734020339856 18446744073709551615 230820981657 0 4 0 16800975 18446604460655310016 0 0 -1 7 0 0 0 [pid=21842/tid=21856] ppid=21840 vsize=10550348 CPUtime=0 cores=1,3,5,7 /proc/21842/task/21856/stat : 21856 (java) S 21840 21842 19222 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830540928 10803556352 564993 33554432000 1073741824 1073778376 140734020339856 18446744073709551615 230820989361 0 4 0 16800975 18446604460655310016 0 0 -1 1 0 0 0 [pid=21842/tid=21857] ppid=21840 vsize=10550348 CPUtime=1.11 cores=1,3,5,7 /proc/21842/task/21857/stat : 21857 (java) S 21840 21842 19222 0 -1 4202560 11296 0 0 0 110 1 0 0 15 0 22 0 830540928 10803556352 564993 33554432000 1073741824 1073778376 140734020339856 18446744073709551615 230820981657 0 4 0 16800975 18446604460655310016 0 0 -1 7 0 0 0 [pid=21842/tid=21858] ppid=21840 vsize=10550348 CPUtime=0.76 cores=1,3,5,7 /proc/21842/task/21858/stat : 21858 (java) S 21840 21842 19222 0 -1 4202560 2408 0 0 0 76 0 0 0 15 0 22 0 830540928 10803556352 564993 33554432000 1073741824 1073778376 140734020339856 18446744073709551615 230820981657 0 4 0 16800975 18446604460655310016 0 0 -1 3 0 0 0 [pid=21842/tid=21859] ppid=21840 vsize=10550348 CPUtime=0 cores=1,3,5,7 /proc/21842/task/21859/stat : 21859 (java) S 21840 21842 19222 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830540928 10803556352 564993 33554432000 1073741824 1073778376 140734020339856 18446744073709551615 230820981657 0 4 0 16800975 18446604460655310016 0 0 -1 1 0 0 0 [pid=21842/tid=21860] ppid=21840 vsize=10550348 CPUtime=0 cores=1,3,5,7 /proc/21842/task/21860/stat : 21860 (java) S 21840 21842 19222 0 -1 4202560 57 0 0 0 0 0 0 0 15 0 22 0 830540928 10803556352 564993 33554432000 1073741824 1073778376 140734020339856 18446744073709551615 230820982272 0 4 0 16800975 18446604460655310016 0 0 -1 7 0 0 0 [pid=21842/tid=21867] ppid=21840 vsize=10550348 CPUtime=0 cores=1,3,5,7 /proc/21842/task/21867/stat : 21867 (java) S 21840 21842 19222 0 -1 4202560 0 0 0 0 0 0 0 0 19 0 22 0 830541006 10803556352 564993 33554432000 1073741824 1073778376 140734020339856 18446744073709551615 230820982272 0 4 0 16800975 18446604460655310016 0 0 -1 7 0 0 0 [pid=21842/tid=21891] ppid=21840 vsize=10550348 CPUtime=444.59 cores=1,3,5,7 /proc/21842/task/21891/stat : 21891 (java) R 21840 21842 19222 0 -1 4202560 130 0 0 0 44459 0 0 0 17 0 22 0 830581743 10803556352 564993 33554432000 1073741824 1073778376 140734020339856 18446744073709551615 46912505568992 0 4 0 16800975 0 0 0 -1 3 0 0 0 [pid=21842/tid=21892] ppid=21840 vsize=10550348 CPUtime=444.61 cores=1,3,5,7 /proc/21842/task/21892/stat : 21892 (java) R 21840 21842 19222 0 -1 4202560 24352 0 0 0 44460 1 0 0 17 0 22 0 830581743 10803556352 564993 33554432000 1073741824 1073778376 140734020339856 18446744073709551615 46912505566695 0 4 0 16800975 0 0 0 -1 1 0 0 0 [pid=21842/tid=21893] ppid=21840 vsize=10550348 CPUtime=0 cores=1,3,5,7 /proc/21842/task/21893/stat : 21893 (java) S 21840 21842 19222 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 22 0 830581743 10803556352 564993 33554432000 1073741824 1073778376 140734020339856 18446744073709551615 230820982272 0 4 0 16800975 18446604460655310016 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 1800.21 Current children cumulated vsize (KiB) 10550348 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+993.221 s] /proc/loadavg: 3.68 3.65 3.41 4/397 21962 /proc/meminfo: memFree=19369312/32951124 swapFree=37148216/67111528 [pid=21842] ppid=21840 vsize=0 CPUtime=1800.39 cores=1,3,5,7 /proc/21842/stat : 21842 (java) Z 21840 21842 19222 0 -1 4203548 574954 0 1 0 179964 75 0 0 17 0 1 0 830540922 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 /proc/21842/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.39 Current children cumulated vsize (KiB) 0 Child status: 143 Real time (s): 993.235 CPU time (s): 1800.41 CPU user time (s): 1799.65 CPU system time (s): 0.758884 CPU usage (%): 181.267 Max. virtual memory (cumulated for all children) (KiB): 10552436 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.65 system time used= 0.758884 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 574954 page faults= 1 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 33154 involuntary context switches= 16473 runsolver used 3.66044 second user time and 8.71268 second system time The end
Begin job on node104 at 2011-06-04 14:10:05 IDJOB=3455172 IDBENCH=2234 IDSOLVER=1950 FILE ID=node104/3455172-1307189405 RUNJOBID= node104-1307188383-21490 PBS_JOBID= 13508864 Free space on /tmp= 73956 MiB SOLVER NAME= Sat4j Res//CP 2.3.0 BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/web/www.ps.uni-sb.de/~walser/benchmarks/course-ass/normalized-ss97-4.opb COMMAND LINE= java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3455172-1307189405/watcher-3455172-1307189405 -o /tmp/evaluation-result-3455172-1307189405/solver-3455172-1307189405 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3455172-1307189405.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 4e682317a6045f4869b1783c80734344 RANDOM SEED=394867159 node104.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /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.855 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5333.71 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] 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.855 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.83 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] 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.855 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.67 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] 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.855 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.80 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] 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.855 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5293.18 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] 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.855 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.83 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] 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.855 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] 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.855 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 22278156 kB Buffers: 420476 kB Cached: 7645652 kB SwapCached: 163904 kB Active: 4264292 kB Inactive: 6070072 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 22278156 kB SwapTotal: 67111528 kB SwapFree: 37148216 kB Dirty: 888 kB Writeback: 0 kB AnonPages: 2127472 kB Mapped: 19280 kB Slab: 182840 kB PageTables: 90268 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 98085556 kB VmallocTotal: 34359738367 kB VmallocUsed: 296008 kB VmallocChunk: 34359440975 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 73952 MiB End job on node104 at 2011-06-04 14:26:40