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) | 335 | 1800.05 | 1050.95 |
| Name | PB15eval/normalized-PB15eval/OPT-SMALLINT-NLC/ minlplib2-pb-0.1.0/opb/normalized-edgecross10-050.opb |
| MD5SUM | 5038afd95adaf7154dd353d30c41f4e9 |
| 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 | 293 |
| Best CPU time to get the best result obtained on this benchmark | 1800.07 |
| 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 | 91 |
| Total number of constraints | 481 |
| Number of constraints which are clauses | 480 |
| 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 | 872 |
| Biggest coefficient in the objective function | 527 |
| Number of bits for the biggest coefficient in the objective function | 10 |
| Sum of the numbers in the objective function | 2561 |
| Number of bits of the sum of numbers in the objective function | 12 |
| Biggest number in a constraint | 527 |
| Number of bits of the biggest number in a constraint | 10 |
| Biggest sum of numbers in a constraint | 2561 |
| Number of bits of the biggest sum of numbers | 12 |
| Number of products (including duplicates) | 785 |
| Sum of products size (including duplicates) | 1570 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.09 c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS 0.00/0.09 c This is free software under the dual EPL/GNU LGPL licenses. 0.00/0.09 c See www.sat4j.org for details. 0.00/0.09 c version PB16.v20160501 0.00/0.09 c java.runtime.name Java(TM) SE Runtime Environment 0.00/0.09 c java.vm.name Java HotSpot(TM) 64-Bit Server VM 0.00/0.09 c java.vm.version 19.1-b02 0.00/0.09 c java.vm.vendor Sun Microsystems Inc. 0.00/0.09 c sun.arch.data.model 64 0.00/0.09 c java.version 1.6.0_24 0.00/0.09 c os.name Linux 0.00/0.09 c os.version 2.6.32-71.29.1.el6.x86_64 0.00/0.09 c os.arch amd64 0.00/0.09 c Free memory 501472288 0.00/0.09 c Max memory 7480803328 0.00/0.09 c Total memory 504102912 0.00/0.09 c Number of processors 8 0.09/0.12 c Pseudo Boolean Optimization by upper bound 0.09/0.12 c ManyCore solver with 2 solvers running in parallel 0.09/0.12 c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<< 0.09/0.12 c --- Begin Solver configuration --- 0.09/0.12 c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@5d764be1 0.09/0.12 c Learn all clauses as in MiniSAT 0.09/0.12 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.09/0.12 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.09/0.12 c Expensive reason simplification 0.09/0.12 c Glucose 2.1 dynamic restart strategy 0.09/0.12 c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000 0.09/0.12 c timeout=2147483s 0.09/0.12 c DB Simplification allowed=false 0.09/0.12 c Listener: org.sat4j.pb.tools.ManyCorePB@9f436f5 0.09/0.12 c --- End Solver configuration --- 0.09/0.12 c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<< 0.09/0.12 c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP) 0.09/0.12 c --- Begin Solver configuration --- 0.09/0.12 c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@4413ee 0.09/0.12 c Learn all clauses as in MiniSAT 0.09/0.12 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.09/0.12 c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function 0.09/0.12 c No reason simplification 0.09/0.12 c Armin Biere (Picosat) restarts strategy 0.09/0.12 c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000 0.09/0.12 c timeout=2147483s 0.09/0.12 c DB Simplification allowed=false 0.09/0.12 c Listener: org.sat4j.pb.tools.ManyCorePB@9f436f5 0.09/0.12 c --- End Solver configuration --- 0.09/0.12 c solving HOME/instance-4119373-1467254484.opb 0.09/0.12 c reading problem ... 0.09/0.12 c objective function found 0.22/0.28 c ... done. Wall clock time 0.163s. 0.22/0.28 c declared #vars 91 0.22/0.28 c internal #vars 876 0.22/0.28 c #constraints 2052 0.22/0.28 c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<< 0.22/0.28 c constraints type 0.22/0.28 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 1265 0.22/0.28 c org.sat4j.specs.Constr$1 => 1 0.22/0.28 c org.sat4j.minisat.constraints.cnf.UnitClause => 1 0.22/0.28 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 785 0.22/0.28 c 2052 constraints processed. 0.22/0.28 c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<< 0.22/0.28 c constraints type 0.22/0.28 c org.sat4j.specs.Constr$1 => 1 0.22/0.28 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 1265 0.22/0.28 c org.sat4j.pb.constraints.pb.UnitClausePB => 1 0.22/0.28 c org.sat4j.pb.constraints.pb.MaxWatchPb => 785 0.22/0.28 c 2052 constraints processed. 0.22/0.28 c objective function length is 872 literals 0.47/0.30 c And the winner is solver0 0.52/0.79 c SATISFIABLE 0.52/0.79 c OPTIMIZING... 0.52/0.79 c Got one! Elapsed wall clock time (in seconds):0.668 0.52/0.79 o 503 0.54/0.82 c And the winner is solver0 0.61/1.30 c Got one! Elapsed wall clock time (in seconds):1.177 0.61/1.30 o 500 0.62/1.31 c And the winner is solver0 1.11/1.80 c Got one! Elapsed wall clock time (in seconds):1.686 1.11/1.80 o 494 1.11/1.89 c And the winner is solver0 1.58/2.31 c Got one! Elapsed wall clock time (in seconds):2.191 1.58/2.31 o 493 1.81/2.46 c And the winner is solver0 2.10/2.81 c Got one! Elapsed wall clock time (in seconds):2.694 2.10/2.81 o 492 2.10/2.88 c And the winner is solver0 2.36/3.32 c Got one! Elapsed wall clock time (in seconds):3.197 2.36/3.32 o 491 2.36/3.32 c And the winner is solver0 2.41/3.82 c Got one! Elapsed wall clock time (in seconds):3.699 2.41/3.82 o 490 2.41/3.83 c And the winner is solver0 2.45/4.32 c Got one! Elapsed wall clock time (in seconds):4.202 2.45/4.32 o 489 2.64/4.44 c And the winner is solver0 2.74/4.82 c Got one! Elapsed wall clock time (in seconds):4.704 2.74/4.82 o 488 2.74/4.83 c And the winner is solver0 2.77/5.33 c Got one! Elapsed wall clock time (in seconds):5.207 2.77/5.33 o 486 2.77/5.33 c And the winner is solver0 2.78/5.83 c Got one! Elapsed wall clock time (in seconds):5.709 2.78/5.83 o 485 2.78/5.85 c And the winner is solver0 2.83/6.33 c Got one! Elapsed wall clock time (in seconds):6.211 2.83/6.33 o 484 3.01/6.50 c And the winner is solver0 3.30/6.83 c Got one! Elapsed wall clock time (in seconds):6.713 3.30/6.83 o 480 3.51/6.90 c And the winner is solver0 3.61/7.33 c Got one! Elapsed wall clock time (in seconds):7.215 3.61/7.33 o 477 3.61/7.34 c And the winner is solver0 3.77/7.84 c Got one! Elapsed wall clock time (in seconds):7.716 3.77/7.84 o 476 3.77/7.88 c And the winner is solver0 3.88/8.34 c Got one! Elapsed wall clock time (in seconds):8.218 3.88/8.34 o 475 4.01/8.43 c And the winner is solver0 4.09/8.84 c Got one! Elapsed wall clock time (in seconds):8.72 4.09/8.84 o 474 4.22/8.92 c And the winner is solver0 4.28/9.34 c Got one! Elapsed wall clock time (in seconds):9.221 4.28/9.34 o 472 4.28/9.39 c And the winner is solver0 4.39/9.84 c Got one! Elapsed wall clock time (in seconds):9.723 4.39/9.84 o 469 4.55/9.95 c And the winner is solver0 4.68/10.34 c Got one! Elapsed wall clock time (in seconds):10.224 4.68/10.34 o 468 4.78/10.47 c And the winner is solver0 5.09/10.84 c Got one! Elapsed wall clock time (in seconds):10.726 5.09/10.84 o 463 5.09/10.85 c And the winner is solver0 5.09/11.35 c Got one! Elapsed wall clock time (in seconds):11.227 5.09/11.35 o 461 5.20/11.41 c And the winner is solver0 5.25/11.85 c Got one! Elapsed wall clock time (in seconds):11.729 5.25/11.85 o 459 5.25/11.85 c And the winner is solver0 5.25/12.35 c Got one! Elapsed wall clock time (in seconds):12.23 5.25/12.35 o 456 5.81/12.66 c And the winner is solver0 5.95/12.85 c Got one! Elapsed wall clock time (in seconds):12.732 5.95/12.85 o 451 6.04/12.95 c And the winner is solver0 6.18/13.35 c Got one! Elapsed wall clock time (in seconds):13.233 6.18/13.35 o 450 6.27/13.47 c And the winner is solver0 6.45/13.85 c Got one! Elapsed wall clock time (in seconds):13.735 6.45/13.85 o 446 6.58/13.91 c And the winner is solver0 6.61/14.36 c Got one! Elapsed wall clock time (in seconds):14.237 6.61/14.36 o 445 6.90/14.53 c cleaning 7010 clauses out of 14021 with flag 2099/14021 8.59/15.31 c cleaning 6506 clauses out of 13012 with flag 14197/20022 10.71/16.31 c cleaning 6750 clauses out of 13504 with flag 28231/27020 12.99/17.42 c cleaning 7378 clauses out of 14755 with flag 44635/35021 13.19/17.58 c And the winner is solver1 13.35/17.86 c Got one! Elapsed wall clock time (in seconds):17.739 13.35/17.86 o 441 13.43/17.96 c And the winner is solver0 13.60/18.36 c Got one! Elapsed wall clock time (in seconds):18.241 13.60/18.36 o 439 13.67/18.44 c And the winner is solver0 13.82/18.86 c Got one! Elapsed wall clock time (in seconds):18.743 13.82/18.86 o 438 13.89/18.95 c And the winner is solver0 14.04/19.36 c Got one! Elapsed wall clock time (in seconds):19.245 14.04/19.36 o 433 15.20/19.97 c cleaning 7254 clauses out of 14512 with flag 9850/42156 15.59/20.17 c And the winner is solver0 15.78/20.37 c Got one! Elapsed wall clock time (in seconds):20.247 15.78/20.37 o 428 15.84/20.42 c And the winner is solver0 15.93/20.87 c Got one! Elapsed wall clock time (in seconds):20.749 15.93/20.87 o 427 15.93/20.89 c And the winner is solver0 16.00/21.37 c Got one! Elapsed wall clock time (in seconds):21.251 16.00/21.37 o 423 16.05/21.41 c And the winner is solver0 16.13/21.87 c Got one! Elapsed wall clock time (in seconds):21.753 16.13/21.87 o 422 16.39/22.03 c And the winner is solver0 16.50/22.37 c Got one! Elapsed wall clock time (in seconds):22.255 16.50/22.37 o 420 17.15/22.71 c And the winner is solver0 17.24/22.88 c Got one! Elapsed wall clock time (in seconds):22.757 17.24/22.88 o 416 17.27/22.91 c And the winner is solver0 17.34/23.38 c Got one! Elapsed wall clock time (in seconds):23.259 17.34/23.38 o 414 17.37/23.43 c And the winner is solver0 17.49/23.88 c Got one! Elapsed wall clock time (in seconds):23.761 17.49/23.88 o 413 17.79/24.05 c And the winner is solver0 17.96/24.38 c Got one! Elapsed wall clock time (in seconds):24.263 17.96/24.38 o 411 18.19/24.55 c cleaning 7833 clauses out of 15679 with flag 2271/50577 18.40/24.64 c And the winner is solver0 18.54/24.88 c Got one! Elapsed wall clock time (in seconds):24.765 18.54/24.88 o 410 18.56/24.92 c And the winner is solver0 18.65/25.39 c Got one! Elapsed wall clock time (in seconds):25.268 18.65/25.39 o 408 18.68/25.49 c And the winner is solver0 18.91/25.89 c Got one! Elapsed wall clock time (in seconds):25.769 18.91/25.89 o 407 19.13/26.00 c And the winner is solver0 19.19/26.39 c Got one! Elapsed wall clock time (in seconds):26.271 19.19/26.39 o 406 19.22/26.46 c And the winner is solver0 19.37/26.89 c Got one! Elapsed wall clock time (in seconds):26.774 19.37/26.89 o 403 19.38/26.92 c And the winner is solver0 19.46/27.39 c Got one! Elapsed wall clock time (in seconds):27.275 19.46/27.39 o 402 19.67/27.51 c And the winner is solver0 19.73/27.90 c Got one! Elapsed wall clock time (in seconds):27.777 19.73/27.90 o 401 20.52/28.33 c And the winner is solver0 20.66/28.40 c Got one! Elapsed wall clock time (in seconds):28.279 20.66/28.40 o 399 20.94/28.58 c And the winner is solver0 21.17/28.90 c Got one! Elapsed wall clock time (in seconds):28.782 21.17/28.90 o 398 21.36/29.07 c cleaning 8523 clauses out of 17045 with flag 2319/59776 21.77/29.28 c And the winner is solver0 21.99/29.40 c Got one! Elapsed wall clock time (in seconds):29.284 21.99/29.40 o 397 22.97/29.90 c cleaning 7014 clauses out of 14036 with flag 8476/65290 24.37/30.64 c cleaning 6511 clauses out of 13022 with flag 21610/71290 26.17/31.54 c cleaning 6755 clauses out of 13513 with flag 36747/78292 27.45/32.18 c And the winner is solver0 27.67/32.41 c Got one! Elapsed wall clock time (in seconds):32.286 27.67/32.41 o 391 27.67/32.47 c And the winner is solver0 27.86/32.91 c Got one! Elapsed wall clock time (in seconds):32.788 27.86/32.91 o 389 28.05/33.05 c cleaning 6459 clauses out of 12919 with flag 2256/84453 29.64/33.86 c cleaning 6229 clauses out of 12457 with flag 15930/90450 31.44/34.72 c cleaning 6614 clauses out of 13229 with flag 30978/97451 31.64/34.87 c And the winner is solver0 31.81/34.96 c Got one! Elapsed wall clock time (in seconds):34.841 31.81/34.96 o 388 33.02/35.51 c And the winner is solver0 33.18/35.96 c Got one! Elapsed wall clock time (in seconds):35.843 33.18/35.96 o 387 33.25/36.09 c cleaning 6342 clauses out of 12696 with flag 2087/103532 33.86/36.37 c And the winner is solver0 34.10/36.51 c Got one! Elapsed wall clock time (in seconds):36.395 34.10/36.51 o 384 34.27/36.63 c And the winner is solver0 34.41/37.02 c Got one! Elapsed wall clock time (in seconds):36.897 34.41/37.02 o 383 34.96/37.37 c cleaning 6308 clauses out of 12630 with flag 6205/109808 36.36/38.04 c cleaning 6151 clauses out of 12320 with flag 18578/115806 37.96/38.87 c cleaning 6579 clauses out of 13169 with flag 33030/122806 39.96/39.86 c cleaning 7293 clauses out of 14590 with flag 50207/130806 42.36/41.07 c cleaning 8147 clauses out of 16297 with flag 70281/139806 45.68/42.66 c cleaning 9075 clauses out of 18150 with flag 94333/149806 49.48/44.59 c cleaning 10038 clauses out of 20076 with flag 121060/160807 54.00/46.75 c cleaning 11016 clauses out of 22037 with flag 149522/172806 58.79/49.13 c cleaning 12007 clauses out of 24021 with flag 181623/185806 64.39/51.92 c cleaning 13008 clauses out of 26015 with flag 217783/199807 70.96/55.11 c cleaning 14001 clauses out of 28006 with flag 255166/214806 77.37/58.36 c cleaning 15001 clauses out of 30007 with flag 296647/230808 84.23/61.99 c cleaning 16003 clauses out of 32006 with flag 339516/247808 90.45/65.08 c cleaning 17000 clauses out of 34004 with flag 384460/265809 96.84/68.27 c cleaning 18002 clauses out of 36003 with flag 430913/284808 98.03/68.85 c And the winner is solver0 98.03/69.32 c Got one! Elapsed wall clock time (in seconds):69.205 98.03/69.32 o 379 98.19/69.42 c And the winner is solver0 98.31/69.83 c Got one! Elapsed wall clock time (in seconds):69.708 98.31/69.83 o 378 99.04/70.25 c cleaning 12057 clauses out of 24113 with flag 6003/290920 101.13/71.25 c cleaning 9020 clauses out of 18049 with flag 23178/296913 103.12/72.22 c cleaning 8009 clauses out of 16029 with flag 40311/303913 104.91/73.14 c And the winner is solver0 105.14/73.33 c Got one! Elapsed wall clock time (in seconds):73.211 105.14/73.33 o 373 105.50/73.56 c And the winner is solver0 105.82/73.83 c Got one! Elapsed wall clock time (in seconds):73.714 105.82/73.83 o 370 107.15/74.55 c cleaning 10181 clauses out of 20361 with flag 9692/316254 108.94/75.48 c cleaning 8084 clauses out of 16179 with flag 24301/322253 111.14/76.54 c cleaning 7540 clauses out of 15096 with flag 41677/329254 113.34/77.68 c cleaning 7775 clauses out of 15555 with flag 60206/337253 116.14/79.05 c cleaning 8389 clauses out of 16784 with flag 82436/346257 119.14/80.51 c cleaning 9192 clauses out of 18391 with flag 105596/356253 119.14/80.54 c And the winner is solver0 119.44/80.84 c Got one! Elapsed wall clock time (in seconds):80.718 119.44/80.84 o 369 120.96/81.67 c cleaning 7213 clauses out of 14440 with flag 12177/361494 123.26/82.76 c cleaning 6614 clauses out of 13228 with flag 25882/367495 125.45/83.87 c cleaning 6803 clauses out of 13612 with flag 41859/374493 128.25/85.23 c cleaning 7405 clauses out of 14809 with flag 60306/382493 131.05/86.68 c cleaning 8202 clauses out of 16404 with flag 82474/391493 134.25/88.28 c cleaning 9102 clauses out of 18203 with flag 107507/401494 137.85/90.02 c cleaning 10042 clauses out of 20101 with flag 133196/412494 141.65/91.99 c cleaning 11029 clauses out of 22059 with flag 162682/424494 146.25/94.22 c cleaning 12013 clauses out of 24029 with flag 193953/437493 151.05/96.68 c cleaning 13006 clauses out of 26016 with flag 227884/451493 156.45/99.37 c cleaning 14003 clauses out of 28011 with flag 262213/466494 162.05/102.18 c cleaning 15003 clauses out of 30007 with flag 298214/482493 168.45/105.31 c cleaning 16002 clauses out of 32006 with flag 335829/499495 175.45/108.84 c cleaning 16999 clauses out of 34003 with flag 378581/517494 183.25/112.73 c cleaning 17996 clauses out of 36003 with flag 423718/536493 191.84/117.00 c cleaning 19002 clauses out of 38007 with flag 472357/556493 200.06/121.15 c cleaning 20001 clauses out of 40006 with flag 517738/577494 209.64/125.96 c cleaning 20995 clauses out of 42006 with flag 568217/599495 218.85/130.60 c cleaning 22000 clauses out of 44010 with flag 623304/622494 228.05/135.17 c cleaning 23003 clauses out of 46010 with flag 678788/646494 238.05/140.18 c cleaning 23997 clauses out of 48006 with flag 736113/671493 249.52/146.01 c cleaning 25001 clauses out of 50009 with flag 798772/697493 259.72/151.10 c cleaning 26003 clauses out of 52008 with flag 860114/724493 270.72/156.64 c cleaning 27003 clauses out of 54008 with flag 923112/752496 280.32/161.49 c cleaning 27999 clauses out of 56002 with flag 986486/781493 291.11/166.80 c cleaning 29001 clauses out of 58004 with flag 1051984/811494 301.71/172.14 c cleaning 30002 clauses out of 60003 with flag 1119883/842494 313.51/178.09 c cleaning 30998 clauses out of 62000 with flag 1191077/874493 327.60/185.02 c cleaning 32002 clauses out of 64003 with flag 1263565/907494 342.73/192.60 c cleaning 32996 clauses out of 66000 with flag 1338188/941493 361.45/201.85 c cleaning 34002 clauses out of 68004 with flag 1418787/976493 379.16/210.64 c cleaning 34996 clauses out of 70002 with flag 1497738/1012493 397.92/219.93 c cleaning 36001 clauses out of 72006 with flag 1577193/1049493 418.78/230.36 c cleaning 37001 clauses out of 74005 with flag 1662074/1087493 420.39/231.16 c And the winner is solver1 420.39/231.25 c Got one! Elapsed wall clock time (in seconds):231.132 420.39/231.25 o 366 421.48/231.90 c cleaning 21482 clauses out of 42967 with flag 5438/1093456 423.48/232.87 c cleaning 13741 clauses out of 27486 with flag 21165/1099457 425.68/233.90 c cleaning 10372 clauses out of 20745 with flag 39546/1106457 427.68/234.97 c cleaning 9179 clauses out of 18372 with flag 61302/1114456 431.06/236.96 c cleaning 9095 clauses out of 18193 with flag 84798/1123456 433.86/238.36 c cleaning 9545 clauses out of 19099 with flag 113019/1133457 437.07/239.91 c cleaning 10275 clauses out of 20554 with flag 143696/1144457 440.46/241.62 c cleaning 11139 clauses out of 22281 with flag 176536/1156459 444.26/243.51 c cleaning 12067 clauses out of 24139 with flag 211687/1169456 448.66/245.71 c cleaning 13034 clauses out of 26073 with flag 250210/1183457 453.26/248.00 c cleaning 14016 clauses out of 28038 with flag 291448/1198456 458.46/250.66 c cleaning 15005 clauses out of 30022 with flag 340530/1214456 460.66/251.76 c And the winner is solver0 468.07/259.20 c Got one! Elapsed wall clock time (in seconds):259.076 468.07/259.20 o 364 469.87/260.17 c cleaning 13788 clauses out of 27584 with flag 14346/1227023 471.67/261.02 c cleaning 9898 clauses out of 19796 with flag 31602/1233023 473.48/261.99 c cleaning 8439 clauses out of 16898 with flag 52299/1240023 475.48/263.00 c cleaning 8229 clauses out of 16459 with flag 74740/1248023 476.27/263.32 c And the winner is solver0 487.79/274.87 c Got one! Elapsed wall clock time (in seconds):274.747 487.79/274.87 o 359 487.87/274.96 c And the winner is solver0 488.07/275.37 c Got one! Elapsed wall clock time (in seconds):275.251 488.07/275.37 o 354 488.92/275.87 c cleaning 7261 clauses out of 14523 with flag 8453/1254316 490.52/276.63 c cleaning 6631 clauses out of 13265 with flag 26467/1260319 492.32/277.53 c cleaning 6813 clauses out of 13631 with flag 46896/1267316 494.32/278.59 c cleaning 7407 clauses out of 14818 with flag 70328/1275316 496.72/279.77 c cleaning 8203 clauses out of 16413 with flag 97623/1284318 499.52/281.15 c cleaning 9103 clauses out of 18208 with flag 128978/1294316 502.73/282.76 c cleaning 10048 clauses out of 20105 with flag 161020/1305316 506.12/284.46 c cleaning 11026 clauses out of 22058 with flag 197659/1317317 510.12/286.41 c cleaning 12012 clauses out of 24031 with flag 238597/1330316 514.32/288.54 c cleaning 13001 clauses out of 26019 with flag 279787/1344316 519.12/290.91 c cleaning 14006 clauses out of 28018 with flag 323911/1359316 524.12/293.43 c cleaning 15004 clauses out of 30012 with flag 368686/1375316 529.99/296.32 c cleaning 15996 clauses out of 32009 with flag 421153/1392317 536.39/299.51 c cleaning 17003 clauses out of 34014 with flag 477212/1410318 542.99/302.81 c cleaning 18000 clauses out of 36009 with flag 536059/1429316 549.79/306.29 c cleaning 19000 clauses out of 38011 with flag 600270/1449318 557.19/309.94 c cleaning 20001 clauses out of 40009 with flag 664209/1470316 564.99/313.87 c cleaning 21004 clauses out of 42009 with flag 732293/1492317 573.79/318.21 c cleaning 22001 clauses out of 44005 with flag 805624/1515317 582.79/322.76 c cleaning 22999 clauses out of 46004 with flag 883883/1539317 592.79/327.72 c cleaning 24003 clauses out of 48006 with flag 963722/1564318 597.79/330.28 c And the winner is solver0 598.83/331.38 c Got one! Elapsed wall clock time (in seconds):331.265 598.83/331.38 o 353 601.51/332.75 c cleaning 21723 clauses out of 43447 with flag 13837/1583762 603.51/333.77 c cleaning 13860 clauses out of 27724 with flag 32675/1589762 605.71/334.82 c cleaning 10429 clauses out of 20865 with flag 56446/1596763 607.91/335.95 c cleaning 9214 clauses out of 18435 with flag 81850/1604762 610.31/337.20 c cleaning 9109 clauses out of 18223 with flag 110486/1613764 613.31/338.60 c cleaning 9557 clauses out of 19115 with flag 139637/1623765 614.70/339.33 c And the winner is solver0 616.01/340.69 c Got one! Elapsed wall clock time (in seconds):340.572 616.01/340.69 o 352 617.91/341.63 c cleaning 9985 clauses out of 19975 with flag 14767/1634182 619.51/342.47 c cleaning 7992 clauses out of 15990 with flag 32895/1640182 621.33/343.35 c cleaning 7497 clauses out of 15000 with flag 53843/1647184 623.53/344.41 c cleaning 7749 clauses out of 15501 with flag 76320/1655182 625.91/345.66 c cleaning 8374 clauses out of 16753 with flag 103793/1664183 628.71/347.02 c cleaning 9188 clauses out of 18378 with flag 132355/1674182 631.71/348.54 c cleaning 10096 clauses out of 20193 with flag 163845/1685185 635.11/350.28 c cleaning 11045 clauses out of 22094 with flag 201133/1697182 639.11/352.22 c cleaning 12025 clauses out of 24050 with flag 240548/1710183 643.33/354.33 c cleaning 13011 clauses out of 26024 with flag 284066/1724182 647.92/356.64 c cleaning 14000 clauses out of 28013 with flag 331353/1739182 648.71/357.09 c And the winner is solver0 650.57/358.85 c Got one! Elapsed wall clock time (in seconds):358.731 650.57/358.85 o 350 651.25/359.26 c cleaning 9621 clauses out of 19247 with flag 5365/1744416 652.65/359.93 c And the winner is solver0 655.57/362.81 c Got one! Elapsed wall clock time (in seconds):362.688 655.57/362.81 o 349 655.75/363.00 c cleaning 7803 clauses out of 15615 with flag 2181/1750405 657.55/363.87 c cleaning 6902 clauses out of 13813 with flag 19418/1756406 659.35/364.79 c cleaning 6954 clauses out of 13911 with flag 42891/1763406 661.55/365.85 c cleaning 7478 clauses out of 14956 with flag 68703/1771405 664.15/367.10 c cleaning 8239 clauses out of 16478 with flag 98655/1780405 666.75/368.47 c cleaning 9115 clauses out of 18240 with flag 131482/1790406 669.94/370.06 c cleaning 10061 clauses out of 20126 with flag 167451/1801407 673.56/371.82 c cleaning 11029 clauses out of 22063 with flag 206754/1813405 677.34/373.72 c cleaning 12013 clauses out of 24034 with flag 248895/1826405 681.54/375.87 c cleaning 13009 clauses out of 26021 with flag 293670/1840405 686.34/378.22 c cleaning 14007 clauses out of 28016 with flag 344275/1855409 691.36/380.79 c cleaning 15001 clauses out of 30005 with flag 395807/1871405 694.94/382.52 c And the winner is solver0 698.62/386.27 c Got one! Elapsed wall clock time (in seconds):386.151 698.62/386.27 o 348 700.93/387.45 c cleaning 15660 clauses out of 31333 with flag 14796/1887734 702.94/388.42 c cleaning 10832 clauses out of 21671 with flag 34252/1893732 704.94/389.47 c cleaning 8919 clauses out of 17839 with flag 54726/1900732 705.53/389.77 c And the winner is solver0 707.40/391.58 c Got one! Elapsed wall clock time (in seconds):391.459 707.40/391.58 o 344 708.31/392.09 c cleaning 7080 clauses out of 14174 with flag 8574/1905986 710.11/392.90 c cleaning 6545 clauses out of 13095 with flag 28353/1911987 711.92/393.81 c cleaning 6773 clauses out of 13550 with flag 49889/1918987 713.91/394.88 c cleaning 7388 clauses out of 14776 with flag 74872/1926986 716.52/396.11 c cleaning 8194 clauses out of 16390 with flag 101842/1935988 719.31/397.50 c cleaning 9095 clauses out of 18194 with flag 132917/1945986 722.31/399.08 c cleaning 10046 clauses out of 20100 with flag 165513/1956987 725.91/400.84 c cleaning 11026 clauses out of 22057 with flag 203935/1968990 729.91/402.80 c cleaning 12014 clauses out of 24028 with flag 247964/1981987 734.12/404.94 c cleaning 13002 clauses out of 26013 with flag 292840/1995986 738.91/407.37 c cleaning 14003 clauses out of 28011 with flag 342685/2010986 744.11/409.95 c cleaning 15004 clauses out of 30008 with flag 392380/2026986 749.71/412.71 c cleaning 16000 clauses out of 32005 with flag 447600/2043987 755.71/415.80 c cleaning 17000 clauses out of 34006 with flag 505595/2061988 762.31/419.08 c cleaning 17999 clauses out of 36004 with flag 567328/2080986 769.51/422.60 c cleaning 18996 clauses out of 38006 with flag 632240/2100987 776.90/426.37 c cleaning 20004 clauses out of 40010 with flag 702462/2121987 784.72/430.23 c cleaning 21003 clauses out of 42005 with flag 767860/2143986 789.70/432.74 c And the winner is solver0 831.05/474.16 c Got one! Elapsed wall clock time (in seconds):474.036 831.05/474.16 o 343 833.64/475.51 c cleaning 20454 clauses out of 40911 with flag 15922/2163895 835.64/476.58 c cleaning 13225 clauses out of 26457 with flag 33536/2169895 837.84/477.62 c cleaning 10113 clauses out of 20231 with flag 56001/2176894 840.04/478.73 c cleaning 9059 clauses out of 18120 with flag 81107/2184896 842.64/480.04 c cleaning 9026 clauses out of 18059 with flag 111187/2193894 845.44/481.42 c cleaning 9515 clauses out of 19036 with flag 143948/2203897 848.45/483.00 c cleaning 10258 clauses out of 20518 with flag 180531/2214894 852.04/484.72 c cleaning 11127 clauses out of 22260 with flag 218086/2226894 855.84/486.68 c cleaning 12065 clauses out of 24133 with flag 260462/2239894 860.23/488.86 c cleaning 13030 clauses out of 26068 with flag 304416/2253894 865.09/491.25 c cleaning 14019 clauses out of 28039 with flag 350735/2268895 870.09/493.73 c cleaning 15009 clauses out of 30020 with flag 402098/2284895 875.68/496.52 c cleaning 16003 clauses out of 32010 with flag 455525/2301894 881.49/499.49 c cleaning 17004 clauses out of 34008 with flag 510678/2319895 888.09/502.76 c cleaning 18001 clauses out of 36003 with flag 564886/2338894 891.08/504.23 c And the winner is solver0 893.95/507.22 c Got one! Elapsed wall clock time (in seconds):507.097 893.95/507.22 o 342 896.12/508.35 c cleaning 16246 clauses out of 32497 with flag 13867/2353389 898.12/509.33 c cleaning 11120 clauses out of 22251 with flag 31377/2359389 900.10/510.32 c cleaning 9065 clauses out of 18131 with flag 50397/2366389 902.30/511.49 c cleaning 8531 clauses out of 17066 with flag 73583/2374389 905.10/512.80 c cleaning 8765 clauses out of 17536 with flag 100994/2383390 907.90/514.27 c cleaning 9383 clauses out of 18770 with flag 129014/2393389 911.32/515.91 c cleaning 10191 clauses out of 20388 with flag 160965/2404390 914.90/517.74 c cleaning 11095 clauses out of 22196 with flag 196118/2416389 918.90/519.78 c cleaning 12050 clauses out of 24103 with flag 235115/2429391 923.50/522.05 c cleaning 13024 clauses out of 26052 with flag 277108/2443390 928.50/524.55 c cleaning 14012 clauses out of 28027 with flag 323229/2458389 933.90/527.28 c cleaning 15004 clauses out of 30015 with flag 370859/2474389 940.11/530.31 c cleaning 16004 clauses out of 32011 with flag 422316/2491389 946.51/533.56 c cleaning 17000 clauses out of 34008 with flag 473157/2509390 953.11/536.87 c cleaning 18002 clauses out of 36007 with flag 527812/2528389 960.29/540.45 c cleaning 18998 clauses out of 38005 with flag 576873/2548389 967.89/544.21 c cleaning 20004 clauses out of 40007 with flag 627266/2569389 976.09/548.35 c cleaning 20997 clauses out of 42003 with flag 684877/2591389 984.88/552.80 c cleaning 22002 clauses out of 44006 with flag 749711/2614389 993.88/557.21 c cleaning 23002 clauses out of 46005 with flag 814846/2638390 1003.69/562.11 c cleaning 23998 clauses out of 48005 with flag 880400/2663392 1014.28/567.43 c cleaning 24998 clauses out of 50004 with flag 957021/2689389 1025.08/572.83 c cleaning 25998 clauses out of 52006 with flag 1032332/2716389 1036.70/578.68 c cleaning 27003 clauses out of 54010 with flag 1107272/2744391 1049.29/584.94 c cleaning 27994 clauses out of 56007 with flag 1180821/2773391 1062.28/591.42 c cleaning 29003 clauses out of 58011 with flag 1261795/2803389 1075.08/597.84 c cleaning 29999 clauses out of 60009 with flag 1341632/2834390 1088.27/604.49 c cleaning 31003 clauses out of 62010 with flag 1421421/2866390 1102.27/611.47 c cleaning 32003 clauses out of 64007 with flag 1495313/2899390 1117.47/619.07 c cleaning 33000 clauses out of 66006 with flag 1588493/2933392 1134.18/627.34 c cleaning 33997 clauses out of 68004 with flag 1685557/2968390 1150.98/635.70 c cleaning 35000 clauses out of 70007 with flag 1773536/3004390 1168.37/644.49 c cleaning 35997 clauses out of 72006 with flag 1879056/3041389 1185.77/653.16 c cleaning 37002 clauses out of 74009 with flag 1979421/3079389 1204.38/662.48 c cleaning 38001 clauses out of 76009 with flag 2080054/3118391 1224.58/672.55 c cleaning 39002 clauses out of 78008 with flag 2182491/3158391 1243.37/681.98 c cleaning 40001 clauses out of 80005 with flag 2287585/3199390 1259.57/690.00 c And the winner is solver0 1288.77/719.37 c Got one! Elapsed wall clock time (in seconds):719.255 1288.77/719.37 o 339 1292.56/721.39 c cleaning 40440 clauses out of 80889 with flag 13266/3240275 1294.95/722.58 c cleaning 23219 clauses out of 46451 with flag 27954/3246277 1297.15/723.65 c cleaning 15112 clauses out of 30231 with flag 46110/3253276 1299.56/724.86 c cleaning 11558 clauses out of 23118 with flag 66933/3261275 1302.17/726.18 c cleaning 10275 clauses out of 20560 with flag 88019/3270275 1304.95/727.58 c cleaning 10137 clauses out of 20284 with flag 111586/3280274 1308.35/729.20 c cleaning 10570 clauses out of 21147 with flag 140723/3291274 1311.95/731.02 c cleaning 11288 clauses out of 22577 with flag 173584/3303274 1315.55/732.88 c cleaning 12144 clauses out of 24289 with flag 208691/3316274 1319.95/735.08 c cleaning 13072 clauses out of 26145 with flag 243418/3330274 1325.15/737.60 c cleaning 14037 clauses out of 28074 with flag 276154/3345275 1330.35/740.22 c cleaning 15016 clauses out of 30037 with flag 313885/3361275 1335.95/743.03 c cleaning 16007 clauses out of 32020 with flag 357281/3378274 1341.56/745.89 c cleaning 17005 clauses out of 34014 with flag 400489/3396275 1347.95/749.10 c cleaning 18001 clauses out of 36008 with flag 444372/3415274 1354.56/752.30 c And the winner is solver0 1458.10/855.95 c Got one! Elapsed wall clock time (in seconds):855.827 1458.10/855.95 o 337 1460.56/857.29 c cleaning 21376 clauses out of 42756 with flag 12454/3440023 1462.56/858.27 c cleaning 13685 clauses out of 27380 with flag 26748/3446023 1464.58/859.27 c cleaning 10342 clauses out of 20696 with flag 43626/3453024 1466.96/860.46 c cleaning 9173 clauses out of 18354 with flag 64713/3461024 1469.56/861.72 c cleaning 9085 clauses out of 18180 with flag 89027/3470023 1472.36/863.14 c cleaning 9549 clauses out of 19097 with flag 112473/3480025 1475.58/864.73 c cleaning 10271 clauses out of 20548 with flag 137962/3491025 1479.16/866.55 c cleaning 11138 clauses out of 22275 with flag 166783/3503023 1482.96/868.49 c cleaning 12067 clauses out of 24137 with flag 199270/3516023 1487.16/870.58 c cleaning 13035 clauses out of 26073 with flag 234780/3530026 1491.96/872.92 c cleaning 14016 clauses out of 28037 with flag 276000/3545025 1496.96/875.46 c cleaning 15007 clauses out of 30020 with flag 318575/3561024 1502.36/878.17 c cleaning 16006 clauses out of 32013 with flag 361566/3578024 1508.16/881.10 c cleaning 17000 clauses out of 34007 with flag 407621/3596024 1514.76/884.33 c cleaning 18002 clauses out of 36006 with flag 454432/3615023 1521.77/887.81 c cleaning 18999 clauses out of 38004 with flag 506229/3635023 1528.96/891.41 c cleaning 20000 clauses out of 40005 with flag 559205/3656023 1533.55/893.77 c And the winner is solver0 1575.34/935.57 c Got one! Elapsed wall clock time (in seconds):935.453 1575.34/935.57 o 336 1577.53/936.78 c cleaning 19438 clauses out of 38883 with flag 12723/3674901 1579.53/937.72 c cleaning 12715 clauses out of 25446 with flag 29529/3680902 1581.53/938.75 c cleaning 9861 clauses out of 19731 with flag 49958/3687902 1583.73/939.89 c cleaning 8933 clauses out of 17871 with flag 70679/3695903 1586.33/941.16 c cleaning 8966 clauses out of 17937 with flag 91514/3704902 1589.33/942.63 c cleaning 9482 clauses out of 18970 with flag 118081/3714901 1589.93/942.97 c And the winner is solver0 1595.79/948.78 c Got one! Elapsed wall clock time (in seconds):948.665 1595.79/948.78 o 335 1596.85/949.34 c cleaning 7445 clauses out of 14900 with flag 6929/3720313 1598.90/950.33 c cleaning 6722 clauses out of 13455 with flag 21094/3726313 1601.10/951.44 c cleaning 6858 clauses out of 13732 with flag 36708/3733312 1603.51/952.68 c cleaning 7438 clauses out of 14877 with flag 54221/3741315 1606.09/953.99 c cleaning 8217 clauses out of 16438 with flag 74894/3750314 1609.09/955.45 c cleaning 9105 clauses out of 18220 with flag 101122/3760313 1612.31/957.05 c cleaning 10057 clauses out of 20114 with flag 126865/3771312 1616.10/958.93 c cleaning 11027 clauses out of 22058 with flag 155014/3783313 1620.10/960.99 c cleaning 12009 clauses out of 24030 with flag 187422/3796312 1624.69/963.29 c cleaning 13008 clauses out of 26021 with flag 226159/3810312 1629.91/965.81 c cleaning 14005 clauses out of 28015 with flag 262699/3825314 1635.29/968.52 c cleaning 15001 clauses out of 30008 with flag 304920/3841312 1641.49/971.64 c cleaning 16004 clauses out of 32007 with flag 348119/3858312 1648.29/975.06 c cleaning 16998 clauses out of 34003 with flag 391531/3876312 1654.89/978.38 c cleaning 17995 clauses out of 36006 with flag 436999/3895313 1662.08/981.93 c cleaning 19003 clauses out of 38010 with flag 486227/3915312 1669.49/985.67 c cleaning 20004 clauses out of 40007 with flag 538754/3936312 1677.48/989.69 c cleaning 20994 clauses out of 42003 with flag 592479/3958312 1686.68/994.23 c cleaning 22002 clauses out of 44010 with flag 644994/3981313 1695.48/998.61 c cleaning 22999 clauses out of 46007 with flag 704200/4005312 1705.29/1003.58 c cleaning 23997 clauses out of 48008 with flag 766290/4030312 1715.70/1008.72 c cleaning 25006 clauses out of 50012 with flag 826144/4056313 1726.47/1014.11 c cleaning 26002 clauses out of 52005 with flag 888476/4083312 1737.67/1019.78 c cleaning 27000 clauses out of 54004 with flag 951158/4111313 1749.26/1025.52 c cleaning 28001 clauses out of 56003 with flag 1019397/4140312 1761.06/1031.47 c cleaning 28998 clauses out of 58002 with flag 1092386/4170312 1774.25/1038.01 c cleaning 29997 clauses out of 60004 with flag 1168106/4201312 1786.85/1044.35 c cleaning 30997 clauses out of 62008 with flag 1242633/4233313 1800.05/1050.90 c >>>>>>>>>> Solver number 0 (76 answers) <<<<<<<<<<<<<<<<<< 1800.05/1050.90 c starts : 35950 1800.05/1050.90 c conflicts : 4266291 1800.05/1050.90 c decisions : 5734887 1800.05/1050.90 c propagations : 211136414 1800.05/1050.90 c inspects : 6630110460 1800.05/1050.90 c shortcuts : 0 1800.05/1050.90 c learnt literals : 0 1800.05/1050.90 c learnt binary clauses : 0 1800.05/1050.90 c learnt ternary clauses : 1857 1800.05/1050.90 c learnt constraints : 4266291 1800.05/1050.90 c ignored constraints : 0 1800.05/1050.90 c root simplifications : 0 1800.05/1050.90 c removed literals (reason simplification) : 406114062 1800.05/1050.90 c reason swapping (by a shorter reason) : 0 1800.05/1050.90 c Calls to reduceDB : 278 1800.05/1050.90 c Number of update (reduction) of LBD : 89771 1800.05/1050.90 c Imported unit clauses : 0 1800.05/1050.90 c number of reductions to clauses (during analyze) : 0 1800.05/1050.90 c number of learned constraints concerned by reduction : 0 1800.05/1050.90 c number of learning phase by resolution : 0 1800.05/1050.90 c number of learning phase by cutting planes : 0 1800.05/1050.90 c speed (assignments/second) : 257593.69437405522 1800.05/1050.90 c non guided choices 0 1800.05/1050.93 c learnt constraints type 1800.05/1050.93 c org.sat4j.minisat.constraints.cnf.LearntWLClause => 63989 1800.05/1050.93 c >>>>>>>>>> Solver number 1 (2 answers) <<<<<<<<<<<<<<<<<< 1800.05/1050.93 c starts : 94 1800.05/1050.93 c conflicts : 2846 1800.05/1050.93 c decisions : 8046 1800.05/1050.93 c propagations : 185299 1800.05/1050.93 c inspects : 102028441 1800.05/1050.93 c shortcuts : 0 1800.05/1050.93 c learnt literals : 0 1800.05/1050.93 c learnt binary clauses : 0 1800.05/1050.93 c learnt ternary clauses : 0 1800.05/1050.93 c learnt constraints : 2791 1800.05/1050.93 c ignored constraints : 0 1800.05/1050.93 c root simplifications : 0 1800.05/1050.93 c removed literals (reason simplification) : 0 1800.05/1050.93 c reason swapping (by a shorter reason) : 0 1800.05/1050.93 c Calls to reduceDB : 0 1800.05/1050.93 c Number of update (reduction) of LBD : 0 1800.05/1050.93 c Imported unit clauses : 0 1800.05/1050.93 c number of reductions to clauses (during analyze) : 0 1800.05/1050.93 c number of learned constraints concerned by reduction : 0 1800.05/1050.93 c number of learning phase by resolution : 0 1800.05/1050.93 c number of learning phase by cutting planes : 0 1800.05/1050.93 c speed (assignments/second) : 1814.2023536783565 1800.05/1050.93 c non guided choices 0 1800.05/1050.93 c learnt constraints type 1800.05/1050.93 c org.sat4j.pb.constraints.pb.MaxWatchPb => 2791 1800.05/1050.93 s SATISFIABLE 1800.05/1050.93 c Found 78 solution(s) 1800.05/1050.93 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 1800.05/1050.93 c objective function=335 1800.05/1050.93 c Total wall clock time (in seconds): 1050.809
OK 335
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-4119373-1467254484/watcher-4119373-1467254484 -o /tmp/evaluation-result-4119373-1467254484/solver-4119373-1467254484 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node114-1467246678-11561 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4119373-1467254484.opb pid=14469 running on 4 cores: 0,2,4,6 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 4.27 4.22 3.92 3/197 14472 /proc/meminfo: memFree=27132952/32872528 swapFree=13208/1155804 [pid=14472] ppid=14469 vsize=5632 CPUtime=0 cores=0,2,4,6 /proc/14472/stat : 14472 (java) R 14469 14472 11545 0 -1 4202496 385 0 0 0 0 0 0 0 20 0 1 0 6415878 5767168 55 33554432000 1073741824 1073778376 140735516158448 140735516155576 219504799015 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 /proc/14472/statm: 2303 62 49 9 0 35 0 [startup+0.10006 s] /proc/loadavg: 4.27 4.22 3.92 3/197 14472 /proc/meminfo: memFree=27132952/32872528 swapFree=13208/1155804 [pid=14472] ppid=14469 vsize=9558476 CPUtime=0.09 cores=0,2,4,6 /proc/14472/stat : 14472 (java) S 14469 14472 11545 0 -1 4202496 4412 0 1 0 8 1 0 0 20 0 18 0 6415878 9787879424 6033 33554432000 1073741824 1073778376 140735516158448 140735516149584 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/14472/statm: 2389619 6033 2126 9 0 2380296 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 9558476 [startup+0.200213 s] /proc/loadavg: 4.27 4.22 3.92 3/197 14472 /proc/meminfo: memFree=27132952/32872528 swapFree=13208/1155804 [pid=14472] ppid=14469 vsize=9558476 CPUtime=0.22 cores=0,2,4,6 /proc/14472/stat : 14472 (java) S 14469 14472 11545 0 -1 4202496 4583 0 1 0 21 1 0 0 20 0 18 0 6415878 9787879424 7226 33554432000 1073741824 1073778376 140735516158448 140735516149584 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/14472/statm: 2389619 7226 2208 9 0 2380296 0 Current children cumulated CPU time (s) 0.22 Current children cumulated vsize (KiB) 9558476 [startup+0.302289 s] /proc/loadavg: 4.27 4.22 3.92 3/197 14472 /proc/meminfo: memFree=27132952/32872528 swapFree=13208/1155804 [pid=14472] ppid=14469 vsize=9759196 CPUtime=0.47 cores=0,2,4,6 /proc/14472/stat : 14472 (java) S 14469 14472 11545 0 -1 4202496 5813 0 1 0 46 1 0 0 20 0 22 0 6415878 9993416704 9625 33554432000 1073741824 1073778376 140735516158448 140735516149584 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/14472/statm: 2439799 9625 2237 9 0 2430476 0 Current children cumulated CPU time (s) 0.47 Current children cumulated vsize (KiB) 9759196 [startup+0.700228 s] /proc/loadavg: 4.27 4.22 3.92 3/197 14472 /proc/meminfo: memFree=27132952/32872528 swapFree=13208/1155804 [pid=14472] ppid=14469 vsize=9759196 CPUtime=0.52 cores=0,2,4,6 /proc/14472/stat : 14472 (java) S 14469 14472 11545 0 -1 4202496 5943 0 1 0 49 3 0 0 20 0 19 0 6415878 9993416704 9447 33554432000 1073741824 1073778376 140735516158448 140735516149584 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/14472/statm: 2439799 9447 2243 9 0 2430476 0 Current children cumulated CPU time (s) 0.52 Current children cumulated vsize (KiB) 9759196 [startup+1.5009 s] /proc/loadavg: 4.27 4.22 3.92 3/216 14497 /proc/meminfo: memFree=27096668/32872528 swapFree=13208/1155804 [pid=14472] ppid=14469 vsize=9824732 CPUtime=1.07 cores=0,2,4,6 /proc/14472/stat : 14472 (java) S 14469 14472 11545 0 -1 4202496 15779 0 1 0 99 8 0 0 20 0 19 0 6415878 10060525568 18405 33554432000 1073741824 1073778376 140735516158448 140735516149584 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/14472/statm: 2456183 18405 2250 9 0 2446860 0 [pid=14472/tid=14474] ppid=14469 vsize=9824732 CPUtime=0.27 cores=0,2,4,6 /proc/14472/task/14474/stat : 14474 (java) S 14469 14472 11545 0 -1 4202560 2426 0 1 0 27 0 0 0 20 0 19 0 6415879 10060525568 18405 33554432000 1073741824 1073778376 140735516158448 140205564736376 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=14472/tid=14475] ppid=14469 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/14472/task/14475/stat : 14475 (java) S 14469 14472 11545 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 6415880 10060525568 18405 33554432000 1073741824 1073778376 140735516158448 140205526228008 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=14472/tid=14476] ppid=14469 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/14472/task/14476/stat : 14476 (java) S 14469 14472 11545 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 6415880 10060525568 18405 33554432000 1073741824 1073778376 140735516158448 140205525175208 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=14472/tid=14477] ppid=14469 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/14472/task/14477/stat : 14477 (java) S 14469 14472 11545 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 6415880 10060525568 18405 33554432000 1073741824 1073778376 140735516158448 140205524122408 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=14472/tid=14478] ppid=14469 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/14472/task/14478/stat : 14478 (java) S 14469 14472 11545 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 6415880 10060525568 18405 33554432000 1073741824 1073778376 140735516158448 140205523069608 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=14472/tid=14479] ppid=14469 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/14472/task/14479/stat : 14479 (java) S 14469 14472 11545 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 6415880 10060525568 18405 33554432000 1073741824 1073778376 140735516158448 140205522016808 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=14472/tid=14480] ppid=14469 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/14472/task/14480/stat : 14480 (java) S 14469 14472 11545 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 6415880 10060525568 18405 33554432000 1073741824 1073778376 140735516158448 140205520964008 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=14472/tid=14481] ppid=14469 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/14472/task/14481/stat : 14481 (java) S 14469 14472 11545 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 6415880 10060525568 18405 33554432000 1073741824 1073778376 140735516158448 140205519911208 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=14472/tid=14482] ppid=14469 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/14472/task/14482/stat : 14482 (java) S 14469 14472 11545 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 6415880 10060525568 18405 33554432000 1073741824 1073778376 140735516158448 140205518858408 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=14472/tid=14483] ppid=14469 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/14472/task/14483/stat : 14483 (java) S 14469 14472 11545 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 6415881 10060525568 18405 33554432000 1073741824 1073778376 140735516158448 140205388852200 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=14472/tid=14484] ppid=14469 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/14472/task/14484/stat : 14484 (java) S 14469 14472 11545 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 6415882 10060525568 18405 33554432000 1073741824 1073778376 140735516158448 140205387798264 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=14472/tid=14485] ppid=14469 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/14472/task/14485/stat : 14485 (java) S 14469 14472 11545 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 6415882 10060525568 18405 33554432000 1073741824 1073778376 140735516158448 140205386745352 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=14472/tid=14486] ppid=14469 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/14472/task/14486/stat : 14486 (java) S 14469 14472 11545 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 6415884 10060525568 18405 33554432000 1073741824 1073778376 140735516158448 140205385693840 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=14472/tid=14487] ppid=14469 vsize=9824732 CPUtime=0.32 cores=0,2,4,6 /proc/14472/task/14487/stat : 14487 (java) R 14469 14472 11545 0 -1 4202560 6112 0 0 0 32 0 0 0 20 0 19 0 6415884 10060525568 18405 33554432000 1073741824 1073778376 140735516158448 140205384618032 140205568853405 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 [pid=14472/tid=14488] ppid=14469 vsize=9824732 CPUtime=0.31 cores=0,2,4,6 /proc/14472/task/14488/stat : 14488 (java) R 14469 14472 11545 0 -1 4202560 5894 0 0 0 31 0 0 0 20 0 19 0 6415884 10060525568 18405 33554432000 1073741824 1073778376 140735516158448 140205383575176 140205567464649 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 [pid=14472/tid=14489] ppid=14469 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/14472/task/14489/stat : 14489 (java) S 14469 14472 11545 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 6415884 10060525568 18405 33554432000 1073741824 1073778376 140735516158448 140204509751672 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=14472/tid=14490] ppid=14469 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/14472/task/14490/stat : 14490 (java) S 14469 14472 11545 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 6415884 10060525568 18405 33554432000 1073741824 1073778376 140735516158448 140204508699080 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=14472/tid=14494] ppid=14469 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/14472/task/14494/stat : 14494 (java) S 14469 14472 11545 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 6415908 10060525568 18405 33554432000 1073741824 1073778376 140735516158448 140204504487208 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1.07 Current children cumulated vsize (KiB) 9824732 [startup+3.10081 s] /proc/loadavg: 4.27 4.22 3.92 3/216 14503 /proc/meminfo: memFree=27060928/32872528 swapFree=13208/1155804 [pid=14472] ppid=14469 vsize=9824732 CPUtime=2.36 cores=0,2,4,6 /proc/14472/stat : 14472 (java) S 14469 14472 11545 0 -1 4202496 17388 0 1 0 222 14 0 0 20 0 19 0 6415878 10060525568 27055 33554432000 1073741824 1073778376 140735516158448 140735516149584 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/14472/statm: 2456183 27055 2262 9 0 2446860 0 [pid=14472/tid=14474] ppid=14469 vsize=9824732 CPUtime=0.28 cores=0,2,4,6 /proc/14472/task/14474/stat : 14474 (java) S 14469 14472 11545 0 -1 4202560 2427 0 1 0 28 0 0 0 20 0 19 0 6415879 10060525568 27055 33554432000 1073741824 1073778376 140735516158448 140205564736376 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=14472/tid=14475] ppid=14469 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/14472/task/14475/stat : 14475 (java) S 14469 14472 11545 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 6415880 10060525568 27055 33554432000 1073741824 1073778376 140735516158448 140205526228008 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=14472/tid=14476] ppid=14469 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/14472/task/14476/stat : 14476 (java) S 14469 14472 11545 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 6415880 10060525568 27055 33554432000 1073741824 1073778376 140735516158448 140205525175208 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=14472/tid=14477] ppid=14469 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/14472/task/14477/stat : 14477 (java) S 14469 14472 11545 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 6415880 10060525568 27055 33554432000 1073741824 1073778376 140735516158448 140205524122408 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=14472/tid=14478] ppid=14469 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/14472/task/14478/stat : 14478 (java) S 14469 14472 11545 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 6415880 10060525568 27055 33554432000 1073741824 1073778376 140735516158448 140205523069608 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=14472/tid=14479] ppid=14469 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/14472/task/14479/stat : 14479 (java) S 14469 14472 11545 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 6415880 10060525568 27055 33554432000 1073741824 1073778376 140735516158448 140205522016808 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=14472/tid=14480] ppid=14469 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/14472/task/14480/stat : 14480 (java) S 14469 14472 11545 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 6415880 10060525568 27055 33554432000 1073741824 1073778376 140735516158448 140205520964008 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=14472/tid=14481] ppid=14469 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/14472/task/14481/stat : 14481 (java) S 14469 14472 11545 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 6415880 10060525568 27055 33554432000 1073741824 1073778376 140735516158448 140205519911208 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=14472/tid=14482] ppid=14469 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/14472/task/14482/stat : 14482 (java) S 14469 14472 11545 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 6415880 10060525568 27055 33554432000 1073741824 1073778376 140735516158448 140205518858408 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=14472/tid=14483] ppid=14469 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/14472/task/14483/stat : 14483 (java) S 14469 14472 11545 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 6415881 10060525568 27055 33554432000 1073741824 1073778376 140735516158448 140205388852200 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=14472/tid=14484] ppid=14469 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/14472/task/14484/stat : 14484 (java) S 14469 14472 11545 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 6415882 10060525568 27055 33554432000 1073741824 1073778376 140735516158448 140205387798264 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=14472/tid=14485] ppid=14469 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/14472/task/14485/stat : 14485 (java) S 14469 14472 11545 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 6415882 10060525568 27055 33554432000 1073741824 1073778376 140735516158448 140205386745352 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=14472/tid=14486] ppid=14469 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/14472/task/14486/stat : 14486 (java) S 14469 14472 11545 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 6415884 10060525568 27055 33554432000 1073741824 1073778376 140735516158448 140205385693840 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=14472/tid=14487] ppid=14469 vsize=9824732 CPUtime=0.62 cores=0,2,4,6 /proc/14472/task/14487/stat : 14487 (java) S 14469 14472 11545 0 -1 4202560 7661 0 0 0 62 0 0 0 20 0 19 0 6415884 10060525568 27055 33554432000 1073741824 1073778376 140735516158448 140205384640952 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=14472/tid=14488] ppid=14469 vsize=9824732 CPUtime=0.65 cores=0,2,4,6 /proc/14472/task/14488/stat : 14488 (java) S 14469 14472 11545 0 -1 4202560 5917 0 0 0 65 0 0 0 20 0 19 0 6415884 10060525568 27055 33554432000 1073741824 1073778376 140735516158448 140205383588152 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=14472/tid=14489] ppid=14469 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/14472/task/14489/stat : 14489 (java) S 14469 14472 11545 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 6415884 10060525568 27055 33554432000 1073741824 1073778376 140735516158448 140204509751672 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=14472/tid=14490] ppid=14469 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/14472/task/14490/stat : 14490 (java) S 14469 14472 11545 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 6415884 10060525568 27055 33554432000 1073741824 1073778376 140735516158448 140204508699080 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=14472/tid=14494] ppid=14469 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/14472/task/14494/stat : 14494 (java) S 14469 14472 11545 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 6415908 10060525568 27055 33554432000 1073741824 1073778376 140735516158448 140204504487208 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 2.36 Current children cumulated vsize (KiB) 9824732 heavy processes: %CPU=18 pid=1817 uid=0 cmd= [startup+6.30079 s] /proc/loadavg: 4.17 4.20 3.91 3/216 14524 /proc/meminfo: memFree=27003240/32872528 swapFree=13208/1155804 [pid=14472] ppid=14469 vsize=9824732 CPUtime=2.83 cores=0,2,4,6 /proc/14472/stat : 14472 (java) S 14469 14472 11545 0 -1 4202496 17471 0 1 0 261 22 0 0 20 0 19 0 6415878 10060525568 38661 33554432000 1073741824 1073778376 140735516158448 140735516149584 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/14472/statm: 2456183 38661 2266 9 0 2446860 0 [pid=14472/tid=14474] ppid=14469 vsize=9824732 CPUtime=0.29 cores=0,2,4,6 /proc/14472/task/14474/stat : 14474 (java) S 14469 14472 11545 0 -1 4202560 2429 0 1 0 29 0 0 0 20 0 19 0 6415879 10060525568 38661 33554432000 1073741824 1073778376 140735516158448 140205564736376 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=14472/tid=14475] ppid=14469 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/14472/task/14475/stat : 14475 (java) S 14469 14472 11545 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 6415880 10060525568 38661 33554432000 1073741824 1073778376 140735516158448 140205526228008 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=14472/tid=14476] ppid=14469 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/14472/task/14476/stat : 14476 (java) S 14469 14472 11545 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 6415880 10060525568 38661 33554432000 1073741824 1073778376 140735516158448 140205525175208 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=14472/tid=14477] ppid=14469 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/14472/task/14477/stat : 14477 (java) S 14469 14472 11545 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 6415880 10060525568 38661 33554432000 1073741824 1073778376 140735516158448 140205524122408 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=14472/tid=14478] ppid=14469 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/14472/task/14478/stat : 14478 (java) S 14469 14472 11545 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 6415880 10060525568 38661 33554432000 1073741824 1073778376 140735516158448 140205523069608 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=14472/tid=14479] ppid=14469 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/14472/task/14479/stat : 14479 (java) S 14469 14472 11545 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 6415880 10060525568 38661 33554432000 1073741824 1073778376 140735516158448 140205522016808 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=14472/tid=14480] ppid=14469 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/14472/task/14480/stat : 14480 (java) S 14469 14472 11545 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 6415880 10060525568 38661 33554432000 1073741824 1073778376 140735516158448 140205520964008 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=14472/tid=14481] ppid=14469 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/14472/task/14481/stat : 14481 (java) S 14469 14472 11545 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 6415880 10060525568 38661 33554432000 1073741824 1073778376 140735516158448 140205519911208 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=14472/tid=14482] ppid=14469 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/14472/task/14482/stat : 14482 (java) S 14469 14472 11545 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 6415880 10060525568 38661 33554432000 1073741824 1073778376 140735516158448 140205518858408 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=14472/tid=14483] ppid=14469 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/14472/task/14483/stat : 14483 (java) S 14469 14472 11545 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 6415881 10060525568 38661 33554432000 1073741824 1073778376 140735516158448 140205388852200 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=14472/tid=14484] ppid=14469 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/14472/task/14484/stat : 14484 (java) S 14469 14472 11545 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 6415882 10060525568 38661 33554432000 1073741824 1073778376 140735516158448 140205387798264 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=14472/tid=14485] ppid=14469 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/14472/task/14485/stat : 14485 (java) S 14469 14472 11545 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 6415882 10060525568 38661 33554432000 1073741824 1073778376 140735516158448 140205386745352 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=14472/tid=14486] ppid=14469 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/14472/task/14486/stat : 14486 (java) S 14469 14472 11545 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 6415884 10060525568 38661 33554432000 1073741824 1073778376 140735516158448 140205385693840 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=14472/tid=14487] ppid=14469 vsize=9824732 CPUtime=0.65 cores=0,2,4,6 /proc/14472/task/14487/stat : 14487 (java) S 14469 14472 11545 0 -1 4202560 7662 0 0 0 65 0 0 0 20 0 19 0 6415884 10060525568 38661 33554432000 1073741824 1073778376 140735516158448 140205384640952 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=14472/tid=14488] ppid=14469 vsize=9824732 CPUtime=0.73 cores=0,2,4,6 /proc/14472/task/14488/stat : 14488 (java) S 14469 14472 11545 0 -1 4202560 5919 0 0 0 73 0 0 0 20 0 19 0 6415884 10060525568 38661 33554432000 1073741824 1073778376 140735516158448 140205383588152 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=14472/tid=14489] ppid=14469 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/14472/task/14489/stat : 14489 (java) S 14469 14472 11545 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 6415884 10060525568 38661 33554432000 1073741824 1073778376 140735516158448 140204509751672 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=14472/tid=14490] ppid=14469 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/14472/task/14490/stat : 14490 (java) S 14469 14472 11545 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 6415884 10060525568 38661 33554432000 1073741824 1073778376 140735516158448 140204508699080 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=14472/tid=14494] ppid=14469 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/14472/task/14494/stat : 14494 (java) S 14469 14472 11545 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 6415908 10060525568 38661 33554432000 1073741824 1073778376 140735516158448 140204504487208 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 2.83 ################ # More data... # ################ [pid=14472/tid=14482] ppid=14469 vsize=9824732 CPUtime=0.9 cores=0,2,4,6 /proc/14472/task/14482/stat : 14482 (java) S 14469 14472 11545 0 -1 4202560 399 0 0 0 70 20 0 0 20 0 22 0 6415880 10060525568 810664 33554432000 1073741824 1073778376 140735516158448 140205518858408 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=14472/tid=14483] ppid=14469 vsize=9824732 CPUtime=1.8 cores=0,2,4,6 /proc/14472/task/14483/stat : 14483 (java) S 14469 14472 11545 0 -1 4202560 1842 0 0 0 175 5 0 0 20 0 22 0 6415881 10060525568 810664 33554432000 1073741824 1073778376 140735516158448 140205388852200 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=14472/tid=14484] ppid=14469 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/14472/task/14484/stat : 14484 (java) S 14469 14472 11545 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 6415882 10060525568 810664 33554432000 1073741824 1073778376 140735516158448 140205387798264 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=14472/tid=14485] ppid=14469 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/14472/task/14485/stat : 14485 (java) S 14469 14472 11545 0 -1 4202560 66 0 0 0 0 0 0 0 20 0 22 0 6415882 10060525568 810664 33554432000 1073741824 1073778376 140735516158448 140205386745352 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=14472/tid=14486] ppid=14469 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/14472/task/14486/stat : 14486 (java) S 14469 14472 11545 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 6415884 10060525568 810664 33554432000 1073741824 1073778376 140735516158448 140205385693840 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=14472/tid=14487] ppid=14469 vsize=9824732 CPUtime=1.3 cores=0,2,4,6 /proc/14472/task/14487/stat : 14487 (java) S 14469 14472 11545 0 -1 4202560 7686 0 0 0 130 0 0 0 20 0 22 0 6415884 10060525568 810664 33554432000 1073741824 1073778376 140735516158448 140205384640952 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=14472/tid=14488] ppid=14469 vsize=9824732 CPUtime=0.93 cores=0,2,4,6 /proc/14472/task/14488/stat : 14488 (java) S 14469 14472 11545 0 -1 4202560 5950 0 0 0 93 0 0 0 20 0 22 0 6415884 10060525568 810664 33554432000 1073741824 1073778376 140735516158448 140205383588152 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=14472/tid=14489] ppid=14469 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/14472/task/14489/stat : 14489 (java) S 14469 14472 11545 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 6415884 10060525568 810664 33554432000 1073741824 1073778376 140735516158448 140204509751672 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=14472/tid=14490] ppid=14469 vsize=9824732 CPUtime=0.23 cores=0,2,4,6 /proc/14472/task/14490/stat : 14490 (java) S 14469 14472 11545 0 -1 4202560 58 0 0 0 11 12 0 0 20 0 22 0 6415884 10060525568 810664 33554432000 1073741824 1073778376 140735516158448 140204508699080 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=14472/tid=14687] ppid=14469 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/14472/task/14687/stat : 14687 (java) S 14469 14472 11545 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 6439004 10060525568 810664 33554432000 1073741824 1073778376 140735516158448 140204507645608 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=14472/tid=15011] ppid=14469 vsize=9824732 CPUtime=53.3 cores=0,2,4,6 /proc/14472/task/15011/stat : 15011 (java) R 14469 14472 11545 0 -1 4202560 4 0 0 0 5330 0 0 0 20 0 22 0 6510757 10060525568 810664 33554432000 1073741824 1073778376 140735516158448 140204505530512 140205399533376 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=14472/tid=15012] ppid=14469 vsize=9824732 CPUtime=53.32 cores=0,2,4,6 /proc/14472/task/15012/stat : 15012 (java) R 14469 14472 11545 0 -1 4202560 2 0 0 0 5332 0 0 0 20 0 22 0 6510757 10060525568 810664 33554432000 1073741824 1073778376 140735516158448 140204504484856 140205400158351 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 [pid=14472/tid=15013] ppid=14469 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/14472/task/15013/stat : 15013 (java) S 14469 14472 11545 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 6510757 10060525568 810664 33554432000 1073741824 1073778376 140735516158448 140204506592296 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 Current children cumulated CPU time (s) 1701.11 Current children cumulated vsize (KiB) 9824732 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1050.9 s] /proc/loadavg: 3.99 3.75 3.77 6/219 15015 /proc/meminfo: memFree=22447520/32872528 swapFree=13208/1155804 [pid=14472] ppid=14469 vsize=9824732 CPUtime=1798.27 cores=0,2,4,6 /proc/14472/stat : 14472 (java) S 14469 14472 11545 0 -1 4202496 24389 0 1 0 179488 339 0 0 20 0 22 0 6415878 10060525568 810664 33554432000 1073741824 1073778376 140735516158448 140735516149584 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/14472/statm: 2456183 810664 2294 9 0 2446860 0 [pid=14472/tid=14474] ppid=14469 vsize=9824732 CPUtime=0.52 cores=0,2,4,6 /proc/14472/task/14474/stat : 14474 (java) S 14469 14472 11545 0 -1 4202560 2434 0 1 0 48 4 0 0 20 0 22 0 6415879 10060525568 810664 33554432000 1073741824 1073778376 140735516158448 140205564736376 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=14472/tid=14475] ppid=14469 vsize=9824732 CPUtime=0.72 cores=0,2,4,6 /proc/14472/task/14475/stat : 14475 (java) S 14469 14472 11545 0 -1 4202560 319 0 0 0 56 16 0 0 20 0 22 0 6415880 10060525568 810664 33554432000 1073741824 1073778376 140735516158448 140205526228008 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=14472/tid=14476] ppid=14469 vsize=9824732 CPUtime=0.7 cores=0,2,4,6 /proc/14472/task/14476/stat : 14476 (java) S 14469 14472 11545 0 -1 4202560 597 0 0 0 55 15 0 0 20 0 22 0 6415880 10060525568 810664 33554432000 1073741824 1073778376 140735516158448 140205525175208 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=14472/tid=14477] ppid=14469 vsize=9824732 CPUtime=0.66 cores=0,2,4,6 /proc/14472/task/14477/stat : 14477 (java) S 14469 14472 11545 0 -1 4202560 293 0 0 0 53 13 0 0 20 0 22 0 6415880 10060525568 810664 33554432000 1073741824 1073778376 140735516158448 140205524122408 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=14472/tid=14478] ppid=14469 vsize=9824732 CPUtime=0.86 cores=0,2,4,6 /proc/14472/task/14478/stat : 14478 (java) S 14469 14472 11545 0 -1 4202560 389 0 0 0 67 19 0 0 20 0 22 0 6415880 10060525568 810664 33554432000 1073741824 1073778376 140735516158448 140205523069608 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=14472/tid=14479] ppid=14469 vsize=9824732 CPUtime=0.67 cores=0,2,4,6 /proc/14472/task/14479/stat : 14479 (java) S 14469 14472 11545 0 -1 4202560 443 0 0 0 50 17 0 0 20 0 22 0 6415880 10060525568 810664 33554432000 1073741824 1073778376 140735516158448 140205522016808 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=14472/tid=14480] ppid=14469 vsize=9824732 CPUtime=0.76 cores=0,2,4,6 /proc/14472/task/14480/stat : 14480 (java) S 14469 14472 11545 0 -1 4202560 390 0 0 0 60 16 0 0 20 0 22 0 6415880 10060525568 810664 33554432000 1073741824 1073778376 140735516158448 140205520964008 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=14472/tid=14481] ppid=14469 vsize=9824732 CPUtime=0.9 cores=0,2,4,6 /proc/14472/task/14481/stat : 14481 (java) S 14469 14472 11545 0 -1 4202560 451 0 0 0 72 18 0 0 20 0 22 0 6415880 10060525568 810664 33554432000 1073741824 1073778376 140735516158448 140205519911208 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=14472/tid=14482] ppid=14469 vsize=9824732 CPUtime=0.9 cores=0,2,4,6 /proc/14472/task/14482/stat : 14482 (java) S 14469 14472 11545 0 -1 4202560 399 0 0 0 70 20 0 0 20 0 22 0 6415880 10060525568 810664 33554432000 1073741824 1073778376 140735516158448 140205518858408 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=14472/tid=14483] ppid=14469 vsize=9824732 CPUtime=1.8 cores=0,2,4,6 /proc/14472/task/14483/stat : 14483 (java) S 14469 14472 11545 0 -1 4202560 1842 0 0 0 175 5 0 0 20 0 22 0 6415881 10060525568 810664 33554432000 1073741824 1073778376 140735516158448 140205388852200 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=14472/tid=14484] ppid=14469 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/14472/task/14484/stat : 14484 (java) S 14469 14472 11545 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 6415882 10060525568 810664 33554432000 1073741824 1073778376 140735516158448 140205387798264 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=14472/tid=14485] ppid=14469 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/14472/task/14485/stat : 14485 (java) S 14469 14472 11545 0 -1 4202560 66 0 0 0 0 0 0 0 20 0 22 0 6415882 10060525568 810664 33554432000 1073741824 1073778376 140735516158448 140205386745352 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=14472/tid=14486] ppid=14469 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/14472/task/14486/stat : 14486 (java) S 14469 14472 11545 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 6415884 10060525568 810664 33554432000 1073741824 1073778376 140735516158448 140205385693840 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=14472/tid=14487] ppid=14469 vsize=9824732 CPUtime=1.3 cores=0,2,4,6 /proc/14472/task/14487/stat : 14487 (java) S 14469 14472 11545 0 -1 4202560 7686 0 0 0 130 0 0 0 20 0 22 0 6415884 10060525568 810664 33554432000 1073741824 1073778376 140735516158448 140205384640952 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=14472/tid=14488] ppid=14469 vsize=9824732 CPUtime=0.93 cores=0,2,4,6 /proc/14472/task/14488/stat : 14488 (java) S 14469 14472 11545 0 -1 4202560 5950 0 0 0 93 0 0 0 20 0 22 0 6415884 10060525568 810664 33554432000 1073741824 1073778376 140735516158448 140205383588152 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=14472/tid=14489] ppid=14469 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/14472/task/14489/stat : 14489 (java) S 14469 14472 11545 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 6415884 10060525568 810664 33554432000 1073741824 1073778376 140735516158448 140204509751672 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=14472/tid=14490] ppid=14469 vsize=9824732 CPUtime=0.24 cores=0,2,4,6 /proc/14472/task/14490/stat : 14490 (java) S 14469 14472 11545 0 -1 4202560 62 0 0 0 12 12 0 0 20 0 22 0 6415884 10060525568 810664 33554432000 1073741824 1073778376 140735516158448 140204508699080 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=14472/tid=14687] ppid=14469 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/14472/task/14687/stat : 14687 (java) S 14469 14472 11545 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 6439004 10060525568 810664 33554432000 1073741824 1073778376 140735516158448 140204507645608 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=14472/tid=15011] ppid=14469 vsize=9824732 CPUtime=101.75 cores=0,2,4,6 /proc/14472/task/15011/stat : 15011 (java) R 14469 14472 11545 0 -1 4202560 4 0 0 0 10174 1 0 0 20 0 22 0 6510757 10060525568 810664 33554432000 1073741824 1073778376 140735516158448 140204505530512 140205399486183 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 [pid=14472/tid=15012] ppid=14469 vsize=9824732 CPUtime=101.79 cores=0,2,4,6 /proc/14472/task/15012/stat : 15012 (java) R 14469 14472 11545 0 -1 4202560 2 0 0 0 10178 1 0 0 20 0 22 0 6510757 10060525568 810664 33554432000 1073741824 1073778376 140735516158448 140204504484856 140205400190752 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 [pid=14472/tid=15013] ppid=14469 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/14472/task/15013/stat : 15013 (java) S 14469 14472 11545 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 6510757 10060525568 810664 33554432000 1073741824 1073778376 140735516158448 140204506592296 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 Current children cumulated CPU time (s) 1798.27 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 14472 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+1050.9 s] /proc/loadavg: 3.99 3.75 3.77 6/219 15015 /proc/meminfo: memFree=22447520/32872528 swapFree=13208/1155804 [pid=14472] ppid=14469 vsize=9824732 CPUtime=1798.27 cores=0,2,4,6 /proc/14472/stat : 14472 (java) S 14469 14472 11545 0 -1 4202496 24389 0 1 0 179488 339 0 0 20 0 22 0 6415878 10060525568 810664 33554432000 1073741824 1073778376 140735516158448 140735516149584 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/14472/statm: 2456183 810664 2294 9 0 2446860 0 [pid=14472/tid=14474] ppid=14469 vsize=9824732 CPUtime=0.52 cores=0,2,4,6 /proc/14472/task/14474/stat : 14474 (java) S 14469 14472 11545 0 -1 4202560 2434 0 1 0 48 4 0 0 20 0 22 0 6415879 10060525568 810664 33554432000 1073741824 1073778376 140735516158448 140205564736376 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=14472/tid=14475] ppid=14469 vsize=9824732 CPUtime=0.72 cores=0,2,4,6 /proc/14472/task/14475/stat : 14475 (java) S 14469 14472 11545 0 -1 4202560 319 0 0 0 56 16 0 0 20 0 22 0 6415880 10060525568 810664 33554432000 1073741824 1073778376 140735516158448 140205526228008 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=14472/tid=14476] ppid=14469 vsize=9824732 CPUtime=0.7 cores=0,2,4,6 /proc/14472/task/14476/stat : 14476 (java) S 14469 14472 11545 0 -1 4202560 597 0 0 0 55 15 0 0 20 0 22 0 6415880 10060525568 810664 33554432000 1073741824 1073778376 140735516158448 140205525175208 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=14472/tid=14477] ppid=14469 vsize=9824732 CPUtime=0.66 cores=0,2,4,6 /proc/14472/task/14477/stat : 14477 (java) S 14469 14472 11545 0 -1 4202560 293 0 0 0 53 13 0 0 20 0 22 0 6415880 10060525568 810664 33554432000 1073741824 1073778376 140735516158448 140205524122408 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=14472/tid=14478] ppid=14469 vsize=9824732 CPUtime=0.86 cores=0,2,4,6 /proc/14472/task/14478/stat : 14478 (java) S 14469 14472 11545 0 -1 4202560 389 0 0 0 67 19 0 0 20 0 22 0 6415880 10060525568 810664 33554432000 1073741824 1073778376 140735516158448 140205523069608 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=14472/tid=14479] ppid=14469 vsize=9824732 CPUtime=0.67 cores=0,2,4,6 /proc/14472/task/14479/stat : 14479 (java) S 14469 14472 11545 0 -1 4202560 443 0 0 0 50 17 0 0 20 0 22 0 6415880 10060525568 810664 33554432000 1073741824 1073778376 140735516158448 140205522016808 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=14472/tid=14480] ppid=14469 vsize=9824732 CPUtime=0.76 cores=0,2,4,6 /proc/14472/task/14480/stat : 14480 (java) S 14469 14472 11545 0 -1 4202560 390 0 0 0 60 16 0 0 20 0 22 0 6415880 10060525568 810664 33554432000 1073741824 1073778376 140735516158448 140205520964008 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=14472/tid=14481] ppid=14469 vsize=9824732 CPUtime=0.9 cores=0,2,4,6 /proc/14472/task/14481/stat : 14481 (java) S 14469 14472 11545 0 -1 4202560 451 0 0 0 72 18 0 0 20 0 22 0 6415880 10060525568 810664 33554432000 1073741824 1073778376 140735516158448 140205519911208 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=14472/tid=14482] ppid=14469 vsize=9824732 CPUtime=0.9 cores=0,2,4,6 /proc/14472/task/14482/stat : 14482 (java) S 14469 14472 11545 0 -1 4202560 399 0 0 0 70 20 0 0 20 0 22 0 6415880 10060525568 810664 33554432000 1073741824 1073778376 140735516158448 140205518858408 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=14472/tid=14483] ppid=14469 vsize=9824732 CPUtime=1.8 cores=0,2,4,6 /proc/14472/task/14483/stat : 14483 (java) S 14469 14472 11545 0 -1 4202560 1842 0 0 0 175 5 0 0 20 0 22 0 6415881 10060525568 810664 33554432000 1073741824 1073778376 140735516158448 140205388852200 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=14472/tid=14484] ppid=14469 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/14472/task/14484/stat : 14484 (java) S 14469 14472 11545 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 6415882 10060525568 810664 33554432000 1073741824 1073778376 140735516158448 140205387798264 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=14472/tid=14485] ppid=14469 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/14472/task/14485/stat : 14485 (java) S 14469 14472 11545 0 -1 4202560 66 0 0 0 0 0 0 0 20 0 22 0 6415882 10060525568 810664 33554432000 1073741824 1073778376 140735516158448 140205386745352 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=14472/tid=14486] ppid=14469 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/14472/task/14486/stat : 14486 (java) S 14469 14472 11545 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 6415884 10060525568 810664 33554432000 1073741824 1073778376 140735516158448 140205385693840 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=14472/tid=14487] ppid=14469 vsize=9824732 CPUtime=1.3 cores=0,2,4,6 /proc/14472/task/14487/stat : 14487 (java) S 14469 14472 11545 0 -1 4202560 7686 0 0 0 130 0 0 0 20 0 22 0 6415884 10060525568 810664 33554432000 1073741824 1073778376 140735516158448 140205384640952 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=14472/tid=14488] ppid=14469 vsize=9824732 CPUtime=0.93 cores=0,2,4,6 /proc/14472/task/14488/stat : 14488 (java) S 14469 14472 11545 0 -1 4202560 5950 0 0 0 93 0 0 0 20 0 22 0 6415884 10060525568 810664 33554432000 1073741824 1073778376 140735516158448 140205383588152 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=14472/tid=14489] ppid=14469 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/14472/task/14489/stat : 14489 (java) S 14469 14472 11545 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 6415884 10060525568 810664 33554432000 1073741824 1073778376 140735516158448 140204509751672 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=14472/tid=14490] ppid=14469 vsize=9824732 CPUtime=0.24 cores=0,2,4,6 /proc/14472/task/14490/stat : 14490 (java) S 14469 14472 11545 0 -1 4202560 62 0 0 0 12 12 0 0 20 0 22 0 6415884 10060525568 810664 33554432000 1073741824 1073778376 140735516158448 140204508699080 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=14472/tid=14687] ppid=14469 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/14472/task/14687/stat : 14687 (java) S 14469 14472 11545 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 6439004 10060525568 810664 33554432000 1073741824 1073778376 140735516158448 140204507645608 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=14472/tid=15011] ppid=14469 vsize=9824732 CPUtime=101.75 cores=0,2,4,6 /proc/14472/task/15011/stat : 15011 (java) R 14469 14472 11545 0 -1 4202560 4 0 0 0 10174 1 0 0 20 0 22 0 6510757 10060525568 810664 33554432000 1073741824 1073778376 140735516158448 140204505530512 140205399486183 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 [pid=14472/tid=15012] ppid=14469 vsize=9824732 CPUtime=101.79 cores=0,2,4,6 /proc/14472/task/15012/stat : 15012 (java) R 14469 14472 11545 0 -1 4202560 2 0 0 0 10178 1 0 0 20 0 22 0 6510757 10060525568 810664 33554432000 1073741824 1073778376 140735516158448 140204504484856 140205400190752 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 [pid=14472/tid=15013] ppid=14469 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/14472/task/15013/stat : 15013 (java) S 14469 14472 11545 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 6510757 10060525568 810664 33554432000 1073741824 1073778376 140735516158448 140204506592296 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 Current children cumulated CPU time (s) 1798.27 Current children cumulated vsize (KiB) 9824732 Child status: 143 # WARNING: # CPU time reported by wait4() is probably wrong ! # wait4(...,&childrusage) returns 14472 and gives # childrusage.ru_utime.tv_sec=1794 # childrusage.ru_utime.tv_usec=429205 # childrusage.ru_stime.tv_sec=3 # childrusage.ru_stime.tv_usec=591454 # CPU time returned by wait4() is 1798.02 # while last known CPU time is 1798.27 # # Solver probably didn't/couldn't wait for its children # Using CPU time of the last sample as value... # WARNING: # The CPU time of some children was not reported to their father # (probably because of a missing or aborted wait()). # This 'lost CPU time' is added to the watched process CPU time. # lost CPU time (s): 1.78014 # lost CPU user time (s): 2.01002 # lost CPU system time (s): -0.23 Real time (s): 1050.95 CPU time (s): 1800.05 CPU user time (s): 1796.89 CPU system time (s): 3.16 CPU usage (%): 171.279 Max. virtual memory (cumulated for all children) (KiB): 9824732 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1794.43 system time used= 3.59145 maximum resident set size= 3387724 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 24434 page faults= 1 swaps= 0 block input operations= 0 block output operations= 848 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 31712 involuntary context switches= 9875 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 7.39487 second user time and 6.96294 second system time The end
Begin job on node114 at 2016-06-30 04:41:25 IDJOB=4119373 IDBENCH=111714 IDSOLVER=2543 FILE ID=node114/4119373-1467254484 RUNJOBID= node114-1467246678-11561 PBS_JOBID= 20004474 Free space on /tmp= 71672 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-edgecross10-050.opb COMMAND LINE= java -jar sat4j-pb.jar Both BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4119373-1467254484/watcher-4119373-1467254484 -o /tmp/evaluation-result-4119373-1467254484/solver-4119373-1467254484 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node114-1467246678-11561 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4119373-1467254484.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 5038afd95adaf7154dd353d30c41f4e9 RANDOM SEED=968025281 node114.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.752 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.50 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.752 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.752 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.752 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.752 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.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.752 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.752 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.752 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: 27133588 kB Buffers: 117852 kB Cached: 1211704 kB SwapCached: 0 kB Active: 2626640 kB Inactive: 1208100 kB Active(anon): 2508008 kB Inactive(anon): 0 kB Active(file): 118632 kB Inactive(file): 1208100 kB Unevictable: 1155804 kB Mlocked: 13208 kB SwapTotal: 67108856 kB SwapFree: 67108856 kB Dirty: 848 kB Writeback: 0 kB AnonPages: 3662988 kB Mapped: 22112 kB Shmem: 204 kB Slab: 608848 kB SReclaimable: 52844 kB SUnreclaim: 556004 kB KernelStack: 1592 kB PageTables: 12040 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 3891068 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 3598336 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= 71668 MiB End job on node114 at 2016-06-30 04:58:56