Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| R1: Concrete 3.4 | SAT (TO) | 5 | 2400.1101 | 2363.04 |
| Name | Ramsey/Ramsey-int-s1/ Ramsey-int-34.xml |
| MD5SUM | 778dc3cd7adf307db423468d07378e38 |
| Bench Category | COP (optimization problem) |
| Best result obtained on this benchmark | SAT TO |
| Best value of the objective obtained on this benchmark | 4 |
| Best CPU time to get the best result obtained on this benchmark | 2400 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 1156 |
| Number of constraints | 5984 |
| Number of domains | 1 |
| Minimum domain size | 561 |
| Maximum domain size | 561 |
| Distribution of domain sizes | [{"size":561,"count":561}] |
| Minimum variable degree | 0 |
| Maximum variable degree | 33 |
| Distribution of variable degrees | [{"degree":0,"count":595},{"degree":33,"count":561}] |
| Minimum constraint arity | 3 |
| Maximum constraint arity | 3 |
| Distribution of constraint arities | [{"arity":3,"count":5984}] |
| Number of extensional constraints | 0 |
| Number of intensional constraints | 5984 |
| Distribution of constraint types | [{"type":"intension","count":5984}] |
| Optimization problem | YES |
| Type of objective | min MAXIMUM |
3.47/2.21 c Concrete v3.4 running 35.61/15.84 o 560 38.74/17.21 o 559 39.96/18.37 o 558 41.26/19.52 o 557 42.45/20.70 o 556 43.73/21.86 o 555 45.02/23.02 o 554 46.04/24.01 o 553 47.15/25.13 o 552 48.17/26.13 o 551 49.20/27.13 o 550 50.44/28.27 o 549 51.47/29.24 o 548 52.78/30.36 o 547 53.92/31.47 o 546 55.17/32.62 o 545 56.31/33.75 o 544 57.42/34.86 o 543 58.58/35.99 o 542 59.69/37.09 o 541 60.71/38.08 o 540 61.91/39.22 o 539 62.94/40.21 o 538 64.04/41.33 o 537 65.04/42.31 o 536 66.15/43.42 o 535 67.05/44.40 o 534 68.25/45.50 o 533 69.36/46.63 o 532 70.56/47.80 o 531 71.69/48.92 o 530 72.78/50.04 o 529 73.89/51.16 o 528 75.01/52.27 o 527 76.02/53.26 o 526 77.12/54.38 o 525 78.12/55.38 o 524 79.13/56.36 o 523 80.16/57.36 o 522 81.27/58.46 o 521 82.37/59.56 o 520 83.38/60.53 o 519 84.48/61.65 o 518 85.58/62.76 o 517 86.58/63.76 o 516 87.68/64.87 o 515 88.67/65.88 o 514 89.90/67.01 o 513 91.05/68.13 o 512 92.15/69.25 o 511 93.25/70.36 o 510 94.36/71.47 o 509 95.37/72.44 o 508 96.37/73.42 o 507 97.47/74.53 o 506 98.47/75.50 o 505 99.61/76.65 o 504 100.61/77.64 o 503 101.71/78.76 o 502 102.81/79.87 o 501 103.81/80.84 o 500 104.92/81.96 o 499 106.02/83.08 o 498 107.02/84.06 o 497 108.02/85.04 o 496 109.13/86.15 o 495 110.27/87.30 o 494 111.27/88.27 o 493 112.37/89.37 o 492 113.47/90.49 o 491 114.67/91.60 o 490 115.58/92.58 o 489 116.68/93.69 o 488 117.78/94.79 o 487 118.78/95.77 o 486 119.88/96.86 o 485 121.01/97.98 o 484 122.10/99.09 o 483 123.10/100.07 o 482 124.20/101.17 o 481 125.20/102.14 o 480 126.31/103.25 o 479 127.40/104.37 o 478 128.41/105.33 o 477 129.52/106.44 o 476 130.62/107.55 o 475 131.65/108.54 o 474 132.75/109.66 o 473 133.75/110.63 o 472 134.65/111.60 o 471 135.85/112.70 o 470 136.95/113.84 o 469 138.06/114.95 o 468 139.15/116.08 o 467 140.16/117.07 o 466 141.26/118.18 o 465 142.48/119.30 o 464 143.58/120.42 o 463 144.58/121.40 o 462 145.68/122.51 o 461 146.58/123.49 o 460 147.69/124.58 o 459 148.91/125.70 o 458 150.02/126.80 o 457 151.12/127.91 o 456 152.03/128.89 o 455 153.24/130.01 o 454 154.15/131.00 o 453 155.14/131.97 o 452 156.25/133.08 o 451 157.25/134.05 o 450 158.35/135.15 o 449 159.45/136.26 o 448 160.45/137.23 o 447 161.55/138.33 o 446 162.45/139.29 o 445 163.68/140.41 o 444 164.58/141.38 o 443 165.59/142.36 o 442 166.59/143.32 o 441 167.69/144.41 o 440 168.79/145.51 o 439 169.89/146.61 o 438 170.89/147.69 o 437 172.09/148.80 o 436 173.19/149.90 o 435 174.30/151.02 o 434 175.22/151.99 o 433 176.42/153.11 o 432 177.52/154.23 o 431 178.55/155.21 o 430 179.65/156.32 o 429 180.65/157.31 o 428 181.55/158.28 o 427 182.65/159.39 o 426 183.67/160.38 o 425 184.77/161.49 o 424 185.97/162.61 o 423 186.87/163.59 o 422 188.07/164.71 o 421 189.18/165.83 o 420 190.28/166.94 o 419 191.28/167.92 o 418 192.38/169.03 o 417 193.50/170.13 o 416 194.51/171.10 o 415 195.40/172.08 o 414 196.41/173.05 o 413 197.50/174.15 o 412 198.60/175.26 o 411 199.70/176.37 o 410 200.70/177.36 o 409 201.71/178.33 o 408 202.83/179.44 o 407 203.93/180.55 o 406 205.03/181.67 o 405 206.03/182.65 o 404 207.02/183.63 o 403 208.12/184.74 o 402 209.22/185.85 o 401 210.35/186.97 o 400 211.45/188.07 o 399 212.45/189.05 o 398 213.55/190.16 o 397 214.65/191.26 o 396 215.76/192.36 o 395 216.76/193.32 o 394 217.86/194.42 o 393 218.98/195.53 o 392 220.08/196.63 o 391 221.18/197.72 o 390 222.29/198.82 o 389 223.39/199.91 o 388 224.49/201.01 o 387 225.59/202.11 o 386 226.71/203.22 o 385 227.71/204.20 o 384 228.81/205.30 o 383 229.91/206.42 o 382 231.01/207.52 o 381 231.91/208.49 o 380 233.01/209.59 o 379 234.03/210.56 o 378 235.14/211.67 o 377 236.25/212.77 o 376 237.35/213.88 o 375 238.45/214.98 o 374 239.65/216.11 o 373 240.55/217.08 o 372 241.67/218.19 o 371 242.67/219.17 o 370 243.78/220.29 o 369 244.98/221.41 o 368 246.08/222.53 o 367 247.08/223.51 o 366 248.20/224.63 o 365 249.30/225.74 o 364 250.31/226.72 o 363 251.41/227.83 o 362 252.51/228.95 o 361 253.62/230.06 o 360 254.65/231.06 o 359 255.75/232.16 o 358 256.85/233.28 o 357 257.84/234.26 o 356 258.94/235.39 o 355 260.15/236.52 o 354 261.17/237.52 o 353 262.07/238.50 o 352 263.07/239.48 o 351 264.07/240.45 o 350 265.17/241.58 o 349 266.27/242.70 o 348 267.29/243.68 o 347 268.29/244.64 o 346 269.29/245.62 o 345 270.39/246.73 o 344 271.50/247.85 o 343 272.52/248.84 o 342 273.62/249.95 o 341 274.72/251.05 o 340 275.82/252.17 o 339 276.92/253.29 o 338 277.94/254.28 o 337 278.94/255.26 o 336 280.04/256.38 o 335 281.04/257.36 o 334 282.04/258.35 o 333 283.14/259.47 o 332 284.26/260.58 o 331 285.26/261.57 o 330 286.36/262.69 o 329 287.36/263.67 o 328 288.58/264.80 o 327 289.48/265.77 o 326 290.48/266.73 o 325 291.59/267.85 o 324 292.59/268.81 o 323 293.71/269.93 o 322 294.83/271.03 o 321 295.93/272.13 o 320 296.93/273.10 o 319 298.05/274.21 o 318 298.96/275.19 o 317 299.96/276.16 o 316 301.06/277.25 o 315 302.16/278.36 o 314 303.28/279.48 o 313 304.38/280.60 o 312 305.38/281.57 o 311 306.48/282.68 o 310 307.55/283.67 o 309 308.65/284.77 o 308 309.75/285.87 o 307 310.86/286.98 o 306 311.89/287.97 o 305 312.89/288.93 o 304 313.99/290.04 o 303 315.01/291.02 o 302 316.11/292.12 o 301 317.21/293.23 o 300 318.32/294.34 o 299 319.44/295.46 o 298 320.54/296.58 o 297 321.54/297.56 o 296 322.66/298.68 o 295 323.86/299.80 o 294 324.76/300.78 o 293 325.76/301.77 o 292 326.89/302.89 o 291 328.09/304.01 o 290 328.99/304.98 o 289 330.22/306.10 o 288 331.13/307.08 o 287 332.23/308.19 o 286 333.25/309.16 o 285 334.35/310.27 o 284 335.35/311.24 o 283 336.47/312.36 o 282 337.47/313.34 o 281 338.47/314.31 o 280 339.60/315.42 o 279 340.70/316.52 o 278 341.80/317.64 o 277 342.93/318.73 o 276 344.03/319.84 o 275 345.06/320.83 o 274 346.16/321.94 o 273 347.16/322.92 o 272 348.30/324.03 o 271 349.40/325.11 o 270 350.53/326.22 o 269 351.63/327.34 o 268 352.76/328.46 o 267 353.76/329.43 o 266 354.76/330.40 o 265 355.90/331.52 o 264 357.00/332.62 o 263 358.13/333.73 o 262 359.14/334.70 o 261 360.10/335.69 o 260 361.29/336.80 o 259 362.20/337.79 o 258 363.34/338.90 o 257 364.59/340.03 o 256 365.48/341.00 o 255 366.62/342.01 o 254 367.75/343.11 o 253 368.65/344.08 o 252 369.90/345.21 o 251 370.80/346.18 o 250 372.04/347.31 o 249 372.94/348.28 o 248 374.18/349.41 o 247 375.28/350.51 o 246 376.22/351.50 o 245 377.22/352.46 o 244 378.23/353.43 o 243 379.26/354.41 o 242 380.37/355.52 o 241 381.51/356.64 o 240 382.61/357.75 o 239 383.64/358.73 o 238 384.74/359.84 o 237 385.78/360.84 o 236 386.88/361.95 o 235 387.91/362.94 o 234 389.01/364.04 o 233 390.15/365.16 o 232 391.19/366.15 o 231 392.29/367.24 o 230 393.43/368.36 o 229 394.43/369.35 o 228 395.46/370.34 o 227 396.46/371.30 o 226 397.59/372.41 o 225 398.71/373.55 o 224 399.71/374.52 o 223 400.74/375.50 o 222 401.87/376.62 o 221 402.97/377.72 o 220 403.99/378.71 o 219 404.91/379.68 o 218 406.01/380.79 o 217 407.23/381.90 o 216 408.16/382.89 o 215 409.28/384.00 o 214 410.50/385.11 o 213 411.40/386.09 o 212 412.52/387.18 o 211 413.64/388.28 o 210 414.77/389.39 o 209 415.79/390.37 o 208 416.81/391.34 o 207 417.94/392.46 o 206 418.96/393.45 o 205 419.96/394.43 o 204 421.08/395.53 o 203 422.10/396.50 o 202 423.24/397.61 o 201 424.37/398.72 o 200 425.49/399.83 o 199 426.61/400.95 o 198 427.73/402.07 o 197 428.74/403.06 o 196 429.87/404.17 o 195 430.89/405.16 o 194 432.01/406.28 o 193 433.23/407.40 o 192 434.35/408.52 o 191 435.39/409.50 o 190 436.51/410.61 o 189 437.41/411.59 o 188 438.66/412.70 o 187 439.57/413.67 o 186 440.69/414.78 o 185 441.71/415.77 o 184 442.84/416.89 o 183 443.84/417.87 o 182 444.98/418.98 o 181 446.11/420.09 o 180 447.26/421.10 o 179 448.16/422.07 o 178 449.32/423.17 o 177 450.33/424.15 o 176 451.37/425.15 o 175 452.47/426.28 o 174 453.71/427.40 o 173 454.76/428.40 o 172 455.86/429.53 o 171 457.02/430.67 o 170 458.12/431.78 o 169 459.37/432.91 o 168 460.47/434.03 o 167 461.57/435.17 o 166 462.72/436.28 o 165 463.73/437.26 o 164 464.77/438.25 o 163 465.77/439.23 o 162 466.91/440.37 o 161 468.01/441.49 o 160 469.21/442.64 o 159 470.26/443.61 o 158 471.17/444.58 o 157 472.21/445.56 o 156 473.31/446.67 o 155 474.35/447.67 o 154 475.45/448.78 o 153 476.70/449.91 o 152 477.80/451.02 o 151 478.84/452.02 o 150 479.94/453.13 o 149 481.07/454.26 o 148 482.07/455.25 o 147 483.19/456.25 o 146 484.29/457.39 o 145 485.53/458.51 o 144 486.68/459.64 o 143 487.68/460.60 o 142 488.81/461.72 o 141 489.94/462.85 o 140 491.06/463.96 o 139 492.09/464.97 o 138 493.09/465.96 o 137 494.22/467.08 o 136 495.44/468.20 o 135 496.56/469.33 o 134 497.57/470.31 o 133 498.69/471.44 o 132 499.81/472.57 o 131 501.03/473.70 o 130 501.93/474.67 o 129 503.16/475.80 o 128 504.08/476.77 o 127 505.09/477.74 o 126 506.22/478.83 o 125 507.35/479.93 o 124 508.47/481.04 o 123 509.49/482.02 o 122 510.59/483.11 o 121 511.71/484.21 o 120 512.84/485.31 o 119 513.77/486.28 o 118 514.78/487.24 o 117 515.81/488.22 o 116 516.91/489.33 o 115 518.03/490.45 o 114 519.16/491.58 o 113 520.18/492.55 o 112 521.30/493.67 o 111 522.32/494.63 o 110 523.44/495.75 o 109 524.59/496.86 o 108 525.71/497.96 o 107 526.83/499.07 o 106 527.96/500.17 o 105 528.98/501.14 o 104 530.10/502.25 o 103 531.12/503.21 o 102 532.24/504.32 o 101 533.36/505.44 o 100 534.51/506.56 o 99 535.63/507.67 o 98 536.75/508.78 o 97 537.77/509.76 o 96 538.90/510.86 o 95 539.92/511.82 o 94 540.84/512.79 o 93 542.06/513.90 o 92 543.00/514.87 o 91 544.13/515.98 o 90 545.25/517.09 o 89 546.48/518.21 o 88 547.41/519.19 o 87 548.41/520.15 o 86 549.54/521.26 o 85 550.58/522.24 o 84 551.71/523.35 o 83 552.81/524.44 o 82 553.95/525.54 o 81 555.10/526.66 o 80 556.20/527.75 o 79 557.24/528.73 o 78 558.14/529.70 o 77 559.39/530.81 o 76 560.49/531.93 o 75 561.63/533.04 o 74 562.77/534.16 o 73 563.87/535.25 o 72 564.97/536.38 o 71 566.03/537.35 o 70 567.14/538.48 o 69 568.30/539.57 o 68 569.30/540.53 o 67 570.35/541.52 o 66 571.57/542.62 o 65 572.75/543.75 o 64 573.89/544.75 o 63 574.99/545.73 o 62 576.05/546.71 o 61 577.05/547.80 o 60 578.10/548.78 o 59 579.20/549.89 o 58 580.20/550.85 o 57 581.35/551.98 o 56 582.45/553.08 o 55 583.74/554.21 o 54 584.65/555.19 o 53 585.65/556.16 o 52 586.71/557.13 o 51 587.81/558.24 o 50 588.92/559.34 o 49 590.09/560.45 o 48 591.09/561.41 o 47 591.99/562.37 o 46 593.15/563.47 o 45 594.25/564.58 o 44 595.36/565.58 o 43 596.36/566.54 o 42 597.46/567.63 o 41 598.61/568.74 o 40 599.72/569.83 o 39 600.82/570.92 o 38 601.98/572.03 o 37 602.88/572.99 o 36 604.14/574.10 o 35 605.14/575.19 o 34 606.14/576.15 o 33 607.23/577.14 o 32 608.33/578.23 o 31 609.43/579.33 o 30 610.59/580.44 o 29 611.70/581.54 o 28 612.80/582.64 o 27 613.86/583.62 o 26 614.96/584.72 o 25 616.12/585.84 o 24 617.02/586.79 o 23 618.12/587.88 o 22 619.41/589.00 o 21 620.31/589.97 o 20 621.41/591.06 o 19 622.58/592.17 o 18 623.58/593.12 o 17 624.74/594.23 o 16 625.84/595.33 o 15 626.94/596.42 o 14 628.12/597.53 o 13 629.02/598.50 o 12 630.03/599.46 o 11 631.23/600.59 o 10 632.33/601.69 o 9 633.60/602.80 o 8 634.60/603.90 o 7 635.60/604.86 o 6 636.97/606.12 o 5 2400.06/2363.00 java.util.concurrent.TimeoutException 2400.06/2363.00 at concrete.MAC.mac(MAC.scala:74) 2400.06/2363.00 at concrete.MAC.$anonfun$oneRun$1(MAC.scala:145) 2400.06/2363.00 at scala.util.Try$.apply(Try.scala:209) 2400.06/2363.00 at cspom.StatisticsManager$.$anonfun$measure$1(StatisticsManager.scala:194) 2400.06/2363.00 at cspom.StatisticsManager$.$anonfun$measureTry$1(StatisticsManager.scala:182) 2400.06/2363.00 at scala.runtime.java8.JFunction0$mcZ$sp.apply(JFunction0$mcZ$sp.java:12) 2400.06/2363.00 at org.scalameter.MeasureBuilder.$anonfun$measure$1(MeasureBuilder.scala:61) 2400.06/2363.00 at org.scalameter.Measurer$Default.measure(Measurer.scala:131) 2400.06/2363.00 at org.scalameter.MeasureBuilder.measureWith(MeasureBuilder.scala:51) 2400.06/2363.00 at org.scalameter.MeasureBuilder.measure(MeasureBuilder.scala:61) 2400.06/2363.00 at cspom.StatisticsManager$.measureTry(StatisticsManager.scala:181) 2400.06/2363.00 at cspom.StatisticsManager$.measure(StatisticsManager.scala:194) 2400.06/2363.00 at concrete.MAC.oneRun(MAC.scala:146) 2400.06/2363.00 at concrete.MAC.nextSolution(MAC.scala:166) 2400.06/2363.00 at concrete.MAC.$anonfun$nextSolution$2(MAC.scala:196) 2400.06/2363.00 at concrete.ProblemState.map(ProblemState.scala:203) 2400.06/2363.00 at concrete.ProblemState.map(ProblemState.scala:188) 2400.06/2363.00 at concrete.MAC.nextSolution(MAC.scala:195) 2400.06/2363.00 at concrete.Solver.hasNext(Solver.scala:202) 2400.06/2363.00 at scala.collection.Iterator.toStream(Iterator.scala:1403) 2400.06/2363.00 at scala.collection.Iterator.toStream$(Iterator.scala:1402) 2400.06/2363.00 at concrete.Solver.toStream(Solver.scala:73) 2400.06/2363.00 at scala.collection.Iterator.$anonfun$toStream$1(Iterator.scala:1403) 2400.06/2363.00 at scala.collection.immutable.Stream$Cons.tail(Stream.scala:1169) 2400.06/2363.00 at scala.collection.immutable.Stream$Cons.tail(Stream.scala:1159) 2400.06/2363.00 at scala.collection.immutable.Stream.foreach(Stream.scala:531) 2400.06/2363.00 at concrete.runner.ConcreteRunner.$anonfun$run$10(ConcreteRunner.scala:157) 2400.06/2363.00 at scala.util.Success.$anonfun$map$1(Try.scala:251) 2400.06/2363.00 at scala.util.Success.map(Try.scala:209) 2400.06/2363.00 at concrete.runner.ConcreteRunner.run(ConcreteRunner.scala:154) 2400.06/2363.00 at concrete.runner.ConcreteRunner.run$(ConcreteRunner.scala:72) 2400.06/2363.00 at concrete.runner.XCSP3Concrete$.run(XCSP3Concrete.scala:17) 2400.06/2363.00 at concrete.runner.XCSP3Concrete$.delayedEndpoint$concrete$runner$XCSP3Concrete$1(XCSP3Concrete.scala:119) 2400.06/2363.00 at concrete.runner.XCSP3Concrete$delayedInit$body.apply(XCSP3Concrete.scala:17) 2400.06/2363.00 at scala.Function0.apply$mcV$sp(Function0.scala:34) 2400.06/2363.00 at scala.Function0.apply$mcV$sp$(Function0.scala:34) 2400.06/2363.00 at scala.runtime.AbstractFunction0.apply$mcV$sp(AbstractFunction0.scala:12) 2400.06/2363.00 at scala.App.$anonfun$main$1$adapted(App.scala:76) 2400.06/2363.00 at scala.collection.immutable.List.foreach(List.scala:389) 2400.06/2363.00 at scala.App.main(App.scala:76) 2400.06/2363.00 at scala.App.main$(App.scala:74) 2400.06/2363.00 at concrete.runner.XCSP3Concrete$.main(XCSP3Concrete.scala:17) 2400.06/2363.00 at concrete.runner.XCSP3Concrete.main(XCSP3Concrete.scala) 2400.06/2363.01 v <instantiation cost="5"> 2400.06/2363.01 v <list> 2400.06/2363.01 v x[0][1] x[0][2] x[0][3] x[0][4] x[0][5] x[0][6] x[0][7] x[0][8] x[0][9] x[0][10] x[0][11] x[0][12] x[0][13] x[0][14] x[0][15] x[0][16] x[0][17] x[0][18] x[0][19] x[0][20] x[0][21] x[0][22] x[0][23] x[0][24] x[0][25] x[0][26] x[0][27] x[0][28] x[0][29] x[0][30] x[0][31] x[0][32] x[0][33] x[1][2] x[1][3] x[1][4] x[1][5] x[1][6] x[1][7] x[1][8] x[1][9] x[1][10] x[1][11] x[1][12] x[1][13] x[1][14] x[1][15] x[1][16] x[1][17] x[1][18] x[1][19] x[1][20] x[1][21] x[1][22] x[1][23] x[1][24] x[1][25] x[1][26] x[1][27] x[1][28] x[1][29] x[1][30] x[1][31] x[1][32] x[1][33] x[2][3] x[2][4] x[2][5] x[2][6] x[2][7] x[2][8] x[2][9] x[2][10] x[2][11] x[2][12] x[2][13] x[2][14] x[2][15] x[2][16] x[2][17] x[2][18] x[2][19] x[2][20] x[2][21] x[2][22] x[2][23] x[2][24] x[2][25] x[2][26] x[2][27] x[2][28] x[2][29] x[2][30] x[2][31] x[2][32] x[2][33] x[3][4] x[3][5] x[3][6] x[3][7] x[3][8] x[3][9] x[3][10] x[3][11] x[3][12] x[3][13] x[3][14] x[3][15] x[3][16] x[3][17] x[3][18] x[3][19] x[3][20] x[3][21] x[3][22] x[3][23] x[3][24] x[3][25] x[3][26] x[3][27] x[3][28] x[3][29] x[3][30] x[3][31] x[3][32] x[3][33] x[4][5] x[4][6] x[4][7] x[4][8] x[4][9] x[4][10] x[4][11] x[4][12] x[4][13] x[4][14] x[4][15] x[4][16] x[4][17] x[4][18] x[4][19] x[4][20] x[4][21] x[4][22] x[4][23] x[4][24] x[4][25] x[4][26] x[4][27] x[4][28] x[4][29] x[4][30] x[4][31] x[4][32] x[4][33] x[5][6] x[5][7] x[5][8] x[5][9] x[5][10] x[5][11] x[5][12] x[5][13] x[5][14] x[5][15] x[5][16] x[5][17] x[5][18] x[5][19] x[5][20] x[5][21] x[5][22] x[5][23] x[5][24] x[5][25] x[5][26] x[5][27] x[5][28] x[5][29] x[5][30] x[5][31] x[5][32] x[5][33] x[6][7] x[6][8] x[6][9] x[6][10] x[6][11] x[6][12] x[6][13] x[6][14] x[6][15] x[6][16] x[6][17] x[6][18] x[6][19] x[6][20] x[6][21] x[6][22] x[6][23] x[6][24] x[6][25] x[6][26] x[6][27] x[6][28] x[6][29] x[6][30] x[6][31] x[6][32] x[6][33] x[7][8] x[7][9] x[7][10] x[7][11] x[7][12] x[7][13] x[7][14] x[7][15] x[7][16] x[7][17] x[7][18] x[7][19] x[7][20] x[7][21] x[7][22] x[7][23] x[7][24] x[7][25] x[7][26] x[7][27] x[7][28] x[7][29] x[7][30] x[7][31] x[7][32] x[7][33] x[8][9] x[8][10] x[8][11] x[8][12] x[8][13] x[8][14] x[8][15] x[8][16] x[8][17] x[8][18] x[8][19] x[8][20] x[8][21] x[8][22] x[8][23] x[8][24] x[8][25] x[8][26] x[8][27] x[8][28] x[8][29] x[8][30] x[8][31] x[8][32] x[8][33] x[9][10] x[9][11] x[9][12] x[9][13] x[9][14] x[9][15] x[9][16] x[9][17] x[9][18] x[9][19] x[9][20] x[9][21] x[9][22] x[9][23] x[9][24] x[9][25] x[9][26] x[9][27] x[9][28] x[9][29] x[9][30] x[9][31] x[9][32] x[9][33] x[10][11] x[10][12] x[10][13] x[10][14] x[10][15] x[10][16] x[10][17] x[10][18] x[10][19] x[10][20] x[10][21] x[10][22] x[10][23] x[10][24] x[10][25] x[10][26] x[10][27] x[10][28] x[10][29] x[10][30] x[10][31] x[10][32] x[10][33] x[11][12] x[11][13] x[11][14] x[11][15] x[11][16] x[11][17] x[11][18] x[11][19] x[11][20] x[11][21] x[11][22] x[11][23] x[11][24] x[11][25] x[11][26] x[11][27] x[11][28] x[11][29] x[11][30] x[11][31] x[11][32] x[11][33] x[12][13] x[12][14] x[12][15] x[12][16] x[12][17] x[12][18] x[12][19] x[12][20] x[12][21] x[12][22] x[12][23] x[12][24] x[12][25] x[12][26] x[12][27] x[12][28] x[12][29] x[12][30] x[12][31] x[12][32] x[12][33] x[13][14] x[13][15] x[13][16] x[13][17] x[13][18] x[13][19] x[13][20] x[13][21] x[13][22] x[13][23] x[13][24] x[13][25] x[13][26] x[13][27] x[13][28] x[13][29] x[13][30] x[13][31] x[13][32] x[13][33] x[14][15] x[14][16] x[14][17] x[14][18] x[14][19] x[14][20] x[14][21] x[14][22] x[14][23] x[14][24] x[14][25] x[14][26] x[14][27] x[14][28] x[14][29] x[14][30] x[14][31] x[14][32] x[14][33] x[15][16] x[15][17] x[15][18] x[15][19] x[15][20] x[15][21] x[15][22] x[15][23] x[15][24] x[15][25] x[15][26] x[15][27] x[15][28] x[15][29] x[15][30] x[15][31] x[15][32] x[15][33] x[16][17] x[16][18] x[16][19] x[16][20] x[16][21] x[16][22] x[16][23] x[16][24] x[16][25] x[16][26] x[16][27] x[16][28] x[16][29] x[16][30] x[16][31] x[16][32] x[16][33] x[17][18] x[17][19] x[17][20] x[17][21] x[17][22] x[17][23] x[17][24] x[17][25] x[17][26] x[17][27] x[17][28] x[17][29] x[17][30] x[17][31] x[17][32] x[17][33] x[18][19] x[18][20] x[18][21] x[18][22] x[18][23] x[18][24] x[18][25] x[18][26] x[18][27] x[18][28] x[18][29] x[18][30] x[18][31] x[18][32] x[18][33] x[19][20] x[19][21] x[19][22] x[19][23] x[19][24] x[19][25] x[19][26] x[19][27] x[19][28] x[19][29] x[19][30] x[19][31] x[19][32] x[19][33] x[20][21] x[20][22] x[20][23] x[20][24] x[20][25] x[20][26] x[20][27] x[20][28] x[20][29] x[20][30] x[20][31] x[20][32] x[20][33] x[21][22] x[21][23] x[21][24] x[21][25] x[21][26] x[21][27] x[21][28] x[21][29] x[21][30] x[21][31] x[21][32] x[21][33] x[22][23] x[22][24] x[22][25] x[22][26] x[22][27] x[22][28] x[22][29] x[22][30] x[22][31] x[22][32] x[22][33] x[23][24] x[23][25] x[23][26] x[23][27] x[23][28] x[23][29] x[23][30] x[23][31] x[23][32] x[23][33] x[24][25] x[24][26] x[24][27] x[24][28] x[24][29] x[24][30] x[24][31] x[24][32] x[24][33] x[25][26] x[25][27] x[25][28] x[25][29] x[25][30] x[25][31] x[25][32] x[25][33] x[26][27] x[26][28] x[26][29] x[26][30] x[26][31] x[26][32] x[26][33] x[27][28] x[27][29] x[27][30] x[27][31] x[27][32] x[27][33] x[28][29] x[28][30] x[28][31] x[28][32] x[28][33] x[29][30] x[29][31] x[29][32] x[29][33] x[30][31] x[30][32] x[30][33] x[31][32] x[31][33] x[32][33] 2400.06/2363.01 v </list> 2400.06/2363.01 v <values> 2400.06/2363.01 v 4 3 2 3 3 5 2 5 2 4 4 3 5 3 1 4 3 2 5 4 5 4 0 4 5 5 4 5 5 1 5 1 5 3 4 4 5 2 4 1 3 3 3 4 3 2 5 3 2 5 4 2 4 3 5 5 1 5 2 4 4 5 1 2 4 3 2 2 5 4 5 0 2 4 1 5 5 1 1 2 5 4 3 4 4 3 4 5 3 4 3 5 4 5 3 5 2 4 4 5 5 1 4 4 3 2 3 2 3 3 4 5 2 3 4 2 3 5 5 4 5 5 2 5 2 2 4 2 5 5 4 4 4 5 3 2 5 3 4 2 2 4 5 4 5 3 3 5 3 2 1 1 5 3 3 5 2 4 3 3 3 2 5 4 3 4 5 3 5 2 0 3 4 4 2 2 5 5 5 4 1 3 3 5 3 3 5 3 3 4 3 4 4 4 1 1 4 4 5 5 5 2 4 1 3 2 4 2 5 3 4 4 4 3 1 4 3 3 4 5 5 0 4 2 1 3 3 4 0 5 3 2 5 3 4 5 5 2 0 1 3 2 1 3 2 2 3 2 4 4 2 5 3 4 5 2 3 2 4 3 1 2 1 5 2 5 4 1 3 5 5 2 4 0 3 3 5 5 4 4 4 4 5 5 2 2 2 5 4 5 2 5 5 3 1 1 2 4 3 3 5 5 4 4 4 4 1 5 1 4 4 2 5 5 5 3 3 3 1 5 5 1 5 3 4 2 5 4 2 5 5 2 3 4 2 3 1 4 2 5 4 4 3 1 4 5 5 5 4 3 5 3 3 5 3 4 4 0 1 2 4 4 2 2 4 3 4 1 3 5 4 5 2 4 3 4 4 5 5 5 5 4 3 1 5 3 3 2 4 4 2 2 4 5 3 3 2 4 4 5 3 2 2 5 3 4 5 4 1 4 5 3 2 1 3 1 5 3 1 5 5 3 5 2 4 4 3 5 5 5 4 4 5 3 4 4 4 3 4 3 2 3 4 5 5 3 3 4 4 3 5 2 1 3 4 2 5 2 5 5 5 2 4 2 3 2 5 4 1 3 2 3 0 3 3 5 5 4 5 1 2 5 3 3 4 2 3 2 5 3 3 5 1 4 3 3 2 4 3 3 4 2 2 5 4 4 2 4 4 5 1 3 1 2 1 3 4 4 2 1 3 3 5 4 2 3 5 2 4 4 4 2 1 4 4 4 2 3 2 4 3 3 3 5 4 1 2 0 2 5 2 0 3 4 1 5 5 4 4 3 5 2400.06/2363.01 v </values> 2400.06/2363.01 v </instantiation> 2400.06/2363.01 s SATISFIABLE
OK 5
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-4248604-1502136957/watcher-4248604-1502136957 -o /tmp/evaluation-result-4248604-1502136957/solver-4248604-1502136957 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node133-1502128909-26536 --watchdog 2560 bin/concrete HOME/instance-4248604-1502136957.xml pid=28259 running on 4 cores: 0,2,4,6 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 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: 8192 KiB [startup+0 s] /proc/loadavg: 1.34 1.38 1.40 2/200 28262 /proc/meminfo: memFree=30468012/32770624 swapFree=0/356860 [pid=28262] ppid=28259 vsize=23672 CPUtime=0 cores=0,2,4,6 /proc/28262/stat : 28262 (runsolver) D 28259 28262 25100 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 61511019 24240128 107 18446744073709551615 4194304 4338465 140731645676672 140731645674312 139717217764055 0 0 1 24578 18446744071580418449 0 0 17 6 0 0 0 0 0 6438912 6441760 28487680 140731645677776 140731645678153 140731645678153 140731645681610 0 /proc/28262/statm: 5918 107 54 36 0 2156 0 [startup+0.100047 s] /proc/loadavg: 1.34 1.38 1.40 2/200 28262 /proc/meminfo: memFree=30468012/32770624 swapFree=0/356860 [pid=28262] ppid=28259 vsize=9640 CPUtime=0.01 cores=0,2,4,6 /proc/28262/stat : 28262 (bash) S 28259 28262 25100 0 -1 4202496 886 6454 0 0 0 0 0 1 20 0 1 0 61511019 9871360 372 18446744073709551615 4194304 5098028 140726298276752 140726298270760 139776043437056 0 0 5 65536 18446744071580971376 0 0 17 2 0 0 7 0 0 7196144 7232144 15630336 140726298280468 140726298280553 140726298280553 140726298284010 0 /proc/28262/statm: 2410 372 292 221 0 119 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 9640 [startup+0.20035 s] /proc/loadavg: 1.34 1.38 1.40 2/200 28262 /proc/meminfo: memFree=30468012/32770624 swapFree=0/356860 [pid=28262] ppid=28259 vsize=9640 CPUtime=0.01 cores=0,2,4,6 /proc/28262/stat : 28262 (bash) S 28259 28262 25100 0 -1 4202496 886 6454 0 0 0 0 0 1 20 0 1 0 61511019 9871360 372 18446744073709551615 4194304 5098028 140726298276752 140726298270760 139776043437056 0 0 5 65536 18446744071580971376 0 0 17 2 0 0 7 0 0 7196144 7232144 15630336 140726298280468 140726298280553 140726298280553 140726298284010 0 /proc/28262/statm: 2410 372 292 221 0 119 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 9640 [startup+0.300293 s] /proc/loadavg: 1.34 1.38 1.40 2/200 28262 /proc/meminfo: memFree=30468012/32770624 swapFree=0/356860 [pid=28262] ppid=28259 vsize=10485316 CPUtime=0.14 cores=0,2,4,6 /proc/28262/stat : 28262 (java) S 28259 28262 25100 0 -1 1077944320 5785 12384 0 0 5 1 5 3 20 0 14 0 61511019 10736963584 6010 18446744073709551615 4194304 4196468 140721404879104 140721404861648 140422832500471 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 7 0 0 6293624 6294260 16269312 140721404880859 140721404883633 140721404883633 140721404886991 0 /proc/28262/statm: 2621329 6010 2577 1 0 2610826 0 Current children cumulated CPU time (s) 0.14 Current children cumulated vsize (KiB) 10485316 [startup+0.700221 s] /proc/loadavg: 1.34 1.38 1.40 2/200 28262 /proc/meminfo: memFree=30468012/32770624 swapFree=0/356860 [pid=28262] ppid=28259 vsize=10552792 CPUtime=0.69 cores=0,2,4,6 /proc/28262/stat : 28262 (java) S 28259 28262 25100 0 -1 1077944320 13804 12384 0 0 58 3 5 3 20 0 15 0 61511019 10806059008 14759 18446744073709551615 4194304 4196468 140721404879104 140721404861648 140422832500471 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 7 0 0 6293624 6294260 16269312 140721404880859 140721404883633 140721404883633 140721404886991 0 /proc/28262/statm: 2638198 14759 3124 1 0 2627467 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 10552792 [startup+1.50919 s] /proc/loadavg: 1.34 1.38 1.40 3/215 28325 /proc/meminfo: memFree=30374564/32770624 swapFree=0/356860 [pid=28262] ppid=28259 vsize=10563416 CPUtime=1.9 cores=0,2,4,6 /proc/28262/stat : 28262 (java) S 28259 28262 25100 0 -1 1077944320 30573 12384 0 0 173 9 5 3 20 0 15 0 61511019 10816937984 41065 18446744073709551615 4194304 4196468 140721404879104 140721404861648 140422832500471 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 7 0 0 6293624 6294260 16269312 140721404880859 140721404883633 140721404883633 140721404886991 0 /proc/28262/statm: 2640854 41065 3379 1 0 2630027 0 [pid=28262/tid=28312] ppid=28259 vsize=10563416 CPUtime=1.3 cores=0,2,4,6 /proc/28262/task/28312/stat : 28312 (java) S 28259 28262 25100 0 -1 1077944384 24265 12384 0 0 116 6 5 3 20 0 15 0 61511041 10816937984 41065 18446744073709551615 4194304 4196468 140721404879104 140422836721584 140422832510677 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 3 0 0 6293624 6294260 16269312 140721404880859 140721404883633 140721404883633 140721404886991 0 [pid=28262/tid=28313] ppid=28259 vsize=10563416 CPUtime=0.08 cores=0,2,4,6 /proc/28262/task/28313/stat : 28313 (java) R 28259 28262 25100 0 -1 4202560 28 12384 0 0 0 0 5 3 20 0 15 0 61511042 10816937984 41065 18446744073709551615 4194304 4196468 140721404879104 140422762920336 140422825604118 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 16269312 140721404880859 140721404883633 140721404883633 140721404886991 0 [pid=28262/tid=28314] ppid=28259 vsize=10563416 CPUtime=0.08 cores=0,2,4,6 /proc/28262/task/28314/stat : 28314 (java) R 28259 28262 25100 0 -1 4202560 172 12384 0 0 0 0 5 3 20 0 15 0 61511042 10816937984 41065 18446744073709551615 4194304 4196468 140721404879104 140422761867536 140422832512406 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 16269312 140721404880859 140721404883633 140721404883633 140721404886991 0 [pid=28262/tid=28315] ppid=28259 vsize=10563416 CPUtime=0.08 cores=0,2,4,6 /proc/28262/task/28315/stat : 28315 (java) R 28259 28262 25100 0 -1 1077944384 36 12384 0 0 0 0 5 3 20 0 15 0 61511042 10816937984 41065 18446744073709551615 4194304 4196468 140721404879104 140422760815248 140422832510677 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 16269312 140721404880859 140721404883633 140721404883633 140721404886991 0 [pid=28262/tid=28316] ppid=28259 vsize=10563416 CPUtime=0.08 cores=0,2,4,6 /proc/28262/task/28316/stat : 28316 (java) R 28259 28262 25100 0 -1 4202560 55 12384 0 0 0 0 5 3 20 0 15 0 61511042 10816937984 41065 18446744073709551615 4194304 4196468 140721404879104 140422759762448 140422825596944 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 16269312 140721404880859 140721404883633 140721404883633 140721404886991 0 [pid=28262/tid=28317] ppid=28259 vsize=10563416 CPUtime=0.09 cores=0,2,4,6 /proc/28262/task/28317/stat : 28317 (java) S 28259 28262 25100 0 -1 1077944384 862 12384 0 0 1 0 5 3 20 0 15 0 61511043 10816937984 41065 18446744073709551615 4194304 4196468 140721404879104 140422328448160 140422832510677 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16269312 140721404880859 140721404883633 140721404883633 140721404886991 0 [pid=28262/tid=28318] ppid=28259 vsize=10563416 CPUtime=0.08 cores=0,2,4,6 /proc/28262/task/28318/stat : 28318 (java) S 28259 28262 25100 0 -1 1077944384 33 12384 0 0 0 0 5 3 20 0 15 0 61511043 10816937984 41065 18446744073709551615 4194304 4196468 140721404879104 140422327395616 140422832510677 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16269312 140721404880859 140721404883633 140721404883633 140721404886991 0 [pid=28262/tid=28319] ppid=28259 vsize=10563416 CPUtime=0.08 cores=0,2,4,6 /proc/28262/task/28319/stat : 28319 (java) S 28259 28262 25100 0 -1 1077944384 22 12384 0 0 0 0 5 3 20 0 15 0 61511044 10816937984 41065 18446744073709551615 4194304 4196468 140721404879104 140422326343280 140422832510677 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16269312 140721404880859 140721404883633 140721404883633 140721404886991 0 [pid=28262/tid=28320] ppid=28259 vsize=10563416 CPUtime=0.08 cores=0,2,4,6 /proc/28262/task/28320/stat : 28320 (java) S 28259 28262 25100 0 -1 1077944384 3 12384 0 0 0 0 5 3 20 0 15 0 61511046 10816937984 41065 18446744073709551615 4194304 4196468 140721404879104 140422325291600 140422832519067 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16269312 140721404880859 140721404883633 140721404883633 140721404886991 0 [pid=28262/tid=28321] ppid=28259 vsize=10563416 CPUtime=0.2 cores=0,2,4,6 /proc/28262/task/28321/stat : 28321 (java) S 28259 28262 25100 0 -1 1077944384 982 12384 0 0 12 0 5 3 20 0 15 0 61511046 10816937984 41065 18446744073709551615 4194304 4196468 140721404879104 140422324238448 140422832511618 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16269312 140721404880859 140721404883633 140721404883633 140721404886991 0 [pid=28262/tid=28322] ppid=28259 vsize=10563416 CPUtime=0.25 cores=0,2,4,6 /proc/28262/task/28322/stat : 28322 (java) S 28259 28262 25100 0 -1 1077944384 668 12384 0 0 17 0 5 3 20 0 15 0 61511046 10816937984 41065 18446744073709551615 4194304 4196468 140721404879104 140422323185648 140422832511618 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16269312 140721404880859 140721404883633 140721404883633 140721404886991 0 [pid=28262/tid=28323] ppid=28259 vsize=10563416 CPUtime=0.31 cores=0,2,4,6 /proc/28262/task/28323/stat : 28323 (java) S 28259 28262 25100 0 -1 1077944384 1300 12384 0 0 23 0 5 3 20 0 15 0 61511046 10816937984 41065 18446744073709551615 4194304 4196468 140721404879104 140422322129552 140422832510677 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16269312 140721404880859 140721404883633 140721404883633 140721404886991 0 [pid=28262/tid=28324] ppid=28259 vsize=10563416 CPUtime=0.08 cores=0,2,4,6 /proc/28262/task/28324/stat : 28324 (java) S 28259 28262 25100 0 -1 1077944384 3 12384 0 0 0 0 5 3 20 0 15 0 61511047 10816937984 41065 18446744073709551615 4194304 4196468 140721404879104 140422321080800 140422832510677 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16269312 140721404880859 140721404883633 140721404883633 140721404886991 0 [pid=28262/tid=28325] ppid=28259 vsize=10563416 CPUtime=0.08 cores=0,2,4,6 /proc/28262/task/28325/stat : 28325 (java) R 28259 28262 25100 0 -1 1077944384 10 12384 0 0 0 0 5 3 20 0 15 0 61511050 10816937984 41065 18446744073709551615 4194304 4196468 140721404879104 140422320028592 140422832511618 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 16269312 140721404880859 140721404883633 140721404883633 140721404886991 0 Current children cumulated CPU time (s) 1.9 Current children cumulated vsize (KiB) 10563416 [startup+3.10056 s] /proc/loadavg: 1.34 1.38 1.40 4/215 28325 /proc/meminfo: memFree=30295156/32770624 swapFree=0/356892 [pid=28262] ppid=28259 vsize=10573844 CPUtime=6.3 cores=0,2,4,6 /proc/28262/stat : 28262 (java) S 28259 28262 25100 0 -1 1077944320 43471 12384 0 0 606 16 5 3 20 0 15 0 61511019 10827616256 70103 18446744073709551615 4194304 4196468 140721404879104 140721404861648 140422832500471 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 7 0 0 6293624 6294260 16269312 140721404880859 140721404883633 140721404883633 140721404886991 0 /proc/28262/statm: 2643461 70103 3475 1 0 2632075 0 [pid=28262/tid=28312] ppid=28259 vsize=10573844 CPUtime=2.87 cores=0,2,4,6 /proc/28262/task/28312/stat : 28312 (java) S 28259 28262 25100 0 -1 1077944384 30975 12384 0 0 270 9 5 3 20 0 15 0 61511041 10827616256 70103 18446744073709551615 4194304 4196468 140721404879104 140422836733280 140422832510677 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 3 0 0 6293624 6294260 16269312 140721404880859 140721404883633 140721404883633 140721404886991 0 [pid=28262/tid=28313] ppid=28259 vsize=10573844 CPUtime=0.09 cores=0,2,4,6 /proc/28262/task/28313/stat : 28313 (java) S 28259 28262 25100 0 -1 1077944384 82 12384 0 0 1 0 5 3 20 0 15 0 61511042 10827616256 70103 18446744073709551615 4194304 4196468 140721404879104 140422762920336 140422832510677 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16269312 140721404880859 140721404883633 140721404883633 140721404886991 0 [pid=28262/tid=28314] ppid=28259 vsize=10573844 CPUtime=0.09 cores=0,2,4,6 /proc/28262/task/28314/stat : 28314 (java) S 28259 28262 25100 0 -1 1077944384 182 12384 0 0 1 0 5 3 20 0 15 0 61511042 10827616256 70103 18446744073709551615 4194304 4196468 140721404879104 140422761867536 140422832510677 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16269312 140721404880859 140721404883633 140721404883633 140721404886991 0 [pid=28262/tid=28315] ppid=28259 vsize=10573844 CPUtime=0.09 cores=0,2,4,6 /proc/28262/task/28315/stat : 28315 (java) S 28259 28262 25100 0 -1 1077944384 108 12384 0 0 1 0 5 3 20 0 15 0 61511042 10827616256 70103 18446744073709551615 4194304 4196468 140721404879104 140422760815248 140422832510677 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16269312 140721404880859 140721404883633 140721404883633 140721404886991 0 [pid=28262/tid=28316] ppid=28259 vsize=10573844 CPUtime=0.09 cores=0,2,4,6 /proc/28262/task/28316/stat : 28316 (java) S 28259 28262 25100 0 -1 1077944384 65 12384 0 0 1 0 5 3 20 0 15 0 61511042 10827616256 70103 18446744073709551615 4194304 4196468 140721404879104 140422759762448 140422832510677 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16269312 140721404880859 140721404883633 140721404883633 140721404886991 0 [pid=28262/tid=28317] ppid=28259 vsize=10573844 CPUtime=0.09 cores=0,2,4,6 /proc/28262/task/28317/stat : 28317 (java) R 28259 28262 25100 0 -1 4202560 910 12384 0 0 1 0 5 3 20 0 15 0 61511043 10827616256 70103 18446744073709551615 4194304 4196468 140721404879104 140422328448160 140422832521818 0 0 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 16269312 140721404880859 140721404883633 140721404883633 140721404886991 0 [pid=28262/tid=28318] ppid=28259 vsize=10573844 CPUtime=0.08 cores=0,2,4,6 /proc/28262/task/28318/stat : 28318 (java) S 28259 28262 25100 0 -1 1077944384 55 12384 0 0 0 0 5 3 20 0 15 0 61511043 10827616256 70103 18446744073709551615 4194304 4196468 140721404879104 140422327395680 140422832510677 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16269312 140721404880859 140721404883633 140721404883633 140721404886991 0 [pid=28262/tid=28319] ppid=28259 vsize=10573844 CPUtime=0.08 cores=0,2,4,6 /proc/28262/task/28319/stat : 28319 (java) S 28259 28262 25100 0 -1 1077944384 44 12384 0 0 0 0 5 3 20 0 15 0 61511044 10827616256 70103 18446744073709551615 4194304 4196468 140721404879104 140422326343296 140422832510677 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16269312 140721404880859 140721404883633 140721404883633 140721404886991 0 [pid=28262/tid=28320] ppid=28259 vsize=10573844 CPUtime=0.08 cores=0,2,4,6 /proc/28262/task/28320/stat : 28320 (java) S 28259 28262 25100 0 -1 1077944384 3 12384 0 0 0 0 5 3 20 0 15 0 61511046 10827616256 70103 18446744073709551615 4194304 4196468 140721404879104 140422325291600 140422832519067 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16269312 140721404880859 140721404883633 140721404883633 140721404886991 0 [pid=28262/tid=28321] ppid=28259 vsize=10573844 CPUtime=1.1 cores=0,2,4,6 /proc/28262/task/28321/stat : 28321 (java) S 28259 28262 25100 0 -1 1077944384 2440 12384 0 0 102 0 5 3 20 0 15 0 61511046 10827616256 70103 18446744073709551615 4194304 4196468 140721404879104 140422324218512 140422832510677 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16269312 140721404880859 140721404883633 140721404883633 140721404886991 0 [pid=28262/tid=28322] ppid=28259 vsize=10573844 CPUtime=1.28 cores=0,2,4,6 /proc/28262/task/28322/stat : 28322 (java) S 28259 28262 25100 0 -1 1077944384 3066 12384 0 0 120 0 5 3 20 0 15 0 61511046 10827616256 70103 18446744073709551615 4194304 4196468 140721404879104 140422323169744 140422832510677 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16269312 140721404880859 140721404883633 140721404883633 140721404886991 0 [pid=28262/tid=28323] ppid=28259 vsize=10573844 CPUtime=1.13 cores=0,2,4,6 /proc/28262/task/28323/stat : 28323 (java) S 28259 28262 25100 0 -1 1077944384 3391 12384 0 0 104 1 5 3 20 0 15 0 61511046 10827616256 70103 18446744073709551615 4194304 4196468 140721404879104 140422322133360 140422832511618 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16269312 140721404880859 140721404883633 140721404883633 140721404886991 0 [pid=28262/tid=28324] ppid=28259 vsize=10573844 CPUtime=0.08 cores=0,2,4,6 /proc/28262/task/28324/stat : 28324 (java) S 28259 28262 25100 0 -1 1077944384 3 12384 0 0 0 0 5 3 20 0 15 0 61511047 10827616256 70103 18446744073709551615 4194304 4196468 140721404879104 140422321080800 140422832510677 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16269312 140721404880859 140721404883633 140721404883633 140721404886991 0 [pid=28262/tid=28325] ppid=28259 vsize=10573844 CPUtime=0.08 cores=0,2,4,6 /proc/28262/task/28325/stat : 28325 (java) S 28259 28262 25100 0 -1 1077944384 11 12384 0 0 0 0 5 3 20 0 15 0 61511050 10827616256 70103 18446744073709551615 4194304 4196468 140721404879104 140422320028592 140422832511618 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16269312 140721404880859 140721404883633 140721404883633 140721404886991 0 Current children cumulated CPU time (s) 6.3 Current children cumulated vsize (KiB) 10573844 [startup+6.30075 s] /proc/loadavg: 1.47 1.40 1.41 7/215 28325 /proc/meminfo: memFree=30009708/32770624 swapFree=0/356896 [pid=28262] ppid=28259 vsize=10575892 CPUtime=15.08 cores=0,2,4,6 /proc/28262/stat : 28262 (java) S 28259 28262 25100 0 -1 1077944320 65260 12384 0 0 1468 32 5 3 20 0 15 0 61511019 10829713408 137054 18446744073709551615 4194304 4196468 140721404879104 140721404861648 140422832500471 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 7 0 0 6293624 6294260 16269312 140721404880859 140721404883633 140721404883633 140721404886991 0 /proc/28262/statm: 2643973 137054 3489 1 0 2632587 0 [pid=28262/tid=28312] ppid=28259 vsize=10575892 CPUtime=5.89 cores=0,2,4,6 /proc/28262/task/28312/stat : 28312 (java) R 28259 28262 25100 0 -1 4202560 33744 12384 0 0 570 11 5 3 20 0 15 0 61511041 10829713408 137054 18446744073709551615 4194304 4196468 140721404879104 140422836731376 140422432311303 0 4 1 16800974 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 16269312 140721404880859 140721404883633 140721404883633 140721404886991 0 [pid=28262/tid=28313] ppid=28259 vsize=10575892 CPUtime=0.23 cores=0,2,4,6 /proc/28262/task/28313/stat : 28313 (java) S 28259 28262 25100 0 -1 1077944384 385 12384 0 0 12 3 5 3 20 0 15 0 61511042 10829713408 137054 18446744073709551615 4194304 4196468 140721404879104 140422762920336 140422832510677 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16269312 140721404880859 140721404883633 140721404883633 140721404886991 0 [pid=28262/tid=28314] ppid=28259 vsize=10575892 CPUtime=0.25 cores=0,2,4,6 /proc/28262/task/28314/stat : 28314 (java) S 28259 28262 25100 0 -1 1077944384 896 12384 0 0 13 4 5 3 20 0 15 0 61511042 10829713408 137054 18446744073709551615 4194304 4196468 140721404879104 140422761867536 140422832510677 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16269312 140721404880859 140721404883633 140721404883633 140721404886991 0 [pid=28262/tid=28315] ppid=28259 vsize=10575892 CPUtime=0.21 cores=0,2,4,6 /proc/28262/task/28315/stat : 28315 (java) S 28259 28262 25100 0 -1 1077944384 865 12384 0 0 10 3 5 3 20 0 15 0 61511042 10829713408 137054 18446744073709551615 4194304 4196468 140721404879104 140422760815248 140422832510677 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16269312 140721404880859 140721404883633 140721404883633 140721404886991 0 [pid=28262/tid=28316] ppid=28259 vsize=10575892 CPUtime=0.23 cores=0,2,4,6 /proc/28262/task/28316/stat : 28316 (java) S 28259 28262 25100 0 -1 1077944384 419 12384 0 0 12 3 5 3 20 0 15 0 61511042 10829713408 137054 18446744073709551615 4194304 4196468 140721404879104 140422759762448 140422832510677 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16269312 140721404880859 140721404883633 140721404883633 140721404886991 0 [pid=28262/tid=28317] ppid=28259 vsize=10575892 CPUtime=0.1 cores=0,2,4,6 /proc/28262/task/28317/stat : 28317 (java) S 28259 28262 25100 0 -1 1077944384 1369 12384 0 0 2 0 5 3 20 0 15 0 61511043 10829713408 137054 18446744073709551615 4194304 4196468 140721404879104 140422328449648 140422832511618 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16269312 140721404880859 140721404883633 140721404883633 140721404886991 0 [pid=28262/tid=28318] ppid=28259 vsize=10575892 CPUtime=0.08 cores=0,2,4,6 /proc/28262/task/28318/stat : 28318 (java) S 28259 28262 25100 0 -1 1077944384 61 12384 0 0 0 0 5 3 20 0 15 0 61511043 10829713408 137054 18446744073709551615 4194304 4196468 140721404879104 140422327395680 140422832510677 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16269312 140721404880859 140721404883633 140721404883633 140721404886991 0 [pid=28262/tid=28319] ppid=28259 vsize=10575892 CPUtime=0.08 cores=0,2,4,6 /proc/28262/task/28319/stat : 28319 (java) S 28259 28262 25100 0 -1 1077944384 58 12384 0 0 0 0 5 3 20 0 15 0 61511044 10829713408 137054 18446744073709551615 4194304 4196468 140721404879104 140422326343296 140422832510677 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16269312 140721404880859 140721404883633 140721404883633 140721404886991 0 [pid=28262/tid=28320] ppid=28259 vsize=10575892 CPUtime=0.08 cores=0,2,4,6 /proc/28262/task/28320/stat : 28320 (java) S 28259 28262 25100 0 -1 1077944384 3 12384 0 0 0 0 5 3 20 0 15 0 61511046 10829713408 137054 18446744073709551615 4194304 4196468 140721404879104 140422325291600 140422832519067 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16269312 140721404880859 140721404883633 140721404883633 140721404886991 0 [pid=28262/tid=28321] ppid=28259 vsize=10575892 CPUtime=3.18 cores=0,2,4,6 /proc/28262/task/28321/stat : 28321 (java) S 28259 28262 25100 0 -1 1077944384 8086 12384 0 0 309 1 5 3 20 0 15 0 61511046 10829713408 137054 18446744073709551615 4194304 4196468 140721404879104 140422324238448 140422832511618 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16269312 140721404880859 140721404883633 140721404883633 140721404886991 0 [pid=28262/tid=28322] ppid=28259 vsize=10575892 CPUtime=3.86 cores=0,2,4,6 /proc/28262/task/28322/stat : 28322 (java) S 28259 28262 25100 0 -1 1077944384 9471 12384 0 0 377 1 5 3 20 0 15 0 61511046 10829713408 137054 18446744073709551615 4194304 4196468 140721404879104 140422323185648 140422832511618 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16269312 140721404880859 140721404883633 140721404883633 140721404886991 0 [pid=28262/tid=28323] ppid=28259 vsize=10575892 CPUtime=1.66 cores=0,2,4,6 /proc/28262/task/28323/stat : 28323 (java) S 28259 28262 25100 0 -1 1077944384 7689 12384 0 0 157 1 5 3 20 0 15 0 61511046 10829713408 137054 18446744073709551615 4194304 4196468 140721404879104 140422322133360 140422832511618 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16269312 140721404880859 140721404883633 140721404883633 140721404886991 0 [pid=28262/tid=28324] ppid=28259 vsize=10575892 CPUtime=0.08 cores=0,2,4,6 /proc/28262/task/28324/stat : 28324 (java) S 28259 28262 25100 0 -1 1077944384 3 12384 0 0 0 0 5 3 20 0 15 0 61511047 10829713408 137054 18446744073709551615 4194304 4196468 140721404879104 140422321080800 140422832510677 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16269312 140721404880859 140721404883633 140721404883633 140721404886991 0 [pid=28262/tid=28325] ppid=28259 vsize=10575892 CPUtime=0.08 cores=0,2,4,6 /proc/28262/task/28325/stat : 28325 (java) S 28259 28262 25100 0 -1 1077944384 75 12384 0 0 0 0 5 3 20 0 15 0 61511050 10829713408 137054 18446744073709551615 4194304 4196468 140721404879104 140422320028592 140422832511618 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16269312 140721404880859 140721404883633 140721404883633 140721404886991 0 Current children cumulated CPU time (s) 15.08 Current children cumulated vsize (KiB) 10575892 [startup+12.7007 s] /proc/loadavg: 1.60 1.43 1.42 3/215 28326 /proc/meminfo: memFree=29557096/32770624 swapFree=0/356888 [pid=28262] ppid=28259 vsize=10579988 CPUtime=28.14 cores=0,2,4,6 /proc/28262/stat : 28262 (java) S 28259 28262 25100 0 -1 1077944320 87730 12384 0 0 2756 50 5 3 20 0 15 0 61511019 10833907712 231020 18446744073709551615 4194304 4196468 140721404879104 140721404861648 140422832500471 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 7 0 0 6293624 6294260 16269312 140721404880859 140721404883633 140721404883633 140721404886991 0 /proc/28262/statm: 2644997 231020 3497 1 0 2633611 0 [pid=28262/tid=28312] ppid=28259 vsize=10579988 CPUtime=11.93 cores=0,2,4,6 /proc/28262/task/28312/stat : 28312 (java) R 28259 28262 25100 0 -1 4202560 46569 12384 0 0 1169 16 5 3 20 0 15 0 61511041 10833907712 231020 18446744073709551615 4194304 4196468 140721404879104 140422836732512 140422442246258 0 4 1 16800974 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 16269312 140721404880859 140721404883633 140721404883633 140721404886991 0 [pid=28262/tid=28313] ppid=28259 vsize=10579988 CPUtime=0.5 cores=0,2,4,6 /proc/28262/task/28313/stat : 28313 (java) S 28259 28262 25100 0 -1 1077944384 752 12384 0 0 36 6 5 3 20 0 15 0 61511042 10833907712 231020 18446744073709551615 4194304 4196468 140721404879104 140422762920336 140422832510677 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16269312 140721404880859 140721404883633 140721404883633 140721404886991 0 [pid=28262/tid=28314] ppid=28259 vsize=10579988 CPUtime=0.53 cores=0,2,4,6 /proc/28262/task/28314/stat : 28314 (java) S 28259 28262 25100 0 -1 1077944384 1037 12384 0 0 39 6 5 3 20 0 15 0 61511042 10833907712 231020 18446744073709551615 4194304 4196468 140721404879104 140422761867536 140422832510677 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16269312 140721404880859 140721404883633 140721404883633 140721404886991 0 [pid=28262/tid=28315] ppid=28259 vsize=10579988 CPUtime=0.51 cores=0,2,4,6 /proc/28262/task/28315/stat : 28315 (java) S 28259 28262 25100 0 -1 1077944384 1069 12384 0 0 38 5 5 3 20 0 15 0 61511042 10833907712 231020 18446744073709551615 4194304 4196468 140721404879104 140422760815248 140422832510677 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16269312 140721404880859 140721404883633 140721404883633 140721404886991 0 [pid=28262/tid=28316] ppid=28259 vsize=10579988 CPUtime=0.54 cores=0,2,4,6 /proc/28262/task/28316/stat : 28316 (java) S 28259 28262 25100 0 -1 1077944384 573 12384 0 0 40 6 5 3 20 0 15 0 61511042 10833907712 231020 18446744073709551615 4194304 4196468 140721404879104 140422759762448 140422832510677 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16269312 140721404880859 140721404883633 140721404883633 140721404886991 0 [pid=28262/tid=28317] ppid=28259 vsize=10579988 CPUtime=0.15 cores=0,2,4,6 /proc/28262/task/28317/stat : 28317 (java) S 28259 28262 25100 0 -1 1077944384 4663 12384 0 0 7 0 5 3 20 0 15 0 61511043 10833907712 231020 18446744073709551615 4194304 4196468 140721404879104 140422328449648 140422832511618 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16269312 140721404880859 140721404883633 140721404883633 140721404886991 0 [pid=28262/tid=28318] ppid=28259 vsize=10579988 CPUtime=0.08 cores=0,2,4,6 /proc/28262/task/28318/stat : 28318 (java) S 28259 28262 25100 0 -1 1077944384 62 12384 0 0 0 0 5 3 20 0 15 0 61511043 10833907712 231020 18446744073709551615 4194304 4196468 140721404879104 140422327395680 140422832510677 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16269312 140721404880859 140721404883633 140721404883633 140721404886991 0 [pid=28262/tid=28319] ppid=28259 vsize=10579988 CPUtime=0.08 cores=0,2,4,6 /proc/28262/task/28319/stat : 28319 (java) S 28259 28262 25100 0 -1 1077944384 58 12384 0 0 0 0 5 3 20 0 15 0 61511044 10833907712 231020 18446744073709551615 4194304 4196468 140721404879104 140422326343296 140422832510677 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16269312 140721404880859 140721404883633 140721404883633 140721404886991 0 [pid=28262/tid=28320] ppid=28259 vsize=10579988 CPUtime=0.08 cores=0,2,4,6 /proc/28262/task/28320/stat : 28320 (java) S 28259 28262 25100 0 -1 1077944384 3 12384 0 0 0 0 5 3 20 0 15 0 61511046 10833907712 231020 18446744073709551615 4194304 4196468 140721404879104 140422325291600 140422832519067 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16269312 140721404880859 140721404883633 140721404883633 140721404886991 0 ################ # More data... # ################ /proc/28262/task/28324/stat : 28324 (java) S 28259 28262 25100 0 -1 1077944384 3 12384 0 0 0 0 5 3 20 0 15 0 61511047 10836004864 652781 18446744073709551615 4194304 4196468 140721404879104 140422321080800 140422832510677 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16269312 140721404880859 140721404883633 140721404883633 140721404886991 0 [pid=28262/tid=28325] ppid=28259 vsize=10582036 CPUtime=1.21 cores=0,2,4,6 /proc/28262/task/28325/stat : 28325 (java) S 28259 28262 25100 0 -1 1077944384 1300 12384 0 0 58 55 5 3 20 0 15 0 61511050 10836004864 652781 18446744073709551615 4194304 4196468 140721404879104 140422320028592 140422832511618 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16269312 140721404880859 140721404883633 140721404883633 140721404886991 0 Current children cumulated CPU time (s) 2179.02 Current children cumulated vsize (KiB) 10582036 [startup+2202.31 s] /proc/loadavg: 1.74 1.79 1.74 3/215 28582 /proc/meminfo: memFree=25320624/32770624 swapFree=0/357408 [pid=28262] ppid=28259 vsize=10582036 CPUtime=2239.1 cores=0,2,4,6 /proc/28262/stat : 28262 (java) S 28259 28262 25100 0 -1 1077944320 639173 12384 0 0 223556 346 5 3 20 0 15 0 61511019 10836004864 658958 18446744073709551615 4194304 4196468 140721404879104 140721404861648 140422832500471 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 7 0 0 6293624 6294260 16269312 140721404880859 140721404883633 140721404883633 140721404886991 0 /proc/28262/statm: 2645509 658958 3516 1 0 2634123 0 [pid=28262/tid=28312] ppid=28259 vsize=10582036 CPUtime=2195.52 cores=0,2,4,6 /proc/28262/task/28312/stat : 28312 (java) R 28259 28262 25100 0 -1 4202560 442304 12384 0 0 219456 88 5 3 20 0 15 0 61511041 10836004864 658958 18446744073709551615 4194304 4196468 140721404879104 140422836735488 140422450426981 0 4 1 16800974 0 0 0 -1 0 0 0 3 0 0 6293624 6294260 16269312 140721404880859 140721404883633 140721404883633 140721404886991 0 [pid=28262/tid=28313] ppid=28259 vsize=10582036 CPUtime=5.27 cores=0,2,4,6 /proc/28262/task/28313/stat : 28313 (java) S 28259 28262 25100 0 -1 1077944384 14342 12384 0 0 473 46 5 3 20 0 15 0 61511042 10836004864 658958 18446744073709551615 4194304 4196468 140721404879104 140422762920336 140422832510677 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16269312 140721404880859 140721404883633 140721404883633 140721404886991 0 [pid=28262/tid=28314] ppid=28259 vsize=10582036 CPUtime=5.28 cores=0,2,4,6 /proc/28262/task/28314/stat : 28314 (java) S 28259 28262 25100 0 -1 1077944384 11409 12384 0 0 474 46 5 3 20 0 15 0 61511042 10836004864 658958 18446744073709551615 4194304 4196468 140721404879104 140422761867536 140422832510677 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16269312 140721404880859 140721404883633 140721404883633 140721404886991 0 [pid=28262/tid=28315] ppid=28259 vsize=10582036 CPUtime=5.27 cores=0,2,4,6 /proc/28262/task/28315/stat : 28315 (java) S 28259 28262 25100 0 -1 1077944384 16807 12384 0 0 473 46 5 3 20 0 15 0 61511042 10836004864 658958 18446744073709551615 4194304 4196468 140721404879104 140422760815248 140422832510677 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16269312 140721404880859 140721404883633 140721404883633 140721404886991 0 [pid=28262/tid=28316] ppid=28259 vsize=10582036 CPUtime=5.3 cores=0,2,4,6 /proc/28262/task/28316/stat : 28316 (java) S 28259 28262 25100 0 -1 1077944384 13703 12384 0 0 476 46 5 3 20 0 15 0 61511042 10836004864 658958 18446744073709551615 4194304 4196468 140721404879104 140422759762448 140422832510677 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16269312 140721404880859 140721404883633 140721404883633 140721404886991 0 [pid=28262/tid=28317] ppid=28259 vsize=10582036 CPUtime=1.08 cores=0,2,4,6 /proc/28262/task/28317/stat : 28317 (java) S 28259 28262 25100 0 -1 1077944384 28726 12384 0 0 88 12 5 3 20 0 15 0 61511043 10836004864 658958 18446744073709551615 4194304 4196468 140721404879104 140422328449648 140422832511618 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16269312 140721404880859 140721404883633 140721404883633 140721404886991 0 [pid=28262/tid=28318] ppid=28259 vsize=10582036 CPUtime=0.09 cores=0,2,4,6 /proc/28262/task/28318/stat : 28318 (java) S 28259 28262 25100 0 -1 1077944384 127 12384 0 0 1 0 5 3 20 0 15 0 61511043 10836004864 658958 18446744073709551615 4194304 4196468 140721404879104 140422327395680 140422832510677 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16269312 140721404880859 140721404883633 140721404883633 140721404886991 0 [pid=28262/tid=28319] ppid=28259 vsize=10582036 CPUtime=0.08 cores=0,2,4,6 /proc/28262/task/28319/stat : 28319 (java) S 28259 28262 25100 0 -1 1077944384 58 12384 0 0 0 0 5 3 20 0 15 0 61511044 10836004864 658958 18446744073709551615 4194304 4196468 140721404879104 140422326343296 140422832510677 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16269312 140721404880859 140721404883633 140721404883633 140721404886991 0 [pid=28262/tid=28320] ppid=28259 vsize=10582036 CPUtime=0.08 cores=0,2,4,6 /proc/28262/task/28320/stat : 28320 (java) S 28259 28262 25100 0 -1 1077944384 3 12384 0 0 0 0 5 3 20 0 15 0 61511046 10836004864 658958 18446744073709551615 4194304 4196468 140721404879104 140422325291600 140422832519067 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16269312 140721404880859 140721404883633 140721404883633 140721404886991 0 [pid=28262/tid=28321] ppid=28259 vsize=10582036 CPUtime=8.54 cores=0,2,4,6 /proc/28262/task/28321/stat : 28321 (java) S 28259 28262 25100 0 -1 1077944384 35049 12384 0 0 842 4 5 3 20 0 15 0 61511046 10836004864 658958 18446744073709551615 4194304 4196468 140721404879104 140422324238448 140422832511618 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16269312 140721404880859 140721404883633 140721404883633 140721404886991 0 [pid=28262/tid=28322] ppid=28259 vsize=10582036 CPUtime=9.2 cores=0,2,4,6 /proc/28262/task/28322/stat : 28322 (java) S 28259 28262 25100 0 -1 1077944384 31897 12384 0 0 908 4 5 3 20 0 15 0 61511046 10836004864 658958 18446744073709551615 4194304 4196468 140721404879104 140422323185648 140422832511618 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16269312 140721404880859 140721404883633 140721404883633 140721404886991 0 [pid=28262/tid=28323] ppid=28259 vsize=10582036 CPUtime=2.99 cores=0,2,4,6 /proc/28262/task/28323/stat : 28323 (java) S 28259 28262 25100 0 -1 1077944384 41278 12384 0 0 285 6 5 3 20 0 15 0 61511046 10836004864 658958 18446744073709551615 4194304 4196468 140721404879104 140422322133360 140422832511618 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16269312 140721404880859 140721404883633 140721404883633 140721404886991 0 [pid=28262/tid=28324] ppid=28259 vsize=10582036 CPUtime=0.08 cores=0,2,4,6 /proc/28262/task/28324/stat : 28324 (java) S 28259 28262 25100 0 -1 1077944384 3 12384 0 0 0 0 5 3 20 0 15 0 61511047 10836004864 658958 18446744073709551615 4194304 4196468 140721404879104 140422321080800 140422832510677 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16269312 140721404880859 140721404883633 140721404883633 140721404886991 0 [pid=28262/tid=28325] ppid=28259 vsize=10582036 CPUtime=1.24 cores=0,2,4,6 /proc/28262/task/28325/stat : 28325 (java) S 28259 28262 25100 0 -1 1077944384 1331 12384 0 0 60 56 5 3 20 0 15 0 61511050 10836004864 658958 18446744073709551615 4194304 4196468 140721404879104 140422320028592 140422832511618 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16269312 140721404880859 140721404883633 140721404883633 140721404886991 0 Current children cumulated CPU time (s) 2239.1 Current children cumulated vsize (KiB) 10582036 [startup+2262.3 s] /proc/loadavg: 1.99 1.85 1.76 3/215 28584 /proc/meminfo: memFree=25273472/32770624 swapFree=0/357420 [pid=28262] ppid=28259 vsize=10582036 CPUtime=2299.21 cores=0,2,4,6 /proc/28262/stat : 28262 (java) S 28259 28262 25100 0 -1 1077944320 654830 12384 0 0 229561 352 5 3 20 0 15 0 61511019 10836004864 670757 18446744073709551615 4194304 4196468 140721404879104 140721404861648 140422832500471 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 7 0 0 6293624 6294260 16269312 140721404880859 140721404883633 140721404883633 140721404886991 0 /proc/28262/statm: 2645509 670757 3516 1 0 2634123 0 [pid=28262/tid=28312] ppid=28259 vsize=10582036 CPUtime=2255.47 cores=0,2,4,6 /proc/28262/task/28312/stat : 28312 (java) R 28259 28262 25100 0 -1 4202560 457124 12384 0 0 225450 89 5 3 20 0 15 0 61511041 10836004864 670757 18446744073709551615 4194304 4196468 140721404879104 140422836735344 140422429353094 0 4 1 16800974 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 16269312 140721404880859 140721404883633 140721404883633 140721404886991 0 [pid=28262/tid=28313] ppid=28259 vsize=10582036 CPUtime=5.3 cores=0,2,4,6 /proc/28262/task/28313/stat : 28313 (java) S 28259 28262 25100 0 -1 1077944384 14535 12384 0 0 475 47 5 3 20 0 15 0 61511042 10836004864 670757 18446744073709551615 4194304 4196468 140721404879104 140422762920336 140422832510677 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16269312 140721404880859 140721404883633 140721404883633 140721404886991 0 [pid=28262/tid=28314] ppid=28259 vsize=10582036 CPUtime=5.31 cores=0,2,4,6 /proc/28262/task/28314/stat : 28314 (java) S 28259 28262 25100 0 -1 1077944384 11507 12384 0 0 476 47 5 3 20 0 15 0 61511042 10836004864 670757 18446744073709551615 4194304 4196468 140721404879104 140422761867536 140422832510677 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16269312 140721404880859 140721404883633 140721404883633 140721404886991 0 [pid=28262/tid=28315] ppid=28259 vsize=10582036 CPUtime=5.3 cores=0,2,4,6 /proc/28262/task/28315/stat : 28315 (java) S 28259 28262 25100 0 -1 1077944384 16857 12384 0 0 475 47 5 3 20 0 15 0 61511042 10836004864 670757 18446744073709551615 4194304 4196468 140721404879104 140422760815248 140422832510677 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16269312 140721404880859 140721404883633 140721404883633 140721404886991 0 [pid=28262/tid=28316] ppid=28259 vsize=10582036 CPUtime=5.34 cores=0,2,4,6 /proc/28262/task/28316/stat : 28316 (java) S 28259 28262 25100 0 -1 1077944384 13960 12384 0 0 479 47 5 3 20 0 15 0 61511042 10836004864 670757 18446744073709551615 4194304 4196468 140721404879104 140422759762448 140422832510677 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16269312 140721404880859 140721404883633 140721404883633 140721404886991 0 [pid=28262/tid=28317] ppid=28259 vsize=10582036 CPUtime=1.08 cores=0,2,4,6 /proc/28262/task/28317/stat : 28317 (java) S 28259 28262 25100 0 -1 1077944384 28930 12384 0 0 88 12 5 3 20 0 15 0 61511043 10836004864 670757 18446744073709551615 4194304 4196468 140721404879104 140422328449648 140422832511618 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16269312 140721404880859 140721404883633 140721404883633 140721404886991 0 [pid=28262/tid=28318] ppid=28259 vsize=10582036 CPUtime=0.09 cores=0,2,4,6 /proc/28262/task/28318/stat : 28318 (java) S 28259 28262 25100 0 -1 1077944384 127 12384 0 0 1 0 5 3 20 0 15 0 61511043 10836004864 670757 18446744073709551615 4194304 4196468 140721404879104 140422327395680 140422832510677 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16269312 140721404880859 140721404883633 140721404883633 140721404886991 0 [pid=28262/tid=28319] ppid=28259 vsize=10582036 CPUtime=0.08 cores=0,2,4,6 /proc/28262/task/28319/stat : 28319 (java) S 28259 28262 25100 0 -1 1077944384 58 12384 0 0 0 0 5 3 20 0 15 0 61511044 10836004864 670757 18446744073709551615 4194304 4196468 140721404879104 140422326343296 140422832510677 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16269312 140721404880859 140721404883633 140721404883633 140721404886991 0 [pid=28262/tid=28320] ppid=28259 vsize=10582036 CPUtime=0.08 cores=0,2,4,6 /proc/28262/task/28320/stat : 28320 (java) S 28259 28262 25100 0 -1 1077944384 3 12384 0 0 0 0 5 3 20 0 15 0 61511046 10836004864 670757 18446744073709551615 4194304 4196468 140721404879104 140422325291600 140422832519067 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16269312 140721404880859 140721404883633 140721404883633 140721404886991 0 [pid=28262/tid=28321] ppid=28259 vsize=10582036 CPUtime=8.54 cores=0,2,4,6 /proc/28262/task/28321/stat : 28321 (java) S 28259 28262 25100 0 -1 1077944384 35051 12384 0 0 842 4 5 3 20 0 15 0 61511046 10836004864 670757 18446744073709551615 4194304 4196468 140721404879104 140422324238448 140422832511618 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16269312 140721404880859 140721404883633 140721404883633 140721404886991 0 [pid=28262/tid=28322] ppid=28259 vsize=10582036 CPUtime=9.2 cores=0,2,4,6 /proc/28262/task/28322/stat : 28322 (java) S 28259 28262 25100 0 -1 1077944384 31899 12384 0 0 908 4 5 3 20 0 15 0 61511046 10836004864 670757 18446744073709551615 4194304 4196468 140721404879104 140422323185648 140422832511618 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16269312 140721404880859 140721404883633 140721404883633 140721404886991 0 [pid=28262/tid=28323] ppid=28259 vsize=10582036 CPUtime=2.99 cores=0,2,4,6 /proc/28262/task/28323/stat : 28323 (java) S 28259 28262 25100 0 -1 1077944384 41280 12384 0 0 285 6 5 3 20 0 15 0 61511046 10836004864 670757 18446744073709551615 4194304 4196468 140721404879104 140422322133360 140422832511618 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16269312 140721404880859 140721404883633 140721404883633 140721404886991 0 [pid=28262/tid=28324] ppid=28259 vsize=10582036 CPUtime=0.08 cores=0,2,4,6 /proc/28262/task/28324/stat : 28324 (java) S 28259 28262 25100 0 -1 1077944384 3 12384 0 0 0 0 5 3 20 0 15 0 61511047 10836004864 670757 18446744073709551615 4194304 4196468 140721404879104 140422321080800 140422832510677 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16269312 140721404880859 140721404883633 140721404883633 140721404886991 0 [pid=28262/tid=28325] ppid=28259 vsize=10582036 CPUtime=1.28 cores=0,2,4,6 /proc/28262/task/28325/stat : 28325 (java) S 28259 28262 25100 0 -1 1077944384 1360 12384 0 0 62 58 5 3 20 0 15 0 61511050 10836004864 670757 18446744073709551615 4194304 4196468 140721404879104 140422320028592 140422832511618 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16269312 140721404880859 140721404883633 140721404883633 140721404886991 0 Current children cumulated CPU time (s) 2299.21 Current children cumulated vsize (KiB) 10582036 [startup+2322.3 s] /proc/loadavg: 1.99 1.88 1.78 3/218 28600 /proc/meminfo: memFree=25217816/32770624 swapFree=0/357476 [pid=28262] ppid=28259 vsize=10582036 CPUtime=2359.31 cores=0,2,4,6 /proc/28262/stat : 28262 (java) S 28259 28262 25100 0 -1 1077944320 674355 12384 0 0 235564 359 5 3 20 0 15 0 61511019 10836004864 683587 18446744073709551615 4194304 4196468 140721404879104 140721404861648 140422832500471 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 7 0 0 6293624 6294260 16269312 140721404880859 140721404883633 140721404883633 140721404886991 0 /proc/28262/statm: 2645509 683587 3516 1 0 2634123 0 [pid=28262/tid=28312] ppid=28259 vsize=10582036 CPUtime=2315.43 cores=0,2,4,6 /proc/28262/task/28312/stat : 28312 (java) R 28259 28262 25100 0 -1 4202560 475739 12384 0 0 231445 90 5 3 20 0 15 0 61511041 10836004864 683587 18446744073709551615 4194304 4196468 140721404879104 140422836735248 140422447536320 0 4 1 16800974 0 0 0 -1 0 0 0 3 0 0 6293624 6294260 16269312 140721404880859 140721404883633 140721404883633 140721404886991 0 [pid=28262/tid=28313] ppid=28259 vsize=10582036 CPUtime=5.32 cores=0,2,4,6 /proc/28262/task/28313/stat : 28313 (java) S 28259 28262 25100 0 -1 1077944384 14734 12384 0 0 476 48 5 3 20 0 15 0 61511042 10836004864 683587 18446744073709551615 4194304 4196468 140721404879104 140422762920336 140422832510677 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16269312 140721404880859 140721404883633 140721404883633 140721404886991 0 [pid=28262/tid=28314] ppid=28259 vsize=10582036 CPUtime=5.33 cores=0,2,4,6 /proc/28262/task/28314/stat : 28314 (java) S 28259 28262 25100 0 -1 1077944384 11768 12384 0 0 477 48 5 3 20 0 15 0 61511042 10836004864 683587 18446744073709551615 4194304 4196468 140721404879104 140422761867536 140422832510677 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16269312 140721404880859 140721404883633 140721404883633 140721404886991 0 [pid=28262/tid=28315] ppid=28259 vsize=10582036 CPUtime=5.32 cores=0,2,4,6 /proc/28262/task/28315/stat : 28315 (java) S 28259 28262 25100 0 -1 1077944384 16938 12384 0 0 476 48 5 3 20 0 15 0 61511042 10836004864 683587 18446744073709551615 4194304 4196468 140721404879104 140422760815248 140422832510677 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16269312 140721404880859 140721404883633 140721404883633 140721404886991 0 [pid=28262/tid=28316] ppid=28259 vsize=10582036 CPUtime=5.36 cores=0,2,4,6 /proc/28262/task/28316/stat : 28316 (java) S 28259 28262 25100 0 -1 1077944384 14085 12384 0 0 480 48 5 3 20 0 15 0 61511042 10836004864 683587 18446744073709551615 4194304 4196468 140721404879104 140422759762448 140422832510677 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16269312 140721404880859 140721404883633 140721404883633 140721404886991 0 [pid=28262/tid=28317] ppid=28259 vsize=10582036 CPUtime=1.09 cores=0,2,4,6 /proc/28262/task/28317/stat : 28317 (java) S 28259 28262 25100 0 -1 1077944384 29148 12384 0 0 89 12 5 3 20 0 15 0 61511043 10836004864 683587 18446744073709551615 4194304 4196468 140721404879104 140422328449648 140422832511618 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16269312 140721404880859 140721404883633 140721404883633 140721404886991 0 [pid=28262/tid=28318] ppid=28259 vsize=10582036 CPUtime=0.09 cores=0,2,4,6 /proc/28262/task/28318/stat : 28318 (java) S 28259 28262 25100 0 -1 1077944384 127 12384 0 0 1 0 5 3 20 0 15 0 61511043 10836004864 683587 18446744073709551615 4194304 4196468 140721404879104 140422327395680 140422832510677 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16269312 140721404880859 140721404883633 140721404883633 140721404886991 0 [pid=28262/tid=28319] ppid=28259 vsize=10582036 CPUtime=0.08 cores=0,2,4,6 /proc/28262/task/28319/stat : 28319 (java) S 28259 28262 25100 0 -1 1077944384 58 12384 0 0 0 0 5 3 20 0 15 0 61511044 10836004864 683587 18446744073709551615 4194304 4196468 140721404879104 140422326343296 140422832510677 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16269312 140721404880859 140721404883633 140721404883633 140721404886991 0 [pid=28262/tid=28320] ppid=28259 vsize=10582036 CPUtime=0.08 cores=0,2,4,6 /proc/28262/task/28320/stat : 28320 (java) S 28259 28262 25100 0 -1 1077944384 3 12384 0 0 0 0 5 3 20 0 15 0 61511046 10836004864 683587 18446744073709551615 4194304 4196468 140721404879104 140422325291600 140422832519067 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16269312 140721404880859 140721404883633 140721404883633 140721404886991 0 [pid=28262/tid=28321] ppid=28259 vsize=10582036 CPUtime=8.54 cores=0,2,4,6 /proc/28262/task/28321/stat : 28321 (java) S 28259 28262 25100 0 -1 1077944384 35053 12384 0 0 842 4 5 3 20 0 15 0 61511046 10836004864 683587 18446744073709551615 4194304 4196468 140721404879104 140422324238448 140422832511618 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16269312 140721404880859 140721404883633 140721404883633 140721404886991 0 [pid=28262/tid=28322] ppid=28259 vsize=10582036 CPUtime=9.2 cores=0,2,4,6 /proc/28262/task/28322/stat : 28322 (java) S 28259 28262 25100 0 -1 1077944384 31901 12384 0 0 908 4 5 3 20 0 15 0 61511046 10836004864 683587 18446744073709551615 4194304 4196468 140721404879104 140422323185648 140422832511618 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16269312 140721404880859 140721404883633 140721404883633 140721404886991 0 [pid=28262/tid=28323] ppid=28259 vsize=10582036 CPUtime=2.99 cores=0,2,4,6 /proc/28262/task/28323/stat : 28323 (java) S 28259 28262 25100 0 -1 1077944384 41283 12384 0 0 285 6 5 3 20 0 15 0 61511046 10836004864 683587 18446744073709551615 4194304 4196468 140721404879104 140422322133360 140422832511618 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16269312 140721404880859 140721404883633 140721404883633 140721404886991 0 [pid=28262/tid=28324] ppid=28259 vsize=10582036 CPUtime=0.08 cores=0,2,4,6 /proc/28262/task/28324/stat : 28324 (java) S 28259 28262 25100 0 -1 1077944384 3 12384 0 0 0 0 5 3 20 0 15 0 61511047 10836004864 683587 18446744073709551615 4194304 4196468 140721404879104 140422321080800 140422832510677 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16269312 140721404880859 140721404883633 140721404883633 140721404886991 0 [pid=28262/tid=28325] ppid=28259 vsize=10582036 CPUtime=1.31 cores=0,2,4,6 /proc/28262/task/28325/stat : 28325 (java) S 28259 28262 25100 0 -1 1077944384 1379 12384 0 0 63 60 5 3 20 0 15 0 61511050 10836004864 683587 18446744073709551615 4194304 4196468 140721404879104 140422320028592 140422832511618 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 1 0 0 6293624 6294260 16269312 140721404880859 140721404883633 140721404883633 140721404886991 0 Current children cumulated CPU time (s) 2359.31 Current children cumulated vsize (KiB) 10582036 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+2363 s] /proc/loadavg: 1.85 1.86 1.77 3/217 28602 /proc/meminfo: memFree=25199556/32770624 swapFree=0/357492 [pid=28262] ppid=28259 vsize=10582036 CPUtime=2400.06 cores=0,2,4,6 /proc/28262/stat : 28262 (java) S 28259 28262 25100 0 -1 1077944320 692970 12384 0 0 239636 362 5 3 20 0 15 0 61511019 10836004864 688086 18446744073709551615 4194304 4196468 140721404879104 140721404861648 140422832500471 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 7 0 0 6293624 6294260 16269312 140721404880859 140721404883633 140721404883633 140721404886991 0 /proc/28262/statm: 2645509 688086 3516 1 0 2634123 0 [pid=28262/tid=28312] ppid=28259 vsize=10582036 CPUtime=2356.11 cores=0,2,4,6 /proc/28262/task/28312/stat : 28312 (java) R 28259 28262 25100 0 -1 4202560 493544 12384 0 0 235512 91 5 3 20 0 15 0 61511041 10836004864 688086 18446744073709551615 4194304 4196468 140721404879104 140422836735344 140422445312738 0 4 1 16800974 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 16269312 140721404880859 140721404883633 140721404883633 140721404886991 0 [pid=28262/tid=28313] ppid=28259 vsize=10582036 CPUtime=5.33 cores=0,2,4,6 /proc/28262/task/28313/stat : 28313 (java) S 28259 28262 25100 0 -1 1077944384 14880 12384 0 0 477 48 5 3 20 0 15 0 61511042 10836004864 688086 18446744073709551615 4194304 4196468 140721404879104 140422762920336 140422832510677 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16269312 140721404880859 140721404883633 140721404883633 140721404886991 0 [pid=28262/tid=28314] ppid=28259 vsize=10582036 CPUtime=5.34 cores=0,2,4,6 /proc/28262/task/28314/stat : 28314 (java) S 28259 28262 25100 0 -1 1077944384 12047 12384 0 0 478 48 5 3 20 0 15 0 61511042 10836004864 688086 18446744073709551615 4194304 4196468 140721404879104 140422761867536 140422832510677 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16269312 140721404880859 140721404883633 140721404883633 140721404886991 0 [pid=28262/tid=28315] ppid=28259 vsize=10582036 CPUtime=5.34 cores=0,2,4,6 /proc/28262/task/28315/stat : 28315 (java) S 28259 28262 25100 0 -1 1077944384 16978 12384 0 0 477 49 5 3 20 0 15 0 61511042 10836004864 688086 18446744073709551615 4194304 4196468 140721404879104 140422760815248 140422832510677 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16269312 140721404880859 140721404883633 140721404883633 140721404886991 0 [pid=28262/tid=28316] ppid=28259 vsize=10582036 CPUtime=5.37 cores=0,2,4,6 /proc/28262/task/28316/stat : 28316 (java) S 28259 28262 25100 0 -1 1077944384 14204 12384 0 0 481 48 5 3 20 0 15 0 61511042 10836004864 688086 18446744073709551615 4194304 4196468 140721404879104 140422759762448 140422832510677 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16269312 140721404880859 140721404883633 140721404883633 140721404886991 0 [pid=28262/tid=28317] ppid=28259 vsize=10582036 CPUtime=1.09 cores=0,2,4,6 /proc/28262/task/28317/stat : 28317 (java) S 28259 28262 25100 0 -1 1077944384 29339 12384 0 0 89 12 5 3 20 0 15 0 61511043 10836004864 688086 18446744073709551615 4194304 4196468 140721404879104 140422328449648 140422832511618 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16269312 140721404880859 140721404883633 140721404883633 140721404886991 0 [pid=28262/tid=28318] ppid=28259 vsize=10582036 CPUtime=0.09 cores=0,2,4,6 /proc/28262/task/28318/stat : 28318 (java) S 28259 28262 25100 0 -1 1077944384 127 12384 0 0 1 0 5 3 20 0 15 0 61511043 10836004864 688086 18446744073709551615 4194304 4196468 140721404879104 140422327395680 140422832510677 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16269312 140721404880859 140721404883633 140721404883633 140721404886991 0 [pid=28262/tid=28319] ppid=28259 vsize=10582036 CPUtime=0.08 cores=0,2,4,6 /proc/28262/task/28319/stat : 28319 (java) S 28259 28262 25100 0 -1 1077944384 58 12384 0 0 0 0 5 3 20 0 15 0 61511044 10836004864 688086 18446744073709551615 4194304 4196468 140721404879104 140422326343296 140422832510677 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16269312 140721404880859 140721404883633 140721404883633 140721404886991 0 [pid=28262/tid=28320] ppid=28259 vsize=10582036 CPUtime=0.08 cores=0,2,4,6 /proc/28262/task/28320/stat : 28320 (java) S 28259 28262 25100 0 -1 1077944384 3 12384 0 0 0 0 5 3 20 0 15 0 61511046 10836004864 688086 18446744073709551615 4194304 4196468 140721404879104 140422325291600 140422832519067 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16269312 140721404880859 140721404883633 140721404883633 140721404886991 0 [pid=28262/tid=28321] ppid=28259 vsize=10582036 CPUtime=8.54 cores=0,2,4,6 /proc/28262/task/28321/stat : 28321 (java) S 28259 28262 25100 0 -1 1077944384 35055 12384 0 0 842 4 5 3 20 0 15 0 61511046 10836004864 688086 18446744073709551615 4194304 4196468 140721404879104 140422324238448 140422832511618 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16269312 140721404880859 140721404883633 140721404883633 140721404886991 0 [pid=28262/tid=28322] ppid=28259 vsize=10582036 CPUtime=9.2 cores=0,2,4,6 /proc/28262/task/28322/stat : 28322 (java) S 28259 28262 25100 0 -1 1077944384 31903 12384 0 0 908 4 5 3 20 0 15 0 61511046 10836004864 688086 18446744073709551615 4194304 4196468 140721404879104 140422323185648 140422832511618 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16269312 140721404880859 140721404883633 140721404883633 140721404886991 0 [pid=28262/tid=28323] ppid=28259 vsize=10582036 CPUtime=2.99 cores=0,2,4,6 /proc/28262/task/28323/stat : 28323 (java) S 28259 28262 25100 0 -1 1077944384 41285 12384 0 0 285 6 5 3 20 0 15 0 61511046 10836004864 688086 18446744073709551615 4194304 4196468 140721404879104 140422322133360 140422832511618 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16269312 140721404880859 140721404883633 140721404883633 140721404886991 0 [pid=28262/tid=28324] ppid=28259 vsize=10582036 CPUtime=0.08 cores=0,2,4,6 /proc/28262/task/28324/stat : 28324 (java) S 28259 28262 25100 0 -1 1077944384 3 12384 0 0 0 0 5 3 20 0 15 0 61511047 10836004864 688086 18446744073709551615 4194304 4196468 140721404879104 140422321080800 140422832510677 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16269312 140721404880859 140721404883633 140721404883633 140721404886991 0 [pid=28262/tid=28325] ppid=28259 vsize=10582036 CPUtime=1.33 cores=0,2,4,6 /proc/28262/task/28325/stat : 28325 (java) S 28259 28262 25100 0 -1 1077944384 1408 12384 0 0 64 61 5 3 20 0 15 0 61511050 10836004864 688086 18446744073709551615 4194304 4196468 140721404879104 140422320028592 140422832511618 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 1 0 0 6293624 6294260 16269312 140721404880859 140721404883633 140721404883633 140721404886991 0 Current children cumulated CPU time (s) 2400.06 Current children cumulated vsize (KiB) 10582036 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 28262 sig 9 ??? end of watcher thread Dumping a history of the last processes samples Child status: 143 Real time (s): 2363.04 CPU time (s): 2400.11 CPU user time (s): 2396.43 CPU system time (s): 3.67848 CPU usage (%): 101.569 Max. virtual memory (cumulated for all children) (KiB): 10582036 getrusage(RUSAGE_CHILDREN,...) data: user time used= 2396.43 system time used= 3.67848 maximum resident set size= 2907256 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 706064 page faults= 0 swaps= 0 block input operations= 0 block output operations= 2840 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 74216 involuntary context switches= 3899 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 10.6233 second user time and 15.0181 second system time The end
Begin job on node133 at 2017-08-07 22:01:50 IDJOB=4248604 IDBENCH=140579 IDSOLVER=2630 FILE ID=node133/4248604-1502136957 RUNJOBID= node133-1502128909-26536 PBS_JOBID= Free space on /tmp= 62008 MiB SOLVER NAME= Concrete 3.4 BENCH NAME= XCSP17/Ramsey/Ramsey-int-s1/Ramsey-int-34.xml COMMAND LINE= bin/concrete BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4248604-1502136957/watcher-4248604-1502136957 -o /tmp/evaluation-result-4248604-1502136957/solver-4248604-1502136957 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node133-1502128909-26536 --watchdog 2560 bin/concrete HOME/instance-4248604-1502136957.xml TIME LIMIT= 2400 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 778dc3cd7adf307db423468d07378e38 RANDOM SEED=792630304 node133.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 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 sep 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 nopl 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 dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.17 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 microcode : 0x19 cpu MHz : 2668.000 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 sep 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 nopl 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 dtherm 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 microcode : 0x19 cpu MHz : 2668.000 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 sep 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 nopl 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 dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.17 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 microcode : 0x19 cpu MHz : 2668.000 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 sep 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 nopl 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 dtherm 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 microcode : 0x19 cpu MHz : 2668.000 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 sep 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 nopl 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 dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.17 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 microcode : 0x19 cpu MHz : 2668.000 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 sep 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 nopl 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 dtherm 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 microcode : 0x19 cpu MHz : 2668.000 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 sep 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 nopl 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 dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.17 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 microcode : 0x19 cpu MHz : 2668.000 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 sep 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 nopl 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 dtherm 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: 32770624 kB MemFree: 30468360 kB MemAvailable: 31084236 kB Buffers: 239240 kB Cached: 666424 kB SwapCached: 0 kB Active: 1490960 kB Inactive: 381780 kB Active(anon): 967656 kB Inactive(anon): 24920 kB Active(file): 523304 kB Inactive(file): 356860 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 24772 kB Writeback: 0 kB AnonPages: 967364 kB Mapped: 56368 kB Shmem: 25276 kB Slab: 130244 kB SReclaimable: 103092 kB SUnreclaim: 27152 kB KernelStack: 3520 kB PageTables: 7592 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 1712888 kB VmallocTotal: 34359738367 kB VmallocUsed: 354332 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 780288 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 132480 kB DirectMap2M: 33413120 kB Free space on /tmp at the end= 61980 MiB End job on node133 at 2017-08-07 22:41:14