Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| Sat4j PB 2.3.6 Res+CP PB16 | SAT (TO) | 246 | 1800.82 | 922.251 |
| Name | PB15eval/normalized-PB15eval/OPT-SMALLINT-NLC/ minlplib2-pb-0.1.0/opb/normalized-edgecross22-048.opb |
| MD5SUM | 1e8fbdc9e198767bda88c0ca10041dfe |
| Bench Category | OPT-SMALLINT-NLC (optimisation, small integers, non linear constraints) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 246 |
| Best CPU time to get the best result obtained on this benchmark | 1800.82 |
| Has Objective Function | YES |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 463 |
| Total number of constraints | 6161 |
| Number of constraints which are clauses | 6160 |
| Number of constraints which are cardinality constraints (but not clauses) | 1 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 3 |
| Number of terms in the objective function | 1358 |
| Biggest coefficient in the objective function | 549 |
| Number of bits for the biggest coefficient in the objective function | 10 |
| Sum of the numbers in the objective function | 3575 |
| Number of bits of the sum of numbers in the objective function | 12 |
| Biggest number in a constraint | 549 |
| Number of bits of the biggest number in a constraint | 10 |
| Biggest sum of numbers in a constraint | 3575 |
| Number of bits of the biggest sum of numbers | 12 |
| Number of products (including duplicates) | 1020 |
| Sum of products size (including duplicates) | 2040 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.07 c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS 0.00/0.07 c This is free software under the dual EPL/GNU LGPL licenses. 0.00/0.07 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-4119257-1467251532.opb 0.10/0.11 c reading problem ... 0.10/0.11 c objective function found 0.74/0.43 c ... done. Wall clock time 0.328s. 0.74/0.43 c declared #vars 463 0.74/0.43 c internal #vars 1483 0.74/0.43 c #constraints 8202 0.74/0.44 c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<< 0.74/0.44 c constraints type 0.74/0.44 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 7180 0.74/0.44 c org.sat4j.specs.Constr$1 => 1 0.74/0.44 c org.sat4j.minisat.constraints.cnf.UnitClause => 1 0.74/0.44 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 1020 0.74/0.44 c 8202 constraints processed. 0.74/0.44 c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<< 0.74/0.44 c constraints type 0.74/0.44 c org.sat4j.specs.Constr$1 => 1 0.74/0.44 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 7180 0.74/0.44 c org.sat4j.pb.constraints.pb.UnitClausePB => 1 0.74/0.44 c org.sat4j.pb.constraints.pb.MaxWatchPb => 1020 0.74/0.44 c 8202 constraints processed. 0.74/0.44 c objective function length is 1358 literals 0.74/0.47 c And the winner is solver0 1.19/0.94 c SATISFIABLE 1.19/0.94 c OPTIMIZING... 1.19/0.94 c Got one! Elapsed wall clock time (in seconds):0.834 1.19/0.94 o 442 1.19/0.98 c And the winner is solver0 1.89/1.45 c Got one! Elapsed wall clock time (in seconds):1.346 1.89/1.45 o 437 1.89/1.47 c And the winner is solver0 1.94/1.97 c Got one! Elapsed wall clock time (in seconds):1.859 1.94/1.97 o 436 2.06/2.02 c And the winner is solver0 2.37/2.47 c Got one! Elapsed wall clock time (in seconds):2.364 2.37/2.47 o 435 2.37/2.48 c And the winner is solver0 2.42/2.97 c Got one! Elapsed wall clock time (in seconds):2.868 2.42/2.97 o 424 2.42/2.98 c And the winner is solver0 2.44/3.48 c Got one! Elapsed wall clock time (in seconds):3.372 2.44/3.48 o 419 2.44/3.48 c And the winner is solver0 2.47/3.98 c Got one! Elapsed wall clock time (in seconds):3.875 2.47/3.98 o 418 2.47/3.99 c And the winner is solver0 2.53/4.48 c Got one! Elapsed wall clock time (in seconds):4.379 2.53/4.48 o 417 2.53/4.49 c And the winner is solver0 2.56/4.99 c Got one! Elapsed wall clock time (in seconds):4.882 2.56/4.99 o 416 2.58/5.02 c And the winner is solver0 2.65/5.49 c Got one! Elapsed wall clock time (in seconds):5.385 2.65/5.49 o 415 2.71/5.51 c And the winner is solver0 2.87/5.99 c Got one! Elapsed wall clock time (in seconds):5.888 2.87/5.99 o 414 2.87/6.08 c And the winner is solver0 3.19/6.50 c Got one! Elapsed wall clock time (in seconds):6.39 3.19/6.50 o 413 3.19/6.53 c And the winner is solver0 3.33/7.00 c Got one! Elapsed wall clock time (in seconds):6.893 3.33/7.00 o 412 3.33/7.02 c And the winner is solver0 3.39/7.50 c Got one! Elapsed wall clock time (in seconds):7.395 3.39/7.50 o 411 3.59/7.61 c And the winner is solver0 3.63/8.00 c Got one! Elapsed wall clock time (in seconds):7.898 3.63/8.00 o 410 3.63/8.02 c And the winner is solver0 3.68/8.51 c Got one! Elapsed wall clock time (in seconds):8.4 3.68/8.51 o 409 3.68/8.54 c And the winner is solver0 3.77/9.01 c Got one! Elapsed wall clock time (in seconds):8.902 3.77/9.01 o 408 3.77/9.02 c And the winner is solver0 3.80/9.51 c Got one! Elapsed wall clock time (in seconds):9.404 3.80/9.51 o 407 3.80/9.59 c And the winner is solver0 4.08/10.01 c Got one! Elapsed wall clock time (in seconds):9.906 4.08/10.01 o 405 4.25/10.18 c And the winner is solver0 4.44/10.51 c Got one! Elapsed wall clock time (in seconds):10.408 4.44/10.51 o 403 4.44/10.57 c And the winner is solver0 4.56/11.02 c Got one! Elapsed wall clock time (in seconds):10.91 4.56/11.02 o 402 4.73/11.11 c And the winner is solver0 4.77/11.52 c Got one! Elapsed wall clock time (in seconds):11.413 4.77/11.52 o 401 4.77/11.55 c And the winner is solver0 4.87/12.02 c Got one! Elapsed wall clock time (in seconds):11.915 4.87/12.02 o 400 4.87/12.03 c And the winner is solver0 4.88/12.52 c Got one! Elapsed wall clock time (in seconds):12.417 4.88/12.52 o 399 4.88/12.53 c And the winner is solver0 4.88/13.02 c Got one! Elapsed wall clock time (in seconds):12.919 4.88/13.02 o 398 4.88/13.03 c And the winner is solver0 4.88/13.53 c Got one! Elapsed wall clock time (in seconds):13.421 4.88/13.53 o 397 4.88/13.53 c And the winner is solver0 4.89/14.03 c Got one! Elapsed wall clock time (in seconds):13.923 4.89/14.03 o 396 4.89/14.04 c And the winner is solver0 4.90/14.53 c Got one! Elapsed wall clock time (in seconds):14.425 4.90/14.53 o 395 5.06/14.65 c And the winner is solver0 5.19/15.03 c Got one! Elapsed wall clock time (in seconds):14.927 5.19/15.03 o 394 5.94/15.50 c And the winner is solver0 6.16/15.54 c Got one! Elapsed wall clock time (in seconds):15.43 6.16/15.54 o 393 6.16/15.55 c And the winner is solver0 6.21/16.04 c Got one! Elapsed wall clock time (in seconds):15.932 6.21/16.04 o 392 6.21/16.05 c And the winner is solver0 6.23/16.54 c Got one! Elapsed wall clock time (in seconds):16.434 6.23/16.54 o 391 6.23/16.55 c And the winner is solver0 6.25/17.04 c Got one! Elapsed wall clock time (in seconds):16.936 6.25/17.04 o 390 6.34/17.18 c And the winner is solver0 6.53/17.54 c Got one! Elapsed wall clock time (in seconds):17.438 6.53/17.54 o 389 7.29/17.98 c cleaning 5313 clauses out of 10633 with flag 4210/10633 7.96/18.20 c And the winner is solver0 7.99/18.55 c Got one! Elapsed wall clock time (in seconds):18.441 7.99/18.55 o 388 8.09/18.61 c And the winner is solver0 8.14/19.05 c Got one! Elapsed wall clock time (in seconds):18.943 8.14/19.05 o 387 9.24/19.61 c And the winner is solver0 9.30/20.05 c Got one! Elapsed wall clock time (in seconds):19.945 9.30/20.05 o 386 9.64/20.27 c cleaning 5637 clauses out of 11279 with flag 2015/16592 11.46/21.16 c And the winner is solver0 11.64/21.55 c Got one! Elapsed wall clock time (in seconds):21.448 11.64/21.55 o 385 12.12/21.83 c And the winner is solver0 12.37/22.06 c Got one! Elapsed wall clock time (in seconds):21.95 12.37/22.06 o 384 13.96/22.84 c cleaning 8360 clauses out of 16720 with flag 8268/27670 14.23/22.94 c And the winner is solver0 14.35/23.06 c Got one! Elapsed wall clock time (in seconds):22.953 14.35/23.06 o 383 14.43/23.18 c And the winner is solver0 14.82/23.56 c Got one! Elapsed wall clock time (in seconds):23.455 14.82/23.56 o 382 16.49/24.43 c cleaning 7309 clauses out of 14623 with flag 10050/33933 16.69/24.59 c And the winner is solver0 16.92/25.06 c Got one! Elapsed wall clock time (in seconds):24.958 16.92/25.06 o 381 18.22/25.75 c cleaning 6170 clauses out of 12348 with flag 8117/38967 18.82/26.00 c And the winner is solver0 18.82/26.07 c Got one! Elapsed wall clock time (in seconds):25.961 18.82/26.07 o 380 18.82/26.08 c And the winner is solver0 18.88/26.57 c Got one! Elapsed wall clock time (in seconds):26.463 18.88/26.57 o 378 19.23/26.72 c And the winner is solver0 19.33/27.07 c Got one! Elapsed wall clock time (in seconds):26.966 19.33/27.07 o 377 19.33/27.08 c And the winner is solver0 19.33/27.58 c Got one! Elapsed wall clock time (in seconds):27.469 19.33/27.58 o 376 19.33/27.58 c And the winner is solver0 19.34/28.08 c Got one! Elapsed wall clock time (in seconds):27.971 19.34/28.08 o 375 19.34/28.08 c And the winner is solver0 19.34/28.58 c Got one! Elapsed wall clock time (in seconds):28.474 19.34/28.58 o 374 20.56/29.26 c cleaning 6189 clauses out of 12394 with flag 8127/45183 20.96/29.45 c And the winner is solver0 21.13/29.58 c Got one! Elapsed wall clock time (in seconds):29.477 21.13/29.58 o 373 22.35/30.25 c cleaning 5683 clauses out of 11392 with flag 8162/50370 23.69/30.89 c And the winner is solver0 23.93/31.08 c Got one! Elapsed wall clock time (in seconds):30.979 23.93/31.08 o 372 23.94/31.16 c And the winner is solver0 24.14/31.59 c Got one! Elapsed wall clock time (in seconds):31.482 24.14/31.59 o 371 24.77/31.95 c cleaning 5831 clauses out of 11680 with flag 4064/56341 26.75/32.94 c cleaning 5920 clauses out of 11850 with flag 16197/62342 28.96/34.06 c cleaning 6453 clauses out of 12928 with flag 30373/69340 31.58/35.37 c cleaning 7232 clauses out of 14475 with flag 46592/77340 35.13/37.01 c cleaning 8118 clauses out of 16245 with flag 64798/86342 38.35/38.65 c cleaning 9059 clauses out of 18127 with flag 85090/96342 42.52/40.63 c cleaning 10027 clauses out of 20066 with flag 107335/107340 46.73/42.76 c cleaning 11014 clauses out of 22042 with flag 131636/119343 51.93/45.21 c cleaning 12008 clauses out of 24025 with flag 158301/132340 56.71/47.63 c cleaning 13002 clauses out of 26017 with flag 186711/146340 57.89/48.30 c And the winner is solver0 58.08/48.72 c Got one! Elapsed wall clock time (in seconds):48.618 58.08/48.72 o 370 59.63/49.53 c cleaning 9421 clauses out of 18857 with flag 10056/152182 59.63/49.58 c And the winner is solver0 59.91/49.78 c Got one! Elapsed wall clock time (in seconds):49.671 59.91/49.78 o 369 59.91/49.79 c And the winner is solver0 60.00/50.28 c Got one! Elapsed wall clock time (in seconds):50.174 60.00/50.28 o 368 60.00/50.28 c And the winner is solver0 60.00/50.78 c Got one! Elapsed wall clock time (in seconds):50.678 60.00/50.78 o 367 60.43/51.03 c And the winner is solver0 60.65/51.29 c Got one! Elapsed wall clock time (in seconds):51.181 60.65/51.29 o 366 61.86/51.93 c cleaning 7692 clauses out of 15402 with flag 8203/158148 62.06/52.07 c And the winner is solver0 62.34/52.29 c Got one! Elapsed wall clock time (in seconds):52.184 62.34/52.29 o 365 62.38/52.32 c And the winner is solver0 62.45/52.79 c Got one! Elapsed wall clock time (in seconds):52.688 62.45/52.79 o 364 64.05/53.60 c cleaning 6899 clauses out of 13810 with flag 10187/164248 65.85/54.52 c cleaning 6449 clauses out of 12912 with flag 22408/170249 68.05/55.61 c cleaning 6718 clauses out of 13462 with flag 36640/177248 70.45/56.88 c cleaning 7368 clauses out of 14747 with flag 52867/185251 73.54/58.37 c cleaning 8178 clauses out of 16377 with flag 71109/194249 76.73/59.99 c cleaning 9087 clauses out of 18198 with flag 91315/204248 80.34/61.79 c cleaning 10044 clauses out of 20111 with flag 113509/215248 84.54/63.87 c cleaning 11028 clauses out of 22067 with flag 137805/227248 89.48/66.25 c cleaning 12013 clauses out of 24039 with flag 164118/240248 94.28/68.68 c cleaning 13003 clauses out of 26026 with flag 192227/254248 99.68/71.31 c cleaning 13995 clauses out of 28024 with flag 222451/269249 105.90/74.38 c cleaning 15006 clauses out of 30031 with flag 255046/285251 112.29/77.57 c cleaning 16004 clauses out of 32022 with flag 290021/302248 119.29/81.02 c cleaning 17005 clauses out of 34019 with flag 326917/320249 127.68/85.42 c cleaning 17997 clauses out of 36014 with flag 365548/339249 135.30/89.26 c cleaning 18999 clauses out of 38016 with flag 406228/359248 143.89/93.53 c cleaning 20001 clauses out of 40017 with flag 449185/380248 153.25/98.17 c cleaning 21003 clauses out of 42017 with flag 493854/402249 162.45/102.80 c cleaning 21998 clauses out of 44013 with flag 540746/425248 173.15/107.95 c cleaning 22995 clauses out of 46016 with flag 589919/449249 184.21/113.39 c cleaning 23998 clauses out of 48020 with flag 641677/474248 187.99/115.23 c And the winner is solver1 188.08/115.69 c Got one! Elapsed wall clock time (in seconds):115.585 188.08/115.69 o 363 191.08/117.19 c cleaning 19384 clauses out of 38781 with flag 11375/489007 193.68/118.49 c cleaning 12698 clauses out of 25396 with flag 24919/495006 195.48/119.33 c And the winner is solver0 195.92/119.73 c Got one! Elapsed wall clock time (in seconds):119.624 195.92/119.73 o 362 196.30/119.96 c cleaning 8945 clauses out of 17900 with flag 2541/500208 198.70/121.17 c cleaning 7471 clauses out of 14954 with flag 16871/506207 201.48/122.55 c cleaning 7237 clauses out of 14483 with flag 34071/513207 204.88/124.26 c cleaning 7620 clauses out of 15249 with flag 54465/521210 208.08/125.88 c cleaning 8314 clauses out of 16628 with flag 85989/530209 211.70/127.69 c cleaning 9157 clauses out of 18313 with flag 120250/540208 212.88/128.23 c And the winner is solver1 212.88/128.24 c Got one! Elapsed wall clock time (in seconds):128.132 212.88/128.24 o 246 214.39/128.94 c cleaning 7564 clauses out of 15133 with flag 8938/546185 216.78/130.14 c cleaning 6781 clauses out of 13569 with flag 29621/552185 219.59/131.53 c cleaning 6897 clauses out of 13793 with flag 59382/559190 222.59/133.10 c cleaning 7444 clauses out of 14893 with flag 94994/567187 226.39/134.93 c cleaning 8224 clauses out of 16447 with flag 139658/576185 230.57/136.99 c cleaning 9112 clauses out of 18223 with flag 188851/586185 234.96/139.10 c cleaning 10057 clauses out of 20113 with flag 238901/597187 239.36/141.36 c cleaning 11027 clauses out of 22055 with flag 297332/609186 244.36/143.85 c cleaning 12014 clauses out of 24027 with flag 362169/622185 250.17/146.69 c cleaning 13007 clauses out of 26014 with flag 426310/636186 255.96/149.57 c cleaning 13997 clauses out of 28006 with flag 496496/651185 263.00/152.93 c cleaning 14998 clauses out of 30013 with flag 560755/667189 269.80/156.36 c cleaning 16007 clauses out of 32015 with flag 638843/684189 277.39/160.12 c cleaning 17002 clauses out of 34004 with flag 717237/702185 287.16/165.58 c cleaning 17998 clauses out of 36002 with flag 807407/721185 295.56/169.75 c cleaning 18999 clauses out of 38006 with flag 898997/741187 304.83/174.33 c cleaning 19998 clauses out of 40005 with flag 1006643/762185 313.62/178.71 c cleaning 20995 clauses out of 42008 with flag 1117827/784186 322.62/183.26 c cleaning 22005 clauses out of 44013 with flag 1219025/807186 333.37/188.58 c cleaning 23002 clauses out of 46007 with flag 1338138/831185 344.37/194.09 c cleaning 23997 clauses out of 48005 with flag 1462532/856185 355.37/199.58 c cleaning 25001 clauses out of 50008 with flag 1583947/882185 367.37/205.51 c cleaning 26005 clauses out of 52011 with flag 1716030/909189 379.37/211.59 c cleaning 26998 clauses out of 54002 with flag 1854171/937185 391.98/217.85 c cleaning 28001 clauses out of 56008 with flag 1992727/966189 405.76/224.70 c cleaning 29000 clauses out of 58006 with flag 2129800/996188 419.76/231.73 c cleaning 30003 clauses out of 60006 with flag 2278020/1027188 434.55/239.16 c cleaning 30998 clauses out of 62001 with flag 2430706/1059186 449.55/246.68 c cleaning 32001 clauses out of 64002 with flag 2588811/1092185 465.38/254.41 c cleaning 32992 clauses out of 66001 with flag 2743912/1126185 481.38/262.47 c cleaning 34003 clauses out of 68011 with flag 2920014/1161187 497.79/270.62 c cleaning 35000 clauses out of 70007 with flag 3098384/1197186 514.58/279.08 c cleaning 35997 clauses out of 72006 with flag 3244624/1234185 532.39/287.97 c cleaning 37001 clauses out of 74011 with flag 3426992/1272187 550.60/297.03 c cleaning 38003 clauses out of 76008 with flag 3613519/1311185 569.78/306.65 c cleaning 38998 clauses out of 78007 with flag 3808406/1351187 589.17/316.31 c cleaning 39995 clauses out of 80007 with flag 3976570/1392185 609.77/326.62 c cleaning 41006 clauses out of 82012 with flag 4135162/1434185 630.97/337.26 c cleaning 41998 clauses out of 84006 with flag 4296121/1477185 652.57/348.07 c cleaning 43001 clauses out of 86009 with flag 4474689/1521186 674.57/359.02 c cleaning 44003 clauses out of 88008 with flag 4656406/1566186 696.36/369.98 c cleaning 45002 clauses out of 90007 with flag 4832524/1612188 720.35/381.93 c cleaning 45998 clauses out of 92002 with flag 5025141/1659185 743.16/393.32 c cleaning 47003 clauses out of 94005 with flag 5209569/1707186 767.36/405.43 c cleaning 48004 clauses out of 96007 with flag 5343391/1756191 794.97/419.24 c cleaning 48993 clauses out of 97999 with flag 5476550/1806187 823.15/433.38 c cleaning 50000 clauses out of 100004 with flag 5628144/1857185 850.54/447.06 c cleaning 50998 clauses out of 102004 with flag 5774875/1909185 879.33/461.50 c cleaning 52001 clauses out of 104006 with flag 5926727/1962185 906.13/474.82 c cleaning 53000 clauses out of 106005 with flag 6101055/2016185 936.28/490.54 c cleaning 53985 clauses out of 108005 with flag 6276190/2071185 966.28/505.50 c cleaning 55009 clauses out of 110021 with flag 6472623/2127186 996.68/520.75 c cleaning 56002 clauses out of 112012 with flag 6687563/2184186 1027.88/536.33 c cleaning 57004 clauses out of 114009 with flag 6928163/2242185 1059.07/551.99 c cleaning 57995 clauses out of 116005 with flag 7179777/2301185 1090.27/567.60 c cleaning 58998 clauses out of 118012 with flag 7420169/2361187 1121.87/583.31 c cleaning 60006 clauses out of 120012 with flag 7652100/2422185 1153.87/599.34 c cleaning 60996 clauses out of 122007 with flag 7868211/2484186 1188.86/616.82 c cleaning 62006 clauses out of 124013 with flag 8122103/2547188 1224.47/634.64 c cleaning 62997 clauses out of 126006 with flag 8341851/2611187 1259.98/652.39 c cleaning 63993 clauses out of 128008 with flag 8594775/2676186 1293.96/669.33 c cleaning 65004 clauses out of 130016 with flag 8846906/2742187 1329.57/687.13 c cleaning 66004 clauses out of 132012 with flag 9100659/2809187 1365.58/705.14 c cleaning 66998 clauses out of 134008 with flag 9357388/2877187 1404.16/724.34 c cleaning 68004 clauses out of 136009 with flag 9623289/2946186 1444.96/744.78 c cleaning 68998 clauses out of 138004 with flag 9906385/3016185 1482.94/763.73 c cleaning 69990 clauses out of 140006 with flag 10179442/3087185 1520.94/782.76 c cleaning 71005 clauses out of 142016 with flag 10413699/3159185 1560.13/802.34 c cleaning 72002 clauses out of 144011 with flag 10628267/3232185 1601.79/823.02 c cleaning 73006 clauses out of 146013 with flag 10856042/3306189 1646.38/845.36 c cleaning 73999 clauses out of 148003 with flag 11112303/3381185 1690.77/867.50 c cleaning 74994 clauses out of 150005 with flag 11345023/3457186 1737.78/891.07 c cleaning 75999 clauses out of 152011 with flag 11546321/3534186 1786.38/915.36 c cleaning 77002 clauses out of 154012 with flag 11758625/3612186 1800.16/922.20 c >>>>>>>>>> Solver number 0 (59 answers) <<<<<<<<<<<<<<<<<< 1800.16/922.20 c starts : 22697 1800.16/922.20 c conflicts : 3637968 1800.16/922.20 c decisions : 6089511 1800.16/922.20 c propagations : 135058111 1800.16/922.20 c inspects : 6362189491 1800.16/922.20 c shortcuts : 0 1800.16/922.20 c learnt literals : 0 1800.16/922.20 c learnt binary clauses : 0 1800.16/922.20 c learnt ternary clauses : 1458 1800.16/922.20 c learnt constraints : 3637967 1800.16/922.20 c ignored constraints : 0 1800.16/922.20 c root simplifications : 0 1800.16/922.20 c removed literals (reason simplification) : 645187012 1800.16/922.20 c reason swapping (by a shorter reason) : 0 1800.16/922.20 c Calls to reduceDB : 122 1800.16/922.20 c Number of update (reduction) of LBD : 73004 1800.16/922.20 c Imported unit clauses : 0 1800.16/922.20 c number of reductions to clauses (during analyze) : 0 1800.16/922.20 c number of learned constraints concerned by reduction : 0 1800.16/922.20 c number of learning phase by resolution : 0 1800.16/922.20 c number of learning phase by cutting planes : 0 1800.16/922.20 c speed (assignments/second) : 170106.9461937629 1800.16/922.20 c non guided choices 934 1800.16/922.23 c learnt constraints type 1800.16/922.23 c org.sat4j.minisat.constraints.cnf.LearntWLClause => 102792 1800.16/922.23 c >>>>>>>>>> Solver number 1 (2 answers) <<<<<<<<<<<<<<<<<< 1800.16/922.23 c starts : 82 1800.16/922.23 c conflicts : 3461 1800.16/922.23 c decisions : 14966 1800.16/922.23 c propagations : 210182 1800.16/922.23 c inspects : 99029495 1800.16/922.23 c shortcuts : 0 1800.16/922.23 c learnt literals : 0 1800.16/922.23 c learnt binary clauses : 0 1800.16/922.23 c learnt ternary clauses : 0 1800.16/922.23 c learnt constraints : 3428 1800.16/922.23 c ignored constraints : 0 1800.16/922.23 c root simplifications : 0 1800.16/922.23 c removed literals (reason simplification) : 0 1800.16/922.23 c reason swapping (by a shorter reason) : 0 1800.16/922.23 c Calls to reduceDB : 0 1800.16/922.23 c Number of update (reduction) of LBD : 0 1800.16/922.23 c Imported unit clauses : 0 1800.16/922.23 c number of reductions to clauses (during analyze) : 0 1800.16/922.23 c number of learned constraints concerned by reduction : 0 1800.16/922.23 c number of learning phase by resolution : 0 1800.16/922.23 c number of learning phase by cutting planes : 0 1800.16/922.23 c speed (assignments/second) : 261.91099248094065 1800.16/922.23 c non guided choices 34 1800.16/922.23 c learnt constraints type 1800.16/922.23 c org.sat4j.pb.constraints.pb.LearntHTClausePB => 2 1800.16/922.23 c org.sat4j.pb.constraints.pb.MaxWatchPb => 3426 1800.16/922.23 s SATISFIABLE 1800.16/922.23 c Found 61 solution(s) 1800.16/922.23 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 x170 x171 x172 x173 x174 x175 x176 x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 x185 x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 x199 x200 -x201 x202 x203 x204 -x205 x206 x207 x208 x209 x210 -x211 x212 x213 -x214 x215 x216 x217 x218 x219 x220 x221 x222 -x223 x224 x225 -x226 x227 x228 x229 x230 x231 x232 x233 x234 x235 -x236 x237 -x238 x239 -x240 x241 x242 x243 x244 x245 x246 x247 x248 x249 -x250 x251 -x252 x253 x254 -x255 -x256 x257 x258 x259 x260 x261 x262 x263 x264 x265 x266 x267 x268 x269 -x270 x271 x272 -x273 -x274 -x275 x276 x277 x278 -x279 -x280 -x281 -x282 -x283 -x284 x285 -x286 x287 x288 x289 -x290 x291 x292 x293 x294 x295 x296 x297 x298 x299 x300 -x301 x302 x303 x304 x305 x306 x307 x308 x309 -x310 x311 x312 x313 x314 -x315 -x316 x317 -x318 x319 x320 x321 x322 x323 x324 -x325 x326 x327 x328 x329 x330 -x331 -x332 x333 -x334 x335 x336 x337 x338 x339 x340 x341 x342 x343 x344 -x345 -x346 -x347 -x348 -x349 -x350 x351 -x352 x353 -x354 x355 -x356 x357 x358 -x359 -x360 -x361 -x362 -x363 -x364 x365 -x366 x367 -x368 x369 -x370 x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 x380 -x381 x382 -x383 x384 -x385 -x386 -x387 -x388 -x389 x390 x391 x392 x393 x394 -x395 x396 x397 x398 -x399 x400 x401 x402 x403 x404 x405 x406 x407 x408 -x409 x410 x411 x412 x413 x414 x415 x416 x417 -x418 -x419 x420 x421 x422 x423 x424 -x425 x426 x427 x428 x429 x430 x431 x432 x433 x434 x435 x436 x437 x438 x439 -x440 x441 -x442 x443 -x444 x445 -x446 x447 x448 x449 x450 -x451 x452 -x453 -x454 -x455 x456 x457 -x458 x459 -x460 x461 x462 x463 1800.16/922.23 c objective function=246 1800.16/922.23 c Total wall clock time (in seconds): 922.127
OK 246
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-4119257-1467251532/watcher-4119257-1467251532 -o /tmp/evaluation-result-4119257-1467251532/solver-4119257-1467251532 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node106-1467248675-9332 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4119257-1467251532.opb pid=11026 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: 3.71 3.93 3.76 4/197 11029 /proc/meminfo: memFree=28894472/32872528 swapFree=7620/7620 [pid=11029] ppid=11026 vsize=96260 CPUtime=0 cores=1,3,5,7 /proc/11029/stat : 11029 (java) S 11026 11029 8968 0 -1 4202496 1354 0 0 0 0 0 0 0 20 0 2 0 6049364 98570240 978 33554432000 1073741824 1073778376 140733219650768 140733219641904 218238058557 0 0 4096 0 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/11029/statm: 24065 978 743 9 0 16771 0 [pid=11029/tid=11030] ppid=11026 vsize=96260 CPUtime=0 cores=1,3,5,7 /proc/11029/task/11030/stat : 11030 (java) R 11026 11029 8968 0 -1 4202560 129 0 0 0 0 0 0 0 20 0 2 0 6049365 98570240 978 33554432000 1073741824 1073778376 140733219650768 139717339049512 218234701184 0 0 4096 0 0 0 0 -1 3 0 0 0 0 0 [startup+0.100061 s] /proc/loadavg: 3.71 3.93 3.76 4/197 11029 /proc/meminfo: memFree=28894472/32872528 swapFree=7620/7620 [pid=11029] ppid=11026 vsize=9558476 CPUtime=0.1 cores=1,3,5,7 /proc/11029/stat : 11029 (java) S 11026 11029 8968 0 -1 4202496 4505 0 1 0 9 1 0 0 20 0 18 0 6049364 9787879424 6134 33554432000 1073741824 1073778376 140733219650768 140733219641904 218238058557 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/11029/statm: 2389619 6135 2156 9 0 2380296 0 [pid=11029/tid=11030] ppid=11026 vsize=9558476 CPUtime=0.07 cores=1,3,5,7 /proc/11029/task/11030/stat : 11030 (java) R 11026 11029 8968 0 -1 4202560 2382 0 1 0 6 1 0 0 20 0 18 0 6049365 9787879424 6135 33554432000 1073741824 1073778376 140733219650768 139717339052352 139717343186570 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 0.1 Current children cumulated vsize (KiB) 9558476 [startup+0.200274 s] /proc/loadavg: 3.71 3.93 3.76 4/197 11029 /proc/meminfo: memFree=28894472/32872528 swapFree=7620/7620 [pid=11029] ppid=11026 vsize=9558476 CPUtime=0.24 cores=1,3,5,7 /proc/11029/stat : 11029 (java) S 11026 11029 8968 0 -1 4202496 4610 0 1 0 22 2 0 0 20 0 18 0 6049364 9787879424 7242 33554432000 1073741824 1073778376 140733219650768 140733219641904 218238058557 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/11029/statm: 2389619 7242 2213 9 0 2380296 0 [pid=11029/tid=11030] ppid=11026 vsize=9558476 CPUtime=0.18 cores=1,3,5,7 /proc/11029/task/11030/stat : 11030 (java) R 11026 11029 8968 0 -1 4202560 2402 0 1 0 16 2 0 0 20 0 18 0 6049365 9787879424 7242 33554432000 1073741824 1073778376 140733219650768 139717339052632 139717182043535 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 0.24 Current children cumulated vsize (KiB) 9558476 [startup+0.300272 s] /proc/loadavg: 3.71 3.93 3.76 4/197 11029 /proc/meminfo: memFree=28894472/32872528 swapFree=7620/7620 [pid=11029] ppid=11026 vsize=9558476 CPUtime=0.49 cores=1,3,5,7 /proc/11029/stat : 11029 (java) S 11026 11029 8968 0 -1 4202496 5906 0 1 0 47 2 0 0 20 0 18 0 6049364 9787879424 8849 33554432000 1073741824 1073778376 140733219650768 140733219641904 218238058557 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/11029/statm: 2389619 8849 2233 9 0 2380296 0 [pid=11029/tid=11030] ppid=11026 vsize=9558476 CPUtime=0.28 cores=1,3,5,7 /proc/11029/task/11030/stat : 11030 (java) R 11026 11029 8968 0 -1 4202560 2408 0 1 0 26 2 0 0 20 0 18 0 6049365 9787879424 8849 33554432000 1073741824 1073778376 140733219650768 139717339052632 139717343333030 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 0.49 Current children cumulated vsize (KiB) 9558476 [startup+0.700288 s] /proc/loadavg: 3.71 3.93 3.76 4/197 11029 /proc/meminfo: memFree=28894472/32872528 swapFree=7620/7620 [pid=11029] ppid=11026 vsize=9824732 CPUtime=1.19 cores=1,3,5,7 /proc/11029/stat : 11029 (java) S 11026 11029 8968 0 -1 4202496 10765 0 1 0 114 5 0 0 20 0 19 0 6049364 10060525568 16059 33554432000 1073741824 1073778376 140733219650768 140733219641904 218238058557 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/11029/statm: 2456183 16059 2262 9 0 2446860 0 [pid=11029/tid=11030] ppid=11026 vsize=9824732 CPUtime=0.42 cores=1,3,5,7 /proc/11029/task/11030/stat : 11030 (java) S 11026 11029 8968 0 -1 4202560 2445 0 1 0 40 2 0 0 20 0 19 0 6049365 10060525568 16059 33554432000 1073741824 1073778376 140733219650768 139717339054968 218238072745 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1.19 Current children cumulated vsize (KiB) 9824732 [startup+1.50079 s] /proc/loadavg: 3.71 3.93 3.76 6/216 11054 /proc/meminfo: memFree=28821800/32872528 swapFree=7620/7620 [pid=11029] ppid=11026 vsize=9824732 CPUtime=1.94 cores=1,3,5,7 /proc/11029/stat : 11029 (java) S 11026 11029 8968 0 -1 4202496 16400 0 1 0 186 8 0 0 20 0 19 0 6049364 10060525568 21298 33554432000 1073741824 1073778376 140733219650768 140733219641904 218238058557 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/11029/statm: 2456183 21298 2267 9 0 2446860 0 [pid=11029/tid=11030] ppid=11026 vsize=9824732 CPUtime=0.44 cores=1,3,5,7 /proc/11029/task/11030/stat : 11030 (java) S 11026 11029 8968 0 -1 4202560 2447 0 1 0 42 2 0 0 20 0 19 0 6049365 10060525568 21298 33554432000 1073741824 1073778376 140733219650768 139717339054968 218238072745 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=11029/tid=11032] ppid=11026 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/11029/task/11032/stat : 11032 (java) S 11026 11029 8968 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 6049365 10060525568 21298 33554432000 1073741824 1073778376 140733219650768 139717300545960 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=11029/tid=11033] ppid=11026 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/11029/task/11033/stat : 11033 (java) S 11026 11029 8968 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 6049365 10060525568 21298 33554432000 1073741824 1073778376 140733219650768 139717181958696 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=11029/tid=11034] ppid=11026 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/11029/task/11034/stat : 11034 (java) S 11026 11029 8968 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 6049365 10060525568 21298 33554432000 1073741824 1073778376 140733219650768 139717180905640 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=11029/tid=11035] ppid=11026 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/11029/task/11035/stat : 11035 (java) S 11026 11029 8968 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 6049365 10060525568 21298 33554432000 1073741824 1073778376 140733219650768 139717179853096 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=11029/tid=11036] ppid=11026 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/11029/task/11036/stat : 11036 (java) S 11026 11029 8968 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 6049365 10060525568 21298 33554432000 1073741824 1073778376 140733219650768 139717178801064 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=11029/tid=11037] ppid=11026 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/11029/task/11037/stat : 11037 (java) S 11026 11029 8968 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 6049365 10060525568 21298 33554432000 1073741824 1073778376 140733219650768 139717177748520 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=11029/tid=11038] ppid=11026 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/11029/task/11038/stat : 11038 (java) S 11026 11029 8968 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 6049365 10060525568 21298 33554432000 1073741824 1073778376 140733219650768 139717176695464 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=11029/tid=11039] ppid=11026 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/11029/task/11039/stat : 11039 (java) S 11026 11029 8968 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 6049365 10060525568 21298 33554432000 1073741824 1073778376 140733219650768 139717175642920 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=11029/tid=11040] ppid=11026 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/11029/task/11040/stat : 11040 (java) S 11026 11029 8968 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 6049367 10060525568 21298 33554432000 1073741824 1073778376 140733219650768 139716693313896 218238072745 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=11029/tid=11041] ppid=11026 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/11029/task/11041/stat : 11041 (java) S 11026 11029 8968 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 6049367 10060525568 21298 33554432000 1073741824 1073778376 140733219650768 139716692260216 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=11029/tid=11042] ppid=11026 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/11029/task/11042/stat : 11042 (java) S 11026 11029 8968 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 6049367 10060525568 21298 33554432000 1073741824 1073778376 140733219650768 139716691207048 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=11029/tid=11043] ppid=11026 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/11029/task/11043/stat : 11043 (java) S 11026 11029 8968 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 6049369 10060525568 21298 33554432000 1073741824 1073778376 140733219650768 139716690155792 218238080800 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=11029/tid=11044] ppid=11026 vsize=9824732 CPUtime=0.6 cores=1,3,5,7 /proc/11029/task/11044/stat : 11044 (java) S 11026 11029 8968 0 -1 4202560 5808 0 0 0 58 2 0 0 20 0 19 0 6049369 10060525568 21298 33554432000 1073741824 1073778376 140733219650768 139716689103672 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=11029/tid=11045] ppid=11026 vsize=9824732 CPUtime=0.62 cores=1,3,5,7 /proc/11029/task/11045/stat : 11045 (java) S 11026 11029 8968 0 -1 4202560 6792 0 0 0 62 0 0 0 20 0 19 0 6049369 10060525568 21298 33554432000 1073741824 1073778376 140733219650768 139716688051128 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=11029/tid=11046] ppid=11026 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/11029/task/11046/stat : 11046 (java) S 11026 11029 8968 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 6049369 10060525568 21298 33554432000 1073741824 1073778376 140733219650768 139716686998264 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=11029/tid=11047] ppid=11026 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/11029/task/11047/stat : 11047 (java) S 11026 11029 8968 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 6049369 10060525568 21298 33554432000 1073741824 1073778376 140733219650768 139716685945928 218238072745 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=11029/tid=11051] ppid=11026 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/11029/task/11051/stat : 11051 (java) S 11026 11029 8968 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 6049409 10060525568 21298 33554432000 1073741824 1073778376 140733219650768 139716681733032 218238072745 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1.94 Current children cumulated vsize (KiB) 9824732 [startup+3.10082 s] /proc/loadavg: 3.71 3.93 3.76 1/213 11066 /proc/meminfo: memFree=28753480/32872528 swapFree=7620/7620 [pid=11029] ppid=11026 vsize=9824732 CPUtime=2.44 cores=1,3,5,7 /proc/11029/stat : 11029 (java) S 11026 11029 8968 0 -1 4202496 16431 0 1 0 234 10 0 0 20 0 19 0 6049364 10060525568 25907 33554432000 1073741824 1073778376 140733219650768 140733219641904 218238058557 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/11029/statm: 2456183 25907 2268 9 0 2446860 0 [pid=11029/tid=11030] ppid=11026 vsize=9824732 CPUtime=0.46 cores=1,3,5,7 /proc/11029/task/11030/stat : 11030 (java) S 11026 11029 8968 0 -1 4202560 2450 0 1 0 43 3 0 0 20 0 19 0 6049365 10060525568 25907 33554432000 1073741824 1073778376 140733219650768 139717339054968 218238072745 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=11029/tid=11032] ppid=11026 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/11029/task/11032/stat : 11032 (java) S 11026 11029 8968 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 6049365 10060525568 25907 33554432000 1073741824 1073778376 140733219650768 139717300545960 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=11029/tid=11033] ppid=11026 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/11029/task/11033/stat : 11033 (java) S 11026 11029 8968 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 6049365 10060525568 25907 33554432000 1073741824 1073778376 140733219650768 139717181958696 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=11029/tid=11034] ppid=11026 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/11029/task/11034/stat : 11034 (java) S 11026 11029 8968 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 6049365 10060525568 25907 33554432000 1073741824 1073778376 140733219650768 139717180905640 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=11029/tid=11035] ppid=11026 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/11029/task/11035/stat : 11035 (java) S 11026 11029 8968 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 6049365 10060525568 25907 33554432000 1073741824 1073778376 140733219650768 139717179853096 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=11029/tid=11036] ppid=11026 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/11029/task/11036/stat : 11036 (java) S 11026 11029 8968 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 6049365 10060525568 25907 33554432000 1073741824 1073778376 140733219650768 139717178801064 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=11029/tid=11037] ppid=11026 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/11029/task/11037/stat : 11037 (java) S 11026 11029 8968 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 6049365 10060525568 25907 33554432000 1073741824 1073778376 140733219650768 139717177748520 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=11029/tid=11038] ppid=11026 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/11029/task/11038/stat : 11038 (java) S 11026 11029 8968 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 6049365 10060525568 25907 33554432000 1073741824 1073778376 140733219650768 139717176695464 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=11029/tid=11039] ppid=11026 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/11029/task/11039/stat : 11039 (java) S 11026 11029 8968 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 6049365 10060525568 25907 33554432000 1073741824 1073778376 140733219650768 139717175642920 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=11029/tid=11040] ppid=11026 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/11029/task/11040/stat : 11040 (java) S 11026 11029 8968 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 6049367 10060525568 25907 33554432000 1073741824 1073778376 140733219650768 139716693313896 218238072745 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=11029/tid=11041] ppid=11026 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/11029/task/11041/stat : 11041 (java) S 11026 11029 8968 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 6049367 10060525568 25907 33554432000 1073741824 1073778376 140733219650768 139716692260216 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=11029/tid=11042] ppid=11026 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/11029/task/11042/stat : 11042 (java) S 11026 11029 8968 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 6049367 10060525568 25907 33554432000 1073741824 1073778376 140733219650768 139716691207048 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=11029/tid=11043] ppid=11026 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/11029/task/11043/stat : 11043 (java) S 11026 11029 8968 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 6049369 10060525568 25907 33554432000 1073741824 1073778376 140733219650768 139716690155792 218238080800 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=11029/tid=11044] ppid=11026 vsize=9824732 CPUtime=0.74 cores=1,3,5,7 /proc/11029/task/11044/stat : 11044 (java) S 11026 11029 8968 0 -1 4202560 5809 0 0 0 72 2 0 0 20 0 19 0 6049369 10060525568 25907 33554432000 1073741824 1073778376 140733219650768 139716689103672 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=11029/tid=11045] ppid=11026 vsize=9824732 CPUtime=0.77 cores=1,3,5,7 /proc/11029/task/11045/stat : 11045 (java) S 11026 11029 8968 0 -1 4202560 6792 0 0 0 77 0 0 0 20 0 19 0 6049369 10060525568 25907 33554432000 1073741824 1073778376 140733219650768 139716688051128 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=11029/tid=11046] ppid=11026 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/11029/task/11046/stat : 11046 (java) S 11026 11029 8968 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 6049369 10060525568 25907 33554432000 1073741824 1073778376 140733219650768 139716686998264 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=11029/tid=11047] ppid=11026 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/11029/task/11047/stat : 11047 (java) S 11026 11029 8968 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 6049369 10060525568 25907 33554432000 1073741824 1073778376 140733219650768 139716685945928 218238072745 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=11029/tid=11051] ppid=11026 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/11029/task/11051/stat : 11051 (java) S 11026 11029 8968 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 6049409 10060525568 25907 33554432000 1073741824 1073778376 140733219650768 139716681733032 218238072745 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 2.44 Current children cumulated vsize (KiB) 9824732 heavy processes: [startup+6.30078 s] /proc/loadavg: 3.57 3.90 3.75 8/219 11093 /proc/meminfo: memFree=28685324/32872528 swapFree=7620/7620 [pid=11029] ppid=11026 vsize=9824732 CPUtime=3.19 cores=1,3,5,7 /proc/11029/stat : 11029 (java) S 11026 11029 8968 0 -1 4202496 17126 0 1 0 302 17 0 0 20 0 19 0 6049364 10060525568 35514 33554432000 1073741824 1073778376 140733219650768 140733219641904 218238058557 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/11029/statm: 2456183 35514 2276 9 0 2446860 0 [pid=11029/tid=11030] ppid=11026 vsize=9824732 CPUtime=0.47 cores=1,3,5,7 /proc/11029/task/11030/stat : 11030 (java) S 11026 11029 8968 0 -1 4202560 2454 0 1 0 44 3 0 0 20 0 19 0 6049365 10060525568 35514 33554432000 1073741824 1073778376 140733219650768 139717339054968 218238072745 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=11029/tid=11032] ppid=11026 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/11029/task/11032/stat : 11032 (java) S 11026 11029 8968 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 6049365 10060525568 35514 33554432000 1073741824 1073778376 140733219650768 139717300545960 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=11029/tid=11033] ppid=11026 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/11029/task/11033/stat : 11033 (java) S 11026 11029 8968 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 6049365 10060525568 35514 33554432000 1073741824 1073778376 140733219650768 139717181958696 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=11029/tid=11034] ppid=11026 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/11029/task/11034/stat : 11034 (java) S 11026 11029 8968 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 6049365 10060525568 35514 33554432000 1073741824 1073778376 140733219650768 139717180905640 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=11029/tid=11035] ppid=11026 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/11029/task/11035/stat : 11035 (java) S 11026 11029 8968 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 6049365 10060525568 35514 33554432000 1073741824 1073778376 140733219650768 139717179853096 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=11029/tid=11036] ppid=11026 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/11029/task/11036/stat : 11036 (java) S 11026 11029 8968 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 6049365 10060525568 35514 33554432000 1073741824 1073778376 140733219650768 139717178801064 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=11029/tid=11037] ppid=11026 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/11029/task/11037/stat : 11037 (java) S 11026 11029 8968 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 6049365 10060525568 35514 33554432000 1073741824 1073778376 140733219650768 139717177748520 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=11029/tid=11038] ppid=11026 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/11029/task/11038/stat : 11038 (java) S 11026 11029 8968 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 6049365 10060525568 35514 33554432000 1073741824 1073778376 140733219650768 139717176695464 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=11029/tid=11039] ppid=11026 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/11029/task/11039/stat : 11039 (java) S 11026 11029 8968 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 6049365 10060525568 35514 33554432000 1073741824 1073778376 140733219650768 139717175642920 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=11029/tid=11040] ppid=11026 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/11029/task/11040/stat : 11040 (java) S 11026 11029 8968 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 6049367 10060525568 35514 33554432000 1073741824 1073778376 140733219650768 139716693313896 218238072745 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=11029/tid=11041] ppid=11026 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/11029/task/11041/stat : 11041 (java) S 11026 11029 8968 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 6049367 10060525568 35514 33554432000 1073741824 1073778376 140733219650768 139716692260216 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=11029/tid=11042] ppid=11026 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/11029/task/11042/stat : 11042 (java) S 11026 11029 8968 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 6049367 10060525568 35514 33554432000 1073741824 1073778376 140733219650768 139716691207048 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=11029/tid=11043] ppid=11026 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/11029/task/11043/stat : 11043 (java) S 11026 11029 8968 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 6049369 10060525568 35514 33554432000 1073741824 1073778376 140733219650768 139716690155792 218238080800 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=11029/tid=11044] ppid=11026 vsize=9824732 CPUtime=0.96 cores=1,3,5,7 /proc/11029/task/11044/stat : 11044 (java) S 11026 11029 8968 0 -1 4202560 6421 0 0 0 94 2 0 0 20 0 19 0 6049369 10060525568 35514 33554432000 1073741824 1073778376 140733219650768 139716689103672 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 ################ # More data... # ################ [startup+822.301 s] /proc/loadavg: 4.00 3.97 3.84 5/219 11487 /proc/meminfo: memFree=21085464/32872528 swapFree=7620/7620 [pid=11029] ppid=11026 vsize=9824732 CPUtime=1600.39 cores=1,3,5,7 /proc/11029/stat : 11029 (java) S 11026 11029 8968 0 -1 4202496 27386 0 1 0 159685 354 0 0 20 0 22 0 6049364 10060525568 939402 33554432000 1073741824 1073778376 140733219650768 140733219641904 218238058557 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/11029/statm: 2456183 939402 2302 9 0 2446860 0 [pid=11029/tid=11030] ppid=11026 vsize=9824732 CPUtime=0.61 cores=1,3,5,7 /proc/11029/task/11030/stat : 11030 (java) S 11026 11029 8968 0 -1 4202560 2460 0 1 0 57 4 0 0 20 0 22 0 6049365 10060525568 939402 33554432000 1073741824 1073778376 140733219650768 139717339054968 218238072745 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=11029/tid=11032] ppid=11026 vsize=9824732 CPUtime=1.4 cores=1,3,5,7 /proc/11029/task/11032/stat : 11032 (java) S 11026 11029 8968 0 -1 4202560 702 0 0 0 111 29 0 0 20 0 22 0 6049365 10060525568 939402 33554432000 1073741824 1073778376 140733219650768 139717300545960 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=11029/tid=11033] ppid=11026 vsize=9824732 CPUtime=1.26 cores=1,3,5,7 /proc/11029/task/11033/stat : 11033 (java) S 11026 11029 8968 0 -1 4202560 596 0 0 0 102 24 0 0 20 0 22 0 6049365 10060525568 939402 33554432000 1073741824 1073778376 140733219650768 139717181958696 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=11029/tid=11034] ppid=11026 vsize=9824732 CPUtime=1.41 cores=1,3,5,7 /proc/11029/task/11034/stat : 11034 (java) S 11026 11029 8968 0 -1 4202560 530 0 0 0 115 26 0 0 20 0 22 0 6049365 10060525568 939402 33554432000 1073741824 1073778376 140733219650768 139717180905640 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=11029/tid=11035] ppid=11026 vsize=9824732 CPUtime=1.46 cores=1,3,5,7 /proc/11029/task/11035/stat : 11035 (java) S 11026 11029 8968 0 -1 4202560 703 0 0 0 120 26 0 0 20 0 22 0 6049365 10060525568 939402 33554432000 1073741824 1073778376 140733219650768 139717179853096 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=11029/tid=11036] ppid=11026 vsize=9824732 CPUtime=1.42 cores=1,3,5,7 /proc/11029/task/11036/stat : 11036 (java) S 11026 11029 8968 0 -1 4202560 657 0 0 0 110 32 0 0 20 0 22 0 6049365 10060525568 939402 33554432000 1073741824 1073778376 140733219650768 139717178801064 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=11029/tid=11037] ppid=11026 vsize=9824732 CPUtime=1.37 cores=1,3,5,7 /proc/11029/task/11037/stat : 11037 (java) S 11026 11029 8968 0 -1 4202560 596 0 0 0 105 32 0 0 20 0 22 0 6049365 10060525568 939402 33554432000 1073741824 1073778376 140733219650768 139717177748520 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=11029/tid=11038] ppid=11026 vsize=9824732 CPUtime=1.26 cores=1,3,5,7 /proc/11029/task/11038/stat : 11038 (java) S 11026 11029 8968 0 -1 4202560 550 0 0 0 101 25 0 0 20 0 22 0 6049365 10060525568 939402 33554432000 1073741824 1073778376 140733219650768 139717176695464 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=11029/tid=11039] ppid=11026 vsize=9824732 CPUtime=1.32 cores=1,3,5,7 /proc/11029/task/11039/stat : 11039 (java) S 11026 11029 8968 0 -1 4202560 695 0 0 0 103 29 0 0 20 0 22 0 6049365 10060525568 939402 33554432000 1073741824 1073778376 140733219650768 139717175642920 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=11029/tid=11040] ppid=11026 vsize=9824732 CPUtime=4.34 cores=1,3,5,7 /proc/11029/task/11040/stat : 11040 (java) S 11026 11029 8968 0 -1 4202560 2414 0 0 0 425 9 0 0 20 0 22 0 6049367 10060525568 939402 33554432000 1073741824 1073778376 140733219650768 139716693313896 218238072745 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=11029/tid=11041] ppid=11026 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/11029/task/11041/stat : 11041 (java) S 11026 11029 8968 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 6049367 10060525568 939402 33554432000 1073741824 1073778376 140733219650768 139716692260216 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=11029/tid=11042] ppid=11026 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/11029/task/11042/stat : 11042 (java) S 11026 11029 8968 0 -1 4202560 52 0 0 0 0 0 0 0 20 0 22 0 6049367 10060525568 939402 33554432000 1073741824 1073778376 140733219650768 139716691207048 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=11029/tid=11043] ppid=11026 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/11029/task/11043/stat : 11043 (java) S 11026 11029 8968 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 6049369 10060525568 939402 33554432000 1073741824 1073778376 140733219650768 139716690155792 218238080800 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=11029/tid=11044] ppid=11026 vsize=9824732 CPUtime=1.55 cores=1,3,5,7 /proc/11029/task/11044/stat : 11044 (java) S 11026 11029 8968 0 -1 4202560 7882 0 0 0 153 2 0 0 20 0 22 0 6049369 10060525568 939402 33554432000 1073741824 1073778376 140733219650768 139716689103672 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=11029/tid=11045] ppid=11026 vsize=9824732 CPUtime=1.27 cores=1,3,5,7 /proc/11029/task/11045/stat : 11045 (java) S 11026 11029 8968 0 -1 4202560 6809 0 0 0 127 0 0 0 20 0 22 0 6049369 10060525568 939402 33554432000 1073741824 1073778376 140733219650768 139716688051128 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=11029/tid=11046] ppid=11026 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/11029/task/11046/stat : 11046 (java) S 11026 11029 8968 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 6049369 10060525568 939402 33554432000 1073741824 1073778376 140733219650768 139716686998264 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=11029/tid=11047] ppid=11026 vsize=9824732 CPUtime=0.22 cores=1,3,5,7 /proc/11029/task/11047/stat : 11047 (java) S 11026 11029 8968 0 -1 4202560 47 0 0 0 9 13 0 0 20 0 22 0 6049369 10060525568 939402 33554432000 1073741824 1073778376 140733219650768 139716685945928 218238072745 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=11029/tid=11398] ppid=11026 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/11029/task/11398/stat : 11398 (java) S 11026 11029 8968 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 6061338 10060525568 939402 33554432000 1073741824 1073778376 140733219650768 139716684891560 218238072745 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=11029/tid=11400] ppid=11026 vsize=9824732 CPUtime=689.52 cores=1,3,5,7 /proc/11029/task/11400/stat : 11400 (java) R 11026 11029 8968 0 -1 4202560 8 0 0 0 68942 10 0 0 20 0 22 0 6062189 10060525568 939402 33554432000 1073741824 1073778376 140733219650768 139716683836928 139717182816881 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 [pid=11029/tid=11401] ppid=11026 vsize=9824732 CPUtime=689.54 cores=1,3,5,7 /proc/11029/task/11401/stat : 11401 (java) R 11026 11029 8968 0 -1 4202560 10 0 0 0 68942 12 0 0 20 0 22 0 6062189 10060525568 939402 33554432000 1073741824 1073778376 140733219650768 139716681730448 139717182708128 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 [pid=11029/tid=11402] ppid=11026 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/11029/task/11402/stat : 11402 (java) S 11026 11029 8968 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 6062189 10060525568 939402 33554432000 1073741824 1073778376 140733219650768 139716682785576 218238072745 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 1600.39 Current children cumulated vsize (KiB) 9824732 [startup+882.308 s] /proc/loadavg: 4.00 3.97 3.85 5/219 11488 /proc/meminfo: memFree=20999220/32872528 swapFree=7620/7620 [pid=11029] ppid=11026 vsize=9824732 CPUtime=1720.39 cores=1,3,5,7 /proc/11029/stat : 11029 (java) S 11026 11029 8968 0 -1 4202496 27390 0 1 0 171684 355 0 0 20 0 22 0 6049364 10060525568 939402 33554432000 1073741824 1073778376 140733219650768 140733219641904 218238058557 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/11029/statm: 2456183 939402 2302 9 0 2446860 0 [pid=11029/tid=11030] ppid=11026 vsize=9824732 CPUtime=0.61 cores=1,3,5,7 /proc/11029/task/11030/stat : 11030 (java) S 11026 11029 8968 0 -1 4202560 2460 0 1 0 57 4 0 0 20 0 22 0 6049365 10060525568 939402 33554432000 1073741824 1073778376 140733219650768 139717339054968 218238072745 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=11029/tid=11032] ppid=11026 vsize=9824732 CPUtime=1.4 cores=1,3,5,7 /proc/11029/task/11032/stat : 11032 (java) S 11026 11029 8968 0 -1 4202560 702 0 0 0 111 29 0 0 20 0 22 0 6049365 10060525568 939402 33554432000 1073741824 1073778376 140733219650768 139717300545960 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=11029/tid=11033] ppid=11026 vsize=9824732 CPUtime=1.26 cores=1,3,5,7 /proc/11029/task/11033/stat : 11033 (java) S 11026 11029 8968 0 -1 4202560 596 0 0 0 102 24 0 0 20 0 22 0 6049365 10060525568 939402 33554432000 1073741824 1073778376 140733219650768 139717181958696 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=11029/tid=11034] ppid=11026 vsize=9824732 CPUtime=1.41 cores=1,3,5,7 /proc/11029/task/11034/stat : 11034 (java) S 11026 11029 8968 0 -1 4202560 530 0 0 0 115 26 0 0 20 0 22 0 6049365 10060525568 939402 33554432000 1073741824 1073778376 140733219650768 139717180905640 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=11029/tid=11035] ppid=11026 vsize=9824732 CPUtime=1.46 cores=1,3,5,7 /proc/11029/task/11035/stat : 11035 (java) S 11026 11029 8968 0 -1 4202560 703 0 0 0 120 26 0 0 20 0 22 0 6049365 10060525568 939402 33554432000 1073741824 1073778376 140733219650768 139717179853096 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=11029/tid=11036] ppid=11026 vsize=9824732 CPUtime=1.42 cores=1,3,5,7 /proc/11029/task/11036/stat : 11036 (java) S 11026 11029 8968 0 -1 4202560 657 0 0 0 110 32 0 0 20 0 22 0 6049365 10060525568 939402 33554432000 1073741824 1073778376 140733219650768 139717178801064 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=11029/tid=11037] ppid=11026 vsize=9824732 CPUtime=1.37 cores=1,3,5,7 /proc/11029/task/11037/stat : 11037 (java) S 11026 11029 8968 0 -1 4202560 596 0 0 0 105 32 0 0 20 0 22 0 6049365 10060525568 939402 33554432000 1073741824 1073778376 140733219650768 139717177748520 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=11029/tid=11038] ppid=11026 vsize=9824732 CPUtime=1.26 cores=1,3,5,7 /proc/11029/task/11038/stat : 11038 (java) S 11026 11029 8968 0 -1 4202560 550 0 0 0 101 25 0 0 20 0 22 0 6049365 10060525568 939402 33554432000 1073741824 1073778376 140733219650768 139717176695464 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=11029/tid=11039] ppid=11026 vsize=9824732 CPUtime=1.32 cores=1,3,5,7 /proc/11029/task/11039/stat : 11039 (java) S 11026 11029 8968 0 -1 4202560 695 0 0 0 103 29 0 0 20 0 22 0 6049365 10060525568 939402 33554432000 1073741824 1073778376 140733219650768 139717175642920 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=11029/tid=11040] ppid=11026 vsize=9824732 CPUtime=4.34 cores=1,3,5,7 /proc/11029/task/11040/stat : 11040 (java) S 11026 11029 8968 0 -1 4202560 2414 0 0 0 425 9 0 0 20 0 22 0 6049367 10060525568 939402 33554432000 1073741824 1073778376 140733219650768 139716693313896 218238072745 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=11029/tid=11041] ppid=11026 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/11029/task/11041/stat : 11041 (java) S 11026 11029 8968 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 6049367 10060525568 939402 33554432000 1073741824 1073778376 140733219650768 139716692260216 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=11029/tid=11042] ppid=11026 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/11029/task/11042/stat : 11042 (java) S 11026 11029 8968 0 -1 4202560 52 0 0 0 0 0 0 0 20 0 22 0 6049367 10060525568 939402 33554432000 1073741824 1073778376 140733219650768 139716691207048 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=11029/tid=11043] ppid=11026 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/11029/task/11043/stat : 11043 (java) S 11026 11029 8968 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 6049369 10060525568 939402 33554432000 1073741824 1073778376 140733219650768 139716690155792 218238080800 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=11029/tid=11044] ppid=11026 vsize=9824732 CPUtime=1.55 cores=1,3,5,7 /proc/11029/task/11044/stat : 11044 (java) S 11026 11029 8968 0 -1 4202560 7882 0 0 0 153 2 0 0 20 0 22 0 6049369 10060525568 939402 33554432000 1073741824 1073778376 140733219650768 139716689103672 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=11029/tid=11045] ppid=11026 vsize=9824732 CPUtime=1.27 cores=1,3,5,7 /proc/11029/task/11045/stat : 11045 (java) S 11026 11029 8968 0 -1 4202560 6809 0 0 0 127 0 0 0 20 0 22 0 6049369 10060525568 939402 33554432000 1073741824 1073778376 140733219650768 139716688051128 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=11029/tid=11046] ppid=11026 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/11029/task/11046/stat : 11046 (java) S 11026 11029 8968 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 6049369 10060525568 939402 33554432000 1073741824 1073778376 140733219650768 139716686998264 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=11029/tid=11047] ppid=11026 vsize=9824732 CPUtime=0.24 cores=1,3,5,7 /proc/11029/task/11047/stat : 11047 (java) S 11026 11029 8968 0 -1 4202560 51 0 0 0 9 15 0 0 20 0 22 0 6049369 10060525568 939402 33554432000 1073741824 1073778376 140733219650768 139716685945928 218238072745 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=11029/tid=11398] ppid=11026 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/11029/task/11398/stat : 11398 (java) S 11026 11029 8968 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 6061338 10060525568 939402 33554432000 1073741824 1073778376 140733219650768 139716684891560 218238072745 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=11029/tid=11400] ppid=11026 vsize=9824732 CPUtime=749.52 cores=1,3,5,7 /proc/11029/task/11400/stat : 11400 (java) R 11026 11029 8968 0 -1 4202560 8 0 0 0 74941 11 0 0 20 0 22 0 6062189 10060525568 939402 33554432000 1073741824 1073778376 140733219650768 139716683829216 139717182803854 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 [pid=11029/tid=11401] ppid=11026 vsize=9824732 CPUtime=749.55 cores=1,3,5,7 /proc/11029/task/11401/stat : 11401 (java) R 11026 11029 8968 0 -1 4202560 10 0 0 0 74942 13 0 0 20 0 22 0 6062189 10060525568 939402 33554432000 1073741824 1073778376 140733219650768 139716681730448 139717183388803 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 [pid=11029/tid=11402] ppid=11026 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/11029/task/11402/stat : 11402 (java) S 11026 11029 8968 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 6062189 10060525568 939402 33554432000 1073741824 1073778376 140733219650768 139716682785576 218238072745 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 1720.39 Current children cumulated vsize (KiB) 9824732 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+922.201 s] /proc/loadavg: 3.93 3.96 3.85 5/219 11582 /proc/meminfo: memFree=24846792/32872528 swapFree=7620/7620 [pid=11029] ppid=11026 vsize=9824732 CPUtime=1800.16 cores=1,3,5,7 /proc/11029/stat : 11029 (java) S 11026 11029 8968 0 -1 4202496 27392 0 1 0 179660 356 0 0 20 0 22 0 6049364 10060525568 939402 33554432000 1073741824 1073778376 140733219650768 140733219641904 218238058557 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/11029/statm: 2456183 939402 2302 9 0 2446860 0 [pid=11029/tid=11030] ppid=11026 vsize=9824732 CPUtime=0.62 cores=1,3,5,7 /proc/11029/task/11030/stat : 11030 (java) S 11026 11029 8968 0 -1 4202560 2460 0 1 0 57 5 0 0 20 0 22 0 6049365 10060525568 939402 33554432000 1073741824 1073778376 140733219650768 139717339054968 218238072745 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=11029/tid=11032] ppid=11026 vsize=9824732 CPUtime=1.4 cores=1,3,5,7 /proc/11029/task/11032/stat : 11032 (java) S 11026 11029 8968 0 -1 4202560 702 0 0 0 111 29 0 0 20 0 22 0 6049365 10060525568 939402 33554432000 1073741824 1073778376 140733219650768 139717300545960 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=11029/tid=11033] ppid=11026 vsize=9824732 CPUtime=1.26 cores=1,3,5,7 /proc/11029/task/11033/stat : 11033 (java) S 11026 11029 8968 0 -1 4202560 596 0 0 0 102 24 0 0 20 0 22 0 6049365 10060525568 939402 33554432000 1073741824 1073778376 140733219650768 139717181958696 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=11029/tid=11034] ppid=11026 vsize=9824732 CPUtime=1.41 cores=1,3,5,7 /proc/11029/task/11034/stat : 11034 (java) S 11026 11029 8968 0 -1 4202560 530 0 0 0 115 26 0 0 20 0 22 0 6049365 10060525568 939402 33554432000 1073741824 1073778376 140733219650768 139717180905640 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=11029/tid=11035] ppid=11026 vsize=9824732 CPUtime=1.46 cores=1,3,5,7 /proc/11029/task/11035/stat : 11035 (java) S 11026 11029 8968 0 -1 4202560 703 0 0 0 120 26 0 0 20 0 22 0 6049365 10060525568 939402 33554432000 1073741824 1073778376 140733219650768 139717179853096 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=11029/tid=11036] ppid=11026 vsize=9824732 CPUtime=1.42 cores=1,3,5,7 /proc/11029/task/11036/stat : 11036 (java) S 11026 11029 8968 0 -1 4202560 657 0 0 0 110 32 0 0 20 0 22 0 6049365 10060525568 939402 33554432000 1073741824 1073778376 140733219650768 139717178801064 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=11029/tid=11037] ppid=11026 vsize=9824732 CPUtime=1.37 cores=1,3,5,7 /proc/11029/task/11037/stat : 11037 (java) S 11026 11029 8968 0 -1 4202560 596 0 0 0 105 32 0 0 20 0 22 0 6049365 10060525568 939402 33554432000 1073741824 1073778376 140733219650768 139717177748520 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=11029/tid=11038] ppid=11026 vsize=9824732 CPUtime=1.26 cores=1,3,5,7 /proc/11029/task/11038/stat : 11038 (java) S 11026 11029 8968 0 -1 4202560 550 0 0 0 101 25 0 0 20 0 22 0 6049365 10060525568 939402 33554432000 1073741824 1073778376 140733219650768 139717176695464 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=11029/tid=11039] ppid=11026 vsize=9824732 CPUtime=1.32 cores=1,3,5,7 /proc/11029/task/11039/stat : 11039 (java) S 11026 11029 8968 0 -1 4202560 695 0 0 0 103 29 0 0 20 0 22 0 6049365 10060525568 939402 33554432000 1073741824 1073778376 140733219650768 139717175642920 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=11029/tid=11040] ppid=11026 vsize=9824732 CPUtime=4.34 cores=1,3,5,7 /proc/11029/task/11040/stat : 11040 (java) S 11026 11029 8968 0 -1 4202560 2414 0 0 0 425 9 0 0 20 0 22 0 6049367 10060525568 939402 33554432000 1073741824 1073778376 140733219650768 139716693313896 218238072745 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=11029/tid=11041] ppid=11026 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/11029/task/11041/stat : 11041 (java) S 11026 11029 8968 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 6049367 10060525568 939402 33554432000 1073741824 1073778376 140733219650768 139716692260216 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=11029/tid=11042] ppid=11026 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/11029/task/11042/stat : 11042 (java) S 11026 11029 8968 0 -1 4202560 52 0 0 0 0 0 0 0 20 0 22 0 6049367 10060525568 939402 33554432000 1073741824 1073778376 140733219650768 139716691207048 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=11029/tid=11043] ppid=11026 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/11029/task/11043/stat : 11043 (java) S 11026 11029 8968 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 6049369 10060525568 939402 33554432000 1073741824 1073778376 140733219650768 139716690155792 218238080800 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=11029/tid=11044] ppid=11026 vsize=9824732 CPUtime=1.55 cores=1,3,5,7 /proc/11029/task/11044/stat : 11044 (java) S 11026 11029 8968 0 -1 4202560 7882 0 0 0 153 2 0 0 20 0 22 0 6049369 10060525568 939402 33554432000 1073741824 1073778376 140733219650768 139716689103672 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=11029/tid=11045] ppid=11026 vsize=9824732 CPUtime=1.27 cores=1,3,5,7 /proc/11029/task/11045/stat : 11045 (java) S 11026 11029 8968 0 -1 4202560 6809 0 0 0 127 0 0 0 20 0 22 0 6049369 10060525568 939402 33554432000 1073741824 1073778376 140733219650768 139716688051128 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=11029/tid=11046] ppid=11026 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/11029/task/11046/stat : 11046 (java) S 11026 11029 8968 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 6049369 10060525568 939402 33554432000 1073741824 1073778376 140733219650768 139716686998264 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=11029/tid=11047] ppid=11026 vsize=9824732 CPUtime=0.25 cores=1,3,5,7 /proc/11029/task/11047/stat : 11047 (java) S 11026 11029 8968 0 -1 4202560 53 0 0 0 9 16 0 0 20 0 22 0 6049369 10060525568 939402 33554432000 1073741824 1073778376 140733219650768 139716685945928 218238072745 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=11029/tid=11398] ppid=11026 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/11029/task/11398/stat : 11398 (java) S 11026 11029 8968 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 6061338 10060525568 939402 33554432000 1073741824 1073778376 140733219650768 139716684891560 218238072745 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=11029/tid=11400] ppid=11026 vsize=9824732 CPUtime=789.4 cores=1,3,5,7 /proc/11029/task/11400/stat : 11400 (java) R 11026 11029 8968 0 -1 4202560 8 0 0 0 78929 11 0 0 20 0 22 0 6062189 10060525568 939402 33554432000 1073741824 1073778376 140733219650768 139716683829216 139717182986472 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 [pid=11029/tid=11401] ppid=11026 vsize=9824732 CPUtime=789.44 cores=1,3,5,7 /proc/11029/task/11401/stat : 11401 (java) R 11026 11029 8968 0 -1 4202560 10 0 0 0 78931 13 0 0 20 0 22 0 6062189 10060525568 939402 33554432000 1073741824 1073778376 140733219650768 139716681730448 139717182708194 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 [pid=11029/tid=11402] ppid=11026 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/11029/task/11402/stat : 11402 (java) S 11026 11029 8968 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 6062189 10060525568 939402 33554432000 1073741824 1073778376 140733219650768 139716682785576 218238072745 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 1800.16 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 11029 sig 9 ??? end of watcher thread Dumping a history of the last processes samples Child status: 143 Real time (s): 922.251 CPU time (s): 1800.82 CPU user time (s): 1796.79 CPU system time (s): 4.03039 CPU usage (%): 195.263 Max. virtual memory (cumulated for all children) (KiB): 9825940 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1796.79 system time used= 4.03039 maximum resident set size= 3757720 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 27429 page faults= 1 swaps= 0 block input operations= 0 block output operations= 704 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 23859 involuntary context switches= 18614 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 5.8921 second user time and 7.45387 second system time The end
Begin job on node106 at 2016-06-30 03:52:12 IDJOB=4119257 IDBENCH=111685 IDSOLVER=2543 FILE ID=node106/4119257-1467251532 RUNJOBID= node106-1467248675-9332 PBS_JOBID= 20004477 Free space on /tmp= 71748 MiB SOLVER NAME= Sat4j PB 2.3.6 Res+CP PB16 BENCH NAME= PB15eval/normalized-PB15eval/OPT-SMALLINT-NLC/minlplib2-pb-0.1.0/opb/normalized-edgecross22-048.opb COMMAND LINE= java -jar sat4j-pb.jar Both BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4119257-1467251532/watcher-4119257-1467251532 -o /tmp/evaluation-result-4119257-1467251532/solver-4119257-1467251532 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node106-1467248675-9332 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4119257-1467251532.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 1e8fbdc9e198767bda88c0ca10041dfe RANDOM SEED=1201302672 node106.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.495 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.99 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.495 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.56 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.495 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.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.495 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.495 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.495 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.495 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.495 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.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32872528 kB MemFree: 28895116 kB Buffers: 34892 kB Cached: 2859500 kB SwapCached: 0 kB Active: 2542464 kB Inactive: 674972 kB Active(anon): 309296 kB Inactive(anon): 16068 kB Active(file): 2233168 kB Inactive(file): 658904 kB Unevictable: 7620 kB Mlocked: 7620 kB SwapTotal: 67108856 kB SwapFree: 67108856 kB Dirty: 2080 kB Writeback: 0 kB AnonPages: 264984 kB Mapped: 23548 kB Shmem: 204 kB Slab: 623964 kB SReclaimable: 67136 kB SUnreclaim: 556828 kB KernelStack: 1808 kB PageTables: 4440 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 699632 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 167936 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 node106 at 2016-06-30 04:07:35