2019 XCSP3 competition: main track (CSP and COP, sequential and parallel solvers) competition: execution trace

Solver Name	Answer	objective function	CPU time	Wall clock time
Concrete 3.10	SAT (TO)	1058	2520.12	2445.73

0.66/0.59	c Concrete v3.10.1560635388952 running
1453.92/1402.90	o 1058
2520.07/2445.70	Exception in thread "main" java.util.concurrent.TimeoutException: Timeout while computing best cost
2520.07/2445.70		at concrete.heuristic.value.BestCost.checkValue$1(BestCost.scala:28)
2520.07/2445.70		at concrete.heuristic.value.BestCost.$anonfun$select$2(BestCost.scala:57)
2520.07/2445.70		at concrete.BitVectorDomain.$anonfun$filter$1(BitVectorDomain.scala:126)
2520.07/2445.70		at bitvectors.SmallBitVector.filter(SmallBitVector.scala:142)
2520.07/2445.70		at bitvectors.SmallBitVector.filter(SmallBitVector.scala:5)
2520.07/2445.70		at concrete.BitVectorDomain.filter(BitVectorDomain.scala:126)
2520.07/2445.70		at concrete.BitVectorDomain.filter(BitVectorDomain.scala:8)
2520.07/2445.70		at concrete.heuristic.value.BestCost.select(BestCost.scala:57)
2520.07/2445.70		at concrete.heuristic.value.ValueHeuristic.selectOne$1(ValueHeuristic.scala:89)
2520.07/2445.70		at concrete.heuristic.value.ValueHeuristic.$anonfun$branch$1(ValueHeuristic.scala:89)
2520.07/2445.70		at scala.Function2.$anonfun$tupled$1(Function2.scala:53)
2520.07/2445.70		at concrete.heuristic.value.ValueHeuristic.selectOne$1(ValueHeuristic.scala:89)
2520.07/2445.70		at concrete.heuristic.value.ValueHeuristic.$anonfun$branch$1(ValueHeuristic.scala:89)
2520.07/2445.70		at scala.Function2.$anonfun$tupled$1(Function2.scala:53)
2520.07/2445.70		at concrete.heuristic.value.ValueHeuristic.selectOne$1(ValueHeuristic.scala:89)
2520.07/2445.70		at concrete.heuristic.value.ValueHeuristic.$anonfun$branch$1(ValueHeuristic.scala:89)
2520.07/2445.70		at scala.Function2.$anonfun$tupled$1(Function2.scala:53)
2520.07/2445.70		at concrete.heuristic.value.ValueHeuristic.selectOne$1(ValueHeuristic.scala:89)
2520.07/2445.70		at concrete.heuristic.value.ValueHeuristic.branch(ValueHeuristic.scala:95)
2520.07/2445.70		at concrete.heuristic.CrossHeuristic.$anonfun$branch$1(CrossHeuristic.scala:42)
2520.07/2445.70		at scala.Option.map(Option.scala:243)
2520.07/2445.70		at concrete.heuristic.CrossHeuristic.branch(CrossHeuristic.scala:40)
2520.07/2445.70		at concrete.MAC.mac(MAC.scala:204)
2520.07/2445.70		at concrete.MAC.$anonfun$oneRun$1(MAC.scala:253)
2520.07/2445.70		at scala.util.Try$.apply(Try.scala:212)
2520.07/2445.71		at cspom.StatisticsManager$.$anonfun$measure$1(StatisticsManager.scala:179)
2520.07/2445.71		at cspom.StatisticsManager$.measureTry(StatisticsManager.scala:183)
2520.07/2445.71		at cspom.StatisticsManager$.measure(StatisticsManager.scala:179)
2520.07/2445.71		at concrete.MAC.oneRun(MAC.scala:253)
2520.07/2445.71		at concrete.MAC.nextSolution(MAC.scala:272)
2520.07/2445.71		at concrete.MAC.nextSolution(MAC.scala:355)
2520.07/2445.71		at concrete.Solver.hasNext(Solver.scala:160)
2520.07/2445.71		at scala.collection.IterableOnceOps.foreach(IterableOnce.scala:576)
2520.07/2445.71		at scala.collection.IterableOnceOps.foreach$(IterableOnce.scala:574)
2520.07/2445.71		at concrete.Solver.foreach(Solver.scala:67)
2520.07/2445.71		at concrete.runner.ConcreteRunner.$anonfun$run$2(ConcreteRunner.scala:72)
2520.07/2445.71		at scala.util.Success.map(Try.scala:264)
2520.07/2445.71		at concrete.runner.ConcreteRunner.run(ConcreteRunner.scala:67)
2520.07/2445.71		at concrete.runner.ConcreteRunner.run$(ConcreteRunner.scala:32)
2520.07/2445.71		at concrete.runner.XCSP3Concrete$.run(XCSP3Concrete.scala:17)
2520.07/2445.71		at concrete.runner.XCSP3Concrete$.delayedEndpoint$concrete$runner$XCSP3Concrete$1(XCSP3Concrete.scala:121)
2520.07/2445.71		at concrete.runner.XCSP3Concrete$delayedInit$body.apply(XCSP3Concrete.scala:17)
2520.07/2445.71		at scala.Function0.apply$mcV$sp(Function0.scala:39)
2520.07/2445.71		at scala.Function0.apply$mcV$sp$(Function0.scala:39)
2520.07/2445.71		at scala.runtime.AbstractFunction0.apply$mcV$sp(AbstractFunction0.scala:17)
2520.07/2445.71		at scala.App.$anonfun$main$1(App.scala:75)
2520.07/2445.71		at scala.App.$anonfun$main$1$adapted(App.scala:75)
2520.07/2445.71		at scala.collection.IterableOnceOps.foreach(IterableOnce.scala:576)
2520.07/2445.71		at scala.collection.IterableOnceOps.foreach$(IterableOnce.scala:574)
2520.07/2445.71		at scala.collection.AbstractIterable.foreach(Iterable.scala:904)
2520.07/2445.71		at scala.App.main(App.scala:75)
2520.07/2445.71		at scala.App.main$(App.scala:73)
2520.07/2445.71		at concrete.runner.XCSP3Concrete$.main(XCSP3Concrete.scala:17)
2520.07/2445.71		at concrete.runner.XCSP3Concrete.main(XCSP3Concrete.scala)
2520.07/2445.71	v <instantiation
2520.07/2445.71	v         cost = '1058'>
2520.07/2445.71	v       <list>
2520.07/2445.71	v         s[0][0] s[0][1] s[0][2] s[0][3] s[0][4] s[0][5] s[0][6] s[0][7] s[0][8] s[0][9] s[0][10] s[0][11] s[0][12] s[0][13] s[0][14] s[1][0] s[1][1] s[1][2] s[1][3] s[1][4] s[1][5] s[1][6] s[1][7] s[1][8] s[1][9] s[1][10] s[1][11] s[1][12] s[1][13] s[1][14] s[2][0] s[2][1] s[2][2] s[2][3] s[2][4] s[2][5] s[2][6] s[2][7] s[2][8] s[2][9] s[2][10] s[2][11] s[2][12] s[2][13] s[2][14] s[3][0] s[3][1] s[3][2] s[3][3] s[3][4] s[3][5] s[3][6] s[3][7] s[3][8] s[3][9] s[3][10] s[3][11] s[3][12] s[3][13] s[3][14] s[4][0] s[4][1] s[4][2] s[4][3] s[4][4] s[4][5] s[4][6] s[4][7] s[4][8] s[4][9] s[4][10] s[4][11] s[4][12] s[4][13] s[4][14] s[5][0] s[5][1] s[5][2] s[5][3] s[5][4] s[5][5] s[5][6] s[5][7] s[5][8] s[5][9] s[5][10] s[5][11] s[5][12] s[5][13] s[5][14] s[6][0] s[6][1] s[6][2] s[6][3] s[6][4] s[6][5] s[6][6] s[6][7] s[6][8] s[6][9] s[6][10] s[6][11] s[6][12] s[6][13] s[6][14] s[7][0] s[7][1] s[7][2] s[7][3] s[7][4] s[7][5] s[7][6] s[7][7] s[7][8] s[7][9] s[7][10] s[7][11] s[7][12] s[7][13] s[7][14] s[8][0] s[8][1] s[8][2] s[8][3] s[8][4] s[8][5] s[8][6] s[8][7] s[8][8] s[8][9] s[8][10] s[8][11] s[8][12] s[8][13] s[8][14] s[9][0] s[9][1] s[9][2] s[9][3] s[9][4] s[9][5] s[9][6] s[9][7] s[9][8] s[9][9] s[9][10] s[9][11] s[9][12] s[9][13] s[9][14] s[10][0] s[10][1] s[10][2] s[10][3] s[10][4] s[10][5] s[10][6] s[10][7] s[10][8] s[10][9] s[10][10] s[10][11] s[10][12] s[10][13] s[10][14] s[11][0] s[11][1] s[11][2] s[11][3] s[11][4] s[11][5] s[11][6] s[11][7] s[11][8] s[11][9] s[11][10] s[11][11] s[11][12] s[11][13] s[11][14] s[12][0] s[12][1] s[12][2] s[12][3] s[12][4] s[12][5] s[12][6] s[12][7] s[12][8] s[12][9] s[12][10] s[12][11] s[12][12] s[12][13] s[12][14] s[13][0] s[13][1] s[13][2] s[13][3] s[13][4] s[13][5] s[13][6] s[13][7] s[13][8] s[13][9] s[13][10] s[13][11] s[13][12] s[13][13] s[13][14] s[14][0] s[14][1] s[14][2] s[14][3] s[14][4] s[14][5] s[14][6] s[14][7] s[14][8] s[14][9] s[14][10] s[14][11] s[14][12] s[14][13] s[14][14] e[0] e[1] e[2] e[3] e[4] e[5] e[6] e[7] e[8] e[9] e[10] e[11] e[12] e[13] e[14] d[0][0] d[0][1] d[0][2] d[0][3] d[0][4] d[0][5] d[0][6] d[0][7] d[0][8] d[0][9] d[0][10] d[0][11] d[0][12] d[0][13] d[0][14] d[1][0] d[1][1] d[1][2] d[1][3] d[1][4] d[1][5] d[1][6] d[1][7] d[1][8] d[1][9] d[1][10] d[1][11] d[1][12] d[1][13] d[1][14] d[2][0] d[2][1] d[2][2] d[2][3] d[2][4] d[2][5] d[2][6] d[2][7] d[2][8] d[2][9] d[2][10] d[2][11] d[2][12] d[2][13] d[2][14] d[3][0] d[3][1] d[3][2] d[3][3] d[3][4] d[3][5] d[3][6] d[3][7] d[3][8] d[3][9] d[3][10] d[3][11] d[3][12] d[3][13] d[3][14] d[4][0] d[4][1] d[4][2] d[4][3] d[4][4] d[4][5] d[4][6] d[4][7] d[4][8] d[4][9] d[4][10] d[4][11] d[4][12] d[4][13] d[4][14] d[5][0] d[5][1] d[5][2] d[5][3] d[5][4] d[5][5] d[5][6] d[5][7] d[5][8] d[5][9] d[5][10] d[5][11] d[5][12] d[5][13] d[5][14] d[6][0] d[6][1] d[6][2] d[6][3] d[6][4] d[6][5] d[6][6] d[6][7] d[6][8] d[6][9] d[6][10] d[6][11] d[6][12] d[6][13] d[6][14] d[7][0] d[7][1] d[7][2] d[7][3] d[7][4] d[7][5] d[7][6] d[7][7] d[7][8] d[7][9] d[7][10] d[7][11] d[7][12] d[7][13] d[7][14] d[8][0] d[8][1] d[8][2] d[8][3] d[8][4] d[8][5] d[8][6] d[8][7] d[8][8] d[8][9] d[8][10] d[8][11] d[8][12] d[8][13] d[8][14] d[9][0] d[9][1] d[9][2] d[9][3] d[9][4] d[9][5] d[9][6] d[9][7] d[9][8] d[9][9] d[9][10] d[9][11] d[9][12] d[9][13] d[9][14] d[10][0] d[10][1] d[10][2] d[10][3] d[10][4] d[10][5] d[10][6] d[10][7] d[10][8] d[10][9] d[10][10] d[10][11] d[10][12] d[10][13] d[10][14] d[11][0] d[11][1] d[11][2] d[11][3] d[11][4] d[11][5] d[11][6] d[11][7] d[11][8] d[11][9] d[11][10] d[11][11] d[11][12] d[11][13] d[11][14] d[12][0] d[12][1] d[12][2] d[12][3] d[12][4] d[12][5] d[12][6] d[12][7] d[12][8] d[12][9] d[12][10] d[12][11] d[12][12] d[12][13] d[12][14] d[13][0] d[13][1] d[13][2] d[13][3] d[13][4] d[13][5] d[13][6] d[13][7] d[13][8] d[13][9] d[13][10] d[13][11] d[13][12] d[13][13] d[13][14] d[14][0] d[14][1] d[14][2] d[14][3] d[14][4] d[14][5] d[14][6] d[14][7] d[14][8] d[14][9] d[14][10] d[14][11] d[14][12] d[14][13] d[14][14] w[0][0] w[0][1] w[0][2] w[0][3] w[0][4] w[0][5] w[0][6] w[0][7] w[0][8] w[0][9] w[0][10] w[0][11] w[0][12] w[0][13] w[0][14] w[1][0] w[1][1] w[1][2] w[1][3] w[1][4] w[1][5] w[1][6] w[1][7] w[1][8] w[1][9] w[1][10] w[1][11] w[1][12] w[1][13] w[1][14] w[2][0] w[2][1] w[2][2] w[2][3] w[2][4] w[2][5] w[2][6] w[2][7] w[2][8] w[2][9] w[2][10] w[2][11] w[2][12] w[2][13] w[2][14] w[3][0] w[3][1] w[3][2] w[3][3] w[3][4] w[3][5] w[3][6] w[3][7] w[3][8] w[3][9] w[3][10] w[3][11] w[3][12] w[3][13] w[3][14] w[4][0] w[4][1] w[4][2] w[4][3] w[4][4] w[4][5] w[4][6] w[4][7] w[4][8] w[4][9] w[4][10] w[4][11] w[4][12] w[4][13] w[4][14] w[5][0] w[5][1] w[5][2] w[5][3] w[5][4] w[5][5] w[5][6] w[5][7] w[5][8] w[5][9] w[5][10] w[5][11] w[5][12] w[5][13] w[5][14] w[6][0] w[6][1] w[6][2] w[6][3] w[6][4] w[6][5] w[6][6] w[6][7] w[6][8] w[6][9] w[6][10] w[6][11] w[6][12] w[6][13] w[6][14] w[7][0] w[7][1] w[7][2] w[7][3] w[7][4] w[7][5] w[7][6] w[7][7] w[7][8] w[7][9] w[7][10] w[7][11] w[7][12] w[7][13] w[7][14] w[8][0] w[8][1] w[8][2] w[8][3] w[8][4] w[8][5] w[8][6] w[8][7] w[8][8] w[8][9] w[8][10] w[8][11] w[8][12] w[8][13] w[8][14] w[9][0] w[9][1] w[9][2] w[9][3] w[9][4] w[9][5] w[9][6] w[9][7] w[9][8] w[9][9] w[9][10] w[9][11] w[9][12] w[9][13] w[9][14] w[10][0] w[10][1] w[10][2] w[10][3] w[10][4] w[10][5] w[10][6] w[10][7] w[10][8] w[10][9] w[10][10] w[10][11] w[10][12] w[10][13] w[10][14] w[11][0] w[11][1] w[11][2] w[11][3] w[11][4] w[11][5] w[11][6] w[11][7] w[11][8] w[11][9] w[11][10] w[11][11] w[11][12] w[11][13] w[11][14] w[12][0] w[12][1] w[12][2] w[12][3] w[12][4] w[12][5] w[12][6] w[12][7] w[12][8] w[12][9] w[12][10] w[12][11] w[12][12] w[12][13] w[12][14] w[13][0] w[13][1] w[13][2] w[13][3] w[13][4] w[13][5] w[13][6] w[13][7] w[13][8] w[13][9] w[13][10] w[13][11] w[13][12] w[13][13] w[13][14] w[14][0] w[14][1] w[14][2] w[14][3] w[14][4] w[14][5] w[14][6] w[14][7] w[14][8] w[14][9] w[14][10] w[14][11] w[14][12] w[14][13] w[14][14] sd[0][0] sd[0][1] sd[0][2] sd[0][3] sd[0][4] sd[0][5] sd[0][6] sd[0][7] sd[0][8] sd[0][9] sd[0][10] sd[0][11] sd[0][12] sd[0][13] sd[0][14] sd[1][0] sd[1][1] sd[1][2] sd[1][3] sd[1][4] sd[1][5] sd[1][6] sd[1][7] sd[1][8] sd[1][9] sd[1][10] sd[1][11] sd[1][12] sd[1][13] sd[1][14] sd[2][0] sd[2][1] sd[2][2] sd[2][3] sd[2][4] sd[2][5] sd[2][6] sd[2][7] sd[2][8] sd[2][9] sd[2][10] sd[2][11] sd[2][12] sd[2][13] sd[2][14] sd[3][0] sd[3][1] sd[3][2] sd[3][3] sd[3][4] sd[3][5] sd[3][6] sd[3][7] sd[3][8] sd[3][9] sd[3][10] sd[3][11] sd[3][12] sd[3][13] sd[3][14] sd[4][0] sd[4][1] sd[4][2] sd[4][3] sd[4][4] sd[4][5] sd[4][6] sd[4][7] sd[4][8] sd[4][9] sd[4][10] sd[4][11] sd[4][12] sd[4][13] sd[4][14] sd[5][0] sd[5][1] sd[5][2] sd[5][3] sd[5][4] sd[5][5] sd[5][6] sd[5][7] sd[5][8] sd[5][9] sd[5][10] sd[5][11] sd[5][12] sd[5][13] sd[5][14] sd[6][0] sd[6][1] sd[6][2] sd[6][3] sd[6][4] sd[6][5] sd[6][6] sd[6][7] sd[6][8] sd[6][9] sd[6][10] sd[6][11] sd[6][12] sd[6][13] sd[6][14] sd[7][0] sd[7][1] sd[7][2] sd[7][3] sd[7][4] sd[7][5] sd[7][6] sd[7][7] sd[7][8] sd[7][9] sd[7][10] sd[7][11] sd[7][12] sd[7][13] sd[7][14] sd[8][0] sd[8][1] sd[8][2] sd[8][3] sd[8][4] sd[8][5] sd[8][6] sd[8][7] sd[8][8] sd[8][9] sd[8][10] sd[8][11] sd[8][12] sd[8][13] sd[8][14] sd[9][0] sd[9][1] sd[9][2] sd[9][3] sd[9][4] sd[9][5] sd[9][6] sd[9][7] sd[9][8] sd[9][9] sd[9][10] sd[9][11] sd[9][12] sd[9][13] sd[9][14] sd[10][0] sd[10][1] sd[10][2] sd[10][3] sd[10][4] sd[10][5] sd[10][6] sd[10][7] sd[10][8] sd[10][9] sd[10][10] sd[10][11] sd[10][12] sd[10][13] sd[10][14] sd[11][0] sd[11][1] sd[11][2] sd[11][3] sd[11][4] sd[11][5] sd[11][6] sd[11][7] sd[11][8] sd[11][9] sd[11][10] sd[11][11] sd[11][12] sd[11][13] sd[11][14] sd[12][0] sd[12][1] sd[12][2] sd[12][3] sd[12][4] sd[12][5] sd[12][6] sd[12][7] sd[12][8] sd[12][9] sd[12][10] sd[12][11] sd[12][12] sd[12][13] sd[12][14] sd[13][0] sd[13][1] sd[13][2] sd[13][3] sd[13][4] sd[13][5] sd[13][6] sd[13][7] sd[13][8] sd[13][9] sd[13][10] sd[13][11] sd[13][12] sd[13][13] sd[13][14] sd[14][0] sd[14][1] sd[14][2] sd[14][3] sd[14][4] sd[14][5] sd[14][6] sd[14][7] sd[14][8] sd[14][9] sd[14][10] sd[14][11] sd[14][12] sd[14][13] sd[14][14]
2520.07/2445.71	v       </list>
2520.07/2445.71	v       <values>
2520.07/2445.71	v         1 115 187 242 320 441 520 539 657 750 935 959 961 982 985 3 63 89 142 334 352 456 547 593 703 763 786 801 970 985 0 44 110 193 237 308 361 441 516 558 690 816 871 899 968 40 43 72 148 234 357 406 449 617 656 765 836 863 890 983 0 33 113 175 197 262 316 460 557 656 741 786 825 971 1057 0 44 168 238 327 340 402 479 567 698 716 807 860 948 965 65 110 199 276 353 357 420 483 515 616 685 819 917 943 1031 0 18 109 142 192 366 442 485 578 592 684 767 836 877 965 0 30 112 189 275 332 404 459 620 690 705 717 761 788 877 113 184 195 246 284 422 441 460 525 586 685 770 836 879 999 22 24 58 275 417 455 458 483 575 657 685 750 793 854 890 0 65 139 224 284 314 391 482 487 500 614 659 703 894 965 50 110 133 158 187 276 348 420 515 533 581 655 795 877 970 0 69 268 348 368 395 487 533 643 741 854 950 968 970 985 69 142 164 229 254 284 353 430 541 637 687 743 798 816 1006 1058 1006 995 1057 1058 1007 1058 1052 961 1058 969 1058 1052 1008 1044 63 27 2 78 79 19 19 47 21 53 24 2 7 3 73 60 26 32 63 18 90 29 46 23 13 5 12 54 13 21 44 66 77 44 71 53 80 75 42 85 94 55 28 69 27 3 18 17 76 86 34 8 8 39 28 71 27 16 60 74 33 80 62 14 65 52 16 49 99 85 45 39 79 86 1 40 61 8 16 13 62 77 88 92 18 91 53 88 17 42 41 72 77 77 4 63 63 32 97 69 99 98 26 88 27 18 51 33 49 79 75 43 67 14 22 83 54 24 86 87 22 82 63 86 57 39 55 75 70 15 4 6 27 83 84 47 11 42 38 68 19 19 22 33 99 3 66 41 69 59 2 34 84 93 32 3 25 92 82 1 65 43 61 36 79 65 74 85 60 30 77 80 5 13 72 45 44 58 71 93 60 23 22 27 89 72 69 65 18 48 74 62 82 73 82 69 99 80 20 27 92 34 85 98 78 89 18 2 15 23 43 22 65 5 8 64 51 28 96 50 56 55 18 45 38 12 5 10 1 2 0 9 7 13 4 6 14 8 3 11 7 8 6 3 5 14 2 10 4 11 9 13 12 1 0 2 14 9 7 6 11 5 10 3 1 12 13 0 4 8 13 8 6 14 2 4 12 7 10 0 11 9 3 5 1 10 4 2 11 12 3 5 8 0 14 13 7 6 9 1 13 2 7 3 6 0 1 4 11 9 5 8 12 10 14 1 10 11 9 8 13 12 5 6 4 7 14 0 2 3 6 11 13 5 4 8 14 2 12 9 0 10 3 1 7 14 5 11 10 4 1 9 7 12 6 13 3 2 0 8 4 2 6 5 14 10 8 0 1 7 13 9 11 3 12 14 0 3 10 7 11 6 12 13 8 4 1 2 5 9 1 12 8 14 5 3 4 0 6 13 9 11 2 7 10 10 14 6 0 9 12 7 13 5 8 2 3 1 11 4 9 7 8 12 10 3 0 5 1 14 2 11 4 6 13 11 12 1 2 3 7 9 6 14 5 10 8 13 4 0 441 242 320 982 750 115 935 539 961 520 187 985 1 657 959 985 970 456 142 593 334 89 3 63 763 547 703 801 786 352 871 558 0 516 899 361 237 193 968 110 441 308 690 816 44 656 983 234 863 357 890 72 449 43 836 617 765 406 40 148 557 1057 113 262 33 316 825 786 460 971 0 175 197 741 656 340 402 44 238 479 716 327 168 807 698 948 567 860 0 965 917 65 943 1031 616 483 515 685 353 276 110 199 420 357 819 684 877 485 836 192 142 0 965 366 592 767 18 578 109 442 788 332 761 717 275 30 690 459 877 404 189 112 620 705 0 460 525 184 879 113 246 195 586 441 770 422 836 999 685 284 24 750 793 58 685 854 458 417 657 890 275 455 483 575 22 482 0 703 314 391 284 487 894 139 614 965 659 65 500 224 158 795 581 655 970 515 133 348 533 187 50 877 276 420 110 487 643 854 395 968 533 970 69 268 0 368 950 348 985 741 1006 164 229 254 816 637 430 284 743 353 687 69 142 798 541
2520.07/2445.71	v       </values>
2520.07/2445.71	v     </instantiation>
2520.07/2445.71	s SATISFIABLE

runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL

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.

NUMA information:
  number of nodes: 2
  memory of node 0: 16374 MiB (15339 MiB free)
  memory of node 1: 16384 MiB (15488 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4386967-1568285962/watcher-4386967-1568285962 -o /tmp/evaluation-result-4386967-1568285962/solver-4386967-1568285962 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node107-1568282247-6563 --watchdog 2580 bin/xcsp-3-concrete -J-Xss32M -randomseed=401545424 HOME/instance-4386967-1568285962.xml 

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
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=6593, runsolver pid=6590
Current StackSize limit: 8192 KiB


[startup+0.100106 s]*
/proc/loadavg: 1.13 1.59 1.87 9/228 6674
/proc/meminfo: memFree=31539676/32770624 swapFree=66920008/67108860
[pid=6593] ppid=6590 vsize=113256 memory=1616 CPUtime=0.07 cores=0,2,4,6
/proc/6593/stat : 6593 (bash) S 6590 6593 5621 0 -1 4202496 925 11114 0 1 0 0 4 3 20 0 1 0 404852390 115974144 404 33554432000 4194304 5098028 140726966654448 140726966647672 140004614200320 0 0 4100 65536 18446744071580971376 0 0 17 2 0 0 1 0 0 7196144 7232144 30306304 140726966662165 140726966662289 140726966662289 140726966665198 0
/proc/6593/statm: 28314 404 320 221 0 119 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 113256 KiB
Current children cumulated memory: 1616 KiB

[startup+0.214228 s]*
/proc/loadavg: 1.13 1.59 1.87 11/226 6724
/proc/meminfo: memFree=31517232/32770624 swapFree=66920008/67108860
[pid=6593] ppid=6590 vsize=10818900 memory=33812 CPUtime=0.22 cores=0,2,4,6
/proc/6593/stat : 6593 (java) S 6590 6593 5621 0 -1 1077944320 6804 13147 0 1 13 1 5 3 20 0 15 0 404852390 11078553600 8453 33554432000 4194304 4196468 140734538211888 140734538194432 140677307068151 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 1 0 0 6293624 6294260 38367232 140734538214134 140734538216645 140734538216645 140734538219471 0
/proc/6593/statm: 2704725 8453 2946 1 0 2667149 0
[pid=6593/tid=6698] ppid=6590 vsize=10818900 memory=7022364594140610616 CPUtime=0.17 cores=0,2,4,6
/proc/6593/task/6698/stat : 6698 (java) R 6590 6593 5621 0 -1 4202560 3350 13147 0 1 8 1 5 3 20 0 15 0 404852402 11078553600 8965 33554432000 4194304 4196468 140734538211888 140677278900784 140677307090077 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 38367232 140734538214134 140734538216645 140734538216645 140734538219471 0
[pid=6593/tid=6703] ppid=6590 vsize=10818900 memory=343 CPUtime=0.08 cores=0,2,4,6
/proc/6593/task/6703/stat : 6703 (java) S 6590 6593 5621 0 -1 1077944384 1 13147 0 1 0 0 5 3 20 0 15 0 404852403 11078553600 8965 33554432000 4194304 4196468 140734538211888 140677311310864 140677307078357 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38367232 140734538214134 140734538216645 140734538216645 140734538219471 0
[pid=6593/tid=6704] ppid=6590 vsize=10818900 memory=140170856971859 CPUtime=0.08 cores=0,2,4,6
/proc/6593/task/6704/stat : 6704 (java) S 6590 6593 5621 0 -1 1077944384 1 13147 0 1 0 0 5 3 20 0 15 0 404852403 11078553600 8965 33554432000 4194304 4196468 140734538211888 140677226130576 140677307078357 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38367232 140734538214134 140734538216645 140734538216645 140734538219471 0
[pid=6593/tid=6705] ppid=6590 vsize=10818900 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/6593/task/6705/stat : 6705 (java) S 6590 6593 5621 0 -1 1077944384 1 13147 0 1 0 0 5 3 20 0 15 0 404852403 11078553600 8965 33554432000 4194304 4196468 140734538211888 140676879276816 140677307078357 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38367232 140734538214134 140734538216645 140734538216645 140734538219471 0
[pid=6593/tid=6706] ppid=6590 vsize=10818900 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/6593/task/6706/stat : 6706 (java) S 6590 6593 5621 0 -1 1077944384 2 13147 0 1 0 0 5 3 20 0 15 0 404852403 11078553600 8965 33554432000 4194304 4196468 140734538211888 140676878224272 140677307078357 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38367232 140734538214134 140734538216645 140734538216645 140734538219471 0
[pid=6593/tid=6708] ppid=6590 vsize=10818900 memory=140170856961664 CPUtime=0.08 cores=0,2,4,6
/proc/6593/task/6708/stat : 6708 (java) S 6590 6593 5621 0 -1 1077944384 2 13147 0 1 0 0 5 3 20 0 15 0 404852404 11078553600 8965 33554432000 4194304 4196468 140734538211888 140676578842864 140677307079298 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38367232 140734538214134 140734538216645 140734538216645 140734538219471 0
[pid=6593/tid=6710] ppid=6590 vsize=10818900 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/6593/task/6710/stat : 6710 (java) S 6590 6593 5621 0 -1 1077944384 13 13147 0 1 0 0 5 3 20 0 15 0 404852405 11078553600 8965 33554432000 4194304 4196468 140734538211888 140676285064352 140677307078357 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38367232 140734538214134 140734538216645 140734538216645 140734538219471 0
[pid=6593/tid=6712] ppid=6590 vsize=10818900 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/6593/task/6712/stat : 6712 (java) S 6590 6593 5621 0 -1 1077944384 1 13147 0 1 0 0 5 3 20 0 15 0 404852405 11078553600 8965 33554432000 4194304 4196468 140734538211888 140676083737328 140677307078357 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38367232 140734538214134 140734538216645 140734538216645 140734538219471 0
[pid=6593/tid=6717] ppid=6590 vsize=10818900 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/6593/task/6717/stat : 6717 (java) S 6590 6593 5621 0 -1 1077944384 3 13147 0 1 0 0 5 3 20 0 15 0 404852408 11078553600 8965 33554432000 4194304 4196468 140734538211888 140675843446736 140677307086747 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38367232 140734538214134 140734538216645 140734538216645 140734538219471 0
[pid=6593/tid=6718] ppid=6590 vsize=10818900 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/6593/task/6718/stat : 6718 (java) R 6590 6593 5621 0 -1 4202560 554 13147 0 1 1 0 5 3 20 0 15 0 404852408 11078553600 8965 33554432000 4194304 4196468 140734538211888 140676577782208 140677284999936 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 38367232 140734538214134 140734538216645 140734538216645 140734538219471 0
[pid=6593/tid=6719] ppid=6590 vsize=10818900 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/6593/task/6719/stat : 6719 (java) R 6590 6593 5621 0 -1 1077944384 57 13147 0 1 0 0 5 3 20 0 15 0 404852408 11078553600 8965 33554432000 4194304 4196468 140734538211888 140676576738256 140677307078357 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 38367232 140734538214134 140734538216645 140734538216645 140734538219471 0
[pid=6593/tid=6720] ppid=6590 vsize=10818900 memory=140170856961664 CPUtime=0.1 cores=0,2,4,6
/proc/6593/task/6720/stat : 6720 (java) R 6590 6593 5621 0 -1 4202560 611 13147 0 1 2 0 5 3 20 0 15 0 404852408 11078553600 8965 33554432000 4194304 4196468 140734538211888 140676575679456 140677286006928 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 38367232 140734538214134 140734538216645 140734538216645 140734538219471 0
[pid=6593/tid=6722] ppid=6590 vsize=10818900 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/6593/task/6722/stat : 6722 (java) S 6590 6593 5621 0 -1 1077944384 3 13147 0 1 0 0 5 3 20 0 15 0 404852408 11078553600 8965 33554432000 4194304 4196468 140734538211888 140675809889120 140677307078357 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38367232 140734538214134 140734538216645 140734538216645 140734538219471 0
[pid=6593/tid=6724] ppid=6590 vsize=10818900 memory=140170856961664 CPUtime=0.08 cores=0,2,4,6
/proc/6593/task/6724/stat : 6724 (java) S 6590 6593 5621 0 -1 1077944384 1 13147 0 1 0 0 5 3 20 0 15 0 404852408 11078553600 8965 33554432000 4194304 4196468 140734538211888 140676574632496 140677307079298 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38367232 140734538214134 140734538216645 140734538216645 140734538219471 0
Current children cumulated CPU time: 0.22 s
Current children cumulated vsize: 10818900 KiB
Current children cumulated memory: 33812 KiB

[startup+0.311045 s]*
/proc/loadavg: 1.13 1.59 1.87 6/226 6724
/proc/meminfo: memFree=31489192/32770624 swapFree=66920008/67108860
[pid=6593] ppid=6590 vsize=10819084 memory=47360 CPUtime=0.37 cores=0,2,4,6
/proc/6593/stat : 6593 (java) S 6590 6593 5621 0 -1 1077944320 10039 13147 0 1 25 4 5 3 20 0 15 0 404852390 11078742016 11840 33554432000 4194304 4196468 140734538211888 140734538194432 140677307068151 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 1 0 0 6293624 6294260 38367232 140734538214134 140734538216645 140734538216645 140734538219471 0
/proc/6593/statm: 2704771 11840 3037 1 0 2667149 0
[pid=6593/tid=6698] ppid=6590 vsize=10819084 memory=576461178948550685 CPUtime=0.26 cores=0,2,4,6
/proc/6593/task/6698/stat : 6698 (java) R 6590 6593 5621 0 -1 4202560 6549 13147 0 1 16 2 5 3 20 0 15 0 404852402 11078742016 11840 33554432000 4194304 4196468 140734538211888 140677278879520 140677291148638 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 38367232 140734538214134 140734538216645 140734538216645 140734538219471 0
[pid=6593/tid=6703] ppid=6590 vsize=10819084 memory=297237816780521495 CPUtime=0.08 cores=0,2,4,6
/proc/6593/task/6703/stat : 6703 (java) S 6590 6593 5621 0 -1 1077944384 1 13147 0 1 0 0 5 3 20 0 15 0 404852403 11078742016 11840 33554432000 4194304 4196468 140734538211888 140677311310864 140677307078357 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38367232 140734538214134 140734538216645 140734538216645 140734538219471 0
[pid=6593/tid=6704] ppid=6590 vsize=10819084 memory=15112449181554328 CPUtime=0.08 cores=0,2,4,6
/proc/6593/task/6704/stat : 6704 (java) S 6590 6593 5621 0 -1 1077944384 1 13147 0 1 0 0 5 3 20 0 15 0 404852403 11078742016 11840 33554432000 4194304 4196468 140734538211888 140677226130576 140677307078357 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38367232 140734538214134 140734538216645 140734538216645 140734538219471 0
[pid=6593/tid=6705] ppid=6590 vsize=10819084 memory=8508281403248314509 CPUtime=0.08 cores=0,2,4,6
/proc/6593/task/6705/stat : 6705 (java) S 6590 6593 5621 0 -1 1077944384 1 13147 0 1 0 0 5 3 20 0 15 0 404852403 11078742016 11840 33554432000 4194304 4196468 140734538211888 140676879276816 140677307078357 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38367232 140734538214134 140734538216645 140734538216645 140734538219471 0
[pid=6593/tid=6706] ppid=6590 vsize=10819084 memory=3472328296225127011 CPUtime=0.08 cores=0,2,4,6
/proc/6593/task/6706/stat : 6706 (java) S 6590 6593 5621 0 -1 1077944384 2 13147 0 1 0 0 5 3 20 0 15 0 404852403 11078742016 11840 33554432000 4194304 4196468 140734538211888 140676878224272 140677307078357 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38367232 140734538214134 140734538216645 140734538216645 140734538219471 0
[pid=6593/tid=6708] ppid=6590 vsize=10819084 memory=8097967486916576944 CPUtime=0.08 cores=0,2,4,6
/proc/6593/task/6708/stat : 6708 (java) S 6590 6593 5621 0 -1 1077944384 2 13147 0 1 0 0 5 3 20 0 15 0 404852404 11078742016 11840 33554432000 4194304 4196468 140734538211888 140676578842864 140677307079298 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38367232 140734538214134 140734538216645 140734538216645 140734538219471 0
[pid=6593/tid=6710] ppid=6590 vsize=10819084 memory=3472328296227670329 CPUtime=0.08 cores=0,2,4,6
/proc/6593/task/6710/stat : 6710 (java) S 6590 6593 5621 0 -1 1077944384 13 13147 0 1 0 0 5 3 20 0 15 0 404852405 11078742016 11840 33554432000 4194304 4196468 140734538211888 140676285064352 140677307078357 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38367232 140734538214134 140734538216645 140734538216645 140734538219471 0
[pid=6593/tid=6712] ppid=6590 vsize=10819084 memory=7681407940103534239 CPUtime=0.08 cores=0,2,4,6
/proc/6593/task/6712/stat : 6712 (java) S 6590 6593 5621 0 -1 1077944384 1 13147 0 1 0 0 5 3 20 0 15 0 404852405 11078742016 11840 33554432000 4194304 4196468 140734538211888 140676083737328 140677307078357 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38367232 140734538214134 140734538216645 140734538216645 140734538219471 0
[pid=6593/tid=6717] ppid=6590 vsize=10819084 memory=6943526294502006880 CPUtime=0.08 cores=0,2,4,6
/proc/6593/task/6717/stat : 6717 (java) S 6590 6593 5621 0 -1 1077944384 3 13147 0 1 0 0 5 3 20 0 15 0 404852408 11078742016 11840 33554432000 4194304 4196468 140734538211888 140675843446736 140677307086747 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38367232 140734538214134 140734538216645 140734538216645 140734538219471 0
[pid=6593/tid=6718] ppid=6590 vsize=10819084 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/6593/task/6718/stat : 6718 (java) S 6590 6593 5621 0 -1 1077944384 555 13147 0 1 1 0 5 3 20 0 15 0 404852408 11078742016 11840 33554432000 4194304 4196468 140734538211888 140676577790704 140677307079298 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38367232 140734538214134 140734538216645 140734538216645 140734538219471 0
[pid=6593/tid=6719] ppid=6590 vsize=10819084 memory=664970774370808936 CPUtime=0.09 cores=0,2,4,6
/proc/6593/task/6719/stat : 6719 (java) S 6590 6593 5621 0 -1 1077944384 67 13147 0 1 1 0 5 3 20 0 15 0 404852408 11078742016 11840 33554432000 4194304 4196468 140734538211888 140676576738160 140677307079298 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38367232 140734538214134 140734538216645 140734538216645 140734538219471 0
[pid=6593/tid=6720] ppid=6590 vsize=10819084 memory=140170856961664 CPUtime=0.13 cores=0,2,4,6
/proc/6593/task/6720/stat : 6720 (java) S 6590 6593 5621 0 -1 1077944384 632 13147 0 1 5 0 5 3 20 0 15 0 404852408 11078742016 11840 33554432000 4194304 4196468 140734538211888 140676575685104 140677307079298 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38367232 140734538214134 140734538216645 140734538216645 140734538219471 0
[pid=6593/tid=6722] ppid=6590 vsize=10819084 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/6593/task/6722/stat : 6722 (java) S 6590 6593 5621 0 -1 1077944384 3 13147 0 1 0 0 5 3 20 0 15 0 404852408 11078742016 11840 33554432000 4194304 4196468 140734538211888 140675809889120 140677307078357 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38367232 140734538214134 140734538216645 140734538216645 140734538219471 0
[pid=6593/tid=6724] ppid=6590 vsize=10819084 memory=140170856961664 CPUtime=0.08 cores=0,2,4,6
/proc/6593/task/6724/stat : 6724 (java) S 6590 6593 5621 0 -1 1077944384 1 13147 0 1 0 0 5 3 20 0 15 0 404852408 11078742016 11840 33554432000 4194304 4196468 140734538211888 140676574632496 140677307079298 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38367232 140734538214134 140734538216645 140734538216645 140734538219471 0
Current children cumulated CPU time: 0.37 s
Current children cumulated vsize: 10819084 KiB
Current children cumulated memory: 47360 KiB

[startup+0.700777 s]
/proc/loadavg: 1.13 1.59 1.87 5/226 6724
/proc/meminfo: memFree=31464832/32770624 swapFree=66920008/67108860
[pid=6593] ppid=6590 vsize=10822292 memory=73456 CPUtime=0.95 cores=0,2,4,6
/proc/6593/stat : 6593 (java) S 6590 6593 5621 0 -1 1077944320 14145 13147 0 1 81 6 5 3 20 0 15 0 404852390 11082027008 18364 33554432000 4194304 4196468 140734538211888 140734538194432 140677307068151 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 1 0 0 6293624 6294260 38367232 140734538214134 140734538216645 140734538216645 140734538219471 0
/proc/6593/statm: 2705573 18364 3478 1 0 2667661 0
[pid=6593/tid=6698] ppid=6590 vsize=10822292 memory=4104 CPUtime=0.59 cores=0,2,4,6
/proc/6593/task/6698/stat : 6698 (java) D 6590 6593 5621 0 -1 4202560 9955 13147 0 1 47 4 5 3 20 0 15 0 404852402 11082027008 18364 33554432000 4194304 4196468 140734538211888 140677278887728 140677307090077 0 4 0 16800975 18446744071580419588 0 0 -1 6 0 0 4 0 0 6293624 6294260 38367232 140734538214134 140734538216645 140734538216645 140734538219471 0
[pid=6593/tid=6703] ppid=6590 vsize=10822292 memory=2312 CPUtime=0.08 cores=0,2,4,6
/proc/6593/task/6703/stat : 6703 (java) S 6590 6593 5621 0 -1 1077944384 1 13147 0 1 0 0 5 3 20 0 15 0 404852403 11082027008 18364 33554432000 4194304 4196468 140734538211888 140677311310864 140677307078357 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38367232 140734538214134 140734538216645 140734538216645 140734538219471 0
[pid=6593/tid=6704] ppid=6590 vsize=10822292 memory=2312 CPUtime=0.08 cores=0,2,4,6
/proc/6593/task/6704/stat : 6704 (java) S 6590 6593 5621 0 -1 1077944384 1 13147 0 1 0 0 5 3 20 0 15 0 404852403 11082027008 18364 33554432000 4194304 4196468 140734538211888 140677226130576 140677307078357 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38367232 140734538214134 140734538216645 140734538216645 140734538219471 0
[pid=6593/tid=6705] ppid=6590 vsize=10822292 memory=1408 CPUtime=0.08 cores=0,2,4,6
/proc/6593/task/6705/stat : 6705 (java) S 6590 6593 5621 0 -1 1077944384 1 13147 0 1 0 0 5 3 20 0 15 0 404852403 11082027008 18364 33554432000 4194304 4196468 140734538211888 140676879276816 140677307078357 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38367232 140734538214134 140734538216645 140734538216645 140734538219471 0
[pid=6593/tid=6706] ppid=6590 vsize=10822292 memory=2420 CPUtime=0.08 cores=0,2,4,6
/proc/6593/task/6706/stat : 6706 (java) S 6590 6593 5621 0 -1 1077944384 2 13147 0 1 0 0 5 3 20 0 15 0 404852403 11082027008 18364 33554432000 4194304 4196468 140734538211888 140676878224272 140677307078357 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38367232 140734538214134 140734538216645 140734538216645 140734538219471 0
[pid=6593/tid=6708] ppid=6590 vsize=10822292 memory=1408 CPUtime=0.08 cores=0,2,4,6
/proc/6593/task/6708/stat : 6708 (java) S 6590 6593 5621 0 -1 1077944384 5 13147 0 1 0 0 5 3 20 0 15 0 404852404 11082027008 18364 33554432000 4194304 4196468 140734538211888 140676578842864 140677307079298 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38367232 140734538214134 140734538216645 140734538216645 140734538219471 0
[pid=6593/tid=6710] ppid=6590 vsize=10822292 memory=66292 CPUtime=0.08 cores=0,2,4,6
/proc/6593/task/6710/stat : 6710 (java) S 6590 6593 5621 0 -1 1077944384 13 13147 0 1 0 0 5 3 20 0 15 0 404852405 11082027008 18364 33554432000 4194304 4196468 140734538211888 140676285064352 140677307078357 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38367232 140734538214134 140734538216645 140734538216645 140734538219471 0
[pid=6593/tid=6712] ppid=6590 vsize=10822292 memory=2420 CPUtime=0.08 cores=0,2,4,6
/proc/6593/task/6712/stat : 6712 (java) S 6590 6593 5621 0 -1 1077944384 1 13147 0 1 0 0 5 3 20 0 15 0 404852405 11082027008 18364 33554432000 4194304 4196468 140734538211888 140676083737328 140677307078357 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38367232 140734538214134 140734538216645 140734538216645 140734538219471 0
[pid=6593/tid=6717] ppid=6590 vsize=10822292 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/6593/task/6717/stat : 6717 (java) S 6590 6593 5621 0 -1 1077944384 3 13147 0 1 0 0 5 3 20 0 15 0 404852408 11082027008 18364 33554432000 4194304 4196468 140734538211888 140675843446736 140677307086747 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38367232 140734538214134 140734538216645 140734538216645 140734538219471 0
[pid=6593/tid=6718] ppid=6590 vsize=10822292 memory=2276 CPUtime=0.15 cores=0,2,4,6
/proc/6593/task/6718/stat : 6718 (java) S 6590 6593 5621 0 -1 1077944384 762 13147 0 1 7 0 5 3 20 0 15 0 404852408 11082027008 18364 33554432000 4194304 4196468 140734538211888 140676577790704 140677307079298 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38367232 140734538214134 140734538216645 140734538216645 140734538219471 0
[pid=6593/tid=6719] ppid=6590 vsize=10822292 memory=12020 CPUtime=0.18 cores=0,2,4,6
/proc/6593/task/6719/stat : 6719 (java) S 6590 6593 5621 0 -1 1077944384 430 13147 0 1 10 0 5 3 20 0 15 0 404852408 11082027008 18364 33554432000 4194304 4196468 140734538211888 140676576738160 140677307079298 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38367232 140734538214134 140734538216645 140734538216645 140734538219471 0
[pid=6593/tid=6720] ppid=6590 vsize=10822292 memory=496 CPUtime=0.23 cores=0,2,4,6
/proc/6593/task/6720/stat : 6720 (java) S 6590 6593 5621 0 -1 1077944384 758 13147 0 1 15 0 5 3 20 0 15 0 404852408 11082027008 18364 33554432000 4194304 4196468 140734538211888 140676575685104 140677307079298 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38367232 140734538214134 140734538216645 140734538216645 140734538219471 0
[pid=6593/tid=6722] ppid=6590 vsize=10822292 memory=1560 CPUtime=0.08 cores=0,2,4,6
/proc/6593/task/6722/stat : 6722 (java) S 6590 6593 5621 0 -1 1077944384 3 13147 0 1 0 0 5 3 20 0 15 0 404852408 11082027008 18364 33554432000 4194304 4196468 140734538211888 140675809889120 140677307078357 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38367232 140734538214134 140734538216645 140734538216645 140734538219471 0
[pid=6593/tid=6724] ppid=6590 vsize=10822292 memory=2241 CPUtime=0.08 cores=0,2,4,6
/proc/6593/task/6724/stat : 6724 (java) S 6590 6593 5621 0 -1 1077944384 1 13147 0 1 0 0 5 3 20 0 15 0 404852408 11082027008 18364 33554432000 4194304 4196468 140734538211888 140676574632496 140677307079298 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38367232 140734538214134 140734538216645 140734538216645 140734538219471 0
Current children cumulated CPU time: 0.95 s
Current children cumulated vsize: 10822292 KiB
Current children cumulated memory: 73456 KiB

[startup+1.50076 s]
/proc/loadavg: 1.28 1.61 1.88 9/226 6724
/proc/meminfo: memFree=31402032/32770624 swapFree=66920008/67108860
[pid=6593] ppid=6590 vsize=10832608 memory=204104 CPUtime=2.94 cores=0,2,4,6
/proc/6593/stat : 6593 (java) S 6590 6593 5621 0 -1 1077944320 35367 13147 0 1 273 13 5 3 20 0 15 0 404852390 11092590592 51026 33554432000 4194304 4196468 140734538211888 140734538194432 140677307068151 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 1 0 0 6293624 6294260 38367232 140734538214134 140734538216645 140734538216645 140734538219471 0
/proc/6593/statm: 2708152 51026 3581 1 0 2670221 0
[pid=6593/tid=6698] ppid=6590 vsize=10832608 memory=15656 CPUtime=1.28 cores=0,2,4,6
/proc/6593/task/6698/stat : 6698 (java) R 6590 6593 5621 0 -1 4202560 16054 13147 0 1 113 7 5 3 20 0 15 0 404852402 11092590592 51026 33554432000 4194304 4196468 140734538211888 140677278899024 140677291148638 0 4 0 16800975 0 0 0 -1 2 0 0 11 0 0 6293624 6294260 38367232 140734538214134 140734538216645 140734538216645 140734538219471 0
[pid=6593/tid=6703] ppid=6590 vsize=10832608 memory=988 CPUtime=0.09 cores=0,2,4,6
/proc/6593/task/6703/stat : 6703 (java) S 6590 6593 5621 0 -1 1077944384 66 13147 0 1 1 0 5 3 20 0 15 0 404852403 11092590592 51026 33554432000 4194304 4196468 140734538211888 140677311310864 140677307078357 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38367232 140734538214134 140734538216645 140734538216645 140734538219471 0
[pid=6593/tid=6704] ppid=6590 vsize=10832608 memory=2016 CPUtime=0.09 cores=0,2,4,6
/proc/6593/task/6704/stat : 6704 (java) S 6590 6593 5621 0 -1 1077944384 296 13147 0 1 1 0 5 3 20 0 15 0 404852403 11092590592 51026 33554432000 4194304 4196468 140734538211888 140677226130576 140677307078357 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38367232 140734538214134 140734538216645 140734538216645 140734538219471 0
[pid=6593/tid=6705] ppid=6590 vsize=10832608 memory=1284 CPUtime=0.08 cores=0,2,4,6
/proc/6593/task/6705/stat : 6705 (java) S 6590 6593 5621 0 -1 1077944384 31 13147 0 1 0 0 5 3 20 0 15 0 404852403 11092590592 51026 33554432000 4194304 4196468 140734538211888 140676879276816 140677307078357 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38367232 140734538214134 140734538216645 140734538216645 140734538219471 0
[pid=6593/tid=6706] ppid=6590 vsize=10832608 memory=15315853380637 CPUtime=0.09 cores=0,2,4,6
/proc/6593/task/6706/stat : 6706 (java) S 6590 6593 5621 0 -1 1077944384 71 13147 0 1 1 0 5 3 20 0 15 0 404852403 11092590592 51026 33554432000 4194304 4196468 140734538211888 140676878224272 140677307078357 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38367232 140734538214134 140734538216645 140734538216645 140734538219471 0
[pid=6593/tid=6708] ppid=6590 vsize=10832608 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/6593/task/6708/stat : 6708 (java) S 6590 6593 5621 0 -1 1077944384 101 13147 0 1 1 0 5 3 20 0 15 0 404852404 11092590592 51026 33554432000 4194304 4196468 140734538211888 140676578842864 140677307079298 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38367232 140734538214134 140734538216645 140734538216645 140734538219471 0
[pid=6593/tid=6710] ppid=6590 vsize=10832608 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/6593/task/6710/stat : 6710 (java) S 6590 6593 5621 0 -1 1077944384 14 13147 0 1 0 0 5 3 20 0 15 0 404852405 11092590592 51026 33554432000 4194304 4196468 140734538211888 140676285064416 140677307078357 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38367232 140734538214134 140734538216645 140734538216645 140734538219471 0
[pid=6593/tid=6712] ppid=6590 vsize=10832608 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/6593/task/6712/stat : 6712 (java) S 6590 6593 5621 0 -1 1077944384 1 13147 0 1 0 0 5 3 20 0 15 0 404852405 11092590592 51026 33554432000 4194304 4196468 140734538211888 140676083737344 140677307078357 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38367232 140734538214134 140734538216645 140734538216645 140734538219471 0
[pid=6593/tid=6717] ppid=6590 vsize=10832608 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/6593/task/6717/stat : 6717 (java) S 6590 6593 5621 0 -1 1077944384 3 13147 0 1 0 0 5 3 20 0 15 0 404852408 11092590592 51026 33554432000 4194304 4196468 140734538211888 140675843446736 140677307086747 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38367232 140734538214134 140734538216645 140734538216645 140734538219471 0
[pid=6593/tid=6718] ppid=6590 vsize=10832608 memory=0 CPUtime=0.63 cores=0,2,4,6
/proc/6593/task/6718/stat : 6718 (java) S 6590 6593 5621 0 -1 1077944384 7457 13147 0 1 54 1 5 3 20 0 15 0 404852408 11092590592 51026 33554432000 4194304 4196468 140734538211888 140676577790704 140677307079298 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38367232 140734538214134 140734538216645 140734538216645 140734538219471 0
[pid=6593/tid=6719] ppid=6590 vsize=10832608 memory=0 CPUtime=0.64 cores=0,2,4,6
/proc/6593/task/6719/stat : 6719 (java) S 6590 6593 5621 0 -1 1077944384 6583 13147 0 1 56 0 5 3 20 0 15 0 404852408 11092590592 51026 33554432000 4194304 4196468 140734538211888 140676576738160 140677307079298 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38367232 140734538214134 140734538216645 140734538216645 140734538219471 0
[pid=6593/tid=6720] ppid=6590 vsize=10832608 memory=0 CPUtime=0.48 cores=0,2,4,6
/proc/6593/task/6720/stat : 6720 (java) S 6590 6593 5621 0 -1 1077944384 2477 13147 0 1 40 0 5 3 20 0 15 0 404852408 11092590592 51026 33554432000 4194304 4196468 140734538211888 140676575685104 140677307079298 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38367232 140734538214134 140734538216645 140734538216645 140734538219471 0
[pid=6593/tid=6722] ppid=6590 vsize=10832608 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/6593/task/6722/stat : 6722 (java) S 6590 6593 5621 0 -1 1077944384 3 13147 0 1 0 0 5 3 20 0 15 0 404852408 11092590592 51026 33554432000 4194304 4196468 140734538211888 140675809889120 140677307078357 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38367232 140734538214134 140734538216645 140734538216645 140734538219471 0
[pid=6593/tid=6724] ppid=6590 vsize=10832608 memory=734122135013046577 CPUtime=0.08 cores=0,2,4,6
/proc/6593/task/6724/stat : 6724 (java) S 6590 6593 5621 0 -1 1077944384 1 13147 0 1 0 0 5 3 20 0 15 0 404852408 11092590592 51026 33554432000 4194304 4196468 140734538211888 140676574632496 140677307079298 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38367232 140734538214134 140734538216645 140734538216645 140734538219471 0
Current children cumulated CPU time: 2.94 s
Current children cumulated vsize: 10832608 KiB
Current children cumulated memory: 204104 KiB

[startup+3.11036 s]
/proc/loadavg: 1.28 1.61 1.88 10/227 6726
/proc/meminfo: memFree=31122152/32770624 swapFree=66920008/67108860
[pid=6593] ppid=6590 vsize=10842868 memory=240952 CPUtime=7.19 cores=0,2,4,6
/proc/6593/stat : 6593 (java) S 6590 6593 5621 0 -1 1077944320 45877 13147 0 1 694 17 5 3 20 0 15 0 404852390 11103096832 60238 33554432000 4194304 4196468 140734538211888 140734538194432 140677307068151 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 1 0 0 6293624 6294260 38367232 140734538214134 140734538216645 140734538216645 140734538219471 0
/proc/6593/statm: 2710717 60238 3604 1 0 2672781 0
[pid=6593/tid=6698] ppid=6590 vsize=10842868 memory=734122135013046577 CPUtime=2.87 cores=0,2,4,6
/proc/6593/task/6698/stat : 6698 (java) R 6590 6593 5621 0 -1 4202560 21161 13147 0 1 271 8 5 3 20 0 15 0 404852402 11103096832 60238 33554432000 4194304 4196468 140734538211888 140677278901024 140677307080086 0 4 0 16800975 0 0 0 -1 4 0 0 11 0 0 6293624 6294260 38367232 140734538214134 140734538216645 140734538216645 140734538219471 0

################
# More data... #
################

/proc/6593/task/6698/stat : 6698 (java) R 6590 6593 5621 0 -1 4202560 135827 13147 0 1 235603 70 5 3 20 0 15 0 404852402 11113594880 414397 33554432000 4194304 4196468 140734538211888 140677278903744 140676917180393 0 4 0 16800975 0 0 0 -1 0 0 0 11 0 0 6293624 6294260 38367232 140734538214134 140734538216645 140734538216645 140734538219471 0
[pid=6593/tid=6703] ppid=6590 vsize=10853120 memory=1657588 CPUtime=16.2 cores=0,2,4,6
/proc/6593/task/6703/stat : 6703 (java) S 6590 6593 5621 0 -1 1077944384 30269 13147 0 1 1577 35 5 3 20 0 15 0 404852403 11113594880 414397 33554432000 4194304 4196468 140734538211888 140677311310864 140677307078357 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38367232 140734538214134 140734538216645 140734538216645 140734538219471 0
[pid=6593/tid=6704] ppid=6590 vsize=10853120 memory=1657588 CPUtime=16.17 cores=0,2,4,6
/proc/6593/task/6704/stat : 6704 (java) S 6590 6593 5621 0 -1 1077944384 36380 13147 0 1 1569 40 5 3 20 0 15 0 404852403 11113594880 414397 33554432000 4194304 4196468 140734538211888 140677226130576 140677307078357 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38367232 140734538214134 140734538216645 140734538216645 140734538219471 0
[pid=6593/tid=6705] ppid=6590 vsize=10853120 memory=1657588 CPUtime=16.17 cores=0,2,4,6
/proc/6593/task/6705/stat : 6705 (java) S 6590 6593 5621 0 -1 1077944384 32096 13147 0 1 1570 39 5 3 20 0 15 0 404852403 11113594880 414397 33554432000 4194304 4196468 140734538211888 140676879276816 140677307078357 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38367232 140734538214134 140734538216645 140734538216645 140734538219471 0
[pid=6593/tid=6706] ppid=6590 vsize=10853120 memory=1657588 CPUtime=16.15 cores=0,2,4,6
/proc/6593/task/6706/stat : 6706 (java) S 6590 6593 5621 0 -1 1077944384 39314 13147 0 1 1571 36 5 3 20 0 15 0 404852403 11113594880 414397 33554432000 4194304 4196468 140734538211888 140676878224272 140677307078357 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38367232 140734538214134 140734538216645 140734538216645 140734538219471 0
[pid=6593/tid=6708] ppid=6590 vsize=10853120 memory=0 CPUtime=6.5 cores=0,2,4,6
/proc/6593/task/6708/stat : 6708 (java) S 6590 6593 5621 0 -1 1077944384 28204 13147 0 1 592 50 5 3 20 0 15 0 404852404 11113594880 414397 33554432000 4194304 4196468 140734538211888 140676578842864 140677307079298 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38367232 140734538214134 140734538216645 140734538216645 140734538219471 0
[pid=6593/tid=6710] ppid=6590 vsize=10853120 memory=1657588 CPUtime=0.08 cores=0,2,4,6
/proc/6593/task/6710/stat : 6710 (java) S 6590 6593 5621 0 -1 1077944384 23 13147 0 1 0 0 5 3 20 0 15 0 404852405 11113594880 414397 33554432000 4194304 4196468 140734538211888 140676285064480 140677307078357 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38367232 140734538214134 140734538216645 140734538216645 140734538219471 0
[pid=6593/tid=6712] ppid=6590 vsize=10853120 memory=1657588 CPUtime=0.08 cores=0,2,4,6
/proc/6593/task/6712/stat : 6712 (java) S 6590 6593 5621 0 -1 1077944384 22 13147 0 1 0 0 5 3 20 0 15 0 404852405 11113594880 414397 33554432000 4194304 4196468 140734538211888 140676083737344 140677307078357 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38367232 140734538214134 140734538216645 140734538216645 140734538219471 0
[pid=6593/tid=6717] ppid=6590 vsize=10853120 memory=1657588 CPUtime=0.08 cores=0,2,4,6
/proc/6593/task/6717/stat : 6717 (java) S 6590 6593 5621 0 -1 1077944384 3 13147 0 1 0 0 5 3 20 0 15 0 404852408 11113594880 414397 33554432000 4194304 4196468 140734538211888 140675843446736 140677307086747 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38367232 140734538214134 140734538216645 140734538216645 140734538219471 0
[pid=6593/tid=6718] ppid=6590 vsize=10853120 memory=1657588 CPUtime=11.12 cores=0,2,4,6
/proc/6593/task/6718/stat : 6718 (java) S 6590 6593 5621 0 -1 1077944384 61526 13147 0 1 1095 9 5 3 20 0 15 0 404852408 11113594880 414397 33554432000 4194304 4196468 140734538211888 140676577790704 140677307079298 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38367232 140734538214134 140734538216645 140734538216645 140734538219471 0
[pid=6593/tid=6719] ppid=6590 vsize=10853120 memory=3580 CPUtime=10.61 cores=0,2,4,6
/proc/6593/task/6719/stat : 6719 (java) S 6590 6593 5621 0 -1 1077944384 58742 13147 0 1 1046 7 5 3 20 0 15 0 404852408 11113594880 414397 33554432000 4194304 4196468 140734538211888 140676576738160 140677307079298 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38367232 140734538214134 140734538216645 140734538216645 140734538219471 0
[pid=6593/tid=6720] ppid=6590 vsize=10853120 memory=3580 CPUtime=4.62 cores=0,2,4,6
/proc/6593/task/6720/stat : 6720 (java) S 6590 6593 5621 0 -1 1077944384 35019 13147 0 1 444 10 5 3 20 0 15 0 404852408 11113594880 414397 33554432000 4194304 4196468 140734538211888 140676575685104 140677307079298 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38367232 140734538214134 140734538216645 140734538216645 140734538219471 0
[pid=6593/tid=6722] ppid=6590 vsize=10853120 memory=15748 CPUtime=0.08 cores=0,2,4,6
/proc/6593/task/6722/stat : 6722 (java) S 6590 6593 5621 0 -1 1077944384 3 13147 0 1 0 0 5 3 20 0 15 0 404852408 11113594880 414397 33554432000 4194304 4196468 140734538211888 140675809889120 140677307078357 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38367232 140734538214134 140734538216645 140734538216645 140734538219471 0
[pid=6593/tid=6724] ppid=6590 vsize=10853120 memory=1657588 CPUtime=1.55 cores=0,2,4,6
/proc/6593/task/6724/stat : 6724 (java) S 6590 6593 5621 0 -1 1077944384 2251 13147 0 1 71 76 5 3 20 0 15 0 404852408 11113594880 414397 33554432000 4194304 4196468 140734538211888 140676574632496 140677307079298 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 1 0 0 6293624 6294260 38367232 140734538214134 140734538216645 140734538216645 140734538219471 0
Current children cumulated CPU time: 2455.3 s
Current children cumulated vsize: 10853120 KiB
Current children cumulated memory: 1657588 KiB

[startup+2442.3 s]
/proc/loadavg: 1.35 1.39 1.46 3/226 7107
/proc/meminfo: memFree=28408648/32770624 swapFree=66920064/67108860
[pid=6593] ppid=6590 vsize=10853120 memory=1606272 CPUtime=2516.59 cores=0,2,4,6
/proc/6593/stat : 6593 (java) S 6590 6593 5621 0 -1 1077944320 465114 13147 0 1 251302 349 5 3 20 0 15 0 404852390 11113594880 401568 33554432000 4194304 4196468 140734538211888 140734538194432 140677307068151 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 1 0 0 6293624 6294260 38367232 140734538214134 140734538216645 140734538216645 140734538219471 0
/proc/6593/statm: 2713280 401568 3636 1 0 2675341 0
[pid=6593/tid=6698] ppid=6590 vsize=10853120 memory=1612944 CPUtime=2416.14 cores=0,2,4,6
/proc/6593/task/6698/stat : 6698 (java) R 6590 6593 5621 0 -1 4202560 136845 13147 0 1 241535 71 5 3 20 0 15 0 404852402 11113594880 401568 33554432000 4194304 4196468 140734538211888 140677278903840 140677290243786 0 4 0 16800975 0 0 0 -1 2 0 0 11 0 0 6293624 6294260 38367232 140734538214134 140734538216645 140734538216645 140734538219471 0
[pid=6593/tid=6703] ppid=6590 vsize=10853120 memory=1619104 CPUtime=16.64 cores=0,2,4,6
/proc/6593/task/6703/stat : 6703 (java) S 6590 6593 5621 0 -1 1077944384 30749 13147 0 1 1620 36 5 3 20 0 15 0 404852403 11113594880 401568 33554432000 4194304 4196468 140734538211888 140677311310864 140677307078357 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38367232 140734538214134 140734538216645 140734538216645 140734538219471 0
[pid=6593/tid=6704] ppid=6590 vsize=10853120 memory=1656048 CPUtime=16.61 cores=0,2,4,6
/proc/6593/task/6704/stat : 6704 (java) S 6590 6593 5621 0 -1 1077944384 36627 13147 0 1 1612 41 5 3 20 0 15 0 404852403 11113594880 401568 33554432000 4194304 4196468 140734538211888 140677226130576 140677307078357 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38367232 140734538214134 140734538216645 140734538216645 140734538219471 0
[pid=6593/tid=6705] ppid=6590 vsize=10853120 memory=1653996 CPUtime=16.61 cores=0,2,4,6
/proc/6593/task/6705/stat : 6705 (java) S 6590 6593 5621 0 -1 1077944384 32435 13147 0 1 1613 40 5 3 20 0 15 0 404852403 11113594880 401568 33554432000 4194304 4196468 140734538211888 140676879276816 140677307078357 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38367232 140734538214134 140734538216645 140734538216645 140734538219471 0
[pid=6593/tid=6706] ppid=6590 vsize=10853120 memory=1653484 CPUtime=16.59 cores=0,2,4,6
/proc/6593/task/6706/stat : 6706 (java) S 6590 6593 5621 0 -1 1077944384 39747 13147 0 1 1614 37 5 3 20 0 15 0 404852403 11113594880 401568 33554432000 4194304 4196468 140734538211888 140676878224272 140677307078357 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38367232 140734538214134 140734538216645 140734538216645 140734538219471 0
[pid=6593/tid=6708] ppid=6590 vsize=10853120 memory=1622696 CPUtime=6.67 cores=0,2,4,6
/proc/6593/task/6708/stat : 6708 (java) S 6590 6593 5621 0 -1 1077944384 28442 13147 0 1 607 52 5 3 20 0 15 0 404852404 11113594880 401568 33554432000 4194304 4196468 140734538211888 140676578842864 140677307079298 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38367232 140734538214134 140734538216645 140734538216645 140734538219471 0
[pid=6593/tid=6710] ppid=6590 vsize=10853120 memory=1606272 CPUtime=0.08 cores=0,2,4,6
/proc/6593/task/6710/stat : 6710 (java) S 6590 6593 5621 0 -1 1077944384 23 13147 0 1 0 0 5 3 20 0 15 0 404852405 11113594880 401568 33554432000 4194304 4196468 140734538211888 140676285064480 140677307078357 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38367232 140734538214134 140734538216645 140734538216645 140734538219471 0
[pid=6593/tid=6712] ppid=6590 vsize=10853120 memory=1616536 CPUtime=0.08 cores=0,2,4,6
/proc/6593/task/6712/stat : 6712 (java) S 6590 6593 5621 0 -1 1077944384 22 13147 0 1 0 0 5 3 20 0 15 0 404852405 11113594880 401568 33554432000 4194304 4196468 140734538211888 140676083737344 140677307078357 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38367232 140734538214134 140734538216645 140734538216645 140734538219471 0
[pid=6593/tid=6717] ppid=6590 vsize=10853120 memory=1612944 CPUtime=0.08 cores=0,2,4,6
/proc/6593/task/6717/stat : 6717 (java) S 6590 6593 5621 0 -1 1077944384 3 13147 0 1 0 0 5 3 20 0 15 0 404852408 11113594880 401568 33554432000 4194304 4196468 140734538211888 140675843446736 140677307086747 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38367232 140734538214134 140734538216645 140734538216645 140734538219471 0
[pid=6593/tid=6718] ppid=6590 vsize=10853120 memory=3580 CPUtime=11.12 cores=0,2,4,6
/proc/6593/task/6718/stat : 6718 (java) S 6590 6593 5621 0 -1 1077944384 61976 13147 0 1 1095 9 5 3 20 0 15 0 404852408 11113594880 401568 33554432000 4194304 4196468 140734538211888 140676577790704 140677307079298 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38367232 140734538214134 140734538216645 140734538216645 140734538219471 0
[pid=6593/tid=6719] ppid=6590 vsize=10853120 memory=1611916 CPUtime=10.61 cores=0,2,4,6
/proc/6593/task/6719/stat : 6719 (java) S 6590 6593 5621 0 -1 1077944384 58744 13147 0 1 1046 7 5 3 20 0 15 0 404852408 11113594880 401568 33554432000 4194304 4196468 140734538211888 140676576738160 140677307079298 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38367232 140734538214134 140734538216645 140734538216645 140734538219471 0
[pid=6593/tid=6720] ppid=6590 vsize=10853120 memory=1612432 CPUtime=4.62 cores=0,2,4,6
/proc/6593/task/6720/stat : 6720 (java) S 6590 6593 5621 0 -1 1077944384 35021 13147 0 1 444 10 5 3 20 0 15 0 404852408 11113594880 401568 33554432000 4194304 4196468 140734538211888 140676575685104 140677307079298 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38367232 140734538214134 140734538216645 140734538216645 140734538219471 0
[pid=6593/tid=6722] ppid=6590 vsize=10853120 memory=1607296 CPUtime=0.08 cores=0,2,4,6
/proc/6593/task/6722/stat : 6722 (java) S 6590 6593 5621 0 -1 1077944384 3 13147 0 1 0 0 5 3 20 0 15 0 404852408 11113594880 401568 33554432000 4194304 4196468 140734538211888 140675809889120 140677307078357 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38367232 140734538214134 140734538216645 140734538216645 140734538219471 0
[pid=6593/tid=6724] ppid=6590 vsize=10853120 memory=111632 CPUtime=1.59 cores=0,2,4,6
/proc/6593/task/6724/stat : 6724 (java) S 6590 6593 5621 0 -1 1077944384 2268 13147 0 1 73 78 5 3 20 0 15 0 404852408 11113594880 401568 33554432000 4194304 4196468 140734538211888 140676574632496 140677307079298 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 1 0 0 6293624 6294260 38367232 140734538214134 140734538216645 140734538216645 140734538219471 0
Current children cumulated CPU time: 2516.59 s
Current children cumulated vsize: 10853120 KiB
Current children cumulated memory: 1606272 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2445.7 s]
/proc/loadavg: 1.35 1.39 1.46 3/226 7107
/proc/meminfo: memFree=28414116/32770624 swapFree=66920064/67108860
[pid=6593] ppid=6590 vsize=10853120 memory=1600628 CPUtime=2520.07 cores=0,2,4,6
/proc/6593/stat : 6593 (java) S 6590 6593 5621 0 -1 1077944320 465232 13147 0 1 251650 349 5 3 20 0 15 0 404852390 11113594880 400157 33554432000 4194304 4196468 140734538211888 140734538194432 140677307068151 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 1 0 0 6293624 6294260 38367232 140734538214134 140734538216645 140734538216645 140734538219471 0
/proc/6593/statm: 2713280 400157 3636 1 0 2675341 0
[pid=6593/tid=6698] ppid=6590 vsize=10853120 memory=1604220 CPUtime=2419.51 cores=0,2,4,6
/proc/6593/task/6698/stat : 6698 (java) R 6590 6593 5621 0 -1 4202560 136957 13147 0 1 241872 71 5 3 20 0 15 0 404852402 11113594880 400157 33554432000 4194304 4196468 140734538211888 140677278903824 140677289588731 0 4 0 16800975 0 0 0 -1 4 0 0 11 0 0 6293624 6294260 38367232 140734538214134 140734538216645 140734538216645 140734538219471 0
[pid=6593/tid=6703] ppid=6590 vsize=10853120 memory=1622696 CPUtime=16.66 cores=0,2,4,6
/proc/6593/task/6703/stat : 6703 (java) S 6590 6593 5621 0 -1 1077944384 30751 13147 0 1 1622 36 5 3 20 0 15 0 404852403 11113594880 400157 33554432000 4194304 4196468 140734538211888 140677311310864 140677307078357 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38367232 140734538214134 140734538216645 140734538216645 140734538219471 0
[pid=6593/tid=6704] ppid=6590 vsize=10853120 memory=1653484 CPUtime=16.64 cores=0,2,4,6
/proc/6593/task/6704/stat : 6704 (java) S 6590 6593 5621 0 -1 1077944384 36629 13147 0 1 1615 41 5 3 20 0 15 0 404852403 11113594880 400157 33554432000 4194304 4196468 140734538211888 140677226130576 140677307078357 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38367232 140734538214134 140734538216645 140734538216645 140734538219471 0
[pid=6593/tid=6705] ppid=6590 vsize=10853120 memory=1653996 CPUtime=16.64 cores=0,2,4,6
/proc/6593/task/6705/stat : 6705 (java) S 6590 6593 5621 0 -1 1077944384 32436 13147 0 1 1616 40 5 3 20 0 15 0 404852403 11113594880 400157 33554432000 4194304 4196468 140734538211888 140676879276816 140677307078357 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38367232 140734538214134 140734538216645 140734538216645 140734538219471 0
[pid=6593/tid=6706] ppid=6590 vsize=10853120 memory=1656048 CPUtime=16.61 cores=0,2,4,6
/proc/6593/task/6706/stat : 6706 (java) S 6590 6593 5621 0 -1 1077944384 39748 13147 0 1 1616 37 5 3 20 0 15 0 404852403 11113594880 400157 33554432000 4194304 4196468 140734538211888 140676878224272 140677307078357 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38367232 140734538214134 140734538216645 140734538216645 140734538219471 0
[pid=6593/tid=6708] ppid=6590 vsize=10853120 memory=1619104 CPUtime=6.68 cores=0,2,4,6
/proc/6593/task/6708/stat : 6708 (java) S 6590 6593 5621 0 -1 1077944384 28442 13147 0 1 608 52 5 3 20 0 15 0 404852404 11113594880 400157 33554432000 4194304 4196468 140734538211888 140676578842864 140677307079298 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38367232 140734538214134 140734538216645 140734538216645 140734538219471 0
[pid=6593/tid=6710] ppid=6590 vsize=10853120 memory=1605244 CPUtime=0.08 cores=0,2,4,6
/proc/6593/task/6710/stat : 6710 (java) S 6590 6593 5621 0 -1 1077944384 23 13147 0 1 0 0 5 3 20 0 15 0 404852405 11113594880 400157 33554432000 4194304 4196468 140734538211888 140676285064480 140677307078357 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38367232 140734538214134 140734538216645 140734538216645 140734538219471 0
[pid=6593/tid=6712] ppid=6590 vsize=10853120 memory=1601140 CPUtime=0.08 cores=0,2,4,6
/proc/6593/task/6712/stat : 6712 (java) S 6590 6593 5621 0 -1 1077944384 22 13147 0 1 0 0 5 3 20 0 15 0 404852405 11113594880 400157 33554432000 4194304 4196468 140734538211888 140676083737344 140677307078357 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38367232 140734538214134 140734538216645 140734538216645 140734538219471 0
[pid=6593/tid=6717] ppid=6590 vsize=10853120 memory=1552 CPUtime=0.08 cores=0,2,4,6
/proc/6593/task/6717/stat : 6717 (java) S 6590 6593 5621 0 -1 1077944384 3 13147 0 1 0 0 5 3 20 0 15 0 404852408 11113594880 400157 33554432000 4194304 4196468 140734538211888 140675843446736 140677307086747 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38367232 140734538214134 140734538216645 140734538216645 140734538219471 0
[pid=6593/tid=6718] ppid=6590 vsize=10853120 memory=1626800 CPUtime=11.12 cores=0,2,4,6
/proc/6593/task/6718/stat : 6718 (java) S 6590 6593 5621 0 -1 1077944384 61976 13147 0 1 1095 9 5 3 20 0 15 0 404852408 11113594880 400157 33554432000 4194304 4196468 140734538211888 140676577790704 140677307079298 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38367232 140734538214134 140734538216645 140734538216645 140734538219471 0
[pid=6593/tid=6719] ppid=6590 vsize=10853120 memory=1120 CPUtime=10.61 cores=0,2,4,6
/proc/6593/task/6719/stat : 6719 (java) S 6590 6593 5621 0 -1 1077944384 58744 13147 0 1 1046 7 5 3 20 0 15 0 404852408 11113594880 400157 33554432000 4194304 4196468 140734538211888 140676576738160 140677307079298 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38367232 140734538214134 140734538216645 140734538216645 140734538219471 0
[pid=6593/tid=6720] ppid=6590 vsize=10853120 memory=1604220 CPUtime=4.62 cores=0,2,4,6
/proc/6593/task/6720/stat : 6720 (java) S 6590 6593 5621 0 -1 1077944384 35021 13147 0 1 444 10 5 3 20 0 15 0 404852408 11113594880 400157 33554432000 4194304 4196468 140734538211888 140676575685104 140677307079298 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38367232 140734538214134 140734538216645 140734538216645 140734538219471 0
[pid=6593/tid=6722] ppid=6590 vsize=10853120 memory=1604220 CPUtime=0.08 cores=0,2,4,6
/proc/6593/task/6722/stat : 6722 (java) S 6590 6593 5621 0 -1 1077944384 3 13147 0 1 0 0 5 3 20 0 15 0 404852408 11113594880 400157 33554432000 4194304 4196468 140734538211888 140675809889120 140677307078357 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38367232 140734538214134 140734538216645 140734538216645 140734538219471 0
[pid=6593/tid=6724] ppid=6590 vsize=10853120 memory=1615508 CPUtime=1.59 cores=0,2,4,6
/proc/6593/task/6724/stat : 6724 (java) S 6590 6593 5621 0 -1 1077944384 2268 13147 0 1 73 78 5 3 20 0 15 0 404852408 11113594880 400157 33554432000 4194304 4196468 140734538211888 140676574632496 140677307079298 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 1 0 0 6293624 6294260 38367232 140734538214134 140734538216645 140734538216645 140734538219471 0
Current children cumulated CPU time: 2520.07 s
Current children cumulated vsize: 10853120 KiB
Current children cumulated memory: 1600628 KiB

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

