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) | -14895 | 1800.36 | 970.929 |
| Name | PB15eval/normalized-PB15eval/OPT-BIGINT-NLC/ minlplib2-pb-0.1.0/opb/normalized-autocorr_bern50-25.opb |
| MD5SUM | bc38c022b32687c2e89585edeef8fc31 |
| Bench Category | OPT-BIGINT-NLC (optimisation, big integers, non linear constraints) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | -30412 |
| Best CPU time to get the best result obtained on this benchmark | 1800.03 |
| 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 | 14412 |
| Biggest coefficient in the objective function | 8912 |
| Number of bits for the biggest coefficient in the objective function | 14 |
| Sum of the numbers in the objective function | 2257216 |
| Number of bits of the sum of numbers in the objective function | 22 |
| Biggest number in a constraint | 8912 |
| Number of bits of the biggest number in a constraint | 14 |
| Biggest sum of numbers in a constraint | 2257216 |
| Number of bits of the biggest sum of numbers | 22 |
| Number of products (including duplicates) | 14362 |
| Sum of products size (including duplicates) | 46564 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.07 c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS 0.00/0.07 c This is free software under the dual EPL/GNU LGPL licenses. 0.00/0.07 c See www.sat4j.org for details. 0.00/0.08 c version PB16.v20160501 0.00/0.08 c java.runtime.name Java(TM) SE Runtime Environment 0.00/0.08 c java.vm.name Java HotSpot(TM) 64-Bit Server VM 0.00/0.08 c java.vm.version 19.1-b02 0.00/0.08 c java.vm.vendor Sun Microsystems Inc. 0.00/0.08 c sun.arch.data.model 64 0.00/0.08 c java.version 1.6.0_24 0.00/0.08 c os.name Linux 0.00/0.08 c os.version 2.6.32-71.29.1.el6.x86_64 0.00/0.08 c os.arch amd64 0.00/0.08 c Free memory 501472288 0.00/0.08 c Max memory 7480803328 0.00/0.08 c Total memory 504102912 0.00/0.08 c Number of processors 8 0.11/0.11 c Pseudo Boolean Optimization by upper bound 0.11/0.11 c ManyCore solver with 2 solvers running in parallel 0.11/0.11 c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<< 0.11/0.11 c --- Begin Solver configuration --- 0.11/0.11 c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@5d764be1 0.11/0.11 c Learn all clauses as in MiniSAT 0.11/0.11 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.11/0.11 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.11/0.11 c Expensive reason simplification 0.11/0.11 c Glucose 2.1 dynamic restart strategy 0.11/0.11 c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000 0.11/0.11 c timeout=2147483s 0.11/0.11 c DB Simplification allowed=false 0.11/0.11 c Listener: org.sat4j.pb.tools.ManyCorePB@9f436f5 0.11/0.11 c --- End Solver configuration --- 0.11/0.11 c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<< 0.11/0.11 c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP) 0.11/0.11 c --- Begin Solver configuration --- 0.11/0.11 c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@4413ee 0.11/0.11 c Learn all clauses as in MiniSAT 0.11/0.11 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.11/0.11 c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function 0.11/0.11 c No reason simplification 0.11/0.11 c Armin Biere (Picosat) restarts strategy 0.11/0.11 c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000 0.11/0.11 c timeout=2147483s 0.11/0.11 c DB Simplification allowed=false 0.11/0.11 c Listener: org.sat4j.pb.tools.ManyCorePB@9f436f5 0.11/0.11 c --- End Solver configuration --- 0.11/0.11 c solving HOME/instance-4118127-1467221980.opb 0.11/0.11 c reading problem ... 0.11/0.11 c objective function found 4.62/3.90 c ... done. Wall clock time 3.796s. 4.62/3.90 c declared #vars 50 4.62/3.91 c internal #vars 14412 4.62/3.91 c #constraints 28724 4.62/3.91 c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<< 4.62/3.91 c constraints type 4.62/3.91 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 14362 4.62/3.91 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 14362 4.62/3.91 c 28724 constraints processed. 4.62/3.91 c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<< 4.62/3.91 c constraints type 4.62/3.91 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 14362 4.62/3.91 c org.sat4j.pb.constraints.pb.MaxWatchPb => 14362 4.62/3.91 c 28724 constraints processed. 4.62/3.91 c objective function length is 14412 literals 5.00/4.08 c And the winner is solver0 5.33/4.41 c SATISFIABLE 5.33/4.41 c OPTIMIZING... 5.33/4.41 c Got one! Elapsed wall clock time (in seconds):4.308 5.33/4.41 o 0 5.56/4.54 c And the winner is solver0 5.78/4.97 c Got one! Elapsed wall clock time (in seconds):4.867 5.78/4.97 o -276 5.84/5.04 c And the winner is solver0 6.06/5.51 c Got one! Elapsed wall clock time (in seconds):5.403 6.06/5.51 o -552 6.06/5.57 c And the winner is solver0 6.29/6.04 c Got one! Elapsed wall clock time (in seconds):5.932 6.29/6.04 o -1037 6.46/6.12 c And the winner is solver0 6.56/6.56 c Got one! Elapsed wall clock time (in seconds):6.456 6.56/6.56 o -1334 6.65/6.61 c And the winner is solver0 6.69/7.08 c Got one! Elapsed wall clock time (in seconds):6.974 6.69/7.08 o -1522 6.70/7.11 c And the winner is solver0 6.74/7.60 c Got one! Elapsed wall clock time (in seconds):7.493 6.74/7.60 o -2157 6.74/7.66 c And the winner is solver0 6.90/8.12 c Got one! Elapsed wall clock time (in seconds):8.011 6.90/8.12 o -2175 6.90/8.18 c And the winner is solver0 7.08/8.64 c Got one! Elapsed wall clock time (in seconds):8.53 7.08/8.64 o -2365 7.08/8.68 c And the winner is solver0 7.18/9.16 c Got one! Elapsed wall clock time (in seconds):9.052 7.18/9.16 o -2475 7.23/9.20 c And the winner is solver0 7.29/9.68 c Got one! Elapsed wall clock time (in seconds):9.57 7.29/9.68 o -2682 7.35/9.75 c And the winner is solver0 7.49/10.23 c Got one! Elapsed wall clock time (in seconds):10.122 7.49/10.23 o -2792 7.49/10.26 c And the winner is solver0 7.55/10.75 c Got one! Elapsed wall clock time (in seconds):10.641 7.55/10.75 o -3526 7.63/10.89 c And the winner is solver0 10.07/13.17 c Got one! Elapsed wall clock time (in seconds):13.065 10.07/13.17 o -4095 10.74/13.42 c And the winner is solver0 10.81/13.69 c Got one! Elapsed wall clock time (in seconds):13.585 10.81/13.69 o -4218 10.81/13.76 c And the winner is solver0 10.95/14.21 c Got one! Elapsed wall clock time (in seconds):14.105 10.95/14.21 o -4260 10.95/14.25 c And the winner is solver0 11.03/14.73 c Got one! Elapsed wall clock time (in seconds):14.624 11.03/14.73 o -5050 12.12/15.25 c And the winner is solver0 13.96/17.00 c Got one! Elapsed wall clock time (in seconds):16.895 13.96/17.00 o -5066 13.96/17.06 c And the winner is solver0 14.08/17.52 c Got one! Elapsed wall clock time (in seconds):17.414 14.08/17.52 o -5646 15.08/18.01 c And the winner is solver0 16.80/19.74 c Got one! Elapsed wall clock time (in seconds):19.638 16.80/19.74 o -5807 17.37/20.05 c And the winner is solver0 17.53/20.26 c Got one! Elapsed wall clock time (in seconds):20.158 17.53/20.26 o -5840 17.78/20.41 c And the winner is solver0 17.83/20.78 c Got one! Elapsed wall clock time (in seconds):20.676 17.83/20.78 o -5856 17.85/20.89 c And the winner is solver0 18.06/21.30 c Got one! Elapsed wall clock time (in seconds):21.194 18.06/21.30 o -5872 18.06/21.37 c And the winner is solver0 18.20/21.82 c Got one! Elapsed wall clock time (in seconds):21.713 18.20/21.82 o -6697 19.99/22.73 c And the winner is solver0 21.33/24.04 c Got one! Elapsed wall clock time (in seconds):23.933 21.33/24.04 o -6730 22.84/24.87 c And the winner is solver0 24.31/26.21 c Got one! Elapsed wall clock time (in seconds):26.103 24.31/26.21 o -6746 24.47/26.32 c And the winner is solver0 24.53/26.73 c Got one! Elapsed wall clock time (in seconds):26.623 24.53/26.73 o -7590 28.54/28.71 c And the winner is solver0 28.91/29.10 c Got one! Elapsed wall clock time (in seconds):28.994 28.91/29.10 o -7604 31.10/30.28 c And the winner is solver0 32.27/31.32 c Got one! Elapsed wall clock time (in seconds):31.214 32.27/31.32 o -7605 32.93/31.64 c And the winner is solver0 33.05/31.84 c Got one! Elapsed wall clock time (in seconds):31.733 33.05/31.84 o -7620 33.05/31.88 c And the winner is solver0 33.13/32.36 c Got one! Elapsed wall clock time (in seconds):32.252 33.13/32.36 o -8517 44.26/37.91 c And the winner is solver0 45.48/39.13 c Got one! Elapsed wall clock time (in seconds):39.024 45.48/39.13 o -8527 46.44/39.65 c And the winner is solver0 47.98/41.15 c Got one! Elapsed wall clock time (in seconds):41.047 47.98/41.15 o -8539 48.87/41.62 c And the winner is solver0 50.70/43.21 c Got one! Elapsed wall clock time (in seconds):43.101 50.70/43.21 o -8544 50.70/43.26 c And the winner is solver0 50.83/43.73 c Got one! Elapsed wall clock time (in seconds):43.619 50.83/43.73 o -8559 50.83/43.77 c And the winner is solver0 50.91/44.24 c Got one! Elapsed wall clock time (in seconds):44.138 50.91/44.24 o -9478 57.61/47.64 c cleaning 4583 clauses out of 9165 with flag 4001/9165 61.03/49.38 c And the winner is solver0 62.71/50.97 c Got one! Elapsed wall clock time (in seconds):50.861 62.71/50.97 o -9498 76.35/57.79 c And the winner is solver0 76.65/57.99 c Got one! Elapsed wall clock time (in seconds):57.881 76.65/57.99 o -10191 80.06/59.73 c cleaning 5060 clauses out of 10120 with flag 2003/14703 96.69/68.01 c And the winner is solver0 98.23/69.53 c Got one! Elapsed wall clock time (in seconds):69.423 98.23/69.53 o -10203 101.77/71.39 c cleaning 5358 clauses out of 10718 with flag 2002/20361 111.59/76.28 c And the winner is solver0 113.29/77.85 c Got one! Elapsed wall clock time (in seconds):77.747 113.29/77.85 o -10228 120.77/81.66 c And the winner is solver0 121.23/82.02 c Got one! Elapsed wall clock time (in seconds):81.917 121.23/82.02 o -10268 126.18/84.51 c And the winner is solver0 127.79/86.19 c Got one! Elapsed wall clock time (in seconds):86.089 127.79/86.19 o -10394 128.85/86.77 c And the winner is solver0 130.34/88.17 c Got one! Elapsed wall clock time (in seconds):88.059 130.34/88.17 o -10395 130.62/88.31 c And the winner is solver0 132.44/90.14 c Got one! Elapsed wall clock time (in seconds):90.031 132.44/90.14 o -10416 132.57/90.27 c And the winner is solver0 134.52/92.11 c Got one! Elapsed wall clock time (in seconds):92.002 134.52/92.11 o -10428 135.09/92.41 c And the winner is solver0 136.70/94.08 c Got one! Elapsed wall clock time (in seconds):93.974 136.70/94.08 o -10452 136.98/94.26 c And the winner is solver0 138.85/96.05 c Got one! Elapsed wall clock time (in seconds):95.945 138.85/96.05 o -10458 138.95/96.10 c And the winner is solver0 139.00/96.57 c Got one! Elapsed wall clock time (in seconds):96.465 139.00/96.57 o -10464 139.03/96.62 c And the winner is solver0 139.11/97.09 c Got one! Elapsed wall clock time (in seconds):96.984 139.11/97.09 o -10478 139.11/97.13 c And the winner is solver0 139.56/97.70 c Got one! Elapsed wall clock time (in seconds):97.592 139.56/97.70 o -10484 140.15/98.09 c And the winner is solver0 141.82/99.67 c Got one! Elapsed wall clock time (in seconds):99.565 141.82/99.67 o -11238 145.31/101.46 c cleaning 6448 clauses out of 12898 with flag 2001/27899 166.53/112.00 c cleaning 6223 clauses out of 12451 with flag 14003/33900 180.53/119.00 c And the winner is solver0 180.73/119.29 c Got one! Elapsed wall clock time (in seconds):119.188 180.73/119.29 o -11347 184.24/121.09 c cleaning 5694 clauses out of 11389 with flag 2032/39061 204.80/131.38 c And the winner is solver0 206.81/133.27 c Got one! Elapsed wall clock time (in seconds):133.164 206.81/133.27 o -11377 220.71/140.28 c And the winner is solver0 222.40/141.89 c Got one! Elapsed wall clock time (in seconds):141.787 222.40/141.89 o -11415 230.45/145.96 c cleaning 8540 clauses out of 17081 with flag 4060/50447 231.06/146.26 c And the winner is solver0 233.13/148.27 c Got one! Elapsed wall clock time (in seconds):148.163 233.13/148.27 o -11418 236.61/150.09 c And the winner is solver0 236.92/150.29 c Got one! Elapsed wall clock time (in seconds):150.184 236.92/150.29 o -11458 239.18/151.32 c And the winner is solver0 240.30/152.41 c Got one! Elapsed wall clock time (in seconds):152.304 240.30/152.41 o -11464 241.26/152.93 c And the winner is solver0 242.79/154.44 c Got one! Elapsed wall clock time (in seconds):154.33 242.79/154.44 o -11470 243.71/154.96 c And the winner is solver0 245.28/156.46 c Got one! Elapsed wall clock time (in seconds):156.353 245.28/156.46 o -11689 262.97/165.37 c cleaning 7725 clauses out of 15450 with flag 10001/57356 282.98/175.30 c And the winner is solver0 284.29/176.69 c Got one! Elapsed wall clock time (in seconds):176.58 284.29/176.69 o -11739 304.22/186.59 c cleaning 9236 clauses out of 18475 with flag 10044/68106 319.02/193.97 c And the winner is solver0 319.22/194.31 c Got one! Elapsed wall clock time (in seconds):194.208 319.22/194.31 o -11742 327.16/198.35 c cleaning 7513 clauses out of 15030 with flag 4081/73897 329.96/199.71 c And the winner is solver0 331.27/201.04 c Got one! Elapsed wall clock time (in seconds):200.932 331.27/201.04 o -11753 336.78/203.89 c And the winner is solver0 338.64/205.62 c Got one! Elapsed wall clock time (in seconds):205.508 338.64/205.62 o -11754 341.24/207.01 c And the winner is solver0 342.46/208.24 c Got one! Elapsed wall clock time (in seconds):208.132 342.46/208.24 o -11898 344.20/209.13 c And the winner is solver0 345.60/210.51 c Got one! Elapsed wall clock time (in seconds):210.406 345.60/210.51 o -11912 346.74/211.17 c And the winner is solver0 348.42/212.79 c Got one! Elapsed wall clock time (in seconds):212.68 348.42/212.79 o -11921 348.88/213.01 c And the winner is solver0 348.94/213.31 c Got one! Elapsed wall clock time (in seconds):213.202 348.94/213.31 o -11927 348.94/213.36 c And the winner is solver0 349.06/213.83 c Got one! Elapsed wall clock time (in seconds):213.723 349.06/213.83 o -11933 349.57/214.13 c And the winner is solver0 349.69/214.35 c Got one! Elapsed wall clock time (in seconds):214.244 349.69/214.35 o -12151 363.96/221.57 c cleaning 7468 clauses out of 14939 with flag 8002/81319 384.83/231.98 c cleaning 6733 clauses out of 13471 with flag 20002/87319 393.23/236.18 c And the winner is solver0 394.01/236.88 c Got one! Elapsed wall clock time (in seconds):236.772 394.01/236.88 o -12200 405.70/242.78 c cleaning 6032 clauses out of 12068 with flag 6003/92649 408.30/244.08 c And the winner is solver0 410.58/246.20 c Got one! Elapsed wall clock time (in seconds):246.099 410.58/246.20 o -12216 421.74/251.82 c And the winner is solver0 422.98/253.03 c Got one! Elapsed wall clock time (in seconds):252.924 422.98/253.03 o -12230 426.31/254.77 c And the winner is solver0 426.89/255.25 c Got one! Elapsed wall clock time (in seconds):255.146 426.89/255.25 o -12236 428.59/256.18 c And the winner is solver0 429.98/257.48 c Got one! Elapsed wall clock time (in seconds):257.369 429.98/257.48 o -12398 441.55/263.28 c cleaning 6880 clauses out of 13765 with flag 6004/100378 444.75/264.85 c And the winner is solver0 446.22/266.25 c Got one! Elapsed wall clock time (in seconds):266.144 446.22/266.25 o -12408 452.32/269.39 c And the winner is solver0 453.42/270.32 c Got one! Elapsed wall clock time (in seconds):270.217 453.42/270.32 o -12410 454.75/271.05 c And the winner is solver0 456.11/272.40 c Got one! Elapsed wall clock time (in seconds):272.29 456.11/272.40 o -12424 456.58/272.65 c And the winner is solver0 458.44/274.47 c Got one! Elapsed wall clock time (in seconds):274.363 458.44/274.47 o -12429 458.55/274.53 c And the winner is solver0 458.64/274.99 c Got one! Elapsed wall clock time (in seconds):274.884 458.64/274.99 o -12430 459.04/275.22 c And the winner is solver0 460.95/277.11 c Got one! Elapsed wall clock time (in seconds):277.008 460.95/277.11 o -12440 465.09/279.30 c And the winner is solver0 465.34/279.64 c Got one! Elapsed wall clock time (in seconds):279.53 465.34/279.64 o -12475 467.43/280.77 c And the winner is solver0 468.52/281.71 c Got one! Elapsed wall clock time (in seconds):281.602 468.52/281.71 o -12476 468.68/281.84 c And the winner is solver0 468.82/282.23 c Got one! Elapsed wall clock time (in seconds):282.124 468.82/282.23 o -12482 468.93/282.32 c And the winner is solver0 469.06/282.75 c Got one! Elapsed wall clock time (in seconds):282.645 469.06/282.75 o -12492 469.15/282.83 c And the winner is solver0 469.31/283.27 c Got one! Elapsed wall clock time (in seconds):283.167 469.31/283.27 o -12498 469.34/283.30 c And the winner is solver0 469.37/283.79 c Got one! Elapsed wall clock time (in seconds):283.688 469.37/283.79 o -12505 470.95/284.66 c And the winner is solver0 472.22/285.87 c Got one! Elapsed wall clock time (in seconds):285.762 472.22/285.87 o -12683 482.34/290.92 c cleaning 7401 clauses out of 14811 with flag 6001/108304 503.09/301.27 c cleaning 6704 clauses out of 13411 with flag 18003/114305 526.69/313.07 c cleaning 6852 clauses out of 13707 with flag 32003/121305 555.59/327.46 c cleaning 7423 clauses out of 14855 with flag 48003/129305 587.55/343.39 c cleaning 8212 clauses out of 16431 with flag 66001/138304 625.36/362.49 c cleaning 9110 clauses out of 18219 with flag 86001/148304 630.97/365.25 c And the winner is solver0 631.42/365.67 c Got one! Elapsed wall clock time (in seconds):365.564 631.42/365.67 o -13043 645.94/372.95 c cleaning 7322 clauses out of 14650 with flag 8004/153845 667.00/383.43 c cleaning 6664 clauses out of 13328 with flag 20004/159845 692.00/396.00 c cleaning 6831 clauses out of 13664 with flag 34004/166845 721.68/410.75 c cleaning 7413 clauses out of 14832 with flag 50002/174844 729.69/414.74 c And the winner is solver0 729.98/415.20 c Got one! Elapsed wall clock time (in seconds):415.096 729.98/415.20 o -13256 741.64/421.08 c cleaning 6308 clauses out of 12624 with flag 6005/180049 765.04/432.79 c cleaning 6152 clauses out of 12315 with flag 18003/186048 789.31/444.89 c And the winner is solver0 790.71/446.17 c Got one! Elapsed wall clock time (in seconds):446.064 790.71/446.17 o -13264 811.10/456.40 c cleaning 8776 clauses out of 17553 with flag 10102/197438 811.90/456.74 c And the winner is solver0 813.44/458.25 c Got one! Elapsed wall clock time (in seconds):458.14 813.44/458.25 o -13271 824.54/463.83 c And the winner is solver0 826.10/465.32 c Got one! Elapsed wall clock time (in seconds):465.216 826.10/465.32 o -13348 838.99/471.73 c cleaning 7342 clauses out of 14688 with flag 6136/203349 841.60/473.09 c And the winner is solver0 843.59/474.95 c Got one! Elapsed wall clock time (in seconds):474.843 843.59/474.95 o -13422 848.09/477.22 c And the winner is solver0 848.25/477.47 c Got one! Elapsed wall clock time (in seconds):477.366 848.25/477.47 o -13430 849.28/478.05 c And the winner is solver0 851.04/479.75 c Got one! Elapsed wall clock time (in seconds):479.641 851.04/479.75 o -13437 851.34/479.92 c And the winner is solver0 851.52/480.27 c Got one! Elapsed wall clock time (in seconds):480.163 851.52/480.27 o -13441 851.56/480.34 c And the winner is solver0 851.69/480.79 c Got one! Elapsed wall clock time (in seconds):480.686 851.69/480.79 o -13442 851.87/480.94 c And the winner is solver0 852.79/481.68 c Got one! Elapsed wall clock time (in seconds):481.569 852.79/481.68 o -13464 853.08/481.85 c And the winner is solver0 853.32/482.20 c Got one! Elapsed wall clock time (in seconds):482.091 853.32/482.20 o -13465 855.30/483.28 c And the winner is solver0 856.58/484.47 c Got one! Elapsed wall clock time (in seconds):484.365 856.58/484.47 o -13481 861.07/486.73 c And the winner is solver0 861.24/486.99 c Got one! Elapsed wall clock time (in seconds):486.888 861.24/486.99 o -13482 861.24/487.09 c And the winner is solver0 861.47/487.52 c Got one! Elapsed wall clock time (in seconds):487.411 861.47/487.52 o -13494 861.60/487.63 c And the winner is solver0 861.73/488.04 c Got one! Elapsed wall clock time (in seconds):487.933 861.73/488.04 o -13517 862.22/488.31 c And the winner is solver0 862.40/488.56 c Got one! Elapsed wall clock time (in seconds):488.456 862.40/488.56 o -13533 862.66/488.75 c And the winner is solver0 862.91/489.08 c Got one! Elapsed wall clock time (in seconds):488.978 862.91/489.08 o -13540 866.12/490.74 c And the winner is solver0 866.76/491.36 c Got one! Elapsed wall clock time (in seconds):491.251 866.76/491.36 o -14112 876.90/496.47 c cleaning 7554 clauses out of 15113 with flag 6003/211116 897.78/506.85 c cleaning 6778 clauses out of 13558 with flag 18001/217115 922.05/518.91 c cleaning 6884 clauses out of 13781 with flag 32003/224116 949.94/532.80 c cleaning 7446 clauses out of 14896 with flag 48001/232115 981.85/548.75 c cleaning 8221 clauses out of 16450 with flag 66001/241115 1016.41/566.21 c cleaning 9113 clauses out of 18229 with flag 86001/251115 1055.89/585.95 c cleaning 10056 clauses out of 20116 with flag 108001/262115 1099.08/607.61 c cleaning 11030 clauses out of 22061 with flag 132003/274116 1146.72/631.33 c cleaning 12015 clauses out of 24030 with flag 158001/287115 1157.82/636.86 c And the winner is solver0 1158.50/637.49 c Got one! Elapsed wall clock time (in seconds):637.379 1158.50/637.49 o -14187 1166.00/641.22 c cleaning 8538 clauses out of 17080 with flag 4002/292180 1187.50/651.98 c cleaning 7269 clauses out of 14542 with flag 16002/298180 1212.99/664.60 c cleaning 7136 clauses out of 14273 with flag 30002/305180 1241.61/678.84 c cleaning 7563 clauses out of 15137 with flag 46002/313180 1272.92/694.44 c cleaning 8286 clauses out of 16575 with flag 64004/322181 1310.24/713.05 c cleaning 9143 clauses out of 18289 with flag 84004/332181 1350.19/732.90 c And the winner is solver0 1351.81/734.51 c Got one! Elapsed wall clock time (in seconds):734.4 1351.81/734.51 o -14292 1373.20/745.51 c cleaning 12239 clauses out of 24481 with flag 10005/347516 1395.67/756.78 c cleaning 9118 clauses out of 18241 with flag 22003/353515 1408.67/763.22 c And the winner is solver0 1410.11/764.66 c Got one! Elapsed wall clock time (in seconds):764.55 1410.11/764.66 o -14302 1417.79/768.53 c cleaning 7254 clauses out of 14519 with flag 4057/358911 1442.46/780.88 c cleaning 6627 clauses out of 13264 with flag 16181/364910 1447.86/783.58 c And the winner is solver0 1448.94/784.59 c Got one! Elapsed wall clock time (in seconds):784.484 1448.94/784.59 o -14315 1464.87/792.53 c And the winner is solver0 1466.31/793.97 c Got one! Elapsed wall clock time (in seconds):793.864 1466.31/793.97 o -14322 1470.61/796.13 c cleaning 6346 clauses out of 12696 with flag 2121/370969 1472.01/796.82 c And the winner is solver0 1473.64/798.45 c Got one! Elapsed wall clock time (in seconds):798.343 1473.64/798.45 o -14328 1477.74/800.59 c And the winner is solver0 1478.34/801.02 c Got one! Elapsed wall clock time (in seconds):800.918 1478.34/801.02 o -14335 1479.05/801.43 c And the winner is solver0 1479.29/801.65 c Got one! Elapsed wall clock time (in seconds):801.544 1479.29/801.65 o -14363 1498.71/811.32 c cleaning 6409 clauses out of 12824 with flag 10004/377443 1522.71/823.30 c cleaning 6205 clauses out of 12415 with flag 22004/383443 1537.60/830.73 c And the winner is solver0 1539.80/832.90 c Got one! Elapsed wall clock time (in seconds):832.794 1539.80/832.90 o -14405 1547.77/836.96 c cleaning 6036 clauses out of 12073 with flag 4007/389306 1556.37/841.26 c And the winner is solver0 1556.93/841.73 c Got one! Elapsed wall clock time (in seconds):841.622 1556.93/841.73 o -14408 1561.25/843.98 c And the winner is solver0 1561.72/844.30 c Got one! Elapsed wall clock time (in seconds):844.198 1561.72/844.30 o -14410 1565.88/846.43 c And the winner is solver0 1566.66/846.98 c Got one! Elapsed wall clock time (in seconds):846.874 1566.66/846.98 o -14443 1568.75/848.10 c And the winner is solver0 1570.36/849.56 c Got one! Elapsed wall clock time (in seconds):849.451 1570.36/849.56 o -14454 1571.86/850.33 c And the winner is solver0 1573.69/852.14 c Got one! Elapsed wall clock time (in seconds):852.03 1573.69/852.14 o -14464 1574.41/852.52 c And the winner is solver0 1574.64/852.76 c Got one! Elapsed wall clock time (in seconds):852.655 1574.64/852.76 o -14479 1575.12/853.01 c And the winner is solver0 1575.33/853.29 c Got one! Elapsed wall clock time (in seconds):853.18 1575.33/853.29 o -14487 1575.34/853.38 c And the winner is solver0 1575.57/853.81 c Got one! Elapsed wall clock time (in seconds):853.706 1575.57/853.81 o -14488 1575.71/853.98 c And the winner is solver0 1575.98/854.34 c Got one! Elapsed wall clock time (in seconds):854.231 1575.98/854.34 o -14503 1576.09/854.48 c And the winner is solver0 1576.37/854.86 c Got one! Elapsed wall clock time (in seconds):854.756 1576.37/854.86 o -14510 1576.41/854.96 c And the winner is solver0 1576.61/855.39 c Got one! Elapsed wall clock time (in seconds):855.281 1576.61/855.39 o -14511 1576.81/855.55 c And the winner is solver0 1577.01/855.91 c Got one! Elapsed wall clock time (in seconds):855.807 1577.01/855.91 o -14516 1577.86/856.31 c And the winner is solver0 1578.07/856.59 c Got one! Elapsed wall clock time (in seconds):856.482 1578.07/856.59 o -14532 1578.15/856.64 c And the winner is solver0 1578.25/857.11 c Got one! Elapsed wall clock time (in seconds):857.007 1578.25/857.11 o -14539 1580.79/858.47 c And the winner is solver0 1582.08/859.69 c Got one! Elapsed wall clock time (in seconds):859.585 1582.08/859.69 o -14557 1590.54/863.92 c cleaning 7127 clauses out of 14253 with flag 4008/397522 1598.55/867.98 c And the winner is solver0 1599.12/868.47 c Got one! Elapsed wall clock time (in seconds):868.363 1599.12/868.47 o -14559 1603.61/870.70 c And the winner is solver0 1603.92/871.05 c Got one! Elapsed wall clock time (in seconds):870.938 1603.92/871.05 o -14562 1604.24/871.27 c And the winner is solver0 1604.59/871.57 c Got one! Elapsed wall clock time (in seconds):871.464 1604.59/871.57 o -14572 1604.81/871.71 c And the winner is solver0 1604.93/872.09 c Got one! Elapsed wall clock time (in seconds):871.989 1604.93/872.09 o -14575 1605.72/872.45 c And the winner is solver0 1606.00/872.72 c Got one! Elapsed wall clock time (in seconds):872.616 1606.00/872.72 o -14588 1606.00/872.77 c And the winner is solver0 1606.07/873.25 c Got one! Elapsed wall clock time (in seconds):873.141 1606.07/873.25 o -14595 1606.75/873.66 c And the winner is solver0 1607.01/873.87 c Got one! Elapsed wall clock time (in seconds):873.766 1607.01/873.87 o -14605 1607.49/874.14 c And the winner is solver0 1607.74/874.40 c Got one! Elapsed wall clock time (in seconds):874.291 1607.74/874.40 o -14611 1616.11/878.69 c cleaning 6324 clauses out of 12647 with flag 4026/403043 1618.31/879.78 c And the winner is solver0 1619.81/881.13 c Got one! Elapsed wall clock time (in seconds):881.021 1619.81/881.13 o -14895 1636.72/889.67 c cleaning 5916 clauses out of 11847 with flag 10001/408567 1658.20/900.39 c cleaning 5966 clauses out of 11932 with flag 22003/414568 1683.99/913.24 c cleaning 6480 clauses out of 12966 with flag 36003/421568 1714.43/928.35 c cleaning 7241 clauses out of 14486 with flag 52003/429568 1746.79/944.49 c cleaning 8121 clauses out of 16245 with flag 70003/438568 1782.39/962.22 c cleaning 9062 clauses out of 18124 with flag 90003/448568 1800.09/970.91 c >>>>>>>>>> Solver number 0 (139 answers) <<<<<<<<<<<<<<<<<< 1800.09/970.91 c starts : 140 1800.09/970.91 c conflicts : 453504 1800.09/970.91 c decisions : 459521 1800.09/970.91 c propagations : 287221865 1800.09/970.91 c inspects : 1363225074 1800.09/970.91 c shortcuts : 0 1800.09/970.91 c learnt literals : 0 1800.09/970.91 c learnt binary clauses : 0 1800.09/970.91 c learnt ternary clauses : 0 1800.09/970.91 c learnt constraints : 453504 1800.09/970.91 c ignored constraints : 0 1800.09/970.91 c root simplifications : 0 1800.09/970.91 c removed literals (reason simplification) : 588068280 1800.09/970.91 c reason swapping (by a shorter reason) : 0 1800.09/970.91 c Calls to reduceDB : 59 1800.09/970.91 c Number of update (reduction) of LBD : 325 1800.09/970.91 c Imported unit clauses : 0 1800.09/970.91 c number of reductions to clauses (during analyze) : 0 1800.09/970.91 c number of learned constraints concerned by reduction : 0 1800.09/970.91 c number of learning phase by resolution : 0 1800.09/970.91 c number of learning phase by cutting planes : 0 1800.09/970.91 c speed (assignments/second) : 297041.1544424025 1800.09/970.91 c non guided choices 0 1800.09/970.91 c learnt constraints type 1800.09/970.91 c org.sat4j.minisat.constraints.cnf.LearntWLClause => 13998 1800.09/970.91 c >>>>>>>>>> Solver number 1 (0 answers) <<<<<<<<<<<<<<<<<< 1800.09/970.91 c starts : 140 1800.09/970.91 c conflicts : 304 1800.09/970.91 c decisions : 6192 1800.09/970.91 c propagations : 1935982 1800.09/970.91 c inspects : 50484395 1800.09/970.91 c shortcuts : 0 1800.09/970.91 c learnt literals : 0 1800.09/970.91 c learnt binary clauses : 0 1800.09/970.91 c learnt ternary clauses : 0 1800.09/970.91 c learnt constraints : 191 1800.09/970.91 c ignored constraints : 0 1800.09/970.91 c root simplifications : 0 1800.09/970.91 c removed literals (reason simplification) : 0 1800.09/970.91 c reason swapping (by a shorter reason) : 0 1800.09/970.91 c Calls to reduceDB : 0 1800.09/970.91 c Number of update (reduction) of LBD : 0 1800.09/970.91 c Imported unit clauses : 0 1800.09/970.91 c number of reductions to clauses (during analyze) : 0 1800.09/970.91 c number of learned constraints concerned by reduction : 0 1800.09/970.91 c number of learning phase by resolution : 0 1800.09/970.91 c number of learning phase by cutting planes : 0 1800.09/970.91 c speed (assignments/second) : 21568.90750685176 1800.09/970.91 c non guided choices 0 1800.09/970.91 c learnt constraints type 1800.09/970.91 c org.sat4j.pb.constraints.pb.MaxWatchPb => 191 1800.09/970.91 s SATISFIABLE 1800.09/970.91 c Found 139 solution(s) 1800.09/970.91 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 1800.09/970.91 c objective function=-14895 1800.09/970.91 c Total wall clock time (in seconds): 970.806
OK -14895
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-4118127-1467221980/watcher-4118127-1467221980 -o /tmp/evaluation-result-4118127-1467221980/solver-4118127-1467221980 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node137-1467212962-6647 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4118127-1467221980.opb pid=9630 running on 4 cores: 1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.99 3.20 3.34 3/195 9633 /proc/meminfo: memFree=25490420/32872528 swapFree=1499084/1695308 [pid=9633] ppid=9630 vsize=91816 CPUtime=0 cores=1,3,5,7 /proc/9633/stat : 9633 (java) S 9630 9633 5962 0 -1 4202496 1284 0 0 0 0 0 0 0 20 0 2 0 3149275 94019584 917 33554432000 1073741824 1073778376 140734150026240 140734150017376 225448067133 0 0 4096 0 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/9633/statm: 22954 917 697 9 0 16769 0 [pid=9633/tid=9634] ppid=9630 vsize=92900 CPUtime=0 cores=1,3,5,7 /proc/9633/task/9634/stat : 9634 (java) R 9630 9633 5962 0 -1 4202560 64 0 0 0 0 0 0 0 20 0 2 0 3149275 95129600 922 33554432000 1073741824 1073778376 140734150026240 140287195381288 225435488641 0 0 4096 0 0 0 0 -1 1 0 0 0 0 0 [startup+0.100156 s] /proc/loadavg: 2.99 3.20 3.34 3/195 9633 /proc/meminfo: memFree=25490420/32872528 swapFree=1499084/1695308 [pid=9633] ppid=9630 vsize=9558476 CPUtime=0.11 cores=1,3,5,7 /proc/9633/stat : 9633 (java) S 9630 9633 5962 0 -1 4202496 4539 0 1 0 10 1 0 0 20 0 18 0 3149275 9787879424 5655 33554432000 1073741824 1073778376 140734150026240 140734150017376 225448067133 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/9633/statm: 2389619 5655 2156 9 0 2380296 0 [pid=9633/tid=9634] ppid=9630 vsize=9558476 CPUtime=0.07 cores=1,3,5,7 /proc/9633/task/9634/stat : 9634 (java) R 9630 9633 5962 0 -1 4202560 2440 0 1 0 7 0 0 0 20 0 18 0 3149275 9787879424 5655 33554432000 1073741824 1073778376 140734150026240 140287195384736 225448092941 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 0.11 Current children cumulated vsize (KiB) 9558476 [startup+0.200378 s] /proc/loadavg: 2.99 3.20 3.34 3/195 9633 /proc/meminfo: memFree=25490420/32872528 swapFree=1499084/1695308 [pid=9633] ppid=9630 vsize=9558476 CPUtime=0.25 cores=1,3,5,7 /proc/9633/stat : 9633 (java) S 9630 9633 5962 0 -1 4202496 4690 0 1 0 24 1 0 0 20 0 18 0 3149275 9787879424 6792 33554432000 1073741824 1073778376 140734150026240 140734150017376 225448067133 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/9633/statm: 2389619 6792 2218 9 0 2380296 0 [pid=9633/tid=9634] ppid=9630 vsize=9558476 CPUtime=0.17 cores=1,3,5,7 /proc/9633/task/9634/stat : 9634 (java) R 9630 9633 5962 0 -1 4202560 2460 0 1 0 17 0 0 0 20 0 18 0 3149275 9787879424 6792 33554432000 1073741824 1073778376 140734150026240 140287195384736 140287067230135 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 0.25 Current children cumulated vsize (KiB) 9558476 [startup+0.300376 s] /proc/loadavg: 2.99 3.20 3.34 3/195 9633 /proc/meminfo: memFree=25490420/32872528 swapFree=1499084/1695308 [pid=9633] ppid=9630 vsize=9558476 CPUtime=0.51 cores=1,3,5,7 /proc/9633/stat : 9633 (java) S 9630 9633 5962 0 -1 4202496 5762 0 1 0 50 1 0 0 20 0 18 0 3149275 9787879424 8102 33554432000 1073741824 1073778376 140734150026240 140734150017376 225448067133 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/9633/statm: 2389619 8102 2233 9 0 2380296 0 [pid=9633/tid=9634] ppid=9630 vsize=9558476 CPUtime=0.27 cores=1,3,5,7 /proc/9633/task/9634/stat : 9634 (java) R 9630 9633 5962 0 -1 4202560 2463 0 1 0 27 0 0 0 20 0 18 0 3149275 9787879424 8102 33554432000 1073741824 1073778376 140734150026240 140287195384736 140287067244001 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 0.51 Current children cumulated vsize (KiB) 9558476 [startup+0.700371 s] /proc/loadavg: 2.99 3.20 3.34 3/195 9633 /proc/meminfo: memFree=25490420/32872528 swapFree=1499084/1695308 [pid=9633] ppid=9630 vsize=9558476 CPUtime=1.19 cores=1,3,5,7 /proc/9633/stat : 9633 (java) S 9630 9633 5962 0 -1 4202496 9324 0 1 0 117 2 0 0 20 0 18 0 3149275 9787879424 13320 33554432000 1073741824 1073778376 140734150026240 140734150017376 225448067133 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/9633/statm: 2389619 13320 2247 9 0 2380296 0 [pid=9633/tid=9634] ppid=9630 vsize=9558476 CPUtime=0.67 cores=1,3,5,7 /proc/9633/task/9634/stat : 9634 (java) R 9630 9633 5962 0 -1 4202560 2469 0 1 0 66 1 0 0 20 0 18 0 3149275 9787879424 13320 33554432000 1073741824 1073778376 140734150026240 140287195384736 140287067241683 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1.19 Current children cumulated vsize (KiB) 9558476 [startup+1.50074 s] /proc/loadavg: 2.99 3.20 3.34 3/213 9651 /proc/meminfo: memFree=25435488/32872528 swapFree=1499084/1695308 [pid=9633] ppid=9630 vsize=9558476 CPUtime=2.06 cores=1,3,5,7 /proc/9633/stat : 9633 (java) S 9630 9633 5962 0 -1 4202496 9605 0 1 0 204 2 0 0 20 0 18 0 3149275 9787879424 17305 33554432000 1073741824 1073778376 140734150026240 140734150017376 225448067133 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/9633/statm: 2389619 17305 2251 9 0 2380296 0 [pid=9633/tid=9634] ppid=9630 vsize=9558476 CPUtime=1.47 cores=1,3,5,7 /proc/9633/task/9634/stat : 9634 (java) R 9630 9633 5962 0 -1 4202560 2478 0 1 0 146 1 0 0 20 0 18 0 3149275 9787879424 17305 33554432000 1073741824 1073778376 140734150026240 140287195377360 140287067585776 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 [pid=9633/tid=9636] ppid=9630 vsize=9558476 CPUtime=0 cores=1,3,5,7 /proc/9633/task/9636/stat : 9636 (java) S 9630 9633 5962 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 3149276 9787879424 17305 33554432000 1073741824 1073778376 140734150026240 140287039421352 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=9633/tid=9637] ppid=9630 vsize=9558476 CPUtime=0 cores=1,3,5,7 /proc/9633/task/9637/stat : 9637 (java) S 9630 9633 5962 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 3149276 9787879424 17305 33554432000 1073741824 1073778376 140734150026240 140287038368808 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=9633/tid=9638] ppid=9630 vsize=9558476 CPUtime=0 cores=1,3,5,7 /proc/9633/task/9638/stat : 9638 (java) S 9630 9633 5962 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 3149276 9787879424 17305 33554432000 1073741824 1073778376 140734150026240 140287037315752 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=9633/tid=9639] ppid=9630 vsize=9558476 CPUtime=0 cores=1,3,5,7 /proc/9633/task/9639/stat : 9639 (java) S 9630 9633 5962 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 3149276 9787879424 17305 33554432000 1073741824 1073778376 140734150026240 140287036263208 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=9633/tid=9640] ppid=9630 vsize=9558476 CPUtime=0 cores=1,3,5,7 /proc/9633/task/9640/stat : 9640 (java) S 9630 9633 5962 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 3149276 9787879424 17305 33554432000 1073741824 1073778376 140734150026240 140287035210152 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=9633/tid=9641] ppid=9630 vsize=9558476 CPUtime=0 cores=1,3,5,7 /proc/9633/task/9641/stat : 9641 (java) S 9630 9633 5962 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 3149276 9787879424 17305 33554432000 1073741824 1073778376 140734150026240 140287034157608 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=9633/tid=9642] ppid=9630 vsize=9558476 CPUtime=0 cores=1,3,5,7 /proc/9633/task/9642/stat : 9642 (java) S 9630 9633 5962 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 3149276 9787879424 17305 33554432000 1073741824 1073778376 140734150026240 140287033104552 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=9633/tid=9643] ppid=9630 vsize=9558476 CPUtime=0 cores=1,3,5,7 /proc/9633/task/9643/stat : 9643 (java) S 9630 9633 5962 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 18 0 3149276 9787879424 17305 33554432000 1073741824 1073778376 140734150026240 140287032052008 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=9633/tid=9644] ppid=9630 vsize=9558476 CPUtime=0 cores=1,3,5,7 /proc/9633/task/9644/stat : 9644 (java) S 9630 9633 5962 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 18 0 3149277 9787879424 17305 33554432000 1073741824 1073778376 140734150026240 140287019641704 225448081321 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=9633/tid=9645] ppid=9630 vsize=9558476 CPUtime=0 cores=1,3,5,7 /proc/9633/task/9645/stat : 9645 (java) S 9630 9633 5962 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 18 0 3149277 9787879424 17305 33554432000 1073741824 1073778376 140734150026240 140287018588024 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=9633/tid=9646] ppid=9630 vsize=9558476 CPUtime=0 cores=1,3,5,7 /proc/9633/task/9646/stat : 9646 (java) S 9630 9633 5962 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 18 0 3149277 9787879424 17305 33554432000 1073741824 1073778376 140734150026240 140287017534856 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=9633/tid=9647] ppid=9630 vsize=9558476 CPUtime=0 cores=1,3,5,7 /proc/9633/task/9647/stat : 9647 (java) S 9630 9633 5962 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 3149280 9787879424 17305 33554432000 1073741824 1073778376 140734150026240 140287016483600 225448089376 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=9633/tid=9648] ppid=9630 vsize=9558476 CPUtime=0.19 cores=1,3,5,7 /proc/9633/task/9648/stat : 9648 (java) S 9630 9633 5962 0 -1 4202560 1769 0 0 0 19 0 0 0 20 0 18 0 3149280 9787879424 17305 33554432000 1073741824 1073778376 140734150026240 140287015430456 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=9633/tid=9649] ppid=9630 vsize=9558476 CPUtime=0.36 cores=1,3,5,7 /proc/9633/task/9649/stat : 9649 (java) S 9630 9633 5962 0 -1 4202560 4094 0 0 0 36 0 0 0 20 0 18 0 3149280 9787879424 17305 33554432000 1073741824 1073778376 140734150026240 140287014377912 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=9633/tid=9650] ppid=9630 vsize=9558476 CPUtime=0 cores=1,3,5,7 /proc/9633/task/9650/stat : 9650 (java) S 9630 9633 5962 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 3149280 9787879424 17305 33554432000 1073741824 1073778376 140734150026240 140287013325048 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=9633/tid=9651] ppid=9630 vsize=9558476 CPUtime=0 cores=1,3,5,7 /proc/9633/task/9651/stat : 9651 (java) S 9630 9633 5962 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 3149280 9787879424 17305 33554432000 1073741824 1073778376 140734150026240 140287012272712 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 2.06 Current children cumulated vsize (KiB) 9558476 [startup+3.10082 s] /proc/loadavg: 2.99 3.20 3.34 3/213 9651 /proc/meminfo: memFree=25420812/32872528 swapFree=1499084/1695308 [pid=9633] ppid=9630 vsize=9558476 CPUtime=3.8 cores=1,3,5,7 /proc/9633/stat : 9633 (java) S 9630 9633 5962 0 -1 4202496 9670 0 1 0 378 2 0 0 20 0 18 0 3149275 9787879424 21452 33554432000 1073741824 1073778376 140734150026240 140734150017376 225448067133 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/9633/statm: 2389619 21452 2251 9 0 2380296 0 [pid=9633/tid=9634] ppid=9630 vsize=9558476 CPUtime=3.07 cores=1,3,5,7 /proc/9633/task/9634/stat : 9634 (java) R 9630 9633 5962 0 -1 4202560 2488 0 1 0 305 2 0 0 20 0 18 0 3149275 9787879424 21452 33554432000 1073741824 1073778376 140734150026240 140287195383808 140287067585522 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 [pid=9633/tid=9636] ppid=9630 vsize=9558476 CPUtime=0 cores=1,3,5,7 /proc/9633/task/9636/stat : 9636 (java) S 9630 9633 5962 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 3149276 9787879424 21452 33554432000 1073741824 1073778376 140734150026240 140287039421352 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=9633/tid=9637] ppid=9630 vsize=9558476 CPUtime=0 cores=1,3,5,7 /proc/9633/task/9637/stat : 9637 (java) S 9630 9633 5962 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 3149276 9787879424 21452 33554432000 1073741824 1073778376 140734150026240 140287038368808 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=9633/tid=9638] ppid=9630 vsize=9558476 CPUtime=0 cores=1,3,5,7 /proc/9633/task/9638/stat : 9638 (java) S 9630 9633 5962 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 3149276 9787879424 21452 33554432000 1073741824 1073778376 140734150026240 140287037315752 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=9633/tid=9639] ppid=9630 vsize=9558476 CPUtime=0 cores=1,3,5,7 /proc/9633/task/9639/stat : 9639 (java) S 9630 9633 5962 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 3149276 9787879424 21452 33554432000 1073741824 1073778376 140734150026240 140287036263208 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=9633/tid=9640] ppid=9630 vsize=9558476 CPUtime=0 cores=1,3,5,7 /proc/9633/task/9640/stat : 9640 (java) S 9630 9633 5962 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 3149276 9787879424 21452 33554432000 1073741824 1073778376 140734150026240 140287035210152 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=9633/tid=9641] ppid=9630 vsize=9558476 CPUtime=0 cores=1,3,5,7 /proc/9633/task/9641/stat : 9641 (java) S 9630 9633 5962 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 3149276 9787879424 21452 33554432000 1073741824 1073778376 140734150026240 140287034157608 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=9633/tid=9642] ppid=9630 vsize=9558476 CPUtime=0 cores=1,3,5,7 /proc/9633/task/9642/stat : 9642 (java) S 9630 9633 5962 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 3149276 9787879424 21452 33554432000 1073741824 1073778376 140734150026240 140287033104552 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=9633/tid=9643] ppid=9630 vsize=9558476 CPUtime=0 cores=1,3,5,7 /proc/9633/task/9643/stat : 9643 (java) S 9630 9633 5962 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 18 0 3149276 9787879424 21452 33554432000 1073741824 1073778376 140734150026240 140287032052008 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=9633/tid=9644] ppid=9630 vsize=9558476 CPUtime=0 cores=1,3,5,7 /proc/9633/task/9644/stat : 9644 (java) S 9630 9633 5962 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 18 0 3149277 9787879424 21452 33554432000 1073741824 1073778376 140734150026240 140287019641704 225448081321 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=9633/tid=9645] ppid=9630 vsize=9558476 CPUtime=0 cores=1,3,5,7 /proc/9633/task/9645/stat : 9645 (java) S 9630 9633 5962 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 18 0 3149277 9787879424 21452 33554432000 1073741824 1073778376 140734150026240 140287018588024 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=9633/tid=9646] ppid=9630 vsize=9558476 CPUtime=0 cores=1,3,5,7 /proc/9633/task/9646/stat : 9646 (java) S 9630 9633 5962 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 18 0 3149277 9787879424 21452 33554432000 1073741824 1073778376 140734150026240 140287017534856 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=9633/tid=9647] ppid=9630 vsize=9558476 CPUtime=0 cores=1,3,5,7 /proc/9633/task/9647/stat : 9647 (java) S 9630 9633 5962 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 3149280 9787879424 21452 33554432000 1073741824 1073778376 140734150026240 140287016483600 225448089376 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=9633/tid=9648] ppid=9630 vsize=9558476 CPUtime=0.26 cores=1,3,5,7 /proc/9633/task/9648/stat : 9648 (java) S 9630 9633 5962 0 -1 4202560 1817 0 0 0 26 0 0 0 20 0 18 0 3149280 9787879424 21452 33554432000 1073741824 1073778376 140734150026240 140287015430456 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=9633/tid=9649] ppid=9630 vsize=9558476 CPUtime=0.44 cores=1,3,5,7 /proc/9633/task/9649/stat : 9649 (java) S 9630 9633 5962 0 -1 4202560 4101 0 0 0 44 0 0 0 20 0 18 0 3149280 9787879424 21452 33554432000 1073741824 1073778376 140734150026240 140287014377912 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=9633/tid=9650] ppid=9630 vsize=9558476 CPUtime=0 cores=1,3,5,7 /proc/9633/task/9650/stat : 9650 (java) S 9630 9633 5962 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 3149280 9787879424 21452 33554432000 1073741824 1073778376 140734150026240 140287013325048 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=9633/tid=9651] ppid=9630 vsize=9558476 CPUtime=0 cores=1,3,5,7 /proc/9633/task/9651/stat : 9651 (java) S 9630 9633 5962 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 3149280 9787879424 21452 33554432000 1073741824 1073778376 140734150026240 140287012272712 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 3.8 Current children cumulated vsize (KiB) 9558476 [startup+6.30088 s] /proc/loadavg: 2.99 3.19 3.34 3/216 9664 /proc/meminfo: memFree=25360024/32872528 swapFree=1499084/1695308 [pid=9633] ppid=9630 vsize=9824732 CPUtime=6.56 cores=1,3,5,7 /proc/9633/stat : 9633 (java) S 9630 9633 5962 0 -1 4202496 12904 0 1 0 639 17 0 0 20 0 19 0 3149275 10060525568 48302 33554432000 1073741824 1073778376 140734150026240 140734150017376 225448067133 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/9633/statm: 2456183 48302 2285 9 0 2446860 0 [pid=9633/tid=9634] ppid=9630 vsize=9824732 CPUtime=4 cores=1,3,5,7 /proc/9633/task/9634/stat : 9634 (java) S 9630 9633 5962 0 -1 4202560 2520 0 1 0 398 2 0 0 20 0 19 0 3149275 10060525568 48302 33554432000 1073741824 1073778376 140734150026240 140287195386744 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=9633/tid=9636] ppid=9630 vsize=9824732 CPUtime=0.01 cores=1,3,5,7 /proc/9633/task/9636/stat : 9636 (java) S 9630 9633 5962 0 -1 4202560 13 0 0 0 1 0 0 0 20 0 19 0 3149276 10060525568 48302 33554432000 1073741824 1073778376 140734150026240 140287039421352 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=9633/tid=9637] ppid=9630 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/9633/task/9637/stat : 9637 (java) S 9630 9633 5962 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 3149276 10060525568 48302 33554432000 1073741824 1073778376 140734150026240 140287038368808 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=9633/tid=9638] ppid=9630 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/9633/task/9638/stat : 9638 (java) S 9630 9633 5962 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 3149276 10060525568 48302 33554432000 1073741824 1073778376 140734150026240 140287037315752 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=9633/tid=9639] ppid=9630 vsize=9824732 CPUtime=0.01 cores=1,3,5,7 /proc/9633/task/9639/stat : 9639 (java) S 9630 9633 5962 0 -1 4202560 15 0 0 0 1 0 0 0 20 0 19 0 3149276 10060525568 48302 33554432000 1073741824 1073778376 140734150026240 140287036263208 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=9633/tid=9640] ppid=9630 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/9633/task/9640/stat : 9640 (java) S 9630 9633 5962 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 3149276 10060525568 48302 33554432000 1073741824 1073778376 140734150026240 140287035210152 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=9633/tid=9641] ppid=9630 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/9633/task/9641/stat : 9641 (java) S 9630 9633 5962 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 3149276 10060525568 48302 33554432000 1073741824 1073778376 140734150026240 140287034157608 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=9633/tid=9642] ppid=9630 vsize=9824732 CPUtime=0.01 cores=1,3,5,7 /proc/9633/task/9642/stat : 9642 (java) S 9630 9633 5962 0 -1 4202560 9 0 0 0 1 0 0 0 20 0 19 0 3149276 10060525568 48302 33554432000 1073741824 1073778376 140734150026240 140287033104552 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=9633/tid=9643] ppid=9630 vsize=9824732 CPUtime=0.01 cores=1,3,5,7 /proc/9633/task/9643/stat : 9643 (java) S 9630 9633 5962 0 -1 4202560 11 0 0 0 1 0 0 0 20 0 19 0 3149276 10060525568 48302 33554432000 1073741824 1073778376 140734150026240 140287032052008 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=9633/tid=9644] ppid=9630 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/9633/task/9644/stat : 9644 (java) S 9630 9633 5962 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 3149277 10060525568 48302 33554432000 1073741824 1073778376 140734150026240 140287019641704 225448081321 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=9633/tid=9645] ppid=9630 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/9633/task/9645/stat : 9645 (java) S 9630 9633 5962 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 3149277 10060525568 48302 33554432000 1073741824 1073778376 140734150026240 140287018588024 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=9633/tid=9646] ppid=9630 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/9633/task/9646/stat : 9646 (java) S 9630 9633 5962 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 3149277 10060525568 48302 33554432000 1073741824 1073778376 140734150026240 140287017534856 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=9633/tid=9647] ppid=9630 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/9633/task/9647/stat : 9647 (java) S 9630 9633 5962 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3149280 10060525568 48302 33554432000 1073741824 1073778376 140734150026240 140287016483600 225448089376 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=9633/tid=9648] ppid=9630 vsize=9824732 CPUtime=0.71 cores=1,3,5,7 /proc/9633/task/9648/stat : 9648 (java) S 9630 9633 5962 0 -1 4202560 4716 0 0 0 71 0 0 0 20 0 19 0 3149280 10060525568 48302 33554432000 1073741824 1073778376 140734150026240 140287015430456 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=9633/tid=9649] ppid=9630 vsize=9824732 CPUtime=0.91 cores=1,3,5,7 /proc/9633/task/9649/stat : 9649 (java) S 9630 9633 5962 0 -1 4202560 4192 0 0 0 91 0 0 0 20 0 19 0 3149280 10060525568 48302 33554432000 1073741824 1073778376 140734150026240 140287014377912 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=9633/tid=9650] ppid=9630 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/9633/task/9650/stat : 9650 (java) S 9630 9633 5962 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3149280 10060525568 48302 33554432000 1073741824 1073778376 140734150026240 140287013325048 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=9633/tid=9651] ppid=9630 vsize=9824732 CPUtime=0 cores=1,3,5,7 ################ # More data... # ################ [startup+942.301 s] /proc/loadavg: 3.78 3.83 3.70 6/219 10534 /proc/meminfo: memFree=22787532/32872528 swapFree=1499084/1695308 [pid=9633] ppid=9630 vsize=9824732 CPUtime=1742.6 cores=1,3,5,7 /proc/9633/stat : 9633 (java) S 9630 9633 5962 0 -1 4202496 27684 0 1 0 173611 649 0 0 20 0 22 0 3149275 10060525568 831682 33554432000 1073741824 1073778376 140734150026240 140734150017376 225448067133 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/9633/statm: 2456183 831682 2303 9 0 2446860 0 [pid=9633/tid=9634] ppid=9630 vsize=9824732 CPUtime=6.93 cores=1,3,5,7 /proc/9633/task/9634/stat : 9634 (java) S 9630 9633 5962 0 -1 4202560 2575 0 1 0 687 6 0 0 20 0 22 0 3149275 10060525568 831682 33554432000 1073741824 1073778376 140734150026240 140287195386744 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=9633/tid=9636] ppid=9630 vsize=9824732 CPUtime=2.17 cores=1,3,5,7 /proc/9633/task/9636/stat : 9636 (java) S 9630 9633 5962 0 -1 4202560 997 0 0 0 177 40 0 0 20 0 22 0 3149276 10060525568 831682 33554432000 1073741824 1073778376 140734150026240 140287039421352 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=9633/tid=9637] ppid=9630 vsize=9824732 CPUtime=2.04 cores=1,3,5,7 /proc/9633/task/9637/stat : 9637 (java) S 9630 9633 5962 0 -1 4202560 1137 0 0 0 161 43 0 0 20 0 22 0 3149276 10060525568 831682 33554432000 1073741824 1073778376 140734150026240 140287038368808 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=9633/tid=9638] ppid=9630 vsize=9824732 CPUtime=1.87 cores=1,3,5,7 /proc/9633/task/9638/stat : 9638 (java) S 9630 9633 5962 0 -1 4202560 1031 0 0 0 146 41 0 0 20 0 22 0 3149276 10060525568 831682 33554432000 1073741824 1073778376 140734150026240 140287037315752 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=9633/tid=9639] ppid=9630 vsize=9824732 CPUtime=1.93 cores=1,3,5,7 /proc/9633/task/9639/stat : 9639 (java) S 9630 9633 5962 0 -1 4202560 920 0 0 0 154 39 0 0 20 0 22 0 3149276 10060525568 831682 33554432000 1073741824 1073778376 140734150026240 140287036263208 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=9633/tid=9640] ppid=9630 vsize=9824732 CPUtime=1.85 cores=1,3,5,7 /proc/9633/task/9640/stat : 9640 (java) S 9630 9633 5962 0 -1 4202560 1045 0 0 0 144 41 0 0 20 0 22 0 3149276 10060525568 831682 33554432000 1073741824 1073778376 140734150026240 140287035210152 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=9633/tid=9641] ppid=9630 vsize=9824732 CPUtime=2.07 cores=1,3,5,7 /proc/9633/task/9641/stat : 9641 (java) S 9630 9633 5962 0 -1 4202560 1111 0 0 0 165 42 0 0 20 0 22 0 3149276 10060525568 831682 33554432000 1073741824 1073778376 140734150026240 140287034157608 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=9633/tid=9642] ppid=9630 vsize=9824732 CPUtime=1.71 cores=1,3,5,7 /proc/9633/task/9642/stat : 9642 (java) S 9630 9633 5962 0 -1 4202560 883 0 0 0 138 33 0 0 20 0 22 0 3149276 10060525568 831682 33554432000 1073741824 1073778376 140734150026240 140287033104552 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=9633/tid=9643] ppid=9630 vsize=9824732 CPUtime=1.87 cores=1,3,5,7 /proc/9633/task/9643/stat : 9643 (java) S 9630 9633 5962 0 -1 4202560 741 0 0 0 155 32 0 0 20 0 22 0 3149276 10060525568 831682 33554432000 1073741824 1073778376 140734150026240 140287032052008 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=9633/tid=9644] ppid=9630 vsize=9824732 CPUtime=3.95 cores=1,3,5,7 /proc/9633/task/9644/stat : 9644 (java) S 9630 9633 5962 0 -1 4202560 2803 0 0 0 381 14 0 0 20 0 22 0 3149277 10060525568 831682 33554432000 1073741824 1073778376 140734150026240 140287019641704 225448081321 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=9633/tid=9645] ppid=9630 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/9633/task/9645/stat : 9645 (java) S 9630 9633 5962 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 3149277 10060525568 831682 33554432000 1073741824 1073778376 140734150026240 140287018588024 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=9633/tid=9646] ppid=9630 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/9633/task/9646/stat : 9646 (java) S 9630 9633 5962 0 -1 4202560 98 0 0 0 0 0 0 0 20 0 22 0 3149277 10060525568 831682 33554432000 1073741824 1073778376 140734150026240 140287017534856 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=9633/tid=9647] ppid=9630 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/9633/task/9647/stat : 9647 (java) S 9630 9633 5962 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 3149280 10060525568 831682 33554432000 1073741824 1073778376 140734150026240 140287016483600 225448089376 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=9633/tid=9648] ppid=9630 vsize=9824732 CPUtime=1.11 cores=1,3,5,7 /proc/9633/task/9648/stat : 9648 (java) S 9630 9633 5962 0 -1 4202560 5011 0 0 0 111 0 0 0 20 0 22 0 3149280 10060525568 831682 33554432000 1073741824 1073778376 140734150026240 140287015430456 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=9633/tid=9649] ppid=9630 vsize=9824732 CPUtime=1.39 cores=1,3,5,7 /proc/9633/task/9649/stat : 9649 (java) S 9630 9633 5962 0 -1 4202560 4884 0 0 0 139 0 0 0 20 0 22 0 3149280 10060525568 831682 33554432000 1073741824 1073778376 140734150026240 140287014377912 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=9633/tid=9650] ppid=9630 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/9633/task/9650/stat : 9650 (java) S 9630 9633 5962 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 3149280 10060525568 831682 33554432000 1073741824 1073778376 140734150026240 140287013325048 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=9633/tid=9651] ppid=9630 vsize=9824732 CPUtime=0.25 cores=1,3,5,7 /proc/9633/task/9651/stat : 9651 (java) S 9630 9633 5962 0 -1 4202560 56 0 0 0 10 15 0 0 20 0 22 0 3149280 10060525568 831682 33554432000 1073741824 1073778376 140734150026240 140287012272712 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=9633/tid=9658] ppid=9630 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/9633/task/9658/stat : 9658 (java) S 9630 9633 5962 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 3149671 10060525568 831682 33554432000 1073741824 1073778376 140734150026240 140287008011688 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=9633/tid=10480] ppid=9630 vsize=9824732 CPUtime=60.83 cores=1,3,5,7 /proc/9633/task/10480/stat : 10480 (java) R 9630 9633 5962 0 -1 4202560 3 0 0 0 6083 0 0 0 20 0 22 0 3237390 10060525568 831682 33554432000 1073741824 1073778376 140734150026240 140287011167072 140287067927106 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 [pid=9633/tid=10481] ppid=9630 vsize=9824732 CPUtime=60.83 cores=1,3,5,7 /proc/9633/task/10481/stat : 10481 (java) R 9630 9633 5962 0 -1 4202560 9 0 0 0 6083 0 0 0 20 0 22 0 3237390 10060525568 831682 33554432000 1073741824 1073778376 140734150026240 140287009062288 140287068337423 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 [pid=9633/tid=10482] ppid=9630 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/9633/task/10482/stat : 10482 (java) S 9630 9633 5962 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 3237390 10060525568 831682 33554432000 1073741824 1073778376 140734150026240 140287010116648 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 1742.6 Current children cumulated vsize (KiB) 9824732 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+970.901 s] /proc/loadavg: 3.95 3.86 3.72 5/219 10534 /proc/meminfo: memFree=22506804/32872528 swapFree=1499084/1695308 [pid=9633] ppid=9630 vsize=9824732 CPUtime=1800.09 cores=1,3,5,7 /proc/9633/stat : 9633 (java) S 9630 9633 5962 0 -1 4202496 28043 0 1 0 179338 671 0 0 20 0 22 0 3149275 10060525568 878791 33554432000 1073741824 1073778376 140734150026240 140734150017376 225448067133 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/9633/statm: 2456183 878791 2303 9 0 2446860 0 [pid=9633/tid=9634] ppid=9630 vsize=9824732 CPUtime=6.93 cores=1,3,5,7 /proc/9633/task/9634/stat : 9634 (java) S 9630 9633 5962 0 -1 4202560 2575 0 1 0 687 6 0 0 20 0 22 0 3149275 10060525568 878791 33554432000 1073741824 1073778376 140734150026240 140287195386744 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=9633/tid=9636] ppid=9630 vsize=9824732 CPUtime=2.21 cores=1,3,5,7 /proc/9633/task/9636/stat : 9636 (java) S 9630 9633 5962 0 -1 4202560 1021 0 0 0 179 42 0 0 20 0 22 0 3149276 10060525568 878791 33554432000 1073741824 1073778376 140734150026240 140287039421352 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=9633/tid=9637] ppid=9630 vsize=9824732 CPUtime=2.15 cores=1,3,5,7 /proc/9633/task/9637/stat : 9637 (java) S 9630 9633 5962 0 -1 4202560 1210 0 0 0 167 48 0 0 20 0 22 0 3149276 10060525568 878791 33554432000 1073741824 1073778376 140734150026240 140287038368808 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=9633/tid=9638] ppid=9630 vsize=9824732 CPUtime=1.93 cores=1,3,5,7 /proc/9633/task/9638/stat : 9638 (java) S 9630 9633 5962 0 -1 4202560 1069 0 0 0 150 43 0 0 20 0 22 0 3149276 10060525568 878791 33554432000 1073741824 1073778376 140734150026240 140287037315752 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=9633/tid=9639] ppid=9630 vsize=9824732 CPUtime=1.99 cores=1,3,5,7 /proc/9633/task/9639/stat : 9639 (java) S 9630 9633 5962 0 -1 4202560 966 0 0 0 158 41 0 0 20 0 22 0 3149276 10060525568 878791 33554432000 1073741824 1073778376 140734150026240 140287036263208 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=9633/tid=9640] ppid=9630 vsize=9824732 CPUtime=1.88 cores=1,3,5,7 /proc/9633/task/9640/stat : 9640 (java) S 9630 9633 5962 0 -1 4202560 1064 0 0 0 145 43 0 0 20 0 22 0 3149276 10060525568 878791 33554432000 1073741824 1073778376 140734150026240 140287035210152 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=9633/tid=9641] ppid=9630 vsize=9824732 CPUtime=2.15 cores=1,3,5,7 /proc/9633/task/9641/stat : 9641 (java) S 9630 9633 5962 0 -1 4202560 1152 0 0 0 171 44 0 0 20 0 22 0 3149276 10060525568 878791 33554432000 1073741824 1073778376 140734150026240 140287034157608 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=9633/tid=9642] ppid=9630 vsize=9824732 CPUtime=1.86 cores=1,3,5,7 /proc/9633/task/9642/stat : 9642 (java) S 9630 9633 5962 0 -1 4202560 972 0 0 0 148 38 0 0 20 0 22 0 3149276 10060525568 878791 33554432000 1073741824 1073778376 140734150026240 140287033104552 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=9633/tid=9643] ppid=9630 vsize=9824732 CPUtime=1.91 cores=1,3,5,7 /proc/9633/task/9643/stat : 9643 (java) S 9630 9633 5962 0 -1 4202560 762 0 0 0 158 33 0 0 20 0 22 0 3149276 10060525568 878791 33554432000 1073741824 1073778376 140734150026240 140287032052008 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=9633/tid=9644] ppid=9630 vsize=9824732 CPUtime=3.96 cores=1,3,5,7 /proc/9633/task/9644/stat : 9644 (java) S 9630 9633 5962 0 -1 4202560 2805 0 0 0 382 14 0 0 20 0 22 0 3149277 10060525568 878791 33554432000 1073741824 1073778376 140734150026240 140287019641704 225448081321 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=9633/tid=9645] ppid=9630 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/9633/task/9645/stat : 9645 (java) S 9630 9633 5962 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 3149277 10060525568 878791 33554432000 1073741824 1073778376 140734150026240 140287018588024 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=9633/tid=9646] ppid=9630 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/9633/task/9646/stat : 9646 (java) S 9630 9633 5962 0 -1 4202560 98 0 0 0 0 0 0 0 20 0 22 0 3149277 10060525568 878791 33554432000 1073741824 1073778376 140734150026240 140287017534856 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=9633/tid=9647] ppid=9630 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/9633/task/9647/stat : 9647 (java) S 9630 9633 5962 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 3149280 10060525568 878791 33554432000 1073741824 1073778376 140734150026240 140287016483600 225448089376 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=9633/tid=9648] ppid=9630 vsize=9824732 CPUtime=1.11 cores=1,3,5,7 /proc/9633/task/9648/stat : 9648 (java) S 9630 9633 5962 0 -1 4202560 5011 0 0 0 111 0 0 0 20 0 22 0 3149280 10060525568 878791 33554432000 1073741824 1073778376 140734150026240 140287015430456 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=9633/tid=9649] ppid=9630 vsize=9824732 CPUtime=1.4 cores=1,3,5,7 /proc/9633/task/9649/stat : 9649 (java) S 9630 9633 5962 0 -1 4202560 4887 0 0 0 140 0 0 0 20 0 22 0 3149280 10060525568 878791 33554432000 1073741824 1073778376 140734150026240 140287014377912 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=9633/tid=9650] ppid=9630 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/9633/task/9650/stat : 9650 (java) S 9630 9633 5962 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 3149280 10060525568 878791 33554432000 1073741824 1073778376 140734150026240 140287013325048 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=9633/tid=9651] ppid=9630 vsize=9824732 CPUtime=0.26 cores=1,3,5,7 /proc/9633/task/9651/stat : 9651 (java) S 9630 9633 5962 0 -1 4202560 58 0 0 0 11 15 0 0 20 0 22 0 3149280 10060525568 878791 33554432000 1073741824 1073778376 140734150026240 140287012272712 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=9633/tid=9658] ppid=9630 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/9633/task/9658/stat : 9658 (java) S 9630 9633 5962 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 3149671 10060525568 878791 33554432000 1073741824 1073778376 140734150026240 140287008011688 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=9633/tid=10480] ppid=9630 vsize=9824732 CPUtime=89.28 cores=1,3,5,7 /proc/9633/task/10480/stat : 10480 (java) R 9630 9633 5962 0 -1 4202560 4 0 0 0 8927 1 0 0 20 0 22 0 3237390 10060525568 878791 33554432000 1073741824 1073778376 140734150026240 140287011169040 140287068020432 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 [pid=9633/tid=10481] ppid=9630 vsize=9824732 CPUtime=89.27 cores=1,3,5,7 /proc/9633/task/10481/stat : 10481 (java) R 9630 9633 5962 0 -1 4202560 9 0 0 0 8926 1 0 0 20 0 22 0 3237390 10060525568 878791 33554432000 1073741824 1073778376 140734150026240 140287009063832 140287068337483 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 [pid=9633/tid=10482] ppid=9630 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/9633/task/10482/stat : 10482 (java) S 9630 9633 5962 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 3237390 10060525568 878791 33554432000 1073741824 1073778376 140734150026240 140287010116648 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 1800.09 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 9633 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+970.901 s] /proc/loadavg: 3.95 3.86 3.72 5/219 10534 /proc/meminfo: memFree=22506804/32872528 swapFree=1499084/1695308 [pid=9633] ppid=9630 vsize=9824732 CPUtime=1800.09 cores=1,3,5,7 /proc/9633/stat : 9633 (java) S 9630 9633 5962 0 -1 4202496 28043 0 1 0 179338 671 0 0 20 0 22 0 3149275 10060525568 878791 33554432000 1073741824 1073778376 140734150026240 140734150017376 225448067133 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/9633/statm: 2456183 878791 2303 9 0 2446860 0 [pid=9633/tid=9634] ppid=9630 vsize=9824732 CPUtime=6.93 cores=1,3,5,7 /proc/9633/task/9634/stat : 9634 (java) S 9630 9633 5962 0 -1 4202560 2575 0 1 0 687 6 0 0 20 0 22 0 3149275 10060525568 878791 33554432000 1073741824 1073778376 140734150026240 140287195386744 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=9633/tid=9636] ppid=9630 vsize=9824732 CPUtime=2.21 cores=1,3,5,7 /proc/9633/task/9636/stat : 9636 (java) S 9630 9633 5962 0 -1 4202560 1021 0 0 0 179 42 0 0 20 0 22 0 3149276 10060525568 878791 33554432000 1073741824 1073778376 140734150026240 140287039421352 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=9633/tid=9637] ppid=9630 vsize=9824732 CPUtime=2.15 cores=1,3,5,7 /proc/9633/task/9637/stat : 9637 (java) S 9630 9633 5962 0 -1 4202560 1210 0 0 0 167 48 0 0 20 0 22 0 3149276 10060525568 878791 33554432000 1073741824 1073778376 140734150026240 140287038368808 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=9633/tid=9638] ppid=9630 vsize=9824732 CPUtime=1.93 cores=1,3,5,7 /proc/9633/task/9638/stat : 9638 (java) S 9630 9633 5962 0 -1 4202560 1069 0 0 0 150 43 0 0 20 0 22 0 3149276 10060525568 878791 33554432000 1073741824 1073778376 140734150026240 140287037315752 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=9633/tid=9639] ppid=9630 vsize=9824732 CPUtime=1.99 cores=1,3,5,7 /proc/9633/task/9639/stat : 9639 (java) S 9630 9633 5962 0 -1 4202560 966 0 0 0 158 41 0 0 20 0 22 0 3149276 10060525568 878791 33554432000 1073741824 1073778376 140734150026240 140287036263208 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=9633/tid=9640] ppid=9630 vsize=9824732 CPUtime=1.88 cores=1,3,5,7 /proc/9633/task/9640/stat : 9640 (java) S 9630 9633 5962 0 -1 4202560 1064 0 0 0 145 43 0 0 20 0 22 0 3149276 10060525568 878791 33554432000 1073741824 1073778376 140734150026240 140287035210152 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=9633/tid=9641] ppid=9630 vsize=9824732 CPUtime=2.15 cores=1,3,5,7 /proc/9633/task/9641/stat : 9641 (java) S 9630 9633 5962 0 -1 4202560 1152 0 0 0 171 44 0 0 20 0 22 0 3149276 10060525568 878791 33554432000 1073741824 1073778376 140734150026240 140287034157608 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=9633/tid=9642] ppid=9630 vsize=9824732 CPUtime=1.86 cores=1,3,5,7 /proc/9633/task/9642/stat : 9642 (java) S 9630 9633 5962 0 -1 4202560 972 0 0 0 148 38 0 0 20 0 22 0 3149276 10060525568 878791 33554432000 1073741824 1073778376 140734150026240 140287033104552 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=9633/tid=9643] ppid=9630 vsize=9824732 CPUtime=1.91 cores=1,3,5,7 /proc/9633/task/9643/stat : 9643 (java) S 9630 9633 5962 0 -1 4202560 762 0 0 0 158 33 0 0 20 0 22 0 3149276 10060525568 878791 33554432000 1073741824 1073778376 140734150026240 140287032052008 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=9633/tid=9644] ppid=9630 vsize=9824732 CPUtime=3.96 cores=1,3,5,7 /proc/9633/task/9644/stat : 9644 (java) S 9630 9633 5962 0 -1 4202560 2805 0 0 0 382 14 0 0 20 0 22 0 3149277 10060525568 878791 33554432000 1073741824 1073778376 140734150026240 140287019641704 225448081321 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=9633/tid=9645] ppid=9630 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/9633/task/9645/stat : 9645 (java) S 9630 9633 5962 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 3149277 10060525568 878791 33554432000 1073741824 1073778376 140734150026240 140287018588024 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=9633/tid=9646] ppid=9630 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/9633/task/9646/stat : 9646 (java) S 9630 9633 5962 0 -1 4202560 98 0 0 0 0 0 0 0 20 0 22 0 3149277 10060525568 878791 33554432000 1073741824 1073778376 140734150026240 140287017534856 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=9633/tid=9647] ppid=9630 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/9633/task/9647/stat : 9647 (java) S 9630 9633 5962 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 3149280 10060525568 878791 33554432000 1073741824 1073778376 140734150026240 140287016483600 225448089376 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=9633/tid=9648] ppid=9630 vsize=9824732 CPUtime=1.11 cores=1,3,5,7 /proc/9633/task/9648/stat : 9648 (java) S 9630 9633 5962 0 -1 4202560 5011 0 0 0 111 0 0 0 20 0 22 0 3149280 10060525568 878791 33554432000 1073741824 1073778376 140734150026240 140287015430456 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=9633/tid=9649] ppid=9630 vsize=9824732 CPUtime=1.4 cores=1,3,5,7 /proc/9633/task/9649/stat : 9649 (java) S 9630 9633 5962 0 -1 4202560 4887 0 0 0 140 0 0 0 20 0 22 0 3149280 10060525568 878791 33554432000 1073741824 1073778376 140734150026240 140287014377912 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=9633/tid=9650] ppid=9630 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/9633/task/9650/stat : 9650 (java) S 9630 9633 5962 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 3149280 10060525568 878791 33554432000 1073741824 1073778376 140734150026240 140287013325048 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=9633/tid=9651] ppid=9630 vsize=9824732 CPUtime=0.26 cores=1,3,5,7 /proc/9633/task/9651/stat : 9651 (java) S 9630 9633 5962 0 -1 4202560 58 0 0 0 11 15 0 0 20 0 22 0 3149280 10060525568 878791 33554432000 1073741824 1073778376 140734150026240 140287012272712 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=9633/tid=9658] ppid=9630 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/9633/task/9658/stat : 9658 (java) S 9630 9633 5962 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 3149671 10060525568 878791 33554432000 1073741824 1073778376 140734150026240 140287008011688 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=9633/tid=10480] ppid=9630 vsize=9824732 CPUtime=89.28 cores=1,3,5,7 /proc/9633/task/10480/stat : 10480 (java) R 9630 9633 5962 0 -1 4202560 4 0 0 0 8927 1 0 0 20 0 22 0 3237390 10060525568 878791 33554432000 1073741824 1073778376 140734150026240 140287011169040 140287068020432 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 [pid=9633/tid=10481] ppid=9630 vsize=9824732 CPUtime=89.27 cores=1,3,5,7 /proc/9633/task/10481/stat : 10481 (java) R 9630 9633 5962 0 -1 4202560 9 0 0 0 8926 1 0 0 20 0 22 0 3237390 10060525568 878791 33554432000 1073741824 1073778376 140734150026240 140287009063832 140287068337483 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 [pid=9633/tid=10482] ppid=9630 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/9633/task/10482/stat : 10482 (java) S 9630 9633 5962 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 3237390 10060525568 878791 33554432000 1073741824 1073778376 140734150026240 140287010116648 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 1800.09 Current children cumulated vsize (KiB) 9824732 Child status: 143 Real time (s): 970.929 CPU time (s): 1800.36 CPU user time (s): 1793.45 CPU system time (s): 6.91095 CPU usage (%): 185.427 Max. virtual memory (cumulated for all children) (KiB): 9824732 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1793.45 system time used= 6.91095 maximum resident set size= 3515284 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 28085 page faults= 1 swaps= 0 block input operations= 0 block output operations= 1072 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 29689 involuntary context switches= 19409 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 5.8921 second user time and 8.04578 second system time The end
Begin job on node137 at 2016-06-29 19:39:40 IDJOB=4118127 IDBENCH=111457 IDSOLVER=2543 FILE ID=node137/4118127-1467221980 RUNJOBID= node137-1467212962-6647 PBS_JOBID= 19997573 Free space on /tmp= 71692 MiB SOLVER NAME= Sat4j PB 2.3.6 Res+CP PB16 BENCH NAME= PB15eval/normalized-PB15eval/OPT-BIGINT-NLC/minlplib2-pb-0.1.0/opb/normalized-autocorr_bern50-25.opb COMMAND LINE= java -jar sat4j-pb.jar Both BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4118127-1467221980/watcher-4118127-1467221980 -o /tmp/evaluation-result-4118127-1467221980/solver-4118127-1467221980 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node137-1467212962-6647 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4118127-1467221980.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= bc38c022b32687c2e89585edeef8fc31 RANDOM SEED=1150184185 node137.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.265 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.53 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.265 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.265 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.53 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.265 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.265 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.265 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.265 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.54 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.265 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.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32872528 kB MemFree: 25491064 kB Buffers: 97696 kB Cached: 1788524 kB SwapCached: 0 kB Active: 3258176 kB Inactive: 1680556 kB Active(anon): 3055464 kB Inactive(anon): 4 kB Active(file): 202712 kB Inactive(file): 1680552 kB Unevictable: 1695308 kB Mlocked: 1499084 kB SwapTotal: 67108856 kB SwapFree: 67108856 kB Dirty: 924 kB Writeback: 0 kB AnonPages: 4748116 kB Mapped: 22168 kB Shmem: 204 kB Slab: 608940 kB SReclaimable: 52632 kB SUnreclaim: 556308 kB KernelStack: 1584 kB PageTables: 13528 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 4994036 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 3201024 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= 71692 MiB End job on node137 at 2016-06-29 19:55:51