Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| Sat4j PB 2012-05-28 | OPTIMUM | 68.8145 | 66.1352 |
| Name | /PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111220767--soft-66-100-0.wbo |
| MD5SUM | 0e6c262e00c2bafdec71b4c92c644f07 |
| 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 | 80 |
| Best CPU time to get the best result obtained on this benchmark | 0.469928 |
| 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 | 1248 |
| Number of bits of the biggest sum of numbers | 11 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.01/0.07 c SAT4J: a SATisfiability library for Java (c) 2004-2012 Artois University and CNRS 0.01/0.07 c This is free software under the dual EPL/GNU LGPL licenses. 0.01/0.07 c See www.sat4j.org for details. 0.01/0.07 c version 2.3.2.v20120528 0.01/0.07 c java.runtime.name Java(TM) SE Runtime Environment 0.01/0.07 c java.vm.name Java HotSpot(TM) 64-Bit Server VM 0.01/0.07 c java.vm.version 19.1-b02 0.01/0.07 c java.vm.vendor Sun Microsystems Inc. 0.01/0.07 c sun.arch.data.model 64 0.01/0.07 c java.version 1.6.0_24 0.01/0.07 c os.name Linux 0.01/0.07 c os.version 2.6.32-71.29.1.el6.x86_64 0.01/0.07 c os.arch amd64 0.01/0.07 c Free memory 501472288 0.01/0.07 c Max memory 7480803328 0.01/0.07 c Total memory 504102912 0.01/0.07 c Number of processors 8 0.11/0.10 c Pseudo Boolean Optimization by upper bound 0.11/0.10 c --- Begin Solver configuration --- 0.11/0.10 c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@4a913fe2 0.11/0.10 c Learn all clauses as in MiniSAT 0.11/0.10 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.11/0.10 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.11/0.10 c No reason simplification 0.11/0.10 c Armin Biere (Picosat) restarts strategy 0.11/0.10 c Glucose 2 learned constraints deletion strategy 0.11/0.10 c timeout=2147483s 0.11/0.10 c DB Simplification allowed=false 0.11/0.10 c --- End Solver configuration --- 0.11/0.10 c solving HOME/instance-3718131-1338251670.wbo 0.11/0.10 c reading problem ... 0.11/0.15 c ... done. Wall clock time 0.052s. 0.11/0.15 c declared #vars 169 0.11/0.15 c internal #vars 197 0.11/0.15 c #constraints 101 0.11/0.15 c constraints type 0.11/0.15 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 28 0.11/0.15 c org.sat4j.minisat.constraints.card.MinWatchCard => 50 0.11/0.15 c ignored satisfied constraints => 1 0.11/0.15 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 2 0.11/0.15 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 21 0.11/0.15 c 102 constraints processed. 0.11/0.15 c objective function length is 28 literals 0.71/0.41 c cleaning 2500 clauses out of 5002 with flag 14262/5002 0.84/0.55 c cleaning 4247 clauses out of 8500 with flag 31672/11000 1.09/0.72 c cleaning 5623 clauses out of 11253 with flag 52361/18000 1.09/0.74 c SATISFIABLE 1.09/0.74 c OPTIMIZING... 1.09/0.74 c Got one! Elapsed wall clock time (in seconds):0.647 1.09/0.74 o 1177 1.31/0.87 c cleaning 5547 clauses out of 11093 with flag 15469/23463 1.31/0.89 c Got one! Elapsed wall clock time (in seconds):0.796 1.31/0.89 o 1163 1.56/0.94 c Got one! Elapsed wall clock time (in seconds):0.842 1.56/0.94 o 996 1.78/1.01 c Got one! Elapsed wall clock time (in seconds):0.91 1.78/1.01 o 787 1.78/1.06 c cleaning 5862 clauses out of 11739 with flag 4124/29656 1.97/1.13 c Got one! Elapsed wall clock time (in seconds):1.035 1.97/1.13 o 783 1.97/1.13 c Got one! Elapsed wall clock time (in seconds):1.038 1.97/1.13 o 454 1.97/1.17 c Got one! Elapsed wall clock time (in seconds):1.077 1.97/1.17 o 453 2.15/1.25 c cleaning 6194 clauses out of 12392 with flag 8404/36171 2.37/1.40 c cleaning 6095 clauses out of 12200 with flag 29105/42173 2.61/1.57 c cleaning 6550 clauses out of 13103 with flag 55954/49171 2.71/1.68 c Got one! Elapsed wall clock time (in seconds):1.581 2.71/1.68 o 451 2.81/1.71 c cleaning 5967 clauses out of 11959 with flag 4216/54577 2.81/1.74 c Got one! Elapsed wall clock time (in seconds):1.645 2.81/1.74 o 449 2.93/1.84 c cleaning 5528 clauses out of 11071 with flag 16110/59656 3.04/1.90 c Got one! Elapsed wall clock time (in seconds):1.807 3.04/1.90 o 443 3.04/1.99 c cleaning 5695 clauses out of 11407 with flag 15028/65520 3.25/2.14 c cleaning 5846 clauses out of 11709 with flag 37789/71517 3.36/2.22 c Got one! Elapsed wall clock time (in seconds):2.123 3.36/2.22 o 441 3.36/2.25 c Got one! Elapsed wall clock time (in seconds):2.151 3.36/2.25 o 436 3.36/2.28 c cleaning 5819 clauses out of 11649 with flag 4674/77303 3.47/2.38 c Got one! Elapsed wall clock time (in seconds):2.282 3.47/2.38 o 432 3.57/2.44 c cleaning 5911 clauses out of 11823 with flag 9516/83296 3.57/2.46 c Got one! Elapsed wall clock time (in seconds):2.367 3.57/2.46 o 431 3.67/2.53 c Got one! Elapsed wall clock time (in seconds):2.435 3.67/2.53 o 422 3.77/2.64 c cleaning 6039 clauses out of 12088 with flag 16330/89472 3.98/2.81 c cleaning 6016 clauses out of 12049 with flag 43153/95472 3.98/2.87 c Got one! Elapsed wall clock time (in seconds):2.771 3.98/2.87 o 415 4.09/2.96 c Got one! Elapsed wall clock time (in seconds):2.86 4.09/2.96 o 388 4.19/3.00 c cleaning 6139 clauses out of 12301 with flag 6017/101740 4.30/3.20 c cleaning 6068 clauses out of 12163 with flag 37144/107741 4.62/3.41 c cleaning 6545 clauses out of 13096 with flag 68760/114742 4.72/3.51 c Got one! Elapsed wall clock time (in seconds):3.42 4.72/3.51 o 387 4.72/3.56 c cleaning 5844 clauses out of 11719 with flag 6320/119910 4.82/3.65 c Got one! Elapsed wall clock time (in seconds):3.551 4.82/3.65 o 378 4.92/3.72 c cleaning 5642 clauses out of 11296 with flag 10871/125331 4.92/3.73 c Got one! Elapsed wall clock time (in seconds):3.637 4.92/3.73 o 374 5.12/3.90 c cleaning 5488 clauses out of 10992 with flag 28372/130669 5.22/4.05 c cleaning 5748 clauses out of 11504 with flag 54190/136669 5.22/4.08 c Got one! Elapsed wall clock time (in seconds):3.984 5.22/4.08 o 371 5.34/4.15 c Got one! Elapsed wall clock time (in seconds):4.056 5.34/4.15 o 367 5.44/4.27 c cleaning 5830 clauses out of 11677 with flag 18100/142590 5.65/4.47 c cleaning 5905 clauses out of 11846 with flag 49250/148589 5.85/4.67 c cleaning 6460 clauses out of 12941 with flag 81512/155589 5.97/4.78 c Got one! Elapsed wall clock time (in seconds):4.683 5.97/4.78 o 366 6.07/4.85 c cleaning 6226 clauses out of 12462 with flag 12051/161570 6.27/5.07 c cleaning 6115 clauses out of 12239 with flag 47120/167573 6.47/5.29 c cleaning 6562 clauses out of 13125 with flag 82552/174574 6.58/5.32 c Got one! Elapsed wall clock time (in seconds):5.222 6.58/5.32 o 361 6.58/5.39 c Got one! Elapsed wall clock time (in seconds):5.29 6.58/5.39 o 356 6.70/5.45 c Got one! Elapsed wall clock time (in seconds):5.355 6.70/5.45 o 350 6.80/5.54 c cleaning 6776 clauses out of 13553 with flag 11891/181564 7.00/5.71 c cleaning 6382 clauses out of 12779 with flag 39977/187566 7.00/5.78 c Got one! Elapsed wall clock time (in seconds):5.686 7.00/5.78 o 348 7.11/5.89 c cleaning 6157 clauses out of 12334 with flag 19092/193503 7.42/6.11 c cleaning 6087 clauses out of 12176 with flag 52582/199502 7.61/6.25 c Got one! Elapsed wall clock time (in seconds):6.154 7.61/6.25 o 347 8.01/6.47 c cleaning 8335 clauses out of 16679 with flag 31530/210092 8.29/6.63 c cleaning 7169 clauses out of 14346 with flag 59515/216094 8.29/6.69 c Got one! Elapsed wall clock time (in seconds):6.592 8.29/6.69 o 345 8.48/6.84 c cleaning 6558 clauses out of 13139 with flag 25855/222056 8.70/7.06 c cleaning 6280 clauses out of 12579 with flag 60069/228054 8.90/7.23 c Got one! Elapsed wall clock time (in seconds):7.135 8.90/7.23 o 342 9.11/7.44 c cleaning 8604 clauses out of 17222 with flag 27803/238977 9.32/7.66 c cleaning 7294 clauses out of 14618 with flag 60087/244977 9.61/7.91 c cleaning 7152 clauses out of 14324 with flag 95557/251977 9.82/8.19 c cleaning 7586 clauses out of 15175 with flag 139442/259980 9.93/8.26 c Got one! Elapsed wall clock time (in seconds):8.164 9.93/8.26 o 339 10.04/8.35 c Got one! Elapsed wall clock time (in seconds):8.255 10.04/8.35 o 335 10.14/8.40 c cleaning 7083 clauses out of 14184 with flag 6641/266575 10.14/8.44 c Got one! Elapsed wall clock time (in seconds):8.342 10.14/8.44 o 333 10.24/8.58 c cleaning 6193 clauses out of 12392 with flag 23986/271866 10.34/8.65 c Got one! Elapsed wall clock time (in seconds):8.55 10.34/8.65 o 332 10.45/8.75 c cleaning 5921 clauses out of 11857 with flag 17219/277524 10.45/8.80 c Got one! Elapsed wall clock time (in seconds):8.704 10.45/8.80 o 330 10.64/8.96 c cleaning 5886 clauses out of 11793 with flag 26707/283381 10.74/9.05 c Got one! Elapsed wall clock time (in seconds):8.95 10.74/9.05 o 328 10.84/9.16 c cleaning 5749 clauses out of 11529 with flag 17271/289003 11.04/9.38 c cleaning 5875 clauses out of 11780 with flag 51513/295003 11.15/9.49 c Got one! Elapsed wall clock time (in seconds):9.398 11.15/9.49 o 323 11.25/9.57 c cleaning 5826 clauses out of 11677 with flag 12054/300775 11.46/9.78 c cleaning 5910 clauses out of 11851 with flag 46366/306775 11.78/10.03 c cleaning 6459 clauses out of 12941 with flag 86277/313775 11.98/10.27 c cleaning 7232 clauses out of 14481 with flag 127774/321774 12.08/10.32 c Got one! Elapsed wall clock time (in seconds):10.224 12.08/10.32 o 320 12.18/10.44 c cleaning 6157 clauses out of 12336 with flag 20872/326861 12.38/10.67 c cleaning 6078 clauses out of 12178 with flag 60248/332860 12.70/10.93 c cleaning 6533 clauses out of 13100 with flag 102099/339860 13.00/11.21 c cleaning 7278 clauses out of 14566 with flag 146678/347859 13.10/11.31 c Got one! Elapsed wall clock time (in seconds):11.218 13.10/11.31 o 305 13.10/11.39 c cleaning 6547 clauses out of 13103 with flag 13505/353674 13.40/11.64 c cleaning 6261 clauses out of 12553 with flag 52650/359671 13.71/11.90 c cleaning 6633 clauses out of 13293 with flag 95198/366672 14.02/12.20 c cleaning 7317 clauses out of 14660 with flag 142298/374672 14.35/12.54 c cleaning 8160 clauses out of 16342 with flag 195645/383671 14.67/12.86 c Got one! Elapsed wall clock time (in seconds):12.764 14.67/12.86 o 299 14.77/12.92 c Got one! Elapsed wall clock time (in seconds):12.822 14.77/12.92 o 298 14.87/13.08 c cleaning 11259 clauses out of 22523 with flag 22332/398012 14.98/13.20 c Got one! Elapsed wall clock time (in seconds):13.105 14.98/13.20 o 294 15.17/13.30 c cleaning 8554 clauses out of 17119 with flag 14225/403867 15.28/13.46 c Got one! Elapsed wall clock time (in seconds):13.367 15.28/13.46 o 288 15.38/13.51 c cleaning 6793 clauses out of 13605 with flag 6995/408907 15.57/13.74 c cleaning 6393 clauses out of 12813 with flag 45337/414908 15.78/13.94 c cleaning 6709 clauses out of 13425 with flag 80156/421913 15.98/14.16 c cleaning 7354 clauses out of 14710 with flag 118366/429907 15.98/14.18 c Got one! Elapsed wall clock time (in seconds):14.08 15.98/14.18 o 287 16.19/14.38 c cleaning 6243 clauses out of 12507 with flag 34572/435058 16.49/14.61 c cleaning 6119 clauses out of 12265 with flag 72349/441059 16.69/14.89 c cleaning 6551 clauses out of 13143 with flag 116866/448056 16.79/14.95 c Got one! Elapsed wall clock time (in seconds):14.858 16.79/14.95 o 285 16.89/15.07 c cleaning 5798 clauses out of 11623 with flag 17694/453087 17.09/15.28 c cleaning 5903 clauses out of 11823 with flag 53933/459085 17.39/15.55 c cleaning 6448 clauses out of 12920 with flag 97610/466085 17.69/15.84 c cleaning 7224 clauses out of 14472 with flag 144547/474085 18.00/16.12 c cleaning 8122 clauses out of 16248 with flag 190960/483085 18.10/16.20 c Got one! Elapsed wall clock time (in seconds):16.107 18.10/16.20 o 280 18.10/16.29 c cleaning 6692 clauses out of 13402 with flag 14602/488361 18.40/16.54 c cleaning 6346 clauses out of 12710 with flag 54523/494361 18.70/16.83 c cleaning 6666 clauses out of 13364 with flag 99277/501361 19.00/17.15 c cleaning 7345 clauses out of 14701 with flag 150476/509364 19.41/17.52 c cleaning 8168 clauses out of 16353 with flag 206735/518361 19.51/17.69 c Got one! Elapsed wall clock time (in seconds):17.599 19.51/17.69 o 269 19.60/17.75 c cleaning 6858 clauses out of 13731 with flag 7127/523907 19.90/18.00 c cleaning 6430 clauses out of 12872 with flag 48998/529906 20.11/18.29 c cleaning 6713 clauses out of 13443 with flag 94250/536907 20.51/18.61 c cleaning 7353 clauses out of 14734 with flag 143356/544911 20.81/18.99 c cleaning 8175 clauses out of 16376 with flag 201972/553906 21.31/19.43 c cleaning 9082 clauses out of 18201 with flag 267036/563906 21.81/19.91 c cleaning 10038 clauses out of 20120 with flag 339554/574907 22.31/20.48 c cleaning 11022 clauses out of 22083 with flag 422038/586908 22.61/20.70 c Got one! Elapsed wall clock time (in seconds):20.602 22.61/20.70 o 256 22.61/20.79 c Got one! Elapsed wall clock time (in seconds):20.696 22.61/20.79 o 255 22.82/20.94 c cleaning 11908 clauses out of 23823 with flag 18838/599670 22.91/21.01 c Got one! Elapsed wall clock time (in seconds):20.916 22.91/21.01 o 251 23.01/21.15 c cleaning 8700 clauses out of 17417 with flag 20646/605172 23.22/21.34 c cleaning 7348 clauses out of 14718 with flag 50961/611173 23.42/21.52 c Got one! Elapsed wall clock time (in seconds):21.423 23.42/21.52 o 247 23.62/21.76 c cleaning 8943 clauses out of 17899 with flag 35727/621702 23.82/21.98 c Got one! Elapsed wall clock time (in seconds):21.886 23.82/21.98 o 244 24.15/22.24 c cleaning 9913 clauses out of 19838 with flag 34092/632584 24.46/22.51 c cleaning 7958 clauses out of 15926 with flag 72618/638585 24.76/22.81 c cleaning 7482 clauses out of 14967 with flag 118834/645584 24.96/23.06 c cleaning 7737 clauses out of 15486 with flag 157805/653585 25.16/23.27 c Got one! Elapsed wall clock time (in seconds):23.173 25.16/23.27 o 241 25.46/23.52 c cleaning 9888 clauses out of 19793 with flag 35598/665629 25.66/23.78 c cleaning 7940 clauses out of 15907 with flag 74964/671631 25.96/24.03 c cleaning 7475 clauses out of 14966 with flag 115503/678630 26.17/24.27 c cleaning 7740 clauses out of 15491 with flag 156515/686630 26.27/24.35 c Got one! Elapsed wall clock time (in seconds):24.252 26.27/24.35 o 240 26.37/24.48 c cleaning 6698 clauses out of 13406 with flag 21406/692285 26.67/24.73 c cleaning 6339 clauses out of 12706 with flag 62088/698283 26.97/25.03 c cleaning 6679 clauses out of 13369 with flag 108814/705285 27.28/25.36 c cleaning 7325 clauses out of 14689 with flag 158410/713284 27.67/25.71 c cleaning 8180 clauses out of 16363 with flag 211546/722283 27.97/26.02 c cleaning 9088 clauses out of 18183 with flag 260853/732283 28.08/26.13 c Got one! Elapsed wall clock time (in seconds):26.032 28.08/26.13 o 235 28.18/26.22 c cleaning 7415 clauses out of 14848 with flag 13978/738036 28.39/26.49 c cleaning 6702 clauses out of 13436 with flag 55573/744039 28.79/26.80 c cleaning 6861 clauses out of 13731 with flag 102256/751036 29.09/27.15 c cleaning 7425 clauses out of 14871 with flag 154719/759037 29.51/27.55 c cleaning 8209 clauses out of 16445 with flag 215232/768036 30.00/28.02 c cleaning 9097 clauses out of 18236 with flag 282258/778036 30.30/28.37 c Got one! Elapsed wall clock time (in seconds):28.272 30.30/28.37 o 234 30.61/28.65 c cleaning 11146 clauses out of 22314 with flag 34063/791211 30.90/28.95 c cleaning 8571 clauses out of 17168 with flag 76620/797211 31.22/29.26 c cleaning 7788 clauses out of 15599 with flag 122182/804213 31.65/29.61 c cleaning 7896 clauses out of 15809 with flag 173458/812211 31.94/29.98 c cleaning 8435 clauses out of 16914 with flag 232338/821212 32.44/30.44 c cleaning 9220 clauses out of 18479 with flag 298686/831212 32.95/30.92 c cleaning 10125 clauses out of 20260 with flag 371258/842213 33.46/31.47 c cleaning 11047 clauses out of 22133 with flag 450566/854211 34.07/32.08 c cleaning 12035 clauses out of 24086 with flag 538919/867211 34.77/32.73 c cleaning 13009 clauses out of 26051 with flag 629983/881211 34.87/32.81 c Got one! Elapsed wall clock time (in seconds):32.714 34.87/32.81 o 232 34.98/32.95 c cleaning 9398 clauses out of 18798 with flag 21388/886967 35.17/33.15 c cleaning 7695 clauses out of 15401 with flag 51075/892968 35.28/33.21 c Got one! Elapsed wall clock time (in seconds):33.115 35.28/33.21 o 229 35.38/33.39 c cleaning 6798 clauses out of 13618 with flag 27559/898880 35.69/33.60 c cleaning 6403 clauses out of 12818 with flag 60068/904878 35.83/33.75 c Got one! Elapsed wall clock time (in seconds):33.657 35.83/33.75 o 227 35.94/33.80 c cleaning 6121 clauses out of 12255 with flag 6249/910718 36.14/34.07 c cleaning 6059 clauses out of 12132 with flag 47873/916716 36.35/34.28 c Got one! Elapsed wall clock time (in seconds):34.183 36.35/34.28 o 215 36.45/34.33 c cleaning 5974 clauses out of 11951 with flag 6112/922594 36.65/34.59 c cleaning 5978 clauses out of 11977 with flag 45892/928594 37.05/34.90 c cleaning 6490 clauses out of 12999 with flag 92262/935594 37.36/35.21 c cleaning 7248 clauses out of 14511 with flag 141176/943596 37.65/35.53 c cleaning 8119 clauses out of 16262 with flag 191113/952595 37.65/35.57 c Got one! Elapsed wall clock time (in seconds):35.477 37.65/35.57 o 209 37.85/35.77 c cleaning 6630 clauses out of 13275 with flag 30165/957727 38.16/36.04 c cleaning 6317 clauses out of 12643 with flag 70890/963725 38.47/36.34 c cleaning 6653 clauses out of 13326 with flag 117711/970725 38.77/36.62 c cleaning 7329 clauses out of 14674 with flag 159753/978726 38.87/36.79 c Got one! Elapsed wall clock time (in seconds):36.7 38.87/36.79 o 197 39.17/37.05 c cleaning 8857 clauses out of 17728 with flag 35545/989109 39.48/37.35 c cleaning 7426 clauses out of 14871 with flag 77707/995109 39.77/37.67 c cleaning 7215 clauses out of 14446 with flag 126873/1002110 40.17/38.04 c cleaning 7603 clauses out of 15232 with flag 181047/1010111 40.37/38.28 c Got one! Elapsed wall clock time (in seconds):38.184 40.37/38.28 o 194 40.68/38.55 c cleaning 9409 clauses out of 18831 with flag 35812/1021313 40.98/38.84 c cleaning 7702 clauses out of 15423 with flag 76396/1027314 41.28/39.17 c cleaning 7340 clauses out of 14720 with flag 125390/1034313 41.69/39.55 c cleaning 7679 clauses out of 15381 with flag 181180/1042314 42.08/39.95 c cleaning 8333 clauses out of 16700 with flag 240928/1051312 42.59/40.43 c cleaning 9176 clauses out of 18367 with flag 311758/1061312 43.09/40.96 c cleaning 10076 clauses out of 20191 with flag 389384/1072312 43.59/41.48 c cleaning 11054 clauses out of 22115 with flag 466027/1084312 43.69/41.50 c Got one! Elapsed wall clock time (in seconds):41.403 43.69/41.50 o 193 43.90/41.76 c cleaning 8066 clauses out of 16151 with flag 38867/1089402 44.19/42.06 c cleaning 7035 clauses out of 14086 with flag 82185/1095403 44.50/42.38 c cleaning 7011 clauses out of 14058 with flag 130532/1102410 44.90/42.78 c cleaning 7509 clauses out of 15041 with flag 190296/1110404 45.40/43.24 c cleaning 8253 clauses out of 16530 with flag 254679/1119402 45.91/43.75 c cleaning 9111 clauses out of 18277 with flag 327962/1129402 46.51/44.32 c cleaning 10071 clauses out of 20166 with flag 408112/1140402 47.11/44.95 c cleaning 11038 clauses out of 22096 with flag 495906/1152403 47.81/45.64 c cleaning 12008 clauses out of 24057 with flag 589719/1165402 48.51/46.32 c cleaning 13025 clauses out of 26049 with flag 684492/1179402 48.81/46.64 c Got one! Elapsed wall clock time (in seconds):46.548 48.81/46.64 o 192 49.11/46.99 c cleaning 13572 clauses out of 27163 with flag 41647/1193541 49.53/47.35 c cleaning 9789 clauses out of 19591 with flag 90281/1199541 49.93/47.73 c cleaning 8389 clauses out of 16802 with flag 142139/1206541 50.32/48.15 c cleaning 8188 clauses out of 16413 with flag 203726/1214541 50.83/48.61 c cleaning 8599 clauses out of 17226 with flag 269510/1223542 51.33/49.12 c cleaning 9293 clauses out of 18626 with flag 341606/1233541 51.93/49.71 c cleaning 10156 clauses out of 20333 with flag 421522/1244541 52.53/50.34 c cleaning 11072 clauses out of 22177 with flag 506702/1256541 53.24/51.00 c cleaning 12035 clauses out of 24105 with flag 596519/1269541 53.95/51.72 c cleaning 13018 clauses out of 26070 with flag 694958/1283541 54.64/52.49 c cleaning 14011 clauses out of 28052 with flag 799963/1298541 55.54/53.30 c cleaning 15000 clauses out of 30042 with flag 912417/1314542 56.16/53.98 c Got one! Elapsed wall clock time (in seconds):53.889 56.16/53.98 o 180 56.35/54.15 c Got one! Elapsed wall clock time (in seconds):54.054 56.35/54.15 o 179 56.55/54.33 c cleaning 16970 clauses out of 33945 with flag 15686/1333445 56.78/54.59 c cleaning 11478 clauses out of 22974 with flag 47727/1339444 56.99/54.72 c Got one! Elapsed wall clock time (in seconds):54.623 56.99/54.72 o 177 57.09/54.81 c cleaning 8376 clauses out of 16764 with flag 11093/1344712 57.20/54.94 c Got one! Elapsed wall clock time (in seconds):54.84 57.20/54.94 o 169 57.30/55.04 c cleaning 7041 clauses out of 14098 with flag 14899/1350422 57.41/55.16 c Got one! Elapsed wall clock time (in seconds):55.068 57.41/55.16 o 167 57.61/55.33 c cleaning 6430 clauses out of 12899 with flag 23037/1356264 57.94/55.62 c cleaning 6222 clauses out of 12472 with flag 66888/1362267 58.14/55.89 c cleaning 6619 clauses out of 13247 with flag 109726/1369264 58.26/55.98 c Got one! Elapsed wall clock time (in seconds):55.881 58.26/55.98 o 163 58.47/56.12 c cleaning 6128 clauses out of 12273 with flag 22370/1374909 58.77/56.40 c cleaning 6066 clauses out of 12145 with flag 66515/1380909 58.98/56.63 c Got one! Elapsed wall clock time (in seconds):56.537 58.98/56.63 o 161 59.28/56.91 c cleaning 8476 clauses out of 16969 with flag 37700/1391799 59.60/57.23 c cleaning 7236 clauses out of 14492 with flag 84266/1397798 59.91/57.58 c cleaning 7122 clauses out of 14258 with flag 139160/1404800 60.32/57.96 c cleaning 7559 clauses out of 15135 with flag 198180/1412799 60.64/58.28 c cleaning 8282 clauses out of 16576 with flag 244233/1421799 60.84/58.41 c Got one! Elapsed wall clock time (in seconds):58.312 60.84/58.41 o 160 60.94/58.52 c cleaning 6849 clauses out of 13706 with flag 16410/1427211 61.04/58.60 c Got one! Elapsed wall clock time (in seconds):58.506 61.04/58.60 o 159 61.14/58.75 c cleaning 6053 clauses out of 12113 with flag 23854/1432467 61.44/59.04 c cleaning 6013 clauses out of 12059 with flag 69925/1438466 61.79/59.40 c cleaning 6511 clauses out of 13048 with flag 124960/1445468 62.20/59.78 c cleaning 7256 clauses out of 14535 with flag 186972/1453466 62.40/60.00 c Got one! Elapsed wall clock time (in seconds):59.9 62.40/60.00 o 150 62.70/60.29 c cleaning 8941 clauses out of 17906 with flag 40101/1464093 63.01/60.56 c cleaning 7472 clauses out of 14964 with flag 83615/1470092 63.31/60.88 c cleaning 7231 clauses out of 14492 with flag 134389/1477092 63.72/61.22 c cleaning 7619 clauses out of 15262 with flag 189741/1485093 64.03/61.60 c cleaning 8317 clauses out of 16642 with flag 250627/1494092 64.53/62.05 c cleaning 9155 clauses out of 18325 with flag 319195/1504092 64.73/62.25 c Got one! Elapsed wall clock time (in seconds):62.156 64.73/62.25 o 149 65.03/62.57 c cleaning 9613 clauses out of 19246 with flag 40526/1514168 65.33/62.88 c cleaning 7808 clauses out of 15635 with flag 88062/1520170 65.55/63.00 c Got one! Elapsed wall clock time (in seconds):62.908 65.55/63.00 o 131 65.65/63.16 c cleaning 6820 clauses out of 13673 with flag 22484/1526016 65.97/63.46 c cleaning 6405 clauses out of 12851 with flag 64894/1532014 66.28/63.76 c cleaning 6710 clauses out of 13448 with flag 110870/1539016 66.67/64.10 c cleaning 7363 clauses out of 14738 with flag 164047/1547016 67.08/64.51 c cleaning 8179 clauses out of 16374 with flag 225936/1556015 67.08/64.52 c Got one! Elapsed wall clock time (in seconds):64.429 67.08/64.52 o 125 67.28/64.78 c cleaning 6602 clauses out of 13246 with flag 39007/1561066 67.58/65.08 c cleaning 6313 clauses out of 12645 with flag 86078/1567067 67.79/65.26 c Got one! Elapsed wall clock time (in seconds):65.165 67.79/65.26 o 118 67.89/65.31 c cleaning 5863 clauses out of 11746 with flag 6765/1572481 67.99/65.43 c Got one! Elapsed wall clock time (in seconds):65.333 67.99/65.43 o 106 68.19/65.60 c cleaning 5748 clauses out of 11522 with flag 24148/1578120 68.39/65.83 c cleaning 5879 clauses out of 11773 with flag 61086/1584119 68.60/66.09 c cleaning 6428 clauses out of 12896 with flag 102858/1591121 68.70/66.12 c Got one! Elapsed wall clock time (in seconds):66.025 68.70/66.12 o 100 68.70/66.12 c Got one! Elapsed wall clock time (in seconds):66.026 68.70/66.12 o 80 68.70/66.13 c starts : 289 68.70/66.13 c conflicts : 1591662 68.70/66.13 c decisions : 2120941 68.70/66.13 c propagations : 28573986 68.70/66.13 c inspects : 649376710 68.70/66.13 c shortcuts : 0 68.70/66.13 c learnt literals : 0 68.70/66.13 c learnt binary clauses : 1 68.70/66.13 c learnt ternary clauses : 33 68.70/66.13 c learnt constraints : 1591662 68.70/66.13 c ignored constraints : 0 68.70/66.13 c root simplifications : 0 68.70/66.13 c removed literals (reason simplification) : 0 68.70/66.13 c reason swapping (by a shorter reason) : 0 68.70/66.13 c Calls to reduceDB : 208 68.70/66.13 c Number of update (reduction) of LBD : 352788 68.70/66.13 c number of reductions to clauses (during analyze) : 0 68.70/66.13 c number of learned constraints concerned by reduction : 0 68.70/66.13 c number of learning phase by resolution : 0 68.70/66.13 c number of learning phase by cutting planes : 0 68.70/66.13 c speed (assignments/second) : 433103.2360742706 68.70/66.13 c non guided choices 3116 68.70/66.13 c learnt constraints type 68.70/66.13 c constraints type 68.70/66.13 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 28 68.70/66.13 c org.sat4j.minisat.constraints.card.MinWatchCard => 50 68.70/66.13 c ignored satisfied constraints => 1 68.70/66.13 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 2 68.70/66.13 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 21 68.70/66.13 c 102 constraints processed. 68.70/66.13 s OPTIMUM FOUND 68.70/66.13 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 68.70/66.13 c objective function=80 68.70/66.13 c Total wall clock time (in seconds): 66.031
OK 80
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL This is runsolver version 3.3.1 (svn: 989) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3718131-1338251670/watcher-3718131-1338251670 -o /tmp/evaluation-result-3718131-1338251670/solver-3718131-1338251670 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar HOME/instance-3718131-1338251670.wbo running on 4 cores: 1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.54 1.50 1.76 5/194 13302 /proc/meminfo: memFree=29600852/32873648 swapFree=7368/7368 [pid=13302] ppid=13300 vsize=92900 CPUtime=0 cores=1,3,5,7 /proc/13302/stat : 13302 (java) S 13300 13302 13069 0 -1 4202496 1215 0 0 0 0 0 0 0 20 0 2 0 291291073 95129600 927 33554432000 1073741824 1073778376 140737457769312 140737457760448 251056390205 0 0 4096 0 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/13302/statm: 23225 927 703 9 0 16769 0 [pid=13302/tid=13303] ppid=13300 vsize=92900 CPUtime=0 cores=1,3,5,7 /proc/13302/task/13303/stat : 13303 (java) D 13300 13302 13069 0 -1 4202560 70 0 0 0 0 0 0 0 20 0 2 0 291291074 95129600 927 33554432000 1073741824 1073778376 140737457769312 139859656011304 251043867943 0 0 4096 0 18446744072100609316 0 0 -1 3 0 0 0 0 0 [startup+0.0326929 s] /proc/loadavg: 1.54 1.50 1.76 5/194 13302 /proc/meminfo: memFree=29600852/32873648 swapFree=7368/7368 [pid=13302] ppid=13300 vsize=9225560 CPUtime=0.01 cores=1,3,5,7 /proc/13302/stat : 13302 (java) S 13300 13302 13069 0 -1 4202496 3017 0 1 0 1 0 0 0 20 0 13 0 291291073 9446973440 3715 33554432000 1073741824 1073778376 140737457769312 140737457760448 251056390205 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/13302/statm: 2306390 3715 1695 9 0 2297091 0 [pid=13302/tid=13303] ppid=13300 vsize=9225560 CPUtime=0.01 cores=1,3,5,7 /proc/13302/task/13303/stat : 13303 (java) R 13300 13302 13069 0 -1 4202560 1836 0 1 0 1 0 0 0 20 0 13 0 291291074 9446973440 3715 33554432000 1073741824 1073778376 140737457769312 139859656012016 251056416013 0 4 0 16784584 0 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 9225560 [startup+0.10023 s] /proc/loadavg: 1.54 1.50 1.76 5/194 13302 /proc/meminfo: memFree=29600852/32873648 swapFree=7368/7368 [pid=13302] ppid=13300 vsize=9558416 CPUtime=0.11 cores=1,3,5,7 /proc/13302/stat : 13302 (java) S 13300 13302 13069 0 -1 4202496 4483 0 1 0 10 1 0 0 20 0 18 0 291291073 9787817984 6155 33554432000 1073741824 1073778376 140737457769312 140737457760448 251056390205 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/13302/statm: 2389604 6155 2144 9 0 2380296 0 [pid=13302/tid=13303] ppid=13300 vsize=9558416 CPUtime=0.08 cores=1,3,5,7 /proc/13302/task/13303/stat : 13303 (java) R 13300 13302 13069 0 -1 4202560 2432 0 1 0 6 2 0 0 20 0 18 0 291291074 9787817984 6155 33554432000 1073741824 1073778376 140737457769312 139859656014616 251056416013 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 0.11 Current children cumulated vsize (KiB) 9558416 [startup+0.300254 s] /proc/loadavg: 1.54 1.50 1.76 5/194 13302 /proc/meminfo: memFree=29600852/32873648 swapFree=7368/7368 [pid=13302] ppid=13300 vsize=9624980 CPUtime=0.55 cores=1,3,5,7 /proc/13302/stat : 13302 (java) S 13300 13302 13069 0 -1 4202496 7067 0 1 0 53 2 0 0 20 0 19 0 291291073 9855979520 7784 33554432000 1073741824 1073778376 140737457769312 140737457760448 251056390205 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/13302/statm: 2406245 7784 2234 9 0 2396937 0 [pid=13302/tid=13303] ppid=13300 vsize=9624980 CPUtime=0.28 cores=1,3,5,7 /proc/13302/task/13303/stat : 13303 (java) R 13300 13302 13069 0 -1 4202560 2451 0 1 0 26 2 0 0 20 0 19 0 291291074 9855979520 7784 33554432000 1073741824 1073778376 140737457769312 139859656016656 139859520293023 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 0.55 Current children cumulated vsize (KiB) 9624980 [startup+0.700262 s] /proc/loadavg: 1.54 1.50 1.76 5/194 13302 /proc/meminfo: memFree=29600852/32873648 swapFree=7368/7368 [pid=13302] ppid=13300 vsize=9624980 CPUtime=1.09 cores=1,3,5,7 /proc/13302/stat : 13302 (java) S 13300 13302 13069 0 -1 4202496 7588 0 1 0 107 2 0 0 20 0 19 0 291291073 9855979520 10398 33554432000 1073741824 1073778376 140737457769312 140737457760448 251056390205 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/13302/statm: 2406245 10398 2267 9 0 2396937 0 [pid=13302/tid=13303] ppid=13300 vsize=9624980 CPUtime=0.66 cores=1,3,5,7 /proc/13302/task/13303/stat : 13303 (java) R 13300 13302 13069 0 -1 4202560 2457 0 1 0 64 2 0 0 20 0 19 0 291291074 9855979520 10398 33554432000 1073741824 1073778376 140737457769312 139859656016280 139859520351313 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1.09 Current children cumulated vsize (KiB) 9624980 [startup+1.50074 s] /proc/loadavg: 1.54 1.50 1.76 4/213 13321 /proc/meminfo: memFree=29528144/32873648 swapFree=7368/7368 [pid=13302] ppid=13300 vsize=9624980 CPUtime=2.61 cores=1,3,5,7 /proc/13302/stat : 13302 (java) S 13300 13302 13069 0 -1 4202496 19096 0 1 0 257 4 0 0 20 0 19 0 291291073 9855979520 16163 33554432000 1073741824 1073778376 140737457769312 140737457760448 251056390205 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/13302/statm: 2406245 16163 2268 9 0 2396937 0 [pid=13302/tid=13303] ppid=13300 vsize=9624980 CPUtime=1.41 cores=1,3,5,7 /proc/13302/task/13303/stat : 13303 (java) R 13300 13302 13069 0 -1 4202560 2460 0 1 0 139 2 0 0 20 0 19 0 291291074 9855979520 16163 33554432000 1073741824 1073778376 140737457769312 139859656016280 139859520373552 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 [pid=13302/tid=13305] ppid=13300 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/13302/task/13305/stat : 13305 (java) S 13300 13302 13069 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 291291075 9855979520 16163 33554432000 1073741824 1073778376 140737457769312 139859645077800 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=13302/tid=13306] ppid=13300 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/13302/task/13306/stat : 13306 (java) S 13300 13302 13069 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 291291075 9855979520 16163 33554432000 1073741824 1073778376 140737457769312 139859644025000 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=13302/tid=13307] ppid=13300 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/13302/task/13307/stat : 13307 (java) S 13300 13302 13069 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291291075 9855979520 16163 33554432000 1073741824 1073778376 140737457769312 139859642972712 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=13302/tid=13308] ppid=13300 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/13302/task/13308/stat : 13308 (java) S 13300 13302 13069 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 291291075 9855979520 16163 33554432000 1073741824 1073778376 140737457769312 139859641919912 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=13302/tid=13309] ppid=13300 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/13302/task/13309/stat : 13309 (java) S 13300 13302 13069 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291291075 9855979520 16163 33554432000 1073741824 1073778376 140737457769312 139859640867624 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=13302/tid=13310] ppid=13300 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/13302/task/13310/stat : 13310 (java) S 13300 13302 13069 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291291075 9855979520 16163 33554432000 1073741824 1073778376 140737457769312 139859639814824 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=13302/tid=13311] ppid=13300 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/13302/task/13311/stat : 13311 (java) S 13300 13302 13069 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 291291075 9855979520 16163 33554432000 1073741824 1073778376 140737457769312 139859638762536 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=13302/tid=13312] ppid=13300 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/13302/task/13312/stat : 13312 (java) S 13300 13302 13069 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 291291075 9855979520 16163 33554432000 1073741824 1073778376 140737457769312 139859492289448 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=13302/tid=13313] ppid=13300 vsize=9624980 CPUtime=0.04 cores=1,3,5,7 /proc/13302/task/13313/stat : 13313 (java) S 13300 13302 13069 0 -1 4202560 39 0 0 0 4 0 0 0 20 0 19 0 291291076 9855979520 16163 33554432000 1073741824 1073778376 140737457769312 139859480090856 251056404393 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=13302/tid=13314] ppid=13300 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/13302/task/13314/stat : 13314 (java) S 13300 13302 13069 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 291291076 9855979520 16163 33554432000 1073741824 1073778376 140737457769312 139859479036920 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=13302/tid=13315] ppid=13300 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/13302/task/13315/stat : 13315 (java) S 13300 13302 13069 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291291076 9855979520 16163 33554432000 1073741824 1073778376 140737457769312 139859477984520 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=13302/tid=13316] ppid=13300 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/13302/task/13316/stat : 13316 (java) S 13300 13302 13069 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291291078 9855979520 16163 33554432000 1073741824 1073778376 140737457769312 139859476933008 251056412448 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=13302/tid=13317] ppid=13300 vsize=9624980 CPUtime=0.8 cores=1,3,5,7 /proc/13302/task/13317/stat : 13317 (java) S 13300 13302 13069 0 -1 4202560 12215 0 0 0 77 3 0 0 20 0 19 0 291291078 9855979520 16163 33554432000 1073741824 1073778376 140737457769312 139859475880632 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=13302/tid=13318] ppid=13300 vsize=9624980 CPUtime=0.28 cores=1,3,5,7 /proc/13302/task/13318/stat : 13318 (java) S 13300 13302 13069 0 -1 4202560 3150 0 0 0 28 0 0 0 20 0 19 0 291291078 9855979520 16163 33554432000 1073741824 1073778376 140737457769312 139859474827832 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=13302/tid=13319] ppid=13300 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/13302/task/13319/stat : 13319 (java) S 13300 13302 13069 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291291078 9855979520 16163 33554432000 1073741824 1073778376 140737457769312 139859473775736 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=13302/tid=13320] ppid=13300 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/13302/task/13320/stat : 13320 (java) S 13300 13302 13069 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291291078 9855979520 16163 33554432000 1073741824 1073778376 140737457769312 139859472723144 251056404393 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=13302/tid=13321] ppid=13300 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/13302/task/13321/stat : 13321 (java) S 13300 13302 13069 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291291089 9855979520 16163 33554432000 1073741824 1073778376 140737457769312 139859471668136 251056404393 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 2.61 Current children cumulated vsize (KiB) 9624980 [startup+3.10067 s] /proc/loadavg: 1.58 1.51 1.76 3/213 13321 /proc/meminfo: memFree=29525228/32873648 swapFree=7368/7368 [pid=13302] ppid=13300 vsize=9624980 CPUtime=4.3 cores=1,3,5,7 /proc/13302/stat : 13302 (java) S 13300 13302 13069 0 -1 4202496 19111 0 1 0 425 5 0 0 20 0 19 0 291291073 9855979520 16168 33554432000 1073741824 1073778376 140737457769312 140737457760448 251056390205 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/13302/statm: 2406245 16168 2268 9 0 2396937 0 [pid=13302/tid=13303] ppid=13300 vsize=9624980 CPUtime=2.88 cores=1,3,5,7 /proc/13302/task/13303/stat : 13303 (java) R 13300 13302 13069 0 -1 4202560 2470 0 1 0 286 2 0 0 20 0 19 0 291291074 9855979520 16168 33554432000 1073741824 1073778376 140737457769312 139859656016160 139859520289397 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 [pid=13302/tid=13305] ppid=13300 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/13302/task/13305/stat : 13305 (java) S 13300 13302 13069 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 291291075 9855979520 16168 33554432000 1073741824 1073778376 140737457769312 139859645077800 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=13302/tid=13306] ppid=13300 vsize=9624980 CPUtime=0.01 cores=1,3,5,7 /proc/13302/task/13306/stat : 13306 (java) S 13300 13302 13069 0 -1 4202560 10 0 0 0 1 0 0 0 20 0 19 0 291291075 9855979520 16168 33554432000 1073741824 1073778376 140737457769312 139859644025000 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=13302/tid=13307] ppid=13300 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/13302/task/13307/stat : 13307 (java) S 13300 13302 13069 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291291075 9855979520 16168 33554432000 1073741824 1073778376 140737457769312 139859642972712 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=13302/tid=13308] ppid=13300 vsize=9624980 CPUtime=0.01 cores=1,3,5,7 /proc/13302/task/13308/stat : 13308 (java) S 13300 13302 13069 0 -1 4202560 12 0 0 0 1 0 0 0 20 0 19 0 291291075 9855979520 16168 33554432000 1073741824 1073778376 140737457769312 139859641919912 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=13302/tid=13309] ppid=13300 vsize=9624980 CPUtime=0.01 cores=1,3,5,7 /proc/13302/task/13309/stat : 13309 (java) S 13300 13302 13069 0 -1 4202560 4 0 0 0 1 0 0 0 20 0 19 0 291291075 9855979520 16168 33554432000 1073741824 1073778376 140737457769312 139859640867624 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=13302/tid=13310] ppid=13300 vsize=9624980 CPUtime=0.01 cores=1,3,5,7 /proc/13302/task/13310/stat : 13310 (java) S 13300 13302 13069 0 -1 4202560 8 0 0 0 1 0 0 0 20 0 19 0 291291075 9855979520 16168 33554432000 1073741824 1073778376 140737457769312 139859639814824 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=13302/tid=13311] ppid=13300 vsize=9624980 CPUtime=0.01 cores=1,3,5,7 /proc/13302/task/13311/stat : 13311 (java) S 13300 13302 13069 0 -1 4202560 5 0 0 0 1 0 0 0 20 0 19 0 291291075 9855979520 16168 33554432000 1073741824 1073778376 140737457769312 139859638762536 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=13302/tid=13312] ppid=13300 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/13302/task/13312/stat : 13312 (java) S 13300 13302 13069 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 291291075 9855979520 16168 33554432000 1073741824 1073778376 140737457769312 139859492289448 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=13302/tid=13313] ppid=13300 vsize=9624980 CPUtime=0.12 cores=1,3,5,7 /proc/13302/task/13313/stat : 13313 (java) S 13300 13302 13069 0 -1 4202560 39 0 0 0 12 0 0 0 20 0 19 0 291291076 9855979520 16168 33554432000 1073741824 1073778376 140737457769312 139859480090856 251056404393 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=13302/tid=13314] ppid=13300 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/13302/task/13314/stat : 13314 (java) S 13300 13302 13069 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 291291076 9855979520 16168 33554432000 1073741824 1073778376 140737457769312 139859479036920 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=13302/tid=13315] ppid=13300 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/13302/task/13315/stat : 13315 (java) S 13300 13302 13069 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291291076 9855979520 16168 33554432000 1073741824 1073778376 140737457769312 139859477984520 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=13302/tid=13316] ppid=13300 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/13302/task/13316/stat : 13316 (java) S 13300 13302 13069 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291291078 9855979520 16168 33554432000 1073741824 1073778376 140737457769312 139859476933008 251056412448 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=13302/tid=13317] ppid=13300 vsize=9624980 CPUtime=0.8 cores=1,3,5,7 /proc/13302/task/13317/stat : 13317 (java) S 13300 13302 13069 0 -1 4202560 12215 0 0 0 77 3 0 0 20 0 19 0 291291078 9855979520 16168 33554432000 1073741824 1073778376 140737457769312 139859475880632 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=13302/tid=13318] ppid=13300 vsize=9624980 CPUtime=0.28 cores=1,3,5,7 /proc/13302/task/13318/stat : 13318 (java) S 13300 13302 13069 0 -1 4202560 3150 0 0 0 28 0 0 0 20 0 19 0 291291078 9855979520 16168 33554432000 1073741824 1073778376 140737457769312 139859474827832 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=13302/tid=13319] ppid=13300 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/13302/task/13319/stat : 13319 (java) S 13300 13302 13069 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291291078 9855979520 16168 33554432000 1073741824 1073778376 140737457769312 139859473775736 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=13302/tid=13320] ppid=13300 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/13302/task/13320/stat : 13320 (java) S 13300 13302 13069 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291291078 9855979520 16168 33554432000 1073741824 1073778376 140737457769312 139859472723144 251056404393 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=13302/tid=13321] ppid=13300 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/13302/task/13321/stat : 13321 (java) S 13300 13302 13069 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291291089 9855979520 16168 33554432000 1073741824 1073778376 140737457769312 139859471668136 251056404393 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 4.3 Current children cumulated vsize (KiB) 9624980 [startup+6.30077 s] /proc/loadavg: 1.58 1.51 1.76 3/213 13321 /proc/meminfo: memFree=29530596/32873648 swapFree=7368/7368 [pid=13302] ppid=13300 vsize=9624980 CPUtime=7.81 cores=1,3,5,7 /proc/13302/stat : 13302 (java) S 13300 13302 13069 0 -1 4202496 19178 0 1 0 775 6 0 0 20 0 19 0 291291073 9855979520 15656 33554432000 1073741824 1073778376 140737457769312 140737457760448 251056390205 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/13302/statm: 2406245 15656 2268 9 0 2396937 0 [pid=13302/tid=13303] ppid=13300 vsize=9624980 CPUtime=5.91 cores=1,3,5,7 /proc/13302/task/13303/stat : 13303 (java) R 13300 13302 13069 0 -1 4202560 2485 0 1 0 589 2 0 0 20 0 19 0 291291074 9855979520 15656 33554432000 1073741824 1073778376 140737457769312 139859656016280 139859520289024 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 [pid=13302/tid=13305] ppid=13300 vsize=9624980 CPUtime=0.02 cores=1,3,5,7 /proc/13302/task/13305/stat : 13305 (java) S 13300 13302 13069 0 -1 4202560 10 0 0 0 2 0 0 0 20 0 19 0 291291075 9855979520 15656 33554432000 1073741824 1073778376 140737457769312 139859645077800 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=13302/tid=13306] ppid=13300 vsize=9624980 CPUtime=0.02 cores=1,3,5,7 /proc/13302/task/13306/stat : 13306 (java) S 13300 13302 13069 0 -1 4202560 10 0 0 0 2 0 0 0 20 0 19 0 291291075 9855979520 15656 33554432000 1073741824 1073778376 140737457769312 139859644025000 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=13302/tid=13307] ppid=13300 vsize=9624980 CPUtime=0.02 cores=1,3,5,7 /proc/13302/task/13307/stat : 13307 (java) S 13300 13302 13069 0 -1 4202560 2 0 0 0 2 0 0 0 20 0 19 0 291291075 9855979520 15656 33554432000 1073741824 1073778376 140737457769312 139859642972712 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=13302/tid=13308] ppid=13300 vsize=9624980 CPUtime=0.03 cores=1,3,5,7 /proc/13302/task/13308/stat : 13308 (java) S 13300 13302 13069 0 -1 4202560 12 0 0 0 3 0 0 0 20 0 19 0 291291075 9855979520 15656 33554432000 1073741824 1073778376 140737457769312 139859641919912 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=13302/tid=13309] ppid=13300 vsize=9624980 CPUtime=0.02 cores=1,3,5,7 /proc/13302/task/13309/stat : 13309 (java) S 13300 13302 13069 0 -1 4202560 4 0 0 0 2 0 0 0 20 0 19 0 291291075 9855979520 15656 33554432000 1073741824 1073778376 140737457769312 139859640867624 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=13302/tid=13310] ppid=13300 vsize=9624980 CPUtime=0.03 cores=1,3,5,7 /proc/13302/task/13310/stat : 13310 (java) S 13300 13302 13069 0 -1 4202560 8 0 0 0 3 0 0 0 20 0 19 0 291291075 9855979520 15656 33554432000 1073741824 1073778376 140737457769312 139859639814824 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=13302/tid=13311] ppid=13300 vsize=9624980 CPUtime=0.02 cores=1,3,5,7 /proc/13302/task/13311/stat : 13311 (java) S 13300 13302 13069 0 -1 4202560 5 0 0 0 2 0 0 0 20 0 19 0 291291075 9855979520 15656 33554432000 1073741824 1073778376 140737457769312 139859638762536 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=13302/tid=13312] ppid=13300 vsize=9624980 CPUtime=0.03 cores=1,3,5,7 /proc/13302/task/13312/stat : 13312 (java) S 13300 13302 13069 0 -1 4202560 7 0 0 0 3 0 0 0 20 0 19 0 291291075 9855979520 15656 33554432000 1073741824 1073778376 140737457769312 139859492289448 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=13302/tid=13313] ppid=13300 vsize=9624980 CPUtime=0.25 cores=1,3,5,7 /proc/13302/task/13313/stat : 13313 (java) S 13300 13302 13069 0 -1 4202560 46 0 0 0 25 0 0 0 20 0 19 0 291291076 9855979520 15656 33554432000 1073741824 1073778376 140737457769312 139859480090856 251056404393 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=13302/tid=13314] ppid=13300 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/13302/task/13314/stat : 13314 (java) S 13300 13302 13069 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 291291076 9855979520 15656 33554432000 1073741824 1073778376 140737457769312 139859479036920 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=13302/tid=13315] ppid=13300 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/13302/task/13315/stat : 13315 (java) S 13300 13302 13069 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291291076 9855979520 15656 33554432000 1073741824 1073778376 140737457769312 139859477984520 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=13302/tid=13316] ppid=13300 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/13302/task/13316/stat : 13316 (java) S 13300 13302 13069 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291291078 9855979520 15656 33554432000 1073741824 1073778376 140737457769312 139859476933008 251056412448 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=13302/tid=13317] ppid=13300 vsize=9624980 CPUtime=1.01 cores=1,3,5,7 /proc/13302/task/13317/stat : 13317 (java) R 13300 13302 13069 0 -1 4202560 12257 0 0 0 98 3 0 0 20 0 19 0 291291078 9855979520 15656 33554432000 1073741824 1073778376 140737457769312 139859475869248 139859662998085 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 [pid=13302/tid=13318] ppid=13300 vsize=9624980 CPUtime=0.29 cores=1,3,5,7 /proc/13302/task/13318/stat : 13318 (java) S 13300 13302 13069 0 -1 4202560 3150 0 0 0 29 0 0 0 20 0 19 0 291291078 9855979520 15656 33554432000 1073741824 1073778376 140737457769312 139859474827832 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 ################ # More data... # ################ /proc/13302/task/13305/stat : 13305 (java) S 13300 13302 13069 0 -1 4202560 16 0 0 0 18 0 0 0 20 0 19 0 291291075 9855979520 17254 33554432000 1073741824 1073778376 140737457769312 139859645077800 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=13302/tid=13306] ppid=13300 vsize=9624980 CPUtime=0.17 cores=1,3,5,7 /proc/13302/task/13306/stat : 13306 (java) S 13300 13302 13069 0 -1 4202560 31 0 0 0 17 0 0 0 20 0 19 0 291291075 9855979520 17254 33554432000 1073741824 1073778376 140737457769312 139859644025000 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=13302/tid=13307] ppid=13300 vsize=9624980 CPUtime=0.16 cores=1,3,5,7 /proc/13302/task/13307/stat : 13307 (java) S 13300 13302 13069 0 -1 4202560 9 0 0 0 16 0 0 0 20 0 19 0 291291075 9855979520 17254 33554432000 1073741824 1073778376 140737457769312 139859642972712 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=13302/tid=13308] ppid=13300 vsize=9624980 CPUtime=0.22 cores=1,3,5,7 /proc/13302/task/13308/stat : 13308 (java) S 13300 13302 13069 0 -1 4202560 21 0 0 0 22 0 0 0 20 0 19 0 291291075 9855979520 17254 33554432000 1073741824 1073778376 140737457769312 139859641919912 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=13302/tid=13309] ppid=13300 vsize=9624980 CPUtime=0.17 cores=1,3,5,7 /proc/13302/task/13309/stat : 13309 (java) S 13300 13302 13069 0 -1 4202560 8 0 0 0 17 0 0 0 20 0 19 0 291291075 9855979520 17254 33554432000 1073741824 1073778376 140737457769312 139859640867624 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=13302/tid=13310] ppid=13300 vsize=9624980 CPUtime=0.18 cores=1,3,5,7 /proc/13302/task/13310/stat : 13310 (java) S 13300 13302 13069 0 -1 4202560 18 0 0 0 18 0 0 0 20 0 19 0 291291075 9855979520 17254 33554432000 1073741824 1073778376 140737457769312 139859639814824 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=13302/tid=13311] ppid=13300 vsize=9624980 CPUtime=0.16 cores=1,3,5,7 /proc/13302/task/13311/stat : 13311 (java) S 13300 13302 13069 0 -1 4202560 8 0 0 0 16 0 0 0 20 0 19 0 291291075 9855979520 17254 33554432000 1073741824 1073778376 140737457769312 139859638762536 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=13302/tid=13312] ppid=13300 vsize=9624980 CPUtime=0.16 cores=1,3,5,7 /proc/13302/task/13312/stat : 13312 (java) S 13300 13302 13069 0 -1 4202560 11 0 0 0 16 0 0 0 20 0 19 0 291291075 9855979520 17254 33554432000 1073741824 1073778376 140737457769312 139859492289448 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=13302/tid=13313] ppid=13300 vsize=9624980 CPUtime=1.8 cores=1,3,5,7 /proc/13302/task/13313/stat : 13313 (java) S 13300 13302 13069 0 -1 4202560 50 0 0 0 178 2 0 0 20 0 19 0 291291076 9855979520 17254 33554432000 1073741824 1073778376 140737457769312 139859480090856 251056404393 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=13302/tid=13314] ppid=13300 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/13302/task/13314/stat : 13314 (java) S 13300 13302 13069 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 291291076 9855979520 17254 33554432000 1073741824 1073778376 140737457769312 139859479036920 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=13302/tid=13315] ppid=13300 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/13302/task/13315/stat : 13315 (java) S 13300 13302 13069 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291291076 9855979520 17254 33554432000 1073741824 1073778376 140737457769312 139859477984520 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=13302/tid=13316] ppid=13300 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/13302/task/13316/stat : 13316 (java) S 13300 13302 13069 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291291078 9855979520 17254 33554432000 1073741824 1073778376 140737457769312 139859476933008 251056412448 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=13302/tid=13317] ppid=13300 vsize=9624980 CPUtime=1.26 cores=1,3,5,7 /proc/13302/task/13317/stat : 13317 (java) S 13300 13302 13069 0 -1 4202560 13849 0 0 0 123 3 0 0 20 0 19 0 291291078 9855979520 17254 33554432000 1073741824 1073778376 140737457769312 139859475880632 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=13302/tid=13318] ppid=13300 vsize=9624980 CPUtime=0.3 cores=1,3,5,7 /proc/13302/task/13318/stat : 13318 (java) S 13300 13302 13069 0 -1 4202560 3150 0 0 0 30 0 0 0 20 0 19 0 291291078 9855979520 17254 33554432000 1073741824 1073778376 140737457769312 139859474827832 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=13302/tid=13319] ppid=13300 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/13302/task/13319/stat : 13319 (java) S 13300 13302 13069 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291291078 9855979520 17254 33554432000 1073741824 1073778376 140737457769312 139859473775736 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=13302/tid=13320] ppid=13300 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/13302/task/13320/stat : 13320 (java) S 13300 13302 13069 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 291291078 9855979520 17254 33554432000 1073741824 1073778376 140737457769312 139859472723144 251056404393 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=13302/tid=13321] ppid=13300 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/13302/task/13321/stat : 13321 (java) S 13300 13302 13069 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291291089 9855979520 17254 33554432000 1073741824 1073778376 140737457769312 139859471668136 251056404393 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 66.47 Current children cumulated vsize (KiB) 9624980 [startup+65.5007 s] /proc/loadavg: 1.91 1.61 1.78 3/213 13436 /proc/meminfo: memFree=29522204/32873648 swapFree=7368/7368 [pid=13302] ppid=13300 vsize=9624980 CPUtime=68.09 cores=1,3,5,7 /proc/13302/stat : 13302 (java) S 13300 13302 13069 0 -1 4202496 21017 0 1 0 6798 11 0 0 20 0 19 0 291291073 9855979520 17254 33554432000 1073741824 1073778376 140737457769312 140737457760448 251056390205 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/13302/statm: 2406245 17254 2270 9 0 2396937 0 [pid=13302/tid=13303] ppid=13300 vsize=9624980 CPUtime=63.1 cores=1,3,5,7 /proc/13302/task/13303/stat : 13303 (java) R 13300 13302 13069 0 -1 4202560 2658 0 1 0 6308 2 0 0 20 0 19 0 291291074 9855979520 17254 33554432000 1073741824 1073778376 140737457769312 139859656016280 139859520311208 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 [pid=13302/tid=13305] ppid=13300 vsize=9624980 CPUtime=0.18 cores=1,3,5,7 /proc/13302/task/13305/stat : 13305 (java) S 13300 13302 13069 0 -1 4202560 16 0 0 0 18 0 0 0 20 0 19 0 291291075 9855979520 17254 33554432000 1073741824 1073778376 140737457769312 139859645077800 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=13302/tid=13306] ppid=13300 vsize=9624980 CPUtime=0.18 cores=1,3,5,7 /proc/13302/task/13306/stat : 13306 (java) S 13300 13302 13069 0 -1 4202560 31 0 0 0 18 0 0 0 20 0 19 0 291291075 9855979520 17254 33554432000 1073741824 1073778376 140737457769312 139859644025000 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=13302/tid=13307] ppid=13300 vsize=9624980 CPUtime=0.16 cores=1,3,5,7 /proc/13302/task/13307/stat : 13307 (java) S 13300 13302 13069 0 -1 4202560 9 0 0 0 16 0 0 0 20 0 19 0 291291075 9855979520 17254 33554432000 1073741824 1073778376 140737457769312 139859642972712 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=13302/tid=13308] ppid=13300 vsize=9624980 CPUtime=0.22 cores=1,3,5,7 /proc/13302/task/13308/stat : 13308 (java) S 13300 13302 13069 0 -1 4202560 21 0 0 0 22 0 0 0 20 0 19 0 291291075 9855979520 17254 33554432000 1073741824 1073778376 140737457769312 139859641919912 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=13302/tid=13309] ppid=13300 vsize=9624980 CPUtime=0.17 cores=1,3,5,7 /proc/13302/task/13309/stat : 13309 (java) S 13300 13302 13069 0 -1 4202560 8 0 0 0 17 0 0 0 20 0 19 0 291291075 9855979520 17254 33554432000 1073741824 1073778376 140737457769312 139859640867624 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=13302/tid=13310] ppid=13300 vsize=9624980 CPUtime=0.18 cores=1,3,5,7 /proc/13302/task/13310/stat : 13310 (java) S 13300 13302 13069 0 -1 4202560 18 0 0 0 18 0 0 0 20 0 19 0 291291075 9855979520 17254 33554432000 1073741824 1073778376 140737457769312 139859639814824 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=13302/tid=13311] ppid=13300 vsize=9624980 CPUtime=0.17 cores=1,3,5,7 /proc/13302/task/13311/stat : 13311 (java) S 13300 13302 13069 0 -1 4202560 8 0 0 0 17 0 0 0 20 0 19 0 291291075 9855979520 17254 33554432000 1073741824 1073778376 140737457769312 139859638762536 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=13302/tid=13312] ppid=13300 vsize=9624980 CPUtime=0.16 cores=1,3,5,7 /proc/13302/task/13312/stat : 13312 (java) S 13300 13302 13069 0 -1 4202560 11 0 0 0 16 0 0 0 20 0 19 0 291291075 9855979520 17254 33554432000 1073741824 1073778376 140737457769312 139859492289448 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=13302/tid=13313] ppid=13300 vsize=9624980 CPUtime=1.85 cores=1,3,5,7 /proc/13302/task/13313/stat : 13313 (java) S 13300 13302 13069 0 -1 4202560 52 0 0 0 183 2 0 0 20 0 19 0 291291076 9855979520 17254 33554432000 1073741824 1073778376 140737457769312 139859480090856 251056404393 0 0 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=13302/tid=13314] ppid=13300 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/13302/task/13314/stat : 13314 (java) S 13300 13302 13069 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 291291076 9855979520 17254 33554432000 1073741824 1073778376 140737457769312 139859479036920 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=13302/tid=13315] ppid=13300 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/13302/task/13315/stat : 13315 (java) S 13300 13302 13069 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291291076 9855979520 17254 33554432000 1073741824 1073778376 140737457769312 139859477984520 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=13302/tid=13316] ppid=13300 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/13302/task/13316/stat : 13316 (java) S 13300 13302 13069 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291291078 9855979520 17254 33554432000 1073741824 1073778376 140737457769312 139859476933008 251056412448 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=13302/tid=13317] ppid=13300 vsize=9624980 CPUtime=1.26 cores=1,3,5,7 /proc/13302/task/13317/stat : 13317 (java) S 13300 13302 13069 0 -1 4202560 13849 0 0 0 123 3 0 0 20 0 19 0 291291078 9855979520 17254 33554432000 1073741824 1073778376 140737457769312 139859475880632 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=13302/tid=13318] ppid=13300 vsize=9624980 CPUtime=0.3 cores=1,3,5,7 /proc/13302/task/13318/stat : 13318 (java) S 13300 13302 13069 0 -1 4202560 3150 0 0 0 30 0 0 0 20 0 19 0 291291078 9855979520 17254 33554432000 1073741824 1073778376 140737457769312 139859474827832 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=13302/tid=13319] ppid=13300 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/13302/task/13319/stat : 13319 (java) S 13300 13302 13069 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291291078 9855979520 17254 33554432000 1073741824 1073778376 140737457769312 139859473775736 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=13302/tid=13320] ppid=13300 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/13302/task/13320/stat : 13320 (java) S 13300 13302 13069 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 291291078 9855979520 17254 33554432000 1073741824 1073778376 140737457769312 139859472723144 251056404393 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=13302/tid=13321] ppid=13300 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/13302/task/13321/stat : 13321 (java) S 13300 13302 13069 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291291089 9855979520 17254 33554432000 1073741824 1073778376 140737457769312 139859471668136 251056404393 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 68.09 Current children cumulated vsize (KiB) 9624980 [startup+65.9006 s] /proc/loadavg: 1.91 1.61 1.78 3/213 13436 /proc/meminfo: memFree=29522220/32873648 swapFree=7368/7368 [pid=13302] ppid=13300 vsize=9624980 CPUtime=68.5 cores=1,3,5,7 /proc/13302/stat : 13302 (java) S 13300 13302 13069 0 -1 4202496 21019 0 1 0 6839 11 0 0 20 0 19 0 291291073 9855979520 17254 33554432000 1073741824 1073778376 140737457769312 140737457760448 251056390205 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/13302/statm: 2406245 17254 2270 9 0 2396937 0 [pid=13302/tid=13303] ppid=13300 vsize=9624980 CPUtime=63.48 cores=1,3,5,7 /proc/13302/task/13303/stat : 13303 (java) R 13300 13302 13069 0 -1 4202560 2660 0 1 0 6346 2 0 0 20 0 19 0 291291074 9855979520 17254 33554432000 1073741824 1073778376 140737457769312 139859656016280 139859520289071 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 [pid=13302/tid=13305] ppid=13300 vsize=9624980 CPUtime=0.18 cores=1,3,5,7 /proc/13302/task/13305/stat : 13305 (java) S 13300 13302 13069 0 -1 4202560 16 0 0 0 18 0 0 0 20 0 19 0 291291075 9855979520 17254 33554432000 1073741824 1073778376 140737457769312 139859645077800 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=13302/tid=13306] ppid=13300 vsize=9624980 CPUtime=0.18 cores=1,3,5,7 /proc/13302/task/13306/stat : 13306 (java) S 13300 13302 13069 0 -1 4202560 31 0 0 0 18 0 0 0 20 0 19 0 291291075 9855979520 17254 33554432000 1073741824 1073778376 140737457769312 139859644025000 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=13302/tid=13307] ppid=13300 vsize=9624980 CPUtime=0.16 cores=1,3,5,7 /proc/13302/task/13307/stat : 13307 (java) S 13300 13302 13069 0 -1 4202560 9 0 0 0 16 0 0 0 20 0 19 0 291291075 9855979520 17254 33554432000 1073741824 1073778376 140737457769312 139859642972712 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=13302/tid=13308] ppid=13300 vsize=9624980 CPUtime=0.22 cores=1,3,5,7 /proc/13302/task/13308/stat : 13308 (java) S 13300 13302 13069 0 -1 4202560 21 0 0 0 22 0 0 0 20 0 19 0 291291075 9855979520 17254 33554432000 1073741824 1073778376 140737457769312 139859641919912 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=13302/tid=13309] ppid=13300 vsize=9624980 CPUtime=0.17 cores=1,3,5,7 /proc/13302/task/13309/stat : 13309 (java) S 13300 13302 13069 0 -1 4202560 8 0 0 0 17 0 0 0 20 0 19 0 291291075 9855979520 17254 33554432000 1073741824 1073778376 140737457769312 139859640867624 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=13302/tid=13310] ppid=13300 vsize=9624980 CPUtime=0.18 cores=1,3,5,7 /proc/13302/task/13310/stat : 13310 (java) S 13300 13302 13069 0 -1 4202560 18 0 0 0 18 0 0 0 20 0 19 0 291291075 9855979520 17254 33554432000 1073741824 1073778376 140737457769312 139859639814824 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=13302/tid=13311] ppid=13300 vsize=9624980 CPUtime=0.17 cores=1,3,5,7 /proc/13302/task/13311/stat : 13311 (java) S 13300 13302 13069 0 -1 4202560 8 0 0 0 17 0 0 0 20 0 19 0 291291075 9855979520 17254 33554432000 1073741824 1073778376 140737457769312 139859638762536 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=13302/tid=13312] ppid=13300 vsize=9624980 CPUtime=0.16 cores=1,3,5,7 /proc/13302/task/13312/stat : 13312 (java) S 13300 13302 13069 0 -1 4202560 11 0 0 0 16 0 0 0 20 0 19 0 291291075 9855979520 17254 33554432000 1073741824 1073778376 140737457769312 139859492289448 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=13302/tid=13313] ppid=13300 vsize=9624980 CPUtime=1.87 cores=1,3,5,7 /proc/13302/task/13313/stat : 13313 (java) S 13300 13302 13069 0 -1 4202560 52 0 0 0 185 2 0 0 20 0 19 0 291291076 9855979520 17254 33554432000 1073741824 1073778376 140737457769312 139859480090856 251056404393 0 0 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=13302/tid=13314] ppid=13300 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/13302/task/13314/stat : 13314 (java) S 13300 13302 13069 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 291291076 9855979520 17254 33554432000 1073741824 1073778376 140737457769312 139859479036920 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=13302/tid=13315] ppid=13300 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/13302/task/13315/stat : 13315 (java) S 13300 13302 13069 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291291076 9855979520 17254 33554432000 1073741824 1073778376 140737457769312 139859477984520 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=13302/tid=13316] ppid=13300 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/13302/task/13316/stat : 13316 (java) S 13300 13302 13069 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291291078 9855979520 17254 33554432000 1073741824 1073778376 140737457769312 139859476933008 251056412448 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=13302/tid=13317] ppid=13300 vsize=9624980 CPUtime=1.26 cores=1,3,5,7 /proc/13302/task/13317/stat : 13317 (java) S 13300 13302 13069 0 -1 4202560 13849 0 0 0 123 3 0 0 20 0 19 0 291291078 9855979520 17254 33554432000 1073741824 1073778376 140737457769312 139859475880632 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=13302/tid=13318] ppid=13300 vsize=9624980 CPUtime=0.3 cores=1,3,5,7 /proc/13302/task/13318/stat : 13318 (java) S 13300 13302 13069 0 -1 4202560 3150 0 0 0 30 0 0 0 20 0 19 0 291291078 9855979520 17254 33554432000 1073741824 1073778376 140737457769312 139859474827832 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=13302/tid=13319] ppid=13300 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/13302/task/13319/stat : 13319 (java) S 13300 13302 13069 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291291078 9855979520 17254 33554432000 1073741824 1073778376 140737457769312 139859473775736 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=13302/tid=13320] ppid=13300 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/13302/task/13320/stat : 13320 (java) S 13300 13302 13069 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 291291078 9855979520 17254 33554432000 1073741824 1073778376 140737457769312 139859472723144 251056404393 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=13302/tid=13321] ppid=13300 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/13302/task/13321/stat : 13321 (java) S 13300 13302 13069 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291291089 9855979520 17254 33554432000 1073741824 1073778376 140737457769312 139859471668136 251056404393 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 68.5 Current children cumulated vsize (KiB) 9624980 [startup+66.1006 s] /proc/loadavg: 1.91 1.61 1.78 3/213 13436 /proc/meminfo: memFree=29522220/32873648 swapFree=7368/7368 [pid=13302] ppid=13300 vsize=9624980 CPUtime=68.7 cores=1,3,5,7 /proc/13302/stat : 13302 (java) S 13300 13302 13069 0 -1 4202496 21019 0 1 0 6859 11 0 0 20 0 19 0 291291073 9855979520 17254 33554432000 1073741824 1073778376 140737457769312 140737457760448 251056390205 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/13302/statm: 2406245 17254 2270 9 0 2396937 0 [pid=13302/tid=13303] ppid=13300 vsize=9624980 CPUtime=63.67 cores=1,3,5,7 /proc/13302/task/13303/stat : 13303 (java) S 13300 13302 13069 0 -1 4202560 2660 0 1 0 6365 2 0 0 20 0 19 0 291291074 9855979520 17254 33554432000 1073741824 1073778376 140737457769312 139859656016280 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=13302/tid=13305] ppid=13300 vsize=9624980 CPUtime=0.18 cores=1,3,5,7 /proc/13302/task/13305/stat : 13305 (java) S 13300 13302 13069 0 -1 4202560 16 0 0 0 18 0 0 0 20 0 19 0 291291075 9855979520 17254 33554432000 1073741824 1073778376 140737457769312 139859645077800 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=13302/tid=13306] ppid=13300 vsize=9624980 CPUtime=0.18 cores=1,3,5,7 /proc/13302/task/13306/stat : 13306 (java) S 13300 13302 13069 0 -1 4202560 31 0 0 0 18 0 0 0 20 0 19 0 291291075 9855979520 17254 33554432000 1073741824 1073778376 140737457769312 139859644025000 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=13302/tid=13307] ppid=13300 vsize=9624980 CPUtime=0.16 cores=1,3,5,7 /proc/13302/task/13307/stat : 13307 (java) S 13300 13302 13069 0 -1 4202560 9 0 0 0 16 0 0 0 20 0 19 0 291291075 9855979520 17254 33554432000 1073741824 1073778376 140737457769312 139859642972712 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=13302/tid=13308] ppid=13300 vsize=9624980 CPUtime=0.22 cores=1,3,5,7 /proc/13302/task/13308/stat : 13308 (java) S 13300 13302 13069 0 -1 4202560 21 0 0 0 22 0 0 0 20 0 19 0 291291075 9855979520 17254 33554432000 1073741824 1073778376 140737457769312 139859641919912 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=13302/tid=13309] ppid=13300 vsize=9624980 CPUtime=0.17 cores=1,3,5,7 /proc/13302/task/13309/stat : 13309 (java) S 13300 13302 13069 0 -1 4202560 8 0 0 0 17 0 0 0 20 0 19 0 291291075 9855979520 17254 33554432000 1073741824 1073778376 140737457769312 139859640867624 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=13302/tid=13310] ppid=13300 vsize=9624980 CPUtime=0.18 cores=1,3,5,7 /proc/13302/task/13310/stat : 13310 (java) S 13300 13302 13069 0 -1 4202560 18 0 0 0 18 0 0 0 20 0 19 0 291291075 9855979520 17254 33554432000 1073741824 1073778376 140737457769312 139859639814824 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=13302/tid=13311] ppid=13300 vsize=9624980 CPUtime=0.17 cores=1,3,5,7 /proc/13302/task/13311/stat : 13311 (java) S 13300 13302 13069 0 -1 4202560 8 0 0 0 17 0 0 0 20 0 19 0 291291075 9855979520 17254 33554432000 1073741824 1073778376 140737457769312 139859638762536 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=13302/tid=13312] ppid=13300 vsize=9624980 CPUtime=0.16 cores=1,3,5,7 /proc/13302/task/13312/stat : 13312 (java) S 13300 13302 13069 0 -1 4202560 11 0 0 0 16 0 0 0 20 0 19 0 291291075 9855979520 17254 33554432000 1073741824 1073778376 140737457769312 139859492289448 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=13302/tid=13313] ppid=13300 vsize=9624980 CPUtime=1.87 cores=1,3,5,7 /proc/13302/task/13313/stat : 13313 (java) R 13300 13302 13069 0 -1 4202560 52 0 0 0 185 2 0 0 20 0 19 0 291291076 9855979520 17254 33554432000 1073741824 1073778376 140737457769312 139859480089712 139859660153317 0 0 0 16800975 0 0 0 -1 7 0 0 0 0 0 [pid=13302/tid=13314] ppid=13300 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/13302/task/13314/stat : 13314 (java) S 13300 13302 13069 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 291291076 9855979520 17254 33554432000 1073741824 1073778376 140737457769312 139859479036920 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=13302/tid=13315] ppid=13300 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/13302/task/13315/stat : 13315 (java) S 13300 13302 13069 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291291076 9855979520 17254 33554432000 1073741824 1073778376 140737457769312 139859477984520 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=13302/tid=13316] ppid=13300 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/13302/task/13316/stat : 13316 (java) S 13300 13302 13069 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291291078 9855979520 17254 33554432000 1073741824 1073778376 140737457769312 139859476933008 251056412448 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=13302/tid=13317] ppid=13300 vsize=9624980 CPUtime=1.26 cores=1,3,5,7 /proc/13302/task/13317/stat : 13317 (java) S 13300 13302 13069 0 -1 4202560 13849 0 0 0 123 3 0 0 20 0 19 0 291291078 9855979520 17254 33554432000 1073741824 1073778376 140737457769312 139859475880632 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=13302/tid=13318] ppid=13300 vsize=9624980 CPUtime=0.3 cores=1,3,5,7 /proc/13302/task/13318/stat : 13318 (java) S 13300 13302 13069 0 -1 4202560 3150 0 0 0 30 0 0 0 20 0 19 0 291291078 9855979520 17254 33554432000 1073741824 1073778376 140737457769312 139859474827832 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=13302/tid=13319] ppid=13300 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/13302/task/13319/stat : 13319 (java) S 13300 13302 13069 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291291078 9855979520 17254 33554432000 1073741824 1073778376 140737457769312 139859473775736 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=13302/tid=13320] ppid=13300 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/13302/task/13320/stat : 13320 (java) S 13300 13302 13069 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 291291078 9855979520 17254 33554432000 1073741824 1073778376 140737457769312 139859472723144 251056404393 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=13302/tid=13321] ppid=13300 vsize=9624980 CPUtime=0 cores=1,3,5,7 /proc/13302/task/13321/stat : 13321 (java) S 13300 13302 13069 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291291089 9855979520 17254 33554432000 1073741824 1073778376 140737457769312 139859471668136 251056404393 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 68.7 Current children cumulated vsize (KiB) 9624980 Child status: 30 Real time (s): 66.1352 CPU time (s): 68.8145 CPU user time (s): 68.6106 CPU system time (s): 0.203968 CPU usage (%): 104.051 Max. virtual memory (cumulated for all children) (KiB): 9624980 getrusage(RUSAGE_CHILDREN,...) data: user time used= 68.6106 system time used= 0.203968 maximum resident set size= 69072 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 21038 page faults= 1 swaps= 0 block input operations= 0 block output operations= 128 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 7198 involuntary context switches= 6581 runsolver used 0.251961 second user time and 0.515921 second system time The end
Begin job on node149 at 2012-05-29 02:34:30 IDJOB=3718131 IDBENCH=78812 IDSOLVER=2301 FILE ID=node149/3718131-1338251670 RUNJOBID= node149-1338251638-13086 PBS_JOBID= 14624666 Free space on /tmp= 71700 MiB SOLVER NAME= Sat4j PB 2012-05-28 BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1111220767--soft-66-100-0.wbo COMMAND LINE= java -jar HOME/sat4j-pb.jar BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3718131-1338251670/watcher-3718131-1338251670 -o /tmp/evaluation-result-3718131-1338251670/solver-3718131-1338251670 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar HOME/instance-3718131-1338251670.wbo TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 0e6c262e00c2bafdec71b4c92c644f07 RANDOM SEED=847323519 node149.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.145 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.29 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.145 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.145 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 : 5438.55 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.145 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.145 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.145 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 : 5438.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.145 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.145 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32873648 kB MemFree: 29601480 kB Buffers: 641124 kB Cached: 1748156 kB SwapCached: 2476 kB Active: 1143968 kB Inactive: 1285024 kB Active(anon): 22868 kB Inactive(anon): 9368 kB Active(file): 1121100 kB Inactive(file): 1275656 kB Unevictable: 7368 kB Mlocked: 7368 kB SwapTotal: 67108856 kB SwapFree: 67104884 kB Dirty: 1072 kB Writeback: 0 kB AnonPages: 39276 kB Mapped: 22288 kB Shmem: 96 kB Slab: 702276 kB SReclaimable: 144852 kB SUnreclaim: 557424 kB KernelStack: 1568 kB PageTables: 4392 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545680 kB Committed_AS: 694284 kB VmallocTotal: 34359738367 kB VmallocUsed: 346400 kB VmallocChunk: 34341988052 kB HardwareCorrupted: 0 kB AnonHugePages: 10240 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7680 kB DirectMap2M: 33538048 kB Free space on /tmp at the end= 71696 MiB End job on node149 at 2012-05-29 02:35:36