Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| Sat4j PB 2.3.6 Res+CP PB16 | SAT (TO) | -98 | 1800.54 | 916.457 |
| Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/bsg/normalized-bsg_500_10_3.opb |
| MD5SUM | 68d7f052f18638860d9232a7f3ed2053 |
| Bench Category | OPT-SMALLINT-NLC (optimisation, small integers, non linear constraints) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | -112 |
| Best CPU time to get the best result obtained on this benchmark | 1800.02 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | -139 |
| Optimality of the best value was proved | NO |
| Number of variables | 1000 |
| Total number of constraints | 1501 |
| Number of constraints which are clauses | 500 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 1001 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 1000 |
| Number of terms in the objective function | 500 |
| Biggest coefficient in the objective function | 1 |
| Number of bits for the biggest coefficient in the objective function | 1 |
| Sum of the numbers in the objective function | 500 |
| Number of bits of the sum of numbers in the objective function | 9 |
| Biggest number in a constraint | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 1000 |
| Number of bits of the biggest sum of numbers | 10 |
| Number of products (including duplicates) | 12632 |
| Sum of products size (including duplicates) | 25264 |
| Number of different products | 6316 |
| Sum of products size | 12632 |
0.00/0.09 c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS 0.00/0.09 c This is free software under the dual EPL/GNU LGPL licenses. 0.00/0.09 c See www.sat4j.org for details. 0.00/0.09 c version PB16.v20160501 0.00/0.09 c java.runtime.name Java(TM) SE Runtime Environment 0.00/0.09 c java.vm.name Java HotSpot(TM) 64-Bit Server VM 0.00/0.09 c java.vm.version 19.1-b02 0.00/0.09 c java.vm.vendor Sun Microsystems Inc. 0.00/0.09 c sun.arch.data.model 64 0.00/0.09 c java.version 1.6.0_24 0.00/0.09 c os.name Linux 0.00/0.09 c os.version 2.6.32-71.29.1.el6.x86_64 0.00/0.09 c os.arch amd64 0.00/0.09 c Free memory 501472288 0.00/0.09 c Max memory 7480803328 0.00/0.09 c Total memory 504102912 0.00/0.09 c Number of processors 8 0.09/0.12 c Pseudo Boolean Optimization by upper bound 0.09/0.12 c ManyCore solver with 2 solvers running in parallel 0.09/0.12 c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<< 0.09/0.12 c --- Begin Solver configuration --- 0.09/0.12 c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@16fd0b7 0.09/0.12 c Learn all clauses as in MiniSAT 0.09/0.12 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.09/0.12 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.09/0.12 c Expensive reason simplification 0.09/0.12 c Glucose 2.1 dynamic restart strategy 0.09/0.12 c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000 0.09/0.12 c timeout=2147483s 0.09/0.12 c DB Simplification allowed=false 0.09/0.12 c Listener: org.sat4j.pb.tools.ManyCorePB@4413ee 0.09/0.12 c --- End Solver configuration --- 0.09/0.12 c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<< 0.09/0.12 c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP) 0.09/0.12 c --- Begin Solver configuration --- 0.09/0.12 c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@75786e64 0.09/0.12 c Learn all clauses as in MiniSAT 0.09/0.12 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.09/0.12 c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function 0.09/0.12 c No reason simplification 0.09/0.12 c Armin Biere (Picosat) restarts strategy 0.09/0.12 c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000 0.09/0.12 c timeout=2147483s 0.09/0.12 c DB Simplification allowed=false 0.09/0.12 c Listener: org.sat4j.pb.tools.ManyCorePB@4413ee 0.09/0.12 c --- End Solver configuration --- 0.09/0.12 c solving HOME/instance-4081730-1465257402.opb 0.09/0.12 c reading problem ... 0.09/0.12 c objective function found 1.60/0.73 c ... done. Wall clock time 0.612s. 1.60/0.73 c declared #vars 1000 1.60/0.73 c internal #vars 7316 1.60/0.73 c #constraints 14134 1.60/0.73 c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<< 1.60/0.73 c constraints type 1.60/0.73 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 6316 1.60/0.73 c org.sat4j.minisat.constraints.card.MinWatchCard => 1002 1.60/0.73 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 500 1.60/0.73 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 6316 1.60/0.73 c 14134 constraints processed. 1.60/0.73 c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<< 1.60/0.73 c constraints type 1.60/0.73 c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 500 1.60/0.73 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 6316 1.60/0.73 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 1002 1.60/0.73 c org.sat4j.pb.constraints.pb.MaxWatchPb => 6316 1.60/0.73 c 14134 constraints processed. 1.60/0.73 c objective function length is 500 literals 4.32/1.48 c And the winner is solver1 4.81/1.74 c SATISFIABLE 4.81/1.74 c OPTIMIZING... 4.81/1.74 c Got one! Elapsed wall clock time (in seconds):1.617 4.81/1.74 o -12 5.02/1.84 c And the winner is solver1 5.13/2.24 c Got one! Elapsed wall clock time (in seconds):2.12 5.13/2.24 o -13 5.13/2.29 c And the winner is solver1 5.33/2.74 c Got one! Elapsed wall clock time (in seconds):2.622 5.33/2.74 o -14 5.33/2.79 c And the winner is solver1 5.47/3.24 c Got one! Elapsed wall clock time (in seconds):3.124 5.47/3.24 o -15 5.67/3.32 c And the winner is solver1 5.73/3.75 c Got one! Elapsed wall clock time (in seconds):3.626 5.73/3.75 o -16 5.73/3.78 c And the winner is solver1 5.81/4.25 c Got one! Elapsed wall clock time (in seconds):4.128 5.81/4.25 o -19 5.91/4.32 c And the winner is solver1 6.01/4.75 c Got one! Elapsed wall clock time (in seconds):4.629 6.01/4.75 o -20 6.01/4.79 c And the winner is solver1 6.12/5.25 c Got one! Elapsed wall clock time (in seconds):5.13 6.12/5.25 o -21 6.12/5.29 c And the winner is solver1 6.20/5.75 c Got one! Elapsed wall clock time (in seconds):5.631 6.20/5.75 o -22 6.31/5.83 c And the winner is solver1 6.40/6.25 c Got one! Elapsed wall clock time (in seconds):6.133 6.40/6.25 o -23 6.52/6.31 c And the winner is solver1 6.61/6.75 c Got one! Elapsed wall clock time (in seconds):6.634 6.61/6.75 o -24 6.70/6.81 c And the winner is solver1 6.74/7.25 c Got one! Elapsed wall clock time (in seconds):7.135 6.74/7.25 o -25 6.82/7.30 c And the winner is solver1 6.84/7.75 c Got one! Elapsed wall clock time (in seconds):7.636 6.84/7.75 o -26 6.84/7.79 c And the winner is solver1 6.92/8.26 c Got one! Elapsed wall clock time (in seconds):8.137 6.92/8.26 o -27 7.00/8.32 c And the winner is solver1 7.04/8.76 c Got one! Elapsed wall clock time (in seconds):8.638 7.04/8.76 o -33 7.14/8.81 c And the winner is solver1 7.16/9.26 c Got one! Elapsed wall clock time (in seconds):9.139 7.16/9.26 o -34 7.22/9.33 c And the winner is solver1 7.30/9.76 c Got one! Elapsed wall clock time (in seconds):9.64 7.30/9.76 o -37 7.36/9.81 c And the winner is solver1 7.40/10.26 c Got one! Elapsed wall clock time (in seconds):10.141 7.40/10.26 o -43 7.47/10.32 c And the winner is solver1 7.52/10.76 c Got one! Elapsed wall clock time (in seconds):10.642 7.52/10.76 o -44 7.63/10.89 c And the winner is solver1 7.89/11.26 c Got one! Elapsed wall clock time (in seconds):11.143 7.89/11.26 o -45 7.96/11.33 c And the winner is solver1 8.03/11.76 c Got one! Elapsed wall clock time (in seconds):11.644 8.03/11.76 o -46 8.10/11.85 c And the winner is solver1 8.22/12.26 c Got one! Elapsed wall clock time (in seconds):12.145 8.22/12.26 o -47 8.28/12.34 c And the winner is solver1 8.38/12.76 c Got one! Elapsed wall clock time (in seconds):12.645 8.38/12.76 o -48 8.38/12.80 c And the winner is solver1 8.46/13.27 c Got one! Elapsed wall clock time (in seconds):13.146 8.46/13.27 o -50 8.54/13.31 c And the winner is solver1 8.56/13.77 c Got one! Elapsed wall clock time (in seconds):13.647 8.56/13.77 o -54 8.62/13.82 c And the winner is solver1 8.68/14.27 c Got one! Elapsed wall clock time (in seconds):14.148 8.68/14.27 o -55 8.75/14.31 c And the winner is solver1 8.78/14.77 c Got one! Elapsed wall clock time (in seconds):14.649 8.78/14.77 o -56 8.84/14.81 c And the winner is solver1 8.89/15.27 c Got one! Elapsed wall clock time (in seconds):15.15 8.89/15.27 o -57 8.99/15.34 c And the winner is solver1 9.10/15.77 c Got one! Elapsed wall clock time (in seconds):15.651 9.10/15.77 o -58 9.14/15.84 c And the winner is solver1 9.24/16.27 c Got one! Elapsed wall clock time (in seconds):16.152 9.24/16.27 o -59 9.49/16.47 c And the winner is solver1 9.69/16.77 c Got one! Elapsed wall clock time (in seconds):16.652 9.69/16.77 o -60 10.15/17.00 c And the winner is solver1 10.17/17.27 c Got one! Elapsed wall clock time (in seconds):17.153 10.17/17.27 o -61 10.22/17.37 c And the winner is solver1 10.37/17.77 c Got one! Elapsed wall clock time (in seconds):17.654 10.37/17.77 o -62 10.48/17.88 c And the winner is solver1 10.62/18.27 c Got one! Elapsed wall clock time (in seconds):18.155 10.62/18.27 o -68 10.87/18.43 c And the winner is solver1 10.94/18.77 c Got one! Elapsed wall clock time (in seconds):18.656 10.94/18.77 o -69 11.19/18.97 c And the winner is solver1 11.34/19.28 c Got one! Elapsed wall clock time (in seconds):19.157 11.34/19.28 o -70 16.68/21.91 c And the winner is solver1 16.71/22.28 c Got one! Elapsed wall clock time (in seconds):22.158 16.71/22.28 o -71 19.82/23.88 c cleaning 4350 clauses out of 8700 with flag 21093/8700 25.58/26.46 c And the winner is solver1 25.71/26.82 c Got one! Elapsed wall clock time (in seconds):26.7 25.71/26.82 o -72 28.73/28.34 c cleaning 4781 clauses out of 9564 with flag 20153/13914 37.38/32.70 c And the winner is solver1 37.58/32.82 c Got one! Elapsed wall clock time (in seconds):32.702 37.58/32.82 o -73 45.35/36.74 c cleaning 7719 clauses out of 15451 with flag 49730/24582 54.88/41.43 c cleaning 6861 clauses out of 13731 with flag 102073/30581 66.25/47.05 c cleaning 6931 clauses out of 13870 with flag 159171/37581 66.86/47.40 c And the winner is solver0 67.12/47.83 c Got one! Elapsed wall clock time (in seconds):47.706 67.12/47.83 o -82 74.06/51.38 c cleaning 6186 clauses out of 12379 with flag 48543/43021 83.32/55.93 c cleaning 6090 clauses out of 12193 with flag 103856/49021 92.53/60.53 c And the winner is solver0 92.61/60.83 c Got one! Elapsed wall clock time (in seconds):60.711 92.61/60.83 o -84 100.20/64.66 c cleaning 8560 clauses out of 17132 with flag 37603/60050 106.87/67.98 c And the winner is solver1 107.04/68.33 c Got one! Elapsed wall clock time (in seconds):68.213 107.04/68.33 o -85 108.37/69.07 c cleaning 6929 clauses out of 13857 with flag 10784/65335 117.37/73.60 c cleaning 6459 clauses out of 12928 with flag 65810/71335 123.00/76.34 c And the winner is solver1 123.11/76.84 c Got one! Elapsed wall clock time (in seconds):76.716 123.11/76.84 o -86 126.03/78.32 c cleaning 6009 clauses out of 12018 with flag 19473/76884 135.06/82.88 c cleaning 5994 clauses out of 12008 with flag 75694/82883 139.88/85.21 c And the winner is solver1 139.92/85.35 c Got one! Elapsed wall clock time (in seconds):85.23 139.92/85.35 o -87 142.82/86.81 c cleaning 5521 clauses out of 11051 with flag 19006/87920 151.63/91.30 c cleaning 5761 clauses out of 11530 with flag 74008/93920 161.45/96.19 c cleaning 6330 clauses out of 12771 with flag 138272/100922 169.88/100.31 c And the winner is solver1 169.88/100.35 c Got one! Elapsed wall clock time (in seconds):100.234 169.88/100.35 o -88 179.66/105.27 c cleaning 9520 clauses out of 19044 with flag 46273/113525 188.28/109.58 c cleaning 7761 clauses out of 15525 with flag 101090/119526 189.88/110.38 c And the winner is solver1 190.07/110.86 c Got one! Elapsed wall clock time (in seconds):110.736 190.07/110.86 o -89 196.21/113.99 c cleaning 6699 clauses out of 13409 with flag 38797/125171 203.63/117.61 c cleaning 6271 clauses out of 12711 with flag 93679/131172 210.52/121.08 c cleaning 6665 clauses out of 13439 with flag 151791/138171 213.09/122.38 c And the winner is solver1 213.26/122.86 c Got one! Elapsed wall clock time (in seconds):122.739 213.26/122.86 o -90 218.16/125.35 c cleaning 6076 clauses out of 12163 with flag 28825/143560 224.17/128.37 c cleaning 6039 clauses out of 12086 with flag 88194/149559 231.98/132.15 c cleaning 6487 clauses out of 13049 with flag 157000/156561 241.20/136.77 c cleaning 7219 clauses out of 14562 with flag 227364/164561 250.53/141.36 c cleaning 8147 clauses out of 16344 with flag 304788/173562 255.52/143.85 c And the winner is solver1 255.52/143.88 c Got one! Elapsed wall clock time (in seconds):143.764 255.52/143.88 o -91 264.74/148.42 c cleaning 9448 clauses out of 18896 with flag 50227/184261 271.20/151.61 c cleaning 7721 clauses out of 15449 with flag 112821/190262 277.81/154.99 c cleaning 7358 clauses out of 14727 with flag 185996/197261 286.69/159.38 c cleaning 7607 clauses out of 15373 with flag 268669/205265 296.74/164.30 c cleaning 8331 clauses out of 16770 with flag 347040/214269 309.31/170.59 c cleaning 9267 clauses out of 18534 with flag 453171/224364 321.55/176.99 c cleaning 10028 clauses out of 20165 with flag 571409/235262 334.26/183.25 c cleaning 10970 clauses out of 22141 with flag 684892/247266 335.86/184.08 c And the winner is solver1 336.04/184.27 c Got one! Elapsed wall clock time (in seconds):184.151 336.04/184.27 o -92 341.77/187.15 c cleaning 8318 clauses out of 16647 with flag 41295/252742 347.20/189.84 c cleaning 7159 clauses out of 14329 with flag 105138/258742 354.22/193.32 c cleaning 7049 clauses out of 14170 with flag 178998/265742 361.22/196.87 c And the winner is solver1 361.37/197.27 c Got one! Elapsed wall clock time (in seconds):197.154 361.37/197.27 o -93 368.44/200.86 c cleaning 9674 clauses out of 19349 with flag 56365/277970 373.89/203.58 c cleaning 7836 clauses out of 15674 with flag 126829/283969 381.08/207.12 c cleaning 7252 clauses out of 14838 with flag 203417/290969 389.33/211.25 c cleaning 7794 clauses out of 15588 with flag 273896/298971 398.36/215.71 c cleaning 8378 clauses out of 16792 with flag 376539/307969 408.16/220.69 c cleaning 9167 clauses out of 18415 with flag 513070/317970 420.42/226.78 c cleaning 10124 clauses out of 20248 with flag 660008/328970 433.08/233.04 c cleaning 10893 clauses out of 22123 with flag 780978/340969 446.96/239.95 c cleaning 12084 clauses out of 24231 with flag 898944/353970 462.07/247.47 c cleaning 12986 clauses out of 26148 with flag 1057155/367971 478.32/255.60 c cleaning 14082 clauses out of 28164 with flag 1227754/382973 496.25/264.74 c cleaning 15036 clauses out of 30090 with flag 1394303/398981 515.32/274.23 c cleaning 15905 clauses out of 32043 with flag 1588649/415970 536.15/284.69 c cleaning 16967 clauses out of 34137 with flag 1804887/433969 564.07/298.59 c cleaning 18104 clauses out of 36207 with flag 2002511/453006 591.37/312.19 c cleaning 18894 clauses out of 38066 with flag 2452042/472969 615.65/324.24 c cleaning 20093 clauses out of 40185 with flag 2671547/493982 616.47/324.63 c And the winner is solver1 616.55/324.75 c Got one! Elapsed wall clock time (in seconds):324.63 616.55/324.75 o -94 622.09/327.51 c cleaning 12908 clauses out of 25816 with flag 54972/499706 628.28/330.67 c cleaning 9435 clauses out of 18908 with flag 113900/505706 634.94/334.00 c cleaning 8100 clauses out of 16475 with flag 185114/512708 642.76/337.81 c cleaning 8075 clauses out of 16374 with flag 266074/520707 650.59/341.72 c cleaning 8644 clauses out of 17298 with flag 343230/529706 660.46/346.63 c cleaning 9313 clauses out of 18654 with flag 442441/539706 671.93/352.30 c cleaning 10160 clauses out of 20348 with flag 577349/550713 679.21/355.97 c And the winner is solver1 679.36/356.26 c Got one! Elapsed wall clock time (in seconds):356.141 679.36/356.26 o -95 684.93/359.01 c cleaning 11205 clauses out of 22410 with flag 55012/562935 691.03/362.08 c cleaning 8576 clauses out of 17204 with flag 116050/568934 698.42/365.77 c cleaning 7705 clauses out of 15661 with flag 187045/575967 706.29/369.68 c cleaning 7913 clauses out of 15921 with flag 263636/583932 714.73/373.83 c cleaning 8438 clauses out of 17010 with flag 343663/592934 723.93/378.47 c cleaning 9213 clauses out of 18575 with flag 436629/602937 736.16/384.55 c cleaning 10171 clauses out of 20366 with flag 544215/613941 747.03/389.97 c cleaning 11049 clauses out of 22187 with flag 656247/625933 759.90/396.35 c cleaning 12049 clauses out of 24142 with flag 777395/638937 772.30/402.59 c cleaning 13073 clauses out of 26146 with flag 928634/652990 788.46/410.95 c cleaning 13956 clauses out of 28015 with flag 1078983/667932 805.90/419.61 c cleaning 15002 clauses out of 30061 with flag 1263184/683934 826.52/429.92 c cleaning 16005 clauses out of 32066 with flag 1533383/700941 848.03/440.69 c cleaning 17022 clauses out of 34057 with flag 1818501/718937 869.12/451.18 c cleaning 17899 clauses out of 36030 with flag 2019988/737932 894.19/463.63 c cleaning 19061 clauses out of 38133 with flag 2241696/757934 919.50/476.21 c cleaning 19962 clauses out of 40070 with flag 2523266/778932 944.47/488.66 c cleaning 20994 clauses out of 42111 with flag 2759292/800935 976.44/504.59 c cleaning 22060 clauses out of 44119 with flag 3133065/823937 1004.34/518.49 c cleaning 22993 clauses out of 46054 with flag 3504179/847932 1038.80/536.14 c cleaning 24006 clauses out of 48076 with flag 3835411/872947 1043.79/538.62 c And the winner is solver1 1043.91/539.02 c Got one! Elapsed wall clock time (in seconds):538.898 1043.91/539.02 o -96 1045.07/539.67 c cleaning 14628 clauses out of 29255 with flag 11786/878132 1051.50/542.87 c cleaning 10184 clauses out of 20627 with flag 80283/884132 1058.30/546.21 c cleaning 8618 clauses out of 17443 with flag 146514/891132 1065.14/549.61 c cleaning 8388 clauses out of 16827 with flag 222110/899134 1072.94/553.52 c cleaning 8708 clauses out of 17437 with flag 324277/908132 1083.19/558.61 c cleaning 9320 clauses out of 18729 with flag 440976/918132 1092.19/563.17 c cleaning 10173 clauses out of 20409 with flag 538887/929132 1101.84/567.99 c cleaning 11119 clauses out of 22237 with flag 652161/941133 1116.46/575.24 c cleaning 11961 clauses out of 24120 with flag 789893/954135 1131.93/582.98 c cleaning 12983 clauses out of 26161 with flag 926307/968137 1146.77/590.33 c cleaning 14056 clauses out of 28174 with flag 1070841/983133 1164.45/599.17 c cleaning 15026 clauses out of 30117 with flag 1234999/999132 1183.71/608.77 c cleaning 15946 clauses out of 32093 with flag 1446761/1016134 1204.20/618.96 c cleaning 17065 clauses out of 34152 with flag 1626459/1034139 1226.54/630.03 c cleaning 18054 clauses out of 36108 with flag 1825311/1053160 1248.03/640.73 c And the winner is solver1 1248.12/641.06 c Got one! Elapsed wall clock time (in seconds):640.936 1248.12/641.06 o -97 1256.88/645.41 c cleaning 20605 clauses out of 41210 with flag 58158/1076316 1262.68/648.35 c cleaning 13293 clauses out of 26608 with flag 118496/1082319 1269.76/651.85 c cleaning 10133 clauses out of 20312 with flag 179119/1089316 1276.76/655.36 c cleaning 9077 clauses out of 18183 with flag 253011/1097320 1284.87/659.38 c cleaning 9056 clauses out of 18111 with flag 341255/1106325 1294.47/664.15 c cleaning 9510 clauses out of 19048 with flag 441439/1116318 1305.35/669.57 c cleaning 10237 clauses out of 20538 with flag 556896/1127318 1316.23/674.96 c cleaning 11137 clauses out of 22300 with flag 673907/1139317 1328.64/681.18 c cleaning 12040 clauses out of 24166 with flag 813772/1152320 1343.53/688.55 c cleaning 13041 clauses out of 26132 with flag 977165/1166326 1358.03/695.73 c And the winner is solver1 1358.11/696.09 c Got one! Elapsed wall clock time (in seconds):695.968 1358.11/696.09 o -98 1365.25/699.67 c cleaning 16155 clauses out of 32310 with flag 60493/1185545 1371.63/702.83 c cleaning 11099 clauses out of 22198 with flag 122383/1191588 1379.13/706.55 c cleaning 8914 clauses out of 18052 with flag 198521/1198541 1387.36/710.70 c cleaning 8483 clauses out of 17138 with flag 272351/1206541 1396.26/715.10 c cleaning 8820 clauses out of 17657 with flag 369060/1215543 1405.53/719.70 c cleaning 9293 clauses out of 18835 with flag 494493/1225541 1416.15/724.92 c cleaning 10184 clauses out of 20544 with flag 594417/1236543 1426.83/730.20 c cleaning 11166 clauses out of 22360 with flag 719641/1248543 1439.93/736.72 c cleaning 12008 clauses out of 24192 with flag 899236/1261541 1453.84/743.70 c cleaning 13093 clauses out of 26185 with flag 1031141/1275542 1468.49/750.97 c cleaning 14028 clauses out of 28092 with flag 1187838/1290542 1486.58/759.92 c cleaning 15022 clauses out of 30064 with flag 1401507/1306542 1503.25/768.21 c cleaning 16012 clauses out of 32042 with flag 1563776/1323542 1517.52/775.37 c cleaning 16967 clauses out of 34031 with flag 1728994/1341543 1532.18/782.61 c cleaning 18032 clauses out of 36063 with flag 1896771/1360542 1548.85/791.00 c cleaning 19018 clauses out of 38036 with flag 2098905/1380547 1563.51/798.61 c cleaning 20008 clauses out of 40015 with flag 2277267/1401544 1585.53/809.69 c cleaning 20990 clauses out of 42004 with flag 2482089/1423541 1608.43/821.07 c cleaning 21991 clauses out of 44014 with flag 2714595/1446541 1633.56/833.51 c cleaning 22970 clauses out of 46037 with flag 2972314/1470555 1665.49/849.50 c cleaning 24047 clauses out of 48093 with flag 3284341/1495581 1703.91/868.54 c cleaning 24971 clauses out of 50007 with flag 3679128/1521542 1739.28/886.14 c cleaning 25997 clauses out of 52035 with flag 4011726/1548541 1773.89/903.36 c cleaning 27058 clauses out of 54116 with flag 4335224/1576619 1800.15/916.41 c >>>>>>>>>> Solver number 0 (2 answers) <<<<<<<<<<<<<<<<<< 1800.15/916.41 c starts : 28932 1800.15/916.41 c conflicts : 1602490 1800.15/916.41 c decisions : 66540022 1800.15/916.41 c propagations : 637853181 1800.15/916.41 c inspects : 5230042340 1800.15/916.41 c shortcuts : 0 1800.15/916.41 c learnt literals : 0 1800.15/916.41 c learnt binary clauses : 38 1800.15/916.41 c learnt ternary clauses : 1442 1800.15/916.41 c learnt constraints : 1602490 1800.15/916.41 c ignored constraints : 0 1800.15/916.41 c root simplifications : 0 1800.15/916.41 c removed literals (reason simplification) : 632932943 1800.15/916.41 c reason swapping (by a shorter reason) : 0 1800.15/916.41 c Calls to reduceDB : 130 1800.15/916.41 c Number of update (reduction) of LBD : 536408 1800.15/916.41 c Imported unit clauses : 0 1800.15/916.41 c number of reductions to clauses (during analyze) : 0 1800.15/916.41 c number of learned constraints concerned by reduction : 0 1800.15/916.41 c number of learning phase by resolution : 0 1800.15/916.41 c number of learning phase by cutting planes : 0 1800.15/916.41 c speed (assignments/second) : 2895095.274189595 1800.15/916.41 c non guided choices 0 1800.15/916.43 c learnt constraints type 1800.15/916.43 c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 38 1800.15/916.43 c org.sat4j.minisat.constraints.cnf.LearntWLClause => 52891 1800.15/916.43 c >>>>>>>>>> Solver number 1 (53 answers) <<<<<<<<<<<<<<<<<< 1800.15/916.43 c starts : 103 1800.15/916.43 c conflicts : 11385 1800.15/916.43 c decisions : 732492 1800.15/916.43 c propagations : 8755770 1800.15/916.43 c inspects : 1329752604 1800.15/916.43 c shortcuts : 0 1800.15/916.43 c learnt literals : 0 1800.15/916.43 c learnt binary clauses : 0 1800.15/916.43 c learnt ternary clauses : 0 1800.15/916.43 c learnt constraints : 11385 1800.15/916.43 c ignored constraints : 0 1800.15/916.43 c root simplifications : 0 1800.15/916.43 c removed literals (reason simplification) : 0 1800.15/916.43 c reason swapping (by a shorter reason) : 0 1800.15/916.43 c Calls to reduceDB : 0 1800.15/916.43 c Number of update (reduction) of LBD : 0 1800.15/916.43 c Imported unit clauses : 0 1800.15/916.43 c number of reductions to clauses (during analyze) : 0 1800.15/916.43 c number of learned constraints concerned by reduction : 0 1800.15/916.43 c number of learning phase by resolution : 0 1800.15/916.43 c number of learning phase by cutting planes : 0 1800.15/916.43 c speed (assignments/second) : 10233.509194738652 1800.15/916.43 c non guided choices 287 1800.15/916.43 c learnt constraints type 1800.15/916.43 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 1 1800.15/916.43 c org.sat4j.pb.constraints.pb.MaxWatchPb => 11384 1800.15/916.43 s SATISFIABLE 1800.15/916.43 c Found 55 solution(s) 1800.15/916.44 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 1800.15/916.44 c objective function=-98 1800.15/916.44 c Total wall clock time (in seconds): 916.318
OK -98
runsolver Copyright (C) 2010-2013 Olivier ROUSSEL This is runsolver version 3.3.7 (svn: 2553) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4081730-1465257402/watcher-4081730-1465257402 -o /tmp/evaluation-result-4081730-1465257402/solver-4081730-1465257402 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node128-1465247049-20227 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4081730-1465257402.opb pid=23326 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: 4.14 4.08 4.09 4/197 23329 /proc/meminfo: memFree=28227844/32872528 swapFree=11320/319964 [pid=23329] ppid=23326 vsize=272 CPUtime=0 cores=1,3,5,7 /proc/23329/stat : 23329 (java) R 23326 23329 20210 0 -1 4202496 363 0 0 0 0 0 0 0 20 0 1 0 107673489 278528 33 33554432000 1073741824 1073778376 140734221329184 140735057773480 262953594037 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 /proc/23329/statm: 68 33 25 9 0 25 0 [startup+0.100061 s] /proc/loadavg: 4.14 4.08 4.09 4/197 23329 /proc/meminfo: memFree=28227844/32872528 swapFree=11320/319964 [pid=23329] ppid=23326 vsize=9558476 CPUtime=0.09 cores=1,3,5,7 /proc/23329/stat : 23329 (java) S 23326 23329 20210 0 -1 4202496 4420 0 1 0 8 1 0 0 20 0 18 0 107673489 9787879424 6038 33554432000 1073741824 1073778376 140734221329184 140734221320320 262966116413 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/23329/statm: 2389619 6038 2126 9 0 2380296 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 9558476 [startup+0.200184 s] /proc/loadavg: 4.14 4.08 4.09 4/197 23329 /proc/meminfo: memFree=28227844/32872528 swapFree=11320/319964 [pid=23329] ppid=23326 vsize=9558476 CPUtime=0.22 cores=1,3,5,7 /proc/23329/stat : 23329 (java) S 23326 23329 20210 0 -1 4202496 4607 0 1 0 21 1 0 0 20 0 18 0 107673489 9787879424 7202 33554432000 1073741824 1073778376 140734221329184 140734221320320 262966116413 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/23329/statm: 2389619 7202 2211 9 0 2380296 0 Current children cumulated CPU time (s) 0.22 Current children cumulated vsize (KiB) 9558476 [startup+0.300187 s] /proc/loadavg: 4.14 4.08 4.09 4/197 23329 /proc/meminfo: memFree=28227844/32872528 swapFree=11320/319964 [pid=23329] ppid=23326 vsize=9558476 CPUtime=0.46 cores=1,3,5,7 /proc/23329/stat : 23329 (java) S 23326 23329 20210 0 -1 4202496 6000 0 1 0 45 1 0 0 20 0 18 0 107673489 9787879424 9528 33554432000 1073741824 1073778376 140734221329184 140734221320320 262966116413 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/23329/statm: 2389619 9528 2227 9 0 2380296 0 Current children cumulated CPU time (s) 0.46 Current children cumulated vsize (KiB) 9558476 [startup+0.700193 s] /proc/loadavg: 4.14 4.08 4.09 4/197 23329 /proc/meminfo: memFree=28227844/32872528 swapFree=11320/319964 [pid=23329] ppid=23326 vsize=9558476 CPUtime=1.6 cores=1,3,5,7 /proc/23329/stat : 23329 (java) S 23326 23329 20210 0 -1 4202496 22501 0 1 0 154 6 0 0 20 0 18 0 107673489 9787879424 45787 33554432000 1073741824 1073778376 140734221329184 140734221320320 262966116413 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/23329/statm: 2389619 45787 2257 9 0 2380296 0 Current children cumulated CPU time (s) 1.6 Current children cumulated vsize (KiB) 9558476 [startup+1.50097 s] /proc/loadavg: 4.21 4.09 4.09 7/219 23351 /proc/meminfo: memFree=28034164/32872528 swapFree=11320/319964 [pid=23329] ppid=23326 vsize=9824732 CPUtime=4.7 cores=1,3,5,7 /proc/23329/stat : 23329 (java) S 23326 23329 20210 0 -1 4202496 33377 0 1 0 459 11 0 0 20 0 19 0 107673489 10060525568 54926 33554432000 1073741824 1073778376 140734221329184 140734221320320 262966116413 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/23329/statm: 2456183 54926 2284 9 0 2446860 0 [pid=23329/tid=23331] ppid=23326 vsize=9824732 CPUtime=0.7 cores=1,3,5,7 /proc/23329/task/23331/stat : 23331 (java) S 23326 23329 20210 0 -1 4202560 2479 0 1 0 67 3 0 0 20 0 19 0 107673490 10060525568 54926 33554432000 1073741824 1073778376 140734221329184 140147813479288 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=23329/tid=23332] ppid=23326 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/23329/task/23332/stat : 23332 (java) S 23326 23329 20210 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 107673492 10060525568 54926 33554432000 1073741824 1073778376 140734221329184 140147656965032 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=23329/tid=23333] ppid=23326 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/23329/task/23333/stat : 23333 (java) S 23326 23329 20210 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 107673492 10060525568 54926 33554432000 1073741824 1073778376 140734221329184 140147655912488 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=23329/tid=23334] ppid=23326 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/23329/task/23334/stat : 23334 (java) S 23326 23329 20210 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 107673492 10060525568 54926 33554432000 1073741824 1073778376 140734221329184 140147654859432 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=23329/tid=23335] ppid=23326 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/23329/task/23335/stat : 23335 (java) S 23326 23329 20210 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 107673492 10060525568 54926 33554432000 1073741824 1073778376 140734221329184 140147653806888 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=23329/tid=23336] ppid=23326 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/23329/task/23336/stat : 23336 (java) S 23326 23329 20210 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 107673492 10060525568 54926 33554432000 1073741824 1073778376 140734221329184 140147652753832 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=23329/tid=23337] ppid=23326 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/23329/task/23337/stat : 23337 (java) S 23326 23329 20210 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 107673492 10060525568 54926 33554432000 1073741824 1073778376 140734221329184 140147651701288 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=23329/tid=23338] ppid=23326 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/23329/task/23338/stat : 23338 (java) S 23326 23329 20210 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 107673492 10060525568 54926 33554432000 1073741824 1073778376 140734221329184 140147650648232 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=23329/tid=23339] ppid=23326 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/23329/task/23339/stat : 23339 (java) S 23326 23329 20210 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 107673492 10060525568 54926 33554432000 1073741824 1073778376 140734221329184 140147649595688 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=23329/tid=23340] ppid=23326 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/23329/task/23340/stat : 23340 (java) S 23326 23329 20210 0 -1 4202560 72 0 0 0 0 0 0 0 20 0 19 0 107673493 10060525568 54926 33554432000 1073741824 1073778376 140734221329184 140147637398376 262966130601 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=23329/tid=23341] ppid=23326 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/23329/task/23341/stat : 23341 (java) S 23326 23329 20210 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 107673493 10060525568 54926 33554432000 1073741824 1073778376 140734221329184 140147636344696 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=23329/tid=23342] ppid=23326 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/23329/task/23342/stat : 23342 (java) S 23326 23329 20210 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 107673493 10060525568 54926 33554432000 1073741824 1073778376 140734221329184 140147635291528 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=23329/tid=23343] ppid=23326 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/23329/task/23343/stat : 23343 (java) S 23326 23329 20210 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107673496 10060525568 54926 33554432000 1073741824 1073778376 140734221329184 140147634240272 262966138656 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=23329/tid=23344] ppid=23326 vsize=9824732 CPUtime=1.21 cores=1,3,5,7 /proc/23329/task/23344/stat : 23344 (java) R 23326 23329 20210 0 -1 4202560 12289 0 0 0 119 2 0 0 20 0 19 0 107673496 10060525568 54926 33554432000 1073741824 1073778376 140734221329184 140147633179840 140147816201274 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 [pid=23329/tid=23345] ppid=23326 vsize=9824732 CPUtime=1.24 cores=1,3,5,7 /proc/23329/task/23345/stat : 23345 (java) R 23326 23329 20210 0 -1 4202560 17171 0 0 0 122 2 0 0 20 0 19 0 107673496 10060525568 54926 33554432000 1073741824 1073778376 140734221329184 140147632121768 140147817593171 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 [pid=23329/tid=23346] ppid=23326 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/23329/task/23346/stat : 23346 (java) S 23326 23329 20210 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107673496 10060525568 54926 33554432000 1073741824 1073778376 140734221329184 140147631081720 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=23329/tid=23347] ppid=23326 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/23329/task/23347/stat : 23347 (java) S 23326 23329 20210 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107673496 10060525568 54926 33554432000 1073741824 1073778376 140734221329184 140147630029384 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=23329/tid=23350] ppid=23326 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/23329/task/23350/stat : 23350 (java) S 23326 23329 20210 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 107673565 10060525568 54926 33554432000 1073741824 1073778376 140734221329184 140147626870056 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 4.7 Current children cumulated vsize (KiB) 9824732 [startup+3.10082 s] /proc/loadavg: 4.21 4.09 4.09 3/216 23354 /proc/meminfo: memFree=28020016/32872528 swapFree=11320/319964 [pid=23329] ppid=23326 vsize=9824732 CPUtime=5.47 cores=1,3,5,7 /proc/23329/stat : 23329 (java) S 23326 23329 20210 0 -1 4202496 34755 0 1 0 530 17 0 0 20 0 19 0 107673489 10060525568 53663 33554432000 1073741824 1073778376 140734221329184 140734221320320 262966116413 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/23329/statm: 2456183 53663 2285 9 0 2446860 0 [pid=23329/tid=23331] ppid=23326 vsize=9824732 CPUtime=0.71 cores=1,3,5,7 /proc/23329/task/23331/stat : 23331 (java) S 23326 23329 20210 0 -1 4202560 2480 0 1 0 68 3 0 0 20 0 19 0 107673490 10060525568 53663 33554432000 1073741824 1073778376 140734221329184 140147813479288 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=23329/tid=23332] ppid=23326 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/23329/task/23332/stat : 23332 (java) S 23326 23329 20210 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 107673492 10060525568 53663 33554432000 1073741824 1073778376 140734221329184 140147656965032 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=23329/tid=23333] ppid=23326 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/23329/task/23333/stat : 23333 (java) S 23326 23329 20210 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 107673492 10060525568 53663 33554432000 1073741824 1073778376 140734221329184 140147655912488 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=23329/tid=23334] ppid=23326 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/23329/task/23334/stat : 23334 (java) S 23326 23329 20210 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 107673492 10060525568 53663 33554432000 1073741824 1073778376 140734221329184 140147654859432 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=23329/tid=23335] ppid=23326 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/23329/task/23335/stat : 23335 (java) S 23326 23329 20210 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 107673492 10060525568 53663 33554432000 1073741824 1073778376 140734221329184 140147653806888 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=23329/tid=23336] ppid=23326 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/23329/task/23336/stat : 23336 (java) S 23326 23329 20210 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 107673492 10060525568 53663 33554432000 1073741824 1073778376 140734221329184 140147652753832 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=23329/tid=23337] ppid=23326 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/23329/task/23337/stat : 23337 (java) S 23326 23329 20210 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 107673492 10060525568 53663 33554432000 1073741824 1073778376 140734221329184 140147651701288 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=23329/tid=23338] ppid=23326 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/23329/task/23338/stat : 23338 (java) S 23326 23329 20210 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 107673492 10060525568 53663 33554432000 1073741824 1073778376 140734221329184 140147650648232 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=23329/tid=23339] ppid=23326 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/23329/task/23339/stat : 23339 (java) S 23326 23329 20210 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 107673492 10060525568 53663 33554432000 1073741824 1073778376 140734221329184 140147649595688 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=23329/tid=23340] ppid=23326 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/23329/task/23340/stat : 23340 (java) S 23326 23329 20210 0 -1 4202560 72 0 0 0 0 0 0 0 20 0 19 0 107673493 10060525568 53663 33554432000 1073741824 1073778376 140734221329184 140147637398376 262966130601 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=23329/tid=23341] ppid=23326 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/23329/task/23341/stat : 23341 (java) S 23326 23329 20210 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 107673493 10060525568 53663 33554432000 1073741824 1073778376 140734221329184 140147636344696 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=23329/tid=23342] ppid=23326 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/23329/task/23342/stat : 23342 (java) S 23326 23329 20210 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 107673493 10060525568 53663 33554432000 1073741824 1073778376 140734221329184 140147635291528 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=23329/tid=23343] ppid=23326 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/23329/task/23343/stat : 23343 (java) S 23326 23329 20210 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107673496 10060525568 53663 33554432000 1073741824 1073778376 140734221329184 140147634240272 262966138656 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=23329/tid=23344] ppid=23326 vsize=9824732 CPUtime=1.31 cores=1,3,5,7 /proc/23329/task/23344/stat : 23344 (java) S 23326 23329 20210 0 -1 4202560 12289 0 0 0 129 2 0 0 20 0 19 0 107673496 10060525568 53663 33554432000 1073741824 1073778376 140734221329184 140147633187128 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=23329/tid=23345] ppid=23326 vsize=9824732 CPUtime=1.49 cores=1,3,5,7 /proc/23329/task/23345/stat : 23345 (java) S 23326 23329 20210 0 -1 4202560 18530 0 0 0 146 3 0 0 20 0 19 0 107673496 10060525568 53663 33554432000 1073741824 1073778376 140734221329184 140147632134584 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=23329/tid=23346] ppid=23326 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/23329/task/23346/stat : 23346 (java) S 23326 23329 20210 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107673496 10060525568 53663 33554432000 1073741824 1073778376 140734221329184 140147631081720 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=23329/tid=23347] ppid=23326 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/23329/task/23347/stat : 23347 (java) S 23326 23329 20210 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107673496 10060525568 53663 33554432000 1073741824 1073778376 140734221329184 140147630029384 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=23329/tid=23350] ppid=23326 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/23329/task/23350/stat : 23350 (java) S 23326 23329 20210 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 107673565 10060525568 53663 33554432000 1073741824 1073778376 140734221329184 140147626870056 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 5.47 Current children cumulated vsize (KiB) 9824732 [startup+6.30084 s] /proc/loadavg: 4.03 4.06 4.08 3/216 23375 /proc/meminfo: memFree=28005236/32872528 swapFree=11320/319964 [pid=23329] ppid=23326 vsize=9824732 CPUtime=6.52 cores=1,3,5,7 /proc/23329/stat : 23329 (java) S 23326 23329 20210 0 -1 4202496 34852 0 1 0 620 32 0 0 20 0 22 0 107673489 10060525568 57186 33554432000 1073741824 1073778376 140734221329184 140734221320320 262966116413 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/23329/statm: 2456183 57186 2290 9 0 2446860 0 [pid=23329/tid=23331] ppid=23326 vsize=9824732 CPUtime=0.72 cores=1,3,5,7 /proc/23329/task/23331/stat : 23331 (java) S 23326 23329 20210 0 -1 4202560 2482 0 1 0 69 3 0 0 20 0 22 0 107673490 10060525568 57186 33554432000 1073741824 1073778376 140734221329184 140147813479288 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=23329/tid=23332] ppid=23326 vsize=9824732 CPUtime=0.02 cores=1,3,5,7 /proc/23329/task/23332/stat : 23332 (java) S 23326 23329 20210 0 -1 4202560 15 0 0 0 2 0 0 0 20 0 22 0 107673492 10060525568 57186 33554432000 1073741824 1073778376 140734221329184 140147656965032 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=23329/tid=23333] ppid=23326 vsize=9824732 CPUtime=0.01 cores=1,3,5,7 /proc/23329/task/23333/stat : 23333 (java) S 23326 23329 20210 0 -1 4202560 12 0 0 0 1 0 0 0 20 0 22 0 107673492 10060525568 57186 33554432000 1073741824 1073778376 140734221329184 140147655912488 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=23329/tid=23334] ppid=23326 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/23329/task/23334/stat : 23334 (java) S 23326 23329 20210 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 22 0 107673492 10060525568 57186 33554432000 1073741824 1073778376 140734221329184 140147654859432 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=23329/tid=23335] ppid=23326 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/23329/task/23335/stat : 23335 (java) S 23326 23329 20210 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 107673492 10060525568 57186 33554432000 1073741824 1073778376 140734221329184 140147653806888 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=23329/tid=23336] ppid=23326 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/23329/task/23336/stat : 23336 (java) S 23326 23329 20210 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 22 0 107673492 10060525568 57186 33554432000 1073741824 1073778376 140734221329184 140147652753832 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=23329/tid=23337] ppid=23326 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/23329/task/23337/stat : 23337 (java) S 23326 23329 20210 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 22 0 107673492 10060525568 57186 33554432000 1073741824 1073778376 140734221329184 140147651701288 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=23329/tid=23338] ppid=23326 vsize=9824732 CPUtime=0.01 cores=1,3,5,7 /proc/23329/task/23338/stat : 23338 (java) S 23326 23329 20210 0 -1 4202560 11 0 0 0 1 0 0 0 20 0 22 0 107673492 10060525568 57186 33554432000 1073741824 1073778376 140734221329184 140147650648232 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=23329/tid=23339] ppid=23326 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/23329/task/23339/stat : 23339 (java) S 23326 23329 20210 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 107673492 10060525568 57186 33554432000 1073741824 1073778376 140734221329184 140147649595688 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=23329/tid=23340] ppid=23326 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/23329/task/23340/stat : 23340 (java) S 23326 23329 20210 0 -1 4202560 72 0 0 0 0 0 0 0 20 0 22 0 107673493 10060525568 57186 33554432000 1073741824 1073778376 140734221329184 140147637398376 262966130601 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=23329/tid=23341] ppid=23326 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/23329/task/23341/stat : 23341 (java) S 23326 23329 20210 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 107673493 10060525568 57186 33554432000 1073741824 1073778376 140734221329184 140147636344696 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=23329/tid=23342] ppid=23326 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/23329/task/23342/stat : 23342 (java) S 23326 23329 20210 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 107673493 10060525568 57186 33554432000 1073741824 1073778376 140734221329184 140147635291528 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=23329/tid=23343] ppid=23326 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/23329/task/23343/stat : 23343 (java) S 23326 23329 20210 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 107673496 10060525568 57186 33554432000 1073741824 1073778376 140734221329184 140147634240272 262966138656 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=23329/tid=23344] ppid=23326 vsize=9824732 CPUtime=1.42 cores=1,3,5,7 /proc/23329/task/23344/stat : 23344 (java) S 23326 23329 20210 0 -1 4202560 12293 0 0 0 140 2 0 0 20 0 22 0 107673496 10060525568 57186 33554432000 1073741824 1073778376 140734221329184 140147633187128 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=23329/tid=23345] ppid=23326 vsize=9824732 CPUtime=1.59 cores=1,3,5,7 /proc/23329/task/23345/stat : 23345 (java) S 23326 23329 20210 0 -1 4202560 18530 0 0 0 156 3 0 0 20 0 22 0 107673496 10060525568 57186 33554432000 1073741824 1073778376 140734221329184 140147632134584 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=23329/tid=23346] ppid=23326 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/23329/task/23346/stat : 23346 (java) S 23326 23329 20210 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 107673496 10060525568 57186 33554432000 1073741824 1073778376 140734221329184 140147631081720 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=23329/tid=23347] ppid=23326 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/23329/task/23347/stat : 23347 (java) S 23326 23329 20210 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 107673496 10060525568 57186 33554432000 1073741824 1073778376 140734221329184 140147630029384 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=23329/tid=23350] ppid=23326 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/23329/task/23350/stat : 23350 (java) S 23326 23329 20210 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 107673565 10060525568 57186 33554432000 1073741824 1073778376 140734221329184 140147626870056 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 6.52 Current children cumulated vsize (KiB) 9824732 ################ # More data... # ################ [startup+822.301 s] /proc/loadavg: 4.00 4.04 4.04 5/220 23684 /proc/meminfo: memFree=25157892/32872528 swapFree=11320/319964 [pid=23329] ppid=23326 vsize=9824732 CPUtime=1611.02 cores=1,3,5,7 /proc/23329/stat : 23329 (java) S 23326 23329 20210 0 -1 4202496 48752 0 1 0 160756 346 0 0 20 0 22 0 107673489 10060525568 852244 33554432000 1073741824 1073778376 140734221329184 140734221320320 262966116413 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/23329/statm: 2456183 852244 2303 9 0 2446860 0 [pid=23329/tid=23331] ppid=23326 vsize=9824732 CPUtime=0.79 cores=1,3,5,7 /proc/23329/task/23331/stat : 23331 (java) S 23326 23329 20210 0 -1 4202560 2493 0 1 0 75 4 0 0 20 0 22 0 107673490 10060525568 852244 33554432000 1073741824 1073778376 140734221329184 140147813479288 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=23329/tid=23332] ppid=23326 vsize=9824732 CPUtime=2.14 cores=1,3,5,7 /proc/23329/task/23332/stat : 23332 (java) S 23326 23329 20210 0 -1 4202560 709 0 0 0 199 15 0 0 20 0 22 0 107673492 10060525568 852244 33554432000 1073741824 1073778376 140734221329184 140147656965032 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=23329/tid=23333] ppid=23326 vsize=9824732 CPUtime=2.04 cores=1,3,5,7 /proc/23329/task/23333/stat : 23333 (java) S 23326 23329 20210 0 -1 4202560 640 0 0 0 187 17 0 0 20 0 22 0 107673492 10060525568 852244 33554432000 1073741824 1073778376 140734221329184 140147655912488 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=23329/tid=23334] ppid=23326 vsize=9824732 CPUtime=2.36 cores=1,3,5,7 /proc/23329/task/23334/stat : 23334 (java) S 23326 23329 20210 0 -1 4202560 678 0 0 0 216 20 0 0 20 0 22 0 107673492 10060525568 852244 33554432000 1073741824 1073778376 140734221329184 140147654859432 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=23329/tid=23335] ppid=23326 vsize=9824732 CPUtime=2.08 cores=1,3,5,7 /proc/23329/task/23335/stat : 23335 (java) S 23326 23329 20210 0 -1 4202560 698 0 0 0 190 18 0 0 20 0 22 0 107673492 10060525568 852244 33554432000 1073741824 1073778376 140734221329184 140147653806888 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=23329/tid=23336] ppid=23326 vsize=9824732 CPUtime=2.27 cores=1,3,5,7 /proc/23329/task/23336/stat : 23336 (java) S 23326 23329 20210 0 -1 4202560 802 0 0 0 209 18 0 0 20 0 22 0 107673492 10060525568 852244 33554432000 1073741824 1073778376 140734221329184 140147652753832 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=23329/tid=23337] ppid=23326 vsize=9824732 CPUtime=2.02 cores=1,3,5,7 /proc/23329/task/23337/stat : 23337 (java) S 23326 23329 20210 0 -1 4202560 526 0 0 0 184 18 0 0 20 0 22 0 107673492 10060525568 852244 33554432000 1073741824 1073778376 140734221329184 140147651701288 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=23329/tid=23338] ppid=23326 vsize=9824732 CPUtime=2.3 cores=1,3,5,7 /proc/23329/task/23338/stat : 23338 (java) S 23326 23329 20210 0 -1 4202560 508 0 0 0 214 16 0 0 20 0 22 0 107673492 10060525568 852244 33554432000 1073741824 1073778376 140734221329184 140147650648232 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=23329/tid=23339] ppid=23326 vsize=9824732 CPUtime=2.08 cores=1,3,5,7 /proc/23329/task/23339/stat : 23339 (java) S 23326 23329 20210 0 -1 4202560 725 0 0 0 189 19 0 0 20 0 22 0 107673492 10060525568 852244 33554432000 1073741824 1073778376 140734221329184 140147649595688 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=23329/tid=23340] ppid=23326 vsize=9824732 CPUtime=4.08 cores=1,3,5,7 /proc/23329/task/23340/stat : 23340 (java) S 23326 23329 20210 0 -1 4202560 2512 0 0 0 391 17 0 0 20 0 22 0 107673493 10060525568 852244 33554432000 1073741824 1073778376 140734221329184 140147637398376 262966130601 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=23329/tid=23341] ppid=23326 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/23329/task/23341/stat : 23341 (java) S 23326 23329 20210 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 107673493 10060525568 852244 33554432000 1073741824 1073778376 140734221329184 140147636344696 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=23329/tid=23342] ppid=23326 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/23329/task/23342/stat : 23342 (java) S 23326 23329 20210 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 107673493 10060525568 852244 33554432000 1073741824 1073778376 140734221329184 140147635291528 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=23329/tid=23343] ppid=23326 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/23329/task/23343/stat : 23343 (java) S 23326 23329 20210 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 107673496 10060525568 852244 33554432000 1073741824 1073778376 140734221329184 140147634240272 262966138656 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=23329/tid=23344] ppid=23326 vsize=9824732 CPUtime=2.07 cores=1,3,5,7 /proc/23329/task/23344/stat : 23344 (java) S 23326 23329 20210 0 -1 4202560 12311 0 0 0 204 3 0 0 20 0 22 0 107673496 10060525568 852244 33554432000 1073741824 1073778376 140734221329184 140147633187128 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=23329/tid=23345] ppid=23326 vsize=9824732 CPUtime=2.31 cores=1,3,5,7 /proc/23329/task/23345/stat : 23345 (java) S 23326 23329 20210 0 -1 4202560 22079 0 0 0 227 4 0 0 20 0 22 0 107673496 10060525568 852244 33554432000 1073741824 1073778376 140734221329184 140147632134584 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=23329/tid=23346] ppid=23326 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/23329/task/23346/stat : 23346 (java) S 23326 23329 20210 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 107673496 10060525568 852244 33554432000 1073741824 1073778376 140734221329184 140147631081720 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=23329/tid=23347] ppid=23326 vsize=9824732 CPUtime=0.35 cores=1,3,5,7 /proc/23329/task/23347/stat : 23347 (java) S 23326 23329 20210 0 -1 4202560 47 0 0 0 12 23 0 0 20 0 22 0 107673496 10060525568 852244 33554432000 1073741824 1073778376 140734221329184 140147630029384 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=23329/tid=23475] ppid=23326 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/23329/task/23475/stat : 23475 (java) S 23326 23329 20210 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 107679573 10060525568 852244 33554432000 1073741824 1073778376 140734221329184 140147627922216 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=23329/tid=23676] ppid=23326 vsize=9824732 CPUtime=124.57 cores=1,3,5,7 /proc/23329/task/23676/stat : 23676 (java) R 23326 23329 20210 0 -1 4202560 7 0 0 0 12456 1 0 0 20 0 22 0 107743099 10060525568 852244 33554432000 1073741824 1073778376 140734221329184 140147625807504 140147685903376 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 [pid=23329/tid=23677] ppid=23326 vsize=9824732 CPUtime=124.58 cores=1,3,5,7 /proc/23329/task/23677/stat : 23677 (java) R 23326 23329 20210 0 -1 4202560 21 0 0 0 12457 1 0 0 20 0 22 0 107743099 10060525568 852244 33554432000 1073741824 1073778376 140734221329184 140147628973280 140147686632652 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 [pid=23329/tid=23678] ppid=23326 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/23329/task/23678/stat : 23678 (java) S 23326 23329 20210 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 107743099 10060525568 852244 33554432000 1073741824 1073778376 140734221329184 140147626870312 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 1611.02 Current children cumulated vsize (KiB) 9824732 [startup+882.308 s] /proc/loadavg: 4.00 4.03 4.03 5/219 23685 /proc/meminfo: memFree=25085212/32872528 swapFree=11320/319964 [pid=23329] ppid=23326 vsize=9824732 CPUtime=1731.68 cores=1,3,5,7 /proc/23329/stat : 23329 (java) S 23326 23329 20210 0 -1 4202496 49368 0 1 0 172810 358 0 0 20 0 22 0 107673489 10060525568 864528 33554432000 1073741824 1073778376 140734221329184 140734221320320 262966116413 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/23329/statm: 2456183 864528 2303 9 0 2446860 0 [pid=23329/tid=23331] ppid=23326 vsize=9824732 CPUtime=0.79 cores=1,3,5,7 /proc/23329/task/23331/stat : 23331 (java) S 23326 23329 20210 0 -1 4202560 2493 0 1 0 75 4 0 0 20 0 22 0 107673490 10060525568 864528 33554432000 1073741824 1073778376 140734221329184 140147813479288 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=23329/tid=23332] ppid=23326 vsize=9824732 CPUtime=2.38 cores=1,3,5,7 /proc/23329/task/23332/stat : 23332 (java) S 23326 23329 20210 0 -1 4202560 797 0 0 0 221 17 0 0 20 0 22 0 107673492 10060525568 864528 33554432000 1073741824 1073778376 140734221329184 140147656965032 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=23329/tid=23333] ppid=23326 vsize=9824732 CPUtime=2.2 cores=1,3,5,7 /proc/23329/task/23333/stat : 23333 (java) S 23326 23329 20210 0 -1 4202560 731 0 0 0 202 18 0 0 20 0 22 0 107673492 10060525568 864528 33554432000 1073741824 1073778376 140734221329184 140147655912488 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=23329/tid=23334] ppid=23326 vsize=9824732 CPUtime=2.52 cores=1,3,5,7 /proc/23329/task/23334/stat : 23334 (java) S 23326 23329 20210 0 -1 4202560 732 0 0 0 231 21 0 0 20 0 22 0 107673492 10060525568 864528 33554432000 1073741824 1073778376 140734221329184 140147654859432 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=23329/tid=23335] ppid=23326 vsize=9824732 CPUtime=2.28 cores=1,3,5,7 /proc/23329/task/23335/stat : 23335 (java) S 23326 23329 20210 0 -1 4202560 772 0 0 0 209 19 0 0 20 0 22 0 107673492 10060525568 864528 33554432000 1073741824 1073778376 140734221329184 140147653806888 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=23329/tid=23336] ppid=23326 vsize=9824732 CPUtime=2.4 cores=1,3,5,7 /proc/23329/task/23336/stat : 23336 (java) S 23326 23329 20210 0 -1 4202560 829 0 0 0 221 19 0 0 20 0 22 0 107673492 10060525568 864528 33554432000 1073741824 1073778376 140734221329184 140147652753832 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=23329/tid=23337] ppid=23326 vsize=9824732 CPUtime=2.22 cores=1,3,5,7 /proc/23329/task/23337/stat : 23337 (java) S 23326 23329 20210 0 -1 4202560 610 0 0 0 203 19 0 0 20 0 22 0 107673492 10060525568 864528 33554432000 1073741824 1073778376 140734221329184 140147651701288 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=23329/tid=23338] ppid=23326 vsize=9824732 CPUtime=2.53 cores=1,3,5,7 /proc/23329/task/23338/stat : 23338 (java) S 23326 23329 20210 0 -1 4202560 570 0 0 0 234 19 0 0 20 0 22 0 107673492 10060525568 864528 33554432000 1073741824 1073778376 140734221329184 140147650648232 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=23329/tid=23339] ppid=23326 vsize=9824732 CPUtime=2.23 cores=1,3,5,7 /proc/23329/task/23339/stat : 23339 (java) S 23326 23329 20210 0 -1 4202560 757 0 0 0 203 20 0 0 20 0 22 0 107673492 10060525568 864528 33554432000 1073741824 1073778376 140734221329184 140147649595688 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=23329/tid=23340] ppid=23326 vsize=9824732 CPUtime=4.08 cores=1,3,5,7 /proc/23329/task/23340/stat : 23340 (java) S 23326 23329 20210 0 -1 4202560 2604 0 0 0 391 17 0 0 20 0 22 0 107673493 10060525568 864528 33554432000 1073741824 1073778376 140734221329184 140147637398376 262966130601 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=23329/tid=23341] ppid=23326 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/23329/task/23341/stat : 23341 (java) S 23326 23329 20210 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 107673493 10060525568 864528 33554432000 1073741824 1073778376 140734221329184 140147636344696 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=23329/tid=23342] ppid=23326 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/23329/task/23342/stat : 23342 (java) S 23326 23329 20210 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 107673493 10060525568 864528 33554432000 1073741824 1073778376 140734221329184 140147635291528 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=23329/tid=23343] ppid=23326 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/23329/task/23343/stat : 23343 (java) S 23326 23329 20210 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 107673496 10060525568 864528 33554432000 1073741824 1073778376 140734221329184 140147634240272 262966138656 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=23329/tid=23344] ppid=23326 vsize=9824732 CPUtime=2.07 cores=1,3,5,7 /proc/23329/task/23344/stat : 23344 (java) S 23326 23329 20210 0 -1 4202560 12311 0 0 0 204 3 0 0 20 0 22 0 107673496 10060525568 864528 33554432000 1073741824 1073778376 140734221329184 140147633187128 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=23329/tid=23345] ppid=23326 vsize=9824732 CPUtime=2.31 cores=1,3,5,7 /proc/23329/task/23345/stat : 23345 (java) S 23326 23329 20210 0 -1 4202560 22079 0 0 0 227 4 0 0 20 0 22 0 107673496 10060525568 864528 33554432000 1073741824 1073778376 140734221329184 140147632134584 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=23329/tid=23346] ppid=23326 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/23329/task/23346/stat : 23346 (java) S 23326 23329 20210 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 107673496 10060525568 864528 33554432000 1073741824 1073778376 140734221329184 140147631081720 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=23329/tid=23347] ppid=23326 vsize=9824732 CPUtime=0.38 cores=1,3,5,7 /proc/23329/task/23347/stat : 23347 (java) S 23326 23329 20210 0 -1 4202560 51 0 0 0 13 25 0 0 20 0 22 0 107673496 10060525568 864528 33554432000 1073741824 1073778376 140734221329184 140147630029384 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=23329/tid=23475] ppid=23326 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/23329/task/23475/stat : 23475 (java) S 23326 23329 20210 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 107679573 10060525568 864528 33554432000 1073741824 1073778376 140734221329184 140147627922216 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=23329/tid=23676] ppid=23326 vsize=9824732 CPUtime=184.15 cores=1,3,5,7 /proc/23329/task/23676/stat : 23676 (java) R 23326 23329 20210 0 -1 4202560 9 0 0 0 18411 4 0 0 20 0 22 0 107743099 10060525568 864528 33554432000 1073741824 1073778376 140734221329184 140147625814192 140147685903376 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 [pid=23329/tid=23677] ppid=23326 vsize=9824732 CPUtime=184.2 cores=1,3,5,7 /proc/23329/task/23677/stat : 23677 (java) R 23326 23329 20210 0 -1 4202560 27 0 0 0 18418 2 0 0 20 0 22 0 107743099 10060525568 864528 33554432000 1073741824 1073778376 140734221329184 140147628973280 140147686485944 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 [pid=23329/tid=23678] ppid=23326 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/23329/task/23678/stat : 23678 (java) S 23326 23329 20210 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 107743099 10060525568 864528 33554432000 1073741824 1073778376 140734221329184 140147626870312 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 1731.68 Current children cumulated vsize (KiB) 9824732 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+916.408 s] /proc/loadavg: 4.00 4.03 4.03 5/219 23685 /proc/meminfo: memFree=25135408/32872528 swapFree=11320/319964 [pid=23329] ppid=23326 vsize=9824732 CPUtime=1800.15 cores=1,3,5,7 /proc/23329/stat : 23329 (java) S 23326 23329 20210 0 -1 4202496 49438 0 1 0 179655 360 0 0 20 0 22 0 107673489 10060525568 865096 33554432000 1073741824 1073778376 140734221329184 140734221320320 262966116413 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/23329/statm: 2456183 865096 2303 9 0 2446860 0 [pid=23329/tid=23331] ppid=23326 vsize=9824732 CPUtime=0.79 cores=1,3,5,7 /proc/23329/task/23331/stat : 23331 (java) S 23326 23329 20210 0 -1 4202560 2493 0 1 0 75 4 0 0 20 0 22 0 107673490 10060525568 865096 33554432000 1073741824 1073778376 140734221329184 140147813479288 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=23329/tid=23332] ppid=23326 vsize=9824732 CPUtime=2.43 cores=1,3,5,7 /proc/23329/task/23332/stat : 23332 (java) S 23326 23329 20210 0 -1 4202560 799 0 0 0 226 17 0 0 20 0 22 0 107673492 10060525568 865096 33554432000 1073741824 1073778376 140734221329184 140147656965032 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=23329/tid=23333] ppid=23326 vsize=9824732 CPUtime=2.27 cores=1,3,5,7 /proc/23329/task/23333/stat : 23333 (java) S 23326 23329 20210 0 -1 4202560 732 0 0 0 209 18 0 0 20 0 22 0 107673492 10060525568 865096 33554432000 1073741824 1073778376 140734221329184 140147655912488 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=23329/tid=23334] ppid=23326 vsize=9824732 CPUtime=2.59 cores=1,3,5,7 /proc/23329/task/23334/stat : 23334 (java) S 23326 23329 20210 0 -1 4202560 741 0 0 0 238 21 0 0 20 0 22 0 107673492 10060525568 865096 33554432000 1073741824 1073778376 140734221329184 140147654859432 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=23329/tid=23335] ppid=23326 vsize=9824732 CPUtime=2.41 cores=1,3,5,7 /proc/23329/task/23335/stat : 23335 (java) S 23326 23329 20210 0 -1 4202560 773 0 0 0 222 19 0 0 20 0 22 0 107673492 10060525568 865096 33554432000 1073741824 1073778376 140734221329184 140147653806888 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=23329/tid=23336] ppid=23326 vsize=9824732 CPUtime=2.49 cores=1,3,5,7 /proc/23329/task/23336/stat : 23336 (java) S 23326 23329 20210 0 -1 4202560 860 0 0 0 230 19 0 0 20 0 22 0 107673492 10060525568 865096 33554432000 1073741824 1073778376 140734221329184 140147652753832 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=23329/tid=23337] ppid=23326 vsize=9824732 CPUtime=2.31 cores=1,3,5,7 /proc/23329/task/23337/stat : 23337 (java) S 23326 23329 20210 0 -1 4202560 610 0 0 0 212 19 0 0 20 0 22 0 107673492 10060525568 865096 33554432000 1073741824 1073778376 140734221329184 140147651701288 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=23329/tid=23338] ppid=23326 vsize=9824732 CPUtime=2.57 cores=1,3,5,7 /proc/23329/task/23338/stat : 23338 (java) S 23326 23329 20210 0 -1 4202560 570 0 0 0 238 19 0 0 20 0 22 0 107673492 10060525568 865096 33554432000 1073741824 1073778376 140734221329184 140147650648232 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=23329/tid=23339] ppid=23326 vsize=9824732 CPUtime=2.28 cores=1,3,5,7 /proc/23329/task/23339/stat : 23339 (java) S 23326 23329 20210 0 -1 4202560 771 0 0 0 208 20 0 0 20 0 22 0 107673492 10060525568 865096 33554432000 1073741824 1073778376 140734221329184 140147649595688 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=23329/tid=23340] ppid=23326 vsize=9824732 CPUtime=4.09 cores=1,3,5,7 /proc/23329/task/23340/stat : 23340 (java) S 23326 23329 20210 0 -1 4202560 2610 0 0 0 391 18 0 0 20 0 22 0 107673493 10060525568 865096 33554432000 1073741824 1073778376 140734221329184 140147637398376 262966130601 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=23329/tid=23341] ppid=23326 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/23329/task/23341/stat : 23341 (java) S 23326 23329 20210 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 107673493 10060525568 865096 33554432000 1073741824 1073778376 140734221329184 140147636344696 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=23329/tid=23342] ppid=23326 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/23329/task/23342/stat : 23342 (java) S 23326 23329 20210 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 107673493 10060525568 865096 33554432000 1073741824 1073778376 140734221329184 140147635291528 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=23329/tid=23343] ppid=23326 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/23329/task/23343/stat : 23343 (java) S 23326 23329 20210 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 107673496 10060525568 865096 33554432000 1073741824 1073778376 140734221329184 140147634240272 262966138656 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=23329/tid=23344] ppid=23326 vsize=9824732 CPUtime=2.07 cores=1,3,5,7 /proc/23329/task/23344/stat : 23344 (java) S 23326 23329 20210 0 -1 4202560 12311 0 0 0 204 3 0 0 20 0 22 0 107673496 10060525568 865096 33554432000 1073741824 1073778376 140734221329184 140147633187128 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=23329/tid=23345] ppid=23326 vsize=9824732 CPUtime=2.31 cores=1,3,5,7 /proc/23329/task/23345/stat : 23345 (java) S 23326 23329 20210 0 -1 4202560 22079 0 0 0 227 4 0 0 20 0 22 0 107673496 10060525568 865096 33554432000 1073741824 1073778376 140734221329184 140147632134584 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=23329/tid=23346] ppid=23326 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/23329/task/23346/stat : 23346 (java) S 23326 23329 20210 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 107673496 10060525568 865096 33554432000 1073741824 1073778376 140734221329184 140147631081720 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=23329/tid=23347] ppid=23326 vsize=9824732 CPUtime=0.39 cores=1,3,5,7 /proc/23329/task/23347/stat : 23347 (java) S 23326 23329 20210 0 -1 4202560 53 0 0 0 14 25 0 0 20 0 22 0 107673496 10060525568 865096 33554432000 1073741824 1073778376 140734221329184 140147630029384 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=23329/tid=23475] ppid=23326 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/23329/task/23475/stat : 23475 (java) S 23326 23329 20210 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 107679573 10060525568 865096 33554432000 1073741824 1073778376 140734221329184 140147627922216 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=23329/tid=23676] ppid=23326 vsize=9824732 CPUtime=218.09 cores=1,3,5,7 /proc/23329/task/23676/stat : 23676 (java) R 23326 23329 20210 0 -1 4202560 9 0 0 0 21804 5 0 0 20 0 22 0 107743099 10060525568 865096 33554432000 1073741824 1073778376 140734221329184 140147625815200 140147686748666 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 [pid=23329/tid=23677] ppid=23326 vsize=9824732 CPUtime=218.13 cores=1,3,5,7 /proc/23329/task/23677/stat : 23677 (java) R 23326 23329 20210 0 -1 4202560 31 0 0 0 21810 3 0 0 20 0 22 0 107743099 10060525568 865096 33554432000 1073741824 1073778376 140734221329184 140147628974512 140147686632652 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 [pid=23329/tid=23678] ppid=23326 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/23329/task/23678/stat : 23678 (java) S 23326 23329 20210 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 107743099 10060525568 865096 33554432000 1073741824 1073778376 140734221329184 140147626870312 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 1800.15 Current children cumulated vsize (KiB) 9824732 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. ??? exit watcher main loop ??? sigkill at end of watcher main loop ??? kill 23329 sig 9 ??? end of watcher thread Dumping a history of the last processes samples Child status: 143 Real time (s): 916.457 CPU time (s): 1800.54 CPU user time (s): 1796.64 CPU system time (s): 3.89541 CPU usage (%): 196.467 Max. virtual memory (cumulated for all children) (KiB): 9824732 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1796.64 system time used= 3.89541 maximum resident set size= 3507804 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 49474 page faults= 1 swaps= 0 block input operations= 0 block output operations= 976 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 27871 involuntary context switches= 35328 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 5.57115 second user time and 7.95479 second system time The end
Begin job on node128 at 2016-06-07 01:56:42 IDJOB=4081730 IDBENCH=48247 IDSOLVER=2543 FILE ID=node128/4081730-1465257402 RUNJOBID= node128-1465247049-20227 PBS_JOBID= 19843253 Free space on /tmp= 71744 MiB SOLVER NAME= Sat4j PB 2.3.6 Res+CP PB16 BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/bsg/normalized-bsg_500_10_3.opb COMMAND LINE= java -jar sat4j-pb.jar Both BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4081730-1465257402/watcher-4081730-1465257402 -o /tmp/evaluation-result-4081730-1465257402/solver-4081730-1465257402 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node128-1465247049-20227 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4081730-1465257402.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 68d7f052f18638860d9232a7f3ed2053 RANDOM SEED=112693444 node128.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.486 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.97 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.486 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.486 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.486 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.486 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.54 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.486 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.486 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.486 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32872528 kB MemFree: 28228744 kB Buffers: 55512 kB Cached: 112496 kB SwapCached: 1656 kB Active: 3516352 kB Inactive: 100316 kB Active(anon): 3450864 kB Inactive(anon): 528 kB Active(file): 65488 kB Inactive(file): 99788 kB Unevictable: 319964 kB Mlocked: 11320 kB SwapTotal: 67108856 kB SwapFree: 67098468 kB Dirty: 836 kB Writeback: 0 kB AnonPages: 3768520 kB Mapped: 15360 kB Shmem: 0 kB Slab: 570316 kB SReclaimable: 13740 kB SUnreclaim: 556576 kB KernelStack: 1576 kB PageTables: 11620 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 4043676 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 3676160 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7552 kB DirectMap2M: 33538048 kB Free space on /tmp at the end= 71744 MiB End job on node128 at 2016-06-07 02:11:59