Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| Concrete 3.4 | SAT (TO) | 59 | 2520.1201 | 2477.53 |
| Name | GraphColoring/GraphColoring-m1-mono/ GraphColoring-dsjc-500-5.xml |
| MD5SUM | 3c0366ff4baa9e19aea1ffc9dac5e4aa |
| Bench Category | COP (optimization problem) |
| Best result obtained on this benchmark | SAT TO |
| Best value of the objective obtained on this benchmark | 57 |
| Best CPU time to get the best result obtained on this benchmark | 2400.05 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 500 |
| Number of constraints | 62624 |
| Number of domains | 1 |
| Minimum domain size | 500 |
| Maximum domain size | 500 |
| Distribution of domain sizes | [{"size":500,"count":500}] |
| Minimum variable degree | 221 |
| Maximum variable degree | 287 |
| Distribution of variable degrees | [{"degree":221,"count":2},{"degree":222,"count":1},{"degree":223,"count":2},{"degree":224,"count":1},{"degree":225,"count":1},{"degree":227,"count":1},{"degree":228,"count":2},{"degree":230,"count":1},{"degree":231,"count":4},{"degree":232,"count":4},{"degree":233,"count":3},{"degree":234,"count":4},{"degree":235,"count":8},{"degree":236,"count":17},{"degree":237,"count":4},{"degree":238,"count":11},{"degree":239,"count":6},{"degree":240,"count":11},{"degree":241,"count":9},{"degree":242,"count":14},{"degree":243,"count":14},{"degree":244,"count":12},{"degree":245,"count":13},{"degree":246,"count":17},{"degree":247,"count":14},"...",{"degree":257,"count":16}, {"degree":258,"count":9}, {"degree":259,"count":19}, {"degree":260,"count":19}, {"degree":261,"count":19}, {"degree":262,"count":14}, {"degree":263,"count":12}, {"degree":264,"count":6}, {"degree":265,"count":7}, {"degree":266,"count":8}, {"degree":267,"count":4}, {"degree":268,"count":6}, {"degree":269,"count":5}, {"degree":270,"count":8}, {"degree":271,"count":4}, {"degree":272,"count":2}, {"degree":273,"count":2}, {"degree":274,"count":1}, {"degree":275,"count":1}, {"degree":276,"count":1}, {"degree":277,"count":2}, {"degree":278,"count":1}, {"degree":280,"count":2}, {"degree":281,"count":1}, {"degree":287,"count":1}] |
| Minimum constraint arity | 2 |
| Maximum constraint arity | 2 |
| Distribution of constraint arities | [{"arity":2,"count":62624}] |
| Number of extensional constraints | 0 |
| Number of intensional constraints | 62624 |
| Distribution of constraint types | [{"type":"intension","count":62624}] |
| Optimization problem | YES |
| Type of objective | min MAXIMUM |
3.39/2.23 c Concrete v3.4 running 182.56/163.09 o 499 184.02/164.04 o 498 185.04/164.96 o 497 185.99/165.84 o 496 186.89/166.74 o 495 187.87/167.67 o 494 188.90/168.55 o 493 189.81/169.50 o 492 190.81/170.41 o 491 191.62/171.29 o 490 192.71/172.22 o 489 194.50/173.17 o 488 195.49/174.06 o 487 196.46/174.94 o 486 197.37/175.85 o 485 198.29/176.75 o 484 199.20/177.63 o 483 200.03/178.47 o 482 200.94/179.32 o 481 201.77/180.20 o 480 202.70/181.08 o 479 203.64/181.93 o 478 204.54/182.81 o 477 205.49/183.73 o 476 206.39/184.60 o 475 207.20/185.47 o 474 208.10/186.35 o 473 209.00/187.21 o 472 209.80/188.10 o 471 210.70/188.96 o 470 211.60/189.86 o 469 212.50/190.72 o 468 213.40/191.63 o 467 214.21/192.49 o 466 215.12/193.33 o 465 216.02/194.20 o 464 216.82/195.09 o 463 217.72/195.98 o 462 218.62/196.86 o 461 219.52/197.74 o 460 220.42/198.61 o 459 221.22/199.48 o 458 222.13/200.35 o 457 223.02/201.23 o 456 223.82/202.08 o 455 224.72/202.97 o 454 225.62/203.86 o 453 226.56/204.76 o 452 227.46/205.64 o 451 228.26/206.50 o 450 229.16/207.38 o 449 230.06/208.25 o 448 230.97/209.12 o 447 231.76/209.99 o 446 232.66/210.84 o 445 233.56/211.76 o 444 234.47/212.62 o 443 235.38/213.50 o 442 236.27/214.40 o 441 237.07/215.29 o 440 237.97/216.16 o 439 238.87/217.02 o 438 239.68/217.84 o 437 240.47/218.67 o 436 241.39/219.54 o 435 242.29/220.41 o 434 243.09/221.27 o 433 243.99/222.13 o 432 244.79/222.99 o 431 245.79/223.91 o 430 246.59/224.78 o 429 247.50/225.65 o 428 248.43/226.57 o 427 249.33/227.41 o 426 250.13/228.25 o 425 251.03/229.15 o 424 251.94/230.04 o 423 252.73/230.90 o 422 253.63/231.76 o 421 254.53/232.67 o 420 255.44/233.57 o 419 256.34/234.42 o 418 257.17/235.26 o 417 257.97/236.09 o 416 258.88/236.95 o 415 259.78/237.84 o 414 260.69/238.73 o 413 261.48/239.58 o 412 262.38/240.43 o 411 263.19/241.29 o 410 264.19/242.22 o 409 264.99/243.10 o 408 265.89/243.98 o 407 266.79/244.83 o 406 267.69/245.73 o 405 268.59/246.60 o 404 269.39/247.47 o 403 270.30/248.34 o 402 271.19/249.20 o 401 271.99/250.04 o 400 272.95/250.91 o 399 273.74/251.77 o 398 274.64/252.69 o 397 275.55/253.56 o 396 276.45/254.44 o 395 277.25/255.29 o 394 278.15/256.16 o 393 279.05/257.01 o 392 279.85/257.84 o 391 280.75/258.71 o 390 281.55/259.56 o 389 282.35/260.39 o 388 283.26/261.23 o 387 284.05/262.06 o 386 284.86/262.90 o 385 285.76/263.76 o 384 286.66/264.63 o 383 287.46/265.48 o 382 288.38/266.33 o 381 289.17/267.18 o 380 290.07/268.03 o 379 290.87/268.90 o 378 291.77/269.77 o 377 292.69/270.64 o 376 293.59/271.52 o 375 294.49/272.42 o 374 295.29/273.28 o 373 296.19/274.11 o 372 297.00/274.98 o 371 297.93/275.80 o 370 298.72/276.67 o 369 299.62/277.54 o 368 300.43/278.35 o 367 301.32/279.20 o 366 302.12/280.07 o 365 303.02/280.94 o 364 303.83/281.75 o 363 304.62/282.59 o 362 305.53/283.46 o 361 306.43/284.32 o 360 307.23/285.18 o 359 308.14/286.02 o 358 309.03/286.91 o 357 309.83/287.78 o 356 310.73/288.68 o 355 311.63/289.57 o 354 312.54/290.43 o 353 313.33/291.28 o 352 314.23/292.18 o 351 315.13/293.04 o 350 316.03/293.94 o 349 316.94/294.82 o 348 317.83/295.76 o 347 318.73/296.61 o 346 319.53/297.46 o 345 320.34/298.29 o 344 321.24/299.12 o 343 322.04/299.96 o 342 322.94/300.86 o 341 323.88/301.73 o 340 324.68/302.56 o 339 325.57/303.43 o 338 326.37/304.27 o 337 327.27/305.11 o 336 328.18/306.00 o 335 328.98/306.84 o 334 329.78/307.69 o 333 330.68/308.56 o 332 331.58/309.42 o 331 332.39/310.28 o 330 333.28/311.16 o 329 334.08/311.97 o 328 334.98/312.80 o 327 335.89/313.70 o 326 336.69/314.53 o 325 337.59/315.41 o 324 338.39/316.28 o 323 339.29/317.16 o 322 340.20/318.03 o 321 340.99/318.88 o 320 341.90/319.72 o 319 342.70/320.54 o 318 343.65/321.41 o 317 344.45/322.28 o 316 345.35/323.10 o 315 346.15/323.98 o 314 347.05/324.83 o 313 347.86/325.70 o 312 348.79/326.55 o 311 349.69/327.44 o 310 350.49/328.29 o 309 351.39/329.16 o 308 352.30/330.02 o 307 353.10/330.88 o 306 354.00/331.70 o 305 354.80/332.53 o 304 355.61/333.38 o 303 356.50/334.26 o 302 357.30/335.09 o 301 358.25/335.97 o 300 359.15/336.82 o 299 359.95/337.67 o 298 360.86/338.51 o 297 361.66/339.37 o 296 362.56/340.20 o 295 363.36/341.07 o 294 364.26/341.93 o 293 365.06/342.79 o 292 365.96/343.63 o 291 366.86/344.50 o 290 367.66/345.33 o 289 368.46/346.18 o 288 369.36/347.05 o 287 370.26/347.94 o 286 371.17/348.81 o 285 371.96/349.64 o 284 372.90/350.51 o 283 373.70/351.36 o 282 374.60/352.23 o 281 375.40/353.07 o 280 376.30/353.97 o 279 377.20/354.83 o 278 378.10/355.70 o 277 378.90/356.58 o 276 379.80/357.45 o 275 380.60/358.26 o 274 381.50/359.10 o 273 382.30/359.96 o 272 383.21/360.80 o 271 384.00/361.64 o 270 384.90/362.51 o 269 385.70/363.35 o 268 386.61/364.23 o 267 387.51/365.10 o 266 388.31/365.98 o 265 389.21/366.83 o 264 390.11/367.70 o 263 390.92/368.56 o 262 391.72/369.38 o 261 392.62/370.21 o 260 393.42/371.04 o 259 394.23/371.89 o 258 395.12/372.72 o 257 396.02/373.61 o 256 396.85/374.49 o 255 397.74/375.35 o 254 398.65/376.23 o 253 399.54/377.10 o 252 400.35/377.98 o 251 401.25/378.86 o 250 402.15/379.75 o 249 403.06/380.60 o 248 403.85/381.47 o 247 404.76/382.38 o 246 405.66/383.25 o 245 406.57/384.13 o 244 407.38/384.99 o 243 408.28/385.87 o 242 409.18/386.70 o 241 409.98/387.56 o 240 410.89/388.44 o 239 411.78/389.32 o 238 412.68/390.21 o 237 413.58/391.10 o 236 414.38/391.99 o 235 415.29/392.84 o 234 416.18/393.73 o 233 417.08/394.61 o 232 417.88/395.47 o 231 418.78/396.34 o 230 419.72/397.28 o 229 420.62/398.15 o 228 421.52/399.03 o 227 422.42/399.94 o 226 423.32/400.82 o 225 424.13/401.69 o 224 425.03/402.55 o 223 425.93/403.42 o 222 426.83/404.32 o 221 427.73/405.21 o 220 428.63/406.11 o 219 429.43/406.99 o 218 430.33/407.87 o 217 431.23/408.76 o 216 432.13/409.61 o 215 432.94/410.50 o 214 433.83/411.38 o 213 434.73/412.27 o 212 435.63/413.19 o 211 436.63/414.13 o 210 437.53/415.03 o 209 438.34/415.89 o 208 439.33/416.83 o 207 440.23/417.74 o 206 441.13/418.62 o 205 442.04/419.54 o 204 442.95/420.43 o 203 443.86/421.33 o 202 444.76/422.23 o 201 445.66/423.14 o 200 446.66/424.11 o 199 447.47/424.97 o 198 448.37/425.84 o 197 449.26/426.73 o 196 450.16/427.61 o 195 451.06/428.51 o 194 451.86/429.37 o 193 452.86/430.30 o 192 453.69/431.19 o 191 454.59/432.06 o 190 455.49/432.97 o 189 456.39/433.88 o 188 457.29/434.78 o 187 458.20/435.66 o 186 459.10/436.53 o 185 459.90/437.40 o 184 460.90/438.30 o 183 461.70/439.19 o 182 462.60/440.08 o 181 463.50/440.95 o 180 464.40/441.84 o 179 465.33/442.71 o 178 466.13/443.57 o 177 467.04/444.41 o 176 467.83/445.26 o 175 468.73/446.10 o 174 469.53/446.94 o 173 470.33/447.79 o 172 471.23/448.64 o 171 472.03/449.47 o 170 472.93/450.33 o 169 473.83/451.20 o 168 474.63/452.05 o 167 475.54/452.92 o 166 476.34/453.79 o 165 477.24/454.68 o 164 478.15/455.57 o 163 479.04/456.43 o 162 479.84/457.27 o 161 480.74/458.12 o 160 481.54/458.97 o 159 482.45/459.85 o 158 483.34/460.72 o 157 484.14/461.56 o 156 485.09/462.42 o 155 485.90/463.28 o 154 486.79/464.18 o 153 487.69/465.06 o 152 488.49/465.88 o 151 489.39/466.71 o 150 490.20/467.58 o 149 491.09/468.47 o 148 491.99/469.33 o 147 492.79/470.19 o 146 493.69/471.05 o 145 494.49/471.89 o 144 495.40/472.75 o 143 496.31/473.61 o 142 497.11/474.42 o 141 497.92/475.27 o 140 498.82/476.11 o 139 499.72/477.02 o 138 500.52/477.86 o 137 501.44/478.75 o 136 502.36/479.66 o 135 503.34/480.54 o 134 504.15/481.40 o 133 505.05/482.24 o 132 505.98/483.12 o 131 506.80/483.97 o 130 507.70/484.86 o 129 508.60/485.73 o 128 509.40/486.56 o 127 510.31/487.45 o 126 511.32/488.34 o 125 512.24/489.23 o 124 513.14/490.10 o 123 513.98/490.97 o 122 514.90/491.85 o 121 515.70/492.69 o 120 516.60/493.51 o 119 517.40/494.37 o 118 518.30/495.20 o 117 519.12/496.03 o 116 520.03/496.92 o 115 520.83/497.76 o 114 521.73/498.62 o 113 522.53/499.48 o 112 523.44/500.34 o 111 524.34/501.21 o 110 525.24/502.10 o 109 526.04/502.98 o 108 526.98/503.82 o 107 527.77/504.67 o 106 528.67/505.57 o 105 529.57/506.45 o 104 530.47/507.34 o 103 531.27/508.20 o 102 532.27/509.10 o 101 533.07/509.98 o 100 533.97/510.84 o 99 534.87/511.72 o 98 535.68/512.60 o 97 536.69/513.50 o 96 537.59/514.41 o 95 538.39/515.26 o 94 539.29/516.14 o 93 540.19/517.03 o 92 540.99/517.88 o 91 541.89/518.75 o 90 542.79/519.64 o 89 543.69/520.53 o 88 544.49/521.40 o 87 545.51/522.31 o 86 546.43/523.14 o 85 547.23/523.98 o 84 548.13/524.81 o 83 548.93/525.63 o 82 549.73/526.48 o 81 550.64/527.33 o 80 551.45/528.17 o 79 552.34/529.07 o 78 553.39/529.98 o 77 554.53/530.88 o 76 555.45/531.76 o 75 556.47/532.70 o 74 557.41/533.67 o 73 558.31/534.60 o 72 559.31/535.54 o 71 560.38/536.59 o 70 561.49/537.56 o 69 562.50/538.55 o 68 563.56/539.58 o 67 564.85/540.70 o 66 565.99/541.88 o 65 568.09/543.93 o 64 570.65/546.46 o 63 581.37/556.92 o 62 622.39/597.78 o 61 662.76/637.97 o 60 814.64/788.75 o 59 2520.07/2477.50 java.util.concurrent.TimeoutException 2520.07/2477.51 at concrete.MAC.mac(MAC.scala:74) 2520.07/2477.51 at concrete.MAC.$anonfun$oneRun$1(MAC.scala:145) 2520.07/2477.51 at scala.util.Try$.apply(Try.scala:209) 2520.07/2477.51 at cspom.StatisticsManager$.$anonfun$measure$1(StatisticsManager.scala:194) 2520.07/2477.51 at cspom.StatisticsManager$.$anonfun$measureTry$1(StatisticsManager.scala:182) 2520.07/2477.51 at scala.runtime.java8.JFunction0$mcZ$sp.apply(JFunction0$mcZ$sp.java:12) 2520.07/2477.51 at org.scalameter.MeasureBuilder.$anonfun$measure$1(MeasureBuilder.scala:61) 2520.07/2477.51 at org.scalameter.Measurer$Default.measure(Measurer.scala:131) 2520.07/2477.51 at org.scalameter.MeasureBuilder.measureWith(MeasureBuilder.scala:51) 2520.07/2477.51 at org.scalameter.MeasureBuilder.measure(MeasureBuilder.scala:61) 2520.07/2477.51 at cspom.StatisticsManager$.measureTry(StatisticsManager.scala:181) 2520.07/2477.51 at cspom.StatisticsManager$.measure(StatisticsManager.scala:194) 2520.07/2477.51 at concrete.MAC.oneRun(MAC.scala:146) 2520.07/2477.51 at concrete.MAC.nextSolution(MAC.scala:166) 2520.07/2477.51 at concrete.MAC.$anonfun$nextSolution$2(MAC.scala:196) 2520.07/2477.51 at concrete.ProblemState.map(ProblemState.scala:203) 2520.07/2477.51 at concrete.ProblemState.map(ProblemState.scala:188) 2520.07/2477.51 at concrete.MAC.nextSolution(MAC.scala:195) 2520.07/2477.51 at concrete.Solver.hasNext(Solver.scala:202) 2520.07/2477.51 at scala.collection.Iterator.toStream(Iterator.scala:1403) 2520.07/2477.51 at scala.collection.Iterator.toStream$(Iterator.scala:1402) 2520.07/2477.51 at concrete.Solver.toStream(Solver.scala:73) 2520.07/2477.51 at scala.collection.Iterator.$anonfun$toStream$1(Iterator.scala:1403) 2520.07/2477.51 at scala.collection.immutable.Stream$Cons.tail(Stream.scala:1169) 2520.07/2477.51 at scala.collection.immutable.Stream$Cons.tail(Stream.scala:1159) 2520.07/2477.51 at scala.collection.immutable.Stream.foreach(Stream.scala:531) 2520.07/2477.51 at concrete.runner.ConcreteRunner.$anonfun$run$10(ConcreteRunner.scala:157) 2520.07/2477.51 at scala.util.Success.$anonfun$map$1(Try.scala:251) 2520.07/2477.51 at scala.util.Success.map(Try.scala:209) 2520.07/2477.51 at concrete.runner.ConcreteRunner.run(ConcreteRunner.scala:154) 2520.07/2477.51 at concrete.runner.ConcreteRunner.run$(ConcreteRunner.scala:72) 2520.07/2477.51 at concrete.runner.XCSP3Concrete$.run(XCSP3Concrete.scala:17) 2520.07/2477.51 at concrete.runner.XCSP3Concrete$.delayedEndpoint$concrete$runner$XCSP3Concrete$1(XCSP3Concrete.scala:119) 2520.07/2477.51 at concrete.runner.XCSP3Concrete$delayedInit$body.apply(XCSP3Concrete.scala:17) 2520.07/2477.51 at scala.Function0.apply$mcV$sp(Function0.scala:34) 2520.07/2477.51 at scala.Function0.apply$mcV$sp$(Function0.scala:34) 2520.07/2477.51 at scala.runtime.AbstractFunction0.apply$mcV$sp(AbstractFunction0.scala:12) 2520.07/2477.51 at scala.App.$anonfun$main$1$adapted(App.scala:76) 2520.07/2477.51 at scala.collection.immutable.List.foreach(List.scala:389) 2520.07/2477.51 at scala.App.main(App.scala:76) 2520.07/2477.51 at scala.App.main$(App.scala:74) 2520.07/2477.51 at concrete.runner.XCSP3Concrete$.main(XCSP3Concrete.scala:17) 2520.07/2477.51 at concrete.runner.XCSP3Concrete.main(XCSP3Concrete.scala) 2520.07/2477.51 v <instantiation cost="59"> 2520.07/2477.51 v <list> 2520.07/2477.51 v x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] x[20] x[21] x[22] x[23] x[24] x[25] x[26] x[27] x[28] x[29] x[30] x[31] x[32] x[33] x[34] x[35] x[36] x[37] x[38] x[39] x[40] x[41] x[42] x[43] x[44] x[45] x[46] x[47] x[48] x[49] x[50] x[51] x[52] x[53] x[54] x[55] x[56] x[57] x[58] x[59] x[60] x[61] x[62] x[63] x[64] x[65] x[66] x[67] x[68] x[69] x[70] x[71] x[72] x[73] x[74] x[75] x[76] x[77] x[78] x[79] x[80] x[81] x[82] x[83] x[84] x[85] x[86] x[87] x[88] x[89] x[90] x[91] x[92] x[93] x[94] x[95] x[96] x[97] x[98] x[99] x[100] x[101] x[102] x[103] x[104] x[105] x[106] x[107] x[108] x[109] x[110] x[111] x[112] x[113] x[114] x[115] x[116] x[117] x[118] x[119] x[120] x[121] x[122] x[123] x[124] x[125] x[126] x[127] x[128] x[129] x[130] x[131] x[132] x[133] x[134] x[135] x[136] x[137] x[138] x[139] x[140] x[141] x[142] x[143] x[144] x[145] x[146] x[147] x[148] x[149] x[150] x[151] x[152] x[153] x[154] x[155] x[156] x[157] x[158] x[159] x[160] x[161] x[162] x[163] x[164] x[165] x[166] x[167] x[168] x[169] x[170] x[171] x[172] x[173] x[174] x[175] x[176] x[177] x[178] x[179] x[180] x[181] x[182] x[183] x[184] x[185] x[186] x[187] x[188] x[189] x[190] x[191] x[192] x[193] x[194] x[195] x[196] x[197] x[198] x[199] x[200] x[201] x[202] x[203] x[204] x[205] x[206] x[207] x[208] x[209] x[210] x[211] x[212] x[213] x[214] x[215] x[216] x[217] x[218] x[219] x[220] x[221] x[222] x[223] x[224] x[225] x[226] x[227] x[228] x[229] x[230] x[231] x[232] x[233] x[234] x[235] x[236] x[237] x[238] x[239] x[240] x[241] x[242] x[243] x[244] x[245] x[246] x[247] x[248] x[249] x[250] x[251] x[252] x[253] x[254] x[255] x[256] x[257] x[258] x[259] x[260] x[261] x[262] x[263] x[264] x[265] x[266] x[267] x[268] x[269] x[270] x[271] x[272] x[273] x[274] x[275] x[276] x[277] x[278] x[279] x[280] x[281] x[282] x[283] x[284] x[285] x[286] x[287] x[288] x[289] x[290] x[291] x[292] x[293] x[294] x[295] x[296] x[297] x[298] x[299] x[300] x[301] x[302] x[303] x[304] x[305] x[306] x[307] x[308] x[309] x[310] x[311] x[312] x[313] x[314] x[315] x[316] x[317] x[318] x[319] x[320] x[321] x[322] x[323] x[324] x[325] x[326] x[327] x[328] x[329] x[330] x[331] x[332] x[333] x[334] x[335] x[336] x[337] x[338] x[339] x[340] x[341] x[342] x[343] x[344] x[345] x[346] x[347] x[348] x[349] x[350] x[351] x[352] x[353] x[354] x[355] x[356] x[357] x[358] x[359] x[360] x[361] x[362] x[363] x[364] x[365] x[366] x[367] x[368] x[369] x[370] x[371] x[372] x[373] x[374] x[375] x[376] x[377] x[378] x[379] x[380] x[381] x[382] x[383] x[384] x[385] x[386] x[387] x[388] x[389] x[390] x[391] x[392] x[393] x[394] x[395] x[396] x[397] x[398] x[399] x[400] x[401] x[402] x[403] x[404] x[405] x[406] x[407] x[408] x[409] x[410] x[411] x[412] x[413] x[414] x[415] x[416] x[417] x[418] x[419] x[420] x[421] x[422] x[423] x[424] x[425] x[426] x[427] x[428] x[429] x[430] x[431] x[432] x[433] x[434] x[435] x[436] x[437] x[438] x[439] x[440] x[441] x[442] x[443] x[444] x[445] x[446] x[447] x[448] x[449] x[450] x[451] x[452] x[453] x[454] x[455] x[456] x[457] x[458] x[459] x[460] x[461] x[462] x[463] x[464] x[465] x[466] x[467] x[468] x[469] x[470] x[471] x[472] x[473] x[474] x[475] x[476] x[477] x[478] x[479] x[480] x[481] x[482] x[483] x[484] x[485] x[486] x[487] x[488] x[489] x[490] x[491] x[492] x[493] x[494] x[495] x[496] x[497] x[498] x[499] 2520.07/2477.51 v </list> 2520.07/2477.51 v <values> 2520.07/2477.51 v 45 57 26 37 34 28 25 22 49 26 9 38 34 58 59 9 45 10 16 23 53 12 1 5 15 47 47 28 44 38 46 9 26 30 19 55 2 43 12 38 32 11 36 4 21 50 4 36 18 17 44 52 33 42 27 26 56 9 28 29 36 14 27 57 32 6 43 0 10 44 1 34 29 39 24 38 46 37 6 8 18 39 11 40 18 52 41 8 47 45 0 21 31 12 20 25 40 55 59 29 23 52 58 59 43 2 29 2 48 46 1 39 3 29 54 4 14 21 55 22 6 16 13 43 16 57 21 26 38 39 14 55 48 18 39 54 27 28 11 15 44 23 29 53 0 11 37 33 25 24 7 46 30 13 7 38 58 58 7 2 40 11 43 13 26 17 50 11 20 54 31 49 49 14 33 54 41 17 20 37 36 31 33 50 36 18 49 37 37 58 3 5 25 3 51 56 22 10 51 44 7 16 20 36 38 28 30 46 15 50 31 26 5 19 45 9 56 13 17 54 49 36 17 3 56 8 45 6 13 59 0 30 7 34 16 53 58 14 23 20 23 12 41 25 31 32 51 18 39 44 6 35 4 29 40 47 14 48 11 49 14 24 17 34 46 12 11 1 27 42 49 40 22 12 30 51 19 57 25 50 2 31 57 31 15 56 7 32 42 41 8 21 12 53 15 55 14 23 12 6 56 32 41 56 30 59 6 53 3 35 5 30 58 52 44 29 9 30 1 15 9 9 16 46 40 58 48 48 40 2 45 51 22 7 56 27 18 51 6 47 42 47 3 27 22 21 41 50 1 4 51 28 22 31 48 28 15 50 44 39 23 17 54 32 35 10 5 14 10 52 17 13 46 24 36 13 8 22 18 19 10 59 24 58 10 13 7 16 30 5 13 3 52 35 7 53 19 33 20 15 16 46 8 7 5 41 12 47 22 4 19 24 24 55 38 37 8 45 16 42 23 0 51 50 57 26 17 46 59 25 34 34 15 20 59 42 48 54 2 40 33 43 8 31 21 57 45 46 55 21 59 56 15 28 17 48 5 52 24 49 37 43 0 38 9 5 0 24 2 34 20 39 28 4 35 53 3 35 0 1 41 57 36 29 20 52 35 19 32 24 47 30 4 55 27 54 55 52 34 53 2520.07/2477.51 v </values> 2520.07/2477.51 v </instantiation> 2520.07/2477.51 s SATISFIABLE
OK 59
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-4261961-1502424613/watcher-4261961-1502424613 -o /tmp/evaluation-result-4261961-1502424613/solver-4261961-1502424613 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node127-1502411410-19681 --watchdog 2580 bin/concrete HOME/instance-4261961-1502424613.xml pid=21879 running on 4 cores: 0,2,4,6 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 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.46 1.43 1.37 3/194 21882 /proc/meminfo: memFree=30438292/32770624 swapFree=0/542540 [pid=21882] ppid=21879 vsize=23672 CPUtime=0 cores=0,2,4,6 /proc/21882/stat : 21882 (runsolver) D 21879 21882 19618 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 44654801 24240128 106 18446744073709551615 4194304 4338465 140734490294832 140734490292472 140306727584471 0 0 1 24578 18446744071580418449 0 0 17 4 0 0 0 0 0 6438912 6441760 21164032 140734490300624 140734490301001 140734490301001 140734490304458 0 /proc/21882/statm: 5918 106 53 36 0 2156 0 [startup+0.10015 s] /proc/loadavg: 1.46 1.43 1.37 3/194 21882 /proc/meminfo: memFree=30438292/32770624 swapFree=0/542540 [pid=21882] ppid=21879 vsize=9508 CPUtime=0 cores=0,2,4,6 /proc/21882/stat : 21882 (bash) S 21879 21882 19618 0 -1 4202496 684 1540 0 0 0 0 0 0 20 0 1 0 44654801 9736192 352 18446744073709551615 4194304 5098028 140734864627776 140734864625416 140579183610880 0 0 5 65536 18446744071580971376 0 0 17 0 0 0 8 0 0 7196144 7232144 8994816 140734864630292 140734864630377 140734864630377 140734864633834 0 /proc/21882/statm: 2377 352 279 221 0 86 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9508 [startup+0.200249 s] /proc/loadavg: 1.46 1.43 1.37 3/194 21882 /proc/meminfo: memFree=30438292/32770624 swapFree=0/542540 [pid=21882] ppid=21879 vsize=9636 CPUtime=0.01 cores=0,2,4,6 /proc/21882/stat : 21882 (bash) S 21879 21882 19618 0 -1 4202496 898 6472 0 0 0 0 0 1 20 0 1 0 44654801 9867264 377 18446744073709551615 4194304 5098028 140734864627776 140734864621784 140579183610880 0 0 5 65536 18446744071580971376 0 0 17 0 0 0 8 0 0 7196144 7232144 8994816 140734864630292 140734864630377 140734864630377 140734864633834 0 /proc/21882/statm: 2409 377 296 221 0 118 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 9636 [startup+0.300339 s] /proc/loadavg: 1.46 1.43 1.37 3/194 21882 /proc/meminfo: memFree=30438292/32770624 swapFree=0/542540 [pid=21882] ppid=21879 vsize=13907308 CPUtime=0.14 cores=0,2,4,6 /proc/21882/stat : 21882 (java) S 21879 21882 19618 0 -1 1077944320 5682 12584 0 0 5 1 5 3 20 0 14 0 44654801 14241083392 5378 18446744073709551615 4194304 4196468 140730688371168 140730688353712 139700567248631 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 8 0 0 6293624 6294260 23031808 140730688378832 140730688381617 140730688381617 140730688384975 0 /proc/21882/statm: 3476827 5378 2664 1 0 3466324 0 Current children cumulated CPU time (s) 0.14 Current children cumulated vsize (KiB) 13907308 [startup+0.703918 s] /proc/loadavg: 1.46 1.43 1.37 3/194 21882 /proc/meminfo: memFree=30438292/32770624 swapFree=0/542540 [pid=21882] ppid=21879 vsize=13974784 CPUtime=0.65 cores=0,2,4,6 /proc/21882/stat : 21882 (java) S 21879 21882 19618 0 -1 1077944320 13820 12584 0 0 53 4 5 3 20 0 15 0 44654801 14310178816 14228 18446744073709551615 4194304 4196468 140730688371168 140730688353712 139700567248631 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 8 0 0 6293624 6294260 23031808 140730688378832 140730688381617 140730688381617 140730688384975 0 /proc/21882/statm: 3493696 14228 3114 1 0 3482965 0 Current children cumulated CPU time (s) 0.65 Current children cumulated vsize (KiB) 13974784 [startup+1.50055 s] /proc/loadavg: 1.46 1.43 1.37 3/209 21945 /proc/meminfo: memFree=30346612/32770624 swapFree=0/542524 [pid=21882] ppid=21879 vsize=13985408 CPUtime=1.82 cores=0,2,4,6 /proc/21882/stat : 21882 (java) S 21879 21882 19618 0 -1 1077944320 25457 12584 0 0 167 7 5 3 20 0 15 0 44654801 14321057792 33972 18446744073709551615 4194304 4196468 140730688371168 140730688353712 139700567248631 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 8 0 0 6293624 6294260 23031808 140730688378832 140730688381617 140730688381617 140730688384975 0 /proc/21882/statm: 3496352 33972 3341 1 0 3485525 0 [pid=21882/tid=21932] ppid=21879 vsize=13985408 CPUtime=1.29 cores=0,2,4,6 /proc/21882/task/21932/stat : 21932 (java) R 21879 21882 19618 0 -1 4202560 20289 12584 0 0 115 6 5 3 20 0 15 0 44654823 14321057792 33972 18446744073709551615 4194304 4196468 140730688371168 139700571480624 139700203557128 0 4 1 16800974 0 0 0 -1 0 0 0 4 0 0 6293624 6294260 23031808 140730688378832 140730688381617 140730688381617 140730688384975 0 [pid=21882/tid=21933] ppid=21879 vsize=13985408 CPUtime=0.08 cores=0,2,4,6 /proc/21882/task/21933/stat : 21933 (java) S 21879 21882 19618 0 -1 1077944384 1 12584 0 0 0 0 5 3 20 0 15 0 44654824 14321057792 33972 18446744073709551615 4194304 4196468 140730688371168 139700524215184 139700567258837 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23031808 140730688378832 140730688381617 140730688381617 140730688384975 0 [pid=21882/tid=21934] ppid=21879 vsize=13985408 CPUtime=0.08 cores=0,2,4,6 /proc/21882/task/21934/stat : 21934 (java) S 21879 21882 19618 0 -1 1077944384 1 12584 0 0 0 0 5 3 20 0 15 0 44654824 14321057792 33972 18446744073709551615 4194304 4196468 140730688371168 139700165864208 139700567258837 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23031808 140730688378832 140730688381617 140730688381617 140730688384975 0 [pid=21882/tid=21935] ppid=21879 vsize=13985408 CPUtime=0.08 cores=0,2,4,6 /proc/21882/task/21935/stat : 21935 (java) S 21879 21882 19618 0 -1 1077944384 1 12584 0 0 0 0 5 3 20 0 15 0 44654824 14321057792 33972 18446744073709551615 4194304 4196468 140730688371168 139700164811920 139700567258837 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23031808 140730688378832 140730688381617 140730688381617 140730688384975 0 [pid=21882/tid=21936] ppid=21879 vsize=13985408 CPUtime=0.08 cores=0,2,4,6 /proc/21882/task/21936/stat : 21936 (java) S 21879 21882 19618 0 -1 1077944384 2 12584 0 0 0 0 5 3 20 0 15 0 44654824 14321057792 33972 18446744073709551615 4194304 4196468 140730688371168 139700163759120 139700567258837 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23031808 140730688378832 140730688381617 140730688381617 140730688384975 0 [pid=21882/tid=21937] ppid=21879 vsize=13985408 CPUtime=0.08 cores=0,2,4,6 /proc/21882/task/21937/stat : 21937 (java) S 21879 21882 19618 0 -1 1077944384 5 12584 0 0 0 0 5 3 20 0 15 0 44654825 14321057792 33972 18446744073709551615 4194304 4196468 140730688371168 139699483277424 139700567259778 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23031808 140730688378832 140730688381617 140730688381617 140730688384975 0 [pid=21882/tid=21938] ppid=21879 vsize=13985408 CPUtime=0.08 cores=0,2,4,6 /proc/21882/task/21938/stat : 21938 (java) S 21879 21882 19618 0 -1 1077944384 33 12584 0 0 0 0 5 3 20 0 15 0 44654826 14321057792 33972 18446744073709551615 4194304 4196468 140730688371168 139699482223392 139700567258837 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23031808 140730688378832 140730688381617 140730688381617 140730688384975 0 [pid=21882/tid=21939] ppid=21879 vsize=13985408 CPUtime=0.08 cores=0,2,4,6 /proc/21882/task/21939/stat : 21939 (java) S 21879 21882 19618 0 -1 1077944384 21 12584 0 0 0 0 5 3 20 0 15 0 44654826 14321057792 33972 18446744073709551615 4194304 4196468 140730688371168 139699481171056 139700567258837 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23031808 140730688378832 140730688381617 140730688381617 140730688384975 0 [pid=21882/tid=21940] ppid=21879 vsize=13985408 CPUtime=0.08 cores=0,2,4,6 /proc/21882/task/21940/stat : 21940 (java) S 21879 21882 19618 0 -1 1077944384 3 12584 0 0 0 0 5 3 20 0 15 0 44654829 14321057792 33972 18446744073709551615 4194304 4196468 140730688371168 139699480119376 139700567267227 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23031808 140730688378832 140730688381617 140730688381617 140730688384975 0 [pid=21882/tid=21941] ppid=21879 vsize=13985408 CPUtime=0.2 cores=0,2,4,6 /proc/21882/task/21941/stat : 21941 (java) S 21879 21882 19618 0 -1 1077944384 869 12584 0 0 12 0 5 3 20 0 15 0 44654829 14321057792 33972 18446744073709551615 4194304 4196468 140730688371168 139699479067248 139700567259778 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23031808 140730688378832 140730688381617 140730688381617 140730688384975 0 [pid=21882/tid=21942] ppid=21879 vsize=13985408 CPUtime=0.24 cores=0,2,4,6 /proc/21882/task/21942/stat : 21942 (java) S 21879 21882 19618 0 -1 1077944384 795 12584 0 0 16 0 5 3 20 0 15 0 44654829 14321057792 33972 18446744073709551615 4194304 4196468 140730688371168 139699478014448 139700567259778 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23031808 140730688378832 140730688381617 140730688381617 140730688384975 0 [pid=21882/tid=21943] ppid=21879 vsize=13985408 CPUtime=0.3 cores=0,2,4,6 /proc/21882/task/21943/stat : 21943 (java) R 21879 21882 19618 0 -1 4202560 1276 12584 0 0 22 0 5 3 20 0 15 0 44654829 14321057792 33972 18446744073709551615 4194304 4196468 140730688371168 139699476962160 139700546208787 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 23031808 140730688378832 140730688381617 140730688381617 140730688384975 0 [pid=21882/tid=21944] ppid=21879 vsize=13985408 CPUtime=0.08 cores=0,2,4,6 /proc/21882/task/21944/stat : 21944 (java) S 21879 21882 19618 0 -1 1077944384 3 12584 0 0 0 0 5 3 20 0 15 0 44654829 14321057792 33972 18446744073709551615 4194304 4196468 140730688371168 139699475909600 139700567258837 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23031808 140730688378832 140730688381617 140730688381617 140730688384975 0 [pid=21882/tid=21945] ppid=21879 vsize=13985408 CPUtime=0.08 cores=0,2,4,6 /proc/21882/task/21945/stat : 21945 (java) S 21879 21882 19618 0 -1 1077944384 3 12584 0 0 0 0 5 3 20 0 15 0 44654834 14321057792 33972 18446744073709551615 4194304 4196468 140730688371168 139699474856368 139700567259778 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23031808 140730688378832 140730688381617 140730688381617 140730688384975 0 Current children cumulated CPU time (s) 1.82 Current children cumulated vsize (KiB) 13985408 [startup+3.10385 s] /proc/loadavg: 1.42 1.43 1.37 6/209 21945 /proc/meminfo: memFree=30267196/32770624 swapFree=0/542524 [pid=21882] ppid=21879 vsize=13995836 CPUtime=6.13 cores=0,2,4,6 /proc/21882/stat : 21882 (java) S 21879 21882 19618 0 -1 1077944320 33918 12584 0 0 586 19 5 3 20 0 15 0 44654801 14331736064 77980 18446744073709551615 4194304 4196468 140730688371168 140730688353712 139700567248631 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 8 0 0 6293624 6294260 23031808 140730688378832 140730688381617 140730688381617 140730688384975 0 /proc/21882/statm: 3498959 77980 3463 1 0 3487573 0 [pid=21882/tid=21932] ppid=21879 vsize=13995836 CPUtime=2.8 cores=0,2,4,6 /proc/21882/task/21932/stat : 21932 (java) R 21879 21882 19618 0 -1 4202560 23272 12584 0 0 264 8 5 3 20 0 15 0 44654823 14331736064 77980 18446744073709551615 4194304 4196468 140730688371168 139700571483216 139700549711809 0 4 1 16800974 0 0 0 -1 4 0 0 4 0 0 6293624 6294260 23031808 140730688378832 140730688381617 140730688381617 140730688384975 0 [pid=21882/tid=21933] ppid=21879 vsize=13995836 CPUtime=0.12 cores=0,2,4,6 /proc/21882/task/21933/stat : 21933 (java) S 21879 21882 19618 0 -1 1077944384 245 12584 0 0 3 1 5 3 20 0 15 0 44654824 14331736064 77980 18446744073709551615 4194304 4196468 140730688371168 139700524215184 139700567258837 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23031808 140730688378832 140730688381617 140730688381617 140730688384975 0 [pid=21882/tid=21934] ppid=21879 vsize=13995836 CPUtime=0.13 cores=0,2,4,6 /proc/21882/task/21934/stat : 21934 (java) S 21879 21882 19618 0 -1 1077944384 109 12584 0 0 4 1 5 3 20 0 15 0 44654824 14331736064 77980 18446744073709551615 4194304 4196468 140730688371168 139700165864208 139700567258837 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23031808 140730688378832 140730688381617 140730688381617 140730688384975 0 [pid=21882/tid=21935] ppid=21879 vsize=13995836 CPUtime=0.13 cores=0,2,4,6 /proc/21882/task/21935/stat : 21935 (java) S 21879 21882 19618 0 -1 1077944384 122 12584 0 0 4 1 5 3 20 0 15 0 44654824 14331736064 77980 18446744073709551615 4194304 4196468 140730688371168 139700164811920 139700567258837 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23031808 140730688378832 140730688381617 140730688381617 140730688384975 0 [pid=21882/tid=21936] ppid=21879 vsize=13995836 CPUtime=0.13 cores=0,2,4,6 /proc/21882/task/21936/stat : 21936 (java) S 21879 21882 19618 0 -1 1077944384 119 12584 0 0 4 1 5 3 20 0 15 0 44654824 14331736064 77980 18446744073709551615 4194304 4196468 140730688371168 139700163759120 139700567258837 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23031808 140730688378832 140730688381617 140730688381617 140730688384975 0 [pid=21882/tid=21937] ppid=21879 vsize=13995836 CPUtime=0.09 cores=0,2,4,6 /proc/21882/task/21937/stat : 21937 (java) S 21879 21882 19618 0 -1 1077944384 701 12584 0 0 1 0 5 3 20 0 15 0 44654825 14331736064 77980 18446744073709551615 4194304 4196468 140730688371168 139699483277424 139700567259778 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23031808 140730688378832 140730688381617 140730688381617 140730688384975 0 [pid=21882/tid=21938] ppid=21879 vsize=13995836 CPUtime=0.08 cores=0,2,4,6 /proc/21882/task/21938/stat : 21938 (java) S 21879 21882 19618 0 -1 1077944384 55 12584 0 0 0 0 5 3 20 0 15 0 44654826 14331736064 77980 18446744073709551615 4194304 4196468 140730688371168 139699482223456 139700567258837 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23031808 140730688378832 140730688381617 140730688381617 140730688384975 0 [pid=21882/tid=21939] ppid=21879 vsize=13995836 CPUtime=0.08 cores=0,2,4,6 /proc/21882/task/21939/stat : 21939 (java) S 21879 21882 19618 0 -1 1077944384 43 12584 0 0 0 0 5 3 20 0 15 0 44654826 14331736064 77980 18446744073709551615 4194304 4196468 140730688371168 139699481171072 139700567258837 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23031808 140730688378832 140730688381617 140730688381617 140730688384975 0 [pid=21882/tid=21940] ppid=21879 vsize=13995836 CPUtime=0.08 cores=0,2,4,6 /proc/21882/task/21940/stat : 21940 (java) S 21879 21882 19618 0 -1 1077944384 3 12584 0 0 0 0 5 3 20 0 15 0 44654829 14331736064 77980 18446744073709551615 4194304 4196468 140730688371168 139699480119376 139700567267227 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23031808 140730688378832 140730688381617 140730688381617 140730688384975 0 [pid=21882/tid=21941] ppid=21879 vsize=13995836 CPUtime=1.06 cores=0,2,4,6 /proc/21882/task/21941/stat : 21941 (java) R 21879 21882 19618 0 -1 4202560 1745 12584 0 0 98 0 5 3 20 0 15 0 44654829 14331736064 77980 18446744073709551615 4194304 4196468 140730688371168 139699479054480 139700548792849 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 23031808 140730688378832 140730688381617 140730688381617 140730688384975 0 [pid=21882/tid=21942] ppid=21879 vsize=13995836 CPUtime=1.28 cores=0,2,4,6 /proc/21882/task/21942/stat : 21942 (java) R 21879 21882 19618 0 -1 4202560 2569 12584 0 0 119 1 5 3 20 0 15 0 44654829 14331736064 77980 18446744073709551615 4194304 4196468 140730688371168 139699478000544 139700551151664 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 23031808 140730688378832 140730688381617 140730688381617 140730688384975 0 [pid=21882/tid=21943] ppid=21879 vsize=13995836 CPUtime=0.92 cores=0,2,4,6 /proc/21882/task/21943/stat : 21943 (java) S 21879 21882 19618 0 -1 1077944384 2774 12584 0 0 84 0 5 3 20 0 15 0 44654829 14331736064 77980 18446744073709551615 4194304 4196468 140730688371168 139699476962160 139700567259778 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23031808 140730688378832 140730688381617 140730688381617 140730688384975 0 [pid=21882/tid=21944] ppid=21879 vsize=13995836 CPUtime=0.08 cores=0,2,4,6 /proc/21882/task/21944/stat : 21944 (java) S 21879 21882 19618 0 -1 1077944384 3 12584 0 0 0 0 5 3 20 0 15 0 44654829 14331736064 77980 18446744073709551615 4194304 4196468 140730688371168 139699475909600 139700567258837 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23031808 140730688378832 140730688381617 140730688381617 140730688384975 0 [pid=21882/tid=21945] ppid=21879 vsize=13995836 CPUtime=0.08 cores=0,2,4,6 /proc/21882/task/21945/stat : 21945 (java) S 21879 21882 19618 0 -1 1077944384 3 12584 0 0 0 0 5 3 20 0 15 0 44654834 14331736064 77980 18446744073709551615 4194304 4196468 140730688371168 139699474856368 139700567259778 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23031808 140730688378832 140730688381617 140730688381617 140730688384975 0 Current children cumulated CPU time (s) 6.13 Current children cumulated vsize (KiB) 13995836 [startup+6.30076 s] /proc/loadavg: 1.42 1.43 1.37 4/194 21961 /proc/meminfo: memFree=30696208/32770624 swapFree=0/542520 [pid=21882] ppid=21879 vsize=13997884 CPUtime=14.36 cores=0,2,4,6 /proc/21882/stat : 21882 (java) S 21879 21882 19618 0 -1 1077944320 50816 12584 0 0 1380 48 5 3 20 0 15 0 44654801 14333833216 183362 18446744073709551615 4194304 4196468 140730688371168 140730688353712 139700567248631 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 8 0 0 6293624 6294260 23031808 140730688378832 140730688381617 140730688381617 140730688384975 0 /proc/21882/statm: 3499471 183362 3478 1 0 3488085 0 [pid=21882/tid=21932] ppid=21879 vsize=13997884 CPUtime=5.77 cores=0,2,4,6 /proc/21882/task/21932/stat : 21932 (java) R 21879 21882 19618 0 -1 4202560 26197 12584 0 0 557 12 5 3 20 0 15 0 44654823 14333833216 183362 18446744073709551615 4194304 4196468 140730688371168 139700571479680 139700204541403 0 4 1 16800974 0 0 0 -1 4 0 0 4 0 0 6293624 6294260 23031808 140730688378832 140730688381617 140730688381617 140730688384975 0 [pid=21882/tid=21933] ppid=21879 vsize=13997884 CPUtime=0.32 cores=0,2,4,6 /proc/21882/task/21933/stat : 21933 (java) S 21879 21882 19618 0 -1 1077944384 450 12584 0 0 17 7 5 3 20 0 15 0 44654824 14333833216 183362 18446744073709551615 4194304 4196468 140730688371168 139700524215184 139700567258837 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23031808 140730688378832 140730688381617 140730688381617 140730688384975 0 [pid=21882/tid=21934] ppid=21879 vsize=13997884 CPUtime=0.34 cores=0,2,4,6 /proc/21882/task/21934/stat : 21934 (java) S 21879 21882 19618 0 -1 1077944384 565 12584 0 0 19 7 5 3 20 0 15 0 44654824 14333833216 183362 18446744073709551615 4194304 4196468 140730688371168 139700165864208 139700567258837 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23031808 140730688378832 140730688381617 140730688381617 140730688384975 0 [pid=21882/tid=21935] ppid=21879 vsize=13997884 CPUtime=0.34 cores=0,2,4,6 /proc/21882/task/21935/stat : 21935 (java) S 21879 21882 19618 0 -1 1077944384 491 12584 0 0 19 7 5 3 20 0 15 0 44654824 14333833216 183362 18446744073709551615 4194304 4196468 140730688371168 139700164811920 139700567258837 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23031808 140730688378832 140730688381617 140730688381617 140730688384975 0 [pid=21882/tid=21936] ppid=21879 vsize=13997884 CPUtime=0.34 cores=0,2,4,6 /proc/21882/task/21936/stat : 21936 (java) S 21879 21882 19618 0 -1 1077944384 297 12584 0 0 19 7 5 3 20 0 15 0 44654824 14333833216 183362 18446744073709551615 4194304 4196468 140730688371168 139700163759120 139700567258837 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23031808 140730688378832 140730688381617 140730688381617 140730688384975 0 [pid=21882/tid=21937] ppid=21879 vsize=13997884 CPUtime=0.1 cores=0,2,4,6 /proc/21882/task/21937/stat : 21937 (java) S 21879 21882 19618 0 -1 1077944384 1095 12584 0 0 2 0 5 3 20 0 15 0 44654825 14333833216 183362 18446744073709551615 4194304 4196468 140730688371168 139699483277424 139700567259778 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23031808 140730688378832 140730688381617 140730688381617 140730688384975 0 [pid=21882/tid=21938] ppid=21879 vsize=13997884 CPUtime=0.08 cores=0,2,4,6 /proc/21882/task/21938/stat : 21938 (java) S 21879 21882 19618 0 -1 1077944384 55 12584 0 0 0 0 5 3 20 0 15 0 44654826 14333833216 183362 18446744073709551615 4194304 4196468 140730688371168 139699482223456 139700567258837 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23031808 140730688378832 140730688381617 140730688381617 140730688384975 0 [pid=21882/tid=21939] ppid=21879 vsize=13997884 CPUtime=0.08 cores=0,2,4,6 /proc/21882/task/21939/stat : 21939 (java) S 21879 21882 19618 0 -1 1077944384 44 12584 0 0 0 0 5 3 20 0 15 0 44654826 14333833216 183362 18446744073709551615 4194304 4196468 140730688371168 139699481171072 139700567258837 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23031808 140730688378832 140730688381617 140730688381617 140730688384975 0 [pid=21882/tid=21940] ppid=21879 vsize=13997884 CPUtime=0.08 cores=0,2,4,6 /proc/21882/task/21940/stat : 21940 (java) S 21879 21882 19618 0 -1 1077944384 3 12584 0 0 0 0 5 3 20 0 15 0 44654829 14333833216 183362 18446744073709551615 4194304 4196468 140730688371168 139699480119376 139700567267227 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23031808 140730688378832 140730688381617 140730688381617 140730688384975 0 [pid=21882/tid=21941] ppid=21879 vsize=13997884 CPUtime=3.17 cores=0,2,4,6 /proc/21882/task/21941/stat : 21941 (java) S 21879 21882 19618 0 -1 1077944384 5338 12584 0 0 308 1 5 3 20 0 15 0 44654829 14333833216 183362 18446744073709551615 4194304 4196468 140730688371168 139699479067248 139700567259778 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23031808 140730688378832 140730688381617 140730688381617 140730688384975 0 [pid=21882/tid=21942] ppid=21879 vsize=13997884 CPUtime=3.09 cores=0,2,4,6 /proc/21882/task/21942/stat : 21942 (java) S 21879 21882 19618 0 -1 1077944384 5191 12584 0 0 300 1 5 3 20 0 15 0 44654829 14333833216 183362 18446744073709551615 4194304 4196468 140730688371168 139699478014448 139700567259778 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23031808 140730688378832 140730688381617 140730688381617 140730688384975 0 [pid=21882/tid=21943] ppid=21879 vsize=13997884 CPUtime=1.43 cores=0,2,4,6 /proc/21882/task/21943/stat : 21943 (java) S 21879 21882 19618 0 -1 1077944384 8609 12584 0 0 133 2 5 3 20 0 15 0 44654829 14333833216 183362 18446744073709551615 4194304 4196468 140730688371168 139699476962160 139700567259778 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23031808 140730688378832 140730688381617 140730688381617 140730688384975 0 [pid=21882/tid=21944] ppid=21879 vsize=13997884 CPUtime=0.08 cores=0,2,4,6 /proc/21882/task/21944/stat : 21944 (java) S 21879 21882 19618 0 -1 1077944384 3 12584 0 0 0 0 5 3 20 0 15 0 44654829 14333833216 183362 18446744073709551615 4194304 4196468 140730688371168 139699475909600 139700567258837 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23031808 140730688378832 140730688381617 140730688381617 140730688384975 0 [pid=21882/tid=21945] ppid=21879 vsize=13997884 CPUtime=0.08 cores=0,2,4,6 /proc/21882/task/21945/stat : 21945 (java) S 21879 21882 19618 0 -1 1077944384 323 12584 0 0 0 0 5 3 20 0 15 0 44654834 14333833216 183362 18446744073709551615 4194304 4196468 140730688371168 139699474856368 139700567259778 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23031808 140730688378832 140730688381617 140730688381617 140730688384975 0 Current children cumulated CPU time (s) 14.36 Current children cumulated vsize (KiB) 13997884 [startup+12.7008 s] /proc/loadavg: 1.60 1.46 1.38 5/209 22073 /proc/meminfo: memFree=29360728/32770624 swapFree=0/542516 [pid=21882] ppid=21879 vsize=13997884 CPUtime=25.04 cores=0,2,4,6 /proc/21882/stat : 21882 (java) S 21879 21882 19618 0 -1 1077944320 61507 12584 0 0 2410 86 5 3 20 0 15 0 44654801 14333833216 451803 18446744073709551615 4194304 4196468 140730688371168 140730688353712 139700567248631 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 8 0 0 6293624 6294260 23031808 140730688378832 140730688381617 140730688381617 140730688384975 0 /proc/21882/statm: 3499471 451803 3479 1 0 3488085 0 [pid=21882/tid=21932] ppid=21879 vsize=13997884 CPUtime=11.92 cores=0,2,4,6 /proc/21882/task/21932/stat : 21932 (java) R 21879 21882 19618 0 -1 4202560 27567 12584 0 0 1160 24 5 3 20 0 15 0 44654823 14333833216 451803 18446744073709551615 4194304 4196468 140730688371168 139700571476560 139700214802880 0 4 1 16800974 0 0 0 -1 4 0 0 4 0 0 6293624 6294260 23031808 140730688378832 140730688381617 140730688381617 140730688384975 0 [pid=21882/tid=21933] ppid=21879 vsize=13997884 CPUtime=0.56 cores=0,2,4,6 /proc/21882/task/21933/stat : 21933 (java) S 21879 21882 19618 0 -1 1077944384 633 12584 0 0 35 13 5 3 20 0 15 0 44654824 14333833216 451803 18446744073709551615 4194304 4196468 140730688371168 139700524215184 139700567258837 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23031808 140730688378832 140730688381617 140730688381617 140730688384975 0 [pid=21882/tid=21934] ppid=21879 vsize=13997884 CPUtime=0.55 cores=0,2,4,6 /proc/21882/task/21934/stat : 21934 (java) S 21879 21882 19618 0 -1 1077944384 674 12584 0 0 35 12 5 3 20 0 15 0 44654824 14333833216 451803 18446744073709551615 4194304 4196468 140730688371168 139700165864208 139700567258837 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23031808 140730688378832 140730688381617 140730688381617 140730688384975 0 [pid=21882/tid=21935] ppid=21879 vsize=13997884 CPUtime=0.58 cores=0,2,4,6 /proc/21882/task/21935/stat : 21935 (java) S 21879 21882 19618 0 -1 1077944384 616 12584 0 0 37 13 5 3 20 0 15 0 44654824 14333833216 451803 18446744073709551615 4194304 4196468 140730688371168 139700164811920 139700567258837 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23031808 140730688378832 140730688381617 140730688381617 140730688384975 0 [pid=21882/tid=21936] ppid=21879 vsize=13997884 CPUtime=0.54 cores=0,2,4,6 /proc/21882/task/21936/stat : 21936 (java) S 21879 21882 19618 0 -1 1077944384 399 12584 0 0 34 12 5 3 20 0 15 0 44654824 14333833216 451803 18446744073709551615 4194304 4196468 140730688371168 139700163759120 139700567258837 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23031808 140730688378832 140730688381617 140730688381617 140730688384975 0 [pid=21882/tid=21937] ppid=21879 vsize=13997884 CPUtime=0.11 cores=0,2,4,6 /proc/21882/task/21937/stat : 21937 (java) S 21879 21882 19618 0 -1 1077944384 1565 12584 0 0 3 0 5 3 20 0 15 0 44654825 14333833216 451803 18446744073709551615 4194304 4196468 140730688371168 139699483277424 139700567259778 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23031808 140730688378832 140730688381617 140730688381617 140730688384975 0 [pid=21882/tid=21938] ppid=21879 vsize=13997884 CPUtime=0.08 cores=0,2,4,6 /proc/21882/task/21938/stat : 21938 (java) S 21879 21882 19618 0 -1 1077944384 55 12584 0 0 0 0 5 3 20 0 15 0 44654826 14333833216 451803 18446744073709551615 4194304 4196468 140730688371168 139699482223456 139700567258837 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23031808 140730688378832 140730688381617 140730688381617 140730688384975 0 [pid=21882/tid=21939] ppid=21879 vsize=13997884 CPUtime=0.08 cores=0,2,4,6 /proc/21882/task/21939/stat : 21939 (java) S 21879 21882 19618 0 -1 1077944384 44 12584 0 0 0 0 5 3 20 0 15 0 44654826 14333833216 451803 18446744073709551615 4194304 4196468 140730688371168 139699481171072 139700567258837 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23031808 140730688378832 140730688381617 140730688381617 140730688384975 0 [pid=21882/tid=21940] ppid=21879 vsize=13997884 CPUtime=0.08 cores=0,2,4,6 /proc/21882/task/21940/stat : 21940 (java) S 21879 21882 19618 0 -1 1077944384 3 12584 0 0 0 0 5 3 20 0 15 0 44654829 14333833216 451803 18446744073709551615 4194304 4196468 140730688371168 139699480119376 139700567267227 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23031808 140730688378832 140730688381617 140730688381617 140730688384975 0 ################ # More data... # ################ /proc/21882/task/21944/stat : 21944 (java) S 21879 21882 19618 0 -1 1077944384 3 12584 0 0 0 0 5 3 20 0 15 0 44654829 14405136384 696280 18446744073709551615 4194304 4196468 140730688371168 139699475909600 139700567258837 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23031808 140730688378832 140730688381617 140730688381617 140730688384975 0 [pid=21882/tid=21945] ppid=21879 vsize=14067516 CPUtime=1.45 cores=0,2,4,6 /proc/21882/task/21945/stat : 21945 (java) S 21879 21882 19618 0 -1 1077944384 2966 12584 0 0 67 70 5 3 20 0 15 0 44654834 14405136384 696280 18446744073709551615 4194304 4196468 140730688371168 139699474856368 139700567259778 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23031808 140730688378832 140730688381617 140730688381617 140730688384975 0 Current children cumulated CPU time (s) 2363.27 Current children cumulated vsize (KiB) 14067516 [startup+2382.3 s] /proc/loadavg: 1.36 1.43 1.42 3/209 22236 /proc/meminfo: memFree=27646520/32770624 swapFree=0/543048 [pid=21882] ppid=21879 vsize=14067516 CPUtime=2423.9 cores=0,2,4,6 /proc/21882/stat : 21882 (java) S 21879 21882 19618 0 -1 1077944320 436312 12584 0 0 242135 247 5 3 20 0 15 0 44654801 14405136384 696303 18446744073709551615 4194304 4196468 140730688371168 140730688353712 139700567248631 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 8 0 0 6293624 6294260 23031808 140730688378832 140730688381617 140730688381617 140730688384975 0 /proc/21882/statm: 3516879 696303 3498 1 0 3505493 0 [pid=21882/tid=21932] ppid=21879 vsize=14067516 CPUtime=2372.58 cores=0,2,4,6 /proc/21882/task/21932/stat : 21932 (java) R 21879 21882 19618 0 -1 4202560 143438 12584 0 0 237178 72 5 3 20 0 15 0 44654823 14405136384 696303 18446744073709551615 4194304 4196468 140730688371168 139700571482608 139700206737772 0 4 1 16800974 0 0 0 -1 2 0 0 4 0 0 6293624 6294260 23031808 140730688378832 140730688381617 140730688381617 140730688384975 0 [pid=21882/tid=21933] ppid=21879 vsize=14067516 CPUtime=6.95 cores=0,2,4,6 /proc/21882/task/21933/stat : 21933 (java) S 21879 21882 19618 0 -1 1077944384 24869 12584 0 0 664 23 5 3 20 0 15 0 44654824 14405136384 696303 18446744073709551615 4194304 4196468 140730688371168 139700524215184 139700567258837 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23031808 140730688378832 140730688381617 140730688381617 140730688384975 0 [pid=21882/tid=21934] ppid=21879 vsize=14067516 CPUtime=6.96 cores=0,2,4,6 /proc/21882/task/21934/stat : 21934 (java) S 21879 21882 19618 0 -1 1077944384 28825 12584 0 0 666 22 5 3 20 0 15 0 44654824 14405136384 696303 18446744073709551615 4194304 4196468 140730688371168 139700165864208 139700567258837 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23031808 140730688378832 140730688381617 140730688381617 140730688384975 0 [pid=21882/tid=21935] ppid=21879 vsize=14067516 CPUtime=7 cores=0,2,4,6 /proc/21882/task/21935/stat : 21935 (java) S 21879 21882 19618 0 -1 1077944384 28685 12584 0 0 668 24 5 3 20 0 15 0 44654824 14405136384 696303 18446744073709551615 4194304 4196468 140730688371168 139700164811920 139700567258837 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23031808 140730688378832 140730688381617 140730688381617 140730688384975 0 [pid=21882/tid=21936] ppid=21879 vsize=14067516 CPUtime=6.98 cores=0,2,4,6 /proc/21882/task/21936/stat : 21936 (java) S 21879 21882 19618 0 -1 1077944384 32315 12584 0 0 669 21 5 3 20 0 15 0 44654824 14405136384 696303 18446744073709551615 4194304 4196468 140730688371168 139700163759120 139700567258837 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23031808 140730688378832 140730688381617 140730688381617 140730688384975 0 [pid=21882/tid=21937] ppid=21879 vsize=14067516 CPUtime=1.72 cores=0,2,4,6 /proc/21882/task/21937/stat : 21937 (java) S 21879 21882 19618 0 -1 1077944384 29570 12584 0 0 148 16 5 3 20 0 15 0 44654825 14405136384 696303 18446744073709551615 4194304 4196468 140730688371168 139699483277424 139700567259778 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23031808 140730688378832 140730688381617 140730688381617 140730688384975 0 [pid=21882/tid=21938] ppid=21879 vsize=14067516 CPUtime=0.08 cores=0,2,4,6 /proc/21882/task/21938/stat : 21938 (java) S 21879 21882 19618 0 -1 1077944384 98 12584 0 0 0 0 5 3 20 0 15 0 44654826 14405136384 696303 18446744073709551615 4194304 4196468 140730688371168 139699482223520 139700567258837 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23031808 140730688378832 140730688381617 140730688381617 140730688384975 0 [pid=21882/tid=21939] ppid=21879 vsize=14067516 CPUtime=0.08 cores=0,2,4,6 /proc/21882/task/21939/stat : 21939 (java) S 21879 21882 19618 0 -1 1077944384 68 12584 0 0 0 0 5 3 20 0 15 0 44654826 14405136384 696303 18446744073709551615 4194304 4196468 140730688371168 139699481171072 139700567258837 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23031808 140730688378832 140730688381617 140730688381617 140730688384975 0 [pid=21882/tid=21940] ppid=21879 vsize=14067516 CPUtime=0.08 cores=0,2,4,6 /proc/21882/task/21940/stat : 21940 (java) S 21879 21882 19618 0 -1 1077944384 3 12584 0 0 0 0 5 3 20 0 15 0 44654829 14405136384 696303 18446744073709551615 4194304 4196468 140730688371168 139699480119376 139700567267227 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23031808 140730688378832 140730688381617 140730688381617 140730688384975 0 [pid=21882/tid=21941] ppid=21879 vsize=14067516 CPUtime=9.1 cores=0,2,4,6 /proc/21882/task/21941/stat : 21941 (java) S 21879 21882 19618 0 -1 1077944384 45398 12584 0 0 898 4 5 3 20 0 15 0 44654829 14405136384 696303 18446744073709551615 4194304 4196468 140730688371168 139699479067248 139700567259778 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23031808 140730688378832 140730688381617 140730688381617 140730688384975 0 [pid=21882/tid=21942] ppid=21879 vsize=14067516 CPUtime=8.98 cores=0,2,4,6 /proc/21882/task/21942/stat : 21942 (java) S 21879 21882 19618 0 -1 1077944384 47316 12584 0 0 882 8 5 3 20 0 15 0 44654829 14405136384 696303 18446744073709551615 4194304 4196468 140730688371168 139699478014448 139700567259778 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23031808 140730688378832 140730688381617 140730688381617 140730688384975 0 [pid=21882/tid=21943] ppid=21879 vsize=14067516 CPUtime=2.76 cores=0,2,4,6 /proc/21882/task/21943/stat : 21943 (java) S 21879 21882 19618 0 -1 1077944384 50559 12584 0 0 261 7 5 3 20 0 15 0 44654829 14405136384 696303 18446744073709551615 4194304 4196468 140730688371168 139699476962160 139700567259778 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23031808 140730688378832 140730688381617 140730688381617 140730688384975 0 [pid=21882/tid=21944] ppid=21879 vsize=14067516 CPUtime=0.08 cores=0,2,4,6 /proc/21882/task/21944/stat : 21944 (java) S 21879 21882 19618 0 -1 1077944384 3 12584 0 0 0 0 5 3 20 0 15 0 44654829 14405136384 696303 18446744073709551615 4194304 4196468 140730688371168 139699475909600 139700567258837 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23031808 140730688378832 140730688381617 140730688381617 140730688384975 0 [pid=21882/tid=21945] ppid=21879 vsize=14067516 CPUtime=1.49 cores=0,2,4,6 /proc/21882/task/21945/stat : 21945 (java) S 21879 21882 19618 0 -1 1077944384 3010 12584 0 0 69 72 5 3 20 0 15 0 44654834 14405136384 696303 18446744073709551615 4194304 4196468 140730688371168 139699474856368 139700567259778 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23031808 140730688378832 140730688381617 140730688381617 140730688384975 0 Current children cumulated CPU time (s) 2423.9 Current children cumulated vsize (KiB) 14067516 [startup+2442.3 s] /proc/loadavg: 1.46 1.45 1.42 3/209 22238 /proc/meminfo: memFree=27652540/32770624 swapFree=0/543060 [pid=21882] ppid=21879 vsize=14067516 CPUtime=2484.5 cores=0,2,4,6 /proc/21882/stat : 21882 (java) S 21879 21882 19618 0 -1 1077944320 438616 12584 0 0 248192 250 5 3 20 0 15 0 44654801 14405136384 696319 18446744073709551615 4194304 4196468 140730688371168 140730688353712 139700567248631 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 8 0 0 6293624 6294260 23031808 140730688378832 140730688381617 140730688381617 140730688384975 0 /proc/21882/statm: 3516879 696319 3498 1 0 3505493 0 [pid=21882/tid=21932] ppid=21879 vsize=14067516 CPUtime=2432.28 cores=0,2,4,6 /proc/21882/task/21932/stat : 21932 (java) R 21879 21882 19618 0 -1 4202560 144153 12584 0 0 243148 72 5 3 20 0 15 0 44654823 14405136384 696319 18446744073709551615 4194304 4196468 140730688371168 139700571482400 139700206809027 0 4 1 16800974 0 0 0 -1 2 0 0 4 0 0 6293624 6294260 23031808 140730688378832 140730688381617 140730688381617 140730688384975 0 [pid=21882/tid=21933] ppid=21879 vsize=14067516 CPUtime=7.16 cores=0,2,4,6 /proc/21882/task/21933/stat : 21933 (java) S 21879 21882 19618 0 -1 1077944384 25269 12584 0 0 684 24 5 3 20 0 15 0 44654824 14405136384 696319 18446744073709551615 4194304 4196468 140730688371168 139700524215184 139700567258837 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23031808 140730688378832 140730688381617 140730688381617 140730688384975 0 [pid=21882/tid=21934] ppid=21879 vsize=14067516 CPUtime=7.16 cores=0,2,4,6 /proc/21882/task/21934/stat : 21934 (java) S 21879 21882 19618 0 -1 1077944384 28936 12584 0 0 686 22 5 3 20 0 15 0 44654824 14405136384 696319 18446744073709551615 4194304 4196468 140730688371168 139700165864208 139700567258837 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23031808 140730688378832 140730688381617 140730688381617 140730688384975 0 [pid=21882/tid=21935] ppid=21879 vsize=14067516 CPUtime=7.2 cores=0,2,4,6 /proc/21882/task/21935/stat : 21935 (java) S 21879 21882 19618 0 -1 1077944384 28930 12584 0 0 688 24 5 3 20 0 15 0 44654824 14405136384 696319 18446744073709551615 4194304 4196468 140730688371168 139700164811920 139700567258837 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23031808 140730688378832 140730688381617 140730688381617 140730688384975 0 [pid=21882/tid=21936] ppid=21879 vsize=14067516 CPUtime=7.18 cores=0,2,4,6 /proc/21882/task/21936/stat : 21936 (java) S 21879 21882 19618 0 -1 1077944384 32684 12584 0 0 689 21 5 3 20 0 15 0 44654824 14405136384 696319 18446744073709551615 4194304 4196468 140730688371168 139700163759120 139700567258837 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23031808 140730688378832 140730688381617 140730688381617 140730688384975 0 [pid=21882/tid=21937] ppid=21879 vsize=14067516 CPUtime=1.77 cores=0,2,4,6 /proc/21882/task/21937/stat : 21937 (java) S 21879 21882 19618 0 -1 1077944384 29979 12584 0 0 153 16 5 3 20 0 15 0 44654825 14405136384 696319 18446744073709551615 4194304 4196468 140730688371168 139699483277424 139700567259778 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23031808 140730688378832 140730688381617 140730688381617 140730688384975 0 [pid=21882/tid=21938] ppid=21879 vsize=14067516 CPUtime=0.08 cores=0,2,4,6 /proc/21882/task/21938/stat : 21938 (java) S 21879 21882 19618 0 -1 1077944384 98 12584 0 0 0 0 5 3 20 0 15 0 44654826 14405136384 696319 18446744073709551615 4194304 4196468 140730688371168 139699482223520 139700567258837 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23031808 140730688378832 140730688381617 140730688381617 140730688384975 0 [pid=21882/tid=21939] ppid=21879 vsize=14067516 CPUtime=0.08 cores=0,2,4,6 /proc/21882/task/21939/stat : 21939 (java) S 21879 21882 19618 0 -1 1077944384 68 12584 0 0 0 0 5 3 20 0 15 0 44654826 14405136384 696319 18446744073709551615 4194304 4196468 140730688371168 139699481171072 139700567258837 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23031808 140730688378832 140730688381617 140730688381617 140730688384975 0 [pid=21882/tid=21940] ppid=21879 vsize=14067516 CPUtime=0.08 cores=0,2,4,6 /proc/21882/task/21940/stat : 21940 (java) S 21879 21882 19618 0 -1 1077944384 3 12584 0 0 0 0 5 3 20 0 15 0 44654829 14405136384 696319 18446744073709551615 4194304 4196468 140730688371168 139699480119376 139700567267227 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23031808 140730688378832 140730688381617 140730688381617 140730688384975 0 [pid=21882/tid=21941] ppid=21879 vsize=14067516 CPUtime=9.1 cores=0,2,4,6 /proc/21882/task/21941/stat : 21941 (java) S 21879 21882 19618 0 -1 1077944384 45402 12584 0 0 898 4 5 3 20 0 15 0 44654829 14405136384 696319 18446744073709551615 4194304 4196468 140730688371168 139699479067248 139700567259778 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23031808 140730688378832 140730688381617 140730688381617 140730688384975 0 [pid=21882/tid=21942] ppid=21879 vsize=14067516 CPUtime=8.98 cores=0,2,4,6 /proc/21882/task/21942/stat : 21942 (java) S 21879 21882 19618 0 -1 1077944384 47320 12584 0 0 882 8 5 3 20 0 15 0 44654829 14405136384 696319 18446744073709551615 4194304 4196468 140730688371168 139699478014448 139700567259778 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23031808 140730688378832 140730688381617 140730688381617 140730688384975 0 [pid=21882/tid=21943] ppid=21879 vsize=14067516 CPUtime=2.76 cores=0,2,4,6 /proc/21882/task/21943/stat : 21943 (java) S 21879 21882 19618 0 -1 1077944384 50563 12584 0 0 261 7 5 3 20 0 15 0 44654829 14405136384 696319 18446744073709551615 4194304 4196468 140730688371168 139699476962160 139700567259778 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23031808 140730688378832 140730688381617 140730688381617 140730688384975 0 [pid=21882/tid=21944] ppid=21879 vsize=14067516 CPUtime=0.08 cores=0,2,4,6 /proc/21882/task/21944/stat : 21944 (java) S 21879 21882 19618 0 -1 1077944384 3 12584 0 0 0 0 5 3 20 0 15 0 44654829 14405136384 696319 18446744073709551615 4194304 4196468 140730688371168 139699475909600 139700567258837 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23031808 140730688378832 140730688381617 140730688381617 140730688384975 0 [pid=21882/tid=21945] ppid=21879 vsize=14067516 CPUtime=1.52 cores=0,2,4,6 /proc/21882/task/21945/stat : 21945 (java) R 21879 21882 19618 0 -1 1077944384 3053 12584 0 0 70 74 5 3 20 0 15 0 44654834 14405136384 696319 18446744073709551615 4194304 4196468 140730688371168 139699474856368 139700567259778 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 23031808 140730688378832 140730688381617 140730688381617 140730688384975 0 Current children cumulated CPU time (s) 2484.5 Current children cumulated vsize (KiB) 14067516 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+2477.5 s] /proc/loadavg: 1.35 1.43 1.42 3/209 22240 /proc/meminfo: memFree=27652340/32770624 swapFree=0/543072 [pid=21882] ppid=21879 vsize=14067516 CPUtime=2520.07 cores=0,2,4,6 /proc/21882/stat : 21882 (java) S 21879 21882 19618 0 -1 1077944320 439878 12584 0 0 251747 252 5 3 20 0 15 0 44654801 14405136384 696331 18446744073709551615 4194304 4196468 140730688371168 140730688353712 139700567248631 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 8 0 0 6293624 6294260 23031808 140730688378832 140730688381617 140730688381617 140730688384975 0 /proc/21882/statm: 3516879 696331 3498 1 0 3505493 0 [pid=21882/tid=21932] ppid=21879 vsize=14067516 CPUtime=2467.31 cores=0,2,4,6 /proc/21882/task/21932/stat : 21932 (java) R 21879 21882 19618 0 -1 4202560 144652 12584 0 0 246651 72 5 3 20 0 15 0 44654823 14405136384 696331 18446744073709551615 4194304 4196468 140730688371168 139700571482720 139700219981818 0 4 1 16800974 0 0 0 -1 2 0 0 4 0 0 6293624 6294260 23031808 140730688378832 140730688381617 140730688381617 140730688384975 0 [pid=21882/tid=21933] ppid=21879 vsize=14067516 CPUtime=7.28 cores=0,2,4,6 /proc/21882/task/21933/stat : 21933 (java) S 21879 21882 19618 0 -1 1077944384 25305 12584 0 0 696 24 5 3 20 0 15 0 44654824 14405136384 696331 18446744073709551615 4194304 4196468 140730688371168 139700524215184 139700567258837 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23031808 140730688378832 140730688381617 140730688381617 140730688384975 0 [pid=21882/tid=21934] ppid=21879 vsize=14067516 CPUtime=7.28 cores=0,2,4,6 /proc/21882/task/21934/stat : 21934 (java) S 21879 21882 19618 0 -1 1077944384 29028 12584 0 0 698 22 5 3 20 0 15 0 44654824 14405136384 696331 18446744073709551615 4194304 4196468 140730688371168 139700165864208 139700567258837 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23031808 140730688378832 140730688381617 140730688381617 140730688384975 0 [pid=21882/tid=21935] ppid=21879 vsize=14067516 CPUtime=7.32 cores=0,2,4,6 /proc/21882/task/21935/stat : 21935 (java) S 21879 21882 19618 0 -1 1077944384 29223 12584 0 0 700 24 5 3 20 0 15 0 44654824 14405136384 696331 18446744073709551615 4194304 4196468 140730688371168 139700164811920 139700567258837 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23031808 140730688378832 140730688381617 140730688381617 140730688384975 0 [pid=21882/tid=21936] ppid=21879 vsize=14067516 CPUtime=7.3 cores=0,2,4,6 /proc/21882/task/21936/stat : 21936 (java) S 21879 21882 19618 0 -1 1077944384 32783 12584 0 0 701 21 5 3 20 0 15 0 44654824 14405136384 696331 18446744073709551615 4194304 4196468 140730688371168 139700163759120 139700567258837 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23031808 140730688378832 140730688381617 140730688381617 140730688384975 0 [pid=21882/tid=21937] ppid=21879 vsize=14067516 CPUtime=1.8 cores=0,2,4,6 /proc/21882/task/21937/stat : 21937 (java) S 21879 21882 19618 0 -1 1077944384 30184 12584 0 0 156 16 5 3 20 0 15 0 44654825 14405136384 696331 18446744073709551615 4194304 4196468 140730688371168 139699483277424 139700567259778 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23031808 140730688378832 140730688381617 140730688381617 140730688384975 0 [pid=21882/tid=21938] ppid=21879 vsize=14067516 CPUtime=0.08 cores=0,2,4,6 /proc/21882/task/21938/stat : 21938 (java) S 21879 21882 19618 0 -1 1077944384 98 12584 0 0 0 0 5 3 20 0 15 0 44654826 14405136384 696331 18446744073709551615 4194304 4196468 140730688371168 139699482223520 139700567258837 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23031808 140730688378832 140730688381617 140730688381617 140730688384975 0 [pid=21882/tid=21939] ppid=21879 vsize=14067516 CPUtime=0.08 cores=0,2,4,6 /proc/21882/task/21939/stat : 21939 (java) S 21879 21882 19618 0 -1 1077944384 68 12584 0 0 0 0 5 3 20 0 15 0 44654826 14405136384 696331 18446744073709551615 4194304 4196468 140730688371168 139699481171072 139700567258837 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23031808 140730688378832 140730688381617 140730688381617 140730688384975 0 [pid=21882/tid=21940] ppid=21879 vsize=14067516 CPUtime=0.08 cores=0,2,4,6 /proc/21882/task/21940/stat : 21940 (java) S 21879 21882 19618 0 -1 1077944384 3 12584 0 0 0 0 5 3 20 0 15 0 44654829 14405136384 696331 18446744073709551615 4194304 4196468 140730688371168 139699480119376 139700567267227 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23031808 140730688378832 140730688381617 140730688381617 140730688384975 0 [pid=21882/tid=21941] ppid=21879 vsize=14067516 CPUtime=9.11 cores=0,2,4,6 /proc/21882/task/21941/stat : 21941 (java) S 21879 21882 19618 0 -1 1077944384 45404 12584 0 0 898 5 5 3 20 0 15 0 44654829 14405136384 696331 18446744073709551615 4194304 4196468 140730688371168 139699479067248 139700567259778 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23031808 140730688378832 140730688381617 140730688381617 140730688384975 0 [pid=21882/tid=21942] ppid=21879 vsize=14067516 CPUtime=8.98 cores=0,2,4,6 /proc/21882/task/21942/stat : 21942 (java) S 21879 21882 19618 0 -1 1077944384 47322 12584 0 0 882 8 5 3 20 0 15 0 44654829 14405136384 696331 18446744073709551615 4194304 4196468 140730688371168 139699478014448 139700567259778 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23031808 140730688378832 140730688381617 140730688381617 140730688384975 0 [pid=21882/tid=21943] ppid=21879 vsize=14067516 CPUtime=2.76 cores=0,2,4,6 /proc/21882/task/21943/stat : 21943 (java) S 21879 21882 19618 0 -1 1077944384 50565 12584 0 0 261 7 5 3 20 0 15 0 44654829 14405136384 696331 18446744073709551615 4194304 4196468 140730688371168 139699476962160 139700567259778 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23031808 140730688378832 140730688381617 140730688381617 140730688384975 0 [pid=21882/tid=21944] ppid=21879 vsize=14067516 CPUtime=0.08 cores=0,2,4,6 /proc/21882/task/21944/stat : 21944 (java) S 21879 21882 19618 0 -1 1077944384 3 12584 0 0 0 0 5 3 20 0 15 0 44654829 14405136384 696331 18446744073709551615 4194304 4196468 140730688371168 139699475909600 139700567258837 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23031808 140730688378832 140730688381617 140730688381617 140730688384975 0 [pid=21882/tid=21945] ppid=21879 vsize=14067516 CPUtime=1.54 cores=0,2,4,6 /proc/21882/task/21945/stat : 21945 (java) S 21879 21882 19618 0 -1 1077944384 3085 12584 0 0 71 75 5 3 20 0 15 0 44654834 14405136384 696331 18446744073709551615 4194304 4196468 140730688371168 139699474856368 139700567259778 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23031808 140730688378832 140730688381617 140730688381617 140730688384975 0 Current children cumulated CPU time (s) 2520.07 Current children cumulated vsize (KiB) 14067516 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 21882 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+2477.5 s] /proc/loadavg: 1.35 1.43 1.42 3/209 22240 /proc/meminfo: memFree=27652340/32770624 swapFree=0/543072 [pid=21882] ppid=21879 vsize=14067516 CPUtime=2520.07 cores=0,2,4,6 /proc/21882/stat : 21882 (java) S 21879 21882 19618 0 -1 1077944320 439878 12584 0 0 251747 252 5 3 20 0 15 0 44654801 14405136384 696331 18446744073709551615 4194304 4196468 140730688371168 140730688353712 139700567248631 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 8 0 0 6293624 6294260 23031808 140730688378832 140730688381617 140730688381617 140730688384975 0 /proc/21882/statm: 3516879 696331 3498 1 0 3505493 0 [pid=21882/tid=21932] ppid=21879 vsize=14067516 CPUtime=2467.31 cores=0,2,4,6 /proc/21882/task/21932/stat : 21932 (java) R 21879 21882 19618 0 -1 4202560 144652 12584 0 0 246651 72 5 3 20 0 15 0 44654823 14405136384 696331 18446744073709551615 4194304 4196468 140730688371168 139700571482720 139700219981818 0 4 1 16800974 0 0 0 -1 2 0 0 4 0 0 6293624 6294260 23031808 140730688378832 140730688381617 140730688381617 140730688384975 0 [pid=21882/tid=21933] ppid=21879 vsize=14067516 CPUtime=7.28 cores=0,2,4,6 /proc/21882/task/21933/stat : 21933 (java) S 21879 21882 19618 0 -1 1077944384 25305 12584 0 0 696 24 5 3 20 0 15 0 44654824 14405136384 696331 18446744073709551615 4194304 4196468 140730688371168 139700524215184 139700567258837 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23031808 140730688378832 140730688381617 140730688381617 140730688384975 0 [pid=21882/tid=21934] ppid=21879 vsize=14067516 CPUtime=7.28 cores=0,2,4,6 /proc/21882/task/21934/stat : 21934 (java) S 21879 21882 19618 0 -1 1077944384 29028 12584 0 0 698 22 5 3 20 0 15 0 44654824 14405136384 696331 18446744073709551615 4194304 4196468 140730688371168 139700165864208 139700567258837 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23031808 140730688378832 140730688381617 140730688381617 140730688384975 0 [pid=21882/tid=21935] ppid=21879 vsize=14067516 CPUtime=7.32 cores=0,2,4,6 /proc/21882/task/21935/stat : 21935 (java) S 21879 21882 19618 0 -1 1077944384 29223 12584 0 0 700 24 5 3 20 0 15 0 44654824 14405136384 696331 18446744073709551615 4194304 4196468 140730688371168 139700164811920 139700567258837 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23031808 140730688378832 140730688381617 140730688381617 140730688384975 0 [pid=21882/tid=21936] ppid=21879 vsize=14067516 CPUtime=7.3 cores=0,2,4,6 /proc/21882/task/21936/stat : 21936 (java) S 21879 21882 19618 0 -1 1077944384 32783 12584 0 0 701 21 5 3 20 0 15 0 44654824 14405136384 696331 18446744073709551615 4194304 4196468 140730688371168 139700163759120 139700567258837 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23031808 140730688378832 140730688381617 140730688381617 140730688384975 0 [pid=21882/tid=21937] ppid=21879 vsize=14067516 CPUtime=1.8 cores=0,2,4,6 /proc/21882/task/21937/stat : 21937 (java) S 21879 21882 19618 0 -1 1077944384 30184 12584 0 0 156 16 5 3 20 0 15 0 44654825 14405136384 696331 18446744073709551615 4194304 4196468 140730688371168 139699483277424 139700567259778 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23031808 140730688378832 140730688381617 140730688381617 140730688384975 0 [pid=21882/tid=21938] ppid=21879 vsize=14067516 CPUtime=0.08 cores=0,2,4,6 /proc/21882/task/21938/stat : 21938 (java) S 21879 21882 19618 0 -1 1077944384 98 12584 0 0 0 0 5 3 20 0 15 0 44654826 14405136384 696331 18446744073709551615 4194304 4196468 140730688371168 139699482223520 139700567258837 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23031808 140730688378832 140730688381617 140730688381617 140730688384975 0 [pid=21882/tid=21939] ppid=21879 vsize=14067516 CPUtime=0.08 cores=0,2,4,6 /proc/21882/task/21939/stat : 21939 (java) S 21879 21882 19618 0 -1 1077944384 68 12584 0 0 0 0 5 3 20 0 15 0 44654826 14405136384 696331 18446744073709551615 4194304 4196468 140730688371168 139699481171072 139700567258837 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23031808 140730688378832 140730688381617 140730688381617 140730688384975 0 [pid=21882/tid=21940] ppid=21879 vsize=14067516 CPUtime=0.08 cores=0,2,4,6 /proc/21882/task/21940/stat : 21940 (java) S 21879 21882 19618 0 -1 1077944384 3 12584 0 0 0 0 5 3 20 0 15 0 44654829 14405136384 696331 18446744073709551615 4194304 4196468 140730688371168 139699480119376 139700567267227 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23031808 140730688378832 140730688381617 140730688381617 140730688384975 0 [pid=21882/tid=21941] ppid=21879 vsize=14067516 CPUtime=9.11 cores=0,2,4,6 /proc/21882/task/21941/stat : 21941 (java) S 21879 21882 19618 0 -1 1077944384 45404 12584 0 0 898 5 5 3 20 0 15 0 44654829 14405136384 696331 18446744073709551615 4194304 4196468 140730688371168 139699479067248 139700567259778 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23031808 140730688378832 140730688381617 140730688381617 140730688384975 0 [pid=21882/tid=21942] ppid=21879 vsize=14067516 CPUtime=8.98 cores=0,2,4,6 /proc/21882/task/21942/stat : 21942 (java) S 21879 21882 19618 0 -1 1077944384 47322 12584 0 0 882 8 5 3 20 0 15 0 44654829 14405136384 696331 18446744073709551615 4194304 4196468 140730688371168 139699478014448 139700567259778 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23031808 140730688378832 140730688381617 140730688381617 140730688384975 0 [pid=21882/tid=21943] ppid=21879 vsize=14067516 CPUtime=2.76 cores=0,2,4,6 /proc/21882/task/21943/stat : 21943 (java) S 21879 21882 19618 0 -1 1077944384 50565 12584 0 0 261 7 5 3 20 0 15 0 44654829 14405136384 696331 18446744073709551615 4194304 4196468 140730688371168 139699476962160 139700567259778 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23031808 140730688378832 140730688381617 140730688381617 140730688384975 0 [pid=21882/tid=21944] ppid=21879 vsize=14067516 CPUtime=0.08 cores=0,2,4,6 /proc/21882/task/21944/stat : 21944 (java) S 21879 21882 19618 0 -1 1077944384 3 12584 0 0 0 0 5 3 20 0 15 0 44654829 14405136384 696331 18446744073709551615 4194304 4196468 140730688371168 139699475909600 139700567258837 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23031808 140730688378832 140730688381617 140730688381617 140730688384975 0 [pid=21882/tid=21945] ppid=21879 vsize=14067516 CPUtime=1.54 cores=0,2,4,6 /proc/21882/task/21945/stat : 21945 (java) S 21879 21882 19618 0 -1 1077944384 3085 12584 0 0 71 75 5 3 20 0 15 0 44654834 14405136384 696331 18446744073709551615 4194304 4196468 140730688371168 139699474856368 139700567259778 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23031808 140730688378832 140730688381617 140730688381617 140730688384975 0 Current children cumulated CPU time (s) 2520.07 Current children cumulated vsize (KiB) 14067516 Child status: 143 Real time (s): 2477.53 CPU time (s): 2520.12 CPU user time (s): 2517.55 CPU system time (s): 2.57555 CPU usage (%): 101.719 Max. virtual memory (cumulated for all children) (KiB): 14070052 getrusage(RUSAGE_CHILDREN,...) data: user time used= 2517.55 system time used= 2.57556 maximum resident set size= 3978612 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 453343 page faults= 0 swaps= 0 block input operations= 0 block output operations= 3016 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 93201 involuntary context switches= 4394 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 11.2247 second user time and 15.2813 second system time The end
Begin job on node127 at 2017-08-11 05:56:06 IDJOB=4261961 IDBENCH=120601 IDSOLVER=2650 FILE ID=node127/4261961-1502424613 RUNJOBID= node127-1502411410-19681 PBS_JOBID= Free space on /tmp= 62004 MiB SOLVER NAME= Concrete 3.4 BENCH NAME= XCSP17/GraphColoring/GraphColoring-m1-mono/GraphColoring-dsjc-500-5.xml COMMAND LINE= bin/concrete BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4261961-1502424613/watcher-4261961-1502424613 -o /tmp/evaluation-result-4261961-1502424613/solver-4261961-1502424613 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node127-1502411410-19681 --watchdog 2580 bin/concrete HOME/instance-4261961-1502424613.xml TIME LIMIT= 2520 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 3c0366ff4baa9e19aea1ffc9dac5e4aa RANDOM SEED=1202728356 node127.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.92 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.92 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.92 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.92 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: 30438732 kB MemAvailable: 31214120 kB Buffers: 242288 kB Cached: 823956 kB SwapCached: 0 kB Active: 1342956 kB Inactive: 567448 kB Active(anon): 844452 kB Inactive(anon): 24908 kB Active(file): 498504 kB Inactive(file): 542540 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 26344 kB Writeback: 0 kB AnonPages: 844156 kB Mapped: 54020 kB Shmem: 25252 kB Slab: 125512 kB SReclaimable: 100360 kB SUnreclaim: 25152 kB KernelStack: 3408 kB PageTables: 6808 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 1693400 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 749568 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 118144 kB DirectMap2M: 33427456 kB Free space on /tmp at the end= 61980 MiB End job on node127 at 2017-08-11 06:37:24