Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| R1: choco-solver 4.0.5 (2017-07-05) | SAT (TO) | 730 | 2400.05 | 303.212 |
| Name | GolombRuler/GolombRuler-a3-s1/ GolombRuler-26-a3.xml |
| MD5SUM | 4a8acae89d0947337e32da9d5bedd9eb |
| Bench Category | COP (optimization problem) |
| Best result obtained on this benchmark | SAT TO |
| Best value of the objective obtained on this benchmark | 719 |
| Best CPU time to get the best result obtained on this benchmark | 19901.699 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 702 |
| Number of constraints | 328 |
| Number of domains | 2 |
| Minimum domain size | 1000 |
| Maximum domain size | 1001 |
| Distribution of domain sizes | [{"size":1000,"count":325},{"size":1001,"count":26}] |
| Minimum variable degree | 0 |
| Maximum variable degree | 27 |
| Distribution of variable degrees | [{"degree":0,"count":351},{"degree":2,"count":325},{"degree":26,"count":24},{"degree":27,"count":2}] |
| Minimum constraint arity | 1 |
| Maximum constraint arity | 325 |
| Distribution of constraint arities | [{"arity":1,"count":1},{"arity":3,"count":325},{"arity":26,"count":1},{"arity":325,"count":1}] |
| Number of extensional constraints | 0 |
| Number of intensional constraints | 326 |
| Distribution of constraint types | [{"type":"intension","count":326},{"type":"allDifferent","count":1},{"type":"ordered","count":1}] |
| Optimization problem | YES |
| Type of objective | min VAR |
0.00/0.00 c java -server -Xmx10000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4246631-1500687716.xml" -tl '2400s' -p 8 -x 0 0.00/0.19 c [HOME/instance-4246631-1500687716.xml, -tl, 2400s, -p, 8, -x, 0] 0.00/0.25 c 8 solvers in parallel 0.00/0.31 c parse instance... 0.00/0.95 c solve instance... 9.03/1.80 o 915 9.62/1.92 o 898 9.62/1.97 o 818 16.03/2.80 o 802 22.33/3.64 o 762 69.65/9.61 o 756 330.24/42.57 o 738 769.24/98.45 o 730 2400.05/303.25 s SATISFIABLE 2400.05/303.25 v <instantiation> 2400.05/303.25 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] x[16] x[17] x[18] x[19] x[20] x[21] x[22] x[23] x[24] x[25] y[0][1] y[0][2] y[0][3] y[0][4] y[0][5] y[0][6] y[0][7] y[0][8] y[0][9] y[0][10] y[0][11] y[0][12] y[0][13] y[0][14] y[0][15] y[0][16] y[0][17] y[0][18] y[0][19] y[0][20] y[0][21] y[0][22] y[0][23] y[0][24] y[0][25] y[1][2] y[1][3] y[1][4] y[1][5] y[1][6] y[1][7] y[1][8] y[1][9] y[1][10] y[1][11] y[1][12] y[1][13] y[1][14] y[1][15] y[1][16] y[1][17] y[1][18] y[1][19] y[1][20] y[1][21] y[1][22] y[1][23] y[1][24] y[1][25] y[2][3] y[2][4] y[2][5] y[2][6] y[2][7] y[2][8] y[2][9] y[2][10] y[2][11] y[2][12] y[2][13] y[2][14] y[2][15] y[2][16] y[2][17] y[2][18] y[2][19] y[2][20] y[2][21] y[2][22] y[2][23] y[2][24] y[2][25] y[3][4] y[3][5] y[3][6] y[3][7] y[3][8] y[3][9] y[3][10] y[3][11] y[3][12] y[3][13] y[3][14] y[3][15] y[3][16] y[3][17] y[3][18] y[3][19] y[3][20] y[3][21] y[3][22] y[3][23] y[3][24] y[3][25] y[4][5] y[4][6] y[4][7] y[4][8] y[4][9] y[4][10] y[4][11] y[4][12] y[4][13] y[4][14] y[4][15] y[4][16] y[4][17] y[4][18] y[4][19] y[4][20] y[4][21] y[4][22] y[4][23] y[4][24] y[4][25] y[5][6] y[5][7] y[5][8] y[5][9] y[5][10] y[5][11] y[5][12] y[5][13] y[5][14] y[5][15] y[5][16] y[5][17] y[5][18] y[5][19] y[5][20] y[5][21] y[5][22] y[5][23] y[5][24] y[5][25] y[6][7] y[6][8] y[6][9] y[6][10] y[6][11] y[6][12] y[6][13] y[6][14] y[6][15] y[6][16] y[6][17] y[6][18] y[6][19] y[6][20] y[6][21] y[6][22] y[6][23] y[6][24] y[6][25] y[7][8] y[7][9] y[7][10] y[7][11] y[7][12] y[7][13] y[7][14] y[7][15] y[7][16] y[7][17] y[7][18] y[7][19] y[7][20] y[7][21] y[7][22] y[7][23] y[7][24] y[7][25] y[8][9] y[8][10] y[8][11] y[8][12] y[8][13] y[8][14] y[8][15] y[8][16] y[8][17] y[8][18] y[8][19] y[8][20] y[8][21] y[8][22] y[8][23] y[8][24] y[8][25] y[9][10] y[9][11] y[9][12] y[9][13] y[9][14] y[9][15] y[9][16] y[9][17] y[9][18] y[9][19] y[9][20] y[9][21] y[9][22] y[9][23] y[9][24] y[9][25] y[10][11] y[10][12] y[10][13] y[10][14] y[10][15] y[10][16] y[10][17] y[10][18] y[10][19] y[10][20] y[10][21] y[10][22] y[10][23] y[10][24] y[10][25] y[11][12] y[11][13] y[11][14] y[11][15] y[11][16] y[11][17] y[11][18] y[11][19] y[11][20] y[11][21] y[11][22] y[11][23] y[11][24] y[11][25] y[12][13] y[12][14] y[12][15] y[12][16] y[12][17] y[12][18] y[12][19] y[12][20] y[12][21] y[12][22] y[12][23] y[12][24] y[12][25] y[13][14] y[13][15] y[13][16] y[13][17] y[13][18] y[13][19] y[13][20] y[13][21] y[13][22] y[13][23] y[13][24] y[13][25] y[14][15] y[14][16] y[14][17] y[14][18] y[14][19] y[14][20] y[14][21] y[14][22] y[14][23] y[14][24] y[14][25] y[15][16] y[15][17] y[15][18] y[15][19] y[15][20] y[15][21] y[15][22] y[15][23] y[15][24] y[15][25] y[16][17] y[16][18] y[16][19] y[16][20] y[16][21] y[16][22] y[16][23] y[16][24] y[16][25] y[17][18] y[17][19] y[17][20] y[17][21] y[17][22] y[17][23] y[17][24] y[17][25] y[18][19] y[18][20] y[18][21] y[18][22] y[18][23] y[18][24] y[18][25] y[19][20] y[19][21] y[19][22] y[19][23] y[19][24] y[19][25] y[20][21] y[20][22] y[20][23] y[20][24] y[20][25] y[21][22] y[21][23] y[21][24] y[21][25] y[22][23] y[22][24] y[22][25] y[23][24] y[23][25] y[24][25] </list> 2400.05/303.25 v <values>0 1 3 7 12 20 30 44 66 91 106 122 148 199 220 248 300 355 413 451 486 525 610 663 697 730 1 3 7 12 20 30 44 66 91 106 122 148 199 220 248 300 355 413 451 486 525 610 663 697 730 2 6 11 19 29 43 65 90 105 121 147 198 219 247 299 354 412 450 485 524 609 662 696 729 4 9 17 27 41 63 88 103 119 145 196 217 245 297 352 410 448 483 522 607 660 694 727 5 13 23 37 59 84 99 115 141 192 213 241 293 348 406 444 479 518 603 656 690 723 8 18 32 54 79 94 110 136 187 208 236 288 343 401 439 474 513 598 651 685 718 10 24 46 71 86 102 128 179 200 228 280 335 393 431 466 505 590 643 677 710 14 36 61 76 92 118 169 190 218 270 325 383 421 456 495 580 633 667 700 22 47 62 78 104 155 176 204 256 311 369 407 442 481 566 619 653 686 25 40 56 82 133 154 182 234 289 347 385 420 459 544 597 631 664 15 31 57 108 129 157 209 264 322 360 395 434 519 572 606 639 16 42 93 114 142 194 249 307 345 380 419 504 557 591 624 26 77 98 126 178 233 291 329 364 403 488 541 575 608 51 72 100 152 207 265 303 338 377 462 515 549 582 21 49 101 156 214 252 287 326 411 464 498 531 28 80 135 193 231 266 305 390 443 477 510 52 107 165 203 238 277 362 415 449 482 55 113 151 186 225 310 363 397 430 58 96 131 170 255 308 342 375 38 73 112 197 250 284 317 35 74 159 212 246 279 39 124 177 211 244 85 138 172 205 53 87 120 34 67 33 </values> 2400.05/303.25 v </instantiation> 2400.05/303.25 c Unexpected resolution interruption!
OK 730
runsolver Copyright (C) 2010-2013 Olivier ROUSSEL This is runsolver version 3.3.7 (svn: 2553) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4246631-1500687716/watcher-4246631-1500687716 -o /tmp/evaluation-result-4246631-1500687716/solver-4246631-1500687716 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node132-1500682387-18841 --watchdog 2560 ./xcsp3-exec -dir HOME -tl 2400 -p 8 -ml 10000 -tdir HOME -seed 459743825 HOME/instance-4246631-1500687716.xml pid=5194 running on 8 cores: 0-3,8-11 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 8192 KiB [startup+0 s] /proc/loadavg: 11.67 13.03 14.12 10/274 5197 /proc/meminfo: memFree=26716976/32770624 swapFree=5944/247908 [pid=5197] ppid=5194 vsize=9512 CPUtime=0 cores=0-3,8-11 /proc/5197/stat : 5197 (xcsp3-exec) S 5194 5197 18810 0 -1 4202496 519 0 0 0 0 0 0 0 20 0 1 0 4038764 9740288 346 33554432000 4194304 5098028 140728644757344 140728644755448 139894257791612 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 39022592 140728644764815 140728644765024 140728644765024 140728644767723 0 /proc/5197/statm: 2378 346 289 221 0 87 0 [startup+0.100102 s] /proc/loadavg: 11.67 13.03 14.12 10/274 5197 /proc/meminfo: memFree=26716976/32770624 swapFree=5944/247908 [pid=5197] ppid=5194 vsize=9512 CPUtime=0 cores=0-3,8-11 /proc/5197/stat : 5197 (xcsp3-exec) S 5194 5197 18810 0 -1 4202496 519 0 0 0 0 0 0 0 20 0 1 0 4038764 9740288 346 33554432000 4194304 5098028 140728644757344 140728644755448 139894257791612 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 39022592 140728644764815 140728644765024 140728644765024 140728644767723 0 /proc/5197/statm: 2378 346 289 221 0 87 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9512 [startup+0.200269 s] /proc/loadavg: 11.67 13.03 14.12 10/274 5197 /proc/meminfo: memFree=26716976/32770624 swapFree=5944/247908 [pid=5197] ppid=5194 vsize=9512 CPUtime=0 cores=0-3,8-11 /proc/5197/stat : 5197 (xcsp3-exec) S 5194 5197 18810 0 -1 4202496 519 0 0 0 0 0 0 0 20 0 1 0 4038764 9740288 346 33554432000 4194304 5098028 140728644757344 140728644755448 139894257791612 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 39022592 140728644764815 140728644765024 140728644765024 140728644767723 0 /proc/5197/statm: 2378 346 289 221 0 87 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9512 [startup+0.334091 s] /proc/loadavg: 11.67 13.03 14.12 10/274 5197 /proc/meminfo: memFree=26716976/32770624 swapFree=5944/247908 [pid=5197] ppid=5194 vsize=9512 CPUtime=0 cores=0-3,8-11 /proc/5197/stat : 5197 (xcsp3-exec) S 5194 5197 18810 0 -1 4202496 519 0 0 0 0 0 0 0 20 0 1 0 4038764 9740288 346 33554432000 4194304 5098028 140728644757344 140728644755448 139894257791612 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 39022592 140728644764815 140728644765024 140728644765024 140728644767723 0 /proc/5197/statm: 2378 346 289 221 0 87 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9512 [startup+0.700188 s] /proc/loadavg: 11.67 13.03 14.12 10/274 5197 /proc/meminfo: memFree=26716976/32770624 swapFree=5944/247908 [pid=5197] ppid=5194 vsize=9512 CPUtime=0 cores=0-3,8-11 /proc/5197/stat : 5197 (xcsp3-exec) S 5194 5197 18810 0 -1 4202496 519 0 0 0 0 0 0 0 20 0 1 0 4038764 9740288 346 33554432000 4194304 5098028 140728644757344 140728644755448 139894257791612 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 39022592 140728644764815 140728644765024 140728644765024 140728644767723 0 /proc/5197/statm: 2378 346 289 221 0 87 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9512 [startup+1.50146 s] /proc/loadavg: 11.54 12.98 14.10 21/303 5226 /proc/meminfo: memFree=26582308/32770624 swapFree=5944/247960 [pid=5197] ppid=5194 vsize=9512 CPUtime=0 cores=0-3,8-11 /proc/5197/stat : 5197 (xcsp3-exec) S 5194 5197 18810 0 -1 4202496 519 0 0 0 0 0 0 0 20 0 1 0 4038764 9740288 346 33554432000 4194304 5098028 140728644757344 140728644755448 139894257791612 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 39022592 140728644764815 140728644765024 140728644765024 140728644767723 0 /proc/5197/statm: 2378 346 289 221 0 87 0 [pid=5198] ppid=5197 vsize=13801768 CPUtime=6.77 cores=0-3,8-11 /proc/5198/stat : 5198 (java) S 5197 5197 18810 0 -1 1077944320 16513 0 0 0 664 13 0 0 20 0 28 0 4038764 14133010432 52569 33554432000 4194304 4196468 140722192940352 140722192922896 140209724567287 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 16355328 140722192942268 140722192942444 140722192942444 140722192945103 0 /proc/5198/statm: 3450442 52569 3245 1 0 3437675 0 [pid=5198/tid=5199] ppid=5197 vsize=13801768 CPUtime=0.94 cores=0-3,8-11 /proc/5198/task/5199/stat : 5199 (java) S 5197 5197 18810 0 -1 1077944384 6956 0 0 0 91 3 0 0 20 0 28 0 4038765 14133010432 52569 33554432000 4194304 4196468 140722192940352 140209728808064 140209724577493 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 16355328 140722192942268 140722192942444 140722192942444 140722192945103 0 [pid=5198/tid=5201] ppid=5197 vsize=13801768 CPUtime=0 cores=0-3,8-11 /proc/5198/task/5201/stat : 5201 (java) S 5197 5197 18810 0 -1 1077944384 20 0 0 0 0 0 0 0 20 0 28 0 4038765 14133010432 52569 33554432000 4194304 4196468 140722192940352 140209324226960 140209724577493 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 16355328 140722192942268 140722192942444 140722192942444 140722192945103 0 [pid=5198/tid=5202] ppid=5197 vsize=13801768 CPUtime=0 cores=0-3,8-11 /proc/5198/task/5202/stat : 5202 (java) S 5197 5197 18810 0 -1 1077944384 11 0 0 0 0 0 0 0 20 0 28 0 4038766 14133010432 52569 33554432000 4194304 4196468 140722192940352 140209323174160 140209724577493 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 16355328 140722192942268 140722192942444 140722192942444 140722192945103 0 [pid=5198/tid=5203] ppid=5197 vsize=13801768 CPUtime=0.01 cores=0-3,8-11 /proc/5198/task/5203/stat : 5203 (java) S 5197 5197 18810 0 -1 1077944384 25 0 0 0 1 0 0 0 20 0 28 0 4038766 14133010432 52569 33554432000 4194304 4196468 140722192940352 140209322121872 140209724577493 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16355328 140722192942268 140722192942444 140722192942444 140722192945103 0 [pid=5198/tid=5204] ppid=5197 vsize=13801768 CPUtime=0.01 cores=0-3,8-11 /proc/5198/task/5204/stat : 5204 (java) S 5197 5197 18810 0 -1 1077944384 15 0 0 0 0 1 0 0 20 0 28 0 4038766 14133010432 52569 33554432000 4194304 4196468 140722192940352 140209321069072 140209724577493 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16355328 140722192942268 140722192942444 140722192942444 140722192945103 0 [pid=5198/tid=5205] ppid=5197 vsize=13801768 CPUtime=0 cores=0-3,8-11 /proc/5198/task/5205/stat : 5205 (java) S 5197 5197 18810 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 28 0 4038766 14133010432 52569 33554432000 4194304 4196468 140722192940352 140209320016784 140209724577493 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16355328 140722192942268 140722192942444 140722192942444 140722192945103 0 [pid=5198/tid=5206] ppid=5197 vsize=13801768 CPUtime=0 cores=0-3,8-11 /proc/5198/task/5206/stat : 5206 (java) S 5197 5197 18810 0 -1 1077944384 11 0 0 0 0 0 0 0 20 0 28 0 4038766 14133010432 52569 33554432000 4194304 4196468 140722192940352 140209318963984 140209724577493 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16355328 140722192942268 140722192942444 140722192942444 140722192945103 0 [pid=5198/tid=5207] ppid=5197 vsize=13801768 CPUtime=0 cores=0-3,8-11 /proc/5198/task/5207/stat : 5207 (java) S 5197 5197 18810 0 -1 1077944384 12 0 0 0 0 0 0 0 20 0 28 0 4038766 14133010432 52569 33554432000 4194304 4196468 140722192940352 140209317911696 140209724577493 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16355328 140722192942268 140722192942444 140722192942444 140722192945103 0 [pid=5198/tid=5208] ppid=5197 vsize=13801768 CPUtime=0 cores=0-3,8-11 /proc/5198/task/5208/stat : 5208 (java) S 5197 5197 18810 0 -1 1077944384 12 0 0 0 0 0 0 0 20 0 28 0 4038766 14133010432 52569 33554432000 4194304 4196468 140722192940352 140209316858896 140209724577493 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16355328 140722192942268 140722192942444 140722192942444 140722192945103 0 [pid=5198/tid=5209] ppid=5197 vsize=13801768 CPUtime=0 cores=0-3,8-11 /proc/5198/task/5209/stat : 5209 (java) S 5197 5197 18810 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 28 0 4038767 14133010432 52569 33554432000 4194304 4196468 140722192940352 140209186830448 140209724578434 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16355328 140722192942268 140722192942444 140722192942444 140722192945103 0 [pid=5198/tid=5210] ppid=5197 vsize=13801768 CPUtime=0 cores=0-3,8-11 /proc/5198/task/5210/stat : 5210 (java) S 5197 5197 18810 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 4038768 14133010432 52569 33554432000 4194304 4196468 140722192940352 140209185776416 140209724577493 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16355328 140722192942268 140722192942444 140722192942444 140722192945103 0 [pid=5198/tid=5211] ppid=5197 vsize=13801768 CPUtime=0 cores=0-3,8-11 /proc/5198/task/5211/stat : 5211 (java) S 5197 5197 18810 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 28 0 4038768 14133010432 52569 33554432000 4194304 4196468 140722192940352 140209184724080 140209724577493 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 16355328 140722192942268 140722192942444 140722192942444 140722192945103 0 [pid=5198/tid=5212] ppid=5197 vsize=13801768 CPUtime=0 cores=0-3,8-11 /proc/5198/task/5212/stat : 5212 (java) S 5197 5197 18810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4038772 14133010432 52569 33554432000 4194304 4196468 140722192940352 140209183672400 140209724585883 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 16355328 140722192942268 140722192942444 140722192942444 140722192945103 0 [pid=5198/tid=5213] ppid=5197 vsize=13801768 CPUtime=0.86 cores=0-3,8-11 /proc/5198/task/5213/stat : 5213 (java) R 5197 5197 18810 0 -1 1077944384 2012 0 0 0 86 0 0 0 20 0 28 0 4038772 14133010432 52569 33554432000 4194304 4196468 140722192940352 140209182607120 140209724577493 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 16355328 140722192942268 140722192942444 140722192942444 140722192945103 0 [pid=5198/tid=5214] ppid=5197 vsize=13801768 CPUtime=0.76 cores=0-3,8-11 /proc/5198/task/5214/stat : 5214 (java) R 5197 5197 18810 0 -1 4202560 1426 0 0 0 76 0 0 0 20 0 28 0 4038772 14133010432 52569 33554432000 4194304 4196468 140722192940352 140209181567768 140209706088147 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 16355328 140722192942268 140722192942444 140722192942444 140722192945103 0 [pid=5198/tid=5215] ppid=5197 vsize=13801768 CPUtime=0.77 cores=0-3,8-11 /proc/5198/task/5215/stat : 5215 (java) R 5197 5197 18810 0 -1 4202560 1879 0 0 0 77 0 0 0 20 0 28 0 4038772 14133010432 52569 33554432000 4194304 4196468 140722192940352 140209180501440 140209716856741 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 16355328 140722192942268 140722192942444 140722192942444 140722192945103 0 [pid=5198/tid=5216] ppid=5197 vsize=13801768 CPUtime=0.61 cores=0-3,8-11 /proc/5198/task/5216/stat : 5216 (java) R 5197 5197 18810 0 -1 4202560 2337 0 0 0 61 0 0 0 20 0 28 0 4038772 14133010432 52569 33554432000 4194304 4196468 140722192940352 140209179462384 140209708769265 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 16355328 140722192942268 140722192942444 140722192942444 140722192945103 0 [pid=5198/tid=5217] ppid=5197 vsize=13801768 CPUtime=0 cores=0-3,8-11 /proc/5198/task/5217/stat : 5217 (java) S 5197 5197 18810 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4038773 14133010432 52569 33554432000 4194304 4196468 140722192940352 140209178409312 140209724577493 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 16355328 140722192942268 140722192942444 140722192942444 140722192945103 0 [pid=5198/tid=5218] ppid=5197 vsize=13801768 CPUtime=0 cores=0-3,8-11 /proc/5198/task/5218/stat : 5218 (java) S 5197 5197 18810 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 4038773 14133010432 52569 33554432000 4194304 4196468 140722192940352 140209177356592 140209724578434 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 16355328 140722192942268 140722192942444 140722192942444 140722192945103 0 [pid=5198/tid=5219] ppid=5197 vsize=13801768 CPUtime=0.33 cores=0-3,8-11 /proc/5198/task/5219/stat : 5219 (java) R 5197 5197 18810 0 -1 4202560 60 0 0 0 33 0 0 0 20 0 28 0 4038861 14133010432 52569 33554432000 4194304 4196468 140722192940352 140209169341704 140209364591246 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 16355328 140722192942268 140722192942444 140722192942444 140722192945103 0 [pid=5198/tid=5220] ppid=5197 vsize=13801768 CPUtime=0.38 cores=0-3,8-11 /proc/5198/task/5220/stat : 5220 (java) R 5197 5197 18810 0 -1 4202560 68 0 0 0 38 0 0 0 20 0 28 0 4038861 14133010432 52569 33554432000 4194304 4196468 140722192940352 140209168292056 140209363946835 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 16355328 140722192942268 140722192942444 140722192942444 140722192945103 0 [pid=5198/tid=5221] ppid=5197 vsize=13801768 CPUtime=0.26 cores=0-3,8-11 /proc/5198/task/5221/stat : 5221 (java) R 5197 5197 18810 0 -1 4202560 39 0 0 0 26 0 0 0 20 0 28 0 4038861 14133010432 52569 33554432000 4194304 4196468 140722192940352 140209167236768 140209364289831 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 16355328 140722192942268 140722192942444 140722192942444 140722192945103 0 [pid=5198/tid=5222] ppid=5197 vsize=13801768 CPUtime=0.31 cores=0-3,8-11 /proc/5198/task/5222/stat : 5222 (java) R 5197 5197 18810 0 -1 4202560 85 0 0 0 31 0 0 0 20 0 28 0 4038861 14133010432 52569 33554432000 4194304 4196468 140722192940352 140209166177912 140209358490503 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 16355328 140722192942268 140722192942444 140722192942444 140722192945103 0 [pid=5198/tid=5223] ppid=5197 vsize=13801768 CPUtime=0.3 cores=0-3,8-11 /proc/5198/task/5223/stat : 5223 (java) R 5197 5197 18810 0 -1 4202560 33 0 0 0 30 0 0 0 20 0 28 0 4038861 14133010432 52569 33554432000 4194304 4196468 140722192940352 140209165132536 140209364423351 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 16355328 140722192942268 140722192942444 140722192942444 140722192945103 0 [pid=5198/tid=5224] ppid=5197 vsize=13801768 CPUtime=0.34 cores=0-3,8-11 /proc/5198/task/5224/stat : 5224 (java) R 5197 5197 18810 0 -1 4202560 35 0 0 0 34 0 0 0 20 0 28 0 4038861 14133010432 52569 33554432000 4194304 4196468 140722192940352 140209164081880 140209364432855 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 16355328 140722192942268 140722192942444 140722192942444 140722192945103 0 [pid=5198/tid=5225] ppid=5197 vsize=13801768 CPUtime=0.37 cores=0-3,8-11 /proc/5198/task/5225/stat : 5225 (java) R 5197 5197 18810 0 -1 4202560 38 0 0 0 37 0 0 0 20 0 28 0 4038861 14133010432 52569 33554432000 4194304 4196468 140722192940352 140209163028304 140209364573833 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 16355328 140722192942268 140722192942444 140722192942444 140722192945103 0 [pid=5198/tid=5226] ppid=5197 vsize=13801768 CPUtime=0.32 cores=0-3,8-11 /proc/5198/task/5226/stat : 5226 (java) R 5197 5197 18810 0 -1 4202560 52 0 0 0 32 0 0 0 20 0 28 0 4038861 14133010432 52569 33554432000 4194304 4196468 140722192940352 140209161973624 140209364423379 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 16355328 140722192942268 140722192942444 140722192942444 140722192945103 0 Current children cumulated CPU time (s) 6.77 Current children cumulated vsize (KiB) 13811280 [startup+3.10242 s] /proc/loadavg: 11.54 12.98 14.10 20/303 5250 /proc/meminfo: memFree=26477560/32770624 swapFree=5944/247960 [pid=5197] ppid=5194 vsize=9512 CPUtime=0 cores=0-3,8-11 /proc/5197/stat : 5197 (xcsp3-exec) S 5194 5197 18810 0 -1 4202496 519 0 0 0 0 0 0 0 20 0 1 0 4038764 9740288 346 33554432000 4194304 5098028 140728644757344 140728644755448 139894257791612 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 39022592 140728644764815 140728644765024 140728644765024 140728644767723 0 /proc/5197/statm: 2378 346 289 221 0 87 0 [pid=5198] ppid=5197 vsize=13801768 CPUtime=18.41 cores=0-3,8-11 /proc/5198/stat : 5198 (java) S 5197 5197 18810 0 -1 1077944320 18843 0 0 0 1807 34 0 0 20 0 28 0 4038764 14133010432 91268 33554432000 4194304 4196468 140722192940352 140722192922896 140209724567287 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 16355328 140722192942268 140722192942444 140722192942444 140722192945103 0 /proc/5198/statm: 3450442 91268 3260 1 0 3437675 0 [pid=5198/tid=5199] ppid=5197 vsize=13801768 CPUtime=0.94 cores=0-3,8-11 /proc/5198/task/5199/stat : 5199 (java) S 5197 5197 18810 0 -1 1077944384 6957 0 0 0 91 3 0 0 20 0 28 0 4038765 14133010432 91268 33554432000 4194304 4196468 140722192940352 140209728808064 140209724577493 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16355328 140722192942268 140722192942444 140722192942444 140722192945103 0 [pid=5198/tid=5201] ppid=5197 vsize=13801768 CPUtime=0.05 cores=0-3,8-11 /proc/5198/task/5201/stat : 5201 (java) S 5197 5197 18810 0 -1 1077944384 39 0 0 0 2 3 0 0 20 0 28 0 4038765 14133010432 91268 33554432000 4194304 4196468 140722192940352 140209324226960 140209724577493 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 16355328 140722192942268 140722192942444 140722192942444 140722192945103 0 [pid=5198/tid=5202] ppid=5197 vsize=13801768 CPUtime=0.04 cores=0-3,8-11 /proc/5198/task/5202/stat : 5202 (java) S 5197 5197 18810 0 -1 1077944384 31 0 0 0 2 2 0 0 20 0 28 0 4038766 14133010432 91268 33554432000 4194304 4196468 140722192940352 140209323174160 140209724577493 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16355328 140722192942268 140722192942444 140722192942444 140722192945103 0 [pid=5198/tid=5203] ppid=5197 vsize=13801768 CPUtime=0.04 cores=0-3,8-11 /proc/5198/task/5203/stat : 5203 (java) S 5197 5197 18810 0 -1 1077944384 43 0 0 0 2 2 0 0 20 0 28 0 4038766 14133010432 91268 33554432000 4194304 4196468 140722192940352 140209322121872 140209724577493 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 16355328 140722192942268 140722192942444 140722192942444 140722192945103 0 [pid=5198/tid=5204] ppid=5197 vsize=13801768 CPUtime=0.05 cores=0-3,8-11 /proc/5198/task/5204/stat : 5204 (java) S 5197 5197 18810 0 -1 1077944384 40 0 0 0 2 3 0 0 20 0 28 0 4038766 14133010432 91268 33554432000 4194304 4196468 140722192940352 140209321069072 140209724577493 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 16355328 140722192942268 140722192942444 140722192942444 140722192945103 0 [pid=5198/tid=5205] ppid=5197 vsize=13801768 CPUtime=0.03 cores=0-3,8-11 /proc/5198/task/5205/stat : 5205 (java) S 5197 5197 18810 0 -1 1077944384 26 0 0 0 1 2 0 0 20 0 28 0 4038766 14133010432 91268 33554432000 4194304 4196468 140722192940352 140209320016784 140209724577493 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16355328 140722192942268 140722192942444 140722192942444 140722192945103 0 [pid=5198/tid=5206] ppid=5197 vsize=13801768 CPUtime=0.04 cores=0-3,8-11 /proc/5198/task/5206/stat : 5206 (java) S 5197 5197 18810 0 -1 1077944384 30 0 0 0 2 2 0 0 20 0 28 0 4038766 14133010432 91268 33554432000 4194304 4196468 140722192940352 140209318963984 140209724577493 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16355328 140722192942268 140722192942444 140722192942444 140722192945103 0 [pid=5198/tid=5207] ppid=5197 vsize=13801768 CPUtime=0.04 cores=0-3,8-11 /proc/5198/task/5207/stat : 5207 (java) S 5197 5197 18810 0 -1 1077944384 29 0 0 0 2 2 0 0 20 0 28 0 4038766 14133010432 91268 33554432000 4194304 4196468 140722192940352 140209317911696 140209724577493 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 16355328 140722192942268 140722192942444 140722192942444 140722192945103 0 [pid=5198/tid=5208] ppid=5197 vsize=13801768 CPUtime=0.04 cores=0-3,8-11 /proc/5198/task/5208/stat : 5208 (java) S 5197 5197 18810 0 -1 1077944384 27 0 0 0 2 2 0 0 20 0 28 0 4038766 14133010432 91268 33554432000 4194304 4196468 140722192940352 140209316858896 140209724577493 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16355328 140722192942268 140722192942444 140722192942444 140722192945103 0 [pid=5198/tid=5209] ppid=5197 vsize=13801768 CPUtime=0 cores=0-3,8-11 /proc/5198/task/5209/stat : 5209 (java) S 5197 5197 18810 0 -1 1077944384 209 0 0 0 0 0 0 0 20 0 28 0 4038767 14133010432 91268 33554432000 4194304 4196468 140722192940352 140209186830448 140209724578434 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16355328 140722192942268 140722192942444 140722192942444 140722192945103 0 [pid=5198/tid=5210] ppid=5197 vsize=13801768 CPUtime=0 cores=0-3,8-11 /proc/5198/task/5210/stat : 5210 (java) S 5197 5197 18810 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 4038768 14133010432 91268 33554432000 4194304 4196468 140722192940352 140209185776480 140209724577493 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16355328 140722192942268 140722192942444 140722192942444 140722192945103 0 [pid=5198/tid=5211] ppid=5197 vsize=13801768 CPUtime=0 cores=0-3,8-11 /proc/5198/task/5211/stat : 5211 (java) S 5197 5197 18810 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 28 0 4038768 14133010432 91268 33554432000 4194304 4196468 140722192940352 140209184724096 140209724577493 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 16355328 140722192942268 140722192942444 140722192942444 140722192945103 0 [pid=5198/tid=5212] ppid=5197 vsize=13801768 CPUtime=0 cores=0-3,8-11 /proc/5198/task/5212/stat : 5212 (java) S 5197 5197 18810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4038772 14133010432 91268 33554432000 4194304 4196468 140722192940352 140209183672400 140209724585883 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 16355328 140722192942268 140722192942444 140722192942444 140722192945103 0 [pid=5198/tid=5213] ppid=5197 vsize=13801768 CPUtime=1.58 cores=0-3,8-11 /proc/5198/task/5213/stat : 5213 (java) S 5197 5197 18810 0 -1 1077944384 2429 0 0 0 158 0 0 0 20 0 28 0 4038772 14133010432 91268 33554432000 4194304 4196468 140722192940352 140209182620272 140209724578434 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 16355328 140722192942268 140722192942444 140722192942444 140722192945103 0 [pid=5198/tid=5214] ppid=5197 vsize=13801768 CPUtime=1.52 cores=0-3,8-11 /proc/5198/task/5214/stat : 5214 (java) R 5197 5197 18810 0 -1 4202560 1593 0 0 0 151 1 0 0 20 0 28 0 4038772 14133010432 91268 33554432000 4194304 4196468 140722192940352 140209181567472 140209705977437 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 16355328 140722192942268 140722192942444 140722192942444 140722192945103 0 [pid=5198/tid=5215] ppid=5197 vsize=13801768 CPUtime=1.47 cores=0-3,8-11 /proc/5198/task/5215/stat : 5215 (java) R 5197 5197 18810 0 -1 4202560 2400 0 0 0 147 0 0 0 20 0 28 0 4038772 14133010432 91268 33554432000 4194304 4196468 140722192940352 140209180504864 140209708035487 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 16355328 140722192942268 140722192942444 140722192942444 140722192945103 0 [pid=5198/tid=5216] ppid=5197 vsize=13801768 CPUtime=0.81 cores=0-3,8-11 /proc/5198/task/5216/stat : 5216 (java) S 5197 5197 18810 0 -1 1077944384 2603 0 0 0 81 0 0 0 20 0 28 0 4038772 14133010432 91268 33554432000 4194304 4196468 140722192940352 140209179462384 140209724578434 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 16355328 140722192942268 140722192942444 140722192942444 140722192945103 0 [pid=5198/tid=5217] ppid=5197 vsize=13801768 CPUtime=0 cores=0-3,8-11 /proc/5198/task/5217/stat : 5217 (java) S 5197 5197 18810 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4038773 14133010432 91268 33554432000 4194304 4196468 140722192940352 140209178409312 140209724577493 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 16355328 140722192942268 140722192942444 140722192942444 140722192945103 0 [pid=5198/tid=5218] ppid=5197 vsize=13801768 CPUtime=0 cores=0-3,8-11 /proc/5198/task/5218/stat : 5218 (java) R 5197 5197 18810 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 4038773 14133010432 91268 33554432000 4194304 4196468 140722192940352 140209177356592 140209724578434 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 16355328 140722192942268 140722192942444 140722192942444 140722192945103 0 Current children cumulated CPU time (s) 18.41 Current children cumulated vsize (KiB) 13811280 [startup+6.3016 s] /proc/loadavg: 11.90 13.03 14.11 18/303 5266 /proc/meminfo: memFree=26269292/32770624 swapFree=5944/247960 [pid=5197] ppid=5194 vsize=9512 CPUtime=0 cores=0-3,8-11 /proc/5197/stat : 5197 (xcsp3-exec) S 5194 5197 18810 0 -1 4202496 519 0 0 0 0 0 0 0 20 0 1 0 4038764 9740288 346 33554432000 4194304 5098028 140728644757344 140728644755448 139894257791612 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 39022592 140728644764815 140728644765024 140728644765024 140728644767723 0 /proc/5197/statm: 2378 346 289 221 0 87 0 [pid=5198] ppid=5197 vsize=13801768 CPUtime=43.54 cores=0-3,8-11 /proc/5198/stat : 5198 (java) S 5197 5197 18810 0 -1 1077944320 24884 0 0 0 4302 52 0 0 20 0 28 0 4038764 14133010432 142258 33554432000 4194304 4196468 140722192940352 140722192922896 140209724567287 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 16355328 140722192942268 140722192942444 140722192942444 140722192945103 0 /proc/5198/statm: 3450442 142258 3266 1 0 3437675 0 [pid=5198/tid=5199] ppid=5197 vsize=13801768 CPUtime=0.94 cores=0-3,8-11 /proc/5198/task/5199/stat : 5199 (java) S 5197 5197 18810 0 -1 1077944384 6957 0 0 0 91 3 0 0 20 0 28 0 4038765 14133010432 142258 33554432000 4194304 4196468 140722192940352 140209728808064 140209724577493 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16355328 140722192942268 140722192942444 140722192942444 140722192945103 0 [pid=5198/tid=5201] ppid=5197 vsize=13801768 CPUtime=0.07 cores=0-3,8-11 /proc/5198/task/5201/stat : 5201 (java) S 5197 5197 18810 0 -1 1077944384 52 0 0 0 3 4 0 0 20 0 28 0 4038765 14133010432 142258 33554432000 4194304 4196468 140722192940352 140209324226960 140209724577493 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 16355328 140722192942268 140722192942444 140722192942444 140722192945103 0 [pid=5198/tid=5202] ppid=5197 vsize=13801768 CPUtime=0.07 cores=0-3,8-11 /proc/5198/task/5202/stat : 5202 (java) S 5197 5197 18810 0 -1 1077944384 44 0 0 0 3 4 0 0 20 0 28 0 4038766 14133010432 142258 33554432000 4194304 4196468 140722192940352 140209323174160 140209724577493 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16355328 140722192942268 140722192942444 140722192942444 140722192945103 0 [pid=5198/tid=5203] ppid=5197 vsize=13801768 CPUtime=0.07 cores=0-3,8-11 /proc/5198/task/5203/stat : 5203 (java) S 5197 5197 18810 0 -1 1077944384 55 0 0 0 3 4 0 0 20 0 28 0 4038766 14133010432 142258 33554432000 4194304 4196468 140722192940352 140209322121872 140209724577493 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16355328 140722192942268 140722192942444 140722192942444 140722192945103 0 [pid=5198/tid=5204] ppid=5197 vsize=13801768 CPUtime=0.08 cores=0-3,8-11 /proc/5198/task/5204/stat : 5204 (java) S 5197 5197 18810 0 -1 1077944384 53 0 0 0 3 5 0 0 20 0 28 0 4038766 14133010432 142258 33554432000 4194304 4196468 140722192940352 140209321069072 140209724577493 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 16355328 140722192942268 140722192942444 140722192942444 140722192945103 0 ################ # More data... # ################ [pid=5198/tid=5472] ppid=5197 vsize=13801768 CPUtime=122.96 cores=0-3,8-11 /proc/5198/task/5472/stat : 5472 (java) R 5197 5197 18810 0 -1 4202560 3768 0 0 0 12296 0 0 0 20 0 28 0 4048610 14133010432 538241 33554432000 4194304 4196468 140722192940352 140209164078616 140209365788036 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 16355328 140722192942268 140722192942444 140722192942444 140722192945103 0 [pid=5198/tid=5473] ppid=5197 vsize=13801768 CPUtime=122.2 cores=0-3,8-11 /proc/5198/task/5473/stat : 5473 (java) R 5197 5197 18810 0 -1 4202560 556 0 0 0 12219 1 0 0 20 0 28 0 4048610 14133010432 538241 33554432000 4194304 4196468 140722192940352 140209167236448 140209364520534 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 16355328 140722192942268 140722192942444 140722192942444 140722192945103 0 Current children cumulated CPU time (s) 1755.71 Current children cumulated vsize (KiB) 13811280 [startup+282.301 s] /proc/loadavg: 16.03 14.87 14.62 17/303 5485 /proc/meminfo: memFree=28491760/32770624 swapFree=5944/248376 [pid=5197] ppid=5194 vsize=9512 CPUtime=0 cores=0-3,8-11 /proc/5197/stat : 5197 (xcsp3-exec) S 5194 5197 18810 0 -1 4202496 519 0 0 0 0 0 0 0 20 0 1 0 4038764 9740288 346 33554432000 4194304 5098028 140728644757344 140728644755448 139894257791612 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 39022592 140728644764815 140728644765024 140728644765024 140728644767723 0 /proc/5197/statm: 2378 346 289 221 0 87 0 [pid=5198] ppid=5197 vsize=13801768 CPUtime=2233.54 cores=0-3,8-11 /proc/5198/stat : 5198 (java) S 5197 5197 18810 0 -1 1077944320 95526 0 0 0 223184 170 0 0 20 0 28 0 4038764 14133010432 525564 33554432000 4194304 4196468 140722192940352 140722192922896 140209724567287 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 16355328 140722192942268 140722192942444 140722192942444 140722192945103 0 /proc/5198/statm: 3450442 525564 3276 1 0 3437675 0 [pid=5198/tid=5199] ppid=5197 vsize=13801768 CPUtime=0.94 cores=0-3,8-11 /proc/5198/task/5199/stat : 5199 (java) S 5197 5197 18810 0 -1 1077944384 7291 0 0 0 91 3 0 0 20 0 28 0 4038765 14133010432 525564 33554432000 4194304 4196468 140722192940352 140209728808064 140209724577493 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 16355328 140722192942268 140722192942444 140722192942444 140722192945103 0 [pid=5198/tid=5201] ppid=5197 vsize=13801768 CPUtime=0.27 cores=0-3,8-11 /proc/5198/task/5201/stat : 5201 (java) S 5197 5197 18810 0 -1 1077944384 543 0 0 0 13 14 0 0 20 0 28 0 4038765 14133010432 525564 33554432000 4194304 4196468 140722192940352 140209324226960 140209724577493 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16355328 140722192942268 140722192942444 140722192942444 140722192945103 0 [pid=5198/tid=5202] ppid=5197 vsize=13801768 CPUtime=0.25 cores=0-3,8-11 /proc/5198/task/5202/stat : 5202 (java) S 5197 5197 18810 0 -1 1077944384 2160 0 0 0 13 12 0 0 20 0 28 0 4038766 14133010432 525564 33554432000 4194304 4196468 140722192940352 140209323174160 140209724577493 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16355328 140722192942268 140722192942444 140722192942444 140722192945103 0 [pid=5198/tid=5203] ppid=5197 vsize=13801768 CPUtime=0.24 cores=0-3,8-11 /proc/5198/task/5203/stat : 5203 (java) S 5197 5197 18810 0 -1 1077944384 871 0 0 0 12 12 0 0 20 0 28 0 4038766 14133010432 525564 33554432000 4194304 4196468 140722192940352 140209322121872 140209724577493 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 16355328 140722192942268 140722192942444 140722192942444 140722192945103 0 [pid=5198/tid=5204] ppid=5197 vsize=13801768 CPUtime=0.27 cores=0-3,8-11 /proc/5198/task/5204/stat : 5204 (java) S 5197 5197 18810 0 -1 1077944384 837 0 0 0 13 14 0 0 20 0 28 0 4038766 14133010432 525564 33554432000 4194304 4196468 140722192940352 140209321069072 140209724577493 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 16355328 140722192942268 140722192942444 140722192942444 140722192945103 0 [pid=5198/tid=5205] ppid=5197 vsize=13801768 CPUtime=0.23 cores=0-3,8-11 /proc/5198/task/5205/stat : 5205 (java) S 5197 5197 18810 0 -1 1077944384 432 0 0 0 12 11 0 0 20 0 28 0 4038766 14133010432 525564 33554432000 4194304 4196468 140722192940352 140209320016784 140209724577493 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 16355328 140722192942268 140722192942444 140722192942444 140722192945103 0 [pid=5198/tid=5206] ppid=5197 vsize=13801768 CPUtime=0.25 cores=0-3,8-11 /proc/5198/task/5206/stat : 5206 (java) S 5197 5197 18810 0 -1 1077944384 608 0 0 0 13 12 0 0 20 0 28 0 4038766 14133010432 525564 33554432000 4194304 4196468 140722192940352 140209318963984 140209724577493 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 16355328 140722192942268 140722192942444 140722192942444 140722192945103 0 [pid=5198/tid=5207] ppid=5197 vsize=13801768 CPUtime=0.23 cores=0-3,8-11 /proc/5198/task/5207/stat : 5207 (java) S 5197 5197 18810 0 -1 1077944384 1921 0 0 0 11 12 0 0 20 0 28 0 4038766 14133010432 525564 33554432000 4194304 4196468 140722192940352 140209317911696 140209724577493 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16355328 140722192942268 140722192942444 140722192942444 140722192945103 0 [pid=5198/tid=5208] ppid=5197 vsize=13801768 CPUtime=0.24 cores=0-3,8-11 /proc/5198/task/5208/stat : 5208 (java) S 5197 5197 18810 0 -1 1077944384 1084 0 0 0 12 12 0 0 20 0 28 0 4038766 14133010432 525564 33554432000 4194304 4196468 140722192940352 140209316858896 140209724577493 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16355328 140722192942268 140722192942444 140722192942444 140722192945103 0 [pid=5198/tid=5209] ppid=5197 vsize=13801768 CPUtime=0.1 cores=0-3,8-11 /proc/5198/task/5209/stat : 5209 (java) S 5197 5197 18810 0 -1 1077944384 3842 0 0 0 4 6 0 0 20 0 28 0 4038767 14133010432 525564 33554432000 4194304 4196468 140722192940352 140209186830448 140209724578434 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16355328 140722192942268 140722192942444 140722192942444 140722192945103 0 [pid=5198/tid=5210] ppid=5197 vsize=13801768 CPUtime=0 cores=0-3,8-11 /proc/5198/task/5210/stat : 5210 (java) S 5197 5197 18810 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 4038768 14133010432 525564 33554432000 4194304 4196468 140722192940352 140209185776480 140209724577493 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16355328 140722192942268 140722192942444 140722192942444 140722192945103 0 [pid=5198/tid=5211] ppid=5197 vsize=13801768 CPUtime=0 cores=0-3,8-11 /proc/5198/task/5211/stat : 5211 (java) S 5197 5197 18810 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 28 0 4038768 14133010432 525564 33554432000 4194304 4196468 140722192940352 140209184724096 140209724577493 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 16355328 140722192942268 140722192942444 140722192942444 140722192945103 0 [pid=5198/tid=5212] ppid=5197 vsize=13801768 CPUtime=0 cores=0-3,8-11 /proc/5198/task/5212/stat : 5212 (java) S 5197 5197 18810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4038772 14133010432 525564 33554432000 4194304 4196468 140722192940352 140209183672400 140209724585883 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 16355328 140722192942268 140722192942444 140722192942444 140722192945103 0 [pid=5198/tid=5213] ppid=5197 vsize=13801768 CPUtime=3.09 cores=0-3,8-11 /proc/5198/task/5213/stat : 5213 (java) S 5197 5197 18810 0 -1 1077944384 9908 0 0 0 306 3 0 0 20 0 28 0 4038772 14133010432 525564 33554432000 4194304 4196468 140722192940352 140209182620272 140209724578434 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16355328 140722192942268 140722192942444 140722192942444 140722192945103 0 [pid=5198/tid=5214] ppid=5197 vsize=13801768 CPUtime=2.97 cores=0-3,8-11 /proc/5198/task/5214/stat : 5214 (java) S 5197 5197 18810 0 -1 1077944384 8545 0 0 0 295 2 0 0 20 0 28 0 4038772 14133010432 525564 33554432000 4194304 4196468 140722192940352 140209181567472 140209724578434 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16355328 140722192942268 140722192942444 140722192942444 140722192945103 0 [pid=5198/tid=5215] ppid=5197 vsize=13801768 CPUtime=3.11 cores=0-3,8-11 /proc/5198/task/5215/stat : 5215 (java) S 5197 5197 18810 0 -1 1077944384 11953 0 0 0 310 1 0 0 20 0 28 0 4038772 14133010432 525564 33554432000 4194304 4196468 140722192940352 140209180515184 140209724578434 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16355328 140722192942268 140722192942444 140722192942444 140722192945103 0 [pid=5198/tid=5216] ppid=5197 vsize=13801768 CPUtime=1.01 cores=0-3,8-11 /proc/5198/task/5216/stat : 5216 (java) S 5197 5197 18810 0 -1 1077944384 8854 0 0 0 100 1 0 0 20 0 28 0 4038772 14133010432 525564 33554432000 4194304 4196468 140722192940352 140209179462384 140209724578434 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16355328 140722192942268 140722192942444 140722192942444 140722192945103 0 [pid=5198/tid=5217] ppid=5197 vsize=13801768 CPUtime=0 cores=0-3,8-11 /proc/5198/task/5217/stat : 5217 (java) S 5197 5197 18810 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4038773 14133010432 525564 33554432000 4194304 4196468 140722192940352 140209178409312 140209724577493 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 16355328 140722192942268 140722192942444 140722192942444 140722192945103 0 [pid=5198/tid=5218] ppid=5197 vsize=13801768 CPUtime=0.1 cores=0-3,8-11 /proc/5198/task/5218/stat : 5218 (java) S 5197 5197 18810 0 -1 1077944384 639 0 0 0 5 5 0 0 20 0 28 0 4038773 14133010432 525564 33554432000 4194304 4196468 140722192940352 140209177356592 140209724578434 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 1 0 0 6293624 6294260 16355328 140722192942268 140722192942444 140722192942444 140722192945103 0 [pid=5198/tid=5466] ppid=5197 vsize=13801768 CPUtime=183.01 cores=0-3,8-11 /proc/5198/task/5466/stat : 5466 (java) R 5197 5197 18810 0 -1 4202560 1734 0 0 0 18301 0 0 0 20 0 28 0 4048610 14133010432 525564 33554432000 4194304 4196468 140722192940352 140209163024992 140209364520514 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 16355328 140722192942268 140722192942444 140722192942444 140722192945103 0 [pid=5198/tid=5467] ppid=5197 vsize=13801768 CPUtime=182.26 cores=0-3,8-11 /proc/5198/task/5467/stat : 5467 (java) R 5197 5197 18810 0 -1 4202560 1997 0 0 0 18226 0 0 0 20 0 28 0 4048610 14133010432 525564 33554432000 4194304 4196468 140722192940352 140209166186544 140209365916373 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 16355328 140722192942268 140722192942444 140722192942444 140722192945103 0 [pid=5198/tid=5468] ppid=5197 vsize=13801768 CPUtime=183.37 cores=0-3,8-11 /proc/5198/task/5468/stat : 5468 (java) R 5197 5197 18810 0 -1 4202560 2933 0 0 0 18337 0 0 0 20 0 28 0 4048610 14133010432 525564 33554432000 4194304 4196468 140722192940352 140209165132008 140209367642523 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 16355328 140722192942268 140722192942444 140722192942444 140722192945103 0 [pid=5198/tid=5469] ppid=5197 vsize=13801768 CPUtime=183.43 cores=0-3,8-11 /proc/5198/task/5469/stat : 5469 (java) R 5197 5197 18810 0 -1 4202560 1780 0 0 0 18343 0 0 0 20 0 28 0 4048610 14133010432 525564 33554432000 4194304 4196468 140722192940352 140209168290456 140209367642781 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 16355328 140722192942268 140722192942444 140722192942444 140722192945103 0 [pid=5198/tid=5470] ppid=5197 vsize=13801768 CPUtime=183.64 cores=0-3,8-11 /proc/5198/task/5470/stat : 5470 (java) R 5197 5197 18810 0 -1 4202560 1421 0 0 0 18364 0 0 0 20 0 28 0 4048610 14133010432 525564 33554432000 4194304 4196468 140722192940352 140209161974224 140209364520456 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 16355328 140722192942268 140722192942444 140722192942444 140722192945103 0 [pid=5198/tid=5471] ppid=5197 vsize=13801768 CPUtime=183.39 cores=0-3,8-11 /proc/5198/task/5471/stat : 5471 (java) R 5197 5197 18810 0 -1 4202560 533 0 0 0 18339 0 0 0 20 0 28 0 4048610 14133010432 525564 33554432000 4194304 4196468 140722192940352 140209169342632 140209364922478 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 16355328 140722192942268 140722192942444 140722192942444 140722192945103 0 [pid=5198/tid=5472] ppid=5197 vsize=13801768 CPUtime=182.63 cores=0-3,8-11 /proc/5198/task/5472/stat : 5472 (java) R 5197 5197 18810 0 -1 4202560 4401 0 0 0 18263 0 0 0 20 0 28 0 4048610 14133010432 525564 33554432000 4194304 4196468 140722192940352 140209164081272 140209365227675 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 16355328 140722192942268 140722192942444 140722192942444 140722192945103 0 [pid=5198/tid=5473] ppid=5197 vsize=13801768 CPUtime=181.93 cores=0-3,8-11 /proc/5198/task/5473/stat : 5473 (java) R 5197 5197 18810 0 -1 4202560 746 0 0 0 18192 1 0 0 20 0 28 0 4048610 14133010432 525564 33554432000 4194304 4196468 140722192940352 140209167236312 140209364545677 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 16355328 140722192942268 140722192942444 140722192942444 140722192945103 0 Current children cumulated CPU time (s) 2233.54 Current children cumulated vsize (KiB) 13811280 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+303.201 s] /proc/loadavg: 16.02 14.94 14.65 17/303 5485 /proc/meminfo: memFree=28528432/32770624 swapFree=5944/248380 [pid=5197] ppid=5194 vsize=9512 CPUtime=0 cores=0-3,8-11 /proc/5197/stat : 5197 (xcsp3-exec) S 5194 5197 18810 0 -1 4202496 519 0 0 0 0 0 0 0 20 0 1 0 4038764 9740288 346 33554432000 4194304 5098028 140728644757344 140728644755448 139894257791612 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 39022592 140728644764815 140728644765024 140728644765024 140728644767723 0 /proc/5197/statm: 2378 346 289 221 0 87 0 [pid=5198] ppid=5197 vsize=13801768 CPUtime=2400.05 cores=0-3,8-11 /proc/5198/stat : 5198 (java) S 5197 5197 18810 0 -1 1077944320 96258 0 0 0 239833 172 0 0 20 0 28 0 4038764 14133010432 514404 33554432000 4194304 4196468 140722192940352 140722192922896 140209724567287 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 16355328 140722192942268 140722192942444 140722192942444 140722192945103 0 /proc/5198/statm: 3450442 514404 3276 1 0 3437675 0 [pid=5198/tid=5199] ppid=5197 vsize=13801768 CPUtime=0.94 cores=0-3,8-11 /proc/5198/task/5199/stat : 5199 (java) S 5197 5197 18810 0 -1 1077944384 7291 0 0 0 91 3 0 0 20 0 28 0 4038765 14133010432 514404 33554432000 4194304 4196468 140722192940352 140209728808064 140209724577493 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 16355328 140722192942268 140722192942444 140722192942444 140722192945103 0 [pid=5198/tid=5201] ppid=5197 vsize=13801768 CPUtime=0.28 cores=0-3,8-11 /proc/5198/task/5201/stat : 5201 (java) S 5197 5197 18810 0 -1 1077944384 557 0 0 0 14 14 0 0 20 0 28 0 4038765 14133010432 514404 33554432000 4194304 4196468 140722192940352 140209324226960 140209724577493 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16355328 140722192942268 140722192942444 140722192942444 140722192945103 0 [pid=5198/tid=5202] ppid=5197 vsize=13801768 CPUtime=0.25 cores=0-3,8-11 /proc/5198/task/5202/stat : 5202 (java) S 5197 5197 18810 0 -1 1077944384 2160 0 0 0 13 12 0 0 20 0 28 0 4038766 14133010432 514404 33554432000 4194304 4196468 140722192940352 140209323174160 140209724577493 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16355328 140722192942268 140722192942444 140722192942444 140722192945103 0 [pid=5198/tid=5203] ppid=5197 vsize=13801768 CPUtime=0.24 cores=0-3,8-11 /proc/5198/task/5203/stat : 5203 (java) S 5197 5197 18810 0 -1 1077944384 884 0 0 0 12 12 0 0 20 0 28 0 4038766 14133010432 514404 33554432000 4194304 4196468 140722192940352 140209322121872 140209724577493 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 16355328 140722192942268 140722192942444 140722192942444 140722192945103 0 [pid=5198/tid=5204] ppid=5197 vsize=13801768 CPUtime=0.28 cores=0-3,8-11 /proc/5198/task/5204/stat : 5204 (java) S 5197 5197 18810 0 -1 1077944384 846 0 0 0 14 14 0 0 20 0 28 0 4038766 14133010432 514404 33554432000 4194304 4196468 140722192940352 140209321069072 140209724577493 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 16355328 140722192942268 140722192942444 140722192942444 140722192945103 0 [pid=5198/tid=5205] ppid=5197 vsize=13801768 CPUtime=0.23 cores=0-3,8-11 /proc/5198/task/5205/stat : 5205 (java) S 5197 5197 18810 0 -1 1077944384 432 0 0 0 12 11 0 0 20 0 28 0 4038766 14133010432 514404 33554432000 4194304 4196468 140722192940352 140209320016784 140209724577493 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 16355328 140722192942268 140722192942444 140722192942444 140722192945103 0 [pid=5198/tid=5206] ppid=5197 vsize=13801768 CPUtime=0.26 cores=0-3,8-11 /proc/5198/task/5206/stat : 5206 (java) S 5197 5197 18810 0 -1 1077944384 619 0 0 0 14 12 0 0 20 0 28 0 4038766 14133010432 514404 33554432000 4194304 4196468 140722192940352 140209318963984 140209724577493 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 16355328 140722192942268 140722192942444 140722192942444 140722192945103 0 [pid=5198/tid=5207] ppid=5197 vsize=13801768 CPUtime=0.24 cores=0-3,8-11 /proc/5198/task/5207/stat : 5207 (java) S 5197 5197 18810 0 -1 1077944384 1929 0 0 0 12 12 0 0 20 0 28 0 4038766 14133010432 514404 33554432000 4194304 4196468 140722192940352 140209317911696 140209724577493 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16355328 140722192942268 140722192942444 140722192942444 140722192945103 0 [pid=5198/tid=5208] ppid=5197 vsize=13801768 CPUtime=0.25 cores=0-3,8-11 /proc/5198/task/5208/stat : 5208 (java) S 5197 5197 18810 0 -1 1077944384 1099 0 0 0 13 12 0 0 20 0 28 0 4038766 14133010432 514404 33554432000 4194304 4196468 140722192940352 140209316858896 140209724577493 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16355328 140722192942268 140722192942444 140722192942444 140722192945103 0 [pid=5198/tid=5209] ppid=5197 vsize=13801768 CPUtime=0.12 cores=0-3,8-11 /proc/5198/task/5209/stat : 5209 (java) S 5197 5197 18810 0 -1 1077944384 3848 0 0 0 5 7 0 0 20 0 28 0 4038767 14133010432 514404 33554432000 4194304 4196468 140722192940352 140209186830448 140209724578434 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16355328 140722192942268 140722192942444 140722192942444 140722192945103 0 [pid=5198/tid=5210] ppid=5197 vsize=13801768 CPUtime=0 cores=0-3,8-11 /proc/5198/task/5210/stat : 5210 (java) S 5197 5197 18810 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 4038768 14133010432 514404 33554432000 4194304 4196468 140722192940352 140209185776480 140209724577493 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16355328 140722192942268 140722192942444 140722192942444 140722192945103 0 [pid=5198/tid=5211] ppid=5197 vsize=13801768 CPUtime=0 cores=0-3,8-11 /proc/5198/task/5211/stat : 5211 (java) S 5197 5197 18810 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 28 0 4038768 14133010432 514404 33554432000 4194304 4196468 140722192940352 140209184724096 140209724577493 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 16355328 140722192942268 140722192942444 140722192942444 140722192945103 0 [pid=5198/tid=5212] ppid=5197 vsize=13801768 CPUtime=0 cores=0-3,8-11 /proc/5198/task/5212/stat : 5212 (java) S 5197 5197 18810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4038772 14133010432 514404 33554432000 4194304 4196468 140722192940352 140209183672400 140209724585883 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 16355328 140722192942268 140722192942444 140722192942444 140722192945103 0 [pid=5198/tid=5213] ppid=5197 vsize=13801768 CPUtime=3.09 cores=0-3,8-11 /proc/5198/task/5213/stat : 5213 (java) S 5197 5197 18810 0 -1 1077944384 9908 0 0 0 306 3 0 0 20 0 28 0 4038772 14133010432 514404 33554432000 4194304 4196468 140722192940352 140209182620272 140209724578434 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16355328 140722192942268 140722192942444 140722192942444 140722192945103 0 [pid=5198/tid=5214] ppid=5197 vsize=13801768 CPUtime=2.97 cores=0-3,8-11 /proc/5198/task/5214/stat : 5214 (java) S 5197 5197 18810 0 -1 1077944384 8545 0 0 0 295 2 0 0 20 0 28 0 4038772 14133010432 514404 33554432000 4194304 4196468 140722192940352 140209181567472 140209724578434 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16355328 140722192942268 140722192942444 140722192942444 140722192945103 0 [pid=5198/tid=5215] ppid=5197 vsize=13801768 CPUtime=3.11 cores=0-3,8-11 /proc/5198/task/5215/stat : 5215 (java) S 5197 5197 18810 0 -1 1077944384 11953 0 0 0 310 1 0 0 20 0 28 0 4038772 14133010432 514404 33554432000 4194304 4196468 140722192940352 140209180515184 140209724578434 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16355328 140722192942268 140722192942444 140722192942444 140722192945103 0 [pid=5198/tid=5216] ppid=5197 vsize=13801768 CPUtime=1.01 cores=0-3,8-11 /proc/5198/task/5216/stat : 5216 (java) S 5197 5197 18810 0 -1 1077944384 8854 0 0 0 100 1 0 0 20 0 28 0 4038772 14133010432 514404 33554432000 4194304 4196468 140722192940352 140209179462384 140209724578434 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16355328 140722192942268 140722192942444 140722192942444 140722192945103 0 [pid=5198/tid=5217] ppid=5197 vsize=13801768 CPUtime=0 cores=0-3,8-11 /proc/5198/task/5217/stat : 5217 (java) S 5197 5197 18810 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4038773 14133010432 514404 33554432000 4194304 4196468 140722192940352 140209178409312 140209724577493 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 16355328 140722192942268 140722192942444 140722192942444 140722192945103 0 [pid=5198/tid=5218] ppid=5197 vsize=13801768 CPUtime=0.12 cores=0-3,8-11 /proc/5198/task/5218/stat : 5218 (java) S 5197 5197 18810 0 -1 1077944384 641 0 0 0 6 6 0 0 20 0 28 0 4038773 14133010432 514404 33554432000 4194304 4196468 140722192940352 140209177356592 140209724578434 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 1 0 0 6293624 6294260 16355328 140722192942268 140722192942444 140722192942444 140722192945103 0 [pid=5198/tid=5466] ppid=5197 vsize=13801768 CPUtime=203.89 cores=0-3,8-11 /proc/5198/task/5466/stat : 5466 (java) R 5197 5197 18810 0 -1 4202560 1766 0 0 0 20389 0 0 0 20 0 28 0 4048610 14133010432 514404 33554432000 4194304 4196468 140722192940352 140209163025368 140209367642788 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 16355328 140722192942268 140722192942444 140722192942444 140722192945103 0 [pid=5198/tid=5467] ppid=5197 vsize=13801768 CPUtime=203.14 cores=0-3,8-11 /proc/5198/task/5467/stat : 5467 (java) R 5197 5197 18810 0 -1 4202560 2075 0 0 0 20314 0 0 0 20 0 28 0 4048610 14133010432 514404 33554432000 4194304 4196468 140722192940352 140209166187104 140209358711566 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 16355328 140722192942268 140722192942444 140722192942444 140722192945103 0 [pid=5198/tid=5468] ppid=5197 vsize=13801768 CPUtime=204.03 cores=0-3,8-11 /proc/5198/task/5468/stat : 5468 (java) R 5197 5197 18810 0 -1 4202560 3060 0 0 0 20402 1 0 0 20 0 28 0 4048610 14133010432 514404 33554432000 4194304 4196468 140722192940352 140209165131736 140209367642795 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 16355328 140722192942268 140722192942444 140722192942444 140722192945103 0 [pid=5198/tid=5469] ppid=5197 vsize=13801768 CPUtime=204.31 cores=0-3,8-11 /proc/5198/task/5469/stat : 5469 (java) R 5197 5197 18810 0 -1 4202560 1819 0 0 0 20431 0 0 0 20 0 28 0 4048610 14133010432 514404 33554432000 4194304 4196468 140722192940352 140209168289504 140209367642795 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 16355328 140722192942268 140722192942444 140722192942444 140722192945103 0 [pid=5198/tid=5470] ppid=5197 vsize=13801768 CPUtime=204.51 cores=0-3,8-11 /proc/5198/task/5470/stat : 5470 (java) R 5197 5197 18810 0 -1 4202560 1435 0 0 0 20451 0 0 0 20 0 28 0 4048610 14133010432 514404 33554432000 4194304 4196468 140722192940352 140209161974344 140209367642561 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 16355328 140722192942268 140722192942444 140722192942444 140722192945103 0 [pid=5198/tid=5471] ppid=5197 vsize=13801768 CPUtime=203.94 cores=0-3,8-11 /proc/5198/task/5471/stat : 5471 (java) R 5197 5197 18810 0 -1 4202560 542 0 0 0 20394 0 0 0 20 0 28 0 4048610 14133010432 514404 33554432000 4194304 4196468 140722192940352 140209169342920 140209364520442 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 16355328 140722192942268 140722192942444 140722192942444 140722192945103 0 [pid=5198/tid=5472] ppid=5197 vsize=13801768 CPUtime=203.5 cores=0-3,8-11 /proc/5198/task/5472/stat : 5472 (java) R 5197 5197 18810 0 -1 4202560 4752 0 0 0 20350 0 0 0 20 0 28 0 4048610 14133010432 514404 33554432000 4194304 4196468 140722192940352 140209164078616 140209364520534 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 16355328 140722192942268 140722192942444 140722192942444 140722192945103 0 [pid=5198/tid=5473] ppid=5197 vsize=13801768 CPUtime=202.81 cores=0-3,8-11 /proc/5198/task/5473/stat : 5473 (java) R 5197 5197 18810 0 -1 4202560 750 0 0 0 20280 1 0 0 20 0 28 0 4048610 14133010432 514404 33554432000 4194304 4196468 140722192940352 140209167236488 140209365227657 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 16355328 140722192942268 140722192942444 140722192942444 140722192945103 0 Current children cumulated CPU time (s) 2400.05 Current children cumulated vsize (KiB) 13811280 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. ??? exit watcher main loop ??? sigkill at end of watcher main loop ??? kill 5198 sig 9 ??? kill 5197 sig 9 ??? end of watcher thread Dumping a history of the last processes samples Child ended because it received signal 15 (SIGTERM) # WARNING: # CPU time reported by wait4() is probably wrong ! # wait4(...,&childrusage) returns 5197 and gives # childrusage.ru_utime.tv_sec=0 # childrusage.ru_utime.tv_usec=1622 # childrusage.ru_stime.tv_sec=0 # childrusage.ru_stime.tv_usec=1622 # CPU time returned by wait4() is 0.003244 # while last known CPU time is 2400.05 # # Solver probably didn't/couldn't wait for its children # Using CPU time of the last sample as value... Real time (s): 303.212 CPU time (s): 2400.05 CPU user time (s): 2398.33 CPU system time (s): 1.72 CPU usage (%): 791.543 Max. virtual memory (cumulated for all children) (KiB): 13811280 getrusage(RUSAGE_CHILDREN,...) data: user time used= 0.001622 system time used= 0.001622 maximum resident set size= 1388 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 519 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 3 involuntary context switches= 1 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 4.04862 second user time and 4.13368 second system time The end
Begin job on node132 at 2017-07-22 03:41:56 IDJOB=4246631 IDBENCH=126208 IDSOLVER=2625 FILE ID=node132/4246631-1500687716 RUNJOBID= node132-1500682387-18841 PBS_JOBID= 20623322 Free space on /tmp= 61728 MiB SOLVER NAME= choco-solver 4.0.5 BENCH NAME= XCSP17/GolombRuler/GolombRuler-a3-s1/GolombRuler-26-a3.xml COMMAND LINE= ./xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 10000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4246631-1500687716/watcher-4246631-1500687716 -o /tmp/evaluation-result-4246631-1500687716/solver-4246631-1500687716 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node132-1500682387-18841 --watchdog 2560 ./xcsp3-exec -dir HOME -tl 2400 -p 8 -ml 10000 -tdir HOME -seed 459743825 HOME/instance-4246631-1500687716.xml TIME LIMIT= 2400 seconds MEMORY LIMIT= 15500 MiB NBCORE= 8 MD5SUM BENCH= 4a8acae89d0947337e32da9d5bedd9eb RANDOM SEED=459743825 node132.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /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 : 1600.000 cache size : 8192 KB physical id : 0 siblings : 8 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.61 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 : 1733.000 cache size : 8192 KB physical id : 0 siblings : 8 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.61 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 : 1867.000 cache size : 8192 KB physical id : 0 siblings : 8 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.61 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 : 1733.000 cache size : 8192 KB physical id : 0 siblings : 8 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.61 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 : 1 siblings : 8 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 : 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 : 8 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 : 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 : 1 siblings : 8 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 : 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 : 8 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: processor : 8 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1867.000 cache size : 8192 KB physical id : 0 siblings : 8 core id : 0 cpu cores : 4 apicid : 1 initial apicid : 1 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.61 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 9 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2400.000 cache size : 8192 KB physical id : 0 siblings : 8 core id : 1 cpu cores : 4 apicid : 3 initial apicid : 3 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.61 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 10 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2533.000 cache size : 8192 KB physical id : 0 siblings : 8 core id : 2 cpu cores : 4 apicid : 5 initial apicid : 5 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.61 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 11 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 0 siblings : 8 core id : 3 cpu cores : 4 apicid : 7 initial apicid : 7 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.61 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 12 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 : 8 core id : 0 cpu cores : 4 apicid : 17 initial apicid : 17 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 : 13 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 : 8 core id : 1 cpu cores : 4 apicid : 19 initial apicid : 19 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 : 14 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 : 8 core id : 2 cpu cores : 4 apicid : 21 initial apicid : 21 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 : 15 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 : 8 core id : 3 cpu cores : 4 apicid : 23 initial apicid : 23 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: 26717400 kB MemAvailable: 26906476 kB Buffers: 110016 kB Cached: 359432 kB SwapCached: 0 kB Active: 5353536 kB Inactive: 256524 kB Active(anon): 5143276 kB Inactive(anon): 8616 kB Active(file): 210260 kB Inactive(file): 247908 kB Unevictable: 5944 kB Mlocked: 5944 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 7596 kB Writeback: 0 kB AnonPages: 5149824 kB Mapped: 43060 kB Shmem: 8872 kB Slab: 127816 kB SReclaimable: 93484 kB SUnreclaim: 34332 kB KernelStack: 4944 kB PageTables: 15172 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 6405692 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 5007360 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 140672 kB DirectMap2M: 33404928 kB Free space on /tmp at the end= 61752 MiB End job on node132 at 2017-07-22 03:46:59