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) | -3649 | 1800.09 | 934.055 |
| Name | PB15eval/normalized-PB15eval/OPT-SMALLINT-NLC/ minlplib2-pb-0.1.0/opb/normalized-autocorr_bern25-19.opb |
| MD5SUM | 49213c6b64cc7e418e6fc489a0b00141 |
| 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 | -3659 |
| Best CPU time to get the best result obtained on this benchmark | 1800.71 |
| 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 | 3040 |
| Biggest coefficient in the objective function | 1528 |
| Number of bits for the biggest coefficient in the objective function | 11 |
| Sum of the numbers in the objective function | 254268 |
| Number of bits of the sum of numbers in the objective function | 18 |
| Biggest number in a constraint | 1528 |
| Number of bits of the biggest number in a constraint | 11 |
| Biggest sum of numbers in a constraint | 254268 |
| Number of bits of the biggest sum of numbers | 18 |
| Number of products (including duplicates) | 3015 |
| Sum of products size (including duplicates) | 9642 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.09 c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS 0.00/0.09 c This is free software under the dual EPL/GNU LGPL licenses. 0.00/0.09 c See www.sat4j.org for details. 0.00/0.09 c version PB16.v20160501 0.00/0.09 c java.runtime.name Java(TM) SE Runtime Environment 0.00/0.09 c java.vm.name Java HotSpot(TM) 64-Bit Server VM 0.00/0.09 c java.vm.version 19.1-b02 0.00/0.09 c java.vm.vendor Sun Microsystems Inc. 0.00/0.09 c sun.arch.data.model 64 0.00/0.09 c java.version 1.6.0_24 0.00/0.09 c os.name Linux 0.00/0.09 c os.version 2.6.32-71.29.1.el6.x86_64 0.00/0.09 c os.arch amd64 0.00/0.09 c Free memory 501472288 0.00/0.09 c Max memory 7480803328 0.00/0.09 c Total memory 504102912 0.00/0.10 c Number of processors 8 0.09/0.12 c Pseudo Boolean Optimization by upper bound 0.09/0.12 c ManyCore solver with 2 solvers running in parallel 0.09/0.12 c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<< 0.09/0.12 c --- Begin Solver configuration --- 0.09/0.12 c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@16fd0b7 0.09/0.12 c Learn all clauses as in MiniSAT 0.09/0.12 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.09/0.12 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.09/0.12 c Expensive reason simplification 0.09/0.12 c Glucose 2.1 dynamic restart strategy 0.09/0.12 c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000 0.09/0.12 c timeout=2147483s 0.09/0.12 c DB Simplification allowed=false 0.09/0.12 c Listener: org.sat4j.pb.tools.ManyCorePB@4413ee 0.09/0.12 c --- End Solver configuration --- 0.09/0.12 c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<< 0.09/0.12 c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP) 0.09/0.12 c --- Begin Solver configuration --- 0.09/0.12 c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@75786e64 0.09/0.12 c Learn all clauses as in MiniSAT 0.09/0.12 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.09/0.12 c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function 0.09/0.12 c No reason simplification 0.09/0.12 c Armin Biere (Picosat) restarts strategy 0.09/0.12 c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000 0.09/0.12 c timeout=2147483s 0.09/0.12 c DB Simplification allowed=false 0.09/0.12 c Listener: org.sat4j.pb.tools.ManyCorePB@4413ee 0.09/0.12 c --- End Solver configuration --- 0.09/0.12 c solving HOME/instance-4119465-1467256678.opb 0.09/0.12 c reading problem ... 0.09/0.13 c objective function found 0.86/0.55 c ... done. Wall clock time 0.428s. 0.86/0.55 c declared #vars 25 0.86/0.55 c internal #vars 3040 0.86/0.55 c #constraints 6030 0.86/0.56 c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<< 0.86/0.56 c constraints type 0.86/0.56 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 3015 0.86/0.56 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 3015 0.86/0.56 c 6030 constraints processed. 0.86/0.56 c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<< 0.86/0.56 c constraints type 0.86/0.56 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 3015 0.86/0.56 c org.sat4j.pb.constraints.pb.MaxWatchPb => 3015 0.86/0.56 c 6030 constraints processed. 0.86/0.56 c objective function length is 3040 literals 1.13/0.60 c And the winner is solver0 1.35/1.06 c SATISFIABLE 1.35/1.06 c OPTIMIZING... 1.35/1.06 c Got one! Elapsed wall clock time (in seconds):0.934 1.35/1.06 o 0 1.50/1.14 c And the winner is solver0 1.96/1.58 c Got one! Elapsed wall clock time (in seconds):1.451 1.96/1.58 o -153 2.03/1.61 c And the winner is solver0 2.19/2.09 c Got one! Elapsed wall clock time (in seconds):1.965 2.19/2.09 o -306 2.20/2.11 c And the winner is solver0 2.33/2.60 c Got one! Elapsed wall clock time (in seconds):2.473 2.33/2.60 o -563 2.33/2.61 c And the winner is solver0 2.40/3.10 c Got one! Elapsed wall clock time (in seconds):2.98 2.40/3.10 o -731 2.40/3.12 c And the winner is solver0 2.56/3.61 c Got one! Elapsed wall clock time (in seconds):3.487 2.56/3.61 o -820 2.56/3.62 c And the winner is solver0 2.59/4.12 c Got one! Elapsed wall clock time (in seconds):3.992 2.59/4.12 o -1140 2.59/4.14 c And the winner is solver0 2.69/4.62 c Got one! Elapsed wall clock time (in seconds):4.497 2.69/4.62 o -1197 2.69/4.64 c And the winner is solver0 2.74/5.13 c Got one! Elapsed wall clock time (in seconds):5.003 2.74/5.13 o -1288 2.74/5.14 c And the winner is solver0 2.75/5.63 c Got one! Elapsed wall clock time (in seconds):5.507 2.75/5.63 o -1323 2.75/5.64 c And the winner is solver0 2.76/6.14 c Got one! Elapsed wall clock time (in seconds):6.012 2.76/6.14 o -1425 2.76/6.15 c And the winner is solver0 2.76/6.64 c Got one! Elapsed wall clock time (in seconds):6.516 2.76/6.64 o -1460 2.76/6.65 c And the winner is solver0 2.77/7.14 c Got one! Elapsed wall clock time (in seconds):7.02 2.77/7.14 o -1810 2.77/7.18 c And the winner is solver0 2.87/7.65 c Got one! Elapsed wall clock time (in seconds):7.525 2.87/7.65 o -1819 2.87/7.66 c And the winner is solver0 2.91/8.15 c Got one! Elapsed wall clock time (in seconds):8.029 2.91/8.15 o -2013 2.91/8.18 c And the winner is solver0 2.99/8.66 c Got one! Elapsed wall clock time (in seconds):8.533 2.99/8.66 o -2135 2.99/8.69 c And the winner is solver0 3.16/9.16 c Got one! Elapsed wall clock time (in seconds):9.037 3.16/9.16 o -2144 3.16/9.18 c And the winner is solver0 3.25/9.67 c Got one! Elapsed wall clock time (in seconds):9.541 3.25/9.67 o -2443 3.32/9.77 c And the winner is solver0 3.61/10.17 c Got one! Elapsed wall clock time (in seconds):10.045 3.61/10.17 o -2451 3.65/10.22 c And the winner is solver0 3.78/10.67 c Got one! Elapsed wall clock time (in seconds):10.549 3.78/10.67 o -2637 3.83/10.80 c And the winner is solver0 4.07/11.18 c Got one! Elapsed wall clock time (in seconds):11.053 4.07/11.18 o -2662 4.11/11.24 c And the winner is solver0 4.28/11.68 c Got one! Elapsed wall clock time (in seconds):11.556 4.28/11.68 o -2667 4.31/11.72 c And the winner is solver0 4.37/12.19 c Got one! Elapsed wall clock time (in seconds):12.06 4.37/12.19 o -2675 4.40/12.21 c And the winner is solver0 4.46/12.69 c Got one! Elapsed wall clock time (in seconds):12.564 4.46/12.69 o -2688 4.48/12.71 c And the winner is solver0 4.52/13.19 c Got one! Elapsed wall clock time (in seconds):13.068 4.52/13.19 o -2758 4.98/13.49 c And the winner is solver0 5.21/13.70 c Got one! Elapsed wall clock time (in seconds):13.572 5.21/13.70 o -2806 5.21/13.76 c And the winner is solver0 5.37/14.20 c Got one! Elapsed wall clock time (in seconds):14.076 5.37/14.20 o -2819 5.37/14.24 c And the winner is solver0 5.51/14.70 c Got one! Elapsed wall clock time (in seconds):14.58 5.51/14.70 o -2836 5.51/14.74 c And the winner is solver0 5.64/15.21 c Got one! Elapsed wall clock time (in seconds):15.084 5.64/15.21 o -2873 5.64/15.25 c And the winner is solver0 5.78/15.71 c Got one! Elapsed wall clock time (in seconds):15.588 5.78/15.71 o -2885 5.78/15.76 c And the winner is solver0 5.94/16.22 c Got one! Elapsed wall clock time (in seconds):16.092 5.94/16.22 o -2889 5.94/16.26 c And the winner is solver0 6.09/16.72 c Got one! Elapsed wall clock time (in seconds):16.596 6.09/16.72 o -2891 6.09/16.74 c And the winner is solver0 6.09/17.22 c Got one! Elapsed wall clock time (in seconds):17.1 6.09/17.22 o -2894 6.09/17.24 c And the winner is solver0 6.12/17.73 c Got one! Elapsed wall clock time (in seconds):17.604 6.12/17.73 o -2907 6.12/17.74 c And the winner is solver0 6.12/18.23 c Got one! Elapsed wall clock time (in seconds):18.107 6.12/18.23 o -2974 7.32/18.83 c And the winner is solver0 7.57/19.24 c Got one! Elapsed wall clock time (in seconds):19.111 7.57/19.24 o -2994 7.68/19.36 c And the winner is solver0 7.87/19.74 c Got one! Elapsed wall clock time (in seconds):19.615 7.87/19.74 o -3010 7.99/19.81 c And the winner is solver0 8.03/20.25 c Got one! Elapsed wall clock time (in seconds):20.119 8.03/20.25 o -3023 8.03/20.29 c And the winner is solver0 8.18/20.75 c Got one! Elapsed wall clock time (in seconds):20.623 8.18/20.75 o -3031 8.18/20.77 c And the winner is solver0 8.29/21.25 c Got one! Elapsed wall clock time (in seconds):21.127 8.29/21.25 o -3061 8.38/21.39 c And the winner is solver0 8.60/21.76 c Got one! Elapsed wall clock time (in seconds):21.631 8.60/21.76 o -3072 8.60/21.79 c And the winner is solver0 8.73/22.26 c Got one! Elapsed wall clock time (in seconds):22.135 8.73/22.26 o -3086 8.82/22.38 c And the winner is solver0 8.99/22.77 c Got one! Elapsed wall clock time (in seconds):22.639 8.99/22.77 o -3188 10.22/23.39 c And the winner is solver0 10.43/23.77 c Got one! Elapsed wall clock time (in seconds):23.643 10.43/23.77 o -3189 11.34/24.25 c And the winner is solver0 11.49/24.32 c Got one! Elapsed wall clock time (in seconds):24.197 11.49/24.32 o -3191 11.49/24.37 c And the winner is solver0 11.63/24.83 c Got one! Elapsed wall clock time (in seconds):24.701 11.63/24.83 o -3197 11.63/24.86 c And the winner is solver0 11.75/25.33 c Got one! Elapsed wall clock time (in seconds):25.205 11.75/25.33 o -3201 11.75/25.35 c And the winner is solver0 11.80/25.83 c Got one! Elapsed wall clock time (in seconds):25.709 11.80/25.83 o -3250 13.41/26.63 c And the winner is solver0 13.53/26.84 c Got one! Elapsed wall clock time (in seconds):26.713 13.53/26.84 o -3254 13.64/26.96 c And the winner is solver0 13.79/27.34 c Got one! Elapsed wall clock time (in seconds):27.217 13.79/27.34 o -3257 14.31/27.61 c And the winner is solver0 14.39/27.85 c Got one! Elapsed wall clock time (in seconds):27.721 14.39/27.85 o -3279 16.77/29.07 c cleaning 5106 clauses out of 10217 with flag 4001/10217 19.45/30.38 c And the winner is solver0 19.67/30.85 c Got one! Elapsed wall clock time (in seconds):30.725 19.67/30.85 o -3292 20.83/31.49 c And the winner is solver0 21.03/31.85 c Got one! Elapsed wall clock time (in seconds):31.73 21.03/31.85 o -3294 21.12/31.99 c And the winner is solver0 21.37/32.36 c Got one! Elapsed wall clock time (in seconds):32.234 21.37/32.36 o -3299 21.44/32.43 c And the winner is solver0 21.55/32.86 c Got one! Elapsed wall clock time (in seconds):32.738 21.55/32.86 o -3300 21.62/32.94 c And the winner is solver0 21.75/33.37 c Got one! Elapsed wall clock time (in seconds):33.243 21.75/33.37 o -3307 21.80/33.41 c And the winner is solver0 21.90/33.87 c Got one! Elapsed wall clock time (in seconds):33.747 21.90/33.87 o -3315 21.90/33.89 c And the winner is solver0 21.96/34.38 c Got one! Elapsed wall clock time (in seconds):34.251 21.96/34.38 o -3322 21.96/34.38 c And the winner is solver0 21.97/34.88 c Got one! Elapsed wall clock time (in seconds):34.755 21.97/34.88 o -3323 21.97/34.89 c And the winner is solver0 21.97/35.38 c Got one! Elapsed wall clock time (in seconds):35.259 21.97/35.38 o -3334 21.99/35.49 c And the winner is solver0 22.19/35.89 c Got one! Elapsed wall clock time (in seconds):35.764 22.19/35.89 o -3350 22.20/35.95 c And the winner is solver0 22.37/36.39 c Got one! Elapsed wall clock time (in seconds):36.268 22.37/36.39 o -3365 22.39/36.49 c And the winner is solver0 22.58/36.90 c Got one! Elapsed wall clock time (in seconds):36.772 22.58/36.90 o -3377 23.59/37.50 c And the winner is solver0 23.86/37.90 c Got one! Elapsed wall clock time (in seconds):37.777 23.86/37.90 o -3382 23.86/37.98 c And the winner is solver0 24.16/38.41 c Got one! Elapsed wall clock time (in seconds):38.281 24.16/38.41 o -3386 24.36/38.53 c And the winner is solver0 24.47/38.91 c Got one! Elapsed wall clock time (in seconds):38.786 24.47/38.91 o -3388 25.04/39.28 c And the winner is solver0 25.21/39.41 c Got one! Elapsed wall clock time (in seconds):39.29 25.21/39.41 o -3407 26.37/40.01 c cleaning 6147 clauses out of 12296 with flag 2001/17402 29.77/41.70 c And the winner is solver0 29.79/41.92 c Got one! Elapsed wall clock time (in seconds):41.795 29.79/41.92 o -3408 32.20/43.15 c cleaning 5608 clauses out of 11215 with flag 4002/22468 32.20/43.18 c And the winner is solver0 32.40/43.42 c Got one! Elapsed wall clock time (in seconds):43.3 32.40/43.42 o -3423 33.14/43.82 c And the winner is solver0 33.24/43.93 c Got one! Elapsed wall clock time (in seconds):43.804 33.24/43.93 o -3429 33.38/44.02 c And the winner is solver0 33.48/44.43 c Got one! Elapsed wall clock time (in seconds):44.309 33.48/44.43 o -3430 33.60/44.52 c And the winner is solver0 33.73/44.94 c Got one! Elapsed wall clock time (in seconds):44.815 33.73/44.94 o -3434 33.73/44.99 c And the winner is solver0 33.85/45.44 c Got one! Elapsed wall clock time (in seconds):45.319 33.85/45.44 o -3438 33.85/45.47 c And the winner is solver0 33.94/45.95 c Got one! Elapsed wall clock time (in seconds):45.824 33.94/45.95 o -3449 33.94/45.97 c And the winner is solver0 34.00/46.45 c Got one! Elapsed wall clock time (in seconds):46.329 34.00/46.45 o -3452 34.08/46.59 c And the winner is solver0 34.29/46.96 c Got one! Elapsed wall clock time (in seconds):46.834 34.29/46.96 o -3455 34.76/47.22 c And the winner is solver0 35.01/47.47 c Got one! Elapsed wall clock time (in seconds):47.339 35.01/47.47 o -3483 35.07/47.54 c And the winner is solver0 35.22/47.97 c Got one! Elapsed wall clock time (in seconds):47.843 35.22/47.97 o -3486 35.88/48.32 c And the winner is solver0 35.99/48.47 c Got one! Elapsed wall clock time (in seconds):48.347 35.99/48.47 o -3488 40.44/50.75 c And the winner is solver0 40.59/50.98 c Got one! Elapsed wall clock time (in seconds):50.853 40.59/50.98 o -3490 41.62/51.59 c cleaning 6736 clauses out of 13473 with flag 2044/30334 42.24/51.88 c And the winner is solver0 42.42/51.98 c Got one! Elapsed wall clock time (in seconds):51.858 42.42/51.98 o -3497 44.37/52.92 c And the winner is solver0 44.37/52.99 c Got one! Elapsed wall clock time (in seconds):52.863 44.37/52.99 o -3506 44.85/53.24 c And the winner is solver0 44.97/53.49 c Got one! Elapsed wall clock time (in seconds):53.368 44.97/53.49 o -3522 49.37/55.75 c cleaning 6609 clauses out of 13217 with flag 8003/36814 56.26/59.18 c cleaning 6303 clauses out of 12608 with flag 20003/42814 63.48/62.79 c And the winner is solver0 63.66/63.00 c Got one! Elapsed wall clock time (in seconds):62.875 63.66/63.00 o -3529 69.18/65.76 c And the winner is solver0 69.35/66.01 c Got one! Elapsed wall clock time (in seconds):65.881 69.35/66.01 o -3542 70.53/66.63 c cleaning 8999 clauses out of 18001 with flag 2039/54510 71.93/67.33 c And the winner is solver0 72.06/67.51 c Got one! Elapsed wall clock time (in seconds):67.387 72.06/67.51 o -3543 72.82/67.95 c And the winner is solver0 72.98/68.07 c Got one! Elapsed wall clock time (in seconds):67.942 72.98/68.07 o -3546 72.98/68.08 c And the winner is solver0 73.03/68.57 c Got one! Elapsed wall clock time (in seconds):68.447 73.03/68.57 o -3548 73.07/68.69 c And the winner is solver0 73.36/69.08 c Got one! Elapsed wall clock time (in seconds):68.952 73.36/69.08 o -3556 73.36/69.09 c And the winner is solver0 73.38/69.58 c Got one! Elapsed wall clock time (in seconds):69.457 73.38/69.58 o -3559 74.81/70.30 c And the winner is solver0 74.88/70.59 c Got one! Elapsed wall clock time (in seconds):70.462 74.88/70.59 o -3573 78.64/72.42 c cleaning 7746 clauses out of 15493 with flag 6066/61001 84.23/75.23 c And the winner is solver0 84.34/75.59 c Got one! Elapsed wall clock time (in seconds):75.468 84.34/75.59 o -3579 85.34/76.16 c cleaning 6756 clauses out of 13516 with flag 2003/66770 92.14/79.58 c cleaning 6380 clauses out of 12760 with flag 14003/72770 100.36/83.67 c cleaning 6687 clauses out of 13380 with flag 28003/79770 109.17/87.99 c And the winner is solver0 109.44/88.15 c Got one! Elapsed wall clock time (in seconds):88.025 109.44/88.15 o -3587 115.32/91.12 c cleaning 9426 clauses out of 18852 with flag 10326/91929 122.50/94.89 c cleaning 7713 clauses out of 15425 with flag 22524/97928 123.50/95.32 c And the winner is solver0 123.59/95.55 c Got one! Elapsed wall clock time (in seconds):95.429 123.59/95.55 o -3592 128.49/98.05 c And the winner is solver0 128.63/98.16 c Got one! Elapsed wall clock time (in seconds):98.035 128.63/98.16 o -3593 129.76/98.76 c cleaning 6938 clauses out of 13886 with flag 2039/104102 134.20/100.97 c And the winner is solver0 134.45/101.17 c Got one! Elapsed wall clock time (in seconds):101.041 134.45/101.17 o -3597 136.73/102.33 c cleaning 6454 clauses out of 12911 with flag 4077/110065 139.16/103.53 c And the winner is solver0 139.28/103.67 c Got one! Elapsed wall clock time (in seconds):103.547 139.28/103.67 o -3600 142.58/105.37 c cleaning 5756 clauses out of 11517 with flag 6277/115125 145.40/106.77 c And the winner is solver0 145.62/107.18 c Got one! Elapsed wall clock time (in seconds):107.053 145.62/107.18 o -3601 148.86/108.87 c cleaning 5730 clauses out of 11460 with flag 6087/120824 149.66/109.24 c And the winner is solver0 149.85/109.68 c Got one! Elapsed wall clock time (in seconds):109.559 149.85/109.68 o -3605 150.48/110.03 c And the winner is solver0 150.61/110.19 c Got one! Elapsed wall clock time (in seconds):110.065 150.61/110.19 o -3619 150.86/110.37 c And the winner is solver0 151.11/110.69 c Got one! Elapsed wall clock time (in seconds):110.57 151.11/110.69 o -3624 156.81/113.54 c cleaning 6173 clauses out of 12347 with flag 10259/127441 163.42/116.87 c cleaning 6079 clauses out of 12174 with flag 22463/133441 167.01/118.67 c And the winner is solver0 167.17/118.80 c Got one! Elapsed wall clock time (in seconds):118.678 167.17/118.80 o -3626 169.24/119.90 c cleaning 5758 clauses out of 11523 with flag 4030/138869 176.37/123.34 c cleaning 5880 clauses out of 11765 with flag 16066/144869 184.17/127.25 c cleaning 6442 clauses out of 12884 with flag 30114/151868 192.97/131.60 c cleaning 7220 clauses out of 14443 with flag 46116/159869 203.30/136.70 c cleaning 8112 clauses out of 16223 with flag 64211/168869 213.71/141.99 c cleaning 9053 clauses out of 18110 with flag 84213/178868 226.11/148.15 c cleaning 10028 clauses out of 20057 with flag 106244/189868 241.07/155.58 c cleaning 11011 clauses out of 22030 with flag 130375/201869 255.28/162.67 c cleaning 12009 clauses out of 24018 with flag 156373/214868 260.96/165.76 c And the winner is solver0 261.21/166.02 c Got one! Elapsed wall clock time (in seconds):165.898 261.21/166.02 o -3629 262.25/166.62 c cleaning 8641 clauses out of 17290 with flag 2098/220149 269.25/170.11 c cleaning 7321 clauses out of 14648 with flag 14444/226148 276.86/174.00 c cleaning 7161 clauses out of 14328 with flag 28863/233149 286.10/178.59 c cleaning 7583 clauses out of 15166 with flag 45081/241148 295.70/183.36 c cleaning 8292 clauses out of 16584 with flag 63594/250149 306.79/188.88 c cleaning 9144 clauses out of 18292 with flag 84144/260149 318.81/194.82 c cleaning 10072 clauses out of 20147 with flag 106615/271148 329.39/200.20 c And the winner is solver0 329.80/200.58 c Got one! Elapsed wall clock time (in seconds):200.46 329.80/200.58 o -3636 336.42/203.80 c cleaning 12700 clauses out of 25401 with flag 10001/286474 343.62/207.40 c cleaning 9346 clauses out of 18701 with flag 22001/292474 351.62/211.45 c cleaning 8171 clauses out of 16356 with flag 36003/299475 361.23/216.13 c cleaning 8092 clauses out of 16185 with flag 52003/307475 372.93/222.34 c cleaning 8541 clauses out of 17092 with flag 70001/316474 383.73/227.80 c cleaning 9273 clauses out of 18552 with flag 90003/326475 395.72/233.76 c cleaning 10136 clauses out of 20278 with flag 112001/337474 410.02/240.81 c cleaning 11066 clauses out of 22142 with flag 136001/349474 425.56/248.59 c cleaning 12037 clauses out of 24077 with flag 162003/362475 441.95/256.73 c cleaning 13018 clauses out of 26040 with flag 190003/376475 460.73/266.05 c cleaning 14010 clauses out of 28022 with flag 220003/391475 481.36/276.24 c cleaning 15004 clauses out of 30011 with flag 252001/407474 502.27/286.56 c cleaning 16000 clauses out of 32008 with flag 286920/424475 523.11/296.89 c cleaning 17000 clauses out of 34007 with flag 323527/442474 540.91/305.73 c And the winner is solver0 541.40/306.35 c Got one! Elapsed wall clock time (in seconds):306.22 541.40/306.35 o -3642 548.67/309.99 c cleaning 18625 clauses out of 37253 with flag 10049/462720 555.66/313.50 c cleaning 12312 clauses out of 24627 with flag 22075/468719 564.25/317.66 c cleaning 9653 clauses out of 19315 with flag 36169/475719 573.45/322.23 c cleaning 8827 clauses out of 17663 with flag 52171/483720 584.62/327.76 c cleaning 8912 clauses out of 17835 with flag 70169/492719 597.74/335.08 c cleaning 9459 clauses out of 18923 with flag 90169/502719 610.80/341.50 c cleaning 10231 clauses out of 20465 with flag 112171/513720 626.07/349.16 c cleaning 11114 clauses out of 22234 with flag 136171/525720 640.68/356.50 c cleaning 12055 clauses out of 24120 with flag 162171/538720 657.62/364.82 c cleaning 13030 clauses out of 26064 with flag 190169/552719 675.80/373.84 c cleaning 14012 clauses out of 28034 with flag 220169/567719 695.01/383.36 c cleaning 15011 clauses out of 30022 with flag 252169/583719 716.07/393.77 c cleaning 16003 clauses out of 32011 with flag 286883/600719 739.83/405.30 c cleaning 17001 clauses out of 34008 with flag 323803/618719 763.06/416.86 c cleaning 18001 clauses out of 36008 with flag 363031/637720 787.95/429.12 c cleaning 19003 clauses out of 38007 with flag 403334/657720 813.04/441.54 c cleaning 20000 clauses out of 40003 with flag 445580/678719 840.81/456.14 c cleaning 21001 clauses out of 42003 with flag 489580/700719 868.43/469.84 c cleaning 21997 clauses out of 44003 with flag 535582/723720 881.81/476.59 c And the winner is solver0 882.97/477.55 c Got one! Elapsed wall clock time (in seconds):477.429 882.97/477.55 o -3644 889.39/480.86 c cleaning 19127 clauses out of 38263 with flag 10185/739977 896.90/484.55 c cleaning 12562 clauses out of 25136 with flag 22326/745977 905.10/488.65 c cleaning 9782 clauses out of 19573 with flag 36448/752976 914.64/493.31 c cleaning 8892 clauses out of 17791 with flag 52517/760976 925.38/498.64 c cleaning 8943 clauses out of 17900 with flag 70727/769977 936.58/504.26 c cleaning 9474 clauses out of 18956 with flag 90916/779976 949.12/510.50 c cleaning 10236 clauses out of 20482 with flag 112976/790976 963.63/517.68 c cleaning 11117 clauses out of 22247 with flag 137491/802977 979.94/525.72 c cleaning 12063 clauses out of 24130 with flag 164380/815977 996.69/534.09 c cleaning 13029 clauses out of 26067 with flag 193300/829977 1016.28/543.73 c cleaning 14014 clauses out of 28037 with flag 223922/844976 1037.88/554.33 c cleaning 15009 clauses out of 30023 with flag 256216/860976 1060.54/565.58 c cleaning 16005 clauses out of 32014 with flag 290631/877976 1085.96/578.03 c cleaning 17003 clauses out of 34009 with flag 326744/895976 1111.15/590.59 c cleaning 18000 clauses out of 36006 with flag 365176/914976 1139.08/604.30 c cleaning 19001 clauses out of 38008 with flag 405863/934978 1166.97/618.12 c cleaning 20001 clauses out of 40006 with flag 448713/955977 1180.17/624.73 c And the winner is solver0 1181.16/625.57 c Got one! Elapsed wall clock time (in seconds):625.447 1181.16/625.57 o -3647 1188.16/629.19 c cleaning 18017 clauses out of 36043 with flag 10126/972015 1195.92/632.96 c cleaning 12008 clauses out of 24025 with flag 22170/978014 1204.13/637.08 c cleaning 9506 clauses out of 19017 with flag 36240/985014 1213.67/641.75 c cleaning 8751 clauses out of 17511 with flag 52284/993014 1224.24/646.92 c cleaning 8877 clauses out of 17760 with flag 70431/1002014 1234.62/652.19 c cleaning 9436 clauses out of 18884 with flag 90483/1012015 1247.75/658.67 c cleaning 10222 clauses out of 20448 with flag 112624/1023015 1262.68/666.05 c cleaning 11108 clauses out of 22225 with flag 136909/1035014 1277.99/673.63 c cleaning 12057 clauses out of 24118 with flag 163644/1048015 1294.29/681.79 c cleaning 13028 clauses out of 26061 with flag 191994/1062015 1312.04/690.52 c cleaning 14011 clauses out of 28033 with flag 222393/1077015 1331.24/700.05 c cleaning 15011 clauses out of 30021 with flag 254391/1093014 1352.44/710.51 c cleaning 16001 clauses out of 32010 with flag 288553/1110014 1374.84/721.61 c cleaning 17005 clauses out of 34009 with flag 324800/1128014 1384.21/726.26 c And the winner is solver0 1385.31/727.47 c Got one! Elapsed wall clock time (in seconds):727.344 1385.31/727.47 o -3649 1392.36/730.97 c cleaning 14957 clauses out of 29916 with flag 10157/1140926 1399.76/734.60 c cleaning 10474 clauses out of 20959 with flag 22228/1146926 1408.16/738.76 c cleaning 8736 clauses out of 17486 with flag 36265/1153927 1417.56/743.41 c cleaning 8369 clauses out of 16749 with flag 52276/1161926 1428.19/748.64 c cleaning 8684 clauses out of 17381 with flag 70383/1170927 1440.63/754.77 c cleaning 9345 clauses out of 18696 with flag 90684/1180926 1454.20/761.47 c cleaning 10176 clauses out of 20352 with flag 112825/1191927 1469.23/768.85 c cleaning 11082 clauses out of 22176 with flag 136918/1203927 1484.85/776.70 c cleaning 12044 clauses out of 24093 with flag 162970/1216926 1502.17/785.23 c cleaning 13024 clauses out of 26050 with flag 191029/1230927 1522.23/796.45 c cleaning 14010 clauses out of 28025 with flag 221027/1245926 1540.53/805.55 c cleaning 15002 clauses out of 30015 with flag 253092/1261926 1560.84/815.62 c cleaning 16005 clauses out of 32013 with flag 287112/1278926 1583.98/827.06 c cleaning 17001 clauses out of 34009 with flag 323375/1296927 1608.36/839.19 c cleaning 18002 clauses out of 36007 with flag 361681/1315926 1636.08/852.88 c cleaning 19002 clauses out of 38006 with flag 402149/1335927 1662.97/866.14 c cleaning 19999 clauses out of 40004 with flag 444380/1356927 1690.63/879.86 c cleaning 20998 clauses out of 42004 with flag 488609/1378926 1720.49/894.66 c cleaning 22002 clauses out of 44007 with flag 534650/1401927 1754.30/911.43 c cleaning 23001 clauses out of 46004 with flag 582693/1425926 1789.74/928.94 c cleaning 23999 clauses out of 48003 with flag 632756/1450926 1800.09/934.01 c >>>>>>>>>> Solver number 0 (108 answers) <<<<<<<<<<<<<<<<<< 1800.09/934.01 c starts : 1264 1800.09/934.01 c conflicts : 1458343 1800.09/934.01 c decisions : 1482963 1800.09/934.01 c propagations : 341816789 1800.09/934.01 c inspects : 3823881380 1800.09/934.01 c shortcuts : 0 1800.09/934.01 c learnt literals : 0 1800.09/934.01 c learnt binary clauses : 0 1800.09/934.01 c learnt ternary clauses : 3 1800.09/934.01 c learnt constraints : 1458343 1800.09/934.01 c ignored constraints : 0 1800.09/934.01 c root simplifications : 0 1800.09/934.01 c removed literals (reason simplification) : 178973786 1800.09/934.01 c reason swapping (by a shorter reason) : 0 1800.09/934.01 c Calls to reduceDB : 120 1800.09/934.01 c Number of update (reduction) of LBD : 1603 1800.09/934.01 c Imported unit clauses : 0 1800.09/934.01 c number of reductions to clauses (during analyze) : 0 1800.09/934.01 c number of learned constraints concerned by reduction : 0 1800.09/934.01 c number of learning phase by resolution : 0 1800.09/934.01 c number of learning phase by cutting planes : 0 1800.09/934.01 c speed (assignments/second) : 366192.7774218638 1800.09/934.01 c non guided choices 0 1800.09/934.02 c learnt constraints type 1800.09/934.02 c org.sat4j.minisat.constraints.cnf.LearntWLClause => 31421 1800.09/934.02 c >>>>>>>>>> Solver number 1 (0 answers) <<<<<<<<<<<<<<<<<< 1800.09/934.02 c starts : 131 1800.09/934.02 c conflicts : 3469 1800.09/934.02 c decisions : 5989 1800.09/934.02 c propagations : 1219068 1800.09/934.02 c inspects : 719662621 1800.09/934.02 c shortcuts : 0 1800.09/934.02 c learnt literals : 0 1800.09/934.02 c learnt binary clauses : 0 1800.09/934.02 c learnt ternary clauses : 0 1800.09/934.02 c learnt constraints : 3372 1800.09/934.02 c ignored constraints : 0 1800.09/934.02 c root simplifications : 0 1800.09/934.02 c removed literals (reason simplification) : 0 1800.09/934.02 c reason swapping (by a shorter reason) : 0 1800.09/934.02 c Calls to reduceDB : 0 1800.09/934.02 c Number of update (reduction) of LBD : 0 1800.09/934.02 c Imported unit clauses : 0 1800.09/934.02 c number of reductions to clauses (during analyze) : 0 1800.09/934.02 c number of learned constraints concerned by reduction : 0 1800.09/934.02 c number of learning phase by resolution : 0 1800.09/934.02 c number of learning phase by cutting planes : 0 1800.09/934.02 c speed (assignments/second) : 5902.305111333827 1800.09/934.02 c non guided choices 0 1800.09/934.02 c learnt constraints type 1800.09/934.02 c org.sat4j.pb.constraints.pb.MaxWatchPb => 3372 1800.09/934.02 s SATISFIABLE 1800.09/934.02 c Found 108 solution(s) 1800.09/934.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 1800.09/934.02 c objective function=-3649 1800.09/934.02 c Total wall clock time (in seconds): 933.9
OK -3649
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-4119465-1467256678/watcher-4119465-1467256678 -o /tmp/evaluation-result-4119465-1467256678/solver-4119465-1467256678 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node107-1467248484-5592 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4119465-1467256678.opb pid=9324 running on 4 cores: 0,2,4,6 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.06 4.03 4.00 4/197 9327 /proc/meminfo: memFree=28653072/32872528 swapFree=239532/272236 [pid=9327] ppid=9324 vsize=23236 CPUtime=0 cores=0,2,4,6 /proc/9327/stat : 9327 (java) R 9324 9327 5416 0 -1 4202496 765 0 0 0 0 0 0 0 20 0 1 0 4698880 23793664 415 33554432000 1073741824 1073778376 140737102810448 140737102799512 251133999681 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 /proc/9327/statm: 5809 425 324 9 0 128 0 [startup+0.100059 s] /proc/loadavg: 4.06 4.03 4.00 4/197 9327 /proc/meminfo: memFree=28653072/32872528 swapFree=239532/272236 [pid=9327] ppid=9324 vsize=9558476 CPUtime=0.09 cores=0,2,4,6 /proc/9327/stat : 9327 (java) S 9324 9327 5416 0 -1 4202496 4447 0 1 0 8 1 0 0 20 0 18 0 4698880 9787879424 5563 33554432000 1073741824 1073778376 140737102810448 140737102801584 251146567741 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/9327/statm: 2389619 5563 2125 9 0 2380296 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 9558476 [startup+0.200269 s] /proc/loadavg: 4.06 4.03 4.00 4/197 9327 /proc/meminfo: memFree=28653072/32872528 swapFree=239532/272236 [pid=9327] ppid=9324 vsize=9558476 CPUtime=0.22 cores=0,2,4,6 /proc/9327/stat : 9327 (java) S 9324 9327 5416 0 -1 4202496 4648 0 1 0 21 1 0 0 20 0 18 0 4698880 9787879424 6779 33554432000 1073741824 1073778376 140737102810448 140737102801584 251146567741 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/9327/statm: 2389619 6779 2197 9 0 2380296 0 Current children cumulated CPU time (s) 0.22 Current children cumulated vsize (KiB) 9558476 [startup+0.300289 s] /proc/loadavg: 4.06 4.03 4.00 4/197 9327 /proc/meminfo: memFree=28653072/32872528 swapFree=239532/272236 [pid=9327] ppid=9324 vsize=9558476 CPUtime=0.45 cores=0,2,4,6 /proc/9327/stat : 9327 (java) S 9324 9327 5416 0 -1 4202496 5264 0 1 0 44 1 0 0 20 0 18 0 4698880 9787879424 7820 33554432000 1073741824 1073778376 140737102810448 140737102801584 251146567741 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/9327/statm: 2389619 7820 2233 9 0 2380296 0 Current children cumulated CPU time (s) 0.45 Current children cumulated vsize (KiB) 9558476 [startup+0.700276 s] /proc/loadavg: 4.06 4.03 4.00 4/197 9327 /proc/meminfo: memFree=28653072/32872528 swapFree=239532/272236 [pid=9327] ppid=9324 vsize=9824732 CPUtime=1.35 cores=0,2,4,6 /proc/9327/stat : 9327 (java) S 9324 9327 5416 0 -1 4202496 10695 0 1 0 131 4 0 0 20 0 19 0 4698880 10060525568 13439 33554432000 1073741824 1073778376 140737102810448 140737102801584 251146567741 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/9327/statm: 2456183 13439 2262 9 0 2446860 0 Current children cumulated CPU time (s) 1.35 Current children cumulated vsize (KiB) 9824732 [startup+1.50074 s] /proc/loadavg: 4.21 4.06 4.01 7/219 9352 /proc/meminfo: memFree=28594488/32872528 swapFree=239532/272236 [pid=9327] ppid=9324 vsize=9824732 CPUtime=1.96 cores=0,2,4,6 /proc/9327/stat : 9327 (java) S 9324 9327 5416 0 -1 4202496 15716 0 1 0 189 7 0 0 20 0 19 0 4698880 10060525568 18110 33554432000 1073741824 1073778376 140737102810448 140737102801584 251146567741 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/9327/statm: 2456183 18110 2265 9 0 2446860 0 [pid=9327/tid=9329] ppid=9324 vsize=9824732 CPUtime=0.54 cores=0,2,4,6 /proc/9327/task/9329/stat : 9329 (java) S 9324 9327 5416 0 -1 4202560 2480 0 1 0 52 2 0 0 20 0 19 0 4698880 10060525568 18110 33554432000 1073741824 1073778376 140737102810448 140403152589688 251146581929 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=9327/tid=9330] ppid=9324 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/9327/task/9330/stat : 9330 (java) S 9324 9327 5416 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4698882 10060525568 18110 33554432000 1073741824 1073778376 140737102810448 140403091318952 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=9327/tid=9331] ppid=9324 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/9327/task/9331/stat : 9331 (java) S 9324 9327 5416 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4698882 10060525568 18110 33554432000 1073741824 1073778376 140737102810448 140403090266408 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=9327/tid=9332] ppid=9324 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/9327/task/9332/stat : 9332 (java) S 9324 9327 5416 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 4698882 10060525568 18110 33554432000 1073741824 1073778376 140737102810448 140403089213864 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=9327/tid=9333] ppid=9324 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/9327/task/9333/stat : 9333 (java) S 9324 9327 5416 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4698882 10060525568 18110 33554432000 1073741824 1073778376 140737102810448 140403088161320 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=9327/tid=9334] ppid=9324 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/9327/task/9334/stat : 9334 (java) S 9324 9327 5416 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4698882 10060525568 18110 33554432000 1073741824 1073778376 140737102810448 140403087108776 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=9327/tid=9335] ppid=9324 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/9327/task/9335/stat : 9335 (java) S 9324 9327 5416 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4698882 10060525568 18110 33554432000 1073741824 1073778376 140737102810448 140403086056232 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=9327/tid=9336] ppid=9324 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/9327/task/9336/stat : 9336 (java) S 9324 9327 5416 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4698882 10060525568 18110 33554432000 1073741824 1073778376 140737102810448 140402990201768 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=9327/tid=9337] ppid=9324 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/9327/task/9337/stat : 9337 (java) S 9324 9327 5416 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 4698882 10060525568 18110 33554432000 1073741824 1073778376 140737102810448 140402989149224 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=9327/tid=9338] ppid=9324 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/9327/task/9338/stat : 9338 (java) S 9324 9327 5416 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 4698883 10060525568 18110 33554432000 1073741824 1073778376 140737102810448 140402976737384 251146581929 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=9327/tid=9339] ppid=9324 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/9327/task/9339/stat : 9339 (java) S 9324 9327 5416 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 4698883 10060525568 18110 33554432000 1073741824 1073778376 140737102810448 140402975683704 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=9327/tid=9340] ppid=9324 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/9327/task/9340/stat : 9340 (java) S 9324 9327 5416 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 4698883 10060525568 18110 33554432000 1073741824 1073778376 140737102810448 140402974631048 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=9327/tid=9341] ppid=9324 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/9327/task/9341/stat : 9341 (java) S 9324 9327 5416 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4698886 10060525568 18110 33554432000 1073741824 1073778376 140737102810448 140402973579792 251146589984 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=9327/tid=9342] ppid=9324 vsize=9824732 CPUtime=0.6 cores=0,2,4,6 /proc/9327/task/9342/stat : 9342 (java) S 9324 9327 5416 0 -1 4202560 5407 0 0 0 60 0 0 0 20 0 19 0 4698886 10060525568 18110 33554432000 1073741824 1073778376 140737102810448 140402972527160 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=9327/tid=9343] ppid=9324 vsize=9824732 CPUtime=0.5 cores=0,2,4,6 /proc/9327/task/9343/stat : 9343 (java) S 9324 9327 5416 0 -1 4202560 6465 0 0 0 49 1 0 0 20 0 19 0 4698886 10060525568 18110 33554432000 1073741824 1073778376 140737102810448 140402971474616 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=9327/tid=9344] ppid=9324 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/9327/task/9344/stat : 9344 (java) S 9324 9327 5416 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4698886 10060525568 18110 33554432000 1073741824 1073778376 140737102810448 140402970422264 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=9327/tid=9345] ppid=9324 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/9327/task/9345/stat : 9345 (java) S 9324 9327 5416 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4698886 10060525568 18110 33554432000 1073741824 1073778376 140737102810448 140402969369928 251146581929 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=9327/tid=9349] ppid=9324 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/9327/task/9349/stat : 9349 (java) S 9324 9327 5416 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 4698937 10060525568 18110 33554432000 1073741824 1073778376 140737102810448 140402964464808 251146581929 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1.96 Current children cumulated vsize (KiB) 9824732 [startup+3.1008 s] /proc/loadavg: 4.21 4.06 4.01 8/216 9358 /proc/meminfo: memFree=28484292/32872528 swapFree=239532/272236 [pid=9327] ppid=9324 vsize=9824732 CPUtime=2.4 cores=0,2,4,6 /proc/9327/stat : 9327 (java) S 9324 9327 5416 0 -1 4202496 15821 0 1 0 227 13 0 0 20 0 19 0 4698880 10060525568 22794 33554432000 1073741824 1073778376 140737102810448 140737102801584 251146567741 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/9327/statm: 2456183 22794 2274 9 0 2446860 0 [pid=9327/tid=9329] ppid=9324 vsize=9824732 CPUtime=0.57 cores=0,2,4,6 /proc/9327/task/9329/stat : 9329 (java) S 9324 9327 5416 0 -1 4202560 2483 0 1 0 55 2 0 0 20 0 19 0 4698880 10060525568 22794 33554432000 1073741824 1073778376 140737102810448 140403152589688 251146581929 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=9327/tid=9330] ppid=9324 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/9327/task/9330/stat : 9330 (java) S 9324 9327 5416 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4698882 10060525568 22794 33554432000 1073741824 1073778376 140737102810448 140403091318952 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=9327/tid=9331] ppid=9324 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/9327/task/9331/stat : 9331 (java) S 9324 9327 5416 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4698882 10060525568 22794 33554432000 1073741824 1073778376 140737102810448 140403090266408 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=9327/tid=9332] ppid=9324 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/9327/task/9332/stat : 9332 (java) S 9324 9327 5416 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 4698882 10060525568 22794 33554432000 1073741824 1073778376 140737102810448 140403089213864 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=9327/tid=9333] ppid=9324 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/9327/task/9333/stat : 9333 (java) S 9324 9327 5416 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4698882 10060525568 22794 33554432000 1073741824 1073778376 140737102810448 140403088161320 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=9327/tid=9334] ppid=9324 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/9327/task/9334/stat : 9334 (java) S 9324 9327 5416 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4698882 10060525568 22794 33554432000 1073741824 1073778376 140737102810448 140403087108776 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=9327/tid=9335] ppid=9324 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/9327/task/9335/stat : 9335 (java) S 9324 9327 5416 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4698882 10060525568 22794 33554432000 1073741824 1073778376 140737102810448 140403086056232 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=9327/tid=9336] ppid=9324 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/9327/task/9336/stat : 9336 (java) S 9324 9327 5416 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4698882 10060525568 22794 33554432000 1073741824 1073778376 140737102810448 140402990201768 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=9327/tid=9337] ppid=9324 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/9327/task/9337/stat : 9337 (java) S 9324 9327 5416 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 4698882 10060525568 22794 33554432000 1073741824 1073778376 140737102810448 140402989149224 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=9327/tid=9338] ppid=9324 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/9327/task/9338/stat : 9338 (java) S 9324 9327 5416 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 4698883 10060525568 22794 33554432000 1073741824 1073778376 140737102810448 140402976737384 251146581929 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=9327/tid=9339] ppid=9324 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/9327/task/9339/stat : 9339 (java) S 9324 9327 5416 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 4698883 10060525568 22794 33554432000 1073741824 1073778376 140737102810448 140402975683704 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=9327/tid=9340] ppid=9324 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/9327/task/9340/stat : 9340 (java) S 9324 9327 5416 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 4698883 10060525568 22794 33554432000 1073741824 1073778376 140737102810448 140402974631048 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=9327/tid=9341] ppid=9324 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/9327/task/9341/stat : 9341 (java) S 9324 9327 5416 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4698886 10060525568 22794 33554432000 1073741824 1073778376 140737102810448 140402973579792 251146589984 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=9327/tid=9342] ppid=9324 vsize=9824732 CPUtime=0.75 cores=0,2,4,6 /proc/9327/task/9342/stat : 9342 (java) S 9324 9327 5416 0 -1 4202560 5427 0 0 0 75 0 0 0 20 0 19 0 4698886 10060525568 22794 33554432000 1073741824 1073778376 140737102810448 140402972527160 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=9327/tid=9343] ppid=9324 vsize=9824732 CPUtime=0.61 cores=0,2,4,6 /proc/9327/task/9343/stat : 9343 (java) S 9324 9327 5416 0 -1 4202560 6519 0 0 0 60 1 0 0 20 0 19 0 4698886 10060525568 22794 33554432000 1073741824 1073778376 140737102810448 140402971474616 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=9327/tid=9344] ppid=9324 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/9327/task/9344/stat : 9344 (java) S 9324 9327 5416 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4698886 10060525568 22794 33554432000 1073741824 1073778376 140737102810448 140402970422264 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=9327/tid=9345] ppid=9324 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/9327/task/9345/stat : 9345 (java) S 9324 9327 5416 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4698886 10060525568 22794 33554432000 1073741824 1073778376 140737102810448 140402969369928 251146581929 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=9327/tid=9349] ppid=9324 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/9327/task/9349/stat : 9349 (java) S 9324 9327 5416 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 4698937 10060525568 22794 33554432000 1073741824 1073778376 140737102810448 140402964464808 251146581929 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 2.4 Current children cumulated vsize (KiB) 9824732 heavy processes: [startup+6.30088 s] /proc/loadavg: 4.21 4.06 4.01 3/216 9376 /proc/meminfo: memFree=28308988/32872528 swapFree=239532/272236 [pid=9327] ppid=9324 vsize=9824732 CPUtime=2.76 cores=0,2,4,6 /proc/9327/stat : 9327 (java) S 9324 9327 5416 0 -1 4202496 16047 0 1 0 257 19 0 0 20 0 19 0 4698880 10060525568 37645 33554432000 1073741824 1073778376 140737102810448 140737102801584 251146567741 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/9327/statm: 2456183 37645 2275 9 0 2446860 0 [pid=9327/tid=9329] ppid=9324 vsize=9824732 CPUtime=0.6 cores=0,2,4,6 /proc/9327/task/9329/stat : 9329 (java) S 9324 9327 5416 0 -1 4202560 2490 0 1 0 58 2 0 0 20 0 19 0 4698880 10060525568 37645 33554432000 1073741824 1073778376 140737102810448 140403152589688 251146581929 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=9327/tid=9330] ppid=9324 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/9327/task/9330/stat : 9330 (java) S 9324 9327 5416 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4698882 10060525568 37645 33554432000 1073741824 1073778376 140737102810448 140403091318952 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=9327/tid=9331] ppid=9324 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/9327/task/9331/stat : 9331 (java) S 9324 9327 5416 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4698882 10060525568 37645 33554432000 1073741824 1073778376 140737102810448 140403090266408 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=9327/tid=9332] ppid=9324 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/9327/task/9332/stat : 9332 (java) S 9324 9327 5416 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 4698882 10060525568 37645 33554432000 1073741824 1073778376 140737102810448 140403089213864 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=9327/tid=9333] ppid=9324 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/9327/task/9333/stat : 9333 (java) S 9324 9327 5416 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4698882 10060525568 37645 33554432000 1073741824 1073778376 140737102810448 140403088161320 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=9327/tid=9334] ppid=9324 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/9327/task/9334/stat : 9334 (java) S 9324 9327 5416 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4698882 10060525568 37645 33554432000 1073741824 1073778376 140737102810448 140403087108776 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=9327/tid=9335] ppid=9324 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/9327/task/9335/stat : 9335 (java) S 9324 9327 5416 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4698882 10060525568 37645 33554432000 1073741824 1073778376 140737102810448 140403086056232 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=9327/tid=9336] ppid=9324 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/9327/task/9336/stat : 9336 (java) S 9324 9327 5416 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4698882 10060525568 37645 33554432000 1073741824 1073778376 140737102810448 140402990201768 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=9327/tid=9337] ppid=9324 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/9327/task/9337/stat : 9337 (java) S 9324 9327 5416 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 4698882 10060525568 37645 33554432000 1073741824 1073778376 140737102810448 140402989149224 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=9327/tid=9338] ppid=9324 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/9327/task/9338/stat : 9338 (java) S 9324 9327 5416 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 4698883 10060525568 37645 33554432000 1073741824 1073778376 140737102810448 140402976737384 251146581929 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=9327/tid=9339] ppid=9324 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/9327/task/9339/stat : 9339 (java) S 9324 9327 5416 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 4698883 10060525568 37645 33554432000 1073741824 1073778376 140737102810448 140402975683704 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=9327/tid=9340] ppid=9324 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/9327/task/9340/stat : 9340 (java) S 9324 9327 5416 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 4698883 10060525568 37645 33554432000 1073741824 1073778376 140737102810448 140402974631048 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=9327/tid=9341] ppid=9324 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/9327/task/9341/stat : 9341 (java) S 9324 9327 5416 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4698886 10060525568 37645 33554432000 1073741824 1073778376 140737102810448 140402973579792 251146589984 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=9327/tid=9342] ppid=9324 vsize=9824732 CPUtime=0.88 cores=0,2,4,6 /proc/9327/task/9342/stat : 9342 (java) S 9324 9327 5416 0 -1 4202560 5553 0 0 0 88 0 0 0 20 0 19 0 4698886 10060525568 37645 33554432000 1073741824 1073778376 140737102810448 140402972527160 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=9327/tid=9343] ppid=9324 vsize=9824732 CPUtime=0.69 cores=0,2,4,6 /proc/9327/task/9343/stat : 9343 (java) S 9324 9327 5416 0 -1 4202560 6526 0 0 0 68 1 0 0 20 0 19 0 4698886 10060525568 37645 33554432000 1073741824 1073778376 140737102810448 140402971474616 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=9327/tid=9344] ppid=9324 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/9327/task/9344/stat : 9344 (java) S 9324 9327 5416 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4698886 10060525568 37645 33554432000 1073741824 1073778376 140737102810448 140402970422264 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=9327/tid=9345] ppid=9324 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/9327/task/9345/stat : 9345 (java) S 9324 9327 5416 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4698886 10060525568 37645 33554432000 1073741824 1073778376 140737102810448 140402969369928 251146581929 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=9327/tid=9349] ppid=9324 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/9327/task/9349/stat : 9349 (java) S 9324 9327 5416 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 4698937 10060525568 37645 33554432000 1073741824 1073778376 140737102810448 140402964464808 251146581929 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 2.76 Current children cumulated vsize (KiB) 9824732 ################ # More data... # ################ [pid=9327/tid=9337] ppid=9324 vsize=9824732 CPUtime=3.73 cores=0,2,4,6 /proc/9327/task/9337/stat : 9337 (java) S 9324 9327 5416 0 -1 4202560 715 0 0 0 349 24 0 0 20 0 22 0 4698882 10060525568 1090985 33554432000 1073741824 1073778376 140737102810448 140402989149224 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=9327/tid=9338] ppid=9324 vsize=9824732 CPUtime=7.83 cores=0,2,4,6 /proc/9327/task/9338/stat : 9338 (java) S 9324 9327 5416 0 -1 4202560 3103 0 0 0 773 10 0 0 20 0 22 0 4698883 10060525568 1090985 33554432000 1073741824 1073778376 140737102810448 140402976737384 251146581929 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=9327/tid=9339] ppid=9324 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/9327/task/9339/stat : 9339 (java) S 9324 9327 5416 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 4698883 10060525568 1090985 33554432000 1073741824 1073778376 140737102810448 140402975683704 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=9327/tid=9340] ppid=9324 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/9327/task/9340/stat : 9340 (java) S 9324 9327 5416 0 -1 4202560 42 0 0 0 0 0 0 0 20 0 22 0 4698883 10060525568 1090985 33554432000 1073741824 1073778376 140737102810448 140402974631048 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=9327/tid=9341] ppid=9324 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/9327/task/9341/stat : 9341 (java) S 9324 9327 5416 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 4698886 10060525568 1090985 33554432000 1073741824 1073778376 140737102810448 140402973579792 251146589984 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=9327/tid=9342] ppid=9324 vsize=9824732 CPUtime=1.53 cores=0,2,4,6 /proc/9327/task/9342/stat : 9342 (java) S 9324 9327 5416 0 -1 4202560 7868 0 0 0 151 2 0 0 20 0 22 0 4698886 10060525568 1090985 33554432000 1073741824 1073778376 140737102810448 140402972527160 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=9327/tid=9343] ppid=9324 vsize=9824732 CPUtime=1.12 cores=0,2,4,6 /proc/9327/task/9343/stat : 9343 (java) S 9324 9327 5416 0 -1 4202560 6613 0 0 0 110 2 0 0 20 0 22 0 4698886 10060525568 1090985 33554432000 1073741824 1073778376 140737102810448 140402971474616 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=9327/tid=9344] ppid=9324 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/9327/task/9344/stat : 9344 (java) S 9324 9327 5416 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 4698886 10060525568 1090985 33554432000 1073741824 1073778376 140737102810448 140402970422264 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=9327/tid=9345] ppid=9324 vsize=9824732 CPUtime=0.28 cores=0,2,4,6 /proc/9327/task/9345/stat : 9345 (java) S 9324 9327 5416 0 -1 4202560 47 0 0 0 12 16 0 0 20 0 22 0 4698886 10060525568 1090985 33554432000 1073741824 1073778376 140737102810448 140402969369928 251146581929 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=9327/tid=9349] ppid=9324 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/9327/task/9349/stat : 9349 (java) S 9324 9327 5416 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 4698937 10060525568 1090985 33554432000 1073741824 1073778376 140737102810448 140402964464808 251146581929 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=9327/tid=9704] ppid=9324 vsize=9824732 CPUtime=90.88 cores=0,2,4,6 /proc/9327/task/9704/stat : 9704 (java) R 9324 9327 5416 0 -1 4202560 3 0 0 0 9087 1 0 0 20 0 22 0 4771628 10060525568 1090985 33554432000 1073741824 1073778376 140737102810448 140402966567856 140403093287833 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=9327/tid=9705] ppid=9324 vsize=9824732 CPUtime=90.88 cores=0,2,4,6 /proc/9327/task/9705/stat : 9705 (java) R 9324 9327 5416 0 -1 4202560 13 0 0 0 9087 1 0 0 20 0 22 0 4771628 10060525568 1090985 33554432000 1073741824 1073778376 140737102810448 140402965516000 140403093120701 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 [pid=9327/tid=9706] ppid=9324 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/9327/task/9706/stat : 9706 (java) S 9324 9327 5416 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 4771628 10060525568 1090985 33554432000 1073741824 1073778376 140737102810448 140402967623336 251146581929 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 Current children cumulated CPU time (s) 1572.86 Current children cumulated vsize (KiB) 9824732 [startup+882.308 s] /proc/loadavg: 4.05 4.03 4.00 5/219 9807 /proc/meminfo: memFree=23996620/32872528 swapFree=239532/272236 [pid=9327] ppid=9324 vsize=9824732 CPUtime=1694.12 cores=0,2,4,6 /proc/9327/stat : 9327 (java) S 9324 9327 5416 0 -1 4202496 29661 0 1 0 168942 470 0 0 20 0 22 0 4698880 10060525568 1092999 33554432000 1073741824 1073778376 140737102810448 140737102801584 251146567741 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/9327/statm: 2456183 1092999 2303 9 0 2446860 0 [pid=9327/tid=9329] ppid=9324 vsize=9824732 CPUtime=1.08 cores=0,2,4,6 /proc/9327/task/9329/stat : 9329 (java) S 9324 9327 5416 0 -1 4202560 2513 0 1 0 104 4 0 0 20 0 22 0 4698880 10060525568 1092999 33554432000 1073741824 1073778376 140737102810448 140403152589688 251146581929 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=9327/tid=9330] ppid=9324 vsize=9824732 CPUtime=4.29 cores=0,2,4,6 /proc/9327/task/9330/stat : 9330 (java) S 9324 9327 5416 0 -1 4202560 602 0 0 0 403 26 0 0 20 0 22 0 4698882 10060525568 1092999 33554432000 1073741824 1073778376 140737102810448 140403091318952 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=9327/tid=9331] ppid=9324 vsize=9824732 CPUtime=4.29 cores=0,2,4,6 /proc/9327/task/9331/stat : 9331 (java) S 9324 9327 5416 0 -1 4202560 587 0 0 0 403 26 0 0 20 0 22 0 4698882 10060525568 1092999 33554432000 1073741824 1073778376 140737102810448 140403090266408 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=9327/tid=9332] ppid=9324 vsize=9824732 CPUtime=4.16 cores=0,2,4,6 /proc/9327/task/9332/stat : 9332 (java) S 9324 9327 5416 0 -1 4202560 667 0 0 0 386 30 0 0 20 0 22 0 4698882 10060525568 1092999 33554432000 1073741824 1073778376 140737102810448 140403089213864 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=9327/tid=9333] ppid=9324 vsize=9824732 CPUtime=4.62 cores=0,2,4,6 /proc/9327/task/9333/stat : 9333 (java) S 9324 9327 5416 0 -1 4202560 774 0 0 0 434 28 0 0 20 0 22 0 4698882 10060525568 1092999 33554432000 1073741824 1073778376 140737102810448 140403088161320 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=9327/tid=9334] ppid=9324 vsize=9824732 CPUtime=3.77 cores=0,2,4,6 /proc/9327/task/9334/stat : 9334 (java) S 9324 9327 5416 0 -1 4202560 793 0 0 0 350 27 0 0 20 0 22 0 4698882 10060525568 1092999 33554432000 1073741824 1073778376 140737102810448 140403087108776 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=9327/tid=9335] ppid=9324 vsize=9824732 CPUtime=3.97 cores=0,2,4,6 /proc/9327/task/9335/stat : 9335 (java) S 9324 9327 5416 0 -1 4202560 786 0 0 0 369 28 0 0 20 0 22 0 4698882 10060525568 1092999 33554432000 1073741824 1073778376 140737102810448 140403086056232 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=9327/tid=9336] ppid=9324 vsize=9824732 CPUtime=4.28 cores=0,2,4,6 /proc/9327/task/9336/stat : 9336 (java) S 9324 9327 5416 0 -1 4202560 749 0 0 0 404 24 0 0 20 0 22 0 4698882 10060525568 1092999 33554432000 1073741824 1073778376 140737102810448 140402990201768 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=9327/tid=9337] ppid=9324 vsize=9824732 CPUtime=4.01 cores=0,2,4,6 /proc/9327/task/9337/stat : 9337 (java) S 9324 9327 5416 0 -1 4202560 743 0 0 0 376 25 0 0 20 0 22 0 4698882 10060525568 1092999 33554432000 1073741824 1073778376 140737102810448 140402989149224 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=9327/tid=9338] ppid=9324 vsize=9824732 CPUtime=7.84 cores=0,2,4,6 /proc/9327/task/9338/stat : 9338 (java) S 9324 9327 5416 0 -1 4202560 3121 0 0 0 774 10 0 0 20 0 22 0 4698883 10060525568 1092999 33554432000 1073741824 1073778376 140737102810448 140402976737384 251146581929 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=9327/tid=9339] ppid=9324 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/9327/task/9339/stat : 9339 (java) S 9324 9327 5416 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 4698883 10060525568 1092999 33554432000 1073741824 1073778376 140737102810448 140402975683704 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=9327/tid=9340] ppid=9324 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/9327/task/9340/stat : 9340 (java) S 9324 9327 5416 0 -1 4202560 42 0 0 0 0 0 0 0 20 0 22 0 4698883 10060525568 1092999 33554432000 1073741824 1073778376 140737102810448 140402974631048 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=9327/tid=9341] ppid=9324 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/9327/task/9341/stat : 9341 (java) S 9324 9327 5416 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 4698886 10060525568 1092999 33554432000 1073741824 1073778376 140737102810448 140402973579792 251146589984 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=9327/tid=9342] ppid=9324 vsize=9824732 CPUtime=1.53 cores=0,2,4,6 /proc/9327/task/9342/stat : 9342 (java) S 9324 9327 5416 0 -1 4202560 7868 0 0 0 151 2 0 0 20 0 22 0 4698886 10060525568 1092999 33554432000 1073741824 1073778376 140737102810448 140402972527160 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=9327/tid=9343] ppid=9324 vsize=9824732 CPUtime=1.12 cores=0,2,4,6 /proc/9327/task/9343/stat : 9343 (java) S 9324 9327 5416 0 -1 4202560 6613 0 0 0 110 2 0 0 20 0 22 0 4698886 10060525568 1092999 33554432000 1073741824 1073778376 140737102810448 140402971474616 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=9327/tid=9344] ppid=9324 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/9327/task/9344/stat : 9344 (java) S 9324 9327 5416 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 4698886 10060525568 1092999 33554432000 1073741824 1073778376 140737102810448 140402970422264 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=9327/tid=9345] ppid=9324 vsize=9824732 CPUtime=0.3 cores=0,2,4,6 /proc/9327/task/9345/stat : 9345 (java) S 9324 9327 5416 0 -1 4202560 51 0 0 0 13 17 0 0 20 0 22 0 4698886 10060525568 1092999 33554432000 1073741824 1073778376 140737102810448 140402969369928 251146581929 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=9327/tid=9349] ppid=9324 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/9327/task/9349/stat : 9349 (java) S 9324 9327 5416 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 4698937 10060525568 1092999 33554432000 1073741824 1073778376 140737102810448 140402964464808 251146581929 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=9327/tid=9704] ppid=9324 vsize=9824732 CPUtime=150.06 cores=0,2,4,6 /proc/9327/task/9704/stat : 9704 (java) R 9324 9327 5416 0 -1 4202560 4 0 0 0 15004 2 0 0 20 0 22 0 4771628 10060525568 1092999 33554432000 1073741824 1073778376 140737102810448 140402966561040 140403093209006 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 [pid=9327/tid=9705] ppid=9324 vsize=9824732 CPUtime=150.06 cores=0,2,4,6 /proc/9327/task/9705/stat : 9705 (java) R 9324 9327 5416 0 -1 4202560 20 0 0 0 15004 2 0 0 20 0 22 0 4771628 10060525568 1092999 33554432000 1073741824 1073778376 140737102810448 140402965516160 140403093014152 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 [pid=9327/tid=9706] ppid=9324 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/9327/task/9706/stat : 9706 (java) S 9324 9327 5416 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 4771628 10060525568 1092999 33554432000 1073741824 1073778376 140737102810448 140402967623336 251146581929 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 Current children cumulated CPU time (s) 1694.12 Current children cumulated vsize (KiB) 9824732 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+934.008 s] /proc/loadavg: 4.07 4.04 4.00 5/219 9811 /proc/meminfo: memFree=23987616/32872528 swapFree=239532/272236 [pid=9327] ppid=9324 vsize=9824732 CPUtime=1798.57 cores=0,2,4,6 /proc/9327/stat : 9327 (java) S 9324 9327 5416 0 -1 4202496 30119 0 1 0 179381 476 0 0 20 0 22 0 4698880 10060525568 1104516 33554432000 1073741824 1073778376 140737102810448 140737102801584 251146567741 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/9327/statm: 2456183 1104516 2303 9 0 2446860 0 [pid=9327/tid=9329] ppid=9324 vsize=9824732 CPUtime=1.08 cores=0,2,4,6 /proc/9327/task/9329/stat : 9329 (java) S 9324 9327 5416 0 -1 4202560 2513 0 1 0 104 4 0 0 20 0 22 0 4698880 10060525568 1104516 33554432000 1073741824 1073778376 140737102810448 140403152589688 251146581929 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=9327/tid=9330] ppid=9324 vsize=9824732 CPUtime=4.55 cores=0,2,4,6 /proc/9327/task/9330/stat : 9330 (java) S 9324 9327 5416 0 -1 4202560 616 0 0 0 429 26 0 0 20 0 22 0 4698882 10060525568 1104516 33554432000 1073741824 1073778376 140737102810448 140403091318952 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=9327/tid=9331] ppid=9324 vsize=9824732 CPUtime=4.63 cores=0,2,4,6 /proc/9327/task/9331/stat : 9331 (java) S 9324 9327 5416 0 -1 4202560 605 0 0 0 435 28 0 0 20 0 22 0 4698882 10060525568 1104516 33554432000 1073741824 1073778376 140737102810448 140403090266408 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=9327/tid=9332] ppid=9324 vsize=9824732 CPUtime=4.38 cores=0,2,4,6 /proc/9327/task/9332/stat : 9332 (java) S 9324 9327 5416 0 -1 4202560 678 0 0 0 407 31 0 0 20 0 22 0 4698882 10060525568 1104516 33554432000 1073741824 1073778376 140737102810448 140403089213864 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=9327/tid=9333] ppid=9324 vsize=9824732 CPUtime=4.98 cores=0,2,4,6 /proc/9327/task/9333/stat : 9333 (java) S 9324 9327 5416 0 -1 4202560 784 0 0 0 470 28 0 0 20 0 22 0 4698882 10060525568 1104516 33554432000 1073741824 1073778376 140737102810448 140403088161320 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=9327/tid=9334] ppid=9324 vsize=9824732 CPUtime=4.03 cores=0,2,4,6 /proc/9327/task/9334/stat : 9334 (java) S 9324 9327 5416 0 -1 4202560 814 0 0 0 375 28 0 0 20 0 22 0 4698882 10060525568 1104516 33554432000 1073741824 1073778376 140737102810448 140403087108776 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=9327/tid=9335] ppid=9324 vsize=9824732 CPUtime=4.15 cores=0,2,4,6 /proc/9327/task/9335/stat : 9335 (java) S 9324 9327 5416 0 -1 4202560 792 0 0 0 387 28 0 0 20 0 22 0 4698882 10060525568 1104516 33554432000 1073741824 1073778376 140737102810448 140403086056232 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=9327/tid=9336] ppid=9324 vsize=9824732 CPUtime=4.52 cores=0,2,4,6 /proc/9327/task/9336/stat : 9336 (java) S 9324 9327 5416 0 -1 4202560 768 0 0 0 427 25 0 0 20 0 22 0 4698882 10060525568 1104516 33554432000 1073741824 1073778376 140737102810448 140402990201768 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=9327/tid=9337] ppid=9324 vsize=9824732 CPUtime=4.26 cores=0,2,4,6 /proc/9327/task/9337/stat : 9337 (java) S 9324 9327 5416 0 -1 4202560 777 0 0 0 401 25 0 0 20 0 22 0 4698882 10060525568 1104516 33554432000 1073741824 1073778376 140737102810448 140402989149224 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=9327/tid=9338] ppid=9324 vsize=9824732 CPUtime=7.84 cores=0,2,4,6 /proc/9327/task/9338/stat : 9338 (java) S 9324 9327 5416 0 -1 4202560 3151 0 0 0 774 10 0 0 20 0 22 0 4698883 10060525568 1104516 33554432000 1073741824 1073778376 140737102810448 140402976737384 251146581929 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=9327/tid=9339] ppid=9324 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/9327/task/9339/stat : 9339 (java) S 9324 9327 5416 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 4698883 10060525568 1104516 33554432000 1073741824 1073778376 140737102810448 140402975683704 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=9327/tid=9340] ppid=9324 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/9327/task/9340/stat : 9340 (java) S 9324 9327 5416 0 -1 4202560 42 0 0 0 0 0 0 0 20 0 22 0 4698883 10060525568 1104516 33554432000 1073741824 1073778376 140737102810448 140402974631048 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=9327/tid=9341] ppid=9324 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/9327/task/9341/stat : 9341 (java) S 9324 9327 5416 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 4698886 10060525568 1104516 33554432000 1073741824 1073778376 140737102810448 140402973579792 251146589984 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=9327/tid=9342] ppid=9324 vsize=9824732 CPUtime=1.64 cores=0,2,4,6 /proc/9327/task/9342/stat : 9342 (java) S 9324 9327 5416 0 -1 4202560 8152 0 0 0 162 2 0 0 20 0 22 0 4698886 10060525568 1104516 33554432000 1073741824 1073778376 140737102810448 140402972527160 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=9327/tid=9343] ppid=9324 vsize=9824732 CPUtime=1.12 cores=0,2,4,6 /proc/9327/task/9343/stat : 9343 (java) S 9324 9327 5416 0 -1 4202560 6613 0 0 0 110 2 0 0 20 0 22 0 4698886 10060525568 1104516 33554432000 1073741824 1073778376 140737102810448 140402971474616 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=9327/tid=9344] ppid=9324 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/9327/task/9344/stat : 9344 (java) S 9324 9327 5416 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 4698886 10060525568 1104516 33554432000 1073741824 1073778376 140737102810448 140402970422264 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=9327/tid=9345] ppid=9324 vsize=9824732 CPUtime=0.32 cores=0,2,4,6 /proc/9327/task/9345/stat : 9345 (java) S 9324 9327 5416 0 -1 4202560 55 0 0 0 14 18 0 0 20 0 22 0 4698886 10060525568 1104516 33554432000 1073741824 1073778376 140737102810448 140402969369928 251146581929 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=9327/tid=9349] ppid=9324 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/9327/task/9349/stat : 9349 (java) S 9324 9327 5416 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 4698937 10060525568 1104516 33554432000 1073741824 1073778376 140737102810448 140402964464808 251146581929 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=9327/tid=9704] ppid=9324 vsize=9824732 CPUtime=201.08 cores=0,2,4,6 /proc/9327/task/9704/stat : 9704 (java) R 9324 9327 5416 0 -1 4202560 5 0 0 0 20105 3 0 0 20 0 22 0 4771628 10060525568 1104516 33554432000 1073741824 1073778376 140737102810448 140402966568752 140403093261032 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 [pid=9327/tid=9705] ppid=9324 vsize=9824732 CPUtime=201.07 cores=0,2,4,6 /proc/9327/task/9705/stat : 9705 (java) R 9324 9327 5416 0 -1 4202560 26 0 0 0 20104 3 0 0 20 0 22 0 4771628 10060525568 1104516 33554432000 1073741824 1073778376 140737102810448 140402965515440 140403093229124 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=9327/tid=9706] ppid=9324 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/9327/task/9706/stat : 9706 (java) S 9324 9327 5416 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 4771628 10060525568 1104516 33554432000 1073741824 1073778376 140737102810448 140402967623336 251146581929 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 Current children cumulated CPU time (s) 1798.57 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 9327 sig 9 ??? end of watcher thread Dumping a history of the last processes samples Child status: 143 # WARNING: # CPU time reported by wait4() is probably wrong ! # wait4(...,&childrusage) returns 9327 and gives # childrusage.ru_utime.tv_sec=1792 # childrusage.ru_utime.tv_usec=830448 # childrusage.ru_stime.tv_sec=5 # childrusage.ru_stime.tv_usec=41233 # CPU time returned by wait4() is 1797.87 # while last known CPU time is 1798.57 # # Solver probably didn't/couldn't wait for its children # Using CPU time of the last sample as value... # 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): 1.51996 # lost CPU user time (s): 1.69989 # lost CPU system time (s): -0.18 Real time (s): 934.055 CPU time (s): 1800.09 CPU user time (s): 1795.51 CPU system time (s): 4.58 CPU usage (%): 192.718 Max. virtual memory (cumulated for all children) (KiB): 9824732 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1792.83 system time used= 5.04123 maximum resident set size= 4418176 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 30154 page faults= 1 swaps= 0 block input operations= 0 block output operations= 992 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 27188 involuntary context switches= 32121 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 6.96394 second user time and 6.51301 second system time The end
Begin job on node107 at 2016-06-30 05:17:58 IDJOB=4119465 IDBENCH=111737 IDSOLVER=2543 FILE ID=node107/4119465-1467256678 RUNJOBID= node107-1467248484-5592 PBS_JOBID= 20004476 Free space on /tmp= 71720 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_bern25-19.opb COMMAND LINE= java -jar sat4j-pb.jar Both BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4119465-1467256678/watcher-4119465-1467256678 -o /tmp/evaluation-result-4119465-1467256678/solver-4119465-1467256678 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node107-1467248484-5592 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4119465-1467256678.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 49213c6b64cc7e418e6fc489a0b00141 RANDOM SEED=1098137415 node107.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 : 2667.110 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 : 5334.22 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 : 2667.110 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 : 2667.110 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.39 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 : 2667.110 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 : 2667.110 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.54 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.110 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 : 2667.110 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.56 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 : 2667.110 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: 28653624 kB Buffers: 102476 kB Cached: 425388 kB SwapCached: 0 kB Active: 2767896 kB Inactive: 437240 kB Active(anon): 2678640 kB Inactive(anon): 1088 kB Active(file): 89256 kB Inactive(file): 436152 kB Unevictable: 272236 kB Mlocked: 239532 kB SwapTotal: 67108856 kB SwapFree: 67108856 kB Dirty: 904 kB Writeback: 4 kB AnonPages: 2951576 kB Mapped: 22132 kB Shmem: 204 kB Slab: 605052 kB SReclaimable: 48856 kB SUnreclaim: 556196 kB KernelStack: 1648 kB PageTables: 10236 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 3709844 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 2637824 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= 71720 MiB End job on node107 at 2016-06-30 05:33:32