[startup+2445.73 s]
# the end of solver process 6593 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2516.57 s, system=3.54744 s

Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples

[startup+2445.7 s]
/proc/loadavg: 1.35 1.39 1.46 3/226 7107
/proc/meminfo: memFree=28414116/32770624 swapFree=66920064/67108860
[pid=6593] ppid=6590 vsize=10853120 memory=1600628 CPUtime=2520.07 cores=0,2,4,6
/proc/6593/stat : 6593 (java) S 6590 6593 5621 0 -1 1077944320 465232 13147 0 1 251650 349 5 3 20 0 15 0 404852390 11113594880 400157 33554432000 4194304 4196468 140734538211888 140734538194432 140677307068151 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 1 0 0 6293624 6294260 38367232 140734538214134 140734538216645 140734538216645 140734538219471 0
/proc/6593/statm: 2713280 400157 3636 1 0 2675341 0
[pid=6593/tid=6698] ppid=6590 vsize=10853120 memory=1604220 CPUtime=2419.51 cores=0,2,4,6
/proc/6593/task/6698/stat : 6698 (java) R 6590 6593 5621 0 -1 4202560 136957 13147 0 1 241872 71 5 3 20 0 15 0 404852402 11113594880 400157 33554432000 4194304 4196468 140734538211888 140677278903824 140677289588731 0 4 0 16800975 0 0 0 -1 4 0 0 11 0 0 6293624 6294260 38367232 140734538214134 140734538216645 140734538216645 140734538219471 0
[pid=6593/tid=6703] ppid=6590 vsize=10853120 memory=1622696 CPUtime=16.66 cores=0,2,4,6
/proc/6593/task/6703/stat : 6703 (java) S 6590 6593 5621 0 -1 1077944384 30751 13147 0 1 1622 36 5 3 20 0 15 0 404852403 11113594880 400157 33554432000 4194304 4196468 140734538211888 140677311310864 140677307078357 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38367232 140734538214134 140734538216645 140734538216645 140734538219471 0
[pid=6593/tid=6704] ppid=6590 vsize=10853120 memory=1653484 CPUtime=16.64 cores=0,2,4,6
/proc/6593/task/6704/stat : 6704 (java) S 6590 6593 5621 0 -1 1077944384 36629 13147 0 1 1615 41 5 3 20 0 15 0 404852403 11113594880 400157 33554432000 4194304 4196468 140734538211888 140677226130576 140677307078357 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38367232 140734538214134 140734538216645 140734538216645 140734538219471 0
[pid=6593/tid=6705] ppid=6590 vsize=10853120 memory=1653996 CPUtime=16.64 cores=0,2,4,6
/proc/6593/task/6705/stat : 6705 (java) S 6590 6593 5621 0 -1 1077944384 32436 13147 0 1 1616 40 5 3 20 0 15 0 404852403 11113594880 400157 33554432000 4194304 4196468 140734538211888 140676879276816 140677307078357 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38367232 140734538214134 140734538216645 140734538216645 140734538219471 0
[pid=6593/tid=6706] ppid=6590 vsize=10853120 memory=1656048 CPUtime=16.61 cores=0,2,4,6
/proc/6593/task/6706/stat : 6706 (java) S 6590 6593 5621 0 -1 1077944384 39748 13147 0 1 1616 37 5 3 20 0 15 0 404852403 11113594880 400157 33554432000 4194304 4196468 140734538211888 140676878224272 140677307078357 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38367232 140734538214134 140734538216645 140734538216645 140734538219471 0
[pid=6593/tid=6708] ppid=6590 vsize=10853120 memory=1619104 CPUtime=6.68 cores=0,2,4,6
/proc/6593/task/6708/stat : 6708 (java) S 6590 6593 5621 0 -1 1077944384 28442 13147 0 1 608 52 5 3 20 0 15 0 404852404 11113594880 400157 33554432000 4194304 4196468 140734538211888 140676578842864 140677307079298 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38367232 140734538214134 140734538216645 140734538216645 140734538219471 0
[pid=6593/tid=6710] ppid=6590 vsize=10853120 memory=1605244 CPUtime=0.08 cores=0,2,4,6
/proc/6593/task/6710/stat : 6710 (java) S 6590 6593 5621 0 -1 1077944384 23 13147 0 1 0 0 5 3 20 0 15 0 404852405 11113594880 400157 33554432000 4194304 4196468 140734538211888 140676285064480 140677307078357 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38367232 140734538214134 140734538216645 140734538216645 140734538219471 0
[pid=6593/tid=6712] ppid=6590 vsize=10853120 memory=1601140 CPUtime=0.08 cores=0,2,4,6
/proc/6593/task/6712/stat : 6712 (java) S 6590 6593 5621 0 -1 1077944384 22 13147 0 1 0 0 5 3 20 0 15 0 404852405 11113594880 400157 33554432000 4194304 4196468 140734538211888 140676083737344 140677307078357 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38367232 140734538214134 140734538216645 140734538216645 140734538219471 0
[pid=6593/tid=6717] ppid=6590 vsize=10853120 memory=1552 CPUtime=0.08 cores=0,2,4,6
/proc/6593/task/6717/stat : 6717 (java) S 6590 6593 5621 0 -1 1077944384 3 13147 0 1 0 0 5 3 20 0 15 0 404852408 11113594880 400157 33554432000 4194304 4196468 140734538211888 140675843446736 140677307086747 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38367232 140734538214134 140734538216645 140734538216645 140734538219471 0
[pid=6593/tid=6718] ppid=6590 vsize=10853120 memory=1626800 CPUtime=11.12 cores=0,2,4,6
/proc/6593/task/6718/stat : 6718 (java) S 6590 6593 5621 0 -1 1077944384 61976 13147 0 1 1095 9 5 3 20 0 15 0 404852408 11113594880 400157 33554432000 4194304 4196468 140734538211888 140676577790704 140677307079298 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38367232 140734538214134 140734538216645 140734538216645 140734538219471 0
[pid=6593/tid=6719] ppid=6590 vsize=10853120 memory=1120 CPUtime=10.61 cores=0,2,4,6
/proc/6593/task/6719/stat : 6719 (java) S 6590 6593 5621 0 -1 1077944384 58744 13147 0 1 1046 7 5 3 20 0 15 0 404852408 11113594880 400157 33554432000 4194304 4196468 140734538211888 140676576738160 140677307079298 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38367232 140734538214134 140734538216645 140734538216645 140734538219471 0
[pid=6593/tid=6720] ppid=6590 vsize=10853120 memory=1604220 CPUtime=4.62 cores=0,2,4,6
/proc/6593/task/6720/stat : 6720 (java) S 6590 6593 5621 0 -1 1077944384 35021 13147 0 1 444 10 5 3 20 0 15 0 404852408 11113594880 400157 33554432000 4194304 4196468 140734538211888 140676575685104 140677307079298 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38367232 140734538214134 140734538216645 140734538216645 140734538219471 0
[pid=6593/tid=6722] ppid=6590 vsize=10853120 memory=1604220 CPUtime=0.08 cores=0,2,4,6
/proc/6593/task/6722/stat : 6722 (java) S 6590 6593 5621 0 -1 1077944384 3 13147 0 1 0 0 5 3 20 0 15 0 404852408 11113594880 400157 33554432000 4194304 4196468 140734538211888 140675809889120 140677307078357 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38367232 140734538214134 140734538216645 140734538216645 140734538219471 0
[pid=6593/tid=6724] ppid=6590 vsize=10853120 memory=1615508 CPUtime=1.59 cores=0,2,4,6
/proc/6593/task/6724/stat : 6724 (java) S 6590 6593 5621 0 -1 1077944384 2268 13147 0 1 73 78 5 3 20 0 15 0 404852408 11113594880 400157 33554432000 4194304 4196468 140734538211888 140676574632496 140677307079298 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 1 0 0 6293624 6294260 38367232 140734538214134 140734538216645 140734538216645 140734538219471 0
Current children cumulated CPU time: 2520.07 s
Current children cumulated vsize: 10853120 KiB
Current children cumulated memory: 1600628 KiB

