Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| sat4j-CSP 2017-07-05 | SAT (TO) | 63 | 2520.1499 | 2513.1201 |
| 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 | 6.2784801 |
| 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 |
4.27/1.67 c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS 4.27/1.67 c This is free software under the dual EPL/GNU LGPL licenses. 4.27/1.67 c See www.sat4j.org for details. 4.27/1.67 c That software uses the Rhino library from the Mozilla project. 4.27/1.67 c version CUSTOM.v20170705 4.27/1.67 c java.runtime.name Java(TM) SE Runtime Environment 4.27/1.67 c java.vm.name Java HotSpot(TM) 64-Bit Server VM 4.27/1.67 c java.vm.version 25.131-b11 4.27/1.67 c java.vm.vendor Oracle Corporation 4.27/1.67 c sun.arch.data.model 64 4.27/1.67 c java.version 1.8.0_131 4.27/1.67 c os.name Linux 4.27/1.67 c os.version 3.10.0-514.16.1.el7.x86_64 4.27/1.67 c os.arch amd64 4.27/1.67 c Free memory 499604488 4.27/1.67 c Max memory 7247757312 4.27/1.67 c Total memory 504889344 4.27/1.67 c Number of processors 4 4.27/1.67 c c --- Begin Solver configuration --- 4.27/1.67 c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@2b71fc7e 4.27/1.67 c Learn all clauses as in MiniSAT 4.27/1.67 c LOGGER=java.util.logging.Logger@25f38edc claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 4.27/1.67 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 4.27/1.67 c No reason simplification 4.27/1.67 c Glucose 2.1 dynamic restart strategy 4.27/1.67 c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000 4.27/1.67 c timeout=2147483s 4.27/1.67 c DB Simplification allowed=false 4.27/1.67 c Listener: org.sat4j.minisat.core.VoidTracing@1a86f2f1 4.27/1.67 c --- End Solver configuration --- 4.27/1.67 c constraints type 4.27/1.67 c org.sat4j.minisat.constraints.card.MinWatchCard => 1120 4.27/1.67 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 689728 4.27/1.67 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 455900 4.27/1.67 c org.sat4j.minisat.constraints.cnf.UnitClause => 1118 4.27/1.67 c 1147866 constraints processed. 58.34/54.06 o 361 95.27/90.53 o 177 143.93/139.06 o 173 155.82/150.87 o 141 167.07/162.06 o 135 179.33/174.24 o 128 183.63/178.50 o 116 292.50/287.39 o 92 347.55/342.32 o 89 600.56/594.95 o 88 603.87/598.22 o 82 643.88/638.21 o 79 662.39/656.73 o 76 818.59/812.81 o 73 979.19/973.39 o 71 1163.50/1157.59 o 67 1257.96/1251.96 o 66 1830.37/1823.74 o 63 2520.12/2513.10 c starts : 5691 2520.12/2513.10 c conflicts : 1639637 2520.12/2513.10 c decisions : 47221065 2520.12/2513.10 c propagations : 6361957556 2520.12/2513.10 c inspects : 17267585800 2520.12/2513.10 c shortcuts : 0 2520.12/2513.10 c learnt literals : 1558 2520.12/2513.10 c learnt binary clauses : 7727 2520.12/2513.10 c learnt ternary clauses : 11286 2520.12/2513.10 c learnt constraints : 1638079 2520.12/2513.10 c ignored constraints : 0 2520.12/2513.10 c root simplifications : 0 2520.12/2513.10 c removed literals (reason simplification) : 0 2520.12/2513.10 c reason swapping (by a shorter reason) : 0 2520.12/2513.10 c Calls to reduceDB : 148 2520.12/2513.10 c Number of update (reduction) of LBD : 910360 2520.12/2513.10 c Imported unit clauses : 0 2520.12/2513.10 c number of reductions to clauses (during analyze) : 0 2520.12/2513.10 c number of learned constraints concerned by reduction : 0 2520.12/2513.10 c number of learning phase by resolution : 0 2520.12/2513.10 c number of learning phase by cutting planes : 0 2520.12/2513.10 c number of rounding to 1 operations : 0 2520.12/2513.10 c number of easy rounding to 1 operations (no literal elimination needed) : 0 2520.12/2513.10 c number of reductions of the coefficients by power 2 : 0 2520.12/2513.10 c number of right shift for reduction by power 2 : 0 2520.12/2513.10 c number of reductions of the coefficients by GCD over coefficients : 0 2520.12/2513.10 c speed (assignments/second) : 2533224.425989097 2520.12/2513.10 c non guided choices 24450624 2520.12/2513.10 c learnt constraints type 2520.12/2513.10 s SATISFIABLE 2520.13/2513.11 v <instantiation type="solution"> 2520.13/2513.11 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> 2520.13/2513.11 v <values> 23 50 62 81 98 122 160 187 209 238 467 512 548 606 661 711 114 87 75 56 39 15 23 50 72 101 330 375 411 469 524 574 27 0 12 31 48 72 110 137 159 188 417 462 498 556 611 661 99 72 60 41 24 0 38 65 87 116 345 390 426 484 539 589 99 72 60 41 24 0 38 65 87 116 345 390 426 484 539 589 64 37 25 6 11 35 73 100 122 151 380 425 461 519 574 624 58 31 19 0 17 41 79 106 128 157 386 431 467 525 580 630 164 137 125 106 89 65 27 0 22 51 280 325 361 419 474 524 35 8 4 23 40 64 102 129 151 180 409 454 490 548 603 653 137 110 98 79 62 38 0 27 49 78 307 352 388 446 501 551 75 48 36 17 0 24 62 89 111 140 369 414 450 508 563 613 72 45 33 14 3 27 65 92 114 143 372 417 453 511 566 616 2 25 37 56 73 97 135 162 184 213 442 487 523 581 636 686 0 27 39 58 75 99 137 164 186 215 444 489 525 583 638 688 688 661 649 630 613 589 551 524 502 473 244 199 163 105 50 0 18 9 21 40 57 81 119 146 168 197 426 471 507 565 620 670 489 462 450 431 414 390 352 325 303 274 45 0 36 94 149 199 489 462 450 431 414 390 352 325 303 274 45 0 36 94 149 199 81 54 42 23 6 18 56 83 105 134 363 408 444 502 557 607 44 17 5 14 31 55 93 120 142 171 400 445 481 539 594 644 638 611 599 580 563 539 501 474 452 423 194 149 113 55 0 50 638 611 599 580 563 539 501 474 452 423 194 149 113 55 0 50 444 417 405 386 369 345 307 280 258 229 0 45 81 139 194 244 444 417 405 386 369 345 307 280 258 229 0 45 81 139 194 244 215 188 176 157 140 116 78 51 29 0 229 274 310 368 423 473 39 12 0 19 36 60 98 125 147 176 405 450 486 544 599 649 39 12 0 19 36 60 98 125 147 176 405 450 486 544 599 649 583 556 544 525 508 484 446 419 397 368 139 94 58 0 55 105 583 556 544 525 508 484 446 419 397 368 139 94 58 0 55 105 186 159 147 128 111 87 49 22 0 29 258 303 339 397 452 502 11 38 50 69 86 110 148 175 197 226 455 500 536 594 649 699 525 498 486 467 450 426 388 361 339 310 81 36 0 58 113 163 523 496 484 465 448 424 386 359 337 308 79 34 2 60 115 165 15 0 0 0 6 0 0 4 0 0 3 2 0 0 9 0 0 6 5 0 0 0 0 0 0 0 0 0 0 11 0 2 </values> 2520.13/2513.11 v </instantiation> 2520.13/2513.11
OK 63
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 (7086 MiB free)
memory of node 1: 16384 MiB (15615 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4262902-1502635280/watcher-4262902-1502635280 -o /tmp/evaluation-result-4262902-1502635280/solver-4262902-1502635280 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node127-1502624030-2989 --watchdog 2580 java -DCompetitionOutput -jar HOME/sat4j-csp-170705.jar HOME/instance-4262902-1502635280.xml
running on 4 cores: 1,3,5,7
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
Current StackSize limit: 8192 KiB
solver pid=4601, runsolver pid=4598
[startup+0.100093 s]*
/proc/loadavg: 7.14 6.29 4.09 6/196 4603
/proc/meminfo: memFree=23246100/32770624 swapFree=67108860/67108860
[pid=4601] ppid=4598 vsize=9934352 memory=10736 CPUtime=0 cores=1,3,5,7
/proc/4601/stat : 4601 (java) S 4598 4601 17093 0 -1 1077944320 2528 0 0 0 0 0 0 0 20 0 6 0 65721290 10172776448 2684 18446744073709551615 4194304 4196468 140733912455632 140733912438176 139939278753527 0 0 1 16784584 18446744073709551615 0 0 17 1 0 0 9 0 0 6293624 6294260 27619328 140733912457616 140733912457769 140733912457769 140733912461263 0
/proc/4601/statm: 2483588 2684 1223 1 0 2473558 0
[pid=4601/tid=4603] ppid=4598 vsize=9934352 memory=4206751525541407381 CPUtime=0 cores=1,3,5,7
/proc/4601/task/4603/stat : 4603 (java) R 4598 4601 17093 0 -1 4202560 1319 0 0 0 0 0 0 0 20 0 6 0 65721300 10172776448 2819 18446744073709551615 4194304 4196468 140733912455632 139939282995304 139939264821520 0 4 1 16784584 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27619328 140733912457616 140733912457769 140733912457769 140733912461263 0
[pid=4601/tid=4604] ppid=4598 vsize=9934352 memory=4872558044660077418 CPUtime=0 cores=1,3,5,7
/proc/4601/task/4604/stat : 4604 (java) S 4598 4601 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 6 0 65721301 10172776448 2819 18446744073709551615 4194304 4196468 140733912455632 139939235720208 139939278763733 0 4 1 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27619328 140733912457616 140733912457769 140733912457769 140733912461263 0
[pid=4601/tid=4605] ppid=4598 vsize=9934352 memory=139779480082048 CPUtime=0 cores=1,3,5,7
/proc/4601/task/4605/stat : 4605 (java) S 4598 4601 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 6 0 65721301 10172776448 2819 18446744073709551615 4194304 4196468 140733912455632 139939234667664 139939278763733 0 4 1 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27619328 140733912457616 140733912457769 140733912457769 140733912461263 0
[pid=4601/tid=4606] ppid=4598 vsize=9934352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4601/task/4606/stat : 4606 (java) S 4598 4601 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 6 0 65721301 10172776448 2819 18446744073709551615 4194304 4196468 140733912455632 139939233614608 139939278763733 0 4 1 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27619328 140733912457616 140733912457769 140733912457769 140733912461263 0
[pid=4601/tid=4607] ppid=4598 vsize=9934352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4601/task/4607/stat : 4607 (java) S 4598 4601 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 6 0 65721301 10172776448 2819 18446744073709551615 4194304 4196468 140733912455632 139939232562064 139939278763733 0 4 1 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27619328 140733912457616 140733912457769 140733912457769 140733912461263 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 9934352 KiB
Current children cumulated memory: 10736 KiB
[startup+0.209683 s]*
/proc/loadavg: 7.14 6.29 4.09 4/209 4616
/proc/meminfo: memFree=23231792/32770624 swapFree=67108860/67108860
[pid=4601] ppid=4598 vsize=10551156 memory=26328 CPUtime=0.09 cores=1,3,5,7
/proc/4601/stat : 4601 (java) S 4598 4601 17093 0 -1 1077944320 5043 0 0 0 9 0 0 0 20 0 15 0 65721290 10804383744 6582 18446744073709551615 4194304 4196468 140733912455632 140733912438176 139939278753527 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 9 0 0 6293624 6294260 27619328 140733912457616 140733912457769 140733912457769 140733912461263 0
/proc/4601/statm: 2637789 6582 2765 1 0 2627261 0
[pid=4601/tid=4603] ppid=4598 vsize=10551156 memory=8318255677412212789 CPUtime=0.07 cores=1,3,5,7
/proc/4601/task/4603/stat : 4603 (java) R 4598 4601 17093 0 -1 4202560 3013 0 0 0 7 0 0 0 20 0 15 0 65721300 10804383744 6647 18446744073709551615 4194304 4196468 140733912455632 139939282988496 139939271431541 0 4 1 16800974 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 27619328 140733912457616 140733912457769 140733912457769 140733912461263 0
[pid=4601/tid=4604] ppid=4598 vsize=10551156 memory=330 CPUtime=0 cores=1,3,5,7
/proc/4601/task/4604/stat : 4604 (java) S 4598 4601 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 65721301 10804383744 6647 18446744073709551615 4194304 4196468 140733912455632 139939235720208 139939278763733 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27619328 140733912457616 140733912457769 140733912457769 140733912461263 0
[pid=4601/tid=4605] ppid=4598 vsize=10551156 memory=4122113451546236576 CPUtime=0 cores=1,3,5,7
/proc/4601/task/4605/stat : 4605 (java) S 4598 4601 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 65721301 10804383744 6647 18446744073709551615 4194304 4196468 140733912455632 139939234667664 139939278763733 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27619328 140733912457616 140733912457769 140733912457769 140733912461263 0
[pid=4601/tid=4606] ppid=4598 vsize=10551156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4601/task/4606/stat : 4606 (java) S 4598 4601 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 65721301 10804383744 6647 18446744073709551615 4194304 4196468 140733912455632 139939233614608 139939278763733 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27619328 140733912457616 140733912457769 140733912457769 140733912461263 0
[pid=4601/tid=4607] ppid=4598 vsize=10551156 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4601/task/4607/stat : 4607 (java) S 4598 4601 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 65721301 10804383744 6647 18446744073709551615 4194304 4196468 140733912455632 139939232562064 139939278763733 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27619328 140733912457616 140733912457769 140733912457769 140733912461263 0
[pid=4601/tid=4608] ppid=4598 vsize=10551156 memory=139779480082048 CPUtime=0 cores=1,3,5,7
/proc/4601/task/4608/stat : 4608 (java) S 4598 4601 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 65721302 10804383744 6647 18446744073709551615 4194304 4196468 140733912455632 139938842671344 139939278764674 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27619328 140733912457616 140733912457769 140733912457769 140733912461263 0
[pid=4601/tid=4609] ppid=4598 vsize=10551156 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4601/task/4609/stat : 4609 (java) S 4598 4601 17093 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 65721303 10804383744 6647 18446744073709551615 4194304 4196468 140733912455632 139938841617568 139939278763733 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27619328 140733912457616 140733912457769 140733912457769 140733912461263 0
[pid=4601/tid=4610] ppid=4598 vsize=10551156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4601/task/4610/stat : 4610 (java) S 4598 4601 17093 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 65721303 10804383744 6647 18446744073709551615 4194304 4196468 140733912455632 139938840564464 139939278763733 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27619328 140733912457616 140733912457769 140733912457769 140733912461263 0
[pid=4601/tid=4611] ppid=4598 vsize=10551156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4601/task/4611/stat : 4611 (java) S 4598 4601 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 65721305 10804383744 6647 18446744073709551615 4194304 4196468 140733912455632 139938839513040 139939278772123 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27619328 140733912457616 140733912457769 140733912457769 140733912461263 0
[pid=4601/tid=4612] ppid=4598 vsize=10551156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4601/task/4612/stat : 4612 (java) S 4598 4601 17093 0 -1 1077944384 422 0 0 0 0 0 0 0 20 0 15 0 65721305 10804383744 6647 18446744073709551615 4194304 4196468 140733912455632 139938838461168 139939278764674 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27619328 140733912457616 140733912457769 140733912457769 140733912461263 0
[pid=4601/tid=4613] ppid=4598 vsize=10551156 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4601/task/4613/stat : 4613 (java) S 4598 4601 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 65721305 10804383744 6647 18446744073709551615 4194304 4196468 140733912455632 139938837408624 139939278764674 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27619328 140733912457616 140733912457769 140733912457769 140733912461263 0
[pid=4601/tid=4614] ppid=4598 vsize=10551156 memory=139779480082048 CPUtime=0 cores=1,3,5,7
/proc/4601/task/4614/stat : 4614 (java) R 4598 4601 17093 0 -1 4202560 282 0 0 0 0 0 0 0 20 0 15 0 65721305 10804383744 6647 18446744073709551615 4194304 4196468 140733912455632 139938836355568 139939263283790 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27619328 140733912457616 140733912457769 140733912457769 140733912461263 0
[pid=4601/tid=4615] ppid=4598 vsize=10551156 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4601/task/4615/stat : 4615 (java) S 4598 4601 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 65721305 10804383744 6647 18446744073709551615 4194304 4196468 140733912455632 139938835303264 139939278763733 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27619328 140733912457616 140733912457769 140733912457769 140733912461263 0
[pid=4601/tid=4616] ppid=4598 vsize=10551156 memory=139779480082048 CPUtime=0 cores=1,3,5,7
/proc/4601/task/4616/stat : 4616 (java) S 4598 4601 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 65721309 10804383744 6647 18446744073709551615 4194304 4196468 140733912455632 139938834250288 139939278764674 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27619328 140733912457616 140733912457769 140733912457769 140733912461263 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 10551156 KiB
Current children cumulated memory: 26328 KiB
[startup+0.310205 s]*
/proc/loadavg: 7.14 6.29 4.09 3/209 4616
/proc/meminfo: memFree=23221156/32770624 swapFree=67108860/67108860
[pid=4601] ppid=4598 vsize=10551156 memory=36632 CPUtime=0.24 cores=1,3,5,7
/proc/4601/stat : 4601 (java) S 4598 4601 17093 0 -1 1077944320 8418 0 0 0 22 2 0 0 20 0 15 0 65721290 10804383744 9158 18446744073709551615 4194304 4196468 140733912455632 140733912438176 139939278753527 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 9 0 0 6293624 6294260 27619328 140733912457616 140733912457769 140733912457769 140733912461263 0
/proc/4601/statm: 2637789 9158 2859 1 0 2627261 0
[pid=4601/tid=4603] ppid=4598 vsize=10551156 memory=-7677926825137650786 CPUtime=0.16 cores=1,3,5,7
/proc/4601/task/4603/stat : 4603 (java) R 4598 4601 17093 0 -1 4202560 6068 0 0 0 15 1 0 0 20 0 15 0 65721300 10804383744 9158 18446744073709551615 4194304 4196468 140733912455632 139939282956672 139939262834014 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 27619328 140733912457616 140733912457769 140733912457769 140733912461263 0
[pid=4601/tid=4604] ppid=4598 vsize=10551156 memory=4872558044660077418 CPUtime=0 cores=1,3,5,7
/proc/4601/task/4604/stat : 4604 (java) S 4598 4601 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 65721301 10804383744 9158 18446744073709551615 4194304 4196468 140733912455632 139939235720208 139939278763733 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27619328 140733912457616 140733912457769 140733912457769 140733912461263 0
[pid=4601/tid=4605] ppid=4598 vsize=10551156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4601/task/4605/stat : 4605 (java) S 4598 4601 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 65721301 10804383744 9158 18446744073709551615 4194304 4196468 140733912455632 139939234667664 139939278763733 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27619328 140733912457616 140733912457769 140733912457769 140733912461263 0
[pid=4601/tid=4606] ppid=4598 vsize=10551156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4601/task/4606/stat : 4606 (java) S 4598 4601 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 65721301 10804383744 9158 18446744073709551615 4194304 4196468 140733912455632 139939233614608 139939278763733 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27619328 140733912457616 140733912457769 140733912457769 140733912461263 0
[pid=4601/tid=4607] ppid=4598 vsize=10551156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4601/task/4607/stat : 4607 (java) S 4598 4601 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 65721301 10804383744 9158 18446744073709551615 4194304 4196468 140733912455632 139939232562064 139939278763733 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27619328 140733912457616 140733912457769 140733912457769 140733912461263 0
[pid=4601/tid=4608] ppid=4598 vsize=10551156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4601/task/4608/stat : 4608 (java) S 4598 4601 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 65721302 10804383744 9158 18446744073709551615 4194304 4196468 140733912455632 139938842671344 139939278764674 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27619328 140733912457616 140733912457769 140733912457769 140733912461263 0
[pid=4601/tid=4609] ppid=4598 vsize=10551156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4601/task/4609/stat : 4609 (java) S 4598 4601 17093 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 65721303 10804383744 9158 18446744073709551615 4194304 4196468 140733912455632 139938841617568 139939278763733 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27619328 140733912457616 140733912457769 140733912457769 140733912461263 0
[pid=4601/tid=4610] ppid=4598 vsize=10551156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4601/task/4610/stat : 4610 (java) S 4598 4601 17093 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 65721303 10804383744 9158 18446744073709551615 4194304 4196468 140733912455632 139938840564464 139939278763733 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27619328 140733912457616 140733912457769 140733912457769 140733912461263 0
[pid=4601/tid=4611] ppid=4598 vsize=10551156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4601/task/4611/stat : 4611 (java) S 4598 4601 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 65721305 10804383744 9158 18446744073709551615 4194304 4196468 140733912455632 139938839513040 139939278772123 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27619328 140733912457616 140733912457769 140733912457769 140733912461263 0
[pid=4601/tid=4612] ppid=4598 vsize=10551156 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/4601/task/4612/stat : 4612 (java) S 4598 4601 17093 0 -1 1077944384 483 0 0 0 1 0 0 0 20 0 15 0 65721305 10804383744 9158 18446744073709551615 4194304 4196468 140733912455632 139938838461168 139939278764674 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27619328 140733912457616 140733912457769 140733912457769 140733912461263 0
[pid=4601/tid=4613] ppid=4598 vsize=10551156 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/4601/task/4613/stat : 4613 (java) S 4598 4601 17093 0 -1 1077944384 101 0 0 0 1 0 0 0 20 0 15 0 65721305 10804383744 9158 18446744073709551615 4194304 4196468 140733912455632 139938837408624 139939278764674 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27619328 140733912457616 140733912457769 140733912457769 140733912461263 0
[pid=4601/tid=4614] ppid=4598 vsize=10551156 memory=-1 CPUtime=0.03 cores=1,3,5,7
/proc/4601/task/4614/stat : 4614 (java) S 4598 4601 17093 0 -1 1077944384 407 0 0 0 3 0 0 0 20 0 15 0 65721305 10804383744 9158 18446744073709551615 4194304 4196468 140733912455632 139938836355568 139939278764674 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27619328 140733912457616 140733912457769 140733912457769 140733912461263 0
[pid=4601/tid=4615] ppid=4598 vsize=10551156 memory=139779480082048 CPUtime=0 cores=1,3,5,7
/proc/4601/task/4615/stat : 4615 (java) S 4598 4601 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 65721305 10804383744 9158 18446744073709551615 4194304 4196468 140733912455632 139938835303264 139939278763733 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27619328 140733912457616 140733912457769 140733912457769 140733912461263 0
[pid=4601/tid=4616] ppid=4598 vsize=10551156 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4601/task/4616/stat : 4616 (java) S 4598 4601 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 65721309 10804383744 9158 18446744073709551615 4194304 4196468 140733912455632 139938834250288 139939278764674 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27619328 140733912457616 140733912457769 140733912457769 140733912461263 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 10551156 KiB
Current children cumulated memory: 36632 KiB
[startup+0.701052 s]
/proc/loadavg: 7.14 6.29 4.09 6/209 4616
/proc/meminfo: memFree=23205664/32770624 swapFree=67108860/67108860
[pid=4601] ppid=4598 vsize=10551232 memory=148140 CPUtime=1.41 cores=1,3,5,7
/proc/4601/stat : 4601 (java) S 4598 4601 17093 0 -1 1077944320 12887 0 0 0 136 5 0 0 20 0 15 0 65721290 10804461568 37035 18446744073709551615 4194304 4196468 140733912455632 140733912438176 139939278753527 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 9 0 0 6293624 6294260 27619328 140733912457616 140733912457769 140733912457769 140733912461263 0
/proc/4601/statm: 2637808 37035 3068 1 0 2627261 0
[pid=4601/tid=4603] ppid=4598 vsize=10551232 memory=6297835844906604903 CPUtime=0.54 cores=1,3,5,7
/proc/4601/task/4603/stat : 4603 (java) R 4598 4601 17093 0 -1 4202560 7535 0 0 0 51 3 0 0 20 0 15 0 65721300 10804461568 37035 18446744073709551615 4194304 4196468 140733912455632 139939282986640 139938913508530 0 4 1 16800974 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 27619328 140733912457616 140733912457769 140733912457769 140733912461263 0
[pid=4601/tid=4604] ppid=4598 vsize=10551232 memory=7308028628335813952 CPUtime=0 cores=1,3,5,7
/proc/4601/task/4604/stat : 4604 (java) S 4598 4601 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 65721301 10804461568 37035 18446744073709551615 4194304 4196468 140733912455632 139939235720208 139939278763733 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27619328 140733912457616 140733912457769 140733912457769 140733912461263 0
[pid=4601/tid=4605] ppid=4598 vsize=10551232 memory=7596259004554634560 CPUtime=0 cores=1,3,5,7
/proc/4601/task/4605/stat : 4605 (java) S 4598 4601 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 65721301 10804461568 37035 18446744073709551615 4194304 4196468 140733912455632 139939234667664 139939278763733 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27619328 140733912457616 140733912457769 140733912457769 140733912461263 0
[pid=4601/tid=4606] ppid=4598 vsize=10551232 memory=7302135314614015848 CPUtime=0 cores=1,3,5,7
/proc/4601/task/4606/stat : 4606 (java) S 4598 4601 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 65721301 10804461568 37035 18446744073709551615 4194304 4196468 140733912455632 139939233614608 139939278763733 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27619328 140733912457616 140733912457769 140733912457769 140733912461263 0
[pid=4601/tid=4607] ppid=4598 vsize=10551232 memory=2232 CPUtime=0 cores=1,3,5,7
/proc/4601/task/4607/stat : 4607 (java) S 4598 4601 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 65721301 10804461568 37035 18446744073709551615 4194304 4196468 140733912455632 139939232562064 139939278763733 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27619328 140733912457616 140733912457769 140733912457769 140733912461263 0
[pid=4601/tid=4608] ppid=4598 vsize=10551232 memory=296 CPUtime=0 cores=1,3,5,7
/proc/4601/task/4608/stat : 4608 (java) S 4598 4601 17093 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 65721302 10804461568 37035 18446744073709551615 4194304 4196468 140733912455632 139938842671344 139939278764674 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27619328 140733912457616 140733912457769 140733912457769 140733912461263 0
[pid=4601/tid=4609] ppid=4598 vsize=10551232 memory=843 CPUtime=0 cores=1,3,5,7
/proc/4601/task/4609/stat : 4609 (java) S 4598 4601 17093 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 65721303 10804461568 37035 18446744073709551615 4194304 4196468 140733912455632 139938841617568 139939278763733 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27619328 140733912457616 140733912457769 140733912457769 140733912461263 0
[pid=4601/tid=4610] ppid=4598 vsize=10551232 memory=55 CPUtime=0 cores=1,3,5,7
/proc/4601/task/4610/stat : 4610 (java) S 4598 4601 17093 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 65721303 10804461568 37035 18446744073709551615 4194304 4196468 140733912455632 139938840564464 139939278763733 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27619328 140733912457616 140733912457769 140733912457769 140733912461263 0
[pid=4601/tid=4611] ppid=4598 vsize=10551232 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4601/task/4611/stat : 4611 (java) S 4598 4601 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 65721305 10804461568 37035 18446744073709551615 4194304 4196468 140733912455632 139938839513040 139939278772123 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27619328 140733912457616 140733912457769 140733912457769 140733912461263 0
[pid=4601/tid=4612] ppid=4598 vsize=10551232 memory=105 CPUtime=0.27 cores=1,3,5,7
/proc/4601/task/4612/stat : 4612 (java) R 4598 4601 17093 0 -1 4202560 1418 0 0 0 27 0 0 0 20 0 15 0 65721305 10804461568 37035 18446744073709551615 4194304 4196468 140733912455632 139938838442184 139939263042542 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27619328 140733912457616 140733912457769 140733912457769 140733912461263 0
[pid=4601/tid=4613] ppid=4598 vsize=10551232 memory=3904 CPUtime=0.26 cores=1,3,5,7
/proc/4601/task/4613/stat : 4613 (java) R 4598 4601 17093 0 -1 4202560 972 0 0 0 26 0 0 0 20 0 15 0 65721305 10804461568 37547 18446744073709551615 4194304 4196468 140733912455632 139938837394640 139939262285006 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 27619328 140733912457616 140733912457769 140733912457769 140733912461263 0
[pid=4601/tid=4614] ppid=4598 vsize=10551232 memory=-7677926825137650786 CPUtime=0.31 cores=1,3,5,7
/proc/4601/task/4614/stat : 4614 (java) S 4598 4601 17093 0 -1 1077944384 1590 0 0 0 31 0 0 0 20 0 15 0 65721305 10804461568 37547 18446744073709551615 4194304 4196468 140733912455632 139938836355568 139939278764674 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27619328 140733912457616 140733912457769 140733912457769 140733912461263 0
[pid=4601/tid=4615] ppid=4598 vsize=10551232 memory=4872558044660077418 CPUtime=0 cores=1,3,5,7
/proc/4601/task/4615/stat : 4615 (java) S 4598 4601 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 65721305 10804461568 37547 18446744073709551615 4194304 4196468 140733912455632 139938835303264 139939278763733 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27619328 140733912457616 140733912457769 140733912457769 140733912461263 0
[pid=4601/tid=4616] ppid=4598 vsize=10551232 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4601/task/4616/stat : 4616 (java) S 4598 4601 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 65721309 10804461568 37547 18446744073709551615 4194304 4196468 140733912455632 139938834250288 139939278764674 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27619328 140733912457616 140733912457769 140733912457769 140733912461263 0
Current children cumulated CPU time: 1.41 s
Current children cumulated vsize: 10551232 KiB
Current children cumulated memory: 148140 KiB
[startup+1.50077 s]
/proc/loadavg: 7.14 6.29 4.09 5/209 4616
/proc/meminfo: memFree=23058100/32770624 swapFree=67108860/67108860
[pid=4601] ppid=4598 vsize=10551232 memory=351820 CPUtime=3.9 cores=1,3,5,7
/proc/4601/stat : 4601 (java) S 4598 4601 17093 0 -1 1077944320 24335 0 0 0 378 12 0 0 20 0 15 0 65721290 10804461568 87955 18446744073709551615 4194304 4196468 140733912455632 140733912438176 139939278753527 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 9 0 0 6293624 6294260 27619328 140733912457616 140733912457769 140733912457769 140733912461263 0
/proc/4601/statm: 2637808 87955 3102 1 0 2627261 0
[pid=4601/tid=4603] ppid=4598 vsize=10551232 memory=279558750457728 CPUtime=1.29 cores=1,3,5,7
/proc/4601/task/4603/stat : 4603 (java) R 4598 4601 17093 0 -1 4202560 7605 0 0 0 124 5 0 0 20 0 15 0 65721300 10804461568 87955 18446744073709551615 4194304 4196468 140733912455632 139939282992424 139938913655243 0 4 1 16800974 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 27619328 140733912457616 140733912457769 140733912457769 140733912461263 0
[pid=4601/tid=4604] ppid=4598 vsize=10551232 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/4601/task/4604/stat : 4604 (java) S 4598 4601 17093 0 -1 1077944384 116 0 0 0 3 1 0 0 20 0 15 0 65721301 10804461568 87955 18446744073709551615 4194304 4196468 140733912455632 139939235720208 139939278763733 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27619328 140733912457616 140733912457769 140733912457769 140733912461263 0
[pid=4601/tid=4605] ppid=4598 vsize=10551232 memory=5857 CPUtime=0.02 cores=1,3,5,7
/proc/4601/task/4605/stat : 4605 (java) S 4598 4601 17093 0 -1 1077944384 13 0 0 0 2 0 0 0 20 0 15 0 65721301 10804461568 87955 18446744073709551615 4194304 4196468 140733912455632 139939234667664 139939278763733 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27619328 140733912457616 140733912457769 140733912457769 140733912461263 0
[pid=4601/tid=4606] ppid=4598 vsize=10551232 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/4601/task/4606/stat : 4606 (java) S 4598 4601 17093 0 -1 1077944384 113 0 0 0 2 0 0 0 20 0 15 0 65721301 10804461568 87955 18446744073709551615 4194304 4196468 140733912455632 139939233614608 139939278763733 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27619328 140733912457616 140733912457769 140733912457769 140733912461263 0
[pid=4601/tid=4607] ppid=4598 vsize=10551232 memory=279558750552352 CPUtime=0.05 cores=1,3,5,7
/proc/4601/task/4607/stat : 4607 (java) S 4598 4601 17093 0 -1 1077944384 112 0 0 0 4 1 0 0 20 0 15 0 65721301 10804461568 87955 18446744073709551615 4194304 4196468 140733912455632 139939232562064 139939278763733 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27619328 140733912457616 140733912457769 140733912457769 140733912461263 0
[pid=4601/tid=4608] ppid=4598 vsize=10551232 memory=288230621803970871 CPUtime=0 cores=1,3,5,7
/proc/4601/task/4608/stat : 4608 (java) S 4598 4601 17093 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 15 0 65721302 10804461568 87955 18446744073709551615 4194304 4196468 140733912455632 139938842671344 139939278764674 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27619328 140733912457616 140733912457769 140733912457769 140733912461263 0
[pid=4601/tid=4609] ppid=4598 vsize=10551232 memory=15825486446070293 CPUtime=0 cores=1,3,5,7
/proc/4601/task/4609/stat : 4609 (java) S 4598 4601 17093 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 65721303 10804461568 87955 18446744073709551615 4194304 4196468 140733912455632 139938841617568 139939278763733 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27619328 140733912457616 140733912457769 140733912457769 140733912461263 0
[pid=4601/tid=4610] ppid=4598 vsize=10551232 memory=4048 CPUtime=0 cores=1,3,5,7
/proc/4601/task/4610/stat : 4610 (java) S 4598 4601 17093 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 65721303 10804461568 87955 18446744073709551615 4194304 4196468 140733912455632 139938840564464 139939278763733 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27619328 140733912457616 140733912457769 140733912457769 140733912461263 0
[pid=4601/tid=4611] ppid=4598 vsize=10551232 memory=2241 CPUtime=0 cores=1,3,5,7
/proc/4601/task/4611/stat : 4611 (java) S 4598 4601 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 65721305 10804461568 87955 18446744073709551615 4194304 4196468 140733912455632 139938839513040 139939278772123 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27619328 140733912457616 140733912457769 140733912457769 140733912461263 0
[pid=4601/tid=4612] ppid=4598 vsize=10551232 memory=16448 CPUtime=1.05 cores=1,3,5,7
/proc/4601/task/4612/stat : 4612 (java) R 4598 4601 17093 0 -1 4202560 7995 0 0 0 104 1 0 0 20 0 15 0 65721305 10804461568 87955 18446744073709551615 4194304 4196468 140733912455632 139938838447264 139939263577921 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27619328 140733912457616 140733912457769 140733912457769 140733912461263 0
[pid=4601/tid=4613] ppid=4598 vsize=10551232 memory=2752 CPUtime=1.01 cores=1,3,5,7
/proc/4601/task/4613/stat : 4613 (java) R 4598 4601 17093 0 -1 4202560 4846 0 0 0 100 1 0 0 20 0 15 0 65721305 10804461568 87955 18446744073709551615 4194304 4196468 140733912455632 139938837401112 139939264808563 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27619328 140733912457616 140733912457769 140733912457769 140733912461263 0
[pid=4601/tid=4614] ppid=4598 vsize=10551232 memory=3024 CPUtime=0.35 cores=1,3,5,7
/proc/4601/task/4614/stat : 4614 (java) S 4598 4601 17093 0 -1 1077944384 2090 0 0 0 35 0 0 0 20 0 15 0 65721305 10804461568 87955 18446744073709551615 4194304 4196468 140733912455632 139938836355568 139939278764674 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27619328 140733912457616 140733912457769 140733912457769 140733912461263 0
[pid=4601/tid=4615] ppid=4598 vsize=10551232 memory=4072 CPUtime=0 cores=1,3,5,7
/proc/4601/task/4615/stat : 4615 (java) S 4598 4601 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 65721305 10804461568 87955 18446744073709551615 4194304 4196468 140733912455632 139938835303264 139939278763733 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27619328 140733912457616 140733912457769 140733912457769 140733912461263 0
[pid=4601/tid=4616] ppid=4598 vsize=10551232 memory=1156 CPUtime=0 cores=1,3,5,7
/proc/4601/task/4616/stat : 4616 (java) S 4598 4601 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 65721309 10804461568 87955 18446744073709551615 4194304 4196468 140733912455632 139938834250288 139939278764674 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27619328 140733912457616 140733912457769 140733912457769 140733912461263 0
Current children cumulated CPU time: 3.9 s
Current children cumulated vsize: 10551232 KiB
################
# More data... #
################
/proc/4601/task/4609/stat : 4609 (java) S 4598 4601 17093 0 -1 1077944384 39 0 0 0 0 0 0 0 20 0 16 0 65721303 10874720256 217721 18446744073709551615 4194304 4196468 140733912455632 139938841617632 139939278763733 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27619328 140733912457616 140733912457769 140733912457769 140733912461263 0
[pid=4601/tid=4610] ppid=4598 vsize=10619844 memory=870884 CPUtime=0 cores=1,3,5,7
/proc/4601/task/4610/stat : 4610 (java) S 4598 4601 17093 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 16 0 65721303 10874720256 217721 18446744073709551615 4194304 4196468 140733912455632 139938840564480 139939278763733 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27619328 140733912457616 140733912457769 140733912457769 140733912461263 0
[pid=4601/tid=4611] ppid=4598 vsize=10619844 memory=870884 CPUtime=0 cores=1,3,5,7
/proc/4601/task/4611/stat : 4611 (java) S 4598 4601 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 65721305 10874720256 217721 18446744073709551615 4194304 4196468 140733912455632 139938839513040 139939278772123 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27619328 140733912457616 140733912457769 140733912457769 140733912461263 0
[pid=4601/tid=4612] ppid=4598 vsize=10619844 memory=870884 CPUtime=2.06 cores=1,3,5,7
/proc/4601/task/4612/stat : 4612 (java) S 4598 4601 17093 0 -1 1077944384 12742 0 0 0 204 2 0 0 20 0 16 0 65721305 10874720256 217721 18446744073709551615 4194304 4196468 140733912455632 139938838461168 139939278764674 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27619328 140733912457616 140733912457769 140733912457769 140733912461263 0
[pid=4601/tid=4613] ppid=4598 vsize=10619844 memory=870884 CPUtime=2.25 cores=1,3,5,7
/proc/4601/task/4613/stat : 4613 (java) S 4598 4601 17093 0 -1 1077944384 14207 0 0 0 223 2 0 0 20 0 16 0 65721305 10874720256 217721 18446744073709551615 4194304 4196468 140733912455632 139938837408624 139939278764674 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27619328 140733912457616 140733912457769 140733912457769 140733912461263 0
[pid=4601/tid=4614] ppid=4598 vsize=10619844 memory=870884 CPUtime=0.5 cores=1,3,5,7
/proc/4601/task/4614/stat : 4614 (java) S 4598 4601 17093 0 -1 1077944384 5548 0 0 0 49 1 0 0 20 0 16 0 65721305 10874720256 217721 18446744073709551615 4194304 4196468 140733912455632 139938836355568 139939278764674 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27619328 140733912457616 140733912457769 140733912457769 140733912461263 0
[pid=4601/tid=4615] ppid=4598 vsize=10619844 memory=870884 CPUtime=0 cores=1,3,5,7
/proc/4601/task/4615/stat : 4615 (java) S 4598 4601 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 65721305 10874720256 217721 18446744073709551615 4194304 4196468 140733912455632 139938835303264 139939278763733 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27619328 140733912457616 140733912457769 140733912457769 140733912461263 0
[pid=4601/tid=4616] ppid=4598 vsize=10619844 memory=870884 CPUtime=1.56 cores=1,3,5,7
/proc/4601/task/4616/stat : 4616 (java) S 4598 4601 17093 0 -1 1077944384 2233 0 0 0 70 86 0 0 20 0 16 0 65721309 10874720256 217721 18446744073709551615 4194304 4196468 140733912455632 139938834250288 139939278764674 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27619328 140733912457616 140733912457769 140733912457769 140733912461263 0
[pid=4601/tid=4617] ppid=4598 vsize=10619844 memory=870884 CPUtime=0 cores=1,3,5,7
/proc/4601/task/4617/stat : 4617 (java) S 4598 4601 17093 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 65721460 10874720256 217721 18446744073709551615 4194304 4196468 140733912455632 139938833196080 139939278764674 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27619328 140733912457616 140733912457769 140733912457769 140733912461263 0
Current children cumulated CPU time: 2509.4 s
Current children cumulated vsize: 10619844 KiB
Current children cumulated memory: 870884 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2512.9 s]
/proc/loadavg: 2.51 2.25 2.27 3/211 4945
/proc/meminfo: memFree=26309464/32770624 swapFree=67108860/67108860
[pid=4601] ppid=4598 vsize=10619844 memory=870884 CPUtime=2520 cores=1,3,5,7
/proc/4601/stat : 4601 (java) S 4598 4601 17093 0 -1 1077944320 71762 0 0 0 251872 128 0 0 20 0 16 0 65721290 10874720256 217721 18446744073709551615 4194304 4196468 140733912455632 140733912438176 139939278753527 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 9 0 0 6293624 6294260 27619328 140733912457616 140733912457769 140733912457769 140733912461263 0
/proc/4601/statm: 2654961 217721 3132 1 0 2644414 0
[pid=4601/tid=4603] ppid=4598 vsize=10619844 memory=870884 CPUtime=2512.28 cores=1,3,5,7
/proc/4601/task/4603/stat : 4603 (java) R 4598 4601 17093 0 -1 4202560 31394 0 0 0 251218 10 0 0 20 0 16 0 65721300 10874720256 217721 18446744073709551615 4194304 4196468 140733912455632 139939282992328 139938914730083 0 4 1 16800974 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 27619328 140733912457616 140733912457769 140733912457769 140733912461263 0
[pid=4601/tid=4604] ppid=4598 vsize=10619844 memory=870884 CPUtime=0.3 cores=1,3,5,7
/proc/4601/task/4604/stat : 4604 (java) S 4598 4601 17093 0 -1 1077944384 416 0 0 0 21 9 0 0 20 0 16 0 65721301 10874720256 217721 18446744073709551615 4194304 4196468 140733912455632 139939235720208 139939278763733 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27619328 140733912457616 140733912457769 140733912457769 140733912461263 0
[pid=4601/tid=4605] ppid=4598 vsize=10619844 memory=1708 CPUtime=0.28 cores=1,3,5,7
/proc/4601/task/4605/stat : 4605 (java) S 4598 4601 17093 0 -1 1077944384 474 0 0 0 19 9 0 0 20 0 16 0 65721301 10874720256 217721 18446744073709551615 4194304 4196468 140733912455632 139939234667664 139939278763733 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27619328 140733912457616 140733912457769 140733912457769 140733912461263 0
[pid=4601/tid=4606] ppid=4598 vsize=10619844 memory=870884 CPUtime=0.29 cores=1,3,5,7
/proc/4601/task/4606/stat : 4606 (java) S 4598 4601 17093 0 -1 1077944384 554 0 0 0 20 9 0 0 20 0 16 0 65721301 10874720256 217721 18446744073709551615 4194304 4196468 140733912455632 139939233614608 139939278763733 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27619328 140733912457616 140733912457769 140733912457769 140733912461263 0
[pid=4601/tid=4607] ppid=4598 vsize=10619844 memory=870884 CPUtime=0.32 cores=1,3,5,7
/proc/4601/task/4607/stat : 4607 (java) S 4598 4601 17093 0 -1 1077944384 1377 0 0 0 23 9 0 0 20 0 16 0 65721301 10874720256 217721 18446744073709551615 4194304 4196468 140733912455632 139939232562064 139939278763733 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27619328 140733912457616 140733912457769 140733912457769 140733912461263 0
[pid=4601/tid=4608] ppid=4598 vsize=10619844 memory=870884 CPUtime=0.07 cores=1,3,5,7
/proc/4601/task/4608/stat : 4608 (java) S 4598 4601 17093 0 -1 1077944384 1399 0 0 0 3 4 0 0 20 0 16 0 65721302 10874720256 217721 18446744073709551615 4194304 4196468 140733912455632 139938842671344 139939278764674 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27619328 140733912457616 140733912457769 140733912457769 140733912461263 0
[pid=4601/tid=4609] ppid=4598 vsize=10619844 memory=870884 CPUtime=0 cores=1,3,5,7
/proc/4601/task/4609/stat : 4609 (java) S 4598 4601 17093 0 -1 1077944384 39 0 0 0 0 0 0 0 20 0 16 0 65721303 10874720256 217721 18446744073709551615 4194304 4196468 140733912455632 139938841617632 139939278763733 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27619328 140733912457616 140733912457769 140733912457769 140733912461263 0
[pid=4601/tid=4610] ppid=4598 vsize=10619844 memory=870884 CPUtime=0 cores=1,3,5,7
/proc/4601/task/4610/stat : 4610 (java) S 4598 4601 17093 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 16 0 65721303 10874720256 217721 18446744073709551615 4194304 4196468 140733912455632 139938840564480 139939278763733 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27619328 140733912457616 140733912457769 140733912457769 140733912461263 0
[pid=4601/tid=4611] ppid=4598 vsize=10619844 memory=1732 CPUtime=0 cores=1,3,5,7
/proc/4601/task/4611/stat : 4611 (java) S 4598 4601 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 65721305 10874720256 217721 18446744073709551615 4194304 4196468 140733912455632 139938839513040 139939278772123 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27619328 140733912457616 140733912457769 140733912457769 140733912461263 0
[pid=4601/tid=4612] ppid=4598 vsize=10619844 memory=28 CPUtime=2.06 cores=1,3,5,7
/proc/4601/task/4612/stat : 4612 (java) S 4598 4601 17093 0 -1 1077944384 12742 0 0 0 204 2 0 0 20 0 16 0 65721305 10874720256 217721 18446744073709551615 4194304 4196468 140733912455632 139938838461168 139939278764674 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27619328 140733912457616 140733912457769 140733912457769 140733912461263 0
[pid=4601/tid=4613] ppid=4598 vsize=10619844 memory=0 CPUtime=2.25 cores=1,3,5,7
/proc/4601/task/4613/stat : 4613 (java) S 4598 4601 17093 0 -1 1077944384 14207 0 0 0 223 2 0 0 20 0 16 0 65721305 10874720256 217721 18446744073709551615 4194304 4196468 140733912455632 139938837408624 139939278764674 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27619328 140733912457616 140733912457769 140733912457769 140733912461263 0
[pid=4601/tid=4614] ppid=4598 vsize=10619844 memory=870884 CPUtime=0.5 cores=1,3,5,7
/proc/4601/task/4614/stat : 4614 (java) S 4598 4601 17093 0 -1 1077944384 5548 0 0 0 49 1 0 0 20 0 16 0 65721305 10874720256 217721 18446744073709551615 4194304 4196468 140733912455632 139938836355568 139939278764674 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27619328 140733912457616 140733912457769 140733912457769 140733912461263 0
[pid=4601/tid=4615] ppid=4598 vsize=10619844 memory=870884 CPUtime=0 cores=1,3,5,7
/proc/4601/task/4615/stat : 4615 (java) S 4598 4601 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 65721305 10874720256 217721 18446744073709551615 4194304 4196468 140733912455632 139938835303264 139939278763733 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27619328 140733912457616 140733912457769 140733912457769 140733912461263 0
[pid=4601/tid=4616] ppid=4598 vsize=10619844 memory=870884 CPUtime=1.56 cores=1,3,5,7
/proc/4601/task/4616/stat : 4616 (java) S 4598 4601 17093 0 -1 1077944384 2233 0 0 0 70 86 0 0 20 0 16 0 65721309 10874720256 217721 18446744073709551615 4194304 4196468 140733912455632 139938834250288 139939278764674 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27619328 140733912457616 140733912457769 140733912457769 140733912461263 0
[pid=4601/tid=4617] ppid=4598 vsize=10619844 memory=870884 CPUtime=0 cores=1,3,5,7
/proc/4601/task/4617/stat : 4617 (java) S 4598 4601 17093 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 65721460 10874720256 217721 18446744073709551615 4194304 4196468 140733912455632 139938833196080 139939278764674 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27619328 140733912457616 140733912457769 140733912457769 140733912461263 0
Current children cumulated CPU time: 2520 s
Current children cumulated vsize: 10619844 KiB
Current children cumulated memory: 870884 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2513.12 s]
# the end of solver process 4601 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2518.85 s, system=1.29414 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2513.01 s]*
/proc/loadavg: 2.51 2.25 2.27 2/212 4948
/proc/meminfo: memFree=26309464/32770624 swapFree=67108860/67108860
[pid=4601] ppid=4598 vsize=10819536 memory=871192 CPUtime=2520.12 cores=1,3,5,7
/proc/4601/stat : 4601 (java) S 4598 4601 17093 0 -1 1077944320 72256 0 0 0 251884 128 0 0 20 0 17 0 65721290 11079204864 217798 18446744073709551615 4194304 4196468 140733912455632 140733912438176 139939278753527 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 9 0 0 6293624 6294260 27619328 140733912457616 140733912457769 140733912457769 140733912461263 0
/proc/4601/statm: 2704884 217798 3134 1 0 2694337 0
[pid=4601/tid=4603] ppid=4598 vsize=10819536 memory=-7677926825137650786 CPUtime=2512.37 cores=1,3,5,7
/proc/4601/task/4603/stat : 4603 (java) S 4598 4601 17093 0 -1 1077944384 31468 0 0 0 251227 10 0 0 20 0 17 0 65721300 11079204864 217798 18446744073709551615 4194304 4196468 140733912455632 139939282996400 139939278763733 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 3 0 0 6293624 6294260 27619328 140733912457616 140733912457769 140733912457769 140733912461263 0
[pid=4601/tid=4604] ppid=4598 vsize=10819536 memory=4872558044660077418 CPUtime=0.3 cores=1,3,5,7
/proc/4601/task/4604/stat : 4604 (java) S 4598 4601 17093 0 -1 1077944384 416 0 0 0 21 9 0 0 20 0 17 0 65721301 11079204864 217798 18446744073709551615 4194304 4196468 140733912455632 139939235720208 139939278763733 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27619328 140733912457616 140733912457769 140733912457769 140733912461263 0
[pid=4601/tid=4605] ppid=4598 vsize=10819536 memory=3272 CPUtime=0.28 cores=1,3,5,7
/proc/4601/task/4605/stat : 4605 (java) S 4598 4601 17093 0 -1 1077944384 474 0 0 0 19 9 0 0 20 0 17 0 65721301 11079204864 217798 18446744073709551615 4194304 4196468 140733912455632 139939234667664 139939278763733 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27619328 140733912457616 140733912457769 140733912457769 140733912461263 0
[pid=4601/tid=4606] ppid=4598 vsize=10819536 memory=4395576 CPUtime=0.29 cores=1,3,5,7
/proc/4601/task/4606/stat : 4606 (java) S 4598 4601 17093 0 -1 1077944384 554 0 0 0 20 9 0 0 20 0 17 0 65721301 11079204864 217798 18446744073709551615 4194304 4196468 140733912455632 139939233614608 139939278763733 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27619328 140733912457616 140733912457769 140733912457769 140733912461263 0
[pid=4601/tid=4607] ppid=4598 vsize=10819536 memory=3904 CPUtime=0.32 cores=1,3,5,7
/proc/4601/task/4607/stat : 4607 (java) S 4598 4601 17093 0 -1 1077944384 1377 0 0 0 23 9 0 0 20 0 17 0 65721301 11079204864 217798 18446744073709551615 4194304 4196468 140733912455632 139939232562064 139939278763733 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27619328 140733912457616 140733912457769 140733912457769 140733912461263 0
[pid=4601/tid=4608] ppid=4598 vsize=10819536 memory=-7677926825137650786 CPUtime=0.07 cores=1,3,5,7
/proc/4601/task/4608/stat : 4608 (java) S 4598 4601 17093 0 -1 1077944384 1399 0 0 0 3 4 0 0 20 0 17 0 65721302 11079204864 217798 18446744073709551615 4194304 4196468 140733912455632 139938842671344 139939278764674 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27619328 140733912457616 140733912457769 140733912457769 140733912461263 0
[pid=4601/tid=4609] ppid=4598 vsize=10819536 memory=4872558044660077418 CPUtime=0 cores=1,3,5,7
/proc/4601/task/4609/stat : 4609 (java) S 4598 4601 17093 0 -1 1077944384 39 0 0 0 0 0 0 0 20 0 17 0 65721303 11079204864 217798 18446744073709551615 4194304 4196468 140733912455632 139938841617632 139939278763733 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27619328 140733912457616 140733912457769 140733912457769 140733912461263 0
[pid=4601/tid=4610] ppid=4598 vsize=10819536 memory=5788 CPUtime=0 cores=1,3,5,7
/proc/4601/task/4610/stat : 4610 (java) S 4598 4601 17093 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 17 0 65721303 11079204864 217798 18446744073709551615 4194304 4196468 140733912455632 139938840564480 139939278763733 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27619328 140733912457616 140733912457769 140733912457769 140733912461263 0
[pid=4601/tid=4611] ppid=4598 vsize=10819536 memory=4612 CPUtime=0 cores=1,3,5,7
/proc/4601/task/4611/stat : 4611 (java) S 4598 4601 17093 0 -1 1077944384 99 0 0 0 0 0 0 0 20 0 17 0 65721305 11079204864 217798 18446744073709551615 4194304 4196468 140733912455632 139938839513040 139939278772123 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27619328 140733912457616 140733912457769 140733912457769 140733912461263 0
[pid=4601/tid=4612] ppid=4598 vsize=10819536 memory=1708 CPUtime=2.08 cores=1,3,5,7
/proc/4601/task/4612/stat : 4612 (java) S 4598 4601 17093 0 -1 1077944384 12766 0 0 0 206 2 0 0 20 0 17 0 65721305 11079204864 217798 18446744073709551615 4194304 4196468 140733912455632 139938838461168 139939278764674 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27619328 140733912457616 140733912457769 140733912457769 140733912461263 0
[pid=4601/tid=4613] ppid=4598 vsize=10819536 memory=1444 CPUtime=2.26 cores=1,3,5,7
/proc/4601/task/4613/stat : 4613 (java) S 4598 4601 17093 0 -1 1077944384 14264 0 0 0 224 2 0 0 20 0 17 0 65721305 11079204864 217798 18446744073709551615 4194304 4196468 140733912455632 139938837408624 139939278764674 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27619328 140733912457616 140733912457769 140733912457769 140733912461263 0
[pid=4601/tid=4614] ppid=4598 vsize=10819536 memory=1228 CPUtime=0.51 cores=1,3,5,7
/proc/4601/task/4614/stat : 4614 (java) S 4598 4601 17093 0 -1 1077944384 5620 0 0 0 49 2 0 0 20 0 17 0 65721305 11079204864 217798 18446744073709551615 4194304 4196468 140733912455632 139938836355568 139939278764674 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27619328 140733912457616 140733912457769 140733912457769 140733912461263 0
[pid=4601/tid=4615] ppid=4598 vsize=10819536 memory=12200 CPUtime=0 cores=1,3,5,7
/proc/4601/task/4615/stat : 4615 (java) S 4598 4601 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 17 0 65721305 11079204864 217798 18446744073709551615 4194304 4196468 140733912455632 139938835303264 139939278763733 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27619328 140733912457616 140733912457769 140733912457769 140733912461263 0
[pid=4601/tid=4616] ppid=4598 vsize=10819536 memory=1992 CPUtime=1.56 cores=1,3,5,7
/proc/4601/task/4616/stat : 4616 (java) S 4598 4601 17093 0 -1 1077944384 2233 0 0 0 70 86 0 0 20 0 17 0 65721309 11079204864 217798 18446744073709551615 4194304 4196468 140733912455632 139938834250288 139939278764674 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27619328 140733912457616 140733912457769 140733912457769 140733912461263 0
[pid=4601/tid=4946] ppid=4598 vsize=10819536 memory=1204 CPUtime=0 cores=1,3,5,7
/proc/4601/task/4946/stat : 4946 (java) S 4598 4601 17093 0 -1 1077944384 69 0 0 0 0 0 0 0 20 0 17 0 65972581 11079204864 217798 18446744073709551615 4194304 4196468 140733912455632 139938830045168 139939278763733 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27619328 140733912457616 140733912457769 140733912457769 140733912461263 0
[pid=4601/tid=4947] ppid=4598 vsize=10819536 memory=1000 CPUtime=0 cores=1,3,5,7
/proc/4601/task/4947/stat : 4947 (java) S 4598 4601 17093 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 17 0 65972581 11079204864 217798 18446744073709551615 4194304 4196468 140733912455632 139938828993552 139939278764674 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27619328 140733912457616 140733912457769 140733912457769 140733912461263 0
Current children cumulated CPU time: 2520.12 s
Current children cumulated vsize: 10819536 KiB
Current children cumulated memory: 871192 KiB
[startup+2513.11 s]
/proc/loadavg: 2.51 2.25 2.27 2/212 4948
/proc/meminfo: memFree=26309464/32770624 swapFree=67108860/67108860
[pid=4601] ppid=4598 vsize=10819536 memory=871276 CPUtime=2520.13 cores=1,3,5,7
/proc/4601/stat : 4601 (java) S 4598 4601 17093 0 -1 1077944320 72342 0 0 0 251885 128 0 0 20 0 17 0 65721290 11079204864 217819 18446744073709551615 4194304 4196468 140733912455632 140733912438176 139939278753527 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 9 0 0 6293624 6294260 27619328 140733912457616 140733912457769 140733912457769 140733912461263 0
/proc/4601/statm: 2704884 217819 3134 1 0 2694337 0
[pid=4601/tid=4603] ppid=4598 vsize=10819536 memory=870884 CPUtime=2512.37 cores=1,3,5,7
/proc/4601/task/4603/stat : 4603 (java) S 4598 4601 17093 0 -1 1077944384 31468 0 0 0 251227 10 0 0 20 0 17 0 65721300 11079204864 217822 18446744073709551615 4194304 4196468 140733912455632 139939282996400 139939278763733 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 3 0 0 6293624 6294260 27619328 140733912457616 140733912457769 140733912457769 140733912461263 0
[pid=4601/tid=4604] ppid=4598 vsize=10819536 memory=870884 CPUtime=0.3 cores=1,3,5,7
/proc/4601/task/4604/stat : 4604 (java) S 4598 4601 17093 0 -1 1077944384 416 0 0 0 21 9 0 0 20 0 17 0 65721301 11079204864 217822 18446744073709551615 4194304 4196468 140733912455632 139939235720208 139939278763733 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27619328 140733912457616 140733912457769 140733912457769 140733912461263 0
[pid=4601/tid=4605] ppid=4598 vsize=10819536 memory=870884 CPUtime=0.28 cores=1,3,5,7
/proc/4601/task/4605/stat : 4605 (java) S 4598 4601 17093 0 -1 1077944384 474 0 0 0 19 9 0 0 20 0 17 0 65721301 11079204864 217822 18446744073709551615 4194304 4196468 140733912455632 139939234667664 139939278763733 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27619328 140733912457616 140733912457769 140733912457769 140733912461263 0
[pid=4601/tid=4606] ppid=4598 vsize=10819536 memory=870884 CPUtime=0.29 cores=1,3,5,7
/proc/4601/task/4606/stat : 4606 (java) S 4598 4601 17093 0 -1 1077944384 554 0 0 0 20 9 0 0 20 0 17 0 65721301 11079204864 217822 18446744073709551615 4194304 4196468 140733912455632 139939233614608 139939278763733 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27619328 140733912457616 140733912457769 140733912457769 140733912461263 0
[pid=4601/tid=4607] ppid=4598 vsize=10819536 memory=870884 CPUtime=0.32 cores=1,3,5,7
/proc/4601/task/4607/stat : 4607 (java) S 4598 4601 17093 0 -1 1077944384 1377 0 0 0 23 9 0 0 20 0 17 0 65721301 11079204864 217822 18446744073709551615 4194304 4196468 140733912455632 139939232562064 139939278763733 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27619328 140733912457616 140733912457769 140733912457769 140733912461263 0
[pid=4601/tid=4608] ppid=4598 vsize=10819536 memory=1708 CPUtime=0.07 cores=1,3,5,7
/proc/4601/task/4608/stat : 4608 (java) S 4598 4601 17093 0 -1 1077944384 1413 0 0 0 3 4 0 0 20 0 17 0 65721302 11079204864 217822 18446744073709551615 4194304 4196468 140733912455632 139938842671344 139939278764674 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27619328 140733912457616 140733912457769 140733912457769 140733912461263 0
[pid=4601/tid=4609] ppid=4598 vsize=10819536 memory=870884 CPUtime=0 cores=1,3,5,7
/proc/4601/task/4609/stat : 4609 (java) S 4598 4601 17093 0 -1 1077944384 39 0 0 0 0 0 0 0 20 0 17 0 65721303 11079204864 217822 18446744073709551615 4194304 4196468 140733912455632 139938841617632 139939278763733 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27619328 140733912457616 140733912457769 140733912457769 140733912461263 0
[pid=4601/tid=4610] ppid=4598 vsize=10819536 memory=870884 CPUtime=0 cores=1,3,5,7
/proc/4601/task/4610/stat : 4610 (java) S 4598 4601 17093 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 17 0 65721303 11079204864 217822 18446744073709551615 4194304 4196468 140733912455632 139938840564480 139939278763733 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27619328 140733912457616 140733912457769 140733912457769 140733912461263 0
[pid=4601/tid=4611] ppid=4598 vsize=10819536 memory=870884 CPUtime=0 cores=1,3,5,7
/proc/4601/task/4611/stat : 4611 (java) S 4598 4601 17093 0 -1 1077944384 99 0 0 0 0 0 0 0 20 0 17 0 65721305 11079204864 217822 18446744073709551615 4194304 4196468 140733912455632 139938839513040 139939278772123 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27619328 140733912457616 140733912457769 140733912457769 140733912461263 0
[pid=4601/tid=4612] ppid=4598 vsize=10819536 memory=28 CPUtime=2.08 cores=1,3,5,7
/proc/4601/task/4612/stat : 4612 (java) S 4598 4601 17093 0 -1 1077944384 12766 0 0 0 206 2 0 0 20 0 17 0 65721305 11079204864 217822 18446744073709551615 4194304 4196468 140733912455632 139938838461168 139939278764674 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27619328 140733912457616 140733912457769 140733912457769 140733912461263 0
[pid=4601/tid=4613] ppid=4598 vsize=10819536 memory=0 CPUtime=2.26 cores=1,3,5,7
/proc/4601/task/4613/stat : 4613 (java) S 4598 4601 17093 0 -1 1077944384 14264 0 0 0 224 2 0 0 20 0 17 0 65721305 11079204864 217822 18446744073709551615 4194304 4196468 140733912455632 139938837408624 139939278764674 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27619328 140733912457616 140733912457769 140733912457769 140733912461263 0
[pid=4601/tid=4614] ppid=4598 vsize=10819536 memory=870884 CPUtime=0.51 cores=1,3,5,7
/proc/4601/task/4614/stat : 4614 (java) R 4598 4601 17093 0 -1 4202560 5637 0 0 0 49 2 0 0 20 0 17 0 65721305 11079204864 217822 18446744073709551615 4194304 4196468 140733912455632 139938836355568 139939262861613 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27619328 140733912457616 140733912457769 140733912457769 140733912461263 0
[pid=4601/tid=4615] ppid=4598 vsize=10819536 memory=870884 CPUtime=0 cores=1,3,5,7
/proc/4601/task/4615/stat : 4615 (java) S 4598 4601 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 17 0 65721305 11079204864 217822 18446744073709551615 4194304 4196468 140733912455632 139938835303264 139939278763733 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27619328 140733912457616 140733912457769 140733912457769 140733912461263 0
[pid=4601/tid=4616] ppid=4598 vsize=10819536 memory=870884 CPUtime=1.56 cores=1,3,5,7
/proc/4601/task/4616/stat : 4616 (java) S 4598 4601 17093 0 -1 1077944384 2233 0 0 0 70 86 0 0 20 0 17 0 65721309 11079204864 217822 18446744073709551615 4194304 4196468 140733912455632 139938834250288 139939278764674 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27619328 140733912457616 140733912457769 140733912457769 140733912461263 0
[pid=4601/tid=4946] ppid=4598 vsize=10819536 memory=870884 CPUtime=0 cores=1,3,5,7
/proc/4601/task/4946/stat : 4946 (java) S 4598 4601 17093 0 -1 1077944384 69 0 0 0 0 0 0 0 20 0 17 0 65972581 11079204864 217822 18446744073709551615 4194304 4196468 140733912455632 139938830045168 139939278763733 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27619328 140733912457616 140733912457769 140733912457769 140733912461263 0
[pid=4601/tid=4947] ppid=4598 vsize=10819536 memory=870884 CPUtime=0 cores=1,3,5,7
/proc/4601/task/4947/stat : 4947 (java) R 4598 4601 17093 0 -1 4202560 103 0 0 0 0 0 0 0 20 0 17 0 65972581 11079204864 217822 18446744073709551615 4194304 4196468 140733912455632 139938828991152 139938913447300 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 27619328 140733912457616 140733912457769 140733912457769 140733912461263 0
Current children cumulated CPU time: 2520.13 s
Current children cumulated vsize: 10819536 KiB
Current children cumulated memory: 871276 KiB
Child status: 143
Real time (s): 2513.12
CPU time (s): 2520.15
CPU user time (s): 2518.85
CPU system time (s): 1.29414
CPU usage (%): 100.28
Max. virtual memory (cumulated for all children) (KiB): 10819536
Max. memory (cumulated for all children) (KiB): 871276
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2518.85
system time used= 1.29414
maximum resident set size= 871504
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 72423
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1728
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 56722
involuntary context switches= 908
# summary of solver processes directly reported to runsolver:
# pid: 4601
# total CPU time (s): 2520.15
# total CPU user time (s): 2518.85
# total CPU system time (s): 1.29414
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.6667 second user time and 24.8045 second system time
The end
Begin job on node127 at 2017-08-13 16:27:11 IDJOB=4262902 IDBENCH=138318 IDSOLVER=2651 FILE ID=node127/4262902-1502635280 RUNJOBID= node127-1502624030-2989 PBS_JOBID= Free space on /tmp= 62028 MiB SOLVER NAME= sat4j-CSP 2017-07-05 BENCH NAME= XCSP17/Fastfood/Fastfood-m1-s1/Fastfood-ff65.xml COMMAND LINE= java -DCompetitionOutput -jar HOME/sat4j-csp-170705.jar BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4262902-1502635280/watcher-4262902-1502635280 -o /tmp/evaluation-result-4262902-1502635280/solver-4262902-1502635280 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node127-1502624030-2989 --watchdog 2580 java -DCompetitionOutput -jar HOME/sat4j-csp-170705.jar HOME/instance-4262902-1502635280.xml TIME LIMIT= 2520 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 0deffa9f0e673ce4a3cf2d2074b556a7 RANDOM SEED=1941788835 node127.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.92 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.92 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.92 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.92 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770624 kB MemFree: 23246736 kB MemAvailable: 23675916 kB Buffers: 196008 kB Cached: 529436 kB SwapCached: 0 kB Active: 8876128 kB Inactive: 204592 kB Active(anon): 8304820 kB Inactive(anon): 83888 kB Active(file): 571308 kB Inactive(file): 120704 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 1592 kB Writeback: 4 kB AnonPages: 8355284 kB Mapped: 58672 kB Shmem: 33444 kB Slab: 131224 kB SReclaimable: 106008 kB SUnreclaim: 25216 kB KernelStack: 3392 kB PageTables: 21212 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 8633268 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 8144896 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 118144 kB DirectMap2M: 33427456 kB Free space on /tmp at the end= 62028 MiB End job on node127 at 2017-08-13 17:09:04