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) | -6430 | 1800.32 | 931.046 |
| Name | PB15eval/normalized-PB15eval/OPT-SMALLINT-NLC/ minlplib2-pb-0.1.0/opb/normalized-autocorr_bern35-26.opb |
| MD5SUM | 61f861a809c67b3b9e09d3e35a314eb9 |
| 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 | -6585 |
| Best CPU time to get the best result obtained on this benchmark | 1800.02 |
| 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 | 8347 |
| Biggest coefficient in the objective function | 2182 |
| Number of bits for the biggest coefficient in the objective function | 12 |
| Sum of the numbers in the objective function | 499920 |
| Number of bits of the sum of numbers in the objective function | 19 |
| Biggest number in a constraint | 2182 |
| Number of bits of the biggest number in a constraint | 12 |
| Biggest sum of numbers in a constraint | 499920 |
| Number of bits of the biggest sum of numbers | 19 |
| Number of products (including duplicates) | 8312 |
| Sum of products size (including duplicates) | 26904 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.07 c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS 0.00/0.07 c This is free software under the dual EPL/GNU LGPL licenses. 0.00/0.07 c See www.sat4j.org for details. 0.00/0.08 c version PB16.v20160501 0.00/0.08 c java.runtime.name Java(TM) SE Runtime Environment 0.00/0.08 c java.vm.name Java HotSpot(TM) 64-Bit Server VM 0.00/0.08 c java.vm.version 19.1-b02 0.00/0.08 c java.vm.vendor Sun Microsystems Inc. 0.00/0.08 c sun.arch.data.model 64 0.00/0.08 c java.version 1.6.0_24 0.00/0.08 c os.name Linux 0.00/0.08 c os.version 2.6.32-71.29.1.el6.x86_64 0.00/0.08 c os.arch amd64 0.00/0.08 c Free memory 501472288 0.00/0.08 c Max memory 7480803328 0.00/0.08 c Total memory 504102912 0.00/0.08 c Number of processors 8 0.11/0.11 c Pseudo Boolean Optimization by upper bound 0.11/0.11 c ManyCore solver with 2 solvers running in parallel 0.11/0.11 c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<< 0.11/0.11 c --- Begin Solver configuration --- 0.11/0.11 c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@16fd0b7 0.11/0.11 c Learn all clauses as in MiniSAT 0.11/0.11 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.11/0.11 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.11/0.11 c Expensive reason simplification 0.11/0.11 c Glucose 2.1 dynamic restart strategy 0.11/0.11 c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000 0.11/0.11 c timeout=2147483s 0.11/0.11 c DB Simplification allowed=false 0.11/0.11 c Listener: org.sat4j.pb.tools.ManyCorePB@4413ee 0.11/0.11 c --- End Solver configuration --- 0.11/0.11 c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<< 0.11/0.11 c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP) 0.11/0.11 c --- Begin Solver configuration --- 0.11/0.11 c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@75786e64 0.11/0.11 c Learn all clauses as in MiniSAT 0.11/0.11 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.11/0.11 c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function 0.11/0.11 c No reason simplification 0.11/0.11 c Armin Biere (Picosat) restarts strategy 0.11/0.11 c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000 0.11/0.11 c timeout=2147483s 0.11/0.11 c DB Simplification allowed=false 0.11/0.11 c Listener: org.sat4j.pb.tools.ManyCorePB@4413ee 0.11/0.11 c --- End Solver configuration --- 0.11/0.11 c solving HOME/instance-4119581-1467259406.opb 0.11/0.11 c reading problem ... 0.11/0.11 c objective function found 2.07/1.59 c ... done. Wall clock time 1.487s. 2.07/1.59 c declared #vars 35 2.07/1.59 c internal #vars 8347 2.07/1.59 c #constraints 16624 2.07/1.60 c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<< 2.07/1.60 c constraints type 2.07/1.60 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 8312 2.07/1.60 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 8312 2.07/1.60 c 16624 constraints processed. 2.07/1.60 c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<< 2.20/1.60 c constraints type 2.20/1.60 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 8312 2.20/1.60 c org.sat4j.pb.constraints.pb.MaxWatchPb => 8312 2.20/1.60 c 16624 constraints processed. 2.20/1.60 c objective function length is 8347 literals 2.59/1.74 c And the winner is solver0 2.75/2.10 c SATISFIABLE 2.75/2.10 c OPTIMIZING... 2.75/2.10 c Got one! Elapsed wall clock time (in seconds):1.996 2.75/2.10 o 0 2.75/2.20 c And the winner is solver0 3.15/2.64 c Got one! Elapsed wall clock time (in seconds):2.537 3.15/2.64 o -150 3.15/2.69 c And the winner is solver0 3.51/3.17 c Got one! Elapsed wall clock time (in seconds):3.061 3.51/3.17 o -300 3.61/3.21 c And the winner is solver0 3.76/3.69 c Got one! Elapsed wall clock time (in seconds):3.578 3.76/3.69 o -565 3.79/3.72 c And the winner is solver0 3.86/4.20 c Got one! Elapsed wall clock time (in seconds):4.092 3.86/4.20 o -726 3.86/4.23 c And the winner is solver0 3.93/4.71 c Got one! Elapsed wall clock time (in seconds):4.604 3.93/4.71 o -830 3.93/4.73 c And the winner is solver0 3.97/5.22 c Got one! Elapsed wall clock time (in seconds):5.117 3.97/5.22 o -1179 3.97/5.27 c And the winner is solver0 4.19/5.74 c Got one! Elapsed wall clock time (in seconds):5.629 4.19/5.74 o -1183 4.19/5.77 c And the winner is solver0 4.28/6.25 c Got one! Elapsed wall clock time (in seconds):6.139 4.28/6.25 o -1246 4.28/6.27 c And the winner is solver0 4.40/6.76 c Got one! Elapsed wall clock time (in seconds):6.649 4.40/6.76 o -1288 4.40/6.77 c And the winner is solver0 4.43/7.27 c Got one! Elapsed wall clock time (in seconds):7.158 4.43/7.27 o -1351 4.43/7.28 c And the winner is solver0 4.46/7.78 c Got one! Elapsed wall clock time (in seconds):7.668 4.46/7.78 o -1528 4.51/7.80 c And the winner is solver0 4.55/8.28 c Got one! Elapsed wall clock time (in seconds):8.178 4.55/8.28 o -1934 4.56/8.38 c And the winner is solver0 4.83/8.79 c Got one! Elapsed wall clock time (in seconds):8.687 4.83/8.79 o -2313 4.84/8.90 c And the winner is solver0 5.07/9.30 c Got one! Elapsed wall clock time (in seconds):9.198 5.07/9.30 o -2340 5.29/9.41 c And the winner is solver0 5.33/9.81 c Got one! Elapsed wall clock time (in seconds):9.707 5.33/9.81 o -2378 5.33/9.90 c And the winner is solver0 5.51/10.32 c Got one! Elapsed wall clock time (in seconds):10.217 5.51/10.32 o -2513 5.63/10.40 c And the winner is solver0 5.66/10.83 c Got one! Elapsed wall clock time (in seconds):10.727 5.66/10.83 o -2540 5.66/10.87 c And the winner is solver0 5.74/11.34 c Got one! Elapsed wall clock time (in seconds):11.237 5.74/11.34 o -2618 5.86/11.47 c And the winner is solver0 6.06/11.86 c Got one! Elapsed wall clock time (in seconds):11.746 6.06/11.86 o -2687 6.13/11.91 c And the winner is solver0 6.17/12.36 c Got one! Elapsed wall clock time (in seconds):12.256 6.17/12.36 o -2726 6.22/12.40 c And the winner is solver0 6.25/12.87 c Got one! Elapsed wall clock time (in seconds):12.766 6.25/12.87 o -2753 6.25/12.90 c And the winner is solver0 6.29/13.39 c Got one! Elapsed wall clock time (in seconds):13.275 6.29/13.39 o -2784 6.31/13.41 c And the winner is solver0 6.34/13.89 c Got one! Elapsed wall clock time (in seconds):13.785 6.34/13.89 o -3224 7.09/14.30 c And the winner is solver0 7.66/14.71 c Got one! Elapsed wall clock time (in seconds):14.596 7.66/14.71 o -3228 8.09/14.98 c And the winner is solver0 8.68/15.46 c Got one! Elapsed wall clock time (in seconds):15.356 8.68/15.46 o -3655 9.90/16.07 c And the winner is solver0 10.22/16.47 c Got one! Elapsed wall clock time (in seconds):16.366 10.22/16.47 o -3685 10.85/16.86 c And the winner is solver0 11.32/17.23 c Got one! Elapsed wall clock time (in seconds):17.127 11.32/17.23 o -3688 11.93/17.60 c And the winner is solver0 12.53/18.05 c Got one! Elapsed wall clock time (in seconds):17.938 12.53/18.05 o -4029 14.76/19.19 c And the winner is solver0 15.02/19.56 c Got one! Elapsed wall clock time (in seconds):19.448 15.02/19.56 o -4066 16.34/20.25 c And the winner is solver0 16.74/20.57 c Got one! Elapsed wall clock time (in seconds):20.459 16.74/20.57 o -4094 17.45/20.95 c And the winner is solver0 17.99/21.43 c Got one! Elapsed wall clock time (in seconds):21.321 17.99/21.43 o -4106 18.79/21.81 c And the winner is solver0 19.31/22.34 c Got one! Elapsed wall clock time (in seconds):22.233 19.31/22.34 o -4454 25.10/25.24 c And the winner is solver0 25.41/25.50 c Got one! Elapsed wall clock time (in seconds):25.394 25.41/25.50 o -4456 28.33/26.85 c And the winner is solver0 28.55/27.01 c Got one! Elapsed wall clock time (in seconds):26.904 28.55/27.01 o -4463 30.11/27.88 c And the winner is solver0 30.79/28.47 c Got one! Elapsed wall clock time (in seconds):28.366 30.79/28.47 o -4489 31.46/28.82 c And the winner is solver0 31.79/29.18 c Got one! Elapsed wall clock time (in seconds):29.077 31.79/29.18 o -4495 32.06/29.33 c And the winner is solver0 32.14/29.69 c Got one! Elapsed wall clock time (in seconds):29.588 32.14/29.69 o -4498 32.15/29.75 c And the winner is solver0 32.26/30.21 c Got one! Elapsed wall clock time (in seconds):30.098 32.26/30.21 o -4503 32.26/30.26 c And the winner is solver0 32.38/30.72 c Got one! Elapsed wall clock time (in seconds):30.609 32.38/30.72 o -4785 42.62/35.88 c And the winner is solver0 43.01/36.23 c Got one! Elapsed wall clock time (in seconds):36.121 43.01/36.23 o -4789 46.16/37.80 c cleaning 5994 clauses out of 11987 with flag 2015/11987 50.05/39.73 c And the winner is solver0 50.27/39.94 c Got one! Elapsed wall clock time (in seconds):39.833 50.27/39.94 o -4803 53.18/41.46 c And the winner is solver0 53.75/41.95 c Got one! Elapsed wall clock time (in seconds):41.844 53.75/41.95 o -4817 55.03/42.61 c And the winner is solver0 55.09/42.96 c Got one! Elapsed wall clock time (in seconds):42.855 55.09/42.96 o -4831 56.15/43.56 c And the winner is solver0 56.37/43.97 c Got one! Elapsed wall clock time (in seconds):43.866 56.37/43.97 o -4836 56.37/44.00 c And the winner is solver0 56.46/44.48 c Got one! Elapsed wall clock time (in seconds):44.377 56.46/44.48 o -5047 68.67/50.63 c cleaning 6440 clauses out of 12881 with flag 8003/18875 80.21/56.30 c And the winner is solver0 80.42/56.54 c Got one! Elapsed wall clock time (in seconds):56.433 80.42/56.54 o -5061 86.36/59.53 c cleaning 5803 clauses out of 11608 with flag 4025/24042 92.68/62.62 c And the winner is solver0 93.21/63.15 c Got one! Elapsed wall clock time (in seconds):63.044 93.21/63.15 o -5077 99.35/66.27 c And the winner is solver0 99.82/66.66 c Got one! Elapsed wall clock time (in seconds):66.556 99.82/66.66 o -5082 102.72/68.19 c And the winner is solver0 103.41/68.78 c Got one! Elapsed wall clock time (in seconds):68.668 103.41/68.78 o -5142 105.68/69.99 c And the winner is solver0 105.95/70.29 c Got one! Elapsed wall clock time (in seconds):70.18 105.95/70.29 o -5143 106.75/70.76 c And the winner is solver0 107.10/71.00 c Got one! Elapsed wall clock time (in seconds):70.892 107.10/71.00 o -5389 113.08/74.02 c cleaning 6793 clauses out of 13587 with flag 4001/31824 132.01/83.44 c cleaning 6398 clauses out of 12795 with flag 16003/37825 155.58/95.29 c cleaning 6697 clauses out of 13397 with flag 30003/44825 164.78/99.83 c And the winner is solver0 165.23/100.27 c Got one! Elapsed wall clock time (in seconds):100.159 165.23/100.27 o -5391 174.71/104.96 c cleaning 6248 clauses out of 12500 with flag 6026/50625 185.12/110.13 c And the winner is solver0 185.35/110.33 c Got one! Elapsed wall clock time (in seconds):110.223 185.35/110.33 o -5398 192.31/113.83 c cleaning 5635 clauses out of 11273 with flag 4040/55646 202.98/119.15 c And the winner is solver0 203.54/119.67 c Got one! Elapsed wall clock time (in seconds):119.562 203.54/119.67 o -5400 206.83/121.32 c And the winner is solver0 207.56/122.03 c Got one! Elapsed wall clock time (in seconds):121.925 207.56/122.03 o -5491 213.38/124.91 c cleaning 5766 clauses out of 11540 with flag 4001/61548 233.29/134.83 c cleaning 5885 clauses out of 11775 with flag 16003/67549 258.17/147.25 c cleaning 6443 clauses out of 12890 with flag 30003/74549 287.94/162.26 c cleaning 7223 clauses out of 14446 with flag 46001/82548 312.51/174.47 c And the winner is solver0 312.70/174.56 c Got one! Elapsed wall clock time (in seconds):174.451 312.70/174.56 o -5554 330.03/183.25 c cleaning 9450 clauses out of 18902 with flag 10002/94227 352.01/194.18 c cleaning 7721 clauses out of 15452 with flag 22002/100227 370.82/203.52 c And the winner is solver0 371.33/204.03 c Got one! Elapsed wall clock time (in seconds):203.923 371.33/204.03 o -5573 389.16/212.91 c cleaning 8878 clauses out of 17759 with flag 10005/110255 399.62/218.17 c And the winner is solver0 400.17/218.60 c Got one! Elapsed wall clock time (in seconds):218.49 400.17/218.60 o -5593 406.75/221.98 c cleaning 7026 clauses out of 14051 with flag 4004/115425 406.95/222.09 c And the winner is solver0 407.25/222.27 c Got one! Elapsed wall clock time (in seconds):222.155 407.25/222.27 o -5619 410.99/224.12 c And the winner is solver0 411.33/224.48 c Got one! Elapsed wall clock time (in seconds):224.37 411.33/224.48 o -5623 412.61/225.10 c And the winner is solver0 412.92/225.49 c Got one! Elapsed wall clock time (in seconds):225.384 412.92/225.49 o -5624 413.00/225.56 c And the winner is solver0 413.16/226.00 c Got one! Elapsed wall clock time (in seconds):225.898 413.16/226.00 o -5625 413.16/226.03 c And the winner is solver0 413.22/226.52 c Got one! Elapsed wall clock time (in seconds):226.412 413.22/226.52 o -5627 413.96/226.91 c And the winner is solver0 414.58/227.53 c Got one! Elapsed wall clock time (in seconds):227.426 414.58/227.53 o -5628 415.50/228.01 c And the winner is solver0 416.02/228.55 c Got one! Elapsed wall clock time (in seconds):228.441 416.02/228.55 o -5629 416.12/228.64 c And the winner is solver0 416.30/229.06 c Got one! Elapsed wall clock time (in seconds):228.955 416.30/229.06 o -5650 425.21/233.51 c And the winner is solver0 425.33/233.63 c Got one! Elapsed wall clock time (in seconds):233.519 425.33/233.63 o -5655 425.69/233.89 c And the winner is solver0 426.39/234.49 c Got one! Elapsed wall clock time (in seconds):234.384 426.39/234.49 o -5657 426.67/234.61 c And the winner is solver0 426.80/235.01 c Got one! Elapsed wall clock time (in seconds):234.898 426.80/235.01 o -5658 429.51/236.68 c And the winner is solver0 430.15/237.20 c Got one! Elapsed wall clock time (in seconds):237.093 430.15/237.20 o -5659 430.33/237.30 c And the winner is solver0 430.47/237.71 c Got one! Elapsed wall clock time (in seconds):237.607 430.47/237.71 o -5661 430.47/237.74 c And the winner is solver0 430.53/238.23 c Got one! Elapsed wall clock time (in seconds):238.121 430.53/238.23 o -5662 432.65/239.34 c And the winner is solver0 433.31/239.94 c Got one! Elapsed wall clock time (in seconds):239.835 433.31/239.94 o -5665 439.22/242.95 c cleaning 7637 clauses out of 15279 with flag 4001/123679 458.30/252.49 c cleaning 6817 clauses out of 13642 with flag 16001/129679 479.95/263.30 c cleaning 6913 clauses out of 13826 with flag 30003/136680 508.67/277.57 c cleaning 7457 clauses out of 14913 with flag 46003/144680 539.04/292.64 c cleaning 8226 clauses out of 16456 with flag 64003/153680 572.04/309.03 c cleaning 9114 clauses out of 18229 with flag 84001/163679 612.09/329.36 c cleaning 10056 clauses out of 20115 with flag 106001/174679 639.83/343.16 c And the winner is solver0 640.32/343.58 c Got one! Elapsed wall clock time (in seconds):343.478 640.32/343.58 o -5733 656.28/351.53 c cleaning 11390 clauses out of 22785 with flag 10002/187405 676.78/361.72 c cleaning 8697 clauses out of 17396 with flag 22004/193406 696.05/371.30 c And the winner is solver0 696.47/371.76 c Got one! Elapsed wall clock time (in seconds):371.65 696.47/371.76 o -5736 699.56/373.34 c cleaning 7253 clauses out of 14519 with flag 2003/199226 720.65/383.88 c cleaning 6632 clauses out of 13266 with flag 14003/205226 725.05/386.07 c And the winner is solver0 725.41/386.33 c Got one! Elapsed wall clock time (in seconds):386.218 725.41/386.33 o -5751 736.21/391.77 c And the winner is solver0 737.07/392.54 c Got one! Elapsed wall clock time (in seconds):392.436 737.07/392.54 o -5755 739.19/393.62 c And the winner is solver0 739.45/394.06 c Got one! Elapsed wall clock time (in seconds):393.952 739.45/394.06 o -5756 740.50/394.60 c And the winner is solver0 741.11/395.23 c Got one! Elapsed wall clock time (in seconds):395.117 741.11/395.23 o -5775 744.60/396.94 c cleaning 6459 clauses out of 12918 with flag 2005/211510 748.20/398.71 c And the winner is solver0 748.72/399.24 c Got one! Elapsed wall clock time (in seconds):399.135 748.72/399.24 o -5783 749.45/399.68 c And the winner is solver0 750.32/400.41 c Got one! Elapsed wall clock time (in seconds):400.302 750.32/400.41 o -5784 750.87/400.73 c And the winner is solver0 751.12/400.97 c Got one! Elapsed wall clock time (in seconds):400.867 751.12/400.97 o -5786 751.20/401.07 c And the winner is solver0 751.42/401.49 c Got one! Elapsed wall clock time (in seconds):401.382 751.42/401.49 o -5789 752.21/401.93 c And the winner is solver0 752.97/402.66 c Got one! Elapsed wall clock time (in seconds):402.549 752.97/402.66 o -5791 753.46/402.91 c And the winner is solver0 753.66/403.17 c Got one! Elapsed wall clock time (in seconds):403.064 753.66/403.17 o -5794 753.70/403.20 c And the winner is solver0 753.73/403.69 c Got one! Elapsed wall clock time (in seconds):403.58 753.73/403.69 o -5801 757.40/405.58 c And the winner is solver0 758.08/406.16 c Got one! Elapsed wall clock time (in seconds):406.047 758.08/406.16 o -5821 767.58/410.92 c cleaning 6310 clauses out of 12621 with flag 6003/217672 790.48/422.32 c cleaning 6151 clauses out of 12312 with flag 18005/223673 817.34/435.75 c cleaning 6580 clauses out of 13161 with flag 32005/230673 818.33/436.24 c And the winner is solver0 818.98/436.88 c Got one! Elapsed wall clock time (in seconds):436.771 818.98/436.88 o -5827 833.79/444.26 c And the winner is solver0 834.26/444.70 c Got one! Elapsed wall clock time (in seconds):444.589 834.26/444.70 o -5836 837.75/446.40 c cleaning 5959 clauses out of 11919 with flag 2005/236011 841.15/448.17 c And the winner is solver0 841.71/448.62 c Got one! Elapsed wall clock time (in seconds):448.506 841.71/448.62 o -5843 842.46/449.03 c And the winner is solver0 843.09/449.41 c Got one! Elapsed wall clock time (in seconds):449.306 843.09/449.41 o -5850 843.26/449.54 c And the winner is solver0 843.45/449.93 c Got one! Elapsed wall clock time (in seconds):449.821 843.45/449.93 o -5854 843.45/449.97 c And the winner is solver0 843.54/450.44 c Got one! Elapsed wall clock time (in seconds):450.336 843.54/450.44 o -5857 844.03/450.72 c And the winner is solver0 844.25/450.96 c Got one! Elapsed wall clock time (in seconds):450.85 844.25/450.96 o -5858 844.37/451.02 c And the winner is solver0 844.45/451.47 c Got one! Elapsed wall clock time (in seconds):451.365 844.45/451.47 o -5866 845.29/451.91 c And the winner is solver0 845.51/452.19 c Got one! Elapsed wall clock time (in seconds):452.081 845.51/452.19 o -5868 845.61/452.23 c And the winner is solver0 845.68/452.70 c Got one! Elapsed wall clock time (in seconds):452.595 845.68/452.70 o -5871 845.68/452.74 c And the winner is solver0 845.78/453.22 c Got one! Elapsed wall clock time (in seconds):453.11 845.78/453.22 o -5872 846.12/453.43 c And the winner is solver0 846.46/453.73 c Got one! Elapsed wall clock time (in seconds):453.625 846.46/453.73 o -5873 852.60/456.84 c And the winner is solver0 852.96/457.25 c Got one! Elapsed wall clock time (in seconds):457.14 852.96/457.25 o -5891 863.81/462.62 c cleaning 6387 clauses out of 12779 with flag 6050/242830 869.81/465.67 c And the winner is solver0 870.50/466.26 c Got one! Elapsed wall clock time (in seconds):466.157 870.50/466.26 o -5892 880.35/471.10 c And the winner is solver0 880.96/471.78 c Got one! Elapsed wall clock time (in seconds):471.675 880.96/471.78 o -5973 886.81/474.76 c cleaning 6480 clauses out of 12977 with flag 4003/249415 907.23/484.86 c cleaning 6246 clauses out of 12496 with flag 16001/255414 932.02/497.21 c cleaning 6622 clauses out of 13250 with flag 30001/262414 959.13/510.70 c cleaning 7313 clauses out of 14629 with flag 46003/270415 989.35/525.77 c cleaning 8156 clauses out of 16316 with flag 64003/279415 1023.08/542.56 c cleaning 9076 clauses out of 18159 with flag 84001/289414 1065.39/564.07 c cleaning 10041 clauses out of 20083 with flag 106001/300414 1107.86/585.23 c cleaning 11020 clauses out of 22043 with flag 130003/312415 1155.21/608.86 c cleaning 12010 clauses out of 24023 with flag 156003/325415 1178.79/620.67 c And the winner is solver1 1179.02/620.80 c Got one! Elapsed wall clock time (in seconds):620.69 1179.02/620.80 o -6368 1193.61/628.15 c cleaning 12285 clauses out of 24573 with flag 10404/337975 1210.85/636.64 c cleaning 9142 clauses out of 18287 with flag 22780/343974 1229.64/646.06 c cleaning 8072 clauses out of 16146 with flag 37295/350975 1251.06/656.78 c cleaning 8035 clauses out of 16073 with flag 53788/358974 1275.13/668.62 c cleaning 8516 clauses out of 17039 with flag 72567/367975 1301.12/681.62 c cleaning 9261 clauses out of 18524 with flag 93679/377976 1330.32/696.28 c cleaning 10130 clauses out of 20261 with flag 116966/388974 1363.85/712.83 c cleaning 11063 clauses out of 22131 with flag 142106/400974 1392.33/727.67 c And the winner is solver1 1392.53/728.02 c Got one! Elapsed wall clock time (in seconds):727.912 1392.53/728.02 o -6430 1406.87/735.29 c cleaning 12740 clauses out of 25481 with flag 10326/415387 1423.80/743.70 c cleaning 9367 clauses out of 18740 with flag 22788/421386 1442.78/753.14 c cleaning 8186 clauses out of 16373 with flag 37226/428386 1464.86/764.16 c cleaning 8092 clauses out of 16188 with flag 53902/436387 1489.55/776.47 c cleaning 8548 clauses out of 17095 with flag 72762/445386 1516.26/789.80 c cleaning 9272 clauses out of 18548 with flag 93574/455387 1546.58/804.81 c cleaning 10137 clauses out of 20275 with flag 117073/466386 1579.52/821.21 c cleaning 11066 clauses out of 22138 with flag 142341/478386 1615.29/838.98 c cleaning 12033 clauses out of 24072 with flag 169775/491386 1653.89/858.23 c cleaning 13018 clauses out of 26039 with flag 199155/505386 1695.34/878.81 c cleaning 14010 clauses out of 28022 with flag 231434/520387 1739.92/901.11 c cleaning 15003 clauses out of 30011 with flag 265480/536386 1788.27/925.18 c cleaning 16003 clauses out of 32008 with flag 302343/553386 1800.05/931.01 c >>>>>>>>>> Solver number 0 (103 answers) <<<<<<<<<<<<<<<<<< 1800.05/931.01 c starts : 4557 1800.05/931.01 c conflicts : 557642 1800.05/931.01 c decisions : 688072 1800.05/931.01 c propagations : 396435222 1800.05/931.01 c inspects : 1952386700 1800.05/931.01 c shortcuts : 0 1800.05/931.01 c learnt literals : 0 1800.05/931.01 c learnt binary clauses : 0 1800.05/931.01 c learnt ternary clauses : 0 1800.05/931.01 c learnt constraints : 557642 1800.05/931.01 c ignored constraints : 0 1800.05/931.01 c root simplifications : 0 1800.05/931.01 c removed literals (reason simplification) : 404138042 1800.05/931.01 c reason swapping (by a shorter reason) : 0 1800.05/931.01 c Calls to reduceDB : 63 1800.05/931.01 c Number of update (reduction) of LBD : 4259 1800.05/931.01 c Imported unit clauses : 0 1800.05/931.01 c number of reductions to clauses (during analyze) : 0 1800.05/931.01 c number of learned constraints concerned by reduction : 0 1800.05/931.01 c number of learning phase by resolution : 0 1800.05/931.01 c number of learning phase by cutting planes : 0 1800.05/931.01 c speed (assignments/second) : 1953133.0219634043 1800.05/931.01 c non guided choices 0 1800.05/931.02 c learnt constraints type 1800.05/931.02 c org.sat4j.minisat.constraints.cnf.LearntWLClause => 20261 1800.05/931.02 c >>>>>>>>>> Solver number 1 (2 answers) <<<<<<<<<<<<<<<<<< 1800.05/931.02 c starts : 110 1800.05/931.02 c conflicts : 1032 1800.05/931.02 c decisions : 4117 1800.05/931.02 c propagations : 1275472 1800.05/931.02 c inspects : 129830447 1800.05/931.02 c shortcuts : 0 1800.05/931.02 c learnt literals : 0 1800.05/931.02 c learnt binary clauses : 0 1800.05/931.02 c learnt ternary clauses : 0 1800.05/931.02 c learnt constraints : 947 1800.05/931.02 c ignored constraints : 0 1800.05/931.02 c root simplifications : 0 1800.05/931.02 c removed literals (reason simplification) : 0 1800.05/931.02 c reason swapping (by a shorter reason) : 0 1800.05/931.02 c Calls to reduceDB : 0 1800.05/931.02 c Number of update (reduction) of LBD : 0 1800.05/931.02 c Imported unit clauses : 0 1800.05/931.02 c number of reductions to clauses (during analyze) : 0 1800.05/931.02 c number of learned constraints concerned by reduction : 0 1800.05/931.02 c number of learning phase by resolution : 0 1800.05/931.02 c number of learning phase by cutting planes : 0 1800.05/931.02 c speed (assignments/second) : 2777.4808969141086 1800.05/931.02 c non guided choices 0 1800.05/931.02 c learnt constraints type 1800.05/931.02 c org.sat4j.pb.constraints.pb.MaxWatchPb => 947 1800.05/931.02 s SATISFIABLE 1800.05/931.02 c Found 105 solution(s) 1800.05/931.02 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 1800.05/931.02 c objective function=-6430 1800.05/931.02 c Total wall clock time (in seconds): 930.91
OK -6430
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-4119581-1467259406/watcher-4119581-1467259406 -o /tmp/evaluation-result-4119581-1467259406/solver-4119581-1467259406 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node141-1467246696-6245 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4119581-1467259406.opb pid=14049 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.00 4.12 4.07 5/197 14052 /proc/meminfo: memFree=29565892/32872528 swapFree=480236/529292 [pid=14052] ppid=14049 vsize=91816 CPUtime=0 cores=1,3,5,7 /proc/14052/stat : 14052 (java) S 14049 14052 6228 0 -1 4202496 1282 0 0 0 0 0 0 0 20 0 2 0 4960510 94019584 917 33554432000 1073741824 1073778376 140733579090384 140733579081520 211462160445 0 0 4096 0 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/14052/statm: 23225 918 697 9 0 16769 0 [pid=14052/tid=14053] ppid=14049 vsize=92900 CPUtime=0 cores=1,3,5,7 /proc/14052/task/14053/stat : 14053 (java) D 14049 14052 6228 0 -1 4202560 70 0 0 0 0 0 0 0 20 0 2 0 4960510 95129600 927 33554432000 1073741824 1073778376 140733579090384 139782457753128 211449638183 0 0 4096 0 18446744072100588836 0 0 -1 1 0 0 0 0 0 [startup+0.100167 s] /proc/loadavg: 4.00 4.12 4.07 5/197 14052 /proc/meminfo: memFree=29565892/32872528 swapFree=480236/529292 [pid=14052] ppid=14049 vsize=9558476 CPUtime=0.11 cores=1,3,5,7 /proc/14052/stat : 14052 (java) S 14049 14052 6228 0 -1 4202496 4530 0 1 0 10 1 0 0 20 0 18 0 4960510 9787879424 5648 33554432000 1073741824 1073778376 140733579090384 140733579081520 211462160445 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/14052/statm: 2389619 5648 2156 9 0 2380296 0 [pid=14052/tid=14053] ppid=14049 vsize=9558476 CPUtime=0.07 cores=1,3,5,7 /proc/14052/task/14053/stat : 14053 (java) R 14049 14052 6228 0 -1 4202560 2440 0 1 0 7 0 0 0 20 0 18 0 4960510 9787879424 5648 33554432000 1073741824 1073778376 140733579090384 139782457758040 211462186253 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 0.11 Current children cumulated vsize (KiB) 9558476 [startup+0.200281 s] /proc/loadavg: 4.00 4.12 4.07 5/197 14052 /proc/meminfo: memFree=29565892/32872528 swapFree=480236/529292 [pid=14052] ppid=14049 vsize=9558476 CPUtime=0.25 cores=1,3,5,7 /proc/14052/stat : 14052 (java) S 14049 14052 6228 0 -1 4202496 4696 0 1 0 24 1 0 0 20 0 18 0 4960510 9787879424 6792 33554432000 1073741824 1073778376 140733579090384 140733579081520 211462160445 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/14052/statm: 2389619 6792 2218 9 0 2380296 0 [pid=14052/tid=14053] ppid=14049 vsize=9558476 CPUtime=0.17 cores=1,3,5,7 /proc/14052/task/14053/stat : 14053 (java) R 14049 14052 6228 0 -1 4202560 2454 0 1 0 17 0 0 0 20 0 18 0 4960510 9787879424 6792 33554432000 1073741824 1073778376 140733579090384 139782457746656 139782397525281 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 0.25 Current children cumulated vsize (KiB) 9558476 [startup+0.300279 s] /proc/loadavg: 4.00 4.12 4.07 5/197 14052 /proc/meminfo: memFree=29565892/32872528 swapFree=480236/529292 [pid=14052] ppid=14049 vsize=9558476 CPUtime=0.5 cores=1,3,5,7 /proc/14052/stat : 14052 (java) S 14049 14052 6228 0 -1 4202496 5759 0 1 0 49 1 0 0 20 0 18 0 4960510 9787879424 8096 33554432000 1073741824 1073778376 140733579090384 140733579081520 211462160445 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/14052/statm: 2389619 8096 2233 9 0 2380296 0 [pid=14052/tid=14053] ppid=14049 vsize=9558476 CPUtime=0.27 cores=1,3,5,7 /proc/14052/task/14053/stat : 14053 (java) R 14049 14052 6228 0 -1 4202560 2457 0 1 0 27 0 0 0 20 0 18 0 4960510 9787879424 8097 33554432000 1073741824 1073778376 140733579090384 139782457756552 139782397869342 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 0.5 Current children cumulated vsize (KiB) 9558476 [startup+0.700319 s] /proc/loadavg: 4.00 4.12 4.07 5/197 14052 /proc/meminfo: memFree=29565892/32872528 swapFree=480236/529292 [pid=14052] ppid=14049 vsize=9558476 CPUtime=1.21 cores=1,3,5,7 /proc/14052/stat : 14052 (java) S 14049 14052 6228 0 -1 4202496 9788 0 1 0 119 2 0 0 20 0 18 0 4960510 9787879424 13626 33554432000 1073741824 1073778376 140733579090384 140733579081520 211462160445 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/14052/statm: 2389619 13626 2247 9 0 2380296 0 [pid=14052/tid=14053] ppid=14049 vsize=9558476 CPUtime=0.67 cores=1,3,5,7 /proc/14052/task/14053/stat : 14053 (java) R 14049 14052 6228 0 -1 4202560 2464 0 1 0 66 1 0 0 20 0 18 0 4960510 9787879424 13626 33554432000 1073741824 1073778376 140733579090384 139782457749296 139782397555920 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1.21 Current children cumulated vsize (KiB) 9558476 [startup+1.50077 s] /proc/loadavg: 4.00 4.12 4.07 4/215 14070 /proc/meminfo: memFree=29512628/32872528 swapFree=480236/529292 [pid=14052] ppid=14049 vsize=9558476 CPUtime=2.07 cores=1,3,5,7 /proc/14052/stat : 14052 (java) S 14049 14052 6228 0 -1 4202496 9844 0 1 0 204 3 0 0 20 0 18 0 4960510 9787879424 16747 33554432000 1073741824 1073778376 140733579090384 140733579081520 211462160445 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/14052/statm: 2389619 16747 2251 9 0 2380296 0 [pid=14052/tid=14053] ppid=14049 vsize=9558476 CPUtime=1.47 cores=1,3,5,7 /proc/14052/task/14053/stat : 14053 (java) R 14049 14052 6228 0 -1 4202560 2471 0 1 0 146 1 0 0 20 0 18 0 4960510 9787879424 16747 33554432000 1073741824 1073778376 140733579090384 139782457749200 139782397869206 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 [pid=14052/tid=14055] ppid=14049 vsize=9558476 CPUtime=0 cores=1,3,5,7 /proc/14052/task/14055/stat : 14055 (java) S 14049 14052 6228 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 4960511 9787879424 16747 33554432000 1073741824 1073778376 140733579090384 139782396488232 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=14052/tid=14056] ppid=14049 vsize=9558476 CPUtime=0 cores=1,3,5,7 /proc/14052/task/14056/stat : 14056 (java) S 14049 14052 6228 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 4960511 9787879424 16747 33554432000 1073741824 1073778376 140733579090384 139782300318120 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=14052/tid=14057] ppid=14049 vsize=9558476 CPUtime=0 cores=1,3,5,7 /proc/14052/task/14057/stat : 14057 (java) S 14049 14052 6228 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 4960511 9787879424 16747 33554432000 1073741824 1073778376 140733579090384 139782299265320 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=14052/tid=14058] ppid=14049 vsize=9558476 CPUtime=0 cores=1,3,5,7 /proc/14052/task/14058/stat : 14058 (java) S 14049 14052 6228 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 4960511 9787879424 16747 33554432000 1073741824 1073778376 140733579090384 139782298212520 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=14052/tid=14059] ppid=14049 vsize=9558476 CPUtime=0 cores=1,3,5,7 /proc/14052/task/14059/stat : 14059 (java) S 14049 14052 6228 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 4960511 9787879424 16747 33554432000 1073741824 1073778376 140733579090384 139782297160744 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=14052/tid=14060] ppid=14049 vsize=9558476 CPUtime=0 cores=1,3,5,7 /proc/14052/task/14060/stat : 14060 (java) S 14049 14052 6228 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 4960511 9787879424 16747 33554432000 1073741824 1073778376 140733579090384 139782296107944 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=14052/tid=14061] ppid=14049 vsize=9558476 CPUtime=0 cores=1,3,5,7 /proc/14052/task/14061/stat : 14061 (java) S 14049 14052 6228 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 4960511 9787879424 16747 33554432000 1073741824 1073778376 140733579090384 139782295055144 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=14052/tid=14062] ppid=14049 vsize=9558476 CPUtime=0 cores=1,3,5,7 /proc/14052/task/14062/stat : 14062 (java) S 14049 14052 6228 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 18 0 4960511 9787879424 16747 33554432000 1073741824 1073778376 140733579090384 139782294002344 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=14052/tid=14063] ppid=14049 vsize=9558476 CPUtime=0 cores=1,3,5,7 /proc/14052/task/14063/stat : 14063 (java) S 14049 14052 6228 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 18 0 4960512 9787879424 16747 33554432000 1073741824 1073778376 140733579090384 139782281804264 211462174633 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=14052/tid=14064] ppid=14049 vsize=9558476 CPUtime=0 cores=1,3,5,7 /proc/14052/task/14064/stat : 14064 (java) S 14049 14052 6228 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 18 0 4960512 9787879424 16747 33554432000 1073741824 1073778376 140733579090384 139782280750328 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=14052/tid=14065] ppid=14049 vsize=9558476 CPUtime=0 cores=1,3,5,7 /proc/14052/task/14065/stat : 14065 (java) S 14049 14052 6228 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 18 0 4960512 9787879424 16747 33554432000 1073741824 1073778376 140733579090384 139782279697416 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=14052/tid=14066] ppid=14049 vsize=9558476 CPUtime=0 cores=1,3,5,7 /proc/14052/task/14066/stat : 14066 (java) S 14049 14052 6228 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 4960514 9787879424 16747 33554432000 1073741824 1073778376 140733579090384 139782278645904 211462182688 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=14052/tid=14067] ppid=14049 vsize=9558476 CPUtime=0.26 cores=1,3,5,7 /proc/14052/task/14067/stat : 14067 (java) S 14049 14052 6228 0 -1 4202560 3381 0 0 0 26 0 0 0 20 0 18 0 4960514 9787879424 16747 33554432000 1073741824 1073778376 140733579090384 139782277594040 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=14052/tid=14068] ppid=14049 vsize=9558476 CPUtime=0.28 cores=1,3,5,7 /proc/14052/task/14068/stat : 14068 (java) S 14049 14052 6228 0 -1 4202560 2730 0 0 0 28 0 0 0 20 0 18 0 4960514 9787879424 16747 33554432000 1073741824 1073778376 140733579090384 139782276541240 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=14052/tid=14069] ppid=14049 vsize=9558476 CPUtime=0 cores=1,3,5,7 /proc/14052/task/14069/stat : 14069 (java) S 14049 14052 6228 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 4960514 9787879424 16747 33554432000 1073741824 1073778376 140733579090384 139782275488632 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=14052/tid=14070] ppid=14049 vsize=9558476 CPUtime=0 cores=1,3,5,7 /proc/14052/task/14070/stat : 14070 (java) S 14049 14052 6228 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 4960515 9787879424 16747 33554432000 1073741824 1073778376 140733579090384 139782274436040 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 2.07 Current children cumulated vsize (KiB) 9558476 [startup+3.10082 s] /proc/loadavg: 4.00 4.12 4.07 7/219 14077 /proc/meminfo: memFree=29487028/32872528 swapFree=480236/529292 [pid=14052] ppid=14049 vsize=9824732 CPUtime=3.51 cores=1,3,5,7 /proc/14052/stat : 14052 (java) S 14049 14052 6228 0 -1 4202496 14493 0 1 0 341 10 0 0 20 0 19 0 4960510 10060525568 25195 33554432000 1073741824 1073778376 140733579090384 140733579081520 211462160445 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/14052/statm: 2456183 25195 2276 9 0 2446860 0 [pid=14052/tid=14053] ppid=14049 vsize=9824732 CPUtime=1.65 cores=1,3,5,7 /proc/14052/task/14053/stat : 14053 (java) S 14049 14052 6228 0 -1 4202560 2488 0 1 0 163 2 0 0 20 0 19 0 4960510 10060525568 25195 33554432000 1073741824 1073778376 140733579090384 139782457758584 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=14052/tid=14055] ppid=14049 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/14052/task/14055/stat : 14055 (java) S 14049 14052 6228 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4960511 10060525568 25195 33554432000 1073741824 1073778376 140733579090384 139782396488232 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=14052/tid=14056] ppid=14049 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/14052/task/14056/stat : 14056 (java) S 14049 14052 6228 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4960511 10060525568 25195 33554432000 1073741824 1073778376 140733579090384 139782300318120 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=14052/tid=14057] ppid=14049 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/14052/task/14057/stat : 14057 (java) S 14049 14052 6228 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4960511 10060525568 25195 33554432000 1073741824 1073778376 140733579090384 139782299265320 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=14052/tid=14058] ppid=14049 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/14052/task/14058/stat : 14058 (java) S 14049 14052 6228 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4960511 10060525568 25195 33554432000 1073741824 1073778376 140733579090384 139782298212520 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=14052/tid=14059] ppid=14049 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/14052/task/14059/stat : 14059 (java) S 14049 14052 6228 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4960511 10060525568 25195 33554432000 1073741824 1073778376 140733579090384 139782297160744 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=14052/tid=14060] ppid=14049 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/14052/task/14060/stat : 14060 (java) S 14049 14052 6228 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4960511 10060525568 25195 33554432000 1073741824 1073778376 140733579090384 139782296107944 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=14052/tid=14061] ppid=14049 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/14052/task/14061/stat : 14061 (java) S 14049 14052 6228 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4960511 10060525568 25195 33554432000 1073741824 1073778376 140733579090384 139782295055144 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=14052/tid=14062] ppid=14049 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/14052/task/14062/stat : 14062 (java) S 14049 14052 6228 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 4960511 10060525568 25195 33554432000 1073741824 1073778376 140733579090384 139782294002344 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=14052/tid=14063] ppid=14049 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/14052/task/14063/stat : 14063 (java) S 14049 14052 6228 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 4960512 10060525568 25195 33554432000 1073741824 1073778376 140733579090384 139782281804264 211462174633 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=14052/tid=14064] ppid=14049 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/14052/task/14064/stat : 14064 (java) S 14049 14052 6228 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 4960512 10060525568 25195 33554432000 1073741824 1073778376 140733579090384 139782280750328 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=14052/tid=14065] ppid=14049 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/14052/task/14065/stat : 14065 (java) S 14049 14052 6228 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 4960512 10060525568 25195 33554432000 1073741824 1073778376 140733579090384 139782279697416 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=14052/tid=14066] ppid=14049 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/14052/task/14066/stat : 14066 (java) S 14049 14052 6228 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4960514 10060525568 25195 33554432000 1073741824 1073778376 140733579090384 139782278645904 211462182688 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=14052/tid=14067] ppid=14049 vsize=9824732 CPUtime=0.69 cores=1,3,5,7 /proc/14052/task/14067/stat : 14067 (java) S 14049 14052 6228 0 -1 4202560 3488 0 0 0 69 0 0 0 20 0 19 0 4960514 10060525568 25195 33554432000 1073741824 1073778376 140733579090384 139782277594040 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=14052/tid=14068] ppid=14049 vsize=9824732 CPUtime=0.67 cores=1,3,5,7 /proc/14052/task/14068/stat : 14068 (java) S 14049 14052 6228 0 -1 4202560 7164 0 0 0 66 1 0 0 20 0 19 0 4960514 10060525568 25195 33554432000 1073741824 1073778376 140733579090384 139782276541240 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=14052/tid=14069] ppid=14049 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/14052/task/14069/stat : 14069 (java) S 14049 14052 6228 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4960514 10060525568 25195 33554432000 1073741824 1073778376 140733579090384 139782275488632 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=14052/tid=14070] ppid=14049 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/14052/task/14070/stat : 14070 (java) S 14049 14052 6228 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4960515 10060525568 25195 33554432000 1073741824 1073778376 140733579090384 139782274436040 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=14052/tid=14074] ppid=14049 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/14052/task/14074/stat : 14074 (java) S 14049 14052 6228 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 4960673 10060525568 25195 33554432000 1073741824 1073778376 140733579090384 139782270223144 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 3.51 Current children cumulated vsize (KiB) 9824732 [startup+6.30082 s] /proc/loadavg: 3.84 4.09 4.06 3/216 14095 /proc/meminfo: memFree=29397456/32872528 swapFree=480236/529292 [pid=14052] ppid=14049 vsize=9824732 CPUtime=4.39 cores=1,3,5,7 /proc/14052/stat : 14052 (java) S 14049 14052 6228 0 -1 4202496 15534 0 1 0 412 27 0 0 20 0 19 0 4960510 10060525568 44163 33554432000 1073741824 1073778376 140733579090384 140733579081520 211462160445 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/14052/statm: 2456183 44163 2289 9 0 2446860 0 [pid=14052/tid=14053] ppid=14049 vsize=9824732 CPUtime=1.73 cores=1,3,5,7 /proc/14052/task/14053/stat : 14053 (java) S 14049 14052 6228 0 -1 4202560 2501 0 1 0 171 2 0 0 20 0 19 0 4960510 10060525568 44163 33554432000 1073741824 1073778376 140733579090384 139782457758584 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=14052/tid=14055] ppid=14049 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/14052/task/14055/stat : 14055 (java) S 14049 14052 6228 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 4960511 10060525568 44163 33554432000 1073741824 1073778376 140733579090384 139782396488232 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=14052/tid=14056] ppid=14049 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/14052/task/14056/stat : 14056 (java) S 14049 14052 6228 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 4960511 10060525568 44163 33554432000 1073741824 1073778376 140733579090384 139782300318120 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=14052/tid=14057] ppid=14049 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/14052/task/14057/stat : 14057 (java) S 14049 14052 6228 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 4960511 10060525568 44163 33554432000 1073741824 1073778376 140733579090384 139782299265320 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=14052/tid=14058] ppid=14049 vsize=9824732 CPUtime=0.01 cores=1,3,5,7 /proc/14052/task/14058/stat : 14058 (java) S 14049 14052 6228 0 -1 4202560 16 0 0 0 1 0 0 0 20 0 19 0 4960511 10060525568 44163 33554432000 1073741824 1073778376 140733579090384 139782298212520 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=14052/tid=14059] ppid=14049 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/14052/task/14059/stat : 14059 (java) S 14049 14052 6228 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 4960511 10060525568 44163 33554432000 1073741824 1073778376 140733579090384 139782297160744 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=14052/tid=14060] ppid=14049 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/14052/task/14060/stat : 14060 (java) S 14049 14052 6228 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 4960511 10060525568 44163 33554432000 1073741824 1073778376 140733579090384 139782296107944 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=14052/tid=14061] ppid=14049 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/14052/task/14061/stat : 14061 (java) S 14049 14052 6228 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 4960511 10060525568 44163 33554432000 1073741824 1073778376 140733579090384 139782295055144 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=14052/tid=14062] ppid=14049 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/14052/task/14062/stat : 14062 (java) S 14049 14052 6228 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 4960511 10060525568 44163 33554432000 1073741824 1073778376 140733579090384 139782294002344 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=14052/tid=14063] ppid=14049 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/14052/task/14063/stat : 14063 (java) S 14049 14052 6228 0 -1 4202560 15 0 0 0 0 0 0 0 20 0 19 0 4960512 10060525568 44163 33554432000 1073741824 1073778376 140733579090384 139782281804264 211462174633 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=14052/tid=14064] ppid=14049 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/14052/task/14064/stat : 14064 (java) S 14049 14052 6228 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 4960512 10060525568 44163 33554432000 1073741824 1073778376 140733579090384 139782280750328 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=14052/tid=14065] ppid=14049 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/14052/task/14065/stat : 14065 (java) S 14049 14052 6228 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 4960512 10060525568 44163 33554432000 1073741824 1073778376 140733579090384 139782279697416 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=14052/tid=14066] ppid=14049 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/14052/task/14066/stat : 14066 (java) S 14049 14052 6228 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4960514 10060525568 44163 33554432000 1073741824 1073778376 140733579090384 139782278645904 211462182688 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=14052/tid=14067] ppid=14049 vsize=9824732 CPUtime=0.86 cores=1,3,5,7 /proc/14052/task/14067/stat : 14067 (java) R 14049 14052 6228 0 -1 4202560 3518 0 0 0 86 0 0 0 20 0 19 0 4960514 10060525568 44163 33554432000 1073741824 1073778376 140733579090384 139782277594024 139782461875707 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 [pid=14052/tid=14068] ppid=14049 vsize=9824732 CPUtime=0.8 cores=1,3,5,7 /proc/14052/task/14068/stat : 14068 (java) S 14049 14052 6228 0 -1 4202560 8015 0 0 0 78 2 0 0 20 0 19 0 4960514 10060525568 44163 33554432000 1073741824 1073778376 140733579090384 139782276541240 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=14052/tid=14069] ppid=14049 vsize=9824732 CPUtime=0 cores=1,3,5,7 ################ # More data... # ################ [startup+822.301 s] /proc/loadavg: 4.16 4.13 4.07 5/219 14627 /proc/meminfo: memFree=23314448/32872528 swapFree=480236/529292 [pid=14052] ppid=14049 vsize=9824732 CPUtime=1581.72 cores=1,3,5,7 /proc/14052/stat : 14052 (java) S 14049 14052 6228 0 -1 4202496 37764 0 1 0 157542 630 0 0 20 0 22 0 4960510 10060525568 972221 33554432000 1073741824 1073778376 140733579090384 140733579081520 211462160445 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/14052/statm: 2456183 972221 2303 9 0 2446860 0 [pid=14052/tid=14053] ppid=14049 vsize=9824732 CPUtime=2.95 cores=1,3,5,7 /proc/14052/task/14053/stat : 14053 (java) S 14049 14052 6228 0 -1 4202560 2516 0 1 0 291 4 0 0 20 0 22 0 4960510 10060525568 972221 33554432000 1073741824 1073778376 140733579090384 139782457758584 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=14052/tid=14055] ppid=14049 vsize=9824732 CPUtime=2.33 cores=1,3,5,7 /proc/14052/task/14055/stat : 14055 (java) S 14049 14052 6228 0 -1 4202560 1278 0 0 0 189 44 0 0 20 0 22 0 4960511 10060525568 972221 33554432000 1073741824 1073778376 140733579090384 139782396488232 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=14052/tid=14056] ppid=14049 vsize=9824732 CPUtime=2.41 cores=1,3,5,7 /proc/14052/task/14056/stat : 14056 (java) S 14049 14052 6228 0 -1 4202560 1290 0 0 0 192 49 0 0 20 0 22 0 4960511 10060525568 972221 33554432000 1073741824 1073778376 140733579090384 139782300318120 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=14052/tid=14057] ppid=14049 vsize=9824732 CPUtime=2.13 cores=1,3,5,7 /proc/14052/task/14057/stat : 14057 (java) S 14049 14052 6228 0 -1 4202560 968 0 0 0 167 46 0 0 20 0 22 0 4960511 10060525568 972221 33554432000 1073741824 1073778376 140733579090384 139782299265320 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=14052/tid=14058] ppid=14049 vsize=9824732 CPUtime=2.64 cores=1,3,5,7 /proc/14052/task/14058/stat : 14058 (java) S 14049 14052 6228 0 -1 4202560 1178 0 0 0 210 54 0 0 20 0 22 0 4960511 10060525568 972221 33554432000 1073741824 1073778376 140733579090384 139782298212520 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=14052/tid=14059] ppid=14049 vsize=9824732 CPUtime=2.17 cores=1,3,5,7 /proc/14052/task/14059/stat : 14059 (java) S 14049 14052 6228 0 -1 4202560 1215 0 0 0 177 40 0 0 20 0 22 0 4960511 10060525568 972221 33554432000 1073741824 1073778376 140733579090384 139782297160744 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=14052/tid=14060] ppid=14049 vsize=9824732 CPUtime=2.02 cores=1,3,5,7 /proc/14052/task/14060/stat : 14060 (java) S 14049 14052 6228 0 -1 4202560 989 0 0 0 163 39 0 0 20 0 22 0 4960511 10060525568 972221 33554432000 1073741824 1073778376 140733579090384 139782296107944 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=14052/tid=14061] ppid=14049 vsize=9824732 CPUtime=2.18 cores=1,3,5,7 /proc/14052/task/14061/stat : 14061 (java) S 14049 14052 6228 0 -1 4202560 963 0 0 0 172 46 0 0 20 0 22 0 4960511 10060525568 972221 33554432000 1073741824 1073778376 140733579090384 139782295055144 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=14052/tid=14062] ppid=14049 vsize=9824732 CPUtime=1.94 cores=1,3,5,7 /proc/14052/task/14062/stat : 14062 (java) S 14049 14052 6228 0 -1 4202560 1072 0 0 0 153 41 0 0 20 0 22 0 4960511 10060525568 972221 33554432000 1073741824 1073778376 140733579090384 139782294002344 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=14052/tid=14063] ppid=14049 vsize=9824732 CPUtime=4.91 cores=1,3,5,7 /proc/14052/task/14063/stat : 14063 (java) S 14049 14052 6228 0 -1 4202560 3138 0 0 0 473 18 0 0 20 0 22 0 4960512 10060525568 972221 33554432000 1073741824 1073778376 140733579090384 139782281804264 211462174633 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=14052/tid=14064] ppid=14049 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/14052/task/14064/stat : 14064 (java) S 14049 14052 6228 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 4960512 10060525568 972221 33554432000 1073741824 1073778376 140733579090384 139782280750328 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=14052/tid=14065] ppid=14049 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/14052/task/14065/stat : 14065 (java) S 14049 14052 6228 0 -1 4202560 73 0 0 0 0 0 0 0 20 0 22 0 4960512 10060525568 972221 33554432000 1073741824 1073778376 140733579090384 139782279697416 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=14052/tid=14066] ppid=14049 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/14052/task/14066/stat : 14066 (java) S 14049 14052 6228 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 4960514 10060525568 972221 33554432000 1073741824 1073778376 140733579090384 139782278645904 211462182688 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=14052/tid=14067] ppid=14049 vsize=9824732 CPUtime=1.63 cores=1,3,5,7 /proc/14052/task/14067/stat : 14067 (java) S 14049 14052 6228 0 -1 4202560 8874 0 0 0 161 2 0 0 20 0 22 0 4960514 10060525568 972221 33554432000 1073741824 1073778376 140733579090384 139782277594040 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=14052/tid=14068] ppid=14049 vsize=9824732 CPUtime=1.3 cores=1,3,5,7 /proc/14052/task/14068/stat : 14068 (java) S 14049 14052 6228 0 -1 4202560 10850 0 0 0 128 2 0 0 20 0 22 0 4960514 10060525568 972221 33554432000 1073741824 1073778376 140733579090384 139782276541240 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=14052/tid=14069] ppid=14049 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/14052/task/14069/stat : 14069 (java) S 14049 14052 6228 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 4960514 10060525568 972221 33554432000 1073741824 1073778376 140733579090384 139782275488632 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=14052/tid=14070] ppid=14049 vsize=9824732 CPUtime=0.23 cores=1,3,5,7 /proc/14052/task/14070/stat : 14070 (java) S 14049 14052 6228 0 -1 4202560 47 0 0 0 8 15 0 0 20 0 22 0 4960515 10060525568 972221 33554432000 1073741824 1073778376 140733579090384 139782274436040 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=14052/tid=14395] ppid=14049 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/14052/task/14395/stat : 14395 (java) S 14049 14052 6228 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 5007690 10060525568 972221 33554432000 1073741824 1073778376 140733579090384 139782272328872 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=14052/tid=14623] ppid=14049 vsize=9824732 CPUtime=93.84 cores=1,3,5,7 /proc/14052/task/14623/stat : 14623 (java) R 14049 14052 6228 0 -1 4202560 6 0 0 0 9383 1 0 0 20 0 22 0 5033314 10060525568 972221 33554432000 1073741824 1073778376 140733579090384 139782271267328 139782398906688 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 [pid=14052/tid=14624] ppid=14049 vsize=9824732 CPUtime=93.82 cores=1,3,5,7 /proc/14052/task/14624/stat : 14624 (java) R 14049 14052 6228 0 -1 4202560 6 0 0 0 9381 1 0 0 20 0 22 0 5033314 10060525568 972221 33554432000 1073741824 1073778376 140733579090384 139782270220960 139782398700281 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 [pid=14052/tid=14625] ppid=14049 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/14052/task/14625/stat : 14625 (java) S 14049 14052 6228 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 5033314 10060525568 972221 33554432000 1073741824 1073778376 140733579090384 139782273381800 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 1581.72 Current children cumulated vsize (KiB) 9824732 [startup+882.308 s] /proc/loadavg: 4.24 4.15 4.08 5/220 14629 /proc/meminfo: memFree=23279692/32872528 swapFree=480236/529292 [pid=14052] ppid=14049 vsize=9824732 CPUtime=1702.35 cores=1,3,5,7 /proc/14052/stat : 14052 (java) S 14049 14052 6228 0 -1 4202496 38266 0 1 0 169600 635 0 0 20 0 22 0 4960510 10060525568 980849 33554432000 1073741824 1073778376 140733579090384 140733579081520 211462160445 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/14052/statm: 2456183 980849 2303 9 0 2446860 0 [pid=14052/tid=14053] ppid=14049 vsize=9824732 CPUtime=2.95 cores=1,3,5,7 /proc/14052/task/14053/stat : 14053 (java) S 14049 14052 6228 0 -1 4202560 2516 0 1 0 291 4 0 0 20 0 22 0 4960510 10060525568 980849 33554432000 1073741824 1073778376 140733579090384 139782457758584 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=14052/tid=14055] ppid=14049 vsize=9824732 CPUtime=2.49 cores=1,3,5,7 /proc/14052/task/14055/stat : 14055 (java) S 14049 14052 6228 0 -1 4202560 1287 0 0 0 205 44 0 0 20 0 22 0 4960511 10060525568 980849 33554432000 1073741824 1073778376 140733579090384 139782396488232 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=14052/tid=14056] ppid=14049 vsize=9824732 CPUtime=2.5 cores=1,3,5,7 /proc/14052/task/14056/stat : 14056 (java) S 14049 14052 6228 0 -1 4202560 1301 0 0 0 201 49 0 0 20 0 22 0 4960511 10060525568 980849 33554432000 1073741824 1073778376 140733579090384 139782300318120 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=14052/tid=14057] ppid=14049 vsize=9824732 CPUtime=2.41 cores=1,3,5,7 /proc/14052/task/14057/stat : 14057 (java) S 14049 14052 6228 0 -1 4202560 1094 0 0 0 194 47 0 0 20 0 22 0 4960511 10060525568 980849 33554432000 1073741824 1073778376 140733579090384 139782299265320 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=14052/tid=14058] ppid=14049 vsize=9824732 CPUtime=2.74 cores=1,3,5,7 /proc/14052/task/14058/stat : 14058 (java) S 14049 14052 6228 0 -1 4202560 1242 0 0 0 220 54 0 0 20 0 22 0 4960511 10060525568 980849 33554432000 1073741824 1073778376 140733579090384 139782298212520 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=14052/tid=14059] ppid=14049 vsize=9824732 CPUtime=2.29 cores=1,3,5,7 /proc/14052/task/14059/stat : 14059 (java) S 14049 14052 6228 0 -1 4202560 1350 0 0 0 188 41 0 0 20 0 22 0 4960511 10060525568 980849 33554432000 1073741824 1073778376 140733579090384 139782297160744 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=14052/tid=14060] ppid=14049 vsize=9824732 CPUtime=2.19 cores=1,3,5,7 /proc/14052/task/14060/stat : 14060 (java) S 14049 14052 6228 0 -1 4202560 1126 0 0 0 180 39 0 0 20 0 22 0 4960511 10060525568 980849 33554432000 1073741824 1073778376 140733579090384 139782296107944 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=14052/tid=14061] ppid=14049 vsize=9824732 CPUtime=2.33 cores=1,3,5,7 /proc/14052/task/14061/stat : 14061 (java) S 14049 14052 6228 0 -1 4202560 969 0 0 0 186 47 0 0 20 0 22 0 4960511 10060525568 980849 33554432000 1073741824 1073778376 140733579090384 139782295055144 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=14052/tid=14062] ppid=14049 vsize=9824732 CPUtime=2.13 cores=1,3,5,7 /proc/14052/task/14062/stat : 14062 (java) S 14049 14052 6228 0 -1 4202560 1077 0 0 0 172 41 0 0 20 0 22 0 4960511 10060525568 980849 33554432000 1073741824 1073778376 140733579090384 139782294002344 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=14052/tid=14063] ppid=14049 vsize=9824732 CPUtime=4.91 cores=1,3,5,7 /proc/14052/task/14063/stat : 14063 (java) S 14049 14052 6228 0 -1 4202560 3140 0 0 0 473 18 0 0 20 0 22 0 4960512 10060525568 980849 33554432000 1073741824 1073778376 140733579090384 139782281804264 211462174633 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=14052/tid=14064] ppid=14049 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/14052/task/14064/stat : 14064 (java) S 14049 14052 6228 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 4960512 10060525568 980849 33554432000 1073741824 1073778376 140733579090384 139782280750328 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=14052/tid=14065] ppid=14049 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/14052/task/14065/stat : 14065 (java) S 14049 14052 6228 0 -1 4202560 73 0 0 0 0 0 0 0 20 0 22 0 4960512 10060525568 980849 33554432000 1073741824 1073778376 140733579090384 139782279697416 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=14052/tid=14066] ppid=14049 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/14052/task/14066/stat : 14066 (java) S 14049 14052 6228 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 4960514 10060525568 980849 33554432000 1073741824 1073778376 140733579090384 139782278645904 211462182688 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=14052/tid=14067] ppid=14049 vsize=9824732 CPUtime=1.63 cores=1,3,5,7 /proc/14052/task/14067/stat : 14067 (java) S 14049 14052 6228 0 -1 4202560 8874 0 0 0 161 2 0 0 20 0 22 0 4960514 10060525568 980849 33554432000 1073741824 1073778376 140733579090384 139782277594040 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=14052/tid=14068] ppid=14049 vsize=9824732 CPUtime=1.3 cores=1,3,5,7 /proc/14052/task/14068/stat : 14068 (java) S 14049 14052 6228 0 -1 4202560 10850 0 0 0 128 2 0 0 20 0 22 0 4960514 10060525568 980849 33554432000 1073741824 1073778376 140733579090384 139782276541240 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=14052/tid=14069] ppid=14049 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/14052/task/14069/stat : 14069 (java) S 14049 14052 6228 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 4960514 10060525568 980849 33554432000 1073741824 1073778376 140733579090384 139782275488632 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=14052/tid=14070] ppid=14049 vsize=9824732 CPUtime=0.25 cores=1,3,5,7 /proc/14052/task/14070/stat : 14070 (java) S 14049 14052 6228 0 -1 4202560 51 0 0 0 10 15 0 0 20 0 22 0 4960515 10060525568 980849 33554432000 1073741824 1073778376 140733579090384 139782274436040 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=14052/tid=14395] ppid=14049 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/14052/task/14395/stat : 14395 (java) S 14049 14052 6228 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 5007690 10060525568 980849 33554432000 1073741824 1073778376 140733579090384 139782272328872 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=14052/tid=14623] ppid=14049 vsize=9824732 CPUtime=153.51 cores=1,3,5,7 /proc/14052/task/14623/stat : 14623 (java) R 14049 14052 6228 0 -1 4202560 9 0 0 0 15349 2 0 0 20 0 22 0 5033314 10060525568 980849 33554432000 1073741824 1073778376 140733579090384 139782271267328 139782398374293 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 [pid=14052/tid=14624] ppid=14049 vsize=9824732 CPUtime=153.5 cores=1,3,5,7 /proc/14052/task/14624/stat : 14624 (java) R 14049 14052 6228 0 -1 4202560 6 0 0 0 15348 2 0 0 20 0 22 0 5033314 10060525568 980849 33554432000 1073741824 1073778376 140733579090384 139782270220848 139782398700145 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 [pid=14052/tid=14625] ppid=14049 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/14052/task/14625/stat : 14625 (java) S 14049 14052 6228 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 5033314 10060525568 980849 33554432000 1073741824 1073778376 140733579090384 139782273381800 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 1702.35 Current children cumulated vsize (KiB) 9824732 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+931.001 s] /proc/loadavg: 4.15 4.14 4.08 5/219 14630 /proc/meminfo: memFree=23279148/32872528 swapFree=480236/529292 [pid=14052] ppid=14049 vsize=9824732 CPUtime=1800.05 cores=1,3,5,7 /proc/14052/stat : 14052 (java) S 14049 14052 6228 0 -1 4202496 38308 0 1 0 179370 635 0 0 20 0 22 0 4960510 10060525568 980886 33554432000 1073741824 1073778376 140733579090384 140733579081520 211462160445 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/14052/statm: 2456183 980886 2303 9 0 2446860 0 [pid=14052/tid=14053] ppid=14049 vsize=9824732 CPUtime=2.95 cores=1,3,5,7 /proc/14052/task/14053/stat : 14053 (java) S 14049 14052 6228 0 -1 4202560 2516 0 1 0 291 4 0 0 20 0 22 0 4960510 10060525568 980886 33554432000 1073741824 1073778376 140733579090384 139782457758584 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=14052/tid=14055] ppid=14049 vsize=9824732 CPUtime=2.53 cores=1,3,5,7 /proc/14052/task/14055/stat : 14055 (java) S 14049 14052 6228 0 -1 4202560 1288 0 0 0 209 44 0 0 20 0 22 0 4960511 10060525568 980886 33554432000 1073741824 1073778376 140733579090384 139782396488232 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=14052/tid=14056] ppid=14049 vsize=9824732 CPUtime=2.64 cores=1,3,5,7 /proc/14052/task/14056/stat : 14056 (java) S 14049 14052 6228 0 -1 4202560 1303 0 0 0 215 49 0 0 20 0 22 0 4960511 10060525568 980886 33554432000 1073741824 1073778376 140733579090384 139782300318120 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=14052/tid=14057] ppid=14049 vsize=9824732 CPUtime=2.5 cores=1,3,5,7 /proc/14052/task/14057/stat : 14057 (java) S 14049 14052 6228 0 -1 4202560 1096 0 0 0 203 47 0 0 20 0 22 0 4960511 10060525568 980886 33554432000 1073741824 1073778376 140733579090384 139782299265320 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=14052/tid=14058] ppid=14049 vsize=9824732 CPUtime=2.81 cores=1,3,5,7 /proc/14052/task/14058/stat : 14058 (java) S 14049 14052 6228 0 -1 4202560 1253 0 0 0 227 54 0 0 20 0 22 0 4960511 10060525568 980886 33554432000 1073741824 1073778376 140733579090384 139782298212520 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=14052/tid=14059] ppid=14049 vsize=9824732 CPUtime=2.34 cores=1,3,5,7 /proc/14052/task/14059/stat : 14059 (java) S 14049 14052 6228 0 -1 4202560 1351 0 0 0 193 41 0 0 20 0 22 0 4960511 10060525568 980886 33554432000 1073741824 1073778376 140733579090384 139782297160744 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=14052/tid=14060] ppid=14049 vsize=9824732 CPUtime=2.32 cores=1,3,5,7 /proc/14052/task/14060/stat : 14060 (java) S 14049 14052 6228 0 -1 4202560 1133 0 0 0 192 40 0 0 20 0 22 0 4960511 10060525568 980886 33554432000 1073741824 1073778376 140733579090384 139782296107944 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=14052/tid=14061] ppid=14049 vsize=9824732 CPUtime=2.42 cores=1,3,5,7 /proc/14052/task/14061/stat : 14061 (java) S 14049 14052 6228 0 -1 4202560 980 0 0 0 195 47 0 0 20 0 22 0 4960511 10060525568 980886 33554432000 1073741824 1073778376 140733579090384 139782295055144 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=14052/tid=14062] ppid=14049 vsize=9824732 CPUtime=2.23 cores=1,3,5,7 /proc/14052/task/14062/stat : 14062 (java) S 14049 14052 6228 0 -1 4202560 1078 0 0 0 182 41 0 0 20 0 22 0 4960511 10060525568 980886 33554432000 1073741824 1073778376 140733579090384 139782294002344 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=14052/tid=14063] ppid=14049 vsize=9824732 CPUtime=4.91 cores=1,3,5,7 /proc/14052/task/14063/stat : 14063 (java) S 14049 14052 6228 0 -1 4202560 3142 0 0 0 473 18 0 0 20 0 22 0 4960512 10060525568 980886 33554432000 1073741824 1073778376 140733579090384 139782281804264 211462174633 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=14052/tid=14064] ppid=14049 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/14052/task/14064/stat : 14064 (java) S 14049 14052 6228 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 4960512 10060525568 980886 33554432000 1073741824 1073778376 140733579090384 139782280750328 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=14052/tid=14065] ppid=14049 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/14052/task/14065/stat : 14065 (java) S 14049 14052 6228 0 -1 4202560 73 0 0 0 0 0 0 0 20 0 22 0 4960512 10060525568 980886 33554432000 1073741824 1073778376 140733579090384 139782279697416 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=14052/tid=14066] ppid=14049 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/14052/task/14066/stat : 14066 (java) S 14049 14052 6228 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 4960514 10060525568 980886 33554432000 1073741824 1073778376 140733579090384 139782278645904 211462182688 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=14052/tid=14067] ppid=14049 vsize=9824732 CPUtime=1.63 cores=1,3,5,7 /proc/14052/task/14067/stat : 14067 (java) S 14049 14052 6228 0 -1 4202560 8874 0 0 0 161 2 0 0 20 0 22 0 4960514 10060525568 980886 33554432000 1073741824 1073778376 140733579090384 139782277594040 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=14052/tid=14068] ppid=14049 vsize=9824732 CPUtime=1.3 cores=1,3,5,7 /proc/14052/task/14068/stat : 14068 (java) S 14049 14052 6228 0 -1 4202560 10850 0 0 0 128 2 0 0 20 0 22 0 4960514 10060525568 980886 33554432000 1073741824 1073778376 140733579090384 139782276541240 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=14052/tid=14069] ppid=14049 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/14052/task/14069/stat : 14069 (java) S 14049 14052 6228 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 4960514 10060525568 980886 33554432000 1073741824 1073778376 140733579090384 139782275488632 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=14052/tid=14070] ppid=14049 vsize=9824732 CPUtime=0.27 cores=1,3,5,7 /proc/14052/task/14070/stat : 14070 (java) S 14049 14052 6228 0 -1 4202560 53 0 0 0 11 16 0 0 20 0 22 0 4960515 10060525568 980886 33554432000 1073741824 1073778376 140733579090384 139782274436040 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=14052/tid=14395] ppid=14049 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/14052/task/14395/stat : 14395 (java) S 14049 14052 6228 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 5007690 10060525568 980886 33554432000 1073741824 1073778376 140733579090384 139782272328872 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=14052/tid=14623] ppid=14049 vsize=9824732 CPUtime=202.02 cores=1,3,5,7 /proc/14052/task/14623/stat : 14623 (java) R 14049 14052 6228 0 -1 4202560 10 0 0 0 20199 3 0 0 20 0 22 0 5033314 10060525568 980886 33554432000 1073741824 1073778376 140733579090384 139782271267328 139782398731095 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 [pid=14052/tid=14624] ppid=14049 vsize=9824732 CPUtime=202.01 cores=1,3,5,7 /proc/14052/task/14624/stat : 14624 (java) R 14049 14052 6228 0 -1 4202560 7 0 0 0 20198 3 0 0 20 0 22 0 5033314 10060525568 980886 33554432000 1073741824 1073778376 140733579090384 139782270220944 139782398667863 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 [pid=14052/tid=14625] ppid=14049 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/14052/task/14625/stat : 14625 (java) S 14049 14052 6228 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 5033314 10060525568 980886 33554432000 1073741824 1073778376 140733579090384 139782273381800 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 1800.05 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 14052 sig 9 ??? end of watcher thread Dumping a history of the last processes samples Child status: 143 Real time (s): 931.046 CPU time (s): 1800.32 CPU user time (s): 1793.71 CPU system time (s): 6.61199 CPU usage (%): 193.365 Max. virtual memory (cumulated for all children) (KiB): 9824732 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1793.71 system time used= 6.61199 maximum resident set size= 3923672 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 38354 page faults= 1 swaps= 0 block input operations= 0 block output operations= 936 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 27216 involuntary context switches= 23474 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 6.62999 second user time and 6.66799 second system time The end
Begin job on node141 at 2016-06-30 06:03:26 IDJOB=4119581 IDBENCH=111766 IDSOLVER=2543 FILE ID=node141/4119581-1467259406 RUNJOBID= node141-1467246696-6245 PBS_JOBID= 20004482 Free space on /tmp= 71704 MiB SOLVER NAME= Sat4j PB 2.3.6 Res+CP PB16 BENCH NAME= PB15eval/normalized-PB15eval/OPT-SMALLINT-NLC/minlplib2-pb-0.1.0/opb/normalized-autocorr_bern35-26.opb COMMAND LINE= java -jar sat4j-pb.jar Both BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4119581-1467259406/watcher-4119581-1467259406 -o /tmp/evaluation-result-4119581-1467259406/solver-4119581-1467259406 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node141-1467246696-6245 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4119581-1467259406.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 61f861a809c67b3b9e09d3e35a314eb9 RANDOM SEED=368987876 node141.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.448 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.89 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.448 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.448 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.448 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.448 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.448 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 : 5339.30 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.448 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.53 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.448 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: 29566056 kB Buffers: 142216 kB Cached: 725200 kB SwapCached: 0 kB Active: 1352960 kB Inactive: 679296 kB Active(anon): 1167656 kB Inactive(anon): 4 kB Active(file): 185304 kB Inactive(file): 679292 kB Unevictable: 529292 kB Mlocked: 480236 kB SwapTotal: 67108856 kB SwapFree: 67108856 kB Dirty: 568 kB Writeback: 0 kB AnonPages: 1694284 kB Mapped: 22300 kB Shmem: 204 kB Slab: 610060 kB SReclaimable: 53584 kB SUnreclaim: 556476 kB KernelStack: 1624 kB PageTables: 7336 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 2203784 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 1144832 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= 71700 MiB End job on node141 at 2016-06-30 06:18:57