Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| Sat4j PB 2.3.6 Resolution PB16 | SAT (TO) | -9911 | 1800.64 | 1772.04 |
| Name | PB15eval/normalized-PB15eval/OPT-SMALLINT-NLC/ minlplib2-pb-0.1.0/opb/normalized-autocorr_bern40-30.opb |
| MD5SUM | d36e490582f49f28bcbb16ea0b07dfa2 |
| 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 | -10582 |
| Best CPU time to get the best result obtained on this benchmark | 1800.11 |
| Has Objective Function | YES |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 0 |
| Total number of constraints | 0 |
| Number of constraints which are clauses | 0 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | -1 |
| Maximum length of a constraint | 0 |
| Number of terms in the objective function | 12690 |
| Biggest coefficient in the objective function | 3292 |
| Number of bits for the biggest coefficient in the objective function | 12 |
| Sum of the numbers in the objective function | 870020 |
| Number of bits of the sum of numbers in the objective function | 20 |
| Biggest number in a constraint | 3292 |
| Number of bits of the biggest number in a constraint | 12 |
| Biggest sum of numbers in a constraint | 870020 |
| Number of bits of the biggest sum of numbers | 20 |
| Number of products (including duplicates) | 12650 |
| Sum of products size (including duplicates) | 41110 |
| Number of different products | 0 |
| Sum of products size | 0 |
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.11 c Pseudo Boolean Optimization by upper bound 0.09/0.11 c --- Begin Solver configuration --- 0.09/0.11 c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@2b21cc40 0.09/0.11 c Learn all clauses as in MiniSAT 0.09/0.11 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.09/0.11 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.09/0.11 c No reason simplification 0.09/0.11 c Glucose 2.1 dynamic restart strategy 0.09/0.11 c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000 0.09/0.11 c timeout=2147483s 0.09/0.11 c DB Simplification allowed=false 0.09/0.11 c Listener: org.sat4j.minisat.core.VoidTracing@7c64dc11 0.09/0.11 c --- End Solver configuration --- 0.09/0.11 c solving HOME/instance-4119306-1467253969.opb 0.09/0.11 c reading problem ... 0.09/0.12 c objective function found 3.60/3.03 c ... done. Wall clock time 2.919s. 3.60/3.03 c declared #vars 40 3.60/3.03 c internal #vars 12690 3.60/3.03 c #constraints 25300 3.60/3.03 c constraints type 3.60/3.03 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 12650 3.60/3.03 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 12650 3.60/3.03 c 25300 constraints processed. 3.60/3.03 c objective function length is 12690 literals 3.86/3.17 c SATISFIABLE 3.86/3.17 c OPTIMIZING... 3.86/3.17 c Got one! Elapsed wall clock time (in seconds):3.06 3.86/3.17 o 0 4.07/3.27 c Got one! Elapsed wall clock time (in seconds):3.16 4.07/3.27 o -203 4.35/3.34 c Got one! Elapsed wall clock time (in seconds):3.222 4.35/3.34 o -406 4.35/3.37 c Got one! Elapsed wall clock time (in seconds):3.257 4.35/3.37 o -771 4.35/3.40 c Got one! Elapsed wall clock time (in seconds):3.289 4.35/3.40 o -987 4.61/3.44 c Got one! Elapsed wall clock time (in seconds):3.328 4.61/3.44 o -1136 4.61/3.46 c Got one! Elapsed wall clock time (in seconds):3.351 4.61/3.46 o -1626 4.76/3.52 c Got one! Elapsed wall clock time (in seconds):3.406 4.76/3.52 o -1705 4.76/3.56 c Got one! Elapsed wall clock time (in seconds):3.452 4.76/3.56 o -1755 4.76/3.60 c Got one! Elapsed wall clock time (in seconds):3.484 4.76/3.60 o -1855 4.85/3.62 c Got one! Elapsed wall clock time (in seconds):3.507 4.85/3.62 o -2116 4.85/3.65 c Got one! Elapsed wall clock time (in seconds):3.542 4.85/3.65 o -2698 4.95/3.78 c Got one! Elapsed wall clock time (in seconds):3.665 4.95/3.78 o -2942 5.16/3.95 c Got one! Elapsed wall clock time (in seconds):3.837 5.16/3.95 o -3115 5.26/4.00 c Got one! Elapsed wall clock time (in seconds):3.888 5.26/4.00 o -3224 5.26/4.04 c Got one! Elapsed wall clock time (in seconds):3.927 5.26/4.04 o -3280 5.26/4.07 c Got one! Elapsed wall clock time (in seconds):3.956 5.26/4.07 o -3852 5.70/4.35 c Got one! Elapsed wall clock time (in seconds):4.24 5.70/4.35 o -3925 5.80/4.50 c Got one! Elapsed wall clock time (in seconds):4.388 5.80/4.50 o -4354 6.29/4.98 c Got one! Elapsed wall clock time (in seconds):4.865 6.29/4.98 o -4371 6.59/5.20 c Got one! Elapsed wall clock time (in seconds):5.085 6.59/5.20 o -4491 6.59/5.22 c Got one! Elapsed wall clock time (in seconds):5.111 6.59/5.22 o -4570 6.69/5.30 c Got one! Elapsed wall clock time (in seconds):5.189 6.69/5.30 o -4764 7.39/6.00 c Got one! Elapsed wall clock time (in seconds):5.887 7.39/6.00 o -5009 7.70/6.40 c Got one! Elapsed wall clock time (in seconds):6.283 7.70/6.40 o -5071 8.10/6.75 c Got one! Elapsed wall clock time (in seconds):6.641 8.10/6.75 o -5233 8.20/6.80 c Got one! Elapsed wall clock time (in seconds):6.689 8.20/6.80 o -5270 8.20/6.84 c Got one! Elapsed wall clock time (in seconds):6.724 8.20/6.84 o -5942 11.03/9.57 c Got one! Elapsed wall clock time (in seconds):9.461 11.03/9.57 o -6177 13.83/12.32 c Got one! Elapsed wall clock time (in seconds):12.212 13.83/12.32 o -6184 13.83/12.38 c Got one! Elapsed wall clock time (in seconds):12.264 13.83/12.38 o -6413 15.65/13.97 c Got one! Elapsed wall clock time (in seconds):13.856 15.65/13.97 o -6458 16.45/14.73 c Got one! Elapsed wall clock time (in seconds):14.614 16.45/14.73 o -6593 17.05/15.32 c Got one! Elapsed wall clock time (in seconds):15.207 17.05/15.32 o -6610 17.15/15.47 c Got one! Elapsed wall clock time (in seconds):15.358 17.15/15.47 o -7015 20.40/18.59 c cleaning 4717 clauses out of 9434 with flag 4003/9434 23.22/21.34 c Got one! Elapsed wall clock time (in seconds):21.232 23.22/21.34 o -7094 25.57/23.58 c Got one! Elapsed wall clock time (in seconds):23.463 25.57/23.58 o -7161 26.77/24.77 c Got one! Elapsed wall clock time (in seconds):24.653 26.77/24.77 o -7169 27.67/25.62 c Got one! Elapsed wall clock time (in seconds):25.509 27.67/25.62 o -7181 27.87/25.85 c Got one! Elapsed wall clock time (in seconds):25.737 27.87/25.85 o -7185 27.97/25.99 c Got one! Elapsed wall clock time (in seconds):25.88 27.97/25.99 o -7210 28.17/26.10 c Got one! Elapsed wall clock time (in seconds):25.991 28.17/26.10 o -7743 32.90/30.79 c cleaning 6262 clauses out of 12526 with flag 6003/17243 42.76/40.16 c cleaning 6132 clauses out of 12264 with flag 18003/23243 44.80/42.17 c Got one! Elapsed wall clock time (in seconds):42.057 44.80/42.17 o -7749 46.80/44.17 c Got one! Elapsed wall clock time (in seconds):44.059 46.80/44.17 o -7756 48.79/46.14 c Got one! Elapsed wall clock time (in seconds):46.027 48.79/46.14 o -7774 49.19/46.57 c Got one! Elapsed wall clock time (in seconds):46.458 49.19/46.57 o -7776 49.29/46.67 c Got one! Elapsed wall clock time (in seconds):46.56 49.29/46.67 o -7780 49.40/46.74 c Got one! Elapsed wall clock time (in seconds):46.628 49.40/46.74 o -8210 52.62/49.77 c cleaning 6126 clauses out of 12255 with flag 4003/29366 62.08/58.97 c cleaning 6064 clauses out of 12128 with flag 16001/35365 68.58/65.41 c Got one! Elapsed wall clock time (in seconds):65.297 68.58/65.41 o -8211 70.65/67.26 c cleaning 5632 clauses out of 11265 with flag 2018/40566 80.25/76.80 c cleaning 5812 clauses out of 11631 with flag 14108/46564 80.25/76.88 c Got one! Elapsed wall clock time (in seconds):76.767 80.25/76.88 o -8229 88.12/84.63 c Got one! Elapsed wall clock time (in seconds):84.519 88.12/84.63 o -8242 89.72/86.25 c cleaning 5821 clauses out of 11641 with flag 2063/52386 91.72/88.26 c Got one! Elapsed wall clock time (in seconds):88.143 91.72/88.26 o -8250 91.92/88.47 c Got one! Elapsed wall clock time (in seconds):88.362 91.92/88.47 o -8262 92.32/88.88 c Got one! Elapsed wall clock time (in seconds):88.766 92.32/88.88 o -8502 98.36/94.80 c cleaning 5677 clauses out of 11360 with flag 8003/57926 107.46/103.84 c cleaning 5842 clauses out of 11683 with flag 20003/63926 117.84/113.92 c cleaning 6419 clauses out of 12840 with flag 34001/70925 129.64/125.74 c cleaning 7209 clauses out of 14421 with flag 50001/78925 130.64/126.77 c Got one! Elapsed wall clock time (in seconds):126.66 130.64/126.77 o -8542 138.71/134.62 c cleaning 6456 clauses out of 12917 with flag 10002/84630 147.81/143.77 c cleaning 6229 clauses out of 12462 with flag 22004/90631 154.11/150.10 c Got one! Elapsed wall clock time (in seconds):149.983 154.11/150.10 o -8552 155.71/151.66 c cleaning 5635 clauses out of 11275 with flag 2003/95673 160.93/156.68 c Got one! Elapsed wall clock time (in seconds):156.571 160.93/156.68 o -8586 164.23/159.98 c cleaning 5366 clauses out of 10738 with flag 4038/100771 164.53/160.29 c Got one! Elapsed wall clock time (in seconds):160.177 164.53/160.29 o -8603 166.53/162.20 c Got one! Elapsed wall clock time (in seconds):162.091 166.53/162.20 o -8604 167.03/162.74 c Got one! Elapsed wall clock time (in seconds):162.624 167.03/162.74 o -8605 167.34/163.02 c Got one! Elapsed wall clock time (in seconds):162.912 167.34/163.02 o -8606 167.44/163.10 c Got one! Elapsed wall clock time (in seconds):162.991 167.44/163.10 o -8649 173.85/169.58 c Got one! Elapsed wall clock time (in seconds):169.464 173.85/169.58 o -8702 175.54/171.26 c cleaning 6107 clauses out of 12214 with flag 2005/107613 177.89/173.55 c Got one! Elapsed wall clock time (in seconds):173.439 177.89/173.55 o -8707 179.48/175.12 c Got one! Elapsed wall clock time (in seconds):175.011 179.48/175.12 o -8708 180.68/176.38 c Got one! Elapsed wall clock time (in seconds):176.269 180.68/176.38 o -8996 185.19/180.85 c cleaning 6134 clauses out of 12271 with flag 6001/113777 194.08/189.78 c cleaning 6065 clauses out of 12138 with flag 18003/119778 205.01/200.56 c cleaning 6531 clauses out of 13072 with flag 32001/126777 217.19/212.56 c cleaning 7265 clauses out of 14542 with flag 48003/134778 230.60/225.97 c cleaning 8137 clauses out of 16277 with flag 66003/143778 246.01/241.23 c cleaning 9070 clauses out of 18139 with flag 86001/153777 260.20/255.25 c Got one! Elapsed wall clock time (in seconds):255.133 260.20/255.25 o -9006 267.90/262.95 c cleaning 11725 clauses out of 23456 with flag 10081/168164 276.97/271.97 c cleaning 8860 clauses out of 17730 with flag 22079/174163 288.02/282.80 c cleaning 7933 clauses out of 15870 with flag 36142/181163 300.31/295.16 c cleaning 7968 clauses out of 15937 with flag 52212/189163 308.18/302.95 c Got one! Elapsed wall clock time (in seconds):302.838 308.18/302.95 o -9025 316.28/311.03 c cleaning 9079 clauses out of 18158 with flag 10160/199352 326.17/320.84 c cleaning 7536 clauses out of 15079 with flag 22339/205352 331.36/326.04 c Got one! Elapsed wall clock time (in seconds):325.925 331.36/326.04 o -9043 334.66/329.39 c cleaning 6414 clauses out of 12831 with flag 4113/210640 338.64/333.28 c Got one! Elapsed wall clock time (in seconds):333.172 338.64/333.28 o -9046 342.06/336.68 c Got one! Elapsed wall clock time (in seconds):336.564 342.06/336.68 o -9049 343.35/337.96 c Got one! Elapsed wall clock time (in seconds):337.852 343.35/337.96 o -9055 345.05/339.67 c cleaning 6304 clauses out of 12613 with flag 2038/216836 349.45/344.00 c Got one! Elapsed wall clock time (in seconds):343.89 349.45/344.00 o -9082 350.72/345.26 c Got one! Elapsed wall clock time (in seconds):345.151 350.72/345.26 o -9086 351.34/345.84 c Got one! Elapsed wall clock time (in seconds):345.728 351.34/345.84 o -9099 352.24/346.76 c Got one! Elapsed wall clock time (in seconds):346.648 352.24/346.76 o -9116 355.94/350.41 c Got one! Elapsed wall clock time (in seconds):350.293 355.94/350.41 o -9118 356.34/350.80 c Got one! Elapsed wall clock time (in seconds):350.686 356.34/350.80 o -9337 357.84/352.30 c cleaning 7026 clauses out of 14061 with flag 2003/224588 366.95/361.29 c cleaning 6513 clauses out of 13035 with flag 14003/230588 377.65/371.92 c cleaning 6759 clauses out of 13522 with flag 28003/237588 389.68/383.91 c cleaning 7378 clauses out of 14762 with flag 44001/245587 403.13/397.31 c cleaning 8189 clauses out of 16384 with flag 62001/254587 418.49/412.43 c cleaning 9098 clauses out of 18196 with flag 82003/264588 435.34/429.18 c cleaning 10045 clauses out of 20097 with flag 104001/275587 455.05/448.62 c cleaning 11024 clauses out of 22053 with flag 128003/287588 476.46/469.76 c cleaning 12013 clauses out of 24029 with flag 154003/300588 498.79/491.89 c cleaning 13007 clauses out of 26016 with flag 182003/314588 523.86/516.46 c cleaning 14005 clauses out of 28009 with flag 212003/329588 539.21/531.64 c Got one! Elapsed wall clock time (in seconds):531.528 539.21/531.64 o -9341 547.18/539.48 c cleaning 14282 clauses out of 28576 with flag 10144/344160 556.67/548.80 c cleaning 10143 clauses out of 20293 with flag 22359/350159 567.04/559.13 c cleaning 8575 clauses out of 17151 with flag 36361/357160 579.05/571.06 c cleaning 8287 clauses out of 16575 with flag 52359/365159 592.26/584.02 c cleaning 8642 clauses out of 17289 with flag 70504/374160 607.58/599.11 c cleaning 9324 clauses out of 18647 with flag 90687/384160 622.54/613.99 c Got one! Elapsed wall clock time (in seconds):613.879 622.54/613.99 o -9423 631.17/622.40 c cleaning 12067 clauses out of 24137 with flag 10193/398974 641.28/632.42 c cleaning 9029 clauses out of 18071 with flag 22271/404975 646.72/637.88 c Got one! Elapsed wall clock time (in seconds):637.769 646.72/637.88 o -9427 649.92/641.04 c cleaning 7151 clauses out of 14303 with flag 4006/410236 659.82/650.87 c cleaning 6575 clauses out of 13152 with flag 16006/416236 660.92/651.95 c Got one! Elapsed wall clock time (in seconds):651.841 660.92/651.95 o -9432 667.97/659.00 c Got one! Elapsed wall clock time (in seconds):658.89 667.97/659.00 o -9437 669.85/660.75 c cleaning 6287 clauses out of 12580 with flag 2049/422239 671.25/662.14 c Got one! Elapsed wall clock time (in seconds):662.029 671.25/662.14 o -9440 673.35/664.23 c Got one! Elapsed wall clock time (in seconds):664.121 673.35/664.23 o -9442 673.56/664.41 c Got one! Elapsed wall clock time (in seconds):664.293 673.56/664.41 o -9445 673.56/664.43 c Got one! Elapsed wall clock time (in seconds):664.322 673.56/664.43 o -9451 674.01/664.82 c Got one! Elapsed wall clock time (in seconds):664.703 674.01/664.82 o -9455 674.21/665.01 c Got one! Elapsed wall clock time (in seconds):664.895 674.21/665.01 o -9460 680.91/671.64 c cleaning 6388 clauses out of 12777 with flag 8119/428723 691.06/681.61 c cleaning 6192 clauses out of 12388 with flag 20264/434722 698.92/689.40 c Got one! Elapsed wall clock time (in seconds):689.286 698.92/689.40 o -9478 700.52/691.07 c cleaning 5958 clauses out of 11924 with flag 2005/440450 710.31/700.65 c cleaning 5981 clauses out of 11967 with flag 14007/446451 712.11/702.48 c Got one! Elapsed wall clock time (in seconds):702.37 712.11/702.48 o -9489 715.67/705.92 c Got one! Elapsed wall clock time (in seconds):705.805 715.67/705.92 o -9493 716.37/706.64 c Got one! Elapsed wall clock time (in seconds):706.53 716.37/706.64 o -9496 717.37/707.60 c Got one! Elapsed wall clock time (in seconds):707.486 717.37/707.60 o -9501 717.37/707.66 c Got one! Elapsed wall clock time (in seconds):707.543 717.37/707.66 o -9505 717.47/707.74 c Got one! Elapsed wall clock time (in seconds):707.625 717.47/707.74 o -9511 718.78/708.98 c Got one! Elapsed wall clock time (in seconds):708.87 718.78/708.98 o -9513 718.97/709.17 c Got one! Elapsed wall clock time (in seconds):709.056 718.97/709.17 o -9517 721.08/711.23 c Got one! Elapsed wall clock time (in seconds):711.114 721.08/711.23 o -9518 722.77/712.89 c cleaning 6685 clauses out of 13376 with flag 2058/453841 723.56/713.60 c Got one! Elapsed wall clock time (in seconds):713.486 723.56/713.60 o -9520 726.07/716.18 c Got one! Elapsed wall clock time (in seconds):716.07 726.07/716.18 o -9714 732.12/722.08 c cleaning 6372 clauses out of 12754 with flag 8001/459904 741.13/730.97 c cleaning 6188 clauses out of 12382 with flag 20001/465904 751.42/741.01 c cleaning 6591 clauses out of 13194 with flag 34001/472904 763.39/752.84 c cleaning 7300 clauses out of 14603 with flag 50001/480904 776.74/765.98 c cleaning 8152 clauses out of 16304 with flag 68003/489905 792.54/781.41 c cleaning 9074 clauses out of 18151 with flag 88001/499904 808.91/797.52 c cleaning 10038 clauses out of 20078 with flag 110003/510905 826.74/815.08 c cleaning 11019 clauses out of 22039 with flag 134001/522904 846.59/834.57 c cleaning 12009 clauses out of 24020 with flag 160001/535904 868.25/855.77 c cleaning 13002 clauses out of 26012 with flag 188003/549905 892.11/879.19 c cleaning 14001 clauses out of 28009 with flag 218001/564904 917.82/904.44 c cleaning 15002 clauses out of 30008 with flag 250001/580904 944.83/931.03 c cleaning 16000 clauses out of 32007 with flag 284003/597905 974.12/959.72 c cleaning 17000 clauses out of 34006 with flag 320001/615904 1003.87/989.03 c cleaning 17999 clauses out of 36006 with flag 358001/634904 1035.86/1020.51 c cleaning 19004 clauses out of 38007 with flag 398001/654904 1063.86/1048.00 c Got one! Elapsed wall clock time (in seconds):1047.889 1063.86/1048.00 o -9783 1072.08/1056.19 c cleaning 20652 clauses out of 41311 with flag 10004/677212 1081.82/1065.78 c cleaning 13329 clauses out of 26659 with flag 22004/683212 1092.92/1076.61 c cleaning 10161 clauses out of 20329 with flag 36002/690211 1105.47/1089.07 c cleaning 9081 clauses out of 18168 with flag 52002/698211 1119.29/1102.68 c cleaning 9040 clauses out of 18087 with flag 70002/707211 1135.19/1118.26 c cleaning 9521 clauses out of 19048 with flag 90004/717212 1152.61/1135.49 c cleaning 10263 clauses out of 20527 with flag 112004/728212 1172.08/1154.69 c cleaning 11130 clauses out of 22264 with flag 136004/740212 1193.33/1175.50 c cleaning 12065 clauses out of 24134 with flag 162004/753212 1216.34/1198.06 c cleaning 13033 clauses out of 26069 with flag 190004/767212 1240.93/1222.04 c cleaning 14015 clauses out of 28036 with flag 220004/782212 1259.33/1240.16 c Got one! Elapsed wall clock time (in seconds):1240.048 1259.33/1240.16 o -9785 1267.79/1248.43 c cleaning 15105 clauses out of 30218 with flag 10003/798409 1277.66/1258.21 c cleaning 10552 clauses out of 21114 with flag 22005/804410 1288.79/1269.21 c cleaning 8775 clauses out of 17562 with flag 36005/811410 1301.75/1282.06 c cleaning 8392 clauses out of 16787 with flag 52005/819410 1316.51/1296.63 c cleaning 8691 clauses out of 17395 with flag 70005/828410 1332.74/1312.68 c cleaning 9350 clauses out of 18704 with flag 90005/838410 1350.83/1330.49 c cleaning 10171 clauses out of 20353 with flag 112003/849409 1364.01/1343.40 c Got one! Elapsed wall clock time (in seconds):1343.288 1364.01/1343.40 o -9799 1372.23/1351.59 c cleaning 11649 clauses out of 23297 with flag 10004/862524 1382.24/1361.41 c cleaning 8820 clauses out of 17648 with flag 22004/868524 1391.03/1370.16 c Got one! Elapsed wall clock time (in seconds):1370.044 1391.03/1370.16 o -9800 1398.03/1377.05 c Got one! Elapsed wall clock time (in seconds):1376.938 1398.03/1377.05 o -9801 1399.81/1378.76 c cleaning 9655 clauses out of 19309 with flag 2006/879005 1401.62/1380.53 c Got one! Elapsed wall clock time (in seconds):1380.413 1401.62/1380.53 o -9810 1404.31/1383.23 c Got one! Elapsed wall clock time (in seconds):1383.118 1404.31/1383.23 o -9816 1405.18/1384.07 c Got one! Elapsed wall clock time (in seconds):1383.961 1405.18/1384.07 o -9834 1410.17/1388.97 c cleaning 7898 clauses out of 15797 with flag 6006/885148 1417.53/1396.22 c Got one! Elapsed wall clock time (in seconds):1396.103 1417.53/1396.22 o -9837 1418.72/1397.35 c Got one! Elapsed wall clock time (in seconds):1397.239 1418.72/1397.35 o -9843 1420.32/1398.98 c cleaning 7079 clauses out of 14171 with flag 2007/891420 1430.08/1408.55 c cleaning 6541 clauses out of 13092 with flag 14007/897420 1441.38/1419.69 c cleaning 6771 clauses out of 13550 with flag 28005/904419 1445.74/1423.95 c Got one! Elapsed wall clock time (in seconds):1423.837 1445.74/1423.95 o -9857 1449.44/1427.66 c Got one! Elapsed wall clock time (in seconds):1427.546 1449.44/1427.66 o -9863 1451.23/1429.36 c cleaning 6329 clauses out of 12660 with flag 2040/910300 1451.23/1429.38 c Got one! Elapsed wall clock time (in seconds):1429.272 1451.23/1429.38 o -9866 1452.13/1430.30 c Got one! Elapsed wall clock time (in seconds):1430.183 1452.13/1430.30 o -9870 1452.53/1430.66 c Got one! Elapsed wall clock time (in seconds):1430.544 1452.53/1430.66 o -9872 1452.63/1430.73 c Got one! Elapsed wall clock time (in seconds):1430.62 1452.63/1430.73 o -9876 1453.75/1431.80 c Got one! Elapsed wall clock time (in seconds):1431.687 1453.75/1431.80 o -9878 1462.01/1439.92 c cleaning 6431 clauses out of 12868 with flag 10145/916837 1471.43/1449.22 c cleaning 6217 clauses out of 12437 with flag 22145/922837 1472.66/1450.46 c Got one! Elapsed wall clock time (in seconds):1450.347 1472.66/1450.46 o -9911 1480.40/1458.02 c cleaning 5984 clauses out of 11977 with flag 10003/928594 1489.60/1467.14 c cleaning 5990 clauses out of 11992 with flag 22001/934593 1500.22/1477.58 c cleaning 6499 clauses out of 13003 with flag 36003/941594 1512.69/1489.87 c cleaning 7250 clauses out of 14504 with flag 52003/949594 1526.80/1503.69 c cleaning 8123 clauses out of 16253 with flag 70001/958593 1542.27/1518.80 c cleaning 9060 clauses out of 18130 with flag 90001/968593 1559.46/1535.73 c cleaning 10033 clauses out of 20070 with flag 112001/979593 1578.63/1554.59 c cleaning 11018 clauses out of 22037 with flag 136001/991593 1599.37/1574.96 c cleaning 12007 clauses out of 24021 with flag 162005/1004595 1621.88/1597.06 c cleaning 13003 clauses out of 26013 with flag 190003/1018594 1646.68/1621.31 c cleaning 14003 clauses out of 28009 with flag 220001/1033593 1673.17/1647.39 c cleaning 15001 clauses out of 30006 with flag 252001/1049593 1700.67/1674.33 c cleaning 16003 clauses out of 32005 with flag 286001/1066593 1729.55/1702.73 c cleaning 17002 clauses out of 34003 with flag 322003/1084594 1760.70/1733.33 c cleaning 17999 clauses out of 36000 with flag 360001/1103593 1791.93/1764.08 c cleaning 18997 clauses out of 38001 with flag 400001/1123593 1800.01/1772.00 c starts : 120 1800.01/1772.00 c conflicts : 1128721 1800.01/1772.00 c decisions : 1132885 1800.01/1772.00 c propagations : 957060354 1800.01/1772.00 c inspects : 4488863122 1800.01/1772.00 c shortcuts : 0 1800.01/1772.00 c learnt literals : 0 1800.01/1772.00 c learnt binary clauses : 0 1800.01/1772.00 c learnt ternary clauses : 0 1800.01/1772.00 c learnt constraints : 1128721 1800.01/1772.00 c ignored constraints : 0 1800.01/1772.00 c root simplifications : 0 1800.01/1772.00 c removed literals (reason simplification) : 0 1800.01/1772.00 c reason swapping (by a shorter reason) : 0 1800.01/1772.00 c Calls to reduceDB : 118 1800.01/1772.00 c Number of update (reduction) of LBD : 268 1800.01/1772.00 c Imported unit clauses : 0 1800.01/1772.00 c number of reductions to clauses (during analyze) : 0 1800.01/1772.00 c number of learned constraints concerned by reduction : 0 1800.01/1772.00 c number of learning phase by resolution : 0 1800.01/1772.00 c number of learning phase by cutting planes : 0 1800.01/1772.00 c speed (assignments/second) : 541042.4988368602 1800.01/1772.00 c non guided choices 0 1800.01/1772.01 c learnt constraints type 1800.01/1772.01 c org.sat4j.minisat.constraints.cnf.LearntWLClause => 24133 1800.01/1772.01 s SATISFIABLE 1800.01/1772.01 c Found 119 solution(s) 1800.01/1772.01 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 1800.01/1772.01 c objective function=-9911 1800.01/1772.01 c Total wall clock time (in seconds): 1771.9
OK -9911
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-4119306-1467253969/watcher-4119306-1467253969 -o /tmp/evaluation-result-4119306-1467253969/solver-4119306-1467253969 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node103-1467246683-9204 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4119306-1467253969.opb pid=10266 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: 2.12 2.07 2.07 3/194 10269 /proc/meminfo: memFree=25322300/32872528 swapFree=242912/249044 [pid=10269] ppid=10266 vsize=268 CPUtime=0 cores=1,3,5,7 /proc/10269/stat : 10269 (java) R 10266 10269 9187 0 -1 4194304 346 0 0 0 0 0 0 0 20 0 1 0 6503224 274432 16 33554432000 1073741824 1073778376 140736262550336 140735463953320 247055035568 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 /proc/10269/statm: 68 27 19 9 0 25 0 [startup+0.10016 s] /proc/loadavg: 2.12 2.07 2.07 3/194 10269 /proc/meminfo: memFree=25322300/32872528 swapFree=242912/249044 [pid=10269] ppid=10266 vsize=9558476 CPUtime=0.09 cores=1,3,5,7 /proc/10269/stat : 10269 (java) S 10266 10269 9187 0 -1 4202496 4419 0 1 0 8 1 0 0 20 0 18 0 6503224 9787879424 6043 33554432000 1073741824 1073778376 140736262550336 140736262541472 247067607101 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/10269/statm: 2389619 6043 2125 9 0 2380296 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 9558476 [startup+0.200326 s] /proc/loadavg: 2.12 2.07 2.07 3/194 10269 /proc/meminfo: memFree=25322300/32872528 swapFree=242912/249044 [pid=10269] ppid=10266 vsize=9558476 CPUtime=0.24 cores=1,3,5,7 /proc/10269/stat : 10269 (java) S 10266 10269 9187 0 -1 4202496 4652 0 1 0 23 1 0 0 20 0 18 0 6503224 9787879424 6748 33554432000 1073741824 1073778376 140736262550336 140736262541472 247067607101 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/10269/statm: 2389619 6748 2216 9 0 2380296 0 Current children cumulated CPU time (s) 0.24 Current children cumulated vsize (KiB) 9558476 [startup+0.300238 s] /proc/loadavg: 2.12 2.07 2.07 3/194 10269 /proc/meminfo: memFree=25322300/32872528 swapFree=242912/249044 [pid=10269] ppid=10266 vsize=9558476 CPUtime=0.47 cores=1,3,5,7 /proc/10269/stat : 10269 (java) S 10266 10269 9187 0 -1 4202496 5726 0 1 0 46 1 0 0 20 0 18 0 6503224 9787879424 7905 33554432000 1073741824 1073778376 140736262550336 140736262541472 247067607101 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/10269/statm: 2389619 7905 2234 9 0 2380296 0 Current children cumulated CPU time (s) 0.47 Current children cumulated vsize (KiB) 9558476 [startup+0.700284 s] /proc/loadavg: 2.12 2.07 2.07 3/194 10269 /proc/meminfo: memFree=25322300/32872528 swapFree=242912/249044 [pid=10269] ppid=10266 vsize=9558476 CPUtime=1.05 cores=1,3,5,7 /proc/10269/stat : 10269 (java) S 10266 10269 9187 0 -1 4202496 7070 0 1 0 103 2 0 0 20 0 18 0 6503224 9787879424 11118 33554432000 1073741824 1073778376 140736262550336 140736262541472 247067607101 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/10269/statm: 2389619 11118 2242 9 0 2380296 0 Current children cumulated CPU time (s) 1.05 Current children cumulated vsize (KiB) 9558476 [startup+1.50074 s] /proc/loadavg: 2.11 2.07 2.07 3/212 10287 /proc/meminfo: memFree=25279184/32872528 swapFree=242912/249044 [pid=10269] ppid=10266 vsize=9558476 CPUtime=1.9 cores=1,3,5,7 /proc/10269/stat : 10269 (java) S 10266 10269 9187 0 -1 4202496 7396 0 1 0 188 2 0 0 20 0 18 0 6503224 9787879424 13205 33554432000 1073741824 1073778376 140736262550336 140736262541472 247067607101 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/10269/statm: 2389619 13205 2249 9 0 2380296 0 [pid=10269/tid=10271] ppid=10266 vsize=9558476 CPUtime=1.47 cores=1,3,5,7 /proc/10269/task/10271/stat : 10271 (java) R 10266 10269 9187 0 -1 4202560 2409 0 1 0 145 2 0 0 20 0 18 0 6503224 9787879424 13205 33554432000 1073741824 1073778376 140736262550336 140302646517536 140302505893963 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 [pid=10269/tid=10272] ppid=10266 vsize=9558476 CPUtime=0 cores=1,3,5,7 /proc/10269/task/10272/stat : 10272 (java) S 10266 10269 9187 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 6503226 9787879424 13205 33554432000 1073741824 1073778376 140736262550336 140302624627112 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=10269/tid=10273] ppid=10266 vsize=9558476 CPUtime=0 cores=1,3,5,7 /proc/10269/task/10273/stat : 10273 (java) S 10266 10269 9187 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 6503226 9787879424 13205 33554432000 1073741824 1073778376 140736262550336 140302421584424 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=10269/tid=10274] ppid=10266 vsize=9558476 CPUtime=0 cores=1,3,5,7 /proc/10269/task/10274/stat : 10274 (java) S 10266 10269 9187 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 6503226 9787879424 13205 33554432000 1073741824 1073778376 140736262550336 140302420531368 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=10269/tid=10275] ppid=10266 vsize=9558476 CPUtime=0 cores=1,3,5,7 /proc/10269/task/10275/stat : 10275 (java) S 10266 10269 9187 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 6503226 9787879424 13205 33554432000 1073741824 1073778376 140736262550336 140302419478824 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=10269/tid=10276] ppid=10266 vsize=9558476 CPUtime=0 cores=1,3,5,7 /proc/10269/task/10276/stat : 10276 (java) S 10266 10269 9187 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 6503226 9787879424 13205 33554432000 1073741824 1073778376 140736262550336 140302418426792 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=10269/tid=10277] ppid=10266 vsize=9558476 CPUtime=0 cores=1,3,5,7 /proc/10269/task/10277/stat : 10277 (java) S 10266 10269 9187 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 6503226 9787879424 13205 33554432000 1073741824 1073778376 140736262550336 140302417374248 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=10269/tid=10278] ppid=10266 vsize=9558476 CPUtime=0 cores=1,3,5,7 /proc/10269/task/10278/stat : 10278 (java) S 10266 10269 9187 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 6503226 9787879424 13205 33554432000 1073741824 1073778376 140736262550336 140302416321192 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=10269/tid=10279] ppid=10266 vsize=9558476 CPUtime=0 cores=1,3,5,7 /proc/10269/task/10279/stat : 10279 (java) S 10266 10269 9187 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 18 0 6503226 9787879424 13205 33554432000 1073741824 1073778376 140736262550336 140302415268648 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=10269/tid=10280] ppid=10266 vsize=9558476 CPUtime=0 cores=1,3,5,7 /proc/10269/task/10280/stat : 10280 (java) S 10266 10269 9187 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 18 0 6503227 9787879424 13205 33554432000 1073741824 1073778376 140736262550336 140302403070312 247067621289 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=10269/tid=10281] ppid=10266 vsize=9558476 CPUtime=0 cores=1,3,5,7 /proc/10269/task/10281/stat : 10281 (java) S 10266 10269 9187 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 18 0 6503227 9787879424 13205 33554432000 1073741824 1073778376 140736262550336 140302402016632 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=10269/tid=10282] ppid=10266 vsize=9558476 CPUtime=0 cores=1,3,5,7 /proc/10269/task/10282/stat : 10282 (java) S 10266 10269 9187 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 18 0 6503227 9787879424 13205 33554432000 1073741824 1073778376 140736262550336 140302400963464 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=10269/tid=10283] ppid=10266 vsize=9558476 CPUtime=0 cores=1,3,5,7 /proc/10269/task/10283/stat : 10283 (java) S 10266 10269 9187 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 6503230 9787879424 13205 33554432000 1073741824 1073778376 140736262550336 140302399912208 247067629344 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=10269/tid=10284] ppid=10266 vsize=9558476 CPUtime=0.16 cores=1,3,5,7 /proc/10269/task/10284/stat : 10284 (java) S 10266 10269 9187 0 -1 4202560 1532 0 0 0 16 0 0 0 20 0 18 0 6503230 9787879424 13205 33554432000 1073741824 1073778376 140736262550336 140302398860088 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=10269/tid=10285] ppid=10266 vsize=9558476 CPUtime=0.23 cores=1,3,5,7 /proc/10269/task/10285/stat : 10285 (java) S 10266 10269 9187 0 -1 4202560 2191 0 0 0 23 0 0 0 20 0 18 0 6503230 9787879424 13205 33554432000 1073741824 1073778376 140736262550336 140302397807544 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=10269/tid=10286] ppid=10266 vsize=9558476 CPUtime=0 cores=1,3,5,7 /proc/10269/task/10286/stat : 10286 (java) S 10266 10269 9187 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 6503230 9787879424 13205 33554432000 1073741824 1073778376 140736262550336 140302396754680 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=10269/tid=10287] ppid=10266 vsize=9558476 CPUtime=0 cores=1,3,5,7 /proc/10269/task/10287/stat : 10287 (java) S 10266 10269 9187 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 6503230 9787879424 13205 33554432000 1073741824 1073778376 140736262550336 140302395702344 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1.9 Current children cumulated vsize (KiB) 9558476 [startup+3.10068 s] /proc/loadavg: 2.11 2.07 2.07 3/212 10287 /proc/meminfo: memFree=25262684/32872528 swapFree=242912/249044 [pid=10269] ppid=10266 vsize=9625040 CPUtime=3.86 cores=1,3,5,7 /proc/10269/stat : 10269 (java) S 10266 10269 9187 0 -1 4202496 14110 0 1 0 384 2 0 0 20 0 19 0 6503224 9856040960 19922 33554432000 1073741824 1073778376 140736262550336 140736262541472 247067607101 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/10269/statm: 2406260 19922 2261 9 0 2396937 0 [pid=10269/tid=10271] ppid=10266 vsize=9625040 CPUtime=3.07 cores=1,3,5,7 /proc/10269/task/10271/stat : 10271 (java) R 10266 10269 9187 0 -1 4202560 2427 0 1 0 305 2 0 0 20 0 19 0 6503224 9856040960 19922 33554432000 1073741824 1073778376 140736262550336 140302646526592 140302505600316 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 [pid=10269/tid=10272] ppid=10266 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/10269/task/10272/stat : 10272 (java) S 10266 10269 9187 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 6503226 9856040960 19922 33554432000 1073741824 1073778376 140736262550336 140302624627112 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=10269/tid=10273] ppid=10266 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/10269/task/10273/stat : 10273 (java) S 10266 10269 9187 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 6503226 9856040960 19922 33554432000 1073741824 1073778376 140736262550336 140302421584424 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=10269/tid=10274] ppid=10266 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/10269/task/10274/stat : 10274 (java) S 10266 10269 9187 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 6503226 9856040960 19922 33554432000 1073741824 1073778376 140736262550336 140302420531368 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=10269/tid=10275] ppid=10266 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/10269/task/10275/stat : 10275 (java) S 10266 10269 9187 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 6503226 9856040960 19922 33554432000 1073741824 1073778376 140736262550336 140302419478824 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=10269/tid=10276] ppid=10266 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/10269/task/10276/stat : 10276 (java) S 10266 10269 9187 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 6503226 9856040960 19922 33554432000 1073741824 1073778376 140736262550336 140302418426792 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=10269/tid=10277] ppid=10266 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/10269/task/10277/stat : 10277 (java) S 10266 10269 9187 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 6503226 9856040960 19922 33554432000 1073741824 1073778376 140736262550336 140302417374248 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=10269/tid=10278] ppid=10266 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/10269/task/10278/stat : 10278 (java) S 10266 10269 9187 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 6503226 9856040960 19922 33554432000 1073741824 1073778376 140736262550336 140302416321192 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=10269/tid=10279] ppid=10266 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/10269/task/10279/stat : 10279 (java) S 10266 10269 9187 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 6503226 9856040960 19922 33554432000 1073741824 1073778376 140736262550336 140302415268648 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=10269/tid=10280] ppid=10266 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/10269/task/10280/stat : 10280 (java) S 10266 10269 9187 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 6503227 9856040960 19922 33554432000 1073741824 1073778376 140736262550336 140302403070312 247067621289 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=10269/tid=10281] ppid=10266 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/10269/task/10281/stat : 10281 (java) S 10266 10269 9187 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 6503227 9856040960 19922 33554432000 1073741824 1073778376 140736262550336 140302402016632 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=10269/tid=10282] ppid=10266 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/10269/task/10282/stat : 10282 (java) S 10266 10269 9187 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 6503227 9856040960 19922 33554432000 1073741824 1073778376 140736262550336 140302400963464 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=10269/tid=10283] ppid=10266 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/10269/task/10283/stat : 10283 (java) S 10266 10269 9187 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 6503230 9856040960 19922 33554432000 1073741824 1073778376 140736262550336 140302399912208 247067629344 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=10269/tid=10284] ppid=10266 vsize=9625040 CPUtime=0.4 cores=1,3,5,7 /proc/10269/task/10284/stat : 10284 (java) R 10266 10269 9187 0 -1 4202560 6125 0 0 0 40 0 0 0 20 0 19 0 6503230 9856040960 19922 33554432000 1073741824 1073778376 140736262550336 140302398860088 140302652675639 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 [pid=10269/tid=10285] ppid=10266 vsize=9625040 CPUtime=0.36 cores=1,3,5,7 /proc/10269/task/10285/stat : 10285 (java) R 10266 10269 9187 0 -1 4202560 4281 0 0 0 36 0 0 0 20 0 19 0 6503230 9856040960 19922 33554432000 1073741824 1073778376 140736262550336 140302397795336 140302652373133 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 [pid=10269/tid=10286] ppid=10266 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/10269/task/10286/stat : 10286 (java) S 10266 10269 9187 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 6503230 9856040960 19922 33554432000 1073741824 1073778376 140736262550336 140302396754680 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=10269/tid=10287] ppid=10266 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/10269/task/10287/stat : 10287 (java) S 10266 10269 9187 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 6503230 9856040960 19922 33554432000 1073741824 1073778376 140736262550336 140302395702344 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 3.86 Current children cumulated vsize (KiB) 9625040 [startup+6.30086 s] /proc/loadavg: 2.11 2.07 2.07 3/213 10288 /proc/meminfo: memFree=25139776/32872528 swapFree=242912/249044 [pid=10269] ppid=10266 vsize=9625040 CPUtime=7.7 cores=1,3,5,7 /proc/10269/stat : 10269 (java) S 10266 10269 9187 0 -1 4202496 15161 0 1 0 764 6 0 0 20 0 19 0 6503224 9856040960 46415 33554432000 1073741824 1073778376 140736262550336 140736262541472 247067607101 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/10269/statm: 2406260 46415 2286 9 0 2396937 0 [pid=10269/tid=10271] ppid=10266 vsize=9625040 CPUtime=6.24 cores=1,3,5,7 /proc/10269/task/10271/stat : 10271 (java) R 10266 10269 9187 0 -1 4202560 2478 0 1 0 620 4 0 0 20 0 19 0 6503224 9856040960 46415 33554432000 1073741824 1073778376 140736262550336 140302646518064 140302506370949 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 [pid=10269/tid=10272] ppid=10266 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/10269/task/10272/stat : 10272 (java) S 10266 10269 9187 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 19 0 6503226 9856040960 46415 33554432000 1073741824 1073778376 140736262550336 140302624627112 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=10269/tid=10273] ppid=10266 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/10269/task/10273/stat : 10273 (java) S 10266 10269 9187 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 6503226 9856040960 46415 33554432000 1073741824 1073778376 140736262550336 140302421584424 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=10269/tid=10274] ppid=10266 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/10269/task/10274/stat : 10274 (java) S 10266 10269 9187 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 6503226 9856040960 46415 33554432000 1073741824 1073778376 140736262550336 140302420531368 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=10269/tid=10275] ppid=10266 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/10269/task/10275/stat : 10275 (java) S 10266 10269 9187 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 6503226 9856040960 46415 33554432000 1073741824 1073778376 140736262550336 140302419478824 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=10269/tid=10276] ppid=10266 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/10269/task/10276/stat : 10276 (java) S 10266 10269 9187 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 6503226 9856040960 46415 33554432000 1073741824 1073778376 140736262550336 140302418426792 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=10269/tid=10277] ppid=10266 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/10269/task/10277/stat : 10277 (java) S 10266 10269 9187 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 6503226 9856040960 46415 33554432000 1073741824 1073778376 140736262550336 140302417374248 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=10269/tid=10278] ppid=10266 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/10269/task/10278/stat : 10278 (java) S 10266 10269 9187 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 6503226 9856040960 46415 33554432000 1073741824 1073778376 140736262550336 140302416321192 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=10269/tid=10279] ppid=10266 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/10269/task/10279/stat : 10279 (java) S 10266 10269 9187 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 6503226 9856040960 46415 33554432000 1073741824 1073778376 140736262550336 140302415268648 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=10269/tid=10280] ppid=10266 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/10269/task/10280/stat : 10280 (java) S 10266 10269 9187 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 6503227 9856040960 46415 33554432000 1073741824 1073778376 140736262550336 140302403070312 247067621289 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=10269/tid=10281] ppid=10266 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/10269/task/10281/stat : 10281 (java) S 10266 10269 9187 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 6503227 9856040960 46415 33554432000 1073741824 1073778376 140736262550336 140302402016632 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=10269/tid=10282] ppid=10266 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/10269/task/10282/stat : 10282 (java) S 10266 10269 9187 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 6503227 9856040960 46415 33554432000 1073741824 1073778376 140736262550336 140302400963464 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=10269/tid=10283] ppid=10266 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/10269/task/10283/stat : 10283 (java) S 10266 10269 9187 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 6503230 9856040960 46415 33554432000 1073741824 1073778376 140736262550336 140302399912208 247067629344 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=10269/tid=10284] ppid=10266 vsize=9625040 CPUtime=0.68 cores=1,3,5,7 /proc/10269/task/10284/stat : 10284 (java) S 10266 10269 9187 0 -1 4202560 6151 0 0 0 68 0 0 0 20 0 19 0 6503230 9856040960 46415 33554432000 1073741824 1073778376 140736262550336 140302398860088 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=10269/tid=10285] ppid=10266 vsize=9625040 CPUtime=0.64 cores=1,3,5,7 /proc/10269/task/10285/stat : 10285 (java) S 10266 10269 9187 0 -1 4202560 5198 0 0 0 64 0 0 0 20 0 19 0 6503230 9856040960 46415 33554432000 1073741824 1073778376 140736262550336 140302397807544 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=10269/tid=10286] ppid=10266 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/10269/task/10286/stat : 10286 (java) S 10266 10269 9187 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 6503230 9856040960 46415 33554432000 1073741824 1073778376 140736262550336 140302396754680 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=10269/tid=10287] ppid=10266 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/10269/task/10287/stat : 10287 (java) S 10266 10269 9187 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 6503230 9856040960 46415 33554432000 1073741824 1073778376 140736262550336 140302395702344 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=10269/tid=10288] ppid=10266 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/10269/task/10288/stat : 10288 (java) S 10266 10269 9187 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 6503532 9856040960 46415 33554432000 1073741824 1073778376 140736262550336 140302394549288 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 7.7 Current children cumulated vsize (KiB) 9625040 [startup+12.7009 s] /proc/loadavg: 2.09 2.06 2.07 3/213 10288 /proc/meminfo: memFree=25072456/32872528 swapFree=242912/249044 [pid=10269] ppid=10266 vsize=9625040 CPUtime=14.3 cores=1,3,5,7 ################ # More data... # ################ [pid=10269/tid=10281] ppid=10266 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/10269/task/10281/stat : 10281 (java) S 10266 10269 9187 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 6503227 9856040960 263777 33554432000 1073741824 1073778376 140736262550336 140302402016632 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=10269/tid=10282] ppid=10266 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/10269/task/10282/stat : 10282 (java) S 10266 10269 9187 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 6503227 9856040960 263777 33554432000 1073741824 1073778376 140736262550336 140302400963464 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=10269/tid=10283] ppid=10266 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/10269/task/10283/stat : 10283 (java) S 10266 10269 9187 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 6503230 9856040960 263777 33554432000 1073741824 1073778376 140736262550336 140302399912208 247067629344 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=10269/tid=10284] ppid=10266 vsize=9625040 CPUtime=0.74 cores=1,3,5,7 /proc/10269/task/10284/stat : 10284 (java) S 10266 10269 9187 0 -1 4202560 6170 0 0 0 74 0 0 0 20 0 19 0 6503230 9856040960 263777 33554432000 1073741824 1073778376 140736262550336 140302398860088 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=10269/tid=10285] ppid=10266 vsize=9625040 CPUtime=0.75 cores=1,3,5,7 /proc/10269/task/10285/stat : 10285 (java) S 10266 10269 9187 0 -1 4202560 6471 0 0 0 75 0 0 0 20 0 19 0 6503230 9856040960 263777 33554432000 1073741824 1073778376 140736262550336 140302397807544 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=10269/tid=10286] ppid=10266 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/10269/task/10286/stat : 10286 (java) S 10266 10269 9187 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 6503230 9856040960 263777 33554432000 1073741824 1073778376 140736262550336 140302396754680 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=10269/tid=10287] ppid=10266 vsize=9625040 CPUtime=0.38 cores=1,3,5,7 /proc/10269/task/10287/stat : 10287 (java) S 10266 10269 9187 0 -1 4202560 93 0 0 0 18 20 0 0 20 0 19 0 6503230 9856040960 263777 33554432000 1073741824 1073778376 140736262550336 140302395702344 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=10269/tid=10288] ppid=10266 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/10269/task/10288/stat : 10288 (java) S 10266 10269 9187 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 6503532 9856040960 263777 33554432000 1073741824 1073778376 140736262550336 140302394549288 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1627.23 Current children cumulated vsize (KiB) 9625040 [startup+1662.3 s] /proc/loadavg: 2.06 2.04 2.04 3/214 10331 /proc/meminfo: memFree=24185952/32872528 swapFree=242912/249044 [pid=10269] ppid=10266 vsize=9625040 CPUtime=1688.36 cores=1,3,5,7 /proc/10269/stat : 10269 (java) S 10266 10269 9187 0 -1 4202496 33995 0 1 0 168475 361 0 0 20 0 19 0 6503224 9856040960 304842 33554432000 1073741824 1073778376 140736262550336 140736262541472 247067607101 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/10269/statm: 2406260 304842 2300 9 0 2396937 0 [pid=10269/tid=10271] ppid=10266 vsize=9625040 CPUtime=1648.54 cores=1,3,5,7 /proc/10269/task/10271/stat : 10271 (java) R 10266 10269 9187 0 -1 4202560 2744 0 1 0 164824 30 0 0 20 0 19 0 6503224 9856040960 304842 33554432000 1073741824 1073778376 140736262550336 140302646525104 140302506389752 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 [pid=10269/tid=10272] ppid=10266 vsize=9625040 CPUtime=4.31 cores=1,3,5,7 /proc/10269/task/10272/stat : 10272 (java) S 10266 10269 9187 0 -1 4202560 2183 0 0 0 389 42 0 0 20 0 19 0 6503226 9856040960 304842 33554432000 1073741824 1073778376 140736262550336 140302624627112 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=10269/tid=10273] ppid=10266 vsize=9625040 CPUtime=4.25 cores=1,3,5,7 /proc/10269/task/10273/stat : 10273 (java) S 10266 10269 9187 0 -1 4202560 1972 0 0 0 381 44 0 0 20 0 19 0 6503226 9856040960 304842 33554432000 1073741824 1073778376 140736262550336 140302421584424 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=10269/tid=10274] ppid=10266 vsize=9625040 CPUtime=4.09 cores=1,3,5,7 /proc/10269/task/10274/stat : 10274 (java) S 10266 10269 9187 0 -1 4202560 1850 0 0 0 365 44 0 0 20 0 19 0 6503226 9856040960 304842 33554432000 1073741824 1073778376 140736262550336 140302420531368 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=10269/tid=10275] ppid=10266 vsize=9625040 CPUtime=4.43 cores=1,3,5,7 /proc/10269/task/10275/stat : 10275 (java) S 10266 10269 9187 0 -1 4202560 1539 0 0 0 402 41 0 0 20 0 19 0 6503226 9856040960 304842 33554432000 1073741824 1073778376 140736262550336 140302419478824 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=10269/tid=10276] ppid=10266 vsize=9625040 CPUtime=4 cores=1,3,5,7 /proc/10269/task/10276/stat : 10276 (java) S 10266 10269 9187 0 -1 4202560 1636 0 0 0 364 36 0 0 20 0 19 0 6503226 9856040960 304842 33554432000 1073741824 1073778376 140736262550336 140302418426792 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=10269/tid=10277] ppid=10266 vsize=9625040 CPUtime=3.92 cores=1,3,5,7 /proc/10269/task/10277/stat : 10277 (java) S 10266 10269 9187 0 -1 4202560 1680 0 0 0 355 37 0 0 20 0 19 0 6503226 9856040960 304842 33554432000 1073741824 1073778376 140736262550336 140302417374248 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=10269/tid=10278] ppid=10266 vsize=9625040 CPUtime=4.37 cores=1,3,5,7 /proc/10269/task/10278/stat : 10278 (java) S 10266 10269 9187 0 -1 4202560 2002 0 0 0 392 45 0 0 20 0 19 0 6503226 9856040960 304842 33554432000 1073741824 1073778376 140736262550336 140302416321192 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=10269/tid=10279] ppid=10266 vsize=9625040 CPUtime=4.42 cores=1,3,5,7 /proc/10269/task/10279/stat : 10279 (java) S 10266 10269 9187 0 -1 4202560 1408 0 0 0 401 41 0 0 20 0 19 0 6503226 9856040960 304842 33554432000 1073741824 1073778376 140736262550336 140302415268648 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=10269/tid=10280] ppid=10266 vsize=9625040 CPUtime=4.46 cores=1,3,5,7 /proc/10269/task/10280/stat : 10280 (java) S 10266 10269 9187 0 -1 4202560 2978 0 0 0 439 7 0 0 20 0 19 0 6503227 9856040960 304842 33554432000 1073741824 1073778376 140736262550336 140302403070312 247067621289 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=10269/tid=10281] ppid=10266 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/10269/task/10281/stat : 10281 (java) S 10266 10269 9187 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 6503227 9856040960 304842 33554432000 1073741824 1073778376 140736262550336 140302402016632 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=10269/tid=10282] ppid=10266 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/10269/task/10282/stat : 10282 (java) S 10266 10269 9187 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 6503227 9856040960 304842 33554432000 1073741824 1073778376 140736262550336 140302400963464 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=10269/tid=10283] ppid=10266 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/10269/task/10283/stat : 10283 (java) S 10266 10269 9187 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 6503230 9856040960 304842 33554432000 1073741824 1073778376 140736262550336 140302399912208 247067629344 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=10269/tid=10284] ppid=10266 vsize=9625040 CPUtime=0.74 cores=1,3,5,7 /proc/10269/task/10284/stat : 10284 (java) S 10266 10269 9187 0 -1 4202560 6170 0 0 0 74 0 0 0 20 0 19 0 6503230 9856040960 304842 33554432000 1073741824 1073778376 140736262550336 140302398860088 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=10269/tid=10285] ppid=10266 vsize=9625040 CPUtime=0.75 cores=1,3,5,7 /proc/10269/task/10285/stat : 10285 (java) S 10266 10269 9187 0 -1 4202560 6471 0 0 0 75 0 0 0 20 0 19 0 6503230 9856040960 304842 33554432000 1073741824 1073778376 140736262550336 140302397807544 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=10269/tid=10286] ppid=10266 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/10269/task/10286/stat : 10286 (java) S 10266 10269 9187 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 6503230 9856040960 304842 33554432000 1073741824 1073778376 140736262550336 140302396754680 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=10269/tid=10287] ppid=10266 vsize=9625040 CPUtime=0.39 cores=1,3,5,7 /proc/10269/task/10287/stat : 10287 (java) S 10266 10269 9187 0 -1 4202560 97 0 0 0 18 21 0 0 20 0 19 0 6503230 9856040960 304842 33554432000 1073741824 1073778376 140736262550336 140302395702344 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=10269/tid=10288] ppid=10266 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/10269/task/10288/stat : 10288 (java) S 10266 10269 9187 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 6503532 9856040960 304842 33554432000 1073741824 1073778376 140736262550336 140302394549288 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1688.36 Current children cumulated vsize (KiB) 9625040 [startup+1722.3 s] /proc/loadavg: 2.02 2.03 2.04 3/214 10420 /proc/meminfo: memFree=24291116/32872528 swapFree=242912/249044 [pid=10269] ppid=10266 vsize=9625040 CPUtime=1749.52 cores=1,3,5,7 /proc/10269/stat : 10269 (java) S 10266 10269 9187 0 -1 4202496 34866 0 1 0 174558 394 0 0 20 0 19 0 6503224 9856040960 368222 33554432000 1073741824 1073778376 140736262550336 140736262541472 247067607101 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/10269/statm: 2406260 368222 2300 9 0 2396937 0 [pid=10269/tid=10271] ppid=10266 vsize=9625040 CPUtime=1707.77 cores=1,3,5,7 /proc/10269/task/10271/stat : 10271 (java) R 10266 10269 9187 0 -1 4202560 2753 0 1 0 170747 30 0 0 20 0 19 0 6503224 9856040960 368222 33554432000 1073741824 1073778376 140736262550336 140302646525088 140302506239821 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 [pid=10269/tid=10272] ppid=10266 vsize=9625040 CPUtime=4.55 cores=1,3,5,7 /proc/10269/task/10272/stat : 10272 (java) S 10266 10269 9187 0 -1 4202560 2261 0 0 0 409 46 0 0 20 0 19 0 6503226 9856040960 368222 33554432000 1073741824 1073778376 140736262550336 140302624627112 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=10269/tid=10273] ppid=10266 vsize=9625040 CPUtime=4.44 cores=1,3,5,7 /proc/10269/task/10273/stat : 10273 (java) S 10266 10269 9187 0 -1 4202560 2024 0 0 0 398 46 0 0 20 0 19 0 6503226 9856040960 368222 33554432000 1073741824 1073778376 140736262550336 140302421584424 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=10269/tid=10274] ppid=10266 vsize=9625040 CPUtime=4.22 cores=1,3,5,7 /proc/10269/task/10274/stat : 10274 (java) S 10266 10269 9187 0 -1 4202560 1911 0 0 0 374 48 0 0 20 0 19 0 6503226 9856040960 368222 33554432000 1073741824 1073778376 140736262550336 140302420531368 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=10269/tid=10275] ppid=10266 vsize=9625040 CPUtime=4.64 cores=1,3,5,7 /proc/10269/task/10275/stat : 10275 (java) S 10266 10269 9187 0 -1 4202560 1617 0 0 0 418 46 0 0 20 0 19 0 6503226 9856040960 368222 33554432000 1073741824 1073778376 140736262550336 140302419478824 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=10269/tid=10276] ppid=10266 vsize=9625040 CPUtime=4.26 cores=1,3,5,7 /proc/10269/task/10276/stat : 10276 (java) S 10266 10269 9187 0 -1 4202560 1727 0 0 0 384 42 0 0 20 0 19 0 6503226 9856040960 368222 33554432000 1073741824 1073778376 140736262550336 140302418426792 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=10269/tid=10277] ppid=10266 vsize=9625040 CPUtime=4.09 cores=1,3,5,7 /proc/10269/task/10277/stat : 10277 (java) S 10266 10269 9187 0 -1 4202560 1747 0 0 0 369 40 0 0 20 0 19 0 6503226 9856040960 368222 33554432000 1073741824 1073778376 140736262550336 140302417374248 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=10269/tid=10278] ppid=10266 vsize=9625040 CPUtime=4.53 cores=1,3,5,7 /proc/10269/task/10278/stat : 10278 (java) S 10266 10269 9187 0 -1 4202560 2053 0 0 0 405 48 0 0 20 0 19 0 6503226 9856040960 368222 33554432000 1073741824 1073778376 140736262550336 140302416321192 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=10269/tid=10279] ppid=10266 vsize=9625040 CPUtime=4.64 cores=1,3,5,7 /proc/10269/task/10279/stat : 10279 (java) S 10266 10269 9187 0 -1 4202560 1481 0 0 0 419 45 0 0 20 0 19 0 6503226 9856040960 368222 33554432000 1073741824 1073778376 140736262550336 140302415268648 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=10269/tid=10280] ppid=10266 vsize=9625040 CPUtime=4.8 cores=1,3,5,7 /proc/10269/task/10280/stat : 10280 (java) S 10266 10269 9187 0 -1 4202560 3287 0 0 0 473 7 0 0 20 0 19 0 6503227 9856040960 368222 33554432000 1073741824 1073778376 140736262550336 140302403070312 247067621289 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=10269/tid=10281] ppid=10266 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/10269/task/10281/stat : 10281 (java) S 10266 10269 9187 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 6503227 9856040960 368222 33554432000 1073741824 1073778376 140736262550336 140302402016632 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=10269/tid=10282] ppid=10266 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/10269/task/10282/stat : 10282 (java) S 10266 10269 9187 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 6503227 9856040960 368222 33554432000 1073741824 1073778376 140736262550336 140302400963464 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=10269/tid=10283] ppid=10266 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/10269/task/10283/stat : 10283 (java) S 10266 10269 9187 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 6503230 9856040960 368222 33554432000 1073741824 1073778376 140736262550336 140302399912208 247067629344 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=10269/tid=10284] ppid=10266 vsize=9625040 CPUtime=0.74 cores=1,3,5,7 /proc/10269/task/10284/stat : 10284 (java) S 10266 10269 9187 0 -1 4202560 6170 0 0 0 74 0 0 0 20 0 19 0 6503230 9856040960 368222 33554432000 1073741824 1073778376 140736262550336 140302398860088 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=10269/tid=10285] ppid=10266 vsize=9625040 CPUtime=0.75 cores=1,3,5,7 /proc/10269/task/10285/stat : 10285 (java) S 10266 10269 9187 0 -1 4202560 6471 0 0 0 75 0 0 0 20 0 19 0 6503230 9856040960 368222 33554432000 1073741824 1073778376 140736262550336 140302397807544 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=10269/tid=10286] ppid=10266 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/10269/task/10286/stat : 10286 (java) S 10266 10269 9187 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 6503230 9856040960 368222 33554432000 1073741824 1073778376 140736262550336 140302396754680 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=10269/tid=10287] ppid=10266 vsize=9625040 CPUtime=0.42 cores=1,3,5,7 /proc/10269/task/10287/stat : 10287 (java) S 10266 10269 9187 0 -1 4202560 99 0 0 0 19 23 0 0 20 0 19 0 6503230 9856040960 368222 33554432000 1073741824 1073778376 140736262550336 140302395702344 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=10269/tid=10288] ppid=10266 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/10269/task/10288/stat : 10288 (java) S 10266 10269 9187 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 6503532 9856040960 368222 33554432000 1073741824 1073778376 140736262550336 140302394549288 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1749.52 Current children cumulated vsize (KiB) 9625040 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1772 s] /proc/loadavg: 2.05 2.04 2.04 3/213 10421 /proc/meminfo: memFree=24211872/32872528 swapFree=242912/249044 [pid=10269] ppid=10266 vsize=9625040 CPUtime=1800.01 cores=1,3,5,7 /proc/10269/stat : 10269 (java) S 10266 10269 9187 0 -1 4202496 35228 0 1 0 179604 397 0 0 20 0 19 0 6503224 9856040960 374139 33554432000 1073741824 1073778376 140736262550336 140736262541472 247067607101 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/10269/statm: 2406260 374139 2300 9 0 2396937 0 [pid=10269/tid=10271] ppid=10266 vsize=9625040 CPUtime=1757.02 cores=1,3,5,7 /proc/10269/task/10271/stat : 10271 (java) R 10266 10269 9187 0 -1 4202560 2761 0 1 0 175671 31 0 0 20 0 19 0 6503224 9856040960 374139 33554432000 1073741824 1073778376 140736262550336 140302646525104 140302506370712 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 [pid=10269/tid=10272] ppid=10266 vsize=9625040 CPUtime=4.74 cores=1,3,5,7 /proc/10269/task/10272/stat : 10272 (java) S 10266 10269 9187 0 -1 4202560 2264 0 0 0 427 47 0 0 20 0 19 0 6503226 9856040960 374139 33554432000 1073741824 1073778376 140736262550336 140302624627112 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=10269/tid=10273] ppid=10266 vsize=9625040 CPUtime=4.55 cores=1,3,5,7 /proc/10269/task/10273/stat : 10273 (java) S 10266 10269 9187 0 -1 4202560 2026 0 0 0 409 46 0 0 20 0 19 0 6503226 9856040960 374139 33554432000 1073741824 1073778376 140736262550336 140302421584424 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=10269/tid=10274] ppid=10266 vsize=9625040 CPUtime=4.35 cores=1,3,5,7 /proc/10269/task/10274/stat : 10274 (java) S 10266 10269 9187 0 -1 4202560 1927 0 0 0 387 48 0 0 20 0 19 0 6503226 9856040960 374139 33554432000 1073741824 1073778376 140736262550336 140302420531368 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=10269/tid=10275] ppid=10266 vsize=9625040 CPUtime=4.76 cores=1,3,5,7 /proc/10269/task/10275/stat : 10275 (java) S 10266 10269 9187 0 -1 4202560 1629 0 0 0 429 47 0 0 20 0 19 0 6503226 9856040960 374139 33554432000 1073741824 1073778376 140736262550336 140302419478824 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=10269/tid=10276] ppid=10266 vsize=9625040 CPUtime=4.39 cores=1,3,5,7 /proc/10269/task/10276/stat : 10276 (java) S 10266 10269 9187 0 -1 4202560 1738 0 0 0 396 43 0 0 20 0 19 0 6503226 9856040960 374139 33554432000 1073741824 1073778376 140736262550336 140302418426792 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=10269/tid=10277] ppid=10266 vsize=9625040 CPUtime=4.23 cores=1,3,5,7 /proc/10269/task/10277/stat : 10277 (java) S 10266 10269 9187 0 -1 4202560 1768 0 0 0 383 40 0 0 20 0 19 0 6503226 9856040960 374139 33554432000 1073741824 1073778376 140736262550336 140302417374248 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=10269/tid=10278] ppid=10266 vsize=9625040 CPUtime=4.69 cores=1,3,5,7 /proc/10269/task/10278/stat : 10278 (java) S 10266 10269 9187 0 -1 4202560 2063 0 0 0 420 49 0 0 20 0 19 0 6503226 9856040960 374139 33554432000 1073741824 1073778376 140736262550336 140302416321192 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=10269/tid=10279] ppid=10266 vsize=9625040 CPUtime=4.77 cores=1,3,5,7 /proc/10269/task/10279/stat : 10279 (java) S 10266 10269 9187 0 -1 4202560 1481 0 0 0 432 45 0 0 20 0 19 0 6503226 9856040960 374139 33554432000 1073741824 1073778376 140736262550336 140302415268648 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=10269/tid=10280] ppid=10266 vsize=9625040 CPUtime=4.96 cores=1,3,5,7 /proc/10269/task/10280/stat : 10280 (java) S 10266 10269 9187 0 -1 4202560 3562 0 0 0 488 8 0 0 20 0 19 0 6503227 9856040960 374139 33554432000 1073741824 1073778376 140736262550336 140302403070312 247067621289 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=10269/tid=10281] ppid=10266 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/10269/task/10281/stat : 10281 (java) S 10266 10269 9187 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 6503227 9856040960 374139 33554432000 1073741824 1073778376 140736262550336 140302402016632 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=10269/tid=10282] ppid=10266 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/10269/task/10282/stat : 10282 (java) S 10266 10269 9187 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 6503227 9856040960 374139 33554432000 1073741824 1073778376 140736262550336 140302400963464 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=10269/tid=10283] ppid=10266 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/10269/task/10283/stat : 10283 (java) S 10266 10269 9187 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 6503230 9856040960 374139 33554432000 1073741824 1073778376 140736262550336 140302399912208 247067629344 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=10269/tid=10284] ppid=10266 vsize=9625040 CPUtime=0.74 cores=1,3,5,7 /proc/10269/task/10284/stat : 10284 (java) S 10266 10269 9187 0 -1 4202560 6170 0 0 0 74 0 0 0 20 0 19 0 6503230 9856040960 374139 33554432000 1073741824 1073778376 140736262550336 140302398860088 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=10269/tid=10285] ppid=10266 vsize=9625040 CPUtime=0.75 cores=1,3,5,7 /proc/10269/task/10285/stat : 10285 (java) S 10266 10269 9187 0 -1 4202560 6471 0 0 0 75 0 0 0 20 0 19 0 6503230 9856040960 374139 33554432000 1073741824 1073778376 140736262550336 140302397807544 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=10269/tid=10286] ppid=10266 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/10269/task/10286/stat : 10286 (java) S 10266 10269 9187 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 6503230 9856040960 374139 33554432000 1073741824 1073778376 140736262550336 140302396754680 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=10269/tid=10287] ppid=10266 vsize=9625040 CPUtime=0.42 cores=1,3,5,7 /proc/10269/task/10287/stat : 10287 (java) S 10266 10269 9187 0 -1 4202560 103 0 0 0 19 23 0 0 20 0 19 0 6503230 9856040960 374139 33554432000 1073741824 1073778376 140736262550336 140302395702344 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=10269/tid=10288] ppid=10266 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/10269/task/10288/stat : 10288 (java) S 10266 10269 9187 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 6503532 9856040960 374139 33554432000 1073741824 1073778376 140736262550336 140302394549288 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1800.01 Current children cumulated vsize (KiB) 9625040 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. ??? exit watcher main loop ??? sigkill at end of watcher main loop ??? kill 10269 sig 9 ??? end of watcher thread Dumping a history of the last processes samples Child status: 143 Real time (s): 1772.04 CPU time (s): 1800.64 CPU user time (s): 1796.23 CPU system time (s): 4.41133 CPU usage (%): 101.614 Max. virtual memory (cumulated for all children) (KiB): 9625040 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1796.23 system time used= 4.41133 maximum resident set size= 1505408 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 35276 page faults= 1 swaps= 0 block input operations= 0 block output operations= 1720 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 46058 involuntary context switches= 34783 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 12.2281 second user time and 16.6085 second system time The end
Begin job on node103 at 2016-06-30 04:32:49 IDJOB=4119306 IDBENCH=111697 IDSOLVER=2546 FILE ID=node103/4119306-1467253969 RUNJOBID= node103-1467246683-9204 PBS_JOBID= 20004480 Free space on /tmp= 71712 MiB SOLVER NAME= Sat4j PB 2.3.6 Resolution PB16 BENCH NAME= PB15eval/normalized-PB15eval/OPT-SMALLINT-NLC/minlplib2-pb-0.1.0/opb/normalized-autocorr_bern40-30.opb COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4119306-1467253969/watcher-4119306-1467253969 -o /tmp/evaluation-result-4119306-1467253969/solver-4119306-1467253969 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node103-1467246683-9204 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4119306-1467253969.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= d36e490582f49f28bcbb16ea0b07dfa2 RANDOM SEED=234702740 node103.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.456 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.91 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.456 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.456 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.54 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.456 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.456 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.456 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.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.456 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.456 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: 25322456 kB Buffers: 130252 kB Cached: 5737876 kB SwapCached: 0 kB Active: 2019948 kB Inactive: 4517848 kB Active(anon): 672240 kB Inactive(anon): 0 kB Active(file): 1347708 kB Inactive(file): 4517848 kB Unevictable: 249044 kB Mlocked: 242912 kB SwapTotal: 67108856 kB SwapFree: 67108856 kB Dirty: 852 kB Writeback: 0 kB AnonPages: 992248 kB Mapped: 22256 kB Shmem: 204 kB Slab: 624468 kB SReclaimable: 68792 kB SUnreclaim: 555676 kB KernelStack: 1768 kB PageTables: 6364 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 1169924 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 706560 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= 71712 MiB End job on node103 at 2016-06-30 05:02:21