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) | -3816 | 1800.54 | 945.757 |
| Name | PB15eval/normalized-PB15eval/OPT-SMALLINT-NLC/ minlplib2-pb-0.1.0/opb/normalized-autocorr_bern55-14.opb |
| MD5SUM | 1b167674473e80fa047420230666ffae |
| 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 | -3989 |
| Best CPU time to get the best result obtained on this benchmark | 1800.08 |
| 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 | 5790 |
| Biggest coefficient in the objective function | 686 |
| Number of bits for the biggest coefficient in the objective function | 10 |
| Sum of the numbers in the objective function | 274008 |
| Number of bits of the sum of numbers in the objective function | 19 |
| Biggest number in a constraint | 686 |
| Number of bits of the biggest number in a constraint | 10 |
| Biggest sum of numbers in a constraint | 274008 |
| Number of bits of the biggest sum of numbers | 19 |
| Number of products (including duplicates) | 5735 |
| Sum of products size (including duplicates) | 18218 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.03/0.17 c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS 0.03/0.17 c This is free software under the dual EPL/GNU LGPL licenses. 0.03/0.17 c See www.sat4j.org for details. 0.03/0.17 c version PB16.v20160501 0.03/0.17 c java.runtime.name Java(TM) SE Runtime Environment 0.03/0.17 c java.vm.name Java HotSpot(TM) 64-Bit Server VM 0.03/0.17 c java.vm.version 19.1-b02 0.03/0.17 c java.vm.vendor Sun Microsystems Inc. 0.03/0.17 c sun.arch.data.model 64 0.03/0.17 c java.version 1.6.0_24 0.03/0.17 c os.name Linux 0.03/0.17 c os.version 2.6.32-71.29.1.el6.x86_64 0.03/0.17 c os.arch amd64 0.03/0.17 c Free memory 501472288 0.03/0.17 c Max memory 7480803328 0.03/0.17 c Total memory 504102912 0.03/0.17 c Number of processors 8 0.12/0.21 c Pseudo Boolean Optimization by upper bound 0.12/0.21 c ManyCore solver with 2 solvers running in parallel 0.12/0.21 c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<< 0.12/0.21 c --- Begin Solver configuration --- 0.12/0.21 c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@5d764be1 0.12/0.21 c Learn all clauses as in MiniSAT 0.12/0.21 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.12/0.21 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.12/0.21 c Expensive reason simplification 0.12/0.21 c Glucose 2.1 dynamic restart strategy 0.12/0.21 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.12/0.21 c timeout=2147483s 0.12/0.21 c DB Simplification allowed=false 0.12/0.21 c Listener: org.sat4j.pb.tools.ManyCorePB@9f436f5 0.12/0.21 c --- End Solver configuration --- 0.12/0.21 c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<< 0.12/0.21 c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP) 0.12/0.21 c --- Begin Solver configuration --- 0.12/0.21 c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@4413ee 0.12/0.21 c Learn all clauses as in MiniSAT 0.12/0.21 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.12/0.21 c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function 0.12/0.21 c No reason simplification 0.12/0.21 c Armin Biere (Picosat) restarts strategy 0.12/0.21 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.12/0.21 c timeout=2147483s 0.12/0.21 c DB Simplification allowed=false 0.12/0.21 c Listener: org.sat4j.pb.tools.ManyCorePB@9f436f5 0.12/0.21 c --- End Solver configuration --- 0.12/0.21 c solving HOME/instance-4119517-1467258080.opb 0.12/0.21 c reading problem ... 0.12/0.22 c objective function found 1.28/0.99 c ... done. Wall clock time 0.784s. 1.28/0.99 c declared #vars 55 1.28/0.99 c internal #vars 5790 1.28/0.99 c #constraints 11470 1.28/0.99 c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<< 1.28/0.99 c constraints type 1.28/0.99 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 5735 1.28/0.99 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 5735 1.28/0.99 c 11470 constraints processed. 1.28/0.99 c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<< 1.28/0.99 c constraints type 1.28/0.99 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 5735 1.28/0.99 c org.sat4j.pb.constraints.pb.MaxWatchPb => 5735 1.28/1.00 c 11470 constraints processed. 1.28/1.00 c objective function length is 5790 literals 1.89/1.12 c And the winner is solver0 1.99/1.50 c SATISFIABLE 1.99/1.50 c OPTIMIZING... 1.99/1.50 c Got one! Elapsed wall clock time (in seconds):1.291 1.99/1.50 o 0 2.34/1.62 c And the winner is solver0 2.80/2.03 c Got one! Elapsed wall clock time (in seconds):1.822 2.80/2.03 o -39 2.80/2.07 c And the winner is solver0 2.98/2.55 c Got one! Elapsed wall clock time (in seconds):2.342 2.98/2.55 o -78 2.98/2.59 c And the winner is solver0 3.28/3.06 c Got one! Elapsed wall clock time (in seconds):2.854 3.28/3.06 o -139 3.28/3.09 c And the winner is solver0 3.41/3.58 c Got one! Elapsed wall clock time (in seconds):3.365 3.41/3.58 o -183 3.41/3.59 c And the winner is solver0 3.47/4.08 c Got one! Elapsed wall clock time (in seconds):3.874 3.47/4.08 o -200 3.49/4.10 c And the winner is solver0 3.49/4.59 c Got one! Elapsed wall clock time (in seconds):4.383 3.49/4.59 o -270 3.49/4.62 c And the winner is solver0 3.58/5.10 c Got one! Elapsed wall clock time (in seconds):4.892 3.58/5.10 o -301 3.58/5.13 c And the winner is solver0 3.65/5.61 c Got one! Elapsed wall clock time (in seconds):5.401 3.65/5.61 o -319 3.65/5.66 c And the winner is solver0 3.79/6.12 c Got one! Elapsed wall clock time (in seconds):5.909 3.79/6.12 o -340 3.79/6.14 c And the winner is solver0 3.81/6.63 c Got one! Elapsed wall clock time (in seconds):6.416 3.81/6.63 o -410 3.81/6.66 c And the winner is solver0 3.88/7.13 c Got one! Elapsed wall clock time (in seconds):6.923 3.88/7.13 o -422 3.88/7.16 c And the winner is solver0 3.96/7.64 c Got one! Elapsed wall clock time (in seconds):7.43 3.96/7.64 o -504 4.13/7.73 c And the winner is solver0 4.23/8.15 c Got one! Elapsed wall clock time (in seconds):7.937 4.23/8.15 o -574 4.32/8.23 c And the winner is solver0 4.80/8.65 c Got one! Elapsed wall clock time (in seconds):8.444 4.80/8.65 o -576 4.93/8.74 c And the winner is solver0 5.34/9.16 c Got one! Elapsed wall clock time (in seconds):8.951 5.34/9.16 o -591 5.41/9.21 c And the winner is solver0 5.77/9.67 c Got one! Elapsed wall clock time (in seconds):9.458 5.77/9.67 o -592 5.77/9.69 c And the winner is solver0 5.82/10.18 c Got one! Elapsed wall clock time (in seconds):9.965 5.82/10.18 o -644 6.15/10.35 c And the winner is solver0 6.44/10.68 c Got one! Elapsed wall clock time (in seconds):10.472 6.44/10.68 o -669 6.46/10.78 c And the winner is solver0 6.89/11.19 c Got one! Elapsed wall clock time (in seconds):10.979 6.89/11.19 o -671 6.90/11.26 c And the winner is solver0 7.35/11.70 c Got one! Elapsed wall clock time (in seconds):11.487 7.35/11.70 o -678 7.36/11.71 c And the winner is solver0 7.38/12.20 c Got one! Elapsed wall clock time (in seconds):11.994 7.38/12.20 o -680 7.38/12.25 c And the winner is solver0 7.79/12.71 c Got one! Elapsed wall clock time (in seconds):12.501 7.79/12.71 o -732 8.16/12.96 c And the winner is solver0 8.39/13.22 c Got one! Elapsed wall clock time (in seconds):13.008 8.39/13.22 o -738 8.39/13.26 c And the winner is solver0 8.79/13.72 c Got one! Elapsed wall clock time (in seconds):13.515 8.79/13.72 o -742 8.79/13.77 c And the winner is solver0 8.91/14.23 c Got one! Elapsed wall clock time (in seconds):14.022 8.91/14.23 o -743 8.91/14.25 c And the winner is solver0 8.94/14.74 c Got one! Elapsed wall clock time (in seconds):14.529 8.94/14.74 o -744 8.94/14.77 c And the winner is solver0 9.00/15.24 c Got one! Elapsed wall clock time (in seconds):15.036 9.00/15.24 o -767 9.30/15.41 c And the winner is solver0 9.53/15.75 c Got one! Elapsed wall clock time (in seconds):15.543 9.53/15.75 o -772 9.61/15.81 c And the winner is solver0 9.95/16.26 c Got one! Elapsed wall clock time (in seconds):16.05 9.95/16.26 o -773 10.04/16.38 c And the winner is solver0 10.46/16.77 c Got one! Elapsed wall clock time (in seconds):16.557 10.46/16.77 o -863 11.56/17.30 c And the winner is solver0 11.81/17.80 c Got one! Elapsed wall clock time (in seconds):17.593 11.81/17.80 o -864 12.66/18.27 c And the winner is solver0 12.92/18.31 c Got one! Elapsed wall clock time (in seconds):18.1 12.92/18.31 o -865 13.39/18.53 c And the winner is solver0 13.56/18.82 c Got one! Elapsed wall clock time (in seconds):18.608 13.56/18.82 o -866 13.56/18.86 c And the winner is solver0 13.93/19.33 c Got one! Elapsed wall clock time (in seconds):19.115 13.93/19.33 o -880 15.08/19.96 c And the winner is solver0 15.25/20.33 c Got one! Elapsed wall clock time (in seconds):20.123 15.25/20.33 o -883 15.57/20.54 c And the winner is solver0 15.78/20.84 c Got one! Elapsed wall clock time (in seconds):20.63 15.78/20.84 o -887 15.90/20.93 c And the winner is solver0 16.32/21.35 c Got one! Elapsed wall clock time (in seconds):21.138 16.32/21.35 o -888 16.32/21.39 c And the winner is solver0 16.69/21.85 c Got one! Elapsed wall clock time (in seconds):21.645 16.69/21.85 o -894 16.69/21.89 c And the winner is solver0 17.06/22.36 c Got one! Elapsed wall clock time (in seconds):22.152 17.06/22.36 o -896 17.06/22.37 c And the winner is solver0 17.07/22.87 c Got one! Elapsed wall clock time (in seconds):22.66 17.07/22.87 o -901 17.07/22.89 c And the winner is solver0 17.08/23.38 c Got one! Elapsed wall clock time (in seconds):23.167 17.08/23.38 o -904 17.12/23.40 c And the winner is solver0 17.43/23.88 c Got one! Elapsed wall clock time (in seconds):23.674 17.43/23.88 o -916 17.64/24.07 c And the winner is solver0 17.94/24.39 c Got one! Elapsed wall clock time (in seconds):24.182 17.94/24.39 o -933 18.14/24.58 c And the winner is solver0 18.46/24.90 c Got one! Elapsed wall clock time (in seconds):24.689 18.46/24.90 o -934 19.59/25.48 c And the winner is solver0 19.88/25.91 c Got one! Elapsed wall clock time (in seconds):25.696 19.88/25.91 o -937 20.46/26.25 c And the winner is solver0 20.59/26.41 c Got one! Elapsed wall clock time (in seconds):26.203 20.59/26.41 o -941 20.59/26.44 c And the winner is solver0 20.95/26.92 c Got one! Elapsed wall clock time (in seconds):26.711 20.95/26.92 o -944 20.95/26.94 c And the winner is solver0 20.99/27.43 c Got one! Elapsed wall clock time (in seconds):27.218 20.99/27.43 o -947 20.99/27.45 c And the winner is solver0 21.04/27.93 c Got one! Elapsed wall clock time (in seconds):27.725 21.04/27.93 o -953 21.04/27.95 c And the winner is solver0 21.05/28.45 c Got one! Elapsed wall clock time (in seconds):28.233 21.05/28.45 o -954 21.05/28.47 c And the winner is solver0 21.10/28.95 c Got one! Elapsed wall clock time (in seconds):28.74 21.10/28.95 o -956 21.10/28.99 c And the winner is solver0 21.47/29.46 c Got one! Elapsed wall clock time (in seconds):29.247 21.47/29.46 o -962 21.95/29.76 c And the winner is solver0 22.10/29.96 c Got one! Elapsed wall clock time (in seconds):29.755 22.10/29.96 o -1045 26.06/31.92 c And the winner is solver0 26.35/32.22 c Got one! Elapsed wall clock time (in seconds):32.013 26.35/32.22 o -1048 29.19/33.61 c And the winner is solver0 29.31/33.73 c Got one! Elapsed wall clock time (in seconds):33.52 29.31/33.73 o -1049 30.65/34.49 c cleaning 6876 clauses out of 13752 with flag 2003/13752 30.88/34.50 c And the winner is solver0 31.18/34.84 c Got one! Elapsed wall clock time (in seconds):34.628 31.18/34.84 o -1050 31.33/34.94 c And the winner is solver0 31.64/35.35 c Got one! Elapsed wall clock time (in seconds):35.135 31.64/35.35 o -1052 31.74/35.40 c And the winner is solver0 32.03/35.85 c Got one! Elapsed wall clock time (in seconds):35.643 32.03/35.85 o -1053 32.03/35.86 c And the winner is solver0 32.04/36.36 c Got one! Elapsed wall clock time (in seconds):36.15 32.04/36.36 o -1056 32.04/36.37 c And the winner is solver0 32.05/36.87 c Got one! Elapsed wall clock time (in seconds):36.658 32.05/36.87 o -1057 32.05/36.88 c And the winner is solver0 32.07/37.37 c Got one! Elapsed wall clock time (in seconds):37.165 32.07/37.37 o -1058 33.11/37.96 c And the winner is solver0 33.52/38.38 c Got one! Elapsed wall clock time (in seconds):38.173 33.52/38.38 o -1077 40.02/41.62 c cleaning 6456 clauses out of 12912 with flag 10001/19788 42.43/42.90 c And the winner is solver0 42.89/43.39 c Got one! Elapsed wall clock time (in seconds):43.181 42.89/43.39 o -1132 47.20/45.52 c cleaning 5757 clauses out of 11517 with flag 6004/24849 48.62/46.25 c And the winner is solver0 48.74/46.40 c Got one! Elapsed wall clock time (in seconds):46.189 48.74/46.40 o -1134 50.13/47.11 c And the winner is solver0 50.18/47.41 c Got one! Elapsed wall clock time (in seconds):47.197 50.18/47.41 o -1137 50.18/47.50 c And the winner is solver0 50.71/47.92 c Got one! Elapsed wall clock time (in seconds):47.704 50.71/47.92 o -1142 50.71/47.95 c And the winner is solver0 50.79/48.42 c Got one! Elapsed wall clock time (in seconds):48.213 50.79/48.42 o -1148 50.79/48.48 c And the winner is solver0 51.20/48.93 c Got one! Elapsed wall clock time (in seconds):48.721 51.20/48.93 o -1149 51.20/48.95 c And the winner is solver0 51.23/49.44 c Got one! Elapsed wall clock time (in seconds):49.229 51.23/49.44 o -1150 51.23/49.47 c And the winner is solver0 51.32/49.95 c Got one! Elapsed wall clock time (in seconds):49.737 51.32/49.95 o -1153 51.41/50.08 c And the winner is solver0 51.80/50.45 c Got one! Elapsed wall clock time (in seconds):50.245 51.80/50.45 o -1155 54.56/51.89 c And the winner is solver0 54.75/51.96 c Got one! Elapsed wall clock time (in seconds):51.753 54.75/51.96 o -1157 55.27/52.27 c And the winner is solver0 55.46/52.47 c Got one! Elapsed wall clock time (in seconds):52.261 55.46/52.47 o -1180 56.70/53.12 c cleaning 5927 clauses out of 11853 with flag 2001/30942 64.44/56.98 c cleaning 5960 clauses out of 11927 with flag 14003/36943 72.46/60.99 c And the winner is solver0 72.98/61.48 c Got one! Elapsed wall clock time (in seconds):61.27 72.98/61.48 o -1218 78.95/64.47 c And the winner is solver0 79.14/64.59 c Got one! Elapsed wall clock time (in seconds):64.378 79.14/64.59 o -1223 80.63/65.34 c cleaning 8887 clauses out of 17778 with flag 2028/48754 81.44/65.70 c And the winner is solver0 81.75/66.10 c Got one! Elapsed wall clock time (in seconds):65.887 81.75/66.10 o -1224 82.77/66.69 c And the winner is solver0 83.11/67.10 c Got one! Elapsed wall clock time (in seconds):66.895 83.11/67.10 o -1226 84.48/67.88 c And the winner is solver0 84.98/68.21 c Got one! Elapsed wall clock time (in seconds):68.004 84.98/68.21 o -1229 90.34/70.94 c cleaning 7686 clauses out of 15374 with flag 8003/55237 90.34/70.94 c And the winner is solver0 90.69/71.22 c Got one! Elapsed wall clock time (in seconds):71.012 90.69/71.22 o -1235 90.83/71.35 c And the winner is solver0 91.28/71.73 c Got one! Elapsed wall clock time (in seconds):71.522 91.28/71.73 o -1238 91.28/71.78 c And the winner is solver0 91.41/72.24 c Got one! Elapsed wall clock time (in seconds):72.031 91.41/72.24 o -1240 91.87/72.51 c And the winner is solver0 91.88/73.01 c Got one! Elapsed wall clock time (in seconds):72.8 91.88/73.01 o -1242 91.88/73.07 c And the winner is solver0 92.03/73.52 c Got one! Elapsed wall clock time (in seconds):73.309 92.03/73.52 o -1246 92.18/73.61 c And the winner is solver0 92.56/74.03 c Got one! Elapsed wall clock time (in seconds):73.817 92.56/74.03 o -1247 92.69/74.14 c And the winner is solver0 93.10/74.53 c Got one! Elapsed wall clock time (in seconds):74.326 93.10/74.53 o -1250 93.42/74.74 c And the winner is solver0 93.74/75.04 c Got one! Elapsed wall clock time (in seconds):74.834 93.74/75.04 o -1251 93.74/75.06 c And the winner is solver0 93.79/75.55 c Got one! Elapsed wall clock time (in seconds):75.342 93.79/75.55 o -1252 94.28/75.82 c And the winner is solver0 94.49/76.06 c Got one! Elapsed wall clock time (in seconds):75.851 94.49/76.06 o -1254 96.57/77.11 c And the winner is solver0 96.70/77.57 c Got one! Elapsed wall clock time (in seconds):77.36 96.70/77.57 o -1256 98.34/78.43 c And the winner is solver0 98.58/78.68 c Got one! Elapsed wall clock time (in seconds):78.468 98.58/78.68 o -1296 102.48/80.63 c cleaning 7317 clauses out of 14636 with flag 6001/62185 110.16/84.42 c cleaning 6658 clauses out of 13319 with flag 18001/68185 118.96/88.81 c cleaning 6829 clauses out of 13661 with flag 32001/75185 128.95/93.82 c And the winner is solver0 129.24/94.19 c Got one! Elapsed wall clock time (in seconds):93.98 129.24/94.19 o -1300 136.44/97.70 c cleaning 9872 clauses out of 19743 with flag 10004/88096 140.24/99.66 c And the winner is solver0 140.41/99.77 c Got one! Elapsed wall clock time (in seconds):99.56 140.41/99.77 o -1312 144.48/101.83 c cleaning 7906 clauses out of 15812 with flag 6056/94037 145.49/102.35 c And the winner is solver0 145.67/102.78 c Got one! Elapsed wall clock time (in seconds):102.57 145.67/102.78 o -1316 149.11/104.53 c And the winner is solver0 149.34/104.79 c Got one! Elapsed wall clock time (in seconds):104.579 149.34/104.79 o -1317 149.81/105.04 c And the winner is solver0 150.10/105.30 c Got one! Elapsed wall clock time (in seconds):105.089 150.10/105.30 o -1319 150.10/105.32 c And the winner is solver0 150.15/105.81 c Got one! Elapsed wall clock time (in seconds):105.598 150.15/105.81 o -1320 150.15/105.83 c And the winner is solver0 150.20/106.32 c Got one! Elapsed wall clock time (in seconds):106.108 150.20/106.32 o -1322 150.96/106.75 c And the winner is solver0 151.40/107.13 c Got one! Elapsed wall clock time (in seconds):106.918 151.40/107.13 o -1324 151.94/107.49 c And the winner is solver0 152.22/107.64 c Got one! Elapsed wall clock time (in seconds):107.427 152.22/107.64 o -1330 157.01/110.17 c cleaning 7810 clauses out of 15623 with flag 6005/101754 163.41/113.34 c And the winner is solver0 163.74/113.69 c Got one! Elapsed wall clock time (in seconds):113.479 163.74/113.69 o -1333 164.24/113.90 c And the winner is solver0 164.55/114.20 c Got one! Elapsed wall clock time (in seconds):113.989 164.55/114.20 o -1342 165.15/114.54 c And the winner is solver0 165.39/114.71 c Got one! Elapsed wall clock time (in seconds):114.498 165.39/114.71 o -1345 165.56/114.84 c And the winner is solver0 166.01/115.22 c Got one! Elapsed wall clock time (in seconds):115.008 166.01/115.22 o -1346 166.01/115.24 c And the winner is solver0 166.06/115.73 c Got one! Elapsed wall clock time (in seconds):115.517 166.06/115.73 o -1347 166.60/116.00 c And the winner is solver0 166.80/116.24 c Got one! Elapsed wall clock time (in seconds):116.026 166.80/116.24 o -1349 167.95/116.81 c And the winner is solver0 168.27/117.25 c Got one! Elapsed wall clock time (in seconds):117.036 168.27/117.25 o -1351 169.76/118.03 c cleaning 7879 clauses out of 15758 with flag 2007/109699 173.96/120.16 c And the winner is solver0 174.13/120.25 c Got one! Elapsed wall clock time (in seconds):120.046 174.13/120.25 o -1352 174.45/120.45 c And the winner is solver0 174.89/120.82 c Got one! Elapsed wall clock time (in seconds):120.607 174.89/120.82 o -1353 175.45/121.12 c And the winner is solver0 175.70/121.38 c Got one! Elapsed wall clock time (in seconds):121.174 175.70/121.38 o -1355 177.33/122.11 c And the winner is solver0 177.45/122.39 c Got one! Elapsed wall clock time (in seconds):122.184 177.45/122.39 o -1360 180.04/123.77 c cleaning 7365 clauses out of 14737 with flag 4001/116557 187.44/127.50 c cleaning 6684 clauses out of 13374 with flag 16005/122559 196.24/131.86 c cleaning 6844 clauses out of 13688 with flag 30001/129557 206.45/136.90 c cleaning 7420 clauses out of 14844 with flag 46001/137557 217.99/142.65 c cleaning 8209 clauses out of 16424 with flag 64001/146557 230.79/149.02 c cleaning 9106 clauses out of 18217 with flag 84005/156559 243.99/155.60 c And the winner is solver0 244.25/155.91 c Got one! Elapsed wall clock time (in seconds):155.7 244.25/155.91 o -1368 251.21/159.40 c cleaning 11976 clauses out of 23958 with flag 10004/171406 255.46/161.42 c And the winner is solver0 255.69/161.92 c Got one! Elapsed wall clock time (in seconds):161.71 255.69/161.92 o -1380 259.65/164.00 c cleaning 8897 clauses out of 17799 with flag 6005/177223 261.85/165.08 c And the winner is solver0 262.13/165.43 c Got one! Elapsed wall clock time (in seconds):165.221 262.13/165.43 o -1384 264.46/166.65 c And the winner is solver0 264.92/167.04 c Got one! Elapsed wall clock time (in seconds):166.831 264.92/167.04 o -1385 266.04/167.68 c And the winner is solver0 266.46/168.05 c Got one! Elapsed wall clock time (in seconds):167.841 266.46/168.05 o -1390 266.46/168.09 c And the winner is solver0 266.58/168.56 c Got one! Elapsed wall clock time (in seconds):168.351 266.58/168.56 o -1392 267.64/169.13 c And the winner is solver0 268.03/169.57 c Got one! Elapsed wall clock time (in seconds):169.36 268.03/169.57 o -1395 272.09/171.68 c cleaning 8464 clauses out of 16934 with flag 6005/185255 278.07/174.69 c And the winner is solver0 278.44/175.08 c Got one! Elapsed wall clock time (in seconds):174.871 278.44/175.08 o -1399 278.86/175.31 c And the winner is solver0 279.17/175.69 c Got one! Elapsed wall clock time (in seconds):175.481 279.17/175.69 o -1403 280.46/176.31 c And the winner is solver0 280.84/176.70 c Got one! Elapsed wall clock time (in seconds):176.491 280.84/176.70 o -1410 282.00/177.48 c And the winner is solver0 282.57/177.91 c Got one! Elapsed wall clock time (in seconds):177.696 282.57/177.91 o -1417 283.54/178.49 c And the winner is solver0 284.06/178.92 c Got one! Elapsed wall clock time (in seconds):178.706 284.06/178.92 o -1418 285.40/179.68 c cleaning 8147 clauses out of 16297 with flag 2016/193082 286.20/180.00 c And the winner is solver0 286.43/180.43 c Got one! Elapsed wall clock time (in seconds):180.217 286.43/180.43 o -1419 291.76/183.19 c And the winner is solver0 292.06/183.44 c Got one! Elapsed wall clock time (in seconds):183.228 292.06/183.44 o -1420 292.06/183.48 c And the winner is solver0 292.17/183.95 c Got one! Elapsed wall clock time (in seconds):183.739 292.17/183.95 o -1423 292.46/184.18 c And the winner is solver0 293.01/184.61 c Got one! Elapsed wall clock time (in seconds):184.4 293.01/184.61 o -1432 295.58/185.98 c cleaning 7449 clauses out of 14908 with flag 4005/199840 303.57/189.98 c cleaning 6725 clauses out of 13458 with flag 16003/205839 312.77/194.54 c And the winner is solver0 313.20/194.92 c Got one! Elapsed wall clock time (in seconds):194.712 313.20/194.92 o -1433 313.94/195.38 c And the winner is solver0 314.24/195.58 c Got one! Elapsed wall clock time (in seconds):195.373 314.24/195.58 o -1435 314.90/195.84 c And the winner is solver0 315.09/196.10 c Got one! Elapsed wall clock time (in seconds):195.885 315.09/196.10 o -1442 315.68/196.45 c And the winner is solver0 316.04/196.75 c Got one! Elapsed wall clock time (in seconds):196.546 316.04/196.75 o -1444 317.14/197.37 c And the winner is solver0 317.63/197.77 c Got one! Elapsed wall clock time (in seconds):197.557 317.63/197.77 o -1445 319.74/198.88 c And the winner is solver0 320.13/199.28 c Got one! Elapsed wall clock time (in seconds):199.068 320.13/199.28 o -1446 322.76/200.68 c And the winner is solver0 323.25/201.04 c Got one! Elapsed wall clock time (in seconds):200.829 323.25/201.04 o -1447 323.99/201.44 c And the winner is solver0 324.31/201.70 c Got one! Elapsed wall clock time (in seconds):201.49 324.31/201.70 o -1448 324.49/201.85 c And the winner is solver0 324.69/202.21 c Got one! Elapsed wall clock time (in seconds):202.001 324.69/202.21 o -1450 329.05/204.46 c cleaning 11434 clauses out of 22867 with flag 6318/221973 337.05/208.44 c And the winner is solver0 337.49/208.82 c Got one! Elapsed wall clock time (in seconds):208.613 337.49/208.82 o -1454 338.04/209.16 c And the winner is solver0 338.49/209.58 c Got one! Elapsed wall clock time (in seconds):209.374 338.49/209.58 o -1460 345.58/213.01 c cleaning 11383 clauses out of 22769 with flag 10003/233309 352.99/216.80 c cleaning 8690 clauses out of 17386 with flag 22003/239309 361.79/221.19 c cleaning 7844 clauses out of 15695 with flag 36001/246308 372.17/226.39 c cleaning 7923 clauses out of 15852 with flag 52003/254309 383.99/232.25 c cleaning 8461 clauses out of 16929 with flag 70003/263309 397.18/238.87 c cleaning 9233 clauses out of 18467 with flag 90001/273308 411.83/246.07 c cleaning 10115 clauses out of 20235 with flag 112003/284309 426.83/253.59 c cleaning 11055 clauses out of 22120 with flag 136003/296309 444.42/262.40 c cleaning 12030 clauses out of 24064 with flag 162001/309308 463.43/271.88 c cleaning 13017 clauses out of 26034 with flag 190001/323308 472.41/276.56 c And the winner is solver1 472.54/277.05 c Got one! Elapsed wall clock time (in seconds):276.842 472.54/277.05 o -1694 472.66/277.11 c And the winner is solver0 472.77/277.56 c Got one! Elapsed wall clock time (in seconds):277.352 472.77/277.56 o -2009 472.86/277.67 c And the winner is solver0 473.08/278.07 c Got one! Elapsed wall clock time (in seconds):277.863 473.08/278.07 o -2165 473.12/278.18 c And the winner is solver0 473.37/278.58 c Got one! Elapsed wall clock time (in seconds):278.372 473.37/278.58 o -2212 473.39/278.70 c And the winner is solver0 473.69/279.09 c Got one! Elapsed wall clock time (in seconds):278.883 473.69/279.09 o -2381 473.89/279.21 c And the winner is solver0 474.02/279.60 c Got one! Elapsed wall clock time (in seconds):279.393 474.02/279.60 o -2396 474.20/279.72 c And the winner is solver0 474.34/280.11 c Got one! Elapsed wall clock time (in seconds):279.903 474.34/280.11 o -2571 474.49/280.28 c And the winner is solver0 474.78/280.62 c Got one! Elapsed wall clock time (in seconds):280.413 474.78/280.62 o -2726 474.92/280.72 c And the winner is solver0 475.02/281.13 c Got one! Elapsed wall clock time (in seconds):280.923 475.02/281.13 o -2869 475.14/281.24 c And the winner is solver0 475.30/281.64 c Got one! Elapsed wall clock time (in seconds):281.433 475.30/281.64 o -3045 475.41/281.72 c And the winner is solver0 475.50/282.15 c Got one! Elapsed wall clock time (in seconds):281.943 475.50/282.15 o -3260 475.58/282.25 c And the winner is solver0 475.75/282.66 c Got one! Elapsed wall clock time (in seconds):282.453 475.75/282.66 o -3300 475.82/282.80 c And the winner is solver0 476.11/283.17 c Got one! Elapsed wall clock time (in seconds):282.963 476.11/283.17 o -3320 476.35/283.34 c And the winner is solver0 476.54/283.68 c Got one! Elapsed wall clock time (in seconds):283.473 476.54/283.68 o -3553 476.97/283.91 c And the winner is solver0 477.18/284.19 c Got one! Elapsed wall clock time (in seconds):283.983 477.18/284.19 o -3571 477.39/284.38 c And the winner is solver0 477.68/284.70 c Got one! Elapsed wall clock time (in seconds):284.493 477.68/284.70 o -3598 478.07/284.93 c And the winner is solver0 478.46/285.21 c Got one! Elapsed wall clock time (in seconds):285.003 478.46/285.21 o -3625 478.62/285.36 c And the winner is solver0 478.84/285.72 c Got one! Elapsed wall clock time (in seconds):285.513 478.84/285.72 o -3644 478.98/285.82 c And the winner is solver0 479.09/286.23 c Got one! Elapsed wall clock time (in seconds):286.023 479.09/286.23 o -3647 479.41/286.46 c And the winner is solver0 479.74/286.74 c Got one! Elapsed wall clock time (in seconds):286.533 479.74/286.74 o -3701 480.04/286.98 c And the winner is solver0 480.40/287.25 c Got one! Elapsed wall clock time (in seconds):287.044 480.40/287.25 o -3715 480.88/287.55 c And the winner is solver0 481.13/287.76 c Got one! Elapsed wall clock time (in seconds):287.554 481.13/287.76 o -3729 481.61/288.05 c And the winner is solver0 481.88/288.27 c Got one! Elapsed wall clock time (in seconds):288.065 481.88/288.27 o -3733 482.54/288.65 c And the winner is solver0 483.09/289.13 c Got one! Elapsed wall clock time (in seconds):288.925 483.09/289.13 o -3734 483.81/289.51 c And the winner is solver0 484.23/289.99 c Got one! Elapsed wall clock time (in seconds):289.786 484.23/289.99 o -3812 492.97/294.34 c cleaning 14152 clauses out of 28314 with flag 16251/338605 504.33/299.79 c cleaning 10083 clauses out of 20168 with flag 41947/344611 516.82/305.79 c cleaning 8538 clauses out of 17079 with flag 64985/351605 530.62/312.62 c cleaning 8265 clauses out of 16541 with flag 90902/359605 546.18/320.35 c cleaning 8638 clauses out of 17277 with flag 118929/368606 553.98/324.22 c And the winner is solver0 554.29/324.56 c Got one! Elapsed wall clock time (in seconds):324.35 554.29/324.56 o -3816 555.55/325.25 c cleaning 7174 clauses out of 14348 with flag 2769/374315 563.35/329.18 c cleaning 6585 clauses out of 13175 with flag 15982/380316 572.75/333.87 c cleaning 6794 clauses out of 13589 with flag 30724/387315 584.18/339.41 c cleaning 7395 clauses out of 14795 with flag 47614/395315 596.39/345.52 c cleaning 8197 clauses out of 16400 with flag 69094/404315 610.38/352.53 c cleaning 9101 clauses out of 18204 with flag 92997/414316 626.41/360.48 c cleaning 10051 clauses out of 20103 with flag 118900/425316 643.81/369.13 c cleaning 11024 clauses out of 22051 with flag 146862/437315 663.34/378.76 c cleaning 12011 clauses out of 24028 with flag 177178/450316 683.73/388.97 c cleaning 13005 clauses out of 26016 with flag 210857/464315 707.59/401.26 c cleaning 14002 clauses out of 28012 with flag 247815/479316 732.18/413.51 c cleaning 15003 clauses out of 30010 with flag 285854/495316 758.49/426.64 c cleaning 15998 clauses out of 32007 with flag 326570/512316 786.26/440.49 c cleaning 17004 clauses out of 34008 with flag 366480/530315 816.14/455.29 c cleaning 18000 clauses out of 36004 with flag 409352/549315 848.24/471.11 c cleaning 19002 clauses out of 38004 with flag 453674/569315 881.23/487.65 c cleaning 20001 clauses out of 40002 with flag 500995/590315 917.55/505.68 c cleaning 21000 clauses out of 42002 with flag 547248/612316 955.44/524.42 c cleaning 21996 clauses out of 44002 with flag 598874/635316 994.47/543.78 c cleaning 22998 clauses out of 46005 with flag 657459/659315 1037.08/565.55 c cleaning 24000 clauses out of 48007 with flag 728312/684315 1079.34/586.60 c cleaning 25002 clauses out of 50008 with flag 802307/710316 1123.50/608.51 c cleaning 26001 clauses out of 52005 with flag 880876/737315 1169.73/631.54 c cleaning 26999 clauses out of 54004 with flag 961254/765315 1222.73/658.57 c cleaning 27997 clauses out of 56005 with flag 1046314/794315 1274.66/684.40 c cleaning 29004 clauses out of 58008 with flag 1131494/824315 1330.42/711.95 c cleaning 29998 clauses out of 60005 with flag 1217679/855316 1386.98/739.97 c cleaning 31000 clauses out of 62006 with flag 1309099/887315 1446.92/769.58 c cleaning 32003 clauses out of 64006 with flag 1401539/920315 1509.72/800.71 c cleaning 32998 clauses out of 66003 with flag 1497284/954315 1577.41/835.68 c cleaning 33997 clauses out of 68005 with flag 1592758/989315 1644.88/869.18 c cleaning 35002 clauses out of 70008 with flag 1696640/1025315 1717.92/905.22 c cleaning 35998 clauses out of 72006 with flag 1806611/1062315 1790.30/940.92 c cleaning 36998 clauses out of 74008 with flag 1923590/1100315 1800.08/945.70 c >>>>>>>>>> Solver number 0 (163 answers) <<<<<<<<<<<<<<<<<< 1800.08/945.70 c starts : 908 1800.08/945.70 c conflicts : 1105858 1800.08/945.70 c decisions : 2382437 1800.08/945.70 c propagations : 214679405 1800.08/945.70 c inspects : 3169554559 1800.08/945.70 c shortcuts : 0 1800.08/945.70 c learnt literals : 0 1800.08/945.70 c learnt binary clauses : 18 1800.08/945.70 c learnt ternary clauses : 732 1800.08/945.70 c learnt constraints : 1105858 1800.08/945.70 c ignored constraints : 0 1800.08/945.70 c root simplifications : 0 1800.08/945.70 c removed literals (reason simplification) : 150145932 1800.08/945.70 c reason swapping (by a shorter reason) : 0 1800.08/945.70 c Calls to reduceDB : 76 1800.08/945.70 c Number of update (reduction) of LBD : 3282 1800.08/945.70 c Imported unit clauses : 0 1800.08/945.70 c number of reductions to clauses (during analyze) : 0 1800.08/945.70 c number of learned constraints concerned by reduction : 0 1800.08/945.70 c number of learning phase by resolution : 0 1800.08/945.70 c number of learning phase by cutting planes : 0 1800.08/945.70 c speed (assignments/second) : 321067.30347883696 1800.08/945.70 c non guided choices 0 1800.08/945.72 c learnt constraints type 1800.08/945.72 c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 18 1800.08/945.72 c org.sat4j.minisat.constraints.cnf.LearntWLClause => 42535 1800.08/945.72 c >>>>>>>>>> Solver number 1 (1 answers) <<<<<<<<<<<<<<<<<< 1800.08/945.72 c starts : 173 1800.08/945.72 c conflicts : 1535 1800.08/945.72 c decisions : 9443 1800.08/945.72 c propagations : 1259391 1800.08/945.72 c inspects : 200117142 1800.08/945.72 c shortcuts : 0 1800.08/945.72 c learnt literals : 0 1800.08/945.72 c learnt binary clauses : 0 1800.08/945.72 c learnt ternary clauses : 0 1800.08/945.72 c learnt constraints : 1411 1800.08/945.72 c ignored constraints : 0 1800.08/945.72 c root simplifications : 0 1800.08/945.72 c removed literals (reason simplification) : 0 1800.08/945.72 c reason swapping (by a shorter reason) : 0 1800.08/945.72 c Calls to reduceDB : 0 1800.08/945.72 c Number of update (reduction) of LBD : 0 1800.08/945.72 c Imported unit clauses : 0 1800.08/945.72 c number of reductions to clauses (during analyze) : 0 1800.08/945.72 c number of learned constraints concerned by reduction : 0 1800.08/945.72 c number of learning phase by resolution : 0 1800.08/945.72 c number of learning phase by cutting planes : 0 1800.08/945.72 c speed (assignments/second) : 2027.5053006264156 1800.08/945.72 c non guided choices 0 1800.08/945.72 c learnt constraints type 1800.08/945.72 c org.sat4j.pb.constraints.pb.MaxWatchPb => 1411 1800.08/945.72 s SATISFIABLE 1800.08/945.72 c Found 164 solution(s) 1800.08/945.72 v -x1 -x2 x3 x4 x5 -x6 -x7 -x8 x9 -x10 -x11 x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 x20 -x21 x22 x23 x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 x32 -x33 -x34 -x35 x36 -x37 -x38 x39 -x40 -x41 -x42 x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 x51 -x52 x53 x54 x55 1800.08/945.73 c objective function=-3816 1800.08/945.73 c Total wall clock time (in seconds): 945.516
OK -3816
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-4119517-1467258080/watcher-4119517-1467258080 -o /tmp/evaluation-result-4119517-1467258080/solver-4119517-1467258080 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node125-1467258080-8434 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4119517-1467258080.opb pid=8461 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: 1.17 1.34 1.72 2/177 8464 /proc/meminfo: memFree=28616100/32872528 swapFree=1525072/1694724 [pid=8464] ppid=8461 vsize=92900 CPUtime=0 cores=1,3,5,7 /proc/8464/stat : 8464 (java) S 8461 8464 7126 0 -1 4202496 1295 0 0 0 0 0 0 0 20 0 2 0 4832220 95129600 927 33554432000 1073741824 1073778376 140737455674912 140737455666048 270710898749 0 0 4096 0 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/8464/statm: 23225 927 703 9 0 16769 0 [pid=8464/tid=8465] ppid=8461 vsize=92900 CPUtime=0 cores=1,3,5,7 /proc/8464/task/8465/stat : 8465 (java) D 8461 8464 7126 0 -1 4202560 70 0 0 0 0 0 0 0 20 0 2 0 4832220 95129600 927 33554432000 1073741824 1073778376 140737455674912 139918605467176 270698376487 0 0 4096 0 18446744072100588836 0 0 -1 3 0 0 0 0 0 [startup+0.100082 s] /proc/loadavg: 1.17 1.34 1.72 2/177 8464 /proc/meminfo: memFree=28616100/32872528 swapFree=1525072/1694724 [pid=8464] ppid=8461 vsize=9225560 CPUtime=0.03 cores=1,3,5,7 /proc/8464/stat : 8464 (java) S 8461 8464 7126 0 -1 4202496 3136 0 3 0 2 1 0 0 20 0 13 0 4832220 9446973440 3757 33554432000 1073741824 1073778376 140737455674912 140737455666048 270710898749 0 0 0 16800971 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/8464/statm: 2306390 3757 1707 9 0 2297091 0 [pid=8464/tid=8465] ppid=8461 vsize=9225560 CPUtime=0.02 cores=1,3,5,7 /proc/8464/task/8465/stat : 8465 (java) D 8461 8464 7126 0 -1 4202560 1876 0 3 0 2 0 0 0 20 0 13 0 4832220 9446973440 3757 33554432000 1073741824 1073778376 140737455674912 139918605466800 270710924557 0 4 0 16800971 18446744071579943789 0 0 -1 1 0 0 5 0 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 9225560 [startup+0.200332 s] /proc/loadavg: 1.17 1.34 1.72 2/177 8464 /proc/meminfo: memFree=28616100/32872528 swapFree=1525072/1694724 [pid=8464] ppid=8461 vsize=9558476 CPUtime=0.12 cores=1,3,5,7 /proc/8464/stat : 8464 (java) S 8461 8464 7126 0 -1 4202496 4503 0 3 0 10 2 0 0 20 0 18 0 4832220 9787879424 6104 33554432000 1073741824 1073778376 140737455674912 140737455666048 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/8464/statm: 2389619 6104 2166 9 0 2380296 0 [pid=8464/tid=8465] ppid=8461 vsize=9558476 CPUtime=0.09 cores=1,3,5,7 /proc/8464/task/8465/stat : 8465 (java) R 8461 8464 7126 0 -1 4202560 2376 0 3 0 7 2 0 0 20 0 18 0 4832220 9787879424 6104 33554432000 1073741824 1073778376 140737455674912 139918605453616 139918595534870 0 4 0 16800975 0 0 0 -1 1 0 0 8 0 0 Current children cumulated CPU time (s) 0.12 Current children cumulated vsize (KiB) 9558476 [startup+0.300265 s] /proc/loadavg: 1.17 1.34 1.72 2/177 8464 /proc/meminfo: memFree=28616100/32872528 swapFree=1525072/1694724 [pid=8464] ppid=8461 vsize=9558476 CPUtime=0.23 cores=1,3,5,7 /proc/8464/stat : 8464 (java) S 8461 8464 7126 0 -1 4202496 4614 0 3 0 21 2 0 0 20 0 18 0 4832220 9787879424 7231 33554432000 1073741824 1073778376 140737455674912 140737455666048 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/8464/statm: 2389619 7231 2211 9 0 2380296 0 [pid=8464/tid=8465] ppid=8461 vsize=9558476 CPUtime=0.17 cores=1,3,5,7 /proc/8464/task/8465/stat : 8465 (java) R 8461 8464 7126 0 -1 4202560 2390 0 3 0 15 2 0 0 20 0 18 0 4832220 9787879424 7231 33554432000 1073741824 1073778376 140737455674912 139918605467440 270710914104 0 4 0 16800975 0 0 0 -1 1 0 0 9 0 0 Current children cumulated CPU time (s) 0.23 Current children cumulated vsize (KiB) 9558476 [startup+0.7002 s] /proc/loadavg: 1.17 1.34 1.72 2/177 8464 /proc/meminfo: memFree=28616100/32872528 swapFree=1525072/1694724 [pid=8464] ppid=8461 vsize=9558476 CPUtime=1.01 cores=1,3,5,7 /proc/8464/stat : 8464 (java) S 8461 8464 7126 0 -1 4202496 8615 0 3 0 98 3 0 0 20 0 18 0 4832220 9787879424 12837 33554432000 1073741824 1073778376 140737455674912 140737455666048 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/8464/statm: 2389619 12861 2246 9 0 2380296 0 [pid=8464/tid=8465] ppid=8461 vsize=9558476 CPUtime=0.57 cores=1,3,5,7 /proc/8464/task/8465/stat : 8465 (java) R 8461 8464 7126 0 -1 4202560 2398 0 3 0 54 3 0 0 20 0 18 0 4832220 9787879424 12861 33554432000 1073741824 1073778376 140737455674912 139918605471368 139918441869316 0 4 0 16800975 0 0 0 -1 1 0 0 9 0 0 Current children cumulated CPU time (s) 1.01 Current children cumulated vsize (KiB) 9558476 [startup+1.50075 s] /proc/loadavg: 1.17 1.34 1.72 5/216 8509 /proc/meminfo: memFree=28514340/32872528 swapFree=1525072/1694724 [pid=8464] ppid=8461 vsize=9824732 CPUtime=1.99 cores=1,3,5,7 /proc/8464/stat : 8464 (java) S 8461 8464 7126 0 -1 4202496 11902 0 3 0 193 6 0 0 20 0 19 0 4832220 10060525568 17260 33554432000 1073741824 1073778376 140737455674912 140737455666048 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/8464/statm: 2456183 17260 2265 9 0 2446860 0 [pid=8464/tid=8465] ppid=8461 vsize=9824732 CPUtime=0.87 cores=1,3,5,7 /proc/8464/task/8465/stat : 8465 (java) R 8461 8464 7126 0 -1 4202560 2413 0 3 0 84 3 0 0 20 0 19 0 4832220 10060525568 17260 33554432000 1073741824 1073778376 140737455674912 139918605472632 139918441561416 0 4 0 16800975 0 0 0 -1 1 0 0 9 0 0 [pid=8464/tid=8475] ppid=8461 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/8464/task/8475/stat : 8475 (java) S 8461 8464 7126 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4832221 10060525568 17260 33554432000 1073741824 1073778376 140737455674912 139918566964264 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=8464/tid=8476] ppid=8461 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/8464/task/8476/stat : 8476 (java) S 8461 8464 7126 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4832221 10060525568 17260 33554432000 1073741824 1073778376 140737455674912 139918565911464 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=8464/tid=8477] ppid=8461 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/8464/task/8477/stat : 8477 (java) S 8461 8464 7126 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4832221 10060525568 17260 33554432000 1073741824 1073778376 140737455674912 139918564858664 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=8464/tid=8478] ppid=8461 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/8464/task/8478/stat : 8478 (java) S 8461 8464 7126 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4832221 10060525568 17260 33554432000 1073741824 1073778376 140737455674912 139918563805864 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=8464/tid=8479] ppid=8461 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/8464/task/8479/stat : 8479 (java) S 8461 8464 7126 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4832221 10060525568 17260 33554432000 1073741824 1073778376 140737455674912 139918562753064 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=8464/tid=8480] ppid=8461 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/8464/task/8480/stat : 8480 (java) S 8461 8464 7126 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4832221 10060525568 17260 33554432000 1073741824 1073778376 140737455674912 139918561700264 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=8464/tid=8481] ppid=8461 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/8464/task/8481/stat : 8481 (java) S 8461 8464 7126 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4832221 10060525568 17260 33554432000 1073741824 1073778376 140737455674912 139918560647464 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=8464/tid=8482] ppid=8461 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/8464/task/8482/stat : 8482 (java) S 8461 8464 7126 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 4832221 10060525568 17260 33554432000 1073741824 1073778376 140737455674912 139918441441448 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=8464/tid=8484] ppid=8461 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/8464/task/8484/stat : 8484 (java) S 8461 8464 7126 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 4832224 10060525568 17260 33554432000 1073741824 1073778376 140737455674912 139918429244392 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=8464/tid=8486] ppid=8461 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/8464/task/8486/stat : 8486 (java) S 8461 8464 7126 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 4832226 10060525568 17260 33554432000 1073741824 1073778376 140737455674912 139918428190456 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=8464/tid=8488] ppid=8461 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/8464/task/8488/stat : 8488 (java) S 8461 8464 7126 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 4832226 10060525568 17260 33554432000 1073741824 1073778376 140737455674912 139918427137544 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=8464/tid=8489] ppid=8461 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/8464/task/8489/stat : 8489 (java) S 8461 8464 7126 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4832231 10060525568 17260 33554432000 1073741824 1073778376 140737455674912 139918426086032 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=8464/tid=8491] ppid=8461 vsize=9824732 CPUtime=0.4 cores=1,3,5,7 /proc/8464/task/8491/stat : 8491 (java) S 8461 8464 7126 0 -1 4202560 3426 0 0 0 40 0 0 0 20 0 19 0 4832231 10060525568 17260 33554432000 1073741824 1073778376 140737455674912 139917686467000 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=8464/tid=8493] ppid=8461 vsize=9824732 CPUtime=0.43 cores=1,3,5,7 /proc/8464/task/8493/stat : 8493 (java) S 8461 8464 7126 0 -1 4202560 4744 0 0 0 43 0 0 0 20 0 19 0 4832231 10060525568 17260 33554432000 1073741824 1073778376 140737455674912 139917685414200 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=8464/tid=8495] ppid=8461 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/8464/task/8495/stat : 8495 (java) S 8461 8464 7126 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4832231 10060525568 17260 33554432000 1073741824 1073778376 140737455674912 139917684361592 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=8464/tid=8497] ppid=8461 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/8464/task/8497/stat : 8497 (java) S 8461 8464 7126 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4832231 10060525568 17260 33554432000 1073741824 1073778376 140737455674912 139917683309000 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=8464/tid=8509] ppid=8461 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/8464/task/8509/stat : 8509 (java) S 8461 8464 7126 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 4832323 10060525568 17260 33554432000 1073741824 1073778376 140737455674912 139917679097128 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1.99 Current children cumulated vsize (KiB) 9824732 [startup+3.10072 s] /proc/loadavg: 1.17 1.34 1.72 2/213 8521 /proc/meminfo: memFree=28461048/32872528 swapFree=1525072/1694724 [pid=8464] ppid=8461 vsize=9824732 CPUtime=3.38 cores=1,3,5,7 /proc/8464/stat : 8464 (java) S 8461 8464 7126 0 -1 4202496 17913 0 3 0 324 14 0 0 20 0 20 0 4832220 10060525568 28959 33554432000 1073741824 1073778376 140737455674912 140737455666048 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/8464/statm: 2456183 28959 2276 9 0 2446860 0 [pid=8464/tid=8465] ppid=8461 vsize=9824732 CPUtime=0.95 cores=1,3,5,7 /proc/8464/task/8465/stat : 8465 (java) S 8461 8464 7126 0 -1 4202560 2421 0 3 0 92 3 0 0 20 0 20 0 4832220 10060525568 28959 33554432000 1073741824 1073778376 140737455674912 139918605472632 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 9 0 0 [pid=8464/tid=8475] ppid=8461 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/8464/task/8475/stat : 8475 (java) S 8461 8464 7126 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 4832221 10060525568 28959 33554432000 1073741824 1073778376 140737455674912 139918566964264 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=8464/tid=8476] ppid=8461 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/8464/task/8476/stat : 8476 (java) S 8461 8464 7126 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 4832221 10060525568 28959 33554432000 1073741824 1073778376 140737455674912 139918565911464 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=8464/tid=8477] ppid=8461 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/8464/task/8477/stat : 8477 (java) S 8461 8464 7126 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 4832221 10060525568 28959 33554432000 1073741824 1073778376 140737455674912 139918564858664 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=8464/tid=8478] ppid=8461 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/8464/task/8478/stat : 8478 (java) S 8461 8464 7126 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 4832221 10060525568 28959 33554432000 1073741824 1073778376 140737455674912 139918563805864 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=8464/tid=8479] ppid=8461 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/8464/task/8479/stat : 8479 (java) S 8461 8464 7126 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 4832221 10060525568 28959 33554432000 1073741824 1073778376 140737455674912 139918562753064 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=8464/tid=8480] ppid=8461 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/8464/task/8480/stat : 8480 (java) S 8461 8464 7126 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 4832221 10060525568 28959 33554432000 1073741824 1073778376 140737455674912 139918561700264 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=8464/tid=8481] ppid=8461 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/8464/task/8481/stat : 8481 (java) S 8461 8464 7126 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 4832221 10060525568 28959 33554432000 1073741824 1073778376 140737455674912 139918560647464 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=8464/tid=8482] ppid=8461 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/8464/task/8482/stat : 8482 (java) S 8461 8464 7126 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 20 0 4832221 10060525568 28959 33554432000 1073741824 1073778376 140737455674912 139918441441448 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=8464/tid=8484] ppid=8461 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/8464/task/8484/stat : 8484 (java) S 8461 8464 7126 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 20 0 4832224 10060525568 28959 33554432000 1073741824 1073778376 140737455674912 139918429244392 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=8464/tid=8486] ppid=8461 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/8464/task/8486/stat : 8486 (java) S 8461 8464 7126 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 20 0 4832226 10060525568 28959 33554432000 1073741824 1073778376 140737455674912 139918428190456 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=8464/tid=8488] ppid=8461 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/8464/task/8488/stat : 8488 (java) S 8461 8464 7126 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 4832226 10060525568 28959 33554432000 1073741824 1073778376 140737455674912 139918427137544 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=8464/tid=8489] ppid=8461 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/8464/task/8489/stat : 8489 (java) S 8461 8464 7126 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 4832231 10060525568 28959 33554432000 1073741824 1073778376 140737455674912 139918426086032 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=8464/tid=8491] ppid=8461 vsize=9824732 CPUtime=0.83 cores=1,3,5,7 /proc/8464/task/8491/stat : 8491 (java) R 8461 8464 7126 0 -1 4202560 5589 0 0 0 83 0 0 0 20 0 20 0 4832231 10060525568 28959 33554432000 1073741824 1073778376 140737455674912 139917686467000 139918611433423 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 [pid=8464/tid=8493] ppid=8461 vsize=9824732 CPUtime=0.88 cores=1,3,5,7 /proc/8464/task/8493/stat : 8493 (java) R 8461 8464 7126 0 -1 4202560 8526 0 0 0 86 2 0 0 20 0 20 0 4832231 10060525568 28959 33554432000 1073741824 1073778376 140737455674912 139917685414040 139918607520609 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 [pid=8464/tid=8495] ppid=8461 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/8464/task/8495/stat : 8495 (java) S 8461 8464 7126 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 4832231 10060525568 28959 33554432000 1073741824 1073778376 140737455674912 139917684361592 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=8464/tid=8497] ppid=8461 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/8464/task/8497/stat : 8497 (java) S 8461 8464 7126 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 4832231 10060525568 28959 33554432000 1073741824 1073778376 140737455674912 139917683309000 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=8464/tid=8509] ppid=8461 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/8464/task/8509/stat : 8509 (java) S 8461 8464 7126 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 20 0 4832323 10060525568 28959 33554432000 1073741824 1073778376 140737455674912 139917679097128 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 3.38 Current children cumulated vsize (KiB) 9824732 ############ # WARNING: # current cumulated CPU time (3.48 s) is less than in the last sample (3.49 s) # The time of a child was probably not reported to its father. # (see the two samples below) # Adding the difference (0.00999999 s) to the 'lost time'. [startup+4.10083 s] /proc/loadavg: 1.16 1.34 1.71 2/213 8533 /proc/meminfo: memFree=28427608/32872528 swapFree=1525072/1694724 [pid=8464] ppid=8461 vsize=9824732 CPUtime=3.49 cores=1,3,5,7 /proc/8464/stat : 8464 (java) S 8461 8464 7126 0 -1 4202496 17936 0 3 0 332 17 0 0 20 0 22 0 4832220 10060525568 33572 33554432000 1073741824 1073778376 140737455674912 140737455666048 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/8464/statm: 2456183 33572 2276 9 0 2446860 0 [pid=8464/tid=8465] ppid=8461 vsize=9824732 CPUtime=0.97 cores=1,3,5,7 /proc/8464/task/8465/stat : 8465 (java) S 8461 8464 7126 0 -1 4202560 2426 0 3 0 94 3 0 0 20 0 22 0 4832220 10060525568 33572 33554432000 1073741824 1073778376 140737455674912 139918605472632 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 9 0 0 [pid=8464/tid=8475] ppid=8461 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/8464/task/8475/stat : 8475 (java) S 8461 8464 7126 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 4832221 10060525568 33572 33554432000 1073741824 1073778376 140737455674912 139918566964264 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=8464/tid=8476] ppid=8461 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/8464/task/8476/stat : 8476 (java) S 8461 8464 7126 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 4832221 10060525568 33572 33554432000 1073741824 1073778376 140737455674912 139918565911464 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=8464/tid=8477] ppid=8461 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/8464/task/8477/stat : 8477 (java) S 8461 8464 7126 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 4832221 10060525568 33572 33554432000 1073741824 1073778376 140737455674912 139918564858664 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=8464/tid=8478] ppid=8461 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/8464/task/8478/stat : 8478 (java) S 8461 8464 7126 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 4832221 10060525568 33572 33554432000 1073741824 1073778376 140737455674912 139918563805864 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=8464/tid=8479] ppid=8461 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/8464/task/8479/stat : 8479 (java) S 8461 8464 7126 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 4832221 10060525568 33572 33554432000 1073741824 1073778376 140737455674912 139918562753064 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=8464/tid=8480] ppid=8461 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/8464/task/8480/stat : 8480 (java) S 8461 8464 7126 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 4832221 10060525568 33572 33554432000 1073741824 1073778376 140737455674912 139918561700264 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=8464/tid=8481] ppid=8461 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/8464/task/8481/stat : 8481 (java) S 8461 8464 7126 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 4832221 10060525568 33572 33554432000 1073741824 1073778376 140737455674912 139918560647464 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=8464/tid=8482] ppid=8461 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/8464/task/8482/stat : 8482 (java) S 8461 8464 7126 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 4832221 10060525568 33572 33554432000 1073741824 1073778376 140737455674912 139918441441448 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=8464/tid=8484] ppid=8461 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/8464/task/8484/stat : 8484 (java) S 8461 8464 7126 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 22 0 4832224 10060525568 33572 33554432000 1073741824 1073778376 140737455674912 139918429244392 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=8464/tid=8486] ppid=8461 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/8464/task/8486/stat : 8486 (java) S 8461 8464 7126 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 22 0 4832226 10060525568 33572 33554432000 1073741824 1073778376 140737455674912 139918428190456 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 ################ # More data... # ################ [pid=8464/tid=8475] ppid=8461 vsize=9824732 CPUtime=3.56 cores=1,3,5,7 /proc/8464/task/8475/stat : 8475 (java) S 8461 8464 7126 0 -1 4202560 1164 0 0 0 306 50 0 0 20 0 22 0 4832221 10060525568 1157391 33554432000 1073741824 1073778376 140737455674912 139918566964264 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=8464/tid=8476] ppid=8461 vsize=9824732 CPUtime=3.19 cores=1,3,5,7 /proc/8464/task/8476/stat : 8476 (java) S 8461 8464 7126 0 -1 4202560 1014 0 0 0 276 43 0 0 20 0 22 0 4832221 10060525568 1157391 33554432000 1073741824 1073778376 140737455674912 139918565911464 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=8464/tid=8477] ppid=8461 vsize=9824732 CPUtime=3.18 cores=1,3,5,7 /proc/8464/task/8477/stat : 8477 (java) S 8461 8464 7126 0 -1 4202560 1201 0 0 0 280 38 0 0 20 0 22 0 4832221 10060525568 1157391 33554432000 1073741824 1073778376 140737455674912 139918564858664 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=8464/tid=8478] ppid=8461 vsize=9824732 CPUtime=3.67 cores=1,3,5,7 /proc/8464/task/8478/stat : 8478 (java) S 8461 8464 7126 0 -1 4202560 1014 0 0 0 322 45 0 0 20 0 22 0 4832221 10060525568 1157391 33554432000 1073741824 1073778376 140737455674912 139918563805864 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=8464/tid=8479] ppid=8461 vsize=9824732 CPUtime=3.67 cores=1,3,5,7 /proc/8464/task/8479/stat : 8479 (java) S 8461 8464 7126 0 -1 4202560 1162 0 0 0 319 48 0 0 20 0 22 0 4832221 10060525568 1157391 33554432000 1073741824 1073778376 140737455674912 139918562753064 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=8464/tid=8480] ppid=8461 vsize=9824732 CPUtime=3.87 cores=1,3,5,7 /proc/8464/task/8480/stat : 8480 (java) S 8461 8464 7126 0 -1 4202560 1463 0 0 0 343 44 0 0 20 0 22 0 4832221 10060525568 1157391 33554432000 1073741824 1073778376 140737455674912 139918561700264 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=8464/tid=8481] ppid=8461 vsize=9824732 CPUtime=3.74 cores=1,3,5,7 /proc/8464/task/8481/stat : 8481 (java) S 8461 8464 7126 0 -1 4202560 1020 0 0 0 324 50 0 0 20 0 22 0 4832221 10060525568 1157391 33554432000 1073741824 1073778376 140737455674912 139918560647464 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=8464/tid=8482] ppid=8461 vsize=9824732 CPUtime=3.47 cores=1,3,5,7 /proc/8464/task/8482/stat : 8482 (java) S 8461 8464 7126 0 -1 4202560 895 0 0 0 299 48 0 0 20 0 22 0 4832221 10060525568 1157391 33554432000 1073741824 1073778376 140737455674912 139918441441448 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=8464/tid=8484] ppid=8461 vsize=9824732 CPUtime=8.39 cores=1,3,5,7 /proc/8464/task/8484/stat : 8484 (java) S 8461 8464 7126 0 -1 4202560 3280 0 0 0 828 11 0 0 20 0 22 0 4832224 10060525568 1157391 33554432000 1073741824 1073778376 140737455674912 139918429244392 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=8464/tid=8486] ppid=8461 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/8464/task/8486/stat : 8486 (java) S 8461 8464 7126 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 4832226 10060525568 1157391 33554432000 1073741824 1073778376 140737455674912 139918428190456 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=8464/tid=8488] ppid=8461 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/8464/task/8488/stat : 8488 (java) S 8461 8464 7126 0 -1 4202560 38 0 0 0 0 0 0 0 20 0 22 0 4832226 10060525568 1157391 33554432000 1073741824 1073778376 140737455674912 139918427137544 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=8464/tid=8489] ppid=8461 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/8464/task/8489/stat : 8489 (java) S 8461 8464 7126 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 4832231 10060525568 1157391 33554432000 1073741824 1073778376 140737455674912 139918426086032 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=8464/tid=8491] ppid=8461 vsize=9824732 CPUtime=2.2 cores=1,3,5,7 /proc/8464/task/8491/stat : 8491 (java) S 8461 8464 7126 0 -1 4202560 17135 0 0 0 217 3 0 0 20 0 22 0 4832231 10060525568 1157391 33554432000 1073741824 1073778376 140737455674912 139917686467000 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=8464/tid=8493] ppid=8461 vsize=9824732 CPUtime=1.76 cores=1,3,5,7 /proc/8464/task/8493/stat : 8493 (java) S 8461 8464 7126 0 -1 4202560 8579 0 0 0 174 2 0 0 20 0 22 0 4832231 10060525568 1157391 33554432000 1073741824 1073778376 140737455674912 139917685414200 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=8464/tid=8495] ppid=8461 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/8464/task/8495/stat : 8495 (java) S 8461 8464 7126 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 4832231 10060525568 1157391 33554432000 1073741824 1073778376 140737455674912 139917684361592 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=8464/tid=8497] ppid=8461 vsize=9824732 CPUtime=0.26 cores=1,3,5,7 /proc/8464/task/8497/stat : 8497 (java) S 8461 8464 7126 0 -1 4202560 55 0 0 0 11 15 0 0 20 0 22 0 4832231 10060525568 1157391 33554432000 1073741824 1073778376 140737455674912 139917683309000 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=8464/tid=9196] ppid=8461 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/8464/task/9196/stat : 9196 (java) S 8461 8464 7126 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 4859926 10060525568 1157391 33554432000 1073741824 1073778376 140737455674912 139917679097000 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=8464/tid=9270] ppid=8461 vsize=9824732 CPUtime=605.67 cores=1,3,5,7 /proc/8464/task/9270/stat : 9270 (java) R 8461 8464 7126 0 -1 4202560 13 0 0 0 60556 11 0 0 20 0 22 0 4864677 10060525568 1157391 33554432000 1073741824 1073778376 140737455674912 139917682245520 139918442332352 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 [pid=8464/tid=9271] ppid=8461 vsize=9824732 CPUtime=605.69 cores=1,3,5,7 /proc/8464/task/9271/stat : 9271 (java) R 8461 8464 7126 0 -1 4202560 27 0 0 0 60558 11 0 0 20 0 22 0 4864677 10060525568 1157391 33554432000 1073741824 1073778376 140737455674912 139917681199168 139918442102930 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 [pid=8464/tid=9272] ppid=8461 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/8464/task/9272/stat : 9272 (java) S 8461 8464 7126 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 4864677 10060525568 1157391 33554432000 1073741824 1073778376 140737455674912 139917680149288 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 1793.09 Current children cumulated vsize (KiB) 9824732 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+945.701 s] /proc/loadavg: 4.67 4.11 3.24 5/219 9305 /proc/meminfo: memFree=20881172/32872528 swapFree=1525072/1694724 [pid=8464] ppid=8461 vsize=9824732 CPUtime=1800.07 cores=1,3,5,7 /proc/8464/stat : 8464 (java) S 8461 8464 7126 0 -1 4202496 44129 0 3 0 179287 720 0 0 20 0 22 0 4832220 10060525568 1157425 33554432000 1073741824 1073778376 140737455674912 140737455666048 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/8464/statm: 2456183 1157425 2303 9 0 2446860 0 [pid=8464/tid=8465] ppid=8461 vsize=9824732 CPUtime=2.33 cores=1,3,5,7 /proc/8464/task/8465/stat : 8465 (java) S 8461 8464 7126 0 -1 4202560 2464 0 3 0 227 6 0 0 20 0 22 0 4832220 10060525568 1157425 33554432000 1073741824 1073778376 140737455674912 139918605472632 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 9 0 0 [pid=8464/tid=8475] ppid=8461 vsize=9824732 CPUtime=3.64 cores=1,3,5,7 /proc/8464/task/8475/stat : 8475 (java) S 8461 8464 7126 0 -1 4202560 1164 0 0 0 314 50 0 0 20 0 22 0 4832221 10060525568 1157425 33554432000 1073741824 1073778376 140737455674912 139918566964264 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=8464/tid=8476] ppid=8461 vsize=9824732 CPUtime=3.23 cores=1,3,5,7 /proc/8464/task/8476/stat : 8476 (java) S 8461 8464 7126 0 -1 4202560 1017 0 0 0 280 43 0 0 20 0 22 0 4832221 10060525568 1157425 33554432000 1073741824 1073778376 140737455674912 139918565911464 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=8464/tid=8477] ppid=8461 vsize=9824732 CPUtime=3.22 cores=1,3,5,7 /proc/8464/task/8477/stat : 8477 (java) S 8461 8464 7126 0 -1 4202560 1202 0 0 0 284 38 0 0 20 0 22 0 4832221 10060525568 1157425 33554432000 1073741824 1073778376 140737455674912 139918564858664 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=8464/tid=8478] ppid=8461 vsize=9824732 CPUtime=3.7 cores=1,3,5,7 /proc/8464/task/8478/stat : 8478 (java) S 8461 8464 7126 0 -1 4202560 1018 0 0 0 325 45 0 0 20 0 22 0 4832221 10060525568 1157425 33554432000 1073741824 1073778376 140737455674912 139918563805864 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=8464/tid=8479] ppid=8461 vsize=9824732 CPUtime=3.69 cores=1,3,5,7 /proc/8464/task/8479/stat : 8479 (java) S 8461 8464 7126 0 -1 4202560 1162 0 0 0 321 48 0 0 20 0 22 0 4832221 10060525568 1157425 33554432000 1073741824 1073778376 140737455674912 139918562753064 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=8464/tid=8480] ppid=8461 vsize=9824732 CPUtime=3.9 cores=1,3,5,7 /proc/8464/task/8480/stat : 8480 (java) S 8461 8464 7126 0 -1 4202560 1463 0 0 0 346 44 0 0 20 0 22 0 4832221 10060525568 1157425 33554432000 1073741824 1073778376 140737455674912 139918561700264 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=8464/tid=8481] ppid=8461 vsize=9824732 CPUtime=3.79 cores=1,3,5,7 /proc/8464/task/8481/stat : 8481 (java) S 8461 8464 7126 0 -1 4202560 1021 0 0 0 329 50 0 0 20 0 22 0 4832221 10060525568 1157425 33554432000 1073741824 1073778376 140737455674912 139918560647464 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=8464/tid=8482] ppid=8461 vsize=9824732 CPUtime=3.56 cores=1,3,5,7 /proc/8464/task/8482/stat : 8482 (java) S 8461 8464 7126 0 -1 4202560 897 0 0 0 308 48 0 0 20 0 22 0 4832221 10060525568 1157425 33554432000 1073741824 1073778376 140737455674912 139918441441448 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=8464/tid=8484] ppid=8461 vsize=9824732 CPUtime=8.39 cores=1,3,5,7 /proc/8464/task/8484/stat : 8484 (java) S 8461 8464 7126 0 -1 4202560 3305 0 0 0 828 11 0 0 20 0 22 0 4832224 10060525568 1157425 33554432000 1073741824 1073778376 140737455674912 139918429244392 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=8464/tid=8486] ppid=8461 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/8464/task/8486/stat : 8486 (java) S 8461 8464 7126 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 4832226 10060525568 1157425 33554432000 1073741824 1073778376 140737455674912 139918428190456 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=8464/tid=8488] ppid=8461 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/8464/task/8488/stat : 8488 (java) S 8461 8464 7126 0 -1 4202560 38 0 0 0 0 0 0 0 20 0 22 0 4832226 10060525568 1157425 33554432000 1073741824 1073778376 140737455674912 139918427137544 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=8464/tid=8489] ppid=8461 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/8464/task/8489/stat : 8489 (java) S 8461 8464 7126 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 4832231 10060525568 1157425 33554432000 1073741824 1073778376 140737455674912 139918426086032 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=8464/tid=8491] ppid=8461 vsize=9824732 CPUtime=2.2 cores=1,3,5,7 /proc/8464/task/8491/stat : 8491 (java) S 8461 8464 7126 0 -1 4202560 17135 0 0 0 217 3 0 0 20 0 22 0 4832231 10060525568 1157425 33554432000 1073741824 1073778376 140737455674912 139917686467000 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=8464/tid=8493] ppid=8461 vsize=9824732 CPUtime=1.76 cores=1,3,5,7 /proc/8464/task/8493/stat : 8493 (java) S 8461 8464 7126 0 -1 4202560 8579 0 0 0 174 2 0 0 20 0 22 0 4832231 10060525568 1157425 33554432000 1073741824 1073778376 140737455674912 139917685414200 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=8464/tid=8495] ppid=8461 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/8464/task/8495/stat : 8495 (java) S 8461 8464 7126 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 4832231 10060525568 1157425 33554432000 1073741824 1073778376 140737455674912 139917684361592 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=8464/tid=8497] ppid=8461 vsize=9824732 CPUtime=0.26 cores=1,3,5,7 /proc/8464/task/8497/stat : 8497 (java) S 8461 8464 7126 0 -1 4202560 55 0 0 0 11 15 0 0 20 0 22 0 4832231 10060525568 1157425 33554432000 1073741824 1073778376 140737455674912 139917683309000 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=8464/tid=9196] ppid=8461 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/8464/task/9196/stat : 9196 (java) S 8461 8464 7126 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 4859926 10060525568 1157425 33554432000 1073741824 1073778376 140737455674912 139917679097000 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=8464/tid=9270] ppid=8461 vsize=9824732 CPUtime=608.98 cores=1,3,5,7 /proc/8464/task/9270/stat : 9270 (java) R 8461 8464 7126 0 -1 4202560 13 0 0 0 60887 11 0 0 20 0 22 0 4864677 10060525568 1157425 33554432000 1073741824 1073778376 140737455674912 139917682253232 139918442464995 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 [pid=8464/tid=9271] ppid=8461 vsize=9824732 CPUtime=608.99 cores=1,3,5,7 /proc/8464/task/9271/stat : 9271 (java) R 8461 8464 7126 0 -1 4202560 28 0 0 0 60888 11 0 0 20 0 22 0 4864677 10060525568 1157425 33554432000 1073741824 1073778376 140737455674912 139917681199072 139918442197452 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 [pid=8464/tid=9272] ppid=8461 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/8464/task/9272/stat : 9272 (java) S 8461 8464 7126 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 4864677 10060525568 1157425 33554432000 1073741824 1073778376 140737455674912 139917680149288 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 1800.07 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 8464 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+945.701 s] /proc/loadavg: 4.67 4.11 3.24 5/219 9305 /proc/meminfo: memFree=20881172/32872528 swapFree=1525072/1694724 [pid=8464] ppid=8461 vsize=9824732 CPUtime=1800.07 cores=1,3,5,7 /proc/8464/stat : 8464 (java) S 8461 8464 7126 0 -1 4202496 44129 0 3 0 179287 720 0 0 20 0 22 0 4832220 10060525568 1157425 33554432000 1073741824 1073778376 140737455674912 140737455666048 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/8464/statm: 2456183 1157425 2303 9 0 2446860 0 [pid=8464/tid=8465] ppid=8461 vsize=9824732 CPUtime=2.33 cores=1,3,5,7 /proc/8464/task/8465/stat : 8465 (java) S 8461 8464 7126 0 -1 4202560 2464 0 3 0 227 6 0 0 20 0 22 0 4832220 10060525568 1157425 33554432000 1073741824 1073778376 140737455674912 139918605472632 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 9 0 0 [pid=8464/tid=8475] ppid=8461 vsize=9824732 CPUtime=3.64 cores=1,3,5,7 /proc/8464/task/8475/stat : 8475 (java) S 8461 8464 7126 0 -1 4202560 1164 0 0 0 314 50 0 0 20 0 22 0 4832221 10060525568 1157425 33554432000 1073741824 1073778376 140737455674912 139918566964264 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=8464/tid=8476] ppid=8461 vsize=9824732 CPUtime=3.23 cores=1,3,5,7 /proc/8464/task/8476/stat : 8476 (java) S 8461 8464 7126 0 -1 4202560 1017 0 0 0 280 43 0 0 20 0 22 0 4832221 10060525568 1157425 33554432000 1073741824 1073778376 140737455674912 139918565911464 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=8464/tid=8477] ppid=8461 vsize=9824732 CPUtime=3.22 cores=1,3,5,7 /proc/8464/task/8477/stat : 8477 (java) S 8461 8464 7126 0 -1 4202560 1202 0 0 0 284 38 0 0 20 0 22 0 4832221 10060525568 1157425 33554432000 1073741824 1073778376 140737455674912 139918564858664 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=8464/tid=8478] ppid=8461 vsize=9824732 CPUtime=3.7 cores=1,3,5,7 /proc/8464/task/8478/stat : 8478 (java) S 8461 8464 7126 0 -1 4202560 1018 0 0 0 325 45 0 0 20 0 22 0 4832221 10060525568 1157425 33554432000 1073741824 1073778376 140737455674912 139918563805864 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=8464/tid=8479] ppid=8461 vsize=9824732 CPUtime=3.69 cores=1,3,5,7 /proc/8464/task/8479/stat : 8479 (java) S 8461 8464 7126 0 -1 4202560 1162 0 0 0 321 48 0 0 20 0 22 0 4832221 10060525568 1157425 33554432000 1073741824 1073778376 140737455674912 139918562753064 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=8464/tid=8480] ppid=8461 vsize=9824732 CPUtime=3.9 cores=1,3,5,7 /proc/8464/task/8480/stat : 8480 (java) S 8461 8464 7126 0 -1 4202560 1463 0 0 0 346 44 0 0 20 0 22 0 4832221 10060525568 1157425 33554432000 1073741824 1073778376 140737455674912 139918561700264 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=8464/tid=8481] ppid=8461 vsize=9824732 CPUtime=3.79 cores=1,3,5,7 /proc/8464/task/8481/stat : 8481 (java) S 8461 8464 7126 0 -1 4202560 1021 0 0 0 329 50 0 0 20 0 22 0 4832221 10060525568 1157425 33554432000 1073741824 1073778376 140737455674912 139918560647464 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=8464/tid=8482] ppid=8461 vsize=9824732 CPUtime=3.56 cores=1,3,5,7 /proc/8464/task/8482/stat : 8482 (java) S 8461 8464 7126 0 -1 4202560 897 0 0 0 308 48 0 0 20 0 22 0 4832221 10060525568 1157425 33554432000 1073741824 1073778376 140737455674912 139918441441448 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=8464/tid=8484] ppid=8461 vsize=9824732 CPUtime=8.39 cores=1,3,5,7 /proc/8464/task/8484/stat : 8484 (java) S 8461 8464 7126 0 -1 4202560 3305 0 0 0 828 11 0 0 20 0 22 0 4832224 10060525568 1157425 33554432000 1073741824 1073778376 140737455674912 139918429244392 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=8464/tid=8486] ppid=8461 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/8464/task/8486/stat : 8486 (java) S 8461 8464 7126 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 4832226 10060525568 1157425 33554432000 1073741824 1073778376 140737455674912 139918428190456 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=8464/tid=8488] ppid=8461 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/8464/task/8488/stat : 8488 (java) S 8461 8464 7126 0 -1 4202560 38 0 0 0 0 0 0 0 20 0 22 0 4832226 10060525568 1157425 33554432000 1073741824 1073778376 140737455674912 139918427137544 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=8464/tid=8489] ppid=8461 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/8464/task/8489/stat : 8489 (java) S 8461 8464 7126 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 4832231 10060525568 1157425 33554432000 1073741824 1073778376 140737455674912 139918426086032 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=8464/tid=8491] ppid=8461 vsize=9824732 CPUtime=2.2 cores=1,3,5,7 /proc/8464/task/8491/stat : 8491 (java) S 8461 8464 7126 0 -1 4202560 17135 0 0 0 217 3 0 0 20 0 22 0 4832231 10060525568 1157425 33554432000 1073741824 1073778376 140737455674912 139917686467000 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=8464/tid=8493] ppid=8461 vsize=9824732 CPUtime=1.76 cores=1,3,5,7 /proc/8464/task/8493/stat : 8493 (java) S 8461 8464 7126 0 -1 4202560 8579 0 0 0 174 2 0 0 20 0 22 0 4832231 10060525568 1157425 33554432000 1073741824 1073778376 140737455674912 139917685414200 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=8464/tid=8495] ppid=8461 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/8464/task/8495/stat : 8495 (java) S 8461 8464 7126 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 4832231 10060525568 1157425 33554432000 1073741824 1073778376 140737455674912 139917684361592 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=8464/tid=8497] ppid=8461 vsize=9824732 CPUtime=0.26 cores=1,3,5,7 /proc/8464/task/8497/stat : 8497 (java) S 8461 8464 7126 0 -1 4202560 55 0 0 0 11 15 0 0 20 0 22 0 4832231 10060525568 1157425 33554432000 1073741824 1073778376 140737455674912 139917683309000 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=8464/tid=9196] ppid=8461 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/8464/task/9196/stat : 9196 (java) S 8461 8464 7126 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 4859926 10060525568 1157425 33554432000 1073741824 1073778376 140737455674912 139917679097000 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=8464/tid=9270] ppid=8461 vsize=9824732 CPUtime=608.98 cores=1,3,5,7 /proc/8464/task/9270/stat : 9270 (java) R 8461 8464 7126 0 -1 4202560 13 0 0 0 60887 11 0 0 20 0 22 0 4864677 10060525568 1157425 33554432000 1073741824 1073778376 140737455674912 139917682253232 139918442464995 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 [pid=8464/tid=9271] ppid=8461 vsize=9824732 CPUtime=608.99 cores=1,3,5,7 /proc/8464/task/9271/stat : 9271 (java) R 8461 8464 7126 0 -1 4202560 28 0 0 0 60888 11 0 0 20 0 22 0 4864677 10060525568 1157425 33554432000 1073741824 1073778376 140737455674912 139917681199072 139918442197452 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 [pid=8464/tid=9272] ppid=8461 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/8464/task/9272/stat : 9272 (java) S 8461 8464 7126 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 4864677 10060525568 1157425 33554432000 1073741824 1073778376 140737455674912 139917680149288 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 1800.07 Current children cumulated vsize (KiB) 9824732 Child status: 143 # WARNING: # The CPU time of some children was not reported to their father # (probably because of a missing or aborted wait()). # This 'lost CPU time' is added to the watched process CPU time. # lost CPU time (s): 0.00999999 # lost CPU user time (s): 0.00999999 # lost CPU system time (s): 0 Real time (s): 945.757 CPU time (s): 1800.54 CPU user time (s): 1792.96 CPU system time (s): 7.58185 CPU usage (%): 190.381 Max. virtual memory (cumulated for all children) (KiB): 9824732 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1792.95 system time used= 7.58185 maximum resident set size= 4629812 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 44165 page faults= 3 swaps= 0 block input operations= 5552 block output operations= 1008 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 26878 involuntary context switches= 25959 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 7.58385 second user time and 5.86411 second system time The end
Begin job on node125 at 2016-06-30 05:41:20 IDJOB=4119517 IDBENCH=111750 IDSOLVER=2543 FILE ID=node125/4119517-1467258080 RUNJOBID= node125-1467258080-8434 PBS_JOBID= 20004466 Free space on /tmp= 71740 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_bern55-14.opb COMMAND LINE= java -jar sat4j-pb.jar Both BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4119517-1467258080/watcher-4119517-1467258080 -o /tmp/evaluation-result-4119517-1467258080/solver-4119517-1467258080 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node125-1467258080-8434 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4119517-1467258080.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 1b167674473e80fa047420230666ffae RANDOM SEED=1025308638 node125.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.282 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.56 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.282 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.282 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.56 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.282 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.282 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.282 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.282 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.282 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: 28617008 kB Buffers: 119312 kB Cached: 1683532 kB SwapCached: 0 kB Active: 155588 kB Inactive: 1666668 kB Active(anon): 21736 kB Inactive(anon): 0 kB Active(file): 133852 kB Inactive(file): 1666668 kB Unevictable: 1694724 kB Mlocked: 1525072 kB SwapTotal: 67108856 kB SwapFree: 67108856 kB Dirty: 1664 kB Writeback: 0 kB AnonPages: 1715420 kB Mapped: 15144 kB Shmem: 204 kB Slab: 606756 kB SReclaimable: 50896 kB SUnreclaim: 555860 kB KernelStack: 1392 kB PageTables: 7452 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 1821284 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 176128 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= 71740 MiB End job on node125 at 2016-06-30 05:57:06