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 | 87.7587 | 86.5091 |
| Name | /SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110971363--soft-0-100-0.wbo |
| MD5SUM | 4e22340b84333f0476155fff0e8b142d |
| 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 | 4 |
| Best CPU time to get the best result obtained on this benchmark | 1.79173 |
| 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 | 1228 |
| 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.07/0.10 c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre 0.07/0.10 c This is free software under the dual EPL/GNU LGPL licenses. 0.07/0.10 c See www.sat4j.org for details. 0.07/0.11 c version 2.3.1.v20110525 0.07/0.11 c java.runtime.name Java(TM) SE Runtime Environment 0.07/0.11 c java.vm.name Java HotSpot(TM) 64-Bit Server VM 0.07/0.11 c java.vm.version 19.1-b02 0.07/0.11 c java.vm.vendor Sun Microsystems Inc. 0.07/0.11 c sun.arch.data.model 64 0.07/0.11 c java.version 1.6.0_24 0.07/0.11 c os.name Linux 0.07/0.11 c os.version 2.6.18-164.el5 0.07/0.11 c os.arch amd64 0.07/0.11 c Free memory 9996466904 0.07/0.11 c Max memory 10048897024 0.07/0.11 c Total memory 10048897024 0.07/0.11 c Number of processors 8 0.07/0.13 c Pseudo Boolean Optimization 0.07/0.13 c --- Begin Solver configuration --- 0.07/0.13 c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@761a626f 0.07/0.13 c Learn all clauses as in MiniSAT 0.07/0.13 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.07/0.13 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.07/0.13 c Expensive reason simplification 0.07/0.13 c Armin Biere (Picosat) restarts strategy 0.07/0.13 c Glucose learned constraints deletion strategy 0.07/0.13 c timeout=2147483s 0.07/0.13 c DB Simplification allowed=false 0.07/0.13 c --- End Solver configuration --- 0.07/0.13 c solving HOME/instance-3492711-1307911170.wbo 0.07/0.13 c reading problem ... 0.07/0.19 c ... done. Wall clock time 0.06s. 0.07/0.19 c #vars 270 0.07/0.19 c #constraints 101 0.07/0.19 c constraints type 0.07/0.20 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 30 0.07/0.20 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 71 0.21/0.26 c SATISFIABLE 0.21/0.26 c OPTIMIZING... 0.21/0.26 c Got one! Elapsed wall clock time (in seconds):0.121 0.21/0.26 o 619 0.21/0.28 c Got one! Elapsed wall clock time (in seconds):0.148 0.21/0.28 o 612 0.49/0.31 c Got one! Elapsed wall clock time (in seconds):0.171 0.49/0.31 o 601 0.49/0.32 c Got one! Elapsed wall clock time (in seconds):0.182 0.49/0.32 o 598 0.49/0.33 c Got one! Elapsed wall clock time (in seconds):0.193 0.49/0.33 o 548 0.49/0.35 c Got one! Elapsed wall clock time (in seconds):0.213 0.49/0.35 o 520 0.49/0.36 c Got one! Elapsed wall clock time (in seconds):0.23 0.49/0.36 o 500 0.49/0.38 c Got one! Elapsed wall clock time (in seconds):0.248 0.49/0.38 o 495 0.61/0.47 c Got one! Elapsed wall clock time (in seconds):0.338 0.61/0.47 o 492 0.75/0.50 c Got one! Elapsed wall clock time (in seconds):0.366 0.75/0.50 o 470 0.75/0.51 c Got one! Elapsed wall clock time (in seconds):0.379 0.75/0.51 o 432 0.75/0.55 c Got one! Elapsed wall clock time (in seconds):0.411 0.75/0.55 o 417 0.75/0.58 c Got one! Elapsed wall clock time (in seconds):0.445 0.75/0.58 o 415 0.86/0.69 c Got one! Elapsed wall clock time (in seconds):0.552 0.86/0.69 o 406 0.96/0.72 c Got one! Elapsed wall clock time (in seconds):0.584 0.96/0.72 o 379 0.96/0.76 c Got one! Elapsed wall clock time (in seconds):0.631 0.96/0.77 o 362 1.08/0.83 c Got one! Elapsed wall clock time (in seconds):0.695 1.08/0.83 o 353 1.20/0.98 c cleaning 5774 clauses out of 11552 with flag 2004/11552 1.64/1.32 c cleaning 5884 clauses out of 11775 with flag 8001/17549 1.74/1.47 c Got one! Elapsed wall clock time (in seconds):1.339 1.74/1.47 o 347 1.86/1.55 c Got one! Elapsed wall clock time (in seconds):1.411 1.86/1.55 o 331 1.96/1.69 c cleaning 6247 clauses out of 12501 with flag 3003/24159 2.38/2.07 c cleaning 6121 clauses out of 12252 with flag 9001/30157 2.49/2.12 c Got one! Elapsed wall clock time (in seconds):1.981 2.49/2.12 o 324 2.59/2.23 c Got one! Elapsed wall clock time (in seconds):2.093 2.59/2.23 o 319 2.68/2.37 c cleaning 6495 clauses out of 12996 with flag 3002/37022 2.98/2.63 c Got one! Elapsed wall clock time (in seconds):2.493 2.98/2.63 o 318 2.98/2.68 c cleaning 6072 clauses out of 12150 with flag 1001/42671 3.08/2.74 c Got one! Elapsed wall clock time (in seconds):2.603 3.08/2.74 o 299 3.33/2.93 c cleaning 5609 clauses out of 11220 with flag 4001/47813 3.33/2.98 c Got one! Elapsed wall clock time (in seconds):2.848 3.33/2.98 o 294 3.56/3.14 c Got one! Elapsed wall clock time (in seconds):3.001 3.56/3.14 o 275 3.67/3.24 c cleaning 6079 clauses out of 12166 with flag 2000/54368 3.97/3.51 c cleaning 6041 clauses out of 12088 with flag 8001/60369 4.07/3.61 c Got one! Elapsed wall clock time (in seconds):3.475 4.07/3.61 o 247 4.17/3.77 c Got one! Elapsed wall clock time (in seconds):3.637 4.17/3.77 o 239 4.27/3.82 c cleaning 5880 clauses out of 11766 with flag 1000/66088 4.27/3.89 c Got one! Elapsed wall clock time (in seconds):3.759 4.27/3.89 o 234 4.47/4.08 c cleaning 5769 clauses out of 11562 with flag 4000/71764 4.87/4.47 c cleaning 5891 clauses out of 11793 with flag 10000/77764 5.27/4.90 c cleaning 6446 clauses out of 12905 with flag 17003/84767 5.47/5.02 c Got one! Elapsed wall clock time (in seconds):4.882 5.47/5.02 o 223 5.57/5.16 c cleaning 5802 clauses out of 11610 with flag 3001/89918 5.57/5.18 c Got one! Elapsed wall clock time (in seconds):5.043 5.57/5.18 o 216 5.87/5.41 c cleaning 5440 clauses out of 10886 with flag 5000/94996 6.17/5.75 c cleaning 5717 clauses out of 11446 with flag 11000/100996 6.57/6.17 c cleaning 6360 clauses out of 12729 with flag 18000/107996 7.08/6.61 c Got one! Elapsed wall clock time (in seconds):6.471 7.08/6.61 o 210 7.27/6.83 c cleaning 8984 clauses out of 17973 with flag 5001/119600 7.57/7.10 c cleaning 7490 clauses out of 14989 with flag 11001/125600 7.87/7.46 c cleaning 7251 clauses out of 14503 with flag 18005/132604 8.27/7.85 c Got one! Elapsed wall clock time (in seconds):7.712 8.27/7.85 o 203 8.47/8.08 c cleaning 9059 clauses out of 18128 with flag 5003/143480 8.67/8.20 c Got one! Elapsed wall clock time (in seconds):8.07 8.67/8.20 o 202 8.77/8.33 c cleaning 7156 clauses out of 14319 with flag 3001/148730 8.97/8.52 c Got one! Elapsed wall clock time (in seconds):8.383 8.97/8.52 o 181 9.07/8.61 c cleaning 6439 clauses out of 12884 with flag 2001/154451 9.28/8.86 c cleaning 6219 clauses out of 12445 with flag 8001/160451 9.37/8.99 c Got one! Elapsed wall clock time (in seconds):8.859 9.37/8.99 o 177 9.57/9.12 c cleaning 5889 clauses out of 11792 with flag 3000/166017 9.78/9.36 c cleaning 5947 clauses out of 11904 with flag 9001/172018 10.08/9.64 c cleaning 6475 clauses out of 12957 with flag 16001/179018 10.28/9.90 c Got one! Elapsed wall clock time (in seconds):9.761 10.28/9.90 o 169 10.58/10.12 c cleaning 8376 clauses out of 16755 with flag 5001/189291 10.78/10.36 c cleaning 7187 clauses out of 14380 with flag 11002/195292 11.09/10.62 c cleaning 7093 clauses out of 14191 with flag 18000/202290 11.49/11.02 c cleaning 7548 clauses out of 15099 with flag 26001/210291 11.49/11.05 c Got one! Elapsed wall clock time (in seconds):10.914 11.49/11.05 o 165 11.69/11.27 c cleaning 6438 clauses out of 12888 with flag 5000/215628 12.00/11.56 c cleaning 6217 clauses out of 12450 with flag 11000/221628 12.30/11.89 c Got one! Elapsed wall clock time (in seconds):11.759 12.30/11.89 o 162 12.54/12.10 c cleaning 8944 clauses out of 17897 with flag 5000/233292 12.83/12.38 c cleaning 7471 clauses out of 14958 with flag 11005/239297 13.23/12.78 c cleaning 7232 clauses out of 14484 with flag 18002/246294 13.74/13.21 c cleaning 7623 clauses out of 15251 with flag 26001/254293 14.23/13.71 c cleaning 8307 clauses out of 16628 with flag 35001/263293 14.74/14.24 c cleaning 9154 clauses out of 18320 with flag 45000/273292 14.84/14.39 c Got one! Elapsed wall clock time (in seconds):14.252 14.84/14.39 o 153 15.03/14.50 c cleaning 7472 clauses out of 14955 with flag 3000/279081 15.24/14.73 c cleaning 6741 clauses out of 13487 with flag 9004/285085 15.53/15.00 c cleaning 6867 clauses out of 13744 with flag 16002/292083 15.73/15.30 c cleaning 7435 clauses out of 14879 with flag 24004/300085 16.14/15.68 c cleaning 8213 clauses out of 16440 with flag 33000/309081 16.74/16.21 c cleaning 9110 clauses out of 18227 with flag 43000/319081 16.94/16.46 c Got one! Elapsed wall clock time (in seconds):16.327 16.94/16.46 o 138 16.94/16.50 c cleaning 7296 clauses out of 14598 with flag 1001/324562 17.25/16.73 c cleaning 6647 clauses out of 13302 with flag 7001/330562 17.55/17.06 c cleaning 6825 clauses out of 13659 with flag 14005/337566 18.06/17.52 c cleaning 7406 clauses out of 14831 with flag 22002/345563 18.55/18.01 c cleaning 8210 clauses out of 16427 with flag 31004/354565 19.05/18.53 c cleaning 9094 clauses out of 18214 with flag 41001/364562 19.16/18.64 c Got one! Elapsed wall clock time (in seconds):18.508 19.16/18.64 o 134 19.26/18.78 c cleaning 7536 clauses out of 15077 with flag 4001/370519 19.55/19.01 c cleaning 6768 clauses out of 13540 with flag 10000/376518 19.75/19.27 c cleaning 6879 clauses out of 13772 with flag 17000/383518 20.05/19.56 c cleaning 7440 clauses out of 14893 with flag 25000/391518 20.45/19.91 c Got one! Elapsed wall clock time (in seconds):19.776 20.45/19.91 o 122 20.65/20.16 c cleaning 10292 clauses out of 20592 with flag 5000/404657 20.85/20.39 c cleaning 8148 clauses out of 16301 with flag 11001/410658 21.15/20.63 c cleaning 7571 clauses out of 15152 with flag 18000/417657 21.46/20.92 c cleaning 7783 clauses out of 15581 with flag 26000/425657 21.75/21.24 c cleaning 8392 clauses out of 16800 with flag 35002/434659 22.15/21.62 c cleaning 9197 clauses out of 18407 with flag 45001/444658 22.65/22.12 c cleaning 9598 clauses out of 19209 with flag 55000/454657 23.25/22.70 c cleaning 9804 clauses out of 19613 with flag 65002/464659 23.86/23.30 c cleaning 9898 clauses out of 19809 with flag 75002/474659 24.45/23.90 c cleaning 9948 clauses out of 19909 with flag 85000/484657 24.96/24.47 c cleaning 9971 clauses out of 19961 with flag 95000/494657 25.56/25.01 c cleaning 9993 clauses out of 19994 with flag 105004/504661 25.66/25.16 c Got one! Elapsed wall clock time (in seconds):25.025 25.66/25.16 o 110 25.76/25.27 c cleaning 7881 clauses out of 15774 with flag 3001/510434 26.05/25.50 c cleaning 6943 clauses out of 13892 with flag 9000/516433 26.25/25.76 c cleaning 6971 clauses out of 13950 with flag 16001/523434 26.55/26.05 c cleaning 7484 clauses out of 14979 with flag 24001/531434 26.75/26.30 c Got one! Elapsed wall clock time (in seconds):26.167 26.75/26.30 o 102 27.05/26.51 c cleaning 9672 clauses out of 19354 with flag 5004/543293 27.26/26.73 c cleaning 7835 clauses out of 15680 with flag 11002/549291 27.46/26.97 c cleaning 7417 clauses out of 14843 with flag 18000/556289 27.76/27.26 c cleaning 7709 clauses out of 15426 with flag 26000/564289 28.16/27.61 c cleaning 8355 clauses out of 16718 with flag 35001/573290 28.62/28.02 c cleaning 9173 clauses out of 18362 with flag 45000/583289 29.58/28.56 c cleaning 9588 clauses out of 19192 with flag 55003/593292 29.88/28.87 c Got one! Elapsed wall clock time (in seconds):28.732 29.88/28.87 o 90 30.08/29.07 c cleaning 10389 clauses out of 20783 with flag 5001/604471 30.38/29.30 c cleaning 8191 clauses out of 16393 with flag 11000/610470 30.58/29.56 c cleaning 7598 clauses out of 15206 with flag 18004/617474 30.88/29.86 c cleaning 7798 clauses out of 15604 with flag 26000/625470 31.29/30.21 c cleaning 8400 clauses out of 16806 with flag 35000/634470 31.59/30.59 c cleaning 9200 clauses out of 18408 with flag 45002/644472 31.99/30.99 c cleaning 9600 clauses out of 19207 with flag 55001/654471 32.39/31.35 c cleaning 9797 clauses out of 19606 with flag 65000/664470 32.89/31.80 c cleaning 9902 clauses out of 19810 with flag 75001/674471 32.99/31.92 c Got one! Elapsed wall clock time (in seconds):31.785 32.99/31.92 o 86 33.09/32.03 c cleaning 7629 clauses out of 15264 with flag 3003/679827 33.29/32.28 c cleaning 6815 clauses out of 13633 with flag 9001/685825 33.69/32.60 c cleaning 6906 clauses out of 13819 with flag 16002/692826 34.10/33.00 c cleaning 7446 clauses out of 14912 with flag 24001/700825 34.50/33.44 c cleaning 8225 clauses out of 16465 with flag 33000/709824 35.00/33.95 c cleaning 9111 clauses out of 18240 with flag 43000/719824 35.51/34.46 c cleaning 9558 clauses out of 19131 with flag 53002/729826 36.11/35.05 c cleaning 9780 clauses out of 19574 with flag 63003/739827 36.21/35.13 c Got one! Elapsed wall clock time (in seconds):34.994 36.21/35.13 o 80 36.32/35.28 c cleaning 7602 clauses out of 15214 with flag 4001/745247 36.61/35.51 c cleaning 6803 clauses out of 13612 with flag 10001/751247 36.81/35.76 c cleaning 6901 clauses out of 13809 with flag 17001/758247 37.11/36.06 c cleaning 7452 clauses out of 14911 with flag 25004/766250 37.51/36.43 c cleaning 8222 clauses out of 16455 with flag 34000/775246 38.01/36.91 c cleaning 9101 clauses out of 18233 with flag 44000/785246 38.42/37.39 c cleaning 9559 clauses out of 19132 with flag 54000/795246 38.92/37.89 c cleaning 9783 clauses out of 19575 with flag 64002/805248 39.52/38.41 c cleaning 9891 clauses out of 19791 with flag 74001/815247 40.02/38.92 c cleaning 9943 clauses out of 19899 with flag 84000/825246 40.52/39.41 c cleaning 9974 clauses out of 19957 with flag 94001/835247 41.02/39.99 c cleaning 9988 clauses out of 19982 with flag 104000/845246 41.52/40.48 c cleaning 9991 clauses out of 19994 with flag 114000/855246 42.12/41.03 c cleaning 9997 clauses out of 20004 with flag 124001/865247 42.42/41.33 c Got one! Elapsed wall clock time (in seconds):41.199 42.42/41.33 o 75 42.62/41.57 c cleaning 10531 clauses out of 21068 with flag 5002/876308 42.93/41.80 c cleaning 8266 clauses out of 16538 with flag 11003/882309 43.12/42.07 c cleaning 7632 clauses out of 15270 with flag 18001/889307 43.42/42.37 c cleaning 7815 clauses out of 15638 with flag 26001/897307 43.83/42.71 c cleaning 8407 clauses out of 16822 with flag 35000/906306 44.13/43.07 c cleaning 9202 clauses out of 18416 with flag 45001/916307 44.53/43.45 c cleaning 9603 clauses out of 19215 with flag 55002/926308 44.93/43.85 c cleaning 9801 clauses out of 19614 with flag 65004/936310 45.43/44.33 c cleaning 9892 clauses out of 19810 with flag 75001/946307 45.93/44.83 c cleaning 9950 clauses out of 19918 with flag 85001/956307 46.33/45.22 c Got one! Elapsed wall clock time (in seconds):45.085 46.33/45.22 o 63 46.55/45.44 c cleaning 11301 clauses out of 22609 with flag 5004/968948 46.75/45.68 c cleaning 8650 clauses out of 17305 with flag 11001/974945 47.05/45.94 c cleaning 7820 clauses out of 15655 with flag 18001/981945 47.36/46.24 c cleaning 7913 clauses out of 15835 with flag 26001/989945 47.75/46.60 c cleaning 8456 clauses out of 16924 with flag 35003/998947 48.05/46.97 c cleaning 9226 clauses out of 18465 with flag 45000/1008944 48.46/47.35 c cleaning 9618 clauses out of 19240 with flag 55001/1018945 48.85/47.74 c cleaning 9804 clauses out of 19621 with flag 65000/1028944 49.26/48.10 c cleaning 9904 clauses out of 19819 with flag 75002/1038946 49.56/48.47 c cleaning 9950 clauses out of 19913 with flag 85000/1048944 49.96/48.85 c cleaning 9978 clauses out of 19964 with flag 95001/1058945 50.36/49.26 c cleaning 9986 clauses out of 19986 with flag 105001/1068945 50.86/49.70 c cleaning 9992 clauses out of 19999 with flag 115000/1078944 50.86/49.72 c Got one! Elapsed wall clock time (in seconds):49.587 50.86/49.72 o 48 50.96/49.90 c cleaning 7536 clauses out of 15083 with flag 5001/1084020 51.26/50.14 c cleaning 6765 clauses out of 13546 with flag 11000/1090019 51.46/50.39 c cleaning 6888 clauses out of 13781 with flag 18000/1097019 51.77/50.68 c cleaning 7441 clauses out of 14893 with flag 26000/1105019 52.17/51.03 c cleaning 8222 clauses out of 16452 with flag 35000/1114019 52.57/51.43 c cleaning 9112 clauses out of 18234 with flag 45004/1124023 52.87/51.79 c Got one! Elapsed wall clock time (in seconds):51.651 52.87/51.79 o 41 53.06/51.99 c cleaning 11909 clauses out of 23827 with flag 5002/1138728 53.36/52.23 c cleaning 8953 clauses out of 17916 with flag 11000/1144726 53.56/52.48 c cleaning 7977 clauses out of 15965 with flag 18002/1151728 53.87/52.76 c cleaning 7988 clauses out of 15987 with flag 26001/1159727 54.27/53.10 c cleaning 8495 clauses out of 16998 with flag 35000/1168726 54.67/53.51 c cleaning 9245 clauses out of 18503 with flag 45000/1178726 55.07/53.93 c cleaning 9625 clauses out of 19258 with flag 55000/1188726 55.47/54.32 c cleaning 9814 clauses out of 19633 with flag 65000/1198726 55.87/54.74 c cleaning 9906 clauses out of 19820 with flag 75001/1208727 56.27/55.18 c cleaning 9947 clauses out of 19914 with flag 85001/1218727 56.77/55.60 c cleaning 9977 clauses out of 19968 with flag 95002/1228728 57.18/56.03 c cleaning 9990 clauses out of 19991 with flag 105002/1238728 57.18/56.08 c Got one! Elapsed wall clock time (in seconds):55.941 57.18/56.08 o 33 57.37/56.26 c cleaning 7897 clauses out of 15806 with flag 5002/1244533 57.57/56.48 c cleaning 6949 clauses out of 13908 with flag 11001/1250532 57.87/56.72 c cleaning 6975 clauses out of 13958 with flag 18000/1257531 58.08/56.99 c cleaning 7485 clauses out of 14984 with flag 26001/1265532 58.48/57.33 c cleaning 8245 clauses out of 16498 with flag 35000/1274531 58.78/57.68 c cleaning 9121 clauses out of 18253 with flag 45000/1284531 59.18/58.06 c cleaning 9561 clauses out of 19132 with flag 55000/1294531 59.58/58.46 c cleaning 9782 clauses out of 19572 with flag 65001/1304532 59.98/58.86 c cleaning 9890 clauses out of 19789 with flag 75000/1314531 60.08/58.96 c Got one! Elapsed wall clock time (in seconds):58.827 60.08/58.96 o 29 60.18/59.07 c cleaning 7822 clauses out of 15653 with flag 3000/1320285 60.38/59.29 c cleaning 6913 clauses out of 13831 with flag 9000/1326285 60.68/59.53 c cleaning 6954 clauses out of 13918 with flag 16000/1333285 60.98/59.80 c cleaning 7480 clauses out of 14967 with flag 24003/1341288 61.28/60.13 c cleaning 8239 clauses out of 16487 with flag 33003/1350288 61.59/60.48 c cleaning 9120 clauses out of 18246 with flag 43001/1360286 61.98/60.85 c cleaning 9562 clauses out of 19129 with flag 53004/1370289 62.38/61.21 c cleaning 9773 clauses out of 19563 with flag 63000/1380285 62.69/61.58 c cleaning 9893 clauses out of 19793 with flag 73003/1390288 63.08/61.94 c cleaning 9945 clauses out of 19897 with flag 83000/1400285 63.48/62.31 c cleaning 9970 clauses out of 19952 with flag 93000/1410285 63.79/62.67 c cleaning 9989 clauses out of 19984 with flag 103002/1420287 64.19/63.04 c cleaning 9991 clauses out of 19993 with flag 113000/1430285 64.59/63.41 c cleaning 9996 clauses out of 20003 with flag 123001/1440286 64.89/63.80 c cleaning 9992 clauses out of 20006 with flag 133000/1450285 65.29/64.17 c cleaning 10004 clauses out of 20014 with flag 143000/1460285 65.69/64.56 c cleaning 9994 clauses out of 20011 with flag 153001/1470286 66.10/64.95 c cleaning 10003 clauses out of 20017 with flag 163001/1480286 66.59/65.42 c cleaning 9999 clauses out of 20013 with flag 173000/1490285 67.00/65.89 c cleaning 9996 clauses out of 20014 with flag 183000/1500285 67.40/66.24 c cleaning 10007 clauses out of 20020 with flag 193002/1510287 67.70/66.53 c Got one! Elapsed wall clock time (in seconds):66.4 67.70/66.53 o 27 67.90/66.75 c cleaning 11846 clauses out of 23699 with flag 5000/1523973 68.10/66.99 c cleaning 8922 clauses out of 17853 with flag 11000/1529973 68.40/67.23 c cleaning 7962 clauses out of 15932 with flag 18001/1536974 68.70/67.51 c cleaning 7980 clauses out of 15970 with flag 26001/1544974 69.00/67.84 c cleaning 8493 clauses out of 16989 with flag 35000/1553973 69.31/68.19 c cleaning 9246 clauses out of 18499 with flag 45003/1563976 69.70/68.56 c cleaning 9621 clauses out of 19251 with flag 55001/1573974 70.10/68.95 c cleaning 9811 clauses out of 19629 with flag 65000/1583973 70.41/69.30 c cleaning 9900 clauses out of 19818 with flag 75000/1593973 70.80/69.65 c cleaning 9951 clauses out of 19919 with flag 85001/1603974 71.21/70.01 c cleaning 9979 clauses out of 19967 with flag 95000/1613973 71.51/70.36 c cleaning 9989 clauses out of 19988 with flag 105000/1623973 71.91/70.74 c cleaning 9995 clauses out of 20001 with flag 115002/1633975 72.31/71.11 c cleaning 9996 clauses out of 20004 with flag 125000/1643973 72.61/71.47 c cleaning 9997 clauses out of 20008 with flag 135000/1653973 73.01/71.85 c cleaning 10000 clauses out of 20011 with flag 145000/1663973 73.41/72.21 c cleaning 10002 clauses out of 20012 with flag 155001/1673974 73.71/72.56 c cleaning 10001 clauses out of 20010 with flag 165001/1683974 74.11/72.91 c cleaning 9997 clauses out of 20008 with flag 175000/1693973 74.41/73.28 c cleaning 10001 clauses out of 20012 with flag 185001/1703974 74.61/73.48 c Got one! Elapsed wall clock time (in seconds):73.345 74.61/73.48 o 15 74.82/73.69 c cleaning 10505 clauses out of 21022 with flag 5000/1714985 75.11/73.91 c cleaning 8254 clauses out of 16519 with flag 11002/1720987 75.31/74.15 c cleaning 7627 clauses out of 15263 with flag 18000/1727985 75.61/74.41 c cleaning 7815 clauses out of 15636 with flag 26000/1735985 75.92/74.72 c cleaning 8406 clauses out of 16821 with flag 35000/1744985 76.22/75.04 c cleaning 9201 clauses out of 18415 with flag 45000/1754985 76.52/75.37 c cleaning 9604 clauses out of 19214 with flag 55000/1764985 76.92/75.71 c cleaning 9799 clauses out of 19611 with flag 65001/1774986 77.21/76.03 c cleaning 9902 clauses out of 19811 with flag 75000/1784985 77.52/76.36 c cleaning 9949 clauses out of 19909 with flag 85000/1794985 77.82/76.70 c cleaning 9979 clauses out of 19967 with flag 95007/1804992 78.22/77.01 c Got one! Elapsed wall clock time (in seconds):76.874 78.22/77.01 o 14 78.42/77.25 c cleaning 12230 clauses out of 24465 with flag 5000/1819469 78.62/77.49 c cleaning 9110 clauses out of 18235 with flag 11000/1825469 78.92/77.73 c cleaning 8059 clauses out of 16126 with flag 18001/1832470 79.12/78.00 c cleaning 8027 clauses out of 16066 with flag 26000/1840469 79.52/78.31 c cleaning 8517 clauses out of 17039 with flag 35000/1849469 79.82/78.66 c cleaning 9258 clauses out of 18523 with flag 45001/1859470 80.22/79.02 c cleaning 9628 clauses out of 19264 with flag 55000/1869469 80.52/79.36 c cleaning 9811 clauses out of 19636 with flag 65000/1879469 80.93/79.73 c cleaning 9906 clauses out of 19826 with flag 75001/1889470 81.23/80.07 c cleaning 9957 clauses out of 19920 with flag 85001/1899470 81.63/80.43 c cleaning 9976 clauses out of 19962 with flag 95000/1909469 81.93/80.78 c cleaning 9988 clauses out of 19987 with flag 105001/1919470 82.33/81.11 c cleaning 9998 clauses out of 20001 with flag 115003/1929472 82.64/81.46 c cleaning 9997 clauses out of 20000 with flag 125000/1939469 83.03/81.81 c cleaning 9994 clauses out of 20003 with flag 135000/1949469 83.33/82.16 c cleaning 10003 clauses out of 20012 with flag 145003/1959472 83.64/82.50 c cleaning 9998 clauses out of 20006 with flag 155000/1969469 84.03/82.82 c cleaning 10003 clauses out of 20010 with flag 165002/1979471 84.43/83.21 c cleaning 10000 clauses out of 20007 with flag 175002/1989471 84.74/83.56 c cleaning 9999 clauses out of 20007 with flag 185002/1999471 85.14/83.90 c cleaning 9996 clauses out of 20006 with flag 195000/2009469 85.44/84.25 c cleaning 10000 clauses out of 20011 with flag 205001/2019470 85.63/84.40 c Got one! Elapsed wall clock time (in seconds):84.268 85.63/84.40 o 4 85.84/84.61 c cleaning 10076 clauses out of 20157 with flag 5000/2029616 86.04/84.82 c cleaning 8036 clauses out of 16084 with flag 11003/2035619 86.24/85.06 c cleaning 7518 clauses out of 15046 with flag 18001/2042617 86.54/85.34 c cleaning 7761 clauses out of 15527 with flag 26000/2050616 86.84/85.65 c cleaning 8380 clauses out of 16767 with flag 35001/2059617 87.14/85.99 c cleaning 9192 clauses out of 18387 with flag 45001/2069617 87.54/86.38 c cleaning 9588 clauses out of 19194 with flag 55001/2079617 87.74/86.50 c starts : 266 87.74/86.50 c conflicts : 2082790 87.74/86.50 c decisions : 3306283 87.74/86.50 c propagations : 52791571 87.74/86.50 c inspects : 464376101 87.74/86.50 c shortcuts : 0 87.74/86.50 c learnt literals : 6 87.74/86.50 c learnt binary clauses : 90 87.74/86.50 c learnt ternary clauses : 1236 87.74/86.50 c learnt constraints : 2082783 87.74/86.50 c ignored constraints : 0 87.74/86.50 c root simplifications : 0 87.74/86.50 c removed literals (reason simplification) : 12214177 87.74/86.50 c reason swapping (by a shorter reason) : 0 87.74/86.50 c Calls to reduceDB : 240 87.74/86.50 c number of reductions to clauses (during analyze) : 0 87.74/86.50 c number of learned constraints concerned by reduction : 0 87.74/86.50 c number of learning phase by resolution : 0 87.74/86.50 c number of learning phase by cutting planes : 0 87.74/86.50 c speed (assignments/second) : 2.519884057279236E7 87.74/86.50 c non guided choices 3675 87.74/86.50 c learnt constraints type 87.74/86.50 c constraints type 87.74/86.50 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 30 87.74/86.50 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 71 87.74/86.50 s OPTIMUM FOUND 87.74/86.50 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 87.74/86.50 c objective function=4 87.74/86.50 c Total wall clock time (in seconds): 86.365
OK 4
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-3492711-1307911170/watcher-3492711-1307911170 -o /tmp/evaluation-result-3492711-1307911170/solver-3492711-1307911170 -C 1800 -W 1900 -M 15500 java -Xms10000m -Xmx10000m -jar sat4j-pb.jar Resolution HOME/instance-3492711-1307911170.wbo running on 4 cores: 0,2,4,6 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.00 2.05 2.01 2/193 24251 /proc/meminfo: memFree=11849168/32951132 swapFree=67054624/67111528 [pid=24251] ppid=24249 vsize=23028 CPUtime=0 cores=0,2,4,6 /proc/24251/stat : 24251 (java) R 24249 24251 19566 0 -1 4202496 951 0 0 0 0 0 0 0 25 0 1 0 902716689 23580672 694 33554432000 1073741824 1073778376 140735769559696 18446744073709551615 274659846033 0 0 4096 0 0 0 0 17 2 0 0 0 /proc/24251/statm: 5757 694 510 9 0 124 0 [startup+0.043118 s] /proc/loadavg: 2.00 2.05 2.01 2/193 24251 /proc/meminfo: memFree=11849168/32951132 swapFree=67054624/67111528 [pid=24251] ppid=24249 vsize=10467480 CPUtime=0.03 cores=0,2,4,6 /proc/24251/stat : 24251 (java) S 24249 24251 19566 0 -1 4202496 11231 0 1 0 2 1 0 0 25 0 13 0 902716689 10718699520 10927 33554432000 1073741824 1073778376 140735769559696 18446744073709551615 274676611045 0 0 0 16784584 18446744073709551615 0 0 17 2 0 0 0 /proc/24251/statm: 2616870 10928 1669 9 0 2607618 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 10467480 [startup+0.10113 s] /proc/loadavg: 2.00 2.05 2.01 2/193 24251 /proc/meminfo: memFree=11849168/32951132 swapFree=67054624/67111528 [pid=24251] ppid=24249 vsize=10538616 CPUtime=0.07 cores=0,2,4,6 /proc/24251/stat : 24251 (java) S 24249 24251 19566 0 -1 4202496 11952 0 1 0 5 2 0 0 25 0 18 0 902716689 10791542784 11648 33554432000 1073741824 1073778376 140735769559696 18446744073709551615 274676611045 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 /proc/24251/statm: 2634654 11648 1755 9 0 2625388 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 10538616 [startup+0.305081 s] /proc/loadavg: 2.00 2.05 2.01 2/193 24251 /proc/meminfo: memFree=11849168/32951132 swapFree=67054624/67111528 [pid=24251] ppid=24249 vsize=10544924 CPUtime=0.49 cores=0,2,4,6 /proc/24251/stat : 24251 (java) S 24249 24251 19566 0 -1 4202496 15769 0 1 0 47 2 0 0 25 0 19 0 902716689 10798002176 14736 33554432000 1073741824 1073778376 140735769559696 18446744073709551615 274676611045 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 /proc/24251/statm: 2636231 14736 2211 9 0 2626965 0 Current children cumulated CPU time (s) 0.49 Current children cumulated vsize (KiB) 10544924 [startup+0.701003 s] /proc/loadavg: 2.00 2.05 2.01 2/193 24251 /proc/meminfo: memFree=11849168/32951132 swapFree=67054624/67111528 [pid=24251] ppid=24249 vsize=10545240 CPUtime=0.96 cores=0,2,4,6 /proc/24251/stat : 24251 (java) S 24249 24251 19566 0 -1 4202496 16627 0 1 0 93 3 0 0 25 0 19 0 902716689 10798325760 15477 33554432000 1073741824 1073778376 140735769559696 18446744073709551615 274676611045 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 /proc/24251/statm: 2636310 15477 2218 9 0 2627044 0 Current children cumulated CPU time (s) 0.96 Current children cumulated vsize (KiB) 10545240 [startup+1.50086 s] /proc/loadavg: 2.00 2.05 2.01 3/212 24270 /proc/meminfo: memFree=11791080/32951132 swapFree=67054624/67111528 [pid=24251] ppid=24249 vsize=10545240 CPUtime=1.86 cores=0,2,4,6 /proc/24251/stat : 24251 (java) S 24249 24251 19566 0 -1 4202496 18177 0 1 0 182 4 0 0 25 0 19 0 902716689 10798325760 16996 33554432000 1073741824 1073778376 140735769559696 18446744073709551615 274676611045 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 /proc/24251/statm: 2636310 16996 2247 9 0 2627044 0 [pid=24251/tid=24253] ppid=24249 vsize=10545240 CPUtime=1.43 cores=0,2,4,6 /proc/24251/task/24253/stat : 24253 (java) R 24249 24251 19566 0 -1 4202560 12810 0 1 0 140 3 0 0 25 0 19 0 902716690 10798325760 16996 33554432000 1073741824 1073778376 140735769559696 18446744073709551615 46912505613862 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=24251/tid=24254] ppid=24249 vsize=10545240 CPUtime=0 cores=0,2,4,6 /proc/24251/task/24254/stat : 24254 (java) S 24249 24251 19566 0 -1 4202560 120 0 0 0 0 0 0 0 16 0 19 0 902716691 10798325760 16996 33554432000 1073741824 1073778376 140735769559696 18446744073709551615 274676624281 0 4 0 16800975 18446604445359248576 0 0 -1 6 0 0 0 [pid=24251/tid=24255] ppid=24249 vsize=10545240 CPUtime=0 cores=0,2,4,6 /proc/24251/task/24255/stat : 24255 (java) S 24249 24251 19566 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 902716691 10798325760 16996 33554432000 1073741824 1073778376 140735769559696 18446744073709551615 274676624281 0 4 0 16800975 18446604445359248576 0 0 -1 4 0 0 0 [pid=24251/tid=24256] ppid=24249 vsize=10545240 CPUtime=0 cores=0,2,4,6 /proc/24251/task/24256/stat : 24256 (java) S 24249 24251 19566 0 -1 4202560 1 0 0 0 0 0 0 0 16 0 19 0 902716691 10798325760 16996 33554432000 1073741824 1073778376 140735769559696 18446744073709551615 274676624281 0 4 0 16800975 18446604445359248576 0 0 -1 0 0 0 0 [pid=24251/tid=24257] ppid=24249 vsize=10545240 CPUtime=0 cores=0,2,4,6 /proc/24251/task/24257/stat : 24257 (java) S 24249 24251 19566 0 -1 4202560 114 0 0 0 0 0 0 0 16 0 19 0 902716691 10798325760 16996 33554432000 1073741824 1073778376 140735769559696 18446744073709551615 274676624281 0 4 0 16800975 18446604445359248576 0 0 -1 4 0 0 0 [pid=24251/tid=24258] ppid=24249 vsize=10545240 CPUtime=0 cores=0,2,4,6 /proc/24251/task/24258/stat : 24258 (java) S 24249 24251 19566 0 -1 4202560 1 0 0 0 0 0 0 0 16 0 19 0 902716691 10798325760 16996 33554432000 1073741824 1073778376 140735769559696 18446744073709551615 274676624281 0 4 0 16800975 18446604445359248576 0 0 -1 4 0 0 0 [pid=24251/tid=24259] ppid=24249 vsize=10545240 CPUtime=0 cores=0,2,4,6 /proc/24251/task/24259/stat : 24259 (java) S 24249 24251 19566 0 -1 4202560 77 0 0 0 0 0 0 0 16 0 19 0 902716691 10798325760 16996 33554432000 1073741824 1073778376 140735769559696 18446744073709551615 274676624281 0 4 0 16800975 18446604445359248576 0 0 -1 0 0 0 0 [pid=24251/tid=24260] ppid=24249 vsize=10545240 CPUtime=0 cores=0,2,4,6 /proc/24251/task/24260/stat : 24260 (java) S 24249 24251 19566 0 -1 4202560 140 0 0 0 0 0 0 0 16 0 19 0 902716691 10798325760 16996 33554432000 1073741824 1073778376 140735769559696 18446744073709551615 274676624281 0 4 0 16800975 18446604445359248576 0 0 -1 0 0 0 0 [pid=24251/tid=24261] ppid=24249 vsize=10545240 CPUtime=0 cores=0,2,4,6 /proc/24251/task/24261/stat : 24261 (java) S 24249 24251 19566 0 -1 4202560 193 0 0 0 0 0 0 0 16 0 19 0 902716691 10798325760 16996 33554432000 1073741824 1073778376 140735769559696 18446744073709551615 274676624281 0 4 0 16800975 18446604445359248576 0 0 -1 4 0 0 0 [pid=24251/tid=24262] ppid=24249 vsize=10545240 CPUtime=0.02 cores=0,2,4,6 /proc/24251/task/24262/stat : 24262 (java) S 24249 24251 19566 0 -1 4202560 496 0 0 0 2 0 0 0 15 0 19 0 902716692 10798325760 16996 33554432000 1073741824 1073778376 140735769559696 18446744073709551615 274676624896 0 0 0 16800975 18446604445359248576 0 0 -1 2 0 0 0 [pid=24251/tid=24263] ppid=24249 vsize=10545240 CPUtime=0 cores=0,2,4,6 /proc/24251/task/24263/stat : 24263 (java) S 24249 24251 19566 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 902716693 10798325760 16996 33554432000 1073741824 1073778376 140735769559696 18446744073709551615 274676624281 0 4 0 16800975 18446604445359248576 0 0 -1 2 0 0 0 [pid=24251/tid=24264] ppid=24249 vsize=10545240 CPUtime=0 cores=0,2,4,6 /proc/24251/task/24264/stat : 24264 (java) S 24249 24251 19566 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 902716693 10798325760 16996 33554432000 1073741824 1073778376 140735769559696 18446744073709551615 274676624281 0 4 0 16800975 18446604445359248576 0 0 -1 2 0 0 0 [pid=24251/tid=24265] ppid=24249 vsize=10545240 CPUtime=0 cores=0,2,4,6 /proc/24251/task/24265/stat : 24265 (java) S 24249 24251 19566 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902716697 10798325760 16996 33554432000 1073741824 1073778376 140735769559696 18446744073709551615 274676631985 0 4 0 16800975 18446604445359248576 0 0 -1 2 0 0 0 [pid=24251/tid=24266] ppid=24249 vsize=10545240 CPUtime=0.19 cores=0,2,4,6 /proc/24251/task/24266/stat : 24266 (java) S 24249 24251 19566 0 -1 4202560 1710 0 0 0 19 0 0 0 15 0 19 0 902716697 10798325760 16996 33554432000 1073741824 1073778376 140735769559696 18446744073709551615 274676624281 0 4 0 16800975 18446604445359248576 0 0 -1 2 0 0 0 [pid=24251/tid=24267] ppid=24249 vsize=10545240 CPUtime=0.18 cores=0,2,4,6 /proc/24251/task/24267/stat : 24267 (java) S 24249 24251 19566 0 -1 4202560 1361 0 0 0 18 0 0 0 15 0 19 0 902716697 10798325760 16996 33554432000 1073741824 1073778376 140735769559696 18446744073709551615 274676624281 0 4 0 16800975 18446604445359248576 0 0 -1 4 0 0 0 [pid=24251/tid=24268] ppid=24249 vsize=10545240 CPUtime=0 cores=0,2,4,6 /proc/24251/task/24268/stat : 24268 (java) S 24249 24251 19566 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902716697 10798325760 16996 33554432000 1073741824 1073778376 140735769559696 18446744073709551615 274676624281 0 4 0 16800975 18446604445359248576 0 0 -1 0 0 0 0 [pid=24251/tid=24269] ppid=24249 vsize=10545240 CPUtime=0 cores=0,2,4,6 /proc/24251/task/24269/stat : 24269 (java) S 24249 24251 19566 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 902716697 10798325760 16996 33554432000 1073741824 1073778376 140735769559696 18446744073709551615 274676624896 0 4 0 16800975 18446604445359248576 0 0 -1 6 0 0 0 [pid=24251/tid=24270] ppid=24249 vsize=10545240 CPUtime=0 cores=0,2,4,6 /proc/24251/task/24270/stat : 24270 (java) S 24249 24251 19566 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 902716709 10798325760 16996 33554432000 1073741824 1073778376 140735769559696 18446744073709551615 274676624896 0 4 0 16800975 18446604445359248576 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 1.86 Current children cumulated vsize (KiB) 10545240 [startup+3.10162 s] /proc/loadavg: 2.00 2.05 2.01 3/212 24270 /proc/meminfo: memFree=11788104/32951132 swapFree=67054624/67111528 [pid=24251] ppid=24249 vsize=10545240 CPUtime=3.56 cores=0,2,4,6 /proc/24251/stat : 24251 (java) S 24249 24251 19566 0 -1 4202496 20178 0 1 0 352 4 0 0 25 0 19 0 902716689 10798325760 17368 33554432000 1073741824 1073778376 140735769559696 18446744073709551615 274676611045 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 /proc/24251/statm: 2636310 17368 2249 9 0 2627044 0 [pid=24251/tid=24253] ppid=24249 vsize=10545240 CPUtime=2.96 cores=0,2,4,6 /proc/24251/task/24253/stat : 24253 (java) R 24249 24251 19566 0 -1 4202560 12814 0 1 0 293 3 0 0 25 0 19 0 902716690 10798325760 17368 33554432000 1073741824 1073778376 140735769559696 18446744073709551615 46912505571807 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=24251/tid=24254] ppid=24249 vsize=10545240 CPUtime=0 cores=0,2,4,6 /proc/24251/task/24254/stat : 24254 (java) S 24249 24251 19566 0 -1 4202560 120 0 0 0 0 0 0 0 15 0 19 0 902716691 10798325760 17368 33554432000 1073741824 1073778376 140735769559696 18446744073709551615 274676624281 0 4 0 16800975 18446604445359248576 0 0 -1 4 0 0 0 [pid=24251/tid=24255] ppid=24249 vsize=10545240 CPUtime=0 cores=0,2,4,6 /proc/24251/task/24255/stat : 24255 (java) S 24249 24251 19566 0 -1 4202560 38 0 0 0 0 0 0 0 16 0 19 0 902716691 10798325760 17368 33554432000 1073741824 1073778376 140735769559696 18446744073709551615 274676624281 0 4 0 16800975 18446604445359248576 0 0 -1 6 0 0 0 [pid=24251/tid=24256] ppid=24249 vsize=10545240 CPUtime=0 cores=0,2,4,6 /proc/24251/task/24256/stat : 24256 (java) S 24249 24251 19566 0 -1 4202560 1 0 0 0 0 0 0 0 16 0 19 0 902716691 10798325760 17368 33554432000 1073741824 1073778376 140735769559696 18446744073709551615 274676624281 0 4 0 16800975 18446604445359248576 0 0 -1 2 0 0 0 [pid=24251/tid=24257] ppid=24249 vsize=10545240 CPUtime=0 cores=0,2,4,6 /proc/24251/task/24257/stat : 24257 (java) S 24249 24251 19566 0 -1 4202560 114 0 0 0 0 0 0 0 16 0 19 0 902716691 10798325760 17368 33554432000 1073741824 1073778376 140735769559696 18446744073709551615 274676624281 0 4 0 16800975 18446604445359248576 0 0 -1 4 0 0 0 [pid=24251/tid=24258] ppid=24249 vsize=10545240 CPUtime=0 cores=0,2,4,6 /proc/24251/task/24258/stat : 24258 (java) S 24249 24251 19566 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 902716691 10798325760 17368 33554432000 1073741824 1073778376 140735769559696 18446744073709551615 274676624281 0 4 0 16800975 18446604445359248576 0 0 -1 6 0 0 0 [pid=24251/tid=24259] ppid=24249 vsize=10545240 CPUtime=0 cores=0,2,4,6 /proc/24251/task/24259/stat : 24259 (java) S 24249 24251 19566 0 -1 4202560 79 0 0 0 0 0 0 0 15 0 19 0 902716691 10798325760 17368 33554432000 1073741824 1073778376 140735769559696 18446744073709551615 274676624281 0 4 0 16800975 18446604445359248576 0 0 -1 2 0 0 0 [pid=24251/tid=24260] ppid=24249 vsize=10545240 CPUtime=0 cores=0,2,4,6 /proc/24251/task/24260/stat : 24260 (java) S 24249 24251 19566 0 -1 4202560 140 0 0 0 0 0 0 0 15 0 19 0 902716691 10798325760 17368 33554432000 1073741824 1073778376 140735769559696 18446744073709551615 274676624281 0 4 0 16800975 18446604445359248576 0 0 -1 4 0 0 0 [pid=24251/tid=24261] ppid=24249 vsize=10545240 CPUtime=0 cores=0,2,4,6 /proc/24251/task/24261/stat : 24261 (java) S 24249 24251 19566 0 -1 4202560 231 0 0 0 0 0 0 0 15 0 19 0 902716691 10798325760 17368 33554432000 1073741824 1073778376 140735769559696 18446744073709551615 274676624281 0 4 0 16800975 18446604445359248576 0 0 -1 2 0 0 0 [pid=24251/tid=24262] ppid=24249 vsize=10545240 CPUtime=0.08 cores=0,2,4,6 /proc/24251/task/24262/stat : 24262 (java) S 24249 24251 19566 0 -1 4202560 590 0 0 0 8 0 0 0 16 0 19 0 902716692 10798325760 17368 33554432000 1073741824 1073778376 140735769559696 18446744073709551615 274676624896 0 0 0 16800975 18446604445359248576 0 0 -1 0 0 0 0 [pid=24251/tid=24263] ppid=24249 vsize=10545240 CPUtime=0 cores=0,2,4,6 /proc/24251/task/24263/stat : 24263 (java) S 24249 24251 19566 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 902716693 10798325760 17368 33554432000 1073741824 1073778376 140735769559696 18446744073709551615 274676624281 0 4 0 16800975 18446604445359248576 0 0 -1 2 0 0 0 [pid=24251/tid=24264] ppid=24249 vsize=10545240 CPUtime=0 cores=0,2,4,6 /proc/24251/task/24264/stat : 24264 (java) S 24249 24251 19566 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 902716693 10798325760 17368 33554432000 1073741824 1073778376 140735769559696 18446744073709551615 274676624281 0 4 0 16800975 18446604445359248576 0 0 -1 2 0 0 0 [pid=24251/tid=24265] ppid=24249 vsize=10545240 CPUtime=0 cores=0,2,4,6 /proc/24251/task/24265/stat : 24265 (java) S 24249 24251 19566 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902716697 10798325760 17368 33554432000 1073741824 1073778376 140735769559696 18446744073709551615 274676631985 0 4 0 16800975 18446604445359248576 0 0 -1 2 0 0 0 [pid=24251/tid=24266] ppid=24249 vsize=10545240 CPUtime=0.2 cores=0,2,4,6 /proc/24251/task/24266/stat : 24266 (java) S 24249 24251 19566 0 -1 4202560 1711 0 0 0 20 0 0 0 15 0 19 0 902716697 10798325760 17368 33554432000 1073741824 1073778376 140735769559696 18446744073709551615 274676624281 0 4 0 16800975 18446604445359248576 0 0 -1 2 0 0 0 [pid=24251/tid=24267] ppid=24249 vsize=10545240 CPUtime=0.29 cores=0,2,4,6 /proc/24251/task/24267/stat : 24267 (java) S 24249 24251 19566 0 -1 4202560 3185 0 0 0 28 1 0 0 15 0 19 0 902716697 10798325760 17368 33554432000 1073741824 1073778376 140735769559696 18446744073709551615 274676624281 0 4 0 16800975 18446604445359248576 0 0 -1 2 0 0 0 [pid=24251/tid=24268] ppid=24249 vsize=10545240 CPUtime=0 cores=0,2,4,6 /proc/24251/task/24268/stat : 24268 (java) S 24249 24251 19566 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902716697 10798325760 17368 33554432000 1073741824 1073778376 140735769559696 18446744073709551615 274676624281 0 4 0 16800975 18446604445359248576 0 0 -1 0 0 0 0 [pid=24251/tid=24269] ppid=24249 vsize=10545240 CPUtime=0 cores=0,2,4,6 /proc/24251/task/24269/stat : 24269 (java) S 24249 24251 19566 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 902716697 10798325760 17368 33554432000 1073741824 1073778376 140735769559696 18446744073709551615 274676624896 0 4 0 16800975 18446604445359248576 0 0 -1 4 0 0 0 [pid=24251/tid=24270] ppid=24249 vsize=10545240 CPUtime=0 cores=0,2,4,6 /proc/24251/task/24270/stat : 24270 (java) S 24249 24251 19566 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 902716709 10798325760 17368 33554432000 1073741824 1073778376 140735769559696 18446744073709551615 274676624896 0 4 0 16800975 18446604445359248576 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 3.56 Current children cumulated vsize (KiB) 10545240 [startup+6.30107 s] /proc/loadavg: 2.00 2.05 2.01 3/212 24270 /proc/meminfo: memFree=11786860/32951132 swapFree=67054624/67111528 [pid=24251] ppid=24249 vsize=10544248 CPUtime=6.77 cores=0,2,4,6 /proc/24251/stat : 24251 (java) S 24249 24251 19566 0 -1 4202496 20260 0 1 0 672 5 0 0 25 0 19 0 902716689 10797309952 17223 33554432000 1073741824 1073778376 140735769559696 18446744073709551615 274676611045 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 /proc/24251/statm: 2636062 17223 2249 9 0 2626796 0 [pid=24251/tid=24253] ppid=24249 vsize=10544248 CPUtime=6.01 cores=0,2,4,6 /proc/24251/task/24253/stat : 24253 (java) R 24249 24251 19566 0 -1 4202560 12825 0 1 0 598 3 0 0 25 0 19 0 902716690 10797309952 17223 33554432000 1073741824 1073778376 140735769559696 18446744073709551615 46912505564384 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=24251/tid=24254] ppid=24249 vsize=10544248 CPUtime=0 cores=0,2,4,6 /proc/24251/task/24254/stat : 24254 (java) S 24249 24251 19566 0 -1 4202560 121 0 0 0 0 0 0 0 15 0 19 0 902716691 10797309952 17223 33554432000 1073741824 1073778376 140735769559696 18446744073709551615 274676624281 0 4 0 16800975 18446604445359248576 0 0 -1 4 0 0 0 [pid=24251/tid=24255] ppid=24249 vsize=10544248 CPUtime=0 cores=0,2,4,6 /proc/24251/task/24255/stat : 24255 (java) S 24249 24251 19566 0 -1 4202560 38 0 0 0 0 0 0 0 16 0 19 0 902716691 10797309952 17223 33554432000 1073741824 1073778376 140735769559696 18446744073709551615 274676624281 0 4 0 16800975 18446604445359248576 0 0 -1 2 0 0 0 [pid=24251/tid=24256] ppid=24249 vsize=10544248 CPUtime=0 cores=0,2,4,6 /proc/24251/task/24256/stat : 24256 (java) S 24249 24251 19566 0 -1 4202560 4 0 0 0 0 0 0 0 16 0 19 0 902716691 10797309952 17223 33554432000 1073741824 1073778376 140735769559696 18446744073709551615 274676624281 0 4 0 16800975 18446604445359248576 0 0 -1 4 0 0 0 [pid=24251/tid=24257] ppid=24249 vsize=10544248 CPUtime=0 cores=0,2,4,6 /proc/24251/task/24257/stat : 24257 (java) S 24249 24251 19566 0 -1 4202560 127 0 0 0 0 0 0 0 15 0 19 0 902716691 10797309952 17223 33554432000 1073741824 1073778376 140735769559696 18446744073709551615 274676624281 0 4 0 16800975 18446604445359248576 0 0 -1 2 0 0 0 [pid=24251/tid=24258] ppid=24249 vsize=10544248 CPUtime=0 cores=0,2,4,6 /proc/24251/task/24258/stat : 24258 (java) S 24249 24251 19566 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 19 0 902716691 10797309952 17223 33554432000 1073741824 1073778376 140735769559696 18446744073709551615 274676624281 0 4 0 16800975 18446604445359248576 0 0 -1 6 0 0 0 [pid=24251/tid=24259] ppid=24249 vsize=10544248 CPUtime=0 cores=0,2,4,6 /proc/24251/task/24259/stat : 24259 (java) S 24249 24251 19566 0 -1 4202560 79 0 0 0 0 0 0 0 15 0 19 0 902716691 10797309952 17223 33554432000 1073741824 1073778376 140735769559696 18446744073709551615 274676624281 0 4 0 16800975 18446604445359248576 0 0 -1 6 0 0 0 [pid=24251/tid=24260] ppid=24249 vsize=10544248 CPUtime=0 cores=0,2,4,6 /proc/24251/task/24260/stat : 24260 (java) S 24249 24251 19566 0 -1 4202560 141 0 0 0 0 0 0 0 15 0 19 0 902716691 10797309952 17223 33554432000 1073741824 1073778376 140735769559696 18446744073709551615 274676624281 0 4 0 16800975 18446604445359248576 0 0 -1 2 0 0 0 [pid=24251/tid=24261] ppid=24249 vsize=10544248 CPUtime=0 cores=0,2,4,6 /proc/24251/task/24261/stat : 24261 (java) S 24249 24251 19566 0 -1 4202560 269 0 0 0 0 0 0 0 16 0 19 0 902716691 10797309952 17223 33554432000 1073741824 1073778376 140735769559696 18446744073709551615 274676624281 0 4 0 16800975 18446604445359248576 0 0 -1 6 0 0 0 [pid=24251/tid=24262] ppid=24249 vsize=10544248 CPUtime=0.21 cores=0,2,4,6 /proc/24251/task/24262/stat : 24262 (java) S 24249 24251 19566 0 -1 4202560 590 0 0 0 21 0 0 0 16 0 19 0 902716692 10797309952 17223 33554432000 1073741824 1073778376 140735769559696 18446744073709551615 274676624896 0 0 0 16800975 18446604445359248576 0 0 -1 0 0 0 0 [pid=24251/tid=24263] ppid=24249 vsize=10544248 CPUtime=0 cores=0,2,4,6 /proc/24251/task/24263/stat : 24263 (java) S 24249 24251 19566 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 902716693 10797309952 17223 33554432000 1073741824 1073778376 140735769559696 18446744073709551615 274676624281 0 4 0 16800975 18446604445359248576 0 0 -1 2 0 0 0 [pid=24251/tid=24264] ppid=24249 vsize=10544248 CPUtime=0 cores=0,2,4,6 /proc/24251/task/24264/stat : 24264 (java) S 24249 24251 19566 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 902716693 10797309952 17223 33554432000 1073741824 1073778376 140735769559696 18446744073709551615 274676624281 0 4 0 16800975 18446604445359248576 0 0 -1 2 0 0 0 [pid=24251/tid=24265] ppid=24249 vsize=10544248 CPUtime=0 cores=0,2,4,6 /proc/24251/task/24265/stat : 24265 (java) S 24249 24251 19566 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902716697 10797309952 17223 33554432000 1073741824 1073778376 140735769559696 18446744073709551615 274676631985 0 4 0 16800975 18446604445359248576 0 0 -1 2 0 0 0 [pid=24251/tid=24266] ppid=24249 vsize=10544248 CPUtime=0.2 cores=0,2,4,6 /proc/24251/task/24266/stat : 24266 (java) S 24249 24251 19566 0 -1 4202560 1711 0 0 0 20 0 0 0 15 0 19 0 902716697 10797309952 17223 33554432000 1073741824 1073778376 140735769559696 18446744073709551615 274676624281 0 4 0 16800975 18446604445359248576 0 0 -1 2 0 0 0 [pid=24251/tid=24267] ppid=24249 vsize=10544248 CPUtime=0.29 cores=0,2,4,6 /proc/24251/task/24267/stat : 24267 (java) S 24249 24251 19566 0 -1 4202560 3185 0 0 0 28 1 0 0 15 0 19 0 902716697 10797309952 17223 33554432000 1073741824 1073778376 140735769559696 18446744073709551615 274676624281 0 4 0 16800975 18446604445359248576 0 0 -1 2 0 0 0 [pid=24251/tid=24268] ppid=24249 vsize=10544248 CPUtime=0 cores=0,2,4,6 /proc/24251/task/24268/stat : 24268 (java) S 24249 24251 19566 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902716697 10797309952 17223 33554432000 1073741824 1073778376 140735769559696 18446744073709551615 274676624281 0 4 0 16800975 18446604445359248576 0 0 -1 0 0 0 0 [pid=24251/tid=24269] ppid=24249 vsize=10544248 CPUtime=0 cores=0,2,4,6 /proc/24251/task/24269/stat : 24269 (java) S 24249 24251 19566 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 902716697 10797309952 17223 33554432000 1073741824 1073778376 140735769559696 18446744073709551615 274676624896 0 4 0 16800975 18446604445359248576 0 0 -1 4 0 0 0 [pid=24251/tid=24270] ppid=24249 vsize=10544248 CPUtime=0 cores=0,2,4,6 /proc/24251/task/24270/stat : 24270 (java) S 24249 24251 19566 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 902716709 10797309952 17223 33554432000 1073741824 1073778376 140735769559696 18446744073709551615 274676624896 0 4 0 16800975 18446604445359248576 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 6.77 Current children cumulated vsize (KiB) 10544248 [startup+12.7009 s] ################ # More data... # ################ /proc/24251/task/24254/stat : 24254 (java) S 24249 24251 19566 0 -1 4202560 171 0 0 0 5 0 0 0 15 0 19 0 902716691 10797309952 20898 33554432000 1073741824 1073778376 140735769559696 18446744073709551615 274676624281 0 4 0 16800975 18446604445359248576 0 0 -1 4 0 0 0 [pid=24251/tid=24255] ppid=24249 vsize=10544248 CPUtime=0.06 cores=0,2,4,6 /proc/24251/task/24255/stat : 24255 (java) S 24249 24251 19566 0 -1 4202560 38 0 0 0 6 0 0 0 15 0 19 0 902716691 10797309952 20898 33554432000 1073741824 1073778376 140735769559696 18446744073709551615 274676624281 0 4 0 16800975 18446604445359248576 0 0 -1 2 0 0 0 [pid=24251/tid=24256] ppid=24249 vsize=10544248 CPUtime=0.07 cores=0,2,4,6 /proc/24251/task/24256/stat : 24256 (java) S 24249 24251 19566 0 -1 4202560 27 0 0 0 7 0 0 0 15 0 19 0 902716691 10797309952 20898 33554432000 1073741824 1073778376 140735769559696 18446744073709551615 274676624281 0 4 0 16800975 18446604445359248576 0 0 -1 4 0 0 0 [pid=24251/tid=24257] ppid=24249 vsize=10544248 CPUtime=0.07 cores=0,2,4,6 /proc/24251/task/24257/stat : 24257 (java) S 24249 24251 19566 0 -1 4202560 137 0 0 0 7 0 0 0 15 0 19 0 902716691 10797309952 20898 33554432000 1073741824 1073778376 140735769559696 18446744073709551615 274676624281 0 4 0 16800975 18446604445359248576 0 0 -1 6 0 0 0 [pid=24251/tid=24258] ppid=24249 vsize=10544248 CPUtime=0.06 cores=0,2,4,6 /proc/24251/task/24258/stat : 24258 (java) S 24249 24251 19566 0 -1 4202560 27 0 0 0 6 0 0 0 15 0 19 0 902716691 10797309952 20898 33554432000 1073741824 1073778376 140735769559696 18446744073709551615 274676624281 0 4 0 16800975 18446604445359248576 0 0 -1 6 0 0 0 [pid=24251/tid=24259] ppid=24249 vsize=10544248 CPUtime=0.06 cores=0,2,4,6 /proc/24251/task/24259/stat : 24259 (java) S 24249 24251 19566 0 -1 4202560 85 0 0 0 6 0 0 0 15 0 19 0 902716691 10797309952 20898 33554432000 1073741824 1073778376 140735769559696 18446744073709551615 274676624281 0 4 0 16800975 18446604445359248576 0 0 -1 4 0 0 0 [pid=24251/tid=24260] ppid=24249 vsize=10544248 CPUtime=0.05 cores=0,2,4,6 /proc/24251/task/24260/stat : 24260 (java) S 24249 24251 19566 0 -1 4202560 190 0 0 0 5 0 0 0 15 0 19 0 902716691 10797309952 20898 33554432000 1073741824 1073778376 140735769559696 18446744073709551615 274676624281 0 4 0 16800975 18446604445359248576 0 0 -1 2 0 0 0 [pid=24251/tid=24261] ppid=24249 vsize=10544248 CPUtime=0.06 cores=0,2,4,6 /proc/24251/task/24261/stat : 24261 (java) S 24249 24251 19566 0 -1 4202560 296 0 0 0 6 0 0 0 15 0 19 0 902716691 10797309952 20898 33554432000 1073741824 1073778376 140735769559696 18446744073709551615 274676624281 0 4 0 16800975 18446604445359248576 0 0 -1 6 0 0 0 [pid=24251/tid=24262] ppid=24249 vsize=10544248 CPUtime=3.41 cores=0,2,4,6 /proc/24251/task/24262/stat : 24262 (java) S 24249 24251 19566 0 -1 4202560 1135 0 0 0 338 3 0 0 15 0 19 0 902716692 10797309952 20898 33554432000 1073741824 1073778376 140735769559696 18446744073709551615 274676624896 0 0 0 16800975 18446604445359248576 0 0 -1 0 0 0 0 [pid=24251/tid=24263] ppid=24249 vsize=10544248 CPUtime=0 cores=0,2,4,6 /proc/24251/task/24263/stat : 24263 (java) S 24249 24251 19566 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 902716693 10797309952 20898 33554432000 1073741824 1073778376 140735769559696 18446744073709551615 274676624281 0 4 0 16800975 18446604445359248576 0 0 -1 2 0 0 0 [pid=24251/tid=24264] ppid=24249 vsize=10544248 CPUtime=0 cores=0,2,4,6 /proc/24251/task/24264/stat : 24264 (java) S 24249 24251 19566 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 902716693 10797309952 20898 33554432000 1073741824 1073778376 140735769559696 18446744073709551615 274676624281 0 4 0 16800975 18446604445359248576 0 0 -1 2 0 0 0 [pid=24251/tid=24265] ppid=24249 vsize=10544248 CPUtime=0 cores=0,2,4,6 /proc/24251/task/24265/stat : 24265 (java) S 24249 24251 19566 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902716697 10797309952 20898 33554432000 1073741824 1073778376 140735769559696 18446744073709551615 274676631985 0 4 0 16800975 18446604445359248576 0 0 -1 2 0 0 0 [pid=24251/tid=24266] ppid=24249 vsize=10544248 CPUtime=0.26 cores=0,2,4,6 /proc/24251/task/24266/stat : 24266 (java) S 24249 24251 19566 0 -1 4202560 1728 0 0 0 26 0 0 0 15 0 19 0 902716697 10797309952 20898 33554432000 1073741824 1073778376 140735769559696 18446744073709551615 274676624281 0 4 0 16800975 18446604445359248576 0 0 -1 2 0 0 0 [pid=24251/tid=24267] ppid=24249 vsize=10544248 CPUtime=0.82 cores=0,2,4,6 /proc/24251/task/24267/stat : 24267 (java) S 24249 24251 19566 0 -1 4202560 12071 0 0 0 80 2 0 0 15 0 19 0 902716697 10797309952 20898 33554432000 1073741824 1073778376 140735769559696 18446744073709551615 274676624281 0 4 0 16800975 18446604445359248576 0 0 -1 0 0 0 0 [pid=24251/tid=24268] ppid=24249 vsize=10544248 CPUtime=0 cores=0,2,4,6 /proc/24251/task/24268/stat : 24268 (java) S 24249 24251 19566 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902716697 10797309952 20898 33554432000 1073741824 1073778376 140735769559696 18446744073709551615 274676624281 0 4 0 16800975 18446604445359248576 0 0 -1 0 0 0 0 [pid=24251/tid=24269] ppid=24249 vsize=10544248 CPUtime=0 cores=0,2,4,6 /proc/24251/task/24269/stat : 24269 (java) S 24249 24251 19566 0 -1 4202560 6 0 0 0 0 0 0 0 15 0 19 0 902716697 10797309952 20898 33554432000 1073741824 1073778376 140735769559696 18446744073709551615 274676624896 0 4 0 16800975 18446604445359248576 0 0 -1 4 0 0 0 [pid=24251/tid=24270] ppid=24249 vsize=10544248 CPUtime=0 cores=0,2,4,6 /proc/24251/task/24270/stat : 24270 (java) S 24249 24251 19566 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 902716709 10797309952 20898 33554432000 1073741824 1073778376 140735769559696 18446744073709551615 274676624896 0 4 0 16800975 18446604445359248576 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 85.94 Current children cumulated vsize (KiB) 10544248 [startup+85.5013 s] /proc/loadavg: 2.00 2.03 2.00 3/212 24272 /proc/meminfo: memFree=11747304/32951132 swapFree=67054624/67111528 [pid=24251] ppid=24249 vsize=10544248 CPUtime=86.74 cores=0,2,4,6 /proc/24251/stat : 24251 (java) S 24249 24251 19566 0 -1 4202496 30112 0 1 0 8663 11 0 0 25 0 19 0 902716689 10797309952 20898 33554432000 1073741824 1073778376 140735769559696 18446744073709551615 274676611045 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 /proc/24251/statm: 2636062 20898 2251 9 0 2626796 0 [pid=24251/tid=24253] ppid=24249 vsize=10544248 CPUtime=81.64 cores=0,2,4,6 /proc/24251/task/24253/stat : 24253 (java) R 24249 24251 19566 0 -1 4202560 13050 0 1 0 8160 4 0 0 25 0 19 0 902716690 10797309952 20898 33554432000 1073741824 1073778376 140735769559696 18446744073709551615 46912505534967 0 4 0 16800975 0 0 0 -1 4 0 0 0 [pid=24251/tid=24254] ppid=24249 vsize=10544248 CPUtime=0.05 cores=0,2,4,6 /proc/24251/task/24254/stat : 24254 (java) S 24249 24251 19566 0 -1 4202560 171 0 0 0 5 0 0 0 15 0 19 0 902716691 10797309952 20898 33554432000 1073741824 1073778376 140735769559696 18446744073709551615 274676624281 0 4 0 16800975 18446604445359248576 0 0 -1 6 0 0 0 [pid=24251/tid=24255] ppid=24249 vsize=10544248 CPUtime=0.06 cores=0,2,4,6 /proc/24251/task/24255/stat : 24255 (java) S 24249 24251 19566 0 -1 4202560 38 0 0 0 6 0 0 0 15 0 19 0 902716691 10797309952 20898 33554432000 1073741824 1073778376 140735769559696 18446744073709551615 274676624281 0 4 0 16800975 18446604445359248576 0 0 -1 2 0 0 0 [pid=24251/tid=24256] ppid=24249 vsize=10544248 CPUtime=0.07 cores=0,2,4,6 /proc/24251/task/24256/stat : 24256 (java) S 24249 24251 19566 0 -1 4202560 27 0 0 0 7 0 0 0 15 0 19 0 902716691 10797309952 20898 33554432000 1073741824 1073778376 140735769559696 18446744073709551615 274676624281 0 4 0 16800975 18446604445359248576 0 0 -1 4 0 0 0 [pid=24251/tid=24257] ppid=24249 vsize=10544248 CPUtime=0.07 cores=0,2,4,6 /proc/24251/task/24257/stat : 24257 (java) S 24249 24251 19566 0 -1 4202560 137 0 0 0 7 0 0 0 16 0 19 0 902716691 10797309952 20898 33554432000 1073741824 1073778376 140735769559696 18446744073709551615 274676624281 0 4 0 16800975 18446604445359248576 0 0 -1 6 0 0 0 [pid=24251/tid=24258] ppid=24249 vsize=10544248 CPUtime=0.06 cores=0,2,4,6 /proc/24251/task/24258/stat : 24258 (java) S 24249 24251 19566 0 -1 4202560 27 0 0 0 6 0 0 0 16 0 19 0 902716691 10797309952 20898 33554432000 1073741824 1073778376 140735769559696 18446744073709551615 274676624281 0 4 0 16800975 18446604445359248576 0 0 -1 4 0 0 0 [pid=24251/tid=24259] ppid=24249 vsize=10544248 CPUtime=0.06 cores=0,2,4,6 /proc/24251/task/24259/stat : 24259 (java) S 24249 24251 19566 0 -1 4202560 85 0 0 0 6 0 0 0 15 0 19 0 902716691 10797309952 20898 33554432000 1073741824 1073778376 140735769559696 18446744073709551615 274676624281 0 4 0 16800975 18446604445359248576 0 0 -1 4 0 0 0 [pid=24251/tid=24260] ppid=24249 vsize=10544248 CPUtime=0.05 cores=0,2,4,6 /proc/24251/task/24260/stat : 24260 (java) S 24249 24251 19566 0 -1 4202560 190 0 0 0 5 0 0 0 15 0 19 0 902716691 10797309952 20898 33554432000 1073741824 1073778376 140735769559696 18446744073709551615 274676624281 0 4 0 16800975 18446604445359248576 0 0 -1 2 0 0 0 [pid=24251/tid=24261] ppid=24249 vsize=10544248 CPUtime=0.06 cores=0,2,4,6 /proc/24251/task/24261/stat : 24261 (java) S 24249 24251 19566 0 -1 4202560 296 0 0 0 6 0 0 0 15 0 19 0 902716691 10797309952 20898 33554432000 1073741824 1073778376 140735769559696 18446744073709551615 274676624281 0 4 0 16800975 18446604445359248576 0 0 -1 6 0 0 0 [pid=24251/tid=24262] ppid=24249 vsize=10544248 CPUtime=3.46 cores=0,2,4,6 /proc/24251/task/24262/stat : 24262 (java) S 24249 24251 19566 0 -1 4202560 1135 0 0 0 343 3 0 0 15 0 19 0 902716692 10797309952 20898 33554432000 1073741824 1073778376 140735769559696 18446744073709551615 274676624896 0 0 0 16800975 18446604445359248576 0 0 -1 0 0 0 0 [pid=24251/tid=24263] ppid=24249 vsize=10544248 CPUtime=0 cores=0,2,4,6 /proc/24251/task/24263/stat : 24263 (java) S 24249 24251 19566 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 902716693 10797309952 20898 33554432000 1073741824 1073778376 140735769559696 18446744073709551615 274676624281 0 4 0 16800975 18446604445359248576 0 0 -1 2 0 0 0 [pid=24251/tid=24264] ppid=24249 vsize=10544248 CPUtime=0 cores=0,2,4,6 /proc/24251/task/24264/stat : 24264 (java) S 24249 24251 19566 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 902716693 10797309952 20898 33554432000 1073741824 1073778376 140735769559696 18446744073709551615 274676624281 0 4 0 16800975 18446604445359248576 0 0 -1 2 0 0 0 [pid=24251/tid=24265] ppid=24249 vsize=10544248 CPUtime=0 cores=0,2,4,6 /proc/24251/task/24265/stat : 24265 (java) S 24249 24251 19566 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902716697 10797309952 20898 33554432000 1073741824 1073778376 140735769559696 18446744073709551615 274676631985 0 4 0 16800975 18446604445359248576 0 0 -1 2 0 0 0 [pid=24251/tid=24266] ppid=24249 vsize=10544248 CPUtime=0.26 cores=0,2,4,6 /proc/24251/task/24266/stat : 24266 (java) S 24249 24251 19566 0 -1 4202560 1728 0 0 0 26 0 0 0 15 0 19 0 902716697 10797309952 20898 33554432000 1073741824 1073778376 140735769559696 18446744073709551615 274676624281 0 4 0 16800975 18446604445359248576 0 0 -1 2 0 0 0 [pid=24251/tid=24267] ppid=24249 vsize=10544248 CPUtime=0.82 cores=0,2,4,6 /proc/24251/task/24267/stat : 24267 (java) S 24249 24251 19566 0 -1 4202560 12071 0 0 0 80 2 0 0 15 0 19 0 902716697 10797309952 20898 33554432000 1073741824 1073778376 140735769559696 18446744073709551615 274676624281 0 4 0 16800975 18446604445359248576 0 0 -1 0 0 0 0 [pid=24251/tid=24268] ppid=24249 vsize=10544248 CPUtime=0 cores=0,2,4,6 /proc/24251/task/24268/stat : 24268 (java) S 24249 24251 19566 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902716697 10797309952 20898 33554432000 1073741824 1073778376 140735769559696 18446744073709551615 274676624281 0 4 0 16800975 18446604445359248576 0 0 -1 0 0 0 0 [pid=24251/tid=24269] ppid=24249 vsize=10544248 CPUtime=0 cores=0,2,4,6 /proc/24251/task/24269/stat : 24269 (java) S 24249 24251 19566 0 -1 4202560 6 0 0 0 0 0 0 0 15 0 19 0 902716697 10797309952 20898 33554432000 1073741824 1073778376 140735769559696 18446744073709551615 274676624896 0 4 0 16800975 18446604445359248576 0 0 -1 4 0 0 0 [pid=24251/tid=24270] ppid=24249 vsize=10544248 CPUtime=0 cores=0,2,4,6 /proc/24251/task/24270/stat : 24270 (java) S 24249 24251 19566 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 902716709 10797309952 20898 33554432000 1073741824 1073778376 140735769559696 18446744073709551615 274676624896 0 4 0 16800975 18446604445359248576 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 86.74 Current children cumulated vsize (KiB) 10544248 [startup+86.3012 s] /proc/loadavg: 2.00 2.03 2.00 3/212 24272 /proc/meminfo: memFree=11747304/32951132 swapFree=67054624/67111528 [pid=24251] ppid=24249 vsize=10544248 CPUtime=87.54 cores=0,2,4,6 /proc/24251/stat : 24251 (java) S 24249 24251 19566 0 -1 4202496 30115 0 1 0 8743 11 0 0 25 0 19 0 902716689 10797309952 20899 33554432000 1073741824 1073778376 140735769559696 18446744073709551615 274676611045 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 /proc/24251/statm: 2636062 20899 2251 9 0 2626796 0 [pid=24251/tid=24253] ppid=24249 vsize=10544248 CPUtime=82.41 cores=0,2,4,6 /proc/24251/task/24253/stat : 24253 (java) R 24249 24251 19566 0 -1 4202560 13053 0 1 0 8237 4 0 0 25 0 19 0 902716690 10797309952 20899 33554432000 1073741824 1073778376 140735769559696 18446744073709551615 46912505594700 0 4 0 16800975 0 0 0 -1 4 0 0 0 [pid=24251/tid=24254] ppid=24249 vsize=10544248 CPUtime=0.05 cores=0,2,4,6 /proc/24251/task/24254/stat : 24254 (java) S 24249 24251 19566 0 -1 4202560 171 0 0 0 5 0 0 0 15 0 19 0 902716691 10797309952 20899 33554432000 1073741824 1073778376 140735769559696 18446744073709551615 274676624281 0 4 0 16800975 18446604445359248576 0 0 -1 6 0 0 0 [pid=24251/tid=24255] ppid=24249 vsize=10544248 CPUtime=0.06 cores=0,2,4,6 /proc/24251/task/24255/stat : 24255 (java) S 24249 24251 19566 0 -1 4202560 38 0 0 0 6 0 0 0 15 0 19 0 902716691 10797309952 20899 33554432000 1073741824 1073778376 140735769559696 18446744073709551615 274676624281 0 4 0 16800975 18446604445359248576 0 0 -1 4 0 0 0 [pid=24251/tid=24256] ppid=24249 vsize=10544248 CPUtime=0.07 cores=0,2,4,6 /proc/24251/task/24256/stat : 24256 (java) S 24249 24251 19566 0 -1 4202560 27 0 0 0 7 0 0 0 15 0 19 0 902716691 10797309952 20899 33554432000 1073741824 1073778376 140735769559696 18446744073709551615 274676624281 0 4 0 16800975 18446604445359248576 0 0 -1 4 0 0 0 [pid=24251/tid=24257] ppid=24249 vsize=10544248 CPUtime=0.07 cores=0,2,4,6 /proc/24251/task/24257/stat : 24257 (java) S 24249 24251 19566 0 -1 4202560 137 0 0 0 7 0 0 0 15 0 19 0 902716691 10797309952 20899 33554432000 1073741824 1073778376 140735769559696 18446744073709551615 274676624281 0 4 0 16800975 18446604445359248576 0 0 -1 6 0 0 0 [pid=24251/tid=24258] ppid=24249 vsize=10544248 CPUtime=0.06 cores=0,2,4,6 /proc/24251/task/24258/stat : 24258 (java) S 24249 24251 19566 0 -1 4202560 27 0 0 0 6 0 0 0 15 0 19 0 902716691 10797309952 20899 33554432000 1073741824 1073778376 140735769559696 18446744073709551615 274676624281 0 4 0 16800975 18446604445359248576 0 0 -1 4 0 0 0 [pid=24251/tid=24259] ppid=24249 vsize=10544248 CPUtime=0.06 cores=0,2,4,6 /proc/24251/task/24259/stat : 24259 (java) S 24249 24251 19566 0 -1 4202560 85 0 0 0 6 0 0 0 16 0 19 0 902716691 10797309952 20899 33554432000 1073741824 1073778376 140735769559696 18446744073709551615 274676624281 0 4 0 16800975 18446604445359248576 0 0 -1 4 0 0 0 [pid=24251/tid=24260] ppid=24249 vsize=10544248 CPUtime=0.05 cores=0,2,4,6 /proc/24251/task/24260/stat : 24260 (java) S 24249 24251 19566 0 -1 4202560 190 0 0 0 5 0 0 0 15 0 19 0 902716691 10797309952 20899 33554432000 1073741824 1073778376 140735769559696 18446744073709551615 274676624281 0 4 0 16800975 18446604445359248576 0 0 -1 2 0 0 0 [pid=24251/tid=24261] ppid=24249 vsize=10544248 CPUtime=0.06 cores=0,2,4,6 /proc/24251/task/24261/stat : 24261 (java) S 24249 24251 19566 0 -1 4202560 296 0 0 0 6 0 0 0 15 0 19 0 902716691 10797309952 20899 33554432000 1073741824 1073778376 140735769559696 18446744073709551615 274676624281 0 4 0 16800975 18446604445359248576 0 0 -1 6 0 0 0 [pid=24251/tid=24262] ppid=24249 vsize=10544248 CPUtime=3.49 cores=0,2,4,6 /proc/24251/task/24262/stat : 24262 (java) S 24249 24251 19566 0 -1 4202560 1135 0 0 0 346 3 0 0 15 0 19 0 902716692 10797309952 20899 33554432000 1073741824 1073778376 140735769559696 18446744073709551615 274676624896 0 0 0 16800975 18446604445359248576 0 0 -1 0 0 0 0 [pid=24251/tid=24263] ppid=24249 vsize=10544248 CPUtime=0 cores=0,2,4,6 /proc/24251/task/24263/stat : 24263 (java) S 24249 24251 19566 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 902716693 10797309952 20899 33554432000 1073741824 1073778376 140735769559696 18446744073709551615 274676624281 0 4 0 16800975 18446604445359248576 0 0 -1 2 0 0 0 [pid=24251/tid=24264] ppid=24249 vsize=10544248 CPUtime=0 cores=0,2,4,6 /proc/24251/task/24264/stat : 24264 (java) S 24249 24251 19566 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 902716693 10797309952 20899 33554432000 1073741824 1073778376 140735769559696 18446744073709551615 274676624281 0 4 0 16800975 18446604445359248576 0 0 -1 2 0 0 0 [pid=24251/tid=24265] ppid=24249 vsize=10544248 CPUtime=0 cores=0,2,4,6 /proc/24251/task/24265/stat : 24265 (java) S 24249 24251 19566 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902716697 10797309952 20899 33554432000 1073741824 1073778376 140735769559696 18446744073709551615 274676631985 0 4 0 16800975 18446604445359248576 0 0 -1 2 0 0 0 [pid=24251/tid=24266] ppid=24249 vsize=10544248 CPUtime=0.26 cores=0,2,4,6 /proc/24251/task/24266/stat : 24266 (java) S 24249 24251 19566 0 -1 4202560 1728 0 0 0 26 0 0 0 15 0 19 0 902716697 10797309952 20899 33554432000 1073741824 1073778376 140735769559696 18446744073709551615 274676624281 0 4 0 16800975 18446604445359248576 0 0 -1 2 0 0 0 [pid=24251/tid=24267] ppid=24249 vsize=10544248 CPUtime=0.82 cores=0,2,4,6 /proc/24251/task/24267/stat : 24267 (java) S 24249 24251 19566 0 -1 4202560 12071 0 0 0 80 2 0 0 15 0 19 0 902716697 10797309952 20899 33554432000 1073741824 1073778376 140735769559696 18446744073709551615 274676624281 0 4 0 16800975 18446604445359248576 0 0 -1 0 0 0 0 [pid=24251/tid=24268] ppid=24249 vsize=10544248 CPUtime=0 cores=0,2,4,6 /proc/24251/task/24268/stat : 24268 (java) S 24249 24251 19566 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902716697 10797309952 20899 33554432000 1073741824 1073778376 140735769559696 18446744073709551615 274676624281 0 4 0 16800975 18446604445359248576 0 0 -1 0 0 0 0 [pid=24251/tid=24269] ppid=24249 vsize=10544248 CPUtime=0 cores=0,2,4,6 /proc/24251/task/24269/stat : 24269 (java) S 24249 24251 19566 0 -1 4202560 6 0 0 0 0 0 0 0 15 0 19 0 902716697 10797309952 20899 33554432000 1073741824 1073778376 140735769559696 18446744073709551615 274676624896 0 4 0 16800975 18446604445359248576 0 0 -1 4 0 0 0 [pid=24251/tid=24270] ppid=24249 vsize=10544248 CPUtime=0 cores=0,2,4,6 /proc/24251/task/24270/stat : 24270 (java) S 24249 24251 19566 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 902716709 10797309952 20899 33554432000 1073741824 1073778376 140735769559696 18446744073709551615 274676624896 0 4 0 16800975 18446604445359248576 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 87.54 Current children cumulated vsize (KiB) 10544248 [startup+86.5011 s] /proc/loadavg: 2.00 2.03 2.00 3/212 24272 /proc/meminfo: memFree=11747304/32951132 swapFree=67054624/67111528 [pid=24251] ppid=24249 vsize=10544248 CPUtime=87.74 cores=0,2,4,6 /proc/24251/stat : 24251 (java) S 24249 24251 19566 0 -1 4202496 30117 0 1 0 8763 11 0 0 25 0 19 0 902716689 10797309952 20899 33554432000 1073741824 1073778376 140735769559696 18446744073709551615 274676611045 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 /proc/24251/statm: 2636062 20899 2251 9 0 2626796 0 [pid=24251/tid=24253] ppid=24249 vsize=10544248 CPUtime=82.59 cores=0,2,4,6 /proc/24251/task/24253/stat : 24253 (java) R 24249 24251 19566 0 -1 4202560 13054 0 1 0 8255 4 0 0 25 0 19 0 902716690 10797309952 20899 33554432000 1073741824 1073778376 140735769559696 18446744073709551615 46912505164128 0 4 0 16800975 0 0 0 -1 4 0 0 0 [pid=24251/tid=24254] ppid=24249 vsize=10544248 CPUtime=0.05 cores=0,2,4,6 /proc/24251/task/24254/stat : 24254 (java) S 24249 24251 19566 0 -1 4202560 171 0 0 0 5 0 0 0 15 0 19 0 902716691 10797309952 20899 33554432000 1073741824 1073778376 140735769559696 18446744073709551615 274676624281 0 4 0 16800975 18446604445359248576 0 0 -1 4 0 0 0 [pid=24251/tid=24255] ppid=24249 vsize=10544248 CPUtime=0.06 cores=0,2,4,6 /proc/24251/task/24255/stat : 24255 (java) S 24249 24251 19566 0 -1 4202560 38 0 0 0 6 0 0 0 15 0 19 0 902716691 10797309952 20899 33554432000 1073741824 1073778376 140735769559696 18446744073709551615 274676624281 0 4 0 16800975 18446604445359248576 0 0 -1 4 0 0 0 [pid=24251/tid=24256] ppid=24249 vsize=10544248 CPUtime=0.07 cores=0,2,4,6 /proc/24251/task/24256/stat : 24256 (java) S 24249 24251 19566 0 -1 4202560 27 0 0 0 7 0 0 0 15 0 19 0 902716691 10797309952 20899 33554432000 1073741824 1073778376 140735769559696 18446744073709551615 274676624281 0 4 0 16800975 18446604445359248576 0 0 -1 4 0 0 0 [pid=24251/tid=24257] ppid=24249 vsize=10544248 CPUtime=0.07 cores=0,2,4,6 /proc/24251/task/24257/stat : 24257 (java) S 24249 24251 19566 0 -1 4202560 137 0 0 0 7 0 0 0 15 0 19 0 902716691 10797309952 20899 33554432000 1073741824 1073778376 140735769559696 18446744073709551615 274676624281 0 4 0 16800975 18446604445359248576 0 0 -1 6 0 0 0 [pid=24251/tid=24258] ppid=24249 vsize=10544248 CPUtime=0.06 cores=0,2,4,6 /proc/24251/task/24258/stat : 24258 (java) S 24249 24251 19566 0 -1 4202560 27 0 0 0 6 0 0 0 15 0 19 0 902716691 10797309952 20899 33554432000 1073741824 1073778376 140735769559696 18446744073709551615 274676624281 0 4 0 16800975 18446604445359248576 0 0 -1 2 0 0 0 [pid=24251/tid=24259] ppid=24249 vsize=10544248 CPUtime=0.06 cores=0,2,4,6 /proc/24251/task/24259/stat : 24259 (java) S 24249 24251 19566 0 -1 4202560 85 0 0 0 6 0 0 0 15 0 19 0 902716691 10797309952 20899 33554432000 1073741824 1073778376 140735769559696 18446744073709551615 274676624281 0 4 0 16800975 18446604445359248576 0 0 -1 4 0 0 0 [pid=24251/tid=24260] ppid=24249 vsize=10544248 CPUtime=0.05 cores=0,2,4,6 /proc/24251/task/24260/stat : 24260 (java) S 24249 24251 19566 0 -1 4202560 190 0 0 0 5 0 0 0 15 0 19 0 902716691 10797309952 20899 33554432000 1073741824 1073778376 140735769559696 18446744073709551615 274676624281 0 4 0 16800975 18446604445359248576 0 0 -1 2 0 0 0 [pid=24251/tid=24261] ppid=24249 vsize=10544248 CPUtime=0.06 cores=0,2,4,6 /proc/24251/task/24261/stat : 24261 (java) S 24249 24251 19566 0 -1 4202560 296 0 0 0 6 0 0 0 16 0 19 0 902716691 10797309952 20899 33554432000 1073741824 1073778376 140735769559696 18446744073709551615 274676624281 0 4 0 16800975 18446604445359248576 0 0 -1 6 0 0 0 [pid=24251/tid=24262] ppid=24249 vsize=10544248 CPUtime=3.5 cores=0,2,4,6 /proc/24251/task/24262/stat : 24262 (java) S 24249 24251 19566 0 -1 4202560 1135 0 0 0 347 3 0 0 15 0 19 0 902716692 10797309952 20899 33554432000 1073741824 1073778376 140735769559696 18446744073709551615 274676624896 0 0 0 16800975 18446604445359248576 0 0 -1 0 0 0 0 [pid=24251/tid=24263] ppid=24249 vsize=10544248 CPUtime=0 cores=0,2,4,6 /proc/24251/task/24263/stat : 24263 (java) S 24249 24251 19566 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 902716693 10797309952 20899 33554432000 1073741824 1073778376 140735769559696 18446744073709551615 274676624281 0 4 0 16800975 18446604445359248576 0 0 -1 2 0 0 0 [pid=24251/tid=24264] ppid=24249 vsize=10544248 CPUtime=0 cores=0,2,4,6 /proc/24251/task/24264/stat : 24264 (java) S 24249 24251 19566 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 902716693 10797309952 20899 33554432000 1073741824 1073778376 140735769559696 18446744073709551615 274676624281 0 4 0 16800975 18446604445359248576 0 0 -1 2 0 0 0 [pid=24251/tid=24265] ppid=24249 vsize=10544248 CPUtime=0 cores=0,2,4,6 /proc/24251/task/24265/stat : 24265 (java) S 24249 24251 19566 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902716697 10797309952 20899 33554432000 1073741824 1073778376 140735769559696 18446744073709551615 274676631985 0 4 0 16800975 18446604445359248576 0 0 -1 2 0 0 0 [pid=24251/tid=24266] ppid=24249 vsize=10544248 CPUtime=0.26 cores=0,2,4,6 /proc/24251/task/24266/stat : 24266 (java) R 24249 24251 19566 0 -1 4202560 1728 0 0 0 26 0 0 0 15 0 19 0 902716697 10797309952 20899 33554432000 1073741824 1073778376 140735769559696 18446744073709551615 47339523839624 0 4 0 16800975 0 0 0 -1 2 0 0 0 [pid=24251/tid=24267] ppid=24249 vsize=10544248 CPUtime=0.82 cores=0,2,4,6 /proc/24251/task/24267/stat : 24267 (java) S 24249 24251 19566 0 -1 4202560 12072 0 0 0 80 2 0 0 15 0 19 0 902716697 10797309952 20899 33554432000 1073741824 1073778376 140735769559696 18446744073709551615 274676624281 0 4 0 16800975 18446604445359248576 0 0 -1 0 0 0 0 [pid=24251/tid=24268] ppid=24249 vsize=10544248 CPUtime=0 cores=0,2,4,6 /proc/24251/task/24268/stat : 24268 (java) S 24249 24251 19566 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902716697 10797309952 20899 33554432000 1073741824 1073778376 140735769559696 18446744073709551615 274676624281 0 4 0 16800975 18446604445359248576 0 0 -1 0 0 0 0 [pid=24251/tid=24269] ppid=24249 vsize=10544248 CPUtime=0 cores=0,2,4,6 /proc/24251/task/24269/stat : 24269 (java) S 24249 24251 19566 0 -1 4202560 6 0 0 0 0 0 0 0 15 0 19 0 902716697 10797309952 20899 33554432000 1073741824 1073778376 140735769559696 18446744073709551615 274676624896 0 4 0 16800975 18446604445359248576 0 0 -1 4 0 0 0 [pid=24251/tid=24270] ppid=24249 vsize=10544248 CPUtime=0 cores=0,2,4,6 /proc/24251/task/24270/stat : 24270 (java) S 24249 24251 19566 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 902716709 10797309952 20899 33554432000 1073741824 1073778376 140735769559696 18446744073709551615 274676624896 0 4 0 16800975 18446604445359248576 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 87.74 Current children cumulated vsize (KiB) 10544248 Child status: 30 Real time (s): 86.5091 CPU time (s): 87.7587 CPU user time (s): 87.6417 CPU system time (s): 0.116982 CPU usage (%): 101.444 Max. virtual memory (cumulated for all children) (KiB): 10545240 getrusage(RUSAGE_CHILDREN,...) data: user time used= 87.6417 system time used= 0.116982 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 30143 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= 8033 involuntary context switches= 4141 runsolver used 0.167974 second user time and 0.316951 second system time The end
Begin job on node131 at 2011-06-12 22:39:31 IDJOB=3492711 IDBENCH=79239 IDSOLVER=1982 FILE ID=node131/3492711-1307911170 RUNJOBID= node131-1307907581-21984 PBS_JOBID= 13559575 Free space on /tmp= 56584 MiB SOLVER NAME= Sat4j Resolution 2011-06-08 BENCH NAME= PB10/normalized-PB10/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1110971363--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-3492711-1307911170/watcher-3492711-1307911170 -o /tmp/evaluation-result-3492711-1307911170/solver-3492711-1307911170 -C 1800 -W 1900 -M 15500 java -Xms10000m -Xmx10000m -jar sat4j-pb.jar Resolution HOME/instance-3492711-1307911170.wbo TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 4e22340b84333f0476155fff0e8b142d RANDOM SEED=1174369064 node131.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.75 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.83 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.75 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.77 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.75 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.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.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.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951132 kB MemFree: 11849364 kB Buffers: 333892 kB Cached: 19809808 kB SwapCached: 9816 kB Active: 15855588 kB Inactive: 4561500 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951132 kB LowFree: 11849364 kB SwapTotal: 67111528 kB SwapFree: 67054624 kB Dirty: 124 kB Writeback: 4 kB AnonPages: 271496 kB Mapped: 21144 kB Slab: 622008 kB PageTables: 5364 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587092 kB Committed_AS: 10554580 kB VmallocTotal: 34359738367 kB VmallocUsed: 296000 kB VmallocChunk: 34359440975 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 56584 MiB End job on node131 at 2011-06-12 22:40:57