Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
choco-solver 2019-06-14 parallel | Wrong Opt. | 80 | 25.1677 | 4.1535 |
Name | Fastfood/Fastfood-m1-s1/ Fastfood-ff65.xml |
MD5SUM | 0deffa9f0e673ce4a3cf2d2074b556a7 |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 63 |
Best CPU time to get the best result obtained on this benchmark | 10.0508 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 560 |
Number of constraints | 545 |
Number of domains | 27 |
Minimum domain size | 23 |
Maximum domain size | 26 |
Distribution of domain sizes | [{"size":23,"count":17},{"size":25,"count":51},{"size":26,"count":492}] |
Minimum variable degree | 2 |
Maximum variable degree | 33 |
Distribution of variable degrees | [{"degree":2,"count":544},{"degree":33,"count":16}] |
Minimum constraint arity | 2 |
Maximum constraint arity | 17 |
Distribution of constraint arities | [{"arity":2,"count":512},{"arity":16,"count":1},{"arity":17,"count":32}] |
Number of extensional constraints | 512 |
Number of intensional constraints | 0 |
Distribution of constraint types | [{"type":"extension","count":512},{"type":"ordered","count":1},{"type":"minimum","count":32}] |
Optimization problem | YES |
Type of objective | min SUM |
0.00/0.00 c java -server -Xmx24000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4394377-1568441887.xml" -tl '20160s' -p 8 0.12/0.18 c Choco e747e1e 0.12/0.18 c [HOME/instance-4394377-1568441887.xml, -tl, 20160s, -p, 8] 0.33/0.23 c 8 solvers in parallel 0.33/0.29 c parse instance... 8.58/1.80 c solve instance... 14.51/2.65 o 4691 14.51/2.67 o 4336 17.39/3.09 o 193 17.39/3.09 o 189 17.39/3.09 o 139 17.39/3.09 o 128 18.09/3.11 o 125 18.09/3.18 o 120 18.61/3.26 o 118 20.01/3.47 o 113 20.01/3.48 o 103 20.56/3.51 o 101 20.56/3.52 o 89 20.56/3.55 o 86 21.20/3.62 java.util.concurrent.ExecutionException: org.chocosolver.solver.exception.SolverException: Learn a weak clause (1135/1142) 21.20/3.62 at java.util.concurrent.ForkJoinTask.get(ForkJoinTask.java:1006) 21.20/3.62 at org.chocosolver.solver.ParallelPortfolio.solve(ParallelPortfolio.java:207) 21.20/3.62 at org.chocosolver.parser.xcsp.XCSP.manyThread(XCSP.java:162) 21.20/3.62 at org.chocosolver.parser.xcsp.XCSP.solve(XCSP.java:132) 21.20/3.62 at org.chocosolver.parser.xcsp.ChocoXCSP.main(ChocoXCSP.java:24) 21.20/3.62 Caused by: org.chocosolver.solver.exception.SolverException: Learn a weak clause (1135/1142) 21.20/3.62 at org.chocosolver.solver.constraints.nary.clauses.ClauseStore.check(ClauseStore.java:201) 21.20/3.62 at org.chocosolver.solver.constraints.nary.clauses.ClauseStore.forget(ClauseStore.java:219) 21.20/3.62 at org.chocosolver.solver.search.loop.learn.LearnSignedClauses.forget(LearnSignedClauses.java:90) 21.20/3.62 at org.chocosolver.solver.Solver.repair(Solver.java:443) 21.20/3.62 at org.chocosolver.solver.Solver.searchLoop(Solver.java:301) 21.20/3.62 at org.chocosolver.solver.Solver.solve(Solver.java:262) 21.20/3.62 at org.chocosolver.solver.ParallelPortfolio.lambda$null$0(ParallelPortfolio.java:202) 21.20/3.62 at java.util.stream.ForEachOps$ForEachOp$OfRef.accept(ForEachOps.java:184) 21.20/3.62 at java.util.ArrayList$ArrayListSpliterator.forEachRemaining(ArrayList.java:1374) 21.20/3.62 at java.util.stream.AbstractPipeline.copyInto(AbstractPipeline.java:481) 21.20/3.62 at java.util.stream.ForEachOps$ForEachTask.compute(ForEachOps.java:291) 21.20/3.62 at java.util.concurrent.CountedCompleter.exec(CountedCompleter.java:731) 21.20/3.62 at java.util.concurrent.ForkJoinTask.doExec(ForkJoinTask.java:289) 21.20/3.62 at java.util.concurrent.ForkJoinPool$WorkQueue.runTask(ForkJoinPool.java:1056) 21.20/3.62 at java.util.concurrent.ForkJoinPool.runWorker(ForkJoinPool.java:1692) 21.20/3.62 at java.util.concurrent.ForkJoinWorkerThread.run(ForkJoinWorkerThread.java:157) 21.20/3.62 o 82 21.20/3.65 o 80 25.02/4.12 s OPTIMUM FOUND 25.02/4.12 v <instantiation> 25.02/4.12 v <list>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] drd[0][0] drd[0][1] drd[0][2] drd[0][3] drd[0][4] drd[0][5] drd[0][6] drd[0][7] drd[0][8] drd[0][9] drd[0][10] drd[0][11] drd[0][12] drd[0][13] drd[0][14] drd[0][15] drd[1][0] drd[1][1] drd[1][2] drd[1][3] drd[1][4] drd[1][5] drd[1][6] drd[1][7] drd[1][8] drd[1][9] drd[1][10] drd[1][11] drd[1][12] drd[1][13] drd[1][14] drd[1][15] drd[2][0] drd[2][1] drd[2][2] drd[2][3] drd[2][4] drd[2][5] drd[2][6] drd[2][7] drd[2][8] drd[2][9] drd[2][10] drd[2][11] drd[2][12] drd[2][13] drd[2][14] drd[2][15] drd[3][0] drd[3][1] drd[3][2] drd[3][3] drd[3][4] drd[3][5] drd[3][6] drd[3][7] drd[3][8] drd[3][9] drd[3][10] drd[3][11] drd[3][12] drd[3][13] drd[3][14] drd[3][15] drd[4][0] drd[4][1] drd[4][2] drd[4][3] drd[4][4] drd[4][5] drd[4][6] drd[4][7] drd[4][8] drd[4][9] drd[4][10] drd[4][11] drd[4][12] drd[4][13] drd[4][14] drd[4][15] drd[5][0] drd[5][1] drd[5][2] drd[5][3] drd[5][4] drd[5][5] drd[5][6] drd[5][7] drd[5][8] drd[5][9] drd[5][10] drd[5][11] drd[5][12] drd[5][13] drd[5][14] drd[5][15] drd[6][0] drd[6][1] drd[6][2] drd[6][3] drd[6][4] drd[6][5] drd[6][6] drd[6][7] drd[6][8] drd[6][9] drd[6][10] drd[6][11] drd[6][12] drd[6][13] drd[6][14] drd[6][15] drd[7][0] drd[7][1] drd[7][2] drd[7][3] drd[7][4] drd[7][5] drd[7][6] drd[7][7] drd[7][8] drd[7][9] drd[7][10] drd[7][11] drd[7][12] drd[7][13] drd[7][14] drd[7][15] drd[8][0] drd[8][1] drd[8][2] drd[8][3] drd[8][4] drd[8][5] drd[8][6] drd[8][7] drd[8][8] drd[8][9] drd[8][10] drd[8][11] drd[8][12] drd[8][13] drd[8][14] drd[8][15] drd[9][0] drd[9][1] drd[9][2] drd[9][3] drd[9][4] drd[9][5] drd[9][6] drd[9][7] drd[9][8] drd[9][9] drd[9][10] drd[9][11] drd[9][12] drd[9][13] drd[9][14] drd[9][15] drd[10][0] drd[10][1] drd[10][2] drd[10][3] drd[10][4] drd[10][5] drd[10][6] drd[10][7] drd[10][8] drd[10][9] drd[10][10] drd[10][11] drd[10][12] drd[10][13] drd[10][14] drd[10][15] drd[11][0] drd[11][1] drd[11][2] drd[11][3] drd[11][4] drd[11][5] drd[11][6] drd[11][7] drd[11][8] drd[11][9] drd[11][10] drd[11][11] drd[11][12] drd[11][13] drd[11][14] drd[11][15] drd[12][0] drd[12][1] drd[12][2] drd[12][3] drd[12][4] drd[12][5] drd[12][6] drd[12][7] drd[12][8] drd[12][9] drd[12][10] drd[12][11] drd[12][12] drd[12][13] drd[12][14] drd[12][15] drd[13][0] drd[13][1] drd[13][2] drd[13][3] drd[13][4] drd[13][5] drd[13][6] drd[13][7] drd[13][8] drd[13][9] drd[13][10] drd[13][11] drd[13][12] drd[13][13] drd[13][14] drd[13][15] drd[14][0] drd[14][1] drd[14][2] drd[14][3] drd[14][4] drd[14][5] drd[14][6] drd[14][7] drd[14][8] drd[14][9] drd[14][10] drd[14][11] drd[14][12] drd[14][13] drd[14][14] drd[14][15] drd[15][0] drd[15][1] drd[15][2] drd[15][3] drd[15][4] drd[15][5] drd[15][6] drd[15][7] drd[15][8] drd[15][9] drd[15][10] drd[15][11] drd[15][12] drd[15][13] drd[15][14] drd[15][15] drd[16][0] drd[16][1] drd[16][2] drd[16][3] drd[16][4] drd[16][5] drd[16][6] drd[16][7] drd[16][8] drd[16][9] drd[16][10] drd[16][11] drd[16][12] drd[16][13] drd[16][14] drd[16][15] drd[17][0] drd[17][1] drd[17][2] drd[17][3] drd[17][4] drd[17][5] drd[17][6] drd[17][7] drd[17][8] drd[17][9] drd[17][10] drd[17][11] drd[17][12] drd[17][13] drd[17][14] drd[17][15] drd[18][0] drd[18][1] drd[18][2] drd[18][3] drd[18][4] drd[18][5] drd[18][6] drd[18][7] drd[18][8] drd[18][9] drd[18][10] drd[18][11] drd[18][12] drd[18][13] drd[18][14] drd[18][15] drd[19][0] drd[19][1] drd[19][2] drd[19][3] drd[19][4] drd[19][5] drd[19][6] drd[19][7] drd[19][8] drd[19][9] drd[19][10] drd[19][11] drd[19][12] drd[19][13] drd[19][14] drd[19][15] drd[20][0] drd[20][1] drd[20][2] drd[20][3] drd[20][4] drd[20][5] drd[20][6] drd[20][7] drd[20][8] drd[20][9] drd[20][10] drd[20][11] drd[20][12] drd[20][13] drd[20][14] drd[20][15] drd[21][0] drd[21][1] drd[21][2] drd[21][3] drd[21][4] drd[21][5] drd[21][6] drd[21][7] drd[21][8] drd[21][9] drd[21][10] drd[21][11] drd[21][12] drd[21][13] drd[21][14] drd[21][15] drd[22][0] drd[22][1] drd[22][2] drd[22][3] drd[22][4] drd[22][5] drd[22][6] drd[22][7] drd[22][8] drd[22][9] drd[22][10] drd[22][11] drd[22][12] drd[22][13] drd[22][14] drd[22][15] drd[23][0] drd[23][1] drd[23][2] drd[23][3] drd[23][4] drd[23][5] drd[23][6] drd[23][7] drd[23][8] drd[23][9] drd[23][10] drd[23][11] drd[23][12] drd[23][13] drd[23][14] drd[23][15] drd[24][0] drd[24][1] drd[24][2] drd[24][3] drd[24][4] drd[24][5] drd[24][6] drd[24][7] drd[24][8] drd[24][9] drd[24][10] drd[24][11] drd[24][12] drd[24][13] drd[24][14] drd[24][15] drd[25][0] drd[25][1] drd[25][2] drd[25][3] drd[25][4] drd[25][5] drd[25][6] drd[25][7] drd[25][8] drd[25][9] drd[25][10] drd[25][11] drd[25][12] drd[25][13] drd[25][14] drd[25][15] drd[26][0] drd[26][1] drd[26][2] drd[26][3] drd[26][4] drd[26][5] drd[26][6] drd[26][7] drd[26][8] drd[26][9] drd[26][10] drd[26][11] drd[26][12] drd[26][13] drd[26][14] drd[26][15] drd[27][0] drd[27][1] drd[27][2] drd[27][3] drd[27][4] drd[27][5] drd[27][6] drd[27][7] drd[27][8] drd[27][9] drd[27][10] drd[27][11] drd[27][12] drd[27][13] drd[27][14] drd[27][15] drd[28][0] drd[28][1] drd[28][2] drd[28][3] drd[28][4] drd[28][5] drd[28][6] drd[28][7] drd[28][8] drd[28][9] drd[28][10] drd[28][11] drd[28][12] drd[28][13] drd[28][14] drd[28][15] drd[29][0] drd[29][1] drd[29][2] drd[29][3] drd[29][4] drd[29][5] drd[29][6] drd[29][7] drd[29][8] drd[29][9] drd[29][10] drd[29][11] drd[29][12] drd[29][13] drd[29][14] drd[29][15] drd[30][0] drd[30][1] drd[30][2] drd[30][3] drd[30][4] drd[30][5] drd[30][6] drd[30][7] drd[30][8] drd[30][9] drd[30][10] drd[30][11] drd[30][12] drd[30][13] drd[30][14] drd[30][15] drd[31][0] drd[31][1] drd[31][2] drd[31][3] drd[31][4] drd[31][5] drd[31][6] drd[31][7] drd[31][8] drd[31][9] drd[31][10] drd[31][11] drd[31][12] drd[31][13] drd[31][14] drd[31][15] dr[0] dr[1] dr[2] dr[3] dr[4] dr[5] dr[6] dr[7] dr[8] dr[9] dr[10] dr[11] dr[12] dr[13] dr[14] dr[15] dr[16] dr[17] dr[18] dr[19] dr[20] dr[21] dr[22] dr[23] dr[24] dr[25] dr[26] dr[27] dr[28] dr[29] dr[30] dr[31] </list> 25.02/4.12 v <values>23 50 62 95 122 160 187 209 238 467 512 546 548 606 661 711 114 87 75 42 15 23 50 72 101 330 375 409 411 469 524 574 27 0 12 45 72 110 137 159 188 417 462 496 498 556 611 661 99 72 60 27 0 38 65 87 116 345 390 424 426 484 539 589 99 72 60 27 0 38 65 87 116 345 390 424 426 484 539 589 64 37 25 8 35 73 100 122 151 380 425 459 461 519 574 624 58 31 19 14 41 79 106 128 157 386 431 465 467 525 580 630 164 137 125 92 65 27 0 22 51 280 325 359 361 419 474 524 35 8 4 37 64 102 129 151 180 409 454 488 490 548 603 653 137 110 98 65 38 0 27 49 78 307 352 386 388 446 501 551 75 48 36 3 24 62 89 111 140 369 414 448 450 508 563 613 72 45 33 0 27 65 92 114 143 372 417 451 453 511 566 616 2 25 37 70 97 135 162 184 213 442 487 521 523 581 636 686 0 27 39 72 99 137 164 186 215 444 489 523 525 583 638 688 688 661 649 616 589 551 524 502 473 244 199 165 163 105 50 0 18 9 21 54 81 119 146 168 197 426 471 505 507 565 620 670 489 462 450 417 390 352 325 303 274 45 0 34 36 94 149 199 489 462 450 417 390 352 325 303 274 45 0 34 36 94 149 199 81 54 42 9 18 56 83 105 134 363 408 442 444 502 557 607 44 17 5 28 55 93 120 142 171 400 445 479 481 539 594 644 638 611 599 566 539 501 474 452 423 194 149 115 113 55 0 50 638 611 599 566 539 501 474 452 423 194 149 115 113 55 0 50 444 417 405 372 345 307 280 258 229 0 45 79 81 139 194 244 444 417 405 372 345 307 280 258 229 0 45 79 81 139 194 244 215 188 176 143 116 78 51 29 0 229 274 308 310 368 423 473 39 12 0 33 60 98 125 147 176 405 450 484 486 544 599 649 39 12 0 33 60 98 125 147 176 405 450 484 486 544 599 649 583 556 544 511 484 446 419 397 368 139 94 60 58 0 55 105 583 556 544 511 484 446 419 397 368 139 94 60 58 0 55 105 186 159 147 114 87 49 22 0 29 258 303 337 339 397 452 502 11 38 50 83 110 148 175 197 226 455 500 534 536 594 649 699 525 498 486 453 426 388 361 339 310 81 36 2 0 58 113 163 523 496 484 451 424 386 359 337 308 79 34 0 2 60 115 165 15 0 0 0 8 14 0 4 0 3 0 2 0 0 9 0 0 9 5 0 0 0 0 0 0 0 0 0 0 11 0 0 </values> 25.02/4.12 v </instantiation>
OK 80
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 (15082 MiB free) memory of node 1: 16384 MiB (15461 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4394377-1568441887/watcher-4394377-1568441887 -o /tmp/evaluation-result-4394377-1568441887/solver-4394377-1568441887 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node141-1568439039-12728 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 1619569267 HOME/instance-4394377-1568441887.xml running on 8 cores: 0,2,4,6,1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 20160 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 20190 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB Linux 3.10.0-514.16.1.el7.x86_64 Starting watchdog thread solver pid=14781, runsolver pid=14778 Current StackSize limit: 8192 KiB [startup+0.10011 s]* /proc/loadavg: 6.51 7.88 8.12 2/212 14802 /proc/meminfo: memFree=31261624/32770624 swapFree=66919440/67108860 [pid=14781] ppid=14778 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/14781/stat : 14781 (xcsp3-exec) S 14778 14781 12701 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 420126567 115843072 364 33554432000 4194304 5098028 140727711373696 140727711371800 140589444219516 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 22925312 140727711376245 140727711376489 140727711376489 140727711379402 0 /proc/14781/statm: 28282 364 305 221 0 87 0 [pid=14783] ppid=14781 vsize=28227388 memory=29284 CPUtime=0.12 cores=0-7 /proc/14783/stat : 14783 (java) S 14781 14781 12701 0 -1 1077944320 5750 0 0 0 11 1 0 0 20 0 20 0 420126568 28904845312 7321 33554432000 4194304 4196468 140734121385904 140734121368448 140509254844151 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 7102464 140734121386986 140734121387158 140734121387158 140734121390031 0 /proc/14783/statm: 7056847 7321 3123 1 0 7019032 0 [pid=14783/tid=14784] ppid=14781 vsize=28227388 memory=8317482817917895235 CPUtime=0.08 cores=0-7 /proc/14783/task/14784/stat : 14784 (java) R 14781 14781 12701 0 -1 4202560 3746 0 0 0 8 0 0 0 20 0 20 0 420126568 28904845312 7321 33554432000 4194304 4196468 140734121385904 140509259073568 140508865264908 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 7102464 140734121386986 140734121387158 140734121387158 140734121390031 0 [pid=14783/tid=14785] ppid=14781 vsize=28227388 memory=4872558044660077418 CPUtime=0 cores=0-7 /proc/14783/task/14785/stat : 14785 (java) S 14781 14781 12701 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420126569 28904845312 7321 33554432000 4194304 4196468 140734121385904 140509207464208 140509254854357 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7102464 140734121386986 140734121387158 140734121387158 140734121390031 0 [pid=14783/tid=14786] ppid=14781 vsize=28227388 memory=139702036633216 CPUtime=0 cores=0-7 /proc/14783/task/14786/stat : 14786 (java) S 14781 14781 12701 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420126569 28904845312 7321 33554432000 4194304 4196468 140734121385904 140509206411664 140509254854357 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7102464 140734121386986 140734121387158 140734121387158 140734121390031 0 [pid=14783/tid=14787] ppid=14781 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/14783/task/14787/stat : 14787 (java) S 14781 14781 12701 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420126569 28904845312 7321 33554432000 4194304 4196468 140734121385904 140509205359120 140509254854357 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7102464 140734121386986 140734121387158 140734121387158 140734121390031 0 [pid=14783/tid=14788] ppid=14781 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/14783/task/14788/stat : 14788 (java) S 14781 14781 12701 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420126569 28904845312 7321 33554432000 4194304 4196468 140734121385904 140509204306576 140509254854357 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7102464 140734121386986 140734121387158 140734121387158 140734121390031 0 [pid=14783/tid=14789] ppid=14781 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/14783/task/14789/stat : 14789 (java) S 14781 14781 12701 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420126569 28904845312 7321 33554432000 4194304 4196468 140734121385904 140509203254032 140509254854357 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7102464 140734121386986 140734121387158 140734121387158 140734121390031 0 [pid=14783/tid=14790] ppid=14781 vsize=28227388 memory=-1 CPUtime=0 cores=0-7 /proc/14783/task/14790/stat : 14790 (java) S 14781 14781 12701 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420126569 28904845312 7321 33554432000 4194304 4196468 140734121385904 140509202201488 140509254854357 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7102464 140734121386986 140734121387158 140734121387158 140734121390031 0 [pid=14783/tid=14791] ppid=14781 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/14783/task/14791/stat : 14791 (java) S 14781 14781 12701 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420126569 28904845312 7321 33554432000 4194304 4196468 140734121385904 140509201148944 140509254854357 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7102464 140734121386986 140734121387158 140734121387158 140734121390031 0 [pid=14783/tid=14792] ppid=14781 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/14783/task/14792/stat : 14792 (java) S 14781 14781 12701 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 20 0 420126569 28904845312 7321 33554432000 4194304 4196468 140734121385904 140509200096400 140509254854357 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7102464 140734121386986 140734121387158 140734121387158 140734121390031 0 [pid=14783/tid=14793] ppid=14781 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/14783/task/14793/stat : 14793 (java) S 14781 14781 12701 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420126570 28904845312 7321 33554432000 4194304 4196468 140734121385904 140507920320496 140509254855298 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7102464 140734121386986 140734121387158 140734121387158 140734121390031 0 [pid=14783/tid=14794] ppid=14781 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/14783/task/14794/stat : 14794 (java) S 14781 14781 12701 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 420126571 28904845312 7321 33554432000 4194304 4196468 140734121385904 140507919266720 140509254854357 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7102464 140734121386986 140734121387158 140734121387158 140734121390031 0 [pid=14783/tid=14795] ppid=14781 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/14783/task/14795/stat : 14795 (java) S 14781 14781 12701 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 420126571 28904845312 7321 33554432000 4194304 4196468 140734121385904 140507918214128 140509254854357 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7102464 140734121386986 140734121387158 140734121387158 140734121390031 0 [pid=14783/tid=14796] ppid=14781 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/14783/task/14796/stat : 14796 (java) S 14781 14781 12701 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420126574 28904845312 7321 33554432000 4194304 4196468 140734121385904 140507917162704 140509254862747 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7102464 140734121386986 140734121387158 140734121387158 140734121390031 0 [pid=14783/tid=14797] ppid=14781 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/14783/task/14797/stat : 14797 (java) S 14781 14781 12701 0 -1 1077944384 298 0 0 0 0 0 0 0 20 0 20 0 420126574 28904845312 7321 33554432000 4194304 4196468 140734121385904 140507916110320 140509254855298 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7102464 140734121386986 140734121387158 140734121387158 140734121390031 0 [pid=14783/tid=14798] ppid=14781 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/14783/task/14798/stat : 14798 (java) S 14781 14781 12701 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420126574 28904845312 7321 33554432000 4194304 4196468 140734121385904 140507915057776 140509254855298 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7102464 140734121386986 140734121387158 140734121387158 140734121390031 0 [pid=14783/tid=14799] ppid=14781 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/14783/task/14799/stat : 14799 (java) S 14781 14781 12701 0 -1 1077944384 126 0 0 0 0 0 0 0 20 0 20 0 420126574 28904845312 7321 33554432000 4194304 4196468 140734121385904 140507914005232 140509254855298 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7102464 140734121386986 140734121387158 140734121387158 140734121390031 0 [pid=14783/tid=14800] ppid=14781 vsize=28227388 memory=0 CPUtime=0.01 cores=0-7 /proc/14783/task/14800/stat : 14800 (java) R 14781 14781 12701 0 -1 4202560 317 0 0 0 1 0 0 0 20 0 20 0 420126574 28904845312 7321 33554432000 4194304 4196468 140734121385904 140507912952688 140509233800815 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 7102464 140734121386986 140734121387158 140734121387158 140734121390031 0 [pid=14783/tid=14801] ppid=14781 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/14783/task/14801/stat : 14801 (java) S 14781 14781 12701 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420126574 28904845312 7321 33554432000 4194304 4196468 140734121385904 140507911899360 140509254854357 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7102464 140734121386986 140734121387158 140734121387158 140734121390031 0 [pid=14783/tid=14802] ppid=14781 vsize=28227388 memory=-1 CPUtime=0 cores=0-7 /proc/14783/task/14802/stat : 14802 (java) S 14781 14781 12701 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420126574 28904845312 7321 33554432000 4194304 4196468 140734121385904 140507910846896 140509254855298 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7102464 140734121386986 140734121387158 140734121387158 140734121390031 0 Current children cumulated CPU time: 0.12 s Current children cumulated vsize: 28340516 KiB Current children cumulated memory: 30740 KiB [startup+0.210139 s]* /proc/loadavg: 6.51 7.88 8.12 3/212 14802 /proc/meminfo: memFree=31248576/32770624 swapFree=66919440/67108860 [pid=14781] ppid=14778 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/14781/stat : 14781 (xcsp3-exec) S 14778 14781 12701 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 420126567 115843072 364 33554432000 4194304 5098028 140727711373696 140727711371800 140589444219516 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 22925312 140727711376245 140727711376489 140727711376489 140727711379402 0 /proc/14781/statm: 28282 364 305 221 0 87 0 [pid=14783] ppid=14781 vsize=28227388 memory=41160 CPUtime=0.33 cores=0-7 /proc/14783/stat : 14783 (java) S 14781 14781 12701 0 -1 1077944320 9514 0 0 0 31 2 0 0 20 0 20 0 420126568 28904845312 10290 33554432000 4194304 4196468 140734121385904 140734121368448 140509254844151 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 7102464 140734121386986 140734121387158 140734121387158 140734121390031 0 /proc/14783/statm: 7056847 10290 3307 1 0 7019032 0 [pid=14783/tid=14784] ppid=14781 vsize=28227388 memory=8318255677412212789 CPUtime=0.2 cores=0-7 /proc/14783/task/14784/stat : 14784 (java) R 14781 14781 12701 0 -1 4202560 6615 0 0 0 18 2 0 0 20 0 20 0 420126568 28904845312 10290 33554432000 4194304 4196468 140734121385904 140509259076064 140509238924638 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 7102464 140734121386986 140734121387158 140734121387158 140734121390031 0 [pid=14783/tid=14785] ppid=14781 vsize=28227388 memory=331 CPUtime=0 cores=0-7 /proc/14783/task/14785/stat : 14785 (java) S 14781 14781 12701 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420126569 28904845312 10290 33554432000 4194304 4196468 140734121385904 140509207464208 140509254854357 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7102464 140734121386986 140734121387158 140734121387158 140734121390031 0 [pid=14783/tid=14786] ppid=14781 vsize=28227388 memory=139702036646811 CPUtime=0 cores=0-7 /proc/14783/task/14786/stat : 14786 (java) S 14781 14781 12701 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420126569 28904845312 10290 33554432000 4194304 4196468 140734121385904 140509206411664 140509254854357 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7102464 140734121386986 140734121387158 140734121387158 140734121390031 0 [pid=14783/tid=14787] ppid=14781 vsize=28227388 memory=-1 CPUtime=0 cores=0-7 /proc/14783/task/14787/stat : 14787 (java) S 14781 14781 12701 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420126569 28904845312 10290 33554432000 4194304 4196468 140734121385904 140509205359120 140509254854357 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7102464 140734121386986 140734121387158 140734121387158 140734121390031 0 [pid=14783/tid=14788] ppid=14781 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/14783/task/14788/stat : 14788 (java) S 14781 14781 12701 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420126569 28904845312 10290 33554432000 4194304 4196468 140734121385904 140509204306576 140509254854357 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7102464 140734121386986 140734121387158 140734121387158 140734121390031 0 [pid=14783/tid=14789] ppid=14781 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/14783/task/14789/stat : 14789 (java) S 14781 14781 12701 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420126569 28904845312 10290 33554432000 4194304 4196468 140734121385904 140509203254032 140509254854357 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7102464 140734121386986 140734121387158 140734121387158 140734121390031 0 [pid=14783/tid=14790] ppid=14781 vsize=28227388 memory=-1 CPUtime=0 cores=0-7 /proc/14783/task/14790/stat : 14790 (java) S 14781 14781 12701 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420126569 28904845312 10290 33554432000 4194304 4196468 140734121385904 140509202201488 140509254854357 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7102464 140734121386986 140734121387158 140734121387158 140734121390031 0 [pid=14783/tid=14791] ppid=14781 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/14783/task/14791/stat : 14791 (java) S 14781 14781 12701 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420126569 28904845312 10290 33554432000 4194304 4196468 140734121385904 140509201148944 140509254854357 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7102464 140734121386986 140734121387158 140734121387158 140734121390031 0 [pid=14783/tid=14792] ppid=14781 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/14783/task/14792/stat : 14792 (java) S 14781 14781 12701 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 20 0 420126569 28904845312 10290 33554432000 4194304 4196468 140734121385904 140509200096400 140509254854357 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7102464 140734121386986 140734121387158 140734121387158 140734121390031 0 [pid=14783/tid=14793] ppid=14781 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/14783/task/14793/stat : 14793 (java) S 14781 14781 12701 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 20 0 420126570 28904845312 10290 33554432000 4194304 4196468 140734121385904 140507920320496 140509254855298 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7102464 140734121386986 140734121387158 140734121387158 140734121390031 0 [pid=14783/tid=14794] ppid=14781 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/14783/task/14794/stat : 14794 (java) S 14781 14781 12701 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 420126571 28904845312 10290 33554432000 4194304 4196468 140734121385904 140507919266720 140509254854357 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7102464 140734121386986 140734121387158 140734121387158 140734121390031 0 [pid=14783/tid=14795] ppid=14781 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/14783/task/14795/stat : 14795 (java) S 14781 14781 12701 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 420126571 28904845312 10290 33554432000 4194304 4196468 140734121385904 140507918214128 140509254854357 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7102464 140734121386986 140734121387158 140734121387158 140734121390031 0 [pid=14783/tid=14796] ppid=14781 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/14783/task/14796/stat : 14796 (java) S 14781 14781 12701 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420126574 28904845312 10290 33554432000 4194304 4196468 140734121385904 140507917162704 140509254862747 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7102464 140734121386986 140734121387158 140734121387158 140734121390031 0 [pid=14783/tid=14797] ppid=14781 vsize=28227388 memory=0 CPUtime=0.01 cores=0-7 /proc/14783/task/14797/stat : 14797 (java) S 14781 14781 12701 0 -1 1077944384 341 0 0 0 1 0 0 0 20 0 20 0 420126574 28904845312 10290 33554432000 4194304 4196468 140734121385904 140507916110320 140509254855298 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7102464 140734121386986 140734121387158 140734121387158 140734121390031 0 [pid=14783/tid=14798] ppid=14781 vsize=28227388 memory=0 CPUtime=0.02 cores=0-7 /proc/14783/task/14798/stat : 14798 (java) S 14781 14781 12701 0 -1 1077944384 114 0 0 0 2 0 0 0 20 0 20 0 420126574 28904845312 10290 33554432000 4194304 4196468 140734121385904 140507915057776 140509254855298 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7102464 140734121386986 140734121387158 140734121387158 140734121390031 0 [pid=14783/tid=14799] ppid=14781 vsize=28227388 memory=-1 CPUtime=0.01 cores=0-7 /proc/14783/task/14799/stat : 14799 (java) S 14781 14781 12701 0 -1 1077944384 368 0 0 0 1 0 0 0 20 0 20 0 420126574 28904845312 10290 33554432000 4194304 4196468 140734121385904 140507914005232 140509254855298 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7102464 140734121386986 140734121387158 140734121387158 140734121390031 0 [pid=14783/tid=14800] ppid=14781 vsize=28227388 memory=-1 CPUtime=0.07 cores=0-7 /proc/14783/task/14800/stat : 14800 (java) R 14781 14781 12701 0 -1 4202560 761 0 0 0 7 0 0 0 20 0 20 0 420126574 28904845312 10290 33554432000 4194304 4196468 140734121385904 140507912947264 140509233864804 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 7102464 140734121386986 140734121387158 140734121387158 140734121390031 0 [pid=14783/tid=14801] ppid=14781 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/14783/task/14801/stat : 14801 (java) S 14781 14781 12701 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420126574 28904845312 10290 33554432000 4194304 4196468 140734121385904 140507911899360 140509254854357 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7102464 140734121386986 140734121387158 140734121387158 140734121390031 0 [pid=14783/tid=14802] ppid=14781 vsize=28227388 memory=-1 CPUtime=0 cores=0-7 /proc/14783/task/14802/stat : 14802 (java) S 14781 14781 12701 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420126574 28904845312 10290 33554432000 4194304 4196468 140734121385904 140507910846896 140509254855298 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7102464 140734121386986 140734121387158 140734121387158 140734121390031 0 Current children cumulated CPU time: 0.33 s Current children cumulated vsize: 28340516 KiB Current children cumulated memory: 42616 KiB [startup+0.309582 s]* /proc/loadavg: 6.51 7.88 8.12 4/212 14802 /proc/meminfo: memFree=31243216/32770624 swapFree=66919440/67108860 [pid=14781] ppid=14778 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/14781/stat : 14781 (xcsp3-exec) S 14778 14781 12701 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 420126567 115843072 364 33554432000 4194304 5098028 140727711373696 140727711371800 140589444219516 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 22925312 140727711376245 140727711376489 140727711376489 140727711379402 0 /proc/14781/statm: 28282 364 305 221 0 87 0 [pid=14783] ppid=14781 vsize=28231644 memory=49488 CPUtime=0.51 cores=0-7 /proc/14783/stat : 14783 (java) S 14781 14781 12701 0 -1 1077944320 10788 0 0 0 48 3 0 0 20 0 20 0 420126568 28909203456 12372 33554432000 4194304 4196468 140734121385904 140734121368448 140509254844151 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 7102464 140734121386986 140734121387158 140734121387158 140734121390031 0 /proc/14783/statm: 7057911 12372 3346 1 0 7019032 0 [pid=14783/tid=14784] ppid=14781 vsize=28231644 memory=8317482817917895235 CPUtime=0.29 cores=0-7 /proc/14783/task/14784/stat : 14784 (java) R 14781 14781 12701 0 -1 4202560 7698 0 0 0 27 2 0 0 20 0 20 0 420126568 28909203456 12401 33554432000 4194304 4196468 140734121385904 140509259075264 140509238924638 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 7102464 140734121386986 140734121387158 140734121387158 140734121390031 0 [pid=14783/tid=14785] ppid=14781 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/14783/task/14785/stat : 14785 (java) S 14781 14781 12701 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420126569 28909203456 12401 33554432000 4194304 4196468 140734121385904 140509207464208 140509254854357 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7102464 140734121386986 140734121387158 140734121387158 140734121390031 0 [pid=14783/tid=14786] ppid=14781 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/14783/task/14786/stat : 14786 (java) S 14781 14781 12701 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420126569 28909203456 12401 33554432000 4194304 4196468 140734121385904 140509206411664 140509254854357 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7102464 140734121386986 140734121387158 140734121387158 140734121390031 0 [pid=14783/tid=14787] ppid=14781 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/14783/task/14787/stat : 14787 (java) S 14781 14781 12701 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420126569 28909203456 12401 33554432000 4194304 4196468 140734121385904 140509205359120 140509254854357 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7102464 140734121386986 140734121387158 140734121387158 140734121390031 0 [pid=14783/tid=14788] ppid=14781 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/14783/task/14788/stat : 14788 (java) S 14781 14781 12701 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420126569 28909203456 12401 33554432000 4194304 4196468 140734121385904 140509204306576 140509254854357 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7102464 140734121386986 140734121387158 140734121387158 140734121390031 0 [pid=14783/tid=14789] ppid=14781 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/14783/task/14789/stat : 14789 (java) S 14781 14781 12701 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420126569 28909203456 12401 33554432000 4194304 4196468 140734121385904 140509203254032 140509254854357 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7102464 140734121386986 140734121387158 140734121387158 140734121390031 0 [pid=14783/tid=14790] ppid=14781 vsize=28231644 memory=139701931567791 CPUtime=0 cores=0-7 /proc/14783/task/14790/stat : 14790 (java) S 14781 14781 12701 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420126569 28909203456 12401 33554432000 4194304 4196468 140734121385904 140509202201488 140509254854357 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7102464 140734121386986 140734121387158 140734121387158 140734121390031 0 [pid=14783/tid=14791] ppid=14781 vsize=28231644 memory=139701931570096 CPUtime=0 cores=0-7 /proc/14783/task/14791/stat : 14791 (java) S 14781 14781 12701 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420126569 28909203456 12401 33554432000 4194304 4196468 140734121385904 140509201148944 140509254854357 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7102464 140734121386986 140734121387158 140734121387158 140734121390031 0 [pid=14783/tid=14792] ppid=14781 vsize=28231644 memory=139701931572400 CPUtime=0 cores=0-7 /proc/14783/task/14792/stat : 14792 (java) S 14781 14781 12701 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 20 0 420126569 28909203456 12401 33554432000 4194304 4196468 140734121385904 140509200096400 140509254854357 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7102464 140734121386986 140734121387158 140734121387158 140734121390031 0 [pid=14783/tid=14793] ppid=14781 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/14783/task/14793/stat : 14793 (java) S 14781 14781 12701 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 20 0 420126570 28909203456 12401 33554432000 4194304 4196468 140734121385904 140507920320496 140509254855298 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7102464 140734121386986 140734121387158 140734121387158 140734121390031 0 [pid=14783/tid=14794] ppid=14781 vsize=28231644 memory=279403863158672 CPUtime=0 cores=0-7 /proc/14783/task/14794/stat : 14794 (java) S 14781 14781 12701 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 420126571 28909203456 12401 33554432000 4194304 4196468 140734121385904 140507919266720 140509254854357 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7102464 140734121386986 140734121387158 140734121387158 140734121390031 0 [pid=14783/tid=14795] ppid=14781 vsize=28231644 memory=279403863156368 CPUtime=0 cores=0-7 /proc/14783/task/14795/stat : 14795 (java) S 14781 14781 12701 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 420126571 28909203456 12401 33554432000 4194304 4196468 140734121385904 140507918214128 140509254854357 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7102464 140734121386986 140734121387158 140734121387158 140734121390031 0 [pid=14783/tid=14796] ppid=14781 vsize=28231644 memory=279403863163280 CPUtime=0 cores=0-7 /proc/14783/task/14796/stat : 14796 (java) S 14781 14781 12701 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420126574 28909203456 12401 33554432000 4194304 4196468 140734121385904 140507917162704 140509254862747 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7102464 140734121386986 140734121387158 140734121387158 140734121390031 0 [pid=14783/tid=14797] ppid=14781 vsize=28231644 memory=279403863104560 CPUtime=0.01 cores=0-7 /proc/14783/task/14797/stat : 14797 (java) R 14781 14781 12701 0 -1 4202560 442 0 0 0 1 0 0 0 20 0 20 0 420126574 28909203456 12401 33554432000 4194304 4196468 140734121385904 140507916100704 140509235544448 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 7102464 140734121386986 140734121387158 140734121387158 140734121390031 0 [pid=14783/tid=14798] ppid=14781 vsize=28231644 memory=279403863177104 CPUtime=0.03 cores=0-7 /proc/14783/task/14798/stat : 14798 (java) R 14781 14781 12701 0 -1 4202560 128 0 0 0 3 0 0 0 20 0 20 0 420126574 28909203456 12401 33554432000 4194304 4196468 140734121385904 140507915057776 140509234561287 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 7102464 140734121386986 140734121387158 140734121387158 140734121390031 0 [pid=14783/tid=14799] ppid=14781 vsize=28231644 memory=279403863184016 CPUtime=0.02 cores=0-7 /proc/14783/task/14799/stat : 14799 (java) S 14781 14781 12701 0 -1 1077944384 393 0 0 0 2 0 0 0 20 0 20 0 420126574 28909203456 12401 33554432000 4194304 4196468 140734121385904 140507914005232 140509254855298 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7102464 140734121386986 140734121387158 140734121387158 140734121390031 0 [pid=14783/tid=14800] ppid=14781 vsize=28231644 memory=279403863181712 CPUtime=0.12 cores=0-7 /proc/14783/task/14800/stat : 14800 (java) S 14781 14781 12701 0 -1 1077944384 850 0 0 0 12 0 0 0 20 0 20 0 420126574 28909203456 12401 33554432000 4194304 4196468 140734121385904 140507912952688 140509254855298 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7102464 140734121386986 140734121387158 140734121387158 140734121390031 0 [pid=14783/tid=14801] ppid=14781 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/14783/task/14801/stat : 14801 (java) S 14781 14781 12701 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420126574 28909203456 12401 33554432000 4194304 4196468 140734121385904 140507911899360 140509254854357 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7102464 140734121386986 140734121387158 140734121387158 140734121390031 0 [pid=14783/tid=14802] ppid=14781 vsize=28231644 memory=-1 CPUtime=0 cores=0-7 /proc/14783/task/14802/stat : 14802 (java) S 14781 14781 12701 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420126574 28909203456 12401 33554432000 4194304 4196468 140734121385904 140507910846896 140509254855298 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7102464 140734121386986 140734121387158 140734121387158 140734121390031 0 Current children cumulated CPU time: 0.51 s Current children cumulated vsize: 28344772 KiB Current children cumulated memory: 50944 KiB [startup+0.700918 s] /proc/loadavg: 6.51 7.88 8.12 5/212 14802 /proc/meminfo: memFree=31224800/32770624 swapFree=66919440/67108860 [pid=14781] ppid=14778 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/14781/stat : 14781 (xcsp3-exec) S 14778 14781 12701 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 420126567 115843072 364 33554432000 4194304 5098028 140727711373696 140727711371800 140589444219516 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 22925312 140727711376245 140727711376489 140727711376489 140727711379402 0 /proc/14781/statm: 28282 364 305 221 0 87 0 [pid=14783] ppid=14781 vsize=28233768 memory=169716 CPUtime=1.75 cores=0-7 /proc/14783/stat : 14783 (java) S 14781 14781 12701 0 -1 1077944320 15369 0 0 0 167 8 0 0 20 0 20 0 420126568 28911378432 42429 33554432000 4194304 4196468 140734121385904 140734121368448 140509254844151 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 7102464 140734121386986 140734121387158 140734121387158 140734121390031 0 /proc/14783/statm: 7058442 42429 3439 1 0 7019544 0 [pid=14783/tid=14784] ppid=14781 vsize=28233768 memory=0 CPUtime=0.67 cores=0-7 /proc/14783/task/14784/stat : 14784 (java) R 14781 14781 12701 0 -1 4202560 8837 0 0 0 62 5 0 0 20 0 20 0 420126568 28911378432 42429 33554432000 4194304 4196468 140734121385904 140509259072816 140508868531195 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 7102464 140734121386986 140734121387158 140734121387158 140734121390031 0 [pid=14783/tid=14785] ppid=14781 vsize=28233768 memory=139701931778928 CPUtime=0 cores=0-7 /proc/14783/task/14785/stat : 14785 (java) S 14781 14781 12701 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420126569 28911378432 42429 33554432000 4194304 4196468 140734121385904 140509207464208 140509254854357 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7102464 140734121386986 140734121387158 140734121387158 140734121390031 0 [pid=14783/tid=14786] ppid=14781 vsize=28233768 memory=0 CPUtime=0 cores=0-7 /proc/14783/task/14786/stat : 14786 (java) S 14781 14781 12701 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420126569 28911378432 42429 33554432000 4194304 4196468 140734121385904 140509206411664 140509254854357 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7102464 140734121386986 140734121387158 140734121387158 140734121390031 0 [pid=14783/tid=14787] ppid=14781 vsize=28233768 memory=1560 CPUtime=0 cores=0-7 /proc/14783/task/14787/stat : 14787 (java) S 14781 14781 12701 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420126569 28911378432 42429 33554432000 4194304 4196468 140734121385904 140509205359120 140509254854357 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7102464 140734121386986 140734121387158 140734121387158 140734121390031 0 ################ # More data... # ################ [pid=14783/tid=14792] ppid=14781 vsize=28768328 memory=8319819021808245494 CPUtime=1.1 cores=0-7 /proc/14783/task/14792/stat : 14792 (java) S 14781 14781 12701 0 -1 1077944384 1759 0 0 0 91 19 0 0 20 0 28 0 420126569 29458767872 302808 33554432000 4194304 4196468 140734121385904 140509200096400 140509254854357 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7102464 140734121386986 140734121387158 140734121387158 140734121390031 0 [pid=14783/tid=14793] ppid=14781 vsize=28768328 memory=-2026666227646604569 CPUtime=0.03 cores=0-7 /proc/14783/task/14793/stat : 14793 (java) S 14781 14781 12701 0 -1 1077944384 1086 0 0 0 3 0 0 0 20 0 28 0 420126570 29458767872 302808 33554432000 4194304 4196468 140734121385904 140507920320496 140509254855298 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7102464 140734121386986 140734121387158 140734121387158 140734121390031 0 [pid=14783/tid=14794] ppid=14781 vsize=28768328 memory=0 CPUtime=0 cores=0-7 /proc/14783/task/14794/stat : 14794 (java) S 14781 14781 12701 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 28 0 420126571 29458767872 302808 33554432000 4194304 4196468 140734121385904 140507919266784 140509254854357 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7102464 140734121386986 140734121387158 140734121387158 140734121390031 0 [pid=14783/tid=14795] ppid=14781 vsize=28768328 memory=0 CPUtime=0 cores=0-7 /proc/14783/task/14795/stat : 14795 (java) S 14781 14781 12701 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 28 0 420126571 29458767872 302808 33554432000 4194304 4196468 140734121385904 140507918214144 140509254854357 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7102464 140734121386986 140734121387158 140734121387158 140734121390031 0 [pid=14783/tid=14796] ppid=14781 vsize=28768328 memory=279403863542320 CPUtime=0 cores=0-7 /proc/14783/task/14796/stat : 14796 (java) S 14781 14781 12701 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 420126574 29458767872 302808 33554432000 4194304 4196468 140734121385904 140507917162704 140509254862747 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7102464 140734121386986 140734121387158 140734121387158 140734121390031 0 [pid=14783/tid=14797] ppid=14781 vsize=28768328 memory=0 CPUtime=1.62 cores=0-7 /proc/14783/task/14797/stat : 14797 (java) R 14781 14781 12701 0 -1 1077944384 5868 0 0 0 160 2 0 0 20 0 28 0 420126574 29458767872 302808 33554432000 4194304 4196468 140734121385904 140507916092672 140509254865341 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 7102464 140734121386986 140734121387158 140734121387158 140734121390031 0 [pid=14783/tid=14798] ppid=14781 vsize=28768328 memory=0 CPUtime=1.54 cores=0-7 /proc/14783/task/14798/stat : 14798 (java) R 14781 14781 12701 0 -1 4202560 7164 0 0 0 152 2 0 0 20 0 28 0 420126574 29458767872 302808 33554432000 4194304 4196468 140734121385904 140507915043656 140509236388369 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 7102464 140734121386986 140734121387158 140734121387158 140734121390031 0 [pid=14783/tid=14799] ppid=14781 vsize=28768328 memory=0 CPUtime=1.54 cores=0-7 /proc/14783/task/14799/stat : 14799 (java) R 14781 14781 12701 0 -1 12591168 7437 0 0 0 152 2 0 0 20 0 28 0 420126574 29458767872 302808 33554432000 4194304 4196468 140734121385904 140507913991112 140509236389112 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 7102464 140734121386986 140734121387158 140734121387158 140734121390031 0 [pid=14783/tid=14800] ppid=14781 vsize=28768328 memory=0 CPUtime=0.92 cores=0-7 /proc/14783/task/14800/stat : 14800 (java) S 14781 14781 12701 0 -1 1077944384 4663 0 0 0 90 2 0 0 20 0 28 0 420126574 29458767872 302808 33554432000 4194304 4196468 140734121385904 140507912947472 140509254854357 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7102464 140734121386986 140734121387158 140734121387158 140734121390031 0 [pid=14783/tid=14801] ppid=14781 vsize=28768328 memory=0 CPUtime=0 cores=0-7 /proc/14783/task/14801/stat : 14801 (java) S 14781 14781 12701 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 420126574 29458767872 302808 33554432000 4194304 4196468 140734121385904 140507911899360 140509254854357 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7102464 140734121386986 140734121387158 140734121387158 140734121390031 0 [pid=14783/tid=14802] ppid=14781 vsize=28768328 memory=0 CPUtime=0 cores=0-7 /proc/14783/task/14802/stat : 14802 (java) S 14781 14781 12701 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 28 0 420126574 29458767872 302808 33554432000 4194304 4196468 140734121385904 140507910846896 140509254855298 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7102464 140734121386986 140734121387158 140734121387158 140734121390031 0 Current children cumulated CPU time: 21.2 s Current children cumulated vsize: 28881456 KiB Current children cumulated memory: 1212688 KiB [startup+4.00091 s]* /proc/loadavg: 6.51 7.88 8.12 13/220 14938 /proc/meminfo: memFree=30040704/32770624 swapFree=66919440/67108860 [pid=14781] ppid=14778 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/14781/stat : 14781 (xcsp3-exec) S 14778 14781 12701 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 420126567 115843072 364 33554432000 4194304 5098028 140727711373696 140727711371800 140589444219516 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 22925312 140727711376245 140727711376489 140727711376489 140727711379402 0 /proc/14781/statm: 28282 364 305 221 0 87 0 [pid=14783] ppid=14781 vsize=28770208 memory=1248552 CPUtime=24.24 cores=0-7 /proc/14783/stat : 14783 (java) S 14781 14781 12701 0 -1 1077944320 72505 0 0 0 2211 213 0 0 20 0 28 0 420126568 29460692992 312138 33554432000 4194304 4196468 140734121385904 140734121368448 140509254844151 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 7102464 140734121386986 140734121387158 140734121387158 140734121390031 0 /proc/14783/statm: 7192552 312138 3544 1 0 7153654 0 [pid=14783/tid=14784] ppid=14781 vsize=28770208 memory=8317482817917895235 CPUtime=1.16 cores=0-7 /proc/14783/task/14784/stat : 14784 (java) S 14781 14781 12701 0 -1 1077944384 9247 0 0 0 107 9 0 0 20 0 28 0 420126568 29460692992 312138 33554432000 4194304 4196468 140734121385904 140509259084928 140509254854357 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7102464 140734121386986 140734121387158 140734121387158 140734121390031 0 [pid=14783/tid=14785] ppid=14781 vsize=28770208 memory=4872558044660077418 CPUtime=1.11 cores=0-7 /proc/14783/task/14785/stat : 14785 (java) S 14781 14781 12701 0 -1 1077944384 1835 0 0 0 90 21 0 0 20 0 28 0 420126569 29460692992 312138 33554432000 4194304 4196468 140734121385904 140509207464208 140509254854357 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7102464 140734121386986 140734121387158 140734121387158 140734121390031 0 [pid=14783/tid=14786] ppid=14781 vsize=28770208 memory=-2026666227646606628 CPUtime=1.15 cores=0-7 /proc/14783/task/14786/stat : 14786 (java) S 14781 14781 12701 0 -1 1077944384 1974 0 0 0 92 23 0 0 20 0 28 0 420126569 29460692992 312138 33554432000 4194304 4196468 140734121385904 140509206411664 140509254854357 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7102464 140734121386986 140734121387158 140734121387158 140734121390031 0 [pid=14783/tid=14787] ppid=14781 vsize=28770208 memory=4713754359448900499 CPUtime=1.13 cores=0-7 /proc/14783/task/14787/stat : 14787 (java) S 14781 14781 12701 0 -1 1077944384 1983 0 0 0 90 23 0 0 20 0 28 0 420126569 29460692992 312138 33554432000 4194304 4196468 140734121385904 140509205359120 140509254854357 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7102464 140734121386986 140734121387158 140734121387158 140734121390031 0 [pid=14783/tid=14788] ppid=14781 vsize=28770208 memory=-8412661042843906680 CPUtime=1.15 cores=0-7 /proc/14783/task/14788/stat : 14788 (java) S 14781 14781 12701 0 -1 1077944384 2043 0 0 0 92 23 0 0 20 0 28 0 420126569 29460692992 312138 33554432000 4194304 4196468 140734121385904 140509204306576 140509254854357 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7102464 140734121386986 140734121387158 140734121387158 140734121390031 0 [pid=14783/tid=14789] ppid=14781 vsize=28770208 memory=3047711488493330315 CPUtime=1.14 cores=0-7 /proc/14783/task/14789/stat : 14789 (java) S 14781 14781 12701 0 -1 1077944384 2578 0 0 0 93 21 0 0 20 0 28 0 420126569 29460692992 312138 33554432000 4194304 4196468 140734121385904 140509203254032 140509254854357 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7102464 140734121386986 140734121387158 140734121387158 140734121390031 0 [pid=14783/tid=14790] ppid=14781 vsize=28770208 memory=7754515304239953427 CPUtime=1.09 cores=0-7 /proc/14783/task/14790/stat : 14790 (java) S 14781 14781 12701 0 -1 1077944384 2097 0 0 0 89 20 0 0 20 0 28 0 420126569 29460692992 312138 33554432000 4194304 4196468 140734121385904 140509202201488 140509254854357 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7102464 140734121386986 140734121387158 140734121387158 140734121390031 0 [pid=14783/tid=14791] ppid=14781 vsize=28770208 memory=6877182233070582134 CPUtime=1.08 cores=0-7 /proc/14783/task/14791/stat : 14791 (java) S 14781 14781 12701 0 -1 1077944384 2043 0 0 0 86 22 0 0 20 0 28 0 420126569 29460692992 312138 33554432000 4194304 4196468 140734121385904 140509201148944 140509254854357 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 1 0 0 6293624 6294260 7102464 140734121386986 140734121387158 140734121387158 140734121390031 0 [pid=14783/tid=14792] ppid=14781 vsize=28770208 memory=6944656592455360604 CPUtime=1.11 cores=0-7 /proc/14783/task/14792/stat : 14792 (java) S 14781 14781 12701 0 -1 1077944384 1830 0 0 0 91 20 0 0 20 0 28 0 420126569 29460692992 312138 33554432000 4194304 4196468 140734121385904 140509200096400 140509254854357 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7102464 140734121386986 140734121387158 140734121387158 140734121390031 0 [pid=14783/tid=14793] ppid=14781 vsize=28770208 memory=3475195960799027280 CPUtime=0.03 cores=0-7 /proc/14783/task/14793/stat : 14793 (java) S 14781 14781 12701 0 -1 1077944384 1438 0 0 0 3 0 0 0 20 0 28 0 420126570 29460692992 312138 33554432000 4194304 4196468 140734121385904 140507920320496 140509254855298 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7102464 140734121386986 140734121387158 140734121387158 140734121390031 0 [pid=14783/tid=14794] ppid=14781 vsize=28770208 memory=7372786582024121444 CPUtime=0 cores=0-7 /proc/14783/task/14794/stat : 14794 (java) S 14781 14781 12701 0 -1 1077944384 38 0 0 0 0 0 0 0 20 0 28 0 420126571 29460692992 312138 33554432000 4194304 4196468 140734121385904 140507919266784 140509254854357 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7102464 140734121386986 140734121387158 140734121387158 140734121390031 0 [pid=14783/tid=14795] ppid=14781 vsize=28770208 memory=-8340568006416425581 CPUtime=0 cores=0-7 /proc/14783/task/14795/stat : 14795 (java) S 14781 14781 12701 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 28 0 420126571 29460692992 312138 33554432000 4194304 4196468 140734121385904 140507918214144 140509254854357 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7102464 140734121386986 140734121387158 140734121387158 140734121390031 0 [pid=14783/tid=14796] ppid=14781 vsize=28770208 memory=0 CPUtime=0 cores=0-7 /proc/14783/task/14796/stat : 14796 (java) S 14781 14781 12701 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 420126574 29460692992 312138 33554432000 4194304 4196468 140734121385904 140507917162704 140509254862747 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7102464 140734121386986 140734121387158 140734121387158 140734121390031 0 [pid=14783/tid=14797] ppid=14781 vsize=28770208 memory=279403863289424 CPUtime=1.73 cores=0-7 /proc/14783/task/14797/stat : 14797 (java) R 14781 14781 12701 0 -1 4202560 6958 0 0 0 171 2 0 0 20 0 28 0 420126574 29460692992 312138 33554432000 4194304 4196468 140734121385904 140507916097184 140509239773665 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 7102464 140734121386986 140734121387158 140734121387158 140734121390031 0 [pid=14783/tid=14798] ppid=14781 vsize=28770208 memory=0 CPUtime=1.7 cores=0-7 /proc/14783/task/14798/stat : 14798 (java) R 14781 14781 12701 0 -1 4202560 9802 0 0 0 167 3 0 0 20 0 28 0 420126574 29460692992 312138 33554432000 4194304 4196468 140734121385904 140507915045776 140509238338387 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 7102464 140734121386986 140734121387158 140734121387158 140734121390031 0 [pid=14783/tid=14799] ppid=14781 vsize=28770208 memory=139702401238095 CPUtime=1.69 cores=0-7 /proc/14783/task/14799/stat : 14799 (java) R 14781 14781 12701 0 -1 4202560 9540 0 0 0 166 3 0 0 20 0 28 0 420126574 29460692992 312138 33554432000 4194304 4196468 140734121385904 140507913991208 140509234088038 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 7102464 140734121386986 140734121387158 140734121387158 140734121390031 0 [pid=14783/tid=14800] ppid=14781 vsize=28770208 memory=139702401238535 CPUtime=0.98 cores=0-7 /proc/14783/task/14800/stat : 14800 (java) R 14781 14781 12701 0 -1 1077944384 5361 0 0 0 96 2 0 0 20 0 28 0 420126574 29460692992 312138 33554432000 4194304 4196468 140734121385904 140507912952688 140509254855298 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 7102464 140734121386986 140734121387158 140734121387158 140734121390031 0 [pid=14783/tid=14801] ppid=14781 vsize=28770208 memory=139702401238990 CPUtime=0 cores=0-7 /proc/14783/task/14801/stat : 14801 (java) S 14781 14781 12701 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 420126574 29460692992 312138 33554432000 4194304 4196468 140734121385904 140507911899360 140509254854357 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7102464 140734121386986 140734121387158 140734121387158 140734121390031 0 [pid=14783/tid=14802] ppid=14781 vsize=28770208 memory=139702401238994 CPUtime=0 cores=0-7 /proc/14783/task/14802/stat : 14802 (java) R 14781 14781 12701 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 28 0 420126574 29460692992 312138 33554432000 4194304 4196468 140734121385904 140507910846896 140509254855298 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 7102464 140734121386986 140734121387158 140734121387158 140734121390031 0 [pid=14783/tid=14931] ppid=14781 vsize=28770208 memory=139702401239184 CPUtime=0.32 cores=0-7 /proc/14783/task/14931/stat : 14931 (java) R 14781 14781 12701 0 -1 1077944384 28 0 0 0 32 0 0 0 20 0 28 0 420126933 29460692992 312138 33554432000 4194304 4196468 140734121385904 140507829683264 140509254854357 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 7102464 140734121386986 140734121387158 140734121387158 140734121390031 0 [pid=14783/tid=14932] ppid=14781 vsize=28770208 memory=149112674584720 CPUtime=0.33 cores=0-7 /proc/14783/task/14932/stat : 14932 (java) R 14781 14781 12701 0 -1 4202560 20 0 0 0 33 0 0 0 20 0 28 0 420126933 29460692992 312138 33554432000 4194304 4196468 140734121385904 140507827580168 140508872310666 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 7102464 140734121386986 140734121387158 140734121387158 140734121390031 0 [pid=14783/tid=14933] ppid=14781 vsize=28770208 memory=139702401239315 CPUtime=0.21 cores=0-7 /proc/14783/task/14933/stat : 14933 (java) R 14781 14781 12701 0 -1 4202560 51 0 0 0 21 0 0 0 20 0 28 0 420126933 29460692992 312138 33554432000 4194304 4196468 140734121385904 140507831793968 140508872287519 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 7102464 140734121386986 140734121387158 140734121387158 140734121390031 0 [pid=14783/tid=14934] ppid=14781 vsize=28770208 memory=139702401239386 CPUtime=0.2 cores=0-7 /proc/14783/task/14934/stat : 14934 (java) R 14781 14781 12701 0 -1 4202560 89 0 0 0 20 0 0 0 20 0 28 0 420126933 29460692992 312138 33554432000 4194304 4196468 140734121385904 140507833899768 140508872419384 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 7102464 140734121386986 140734121387158 140734121387158 140734121390031 0 [pid=14783/tid=14935] ppid=14781 vsize=28770208 memory=279403862950128 CPUtime=0.32 cores=0-7 /proc/14783/task/14935/stat : 14935 (java) R 14781 14781 12701 0 -1 4202560 19 0 0 0 32 0 0 0 20 0 28 0 420126934 29460692992 312138 33554432000 4194304 4196468 140734121385904 140507826526912 140508872310628 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 7102464 140734121386986 140734121387158 140734121387158 140734121390031 0 [pid=14783/tid=14936] ppid=14781 vsize=28770208 memory=7883664819699018860 CPUtime=0.27 cores=0-7 /proc/14783/task/14936/stat : 14936 (java) R 14781 14781 12701 0 -1 4202560 21 0 0 0 27 0 0 0 20 0 28 0 420126934 29460692992 312138 33554432000 4194304 4196468 140734121385904 140507832843936 140508872635356 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 7102464 140734121386986 140734121387158 140734121387158 140734121390031 0 [pid=14783/tid=14937] ppid=14781 vsize=28770208 memory=6082489959693512291 CPUtime=0.31 cores=0-7 /proc/14783/task/14937/stat : 14937 (java) R 14781 14781 12701 0 -1 4202560 19 0 0 0 31 0 0 0 20 0 28 0 420126934 29460692992 312138 33554432000 4194304 4196468 140734121385904 140507828632464 140508874751625 0 4 0 16800975 0 0 0 -1 1 0 0 1 0 0 6293624 6294260 7102464 140734121386986 140734121387158 140734121387158 140734121390031 0 [pid=14783/tid=14938] ppid=14781 vsize=28770208 memory=7734480831763275858 CPUtime=0.26 cores=0-7 /proc/14783/task/14938/stat : 14938 (java) R 14781 14781 12701 0 -1 4202560 19 0 0 0 26 0 0 0 20 0 28 0 420126934 29460692992 312138 33554432000 4194304 4196468 140734121385904 140507830737128 140508872702487 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 7102464 140734121386986 140734121387158 140734121387158 140734121390031 0 Current children cumulated CPU time: 24.24 s Current children cumulated vsize: 28883336 KiB Current children cumulated memory: 1250008 KiB [startup+4.11072 s] /proc/loadavg: 6.51 7.88 8.12 13/220 14938 /proc/meminfo: memFree=30040704/32770624 swapFree=66919440/67108860 [pid=14781] ppid=14778 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/14781/stat : 14781 (xcsp3-exec) S 14778 14781 12701 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 420126567 115843072 364 33554432000 4194304 5098028 140727711373696 140727711371800 140589444219516 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 22925312 140727711376245 140727711376489 140727711376489 140727711379402 0 /proc/14781/statm: 28282 364 305 221 0 87 0 [pid=14783] ppid=14781 vsize=28768328 memory=1247240 CPUtime=25.02 cores=0-7 /proc/14783/stat : 14783 (java) S 14781 14781 12701 0 -1 1077944320 73582 0 0 0 2289 213 0 0 20 0 28 0 420126568 29458767872 311810 33554432000 4194304 4196468 140734121385904 140734121368448 140509254844151 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 7102464 140734121386986 140734121387158 140734121387158 140734121390031 0 /proc/14783/statm: 7192082 311810 3544 1 0 7153184 0 [pid=14783/tid=14784] ppid=14781 vsize=28768328 memory=1127312 CPUtime=1.16 cores=0-7 /proc/14783/task/14784/stat : 14784 (java) S 14781 14781 12701 0 -1 1077944384 9247 0 0 0 107 9 0 0 20 0 28 0 420126568 29458767872 311810 33554432000 4194304 4196468 140734121385904 140509259084928 140509254854357 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7102464 140734121386986 140734121387158 140734121387158 140734121390031 0 [pid=14783/tid=14785] ppid=14781 vsize=28768328 memory=2811011 CPUtime=1.11 cores=0-7 /proc/14783/task/14785/stat : 14785 (java) S 14781 14781 12701 0 -1 1077944384 1835 0 0 0 90 21 0 0 20 0 28 0 420126569 29458767872 311810 33554432000 4194304 4196468 140734121385904 140509207464208 140509254854357 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7102464 140734121386986 140734121387158 140734121387158 140734121390031 0 [pid=14783/tid=14786] ppid=14781 vsize=28768328 memory=2812293 CPUtime=1.15 cores=0-7 /proc/14783/task/14786/stat : 14786 (java) S 14781 14781 12701 0 -1 1077944384 1974 0 0 0 92 23 0 0 20 0 28 0 420126569 29458767872 311810 33554432000 4194304 4196468 140734121385904 140509206411664 140509254854357 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7102464 140734121386986 140734121387158 140734121387158 140734121390031 0 [pid=14783/tid=14787] ppid=14781 vsize=28768328 memory=0 CPUtime=1.13 cores=0-7 /proc/14783/task/14787/stat : 14787 (java) S 14781 14781 12701 0 -1 1077944384 1983 0 0 0 90 23 0 0 20 0 28 0 420126569 29458767872 311810 33554432000 4194304 4196468 140734121385904 140509205359120 140509254854357 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7102464 140734121386986 140734121387158 140734121387158 140734121390031 0 [pid=14783/tid=14788] ppid=14781 vsize=28768328 memory=279403863628768 CPUtime=1.15 cores=0-7 /proc/14783/task/14788/stat : 14788 (java) S 14781 14781 12701 0 -1 1077944384 2043 0 0 0 92 23 0 0 20 0 28 0 420126569 29458767872 311810 33554432000 4194304 4196468 140734121385904 140509204306576 140509254854357 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7102464 140734121386986 140734121387158 140734121387158 140734121390031 0 [pid=14783/tid=14789] ppid=14781 vsize=28768328 memory=7452450700550169170 CPUtime=1.14 cores=0-7 /proc/14783/task/14789/stat : 14789 (java) S 14781 14781 12701 0 -1 1077944384 2578 0 0 0 93 21 0 0 20 0 28 0 420126569 29458767872 311810 33554432000 4194304 4196468 140734121385904 140509203254032 140509254854357 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7102464 140734121386986 140734121387158 140734121387158 140734121390031 0 [pid=14783/tid=14790] ppid=14781 vsize=28768328 memory=7523351595487226214 CPUtime=1.09 cores=0-7 /proc/14783/task/14790/stat : 14790 (java) S 14781 14781 12701 0 -1 1077944384 2097 0 0 0 89 20 0 0 20 0 28 0 420126569 29458767872 311810 33554432000 4194304 4196468 140734121385904 140509202201488 140509254854357 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7102464 140734121386986 140734121387158 140734121387158 140734121390031 0 [pid=14783/tid=14791] ppid=14781 vsize=28768328 memory=7016985778714599768 CPUtime=1.08 cores=0-7 /proc/14783/task/14791/stat : 14791 (java) S 14781 14781 12701 0 -1 1077944384 2043 0 0 0 86 22 0 0 20 0 28 0 420126569 29458767872 311810 33554432000 4194304 4196468 140734121385904 140509201148944 140509254854357 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 1 0 0 6293624 6294260 7102464 140734121386986 140734121387158 140734121387158 140734121390031 0 [pid=14783/tid=14792] ppid=14781 vsize=28768328 memory=0 CPUtime=1.11 cores=0-7 /proc/14783/task/14792/stat : 14792 (java) S 14781 14781 12701 0 -1 1077944384 1830 0 0 0 91 20 0 0 20 0 28 0 420126569 29458767872 311810 33554432000 4194304 4196468 140734121385904 140509200096400 140509254854357 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7102464 140734121386986 140734121387158 140734121387158 140734121390031 0 [pid=14783/tid=14793] ppid=14781 vsize=28768328 memory=279403863461568 CPUtime=0.03 cores=0-7 /proc/14783/task/14793/stat : 14793 (java) S 14781 14781 12701 0 -1 1077944384 1439 0 0 0 3 0 0 0 20 0 28 0 420126570 29458767872 311810 33554432000 4194304 4196468 140734121385904 140507920320496 140509254855298 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7102464 140734121386986 140734121387158 140734121387158 140734121390031 0 [pid=14783/tid=14794] ppid=14781 vsize=28768328 memory=1134988 CPUtime=0 cores=0-7 /proc/14783/task/14794/stat : 14794 (java) S 14781 14781 12701 0 -1 1077944384 38 0 0 0 0 0 0 0 20 0 28 0 420126571 29458767872 311810 33554432000 4194304 4196468 140734121385904 140507919266784 140509254854357 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7102464 140734121386986 140734121387158 140734121387158 140734121390031 0 [pid=14783/tid=14795] ppid=14781 vsize=28768328 memory=287024 CPUtime=0 cores=0-7 /proc/14783/task/14795/stat : 14795 (java) S 14781 14781 12701 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 28 0 420126571 29458767872 311810 33554432000 4194304 4196468 140734121385904 140507918214144 140509254854357 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7102464 140734121386986 140734121387158 140734121387158 140734121390031 0 [pid=14783/tid=14796] ppid=14781 vsize=28768328 memory=2828 CPUtime=0 cores=0-7 /proc/14783/task/14796/stat : 14796 (java) S 14781 14781 12701 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 420126574 29458767872 311810 33554432000 4194304 4196468 140734121385904 140507917162704 140509254862747 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7102464 140734121386986 140734121387158 140734121387158 140734121390031 0 [pid=14783/tid=14797] ppid=14781 vsize=28768328 memory=1000 CPUtime=1.79 cores=0-7 /proc/14783/task/14797/stat : 14797 (java) R 14781 14781 12701 0 -1 4202560 7072 0 0 0 177 2 0 0 20 0 28 0 420126574 29458767872 311810 33554432000 4194304 4196468 140734121385904 140507916091712 140509236365407 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 7102464 140734121386986 140734121387158 140734121387158 140734121390031 0 [pid=14783/tid=14798] ppid=14781 vsize=28768328 memory=1560 CPUtime=1.78 cores=0-7 /proc/14783/task/14798/stat : 14798 (java) R 14781 14781 12701 0 -1 1077944384 10130 0 0 0 175 3 0 0 20 0 28 0 420126574 29458767872 311810 33554432000 4194304 4196468 140734121385904 140507915044112 140509254865341 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 7102464 140734121386986 140734121387158 140734121387158 140734121390031 0 [pid=14783/tid=14799] ppid=14781 vsize=28768328 memory=1172 CPUtime=1.77 cores=0-7 /proc/14783/task/14799/stat : 14799 (java) R 14781 14781 12701 0 -1 4202560 10008 0 0 0 174 3 0 0 20 0 28 0 420126574 29458767872 311810 33554432000 4194304 4196468 140734121385904 140507914001600 140509235544448 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 7102464 140734121386986 140734121387158 140734121387158 140734121390031 0 [pid=14783/tid=14800] ppid=14781 vsize=28768328 memory=0 CPUtime=1 cores=0-7 /proc/14783/task/14800/stat : 14800 (java) S 14781 14781 12701 0 -1 1077944384 5503 0 0 0 98 2 0 0 20 0 28 0 420126574 29458767872 311810 33554432000 4194304 4196468 140734121385904 140507912952688 140509254855298 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7102464 140734121386986 140734121387158 140734121387158 140734121390031 0 [pid=14783/tid=14801] ppid=14781 vsize=28768328 memory=0 CPUtime=0 cores=0-7 /proc/14783/task/14801/stat : 14801 (java) S 14781 14781 12701 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 420126574 29458767872 311810 33554432000 4194304 4196468 140734121385904 140507911899360 140509254854357 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7102464 140734121386986 140734121387158 140734121387158 140734121390031 0 [pid=14783/tid=14802] ppid=14781 vsize=28768328 memory=139701931619952 CPUtime=0 cores=0-7 /proc/14783/task/14802/stat : 14802 (java) S 14781 14781 12701 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 28 0 420126574 29458767872 311810 33554432000 4194304 4196468 140734121385904 140507910846896 140509254855298 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7102464 140734121386986 140734121387158 140734121387158 140734121390031 0 [pid=14783/tid=14931] ppid=14781 vsize=28768328 memory=7156327922157109352 CPUtime=0.38 cores=0-7 /proc/14783/task/14931/stat : 14931 (java) R 14781 14781 12701 0 -1 4202560 28 0 0 0 38 0 0 0 20 0 28 0 420126933 29458767872 311810 33554432000 4194304 4196468 140734121385904 140507829683608 140508873019179 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 7102464 140734121386986 140734121387158 140734121387158 140734121390031 0 [pid=14783/tid=14932] ppid=14781 vsize=28768328 memory=6225477074842313300 CPUtime=0.39 cores=0-7 /proc/14783/task/14932/stat : 14932 (java) R 14781 14781 12701 0 -1 4202560 20 0 0 0 39 0 0 0 20 0 28 0 420126933 29458767872 311810 33554432000 4194304 4196468 140734121385904 140507827582120 140508875305561 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 7102464 140734121386986 140734121387158 140734121387158 140734121390031 0 [pid=14783/tid=14933] ppid=14781 vsize=28768328 memory=6225477074842313300 CPUtime=0.28 cores=0-7 /proc/14783/task/14933/stat : 14933 (java) R 14781 14781 12701 0 -1 1077944384 55 0 0 0 28 0 0 0 20 0 28 0 420126933 29458767872 311810 33554432000 4194304 4196468 140734121385904 140507831793376 140509254854357 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 7102464 140734121386986 140734121387158 140734121387158 140734121390031 0 [pid=14783/tid=14934] ppid=14781 vsize=28768328 memory=6225477074842313300 CPUtime=0.24 cores=0-7 /proc/14783/task/14934/stat : 14934 (java) R 14781 14781 12701 0 -1 4202560 90 0 0 0 24 0 0 0 20 0 28 0 420126933 29458767872 311810 33554432000 4194304 4196468 140734121385904 140507833897056 140508866384688 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 7102464 140734121386986 140734121387158 140734121387158 140734121390031 0 [pid=14783/tid=14935] ppid=14781 vsize=28768328 memory=6225477074842313300 CPUtime=0.41 cores=0-7 /proc/14783/task/14935/stat : 14935 (java) R 14781 14781 12701 0 -1 4202560 20 0 0 0 41 0 0 0 20 0 28 0 420126934 29458767872 311810 33554432000 4194304 4196468 140734121385904 140507826528096 140508872637700 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 7102464 140734121386986 140734121387158 140734121387158 140734121390031 0 [pid=14783/tid=14936] ppid=14781 vsize=28768328 memory=6225477074842313300 CPUtime=0.34 cores=0-7 /proc/14783/task/14936/stat : 14936 (java) R 14781 14781 12701 0 -1 4202560 21 0 0 0 34 0 0 0 20 0 28 0 420126934 29458767872 311810 33554432000 4194304 4196468 140734121385904 140507832844128 140508872637700 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 7102464 140734121386986 140734121387158 140734121387158 140734121390031 0 [pid=14783/tid=14937] ppid=14781 vsize=28768328 memory=6225477074842313300 CPUtime=0.37 cores=0-7 /proc/14783/task/14937/stat : 14937 (java) R 14781 14781 12701 0 -1 4202560 20 0 0 0 37 0 0 0 20 0 28 0 420126934 29458767872 311810 33554432000 4194304 4196468 140734121385904 140507828633232 140508872635340 0 4 0 16800975 0 0 0 -1 3 0 0 1 0 0 6293624 6294260 7102464 140734121386986 140734121387158 140734121387158 140734121390031 0 [pid=14783/tid=14938] ppid=14781 vsize=28768328 memory=6225477074842313300 CPUtime=0.33 cores=0-7 /proc/14783/task/14938/stat : 14938 (java) R 14781 14781 12701 0 -1 4202560 19 0 0 0 33 0 0 0 20 0 28 0 420126934 29458767872 311810 33554432000 4194304 4196468 140734121385904 140507830738704 140508872333824 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 7102464 140734121386986 140734121387158 140734121387158 140734121390031 0 Current children cumulated CPU time: 25.02 s Current children cumulated vsize: 28881456 KiB Current children cumulated memory: 1248696 KiB Child status: 0 Real time (s): 4.1535 CPU time (s): 25.1677 CPU user time (s): 23.0105 CPU system time (s): 2.15714 CPU usage (%): 605.939 Max. virtual memory (cumulated for all children) (KiB): 28883336 Max. memory (cumulated for all children) (KiB): 1250008 getrusage(RUSAGE_CHILDREN,...) data: user time used= 23.0105 system time used= 2.15714 maximum resident set size= 1248896 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 74247 page faults= 0 swaps= 0 block input operations= 0 block output operations= 112 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 6551 involuntary context switches= 378 # summary of solver processes directly reported to runsolver: # pid: 14781 # total CPU time (s): 25.1677 # total CPU user time (s): 23.0105 # total CPU system time (s): 2.15714 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.060128 second user time and 0.08418 second system time The end
Begin job on node141 at 2019-09-14 08:17:25 IDJOB=4394377 IDBENCH=138318 IDSOLVER=2843 FILE ID=node141/4394377-1568441887 RUNJOBID= node141-1568439039-12728 PBS_JOBID= 21702329 Free space on /tmp= 58540 MiB SOLVER NAME= choco-solver parallel 2019-06-14 BENCH NAME= XCSP17/Fastfood/Fastfood-m1-s1/Fastfood-ff65.xml COMMAND LINE= xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 24000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4394377-1568441887/watcher-4394377-1568441887 -o /tmp/evaluation-result-4394377-1568441887/solver-4394377-1568441887 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node141-1568439039-12728 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 1619569267 HOME/instance-4394377-1568441887.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 0deffa9f0e673ce4a3cf2d2074b556a7 RANDOM SEED=1619569267 node141.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 : 5332.93 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 : 5332.93 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 : 5332.93 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 : 5332.93 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: 31277548 kB MemAvailable: 31838648 kB Buffers: 185908 kB Cached: 663152 kB SwapCached: 80180 kB Active: 449752 kB Inactive: 483468 kB Active(anon): 9964 kB Inactive(anon): 106280 kB Active(file): 439788 kB Inactive(file): 377188 kB Unevictable: 109316 kB Mlocked: 109316 kB SwapTotal: 67108860 kB SwapFree: 66919440 kB Dirty: 26428 kB Writeback: 0 kB AnonPages: 232444 kB Mapped: 36612 kB Shmem: 23468 kB Slab: 149728 kB SReclaimable: 119916 kB SUnreclaim: 29812 kB KernelStack: 3888 kB PageTables: 5324 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 498332 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 186368 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 128384 kB DirectMap2M: 33417216 kB Free space on /tmp at the end= 58516 MiB End job on node141 at 2019-09-14 08:17:29