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 | 36.39 | 34.1231 |
| Name | /SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111227012--soft-0-100-0.wbo |
| MD5SUM | 3f56278c0c7f2898f6b9e11f0d13a6fa |
| 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 | 5 |
| Best CPU time to get the best result obtained on this benchmark | 0.390939 |
| 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 | 5395 |
| Min constraint cost | 1 |
| Max constraint cost | 100 |
| Sum of constraints costs | 5394 |
| Biggest number in a constraint | 38 |
| Number of bits of the biggest number in a constraint | 6 |
| Biggest sum of numbers in a constraint | 1220 |
| 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.04/0.08 c SAT4J: a SATisfiability library for Java (c) 2004-2012 Artois University and CNRS 0.04/0.08 c This is free software under the dual EPL/GNU LGPL licenses. 0.04/0.08 c See www.sat4j.org for details. 0.04/0.09 c version 2.3.2.v20120528 0.04/0.09 c java.runtime.name Java(TM) SE Runtime Environment 0.04/0.09 c java.vm.name Java HotSpot(TM) 64-Bit Server VM 0.04/0.09 c java.vm.version 19.1-b02 0.04/0.09 c java.vm.vendor Sun Microsystems Inc. 0.04/0.09 c sun.arch.data.model 64 0.04/0.09 c java.version 1.6.0_24 0.04/0.09 c os.name Linux 0.04/0.09 c os.version 2.6.32-71.29.1.el6.x86_64 0.04/0.09 c os.arch amd64 0.04/0.09 c Free memory 501472288 0.04/0.09 c Max memory 7480803328 0.04/0.09 c Total memory 504102912 0.04/0.09 c Number of processors 8 0.09/0.11 c Pseudo Boolean Optimization by upper bound 0.09/0.11 c --- Begin Solver configuration --- 0.09/0.11 c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@4a913fe2 0.09/0.11 c Learn all clauses as in MiniSAT 0.09/0.11 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.09/0.11 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.09/0.11 c No reason simplification 0.09/0.11 c Armin Biere (Picosat) restarts strategy 0.09/0.11 c Glucose 2 learned constraints deletion strategy 0.09/0.11 c timeout=2147483s 0.09/0.11 c DB Simplification allowed=false 0.09/0.11 c --- End Solver configuration --- 0.09/0.11 c solving HOME/instance-3718453-1338254263.wbo 0.09/0.11 c reading problem ... 0.09/0.17 c ... done. Wall clock time 0.053s. 0.09/0.17 c declared #vars 169 0.09/0.17 c internal #vars 270 0.09/0.17 c #constraints 101 0.09/0.17 c constraints type 0.09/0.17 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 30 0.09/0.17 c ignored satisfied constraints => 1 0.09/0.17 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 71 0.09/0.17 c 102 constraints processed. 0.09/0.17 c objective function length is 101 literals 0.26/0.23 c SATISFIABLE 0.26/0.23 c OPTIMIZING... 0.26/0.23 c Got one! Elapsed wall clock time (in seconds):0.115 0.26/0.23 o 1242 0.26/0.25 c Got one! Elapsed wall clock time (in seconds):0.137 0.26/0.25 o 1193 0.26/0.26 c Got one! Elapsed wall clock time (in seconds):0.148 0.26/0.26 o 1163 0.26/0.27 c Got one! Elapsed wall clock time (in seconds):0.156 0.26/0.27 o 1142 0.26/0.28 c Got one! Elapsed wall clock time (in seconds):0.164 0.26/0.28 o 929 0.26/0.29 c Got one! Elapsed wall clock time (in seconds):0.176 0.26/0.29 o 627 0.50/0.30 c Got one! Elapsed wall clock time (in seconds):0.187 0.50/0.30 o 625 0.50/0.31 c Got one! Elapsed wall clock time (in seconds):0.194 0.50/0.31 o 617 0.50/0.32 c Got one! Elapsed wall clock time (in seconds):0.203 0.50/0.32 o 616 0.50/0.33 c Got one! Elapsed wall clock time (in seconds):0.217 0.50/0.33 o 613 0.50/0.33 c Got one! Elapsed wall clock time (in seconds):0.221 0.50/0.33 o 608 0.50/0.34 c Got one! Elapsed wall clock time (in seconds):0.227 0.50/0.34 o 516 0.50/0.38 c Got one! Elapsed wall clock time (in seconds):0.268 0.50/0.38 o 510 0.50/0.39 c Got one! Elapsed wall clock time (in seconds):0.281 0.50/0.39 o 508 0.69/0.44 c Got one! Elapsed wall clock time (in seconds):0.332 0.69/0.44 o 476 0.69/0.46 c Got one! Elapsed wall clock time (in seconds):0.35 0.69/0.46 o 456 0.69/0.47 c Got one! Elapsed wall clock time (in seconds):0.363 0.69/0.47 o 455 0.69/0.49 c Got one! Elapsed wall clock time (in seconds):0.379 0.69/0.49 o 425 0.82/0.55 c Got one! Elapsed wall clock time (in seconds):0.435 0.82/0.55 o 419 0.82/0.56 c Got one! Elapsed wall clock time (in seconds):0.447 0.82/0.56 o 418 1.26/0.70 c cleaning 5275 clauses out of 10553 with flag 7436/10553 1.26/0.77 c Got one! Elapsed wall clock time (in seconds):0.657 1.26/0.77 o 399 1.45/0.80 c Got one! Elapsed wall clock time (in seconds):0.687 1.45/0.80 o 397 1.45/0.83 c Got one! Elapsed wall clock time (in seconds):0.719 1.45/0.83 o 396 1.45/0.88 c Got one! Elapsed wall clock time (in seconds):0.763 1.45/0.88 o 370 1.62/0.91 c cleaning 5722 clauses out of 11462 with flag 3708/16737 1.62/0.96 c Got one! Elapsed wall clock time (in seconds):0.852 1.62/0.96 o 368 1.76/1.01 c Got one! Elapsed wall clock time (in seconds):0.899 1.76/1.01 o 354 1.76/1.05 c Got one! Elapsed wall clock time (in seconds):0.938 1.76/1.05 o 349 1.76/1.06 c Got one! Elapsed wall clock time (in seconds):0.946 1.76/1.06 o 331 1.76/1.08 c Got one! Elapsed wall clock time (in seconds):0.964 1.76/1.08 o 324 1.86/1.12 c Got one! Elapsed wall clock time (in seconds):1.009 1.86/1.12 o 321 1.86/1.16 c cleaning 6494 clauses out of 12996 with flag 3800/23993 1.98/1.24 c Got one! Elapsed wall clock time (in seconds):1.128 1.98/1.24 o 320 2.08/1.33 c cleaning 5831 clauses out of 11678 with flag 12600/29169 2.18/1.45 c Got one! Elapsed wall clock time (in seconds):1.342 2.18/1.45 o 319 2.28/1.50 c Got one! Elapsed wall clock time (in seconds):1.388 2.28/1.50 o 313 2.28/1.52 c Got one! Elapsed wall clock time (in seconds):1.405 2.28/1.52 o 311 2.28/1.55 c Got one! Elapsed wall clock time (in seconds):1.435 2.28/1.55 o 307 2.28/1.59 c cleaning 6535 clauses out of 13098 with flag 4447/36420 2.48/1.70 c Got one! Elapsed wall clock time (in seconds):1.592 2.48/1.70 o 306 2.48/1.76 c cleaning 5970 clauses out of 11950 with flag 7487/41807 2.68/1.96 c cleaning 5984 clauses out of 11981 with flag 30034/47808 2.79/2.02 c Got one! Elapsed wall clock time (in seconds):1.913 2.79/2.02 o 300 2.79/2.06 c Got one! Elapsed wall clock time (in seconds):1.951 2.79/2.06 o 294 2.93/2.15 c Got one! Elapsed wall clock time (in seconds):2.041 2.93/2.15 o 277 2.93/2.18 c Got one! Elapsed wall clock time (in seconds):2.071 2.93/2.18 o 276 3.05/2.22 c cleaning 6760 clauses out of 13527 with flag 4814/55338 3.05/2.28 c Got one! Elapsed wall clock time (in seconds):2.165 3.05/2.28 o 258 3.15/2.40 c cleaning 6213 clauses out of 12442 with flag 15657/61013 3.35/2.58 c Got one! Elapsed wall clock time (in seconds):2.47 3.35/2.58 o 255 3.45/2.62 c Got one! Elapsed wall clock time (in seconds):2.511 3.45/2.62 o 245 3.55/2.75 c cleaning 8270 clauses out of 16546 with flag 18780/71330 3.65/2.88 c Got one! Elapsed wall clock time (in seconds):2.771 3.65/2.88 o 233 3.75/2.93 c cleaning 6717 clauses out of 13436 with flag 4011/76490 3.75/2.96 c Got one! Elapsed wall clock time (in seconds):2.85 3.75/2.96 o 232 3.86/3.05 c Got one! Elapsed wall clock time (in seconds):2.936 3.86/3.05 o 223 3.96/3.15 c cleaning 6571 clauses out of 13149 with flag 14872/82920 4.18/3.38 c Got one! Elapsed wall clock time (in seconds):3.27 4.18/3.38 o 215 4.37/3.56 c cleaning 8687 clauses out of 17386 with flag 22985/93728 4.69/3.81 c cleaning 7345 clauses out of 14700 with flag 51219/99729 4.79/3.95 c Got one! Elapsed wall clock time (in seconds):3.838 4.79/3.95 o 214 4.89/4.01 c cleaning 6433 clauses out of 12877 with flag 10632/105251 5.09/4.20 c cleaning 6214 clauses out of 12446 with flag 38043/111253 5.20/4.36 c Got one! Elapsed wall clock time (in seconds):4.244 5.20/4.36 o 213 5.20/4.39 c cleaning 5960 clauses out of 11931 with flag 4563/116952 5.32/4.47 c Got one! Elapsed wall clock time (in seconds):4.359 5.32/4.47 o 212 5.41/4.54 c Got one! Elapsed wall clock time (in seconds):4.424 5.41/4.54 o 196 5.41/4.57 c cleaning 5662 clauses out of 11332 with flag 5175/122313 5.54/4.68 c Got one! Elapsed wall clock time (in seconds):4.572 5.54/4.68 o 181 5.64/4.75 c cleaning 5623 clauses out of 11274 with flag 9481/127917 5.84/4.96 c cleaning 5818 clauses out of 11649 with flag 34691/133915 6.14/5.22 c Got one! Elapsed wall clock time (in seconds):5.11 6.14/5.22 o 180 6.24/5.39 c cleaning 8895 clauses out of 17801 with flag 25017/145885 6.45/5.59 c cleaning 7437 clauses out of 14905 with flag 51841/151884 6.75/5.87 c cleaning 7225 clauses out of 14468 with flag 82762/158884 7.15/6.20 c cleaning 7612 clauses out of 15244 with flag 122709/166885 7.15/6.29 c Got one! Elapsed wall clock time (in seconds):6.182 7.15/6.29 o 175 7.26/6.39 c cleaning 6522 clauses out of 13059 with flag 15151/172312 7.36/6.40 c Got one! Elapsed wall clock time (in seconds):6.292 7.36/6.40 o 161 7.36/6.43 c Got one! Elapsed wall clock time (in seconds):6.319 7.36/6.43 o 150 7.47/6.55 c Got one! Elapsed wall clock time (in seconds):6.433 7.47/6.55 o 148 7.47/6.59 c Got one! Elapsed wall clock time (in seconds):6.475 7.47/6.59 o 144 7.57/6.62 c cleaning 6494 clauses out of 13002 with flag 5000/178777 7.77/6.83 c Got one! Elapsed wall clock time (in seconds):6.72 7.77/6.83 o 142 7.97/7.00 c cleaning 8488 clauses out of 16984 with flag 23359/189253 8.18/7.25 c cleaning 7242 clauses out of 14495 with flag 48101/195252 8.38/7.41 c Got one! Elapsed wall clock time (in seconds):7.303 8.38/7.41 o 141 8.38/7.45 c cleaning 6213 clauses out of 12447 with flag 4723/200446 8.59/7.64 c cleaning 6102 clauses out of 12235 with flag 32282/206447 8.78/7.88 c cleaning 6562 clauses out of 13132 with flag 62104/213446 9.19/8.22 c cleaning 7275 clauses out of 14571 with flag 105769/221447 9.50/8.59 c cleaning 8136 clauses out of 16296 with flag 157672/230447 9.60/8.65 c Got one! Elapsed wall clock time (in seconds):8.541 9.60/8.65 o 140 9.71/8.78 c cleaning 6825 clauses out of 13661 with flag 19441/235948 9.90/8.96 c cleaning 6407 clauses out of 12835 with flag 45213/241947 10.10/9.19 c cleaning 6699 clauses out of 13429 with flag 75522/248948 10.40/9.44 c cleaning 7360 clauses out of 14730 with flag 109241/256948 10.50/9.52 c Got one! Elapsed wall clock time (in seconds):9.405 10.50/9.52 o 139 10.50/9.54 c Got one! Elapsed wall clock time (in seconds):9.427 10.50/9.54 o 134 10.50/9.56 c Got one! Elapsed wall clock time (in seconds):9.443 10.50/9.56 o 107 10.50/9.59 c Got one! Elapsed wall clock time (in seconds):9.483 10.50/9.59 o 106 10.73/9.75 c cleaning 7493 clauses out of 15001 with flag 14235/264579 10.73/9.78 c Got one! Elapsed wall clock time (in seconds):9.668 10.73/9.78 o 105 11.14/9.98 c cleaning 6407 clauses out of 12835 with flag 24275/269906 11.32/10.03 c Got one! Elapsed wall clock time (in seconds):9.916 11.32/10.03 o 102 11.62/10.20 c cleaning 6194 clauses out of 12407 with flag 24643/275885 12.01/10.46 c cleaning 6100 clauses out of 12215 with flag 56567/281887 12.41/10.60 c Got one! Elapsed wall clock time (in seconds):10.488 12.41/10.60 o 93 12.41/10.66 c cleaning 5674 clauses out of 11368 with flag 9679/287140 12.61/10.85 c cleaning 5838 clauses out of 11695 with flag 36339/293141 12.82/11.09 c cleaning 6420 clauses out of 12860 with flag 66498/300144 13.21/11.43 c cleaning 7209 clauses out of 14441 with flag 109343/308145 13.52/11.79 c cleaning 8099 clauses out of 16229 with flag 160775/317142 13.62/11.81 c Got one! Elapsed wall clock time (in seconds):11.698 13.62/11.81 o 92 13.72/11.97 c cleaning 6732 clauses out of 13471 with flag 24026/322483 13.93/12.16 c cleaning 6368 clauses out of 12741 with flag 50111/328485 14.13/12.40 c cleaning 6677 clauses out of 13373 with flag 81763/335485 14.43/12.66 c cleaning 7336 clauses out of 14693 with flag 116358/343482 14.73/12.93 c Got one! Elapsed wall clock time (in seconds):12.815 14.73/12.93 o 75 14.93/13.15 c cleaning 9916 clauses out of 19855 with flag 23834/355980 15.13/13.36 c cleaning 7960 clauses out of 15940 with flag 51413/361981 15.34/13.59 c cleaning 7482 clauses out of 14979 with flag 84545/368980 15.64/13.87 c cleaning 7740 clauses out of 15497 with flag 123071/376980 16.05/14.21 c cleaning 8375 clauses out of 16759 with flag 166904/385982 16.15/14.36 c Got one! Elapsed wall clock time (in seconds):14.249 16.15/14.36 o 71 16.25/14.41 c cleaning 7011 clauses out of 14039 with flag 4111/391637 16.25/14.42 c Got one! Elapsed wall clock time (in seconds):14.308 16.25/14.42 o 67 16.25/14.43 c Got one! Elapsed wall clock time (in seconds):14.318 16.25/14.43 o 63 16.35/14.54 c Got one! Elapsed wall clock time (in seconds):14.425 16.35/14.54 o 62 16.45/14.61 c cleaning 6449 clauses out of 12916 with flag 9341/397525 16.55/14.74 c Got one! Elapsed wall clock time (in seconds):14.631 16.55/14.74 o 60 16.55/14.78 c cleaning 5976 clauses out of 11969 with flag 4435/403027 16.76/14.97 c cleaning 5989 clauses out of 11993 with flag 29504/409027 17.07/15.21 c cleaning 6502 clauses out of 13003 with flag 58831/416026 17.07/15.23 c Got one! Elapsed wall clock time (in seconds):15.12 17.07/15.23 o 59 17.18/15.39 c cleaning 5869 clauses out of 11760 with flag 23427/421285 17.37/15.58 c cleaning 5939 clauses out of 11891 with flag 50053/427285 17.58/15.80 c cleaning 6461 clauses out of 12953 with flag 76692/434286 17.88/16.04 c Got one! Elapsed wall clock time (in seconds):15.926 17.88/16.04 o 53 18.08/16.21 c cleaning 9693 clauses out of 19402 with flag 24058/447196 18.29/16.41 c cleaning 7855 clauses out of 15709 with flag 46861/453196 18.50/16.63 c cleaning 7424 clauses out of 14856 with flag 71407/460198 18.81/16.91 c cleaning 7715 clauses out of 15431 with flag 101849/468197 18.93/17.05 c Got one! Elapsed wall clock time (in seconds):16.943 18.93/17.05 o 48 18.93/17.09 c cleaning 6648 clauses out of 13308 with flag 4994/473790 19.13/17.29 c cleaning 6310 clauses out of 12658 with flag 34071/479788 19.45/17.53 c cleaning 6654 clauses out of 13348 with flag 66464/486788 19.64/17.80 c cleaning 7338 clauses out of 14694 with flag 101828/494788 20.06/18.10 c cleaning 8173 clauses out of 16361 with flag 140432/503793 20.16/18.20 c Got one! Elapsed wall clock time (in seconds):18.086 20.16/18.20 o 44 20.16/18.27 c cleaning 6598 clauses out of 13218 with flag 9699/508823 20.37/18.46 c cleaning 6305 clauses out of 12621 with flag 37981/514824 20.59/18.69 c cleaning 6635 clauses out of 13315 with flag 67934/521823 20.90/18.96 c cleaning 7330 clauses out of 14680 with flag 102779/529823 21.20/19.27 c cleaning 8157 clauses out of 16351 with flag 142065/538824 21.40/19.46 c Got one! Elapsed wall clock time (in seconds):19.352 21.40/19.46 o 41 21.60/19.67 c cleaning 9610 clauses out of 19230 with flag 26055/549860 21.81/19.88 c cleaning 7799 clauses out of 15622 with flag 53347/555862 22.13/20.11 c cleaning 7395 clauses out of 14819 with flag 83647/562858 22.34/20.37 c cleaning 7692 clauses out of 15427 with flag 116562/570861 22.64/20.66 c cleaning 8344 clauses out of 16734 with flag 155900/579860 23.05/21.00 c cleaning 9171 clauses out of 18388 with flag 201160/589858 23.35/21.38 c cleaning 10097 clauses out of 20218 with flag 253068/600859 23.76/21.77 c Got one! Elapsed wall clock time (in seconds):21.662 23.76/21.77 o 40 23.97/21.94 c Got one! Elapsed wall clock time (in seconds):21.829 23.97/21.94 o 31 23.97/22.00 c cleaning 13965 clauses out of 27929 with flag 4528/618667 24.29/22.21 c cleaning 9975 clauses out of 19964 with flag 28287/624667 24.40/22.31 c Got one! Elapsed wall clock time (in seconds):22.194 24.40/22.31 o 30 24.40/22.38 c cleaning 7598 clauses out of 15213 with flag 10065/629891 24.73/22.60 c cleaning 6796 clauses out of 13615 with flag 38538/635891 24.84/22.72 c Got one! Elapsed wall clock time (in seconds):22.61 24.84/22.72 o 28 24.84/22.80 c cleaning 6306 clauses out of 12642 with flag 9169/641714 25.04/23.00 c cleaning 6164 clauses out of 12337 with flag 36086/647715 25.34/23.21 c cleaning 6582 clauses out of 13172 with flag 62287/654715 25.54/23.45 c cleaning 7290 clauses out of 14588 with flag 93136/662713 25.64/23.60 c Got one! Elapsed wall clock time (in seconds):23.483 25.64/23.60 o 26 25.74/23.63 c cleaning 6535 clauses out of 13082 with flag 4490/668497 25.95/23.81 c Got one! Elapsed wall clock time (in seconds):23.701 25.95/23.81 o 25 26.16/24.01 c cleaning 8612 clauses out of 17241 with flag 23656/679191 26.37/24.22 c cleaning 7303 clauses out of 14628 with flag 52151/685190 26.56/24.46 c cleaning 7138 clauses out of 14325 with flag 83176/692190 26.86/24.74 c cleaning 7585 clauses out of 15188 with flag 119392/700191 27.16/25.03 c Got one! Elapsed wall clock time (in seconds):24.914 27.16/25.03 o 24 27.37/25.23 c cleaning 10640 clauses out of 21305 with flag 23468/713893 27.57/25.44 c cleaning 8315 clauses out of 16666 with flag 51261/719894 27.78/25.68 c cleaning 7664 clauses out of 15351 with flag 83322/726894 28.08/25.95 c cleaning 7825 clauses out of 15685 with flag 119604/734892 28.38/26.25 c cleaning 8411 clauses out of 16863 with flag 160511/743895 28.68/26.58 c cleaning 9222 clauses out of 18450 with flag 206027/753893 28.98/26.83 c Got one! Elapsed wall clock time (in seconds):26.716 28.98/26.83 o 17 29.18/27.03 c cleaning 11253 clauses out of 22527 with flag 25296/767192 29.39/27.26 c cleaning 8616 clauses out of 17273 with flag 55908/773191 29.69/27.51 c cleaning 7824 clauses out of 15657 with flag 89600/780191 29.89/27.79 c cleaning 7901 clauses out of 15835 with flag 127091/788193 30.29/28.11 c cleaning 8451 clauses out of 16932 with flag 169572/797191 30.59/28.46 c cleaning 9217 clauses out of 18481 with flag 217843/807191 30.99/28.84 c cleaning 10132 clauses out of 20265 with flag 267414/818192 31.41/29.23 c cleaning 11060 clauses out of 22132 with flag 320418/830193 31.82/29.67 c cleaning 12033 clauses out of 24069 with flag 376862/843192 32.42/30.20 c cleaning 13011 clauses out of 26033 with flag 442664/857191 32.93/30.74 c cleaning 14000 clauses out of 28017 with flag 512898/872192 33.22/31.03 c Got one! Elapsed wall clock time (in seconds):30.92 33.22/31.03 o 16 33.43/31.26 c cleaning 13909 clauses out of 27830 with flag 26079/886007 33.63/31.50 c cleaning 9954 clauses out of 19918 with flag 56266/892004 33.94/31.75 c cleaning 8467 clauses out of 16964 with flag 89959/899004 34.24/32.04 c cleaning 8229 clauses out of 16498 with flag 129628/907005 34.54/32.35 c cleaning 8613 clauses out of 17268 with flag 173659/916004 34.94/32.73 c cleaning 9319 clauses out of 18655 with flag 224852/926004 35.35/33.15 c cleaning 10159 clauses out of 20337 with flag 281107/937005 35.75/33.59 c cleaning 11065 clauses out of 22177 with flag 340116/949004 35.87/33.68 c Got one! Elapsed wall clock time (in seconds):33.569 35.87/33.68 o 12 36.07/33.80 c cleaning 8212 clauses out of 16433 with flag 15512/954325 36.28/34.02 c cleaning 7107 clauses out of 14221 with flag 45252/960325 36.39/34.11 c Got one! Elapsed wall clock time (in seconds):33.995 36.39/34.11 o 5 36.39/34.11 c starts : 261 36.39/34.11 c conflicts : 962940 36.39/34.11 c decisions : 1528701 36.39/34.11 c propagations : 23949441 36.39/34.11 c inspects : 240224659 36.39/34.11 c shortcuts : 0 36.39/34.11 c learnt literals : 16 36.39/34.11 c learnt binary clauses : 41 36.39/34.11 c learnt ternary clauses : 1763 36.39/34.11 c learnt constraints : 962924 36.39/34.11 c ignored constraints : 0 36.39/34.11 c root simplifications : 0 36.39/34.11 c removed literals (reason simplification) : 0 36.39/34.11 c reason swapping (by a shorter reason) : 0 36.39/34.11 c Calls to reduceDB : 124 36.39/34.11 c Number of update (reduction) of LBD : 285916 36.39/34.11 c number of reductions to clauses (during analyze) : 0 36.39/34.11 c number of learned constraints concerned by reduction : 0 36.39/34.11 c number of learning phase by resolution : 0 36.39/34.11 c number of learning phase by cutting planes : 0 36.39/34.11 c speed (assignments/second) : 705557.4181004006 36.39/34.11 c non guided choices 4588 36.39/34.11 c learnt constraints type 36.39/34.11 c constraints type 36.39/34.11 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 30 36.39/34.11 c ignored satisfied constraints => 1 36.39/34.11 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 71 36.39/34.11 c 102 constraints processed. 36.39/34.11 s OPTIMUM FOUND 36.39/34.11 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 36.39/34.11 c objective function=5 36.39/34.11 c Total wall clock time (in seconds): 34.002
OK 5
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-3718453-1338254263/watcher-3718453-1338254263 -o /tmp/evaluation-result-3718453-1338254263/solver-3718453-1338254263 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar HOME/instance-3718453-1338254263.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.08 2.06 2.02 3/195 3783 /proc/meminfo: memFree=29502028/32873844 swapFree=7628/7628 [pid=3783] ppid=3781 vsize=23236 CPUtime=0 cores=1,3,5,7 /proc/3783/stat : 3783 (java) R 3781 3783 31640 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 291550709 23793664 324 33554432000 1073741824 1073778376 140733718028144 140733718017208 254741101121 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 /proc/3783/statm: 5809 337 260 9 0 128 0 [startup+0.053339 s] /proc/loadavg: 2.08 2.06 2.02 3/195 3783 /proc/meminfo: memFree=29502028/32873844 swapFree=7628/7628 [pid=3783] ppid=3781 vsize=9225560 CPUtime=0.04 cores=1,3,5,7 /proc/3783/stat : 3783 (java) S 3781 3783 31640 0 -1 4202496 3078 0 1 0 3 1 0 0 20 0 13 0 291550709 9446973440 3775 33554432000 1073741824 1073778376 140733718028144 140733718019280 254753669181 0 0 0 16800971 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/3783/statm: 2306390 3775 1708 9 0 2297091 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 9225560 [startup+0.100283 s] /proc/loadavg: 2.08 2.06 2.02 3/195 3783 /proc/meminfo: memFree=29502028/32873844 swapFree=7628/7628 [pid=3783] ppid=3781 vsize=9558416 CPUtime=0.09 cores=1,3,5,7 /proc/3783/stat : 3783 (java) S 3781 3783 31640 0 -1 4202496 4295 0 1 0 8 1 0 0 20 0 18 0 291550709 9787817984 5488 33554432000 1073741824 1073778376 140733718028144 140733718019280 254753669181 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/3783/statm: 2389604 5488 2109 9 0 2380296 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 9558416 [startup+0.300237 s] /proc/loadavg: 2.08 2.06 2.02 3/195 3783 /proc/meminfo: memFree=29502028/32873844 swapFree=7628/7628 [pid=3783] ppid=3781 vsize=9624980 CPUtime=0.5 cores=1,3,5,7 /proc/3783/stat : 3783 (java) S 3781 3783 31640 0 -1 4202496 6716 0 1 0 48 2 0 0 20 0 19 0 291550709 9855979520 8012 33554432000 1073741824 1073778376 140733718028144 140733718019280 254753669181 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/3783/statm: 2406245 8012 2233 9 0 2396937 0 Current children cumulated CPU time (s) 0.5 Current children cumulated vsize (KiB) 9624980 [startup+0.700203 s] /proc/loadavg: 2.08 2.06 2.02 3/195 3783 /proc/meminfo: memFree=29502028/32873844 swapFree=7628/7628 [pid=3783] ppid=3781 vsize=9626540 CPUtime=1.26 cores=1,3,5,7 /proc/3783/stat : 3783 (java) S 3781 3783 31640 0 -1 4202496 15216 0 1 0 122 4 0 0 20 0 19 0 291550709 9857576960 14374 33554432000 1073741824 1073778376 140733718028144 140733718019280 254753669181 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/3783/statm: 2406635 14374 2246 9 0 2397327 0 Current children cumulated CPU time (s) 1.26 Current children cumulated vsize (KiB) 9626540 [startup+1.50075 s] /proc/loadavg: 2.15 2.07 2.02 3/214 3802 /proc/meminfo: memFree=29454152/32873844 swapFree=7628/7628 [pid=3783] ppid=3781 vsize=9624980 CPUtime=2.28 cores=1,3,5,7 /proc/3783/stat : 3783 (java) S 3781 3783 31640 0 -1 4202496 17368 0 1 0 224 4 0 0 20 0 19 0 291550709 9855979520 14444 33554432000 1073741824 1073778376 140733718028144 140733718019280 254753669181 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/3783/statm: 2406245 14444 2272 9 0 2396937 0 [pid=3783/tid=3785] ppid=3781 vsize=9624980 CPUtime=1.42 cores=1,3,5,7 /proc/3783/task/3785/stat : 3785 (java) R 3781 3783 31640 0 -1 4202560 2462 0 1 0 140 2 0 0 20 0 19 0 291550709 9855979520 14444 33554432000 1073741824 1073778376 140733718028144 140695042630040 140694891234820 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 [pid=3783/tid=3786] ppid=3781 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/3783/task/3786/stat : 3786 (java) S 3781 3783 31640 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 291550710 9855979520 14444 33554432000 1073741824 1073778376 140733718028144 140695015082152 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=3783/tid=3787] ppid=3781 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/3783/task/3787/stat : 3787 (java) S 3781 3783 31640 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291550710 9855979520 14444 33554432000 1073741824 1073778376 140733718028144 140695014029608 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=3783/tid=3788] ppid=3781 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/3783/task/3788/stat : 3788 (java) S 3781 3783 31640 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291550710 9855979520 14444 33554432000 1073741824 1073778376 140733718028144 140695012977064 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=3783/tid=3789] ppid=3781 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/3783/task/3789/stat : 3789 (java) S 3781 3783 31640 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 19 0 291550710 9855979520 14444 33554432000 1073741824 1073778376 140733718028144 140695011924520 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=3783/tid=3790] ppid=3781 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/3783/task/3790/stat : 3790 (java) S 3781 3783 31640 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 291550710 9855979520 14444 33554432000 1073741824 1073778376 140733718028144 140695010871976 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=3783/tid=3791] ppid=3781 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/3783/task/3791/stat : 3791 (java) S 3781 3783 31640 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291550710 9855979520 14444 33554432000 1073741824 1073778376 140733718028144 140695009819432 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=3783/tid=3792] ppid=3781 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/3783/task/3792/stat : 3792 (java) S 3781 3783 31640 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 291550710 9855979520 14444 33554432000 1073741824 1073778376 140733718028144 140694880037800 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=3783/tid=3793] ppid=3781 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/3783/task/3793/stat : 3793 (java) S 3781 3783 31640 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 291550710 9855979520 14444 33554432000 1073741824 1073778376 140733718028144 140694878985256 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=3783/tid=3794] ppid=3781 vsize=9624980 CPUtime=0.03 cores=1,3,5,7 /proc/3783/task/3794/stat : 3794 (java) S 3781 3783 31640 0 -1 4202560 31 0 0 0 3 0 0 0 20 0 19 0 291550711 9855979520 14444 33554432000 1073741824 1073778376 140733718028144 140694396037224 254753683369 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=3783/tid=3795] ppid=3781 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/3783/task/3795/stat : 3795 (java) S 3781 3783 31640 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291550712 9855979520 14444 33554432000 1073741824 1073778376 140733718028144 140694394983544 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=3783/tid=3796] ppid=3781 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/3783/task/3796/stat : 3796 (java) S 3781 3783 31640 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291550712 9855979520 14444 33554432000 1073741824 1073778376 140733718028144 140694393930888 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=3783/tid=3797] ppid=3781 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/3783/task/3797/stat : 3797 (java) S 3781 3783 31640 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291550714 9855979520 14444 33554432000 1073741824 1073778376 140733718028144 140694392879632 254753691424 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=3783/tid=3798] ppid=3781 vsize=9624980 CPUtime=0.34 cores=1,3,5,7 /proc/3783/task/3798/stat : 3798 (java) S 3781 3783 31640 0 -1 4202560 5241 0 0 0 34 0 0 0 20 0 19 0 291550714 9855979520 14444 33554432000 1073741824 1073778376 140733718028144 140694391827000 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=3783/tid=3799] ppid=3781 vsize=9624980 CPUtime=0.4 cores=1,3,5,7 /proc/3783/task/3799/stat : 3799 (java) S 3781 3783 31640 0 -1 4202560 8408 0 0 0 39 1 0 0 20 0 19 0 291550714 9855979520 14444 33554432000 1073741824 1073778376 140733718028144 140694390774456 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=3783/tid=3800] ppid=3781 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/3783/task/3800/stat : 3800 (java) S 3781 3783 31640 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291550714 9855979520 14444 33554432000 1073741824 1073778376 140733718028144 140694389722104 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=3783/tid=3801] ppid=3781 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/3783/task/3801/stat : 3801 (java) S 3781 3783 31640 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291550714 9855979520 14444 33554432000 1073741824 1073778376 140733718028144 140694388669768 254753683369 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=3783/tid=3802] ppid=3781 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/3783/task/3802/stat : 3802 (java) S 3781 3783 31640 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291550726 9855979520 14444 33554432000 1073741824 1073778376 140733718028144 140694387614504 254753683369 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 2.28 Current children cumulated vsize (KiB) 9624980 [startup+3.10075 s] /proc/loadavg: 2.15 2.07 2.02 4/214 3802 /proc/meminfo: memFree=29452104/32873844 swapFree=7628/7628 [pid=3783] ppid=3781 vsize=9624980 CPUtime=3.96 cores=1,3,5,7 /proc/3783/stat : 3783 (java) S 3781 3783 31640 0 -1 4202496 17388 0 1 0 392 4 0 0 20 0 19 0 291550709 9855979520 14457 33554432000 1073741824 1073778376 140733718028144 140733718019280 254753669181 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/3783/statm: 2406245 14457 2272 9 0 2396937 0 [pid=3783/tid=3785] ppid=3781 vsize=9624980 CPUtime=2.94 cores=1,3,5,7 /proc/3783/task/3785/stat : 3785 (java) R 3781 3783 31640 0 -1 4202560 2469 0 1 0 292 2 0 0 20 0 19 0 291550709 9855979520 14457 33554432000 1073741824 1073778376 140733718028144 140695042630040 140694891481763 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 [pid=3783/tid=3786] ppid=3781 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/3783/task/3786/stat : 3786 (java) S 3781 3783 31640 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 19 0 291550710 9855979520 14457 33554432000 1073741824 1073778376 140733718028144 140695015082152 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=3783/tid=3787] ppid=3781 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/3783/task/3787/stat : 3787 (java) S 3781 3783 31640 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 291550710 9855979520 14457 33554432000 1073741824 1073778376 140733718028144 140695014029608 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=3783/tid=3788] ppid=3781 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/3783/task/3788/stat : 3788 (java) S 3781 3783 31640 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 291550710 9855979520 14457 33554432000 1073741824 1073778376 140733718028144 140695012977064 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=3783/tid=3789] ppid=3781 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/3783/task/3789/stat : 3789 (java) S 3781 3783 31640 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 19 0 291550710 9855979520 14457 33554432000 1073741824 1073778376 140733718028144 140695011924520 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=3783/tid=3790] ppid=3781 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/3783/task/3790/stat : 3790 (java) S 3781 3783 31640 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 291550710 9855979520 14457 33554432000 1073741824 1073778376 140733718028144 140695010871976 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=3783/tid=3791] ppid=3781 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/3783/task/3791/stat : 3791 (java) S 3781 3783 31640 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 291550710 9855979520 14457 33554432000 1073741824 1073778376 140733718028144 140695009819432 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=3783/tid=3792] ppid=3781 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/3783/task/3792/stat : 3792 (java) S 3781 3783 31640 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 291550710 9855979520 14457 33554432000 1073741824 1073778376 140733718028144 140694880037800 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=3783/tid=3793] ppid=3781 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/3783/task/3793/stat : 3793 (java) S 3781 3783 31640 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 291550710 9855979520 14457 33554432000 1073741824 1073778376 140733718028144 140694878985256 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=3783/tid=3794] ppid=3781 vsize=9624980 CPUtime=0.09 cores=1,3,5,7 /proc/3783/task/3794/stat : 3794 (java) S 3781 3783 31640 0 -1 4202560 31 0 0 0 9 0 0 0 20 0 19 0 291550711 9855979520 14457 33554432000 1073741824 1073778376 140733718028144 140694396037224 254753683369 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=3783/tid=3795] ppid=3781 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/3783/task/3795/stat : 3795 (java) S 3781 3783 31640 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291550712 9855979520 14457 33554432000 1073741824 1073778376 140733718028144 140694394983544 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=3783/tid=3796] ppid=3781 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/3783/task/3796/stat : 3796 (java) S 3781 3783 31640 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291550712 9855979520 14457 33554432000 1073741824 1073778376 140733718028144 140694393930888 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=3783/tid=3797] ppid=3781 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/3783/task/3797/stat : 3797 (java) S 3781 3783 31640 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291550714 9855979520 14457 33554432000 1073741824 1073778376 140733718028144 140694392879632 254753691424 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=3783/tid=3798] ppid=3781 vsize=9624980 CPUtime=0.34 cores=1,3,5,7 /proc/3783/task/3798/stat : 3798 (java) S 3781 3783 31640 0 -1 4202560 5241 0 0 0 34 0 0 0 20 0 19 0 291550714 9855979520 14457 33554432000 1073741824 1073778376 140733718028144 140694391827000 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=3783/tid=3799] ppid=3781 vsize=9624980 CPUtime=0.47 cores=1,3,5,7 /proc/3783/task/3799/stat : 3799 (java) S 3781 3783 31640 0 -1 4202560 8408 0 0 0 45 2 0 0 20 0 19 0 291550714 9855979520 14457 33554432000 1073741824 1073778376 140733718028144 140694390774456 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=3783/tid=3800] ppid=3781 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/3783/task/3800/stat : 3800 (java) S 3781 3783 31640 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291550714 9855979520 14457 33554432000 1073741824 1073778376 140733718028144 140694389722104 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=3783/tid=3801] ppid=3781 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/3783/task/3801/stat : 3801 (java) S 3781 3783 31640 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291550714 9855979520 14457 33554432000 1073741824 1073778376 140733718028144 140694388669768 254753683369 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=3783/tid=3802] ppid=3781 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/3783/task/3802/stat : 3802 (java) S 3781 3783 31640 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291550726 9855979520 14457 33554432000 1073741824 1073778376 140733718028144 140694387614504 254753683369 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 3.96 Current children cumulated vsize (KiB) 9624980 [startup+6.30062 s] /proc/loadavg: 2.15 2.07 2.02 3/214 3802 /proc/meminfo: memFree=29451856/32873844 swapFree=7628/7628 [pid=3783] ppid=3781 vsize=9624980 CPUtime=7.26 cores=1,3,5,7 /proc/3783/stat : 3783 (java) S 3781 3783 31640 0 -1 4202496 17409 0 1 0 722 4 0 0 20 0 19 0 291550709 9855979520 14312 33554432000 1073741824 1073778376 140733718028144 140733718019280 254753669181 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/3783/statm: 2406245 14312 2273 9 0 2396937 0 [pid=3783/tid=3785] ppid=3781 vsize=9624980 CPUtime=5.97 cores=1,3,5,7 /proc/3783/task/3785/stat : 3785 (java) R 3781 3783 31640 0 -1 4202560 2483 0 1 0 595 2 0 0 20 0 19 0 291550709 9855979520 14312 33554432000 1073741824 1073778376 140733718028144 140695042630040 140694891446726 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 [pid=3783/tid=3786] ppid=3781 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/3783/task/3786/stat : 3786 (java) S 3781 3783 31640 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 19 0 291550710 9855979520 14312 33554432000 1073741824 1073778376 140733718028144 140695015082152 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=3783/tid=3787] ppid=3781 vsize=9624980 CPUtime=0.01 cores=1,3,5,7 /proc/3783/task/3787/stat : 3787 (java) S 3781 3783 31640 0 -1 4202560 5 0 0 0 1 0 0 0 20 0 19 0 291550710 9855979520 14312 33554432000 1073741824 1073778376 140733718028144 140695014029608 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=3783/tid=3788] ppid=3781 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/3783/task/3788/stat : 3788 (java) S 3781 3783 31640 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 291550710 9855979520 14312 33554432000 1073741824 1073778376 140733718028144 140695012977064 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=3783/tid=3789] ppid=3781 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/3783/task/3789/stat : 3789 (java) S 3781 3783 31640 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 19 0 291550710 9855979520 14312 33554432000 1073741824 1073778376 140733718028144 140695011924520 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=3783/tid=3790] ppid=3781 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/3783/task/3790/stat : 3790 (java) S 3781 3783 31640 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 291550710 9855979520 14312 33554432000 1073741824 1073778376 140733718028144 140695010871976 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=3783/tid=3791] ppid=3781 vsize=9624980 CPUtime=0.01 cores=1,3,5,7 /proc/3783/task/3791/stat : 3791 (java) S 3781 3783 31640 0 -1 4202560 5 0 0 0 1 0 0 0 20 0 19 0 291550710 9855979520 14312 33554432000 1073741824 1073778376 140733718028144 140695009819432 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=3783/tid=3792] ppid=3781 vsize=9624980 CPUtime=0.01 cores=1,3,5,7 /proc/3783/task/3792/stat : 3792 (java) S 3781 3783 31640 0 -1 4202560 4 0 0 0 1 0 0 0 20 0 19 0 291550710 9855979520 14312 33554432000 1073741824 1073778376 140733718028144 140694880037800 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=3783/tid=3793] ppid=3781 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/3783/task/3793/stat : 3793 (java) S 3781 3783 31640 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 291550710 9855979520 14312 33554432000 1073741824 1073778376 140733718028144 140694878985256 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=3783/tid=3794] ppid=3781 vsize=9624980 CPUtime=0.22 cores=1,3,5,7 /proc/3783/task/3794/stat : 3794 (java) S 3781 3783 31640 0 -1 4202560 31 0 0 0 22 0 0 0 20 0 19 0 291550711 9855979520 14312 33554432000 1073741824 1073778376 140733718028144 140694396037224 254753683369 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=3783/tid=3795] ppid=3781 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/3783/task/3795/stat : 3795 (java) S 3781 3783 31640 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291550712 9855979520 14312 33554432000 1073741824 1073778376 140733718028144 140694394983544 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=3783/tid=3796] ppid=3781 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/3783/task/3796/stat : 3796 (java) S 3781 3783 31640 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291550712 9855979520 14312 33554432000 1073741824 1073778376 140733718028144 140694393930888 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=3783/tid=3797] ppid=3781 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/3783/task/3797/stat : 3797 (java) S 3781 3783 31640 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291550714 9855979520 14312 33554432000 1073741824 1073778376 140733718028144 140694392879632 254753691424 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=3783/tid=3798] ppid=3781 vsize=9624980 CPUtime=0.35 cores=1,3,5,7 /proc/3783/task/3798/stat : 3798 (java) S 3781 3783 31640 0 -1 4202560 5241 0 0 0 35 0 0 0 20 0 19 0 291550714 9855979520 14312 33554432000 1073741824 1073778376 140733718028144 140694391827000 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=3783/tid=3799] ppid=3781 vsize=9624980 CPUtime=0.51 cores=1,3,5,7 /proc/3783/task/3799/stat : 3799 (java) S 3781 3783 31640 0 -1 4202560 8409 0 0 0 49 2 0 0 20 0 19 0 291550714 9855979520 14312 33554432000 1073741824 1073778376 140733718028144 140694390774456 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=3783/tid=3800] ppid=3781 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/3783/task/3800/stat : 3800 (java) S 3781 3783 31640 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291550714 9855979520 14312 33554432000 1073741824 1073778376 140733718028144 140694389722104 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=3783/tid=3801] ppid=3781 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/3783/task/3801/stat : 3801 (java) S 3781 3783 31640 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291550714 9855979520 14312 33554432000 1073741824 1073778376 140733718028144 140694388669768 254753683369 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=3783/tid=3802] ppid=3781 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/3783/task/3802/stat : 3802 (java) S 3781 3783 31640 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291550726 9855979520 14312 33554432000 1073741824 1073778376 140733718028144 140694387614504 254753683369 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 7.26 Current children cumulated vsize (KiB) 9624980 [startup+12.7006 s] ################ # More data... # ################ /proc/3783/task/3793/stat : 3793 (java) S 3781 3783 31640 0 -1 4202560 26 0 0 0 7 0 0 0 20 0 19 0 291550710 9855979520 16580 33554432000 1073741824 1073778376 140733718028144 140694878985256 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=3783/tid=3794] ppid=3781 vsize=9624980 CPUtime=1.26 cores=1,3,5,7 /proc/3783/task/3794/stat : 3794 (java) S 3781 3783 31640 0 -1 4202560 63 0 0 0 126 0 0 0 20 0 19 0 291550711 9855979520 16580 33554432000 1073741824 1073778376 140733718028144 140694396037224 254753683369 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=3783/tid=3795] ppid=3781 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/3783/task/3795/stat : 3795 (java) S 3781 3783 31640 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291550712 9855979520 16580 33554432000 1073741824 1073778376 140733718028144 140694394983544 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=3783/tid=3796] ppid=3781 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/3783/task/3796/stat : 3796 (java) S 3781 3783 31640 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291550712 9855979520 16580 33554432000 1073741824 1073778376 140733718028144 140694393930888 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=3783/tid=3797] ppid=3781 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/3783/task/3797/stat : 3797 (java) S 3781 3783 31640 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291550714 9855979520 16580 33554432000 1073741824 1073778376 140733718028144 140694392879632 254753691424 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=3783/tid=3798] ppid=3781 vsize=9624980 CPUtime=0.42 cores=1,3,5,7 /proc/3783/task/3798/stat : 3798 (java) S 3781 3783 31640 0 -1 4202560 5281 0 0 0 42 0 0 0 20 0 19 0 291550714 9855979520 16580 33554432000 1073741824 1073778376 140733718028144 140694391827000 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=3783/tid=3799] ppid=3781 vsize=9624980 CPUtime=1.3 cores=1,3,5,7 /proc/3783/task/3799/stat : 3799 (java) S 3781 3783 31640 0 -1 4202560 18852 0 0 0 128 2 0 0 20 0 19 0 291550714 9855979520 16580 33554432000 1073741824 1073778376 140733718028144 140694390774456 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=3783/tid=3800] ppid=3781 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/3783/task/3800/stat : 3800 (java) S 3781 3783 31640 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291550714 9855979520 16580 33554432000 1073741824 1073778376 140733718028144 140694389722104 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=3783/tid=3801] ppid=3781 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/3783/task/3801/stat : 3801 (java) S 3781 3783 31640 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291550714 9855979520 16580 33554432000 1073741824 1073778376 140733718028144 140694388669768 254753683369 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=3783/tid=3802] ppid=3781 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/3783/task/3802/stat : 3802 (java) S 3781 3783 31640 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291550726 9855979520 16580 33554432000 1073741824 1073778376 140733718028144 140694387614504 254753683369 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 34.15 Current children cumulated vsize (KiB) 9624980 [startup+33.5006 s] /proc/loadavg: 2.15 2.08 2.02 3/214 3802 /proc/meminfo: memFree=29443344/32873844 swapFree=7628/7628 [pid=3783] ppid=3781 vsize=9624980 CPUtime=35.75 cores=1,3,5,7 /proc/3783/stat : 3783 (java) S 3781 3783 31640 0 -1 4202496 28070 0 1 0 3565 10 0 0 20 0 19 0 291550709 9855979520 16583 33554432000 1073741824 1073778376 140733718028144 140733718019280 254753669181 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/3783/statm: 2406245 16583 2274 9 0 2396937 0 [pid=3783/tid=3785] ppid=3781 vsize=9624980 CPUtime=31.76 cores=1,3,5,7 /proc/3783/task/3785/stat : 3785 (java) R 3781 3783 31640 0 -1 4202560 2579 0 1 0 3174 2 0 0 20 0 19 0 291550709 9855979520 16583 33554432000 1073741824 1073778376 140733718028144 140695042629920 140694891433244 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 [pid=3783/tid=3786] ppid=3781 vsize=9624980 CPUtime=0.09 cores=1,3,5,7 /proc/3783/task/3786/stat : 3786 (java) S 3781 3783 31640 0 -1 4202560 20 0 0 0 9 0 0 0 20 0 19 0 291550710 9855979520 16583 33554432000 1073741824 1073778376 140733718028144 140695015082152 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=3783/tid=3787] ppid=3781 vsize=9624980 CPUtime=0.09 cores=1,3,5,7 /proc/3783/task/3787/stat : 3787 (java) S 3781 3783 31640 0 -1 4202560 11 0 0 0 9 0 0 0 20 0 19 0 291550710 9855979520 16583 33554432000 1073741824 1073778376 140733718028144 140695014029608 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=3783/tid=3788] ppid=3781 vsize=9624980 CPUtime=0.09 cores=1,3,5,7 /proc/3783/task/3788/stat : 3788 (java) S 3781 3783 31640 0 -1 4202560 9 0 0 0 9 0 0 0 20 0 19 0 291550710 9855979520 16583 33554432000 1073741824 1073778376 140733718028144 140695012977064 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=3783/tid=3789] ppid=3781 vsize=9624980 CPUtime=0.07 cores=1,3,5,7 /proc/3783/task/3789/stat : 3789 (java) S 3781 3783 31640 0 -1 4202560 17 0 0 0 7 0 0 0 20 0 19 0 291550710 9855979520 16583 33554432000 1073741824 1073778376 140733718028144 140695011924520 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=3783/tid=3790] ppid=3781 vsize=9624980 CPUtime=0.08 cores=1,3,5,7 /proc/3783/task/3790/stat : 3790 (java) S 3781 3783 31640 0 -1 4202560 10 0 0 0 8 0 0 0 20 0 19 0 291550710 9855979520 16583 33554432000 1073741824 1073778376 140733718028144 140695010871976 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=3783/tid=3791] ppid=3781 vsize=9624980 CPUtime=0.1 cores=1,3,5,7 /proc/3783/task/3791/stat : 3791 (java) S 3781 3783 31640 0 -1 4202560 11 0 0 0 10 0 0 0 20 0 19 0 291550710 9855979520 16583 33554432000 1073741824 1073778376 140733718028144 140695009819432 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=3783/tid=3792] ppid=3781 vsize=9624980 CPUtime=0.1 cores=1,3,5,7 /proc/3783/task/3792/stat : 3792 (java) S 3781 3783 31640 0 -1 4202560 10 0 0 0 10 0 0 0 20 0 19 0 291550710 9855979520 16583 33554432000 1073741824 1073778376 140733718028144 140694880037800 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=3783/tid=3793] ppid=3781 vsize=9624980 CPUtime=0.07 cores=1,3,5,7 /proc/3783/task/3793/stat : 3793 (java) S 3781 3783 31640 0 -1 4202560 26 0 0 0 7 0 0 0 20 0 19 0 291550710 9855979520 16583 33554432000 1073741824 1073778376 140733718028144 140694878985256 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=3783/tid=3794] ppid=3781 vsize=9624980 CPUtime=1.31 cores=1,3,5,7 /proc/3783/task/3794/stat : 3794 (java) S 3781 3783 31640 0 -1 4202560 63 0 0 0 131 0 0 0 20 0 19 0 291550711 9855979520 16583 33554432000 1073741824 1073778376 140733718028144 140694396037224 254753683369 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=3783/tid=3795] ppid=3781 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/3783/task/3795/stat : 3795 (java) S 3781 3783 31640 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291550712 9855979520 16583 33554432000 1073741824 1073778376 140733718028144 140694394983544 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=3783/tid=3796] ppid=3781 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/3783/task/3796/stat : 3796 (java) S 3781 3783 31640 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291550712 9855979520 16583 33554432000 1073741824 1073778376 140733718028144 140694393930888 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=3783/tid=3797] ppid=3781 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/3783/task/3797/stat : 3797 (java) S 3781 3783 31640 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291550714 9855979520 16583 33554432000 1073741824 1073778376 140733718028144 140694392879632 254753691424 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=3783/tid=3798] ppid=3781 vsize=9624980 CPUtime=0.42 cores=1,3,5,7 /proc/3783/task/3798/stat : 3798 (java) S 3781 3783 31640 0 -1 4202560 5281 0 0 0 42 0 0 0 20 0 19 0 291550714 9855979520 16583 33554432000 1073741824 1073778376 140733718028144 140694391827000 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=3783/tid=3799] ppid=3781 vsize=9624980 CPUtime=1.3 cores=1,3,5,7 /proc/3783/task/3799/stat : 3799 (java) S 3781 3783 31640 0 -1 4202560 18852 0 0 0 128 2 0 0 20 0 19 0 291550714 9855979520 16583 33554432000 1073741824 1073778376 140733718028144 140694390774456 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=3783/tid=3800] ppid=3781 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/3783/task/3800/stat : 3800 (java) S 3781 3783 31640 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291550714 9855979520 16583 33554432000 1073741824 1073778376 140733718028144 140694389722104 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=3783/tid=3801] ppid=3781 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/3783/task/3801/stat : 3801 (java) S 3781 3783 31640 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291550714 9855979520 16583 33554432000 1073741824 1073778376 140733718028144 140694388669768 254753683369 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=3783/tid=3802] ppid=3781 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/3783/task/3802/stat : 3802 (java) S 3781 3783 31640 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291550726 9855979520 16583 33554432000 1073741824 1073778376 140733718028144 140694387614504 254753683369 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 35.75 Current children cumulated vsize (KiB) 9624980 [startup+33.9006 s] /proc/loadavg: 2.15 2.08 2.02 3/214 3802 /proc/meminfo: memFree=29443344/32873844 swapFree=7628/7628 [pid=3783] ppid=3781 vsize=9624980 CPUtime=36.18 cores=1,3,5,7 /proc/3783/stat : 3783 (java) S 3781 3783 31640 0 -1 4202496 28076 0 1 0 3608 10 0 0 20 0 19 0 291550709 9855979520 16307 33554432000 1073741824 1073778376 140733718028144 140733718019280 254753669181 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/3783/statm: 2406245 16307 2274 9 0 2396937 0 [pid=3783/tid=3785] ppid=3781 vsize=9624980 CPUtime=32.13 cores=1,3,5,7 /proc/3783/task/3785/stat : 3785 (java) R 3781 3783 31640 0 -1 4202560 2581 0 1 0 3211 2 0 0 20 0 19 0 291550709 9855979520 16307 33554432000 1073741824 1073778376 140733718028144 140695042630040 140694891500561 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 [pid=3783/tid=3786] ppid=3781 vsize=9624980 CPUtime=0.09 cores=1,3,5,7 /proc/3783/task/3786/stat : 3786 (java) S 3781 3783 31640 0 -1 4202560 20 0 0 0 9 0 0 0 20 0 19 0 291550710 9855979520 16307 33554432000 1073741824 1073778376 140733718028144 140695015082152 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=3783/tid=3787] ppid=3781 vsize=9624980 CPUtime=0.09 cores=1,3,5,7 /proc/3783/task/3787/stat : 3787 (java) S 3781 3783 31640 0 -1 4202560 11 0 0 0 9 0 0 0 20 0 19 0 291550710 9855979520 16307 33554432000 1073741824 1073778376 140733718028144 140695014029608 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=3783/tid=3788] ppid=3781 vsize=9624980 CPUtime=0.09 cores=1,3,5,7 /proc/3783/task/3788/stat : 3788 (java) S 3781 3783 31640 0 -1 4202560 9 0 0 0 9 0 0 0 20 0 19 0 291550710 9855979520 16307 33554432000 1073741824 1073778376 140733718028144 140695012977064 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=3783/tid=3789] ppid=3781 vsize=9624980 CPUtime=0.08 cores=1,3,5,7 /proc/3783/task/3789/stat : 3789 (java) S 3781 3783 31640 0 -1 4202560 17 0 0 0 8 0 0 0 20 0 19 0 291550710 9855979520 16307 33554432000 1073741824 1073778376 140733718028144 140695011924520 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=3783/tid=3790] ppid=3781 vsize=9624980 CPUtime=0.09 cores=1,3,5,7 /proc/3783/task/3790/stat : 3790 (java) S 3781 3783 31640 0 -1 4202560 10 0 0 0 9 0 0 0 20 0 19 0 291550710 9855979520 16307 33554432000 1073741824 1073778376 140733718028144 140695010871976 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=3783/tid=3791] ppid=3781 vsize=9624980 CPUtime=0.1 cores=1,3,5,7 /proc/3783/task/3791/stat : 3791 (java) S 3781 3783 31640 0 -1 4202560 11 0 0 0 10 0 0 0 20 0 19 0 291550710 9855979520 16307 33554432000 1073741824 1073778376 140733718028144 140695009819432 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=3783/tid=3792] ppid=3781 vsize=9624980 CPUtime=0.1 cores=1,3,5,7 /proc/3783/task/3792/stat : 3792 (java) S 3781 3783 31640 0 -1 4202560 10 0 0 0 10 0 0 0 20 0 19 0 291550710 9855979520 16307 33554432000 1073741824 1073778376 140733718028144 140694880037800 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=3783/tid=3793] ppid=3781 vsize=9624980 CPUtime=0.07 cores=1,3,5,7 /proc/3783/task/3793/stat : 3793 (java) S 3781 3783 31640 0 -1 4202560 26 0 0 0 7 0 0 0 20 0 19 0 291550710 9855979520 16307 33554432000 1073741824 1073778376 140733718028144 140694878985256 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=3783/tid=3794] ppid=3781 vsize=9624980 CPUtime=1.33 cores=1,3,5,7 /proc/3783/task/3794/stat : 3794 (java) S 3781 3783 31640 0 -1 4202560 65 0 0 0 133 0 0 0 20 0 19 0 291550711 9855979520 16307 33554432000 1073741824 1073778376 140733718028144 140694396037224 254753683369 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=3783/tid=3795] ppid=3781 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/3783/task/3795/stat : 3795 (java) S 3781 3783 31640 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291550712 9855979520 16307 33554432000 1073741824 1073778376 140733718028144 140694394983544 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=3783/tid=3796] ppid=3781 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/3783/task/3796/stat : 3796 (java) S 3781 3783 31640 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291550712 9855979520 16307 33554432000 1073741824 1073778376 140733718028144 140694393930888 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=3783/tid=3797] ppid=3781 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/3783/task/3797/stat : 3797 (java) S 3781 3783 31640 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291550714 9855979520 16307 33554432000 1073741824 1073778376 140733718028144 140694392879632 254753691424 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=3783/tid=3798] ppid=3781 vsize=9624980 CPUtime=0.42 cores=1,3,5,7 /proc/3783/task/3798/stat : 3798 (java) S 3781 3783 31640 0 -1 4202560 5281 0 0 0 42 0 0 0 20 0 19 0 291550714 9855979520 16307 33554432000 1073741824 1073778376 140733718028144 140694391827000 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=3783/tid=3799] ppid=3781 vsize=9624980 CPUtime=1.31 cores=1,3,5,7 /proc/3783/task/3799/stat : 3799 (java) S 3781 3783 31640 0 -1 4202560 18852 0 0 0 129 2 0 0 20 0 19 0 291550714 9855979520 16307 33554432000 1073741824 1073778376 140733718028144 140694390774456 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=3783/tid=3800] ppid=3781 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/3783/task/3800/stat : 3800 (java) S 3781 3783 31640 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291550714 9855979520 16307 33554432000 1073741824 1073778376 140733718028144 140694389722104 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=3783/tid=3801] ppid=3781 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/3783/task/3801/stat : 3801 (java) S 3781 3783 31640 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 291550714 9855979520 16307 33554432000 1073741824 1073778376 140733718028144 140694388669768 254753683369 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=3783/tid=3802] ppid=3781 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/3783/task/3802/stat : 3802 (java) S 3781 3783 31640 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291550726 9855979520 16307 33554432000 1073741824 1073778376 140733718028144 140694387614504 254753683369 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 36.18 Current children cumulated vsize (KiB) 9624980 [startup+34.1072 s] /proc/loadavg: 2.15 2.08 2.02 3/214 3802 /proc/meminfo: memFree=29443716/32873844 swapFree=7628/7628 [pid=3783] ppid=3781 vsize=9624980 CPUtime=36.39 cores=1,3,5,7 /proc/3783/stat : 3783 (java) S 3781 3783 31640 0 -1 4202496 28077 0 1 0 3629 10 0 0 20 0 19 0 291550709 9855979520 16307 33554432000 1073741824 1073778376 140733718028144 140733718019280 254753669181 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/3783/statm: 2406245 16307 2274 9 0 2396937 0 [pid=3783/tid=3785] ppid=3781 vsize=9624980 CPUtime=32.32 cores=1,3,5,7 /proc/3783/task/3785/stat : 3785 (java) R 3781 3783 31640 0 -1 4202560 2582 0 1 0 3230 2 0 0 20 0 19 0 291550709 9855979520 16307 33554432000 1073741824 1073778376 140733718028144 140695042630040 140694891433330 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 [pid=3783/tid=3786] ppid=3781 vsize=9624980 CPUtime=0.09 cores=1,3,5,7 /proc/3783/task/3786/stat : 3786 (java) S 3781 3783 31640 0 -1 4202560 20 0 0 0 9 0 0 0 20 0 19 0 291550710 9855979520 16307 33554432000 1073741824 1073778376 140733718028144 140695015082152 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=3783/tid=3787] ppid=3781 vsize=9624980 CPUtime=0.09 cores=1,3,5,7 /proc/3783/task/3787/stat : 3787 (java) S 3781 3783 31640 0 -1 4202560 11 0 0 0 9 0 0 0 20 0 19 0 291550710 9855979520 16307 33554432000 1073741824 1073778376 140733718028144 140695014029608 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=3783/tid=3788] ppid=3781 vsize=9624980 CPUtime=0.09 cores=1,3,5,7 /proc/3783/task/3788/stat : 3788 (java) S 3781 3783 31640 0 -1 4202560 9 0 0 0 9 0 0 0 20 0 19 0 291550710 9855979520 16307 33554432000 1073741824 1073778376 140733718028144 140695012977064 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=3783/tid=3789] ppid=3781 vsize=9624980 CPUtime=0.08 cores=1,3,5,7 /proc/3783/task/3789/stat : 3789 (java) S 3781 3783 31640 0 -1 4202560 17 0 0 0 8 0 0 0 20 0 19 0 291550710 9855979520 16307 33554432000 1073741824 1073778376 140733718028144 140695011924520 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=3783/tid=3790] ppid=3781 vsize=9624980 CPUtime=0.09 cores=1,3,5,7 /proc/3783/task/3790/stat : 3790 (java) S 3781 3783 31640 0 -1 4202560 10 0 0 0 9 0 0 0 20 0 19 0 291550710 9855979520 16307 33554432000 1073741824 1073778376 140733718028144 140695010871976 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=3783/tid=3791] ppid=3781 vsize=9624980 CPUtime=0.1 cores=1,3,5,7 /proc/3783/task/3791/stat : 3791 (java) S 3781 3783 31640 0 -1 4202560 11 0 0 0 10 0 0 0 20 0 19 0 291550710 9855979520 16307 33554432000 1073741824 1073778376 140733718028144 140695009819432 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=3783/tid=3792] ppid=3781 vsize=9624980 CPUtime=0.1 cores=1,3,5,7 /proc/3783/task/3792/stat : 3792 (java) S 3781 3783 31640 0 -1 4202560 10 0 0 0 10 0 0 0 20 0 19 0 291550710 9855979520 16307 33554432000 1073741824 1073778376 140733718028144 140694880037800 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=3783/tid=3793] ppid=3781 vsize=9624980 CPUtime=0.07 cores=1,3,5,7 /proc/3783/task/3793/stat : 3793 (java) S 3781 3783 31640 0 -1 4202560 26 0 0 0 7 0 0 0 20 0 19 0 291550710 9855979520 16307 33554432000 1073741824 1073778376 140733718028144 140694878985256 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=3783/tid=3794] ppid=3781 vsize=9624980 CPUtime=1.35 cores=1,3,5,7 /proc/3783/task/3794/stat : 3794 (java) S 3781 3783 31640 0 -1 4202560 65 0 0 0 135 0 0 0 20 0 19 0 291550711 9855979520 16307 33554432000 1073741824 1073778376 140733718028144 140694396037224 254753683369 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=3783/tid=3795] ppid=3781 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/3783/task/3795/stat : 3795 (java) S 3781 3783 31640 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291550712 9855979520 16307 33554432000 1073741824 1073778376 140733718028144 140694394983544 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=3783/tid=3796] ppid=3781 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/3783/task/3796/stat : 3796 (java) S 3781 3783 31640 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291550712 9855979520 16307 33554432000 1073741824 1073778376 140733718028144 140694393930888 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=3783/tid=3797] ppid=3781 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/3783/task/3797/stat : 3797 (java) S 3781 3783 31640 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291550714 9855979520 16307 33554432000 1073741824 1073778376 140733718028144 140694392879632 254753691424 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=3783/tid=3798] ppid=3781 vsize=9624980 CPUtime=0.42 cores=1,3,5,7 /proc/3783/task/3798/stat : 3798 (java) S 3781 3783 31640 0 -1 4202560 5281 0 0 0 42 0 0 0 20 0 19 0 291550714 9855979520 16307 33554432000 1073741824 1073778376 140733718028144 140694391827000 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=3783/tid=3799] ppid=3781 vsize=9624980 CPUtime=1.31 cores=1,3,5,7 /proc/3783/task/3799/stat : 3799 (java) S 3781 3783 31640 0 -1 4202560 18852 0 0 0 129 2 0 0 20 0 19 0 291550714 9855979520 16307 33554432000 1073741824 1073778376 140733718028144 140694390774456 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=3783/tid=3800] ppid=3781 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/3783/task/3800/stat : 3800 (java) S 3781 3783 31640 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291550714 9855979520 16307 33554432000 1073741824 1073778376 140733718028144 140694389722104 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=3783/tid=3801] ppid=3781 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/3783/task/3801/stat : 3801 (java) S 3781 3783 31640 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 291550714 9855979520 16307 33554432000 1073741824 1073778376 140733718028144 140694388669768 254753683369 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=3783/tid=3802] ppid=3781 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/3783/task/3802/stat : 3802 (java) S 3781 3783 31640 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291550726 9855979520 16307 33554432000 1073741824 1073778376 140733718028144 140694387614504 254753683369 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 36.39 Current children cumulated vsize (KiB) 9624980 Child status: 30 # WARNING: # CPU time reported by wait4() is probably wrong ! # wait4(...,&childrusage) returns 3783 and gives # childrusage.ru_utime.tv_sec=36 # childrusage.ru_utime.tv_usec=198496 # childrusage.ru_stime.tv_sec=0 # childrusage.ru_stime.tv_usec=160975 # CPU time returned by wait4() is 36.3595 # while last known CPU time is 36.39 # # Solver probably didn't/couldn't wait for its children # Using CPU time of the last sample as value... Real time (s): 34.1231 CPU time (s): 36.39 CPU user time (s): 36.29 CPU system time (s): 0.1 CPU usage (%): 106.643 Max. virtual memory (cumulated for all children) (KiB): 9626700 getrusage(RUSAGE_CHILDREN,...) data: user time used= 36.1985 system time used= 0.160975 maximum resident set size= 71928 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 28091 page faults= 1 swaps= 0 block input operations= 0 block output operations= 104 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 4253 involuntary context switches= 3261 runsolver used 0.116982 second user time and 0.215967 second system time The end
Begin job on node145 at 2012-05-29 03:17:43 IDJOB=3718453 IDBENCH=79251 IDSOLVER=2301 FILE ID=node145/3718453-1338254263 RUNJOBID= node145-1338246945-1113 PBS_JOBID= 14624633 Free space on /tmp= 71540 MiB SOLVER NAME= Sat4j PB 2012-05-28 BENCH NAME= PB10/normalized-PB10/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1111227012--soft-0-100-0.wbo COMMAND LINE= java -jar HOME/sat4j-pb.jar BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3718453-1338254263/watcher-3718453-1338254263 -o /tmp/evaluation-result-3718453-1338254263/solver-3718453-1338254263 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar HOME/instance-3718453-1338254263.wbo TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 3f56278c0c7f2898f6b9e11f0d13a6fa RANDOM SEED=1978809448 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: 29502408 kB Buffers: 393680 kB Cached: 1901992 kB SwapCached: 0 kB Active: 1001056 kB Inactive: 1521876 kB Active(anon): 218492 kB Inactive(anon): 10912 kB Active(file): 782564 kB Inactive(file): 1510964 kB Unevictable: 7628 kB Mlocked: 7628 kB SwapTotal: 67108856 kB SwapFree: 67108856 kB Dirty: 120 kB Writeback: 0 kB AnonPages: 258616 kB Mapped: 22368 kB Shmem: 200 kB Slab: 708744 kB SReclaimable: 149976 kB SUnreclaim: 558768 kB KernelStack: 1768 kB PageTables: 4276 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545776 kB Committed_AS: 698776 kB VmallocTotal: 34359738367 kB VmallocUsed: 346368 kB VmallocChunk: 34341987984 kB HardwareCorrupted: 0 kB AnonHugePages: 227328 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 03:18:18