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 | MSAT (TO) | 1801.12 | 1806.21 |
| Name | /SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111223220--soft-0-100-0.wbo |
| MD5SUM | eefb750387a2df9ca152a94906c66d6e |
| 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.74113 |
| 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 | 1230 |
| 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.08 c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS 0.00/0.08 c This is free software under the dual EPL/GNU LGPL licenses. 0.00/0.08 c See www.sat4j.org for details. 0.00/0.08 c version PB16.v20160501 0.00/0.08 c java.runtime.name Java(TM) SE Runtime Environment 0.00/0.08 c java.vm.name Java HotSpot(TM) 64-Bit Server VM 0.00/0.08 c java.vm.version 19.1-b02 0.00/0.08 c java.vm.vendor Sun Microsystems Inc. 0.00/0.08 c sun.arch.data.model 64 0.00/0.08 c java.version 1.6.0_24 0.00/0.08 c os.name Linux 0.00/0.08 c os.version 2.6.32-71.29.1.el6.x86_64 0.00/0.08 c os.arch amd64 0.00/0.08 c Free memory 501472288 0.00/0.08 c Max memory 7480803328 0.00/0.08 c Total memory 504102912 0.00/0.08 c Number of processors 8 0.10/0.11 c Pseudo Boolean Optimization by upper bound 0.10/0.11 c ManyCore solver with 2 solvers running in parallel 0.10/0.11 c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<< 0.10/0.11 c --- Begin Solver configuration --- 0.10/0.11 c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@5d764be1 0.10/0.11 c Learn all clauses as in MiniSAT 0.10/0.11 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.10/0.11 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.10/0.11 c Expensive reason simplification 0.10/0.11 c Glucose 2.1 dynamic restart strategy 0.10/0.11 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.10/0.11 c timeout=2147483s 0.10/0.11 c DB Simplification allowed=false 0.10/0.11 c Listener: org.sat4j.pb.tools.ManyCorePB@9f436f5 0.10/0.11 c --- End Solver configuration --- 0.10/0.11 c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<< 0.10/0.11 c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP) 0.10/0.11 c --- Begin Solver configuration --- 0.10/0.11 c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@4413ee 0.10/0.11 c Learn all clauses as in MiniSAT 0.10/0.11 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.10/0.11 c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function 0.10/0.11 c No reason simplification 0.10/0.11 c Armin Biere (Picosat) restarts strategy 0.10/0.11 c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000 0.10/0.11 c timeout=2147483s 0.10/0.11 c DB Simplification allowed=false 0.10/0.11 c Listener: org.sat4j.pb.tools.ManyCorePB@9f436f5 0.10/0.11 c --- End Solver configuration --- 0.10/0.11 c solving HOME/instance-4092311-1466083073.wbo 0.10/0.11 c reading problem ... 0.10/0.18 c ... done. Wall clock time 0.066s. 0.10/0.18 c declared #vars 169 0.10/0.18 c internal #vars 270 0.10/0.18 c #constraints 101 0.10/0.18 c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<< 0.10/0.18 c constraints type 0.10/0.18 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 30 0.10/0.18 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 71 0.10/0.18 c 101 constraints processed. 0.10/0.18 c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<< 0.10/0.18 c constraints type 0.10/0.18 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 30 0.10/0.18 c org.sat4j.pb.constraints.pb.MaxWatchPb => 71 0.10/0.18 c 101 constraints processed. 0.10/0.18 c objective function length is 101 literals 1.47/0.52 c And the winner is solver0 1.78/0.68 c SATISFIABLE 1.78/0.68 c OPTIMIZING... 1.78/0.69 c Got one! Elapsed wall clock time (in seconds):0.57 1.78/0.69 o 896 1.78/0.69 c And the winner is solver0 2.00/1.18 c Got one! Elapsed wall clock time (in seconds):1.072 2.00/1.18 o 378 2.00/1.19 c And the winner is solver0 2.00/1.68 c Got one! Elapsed wall clock time (in seconds):1.573 2.00/1.68 o 373 2.03/1.71 c And the winner is solver0 2.07/2.18 c Got one! Elapsed wall clock time (in seconds):2.074 2.07/2.18 o 367 2.86/2.41 c cleaning 3048 clauses out of 6096 with flag 12718/6096 2.86/2.47 c And the winner is solver0 3.38/2.69 c Got one! Elapsed wall clock time (in seconds):2.576 3.38/2.69 o 365 3.41/2.71 c And the winner is solver0 3.44/3.19 c Got one! Elapsed wall clock time (in seconds):3.077 3.44/3.19 o 363 3.44/3.19 c And the winner is solver0 3.44/3.69 c Got one! Elapsed wall clock time (in seconds):3.578 3.44/3.69 o 360 4.01/3.91 c cleaning 4364 clauses out of 8727 with flag 16722/11775 4.01/3.91 c And the winner is solver0 4.10/4.19 c Got one! Elapsed wall clock time (in seconds):4.08 4.10/4.19 o 357 4.12/4.29 c And the winner is solver0 4.34/4.69 c Got one! Elapsed wall clock time (in seconds):4.581 4.34/4.69 o 356 4.36/4.78 c And the winner is solver0 4.56/5.19 c Got one! Elapsed wall clock time (in seconds):5.082 4.56/5.19 o 337 4.56/5.23 c And the winner is solver0 4.65/5.69 c Got one! Elapsed wall clock time (in seconds):5.583 4.65/5.69 o 336 4.65/5.78 c And the winner is solver0 4.86/6.19 c Got one! Elapsed wall clock time (in seconds):6.084 4.86/6.19 o 331 4.86/6.25 c cleaning 5779 clauses out of 11566 with flag 3385/18978 4.86/6.29 c And the winner is solver0 5.08/6.70 c Got one! Elapsed wall clock time (in seconds):6.585 5.08/6.70 o 330 5.10/6.72 c And the winner is solver0 5.16/7.20 c Got one! Elapsed wall clock time (in seconds):7.087 5.16/7.20 o 329 5.16/7.25 c And the winner is solver0 5.29/7.71 c Got one! Elapsed wall clock time (in seconds):7.595 5.29/7.71 o 328 5.49/7.84 c And the winner is solver0 5.60/8.21 c Got one! Elapsed wall clock time (in seconds):8.097 5.60/8.21 o 322 5.78/8.32 c And the winner is solver0 5.87/8.71 c Got one! Elapsed wall clock time (in seconds):8.598 5.87/8.71 o 318 5.87/8.71 c And the winner is solver0 5.87/9.21 c Got one! Elapsed wall clock time (in seconds):9.099 5.87/9.21 o 309 5.87/9.25 c And the winner is solver0 5.96/9.71 c Got one! Elapsed wall clock time (in seconds):9.6 5.96/9.71 o 298 5.96/9.73 c And the winner is solver0 6.02/10.21 c Got one! Elapsed wall clock time (in seconds):10.102 6.02/10.21 o 295 6.02/10.26 c And the winner is solver0 6.16/10.71 c Got one! Elapsed wall clock time (in seconds):10.603 6.16/10.71 o 293 6.16/10.78 c cleaning 7757 clauses out of 15519 with flag 3828/28710 6.16/10.79 c And the winner is solver0 6.36/11.21 c Got one! Elapsed wall clock time (in seconds):11.104 6.36/11.21 o 291 6.73/11.41 c And the winner is solver0 6.79/11.71 c Got one! Elapsed wall clock time (in seconds):11.605 6.79/11.71 o 272 6.79/11.78 c cleaning 6480 clauses out of 12966 with flag 3519/33914 7.27/11.91 c And the winner is solver0 7.34/12.22 c Got one! Elapsed wall clock time (in seconds):12.106 7.34/12.22 o 258 7.34/12.30 c And the winner is solver0 7.52/12.72 c Got one! Elapsed wall clock time (in seconds):12.607 7.52/12.72 o 251 7.52/12.79 c And the winner is solver0 7.67/13.22 c Got one! Elapsed wall clock time (in seconds):13.108 7.67/13.22 o 250 7.67/13.25 c And the winner is solver0 7.76/13.72 c Got one! Elapsed wall clock time (in seconds):13.609 7.76/13.72 o 225 7.76/13.79 c cleaning 6734 clauses out of 13471 with flag 3748/40899 7.92/13.83 c And the winner is solver0 8.05/14.22 c Got one! Elapsed wall clock time (in seconds):14.11 8.05/14.22 o 224 8.05/14.30 c And the winner is solver0 8.28/14.72 c Got one! Elapsed wall clock time (in seconds):14.611 8.28/14.72 o 223 8.44/14.86 c And the winner is solver0 8.60/15.22 c Got one! Elapsed wall clock time (in seconds):15.112 8.60/15.22 o 221 8.60/15.29 c And the winner is solver0 8.82/15.72 c Got one! Elapsed wall clock time (in seconds):15.613 8.82/15.72 o 220 8.82/15.78 c cleaning 7093 clauses out of 14195 with flag 3750/48357 8.97/15.85 c And the winner is solver0 9.10/16.22 c Got one! Elapsed wall clock time (in seconds):16.114 9.10/16.22 o 219 9.24/16.34 c And the winner is solver0 9.38/16.72 c Got one! Elapsed wall clock time (in seconds):16.615 9.38/16.72 o 211 9.38/16.79 c And the winner is solver0 9.60/17.23 c Got one! Elapsed wall clock time (in seconds):17.116 9.60/17.23 o 210 9.60/17.29 c cleaning 6627 clauses out of 13256 with flag 4458/54511 9.74/17.35 c And the winner is solver0 9.88/17.73 c Got one! Elapsed wall clock time (in seconds):17.617 9.88/17.73 o 209 9.88/17.77 c And the winner is solver0 9.98/18.23 c Got one! Elapsed wall clock time (in seconds):18.118 9.98/18.23 o 206 9.98/18.28 c And the winner is solver0 10.24/18.73 c Got one! Elapsed wall clock time (in seconds):18.619 10.24/18.73 o 198 10.57/18.94 c cleaning 7035 clauses out of 14087 with flag 18057/61969 10.77/19.04 c And the winner is solver0 10.93/19.23 c Got one! Elapsed wall clock time (in seconds):19.12 10.93/19.23 o 197 11.07/19.31 c And the winner is solver0 11.18/19.73 c Got one! Elapsed wall clock time (in seconds):19.621 11.18/19.73 o 194 11.18/19.77 c And the winner is solver0 11.29/20.23 c Got one! Elapsed wall clock time (in seconds):20.122 11.29/20.23 o 192 11.29/20.27 c And the winner is solver0 11.40/20.73 c Got one! Elapsed wall clock time (in seconds):20.622 11.40/20.73 o 188 11.52/20.83 c And the winner is solver0 11.66/21.23 c Got one! Elapsed wall clock time (in seconds):21.123 11.66/21.23 o 187 11.78/21.30 c cleaning 7384 clauses out of 14782 with flag 5280/69699 11.78/21.32 c And the winner is solver0 11.91/21.73 c Got one! Elapsed wall clock time (in seconds):21.624 11.91/21.73 o 184 11.91/21.77 c And the winner is solver0 12.01/22.23 c Got one! Elapsed wall clock time (in seconds):22.125 12.01/22.23 o 181 12.01/22.28 c And the winner is solver0 12.13/22.74 c Got one! Elapsed wall clock time (in seconds):22.626 12.13/22.74 o 177 12.13/22.76 c And the winner is solver0 12.24/23.24 c Got one! Elapsed wall clock time (in seconds):23.127 12.24/23.24 o 172 12.24/23.25 c And the winner is solver0 12.33/23.74 c Got one! Elapsed wall clock time (in seconds):23.628 12.33/23.74 o 169 12.33/23.76 c And the winner is solver0 12.44/24.24 c Got one! Elapsed wall clock time (in seconds):24.128 12.44/24.24 o 167 12.44/24.24 c And the winner is solver0 12.44/24.74 c Got one! Elapsed wall clock time (in seconds):24.629 12.44/24.74 o 153 12.44/24.75 c And the winner is solver0 12.56/25.24 c Got one! Elapsed wall clock time (in seconds):25.13 12.56/25.24 o 151 12.88/25.44 c And the winner is solver0 12.97/25.74 c Got one! Elapsed wall clock time (in seconds):25.631 12.97/25.74 o 149 13.08/25.81 c And the winner is solver0 13.12/26.24 c Got one! Elapsed wall clock time (in seconds):26.132 13.12/26.24 o 141 13.23/26.31 c cleaning 8274 clauses out of 16563 with flag 4779/78864 13.23/26.40 c And the winner is solver0 13.63/26.74 c Got one! Elapsed wall clock time (in seconds):26.633 13.63/26.74 o 135 13.74/26.85 c And the winner is solver0 13.89/27.24 c Got one! Elapsed wall clock time (in seconds):27.134 13.89/27.24 o 134 14.00/27.30 c cleaning 6838 clauses out of 13681 with flag 3644/84256 14.00/27.31 c And the winner is solver0 14.06/27.74 c Got one! Elapsed wall clock time (in seconds):27.634 14.06/27.74 o 133 14.06/27.76 c And the winner is solver0 14.11/28.25 c Got one! Elapsed wall clock time (in seconds):28.135 14.11/28.25 o 130 14.11/28.28 c And the winner is solver0 14.21/28.75 c Got one! Elapsed wall clock time (in seconds):28.636 14.21/28.75 o 129 14.21/28.79 c And the winner is solver0 14.33/29.25 c Got one! Elapsed wall clock time (in seconds):29.137 14.33/29.25 o 128 14.33/29.28 c And the winner is solver0 14.42/29.75 c Got one! Elapsed wall clock time (in seconds):29.638 14.42/29.75 o 125 14.42/29.77 c And the winner is solver0 14.50/30.25 c Got one! Elapsed wall clock time (in seconds):30.139 14.50/30.25 o 107 14.50/30.29 c And the winner is solver0 14.62/30.75 c Got one! Elapsed wall clock time (in seconds):30.64 14.62/30.75 o 106 14.62/30.78 c And the winner is solver0 14.68/31.25 c Got one! Elapsed wall clock time (in seconds):31.141 14.68/31.25 o 105 14.77/31.31 c And the winner is solver0 14.85/31.75 c Got one! Elapsed wall clock time (in seconds):31.641 14.85/31.75 o 104 15.39/32.04 c cleaning 8111 clauses out of 16238 with flag 18232/93651 15.66/32.12 c And the winner is solver0 15.88/32.25 c Got one! Elapsed wall clock time (in seconds):32.142 15.88/32.25 o 102 15.88/32.26 c And the winner is solver0 16.15/32.75 c Got one! Elapsed wall clock time (in seconds):32.643 16.15/32.75 o 101 16.15/32.78 c And the winner is solver0 16.21/33.25 c Got one! Elapsed wall clock time (in seconds):33.144 16.21/33.25 o 99 16.21/33.27 c And the winner is solver0 16.26/33.75 c Got one! Elapsed wall clock time (in seconds):33.645 16.26/33.75 o 93 16.34/33.84 c And the winner is solver0 16.49/34.26 c Got one! Elapsed wall clock time (in seconds):34.146 16.49/34.26 o 91 16.49/34.27 c And the winner is solver0 16.55/34.76 c Got one! Elapsed wall clock time (in seconds):34.647 16.55/34.76 o 87 16.55/34.79 c And the winner is solver0 16.64/35.26 c Got one! Elapsed wall clock time (in seconds):35.148 16.64/35.26 o 86 16.64/35.27 c And the winner is solver0 16.68/35.76 c Got one! Elapsed wall clock time (in seconds):35.649 16.68/35.76 o 82 16.95/35.90 c And the winner is solver0 16.99/36.26 c Got one! Elapsed wall clock time (in seconds):36.15 16.99/36.26 o 77 17.07/36.33 c cleaning 8113 clauses out of 16234 with flag 4376/101758 17.07/36.34 c And the winner is solver0 17.19/36.76 c Got one! Elapsed wall clock time (in seconds):36.651 17.19/36.76 o 65 17.46/36.99 c cleaning 6629 clauses out of 13285 with flag 19934/106922 18.06/37.26 c cleaning 6320 clauses out of 12657 with flag 48860/112923 18.68/37.55 c cleaning 6660 clauses out of 13336 with flag 75863/119922 18.86/37.69 c And the winner is solver0 19.67/38.36 c Got one! Elapsed wall clock time (in seconds):38.254 19.67/38.36 o 64 19.78/38.46 c cleaning 6097 clauses out of 12211 with flag 6989/125457 20.38/38.75 c cleaning 6056 clauses out of 12114 with flag 27711/131457 20.98/39.09 c cleaning 6526 clauses out of 13059 with flag 58193/138458 21.18/39.14 c And the winner is solver0 21.30/39.37 c Got one! Elapsed wall clock time (in seconds):39.256 21.30/39.37 o 60 21.36/39.48 c And the winner is solver0 21.61/39.87 c Got one! Elapsed wall clock time (in seconds):39.758 21.61/39.87 o 56 21.67/39.91 c And the winner is solver0 21.85/40.37 c Got one! Elapsed wall clock time (in seconds):40.26 21.85/40.37 o 55 21.90/40.47 c cleaning 6576 clauses out of 13160 with flag 9270/145085 22.52/40.74 c cleaning 6286 clauses out of 12584 with flag 34859/151085 23.10/41.07 c cleaning 6642 clauses out of 13297 with flag 57470/158084 23.90/41.46 c cleaning 7326 clauses out of 14655 with flag 85126/166084 24.92/41.96 c cleaning 8166 clauses out of 16333 with flag 123980/175088 25.11/42.08 c And the winner is solver0 25.90/42.77 c Got one! Elapsed wall clock time (in seconds):42.664 25.90/42.77 o 50 26.21/42.92 c cleaning 6762 clauses out of 13539 with flag 10407/180460 26.21/42.95 c And the winner is solver0 26.86/43.58 c Got one! Elapsed wall clock time (in seconds):43.467 26.86/43.58 o 49 27.14/43.74 c cleaning 5885 clauses out of 11800 with flag 16530/185483 27.54/44.00 c cleaning 5951 clauses out of 11915 with flag 41466/191483 28.34/44.30 c cleaning 6472 clauses out of 12964 with flag 66516/198483 28.74/44.53 c And the winner is solver0 29.37/45.13 c Got one! Elapsed wall clock time (in seconds):45.021 29.37/45.13 o 47 29.90/45.40 c cleaning 8481 clauses out of 16971 with flag 17911/208962 30.30/45.63 c And the winner is solver0 30.64/45.93 c Got one! Elapsed wall clock time (in seconds):45.825 30.64/45.93 o 46 31.19/46.21 c cleaning 9293 clauses out of 18587 with flag 20305/219059 31.39/46.32 c And the winner is solver0 31.81/46.74 c Got one! Elapsed wall clock time (in seconds):46.629 31.81/46.74 o 45 31.93/46.89 c cleaning 7333 clauses out of 14679 with flag 11773/224444 32.13/46.99 c And the winner is solver0 32.83/47.54 c Got one! Elapsed wall clock time (in seconds):47.433 32.83/47.54 o 44 32.95/47.68 c cleaning 6539 clauses out of 13095 with flag 11471/230193 33.55/47.93 c cleaning 6276 clauses out of 12559 with flag 34732/236196 33.75/48.09 c And the winner is solver0 34.19/48.55 c Got one! Elapsed wall clock time (in seconds):48.437 34.19/48.55 o 43 34.28/48.60 c cleaning 5728 clauses out of 11471 with flag 3735/241384 34.28/48.65 c And the winner is solver0 35.04/49.35 c Got one! Elapsed wall clock time (in seconds):49.242 35.04/49.35 o 42 35.36/49.53 c cleaning 5629 clauses out of 11257 with flag 15478/246898 35.36/49.53 c And the winner is solver0 35.99/50.16 c Got one! Elapsed wall clock time (in seconds):50.046 35.99/50.16 o 41 36.29/50.36 c cleaning 5311 clauses out of 10631 with flag 18040/251901 36.91/50.60 c cleaning 5657 clauses out of 11318 with flag 40478/257900 37.11/50.71 c And the winner is solver0 37.34/51.16 c Got one! Elapsed wall clock time (in seconds):51.05 37.34/51.16 o 39 37.61/51.30 c cleaning 5809 clauses out of 11633 with flag 9871/263874 37.61/51.32 c And the winner is solver0 38.24/51.97 c Got one! Elapsed wall clock time (in seconds):51.86 38.24/51.97 o 38 38.53/52.18 c cleaning 5615 clauses out of 11248 with flag 16956/269298 38.53/52.20 c And the winner is solver0 39.24/52.77 c Got one! Elapsed wall clock time (in seconds):52.664 39.24/52.77 o 37 39.55/52.99 c cleaning 5507 clauses out of 11014 with flag 18550/274679 40.13/53.21 c cleaning 5745 clauses out of 11505 with flag 39522/280677 40.73/53.50 c cleaning 6381 clauses out of 12761 with flag 67075/287678 40.93/53.63 c And the winner is solver0 41.67/54.33 c Got one! Elapsed wall clock time (in seconds):54.221 41.67/54.33 o 35 41.81/54.43 c cleaning 5964 clauses out of 11933 with flag 7239/293231 42.01/54.57 c And the winner is solver0 42.69/55.19 c Got one! Elapsed wall clock time (in seconds):55.076 42.69/55.19 o 34 42.77/55.28 c cleaning 5840 clauses out of 11697 with flag 7366/298959 43.37/55.52 c cleaning 5918 clauses out of 11858 with flag 28606/304960 43.57/55.69 c And the winner is solver0 44.07/56.19 c Got one! Elapsed wall clock time (in seconds):56.08 44.07/56.19 o 33 44.09/56.24 c cleaning 5727 clauses out of 11459 with flag 3546/310479 44.09/56.28 c And the winner is solver0 44.86/56.99 c Got one! Elapsed wall clock time (in seconds):56.885 44.86/56.99 o 27 45.16/57.17 c cleaning 5465 clauses out of 10942 with flag 13386/315690 45.76/57.41 c cleaning 5733 clauses out of 11479 with flag 32970/321692 46.16/57.61 c And the winner is solver0 46.36/58.00 c Got one! Elapsed wall clock time (in seconds):57.889 46.36/58.00 o 25 46.75/58.24 c cleaning 7908 clauses out of 15816 with flag 17310/331762 47.16/58.48 c cleaning 6949 clauses out of 13905 with flag 38950/337760 47.75/58.77 c cleaning 6973 clauses out of 13957 with flag 64629/344762 48.54/59.11 c cleaning 7492 clauses out of 14984 with flag 91348/352762 49.36/59.52 c cleaning 8242 clauses out of 16489 with flag 121044/361760 50.34/60.00 c cleaning 9122 clauses out of 18246 with flag 157172/371761 51.36/60.56 c cleaning 10055 clauses out of 20124 with flag 196731/382762 52.55/61.19 c cleaning 11027 clauses out of 22067 with flag 240061/394761 53.56/61.62 c And the winner is solver0 54.07/62.11 c Got one! Elapsed wall clock time (in seconds):61.994 54.07/62.11 o 24 54.65/62.40 c cleaning 12326 clauses out of 24654 with flag 18514/408377 54.85/62.59 c And the winner is solver0 55.33/62.91 c Got one! Elapsed wall clock time (in seconds):62.8 55.33/62.91 o 16 55.33/62.98 c cleaning 8822 clauses out of 17652 with flag 3948/413701 55.50/63.09 c And the winner is solver0 55.93/63.42 c Got one! Elapsed wall clock time (in seconds):63.305 55.93/63.42 o 15 56.09/63.51 c cleaning 6964 clauses out of 13948 with flag 8237/418821 56.49/63.74 c cleaning 6488 clauses out of 12982 with flag 30785/424820 56.49/63.80 c And the winner is solver0 56.80/63.92 c Got one! Elapsed wall clock time (in seconds):63.812 56.80/63.92 o 13 56.97/64.04 c And the winner is solver0 57.35/64.43 c Got one! Elapsed wall clock time (in seconds):64.318 57.35/64.43 o 12 57.35/64.45 c And the winner is solver0 57.45/64.93 c Got one! Elapsed wall clock time (in seconds):64.825 57.45/64.93 o 11 57.45/64.96 c And the winner is solver0 57.55/65.44 c Got one! Elapsed wall clock time (in seconds):65.331 57.55/65.44 o 7 57.66/65.50 c cleaning 6581 clauses out of 13165 with flag 3985/431493 57.86/65.64 c And the winner is solver0 58.14/65.95 c Got one! Elapsed wall clock time (in seconds):65.837 58.14/65.95 o 4 58.14/65.96 c And the winner is solver0 1800.06/1806.00 c >>>>>>>>>> Solver number 0 (103 answers) <<<<<<<<<<<<<<<<<< 1800.06/1806.00 c starts : 332 1800.06/1806.00 c conflicts : 435632 1800.06/1806.00 c decisions : 760334 1800.06/1806.00 c propagations : 13785844 1800.06/1806.00 c inspects : 199067936 1800.06/1806.00 c shortcuts : 0 1800.06/1806.00 c learnt literals : 18 1800.06/1806.00 c learnt binary clauses : 17 1800.06/1806.00 c learnt ternary clauses : 1043 1800.06/1806.00 c learnt constraints : 435614 1800.06/1806.00 c ignored constraints : 0 1800.06/1806.00 c root simplifications : 0 1800.06/1806.00 c removed literals (reason simplification) : 276278 1800.06/1806.00 c reason swapping (by a shorter reason) : 0 1800.06/1806.00 c Calls to reduceDB : 62 1800.06/1806.00 c Number of update (reduction) of LBD : 127389 1800.06/1806.00 c Imported unit clauses : 0 1800.06/1806.00 c number of reductions to clauses (during analyze) : 0 1800.06/1806.00 c number of learned constraints concerned by reduction : 0 1800.06/1806.00 c number of learning phase by resolution : 0 1800.06/1806.00 c number of learning phase by cutting planes : 0 1800.06/1806.00 c speed (assignments/second) : 7634.1185721721995 1800.06/1806.00 c non guided choices 5291 1800.06/1806.01 c learnt constraints type 1800.06/1806.01 c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 17 1800.06/1806.01 c org.sat4j.minisat.constraints.cnf.LearntWLClause => 10706 1800.06/1806.01 c >>>>>>>>>> Solver number 1 (0 answers) <<<<<<<<<<<<<<<<<< 1800.06/1806.01 c starts : 106 1800.06/1806.01 c conflicts : 722 1800.06/1806.01 c decisions : 13989 1800.06/1806.01 c propagations : 44097 1800.06/1806.01 c inspects : 2306039 1800.06/1806.01 c shortcuts : 0 1800.06/1806.01 c learnt literals : 0 1800.06/1806.01 c learnt binary clauses : 0 1800.06/1806.01 c learnt ternary clauses : 0 1800.06/1806.01 c learnt constraints : 625 1800.06/1806.01 c ignored constraints : 0 1800.06/1806.01 c root simplifications : 0 1800.06/1806.01 c removed literals (reason simplification) : 0 1800.06/1806.01 c reason swapping (by a shorter reason) : 0 1800.06/1806.01 c Calls to reduceDB : 0 1800.06/1806.01 c Number of update (reduction) of LBD : 0 1800.06/1806.01 c Imported unit clauses : 0 1800.06/1806.01 c number of reductions to clauses (during analyze) : 0 1800.06/1806.01 c number of learned constraints concerned by reduction : 0 1800.06/1806.01 c number of learning phase by resolution : 0 1800.06/1806.01 c number of learning phase by cutting planes : 0 1800.06/1806.01 c speed (assignments/second) : 25.34244804013689 1800.06/1806.01 c non guided choices 2964 1800.06/1806.01 c learnt constraints type 1800.06/1806.01 c org.sat4j.pb.constraints.pb.MaxWatchPb => 625 1800.06/1806.01 s SATISFIABLE 1800.06/1806.01 c Found 102 solution(s) 1800.06/1806.01 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 1800.06/1806.07 c objective function=4 1800.06/1806.07 c Total wall clock time (in seconds): 1805.965
OK 3
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-4092311-1466083073/watcher-4092311-1466083073 -o /tmp/evaluation-result-4092311-1466083073/solver-4092311-1466083073 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node141-1466075234-14702 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4092311-1466083073.wbo pid=22240 running on 4 cores: 0,2,4,6 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.05 2.11 2.33 3/196 22243 /proc/meminfo: memFree=30465988/32872528 swapFree=496356/529060 [pid=22243] ppid=22240 vsize=23172 CPUtime=0 cores=0,2,4,6 /proc/22243/stat : 22243 (java) R 22240 22243 11396 0 -1 4202496 1220 0 0 0 0 0 0 0 20 0 1 0 10352784 23728128 863 33554432000 1073741824 1073778376 140735514886672 140735514875736 211462161968 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 /proc/22243/statm: 6050 866 654 9 0 385 0 [pid=22243/tid=22244] ppid=22240 vsize=89736 CPUtime=0 cores=0,2,4,6 /proc/22243/task/22244/stat : 22244 (java) R 22240 22243 11396 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 2 0 10352785 91889664 882 33554432000 1073741824 1073778376 140735514886672 140735514875736 211458475232 0 0 4096 0 0 0 0 -1 2 0 0 0 0 0 [startup+0.10016 s] /proc/loadavg: 2.05 2.11 2.33 3/196 22243 /proc/meminfo: memFree=30465988/32872528 swapFree=496356/529060 [pid=22243] ppid=22240 vsize=9558476 CPUtime=0.1 cores=0,2,4,6 /proc/22243/stat : 22243 (java) S 22240 22243 11396 0 -1 4202496 4477 0 1 0 9 1 0 0 20 0 18 0 10352784 9787879424 5602 33554432000 1073741824 1073778376 140735514886672 140735514877808 211462160445 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/22243/statm: 2389619 5602 2141 9 0 2380296 0 [pid=22243/tid=22244] ppid=22240 vsize=9558476 CPUtime=0.07 cores=0,2,4,6 /proc/22243/task/22244/stat : 22244 (java) R 22240 22243 11396 0 -1 4202560 2443 0 1 0 6 1 0 0 20 0 18 0 10352785 9787879424 5602 33554432000 1073741824 1073778376 140735514886672 140441613200288 211462186253 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 0.1 Current children cumulated vsize (KiB) 9558476 [startup+0.200269 s] /proc/loadavg: 2.05 2.11 2.33 3/196 22243 /proc/meminfo: memFree=30465988/32872528 swapFree=496356/529060 [pid=22243] ppid=22240 vsize=9824732 CPUtime=0.27 cores=0,2,4,6 /proc/22243/stat : 22243 (java) S 22240 22243 11396 0 -1 4202496 4868 0 1 0 25 2 0 0 20 0 22 0 10352784 10060525568 7445 33554432000 1073741824 1073778376 140735514886672 140735514877808 211462160445 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/22243/statm: 2456183 7445 2221 9 0 2446860 0 [pid=22243/tid=22244] ppid=22240 vsize=9824732 CPUtime=0.15 cores=0,2,4,6 /proc/22243/task/22244/stat : 22244 (java) S 22240 22243 11396 0 -1 4202560 2473 0 1 0 14 1 0 0 20 0 22 0 10352785 10060525568 7445 33554432000 1073741824 1073778376 140735514886672 140441613202296 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 0.27 Current children cumulated vsize (KiB) 9824732 [startup+0.300253 s] /proc/loadavg: 2.05 2.11 2.33 3/196 22243 /proc/meminfo: memFree=30465988/32872528 swapFree=496356/529060 [pid=22243] ppid=22240 vsize=9824732 CPUtime=0.66 cores=0,2,4,6 /proc/22243/stat : 22243 (java) S 22240 22243 11396 0 -1 4202496 7759 0 1 0 64 2 0 0 20 0 22 0 10352784 10060525568 9192 33554432000 1073741824 1073778376 140735514886672 140735514877808 211462160445 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/22243/statm: 2456183 9192 2245 9 0 2446860 0 [pid=22243/tid=22244] ppid=22240 vsize=9824732 CPUtime=0.15 cores=0,2,4,6 /proc/22243/task/22244/stat : 22244 (java) S 22240 22243 11396 0 -1 4202560 2473 0 1 0 14 1 0 0 20 0 22 0 10352785 10060525568 9192 33554432000 1073741824 1073778376 140735514886672 140441613202296 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 0.66 Current children cumulated vsize (KiB) 9824732 [startup+0.700206 s] /proc/loadavg: 2.05 2.11 2.33 3/196 22243 /proc/meminfo: memFree=30465988/32872528 swapFree=496356/529060 [pid=22243] ppid=22240 vsize=9824732 CPUtime=1.98 cores=0,2,4,6 /proc/22243/stat : 22243 (java) S 22240 22243 11396 0 -1 4202496 16847 0 1 0 192 6 0 0 20 0 19 0 10352784 10060525568 18759 33554432000 1073741824 1073778376 140735514886672 140735514877808 211462160445 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/22243/statm: 2456183 18759 2262 9 0 2446860 0 [pid=22243/tid=22244] ppid=22240 vsize=9824732 CPUtime=0.16 cores=0,2,4,6 /proc/22243/task/22244/stat : 22244 (java) S 22240 22243 11396 0 -1 4202560 2473 0 1 0 14 2 0 0 20 0 19 0 10352785 10060525568 18759 33554432000 1073741824 1073778376 140735514886672 140441613202296 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1.98 Current children cumulated vsize (KiB) 9824732 [startup+1.50082 s] /proc/loadavg: 2.05 2.11 2.33 2/215 22268 /proc/meminfo: memFree=30398672/32872528 swapFree=496356/529060 [pid=22243] ppid=22240 vsize=9824732 CPUtime=2 cores=0,2,4,6 /proc/22243/stat : 22243 (java) S 22240 22243 11396 0 -1 4202496 16859 0 1 0 194 6 0 0 20 0 19 0 10352784 10060525568 19786 33554432000 1073741824 1073778376 140735514886672 140735514877808 211462160445 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/22243/statm: 2456183 19786 2262 9 0 2446860 0 [pid=22243/tid=22244] ppid=22240 vsize=9824732 CPUtime=0.16 cores=0,2,4,6 /proc/22243/task/22244/stat : 22244 (java) S 22240 22243 11396 0 -1 4202560 2474 0 1 0 14 2 0 0 20 0 19 0 10352785 10060525568 19786 33554432000 1073741824 1073778376 140735514886672 140441613202296 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=22243/tid=22246] ppid=22240 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/22243/task/22246/stat : 22246 (java) S 22240 22243 11396 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 10352786 10060525568 19786 33554432000 1073741824 1073778376 140735514886672 140441457085096 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=22243/tid=22247] ppid=22240 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/22243/task/22247/stat : 22247 (java) S 22240 22243 11396 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 10352786 10060525568 19786 33554432000 1073741824 1073778376 140735514886672 140441456032552 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=22243/tid=22248] ppid=22240 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/22243/task/22248/stat : 22248 (java) S 22240 22243 11396 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 10352786 10060525568 19786 33554432000 1073741824 1073778376 140735514886672 140441454980008 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=22243/tid=22249] ppid=22240 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/22243/task/22249/stat : 22249 (java) S 22240 22243 11396 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 10352786 10060525568 19786 33554432000 1073741824 1073778376 140735514886672 140441453927464 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=22243/tid=22250] ppid=22240 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/22243/task/22250/stat : 22250 (java) S 22240 22243 11396 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 10352786 10060525568 19786 33554432000 1073741824 1073778376 140735514886672 140441452873896 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=22243/tid=22251] ppid=22240 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/22243/task/22251/stat : 22251 (java) S 22240 22243 11396 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 10352786 10060525568 19786 33554432000 1073741824 1073778376 140735514886672 140441451821352 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=22243/tid=22252] ppid=22240 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/22243/task/22252/stat : 22252 (java) S 22240 22243 11396 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 10352786 10060525568 19786 33554432000 1073741824 1073778376 140735514886672 140441450768808 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=22243/tid=22253] ppid=22240 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/22243/task/22253/stat : 22253 (java) S 22240 22243 11396 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 10352786 10060525568 19786 33554432000 1073741824 1073778376 140735514886672 140441449716264 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=22243/tid=22254] ppid=22240 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/22243/task/22254/stat : 22254 (java) S 22240 22243 11396 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 10352787 10060525568 19786 33554432000 1073741824 1073778376 140735514886672 140441437305448 211462174633 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=22243/tid=22255] ppid=22240 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/22243/task/22255/stat : 22255 (java) S 22240 22243 11396 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 10352787 10060525568 19786 33554432000 1073741824 1073778376 140735514886672 140441436251768 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=22243/tid=22256] ppid=22240 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/22243/task/22256/stat : 22256 (java) S 22240 22243 11396 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 10352787 10060525568 19786 33554432000 1073741824 1073778376 140735514886672 140441435199112 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=22243/tid=22257] ppid=22240 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/22243/task/22257/stat : 22257 (java) S 22240 22243 11396 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 10352790 10060525568 19786 33554432000 1073741824 1073778376 140735514886672 140441434147856 211462182688 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=22243/tid=22258] ppid=22240 vsize=9824732 CPUtime=0.53 cores=0,2,4,6 /proc/22243/task/22258/stat : 22258 (java) S 22240 22243 11396 0 -1 4202560 6089 0 0 0 52 1 0 0 20 0 19 0 10352790 10060525568 19786 33554432000 1073741824 1073778376 140735514886672 140441433094200 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=22243/tid=22259] ppid=22240 vsize=9824732 CPUtime=0.52 cores=0,2,4,6 /proc/22243/task/22259/stat : 22259 (java) S 22240 22243 11396 0 -1 4202560 6944 0 0 0 51 1 0 0 20 0 19 0 10352790 10060525568 19786 33554432000 1073741824 1073778376 140735514886672 140441432041656 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=22243/tid=22260] ppid=22240 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/22243/task/22260/stat : 22260 (java) S 22240 22243 11396 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 10352790 10060525568 19786 33554432000 1073741824 1073778376 140735514886672 140441430989304 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=22243/tid=22261] ppid=22240 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/22243/task/22261/stat : 22261 (java) S 22240 22243 11396 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 10352790 10060525568 19786 33554432000 1073741824 1073778376 140735514886672 140441429936968 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=22243/tid=22264] ppid=22240 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/22243/task/22264/stat : 22264 (java) S 22240 22243 11396 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 10352803 10060525568 19786 33554432000 1073741824 1073778376 140735514886672 140441426777640 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 Current children cumulated CPU time (s) 2 Current children cumulated vsize (KiB) 9824732 [startup+3.10083 s] /proc/loadavg: 2.05 2.11 2.33 6/218 22277 /proc/meminfo: memFree=30380264/32872528 swapFree=496356/529060 [pid=22243] ppid=22240 vsize=9824732 CPUtime=3.44 cores=0,2,4,6 /proc/22243/stat : 22243 (java) S 22240 22243 11396 0 -1 4202496 22621 0 1 0 332 12 0 0 20 0 19 0 10352784 10060525568 41084 33554432000 1073741824 1073778376 140735514886672 140735514877808 211462160445 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/22243/statm: 2456183 41084 2272 9 0 2446860 0 [pid=22243/tid=22244] ppid=22240 vsize=9824732 CPUtime=0.17 cores=0,2,4,6 /proc/22243/task/22244/stat : 22244 (java) S 22240 22243 11396 0 -1 4202560 2474 0 1 0 15 2 0 0 20 0 19 0 10352785 10060525568 41084 33554432000 1073741824 1073778376 140735514886672 140441613202296 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=22243/tid=22246] ppid=22240 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/22243/task/22246/stat : 22246 (java) S 22240 22243 11396 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 10352786 10060525568 41084 33554432000 1073741824 1073778376 140735514886672 140441457085096 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=22243/tid=22247] ppid=22240 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/22243/task/22247/stat : 22247 (java) S 22240 22243 11396 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 10352786 10060525568 41084 33554432000 1073741824 1073778376 140735514886672 140441456032552 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=22243/tid=22248] ppid=22240 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/22243/task/22248/stat : 22248 (java) S 22240 22243 11396 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 10352786 10060525568 41084 33554432000 1073741824 1073778376 140735514886672 140441454980008 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=22243/tid=22249] ppid=22240 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/22243/task/22249/stat : 22249 (java) S 22240 22243 11396 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 10352786 10060525568 41084 33554432000 1073741824 1073778376 140735514886672 140441453927464 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=22243/tid=22250] ppid=22240 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/22243/task/22250/stat : 22250 (java) S 22240 22243 11396 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 10352786 10060525568 41084 33554432000 1073741824 1073778376 140735514886672 140441452873896 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=22243/tid=22251] ppid=22240 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/22243/task/22251/stat : 22251 (java) S 22240 22243 11396 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 10352786 10060525568 41084 33554432000 1073741824 1073778376 140735514886672 140441451821352 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=22243/tid=22252] ppid=22240 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/22243/task/22252/stat : 22252 (java) S 22240 22243 11396 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 10352786 10060525568 41084 33554432000 1073741824 1073778376 140735514886672 140441450768808 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=22243/tid=22253] ppid=22240 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/22243/task/22253/stat : 22253 (java) S 22240 22243 11396 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 10352786 10060525568 41084 33554432000 1073741824 1073778376 140735514886672 140441449716264 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=22243/tid=22254] ppid=22240 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/22243/task/22254/stat : 22254 (java) S 22240 22243 11396 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 10352787 10060525568 41084 33554432000 1073741824 1073778376 140735514886672 140441437305448 211462174633 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=22243/tid=22255] ppid=22240 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/22243/task/22255/stat : 22255 (java) S 22240 22243 11396 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 10352787 10060525568 41084 33554432000 1073741824 1073778376 140735514886672 140441436251768 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=22243/tid=22256] ppid=22240 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/22243/task/22256/stat : 22256 (java) S 22240 22243 11396 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 10352787 10060525568 41084 33554432000 1073741824 1073778376 140735514886672 140441435199112 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=22243/tid=22257] ppid=22240 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/22243/task/22257/stat : 22257 (java) S 22240 22243 11396 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 10352790 10060525568 41084 33554432000 1073741824 1073778376 140735514886672 140441434147856 211462182688 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=22243/tid=22258] ppid=22240 vsize=9824732 CPUtime=0.88 cores=0,2,4,6 /proc/22243/task/22258/stat : 22258 (java) S 22240 22243 11396 0 -1 4202560 7427 0 0 0 87 1 0 0 20 0 19 0 10352790 10060525568 41084 33554432000 1073741824 1073778376 140735514886672 140441433094200 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=22243/tid=22259] ppid=22240 vsize=9824732 CPUtime=0.9 cores=0,2,4,6 /proc/22243/task/22259/stat : 22259 (java) S 22240 22243 11396 0 -1 4202560 11311 0 0 0 88 2 0 0 20 0 19 0 10352790 10060525568 41084 33554432000 1073741824 1073778376 140735514886672 140441432041656 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=22243/tid=22260] ppid=22240 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/22243/task/22260/stat : 22260 (java) S 22240 22243 11396 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 10352790 10060525568 41084 33554432000 1073741824 1073778376 140735514886672 140441430989304 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=22243/tid=22261] ppid=22240 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/22243/task/22261/stat : 22261 (java) S 22240 22243 11396 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 10352790 10060525568 41084 33554432000 1073741824 1073778376 140735514886672 140441429936968 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=22243/tid=22264] ppid=22240 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/22243/task/22264/stat : 22264 (java) S 22240 22243 11396 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 10352803 10060525568 41084 33554432000 1073741824 1073778376 140735514886672 140441426777640 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 Current children cumulated CPU time (s) 3.44 Current children cumulated vsize (KiB) 9824732 [startup+6.30068 s] /proc/loadavg: 2.05 2.11 2.33 2/215 22295 /proc/meminfo: memFree=30282868/32872528 swapFree=496356/529060 [pid=22243] ppid=22240 vsize=9824732 CPUtime=5.07 cores=0,2,4,6 /proc/22243/stat : 22243 (java) S 22240 22243 11396 0 -1 4202496 22820 0 1 0 483 24 0 0 20 0 20 0 10352784 10060525568 48007 33554432000 1073741824 1073778376 140735514886672 140735514877808 211462160445 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/22243/statm: 2456183 48007 2286 9 0 2446860 0 [pid=22243/tid=22244] ppid=22240 vsize=9824732 CPUtime=0.17 cores=0,2,4,6 /proc/22243/task/22244/stat : 22244 (java) S 22240 22243 11396 0 -1 4202560 2476 0 1 0 15 2 0 0 20 0 20 0 10352785 10060525568 48007 33554432000 1073741824 1073778376 140735514886672 140441613202296 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=22243/tid=22246] ppid=22240 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/22243/task/22246/stat : 22246 (java) S 22240 22243 11396 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 20 0 10352786 10060525568 48007 33554432000 1073741824 1073778376 140735514886672 140441457085096 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=22243/tid=22247] ppid=22240 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/22243/task/22247/stat : 22247 (java) S 22240 22243 11396 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 20 0 10352786 10060525568 48007 33554432000 1073741824 1073778376 140735514886672 140441456032552 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=22243/tid=22248] ppid=22240 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/22243/task/22248/stat : 22248 (java) S 22240 22243 11396 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 10352786 10060525568 48007 33554432000 1073741824 1073778376 140735514886672 140441454980008 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=22243/tid=22249] ppid=22240 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/22243/task/22249/stat : 22249 (java) S 22240 22243 11396 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 20 0 10352786 10060525568 48007 33554432000 1073741824 1073778376 140735514886672 140441453927464 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=22243/tid=22250] ppid=22240 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/22243/task/22250/stat : 22250 (java) S 22240 22243 11396 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 20 0 10352786 10060525568 48007 33554432000 1073741824 1073778376 140735514886672 140441452873896 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=22243/tid=22251] ppid=22240 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/22243/task/22251/stat : 22251 (java) S 22240 22243 11396 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 20 0 10352786 10060525568 48007 33554432000 1073741824 1073778376 140735514886672 140441451821352 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=22243/tid=22252] ppid=22240 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/22243/task/22252/stat : 22252 (java) S 22240 22243 11396 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 10352786 10060525568 48007 33554432000 1073741824 1073778376 140735514886672 140441450768808 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=22243/tid=22253] ppid=22240 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/22243/task/22253/stat : 22253 (java) S 22240 22243 11396 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 20 0 10352786 10060525568 48007 33554432000 1073741824 1073778376 140735514886672 140441449716264 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=22243/tid=22254] ppid=22240 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/22243/task/22254/stat : 22254 (java) S 22240 22243 11396 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 10352787 10060525568 48007 33554432000 1073741824 1073778376 140735514886672 140441437305448 211462174633 0 0 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=22243/tid=22255] ppid=22240 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/22243/task/22255/stat : 22255 (java) S 22240 22243 11396 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 20 0 10352787 10060525568 48007 33554432000 1073741824 1073778376 140735514886672 140441436251768 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=22243/tid=22256] ppid=22240 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/22243/task/22256/stat : 22256 (java) S 22240 22243 11396 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 20 0 10352787 10060525568 48007 33554432000 1073741824 1073778376 140735514886672 140441435199112 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=22243/tid=22257] ppid=22240 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/22243/task/22257/stat : 22257 (java) S 22240 22243 11396 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 10352790 10060525568 48007 33554432000 1073741824 1073778376 140735514886672 140441434147856 211462182688 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=22243/tid=22258] ppid=22240 vsize=9824732 CPUtime=0.93 cores=0,2,4,6 /proc/22243/task/22258/stat : 22258 (java) S 22240 22243 11396 0 -1 4202560 7429 0 0 0 92 1 0 0 20 0 20 0 10352790 10060525568 48007 33554432000 1073741824 1073778376 140735514886672 140441433094200 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=22243/tid=22259] ppid=22240 vsize=9824732 CPUtime=1.06 cores=0,2,4,6 ################ # More data... # ################ /proc/22243/statm: 2456183 219583 2294 9 0 2446860 0 [pid=22243/tid=22244] ppid=22240 vsize=9824732 CPUtime=0.63 cores=0,2,4,6 /proc/22243/task/22244/stat : 22244 (java) S 22240 22243 11396 0 -1 4202560 2489 0 1 0 50 13 0 0 20 0 21 0 10352785 10060525568 219583 33554432000 1073741824 1073778376 140735514886672 140441613202424 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=22243/tid=22246] ppid=22240 vsize=9824732 CPUtime=0.35 cores=0,2,4,6 /proc/22243/task/22246/stat : 22246 (java) S 22240 22243 11396 0 -1 4202560 284 0 0 0 28 7 0 0 20 0 21 0 10352786 10060525568 219583 33554432000 1073741824 1073778376 140735514886672 140441457085096 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=22243/tid=22247] ppid=22240 vsize=9824732 CPUtime=0.3 cores=0,2,4,6 /proc/22243/task/22247/stat : 22247 (java) S 22240 22243 11396 0 -1 4202560 274 0 0 0 25 5 0 0 20 0 21 0 10352786 10060525568 219583 33554432000 1073741824 1073778376 140735514886672 140441456032552 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=22243/tid=22248] ppid=22240 vsize=9824732 CPUtime=0.32 cores=0,2,4,6 /proc/22243/task/22248/stat : 22248 (java) S 22240 22243 11396 0 -1 4202560 97 0 0 0 27 5 0 0 20 0 21 0 10352786 10060525568 219583 33554432000 1073741824 1073778376 140735514886672 140441454980008 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=22243/tid=22249] ppid=22240 vsize=9824732 CPUtime=0.32 cores=0,2,4,6 /proc/22243/task/22249/stat : 22249 (java) S 22240 22243 11396 0 -1 4202560 204 0 0 0 27 5 0 0 20 0 21 0 10352786 10060525568 219583 33554432000 1073741824 1073778376 140735514886672 140441453927464 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=22243/tid=22250] ppid=22240 vsize=9824732 CPUtime=0.39 cores=0,2,4,6 /proc/22243/task/22250/stat : 22250 (java) S 22240 22243 11396 0 -1 4202560 302 0 0 0 32 7 0 0 20 0 21 0 10352786 10060525568 219583 33554432000 1073741824 1073778376 140735514886672 140441452873896 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=22243/tid=22251] ppid=22240 vsize=9824732 CPUtime=0.36 cores=0,2,4,6 /proc/22243/task/22251/stat : 22251 (java) S 22240 22243 11396 0 -1 4202560 214 0 0 0 32 4 0 0 20 0 21 0 10352786 10060525568 219583 33554432000 1073741824 1073778376 140735514886672 140441451821352 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=22243/tid=22252] ppid=22240 vsize=9824732 CPUtime=0.33 cores=0,2,4,6 /proc/22243/task/22252/stat : 22252 (java) S 22240 22243 11396 0 -1 4202560 222 0 0 0 27 6 0 0 20 0 21 0 10352786 10060525568 219583 33554432000 1073741824 1073778376 140735514886672 140441450768808 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=22243/tid=22253] ppid=22240 vsize=9824732 CPUtime=0.32 cores=0,2,4,6 /proc/22243/task/22253/stat : 22253 (java) S 22240 22243 11396 0 -1 4202560 267 0 0 0 26 6 0 0 20 0 21 0 10352786 10060525568 219583 33554432000 1073741824 1073778376 140735514886672 140441449716264 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=22243/tid=22254] ppid=22240 vsize=9824732 CPUtime=0.21 cores=0,2,4,6 /proc/22243/task/22254/stat : 22254 (java) S 22240 22243 11396 0 -1 4202560 370 0 0 0 14 7 0 0 20 0 21 0 10352787 10060525568 219583 33554432000 1073741824 1073778376 140735514886672 140441437305448 211462174633 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=22243/tid=22255] ppid=22240 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/22243/task/22255/stat : 22255 (java) S 22240 22243 11396 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 21 0 10352787 10060525568 219583 33554432000 1073741824 1073778376 140735514886672 140441436251800 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=22243/tid=22256] ppid=22240 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/22243/task/22256/stat : 22256 (java) S 22240 22243 11396 0 -1 4202560 34 0 0 0 0 0 0 0 20 0 21 0 10352787 10060525568 219583 33554432000 1073741824 1073778376 140735514886672 140441435199144 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=22243/tid=22257] ppid=22240 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/22243/task/22257/stat : 22257 (java) S 22240 22243 11396 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 10352790 10060525568 219583 33554432000 1073741824 1073778376 140735514886672 140441434147856 211462182688 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=22243/tid=22258] ppid=22240 vsize=9824732 CPUtime=1.75 cores=0,2,4,6 /proc/22243/task/22258/stat : 22258 (java) S 22240 22243 11396 0 -1 4202560 11976 0 0 0 172 3 0 0 20 0 21 0 10352790 10060525568 219583 33554432000 1073741824 1073778376 140735514886672 140441433094200 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=22243/tid=22259] ppid=22240 vsize=9824732 CPUtime=1.3 cores=0,2,4,6 /proc/22243/task/22259/stat : 22259 (java) S 22240 22243 11396 0 -1 4202560 11435 0 0 0 128 2 0 0 20 0 21 0 10352790 10060525568 219583 33554432000 1073741824 1073778376 140735514886672 140441432041656 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=22243/tid=22260] ppid=22240 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/22243/task/22260/stat : 22260 (java) S 22240 22243 11396 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 10352790 10060525568 219583 33554432000 1073741824 1073778376 140735514886672 140441430989304 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=22243/tid=22261] ppid=22240 vsize=9824732 CPUtime=0.24 cores=0,2,4,6 /proc/22243/task/22261/stat : 22261 (java) S 22240 22243 11396 0 -1 4202560 99 0 0 0 13 11 0 0 20 0 21 0 10352790 10060525568 219583 33554432000 1073741824 1073778376 140735514886672 140441429936968 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=22243/tid=22264] ppid=22240 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/22243/task/22264/stat : 22264 (java) S 22240 22243 11396 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 21 0 10352803 10060525568 219583 33554432000 1073741824 1073778376 140735514886672 140441426777640 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=22243/tid=22571] ppid=22240 vsize=9824732 CPUtime=1655.44 cores=0,2,4,6 /proc/22243/task/22571/stat : 22571 (java) R 22240 22243 11396 0 -1 4202560 2576 0 0 0 165513 31 0 0 20 0 21 0 10359380 10060525568 219583 33554432000 1073741824 1073778376 140735514886672 140441425722136 140441485245112 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=22243/tid=22572] ppid=22240 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/22243/task/22572/stat : 22572 (java) S 22240 22243 11396 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 21 0 10359381 10060525568 219583 33554432000 1073741824 1073778376 140735514886672 140441428882344 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 Current children cumulated CPU time (s) 1716.34 Current children cumulated vsize (KiB) 9824732 [startup+1782.3 s] /proc/loadavg: 2.05 2.10 2.09 3/217 22823 /proc/meminfo: memFree=29818068/32872528 swapFree=496356/529060 [pid=22243] ppid=22240 vsize=9824732 CPUtime=1776.35 cores=0,2,4,6 /proc/22243/stat : 22243 (java) S 22240 22243 11396 0 -1 4202496 33026 0 1 0 177360 275 0 0 20 0 21 0 10352784 10060525568 219583 33554432000 1073741824 1073778376 140735514886672 140735514877808 211462160445 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/22243/statm: 2456183 219583 2294 9 0 2446860 0 [pid=22243/tid=22244] ppid=22240 vsize=9824732 CPUtime=0.64 cores=0,2,4,6 /proc/22243/task/22244/stat : 22244 (java) S 22240 22243 11396 0 -1 4202560 2490 0 1 0 51 13 0 0 20 0 21 0 10352785 10060525568 219583 33554432000 1073741824 1073778376 140735514886672 140441613202424 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=22243/tid=22246] ppid=22240 vsize=9824732 CPUtime=0.36 cores=0,2,4,6 /proc/22243/task/22246/stat : 22246 (java) S 22240 22243 11396 0 -1 4202560 284 0 0 0 29 7 0 0 20 0 21 0 10352786 10060525568 219583 33554432000 1073741824 1073778376 140735514886672 140441457085096 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=22243/tid=22247] ppid=22240 vsize=9824732 CPUtime=0.31 cores=0,2,4,6 /proc/22243/task/22247/stat : 22247 (java) S 22240 22243 11396 0 -1 4202560 274 0 0 0 25 6 0 0 20 0 21 0 10352786 10060525568 219583 33554432000 1073741824 1073778376 140735514886672 140441456032552 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=22243/tid=22248] ppid=22240 vsize=9824732 CPUtime=0.32 cores=0,2,4,6 /proc/22243/task/22248/stat : 22248 (java) S 22240 22243 11396 0 -1 4202560 97 0 0 0 27 5 0 0 20 0 21 0 10352786 10060525568 219583 33554432000 1073741824 1073778376 140735514886672 140441454980008 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=22243/tid=22249] ppid=22240 vsize=9824732 CPUtime=0.32 cores=0,2,4,6 /proc/22243/task/22249/stat : 22249 (java) S 22240 22243 11396 0 -1 4202560 204 0 0 0 27 5 0 0 20 0 21 0 10352786 10060525568 219583 33554432000 1073741824 1073778376 140735514886672 140441453927464 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=22243/tid=22250] ppid=22240 vsize=9824732 CPUtime=0.39 cores=0,2,4,6 /proc/22243/task/22250/stat : 22250 (java) S 22240 22243 11396 0 -1 4202560 302 0 0 0 32 7 0 0 20 0 21 0 10352786 10060525568 219583 33554432000 1073741824 1073778376 140735514886672 140441452873896 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=22243/tid=22251] ppid=22240 vsize=9824732 CPUtime=0.36 cores=0,2,4,6 /proc/22243/task/22251/stat : 22251 (java) S 22240 22243 11396 0 -1 4202560 214 0 0 0 32 4 0 0 20 0 21 0 10352786 10060525568 219583 33554432000 1073741824 1073778376 140735514886672 140441451821352 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=22243/tid=22252] ppid=22240 vsize=9824732 CPUtime=0.34 cores=0,2,4,6 /proc/22243/task/22252/stat : 22252 (java) S 22240 22243 11396 0 -1 4202560 222 0 0 0 28 6 0 0 20 0 21 0 10352786 10060525568 219583 33554432000 1073741824 1073778376 140735514886672 140441450768808 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=22243/tid=22253] ppid=22240 vsize=9824732 CPUtime=0.32 cores=0,2,4,6 /proc/22243/task/22253/stat : 22253 (java) S 22240 22243 11396 0 -1 4202560 267 0 0 0 26 6 0 0 20 0 21 0 10352786 10060525568 219583 33554432000 1073741824 1073778376 140735514886672 140441449716264 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=22243/tid=22254] ppid=22240 vsize=9824732 CPUtime=0.21 cores=0,2,4,6 /proc/22243/task/22254/stat : 22254 (java) S 22240 22243 11396 0 -1 4202560 372 0 0 0 14 7 0 0 20 0 21 0 10352787 10060525568 219583 33554432000 1073741824 1073778376 140735514886672 140441437305448 211462174633 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=22243/tid=22255] ppid=22240 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/22243/task/22255/stat : 22255 (java) S 22240 22243 11396 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 21 0 10352787 10060525568 219583 33554432000 1073741824 1073778376 140735514886672 140441436251800 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=22243/tid=22256] ppid=22240 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/22243/task/22256/stat : 22256 (java) S 22240 22243 11396 0 -1 4202560 34 0 0 0 0 0 0 0 20 0 21 0 10352787 10060525568 219583 33554432000 1073741824 1073778376 140735514886672 140441435199144 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=22243/tid=22257] ppid=22240 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/22243/task/22257/stat : 22257 (java) S 22240 22243 11396 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 10352790 10060525568 219583 33554432000 1073741824 1073778376 140735514886672 140441434147856 211462182688 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=22243/tid=22258] ppid=22240 vsize=9824732 CPUtime=1.75 cores=0,2,4,6 /proc/22243/task/22258/stat : 22258 (java) S 22240 22243 11396 0 -1 4202560 11976 0 0 0 172 3 0 0 20 0 21 0 10352790 10060525568 219583 33554432000 1073741824 1073778376 140735514886672 140441433094200 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=22243/tid=22259] ppid=22240 vsize=9824732 CPUtime=1.3 cores=0,2,4,6 /proc/22243/task/22259/stat : 22259 (java) S 22240 22243 11396 0 -1 4202560 11435 0 0 0 128 2 0 0 20 0 21 0 10352790 10060525568 219583 33554432000 1073741824 1073778376 140735514886672 140441432041656 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=22243/tid=22260] ppid=22240 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/22243/task/22260/stat : 22260 (java) S 22240 22243 11396 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 10352790 10060525568 219583 33554432000 1073741824 1073778376 140735514886672 140441430989304 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=22243/tid=22261] ppid=22240 vsize=9824732 CPUtime=0.25 cores=0,2,4,6 /proc/22243/task/22261/stat : 22261 (java) S 22240 22243 11396 0 -1 4202560 103 0 0 0 14 11 0 0 20 0 21 0 10352790 10060525568 219583 33554432000 1073741824 1073778376 140735514886672 140441429936968 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=22243/tid=22264] ppid=22240 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/22243/task/22264/stat : 22264 (java) S 22240 22243 11396 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 21 0 10352803 10060525568 219583 33554432000 1073741824 1073778376 140735514886672 140441426777640 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=22243/tid=22571] ppid=22240 vsize=9824732 CPUtime=1715.43 cores=0,2,4,6 /proc/22243/task/22571/stat : 22571 (java) R 22240 22243 11396 0 -1 4202560 2576 0 0 0 171511 32 0 0 20 0 21 0 10359380 10060525568 219583 33554432000 1073741824 1073778376 140735514886672 140441425722144 140441485245104 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=22243/tid=22572] ppid=22240 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/22243/task/22572/stat : 22572 (java) S 22240 22243 11396 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 21 0 10359381 10060525568 219583 33554432000 1073741824 1073778376 140735514886672 140441428882344 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 Current children cumulated CPU time (s) 1776.35 Current children cumulated vsize (KiB) 9824732 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1806 s] /proc/loadavg: 2.03 2.09 2.09 3/217 22824 /proc/meminfo: memFree=29833560/32872528 swapFree=496356/529060 [pid=22243] ppid=22240 vsize=9824732 CPUtime=1800.06 cores=0,2,4,6 /proc/22243/stat : 22243 (java) S 22240 22243 11396 0 -1 4202496 33028 0 1 0 179731 275 0 0 20 0 21 0 10352784 10060525568 219583 33554432000 1073741824 1073778376 140735514886672 140735514877808 211462160445 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/22243/statm: 2456183 219583 2294 9 0 2446860 0 [pid=22243/tid=22244] ppid=22240 vsize=9824732 CPUtime=0.64 cores=0,2,4,6 /proc/22243/task/22244/stat : 22244 (java) S 22240 22243 11396 0 -1 4202560 2490 0 1 0 51 13 0 0 20 0 21 0 10352785 10060525568 219583 33554432000 1073741824 1073778376 140735514886672 140441613202424 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=22243/tid=22246] ppid=22240 vsize=9824732 CPUtime=0.36 cores=0,2,4,6 /proc/22243/task/22246/stat : 22246 (java) S 22240 22243 11396 0 -1 4202560 284 0 0 0 29 7 0 0 20 0 21 0 10352786 10060525568 219583 33554432000 1073741824 1073778376 140735514886672 140441457085096 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=22243/tid=22247] ppid=22240 vsize=9824732 CPUtime=0.31 cores=0,2,4,6 /proc/22243/task/22247/stat : 22247 (java) S 22240 22243 11396 0 -1 4202560 274 0 0 0 25 6 0 0 20 0 21 0 10352786 10060525568 219583 33554432000 1073741824 1073778376 140735514886672 140441456032552 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=22243/tid=22248] ppid=22240 vsize=9824732 CPUtime=0.32 cores=0,2,4,6 /proc/22243/task/22248/stat : 22248 (java) S 22240 22243 11396 0 -1 4202560 97 0 0 0 27 5 0 0 20 0 21 0 10352786 10060525568 219583 33554432000 1073741824 1073778376 140735514886672 140441454980008 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=22243/tid=22249] ppid=22240 vsize=9824732 CPUtime=0.32 cores=0,2,4,6 /proc/22243/task/22249/stat : 22249 (java) S 22240 22243 11396 0 -1 4202560 204 0 0 0 27 5 0 0 20 0 21 0 10352786 10060525568 219583 33554432000 1073741824 1073778376 140735514886672 140441453927464 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=22243/tid=22250] ppid=22240 vsize=9824732 CPUtime=0.39 cores=0,2,4,6 /proc/22243/task/22250/stat : 22250 (java) S 22240 22243 11396 0 -1 4202560 302 0 0 0 32 7 0 0 20 0 21 0 10352786 10060525568 219583 33554432000 1073741824 1073778376 140735514886672 140441452873896 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=22243/tid=22251] ppid=22240 vsize=9824732 CPUtime=0.36 cores=0,2,4,6 /proc/22243/task/22251/stat : 22251 (java) S 22240 22243 11396 0 -1 4202560 214 0 0 0 32 4 0 0 20 0 21 0 10352786 10060525568 219583 33554432000 1073741824 1073778376 140735514886672 140441451821352 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=22243/tid=22252] ppid=22240 vsize=9824732 CPUtime=0.34 cores=0,2,4,6 /proc/22243/task/22252/stat : 22252 (java) S 22240 22243 11396 0 -1 4202560 222 0 0 0 28 6 0 0 20 0 21 0 10352786 10060525568 219583 33554432000 1073741824 1073778376 140735514886672 140441450768808 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=22243/tid=22253] ppid=22240 vsize=9824732 CPUtime=0.32 cores=0,2,4,6 /proc/22243/task/22253/stat : 22253 (java) S 22240 22243 11396 0 -1 4202560 267 0 0 0 26 6 0 0 20 0 21 0 10352786 10060525568 219583 33554432000 1073741824 1073778376 140735514886672 140441449716264 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=22243/tid=22254] ppid=22240 vsize=9824732 CPUtime=0.21 cores=0,2,4,6 /proc/22243/task/22254/stat : 22254 (java) S 22240 22243 11396 0 -1 4202560 372 0 0 0 14 7 0 0 20 0 21 0 10352787 10060525568 219583 33554432000 1073741824 1073778376 140735514886672 140441437305448 211462174633 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=22243/tid=22255] ppid=22240 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/22243/task/22255/stat : 22255 (java) S 22240 22243 11396 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 21 0 10352787 10060525568 219583 33554432000 1073741824 1073778376 140735514886672 140441436251800 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=22243/tid=22256] ppid=22240 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/22243/task/22256/stat : 22256 (java) S 22240 22243 11396 0 -1 4202560 34 0 0 0 0 0 0 0 20 0 21 0 10352787 10060525568 219583 33554432000 1073741824 1073778376 140735514886672 140441435199144 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=22243/tid=22257] ppid=22240 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/22243/task/22257/stat : 22257 (java) S 22240 22243 11396 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 10352790 10060525568 219583 33554432000 1073741824 1073778376 140735514886672 140441434147856 211462182688 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=22243/tid=22258] ppid=22240 vsize=9824732 CPUtime=1.75 cores=0,2,4,6 /proc/22243/task/22258/stat : 22258 (java) S 22240 22243 11396 0 -1 4202560 11976 0 0 0 172 3 0 0 20 0 21 0 10352790 10060525568 219583 33554432000 1073741824 1073778376 140735514886672 140441433094200 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=22243/tid=22259] ppid=22240 vsize=9824732 CPUtime=1.3 cores=0,2,4,6 /proc/22243/task/22259/stat : 22259 (java) S 22240 22243 11396 0 -1 4202560 11435 0 0 0 128 2 0 0 20 0 21 0 10352790 10060525568 219583 33554432000 1073741824 1073778376 140735514886672 140441432041656 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=22243/tid=22260] ppid=22240 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/22243/task/22260/stat : 22260 (java) S 22240 22243 11396 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 10352790 10060525568 219583 33554432000 1073741824 1073778376 140735514886672 140441430989304 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=22243/tid=22261] ppid=22240 vsize=9824732 CPUtime=0.26 cores=0,2,4,6 /proc/22243/task/22261/stat : 22261 (java) S 22240 22243 11396 0 -1 4202560 105 0 0 0 14 12 0 0 20 0 21 0 10352790 10060525568 219583 33554432000 1073741824 1073778376 140735514886672 140441429936968 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=22243/tid=22264] ppid=22240 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/22243/task/22264/stat : 22264 (java) S 22240 22243 11396 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 21 0 10352803 10060525568 219583 33554432000 1073741824 1073778376 140735514886672 140441426777640 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=22243/tid=22571] ppid=22240 vsize=9824732 CPUtime=1739.13 cores=0,2,4,6 /proc/22243/task/22571/stat : 22571 (java) R 22240 22243 11396 0 -1 4202560 2576 0 0 0 173881 32 0 0 20 0 21 0 10359380 10060525568 219583 33554432000 1073741824 1073778376 140735514886672 140441425722144 140441485245112 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=22243/tid=22572] ppid=22240 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/22243/task/22572/stat : 22572 (java) S 22240 22243 11396 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 21 0 10359381 10060525568 219583 33554432000 1073741824 1073778376 140735514886672 140441428882344 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 Current children cumulated CPU time (s) 1800.06 Current children cumulated vsize (KiB) 9824732 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. ??? exit watcher main loop ??? sigkill at end of watcher main loop ??? kill 22243 sig 9 ??? kill -22243 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+1806.2 s] /proc/loadavg: 2.03 2.09 2.09 4/215 22826 /proc/meminfo: memFree=29841564/32872528 swapFree=496356/529060 [pid=22243] ppid=22240 vsize=0 CPUtime=1801.11 cores=0,2,4,6 /proc/22243/stat : 22243 (java) Z 22240 22243 11396 0 -1 4203532 33056 0 1 0 179774 337 0 0 20 0 2 0 10352784 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/22243/statm: 0 0 0 0 0 0 0 [pid=22243/tid=22259] ppid=22240 vsize=0 CPUtime=1.31 cores=0,2,4,6 /proc/22243/task/22259/stat : 22259 (java) R 22240 22243 11396 0 -1 4203588 11437 0 0 0 129 2 0 0 20 0 2 0 10352790 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1801.11 Current children cumulated vsize (KiB) 0 Child status: 143 Real time (s): 1806.21 CPU time (s): 1801.12 CPU user time (s): 1797.74 CPU system time (s): 3.38349 CPU usage (%): 99.7183 Max. virtual memory (cumulated for all children) (KiB): 9891296 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1797.74 system time used= 3.38348 maximum resident set size= 902012 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 33056 page faults= 1 swaps= 0 block input operations= 0 block output operations= 1408 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 78719 involuntary context switches= 21927 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 13.422 second user time and 15.8426 second system time The end
Begin job on node141 at 2016-06-16 15:17:54 IDJOB=4092311 IDBENCH=79237 IDSOLVER=2552 FILE ID=node141/4092311-1466083073 RUNJOBID= node141-1466075234-14702 PBS_JOBID= 19903999 Free space on /tmp= 71748 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.1111223220--soft-0-100-0.wbo COMMAND LINE= java -jar sat4j-pb.jar Both BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4092311-1466083073/watcher-4092311-1466083073 -o /tmp/evaluation-result-4092311-1466083073/solver-4092311-1466083073 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node141-1466075234-14702 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4092311-1466083073.wbo TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= eefb750387a2df9ca152a94906c66d6e RANDOM SEED=673375382 node141.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.547 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.09 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.547 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.547 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.54 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.547 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.547 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.56 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.547 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.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 : 2666.547 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.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 : 2666.547 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: 30465880 kB Buffers: 26224 kB Cached: 57180 kB SwapCached: 2880 kB Active: 1110704 kB Inactive: 53340 kB Active(anon): 1078788 kB Inactive(anon): 4072 kB Active(file): 31916 kB Inactive(file): 49268 kB Unevictable: 529060 kB Mlocked: 496356 kB SwapTotal: 67108856 kB SwapFree: 67098996 kB Dirty: 492 kB Writeback: 4 kB AnonPages: 1619984 kB Mapped: 15308 kB Shmem: 0 kB Slab: 566852 kB SReclaimable: 10368 kB SUnreclaim: 556484 kB KernelStack: 1608 kB PageTables: 7664 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 1809240 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 1077248 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= 71748 MiB End job on node141 at 2016-06-16 15:48:00