Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| Sat4j PB 2012-05-28 | OPTIMUM | 111.28 | 108.381 |
| Name | /PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900570242--soft-33-100-0.wbo |
| MD5SUM | a7f6c0c06b26873046d2d80874a938bb |
| Bench Category | PARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints) |
| Best result obtained on this benchmark | MOPT |
| Best cost obtained on this benchmark | 8 |
| Best CPU time to get the best result obtained on this benchmark | 77.2733 |
| Max-Satisfiable | |
| Max-(Un)Satisfiability was proved | |
| Best value of the cost | |
| Optimality of the best cost was proved | |
| Number of variables | 231 |
| Total number of constraints | 2707 |
| Number of soft constraints | 1868 |
| Number of constraints which are clauses | 2684 |
| Number of constraints which are cardinality constraints (but not clauses) | 22 |
| Number of constraints which are nor clauses,nor cardinality constraints | 1 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 110 |
| Top cost | 94981 |
| Min constraint cost | 1 |
| Max constraint cost | 100 |
| Sum of constraints costs | 94980 |
| Biggest number in a constraint | 25 |
| Number of bits of the biggest number in a constraint | 5 |
| Biggest sum of numbers in a constraint | 749 |
| Number of bits of the biggest sum of numbers | 10 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.02/0.08 c SAT4J: a SATisfiability library for Java (c) 2004-2012 Artois University and CNRS 0.02/0.08 c This is free software under the dual EPL/GNU LGPL licenses. 0.02/0.08 c See www.sat4j.org for details. 0.02/0.08 c version 2.3.2.v20120528 0.02/0.08 c java.runtime.name Java(TM) SE Runtime Environment 0.02/0.08 c java.vm.name Java HotSpot(TM) 64-Bit Server VM 0.02/0.08 c java.vm.version 19.1-b02 0.02/0.08 c java.vm.vendor Sun Microsystems Inc. 0.02/0.08 c sun.arch.data.model 64 0.02/0.08 c java.version 1.6.0_24 0.02/0.08 c os.name Linux 0.02/0.08 c os.version 2.6.32-71.29.1.el6.x86_64 0.02/0.08 c os.arch amd64 0.02/0.08 c Free memory 501472288 0.02/0.08 c Max memory 7480803328 0.02/0.08 c Total memory 504102912 0.02/0.09 c Number of processors 8 0.10/0.11 c Pseudo Boolean Optimization by upper bound 0.10/0.11 c --- Begin Solver configuration --- 0.10/0.11 c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@4a913fe2 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 No reason simplification 0.10/0.11 c Armin Biere (Picosat) restarts strategy 0.10/0.11 c Glucose 2 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-3718097-1338251890.wbo 0.10/0.11 c reading problem ... 0.49/0.31 c ... done. Wall clock time 0.199s. 0.49/0.31 c declared #vars 231 0.49/0.31 c internal #vars 2099 0.49/0.31 c #constraints 2707 0.49/0.31 c constraints type 0.49/0.31 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 2599 0.49/0.31 c org.sat4j.minisat.constraints.card.MinWatchCard => 5 0.49/0.31 c ignored satisfied constraints => 1 0.49/0.31 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 85 0.49/0.31 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 18 0.49/0.31 c 2708 constraints processed. 0.49/0.31 c objective function length is 1868 literals 0.78/0.45 c SATISFIABLE 0.78/0.45 c OPTIMIZING... 0.78/0.45 c Got one! Elapsed wall clock time (in seconds):0.341 0.78/0.45 o 554 1.08/0.51 c Got one! Elapsed wall clock time (in seconds):0.397 1.08/0.51 o 358 1.08/0.54 c Got one! Elapsed wall clock time (in seconds):0.433 1.08/0.54 o 355 1.08/0.56 c Got one! Elapsed wall clock time (in seconds):0.45 1.08/0.56 o 328 1.38/0.63 c Got one! Elapsed wall clock time (in seconds):0.517 1.38/0.63 o 326 1.38/0.64 c Got one! Elapsed wall clock time (in seconds):0.528 1.38/0.64 o 314 1.38/0.66 c Got one! Elapsed wall clock time (in seconds):0.546 1.38/0.66 o 311 1.38/0.68 c Got one! Elapsed wall clock time (in seconds):0.572 1.38/0.68 o 310 1.61/0.70 c Got one! Elapsed wall clock time (in seconds):0.595 1.61/0.70 o 301 1.61/0.71 c Got one! Elapsed wall clock time (in seconds):0.603 1.61/0.71 o 282 1.61/0.72 c Got one! Elapsed wall clock time (in seconds):0.615 1.61/0.72 o 267 1.61/0.75 c Got one! Elapsed wall clock time (in seconds):0.641 1.61/0.75 o 262 1.71/0.82 c Got one! Elapsed wall clock time (in seconds):0.713 1.71/0.82 o 260 1.71/0.88 c Got one! Elapsed wall clock time (in seconds):0.773 1.71/0.88 o 245 1.82/0.90 c Got one! Elapsed wall clock time (in seconds):0.793 1.82/0.90 o 244 1.82/0.94 c Got one! Elapsed wall clock time (in seconds):0.835 1.82/0.94 o 240 2.03/1.12 c Got one! Elapsed wall clock time (in seconds):1.007 2.03/1.12 o 239 2.03/1.13 c Got one! Elapsed wall clock time (in seconds):1.023 2.03/1.13 o 221 2.03/1.19 c Got one! Elapsed wall clock time (in seconds):1.077 2.03/1.19 o 196 2.32/1.43 c Got one! Elapsed wall clock time (in seconds):1.321 2.32/1.43 o 173 2.43/1.53 c Got one! Elapsed wall clock time (in seconds):1.422 2.43/1.53 o 169 2.63/1.72 c Got one! Elapsed wall clock time (in seconds):1.607 2.63/1.72 o 166 2.76/1.81 c Got one! Elapsed wall clock time (in seconds):1.702 2.76/1.81 o 162 2.86/1.94 c cleaning 5836 clauses out of 11675 with flag 8171/11675 2.99/2.04 c Got one! Elapsed wall clock time (in seconds):1.931 2.99/2.04 o 161 3.29/2.34 c Got one! Elapsed wall clock time (in seconds):2.228 3.29/2.34 o 160 3.29/2.39 c Got one! Elapsed wall clock time (in seconds):2.283 3.29/2.39 o 156 3.40/2.49 c Got one! Elapsed wall clock time (in seconds):2.383 3.40/2.49 o 154 3.73/2.71 c cleaning 6357 clauses out of 12726 with flag 16182/18562 4.35/3.00 c Got one! Elapsed wall clock time (in seconds):2.889 4.35/3.00 o 152 4.35/3.08 c Got one! Elapsed wall clock time (in seconds):2.967 4.35/3.08 o 151 4.50/3.10 c Got one! Elapsed wall clock time (in seconds):2.988 4.50/3.10 o 149 4.50/3.18 c Got one! Elapsed wall clock time (in seconds):3.067 4.50/3.18 o 146 4.61/3.24 c Got one! Elapsed wall clock time (in seconds):3.126 4.61/3.24 o 144 4.61/3.28 c Got one! Elapsed wall clock time (in seconds):3.172 4.61/3.28 o 138 4.81/3.47 c Got one! Elapsed wall clock time (in seconds):3.356 4.81/3.47 o 137 4.91/3.58 c Got one! Elapsed wall clock time (in seconds):3.474 4.91/3.58 o 127 5.11/3.77 c cleaning 7854 clauses out of 15720 with flag 19919/27913 5.52/3.94 c Got one! Elapsed wall clock time (in seconds):3.835 5.52/3.94 o 126 5.92/4.15 c Got one! Elapsed wall clock time (in seconds):4.036 5.92/4.15 o 122 5.92/4.17 c Got one! Elapsed wall clock time (in seconds):4.06 5.92/4.17 o 120 6.26/4.33 c cleaning 6599 clauses out of 13204 with flag 5474/33251 6.56/4.64 c Got one! Elapsed wall clock time (in seconds):4.535 6.56/4.64 o 119 6.88/4.91 c Got one! Elapsed wall clock time (in seconds):4.804 6.88/4.91 o 118 6.98/5.09 c Got one! Elapsed wall clock time (in seconds):4.977 6.98/5.09 o 116 7.28/5.33 c Got one! Elapsed wall clock time (in seconds):5.224 7.28/5.33 o 115 7.39/5.41 c cleaning 7327 clauses out of 14657 with flag 11708/41303 7.59/5.61 c Got one! Elapsed wall clock time (in seconds):5.496 7.59/5.61 o 114 7.79/5.82 c cleaning 6381 clauses out of 12772 with flag 31225/46745 7.89/5.97 c Got one! Elapsed wall clock time (in seconds):5.863 7.89/5.97 o 112 8.00/6.06 c Got one! Elapsed wall clock time (in seconds):5.955 8.00/6.06 o 105 8.10/6.10 c Got one! Elapsed wall clock time (in seconds):5.99 8.10/6.10 o 104 8.40/6.44 c Got one! Elapsed wall clock time (in seconds):6.334 8.40/6.44 o 99 8.61/6.62 c cleaning 6480 clauses out of 12972 with flag 8713/53326 8.81/6.84 c Got one! Elapsed wall clock time (in seconds):6.732 8.81/6.84 o 98 9.11/7.11 c Got one! Elapsed wall clock time (in seconds):6.998 9.11/7.11 o 96 9.21/7.26 c cleaning 6250 clauses out of 12534 with flag 23601/59368 9.32/7.36 c Got one! Elapsed wall clock time (in seconds):7.252 9.32/7.36 o 95 9.62/7.62 c cleaning 5736 clauses out of 11507 with flag 42671/64591 9.83/7.87 c Got one! Elapsed wall clock time (in seconds):7.763 9.83/7.87 o 93 10.03/8.09 c cleaning 5736 clauses out of 11473 with flag 33686/70293 10.43/8.40 c Got one! Elapsed wall clock time (in seconds):8.293 10.43/8.40 o 91 10.53/8.54 c cleaning 5797 clauses out of 11608 with flag 6681/76164 10.75/8.75 c Got one! Elapsed wall clock time (in seconds):8.637 10.75/8.75 o 87 10.85/8.82 c Got one! Elapsed wall clock time (in seconds):8.71 10.85/8.82 o 86 10.94/8.95 c Got one! Elapsed wall clock time (in seconds):8.843 10.94/8.95 o 79 11.26/9.21 c cleaning 6317 clauses out of 12643 with flag 32616/82996 11.26/9.28 c Got one! Elapsed wall clock time (in seconds):9.167 11.26/9.28 o 75 11.57/9.57 c Got one! Elapsed wall clock time (in seconds):9.465 11.57/9.57 o 68 11.77/9.74 c cleaning 6127 clauses out of 12262 with flag 24910/88932 11.99/9.95 c Got one! Elapsed wall clock time (in seconds):9.837 11.99/9.95 o 58 12.08/10.08 c cleaning 5636 clauses out of 11287 with flag 21049/94084 12.48/10.45 c cleaning 5809 clauses out of 11650 with flag 79775/100083 12.58/10.52 c Got one! Elapsed wall clock time (in seconds):10.415 12.58/10.52 o 55 12.88/10.80 c cleaning 5850 clauses out of 11716 with flag 44548/105958 13.19/11.15 c cleaning 5923 clauses out of 11866 with flag 100859/111958 13.39/11.35 c Got one! Elapsed wall clock time (in seconds):11.245 13.39/11.35 o 48 13.39/11.39 c Got one! Elapsed wall clock time (in seconds):11.277 13.39/11.39 o 46 13.69/11.62 c Got one! Elapsed wall clock time (in seconds):11.506 13.69/11.62 o 41 13.79/11.70 c cleaning 6268 clauses out of 12551 with flag 12316/118566 14.03/11.92 c Got one! Elapsed wall clock time (in seconds):11.807 14.03/11.92 o 40 14.24/12.16 c cleaning 5712 clauses out of 11431 with flag 23265/123714 14.33/12.29 c Got one! Elapsed wall clock time (in seconds):12.176 14.33/12.29 o 39 14.53/12.45 c Got one! Elapsed wall clock time (in seconds):12.345 14.53/12.45 o 34 14.76/12.61 c cleaning 5565 clauses out of 11144 with flag 26991/129139 15.07/12.94 c Got one! Elapsed wall clock time (in seconds):12.833 15.07/12.94 o 33 15.17/13.02 c cleaning 5484 clauses out of 10983 with flag 12993/134543 15.47/13.33 c Got one! Elapsed wall clock time (in seconds):13.223 15.47/13.33 o 31 15.57/13.41 c cleaning 5708 clauses out of 11425 with flag 13621/140469 15.87/13.79 c cleaning 5849 clauses out of 11718 with flag 78821/146470 16.39/14.21 c cleaning 6432 clauses out of 12868 with flag 146856/153469 16.88/14.79 c cleaning 7204 clauses out of 14437 with flag 201962/161470 17.29/15.11 c Got one! Elapsed wall clock time (in seconds):14.996 17.29/15.11 o 21 17.29/15.19 c cleaning 6311 clauses out of 12628 with flag 14760/166865 17.80/15.63 c cleaning 6148 clauses out of 12318 with flag 86526/172866 18.30/16.17 c cleaning 6580 clauses out of 13170 with flag 142202/179866 18.90/16.76 c cleaning 7290 clauses out of 14590 with flag 202942/187866 19.61/17.48 c cleaning 8149 clauses out of 16299 with flag 277266/196865 19.72/17.58 c Got one! Elapsed wall clock time (in seconds):17.469 19.72/17.58 o 20 20.11/17.90 c cleaning 6599 clauses out of 13230 with flag 54612/201945 20.51/18.34 c cleaning 6307 clauses out of 12632 with flag 123127/207946 21.02/18.84 c cleaning 6649 clauses out of 13325 with flag 187138/214946 21.62/19.41 c Got one! Elapsed wall clock time (in seconds):19.3 21.62/19.41 o 19 22.03/19.82 c cleaning 9597 clauses out of 19212 with flag 64137/227482 22.42/20.25 c cleaning 7796 clauses out of 15616 with flag 125439/233483 22.84/20.69 c cleaning 7392 clauses out of 14820 with flag 181672/240483 23.26/21.06 c Got one! Elapsed wall clock time (in seconds):20.952 23.26/21.06 o 18 23.66/21.47 c cleaning 9071 clauses out of 18151 with flag 65927/251206 24.19/21.94 c cleaning 7524 clauses out of 15080 with flag 142031/257206 24.38/22.15 c Got one! Elapsed wall clock time (in seconds):22.037 24.38/22.15 o 17 24.58/22.37 c cleaning 6723 clauses out of 13473 with flag 26595/263123 24.81/22.55 c Got one! Elapsed wall clock time (in seconds):22.441 24.81/22.55 o 16 25.01/22.75 c cleaning 5983 clauses out of 11975 with flag 30440/268348 25.13/22.87 c Got one! Elapsed wall clock time (in seconds):22.761 25.13/22.87 o 15 25.43/23.15 c cleaning 5718 clauses out of 11449 with flag 38481/273805 25.84/23.57 c cleaning 5856 clauses out of 11732 with flag 83456/279806 26.34/24.02 c cleaning 6432 clauses out of 12879 with flag 133539/286809 26.64/24.31 c Got one! Elapsed wall clock time (in seconds):24.2 26.64/24.31 o 14 26.64/24.39 c cleaning 5795 clauses out of 11605 with flag 14008/291967 27.14/24.89 c cleaning 5904 clauses out of 11810 with flag 89392/297967 27.65/25.34 c cleaning 6448 clauses out of 12906 with flag 144382/304967 28.16/25.89 c cleaning 7224 clauses out of 14458 with flag 209719/312967 28.59/26.24 c Got one! Elapsed wall clock time (in seconds):26.134 28.59/26.24 o 13 29.09/26.70 c cleaning 8814 clauses out of 17648 with flag 68593/323381 29.60/27.21 c cleaning 7407 clauses out of 14837 with flag 146181/329384 30.11/27.75 c cleaning 7196 clauses out of 14427 with flag 228933/336381 30.72/28.35 c cleaning 7615 clauses out of 15233 with flag 317568/344383 31.22/28.82 c Got one! Elapsed wall clock time (in seconds):28.707 31.22/28.82 o 12 31.72/29.30 c cleaning 9516 clauses out of 19049 with flag 67487/355814 32.13/29.76 c cleaning 7759 clauses out of 15533 with flag 136284/361814 32.64/30.28 c cleaning 7375 clauses out of 14775 with flag 210402/368815 33.26/30.85 c cleaning 7693 clauses out of 15400 with flag 293807/376815 33.89/31.47 c cleaning 8343 clauses out of 16706 with flag 384207/385814 34.69/32.26 c cleaning 9175 clauses out of 18364 with flag 482812/395815 34.99/32.51 c Got one! Elapsed wall clock time (in seconds):32.401 34.99/32.51 o 11 35.19/32.71 c cleaning 7115 clauses out of 14240 with flag 28900/400866 35.60/33.14 c cleaning 6553 clauses out of 13121 with flag 81598/406862 36.10/33.64 c cleaning 6775 clauses out of 13569 with flag 139232/413863 36.30/33.84 c Got one! Elapsed wall clock time (in seconds):33.728 36.30/33.84 o 10 36.51/34.06 c cleaning 6129 clauses out of 12278 with flag 33090/419347 37.00/34.51 c cleaning 6062 clauses out of 12151 with flag 98133/425349 37.41/34.99 c cleaning 6532 clauses out of 13088 with flag 163303/432348 38.01/35.58 c cleaning 7264 clauses out of 14555 with flag 233155/440347 38.72/36.26 c cleaning 8141 clauses out of 16293 with flag 314877/449349 39.52/37.03 c cleaning 9067 clauses out of 18150 with flag 404879/459347 40.32/37.86 c cleaning 10029 clauses out of 20083 with flag 501727/470347 41.03/38.58 c Got one! Elapsed wall clock time (in seconds):38.474 41.03/38.58 o 9 41.52/39.06 c cleaning 12364 clauses out of 24738 with flag 61366/485031 42.04/39.59 c cleaning 9182 clauses out of 18375 with flag 132688/491032 42.64/40.17 c cleaning 8088 clauses out of 16192 with flag 213931/498031 43.26/40.77 c cleaning 8038 clauses out of 16105 with flag 299370/506032 43.97/41.48 c cleaning 8519 clauses out of 17068 with flag 397180/515033 44.67/42.19 c cleaning 9271 clauses out of 18547 with flag 487128/525031 45.48/42.97 c cleaning 10130 clauses out of 20280 with flag 576261/536035 46.37/43.85 c cleaning 11062 clauses out of 22144 with flag 678587/548030 47.39/44.88 c cleaning 12036 clauses out of 24082 with flag 788183/561030 48.61/46.00 c cleaning 13009 clauses out of 26046 with flag 907729/575030 49.71/47.16 c cleaning 14004 clauses out of 28036 with flag 1033172/590030 50.81/48.28 c cleaning 15011 clauses out of 30032 with flag 1155912/606030 52.12/49.58 c cleaning 15992 clauses out of 32021 with flag 1294908/623030 53.52/50.90 c cleaning 17001 clauses out of 34028 with flag 1442146/641030 54.23/51.64 c Got one! Elapsed wall clock time (in seconds):51.531 54.23/51.64 o 8 54.72/52.17 c cleaning 15885 clauses out of 31782 with flag 62540/655785 55.33/52.74 c cleaning 10945 clauses out of 21898 with flag 131664/661786 55.94/53.32 c cleaning 8963 clauses out of 17951 with flag 202962/668784 56.57/53.97 c cleaning 8481 clauses out of 16989 with flag 281310/676785 57.28/54.67 c cleaning 8736 clauses out of 17509 with flag 368252/685786 58.09/55.42 c cleaning 9380 clauses out of 18772 with flag 457739/695785 58.90/56.26 c cleaning 10194 clauses out of 20392 with flag 554105/706785 59.91/57.21 c cleaning 11094 clauses out of 22198 with flag 648783/718785 60.93/58.25 c cleaning 12041 clauses out of 24103 with flag 753301/731784 62.14/59.46 c cleaning 13020 clauses out of 26066 with flag 871891/745788 63.43/60.74 c cleaning 14012 clauses out of 28047 with flag 995229/760789 64.83/62.14 c cleaning 15004 clauses out of 30030 with flag 1134337/776784 66.33/63.70 c cleaning 16008 clauses out of 32028 with flag 1286714/793786 68.05/65.39 c cleaning 17002 clauses out of 34018 with flag 1456789/811784 69.68/67.00 c cleaning 17999 clauses out of 36016 with flag 1609675/830785 71.29/68.59 c cleaning 19000 clauses out of 38016 with flag 1768802/850784 73.11/70.33 c cleaning 20002 clauses out of 40021 with flag 1934439/871789 75.11/72.30 c cleaning 21004 clauses out of 42014 with flag 2113659/893784 77.05/74.21 c cleaning 21996 clauses out of 44012 with flag 2285274/916787 79.07/76.26 c cleaning 23002 clauses out of 46013 with flag 2471351/940784 81.38/78.51 c cleaning 23996 clauses out of 48015 with flag 2681720/965788 83.48/80.65 c cleaning 24991 clauses out of 50015 with flag 2879425/991785 85.69/82.87 c cleaning 26004 clauses out of 52023 with flag 3085185/1018785 88.20/85.33 c cleaning 27004 clauses out of 54016 with flag 3302148/1046784 91.21/88.32 c cleaning 27989 clauses out of 56011 with flag 3535245/1075784 94.32/91.48 c cleaning 28998 clauses out of 58022 with flag 3779307/1105786 97.33/94.40 c cleaning 30002 clauses out of 60022 with flag 4016042/1136786 100.44/97.56 c cleaning 30999 clauses out of 62015 with flag 4262303/1168784 104.15/101.23 c cleaning 31998 clauses out of 64016 with flag 4543206/1201788 107.57/104.68 c cleaning 32993 clauses out of 66007 with flag 4826627/1235784 111.28/108.37 c starts : 252 111.28/108.37 c conflicts : 1270027 111.28/108.37 c decisions : 1932125 111.28/108.37 c propagations : 82070198 111.28/108.37 c inspects : 1184348088 111.28/108.37 c shortcuts : 0 111.28/108.37 c learnt literals : 44 111.28/108.37 c learnt binary clauses : 47 111.28/108.37 c learnt ternary clauses : 595 111.28/108.37 c learnt constraints : 1269982 111.28/108.37 c ignored constraints : 0 111.28/108.37 c root simplifications : 0 111.28/108.37 c removed literals (reason simplification) : 0 111.28/108.37 c reason swapping (by a shorter reason) : 0 111.28/108.37 c Calls to reduceDB : 111 111.28/108.37 c Number of update (reduction) of LBD : 410418 111.28/108.37 c number of reductions to clauses (during analyze) : 0 111.28/108.37 c number of learned constraints concerned by reduction : 0 111.28/108.37 c number of learning phase by resolution : 0 111.28/108.37 c number of learning phase by cutting planes : 0 111.28/108.37 c speed (assignments/second) : 759634.9281278057 111.28/108.37 c non guided choices 10151 111.28/108.37 c learnt constraints type 111.28/108.37 c constraints type 111.28/108.37 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 2599 111.28/108.37 c org.sat4j.minisat.constraints.card.MinWatchCard => 5 111.28/108.37 c ignored satisfied constraints => 1 111.28/108.37 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 85 111.28/108.37 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 18 111.28/108.37 c 2708 constraints processed. 111.28/108.37 s OPTIMUM FOUND 111.28/108.37 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 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 x226 -x227 -x228 -x229 -x230 -x231 111.28/108.37 c objective function=8 111.28/108.37 c Total wall clock time (in seconds): 108.263
OK 8
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-3718097-1338251890/watcher-3718097-1338251890 -o /tmp/evaluation-result-3718097-1338251890/solver-3718097-1338251890 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar HOME/instance-3718097-1338251890.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.03 2.01 2.00 3/194 1969 /proc/meminfo: memFree=26012452/32873844 swapFree=7628/7628 [pid=1969] ppid=1967 vsize=23236 CPUtime=0 cores=1,3,5,7 /proc/1969/stat : 1969 (java) R 1967 1969 31640 0 -1 4202496 1072 0 0 0 0 0 0 0 20 0 1 0 291313396 23793664 801 33554432000 1073741824 1073778376 140736330874624 140736330863688 139646872291040 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 /proc/1969/statm: 5809 821 616 9 0 128 0 [pid=1969/tid=1970] ppid=1967 vsize=24200 CPUtime=0 cores=1,3,5,7 /proc/1969/task/1970/stat : 1970 (java) R 1967 1969 31640 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 2 0 291313397 24780800 866 33554432000 1073741824 1073778376 140736330874624 140736330863688 254750365873 0 0 4096 0 0 0 0 -1 3 0 0 0 0 0 [startup+0.03077 s] /proc/loadavg: 2.03 2.01 2.00 3/194 1969 /proc/meminfo: memFree=26012452/32873844 swapFree=7628/7628 [pid=1969] ppid=1967 vsize=9225560 CPUtime=0.02 cores=1,3,5,7 /proc/1969/stat : 1969 (java) S 1967 1969 31640 0 -1 4202496 2958 0 1 0 1 1 0 0 20 0 13 0 291313396 9446973440 3658 33554432000 1073741824 1073778376 140736330874624 140736330865760 254753669181 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/1969/statm: 2306390 3658 1656 9 0 2297091 0 [pid=1969/tid=1970] ppid=1967 vsize=9225560 CPUtime=0.01 cores=1,3,5,7 /proc/1969/task/1970/stat : 1970 (java) R 1967 1969 31640 0 -1 4202560 1778 0 1 0 1 0 0 0 20 0 13 0 291313397 9446973440 3658 33554432000 1073741824 1073778376 140736330874624 139646866171200 254753694989 0 4 0 16784584 0 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 9225560 [startup+0.100365 s] /proc/loadavg: 2.03 2.01 2.00 3/194 1969 /proc/meminfo: memFree=26012452/32873844 swapFree=7628/7628 [pid=1969] ppid=1967 vsize=9558416 CPUtime=0.1 cores=1,3,5,7 /proc/1969/stat : 1969 (java) S 1967 1969 31640 0 -1 4202496 4371 0 1 0 9 1 0 0 20 0 18 0 291313396 9787817984 5558 33554432000 1073741824 1073778376 140736330874624 140736330865760 254753669181 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/1969/statm: 2389604 5558 2109 9 0 2380296 0 [pid=1969/tid=1970] ppid=1967 vsize=9558416 CPUtime=0.07 cores=1,3,5,7 /proc/1969/task/1970/stat : 1970 (java) R 1967 1969 31640 0 -1 4202560 2406 0 1 0 7 0 0 0 20 0 18 0 291313397 9787817984 5558 33554432000 1073741824 1073778376 140736330874624 139646866168144 139646864035600 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 0.1 Current children cumulated vsize (KiB) 9558416 [startup+0.300217 s] /proc/loadavg: 2.03 2.01 2.00 3/194 1969 /proc/meminfo: memFree=26012452/32873844 swapFree=7628/7628 [pid=1969] ppid=1967 vsize=9558416 CPUtime=0.49 cores=1,3,5,7 /proc/1969/stat : 1969 (java) S 1967 1969 31640 0 -1 4202496 5906 0 1 0 47 2 0 0 20 0 18 0 291313396 9787817984 8433 33554432000 1073741824 1073778376 140736330874624 140736330865760 254753669181 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/1969/statm: 2389604 8433 2218 9 0 2380296 0 [pid=1969/tid=1970] ppid=1967 vsize=9558416 CPUtime=0.27 cores=1,3,5,7 /proc/1969/task/1970/stat : 1970 (java) R 1967 1969 31640 0 -1 4202560 2449 0 1 0 26 1 0 0 20 0 18 0 291313397 9787817984 8433 33554432000 1073741824 1073778376 140736330874624 139646866169624 139646870437061 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 0.49 Current children cumulated vsize (KiB) 9558416 [startup+0.700346 s] /proc/loadavg: 2.03 2.01 2.00 3/194 1969 /proc/meminfo: memFree=26012452/32873844 swapFree=7628/7628 [pid=1969] ppid=1967 vsize=9624980 CPUtime=1.61 cores=1,3,5,7 /proc/1969/stat : 1969 (java) S 1967 1969 31640 0 -1 4202496 11246 0 1 0 158 3 0 0 20 0 19 0 291313396 9855979520 12755 33554432000 1073741824 1073778376 140736330874624 140736330865760 254753669181 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/1969/statm: 2406245 12755 2250 9 0 2396937 0 [pid=1969/tid=1970] ppid=1967 vsize=9624980 CPUtime=0.67 cores=1,3,5,7 /proc/1969/task/1970/stat : 1970 (java) R 1967 1969 31640 0 -1 4202560 2464 0 1 0 66 1 0 0 20 0 19 0 291313397 9855979520 12755 33554432000 1073741824 1073778376 140736330874624 139646866170120 139646718249628 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1.61 Current children cumulated vsize (KiB) 9624980 [startup+1.50067 s] /proc/loadavg: 2.03 2.01 2.00 3/213 1988 /proc/meminfo: memFree=25961716/32873844 swapFree=7628/7628 [pid=1969] ppid=1967 vsize=9624980 CPUtime=2.43 cores=1,3,5,7 /proc/1969/stat : 1969 (java) S 1967 1969 31640 0 -1 4202496 11256 0 1 0 240 3 0 0 20 0 19 0 291313396 9855979520 15830 33554432000 1073741824 1073778376 140736330874624 140736330865760 254753669181 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/1969/statm: 2406245 15830 2252 9 0 2396937 0 [pid=1969/tid=1970] ppid=1967 vsize=9624980 CPUtime=1.48 cores=1,3,5,7 /proc/1969/task/1970/stat : 1970 (java) R 1967 1969 31640 0 -1 4202560 2471 0 1 0 146 2 0 0 20 0 19 0 291313397 9855979520 15830 33554432000 1073741824 1073778376 140736330874624 139646866162112 139646718249590 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 [pid=1969/tid=1972] ppid=1967 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/1969/task/1972/stat : 1972 (java) S 1967 1969 31640 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291313398 9855979520 15830 33554432000 1073741824 1073778376 140736330874624 139646838623144 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=1969/tid=1973] ppid=1967 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/1969/task/1973/stat : 1973 (java) S 1967 1969 31640 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291313398 9855979520 15830 33554432000 1073741824 1073778376 140736330874624 139646837570600 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=1969/tid=1974] ppid=1967 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/1969/task/1974/stat : 1974 (java) S 1967 1969 31640 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291313398 9855979520 15830 33554432000 1073741824 1073778376 140736330874624 139646836517544 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=1969/tid=1975] ppid=1967 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/1969/task/1975/stat : 1975 (java) S 1967 1969 31640 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291313398 9855979520 15830 33554432000 1073741824 1073778376 140736330874624 139646706690856 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1969/tid=1976] ppid=1967 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/1969/task/1976/stat : 1976 (java) S 1967 1969 31640 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291313398 9855979520 15830 33554432000 1073741824 1073778376 140736330874624 139646705637800 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=1969/tid=1977] ppid=1967 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/1969/task/1977/stat : 1977 (java) S 1967 1969 31640 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291313398 9855979520 15830 33554432000 1073741824 1073778376 140736330874624 139646704585256 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1969/tid=1978] ppid=1967 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/1969/task/1978/stat : 1978 (java) S 1967 1969 31640 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291313398 9855979520 15830 33554432000 1073741824 1073778376 140736330874624 139646703532200 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=1969/tid=1979] ppid=1967 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/1969/task/1979/stat : 1979 (java) S 1967 1969 31640 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 291313398 9855979520 15830 33554432000 1073741824 1073778376 140736330874624 139646702479656 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=1969/tid=1980] ppid=1967 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/1969/task/1980/stat : 1980 (java) S 1967 1969 31640 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 291313399 9855979520 15830 33554432000 1073741824 1073778376 140736330874624 139646219967336 254753683369 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=1969/tid=1981] ppid=1967 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/1969/task/1981/stat : 1981 (java) S 1967 1969 31640 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 291313399 9855979520 15830 33554432000 1073741824 1073778376 140736330874624 139646218913656 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=1969/tid=1982] ppid=1967 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/1969/task/1982/stat : 1982 (java) S 1967 1969 31640 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291313399 9855979520 15830 33554432000 1073741824 1073778376 140736330874624 139646217860488 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=1969/tid=1983] ppid=1967 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/1969/task/1983/stat : 1983 (java) S 1967 1969 31640 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291313402 9855979520 15830 33554432000 1073741824 1073778376 140736330874624 139646216809232 254753691424 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=1969/tid=1984] ppid=1967 vsize=9624980 CPUtime=0.44 cores=1,3,5,7 /proc/1969/task/1984/stat : 1984 (java) S 1967 1969 31640 0 -1 4202560 2656 0 0 0 44 0 0 0 20 0 19 0 291313402 9855979520 15830 33554432000 1073741824 1073778376 140736330874624 139646215756088 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=1969/tid=1985] ppid=1967 vsize=9624980 CPUtime=0.47 cores=1,3,5,7 /proc/1969/task/1985/stat : 1985 (java) S 1967 1969 31640 0 -1 4202560 4936 0 0 0 47 0 0 0 20 0 19 0 291313402 9855979520 15830 33554432000 1073741824 1073778376 140736330874624 139646214703544 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=1969/tid=1986] ppid=1967 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/1969/task/1986/stat : 1986 (java) S 1967 1969 31640 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291313402 9855979520 15830 33554432000 1073741824 1073778376 140736330874624 139646213650680 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=1969/tid=1987] ppid=1967 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/1969/task/1987/stat : 1987 (java) S 1967 1969 31640 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291313402 9855979520 15830 33554432000 1073741824 1073778376 140736330874624 139646212598344 254753683369 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=1969/tid=1988] ppid=1967 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/1969/task/1988/stat : 1988 (java) S 1967 1969 31640 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291313430 9855979520 15830 33554432000 1073741824 1073778376 140736330874624 139646211544616 254753683369 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 2.43 Current children cumulated vsize (KiB) 9624980 [startup+3.10082 s] /proc/loadavg: 2.03 2.01 2.00 3/213 1988 /proc/meminfo: memFree=25942912/32873844 swapFree=7628/7628 [pid=1969] ppid=1967 vsize=9624980 CPUtime=4.5 cores=1,3,5,7 /proc/1969/stat : 1969 (java) S 1967 1969 31640 0 -1 4202496 17525 0 1 0 445 5 0 0 20 0 19 0 291313396 9855979520 23964 33554432000 1073741824 1073778376 140736330874624 140736330865760 254753669181 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/1969/statm: 2406245 23964 2279 9 0 2396937 0 [pid=1969/tid=1970] ppid=1967 vsize=9624980 CPUtime=3.04 cores=1,3,5,7 /proc/1969/task/1970/stat : 1970 (java) R 1967 1969 31640 0 -1 4202560 2478 0 1 0 302 2 0 0 20 0 19 0 291313397 9855979520 23964 33554432000 1073741824 1073778376 140736330874624 139646866162112 139646717722537 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 [pid=1969/tid=1972] ppid=1967 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/1969/task/1972/stat : 1972 (java) S 1967 1969 31640 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 291313398 9855979520 23964 33554432000 1073741824 1073778376 140736330874624 139646838623144 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=1969/tid=1973] ppid=1967 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/1969/task/1973/stat : 1973 (java) S 1967 1969 31640 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291313398 9855979520 23964 33554432000 1073741824 1073778376 140736330874624 139646837570600 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1969/tid=1974] ppid=1967 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/1969/task/1974/stat : 1974 (java) S 1967 1969 31640 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 291313398 9855979520 23964 33554432000 1073741824 1073778376 140736330874624 139646836517544 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1969/tid=1975] ppid=1967 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/1969/task/1975/stat : 1975 (java) S 1967 1969 31640 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 291313398 9855979520 23964 33554432000 1073741824 1073778376 140736330874624 139646706690856 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1969/tid=1976] ppid=1967 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/1969/task/1976/stat : 1976 (java) S 1967 1969 31640 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 291313398 9855979520 23964 33554432000 1073741824 1073778376 140736330874624 139646705637800 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1969/tid=1977] ppid=1967 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/1969/task/1977/stat : 1977 (java) S 1967 1969 31640 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291313398 9855979520 23964 33554432000 1073741824 1073778376 140736330874624 139646704585256 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=1969/tid=1978] ppid=1967 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/1969/task/1978/stat : 1978 (java) S 1967 1969 31640 0 -1 4202560 15 0 0 0 0 0 0 0 20 0 19 0 291313398 9855979520 23964 33554432000 1073741824 1073778376 140736330874624 139646703532200 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=1969/tid=1979] ppid=1967 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/1969/task/1979/stat : 1979 (java) S 1967 1969 31640 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 291313398 9855979520 23964 33554432000 1073741824 1073778376 140736330874624 139646702479656 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=1969/tid=1980] ppid=1967 vsize=9624980 CPUtime=0.01 cores=1,3,5,7 /proc/1969/task/1980/stat : 1980 (java) S 1967 1969 31640 0 -1 4202560 32 0 0 0 1 0 0 0 20 0 19 0 291313399 9855979520 23964 33554432000 1073741824 1073778376 140736330874624 139646219967336 254753683369 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=1969/tid=1981] ppid=1967 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/1969/task/1981/stat : 1981 (java) S 1967 1969 31640 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291313399 9855979520 23964 33554432000 1073741824 1073778376 140736330874624 139646218913656 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=1969/tid=1982] ppid=1967 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/1969/task/1982/stat : 1982 (java) S 1967 1969 31640 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291313399 9855979520 23964 33554432000 1073741824 1073778376 140736330874624 139646217860488 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=1969/tid=1983] ppid=1967 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/1969/task/1983/stat : 1983 (java) S 1967 1969 31640 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291313402 9855979520 23964 33554432000 1073741824 1073778376 140736330874624 139646216809232 254753691424 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=1969/tid=1984] ppid=1967 vsize=9624980 CPUtime=0.83 cores=1,3,5,7 /proc/1969/task/1984/stat : 1984 (java) S 1967 1969 31640 0 -1 4202560 8844 0 0 0 82 1 0 0 20 0 19 0 291313402 9855979520 23964 33554432000 1073741824 1073778376 140736330874624 139646215756088 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=1969/tid=1985] ppid=1967 vsize=9624980 CPUtime=0.53 cores=1,3,5,7 /proc/1969/task/1985/stat : 1985 (java) S 1967 1969 31640 0 -1 4202560 4942 0 0 0 53 0 0 0 20 0 19 0 291313402 9855979520 23964 33554432000 1073741824 1073778376 140736330874624 139646214703544 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=1969/tid=1986] ppid=1967 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/1969/task/1986/stat : 1986 (java) S 1967 1969 31640 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291313402 9855979520 23964 33554432000 1073741824 1073778376 140736330874624 139646213650680 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=1969/tid=1987] ppid=1967 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/1969/task/1987/stat : 1987 (java) S 1967 1969 31640 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291313402 9855979520 23964 33554432000 1073741824 1073778376 140736330874624 139646212598344 254753683369 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=1969/tid=1988] ppid=1967 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/1969/task/1988/stat : 1988 (java) S 1967 1969 31640 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291313430 9855979520 23964 33554432000 1073741824 1073778376 140736330874624 139646211544616 254753683369 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 4.5 Current children cumulated vsize (KiB) 9624980 [startup+6.30067 s] /proc/loadavg: 2.03 2.01 2.00 3/213 1988 /proc/meminfo: memFree=25922572/32873844 swapFree=7628/7628 [pid=1969] ppid=1967 vsize=9624980 CPUtime=8.3 cores=1,3,5,7 /proc/1969/stat : 1969 (java) S 1967 1969 31640 0 -1 4202496 21292 0 1 0 823 7 0 0 20 0 19 0 291313396 9855979520 24134 33554432000 1073741824 1073778376 140736330874624 140736330865760 254753669181 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/1969/statm: 2406245 24134 2279 9 0 2396937 0 [pid=1969/tid=1970] ppid=1967 vsize=9624980 CPUtime=6.16 cores=1,3,5,7 /proc/1969/task/1970/stat : 1970 (java) R 1967 1969 31640 0 -1 4202560 2483 0 1 0 614 2 0 0 20 0 19 0 291313397 9855979520 24134 33554432000 1073741824 1073778376 140736330874624 139646866162112 139646718220624 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 [pid=1969/tid=1972] ppid=1967 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/1969/task/1972/stat : 1972 (java) S 1967 1969 31640 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 291313398 9855979520 24134 33554432000 1073741824 1073778376 140736330874624 139646838623144 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=1969/tid=1973] ppid=1967 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/1969/task/1973/stat : 1973 (java) S 1967 1969 31640 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291313398 9855979520 24134 33554432000 1073741824 1073778376 140736330874624 139646837570600 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1969/tid=1974] ppid=1967 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/1969/task/1974/stat : 1974 (java) S 1967 1969 31640 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 291313398 9855979520 24134 33554432000 1073741824 1073778376 140736330874624 139646836517544 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=1969/tid=1975] ppid=1967 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/1969/task/1975/stat : 1975 (java) S 1967 1969 31640 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 291313398 9855979520 24134 33554432000 1073741824 1073778376 140736330874624 139646706690856 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=1969/tid=1976] ppid=1967 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/1969/task/1976/stat : 1976 (java) S 1967 1969 31640 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 291313398 9855979520 24134 33554432000 1073741824 1073778376 140736330874624 139646705637800 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1969/tid=1977] ppid=1967 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/1969/task/1977/stat : 1977 (java) S 1967 1969 31640 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 291313398 9855979520 24134 33554432000 1073741824 1073778376 140736330874624 139646704585256 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=1969/tid=1978] ppid=1967 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/1969/task/1978/stat : 1978 (java) S 1967 1969 31640 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 291313398 9855979520 24134 33554432000 1073741824 1073778376 140736330874624 139646703532200 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=1969/tid=1979] ppid=1967 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/1969/task/1979/stat : 1979 (java) S 1967 1969 31640 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 291313398 9855979520 24134 33554432000 1073741824 1073778376 140736330874624 139646702479656 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=1969/tid=1980] ppid=1967 vsize=9624980 CPUtime=0.07 cores=1,3,5,7 /proc/1969/task/1980/stat : 1980 (java) S 1967 1969 31640 0 -1 4202560 32 0 0 0 7 0 0 0 20 0 19 0 291313399 9855979520 24134 33554432000 1073741824 1073778376 140736330874624 139646219967336 254753683369 0 0 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=1969/tid=1981] ppid=1967 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/1969/task/1981/stat : 1981 (java) S 1967 1969 31640 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291313399 9855979520 24134 33554432000 1073741824 1073778376 140736330874624 139646218913656 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=1969/tid=1982] ppid=1967 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/1969/task/1982/stat : 1982 (java) S 1967 1969 31640 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291313399 9855979520 24134 33554432000 1073741824 1073778376 140736330874624 139646217860488 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=1969/tid=1983] ppid=1967 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/1969/task/1983/stat : 1983 (java) S 1967 1969 31640 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291313402 9855979520 24134 33554432000 1073741824 1073778376 140736330874624 139646216809232 254753691424 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=1969/tid=1984] ppid=1967 vsize=9624980 CPUtime=0.93 cores=1,3,5,7 /proc/1969/task/1984/stat : 1984 (java) S 1967 1969 31640 0 -1 4202560 8863 0 0 0 91 2 0 0 20 0 19 0 291313402 9855979520 24134 33554432000 1073741824 1073778376 140736330874624 139646215756088 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=1969/tid=1985] ppid=1967 vsize=9624980 CPUtime=1.01 cores=1,3,5,7 /proc/1969/task/1985/stat : 1985 (java) S 1967 1969 31640 0 -1 4202560 8679 0 0 0 99 2 0 0 20 0 19 0 291313402 9855979520 24134 33554432000 1073741824 1073778376 140736330874624 139646214703544 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 ################ # More data... # ################ /proc/1969/task/1979/stat : 1979 (java) S 1967 1969 31640 0 -1 4202560 16 0 0 0 17 0 0 0 20 0 19 0 291313398 9855979520 27224 33554432000 1073741824 1073778376 140736330874624 139646702479656 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1969/tid=1980] ppid=1967 vsize=9624980 CPUtime=2.84 cores=1,3,5,7 /proc/1969/task/1980/stat : 1980 (java) S 1967 1969 31640 0 -1 4202560 45 0 0 0 284 0 0 0 20 0 19 0 291313399 9855979520 27224 33554432000 1073741824 1073778376 140736330874624 139646219967336 254753683369 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=1969/tid=1981] ppid=1967 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/1969/task/1981/stat : 1981 (java) S 1967 1969 31640 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291313399 9855979520 27224 33554432000 1073741824 1073778376 140736330874624 139646218913656 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=1969/tid=1982] ppid=1967 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/1969/task/1982/stat : 1982 (java) S 1967 1969 31640 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291313399 9855979520 27224 33554432000 1073741824 1073778376 140736330874624 139646217860488 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=1969/tid=1983] ppid=1967 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/1969/task/1983/stat : 1983 (java) S 1967 1969 31640 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291313402 9855979520 27224 33554432000 1073741824 1073778376 140736330874624 139646216809232 254753691424 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=1969/tid=1984] ppid=1967 vsize=9624980 CPUtime=0.99 cores=1,3,5,7 /proc/1969/task/1984/stat : 1984 (java) S 1967 1969 31640 0 -1 4202560 8865 0 0 0 97 2 0 0 20 0 19 0 291313402 9855979520 27224 33554432000 1073741824 1073778376 140736330874624 139646215756088 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=1969/tid=1985] ppid=1967 vsize=9624980 CPUtime=1.03 cores=1,3,5,7 /proc/1969/task/1985/stat : 1985 (java) S 1967 1969 31640 0 -1 4202560 8680 0 0 0 101 2 0 0 20 0 19 0 291313402 9855979520 27224 33554432000 1073741824 1073778376 140736330874624 139646214703544 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=1969/tid=1986] ppid=1967 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/1969/task/1986/stat : 1986 (java) S 1967 1969 31640 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291313402 9855979520 27224 33554432000 1073741824 1073778376 140736330874624 139646213650680 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=1969/tid=1987] ppid=1967 vsize=9624980 CPUtime=0.01 cores=1,3,5,7 /proc/1969/task/1987/stat : 1987 (java) S 1967 1969 31640 0 -1 4202560 7 0 0 0 1 0 0 0 20 0 19 0 291313402 9855979520 27224 33554432000 1073741824 1073778376 140736330874624 139646212598344 254753683369 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=1969/tid=1988] ppid=1967 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/1969/task/1988/stat : 1988 (java) S 1967 1969 31640 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291313430 9855979520 27224 33554432000 1073741824 1073778376 140736330874624 139646211544616 254753683369 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 108.48 Current children cumulated vsize (KiB) 9624980 [startup+107.101 s] /proc/loadavg: 2.00 2.00 2.00 3/213 1989 /proc/meminfo: memFree=25910492/32873844 swapFree=7628/7628 [pid=1969] ppid=1967 vsize=9624980 CPUtime=110.07 cores=1,3,5,7 /proc/1969/stat : 1969 (java) S 1967 1969 31640 0 -1 4202496 21564 0 1 0 10997 10 0 0 20 0 19 0 291313396 9855979520 27224 33554432000 1073741824 1073778376 140736330874624 140736330865760 254753669181 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/1969/statm: 2406245 27224 2280 9 0 2396937 0 [pid=1969/tid=1970] ppid=1967 vsize=9624980 CPUtime=103.45 cores=1,3,5,7 /proc/1969/task/1970/stat : 1970 (java) R 1967 1969 31640 0 -1 4202560 2590 0 1 0 10343 2 0 0 20 0 19 0 291313397 9855979520 27224 33554432000 1073741824 1073778376 140736330874624 139646866170192 139646718241638 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 [pid=1969/tid=1972] ppid=1967 vsize=9624980 CPUtime=0.17 cores=1,3,5,7 /proc/1969/task/1972/stat : 1972 (java) S 1967 1969 31640 0 -1 4202560 62 0 0 0 17 0 0 0 20 0 19 0 291313398 9855979520 27224 33554432000 1073741824 1073778376 140736330874624 139646838623144 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=1969/tid=1973] ppid=1967 vsize=9624980 CPUtime=0.15 cores=1,3,5,7 /proc/1969/task/1973/stat : 1973 (java) S 1967 1969 31640 0 -1 4202560 15 0 0 0 15 0 0 0 20 0 19 0 291313398 9855979520 27224 33554432000 1073741824 1073778376 140736330874624 139646837570600 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=1969/tid=1974] ppid=1967 vsize=9624980 CPUtime=0.15 cores=1,3,5,7 /proc/1969/task/1974/stat : 1974 (java) S 1967 1969 31640 0 -1 4202560 12 0 0 0 15 0 0 0 20 0 19 0 291313398 9855979520 27224 33554432000 1073741824 1073778376 140736330874624 139646836517544 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=1969/tid=1975] ppid=1967 vsize=9624980 CPUtime=0.17 cores=1,3,5,7 /proc/1969/task/1975/stat : 1975 (java) S 1967 1969 31640 0 -1 4202560 31 0 0 0 17 0 0 0 20 0 19 0 291313398 9855979520 27224 33554432000 1073741824 1073778376 140736330874624 139646706690856 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=1969/tid=1976] ppid=1967 vsize=9624980 CPUtime=0.14 cores=1,3,5,7 /proc/1969/task/1976/stat : 1976 (java) S 1967 1969 31640 0 -1 4202560 27 0 0 0 14 0 0 0 20 0 19 0 291313398 9855979520 27224 33554432000 1073741824 1073778376 140736330874624 139646705637800 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=1969/tid=1977] ppid=1967 vsize=9624980 CPUtime=0.15 cores=1,3,5,7 /proc/1969/task/1977/stat : 1977 (java) S 1967 1969 31640 0 -1 4202560 15 0 0 0 15 0 0 0 20 0 19 0 291313398 9855979520 27224 33554432000 1073741824 1073778376 140736330874624 139646704585256 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1969/tid=1978] ppid=1967 vsize=9624980 CPUtime=0.18 cores=1,3,5,7 /proc/1969/task/1978/stat : 1978 (java) S 1967 1969 31640 0 -1 4202560 20 0 0 0 18 0 0 0 20 0 19 0 291313398 9855979520 27224 33554432000 1073741824 1073778376 140736330874624 139646703532200 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=1969/tid=1979] ppid=1967 vsize=9624980 CPUtime=0.17 cores=1,3,5,7 /proc/1969/task/1979/stat : 1979 (java) S 1967 1969 31640 0 -1 4202560 16 0 0 0 17 0 0 0 20 0 19 0 291313398 9855979520 27224 33554432000 1073741824 1073778376 140736330874624 139646702479656 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1969/tid=1980] ppid=1967 vsize=9624980 CPUtime=2.84 cores=1,3,5,7 /proc/1969/task/1980/stat : 1980 (java) S 1967 1969 31640 0 -1 4202560 45 0 0 0 284 0 0 0 20 0 19 0 291313399 9855979520 27224 33554432000 1073741824 1073778376 140736330874624 139646219967336 254753683369 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=1969/tid=1981] ppid=1967 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/1969/task/1981/stat : 1981 (java) S 1967 1969 31640 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291313399 9855979520 27224 33554432000 1073741824 1073778376 140736330874624 139646218913656 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=1969/tid=1982] ppid=1967 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/1969/task/1982/stat : 1982 (java) S 1967 1969 31640 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291313399 9855979520 27224 33554432000 1073741824 1073778376 140736330874624 139646217860488 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=1969/tid=1983] ppid=1967 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/1969/task/1983/stat : 1983 (java) S 1967 1969 31640 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291313402 9855979520 27224 33554432000 1073741824 1073778376 140736330874624 139646216809232 254753691424 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=1969/tid=1984] ppid=1967 vsize=9624980 CPUtime=0.99 cores=1,3,5,7 /proc/1969/task/1984/stat : 1984 (java) S 1967 1969 31640 0 -1 4202560 8865 0 0 0 97 2 0 0 20 0 19 0 291313402 9855979520 27224 33554432000 1073741824 1073778376 140736330874624 139646215756088 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=1969/tid=1985] ppid=1967 vsize=9624980 CPUtime=1.03 cores=1,3,5,7 /proc/1969/task/1985/stat : 1985 (java) S 1967 1969 31640 0 -1 4202560 8680 0 0 0 101 2 0 0 20 0 19 0 291313402 9855979520 27224 33554432000 1073741824 1073778376 140736330874624 139646214703544 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=1969/tid=1986] ppid=1967 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/1969/task/1986/stat : 1986 (java) S 1967 1969 31640 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291313402 9855979520 27224 33554432000 1073741824 1073778376 140736330874624 139646213650680 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=1969/tid=1987] ppid=1967 vsize=9624980 CPUtime=0.01 cores=1,3,5,7 /proc/1969/task/1987/stat : 1987 (java) S 1967 1969 31640 0 -1 4202560 7 0 0 0 1 0 0 0 20 0 19 0 291313402 9855979520 27224 33554432000 1073741824 1073778376 140736330874624 139646212598344 254753683369 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=1969/tid=1988] ppid=1967 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/1969/task/1988/stat : 1988 (java) S 1967 1969 31640 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291313430 9855979520 27224 33554432000 1073741824 1073778376 140736330874624 139646211544616 254753683369 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 110.07 Current children cumulated vsize (KiB) 9624980 [startup+107.901 s] /proc/loadavg: 2.00 2.00 2.00 3/213 1989 /proc/meminfo: memFree=25910492/32873844 swapFree=7628/7628 [pid=1969] ppid=1967 vsize=9624980 CPUtime=110.87 cores=1,3,5,7 /proc/1969/stat : 1969 (java) S 1967 1969 31640 0 -1 4202496 21564 0 1 0 11077 10 0 0 20 0 19 0 291313396 9855979520 27224 33554432000 1073741824 1073778376 140736330874624 140736330865760 254753669181 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/1969/statm: 2406245 27224 2280 9 0 2396937 0 [pid=1969/tid=1970] ppid=1967 vsize=9624980 CPUtime=104.25 cores=1,3,5,7 /proc/1969/task/1970/stat : 1970 (java) R 1967 1969 31640 0 -1 4202560 2590 0 1 0 10423 2 0 0 20 0 19 0 291313397 9855979520 27224 33554432000 1073741824 1073778376 140736330874624 139646866170192 139646718241570 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 [pid=1969/tid=1972] ppid=1967 vsize=9624980 CPUtime=0.17 cores=1,3,5,7 /proc/1969/task/1972/stat : 1972 (java) S 1967 1969 31640 0 -1 4202560 62 0 0 0 17 0 0 0 20 0 19 0 291313398 9855979520 27224 33554432000 1073741824 1073778376 140736330874624 139646838623144 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=1969/tid=1973] ppid=1967 vsize=9624980 CPUtime=0.15 cores=1,3,5,7 /proc/1969/task/1973/stat : 1973 (java) S 1967 1969 31640 0 -1 4202560 15 0 0 0 15 0 0 0 20 0 19 0 291313398 9855979520 27224 33554432000 1073741824 1073778376 140736330874624 139646837570600 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=1969/tid=1974] ppid=1967 vsize=9624980 CPUtime=0.15 cores=1,3,5,7 /proc/1969/task/1974/stat : 1974 (java) S 1967 1969 31640 0 -1 4202560 12 0 0 0 15 0 0 0 20 0 19 0 291313398 9855979520 27224 33554432000 1073741824 1073778376 140736330874624 139646836517544 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=1969/tid=1975] ppid=1967 vsize=9624980 CPUtime=0.17 cores=1,3,5,7 /proc/1969/task/1975/stat : 1975 (java) S 1967 1969 31640 0 -1 4202560 31 0 0 0 17 0 0 0 20 0 19 0 291313398 9855979520 27224 33554432000 1073741824 1073778376 140736330874624 139646706690856 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=1969/tid=1976] ppid=1967 vsize=9624980 CPUtime=0.14 cores=1,3,5,7 /proc/1969/task/1976/stat : 1976 (java) S 1967 1969 31640 0 -1 4202560 27 0 0 0 14 0 0 0 20 0 19 0 291313398 9855979520 27224 33554432000 1073741824 1073778376 140736330874624 139646705637800 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=1969/tid=1977] ppid=1967 vsize=9624980 CPUtime=0.15 cores=1,3,5,7 /proc/1969/task/1977/stat : 1977 (java) S 1967 1969 31640 0 -1 4202560 15 0 0 0 15 0 0 0 20 0 19 0 291313398 9855979520 27224 33554432000 1073741824 1073778376 140736330874624 139646704585256 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1969/tid=1978] ppid=1967 vsize=9624980 CPUtime=0.18 cores=1,3,5,7 /proc/1969/task/1978/stat : 1978 (java) S 1967 1969 31640 0 -1 4202560 20 0 0 0 18 0 0 0 20 0 19 0 291313398 9855979520 27224 33554432000 1073741824 1073778376 140736330874624 139646703532200 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=1969/tid=1979] ppid=1967 vsize=9624980 CPUtime=0.17 cores=1,3,5,7 /proc/1969/task/1979/stat : 1979 (java) S 1967 1969 31640 0 -1 4202560 16 0 0 0 17 0 0 0 20 0 19 0 291313398 9855979520 27224 33554432000 1073741824 1073778376 140736330874624 139646702479656 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1969/tid=1980] ppid=1967 vsize=9624980 CPUtime=2.84 cores=1,3,5,7 /proc/1969/task/1980/stat : 1980 (java) S 1967 1969 31640 0 -1 4202560 45 0 0 0 284 0 0 0 20 0 19 0 291313399 9855979520 27224 33554432000 1073741824 1073778376 140736330874624 139646219967336 254753683369 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=1969/tid=1981] ppid=1967 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/1969/task/1981/stat : 1981 (java) S 1967 1969 31640 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291313399 9855979520 27224 33554432000 1073741824 1073778376 140736330874624 139646218913656 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=1969/tid=1982] ppid=1967 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/1969/task/1982/stat : 1982 (java) S 1967 1969 31640 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291313399 9855979520 27224 33554432000 1073741824 1073778376 140736330874624 139646217860488 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=1969/tid=1983] ppid=1967 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/1969/task/1983/stat : 1983 (java) S 1967 1969 31640 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291313402 9855979520 27224 33554432000 1073741824 1073778376 140736330874624 139646216809232 254753691424 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=1969/tid=1984] ppid=1967 vsize=9624980 CPUtime=0.99 cores=1,3,5,7 /proc/1969/task/1984/stat : 1984 (java) S 1967 1969 31640 0 -1 4202560 8865 0 0 0 97 2 0 0 20 0 19 0 291313402 9855979520 27224 33554432000 1073741824 1073778376 140736330874624 139646215756088 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=1969/tid=1985] ppid=1967 vsize=9624980 CPUtime=1.03 cores=1,3,5,7 /proc/1969/task/1985/stat : 1985 (java) S 1967 1969 31640 0 -1 4202560 8680 0 0 0 101 2 0 0 20 0 19 0 291313402 9855979520 27224 33554432000 1073741824 1073778376 140736330874624 139646214703544 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=1969/tid=1986] ppid=1967 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/1969/task/1986/stat : 1986 (java) S 1967 1969 31640 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291313402 9855979520 27224 33554432000 1073741824 1073778376 140736330874624 139646213650680 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=1969/tid=1987] ppid=1967 vsize=9624980 CPUtime=0.01 cores=1,3,5,7 /proc/1969/task/1987/stat : 1987 (java) S 1967 1969 31640 0 -1 4202560 7 0 0 0 1 0 0 0 20 0 19 0 291313402 9855979520 27224 33554432000 1073741824 1073778376 140736330874624 139646212598344 254753683369 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=1969/tid=1988] ppid=1967 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/1969/task/1988/stat : 1988 (java) S 1967 1969 31640 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291313430 9855979520 27224 33554432000 1073741824 1073778376 140736330874624 139646211544616 254753683369 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 110.87 Current children cumulated vsize (KiB) 9624980 [startup+108.301 s] /proc/loadavg: 2.00 2.00 2.00 3/213 1989 /proc/meminfo: memFree=25910492/32873844 swapFree=7628/7628 [pid=1969] ppid=1967 vsize=9624980 CPUtime=111.28 cores=1,3,5,7 /proc/1969/stat : 1969 (java) S 1967 1969 31640 0 -1 4202496 21565 0 1 0 11118 10 0 0 20 0 19 0 291313396 9855979520 27224 33554432000 1073741824 1073778376 140736330874624 140736330865760 254753669181 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/1969/statm: 2406245 27224 2280 9 0 2396937 0 [pid=1969/tid=1970] ppid=1967 vsize=9624980 CPUtime=104.65 cores=1,3,5,7 /proc/1969/task/1970/stat : 1970 (java) R 1967 1969 31640 0 -1 4202560 2590 0 1 0 10463 2 0 0 20 0 19 0 291313397 9855979520 27224 33554432000 1073741824 1073778376 140736330874624 139646866169528 139646718564257 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 [pid=1969/tid=1972] ppid=1967 vsize=9624980 CPUtime=0.17 cores=1,3,5,7 /proc/1969/task/1972/stat : 1972 (java) S 1967 1969 31640 0 -1 4202560 62 0 0 0 17 0 0 0 20 0 19 0 291313398 9855979520 27224 33554432000 1073741824 1073778376 140736330874624 139646838623144 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=1969/tid=1973] ppid=1967 vsize=9624980 CPUtime=0.15 cores=1,3,5,7 /proc/1969/task/1973/stat : 1973 (java) S 1967 1969 31640 0 -1 4202560 15 0 0 0 15 0 0 0 20 0 19 0 291313398 9855979520 27224 33554432000 1073741824 1073778376 140736330874624 139646837570600 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=1969/tid=1974] ppid=1967 vsize=9624980 CPUtime=0.15 cores=1,3,5,7 /proc/1969/task/1974/stat : 1974 (java) S 1967 1969 31640 0 -1 4202560 12 0 0 0 15 0 0 0 20 0 19 0 291313398 9855979520 27224 33554432000 1073741824 1073778376 140736330874624 139646836517544 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=1969/tid=1975] ppid=1967 vsize=9624980 CPUtime=0.17 cores=1,3,5,7 /proc/1969/task/1975/stat : 1975 (java) S 1967 1969 31640 0 -1 4202560 31 0 0 0 17 0 0 0 20 0 19 0 291313398 9855979520 27224 33554432000 1073741824 1073778376 140736330874624 139646706690856 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=1969/tid=1976] ppid=1967 vsize=9624980 CPUtime=0.14 cores=1,3,5,7 /proc/1969/task/1976/stat : 1976 (java) S 1967 1969 31640 0 -1 4202560 27 0 0 0 14 0 0 0 20 0 19 0 291313398 9855979520 27224 33554432000 1073741824 1073778376 140736330874624 139646705637800 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=1969/tid=1977] ppid=1967 vsize=9624980 CPUtime=0.15 cores=1,3,5,7 /proc/1969/task/1977/stat : 1977 (java) S 1967 1969 31640 0 -1 4202560 15 0 0 0 15 0 0 0 20 0 19 0 291313398 9855979520 27224 33554432000 1073741824 1073778376 140736330874624 139646704585256 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1969/tid=1978] ppid=1967 vsize=9624980 CPUtime=0.18 cores=1,3,5,7 /proc/1969/task/1978/stat : 1978 (java) S 1967 1969 31640 0 -1 4202560 20 0 0 0 18 0 0 0 20 0 19 0 291313398 9855979520 27224 33554432000 1073741824 1073778376 140736330874624 139646703532200 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=1969/tid=1979] ppid=1967 vsize=9624980 CPUtime=0.17 cores=1,3,5,7 /proc/1969/task/1979/stat : 1979 (java) S 1967 1969 31640 0 -1 4202560 16 0 0 0 17 0 0 0 20 0 19 0 291313398 9855979520 27224 33554432000 1073741824 1073778376 140736330874624 139646702479656 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1969/tid=1980] ppid=1967 vsize=9624980 CPUtime=2.84 cores=1,3,5,7 /proc/1969/task/1980/stat : 1980 (java) S 1967 1969 31640 0 -1 4202560 45 0 0 0 284 0 0 0 20 0 19 0 291313399 9855979520 27224 33554432000 1073741824 1073778376 140736330874624 139646219967336 254753683369 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=1969/tid=1981] ppid=1967 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/1969/task/1981/stat : 1981 (java) S 1967 1969 31640 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291313399 9855979520 27224 33554432000 1073741824 1073778376 140736330874624 139646218913656 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=1969/tid=1982] ppid=1967 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/1969/task/1982/stat : 1982 (java) S 1967 1969 31640 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291313399 9855979520 27224 33554432000 1073741824 1073778376 140736330874624 139646217860488 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=1969/tid=1983] ppid=1967 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/1969/task/1983/stat : 1983 (java) S 1967 1969 31640 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291313402 9855979520 27224 33554432000 1073741824 1073778376 140736330874624 139646216809232 254753691424 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=1969/tid=1984] ppid=1967 vsize=9624980 CPUtime=0.99 cores=1,3,5,7 /proc/1969/task/1984/stat : 1984 (java) S 1967 1969 31640 0 -1 4202560 8865 0 0 0 97 2 0 0 20 0 19 0 291313402 9855979520 27224 33554432000 1073741824 1073778376 140736330874624 139646215756088 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=1969/tid=1985] ppid=1967 vsize=9624980 CPUtime=1.04 cores=1,3,5,7 /proc/1969/task/1985/stat : 1985 (java) S 1967 1969 31640 0 -1 4202560 8681 0 0 0 102 2 0 0 20 0 19 0 291313402 9855979520 27224 33554432000 1073741824 1073778376 140736330874624 139646214703544 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=1969/tid=1986] ppid=1967 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/1969/task/1986/stat : 1986 (java) S 1967 1969 31640 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291313402 9855979520 27224 33554432000 1073741824 1073778376 140736330874624 139646213650680 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=1969/tid=1987] ppid=1967 vsize=9624980 CPUtime=0.01 cores=1,3,5,7 /proc/1969/task/1987/stat : 1987 (java) S 1967 1969 31640 0 -1 4202560 7 0 0 0 1 0 0 0 20 0 19 0 291313402 9855979520 27224 33554432000 1073741824 1073778376 140736330874624 139646212598344 254753683369 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=1969/tid=1988] ppid=1967 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/1969/task/1988/stat : 1988 (java) S 1967 1969 31640 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291313430 9855979520 27224 33554432000 1073741824 1073778376 140736330874624 139646211544616 254753683369 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 111.28 Current children cumulated vsize (KiB) 9624980 Child status: 30 # WARNING: # CPU time reported by wait4() is probably wrong ! # wait4(...,&childrusage) returns 1969 and gives # childrusage.ru_utime.tv_sec=110 # childrusage.ru_utime.tv_usec=944133 # childrusage.ru_stime.tv_sec=0 # childrusage.ru_stime.tv_usec=193970 # CPU time returned by wait4() is 111.138 # while last known CPU time is 111.28 # # Solver probably didn't/couldn't wait for its children # Using CPU time of the last sample as value... Real time (s): 108.381 CPU time (s): 111.28 CPU user time (s): 111.18 CPU system time (s): 0.1 CPU usage (%): 102.675 Max. virtual memory (cumulated for all children) (KiB): 9624980 getrusage(RUSAGE_CHILDREN,...) data: user time used= 110.944 system time used= 0.19397 maximum resident set size= 108936 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 21576 page faults= 1 swaps= 0 block input operations= 0 block output operations= 184 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 5495 involuntary context switches= 5102 runsolver used 0.490925 second user time and 1.14882 second system time The end
Begin job on node145 at 2012-05-29 02:38:10 IDJOB=3718097 IDBENCH=78942 IDSOLVER=2301 FILE ID=node145/3718097-1338251890 RUNJOBID= node145-1338246945-1113 PBS_JOBID= 14624633 Free space on /tmp= 71536 MiB SOLVER NAME= Sat4j PB 2012-05-28 BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900570242--soft-33-100-0.wbo COMMAND LINE= java -jar HOME/sat4j-pb.jar BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3718097-1338251890/watcher-3718097-1338251890 -o /tmp/evaluation-result-3718097-1338251890/solver-3718097-1338251890 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar HOME/instance-3718097-1338251890.wbo TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= a7f6c0c06b26873046d2d80874a938bb RANDOM SEED=1807405753 node145.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011 /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 : 2667.149 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5334.29 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.149 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.149 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5313.38 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.149 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.149 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.149 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.149 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.149 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.89 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32873844 kB MemFree: 26012460 kB Buffers: 392376 kB Cached: 1896728 kB SwapCached: 0 kB Active: 4488124 kB Inactive: 1517544 kB Active(anon): 3707672 kB Inactive(anon): 10912 kB Active(file): 780452 kB Inactive(file): 1506632 kB Unevictable: 7628 kB Mlocked: 7628 kB SwapTotal: 67108856 kB SwapFree: 67108856 kB Dirty: 252 kB Writeback: 0 kB AnonPages: 3791092 kB Mapped: 22360 kB Shmem: 200 kB Slab: 708176 kB SReclaimable: 149656 kB SUnreclaim: 558520 kB KernelStack: 1760 kB PageTables: 11488 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545776 kB Committed_AS: 3863148 kB VmallocTotal: 34359738367 kB VmallocUsed: 346368 kB VmallocChunk: 34341987984 kB HardwareCorrupted: 0 kB AnonHugePages: 3702784 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7872 kB DirectMap2M: 33538048 kB Free space on /tmp at the end= 71536 MiB End job on node145 at 2012-05-29 02:39:59