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) | 345 | 1800.3 | 1145.65 |
| Name | PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/ minlplib2-pb-0.1.0/opb/normalized-edgecross10-050.lin.opb |
| MD5SUM | 13f39ac7da8cb7567021ad7bbb224d86 |
| Bench Category | OPT-SMALLINT-LIN (optimisation, small integers, linear constraints) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 291 |
| Best CPU time to get the best result obtained on this benchmark | 1800.1 |
| 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 | 876 |
| Total number of constraints | 2051 |
| Number of constraints which are clauses | 1265 |
| Number of constraints which are cardinality constraints (but not clauses) | 1 |
| Number of constraints which are nor clauses,nor cardinality constraints | 785 |
| 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) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.08 c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS 0.00/0.08 c This is free software under the dual EPL/GNU LGPL licenses. 0.00/0.08 c See www.sat4j.org for details. 0.00/0.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@16fd0b7 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@4413ee 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@75786e64 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@4413ee 0.09/0.12 c --- End Solver configuration --- 0.09/0.12 c solving HOME/instance-4118260-1467224636.opb 0.09/0.12 c reading problem ... 0.09/0.12 c objective function found 0.47/0.31 c ... done. Wall clock time 0.196s. 0.47/0.31 c declared #vars 876 0.47/0.31 c #constraints 2052 0.47/0.32 c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<< 0.47/0.32 c constraints type 0.47/0.32 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 1265 0.47/0.32 c org.sat4j.specs.Constr$1 => 1 0.47/0.32 c org.sat4j.minisat.constraints.cnf.UnitClause => 1 0.47/0.32 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 785 0.47/0.32 c 2052 constraints processed. 0.47/0.32 c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<< 0.47/0.32 c constraints type 0.47/0.32 c org.sat4j.specs.Constr$1 => 1 0.47/0.32 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 1265 0.47/0.32 c org.sat4j.pb.constraints.pb.MaxWatchPb => 785 0.47/0.32 c org.sat4j.pb.constraints.pb.UnitClausePB => 1 0.47/0.32 c 2052 constraints processed. 0.47/0.32 c objective function length is 872 literals 0.47/0.33 c And the winner is solver0 0.61/0.82 c SATISFIABLE 0.61/0.82 c OPTIMIZING... 0.61/0.82 c Got one! Elapsed wall clock time (in seconds):0.702 0.61/0.82 o 503 0.61/0.85 c And the winner is solver0 0.71/1.33 c Got one! Elapsed wall clock time (in seconds):1.214 0.71/1.33 o 500 0.71/1.35 c And the winner is solver0 1.18/1.85 c Got one! Elapsed wall clock time (in seconds):1.733 1.18/1.85 o 494 1.31/1.94 c And the winner is solver0 1.47/2.36 c Got one! Elapsed wall clock time (in seconds):2.241 1.47/2.36 o 493 1.87/2.54 c And the winner is solver0 2.02/2.86 c Got one! Elapsed wall clock time (in seconds):2.745 2.02/2.86 o 491 2.09/2.90 c And the winner is solver0 2.17/3.37 c Got one! Elapsed wall clock time (in seconds):3.247 2.17/3.37 o 490 2.17/3.40 c And the winner is solver0 2.27/3.87 c Got one! Elapsed wall clock time (in seconds):3.75 2.27/3.87 o 489 2.35/3.94 c And the winner is solver0 2.66/4.37 c Got one! Elapsed wall clock time (in seconds):4.253 2.66/4.37 o 488 2.72/4.43 c And the winner is solver0 2.79/4.87 c Got one! Elapsed wall clock time (in seconds):4.756 2.79/4.87 o 486 2.79/4.89 c And the winner is solver0 2.81/5.38 c Got one! Elapsed wall clock time (in seconds):5.26 2.81/5.38 o 485 2.81/5.39 c And the winner is solver0 2.86/5.88 c Got one! Elapsed wall clock time (in seconds):5.763 2.86/5.88 o 484 3.12/6.01 c And the winner is solver0 3.19/6.38 c Got one! Elapsed wall clock time (in seconds):6.265 3.19/6.38 o 483 3.19/6.39 c And the winner is solver0 3.23/6.88 c Got one! Elapsed wall clock time (in seconds):6.767 3.23/6.88 o 482 3.25/6.90 c And the winner is solver0 3.28/7.39 c Got one! Elapsed wall clock time (in seconds):7.269 3.28/7.39 o 481 3.32/7.49 c And the winner is solver0 3.53/7.89 c Got one! Elapsed wall clock time (in seconds):7.771 3.53/7.89 o 476 3.55/7.95 c And the winner is solver0 3.74/8.39 c Got one! Elapsed wall clock time (in seconds):8.273 3.74/8.39 o 475 3.75/8.48 c And the winner is solver0 3.95/8.89 c Got one! Elapsed wall clock time (in seconds):8.774 3.95/8.89 o 471 4.16/9.05 c And the winner is solver0 4.28/9.39 c Got one! Elapsed wall clock time (in seconds):9.276 4.28/9.39 o 469 4.49/9.50 c And the winner is solver0 4.52/9.90 c Got one! Elapsed wall clock time (in seconds):9.778 4.52/9.90 o 468 4.74/10.02 c And the winner is solver0 4.80/10.40 c Got one! Elapsed wall clock time (in seconds):10.279 4.80/10.40 o 466 4.80/10.40 c And the winner is solver0 4.80/10.90 c Got one! Elapsed wall clock time (in seconds):10.781 4.80/10.90 o 461 4.80/10.97 c And the winner is solver0 4.99/11.40 c Got one! Elapsed wall clock time (in seconds):11.282 4.99/11.40 o 456 5.70/11.71 c cleaning 5468 clauses out of 10936 with flag 4065/10936 5.70/11.77 c And the winner is solver0 5.89/11.90 c Got one! Elapsed wall clock time (in seconds):11.784 5.89/11.90 o 455 6.08/12.06 c And the winner is solver0 6.24/12.40 c Got one! Elapsed wall clock time (in seconds):12.285 6.24/12.40 o 451 6.24/12.49 c And the winner is solver0 6.54/12.90 c Got one! Elapsed wall clock time (in seconds):12.787 6.54/12.90 o 450 6.54/12.93 c And the winner is solver0 6.61/13.41 c Got one! Elapsed wall clock time (in seconds):13.289 6.61/13.41 o 448 6.61/13.42 c And the winner is solver0 6.65/13.91 c Got one! Elapsed wall clock time (in seconds):13.79 6.65/13.91 o 445 7.66/14.45 c cleaning 6047 clauses out of 12094 with flag 8071/17562 9.35/15.26 c cleaning 6022 clauses out of 12044 with flag 20085/23559 10.25/15.67 c And the winner is solver1 10.41/15.91 c Got one! Elapsed wall clock time (in seconds):15.793 10.41/15.91 o 440 10.58/16.02 c And the winner is solver0 10.65/16.41 c Got one! Elapsed wall clock time (in seconds):16.295 10.65/16.41 o 436 10.65/16.50 c And the winner is solver0 10.92/16.91 c Got one! Elapsed wall clock time (in seconds):16.797 10.92/16.91 o 435 11.09/17.04 c And the winner is solver0 11.22/17.42 c Got one! Elapsed wall clock time (in seconds):17.299 11.22/17.42 o 433 11.22/17.46 c And the winner is solver0 11.34/17.92 c Got one! Elapsed wall clock time (in seconds):17.801 11.34/17.92 o 432 11.34/17.96 c And the winner is solver0 11.46/18.42 c Got one! Elapsed wall clock time (in seconds):18.303 11.46/18.42 o 431 11.46/18.47 c And the winner is solver0 11.58/18.92 c Got one! Elapsed wall clock time (in seconds):18.805 11.58/18.92 o 428 11.72/19.06 c And the winner is solver0 11.88/19.42 c Got one! Elapsed wall clock time (in seconds):19.307 11.88/19.42 o 427 12.71/19.90 c cleaning 7753 clauses out of 15505 with flag 7921/33042 12.91/19.93 c And the winner is solver0 13.01/20.43 c Got one! Elapsed wall clock time (in seconds):20.31 13.01/20.43 o 419 14.34/21.14 c cleaning 6511 clauses out of 13021 with flag 12690/38311 16.27/22.04 c cleaning 6255 clauses out of 12509 with flag 26398/44310 18.05/22.99 c cleaning 6623 clauses out of 13254 with flag 41195/51310 20.56/24.17 c cleaning 7317 clauses out of 14634 with flag 57773/59313 21.17/24.36 c And the winner is solver0 21.50/24.43 c Got one! Elapsed wall clock time (in seconds):24.312 21.50/24.43 o 418 21.68/24.59 c And the winner is solver0 21.94/24.93 c Got one! Elapsed wall clock time (in seconds):24.814 21.94/24.93 o 417 22.07/25.03 c And the winner is solver0 22.19/25.43 c Got one! Elapsed wall clock time (in seconds):25.316 22.19/25.43 o 415 22.91/25.89 c cleaning 6706 clauses out of 13422 with flag 6977/65418 24.01/26.31 c And the winner is solver0 24.11/26.44 c Got one! Elapsed wall clock time (in seconds):26.318 24.11/26.44 o 413 25.04/26.90 c cleaning 6343 clauses out of 12694 with flag 8026/71396 25.04/26.96 c And the winner is solver0 25.24/27.44 c Got one! Elapsed wall clock time (in seconds):27.32 25.24/27.44 o 405 25.96/27.80 c And the winner is solver0 26.04/27.94 c Got one! Elapsed wall clock time (in seconds):27.822 26.04/27.94 o 402 26.15/28.04 c And the winner is solver0 26.31/28.44 c Got one! Elapsed wall clock time (in seconds):28.324 26.31/28.44 o 399 26.63/28.69 c And the winner is solver0 26.90/28.94 c Got one! Elapsed wall clock time (in seconds):28.826 26.90/28.94 o 397 27.20/29.11 c cleaning 6671 clauses out of 13346 with flag 2756/78391 27.20/29.13 c And the winner is solver0 27.36/29.45 c Got one! Elapsed wall clock time (in seconds):29.328 27.36/29.45 o 394 27.45/29.51 c And the winner is solver0 27.52/29.95 c Got one! Elapsed wall clock time (in seconds):29.831 27.52/29.95 o 391 29.10/30.74 c cleaning 6131 clauses out of 12261 with flag 14483/83977 30.89/31.61 c cleaning 6061 clauses out of 12130 with flag 31036/89977 32.89/32.62 c cleaning 6525 clauses out of 13068 with flag 49162/96976 35.29/33.82 c cleaning 7271 clauses out of 14543 with flag 68628/104976 37.89/35.11 c cleaning 8131 clauses out of 16272 with flag 90700/113976 40.69/36.52 c cleaning 9065 clauses out of 18143 with flag 116098/123978 43.69/38.03 c cleaning 10036 clauses out of 20077 with flag 141530/134977 43.89/38.17 c And the winner is solver0 44.55/38.70 c Got one! Elapsed wall clock time (in seconds):38.585 44.55/38.70 o 390 45.73/39.30 c cleaning 7581 clauses out of 15178 with flag 11267/140114 47.41/40.16 c cleaning 6793 clauses out of 13599 with flag 25374/146116 49.41/41.14 c cleaning 6894 clauses out of 13805 with flag 41435/153115 51.61/42.26 c cleaning 7451 clauses out of 14910 with flag 60465/161114 54.21/43.59 c cleaning 8230 clauses out of 16460 with flag 82894/170115 56.40/44.61 c And the winner is solver0 57.61/45.81 c Got one! Elapsed wall clock time (in seconds):45.689 57.61/45.81 o 388 57.61/45.86 c And the winner is solver0 57.76/46.31 c Got one! Elapsed wall clock time (in seconds):46.191 57.76/46.31 o 387 57.94/46.43 c And the winner is solver0 58.09/46.81 c Got one! Elapsed wall clock time (in seconds):46.693 58.09/46.81 o 386 59.65/47.64 c cleaning 11065 clauses out of 22129 with flag 14039/184014 61.46/48.53 c cleaning 8527 clauses out of 17064 with flag 29167/190014 63.46/49.60 c cleaning 7766 clauses out of 15537 with flag 46195/197014 66.05/50.80 c cleaning 7882 clauses out of 15772 with flag 64516/205015 68.65/52.17 c cleaning 8439 clauses out of 16889 with flag 85123/214014 71.85/53.71 c cleaning 9226 clauses out of 18451 with flag 107599/224015 75.25/55.40 c cleaning 10107 clauses out of 20224 with flag 132251/235014 78.86/57.21 c cleaning 11054 clauses out of 22118 with flag 159213/247015 82.85/59.29 c cleaning 12033 clauses out of 24065 with flag 189275/260016 87.66/61.64 c cleaning 13014 clauses out of 26032 with flag 221952/274016 92.85/64.23 c cleaning 14006 clauses out of 28018 with flag 256151/289016 98.05/66.83 c cleaning 15000 clauses out of 30014 with flag 292971/305018 103.85/69.75 c cleaning 16006 clauses out of 32012 with flag 331780/322016 110.80/73.17 c cleaning 16996 clauses out of 34004 with flag 373393/340014 115.60/75.50 c And the winner is solver0 115.74/75.82 c Got one! Elapsed wall clock time (in seconds):75.7 115.74/75.82 o 382 117.49/76.76 c cleaning 18365 clauses out of 36746 with flag 12417/359752 119.29/77.64 c cleaning 12188 clauses out of 24381 with flag 27023/365752 121.29/78.61 c cleaning 9587 clauses out of 19193 with flag 43931/372752 123.49/79.78 c cleaning 8802 clauses out of 17608 with flag 64522/380754 126.29/81.12 c cleaning 8902 clauses out of 17805 with flag 86883/389753 129.30/82.66 c cleaning 9451 clauses out of 18903 with flag 111912/399753 132.29/84.10 c cleaning 10224 clauses out of 20452 with flag 136650/410753 135.29/85.67 c cleaning 11110 clauses out of 22228 with flag 163294/422753 138.89/87.44 c cleaning 12055 clauses out of 24117 with flag 192454/435752 142.89/89.46 c cleaning 13030 clauses out of 26064 with flag 224348/449754 147.49/91.73 c cleaning 14006 clauses out of 28033 with flag 258951/464753 152.49/94.22 c cleaning 15008 clauses out of 30026 with flag 296051/480752 158.09/97.00 c cleaning 16005 clauses out of 32018 with flag 333696/497752 164.50/100.29 c cleaning 17004 clauses out of 34016 with flag 375765/515755 171.49/103.76 c cleaning 18005 clauses out of 36009 with flag 421922/534752 179.44/107.64 c cleaning 18996 clauses out of 38005 with flag 469916/554753 186.84/111.38 c cleaning 20004 clauses out of 40009 with flag 517315/575753 194.84/115.39 c cleaning 20998 clauses out of 42006 with flag 566555/597754 203.84/119.85 c cleaning 21998 clauses out of 44008 with flag 617760/620754 212.04/123.94 c cleaning 22997 clauses out of 46008 with flag 671187/644752 221.04/128.41 c cleaning 24000 clauses out of 48012 with flag 726765/669753 230.84/133.31 c cleaning 24999 clauses out of 50011 with flag 785633/695752 240.84/138.31 c cleaning 26001 clauses out of 52013 with flag 848538/722753 250.64/143.27 c cleaning 27003 clauses out of 54012 with flag 912989/750753 258.44/147.17 c And the winner is solver0 270.93/159.57 c Got one! Elapsed wall clock time (in seconds):159.448 270.93/159.57 o 380 273.25/160.79 c cleaning 28443 clauses out of 56891 with flag 11532/780635 275.45/161.85 c cleaning 17223 clauses out of 34448 with flag 24945/786635 277.83/163.00 c cleaning 12108 clauses out of 24225 with flag 41770/793635 280.03/164.14 c cleaning 10055 clauses out of 20118 with flag 59125/801636 281.03/164.63 c And the winner is solver0 304.08/187.65 c Got one! Elapsed wall clock time (in seconds):187.535 304.08/187.65 o 379 304.20/187.79 c And the winner is solver0 304.48/188.15 c Got one! Elapsed wall clock time (in seconds):188.037 304.48/188.15 o 376 304.57/188.26 c And the winner is solver0 304.76/188.66 c Got one! Elapsed wall clock time (in seconds):188.54 304.76/188.66 o 375 305.44/189.02 c cleaning 8573 clauses out of 17153 with flag 5959/808726 307.24/189.93 c cleaning 7291 clauses out of 14581 with flag 21547/814727 309.43/191.02 c cleaning 7140 clauses out of 14289 with flag 39680/821726 311.63/192.13 c cleaning 7565 clauses out of 15150 with flag 59251/829727 314.04/193.40 c cleaning 8288 clauses out of 16584 with flag 80808/838726 316.85/194.79 c cleaning 9147 clauses out of 18296 with flag 103271/848726 319.83/196.28 c cleaning 10074 clauses out of 20150 with flag 127440/859727 320.44/196.56 c And the winner is solver0 341.42/217.18 c Got one! Elapsed wall clock time (in seconds):217.06 341.42/217.18 o 373 342.31/217.63 c cleaning 7697 clauses out of 15401 with flag 8603/865052 343.91/218.46 c cleaning 6847 clauses out of 13704 with flag 23218/871052 345.70/219.34 c cleaning 6928 clauses out of 13858 with flag 38540/878053 347.50/220.26 c And the winner is solver0 349.68/222.38 c Got one! Elapsed wall clock time (in seconds):222.265 349.68/222.38 o 371 351.15/223.15 c cleaning 9569 clauses out of 19144 with flag 11722/890267 352.95/224.02 c cleaning 7785 clauses out of 15577 with flag 25302/896269 354.95/225.02 c cleaning 7391 clauses out of 14789 with flag 41951/903266 356.95/226.10 c cleaning 7695 clauses out of 15398 with flag 60409/911266 359.35/227.26 c cleaning 8351 clauses out of 16702 with flag 80172/920265 361.95/228.51 c cleaning 9172 clauses out of 18351 with flag 102095/930265 364.76/229.91 c cleaning 10087 clauses out of 20180 with flag 127039/941266 368.35/231.76 c cleaning 11044 clauses out of 22092 with flag 154352/953265 370.94/233.07 c And the winner is solver0 388.43/250.46 c Got one! Elapsed wall clock time (in seconds):250.346 388.43/250.46 o 370 390.14/251.36 c cleaning 12906 clauses out of 25821 with flag 12417/968038 391.94/252.22 c cleaning 9448 clauses out of 18914 with flag 26330/974037 393.94/253.24 c cleaning 8228 clauses out of 16466 with flag 42391/981037 395.95/254.25 c cleaning 8112 clauses out of 16239 with flag 60414/989038 398.15/255.37 c cleaning 8563 clauses out of 17126 with flag 80691/998037 399.74/256.12 c And the winner is solver0 422.18/278.55 c Got one! Elapsed wall clock time (in seconds):278.431 422.18/278.55 o 369 423.50/279.22 c And the winner is solver0 425.02/280.70 c Got one! Elapsed wall clock time (in seconds):280.585 425.02/280.70 o 366 425.21/280.87 c cleaning 10074 clauses out of 20149 with flag 2394/1009623 427.21/281.83 c cleaning 8037 clauses out of 16074 with flag 18293/1015622 429.41/282.91 c cleaning 7519 clauses out of 15038 with flag 34856/1022623 431.81/284.18 c cleaning 7759 clauses out of 15519 with flag 54229/1030623 434.61/285.57 c cleaning 8379 clauses out of 16759 with flag 75739/1039622 438.02/287.25 c cleaning 9190 clauses out of 18380 with flag 99630/1049622 441.61/289.07 c cleaning 10087 clauses out of 20191 with flag 125575/1060623 445.41/290.99 c cleaning 11052 clauses out of 22104 with flag 153594/1072623 449.41/292.99 c cleaning 12020 clauses out of 24052 with flag 182367/1085623 454.01/295.21 c cleaning 13016 clauses out of 26031 with flag 213227/1099622 459.02/297.75 c cleaning 14007 clauses out of 28016 with flag 246332/1114623 464.62/300.51 c cleaning 15000 clauses out of 30012 with flag 281893/1130626 470.02/303.22 c cleaning 16004 clauses out of 32009 with flag 319736/1147623 475.82/306.19 c cleaning 17002 clauses out of 34006 with flag 360886/1165624 482.62/309.55 c cleaning 17993 clauses out of 36002 with flag 403360/1184622 486.23/311.39 c And the winner is solver0 486.72/311.76 c Got one! Elapsed wall clock time (in seconds):311.641 486.72/311.76 o 365 488.61/312.78 c cleaning 17896 clauses out of 35796 with flag 12500/1202409 490.61/313.77 c cleaning 11948 clauses out of 23900 with flag 26924/1208409 493.01/314.91 c cleaning 9469 clauses out of 18952 with flag 42126/1215409 495.41/316.18 c cleaning 8734 clauses out of 17481 with flag 59681/1223407 498.41/317.60 c cleaning 8872 clauses out of 17748 with flag 80412/1232408 500.61/318.77 c And the winner is solver0 504.01/322.02 c Got one! Elapsed wall clock time (in seconds):321.898 504.01/322.02 o 364 505.59/322.86 c cleaning 11160 clauses out of 22319 with flag 12808/1245851 507.19/323.62 c cleaning 8573 clauses out of 17161 with flag 25665/1251853 509.00/324.51 c cleaning 7784 clauses out of 15585 with flag 40771/1258850 511.20/325.63 c cleaning 7898 clauses out of 15801 with flag 58254/1266850 513.60/326.87 c cleaning 8449 clauses out of 16904 with flag 78639/1275851 516.59/328.30 c cleaning 9225 clauses out of 18456 with flag 100306/1285852 519.39/329.79 c cleaning 10110 clauses out of 20229 with flag 124179/1296850 523.19/331.63 c cleaning 11059 clauses out of 22119 with flag 150705/1308850 527.19/333.64 c cleaning 12028 clauses out of 24061 with flag 180683/1321851 531.20/335.69 c cleaning 13010 clauses out of 26032 with flag 211126/1335850 535.60/337.84 c cleaning 14011 clauses out of 28022 with flag 243004/1350850 540.99/340.50 c cleaning 15002 clauses out of 30012 with flag 277921/1366851 546.40/343.27 c cleaning 16005 clauses out of 32009 with flag 314733/1383850 552.78/346.50 c cleaning 17000 clauses out of 34005 with flag 354926/1401851 560.18/350.15 c cleaning 18003 clauses out of 36005 with flag 397692/1420851 568.18/354.14 c cleaning 18998 clauses out of 38001 with flag 442319/1440850 575.98/358.06 c cleaning 19999 clauses out of 40004 with flag 488141/1461851 584.98/362.59 c cleaning 21001 clauses out of 42004 with flag 537370/1483850 595.05/367.58 c cleaning 22002 clauses out of 44004 with flag 588211/1506851 605.04/372.59 c cleaning 22996 clauses out of 46001 with flag 641252/1530850 615.63/377.83 c cleaning 23999 clauses out of 48006 with flag 696551/1555851 627.44/383.77 c cleaning 25002 clauses out of 50006 with flag 755936/1581850 639.44/389.78 c cleaning 25998 clauses out of 52005 with flag 815979/1608851 651.84/395.96 c cleaning 27001 clauses out of 54008 with flag 878026/1636852 656.24/398.11 c And the winner is solver0 730.12/471.94 c Got one! Elapsed wall clock time (in seconds):471.825 730.12/471.94 o 362 732.24/473.09 c cleaning 21492 clauses out of 43001 with flag 13465/1652846 734.64/474.22 c cleaning 13750 clauses out of 27509 with flag 29087/1658846 737.03/475.48 c cleaning 10373 clauses out of 20759 with flag 47151/1665846 739.82/476.88 c cleaning 9184 clauses out of 18386 with flag 66530/1673846 742.82/478.32 c cleaning 9094 clauses out of 18201 with flag 88474/1682845 745.82/479.87 c cleaning 9550 clauses out of 19108 with flag 111425/1692846 748.82/481.37 c cleaning 10279 clauses out of 20558 with flag 135215/1703846 752.42/483.18 c cleaning 11138 clauses out of 22279 with flag 161745/1715846 756.02/484.93 c cleaning 12070 clauses out of 24140 with flag 188977/1728845 760.22/487.02 c cleaning 13032 clauses out of 26070 with flag 219773/1742845 764.82/489.32 c cleaning 14020 clauses out of 28041 with flag 251754/1757848 770.22/492.02 c cleaning 15007 clauses out of 30020 with flag 287461/1773847 776.23/495.10 c cleaning 16004 clauses out of 32011 with flag 325809/1790845 782.62/498.30 c cleaning 16996 clauses out of 34007 with flag 366902/1808845 789.02/501.46 c cleaning 18003 clauses out of 36011 with flag 409636/1827845 795.42/504.64 c cleaning 19006 clauses out of 38011 with flag 455784/1847848 802.42/508.20 c cleaning 20001 clauses out of 40003 with flag 504798/1868846 810.82/512.34 c cleaning 21001 clauses out of 42001 with flag 555649/1890845 819.62/516.71 c cleaning 21993 clauses out of 44001 with flag 608182/1913846 828.22/521.08 c cleaning 23004 clauses out of 46009 with flag 661224/1937847 837.02/525.42 c cleaning 23996 clauses out of 48003 with flag 717597/1962845 846.42/530.18 c cleaning 24999 clauses out of 50009 with flag 775646/1988847 856.42/535.19 c cleaning 26000 clauses out of 52009 with flag 836257/2015846 866.44/540.17 c cleaning 27004 clauses out of 54008 with flag 897698/2043845 878.03/545.97 c cleaning 28003 clauses out of 56006 with flag 963078/2072847 883.83/548.83 c And the winner is solver0 934.49/599.44 c Got one! Elapsed wall clock time (in seconds):599.321 934.49/599.44 o 357 937.09/600.73 c cleaning 24831 clauses out of 49669 with flag 12328/2094513 939.29/601.82 c cleaning 15414 clauses out of 30837 with flag 26325/2100512 941.29/602.90 c cleaning 11206 clauses out of 22422 with flag 41680/2107511 943.69/604.03 c cleaning 9604 clauses out of 19217 with flag 60358/2115512 945.89/605.12 c cleaning 9301 clauses out of 18613 with flag 79858/2124512 948.47/606.46 c cleaning 9650 clauses out of 19312 with flag 101457/2134512 951.47/607.94 c cleaning 10328 clauses out of 20661 with flag 125571/2145511 954.87/609.66 c cleaning 11161 clauses out of 22334 with flag 152830/2157512 958.47/611.44 c cleaning 12084 clauses out of 24172 with flag 183326/2170511 961.87/613.15 c And the winner is solver0 1063.55/714.70 c Got one! Elapsed wall clock time (in seconds):714.587 1063.55/714.70 o 351 1065.56/715.71 c cleaning 14742 clauses out of 29489 with flag 12089/2187912 1067.16/716.56 c cleaning 10373 clauses out of 20747 with flag 26533/2193912 1068.96/717.44 c cleaning 8677 clauses out of 17373 with flag 41837/2200911 1070.98/718.46 c cleaning 8348 clauses out of 16696 with flag 59500/2208911 1073.56/719.71 c cleaning 8668 clauses out of 17349 with flag 79622/2217912 1076.16/721.04 c cleaning 9334 clauses out of 18680 with flag 101174/2227911 1079.16/722.55 c cleaning 10170 clauses out of 20346 with flag 125566/2238911 1082.56/724.21 c cleaning 11086 clauses out of 22177 with flag 151013/2250912 1086.37/726.13 c cleaning 12042 clauses out of 24091 with flag 179141/2263912 1090.77/728.38 c cleaning 13022 clauses out of 26048 with flag 208510/2277911 1096.16/731.01 c cleaning 14014 clauses out of 28027 with flag 239888/2292912 1101.96/733.93 c cleaning 15006 clauses out of 30012 with flag 274368/2308911 1107.36/736.60 c cleaning 15998 clauses out of 32007 with flag 311705/2325912 1113.36/739.64 c cleaning 17004 clauses out of 34008 with flag 350752/2343911 1119.76/742.85 c cleaning 17998 clauses out of 36004 with flag 392927/2362911 1126.36/746.10 c cleaning 18996 clauses out of 38006 with flag 437014/2382911 1132.76/749.37 c cleaning 19996 clauses out of 40010 with flag 481788/2403911 1132.96/749.46 c And the winner is solver0 1167.54/783.96 c Got one! Elapsed wall clock time (in seconds):783.847 1167.54/783.96 o 350 1168.86/784.64 c And the winner is solver0 1171.92/787.67 c Got one! Elapsed wall clock time (in seconds):787.554 1171.92/787.67 o 349 1173.10/788.34 c cleaning 13236 clauses out of 26475 with flag 4898/2410372 1174.89/789.29 c cleaning 9616 clauses out of 19238 with flag 18710/2416371 1176.89/790.23 c cleaning 8303 clauses out of 16622 with flag 34091/2423371 1178.89/791.25 c cleaning 8158 clauses out of 16320 with flag 52399/2431372 1181.49/792.52 c cleaning 8572 clauses out of 17163 with flag 73909/2440373 1181.69/792.65 c And the winner is solver0 1246.26/857.18 c Got one! Elapsed wall clock time (in seconds):857.059 1246.26/857.18 o 348 1247.36/857.80 c cleaning 6895 clauses out of 13802 with flag 10227/2445584 1249.36/858.70 c cleaning 6446 clauses out of 12909 with flag 25389/2451586 1251.36/859.76 c cleaning 6727 clauses out of 13460 with flag 41462/2458583 1253.76/860.94 c cleaning 7365 clauses out of 14734 with flag 60020/2466584 1256.36/862.22 c cleaning 8184 clauses out of 16368 with flag 79771/2475583 1258.97/863.59 c cleaning 9089 clauses out of 18185 with flag 102785/2485584 1261.96/865.05 c cleaning 10046 clauses out of 20096 with flag 126534/2496584 1265.16/866.67 c cleaning 11025 clauses out of 22050 with flag 152130/2508584 1268.95/868.58 c cleaning 12013 clauses out of 24025 with flag 181493/2521584 1273.55/870.87 c cleaning 13002 clauses out of 26011 with flag 213100/2535583 1278.55/873.39 c cleaning 14001 clauses out of 28010 with flag 245583/2550584 1284.15/876.16 c cleaning 14999 clauses out of 30008 with flag 280603/2566583 1289.97/879.02 c cleaning 16001 clauses out of 32010 with flag 319144/2583584 1295.55/881.80 c cleaning 17003 clauses out of 34009 with flag 358358/2601584 1301.95/885.09 c cleaning 17995 clauses out of 36006 with flag 400233/2620584 1309.15/888.69 c cleaning 19004 clauses out of 38011 with flag 445099/2640584 1316.95/892.51 c cleaning 20001 clauses out of 40006 with flag 490453/2661583 1324.76/896.49 c cleaning 21001 clauses out of 42005 with flag 540196/2683583 1333.36/900.79 c cleaning 22001 clauses out of 44005 with flag 591556/2706584 1342.77/905.49 c cleaning 23002 clauses out of 46003 with flag 644975/2730583 1352.96/910.51 c cleaning 24001 clauses out of 48002 with flag 703346/2755584 1359.36/913.79 c And the winner is solver0 1372.15/926.41 c Got one! Elapsed wall clock time (in seconds):926.29 1372.15/926.41 o 347 1374.73/927.75 c cleaning 23602 clauses out of 47210 with flag 13019/2778793 1376.73/928.71 c cleaning 14798 clauses out of 29607 with flag 26996/2784792 1378.93/929.83 c cleaning 10898 clauses out of 21809 with flag 44358/2791792 1381.33/931.04 c cleaning 9450 clauses out of 18911 with flag 62778/2799792 1383.73/932.25 c cleaning 9223 clauses out of 18461 with flag 83768/2808792 1386.33/933.59 c cleaning 9612 clauses out of 19238 with flag 105814/2818792 1389.13/934.99 c cleaning 10305 clauses out of 20626 with flag 130840/2829792 1392.94/936.86 c cleaning 11156 clauses out of 22321 with flag 159054/2841792 1397.34/939.09 c cleaning 12080 clauses out of 24165 with flag 186830/2854792 1402.34/941.53 c cleaning 13040 clauses out of 26085 with flag 218759/2868792 1407.54/944.17 c cleaning 14022 clauses out of 28046 with flag 253109/2883793 1413.55/947.12 c cleaning 15009 clauses out of 30023 with flag 290520/2899792 1419.94/950.40 c cleaning 16008 clauses out of 32016 with flag 331419/2916794 1426.75/953.78 c cleaning 16997 clauses out of 34006 with flag 372422/2934792 1433.73/957.25 c cleaning 18002 clauses out of 36011 with flag 414116/2953794 1440.53/960.60 c cleaning 18997 clauses out of 38007 with flag 460444/2973792 1446.74/963.72 c cleaning 20005 clauses out of 40011 with flag 506481/2994793 1453.52/967.16 c cleaning 21002 clauses out of 42005 with flag 553968/3016792 1461.52/971.11 c cleaning 22000 clauses out of 44004 with flag 604328/3039793 1469.72/975.27 c cleaning 22999 clauses out of 46004 with flag 657477/3063793 1478.12/979.41 c cleaning 23998 clauses out of 48008 with flag 711867/3088796 1487.52/984.17 c cleaning 25003 clauses out of 50007 with flag 768180/3114793 1497.52/989.13 c cleaning 25999 clauses out of 52003 with flag 827366/3141792 1507.52/994.16 c cleaning 27003 clauses out of 54005 with flag 888199/3169793 1519.91/1000.39 c cleaning 28001 clauses out of 56002 with flag 950392/3198793 1532.54/1006.66 c cleaning 28996 clauses out of 58000 with flag 1017113/3228792 1546.12/1013.44 c cleaning 29996 clauses out of 60004 with flag 1084574/3259792 1558.74/1019.72 c cleaning 30997 clauses out of 62008 with flag 1154650/3291792 1572.52/1026.64 c cleaning 32005 clauses out of 64011 with flag 1225763/3324792 1587.72/1034.28 c cleaning 33000 clauses out of 66006 with flag 1297761/3358792 1593.12/1036.95 c And the winner is solver0 1603.90/1047.69 c Got one! Elapsed wall clock time (in seconds):1047.576 1603.90/1047.69 o 345 1606.44/1048.94 c cleaning 26540 clauses out of 53098 with flag 11488/3378884 1608.43/1049.96 c cleaning 16279 clauses out of 32561 with flag 24943/3384887 1610.63/1051.00 c cleaning 11635 clauses out of 23279 with flag 39360/3391884 1612.63/1052.06 c cleaning 9815 clauses out of 19644 with flag 56509/3399884 1615.03/1053.28 c cleaning 9406 clauses out of 18830 with flag 76203/3408885 1617.83/1054.60 c cleaning 9707 clauses out of 19423 with flag 97502/3418884 1620.65/1056.07 c cleaning 10352 clauses out of 20718 with flag 121340/3429886 1623.83/1057.66 c cleaning 11180 clauses out of 22365 with flag 148368/3441885 1627.63/1059.53 c cleaning 12089 clauses out of 24185 with flag 179081/3454885 1631.84/1061.67 c cleaning 13048 clauses out of 26095 with flag 211941/3468884 1636.63/1064.09 c cleaning 14021 clauses out of 28048 with flag 246704/3483885 1642.50/1067.00 c cleaning 15010 clauses out of 30026 with flag 284519/3499884 1649.10/1070.25 c cleaning 16005 clauses out of 32017 with flag 325731/3516885 1655.70/1073.53 c cleaning 17004 clauses out of 34012 with flag 368560/3534885 1662.90/1077.11 c cleaning 17998 clauses out of 36007 with flag 414574/3553884 1669.50/1080.47 c cleaning 19002 clauses out of 38009 with flag 458762/3573884 1677.70/1084.54 c cleaning 20002 clauses out of 40009 with flag 503220/3594886 1685.70/1088.58 c cleaning 21004 clauses out of 42007 with flag 554760/3616886 1694.50/1092.97 c cleaning 21998 clauses out of 44001 with flag 608617/3639884 1704.10/1097.78 c cleaning 23000 clauses out of 46005 with flag 662314/3663886 1713.31/1102.36 c cleaning 23998 clauses out of 48003 with flag 716431/3688884 1723.69/1107.55 c cleaning 24999 clauses out of 50005 with flag 772349/3714884 1734.35/1112.86 c cleaning 26003 clauses out of 52006 with flag 832039/3741884 1744.55/1117.93 c cleaning 26996 clauses out of 54004 with flag 897537/3769885 1755.55/1123.43 c cleaning 28001 clauses out of 56007 with flag 962289/3798884 1768.60/1129.95 c cleaning 29000 clauses out of 58008 with flag 1026171/3828886 1781.80/1136.53 c cleaning 30000 clauses out of 60007 with flag 1093319/3859885 1796.20/1143.79 c cleaning 30998 clauses out of 62006 with flag 1163593/3891884 1800.00/1145.60 c >>>>>>>>>> Solver number 0 (69 answers) <<<<<<<<<<<<<<<<<< 1800.00/1145.60 c starts : 2228 1800.00/1145.60 c conflicts : 3900818 1800.00/1145.60 c decisions : 4084019 1800.00/1145.60 c propagations : 163652665 1800.00/1145.60 c inspects : 5521617568 1800.00/1145.60 c shortcuts : 0 1800.00/1145.60 c learnt literals : 0 1800.00/1145.60 c learnt binary clauses : 0 1800.00/1145.60 c learnt ternary clauses : 1545 1800.00/1145.60 c learnt constraints : 3900818 1800.00/1145.60 c ignored constraints : 0 1800.00/1145.60 c root simplifications : 0 1800.00/1145.60 c removed literals (reason simplification) : 326210346 1800.00/1145.60 c reason swapping (by a shorter reason) : 0 1800.00/1145.60 c Calls to reduceDB : 267 1800.00/1145.60 c Number of update (reduction) of LBD : 11306 1800.00/1145.60 c Imported unit clauses : 0 1800.00/1145.60 c number of reductions to clauses (during analyze) : 0 1800.00/1145.60 c number of learned constraints concerned by reduction : 0 1800.00/1145.60 c number of learning phase by resolution : 0 1800.00/1145.60 c number of learning phase by cutting planes : 0 1800.00/1145.60 c speed (assignments/second) : 144864.98077792954 1800.00/1145.60 c non guided choices 0 1800.00/1145.62 c learnt constraints type 1800.00/1145.62 c org.sat4j.minisat.constraints.cnf.LearntWLClause => 39942 1800.00/1145.62 c >>>>>>>>>> Solver number 1 (1 answers) <<<<<<<<<<<<<<<<<< 1800.00/1145.62 c starts : 71 1800.00/1145.62 c conflicts : 757 1800.00/1145.62 c decisions : 4957 1800.00/1145.62 c propagations : 78164 1800.00/1145.62 c inspects : 13693267 1800.00/1145.62 c shortcuts : 0 1800.00/1145.62 c learnt literals : 0 1800.00/1145.62 c learnt binary clauses : 0 1800.00/1145.62 c learnt ternary clauses : 0 1800.00/1145.62 c learnt constraints : 701 1800.00/1145.62 c ignored constraints : 0 1800.00/1145.62 c root simplifications : 0 1800.00/1145.62 c removed literals (reason simplification) : 0 1800.00/1145.62 c reason swapping (by a shorter reason) : 0 1800.00/1145.62 c Calls to reduceDB : 0 1800.00/1145.62 c Number of update (reduction) of LBD : 0 1800.00/1145.62 c Imported unit clauses : 0 1800.00/1145.62 c number of reductions to clauses (during analyze) : 0 1800.00/1145.62 c number of learned constraints concerned by reduction : 0 1800.00/1145.62 c number of learning phase by resolution : 0 1800.00/1145.62 c number of learning phase by cutting planes : 0 1800.00/1145.62 c speed (assignments/second) : 798.210857399616 1800.00/1145.62 c non guided choices 0 1800.00/1145.62 c learnt constraints type 1800.00/1145.62 c org.sat4j.pb.constraints.pb.LearntHTClausePB => 1 1800.00/1145.62 c org.sat4j.pb.constraints.pb.MaxWatchPb => 700 1800.00/1145.62 s SATISFIABLE 1800.00/1145.62 c Found 70 solution(s) 1800.00/1145.62 v x1 -x2 x3 x4 x5 x6 -x7 x8 x9 x10 -x11 x12 -x13 x14 x15 x16 -x17 x18 x19 x20 -x21 x22 x23 x24 -x25 x26 -x27 -x28 -x29 -x30 x31 -x32 x33 x34 x35 -x36 -x37 -x38 -x39 x40 x41 x42 x43 x44 -x45 x46 -x47 x48 x49 -x50 x51 -x52 x53 x54 x55 -x56 x57 -x58 x59 -x60 x61 -x62 x63 x64 x65 x66 -x67 -x68 -x69 -x70 x71 x72 -x73 -x74 -x75 x76 x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 x88 x89 -x90 x91 -x92 -x93 x94 -x95 -x96 -x97 x98 x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 x128 -x129 -x130 -x131 x132 x133 x134 x135 x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 x144 -x145 x146 x147 x148 x149 -x150 -x151 -x152 x153 x154 x155 -x156 x157 x158 x159 x160 -x161 -x162 -x163 -x164 -x165 -x166 x167 x168 -x169 x170 x171 x172 -x173 -x174 x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 x183 x184 -x185 -x186 -x187 -x188 -x189 x190 x191 x192 -x193 x194 x195 x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 x217 -x218 x219 x220 x221 -x222 -x223 x224 x225 -x226 -x227 -x228 x229 x230 -x231 x232 x233 x234 -x235 x236 -x237 -x238 -x239 -x240 -x241 x242 -x243 -x244 -x245 x246 x247 x248 x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 x268 x269 x270 -x271 x272 x273 x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 x308 -x309 -x310 -x311 x312 x313 x314 -x315 x316 x317 x318 x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 x337 x338 -x339 x340 -x341 x342 -x343 x344 x345 x346 -x347 -x348 -x349 -x350 x351 x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 x390 -x391 x392 -x393 x394 x395 x396 -x397 x398 -x399 x400 x401 x402 x403 -x404 x405 x406 -x407 x408 x409 -x410 -x411 -x412 -x413 -x414 x415 x416 x417 x418 x419 -x420 -x421 x422 -x423 -x424 x425 -x426 -x427 -x428 -x429 -x430 -x431 x432 x433 x434 x435 x436 -x437 x438 x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 x460 x461 x462 x463 -x464 -x465 x466 -x467 -x468 x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 x479 -x480 -x481 -x482 x483 -x484 -x485 x486 x487 x488 x489 -x490 x491 x492 -x493 x494 x495 -x496 -x497 -x498 -x499 -x500 x501 x502 x503 x504 x505 x506 -x507 -x508 -x509 -x510 x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 x536 x537 -x538 x539 x540 x541 -x542 x543 x544 -x545 -x546 -x547 -x548 -x549 -x550 x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 x626 x627 x628 x629 x630 -x631 x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 x651 -x652 -x653 -x654 -x655 -x656 x657 x658 -x659 -x660 -x661 -x662 x663 -x664 -x665 -x666 x667 -x668 -x669 -x670 x671 -x672 x673 x674 x675 x676 x677 x678 x679 x680 -x681 -x682 -x683 x684 -x685 -x686 -x687 x688 -x689 -x690 -x691 -x692 -x693 -x694 x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 x760 x761 x762 -x763 -x764 -x765 x766 -x767 -x768 -x769 -x770 -x771 -x772 x773 -x774 -x775 x776 x777 x778 -x779 -x780 x781 x782 -x783 -x784 x785 x786 -x787 -x788 x789 x790 -x791 -x792 -x793 x794 x795 x796 x797 -x798 -x799 x800 x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 x811 x812 -x813 -x814 x815 -x816 x817 -x818 -x819 -x820 -x821 -x822 x823 -x824 x825 x826 x827 x828 x829 x830 x831 x832 x833 x834 -x835 -x836 -x837 x838 -x839 x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 1800.00/1145.62 c objective function=345 1800.00/1145.62 c Total wall clock time (in seconds): 1145.506
OK 345
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-4118260-1467224636/watcher-4118260-1467224636 -o /tmp/evaluation-result-4118260-1467224636/solver-4118260-1467224636 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node137-1467212962-6646 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4118260-1467224636.opb pid=11366 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.73 4.51 4.27 4/197 11369 /proc/meminfo: memFree=26243620/32872528 swapFree=1499084/1695308 [pid=11369] ppid=11366 vsize=9160 CPUtime=0 cores=0,2,4,6 /proc/11369/stat : 11369 (java) R 11366 11369 5962 0 -1 4202496 468 0 0 0 0 0 0 0 20 0 1 0 3414836 9379840 123 33554432000 1073741824 1073778376 140735610680000 140735610677128 225448071648 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 /proc/11369/statm: 2290 127 98 9 0 38 0 [startup+0.10006 s] /proc/loadavg: 4.73 4.51 4.27 4/197 11369 /proc/meminfo: memFree=26243620/32872528 swapFree=1499084/1695308 [pid=11369] ppid=11366 vsize=9558476 CPUtime=0.09 cores=0,2,4,6 /proc/11369/stat : 11369 (java) S 11366 11369 5962 0 -1 4202496 4396 0 1 0 8 1 0 0 20 0 18 0 3414836 9787879424 6037 33554432000 1073741824 1073778376 140735610680000 140735610671136 225448067133 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/11369/statm: 2389619 6037 2126 9 0 2380296 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 9558476 [startup+0.200221 s] /proc/loadavg: 4.73 4.51 4.27 4/197 11369 /proc/meminfo: memFree=26243620/32872528 swapFree=1499084/1695308 [pid=11369] ppid=11366 vsize=9558476 CPUtime=0.24 cores=0,2,4,6 /proc/11369/stat : 11369 (java) S 11366 11369 5962 0 -1 4202496 4679 0 1 0 23 1 0 0 20 0 18 0 3414836 9787879424 6751 33554432000 1073741824 1073778376 140735610680000 140735610671136 225448067133 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/11369/statm: 2389619 6751 2203 9 0 2380296 0 Current children cumulated CPU time (s) 0.24 Current children cumulated vsize (KiB) 9558476 [startup+0.300227 s] /proc/loadavg: 4.73 4.51 4.27 4/197 11369 /proc/meminfo: memFree=26243620/32872528 swapFree=1499084/1695308 [pid=11369] ppid=11366 vsize=9558476 CPUtime=0.47 cores=0,2,4,6 /proc/11369/stat : 11369 (java) S 11366 11369 5962 0 -1 4202496 5444 0 1 0 45 2 0 0 20 0 18 0 3414836 9787879424 8869 33554432000 1073741824 1073778376 140735610680000 140735610671136 225448067133 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/11369/statm: 2389619 8869 2232 9 0 2380296 0 Current children cumulated CPU time (s) 0.47 Current children cumulated vsize (KiB) 9558476 [startup+0.700207 s] /proc/loadavg: 4.73 4.51 4.27 4/197 11369 /proc/meminfo: memFree=26243620/32872528 swapFree=1499084/1695308 [pid=11369] ppid=11366 vsize=9824732 CPUtime=0.61 cores=0,2,4,6 /proc/11369/stat : 11369 (java) S 11366 11369 5962 0 -1 4202496 5929 0 1 0 57 4 0 0 20 0 19 0 3414836 10060525568 10119 33554432000 1073741824 1073778376 140735610680000 140735610671136 225448067133 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/11369/statm: 2456183 10119 2250 9 0 2446860 0 Current children cumulated CPU time (s) 0.61 Current children cumulated vsize (KiB) 9824732 [startup+1.50075 s] /proc/loadavg: 4.73 4.51 4.27 4/216 11394 /proc/meminfo: memFree=26207296/32872528 swapFree=1499084/1695308 [pid=11369] ppid=11366 vsize=9824732 CPUtime=1.06 cores=0,2,4,6 /proc/11369/stat : 11369 (java) S 11366 11369 5962 0 -1 4202496 14910 0 1 0 98 8 0 0 20 0 20 0 3414836 10060525568 17654 33554432000 1073741824 1073778376 140735610680000 140735610671136 225448067133 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/11369/statm: 2456183 17654 2250 9 0 2446860 0 [pid=11369/tid=11371] ppid=11366 vsize=9824732 CPUtime=0.31 cores=0,2,4,6 /proc/11369/task/11371/stat : 11371 (java) S 11366 11369 5962 0 -1 4202560 2429 0 1 0 29 2 0 0 20 0 20 0 3414837 10060525568 17654 33554432000 1073741824 1073778376 140735610680000 139813507486584 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=11369/tid=11372] ppid=11366 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/11369/task/11372/stat : 11372 (java) S 11366 11369 5962 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 3414838 10060525568 17654 33554432000 1073741824 1073778376 140735610680000 139813468978088 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=11369/tid=11373] ppid=11366 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/11369/task/11373/stat : 11373 (java) S 11366 11369 5962 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 3414838 10060525568 17654 33554432000 1073741824 1073778376 140735610680000 139813467925544 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=11369/tid=11374] ppid=11366 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/11369/task/11374/stat : 11374 (java) S 11366 11369 5962 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 3414838 10060525568 17654 33554432000 1073741824 1073778376 140735610680000 139813348960936 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=11369/tid=11375] ppid=11366 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/11369/task/11375/stat : 11375 (java) S 11366 11369 5962 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 3414838 10060525568 17654 33554432000 1073741824 1073778376 140735610680000 139813347908392 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=11369/tid=11376] ppid=11366 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/11369/task/11376/stat : 11376 (java) S 11366 11369 5962 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 3414838 10060525568 17654 33554432000 1073741824 1073778376 140735610680000 139813346855336 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=11369/tid=11377] ppid=11366 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/11369/task/11377/stat : 11377 (java) S 11366 11369 5962 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 3414838 10060525568 17654 33554432000 1073741824 1073778376 140735610680000 139813345802792 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=11369/tid=11378] ppid=11366 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/11369/task/11378/stat : 11378 (java) S 11366 11369 5962 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 3414838 10060525568 17654 33554432000 1073741824 1073778376 140735610680000 139813344749736 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=11369/tid=11379] ppid=11366 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/11369/task/11379/stat : 11379 (java) S 11366 11369 5962 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 20 0 3414838 10060525568 17654 33554432000 1073741824 1073778376 140735610680000 139813343697192 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=11369/tid=11380] ppid=11366 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/11369/task/11380/stat : 11380 (java) S 11366 11369 5962 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 20 0 3414839 10060525568 17654 33554432000 1073741824 1073778376 140735610680000 139812861369192 225448081321 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=11369/tid=11381] ppid=11366 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/11369/task/11381/stat : 11381 (java) S 11366 11369 5962 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 20 0 3414840 10060525568 17654 33554432000 1073741824 1073778376 140735610680000 139812860315512 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=11369/tid=11382] ppid=11366 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/11369/task/11382/stat : 11382 (java) S 11366 11369 5962 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 3414840 10060525568 17654 33554432000 1073741824 1073778376 140735610680000 139812859262344 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=11369/tid=11383] ppid=11366 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/11369/task/11383/stat : 11383 (java) S 11366 11369 5962 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 3414842 10060525568 17654 33554432000 1073741824 1073778376 140735610680000 139812858211088 225448089376 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=11369/tid=11384] ppid=11366 vsize=9824732 CPUtime=0.3 cores=0,2,4,6 /proc/11369/task/11384/stat : 11384 (java) R 11366 11369 5962 0 -1 4202560 5250 0 0 0 29 1 0 0 20 0 20 0 3414842 10060525568 17654 33554432000 1073741824 1073778376 140735610680000 139812857145696 139813510072860 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 [pid=11369/tid=11385] ppid=11366 vsize=9824732 CPUtime=0.31 cores=0,2,4,6 /proc/11369/task/11385/stat : 11385 (java) R 11366 11369 5962 0 -1 4202560 5878 0 0 0 31 0 0 0 20 0 20 0 3414842 10060525568 17654 33554432000 1073741824 1073778376 140735610680000 139812856082664 139813511603576 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=11369/tid=11386] ppid=11366 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/11369/task/11386/stat : 11386 (java) S 11366 11369 5962 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 3414842 10060525568 17654 33554432000 1073741824 1073778376 140735610680000 139812855052536 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=11369/tid=11387] ppid=11366 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/11369/task/11387/stat : 11387 (java) S 11366 11369 5962 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 3414842 10060525568 17654 33554432000 1073741824 1073778376 140735610680000 139812854000200 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=11369/tid=11391] ppid=11366 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/11369/task/11391/stat : 11391 (java) S 11366 11369 5962 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 3414869 10060525568 17654 33554432000 1073741824 1073778376 140735610680000 139812849788328 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1.06 Current children cumulated vsize (KiB) 9824732 [startup+3.10087 s] /proc/loadavg: 4.73 4.51 4.27 4/216 11399 /proc/meminfo: memFree=26176936/32872528 swapFree=1499084/1695308 [pid=11369] ppid=11366 vsize=9824732 CPUtime=2.17 cores=0,2,4,6 /proc/11369/stat : 11369 (java) S 11366 11369 5962 0 -1 4202496 15644 0 1 0 203 14 0 0 20 0 19 0 3414836 10060525568 23698 33554432000 1073741824 1073778376 140735610680000 140735610671136 225448067133 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/11369/statm: 2456183 23698 2262 9 0 2446860 0 [pid=11369/tid=11371] ppid=11366 vsize=9824732 CPUtime=0.32 cores=0,2,4,6 /proc/11369/task/11371/stat : 11371 (java) S 11366 11369 5962 0 -1 4202560 2430 0 1 0 30 2 0 0 20 0 19 0 3414837 10060525568 23698 33554432000 1073741824 1073778376 140735610680000 139813507486584 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=11369/tid=11372] ppid=11366 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/11369/task/11372/stat : 11372 (java) S 11366 11369 5962 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3414838 10060525568 23698 33554432000 1073741824 1073778376 140735610680000 139813468978088 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=11369/tid=11373] ppid=11366 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/11369/task/11373/stat : 11373 (java) S 11366 11369 5962 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3414838 10060525568 23698 33554432000 1073741824 1073778376 140735610680000 139813467925544 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=11369/tid=11374] ppid=11366 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/11369/task/11374/stat : 11374 (java) S 11366 11369 5962 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3414838 10060525568 23698 33554432000 1073741824 1073778376 140735610680000 139813348960936 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=11369/tid=11375] ppid=11366 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/11369/task/11375/stat : 11375 (java) S 11366 11369 5962 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3414838 10060525568 23698 33554432000 1073741824 1073778376 140735610680000 139813347908392 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=11369/tid=11376] ppid=11366 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/11369/task/11376/stat : 11376 (java) S 11366 11369 5962 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3414838 10060525568 23698 33554432000 1073741824 1073778376 140735610680000 139813346855336 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=11369/tid=11377] ppid=11366 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/11369/task/11377/stat : 11377 (java) S 11366 11369 5962 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3414838 10060525568 23698 33554432000 1073741824 1073778376 140735610680000 139813345802792 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=11369/tid=11378] ppid=11366 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/11369/task/11378/stat : 11378 (java) S 11366 11369 5962 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3414838 10060525568 23698 33554432000 1073741824 1073778376 140735610680000 139813344749736 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=11369/tid=11379] ppid=11366 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/11369/task/11379/stat : 11379 (java) S 11366 11369 5962 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 3414838 10060525568 23698 33554432000 1073741824 1073778376 140735610680000 139813343697192 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=11369/tid=11380] ppid=11366 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/11369/task/11380/stat : 11380 (java) S 11366 11369 5962 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 3414839 10060525568 23698 33554432000 1073741824 1073778376 140735610680000 139812861369192 225448081321 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=11369/tid=11381] ppid=11366 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/11369/task/11381/stat : 11381 (java) S 11366 11369 5962 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 3414840 10060525568 23698 33554432000 1073741824 1073778376 140735610680000 139812860315512 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=11369/tid=11382] ppid=11366 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/11369/task/11382/stat : 11382 (java) S 11366 11369 5962 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 3414840 10060525568 23698 33554432000 1073741824 1073778376 140735610680000 139812859262344 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=11369/tid=11383] ppid=11366 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/11369/task/11383/stat : 11383 (java) S 11366 11369 5962 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3414842 10060525568 23698 33554432000 1073741824 1073778376 140735610680000 139812858211088 225448089376 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=11369/tid=11384] ppid=11366 vsize=9824732 CPUtime=0.53 cores=0,2,4,6 /proc/11369/task/11384/stat : 11384 (java) S 11366 11369 5962 0 -1 4202560 5299 0 0 0 51 2 0 0 20 0 19 0 3414842 10060525568 23698 33554432000 1073741824 1073778376 140735610680000 139812857157944 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=11369/tid=11385] ppid=11366 vsize=9824732 CPUtime=0.7 cores=0,2,4,6 /proc/11369/task/11385/stat : 11385 (java) S 11366 11369 5962 0 -1 4202560 6533 0 0 0 70 0 0 0 20 0 19 0 3414842 10060525568 23698 33554432000 1073741824 1073778376 140735610680000 139812856105400 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=11369/tid=11386] ppid=11366 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/11369/task/11386/stat : 11386 (java) S 11366 11369 5962 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3414842 10060525568 23698 33554432000 1073741824 1073778376 140735610680000 139812855052536 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=11369/tid=11387] ppid=11366 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/11369/task/11387/stat : 11387 (java) S 11366 11369 5962 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3414842 10060525568 23698 33554432000 1073741824 1073778376 140735610680000 139812854000200 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=11369/tid=11391] ppid=11366 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/11369/task/11391/stat : 11391 (java) S 11366 11369 5962 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 3414869 10060525568 23698 33554432000 1073741824 1073778376 140735610680000 139812849788328 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 2.17 Current children cumulated vsize (KiB) 9824732 heavy processes: %CPU=32 pid=1811 uid=0 cmd= [startup+6.30084 s] /proc/loadavg: 4.59 4.49 4.26 4/216 11420 /proc/meminfo: memFree=26115776/32872528 swapFree=1499084/1695308 [pid=11369] ppid=11366 vsize=9824732 CPUtime=3.19 cores=0,2,4,6 /proc/11369/stat : 11369 (java) S 11366 11369 5962 0 -1 4202496 16830 0 1 0 296 23 0 0 20 0 19 0 3414836 10060525568 37886 33554432000 1073741824 1073778376 140735610680000 140735610671136 225448067133 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/11369/statm: 2456183 37886 2269 9 0 2446860 0 [pid=11369/tid=11371] ppid=11366 vsize=9824732 CPUtime=0.33 cores=0,2,4,6 /proc/11369/task/11371/stat : 11371 (java) S 11366 11369 5962 0 -1 4202560 2432 0 1 0 31 2 0 0 20 0 19 0 3414837 10060525568 37886 33554432000 1073741824 1073778376 140735610680000 139813507486584 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=11369/tid=11372] ppid=11366 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/11369/task/11372/stat : 11372 (java) S 11366 11369 5962 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3414838 10060525568 37886 33554432000 1073741824 1073778376 140735610680000 139813468978088 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=11369/tid=11373] ppid=11366 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/11369/task/11373/stat : 11373 (java) S 11366 11369 5962 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3414838 10060525568 37886 33554432000 1073741824 1073778376 140735610680000 139813467925544 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=11369/tid=11374] ppid=11366 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/11369/task/11374/stat : 11374 (java) S 11366 11369 5962 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3414838 10060525568 37886 33554432000 1073741824 1073778376 140735610680000 139813348960936 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=11369/tid=11375] ppid=11366 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/11369/task/11375/stat : 11375 (java) S 11366 11369 5962 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3414838 10060525568 37886 33554432000 1073741824 1073778376 140735610680000 139813347908392 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=11369/tid=11376] ppid=11366 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/11369/task/11376/stat : 11376 (java) S 11366 11369 5962 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3414838 10060525568 37886 33554432000 1073741824 1073778376 140735610680000 139813346855336 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=11369/tid=11377] ppid=11366 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/11369/task/11377/stat : 11377 (java) S 11366 11369 5962 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3414838 10060525568 37886 33554432000 1073741824 1073778376 140735610680000 139813345802792 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=11369/tid=11378] ppid=11366 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/11369/task/11378/stat : 11378 (java) S 11366 11369 5962 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3414838 10060525568 37886 33554432000 1073741824 1073778376 140735610680000 139813344749736 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=11369/tid=11379] ppid=11366 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/11369/task/11379/stat : 11379 (java) S 11366 11369 5962 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 3414838 10060525568 37886 33554432000 1073741824 1073778376 140735610680000 139813343697192 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=11369/tid=11380] ppid=11366 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/11369/task/11380/stat : 11380 (java) S 11366 11369 5962 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 3414839 10060525568 37886 33554432000 1073741824 1073778376 140735610680000 139812861369192 225448081321 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=11369/tid=11381] ppid=11366 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/11369/task/11381/stat : 11381 (java) S 11366 11369 5962 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 3414840 10060525568 37886 33554432000 1073741824 1073778376 140735610680000 139812860315512 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=11369/tid=11382] ppid=11366 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/11369/task/11382/stat : 11382 (java) S 11366 11369 5962 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 3414840 10060525568 37886 33554432000 1073741824 1073778376 140735610680000 139812859262344 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=11369/tid=11383] ppid=11366 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/11369/task/11383/stat : 11383 (java) S 11366 11369 5962 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3414842 10060525568 37886 33554432000 1073741824 1073778376 140735610680000 139812858211088 225448089376 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=11369/tid=11384] ppid=11366 vsize=9824732 CPUtime=0.75 cores=0,2,4,6 /proc/11369/task/11384/stat : 11384 (java) S 11366 11369 5962 0 -1 4202560 6396 0 0 0 73 2 0 0 20 0 19 0 3414842 10060525568 37886 33554432000 1073741824 1073778376 140735610680000 139812857157944 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=11369/tid=11385] ppid=11366 vsize=9824732 CPUtime=0.86 cores=0,2,4,6 /proc/11369/task/11385/stat : 11385 (java) S 11366 11369 5962 0 -1 4202560 6538 0 0 0 86 0 0 0 20 0 19 0 3414842 10060525568 37886 33554432000 1073741824 1073778376 140735610680000 139812856105400 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=11369/tid=11386] ppid=11366 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/11369/task/11386/stat : 11386 (java) S 11366 11369 5962 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3414842 10060525568 37886 33554432000 1073741824 1073778376 140735610680000 139812855052536 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=11369/tid=11387] ppid=11366 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/11369/task/11387/stat : 11387 (java) S 11366 11369 5962 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 3414842 10060525568 37886 33554432000 1073741824 1073778376 140735610680000 139812854000200 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=11369/tid=11391] ppid=11366 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/11369/task/11391/stat : 11391 (java) S 11366 11369 5962 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 3414869 10060525568 37886 33554432000 1073741824 1073778376 140735610680000 139812849788328 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 3.19 ################ # More data... # ################ [startup+1062.3 s] /proc/loadavg: 4.05 3.98 3.99 5/219 11754 /proc/meminfo: memFree=21330600/32872528 swapFree=1499084/1695308 [pid=11369] ppid=11366 vsize=9824732 CPUtime=1633.23 cores=0,2,4,6 /proc/11369/stat : 11369 (java) S 11366 11369 5962 0 -1 4202496 26069 0 1 0 163032 291 0 0 20 0 22 0 3414836 10060525568 576506 33554432000 1073741824 1073778376 140735610680000 140735610671136 225448067133 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/11369/statm: 2456183 576506 2295 9 0 2446860 0 [pid=11369/tid=11371] ppid=11366 vsize=9824732 CPUtime=0.56 cores=0,2,4,6 /proc/11369/task/11371/stat : 11371 (java) S 11366 11369 5962 0 -1 4202560 2441 0 1 0 50 6 0 0 20 0 22 0 3414837 10060525568 576506 33554432000 1073741824 1073778376 140735610680000 139813507486616 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=11369/tid=11372] ppid=11366 vsize=9824732 CPUtime=0.54 cores=0,2,4,6 /proc/11369/task/11372/stat : 11372 (java) S 11366 11369 5962 0 -1 4202560 483 0 0 0 40 14 0 0 20 0 22 0 3414838 10060525568 576506 33554432000 1073741824 1073778376 140735610680000 139813468978088 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=11369/tid=11373] ppid=11366 vsize=9824732 CPUtime=0.36 cores=0,2,4,6 /proc/11369/task/11373/stat : 11373 (java) S 11366 11369 5962 0 -1 4202560 346 0 0 0 28 8 0 0 20 0 22 0 3414838 10060525568 576506 33554432000 1073741824 1073778376 140735610680000 139813467925544 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=11369/tid=11374] ppid=11366 vsize=9824732 CPUtime=0.43 cores=0,2,4,6 /proc/11369/task/11374/stat : 11374 (java) S 11366 11369 5962 0 -1 4202560 419 0 0 0 31 12 0 0 20 0 22 0 3414838 10060525568 576506 33554432000 1073741824 1073778376 140735610680000 139813348960936 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=11369/tid=11375] ppid=11366 vsize=9824732 CPUtime=0.49 cores=0,2,4,6 /proc/11369/task/11375/stat : 11375 (java) S 11366 11369 5962 0 -1 4202560 414 0 0 0 35 14 0 0 20 0 22 0 3414838 10060525568 576506 33554432000 1073741824 1073778376 140735610680000 139813347908392 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=11369/tid=11376] ppid=11366 vsize=9824732 CPUtime=0.32 cores=0,2,4,6 /proc/11369/task/11376/stat : 11376 (java) S 11366 11369 5962 0 -1 4202560 591 0 0 0 22 10 0 0 20 0 22 0 3414838 10060525568 576506 33554432000 1073741824 1073778376 140735610680000 139813346855336 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=11369/tid=11377] ppid=11366 vsize=9824732 CPUtime=0.46 cores=0,2,4,6 /proc/11369/task/11377/stat : 11377 (java) S 11366 11369 5962 0 -1 4202560 331 0 0 0 31 15 0 0 20 0 22 0 3414838 10060525568 576506 33554432000 1073741824 1073778376 140735610680000 139813345802792 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=11369/tid=11378] ppid=11366 vsize=9824732 CPUtime=0.37 cores=0,2,4,6 /proc/11369/task/11378/stat : 11378 (java) S 11366 11369 5962 0 -1 4202560 884 0 0 0 25 12 0 0 20 0 22 0 3414838 10060525568 576506 33554432000 1073741824 1073778376 140735610680000 139813344749736 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=11369/tid=11379] ppid=11366 vsize=9824732 CPUtime=0.35 cores=0,2,4,6 /proc/11369/task/11379/stat : 11379 (java) S 11366 11369 5962 0 -1 4202560 495 0 0 0 24 11 0 0 20 0 22 0 3414838 10060525568 576506 33554432000 1073741824 1073778376 140735610680000 139813343697192 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=11369/tid=11380] ppid=11366 vsize=9824732 CPUtime=0.58 cores=0,2,4,6 /proc/11369/task/11380/stat : 11380 (java) S 11366 11369 5962 0 -1 4202560 1156 0 0 0 50 8 0 0 20 0 22 0 3414839 10060525568 576506 33554432000 1073741824 1073778376 140735610680000 139812861369192 225448081321 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=11369/tid=11381] ppid=11366 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/11369/task/11381/stat : 11381 (java) S 11366 11369 5962 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 3414840 10060525568 576506 33554432000 1073741824 1073778376 140735610680000 139812860315512 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=11369/tid=11382] ppid=11366 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/11369/task/11382/stat : 11382 (java) S 11366 11369 5962 0 -1 4202560 53 0 0 0 0 0 0 0 20 0 22 0 3414840 10060525568 576506 33554432000 1073741824 1073778376 140735610680000 139812859262344 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=11369/tid=11383] ppid=11366 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/11369/task/11383/stat : 11383 (java) S 11366 11369 5962 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 3414842 10060525568 576506 33554432000 1073741824 1073778376 140735610680000 139812858211088 225448089376 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=11369/tid=11384] ppid=11366 vsize=9824732 CPUtime=1.25 cores=0,2,4,6 /proc/11369/task/11384/stat : 11384 (java) S 11366 11369 5962 0 -1 4202560 6684 0 0 0 123 2 0 0 20 0 22 0 3414842 10060525568 576506 33554432000 1073741824 1073778376 140735610680000 139812857157944 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=11369/tid=11385] ppid=11366 vsize=9824732 CPUtime=1.29 cores=0,2,4,6 /proc/11369/task/11385/stat : 11385 (java) S 11366 11369 5962 0 -1 4202560 8890 0 0 0 127 2 0 0 20 0 22 0 3414842 10060525568 576506 33554432000 1073741824 1073778376 140735610680000 139812856105400 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=11369/tid=11386] ppid=11366 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/11369/task/11386/stat : 11386 (java) S 11366 11369 5962 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 3414842 10060525568 576506 33554432000 1073741824 1073778376 140735610680000 139812855052536 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=11369/tid=11387] ppid=11366 vsize=9824732 CPUtime=0.2 cores=0,2,4,6 /proc/11369/task/11387/stat : 11387 (java) S 11366 11369 5962 0 -1 4202560 61 0 0 0 8 12 0 0 20 0 22 0 3414842 10060525568 576506 33554432000 1073741824 1073778376 140735610680000 139812854000200 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=11369/tid=11474] ppid=11366 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/11369/task/11474/stat : 11474 (java) S 11366 11369 5962 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 3416428 10060525568 576506 33554432000 1073741824 1073778376 140735610680000 139812852945704 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=11369/tid=11752] ppid=11366 vsize=9824732 CPUtime=14.59 cores=0,2,4,6 /proc/11369/task/11752/stat : 11752 (java) R 11366 11369 5962 0 -1 4202560 3 0 0 0 1459 0 0 0 20 0 22 0 3519606 10060525568 576506 33554432000 1073741824 1073778376 140735610680000 139812851884176 139813349546430 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 [pid=11369/tid=11753] ppid=11366 vsize=9824732 CPUtime=14.59 cores=0,2,4,6 /proc/11369/task/11753/stat : 11753 (java) R 11366 11369 5962 0 -1 4202560 2 0 0 0 1459 0 0 0 20 0 22 0 3519606 10060525568 576506 33554432000 1073741824 1073778376 140735610680000 139812849786104 139813350203192 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 [pid=11369/tid=11754] ppid=11366 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/11369/task/11754/stat : 11754 (java) S 11366 11369 5962 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 3519606 10060525568 576506 33554432000 1073741824 1073778376 140735610680000 139812850840648 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1633.23 Current children cumulated vsize (KiB) 9824732 [startup+1122.3 s] /proc/loadavg: 3.49 3.81 3.93 5/219 12046 /proc/meminfo: memFree=25561596/32872528 swapFree=1499084/1695308 [pid=11369] ppid=11366 vsize=9824732 CPUtime=1753.35 cores=0,2,4,6 /proc/11369/stat : 11369 (java) S 11366 11369 5962 0 -1 4202496 26128 0 1 0 175043 292 0 0 20 0 22 0 3414836 10060525568 542603 33554432000 1073741824 1073778376 140735610680000 140735610671136 225448067133 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/11369/statm: 2456183 542603 2295 9 0 2446860 0 [pid=11369/tid=11371] ppid=11366 vsize=9824732 CPUtime=0.56 cores=0,2,4,6 /proc/11369/task/11371/stat : 11371 (java) S 11366 11369 5962 0 -1 4202560 2441 0 1 0 50 6 0 0 20 0 22 0 3414837 10060525568 542603 33554432000 1073741824 1073778376 140735610680000 139813507486616 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=11369/tid=11372] ppid=11366 vsize=9824732 CPUtime=0.57 cores=0,2,4,6 /proc/11369/task/11372/stat : 11372 (java) S 11366 11369 5962 0 -1 4202560 488 0 0 0 43 14 0 0 20 0 22 0 3414838 10060525568 542603 33554432000 1073741824 1073778376 140735610680000 139813468978088 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=11369/tid=11373] ppid=11366 vsize=9824732 CPUtime=0.44 cores=0,2,4,6 /proc/11369/task/11373/stat : 11373 (java) S 11366 11369 5962 0 -1 4202560 361 0 0 0 35 9 0 0 20 0 22 0 3414838 10060525568 542603 33554432000 1073741824 1073778376 140735610680000 139813467925544 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=11369/tid=11374] ppid=11366 vsize=9824732 CPUtime=0.47 cores=0,2,4,6 /proc/11369/task/11374/stat : 11374 (java) S 11366 11369 5962 0 -1 4202560 426 0 0 0 35 12 0 0 20 0 22 0 3414838 10060525568 542603 33554432000 1073741824 1073778376 140735610680000 139813348960936 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=11369/tid=11375] ppid=11366 vsize=9824732 CPUtime=0.52 cores=0,2,4,6 /proc/11369/task/11375/stat : 11375 (java) S 11366 11369 5962 0 -1 4202560 414 0 0 0 38 14 0 0 20 0 22 0 3414838 10060525568 542603 33554432000 1073741824 1073778376 140735610680000 139813347908392 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=11369/tid=11376] ppid=11366 vsize=9824732 CPUtime=0.34 cores=0,2,4,6 /proc/11369/task/11376/stat : 11376 (java) S 11366 11369 5962 0 -1 4202560 601 0 0 0 24 10 0 0 20 0 22 0 3414838 10060525568 542603 33554432000 1073741824 1073778376 140735610680000 139813346855336 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=11369/tid=11377] ppid=11366 vsize=9824732 CPUtime=0.49 cores=0,2,4,6 /proc/11369/task/11377/stat : 11377 (java) S 11366 11369 5962 0 -1 4202560 343 0 0 0 34 15 0 0 20 0 22 0 3414838 10060525568 542603 33554432000 1073741824 1073778376 140735610680000 139813345802792 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=11369/tid=11378] ppid=11366 vsize=9824732 CPUtime=0.4 cores=0,2,4,6 /proc/11369/task/11378/stat : 11378 (java) S 11366 11369 5962 0 -1 4202560 886 0 0 0 28 12 0 0 20 0 22 0 3414838 10060525568 542603 33554432000 1073741824 1073778376 140735610680000 139813344749736 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=11369/tid=11379] ppid=11366 vsize=9824732 CPUtime=0.38 cores=0,2,4,6 /proc/11369/task/11379/stat : 11379 (java) S 11366 11369 5962 0 -1 4202560 495 0 0 0 27 11 0 0 20 0 22 0 3414838 10060525568 542603 33554432000 1073741824 1073778376 140735610680000 139813343697192 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=11369/tid=11380] ppid=11366 vsize=9824732 CPUtime=0.59 cores=0,2,4,6 /proc/11369/task/11380/stat : 11380 (java) S 11366 11369 5962 0 -1 4202560 1158 0 0 0 50 9 0 0 20 0 22 0 3414839 10060525568 542603 33554432000 1073741824 1073778376 140735610680000 139812861369192 225448081321 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=11369/tid=11381] ppid=11366 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/11369/task/11381/stat : 11381 (java) S 11366 11369 5962 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 3414840 10060525568 542603 33554432000 1073741824 1073778376 140735610680000 139812860315512 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=11369/tid=11382] ppid=11366 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/11369/task/11382/stat : 11382 (java) S 11366 11369 5962 0 -1 4202560 53 0 0 0 0 0 0 0 20 0 22 0 3414840 10060525568 542603 33554432000 1073741824 1073778376 140735610680000 139812859262344 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=11369/tid=11383] ppid=11366 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/11369/task/11383/stat : 11383 (java) S 11366 11369 5962 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 3414842 10060525568 542603 33554432000 1073741824 1073778376 140735610680000 139812858211088 225448089376 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=11369/tid=11384] ppid=11366 vsize=9824732 CPUtime=1.25 cores=0,2,4,6 /proc/11369/task/11384/stat : 11384 (java) S 11366 11369 5962 0 -1 4202560 6684 0 0 0 123 2 0 0 20 0 22 0 3414842 10060525568 542603 33554432000 1073741824 1073778376 140735610680000 139812857157944 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=11369/tid=11385] ppid=11366 vsize=9824732 CPUtime=1.29 cores=0,2,4,6 /proc/11369/task/11385/stat : 11385 (java) S 11366 11369 5962 0 -1 4202560 8890 0 0 0 127 2 0 0 20 0 22 0 3414842 10060525568 542603 33554432000 1073741824 1073778376 140735610680000 139812856105400 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=11369/tid=11386] ppid=11366 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/11369/task/11386/stat : 11386 (java) S 11366 11369 5962 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 3414842 10060525568 542603 33554432000 1073741824 1073778376 140735610680000 139812855052536 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=11369/tid=11387] ppid=11366 vsize=9824732 CPUtime=0.22 cores=0,2,4,6 /proc/11369/task/11387/stat : 11387 (java) S 11366 11369 5962 0 -1 4202560 65 0 0 0 9 13 0 0 20 0 22 0 3414842 10060525568 542603 33554432000 1073741824 1073778376 140735610680000 139812854000200 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=11369/tid=11474] ppid=11366 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/11369/task/11474/stat : 11474 (java) S 11366 11369 5962 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 3416428 10060525568 542603 33554432000 1073741824 1073778376 140735610680000 139812852945704 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=11369/tid=11752] ppid=11366 vsize=9824732 CPUtime=74.5 cores=0,2,4,6 /proc/11369/task/11752/stat : 11752 (java) R 11366 11369 5962 0 -1 4202560 4 0 0 0 7449 1 0 0 20 0 22 0 3519606 10060525568 542603 33554432000 1073741824 1073778376 140735610680000 139812851884176 139813349767457 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 [pid=11369/tid=11753] ppid=11366 vsize=9824732 CPUtime=74.52 cores=0,2,4,6 /proc/11369/task/11753/stat : 11753 (java) R 11366 11369 5962 0 -1 4202560 3 0 0 0 7451 1 0 0 20 0 22 0 3519606 10060525568 542603 33554432000 1073741824 1073778376 140735610680000 139812849786496 139813350234895 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 [pid=11369/tid=11754] ppid=11366 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/11369/task/11754/stat : 11754 (java) S 11366 11369 5962 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 3519606 10060525568 542603 33554432000 1073741824 1073778376 140735610680000 139812850840648 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1753.35 Current children cumulated vsize (KiB) 9824732 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1145.6 s] /proc/loadavg: 3.38 3.76 3.91 5/219 12119 /proc/meminfo: memFree=25344212/32872528 swapFree=1499084/1695308 [pid=11369] ppid=11366 vsize=9824732 CPUtime=1800 cores=0,2,4,6 /proc/11369/stat : 11369 (java) S 11366 11369 5962 0 -1 4202496 26151 0 1 0 179708 292 0 0 20 0 22 0 3414836 10060525568 530631 33554432000 1073741824 1073778376 140735610680000 140735610671136 225448067133 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/11369/statm: 2456183 530631 2295 9 0 2446860 0 [pid=11369/tid=11371] ppid=11366 vsize=9824732 CPUtime=0.56 cores=0,2,4,6 /proc/11369/task/11371/stat : 11371 (java) S 11366 11369 5962 0 -1 4202560 2441 0 1 0 50 6 0 0 20 0 22 0 3414837 10060525568 530631 33554432000 1073741824 1073778376 140735610680000 139813507486616 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=11369/tid=11372] ppid=11366 vsize=9824732 CPUtime=0.58 cores=0,2,4,6 /proc/11369/task/11372/stat : 11372 (java) S 11366 11369 5962 0 -1 4202560 502 0 0 0 44 14 0 0 20 0 22 0 3414838 10060525568 530631 33554432000 1073741824 1073778376 140735610680000 139813468978088 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=11369/tid=11373] ppid=11366 vsize=9824732 CPUtime=0.45 cores=0,2,4,6 /proc/11369/task/11373/stat : 11373 (java) S 11366 11369 5962 0 -1 4202560 361 0 0 0 36 9 0 0 20 0 22 0 3414838 10060525568 530631 33554432000 1073741824 1073778376 140735610680000 139813467925544 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=11369/tid=11374] ppid=11366 vsize=9824732 CPUtime=0.5 cores=0,2,4,6 /proc/11369/task/11374/stat : 11374 (java) S 11366 11369 5962 0 -1 4202560 429 0 0 0 38 12 0 0 20 0 22 0 3414838 10060525568 530631 33554432000 1073741824 1073778376 140735610680000 139813348960936 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=11369/tid=11375] ppid=11366 vsize=9824732 CPUtime=0.53 cores=0,2,4,6 /proc/11369/task/11375/stat : 11375 (java) S 11366 11369 5962 0 -1 4202560 414 0 0 0 39 14 0 0 20 0 22 0 3414838 10060525568 530631 33554432000 1073741824 1073778376 140735610680000 139813347908392 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=11369/tid=11376] ppid=11366 vsize=9824732 CPUtime=0.36 cores=0,2,4,6 /proc/11369/task/11376/stat : 11376 (java) S 11366 11369 5962 0 -1 4202560 601 0 0 0 26 10 0 0 20 0 22 0 3414838 10060525568 530631 33554432000 1073741824 1073778376 140735610680000 139813346855336 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=11369/tid=11377] ppid=11366 vsize=9824732 CPUtime=0.51 cores=0,2,4,6 /proc/11369/task/11377/stat : 11377 (java) S 11366 11369 5962 0 -1 4202560 346 0 0 0 36 15 0 0 20 0 22 0 3414838 10060525568 530631 33554432000 1073741824 1073778376 140735610680000 139813345802792 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=11369/tid=11378] ppid=11366 vsize=9824732 CPUtime=0.41 cores=0,2,4,6 /proc/11369/task/11378/stat : 11378 (java) S 11366 11369 5962 0 -1 4202560 886 0 0 0 29 12 0 0 20 0 22 0 3414838 10060525568 530631 33554432000 1073741824 1073778376 140735610680000 139813344749736 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=11369/tid=11379] ppid=11366 vsize=9824732 CPUtime=0.42 cores=0,2,4,6 /proc/11369/task/11379/stat : 11379 (java) S 11366 11369 5962 0 -1 4202560 495 0 0 0 31 11 0 0 20 0 22 0 3414838 10060525568 530631 33554432000 1073741824 1073778376 140735610680000 139813343697192 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=11369/tid=11380] ppid=11366 vsize=9824732 CPUtime=0.59 cores=0,2,4,6 /proc/11369/task/11380/stat : 11380 (java) S 11366 11369 5962 0 -1 4202560 1158 0 0 0 50 9 0 0 20 0 22 0 3414839 10060525568 530631 33554432000 1073741824 1073778376 140735610680000 139812861369192 225448081321 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=11369/tid=11381] ppid=11366 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/11369/task/11381/stat : 11381 (java) S 11366 11369 5962 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 3414840 10060525568 530631 33554432000 1073741824 1073778376 140735610680000 139812860315512 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=11369/tid=11382] ppid=11366 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/11369/task/11382/stat : 11382 (java) S 11366 11369 5962 0 -1 4202560 53 0 0 0 0 0 0 0 20 0 22 0 3414840 10060525568 530631 33554432000 1073741824 1073778376 140735610680000 139812859262344 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=11369/tid=11383] ppid=11366 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/11369/task/11383/stat : 11383 (java) S 11366 11369 5962 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 3414842 10060525568 530631 33554432000 1073741824 1073778376 140735610680000 139812858211088 225448089376 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=11369/tid=11384] ppid=11366 vsize=9824732 CPUtime=1.25 cores=0,2,4,6 /proc/11369/task/11384/stat : 11384 (java) S 11366 11369 5962 0 -1 4202560 6684 0 0 0 123 2 0 0 20 0 22 0 3414842 10060525568 530631 33554432000 1073741824 1073778376 140735610680000 139812857157944 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=11369/tid=11385] ppid=11366 vsize=9824732 CPUtime=1.29 cores=0,2,4,6 /proc/11369/task/11385/stat : 11385 (java) S 11366 11369 5962 0 -1 4202560 8890 0 0 0 127 2 0 0 20 0 22 0 3414842 10060525568 530631 33554432000 1073741824 1073778376 140735610680000 139812856105400 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=11369/tid=11386] ppid=11366 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/11369/task/11386/stat : 11386 (java) S 11366 11369 5962 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 3414842 10060525568 530631 33554432000 1073741824 1073778376 140735610680000 139812855052536 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=11369/tid=11387] ppid=11366 vsize=9824732 CPUtime=0.22 cores=0,2,4,6 /proc/11369/task/11387/stat : 11387 (java) S 11366 11369 5962 0 -1 4202560 67 0 0 0 9 13 0 0 20 0 22 0 3414842 10060525568 530631 33554432000 1073741824 1073778376 140735610680000 139812854000200 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=11369/tid=11474] ppid=11366 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/11369/task/11474/stat : 11474 (java) S 11366 11369 5962 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 3416428 10060525568 530631 33554432000 1073741824 1073778376 140735610680000 139812852945704 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=11369/tid=11752] ppid=11366 vsize=9824732 CPUtime=97.76 cores=0,2,4,6 /proc/11369/task/11752/stat : 11752 (java) R 11366 11369 5962 0 -1 4202560 5 0 0 0 9775 1 0 0 20 0 22 0 3519606 10060525568 530631 33554432000 1073741824 1073778376 140735610680000 139812851884176 139813349632035 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 [pid=11369/tid=11753] ppid=11366 vsize=9824732 CPUtime=97.78 cores=0,2,4,6 /proc/11369/task/11753/stat : 11753 (java) R 11366 11369 5962 0 -1 4202560 3 0 0 0 9777 1 0 0 20 0 22 0 3519606 10060525568 530631 33554432000 1073741824 1073778376 140735610680000 139812849784672 139813350203207 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 [pid=11369/tid=11754] ppid=11366 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/11369/task/11754/stat : 11754 (java) S 11366 11369 5962 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 3519606 10060525568 530631 33554432000 1073741824 1073778376 140735610680000 139812850840648 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800 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 11369 sig 9 ??? end of watcher thread Dumping a history of the last processes samples Child status: 143 Real time (s): 1145.65 CPU time (s): 1800.3 CPU user time (s): 1797.13 CPU system time (s): 3.17152 CPU usage (%): 157.143 Max. virtual memory (cumulated for all children) (KiB): 9824732 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1797.13 system time used= 3.17152 maximum resident set size= 2649052 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 26194 page faults= 1 swaps= 0 block input operations= 0 block output operations= 976 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 37259 involuntary context switches= 8232 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 7.10092 second user time and 8.5457 second system time The end
Begin job on node137 at 2016-06-29 20:23:56 IDJOB=4118260 IDBENCH=111474 IDSOLVER=2543 FILE ID=node137/4118260-1467224636 RUNJOBID= node137-1467212962-6646 PBS_JOBID= 19997573 Free space on /tmp= 71696 MiB SOLVER NAME= Sat4j PB 2.3.6 Res+CP PB16 BENCH NAME= PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/minlplib2-pb-0.1.0/opb/normalized-edgecross10-050.lin.opb COMMAND LINE= java -jar sat4j-pb.jar Both BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4118260-1467224636/watcher-4118260-1467224636 -o /tmp/evaluation-result-4118260-1467224636/solver-4118260-1467224636 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node137-1467212962-6646 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4118260-1467224636.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 13f39ac7da8cb7567021ad7bbb224d86 RANDOM SEED=742168317 node137.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.265 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.53 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.265 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.265 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.53 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.265 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.265 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.265 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.265 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.54 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.265 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: 26244000 kB Buffers: 101452 kB Cached: 1788868 kB SwapCached: 0 kB Active: 2502076 kB Inactive: 1684776 kB Active(anon): 2299228 kB Inactive(anon): 4 kB Active(file): 202848 kB Inactive(file): 1684772 kB Unevictable: 1695308 kB Mlocked: 1499084 kB SwapTotal: 67108856 kB SwapFree: 67108856 kB Dirty: 872 kB Writeback: 0 kB AnonPages: 3987620 kB Mapped: 22244 kB Shmem: 204 kB Slab: 608484 kB SReclaimable: 52720 kB SUnreclaim: 555764 kB KernelStack: 1808 kB PageTables: 12104 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 4181808 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 2420736 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= 71692 MiB End job on node137 at 2016-06-29 20:43:02