Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| Sat4j Resolution 2011-06-08 | OPTIMUM | 89.9893 | 88.7061 |
| Name | /SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111213868--soft-0-100-0.wbo |
| MD5SUM | 0635b24c475a73287c5e15439a6c459f |
| Bench Category | SOFT-SMALLINT-LIN (only soft constraints, small integers, linear constraints) |
| Best result obtained on this benchmark | MOPT |
| Best cost obtained on this benchmark | 2 |
| Best CPU time to get the best result obtained on this benchmark | 2.6366 |
| Max-Satisfiable | |
| Max-(Un)Satisfiability was proved | |
| Best value of the cost | |
| Optimality of the best cost was proved | |
| Number of variables | 169 |
| Total number of constraints | 101 |
| Number of soft constraints | 101 |
| Number of constraints which are clauses | 30 |
| Number of constraints which are cardinality constraints (but not clauses) | 70 |
| Number of constraints which are nor clauses,nor cardinality constraints | 1 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 169 |
| Top cost | 4944 |
| Min constraint cost | 1 |
| Max constraint cost | 98 |
| Sum of constraints costs | 4943 |
| Biggest number in a constraint | 38 |
| Number of bits of the biggest number in a constraint | 6 |
| Biggest sum of numbers in a constraint | 1199 |
| Number of bits of the biggest sum of numbers | 11 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.08 c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre 0.00/0.08 c This is free software under the dual EPL/GNU LGPL licenses. 0.00/0.08 c See www.sat4j.org for details. 0.00/0.09 c version 2.3.1.v20110525 0.00/0.09 c java.runtime.name Java(TM) SE Runtime Environment 0.00/0.09 c java.vm.name Java HotSpot(TM) 64-Bit Server VM 0.00/0.09 c java.vm.version 19.1-b02 0.00/0.09 c java.vm.vendor Sun Microsystems Inc. 0.00/0.09 c sun.arch.data.model 64 0.00/0.09 c java.version 1.6.0_24 0.00/0.09 c os.name Linux 0.00/0.09 c os.version 2.6.18-164.el5 0.00/0.09 c os.arch amd64 0.00/0.09 c Free memory 9996466904 0.00/0.09 c Max memory 10048897024 0.00/0.09 c Total memory 10048897024 0.00/0.09 c Number of processors 8 0.11/0.11 c Pseudo Boolean Optimization 0.11/0.11 c --- Begin Solver configuration --- 0.11/0.11 c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@38540408 0.11/0.11 c Learn all clauses as in MiniSAT 0.11/0.11 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.11/0.11 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.11/0.11 c Expensive reason simplification 0.11/0.11 c Armin Biere (Picosat) restarts strategy 0.11/0.11 c Glucose learned constraints deletion strategy 0.11/0.11 c timeout=2147483s 0.11/0.11 c DB Simplification allowed=false 0.11/0.11 c --- End Solver configuration --- 0.11/0.11 c solving HOME/instance-3492699-1307911161.wbo 0.11/0.11 c reading problem ... 0.11/0.16 c ... done. Wall clock time 0.054s. 0.11/0.16 c #vars 270 0.11/0.16 c #constraints 101 0.11/0.16 c constraints type 0.11/0.16 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 30 0.11/0.16 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 71 0.27/0.23 c SATISFIABLE 0.27/0.23 c OPTIMIZING... 0.27/0.23 c Got one! Elapsed wall clock time (in seconds):0.122 0.27/0.23 o 732 0.27/0.26 c Got one! Elapsed wall clock time (in seconds):0.148 0.27/0.26 o 649 0.27/0.27 c Got one! Elapsed wall clock time (in seconds):0.157 0.27/0.27 o 624 0.27/0.28 c Got one! Elapsed wall clock time (in seconds):0.166 0.27/0.28 o 616 0.27/0.29 c Got one! Elapsed wall clock time (in seconds):0.179 0.27/0.29 o 536 0.50/0.30 c Got one! Elapsed wall clock time (in seconds):0.186 0.50/0.30 o 526 0.50/0.31 c Got one! Elapsed wall clock time (in seconds):0.199 0.50/0.31 o 522 0.50/0.32 c Got one! Elapsed wall clock time (in seconds):0.212 0.50/0.32 o 501 0.50/0.34 c Got one! Elapsed wall clock time (in seconds):0.232 0.50/0.34 o 487 0.50/0.35 c Got one! Elapsed wall clock time (in seconds):0.243 0.50/0.35 o 478 0.50/0.37 c Got one! Elapsed wall clock time (in seconds):0.256 0.50/0.37 o 467 0.50/0.38 c Got one! Elapsed wall clock time (in seconds):0.269 0.50/0.38 o 437 0.65/0.41 c Got one! Elapsed wall clock time (in seconds):0.297 0.65/0.41 o 380 0.65/0.45 c Got one! Elapsed wall clock time (in seconds):0.337 0.65/0.45 o 371 0.85/0.69 c Got one! Elapsed wall clock time (in seconds):0.582 0.85/0.69 o 367 1.09/0.82 c cleaning 5081 clauses out of 10168 with flag 2000/10168 1.43/1.14 c cleaning 5538 clauses out of 11087 with flag 8000/16168 1.83/1.52 c Got one! Elapsed wall clock time (in seconds):1.412 1.83/1.52 o 366 1.93/1.63 c Got one! Elapsed wall clock time (in seconds):1.516 1.93/1.63 o 363 2.03/1.74 c Got one! Elapsed wall clock time (in seconds):1.632 2.03/1.74 o 360 2.03/1.79 c cleaning 9056 clauses out of 18117 with flag 1002/28736 2.16/1.87 c Got one! Elapsed wall clock time (in seconds):1.758 2.16/1.87 o 351 2.36/2.02 c cleaning 7383 clauses out of 14773 with flag 4000/34448 2.47/2.12 c Got one! Elapsed wall clock time (in seconds):2.008 2.47/2.12 o 344 2.47/2.17 c Got one! Elapsed wall clock time (in seconds):2.056 2.47/2.17 o 329 2.57/2.25 c Got one! Elapsed wall clock time (in seconds):2.142 2.57/2.25 o 325 2.66/2.30 c cleaning 7017 clauses out of 14039 with flag 1003/41097 2.66/2.38 c Got one! Elapsed wall clock time (in seconds):2.273 2.66/2.38 o 318 2.91/2.54 c cleaning 6491 clauses out of 12997 with flag 4000/47072 2.91/2.57 c Got one! Elapsed wall clock time (in seconds):2.46 2.91/2.57 o 312 3.15/2.75 c cleaning 5897 clauses out of 11802 with flag 5000/52368 3.25/2.81 c Got one! Elapsed wall clock time (in seconds):2.702 3.25/2.81 o 300 3.25/2.84 c Got one! Elapsed wall clock time (in seconds):2.727 3.25/2.84 o 280 3.45/3.00 c cleaning 5994 clauses out of 11997 with flag 4001/58460 3.45/3.07 c Got one! Elapsed wall clock time (in seconds):2.955 3.45/3.07 o 267 3.65/3.29 c cleaning 5877 clauses out of 11764 with flag 5001/64221 3.95/3.56 c Got one! Elapsed wall clock time (in seconds):3.448 3.95/3.56 o 264 4.05/3.60 c cleaning 5880 clauses out of 11774 with flag 1003/70108 4.15/3.79 c Got one! Elapsed wall clock time (in seconds):3.682 4.15/3.79 o 263 4.45/4.03 c cleaning 8227 clauses out of 16470 with flag 5000/80684 4.65/4.22 c Got one! Elapsed wall clock time (in seconds):4.112 4.65/4.22 o 259 4.65/4.28 c cleaning 7017 clauses out of 14040 with flag 1000/86481 4.76/4.36 c Got one! Elapsed wall clock time (in seconds):4.245 4.76/4.36 o 254 4.86/4.43 c Got one! Elapsed wall clock time (in seconds):4.322 4.86/4.43 o 253 4.95/4.53 c Got one! Elapsed wall clock time (in seconds):4.418 4.95/4.53 o 242 4.95/4.58 c cleaning 6639 clauses out of 13288 with flag 1001/92746 5.16/4.76 c Got one! Elapsed wall clock time (in seconds):4.648 5.16/4.76 o 230 5.25/4.85 c cleaning 6219 clauses out of 12448 with flag 2000/98545 5.46/5.09 c Got one! Elapsed wall clock time (in seconds):4.98 5.46/5.09 o 223 5.66/5.29 c cleaning 8298 clauses out of 16605 with flag 5000/108921 5.97/5.58 c cleaning 7142 clauses out of 14307 with flag 11000/114921 6.37/5.93 c cleaning 7080 clauses out of 14166 with flag 18001/121922 6.77/6.33 c Got one! Elapsed wall clock time (in seconds):6.224 6.77/6.33 o 210 6.97/6.54 c cleaning 9763 clauses out of 19533 with flag 5000/134369 7.17/6.78 c cleaning 7883 clauses out of 15770 with flag 11000/140369 7.47/7.07 c Got one! Elapsed wall clock time (in seconds):6.96 7.47/7.07 o 201 7.68/7.28 c cleaning 9647 clauses out of 19308 with flag 5001/151790 7.98/7.60 c cleaning 7826 clauses out of 15662 with flag 11002/157791 8.48/8.07 c cleaning 7415 clauses out of 14835 with flag 18001/164790 8.98/8.53 c cleaning 7703 clauses out of 15419 with flag 26000/172789 9.38/8.90 c Got one! Elapsed wall clock time (in seconds):8.793 9.38/8.90 o 187 9.60/9.10 c cleaning 10326 clauses out of 20660 with flag 5004/185733 9.80/9.35 c cleaning 8162 clauses out of 16331 with flag 11001/191730 10.10/9.68 c cleaning 7574 clauses out of 15168 with flag 18000/198729 10.60/10.11 c cleaning 7786 clauses out of 15595 with flag 26001/206730 10.70/10.28 c Got one! Elapsed wall clock time (in seconds):10.17 10.70/10.28 o 182 10.80/10.35 c cleaning 6627 clauses out of 13260 with flag 2000/212181 11.01/10.56 c cleaning 6310 clauses out of 12633 with flag 8000/218181 11.31/10.81 c cleaning 6655 clauses out of 13323 with flag 15000/225181 11.61/11.13 c cleaning 7330 clauses out of 14668 with flag 23000/233181 11.81/11.39 c Got one! Elapsed wall clock time (in seconds):11.28 11.81/11.39 o 168 12.05/11.58 c cleaning 8780 clauses out of 17570 with flag 5002/243413 12.35/11.87 c cleaning 7392 clauses out of 14789 with flag 11001/249412 12.85/12.32 c cleaning 7190 clauses out of 14396 with flag 18000/256411 13.25/12.75 c cleaning 7594 clauses out of 15208 with flag 26002/264413 13.35/12.90 c Got one! Elapsed wall clock time (in seconds):12.786 13.35/12.90 o 154 13.55/13.00 c cleaning 6612 clauses out of 13233 with flag 3000/270032 13.75/13.21 c cleaning 6305 clauses out of 12621 with flag 9000/276032 14.05/13.52 c cleaning 6650 clauses out of 13316 with flag 16000/283032 14.45/13.95 c cleaning 7329 clauses out of 14667 with flag 24001/291033 14.95/14.43 c cleaning 8163 clauses out of 16337 with flag 33000/300032 15.56/15.01 c cleaning 9083 clauses out of 18176 with flag 43002/310034 15.76/15.22 c Got one! Elapsed wall clock time (in seconds):15.11 15.76/15.22 o 153 15.76/15.29 c cleaning 7249 clauses out of 14503 with flag 2000/315444 16.06/15.50 c cleaning 6625 clauses out of 13255 with flag 8001/321445 16.26/15.74 c cleaning 6807 clauses out of 13629 with flag 15000/328444 16.56/16.04 c cleaning 7405 clauses out of 14823 with flag 23001/336445 16.87/16.39 c cleaning 8199 clauses out of 16417 with flag 32000/345444 17.37/16.80 c Got one! Elapsed wall clock time (in seconds):16.694 17.37/16.80 o 148 17.57/17.00 c cleaning 10731 clauses out of 21480 with flag 5000/358706 17.67/17.11 c Got one! Elapsed wall clock time (in seconds):16.996 17.67/17.11 o 142 17.77/17.21 c cleaning 8034 clauses out of 16072 with flag 3000/364029 17.97/17.45 c Got one! Elapsed wall clock time (in seconds):17.336 17.97/17.45 o 135 18.17/17.67 c cleaning 9453 clauses out of 18921 with flag 5001/374912 18.47/17.93 c cleaning 7732 clauses out of 15470 with flag 11003/380914 18.87/18.36 c cleaning 7362 clauses out of 14737 with flag 18002/387913 19.28/18.71 c cleaning 7684 clauses out of 15374 with flag 26001/395912 19.67/19.10 c cleaning 8339 clauses out of 16690 with flag 35001/404912 20.07/19.56 c cleaning 9168 clauses out of 18350 with flag 45000/414911 20.67/20.14 c cleaning 9584 clauses out of 19182 with flag 55000/424911 20.77/20.21 c Got one! Elapsed wall clock time (in seconds):20.101 20.77/20.21 o 129 20.87/20.34 c cleaning 7334 clauses out of 14680 with flag 4000/429993 21.07/20.55 c cleaning 6669 clauses out of 13347 with flag 10001/435994 21.38/20.80 c cleaning 6837 clauses out of 13678 with flag 17001/442994 21.67/21.11 c cleaning 7416 clauses out of 14841 with flag 25001/450994 21.97/21.49 c cleaning 8207 clauses out of 16426 with flag 34002/459995 22.48/21.98 c cleaning 9104 clauses out of 18217 with flag 44000/469993 22.77/22.23 c Got one! Elapsed wall clock time (in seconds):22.124 22.77/22.23 o 120 22.77/22.28 c cleaning 7537 clauses out of 15086 with flag 1001/475966 22.97/22.49 c cleaning 6770 clauses out of 13548 with flag 7000/481965 23.28/22.74 c cleaning 6884 clauses out of 13781 with flag 14003/488968 23.58/23.04 c cleaning 7441 clauses out of 14894 with flag 22000/496965 23.87/23.39 c cleaning 8223 clauses out of 16454 with flag 31001/505966 24.28/23.79 c cleaning 9112 clauses out of 18230 with flag 41000/515965 24.95/24.31 c cleaning 9551 clauses out of 19118 with flag 51000/525965 25.14/24.49 c Got one! Elapsed wall clock time (in seconds):24.378 25.14/24.49 o 114 25.55/24.61 c cleaning 7679 clauses out of 15369 with flag 3000/531767 25.72/24.75 c Got one! Elapsed wall clock time (in seconds):24.639 25.72/24.75 o 106 25.84/24.82 c cleaning 6376 clauses out of 12759 with flag 2003/536836 26.04/25.07 c cleaning 6187 clauses out of 12383 with flag 8003/542836 26.44/25.43 c cleaning 6594 clauses out of 13196 with flag 15003/549836 26.85/25.88 c cleaning 7294 clauses out of 14599 with flag 23000/557833 27.35/26.36 c cleaning 8149 clauses out of 16306 with flag 32001/566834 27.96/26.92 c cleaning 9078 clauses out of 18159 with flag 42003/576836 28.47/27.49 c cleaning 9536 clauses out of 19080 with flag 52002/586835 29.17/28.14 c cleaning 9766 clauses out of 19542 with flag 62000/596833 29.77/28.74 c Got one! Elapsed wall clock time (in seconds):28.631 29.77/28.74 o 100 29.97/28.96 c cleaning 12296 clauses out of 24595 with flag 5001/611652 30.28/29.21 c cleaning 9143 clauses out of 18298 with flag 11000/617651 30.48/29.48 c cleaning 8075 clauses out of 16156 with flag 18001/624652 30.79/29.78 c cleaning 8035 clauses out of 16080 with flag 26000/632651 31.18/30.19 c cleaning 8511 clauses out of 17046 with flag 35001/641652 31.79/30.75 c cleaning 9259 clauses out of 18535 with flag 45001/651652 32.19/31.17 c Got one! Elapsed wall clock time (in seconds):31.056 32.19/31.17 o 97 32.39/31.35 c cleaning 10927 clauses out of 21858 with flag 5000/664234 32.59/31.59 c cleaning 8459 clauses out of 16931 with flag 11000/670234 32.90/31.85 c cleaning 7731 clauses out of 15472 with flag 18000/677234 33.19/32.14 c cleaning 7870 clauses out of 15745 with flag 26004/685238 33.49/32.49 c cleaning 8432 clauses out of 16871 with flag 35000/694234 33.89/32.80 c Got one! Elapsed wall clock time (in seconds):32.692 33.89/32.80 o 84 34.10/33.03 c cleaning 11224 clauses out of 22456 with flag 5001/708251 34.29/33.25 c cleaning 8612 clauses out of 17231 with flag 11000/714250 34.59/33.53 c cleaning 7806 clauses out of 15619 with flag 18000/721250 34.90/33.81 c cleaning 7901 clauses out of 15814 with flag 26001/729251 35.20/34.13 c cleaning 8447 clauses out of 16912 with flag 35000/738250 35.50/34.49 c cleaning 9226 clauses out of 18465 with flag 45000/748250 35.90/34.85 c cleaning 9613 clauses out of 19239 with flag 55000/758250 36.30/35.24 c cleaning 9810 clauses out of 19627 with flag 65001/768251 36.40/35.32 c Got one! Elapsed wall clock time (in seconds):35.206 36.40/35.32 o 81 36.50/35.49 c cleaning 7799 clauses out of 15602 with flag 4000/774036 36.80/35.79 c cleaning 6887 clauses out of 13805 with flag 10002/780038 37.20/36.11 c cleaning 6950 clauses out of 13916 with flag 17000/787036 37.50/36.49 c cleaning 7483 clauses out of 14970 with flag 25004/795040 38.00/36.91 c cleaning 8238 clauses out of 16483 with flag 34000/804036 38.40/37.37 c cleaning 9122 clauses out of 18250 with flag 44005/814041 38.90/37.89 c cleaning 9555 clauses out of 19123 with flag 54000/824036 39.40/38.39 c cleaning 9782 clauses out of 19569 with flag 64001/834037 39.51/38.48 c Got one! Elapsed wall clock time (in seconds):38.373 39.51/38.48 o 76 39.70/38.62 c cleaning 7762 clauses out of 15535 with flag 4000/839785 39.90/38.82 c cleaning 6883 clauses out of 13774 with flag 10001/845786 40.10/39.08 c cleaning 6939 clauses out of 13890 with flag 17000/852785 40.40/39.36 c cleaning 7473 clauses out of 14951 with flag 25000/860785 40.80/39.74 c cleaning 8237 clauses out of 16478 with flag 34000/869785 41.30/40.24 c cleaning 9114 clauses out of 18241 with flag 44000/879785 41.81/40.71 c cleaning 9558 clauses out of 19127 with flag 54000/889785 42.01/40.93 c Got one! Elapsed wall clock time (in seconds):40.817 42.01/40.93 o 64 42.01/40.97 c cleaning 7766 clauses out of 15544 with flag 1001/895760 42.21/41.17 c cleaning 6884 clauses out of 13778 with flag 7001/901760 42.51/41.42 c cleaning 6944 clauses out of 13894 with flag 14001/908760 42.81/41.71 c cleaning 7470 clauses out of 14949 with flag 22000/916759 43.11/42.04 c cleaning 8236 clauses out of 16480 with flag 31001/925760 43.51/42.41 c cleaning 9117 clauses out of 18244 with flag 41001/935760 43.91/42.85 c cleaning 9556 clauses out of 19127 with flag 51001/945760 44.41/43.36 c cleaning 9783 clauses out of 19571 with flag 61001/955760 44.62/43.57 c Got one! Elapsed wall clock time (in seconds):43.461 44.62/43.57 o 63 44.72/43.61 c cleaning 7870 clauses out of 15747 with flag 1000/961719 44.92/43.83 c cleaning 6937 clauses out of 13880 with flag 7003/967722 45.13/44.08 c cleaning 6965 clauses out of 13941 with flag 14001/974720 45.52/44.40 c cleaning 7481 clauses out of 14975 with flag 22000/982719 45.82/44.76 c cleaning 8241 clauses out of 16494 with flag 31000/991719 46.23/45.15 c cleaning 9123 clauses out of 18253 with flag 41000/1001719 46.62/45.57 c cleaning 9559 clauses out of 19130 with flag 51000/1011719 47.03/45.99 c cleaning 9782 clauses out of 19571 with flag 61000/1021719 47.52/46.48 c cleaning 9891 clauses out of 19790 with flag 71001/1031720 47.72/46.68 c Got one! Elapsed wall clock time (in seconds):46.57 47.72/46.68 o 46 47.82/46.73 c cleaning 7915 clauses out of 15841 with flag 1000/1037662 48.02/46.93 c cleaning 6958 clauses out of 13926 with flag 7000/1043662 48.22/47.18 c cleaning 6982 clauses out of 13969 with flag 14001/1050663 48.52/47.47 c cleaning 7487 clauses out of 14988 with flag 22002/1058664 48.92/47.80 c cleaning 8244 clauses out of 16499 with flag 31000/1067662 49.22/48.18 c cleaning 9125 clauses out of 18256 with flag 41001/1077663 49.62/48.56 c cleaning 9563 clauses out of 19131 with flag 51001/1087663 50.03/48.94 c cleaning 9782 clauses out of 19569 with flag 61002/1097664 50.43/49.34 c cleaning 9891 clauses out of 19789 with flag 71004/1107666 50.83/49.76 c cleaning 9944 clauses out of 19895 with flag 81001/1117663 51.23/50.14 c cleaning 9969 clauses out of 19950 with flag 91000/1127662 51.64/50.52 c cleaning 9986 clauses out of 19981 with flag 101000/1137662 51.94/50.87 c cleaning 9994 clauses out of 19997 with flag 111002/1147664 52.34/51.22 c cleaning 9992 clauses out of 20001 with flag 121000/1157662 52.74/51.64 c cleaning 10003 clauses out of 20011 with flag 131002/1167664 53.14/52.03 c cleaning 9996 clauses out of 20006 with flag 141000/1177662 53.24/52.14 c Got one! Elapsed wall clock time (in seconds):52.028 53.24/52.14 o 41 53.34/52.21 c cleaning 7542 clauses out of 15090 with flag 2000/1182742 53.54/52.41 c cleaning 6769 clauses out of 13550 with flag 8002/1188744 53.74/52.64 c cleaning 6886 clauses out of 13780 with flag 15001/1195743 54.04/52.91 c cleaning 7443 clauses out of 14893 with flag 23000/1203742 54.04/52.97 c Got one! Elapsed wall clock time (in seconds):52.861 54.04/52.97 o 35 54.24/53.10 c cleaning 6530 clauses out of 13069 with flag 4000/1209361 54.44/53.31 c cleaning 6265 clauses out of 12539 with flag 10000/1215361 54.64/53.55 c cleaning 6634 clauses out of 13278 with flag 17004/1222365 54.95/53.84 c cleaning 7315 clauses out of 14640 with flag 25000/1230361 55.24/54.17 c cleaning 8161 clauses out of 16325 with flag 34000/1239361 55.74/54.60 c cleaning 9079 clauses out of 18167 with flag 44003/1249364 55.95/54.83 c Got one! Elapsed wall clock time (in seconds):54.718 55.95/54.83 o 32 56.15/55.04 c cleaning 9677 clauses out of 19359 with flag 5001/1259635 56.35/55.26 c cleaning 7838 clauses out of 15682 with flag 11001/1265635 56.65/55.52 c cleaning 7418 clauses out of 14844 with flag 18001/1272635 56.96/55.80 c cleaning 7708 clauses out of 15426 with flag 26001/1280635 57.27/56.13 c cleaning 8353 clauses out of 16717 with flag 35000/1289634 57.56/56.48 c cleaning 9179 clauses out of 18366 with flag 45002/1299636 58.06/56.97 c cleaning 9587 clauses out of 19185 with flag 55000/1309634 58.56/57.43 c cleaning 9793 clauses out of 19598 with flag 65000/1319634 58.97/57.85 c cleaning 9900 clauses out of 19806 with flag 75001/1329635 59.27/58.20 c cleaning 9949 clauses out of 19906 with flag 85001/1339635 59.68/58.59 c cleaning 9971 clauses out of 19957 with flag 95001/1349635 60.08/58.99 c cleaning 9989 clauses out of 19987 with flag 105002/1359636 60.59/59.45 c cleaning 9992 clauses out of 19996 with flag 115000/1369634 60.98/59.82 c cleaning 9996 clauses out of 20004 with flag 125000/1379634 61.38/60.23 c cleaning 9997 clauses out of 20009 with flag 135001/1389635 61.59/60.42 c Got one! Elapsed wall clock time (in seconds):60.313 61.59/60.42 o 27 61.79/60.61 c cleaning 10256 clauses out of 20517 with flag 5001/1400140 61.99/60.82 c cleaning 8125 clauses out of 16262 with flag 11002/1406141 62.19/61.06 c cleaning 7564 clauses out of 15136 with flag 18001/1413140 62.49/61.34 c cleaning 7779 clauses out of 15571 with flag 26000/1421139 62.79/61.68 c cleaning 8392 clauses out of 16793 with flag 35001/1430140 63.19/62.03 c cleaning 9197 clauses out of 18401 with flag 45001/1440140 63.59/62.40 c cleaning 9600 clauses out of 19203 with flag 55000/1450139 63.99/62.80 c cleaning 9799 clauses out of 19605 with flag 65002/1460141 64.29/63.19 c cleaning 9897 clauses out of 19804 with flag 75000/1470139 64.69/63.53 c cleaning 9950 clauses out of 19909 with flag 85002/1480141 65.09/63.90 c cleaning 9975 clauses out of 19958 with flag 95001/1490140 65.39/64.29 c cleaning 9985 clauses out of 19982 with flag 105000/1500139 65.79/64.65 c cleaning 9992 clauses out of 19998 with flag 115001/1510140 66.19/65.03 c cleaning 10000 clauses out of 20007 with flag 125002/1520141 66.59/65.40 c cleaning 9998 clauses out of 20005 with flag 135000/1530139 66.99/65.80 c cleaning 9998 clauses out of 20007 with flag 145000/1540139 67.39/66.22 c cleaning 9998 clauses out of 20011 with flag 155002/1550141 67.79/66.69 c cleaning 9995 clauses out of 20011 with flag 165000/1560139 68.20/67.08 c cleaning 10004 clauses out of 20018 with flag 175002/1570141 68.60/67.43 c cleaning 9995 clauses out of 20012 with flag 185000/1580139 68.60/67.45 c Got one! Elapsed wall clock time (in seconds):67.342 68.60/67.45 o 21 68.80/67.61 c cleaning 7668 clauses out of 15340 with flag 5000/1585462 69.00/67.81 c cleaning 6832 clauses out of 13672 with flag 11000/1591462 69.20/68.04 c cleaning 6915 clauses out of 13840 with flag 18000/1598462 69.50/68.32 c cleaning 7459 clauses out of 14925 with flag 26000/1606462 69.80/68.64 c cleaning 8228 clauses out of 16466 with flag 35000/1615462 70.10/68.99 c cleaning 9116 clauses out of 18239 with flag 45001/1625463 70.51/69.34 c cleaning 9557 clauses out of 19125 with flag 55003/1635465 70.91/69.72 c cleaning 9779 clauses out of 19565 with flag 65000/1645462 71.21/70.09 c cleaning 9885 clauses out of 19786 with flag 75000/1655462 71.63/70.44 c cleaning 9948 clauses out of 19904 with flag 85003/1665465 71.92/70.80 c cleaning 9973 clauses out of 19954 with flag 95001/1675463 72.32/71.14 c cleaning 9986 clauses out of 19981 with flag 105001/1685463 72.73/71.51 c cleaning 9991 clauses out of 19995 with flag 115001/1695463 73.02/71.86 c cleaning 9994 clauses out of 20003 with flag 125000/1705462 73.43/72.21 c cleaning 9999 clauses out of 20011 with flag 135002/1715464 73.73/72.56 c cleaning 10001 clauses out of 20012 with flag 145002/1725464 74.13/72.92 c cleaning 10001 clauses out of 20011 with flag 155002/1735464 74.43/73.26 c cleaning 10001 clauses out of 20008 with flag 165000/1745462 74.84/73.61 c cleaning 9999 clauses out of 20007 with flag 175000/1755462 75.13/73.96 c cleaning 9998 clauses out of 20008 with flag 185000/1765462 75.53/74.32 c cleaning 10000 clauses out of 20010 with flag 195000/1775462 75.83/74.69 c cleaning 9997 clauses out of 20010 with flag 205000/1785462 76.23/75.05 c cleaning 9994 clauses out of 20013 with flag 215000/1795462 76.63/75.40 c cleaning 10005 clauses out of 20022 with flag 225003/1805465 76.94/75.73 c cleaning 9999 clauses out of 20014 with flag 235000/1815462 77.24/76.08 c cleaning 9998 clauses out of 20015 with flag 245000/1825462 77.64/76.42 c cleaning 10005 clauses out of 20017 with flag 255000/1835462 77.94/76.76 c cleaning 10001 clauses out of 20012 with flag 265000/1845462 78.34/77.10 c cleaning 10001 clauses out of 20012 with flag 275001/1855463 78.64/77.43 c cleaning 10001 clauses out of 20011 with flag 285001/1865463 78.94/77.79 c cleaning 9999 clauses out of 20010 with flag 295001/1875463 79.04/77.83 c Got one! Elapsed wall clock time (in seconds):77.722 79.04/77.83 o 18 79.14/77.99 c cleaning 7900 clauses out of 15803 with flag 5001/1881255 79.35/78.18 c cleaning 6944 clauses out of 13902 with flag 11000/1887254 79.64/78.41 c cleaning 6974 clauses out of 13959 with flag 18001/1894255 79.85/78.69 c cleaning 7487 clauses out of 14986 with flag 26002/1902256 80.25/79.01 c cleaning 8246 clauses out of 16501 with flag 35004/1911258 80.55/79.36 c cleaning 9122 clauses out of 18253 with flag 45002/1921256 80.95/79.70 c cleaning 9562 clauses out of 19131 with flag 55002/1931256 81.25/80.07 c cleaning 9781 clauses out of 19567 with flag 65000/1941254 81.65/80.46 c cleaning 9890 clauses out of 19789 with flag 75003/1951257 82.05/80.82 c cleaning 9942 clauses out of 19897 with flag 85001/1961255 82.35/81.16 c cleaning 9974 clauses out of 19955 with flag 95001/1971255 82.76/81.52 c cleaning 9985 clauses out of 19980 with flag 105000/1981254 83.16/81.90 c cleaning 9991 clauses out of 19995 with flag 115000/1991254 83.46/82.29 c cleaning 9998 clauses out of 20005 with flag 125001/2001255 83.86/82.66 c cleaning 10001 clauses out of 20009 with flag 135003/2011257 84.26/83.03 c cleaning 9998 clauses out of 20006 with flag 145001/2021255 84.56/83.39 c cleaning 10001 clauses out of 20008 with flag 155001/2031255 84.76/83.58 c Got one! Elapsed wall clock time (in seconds):83.47 84.76/83.58 o 2 84.96/83.77 c cleaning 10411 clauses out of 20832 with flag 5000/2042080 85.16/83.96 c cleaning 8207 clauses out of 16421 with flag 11000/2048080 85.36/84.19 c cleaning 7602 clauses out of 15216 with flag 18002/2055082 85.66/84.46 c cleaning 7804 clauses out of 15613 with flag 26001/2063081 85.97/84.76 c cleaning 8401 clauses out of 16809 with flag 35001/2072081 86.26/85.09 c cleaning 9201 clauses out of 18407 with flag 45000/2082080 86.66/85.45 c cleaning 9602 clauses out of 19207 with flag 55001/2092081 87.07/85.82 c cleaning 9801 clauses out of 19605 with flag 65002/2102082 87.37/86.18 c cleaning 9893 clauses out of 19802 with flag 75000/2112080 87.77/86.52 c cleaning 9950 clauses out of 19910 with flag 85001/2122081 88.07/86.88 c cleaning 9976 clauses out of 19960 with flag 95001/2132081 88.46/87.23 c cleaning 9989 clauses out of 19983 with flag 105000/2142080 88.87/87.61 c cleaning 9994 clauses out of 19994 with flag 115000/2152080 89.27/88.04 c cleaning 9998 clauses out of 20001 with flag 125001/2162081 89.67/88.42 c cleaning 9997 clauses out of 20001 with flag 135000/2172080 89.87/88.69 c starts : 272 89.87/88.69 c conflicts : 2179567 89.87/88.69 c decisions : 3419460 89.87/88.69 c propagations : 55144294 89.87/88.69 c inspects : 495452747 89.87/88.69 c shortcuts : 0 89.87/88.69 c learnt literals : 10 89.87/88.69 c learnt binary clauses : 88 89.87/88.69 c learnt ternary clauses : 1081 89.87/88.69 c learnt constraints : 2179556 89.87/88.69 c ignored constraints : 0 89.87/88.69 c root simplifications : 0 89.87/88.70 c removed literals (reason simplification) : 13292268 89.87/88.70 c reason swapping (by a shorter reason) : 0 89.87/88.70 c Calls to reduceDB : 252 89.87/88.70 c number of reductions to clauses (during analyze) : 0 89.87/88.70 c number of learned constraints concerned by reduction : 0 89.87/88.70 c number of learning phase by resolution : 0 89.87/88.70 c number of learning phase by cutting planes : 0 89.87/88.70 c speed (assignments/second) : 1.0780898142717497E7 89.87/88.70 c non guided choices 4090 89.87/88.70 c learnt constraints type 89.87/88.70 c constraints type 89.87/88.70 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 30 89.87/88.70 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 71 89.87/88.70 s OPTIMUM FOUND 89.87/88.70 v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 x13 -x14 -x15 -x16 -x17 -x18 -x19 x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 x38 -x39 -x40 x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -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 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 x115 -x116 -x117 -x118 -x119 x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 89.87/88.70 c objective function=2 89.87/88.70 c Total wall clock time (in seconds): 88.586
OK 2
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL This is runsolver version 3.3.1 (svn: 989) 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 /var/tmp/evaluation-result-3492699-1307911161/watcher-3492699-1307911161 -o /var/tmp/evaluation-result-3492699-1307911161/solver-3492699-1307911161 -C 1800 -W 1900 -M 15500 java -Xms10000m -Xmx10000m -jar sat4j-pb.jar Resolution HOME/instance-3492699-1307911161.wbo running on 4 cores: 1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.06 2.02 2.00 2/195 27300 /proc/meminfo: memFree=11117672/32951124 swapFree=67056304/67111528 [pid=27300] ppid=27298 vsize=23028 CPUtime=0 cores=1,3,5,7 /proc/27300/stat : 27300 (java) R 27298 27300 24181 0 -1 4202496 952 0 0 0 0 0 0 0 25 0 1 0 981346688 23580672 693 33554432000 1073741824 1073778376 140735451517680 18446744073709551615 260015433617 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/27300/statm: 5757 694 511 9 0 124 0 [startup+0.014442 s] /proc/loadavg: 2.06 2.02 2.00 2/195 27300 /proc/meminfo: memFree=11117672/32951124 swapFree=67056304/67111528 [pid=27300] ppid=27298 vsize=10444316 CPUtime=0 cores=1,3,5,7 /proc/27300/stat : 27300 (java) S 27298 27300 24181 0 -1 4202496 3467 0 1 0 0 0 0 0 25 0 2 0 981346688 10694979584 3166 33554432000 1073741824 1073778376 140735451517680 18446744073709551615 260032198629 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0 0 /proc/27300/statm: 2611079 3185 917 9 0 2602235 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 10444316 [startup+0.104454 s] /proc/loadavg: 2.06 2.02 2.00 2/195 27300 /proc/meminfo: memFree=11117672/32951124 swapFree=67056304/67111528 [pid=27300] ppid=27298 vsize=10539944 CPUtime=0.11 cores=1,3,5,7 /proc/27300/stat : 27300 (java) S 27298 27300 24181 0 -1 4202496 13077 0 1 0 9 2 0 0 25 0 18 0 981346688 10792902656 12771 33554432000 1073741824 1073778376 140735451517680 18446744073709551615 260032198629 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 /proc/27300/statm: 2634986 12772 2093 9 0 2625720 0 Current children cumulated CPU time (s) 0.11 Current children cumulated vsize (KiB) 10539944 [startup+0.300347 s] /proc/loadavg: 2.06 2.02 2.00 2/195 27300 /proc/meminfo: memFree=11117672/32951124 swapFree=67056304/67111528 [pid=27300] ppid=27298 vsize=10545496 CPUtime=0.5 cores=1,3,5,7 /proc/27300/stat : 27300 (java) S 27298 27300 24181 0 -1 4202496 15903 0 1 0 48 2 0 0 25 0 19 0 981346688 10798587904 14708 33554432000 1073741824 1073778376 140735451517680 18446744073709551615 260032198629 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 /proc/27300/statm: 2636374 14708 2215 9 0 2627108 0 Current children cumulated CPU time (s) 0.5 Current children cumulated vsize (KiB) 10545496 [startup+0.700309 s] /proc/loadavg: 2.06 2.02 2.00 2/195 27300 /proc/meminfo: memFree=11117672/32951124 swapFree=67056304/67111528 [pid=27300] ppid=27298 vsize=10545496 CPUtime=0.96 cores=1,3,5,7 /proc/27300/stat : 27300 (java) S 27298 27300 24181 0 -1 4202496 17004 0 1 0 94 2 0 0 25 0 19 0 981346688 10798587904 15391 33554432000 1073741824 1073778376 140735451517680 18446744073709551615 260032198629 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 /proc/27300/statm: 2636374 15391 2219 9 0 2627108 0 Current children cumulated CPU time (s) 0.96 Current children cumulated vsize (KiB) 10545496 [startup+1.50116 s] /proc/loadavg: 2.06 2.01 2.00 3/214 27319 /proc/meminfo: memFree=11061436/32951124 swapFree=67056304/67111528 [pid=27300] ppid=27298 vsize=10545496 CPUtime=1.83 cores=1,3,5,7 /proc/27300/stat : 27300 (java) S 27298 27300 24181 0 -1 4202496 18241 0 1 0 180 3 0 0 25 0 19 0 981346688 10798587904 16589 33554432000 1073741824 1073778376 140735451517680 18446744073709551615 260032198629 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 /proc/27300/statm: 2636374 16589 2248 9 0 2627108 0 [pid=27300/tid=27302] ppid=27298 vsize=10545496 CPUtime=1.45 cores=1,3,5,7 /proc/27300/task/27302/stat : 27302 (java) R 27298 27300 24181 0 -1 4202560 12639 0 1 0 143 2 0 0 25 0 19 0 981346689 10798587904 16589 33554432000 1073741824 1073778376 140735451517680 18446744073709551615 46912505578316 0 4 0 16800975 0 0 0 -1 3 0 0 0 [pid=27300/tid=27303] ppid=27298 vsize=10545496 CPUtime=0 cores=1,3,5,7 /proc/27300/task/27303/stat : 27303 (java) S 27298 27300 24181 0 -1 4202560 156 0 0 0 0 0 0 0 16 0 19 0 981346690 10798587904 16589 33554432000 1073741824 1073778376 140735451517680 18446744073709551615 260032211865 0 4 0 16800975 18446604471127450816 0 0 -1 7 0 0 0 [pid=27300/tid=27304] ppid=27298 vsize=10545496 CPUtime=0 cores=1,3,5,7 /proc/27300/task/27304/stat : 27304 (java) S 27298 27300 24181 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 981346690 10798587904 16589 33554432000 1073741824 1073778376 140735451517680 18446744073709551615 260032211865 0 4 0 16800975 18446604471127450816 0 0 -1 7 0 0 0 [pid=27300/tid=27305] ppid=27298 vsize=10545496 CPUtime=0 cores=1,3,5,7 /proc/27300/task/27305/stat : 27305 (java) S 27298 27300 24181 0 -1 4202560 32 0 0 0 0 0 0 0 15 0 19 0 981346690 10798587904 16589 33554432000 1073741824 1073778376 140735451517680 18446744073709551615 260032211865 0 4 0 16800975 18446604471127450816 0 0 -1 7 0 0 0 [pid=27300/tid=27306] ppid=27298 vsize=10545496 CPUtime=0 cores=1,3,5,7 /proc/27300/task/27306/stat : 27306 (java) S 27298 27300 24181 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 981346690 10798587904 16589 33554432000 1073741824 1073778376 140735451517680 18446744073709551615 260032211865 0 4 0 16800975 18446604471127450816 0 0 -1 7 0 0 0 [pid=27300/tid=27307] ppid=27298 vsize=10545496 CPUtime=0 cores=1,3,5,7 /proc/27300/task/27307/stat : 27307 (java) S 27298 27300 24181 0 -1 4202560 1 0 0 0 0 0 0 0 16 0 19 0 981346690 10798587904 16589 33554432000 1073741824 1073778376 140735451517680 18446744073709551615 260032211865 0 4 0 16800975 18446604471127450816 0 0 -1 7 0 0 0 [pid=27300/tid=27308] ppid=27298 vsize=10545496 CPUtime=0 cores=1,3,5,7 /proc/27300/task/27308/stat : 27308 (java) S 27298 27300 24181 0 -1 4202560 58 0 0 0 0 0 0 0 15 0 19 0 981346690 10798587904 16589 33554432000 1073741824 1073778376 140735451517680 18446744073709551615 260032211865 0 4 0 16800975 18446604471127450816 0 0 -1 3 0 0 0 [pid=27300/tid=27309] ppid=27298 vsize=10545496 CPUtime=0 cores=1,3,5,7 /proc/27300/task/27309/stat : 27309 (java) S 27298 27300 24181 0 -1 4202560 190 0 0 0 0 0 0 0 15 0 19 0 981346690 10798587904 16589 33554432000 1073741824 1073778376 140735451517680 18446744073709551615 260032211865 0 4 0 16800975 18446604471127450816 0 0 -1 5 0 0 0 [pid=27300/tid=27310] ppid=27298 vsize=10545496 CPUtime=0 cores=1,3,5,7 /proc/27300/task/27310/stat : 27310 (java) S 27298 27300 24181 0 -1 4202560 148 0 0 0 0 0 0 0 15 0 19 0 981346690 10798587904 16589 33554432000 1073741824 1073778376 140735451517680 18446744073709551615 260032211865 0 4 0 16800975 18446604471127450816 0 0 -1 7 0 0 0 [pid=27300/tid=27311] ppid=27298 vsize=10545496 CPUtime=0.02 cores=1,3,5,7 /proc/27300/task/27311/stat : 27311 (java) S 27298 27300 24181 0 -1 4202560 458 0 0 0 2 0 0 0 15 0 19 0 981346691 10798587904 16589 33554432000 1073741824 1073778376 140735451517680 18446744073709551615 260032212480 0 0 0 16800975 18446604471127450816 0 0 -1 3 0 0 0 [pid=27300/tid=27312] ppid=27298 vsize=10545496 CPUtime=0 cores=1,3,5,7 /proc/27300/task/27312/stat : 27312 (java) S 27298 27300 24181 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 981346692 10798587904 16589 33554432000 1073741824 1073778376 140735451517680 18446744073709551615 260032211865 0 4 0 16800975 18446604471127450816 0 0 -1 1 0 0 0 [pid=27300/tid=27313] ppid=27298 vsize=10545496 CPUtime=0 cores=1,3,5,7 /proc/27300/task/27313/stat : 27313 (java) S 27298 27300 24181 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 981346692 10798587904 16589 33554432000 1073741824 1073778376 140735451517680 18446744073709551615 260032211865 0 4 0 16800975 18446604471127450816 0 0 -1 5 0 0 0 [pid=27300/tid=27314] ppid=27298 vsize=10545496 CPUtime=0 cores=1,3,5,7 /proc/27300/task/27314/stat : 27314 (java) S 27298 27300 24181 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 981346694 10798587904 16589 33554432000 1073741824 1073778376 140735451517680 18446744073709551615 260032219569 0 4 0 16800975 18446604471127450816 0 0 -1 1 0 0 0 [pid=27300/tid=27315] ppid=27298 vsize=10545496 CPUtime=0.15 cores=1,3,5,7 /proc/27300/task/27315/stat : 27315 (java) S 27298 27300 24181 0 -1 4202560 881 0 0 0 15 0 0 0 15 0 19 0 981346694 10798587904 16589 33554432000 1073741824 1073778376 140735451517680 18446744073709551615 260032211865 0 4 0 16800975 18446604471127450816 0 0 -1 5 0 0 0 [pid=27300/tid=27316] ppid=27298 vsize=10545496 CPUtime=0.17 cores=1,3,5,7 /proc/27300/task/27316/stat : 27316 (java) S 27298 27300 24181 0 -1 4202560 2523 0 0 0 17 0 0 0 15 0 19 0 981346694 10798587904 16589 33554432000 1073741824 1073778376 140735451517680 18446744073709551615 260032211865 0 4 0 16800975 18446604471127450816 0 0 -1 1 0 0 0 [pid=27300/tid=27317] ppid=27298 vsize=10545496 CPUtime=0 cores=1,3,5,7 /proc/27300/task/27317/stat : 27317 (java) S 27298 27300 24181 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 981346694 10798587904 16589 33554432000 1073741824 1073778376 140735451517680 18446744073709551615 260032211865 0 4 0 16800975 18446604471127450816 0 0 -1 1 0 0 0 [pid=27300/tid=27318] ppid=27298 vsize=10545496 CPUtime=0 cores=1,3,5,7 /proc/27300/task/27318/stat : 27318 (java) S 27298 27300 24181 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 981346694 10798587904 16589 33554432000 1073741824 1073778376 140735451517680 18446744073709551615 260032212480 0 4 0 16800975 18446604471127450816 0 0 -1 7 0 0 0 [pid=27300/tid=27319] ppid=27298 vsize=10545496 CPUtime=0 cores=1,3,5,7 /proc/27300/task/27319/stat : 27319 (java) S 27298 27300 24181 0 -1 4202560 7 0 0 0 0 0 0 0 23 0 19 0 981346705 10798587904 16589 33554432000 1073741824 1073778376 140735451517680 18446744073709551615 260032212480 0 4 0 16800975 18446604471127450816 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 1.83 Current children cumulated vsize (KiB) 10545496 [startup+3.10087 s] /proc/loadavg: 2.06 2.01 2.00 3/214 27319 /proc/meminfo: memFree=11057112/32951124 swapFree=67056304/67111528 [pid=27300] ppid=27298 vsize=10545496 CPUtime=3.55 cores=1,3,5,7 /proc/27300/stat : 27300 (java) S 27298 27300 24181 0 -1 4202496 20564 0 1 0 352 3 0 0 25 0 19 0 981346688 10798587904 17402 33554432000 1073741824 1073778376 140735451517680 18446744073709551615 260032198629 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 /proc/27300/statm: 2636374 17402 2250 9 0 2627108 0 [pid=27300/tid=27302] ppid=27298 vsize=10545496 CPUtime=2.97 cores=1,3,5,7 /proc/27300/task/27302/stat : 27302 (java) R 27298 27300 24181 0 -1 4202560 12646 0 1 0 295 2 0 0 25 0 19 0 981346689 10798587904 17402 33554432000 1073741824 1073778376 140735451517680 18446744073709551615 46912505537300 0 4 0 16800975 0 0 0 -1 3 0 0 0 [pid=27300/tid=27303] ppid=27298 vsize=10545496 CPUtime=0 cores=1,3,5,7 /proc/27300/task/27303/stat : 27303 (java) S 27298 27300 24181 0 -1 4202560 156 0 0 0 0 0 0 0 15 0 19 0 981346690 10798587904 17402 33554432000 1073741824 1073778376 140735451517680 18446744073709551615 260032211865 0 4 0 16800975 18446604471127450816 0 0 -1 7 0 0 0 [pid=27300/tid=27304] ppid=27298 vsize=10545496 CPUtime=0 cores=1,3,5,7 /proc/27300/task/27304/stat : 27304 (java) S 27298 27300 24181 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 981346690 10798587904 17402 33554432000 1073741824 1073778376 140735451517680 18446744073709551615 260032211865 0 4 0 16800975 18446604471127450816 0 0 -1 7 0 0 0 [pid=27300/tid=27305] ppid=27298 vsize=10545496 CPUtime=0 cores=1,3,5,7 /proc/27300/task/27305/stat : 27305 (java) S 27298 27300 24181 0 -1 4202560 32 0 0 0 0 0 0 0 15 0 19 0 981346690 10798587904 17402 33554432000 1073741824 1073778376 140735451517680 18446744073709551615 260032211865 0 4 0 16800975 18446604471127450816 0 0 -1 5 0 0 0 [pid=27300/tid=27306] ppid=27298 vsize=10545496 CPUtime=0 cores=1,3,5,7 /proc/27300/task/27306/stat : 27306 (java) S 27298 27300 24181 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 19 0 981346690 10798587904 17402 33554432000 1073741824 1073778376 140735451517680 18446744073709551615 260032211865 0 4 0 16800975 18446604471127450816 0 0 -1 1 0 0 0 [pid=27300/tid=27307] ppid=27298 vsize=10545496 CPUtime=0 cores=1,3,5,7 /proc/27300/task/27307/stat : 27307 (java) S 27298 27300 24181 0 -1 4202560 158 0 0 0 0 0 0 0 15 0 19 0 981346690 10798587904 17402 33554432000 1073741824 1073778376 140735451517680 18446744073709551615 260032211865 0 4 0 16800975 18446604471127450816 0 0 -1 5 0 0 0 [pid=27300/tid=27308] ppid=27298 vsize=10545496 CPUtime=0 cores=1,3,5,7 /proc/27300/task/27308/stat : 27308 (java) S 27298 27300 24181 0 -1 4202560 207 0 0 0 0 0 0 0 15 0 19 0 981346690 10798587904 17402 33554432000 1073741824 1073778376 140735451517680 18446744073709551615 260032211865 0 4 0 16800975 18446604471127450816 0 0 -1 7 0 0 0 [pid=27300/tid=27309] ppid=27298 vsize=10545496 CPUtime=0 cores=1,3,5,7 /proc/27300/task/27309/stat : 27309 (java) S 27298 27300 24181 0 -1 4202560 190 0 0 0 0 0 0 0 15 0 19 0 981346690 10798587904 17402 33554432000 1073741824 1073778376 140735451517680 18446744073709551615 260032211865 0 4 0 16800975 18446604471127450816 0 0 -1 7 0 0 0 [pid=27300/tid=27310] ppid=27298 vsize=10545496 CPUtime=0 cores=1,3,5,7 /proc/27300/task/27310/stat : 27310 (java) S 27298 27300 24181 0 -1 4202560 167 0 0 0 0 0 0 0 15 0 19 0 981346690 10798587904 17402 33554432000 1073741824 1073778376 140735451517680 18446744073709551615 260032211865 0 4 0 16800975 18446604471127450816 0 0 -1 5 0 0 0 [pid=27300/tid=27311] ppid=27298 vsize=10545496 CPUtime=0.09 cores=1,3,5,7 /proc/27300/task/27311/stat : 27311 (java) S 27298 27300 24181 0 -1 4202560 657 0 0 0 9 0 0 0 16 0 19 0 981346691 10798587904 17402 33554432000 1073741824 1073778376 140735451517680 18446744073709551615 260032212480 0 0 0 16800975 18446604471127450816 0 0 -1 3 0 0 0 [pid=27300/tid=27312] ppid=27298 vsize=10545496 CPUtime=0 cores=1,3,5,7 /proc/27300/task/27312/stat : 27312 (java) S 27298 27300 24181 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 981346692 10798587904 17402 33554432000 1073741824 1073778376 140735451517680 18446744073709551615 260032211865 0 4 0 16800975 18446604471127450816 0 0 -1 1 0 0 0 [pid=27300/tid=27313] ppid=27298 vsize=10545496 CPUtime=0 cores=1,3,5,7 /proc/27300/task/27313/stat : 27313 (java) S 27298 27300 24181 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 981346692 10798587904 17402 33554432000 1073741824 1073778376 140735451517680 18446744073709551615 260032211865 0 4 0 16800975 18446604471127450816 0 0 -1 5 0 0 0 [pid=27300/tid=27314] ppid=27298 vsize=10545496 CPUtime=0 cores=1,3,5,7 /proc/27300/task/27314/stat : 27314 (java) S 27298 27300 24181 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 981346694 10798587904 17402 33554432000 1073741824 1073778376 140735451517680 18446744073709551615 260032219569 0 4 0 16800975 18446604471127450816 0 0 -1 1 0 0 0 [pid=27300/tid=27315] ppid=27298 vsize=10545496 CPUtime=0.16 cores=1,3,5,7 /proc/27300/task/27315/stat : 27315 (java) S 27298 27300 24181 0 -1 4202560 881 0 0 0 16 0 0 0 15 0 19 0 981346694 10798587904 17402 33554432000 1073741824 1073778376 140735451517680 18446744073709551615 260032211865 0 4 0 16800975 18446604471127450816 0 0 -1 5 0 0 0 [pid=27300/tid=27316] ppid=27298 vsize=10545496 CPUtime=0.28 cores=1,3,5,7 /proc/27300/task/27316/stat : 27316 (java) S 27298 27300 24181 0 -1 4202560 4313 0 0 0 28 0 0 0 15 0 19 0 981346694 10798587904 17402 33554432000 1073741824 1073778376 140735451517680 18446744073709551615 260032211865 0 4 0 16800975 18446604471127450816 0 0 -1 1 0 0 0 [pid=27300/tid=27317] ppid=27298 vsize=10545496 CPUtime=0 cores=1,3,5,7 /proc/27300/task/27317/stat : 27317 (java) S 27298 27300 24181 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 981346694 10798587904 17402 33554432000 1073741824 1073778376 140735451517680 18446744073709551615 260032211865 0 4 0 16800975 18446604471127450816 0 0 -1 1 0 0 0 [pid=27300/tid=27318] ppid=27298 vsize=10545496 CPUtime=0 cores=1,3,5,7 /proc/27300/task/27318/stat : 27318 (java) S 27298 27300 24181 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 981346694 10798587904 17402 33554432000 1073741824 1073778376 140735451517680 18446744073709551615 260032212480 0 4 0 16800975 18446604471127450816 0 0 -1 7 0 0 0 [pid=27300/tid=27319] ppid=27298 vsize=10545496 CPUtime=0 cores=1,3,5,7 /proc/27300/task/27319/stat : 27319 (java) S 27298 27300 24181 0 -1 4202560 7 0 0 0 0 0 0 0 23 0 19 0 981346705 10798587904 17402 33554432000 1073741824 1073778376 140735451517680 18446744073709551615 260032212480 0 4 0 16800975 18446604471127450816 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 3.55 Current children cumulated vsize (KiB) 10545496 [startup+6.30128 s] /proc/loadavg: 2.05 2.01 2.00 3/214 27319 /proc/meminfo: memFree=11055616/32951124 swapFree=67056304/67111528 [pid=27300] ppid=27298 vsize=10545496 CPUtime=6.77 cores=1,3,5,7 /proc/27300/stat : 27300 (java) S 27298 27300 24181 0 -1 4202496 20588 0 1 0 673 4 0 0 25 0 19 0 981346688 10798587904 17416 33554432000 1073741824 1073778376 140735451517680 18446744073709551615 260032198629 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 /proc/27300/statm: 2636374 17416 2250 9 0 2627108 0 [pid=27300/tid=27302] ppid=27298 vsize=10545496 CPUtime=6.05 cores=1,3,5,7 /proc/27300/task/27302/stat : 27302 (java) R 27298 27300 24181 0 -1 4202560 12656 0 1 0 603 2 0 0 25 0 19 0 981346689 10798587904 17416 33554432000 1073741824 1073778376 140735451517680 18446744073709551615 46912505537200 0 4 0 16800975 0 0 0 -1 3 0 0 0 [pid=27300/tid=27303] ppid=27298 vsize=10545496 CPUtime=0 cores=1,3,5,7 /proc/27300/task/27303/stat : 27303 (java) S 27298 27300 24181 0 -1 4202560 159 0 0 0 0 0 0 0 15 0 19 0 981346690 10798587904 17416 33554432000 1073741824 1073778376 140735451517680 18446744073709551615 260032211865 0 4 0 16800975 18446604471127450816 0 0 -1 7 0 0 0 [pid=27300/tid=27304] ppid=27298 vsize=10545496 CPUtime=0 cores=1,3,5,7 /proc/27300/task/27304/stat : 27304 (java) S 27298 27300 24181 0 -1 4202560 5 0 0 0 0 0 0 0 16 0 19 0 981346690 10798587904 17416 33554432000 1073741824 1073778376 140735451517680 18446744073709551615 260032211865 0 4 0 16800975 18446604471127450816 0 0 -1 5 0 0 0 [pid=27300/tid=27305] ppid=27298 vsize=10545496 CPUtime=0 cores=1,3,5,7 /proc/27300/task/27305/stat : 27305 (java) S 27298 27300 24181 0 -1 4202560 34 0 0 0 0 0 0 0 15 0 19 0 981346690 10798587904 17416 33554432000 1073741824 1073778376 140735451517680 18446744073709551615 260032211865 0 4 0 16800975 18446604471127450816 0 0 -1 5 0 0 0 [pid=27300/tid=27306] ppid=27298 vsize=10545496 CPUtime=0 cores=1,3,5,7 /proc/27300/task/27306/stat : 27306 (java) S 27298 27300 24181 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 19 0 981346690 10798587904 17416 33554432000 1073741824 1073778376 140735451517680 18446744073709551615 260032211865 0 4 0 16800975 18446604471127450816 0 0 -1 1 0 0 0 [pid=27300/tid=27307] ppid=27298 vsize=10545496 CPUtime=0 cores=1,3,5,7 /proc/27300/task/27307/stat : 27307 (java) S 27298 27300 24181 0 -1 4202560 158 0 0 0 0 0 0 0 15 0 19 0 981346690 10798587904 17416 33554432000 1073741824 1073778376 140735451517680 18446744073709551615 260032211865 0 4 0 16800975 18446604471127450816 0 0 -1 5 0 0 0 [pid=27300/tid=27308] ppid=27298 vsize=10545496 CPUtime=0 cores=1,3,5,7 /proc/27300/task/27308/stat : 27308 (java) S 27298 27300 24181 0 -1 4202560 208 0 0 0 0 0 0 0 15 0 19 0 981346690 10798587904 17416 33554432000 1073741824 1073778376 140735451517680 18446744073709551615 260032211865 0 4 0 16800975 18446604471127450816 0 0 -1 1 0 0 0 [pid=27300/tid=27309] ppid=27298 vsize=10545496 CPUtime=0 cores=1,3,5,7 /proc/27300/task/27309/stat : 27309 (java) S 27298 27300 24181 0 -1 4202560 193 0 0 0 0 0 0 0 15 0 19 0 981346690 10798587904 17416 33554432000 1073741824 1073778376 140735451517680 18446744073709551615 260032211865 0 4 0 16800975 18446604471127450816 0 0 -1 1 0 0 0 [pid=27300/tid=27310] ppid=27298 vsize=10545496 CPUtime=0 cores=1,3,5,7 /proc/27300/task/27310/stat : 27310 (java) S 27298 27300 24181 0 -1 4202560 168 0 0 0 0 0 0 0 15 0 19 0 981346690 10798587904 17416 33554432000 1073741824 1073778376 140735451517680 18446744073709551615 260032211865 0 4 0 16800975 18446604471127450816 0 0 -1 7 0 0 0 [pid=27300/tid=27311] ppid=27298 vsize=10545496 CPUtime=0.2 cores=1,3,5,7 /proc/27300/task/27311/stat : 27311 (java) S 27298 27300 24181 0 -1 4202560 657 0 0 0 20 0 0 0 16 0 19 0 981346691 10798587904 17416 33554432000 1073741824 1073778376 140735451517680 18446744073709551615 260032212480 0 0 0 16800975 18446604471127450816 0 0 -1 3 0 0 0 [pid=27300/tid=27312] ppid=27298 vsize=10545496 CPUtime=0 cores=1,3,5,7 /proc/27300/task/27312/stat : 27312 (java) S 27298 27300 24181 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 981346692 10798587904 17416 33554432000 1073741824 1073778376 140735451517680 18446744073709551615 260032211865 0 4 0 16800975 18446604471127450816 0 0 -1 1 0 0 0 [pid=27300/tid=27313] ppid=27298 vsize=10545496 CPUtime=0 cores=1,3,5,7 /proc/27300/task/27313/stat : 27313 (java) S 27298 27300 24181 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 981346692 10798587904 17416 33554432000 1073741824 1073778376 140735451517680 18446744073709551615 260032211865 0 4 0 16800975 18446604471127450816 0 0 -1 5 0 0 0 [pid=27300/tid=27314] ppid=27298 vsize=10545496 CPUtime=0 cores=1,3,5,7 /proc/27300/task/27314/stat : 27314 (java) S 27298 27300 24181 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 981346694 10798587904 17416 33554432000 1073741824 1073778376 140735451517680 18446744073709551615 260032219569 0 4 0 16800975 18446604471127450816 0 0 -1 1 0 0 0 [pid=27300/tid=27315] ppid=27298 vsize=10545496 CPUtime=0.16 cores=1,3,5,7 /proc/27300/task/27315/stat : 27315 (java) S 27298 27300 24181 0 -1 4202560 881 0 0 0 16 0 0 0 15 0 19 0 981346694 10798587904 17416 33554432000 1073741824 1073778376 140735451517680 18446744073709551615 260032211865 0 4 0 16800975 18446604471127450816 0 0 -1 5 0 0 0 [pid=27300/tid=27316] ppid=27298 vsize=10545496 CPUtime=0.29 cores=1,3,5,7 /proc/27300/task/27316/stat : 27316 (java) S 27298 27300 24181 0 -1 4202560 4313 0 0 0 29 0 0 0 15 0 19 0 981346694 10798587904 17416 33554432000 1073741824 1073778376 140735451517680 18446744073709551615 260032211865 0 4 0 16800975 18446604471127450816 0 0 -1 1 0 0 0 [pid=27300/tid=27317] ppid=27298 vsize=10545496 CPUtime=0 cores=1,3,5,7 /proc/27300/task/27317/stat : 27317 (java) S 27298 27300 24181 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 981346694 10798587904 17416 33554432000 1073741824 1073778376 140735451517680 18446744073709551615 260032211865 0 4 0 16800975 18446604471127450816 0 0 -1 1 0 0 0 [pid=27300/tid=27318] ppid=27298 vsize=10545496 CPUtime=0 cores=1,3,5,7 /proc/27300/task/27318/stat : 27318 (java) S 27298 27300 24181 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 981346694 10798587904 17416 33554432000 1073741824 1073778376 140735451517680 18446744073709551615 260032212480 0 4 0 16800975 18446604471127450816 0 0 -1 7 0 0 0 [pid=27300/tid=27319] ppid=27298 vsize=10545496 CPUtime=0 cores=1,3,5,7 /proc/27300/task/27319/stat : 27319 (java) S 27298 27300 24181 0 -1 4202560 7 0 0 0 0 0 0 0 23 0 19 0 981346705 10798587904 17416 33554432000 1073741824 1073778376 140735451517680 18446744073709551615 260032212480 0 4 0 16800975 18446604471127450816 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 6.77 Current children cumulated vsize (KiB) 10545496 [startup+12.7011 s] ################ # More data... # ################ /proc/27300/task/27302/stat : 27302 (java) R 27298 27300 24181 0 -1 4202560 12889 0 1 0 8259 2 0 0 18 0 19 0 981346689 10806800384 21068 33554432000 1073741824 1073778376 140735451517680 18446744073709551615 46912505531843 0 4 0 16800975 0 0 0 -1 7 0 0 0 [pid=27300/tid=27303] ppid=27298 vsize=10553516 CPUtime=0.06 cores=1,3,5,7 /proc/27300/task/27303/stat : 27303 (java) S 27298 27300 24181 0 -1 4202560 345 0 0 0 6 0 0 0 15 0 19 0 981346690 10806800384 21068 33554432000 1073741824 1073778376 140735451517680 18446744073709551615 260032211865 0 4 0 16800975 18446604471127450816 0 0 -1 7 0 0 0 [pid=27300/tid=27304] ppid=27298 vsize=10553516 CPUtime=0.07 cores=1,3,5,7 /proc/27300/task/27304/stat : 27304 (java) S 27298 27300 24181 0 -1 4202560 128 0 0 0 7 0 0 0 16 0 19 0 981346690 10806800384 21068 33554432000 1073741824 1073778376 140735451517680 18446744073709551615 260032211865 0 4 0 16800975 18446604471127450816 0 0 -1 5 0 0 0 [pid=27300/tid=27305] ppid=27298 vsize=10553516 CPUtime=0.06 cores=1,3,5,7 /proc/27300/task/27305/stat : 27305 (java) S 27298 27300 24181 0 -1 4202560 174 0 0 0 6 0 0 0 15 0 19 0 981346690 10806800384 21068 33554432000 1073741824 1073778376 140735451517680 18446744073709551615 260032211865 0 4 0 16800975 18446604471127450816 0 0 -1 5 0 0 0 [pid=27300/tid=27306] ppid=27298 vsize=10553516 CPUtime=0.06 cores=1,3,5,7 /proc/27300/task/27306/stat : 27306 (java) S 27298 27300 24181 0 -1 4202560 55 0 0 0 6 0 0 0 15 0 19 0 981346690 10806800384 21068 33554432000 1073741824 1073778376 140735451517680 18446744073709551615 260032211865 0 4 0 16800975 18446604471127450816 0 0 -1 7 0 0 0 [pid=27300/tid=27307] ppid=27298 vsize=10553516 CPUtime=0.06 cores=1,3,5,7 /proc/27300/task/27307/stat : 27307 (java) S 27298 27300 24181 0 -1 4202560 158 0 0 0 6 0 0 0 15 0 19 0 981346690 10806800384 21068 33554432000 1073741824 1073778376 140735451517680 18446744073709551615 260032211865 0 4 0 16800975 18446604471127450816 0 0 -1 7 0 0 0 [pid=27300/tid=27308] ppid=27298 vsize=10553516 CPUtime=0.06 cores=1,3,5,7 /proc/27300/task/27308/stat : 27308 (java) S 27298 27300 24181 0 -1 4202560 218 0 0 0 6 0 0 0 15 0 19 0 981346690 10806800384 21068 33554432000 1073741824 1073778376 140735451517680 18446744073709551615 260032211865 0 4 0 16800975 18446604471127450816 0 0 -1 3 0 0 0 [pid=27300/tid=27309] ppid=27298 vsize=10553516 CPUtime=0.06 cores=1,3,5,7 /proc/27300/task/27309/stat : 27309 (java) S 27298 27300 24181 0 -1 4202560 267 0 0 0 6 0 0 0 15 0 19 0 981346690 10806800384 21068 33554432000 1073741824 1073778376 140735451517680 18446744073709551615 260032211865 0 4 0 16800975 18446604471127450816 0 0 -1 5 0 0 0 [pid=27300/tid=27310] ppid=27298 vsize=10553516 CPUtime=0.06 cores=1,3,5,7 /proc/27300/task/27310/stat : 27310 (java) S 27298 27300 24181 0 -1 4202560 235 0 0 0 6 0 0 0 15 0 19 0 981346690 10806800384 21068 33554432000 1073741824 1073778376 140735451517680 18446744073709551615 260032211865 0 4 0 16800975 18446604471127450816 0 0 -1 3 0 0 0 [pid=27300/tid=27311] ppid=27298 vsize=10553516 CPUtime=3.36 cores=1,3,5,7 /proc/27300/task/27311/stat : 27311 (java) S 27298 27300 24181 0 -1 4202560 1209 0 0 0 333 3 0 0 15 0 19 0 981346691 10806800384 21068 33554432000 1073741824 1073778376 140735451517680 18446744073709551615 260032212480 0 0 0 16800975 18446604471127450816 0 0 -1 1 0 0 0 [pid=27300/tid=27312] ppid=27298 vsize=10553516 CPUtime=0 cores=1,3,5,7 /proc/27300/task/27312/stat : 27312 (java) S 27298 27300 24181 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 981346692 10806800384 21068 33554432000 1073741824 1073778376 140735451517680 18446744073709551615 260032211865 0 4 0 16800975 18446604471127450816 0 0 -1 1 0 0 0 [pid=27300/tid=27313] ppid=27298 vsize=10553516 CPUtime=0 cores=1,3,5,7 /proc/27300/task/27313/stat : 27313 (java) S 27298 27300 24181 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 981346692 10806800384 21068 33554432000 1073741824 1073778376 140735451517680 18446744073709551615 260032211865 0 4 0 16800975 18446604471127450816 0 0 -1 5 0 0 0 [pid=27300/tid=27314] ppid=27298 vsize=10553516 CPUtime=0 cores=1,3,5,7 /proc/27300/task/27314/stat : 27314 (java) S 27298 27300 24181 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 981346694 10806800384 21068 33554432000 1073741824 1073778376 140735451517680 18446744073709551615 260032219569 0 4 0 16800975 18446604471127450816 0 0 -1 1 0 0 0 [pid=27300/tid=27315] ppid=27298 vsize=10553516 CPUtime=0.64 cores=1,3,5,7 /proc/27300/task/27315/stat : 27315 (java) S 27298 27300 24181 0 -1 4202560 6471 0 0 0 64 0 0 0 15 0 19 0 981346694 10806800384 21068 33554432000 1073741824 1073778376 140735451517680 18446744073709551615 260032211865 0 4 0 16800975 18446604471127450816 0 0 -1 1 0 0 0 [pid=27300/tid=27316] ppid=27298 vsize=10553516 CPUtime=0.36 cores=1,3,5,7 /proc/27300/task/27316/stat : 27316 (java) S 27298 27300 24181 0 -1 4202560 4800 0 0 0 36 0 0 0 15 0 19 0 981346694 10806800384 21068 33554432000 1073741824 1073778376 140735451517680 18446744073709551615 260032211865 0 4 0 16800975 18446604471127450816 0 0 -1 5 0 0 0 [pid=27300/tid=27317] ppid=27298 vsize=10553516 CPUtime=0 cores=1,3,5,7 /proc/27300/task/27317/stat : 27317 (java) S 27298 27300 24181 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 981346694 10806800384 21068 33554432000 1073741824 1073778376 140735451517680 18446744073709551615 260032211865 0 4 0 16800975 18446604471127450816 0 0 -1 1 0 0 0 [pid=27300/tid=27318] ppid=27298 vsize=10553516 CPUtime=0 cores=1,3,5,7 /proc/27300/task/27318/stat : 27318 (java) S 27298 27300 24181 0 -1 4202560 7 0 0 0 0 0 0 0 15 0 19 0 981346694 10806800384 21068 33554432000 1073741824 1073778376 140735451517680 18446744073709551615 260032212480 0 4 0 16800975 18446604471127450816 0 0 -1 3 0 0 0 [pid=27300/tid=27319] ppid=27298 vsize=10553516 CPUtime=0 cores=1,3,5,7 /proc/27300/task/27319/stat : 27319 (java) S 27298 27300 24181 0 -1 4202560 7 0 0 0 0 0 0 0 23 0 19 0 981346705 10806800384 21068 33554432000 1073741824 1073778376 140735451517680 18446744073709551615 260032212480 0 4 0 16800975 18446604471127450816 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 87.57 Current children cumulated vsize (KiB) 10553516 [startup+87.9013 s] /proc/loadavg: 2.01 2.01 2.00 3/214 27321 /proc/meminfo: memFree=11039988/32951124 swapFree=67056304/67111528 [pid=27300] ppid=27298 vsize=10553516 CPUtime=89.17 cores=1,3,5,7 /proc/27300/stat : 27300 (java) S 27298 27300 24181 0 -1 4202496 28117 0 1 0 8908 9 0 0 25 0 19 0 981346688 10806800384 21073 33554432000 1073741824 1073778376 140735451517680 18446744073709551615 260032198629 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 /proc/27300/statm: 2638379 21073 2252 9 0 2629113 0 [pid=27300/tid=27302] ppid=27298 vsize=10553516 CPUtime=84.15 cores=1,3,5,7 /proc/27300/task/27302/stat : 27302 (java) R 27298 27300 24181 0 -1 4202560 12893 0 1 0 8413 2 0 0 18 0 19 0 981346689 10806800384 21073 33554432000 1073741824 1073778376 140735451517680 18446744073709551615 46912505167005 0 4 0 16800975 0 0 0 -1 5 0 0 0 [pid=27300/tid=27303] ppid=27298 vsize=10553516 CPUtime=0.06 cores=1,3,5,7 /proc/27300/task/27303/stat : 27303 (java) S 27298 27300 24181 0 -1 4202560 345 0 0 0 6 0 0 0 16 0 19 0 981346690 10806800384 21073 33554432000 1073741824 1073778376 140735451517680 18446744073709551615 260032211865 0 4 0 16800975 18446604471127450816 0 0 -1 7 0 0 0 [pid=27300/tid=27304] ppid=27298 vsize=10553516 CPUtime=0.07 cores=1,3,5,7 /proc/27300/task/27304/stat : 27304 (java) S 27298 27300 24181 0 -1 4202560 128 0 0 0 7 0 0 0 16 0 19 0 981346690 10806800384 21073 33554432000 1073741824 1073778376 140735451517680 18446744073709551615 260032211865 0 4 0 16800975 18446604471127450816 0 0 -1 7 0 0 0 [pid=27300/tid=27305] ppid=27298 vsize=10553516 CPUtime=0.07 cores=1,3,5,7 /proc/27300/task/27305/stat : 27305 (java) S 27298 27300 24181 0 -1 4202560 174 0 0 0 7 0 0 0 15 0 19 0 981346690 10806800384 21073 33554432000 1073741824 1073778376 140735451517680 18446744073709551615 260032211865 0 4 0 16800975 18446604471127450816 0 0 -1 5 0 0 0 [pid=27300/tid=27306] ppid=27298 vsize=10553516 CPUtime=0.06 cores=1,3,5,7 /proc/27300/task/27306/stat : 27306 (java) S 27298 27300 24181 0 -1 4202560 55 0 0 0 6 0 0 0 15 0 19 0 981346690 10806800384 21073 33554432000 1073741824 1073778376 140735451517680 18446744073709551615 260032211865 0 4 0 16800975 18446604471127450816 0 0 -1 3 0 0 0 [pid=27300/tid=27307] ppid=27298 vsize=10553516 CPUtime=0.06 cores=1,3,5,7 /proc/27300/task/27307/stat : 27307 (java) S 27298 27300 24181 0 -1 4202560 158 0 0 0 6 0 0 0 15 0 19 0 981346690 10806800384 21073 33554432000 1073741824 1073778376 140735451517680 18446744073709551615 260032211865 0 4 0 16800975 18446604471127450816 0 0 -1 5 0 0 0 [pid=27300/tid=27308] ppid=27298 vsize=10553516 CPUtime=0.06 cores=1,3,5,7 /proc/27300/task/27308/stat : 27308 (java) S 27298 27300 24181 0 -1 4202560 218 0 0 0 6 0 0 0 15 0 19 0 981346690 10806800384 21073 33554432000 1073741824 1073778376 140735451517680 18446744073709551615 260032211865 0 4 0 16800975 18446604471127450816 0 0 -1 3 0 0 0 [pid=27300/tid=27309] ppid=27298 vsize=10553516 CPUtime=0.06 cores=1,3,5,7 /proc/27300/task/27309/stat : 27309 (java) S 27298 27300 24181 0 -1 4202560 271 0 0 0 6 0 0 0 15 0 19 0 981346690 10806800384 21073 33554432000 1073741824 1073778376 140735451517680 18446744073709551615 260032211865 0 4 0 16800975 18446604471127450816 0 0 -1 5 0 0 0 [pid=27300/tid=27310] ppid=27298 vsize=10553516 CPUtime=0.07 cores=1,3,5,7 /proc/27300/task/27310/stat : 27310 (java) S 27298 27300 24181 0 -1 4202560 235 0 0 0 7 0 0 0 15 0 19 0 981346690 10806800384 21073 33554432000 1073741824 1073778376 140735451517680 18446744073709551615 260032211865 0 4 0 16800975 18446604471127450816 0 0 -1 3 0 0 0 [pid=27300/tid=27311] ppid=27298 vsize=10553516 CPUtime=3.42 cores=1,3,5,7 /proc/27300/task/27311/stat : 27311 (java) S 27298 27300 24181 0 -1 4202560 1210 0 0 0 339 3 0 0 15 0 19 0 981346691 10806800384 21073 33554432000 1073741824 1073778376 140735451517680 18446744073709551615 260032212480 0 0 0 16800975 18446604471127450816 0 0 -1 1 0 0 0 [pid=27300/tid=27312] ppid=27298 vsize=10553516 CPUtime=0 cores=1,3,5,7 /proc/27300/task/27312/stat : 27312 (java) S 27298 27300 24181 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 981346692 10806800384 21073 33554432000 1073741824 1073778376 140735451517680 18446744073709551615 260032211865 0 4 0 16800975 18446604471127450816 0 0 -1 1 0 0 0 [pid=27300/tid=27313] ppid=27298 vsize=10553516 CPUtime=0 cores=1,3,5,7 /proc/27300/task/27313/stat : 27313 (java) S 27298 27300 24181 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 981346692 10806800384 21073 33554432000 1073741824 1073778376 140735451517680 18446744073709551615 260032211865 0 4 0 16800975 18446604471127450816 0 0 -1 5 0 0 0 [pid=27300/tid=27314] ppid=27298 vsize=10553516 CPUtime=0 cores=1,3,5,7 /proc/27300/task/27314/stat : 27314 (java) S 27298 27300 24181 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 981346694 10806800384 21073 33554432000 1073741824 1073778376 140735451517680 18446744073709551615 260032219569 0 4 0 16800975 18446604471127450816 0 0 -1 1 0 0 0 [pid=27300/tid=27315] ppid=27298 vsize=10553516 CPUtime=0.64 cores=1,3,5,7 /proc/27300/task/27315/stat : 27315 (java) S 27298 27300 24181 0 -1 4202560 6471 0 0 0 64 0 0 0 15 0 19 0 981346694 10806800384 21073 33554432000 1073741824 1073778376 140735451517680 18446744073709551615 260032211865 0 4 0 16800975 18446604471127450816 0 0 -1 1 0 0 0 [pid=27300/tid=27316] ppid=27298 vsize=10553516 CPUtime=0.36 cores=1,3,5,7 /proc/27300/task/27316/stat : 27316 (java) S 27298 27300 24181 0 -1 4202560 4800 0 0 0 36 0 0 0 15 0 19 0 981346694 10806800384 21073 33554432000 1073741824 1073778376 140735451517680 18446744073709551615 260032211865 0 4 0 16800975 18446604471127450816 0 0 -1 5 0 0 0 [pid=27300/tid=27317] ppid=27298 vsize=10553516 CPUtime=0 cores=1,3,5,7 /proc/27300/task/27317/stat : 27317 (java) S 27298 27300 24181 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 981346694 10806800384 21073 33554432000 1073741824 1073778376 140735451517680 18446744073709551615 260032211865 0 4 0 16800975 18446604471127450816 0 0 -1 1 0 0 0 [pid=27300/tid=27318] ppid=27298 vsize=10553516 CPUtime=0 cores=1,3,5,7 /proc/27300/task/27318/stat : 27318 (java) S 27298 27300 24181 0 -1 4202560 7 0 0 0 0 0 0 0 15 0 19 0 981346694 10806800384 21073 33554432000 1073741824 1073778376 140735451517680 18446744073709551615 260032212480 0 4 0 16800975 18446604471127450816 0 0 -1 3 0 0 0 [pid=27300/tid=27319] ppid=27298 vsize=10553516 CPUtime=0 cores=1,3,5,7 /proc/27300/task/27319/stat : 27319 (java) S 27298 27300 24181 0 -1 4202560 7 0 0 0 0 0 0 0 23 0 19 0 981346705 10806800384 21073 33554432000 1073741824 1073778376 140735451517680 18446744073709551615 260032212480 0 4 0 16800975 18446604471127450816 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 89.17 Current children cumulated vsize (KiB) 10553516 [startup+88.3013 s] /proc/loadavg: 2.01 2.01 2.00 3/214 27321 /proc/meminfo: memFree=11039988/32951124 swapFree=67056304/67111528 [pid=27300] ppid=27298 vsize=10553516 CPUtime=89.57 cores=1,3,5,7 /proc/27300/stat : 27300 (java) S 27298 27300 24181 0 -1 4202496 28118 0 1 0 8948 9 0 0 25 0 19 0 981346688 10806800384 21073 33554432000 1073741824 1073778376 140735451517680 18446744073709551615 260032198629 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 /proc/27300/statm: 2638379 21073 2252 9 0 2629113 0 [pid=27300/tid=27302] ppid=27298 vsize=10553516 CPUtime=84.52 cores=1,3,5,7 /proc/27300/task/27302/stat : 27302 (java) R 27298 27300 24181 0 -1 4202560 12894 0 1 0 8450 2 0 0 18 0 19 0 981346689 10806800384 21073 33554432000 1073741824 1073778376 140735451517680 18446744073709551615 46912505607484 0 4 0 16800975 0 0 0 -1 5 0 0 0 [pid=27300/tid=27303] ppid=27298 vsize=10553516 CPUtime=0.06 cores=1,3,5,7 /proc/27300/task/27303/stat : 27303 (java) S 27298 27300 24181 0 -1 4202560 345 0 0 0 6 0 0 0 15 0 19 0 981346690 10806800384 21073 33554432000 1073741824 1073778376 140735451517680 18446744073709551615 260032211865 0 4 0 16800975 18446604471127450816 0 0 -1 7 0 0 0 [pid=27300/tid=27304] ppid=27298 vsize=10553516 CPUtime=0.07 cores=1,3,5,7 /proc/27300/task/27304/stat : 27304 (java) S 27298 27300 24181 0 -1 4202560 128 0 0 0 7 0 0 0 16 0 19 0 981346690 10806800384 21073 33554432000 1073741824 1073778376 140735451517680 18446744073709551615 260032211865 0 4 0 16800975 18446604471127450816 0 0 -1 7 0 0 0 [pid=27300/tid=27305] ppid=27298 vsize=10553516 CPUtime=0.07 cores=1,3,5,7 /proc/27300/task/27305/stat : 27305 (java) S 27298 27300 24181 0 -1 4202560 174 0 0 0 7 0 0 0 15 0 19 0 981346690 10806800384 21073 33554432000 1073741824 1073778376 140735451517680 18446744073709551615 260032211865 0 4 0 16800975 18446604471127450816 0 0 -1 5 0 0 0 [pid=27300/tid=27306] ppid=27298 vsize=10553516 CPUtime=0.07 cores=1,3,5,7 /proc/27300/task/27306/stat : 27306 (java) S 27298 27300 24181 0 -1 4202560 55 0 0 0 7 0 0 0 16 0 19 0 981346690 10806800384 21073 33554432000 1073741824 1073778376 140735451517680 18446744073709551615 260032211865 0 4 0 16800975 18446604471127450816 0 0 -1 3 0 0 0 [pid=27300/tid=27307] ppid=27298 vsize=10553516 CPUtime=0.06 cores=1,3,5,7 /proc/27300/task/27307/stat : 27307 (java) S 27298 27300 24181 0 -1 4202560 158 0 0 0 6 0 0 0 15 0 19 0 981346690 10806800384 21073 33554432000 1073741824 1073778376 140735451517680 18446744073709551615 260032211865 0 4 0 16800975 18446604471127450816 0 0 -1 5 0 0 0 [pid=27300/tid=27308] ppid=27298 vsize=10553516 CPUtime=0.06 cores=1,3,5,7 /proc/27300/task/27308/stat : 27308 (java) S 27298 27300 24181 0 -1 4202560 218 0 0 0 6 0 0 0 15 0 19 0 981346690 10806800384 21073 33554432000 1073741824 1073778376 140735451517680 18446744073709551615 260032211865 0 4 0 16800975 18446604471127450816 0 0 -1 3 0 0 0 [pid=27300/tid=27309] ppid=27298 vsize=10553516 CPUtime=0.06 cores=1,3,5,7 /proc/27300/task/27309/stat : 27309 (java) S 27298 27300 24181 0 -1 4202560 271 0 0 0 6 0 0 0 16 0 19 0 981346690 10806800384 21073 33554432000 1073741824 1073778376 140735451517680 18446744073709551615 260032211865 0 4 0 16800975 18446604471127450816 0 0 -1 5 0 0 0 [pid=27300/tid=27310] ppid=27298 vsize=10553516 CPUtime=0.07 cores=1,3,5,7 /proc/27300/task/27310/stat : 27310 (java) S 27298 27300 24181 0 -1 4202560 235 0 0 0 7 0 0 0 15 0 19 0 981346690 10806800384 21073 33554432000 1073741824 1073778376 140735451517680 18446744073709551615 260032211865 0 4 0 16800975 18446604471127450816 0 0 -1 3 0 0 0 [pid=27300/tid=27311] ppid=27298 vsize=10553516 CPUtime=3.44 cores=1,3,5,7 /proc/27300/task/27311/stat : 27311 (java) S 27298 27300 24181 0 -1 4202560 1210 0 0 0 340 4 0 0 15 0 19 0 981346691 10806800384 21073 33554432000 1073741824 1073778376 140735451517680 18446744073709551615 260032212480 0 0 0 16800975 18446604471127450816 0 0 -1 1 0 0 0 [pid=27300/tid=27312] ppid=27298 vsize=10553516 CPUtime=0 cores=1,3,5,7 /proc/27300/task/27312/stat : 27312 (java) S 27298 27300 24181 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 981346692 10806800384 21073 33554432000 1073741824 1073778376 140735451517680 18446744073709551615 260032211865 0 4 0 16800975 18446604471127450816 0 0 -1 1 0 0 0 [pid=27300/tid=27313] ppid=27298 vsize=10553516 CPUtime=0 cores=1,3,5,7 /proc/27300/task/27313/stat : 27313 (java) S 27298 27300 24181 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 981346692 10806800384 21073 33554432000 1073741824 1073778376 140735451517680 18446744073709551615 260032211865 0 4 0 16800975 18446604471127450816 0 0 -1 5 0 0 0 [pid=27300/tid=27314] ppid=27298 vsize=10553516 CPUtime=0 cores=1,3,5,7 /proc/27300/task/27314/stat : 27314 (java) S 27298 27300 24181 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 981346694 10806800384 21073 33554432000 1073741824 1073778376 140735451517680 18446744073709551615 260032219569 0 4 0 16800975 18446604471127450816 0 0 -1 1 0 0 0 [pid=27300/tid=27315] ppid=27298 vsize=10553516 CPUtime=0.64 cores=1,3,5,7 /proc/27300/task/27315/stat : 27315 (java) S 27298 27300 24181 0 -1 4202560 6471 0 0 0 64 0 0 0 15 0 19 0 981346694 10806800384 21073 33554432000 1073741824 1073778376 140735451517680 18446744073709551615 260032211865 0 4 0 16800975 18446604471127450816 0 0 -1 1 0 0 0 [pid=27300/tid=27316] ppid=27298 vsize=10553516 CPUtime=0.36 cores=1,3,5,7 /proc/27300/task/27316/stat : 27316 (java) S 27298 27300 24181 0 -1 4202560 4800 0 0 0 36 0 0 0 15 0 19 0 981346694 10806800384 21073 33554432000 1073741824 1073778376 140735451517680 18446744073709551615 260032211865 0 4 0 16800975 18446604471127450816 0 0 -1 5 0 0 0 [pid=27300/tid=27317] ppid=27298 vsize=10553516 CPUtime=0 cores=1,3,5,7 /proc/27300/task/27317/stat : 27317 (java) S 27298 27300 24181 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 981346694 10806800384 21073 33554432000 1073741824 1073778376 140735451517680 18446744073709551615 260032211865 0 4 0 16800975 18446604471127450816 0 0 -1 1 0 0 0 [pid=27300/tid=27318] ppid=27298 vsize=10553516 CPUtime=0 cores=1,3,5,7 /proc/27300/task/27318/stat : 27318 (java) S 27298 27300 24181 0 -1 4202560 7 0 0 0 0 0 0 0 15 0 19 0 981346694 10806800384 21073 33554432000 1073741824 1073778376 140735451517680 18446744073709551615 260032212480 0 4 0 16800975 18446604471127450816 0 0 -1 3 0 0 0 [pid=27300/tid=27319] ppid=27298 vsize=10553516 CPUtime=0 cores=1,3,5,7 /proc/27300/task/27319/stat : 27319 (java) S 27298 27300 24181 0 -1 4202560 7 0 0 0 0 0 0 0 23 0 19 0 981346705 10806800384 21073 33554432000 1073741824 1073778376 140735451517680 18446744073709551615 260032212480 0 4 0 16800975 18446604471127450816 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 89.57 Current children cumulated vsize (KiB) 10553516 [startup+88.7012 s] /proc/loadavg: 2.01 2.01 2.00 3/214 27321 /proc/meminfo: memFree=11039988/32951124 swapFree=67056304/67111528 [pid=27300] ppid=27298 vsize=10554544 CPUtime=89.97 cores=1,3,5,7 /proc/27300/stat : 27300 (java) S 27298 27300 24181 0 -1 4202496 28137 0 1 0 8988 9 0 0 25 0 20 0 981346688 10807853056 21091 33554432000 1073741824 1073778376 140735451517680 18446744073709551615 260032198629 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 /proc/27300/statm: 2638636 21091 2252 9 0 2629370 0 [pid=27300/tid=27302] ppid=27298 vsize=10554544 CPUtime=84.9 cores=1,3,5,7 /proc/27300/task/27302/stat : 27302 (java) S 27298 27300 24181 0 -1 4202560 12899 0 1 0 8488 2 0 0 19 0 20 0 981346689 10807853056 21091 33554432000 1073741824 1073778376 140735451517680 18446744073709551615 260032211865 0 4 0 16800975 18446604471127450816 0 0 -1 3 0 0 0 [pid=27300/tid=27303] ppid=27298 vsize=10554544 CPUtime=0.06 cores=1,3,5,7 /proc/27300/task/27303/stat : 27303 (java) S 27298 27300 24181 0 -1 4202560 345 0 0 0 6 0 0 0 15 0 20 0 981346690 10807853056 21091 33554432000 1073741824 1073778376 140735451517680 18446744073709551615 260032211865 0 4 0 16800975 18446604471127450816 0 0 -1 7 0 0 0 [pid=27300/tid=27304] ppid=27298 vsize=10554544 CPUtime=0.07 cores=1,3,5,7 /proc/27300/task/27304/stat : 27304 (java) S 27298 27300 24181 0 -1 4202560 128 0 0 0 7 0 0 0 15 0 20 0 981346690 10807853056 21091 33554432000 1073741824 1073778376 140735451517680 18446744073709551615 260032211865 0 4 0 16800975 18446604471127450816 0 0 -1 7 0 0 0 [pid=27300/tid=27305] ppid=27298 vsize=10554544 CPUtime=0.07 cores=1,3,5,7 /proc/27300/task/27305/stat : 27305 (java) S 27298 27300 24181 0 -1 4202560 174 0 0 0 7 0 0 0 15 0 20 0 981346690 10807853056 21092 33554432000 1073741824 1073778376 140735451517680 18446744073709551615 260032211865 0 4 0 16800975 18446604471127450816 0 0 -1 5 0 0 0 [pid=27300/tid=27306] ppid=27298 vsize=10554544 CPUtime=0.07 cores=1,3,5,7 /proc/27300/task/27306/stat : 27306 (java) S 27298 27300 24181 0 -1 4202560 55 0 0 0 7 0 0 0 15 0 19 0 981346690 10807853056 21092 33554432000 1073741824 1073778376 140735451517680 18446744073709551615 260032211865 0 4 0 16800975 18446604471127450816 0 0 -1 5 0 0 0 [pid=27300/tid=27307] ppid=27298 vsize=10554544 CPUtime=0.06 cores=1,3,5,7 /proc/27300/task/27307/stat : 27307 (java) S 27298 27300 24181 0 -1 4202560 158 0 0 0 6 0 0 0 15 0 19 0 981346690 10807853056 21092 33554432000 1073741824 1073778376 140735451517680 18446744073709551615 260032211865 0 4 0 16800975 18446604471127450816 0 0 -1 5 0 0 0 [pid=27300/tid=27308] ppid=27298 vsize=10554544 CPUtime=0.06 cores=1,3,5,7 /proc/27300/task/27308/stat : 27308 (java) S 27298 27300 24181 0 -1 4202560 218 0 0 0 6 0 0 0 15 0 19 0 981346690 10807853056 21093 33554432000 1073741824 1073778376 140735451517680 18446744073709551615 260032211865 0 4 0 16800975 18446604471127450816 0 0 -1 3 0 0 0 [pid=27300/tid=27309] ppid=27298 vsize=10554544 CPUtime=0.06 cores=1,3,5,7 /proc/27300/task/27309/stat : 27309 (java) S 27298 27300 24181 0 -1 4202560 271 0 0 0 6 0 0 0 15 0 19 0 981346690 10807853056 21093 33554432000 1073741824 1073778376 140735451517680 18446744073709551615 260032211865 0 4 0 16800975 18446604471127450816 0 0 -1 5 0 0 0 [pid=27300/tid=27310] ppid=27298 vsize=10554544 CPUtime=0.07 cores=1,3,5,7 /proc/27300/task/27310/stat : 27310 (java) S 27298 27300 24181 0 -1 4202560 235 0 0 0 7 0 0 0 16 0 19 0 981346690 10807853056 21093 33554432000 1073741824 1073778376 140735451517680 18446744073709551615 260032211865 0 4 0 16800975 18446604471127450816 0 0 -1 3 0 0 0 [pid=27300/tid=27311] ppid=27298 vsize=10554544 CPUtime=3.46 cores=1,3,5,7 /proc/27300/task/27311/stat : 27311 (java) R 27298 27300 24181 0 -1 4202560 1211 0 0 0 342 4 0 0 16 0 18 0 981346691 10807853056 21093 33554432000 1073741824 1073778376 140735451517680 18446744073709551615 260020439223 0 0 0 16800975 0 0 0 -1 1 0 0 0 [pid=27300/tid=27312] ppid=27298 vsize=10554544 CPUtime=0 cores=1,3,5,7 /proc/27300/task/27312/stat : 27312 (java) S 27298 27300 24181 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 18 0 981346692 10807853056 21093 33554432000 1073741824 1073778376 140735451517680 18446744073709551615 260032211865 0 4 0 16800975 18446604471127450816 0 0 -1 1 0 0 0 [pid=27300/tid=27313] ppid=27298 vsize=10554544 CPUtime=0 cores=1,3,5,7 /proc/27300/task/27313/stat : 27313 (java) S 27298 27300 24181 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 18 0 981346692 10807853056 21093 33554432000 1073741824 1073778376 140735451517680 18446744073709551615 260032211865 0 4 0 16800975 18446604471127450816 0 0 -1 5 0 0 0 [pid=27300/tid=27314] ppid=27298 vsize=10554544 CPUtime=0 cores=1,3,5,7 /proc/27300/task/27314/stat : 27314 (java) S 27298 27300 24181 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 18 0 981346694 10807853056 21093 33554432000 1073741824 1073778376 140735451517680 18446744073709551615 260032211865 0 4 0 16800975 18446604471127450816 0 0 -1 1 0 0 0 [pid=27300/tid=27315] ppid=27298 vsize=10554544 CPUtime=0.64 cores=1,3,5,7 /proc/27300/task/27315/stat : 27315 (java) S 27298 27300 24181 0 -1 4202560 6471 0 0 0 64 0 0 0 15 0 18 0 981346694 10807853056 21093 33554432000 1073741824 1073778376 140735451517680 18446744073709551615 260032211865 0 4 0 16800975 18446604471127450816 0 0 -1 1 0 0 0 [pid=27300/tid=27316] ppid=27298 vsize=10554544 CPUtime=0.36 cores=1,3,5,7 /proc/27300/task/27316/stat : 27316 (java) S 27298 27300 24181 0 -1 4202560 4800 0 0 0 36 0 0 0 15 0 18 0 981346694 10807853056 21093 33554432000 1073741824 1073778376 140735451517680 18446744073709551615 260032211865 0 4 0 16800975 18446604471127450816 0 0 -1 5 0 0 0 [pid=27300/tid=27317] ppid=27298 vsize=10554544 CPUtime=0 cores=1,3,5,7 /proc/27300/task/27317/stat : 27317 (java) S 27298 27300 24181 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 981346694 10807853056 21093 33554432000 1073741824 1073778376 140735451517680 18446744073709551615 260032211865 0 4 0 16800975 18446604471127450816 0 0 -1 1 0 0 0 [pid=27300/tid=27319] ppid=27298 vsize=10554544 CPUtime=0 cores=1,3,5,7 /proc/27300/task/27319/stat : 27319 (java) R 27298 27300 24181 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 18 0 981346705 10807853056 21093 33554432000 1073741824 1073778376 140735451517680 18446744073709551615 260032212480 256 4 0 16800975 0 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 89.97 Current children cumulated vsize (KiB) 10554544 Child status: 30 Real time (s): 88.7061 CPU time (s): 89.9893 CPU user time (s): 89.8873 CPU system time (s): 0.101984 CPU usage (%): 101.447 Max. virtual memory (cumulated for all children) (KiB): 10564176 getrusage(RUSAGE_CHILDREN,...) data: user time used= 89.8873 system time used= 0.101984 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 28140 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= 9452 involuntary context switches= 4128 runsolver used 0.138978 second user time and 0.356945 second system time The end
Begin job on node110 at 2011-06-12 22:39:21 IDJOB=3492699 IDBENCH=79233 IDSOLVER=1982 FILE ID=node110/3492699-1307911161 RUNJOBID= node110-1307907269-25819 PBS_JOBID= 13559603 Free space on /var/tmp= 2884 MiB SOLVER NAME= Sat4j Resolution 2011-06-08 BENCH NAME= PB10/normalized-PB10/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1111213868--soft-0-100-0.wbo COMMAND LINE= java -Xms10000m -Xmx10000m -jar sat4j-pb.jar Resolution BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /var/tmp/evaluation-result-3492699-1307911161/watcher-3492699-1307911161 -o /var/tmp/evaluation-result-3492699-1307911161/solver-3492699-1307911161 -C 1800 -W 1900 -M 15500 java -Xms10000m -Xmx10000m -jar sat4j-pb.jar Resolution HOME/instance-3492699-1307911161.wbo TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 0635b24c475a73287c5e15439a6c459f RANDOM SEED=903451075 node110.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.830 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5333.66 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.830 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.83 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.830 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.830 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.83 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.830 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.76 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.830 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.83 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.830 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.830 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.83 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 11117852 kB Buffers: 54720 kB Cached: 20955512 kB SwapCached: 9144 kB Active: 5808312 kB Inactive: 15310032 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 11117852 kB SwapTotal: 67111528 kB SwapFree: 67056304 kB Dirty: 1852 kB Writeback: 0 kB AnonPages: 105356 kB Mapped: 21500 kB Slab: 649616 kB PageTables: 4236 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 10554056 kB VmallocTotal: 34359738367 kB VmallocUsed: 296008 kB VmallocChunk: 34359440975 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /var/tmp at the end= 2884 MiB End job on node110 at 2011-06-12 22:40:50