Child status: 143
Real time (s): 2445.73
CPU time (s): 2520.12
CPU user time (s): 2516.57
CPU system time (s): 3.54744
CPU usage (%): 103.042
Max. virtual memory (cumulated for all children) (KiB): 10853992
Max. memory (cumulated for all children) (KiB): 2859652

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2516.57
system time used= 3.54744
maximum resident set size= 2861704
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 479291
page faults= 1
swaps= 0
block input operations= 192
block output operations= 3160
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 197928
involuntary context switches= 7386


# summary of solver processes directly reported to runsolver:
#   pid: 6593
#   total CPU time (s): 2520.12
#   total CPU user time (s): 2516.57
#   total CPU system time (s): 3.54744

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.1731 second user time and 22.3169 second system time

The end

Name	Scheduling/Scheduling-os-taillard/ Taillard-os-15-15-5.xml
MD5SUM	8b9c4e6e7c9e88d5c00f06b3f0219a0c
Bench Category	COP (optimization problem)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables	915
Number of constraints	720
Number of domains	17
Minimum domain size	13
Maximum domain size	1059
Distribution of domain sizes	[{"size":13,"count":30},{"size":14,"count":90},{"size":15,"count":330},{"size":1059,"count":465}]
Minimum variable degree	2
Maximum variable degree	16
Distribution of variable degrees	[{"degree":2,"count":240},{"degree":3,"count":450},{"degree":16,"count":225}]
Minimum constraint arity	1
Maximum constraint arity	17
Distribution of constraint arities	[{"arity":1,"count":15},{"arity":2,"count":225},{"arity":3,"count":225},{"arity":15,"count":30},{"arity":17,"count":225}]
Number of extensional constraints	225
Number of intensional constraints	240
Distribution of constraint types	[{"type":"extension","count":225},{"type":"intension","count":240},{"type":"allDifferent","count":15},{"type":"noOverlap","count":15},{"type":"element","count":225}]
Optimization problem	YES
Type of objective	min MAXIMUM

Trace number 4386967

Some explanations

Solver answer on this benchmark

General information on the benchmark

Solver Data

Verifier Data

Watcher Data

Launcher Data