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 | 30.1814 | 28.1763 |
| Name | /SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111226062--soft-0-100-0.wbo |
| MD5SUM | 033c12179045731c4fd222e5d353b2b2 |
| 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 | 3 |
| Best CPU time to get the best result obtained on this benchmark | 0.658899 |
| Max-Satisfiable | |
| Max-(Un)Satisfiability was proved | |
| Best value of the cost | |
| Optimality of the best cost was proved | |
| Number of variables | 169 |
| Total number of constraints | 101 |
| Number of soft constraints | 101 |
| Number of constraints which are clauses | 30 |
| Number of constraints which are cardinality constraints (but not clauses) | 70 |
| Number of constraints which are nor clauses,nor cardinality constraints | 1 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 169 |
| Top cost | 4944 |
| Min constraint cost | 1 |
| Max constraint cost | 98 |
| Sum of constraints costs | 4943 |
| Biggest number in a constraint | 38 |
| Number of bits of the biggest number in a constraint | 6 |
| Biggest sum of numbers in a constraint | 1231 |
| 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.01/0.08 c SAT4J: a SATisfiability library for Java (c) 2004-2012 Artois University and CNRS 0.01/0.08 c This is free software under the dual EPL/GNU LGPL licenses. 0.01/0.08 c See www.sat4j.org for details. 0.01/0.08 c version 2.3.2.v20120528 0.01/0.08 c java.runtime.name Java(TM) SE Runtime Environment 0.01/0.08 c java.vm.name Java HotSpot(TM) 64-Bit Server VM 0.01/0.08 c java.vm.version 19.1-b02 0.01/0.08 c java.vm.vendor Sun Microsystems Inc. 0.01/0.08 c sun.arch.data.model 64 0.01/0.08 c java.version 1.6.0_24 0.01/0.08 c os.name Linux 0.01/0.08 c os.version 2.6.32-71.29.1.el6.x86_64 0.01/0.08 c os.arch amd64 0.01/0.08 c Free memory 501472288 0.01/0.08 c Max memory 7480803328 0.01/0.08 c Total memory 504102912 0.01/0.08 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@5f934ad 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-3718452-1338254161.wbo 0.10/0.11 c reading problem ... 0.10/0.16 c ... done. Wall clock time 0.052s. 0.10/0.16 c declared #vars 169 0.10/0.16 c internal #vars 270 0.10/0.16 c #constraints 101 0.10/0.16 c constraints type 0.10/0.16 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 30 0.10/0.16 c ignored satisfied constraints => 1 0.10/0.16 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 71 0.10/0.16 c 102 constraints processed. 0.10/0.16 c objective function length is 101 literals 0.27/0.22 c SATISFIABLE 0.27/0.22 c OPTIMIZING... 0.27/0.22 c Got one! Elapsed wall clock time (in seconds):0.109 0.27/0.22 o 720 0.27/0.24 c Got one! Elapsed wall clock time (in seconds):0.134 0.27/0.24 o 718 0.27/0.25 c Got one! Elapsed wall clock time (in seconds):0.143 0.27/0.25 o 714 0.27/0.26 c Got one! Elapsed wall clock time (in seconds):0.151 0.27/0.26 o 710 0.27/0.27 c Got one! Elapsed wall clock time (in seconds):0.159 0.27/0.27 o 690 0.27/0.28 c Got one! Elapsed wall clock time (in seconds):0.176 0.27/0.28 o 685 0.27/0.29 c Got one! Elapsed wall clock time (in seconds):0.184 0.27/0.29 o 679 0.52/0.30 c Got one! Elapsed wall clock time (in seconds):0.194 0.52/0.30 o 674 0.52/0.32 c Got one! Elapsed wall clock time (in seconds):0.209 0.52/0.32 o 661 0.52/0.32 c Got one! Elapsed wall clock time (in seconds):0.214 0.52/0.32 o 659 0.52/0.33 c Got one! Elapsed wall clock time (in seconds):0.221 0.52/0.33 o 655 0.52/0.33 c Got one! Elapsed wall clock time (in seconds):0.228 0.52/0.33 o 528 0.52/0.35 c Got one! Elapsed wall clock time (in seconds):0.244 0.52/0.35 o 520 0.52/0.38 c Got one! Elapsed wall clock time (in seconds):0.27 0.52/0.38 o 519 0.52/0.39 c Got one! Elapsed wall clock time (in seconds):0.28 0.52/0.39 o 514 0.52/0.39 c Got one! Elapsed wall clock time (in seconds):0.288 0.52/0.39 o 499 0.70/0.41 c Got one! Elapsed wall clock time (in seconds):0.304 0.70/0.41 o 496 0.70/0.43 c Got one! Elapsed wall clock time (in seconds):0.323 0.70/0.43 o 492 0.70/0.44 c Got one! Elapsed wall clock time (in seconds):0.335 0.70/0.44 o 487 0.70/0.45 c Got one! Elapsed wall clock time (in seconds):0.339 0.70/0.45 o 486 0.70/0.45 c Got one! Elapsed wall clock time (in seconds):0.348 0.70/0.45 o 476 0.70/0.48 c Got one! Elapsed wall clock time (in seconds):0.372 0.70/0.48 o 474 0.70/0.49 c Got one! Elapsed wall clock time (in seconds):0.385 0.70/0.49 o 460 0.83/0.53 c Got one! Elapsed wall clock time (in seconds):0.419 0.83/0.53 o 452 0.83/0.54 c Got one! Elapsed wall clock time (in seconds):0.431 0.83/0.54 o 451 0.83/0.54 c Got one! Elapsed wall clock time (in seconds):0.438 0.83/0.54 o 450 0.83/0.55 c Got one! Elapsed wall clock time (in seconds):0.449 0.83/0.55 o 445 0.83/0.57 c Got one! Elapsed wall clock time (in seconds):0.468 0.83/0.57 o 441 1.09/0.60 c Got one! Elapsed wall clock time (in seconds):0.491 1.09/0.60 o 433 1.09/0.69 c Got one! Elapsed wall clock time (in seconds):0.585 1.09/0.69 o 432 1.21/0.71 c Got one! Elapsed wall clock time (in seconds):0.602 1.21/0.71 o 429 1.21/0.72 c Got one! Elapsed wall clock time (in seconds):0.613 1.21/0.72 o 426 1.21/0.74 c Got one! Elapsed wall clock time (in seconds):0.631 1.21/0.74 o 425 1.21/0.76 c Got one! Elapsed wall clock time (in seconds):0.657 1.21/0.76 o 414 1.31/0.80 c Got one! Elapsed wall clock time (in seconds):0.69 1.31/0.80 o 292 1.31/0.86 c cleaning 8707 clauses out of 17429 with flag 4019/17429 1.46/0.90 c Got one! Elapsed wall clock time (in seconds):0.796 1.46/0.90 o 284 1.46/0.99 c Got one! Elapsed wall clock time (in seconds):0.882 1.46/0.99 o 280 1.56/1.02 c Got one! Elapsed wall clock time (in seconds):0.918 1.56/1.02 o 279 1.56/1.05 c Got one! Elapsed wall clock time (in seconds):0.941 1.56/1.05 o 258 1.56/1.08 c Got one! Elapsed wall clock time (in seconds):0.977 1.56/1.08 o 257 1.70/1.13 c cleaning 8183 clauses out of 16379 with flag 4772/25086 1.70/1.16 c Got one! Elapsed wall clock time (in seconds):1.051 1.70/1.16 o 236 1.85/1.24 c Got one! Elapsed wall clock time (in seconds):1.138 1.85/1.24 o 235 1.95/1.31 c cleaning 6902 clauses out of 13821 with flag 8307/30711 1.95/1.36 c Got one! Elapsed wall clock time (in seconds):1.254 1.95/1.36 o 233 2.08/1.42 c Got one! Elapsed wall clock time (in seconds):1.318 2.08/1.42 o 229 2.08/1.46 c Got one! Elapsed wall clock time (in seconds):1.35 2.08/1.46 o 223 2.08/1.49 c cleaning 6267 clauses out of 12559 with flag 4421/36351 2.18/1.52 c Got one! Elapsed wall clock time (in seconds):1.414 2.18/1.52 o 210 2.28/1.64 c Got one! Elapsed wall clock time (in seconds):1.539 2.28/1.64 o 209 2.28/1.68 c cleaning 6048 clauses out of 12128 with flag 4431/42187 2.38/1.73 c Got one! Elapsed wall clock time (in seconds):1.628 2.38/1.73 o 208 2.49/1.85 c cleaning 5815 clauses out of 11658 with flag 17128/47765 2.59/1.95 c Got one! Elapsed wall clock time (in seconds):1.841 2.59/1.95 o 207 2.71/2.05 c cleaning 5876 clauses out of 11759 with flag 12321/53681 2.71/2.07 c Got one! Elapsed wall clock time (in seconds):1.962 2.71/2.07 o 205 2.81/2.18 c Got one! Elapsed wall clock time (in seconds):2.079 2.81/2.18 o 204 2.91/2.25 c cleaning 5715 clauses out of 11449 with flag 9111/59247 3.01/2.38 c Got one! Elapsed wall clock time (in seconds):2.272 3.01/2.38 o 201 3.11/2.44 c cleaning 5826 clauses out of 11674 with flag 9330/65187 3.21/2.51 c Got one! Elapsed wall clock time (in seconds):2.401 3.21/2.51 o 200 3.21/2.60 c cleaning 5422 clauses out of 10870 with flag 13827/70209 3.41/2.74 c Got one! Elapsed wall clock time (in seconds):2.635 3.41/2.74 o 197 3.41/2.76 c Got one! Elapsed wall clock time (in seconds):2.651 3.41/2.76 o 194 3.51/2.80 c cleaning 5928 clauses out of 11864 with flag 3909/76625 3.51/2.86 c Got one! Elapsed wall clock time (in seconds):2.757 3.51/2.86 o 191 3.63/2.92 c Got one! Elapsed wall clock time (in seconds):2.814 3.63/2.92 o 187 3.63/2.99 c cleaning 5761 clauses out of 11545 with flag 9368/82234 3.72/3.02 c Got one! Elapsed wall clock time (in seconds):2.913 3.72/3.02 o 184 3.82/3.12 c Got one! Elapsed wall clock time (in seconds):3.015 3.82/3.12 o 155 3.82/3.19 c cleaning 5996 clauses out of 12004 with flag 9463/88454 4.04/3.39 c cleaning 5992 clauses out of 12007 with flag 37313/94453 4.14/3.44 c Got one! Elapsed wall clock time (in seconds):3.332 4.14/3.44 o 150 4.24/3.56 c cleaning 5517 clauses out of 11064 with flag 19652/99502 4.34/3.65 c Got one! Elapsed wall clock time (in seconds):3.544 4.34/3.65 o 147 4.44/3.75 c cleaning 5606 clauses out of 11230 with flag 15224/105185 4.64/3.94 c cleaning 5806 clauses out of 11625 with flag 45146/111186 4.74/4.03 c Got one! Elapsed wall clock time (in seconds):3.919 4.74/4.03 o 143 4.74/4.05 c Got one! Elapsed wall clock time (in seconds):3.936 4.74/4.05 o 142 4.84/4.13 c Got one! Elapsed wall clock time (in seconds):4.02 4.84/4.13 o 141 4.84/4.16 c cleaning 6254 clauses out of 12523 with flag 5127/117890 4.94/4.25 c Got one! Elapsed wall clock time (in seconds):4.143 4.94/4.25 o 135 5.04/4.36 c cleaning 5764 clauses out of 11539 with flag 13300/123160 5.14/4.44 c Got one! Elapsed wall clock time (in seconds):4.337 5.14/4.44 o 132 5.24/4.57 c cleaning 5820 clauses out of 11649 with flag 21089/129034 5.34/4.63 c Got one! Elapsed wall clock time (in seconds):4.523 5.34/4.63 o 127 5.44/4.76 c cleaning 5897 clauses out of 11809 with flag 20413/135014 5.64/4.93 c Got one! Elapsed wall clock time (in seconds):4.826 5.64/4.93 o 126 5.84/5.11 c cleaning 8188 clauses out of 16389 with flag 24531/145491 6.05/5.30 c cleaning 7088 clauses out of 14198 with flag 53611/151488 6.26/5.58 c cleaning 7050 clauses out of 14110 with flag 84091/158488 6.65/5.94 c cleaning 7526 clauses out of 15060 with flag 128214/166488 6.85/6.16 c Got one! Elapsed wall clock time (in seconds):6.057 6.85/6.16 o 118 6.85/6.18 c Got one! Elapsed wall clock time (in seconds):6.074 6.85/6.18 o 117 6.97/6.20 c Got one! Elapsed wall clock time (in seconds):6.093 6.97/6.20 o 116 6.97/6.27 c Got one! Elapsed wall clock time (in seconds):6.163 6.97/6.27 o 114 7.07/6.30 c Got one! Elapsed wall clock time (in seconds):6.194 7.07/6.30 o 113 7.37/6.51 c cleaning 10165 clauses out of 20339 with flag 17469/179293 7.37/6.53 c Got one! Elapsed wall clock time (in seconds):6.429 7.37/6.53 o 112 7.57/6.67 c Got one! Elapsed wall clock time (in seconds):6.561 7.57/6.67 o 110 7.76/6.73 c cleaning 7712 clauses out of 15435 with flag 5697/184554 7.96/6.89 c Got one! Elapsed wall clock time (in seconds):6.787 7.96/6.89 o 109 8.16/7.09 c cleaning 8902 clauses out of 17821 with flag 27874/194652 8.69/7.32 c cleaning 7448 clauses out of 14919 with flag 55059/200652 9.03/7.59 c cleaning 7223 clauses out of 14471 with flag 84095/207652 9.24/7.71 c Got one! Elapsed wall clock time (in seconds):7.609 9.24/7.71 o 107 9.24/7.78 c cleaning 6170 clauses out of 12359 with flag 10908/212763 9.44/7.98 c cleaning 6080 clauses out of 12189 with flag 41241/218763 9.75/8.21 c cleaning 6541 clauses out of 13109 with flag 75962/225763 9.95/8.41 c Got one! Elapsed wall clock time (in seconds):8.3 9.95/8.41 o 105 10.05/8.59 c cleaning 8660 clauses out of 17362 with flag 26548/236557 10.26/8.79 c cleaning 7345 clauses out of 14703 with flag 55832/242558 10.56/9.03 c cleaning 7172 clauses out of 14357 with flag 90537/249557 10.86/9.31 c cleaning 7585 clauses out of 15186 with flag 131795/257558 10.86/9.37 c Got one! Elapsed wall clock time (in seconds):9.263 10.86/9.37 o 97 10.86/9.39 c Got one! Elapsed wall clock time (in seconds):9.284 10.86/9.39 o 96 10.97/9.42 c Got one! Elapsed wall clock time (in seconds):9.311 10.97/9.42 o 93 10.97/9.45 c Got one! Elapsed wall clock time (in seconds):9.343 10.97/9.45 o 79 11.07/9.53 c Got one! Elapsed wall clock time (in seconds):9.425 11.07/9.53 o 78 11.07/9.57 c Got one! Elapsed wall clock time (in seconds):9.464 11.07/9.57 o 76 11.17/9.62 c cleaning 7955 clauses out of 15937 with flag 5341/265894 11.27/9.71 c Got one! Elapsed wall clock time (in seconds):9.599 11.27/9.71 o 72 11.39/9.81 c cleaning 6787 clauses out of 13587 with flag 15037/271499 11.58/10.04 c cleaning 6397 clauses out of 12800 with flag 43578/277499 11.58/10.05 c Got one! Elapsed wall clock time (in seconds):9.943 11.58/10.05 o 71 11.78/10.20 c cleaning 5713 clauses out of 11438 with flag 25825/282534 11.89/10.40 c cleaning 5853 clauses out of 11723 with flag 52347/288532 12.19/10.63 c cleaning 6435 clauses out of 12872 with flag 85295/295534 12.29/10.70 c Got one! Elapsed wall clock time (in seconds):10.597 12.29/10.70 o 70 12.39/10.84 c cleaning 6165 clauses out of 12339 with flag 17250/301436 12.59/11.05 c cleaning 6078 clauses out of 12174 with flag 43338/307436 12.79/11.29 c cleaning 6528 clauses out of 13095 with flag 73233/314435 12.89/11.39 c Got one! Elapsed wall clock time (in seconds):11.289 12.89/11.39 o 69 12.99/11.46 c cleaning 5933 clauses out of 11875 with flag 10547/319743 13.20/11.66 c cleaning 5959 clauses out of 11943 with flag 40058/325744 13.40/11.89 c cleaning 6487 clauses out of 12983 with flag 75984/332743 13.72/12.16 c cleaning 7230 clauses out of 14497 with flag 119315/340744 14.03/12.46 c cleaning 8123 clauses out of 16268 with flag 161049/349745 14.23/12.63 c Got one! Elapsed wall clock time (in seconds):12.525 14.23/12.63 o 68 14.23/12.67 c cleaning 7032 clauses out of 14078 with flag 5406/355678 14.45/12.88 c cleaning 6514 clauses out of 13045 with flag 37181/361677 14.75/13.11 c cleaning 6756 clauses out of 13534 with flag 73553/368680 14.95/13.37 c cleaning 7366 clauses out of 14775 with flag 117471/376677 15.25/13.68 c cleaning 8201 clauses out of 16410 with flag 164449/385678 15.45/13.89 c Got one! Elapsed wall clock time (in seconds):13.78 15.45/13.89 o 66 15.56/13.93 c Got one! Elapsed wall clock time (in seconds):13.826 15.56/13.93 o 65 15.66/14.01 c Got one! Elapsed wall clock time (in seconds):13.909 15.66/14.01 o 64 15.76/14.10 c cleaning 9927 clauses out of 19865 with flag 11616/397334 15.76/14.12 c Got one! Elapsed wall clock time (in seconds):14.015 15.76/14.12 o 63 15.87/14.26 c Got one! Elapsed wall clock time (in seconds):14.153 15.87/14.26 o 61 15.97/14.30 c cleaning 7694 clauses out of 15405 with flag 5739/402801 16.16/14.51 c cleaning 6846 clauses out of 13711 with flag 37488/408801 16.26/14.62 c Got one! Elapsed wall clock time (in seconds):14.517 16.26/14.62 o 56 16.26/14.69 c cleaning 6033 clauses out of 12077 with flag 11140/414013 16.57/14.91 c cleaning 6014 clauses out of 12047 with flag 40663/420016 16.57/14.96 c Got one! Elapsed wall clock time (in seconds):14.851 16.57/14.96 o 55 16.69/15.09 c cleaning 5671 clauses out of 11362 with flag 21750/425345 16.89/15.29 c cleaning 5842 clauses out of 11690 with flag 51358/431344 16.99/15.37 c Got one! Elapsed wall clock time (in seconds):15.266 16.99/15.37 o 54 17.09/15.47 c cleaning 5649 clauses out of 11305 with flag 15661/436801 17.29/15.66 c cleaning 5818 clauses out of 11654 with flag 47220/442799 17.59/15.90 c cleaning 6413 clauses out of 12836 with flag 84117/449799 17.79/16.17 c cleaning 7210 clauses out of 14423 with flag 120978/457799 17.99/16.36 c Got one! Elapsed wall clock time (in seconds):16.255 17.99/16.36 o 51 18.20/16.54 c cleaning 8990 clauses out of 18008 with flag 27129/468594 18.39/16.75 c cleaning 7493 clauses out of 15018 with flag 60194/474594 18.61/16.99 c cleaning 7260 clauses out of 14525 with flag 95412/481594 18.73/17.09 c Got one! Elapsed wall clock time (in seconds):16.979 18.73/17.09 o 50 18.82/17.18 c cleaning 6417 clauses out of 12845 with flag 16725/487174 19.03/17.39 c cleaning 6207 clauses out of 12428 with flag 48938/493174 19.34/17.63 c cleaning 6602 clauses out of 13222 with flag 88530/500175 19.64/17.91 c cleaning 7299 clauses out of 14619 with flag 132868/508174 19.94/18.23 c cleaning 8156 clauses out of 16320 with flag 184767/517174 20.24/18.59 c cleaning 9077 clauses out of 18164 with flag 233505/527174 20.74/19.00 c cleaning 10041 clauses out of 20090 with flag 290475/538177 20.84/19.16 c Got one! Elapsed wall clock time (in seconds):19.051 20.84/19.16 o 38 20.95/19.20 c cleaning 7877 clauses out of 15766 with flag 5745/543894 21.15/19.41 c cleaning 6937 clauses out of 13890 with flag 39931/549895 21.37/19.66 c cleaning 6967 clauses out of 13953 with flag 79961/556895 21.67/19.94 c cleaning 7481 clauses out of 14985 with flag 126733/564894 21.97/20.26 c cleaning 8237 clauses out of 16506 with flag 178852/573896 22.37/20.62 c cleaning 9126 clauses out of 18267 with flag 234916/583894 22.77/21.00 c cleaning 10068 clauses out of 20141 with flag 289914/594894 22.98/21.24 c Got one! Elapsed wall clock time (in seconds):21.137 22.98/21.24 o 37 23.18/21.44 c cleaning 10939 clauses out of 21891 with flag 25924/606712 23.40/21.65 c Got one! Elapsed wall clock time (in seconds):21.546 23.40/21.65 o 33 23.60/21.84 c cleaning 10945 clauses out of 21898 with flag 24298/617659 23.81/22.06 c cleaning 8470 clauses out of 16952 with flag 52077/623658 23.92/22.12 c Got one! Elapsed wall clock time (in seconds):22.019 23.92/22.12 o 26 24.02/22.25 c cleaning 7181 clauses out of 14369 with flag 19026/629545 24.22/22.42 c cleaning 6588 clauses out of 13187 with flag 44004/635544 24.42/22.61 c cleaning 6797 clauses out of 13599 with flag 74147/642544 24.62/22.85 c cleaning 7398 clauses out of 14801 with flag 108827/650544 24.72/22.97 c Got one! Elapsed wall clock time (in seconds):22.863 24.72/22.97 o 25 24.83/23.01 c cleaning 6199 clauses out of 12407 with flag 5632/655548 25.02/23.21 c cleaning 6094 clauses out of 12208 with flag 39022/661548 25.23/23.42 c cleaning 6558 clauses out of 13117 with flag 72176/668551 25.44/23.66 c cleaning 7273 clauses out of 14556 with flag 107917/676548 25.74/23.94 c cleaning 8139 clauses out of 16283 with flag 149926/685548 26.05/24.25 c cleaning 9066 clauses out of 18145 with flag 193013/695549 26.44/24.62 c cleaning 10023 clauses out of 20077 with flag 248980/706548 26.86/25.03 c cleaning 11022 clauses out of 22054 with flag 310422/718549 27.26/25.45 c cleaning 12012 clauses out of 24031 with flag 370192/731549 27.58/25.71 c Got one! Elapsed wall clock time (in seconds):25.603 27.58/25.71 o 20 27.78/25.91 c cleaning 12647 clauses out of 25321 with flag 28079/744852 27.98/26.13 c cleaning 9329 clauses out of 18672 with flag 61299/750850 28.19/26.37 c cleaning 8163 clauses out of 16347 with flag 100128/757854 28.49/26.66 c cleaning 8085 clauses out of 16181 with flag 140044/765851 28.79/26.95 c cleaning 8530 clauses out of 17096 with flag 182732/774851 28.99/27.18 c Got one! Elapsed wall clock time (in seconds):27.076 28.99/27.18 o 17 29.19/27.38 c cleaning 10498 clauses out of 21014 with flag 25722/787299 29.40/27.59 c cleaning 8247 clauses out of 16516 with flag 54828/793299 29.69/27.82 c cleaning 7615 clauses out of 15268 with flag 87786/800298 29.89/28.07 c cleaning 7815 clauses out of 15654 with flag 122960/808299 29.99/28.16 c Got one! Elapsed wall clock time (in seconds):28.055 29.99/28.16 o 3 29.99/28.17 c starts : 276 29.99/28.17 c conflicts : 811259 29.99/28.17 c decisions : 1309436 29.99/28.17 c propagations : 20156717 29.99/28.17 c inspects : 193420384 29.99/28.17 c shortcuts : 0 29.99/28.17 c learnt literals : 6 29.99/28.17 c learnt binary clauses : 56 29.99/28.17 c learnt ternary clauses : 1511 29.99/28.17 c learnt constraints : 811253 29.99/28.17 c ignored constraints : 0 29.99/28.17 c root simplifications : 0 29.99/28.17 c removed literals (reason simplification) : 0 29.99/28.17 c reason swapping (by a shorter reason) : 0 29.99/28.17 c Calls to reduceDB : 109 29.99/28.17 c Number of update (reduction) of LBD : 236721 29.99/28.17 c number of reductions to clauses (during analyze) : 0 29.99/28.17 c number of learned constraints concerned by reduction : 0 29.99/28.17 c number of learning phase by resolution : 0 29.99/28.17 c number of learning phase by cutting planes : 0 29.99/28.17 c speed (assignments/second) : 719779.924296529 29.99/28.17 c non guided choices 5686 29.99/28.17 c learnt constraints type 29.99/28.17 c constraints type 29.99/28.17 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 30 29.99/28.17 c ignored satisfied constraints => 1 29.99/28.17 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 71 29.99/28.17 c 102 constraints processed. 29.99/28.17 s OPTIMUM FOUND 29.99/28.17 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 29.99/28.17 c objective function=3 29.99/28.17 c Total wall clock time (in seconds): 28.062
OK 3
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-3718452-1338254161/watcher-3718452-1338254161 -o /tmp/evaluation-result-3718452-1338254161/solver-3718452-1338254161 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar HOME/instance-3718452-1338254161.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.12 2.03 2.01 3/194 1148 /proc/meminfo: memFree=29985624/32873648 swapFree=7116/7116 [pid=1148] ppid=1146 vsize=9224 CPUtime=0 cores=1,3,5,7 /proc/1148/stat : 1148 (java) R 1146 1148 30566 0 -1 4202496 140 0 0 0 0 0 0 0 20 0 1 0 291543512 9445376 93 33554432000 1073741824 1073778376 140734278273904 140734278271032 219504752055 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 /proc/1148/statm: 2306 95 75 9 0 38 0 [startup+0.030894 s] /proc/loadavg: 2.12 2.03 2.01 3/194 1148 /proc/meminfo: memFree=29985624/32873648 swapFree=7116/7116 [pid=1148] ppid=1146 vsize=9092432 CPUtime=0.01 cores=1,3,5,7 /proc/1148/stat : 1148 (java) S 1146 1148 30566 0 -1 4202496 2881 0 1 0 1 0 0 0 20 0 11 0 291543512 9310650368 3582 33554432000 1073741824 1073778376 140735419735648 140735419726784 219517321277 0 0 0 16784584 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/1148/statm: 2273108 3585 1618 9 0 2263809 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 9092432 [startup+0.100296 s] /proc/loadavg: 2.12 2.03 2.01 3/194 1148 /proc/meminfo: memFree=29985624/32873648 swapFree=7116/7116 [pid=1148] ppid=1146 vsize=9558416 CPUtime=0.1 cores=1,3,5,7 /proc/1148/stat : 1148 (java) S 1146 1148 30566 0 -1 4202496 4368 0 1 0 8 2 0 0 20 0 18 0 291543512 9787817984 5573 33554432000 1073741824 1073778376 140735419735648 140735419726784 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/1148/statm: 2389604 5573 2109 9 0 2380296 0 Current children cumulated CPU time (s) 0.1 Current children cumulated vsize (KiB) 9558416 [startup+0.300277 s] /proc/loadavg: 2.12 2.03 2.01 3/194 1148 /proc/meminfo: memFree=29985624/32873648 swapFree=7116/7116 [pid=1148] ppid=1146 vsize=9624980 CPUtime=0.52 cores=1,3,5,7 /proc/1148/stat : 1148 (java) S 1146 1148 30566 0 -1 4202496 6493 0 1 0 49 3 0 0 20 0 19 0 291543512 9855979520 8011 33554432000 1073741824 1073778376 140735419735648 140735419726784 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/1148/statm: 2406245 8011 2233 9 0 2396937 0 Current children cumulated CPU time (s) 0.52 Current children cumulated vsize (KiB) 9624980 [startup+0.700282 s] /proc/loadavg: 2.12 2.03 2.01 3/194 1148 /proc/meminfo: memFree=29985624/32873648 swapFree=7116/7116 [pid=1148] ppid=1146 vsize=9624980 CPUtime=1.21 cores=1,3,5,7 /proc/1148/stat : 1148 (java) S 1146 1148 30566 0 -1 4202496 10468 0 1 0 117 4 0 0 20 0 19 0 291543512 9855979520 11442 33554432000 1073741824 1073778376 140735419735648 140735419726784 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/1148/statm: 2406245 11442 2243 9 0 2396937 0 Current children cumulated CPU time (s) 1.21 Current children cumulated vsize (KiB) 9624980 [startup+1.50064 s] /proc/loadavg: 2.12 2.03 2.01 3/213 1167 /proc/meminfo: memFree=29937876/32873648 swapFree=7116/7116 [pid=1148] ppid=1146 vsize=9624980 CPUtime=2.18 cores=1,3,5,7 /proc/1148/stat : 1148 (java) S 1146 1148 30566 0 -1 4202496 10583 0 1 0 214 4 0 0 20 0 19 0 291543512 9855979520 14616 33554432000 1073741824 1073778376 140735419735648 140735419726784 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/1148/statm: 2406245 14616 2273 9 0 2396937 0 [pid=1148/tid=1150] ppid=1146 vsize=9624980 CPUtime=1.43 cores=1,3,5,7 /proc/1148/task/1150/stat : 1150 (java) S 1146 1148 30566 0 -1 4202560 2460 0 1 0 141 2 0 0 20 0 19 0 291543513 9855979520 14616 33554432000 1073741824 1073778376 140735419735648 140341773517208 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=1148/tid=1151] ppid=1146 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/1148/task/1151/stat : 1151 (java) S 1146 1148 30566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291543514 9855979520 14616 33554432000 1073741824 1073778376 140735419735648 140341751618088 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=1148/tid=1152] ppid=1146 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/1148/task/1152/stat : 1152 (java) S 1146 1148 30566 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 291543514 9855979520 14616 33554432000 1073741824 1073778376 140735419735648 140341750565288 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=1148/tid=1153] ppid=1146 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/1148/task/1153/stat : 1153 (java) S 1146 1148 30566 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 291543514 9855979520 14616 33554432000 1073741824 1073778376 140735419735648 140341749512488 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=1148/tid=1154] ppid=1146 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/1148/task/1154/stat : 1154 (java) S 1146 1148 30566 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 291543514 9855979520 14616 33554432000 1073741824 1073778376 140735419735648 140341748459688 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=1148/tid=1155] ppid=1146 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/1148/task/1155/stat : 1155 (java) S 1146 1148 30566 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 291543514 9855979520 14616 33554432000 1073741824 1073778376 140735419735648 140341411834920 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=1148/tid=1156] ppid=1146 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/1148/task/1156/stat : 1156 (java) S 1146 1148 30566 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291543514 9855979520 14616 33554432000 1073741824 1073778376 140735419735648 140341410782120 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=1148/tid=1157] ppid=1146 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/1148/task/1157/stat : 1157 (java) S 1146 1148 30566 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291543514 9855979520 14616 33554432000 1073741824 1073778376 140735419735648 140341409729320 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1148/tid=1158] ppid=1146 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/1148/task/1158/stat : 1158 (java) S 1146 1148 30566 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291543514 9855979520 14616 33554432000 1073741824 1073778376 140735419735648 140341408676520 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=1148/tid=1159] ppid=1146 vsize=9624980 CPUtime=0.01 cores=1,3,5,7 /proc/1148/task/1159/stat : 1159 (java) R 1146 1148 30566 0 -1 4202560 31 0 0 0 1 0 0 0 20 0 19 0 291543515 9855979520 14616 33554432000 1073741824 1073778376 140735419735648 140341396264304 140341775712376 0 0 0 16800975 0 0 0 -1 5 0 0 0 0 0 [pid=1148/tid=1160] ppid=1146 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/1148/task/1160/stat : 1160 (java) S 1146 1148 30566 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291543515 9855979520 14616 33554432000 1073741824 1073778376 140735419735648 140341395211512 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1148/tid=1161] ppid=1146 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/1148/task/1161/stat : 1161 (java) S 1146 1148 30566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291543515 9855979520 14616 33554432000 1073741824 1073778376 140735419735648 140341394158600 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1148/tid=1162] ppid=1146 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/1148/task/1162/stat : 1162 (java) S 1146 1148 30566 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291543518 9855979520 14616 33554432000 1073741824 1073778376 140735419735648 140341393107088 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1148/tid=1163] ppid=1146 vsize=9624980 CPUtime=0.22 cores=1,3,5,7 /proc/1148/task/1163/stat : 1163 (java) S 1146 1148 30566 0 -1 4202560 2173 0 0 0 22 0 0 0 20 0 19 0 291543518 9855979520 14616 33554432000 1073741824 1073778376 140735419735648 140341392055224 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1148/tid=1164] ppid=1146 vsize=9624980 CPUtime=0.44 cores=1,3,5,7 /proc/1148/task/1164/stat : 1164 (java) S 1146 1148 30566 0 -1 4202560 4705 0 0 0 42 2 0 0 20 0 19 0 291543518 9855979520 14616 33554432000 1073741824 1073778376 140735419735648 140341391002424 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=1148/tid=1165] ppid=1146 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/1148/task/1165/stat : 1165 (java) S 1146 1148 30566 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291543518 9855979520 14616 33554432000 1073741824 1073778376 140735419735648 140341389949816 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=1148/tid=1166] ppid=1146 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/1148/task/1166/stat : 1166 (java) S 1146 1148 30566 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291543518 9855979520 14616 33554432000 1073741824 1073778376 140735419735648 140341388897224 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1148/tid=1167] ppid=1146 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/1148/task/1167/stat : 1167 (java) S 1146 1148 30566 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291543529 9855979520 14616 33554432000 1073741824 1073778376 140735419735648 140341387842728 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 2.18 Current children cumulated vsize (KiB) 9624980 [startup+3.10075 s] /proc/loadavg: 2.12 2.03 2.01 3/213 1167 /proc/meminfo: memFree=29935208/32873648 swapFree=7116/7116 [pid=1148] ppid=1146 vsize=9624980 CPUtime=3.82 cores=1,3,5,7 /proc/1148/stat : 1148 (java) S 1146 1148 30566 0 -1 4202496 10597 0 1 0 378 4 0 0 20 0 19 0 291543512 9855979520 14621 33554432000 1073741824 1073778376 140735419735648 140735419726784 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/1148/statm: 2406245 14621 2274 9 0 2396937 0 [pid=1148/tid=1150] ppid=1146 vsize=9624980 CPUtime=2.94 cores=1,3,5,7 /proc/1148/task/1150/stat : 1150 (java) R 1146 1148 30566 0 -1 4202560 2468 0 1 0 292 2 0 0 20 0 19 0 291543513 9855979520 14621 33554432000 1073741824 1073778376 140735419735648 140341773517208 140341630443132 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 [pid=1148/tid=1151] ppid=1146 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/1148/task/1151/stat : 1151 (java) S 1146 1148 30566 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 291543514 9855979520 14621 33554432000 1073741824 1073778376 140735419735648 140341751618088 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=1148/tid=1152] ppid=1146 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/1148/task/1152/stat : 1152 (java) S 1146 1148 30566 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 291543514 9855979520 14621 33554432000 1073741824 1073778376 140735419735648 140341750565288 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=1148/tid=1153] ppid=1146 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/1148/task/1153/stat : 1153 (java) S 1146 1148 30566 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 291543514 9855979520 14621 33554432000 1073741824 1073778376 140735419735648 140341749512488 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=1148/tid=1154] ppid=1146 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/1148/task/1154/stat : 1154 (java) S 1146 1148 30566 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 291543514 9855979520 14621 33554432000 1073741824 1073778376 140735419735648 140341748459688 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1148/tid=1155] ppid=1146 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/1148/task/1155/stat : 1155 (java) S 1146 1148 30566 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 291543514 9855979520 14621 33554432000 1073741824 1073778376 140735419735648 140341411834920 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=1148/tid=1156] ppid=1146 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/1148/task/1156/stat : 1156 (java) S 1146 1148 30566 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 291543514 9855979520 14621 33554432000 1073741824 1073778376 140735419735648 140341410782120 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=1148/tid=1157] ppid=1146 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/1148/task/1157/stat : 1157 (java) S 1146 1148 30566 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291543514 9855979520 14621 33554432000 1073741824 1073778376 140735419735648 140341409729320 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1148/tid=1158] ppid=1146 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/1148/task/1158/stat : 1158 (java) S 1146 1148 30566 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291543514 9855979520 14621 33554432000 1073741824 1073778376 140735419735648 140341408676520 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=1148/tid=1159] ppid=1146 vsize=9624980 CPUtime=0.09 cores=1,3,5,7 /proc/1148/task/1159/stat : 1159 (java) S 1146 1148 30566 0 -1 4202560 31 0 0 0 9 0 0 0 20 0 19 0 291543515 9855979520 14621 33554432000 1073741824 1073778376 140735419735648 140341396265448 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=1148/tid=1160] ppid=1146 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/1148/task/1160/stat : 1160 (java) S 1146 1148 30566 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291543515 9855979520 14621 33554432000 1073741824 1073778376 140735419735648 140341395211512 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1148/tid=1161] ppid=1146 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/1148/task/1161/stat : 1161 (java) S 1146 1148 30566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291543515 9855979520 14621 33554432000 1073741824 1073778376 140735419735648 140341394158600 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1148/tid=1162] ppid=1146 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/1148/task/1162/stat : 1162 (java) S 1146 1148 30566 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291543518 9855979520 14621 33554432000 1073741824 1073778376 140735419735648 140341393107088 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1148/tid=1163] ppid=1146 vsize=9624980 CPUtime=0.23 cores=1,3,5,7 /proc/1148/task/1163/stat : 1163 (java) S 1146 1148 30566 0 -1 4202560 2173 0 0 0 23 0 0 0 20 0 19 0 291543518 9855979520 14621 33554432000 1073741824 1073778376 140735419735648 140341392055224 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1148/tid=1164] ppid=1146 vsize=9624980 CPUtime=0.49 cores=1,3,5,7 /proc/1148/task/1164/stat : 1164 (java) S 1146 1148 30566 0 -1 4202560 4707 0 0 0 47 2 0 0 20 0 19 0 291543518 9855979520 14621 33554432000 1073741824 1073778376 140735419735648 140341391002424 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=1148/tid=1165] ppid=1146 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/1148/task/1165/stat : 1165 (java) S 1146 1148 30566 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291543518 9855979520 14621 33554432000 1073741824 1073778376 140735419735648 140341389949816 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=1148/tid=1166] ppid=1146 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/1148/task/1166/stat : 1166 (java) S 1146 1148 30566 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291543518 9855979520 14621 33554432000 1073741824 1073778376 140735419735648 140341388897224 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=1148/tid=1167] ppid=1146 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/1148/task/1167/stat : 1167 (java) S 1146 1148 30566 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291543529 9855979520 14621 33554432000 1073741824 1073778376 140735419735648 140341387842728 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 3.82 Current children cumulated vsize (KiB) 9624980 [startup+6.30069 s] /proc/loadavg: 2.11 2.03 2.01 3/213 1167 /proc/meminfo: memFree=29933732/32873648 swapFree=7116/7116 [pid=1148] ppid=1146 vsize=9624980 CPUtime=7.07 cores=1,3,5,7 /proc/1148/stat : 1148 (java) S 1146 1148 30566 0 -1 4202496 10620 0 1 0 703 4 0 0 20 0 19 0 291543512 9855979520 14630 33554432000 1073741824 1073778376 140735419735648 140735419726784 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/1148/statm: 2406245 14630 2274 9 0 2396937 0 [pid=1148/tid=1150] ppid=1146 vsize=9624980 CPUtime=6.01 cores=1,3,5,7 /proc/1148/task/1150/stat : 1150 (java) R 1146 1148 30566 0 -1 4202560 2482 0 1 0 599 2 0 0 20 0 19 0 291543513 9855979520 14630 33554432000 1073741824 1073778376 140735419735648 140341773509056 140341630442906 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 [pid=1148/tid=1151] ppid=1146 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/1148/task/1151/stat : 1151 (java) S 1146 1148 30566 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 291543514 9855979520 14630 33554432000 1073741824 1073778376 140735419735648 140341751618088 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=1148/tid=1152] ppid=1146 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/1148/task/1152/stat : 1152 (java) S 1146 1148 30566 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 291543514 9855979520 14630 33554432000 1073741824 1073778376 140735419735648 140341750565288 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=1148/tid=1153] ppid=1146 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/1148/task/1153/stat : 1153 (java) S 1146 1148 30566 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 291543514 9855979520 14630 33554432000 1073741824 1073778376 140735419735648 140341749512488 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1148/tid=1154] ppid=1146 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/1148/task/1154/stat : 1154 (java) S 1146 1148 30566 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 291543514 9855979520 14630 33554432000 1073741824 1073778376 140735419735648 140341748459688 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=1148/tid=1155] ppid=1146 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/1148/task/1155/stat : 1155 (java) S 1146 1148 30566 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 291543514 9855979520 14630 33554432000 1073741824 1073778376 140735419735648 140341411834920 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=1148/tid=1156] ppid=1146 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/1148/task/1156/stat : 1156 (java) S 1146 1148 30566 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 291543514 9855979520 14630 33554432000 1073741824 1073778376 140735419735648 140341410782120 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=1148/tid=1157] ppid=1146 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/1148/task/1157/stat : 1157 (java) S 1146 1148 30566 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 291543514 9855979520 14630 33554432000 1073741824 1073778376 140735419735648 140341409729320 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1148/tid=1158] ppid=1146 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/1148/task/1158/stat : 1158 (java) S 1146 1148 30566 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291543514 9855979520 14630 33554432000 1073741824 1073778376 140735419735648 140341408676520 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=1148/tid=1159] ppid=1146 vsize=9624980 CPUtime=0.2 cores=1,3,5,7 /proc/1148/task/1159/stat : 1159 (java) S 1146 1148 30566 0 -1 4202560 31 0 0 0 20 0 0 0 20 0 19 0 291543515 9855979520 14630 33554432000 1073741824 1073778376 140735419735648 140341396265448 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=1148/tid=1160] ppid=1146 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/1148/task/1160/stat : 1160 (java) S 1146 1148 30566 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291543515 9855979520 14630 33554432000 1073741824 1073778376 140735419735648 140341395211512 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1148/tid=1161] ppid=1146 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/1148/task/1161/stat : 1161 (java) S 1146 1148 30566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291543515 9855979520 14630 33554432000 1073741824 1073778376 140735419735648 140341394158600 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1148/tid=1162] ppid=1146 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/1148/task/1162/stat : 1162 (java) S 1146 1148 30566 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291543518 9855979520 14630 33554432000 1073741824 1073778376 140735419735648 140341393107088 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1148/tid=1163] ppid=1146 vsize=9624980 CPUtime=0.24 cores=1,3,5,7 /proc/1148/task/1163/stat : 1163 (java) S 1146 1148 30566 0 -1 4202560 2173 0 0 0 24 0 0 0 20 0 19 0 291543518 9855979520 14630 33554432000 1073741824 1073778376 140735419735648 140341392055224 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1148/tid=1164] ppid=1146 vsize=9624980 CPUtime=0.5 cores=1,3,5,7 /proc/1148/task/1164/stat : 1164 (java) S 1146 1148 30566 0 -1 4202560 4707 0 0 0 48 2 0 0 20 0 19 0 291543518 9855979520 14630 33554432000 1073741824 1073778376 140735419735648 140341391002424 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=1148/tid=1165] ppid=1146 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/1148/task/1165/stat : 1165 (java) S 1146 1148 30566 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291543518 9855979520 14630 33554432000 1073741824 1073778376 140735419735648 140341389949816 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=1148/tid=1166] ppid=1146 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/1148/task/1166/stat : 1166 (java) S 1146 1148 30566 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291543518 9855979520 14630 33554432000 1073741824 1073778376 140735419735648 140341388897224 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=1148/tid=1167] ppid=1146 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/1148/task/1167/stat : 1167 (java) S 1146 1148 30566 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291543529 9855979520 14630 33554432000 1073741824 1073778376 140735419735648 140341387842728 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 7.07 Current children cumulated vsize (KiB) 9624980 [startup+12.7007 s] ################ # More data... # ################ /proc/1148/task/1152/stat : 1152 (java) S 1146 1148 30566 0 -1 4202560 8 0 0 0 5 0 0 0 20 0 19 0 291543514 9855979520 16515 33554432000 1073741824 1073778376 140735419735648 140341750565288 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=1148/tid=1153] ppid=1146 vsize=9624980 CPUtime=0.04 cores=1,3,5,7 /proc/1148/task/1153/stat : 1153 (java) S 1146 1148 30566 0 -1 4202560 6 0 0 0 4 0 0 0 20 0 19 0 291543514 9855979520 16515 33554432000 1073741824 1073778376 140735419735648 140341749512488 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1148/tid=1154] ppid=1146 vsize=9624980 CPUtime=0.05 cores=1,3,5,7 /proc/1148/task/1154/stat : 1154 (java) S 1146 1148 30566 0 -1 4202560 17 0 0 0 5 0 0 0 20 0 19 0 291543514 9855979520 16515 33554432000 1073741824 1073778376 140735419735648 140341748459688 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=1148/tid=1155] ppid=1146 vsize=9624980 CPUtime=0.06 cores=1,3,5,7 /proc/1148/task/1155/stat : 1155 (java) S 1146 1148 30566 0 -1 4202560 6 0 0 0 6 0 0 0 20 0 19 0 291543514 9855979520 16515 33554432000 1073741824 1073778376 140735419735648 140341411834920 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=1148/tid=1156] ppid=1146 vsize=9624980 CPUtime=0.05 cores=1,3,5,7 /proc/1148/task/1156/stat : 1156 (java) S 1146 1148 30566 0 -1 4202560 9 0 0 0 5 0 0 0 20 0 19 0 291543514 9855979520 16515 33554432000 1073741824 1073778376 140735419735648 140341410782120 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1148/tid=1157] ppid=1146 vsize=9624980 CPUtime=0.05 cores=1,3,5,7 /proc/1148/task/1157/stat : 1157 (java) S 1146 1148 30566 0 -1 4202560 6 0 0 0 5 0 0 0 20 0 19 0 291543514 9855979520 16515 33554432000 1073741824 1073778376 140735419735648 140341409729320 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=1148/tid=1158] ppid=1146 vsize=9624980 CPUtime=0.06 cores=1,3,5,7 /proc/1148/task/1158/stat : 1158 (java) S 1146 1148 30566 0 -1 4202560 10 0 0 0 6 0 0 0 20 0 19 0 291543514 9855979520 16515 33554432000 1073741824 1073778376 140735419735648 140341408676520 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=1148/tid=1159] ppid=1146 vsize=9624980 CPUtime=0.9 cores=1,3,5,7 /proc/1148/task/1159/stat : 1159 (java) S 1146 1148 30566 0 -1 4202560 71 0 0 0 90 0 0 0 20 0 19 0 291543515 9855979520 16515 33554432000 1073741824 1073778376 140735419735648 140341396265448 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=1148/tid=1160] ppid=1146 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/1148/task/1160/stat : 1160 (java) S 1146 1148 30566 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291543515 9855979520 16515 33554432000 1073741824 1073778376 140735419735648 140341395211512 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1148/tid=1161] ppid=1146 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/1148/task/1161/stat : 1161 (java) S 1146 1148 30566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291543515 9855979520 16515 33554432000 1073741824 1073778376 140735419735648 140341394158600 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1148/tid=1162] ppid=1146 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/1148/task/1162/stat : 1162 (java) S 1146 1148 30566 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291543518 9855979520 16515 33554432000 1073741824 1073778376 140735419735648 140341393107088 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1148/tid=1163] ppid=1146 vsize=9624980 CPUtime=0.33 cores=1,3,5,7 /proc/1148/task/1163/stat : 1163 (java) S 1146 1148 30566 0 -1 4202560 2175 0 0 0 33 0 0 0 20 0 19 0 291543518 9855979520 16515 33554432000 1073741824 1073778376 140735419735648 140341392055224 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=1148/tid=1164] ppid=1146 vsize=9624980 CPUtime=1.24 cores=1,3,5,7 /proc/1148/task/1164/stat : 1164 (java) S 1146 1148 30566 0 -1 4202560 12847 0 0 0 121 3 0 0 20 0 19 0 291543518 9855979520 16515 33554432000 1073741824 1073778376 140735419735648 140341391002424 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=1148/tid=1165] ppid=1146 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/1148/task/1165/stat : 1165 (java) S 1146 1148 30566 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291543518 9855979520 16515 33554432000 1073741824 1073778376 140735419735648 140341389949816 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=1148/tid=1166] ppid=1146 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/1148/task/1166/stat : 1166 (java) S 1146 1148 30566 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291543518 9855979520 16515 33554432000 1073741824 1073778376 140735419735648 140341388897224 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=1148/tid=1167] ppid=1146 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/1148/task/1167/stat : 1167 (java) S 1146 1148 30566 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291543529 9855979520 16515 33554432000 1073741824 1073778376 140735419735648 140341387842728 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 27.38 Current children cumulated vsize (KiB) 9624980 Solver just ended. Dumping a history of the last processes samples [startup+27.1007 s] /proc/loadavg: 2.08 2.03 2.01 3/213 1167 /proc/meminfo: memFree=29899616/32873648 swapFree=7116/7116 [pid=1148] ppid=1146 vsize=9624980 CPUtime=28.99 cores=1,3,5,7 /proc/1148/stat : 1148 (java) S 1146 1148 30566 0 -1 4202496 18923 0 1 0 2891 8 0 0 20 0 19 0 291543512 9855979520 16531 33554432000 1073741824 1073778376 140735419735648 140735419726784 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/1148/statm: 2406245 16531 2276 9 0 2396937 0 [pid=1148/tid=1150] ppid=1146 vsize=9624980 CPUtime=25.87 cores=1,3,5,7 /proc/1148/task/1150/stat : 1150 (java) R 1146 1148 30566 0 -1 4202560 2560 0 1 0 2584 3 0 0 20 0 19 0 291543513 9855979520 16531 33554432000 1073741824 1073778376 140735419735648 140341773517088 140341630374675 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 [pid=1148/tid=1151] ppid=1146 vsize=9624980 CPUtime=0.06 cores=1,3,5,7 /proc/1148/task/1151/stat : 1151 (java) S 1146 1148 30566 0 -1 4202560 13 0 0 0 6 0 0 0 20 0 19 0 291543514 9855979520 16531 33554432000 1073741824 1073778376 140735419735648 140341751618088 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=1148/tid=1152] ppid=1146 vsize=9624980 CPUtime=0.05 cores=1,3,5,7 /proc/1148/task/1152/stat : 1152 (java) S 1146 1148 30566 0 -1 4202560 8 0 0 0 5 0 0 0 20 0 19 0 291543514 9855979520 16531 33554432000 1073741824 1073778376 140735419735648 140341750565288 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=1148/tid=1153] ppid=1146 vsize=9624980 CPUtime=0.05 cores=1,3,5,7 /proc/1148/task/1153/stat : 1153 (java) S 1146 1148 30566 0 -1 4202560 6 0 0 0 5 0 0 0 20 0 19 0 291543514 9855979520 16531 33554432000 1073741824 1073778376 140735419735648 140341749512488 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1148/tid=1154] ppid=1146 vsize=9624980 CPUtime=0.05 cores=1,3,5,7 /proc/1148/task/1154/stat : 1154 (java) S 1146 1148 30566 0 -1 4202560 17 0 0 0 5 0 0 0 20 0 19 0 291543514 9855979520 16531 33554432000 1073741824 1073778376 140735419735648 140341748459688 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=1148/tid=1155] ppid=1146 vsize=9624980 CPUtime=0.06 cores=1,3,5,7 /proc/1148/task/1155/stat : 1155 (java) S 1146 1148 30566 0 -1 4202560 21 0 0 0 6 0 0 0 20 0 19 0 291543514 9855979520 16531 33554432000 1073741824 1073778376 140735419735648 140341411834920 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=1148/tid=1156] ppid=1146 vsize=9624980 CPUtime=0.06 cores=1,3,5,7 /proc/1148/task/1156/stat : 1156 (java) S 1146 1148 30566 0 -1 4202560 9 0 0 0 6 0 0 0 20 0 19 0 291543514 9855979520 16531 33554432000 1073741824 1073778376 140735419735648 140341410782120 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1148/tid=1157] ppid=1146 vsize=9624980 CPUtime=0.05 cores=1,3,5,7 /proc/1148/task/1157/stat : 1157 (java) S 1146 1148 30566 0 -1 4202560 7 0 0 0 5 0 0 0 20 0 19 0 291543514 9855979520 16531 33554432000 1073741824 1073778376 140735419735648 140341409729320 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=1148/tid=1158] ppid=1146 vsize=9624980 CPUtime=0.06 cores=1,3,5,7 /proc/1148/task/1158/stat : 1158 (java) S 1146 1148 30566 0 -1 4202560 10 0 0 0 6 0 0 0 20 0 19 0 291543514 9855979520 16531 33554432000 1073741824 1073778376 140735419735648 140341408676520 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=1148/tid=1159] ppid=1146 vsize=9624980 CPUtime=0.96 cores=1,3,5,7 /proc/1148/task/1159/stat : 1159 (java) S 1146 1148 30566 0 -1 4202560 71 0 0 0 96 0 0 0 20 0 19 0 291543515 9855979520 16531 33554432000 1073741824 1073778376 140735419735648 140341396265448 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=1148/tid=1160] ppid=1146 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/1148/task/1160/stat : 1160 (java) S 1146 1148 30566 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291543515 9855979520 16531 33554432000 1073741824 1073778376 140735419735648 140341395211512 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1148/tid=1161] ppid=1146 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/1148/task/1161/stat : 1161 (java) S 1146 1148 30566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291543515 9855979520 16531 33554432000 1073741824 1073778376 140735419735648 140341394158600 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1148/tid=1162] ppid=1146 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/1148/task/1162/stat : 1162 (java) S 1146 1148 30566 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291543518 9855979520 16531 33554432000 1073741824 1073778376 140735419735648 140341393107088 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1148/tid=1163] ppid=1146 vsize=9624980 CPUtime=0.33 cores=1,3,5,7 /proc/1148/task/1163/stat : 1163 (java) S 1146 1148 30566 0 -1 4202560 2175 0 0 0 33 0 0 0 20 0 19 0 291543518 9855979520 16531 33554432000 1073741824 1073778376 140735419735648 140341392055224 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=1148/tid=1164] ppid=1146 vsize=9624980 CPUtime=1.24 cores=1,3,5,7 /proc/1148/task/1164/stat : 1164 (java) S 1146 1148 30566 0 -1 4202560 12847 0 0 0 121 3 0 0 20 0 19 0 291543518 9855979520 16531 33554432000 1073741824 1073778376 140735419735648 140341391002424 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=1148/tid=1165] ppid=1146 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/1148/task/1165/stat : 1165 (java) S 1146 1148 30566 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291543518 9855979520 16531 33554432000 1073741824 1073778376 140735419735648 140341389949816 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=1148/tid=1166] ppid=1146 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/1148/task/1166/stat : 1166 (java) S 1146 1148 30566 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291543518 9855979520 16531 33554432000 1073741824 1073778376 140735419735648 140341388897224 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=1148/tid=1167] ppid=1146 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/1148/task/1167/stat : 1167 (java) S 1146 1148 30566 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291543529 9855979520 16531 33554432000 1073741824 1073778376 140735419735648 140341387842728 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 28.99 Current children cumulated vsize (KiB) 9624980 [startup+27.9006 s] /proc/loadavg: 2.08 2.03 2.01 4/213 1167 /proc/meminfo: memFree=29899616/32873648 swapFree=7116/7116 [pid=1148] ppid=1146 vsize=9624980 CPUtime=29.79 cores=1,3,5,7 /proc/1148/stat : 1148 (java) S 1146 1148 30566 0 -1 4202496 18926 0 1 0 2971 8 0 0 20 0 19 0 291543512 9855979520 16531 33554432000 1073741824 1073778376 140735419735648 140735419726784 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/1148/statm: 2406245 16531 2276 9 0 2396937 0 [pid=1148/tid=1150] ppid=1146 vsize=9624980 CPUtime=26.63 cores=1,3,5,7 /proc/1148/task/1150/stat : 1150 (java) R 1146 1148 30566 0 -1 4202560 2563 0 1 0 2660 3 0 0 20 0 19 0 291543513 9855979520 16531 33554432000 1073741824 1073778376 140735419735648 140341773517088 140341630381319 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 [pid=1148/tid=1151] ppid=1146 vsize=9624980 CPUtime=0.06 cores=1,3,5,7 /proc/1148/task/1151/stat : 1151 (java) S 1146 1148 30566 0 -1 4202560 13 0 0 0 6 0 0 0 20 0 19 0 291543514 9855979520 16531 33554432000 1073741824 1073778376 140735419735648 140341751618088 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=1148/tid=1152] ppid=1146 vsize=9624980 CPUtime=0.05 cores=1,3,5,7 /proc/1148/task/1152/stat : 1152 (java) S 1146 1148 30566 0 -1 4202560 8 0 0 0 5 0 0 0 20 0 19 0 291543514 9855979520 16531 33554432000 1073741824 1073778376 140735419735648 140341750565288 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=1148/tid=1153] ppid=1146 vsize=9624980 CPUtime=0.05 cores=1,3,5,7 /proc/1148/task/1153/stat : 1153 (java) S 1146 1148 30566 0 -1 4202560 6 0 0 0 5 0 0 0 20 0 19 0 291543514 9855979520 16531 33554432000 1073741824 1073778376 140735419735648 140341749512488 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1148/tid=1154] ppid=1146 vsize=9624980 CPUtime=0.06 cores=1,3,5,7 /proc/1148/task/1154/stat : 1154 (java) S 1146 1148 30566 0 -1 4202560 17 0 0 0 6 0 0 0 20 0 19 0 291543514 9855979520 16531 33554432000 1073741824 1073778376 140735419735648 140341748459688 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=1148/tid=1155] ppid=1146 vsize=9624980 CPUtime=0.07 cores=1,3,5,7 /proc/1148/task/1155/stat : 1155 (java) S 1146 1148 30566 0 -1 4202560 21 0 0 0 7 0 0 0 20 0 19 0 291543514 9855979520 16531 33554432000 1073741824 1073778376 140735419735648 140341411834920 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=1148/tid=1156] ppid=1146 vsize=9624980 CPUtime=0.06 cores=1,3,5,7 /proc/1148/task/1156/stat : 1156 (java) S 1146 1148 30566 0 -1 4202560 9 0 0 0 6 0 0 0 20 0 19 0 291543514 9855979520 16531 33554432000 1073741824 1073778376 140735419735648 140341410782120 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1148/tid=1157] ppid=1146 vsize=9624980 CPUtime=0.05 cores=1,3,5,7 /proc/1148/task/1157/stat : 1157 (java) S 1146 1148 30566 0 -1 4202560 7 0 0 0 5 0 0 0 20 0 19 0 291543514 9855979520 16531 33554432000 1073741824 1073778376 140735419735648 140341409729320 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=1148/tid=1158] ppid=1146 vsize=9624980 CPUtime=0.06 cores=1,3,5,7 /proc/1148/task/1158/stat : 1158 (java) S 1146 1148 30566 0 -1 4202560 10 0 0 0 6 0 0 0 20 0 19 0 291543514 9855979520 16531 33554432000 1073741824 1073778376 140735419735648 140341408676520 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=1148/tid=1159] ppid=1146 vsize=9624980 CPUtime=0.99 cores=1,3,5,7 /proc/1148/task/1159/stat : 1159 (java) S 1146 1148 30566 0 -1 4202560 71 0 0 0 99 0 0 0 20 0 19 0 291543515 9855979520 16531 33554432000 1073741824 1073778376 140735419735648 140341396265448 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=1148/tid=1160] ppid=1146 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/1148/task/1160/stat : 1160 (java) S 1146 1148 30566 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291543515 9855979520 16531 33554432000 1073741824 1073778376 140735419735648 140341395211512 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1148/tid=1161] ppid=1146 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/1148/task/1161/stat : 1161 (java) S 1146 1148 30566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291543515 9855979520 16531 33554432000 1073741824 1073778376 140735419735648 140341394158600 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1148/tid=1162] ppid=1146 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/1148/task/1162/stat : 1162 (java) S 1146 1148 30566 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291543518 9855979520 16531 33554432000 1073741824 1073778376 140735419735648 140341393107088 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1148/tid=1163] ppid=1146 vsize=9624980 CPUtime=0.33 cores=1,3,5,7 /proc/1148/task/1163/stat : 1163 (java) S 1146 1148 30566 0 -1 4202560 2175 0 0 0 33 0 0 0 20 0 19 0 291543518 9855979520 16531 33554432000 1073741824 1073778376 140735419735648 140341392055224 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=1148/tid=1164] ppid=1146 vsize=9624980 CPUtime=1.24 cores=1,3,5,7 /proc/1148/task/1164/stat : 1164 (java) S 1146 1148 30566 0 -1 4202560 12847 0 0 0 121 3 0 0 20 0 19 0 291543518 9855979520 16531 33554432000 1073741824 1073778376 140735419735648 140341391002424 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=1148/tid=1165] ppid=1146 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/1148/task/1165/stat : 1165 (java) S 1146 1148 30566 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291543518 9855979520 16531 33554432000 1073741824 1073778376 140735419735648 140341389949816 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=1148/tid=1166] ppid=1146 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/1148/task/1166/stat : 1166 (java) S 1146 1148 30566 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291543518 9855979520 16531 33554432000 1073741824 1073778376 140735419735648 140341388897224 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=1148/tid=1167] ppid=1146 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/1148/task/1167/stat : 1167 (java) S 1146 1148 30566 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291543529 9855979520 16531 33554432000 1073741824 1073778376 140735419735648 140341387842728 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 29.79 Current children cumulated vsize (KiB) 9624980 [startup+28.1007 s] /proc/loadavg: 2.08 2.03 2.01 4/213 1167 /proc/meminfo: memFree=29899616/32873648 swapFree=7116/7116 [pid=1148] ppid=1146 vsize=9624980 CPUtime=29.99 cores=1,3,5,7 /proc/1148/stat : 1148 (java) S 1146 1148 30566 0 -1 4202496 18927 0 1 0 2991 8 0 0 20 0 19 0 291543512 9855979520 16531 33554432000 1073741824 1073778376 140735419735648 140735419726784 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/1148/statm: 2406245 16531 2276 9 0 2396937 0 [pid=1148/tid=1150] ppid=1146 vsize=9624980 CPUtime=26.82 cores=1,3,5,7 /proc/1148/task/1150/stat : 1150 (java) R 1146 1148 30566 0 -1 4202560 2564 0 1 0 2679 3 0 0 20 0 19 0 291543513 9855979520 16531 33554432000 1073741824 1073778376 140735419735648 140341773517208 140341630443277 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 [pid=1148/tid=1151] ppid=1146 vsize=9624980 CPUtime=0.06 cores=1,3,5,7 /proc/1148/task/1151/stat : 1151 (java) S 1146 1148 30566 0 -1 4202560 13 0 0 0 6 0 0 0 20 0 19 0 291543514 9855979520 16531 33554432000 1073741824 1073778376 140735419735648 140341751618088 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=1148/tid=1152] ppid=1146 vsize=9624980 CPUtime=0.05 cores=1,3,5,7 /proc/1148/task/1152/stat : 1152 (java) S 1146 1148 30566 0 -1 4202560 8 0 0 0 5 0 0 0 20 0 19 0 291543514 9855979520 16531 33554432000 1073741824 1073778376 140735419735648 140341750565288 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=1148/tid=1153] ppid=1146 vsize=9624980 CPUtime=0.05 cores=1,3,5,7 /proc/1148/task/1153/stat : 1153 (java) S 1146 1148 30566 0 -1 4202560 6 0 0 0 5 0 0 0 20 0 19 0 291543514 9855979520 16531 33554432000 1073741824 1073778376 140735419735648 140341749512488 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1148/tid=1154] ppid=1146 vsize=9624980 CPUtime=0.06 cores=1,3,5,7 /proc/1148/task/1154/stat : 1154 (java) S 1146 1148 30566 0 -1 4202560 17 0 0 0 6 0 0 0 20 0 19 0 291543514 9855979520 16531 33554432000 1073741824 1073778376 140735419735648 140341748459688 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=1148/tid=1155] ppid=1146 vsize=9624980 CPUtime=0.07 cores=1,3,5,7 /proc/1148/task/1155/stat : 1155 (java) S 1146 1148 30566 0 -1 4202560 21 0 0 0 7 0 0 0 20 0 19 0 291543514 9855979520 16531 33554432000 1073741824 1073778376 140735419735648 140341411834920 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=1148/tid=1156] ppid=1146 vsize=9624980 CPUtime=0.06 cores=1,3,5,7 /proc/1148/task/1156/stat : 1156 (java) S 1146 1148 30566 0 -1 4202560 9 0 0 0 6 0 0 0 20 0 19 0 291543514 9855979520 16531 33554432000 1073741824 1073778376 140735419735648 140341410782120 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1148/tid=1157] ppid=1146 vsize=9624980 CPUtime=0.05 cores=1,3,5,7 /proc/1148/task/1157/stat : 1157 (java) S 1146 1148 30566 0 -1 4202560 7 0 0 0 5 0 0 0 20 0 19 0 291543514 9855979520 16531 33554432000 1073741824 1073778376 140735419735648 140341409729320 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=1148/tid=1158] ppid=1146 vsize=9624980 CPUtime=0.06 cores=1,3,5,7 /proc/1148/task/1158/stat : 1158 (java) S 1146 1148 30566 0 -1 4202560 10 0 0 0 6 0 0 0 20 0 19 0 291543514 9855979520 16531 33554432000 1073741824 1073778376 140735419735648 140341408676520 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=1148/tid=1159] ppid=1146 vsize=9624980 CPUtime=1 cores=1,3,5,7 /proc/1148/task/1159/stat : 1159 (java) S 1146 1148 30566 0 -1 4202560 71 0 0 0 100 0 0 0 20 0 19 0 291543515 9855979520 16531 33554432000 1073741824 1073778376 140735419735648 140341396265448 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=1148/tid=1160] ppid=1146 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/1148/task/1160/stat : 1160 (java) S 1146 1148 30566 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291543515 9855979520 16531 33554432000 1073741824 1073778376 140735419735648 140341395211512 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1148/tid=1161] ppid=1146 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/1148/task/1161/stat : 1161 (java) S 1146 1148 30566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291543515 9855979520 16531 33554432000 1073741824 1073778376 140735419735648 140341394158600 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1148/tid=1162] ppid=1146 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/1148/task/1162/stat : 1162 (java) S 1146 1148 30566 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291543518 9855979520 16531 33554432000 1073741824 1073778376 140735419735648 140341393107088 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1148/tid=1163] ppid=1146 vsize=9624980 CPUtime=0.33 cores=1,3,5,7 /proc/1148/task/1163/stat : 1163 (java) S 1146 1148 30566 0 -1 4202560 2175 0 0 0 33 0 0 0 20 0 19 0 291543518 9855979520 16531 33554432000 1073741824 1073778376 140735419735648 140341392055224 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=1148/tid=1164] ppid=1146 vsize=9624980 CPUtime=1.24 cores=1,3,5,7 /proc/1148/task/1164/stat : 1164 (java) S 1146 1148 30566 0 -1 4202560 12847 0 0 0 121 3 0 0 20 0 19 0 291543518 9855979520 16531 33554432000 1073741824 1073778376 140735419735648 140341391002424 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=1148/tid=1165] ppid=1146 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/1148/task/1165/stat : 1165 (java) S 1146 1148 30566 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291543518 9855979520 16531 33554432000 1073741824 1073778376 140735419735648 140341389949816 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=1148/tid=1166] ppid=1146 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/1148/task/1166/stat : 1166 (java) S 1146 1148 30566 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291543518 9855979520 16531 33554432000 1073741824 1073778376 140735419735648 140341388897224 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=1148/tid=1167] ppid=1146 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/1148/task/1167/stat : 1167 (java) S 1146 1148 30566 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291543529 9855979520 16531 33554432000 1073741824 1073778376 140735419735648 140341387842728 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 29.99 Current children cumulated vsize (KiB) 9624980 Child status: 30 Real time (s): 28.1763 CPU time (s): 30.1814 CPU user time (s): 29.9984 CPU system time (s): 0.182972 CPU usage (%): 107.116 Max. virtual memory (cumulated for all children) (KiB): 9624980 getrusage(RUSAGE_CHILDREN,...) data: user time used= 29.9984 system time used= 0.182972 maximum resident set size= 72496 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 18945 page faults= 1 swaps= 0 block input operations= 0 block output operations= 64 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 3778 involuntary context switches= 3045 runsolver used 0.079987 second user time and 0.245962 second system time The end
Begin job on node114 at 2012-05-29 03:16:02 IDJOB=3718452 IDBENCH=79212 IDSOLVER=2301 FILE ID=node114/3718452-1338254161 RUNJOBID= node114-1338248715-32682 PBS_JOBID= 14624648 Free space on /tmp= 71464 MiB SOLVER NAME= Sat4j PB 2012-05-28 BENCH NAME= PB10/normalized-PB10/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1111226062--soft-0-100-0.wbo COMMAND LINE= java -jar HOME/sat4j-pb.jar BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3718452-1338254161/watcher-3718452-1338254161 -o /tmp/evaluation-result-3718452-1338254161/solver-3718452-1338254161 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar HOME/instance-3718452-1338254161.wbo TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 033c12179045731c4fd222e5d353b2b2 RANDOM SEED=50051580 node114.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 : 2666.242 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 : 5332.48 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 : 2666.242 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 : 2666.242 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 : 5451.90 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 : 2666.242 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 : 2666.242 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 : 2666.242 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 : 2666.242 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 : 2666.242 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.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32873648 kB MemFree: 29985888 kB Buffers: 865136 kB Cached: 423776 kB SwapCached: 2272 kB Active: 1903948 kB Inactive: 42048 kB Active(anon): 642028 kB Inactive(anon): 9072 kB Active(file): 1261920 kB Inactive(file): 32976 kB Unevictable: 7116 kB Mlocked: 7116 kB SwapTotal: 67108856 kB SwapFree: 67103572 kB Dirty: 152 kB Writeback: 0 kB AnonPages: 684604 kB Mapped: 19196 kB Shmem: 104 kB Slab: 802872 kB SReclaimable: 246744 kB SUnreclaim: 556128 kB KernelStack: 1760 kB PageTables: 5512 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545680 kB Committed_AS: 1038608 kB VmallocTotal: 34359738367 kB VmallocUsed: 346400 kB VmallocChunk: 34341988052 kB HardwareCorrupted: 0 kB AnonHugePages: 645120 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7680 kB DirectMap2M: 33538048 kB Free space on /tmp at the end= 71464 MiB End job on node114 at 2012-05-29 03:16:30