Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
SAT4JPseudoResolution 2007-03-23 | OPT | 1228810444800 | 1742.19 | 1727.87 |
Name | normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/ pub/unibo/normalized-mps-v2-20-10-glass4.opb |
MD5SUM | 9d32bc57adc83bca41f939562e4ccfd8 |
Bench Category | OPT-BIGINT (optimisation, big integers) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 1228810444800 |
Best CPU time to get the best result obtained on this benchmark | 1742.19 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 1228810444800 |
Optimality of the best value was proved | YES |
Number of variables | 780 |
Total number of constraints | 405 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 36 |
Number of constraints which are nor clauses,nor cardinality constraints | 369 |
Minimum length of a constraint | 6 |
Maximum length of a constraint | 101 |
Number of terms in the objective function | 478 |
Biggest coefficient in the objective function | 536870912000000 |
Number of bits for the biggest coefficient in the objective function | 49 |
Sum of the numbers in the objective function | 1073761158741413 |
Number of bits of the sum of numbers in the objective function | 50 |
Biggest number in a constraint | 71583145981965762560 |
Number of bits of the biggest number in a constraint | 66 |
Biggest sum of numbers in a constraint | 303620978593259231065 |
Number of bits of the biggest sum of numbers | 69 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.08/0.14 c SAT4J: a SATisfiability library for Java (c) 2004-2006 Daniel Le Berre 0.08/0.14 c This is free software under the GNU LGPL licence. See www.sat4j.org for details. 0.08/0.14 c This software uses some libraries from the Jakarta project. See jakarta.apache.org for details. 0.08/0.15 c no version file found!!! 0.08/0.15 c sun.arch.data.model 32 0.08/0.15 c java.version 1.6.0 0.08/0.15 c os.name Linux 0.08/0.15 c os.version 2.6.9-22.EL.rootsmp 0.08/0.15 c os.arch i386 0.08/0.15 c Free memory 1651659224 0.08/0.15 c Max memory 1654456320 0.08/0.15 c Total memory 1654456320 0.08/0.15 c Number of processors 2 0.20/0.20 --- Begin Solver configuration --- 0.20/0.20 c Stops conflict analysis at the first Unique Implication Point 0.20/0.20 c org.sat4j.minisat.constraints.PBMaxClauseCardConstrDataStructure@691f36 0.20/0.20 c Learn all clauses as in MiniSAT 0.20/0.20 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.20/0.20 c VSIDS like heuristics from MiniSAT using a heap 0.20/0.20 c No reason simplification 0.20/0.20 c --- End Solver configuration --- 0.20/0.20 c solving /tmp/evaluation/354113-1176694753/instance-354113-1176694753.opb 0.20/0.20 c reading problem ... 2.00/1.26 c ... done. Wall clock time 1.052s. 2.00/1.26 c CPU time (experimental) 0.7s. 2.00/1.26 c #vars 780 2.00/1.26 c #constraints 441 2.56/1.58 c SATISFIABLE 2.56/1.58 c OPTIMIZING... 2.56/1.58 c Got one! Elapsed wall clock time (in seconds):1.379 2.56/1.59 o 1072965097077476 3.04/1.99 c Got one! Elapsed wall clock time (in seconds):1.79 3.04/1.99 o 1072951141370307 3.24/2.13 c Got one! Elapsed wall clock time (in seconds):1.926 3.24/2.13 o 1072932485414529 3.50/2.31 c Got one! Elapsed wall clock time (in seconds):2.103 3.50/2.31 o 1072909037894861 3.62/2.49 c Got one! Elapsed wall clock time (in seconds):2.29 3.62/2.49 o 1072909037526529 3.84/2.62 c Got one! Elapsed wall clock time (in seconds):2.413 3.84/2.62 o 1072762294096595 4.06/2.82 c Got one! Elapsed wall clock time (in seconds):2.619 4.06/2.82 o 1072735602559626 4.17/2.95 c Got one! Elapsed wall clock time (in seconds):2.752 4.17/2.96 o 1072735336343430 4.27/3.06 c Got one! Elapsed wall clock time (in seconds):2.855 4.27/3.06 o 1072719288585665 4.37/3.14 c Got one! Elapsed wall clock time (in seconds):2.941 4.37/3.14 o 1072718255404673 4.66/3.31 c Got one! Elapsed wall clock time (in seconds):3.103 4.66/3.31 o 1072711018520211 4.77/3.45 c Got one! Elapsed wall clock time (in seconds):3.243 4.77/3.45 o 1072708968293779 4.87/3.58 c Got one! Elapsed wall clock time (in seconds):3.379 4.87/3.58 o 1072706964069719 5.12/3.75 c Got one! Elapsed wall clock time (in seconds):3.551 5.12/3.75 o 1072704239511160 5.23/3.85 c Got one! Elapsed wall clock time (in seconds):3.65 5.23/3.85 o 1072702877702873 5.33/3.97 c Got one! Elapsed wall clock time (in seconds):3.764 5.33/3.97 o 1072702827760717 5.54/4.13 c Got one! Elapsed wall clock time (in seconds):3.928 5.54/4.13 o 1072702824333249 5.64/4.23 c Got one! Elapsed wall clock time (in seconds):4.025 5.64/4.23 o 1072702824324544 5.74/4.34 c Got one! Elapsed wall clock time (in seconds):4.136 5.74/4.34 o 1072702823868864 5.84/4.47 c Got one! Elapsed wall clock time (in seconds):4.265 5.84/4.47 o 1072701878230464 5.96/4.59 c Got one! Elapsed wall clock time (in seconds):4.388 5.96/4.59 o 1072701365440449 6.22/4.72 c Got one! Elapsed wall clock time (in seconds):4.52 6.22/4.72 o 1072698726375065 6.42/4.94 c Got one! Elapsed wall clock time (in seconds):4.737 6.42/4.94 o 536871031908294 6.52/5.07 c Got one! Elapsed wall clock time (in seconds):4.869 6.52/5.07 o 535822978227347 6.63/5.18 c Got one! Elapsed wall clock time (in seconds):4.98 6.63/5.18 o 535822957532234 6.83/5.31 c Got one! Elapsed wall clock time (in seconds):5.112 6.83/5.32 o 535821256732096 6.94/5.46 c Got one! Elapsed wall clock time (in seconds):5.252 6.94/5.46 o 535819896962884 7.13/5.60 c Got one! Elapsed wall clock time (in seconds):5.395 7.13/5.60 o 535810700459701 7.23/5.71 c Got one! Elapsed wall clock time (in seconds):5.507 7.23/5.71 o 535810695808513 7.33/5.82 c Got one! Elapsed wall clock time (in seconds):5.618 7.33/5.82 o 535810656651850 7.43/5.96 c Got one! Elapsed wall clock time (in seconds):5.758 7.43/5.96 o 535810564616080 7.63/6.12 c Got one! Elapsed wall clock time (in seconds):5.916 7.63/6.12 o 535810538251926 8.16/6.67 c Got one! Elapsed wall clock time (in seconds):6.471 8.16/6.67 o 535810534099634 8.36/6.80 c Got one! Elapsed wall clock time (in seconds):6.596 8.36/6.80 o 535799105373155 8.46/6.99 c Got one! Elapsed wall clock time (in seconds):6.783 8.46/6.99 o 535766350584143 8.66/7.12 c Got one! Elapsed wall clock time (in seconds):6.917 8.66/7.12 o 535766290071178 8.76/7.24 c Got one! Elapsed wall clock time (in seconds):7.035 8.76/7.24 o 535761616538496 9.18/7.67 c Got one! Elapsed wall clock time (in seconds):7.471 9.18/7.67 o 535731407745134 9.28/7.79 c Got one! Elapsed wall clock time (in seconds):7.592 9.28/7.80 o 535728760057955 9.47/7.92 c Got one! Elapsed wall clock time (in seconds):7.715 9.47/7.92 o 535728759110918 9.57/8.08 c Got one! Elapsed wall clock time (in seconds):7.877 9.57/8.08 o 535728757848141 9.97/8.49 c Got one! Elapsed wall clock time (in seconds):8.285 9.97/8.49 o 268501082600193 10.20/8.66 c Got one! Elapsed wall clock time (in seconds):8.456 10.20/8.66 o 268470500389811 10.40/8.83 c Got one! Elapsed wall clock time (in seconds):8.624 10.40/8.83 o 268456432143245 10.60/9.04 c Got one! Elapsed wall clock time (in seconds):8.837 10.60/9.04 o 267323618807675 10.70/9.19 c Got one! Elapsed wall clock time (in seconds):8.992 10.70/9.20 o 267323603686848 10.90/9.38 c Got one! Elapsed wall clock time (in seconds):9.177 10.90/9.38 o 267323438300379 11.20/9.60 c Got one! Elapsed wall clock time (in seconds):9.396 11.20/9.60 o 267323437042563 11.62/10.00 c Got one! Elapsed wall clock time (in seconds):9.796 11.62/10.00 o 134225776870525 11.72/10.16 c Got one! Elapsed wall clock time (in seconds):9.959 11.72/10.16 o 134225657527003 12.02/10.48 c Got one! Elapsed wall clock time (in seconds):10.282 12.02/10.49 o 134219411553560 12.22/10.64 c Got one! Elapsed wall clock time (in seconds):10.432 12.22/10.64 o 133103733696667 12.32/10.78 c Got one! Elapsed wall clock time (in seconds):10.574 12.32/10.78 o 133103732330971 12.53/10.93 c Got one! Elapsed wall clock time (in seconds):10.727 12.53/10.93 o 133103607958235 12.63/11.08 c Got one! Elapsed wall clock time (in seconds):10.877 12.63/11.08 o 133103277338054 12.83/11.27 c Got one! Elapsed wall clock time (in seconds):11.068 12.83/11.27 o 133103269387648 13.03/11.42 c Got one! Elapsed wall clock time (in seconds):11.217 13.03/11.42 o 133103068937869 13.23/11.67 c Got one! Elapsed wall clock time (in seconds):11.463 13.23/11.67 o 133100768340748 13.53/11.92 c Got one! Elapsed wall clock time (in seconds):11.715 13.53/11.92 o 133100768044152 14.03/12.50 c Got one! Elapsed wall clock time (in seconds):12.293 14.13/12.50 o 133074085195457 14.34/12.73 c Got one! Elapsed wall clock time (in seconds):12.532 14.34/12.74 o 133074084249710 14.54/12.96 c Got one! Elapsed wall clock time (in seconds):12.76 14.54/12.96 o 133073328142719 14.78/13.13 c Got one! Elapsed wall clock time (in seconds):12.924 14.78/13.13 o 133071970913357 15.18/13.55 c Got one! Elapsed wall clock time (in seconds):13.343 15.18/13.55 o 133039228736657 15.58/13.97 c Got one! Elapsed wall clock time (in seconds):13.767 15.58/13.97 o 67141460697386 15.90/14.21 c Got one! Elapsed wall clock time (in seconds):14.007 15.90/14.21 o 67126009089206 16.10/14.43 c Got one! Elapsed wall clock time (in seconds):14.229 16.10/14.43 o 67125758939446 16.30/14.65 c Got one! Elapsed wall clock time (in seconds):14.448 16.30/14.65 o 65962494530570 16.50/14.86 c Got one! Elapsed wall clock time (in seconds):14.656 16.50/14.86 o 65962439134864 16.90/15.22 c Got one! Elapsed wall clock time (in seconds):15.013 16.90/15.22 o 33587192275233 17.10/15.44 c Got one! Elapsed wall clock time (in seconds):15.24 17.10/15.44 o 33571036158402 17.32/15.67 c Got one! Elapsed wall clock time (in seconds):15.471 17.32/15.67 o 33571029751939 17.53/15.89 c Got one! Elapsed wall clock time (in seconds):15.692 17.53/15.90 o 33554544667351 17.73/16.07 c Got one! Elapsed wall clock time (in seconds):15.868 17.73/16.07 o 33554464281801 18.03/16.30 c Got one! Elapsed wall clock time (in seconds):16.097 18.03/16.30 o 33554433501633 18.23/16.58 c Got one! Elapsed wall clock time (in seconds):16.375 18.23/16.58 o 33554433067591 18.53/16.82 c Got one! Elapsed wall clock time (in seconds):16.613 18.53/16.82 o 33554211621569 18.73/17.08 c Got one! Elapsed wall clock time (in seconds):16.875 18.73/17.08 o 33554083495361 18.94/17.29 c Got one! Elapsed wall clock time (in seconds):17.086 18.94/17.29 o 33553774394821 19.24/17.51 c Got one! Elapsed wall clock time (in seconds):17.305 19.24/17.51 o 33553732011715 19.43/17.73 c Got one! Elapsed wall clock time (in seconds):17.524 19.43/17.73 o 33553442815431 19.63/17.91 c Got one! Elapsed wall clock time (in seconds):17.709 19.63/17.91 o 33455006092160 19.83/18.18 c Got one! Elapsed wall clock time (in seconds):17.979 19.83/18.18 o 33454461589659 20.13/18.45 c Got one! Elapsed wall clock time (in seconds):18.25 20.13/18.45 o 33454333653901 20.43/18.72 c Got one! Elapsed wall clock time (in seconds):18.513 20.43/18.72 o 33452394424768 20.73/19.02 c Got one! Elapsed wall clock time (in seconds):18.819 20.73/19.02 o 32407894371032 20.93/19.29 c Got one! Elapsed wall clock time (in seconds):19.09 20.93/19.29 o 32391515400920 21.73/20.04 c Got one! Elapsed wall clock time (in seconds):19.836 21.73/20.04 o 32391514618371 21.93/20.26 c Got one! Elapsed wall clock time (in seconds):20.061 21.93/20.26 o 32391457945013 22.13/20.49 c Got one! Elapsed wall clock time (in seconds):20.289 22.13/20.49 o 32383356132801 22.43/20.76 c Got one! Elapsed wall clock time (in seconds):20.559 22.43/20.76 o 32383355407872 22.73/21.02 c Got one! Elapsed wall clock time (in seconds):20.812 22.73/21.02 o 32383249443201 22.93/21.27 c Got one! Elapsed wall clock time (in seconds):21.068 22.93/21.27 o 32383127403597 23.24/21.53 c Got one! Elapsed wall clock time (in seconds):21.324 23.24/21.53 o 32382682381968 23.54/21.83 c Got one! Elapsed wall clock time (in seconds):21.623 23.54/21.83 o 32382682065473 23.74/22.07 c Got one! Elapsed wall clock time (in seconds):21.867 23.74/22.07 o 32382422720141 24.04/22.32 c Got one! Elapsed wall clock time (in seconds):22.115 24.04/22.32 o 32382356700237 24.24/22.54 c Got one! Elapsed wall clock time (in seconds):22.341 24.24/22.54 o 32379113306851 24.54/22.82 c Got one! Elapsed wall clock time (in seconds):22.613 24.54/22.82 o 32379094583237 24.75/23.07 c Got one! Elapsed wall clock time (in seconds):22.87 24.75/23.07 o 32379094044707 25.04/23.38 c Got one! Elapsed wall clock time (in seconds):23.179 25.04/23.38 o 32379029577816 25.34/23.66 c Got one! Elapsed wall clock time (in seconds):23.454 25.34/23.66 o 32378966813773 25.64/23.99 c Got one! Elapsed wall clock time (in seconds):23.788 25.64/23.99 o 32378722639795 25.95/24.25 c Got one! Elapsed wall clock time (in seconds):24.045 25.95/24.25 o 32378648726402 26.25/24.54 c Got one! Elapsed wall clock time (in seconds):24.339 26.25/24.54 o 32375001894548 26.35/24.70 c Got one! Elapsed wall clock time (in seconds):24.494 26.35/24.70 o 32375001894526 26.65/24.99 c Got one! Elapsed wall clock time (in seconds):24.79 26.65/24.99 o 31850841811896 26.85/25.14 c Got one! Elapsed wall clock time (in seconds):24.937 26.85/25.14 o 23986398809907 27.25/25.54 c Got one! Elapsed wall clock time (in seconds):25.336 27.25/25.54 o 9568320825027 27.65/25.96 c Got one! Elapsed wall clock time (in seconds):25.76 27.65/25.96 o 9568306281207 27.95/26.25 c Got one! Elapsed wall clock time (in seconds):26.044 27.95/26.25 o 9306191097969 28.25/26.50 c Got one! Elapsed wall clock time (in seconds):26.299 28.25/26.50 o 9306187938189 28.55/26.80 c Got one! Elapsed wall clock time (in seconds):26.597 28.55/26.80 o 9306170049309 28.85/27.13 c Got one! Elapsed wall clock time (in seconds):26.928 28.85/27.13 o 9306154822946 28.95/27.28 c Got one! Elapsed wall clock time (in seconds):27.078 28.95/27.28 o 9302126638157 29.86/28.18 c Got one! Elapsed wall clock time (in seconds):27.981 29.86/28.18 o 9302124182660 30.16/28.48 c Got one! Elapsed wall clock time (in seconds):28.274 30.16/28.48 o 9257454026623 30.56/28.82 c Got one! Elapsed wall clock time (in seconds):28.614 30.56/28.82 o 9171055794154 30.76/29.08 c Got one! Elapsed wall clock time (in seconds):28.874 30.76/29.08 o 9171046121317 31.06/29.38 c Got one! Elapsed wall clock time (in seconds):29.176 31.06/29.38 o 9171045349171 31.26/29.57 c Got one! Elapsed wall clock time (in seconds):29.365 31.26/29.57 o 9043525113038 31.86/30.19 c Got one! Elapsed wall clock time (in seconds):29.984 31.86/30.19 o 8814671999568 32.17/30.47 c Got one! Elapsed wall clock time (in seconds):30.265 32.17/30.47 o 8814666254323 32.47/30.76 c Got one! Elapsed wall clock time (in seconds):30.555 32.47/30.76 o 8781896579081 32.77/31.04 c Got one! Elapsed wall clock time (in seconds):30.834 32.77/31.04 o 8781895563779 33.07/31.38 c Got one! Elapsed wall clock time (in seconds):31.174 33.07/31.38 o 8777740749611 33.37/31.66 c Got one! Elapsed wall clock time (in seconds):31.455 33.37/31.66 o 8777740746752 33.67/31.98 c Got one! Elapsed wall clock time (in seconds):31.78 33.67/31.98 o 8777740668988 33.97/32.28 c Got one! Elapsed wall clock time (in seconds):32.073 33.97/32.28 o 8777671546084 34.37/32.63 c Got one! Elapsed wall clock time (in seconds):32.429 34.37/32.63 o 8777671173249 34.68/32.96 c Got one! Elapsed wall clock time (in seconds):32.762 34.68/32.97 o 8765518403248 34.98/33.27 c Got one! Elapsed wall clock time (in seconds):33.066 34.98/33.27 o 8765517572097 35.58/33.83 c Got one! Elapsed wall clock time (in seconds):33.625 35.58/33.83 o 8011837152264 35.89/34.14 c Got one! Elapsed wall clock time (in seconds):33.938 35.89/34.14 o 8011836569862 36.18/34.47 c Got one! Elapsed wall clock time (in seconds):34.272 36.18/34.48 o 7856168575873 36.48/34.75 c Got one! Elapsed wall clock time (in seconds):34.547 36.48/34.75 o 7856167262847 36.78/35.02 c Got one! Elapsed wall clock time (in seconds):34.819 36.78/35.02 o 7856116175872 37.59/35.85 c Got one! Elapsed wall clock time (in seconds):35.65 37.59/35.85 o 7856115252862 37.99/36.22 c Got one! Elapsed wall clock time (in seconds):36.015 37.99/36.22 o 7855672408429 38.29/36.54 c Got one! Elapsed wall clock time (in seconds):36.34 38.29/36.54 o 7855607510896 38.69/36.94 c Got one! Elapsed wall clock time (in seconds):36.74 38.69/36.94 o 7855607351745 39.10/37.36 c Got one! Elapsed wall clock time (in seconds):37.153 39.10/37.36 o 7195712319039 40.00/38.25 c Got one! Elapsed wall clock time (in seconds):38.043 40.00/38.25 o 7192599471555 40.50/38.76 c Got one! Elapsed wall clock time (in seconds):38.56 40.50/38.76 o 7159903685278 40.80/39.07 c Got one! Elapsed wall clock time (in seconds):38.864 40.80/39.07 o 7159840773895 41.10/39.37 c Got one! Elapsed wall clock time (in seconds):39.169 41.10/39.37 o 7127067663871 41.40/39.69 c Got one! Elapsed wall clock time (in seconds):39.491 41.40/39.69 o 6668318341647 41.70/39.92 c Got one! Elapsed wall clock time (in seconds):39.715 41.70/39.92 o 6668262215038 42.00/40.26 c Got one! Elapsed wall clock time (in seconds):40.06 42.00/40.26 o 5095334363557 42.41/40.61 c Got one! Elapsed wall clock time (in seconds):40.407 42.41/40.61 o 5095207820814 42.90/41.13 c Got one! Elapsed wall clock time (in seconds):40.931 42.90/41.13 o 5095138363303 43.21/41.47 c Got one! Elapsed wall clock time (in seconds):41.265 43.21/41.47 o 5094952231059 43.81/42.07 c Got one! Elapsed wall clock time (in seconds):41.864 43.81/42.07 o 5094462940609 44.12/42.35 c Got one! Elapsed wall clock time (in seconds):42.152 44.12/42.36 o 5091370748802 44.52/42.72 c Got one! Elapsed wall clock time (in seconds):42.521 44.52/42.72 o 5091362964934 44.82/43.07 c Got one! Elapsed wall clock time (in seconds):42.864 44.82/43.07 o 5091361329111 45.32/43.52 c Got one! Elapsed wall clock time (in seconds):43.319 45.32/43.52 o 5091350303618 45.73/43.91 c Got one! Elapsed wall clock time (in seconds):43.708 45.73/43.91 o 5091110049317 46.03/44.25 c Got one! Elapsed wall clock time (in seconds):44.05 46.03/44.25 o 5091094199500 46.33/44.59 c Got one! Elapsed wall clock time (in seconds):44.382 46.33/44.59 o 5090854346277 46.72/44.92 c Got one! Elapsed wall clock time (in seconds):44.714 46.72/44.92 o 5090821858694 47.83/46.08 c Got one! Elapsed wall clock time (in seconds):45.882 47.83/46.09 o 5090356607650 48.22/46.43 c Got one! Elapsed wall clock time (in seconds):46.228 48.22/46.43 o 5089316551573 48.52/46.77 c Got one! Elapsed wall clock time (in seconds):46.568 48.52/46.77 o 5089190149010 48.93/47.16 c Got one! Elapsed wall clock time (in seconds):46.961 48.93/47.16 o 5087272477635 49.33/47.53 c Got one! Elapsed wall clock time (in seconds):47.327 49.33/47.53 o 5087255480786 49.83/48.01 c Got one! Elapsed wall clock time (in seconds):47.807 49.83/48.01 o 5085225936735 50.24/48.41 c Got one! Elapsed wall clock time (in seconds):48.21 50.24/48.41 o 5085098133611 50.53/48.79 c Got one! Elapsed wall clock time (in seconds):48.59 50.53/48.79 o 5084966989898 50.93/49.18 c Got one! Elapsed wall clock time (in seconds):48.973 50.93/49.18 o 5084839758739 52.13/50.31 c Got one! Elapsed wall clock time (in seconds):50.112 52.13/50.32 o 3303820459280 52.53/50.75 c Got one! Elapsed wall clock time (in seconds):50.543 52.53/50.75 o 3276818891650 53.64/51.87 c Got one! Elapsed wall clock time (in seconds):51.665 53.64/51.87 o 3244061215060 54.05/52.25 c Got one! Elapsed wall clock time (in seconds):52.047 54.05/52.25 o 3244054075842 54.45/52.63 c Got one! Elapsed wall clock time (in seconds):52.431 54.45/52.63 o 3244049890256 54.75/52.98 c Got one! Elapsed wall clock time (in seconds):52.772 54.75/52.98 o 3145746008508 55.25/53.40 c Got one! Elapsed wall clock time (in seconds):53.202 55.25/53.41 o 3145745224689 56.56/54.76 c Got one! Elapsed wall clock time (in seconds):54.558 56.56/54.76 o 3145242547743 56.96/55.15 c Got one! Elapsed wall clock time (in seconds):54.944 56.96/55.15 o 3112984142588 57.37/55.53 c Got one! Elapsed wall clock time (in seconds):55.322 57.37/55.53 o 2981908646969 57.67/55.82 c Got one! Elapsed wall clock time (in seconds):55.62 57.67/55.82 o 2981906624209 57.98/56.20 c Got one! Elapsed wall clock time (in seconds):55.993 57.98/56.20 o 2981903855247 58.77/56.95 c Got one! Elapsed wall clock time (in seconds):56.748 58.77/56.95 o 2261011326051 59.27/57.44 c Got one! Elapsed wall clock time (in seconds):57.236 59.27/57.44 o 2261003773025 60.78/58.92 c Got one! Elapsed wall clock time (in seconds):58.72 60.78/58.92 o 2228239703467 62.08/60.20 c Got one! Elapsed wall clock time (in seconds):59.996 62.08/60.20 o 2195460244130 63.69/61.81 c Got one! Elapsed wall clock time (in seconds):61.606 63.69/61.81 o 2187283936081 64.19/62.30 c Got one! Elapsed wall clock time (in seconds):62.096 64.19/62.30 o 2187271516265 64.89/63.07 c Got one! Elapsed wall clock time (in seconds):62.871 64.89/63.07 o 2162699079399 67.42/65.54 c Got one! Elapsed wall clock time (in seconds):65.34 67.42/65.54 o 2162698628399 69.34/67.48 c Got one! Elapsed wall clock time (in seconds):67.279 69.34/67.48 o 2031631564102 70.54/68.65 c Got one! Elapsed wall clock time (in seconds):68.452 70.54/68.66 o 1966094041192 74.87/72.98 c Got one! Elapsed wall clock time (in seconds):72.782 74.87/72.99 o 1966093626862 82.13/80.15 c Got one! Elapsed wall clock time (in seconds):79.948 82.13/80.15 o 1966089010330 92.23/90.15 c Got one! Elapsed wall clock time (in seconds):89.947 92.23/90.15 o 1962000900159 93.43/91.37 c Got one! Elapsed wall clock time (in seconds):91.164 93.43/91.37 o 1962000067029 95.14/93.08 c Got one! Elapsed wall clock time (in seconds):92.874 95.14/93.08 o 1925134478320 148.93/146.55 c Got one! Elapsed wall clock time (in seconds):146.343 148.93/146.55 o 1925134478319 160.50/158.06 c Got one! Elapsed wall clock time (in seconds):157.852 160.50/158.06 o 1925128171639 165.34/162.86 c Got one! Elapsed wall clock time (in seconds):162.661 165.34/162.86 o 1900559370424 173.51/170.93 c Got one! Elapsed wall clock time (in seconds):170.723 173.51/170.93 o 1900558715459 175.92/173.31 c Got one! Elapsed wall clock time (in seconds):173.108 175.92/173.31 o 1898514071559 177.74/175.17 c Got one! Elapsed wall clock time (in seconds):174.966 177.74/175.17 o 1898506339287 179.04/176.48 c Got one! Elapsed wall clock time (in seconds):176.274 179.04/176.48 o 1898491790514 181.26/178.64 c Got one! Elapsed wall clock time (in seconds):178.441 181.26/178.64 o 1898380845159 184.29/181.60 c Got one! Elapsed wall clock time (in seconds):181.4 184.29/181.60 o 1890444128644 184.69/182.01 c Got one! Elapsed wall clock time (in seconds):181.806 184.69/182.01 o 1884140082920 197.00/194.28 c Got one! Elapsed wall clock time (in seconds):194.073 197.00/194.28 o 1884107511187 199.71/196.96 c Got one! Elapsed wall clock time (in seconds):196.755 199.71/196.96 o 1867790669523 209.48/206.62 c Got one! Elapsed wall clock time (in seconds):206.417 209.48/206.62 o 1867790001139 212.31/209.44 c Got one! Elapsed wall clock time (in seconds):209.235 212.31/209.44 o 1867788629735 220.96/218.05 c Got one! Elapsed wall clock time (in seconds):217.844 220.96/218.05 o 1867788421895 246.85/243.75 c Got one! Elapsed wall clock time (in seconds):243.544 246.85/243.75 o 1802252037801 250.79/247.63 c Got one! Elapsed wall clock time (in seconds):247.43 250.79/247.63 o 1802251645278 271.07/267.72 c Got one! Elapsed wall clock time (in seconds):267.513 271.07/267.72 o 1802251554426 273.28/269.99 c Got one! Elapsed wall clock time (in seconds):269.782 273.28/269.99 o 1802251313528 296.48/292.90 c Got one! Elapsed wall clock time (in seconds):292.696 296.48/292.90 o 1802222392513 302.75/299.15 c Got one! Elapsed wall clock time (in seconds):298.95 302.75/299.15 o 1794059266559 316.46/312.76 c Got one! Elapsed wall clock time (in seconds):312.559 316.46/312.76 o 1794058848148 323.02/319.24 c Got one! Elapsed wall clock time (in seconds):319.037 323.02/319.24 o 1785869357406 341.27/337.32 c Got one! Elapsed wall clock time (in seconds):337.119 341.27/337.32 o 1785866178754 375.63/371.45 c Got one! Elapsed wall clock time (in seconds):371.248 375.63/371.45 o 1781782342292 383.82/379.58 c Got one! Elapsed wall clock time (in seconds):379.379 383.82/379.58 o 1781781761935 397.92/393.54 c Got one! Elapsed wall clock time (in seconds):393.342 397.92/393.55 o 1781773279238 405.69/401.21 c Got one! Elapsed wall clock time (in seconds):401.012 405.69/401.22 o 1781773106155 423.24/418.64 c Got one! Elapsed wall clock time (in seconds):418.44 423.24/418.64 o 1781770688378 454.39/449.59 c Got one! Elapsed wall clock time (in seconds):449.384 454.39/449.59 o 1781261567841 455.40/450.52 c Got one! Elapsed wall clock time (in seconds):450.319 455.40/450.52 o 1769307722113 472.13/467.19 c Got one! Elapsed wall clock time (in seconds):466.992 472.13/467.20 o 1769228898602 476.46/471.44 c Got one! Elapsed wall clock time (in seconds):471.241 476.46/471.44 o 1769228559834 485.32/480.28 c Got one! Elapsed wall clock time (in seconds):480.082 485.32/480.29 o 1769228466166 518.70/513.34 c Got one! Elapsed wall clock time (in seconds):513.132 518.70/513.34 o 1769228121541 529.89/524.49 c Got one! Elapsed wall clock time (in seconds):524.282 529.89/524.49 o 1769166849740 531.21/525.71 c Got one! Elapsed wall clock time (in seconds):525.508 531.21/525.71 o 1768973046217 533.43/527.99 c Got one! Elapsed wall clock time (in seconds):527.789 533.43/527.99 o 1768970211889 535.44/529.93 c Got one! Elapsed wall clock time (in seconds):529.731 535.44/529.93 o 1768205298909 540.48/534.96 c Got one! Elapsed wall clock time (in seconds):534.761 540.48/534.96 o 1761292067230 555.59/549.91 c Got one! Elapsed wall clock time (in seconds):549.71 555.59/549.91 o 1757200546799 572.53/566.71 c Got one! Elapsed wall clock time (in seconds):566.507 572.53/566.71 o 1757199445787 608.84/602.79 c Got one! Elapsed wall clock time (in seconds):602.586 608.84/602.79 o 1757199032980 646.33/639.92 c Got one! Elapsed wall clock time (in seconds):639.717 646.33/639.92 o 1744909771375 657.84/651.38 c Got one! Elapsed wall clock time (in seconds):651.179 657.84/651.38 o 1744909575312 666.31/659.75 c Got one! Elapsed wall clock time (in seconds):659.55 666.31/659.75 o 1744908833808 672.47/665.81 c Got one! Elapsed wall clock time (in seconds):665.602 672.47/665.81 o 1736719595013 673.77/667.19 c Got one! Elapsed wall clock time (in seconds):666.982 673.77/667.19 o 1736712125389 674.88/668.27 c Got one! Elapsed wall clock time (in seconds):668.064 674.88/668.27 o 1702908951904 689.02/682.20 c Got one! Elapsed wall clock time (in seconds):681.996 689.02/682.20 o 1702908677196 700.71/693.80 c Got one! Elapsed wall clock time (in seconds):693.601 700.71/693.80 o 1702824120911 710.50/703.50 c Got one! Elapsed wall clock time (in seconds):703.298 710.50/703.50 o 1702792953481 721.18/714.14 c Got one! Elapsed wall clock time (in seconds):713.937 721.18/714.14 o 1702791187965 735.81/728.61 c Got one! Elapsed wall clock time (in seconds):728.408 735.81/728.61 o 1697942407053 765.96/758.54 c Got one! Elapsed wall clock time (in seconds):758.34 765.96/758.54 o 1695754078664 794.90/787.21 c Got one! Elapsed wall clock time (in seconds):787.006 794.90/787.21 o 1695743133831 896.09/887.66 c Got one! Elapsed wall clock time (in seconds):887.458 896.09/887.66 o 1695737935155 950.86/942.01 c Got one! Elapsed wall clock time (in seconds):941.808 950.86/942.01 o 1686443160219 960.72/951.81 c Got one! Elapsed wall clock time (in seconds):951.611 960.72/951.81 o 1686442497559 986.64/977.54 c Got one! Elapsed wall clock time (in seconds):977.333 986.64/977.54 o 1685498949855 1010.81/1001.50 c Got one! Elapsed wall clock time (in seconds):1001.296 1010.81/1001.50 o 1684492923996 1035.19/1025.78 c Got one! Elapsed wall clock time (in seconds):1025.572 1035.19/1025.78 o 1684483703195 1101.49/1091.53 c Got one! Elapsed wall clock time (in seconds):1091.329 1101.49/1091.53 o 1684482504530 1251.94/1240.88 c Got one! Elapsed wall clock time (in seconds):1240.675 1251.94/1240.88 o 1684167369309 1260.01/1248.86 c Got one! Elapsed wall clock time (in seconds):1248.661 1260.01/1248.86 o 1684051142918 1300.92/1289.44 c Got one! Elapsed wall clock time (in seconds):1289.232 1300.92/1289.44 o 1684050841896 1338.40/1326.62 c Got one! Elapsed wall clock time (in seconds):1326.413 1338.40/1326.62 o 1684050255432 1360.73/1348.86 c Got one! Elapsed wall clock time (in seconds):1348.661 1360.73/1348.86 o 1684048771771 1401.50/1389.37 c Got one! Elapsed wall clock time (in seconds):1389.17 1401.50/1389.37 o 1683981495103 1410.66/1398.49 c Got one! Elapsed wall clock time (in seconds):1398.286 1410.66/1398.49 o 1683979998403 1412.26/1400.07 c Got one! Elapsed wall clock time (in seconds):1399.871 1412.26/1400.07 o 1683468965312 1414.87/1402.66 c Got one! Elapsed wall clock time (in seconds):1402.456 1414.87/1402.66 o 1671171310535 1420.82/1408.53 c Got one! Elapsed wall clock time (in seconds):1408.33 1420.82/1408.53 o 1671170674236 1438.74/1426.36 c Got one! Elapsed wall clock time (in seconds):1426.156 1438.74/1426.36 o 1667596467120 1443.77/1431.35 c Got one! Elapsed wall clock time (in seconds):1431.152 1443.77/1431.36 o 1667341737567 1460.30/1447.79 c Got one! Elapsed wall clock time (in seconds):1447.585 1460.30/1447.79 o 1667341136956 1673.60/1659.64 c Got one! Elapsed wall clock time (in seconds):1659.434 1673.60/1659.64 o 1667085368807 1710.48/1696.32 c Got one! Elapsed wall clock time (in seconds):1696.12 1710.48/1696.32 o 1667080947221 1735.35/1721.04 c Got one! Elapsed wall clock time (in seconds):1720.837 1735.35/1721.04 o 1666312296809 1736.05/1721.78 c Got one! Elapsed wall clock time (in seconds):1721.581 1736.05/1721.78 o 1228810444800 1742.06/1727.74 c starts : 1058 1742.06/1727.74 c conflicts : 467040 1742.06/1727.74 c decisions : 885850 1742.06/1727.74 c propagations : 13252249 1742.06/1727.74 c inspects : 1969750202 1742.06/1727.74 c learnt literals : 15 1742.06/1727.74 c learnt binary clauses : 60 1742.06/1727.74 c learnt ternary clauses : 47 1742.06/1727.74 c learnt clauses : 467024 1742.06/1727.74 c root simplifications : 0 1742.06/1727.74 c removed literals (reason simplification) : 0 1742.06/1727.74 c reason swapping (by a shorter reason) : 0 1742.06/1727.75 c Calls to reduceDB : 0 1742.06/1727.75 c speed (decisions/second) : 148657.49286793088 1742.06/1727.75 c non guided choices 15740 1742.06/1727.75 s OPTIMUM FOUND 1742.06/1727.75 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 1742.06/1727.75 v -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 1742.06/1727.75 v -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 x73 x74 x75 x76 -x77 x78 -x79 x80 -x81 -x82 1742.06/1727.75 v -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 x106 1742.06/1727.75 v -x107 -x108 x109 x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 1742.06/1727.75 v -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 x136 -x137 -x138 x139 x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 1742.06/1727.75 v -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 x163 x164 -x165 x166 -x167 -x168 x169 1742.06/1727.75 v -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 1742.06/1727.75 v -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 1742.06/1727.75 v -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 1742.06/1727.75 v -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 1742.06/1727.75 v x254 -x255 -x256 x257 x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 1742.06/1727.75 v -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 x283 x284 x285 x286 -x287 x288 -x289 x290 -x291 -x292 -x293 -x294 -x295 -x296 1742.06/1727.75 v -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 1742.06/1727.75 v -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 1742.06/1727.75 v -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 x354 -x355 -x356 x357 x358 -x359 1742.06/1727.75 v -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 x375 -x376 -x377 x378 x379 -x380 1742.06/1727.75 v -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 x395 -x396 -x397 x398 x399 -x400 -x401 1742.06/1727.75 v -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 x413 x414 -x415 x416 -x417 -x418 x419 -x420 -x421 -x422 1742.06/1727.75 v -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 x432 x433 -x434 x435 -x436 -x437 x438 -x439 -x440 -x441 -x442 -x443 1742.06/1727.75 v -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 x452 x453 -x454 x455 -x456 -x457 x458 -x459 -x460 -x461 -x462 -x463 -x464 1742.06/1727.75 v -x465 -x466 -x467 -x468 -x469 -x470 -x471 x472 -x473 -x474 x475 x476 -x477 -x478 -x479 -x480 -x481 x482 -x483 -x484 -x485 1742.06/1727.75 v -x486 -x487 -x488 -x489 x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 x501 -x502 -x503 -x504 -x505 -x506 1742.06/1727.75 v -x507 -x508 -x509 -x510 x511 -x512 -x513 -x514 -x515 -x516 -x517 x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 1742.06/1727.75 v -x528 x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 x541 -x542 -x543 -x544 -x545 -x546 x547 -x548 1742.06/1727.75 v -x549 -x550 -x551 -x552 -x553 -x554 -x555 x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 x564 -x565 -x566 -x567 -x568 -x569 1742.06/1727.75 v -x570 -x571 -x572 -x573 -x574 -x575 x576 -x577 -x578 -x579 -x580 -x581 x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 1742.06/1727.75 v -x591 x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 x602 -x603 -x604 -x605 -x606 -x607 -x608 x609 -x610 -x611 1742.06/1727.75 v -x612 -x613 -x614 -x615 x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 x624 -x625 -x626 -x627 -x628 -x629 -x630 x631 x632 1742.06/1727.75 v -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 x647 x648 -x649 -x650 -x651 -x652 -x653 1742.06/1727.75 v -x654 -x655 -x656 -x657 -x658 -x659 -x660 x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 x670 -x671 -x672 -x673 -x674 1742.06/1727.75 v -x675 -x676 x677 -x678 x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 x694 -x695 1742.06/1727.75 v -x696 -x697 -x698 -x699 -x700 -x701 -x702 x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 x711 -x712 -x713 -x714 -x715 x716 1742.06/1727.75 v -x717 -x718 -x719 -x720 -x721 -x722 -x723 x724 -x725 -x726 -x727 -x728 -x729 -x730 x731 -x732 -x733 -x734 -x735 -x736 -x737 1742.06/1727.75 v -x738 -x739 -x740 x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 1742.06/1727.75 v -x759 -x760 x761 -x762 -x763 -x764 -x765 x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 x775 -x776 -x777 -x778 -x779 1742.06/1727.75 v -x780 1742.06/1727.75 c objective function=1228810444800 1742.06/1727.75 c Total wall clock time (ms): 1727.548
OK 1228810444800
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node14/watcher-354113-1176694753 -o ROOT/results/node14/solver-354113-1176694753 -C 1800 -W 3600 -M 1800 --output-limit 1,15 java -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/354113-1176694753/sat4jPseudoResolution.jar /tmp/evaluation/354113-1176694753/instance-354113-1176694753.opb 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): 3600 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.92 0.98 0.99 2/77 21917 /proc/meminfo: memFree=1786624/2055920 swapFree=4149104/4192956 [pid=21917] ppid=21915 vsize=272 CPUtime=0 /proc/21917/stat : 21917 (java) D 21915 21917 20800 0 -1 0 53 0 0 0 0 0 0 0 18 0 1 0 117393068 278528 37 18446744073709551615 134512640 134550740 4294956592 18446744073709551615 6927140 0 2147483391 4096 0 18446744072099781622 0 0 17 1 0 0 /proc/21917/statm: 68 37 28 9 0 6 0 [startup+0.0855189 s] /proc/loadavg: 0.92 0.98 0.99 2/77 21917 /proc/meminfo: memFree=1786624/2055920 swapFree=4149104/4192956 [pid=21917] ppid=21915 vsize=1777844 CPUtime=0.07 /proc/21917/stat : 21917 (java) S 21915 21917 20800 0 -1 0 3815 0 1 0 5 2 0 0 18 0 7 0 117393068 1820512256 3558 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23755 18446744073709551615 0 0 17 1 0 0 /proc/21917/statm: 444461 3558 1090 9 0 442097 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 1777844 [startup+0.102486 s] /proc/loadavg: 0.92 0.98 0.99 2/77 21917 /proc/meminfo: memFree=1786624/2055920 swapFree=4149104/4192956 [pid=21917] ppid=21915 vsize=1780108 CPUtime=0.08 /proc/21917/stat : 21917 (java) S 21915 21917 20800 0 -1 0 3976 0 1 0 6 2 0 0 18 0 12 0 117393068 1822830592 3718 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/21917/statm: 445027 3718 1122 9 0 442646 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 1780108 [startup+0.302505 s] /proc/loadavg: 0.92 0.98 0.99 2/77 21917 /proc/meminfo: memFree=1786624/2055920 swapFree=4149104/4192956 [pid=21917] ppid=21915 vsize=1782420 CPUtime=0.33 /proc/21917/stat : 21917 (java) S 21915 21917 20800 0 -1 0 5113 0 1 0 30 3 0 0 18 0 12 0 117393068 1825198080 4852 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/21917/statm: 445605 4852 1263 9 0 443217 0 Current children cumulated CPU time (s) 0.33 Current children cumulated vsize (KiB) 1782420 [startup+0.702547 s] /proc/loadavg: 0.92 0.98 0.99 2/77 21917 /proc/meminfo: memFree=1786624/2055920 swapFree=4149104/4192956 [pid=21917] ppid=21915 vsize=1791100 CPUtime=1.01 /proc/21917/stat : 21917 (java) S 21915 21917 20800 0 -1 0 8787 0 1 0 95 6 0 0 18 0 12 0 117393068 1834086400 7822 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/21917/statm: 447775 7822 1303 9 0 445387 0 Current children cumulated CPU time (s) 1.01 Current children cumulated vsize (KiB) 1791100 [startup+1.50262 s] /proc/loadavg: 0.92 0.98 0.99 4/89 21929 /proc/meminfo: memFree=1753824/2055920 swapFree=4149104/4192956 [pid=21917] ppid=21915 vsize=1793824 CPUtime=2.56 /proc/21917/stat : 21917 (java) S 21915 21917 20800 0 -1 0 18353 0 1 0 245 11 0 0 18 0 13 0 117393068 1836875776 13983 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/21917/statm: 448456 13984 1322 9 0 446068 0 [pid=21917/tid=21919] ppid=21915 vsize=1793824 CPUtime=0.85 /proc/21917/task/21919/stat : 21919 (java) R 21915 21917 20800 0 -1 64 10257 0 1 0 79 6 0 0 25 0 13 0 117393069 1836875776 13984 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109748664 0 4 0 23759 0 0 0 -1 1 0 0 [pid=21917/tid=21920] ppid=21915 vsize=1793824 CPUtime=0 /proc/21917/task/21920/stat : 21920 (java) S 21915 21917 20800 0 -1 64 3 0 0 0 0 0 0 0 19 0 13 0 117393071 1836875776 13984 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21917/tid=21921] ppid=21915 vsize=1793824 CPUtime=0 /proc/21917/task/21921/stat : 21921 (java) S 21915 21917 20800 0 -1 64 1 0 0 0 0 0 0 0 20 0 13 0 117393071 1836875776 13985 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=21917/tid=21922] ppid=21915 vsize=1793824 CPUtime=0 /proc/21917/task/21922/stat : 21922 (java) S 21915 21917 20800 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 117393073 1836875776 13985 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=21917/tid=21923] ppid=21915 vsize=1793824 CPUtime=0 /proc/21917/task/21923/stat : 21923 (java) S 21915 21917 20800 0 -1 64 10 0 0 0 0 0 0 0 22 0 13 0 117393073 1836875776 13986 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21917/tid=21924] ppid=21915 vsize=1793824 CPUtime=0 /proc/21917/task/21924/stat : 21924 (java) S 21915 21917 20800 0 -1 64 4 0 0 0 0 0 0 0 23 0 13 0 117393073 1836875776 13987 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21917/tid=21925] ppid=21915 vsize=1793824 CPUtime=0 /proc/21917/task/21925/stat : 21925 (java) S 21915 21917 20800 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 117393077 1836875776 13987 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21917/tid=21926] ppid=21915 vsize=1793824 CPUtime=0.69 /proc/21917/task/21926/stat : 21926 (java) S 21915 21917 20800 0 -1 64 1892 0 0 0 69 0 0 0 16 0 13 0 117393077 1836875776 13987 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=21917/tid=21927] ppid=21915 vsize=1793824 CPUtime=0.99 /proc/21917/task/21927/stat : 21927 (java) S 21915 21917 20800 0 -1 64 5480 0 0 0 96 3 0 0 17 0 13 0 117393077 1836875776 13988 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21917/tid=21928] ppid=21915 vsize=1793824 CPUtime=0 /proc/21917/task/21928/stat : 21928 (java) S 21915 21917 20800 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 117393077 1836875776 13988 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21917/tid=21929] ppid=21915 vsize=1793824 CPUtime=0 /proc/21917/task/21929/stat : 21929 (java) S 21915 21917 20800 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 117393077 1836875776 13989 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 2.56 Current children cumulated vsize (KiB) 1793824 [startup+3.10177 s] /proc/loadavg: 0.92 0.98 0.99 2/90 21932 /proc/meminfo: memFree=1686808/2055920 swapFree=4149104/4192956 [pid=21917] ppid=21915 vsize=1793824 CPUtime=4.37 /proc/21917/stat : 21917 (java) S 21915 21917 20800 0 -1 0 46692 0 1 0 414 23 0 0 18 0 13 0 117393068 1836875776 42315 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/21917/statm: 448456 42315 1334 9 0 446068 0 [pid=21917/tid=21919] ppid=21915 vsize=1793824 CPUtime=2.34 /proc/21917/task/21919/stat : 21919 (java) R 21915 21917 20800 0 -1 64 37726 0 1 0 216 18 0 0 25 0 13 0 117393069 1836875776 42315 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109615422 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21917/tid=21920] ppid=21915 vsize=1793824 CPUtime=0.01 /proc/21917/task/21920/stat : 21920 (java) S 21915 21917 20800 0 -1 64 472 0 0 0 1 0 0 0 16 0 13 0 117393071 1836875776 42315 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21917/tid=21921] ppid=21915 vsize=1793824 CPUtime=0.01 /proc/21917/task/21921/stat : 21921 (java) S 21915 21917 20800 0 -1 64 363 0 0 0 1 0 0 0 16 0 13 0 117393071 1836875776 42315 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=21917/tid=21922] ppid=21915 vsize=1793824 CPUtime=0 /proc/21917/task/21922/stat : 21922 (java) S 21915 21917 20800 0 -1 64 8 0 0 0 0 0 0 0 16 0 13 0 117393073 1836875776 42315 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=21917/tid=21923] ppid=21915 vsize=1793824 CPUtime=0 /proc/21917/task/21923/stat : 21923 (java) S 21915 21917 20800 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 117393073 1836875776 42315 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21917/tid=21924] ppid=21915 vsize=1793824 CPUtime=0 /proc/21917/task/21924/stat : 21924 (java) S 21915 21917 20800 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 117393073 1836875776 42315 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21917/tid=21925] ppid=21915 vsize=1793824 CPUtime=0 /proc/21917/task/21925/stat : 21925 (java) S 21915 21917 20800 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 117393077 1836875776 42315 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21917/tid=21926] ppid=21915 vsize=1793824 CPUtime=0.87 /proc/21917/task/21926/stat : 21926 (java) S 21915 21917 20800 0 -1 64 1906 0 0 0 87 0 0 0 16 0 13 0 117393077 1836875776 42315 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=21917/tid=21927] ppid=21915 vsize=1793824 CPUtime=1.1 /proc/21917/task/21927/stat : 21927 (java) S 21915 21917 20800 0 -1 64 5494 0 0 0 107 3 0 0 16 0 13 0 117393077 1836875776 42315 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21917/tid=21928] ppid=21915 vsize=1793824 CPUtime=0 /proc/21917/task/21928/stat : 21928 (java) S 21915 21917 20800 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 117393077 1836875776 42315 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21917/tid=21929] ppid=21915 vsize=1793824 CPUtime=0 /proc/21917/task/21929/stat : 21929 (java) S 21915 21917 20800 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 117393077 1836875776 42315 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 4.37 Current children cumulated vsize (KiB) 1793824 [startup+6.30206 s] /proc/loadavg: 0.93 0.98 0.99 2/90 21956 /proc/meminfo: memFree=1616000/2055920 swapFree=4149104/4192956 [pid=21917] ppid=21915 vsize=1793504 CPUtime=7.86 /proc/21917/stat : 21917 (java) S 21915 21917 20800 0 -1 0 48671 0 1 0 761 25 0 0 18 0 13 0 117393068 1836548096 44025 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/21917/statm: 448376 44025 1335 9 0 445988 0 [pid=21917/tid=21919] ppid=21915 vsize=1793504 CPUtime=5.43 /proc/21917/task/21919/stat : 21919 (java) R 21915 21917 20800 0 -1 64 37745 0 1 0 525 18 0 0 17 0 13 0 117393069 1836548096 44025 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109749078 0 4 0 23759 0 0 0 -1 1 0 0 [pid=21917/tid=21920] ppid=21915 vsize=1793504 CPUtime=0.05 /proc/21917/task/21920/stat : 21920 (java) S 21915 21917 20800 0 -1 64 1308 0 0 0 5 0 0 0 17 0 13 0 117393071 1836548096 44025 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21917/tid=21921] ppid=21915 vsize=1793504 CPUtime=0.05 /proc/21917/task/21921/stat : 21921 (java) S 21915 21917 20800 0 -1 64 1283 0 0 0 5 0 0 0 16 0 13 0 117393071 1836548096 44025 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=21917/tid=21922] ppid=21915 vsize=1793504 CPUtime=0 /proc/21917/task/21922/stat : 21922 (java) S 21915 21917 20800 0 -1 64 19 0 0 0 0 0 0 0 16 0 13 0 117393073 1836548096 44025 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=21917/tid=21923] ppid=21915 vsize=1793504 CPUtime=0 /proc/21917/task/21923/stat : 21923 (java) S 21915 21917 20800 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 117393073 1836548096 44025 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21917/tid=21924] ppid=21915 vsize=1793504 CPUtime=0 /proc/21917/task/21924/stat : 21924 (java) S 21915 21917 20800 0 -1 64 19 0 0 0 0 0 0 0 16 0 13 0 117393073 1836548096 44025 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21917/tid=21925] ppid=21915 vsize=1793504 CPUtime=0 /proc/21917/task/21925/stat : 21925 (java) S 21915 21917 20800 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 117393077 1836548096 44025 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21917/tid=21926] ppid=21915 vsize=1793504 CPUtime=1.02 /proc/21917/task/21926/stat : 21926 (java) S 21915 21917 20800 0 -1 64 2050 0 0 0 102 0 0 0 15 0 13 0 117393077 1836548096 44025 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21917/tid=21927] ppid=21915 vsize=1793504 CPUtime=1.24 /proc/21917/task/21927/stat : 21927 (java) S 21915 21917 20800 0 -1 64 5511 0 0 0 121 3 0 0 16 0 13 0 117393077 1836548096 44025 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21917/tid=21928] ppid=21915 vsize=1793504 CPUtime=0 /proc/21917/task/21928/stat : 21928 (java) S 21915 21917 20800 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 117393077 1836548096 44025 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21917/tid=21929] ppid=21915 vsize=1793504 CPUtime=0 /proc/21917/task/21929/stat : 21929 (java) S 21915 21917 20800 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 117393077 1836548096 44025 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 7.86 Current children cumulated vsize (KiB) 1793504 [startup+12.7017 s] /proc/loadavg: 0.93 0.98 0.99 2/90 21989 /proc/meminfo: memFree=1598224/2055920 swapFree=4149104/4192956 [pid=21917] ppid=21915 vsize=1793504 CPUtime=14.34 /proc/21917/stat : 21917 (java) S 21915 21917 20800 0 -1 0 58136 0 1 0 1404 30 0 0 18 0 13 0 117393068 1836548096 51776 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/21917/statm: 448376 51776 1335 9 0 445988 0 [pid=21917/tid=21919] ppid=21915 vsize=1793504 CPUtime=11.73 /proc/21917/task/21919/stat : 21919 (java) R 21915 21917 20800 0 -1 64 41078 0 1 0 1153 20 0 0 23 0 13 0 117393069 1836548096 51776 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109748997 0 4 0 23759 0 0 0 -1 1 0 0 [pid=21917/tid=21920] ppid=21915 vsize=1793504 CPUtime=0.13 /proc/21917/task/21920/stat : 21920 (java) S 21915 21917 20800 0 -1 64 4497 0 0 0 12 1 0 0 16 0 13 0 117393071 1836548096 51776 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21917/tid=21921] ppid=21915 vsize=1793504 CPUtime=0.14 /proc/21917/task/21921/stat : 21921 (java) S 21915 21917 20800 0 -1 64 4149 0 0 0 12 2 0 0 16 0 13 0 117393071 1836548096 51776 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=21917/tid=21922] ppid=21915 vsize=1793504 CPUtime=0 /proc/21917/task/21922/stat : 21922 (java) S 21915 21917 20800 0 -1 64 43 0 0 0 0 0 0 0 17 0 13 0 117393073 1836548096 51776 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=21917/tid=21923] ppid=21915 vsize=1793504 CPUtime=0 /proc/21917/task/21923/stat : 21923 (java) S 21915 21917 20800 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 117393073 1836548096 51776 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21917/tid=21924] ppid=21915 vsize=1793504 CPUtime=0 /proc/21917/task/21924/stat : 21924 (java) S 21915 21917 20800 0 -1 64 33 0 0 0 0 0 0 0 16 0 13 0 117393073 1836548096 51776 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21917/tid=21925] ppid=21915 vsize=1793504 CPUtime=0 /proc/21917/task/21925/stat : 21925 (java) S 21915 21917 20800 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 117393077 1836548096 51776 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21917/tid=21926] ppid=21915 vsize=1793504 CPUtime=1.02 /proc/21917/task/21926/stat : 21926 (java) S 21915 21917 20800 0 -1 64 2050 0 0 0 102 0 0 0 15 0 13 0 117393077 1836548096 51776 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21917/tid=21927] ppid=21915 vsize=1793504 CPUtime=1.24 /proc/21917/task/21927/stat : 21927 (java) S 21915 21917 20800 0 -1 64 5511 0 0 0 121 3 0 0 16 0 13 0 117393077 1836548096 51776 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21917/tid=21928] ppid=21915 vsize=1793504 CPUtime=0 /proc/21917/task/21928/stat : 21928 (java) S 21915 21917 20800 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 117393077 1836548096 51776 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21917/tid=21929] ppid=21915 vsize=1793504 CPUtime=0 /proc/21917/task/21929/stat : 21929 (java) S 21915 21917 20800 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 117393077 1836548096 51776 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 14.34 Current children cumulated vsize (KiB) 1793504 [startup+25.5021 s] /proc/loadavg: 0.95 0.98 0.99 2/90 22038 /proc/meminfo: memFree=1595184/2055920 swapFree=4149104/4192956 [pid=21917] ppid=21915 vsize=1793504 CPUtime=27.25 /proc/21917/stat : 21917 (java) S 21915 21917 20800 0 -1 0 60159 0 1 0 2693 32 0 0 18 0 13 0 117393068 1836548096 47805 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/21917/statm: 448376 47805 1335 9 0 445988 0 [pid=21917/tid=21919] ppid=21915 vsize=1793504 CPUtime=24.45 /proc/21917/task/21919/stat : 21919 (java) R 21915 21917 20800 0 -1 64 41088 0 1 0 2425 20 0 0 18 0 13 0 117393069 1836548096 47805 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109656464 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21917/tid=21920] ppid=21915 vsize=1793504 CPUtime=0.19 /proc/21917/task/21920/stat : 21920 (java) S 21915 21917 20800 0 -1 64 5440 0 0 0 18 1 0 0 16 0 13 0 117393071 1836548096 47805 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21917/tid=21921] ppid=21915 vsize=1793504 CPUtime=0.19 /proc/21917/task/21921/stat : 21921 (java) S 21915 21917 20800 0 -1 64 5209 0 0 0 17 2 0 0 16 0 13 0 117393071 1836548096 47805 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=21917/tid=21922] ppid=21915 vsize=1793504 CPUtime=0.01 /proc/21917/task/21922/stat : 21922 (java) S 21915 21917 20800 0 -1 64 45 0 0 0 1 0 0 0 16 0 13 0 117393073 1836548096 47805 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=21917/tid=21923] ppid=21915 vsize=1793504 CPUtime=0 /proc/21917/task/21923/stat : 21923 (java) S 21915 21917 20800 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 117393073 1836548096 47805 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=21917/tid=21924] ppid=21915 vsize=1793504 CPUtime=0 /proc/21917/task/21924/stat : 21924 (java) S 21915 21917 20800 0 -1 64 35 0 0 0 0 0 0 0 16 0 13 0 117393073 1836548096 47805 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=21917/tid=21925] ppid=21915 vsize=1793504 CPUtime=0 /proc/21917/task/21925/stat : 21925 (java) S 21915 21917 20800 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 117393077 1836548096 47805 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 ################ # More data... # ################ /proc/21917/task/21928/stat : 21928 (java) S 21915 21917 20800 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 117393077 1836879872 94912 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21917/tid=21929] ppid=21915 vsize=1793828 CPUtime=0 /proc/21917/task/21929/stat : 21929 (java) S 21915 21917 20800 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 117393077 1836879872 94912 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21917/tid=22405] ppid=21915 vsize=1793828 CPUtime=0 /proc/21917/task/22405/stat : 22405 (java) S 21915 21917 20800 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 117565247 1836879872 94912 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1739.05 Current children cumulated vsize (KiB) 1793828 [startup+1726.3 s] /proc/loadavg: 1.00 1.00 1.00 2/90 22405 /proc/meminfo: memFree=1406376/2055920 swapFree=4149104/4192956 [pid=21917] ppid=21915 vsize=1793828 CPUtime=1740.66 /proc/21917/stat : 21917 (java) S 21915 21917 20800 0 -1 0 163291 0 1 0 173906 160 0 0 18 0 13 0 117393068 1836879872 95089 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/21917/statm: 448457 95089 1336 9 0 446069 0 [pid=21917/tid=21919] ppid=21915 vsize=1793828 CPUtime=1709.26 /proc/21917/task/21919/stat : 21919 (java) R 21915 21917 20800 0 -1 64 86719 0 1 0 170864 62 0 0 25 0 13 0 117393069 1836879872 95089 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109746826 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21917/tid=21920] ppid=21915 vsize=1793828 CPUtime=14.27 /proc/21917/task/21920/stat : 21920 (java) S 21915 21917 20800 0 -1 64 34543 0 0 0 1388 39 0 0 16 0 13 0 117393071 1836879872 95089 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21917/tid=21921] ppid=21915 vsize=1793828 CPUtime=14.31 /proc/21917/task/21921/stat : 21921 (java) S 21915 21917 20800 0 -1 64 33393 0 0 0 1396 35 0 0 16 0 13 0 117393071 1836879872 95089 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=21917/tid=21922] ppid=21915 vsize=1793828 CPUtime=0.37 /proc/21917/task/21922/stat : 21922 (java) S 21915 21917 20800 0 -1 64 253 0 0 0 20 17 0 0 16 0 13 0 117393073 1836879872 95089 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=21917/tid=21923] ppid=21915 vsize=1793828 CPUtime=0 /proc/21917/task/21923/stat : 21923 (java) S 21915 21917 20800 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 117393073 1836879872 95089 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21917/tid=21924] ppid=21915 vsize=1793828 CPUtime=0 /proc/21917/task/21924/stat : 21924 (java) S 21915 21917 20800 0 -1 64 35 0 0 0 0 0 0 0 16 0 13 0 117393073 1836879872 95089 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21917/tid=21925] ppid=21915 vsize=1793828 CPUtime=0 /proc/21917/task/21925/stat : 21925 (java) S 21915 21917 20800 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 117393077 1836879872 95089 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21917/tid=21926] ppid=21915 vsize=1793828 CPUtime=1.09 /proc/21917/task/21926/stat : 21926 (java) S 21915 21917 20800 0 -1 64 2055 0 0 0 109 0 0 0 17 0 13 0 117393077 1836879872 95089 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21917/tid=21927] ppid=21915 vsize=1793828 CPUtime=1.27 /proc/21917/task/21927/stat : 21927 (java) S 21915 21917 20800 0 -1 64 5514 0 0 0 124 3 0 0 17 0 13 0 117393077 1836879872 95089 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21917/tid=21928] ppid=21915 vsize=1793828 CPUtime=0 /proc/21917/task/21928/stat : 21928 (java) S 21915 21917 20800 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 117393077 1836879872 95089 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21917/tid=21929] ppid=21915 vsize=1793828 CPUtime=0 /proc/21917/task/21929/stat : 21929 (java) S 21915 21917 20800 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 117393077 1836879872 95089 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21917/tid=22405] ppid=21915 vsize=1793828 CPUtime=0 /proc/21917/task/22405/stat : 22405 (java) S 21915 21917 20800 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 117565247 1836879872 95089 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1740.66 Current children cumulated vsize (KiB) 1793828 [startup+1727.1 s] /proc/loadavg: 1.00 1.00 1.00 2/90 22405 /proc/meminfo: memFree=1406312/2055920 swapFree=4149104/4192956 [pid=21917] ppid=21915 vsize=1793828 CPUtime=1741.46 /proc/21917/stat : 21917 (java) S 21915 21917 20800 0 -1 0 163291 0 1 0 173986 160 0 0 18 0 13 0 117393068 1836879872 95089 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/21917/statm: 448457 95089 1336 9 0 446069 0 [pid=21917/tid=21919] ppid=21915 vsize=1793828 CPUtime=1710.06 /proc/21917/task/21919/stat : 21919 (java) R 21915 21917 20800 0 -1 64 86719 0 1 0 170944 62 0 0 25 0 13 0 117393069 1836879872 95089 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109778396 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21917/tid=21920] ppid=21915 vsize=1793828 CPUtime=14.27 /proc/21917/task/21920/stat : 21920 (java) S 21915 21917 20800 0 -1 64 34543 0 0 0 1388 39 0 0 16 0 13 0 117393071 1836879872 95089 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21917/tid=21921] ppid=21915 vsize=1793828 CPUtime=14.31 /proc/21917/task/21921/stat : 21921 (java) S 21915 21917 20800 0 -1 64 33393 0 0 0 1396 35 0 0 16 0 13 0 117393071 1836879872 95089 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=21917/tid=21922] ppid=21915 vsize=1793828 CPUtime=0.37 /proc/21917/task/21922/stat : 21922 (java) S 21915 21917 20800 0 -1 64 253 0 0 0 20 17 0 0 16 0 13 0 117393073 1836879872 95089 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=21917/tid=21923] ppid=21915 vsize=1793828 CPUtime=0 /proc/21917/task/21923/stat : 21923 (java) S 21915 21917 20800 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 117393073 1836879872 95089 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21917/tid=21924] ppid=21915 vsize=1793828 CPUtime=0 /proc/21917/task/21924/stat : 21924 (java) S 21915 21917 20800 0 -1 64 35 0 0 0 0 0 0 0 16 0 13 0 117393073 1836879872 95089 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21917/tid=21925] ppid=21915 vsize=1793828 CPUtime=0 /proc/21917/task/21925/stat : 21925 (java) S 21915 21917 20800 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 117393077 1836879872 95089 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21917/tid=21926] ppid=21915 vsize=1793828 CPUtime=1.09 /proc/21917/task/21926/stat : 21926 (java) S 21915 21917 20800 0 -1 64 2055 0 0 0 109 0 0 0 17 0 13 0 117393077 1836879872 95089 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21917/tid=21927] ppid=21915 vsize=1793828 CPUtime=1.27 /proc/21917/task/21927/stat : 21927 (java) S 21915 21917 20800 0 -1 64 5514 0 0 0 124 3 0 0 17 0 13 0 117393077 1836879872 95089 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21917/tid=21928] ppid=21915 vsize=1793828 CPUtime=0 /proc/21917/task/21928/stat : 21928 (java) S 21915 21917 20800 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 117393077 1836879872 95089 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21917/tid=21929] ppid=21915 vsize=1793828 CPUtime=0 /proc/21917/task/21929/stat : 21929 (java) S 21915 21917 20800 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 117393077 1836879872 95089 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21917/tid=22405] ppid=21915 vsize=1793828 CPUtime=0 /proc/21917/task/22405/stat : 22405 (java) S 21915 21917 20800 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 117565247 1836879872 95089 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1741.46 Current children cumulated vsize (KiB) 1793828 [startup+1727.5 s] /proc/loadavg: 1.00 1.00 1.00 2/90 22405 /proc/meminfo: memFree=1406312/2055920 swapFree=4149104/4192956 [pid=21917] ppid=21915 vsize=1793828 CPUtime=1741.86 /proc/21917/stat : 21917 (java) S 21915 21917 20800 0 -1 0 163291 0 1 0 174026 160 0 0 18 0 13 0 117393068 1836879872 95089 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/21917/statm: 448457 95089 1336 9 0 446069 0 [pid=21917/tid=21919] ppid=21915 vsize=1793828 CPUtime=1710.46 /proc/21917/task/21919/stat : 21919 (java) R 21915 21917 20800 0 -1 64 86719 0 1 0 170984 62 0 0 25 0 13 0 117393069 1836879872 95089 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109649360 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21917/tid=21920] ppid=21915 vsize=1793828 CPUtime=14.27 /proc/21917/task/21920/stat : 21920 (java) S 21915 21917 20800 0 -1 64 34543 0 0 0 1388 39 0 0 16 0 13 0 117393071 1836879872 95089 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21917/tid=21921] ppid=21915 vsize=1793828 CPUtime=14.31 /proc/21917/task/21921/stat : 21921 (java) S 21915 21917 20800 0 -1 64 33393 0 0 0 1396 35 0 0 16 0 13 0 117393071 1836879872 95089 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=21917/tid=21922] ppid=21915 vsize=1793828 CPUtime=0.37 /proc/21917/task/21922/stat : 21922 (java) S 21915 21917 20800 0 -1 64 253 0 0 0 20 17 0 0 16 0 13 0 117393073 1836879872 95089 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=21917/tid=21923] ppid=21915 vsize=1793828 CPUtime=0 /proc/21917/task/21923/stat : 21923 (java) S 21915 21917 20800 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 117393073 1836879872 95089 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21917/tid=21924] ppid=21915 vsize=1793828 CPUtime=0 /proc/21917/task/21924/stat : 21924 (java) S 21915 21917 20800 0 -1 64 35 0 0 0 0 0 0 0 16 0 13 0 117393073 1836879872 95089 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21917/tid=21925] ppid=21915 vsize=1793828 CPUtime=0 /proc/21917/task/21925/stat : 21925 (java) S 21915 21917 20800 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 117393077 1836879872 95089 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21917/tid=21926] ppid=21915 vsize=1793828 CPUtime=1.09 /proc/21917/task/21926/stat : 21926 (java) S 21915 21917 20800 0 -1 64 2055 0 0 0 109 0 0 0 17 0 13 0 117393077 1836879872 95089 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21917/tid=21927] ppid=21915 vsize=1793828 CPUtime=1.27 /proc/21917/task/21927/stat : 21927 (java) S 21915 21917 20800 0 -1 64 5514 0 0 0 124 3 0 0 17 0 13 0 117393077 1836879872 95089 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21917/tid=21928] ppid=21915 vsize=1793828 CPUtime=0 /proc/21917/task/21928/stat : 21928 (java) S 21915 21917 20800 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 117393077 1836879872 95089 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21917/tid=21929] ppid=21915 vsize=1793828 CPUtime=0 /proc/21917/task/21929/stat : 21929 (java) S 21915 21917 20800 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 117393077 1836879872 95089 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21917/tid=22405] ppid=21915 vsize=1793828 CPUtime=0 /proc/21917/task/22405/stat : 22405 (java) S 21915 21917 20800 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 117565247 1836879872 95089 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1741.86 Current children cumulated vsize (KiB) 1793828 [startup+1727.7 s] /proc/loadavg: 1.00 1.00 1.00 2/90 22405 /proc/meminfo: memFree=1406312/2055920 swapFree=4149104/4192956 [pid=21917] ppid=21915 vsize=1793828 CPUtime=1742.06 /proc/21917/stat : 21917 (java) S 21915 21917 20800 0 -1 0 163291 0 1 0 174046 160 0 0 18 0 13 0 117393068 1836879872 95089 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/21917/statm: 448457 95089 1336 9 0 446069 0 [pid=21917/tid=21919] ppid=21915 vsize=1793828 CPUtime=1710.66 /proc/21917/task/21919/stat : 21919 (java) R 21915 21917 20800 0 -1 64 86719 0 1 0 171004 62 0 0 25 0 13 0 117393069 1836879872 95089 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109563619 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21917/tid=21920] ppid=21915 vsize=1793828 CPUtime=14.27 /proc/21917/task/21920/stat : 21920 (java) S 21915 21917 20800 0 -1 64 34543 0 0 0 1388 39 0 0 16 0 13 0 117393071 1836879872 95089 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21917/tid=21921] ppid=21915 vsize=1793828 CPUtime=14.31 /proc/21917/task/21921/stat : 21921 (java) S 21915 21917 20800 0 -1 64 33393 0 0 0 1396 35 0 0 16 0 13 0 117393071 1836879872 95089 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=21917/tid=21922] ppid=21915 vsize=1793828 CPUtime=0.37 /proc/21917/task/21922/stat : 21922 (java) S 21915 21917 20800 0 -1 64 253 0 0 0 20 17 0 0 16 0 13 0 117393073 1836879872 95089 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=21917/tid=21923] ppid=21915 vsize=1793828 CPUtime=0 /proc/21917/task/21923/stat : 21923 (java) S 21915 21917 20800 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 117393073 1836879872 95089 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21917/tid=21924] ppid=21915 vsize=1793828 CPUtime=0 /proc/21917/task/21924/stat : 21924 (java) S 21915 21917 20800 0 -1 64 35 0 0 0 0 0 0 0 16 0 13 0 117393073 1836879872 95089 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21917/tid=21925] ppid=21915 vsize=1793828 CPUtime=0 /proc/21917/task/21925/stat : 21925 (java) S 21915 21917 20800 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 117393077 1836879872 95089 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21917/tid=21926] ppid=21915 vsize=1793828 CPUtime=1.09 /proc/21917/task/21926/stat : 21926 (java) S 21915 21917 20800 0 -1 64 2055 0 0 0 109 0 0 0 17 0 13 0 117393077 1836879872 95089 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21917/tid=21927] ppid=21915 vsize=1793828 CPUtime=1.27 /proc/21917/task/21927/stat : 21927 (java) S 21915 21917 20800 0 -1 64 5514 0 0 0 124 3 0 0 17 0 13 0 117393077 1836879872 95089 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21917/tid=21928] ppid=21915 vsize=1793828 CPUtime=0 /proc/21917/task/21928/stat : 21928 (java) S 21915 21917 20800 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 117393077 1836879872 95089 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21917/tid=21929] ppid=21915 vsize=1793828 CPUtime=0 /proc/21917/task/21929/stat : 21929 (java) S 21915 21917 20800 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 117393077 1836879872 95089 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21917/tid=22405] ppid=21915 vsize=1793828 CPUtime=0 /proc/21917/task/22405/stat : 22405 (java) S 21915 21917 20800 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 117565247 1836879872 95089 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1742.06 Current children cumulated vsize (KiB) 1793828 [startup+1727.8 s] /proc/loadavg: 1.00 1.00 1.00 2/90 22405 /proc/meminfo: memFree=1406312/2055920 swapFree=4149104/4192956 [pid=21917] ppid=21915 vsize=1793828 CPUtime=1742.12 /proc/21917/stat : 21917 (java) S 21915 21917 20800 0 -1 0 163295 0 1 0 174052 160 0 0 18 0 12 0 117393068 1836879872 95093 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/21917/statm: 448457 95093 1336 9 0 446069 0 [pid=21917/tid=21919] ppid=21915 vsize=1793828 CPUtime=1710.71 /proc/21917/task/21919/stat : 21919 (java) S 21915 21917 20800 0 -1 64 86723 0 1 0 171009 62 0 0 25 0 12 0 117393069 1836879872 95093 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21917/tid=21920] ppid=21915 vsize=1793828 CPUtime=14.27 /proc/21917/task/21920/stat : 21920 (java) S 21915 21917 20800 0 -1 64 34543 0 0 0 1388 39 0 0 16 0 12 0 117393071 1836879872 95093 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21917/tid=21921] ppid=21915 vsize=1793828 CPUtime=14.31 /proc/21917/task/21921/stat : 21921 (java) S 21915 21917 20800 0 -1 64 33393 0 0 0 1396 35 0 0 16 0 12 0 117393071 1836879872 95093 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=21917/tid=21922] ppid=21915 vsize=1793828 CPUtime=0.37 /proc/21917/task/21922/stat : 21922 (java) S 21915 21917 20800 0 -1 64 253 0 0 0 20 17 0 0 16 0 12 0 117393073 1836879872 95093 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=21917/tid=21923] ppid=21915 vsize=1793828 CPUtime=0 /proc/21917/task/21923/stat : 21923 (java) S 21915 21917 20800 0 -1 64 11 0 0 0 0 0 0 0 16 0 12 0 117393073 1836879872 95093 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21917/tid=21924] ppid=21915 vsize=1793828 CPUtime=0 /proc/21917/task/21924/stat : 21924 (java) S 21915 21917 20800 0 -1 64 35 0 0 0 0 0 0 0 16 0 12 0 117393073 1836879872 95093 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21917/tid=21925] ppid=21915 vsize=1793828 CPUtime=0 /proc/21917/task/21925/stat : 21925 (java) S 21915 21917 20800 0 -1 64 0 0 0 0 0 0 0 0 24 0 12 0 117393077 1836879872 95093 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21917/tid=21926] ppid=21915 vsize=1793828 CPUtime=1.09 /proc/21917/task/21926/stat : 21926 (java) S 21915 21917 20800 0 -1 64 2055 0 0 0 109 0 0 0 17 0 12 0 117393077 1836879872 95093 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21917/tid=21927] ppid=21915 vsize=1793828 CPUtime=1.27 /proc/21917/task/21927/stat : 21927 (java) S 21915 21917 20800 0 -1 64 5514 0 0 0 124 3 0 0 17 0 12 0 117393077 1836879872 95093 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21917/tid=21928] ppid=21915 vsize=1793828 CPUtime=0 /proc/21917/task/21928/stat : 21928 (java) S 21915 21917 20800 0 -1 64 2 0 0 0 0 0 0 0 25 0 12 0 117393077 1836879872 95093 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21917/tid=21929] ppid=21915 vsize=1793828 CPUtime=0 /proc/21917/task/21929/stat : 21929 (java) S 21915 21917 20800 0 -1 64 1 0 0 0 0 0 0 0 15 0 12 0 117393077 1836879872 95093 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1742.12 Current children cumulated vsize (KiB) 1793828 Child status: 30 Real time (s): 1727.87 CPU time (s): 1742.19 CPU user time (s): 1740.52 CPU system time (s): 1.66675 CPU usage (%): 100.829 Max. virtual memory (cumulated for all children) (KiB): 1795288 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1740.52 system time used= 1.66675 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 163299 page faults= 1 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 51325 involuntary context switches= 56821 runsolver used 2.05269 second user time and 5.35719 second system time The end
Begin job on node14 on Mon Apr 16 03:39:13 UTC 2007 IDJOB= 354113 IDBENCH= 2347 IDSOLVER= 159 FILE ID= node14/354113-1176694753 PBS_JOBID= 4559412 Free space on /tmp= 66517 MiB SOLVER NAME= SAT4JPseudoResolution 2007-03-23 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-glass4.opb COMMAND LINE= java -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/354113-1176694753/sat4jPseudoResolution.jar /tmp/evaluation/354113-1176694753/instance-354113-1176694753.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node14/watcher-354113-1176694753 -o ROOT/results/node14/solver-354113-1176694753 -C 1800 -W 3600 -M 1800 --output-limit 1,15 java -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/354113-1176694753/sat4jPseudoResolution.jar /tmp/evaluation/354113-1176694753/instance-354113-1176694753.opb META MD5SUM SOLVER= 592978c395d7dcf045996aed0652cb30 MD5SUM BENCH= 9d32bc57adc83bca41f939562e4ccfd8 RANDOM SEED= 929404468 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node14.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.227 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5914.62 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.227 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5586.94 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1786968 kB Buffers: 24284 kB Cached: 150424 kB SwapCached: 11748 kB Active: 132012 kB Inactive: 79256 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1786968 kB SwapTotal: 4192956 kB SwapFree: 4149104 kB Dirty: 3928 kB Writeback: 0 kB Mapped: 43172 kB Slab: 43120 kB Committed_AS: 6509720 kB PageTables: 1840 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 66517 MiB End job on node14 on Mon Apr 16 04:08:01 UTC 2007