Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| Sat4j PB 2.3.6 Res+CP PB16 | OPTIMUM | 51.4562 | 51.5667 |
| Name | /SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111217555--soft-0-100-0.wbo |
| MD5SUM | 428d17a0ca1ea097508caf17ff8a3a24 |
| 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 | 1 |
| Best CPU time to get the best result obtained on this benchmark | 5.68213 |
| 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 | 1222 |
| Number of bits of the biggest sum of numbers | 11 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.09 c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS 0.00/0.09 c This is free software under the dual EPL/GNU LGPL licenses. 0.00/0.09 c See www.sat4j.org for details. 0.00/0.09 c version PB16.v20160501 0.00/0.09 c java.runtime.name Java(TM) SE Runtime Environment 0.00/0.09 c java.vm.name Java HotSpot(TM) 64-Bit Server VM 0.00/0.09 c java.vm.version 19.1-b02 0.00/0.09 c java.vm.vendor Sun Microsystems Inc. 0.00/0.09 c sun.arch.data.model 64 0.00/0.09 c java.version 1.6.0_24 0.00/0.09 c os.name Linux 0.00/0.09 c os.version 2.6.32-71.29.1.el6.x86_64 0.00/0.09 c os.arch amd64 0.00/0.09 c Free memory 501472288 0.00/0.09 c Max memory 7480803328 0.00/0.09 c Total memory 504102912 0.00/0.09 c Number of processors 8 0.08/0.12 c Pseudo Boolean Optimization by upper bound 0.08/0.12 c ManyCore solver with 2 solvers running in parallel 0.08/0.12 c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<< 0.08/0.12 c --- Begin Solver configuration --- 0.08/0.12 c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@5d764be1 0.08/0.12 c Learn all clauses as in MiniSAT 0.08/0.12 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.08/0.12 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.08/0.12 c Expensive reason simplification 0.08/0.12 c Glucose 2.1 dynamic restart strategy 0.08/0.12 c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000 0.08/0.12 c timeout=2147483s 0.08/0.12 c DB Simplification allowed=false 0.08/0.12 c Listener: org.sat4j.pb.tools.ManyCorePB@9f436f5 0.08/0.12 c --- End Solver configuration --- 0.08/0.12 c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<< 0.08/0.12 c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP) 0.08/0.12 c --- Begin Solver configuration --- 0.08/0.12 c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@4413ee 0.08/0.12 c Learn all clauses as in MiniSAT 0.08/0.12 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.08/0.12 c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function 0.08/0.12 c No reason simplification 0.08/0.12 c Armin Biere (Picosat) restarts strategy 0.08/0.12 c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000 0.08/0.12 c timeout=2147483s 0.08/0.12 c DB Simplification allowed=false 0.08/0.12 c Listener: org.sat4j.pb.tools.ManyCorePB@9f436f5 0.08/0.12 c --- End Solver configuration --- 0.08/0.12 c solving HOME/instance-4110173-1466345662.wbo 0.08/0.12 c reading problem ... 0.08/0.19 c ... done. Wall clock time 0.065s. 0.08/0.19 c declared #vars 169 0.08/0.19 c internal #vars 270 0.08/0.19 c #constraints 101 0.08/0.19 c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<< 0.08/0.19 c constraints type 0.08/0.19 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 30 0.08/0.19 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 71 0.08/0.19 c 101 constraints processed. 0.08/0.19 c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<< 0.08/0.19 c constraints type 0.08/0.19 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 30 0.08/0.19 c org.sat4j.pb.constraints.pb.MaxWatchPb => 71 0.08/0.19 c 101 constraints processed. 0.08/0.19 c objective function length is 101 literals 0.99/0.47 c And the winner is solver0 1.55/0.69 c SATISFIABLE 1.55/0.69 c OPTIMIZING... 1.55/0.69 c Got one! Elapsed wall clock time (in seconds):0.57 1.55/0.69 o 303 1.63/0.73 c And the winner is solver0 1.76/1.19 c Got one! Elapsed wall clock time (in seconds):1.071 1.76/1.19 o 301 1.79/1.21 c And the winner is solver0 1.82/1.69 c Got one! Elapsed wall clock time (in seconds):1.573 1.82/1.69 o 295 1.83/1.77 c And the winner is solver0 2.15/2.20 c Got one! Elapsed wall clock time (in seconds):2.074 2.15/2.20 o 279 2.17/2.21 c And the winner is solver0 2.23/2.70 c Got one! Elapsed wall clock time (in seconds):2.576 2.23/2.70 o 265 2.44/2.87 c cleaning 3083 clauses out of 6177 with flag 11027/6177 2.67/2.96 c And the winner is solver0 2.81/3.20 c Got one! Elapsed wall clock time (in seconds):3.077 2.81/3.20 o 261 2.81/3.22 c And the winner is solver0 2.97/3.70 c Got one! Elapsed wall clock time (in seconds):3.579 2.97/3.70 o 252 3.22/3.88 c And the winner is solver0 3.43/4.20 c Got one! Elapsed wall clock time (in seconds):4.08 3.43/4.20 o 250 3.43/4.21 c And the winner is solver0 3.47/4.70 c Got one! Elapsed wall clock time (in seconds):4.581 3.47/4.70 o 249 3.47/4.76 c cleaning 5162 clauses out of 10325 with flag 3819/13408 4.07/5.01 c And the winner is solver0 4.12/5.20 c Got one! Elapsed wall clock time (in seconds):5.082 4.12/5.20 o 242 4.12/5.27 c And the winner is solver0 4.29/5.70 c Got one! Elapsed wall clock time (in seconds):5.584 4.29/5.70 o 240 4.29/5.71 c And the winner is solver0 4.31/6.21 c Got one! Elapsed wall clock time (in seconds):6.085 4.31/6.21 o 237 4.49/6.34 c And the winner is solver0 4.59/6.71 c Got one! Elapsed wall clock time (in seconds):6.586 4.59/6.71 o 236 4.59/6.79 c And the winner is solver0 4.77/7.21 c Got one! Elapsed wall clock time (in seconds):7.088 4.77/7.21 o 235 4.77/7.29 c cleaning 8051 clauses out of 16111 with flag 3889/24356 4.77/7.29 c And the winner is solver0 4.97/7.71 c Got one! Elapsed wall clock time (in seconds):7.589 4.97/7.71 o 232 5.15/7.85 c And the winner is solver0 5.31/8.21 c Got one! Elapsed wall clock time (in seconds):8.09 5.31/8.21 o 216 5.31/8.29 c And the winner is solver0 5.50/8.71 c Got one! Elapsed wall clock time (in seconds):8.591 5.50/8.71 o 215 5.50/8.75 c And the winner is solver0 5.60/9.21 c Got one! Elapsed wall clock time (in seconds):9.093 5.60/9.21 o 203 5.78/9.33 c cleaning 7430 clauses out of 14869 with flag 9071/31165 6.20/9.59 c And the winner is solver0 6.48/9.71 c Got one! Elapsed wall clock time (in seconds):9.594 6.48/9.71 o 202 6.48/9.76 c And the winner is solver0 6.59/10.22 c Got one! Elapsed wall clock time (in seconds):10.095 6.59/10.22 o 199 6.96/10.42 c And the winner is solver0 7.04/10.72 c Got one! Elapsed wall clock time (in seconds):10.596 7.04/10.72 o 194 7.04/10.78 c And the winner is solver0 7.21/11.22 c Got one! Elapsed wall clock time (in seconds):11.097 7.21/11.22 o 193 7.37/11.37 c cleaning 9614 clauses out of 19235 with flag 10488/42961 7.57/11.42 c And the winner is solver0 7.65/11.72 c Got one! Elapsed wall clock time (in seconds):11.598 7.65/11.72 o 191 7.65/11.79 c And the winner is solver0 7.84/12.22 c Got one! Elapsed wall clock time (in seconds):12.099 7.84/12.22 o 183 7.84/12.28 c And the winner is solver0 8.12/12.72 c Got one! Elapsed wall clock time (in seconds):12.6 8.12/12.72 o 179 8.12/12.73 c And the winner is solver0 8.14/13.22 c Got one! Elapsed wall clock time (in seconds):13.102 8.14/13.22 o 175 8.14/13.25 c And the winner is solver0 8.22/13.72 c Got one! Elapsed wall clock time (in seconds):13.603 8.22/13.72 o 174 8.38/13.81 c And the winner is solver0 8.44/14.23 c Got one! Elapsed wall clock time (in seconds):14.104 8.44/14.23 o 172 8.44/14.30 c cleaning 7982 clauses out of 15964 with flag 4091/49304 9.21/14.61 c cleaning 6984 clauses out of 13981 with flag 29641/55303 9.21/14.69 c And the winner is solver0 9.50/14.83 c Got one! Elapsed wall clock time (in seconds):14.705 9.50/14.83 o 168 9.50/14.88 c And the winner is solver0 9.67/15.33 c Got one! Elapsed wall clock time (in seconds):15.206 9.67/15.33 o 158 9.82/15.41 c And the winner is solver0 9.86/15.83 c Got one! Elapsed wall clock time (in seconds):15.707 9.86/15.83 o 156 9.99/15.95 c cleaning 6753 clauses out of 13516 with flag 9773/61822 9.99/15.99 c And the winner is solver0 10.21/16.33 c Got one! Elapsed wall clock time (in seconds):16.209 10.21/16.33 o 151 10.21/16.40 c And the winner is solver0 10.42/16.83 c Got one! Elapsed wall clock time (in seconds):16.71 10.42/16.83 o 150 10.54/16.91 c And the winner is solver0 10.61/17.33 c Got one! Elapsed wall clock time (in seconds):17.211 10.61/17.33 o 149 10.61/17.34 c And the winner is solver0 10.61/17.83 c Got one! Elapsed wall clock time (in seconds):17.712 10.61/17.83 o 139 10.73/17.90 c And the winner is solver0 10.79/18.33 c Got one! Elapsed wall clock time (in seconds):18.213 10.79/18.33 o 111 10.79/18.38 c And the winner is solver0 10.95/18.83 c Got one! Elapsed wall clock time (in seconds):18.714 10.95/18.83 o 110 10.95/18.88 c And the winner is solver0 11.10/19.34 c Got one! Elapsed wall clock time (in seconds):19.215 11.10/19.34 o 102 11.10/19.39 c And the winner is solver0 11.29/19.84 c Got one! Elapsed wall clock time (in seconds):19.716 11.29/19.84 o 100 11.29/19.88 c And the winner is solver0 11.41/20.34 c Got one! Elapsed wall clock time (in seconds):20.217 11.41/20.34 o 97 11.41/20.38 c And the winner is solver0 11.57/20.84 c Got one! Elapsed wall clock time (in seconds):20.718 11.57/20.84 o 96 11.57/20.85 c And the winner is solver0 11.61/21.34 c Got one! Elapsed wall clock time (in seconds):21.219 11.61/21.34 o 95 11.61/21.36 c And the winner is solver0 11.67/21.84 c Got one! Elapsed wall clock time (in seconds):21.72 11.67/21.84 o 92 11.78/21.94 c cleaning 8016 clauses out of 16048 with flag 3915/71107 12.10/22.09 c And the winner is solver0 12.72/22.34 c Got one! Elapsed wall clock time (in seconds):22.221 12.72/22.34 o 91 12.72/22.36 c And the winner is solver0 12.79/22.84 c Got one! Elapsed wall clock time (in seconds):22.723 12.79/22.84 o 89 12.91/22.96 c And the winner is solver0 13.14/23.34 c Got one! Elapsed wall clock time (in seconds):23.224 13.14/23.34 o 88 13.25/23.42 c cleaning 7132 clauses out of 14283 with flag 3289/77358 13.25/23.46 c And the winner is solver0 13.80/23.85 c Got one! Elapsed wall clock time (in seconds):23.725 13.80/23.85 o 77 14.09/24.06 c cleaning 6148 clauses out of 12299 with flag 16242/82506 14.50/24.25 c And the winner is solver0 14.66/24.35 c Got one! Elapsed wall clock time (in seconds):24.227 14.66/24.35 o 75 14.66/24.36 c And the winner is solver0 14.68/24.85 c Got one! Elapsed wall clock time (in seconds):24.728 14.68/24.85 o 73 14.79/24.90 c cleaning 5763 clauses out of 11539 with flag 3656/87894 14.79/24.91 c And the winner is solver0 14.88/25.35 c Got one! Elapsed wall clock time (in seconds):25.23 14.88/25.35 o 67 14.99/25.49 c And the winner is solver0 15.21/25.85 c Got one! Elapsed wall clock time (in seconds):25.732 15.21/25.85 o 60 15.30/25.96 c cleaning 5522 clauses out of 11059 with flag 8751/93177 15.70/26.13 c And the winner is solver0 15.93/26.36 c Got one! Elapsed wall clock time (in seconds):26.237 15.93/26.36 o 56 16.04/26.45 c And the winner is solver0 16.16/26.86 c Got one! Elapsed wall clock time (in seconds):26.739 16.16/26.86 o 50 16.16/26.89 c And the winner is solver0 16.23/27.36 c Got one! Elapsed wall clock time (in seconds):27.242 16.23/27.36 o 48 16.30/27.42 c cleaning 6491 clauses out of 12993 with flag 3575/100633 16.30/27.44 c And the winner is solver0 16.43/27.87 c Got one! Elapsed wall clock time (in seconds):27.745 16.43/27.87 o 44 16.69/28.02 c And the winner is solver0 16.76/28.37 c Got one! Elapsed wall clock time (in seconds):28.248 16.76/28.37 o 41 16.81/28.48 c cleaning 6373 clauses out of 12746 with flag 7784/106877 17.42/28.73 c cleaning 6177 clauses out of 12372 with flag 30375/112876 18.01/29.04 c cleaning 6596 clauses out of 13195 with flag 57942/119876 18.61/29.37 c cleaning 7294 clauses out of 14599 with flag 85266/127876 19.42/29.80 c cleaning 8143 clauses out of 16304 with flag 119675/136875 19.62/29.87 c And the winner is solver0 19.79/29.92 c Got one! Elapsed wall clock time (in seconds):29.804 19.79/29.92 o 39 19.96/30.05 c And the winner is solver0 20.71/30.73 c Got one! Elapsed wall clock time (in seconds):30.609 20.71/30.73 o 36 20.88/30.83 c cleaning 7408 clauses out of 14826 with flag 8602/143540 21.08/30.99 c And the winner is solver0 21.76/31.53 c Got one! Elapsed wall clock time (in seconds):31.413 21.76/31.53 o 35 21.91/31.63 c cleaning 6582 clauses out of 13179 with flag 7663/149301 22.11/31.75 c And the winner is solver0 22.77/32.34 c Got one! Elapsed wall clock time (in seconds):32.217 22.77/32.34 o 34 22.92/32.42 c cleaning 6055 clauses out of 12112 with flag 6975/154816 23.33/32.64 c cleaning 6026 clauses out of 12057 with flag 28057/160816 23.92/32.93 c cleaning 6510 clauses out of 13032 with flag 51930/167817 24.34/33.14 c And the winner is solver0 24.77/33.55 c Got one! Elapsed wall clock time (in seconds):33.422 24.77/33.55 o 30 25.30/33.80 c cleaning 8432 clauses out of 16874 with flag 21425/178169 25.70/34.05 c cleaning 7213 clauses out of 14444 with flag 44266/184171 25.70/34.05 c And the winner is solver0 26.09/34.55 c Got one! Elapsed wall clock time (in seconds):34.425 26.09/34.55 o 29 26.39/34.76 c cleaning 6148 clauses out of 12302 with flag 20889/189242 26.99/35.01 c And the winner is solver0 27.32/35.35 c Got one! Elapsed wall clock time (in seconds):35.23 27.32/35.35 o 28 27.63/35.59 c cleaning 8548 clauses out of 17100 with flag 18514/200188 28.23/35.83 c cleaning 7273 clauses out of 14552 with flag 41160/206188 28.63/36.01 c And the winner is solver0 28.79/36.36 c Got one! Elapsed wall clock time (in seconds):36.234 28.79/36.36 o 26 28.88/36.40 c cleaning 6449 clauses out of 12907 with flag 3708/211816 29.27/36.64 c cleaning 6225 clauses out of 12457 with flag 25444/217815 29.86/36.93 c cleaning 6615 clauses out of 13237 with flag 53510/224821 30.26/37.14 c And the winner is solver0 30.72/37.56 c Got one! Elapsed wall clock time (in seconds):37.439 30.72/37.56 o 17 31.03/37.78 c cleaning 8546 clauses out of 17100 with flag 19526/235300 31.63/38.03 c cleaning 7270 clauses out of 14554 with flag 43818/241300 32.23/38.33 c cleaning 7136 clauses out of 14285 with flag 71689/248301 32.85/38.67 c cleaning 7567 clauses out of 15148 with flag 105077/256300 33.65/39.09 c cleaning 8287 clauses out of 16582 with flag 144273/265303 33.85/39.10 c And the winner is solver0 34.08/39.56 c Got one! Elapsed wall clock time (in seconds):39.443 34.08/39.56 o 16 34.35/39.78 c And the winner is solver0 35.03/40.37 c Got one! Elapsed wall clock time (in seconds):40.249 35.03/40.37 o 15 35.13/40.43 c cleaning 7210 clauses out of 14446 with flag 4596/271454 35.33/40.50 c And the winner is solver0 35.94/41.17 c Got one! Elapsed wall clock time (in seconds):41.054 35.94/41.17 o 14 36.23/41.31 c cleaning 6124 clauses out of 12255 with flag 13627/276473 36.63/41.54 c cleaning 6058 clauses out of 12131 with flag 38883/282473 37.25/41.82 c cleaning 6527 clauses out of 13072 with flag 68376/289472 37.25/41.89 c And the winner is solver0 37.50/42.18 c Got one! Elapsed wall clock time (in seconds):42.058 37.50/42.18 o 13 37.73/42.32 c cleaning 5829 clauses out of 11662 with flag 13783/294589 38.13/42.52 c And the winner is solver0 38.57/42.98 c Got one! Elapsed wall clock time (in seconds):42.863 38.57/42.98 o 12 39.05/43.23 c cleaning 8117 clauses out of 16242 with flag 22432/304999 39.65/43.50 c cleaning 7059 clauses out of 14127 with flag 49413/311001 40.05/43.79 c cleaning 7026 clauses out of 14065 with flag 80173/318000 40.87/44.13 c cleaning 7515 clauses out of 15039 with flag 115832/326000 40.87/44.15 c And the winner is solver0 40.97/44.49 c Got one! Elapsed wall clock time (in seconds):44.368 40.97/44.49 o 11 41.18/44.70 c cleaning 6534 clauses out of 13086 with flag 21884/331562 41.78/44.95 c cleaning 6269 clauses out of 12552 with flag 49456/337562 42.39/45.25 c cleaning 6628 clauses out of 13281 with flag 79901/344561 42.98/45.58 c cleaning 7316 clauses out of 14652 with flag 113765/352561 43.58/45.90 c And the winner is solver0 43.77/45.99 c Got one! Elapsed wall clock time (in seconds):45.873 43.77/45.99 o 10 44.24/46.27 c cleaning 9704 clauses out of 19408 with flag 21755/364635 44.63/46.45 c And the winner is solver0 45.07/46.80 c Got one! Elapsed wall clock time (in seconds):46.679 45.07/46.80 o 8 45.07/46.86 c cleaning 7520 clauses out of 15056 with flag 4779/369988 45.67/47.11 c cleaning 6762 clauses out of 13534 with flag 32195/375987 46.29/47.42 c cleaning 6882 clauses out of 13771 with flag 62996/382987 46.87/47.76 c cleaning 7439 clauses out of 14887 with flag 96910/390987 47.07/47.85 c And the winner is solver0 47.29/48.30 c Got one! Elapsed wall clock time (in seconds):48.183 47.29/48.30 o 6 47.48/48.41 c And the winner is solver0 48.17/49.11 c Got one! Elapsed wall clock time (in seconds):48.989 48.17/49.11 o 4 48.17/49.16 c cleaning 6590 clauses out of 13186 with flag 4546/396727 48.54/49.35 c And the winner is solver0 49.20/49.92 c Got one! Elapsed wall clock time (in seconds):49.794 49.20/49.92 o 3 49.20/49.98 c cleaning 6211 clauses out of 12430 with flag 4462/402563 49.57/50.15 c And the winner is solver0 50.22/50.72 c Got one! Elapsed wall clock time (in seconds):50.6 50.22/50.72 o 1 50.22/50.78 c cleaning 5808 clauses out of 11633 with flag 5261/407981 50.77/51.01 c And the winner is solver0 51.28/51.55 c >>>>>>>>>> Solver number 0 (78 answers) <<<<<<<<<<<<<<<<<< 51.28/51.55 c starts : 258 51.28/51.55 c conflicts : 413429 51.28/51.55 c decisions : 677824 51.28/51.55 c propagations : 11017774 51.28/51.55 c inspects : 187422263 51.28/51.55 c shortcuts : 0 51.28/51.55 c learnt literals : 34 51.28/51.55 c learnt binary clauses : 20 51.28/51.55 c learnt ternary clauses : 687 51.28/51.55 c learnt constraints : 413394 51.28/51.55 c ignored constraints : 0 51.28/51.55 c root simplifications : 0 51.28/51.55 c removed literals (reason simplification) : 226602 51.28/51.55 c reason swapping (by a shorter reason) : 0 51.28/51.55 c Calls to reduceDB : 58 51.28/51.55 c Number of update (reduction) of LBD : 115642 51.28/51.55 c Imported unit clauses : 0 51.28/51.55 c number of reductions to clauses (during analyze) : 0 51.28/51.55 c number of learned constraints concerned by reduction : 0 51.28/51.55 c number of learning phase by resolution : 0 51.28/51.55 c number of learning phase by cutting planes : 0 51.28/51.55 c speed (assignments/second) : 214553.9414238978 51.28/51.55 c non guided choices 3972 51.28/51.55 c learnt constraints type 51.28/51.55 c >>>>>>>>>> Solver number 1 (0 answers) <<<<<<<<<<<<<<<<<< 51.28/51.55 c starts : 78 51.28/51.55 c conflicts : 290 51.28/51.55 c decisions : 8034 51.28/51.55 c propagations : 23680 51.28/51.55 c inspects : 1045121 51.28/51.55 c shortcuts : 0 51.28/51.55 c learnt literals : 0 51.28/51.55 c learnt binary clauses : 0 51.28/51.55 c learnt ternary clauses : 0 51.28/51.55 c learnt constraints : 220 51.28/51.55 c ignored constraints : 0 51.28/51.55 c root simplifications : 0 51.28/51.55 c removed literals (reason simplification) : 0 51.28/51.55 c reason swapping (by a shorter reason) : 0 51.28/51.55 c Calls to reduceDB : 0 51.28/51.55 c Number of update (reduction) of LBD : 0 51.28/51.55 c Imported unit clauses : 0 51.28/51.55 c number of reductions to clauses (during analyze) : 0 51.28/51.55 c number of learned constraints concerned by reduction : 0 51.28/51.55 c number of learning phase by resolution : 0 51.28/51.55 c number of learning phase by cutting planes : 0 51.28/51.55 c speed (assignments/second) : 29126.691266912672 51.28/51.55 c non guided choices 1456 51.28/51.55 c learnt constraints type 51.28/51.55 s OPTIMUM FOUND 51.28/51.55 c Found 77 solution(s) 51.28/51.55 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 51.28/51.55 c objective function=1 51.28/51.55 c Total wall clock time (in seconds): 51.427
OK 1
runsolver Copyright (C) 2010-2013 Olivier ROUSSEL This is runsolver version 3.3.7 (svn: 2553) 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-4110173-1466345662/watcher-4110173-1466345662 -o /tmp/evaluation-result-4110173-1466345662/solver-4110173-1466345662 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node128-1466341815-30931 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4110173-1466345662.wbo pid=2617 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: 1.95 1.98 1.94 3/196 2620 /proc/meminfo: memFree=29395124/32872528 swapFree=303544/319896 [pid=2620] ppid=2617 vsize=9292 CPUtime=0 cores=1,3,5,7 /proc/2620/stat : 2620 (java) D 2617 2620 30914 0 -1 4202496 319 0 0 0 0 0 0 0 20 0 1 0 36612866 9515008 175 33554432000 1073741824 1073778376 140735296987424 140735296970152 262962758544 0 0 4096 0 18446744072100588836 0 0 17 3 0 0 0 0 0 /proc/2620/statm: 2323 175 133 9 0 71 0 [startup+0.10006 s] /proc/loadavg: 1.95 1.98 1.94 3/196 2620 /proc/meminfo: memFree=29395124/32872528 swapFree=303544/319896 [pid=2620] ppid=2617 vsize=9558476 CPUtime=0.08 cores=1,3,5,7 /proc/2620/stat : 2620 (java) S 2617 2620 30914 0 -1 4202496 4408 0 1 0 8 0 0 0 20 0 18 0 36612866 9787879424 6036 33554432000 1073741824 1073778376 140734762868288 140734762859424 262966116413 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/2620/statm: 2389619 6036 2125 9 0 2380296 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 9558476 [startup+0.200273 s] /proc/loadavg: 1.95 1.98 1.94 3/196 2620 /proc/meminfo: memFree=29395124/32872528 swapFree=303544/319896 [pid=2620] ppid=2617 vsize=9824732 CPUtime=0.24 cores=1,3,5,7 /proc/2620/stat : 2620 (java) S 2617 2620 30914 0 -1 4202496 4816 0 1 0 23 1 0 0 20 0 22 0 36612866 10060525568 7896 33554432000 1073741824 1073778376 140734762868288 140734762859424 262966116413 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/2620/statm: 2456183 7896 2221 9 0 2446860 0 Current children cumulated CPU time (s) 0.24 Current children cumulated vsize (KiB) 9824732 [startup+0.30022 s] /proc/loadavg: 1.95 1.98 1.94 3/196 2620 /proc/meminfo: memFree=29395124/32872528 swapFree=303544/319896 [pid=2620] ppid=2617 vsize=9824732 CPUtime=0.6 cores=1,3,5,7 /proc/2620/stat : 2620 (java) S 2617 2620 30914 0 -1 4202496 7167 0 1 0 59 1 0 0 20 0 22 0 36612866 10060525568 10013 33554432000 1073741824 1073778376 140734762868288 140734762859424 262966116413 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/2620/statm: 2456183 10013 2246 9 0 2446860 0 Current children cumulated CPU time (s) 0.6 Current children cumulated vsize (KiB) 9824732 [startup+0.700194 s] /proc/loadavg: 1.95 1.98 1.94 3/196 2620 /proc/meminfo: memFree=29395124/32872528 swapFree=303544/319896 [pid=2620] ppid=2617 vsize=9824732 CPUtime=1.63 cores=1,3,5,7 /proc/2620/stat : 2620 (java) S 2617 2620 30914 0 -1 4202496 15927 0 1 0 158 5 0 0 20 0 22 0 36612866 10060525568 16060 33554432000 1073741824 1073778376 140734762868288 140734762859424 262966116413 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/2620/statm: 2456183 16060 2255 9 0 2446860 0 Current children cumulated CPU time (s) 1.63 Current children cumulated vsize (KiB) 9824732 [startup+1.5008 s] /proc/loadavg: 1.95 1.98 1.94 2/215 2645 /proc/meminfo: memFree=29333648/32872528 swapFree=303544/319896 [pid=2620] ppid=2617 vsize=9824732 CPUtime=1.82 cores=1,3,5,7 /proc/2620/stat : 2620 (java) S 2617 2620 30914 0 -1 4202496 15949 0 1 0 173 9 0 0 20 0 19 0 36612866 10060525568 19646 33554432000 1073741824 1073778376 140734762868288 140734762859424 262966116413 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/2620/statm: 2456183 19646 2263 9 0 2446860 0 [pid=2620/tid=2622] ppid=2617 vsize=9824732 CPUtime=0.16 cores=1,3,5,7 /proc/2620/task/2622/stat : 2622 (java) S 2617 2620 30914 0 -1 4202560 2409 0 1 0 16 0 0 0 20 0 19 0 36612867 10060525568 19646 33554432000 1073741824 1073778376 140734762868288 139913077158776 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=2620/tid=2623] ppid=2617 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/2620/task/2623/stat : 2623 (java) S 2617 2620 30914 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36612868 10060525568 19646 33554432000 1073741824 1073778376 140734762868288 139913066220072 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=2620/tid=2624] ppid=2617 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/2620/task/2624/stat : 2624 (java) S 2617 2620 30914 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36612868 10060525568 19646 33554432000 1073741824 1073778376 140734762868288 139913065167272 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=2620/tid=2625] ppid=2617 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/2620/task/2625/stat : 2625 (java) S 2617 2620 30914 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36612868 10060525568 19646 33554432000 1073741824 1073778376 140734762868288 139913064114472 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=2620/tid=2626] ppid=2617 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/2620/task/2626/stat : 2626 (java) S 2617 2620 30914 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36612868 10060525568 19646 33554432000 1073741824 1073778376 140734762868288 139913063061672 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=2620/tid=2627] ppid=2617 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/2620/task/2627/stat : 2627 (java) S 2617 2620 30914 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36612868 10060525568 19646 33554432000 1073741824 1073778376 140734762868288 139913062009896 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=2620/tid=2628] ppid=2617 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/2620/task/2628/stat : 2628 (java) S 2617 2620 30914 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36612868 10060525568 19646 33554432000 1073741824 1073778376 140734762868288 139913060957096 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=2620/tid=2629] ppid=2617 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/2620/task/2629/stat : 2629 (java) S 2617 2620 30914 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36612868 10060525568 19646 33554432000 1073741824 1073778376 140734762868288 139913059904296 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=2620/tid=2630] ppid=2617 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/2620/task/2630/stat : 2630 (java) S 2617 2620 30914 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 36612868 10060525568 19646 33554432000 1073741824 1073778376 140734762868288 139913058851496 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=2620/tid=2631] ppid=2617 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/2620/task/2631/stat : 2631 (java) S 2617 2620 30914 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 36612869 10060525568 19646 33554432000 1073741824 1073778376 140734762868288 139912901257704 262966130601 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=2620/tid=2632] ppid=2617 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/2620/task/2632/stat : 2632 (java) S 2617 2620 30914 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 36612870 10060525568 19646 33554432000 1073741824 1073778376 140734762868288 139912900203768 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=2620/tid=2633] ppid=2617 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/2620/task/2633/stat : 2633 (java) S 2617 2620 30914 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 36612870 10060525568 19646 33554432000 1073741824 1073778376 140734762868288 139912899150856 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=2620/tid=2634] ppid=2617 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/2620/task/2634/stat : 2634 (java) S 2617 2620 30914 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36612872 10060525568 19646 33554432000 1073741824 1073778376 140734762868288 139912898099344 262966138656 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=2620/tid=2635] ppid=2617 vsize=9824732 CPUtime=0.48 cores=1,3,5,7 /proc/2620/task/2635/stat : 2635 (java) S 2617 2620 30914 0 -1 4202560 7183 0 0 0 46 2 0 0 20 0 19 0 36612872 10060525568 19646 33554432000 1073741824 1073778376 140734762868288 139912897047480 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=2620/tid=2636] ppid=2617 vsize=9824732 CPUtime=0.48 cores=1,3,5,7 /proc/2620/task/2636/stat : 2636 (java) S 2617 2620 30914 0 -1 4202560 5003 0 0 0 48 0 0 0 20 0 19 0 36612872 10060525568 19646 33554432000 1073741824 1073778376 140734762868288 139912895994680 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=2620/tid=2637] ppid=2617 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/2620/task/2637/stat : 2637 (java) S 2617 2620 30914 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36612872 10060525568 19646 33554432000 1073741824 1073778376 140734762868288 139912894942072 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=2620/tid=2638] ppid=2617 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/2620/task/2638/stat : 2638 (java) S 2617 2620 30914 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36612872 10060525568 19646 33554432000 1073741824 1073778376 140734762868288 139912893889480 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=2620/tid=2642] ppid=2617 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/2620/task/2642/stat : 2642 (java) S 2617 2620 30914 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 36612886 10060525568 19646 33554432000 1073741824 1073778376 140734762868288 139912889676584 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1.82 Current children cumulated vsize (KiB) 9824732 [startup+3.10088 s] /proc/loadavg: 1.95 1.98 1.94 4/217 2653 /proc/meminfo: memFree=29302572/32872528 swapFree=303544/319896 [pid=2620] ppid=2617 vsize=9824732 CPUtime=2.81 cores=1,3,5,7 /proc/2620/stat : 2620 (java) S 2617 2620 30914 0 -1 4202496 16947 0 1 0 267 14 0 0 20 0 19 0 36612866 10060525568 44255 33554432000 1073741824 1073778376 140734762868288 140734762859424 262966116413 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/2620/statm: 2456183 44255 2285 9 0 2446860 0 [pid=2620/tid=2622] ppid=2617 vsize=9824732 CPUtime=0.16 cores=1,3,5,7 /proc/2620/task/2622/stat : 2622 (java) S 2617 2620 30914 0 -1 4202560 2410 0 1 0 16 0 0 0 20 0 19 0 36612867 10060525568 44255 33554432000 1073741824 1073778376 140734762868288 139913077158776 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=2620/tid=2623] ppid=2617 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/2620/task/2623/stat : 2623 (java) S 2617 2620 30914 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 36612868 10060525568 44255 33554432000 1073741824 1073778376 140734762868288 139913066220072 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=2620/tid=2624] ppid=2617 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/2620/task/2624/stat : 2624 (java) S 2617 2620 30914 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36612868 10060525568 44255 33554432000 1073741824 1073778376 140734762868288 139913065167272 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=2620/tid=2625] ppid=2617 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/2620/task/2625/stat : 2625 (java) S 2617 2620 30914 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36612868 10060525568 44255 33554432000 1073741824 1073778376 140734762868288 139913064114472 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=2620/tid=2626] ppid=2617 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/2620/task/2626/stat : 2626 (java) S 2617 2620 30914 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 36612868 10060525568 44255 33554432000 1073741824 1073778376 140734762868288 139913063061672 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=2620/tid=2627] ppid=2617 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/2620/task/2627/stat : 2627 (java) S 2617 2620 30914 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 19 0 36612868 10060525568 44255 33554432000 1073741824 1073778376 140734762868288 139913062009896 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=2620/tid=2628] ppid=2617 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/2620/task/2628/stat : 2628 (java) S 2617 2620 30914 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36612868 10060525568 44255 33554432000 1073741824 1073778376 140734762868288 139913060957096 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=2620/tid=2629] ppid=2617 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/2620/task/2629/stat : 2629 (java) S 2617 2620 30914 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36612868 10060525568 44255 33554432000 1073741824 1073778376 140734762868288 139913059904296 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=2620/tid=2630] ppid=2617 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/2620/task/2630/stat : 2630 (java) S 2617 2620 30914 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 36612868 10060525568 44255 33554432000 1073741824 1073778376 140734762868288 139913058851496 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=2620/tid=2631] ppid=2617 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/2620/task/2631/stat : 2631 (java) S 2617 2620 30914 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 36612869 10060525568 44255 33554432000 1073741824 1073778376 140734762868288 139912901257704 262966130601 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=2620/tid=2632] ppid=2617 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/2620/task/2632/stat : 2632 (java) S 2617 2620 30914 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 36612870 10060525568 44255 33554432000 1073741824 1073778376 140734762868288 139912900203768 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=2620/tid=2633] ppid=2617 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/2620/task/2633/stat : 2633 (java) S 2617 2620 30914 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 36612870 10060525568 44255 33554432000 1073741824 1073778376 140734762868288 139912899150856 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=2620/tid=2634] ppid=2617 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/2620/task/2634/stat : 2634 (java) S 2617 2620 30914 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36612872 10060525568 44255 33554432000 1073741824 1073778376 140734762868288 139912898099344 262966138656 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=2620/tid=2635] ppid=2617 vsize=9824732 CPUtime=0.67 cores=1,3,5,7 /proc/2620/task/2635/stat : 2635 (java) S 2617 2620 30914 0 -1 4202560 8074 0 0 0 65 2 0 0 20 0 19 0 36612872 10060525568 44255 33554432000 1073741824 1073778376 140734762868288 139912897047480 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=2620/tid=2636] ppid=2617 vsize=9824732 CPUtime=0.59 cores=1,3,5,7 /proc/2620/task/2636/stat : 2636 (java) S 2617 2620 30914 0 -1 4202560 5008 0 0 0 59 0 0 0 20 0 19 0 36612872 10060525568 44255 33554432000 1073741824 1073778376 140734762868288 139912895994680 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=2620/tid=2637] ppid=2617 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/2620/task/2637/stat : 2637 (java) S 2617 2620 30914 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36612872 10060525568 44255 33554432000 1073741824 1073778376 140734762868288 139912894942072 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=2620/tid=2638] ppid=2617 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/2620/task/2638/stat : 2638 (java) S 2617 2620 30914 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36612872 10060525568 44255 33554432000 1073741824 1073778376 140734762868288 139912893889480 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=2620/tid=2642] ppid=2617 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/2620/task/2642/stat : 2642 (java) S 2617 2620 30914 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 36612886 10060525568 44255 33554432000 1073741824 1073778376 140734762868288 139912889676584 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 2.81 Current children cumulated vsize (KiB) 9824732 [startup+6.30084 s] /proc/loadavg: 1.87 1.96 1.94 3/215 2672 /proc/meminfo: memFree=29212148/32872528 swapFree=303544/319896 [pid=2620] ppid=2617 vsize=9824732 CPUtime=4.49 cores=1,3,5,7 /proc/2620/stat : 2620 (java) S 2617 2620 30914 0 -1 4202496 18091 0 1 0 422 27 0 0 20 0 22 0 36612866 10060525568 47693 33554432000 1073741824 1073778376 140734762868288 140734762859424 262966116413 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/2620/statm: 2456183 47693 2286 9 0 2446860 0 [pid=2620/tid=2622] ppid=2617 vsize=9824732 CPUtime=0.17 cores=1,3,5,7 /proc/2620/task/2622/stat : 2622 (java) S 2617 2620 30914 0 -1 4202560 2411 0 1 0 17 0 0 0 20 0 22 0 36612867 10060525568 47693 33554432000 1073741824 1073778376 140734762868288 139913077158776 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=2620/tid=2623] ppid=2617 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/2620/task/2623/stat : 2623 (java) S 2617 2620 30914 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 36612868 10060525568 47693 33554432000 1073741824 1073778376 140734762868288 139913066220072 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=2620/tid=2624] ppid=2617 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/2620/task/2624/stat : 2624 (java) S 2617 2620 30914 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 36612868 10060525568 47693 33554432000 1073741824 1073778376 140734762868288 139913065167272 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=2620/tid=2625] ppid=2617 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/2620/task/2625/stat : 2625 (java) S 2617 2620 30914 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 36612868 10060525568 47693 33554432000 1073741824 1073778376 140734762868288 139913064114472 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=2620/tid=2626] ppid=2617 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/2620/task/2626/stat : 2626 (java) S 2617 2620 30914 0 -1 4202560 15 0 0 0 0 0 0 0 20 0 22 0 36612868 10060525568 47693 33554432000 1073741824 1073778376 140734762868288 139913063061672 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=2620/tid=2627] ppid=2617 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/2620/task/2627/stat : 2627 (java) S 2617 2620 30914 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 22 0 36612868 10060525568 47693 33554432000 1073741824 1073778376 140734762868288 139913062009896 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=2620/tid=2628] ppid=2617 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/2620/task/2628/stat : 2628 (java) S 2617 2620 30914 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 36612868 10060525568 47693 33554432000 1073741824 1073778376 140734762868288 139913060957096 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=2620/tid=2629] ppid=2617 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/2620/task/2629/stat : 2629 (java) S 2617 2620 30914 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 36612868 10060525568 47693 33554432000 1073741824 1073778376 140734762868288 139913059904296 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=2620/tid=2630] ppid=2617 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/2620/task/2630/stat : 2630 (java) S 2617 2620 30914 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 22 0 36612868 10060525568 47693 33554432000 1073741824 1073778376 140734762868288 139913058851496 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=2620/tid=2631] ppid=2617 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/2620/task/2631/stat : 2631 (java) S 2617 2620 30914 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 36612869 10060525568 47693 33554432000 1073741824 1073778376 140734762868288 139912901257704 262966130601 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=2620/tid=2632] ppid=2617 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/2620/task/2632/stat : 2632 (java) S 2617 2620 30914 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 36612870 10060525568 47693 33554432000 1073741824 1073778376 140734762868288 139912900203768 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=2620/tid=2633] ppid=2617 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/2620/task/2633/stat : 2633 (java) S 2617 2620 30914 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 36612870 10060525568 47693 33554432000 1073741824 1073778376 140734762868288 139912899150856 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=2620/tid=2634] ppid=2617 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/2620/task/2634/stat : 2634 (java) S 2617 2620 30914 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 36612872 10060525568 47693 33554432000 1073741824 1073778376 140734762868288 139912898099344 262966138656 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=2620/tid=2635] ppid=2617 vsize=9824732 CPUtime=0.71 cores=1,3,5,7 /proc/2620/task/2635/stat : 2635 (java) S 2617 2620 30914 0 -1 4202560 8074 0 0 0 69 2 0 0 20 0 22 0 36612872 10060525568 47693 33554432000 1073741824 1073778376 140734762868288 139912897047480 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=2620/tid=2636] ppid=2617 vsize=9824732 CPUtime=0.74 cores=1,3,5,7 /proc/2620/task/2636/stat : 2636 (java) S 2617 2620 30914 0 -1 4202560 6059 0 0 0 74 0 0 0 20 0 22 0 36612872 10060525568 47693 33554432000 1073741824 1073778376 140734762868288 139912895994680 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=2620/tid=2637] ppid=2617 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/2620/task/2637/stat : 2637 (java) S 2617 2620 30914 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 36612872 10060525568 47693 33554432000 1073741824 1073778376 140734762868288 139912894942072 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=2620/tid=2638] ppid=2617 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/2620/task/2638/stat : 2638 (java) S 2617 2620 30914 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 36612872 10060525568 47693 33554432000 1073741824 1073778376 140734762868288 139912893889480 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=2620/tid=2642] ppid=2617 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/2620/task/2642/stat : 2642 (java) S 2617 2620 30914 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 36612886 10060525568 47693 33554432000 1073741824 1073778376 140734762868288 139912889676584 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 4.49 Current children cumulated vsize (KiB) 9824732 heavy processes: ################ # More data... # ################ /proc/2620/task/2628/stat : 2628 (java) S 2617 2620 30914 0 -1 4202560 13 0 0 0 2 0 0 0 20 0 20 0 36612868 10060525568 52704 33554432000 1073741824 1073778376 140734762868288 139913060957096 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=2620/tid=2629] ppid=2617 vsize=9824732 CPUtime=0.02 cores=1,3,5,7 /proc/2620/task/2629/stat : 2629 (java) S 2617 2620 30914 0 -1 4202560 17 0 0 0 2 0 0 0 20 0 20 0 36612868 10060525568 52704 33554432000 1073741824 1073778376 140734762868288 139913059904296 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=2620/tid=2630] ppid=2617 vsize=9824732 CPUtime=0.03 cores=1,3,5,7 /proc/2620/task/2630/stat : 2630 (java) S 2617 2620 30914 0 -1 4202560 21 0 0 0 3 0 0 0 20 0 20 0 36612868 10060525568 52704 33554432000 1073741824 1073778376 140734762868288 139913058851496 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=2620/tid=2631] ppid=2617 vsize=9824732 CPUtime=0.05 cores=1,3,5,7 /proc/2620/task/2631/stat : 2631 (java) S 2617 2620 30914 0 -1 4202560 20 0 0 0 1 4 0 0 20 0 20 0 36612869 10060525568 52704 33554432000 1073741824 1073778376 140734762868288 139912901257704 262966130601 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=2620/tid=2632] ppid=2617 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/2620/task/2632/stat : 2632 (java) S 2617 2620 30914 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 20 0 36612870 10060525568 52704 33554432000 1073741824 1073778376 140734762868288 139912900203768 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=2620/tid=2633] ppid=2617 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/2620/task/2633/stat : 2633 (java) S 2617 2620 30914 0 -1 4202560 31 0 0 0 0 0 0 0 20 0 20 0 36612870 10060525568 52704 33554432000 1073741824 1073778376 140734762868288 139912899150856 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=2620/tid=2634] ppid=2617 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/2620/task/2634/stat : 2634 (java) S 2617 2620 30914 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 36612872 10060525568 52704 33554432000 1073741824 1073778376 140734762868288 139912898099344 262966138656 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=2620/tid=2635] ppid=2617 vsize=9824732 CPUtime=0.89 cores=1,3,5,7 /proc/2620/task/2635/stat : 2635 (java) S 2617 2620 30914 0 -1 4202560 8092 0 0 0 87 2 0 0 20 0 20 0 36612872 10060525568 52704 33554432000 1073741824 1073778376 140734762868288 139912897047480 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=2620/tid=2636] ppid=2617 vsize=9824732 CPUtime=1.74 cores=1,3,5,7 /proc/2620/task/2636/stat : 2636 (java) S 2617 2620 30914 0 -1 4202560 17157 0 0 0 171 3 0 0 20 0 20 0 36612872 10060525568 52704 33554432000 1073741824 1073778376 140734762868288 139912895994680 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=2620/tid=2637] ppid=2617 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/2620/task/2637/stat : 2637 (java) S 2617 2620 30914 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 36612872 10060525568 52704 33554432000 1073741824 1073778376 140734762868288 139912894942072 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=2620/tid=2638] ppid=2617 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/2620/task/2638/stat : 2638 (java) S 2617 2620 30914 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 20 0 36612872 10060525568 52704 33554432000 1073741824 1073778376 140734762868288 139912893889480 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=2620/tid=2642] ppid=2617 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/2620/task/2642/stat : 2642 (java) S 2617 2620 30914 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 36612886 10060525568 52704 33554432000 1073741824 1073778376 140734762868288 139912889676584 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 50.88 Current children cumulated vsize (KiB) 9824732 Solver just ended. ??? exit watcher main loop ??? sigkill at end of watcher main loop ??? kill 2620 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+51.201 s] /proc/loadavg: 1.90 1.96 1.94 2/214 2954 /proc/meminfo: memFree=31032876/32872528 swapFree=303544/319896 [pid=2620] ppid=2617 vsize=9824732 CPUtime=50.98 cores=1,3,5,7 /proc/2620/stat : 2620 (java) S 2617 2620 30914 0 -1 4202496 29890 0 1 0 4936 162 0 0 20 0 20 0 36612866 10060525568 52704 33554432000 1073741824 1073778376 140734762868288 140734762859424 262966116413 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/2620/statm: 2456183 52704 2288 9 0 2446860 0 [pid=2620/tid=2622] ppid=2617 vsize=9824732 CPUtime=0.3 cores=1,3,5,7 /proc/2620/task/2622/stat : 2622 (java) S 2617 2620 30914 0 -1 4202560 2413 0 1 0 30 0 0 0 20 0 20 0 36612867 10060525568 52704 33554432000 1073741824 1073778376 140734762868288 139913077158776 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=2620/tid=2623] ppid=2617 vsize=9824732 CPUtime=0.02 cores=1,3,5,7 /proc/2620/task/2623/stat : 2623 (java) S 2617 2620 30914 0 -1 4202560 24 0 0 0 2 0 0 0 20 0 20 0 36612868 10060525568 52704 33554432000 1073741824 1073778376 140734762868288 139913066220072 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=2620/tid=2624] ppid=2617 vsize=9824732 CPUtime=0.02 cores=1,3,5,7 /proc/2620/task/2624/stat : 2624 (java) S 2617 2620 30914 0 -1 4202560 17 0 0 0 2 0 0 0 20 0 20 0 36612868 10060525568 52704 33554432000 1073741824 1073778376 140734762868288 139913065167272 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=2620/tid=2625] ppid=2617 vsize=9824732 CPUtime=0.04 cores=1,3,5,7 /proc/2620/task/2625/stat : 2625 (java) S 2617 2620 30914 0 -1 4202560 26 0 0 0 2 2 0 0 20 0 20 0 36612868 10060525568 52704 33554432000 1073741824 1073778376 140734762868288 139913064114472 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=2620/tid=2626] ppid=2617 vsize=9824732 CPUtime=0.03 cores=1,3,5,7 /proc/2620/task/2626/stat : 2626 (java) S 2617 2620 30914 0 -1 4202560 23 0 0 0 3 0 0 0 20 0 20 0 36612868 10060525568 52704 33554432000 1073741824 1073778376 140734762868288 139913063061672 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=2620/tid=2627] ppid=2617 vsize=9824732 CPUtime=0.02 cores=1,3,5,7 /proc/2620/task/2627/stat : 2627 (java) S 2617 2620 30914 0 -1 4202560 19 0 0 0 2 0 0 0 20 0 20 0 36612868 10060525568 52704 33554432000 1073741824 1073778376 140734762868288 139913062009896 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=2620/tid=2628] ppid=2617 vsize=9824732 CPUtime=0.02 cores=1,3,5,7 /proc/2620/task/2628/stat : 2628 (java) S 2617 2620 30914 0 -1 4202560 13 0 0 0 2 0 0 0 20 0 20 0 36612868 10060525568 52704 33554432000 1073741824 1073778376 140734762868288 139913060957096 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=2620/tid=2629] ppid=2617 vsize=9824732 CPUtime=0.02 cores=1,3,5,7 /proc/2620/task/2629/stat : 2629 (java) S 2617 2620 30914 0 -1 4202560 17 0 0 0 2 0 0 0 20 0 20 0 36612868 10060525568 52704 33554432000 1073741824 1073778376 140734762868288 139913059904296 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=2620/tid=2630] ppid=2617 vsize=9824732 CPUtime=0.03 cores=1,3,5,7 /proc/2620/task/2630/stat : 2630 (java) S 2617 2620 30914 0 -1 4202560 21 0 0 0 3 0 0 0 20 0 20 0 36612868 10060525568 52704 33554432000 1073741824 1073778376 140734762868288 139913058851496 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=2620/tid=2631] ppid=2617 vsize=9824732 CPUtime=0.05 cores=1,3,5,7 /proc/2620/task/2631/stat : 2631 (java) S 2617 2620 30914 0 -1 4202560 20 0 0 0 1 4 0 0 20 0 20 0 36612869 10060525568 52704 33554432000 1073741824 1073778376 140734762868288 139912901257704 262966130601 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=2620/tid=2632] ppid=2617 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/2620/task/2632/stat : 2632 (java) S 2617 2620 30914 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 20 0 36612870 10060525568 52704 33554432000 1073741824 1073778376 140734762868288 139912900203768 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=2620/tid=2633] ppid=2617 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/2620/task/2633/stat : 2633 (java) S 2617 2620 30914 0 -1 4202560 31 0 0 0 0 0 0 0 20 0 20 0 36612870 10060525568 52704 33554432000 1073741824 1073778376 140734762868288 139912899150856 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=2620/tid=2634] ppid=2617 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/2620/task/2634/stat : 2634 (java) S 2617 2620 30914 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 36612872 10060525568 52704 33554432000 1073741824 1073778376 140734762868288 139912898099344 262966138656 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=2620/tid=2635] ppid=2617 vsize=9824732 CPUtime=0.89 cores=1,3,5,7 /proc/2620/task/2635/stat : 2635 (java) S 2617 2620 30914 0 -1 4202560 8092 0 0 0 87 2 0 0 20 0 20 0 36612872 10060525568 52704 33554432000 1073741824 1073778376 140734762868288 139912897047480 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=2620/tid=2636] ppid=2617 vsize=9824732 CPUtime=1.74 cores=1,3,5,7 /proc/2620/task/2636/stat : 2636 (java) S 2617 2620 30914 0 -1 4202560 17157 0 0 0 171 3 0 0 20 0 20 0 36612872 10060525568 52704 33554432000 1073741824 1073778376 140734762868288 139912895994680 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=2620/tid=2637] ppid=2617 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/2620/task/2637/stat : 2637 (java) S 2617 2620 30914 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 36612872 10060525568 52704 33554432000 1073741824 1073778376 140734762868288 139912894942072 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=2620/tid=2638] ppid=2617 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/2620/task/2638/stat : 2638 (java) S 2617 2620 30914 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 20 0 36612872 10060525568 52704 33554432000 1073741824 1073778376 140734762868288 139912893889480 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=2620/tid=2642] ppid=2617 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/2620/task/2642/stat : 2642 (java) S 2617 2620 30914 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 36612886 10060525568 52704 33554432000 1073741824 1073778376 140734762868288 139912889676584 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 50.98 Current children cumulated vsize (KiB) 9824732 [startup+51.4007 s] /proc/loadavg: 1.90 1.96 1.94 2/214 2954 /proc/meminfo: memFree=31032876/32872528 swapFree=303544/319896 [pid=2620] ppid=2617 vsize=9824732 CPUtime=51.18 cores=1,3,5,7 /proc/2620/stat : 2620 (java) S 2617 2620 30914 0 -1 4202496 29890 0 1 0 4956 162 0 0 20 0 20 0 36612866 10060525568 52704 33554432000 1073741824 1073778376 140734762868288 140734762859424 262966116413 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/2620/statm: 2456183 52704 2288 9 0 2446860 0 [pid=2620/tid=2622] ppid=2617 vsize=9824732 CPUtime=0.3 cores=1,3,5,7 /proc/2620/task/2622/stat : 2622 (java) S 2617 2620 30914 0 -1 4202560 2413 0 1 0 30 0 0 0 20 0 20 0 36612867 10060525568 52704 33554432000 1073741824 1073778376 140734762868288 139913077158776 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=2620/tid=2623] ppid=2617 vsize=9824732 CPUtime=0.02 cores=1,3,5,7 /proc/2620/task/2623/stat : 2623 (java) S 2617 2620 30914 0 -1 4202560 24 0 0 0 2 0 0 0 20 0 20 0 36612868 10060525568 52704 33554432000 1073741824 1073778376 140734762868288 139913066220072 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=2620/tid=2624] ppid=2617 vsize=9824732 CPUtime=0.02 cores=1,3,5,7 /proc/2620/task/2624/stat : 2624 (java) S 2617 2620 30914 0 -1 4202560 17 0 0 0 2 0 0 0 20 0 20 0 36612868 10060525568 52704 33554432000 1073741824 1073778376 140734762868288 139913065167272 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=2620/tid=2625] ppid=2617 vsize=9824732 CPUtime=0.04 cores=1,3,5,7 /proc/2620/task/2625/stat : 2625 (java) S 2617 2620 30914 0 -1 4202560 26 0 0 0 2 2 0 0 20 0 20 0 36612868 10060525568 52704 33554432000 1073741824 1073778376 140734762868288 139913064114472 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=2620/tid=2626] ppid=2617 vsize=9824732 CPUtime=0.03 cores=1,3,5,7 /proc/2620/task/2626/stat : 2626 (java) S 2617 2620 30914 0 -1 4202560 23 0 0 0 3 0 0 0 20 0 20 0 36612868 10060525568 52704 33554432000 1073741824 1073778376 140734762868288 139913063061672 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=2620/tid=2627] ppid=2617 vsize=9824732 CPUtime=0.02 cores=1,3,5,7 /proc/2620/task/2627/stat : 2627 (java) S 2617 2620 30914 0 -1 4202560 19 0 0 0 2 0 0 0 20 0 20 0 36612868 10060525568 52704 33554432000 1073741824 1073778376 140734762868288 139913062009896 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=2620/tid=2628] ppid=2617 vsize=9824732 CPUtime=0.02 cores=1,3,5,7 /proc/2620/task/2628/stat : 2628 (java) S 2617 2620 30914 0 -1 4202560 13 0 0 0 2 0 0 0 20 0 20 0 36612868 10060525568 52704 33554432000 1073741824 1073778376 140734762868288 139913060957096 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=2620/tid=2629] ppid=2617 vsize=9824732 CPUtime=0.02 cores=1,3,5,7 /proc/2620/task/2629/stat : 2629 (java) S 2617 2620 30914 0 -1 4202560 17 0 0 0 2 0 0 0 20 0 20 0 36612868 10060525568 52704 33554432000 1073741824 1073778376 140734762868288 139913059904296 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=2620/tid=2630] ppid=2617 vsize=9824732 CPUtime=0.03 cores=1,3,5,7 /proc/2620/task/2630/stat : 2630 (java) S 2617 2620 30914 0 -1 4202560 21 0 0 0 3 0 0 0 20 0 20 0 36612868 10060525568 52704 33554432000 1073741824 1073778376 140734762868288 139913058851496 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=2620/tid=2631] ppid=2617 vsize=9824732 CPUtime=0.05 cores=1,3,5,7 /proc/2620/task/2631/stat : 2631 (java) S 2617 2620 30914 0 -1 4202560 20 0 0 0 1 4 0 0 20 0 20 0 36612869 10060525568 52704 33554432000 1073741824 1073778376 140734762868288 139912901257704 262966130601 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=2620/tid=2632] ppid=2617 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/2620/task/2632/stat : 2632 (java) S 2617 2620 30914 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 20 0 36612870 10060525568 52704 33554432000 1073741824 1073778376 140734762868288 139912900203768 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=2620/tid=2633] ppid=2617 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/2620/task/2633/stat : 2633 (java) S 2617 2620 30914 0 -1 4202560 31 0 0 0 0 0 0 0 20 0 20 0 36612870 10060525568 52704 33554432000 1073741824 1073778376 140734762868288 139912899150856 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=2620/tid=2634] ppid=2617 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/2620/task/2634/stat : 2634 (java) S 2617 2620 30914 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 36612872 10060525568 52704 33554432000 1073741824 1073778376 140734762868288 139912898099344 262966138656 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=2620/tid=2635] ppid=2617 vsize=9824732 CPUtime=0.89 cores=1,3,5,7 /proc/2620/task/2635/stat : 2635 (java) S 2617 2620 30914 0 -1 4202560 8092 0 0 0 87 2 0 0 20 0 20 0 36612872 10060525568 52704 33554432000 1073741824 1073778376 140734762868288 139912897047480 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=2620/tid=2636] ppid=2617 vsize=9824732 CPUtime=1.74 cores=1,3,5,7 /proc/2620/task/2636/stat : 2636 (java) S 2617 2620 30914 0 -1 4202560 17157 0 0 0 171 3 0 0 20 0 20 0 36612872 10060525568 52704 33554432000 1073741824 1073778376 140734762868288 139912895994680 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=2620/tid=2637] ppid=2617 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/2620/task/2637/stat : 2637 (java) S 2617 2620 30914 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 36612872 10060525568 52704 33554432000 1073741824 1073778376 140734762868288 139912894942072 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=2620/tid=2638] ppid=2617 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/2620/task/2638/stat : 2638 (java) S 2617 2620 30914 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 20 0 36612872 10060525568 52704 33554432000 1073741824 1073778376 140734762868288 139912893889480 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=2620/tid=2642] ppid=2617 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/2620/task/2642/stat : 2642 (java) S 2617 2620 30914 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 36612886 10060525568 52704 33554432000 1073741824 1073778376 140734762868288 139912889676584 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 51.18 Current children cumulated vsize (KiB) 9824732 [startup+51.5008 s] /proc/loadavg: 1.90 1.96 1.94 2/214 2954 /proc/meminfo: memFree=31032876/32872528 swapFree=303544/319896 [pid=2620] ppid=2617 vsize=9824732 CPUtime=51.28 cores=1,3,5,7 /proc/2620/stat : 2620 (java) S 2617 2620 30914 0 -1 4202496 29890 0 1 0 4966 162 0 0 20 0 20 0 36612866 10060525568 52704 33554432000 1073741824 1073778376 140734762868288 140734762859424 262966116413 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/2620/statm: 2456183 52704 2288 9 0 2446860 0 [pid=2620/tid=2622] ppid=2617 vsize=9824732 CPUtime=0.3 cores=1,3,5,7 /proc/2620/task/2622/stat : 2622 (java) S 2617 2620 30914 0 -1 4202560 2413 0 1 0 30 0 0 0 20 0 20 0 36612867 10060525568 52704 33554432000 1073741824 1073778376 140734762868288 139913077158776 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=2620/tid=2623] ppid=2617 vsize=9824732 CPUtime=0.02 cores=1,3,5,7 /proc/2620/task/2623/stat : 2623 (java) S 2617 2620 30914 0 -1 4202560 24 0 0 0 2 0 0 0 20 0 20 0 36612868 10060525568 52704 33554432000 1073741824 1073778376 140734762868288 139913066220072 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=2620/tid=2624] ppid=2617 vsize=9824732 CPUtime=0.02 cores=1,3,5,7 /proc/2620/task/2624/stat : 2624 (java) S 2617 2620 30914 0 -1 4202560 17 0 0 0 2 0 0 0 20 0 20 0 36612868 10060525568 52704 33554432000 1073741824 1073778376 140734762868288 139913065167272 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=2620/tid=2625] ppid=2617 vsize=9824732 CPUtime=0.04 cores=1,3,5,7 /proc/2620/task/2625/stat : 2625 (java) S 2617 2620 30914 0 -1 4202560 26 0 0 0 2 2 0 0 20 0 20 0 36612868 10060525568 52704 33554432000 1073741824 1073778376 140734762868288 139913064114472 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=2620/tid=2626] ppid=2617 vsize=9824732 CPUtime=0.03 cores=1,3,5,7 /proc/2620/task/2626/stat : 2626 (java) S 2617 2620 30914 0 -1 4202560 23 0 0 0 3 0 0 0 20 0 20 0 36612868 10060525568 52704 33554432000 1073741824 1073778376 140734762868288 139913063061672 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=2620/tid=2627] ppid=2617 vsize=9824732 CPUtime=0.02 cores=1,3,5,7 /proc/2620/task/2627/stat : 2627 (java) S 2617 2620 30914 0 -1 4202560 19 0 0 0 2 0 0 0 20 0 20 0 36612868 10060525568 52704 33554432000 1073741824 1073778376 140734762868288 139913062009896 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=2620/tid=2628] ppid=2617 vsize=9824732 CPUtime=0.02 cores=1,3,5,7 /proc/2620/task/2628/stat : 2628 (java) S 2617 2620 30914 0 -1 4202560 13 0 0 0 2 0 0 0 20 0 20 0 36612868 10060525568 52704 33554432000 1073741824 1073778376 140734762868288 139913060957096 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=2620/tid=2629] ppid=2617 vsize=9824732 CPUtime=0.02 cores=1,3,5,7 /proc/2620/task/2629/stat : 2629 (java) S 2617 2620 30914 0 -1 4202560 17 0 0 0 2 0 0 0 20 0 20 0 36612868 10060525568 52704 33554432000 1073741824 1073778376 140734762868288 139913059904296 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=2620/tid=2630] ppid=2617 vsize=9824732 CPUtime=0.03 cores=1,3,5,7 /proc/2620/task/2630/stat : 2630 (java) S 2617 2620 30914 0 -1 4202560 21 0 0 0 3 0 0 0 20 0 20 0 36612868 10060525568 52704 33554432000 1073741824 1073778376 140734762868288 139913058851496 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=2620/tid=2631] ppid=2617 vsize=9824732 CPUtime=0.05 cores=1,3,5,7 /proc/2620/task/2631/stat : 2631 (java) S 2617 2620 30914 0 -1 4202560 20 0 0 0 1 4 0 0 20 0 20 0 36612869 10060525568 52704 33554432000 1073741824 1073778376 140734762868288 139912901257704 262966130601 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=2620/tid=2632] ppid=2617 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/2620/task/2632/stat : 2632 (java) S 2617 2620 30914 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 20 0 36612870 10060525568 52704 33554432000 1073741824 1073778376 140734762868288 139912900203768 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=2620/tid=2633] ppid=2617 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/2620/task/2633/stat : 2633 (java) S 2617 2620 30914 0 -1 4202560 31 0 0 0 0 0 0 0 20 0 20 0 36612870 10060525568 52704 33554432000 1073741824 1073778376 140734762868288 139912899150856 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=2620/tid=2634] ppid=2617 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/2620/task/2634/stat : 2634 (java) S 2617 2620 30914 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 36612872 10060525568 52704 33554432000 1073741824 1073778376 140734762868288 139912898099344 262966138656 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=2620/tid=2635] ppid=2617 vsize=9824732 CPUtime=0.89 cores=1,3,5,7 /proc/2620/task/2635/stat : 2635 (java) S 2617 2620 30914 0 -1 4202560 8092 0 0 0 87 2 0 0 20 0 20 0 36612872 10060525568 52704 33554432000 1073741824 1073778376 140734762868288 139912897047480 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=2620/tid=2636] ppid=2617 vsize=9824732 CPUtime=1.74 cores=1,3,5,7 /proc/2620/task/2636/stat : 2636 (java) S 2617 2620 30914 0 -1 4202560 17157 0 0 0 171 3 0 0 20 0 20 0 36612872 10060525568 52704 33554432000 1073741824 1073778376 140734762868288 139912895994680 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=2620/tid=2637] ppid=2617 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/2620/task/2637/stat : 2637 (java) S 2617 2620 30914 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 36612872 10060525568 52704 33554432000 1073741824 1073778376 140734762868288 139912894942072 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=2620/tid=2638] ppid=2617 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/2620/task/2638/stat : 2638 (java) S 2617 2620 30914 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 20 0 36612872 10060525568 52704 33554432000 1073741824 1073778376 140734762868288 139912893889480 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=2620/tid=2642] ppid=2617 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/2620/task/2642/stat : 2642 (java) S 2617 2620 30914 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 36612886 10060525568 52704 33554432000 1073741824 1073778376 140734762868288 139912889676584 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 51.28 Current children cumulated vsize (KiB) 9824732 Child status: 30 Real time (s): 51.5667 CPU time (s): 51.4562 CPU user time (s): 49.7244 CPU system time (s): 1.73174 CPU usage (%): 99.7856 Max. virtual memory (cumulated for all children) (KiB): 9824732 getrusage(RUSAGE_CHILDREN,...) data: user time used= 49.7244 system time used= 1.73174 maximum resident set size= 228064 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 29903 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= 3626 involuntary context switches= 968 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.312952 second user time and 0.415936 second system time The end
Begin job on node128 at 2016-06-19 16:14:22 IDJOB=4110173 IDBENCH=79188 IDSOLVER=2552 FILE ID=node128/4110173-1466345662 RUNJOBID= node128-1466341815-30931 PBS_JOBID= 19922025 Free space on /tmp= 71708 MiB SOLVER NAME= Sat4j PB 2.3.6 Res+CP PB16 BENCH NAME= PB10/normalized-PB10/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1111217555--soft-0-100-0.wbo COMMAND LINE= java -jar sat4j-pb.jar Both BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4110173-1466345662/watcher-4110173-1466345662 -o /tmp/evaluation-result-4110173-1466345662/solver-4110173-1466345662 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node128-1466341815-30931 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4110173-1466345662.wbo TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 428d17a0ca1ea097508caf17ff8a3a24 RANDOM SEED=241599211 node128.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.768 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 : 5333.53 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.768 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 : 5332.55 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.768 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 : 5332.56 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.768 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 : 5332.55 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.768 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 : 5332.57 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.768 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 : 5332.56 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.768 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 : 5332.56 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.768 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 : 5332.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32872528 kB MemFree: 29396032 kB Buffers: 187640 kB Cached: 273792 kB SwapCached: 2716 kB Active: 2046656 kB Inactive: 344740 kB Active(anon): 1929372 kB Inactive(anon): 2792 kB Active(file): 117284 kB Inactive(file): 341948 kB Unevictable: 319896 kB Mlocked: 303544 kB SwapTotal: 67108856 kB SwapFree: 67099292 kB Dirty: 876 kB Writeback: 0 kB AnonPages: 2378996 kB Mapped: 17184 kB Shmem: 0 kB Slab: 626860 kB SReclaimable: 70316 kB SUnreclaim: 556544 kB KernelStack: 1800 kB PageTables: 9116 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 2518120 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 2015232 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7552 kB DirectMap2M: 33538048 kB Free space on /tmp at the end= 71708 MiB End job on node128 at 2016-06-19 16:15:14