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.1607 | 85.6321 |
| Name | /SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110969170--soft-0-100-0.wbo |
| MD5SUM | 2498aa7c72321a79724f3337e23f532a |
| 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 | 17 |
| Best CPU time to get the best result obtained on this benchmark | 1.68074 |
| 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 | 1227 |
| 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-3492631-1307911024.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.30/0.23 c SATISFIABLE 0.30/0.23 c OPTIMIZING... 0.30/0.23 c Got one! Elapsed wall clock time (in seconds):0.124 0.30/0.23 o 583 0.30/0.27 c Got one! Elapsed wall clock time (in seconds):0.157 0.30/0.27 o 580 0.51/0.30 c Got one! Elapsed wall clock time (in seconds):0.192 0.51/0.30 o 573 0.51/0.32 c Got one! Elapsed wall clock time (in seconds):0.208 0.51/0.32 o 517 0.51/0.39 c Got one! Elapsed wall clock time (in seconds):0.277 0.51/0.39 o 505 0.62/0.42 c Got one! Elapsed wall clock time (in seconds):0.316 0.62/0.42 o 497 0.62/0.45 c Got one! Elapsed wall clock time (in seconds):0.338 0.62/0.45 o 494 0.62/0.49 c Got one! Elapsed wall clock time (in seconds):0.382 0.62/0.49 o 479 0.76/0.51 c Got one! Elapsed wall clock time (in seconds):0.403 0.76/0.51 o 477 0.76/0.54 c Got one! Elapsed wall clock time (in seconds):0.428 0.76/0.54 o 454 0.76/0.59 c Got one! Elapsed wall clock time (in seconds):0.479 0.76/0.59 o 426 0.86/0.60 c Got one! Elapsed wall clock time (in seconds):0.492 0.86/0.60 o 404 0.86/0.63 c Got one! Elapsed wall clock time (in seconds):0.52 0.86/0.63 o 385 0.96/0.74 c Got one! Elapsed wall clock time (in seconds):0.634 0.96/0.74 o 374 1.08/0.88 c cleaning 5585 clauses out of 11175 with flag 2001/11175 1.21/0.95 c Got one! Elapsed wall clock time (in seconds):0.838 1.21/0.95 o 369 1.33/1.01 c Got one! Elapsed wall clock time (in seconds):0.899 1.33/1.01 o 325 1.33/1.05 c Got one! Elapsed wall clock time (in seconds):0.946 1.33/1.05 o 284 1.43/1.14 c cleaning 5666 clauses out of 11343 with flag 2000/16928 1.73/1.45 c Got one! Elapsed wall clock time (in seconds):1.338 1.73/1.45 o 255 1.85/1.58 c Got one! Elapsed wall clock time (in seconds):1.469 1.85/1.58 o 247 2.06/1.70 c cleaning 8394 clauses out of 16793 with flag 2000/28044 2.28/1.92 c Got one! Elapsed wall clock time (in seconds):1.811 2.28/1.92 o 244 2.38/2.00 c cleaning 6990 clauses out of 13991 with flag 2001/33636 2.48/2.14 c Got one! Elapsed wall clock time (in seconds):2.03 2.48/2.14 o 232 2.58/2.26 c cleaning 6475 clauses out of 12958 with flag 3000/39593 2.88/2.55 c cleaning 6240 clauses out of 12485 with flag 9002/45595 2.88/2.58 c Got one! Elapsed wall clock time (in seconds):2.467 2.88/2.58 o 220 3.08/2.78 c cleaning 5704 clauses out of 11416 with flag 5000/50766 3.28/2.97 c Got one! Elapsed wall clock time (in seconds):2.86 3.28/2.97 o 216 3.40/3.04 c cleaning 5674 clauses out of 11354 with flag 2001/56408 3.63/3.28 c cleaning 5837 clauses out of 11679 with flag 8000/62407 4.04/3.69 c cleaning 6416 clauses out of 12843 with flag 15001/69408 4.14/3.76 c Got one! Elapsed wall clock time (in seconds):3.655 4.14/3.76 o 206 4.37/3.90 c cleaning 5863 clauses out of 11733 with flag 4001/74714 4.47/4.07 c Got one! Elapsed wall clock time (in seconds):3.966 4.47/4.07 o 203 4.57/4.15 c cleaning 5529 clauses out of 11069 with flag 2000/79913 4.77/4.39 c cleaning 5764 clauses out of 11542 with flag 8002/85915 5.18/4.76 c cleaning 6387 clauses out of 12777 with flag 15001/92914 5.28/4.80 c Got one! Elapsed wall clock time (in seconds):4.691 5.28/4.80 o 201 5.38/4.94 c Got one! Elapsed wall clock time (in seconds):4.83 5.38/4.94 o 200 5.48/5.07 c cleaning 6444 clauses out of 12906 with flag 3000/99430 5.78/5.35 c cleaning 6226 clauses out of 12462 with flag 9000/105430 6.08/5.69 c cleaning 6613 clauses out of 13236 with flag 16000/112430 6.28/5.89 c Got one! Elapsed wall clock time (in seconds):5.782 6.28/5.89 o 196 6.38/5.96 c cleaning 6119 clauses out of 12244 with flag 2001/118051 6.58/6.19 c cleaning 6057 clauses out of 12124 with flag 8000/124050 6.78/6.33 c Got one! Elapsed wall clock time (in seconds):6.223 6.78/6.33 o 192 6.88/6.45 c cleaning 5949 clauses out of 11909 with flag 3000/129892 7.09/6.67 c cleaning 5979 clauses out of 11963 with flag 9003/135895 7.38/6.94 c cleaning 6487 clauses out of 12984 with flag 16003/142895 7.79/7.34 c Got one! Elapsed wall clock time (in seconds):7.235 7.79/7.34 o 173 7.99/7.55 c cleaning 9639 clauses out of 19287 with flag 5000/155685 8.09/7.67 c Got one! Elapsed wall clock time (in seconds):7.556 8.09/7.67 o 169 8.29/7.80 c cleaning 7795 clauses out of 15603 with flag 4001/161640 8.39/7.92 c Got one! Elapsed wall clock time (in seconds):7.81 8.39/7.92 o 166 8.49/8.05 c cleaning 6847 clauses out of 13704 with flag 3000/167536 8.69/8.27 c cleaning 6422 clauses out of 12858 with flag 9001/173537 8.89/8.45 c Got one! Elapsed wall clock time (in seconds):8.339 8.89/8.45 o 164 8.99/8.52 c cleaning 6046 clauses out of 12095 with flag 2000/179196 9.19/8.74 c cleaning 6023 clauses out of 12053 with flag 8004/185200 9.49/9.04 c cleaning 6508 clauses out of 13026 with flag 15000/192196 9.90/9.47 c cleaning 7254 clauses out of 14521 with flag 23003/200199 10.50/10.00 c cleaning 8117 clauses out of 16264 with flag 32000/209196 10.90/10.44 c cleaning 9070 clauses out of 18147 with flag 42000/219196 11.10/10.61 c Got one! Elapsed wall clock time (in seconds):10.498 11.10/10.61 o 160 11.10/10.68 c cleaning 7155 clauses out of 14323 with flag 2000/224442 11.40/10.92 c cleaning 6579 clauses out of 13168 with flag 8000/230442 11.40/10.99 c Got one! Elapsed wall clock time (in seconds):10.882 11.40/10.99 o 149 11.61/11.12 c cleaning 6009 clauses out of 12027 with flag 4001/235880 11.82/11.34 c cleaning 6000 clauses out of 12017 with flag 10000/241879 12.12/11.62 c Got one! Elapsed wall clock time (in seconds):11.513 12.12/11.62 o 113 12.12/11.66 c cleaning 5871 clauses out of 11746 with flag 1002/247608 12.32/11.86 c cleaning 5932 clauses out of 11875 with flag 7002/253608 12.63/12.14 c cleaning 6469 clauses out of 12941 with flag 14000/260606 13.02/12.58 c cleaning 7225 clauses out of 14472 with flag 22000/268606 13.99/13.12 c cleaning 8120 clauses out of 16247 with flag 31000/277606 14.76/13.58 c Got one! Elapsed wall clock time (in seconds):13.468 14.76/13.58 o 107 14.97/13.78 c cleaning 11215 clauses out of 22440 with flag 5000/291919 15.27/14.04 c cleaning 8608 clauses out of 17227 with flag 11002/297921 15.47/14.30 c cleaning 7803 clauses out of 15617 with flag 18000/304919 15.78/14.58 c cleaning 7905 clauses out of 15815 with flag 26001/312920 16.18/14.98 c cleaning 8447 clauses out of 16910 with flag 35001/321920 16.69/15.49 c cleaning 9226 clauses out of 18465 with flag 45003/331922 17.18/15.99 c cleaning 9613 clauses out of 19237 with flag 55001/341920 17.79/16.56 c cleaning 9800 clauses out of 19626 with flag 65003/351922 18.39/17.13 c cleaning 9908 clauses out of 19826 with flag 75003/361922 18.89/17.66 c Got one! Elapsed wall clock time (in seconds):17.556 18.89/17.66 o 101 19.11/17.88 c cleaning 12169 clauses out of 24344 with flag 5001/376348 19.41/18.13 c cleaning 9083 clauses out of 18175 with flag 11001/382348 19.61/18.39 c cleaning 8038 clauses out of 16091 with flag 18000/389347 20.01/18.77 c Got one! Elapsed wall clock time (in seconds):18.659 20.01/18.77 o 99 20.21/18.95 c cleaning 10449 clauses out of 20907 with flag 5001/402201 20.41/19.17 c cleaning 8225 clauses out of 16459 with flag 11002/408202 20.71/19.42 c cleaning 7612 clauses out of 15232 with flag 18000/415200 21.01/19.71 c cleaning 7807 clauses out of 15621 with flag 26001/423201 21.41/20.12 c cleaning 8395 clauses out of 16813 with flag 35000/432200 21.91/20.68 c cleaning 9207 clauses out of 18420 with flag 45002/442202 22.51/21.21 c cleaning 9603 clauses out of 19213 with flag 55002/452202 22.91/21.69 c Got one! Elapsed wall clock time (in seconds):21.584 22.91/21.69 o 85 23.21/21.90 c cleaning 11799 clauses out of 23604 with flag 5000/466196 23.42/22.14 c cleaning 8897 clauses out of 17805 with flag 11000/472196 23.61/22.40 c cleaning 7950 clauses out of 15908 with flag 18000/479196 23.91/22.67 c cleaning 7974 clauses out of 15962 with flag 26004/487200 24.21/22.98 c cleaning 8486 clauses out of 16984 with flag 35000/496196 24.61/23.37 c cleaning 9246 clauses out of 18498 with flag 45000/506196 24.61/23.39 c Got one! Elapsed wall clock time (in seconds):23.284 24.61/23.39 o 79 24.92/23.61 c cleaning 7227 clauses out of 14468 with flag 5000/511412 25.12/23.88 c cleaning 6618 clauses out of 13241 with flag 11000/517412 25.52/24.25 c cleaning 6807 clauses out of 13625 with flag 18002/524414 25.92/24.63 c cleaning 7406 clauses out of 14819 with flag 26003/532415 26.32/25.07 c cleaning 8199 clauses out of 16410 with flag 35000/541412 26.82/25.56 c cleaning 9100 clauses out of 18211 with flag 45000/551412 27.32/26.06 c cleaning 9552 clauses out of 19114 with flag 55003/561415 27.73/26.40 c Got one! Elapsed wall clock time (in seconds):26.294 27.73/26.40 o 78 27.92/26.61 c cleaning 11364 clauses out of 22736 with flag 5002/574589 28.12/26.85 c cleaning 8680 clauses out of 17370 with flag 11000/580587 28.42/27.10 c cleaning 7842 clauses out of 15693 with flag 18003/587590 28.62/27.39 c cleaning 7921 clauses out of 15848 with flag 26000/595587 29.02/27.77 c cleaning 8459 clauses out of 16927 with flag 35000/604587 29.22/27.94 c Got one! Elapsed wall clock time (in seconds):27.834 29.22/27.94 o 68 29.32/28.01 c cleaning 7112 clauses out of 14234 with flag 2001/610353 29.53/28.24 c cleaning 6552 clauses out of 13121 with flag 8000/616352 29.83/28.50 c cleaning 6780 clauses out of 13570 with flag 15001/623353 30.03/28.79 c cleaning 7393 clauses out of 14792 with flag 23003/631355 30.43/29.11 c cleaning 8197 clauses out of 16397 with flag 32001/640353 30.73/29.48 c cleaning 9098 clauses out of 18201 with flag 42002/650354 31.14/29.89 c cleaning 9547 clauses out of 19101 with flag 52000/660352 31.63/30.34 c cleaning 9763 clauses out of 19554 with flag 62000/670352 32.04/30.76 c cleaning 9890 clauses out of 19792 with flag 72001/680353 32.54/31.21 c cleaning 9946 clauses out of 19901 with flag 82000/690352 32.94/31.67 c cleaning 9972 clauses out of 19957 with flag 92002/700354 33.44/32.10 c cleaning 9981 clauses out of 19984 with flag 102001/710353 33.54/32.27 c Got one! Elapsed wall clock time (in seconds):32.158 33.54/32.27 o 58 33.64/32.34 c cleaning 7901 clauses out of 15810 with flag 2001/716160 33.84/32.57 c cleaning 6952 clauses out of 13909 with flag 8001/722160 34.14/32.83 c cleaning 6972 clauses out of 13956 with flag 15000/729159 34.44/33.11 c cleaning 7491 clauses out of 14987 with flag 23003/737162 34.74/33.43 c cleaning 8246 clauses out of 16496 with flag 32003/746162 35.04/33.78 c cleaning 9119 clauses out of 18248 with flag 42001/756160 35.44/34.13 c cleaning 9558 clauses out of 19128 with flag 52000/766159 35.84/34.50 c cleaning 9778 clauses out of 19570 with flag 62000/776159 36.24/34.90 c cleaning 9891 clauses out of 19794 with flag 72002/786161 36.66/35.33 c cleaning 9940 clauses out of 19901 with flag 82000/796159 36.95/35.69 c Got one! Elapsed wall clock time (in seconds):35.581 36.95/35.69 o 48 37.25/35.92 c cleaning 11677 clauses out of 23363 with flag 5001/809561 37.45/36.13 c cleaning 8839 clauses out of 17687 with flag 11002/815562 37.66/36.38 c cleaning 7916 clauses out of 15847 with flag 18001/822561 37.95/36.66 c cleaning 7963 clauses out of 15931 with flag 26001/830561 38.25/37.00 c Got one! Elapsed wall clock time (in seconds):36.887 38.25/37.00 o 46 38.55/37.21 c cleaning 10868 clauses out of 21747 with flag 5001/844340 38.76/37.43 c cleaning 8436 clauses out of 16879 with flag 11001/850340 38.95/37.69 c cleaning 7714 clauses out of 15442 with flag 18000/857339 39.25/37.98 c cleaning 7861 clauses out of 15728 with flag 26000/865339 39.65/38.39 c cleaning 8429 clauses out of 16868 with flag 35001/874340 40.15/38.82 c cleaning 9211 clauses out of 18440 with flag 45002/884341 40.36/39.09 c Got one! Elapsed wall clock time (in seconds):38.982 40.36/39.09 o 45 40.56/39.29 c cleaning 10864 clauses out of 21736 with flag 5000/896848 40.86/39.52 c cleaning 8432 clauses out of 16873 with flag 11001/902849 41.06/39.79 c cleaning 7715 clauses out of 15441 with flag 18001/909849 41.36/40.07 c cleaning 7859 clauses out of 15725 with flag 26000/917848 41.66/40.39 c cleaning 8431 clauses out of 16866 with flag 35000/926848 42.06/40.74 c cleaning 9214 clauses out of 18436 with flag 45001/936849 42.46/41.11 c cleaning 9607 clauses out of 19224 with flag 55003/946851 42.76/41.46 c cleaning 9803 clauses out of 19615 with flag 65001/956849 42.86/41.50 c Got one! Elapsed wall clock time (in seconds):41.391 42.86/41.50 o 44 42.96/41.67 c cleaning 7888 clauses out of 15784 with flag 5003/962821 43.16/41.89 c cleaning 6942 clauses out of 13893 with flag 11000/968818 43.46/42.13 c cleaning 6972 clauses out of 13951 with flag 18000/975818 43.66/42.39 c cleaning 7487 clauses out of 14981 with flag 26002/983820 43.96/42.69 c cleaning 8241 clauses out of 16492 with flag 35000/992818 44.37/43.04 c cleaning 9123 clauses out of 18251 with flag 45000/1002818 44.66/43.39 c cleaning 9559 clauses out of 19128 with flag 55000/1012818 45.06/43.74 c cleaning 9780 clauses out of 19569 with flag 65000/1022818 45.47/44.16 c cleaning 9887 clauses out of 19790 with flag 75001/1032819 45.87/44.56 c cleaning 9946 clauses out of 19906 with flag 85004/1042822 46.27/44.91 c cleaning 9971 clauses out of 19956 with flag 95000/1052818 46.57/45.27 c cleaning 9984 clauses out of 19988 with flag 105003/1062821 46.97/45.64 c cleaning 9993 clauses out of 20003 with flag 115002/1072820 47.37/46.01 c cleaning 9997 clauses out of 20010 with flag 125002/1082820 47.68/46.37 c cleaning 9999 clauses out of 20011 with flag 135000/1092818 47.77/46.41 c Got one! Elapsed wall clock time (in seconds):46.303 47.77/46.41 o 43 47.89/46.57 c cleaning 7921 clauses out of 15852 with flag 5003/1098658 48.09/46.79 c cleaning 6957 clauses out of 13928 with flag 11000/1104655 48.39/47.03 c cleaning 6979 clauses out of 13971 with flag 18000/1111655 48.70/47.30 c cleaning 7491 clauses out of 14993 with flag 26001/1119656 49.00/47.61 c cleaning 8246 clauses out of 16501 with flag 35000/1128655 49.30/47.97 c cleaning 9123 clauses out of 18255 with flag 45000/1138655 49.70/48.32 c cleaning 9562 clauses out of 19132 with flag 55000/1148655 50.00/48.68 c cleaning 9780 clauses out of 19570 with flag 65000/1158655 50.40/49.02 c cleaning 9890 clauses out of 19791 with flag 75001/1168656 50.70/49.36 c cleaning 9941 clauses out of 19900 with flag 85000/1178655 51.10/49.73 c cleaning 9974 clauses out of 19959 with flag 95000/1188655 51.41/50.07 c cleaning 9993 clauses out of 19990 with flag 105005/1198660 51.82/50.44 c cleaning 9990 clauses out of 19992 with flag 115000/1208655 52.12/50.78 c cleaning 10001 clauses out of 20004 with flag 125002/1218657 52.52/51.15 c cleaning 9998 clauses out of 20002 with flag 135001/1228656 52.92/51.52 c cleaning 9997 clauses out of 20003 with flag 145000/1238655 53.32/51.91 c cleaning 9997 clauses out of 20006 with flag 155000/1248655 53.62/52.27 c cleaning 10003 clauses out of 20012 with flag 165003/1258658 54.02/52.63 c cleaning 9998 clauses out of 20007 with flag 175001/1268656 54.33/52.99 c cleaning 10000 clauses out of 20009 with flag 185001/1278656 54.72/53.34 c cleaning 10003 clauses out of 20011 with flag 195003/1288658 55.02/53.69 c cleaning 9998 clauses out of 20007 with flag 205002/1298657 55.43/54.04 c cleaning 9997 clauses out of 20007 with flag 215000/1308655 55.83/54.42 c cleaning 9998 clauses out of 20011 with flag 225001/1318656 56.12/54.75 c cleaning 10002 clauses out of 20012 with flag 235000/1328655 56.43/55.09 c cleaning 9999 clauses out of 20012 with flag 245002/1338657 56.83/55.43 c cleaning 10000 clauses out of 20012 with flag 255001/1348656 57.13/55.79 c cleaning 10003 clauses out of 20011 with flag 265000/1358655 57.64/56.25 c cleaning 9995 clauses out of 20008 with flag 275000/1368655 58.13/56.76 c cleaning 10003 clauses out of 20013 with flag 285000/1378655 58.53/57.13 c cleaning 9998 clauses out of 20012 with flag 295002/1388657 58.93/57.54 c cleaning 10003 clauses out of 20014 with flag 305002/1398657 59.33/57.96 c cleaning 10001 clauses out of 20009 with flag 315000/1408655 59.74/58.38 c cleaning 9995 clauses out of 20008 with flag 325000/1418655 60.23/58.80 c cleaning 10001 clauses out of 20014 with flag 335001/1428656 60.53/59.17 c cleaning 10000 clauses out of 20013 with flag 345001/1438656 60.94/59.54 c cleaning 10001 clauses out of 20013 with flag 355001/1448656 61.33/59.93 c cleaning 10002 clauses out of 20014 with flag 365003/1458658 61.43/60.00 c Got one! Elapsed wall clock time (in seconds):59.896 61.43/60.00 o 34 61.53/60.14 c cleaning 7982 clauses out of 15972 with flag 4000/1464618 61.74/60.35 c cleaning 6992 clauses out of 13990 with flag 10000/1470618 61.94/60.60 c cleaning 6994 clauses out of 13999 with flag 17001/1477619 62.24/60.87 c cleaning 7497 clauses out of 15004 with flag 25000/1485618 62.54/61.18 c cleaning 8251 clauses out of 16508 with flag 34001/1494619 62.94/61.53 c cleaning 9127 clauses out of 18261 with flag 44005/1504623 63.24/61.87 c cleaning 9560 clauses out of 19129 with flag 54000/1514618 63.64/62.23 c cleaning 9779 clauses out of 19569 with flag 64000/1524618 63.94/62.58 c cleaning 9890 clauses out of 19790 with flag 74000/1534618 64.34/62.93 c cleaning 9943 clauses out of 19901 with flag 84001/1544619 64.64/63.28 c cleaning 9976 clauses out of 19959 with flag 94002/1554620 65.04/63.67 c cleaning 9988 clauses out of 19982 with flag 104001/1564619 65.44/64.07 c cleaning 9988 clauses out of 19993 with flag 114000/1574618 65.94/64.57 c cleaning 9999 clauses out of 20005 with flag 124000/1584618 66.35/64.99 c cleaning 9996 clauses out of 20006 with flag 134000/1594618 66.74/65.39 c cleaning 10002 clauses out of 20011 with flag 144001/1604619 67.24/65.85 c cleaning 9999 clauses out of 20009 with flag 154001/1614619 67.64/66.29 c cleaning 9998 clauses out of 20009 with flag 164000/1624618 67.84/66.45 c Got one! Elapsed wall clock time (in seconds):66.339 67.84/66.45 o 28 67.84/66.49 c cleaning 7906 clauses out of 15817 with flag 1000/1630424 68.04/66.68 c cleaning 6953 clauses out of 13912 with flag 7001/1636425 68.35/66.94 c cleaning 6975 clauses out of 13958 with flag 14000/1643424 68.55/67.20 c cleaning 7488 clauses out of 14983 with flag 22000/1651424 68.95/67.50 c cleaning 8242 clauses out of 16496 with flag 31001/1660425 69.25/67.82 c cleaning 9124 clauses out of 18253 with flag 41000/1670424 69.56/68.16 c cleaning 9562 clauses out of 19131 with flag 51002/1680426 69.96/68.53 c cleaning 9780 clauses out of 19567 with flag 61000/1690424 70.26/68.88 c cleaning 9886 clauses out of 19788 with flag 71001/1700425 70.66/69.21 c cleaning 9947 clauses out of 19902 with flag 81001/1710425 70.96/69.56 c cleaning 9971 clauses out of 19954 with flag 91000/1720424 71.36/69.92 c cleaning 9987 clauses out of 19983 with flag 101000/1730424 71.66/70.26 c cleaning 9994 clauses out of 19996 with flag 111000/1740424 72.06/70.61 c cleaning 9998 clauses out of 20003 with flag 121001/1750425 72.36/70.94 c cleaning 9998 clauses out of 20005 with flag 131001/1760425 72.76/71.31 c cleaning 10001 clauses out of 20006 with flag 141000/1770424 73.07/71.67 c cleaning 10001 clauses out of 20009 with flag 151004/1780428 73.47/72.01 c cleaning 9998 clauses out of 20004 with flag 161000/1790424 73.77/72.37 c cleaning 9997 clauses out of 20006 with flag 171000/1800424 74.18/72.70 c cleaning 10001 clauses out of 20009 with flag 181000/1810424 74.47/73.05 c cleaning 10001 clauses out of 20011 with flag 191003/1820427 74.77/73.39 c cleaning 10001 clauses out of 20008 with flag 201001/1830425 75.18/73.71 c cleaning 10001 clauses out of 20007 with flag 211001/1840425 75.47/74.06 c cleaning 9999 clauses out of 20009 with flag 221004/1850428 75.88/74.40 c cleaning 9995 clauses out of 20006 with flag 231000/1860424 76.18/74.74 c cleaning 9999 clauses out of 20011 with flag 241000/1870424 76.28/74.89 c Got one! Elapsed wall clock time (in seconds):74.784 76.28/74.89 o 19 76.48/75.07 c cleaning 10009 clauses out of 20028 with flag 5002/1880440 76.68/75.27 c cleaning 8006 clauses out of 16019 with flag 11002/1886440 76.98/75.50 c cleaning 7496 clauses out of 15011 with flag 18000/1893438 77.18/75.75 c cleaning 7753 clauses out of 15516 with flag 26001/1901439 77.49/76.05 c cleaning 8378 clauses out of 16764 with flag 35002/1910440 77.78/76.38 c cleaning 9186 clauses out of 18384 with flag 45000/1920438 78.18/76.75 c cleaning 9594 clauses out of 19198 with flag 55000/1930438 78.59/77.15 c cleaning 9799 clauses out of 19605 with flag 65001/1940439 78.98/77.55 c cleaning 9894 clauses out of 19805 with flag 75000/1950438 79.38/77.91 c cleaning 9953 clauses out of 19913 with flag 85002/1960440 79.69/78.24 c cleaning 9975 clauses out of 19959 with flag 95001/1970439 79.99/78.55 c Got one! Elapsed wall clock time (in seconds):78.442 79.99/78.55 o 17 80.19/78.76 c cleaning 12319 clauses out of 24645 with flag 5000/1985100 80.39/78.98 c cleaning 9159 clauses out of 18327 with flag 11001/1991101 80.70/79.21 c cleaning 8081 clauses out of 16168 with flag 18001/1998101 80.89/79.47 c cleaning 8041 clauses out of 16089 with flag 26003/2006103 81.19/79.78 c cleaning 8521 clauses out of 17045 with flag 35000/2015100 81.59/80.11 c cleaning 9258 clauses out of 18525 with flag 45001/2025101 81.90/80.44 c cleaning 9629 clauses out of 19267 with flag 55001/2035101 82.19/80.77 c cleaning 9812 clauses out of 19638 with flag 65001/2045101 82.59/81.11 c cleaning 9908 clauses out of 19825 with flag 75000/2055100 82.90/81.45 c cleaning 9954 clauses out of 19919 with flag 85002/2065102 83.20/81.79 c cleaning 9979 clauses out of 19964 with flag 95001/2075101 83.60/82.15 c cleaning 9990 clauses out of 19985 with flag 105001/2085101 83.90/82.48 c cleaning 9991 clauses out of 19994 with flag 115000/2095100 84.30/82.80 c cleaning 9996 clauses out of 20004 with flag 125001/2105101 84.61/83.10 c cleaning 10001 clauses out of 20007 with flag 135000/2115100 84.91/83.45 c cleaning 9997 clauses out of 20006 with flag 145000/2125100 85.22/83.78 c cleaning 9998 clauses out of 20009 with flag 155000/2135100 85.61/84.12 c cleaning 10000 clauses out of 20011 with flag 165000/2145100 85.91/84.46 c cleaning 10003 clauses out of 20012 with flag 175001/2155101 86.22/84.80 c cleaning 9997 clauses out of 20009 with flag 185001/2165101 86.61/85.14 c cleaning 10003 clauses out of 20011 with flag 195001/2175101 86.92/85.48 c cleaning 10000 clauses out of 20007 with flag 205000/2185100 87.12/85.62 c starts : 262 87.12/85.62 c conflicts : 2189534 87.12/85.62 c decisions : 3510153 87.12/85.62 c propagations : 55347194 87.12/85.62 c inspects : 463243272 87.12/85.62 c shortcuts : 0 87.12/85.62 c learnt literals : 6 87.12/85.62 c learnt binary clauses : 71 87.12/85.62 c learnt ternary clauses : 835 87.12/85.62 c learnt constraints : 2189527 87.12/85.62 c ignored constraints : 0 87.12/85.62 c root simplifications : 0 87.12/85.62 c removed literals (reason simplification) : 12797656 87.12/85.62 c reason swapping (by a shorter reason) : 0 87.12/85.62 c Calls to reduceDB : 248 87.12/85.62 c number of reductions to clauses (during analyze) : 0 87.12/85.62 c number of learned constraints concerned by reduction : 0 87.12/85.62 c number of learning phase by resolution : 0 87.12/85.62 c number of learning phase by cutting planes : 0 87.12/85.62 c speed (assignments/second) : 7828457.425742574 87.12/85.62 c non guided choices 3210 87.12/85.62 c learnt constraints type 87.12/85.62 c constraints type 87.12/85.62 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 30 87.12/85.62 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 71 87.12/85.62 s OPTIMUM FOUND 87.12/85.62 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.12/85.62 c objective function=17 87.12/85.62 c Total wall clock time (in seconds): 85.514
OK 17
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL This is runsolver version 3.3.1 (svn: 989) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-3492631-1307911024/watcher-3492631-1307911024 -o /var/tmp/evaluation-result-3492631-1307911024/solver-3492631-1307911024 -C 1800 -W 1900 -M 15500 java -Xms10000m -Xmx10000m -jar sat4j-pb.jar Resolution HOME/instance-3492631-1307911024.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.02 2.03 1.97 2/199 3346 /proc/meminfo: memFree=1282864/32951124 swapFree=67054536/67111528 [pid=3346] ppid=3344 vsize=23028 CPUtime=0 cores=1,3,5,7 /proc/3346/stat : 3346 (java) R 3344 3346 446 0 -1 4202496 613 0 0 0 0 0 0 0 24 0 1 0 902700238 23580672 354 33554432000 1073741824 1073778376 140737342072672 18446744073709551615 271545575168 0 0 4096 0 0 0 0 17 3 0 0 0 /proc/3346/statm: 5757 364 278 9 0 124 0 [startup+0.102122 s] /proc/loadavg: 2.02 2.03 1.97 2/199 3346 /proc/meminfo: memFree=1282864/32951124 swapFree=67054536/67111528 [pid=3346] ppid=3344 vsize=10540180 CPUtime=0.1 cores=1,3,5,7 /proc/3346/stat : 3346 (java) S 3344 3346 446 0 -1 4202496 13100 0 1 0 8 2 0 0 24 0 18 0 902700238 10793144320 12768 33554432000 1073741824 1073778376 140737342072672 18446744073709551615 271562340325 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 /proc/3346/statm: 2635045 12769 2093 9 0 2625779 0 Current children cumulated CPU time (s) 0.1 Current children cumulated vsize (KiB) 10540180 [startup+0.207162 s] /proc/loadavg: 2.02 2.03 1.97 2/199 3346 /proc/meminfo: memFree=1282864/32951124 swapFree=67054536/67111528 [pid=3346] ppid=3344 vsize=10544148 CPUtime=0.3 cores=1,3,5,7 /proc/3346/stat : 3346 (java) S 3344 3346 446 0 -1 4202496 15421 0 1 0 27 3 0 0 24 0 19 0 902700238 10797207552 14561 33554432000 1073741824 1073778376 140737342072672 18446744073709551615 271562340325 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 /proc/3346/statm: 2636037 14561 2202 9 0 2626771 0 Current children cumulated CPU time (s) 0.3 Current children cumulated vsize (KiB) 10544148 [startup+0.301084 s] /proc/loadavg: 2.02 2.03 1.97 2/199 3346 /proc/meminfo: memFree=1282864/32951124 swapFree=67054536/67111528 [pid=3346] ppid=3344 vsize=10544036 CPUtime=0.51 cores=1,3,5,7 /proc/3346/stat : 3346 (java) S 3344 3346 446 0 -1 4202496 15751 0 1 0 48 3 0 0 24 0 19 0 902700238 10797092864 14813 33554432000 1073741824 1073778376 140737342072672 18446744073709551615 271562340325 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 /proc/3346/statm: 2636009 14813 2215 9 0 2626743 0 Current children cumulated CPU time (s) 0.51 Current children cumulated vsize (KiB) 10544036 [startup+0.701013 s] /proc/loadavg: 2.02 2.03 1.97 2/199 3346 /proc/meminfo: memFree=1282864/32951124 swapFree=67054536/67111528 [pid=3346] ppid=3344 vsize=10543640 CPUtime=0.96 cores=1,3,5,7 /proc/3346/stat : 3346 (java) S 3344 3346 446 0 -1 4202496 16536 0 1 0 93 3 0 0 24 0 19 0 902700238 10796687360 15427 33554432000 1073741824 1073778376 140737342072672 18446744073709551615 271562340325 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 /proc/3346/statm: 2635910 15427 2219 9 0 2626644 0 Current children cumulated CPU time (s) 0.96 Current children cumulated vsize (KiB) 10543640 [startup+1.50087 s] /proc/loadavg: 2.02 2.03 1.97 3/218 3370 /proc/meminfo: memFree=1214216/32951124 swapFree=67054536/67111528 [pid=3346] ppid=3344 vsize=10543956 CPUtime=1.85 cores=1,3,5,7 /proc/3346/stat : 3346 (java) S 3344 3346 446 0 -1 4202496 17936 0 1 0 182 3 0 0 24 0 19 0 902700238 10797010944 16820 33554432000 1073741824 1073778376 140737342072672 18446744073709551615 271562340325 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 /proc/3346/statm: 2635989 16820 2248 9 0 2626723 0 [pid=3346/tid=3348] ppid=3344 vsize=10543956 CPUtime=1.45 cores=1,3,5,7 /proc/3346/task/3348/stat : 3348 (java) R 3344 3346 446 0 -1 4202560 12731 0 1 0 143 2 0 0 25 0 19 0 902700238 10797010944 16820 33554432000 1073741824 1073778376 140737342072672 18446744073709551615 46912505604279 0 4 0 16800975 0 0 0 -1 3 0 0 0 [pid=3346/tid=3349] ppid=3344 vsize=10543956 CPUtime=0 cores=1,3,5,7 /proc/3346/task/3349/stat : 3349 (java) S 3344 3346 446 0 -1 4202560 81 0 0 0 0 0 0 0 16 0 19 0 902700240 10797010944 16820 33554432000 1073741824 1073778376 140737342072672 18446744073709551615 271562353561 0 4 0 16800975 18446604465028565184 0 0 -1 1 0 0 0 [pid=3346/tid=3350] ppid=3344 vsize=10543956 CPUtime=0 cores=1,3,5,7 /proc/3346/task/3350/stat : 3350 (java) S 3344 3346 446 0 -1 4202560 79 0 0 0 0 0 0 0 15 0 19 0 902700240 10797010944 16820 33554432000 1073741824 1073778376 140737342072672 18446744073709551615 271562353561 0 4 0 16800975 18446604465028565184 0 0 -1 7 0 0 0 [pid=3346/tid=3354] ppid=3344 vsize=10543956 CPUtime=0 cores=1,3,5,7 /proc/3346/task/3354/stat : 3354 (java) S 3344 3346 446 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 902700240 10797010944 16820 33554432000 1073741824 1073778376 140737342072672 18446744073709551615 271562353561 0 4 0 16800975 18446604465028565184 0 0 -1 5 0 0 0 [pid=3346/tid=3355] ppid=3344 vsize=10543956 CPUtime=0 cores=1,3,5,7 /proc/3346/task/3355/stat : 3355 (java) S 3344 3346 446 0 -1 4202560 106 0 0 0 0 0 0 0 15 0 19 0 902700240 10797010944 16820 33554432000 1073741824 1073778376 140737342072672 18446744073709551615 271562353561 0 4 0 16800975 18446604465028565184 0 0 -1 5 0 0 0 [pid=3346/tid=3357] ppid=3344 vsize=10543956 CPUtime=0 cores=1,3,5,7 /proc/3346/task/3357/stat : 3357 (java) S 3344 3346 446 0 -1 4202560 119 0 0 0 0 0 0 0 15 0 19 0 902700240 10797010944 16820 33554432000 1073741824 1073778376 140737342072672 18446744073709551615 271562353561 0 4 0 16800975 18446604465028565184 0 0 -1 5 0 0 0 [pid=3346/tid=3358] ppid=3344 vsize=10543956 CPUtime=0 cores=1,3,5,7 /proc/3346/task/3358/stat : 3358 (java) S 3344 3346 446 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 902700240 10797010944 16820 33554432000 1073741824 1073778376 140737342072672 18446744073709551615 271562353561 0 4 0 16800975 18446604465028565184 0 0 -1 5 0 0 0 [pid=3346/tid=3360] ppid=3344 vsize=10543956 CPUtime=0 cores=1,3,5,7 /proc/3346/task/3360/stat : 3360 (java) S 3344 3346 446 0 -1 4202560 206 0 0 0 0 0 0 0 15 0 19 0 902700240 10797010944 16820 33554432000 1073741824 1073778376 140737342072672 18446744073709551615 271562353561 0 4 0 16800975 18446604465028565184 0 0 -1 5 0 0 0 [pid=3346/tid=3361] ppid=3344 vsize=10543956 CPUtime=0 cores=1,3,5,7 /proc/3346/task/3361/stat : 3361 (java) S 3344 3346 446 0 -1 4202560 51 0 0 0 0 0 0 0 16 0 19 0 902700240 10797010944 16820 33554432000 1073741824 1073778376 140737342072672 18446744073709551615 271562353561 0 4 0 16800975 18446604465028565184 0 0 -1 7 0 0 0 [pid=3346/tid=3362] ppid=3344 vsize=10543956 CPUtime=0.02 cores=1,3,5,7 /proc/3346/task/3362/stat : 3362 (java) S 3344 3346 446 0 -1 4202560 477 0 0 0 2 0 0 0 16 0 19 0 902700241 10797010944 16820 33554432000 1073741824 1073778376 140737342072672 18446744073709551615 271562354176 0 0 0 16800975 18446604465028565184 0 0 -1 3 0 0 0 [pid=3346/tid=3363] ppid=3344 vsize=10543956 CPUtime=0 cores=1,3,5,7 /proc/3346/task/3363/stat : 3363 (java) S 3344 3346 446 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 902700241 10797010944 16820 33554432000 1073741824 1073778376 140737342072672 18446744073709551615 271562353561 0 4 0 16800975 18446604465028565184 0 0 -1 3 0 0 0 [pid=3346/tid=3364] ppid=3344 vsize=10543956 CPUtime=0 cores=1,3,5,7 /proc/3346/task/3364/stat : 3364 (java) S 3344 3346 446 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 902700241 10797010944 16820 33554432000 1073741824 1073778376 140737342072672 18446744073709551615 271562353561 0 4 0 16800975 18446604465028565184 0 0 -1 3 0 0 0 [pid=3346/tid=3365] ppid=3344 vsize=10543956 CPUtime=0 cores=1,3,5,7 /proc/3346/task/3365/stat : 3365 (java) S 3344 3346 446 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902700244 10797010944 16820 33554432000 1073741824 1073778376 140737342072672 18446744073709551615 271562361265 0 4 0 16800975 18446604465028565184 0 0 -1 3 0 0 0 [pid=3346/tid=3366] ppid=3344 vsize=10543956 CPUtime=0.17 cores=1,3,5,7 /proc/3346/task/3366/stat : 3366 (java) S 3344 3346 446 0 -1 4202560 1855 0 0 0 17 0 0 0 15 0 19 0 902700244 10797010944 16820 33554432000 1073741824 1073778376 140737342072672 18446744073709551615 271562353561 0 4 0 16800975 18446604465028565184 0 0 -1 1 0 0 0 [pid=3346/tid=3367] ppid=3344 vsize=10543956 CPUtime=0.17 cores=1,3,5,7 /proc/3346/task/3367/stat : 3367 (java) S 3344 3346 446 0 -1 4202560 1076 0 0 0 17 0 0 0 15 0 19 0 902700244 10797010944 16820 33554432000 1073741824 1073778376 140737342072672 18446744073709551615 271562353561 0 4 0 16800975 18446604465028565184 0 0 -1 5 0 0 0 [pid=3346/tid=3368] ppid=3344 vsize=10543956 CPUtime=0 cores=1,3,5,7 /proc/3346/task/3368/stat : 3368 (java) S 3344 3346 446 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902700244 10797010944 16820 33554432000 1073741824 1073778376 140737342072672 18446744073709551615 271562353561 0 4 0 16800975 18446604465028565184 0 0 -1 3 0 0 0 [pid=3346/tid=3369] ppid=3344 vsize=10543956 CPUtime=0 cores=1,3,5,7 /proc/3346/task/3369/stat : 3369 (java) S 3344 3346 446 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 902700244 10797010944 16820 33554432000 1073741824 1073778376 140737342072672 18446744073709551615 271562354176 0 4 0 16800975 18446604465028565184 0 0 -1 1 0 0 0 [pid=3346/tid=3370] ppid=3344 vsize=10543956 CPUtime=0 cores=1,3,5,7 /proc/3346/task/3370/stat : 3370 (java) S 3344 3346 446 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 902700255 10797010944 16820 33554432000 1073741824 1073778376 140737342072672 18446744073709551615 271562354176 0 4 0 16800975 18446604465028565184 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 1.85 Current children cumulated vsize (KiB) 10543956 [startup+3.10058 s] /proc/loadavg: 2.02 2.03 1.97 3/218 3370 /proc/meminfo: memFree=1211124/32951124 swapFree=67054536/67111528 [pid=3346] ppid=3344 vsize=10543956 CPUtime=3.53 cores=1,3,5,7 /proc/3346/stat : 3346 (java) S 3344 3346 446 0 -1 4202496 19142 0 1 0 350 3 0 0 24 0 19 0 902700238 10797010944 17180 33554432000 1073741824 1073778376 140737342072672 18446744073709551615 271562340325 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 /proc/3346/statm: 2635989 17180 2249 9 0 2626723 0 [pid=3346/tid=3348] ppid=3344 vsize=10543956 CPUtime=2.97 cores=1,3,5,7 /proc/3346/task/3348/stat : 3348 (java) R 3344 3346 446 0 -1 4202560 12737 0 1 0 295 2 0 0 25 0 19 0 902700238 10797010944 17180 33554432000 1073741824 1073778376 140737342072672 18446744073709551615 46912505366624 0 4 0 16800975 0 0 0 -1 3 0 0 0 [pid=3346/tid=3349] ppid=3344 vsize=10543956 CPUtime=0 cores=1,3,5,7 /proc/3346/task/3349/stat : 3349 (java) S 3344 3346 446 0 -1 4202560 83 0 0 0 0 0 0 0 15 0 19 0 902700240 10797010944 17180 33554432000 1073741824 1073778376 140737342072672 18446744073709551615 271562353561 0 4 0 16800975 18446604465028565184 0 0 -1 1 0 0 0 [pid=3346/tid=3350] ppid=3344 vsize=10543956 CPUtime=0 cores=1,3,5,7 /proc/3346/task/3350/stat : 3350 (java) S 3344 3346 446 0 -1 4202560 80 0 0 0 0 0 0 0 15 0 19 0 902700240 10797010944 17180 33554432000 1073741824 1073778376 140737342072672 18446744073709551615 271562353561 0 4 0 16800975 18446604465028565184 0 0 -1 7 0 0 0 [pid=3346/tid=3354] ppid=3344 vsize=10543956 CPUtime=0 cores=1,3,5,7 /proc/3346/task/3354/stat : 3354 (java) S 3344 3346 446 0 -1 4202560 45 0 0 0 0 0 0 0 15 0 19 0 902700240 10797010944 17180 33554432000 1073741824 1073778376 140737342072672 18446744073709551615 271562353561 0 4 0 16800975 18446604465028565184 0 0 -1 1 0 0 0 [pid=3346/tid=3355] ppid=3344 vsize=10543956 CPUtime=0 cores=1,3,5,7 /proc/3346/task/3355/stat : 3355 (java) S 3344 3346 446 0 -1 4202560 181 0 0 0 0 0 0 0 15 0 19 0 902700240 10797010944 17180 33554432000 1073741824 1073778376 140737342072672 18446744073709551615 271562353561 0 4 0 16800975 18446604465028565184 0 0 -1 7 0 0 0 [pid=3346/tid=3357] ppid=3344 vsize=10543956 CPUtime=0 cores=1,3,5,7 /proc/3346/task/3357/stat : 3357 (java) S 3344 3346 446 0 -1 4202560 119 0 0 0 0 0 0 0 15 0 19 0 902700240 10797010944 17180 33554432000 1073741824 1073778376 140737342072672 18446744073709551615 271562353561 0 4 0 16800975 18446604465028565184 0 0 -1 5 0 0 0 [pid=3346/tid=3358] ppid=3344 vsize=10543956 CPUtime=0 cores=1,3,5,7 /proc/3346/task/3358/stat : 3358 (java) S 3344 3346 446 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 902700240 10797010944 17180 33554432000 1073741824 1073778376 140737342072672 18446744073709551615 271562353561 0 4 0 16800975 18446604465028565184 0 0 -1 7 0 0 0 [pid=3346/tid=3360] ppid=3344 vsize=10543956 CPUtime=0 cores=1,3,5,7 /proc/3346/task/3360/stat : 3360 (java) S 3344 3346 446 0 -1 4202560 212 0 0 0 0 0 0 0 15 0 19 0 902700240 10797010944 17180 33554432000 1073741824 1073778376 140737342072672 18446744073709551615 271562353561 0 4 0 16800975 18446604465028565184 0 0 -1 1 0 0 0 [pid=3346/tid=3361] ppid=3344 vsize=10543956 CPUtime=0 cores=1,3,5,7 /proc/3346/task/3361/stat : 3361 (java) S 3344 3346 446 0 -1 4202560 51 0 0 0 0 0 0 0 15 0 19 0 902700240 10797010944 17180 33554432000 1073741824 1073778376 140737342072672 18446744073709551615 271562353561 0 4 0 16800975 18446604465028565184 0 0 -1 1 0 0 0 [pid=3346/tid=3362] ppid=3344 vsize=10543956 CPUtime=0.09 cores=1,3,5,7 /proc/3346/task/3362/stat : 3362 (java) S 3344 3346 446 0 -1 4202560 650 0 0 0 9 0 0 0 16 0 19 0 902700241 10797010944 17180 33554432000 1073741824 1073778376 140737342072672 18446744073709551615 271562354176 0 0 0 16800975 18446604465028565184 0 0 -1 3 0 0 0 [pid=3346/tid=3363] ppid=3344 vsize=10543956 CPUtime=0 cores=1,3,5,7 /proc/3346/task/3363/stat : 3363 (java) S 3344 3346 446 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 902700241 10797010944 17180 33554432000 1073741824 1073778376 140737342072672 18446744073709551615 271562353561 0 4 0 16800975 18446604465028565184 0 0 -1 3 0 0 0 [pid=3346/tid=3364] ppid=3344 vsize=10543956 CPUtime=0 cores=1,3,5,7 /proc/3346/task/3364/stat : 3364 (java) S 3344 3346 446 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 902700241 10797010944 17180 33554432000 1073741824 1073778376 140737342072672 18446744073709551615 271562353561 0 4 0 16800975 18446604465028565184 0 0 -1 3 0 0 0 [pid=3346/tid=3365] ppid=3344 vsize=10543956 CPUtime=0 cores=1,3,5,7 /proc/3346/task/3365/stat : 3365 (java) S 3344 3346 446 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902700244 10797010944 17180 33554432000 1073741824 1073778376 140737342072672 18446744073709551615 271562361265 0 4 0 16800975 18446604465028565184 0 0 -1 3 0 0 0 [pid=3346/tid=3366] ppid=3344 vsize=10543956 CPUtime=0.24 cores=1,3,5,7 /proc/3346/task/3366/stat : 3366 (java) S 3344 3346 446 0 -1 4202560 2754 0 0 0 24 0 0 0 15 0 19 0 902700244 10797010944 17180 33554432000 1073741824 1073778376 140737342072672 18446744073709551615 271562353561 0 4 0 16800975 18446604465028565184 0 0 -1 1 0 0 0 [pid=3346/tid=3367] ppid=3344 vsize=10543956 CPUtime=0.17 cores=1,3,5,7 /proc/3346/task/3367/stat : 3367 (java) S 3344 3346 446 0 -1 4202560 1076 0 0 0 17 0 0 0 15 0 19 0 902700244 10797010944 17180 33554432000 1073741824 1073778376 140737342072672 18446744073709551615 271562353561 0 4 0 16800975 18446604465028565184 0 0 -1 5 0 0 0 [pid=3346/tid=3368] ppid=3344 vsize=10543956 CPUtime=0 cores=1,3,5,7 /proc/3346/task/3368/stat : 3368 (java) S 3344 3346 446 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902700244 10797010944 17180 33554432000 1073741824 1073778376 140737342072672 18446744073709551615 271562353561 0 4 0 16800975 18446604465028565184 0 0 -1 3 0 0 0 [pid=3346/tid=3369] ppid=3344 vsize=10543956 CPUtime=0 cores=1,3,5,7 /proc/3346/task/3369/stat : 3369 (java) S 3344 3346 446 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 902700244 10797010944 17180 33554432000 1073741824 1073778376 140737342072672 18446744073709551615 271562354176 0 4 0 16800975 18446604465028565184 0 0 -1 7 0 0 0 [pid=3346/tid=3370] ppid=3344 vsize=10543956 CPUtime=0 cores=1,3,5,7 /proc/3346/task/3370/stat : 3370 (java) S 3344 3346 446 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 902700255 10797010944 17180 33554432000 1073741824 1073778376 140737342072672 18446744073709551615 271562354176 0 4 0 16800975 18446604465028565184 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 3.53 Current children cumulated vsize (KiB) 10543956 [startup+6.301 s] /proc/loadavg: 2.02 2.03 1.97 3/218 3370 /proc/meminfo: memFree=1209840/32951124 swapFree=67054536/67111528 [pid=3346] ppid=3344 vsize=10543956 CPUtime=6.78 cores=1,3,5,7 /proc/3346/stat : 3346 (java) S 3344 3346 446 0 -1 4202496 19466 0 1 0 674 4 0 0 24 0 19 0 902700238 10797010944 17071 33554432000 1073741824 1073778376 140737342072672 18446744073709551615 271562340325 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 /proc/3346/statm: 2635989 17071 2250 9 0 2626723 0 [pid=3346/tid=3348] ppid=3344 vsize=10543956 CPUtime=6.03 cores=1,3,5,7 /proc/3346/task/3348/stat : 3348 (java) R 3344 3346 446 0 -1 4202560 12749 0 1 0 601 2 0 0 25 0 19 0 902700238 10797010944 17071 33554432000 1073741824 1073778376 140737342072672 18446744073709551615 46912505531014 0 4 0 16800975 0 0 0 -1 3 0 0 0 [pid=3346/tid=3349] ppid=3344 vsize=10543956 CPUtime=0 cores=1,3,5,7 /proc/3346/task/3349/stat : 3349 (java) S 3344 3346 446 0 -1 4202560 83 0 0 0 0 0 0 0 15 0 19 0 902700240 10797010944 17071 33554432000 1073741824 1073778376 140737342072672 18446744073709551615 271562353561 0 4 0 16800975 18446604465028565184 0 0 -1 5 0 0 0 [pid=3346/tid=3350] ppid=3344 vsize=10543956 CPUtime=0 cores=1,3,5,7 /proc/3346/task/3350/stat : 3350 (java) S 3344 3346 446 0 -1 4202560 81 0 0 0 0 0 0 0 15 0 19 0 902700240 10797010944 17071 33554432000 1073741824 1073778376 140737342072672 18446744073709551615 271562353561 0 4 0 16800975 18446604465028565184 0 0 -1 7 0 0 0 [pid=3346/tid=3354] ppid=3344 vsize=10543956 CPUtime=0 cores=1,3,5,7 /proc/3346/task/3354/stat : 3354 (java) S 3344 3346 446 0 -1 4202560 45 0 0 0 0 0 0 0 15 0 19 0 902700240 10797010944 17071 33554432000 1073741824 1073778376 140737342072672 18446744073709551615 271562353561 0 4 0 16800975 18446604465028565184 0 0 -1 1 0 0 0 [pid=3346/tid=3355] ppid=3344 vsize=10543956 CPUtime=0 cores=1,3,5,7 /proc/3346/task/3355/stat : 3355 (java) S 3344 3346 446 0 -1 4202560 197 0 0 0 0 0 0 0 15 0 19 0 902700240 10797010944 17071 33554432000 1073741824 1073778376 140737342072672 18446744073709551615 271562353561 0 4 0 16800975 18446604465028565184 0 0 -1 7 0 0 0 [pid=3346/tid=3357] ppid=3344 vsize=10543956 CPUtime=0 cores=1,3,5,7 /proc/3346/task/3357/stat : 3357 (java) S 3344 3346 446 0 -1 4202560 120 0 0 0 0 0 0 0 16 0 19 0 902700240 10797010944 17071 33554432000 1073741824 1073778376 140737342072672 18446744073709551615 271562353561 0 4 0 16800975 18446604465028565184 0 0 -1 5 0 0 0 [pid=3346/tid=3358] ppid=3344 vsize=10543956 CPUtime=0 cores=1,3,5,7 /proc/3346/task/3358/stat : 3358 (java) S 3344 3346 446 0 -1 4202560 7 0 0 0 0 0 0 0 15 0 19 0 902700240 10797010944 17071 33554432000 1073741824 1073778376 140737342072672 18446744073709551615 271562353561 0 4 0 16800975 18446604465028565184 0 0 -1 7 0 0 0 [pid=3346/tid=3360] ppid=3344 vsize=10543956 CPUtime=0 cores=1,3,5,7 /proc/3346/task/3360/stat : 3360 (java) S 3344 3346 446 0 -1 4202560 219 0 0 0 0 0 0 0 15 0 19 0 902700240 10797010944 17071 33554432000 1073741824 1073778376 140737342072672 18446744073709551615 271562353561 0 4 0 16800975 18446604465028565184 0 0 -1 1 0 0 0 [pid=3346/tid=3361] ppid=3344 vsize=10543956 CPUtime=0 cores=1,3,5,7 /proc/3346/task/3361/stat : 3361 (java) S 3344 3346 446 0 -1 4202560 64 0 0 0 0 0 0 0 15 0 19 0 902700240 10797010944 17071 33554432000 1073741824 1073778376 140737342072672 18446744073709551615 271562353561 0 4 0 16800975 18446604465028565184 0 0 -1 5 0 0 0 [pid=3346/tid=3362] ppid=3344 vsize=10543956 CPUtime=0.22 cores=1,3,5,7 /proc/3346/task/3362/stat : 3362 (java) S 3344 3346 446 0 -1 4202560 650 0 0 0 22 0 0 0 16 0 19 0 902700241 10797010944 17071 33554432000 1073741824 1073778376 140737342072672 18446744073709551615 271562354176 0 0 0 16800975 18446604465028565184 0 0 -1 3 0 0 0 [pid=3346/tid=3363] ppid=3344 vsize=10543956 CPUtime=0 cores=1,3,5,7 /proc/3346/task/3363/stat : 3363 (java) S 3344 3346 446 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 902700241 10797010944 17071 33554432000 1073741824 1073778376 140737342072672 18446744073709551615 271562353561 0 4 0 16800975 18446604465028565184 0 0 -1 3 0 0 0 [pid=3346/tid=3364] ppid=3344 vsize=10543956 CPUtime=0 cores=1,3,5,7 /proc/3346/task/3364/stat : 3364 (java) S 3344 3346 446 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 902700241 10797010944 17071 33554432000 1073741824 1073778376 140737342072672 18446744073709551615 271562353561 0 4 0 16800975 18446604465028565184 0 0 -1 3 0 0 0 [pid=3346/tid=3365] ppid=3344 vsize=10543956 CPUtime=0 cores=1,3,5,7 /proc/3346/task/3365/stat : 3365 (java) S 3344 3346 446 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902700244 10797010944 17071 33554432000 1073741824 1073778376 140737342072672 18446744073709551615 271562361265 0 4 0 16800975 18446604465028565184 0 0 -1 3 0 0 0 [pid=3346/tid=3366] ppid=3344 vsize=10543956 CPUtime=0.27 cores=1,3,5,7 /proc/3346/task/3366/stat : 3366 (java) S 3344 3346 446 0 -1 4202560 3022 0 0 0 27 0 0 0 15 0 19 0 902700244 10797010944 17071 33554432000 1073741824 1073778376 140737342072672 18446744073709551615 271562353561 0 4 0 16800975 18446604465028565184 0 0 -1 1 0 0 0 [pid=3346/tid=3367] ppid=3344 vsize=10543956 CPUtime=0.17 cores=1,3,5,7 /proc/3346/task/3367/stat : 3367 (java) S 3344 3346 446 0 -1 4202560 1076 0 0 0 17 0 0 0 15 0 19 0 902700244 10797010944 17071 33554432000 1073741824 1073778376 140737342072672 18446744073709551615 271562353561 0 4 0 16800975 18446604465028565184 0 0 -1 5 0 0 0 [pid=3346/tid=3368] ppid=3344 vsize=10543956 CPUtime=0 cores=1,3,5,7 /proc/3346/task/3368/stat : 3368 (java) S 3344 3346 446 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902700244 10797010944 17071 33554432000 1073741824 1073778376 140737342072672 18446744073709551615 271562353561 0 4 0 16800975 18446604465028565184 0 0 -1 3 0 0 0 [pid=3346/tid=3369] ppid=3344 vsize=10543956 CPUtime=0 cores=1,3,5,7 /proc/3346/task/3369/stat : 3369 (java) S 3344 3346 446 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 902700244 10797010944 17071 33554432000 1073741824 1073778376 140737342072672 18446744073709551615 271562354176 0 4 0 16800975 18446604465028565184 0 0 -1 7 0 0 0 [pid=3346/tid=3370] ppid=3344 vsize=10543956 CPUtime=0 cores=1,3,5,7 /proc/3346/task/3370/stat : 3370 (java) S 3344 3346 446 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 902700255 10797010944 17071 33554432000 1073741824 1073778376 140737342072672 18446744073709551615 271562354176 0 4 0 16800975 18446604465028565184 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 6.78 Current children cumulated vsize (KiB) 10543956 [startup+12.7008 s] ################ # More data... # ################ /proc/3346/task/3349/stat : 3349 (java) S 3344 3346 446 0 -1 4202560 94 0 0 0 5 0 0 0 15 0 19 0 902700240 10797010944 20399 33554432000 1073741824 1073778376 140737342072672 18446744073709551615 271562353561 0 4 0 16800975 18446604465028565184 0 0 -1 7 0 0 0 [pid=3346/tid=3350] ppid=3344 vsize=10543956 CPUtime=0.06 cores=1,3,5,7 /proc/3346/task/3350/stat : 3350 (java) S 3344 3346 446 0 -1 4202560 89 0 0 0 6 0 0 0 15 0 19 0 902700240 10797010944 20399 33554432000 1073741824 1073778376 140737342072672 18446744073709551615 271562353561 0 4 0 16800975 18446604465028565184 0 0 -1 5 0 0 0 [pid=3346/tid=3354] ppid=3344 vsize=10543956 CPUtime=0.06 cores=1,3,5,7 /proc/3346/task/3354/stat : 3354 (java) S 3344 3346 446 0 -1 4202560 54 0 0 0 6 0 0 0 16 0 19 0 902700240 10797010944 20399 33554432000 1073741824 1073778376 140737342072672 18446744073709551615 271562353561 0 4 0 16800975 18446604465028565184 0 0 -1 1 0 0 0 [pid=3346/tid=3355] ppid=3344 vsize=10543956 CPUtime=0.07 cores=1,3,5,7 /proc/3346/task/3355/stat : 3355 (java) S 3344 3346 446 0 -1 4202560 224 0 0 0 7 0 0 0 15 0 19 0 902700240 10797010944 20399 33554432000 1073741824 1073778376 140737342072672 18446744073709551615 271562353561 0 4 0 16800975 18446604465028565184 0 0 -1 7 0 0 0 [pid=3346/tid=3357] ppid=3344 vsize=10543956 CPUtime=0.06 cores=1,3,5,7 /proc/3346/task/3357/stat : 3357 (java) S 3344 3346 446 0 -1 4202560 129 0 0 0 6 0 0 0 15 0 19 0 902700240 10797010944 20399 33554432000 1073741824 1073778376 140737342072672 18446744073709551615 271562353561 0 4 0 16800975 18446604465028565184 0 0 -1 7 0 0 0 [pid=3346/tid=3358] ppid=3344 vsize=10543956 CPUtime=0.06 cores=1,3,5,7 /proc/3346/task/3358/stat : 3358 (java) S 3344 3346 446 0 -1 4202560 66 0 0 0 6 0 0 0 15 0 19 0 902700240 10797010944 20399 33554432000 1073741824 1073778376 140737342072672 18446744073709551615 271562353561 0 4 0 16800975 18446604465028565184 0 0 -1 5 0 0 0 [pid=3346/tid=3360] ppid=3344 vsize=10543956 CPUtime=0.06 cores=1,3,5,7 /proc/3346/task/3360/stat : 3360 (java) S 3344 3346 446 0 -1 4202560 254 0 0 0 6 0 0 0 15 0 19 0 902700240 10797010944 20399 33554432000 1073741824 1073778376 140737342072672 18446744073709551615 271562353561 0 4 0 16800975 18446604465028565184 0 0 -1 7 0 0 0 [pid=3346/tid=3361] ppid=3344 vsize=10543956 CPUtime=0.04 cores=1,3,5,7 /proc/3346/task/3361/stat : 3361 (java) S 3344 3346 446 0 -1 4202560 73 0 0 0 4 0 0 0 15 0 19 0 902700240 10797010944 20399 33554432000 1073741824 1073778376 140737342072672 18446744073709551615 271562353561 0 4 0 16800975 18446604465028565184 0 0 -1 5 0 0 0 [pid=3346/tid=3362] ppid=3344 vsize=10543956 CPUtime=3.28 cores=1,3,5,7 /proc/3346/task/3362/stat : 3362 (java) S 3344 3346 446 0 -1 4202560 1223 0 0 0 325 3 0 0 15 0 19 0 902700241 10797010944 20399 33554432000 1073741824 1073778376 140737342072672 18446744073709551615 271562354176 0 0 0 16800975 18446604465028565184 0 0 -1 3 0 0 0 [pid=3346/tid=3363] ppid=3344 vsize=10543956 CPUtime=0 cores=1,3,5,7 /proc/3346/task/3363/stat : 3363 (java) S 3344 3346 446 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 902700241 10797010944 20399 33554432000 1073741824 1073778376 140737342072672 18446744073709551615 271562353561 0 4 0 16800975 18446604465028565184 0 0 -1 3 0 0 0 [pid=3346/tid=3364] ppid=3344 vsize=10543956 CPUtime=0 cores=1,3,5,7 /proc/3346/task/3364/stat : 3364 (java) S 3344 3346 446 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 902700241 10797010944 20399 33554432000 1073741824 1073778376 140737342072672 18446744073709551615 271562353561 0 4 0 16800975 18446604465028565184 0 0 -1 3 0 0 0 [pid=3346/tid=3365] ppid=3344 vsize=10543956 CPUtime=0 cores=1,3,5,7 /proc/3346/task/3365/stat : 3365 (java) S 3344 3346 446 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902700244 10797010944 20399 33554432000 1073741824 1073778376 140737342072672 18446744073709551615 271562361265 0 4 0 16800975 18446604465028565184 0 0 -1 3 0 0 0 [pid=3346/tid=3366] ppid=3344 vsize=10543956 CPUtime=0.98 cores=1,3,5,7 /proc/3346/task/3366/stat : 3366 (java) S 3344 3346 446 0 -1 4202560 14011 0 0 0 97 1 0 0 15 0 19 0 902700244 10797010944 20399 33554432000 1073741824 1073778376 140737342072672 18446744073709551615 271562353561 0 4 0 16800975 18446604465028565184 0 0 -1 1 0 0 0 [pid=3346/tid=3367] ppid=3344 vsize=10543956 CPUtime=0.27 cores=1,3,5,7 /proc/3346/task/3367/stat : 3367 (java) S 3344 3346 446 0 -1 4202560 1115 0 0 0 27 0 0 0 15 0 19 0 902700244 10797010944 20399 33554432000 1073741824 1073778376 140737342072672 18446744073709551615 271562353561 0 4 0 16800975 18446604465028565184 0 0 -1 5 0 0 0 [pid=3346/tid=3368] ppid=3344 vsize=10543956 CPUtime=0 cores=1,3,5,7 /proc/3346/task/3368/stat : 3368 (java) S 3344 3346 446 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902700244 10797010944 20399 33554432000 1073741824 1073778376 140737342072672 18446744073709551615 271562353561 0 4 0 16800975 18446604465028565184 0 0 -1 3 0 0 0 [pid=3346/tid=3369] ppid=3344 vsize=10543956 CPUtime=0 cores=1,3,5,7 /proc/3346/task/3369/stat : 3369 (java) S 3344 3346 446 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 902700244 10797010944 20399 33554432000 1073741824 1073778376 140737342072672 18446744073709551615 271562354176 0 4 0 16800975 18446604465028565184 0 0 -1 5 0 0 0 [pid=3346/tid=3370] ppid=3344 vsize=10543956 CPUtime=0 cores=1,3,5,7 /proc/3346/task/3370/stat : 3370 (java) S 3344 3346 446 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 902700255 10797010944 20399 33554432000 1073741824 1073778376 140737342072672 18446744073709551615 271562354176 0 4 0 16800975 18446604465028565184 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 84.71 Current children cumulated vsize (KiB) 10543956 [startup+84.8067 s] /proc/loadavg: 2.00 2.02 1.97 3/218 3372 /proc/meminfo: memFree=1193268/32951124 swapFree=67054536/67111528 [pid=3346] ppid=3344 vsize=10543956 CPUtime=86.32 cores=1,3,5,7 /proc/3346/stat : 3346 (java) S 3344 3346 446 0 -1 4202496 31469 0 1 0 8622 10 0 0 24 0 19 0 902700238 10797010944 20401 33554432000 1073741824 1073778376 140737342072672 18446744073709551615 271562340325 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 /proc/3346/statm: 2635989 20401 2252 9 0 2626723 0 [pid=3346/tid=3348] ppid=3344 vsize=10543956 CPUtime=81.15 cores=1,3,5,7 /proc/3346/task/3348/stat : 3348 (java) S 3344 3346 446 0 -1 4202560 12978 0 1 0 8112 3 0 0 18 0 19 0 902700238 10797010944 20401 33554432000 1073741824 1073778376 140737342072672 18446744073709551615 271562353561 0 4 0 16800975 18446604465028565184 0 0 -1 5 0 0 0 [pid=3346/tid=3349] ppid=3344 vsize=10543956 CPUtime=0.05 cores=1,3,5,7 /proc/3346/task/3349/stat : 3349 (java) S 3344 3346 446 0 -1 4202560 94 0 0 0 5 0 0 0 15 0 19 0 902700240 10797010944 20401 33554432000 1073741824 1073778376 140737342072672 18446744073709551615 271562353561 0 4 0 16800975 18446604465028565184 0 0 -1 5 0 0 0 [pid=3346/tid=3350] ppid=3344 vsize=10543956 CPUtime=0.06 cores=1,3,5,7 /proc/3346/task/3350/stat : 3350 (java) S 3344 3346 446 0 -1 4202560 90 0 0 0 6 0 0 0 15 0 19 0 902700240 10797010944 20401 33554432000 1073741824 1073778376 140737342072672 18446744073709551615 271562353561 0 4 0 16800975 18446604465028565184 0 0 -1 5 0 0 0 [pid=3346/tid=3354] ppid=3344 vsize=10543956 CPUtime=0.06 cores=1,3,5,7 /proc/3346/task/3354/stat : 3354 (java) S 3344 3346 446 0 -1 4202560 55 0 0 0 6 0 0 0 15 0 19 0 902700240 10797010944 20401 33554432000 1073741824 1073778376 140737342072672 18446744073709551615 271562353561 0 4 0 16800975 18446604465028565184 0 0 -1 1 0 0 0 [pid=3346/tid=3355] ppid=3344 vsize=10543956 CPUtime=0.07 cores=1,3,5,7 /proc/3346/task/3355/stat : 3355 (java) S 3344 3346 446 0 -1 4202560 224 0 0 0 7 0 0 0 15 0 19 0 902700240 10797010944 20401 33554432000 1073741824 1073778376 140737342072672 18446744073709551615 271562353561 0 4 0 16800975 18446604465028565184 0 0 -1 7 0 0 0 [pid=3346/tid=3357] ppid=3344 vsize=10543956 CPUtime=0.06 cores=1,3,5,7 /proc/3346/task/3357/stat : 3357 (java) S 3344 3346 446 0 -1 4202560 129 0 0 0 6 0 0 0 15 0 19 0 902700240 10797010944 20401 33554432000 1073741824 1073778376 140737342072672 18446744073709551615 271562353561 0 4 0 16800975 18446604465028565184 0 0 -1 3 0 0 0 [pid=3346/tid=3358] ppid=3344 vsize=10543956 CPUtime=0.06 cores=1,3,5,7 /proc/3346/task/3358/stat : 3358 (java) S 3344 3346 446 0 -1 4202560 66 0 0 0 6 0 0 0 16 0 19 0 902700240 10797010944 20401 33554432000 1073741824 1073778376 140737342072672 18446744073709551615 271562353561 0 4 0 16800975 18446604465028565184 0 0 -1 5 0 0 0 [pid=3346/tid=3360] ppid=3344 vsize=10543956 CPUtime=0.06 cores=1,3,5,7 /proc/3346/task/3360/stat : 3360 (java) S 3344 3346 446 0 -1 4202560 254 0 0 0 6 0 0 0 15 0 19 0 902700240 10797010944 20401 33554432000 1073741824 1073778376 140737342072672 18446744073709551615 271562353561 0 4 0 16800975 18446604465028565184 0 0 -1 7 0 0 0 [pid=3346/tid=3361] ppid=3344 vsize=10543956 CPUtime=0.04 cores=1,3,5,7 /proc/3346/task/3361/stat : 3361 (java) S 3344 3346 446 0 -1 4202560 73 0 0 0 4 0 0 0 15 0 19 0 902700240 10797010944 20401 33554432000 1073741824 1073778376 140737342072672 18446744073709551615 271562353561 0 4 0 16800975 18446604465028565184 0 0 -1 5 0 0 0 [pid=3346/tid=3362] ppid=3344 vsize=10543956 CPUtime=3.35 cores=1,3,5,7 /proc/3346/task/3362/stat : 3362 (java) R 3344 3346 446 0 -1 4202560 1223 0 0 0 332 3 0 0 15 0 19 0 902700241 10797010944 20401 33554432000 1073741824 1073778376 140737342072672 18446744073709551615 47022151064816 0 0 0 16800975 0 0 0 -1 3 0 0 0 [pid=3346/tid=3363] ppid=3344 vsize=10543956 CPUtime=0 cores=1,3,5,7 /proc/3346/task/3363/stat : 3363 (java) S 3344 3346 446 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 902700241 10797010944 20401 33554432000 1073741824 1073778376 140737342072672 18446744073709551615 271562353561 0 4 0 16800975 18446604465028565184 0 0 -1 3 0 0 0 [pid=3346/tid=3364] ppid=3344 vsize=10543956 CPUtime=0 cores=1,3,5,7 /proc/3346/task/3364/stat : 3364 (java) S 3344 3346 446 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 902700241 10797010944 20401 33554432000 1073741824 1073778376 140737342072672 18446744073709551615 271562353561 0 4 0 16800975 18446604465028565184 0 0 -1 3 0 0 0 [pid=3346/tid=3365] ppid=3344 vsize=10543956 CPUtime=0 cores=1,3,5,7 /proc/3346/task/3365/stat : 3365 (java) S 3344 3346 446 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902700244 10797010944 20401 33554432000 1073741824 1073778376 140737342072672 18446744073709551615 271562361265 0 4 0 16800975 18446604465028565184 0 0 -1 3 0 0 0 [pid=3346/tid=3366] ppid=3344 vsize=10543956 CPUtime=0.98 cores=1,3,5,7 /proc/3346/task/3366/stat : 3366 (java) S 3344 3346 446 0 -1 4202560 14011 0 0 0 97 1 0 0 15 0 19 0 902700244 10797010944 20401 33554432000 1073741824 1073778376 140737342072672 18446744073709551615 271562353561 0 4 0 16800975 18446604465028565184 0 0 -1 1 0 0 0 [pid=3346/tid=3367] ppid=3344 vsize=10543956 CPUtime=0.27 cores=1,3,5,7 /proc/3346/task/3367/stat : 3367 (java) S 3344 3346 446 0 -1 4202560 1115 0 0 0 27 0 0 0 15 0 19 0 902700244 10797010944 20401 33554432000 1073741824 1073778376 140737342072672 18446744073709551615 271562353561 0 4 0 16800975 18446604465028565184 0 0 -1 5 0 0 0 [pid=3346/tid=3368] ppid=3344 vsize=10543956 CPUtime=0 cores=1,3,5,7 /proc/3346/task/3368/stat : 3368 (java) S 3344 3346 446 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902700244 10797010944 20401 33554432000 1073741824 1073778376 140737342072672 18446744073709551615 271562353561 0 4 0 16800975 18446604465028565184 0 0 -1 3 0 0 0 [pid=3346/tid=3369] ppid=3344 vsize=10543956 CPUtime=0 cores=1,3,5,7 /proc/3346/task/3369/stat : 3369 (java) S 3344 3346 446 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 902700244 10797010944 20401 33554432000 1073741824 1073778376 140737342072672 18446744073709551615 271562354176 0 4 0 16800975 18446604465028565184 0 0 -1 5 0 0 0 [pid=3346/tid=3370] ppid=3344 vsize=10543956 CPUtime=0 cores=1,3,5,7 /proc/3346/task/3370/stat : 3370 (java) S 3344 3346 446 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 902700255 10797010944 20401 33554432000 1073741824 1073778376 140737342072672 18446744073709551615 271562354176 0 4 0 16800975 18446604465028565184 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 86.32 Current children cumulated vsize (KiB) 10543956 [startup+85.2007 s] /proc/loadavg: 2.00 2.02 1.97 3/218 3372 /proc/meminfo: memFree=1193268/32951124 swapFree=67054536/67111528 [pid=3346] ppid=3344 vsize=10543956 CPUtime=86.71 cores=1,3,5,7 /proc/3346/stat : 3346 (java) S 3344 3346 446 0 -1 4202496 31473 0 1 0 8661 10 0 0 24 0 19 0 902700238 10797010944 20403 33554432000 1073741824 1073778376 140737342072672 18446744073709551615 271562340325 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 /proc/3346/statm: 2635989 20403 2252 9 0 2626723 0 [pid=3346/tid=3348] ppid=3344 vsize=10543956 CPUtime=81.52 cores=1,3,5,7 /proc/3346/task/3348/stat : 3348 (java) R 3344 3346 446 0 -1 4202560 12982 0 1 0 8149 3 0 0 17 0 19 0 902700238 10797010944 20403 33554432000 1073741824 1073778376 140737342072672 18446744073709551615 46912505604246 0 4 0 16800975 0 0 0 -1 5 0 0 0 [pid=3346/tid=3349] ppid=3344 vsize=10543956 CPUtime=0.05 cores=1,3,5,7 /proc/3346/task/3349/stat : 3349 (java) S 3344 3346 446 0 -1 4202560 94 0 0 0 5 0 0 0 15 0 19 0 902700240 10797010944 20403 33554432000 1073741824 1073778376 140737342072672 18446744073709551615 271562353561 0 4 0 16800975 18446604465028565184 0 0 -1 5 0 0 0 [pid=3346/tid=3350] ppid=3344 vsize=10543956 CPUtime=0.06 cores=1,3,5,7 /proc/3346/task/3350/stat : 3350 (java) S 3344 3346 446 0 -1 4202560 90 0 0 0 6 0 0 0 15 0 19 0 902700240 10797010944 20403 33554432000 1073741824 1073778376 140737342072672 18446744073709551615 271562353561 0 4 0 16800975 18446604465028565184 0 0 -1 5 0 0 0 [pid=3346/tid=3354] ppid=3344 vsize=10543956 CPUtime=0.06 cores=1,3,5,7 /proc/3346/task/3354/stat : 3354 (java) S 3344 3346 446 0 -1 4202560 55 0 0 0 6 0 0 0 15 0 19 0 902700240 10797010944 20403 33554432000 1073741824 1073778376 140737342072672 18446744073709551615 271562353561 0 4 0 16800975 18446604465028565184 0 0 -1 1 0 0 0 [pid=3346/tid=3355] ppid=3344 vsize=10543956 CPUtime=0.07 cores=1,3,5,7 /proc/3346/task/3355/stat : 3355 (java) S 3344 3346 446 0 -1 4202560 224 0 0 0 7 0 0 0 16 0 19 0 902700240 10797010944 20403 33554432000 1073741824 1073778376 140737342072672 18446744073709551615 271562353561 0 4 0 16800975 18446604465028565184 0 0 -1 7 0 0 0 [pid=3346/tid=3357] ppid=3344 vsize=10543956 CPUtime=0.06 cores=1,3,5,7 /proc/3346/task/3357/stat : 3357 (java) S 3344 3346 446 0 -1 4202560 129 0 0 0 6 0 0 0 16 0 19 0 902700240 10797010944 20403 33554432000 1073741824 1073778376 140737342072672 18446744073709551615 271562353561 0 4 0 16800975 18446604465028565184 0 0 -1 7 0 0 0 [pid=3346/tid=3358] ppid=3344 vsize=10543956 CPUtime=0.06 cores=1,3,5,7 /proc/3346/task/3358/stat : 3358 (java) S 3344 3346 446 0 -1 4202560 66 0 0 0 6 0 0 0 15 0 19 0 902700240 10797010944 20403 33554432000 1073741824 1073778376 140737342072672 18446744073709551615 271562353561 0 4 0 16800975 18446604465028565184 0 0 -1 5 0 0 0 [pid=3346/tid=3360] ppid=3344 vsize=10543956 CPUtime=0.06 cores=1,3,5,7 /proc/3346/task/3360/stat : 3360 (java) S 3344 3346 446 0 -1 4202560 254 0 0 0 6 0 0 0 15 0 19 0 902700240 10797010944 20403 33554432000 1073741824 1073778376 140737342072672 18446744073709551615 271562353561 0 4 0 16800975 18446604465028565184 0 0 -1 7 0 0 0 [pid=3346/tid=3361] ppid=3344 vsize=10543956 CPUtime=0.04 cores=1,3,5,7 /proc/3346/task/3361/stat : 3361 (java) S 3344 3346 446 0 -1 4202560 73 0 0 0 4 0 0 0 15 0 19 0 902700240 10797010944 20403 33554432000 1073741824 1073778376 140737342072672 18446744073709551615 271562353561 0 4 0 16800975 18446604465028565184 0 0 -1 5 0 0 0 [pid=3346/tid=3362] ppid=3344 vsize=10543956 CPUtime=3.37 cores=1,3,5,7 /proc/3346/task/3362/stat : 3362 (java) S 3344 3346 446 0 -1 4202560 1223 0 0 0 334 3 0 0 15 0 19 0 902700241 10797010944 20403 33554432000 1073741824 1073778376 140737342072672 18446744073709551615 271562354176 0 0 0 16800975 18446604465028565184 0 0 -1 3 0 0 0 [pid=3346/tid=3363] ppid=3344 vsize=10543956 CPUtime=0 cores=1,3,5,7 /proc/3346/task/3363/stat : 3363 (java) S 3344 3346 446 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 902700241 10797010944 20403 33554432000 1073741824 1073778376 140737342072672 18446744073709551615 271562353561 0 4 0 16800975 18446604465028565184 0 0 -1 3 0 0 0 [pid=3346/tid=3364] ppid=3344 vsize=10543956 CPUtime=0 cores=1,3,5,7 /proc/3346/task/3364/stat : 3364 (java) S 3344 3346 446 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 902700241 10797010944 20403 33554432000 1073741824 1073778376 140737342072672 18446744073709551615 271562353561 0 4 0 16800975 18446604465028565184 0 0 -1 3 0 0 0 [pid=3346/tid=3365] ppid=3344 vsize=10543956 CPUtime=0 cores=1,3,5,7 /proc/3346/task/3365/stat : 3365 (java) S 3344 3346 446 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902700244 10797010944 20403 33554432000 1073741824 1073778376 140737342072672 18446744073709551615 271562361265 0 4 0 16800975 18446604465028565184 0 0 -1 3 0 0 0 [pid=3346/tid=3366] ppid=3344 vsize=10543956 CPUtime=0.98 cores=1,3,5,7 /proc/3346/task/3366/stat : 3366 (java) S 3344 3346 446 0 -1 4202560 14011 0 0 0 97 1 0 0 15 0 19 0 902700244 10797010944 20403 33554432000 1073741824 1073778376 140737342072672 18446744073709551615 271562353561 0 4 0 16800975 18446604465028565184 0 0 -1 1 0 0 0 [pid=3346/tid=3367] ppid=3344 vsize=10543956 CPUtime=0.27 cores=1,3,5,7 /proc/3346/task/3367/stat : 3367 (java) S 3344 3346 446 0 -1 4202560 1115 0 0 0 27 0 0 0 15 0 19 0 902700244 10797010944 20403 33554432000 1073741824 1073778376 140737342072672 18446744073709551615 271562353561 0 4 0 16800975 18446604465028565184 0 0 -1 5 0 0 0 [pid=3346/tid=3368] ppid=3344 vsize=10543956 CPUtime=0 cores=1,3,5,7 /proc/3346/task/3368/stat : 3368 (java) S 3344 3346 446 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902700244 10797010944 20403 33554432000 1073741824 1073778376 140737342072672 18446744073709551615 271562353561 0 4 0 16800975 18446604465028565184 0 0 -1 3 0 0 0 [pid=3346/tid=3369] ppid=3344 vsize=10543956 CPUtime=0 cores=1,3,5,7 /proc/3346/task/3369/stat : 3369 (java) S 3344 3346 446 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 902700244 10797010944 20403 33554432000 1073741824 1073778376 140737342072672 18446744073709551615 271562354176 0 4 0 16800975 18446604465028565184 0 0 -1 5 0 0 0 [pid=3346/tid=3370] ppid=3344 vsize=10543956 CPUtime=0 cores=1,3,5,7 /proc/3346/task/3370/stat : 3370 (java) S 3344 3346 446 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 902700255 10797010944 20403 33554432000 1073741824 1073778376 140737342072672 18446744073709551615 271562354176 0 4 0 16800975 18446604465028565184 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 86.71 Current children cumulated vsize (KiB) 10543956 [startup+85.6016 s] /proc/loadavg: 2.00 2.02 1.97 3/218 3372 /proc/meminfo: memFree=1193268/32951124 swapFree=67054536/67111528 [pid=3346] ppid=3344 vsize=10543956 CPUtime=87.12 cores=1,3,5,7 /proc/3346/stat : 3346 (java) S 3344 3346 446 0 -1 4202496 31475 0 1 0 8702 10 0 0 24 0 19 0 902700238 10797010944 20403 33554432000 1073741824 1073778376 140737342072672 18446744073709551615 271562340325 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 /proc/3346/statm: 2635989 20403 2252 9 0 2626723 0 [pid=3346/tid=3348] ppid=3344 vsize=10543956 CPUtime=81.9 cores=1,3,5,7 /proc/3346/task/3348/stat : 3348 (java) R 3344 3346 446 0 -1 4202560 12983 0 1 0 8187 3 0 0 17 0 19 0 902700238 10797010944 20403 33554432000 1073741824 1073778376 140737342072672 18446744073709551615 46912505604279 0 4 0 16800975 0 0 0 -1 3 0 0 0 [pid=3346/tid=3349] ppid=3344 vsize=10543956 CPUtime=0.05 cores=1,3,5,7 /proc/3346/task/3349/stat : 3349 (java) S 3344 3346 446 0 -1 4202560 94 0 0 0 5 0 0 0 15 0 19 0 902700240 10797010944 20403 33554432000 1073741824 1073778376 140737342072672 18446744073709551615 271562353561 0 4 0 16800975 18446604465028565184 0 0 -1 5 0 0 0 [pid=3346/tid=3350] ppid=3344 vsize=10543956 CPUtime=0.07 cores=1,3,5,7 /proc/3346/task/3350/stat : 3350 (java) S 3344 3346 446 0 -1 4202560 90 0 0 0 7 0 0 0 15 0 19 0 902700240 10797010944 20403 33554432000 1073741824 1073778376 140737342072672 18446744073709551615 271562353561 0 4 0 16800975 18446604465028565184 0 0 -1 5 0 0 0 [pid=3346/tid=3354] ppid=3344 vsize=10543956 CPUtime=0.06 cores=1,3,5,7 /proc/3346/task/3354/stat : 3354 (java) S 3344 3346 446 0 -1 4202560 55 0 0 0 6 0 0 0 15 0 19 0 902700240 10797010944 20403 33554432000 1073741824 1073778376 140737342072672 18446744073709551615 271562353561 0 4 0 16800975 18446604465028565184 0 0 -1 1 0 0 0 [pid=3346/tid=3355] ppid=3344 vsize=10543956 CPUtime=0.07 cores=1,3,5,7 /proc/3346/task/3355/stat : 3355 (java) S 3344 3346 446 0 -1 4202560 224 0 0 0 7 0 0 0 15 0 19 0 902700240 10797010944 20403 33554432000 1073741824 1073778376 140737342072672 18446744073709551615 271562353561 0 4 0 16800975 18446604465028565184 0 0 -1 7 0 0 0 [pid=3346/tid=3357] ppid=3344 vsize=10543956 CPUtime=0.06 cores=1,3,5,7 /proc/3346/task/3357/stat : 3357 (java) S 3344 3346 446 0 -1 4202560 129 0 0 0 6 0 0 0 15 0 19 0 902700240 10797010944 20403 33554432000 1073741824 1073778376 140737342072672 18446744073709551615 271562353561 0 4 0 16800975 18446604465028565184 0 0 -1 7 0 0 0 [pid=3346/tid=3358] ppid=3344 vsize=10543956 CPUtime=0.06 cores=1,3,5,7 /proc/3346/task/3358/stat : 3358 (java) S 3344 3346 446 0 -1 4202560 66 0 0 0 6 0 0 0 15 0 19 0 902700240 10797010944 20403 33554432000 1073741824 1073778376 140737342072672 18446744073709551615 271562353561 0 4 0 16800975 18446604465028565184 0 0 -1 5 0 0 0 [pid=3346/tid=3360] ppid=3344 vsize=10543956 CPUtime=0.06 cores=1,3,5,7 /proc/3346/task/3360/stat : 3360 (java) S 3344 3346 446 0 -1 4202560 254 0 0 0 6 0 0 0 15 0 19 0 902700240 10797010944 20403 33554432000 1073741824 1073778376 140737342072672 18446744073709551615 271562353561 0 4 0 16800975 18446604465028565184 0 0 -1 7 0 0 0 [pid=3346/tid=3361] ppid=3344 vsize=10543956 CPUtime=0.04 cores=1,3,5,7 /proc/3346/task/3361/stat : 3361 (java) S 3344 3346 446 0 -1 4202560 73 0 0 0 4 0 0 0 15 0 19 0 902700240 10797010944 20403 33554432000 1073741824 1073778376 140737342072672 18446744073709551615 271562353561 0 4 0 16800975 18446604465028565184 0 0 -1 7 0 0 0 [pid=3346/tid=3362] ppid=3344 vsize=10543956 CPUtime=3.38 cores=1,3,5,7 /proc/3346/task/3362/stat : 3362 (java) S 3344 3346 446 0 -1 4202560 1223 0 0 0 335 3 0 0 16 0 19 0 902700241 10797010944 20403 33554432000 1073741824 1073778376 140737342072672 18446744073709551615 271562354176 0 0 0 16800975 18446604465028565184 0 0 -1 3 0 0 0 [pid=3346/tid=3363] ppid=3344 vsize=10543956 CPUtime=0 cores=1,3,5,7 /proc/3346/task/3363/stat : 3363 (java) S 3344 3346 446 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 902700241 10797010944 20403 33554432000 1073741824 1073778376 140737342072672 18446744073709551615 271562353561 0 4 0 16800975 18446604465028565184 0 0 -1 3 0 0 0 [pid=3346/tid=3364] ppid=3344 vsize=10543956 CPUtime=0 cores=1,3,5,7 /proc/3346/task/3364/stat : 3364 (java) S 3344 3346 446 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 902700241 10797010944 20403 33554432000 1073741824 1073778376 140737342072672 18446744073709551615 271562353561 0 4 0 16800975 18446604465028565184 0 0 -1 3 0 0 0 [pid=3346/tid=3365] ppid=3344 vsize=10543956 CPUtime=0 cores=1,3,5,7 /proc/3346/task/3365/stat : 3365 (java) S 3344 3346 446 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902700244 10797010944 20403 33554432000 1073741824 1073778376 140737342072672 18446744073709551615 271562361265 0 4 0 16800975 18446604465028565184 0 0 -1 3 0 0 0 [pid=3346/tid=3366] ppid=3344 vsize=10543956 CPUtime=0.98 cores=1,3,5,7 /proc/3346/task/3366/stat : 3366 (java) S 3344 3346 446 0 -1 4202560 14011 0 0 0 97 1 0 0 15 0 19 0 902700244 10797010944 20403 33554432000 1073741824 1073778376 140737342072672 18446744073709551615 271562353561 0 4 0 16800975 18446604465028565184 0 0 -1 1 0 0 0 [pid=3346/tid=3367] ppid=3344 vsize=10543956 CPUtime=0.28 cores=1,3,5,7 /proc/3346/task/3367/stat : 3367 (java) S 3344 3346 446 0 -1 4202560 1116 0 0 0 28 0 0 0 15 0 19 0 902700244 10797010944 20403 33554432000 1073741824 1073778376 140737342072672 18446744073709551615 271562353561 0 4 0 16800975 18446604465028565184 0 0 -1 5 0 0 0 [pid=3346/tid=3368] ppid=3344 vsize=10543956 CPUtime=0 cores=1,3,5,7 /proc/3346/task/3368/stat : 3368 (java) S 3344 3346 446 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902700244 10797010944 20403 33554432000 1073741824 1073778376 140737342072672 18446744073709551615 271562353561 0 4 0 16800975 18446604465028565184 0 0 -1 3 0 0 0 [pid=3346/tid=3369] ppid=3344 vsize=10543956 CPUtime=0 cores=1,3,5,7 /proc/3346/task/3369/stat : 3369 (java) S 3344 3346 446 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 902700244 10797010944 20403 33554432000 1073741824 1073778376 140737342072672 18446744073709551615 271562354176 0 4 0 16800975 18446604465028565184 0 0 -1 5 0 0 0 [pid=3346/tid=3370] ppid=3344 vsize=10543956 CPUtime=0 cores=1,3,5,7 /proc/3346/task/3370/stat : 3370 (java) S 3344 3346 446 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 902700255 10797010944 20403 33554432000 1073741824 1073778376 140737342072672 18446744073709551615 271562354176 0 4 0 16800975 18446604465028565184 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 87.12 Current children cumulated vsize (KiB) 10543956 Child status: 30 Real time (s): 85.6321 CPU time (s): 87.1607 CPU user time (s): 87.0548 CPU system time (s): 0.105983 CPU usage (%): 101.785 Max. virtual memory (cumulated for all children) (KiB): 10544148 getrusage(RUSAGE_CHILDREN,...) data: user time used= 87.0548 system time used= 0.105983 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 31496 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= 8885 involuntary context switches= 3928 runsolver used 0.145977 second user time and 0.334949 second system time The end
Begin job on node133 at 2011-06-12 22:37:04 IDJOB=3492631 IDBENCH=79199 IDSOLVER=1982 FILE ID=node133/3492631-1307911024 RUNJOBID= node133-1307908244-2827 PBS_JOBID= 13559573 Free space on /var/tmp= 2896 MiB SOLVER NAME= Sat4j Resolution 2011-06-08 BENCH NAME= PB10/normalized-PB10/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1110969170--soft-0-100-0.wbo COMMAND LINE= java -Xms10000m -Xmx10000m -jar sat4j-pb.jar Resolution BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /var/tmp/evaluation-result-3492631-1307911024/watcher-3492631-1307911024 -o /var/tmp/evaluation-result-3492631-1307911024/solver-3492631-1307911024 -C 1800 -W 1900 -M 15500 java -Xms10000m -Xmx10000m -jar sat4j-pb.jar Resolution HOME/instance-3492631-1307911024.wbo TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 2498aa7c72321a79724f3337e23f532a RANDOM SEED=319732388 node133.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.834 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.834 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.834 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.82 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.834 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 : 6741.12 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.834 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.834 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.834 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.834 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.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 1283036 kB Buffers: 67020 kB Cached: 30444440 kB SwapCached: 10288 kB Active: 15665040 kB Inactive: 15052544 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 1283036 kB SwapTotal: 67111528 kB SwapFree: 67054536 kB Dirty: 472 kB Writeback: 0 kB AnonPages: 203588 kB Mapped: 21212 kB Slab: 886884 kB PageTables: 5320 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 10546704 kB VmallocTotal: 34359738367 kB VmallocUsed: 33868 kB VmallocChunk: 34359703231 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /var/tmp at the end= 2896 MiB End job on node133 at 2011-06-12 22:38:29