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 | 81.8716 | 80.5202 |
| Name | /SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111224059--soft-0-100-0.wbo |
| MD5SUM | 14fe5a51c3c33a9eb099b4fa76f18c14 |
| 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 | 9 |
| Best CPU time to get the best result obtained on this benchmark | 2.19067 |
| 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 | 5034 |
| Min constraint cost | 1 |
| Max constraint cost | 98 |
| Sum of constraints costs | 5033 |
| Biggest number in a constraint | 38 |
| Number of bits of the biggest number in a constraint | 6 |
| Biggest sum of numbers in a constraint | 1314 |
| 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.10/0.11 c Pseudo Boolean Optimization 0.10/0.11 c --- Begin Solver configuration --- 0.10/0.11 c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@13d4c61c 0.10/0.11 c Learn all clauses as in MiniSAT 0.10/0.11 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.10/0.11 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.10/0.11 c Expensive reason simplification 0.10/0.11 c Armin Biere (Picosat) restarts strategy 0.10/0.11 c Glucose learned constraints deletion strategy 0.10/0.11 c timeout=2147483s 0.10/0.11 c DB Simplification allowed=false 0.10/0.11 c --- End Solver configuration --- 0.10/0.11 c solving HOME/instance-3492641-1307911046.wbo 0.10/0.11 c reading problem ... 0.10/0.16 c ... done. Wall clock time 0.055s. 0.10/0.16 c #vars 270 0.10/0.16 c #constraints 101 0.10/0.16 c constraints type 0.10/0.16 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 30 0.10/0.16 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 71 0.27/0.22 c SATISFIABLE 0.27/0.22 c OPTIMIZING... 0.27/0.22 c Got one! Elapsed wall clock time (in seconds):0.115 0.27/0.22 o 783 0.27/0.25 c Got one! Elapsed wall clock time (in seconds):0.141 0.27/0.25 o 608 0.27/0.28 c Got one! Elapsed wall clock time (in seconds):0.17 0.27/0.28 o 598 0.27/0.29 c Got one! Elapsed wall clock time (in seconds):0.181 0.27/0.29 o 577 0.51/0.30 c Got one! Elapsed wall clock time (in seconds):0.194 0.51/0.30 o 561 0.51/0.31 c Got one! Elapsed wall clock time (in seconds):0.202 0.51/0.31 o 460 0.51/0.33 c Got one! Elapsed wall clock time (in seconds):0.217 0.51/0.33 o 458 0.51/0.34 c Got one! Elapsed wall clock time (in seconds):0.234 0.51/0.34 o 446 0.51/0.35 c Got one! Elapsed wall clock time (in seconds):0.244 0.51/0.35 o 431 0.51/0.37 c Got one! Elapsed wall clock time (in seconds):0.266 0.51/0.37 o 392 0.66/0.41 c Got one! Elapsed wall clock time (in seconds):0.304 0.66/0.41 o 377 0.66/0.44 c Got one! Elapsed wall clock time (in seconds):0.331 0.66/0.44 o 375 0.87/0.66 c Got one! Elapsed wall clock time (in seconds):0.553 0.87/0.66 o 349 0.97/0.73 c cleaning 4762 clauses out of 9528 with flag 1002/9528 1.13/0.87 c Got one! Elapsed wall clock time (in seconds):0.759 1.13/0.87 o 340 1.23/0.98 c Got one! Elapsed wall clock time (in seconds):0.875 1.23/0.98 o 339 1.34/1.03 c cleaning 5254 clauses out of 10512 with flag 1000/15274 1.64/1.33 c cleaning 5623 clauses out of 11258 with flag 7000/21274 1.87/1.54 c Got one! Elapsed wall clock time (in seconds):1.431 1.87/1.54 o 321 1.87/1.57 c Got one! Elapsed wall clock time (in seconds):1.457 1.87/1.57 o 315 1.97/1.63 c Got one! Elapsed wall clock time (in seconds):1.523 1.97/1.63 o 287 1.97/1.67 c cleaning 6384 clauses out of 12775 with flag 1000/28414 2.09/1.72 c Got one! Elapsed wall clock time (in seconds):1.615 2.09/1.72 o 277 2.29/1.92 c Got one! Elapsed wall clock time (in seconds):1.809 2.29/1.92 o 273 2.29/1.99 c cleaning 6349 clauses out of 12707 with flag 2002/34730 2.49/2.16 c Got one! Elapsed wall clock time (in seconds):2.05 2.49/2.16 o 261 2.60/2.22 c cleaning 5776 clauses out of 11561 with flag 2000/39933 2.79/2.47 c cleaning 5886 clauses out of 11786 with flag 8001/45934 3.19/2.86 c cleaning 6444 clauses out of 12900 with flag 15001/52934 3.59/3.27 c cleaning 7224 clauses out of 14456 with flag 23001/60934 4.09/3.74 c cleaning 8110 clauses out of 16231 with flag 32000/69933 4.69/4.32 c cleaning 9052 clauses out of 18121 with flag 42000/79933 5.19/4.80 c cleaning 9534 clauses out of 19072 with flag 52003/89936 5.29/4.91 c Got one! Elapsed wall clock time (in seconds):4.805 5.29/4.91 o 258 5.39/5.03 c Got one! Elapsed wall clock time (in seconds):4.925 5.39/5.03 o 243 5.39/5.07 c cleaning 7991 clauses out of 15992 with flag 1001/96390 5.69/5.34 c cleaning 6994 clauses out of 14003 with flag 7003/102392 5.80/5.45 c Got one! Elapsed wall clock time (in seconds):5.34 5.80/5.45 o 224 5.90/5.58 c cleaning 6461 clauses out of 12926 with flag 4002/108309 6.19/5.89 c cleaning 6226 clauses out of 12467 with flag 10004/114311 6.29/5.99 c Got one! Elapsed wall clock time (in seconds):5.878 6.29/5.99 o 218 6.53/6.10 c cleaning 5850 clauses out of 11705 with flag 4000/119775 6.73/6.32 c Got one! Elapsed wall clock time (in seconds):6.214 6.73/6.32 o 150 6.93/6.52 c cleaning 8288 clauses out of 16588 with flag 5002/130508 7.13/6.72 c cleaning 7145 clauses out of 14298 with flag 11000/136506 7.43/7.05 c cleaning 7075 clauses out of 14154 with flag 18001/143507 8.01/7.48 c cleaning 7533 clauses out of 15079 with flag 26001/151507 8.91/7.98 c cleaning 8269 clauses out of 16546 with flag 35001/160507 9.31/8.33 c Got one! Elapsed wall clock time (in seconds):8.22 9.31/8.33 o 142 9.56/8.51 c cleaning 10031 clauses out of 20067 with flag 5000/172297 9.76/8.73 c cleaning 8013 clauses out of 16036 with flag 11000/178297 10.06/9.03 c cleaning 7508 clauses out of 15028 with flag 18005/185302 10.06/9.09 c Got one! Elapsed wall clock time (in seconds):8.978 10.06/9.09 o 117 10.27/9.23 c cleaning 6715 clauses out of 13439 with flag 5000/191221 10.47/9.43 c cleaning 6358 clauses out of 12725 with flag 11001/197222 10.67/9.67 c cleaning 6681 clauses out of 13367 with flag 18001/204222 11.07/10.03 c cleaning 7332 clauses out of 14685 with flag 26000/212221 11.47/10.45 c cleaning 8174 clauses out of 16354 with flag 35001/221222 11.67/10.65 c Got one! Elapsed wall clock time (in seconds):10.539 11.67/10.65 o 108 11.67/10.68 c cleaning 6688 clauses out of 13381 with flag 1001/226423 11.88/10.88 c cleaning 6342 clauses out of 12694 with flag 7002/232424 12.28/11.20 c cleaning 6673 clauses out of 13351 with flag 14001/239423 12.38/11.32 c Got one! Elapsed wall clock time (in seconds):11.214 12.38/11.32 o 103 12.48/11.42 c cleaning 5960 clauses out of 11930 with flag 3002/244675 12.68/11.61 c cleaning 5981 clauses out of 11970 with flag 9002/250675 12.88/11.88 c cleaning 6489 clauses out of 12988 with flag 16001/257674 13.38/12.32 c cleaning 7246 clauses out of 14498 with flag 24000/265673 13.78/12.79 c cleaning 8124 clauses out of 16252 with flag 33000/274673 14.38/13.35 c cleaning 9056 clauses out of 18129 with flag 43001/284674 14.98/13.91 c cleaning 9533 clauses out of 19072 with flag 53000/294673 15.49/14.47 c cleaning 9766 clauses out of 19539 with flag 63000/304673 16.01/14.98 c cleaning 9885 clauses out of 19774 with flag 73001/314674 16.61/15.52 c cleaning 9937 clauses out of 19890 with flag 83002/324675 17.11/16.07 c cleaning 9969 clauses out of 19953 with flag 93002/334675 17.71/16.60 c cleaning 9978 clauses out of 19982 with flag 103000/344673 18.21/17.15 c cleaning 9997 clauses out of 20004 with flag 113000/354673 18.72/17.67 c cleaning 9995 clauses out of 20007 with flag 123000/364673 19.31/18.22 c cleaning 10000 clauses out of 20012 with flag 133000/374673 19.31/18.27 c Got one! Elapsed wall clock time (in seconds):18.161 19.31/18.27 o 102 19.51/18.42 c cleaning 7857 clauses out of 15721 with flag 5001/380382 19.72/18.62 c cleaning 6924 clauses out of 13863 with flag 11000/386381 19.91/18.86 c cleaning 6966 clauses out of 13939 with flag 18000/393381 20.21/19.13 c cleaning 7483 clauses out of 14973 with flag 26000/401381 20.61/19.54 c cleaning 8241 clauses out of 16490 with flag 35000/410381 20.61/19.57 c Got one! Elapsed wall clock time (in seconds):19.466 20.61/19.57 o 95 20.82/19.73 c cleaning 6764 clauses out of 13535 with flag 5000/415667 21.02/19.93 c cleaning 6382 clauses out of 12772 with flag 11001/421668 21.22/20.16 c cleaning 6688 clauses out of 13389 with flag 18000/428667 21.52/20.43 c cleaning 7347 clauses out of 14701 with flag 26000/436667 21.82/20.73 c cleaning 8173 clauses out of 16355 with flag 35001/445668 22.12/21.09 c cleaning 9087 clauses out of 18181 with flag 45000/455667 22.72/21.60 c cleaning 9543 clauses out of 19095 with flag 55001/465668 23.22/22.10 c cleaning 9775 clauses out of 19553 with flag 65002/475669 23.62/22.59 c cleaning 9883 clauses out of 19776 with flag 75000/485667 24.23/23.13 c cleaning 9943 clauses out of 19895 with flag 85002/495669 24.72/23.70 c cleaning 9971 clauses out of 19951 with flag 95001/505668 25.33/24.22 c cleaning 9985 clauses out of 19979 with flag 105000/515667 25.33/24.28 c Got one! Elapsed wall clock time (in seconds):24.167 25.33/24.28 o 92 25.53/24.43 c cleaning 7919 clauses out of 15851 with flag 5001/521524 25.74/24.63 c cleaning 6961 clauses out of 13931 with flag 11000/527523 25.94/24.87 c cleaning 6981 clauses out of 13970 with flag 18000/534523 26.24/25.15 c cleaning 7490 clauses out of 14989 with flag 26000/542523 26.64/25.54 c cleaning 8245 clauses out of 16499 with flag 35000/551523 27.04/25.93 c Got one! Elapsed wall clock time (in seconds):25.823 27.04/25.93 o 87 27.24/26.11 c cleaning 10517 clauses out of 21043 with flag 5000/564312 27.45/26.31 c cleaning 8258 clauses out of 16526 with flag 11000/570312 27.64/26.55 c cleaning 7625 clauses out of 15268 with flag 18000/577312 27.94/26.83 c cleaning 7817 clauses out of 15643 with flag 26000/585312 28.24/27.15 c cleaning 8407 clauses out of 16827 with flag 35001/594313 28.65/27.52 c cleaning 9204 clauses out of 18419 with flag 45000/604312 29.15/28.03 c cleaning 9599 clauses out of 19216 with flag 55001/614313 29.65/28.54 c cleaning 9805 clauses out of 19618 with flag 65002/624314 30.15/29.02 c cleaning 9901 clauses out of 19813 with flag 75002/634314 30.45/29.33 c Got one! Elapsed wall clock time (in seconds):29.222 30.45/29.33 o 78 30.65/29.51 c cleaning 10710 clauses out of 21428 with flag 5000/645830 30.86/29.71 c cleaning 8352 clauses out of 16719 with flag 11001/651831 31.05/29.95 c cleaning 7679 clauses out of 15368 with flag 18002/658832 31.35/30.21 c cleaning 7840 clauses out of 15691 with flag 26004/666834 31.65/30.52 c cleaning 8423 clauses out of 16853 with flag 35006/675836 31.96/30.89 c cleaning 9208 clauses out of 18424 with flag 45000/685830 32.35/31.22 c cleaning 9605 clauses out of 19217 with flag 55001/695831 32.65/31.56 c cleaning 9797 clauses out of 19611 with flag 65000/705830 33.15/32.03 c cleaning 9899 clauses out of 19814 with flag 75000/715830 33.55/32.47 c cleaning 9953 clauses out of 19915 with flag 85000/725830 34.06/32.90 c cleaning 9973 clauses out of 19963 with flag 95001/735831 34.46/33.37 c cleaning 9988 clauses out of 19992 with flag 105003/745833 34.56/33.45 c Got one! Elapsed wall clock time (in seconds):33.338 34.56/33.45 o 75 34.66/33.57 c cleaning 7715 clauses out of 15434 with flag 4002/751263 34.86/33.77 c cleaning 6856 clauses out of 13717 with flag 10000/757261 35.06/34.00 c cleaning 6928 clauses out of 13861 with flag 17000/764261 35.37/34.30 c cleaning 7456 clauses out of 14933 with flag 25000/772261 35.77/34.69 c cleaning 8232 clauses out of 16478 with flag 34001/781262 36.28/35.19 c cleaning 9119 clauses out of 18246 with flag 44001/791262 36.77/35.61 c Got one! Elapsed wall clock time (in seconds):35.503 36.77/35.61 o 73 36.98/35.86 c cleaning 11993 clauses out of 23991 with flag 5003/806126 37.18/36.08 c cleaning 8991 clauses out of 17996 with flag 11001/812124 37.49/36.33 c cleaning 7995 clauses out of 16004 with flag 18000/819123 37.78/36.60 c cleaning 8001 clauses out of 16009 with flag 26000/827123 38.08/36.91 c cleaning 8498 clauses out of 17008 with flag 35000/836123 38.38/37.25 c cleaning 9251 clauses out of 18510 with flag 45000/846123 38.88/37.71 c cleaning 9624 clauses out of 19259 with flag 55000/856123 39.29/38.15 c cleaning 9816 clauses out of 19637 with flag 65002/866125 39.79/38.68 c cleaning 9905 clauses out of 19819 with flag 75000/876123 40.30/39.16 c cleaning 9955 clauses out of 19916 with flag 85002/886125 40.40/39.28 c Got one! Elapsed wall clock time (in seconds):39.173 40.40/39.28 o 61 40.51/39.38 c cleaning 7885 clauses out of 15776 with flag 3000/891940 40.72/39.57 c cleaning 6942 clauses out of 13892 with flag 9001/897941 41.01/39.81 c cleaning 6972 clauses out of 13949 with flag 16000/904940 41.21/40.09 c cleaning 7485 clauses out of 14978 with flag 24001/912941 41.62/40.40 c cleaning 8244 clauses out of 16495 with flag 33003/921943 41.92/40.76 c cleaning 9119 clauses out of 18248 with flag 43000/931940 42.32/41.11 c cleaning 9558 clauses out of 19129 with flag 53000/941940 42.62/41.47 c cleaning 9779 clauses out of 19571 with flag 63000/951940 43.02/41.85 c cleaning 9891 clauses out of 19792 with flag 73000/961940 43.42/42.23 c cleaning 9947 clauses out of 19903 with flag 83002/971942 43.82/42.67 c cleaning 9973 clauses out of 19954 with flag 93000/981940 44.32/43.16 c cleaning 9985 clauses out of 19982 with flag 103001/991941 44.72/43.55 c cleaning 9994 clauses out of 19996 with flag 113000/1001940 45.13/43.95 c cleaning 9999 clauses out of 20005 with flag 123003/1011943 45.52/44.38 c cleaning 9996 clauses out of 20004 with flag 133001/1021941 46.02/44.81 c cleaning 9996 clauses out of 20008 with flag 143001/1031941 46.42/45.20 c cleaning 10000 clauses out of 20012 with flag 153001/1041941 46.82/45.62 c cleaning 9998 clauses out of 20011 with flag 163000/1051940 47.23/46.02 c cleaning 10003 clauses out of 20013 with flag 173000/1061940 47.63/46.42 c cleaning 9999 clauses out of 20011 with flag 183001/1071941 47.83/46.66 c Got one! Elapsed wall clock time (in seconds):46.546 47.83/46.66 o 55 48.03/46.83 c cleaning 10599 clauses out of 21210 with flag 5000/1083139 48.23/47.03 c cleaning 8303 clauses out of 16611 with flag 11000/1089139 48.43/47.30 c cleaning 7649 clauses out of 15309 with flag 18001/1096140 48.83/47.60 c cleaning 7820 clauses out of 15659 with flag 26000/1104139 48.83/47.67 c Got one! Elapsed wall clock time (in seconds):47.562 48.83/47.67 o 48 48.93/47.79 c cleaning 6817 clauses out of 13643 with flag 4001/1109943 49.13/47.98 c cleaning 6410 clauses out of 12825 with flag 10000/1115942 49.43/48.21 c cleaning 6703 clauses out of 13415 with flag 17000/1122942 49.64/48.48 c cleaning 7348 clauses out of 14713 with flag 25001/1130943 50.03/48.83 c cleaning 8177 clauses out of 16364 with flag 34000/1139942 50.33/49.19 c cleaning 9087 clauses out of 18187 with flag 44000/1149942 50.74/49.57 c cleaning 9547 clauses out of 19100 with flag 54000/1159942 51.14/49.90 c Got one! Elapsed wall clock time (in seconds):49.788 51.14/49.90 o 42 51.34/50.10 c cleaning 11938 clauses out of 23888 with flag 5000/1174277 51.54/50.31 c cleaning 8970 clauses out of 17950 with flag 11000/1180277 51.74/50.56 c cleaning 7981 clauses out of 15980 with flag 18000/1187277 52.04/50.82 c cleaning 7995 clauses out of 15999 with flag 26000/1195277 52.34/51.12 c cleaning 8499 clauses out of 17004 with flag 35000/1204277 52.64/51.45 c cleaning 9250 clauses out of 18506 with flag 45001/1214278 53.04/51.88 c cleaning 9620 clauses out of 19256 with flag 55001/1224278 53.44/52.25 c cleaning 9812 clauses out of 19636 with flag 65001/1234278 53.84/52.63 c cleaning 9909 clauses out of 19823 with flag 75000/1244277 54.25/53.01 c cleaning 9950 clauses out of 19914 with flag 85000/1254277 54.55/53.36 c cleaning 9978 clauses out of 19966 with flag 95002/1264279 54.65/53.43 c Got one! Elapsed wall clock time (in seconds):53.32 54.65/53.43 o 40 54.75/53.52 c cleaning 7553 clauses out of 15114 with flag 3000/1269405 54.95/53.71 c cleaning 6777 clauses out of 13561 with flag 9000/1275405 55.16/53.93 c cleaning 6887 clauses out of 13784 with flag 16000/1282405 55.35/54.19 c cleaning 7447 clauses out of 14899 with flag 24002/1290407 55.66/54.49 c cleaning 8221 clauses out of 16450 with flag 33000/1299405 56.06/54.83 c cleaning 9112 clauses out of 18230 with flag 43001/1309406 56.36/55.18 c cleaning 9554 clauses out of 19117 with flag 53000/1319405 56.77/55.51 c cleaning 9777 clauses out of 19565 with flag 63002/1329407 57.17/55.93 c cleaning 9889 clauses out of 19786 with flag 73000/1339405 57.57/56.37 c cleaning 9947 clauses out of 19897 with flag 83000/1349405 57.87/56.67 c Got one! Elapsed wall clock time (in seconds):56.557 57.87/56.67 o 32 58.07/56.87 c cleaning 11606 clauses out of 23223 with flag 5000/1362678 58.27/57.08 c cleaning 8805 clauses out of 17617 with flag 11000/1368678 58.57/57.32 c cleaning 7903 clauses out of 15814 with flag 18002/1375680 58.77/57.58 c cleaning 7946 clauses out of 15909 with flag 26000/1383678 59.07/57.88 c cleaning 8476 clauses out of 16963 with flag 35000/1392678 59.48/58.21 c cleaning 9239 clauses out of 18487 with flag 45000/1402678 59.77/58.56 c cleaning 9620 clauses out of 19249 with flag 55001/1412679 60.17/58.90 c cleaning 9810 clauses out of 19629 with flag 65001/1422679 60.47/59.25 c cleaning 9902 clauses out of 19818 with flag 75000/1432678 60.77/59.59 c cleaning 9955 clauses out of 19917 with flag 85001/1442679 61.17/59.94 c cleaning 9976 clauses out of 19964 with flag 95003/1452681 61.48/60.29 c cleaning 9986 clauses out of 19985 with flag 105000/1462678 61.88/60.67 c cleaning 9994 clauses out of 19999 with flag 115000/1472678 62.28/61.00 c cleaning 9998 clauses out of 20005 with flag 125000/1482678 62.58/61.34 c cleaning 9994 clauses out of 20007 with flag 135000/1492678 62.88/61.67 c cleaning 10001 clauses out of 20013 with flag 145000/1502678 63.18/61.99 c cleaning 10001 clauses out of 20012 with flag 155000/1512678 63.48/62.26 c Got one! Elapsed wall clock time (in seconds):62.153 63.48/62.26 o 28 63.68/62.48 c cleaning 11624 clauses out of 23254 with flag 5000/1525921 63.89/62.69 c cleaning 8807 clauses out of 17631 with flag 11001/1531922 64.18/62.92 c cleaning 7906 clauses out of 15823 with flag 18000/1538921 64.38/63.18 c cleaning 7955 clauses out of 15917 with flag 26000/1546921 64.68/63.47 c cleaning 8473 clauses out of 16964 with flag 35002/1555923 65.09/63.80 c cleaning 9241 clauses out of 18490 with flag 45001/1565922 65.38/64.13 c cleaning 9619 clauses out of 19250 with flag 55002/1575923 65.69/64.48 c cleaning 9809 clauses out of 19629 with flag 65000/1585921 66.09/64.83 c cleaning 9902 clauses out of 19820 with flag 75000/1595921 66.39/65.17 c cleaning 9954 clauses out of 19918 with flag 85000/1605921 66.79/65.51 c cleaning 9973 clauses out of 19964 with flag 95000/1615921 67.09/65.86 c cleaning 9992 clauses out of 19992 with flag 105001/1625922 67.50/66.21 c cleaning 9995 clauses out of 20000 with flag 115001/1635922 67.80/66.54 c cleaning 9995 clauses out of 20004 with flag 125000/1645921 68.10/66.89 c cleaning 10000 clauses out of 20009 with flag 135000/1655921 68.50/67.23 c cleaning 9999 clauses out of 20009 with flag 145000/1665921 68.80/67.57 c cleaning 9996 clauses out of 20010 with flag 155000/1675921 69.20/67.93 c cleaning 10000 clauses out of 20014 with flag 165000/1685921 69.51/68.27 c cleaning 10005 clauses out of 20016 with flag 175002/1695923 69.90/68.63 c cleaning 10000 clauses out of 20009 with flag 185000/1705921 69.90/68.67 c Got one! Elapsed wall clock time (in seconds):68.557 69.90/68.67 o 22 70.10/68.82 c cleaning 7927 clauses out of 15866 with flag 5001/1711778 70.30/69.02 c cleaning 6963 clauses out of 13938 with flag 11000/1717777 70.51/69.28 c cleaning 6984 clauses out of 13978 with flag 18003/1724780 70.81/69.58 c cleaning 7493 clauses out of 14992 with flag 26001/1732778 71.11/69.87 c cleaning 8242 clauses out of 16498 with flag 35000/1741777 71.51/70.20 c cleaning 9126 clauses out of 18257 with flag 45001/1751778 71.81/70.54 c cleaning 9559 clauses out of 19130 with flag 55000/1761777 72.11/70.89 c cleaning 9780 clauses out of 19572 with flag 65001/1771778 72.51/71.22 c cleaning 9892 clauses out of 19791 with flag 75000/1781777 72.81/71.55 c Got one! Elapsed wall clock time (in seconds):71.442 72.81/71.55 o 13 73.01/71.77 c cleaning 12437 clauses out of 24881 with flag 5002/1796759 73.21/71.98 c cleaning 9218 clauses out of 18443 with flag 11001/1802758 73.51/72.21 c cleaning 8107 clauses out of 16224 with flag 18000/1809757 73.72/72.47 c cleaning 8054 clauses out of 16118 with flag 26001/1817758 74.02/72.77 c cleaning 8529 clauses out of 17064 with flag 35001/1826758 74.42/73.10 c cleaning 9264 clauses out of 18536 with flag 45002/1836759 74.72/73.45 c cleaning 9627 clauses out of 19270 with flag 55000/1846757 74.93/73.67 c Got one! Elapsed wall clock time (in seconds):73.558 74.93/73.67 o 12 75.12/73.86 c cleaning 10748 clauses out of 21504 with flag 5000/1858618 75.33/74.06 c cleaning 8371 clauses out of 16756 with flag 11000/1864618 75.53/74.30 c cleaning 7690 clauses out of 15386 with flag 18001/1871619 75.83/74.56 c cleaning 7843 clauses out of 15696 with flag 26001/1879619 76.13/74.86 c cleaning 8423 clauses out of 16855 with flag 35003/1888621 76.53/75.20 c cleaning 9211 clauses out of 18429 with flag 45000/1898618 76.83/75.53 c cleaning 9606 clauses out of 19219 with flag 55001/1908619 77.14/75.87 c cleaning 9802 clauses out of 19614 with flag 65002/1918620 77.53/76.22 c cleaning 9899 clauses out of 19811 with flag 75001/1928619 77.83/76.59 c cleaning 9950 clauses out of 19911 with flag 85000/1938618 78.24/76.94 c cleaning 9975 clauses out of 19962 with flag 95001/1948619 78.64/77.30 c cleaning 9987 clauses out of 19986 with flag 105000/1958618 78.94/77.68 c cleaning 9997 clauses out of 19999 with flag 115000/1968618 79.34/78.01 c cleaning 9997 clauses out of 20002 with flag 125000/1978618 79.64/78.33 c cleaning 9999 clauses out of 20005 with flag 135000/1988618 79.94/78.67 c cleaning 10000 clauses out of 20007 with flag 145001/1998619 80.34/79.01 c cleaning 9999 clauses out of 20007 with flag 155001/2008619 80.64/79.36 c cleaning 10001 clauses out of 20007 with flag 165000/2018618 80.94/79.69 c cleaning 9999 clauses out of 20006 with flag 175000/2028618 81.34/80.02 c cleaning 10002 clauses out of 20009 with flag 185002/2038620 81.65/80.32 c Got one! Elapsed wall clock time (in seconds):80.207 81.65/80.32 o 9 81.84/80.51 c starts : 257 81.84/80.51 c conflicts : 2051055 81.84/80.51 c decisions : 3459629 81.84/80.51 c propagations : 53854945 81.84/80.51 c inspects : 441048193 81.84/80.51 c shortcuts : 0 81.84/80.51 c learnt literals : 7 81.84/80.51 c learnt binary clauses : 104 81.84/80.51 c learnt ternary clauses : 1436 81.84/80.51 c learnt constraints : 2051047 81.84/80.51 c ignored constraints : 0 81.84/80.51 c root simplifications : 0 81.84/80.51 c removed literals (reason simplification) : 10433864 81.84/80.51 c reason swapping (by a shorter reason) : 0 81.84/80.51 c Calls to reduceDB : 232 81.84/80.51 c number of reductions to clauses (during analyze) : 0 81.84/80.51 c number of learned constraints concerned by reduction : 0 81.84/80.51 c number of learning phase by resolution : 0 81.84/80.51 c number of learning phase by cutting planes : 0 81.84/80.51 c speed (assignments/second) : 2.7760280927835053E8 81.84/80.51 c non guided choices 2779 81.84/80.51 c learnt constraints type 81.84/80.51 c constraints type 81.84/80.51 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 30 81.84/80.51 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 71 81.84/80.51 s OPTIMUM FOUND 81.84/80.51 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 81.84/80.51 c objective function=9 81.84/80.51 c Total wall clock time (in seconds): 80.402
OK 9
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 /tmp/evaluation-result-3492641-1307911046/watcher-3492641-1307911046 -o /tmp/evaluation-result-3492641-1307911046/solver-3492641-1307911046 -C 1800 -W 1900 -M 15500 java -Xms10000m -Xmx10000m -jar sat4j-pb.jar Resolution HOME/instance-3492641-1307911046.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.28 2.07 1.94 2/195 6210 /proc/meminfo: memFree=32377392/32951124 swapFree=67050044/67111528 [pid=6210] ppid=6208 vsize=23028 CPUtime=0 cores=1,3,5,7 /proc/6210/stat : 6210 (java) R 6208 6210 2655 0 -1 4202496 939 0 0 0 0 0 0 0 23 0 1 0 902707380 23580672 681 33554432000 1073741824 1073778376 140735425642496 18446744073709551615 218365994752 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/6210/statm: 5757 690 507 9 0 124 0 [startup+0.094711 s] /proc/loadavg: 2.28 2.07 1.94 2/195 6210 /proc/meminfo: memFree=32377392/32951124 swapFree=67050044/67111528 [pid=6210] ppid=6208 vsize=10540112 CPUtime=0.1 cores=1,3,5,7 /proc/6210/stat : 6210 (java) S 6208 6210 2655 0 -1 4202496 12931 0 1 0 8 2 0 0 23 0 18 0 902707380 10793074688 12626 33554432000 1073741824 1073778376 140735425642496 18446744073709551615 218382759909 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 /proc/6210/statm: 2635028 12626 2092 9 0 2625762 0 Current children cumulated CPU time (s) 0.1 Current children cumulated vsize (KiB) 10540112 [startup+0.100707 s] /proc/loadavg: 2.28 2.07 1.94 2/195 6210 /proc/meminfo: memFree=32377392/32951124 swapFree=67050044/67111528 [pid=6210] ppid=6208 vsize=10540112 CPUtime=0.1 cores=1,3,5,7 /proc/6210/stat : 6210 (java) S 6208 6210 2655 0 -1 4202496 13030 0 1 0 8 2 0 0 23 0 18 0 902707380 10793074688 12725 33554432000 1073741824 1073778376 140735425642496 18446744073709551615 218382759909 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 /proc/6210/statm: 2635028 12726 2092 9 0 2625762 0 Current children cumulated CPU time (s) 0.1 Current children cumulated vsize (KiB) 10540112 [startup+0.300672 s] /proc/loadavg: 2.28 2.07 1.94 2/195 6210 /proc/meminfo: memFree=32377392/32951124 swapFree=67050044/67111528 [pid=6210] ppid=6208 vsize=10544036 CPUtime=0.51 cores=1,3,5,7 /proc/6210/stat : 6210 (java) S 6208 6210 2655 0 -1 4202496 15876 0 1 0 49 2 0 0 23 0 19 0 902707380 10797092864 14747 33554432000 1073741824 1073778376 140735425642496 18446744073709551615 218382759909 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 /proc/6210/statm: 2636009 14747 2214 9 0 2626743 0 Current children cumulated CPU time (s) 0.51 Current children cumulated vsize (KiB) 10544036 [startup+0.7006 s] /proc/loadavg: 2.28 2.07 1.94 2/195 6210 /proc/meminfo: memFree=32377392/32951124 swapFree=67050044/67111528 [pid=6210] ppid=6208 vsize=10544064 CPUtime=0.97 cores=1,3,5,7 /proc/6210/stat : 6210 (java) S 6208 6210 2655 0 -1 4202496 16781 0 1 0 95 2 0 0 23 0 19 0 902707380 10797121536 15544 33554432000 1073741824 1073778376 140735425642496 18446744073709551615 218382759909 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 /proc/6210/statm: 2636016 15544 2218 9 0 2626750 0 Current children cumulated CPU time (s) 0.97 Current children cumulated vsize (KiB) 10544064 [startup+1.50146 s] /proc/loadavg: 2.28 2.07 1.94 3/214 6229 /proc/meminfo: memFree=32321092/32951124 swapFree=67050044/67111528 [pid=6210] ppid=6208 vsize=10544064 CPUtime=1.87 cores=1,3,5,7 /proc/6210/stat : 6210 (java) S 6208 6210 2655 0 -1 4202496 17951 0 1 0 184 3 0 0 23 0 19 0 902707380 10797121536 16708 33554432000 1073741824 1073778376 140735425642496 18446744073709551615 218382759909 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 /proc/6210/statm: 2636016 16708 2249 9 0 2626750 0 [pid=6210/tid=6212] ppid=6208 vsize=10544064 CPUtime=1.44 cores=1,3,5,7 /proc/6210/task/6212/stat : 6212 (java) R 6208 6210 2655 0 -1 4202560 12597 0 1 0 142 2 0 0 18 0 19 0 902707380 10797121536 16708 33554432000 1073741824 1073778376 140735425642496 18446744073709551615 46912505570356 0 4 0 16800975 0 0 0 -1 3 0 0 0 [pid=6210/tid=6213] ppid=6208 vsize=10544064 CPUtime=0 cores=1,3,5,7 /proc/6210/task/6213/stat : 6213 (java) S 6208 6210 2655 0 -1 4202560 189 0 0 0 0 0 0 0 15 0 19 0 902707382 10797121536 16708 33554432000 1073741824 1073778376 140735425642496 18446744073709551615 218382773145 0 4 0 16800975 18446604463799384768 0 0 -1 7 0 0 0 [pid=6210/tid=6214] ppid=6208 vsize=10544064 CPUtime=0 cores=1,3,5,7 /proc/6210/task/6214/stat : 6214 (java) S 6208 6210 2655 0 -1 4202560 2 0 0 0 0 0 0 0 16 0 19 0 902707382 10797121536 16708 33554432000 1073741824 1073778376 140735425642496 18446744073709551615 218382773145 0 4 0 16800975 18446604463799384768 0 0 -1 7 0 0 0 [pid=6210/tid=6215] ppid=6208 vsize=10544064 CPUtime=0 cores=1,3,5,7 /proc/6210/task/6215/stat : 6215 (java) S 6208 6210 2655 0 -1 4202560 47 0 0 0 0 0 0 0 15 0 19 0 902707382 10797121536 16708 33554432000 1073741824 1073778376 140735425642496 18446744073709551615 218382773145 0 4 0 16800975 18446604463799384768 0 0 -1 1 0 0 0 [pid=6210/tid=6216] ppid=6208 vsize=10544064 CPUtime=0 cores=1,3,5,7 /proc/6210/task/6216/stat : 6216 (java) S 6208 6210 2655 0 -1 4202560 88 0 0 0 0 0 0 0 15 0 19 0 902707382 10797121536 16708 33554432000 1073741824 1073778376 140735425642496 18446744073709551615 218382773145 0 4 0 16800975 18446604463799384768 0 0 -1 5 0 0 0 [pid=6210/tid=6217] ppid=6208 vsize=10544064 CPUtime=0 cores=1,3,5,7 /proc/6210/task/6217/stat : 6217 (java) S 6208 6210 2655 0 -1 4202560 109 0 0 0 0 0 0 0 15 0 19 0 902707382 10797121536 16708 33554432000 1073741824 1073778376 140735425642496 18446744073709551615 218382773145 0 4 0 16800975 18446604463799384768 0 0 -1 1 0 0 0 [pid=6210/tid=6218] ppid=6208 vsize=10544064 CPUtime=0 cores=1,3,5,7 /proc/6210/task/6218/stat : 6218 (java) S 6208 6210 2655 0 -1 4202560 104 0 0 0 0 0 0 0 15 0 19 0 902707382 10797121536 16708 33554432000 1073741824 1073778376 140735425642496 18446744073709551615 218382773145 0 4 0 16800975 18446604463799384768 0 0 -1 1 0 0 0 [pid=6210/tid=6219] ppid=6208 vsize=10544064 CPUtime=0 cores=1,3,5,7 /proc/6210/task/6219/stat : 6219 (java) S 6208 6210 2655 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 902707382 10797121536 16708 33554432000 1073741824 1073778376 140735425642496 18446744073709551615 218382773145 0 4 0 16800975 18446604463799384768 0 0 -1 1 0 0 0 [pid=6210/tid=6220] ppid=6208 vsize=10544064 CPUtime=0 cores=1,3,5,7 /proc/6210/task/6220/stat : 6220 (java) S 6208 6210 2655 0 -1 4202560 72 0 0 0 0 0 0 0 15 0 19 0 902707382 10797121536 16708 33554432000 1073741824 1073778376 140735425642496 18446744073709551615 218382773145 0 4 0 16800975 18446604463799384768 0 0 -1 1 0 0 0 [pid=6210/tid=6221] ppid=6208 vsize=10544064 CPUtime=0.03 cores=1,3,5,7 /proc/6210/task/6221/stat : 6221 (java) S 6208 6210 2655 0 -1 4202560 510 0 0 0 3 0 0 0 16 0 19 0 902707383 10797121536 16708 33554432000 1073741824 1073778376 140735425642496 18446744073709551615 218382773760 0 0 0 16800975 18446604463799384768 0 0 -1 3 0 0 0 [pid=6210/tid=6222] ppid=6208 vsize=10544064 CPUtime=0 cores=1,3,5,7 /proc/6210/task/6222/stat : 6222 (java) S 6208 6210 2655 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 902707384 10797121536 16708 33554432000 1073741824 1073778376 140735425642496 18446744073709551615 218382773145 0 4 0 16800975 18446604463799384768 0 0 -1 5 0 0 0 [pid=6210/tid=6223] ppid=6208 vsize=10544064 CPUtime=0 cores=1,3,5,7 /proc/6210/task/6223/stat : 6223 (java) S 6208 6210 2655 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 902707384 10797121536 16708 33554432000 1073741824 1073778376 140735425642496 18446744073709551615 218382773145 0 4 0 16800975 18446604463799384768 0 0 -1 5 0 0 0 [pid=6210/tid=6224] ppid=6208 vsize=10544064 CPUtime=0 cores=1,3,5,7 /proc/6210/task/6224/stat : 6224 (java) S 6208 6210 2655 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 902707386 10797121536 16708 33554432000 1073741824 1073778376 140735425642496 18446744073709551615 218382780849 0 4 0 16800975 18446604463799384768 0 0 -1 5 0 0 0 [pid=6210/tid=6225] ppid=6208 vsize=10544064 CPUtime=0.2 cores=1,3,5,7 /proc/6210/task/6225/stat : 6225 (java) S 6208 6210 2655 0 -1 4202560 1055 0 0 0 20 0 0 0 15 0 19 0 902707386 10797121536 16708 33554432000 1073741824 1073778376 140735425642496 18446744073709551615 218382773145 0 4 0 16800975 18446604463799384768 0 0 -1 1 0 0 0 [pid=6210/tid=6226] ppid=6208 vsize=10544064 CPUtime=0.17 cores=1,3,5,7 /proc/6210/task/6226/stat : 6226 (java) S 6208 6210 2655 0 -1 4202560 2025 0 0 0 17 0 0 0 15 0 19 0 902707386 10797121536 16708 33554432000 1073741824 1073778376 140735425642496 18446744073709551615 218382773145 0 4 0 16800975 18446604463799384768 0 0 -1 5 0 0 0 [pid=6210/tid=6227] ppid=6208 vsize=10544064 CPUtime=0 cores=1,3,5,7 /proc/6210/task/6227/stat : 6227 (java) S 6208 6210 2655 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 902707386 10797121536 16708 33554432000 1073741824 1073778376 140735425642496 18446744073709551615 218382773145 0 4 0 16800975 18446604463799384768 0 0 -1 5 0 0 0 [pid=6210/tid=6228] ppid=6208 vsize=10544064 CPUtime=0 cores=1,3,5,7 /proc/6210/task/6228/stat : 6228 (java) S 6208 6210 2655 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 902707386 10797121536 16708 33554432000 1073741824 1073778376 140735425642496 18446744073709551615 218382773760 0 4 0 16800975 18446604463799384768 0 0 -1 7 0 0 0 [pid=6210/tid=6229] ppid=6208 vsize=10544064 CPUtime=0 cores=1,3,5,7 /proc/6210/task/6229/stat : 6229 (java) S 6208 6210 2655 0 -1 4202560 7 0 0 0 0 0 0 0 23 0 19 0 902707397 10797121536 16708 33554432000 1073741824 1073778376 140735425642496 18446744073709551615 218382773760 0 4 0 16800975 18446604463799384768 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 1.87 Current children cumulated vsize (KiB) 10544064 [startup+3.10117 s] /proc/loadavg: 2.26 2.07 1.94 3/214 6229 /proc/meminfo: memFree=32318380/32951124 swapFree=67050044/67111528 [pid=6210] ppid=6208 vsize=10544064 CPUtime=3.49 cores=1,3,5,7 /proc/6210/stat : 6210 (java) S 6208 6210 2655 0 -1 4202496 18163 0 1 0 346 3 0 0 23 0 19 0 902707380 10797121536 16915 33554432000 1073741824 1073778376 140735425642496 18446744073709551615 218382759909 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 /proc/6210/statm: 2636016 16915 2249 9 0 2626750 0 [pid=6210/tid=6212] ppid=6208 vsize=10544064 CPUtime=2.97 cores=1,3,5,7 /proc/6210/task/6212/stat : 6212 (java) R 6208 6210 2655 0 -1 4202560 12603 0 1 0 295 2 0 0 20 0 19 0 902707380 10797121536 16915 33554432000 1073741824 1073778376 140735425642496 18446744073709551615 46912505570495 0 4 0 16800975 0 0 0 -1 3 0 0 0 [pid=6210/tid=6213] ppid=6208 vsize=10544064 CPUtime=0 cores=1,3,5,7 /proc/6210/task/6213/stat : 6213 (java) S 6208 6210 2655 0 -1 4202560 189 0 0 0 0 0 0 0 15 0 19 0 902707382 10797121536 16915 33554432000 1073741824 1073778376 140735425642496 18446744073709551615 218382773145 0 4 0 16800975 18446604463799384768 0 0 -1 7 0 0 0 [pid=6210/tid=6214] ppid=6208 vsize=10544064 CPUtime=0 cores=1,3,5,7 /proc/6210/task/6214/stat : 6214 (java) S 6208 6210 2655 0 -1 4202560 42 0 0 0 0 0 0 0 16 0 19 0 902707382 10797121536 16915 33554432000 1073741824 1073778376 140735425642496 18446744073709551615 218382773145 0 4 0 16800975 18446604463799384768 0 0 -1 7 0 0 0 [pid=6210/tid=6215] ppid=6208 vsize=10544064 CPUtime=0 cores=1,3,5,7 /proc/6210/task/6215/stat : 6215 (java) S 6208 6210 2655 0 -1 4202560 142 0 0 0 0 0 0 0 15 0 19 0 902707382 10797121536 16915 33554432000 1073741824 1073778376 140735425642496 18446744073709551615 218382773145 0 4 0 16800975 18446604463799384768 0 0 -1 5 0 0 0 [pid=6210/tid=6216] ppid=6208 vsize=10544064 CPUtime=0 cores=1,3,5,7 /proc/6210/task/6216/stat : 6216 (java) S 6208 6210 2655 0 -1 4202560 88 0 0 0 0 0 0 0 15 0 19 0 902707382 10797121536 16915 33554432000 1073741824 1073778376 140735425642496 18446744073709551615 218382773145 0 4 0 16800975 18446604463799384768 0 0 -1 5 0 0 0 [pid=6210/tid=6217] ppid=6208 vsize=10544064 CPUtime=0 cores=1,3,5,7 /proc/6210/task/6217/stat : 6217 (java) S 6208 6210 2655 0 -1 4202560 109 0 0 0 0 0 0 0 15 0 19 0 902707382 10797121536 16915 33554432000 1073741824 1073778376 140735425642496 18446744073709551615 218382773145 0 4 0 16800975 18446604463799384768 0 0 -1 1 0 0 0 [pid=6210/tid=6218] ppid=6208 vsize=10544064 CPUtime=0 cores=1,3,5,7 /proc/6210/task/6218/stat : 6218 (java) S 6208 6210 2655 0 -1 4202560 104 0 0 0 0 0 0 0 15 0 19 0 902707382 10797121536 16915 33554432000 1073741824 1073778376 140735425642496 18446744073709551615 218382773145 0 4 0 16800975 18446604463799384768 0 0 -1 1 0 0 0 [pid=6210/tid=6219] ppid=6208 vsize=10544064 CPUtime=0 cores=1,3,5,7 /proc/6210/task/6219/stat : 6219 (java) S 6208 6210 2655 0 -1 4202560 26 0 0 0 0 0 0 0 16 0 19 0 902707382 10797121536 16915 33554432000 1073741824 1073778376 140735425642496 18446744073709551615 218382773145 0 4 0 16800975 18446604463799384768 0 0 -1 1 0 0 0 [pid=6210/tid=6220] ppid=6208 vsize=10544064 CPUtime=0 cores=1,3,5,7 /proc/6210/task/6220/stat : 6220 (java) S 6208 6210 2655 0 -1 4202560 73 0 0 0 0 0 0 0 15 0 19 0 902707382 10797121536 16915 33554432000 1073741824 1073778376 140735425642496 18446744073709551615 218382773145 0 4 0 16800975 18446604463799384768 0 0 -1 5 0 0 0 [pid=6210/tid=6221] ppid=6208 vsize=10544064 CPUtime=0.09 cores=1,3,5,7 /proc/6210/task/6221/stat : 6221 (java) S 6208 6210 2655 0 -1 4202560 555 0 0 0 9 0 0 0 16 0 19 0 902707383 10797121536 16915 33554432000 1073741824 1073778376 140735425642496 18446744073709551615 218382773760 0 0 0 16800975 18446604463799384768 0 0 -1 3 0 0 0 [pid=6210/tid=6222] ppid=6208 vsize=10544064 CPUtime=0 cores=1,3,5,7 /proc/6210/task/6222/stat : 6222 (java) S 6208 6210 2655 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 902707384 10797121536 16915 33554432000 1073741824 1073778376 140735425642496 18446744073709551615 218382773145 0 4 0 16800975 18446604463799384768 0 0 -1 5 0 0 0 [pid=6210/tid=6223] ppid=6208 vsize=10544064 CPUtime=0 cores=1,3,5,7 /proc/6210/task/6223/stat : 6223 (java) S 6208 6210 2655 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 902707384 10797121536 16915 33554432000 1073741824 1073778376 140735425642496 18446744073709551615 218382773145 0 4 0 16800975 18446604463799384768 0 0 -1 5 0 0 0 [pid=6210/tid=6224] ppid=6208 vsize=10544064 CPUtime=0 cores=1,3,5,7 /proc/6210/task/6224/stat : 6224 (java) S 6208 6210 2655 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 902707386 10797121536 16915 33554432000 1073741824 1073778376 140735425642496 18446744073709551615 218382780849 0 4 0 16800975 18446604463799384768 0 0 -1 5 0 0 0 [pid=6210/tid=6225] ppid=6208 vsize=10544064 CPUtime=0.2 cores=1,3,5,7 /proc/6210/task/6225/stat : 6225 (java) S 6208 6210 2655 0 -1 4202560 1055 0 0 0 20 0 0 0 15 0 19 0 902707386 10797121536 16915 33554432000 1073741824 1073778376 140735425642496 18446744073709551615 218382773145 0 4 0 16800975 18446604463799384768 0 0 -1 1 0 0 0 [pid=6210/tid=6226] ppid=6208 vsize=10544064 CPUtime=0.18 cores=1,3,5,7 /proc/6210/task/6226/stat : 6226 (java) S 6208 6210 2655 0 -1 4202560 2026 0 0 0 18 0 0 0 15 0 19 0 902707386 10797121536 16915 33554432000 1073741824 1073778376 140735425642496 18446744073709551615 218382773145 0 4 0 16800975 18446604463799384768 0 0 -1 5 0 0 0 [pid=6210/tid=6227] ppid=6208 vsize=10544064 CPUtime=0 cores=1,3,5,7 /proc/6210/task/6227/stat : 6227 (java) S 6208 6210 2655 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 902707386 10797121536 16915 33554432000 1073741824 1073778376 140735425642496 18446744073709551615 218382773145 0 4 0 16800975 18446604463799384768 0 0 -1 5 0 0 0 [pid=6210/tid=6228] ppid=6208 vsize=10544064 CPUtime=0 cores=1,3,5,7 /proc/6210/task/6228/stat : 6228 (java) S 6208 6210 2655 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 902707386 10797121536 16915 33554432000 1073741824 1073778376 140735425642496 18446744073709551615 218382773760 0 4 0 16800975 18446604463799384768 0 0 -1 7 0 0 0 [pid=6210/tid=6229] ppid=6208 vsize=10544064 CPUtime=0 cores=1,3,5,7 /proc/6210/task/6229/stat : 6229 (java) S 6208 6210 2655 0 -1 4202560 7 0 0 0 0 0 0 0 23 0 19 0 902707397 10797121536 16915 33554432000 1073741824 1073778376 140735425642496 18446744073709551615 218382773760 0 4 0 16800975 18446604463799384768 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 3.49 Current children cumulated vsize (KiB) 10544064 [startup+6.30061 s] /proc/loadavg: 2.26 2.07 1.94 3/214 6229 /proc/meminfo: memFree=32317512/32951124 swapFree=67050044/67111528 [pid=6210] ppid=6208 vsize=10544064 CPUtime=6.73 cores=1,3,5,7 /proc/6210/stat : 6210 (java) S 6208 6210 2655 0 -1 4202496 19179 0 1 0 670 3 0 0 23 0 19 0 902707380 10797121536 17685 33554432000 1073741824 1073778376 140735425642496 18446744073709551615 218382759909 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 /proc/6210/statm: 2636016 17685 2250 9 0 2626750 0 [pid=6210/tid=6212] ppid=6208 vsize=10544064 CPUtime=6.05 cores=1,3,5,7 /proc/6210/task/6212/stat : 6212 (java) R 6208 6210 2655 0 -1 4202560 12613 0 1 0 603 2 0 0 25 0 19 0 902707380 10797121536 17685 33554432000 1073741824 1073778376 140735425642496 18446744073709551615 46912505621068 0 4 0 16800975 0 0 0 -1 3 0 0 0 [pid=6210/tid=6213] ppid=6208 vsize=10544064 CPUtime=0 cores=1,3,5,7 /proc/6210/task/6213/stat : 6213 (java) S 6208 6210 2655 0 -1 4202560 190 0 0 0 0 0 0 0 15 0 19 0 902707382 10797121536 17685 33554432000 1073741824 1073778376 140735425642496 18446744073709551615 218382773145 0 4 0 16800975 18446604463799384768 0 0 -1 7 0 0 0 [pid=6210/tid=6214] ppid=6208 vsize=10544064 CPUtime=0 cores=1,3,5,7 /proc/6210/task/6214/stat : 6214 (java) S 6208 6210 2655 0 -1 4202560 43 0 0 0 0 0 0 0 15 0 19 0 902707382 10797121536 17685 33554432000 1073741824 1073778376 140735425642496 18446744073709551615 218382773145 0 4 0 16800975 18446604463799384768 0 0 -1 1 0 0 0 [pid=6210/tid=6215] ppid=6208 vsize=10544064 CPUtime=0 cores=1,3,5,7 /proc/6210/task/6215/stat : 6215 (java) S 6208 6210 2655 0 -1 4202560 142 0 0 0 0 0 0 0 15 0 19 0 902707382 10797121536 17685 33554432000 1073741824 1073778376 140735425642496 18446744073709551615 218382773145 0 4 0 16800975 18446604463799384768 0 0 -1 5 0 0 0 [pid=6210/tid=6216] ppid=6208 vsize=10544064 CPUtime=0 cores=1,3,5,7 /proc/6210/task/6216/stat : 6216 (java) S 6208 6210 2655 0 -1 4202560 88 0 0 0 0 0 0 0 15 0 19 0 902707382 10797121536 17685 33554432000 1073741824 1073778376 140735425642496 18446744073709551615 218382773145 0 4 0 16800975 18446604463799384768 0 0 -1 1 0 0 0 [pid=6210/tid=6217] ppid=6208 vsize=10544064 CPUtime=0 cores=1,3,5,7 /proc/6210/task/6217/stat : 6217 (java) S 6208 6210 2655 0 -1 4202560 109 0 0 0 0 0 0 0 15 0 19 0 902707382 10797121536 17685 33554432000 1073741824 1073778376 140735425642496 18446744073709551615 218382773145 0 4 0 16800975 18446604463799384768 0 0 -1 1 0 0 0 [pid=6210/tid=6218] ppid=6208 vsize=10544064 CPUtime=0 cores=1,3,5,7 /proc/6210/task/6218/stat : 6218 (java) S 6208 6210 2655 0 -1 4202560 105 0 0 0 0 0 0 0 15 0 19 0 902707382 10797121536 17685 33554432000 1073741824 1073778376 140735425642496 18446744073709551615 218382773145 0 4 0 16800975 18446604463799384768 0 0 -1 7 0 0 0 [pid=6210/tid=6219] ppid=6208 vsize=10544064 CPUtime=0 cores=1,3,5,7 /proc/6210/task/6219/stat : 6219 (java) S 6208 6210 2655 0 -1 4202560 26 0 0 0 0 0 0 0 15 0 19 0 902707382 10797121536 17685 33554432000 1073741824 1073778376 140735425642496 18446744073709551615 218382773145 0 4 0 16800975 18446604463799384768 0 0 -1 1 0 0 0 [pid=6210/tid=6220] ppid=6208 vsize=10544064 CPUtime=0 cores=1,3,5,7 /proc/6210/task/6220/stat : 6220 (java) S 6208 6210 2655 0 -1 4202560 74 0 0 0 0 0 0 0 15 0 19 0 902707382 10797121536 17685 33554432000 1073741824 1073778376 140735425642496 18446744073709551615 218382773145 0 4 0 16800975 18446604463799384768 0 0 -1 5 0 0 0 [pid=6210/tid=6221] ppid=6208 vsize=10544064 CPUtime=0.2 cores=1,3,5,7 /proc/6210/task/6221/stat : 6221 (java) S 6208 6210 2655 0 -1 4202560 643 0 0 0 20 0 0 0 16 0 19 0 902707383 10797121536 17685 33554432000 1073741824 1073778376 140735425642496 18446744073709551615 218382773760 0 0 0 16800975 18446604463799384768 0 0 -1 3 0 0 0 [pid=6210/tid=6222] ppid=6208 vsize=10544064 CPUtime=0 cores=1,3,5,7 /proc/6210/task/6222/stat : 6222 (java) S 6208 6210 2655 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 902707384 10797121536 17685 33554432000 1073741824 1073778376 140735425642496 18446744073709551615 218382773145 0 4 0 16800975 18446604463799384768 0 0 -1 5 0 0 0 [pid=6210/tid=6223] ppid=6208 vsize=10544064 CPUtime=0 cores=1,3,5,7 /proc/6210/task/6223/stat : 6223 (java) S 6208 6210 2655 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 902707384 10797121536 17685 33554432000 1073741824 1073778376 140735425642496 18446744073709551615 218382773145 0 4 0 16800975 18446604463799384768 0 0 -1 5 0 0 0 [pid=6210/tid=6224] ppid=6208 vsize=10544064 CPUtime=0 cores=1,3,5,7 /proc/6210/task/6224/stat : 6224 (java) S 6208 6210 2655 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 902707386 10797121536 17685 33554432000 1073741824 1073778376 140735425642496 18446744073709551615 218382780849 0 4 0 16800975 18446604463799384768 0 0 -1 5 0 0 0 [pid=6210/tid=6225] ppid=6208 vsize=10544064 CPUtime=0.2 cores=1,3,5,7 /proc/6210/task/6225/stat : 6225 (java) S 6208 6210 2655 0 -1 4202560 1055 0 0 0 20 0 0 0 15 0 19 0 902707386 10797121536 17685 33554432000 1073741824 1073778376 140735425642496 18446744073709551615 218382773145 0 4 0 16800975 18446604463799384768 0 0 -1 1 0 0 0 [pid=6210/tid=6226] ppid=6208 vsize=10544064 CPUtime=0.21 cores=1,3,5,7 /proc/6210/task/6226/stat : 6226 (java) S 6208 6210 2655 0 -1 4202560 2940 0 0 0 21 0 0 0 15 0 19 0 902707386 10797121536 17685 33554432000 1073741824 1073778376 140735425642496 18446744073709551615 218382773145 0 4 0 16800975 18446604463799384768 0 0 -1 5 0 0 0 [pid=6210/tid=6227] ppid=6208 vsize=10544064 CPUtime=0 cores=1,3,5,7 /proc/6210/task/6227/stat : 6227 (java) S 6208 6210 2655 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 902707386 10797121536 17685 33554432000 1073741824 1073778376 140735425642496 18446744073709551615 218382773145 0 4 0 16800975 18446604463799384768 0 0 -1 5 0 0 0 [pid=6210/tid=6228] ppid=6208 vsize=10544064 CPUtime=0 cores=1,3,5,7 /proc/6210/task/6228/stat : 6228 (java) S 6208 6210 2655 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 902707386 10797121536 17685 33554432000 1073741824 1073778376 140735425642496 18446744073709551615 218382773760 0 4 0 16800975 18446604463799384768 0 0 -1 7 0 0 0 [pid=6210/tid=6229] ppid=6208 vsize=10544064 CPUtime=0 cores=1,3,5,7 /proc/6210/task/6229/stat : 6229 (java) S 6208 6210 2655 0 -1 4202560 7 0 0 0 0 0 0 0 23 0 19 0 902707397 10797121536 17685 33554432000 1073741824 1073778376 140735425642496 18446744073709551615 218382773760 0 4 0 16800975 18446604463799384768 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 6.73 Current children cumulated vsize (KiB) 10544064 [startup+12.7015 s] ################ # More data... # ################ /proc/6210/task/6213/stat : 6213 (java) S 6208 6210 2655 0 -1 4202560 208 0 0 0 6 0 0 0 15 0 19 0 902707382 10797121536 20989 33554432000 1073741824 1073778376 140735425642496 18446744073709551615 218382773145 0 4 0 16800975 18446604463799384768 0 0 -1 1 0 0 0 [pid=6210/tid=6214] ppid=6208 vsize=10544064 CPUtime=0.06 cores=1,3,5,7 /proc/6210/task/6214/stat : 6214 (java) S 6208 6210 2655 0 -1 4202560 62 0 0 0 6 0 0 0 15 0 19 0 902707382 10797121536 20989 33554432000 1073741824 1073778376 140735425642496 18446744073709551615 218382773145 0 4 0 16800975 18446604463799384768 0 0 -1 1 0 0 0 [pid=6210/tid=6215] ppid=6208 vsize=10544064 CPUtime=0.06 cores=1,3,5,7 /proc/6210/task/6215/stat : 6215 (java) S 6208 6210 2655 0 -1 4202560 150 0 0 0 6 0 0 0 15 0 19 0 902707382 10797121536 20989 33554432000 1073741824 1073778376 140735425642496 18446744073709551615 218382773145 0 4 0 16800975 18446604463799384768 0 0 -1 7 0 0 0 [pid=6210/tid=6216] ppid=6208 vsize=10544064 CPUtime=0.07 cores=1,3,5,7 /proc/6210/task/6216/stat : 6216 (java) S 6208 6210 2655 0 -1 4202560 111 0 0 0 7 0 0 0 15 0 19 0 902707382 10797121536 20989 33554432000 1073741824 1073778376 140735425642496 18446744073709551615 218382773145 0 4 0 16800975 18446604463799384768 0 0 -1 1 0 0 0 [pid=6210/tid=6217] ppid=6208 vsize=10544064 CPUtime=0.07 cores=1,3,5,7 /proc/6210/task/6217/stat : 6217 (java) S 6208 6210 2655 0 -1 4202560 147 0 0 0 7 0 0 0 15 0 19 0 902707382 10797121536 20989 33554432000 1073741824 1073778376 140735425642496 18446744073709551615 218382773145 0 4 0 16800975 18446604463799384768 0 0 -1 7 0 0 0 [pid=6210/tid=6218] ppid=6208 vsize=10544064 CPUtime=0.05 cores=1,3,5,7 /proc/6210/task/6218/stat : 6218 (java) S 6208 6210 2655 0 -1 4202560 115 0 0 0 5 0 0 0 15 0 19 0 902707382 10797121536 20989 33554432000 1073741824 1073778376 140735425642496 18446744073709551615 218382773145 0 4 0 16800975 18446604463799384768 0 0 -1 5 0 0 0 [pid=6210/tid=6219] ppid=6208 vsize=10544064 CPUtime=0.05 cores=1,3,5,7 /proc/6210/task/6219/stat : 6219 (java) S 6208 6210 2655 0 -1 4202560 47 0 0 0 5 0 0 0 15 0 19 0 902707382 10797121536 20989 33554432000 1073741824 1073778376 140735425642496 18446744073709551615 218382773145 0 4 0 16800975 18446604463799384768 0 0 -1 5 0 0 0 [pid=6210/tid=6220] ppid=6208 vsize=10544064 CPUtime=0.04 cores=1,3,5,7 /proc/6210/task/6220/stat : 6220 (java) S 6208 6210 2655 0 -1 4202560 145 0 0 0 4 0 0 0 15 0 19 0 902707382 10797121536 20989 33554432000 1073741824 1073778376 140735425642496 18446744073709551615 218382773145 0 4 0 16800975 18446604463799384768 0 0 -1 5 0 0 0 [pid=6210/tid=6221] ppid=6208 vsize=10544064 CPUtime=3.06 cores=1,3,5,7 /proc/6210/task/6221/stat : 6221 (java) S 6208 6210 2655 0 -1 4202560 1174 0 0 0 303 3 0 0 16 0 19 0 902707383 10797121536 20989 33554432000 1073741824 1073778376 140735425642496 18446744073709551615 218382773760 0 0 0 16800975 18446604463799384768 0 0 -1 3 0 0 0 [pid=6210/tid=6222] ppid=6208 vsize=10544064 CPUtime=0 cores=1,3,5,7 /proc/6210/task/6222/stat : 6222 (java) S 6208 6210 2655 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 902707384 10797121536 20989 33554432000 1073741824 1073778376 140735425642496 18446744073709551615 218382773145 0 4 0 16800975 18446604463799384768 0 0 -1 5 0 0 0 [pid=6210/tid=6223] ppid=6208 vsize=10544064 CPUtime=0 cores=1,3,5,7 /proc/6210/task/6223/stat : 6223 (java) S 6208 6210 2655 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 902707384 10797121536 20989 33554432000 1073741824 1073778376 140735425642496 18446744073709551615 218382773145 0 4 0 16800975 18446604463799384768 0 0 -1 5 0 0 0 [pid=6210/tid=6224] ppid=6208 vsize=10544064 CPUtime=0 cores=1,3,5,7 /proc/6210/task/6224/stat : 6224 (java) S 6208 6210 2655 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 902707386 10797121536 20989 33554432000 1073741824 1073778376 140735425642496 18446744073709551615 218382780849 0 4 0 16800975 18446604463799384768 0 0 -1 5 0 0 0 [pid=6210/tid=6225] ppid=6208 vsize=10544064 CPUtime=0.26 cores=1,3,5,7 /proc/6210/task/6225/stat : 6225 (java) S 6208 6210 2655 0 -1 4202560 1105 0 0 0 26 0 0 0 15 0 19 0 902707386 10797121536 20989 33554432000 1073741824 1073778376 140735425642496 18446744073709551615 218382773145 0 4 0 16800975 18446604463799384768 0 0 -1 1 0 0 0 [pid=6210/tid=6226] ppid=6208 vsize=10544064 CPUtime=0.82 cores=1,3,5,7 /proc/6210/task/6226/stat : 6226 (java) S 6208 6210 2655 0 -1 4202560 12006 0 0 0 81 1 0 0 15 0 19 0 902707386 10797121536 20989 33554432000 1073741824 1073778376 140735425642496 18446744073709551615 218382773145 0 4 0 16800975 18446604463799384768 0 0 -1 5 0 0 0 [pid=6210/tid=6227] ppid=6208 vsize=10544064 CPUtime=0 cores=1,3,5,7 /proc/6210/task/6227/stat : 6227 (java) S 6208 6210 2655 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 902707386 10797121536 20989 33554432000 1073741824 1073778376 140735425642496 18446744073709551615 218382773145 0 4 0 16800975 18446604463799384768 0 0 -1 5 0 0 0 [pid=6210/tid=6228] ppid=6208 vsize=10544064 CPUtime=0 cores=1,3,5,7 /proc/6210/task/6228/stat : 6228 (java) S 6208 6210 2655 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 902707386 10797121536 20989 33554432000 1073741824 1073778376 140735425642496 18446744073709551615 218382773760 0 4 0 16800975 18446604463799384768 0 0 -1 1 0 0 0 [pid=6210/tid=6229] ppid=6208 vsize=10544064 CPUtime=0 cores=1,3,5,7 /proc/6210/task/6229/stat : 6229 (java) S 6208 6210 2655 0 -1 4202560 7 0 0 0 0 0 0 0 23 0 19 0 902707397 10797121536 20989 33554432000 1073741824 1073778376 140735425642496 18446744073709551615 218382773760 0 4 0 16800975 18446604463799384768 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 79.64 Current children cumulated vsize (KiB) 10544064 [startup+79.9016 s] /proc/loadavg: 2.11 2.06 1.94 3/214 6231 /proc/meminfo: memFree=32299668/32951124 swapFree=67050044/67111528 [pid=6210] ppid=6208 vsize=10544064 CPUtime=81.24 cores=1,3,5,7 /proc/6210/stat : 6210 (java) S 6208 6210 2655 0 -1 4202496 29256 0 1 0 8115 9 0 0 23 0 19 0 902707380 10797121536 20990 33554432000 1073741824 1073778376 140735425642496 18446744073709551615 218382759909 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 /proc/6210/statm: 2636016 20990 2251 9 0 2626750 0 [pid=6210/tid=6212] ppid=6208 vsize=10544064 CPUtime=76.48 cores=1,3,5,7 /proc/6210/task/6212/stat : 6212 (java) R 6208 6210 2655 0 -1 4202560 12830 0 1 0 7645 3 0 0 19 0 19 0 902707380 10797121536 20990 33554432000 1073741824 1073778376 140735425642496 18446744073709551615 46912505514306 0 4 0 16800975 0 0 0 -1 5 0 0 0 [pid=6210/tid=6213] ppid=6208 vsize=10544064 CPUtime=0.06 cores=1,3,5,7 /proc/6210/task/6213/stat : 6213 (java) S 6208 6210 2655 0 -1 4202560 208 0 0 0 6 0 0 0 15 0 19 0 902707382 10797121536 20990 33554432000 1073741824 1073778376 140735425642496 18446744073709551615 218382773145 0 4 0 16800975 18446604463799384768 0 0 -1 1 0 0 0 [pid=6210/tid=6214] ppid=6208 vsize=10544064 CPUtime=0.06 cores=1,3,5,7 /proc/6210/task/6214/stat : 6214 (java) S 6208 6210 2655 0 -1 4202560 63 0 0 0 6 0 0 0 15 0 19 0 902707382 10797121536 20990 33554432000 1073741824 1073778376 140735425642496 18446744073709551615 218382773145 0 4 0 16800975 18446604463799384768 0 0 -1 5 0 0 0 [pid=6210/tid=6215] ppid=6208 vsize=10544064 CPUtime=0.06 cores=1,3,5,7 /proc/6210/task/6215/stat : 6215 (java) S 6208 6210 2655 0 -1 4202560 150 0 0 0 6 0 0 0 15 0 19 0 902707382 10797121536 20990 33554432000 1073741824 1073778376 140735425642496 18446744073709551615 218382773145 0 4 0 16800975 18446604463799384768 0 0 -1 7 0 0 0 [pid=6210/tid=6216] ppid=6208 vsize=10544064 CPUtime=0.07 cores=1,3,5,7 /proc/6210/task/6216/stat : 6216 (java) S 6208 6210 2655 0 -1 4202560 111 0 0 0 7 0 0 0 15 0 19 0 902707382 10797121536 20990 33554432000 1073741824 1073778376 140735425642496 18446744073709551615 218382773145 0 4 0 16800975 18446604463799384768 0 0 -1 5 0 0 0 [pid=6210/tid=6217] ppid=6208 vsize=10544064 CPUtime=0.07 cores=1,3,5,7 /proc/6210/task/6217/stat : 6217 (java) S 6208 6210 2655 0 -1 4202560 147 0 0 0 7 0 0 0 16 0 19 0 902707382 10797121536 20990 33554432000 1073741824 1073778376 140735425642496 18446744073709551615 218382773145 0 4 0 16800975 18446604463799384768 0 0 -1 7 0 0 0 [pid=6210/tid=6218] ppid=6208 vsize=10544064 CPUtime=0.05 cores=1,3,5,7 /proc/6210/task/6218/stat : 6218 (java) S 6208 6210 2655 0 -1 4202560 115 0 0 0 5 0 0 0 15 0 19 0 902707382 10797121536 20990 33554432000 1073741824 1073778376 140735425642496 18446744073709551615 218382773145 0 4 0 16800975 18446604463799384768 0 0 -1 1 0 0 0 [pid=6210/tid=6219] ppid=6208 vsize=10544064 CPUtime=0.05 cores=1,3,5,7 /proc/6210/task/6219/stat : 6219 (java) S 6208 6210 2655 0 -1 4202560 47 0 0 0 5 0 0 0 15 0 19 0 902707382 10797121536 20990 33554432000 1073741824 1073778376 140735425642496 18446744073709551615 218382773145 0 4 0 16800975 18446604463799384768 0 0 -1 5 0 0 0 [pid=6210/tid=6220] ppid=6208 vsize=10544064 CPUtime=0.04 cores=1,3,5,7 /proc/6210/task/6220/stat : 6220 (java) S 6208 6210 2655 0 -1 4202560 145 0 0 0 4 0 0 0 15 0 19 0 902707382 10797121536 20990 33554432000 1073741824 1073778376 140735425642496 18446744073709551615 218382773145 0 4 0 16800975 18446604463799384768 0 0 -1 5 0 0 0 [pid=6210/tid=6221] ppid=6208 vsize=10544064 CPUtime=3.14 cores=1,3,5,7 /proc/6210/task/6221/stat : 6221 (java) S 6208 6210 2655 0 -1 4202560 1174 0 0 0 311 3 0 0 15 0 19 0 902707383 10797121536 20990 33554432000 1073741824 1073778376 140735425642496 18446744073709551615 218382773760 0 0 0 16800975 18446604463799384768 0 0 -1 3 0 0 0 [pid=6210/tid=6222] ppid=6208 vsize=10544064 CPUtime=0 cores=1,3,5,7 /proc/6210/task/6222/stat : 6222 (java) S 6208 6210 2655 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 902707384 10797121536 20990 33554432000 1073741824 1073778376 140735425642496 18446744073709551615 218382773145 0 4 0 16800975 18446604463799384768 0 0 -1 5 0 0 0 [pid=6210/tid=6223] ppid=6208 vsize=10544064 CPUtime=0 cores=1,3,5,7 /proc/6210/task/6223/stat : 6223 (java) S 6208 6210 2655 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 902707384 10797121536 20990 33554432000 1073741824 1073778376 140735425642496 18446744073709551615 218382773145 0 4 0 16800975 18446604463799384768 0 0 -1 5 0 0 0 [pid=6210/tid=6224] ppid=6208 vsize=10544064 CPUtime=0 cores=1,3,5,7 /proc/6210/task/6224/stat : 6224 (java) S 6208 6210 2655 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 902707386 10797121536 20990 33554432000 1073741824 1073778376 140735425642496 18446744073709551615 218382780849 0 4 0 16800975 18446604463799384768 0 0 -1 5 0 0 0 [pid=6210/tid=6225] ppid=6208 vsize=10544064 CPUtime=0.26 cores=1,3,5,7 /proc/6210/task/6225/stat : 6225 (java) S 6208 6210 2655 0 -1 4202560 1105 0 0 0 26 0 0 0 15 0 19 0 902707386 10797121536 20990 33554432000 1073741824 1073778376 140735425642496 18446744073709551615 218382773145 0 4 0 16800975 18446604463799384768 0 0 -1 1 0 0 0 [pid=6210/tid=6226] ppid=6208 vsize=10544064 CPUtime=0.82 cores=1,3,5,7 /proc/6210/task/6226/stat : 6226 (java) S 6208 6210 2655 0 -1 4202560 12006 0 0 0 81 1 0 0 15 0 19 0 902707386 10797121536 20990 33554432000 1073741824 1073778376 140735425642496 18446744073709551615 218382773145 0 4 0 16800975 18446604463799384768 0 0 -1 5 0 0 0 [pid=6210/tid=6227] ppid=6208 vsize=10544064 CPUtime=0 cores=1,3,5,7 /proc/6210/task/6227/stat : 6227 (java) S 6208 6210 2655 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 902707386 10797121536 20990 33554432000 1073741824 1073778376 140735425642496 18446744073709551615 218382773145 0 4 0 16800975 18446604463799384768 0 0 -1 5 0 0 0 [pid=6210/tid=6228] ppid=6208 vsize=10544064 CPUtime=0 cores=1,3,5,7 /proc/6210/task/6228/stat : 6228 (java) S 6208 6210 2655 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 902707386 10797121536 20990 33554432000 1073741824 1073778376 140735425642496 18446744073709551615 218382773760 0 4 0 16800975 18446604463799384768 0 0 -1 1 0 0 0 [pid=6210/tid=6229] ppid=6208 vsize=10544064 CPUtime=0 cores=1,3,5,7 /proc/6210/task/6229/stat : 6229 (java) S 6208 6210 2655 0 -1 4202560 7 0 0 0 0 0 0 0 23 0 19 0 902707397 10797121536 20990 33554432000 1073741824 1073778376 140735425642496 18446744073709551615 218382773760 0 4 0 16800975 18446604463799384768 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 81.24 Current children cumulated vsize (KiB) 10544064 [startup+80.3065 s] /proc/loadavg: 2.11 2.06 1.94 3/214 6231 /proc/meminfo: memFree=32299668/32951124 swapFree=67050044/67111528 [pid=6210] ppid=6208 vsize=10544064 CPUtime=81.65 cores=1,3,5,7 /proc/6210/stat : 6210 (java) S 6208 6210 2655 0 -1 4202496 29258 0 1 0 8156 9 0 0 23 0 19 0 902707380 10797121536 20991 33554432000 1073741824 1073778376 140735425642496 18446744073709551615 218382759909 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 /proc/6210/statm: 2636016 20991 2251 9 0 2626750 0 [pid=6210/tid=6212] ppid=6208 vsize=10544064 CPUtime=76.87 cores=1,3,5,7 /proc/6210/task/6212/stat : 6212 (java) R 6208 6210 2655 0 -1 4202560 12831 0 1 0 7684 3 0 0 17 0 19 0 902707380 10797121536 20991 33554432000 1073741824 1073778376 140735425642496 18446744073709551615 46912505540557 0 4 0 16800975 0 0 0 -1 5 0 0 0 [pid=6210/tid=6213] ppid=6208 vsize=10544064 CPUtime=0.06 cores=1,3,5,7 /proc/6210/task/6213/stat : 6213 (java) S 6208 6210 2655 0 -1 4202560 208 0 0 0 6 0 0 0 15 0 19 0 902707382 10797121536 20991 33554432000 1073741824 1073778376 140735425642496 18446744073709551615 218382773145 0 4 0 16800975 18446604463799384768 0 0 -1 1 0 0 0 [pid=6210/tid=6214] ppid=6208 vsize=10544064 CPUtime=0.06 cores=1,3,5,7 /proc/6210/task/6214/stat : 6214 (java) S 6208 6210 2655 0 -1 4202560 63 0 0 0 6 0 0 0 15 0 19 0 902707382 10797121536 20991 33554432000 1073741824 1073778376 140735425642496 18446744073709551615 218382773145 0 4 0 16800975 18446604463799384768 0 0 -1 5 0 0 0 [pid=6210/tid=6215] ppid=6208 vsize=10544064 CPUtime=0.06 cores=1,3,5,7 /proc/6210/task/6215/stat : 6215 (java) S 6208 6210 2655 0 -1 4202560 150 0 0 0 6 0 0 0 15 0 19 0 902707382 10797121536 20991 33554432000 1073741824 1073778376 140735425642496 18446744073709551615 218382773145 0 4 0 16800975 18446604463799384768 0 0 -1 7 0 0 0 [pid=6210/tid=6216] ppid=6208 vsize=10544064 CPUtime=0.07 cores=1,3,5,7 /proc/6210/task/6216/stat : 6216 (java) S 6208 6210 2655 0 -1 4202560 111 0 0 0 7 0 0 0 15 0 19 0 902707382 10797121536 20991 33554432000 1073741824 1073778376 140735425642496 18446744073709551615 218382773145 0 4 0 16800975 18446604463799384768 0 0 -1 5 0 0 0 [pid=6210/tid=6217] ppid=6208 vsize=10544064 CPUtime=0.07 cores=1,3,5,7 /proc/6210/task/6217/stat : 6217 (java) S 6208 6210 2655 0 -1 4202560 148 0 0 0 7 0 0 0 16 0 19 0 902707382 10797121536 20991 33554432000 1073741824 1073778376 140735425642496 18446744073709551615 218382773145 0 4 0 16800975 18446604463799384768 0 0 -1 7 0 0 0 [pid=6210/tid=6218] ppid=6208 vsize=10544064 CPUtime=0.05 cores=1,3,5,7 /proc/6210/task/6218/stat : 6218 (java) S 6208 6210 2655 0 -1 4202560 115 0 0 0 5 0 0 0 15 0 19 0 902707382 10797121536 20991 33554432000 1073741824 1073778376 140735425642496 18446744073709551615 218382773145 0 4 0 16800975 18446604463799384768 0 0 -1 1 0 0 0 [pid=6210/tid=6219] ppid=6208 vsize=10544064 CPUtime=0.05 cores=1,3,5,7 /proc/6210/task/6219/stat : 6219 (java) S 6208 6210 2655 0 -1 4202560 47 0 0 0 5 0 0 0 15 0 19 0 902707382 10797121536 20991 33554432000 1073741824 1073778376 140735425642496 18446744073709551615 218382773145 0 4 0 16800975 18446604463799384768 0 0 -1 5 0 0 0 [pid=6210/tid=6220] ppid=6208 vsize=10544064 CPUtime=0.04 cores=1,3,5,7 /proc/6210/task/6220/stat : 6220 (java) S 6208 6210 2655 0 -1 4202560 145 0 0 0 4 0 0 0 16 0 19 0 902707382 10797121536 20991 33554432000 1073741824 1073778376 140735425642496 18446744073709551615 218382773145 0 4 0 16800975 18446604463799384768 0 0 -1 1 0 0 0 [pid=6210/tid=6221] ppid=6208 vsize=10544064 CPUtime=3.15 cores=1,3,5,7 /proc/6210/task/6221/stat : 6221 (java) S 6208 6210 2655 0 -1 4202560 1174 0 0 0 312 3 0 0 15 0 19 0 902707383 10797121536 20991 33554432000 1073741824 1073778376 140735425642496 18446744073709551615 218382773760 0 0 0 16800975 18446604463799384768 0 0 -1 3 0 0 0 [pid=6210/tid=6222] ppid=6208 vsize=10544064 CPUtime=0 cores=1,3,5,7 /proc/6210/task/6222/stat : 6222 (java) S 6208 6210 2655 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 902707384 10797121536 20991 33554432000 1073741824 1073778376 140735425642496 18446744073709551615 218382773145 0 4 0 16800975 18446604463799384768 0 0 -1 5 0 0 0 [pid=6210/tid=6223] ppid=6208 vsize=10544064 CPUtime=0 cores=1,3,5,7 /proc/6210/task/6223/stat : 6223 (java) S 6208 6210 2655 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 902707384 10797121536 20991 33554432000 1073741824 1073778376 140735425642496 18446744073709551615 218382773145 0 4 0 16800975 18446604463799384768 0 0 -1 5 0 0 0 [pid=6210/tid=6224] ppid=6208 vsize=10544064 CPUtime=0 cores=1,3,5,7 /proc/6210/task/6224/stat : 6224 (java) S 6208 6210 2655 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 902707386 10797121536 20991 33554432000 1073741824 1073778376 140735425642496 18446744073709551615 218382780849 0 4 0 16800975 18446604463799384768 0 0 -1 5 0 0 0 [pid=6210/tid=6225] ppid=6208 vsize=10544064 CPUtime=0.26 cores=1,3,5,7 /proc/6210/task/6225/stat : 6225 (java) S 6208 6210 2655 0 -1 4202560 1105 0 0 0 26 0 0 0 15 0 19 0 902707386 10797121536 20991 33554432000 1073741824 1073778376 140735425642496 18446744073709551615 218382773145 0 4 0 16800975 18446604463799384768 0 0 -1 1 0 0 0 [pid=6210/tid=6226] ppid=6208 vsize=10544064 CPUtime=0.82 cores=1,3,5,7 /proc/6210/task/6226/stat : 6226 (java) S 6208 6210 2655 0 -1 4202560 12006 0 0 0 81 1 0 0 15 0 19 0 902707386 10797121536 20991 33554432000 1073741824 1073778376 140735425642496 18446744073709551615 218382773145 0 4 0 16800975 18446604463799384768 0 0 -1 5 0 0 0 [pid=6210/tid=6227] ppid=6208 vsize=10544064 CPUtime=0 cores=1,3,5,7 /proc/6210/task/6227/stat : 6227 (java) S 6208 6210 2655 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 902707386 10797121536 20991 33554432000 1073741824 1073778376 140735425642496 18446744073709551615 218382773145 0 4 0 16800975 18446604463799384768 0 0 -1 5 0 0 0 [pid=6210/tid=6228] ppid=6208 vsize=10544064 CPUtime=0 cores=1,3,5,7 /proc/6210/task/6228/stat : 6228 (java) S 6208 6210 2655 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 902707386 10797121536 20991 33554432000 1073741824 1073778376 140735425642496 18446744073709551615 218382773760 0 4 0 16800975 18446604463799384768 0 0 -1 1 0 0 0 [pid=6210/tid=6229] ppid=6208 vsize=10544064 CPUtime=0 cores=1,3,5,7 /proc/6210/task/6229/stat : 6229 (java) S 6208 6210 2655 0 -1 4202560 7 0 0 0 0 0 0 0 23 0 19 0 902707397 10797121536 20991 33554432000 1073741824 1073778376 140735425642496 18446744073709551615 218382773760 0 4 0 16800975 18446604463799384768 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 81.65 Current children cumulated vsize (KiB) 10544064 [startup+80.5014 s] /proc/loadavg: 2.11 2.06 1.94 3/214 6231 /proc/meminfo: memFree=32299668/32951124 swapFree=67050044/67111528 [pid=6210] ppid=6208 vsize=10544064 CPUtime=81.84 cores=1,3,5,7 /proc/6210/stat : 6210 (java) S 6208 6210 2655 0 -1 4202496 29259 0 1 0 8175 9 0 0 23 0 19 0 902707380 10797121536 20992 33554432000 1073741824 1073778376 140735425642496 18446744073709551615 218382759909 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 /proc/6210/statm: 2636016 20992 2251 9 0 2626750 0 [pid=6210/tid=6212] ppid=6208 vsize=10544064 CPUtime=77.07 cores=1,3,5,7 /proc/6210/task/6212/stat : 6212 (java) R 6208 6210 2655 0 -1 4202560 12832 0 1 0 7704 3 0 0 18 0 19 0 902707380 10797121536 20992 33554432000 1073741824 1073778376 140735425642496 18446744073709551615 46912505722160 0 4 0 16800975 0 0 0 -1 5 0 0 0 [pid=6210/tid=6213] ppid=6208 vsize=10544064 CPUtime=0.06 cores=1,3,5,7 /proc/6210/task/6213/stat : 6213 (java) S 6208 6210 2655 0 -1 4202560 208 0 0 0 6 0 0 0 15 0 19 0 902707382 10797121536 20992 33554432000 1073741824 1073778376 140735425642496 18446744073709551615 218382773145 0 4 0 16800975 18446604463799384768 0 0 -1 1 0 0 0 [pid=6210/tid=6214] ppid=6208 vsize=10544064 CPUtime=0.06 cores=1,3,5,7 /proc/6210/task/6214/stat : 6214 (java) S 6208 6210 2655 0 -1 4202560 63 0 0 0 6 0 0 0 15 0 19 0 902707382 10797121536 20992 33554432000 1073741824 1073778376 140735425642496 18446744073709551615 218382773145 0 4 0 16800975 18446604463799384768 0 0 -1 5 0 0 0 [pid=6210/tid=6215] ppid=6208 vsize=10544064 CPUtime=0.06 cores=1,3,5,7 /proc/6210/task/6215/stat : 6215 (java) S 6208 6210 2655 0 -1 4202560 150 0 0 0 6 0 0 0 15 0 19 0 902707382 10797121536 20992 33554432000 1073741824 1073778376 140735425642496 18446744073709551615 218382773145 0 4 0 16800975 18446604463799384768 0 0 -1 7 0 0 0 [pid=6210/tid=6216] ppid=6208 vsize=10544064 CPUtime=0.07 cores=1,3,5,7 /proc/6210/task/6216/stat : 6216 (java) S 6208 6210 2655 0 -1 4202560 111 0 0 0 7 0 0 0 15 0 19 0 902707382 10797121536 20992 33554432000 1073741824 1073778376 140735425642496 18446744073709551615 218382773145 0 4 0 16800975 18446604463799384768 0 0 -1 5 0 0 0 [pid=6210/tid=6217] ppid=6208 vsize=10544064 CPUtime=0.07 cores=1,3,5,7 /proc/6210/task/6217/stat : 6217 (java) S 6208 6210 2655 0 -1 4202560 148 0 0 0 7 0 0 0 16 0 19 0 902707382 10797121536 20992 33554432000 1073741824 1073778376 140735425642496 18446744073709551615 218382773145 0 4 0 16800975 18446604463799384768 0 0 -1 7 0 0 0 [pid=6210/tid=6218] ppid=6208 vsize=10544064 CPUtime=0.05 cores=1,3,5,7 /proc/6210/task/6218/stat : 6218 (java) S 6208 6210 2655 0 -1 4202560 115 0 0 0 5 0 0 0 15 0 19 0 902707382 10797121536 20992 33554432000 1073741824 1073778376 140735425642496 18446744073709551615 218382773145 0 4 0 16800975 18446604463799384768 0 0 -1 1 0 0 0 [pid=6210/tid=6219] ppid=6208 vsize=10544064 CPUtime=0.05 cores=1,3,5,7 /proc/6210/task/6219/stat : 6219 (java) S 6208 6210 2655 0 -1 4202560 47 0 0 0 5 0 0 0 15 0 19 0 902707382 10797121536 20992 33554432000 1073741824 1073778376 140735425642496 18446744073709551615 218382773145 0 4 0 16800975 18446604463799384768 0 0 -1 5 0 0 0 [pid=6210/tid=6220] ppid=6208 vsize=10544064 CPUtime=0.04 cores=1,3,5,7 /proc/6210/task/6220/stat : 6220 (java) S 6208 6210 2655 0 -1 4202560 145 0 0 0 4 0 0 0 16 0 19 0 902707382 10797121536 20992 33554432000 1073741824 1073778376 140735425642496 18446744073709551615 218382773145 0 4 0 16800975 18446604463799384768 0 0 -1 1 0 0 0 [pid=6210/tid=6221] ppid=6208 vsize=10544064 CPUtime=3.15 cores=1,3,5,7 /proc/6210/task/6221/stat : 6221 (java) S 6208 6210 2655 0 -1 4202560 1174 0 0 0 312 3 0 0 15 0 19 0 902707383 10797121536 20992 33554432000 1073741824 1073778376 140735425642496 18446744073709551615 218382773760 0 0 0 16800975 18446604463799384768 0 0 -1 3 0 0 0 [pid=6210/tid=6222] ppid=6208 vsize=10544064 CPUtime=0 cores=1,3,5,7 /proc/6210/task/6222/stat : 6222 (java) S 6208 6210 2655 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 902707384 10797121536 20992 33554432000 1073741824 1073778376 140735425642496 18446744073709551615 218382773145 0 4 0 16800975 18446604463799384768 0 0 -1 5 0 0 0 [pid=6210/tid=6223] ppid=6208 vsize=10544064 CPUtime=0 cores=1,3,5,7 /proc/6210/task/6223/stat : 6223 (java) S 6208 6210 2655 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 902707384 10797121536 20992 33554432000 1073741824 1073778376 140735425642496 18446744073709551615 218382773145 0 4 0 16800975 18446604463799384768 0 0 -1 5 0 0 0 [pid=6210/tid=6224] ppid=6208 vsize=10544064 CPUtime=0 cores=1,3,5,7 /proc/6210/task/6224/stat : 6224 (java) S 6208 6210 2655 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 902707386 10797121536 20992 33554432000 1073741824 1073778376 140735425642496 18446744073709551615 218382780849 0 4 0 16800975 18446604463799384768 0 0 -1 5 0 0 0 [pid=6210/tid=6225] ppid=6208 vsize=10544064 CPUtime=0.26 cores=1,3,5,7 /proc/6210/task/6225/stat : 6225 (java) S 6208 6210 2655 0 -1 4202560 1105 0 0 0 26 0 0 0 15 0 19 0 902707386 10797121536 20992 33554432000 1073741824 1073778376 140735425642496 18446744073709551615 218382773145 0 4 0 16800975 18446604463799384768 0 0 -1 1 0 0 0 [pid=6210/tid=6226] ppid=6208 vsize=10544064 CPUtime=0.82 cores=1,3,5,7 /proc/6210/task/6226/stat : 6226 (java) S 6208 6210 2655 0 -1 4202560 12006 0 0 0 81 1 0 0 15 0 19 0 902707386 10797121536 20992 33554432000 1073741824 1073778376 140735425642496 18446744073709551615 218382773145 0 4 0 16800975 18446604463799384768 0 0 -1 5 0 0 0 [pid=6210/tid=6227] ppid=6208 vsize=10544064 CPUtime=0 cores=1,3,5,7 /proc/6210/task/6227/stat : 6227 (java) S 6208 6210 2655 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 902707386 10797121536 20992 33554432000 1073741824 1073778376 140735425642496 18446744073709551615 218382773145 0 4 0 16800975 18446604463799384768 0 0 -1 5 0 0 0 [pid=6210/tid=6228] ppid=6208 vsize=10544064 CPUtime=0 cores=1,3,5,7 /proc/6210/task/6228/stat : 6228 (java) S 6208 6210 2655 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 902707386 10797121536 20992 33554432000 1073741824 1073778376 140735425642496 18446744073709551615 218382773760 0 4 0 16800975 18446604463799384768 0 0 -1 1 0 0 0 [pid=6210/tid=6229] ppid=6208 vsize=10544064 CPUtime=0 cores=1,3,5,7 /proc/6210/task/6229/stat : 6229 (java) S 6208 6210 2655 0 -1 4202560 7 0 0 0 0 0 0 0 23 0 19 0 902707397 10797121536 20992 33554432000 1073741824 1073778376 140735425642496 18446744073709551615 218382773760 0 4 0 16800975 18446604463799384768 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 81.84 Current children cumulated vsize (KiB) 10544064 Child status: 30 Real time (s): 80.5202 CPU time (s): 81.8716 CPU user time (s): 81.7716 CPU system time (s): 0.099984 CPU usage (%): 101.678 Max. virtual memory (cumulated for all children) (KiB): 10544064 getrusage(RUSAGE_CHILDREN,...) data: user time used= 81.7716 system time used= 0.099984 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 29286 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= 8848 involuntary context switches= 3672 runsolver used 0.115982 second user time and 0.337948 second system time The end
Begin job on node101 at 2011-06-12 22:37:26 IDJOB=3492641 IDBENCH=79204 IDSOLVER=1982 FILE ID=node101/3492641-1307911046 RUNJOBID= node101-1307908937-4736 PBS_JOBID= 13559601 Free space on /tmp= 74060 MiB SOLVER NAME= Sat4j Resolution 2011-06-08 BENCH NAME= PB10/normalized-PB10/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1111224059--soft-0-100-0.wbo COMMAND LINE= java -Xms10000m -Xmx10000m -jar sat4j-pb.jar Resolution BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3492641-1307911046/watcher-3492641-1307911046 -o /tmp/evaluation-result-3492641-1307911046/solver-3492641-1307911046 -C 1800 -W 1900 -M 15500 java -Xms10000m -Xmx10000m -jar sat4j-pb.jar Resolution HOME/instance-3492641-1307911046.wbo TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 14fe5a51c3c33a9eb099b4fa76f18c14 RANDOM SEED=845574164 node101.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.841 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.68 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.841 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 : 5226.07 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.841 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.77 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.841 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.841 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.74 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.841 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.841 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.75 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.841 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: 32377556 kB Buffers: 122120 kB Cached: 166192 kB SwapCached: 24860 kB Active: 285572 kB Inactive: 101872 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 32377556 kB SwapTotal: 67111528 kB SwapFree: 67050044 kB Dirty: 212 kB Writeback: 0 kB AnonPages: 95936 kB Mapped: 17492 kB Slab: 120716 kB PageTables: 4972 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 10543004 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 /tmp at the end= 74060 MiB End job on node101 at 2011-06-12 22:38:47