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 | 22.3616 | 37.8161 |
| Name | /PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111224451--soft-66-100-0.wbo |
| MD5SUM | 810107b2d0d7e110201031afb2b4c53e |
| Bench Category | PARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints) |
| Best result obtained on this benchmark | MOPT |
| Best cost obtained on this benchmark | 64 |
| Best CPU time to get the best result obtained on this benchmark | 10.0435 |
| 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 | 28 |
| 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 | 1415 |
| Min constraint cost | 1 |
| Max constraint cost | 98 |
| Sum of constraints costs | 1414 |
| Biggest number in a constraint | 38 |
| Number of bits of the biggest number in a constraint | 6 |
| Biggest sum of numbers in a constraint | 1261 |
| 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.06/0.11 c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS 0.06/0.11 c This is free software under the dual EPL/GNU LGPL licenses. 0.06/0.11 c See www.sat4j.org for details. 0.06/0.11 c version PB16.v20160501 0.06/0.11 c java.runtime.name Java(TM) SE Runtime Environment 0.06/0.11 c java.vm.name Java HotSpot(TM) 64-Bit Server VM 0.06/0.11 c java.vm.version 19.1-b02 0.06/0.11 c java.vm.vendor Sun Microsystems Inc. 0.06/0.11 c sun.arch.data.model 64 0.06/0.11 c java.version 1.6.0_24 0.06/0.11 c os.name Linux 0.06/0.11 c os.version 2.6.32-71.29.1.el6.x86_64 0.06/0.11 c os.arch amd64 0.06/0.11 c Free memory 501472288 0.06/0.11 c Max memory 7480803328 0.06/0.11 c Total memory 504102912 0.06/0.12 c Number of processors 16 0.06/0.14 c Pseudo Boolean Optimization by upper bound 0.06/0.14 c ManyCore solver with 2 solvers running in parallel 0.06/0.14 c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<< 0.06/0.14 c --- Begin Solver configuration --- 0.06/0.14 c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@38c5c3ac 0.06/0.14 c Learn all clauses as in MiniSAT 0.06/0.14 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.06/0.14 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.06/0.14 c Expensive reason simplification 0.06/0.14 c Glucose 2.1 dynamic restart strategy 0.06/0.14 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.06/0.14 c timeout=2147483s 0.06/0.14 c DB Simplification allowed=false 0.06/0.14 c Listener: org.sat4j.pb.tools.ManyCorePB@558385e3 0.06/0.14 c --- End Solver configuration --- 0.06/0.14 c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<< 0.06/0.14 c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP) 0.06/0.14 c --- Begin Solver configuration --- 0.06/0.14 c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@2dcb25f1 0.06/0.14 c Learn all clauses as in MiniSAT 0.06/0.14 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.06/0.14 c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function 0.06/0.14 c No reason simplification 0.06/0.14 c Armin Biere (Picosat) restarts strategy 0.06/0.14 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.06/0.14 c timeout=2147483s 0.06/0.14 c DB Simplification allowed=false 0.06/0.14 c Listener: org.sat4j.pb.tools.ManyCorePB@558385e3 0.06/0.14 c --- End Solver configuration --- 0.06/0.14 c solving HOME/instance-4109585-1467321384.wbo 0.06/0.14 c reading problem ... 0.20/0.21 c ... done. Wall clock time 0.066s. 0.20/0.21 c declared #vars 169 0.20/0.21 c internal #vars 197 0.20/0.21 c #constraints 101 0.20/0.21 c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<< 0.20/0.21 c constraints type 0.20/0.21 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 28 0.20/0.21 c org.sat4j.minisat.constraints.card.MinWatchCard => 50 0.20/0.21 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 2 0.20/0.21 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 21 0.20/0.21 c 101 constraints processed. 0.20/0.21 c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<< 0.20/0.21 c constraints type 0.20/0.21 c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 2 0.20/0.21 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 28 0.20/0.21 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 50 0.20/0.21 c org.sat4j.pb.constraints.pb.MaxWatchPb => 21 0.20/0.21 c 101 constraints processed. 0.20/0.21 c objective function length is 28 literals 0.92/0.42 c And the winner is solver0 1.29/0.71 c SATISFIABLE 1.29/0.71 c OPTIMIZING... 1.29/0.71 c Got one! Elapsed wall clock time (in seconds):0.571 1.29/0.72 o 783 1.59/0.83 c And the winner is solver0 2.03/1.22 c Got one! Elapsed wall clock time (in seconds):1.072 2.03/1.22 o 775 2.33/1.38 c cleaning 3289 clauses out of 6578 with flag 8546/6578 2.72/1.48 c And the winner is solver1 3.33/1.72 c Got one! Elapsed wall clock time (in seconds):1.573 3.33/1.72 o 768 3.33/1.77 c And the winner is solver0 3.52/2.22 c Got one! Elapsed wall clock time (in seconds):2.073 3.52/2.22 o 728 3.52/2.23 c And the winner is solver0 3.52/2.72 c Got one! Elapsed wall clock time (in seconds):2.574 3.52/2.72 o 656 3.52/2.75 c And the winner is solver0 3.60/3.22 c Got one! Elapsed wall clock time (in seconds):3.075 3.60/3.22 o 651 3.60/3.27 c cleaning 5252 clauses out of 10504 with flag 3804/13793 3.60/3.30 c And the winner is solver0 3.81/3.72 c Got one! Elapsed wall clock time (in seconds):3.576 3.81/3.72 o 645 3.81/3.73 c And the winner is solver0 3.85/4.22 c Got one! Elapsed wall clock time (in seconds):4.077 3.85/4.22 o 623 3.85/4.25 c And the winner is solver0 3.92/4.72 c Got one! Elapsed wall clock time (in seconds):4.578 3.92/4.72 o 619 3.92/4.73 c And the winner is solver0 3.92/5.22 c Got one! Elapsed wall clock time (in seconds):5.078 3.92/5.22 o 602 3.92/5.23 c And the winner is solver0 3.92/5.72 c Got one! Elapsed wall clock time (in seconds):5.579 3.92/5.72 o 474 3.92/5.73 c And the winner is solver0 3.92/6.22 c Got one! Elapsed wall clock time (in seconds):6.08 3.92/6.22 o 465 3.92/6.26 c And the winner is solver0 4.00/6.73 c Got one! Elapsed wall clock time (in seconds):6.581 4.00/6.73 o 461 4.00/6.74 c And the winner is solver0 4.02/7.23 c Got one! Elapsed wall clock time (in seconds):7.082 4.02/7.23 o 455 4.02/7.24 c And the winner is solver0 4.04/7.73 c Got one! Elapsed wall clock time (in seconds):7.583 4.04/7.73 o 431 4.31/7.85 c cleaning 6415 clauses out of 12833 with flag 10570/21374 4.31/7.86 c And the winner is solver0 4.49/8.23 c Got one! Elapsed wall clock time (in seconds):8.084 4.49/8.23 o 387 4.49/8.23 c And the winner is solver0 4.49/8.73 c Got one! Elapsed wall clock time (in seconds):8.585 4.49/8.73 o 382 4.49/8.74 c And the winner is solver0 4.49/9.23 c Got one! Elapsed wall clock time (in seconds):9.086 4.49/9.23 o 377 4.49/9.25 c And the winner is solver0 4.55/9.73 c Got one! Elapsed wall clock time (in seconds):9.587 4.55/9.73 o 370 4.67/9.88 c And the winner is solver0 4.85/10.23 c Got one! Elapsed wall clock time (in seconds):10.088 4.85/10.23 o 366 4.85/10.28 c cleaning 6533 clauses out of 13075 with flag 4340/28031 4.85/10.28 c And the winner is solver0 5.04/10.73 c Got one! Elapsed wall clock time (in seconds):10.589 5.04/10.73 o 363 5.04/10.75 c And the winner is solver0 5.08/11.23 c Got one! Elapsed wall clock time (in seconds):11.09 5.08/11.23 o 356 5.08/11.28 c And the winner is solver0 5.26/11.74 c Got one! Elapsed wall clock time (in seconds):11.591 5.26/11.74 o 352 5.26/11.77 c And the winner is solver0 5.34/12.24 c Got one! Elapsed wall clock time (in seconds):12.092 5.34/12.24 o 348 5.34/12.27 c And the winner is solver0 5.43/12.74 c Got one! Elapsed wall clock time (in seconds):12.593 5.43/12.74 o 345 5.43/12.74 c And the winner is solver0 5.45/13.24 c Got one! Elapsed wall clock time (in seconds):13.094 5.45/13.24 o 343 5.45/13.29 c And the winner is solver0 5.68/13.74 c Got one! Elapsed wall clock time (in seconds):13.595 5.68/13.74 o 323 5.68/13.79 c And the winner is solver0 5.85/14.24 c Got one! Elapsed wall clock time (in seconds):14.096 5.85/14.24 o 321 5.98/14.32 c cleaning 7407 clauses out of 14816 with flag 8153/36305 5.98/14.33 c And the winner is solver0 6.07/14.74 c Got one! Elapsed wall clock time (in seconds):14.596 6.07/14.74 o 318 6.07/14.79 c And the winner is solver0 6.24/15.24 c Got one! Elapsed wall clock time (in seconds):15.097 6.24/15.24 o 315 6.24/15.25 c And the winner is solver0 6.27/15.74 c Got one! Elapsed wall clock time (in seconds):15.598 6.27/15.74 o 308 6.27/15.75 c And the winner is solver0 6.31/16.24 c Got one! Elapsed wall clock time (in seconds):16.099 6.31/16.24 o 302 6.31/16.25 c And the winner is solver0 6.31/16.74 c Got one! Elapsed wall clock time (in seconds):16.6 6.31/16.74 o 282 6.41/16.82 c And the winner is solver0 6.51/17.24 c Got one! Elapsed wall clock time (in seconds):17.101 6.51/17.24 o 276 6.61/17.35 c cleaning 7196 clauses out of 14395 with flag 7375/43291 6.61/17.36 c And the winner is solver0 7.01/17.75 c Got one! Elapsed wall clock time (in seconds):17.601 7.01/17.75 o 274 7.01/17.78 c And the winner is solver0 7.11/18.25 c Got one! Elapsed wall clock time (in seconds):18.102 7.11/18.25 o 272 7.21/18.39 c cleaning 6383 clauses out of 12774 with flag 14603/48866 7.43/18.40 c And the winner is solver0 7.73/18.75 c Got one! Elapsed wall clock time (in seconds):18.603 7.73/18.75 o 261 8.08/18.92 c cleaning 5934 clauses out of 11871 with flag 18517/54346 8.29/19.04 c And the winner is solver0 8.39/19.25 c Got one! Elapsed wall clock time (in seconds):19.104 8.39/19.25 o 255 8.39/19.28 c cleaning 5682 clauses out of 11367 with flag 3992/59776 8.69/19.48 c cleaning 5836 clauses out of 11684 with flag 27052/65775 8.93/19.51 c And the winner is solver0 9.04/19.75 c Got one! Elapsed wall clock time (in seconds):19.605 9.04/19.75 o 254 9.16/19.88 c cleaning 5536 clauses out of 11080 with flag 15095/71007 9.16/19.90 c And the winner is solver0 9.36/20.25 c Got one! Elapsed wall clock time (in seconds):20.106 9.36/20.25 o 253 9.45/20.30 c And the winner is solver0 9.65/20.75 c Got one! Elapsed wall clock time (in seconds):20.606 9.65/20.75 o 242 9.75/20.88 c cleaning 5933 clauses out of 11881 with flag 15482/77344 9.75/20.89 c And the winner is solver0 9.99/21.25 c Got one! Elapsed wall clock time (in seconds):21.107 9.99/21.25 o 241 9.99/21.28 c And the winner is solver0 10.05/21.75 c Got one! Elapsed wall clock time (in seconds):21.608 10.05/21.75 o 237 10.05/21.78 c And the winner is solver0 10.12/22.25 c Got one! Elapsed wall clock time (in seconds):22.109 10.12/22.25 o 232 10.12/22.27 c And the winner is solver0 10.18/22.75 c Got one! Elapsed wall clock time (in seconds):22.609 10.18/22.75 o 231 10.54/22.90 c And the winner is solver0 10.57/23.25 c Got one! Elapsed wall clock time (in seconds):23.11 10.57/23.25 o 228 10.66/23.30 c cleaning 7213 clauses out of 14436 with flag 4222/85832 10.86/23.47 c And the winner is solver0 11.01/23.75 c Got one! Elapsed wall clock time (in seconds):23.611 11.01/23.75 o 220 11.16/23.84 c And the winner is solver0 11.27/24.26 c Got one! Elapsed wall clock time (in seconds):24.112 11.27/24.26 o 214 11.37/24.39 c cleaning 8958 clauses out of 17927 with flag 12742/96536 11.59/24.41 c And the winner is solver0 11.90/24.76 c Got one! Elapsed wall clock time (in seconds):24.612 11.90/24.76 o 210 12.24/24.96 c cleaning 7278 clauses out of 14562 with flag 22604/102129 12.24/24.98 c And the winner is solver0 12.67/25.26 c Got one! Elapsed wall clock time (in seconds):25.113 12.67/25.26 o 208 12.67/25.30 c And the winner is solver0 12.88/25.76 c Got one! Elapsed wall clock time (in seconds):25.614 12.88/25.76 o 199 12.96/25.81 c And the winner is solver0 13.10/26.26 c Got one! Elapsed wall clock time (in seconds):26.115 13.10/26.26 o 196 13.18/26.38 c cleaning 6958 clauses out of 13918 with flag 12481/108763 13.50/26.43 c And the winner is solver0 13.61/26.76 c Got one! Elapsed wall clock time (in seconds):26.615 13.61/26.76 o 185 13.68/26.81 c And the winner is solver0 13.72/27.26 c Got one! Elapsed wall clock time (in seconds):27.116 13.72/27.26 o 180 13.79/27.31 c And the winner is solver0 13.85/27.76 c Got one! Elapsed wall clock time (in seconds):27.617 13.85/27.76 o 162 13.92/27.84 c cleaning 6883 clauses out of 13776 with flag 9042/115579 13.92/27.85 c And the winner is solver0 14.04/28.26 c Got one! Elapsed wall clock time (in seconds):28.118 14.04/28.26 o 157 14.11/28.32 c And the winner is solver0 14.19/28.76 c Got one! Elapsed wall clock time (in seconds):28.619 14.19/28.76 o 148 14.25/28.86 c cleaning 6122 clauses out of 12249 with flag 13027/120935 14.25/28.88 c And the winner is solver0 14.47/29.26 c Got one! Elapsed wall clock time (in seconds):29.119 14.47/29.26 o 137 14.73/29.41 c And the winner is solver0 14.79/29.76 c Got one! Elapsed wall clock time (in seconds):29.62 14.79/29.76 o 136 14.89/29.81 c cleaning 6440 clauses out of 12899 with flag 4429/127707 14.89/29.90 c And the winner is solver0 15.09/30.27 c Got one! Elapsed wall clock time (in seconds):30.121 15.09/30.27 o 119 15.09/30.27 c And the winner is solver0 15.12/30.77 c Got one! Elapsed wall clock time (in seconds):30.622 15.12/30.77 o 113 15.12/30.77 c And the winner is solver0 15.14/31.27 c Got one! Elapsed wall clock time (in seconds):31.122 15.14/31.27 o 106 15.20/31.34 c cleaning 5999 clauses out of 12008 with flag 8798/133256 15.20/31.35 c And the winner is solver0 15.33/31.77 c Got one! Elapsed wall clock time (in seconds):31.623 15.33/31.77 o 104 15.39/31.81 c And the winner is solver0 15.46/32.27 c Got one! Elapsed wall clock time (in seconds):32.124 15.46/32.27 o 103 15.46/32.28 c And the winner is solver0 15.48/32.77 c Got one! Elapsed wall clock time (in seconds):32.625 15.48/32.77 o 97 15.54/32.84 c And the winner is solver0 15.65/33.27 c Got one! Elapsed wall clock time (in seconds):33.125 15.65/33.27 o 86 15.65/33.28 c And the winner is solver0 15.69/33.77 c Got one! Elapsed wall clock time (in seconds):33.626 15.69/33.77 o 80 15.75/33.85 c cleaning 6497 clauses out of 12996 with flag 8642/140243 16.17/34.06 c cleaning 6249 clauses out of 12498 with flag 35886/146243 16.62/34.29 c cleaning 6624 clauses out of 13247 with flag 65151/153243 17.22/34.57 c cleaning 7309 clauses out of 14622 with flag 100324/161243 17.83/34.88 c cleaning 8151 clauses out of 16312 with flag 138812/170243 18.67/35.26 c cleaning 9081 clauses out of 18161 with flag 185490/180243 19.45/35.68 c cleaning 10036 clauses out of 20081 with flag 236393/191246 19.65/35.79 c And the winner is solver0 19.85/36.27 c Got one! Elapsed wall clock time (in seconds):36.128 19.85/36.27 o 64 19.91/36.36 c cleaning 7551 clauses out of 15104 with flag 9413/196306 20.32/36.58 c cleaning 6769 clauses out of 13552 with flag 34402/202305 20.92/36.81 c cleaning 6887 clauses out of 13781 with flag 62753/209307 21.32/37.08 c cleaning 7443 clauses out of 14891 with flag 95644/217306 21.92/37.39 c cleaning 8215 clauses out of 16442 with flag 132975/226305 22.14/37.43 c And the winner is solver0 22.24/37.80 c >>>>>>>>>> Solver number 0 (68 answers) <<<<<<<<<<<<<<<<<< 22.24/37.80 c starts : 1039 22.24/37.80 c conflicts : 227406 22.24/37.80 c decisions : 372699 22.24/37.80 c propagations : 4822377 22.24/37.80 c inspects : 80907470 22.24/37.80 c shortcuts : 0 22.24/37.80 c learnt literals : 29 22.24/37.80 c learnt binary clauses : 160 22.24/37.80 c learnt ternary clauses : 788 22.24/37.80 c learnt constraints : 227376 22.24/37.80 c ignored constraints : 0 22.24/37.80 c root simplifications : 0 22.24/37.80 c removed literals (reason simplification) : 2619493 22.24/37.80 c reason swapping (by a shorter reason) : 0 22.24/37.80 c Calls to reduceDB : 32 22.24/37.80 c Number of update (reduction) of LBD : 59478 22.24/37.80 c Imported unit clauses : 0 22.24/37.80 c number of reductions to clauses (during analyze) : 0 22.24/37.80 c number of learned constraints concerned by reduction : 0 22.24/37.80 c number of learning phase by resolution : 0 22.24/37.80 c number of learning phase by cutting planes : 0 22.24/37.80 c speed (assignments/second) : 133639.37924345295 22.24/37.80 c non guided choices 2432 22.24/37.80 c learnt constraints type 22.24/37.80 c >>>>>>>>>> Solver number 1 (1 answers) <<<<<<<<<<<<<<<<<< 22.24/37.80 c starts : 70 22.24/37.80 c conflicts : 770 22.24/37.80 c decisions : 6326 22.24/37.80 c propagations : 33290 22.24/37.80 c inspects : 2303355 22.24/37.80 c shortcuts : 0 22.24/37.80 c learnt literals : 0 22.24/37.80 c learnt binary clauses : 0 22.24/37.80 c learnt ternary clauses : 0 22.24/37.80 c learnt constraints : 716 22.24/37.80 c ignored constraints : 0 22.24/37.80 c root simplifications : 0 22.24/37.80 c removed literals (reason simplification) : 0 22.24/37.80 c reason swapping (by a shorter reason) : 0 22.24/37.80 c Calls to reduceDB : 0 22.24/37.80 c Number of update (reduction) of LBD : 0 22.24/37.80 c Imported unit clauses : 0 22.24/37.80 c number of reductions to clauses (during analyze) : 0 22.24/37.80 c number of learned constraints concerned by reduction : 0 22.24/37.80 c number of learning phase by resolution : 0 22.24/37.80 c number of learning phase by cutting planes : 0 22.24/37.80 c speed (assignments/second) : 21786.649214659687 22.24/37.80 c non guided choices 1016 22.24/37.80 c learnt constraints type 22.24/37.80 s OPTIMUM FOUND 22.24/37.80 c Found 68 solution(s) 22.24/37.80 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 22.24/37.81 c objective function=64 22.24/37.81 c Total wall clock time (in seconds): 37.661
OK 64
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-4109585-1467321384/watcher-4109585-1467321384 -o /tmp/evaluation-result-4109585-1467321384/solver-4109585-1467321384 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node132-1467319458-6005 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4109585-1467321384.wbo pid=8110 running on 8 cores: 0-3,8-11 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: 0.48 0.85 1.15 2/251 8113 /proc/meminfo: memFree=28994584/32872528 swapFree=8828/8828 [pid=8113] ppid=8110 vsize=23236 CPUtime=0 cores=0-3,8-11 /proc/8113/stat : 8113 (java) R 8110 8113 26963 0 -1 4202496 791 0 0 0 0 0 0 0 20 0 1 0 13091204 23793664 441 33554432000 1073741824 1073778376 140734630838352 140734630827416 216799427137 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 /proc/8113/statm: 5809 455 346 9 0 128 0 [startup+0.100101 s] /proc/loadavg: 0.48 0.85 1.15 2/251 8113 /proc/meminfo: memFree=28994584/32872528 swapFree=8828/8828 [pid=8113] ppid=8110 vsize=9896436 CPUtime=0.06 cores=0-3,8-11 /proc/8113/stat : 8113 (java) S 8110 8113 26963 0 -1 4202496 3444 0 1 0 5 1 0 0 20 0 23 0 13091204 10133950464 4574 33554432000 1073741824 1073778376 140734630838352 140734630829488 216811995197 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/8113/statm: 2474109 4578 1788 9 0 2464786 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 9896436 [startup+0.2003 s] /proc/loadavg: 0.48 0.85 1.15 2/251 8113 /proc/meminfo: memFree=28994584/32872528 swapFree=8828/8828 [pid=8113] ppid=8110 vsize=9896436 CPUtime=0.2 cores=0-3,8-11 /proc/8113/stat : 8113 (java) S 8110 8113 26963 0 -1 4202496 4609 0 1 0 18 2 0 0 20 0 23 0 13091204 10133950464 7241 33554432000 1073741824 1073778376 140734630838352 140734630829488 216811995197 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/8113/statm: 2474109 7241 2194 9 0 2464786 0 Current children cumulated CPU time (s) 0.2 Current children cumulated vsize (KiB) 9896436 [startup+0.300245 s] /proc/loadavg: 0.48 0.85 1.15 2/251 8113 /proc/meminfo: memFree=28994584/32872528 swapFree=8828/8828 [pid=8113] ppid=8110 vsize=10162692 CPUtime=0.52 cores=0-3,8-11 /proc/8113/stat : 8113 (java) S 8110 8113 26963 0 -1 4202496 7607 0 1 0 49 3 0 0 20 0 27 0 13091204 10406596608 10109 33554432000 1073741824 1073778376 140734630838352 140734630829488 216811995197 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/8113/statm: 2540673 10116 2247 9 0 2531350 0 Current children cumulated CPU time (s) 0.52 Current children cumulated vsize (KiB) 10162692 [startup+0.700307 s] /proc/loadavg: 0.48 0.85 1.15 2/251 8113 /proc/meminfo: memFree=28994584/32872528 swapFree=8828/8828 [pid=8113] ppid=8110 vsize=10162692 CPUtime=1.29 cores=0-3,8-11 /proc/8113/stat : 8113 (java) S 8110 8113 26963 0 -1 4202496 14546 0 1 0 123 6 0 0 20 0 24 0 13091204 10406596608 14385 33554432000 1073741824 1073778376 140734630838352 140734630829488 216811995197 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/8113/statm: 2540673 14385 2253 9 0 2531350 0 Current children cumulated CPU time (s) 1.29 Current children cumulated vsize (KiB) 10162692 [startup+1.50149 s] /proc/loadavg: 0.48 0.85 1.15 1/275 8143 /proc/meminfo: memFree=28926164/32872528 swapFree=8828/8828 [pid=8113] ppid=8110 vsize=10162692 CPUtime=3.11 cores=0-3,8-11 /proc/8113/stat : 8113 (java) S 8110 8113 26963 0 -1 4202496 21539 0 1 0 300 11 0 0 20 0 24 0 13091204 10406596608 35710 33554432000 1073741824 1073778376 140734630838352 140734630829488 216811995197 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/8113/statm: 2540673 35710 2271 9 0 2531350 0 [pid=8113/tid=8115] ppid=8110 vsize=10162692 CPUtime=0.16 cores=0-3,8-11 /proc/8113/task/8115/stat : 8115 (java) S 8110 8113 26963 0 -1 4202560 2452 0 1 0 15 1 0 0 20 0 24 0 13091206 10406596608 35710 33554432000 1073741824 1073778376 140734630838352 140250520224632 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=8113/tid=8116] ppid=8110 vsize=10162692 CPUtime=0 cores=0-3,8-11 /proc/8113/task/8116/stat : 8116 (java) S 8110 8113 26963 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 13091207 10406596608 35710 33554432000 1073741824 1073778376 140734630838352 140250481716136 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 11 0 0 0 0 0 [pid=8113/tid=8117] ppid=8110 vsize=10162692 CPUtime=0 cores=0-3,8-11 /proc/8113/task/8117/stat : 8117 (java) S 8110 8113 26963 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 13091207 10406596608 35710 33554432000 1073741824 1073778376 140734630838352 140250480663592 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=8113/tid=8118] ppid=8110 vsize=10162692 CPUtime=0 cores=0-3,8-11 /proc/8113/task/8118/stat : 8118 (java) S 8110 8113 26963 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 13091207 10406596608 35710 33554432000 1073741824 1073778376 140734630838352 140250361883304 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=8113/tid=8119] ppid=8110 vsize=10162692 CPUtime=0 cores=0-3,8-11 /proc/8113/task/8119/stat : 8119 (java) S 8110 8113 26963 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 13091207 10406596608 35710 33554432000 1073741824 1073778376 140734630838352 140250360830760 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=8113/tid=8120] ppid=8110 vsize=10162692 CPUtime=0 cores=0-3,8-11 /proc/8113/task/8120/stat : 8120 (java) S 8110 8113 26963 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 13091207 10406596608 35710 33554432000 1073741824 1073778376 140734630838352 140250359777704 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=8113/tid=8121] ppid=8110 vsize=10162692 CPUtime=0 cores=0-3,8-11 /proc/8113/task/8121/stat : 8121 (java) S 8110 8113 26963 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 13091207 10406596608 35710 33554432000 1073741824 1073778376 140734630838352 140250358725160 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=8113/tid=8122] ppid=8110 vsize=10162692 CPUtime=0 cores=0-3,8-11 /proc/8113/task/8122/stat : 8122 (java) S 8110 8113 26963 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 13091207 10406596608 35710 33554432000 1073741824 1073778376 140734630838352 140250357672104 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=8113/tid=8123] ppid=8110 vsize=10162692 CPUtime=0 cores=0-3,8-11 /proc/8113/task/8123/stat : 8123 (java) S 8110 8113 26963 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 24 0 13091207 10406596608 35710 33554432000 1073741824 1073778376 140734630838352 140250356619560 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 9 0 0 0 0 0 [pid=8113/tid=8124] ppid=8110 vsize=10162692 CPUtime=0 cores=0-3,8-11 /proc/8113/task/8124/stat : 8124 (java) S 8110 8113 26963 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 24 0 13091207 10406596608 35710 33554432000 1073741824 1073778376 140734630838352 140250355567528 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 10 0 0 0 0 0 [pid=8113/tid=8125] ppid=8110 vsize=10162692 CPUtime=0 cores=0-3,8-11 /proc/8113/task/8125/stat : 8125 (java) S 8110 8113 26963 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 24 0 13091207 10406596608 35710 33554432000 1073741824 1073778376 140734630838352 140250354514984 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 11 0 0 0 0 0 [pid=8113/tid=8126] ppid=8110 vsize=10162692 CPUtime=0 cores=0-3,8-11 /proc/8113/task/8126/stat : 8126 (java) S 8110 8113 26963 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 24 0 13091207 10406596608 35710 33554432000 1073741824 1073778376 140734630838352 140250353461928 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 8 0 0 0 0 0 [pid=8113/tid=8127] ppid=8110 vsize=10162692 CPUtime=0 cores=0-3,8-11 /proc/8113/task/8127/stat : 8127 (java) S 8110 8113 26963 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 24 0 13091207 10406596608 35710 33554432000 1073741824 1073778376 140734630838352 140250352409384 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=8113/tid=8128] ppid=8110 vsize=10162692 CPUtime=0 cores=0-3,8-11 /proc/8113/task/8128/stat : 8128 (java) S 8110 8113 26963 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 24 0 13091207 10406596608 35710 33554432000 1073741824 1073778376 140734630838352 140250351356328 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=8113/tid=8129] ppid=8110 vsize=10162692 CPUtime=0 cores=0-3,8-11 /proc/8113/task/8129/stat : 8129 (java) S 8110 8113 26963 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 24 0 13091208 10406596608 35710 33554432000 1073741824 1073778376 140734630838352 140249461111272 216812009385 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=8113/tid=8130] ppid=8110 vsize=10162692 CPUtime=0 cores=0-3,8-11 /proc/8113/task/8130/stat : 8130 (java) S 8110 8113 26963 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 24 0 13091209 10406596608 35710 33554432000 1073741824 1073778376 140734630838352 140249460057080 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 9 0 0 0 0 0 [pid=8113/tid=8131] ppid=8110 vsize=10162692 CPUtime=0 cores=0-3,8-11 /proc/8113/task/8131/stat : 8131 (java) S 8110 8113 26963 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 24 0 13091209 10406596608 35710 33554432000 1073741824 1073778376 140734630838352 140249459004424 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 9 0 0 0 0 0 [pid=8113/tid=8132] ppid=8110 vsize=10162692 CPUtime=0 cores=0-3,8-11 /proc/8113/task/8132/stat : 8132 (java) S 8110 8113 26963 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 13091213 10406596608 35710 33554432000 1073741824 1073778376 140734630838352 140249457953680 216812017440 0 4 0 16800975 18446744071579510697 0 0 -1 9 0 0 0 0 0 [pid=8113/tid=8133] ppid=8110 vsize=10162692 CPUtime=0.82 cores=0-3,8-11 /proc/8113/task/8133/stat : 8133 (java) R 8110 8113 26963 0 -1 4202560 9818 0 0 0 80 2 0 0 20 0 24 0 13091213 10406596608 35710 33554432000 1073741824 1073778376 140734630838352 140249456901048 140250524341606 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=8113/tid=8134] ppid=8110 vsize=10162692 CPUtime=0.87 cores=0-3,8-11 /proc/8113/task/8134/stat : 8134 (java) R 8110 8113 26963 0 -1 4202560 7876 0 0 0 86 1 0 0 20 0 24 0 13091213 10406596608 35710 33554432000 1073741824 1073778376 140734630838352 140249455835520 140250522831488 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 [pid=8113/tid=8135] ppid=8110 vsize=10162692 CPUtime=0 cores=0-3,8-11 /proc/8113/task/8135/stat : 8135 (java) S 8110 8113 26963 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 13091213 10406596608 35710 33554432000 1073741824 1073778376 140734630838352 140249454795640 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 10 0 0 0 0 0 [pid=8113/tid=8136] ppid=8110 vsize=10162692 CPUtime=0 cores=0-3,8-11 /proc/8113/task/8136/stat : 8136 (java) S 8110 8113 26963 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 13091213 10406596608 35710 33554432000 1073741824 1073778376 140734630838352 140249453742792 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 3.11 Current children cumulated vsize (KiB) 10162692 [startup+3.10099 s] /proc/loadavg: 0.48 0.85 1.15 1/275 8149 /proc/meminfo: memFree=28837284/32872528 swapFree=8828/8828 [pid=8113] ppid=8110 vsize=10162692 CPUtime=3.6 cores=0-3,8-11 /proc/8113/stat : 8113 (java) S 8110 8113 26963 0 -1 4202496 21635 0 1 0 345 15 0 0 20 0 24 0 13091204 10406596608 47028 33554432000 1073741824 1073778376 140734630838352 140734630829488 216811995197 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/8113/statm: 2540673 47028 2272 9 0 2531350 0 [pid=8113/tid=8115] ppid=8110 vsize=10162692 CPUtime=0.17 cores=0-3,8-11 /proc/8113/task/8115/stat : 8115 (java) S 8110 8113 26963 0 -1 4202560 2453 0 1 0 15 2 0 0 20 0 24 0 13091206 10406596608 47028 33554432000 1073741824 1073778376 140734630838352 140250520224632 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=8113/tid=8116] ppid=8110 vsize=10162692 CPUtime=0 cores=0-3,8-11 /proc/8113/task/8116/stat : 8116 (java) S 8110 8113 26963 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 13091207 10406596608 47028 33554432000 1073741824 1073778376 140734630838352 140250481716136 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 11 0 0 0 0 0 [pid=8113/tid=8117] ppid=8110 vsize=10162692 CPUtime=0 cores=0-3,8-11 /proc/8113/task/8117/stat : 8117 (java) S 8110 8113 26963 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 13091207 10406596608 47028 33554432000 1073741824 1073778376 140734630838352 140250480663592 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=8113/tid=8118] ppid=8110 vsize=10162692 CPUtime=0 cores=0-3,8-11 /proc/8113/task/8118/stat : 8118 (java) S 8110 8113 26963 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 13091207 10406596608 47028 33554432000 1073741824 1073778376 140734630838352 140250361883304 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=8113/tid=8119] ppid=8110 vsize=10162692 CPUtime=0 cores=0-3,8-11 /proc/8113/task/8119/stat : 8119 (java) S 8110 8113 26963 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 13091207 10406596608 47028 33554432000 1073741824 1073778376 140734630838352 140250360830760 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=8113/tid=8120] ppid=8110 vsize=10162692 CPUtime=0 cores=0-3,8-11 /proc/8113/task/8120/stat : 8120 (java) S 8110 8113 26963 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 13091207 10406596608 47028 33554432000 1073741824 1073778376 140734630838352 140250359777704 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=8113/tid=8121] ppid=8110 vsize=10162692 CPUtime=0 cores=0-3,8-11 /proc/8113/task/8121/stat : 8121 (java) S 8110 8113 26963 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 13091207 10406596608 47028 33554432000 1073741824 1073778376 140734630838352 140250358725160 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=8113/tid=8122] ppid=8110 vsize=10162692 CPUtime=0 cores=0-3,8-11 /proc/8113/task/8122/stat : 8122 (java) S 8110 8113 26963 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 13091207 10406596608 47028 33554432000 1073741824 1073778376 140734630838352 140250357672104 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=8113/tid=8123] ppid=8110 vsize=10162692 CPUtime=0 cores=0-3,8-11 /proc/8113/task/8123/stat : 8123 (java) S 8110 8113 26963 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 24 0 13091207 10406596608 47028 33554432000 1073741824 1073778376 140734630838352 140250356619560 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 9 0 0 0 0 0 [pid=8113/tid=8124] ppid=8110 vsize=10162692 CPUtime=0 cores=0-3,8-11 /proc/8113/task/8124/stat : 8124 (java) S 8110 8113 26963 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 24 0 13091207 10406596608 47028 33554432000 1073741824 1073778376 140734630838352 140250355567528 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 10 0 0 0 0 0 [pid=8113/tid=8125] ppid=8110 vsize=10162692 CPUtime=0 cores=0-3,8-11 /proc/8113/task/8125/stat : 8125 (java) S 8110 8113 26963 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 24 0 13091207 10406596608 47028 33554432000 1073741824 1073778376 140734630838352 140250354514984 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 11 0 0 0 0 0 [pid=8113/tid=8126] ppid=8110 vsize=10162692 CPUtime=0 cores=0-3,8-11 /proc/8113/task/8126/stat : 8126 (java) S 8110 8113 26963 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 24 0 13091207 10406596608 47028 33554432000 1073741824 1073778376 140734630838352 140250353461928 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 8 0 0 0 0 0 [pid=8113/tid=8127] ppid=8110 vsize=10162692 CPUtime=0 cores=0-3,8-11 /proc/8113/task/8127/stat : 8127 (java) S 8110 8113 26963 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 24 0 13091207 10406596608 47028 33554432000 1073741824 1073778376 140734630838352 140250352409384 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=8113/tid=8128] ppid=8110 vsize=10162692 CPUtime=0 cores=0-3,8-11 /proc/8113/task/8128/stat : 8128 (java) S 8110 8113 26963 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 24 0 13091207 10406596608 47028 33554432000 1073741824 1073778376 140734630838352 140250351356328 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=8113/tid=8129] ppid=8110 vsize=10162692 CPUtime=0 cores=0-3,8-11 /proc/8113/task/8129/stat : 8129 (java) S 8110 8113 26963 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 24 0 13091208 10406596608 47028 33554432000 1073741824 1073778376 140734630838352 140249461111272 216812009385 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=8113/tid=8130] ppid=8110 vsize=10162692 CPUtime=0 cores=0-3,8-11 /proc/8113/task/8130/stat : 8130 (java) S 8110 8113 26963 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 24 0 13091209 10406596608 47028 33554432000 1073741824 1073778376 140734630838352 140249460057080 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 9 0 0 0 0 0 [pid=8113/tid=8131] ppid=8110 vsize=10162692 CPUtime=0 cores=0-3,8-11 /proc/8113/task/8131/stat : 8131 (java) S 8110 8113 26963 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 24 0 13091209 10406596608 47028 33554432000 1073741824 1073778376 140734630838352 140249459004424 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 9 0 0 0 0 0 [pid=8113/tid=8132] ppid=8110 vsize=10162692 CPUtime=0 cores=0-3,8-11 /proc/8113/task/8132/stat : 8132 (java) S 8110 8113 26963 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 13091213 10406596608 47028 33554432000 1073741824 1073778376 140734630838352 140249457953680 216812017440 0 4 0 16800975 18446744071579510697 0 0 -1 9 0 0 0 0 0 [pid=8113/tid=8133] ppid=8110 vsize=10162692 CPUtime=0.95 cores=0-3,8-11 /proc/8113/task/8133/stat : 8133 (java) S 8110 8113 26963 0 -1 4202560 9871 0 0 0 92 3 0 0 20 0 24 0 13091213 10406596608 47028 33554432000 1073741824 1073778376 140734630838352 140249456901048 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=8113/tid=8134] ppid=8110 vsize=10162692 CPUtime=1.03 cores=0-3,8-11 /proc/8113/task/8134/stat : 8134 (java) S 8110 8113 26963 0 -1 4202560 7876 0 0 0 102 1 0 0 20 0 24 0 13091213 10406596608 47028 33554432000 1073741824 1073778376 140734630838352 140249455847992 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=8113/tid=8135] ppid=8110 vsize=10162692 CPUtime=0 cores=0-3,8-11 /proc/8113/task/8135/stat : 8135 (java) S 8110 8113 26963 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 13091213 10406596608 47028 33554432000 1073741824 1073778376 140734630838352 140249454795640 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 10 0 0 0 0 0 [pid=8113/tid=8136] ppid=8110 vsize=10162692 CPUtime=0 cores=0-3,8-11 /proc/8113/task/8136/stat : 8136 (java) S 8110 8113 26963 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 13091213 10406596608 47028 33554432000 1073741824 1073778376 140734630838352 140249453742792 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=8113/tid=8149] ppid=8110 vsize=10162692 CPUtime=0 cores=0-3,8-11 /proc/8113/task/8149/stat : 8149 (java) S 8110 8113 26963 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 24 0 13091377 10406596608 47028 33554432000 1073741824 1073778376 140734630838352 140249450583720 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 11 0 0 0 0 0 Current children cumulated CPU time (s) 3.6 Current children cumulated vsize (KiB) 10162692 [startup+6.30094 s] /proc/loadavg: 0.44 0.84 1.14 1/275 8170 /proc/meminfo: memFree=28806640/32872528 swapFree=8828/8828 [pid=8113] ppid=8110 vsize=10162692 CPUtime=4 cores=0-3,8-11 /proc/8113/stat : 8113 (java) S 8110 8113 26963 0 -1 4202496 21752 0 1 0 374 26 0 0 20 0 24 0 13091204 10406596608 48857 33554432000 1073741824 1073778376 140734630838352 140734630829488 216811995197 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/8113/statm: 2540673 48857 2286 9 0 2531350 0 [pid=8113/tid=8115] ppid=8110 vsize=10162692 CPUtime=0.17 cores=0-3,8-11 /proc/8113/task/8115/stat : 8115 (java) S 8110 8113 26963 0 -1 4202560 2454 0 1 0 15 2 0 0 20 0 24 0 13091206 10406596608 48857 33554432000 1073741824 1073778376 140734630838352 140250520224632 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=8113/tid=8116] ppid=8110 vsize=10162692 CPUtime=0 cores=0-3,8-11 /proc/8113/task/8116/stat : 8116 (java) S 8110 8113 26963 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 24 0 13091207 10406596608 48857 33554432000 1073741824 1073778376 140734630838352 140250481716136 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 11 0 0 0 0 0 [pid=8113/tid=8117] ppid=8110 vsize=10162692 CPUtime=0 cores=0-3,8-11 /proc/8113/task/8117/stat : 8117 (java) S 8110 8113 26963 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 24 0 13091207 10406596608 48857 33554432000 1073741824 1073778376 140734630838352 140250480663592 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=8113/tid=8118] ppid=8110 vsize=10162692 CPUtime=0 cores=0-3,8-11 /proc/8113/task/8118/stat : 8118 (java) S 8110 8113 26963 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 24 0 13091207 10406596608 48857 33554432000 1073741824 1073778376 140734630838352 140250361883304 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=8113/tid=8119] ppid=8110 vsize=10162692 CPUtime=0 cores=0-3,8-11 /proc/8113/task/8119/stat : 8119 (java) S 8110 8113 26963 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 24 0 13091207 10406596608 48857 33554432000 1073741824 1073778376 140734630838352 140250360830760 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 9 0 0 0 0 0 [pid=8113/tid=8120] ppid=8110 vsize=10162692 CPUtime=0 cores=0-3,8-11 /proc/8113/task/8120/stat : 8120 (java) S 8110 8113 26963 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 24 0 13091207 10406596608 48857 33554432000 1073741824 1073778376 140734630838352 140250359777704 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=8113/tid=8121] ppid=8110 vsize=10162692 CPUtime=0 cores=0-3,8-11 /proc/8113/task/8121/stat : 8121 (java) S 8110 8113 26963 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 24 0 13091207 10406596608 48857 33554432000 1073741824 1073778376 140734630838352 140250358725160 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=8113/tid=8122] ppid=8110 vsize=10162692 CPUtime=0 cores=0-3,8-11 /proc/8113/task/8122/stat : 8122 (java) S 8110 8113 26963 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 24 0 13091207 10406596608 48857 33554432000 1073741824 1073778376 140734630838352 140250357672104 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 8 0 0 0 0 0 [pid=8113/tid=8123] ppid=8110 vsize=10162692 CPUtime=0 cores=0-3,8-11 /proc/8113/task/8123/stat : 8123 (java) S 8110 8113 26963 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 24 0 13091207 10406596608 48857 33554432000 1073741824 1073778376 140734630838352 140250356619560 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 10 0 0 0 0 0 [pid=8113/tid=8124] ppid=8110 vsize=10162692 CPUtime=0 cores=0-3,8-11 /proc/8113/task/8124/stat : 8124 (java) S 8110 8113 26963 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 24 0 13091207 10406596608 48857 33554432000 1073741824 1073778376 140734630838352 140250355567528 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 10 0 0 0 0 0 [pid=8113/tid=8125] ppid=8110 vsize=10162692 CPUtime=0 cores=0-3,8-11 ################ # More data... # ################ [pid=8113] ppid=8110 vsize=10162692 CPUtime=20.92 cores=0-3,8-11 /proc/8113/stat : 8113 (java) S 8110 8113 26963 0 -1 4202496 32285 0 1 0 1943 149 0 0 20 0 27 0 13091204 10406596608 73780 33554432000 1073741824 1073778376 140734630838352 140734630829488 216811995197 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/8113/statm: 2540673 73780 2287 9 0 2531350 0 [pid=8113/tid=8115] ppid=8110 vsize=10162692 CPUtime=0.2 cores=0-3,8-11 /proc/8113/task/8115/stat : 8115 (java) S 8110 8113 26963 0 -1 4202560 2456 0 1 0 18 2 0 0 20 0 27 0 13091206 10406596608 73780 33554432000 1073741824 1073778376 140734630838352 140250520224632 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=8113/tid=8116] ppid=8110 vsize=10162692 CPUtime=0.08 cores=0-3,8-11 /proc/8113/task/8116/stat : 8116 (java) S 8110 8113 26963 0 -1 4202560 27 0 0 0 6 2 0 0 20 0 27 0 13091207 10406596608 73780 33554432000 1073741824 1073778376 140734630838352 140250481716136 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=8113/tid=8117] ppid=8110 vsize=10162692 CPUtime=0.05 cores=0-3,8-11 /proc/8113/task/8117/stat : 8117 (java) S 8110 8113 26963 0 -1 4202560 20 0 0 0 3 2 0 0 20 0 27 0 13091207 10406596608 73780 33554432000 1073741824 1073778376 140734630838352 140250480663592 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 8 0 0 0 0 0 [pid=8113/tid=8118] ppid=8110 vsize=10162692 CPUtime=0.07 cores=0-3,8-11 /proc/8113/task/8118/stat : 8118 (java) S 8110 8113 26963 0 -1 4202560 30 0 0 0 4 3 0 0 20 0 27 0 13091207 10406596608 73780 33554432000 1073741824 1073778376 140734630838352 140250361883304 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=8113/tid=8119] ppid=8110 vsize=10162692 CPUtime=0.1 cores=0-3,8-11 /proc/8113/task/8119/stat : 8119 (java) S 8110 8113 26963 0 -1 4202560 44 0 0 0 8 2 0 0 20 0 27 0 13091207 10406596608 73780 33554432000 1073741824 1073778376 140734630838352 140250360830760 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 11 0 0 0 0 0 [pid=8113/tid=8120] ppid=8110 vsize=10162692 CPUtime=0.07 cores=0-3,8-11 /proc/8113/task/8120/stat : 8120 (java) S 8110 8113 26963 0 -1 4202560 47 0 0 0 4 3 0 0 20 0 27 0 13091207 10406596608 73780 33554432000 1073741824 1073778376 140734630838352 140250359777704 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 11 0 0 0 0 0 [pid=8113/tid=8121] ppid=8110 vsize=10162692 CPUtime=0.06 cores=0-3,8-11 /proc/8113/task/8121/stat : 8121 (java) S 8110 8113 26963 0 -1 4202560 22 0 0 0 4 2 0 0 20 0 27 0 13091207 10406596608 73780 33554432000 1073741824 1073778376 140734630838352 140250358725160 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=8113/tid=8122] ppid=8110 vsize=10162692 CPUtime=0.08 cores=0-3,8-11 /proc/8113/task/8122/stat : 8122 (java) S 8110 8113 26963 0 -1 4202560 40 0 0 0 5 3 0 0 20 0 27 0 13091207 10406596608 73780 33554432000 1073741824 1073778376 140734630838352 140250357672104 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=8113/tid=8123] ppid=8110 vsize=10162692 CPUtime=0.06 cores=0-3,8-11 /proc/8113/task/8123/stat : 8123 (java) S 8110 8113 26963 0 -1 4202560 33 0 0 0 4 2 0 0 20 0 27 0 13091207 10406596608 73780 33554432000 1073741824 1073778376 140734630838352 140250356619560 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=8113/tid=8124] ppid=8110 vsize=10162692 CPUtime=0.07 cores=0-3,8-11 /proc/8113/task/8124/stat : 8124 (java) S 8110 8113 26963 0 -1 4202560 43 0 0 0 5 2 0 0 20 0 27 0 13091207 10406596608 73780 33554432000 1073741824 1073778376 140734630838352 140250355567528 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 10 0 0 0 0 0 [pid=8113/tid=8125] ppid=8110 vsize=10162692 CPUtime=0.04 cores=0-3,8-11 /proc/8113/task/8125/stat : 8125 (java) S 8110 8113 26963 0 -1 4202560 19 0 0 0 2 2 0 0 20 0 27 0 13091207 10406596608 73780 33554432000 1073741824 1073778376 140734630838352 140250354514984 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=8113/tid=8126] ppid=8110 vsize=10162692 CPUtime=0.06 cores=0-3,8-11 /proc/8113/task/8126/stat : 8126 (java) S 8110 8113 26963 0 -1 4202560 20 0 0 0 4 2 0 0 20 0 27 0 13091207 10406596608 73780 33554432000 1073741824 1073778376 140734630838352 140250353461928 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 8 0 0 0 0 0 [pid=8113/tid=8127] ppid=8110 vsize=10162692 CPUtime=0.06 cores=0-3,8-11 /proc/8113/task/8127/stat : 8127 (java) S 8110 8113 26963 0 -1 4202560 41 0 0 0 4 2 0 0 20 0 27 0 13091207 10406596608 73780 33554432000 1073741824 1073778376 140734630838352 140250352409384 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 9 0 0 0 0 0 [pid=8113/tid=8128] ppid=8110 vsize=10162692 CPUtime=0.05 cores=0-3,8-11 /proc/8113/task/8128/stat : 8128 (java) S 8110 8113 26963 0 -1 4202560 29 0 0 0 3 2 0 0 20 0 27 0 13091207 10406596608 73780 33554432000 1073741824 1073778376 140734630838352 140250351356328 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=8113/tid=8129] ppid=8110 vsize=10162692 CPUtime=0.04 cores=0-3,8-11 /proc/8113/task/8129/stat : 8129 (java) S 8110 8113 26963 0 -1 4202560 140 0 0 0 0 4 0 0 20 0 27 0 13091208 10406596608 73780 33554432000 1073741824 1073778376 140734630838352 140249461111272 216812009385 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=8113/tid=8130] ppid=8110 vsize=10162692 CPUtime=0 cores=0-3,8-11 /proc/8113/task/8130/stat : 8130 (java) S 8110 8113 26963 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 27 0 13091209 10406596608 73780 33554432000 1073741824 1073778376 140734630838352 140249460057080 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=8113/tid=8131] ppid=8110 vsize=10162692 CPUtime=0 cores=0-3,8-11 /proc/8113/task/8131/stat : 8131 (java) S 8110 8113 26963 0 -1 4202560 33 0 0 0 0 0 0 0 20 0 27 0 13091209 10406596608 73780 33554432000 1073741824 1073778376 140734630838352 140249459004424 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=8113/tid=8132] ppid=8110 vsize=10162692 CPUtime=0 cores=0-3,8-11 /proc/8113/task/8132/stat : 8132 (java) S 8110 8113 26963 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 27 0 13091213 10406596608 73780 33554432000 1073741824 1073778376 140734630838352 140249457953680 216812017440 0 4 0 16800975 18446744071579510697 0 0 -1 9 0 0 0 0 0 [pid=8113/tid=8133] ppid=8110 vsize=10162692 CPUtime=1.4 cores=0-3,8-11 /proc/8113/task/8133/stat : 8133 (java) S 8110 8113 26963 0 -1 4202560 9958 0 0 0 137 3 0 0 20 0 27 0 13091213 10406596608 73780 33554432000 1073741824 1073778376 140734630838352 140249456901048 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=8113/tid=8134] ppid=8110 vsize=10162692 CPUtime=2.22 cores=0-3,8-11 /proc/8113/task/8134/stat : 8134 (java) S 8110 8113 26963 0 -1 4202560 17094 0 0 0 220 2 0 0 20 0 27 0 13091213 10406596608 73780 33554432000 1073741824 1073778376 140734630838352 140249455847992 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=8113/tid=8135] ppid=8110 vsize=10162692 CPUtime=0 cores=0-3,8-11 /proc/8113/task/8135/stat : 8135 (java) S 8110 8113 26963 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 27 0 13091213 10406596608 73780 33554432000 1073741824 1073778376 140734630838352 140249454795640 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 10 0 0 0 0 0 [pid=8113/tid=8136] ppid=8110 vsize=10162692 CPUtime=0 cores=0-3,8-11 /proc/8113/task/8136/stat : 8136 (java) S 8110 8113 26963 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 27 0 13091213 10406596608 73780 33554432000 1073741824 1073778376 140734630838352 140249453742792 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=8113/tid=8149] ppid=8110 vsize=10162692 CPUtime=0 cores=0-3,8-11 /proc/8113/task/8149/stat : 8149 (java) S 8110 8113 26963 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 27 0 13091377 10406596608 73780 33554432000 1073741824 1073778376 140734630838352 140249450583720 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 11 0 0 0 0 0 [pid=8113/tid=8342] ppid=8110 vsize=10162692 CPUtime=0.5 cores=0-3,8-11 /proc/8113/task/8342/stat : 8342 (java) R 8110 8113 26963 0 -1 4202560 2 0 0 0 50 0 0 0 20 0 27 0 13094832 10406596608 73780 33554432000 1073741824 1073778376 140734630838352 140249451626640 140250362384704 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 [pid=8113/tid=8343] ppid=8110 vsize=10162692 CPUtime=0.5 cores=0-3,8-11 /proc/8113/task/8343/stat : 8343 (java) R 8110 8113 26963 0 -1 4202560 3 0 0 0 50 0 0 0 20 0 27 0 13094832 10406596608 73780 33554432000 1073741824 1073778376 140734630838352 140249449529120 140250362502791 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 [pid=8113/tid=8344] ppid=8110 vsize=10162692 CPUtime=0 cores=0-3,8-11 /proc/8113/task/8344/stat : 8344 (java) S 8110 8113 26963 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 27 0 13094833 10406596608 73780 33554432000 1073741824 1073778376 140734630838352 140249452688424 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 11 0 0 0 0 0 Current children cumulated CPU time (s) 20.92 Current children cumulated vsize (KiB) 10162692 [startup+37.6011 s] /proc/loadavg: 0.43 0.79 1.12 3/278 8344 /proc/meminfo: memFree=28705852/32872528 swapFree=8828/8828 [pid=8113] ppid=8110 vsize=10162692 CPUtime=22.2 cores=0-3,8-11 /proc/8113/stat : 8113 (java) S 8110 8113 26963 0 -1 4202496 32285 0 1 0 2069 151 0 0 20 0 24 0 13091204 10406596608 73774 33554432000 1073741824 1073778376 140734630838352 140734630829488 216811995197 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/8113/statm: 2540673 73774 2287 9 0 2531350 0 [pid=8113/tid=8115] ppid=8110 vsize=10162692 CPUtime=0.2 cores=0-3,8-11 /proc/8113/task/8115/stat : 8115 (java) S 8110 8113 26963 0 -1 4202560 2456 0 1 0 18 2 0 0 20 0 24 0 13091206 10406596608 73774 33554432000 1073741824 1073778376 140734630838352 140250520224632 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=8113/tid=8116] ppid=8110 vsize=10162692 CPUtime=0.08 cores=0-3,8-11 /proc/8113/task/8116/stat : 8116 (java) S 8110 8113 26963 0 -1 4202560 27 0 0 0 6 2 0 0 20 0 24 0 13091207 10406596608 73774 33554432000 1073741824 1073778376 140734630838352 140250481716136 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=8113/tid=8117] ppid=8110 vsize=10162692 CPUtime=0.05 cores=0-3,8-11 /proc/8113/task/8117/stat : 8117 (java) S 8110 8113 26963 0 -1 4202560 20 0 0 0 3 2 0 0 20 0 24 0 13091207 10406596608 73774 33554432000 1073741824 1073778376 140734630838352 140250480663592 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 8 0 0 0 0 0 [pid=8113/tid=8118] ppid=8110 vsize=10162692 CPUtime=0.07 cores=0-3,8-11 /proc/8113/task/8118/stat : 8118 (java) S 8110 8113 26963 0 -1 4202560 30 0 0 0 4 3 0 0 20 0 24 0 13091207 10406596608 73774 33554432000 1073741824 1073778376 140734630838352 140250361883304 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=8113/tid=8119] ppid=8110 vsize=10162692 CPUtime=0.1 cores=0-3,8-11 /proc/8113/task/8119/stat : 8119 (java) S 8110 8113 26963 0 -1 4202560 44 0 0 0 8 2 0 0 20 0 24 0 13091207 10406596608 73774 33554432000 1073741824 1073778376 140734630838352 140250360830760 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 11 0 0 0 0 0 [pid=8113/tid=8120] ppid=8110 vsize=10162692 CPUtime=0.07 cores=0-3,8-11 /proc/8113/task/8120/stat : 8120 (java) S 8110 8113 26963 0 -1 4202560 47 0 0 0 4 3 0 0 20 0 24 0 13091207 10406596608 73774 33554432000 1073741824 1073778376 140734630838352 140250359777704 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 11 0 0 0 0 0 [pid=8113/tid=8121] ppid=8110 vsize=10162692 CPUtime=0.06 cores=0-3,8-11 /proc/8113/task/8121/stat : 8121 (java) S 8110 8113 26963 0 -1 4202560 22 0 0 0 4 2 0 0 20 0 24 0 13091207 10406596608 73774 33554432000 1073741824 1073778376 140734630838352 140250358725160 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=8113/tid=8122] ppid=8110 vsize=10162692 CPUtime=0.08 cores=0-3,8-11 /proc/8113/task/8122/stat : 8122 (java) S 8110 8113 26963 0 -1 4202560 40 0 0 0 5 3 0 0 20 0 24 0 13091207 10406596608 73774 33554432000 1073741824 1073778376 140734630838352 140250357672104 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=8113/tid=8123] ppid=8110 vsize=10162692 CPUtime=0.06 cores=0-3,8-11 /proc/8113/task/8123/stat : 8123 (java) S 8110 8113 26963 0 -1 4202560 33 0 0 0 4 2 0 0 20 0 24 0 13091207 10406596608 73774 33554432000 1073741824 1073778376 140734630838352 140250356619560 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=8113/tid=8124] ppid=8110 vsize=10162692 CPUtime=0.07 cores=0-3,8-11 /proc/8113/task/8124/stat : 8124 (java) S 8110 8113 26963 0 -1 4202560 43 0 0 0 5 2 0 0 20 0 24 0 13091207 10406596608 73774 33554432000 1073741824 1073778376 140734630838352 140250355567528 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 10 0 0 0 0 0 [pid=8113/tid=8125] ppid=8110 vsize=10162692 CPUtime=0.04 cores=0-3,8-11 /proc/8113/task/8125/stat : 8125 (java) S 8110 8113 26963 0 -1 4202560 19 0 0 0 2 2 0 0 20 0 24 0 13091207 10406596608 73774 33554432000 1073741824 1073778376 140734630838352 140250354514984 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=8113/tid=8126] ppid=8110 vsize=10162692 CPUtime=0.06 cores=0-3,8-11 /proc/8113/task/8126/stat : 8126 (java) S 8110 8113 26963 0 -1 4202560 20 0 0 0 4 2 0 0 20 0 24 0 13091207 10406596608 73774 33554432000 1073741824 1073778376 140734630838352 140250353461928 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 8 0 0 0 0 0 [pid=8113/tid=8127] ppid=8110 vsize=10162692 CPUtime=0.06 cores=0-3,8-11 /proc/8113/task/8127/stat : 8127 (java) S 8110 8113 26963 0 -1 4202560 41 0 0 0 4 2 0 0 20 0 24 0 13091207 10406596608 73774 33554432000 1073741824 1073778376 140734630838352 140250352409384 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 9 0 0 0 0 0 [pid=8113/tid=8128] ppid=8110 vsize=10162692 CPUtime=0.05 cores=0-3,8-11 /proc/8113/task/8128/stat : 8128 (java) S 8110 8113 26963 0 -1 4202560 29 0 0 0 3 2 0 0 20 0 24 0 13091207 10406596608 73774 33554432000 1073741824 1073778376 140734630838352 140250351356328 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=8113/tid=8129] ppid=8110 vsize=10162692 CPUtime=0.04 cores=0-3,8-11 /proc/8113/task/8129/stat : 8129 (java) S 8110 8113 26963 0 -1 4202560 140 0 0 0 0 4 0 0 20 0 24 0 13091208 10406596608 73774 33554432000 1073741824 1073778376 140734630838352 140249461111272 216812009385 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=8113/tid=8130] ppid=8110 vsize=10162692 CPUtime=0 cores=0-3,8-11 /proc/8113/task/8130/stat : 8130 (java) S 8110 8113 26963 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 24 0 13091209 10406596608 73774 33554432000 1073741824 1073778376 140734630838352 140249460057080 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=8113/tid=8131] ppid=8110 vsize=10162692 CPUtime=0 cores=0-3,8-11 /proc/8113/task/8131/stat : 8131 (java) S 8110 8113 26963 0 -1 4202560 33 0 0 0 0 0 0 0 20 0 24 0 13091209 10406596608 73774 33554432000 1073741824 1073778376 140734630838352 140249459004424 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=8113/tid=8132] ppid=8110 vsize=10162692 CPUtime=0 cores=0-3,8-11 /proc/8113/task/8132/stat : 8132 (java) S 8110 8113 26963 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 13091213 10406596608 73774 33554432000 1073741824 1073778376 140734630838352 140249457953680 216812017440 0 4 0 16800975 18446744071579510697 0 0 -1 9 0 0 0 0 0 [pid=8113/tid=8133] ppid=8110 vsize=10162692 CPUtime=1.4 cores=0-3,8-11 /proc/8113/task/8133/stat : 8133 (java) S 8110 8113 26963 0 -1 4202560 9958 0 0 0 137 3 0 0 20 0 24 0 13091213 10406596608 73774 33554432000 1073741824 1073778376 140734630838352 140249456901048 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=8113/tid=8134] ppid=8110 vsize=10162692 CPUtime=2.22 cores=0-3,8-11 /proc/8113/task/8134/stat : 8134 (java) S 8110 8113 26963 0 -1 4202560 17094 0 0 0 220 2 0 0 20 0 24 0 13091213 10406596608 73774 33554432000 1073741824 1073778376 140734630838352 140249455847992 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=8113/tid=8135] ppid=8110 vsize=10162692 CPUtime=0 cores=0-3,8-11 /proc/8113/task/8135/stat : 8135 (java) S 8110 8113 26963 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 13091213 10406596608 73774 33554432000 1073741824 1073778376 140734630838352 140249454795640 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 10 0 0 0 0 0 [pid=8113/tid=8136] ppid=8110 vsize=10162692 CPUtime=0 cores=0-3,8-11 /proc/8113/task/8136/stat : 8136 (java) S 8110 8113 26963 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 24 0 13091213 10406596608 73774 33554432000 1073741824 1073778376 140734630838352 140249453742792 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=8113/tid=8149] ppid=8110 vsize=10162692 CPUtime=0 cores=0-3,8-11 /proc/8113/task/8149/stat : 8149 (java) S 8110 8113 26963 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 24 0 13091377 10406596608 73774 33554432000 1073741824 1073778376 140734630838352 140249450583720 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 11 0 0 0 0 0 Current children cumulated CPU time (s) 22.2 Current children cumulated vsize (KiB) 10162692 [startup+37.8009 s] /proc/loadavg: 0.43 0.79 1.12 3/278 8344 /proc/meminfo: memFree=28705852/32872528 swapFree=8828/8828 [pid=8113] ppid=8110 vsize=10162692 CPUtime=22.24 cores=0-3,8-11 /proc/8113/stat : 8113 (java) S 8110 8113 26963 0 -1 4202496 32285 0 1 0 2073 151 0 0 20 0 24 0 13091204 10406596608 73774 33554432000 1073741824 1073778376 140734630838352 140734630829488 216811995197 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/8113/statm: 2540673 73774 2287 9 0 2531350 0 [pid=8113/tid=8115] ppid=8110 vsize=10162692 CPUtime=0.22 cores=0-3,8-11 /proc/8113/task/8115/stat : 8115 (java) R 8110 8113 26963 0 -1 4202560 2456 0 1 0 20 2 0 0 20 0 24 0 13091206 10406596608 73774 33554432000 1073741824 1073778376 140734630838352 140250520224160 140250363003856 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 [pid=8113/tid=8116] ppid=8110 vsize=10162692 CPUtime=0.08 cores=0-3,8-11 /proc/8113/task/8116/stat : 8116 (java) S 8110 8113 26963 0 -1 4202560 27 0 0 0 6 2 0 0 20 0 24 0 13091207 10406596608 73774 33554432000 1073741824 1073778376 140734630838352 140250481716136 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=8113/tid=8117] ppid=8110 vsize=10162692 CPUtime=0.05 cores=0-3,8-11 /proc/8113/task/8117/stat : 8117 (java) S 8110 8113 26963 0 -1 4202560 20 0 0 0 3 2 0 0 20 0 24 0 13091207 10406596608 73774 33554432000 1073741824 1073778376 140734630838352 140250480663592 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 8 0 0 0 0 0 [pid=8113/tid=8118] ppid=8110 vsize=10162692 CPUtime=0.07 cores=0-3,8-11 /proc/8113/task/8118/stat : 8118 (java) S 8110 8113 26963 0 -1 4202560 30 0 0 0 4 3 0 0 20 0 24 0 13091207 10406596608 73774 33554432000 1073741824 1073778376 140734630838352 140250361883304 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=8113/tid=8119] ppid=8110 vsize=10162692 CPUtime=0.1 cores=0-3,8-11 /proc/8113/task/8119/stat : 8119 (java) S 8110 8113 26963 0 -1 4202560 44 0 0 0 8 2 0 0 20 0 24 0 13091207 10406596608 73774 33554432000 1073741824 1073778376 140734630838352 140250360830760 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 11 0 0 0 0 0 [pid=8113/tid=8120] ppid=8110 vsize=10162692 CPUtime=0.07 cores=0-3,8-11 /proc/8113/task/8120/stat : 8120 (java) S 8110 8113 26963 0 -1 4202560 47 0 0 0 4 3 0 0 20 0 24 0 13091207 10406596608 73774 33554432000 1073741824 1073778376 140734630838352 140250359777704 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 11 0 0 0 0 0 [pid=8113/tid=8121] ppid=8110 vsize=10162692 CPUtime=0.06 cores=0-3,8-11 /proc/8113/task/8121/stat : 8121 (java) S 8110 8113 26963 0 -1 4202560 22 0 0 0 4 2 0 0 20 0 24 0 13091207 10406596608 73774 33554432000 1073741824 1073778376 140734630838352 140250358725160 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=8113/tid=8122] ppid=8110 vsize=10162692 CPUtime=0.08 cores=0-3,8-11 /proc/8113/task/8122/stat : 8122 (java) S 8110 8113 26963 0 -1 4202560 40 0 0 0 5 3 0 0 20 0 24 0 13091207 10406596608 73774 33554432000 1073741824 1073778376 140734630838352 140250357672104 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=8113/tid=8123] ppid=8110 vsize=10162692 CPUtime=0.06 cores=0-3,8-11 /proc/8113/task/8123/stat : 8123 (java) S 8110 8113 26963 0 -1 4202560 33 0 0 0 4 2 0 0 20 0 24 0 13091207 10406596608 73774 33554432000 1073741824 1073778376 140734630838352 140250356619560 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=8113/tid=8124] ppid=8110 vsize=10162692 CPUtime=0.07 cores=0-3,8-11 /proc/8113/task/8124/stat : 8124 (java) S 8110 8113 26963 0 -1 4202560 43 0 0 0 5 2 0 0 20 0 24 0 13091207 10406596608 73774 33554432000 1073741824 1073778376 140734630838352 140250355567528 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 10 0 0 0 0 0 [pid=8113/tid=8125] ppid=8110 vsize=10162692 CPUtime=0.04 cores=0-3,8-11 /proc/8113/task/8125/stat : 8125 (java) S 8110 8113 26963 0 -1 4202560 19 0 0 0 2 2 0 0 20 0 24 0 13091207 10406596608 73774 33554432000 1073741824 1073778376 140734630838352 140250354514984 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=8113/tid=8126] ppid=8110 vsize=10162692 CPUtime=0.06 cores=0-3,8-11 /proc/8113/task/8126/stat : 8126 (java) S 8110 8113 26963 0 -1 4202560 20 0 0 0 4 2 0 0 20 0 24 0 13091207 10406596608 73774 33554432000 1073741824 1073778376 140734630838352 140250353461928 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 8 0 0 0 0 0 [pid=8113/tid=8127] ppid=8110 vsize=10162692 CPUtime=0.06 cores=0-3,8-11 /proc/8113/task/8127/stat : 8127 (java) S 8110 8113 26963 0 -1 4202560 41 0 0 0 4 2 0 0 20 0 24 0 13091207 10406596608 73774 33554432000 1073741824 1073778376 140734630838352 140250352409384 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 9 0 0 0 0 0 [pid=8113/tid=8128] ppid=8110 vsize=10162692 CPUtime=0.05 cores=0-3,8-11 /proc/8113/task/8128/stat : 8128 (java) S 8110 8113 26963 0 -1 4202560 29 0 0 0 3 2 0 0 20 0 24 0 13091207 10406596608 73774 33554432000 1073741824 1073778376 140734630838352 140250351356328 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=8113/tid=8129] ppid=8110 vsize=10162692 CPUtime=0.04 cores=0-3,8-11 /proc/8113/task/8129/stat : 8129 (java) S 8110 8113 26963 0 -1 4202560 140 0 0 0 0 4 0 0 20 0 24 0 13091208 10406596608 73774 33554432000 1073741824 1073778376 140734630838352 140249461111272 216812009385 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=8113/tid=8130] ppid=8110 vsize=10162692 CPUtime=0 cores=0-3,8-11 /proc/8113/task/8130/stat : 8130 (java) S 8110 8113 26963 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 24 0 13091209 10406596608 73774 33554432000 1073741824 1073778376 140734630838352 140249460057080 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=8113/tid=8131] ppid=8110 vsize=10162692 CPUtime=0 cores=0-3,8-11 /proc/8113/task/8131/stat : 8131 (java) S 8110 8113 26963 0 -1 4202560 33 0 0 0 0 0 0 0 20 0 24 0 13091209 10406596608 73774 33554432000 1073741824 1073778376 140734630838352 140249459004424 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=8113/tid=8132] ppid=8110 vsize=10162692 CPUtime=0 cores=0-3,8-11 /proc/8113/task/8132/stat : 8132 (java) S 8110 8113 26963 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 13091213 10406596608 73774 33554432000 1073741824 1073778376 140734630838352 140249457953680 216812017440 0 4 0 16800975 18446744071579510697 0 0 -1 9 0 0 0 0 0 [pid=8113/tid=8133] ppid=8110 vsize=10162692 CPUtime=1.42 cores=0-3,8-11 /proc/8113/task/8133/stat : 8133 (java) S 8110 8113 26963 0 -1 4202560 9958 0 0 0 139 3 0 0 20 0 24 0 13091213 10406596608 73774 33554432000 1073741824 1073778376 140734630838352 140249456901048 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=8113/tid=8134] ppid=8110 vsize=10162692 CPUtime=2.22 cores=0-3,8-11 /proc/8113/task/8134/stat : 8134 (java) S 8110 8113 26963 0 -1 4202560 17094 0 0 0 220 2 0 0 20 0 24 0 13091213 10406596608 73774 33554432000 1073741824 1073778376 140734630838352 140249455847992 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=8113/tid=8135] ppid=8110 vsize=10162692 CPUtime=0 cores=0-3,8-11 /proc/8113/task/8135/stat : 8135 (java) S 8110 8113 26963 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 13091213 10406596608 73774 33554432000 1073741824 1073778376 140734630838352 140249454795640 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 10 0 0 0 0 0 [pid=8113/tid=8136] ppid=8110 vsize=10162692 CPUtime=0 cores=0-3,8-11 /proc/8113/task/8136/stat : 8136 (java) S 8110 8113 26963 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 24 0 13091213 10406596608 73774 33554432000 1073741824 1073778376 140734630838352 140249453742792 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=8113/tid=8149] ppid=8110 vsize=10162692 CPUtime=0 cores=0-3,8-11 /proc/8113/task/8149/stat : 8149 (java) S 8110 8113 26963 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 24 0 13091377 10406596608 73774 33554432000 1073741824 1073778376 140734630838352 140249450583720 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 11 0 0 0 0 0 Current children cumulated CPU time (s) 22.24 Current children cumulated vsize (KiB) 10162692 Child status: 30 Real time (s): 37.8161 CPU time (s): 22.3616 CPU user time (s): 20.6389 CPU system time (s): 1.72274 CPU usage (%): 59.1325 Max. virtual memory (cumulated for all children) (KiB): 10162692 getrusage(RUSAGE_CHILDREN,...) data: user time used= 20.6389 system time used= 1.72274 maximum resident set size= 303676 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 32292 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= 3328 involuntary context switches= 956 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.350946 second user time and 0.432934 second system time The end
Begin job on node132 at 2016-06-30 23:16:24 IDJOB=4109585 IDBENCH=78860 IDSOLVER=2552 FILE ID=node132/4109585-1467321384 RUNJOBID= node132-1467319458-6005 PBS_JOBID= 20005257 Free space on /tmp= 71540 MiB SOLVER NAME= Sat4j PB 2.3.6 Res+CP PB16 BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1111224451--soft-66-100-0.wbo COMMAND LINE= java -jar sat4j-pb.jar Both BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4109585-1467321384/watcher-4109585-1467321384 -o /tmp/evaluation-result-4109585-1467321384/solver-4109585-1467321384 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node132-1467319458-6005 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4109585-1467321384.wbo TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 8 MD5SUM BENCH= 810107b2d0d7e110201031afb2b4c53e RANDOM SEED=263070837 node132.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.012 cache size : 8192 KB physical id : 0 siblings : 8 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5334.02 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.012 cache size : 8192 KB physical id : 0 siblings : 8 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.51 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.012 cache size : 8192 KB physical id : 0 siblings : 8 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.51 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.012 cache size : 8192 KB physical id : 0 siblings : 8 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.51 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.012 cache size : 8192 KB physical id : 1 siblings : 8 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 : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.012 cache size : 8192 KB physical id : 1 siblings : 8 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 : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.012 cache size : 8192 KB physical id : 1 siblings : 8 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.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.012 cache size : 8192 KB physical id : 1 siblings : 8 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.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 8 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.012 cache size : 8192 KB physical id : 0 siblings : 8 core id : 0 cpu cores : 4 apicid : 1 initial apicid : 1 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.54 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 9 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.012 cache size : 8192 KB physical id : 0 siblings : 8 core id : 1 cpu cores : 4 apicid : 3 initial apicid : 3 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 : 10 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.012 cache size : 8192 KB physical id : 0 siblings : 8 core id : 2 cpu cores : 4 apicid : 5 initial apicid : 5 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 : 11 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.012 cache size : 8192 KB physical id : 0 siblings : 8 core id : 3 cpu cores : 4 apicid : 7 initial apicid : 7 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.54 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 12 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.012 cache size : 8192 KB physical id : 1 siblings : 8 core id : 0 cpu cores : 4 apicid : 17 initial apicid : 17 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 : 13 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.012 cache size : 8192 KB physical id : 1 siblings : 8 core id : 1 cpu cores : 4 apicid : 19 initial apicid : 19 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 : 14 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.012 cache size : 8192 KB physical id : 1 siblings : 8 core id : 2 cpu cores : 4 apicid : 21 initial apicid : 21 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 : 15 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.012 cache size : 8192 KB physical id : 1 siblings : 8 core id : 3 cpu cores : 4 apicid : 23 initial apicid : 23 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: /proc/meminfo: MemTotal: 32872528 kB MemFree: 28995336 kB Buffers: 127016 kB Cached: 2933888 kB SwapCached: 0 kB Active: 266696 kB Inactive: 2807640 kB Active(anon): 9716 kB Inactive(anon): 6996 kB Active(file): 256980 kB Inactive(file): 2800644 kB Unevictable: 8828 kB Mlocked: 8828 kB SwapTotal: 67108856 kB SwapFree: 67108856 kB Dirty: 912 kB Writeback: 0 kB AnonPages: 23036 kB Mapped: 13836 kB Shmem: 216 kB Slab: 657992 kB SReclaimable: 98932 kB SUnreclaim: 559060 kB KernelStack: 2112 kB PageTables: 3740 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 107896 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341987140 kB HardwareCorrupted: 0 kB AnonHugePages: 0 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= 71540 MiB End job on node132 at 2016-06-30 23:17:02