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) | -12385 | 1800.06 | 955.944 |
| Name | PB15eval/normalized-PB15eval/OPT-BIGINT-NLC/ minlplib2-pb-0.1.0/opb/normalized-autocorr_bern45-23.opb |
| MD5SUM | aa888e0812bb7b9f3dc5774c2fb177b8 |
| 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 | -21016 |
| Best CPU time to get the best result obtained on this benchmark | 1800.11 |
| Has Objective Function | YES |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 0 |
| Total number of constraints | 0 |
| Number of constraints which are clauses | 0 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | -1 |
| Maximum length of a constraint | 0 |
| Number of terms in the objective function | 10776 |
| Biggest coefficient in the objective function | 6842 |
| Number of bits for the biggest coefficient in the objective function | 13 |
| Sum of the numbers in the objective function | 1529132 |
| Number of bits of the sum of numbers in the objective function | 21 |
| Biggest number in a constraint | 6842 |
| Number of bits of the biggest number in a constraint | 13 |
| Biggest sum of numbers in a constraint | 1529132 |
| Number of bits of the biggest sum of numbers | 21 |
| Number of products (including duplicates) | 10731 |
| Sum of products size (including duplicates) | 34701 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.03/0.13 c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS 0.03/0.13 c This is free software under the dual EPL/GNU LGPL licenses. 0.03/0.13 c See www.sat4j.org for details. 0.03/0.14 c version PB16.v20160501 0.03/0.14 c java.runtime.name Java(TM) SE Runtime Environment 0.03/0.14 c java.vm.name Java HotSpot(TM) 64-Bit Server VM 0.03/0.14 c java.vm.version 19.1-b02 0.03/0.14 c java.vm.vendor Sun Microsystems Inc. 0.03/0.14 c sun.arch.data.model 64 0.03/0.14 c java.version 1.6.0_24 0.03/0.14 c os.name Linux 0.03/0.14 c os.version 2.6.32-71.29.1.el6.x86_64 0.03/0.14 c os.arch amd64 0.03/0.14 c Free memory 501472288 0.03/0.14 c Max memory 7480803328 0.03/0.14 c Total memory 504102912 0.03/0.14 c Number of processors 16 0.03/0.16 c Pseudo Boolean Optimization by upper bound 0.03/0.16 c ManyCore solver with 2 solvers running in parallel 0.03/0.16 c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<< 0.03/0.16 c --- Begin Solver configuration --- 0.03/0.16 c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@38c5c3ac 0.03/0.16 c Learn all clauses as in MiniSAT 0.03/0.16 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.03/0.16 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.03/0.16 c Expensive reason simplification 0.03/0.16 c Glucose 2.1 dynamic restart strategy 0.03/0.16 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.03/0.16 c timeout=2147483s 0.03/0.16 c DB Simplification allowed=false 0.03/0.16 c Listener: org.sat4j.pb.tools.ManyCorePB@558385e3 0.03/0.16 c --- End Solver configuration --- 0.03/0.16 c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<< 0.03/0.16 c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP) 0.03/0.16 c --- Begin Solver configuration --- 0.03/0.16 c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@2dcb25f1 0.03/0.16 c Learn all clauses as in MiniSAT 0.03/0.16 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.03/0.16 c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function 0.03/0.16 c No reason simplification 0.03/0.16 c Armin Biere (Picosat) restarts strategy 0.03/0.16 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.03/0.16 c timeout=2147483s 0.03/0.16 c DB Simplification allowed=false 0.03/0.16 c Listener: org.sat4j.pb.tools.ManyCorePB@558385e3 0.03/0.16 c --- End Solver configuration --- 0.03/0.16 c solving HOME/instance-4118051-1467219044.opb 0.03/0.16 c reading problem ... 0.03/0.17 c objective function found 2.85/2.39 c ... done. Wall clock time 2.229s. 2.85/2.39 c declared #vars 45 2.85/2.39 c internal #vars 10776 2.85/2.39 c #constraints 21462 2.85/2.40 c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<< 2.85/2.40 c constraints type 2.85/2.40 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 10731 2.85/2.40 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 10731 2.85/2.40 c 21462 constraints processed. 2.85/2.40 c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<< 2.85/2.40 c constraints type 2.85/2.40 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 10731 2.85/2.40 c org.sat4j.pb.constraints.pb.MaxWatchPb => 10731 2.85/2.40 c 21462 constraints processed. 2.85/2.40 c objective function length is 10776 literals 3.80/2.61 c And the winner is solver0 3.84/2.90 c SATISFIABLE 3.84/2.90 c OPTIMIZING... 3.84/2.90 c Got one! Elapsed wall clock time (in seconds):2.74 3.84/2.90 o 0 4.13/3.02 c And the winner is solver0 4.32/3.45 c Got one! Elapsed wall clock time (in seconds):3.284 4.32/3.45 o -231 4.47/3.50 c And the winner is solver0 4.61/3.98 c Got one! Elapsed wall clock time (in seconds):3.814 4.61/3.98 o -462 4.66/4.03 c And the winner is solver0 4.81/4.50 c Got one! Elapsed wall clock time (in seconds):4.336 4.81/4.50 o -863 4.82/4.54 c And the winner is solver0 4.91/5.02 c Got one! Elapsed wall clock time (in seconds):4.854 4.91/5.02 o -1113 4.91/5.06 c And the winner is solver0 5.03/5.54 c Got one! Elapsed wall clock time (in seconds):5.372 5.03/5.54 o -1264 5.03/5.59 c And the winner is solver0 5.32/6.05 c Got one! Elapsed wall clock time (in seconds):5.888 5.32/6.05 o -1782 5.32/6.09 c And the winner is solver0 5.40/6.57 c Got one! Elapsed wall clock time (in seconds):6.402 5.40/6.57 o -1817 5.47/6.62 c And the winner is solver0 5.56/7.08 c Got one! Elapsed wall clock time (in seconds):6.915 5.56/7.08 o -1898 5.58/7.11 c And the winner is solver0 5.66/7.59 c Got one! Elapsed wall clock time (in seconds):7.43 5.66/7.59 o -1970 5.67/7.62 c And the winner is solver0 5.70/8.11 c Got one! Elapsed wall clock time (in seconds):7.944 5.70/8.11 o -2051 5.70/8.13 c And the winner is solver0 5.73/8.62 c Got one! Elapsed wall clock time (in seconds):8.458 5.73/8.62 o -2300 5.73/8.65 c And the winner is solver0 5.83/9.14 c Got one! Elapsed wall clock time (in seconds):8.971 5.83/9.14 o -2890 6.04/9.28 c And the winner is solver0 6.23/9.65 c Got one! Elapsed wall clock time (in seconds):9.486 6.23/9.65 o -3367 6.31/9.76 c And the winner is solver0 6.49/10.16 c Got one! Elapsed wall clock time (in seconds):10.0 6.49/10.16 o -3438 6.55/10.25 c And the winner is solver0 6.67/10.68 c Got one! Elapsed wall clock time (in seconds):10.514 6.67/10.68 o -3459 6.79/10.74 c And the winner is solver0 6.91/11.22 c Got one! Elapsed wall clock time (in seconds):11.052 6.91/11.22 o -3480 6.91/11.25 c And the winner is solver0 6.97/11.73 c Got one! Elapsed wall clock time (in seconds):11.566 6.97/11.73 o -4134 7.92/12.13 c And the winner is solver0 8.82/13.05 c Got one! Elapsed wall clock time (in seconds):12.882 8.82/13.05 o -4384 9.73/13.41 c And the winner is solver0 10.69/14.36 c Got one! Elapsed wall clock time (in seconds):14.199 10.69/14.36 o -4453 11.03/14.59 c And the winner is solver0 12.43/15.68 c Got one! Elapsed wall clock time (in seconds):15.515 12.43/15.68 o -4762 12.73/15.80 c And the winner is solver0 12.75/16.19 c Got one! Elapsed wall clock time (in seconds):16.029 12.75/16.19 o -4788 12.76/16.28 c And the winner is solver0 12.94/16.71 c Got one! Elapsed wall clock time (in seconds):16.543 12.94/16.71 o -5425 14.87/17.69 c And the winner is solver0 15.35/18.02 c Got one! Elapsed wall clock time (in seconds):17.858 15.35/18.02 o -5432 15.70/18.21 c And the winner is solver0 16.83/19.34 c Got one! Elapsed wall clock time (in seconds):19.174 16.83/19.34 o -5459 16.93/19.46 c And the winner is solver0 17.08/19.85 c Got one! Elapsed wall clock time (in seconds):19.687 17.08/19.85 o -5463 17.25/19.97 c And the winner is solver0 17.46/20.37 c Got one! Elapsed wall clock time (in seconds):20.201 17.46/20.37 o -5489 17.46/20.39 c And the winner is solver0 17.52/20.88 c Got one! Elapsed wall clock time (in seconds):20.715 17.52/20.88 o -6160 19.56/21.94 c And the winner is solver0 20.01/22.39 c Got one! Elapsed wall clock time (in seconds):22.229 20.01/22.39 o -6187 22.44/23.63 c And the winner is solver0 22.71/23.91 c Got one! Elapsed wall clock time (in seconds):23.743 22.71/23.91 o -6190 22.99/24.02 c And the winner is solver0 23.08/24.42 c Got one! Elapsed wall clock time (in seconds):24.258 23.08/24.42 o -6847 30.72/28.01 c And the winner is solver0 31.23/28.54 c Got one! Elapsed wall clock time (in seconds):28.374 31.23/28.54 o -6869 32.92/29.40 c And the winner is solver0 33.43/29.95 c Got one! Elapsed wall clock time (in seconds):29.789 33.43/29.95 o -6906 34.58/30.36 c And the winner is solver0 35.75/31.42 c Got one! Elapsed wall clock time (in seconds):31.255 35.75/31.42 o -6937 35.90/31.55 c And the winner is solver0 36.96/32.59 c Got one! Elapsed wall clock time (in seconds):32.421 36.96/32.59 o -6940 37.05/32.69 c And the winner is solver0 38.31/33.80 c Got one! Elapsed wall clock time (in seconds):33.637 38.31/33.80 o -6946 38.31/33.84 c And the winner is solver0 38.39/34.32 c Got one! Elapsed wall clock time (in seconds):34.152 38.39/34.32 o -7601 45.97/38.13 c cleaning 5151 clauses out of 10301 with flag 6001/10301 46.18/38.22 c And the winner is solver0 46.30/38.38 c Got one! Elapsed wall clock time (in seconds):38.217 46.30/38.38 o -7658 51.37/40.93 c And the winner is solver0 51.81/41.40 c Got one! Elapsed wall clock time (in seconds):41.232 51.81/41.40 o -7659 55.61/43.06 c And the winner is solver0 56.67/44.06 c Got one! Elapsed wall clock time (in seconds):43.9 56.67/44.06 o -7690 58.73/45.19 c And the winner is solver0 59.03/45.58 c Got one! Elapsed wall clock time (in seconds):45.415 59.03/45.58 o -7696 59.25/45.75 c And the winner is solver0 59.37/46.09 c Got one! Elapsed wall clock time (in seconds):45.929 59.37/46.09 o -7702 59.59/46.25 c And the winner is solver0 59.68/46.61 c Got one! Elapsed wall clock time (in seconds):46.444 59.68/46.61 o -8179 68.19/50.69 c cleaning 6053 clauses out of 12108 with flag 6001/17259 84.37/58.72 c cleaning 6028 clauses out of 12056 with flag 18003/23260 93.47/62.90 c And the winner is solver0 93.47/63.13 c Got one! Elapsed wall clock time (in seconds):62.961 93.47/63.13 o -8344 96.20/64.55 c And the winner is solver0 96.34/64.64 c Got one! Elapsed wall clock time (in seconds):64.476 96.34/64.64 o -8346 97.63/65.39 c And the winner is solver0 98.33/65.96 c Got one! Elapsed wall clock time (in seconds):65.792 98.33/65.96 o -8348 98.47/66.09 c And the winner is solver0 98.66/66.47 c Got one! Elapsed wall clock time (in seconds):66.308 98.66/66.47 o -8377 98.69/66.52 c And the winner is solver0 98.76/66.99 c Got one! Elapsed wall clock time (in seconds):66.823 98.76/66.99 o -8385 98.77/67.08 c And the winner is solver0 98.98/67.50 c Got one! Elapsed wall clock time (in seconds):67.338 98.98/67.50 o -8409 98.98/67.57 c And the winner is solver0 99.12/68.02 c Got one! Elapsed wall clock time (in seconds):67.853 99.12/68.02 o -8413 99.12/68.07 c And the winner is solver0 99.24/68.53 c Got one! Elapsed wall clock time (in seconds):68.368 99.24/68.53 o -8418 99.24/68.57 c And the winner is solver0 99.33/69.05 c Got one! Elapsed wall clock time (in seconds):68.883 99.33/69.05 o -8456 99.42/69.17 c And the winner is solver0 99.60/69.56 c Got one! Elapsed wall clock time (in seconds):69.398 99.60/69.56 o -8478 99.85/69.70 c And the winner is solver0 99.90/70.08 c Got one! Elapsed wall clock time (in seconds):69.913 99.90/70.08 o -8489 99.92/70.12 c And the winner is solver0 99.99/70.59 c Got one! Elapsed wall clock time (in seconds):70.428 99.99/70.59 o -8492 99.99/70.64 c And the winner is solver0 100.09/71.11 c Got one! Elapsed wall clock time (in seconds):70.944 100.09/71.11 o -8495 101.59/71.68 c And the winner is solver0 102.73/72.73 c Got one! Elapsed wall clock time (in seconds):72.57 102.73/72.73 o -9107 111.07/76.90 c cleaning 6950 clauses out of 13901 with flag 6001/31133 126.94/84.89 c cleaning 6476 clauses out of 12952 with flag 18003/37134 131.72/87.21 c And the winner is solver0 131.72/87.25 c Got one! Elapsed wall clock time (in seconds):87.087 131.72/87.25 o -9282 143.62/92.97 c cleaning 6097 clauses out of 12196 with flag 8004/42854 151.22/96.72 c And the winner is solver0 152.33/97.82 c Got one! Elapsed wall clock time (in seconds):97.656 152.33/97.82 o -9285 160.85/102.11 c cleaning 5897 clauses out of 11794 with flag 6003/48549 169.45/106.43 c And the winner is solver0 170.35/107.39 c Got one! Elapsed wall clock time (in seconds):107.224 170.35/107.39 o -9288 175.61/110.09 c And the winner is solver0 176.06/110.41 c Got one! Elapsed wall clock time (in seconds):110.241 176.06/110.41 o -9957 178.64/111.72 c cleaning 5917 clauses out of 11838 with flag 2001/54490 195.05/119.63 c cleaning 5959 clauses out of 11922 with flag 14003/60491 213.27/128.79 c cleaning 6476 clauses out of 12962 with flag 28001/67490 227.44/135.82 c And the winner is solver0 228.40/136.83 c Got one! Elapsed wall clock time (in seconds):136.662 228.40/136.83 o -10005 242.47/143.94 c cleaning 8430 clauses out of 16865 with flag 10002/77869 260.66/152.58 c cleaning 7218 clauses out of 14435 with flag 22002/83869 279.08/161.79 c And the winner is solver0 279.59/162.25 c Got one! Elapsed wall clock time (in seconds):162.082 279.59/162.25 o -10010 293.23/169.15 c cleaning 9271 clauses out of 18541 with flag 10055/95193 295.63/170.31 c And the winner is solver0 296.42/171.17 c Got one! Elapsed wall clock time (in seconds):171.002 296.42/171.17 o -10027 302.48/174.29 c And the winner is solver0 303.38/175.09 c Got one! Elapsed wall clock time (in seconds):174.921 303.38/175.09 o -10028 310.87/178.65 c And the winner is solver0 311.83/179.57 c Got one! Elapsed wall clock time (in seconds):179.407 311.83/179.57 o -10053 313.51/180.43 c And the winner is solver0 313.91/180.84 c Got one! Elapsed wall clock time (in seconds):180.675 313.91/180.84 o -10054 315.01/181.48 c And the winner is solver0 315.76/182.11 c Got one! Elapsed wall clock time (in seconds):181.942 315.76/182.11 o -10058 315.76/182.14 c And the winner is solver0 315.82/182.62 c Got one! Elapsed wall clock time (in seconds):182.459 315.82/182.62 o -10062 315.82/182.67 c And the winner is solver0 315.95/183.14 c Got one! Elapsed wall clock time (in seconds):182.976 315.95/183.14 o -10063 315.95/183.18 c And the winner is solver0 316.04/183.66 c Got one! Elapsed wall clock time (in seconds):183.494 316.04/183.66 o -10066 316.12/183.76 c And the winner is solver0 316.27/184.18 c Got one! Elapsed wall clock time (in seconds):184.011 316.27/184.18 o -10068 316.30/184.27 c And the winner is solver0 316.49/184.69 c Got one! Elapsed wall clock time (in seconds):184.528 316.49/184.69 o -10071 316.70/184.88 c And the winner is solver0 317.88/185.96 c Got one! Elapsed wall clock time (in seconds):185.797 317.88/185.96 o -10077 319.34/186.79 c And the winner is solver0 319.92/187.23 c Got one! Elapsed wall clock time (in seconds):187.064 319.92/187.23 o -10088 319.92/187.28 c And the winner is solver0 320.04/187.75 c Got one! Elapsed wall clock time (in seconds):187.581 320.04/187.75 o -10108 320.12/187.80 c And the winner is solver0 320.17/188.26 c Got one! Elapsed wall clock time (in seconds):188.098 320.17/188.26 o -10111 320.42/188.45 c And the winner is solver0 321.55/189.53 c Got one! Elapsed wall clock time (in seconds):189.366 321.55/189.53 o -10112 321.55/189.59 c And the winner is solver0 321.70/190.05 c Got one! Elapsed wall clock time (in seconds):189.884 321.70/190.05 o -10115 322.40/190.46 c And the winner is solver0 323.31/191.32 c Got one! Elapsed wall clock time (in seconds):191.151 323.31/191.32 o -10232 331.45/195.45 c cleaning 9520 clauses out of 19043 with flag 6003/104966 347.25/203.32 c cleaning 7758 clauses out of 15522 with flag 18001/110965 366.41/212.84 c cleaning 7382 clauses out of 14765 with flag 32003/117966 388.61/223.92 c cleaning 7687 clauses out of 15382 with flag 48001/125965 413.89/236.46 c cleaning 8347 clauses out of 16696 with flag 66003/134966 440.90/249.98 c cleaning 9173 clauses out of 18348 with flag 86001/144965 458.95/258.84 c And the winner is solver0 459.76/259.74 c Got one! Elapsed wall clock time (in seconds):259.579 459.76/259.74 o -10255 473.75/266.81 c cleaning 10199 clauses out of 20405 with flag 10051/156195 490.96/275.41 c cleaning 8101 clauses out of 16207 with flag 22085/162196 497.56/278.76 c And the winner is solver0 497.89/279.07 c Got one! Elapsed wall clock time (in seconds):278.901 497.89/279.07 o -10274 507.36/283.95 c cleaning 6666 clauses out of 13334 with flag 6005/167424 520.13/290.33 c And the winner is solver0 520.55/290.74 c Got one! Elapsed wall clock time (in seconds):290.572 520.55/290.74 o -10285 523.47/292.26 c cleaning 5978 clauses out of 11962 with flag 2006/172718 526.69/293.89 c And the winner is solver0 527.66/294.76 c Got one! Elapsed wall clock time (in seconds):294.592 527.66/294.76 o -10301 532.73/297.30 c And the winner is solver0 532.85/297.78 c Got one! Elapsed wall clock time (in seconds):297.611 532.85/297.78 o -10315 534.07/298.43 c And the winner is solver0 534.81/299.19 c Got one! Elapsed wall clock time (in seconds):299.03 534.81/299.19 o -10379 541.44/302.45 c And the winner is solver0 542.29/303.26 c Got one! Elapsed wall clock time (in seconds):303.1 542.29/303.26 o -10386 543.19/303.76 c And the winner is solver0 544.34/304.83 c Got one! Elapsed wall clock time (in seconds):304.67 544.34/304.83 o -10391 545.05/305.23 c And the winner is solver0 546.24/306.40 c Got one! Elapsed wall clock time (in seconds):306.24 546.24/306.40 o -10432 547.00/306.87 c And the winner is solver0 548.18/307.92 c Got one! Elapsed wall clock time (in seconds):307.76 548.18/307.92 o -10447 548.18/307.97 c And the winner is solver0 548.32/308.44 c Got one! Elapsed wall clock time (in seconds):308.278 548.32/308.44 o -10457 548.32/308.49 c And the winner is solver0 548.41/308.96 c Got one! Elapsed wall clock time (in seconds):308.797 548.41/308.96 o -10458 548.69/309.17 c And the winner is solver0 548.91/309.48 c Got one! Elapsed wall clock time (in seconds):309.315 548.91/309.48 o -10463 549.33/309.72 c And the winner is solver0 549.49/310.00 c Got one! Elapsed wall clock time (in seconds):309.833 549.49/310.00 o -10478 551.07/310.89 c And the winner is solver0 551.87/311.52 c Got one! Elapsed wall clock time (in seconds):311.353 551.87/311.52 o -10483 551.87/311.57 c And the winner is solver0 552.00/312.04 c Got one! Elapsed wall clock time (in seconds):311.871 552.00/312.04 o -10503 552.50/312.38 c And the winner is solver0 553.80/313.56 c Got one! Elapsed wall clock time (in seconds):313.391 553.80/313.56 o -10507 554.96/314.08 c And the winner is solver0 556.15/315.12 c Got one! Elapsed wall clock time (in seconds):314.96 556.15/315.12 o -10551 559.09/316.61 c cleaning 7080 clauses out of 14172 with flag 2017/180906 576.89/325.51 c cleaning 6545 clauses out of 13091 with flag 14049/186905 598.55/336.25 c cleaning 6774 clauses out of 13547 with flag 28120/193906 601.95/337.92 c And the winner is solver0 603.02/339.05 c Got one! Elapsed wall clock time (in seconds):338.883 603.02/339.05 o -10592 615.04/345.13 c cleaning 5933 clauses out of 11865 with flag 8004/198998 615.24/345.23 c And the winner is solver0 615.96/345.97 c Got one! Elapsed wall clock time (in seconds):345.803 615.96/345.97 o -10598 622.48/349.15 c And the winner is solver0 623.34/349.99 c Got one! Elapsed wall clock time (in seconds):349.823 623.34/349.99 o -10626 624.18/350.43 c And the winner is solver0 625.39/351.61 c Got one! Elapsed wall clock time (in seconds):351.445 625.39/351.61 o -10627 625.55/351.75 c And the winner is solver0 625.77/352.13 c Got one! Elapsed wall clock time (in seconds):351.963 625.77/352.13 o -10635 625.89/352.20 c And the winner is solver0 625.96/352.65 c Got one! Elapsed wall clock time (in seconds):352.482 625.96/352.65 o -10639 625.96/352.68 c And the winner is solver0 626.03/353.17 c Got one! Elapsed wall clock time (in seconds):353.001 626.03/353.17 o -10651 626.09/353.22 c And the winner is solver0 626.15/353.68 c Got one! Elapsed wall clock time (in seconds):353.519 626.15/353.68 o -10652 626.17/353.73 c And the winner is solver0 626.27/354.20 c Got one! Elapsed wall clock time (in seconds):354.038 626.27/354.20 o -10657 626.64/354.44 c And the winner is solver0 626.85/354.72 c Got one! Elapsed wall clock time (in seconds):354.557 626.85/354.72 o -10685 627.58/355.17 c And the winner is solver0 628.87/356.34 c Got one! Elapsed wall clock time (in seconds):356.178 628.87/356.34 o -10692 628.99/356.44 c And the winner is solver0 629.14/356.86 c Got one! Elapsed wall clock time (in seconds):356.696 629.14/356.86 o -10699 629.19/356.92 c And the winner is solver0 629.26/357.38 c Got one! Elapsed wall clock time (in seconds):357.215 629.26/357.38 o -10700 629.28/357.45 c And the winner is solver0 629.44/357.90 c Got one! Elapsed wall clock time (in seconds):357.734 629.44/357.90 o -10701 629.82/358.12 c And the winner is solver0 630.00/358.42 c Got one! Elapsed wall clock time (in seconds):358.252 630.00/358.42 o -10706 630.14/358.58 c And the winner is solver0 630.78/358.93 c Got one! Elapsed wall clock time (in seconds):358.771 630.78/358.93 o -10735 632.31/359.78 c And the winner is solver0 633.18/360.55 c Got one! Elapsed wall clock time (in seconds):360.39 633.18/360.55 o -10749 633.89/360.95 c And the winner is solver0 635.12/362.18 c Got one! Elapsed wall clock time (in seconds):362.012 635.12/362.18 o -10750 635.98/362.67 c And the winner is solver0 637.21/363.80 c Got one! Elapsed wall clock time (in seconds):363.633 637.21/363.80 o -10809 646.38/368.49 c cleaning 6564 clauses out of 13130 with flag 6007/206196 649.78/370.20 c And the winner is solver0 650.67/370.70 c Got one! Elapsed wall clock time (in seconds):370.536 650.67/370.70 o -10856 654.95/372.90 c And the winner is solver0 655.86/373.62 c Got one! Elapsed wall clock time (in seconds):373.456 655.86/373.62 o -10874 656.81/374.15 c And the winner is solver0 657.97/375.24 c Got one! Elapsed wall clock time (in seconds):375.077 657.97/375.24 o -10875 657.97/375.28 c And the winner is solver0 658.06/375.76 c Got one! Elapsed wall clock time (in seconds):375.595 658.06/375.76 o -10881 658.06/375.79 c And the winner is solver0 658.10/376.28 c Got one! Elapsed wall clock time (in seconds):376.114 658.10/376.28 o -10883 658.15/376.31 c And the winner is solver0 658.17/376.80 c Got one! Elapsed wall clock time (in seconds):376.633 658.17/376.80 o -10888 658.17/376.84 c And the winner is solver0 658.27/377.32 c Got one! Elapsed wall clock time (in seconds):377.151 658.27/377.32 o -10889 658.27/377.37 c And the winner is solver0 658.41/377.83 c Got one! Elapsed wall clock time (in seconds):377.67 658.41/377.83 o -10894 658.51/377.92 c And the winner is solver0 658.63/378.35 c Got one! Elapsed wall clock time (in seconds):378.189 658.63/378.35 o -10898 659.30/378.80 c And the winner is solver0 660.60/379.97 c Got one! Elapsed wall clock time (in seconds):379.81 660.60/379.97 o -10938 664.58/381.81 c And the winner is solver0 665.59/382.85 c Got one! Elapsed wall clock time (in seconds):382.681 665.59/382.85 o -10942 668.48/384.37 c And the winner is solver0 668.74/384.86 c Got one! Elapsed wall clock time (in seconds):384.7 668.74/384.86 o -11266 673.98/387.55 c cleaning 6875 clauses out of 13759 with flag 4001/213389 690.95/395.89 c cleaning 6438 clauses out of 12884 with flag 16001/219389 709.47/405.09 c cleaning 6723 clauses out of 13447 with flag 30003/226390 731.16/415.77 c cleaning 7362 clauses out of 14723 with flag 46001/234389 756.33/428.14 c cleaning 8181 clauses out of 16362 with flag 64003/243390 784.63/442.09 c cleaning 9087 clauses out of 18181 with flag 84003/253390 817.46/458.45 c cleaning 10045 clauses out of 20093 with flag 106001/264389 850.63/474.99 c cleaning 11025 clauses out of 22049 with flag 130003/276390 854.43/476.85 c And the winner is solver0 855.53/478.06 c Got one! Elapsed wall clock time (in seconds):477.891 855.53/478.06 o -11270 866.93/483.70 c cleaning 8159 clauses out of 16323 with flag 8003/281689 883.33/491.95 c cleaning 7080 clauses out of 14165 with flag 20005/287690 895.30/497.87 c And the winner is solver0 896.43/498.98 c Got one! Elapsed wall clock time (in seconds):498.815 896.43/498.98 o -11282 899.03/500.34 c cleaning 6190 clauses out of 12388 with flag 2006/292993 915.85/508.66 c cleaning 6099 clauses out of 12197 with flag 14004/298992 916.85/509.16 c And the winner is solver0 917.14/509.50 c Got one! Elapsed wall clock time (in seconds):509.338 917.14/509.50 o -11285 929.85/515.89 c And the winner is solver0 930.43/516.37 c Got one! Elapsed wall clock time (in seconds):516.21 930.43/516.37 o -11291 933.68/518.02 c cleaning 5743 clauses out of 11485 with flag 2006/304379 936.88/519.70 c And the winner is solver0 937.69/520.40 c Got one! Elapsed wall clock time (in seconds):520.232 937.69/520.40 o -11308 941.05/522.05 c And the winner is solver0 942.21/523.17 c Got one! Elapsed wall clock time (in seconds):523.004 942.21/523.17 o -11322 942.26/523.25 c And the winner is solver0 942.42/523.69 c Got one! Elapsed wall clock time (in seconds):523.524 942.42/523.69 o -11337 942.44/523.75 c And the winner is solver0 942.57/524.21 c Got one! Elapsed wall clock time (in seconds):524.044 942.57/524.21 o -11342 942.73/524.40 c And the winner is solver0 943.24/524.78 c Got one! Elapsed wall clock time (in seconds):524.614 943.24/524.78 o -11346 945.89/526.13 c And the winner is solver0 946.12/526.35 c Got one! Elapsed wall clock time (in seconds):526.184 946.12/526.35 o -11481 953.99/530.23 c cleaning 5914 clauses out of 11836 with flag 6002/310473 969.77/538.08 c cleaning 5955 clauses out of 11923 with flag 18004/316474 988.69/547.45 c cleaning 6484 clauses out of 12968 with flag 32004/323474 1010.48/558.27 c cleaning 7239 clauses out of 14484 with flag 48004/331474 1034.95/570.37 c cleaning 8123 clauses out of 16245 with flag 66004/340474 1061.81/583.62 c cleaning 9059 clauses out of 18122 with flag 86004/350474 1076.61/590.88 c And the winner is solver0 1077.42/591.75 c Got one! Elapsed wall clock time (in seconds):591.586 1077.42/591.75 o -11550 1091.61/598.93 c cleaning 9719 clauses out of 19445 with flag 10005/360856 1110.14/608.45 c cleaning 7859 clauses out of 15725 with flag 22003/366855 1119.20/612.95 c And the winner is solver0 1119.94/613.73 c Got one! Elapsed wall clock time (in seconds):613.566 1119.94/613.73 o -11583 1125.85/616.66 c cleaning 6477 clauses out of 12960 with flag 4004/371949 1143.85/625.53 c cleaning 6242 clauses out of 12483 with flag 16004/377949 1145.65/626.46 c And the winner is solver0 1146.59/627.36 c Got one! Elapsed wall clock time (in seconds):627.191 1146.59/627.36 o -11587 1159.84/633.92 c And the winner is solver0 1160.11/634.38 c Got one! Elapsed wall clock time (in seconds):634.212 1160.11/634.38 o -11600 1163.53/636.09 c cleaning 6004 clauses out of 12017 with flag 2034/383725 1170.93/639.79 c And the winner is solver0 1171.28/640.00 c Got one! Elapsed wall clock time (in seconds):639.835 1171.28/640.00 o -11601 1172.78/640.77 c And the winner is solver0 1173.84/641.72 c Got one! Elapsed wall clock time (in seconds):641.557 1173.84/641.72 o -11653 1181.97/645.80 c cleaning 5876 clauses out of 11757 with flag 6004/389469 1199.09/654.27 c cleaning 5938 clauses out of 11881 with flag 18004/395469 1215.27/662.28 c And the winner is solver0 1215.89/662.85 c Got one! Elapsed wall clock time (in seconds):662.681 1215.89/662.85 o -11700 1228.79/669.21 c And the winner is solver0 1230.00/670.47 c Got one! Elapsed wall clock time (in seconds):670.305 1230.00/670.47 o -11703 1234.40/673.05 c cleaning 8259 clauses out of 16518 with flag 2006/406044 1237.80/674.74 c And the winner is solver0 1238.42/675.30 c Got one! Elapsed wall clock time (in seconds):675.139 1238.42/675.30 o -11741 1243.07/677.65 c And the winner is solver0 1243.51/678.02 c Got one! Elapsed wall clock time (in seconds):677.86 1243.51/678.02 o -11743 1243.65/678.19 c And the winner is solver0 1243.95/678.54 c Got one! Elapsed wall clock time (in seconds):678.38 1243.95/678.54 o -11744 1243.95/678.57 c And the winner is solver0 1244.01/679.06 c Got one! Elapsed wall clock time (in seconds):678.9 1244.01/679.06 o -11749 1244.05/679.16 c And the winner is solver0 1244.25/679.59 c Got one! Elapsed wall clock time (in seconds):679.421 1244.25/679.59 o -11753 1245.45/680.28 c And the winner is solver0 1246.70/681.26 c Got one! Elapsed wall clock time (in seconds):681.093 1246.70/681.26 o -11754 1247.00/681.44 c And the winner is solver0 1247.19/681.78 c Got one! Elapsed wall clock time (in seconds):681.613 1247.19/681.78 o -11765 1256.81/686.61 c cleaning 7217 clauses out of 14433 with flag 6008/412218 1261.70/689.09 c And the winner is solver0 1262.08/689.35 c Got one! Elapsed wall clock time (in seconds):689.185 1262.08/689.35 o -11774 1264.74/690.80 c And the winner is solver0 1265.15/691.07 c Got one! Elapsed wall clock time (in seconds):690.906 1265.15/691.07 o -11783 1265.55/691.23 c And the winner is solver0 1265.75/691.59 c Got one! Elapsed wall clock time (in seconds):691.426 1265.75/691.59 o -11784 1265.75/691.64 c And the winner is solver0 1265.88/692.11 c Got one! Elapsed wall clock time (in seconds):691.947 1265.88/692.11 o -11794 1266.03/692.24 c And the winner is solver0 1266.22/692.63 c Got one! Elapsed wall clock time (in seconds):692.467 1266.22/692.63 o -11798 1273.75/696.49 c And the winner is solver0 1274.93/696.84 c Got one! Elapsed wall clock time (in seconds):696.677 1274.93/696.84 o -12264 1279.82/699.39 c cleaning 7093 clauses out of 14199 with flag 4003/419201 1295.23/706.94 c cleaning 6550 clauses out of 13106 with flag 16003/425201 1313.91/716.19 c cleaning 6773 clauses out of 13556 with flag 30003/432201 1335.88/727.03 c cleaning 7389 clauses out of 14782 with flag 46001/440200 1360.27/739.03 c cleaning 8197 clauses out of 16393 with flag 64001/449200 1387.77/752.54 c cleaning 9096 clauses out of 18196 with flag 84001/459200 1418.36/767.33 c cleaning 10048 clauses out of 20100 with flag 106001/470200 1453.70/784.42 c cleaning 11024 clauses out of 22052 with flag 130001/482200 1491.19/803.07 c cleaning 12011 clauses out of 24028 with flag 156001/495200 1533.68/824.39 c cleaning 13007 clauses out of 26018 with flag 184003/509201 1578.81/846.47 c cleaning 14003 clauses out of 28010 with flag 214001/524200 1627.02/870.08 c cleaning 15001 clauses out of 30007 with flag 246001/540200 1681.03/897.14 c cleaning 15999 clauses out of 32006 with flag 280001/557200 1701.85/907.60 c And the winner is solver0 1702.63/908.06 c Got one! Elapsed wall clock time (in seconds):907.9 1702.63/908.06 o -12385 1716.22/914.99 c cleaning 13990 clauses out of 27986 with flag 10004/569179 1733.91/923.45 c cleaning 9992 clauses out of 19995 with flag 22002/575178 1752.73/932.89 c cleaning 8497 clauses out of 17004 with flag 36004/582179 1774.77/943.72 c cleaning 8251 clauses out of 16506 with flag 52002/590178 1800.06/955.91 c >>>>>>>>>> Solver number 0 (161 answers) <<<<<<<<<<<<<<<<<< 1800.06/955.91 c starts : 162 1800.06/955.91 c conflicts : 598865 1800.06/955.91 c decisions : 604958 1800.06/955.91 c propagations : 314311723 1800.06/955.91 c inspects : 1665654218 1800.06/955.91 c shortcuts : 0 1800.06/955.91 c learnt literals : 0 1800.06/955.91 c learnt binary clauses : 0 1800.06/955.91 c learnt ternary clauses : 0 1800.06/955.91 c learnt constraints : 598864 1800.06/955.91 c ignored constraints : 0 1800.06/955.91 c root simplifications : 0 1800.06/955.91 c removed literals (reason simplification) : 540655455 1800.06/955.91 c reason swapping (by a shorter reason) : 0 1800.06/955.91 c Calls to reduceDB : 73 1800.06/955.91 c Number of update (reduction) of LBD : 285 1800.06/955.91 c Imported unit clauses : 0 1800.06/955.91 c number of reductions to clauses (during analyze) : 0 1800.06/955.91 c number of learned constraints concerned by reduction : 0 1800.06/955.91 c number of learning phase by resolution : 0 1800.06/955.91 c number of learning phase by cutting planes : 0 1800.06/955.91 c speed (assignments/second) : 329655.5401146357 1800.06/955.91 c non guided choices 0 1800.06/955.92 c learnt constraints type 1800.06/955.92 c org.sat4j.minisat.constraints.cnf.LearntWLClause => 16942 1800.06/955.92 c >>>>>>>>>> Solver number 1 (0 answers) <<<<<<<<<<<<<<<<<< 1800.06/955.92 c starts : 162 1800.06/955.92 c conflicts : 488 1800.06/955.92 c decisions : 6300 1800.06/955.92 c propagations : 1646307 1800.06/955.92 c inspects : 70685274 1800.06/955.92 c shortcuts : 0 1800.06/955.92 c learnt literals : 0 1800.06/955.92 c learnt binary clauses : 0 1800.06/955.92 c learnt ternary clauses : 0 1800.06/955.92 c learnt constraints : 368 1800.06/955.92 c ignored constraints : 0 1800.06/955.92 c root simplifications : 0 1800.06/955.92 c removed literals (reason simplification) : 0 1800.06/955.92 c reason swapping (by a shorter reason) : 0 1800.06/955.92 c Calls to reduceDB : 0 1800.06/955.92 c Number of update (reduction) of LBD : 0 1800.06/955.92 c Imported unit clauses : 0 1800.06/955.92 c number of reductions to clauses (during analyze) : 0 1800.06/955.92 c number of learned constraints concerned by reduction : 0 1800.06/955.92 c number of learning phase by resolution : 0 1800.06/955.92 c number of learning phase by cutting planes : 0 1800.06/955.92 c speed (assignments/second) : 34414.210460303526 1800.06/955.92 c non guided choices 0 1800.06/955.92 c learnt constraints type 1800.06/955.92 c org.sat4j.pb.constraints.pb.MaxWatchPb => 368 1800.06/955.92 s SATISFIABLE 1800.06/955.92 c Found 161 solution(s) 1800.06/955.92 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 1800.06/955.92 c objective function=-12385 1800.06/955.92 c Total wall clock time (in seconds): 955.759
OK -12385
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-4118051-1467219044/watcher-4118051-1467219044 -o /tmp/evaluation-result-4118051-1467219044/solver-4118051-1467219044 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node132-1467209088-6737 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4118051-1467219044.opb pid=10492 running on 8 cores: 0-3,8-11 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.14 3.60 3.10 4/285 10495 /proc/meminfo: memFree=25200096/32872528 swapFree=8828/8828 [pid=10495] ppid=10492 vsize=2500 CPUtime=0 cores=0-3,8-11 /proc/10495/stat : 10495 (java) D 10492 10495 6721 0 -1 4202496 376 0 0 0 0 0 0 0 20 0 1 0 2857236 2560000 47 33554432000 1073741824 1073778376 140737428483936 140737428481064 216799472935 0 0 4096 0 18446744072100756772 0 0 17 8 0 0 0 0 0 /proc/10495/statm: 625 47 37 9 0 29 0 [startup+0.100117 s] /proc/loadavg: 4.14 3.60 3.10 4/285 10495 /proc/meminfo: memFree=25200096/32872528 swapFree=8828/8828 [pid=10495] ppid=10492 vsize=9563520 CPUtime=0.03 cores=0-3,8-11 /proc/10495/stat : 10495 (java) S 10492 10495 6721 0 -1 4202496 3193 0 1 0 2 1 0 0 20 0 18 0 2857236 9793044480 3813 33554432000 1073741824 1073778376 140737428483936 140737428475072 216811995197 0 0 0 16800971 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/10495/statm: 2390880 3813 1708 9 0 2381581 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 9563520 [startup+0.200321 s] /proc/loadavg: 4.14 3.60 3.10 4/285 10495 /proc/meminfo: memFree=25200096/32872528 swapFree=8828/8828 [pid=10495] ppid=10492 vsize=9896436 CPUtime=0.17 cores=0-3,8-11 /proc/10495/stat : 10495 (java) S 10492 10495 6721 0 -1 4202496 4579 0 1 0 15 2 0 0 20 0 23 0 2857236 10133950464 6685 33554432000 1073741824 1073778376 140737428483936 140737428475072 216811995197 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/10495/statm: 2474109 6685 2175 9 0 2464786 0 Current children cumulated CPU time (s) 0.17 Current children cumulated vsize (KiB) 9896436 [startup+0.300216 s] /proc/loadavg: 4.14 3.60 3.10 4/285 10495 /proc/meminfo: memFree=25200096/32872528 swapFree=8828/8828 [pid=10495] ppid=10492 vsize=9896436 CPUtime=0.37 cores=0-3,8-11 /proc/10495/stat : 10495 (java) S 10492 10495 6721 0 -1 4202496 5182 0 1 0 35 2 0 0 20 0 23 0 2857236 10133950464 7727 33554432000 1073741824 1073778376 140737428483936 140737428475072 216811995197 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/10495/statm: 2474109 7727 2231 9 0 2464786 0 Current children cumulated CPU time (s) 0.37 Current children cumulated vsize (KiB) 9896436 [startup+0.700185 s] /proc/loadavg: 4.14 3.60 3.10 4/285 10495 /proc/meminfo: memFree=25200096/32872528 swapFree=8828/8828 [pid=10495] ppid=10492 vsize=9896436 CPUtime=1.07 cores=0-3,8-11 /proc/10495/stat : 10495 (java) S 10492 10495 6721 0 -1 4202496 6745 0 1 0 105 2 0 0 20 0 23 0 2857236 10133950464 12394 33554432000 1073741824 1073778376 140737428483936 140737428475072 216811995197 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/10495/statm: 2474109 12394 2246 9 0 2464786 0 Current children cumulated CPU time (s) 1.07 Current children cumulated vsize (KiB) 9896436 [startup+1.50093 s] /proc/loadavg: 4.14 3.60 3.10 4/308 10518 /proc/meminfo: memFree=25145304/32872528 swapFree=8828/8828 [pid=10495] ppid=10492 vsize=9896436 CPUtime=2.04 cores=0-3,8-11 /proc/10495/stat : 10495 (java) S 10492 10495 6721 0 -1 4202496 9143 0 1 0 201 3 0 0 20 0 23 0 2857236 10133950464 17207 33554432000 1073741824 1073778376 140737428483936 140737428475072 216811995197 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/10495/statm: 2474109 17207 2251 9 0 2464786 0 [pid=10495/tid=10497] ppid=10492 vsize=9896436 CPUtime=1.42 cores=0-3,8-11 /proc/10495/task/10497/stat : 10497 (java) R 10492 10495 6721 0 -1 4202560 2445 0 1 0 140 2 0 0 20 0 23 0 2857237 10133950464 17207 33554432000 1073741824 1073778376 140737428483936 140601009475280 140600871906329 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 [pid=10495/tid=10498] ppid=10492 vsize=9896436 CPUtime=0 cores=0-3,8-11 /proc/10495/task/10498/stat : 10498 (java) S 10492 10495 6721 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 23 0 2857239 10133950464 17207 33554432000 1073741824 1073778376 140737428483936 140600998545576 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=10495/tid=10499] ppid=10492 vsize=9896436 CPUtime=0 cores=0-3,8-11 /proc/10495/task/10499/stat : 10499 (java) S 10492 10495 6721 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 23 0 2857239 10133950464 17207 33554432000 1073741824 1073778376 140737428483936 140600997493032 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=10495/tid=10500] ppid=10492 vsize=9896436 CPUtime=0 cores=0-3,8-11 /proc/10495/task/10500/stat : 10500 (java) S 10492 10495 6721 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 23 0 2857239 10133950464 17207 33554432000 1073741824 1073778376 140737428483936 140600996440488 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=10495/tid=10501] ppid=10492 vsize=9896436 CPUtime=0 cores=0-3,8-11 /proc/10495/task/10501/stat : 10501 (java) S 10492 10495 6721 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 23 0 2857239 10133950464 17207 33554432000 1073741824 1073778376 140737428483936 140600995387944 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=10495/tid=10502] ppid=10492 vsize=9896436 CPUtime=0 cores=0-3,8-11 /proc/10495/task/10502/stat : 10502 (java) S 10492 10495 6721 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 23 0 2857239 10133950464 17207 33554432000 1073741824 1073778376 140737428483936 140600994335400 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=10495/tid=10503] ppid=10492 vsize=9896436 CPUtime=0 cores=0-3,8-11 /proc/10495/task/10503/stat : 10503 (java) S 10492 10495 6721 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 23 0 2857239 10133950464 17207 33554432000 1073741824 1073778376 140737428483936 140600993282856 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=10495/tid=10504] ppid=10492 vsize=9896436 CPUtime=0 cores=0-3,8-11 /proc/10495/task/10504/stat : 10504 (java) S 10492 10495 6721 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 23 0 2857239 10133950464 17207 33554432000 1073741824 1073778376 140737428483936 140600992230312 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=10495/tid=10505] ppid=10492 vsize=9896436 CPUtime=0 cores=0-3,8-11 /proc/10495/task/10505/stat : 10505 (java) S 10492 10495 6721 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 23 0 2857239 10133950464 17207 33554432000 1073741824 1073778376 140737428483936 140600991177768 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 11 0 0 0 0 0 [pid=10495/tid=10506] ppid=10492 vsize=9896436 CPUtime=0 cores=0-3,8-11 /proc/10495/task/10506/stat : 10506 (java) S 10492 10495 6721 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 23 0 2857239 10133950464 17207 33554432000 1073741824 1073778376 140737428483936 140600990124200 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 8 0 0 0 0 0 [pid=10495/tid=10507] ppid=10492 vsize=9896436 CPUtime=0 cores=0-3,8-11 /proc/10495/task/10507/stat : 10507 (java) S 10492 10495 6721 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 23 0 2857239 10133950464 17207 33554432000 1073741824 1073778376 140737428483936 140600843909416 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 9 0 0 0 0 0 [pid=10495/tid=10508] ppid=10492 vsize=9896436 CPUtime=0 cores=0-3,8-11 /proc/10495/task/10508/stat : 10508 (java) S 10492 10495 6721 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 23 0 2857239 10133950464 17207 33554432000 1073741824 1073778376 140737428483936 140600842856872 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 10 0 0 0 0 0 [pid=10495/tid=10509] ppid=10492 vsize=9896436 CPUtime=0 cores=0-3,8-11 /proc/10495/task/10509/stat : 10509 (java) S 10492 10495 6721 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 23 0 2857239 10133950464 17207 33554432000 1073741824 1073778376 140737428483936 140600841804328 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=10495/tid=10510] ppid=10492 vsize=9896436 CPUtime=0 cores=0-3,8-11 /proc/10495/task/10510/stat : 10510 (java) S 10492 10495 6721 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 23 0 2857239 10133950464 17207 33554432000 1073741824 1073778376 140737428483936 140600840751784 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=10495/tid=10511] ppid=10492 vsize=9896436 CPUtime=0 cores=0-3,8-11 /proc/10495/task/10511/stat : 10511 (java) S 10492 10495 6721 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 23 0 2857240 10133950464 17207 33554432000 1073741824 1073778376 140737428483936 140600823077608 216812009385 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=10495/tid=10512] ppid=10492 vsize=9896436 CPUtime=0 cores=0-3,8-11 /proc/10495/task/10512/stat : 10512 (java) S 10492 10495 6721 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 23 0 2857240 10133950464 17207 33554432000 1073741824 1073778376 140737428483936 140600822023928 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 11 0 0 0 0 0 [pid=10495/tid=10513] ppid=10492 vsize=9896436 CPUtime=0 cores=0-3,8-11 /proc/10495/task/10513/stat : 10513 (java) S 10492 10495 6721 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 23 0 2857240 10133950464 17207 33554432000 1073741824 1073778376 140737428483936 140600820971272 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 11 0 0 0 0 0 [pid=10495/tid=10514] ppid=10492 vsize=9896436 CPUtime=0 cores=0-3,8-11 /proc/10495/task/10514/stat : 10514 (java) S 10492 10495 6721 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 23 0 2857246 10133950464 17207 33554432000 1073741824 1073778376 140737428483936 140600819918992 216812017440 0 4 0 16800975 18446744071579510697 0 0 -1 11 0 0 0 0 0 [pid=10495/tid=10515] ppid=10492 vsize=9896436 CPUtime=0.19 cores=0-3,8-11 /proc/10495/task/10515/stat : 10515 (java) S 10492 10495 6721 0 -1 4202560 1723 0 0 0 19 0 0 0 20 0 23 0 2857246 10133950464 17207 33554432000 1073741824 1073778376 140737428483936 140600818866360 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 11 0 0 0 0 0 [pid=10495/tid=10516] ppid=10492 vsize=9896436 CPUtime=0.37 cores=0-3,8-11 /proc/10495/task/10516/stat : 10516 (java) S 10492 10495 6721 0 -1 4202560 3697 0 0 0 37 0 0 0 20 0 23 0 2857246 10133950464 17207 33554432000 1073741824 1073778376 140737428483936 140600817813816 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 8 0 0 0 0 0 [pid=10495/tid=10517] ppid=10492 vsize=9896436 CPUtime=0 cores=0-3,8-11 /proc/10495/task/10517/stat : 10517 (java) S 10492 10495 6721 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 23 0 2857246 10133950464 17207 33554432000 1073741824 1073778376 140737428483936 140600816761464 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 8 0 0 0 0 0 [pid=10495/tid=10518] ppid=10492 vsize=9896436 CPUtime=0 cores=0-3,8-11 /proc/10495/task/10518/stat : 10518 (java) S 10492 10495 6721 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 23 0 2857246 10133950464 17207 33554432000 1073741824 1073778376 140737428483936 140600815709128 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 2.04 Current children cumulated vsize (KiB) 9896436 [startup+3.10097 s] /proc/loadavg: 4.14 3.60 3.10 4/308 10518 /proc/meminfo: memFree=25129728/32872528 swapFree=8828/8828 [pid=10495] ppid=10492 vsize=10162692 CPUtime=4.32 cores=0-3,8-11 /proc/10495/stat : 10495 (java) S 10492 10495 6721 0 -1 4202496 11016 0 1 0 425 7 0 0 20 0 24 0 2857236 10406596608 25513 33554432000 1073741824 1073778376 140737428483936 140737428475072 216811995197 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/10495/statm: 2540673 25513 2271 9 0 2531350 0 [pid=10495/tid=10497] ppid=10492 vsize=10162692 CPUtime=2.37 cores=0-3,8-11 /proc/10495/task/10497/stat : 10497 (java) S 10492 10495 6721 0 -1 4202560 2467 0 1 0 235 2 0 0 20 0 24 0 2857237 10406596608 25513 33554432000 1073741824 1073778376 140737428483936 140601009484664 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=10495/tid=10498] ppid=10492 vsize=10162692 CPUtime=0 cores=0-3,8-11 /proc/10495/task/10498/stat : 10498 (java) S 10492 10495 6721 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 2857239 10406596608 25513 33554432000 1073741824 1073778376 140737428483936 140600998545576 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=10495/tid=10499] ppid=10492 vsize=10162692 CPUtime=0 cores=0-3,8-11 /proc/10495/task/10499/stat : 10499 (java) S 10492 10495 6721 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 2857239 10406596608 25513 33554432000 1073741824 1073778376 140737428483936 140600997493032 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=10495/tid=10500] ppid=10492 vsize=10162692 CPUtime=0 cores=0-3,8-11 /proc/10495/task/10500/stat : 10500 (java) S 10492 10495 6721 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 2857239 10406596608 25513 33554432000 1073741824 1073778376 140737428483936 140600996440488 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=10495/tid=10501] ppid=10492 vsize=10162692 CPUtime=0 cores=0-3,8-11 /proc/10495/task/10501/stat : 10501 (java) S 10492 10495 6721 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 2857239 10406596608 25513 33554432000 1073741824 1073778376 140737428483936 140600995387944 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=10495/tid=10502] ppid=10492 vsize=10162692 CPUtime=0 cores=0-3,8-11 /proc/10495/task/10502/stat : 10502 (java) S 10492 10495 6721 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 2857239 10406596608 25513 33554432000 1073741824 1073778376 140737428483936 140600994335400 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=10495/tid=10503] ppid=10492 vsize=10162692 CPUtime=0 cores=0-3,8-11 /proc/10495/task/10503/stat : 10503 (java) S 10492 10495 6721 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 2857239 10406596608 25513 33554432000 1073741824 1073778376 140737428483936 140600993282856 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=10495/tid=10504] ppid=10492 vsize=10162692 CPUtime=0 cores=0-3,8-11 /proc/10495/task/10504/stat : 10504 (java) S 10492 10495 6721 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 2857239 10406596608 25513 33554432000 1073741824 1073778376 140737428483936 140600992230312 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=10495/tid=10505] ppid=10492 vsize=10162692 CPUtime=0 cores=0-3,8-11 /proc/10495/task/10505/stat : 10505 (java) S 10492 10495 6721 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 24 0 2857239 10406596608 25513 33554432000 1073741824 1073778376 140737428483936 140600991177768 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 11 0 0 0 0 0 [pid=10495/tid=10506] ppid=10492 vsize=10162692 CPUtime=0 cores=0-3,8-11 /proc/10495/task/10506/stat : 10506 (java) S 10492 10495 6721 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 24 0 2857239 10406596608 25513 33554432000 1073741824 1073778376 140737428483936 140600990124200 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 8 0 0 0 0 0 [pid=10495/tid=10507] ppid=10492 vsize=10162692 CPUtime=0 cores=0-3,8-11 /proc/10495/task/10507/stat : 10507 (java) S 10492 10495 6721 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 24 0 2857239 10406596608 25513 33554432000 1073741824 1073778376 140737428483936 140600843909416 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 9 0 0 0 0 0 [pid=10495/tid=10508] ppid=10492 vsize=10162692 CPUtime=0 cores=0-3,8-11 /proc/10495/task/10508/stat : 10508 (java) S 10492 10495 6721 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 24 0 2857239 10406596608 25513 33554432000 1073741824 1073778376 140737428483936 140600842856872 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 10 0 0 0 0 0 [pid=10495/tid=10509] ppid=10492 vsize=10162692 CPUtime=0 cores=0-3,8-11 /proc/10495/task/10509/stat : 10509 (java) S 10492 10495 6721 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 24 0 2857239 10406596608 25513 33554432000 1073741824 1073778376 140737428483936 140600841804328 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=10495/tid=10510] ppid=10492 vsize=10162692 CPUtime=0 cores=0-3,8-11 /proc/10495/task/10510/stat : 10510 (java) S 10492 10495 6721 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 24 0 2857239 10406596608 25513 33554432000 1073741824 1073778376 140737428483936 140600840751784 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=10495/tid=10511] ppid=10492 vsize=10162692 CPUtime=0 cores=0-3,8-11 /proc/10495/task/10511/stat : 10511 (java) S 10492 10495 6721 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 24 0 2857240 10406596608 25513 33554432000 1073741824 1073778376 140737428483936 140600823077608 216812009385 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=10495/tid=10512] ppid=10492 vsize=10162692 CPUtime=0 cores=0-3,8-11 /proc/10495/task/10512/stat : 10512 (java) S 10492 10495 6721 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 24 0 2857240 10406596608 25513 33554432000 1073741824 1073778376 140737428483936 140600822023928 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 11 0 0 0 0 0 [pid=10495/tid=10513] ppid=10492 vsize=10162692 CPUtime=0 cores=0-3,8-11 /proc/10495/task/10513/stat : 10513 (java) S 10492 10495 6721 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 24 0 2857240 10406596608 25513 33554432000 1073741824 1073778376 140737428483936 140600820971272 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 11 0 0 0 0 0 [pid=10495/tid=10514] ppid=10492 vsize=10162692 CPUtime=0 cores=0-3,8-11 /proc/10495/task/10514/stat : 10514 (java) S 10492 10495 6721 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 2857246 10406596608 25513 33554432000 1073741824 1073778376 140737428483936 140600819918992 216812017440 0 4 0 16800975 18446744071579510697 0 0 -1 11 0 0 0 0 0 [pid=10495/tid=10515] ppid=10492 vsize=10162692 CPUtime=0.57 cores=0-3,8-11 /proc/10495/task/10515/stat : 10515 (java) S 10492 10495 6721 0 -1 4202560 3478 0 0 0 56 1 0 0 20 0 24 0 2857246 10406596608 25513 33554432000 1073741824 1073778376 140737428483936 140600818866360 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=10495/tid=10516] ppid=10492 vsize=10162692 CPUtime=0.74 cores=0-3,8-11 /proc/10495/task/10516/stat : 10516 (java) S 10492 10495 6721 0 -1 4202560 3712 0 0 0 74 0 0 0 20 0 24 0 2857246 10406596608 25513 33554432000 1073741824 1073778376 140737428483936 140600817813816 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 8 0 0 0 0 0 [pid=10495/tid=10517] ppid=10492 vsize=10162692 CPUtime=0 cores=0-3,8-11 /proc/10495/task/10517/stat : 10517 (java) S 10492 10495 6721 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 2857246 10406596608 25513 33554432000 1073741824 1073778376 140737428483936 140600816761464 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 8 0 0 0 0 0 [pid=10495/tid=10518] ppid=10492 vsize=10162692 CPUtime=0 cores=0-3,8-11 /proc/10495/task/10518/stat : 10518 (java) S 10492 10495 6721 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 2857246 10406596608 25513 33554432000 1073741824 1073778376 140737428483936 140600815709128 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 4.32 Current children cumulated vsize (KiB) 10162692 [startup+6.301 s] /proc/loadavg: 3.97 3.57 3.10 3/309 10537 /proc/meminfo: memFree=25048388/32872528 swapFree=8828/8828 [pid=10495] ppid=10492 vsize=10162692 CPUtime=5.4 cores=0-3,8-11 /proc/10495/stat : 10495 (java) S 10492 10495 6721 0 -1 4202496 12048 0 1 0 510 30 0 0 20 0 24 0 2857236 10406596608 46997 33554432000 1073741824 1073778376 140737428483936 140737428475072 216811995197 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/10495/statm: 2540673 46997 2290 9 0 2531350 0 [pid=10495/tid=10497] ppid=10492 vsize=10162692 CPUtime=2.48 cores=0-3,8-11 /proc/10495/task/10497/stat : 10497 (java) S 10492 10495 6721 0 -1 4202560 2484 0 1 0 246 2 0 0 20 0 24 0 2857237 10406596608 46997 33554432000 1073741824 1073778376 140737428483936 140601009484664 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=10495/tid=10498] ppid=10492 vsize=10162692 CPUtime=0 cores=0-3,8-11 /proc/10495/task/10498/stat : 10498 (java) S 10492 10495 6721 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 24 0 2857239 10406596608 46997 33554432000 1073741824 1073778376 140737428483936 140600998545576 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 9 0 0 0 0 0 [pid=10495/tid=10499] ppid=10492 vsize=10162692 CPUtime=0.02 cores=0-3,8-11 /proc/10495/task/10499/stat : 10499 (java) S 10492 10495 6721 0 -1 4202560 16 0 0 0 0 2 0 0 20 0 24 0 2857239 10406596608 46997 33554432000 1073741824 1073778376 140737428483936 140600997493032 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=10495/tid=10500] ppid=10492 vsize=10162692 CPUtime=0.02 cores=0-3,8-11 /proc/10495/task/10500/stat : 10500 (java) S 10492 10495 6721 0 -1 4202560 17 0 0 0 0 2 0 0 20 0 24 0 2857239 10406596608 46997 33554432000 1073741824 1073778376 140737428483936 140600996440488 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=10495/tid=10501] ppid=10492 vsize=10162692 CPUtime=0 cores=0-3,8-11 /proc/10495/task/10501/stat : 10501 (java) S 10492 10495 6721 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 24 0 2857239 10406596608 46997 33554432000 1073741824 1073778376 140737428483936 140600995387944 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=10495/tid=10502] ppid=10492 vsize=10162692 CPUtime=0 cores=0-3,8-11 /proc/10495/task/10502/stat : 10502 (java) S 10492 10495 6721 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 24 0 2857239 10406596608 46997 33554432000 1073741824 1073778376 140737428483936 140600994335400 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=10495/tid=10503] ppid=10492 vsize=10162692 CPUtime=0 cores=0-3,8-11 /proc/10495/task/10503/stat : 10503 (java) S 10492 10495 6721 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 24 0 2857239 10406596608 46997 33554432000 1073741824 1073778376 140737428483936 140600993282856 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 8 0 0 0 0 0 [pid=10495/tid=10504] ppid=10492 vsize=10162692 CPUtime=0 cores=0-3,8-11 /proc/10495/task/10504/stat : 10504 (java) S 10492 10495 6721 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 24 0 2857239 10406596608 46997 33554432000 1073741824 1073778376 140737428483936 140600992230312 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 10 0 0 0 0 0 [pid=10495/tid=10505] ppid=10492 vsize=10162692 CPUtime=0.01 cores=0-3,8-11 /proc/10495/task/10505/stat : 10505 (java) S 10492 10495 6721 0 -1 4202560 14 0 0 0 0 1 0 0 20 0 24 0 2857239 10406596608 46997 33554432000 1073741824 1073778376 140737428483936 140600991177768 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 8 0 0 0 0 0 [pid=10495/tid=10506] ppid=10492 vsize=10162692 CPUtime=0 cores=0-3,8-11 /proc/10495/task/10506/stat : 10506 (java) S 10492 10495 6721 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 24 0 2857239 10406596608 46997 33554432000 1073741824 1073778376 140737428483936 140600990124200 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 8 0 0 0 0 0 [pid=10495/tid=10507] ppid=10492 vsize=10162692 CPUtime=0 cores=0-3,8-11 /proc/10495/task/10507/stat : 10507 (java) S 10492 10495 6721 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 24 0 2857239 10406596608 46997 33554432000 1073741824 1073778376 140737428483936 140600843909416 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 9 0 0 0 0 0 [pid=10495/tid=10508] ppid=10492 vsize=10162692 CPUtime=0 cores=0-3,8-11 ################ # More data... # ################ /proc/10495/task/11172/stat : 11172 (java) R 10492 10495 6721 0 -1 4202560 4 0 0 0 3395 0 0 0 20 0 27 0 2948045 10406596608 702822 33554432000 1073741824 1073778376 140737428483936 140600813502976 140600872689850 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 [pid=10495/tid=11173] ppid=10492 vsize=10162692 CPUtime=33.94 cores=0-3,8-11 /proc/10495/task/11173/stat : 11173 (java) R 10492 10495 6721 0 -1 4202560 4 0 0 0 3394 0 0 0 20 0 27 0 2948045 10406596608 702822 33554432000 1073741824 1073778376 140737428483936 140600814554432 140600872120029 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 [pid=10495/tid=11174] ppid=10492 vsize=10162692 CPUtime=0 cores=0-3,8-11 /proc/10495/task/11174/stat : 11174 (java) S 10492 10495 6721 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 27 0 2948045 10406596608 702822 33554432000 1073741824 1073778376 140737428483936 140600812450984 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 8 0 0 0 0 0 Current children cumulated CPU time (s) 1770.91 Current children cumulated vsize (KiB) 10162692 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+955.901 s] /proc/loadavg: 3.99 4.03 3.69 5/311 11176 /proc/meminfo: memFree=22208184/32872528 swapFree=8828/8828 [pid=10495] ppid=10492 vsize=10162692 CPUtime=1799 cores=0-3,8-11 /proc/10495/stat : 10495 (java) S 10492 10495 6721 0 -1 4202496 54983 0 1 0 178297 1603 0 0 20 0 27 0 2857236 10406596608 737141 33554432000 1073741824 1073778376 140737428483936 140737428475072 216811995197 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/10495/statm: 2540673 737141 2304 9 0 2531350 0 [pid=10495/tid=10497] ppid=10492 vsize=10162692 CPUtime=5.14 cores=0-3,8-11 /proc/10495/task/10497/stat : 10497 (java) S 10492 10495 6721 0 -1 4202560 2513 0 1 0 509 5 0 0 20 0 27 0 2857237 10406596608 737141 33554432000 1073741824 1073778376 140737428483936 140601009484664 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=10495/tid=10498] ppid=10492 vsize=10162692 CPUtime=2.84 cores=0-3,8-11 /proc/10495/task/10498/stat : 10498 (java) S 10492 10495 6721 0 -1 4202560 2370 0 0 0 203 81 0 0 20 0 27 0 2857239 10406596608 737141 33554432000 1073741824 1073778376 140737428483936 140600998545576 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=10495/tid=10499] ppid=10492 vsize=10162692 CPUtime=3.06 cores=0-3,8-11 /proc/10495/task/10499/stat : 10499 (java) S 10492 10495 6721 0 -1 4202560 2462 0 0 0 203 103 0 0 20 0 27 0 2857239 10406596608 737141 33554432000 1073741824 1073778376 140737428483936 140600997493032 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 8 0 0 0 0 0 [pid=10495/tid=10500] ppid=10492 vsize=10162692 CPUtime=3.23 cores=0-3,8-11 /proc/10495/task/10500/stat : 10500 (java) S 10492 10495 6721 0 -1 4202560 2513 0 0 0 214 109 0 0 20 0 27 0 2857239 10406596608 737141 33554432000 1073741824 1073778376 140737428483936 140600996440488 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=10495/tid=10501] ppid=10492 vsize=10162692 CPUtime=2.71 cores=0-3,8-11 /proc/10495/task/10501/stat : 10501 (java) S 10492 10495 6721 0 -1 4202560 1625 0 0 0 188 83 0 0 20 0 27 0 2857239 10406596608 737141 33554432000 1073741824 1073778376 140737428483936 140600995387944 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 11 0 0 0 0 0 [pid=10495/tid=10502] ppid=10492 vsize=10162692 CPUtime=2.93 cores=0-3,8-11 /proc/10495/task/10502/stat : 10502 (java) S 10492 10495 6721 0 -1 4202560 1917 0 0 0 199 94 0 0 20 0 27 0 2857239 10406596608 737141 33554432000 1073741824 1073778376 140737428483936 140600994335400 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=10495/tid=10503] ppid=10492 vsize=10162692 CPUtime=2.99 cores=0-3,8-11 /proc/10495/task/10503/stat : 10503 (java) S 10492 10495 6721 0 -1 4202560 2881 0 0 0 204 95 0 0 20 0 27 0 2857239 10406596608 737141 33554432000 1073741824 1073778376 140737428483936 140600993282856 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=10495/tid=10504] ppid=10492 vsize=10162692 CPUtime=3.02 cores=0-3,8-11 /proc/10495/task/10504/stat : 10504 (java) S 10492 10495 6721 0 -1 4202560 1459 0 0 0 209 93 0 0 20 0 27 0 2857239 10406596608 737141 33554432000 1073741824 1073778376 140737428483936 140600992230312 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 8 0 0 0 0 0 [pid=10495/tid=10505] ppid=10492 vsize=10162692 CPUtime=2.93 cores=0-3,8-11 /proc/10495/task/10505/stat : 10505 (java) S 10492 10495 6721 0 -1 4202560 4390 0 0 0 199 94 0 0 20 0 27 0 2857239 10406596608 737141 33554432000 1073741824 1073778376 140737428483936 140600991177768 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 9 0 0 0 0 0 [pid=10495/tid=10506] ppid=10492 vsize=10162692 CPUtime=2.78 cores=0-3,8-11 /proc/10495/task/10506/stat : 10506 (java) S 10492 10495 6721 0 -1 4202560 3453 0 0 0 193 85 0 0 20 0 27 0 2857239 10406596608 737141 33554432000 1073741824 1073778376 140737428483936 140600990124200 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 8 0 0 0 0 0 [pid=10495/tid=10507] ppid=10492 vsize=10162692 CPUtime=3.18 cores=0-3,8-11 /proc/10495/task/10507/stat : 10507 (java) S 10492 10495 6721 0 -1 4202560 2580 0 0 0 212 106 0 0 20 0 27 0 2857239 10406596608 737141 33554432000 1073741824 1073778376 140737428483936 140600843909416 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=10495/tid=10508] ppid=10492 vsize=10162692 CPUtime=2.96 cores=0-3,8-11 /proc/10495/task/10508/stat : 10508 (java) S 10492 10495 6721 0 -1 4202560 2072 0 0 0 207 89 0 0 20 0 27 0 2857239 10406596608 737141 33554432000 1073741824 1073778376 140737428483936 140600842856872 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=10495/tid=10509] ppid=10492 vsize=10162692 CPUtime=3.07 cores=0-3,8-11 /proc/10495/task/10509/stat : 10509 (java) S 10492 10495 6721 0 -1 4202560 2777 0 0 0 214 93 0 0 20 0 27 0 2857239 10406596608 737141 33554432000 1073741824 1073778376 140737428483936 140600841804328 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=10495/tid=10510] ppid=10492 vsize=10162692 CPUtime=3.01 cores=0-3,8-11 /proc/10495/task/10510/stat : 10510 (java) S 10492 10495 6721 0 -1 4202560 3360 0 0 0 203 98 0 0 20 0 27 0 2857239 10406596608 737141 33554432000 1073741824 1073778376 140737428483936 140600840751784 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 8 0 0 0 0 0 [pid=10495/tid=10511] ppid=10492 vsize=10162692 CPUtime=5.97 cores=0-3,8-11 /proc/10495/task/10511/stat : 10511 (java) S 10492 10495 6721 0 -1 4202560 2856 0 0 0 591 6 0 0 20 0 27 0 2857240 10406596608 737141 33554432000 1073741824 1073778376 140737428483936 140600823077608 216812009385 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=10495/tid=10512] ppid=10492 vsize=10162692 CPUtime=0 cores=0-3,8-11 /proc/10495/task/10512/stat : 10512 (java) S 10492 10495 6721 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 27 0 2857240 10406596608 737141 33554432000 1073741824 1073778376 140737428483936 140600822023928 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=10495/tid=10513] ppid=10492 vsize=10162692 CPUtime=0 cores=0-3,8-11 /proc/10495/task/10513/stat : 10513 (java) S 10492 10495 6721 0 -1 4202560 101 0 0 0 0 0 0 0 20 0 27 0 2857240 10406596608 737141 33554432000 1073741824 1073778376 140737428483936 140600820971272 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=10495/tid=10514] ppid=10492 vsize=10162692 CPUtime=0 cores=0-3,8-11 /proc/10495/task/10514/stat : 10514 (java) S 10492 10495 6721 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 27 0 2857246 10406596608 737141 33554432000 1073741824 1073778376 140737428483936 140600819918992 216812017440 0 4 0 16800975 18446744071579510697 0 0 -1 11 0 0 0 0 0 [pid=10495/tid=10515] ppid=10492 vsize=10162692 CPUtime=1.2 cores=0-3,8-11 /proc/10495/task/10515/stat : 10515 (java) S 10492 10495 6721 0 -1 4202560 6248 0 0 0 119 1 0 0 20 0 27 0 2857246 10406596608 737141 33554432000 1073741824 1073778376 140737428483936 140600818866360 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=10495/tid=10516] ppid=10492 vsize=10162692 CPUtime=1.58 cores=0-3,8-11 /proc/10495/task/10516/stat : 10516 (java) S 10492 10495 6721 0 -1 4202560 5516 0 0 0 158 0 0 0 20 0 27 0 2857246 10406596608 737141 33554432000 1073741824 1073778376 140737428483936 140600817813816 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=10495/tid=10517] ppid=10492 vsize=10162692 CPUtime=0 cores=0-3,8-11 /proc/10495/task/10517/stat : 10517 (java) S 10492 10495 6721 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 27 0 2857246 10406596608 737141 33554432000 1073741824 1073778376 140737428483936 140600816761464 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 8 0 0 0 0 0 [pid=10495/tid=10518] ppid=10492 vsize=10162692 CPUtime=0.25 cores=0-3,8-11 /proc/10495/task/10518/stat : 10518 (java) S 10492 10495 6721 0 -1 4202560 55 0 0 0 11 14 0 0 20 0 27 0 2857246 10406596608 737141 33554432000 1073741824 1073778376 140737428483936 140600815709128 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=10495/tid=10522] ppid=10492 vsize=10162692 CPUtime=0 cores=0-3,8-11 /proc/10495/task/10522/stat : 10522 (java) S 10492 10495 6721 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 27 0 2857482 10406596608 737141 33554432000 1073741824 1073778376 140737428483936 140600811397928 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=10495/tid=11172] ppid=10492 vsize=10162692 CPUtime=47.38 cores=0-3,8-11 /proc/10495/task/11172/stat : 11172 (java) R 10492 10495 6721 0 -1 4202560 5 0 0 0 4738 0 0 0 20 0 27 0 2948045 10406596608 737141 33554432000 1073741824 1073778376 140737428483936 140600813502864 140600872125408 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 [pid=10495/tid=11173] ppid=10492 vsize=10162692 CPUtime=47.37 cores=0-3,8-11 /proc/10495/task/11173/stat : 11173 (java) R 10492 10495 6721 0 -1 4202560 4 0 0 0 4737 0 0 0 20 0 27 0 2948045 10406596608 737141 33554432000 1073741824 1073778376 140737428483936 140600814554096 140600872539490 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 [pid=10495/tid=11174] ppid=10492 vsize=10162692 CPUtime=0 cores=0-3,8-11 /proc/10495/task/11174/stat : 11174 (java) S 10492 10495 6721 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 27 0 2948045 10406596608 737141 33554432000 1073741824 1073778376 140737428483936 140600812450984 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 8 0 0 0 0 0 Current children cumulated CPU time (s) 1799 Current children cumulated vsize (KiB) 10162692 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 10495 sig 9 ??? kill -10495 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+955.901 s] /proc/loadavg: 3.99 4.03 3.69 5/311 11176 /proc/meminfo: memFree=22208184/32872528 swapFree=8828/8828 [pid=10495] ppid=10492 vsize=10162692 CPUtime=1799 cores=0-3,8-11 /proc/10495/stat : 10495 (java) S 10492 10495 6721 0 -1 4202496 54983 0 1 0 178297 1603 0 0 20 0 27 0 2857236 10406596608 737141 33554432000 1073741824 1073778376 140737428483936 140737428475072 216811995197 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/10495/statm: 2540673 737141 2304 9 0 2531350 0 [pid=10495/tid=10497] ppid=10492 vsize=10162692 CPUtime=5.14 cores=0-3,8-11 /proc/10495/task/10497/stat : 10497 (java) S 10492 10495 6721 0 -1 4202560 2513 0 1 0 509 5 0 0 20 0 27 0 2857237 10406596608 737141 33554432000 1073741824 1073778376 140737428483936 140601009484664 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=10495/tid=10498] ppid=10492 vsize=10162692 CPUtime=2.84 cores=0-3,8-11 /proc/10495/task/10498/stat : 10498 (java) S 10492 10495 6721 0 -1 4202560 2370 0 0 0 203 81 0 0 20 0 27 0 2857239 10406596608 737141 33554432000 1073741824 1073778376 140737428483936 140600998545576 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=10495/tid=10499] ppid=10492 vsize=10162692 CPUtime=3.06 cores=0-3,8-11 /proc/10495/task/10499/stat : 10499 (java) S 10492 10495 6721 0 -1 4202560 2462 0 0 0 203 103 0 0 20 0 27 0 2857239 10406596608 737141 33554432000 1073741824 1073778376 140737428483936 140600997493032 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 8 0 0 0 0 0 [pid=10495/tid=10500] ppid=10492 vsize=10162692 CPUtime=3.23 cores=0-3,8-11 /proc/10495/task/10500/stat : 10500 (java) S 10492 10495 6721 0 -1 4202560 2513 0 0 0 214 109 0 0 20 0 27 0 2857239 10406596608 737141 33554432000 1073741824 1073778376 140737428483936 140600996440488 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=10495/tid=10501] ppid=10492 vsize=10162692 CPUtime=2.71 cores=0-3,8-11 /proc/10495/task/10501/stat : 10501 (java) S 10492 10495 6721 0 -1 4202560 1625 0 0 0 188 83 0 0 20 0 27 0 2857239 10406596608 737141 33554432000 1073741824 1073778376 140737428483936 140600995387944 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 11 0 0 0 0 0 [pid=10495/tid=10502] ppid=10492 vsize=10162692 CPUtime=2.93 cores=0-3,8-11 /proc/10495/task/10502/stat : 10502 (java) S 10492 10495 6721 0 -1 4202560 1917 0 0 0 199 94 0 0 20 0 27 0 2857239 10406596608 737141 33554432000 1073741824 1073778376 140737428483936 140600994335400 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=10495/tid=10503] ppid=10492 vsize=10162692 CPUtime=2.99 cores=0-3,8-11 /proc/10495/task/10503/stat : 10503 (java) S 10492 10495 6721 0 -1 4202560 2881 0 0 0 204 95 0 0 20 0 27 0 2857239 10406596608 737141 33554432000 1073741824 1073778376 140737428483936 140600993282856 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=10495/tid=10504] ppid=10492 vsize=10162692 CPUtime=3.02 cores=0-3,8-11 /proc/10495/task/10504/stat : 10504 (java) S 10492 10495 6721 0 -1 4202560 1459 0 0 0 209 93 0 0 20 0 27 0 2857239 10406596608 737141 33554432000 1073741824 1073778376 140737428483936 140600992230312 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 8 0 0 0 0 0 [pid=10495/tid=10505] ppid=10492 vsize=10162692 CPUtime=2.93 cores=0-3,8-11 /proc/10495/task/10505/stat : 10505 (java) S 10492 10495 6721 0 -1 4202560 4390 0 0 0 199 94 0 0 20 0 27 0 2857239 10406596608 737141 33554432000 1073741824 1073778376 140737428483936 140600991177768 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 9 0 0 0 0 0 [pid=10495/tid=10506] ppid=10492 vsize=10162692 CPUtime=2.78 cores=0-3,8-11 /proc/10495/task/10506/stat : 10506 (java) S 10492 10495 6721 0 -1 4202560 3453 0 0 0 193 85 0 0 20 0 27 0 2857239 10406596608 737141 33554432000 1073741824 1073778376 140737428483936 140600990124200 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 8 0 0 0 0 0 [pid=10495/tid=10507] ppid=10492 vsize=10162692 CPUtime=3.18 cores=0-3,8-11 /proc/10495/task/10507/stat : 10507 (java) S 10492 10495 6721 0 -1 4202560 2580 0 0 0 212 106 0 0 20 0 27 0 2857239 10406596608 737141 33554432000 1073741824 1073778376 140737428483936 140600843909416 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=10495/tid=10508] ppid=10492 vsize=10162692 CPUtime=2.96 cores=0-3,8-11 /proc/10495/task/10508/stat : 10508 (java) S 10492 10495 6721 0 -1 4202560 2072 0 0 0 207 89 0 0 20 0 27 0 2857239 10406596608 737141 33554432000 1073741824 1073778376 140737428483936 140600842856872 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=10495/tid=10509] ppid=10492 vsize=10162692 CPUtime=3.07 cores=0-3,8-11 /proc/10495/task/10509/stat : 10509 (java) S 10492 10495 6721 0 -1 4202560 2777 0 0 0 214 93 0 0 20 0 27 0 2857239 10406596608 737141 33554432000 1073741824 1073778376 140737428483936 140600841804328 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=10495/tid=10510] ppid=10492 vsize=10162692 CPUtime=3.01 cores=0-3,8-11 /proc/10495/task/10510/stat : 10510 (java) S 10492 10495 6721 0 -1 4202560 3360 0 0 0 203 98 0 0 20 0 27 0 2857239 10406596608 737141 33554432000 1073741824 1073778376 140737428483936 140600840751784 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 8 0 0 0 0 0 [pid=10495/tid=10511] ppid=10492 vsize=10162692 CPUtime=5.97 cores=0-3,8-11 /proc/10495/task/10511/stat : 10511 (java) S 10492 10495 6721 0 -1 4202560 2856 0 0 0 591 6 0 0 20 0 27 0 2857240 10406596608 737141 33554432000 1073741824 1073778376 140737428483936 140600823077608 216812009385 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=10495/tid=10512] ppid=10492 vsize=10162692 CPUtime=0 cores=0-3,8-11 /proc/10495/task/10512/stat : 10512 (java) S 10492 10495 6721 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 27 0 2857240 10406596608 737141 33554432000 1073741824 1073778376 140737428483936 140600822023928 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=10495/tid=10513] ppid=10492 vsize=10162692 CPUtime=0 cores=0-3,8-11 /proc/10495/task/10513/stat : 10513 (java) S 10492 10495 6721 0 -1 4202560 101 0 0 0 0 0 0 0 20 0 27 0 2857240 10406596608 737141 33554432000 1073741824 1073778376 140737428483936 140600820971272 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=10495/tid=10514] ppid=10492 vsize=10162692 CPUtime=0 cores=0-3,8-11 /proc/10495/task/10514/stat : 10514 (java) S 10492 10495 6721 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 27 0 2857246 10406596608 737141 33554432000 1073741824 1073778376 140737428483936 140600819918992 216812017440 0 4 0 16800975 18446744071579510697 0 0 -1 11 0 0 0 0 0 [pid=10495/tid=10515] ppid=10492 vsize=10162692 CPUtime=1.2 cores=0-3,8-11 /proc/10495/task/10515/stat : 10515 (java) S 10492 10495 6721 0 -1 4202560 6248 0 0 0 119 1 0 0 20 0 27 0 2857246 10406596608 737141 33554432000 1073741824 1073778376 140737428483936 140600818866360 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=10495/tid=10516] ppid=10492 vsize=10162692 CPUtime=1.58 cores=0-3,8-11 /proc/10495/task/10516/stat : 10516 (java) S 10492 10495 6721 0 -1 4202560 5516 0 0 0 158 0 0 0 20 0 27 0 2857246 10406596608 737141 33554432000 1073741824 1073778376 140737428483936 140600817813816 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=10495/tid=10517] ppid=10492 vsize=10162692 CPUtime=0 cores=0-3,8-11 /proc/10495/task/10517/stat : 10517 (java) S 10492 10495 6721 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 27 0 2857246 10406596608 737141 33554432000 1073741824 1073778376 140737428483936 140600816761464 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 8 0 0 0 0 0 [pid=10495/tid=10518] ppid=10492 vsize=10162692 CPUtime=0.25 cores=0-3,8-11 /proc/10495/task/10518/stat : 10518 (java) S 10492 10495 6721 0 -1 4202560 55 0 0 0 11 14 0 0 20 0 27 0 2857246 10406596608 737141 33554432000 1073741824 1073778376 140737428483936 140600815709128 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=10495/tid=10522] ppid=10492 vsize=10162692 CPUtime=0 cores=0-3,8-11 /proc/10495/task/10522/stat : 10522 (java) S 10492 10495 6721 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 27 0 2857482 10406596608 737141 33554432000 1073741824 1073778376 140737428483936 140600811397928 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=10495/tid=11172] ppid=10492 vsize=10162692 CPUtime=47.38 cores=0-3,8-11 /proc/10495/task/11172/stat : 11172 (java) R 10492 10495 6721 0 -1 4202560 5 0 0 0 4738 0 0 0 20 0 27 0 2948045 10406596608 737141 33554432000 1073741824 1073778376 140737428483936 140600813502864 140600872125408 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 [pid=10495/tid=11173] ppid=10492 vsize=10162692 CPUtime=47.37 cores=0-3,8-11 /proc/10495/task/11173/stat : 11173 (java) R 10492 10495 6721 0 -1 4202560 4 0 0 0 4737 0 0 0 20 0 27 0 2948045 10406596608 737141 33554432000 1073741824 1073778376 140737428483936 140600814554096 140600872539490 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 [pid=10495/tid=11174] ppid=10492 vsize=10162692 CPUtime=0 cores=0-3,8-11 /proc/10495/task/11174/stat : 11174 (java) S 10492 10495 6721 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 27 0 2948045 10406596608 737141 33554432000 1073741824 1073778376 140737428483936 140600812450984 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 8 0 0 0 0 0 Current children cumulated CPU time (s) 1799 Current children cumulated vsize (KiB) 10162692 Child status: 143 # WARNING: # CPU time reported by wait4() is probably wrong ! # wait4(...,&childrusage) returns 10495 and gives # childrusage.ru_utime.tv_sec=1782 # childrusage.ru_utime.tv_usec=631998 # childrusage.ru_stime.tv_sec=16 # childrusage.ru_stime.tv_usec=188538 # CPU time returned by wait4() is 1798.82 # while last known CPU time is 1799 # # 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.05999 # lost CPU user time (s): 1.21997 # lost CPU system time (s): -0.16 Real time (s): 955.944 CPU time (s): 1800.06 CPU user time (s): 1784.19 CPU system time (s): 15.87 CPU usage (%): 188.302 Max. virtual memory (cumulated for all children) (KiB): 10162692 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1782.63 system time used= 16.1885 maximum resident set size= 3273692 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 55025 page faults= 1 swaps= 0 block input operations= 0 block output operations= 1000 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 32453 involuntary context switches= 17443 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 8.33573 second user time and 10.0045 second system time The end
Begin job on node132 at 2016-06-29 18:50:44 IDJOB=4118051 IDBENCH=111438 IDSOLVER=2543 FILE ID=node132/4118051-1467219044 RUNJOBID= node132-1467209088-6737 PBS_JOBID= 19997577 Free space on /tmp= 71540 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_bern45-23.opb COMMAND LINE= java -jar sat4j-pb.jar Both BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4118051-1467219044/watcher-4118051-1467219044 -o /tmp/evaluation-result-4118051-1467219044/solver-4118051-1467219044 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node132-1467209088-6737 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4118051-1467219044.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 8 MD5SUM BENCH= aa888e0812bb7b9f3dc5774c2fb177b8 RANDOM SEED=490577398 node132.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.012 cache size : 8192 KB physical id : 0 siblings : 8 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.02 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.012 cache size : 8192 KB physical id : 0 siblings : 8 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.51 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.012 cache size : 8192 KB physical id : 0 siblings : 8 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.51 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.012 cache size : 8192 KB physical id : 0 siblings : 8 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.51 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.012 cache size : 8192 KB physical id : 1 siblings : 8 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 : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.012 cache size : 8192 KB physical id : 1 siblings : 8 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 : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.012 cache size : 8192 KB physical id : 1 siblings : 8 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 : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.012 cache size : 8192 KB physical id : 1 siblings : 8 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: processor : 8 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.012 cache size : 8192 KB physical id : 0 siblings : 8 core id : 0 cpu cores : 4 apicid : 1 initial apicid : 1 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 : 9 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.012 cache size : 8192 KB physical id : 0 siblings : 8 core id : 1 cpu cores : 4 apicid : 3 initial apicid : 3 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 : 10 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.012 cache size : 8192 KB physical id : 0 siblings : 8 core id : 2 cpu cores : 4 apicid : 5 initial apicid : 5 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 : 11 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.012 cache size : 8192 KB physical id : 0 siblings : 8 core id : 3 cpu cores : 4 apicid : 7 initial apicid : 7 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 : 12 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.012 cache size : 8192 KB physical id : 1 siblings : 8 core id : 0 cpu cores : 4 apicid : 17 initial apicid : 17 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 : 13 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.012 cache size : 8192 KB physical id : 1 siblings : 8 core id : 1 cpu cores : 4 apicid : 19 initial apicid : 19 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 : 14 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.012 cache size : 8192 KB physical id : 1 siblings : 8 core id : 2 cpu cores : 4 apicid : 21 initial apicid : 21 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 : 15 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.012 cache size : 8192 KB physical id : 1 siblings : 8 core id : 3 cpu cores : 4 apicid : 23 initial apicid : 23 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: 25200492 kB Buffers: 100244 kB Cached: 3841276 kB SwapCached: 0 kB Active: 3005072 kB Inactive: 3841160 kB Active(anon): 2907556 kB Inactive(anon): 244 kB Active(file): 97516 kB Inactive(file): 3840916 kB Unevictable: 8828 kB Mlocked: 8828 kB SwapTotal: 67108856 kB SwapFree: 67108856 kB Dirty: 1020 kB Writeback: 0 kB AnonPages: 3116748 kB Mapped: 22308 kB Shmem: 216 kB Slab: 631068 kB SReclaimable: 71856 kB SUnreclaim: 559212 kB KernelStack: 2616 kB PageTables: 10588 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 3235096 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341987140 kB HardwareCorrupted: 0 kB AnonHugePages: 3045376 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= 71536 MiB End job on node132 at 2016-06-29 19:06:40