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) | 894 | 2400.26 | 306.112 |
| Name | GolombRuler/GolombRuler-a3-s1/ GolombRuler-28-a3.xml |
| MD5SUM | 7bf94b2c859f2895a81dfe97f17444ea |
| Bench Category | COP (optimization problem) |
| Best result obtained on this benchmark | SAT TO |
| Best value of the objective obtained on this benchmark | 866 |
| Best CPU time to get the best result obtained on this benchmark | 20000.6 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 812 |
| Number of constraints | 381 |
| Number of domains | 2 |
| Minimum domain size | 1000 |
| Maximum domain size | 1001 |
| Distribution of domain sizes | [{"size":1000,"count":378},{"size":1001,"count":28}] |
| Minimum variable degree | 0 |
| Maximum variable degree | 29 |
| Distribution of variable degrees | [{"degree":0,"count":406},{"degree":2,"count":378},{"degree":28,"count":26},{"degree":29,"count":2}] |
| Minimum constraint arity | 1 |
| Maximum constraint arity | 378 |
| Distribution of constraint arities | [{"arity":1,"count":1},{"arity":3,"count":378},{"arity":28,"count":1},{"arity":378,"count":1}] |
| Number of extensional constraints | 0 |
| Number of intensional constraints | 379 |
| Distribution of constraint types | [{"type":"intension","count":379},{"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-4246652-1500687721.xml" -tl '2400s' -p 8 -x 0 0.00/0.19 c [HOME/instance-4246652-1500687721.xml, -tl, 2400s, -p, 8, -x, 0] 0.00/0.25 c 8 solvers in parallel 0.00/0.32 c parse instance... 0.00/1.01 c solve instance... 20.74/3.40 o 1000 25.23/3.93 o 984 28.19/4.30 o 946 217.21/28.42 o 940 223.36/29.26 o 929 420.33/54.34 o 919 735.55/95.91 o 915 769.01/100.21 o 905 1513.49/194.76 o 894 2400.26/306.14 s SATISFIABLE 2400.26/306.14 v <instantiation> 2400.26/306.14 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] x[26] x[27] 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[0][26] y[0][27] 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[1][26] y[1][27] 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[2][26] y[2][27] 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[3][26] y[3][27] 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[4][26] y[4][27] 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[5][26] y[5][27] 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[6][26] y[6][27] 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[7][26] y[7][27] 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[8][26] y[8][27] 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[9][26] y[9][27] 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[10][26] y[10][27] 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[11][26] y[11][27] 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[12][26] y[12][27] 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[13][26] y[13][27] 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[14][26] y[14][27] 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[15][26] y[15][27] 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[16][26] y[16][27] 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[17][26] y[17][27] y[18][19] y[18][20] y[18][21] y[18][22] y[18][23] y[18][24] y[18][25] y[18][26] y[18][27] y[19][20] y[19][21] y[19][22] y[19][23] y[19][24] y[19][25] y[19][26] y[19][27] y[20][21] y[20][22] y[20][23] y[20][24] y[20][25] y[20][26] y[20][27] y[21][22] y[21][23] y[21][24] y[21][25] y[21][26] y[21][27] y[22][23] y[22][24] y[22][25] y[22][26] y[22][27] y[23][24] y[23][25] y[23][26] y[23][27] y[24][25] y[24][26] y[24][27] y[25][26] y[25][27] y[26][27] </list> 2400.26/306.14 v <values>0 1 3 7 12 20 30 44 65 91 113 141 172 208 246 271 286 328 408 460 511 583 637 670 805 821 860 894 1 3 7 12 20 30 44 65 91 113 141 172 208 246 271 286 328 408 460 511 583 637 670 805 821 860 894 2 6 11 19 29 43 64 90 112 140 171 207 245 270 285 327 407 459 510 582 636 669 804 820 859 893 4 9 17 27 41 62 88 110 138 169 205 243 268 283 325 405 457 508 580 634 667 802 818 857 891 5 13 23 37 58 84 106 134 165 201 239 264 279 321 401 453 504 576 630 663 798 814 853 887 8 18 32 53 79 101 129 160 196 234 259 274 316 396 448 499 571 625 658 793 809 848 882 10 24 45 71 93 121 152 188 226 251 266 308 388 440 491 563 617 650 785 801 840 874 14 35 61 83 111 142 178 216 241 256 298 378 430 481 553 607 640 775 791 830 864 21 47 69 97 128 164 202 227 242 284 364 416 467 539 593 626 761 777 816 850 26 48 76 107 143 181 206 221 263 343 395 446 518 572 605 740 756 795 829 22 50 81 117 155 180 195 237 317 369 420 492 546 579 714 730 769 803 28 59 95 133 158 173 215 295 347 398 470 524 557 692 708 747 781 31 67 105 130 145 187 267 319 370 442 496 529 664 680 719 753 36 74 99 114 156 236 288 339 411 465 498 633 649 688 722 38 63 78 120 200 252 303 375 429 462 597 613 652 686 25 40 82 162 214 265 337 391 424 559 575 614 648 15 57 137 189 240 312 366 399 534 550 589 623 42 122 174 225 297 351 384 519 535 574 608 80 132 183 255 309 342 477 493 532 566 52 103 175 229 262 397 413 452 486 51 123 177 210 345 361 400 434 72 126 159 294 310 349 383 54 87 222 238 277 311 33 168 184 223 257 135 151 190 224 16 55 89 39 73 34 </values> 2400.26/306.14 v </instantiation> 2400.26/306.14 c Unexpected resolution interruption!
OK 894
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-4246652-1500687721/watcher-4246652-1500687721 -o /tmp/evaluation-result-4246652-1500687721/solver-4246652-1500687721 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node127-1500682387-7776 --watchdog 2560 ./xcsp3-exec -dir HOME -tl 2400 -p 8 -ml 10000 -tdir HOME -seed 112248257 HOME/instance-4246652-1500687721.xml pid=27299 running on 8 cores: 1,3,5,7,9,11,13,15 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: 6.48 10.71 13.34 10/264 27302 /proc/meminfo: memFree=21989868/32770624 swapFree=5880/251704 [pid=27302] ppid=27299 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/27302/stat : 27302 (xcsp3-exec) S 27299 27302 7744 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4039824 9740288 346 33554432000 4194304 5098028 140730289289104 140730289287208 140330443911804 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 15065088 140730289296527 140730289296736 140730289296736 140730289299435 0 /proc/27302/statm: 2378 346 289 221 0 87 0 [startup+0.100105 s] /proc/loadavg: 6.48 10.71 13.34 10/264 27302 /proc/meminfo: memFree=21989868/32770624 swapFree=5880/251704 [pid=27302] ppid=27299 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/27302/stat : 27302 (xcsp3-exec) S 27299 27302 7744 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4039824 9740288 346 33554432000 4194304 5098028 140730289289104 140730289287208 140330443911804 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 15065088 140730289296527 140730289296736 140730289296736 140730289299435 0 /proc/27302/statm: 2378 346 289 221 0 87 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9512 [startup+0.200307 s] /proc/loadavg: 6.48 10.71 13.34 10/264 27302 /proc/meminfo: memFree=21989868/32770624 swapFree=5880/251704 [pid=27302] ppid=27299 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/27302/stat : 27302 (xcsp3-exec) S 27299 27302 7744 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4039824 9740288 346 33554432000 4194304 5098028 140730289289104 140730289287208 140330443911804 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 15065088 140730289296527 140730289296736 140730289296736 140730289299435 0 /proc/27302/statm: 2378 346 289 221 0 87 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9512 [startup+0.300221 s] /proc/loadavg: 6.48 10.71 13.34 10/264 27302 /proc/meminfo: memFree=21989868/32770624 swapFree=5880/251704 [pid=27302] ppid=27299 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/27302/stat : 27302 (xcsp3-exec) S 27299 27302 7744 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4039824 9740288 346 33554432000 4194304 5098028 140730289289104 140730289287208 140330443911804 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 15065088 140730289296527 140730289296736 140730289296736 140730289299435 0 /proc/27302/statm: 2378 346 289 221 0 87 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9512 [startup+0.700219 s] /proc/loadavg: 6.48 10.71 13.34 10/264 27302 /proc/meminfo: memFree=21989868/32770624 swapFree=5880/251704 [pid=27302] ppid=27299 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/27302/stat : 27302 (xcsp3-exec) S 27299 27302 7744 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4039824 9740288 346 33554432000 4194304 5098028 140730289289104 140730289287208 140330443911804 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 15065088 140730289296527 140730289296736 140730289296736 140730289299435 0 /proc/27302/statm: 2378 346 289 221 0 87 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9512 [startup+1.50126 s] /proc/loadavg: 6.48 10.71 13.34 18/293 27331 /proc/meminfo: memFree=21849024/32770624 swapFree=5880/251744 [pid=27302] ppid=27299 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/27302/stat : 27302 (xcsp3-exec) S 27299 27302 7744 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4039824 9740288 346 33554432000 4194304 5098028 140730289289104 140730289287208 140330443911804 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 15065088 140730289296527 140730289296736 140730289296736 140730289299435 0 /proc/27302/statm: 2378 346 289 221 0 87 0 [pid=27303] ppid=27302 vsize=13801768 CPUtime=6.43 cores=1,3,5,7,9,11,13,15 /proc/27303/stat : 27303 (java) S 27302 27302 7744 0 -1 1077944320 22234 0 0 0 626 17 0 0 20 0 28 0 4039824 14133010432 51804 33554432000 4194304 4196468 140721560266336 140721560248880 140019827085047 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 14962688 140721560274108 140721560274284 140721560274284 140721560276943 0 /proc/27303/statm: 3450442 51804 3243 1 0 3437675 0 [pid=27303/tid=27304] ppid=27302 vsize=13801768 CPUtime=0.99 cores=1,3,5,7,9,11,13,15 /proc/27303/task/27304/stat : 27304 (java) S 27302 27302 7744 0 -1 1077944384 7440 0 0 0 95 4 0 0 20 0 28 0 4039824 14133010432 51804 33554432000 4194304 4196468 140721560266336 140019831325824 140019827095253 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14962688 140721560274108 140721560274284 140721560274284 140721560276943 0 [pid=27303/tid=27306] ppid=27302 vsize=13801768 CPUtime=0.01 cores=1,3,5,7,9,11,13,15 /proc/27303/task/27306/stat : 27306 (java) S 27302 27302 7744 0 -1 1077944384 178 0 0 0 0 1 0 0 20 0 28 0 4039825 14133010432 51804 33554432000 4194304 4196468 140721560266336 140019426625808 140019827095253 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14962688 140721560274108 140721560274284 140721560274284 140721560276943 0 [pid=27303/tid=27307] ppid=27302 vsize=13801768 CPUtime=0.01 cores=1,3,5,7,9,11,13,15 /proc/27303/task/27307/stat : 27307 (java) S 27302 27302 7744 0 -1 1077944384 66 0 0 0 1 0 0 0 20 0 28 0 4039825 14133010432 51804 33554432000 4194304 4196468 140721560266336 140019425573264 140019827095253 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14962688 140721560274108 140721560274284 140721560274284 140721560276943 0 [pid=27303/tid=27308] ppid=27302 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/27303/task/27308/stat : 27308 (java) S 27302 27302 7744 0 -1 1077944384 36 0 0 0 0 0 0 0 20 0 28 0 4039825 14133010432 51804 33554432000 4194304 4196468 140721560266336 140019424520720 140019827095253 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 14962688 140721560274108 140721560274284 140721560274284 140721560276943 0 [pid=27303/tid=27309] ppid=27302 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/27303/task/27309/stat : 27309 (java) S 27302 27302 7744 0 -1 1077944384 16 0 0 0 0 0 0 0 20 0 28 0 4039825 14133010432 51804 33554432000 4194304 4196468 140721560266336 140019423468176 140019827095253 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 14962688 140721560274108 140721560274284 140721560274284 140721560276943 0 [pid=27303/tid=27310] ppid=27302 vsize=13801768 CPUtime=0.01 cores=1,3,5,7,9,11,13,15 /proc/27303/task/27310/stat : 27310 (java) S 27302 27302 7744 0 -1 1077944384 12 0 0 0 0 1 0 0 20 0 28 0 4039825 14133010432 51804 33554432000 4194304 4196468 140721560266336 140019422415632 140019827095253 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 14962688 140721560274108 140721560274284 140721560274284 140721560276943 0 [pid=27303/tid=27311] ppid=27302 vsize=13801768 CPUtime=0.01 cores=1,3,5,7,9,11,13,15 /proc/27303/task/27311/stat : 27311 (java) S 27302 27302 7744 0 -1 1077944384 52 0 0 0 0 1 0 0 20 0 28 0 4039825 14133010432 51804 33554432000 4194304 4196468 140721560266336 140019421363088 140019827095253 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 14962688 140721560274108 140721560274284 140721560274284 140721560276943 0 [pid=27303/tid=27312] ppid=27302 vsize=13801768 CPUtime=0.01 cores=1,3,5,7,9,11,13,15 /proc/27303/task/27312/stat : 27312 (java) S 27302 27302 7744 0 -1 1077944384 18 0 0 0 0 1 0 0 20 0 28 0 4039825 14133010432 51804 33554432000 4194304 4196468 140721560266336 140019420310544 140019827095253 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14962688 140721560274108 140721560274284 140721560274284 140721560276943 0 [pid=27303/tid=27313] ppid=27302 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/27303/task/27313/stat : 27313 (java) S 27302 27302 7744 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 28 0 4039825 14133010432 51804 33554432000 4194304 4196468 140721560266336 140019419258000 140019827095253 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14962688 140721560274108 140721560274284 140721560274284 140721560276943 0 [pid=27303/tid=27314] ppid=27302 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/27303/task/27314/stat : 27314 (java) S 27302 27302 7744 0 -1 1077944384 169 0 0 0 0 0 0 0 20 0 28 0 4039827 14133010432 51804 33554432000 4194304 4196468 140721560266336 140019289286640 140019827096194 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14962688 140721560274108 140721560274284 140721560274284 140721560276943 0 [pid=27303/tid=27315] ppid=27302 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/27303/task/27315/stat : 27315 (java) S 27302 27302 7744 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 28 0 4039828 14133010432 51804 33554432000 4194304 4196468 140721560266336 140019288232864 140019827095253 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 14962688 140721560274108 140721560274284 140721560274284 140721560276943 0 [pid=27303/tid=27316] ppid=27302 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/27303/task/27316/stat : 27316 (java) S 27302 27302 7744 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 28 0 4039829 14133010432 51804 33554432000 4194304 4196468 140721560266336 140019287180272 140019827095253 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 14962688 140721560274108 140721560274284 140721560274284 140721560276943 0 [pid=27303/tid=27317] ppid=27302 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/27303/task/27317/stat : 27317 (java) S 27302 27302 7744 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4039832 14133010432 51804 33554432000 4194304 4196468 140721560266336 140019286128848 140019827103643 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 14962688 140721560274108 140721560274284 140721560274284 140721560276943 0 [pid=27303/tid=27318] ppid=27302 vsize=13801768 CPUtime=0.62 cores=1,3,5,7,9,11,13,15 /proc/27303/task/27318/stat : 27318 (java) R 27302 27302 7744 0 -1 4202560 2919 0 0 0 62 0 0 0 20 0 28 0 4039832 14133010432 51804 33554432000 4194304 4196468 140721560266336 140019285063032 140019806747264 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 14962688 140721560274108 140721560274284 140721560274284 140721560276943 0 [pid=27303/tid=27319] ppid=27302 vsize=13801768 CPUtime=0.66 cores=1,3,5,7,9,11,13,15 /proc/27303/task/27319/stat : 27319 (java) R 27302 27302 7744 0 -1 4202560 2481 0 0 0 66 0 0 0 20 0 28 0 4039832 14133010432 51804 33554432000 4194304 4196468 140721560266336 140019284015136 140019808629223 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 14962688 140721560274108 140721560274284 140721560274284 140721560276943 0 [pid=27303/tid=27320] ppid=27302 vsize=13801768 CPUtime=0.62 cores=1,3,5,7,9,11,13,15 /proc/27303/task/27320/stat : 27320 (java) S 27302 27302 7744 0 -1 1077944384 2392 0 0 0 62 0 0 0 20 0 28 0 4039832 14133010432 51804 33554432000 4194304 4196468 140721560266336 140019282971376 140019827096194 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14962688 140721560274108 140721560274284 140721560274284 140721560276943 0 [pid=27303/tid=27321] ppid=27302 vsize=13801768 CPUtime=0.55 cores=1,3,5,7,9,11,13,15 /proc/27303/task/27321/stat : 27321 (java) S 27302 27302 7744 0 -1 1077944384 3798 0 0 0 54 1 0 0 20 0 28 0 4039832 14133010432 51804 33554432000 4194304 4196468 140721560266336 140019281918832 140019827096194 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14962688 140721560274108 140721560274284 140721560274284 140721560276943 0 [pid=27303/tid=27322] ppid=27302 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/27303/task/27322/stat : 27322 (java) S 27302 27302 7744 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4039833 14133010432 51804 33554432000 4194304 4196468 140721560266336 140019280865504 140019827095253 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 14962688 140721560274108 140721560274284 140721560274284 140721560276943 0 [pid=27303/tid=27323] ppid=27302 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/27303/task/27323/stat : 27323 (java) S 27302 27302 7744 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 4039833 14133010432 51804 33554432000 4194304 4196468 140721560266336 140019279813040 140019827096194 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14962688 140721560274108 140721560274284 140721560274284 140721560276943 0 [pid=27303/tid=27324] ppid=27302 vsize=13801768 CPUtime=0.3 cores=1,3,5,7,9,11,13,15 /proc/27303/task/27324/stat : 27324 (java) R 27302 27302 7744 0 -1 4202560 487 0 0 0 30 0 0 0 20 0 28 0 4039926 14133010432 51804 33554432000 4194304 4196468 140721560266336 140019271799592 140019446325368 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 14962688 140721560274108 140721560274284 140721560274284 140721560276943 0 [pid=27303/tid=27325] ppid=27302 vsize=13801768 CPUtime=0.35 cores=1,3,5,7,9,11,13,15 /proc/27303/task/27325/stat : 27325 (java) R 27302 27302 7744 0 -1 4202560 201 0 0 0 35 0 0 0 20 0 28 0 4039926 14133010432 51804 33554432000 4194304 4196468 140721560266336 140019270747544 140019446324945 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14962688 140721560274108 140721560274284 140721560274284 140721560276943 0 [pid=27303/tid=27326] ppid=27302 vsize=13801768 CPUtime=0.35 cores=1,3,5,7,9,11,13,15 /proc/27303/task/27326/stat : 27326 (java) R 27302 27302 7744 0 -1 4202560 177 0 0 0 35 0 0 0 20 0 28 0 4039926 14133010432 51804 33554432000 4194304 4196468 140721560266336 140019269692688 140019446324858 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 14962688 140721560274108 140721560274284 140721560274284 140721560276943 0 [pid=27303/tid=27327] ppid=27302 vsize=13801768 CPUtime=0.33 cores=1,3,5,7,9,11,13,15 /proc/27303/task/27327/stat : 27327 (java) R 27302 27302 7744 0 -1 4202560 59 0 0 0 33 0 0 0 20 0 28 0 4039926 14133010432 51804 33554432000 4194304 4196468 140721560266336 140019268639984 140019446325368 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14962688 140721560274108 140721560274284 140721560274284 140721560276943 0 [pid=27303/tid=27328] ppid=27302 vsize=13801768 CPUtime=0.37 cores=1,3,5,7,9,11,13,15 /proc/27303/task/27328/stat : 27328 (java) R 27302 27302 7744 0 -1 4202560 57 0 0 0 37 0 0 0 20 0 28 0 4039927 14133010432 51804 33554432000 4194304 4196468 140721560266336 140019267590424 140019446325020 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 14962688 140721560274108 140721560274284 140721560274284 140721560276943 0 [pid=27303/tid=27329] ppid=27302 vsize=13801768 CPUtime=0.34 cores=1,3,5,7,9,11,13,15 /proc/27303/task/27329/stat : 27329 (java) R 27302 27302 7744 0 -1 4202560 144 0 0 0 34 0 0 0 20 0 28 0 4039927 14133010432 51804 33554432000 4194304 4196468 140721560266336 140019266535352 140019446324858 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 14962688 140721560274108 140721560274284 140721560274284 140721560276943 0 [pid=27303/tid=27330] ppid=27302 vsize=13801768 CPUtime=0.36 cores=1,3,5,7,9,11,13,15 /proc/27303/task/27330/stat : 27330 (java) R 27302 27302 7744 0 -1 4202560 113 0 0 0 36 0 0 0 20 0 28 0 4039927 14133010432 51804 33554432000 4194304 4196468 140721560266336 140019265484312 140019446324858 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 14962688 140721560274108 140721560274284 140721560274284 140721560276943 0 [pid=27303/tid=27331] ppid=27302 vsize=13801768 CPUtime=0.33 cores=1,3,5,7,9,11,13,15 /proc/27303/task/27331/stat : 27331 (java) R 27302 27302 7744 0 -1 4202560 65 0 0 0 33 0 0 0 20 0 28 0 4039927 14133010432 51804 33554432000 4194304 4196468 140721560266336 140019264429768 140019446325368 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 14962688 140721560274108 140721560274284 140721560274284 140721560276943 0 Current children cumulated CPU time (s) 6.43 Current children cumulated vsize (KiB) 13811280 [startup+3.10173 s] /proc/loadavg: 6.48 10.71 13.34 20/293 27331 /proc/meminfo: memFree=21786000/32770624 swapFree=5880/251736 [pid=27302] ppid=27299 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/27302/stat : 27302 (xcsp3-exec) S 27299 27302 7744 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4039824 9740288 346 33554432000 4194304 5098028 140730289289104 140730289287208 140330443911804 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 15065088 140730289296527 140730289296736 140730289296736 140730289299435 0 /proc/27302/statm: 2378 346 289 221 0 87 0 [pid=27303] ppid=27302 vsize=13801768 CPUtime=19.01 cores=1,3,5,7,9,11,13,15 /proc/27303/stat : 27303 (java) S 27302 27302 7744 0 -1 1077944320 27321 0 0 0 1871 30 0 0 20 0 28 0 4039824 14133010432 76498 33554432000 4194304 4196468 140721560266336 140721560248880 140019827085047 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 14962688 140721560274108 140721560274284 140721560274284 140721560276943 0 /proc/27303/statm: 3450442 76498 3256 1 0 3437675 0 [pid=27303/tid=27304] ppid=27302 vsize=13801768 CPUtime=0.99 cores=1,3,5,7,9,11,13,15 /proc/27303/task/27304/stat : 27304 (java) S 27302 27302 7744 0 -1 1077944384 7440 0 0 0 95 4 0 0 20 0 28 0 4039824 14133010432 76498 33554432000 4194304 4196468 140721560266336 140019831325824 140019827095253 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14962688 140721560274108 140721560274284 140721560274284 140721560276943 0 [pid=27303/tid=27306] ppid=27302 vsize=13801768 CPUtime=0.03 cores=1,3,5,7,9,11,13,15 /proc/27303/task/27306/stat : 27306 (java) S 27302 27302 7744 0 -1 1077944384 198 0 0 0 1 2 0 0 20 0 28 0 4039825 14133010432 76498 33554432000 4194304 4196468 140721560266336 140019426625808 140019827095253 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14962688 140721560274108 140721560274284 140721560274284 140721560276943 0 [pid=27303/tid=27307] ppid=27302 vsize=13801768 CPUtime=0.03 cores=1,3,5,7,9,11,13,15 /proc/27303/task/27307/stat : 27307 (java) S 27302 27302 7744 0 -1 1077944384 78 0 0 0 1 2 0 0 20 0 28 0 4039825 14133010432 76498 33554432000 4194304 4196468 140721560266336 140019425573264 140019827095253 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14962688 140721560274108 140721560274284 140721560274284 140721560276943 0 [pid=27303/tid=27308] ppid=27302 vsize=13801768 CPUtime=0.03 cores=1,3,5,7,9,11,13,15 /proc/27303/task/27308/stat : 27308 (java) S 27302 27302 7744 0 -1 1077944384 62 0 0 0 2 1 0 0 20 0 28 0 4039825 14133010432 76498 33554432000 4194304 4196468 140721560266336 140019424520720 140019827095253 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 14962688 140721560274108 140721560274284 140721560274284 140721560276943 0 [pid=27303/tid=27309] ppid=27302 vsize=13801768 CPUtime=0.03 cores=1,3,5,7,9,11,13,15 /proc/27303/task/27309/stat : 27309 (java) S 27302 27302 7744 0 -1 1077944384 37 0 0 0 1 2 0 0 20 0 28 0 4039825 14133010432 76498 33554432000 4194304 4196468 140721560266336 140019423468176 140019827095253 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 14962688 140721560274108 140721560274284 140721560274284 140721560276943 0 [pid=27303/tid=27310] ppid=27302 vsize=13801768 CPUtime=0.02 cores=1,3,5,7,9,11,13,15 /proc/27303/task/27310/stat : 27310 (java) S 27302 27302 7744 0 -1 1077944384 547 0 0 0 1 1 0 0 20 0 28 0 4039825 14133010432 76498 33554432000 4194304 4196468 140721560266336 140019422415632 140019827095253 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14962688 140721560274108 140721560274284 140721560274284 140721560276943 0 [pid=27303/tid=27311] ppid=27302 vsize=13801768 CPUtime=0.03 cores=1,3,5,7,9,11,13,15 /proc/27303/task/27311/stat : 27311 (java) S 27302 27302 7744 0 -1 1077944384 128 0 0 0 1 2 0 0 20 0 28 0 4039825 14133010432 76498 33554432000 4194304 4196468 140721560266336 140019421363088 140019827095253 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 14962688 140721560274108 140721560274284 140721560274284 140721560276943 0 [pid=27303/tid=27312] ppid=27302 vsize=13801768 CPUtime=0.03 cores=1,3,5,7,9,11,13,15 /proc/27303/task/27312/stat : 27312 (java) S 27302 27302 7744 0 -1 1077944384 37 0 0 0 1 2 0 0 20 0 28 0 4039825 14133010432 77010 33554432000 4194304 4196468 140721560266336 140019420310544 140019827095253 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14962688 140721560274108 140721560274284 140721560274284 140721560276943 0 [pid=27303/tid=27313] ppid=27302 vsize=13801768 CPUtime=0.03 cores=1,3,5,7,9,11,13,15 /proc/27303/task/27313/stat : 27313 (java) S 27302 27302 7744 0 -1 1077944384 32 0 0 0 1 2 0 0 20 0 28 0 4039825 14133010432 77010 33554432000 4194304 4196468 140721560266336 140019419258000 140019827095253 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 14962688 140721560274108 140721560274284 140721560274284 140721560276943 0 [pid=27303/tid=27314] ppid=27302 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/27303/task/27314/stat : 27314 (java) S 27302 27302 7744 0 -1 1077944384 234 0 0 0 0 0 0 0 20 0 28 0 4039827 14133010432 77010 33554432000 4194304 4196468 140721560266336 140019289286640 140019827096194 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14962688 140721560274108 140721560274284 140721560274284 140721560276943 0 [pid=27303/tid=27315] ppid=27302 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/27303/task/27315/stat : 27315 (java) S 27302 27302 7744 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 28 0 4039828 14133010432 77010 33554432000 4194304 4196468 140721560266336 140019288232928 140019827095253 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14962688 140721560274108 140721560274284 140721560274284 140721560276943 0 [pid=27303/tid=27316] ppid=27302 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/27303/task/27316/stat : 27316 (java) S 27302 27302 7744 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 28 0 4039829 14133010432 77010 33554432000 4194304 4196468 140721560266336 140019287180288 140019827095253 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14962688 140721560274108 140721560274284 140721560274284 140721560276943 0 [pid=27303/tid=27317] ppid=27302 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/27303/task/27317/stat : 27317 (java) S 27302 27302 7744 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4039832 14133010432 77010 33554432000 4194304 4196468 140721560266336 140019286128848 140019827103643 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 14962688 140721560274108 140721560274284 140721560274284 140721560276943 0 [pid=27303/tid=27318] ppid=27302 vsize=13801768 CPUtime=1.73 cores=1,3,5,7,9,11,13,15 /proc/27303/task/27318/stat : 27318 (java) R 27302 27302 7744 0 -1 4202560 4316 0 0 0 172 1 0 0 20 0 28 0 4039832 14133010432 77010 33554432000 4194304 4196468 140721560266336 140019285065008 140019808629200 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 14962688 140721560274108 140721560274284 140721560274284 140721560276943 0 [pid=27303/tid=27319] ppid=27302 vsize=13801768 CPUtime=1.86 cores=1,3,5,7,9,11,13,15 /proc/27303/task/27319/stat : 27319 (java) R 27302 27302 7744 0 -1 4202560 3351 0 0 0 186 0 0 0 20 0 28 0 4039832 14133010432 77010 33554432000 4194304 4196468 140721560266336 140019284016408 140019819374336 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14962688 140721560274108 140721560274284 140721560274284 140721560276943 0 [pid=27303/tid=27320] ppid=27302 vsize=13801768 CPUtime=1.7 cores=1,3,5,7,9,11,13,15 /proc/27303/task/27320/stat : 27320 (java) R 27302 27302 7744 0 -1 4202560 3480 0 0 0 169 1 0 0 20 0 28 0 4039832 14133010432 77010 33554432000 4194304 4196468 140721560266336 140019282961856 140019811483431 0 4 0 16800975 0 0 0 -1 9 0 0 8 0 0 6293624 6294260 14962688 140721560274108 140721560274284 140721560274284 140721560276943 0 [pid=27303/tid=27321] ppid=27302 vsize=13801768 CPUtime=0.75 cores=1,3,5,7,9,11,13,15 /proc/27303/task/27321/stat : 27321 (java) S 27302 27302 7744 0 -1 1077944384 4214 0 0 0 74 1 0 0 20 0 28 0 4039832 14133010432 77010 33554432000 4194304 4196468 140721560266336 140019281918832 140019827096194 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 8 0 0 6293624 6294260 14962688 140721560274108 140721560274284 140721560274284 140721560276943 0 [pid=27303/tid=27322] ppid=27302 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/27303/task/27322/stat : 27322 (java) S 27302 27302 7744 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4039833 14133010432 77010 33554432000 4194304 4196468 140721560266336 140019280865504 140019827095253 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 14962688 140721560274108 140721560274284 140721560274284 140721560276943 0 [pid=27303/tid=27323] ppid=27302 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/27303/task/27323/stat : 27323 (java) S 27302 27302 7744 0 -1 1077944384 11 0 0 0 0 0 0 0 20 0 28 0 4039833 14133010432 77010 33554432000 4194304 4196468 140721560266336 140019279813040 140019827096194 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14962688 140721560274108 140721560274284 140721560274284 140721560276943 0 [pid=27303/tid=27324] ppid=27302 vsize=13801768 CPUtime=1.38 cores=1,3,5,7,9,11,13,15 /proc/27303/task/27324/stat : 27324 (java) R 27302 27302 7744 0 -1 4202560 510 0 0 0 138 0 0 0 20 0 28 0 4039926 14133010432 77010 33554432000 4194304 4196468 140721560266336 140019271797496 140019446928166 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14962688 140721560274108 140721560274284 140721560274284 140721560276943 0 [pid=27303/tid=27325] ppid=27302 vsize=13801768 CPUtime=1.42 cores=1,3,5,7,9,11,13,15 /proc/27303/task/27325/stat : 27325 (java) R 27302 27302 7744 0 -1 4202560 322 0 0 0 142 0 0 0 20 0 28 0 4039926 14133010432 77010 33554432000 4194304 4196468 140721560266336 140019270746280 140019447296646 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14962688 140721560274108 140721560274284 140721560274284 140721560276943 0 [pid=27303/tid=27326] ppid=27302 vsize=13801768 CPUtime=1.65 cores=1,3,5,7,9,11,13,15 /proc/27303/task/27326/stat : 27326 (java) R 27302 27302 7744 0 -1 4202560 234 0 0 0 165 0 0 0 20 0 28 0 4039926 14133010432 77010 33554432000 4194304 4196468 140721560266336 140019269693624 140019447295308 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 14962688 140721560274108 140721560274284 140721560274284 140721560276943 0 [pid=27303/tid=27327] ppid=27302 vsize=13801768 CPUtime=1.42 cores=1,3,5,7,9,11,13,15 /proc/27303/task/27327/stat : 27327 (java) R 27302 27302 7744 0 -1 4202560 179 0 0 0 142 0 0 0 20 0 28 0 4039926 14133010432 77010 33554432000 4194304 4196468 140721560266336 140019268641144 140019446965206 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 14962688 140721560274108 140721560274284 140721560274284 140721560276943 0 [pid=27303/tid=27328] ppid=27302 vsize=13801768 CPUtime=1.49 cores=1,3,5,7,9,11,13,15 /proc/27303/task/27328/stat : 27328 (java) R 27302 27302 7744 0 -1 4202560 85 0 0 0 149 0 0 0 20 0 28 0 4039927 14133010432 77010 33554432000 4194304 4196468 140721560266336 140019267587824 140019446928690 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 14962688 140721560274108 140721560274284 140721560274284 140721560276943 0 [pid=27303/tid=27329] ppid=27302 vsize=13801768 CPUtime=1.26 cores=1,3,5,7,9,11,13,15 /proc/27303/task/27329/stat : 27329 (java) R 27302 27302 7744 0 -1 4202560 155 0 0 0 126 0 0 0 20 0 28 0 4039927 14133010432 77010 33554432000 4194304 4196468 140721560266336 140019266536376 140019447296740 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 14962688 140721560274108 140721560274284 140721560274284 140721560276943 0 [pid=27303/tid=27330] ppid=27302 vsize=13801768 CPUtime=1.61 cores=1,3,5,7,9,11,13,15 /proc/27303/task/27330/stat : 27330 (java) R 27302 27302 7744 0 -1 4202560 133 0 0 0 161 0 0 0 20 0 28 0 4039927 14133010432 77010 33554432000 4194304 4196468 140721560266336 140019265482080 140019446977395 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 14962688 140721560274108 140721560274284 140721560274284 140721560276943 0 [pid=27303/tid=27331] ppid=27302 vsize=13801768 CPUtime=1.31 cores=1,3,5,7,9,11,13,15 /proc/27303/task/27331/stat : 27331 (java) R 27302 27302 7744 0 -1 4202560 197 0 0 0 131 0 0 0 20 0 28 0 4039927 14133010432 77010 33554432000 4194304 4196468 140721560266336 140019264430104 140019446018260 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 14962688 140721560274108 140721560274284 140721560274284 140721560276943 0 Current children cumulated CPU time (s) 19.01 Current children cumulated vsize (KiB) 13811280 [startup+6.30164 s] /proc/loadavg: 7.32 10.82 13.36 11/293 27355 /proc/meminfo: memFree=21548792/32770624 swapFree=5880/251744 ################ # More data... # ################ [pid=27303/tid=27441] ppid=27302 vsize=13868332 CPUtime=87.13 cores=1,3,5,7,9,11,13,15 /proc/27303/task/27441/stat : 27441 (java) R 27302 27302 7744 0 -1 4202560 1140 0 0 0 8713 0 0 0 20 0 28 0 4059300 14201171968 540101 33554432000 4194304 4196468 140721560266336 140019267587544 140019446899547 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14962688 140721560274108 140721560274284 140721560274284 140721560276943 0 [pid=27303/tid=27442] ppid=27302 vsize=13868332 CPUtime=86.51 cores=1,3,5,7,9,11,13,15 /proc/27303/task/27442/stat : 27442 (java) R 27302 27302 7744 0 -1 4202560 302 0 0 0 8651 0 0 0 20 0 28 0 4059300 14201171968 540101 33554432000 4194304 4196468 140721560266336 140019270745688 140019446504183 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 14962688 140721560274108 140721560274284 140721560274284 140721560276943 0 Current children cumulated CPU time (s) 2210.68 Current children cumulated vsize (KiB) 13877844 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+306.102 s] /proc/loadavg: 15.89 14.00 14.03 17/299 27646 /proc/meminfo: memFree=29547348/32770624 swapFree=5880/280756 [pid=27302] ppid=27299 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/27302/stat : 27302 (xcsp3-exec) S 27299 27302 7744 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4039824 9740288 346 33554432000 4194304 5098028 140730289289104 140730289287208 140330443911804 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 15065088 140730289296527 140730289296736 140730289296736 140730289299435 0 /proc/27302/statm: 2378 346 289 221 0 87 0 [pid=27303] ppid=27302 vsize=13868332 CPUtime=2400.26 cores=1,3,5,7,9,11,13,15 /proc/27303/stat : 27303 (java) S 27302 27302 7744 0 -1 1077944320 118174 0 0 0 239843 183 0 0 20 0 28 0 4039824 14201171968 532929 33554432000 4194304 4196468 140721560266336 140721560248880 140019827085047 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 14962688 140721560274108 140721560274284 140721560274284 140721560276943 0 /proc/27303/statm: 3467083 532929 3273 1 0 3454316 0 [pid=27303/tid=27304] ppid=27302 vsize=13868332 CPUtime=1 cores=1,3,5,7,9,11,13,15 /proc/27303/task/27304/stat : 27304 (java) S 27302 27302 7744 0 -1 1077944384 8212 0 0 0 96 4 0 0 20 0 28 0 4039824 14201171968 532929 33554432000 4194304 4196468 140721560266336 140019831325824 140019827095253 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14962688 140721560274108 140721560274284 140721560274284 140721560276943 0 [pid=27303/tid=27306] ppid=27302 vsize=13868332 CPUtime=0.25 cores=1,3,5,7,9,11,13,15 /proc/27303/task/27306/stat : 27306 (java) S 27302 27302 7744 0 -1 1077944384 671 0 0 0 11 14 0 0 20 0 28 0 4039825 14201171968 532929 33554432000 4194304 4196468 140721560266336 140019426625808 140019827095253 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14962688 140721560274108 140721560274284 140721560274284 140721560276943 0 [pid=27303/tid=27307] ppid=27302 vsize=13868332 CPUtime=0.24 cores=1,3,5,7,9,11,13,15 /proc/27303/task/27307/stat : 27307 (java) S 27302 27302 7744 0 -1 1077944384 2844 0 0 0 12 12 0 0 20 0 28 0 4039825 14201171968 532929 33554432000 4194304 4196468 140721560266336 140019425573264 140019827095253 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14962688 140721560274108 140721560274284 140721560274284 140721560276943 0 [pid=27303/tid=27308] ppid=27302 vsize=13868332 CPUtime=0.26 cores=1,3,5,7,9,11,13,15 /proc/27303/task/27308/stat : 27308 (java) S 27302 27302 7744 0 -1 1077944384 1443 0 0 0 14 12 0 0 20 0 28 0 4039825 14201171968 532929 33554432000 4194304 4196468 140721560266336 140019424520720 140019827095253 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14962688 140721560274108 140721560274284 140721560274284 140721560276943 0 [pid=27303/tid=27309] ppid=27302 vsize=13868332 CPUtime=0.25 cores=1,3,5,7,9,11,13,15 /proc/27303/task/27309/stat : 27309 (java) S 27302 27302 7744 0 -1 1077944384 976 0 0 0 12 13 0 0 20 0 28 0 4039825 14201171968 532929 33554432000 4194304 4196468 140721560266336 140019423468176 140019827095253 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14962688 140721560274108 140721560274284 140721560274284 140721560276943 0 [pid=27303/tid=27310] ppid=27302 vsize=13868332 CPUtime=0.25 cores=1,3,5,7,9,11,13,15 /proc/27303/task/27310/stat : 27310 (java) S 27302 27302 7744 0 -1 1077944384 1684 0 0 0 11 14 0 0 20 0 28 0 4039825 14201171968 532929 33554432000 4194304 4196468 140721560266336 140019422415632 140019827095253 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14962688 140721560274108 140721560274284 140721560274284 140721560276943 0 [pid=27303/tid=27311] ppid=27302 vsize=13868332 CPUtime=0.23 cores=1,3,5,7,9,11,13,15 /proc/27303/task/27311/stat : 27311 (java) S 27302 27302 7744 0 -1 1077944384 1390 0 0 0 10 13 0 0 20 0 28 0 4039825 14201171968 532929 33554432000 4194304 4196468 140721560266336 140019421363088 140019827095253 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 14962688 140721560274108 140721560274284 140721560274284 140721560276943 0 [pid=27303/tid=27312] ppid=27302 vsize=13868332 CPUtime=0.26 cores=1,3,5,7,9,11,13,15 /proc/27303/task/27312/stat : 27312 (java) S 27302 27302 7744 0 -1 1077944384 1059 0 0 0 12 14 0 0 20 0 28 0 4039825 14201171968 532929 33554432000 4194304 4196468 140721560266336 140019420310544 140019827095253 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14962688 140721560274108 140721560274284 140721560274284 140721560276943 0 [pid=27303/tid=27313] ppid=27302 vsize=13868332 CPUtime=0.22 cores=1,3,5,7,9,11,13,15 /proc/27303/task/27313/stat : 27313 (java) S 27302 27302 7744 0 -1 1077944384 1220 0 0 0 10 12 0 0 20 0 28 0 4039825 14201171968 532929 33554432000 4194304 4196468 140721560266336 140019419258000 140019827095253 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14962688 140721560274108 140721560274284 140721560274284 140721560276943 0 [pid=27303/tid=27314] ppid=27302 vsize=13868332 CPUtime=0.11 cores=1,3,5,7,9,11,13,15 /proc/27303/task/27314/stat : 27314 (java) S 27302 27302 7744 0 -1 1077944384 4550 0 0 0 4 7 0 0 20 0 28 0 4039827 14201171968 532929 33554432000 4194304 4196468 140721560266336 140019289286640 140019827096194 0 0 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 14962688 140721560274108 140721560274284 140721560274284 140721560276943 0 [pid=27303/tid=27315] ppid=27302 vsize=13868332 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/27303/task/27315/stat : 27315 (java) S 27302 27302 7744 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 28 0 4039828 14201171968 532929 33554432000 4194304 4196468 140721560266336 140019288232928 140019827095253 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 14962688 140721560274108 140721560274284 140721560274284 140721560276943 0 [pid=27303/tid=27316] ppid=27302 vsize=13868332 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/27303/task/27316/stat : 27316 (java) S 27302 27302 7744 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 28 0 4039829 14201171968 532929 33554432000 4194304 4196468 140721560266336 140019287180288 140019827095253 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 14962688 140721560274108 140721560274284 140721560274284 140721560276943 0 [pid=27303/tid=27317] ppid=27302 vsize=13868332 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/27303/task/27317/stat : 27317 (java) S 27302 27302 7744 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4039832 14201171968 532929 33554432000 4194304 4196468 140721560266336 140019286128848 140019827103643 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 14962688 140721560274108 140721560274284 140721560274284 140721560276943 0 [pid=27303/tid=27318] ppid=27302 vsize=13868332 CPUtime=2.93 cores=1,3,5,7,9,11,13,15 /proc/27303/task/27318/stat : 27318 (java) S 27302 27302 7744 0 -1 1077944384 9706 0 0 0 291 2 0 0 20 0 28 0 4039832 14201171968 532929 33554432000 4194304 4196468 140721560266336 140019285076464 140019827096194 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 14962688 140721560274108 140721560274284 140721560274284 140721560276943 0 [pid=27303/tid=27319] ppid=27302 vsize=13868332 CPUtime=3.67 cores=1,3,5,7,9,11,13,15 /proc/27303/task/27319/stat : 27319 (java) S 27302 27302 7744 0 -1 1077944384 13044 0 0 0 366 1 0 0 20 0 28 0 4039832 14201171968 532929 33554432000 4194304 4196468 140721560266336 140019284023920 140019827096194 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14962688 140721560274108 140721560274284 140721560274284 140721560276943 0 [pid=27303/tid=27320] ppid=27302 vsize=13868332 CPUtime=3.07 cores=1,3,5,7,9,11,13,15 /proc/27303/task/27320/stat : 27320 (java) S 27302 27302 7744 0 -1 1077944384 8891 0 0 0 306 1 0 0 20 0 28 0 4039832 14201171968 532929 33554432000 4194304 4196468 140721560266336 140019282971376 140019827096194 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 8 0 0 6293624 6294260 14962688 140721560274108 140721560274284 140721560274284 140721560276943 0 [pid=27303/tid=27321] ppid=27302 vsize=13868332 CPUtime=0.92 cores=1,3,5,7,9,11,13,15 /proc/27303/task/27321/stat : 27321 (java) S 27302 27302 7744 0 -1 1077944384 12617 0 0 0 90 2 0 0 20 0 28 0 4039832 14201171968 532929 33554432000 4194304 4196468 140721560266336 140019281918832 140019827096194 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 8 0 0 6293624 6294260 14962688 140721560274108 140721560274284 140721560274284 140721560276943 0 [pid=27303/tid=27322] ppid=27302 vsize=13868332 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/27303/task/27322/stat : 27322 (java) S 27302 27302 7744 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4039833 14201171968 532929 33554432000 4194304 4196468 140721560266336 140019280865504 140019827095253 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 14962688 140721560274108 140721560274284 140721560274284 140721560276943 0 [pid=27303/tid=27323] ppid=27302 vsize=13868332 CPUtime=0.15 cores=1,3,5,7,9,11,13,15 /proc/27303/task/27323/stat : 27323 (java) S 27302 27302 7744 0 -1 1077944384 1257 0 0 0 9 6 0 0 20 0 28 0 4039833 14201171968 532929 33554432000 4194304 4196468 140721560266336 140019279813040 140019827096194 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14962688 140721560274108 140721560274284 140721560274284 140721560276943 0 [pid=27303/tid=27435] ppid=27302 vsize=13868332 CPUtime=110.83 cores=1,3,5,7,9,11,13,15 /proc/27303/task/27435/stat : 27435 (java) R 27302 27302 7744 0 -1 4202560 1592 0 0 0 11082 1 0 0 20 0 28 0 4059300 14201171968 532929 33554432000 4194304 4196468 140721560266336 140019263376392 140019449258443 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 14962688 140721560274108 140721560274284 140721560274284 140721560276943 0 [pid=27303/tid=27436] ppid=27302 vsize=13868332 CPUtime=110.73 cores=1,3,5,7,9,11,13,15 /proc/27303/task/27436/stat : 27436 (java) R 27302 27302 7744 0 -1 4202560 2243 0 0 0 11073 0 0 0 20 0 28 0 4059300 14201171968 532929 33554432000 4194304 4196468 140721560266336 140019271799000 140019446898314 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14962688 140721560274108 140721560274284 140721560274284 140721560276943 0 [pid=27303/tid=27437] ppid=27302 vsize=13868332 CPUtime=111.17 cores=1,3,5,7,9,11,13,15 /proc/27303/task/27437/stat : 27437 (java) R 27302 27302 7744 0 -1 4202560 3965 0 0 0 11117 0 0 0 20 0 28 0 4059300 14201171968 532929 33554432000 4194304 4196468 140721560266336 140019268640416 140019448827826 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 14962688 140721560274108 140721560274284 140721560274284 140721560276943 0 [pid=27303/tid=27438] ppid=27302 vsize=13868332 CPUtime=111.09 cores=1,3,5,7,9,11,13,15 /proc/27303/task/27438/stat : 27438 (java) R 27302 27302 7744 0 -1 4202560 782 0 0 0 11109 0 0 0 20 0 28 0 4059300 14201171968 532929 33554432000 4194304 4196468 140721560266336 140019266535496 140019449258407 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 14962688 140721560274108 140721560274284 140721560274284 140721560276943 0 [pid=27303/tid=27439] ppid=27302 vsize=13868332 CPUtime=110.37 cores=1,3,5,7,9,11,13,15 /proc/27303/task/27439/stat : 27439 (java) R 27302 27302 7744 0 -1 4202560 1518 0 0 0 11037 0 0 0 20 0 28 0 4059300 14201171968 532929 33554432000 4194304 4196468 140721560266336 140019264430952 140019447197812 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 14962688 140721560274108 140721560274284 140721560274284 140721560276943 0 [pid=27303/tid=27440] ppid=27302 vsize=13868332 CPUtime=110.97 cores=1,3,5,7,9,11,13,15 /proc/27303/task/27440/stat : 27440 (java) R 27302 27302 7744 0 -1 4202560 556 0 0 0 11097 0 0 0 20 0 28 0 4059300 14201171968 532929 33554432000 4194304 4196468 140721560266336 140019269696816 140019446838562 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 14962688 140721560274108 140721560274284 140721560274284 140721560276943 0 [pid=27303/tid=27441] ppid=27302 vsize=13868332 CPUtime=110.89 cores=1,3,5,7,9,11,13,15 /proc/27303/task/27441/stat : 27441 (java) R 27302 27302 7744 0 -1 4202560 1355 0 0 0 11089 0 0 0 20 0 28 0 4059300 14201171968 532929 33554432000 4194304 4196468 140721560266336 140019267587480 140019446898314 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14962688 140721560274108 140721560274284 140721560274284 140721560276943 0 [pid=27303/tid=27442] ppid=27302 vsize=13868332 CPUtime=110.26 cores=1,3,5,7,9,11,13,15 /proc/27303/task/27442/stat : 27442 (java) R 27302 27302 7744 0 -1 4202560 342 0 0 0 11026 0 0 0 20 0 28 0 4059300 14201171968 532929 33554432000 4194304 4196468 140721560266336 140019270745992 140019447295329 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 14962688 140721560274108 140721560274284 140721560274284 140721560276943 0 Current children cumulated CPU time (s) 2400.26 Current children cumulated vsize (KiB) 13877844 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 27303 sig 9 ??? kill 27302 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+306.102 s] /proc/loadavg: 15.89 14.00 14.03 17/299 27646 /proc/meminfo: memFree=29547348/32770624 swapFree=5880/280756 [pid=27302] ppid=27299 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/27302/stat : 27302 (xcsp3-exec) S 27299 27302 7744 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4039824 9740288 346 33554432000 4194304 5098028 140730289289104 140730289287208 140330443911804 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 15065088 140730289296527 140730289296736 140730289296736 140730289299435 0 /proc/27302/statm: 2378 346 289 221 0 87 0 [pid=27303] ppid=27302 vsize=13868332 CPUtime=2400.26 cores=1,3,5,7,9,11,13,15 /proc/27303/stat : 27303 (java) S 27302 27302 7744 0 -1 1077944320 118174 0 0 0 239843 183 0 0 20 0 28 0 4039824 14201171968 532929 33554432000 4194304 4196468 140721560266336 140721560248880 140019827085047 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 14962688 140721560274108 140721560274284 140721560274284 140721560276943 0 /proc/27303/statm: 3467083 532929 3273 1 0 3454316 0 [pid=27303/tid=27304] ppid=27302 vsize=13868332 CPUtime=1 cores=1,3,5,7,9,11,13,15 /proc/27303/task/27304/stat : 27304 (java) S 27302 27302 7744 0 -1 1077944384 8212 0 0 0 96 4 0 0 20 0 28 0 4039824 14201171968 532929 33554432000 4194304 4196468 140721560266336 140019831325824 140019827095253 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14962688 140721560274108 140721560274284 140721560274284 140721560276943 0 [pid=27303/tid=27306] ppid=27302 vsize=13868332 CPUtime=0.25 cores=1,3,5,7,9,11,13,15 /proc/27303/task/27306/stat : 27306 (java) S 27302 27302 7744 0 -1 1077944384 671 0 0 0 11 14 0 0 20 0 28 0 4039825 14201171968 532929 33554432000 4194304 4196468 140721560266336 140019426625808 140019827095253 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14962688 140721560274108 140721560274284 140721560274284 140721560276943 0 [pid=27303/tid=27307] ppid=27302 vsize=13868332 CPUtime=0.24 cores=1,3,5,7,9,11,13,15 /proc/27303/task/27307/stat : 27307 (java) S 27302 27302 7744 0 -1 1077944384 2844 0 0 0 12 12 0 0 20 0 28 0 4039825 14201171968 532929 33554432000 4194304 4196468 140721560266336 140019425573264 140019827095253 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14962688 140721560274108 140721560274284 140721560274284 140721560276943 0 [pid=27303/tid=27308] ppid=27302 vsize=13868332 CPUtime=0.26 cores=1,3,5,7,9,11,13,15 /proc/27303/task/27308/stat : 27308 (java) S 27302 27302 7744 0 -1 1077944384 1443 0 0 0 14 12 0 0 20 0 28 0 4039825 14201171968 532929 33554432000 4194304 4196468 140721560266336 140019424520720 140019827095253 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14962688 140721560274108 140721560274284 140721560274284 140721560276943 0 [pid=27303/tid=27309] ppid=27302 vsize=13868332 CPUtime=0.25 cores=1,3,5,7,9,11,13,15 /proc/27303/task/27309/stat : 27309 (java) S 27302 27302 7744 0 -1 1077944384 976 0 0 0 12 13 0 0 20 0 28 0 4039825 14201171968 532929 33554432000 4194304 4196468 140721560266336 140019423468176 140019827095253 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14962688 140721560274108 140721560274284 140721560274284 140721560276943 0 [pid=27303/tid=27310] ppid=27302 vsize=13868332 CPUtime=0.25 cores=1,3,5,7,9,11,13,15 /proc/27303/task/27310/stat : 27310 (java) S 27302 27302 7744 0 -1 1077944384 1684 0 0 0 11 14 0 0 20 0 28 0 4039825 14201171968 532929 33554432000 4194304 4196468 140721560266336 140019422415632 140019827095253 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14962688 140721560274108 140721560274284 140721560274284 140721560276943 0 [pid=27303/tid=27311] ppid=27302 vsize=13868332 CPUtime=0.23 cores=1,3,5,7,9,11,13,15 /proc/27303/task/27311/stat : 27311 (java) S 27302 27302 7744 0 -1 1077944384 1390 0 0 0 10 13 0 0 20 0 28 0 4039825 14201171968 532929 33554432000 4194304 4196468 140721560266336 140019421363088 140019827095253 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 14962688 140721560274108 140721560274284 140721560274284 140721560276943 0 [pid=27303/tid=27312] ppid=27302 vsize=13868332 CPUtime=0.26 cores=1,3,5,7,9,11,13,15 /proc/27303/task/27312/stat : 27312 (java) S 27302 27302 7744 0 -1 1077944384 1059 0 0 0 12 14 0 0 20 0 28 0 4039825 14201171968 532929 33554432000 4194304 4196468 140721560266336 140019420310544 140019827095253 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14962688 140721560274108 140721560274284 140721560274284 140721560276943 0 [pid=27303/tid=27313] ppid=27302 vsize=13868332 CPUtime=0.22 cores=1,3,5,7,9,11,13,15 /proc/27303/task/27313/stat : 27313 (java) S 27302 27302 7744 0 -1 1077944384 1220 0 0 0 10 12 0 0 20 0 28 0 4039825 14201171968 532929 33554432000 4194304 4196468 140721560266336 140019419258000 140019827095253 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14962688 140721560274108 140721560274284 140721560274284 140721560276943 0 [pid=27303/tid=27314] ppid=27302 vsize=13868332 CPUtime=0.11 cores=1,3,5,7,9,11,13,15 /proc/27303/task/27314/stat : 27314 (java) S 27302 27302 7744 0 -1 1077944384 4550 0 0 0 4 7 0 0 20 0 28 0 4039827 14201171968 532929 33554432000 4194304 4196468 140721560266336 140019289286640 140019827096194 0 0 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 14962688 140721560274108 140721560274284 140721560274284 140721560276943 0 [pid=27303/tid=27315] ppid=27302 vsize=13868332 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/27303/task/27315/stat : 27315 (java) S 27302 27302 7744 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 28 0 4039828 14201171968 532929 33554432000 4194304 4196468 140721560266336 140019288232928 140019827095253 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 14962688 140721560274108 140721560274284 140721560274284 140721560276943 0 [pid=27303/tid=27316] ppid=27302 vsize=13868332 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/27303/task/27316/stat : 27316 (java) S 27302 27302 7744 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 28 0 4039829 14201171968 532929 33554432000 4194304 4196468 140721560266336 140019287180288 140019827095253 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 14962688 140721560274108 140721560274284 140721560274284 140721560276943 0 [pid=27303/tid=27317] ppid=27302 vsize=13868332 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/27303/task/27317/stat : 27317 (java) S 27302 27302 7744 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4039832 14201171968 532929 33554432000 4194304 4196468 140721560266336 140019286128848 140019827103643 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 14962688 140721560274108 140721560274284 140721560274284 140721560276943 0 [pid=27303/tid=27318] ppid=27302 vsize=13868332 CPUtime=2.93 cores=1,3,5,7,9,11,13,15 /proc/27303/task/27318/stat : 27318 (java) S 27302 27302 7744 0 -1 1077944384 9706 0 0 0 291 2 0 0 20 0 28 0 4039832 14201171968 532929 33554432000 4194304 4196468 140721560266336 140019285076464 140019827096194 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 14962688 140721560274108 140721560274284 140721560274284 140721560276943 0 [pid=27303/tid=27319] ppid=27302 vsize=13868332 CPUtime=3.67 cores=1,3,5,7,9,11,13,15 /proc/27303/task/27319/stat : 27319 (java) S 27302 27302 7744 0 -1 1077944384 13044 0 0 0 366 1 0 0 20 0 28 0 4039832 14201171968 532929 33554432000 4194304 4196468 140721560266336 140019284023920 140019827096194 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14962688 140721560274108 140721560274284 140721560274284 140721560276943 0 [pid=27303/tid=27320] ppid=27302 vsize=13868332 CPUtime=3.07 cores=1,3,5,7,9,11,13,15 /proc/27303/task/27320/stat : 27320 (java) S 27302 27302 7744 0 -1 1077944384 8891 0 0 0 306 1 0 0 20 0 28 0 4039832 14201171968 532929 33554432000 4194304 4196468 140721560266336 140019282971376 140019827096194 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 8 0 0 6293624 6294260 14962688 140721560274108 140721560274284 140721560274284 140721560276943 0 [pid=27303/tid=27321] ppid=27302 vsize=13868332 CPUtime=0.92 cores=1,3,5,7,9,11,13,15 /proc/27303/task/27321/stat : 27321 (java) S 27302 27302 7744 0 -1 1077944384 12617 0 0 0 90 2 0 0 20 0 28 0 4039832 14201171968 532929 33554432000 4194304 4196468 140721560266336 140019281918832 140019827096194 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 8 0 0 6293624 6294260 14962688 140721560274108 140721560274284 140721560274284 140721560276943 0 [pid=27303/tid=27322] ppid=27302 vsize=13868332 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/27303/task/27322/stat : 27322 (java) S 27302 27302 7744 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4039833 14201171968 532929 33554432000 4194304 4196468 140721560266336 140019280865504 140019827095253 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 14962688 140721560274108 140721560274284 140721560274284 140721560276943 0 [pid=27303/tid=27323] ppid=27302 vsize=13868332 CPUtime=0.15 cores=1,3,5,7,9,11,13,15 /proc/27303/task/27323/stat : 27323 (java) S 27302 27302 7744 0 -1 1077944384 1257 0 0 0 9 6 0 0 20 0 28 0 4039833 14201171968 532929 33554432000 4194304 4196468 140721560266336 140019279813040 140019827096194 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14962688 140721560274108 140721560274284 140721560274284 140721560276943 0 [pid=27303/tid=27435] ppid=27302 vsize=13868332 CPUtime=110.83 cores=1,3,5,7,9,11,13,15 /proc/27303/task/27435/stat : 27435 (java) R 27302 27302 7744 0 -1 4202560 1592 0 0 0 11082 1 0 0 20 0 28 0 4059300 14201171968 532929 33554432000 4194304 4196468 140721560266336 140019263376392 140019449258443 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 14962688 140721560274108 140721560274284 140721560274284 140721560276943 0 [pid=27303/tid=27436] ppid=27302 vsize=13868332 CPUtime=110.73 cores=1,3,5,7,9,11,13,15 /proc/27303/task/27436/stat : 27436 (java) R 27302 27302 7744 0 -1 4202560 2243 0 0 0 11073 0 0 0 20 0 28 0 4059300 14201171968 532929 33554432000 4194304 4196468 140721560266336 140019271799000 140019446898314 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14962688 140721560274108 140721560274284 140721560274284 140721560276943 0 [pid=27303/tid=27437] ppid=27302 vsize=13868332 CPUtime=111.17 cores=1,3,5,7,9,11,13,15 /proc/27303/task/27437/stat : 27437 (java) R 27302 27302 7744 0 -1 4202560 3965 0 0 0 11117 0 0 0 20 0 28 0 4059300 14201171968 532929 33554432000 4194304 4196468 140721560266336 140019268640416 140019448827826 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 14962688 140721560274108 140721560274284 140721560274284 140721560276943 0 [pid=27303/tid=27438] ppid=27302 vsize=13868332 CPUtime=111.09 cores=1,3,5,7,9,11,13,15 /proc/27303/task/27438/stat : 27438 (java) R 27302 27302 7744 0 -1 4202560 782 0 0 0 11109 0 0 0 20 0 28 0 4059300 14201171968 532929 33554432000 4194304 4196468 140721560266336 140019266535496 140019449258407 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 14962688 140721560274108 140721560274284 140721560274284 140721560276943 0 [pid=27303/tid=27439] ppid=27302 vsize=13868332 CPUtime=110.37 cores=1,3,5,7,9,11,13,15 /proc/27303/task/27439/stat : 27439 (java) R 27302 27302 7744 0 -1 4202560 1518 0 0 0 11037 0 0 0 20 0 28 0 4059300 14201171968 532929 33554432000 4194304 4196468 140721560266336 140019264430952 140019447197812 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 14962688 140721560274108 140721560274284 140721560274284 140721560276943 0 [pid=27303/tid=27440] ppid=27302 vsize=13868332 CPUtime=110.97 cores=1,3,5,7,9,11,13,15 /proc/27303/task/27440/stat : 27440 (java) R 27302 27302 7744 0 -1 4202560 556 0 0 0 11097 0 0 0 20 0 28 0 4059300 14201171968 532929 33554432000 4194304 4196468 140721560266336 140019269696816 140019446838562 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 14962688 140721560274108 140721560274284 140721560274284 140721560276943 0 [pid=27303/tid=27441] ppid=27302 vsize=13868332 CPUtime=110.89 cores=1,3,5,7,9,11,13,15 /proc/27303/task/27441/stat : 27441 (java) R 27302 27302 7744 0 -1 4202560 1355 0 0 0 11089 0 0 0 20 0 28 0 4059300 14201171968 532929 33554432000 4194304 4196468 140721560266336 140019267587480 140019446898314 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14962688 140721560274108 140721560274284 140721560274284 140721560276943 0 [pid=27303/tid=27442] ppid=27302 vsize=13868332 CPUtime=110.26 cores=1,3,5,7,9,11,13,15 /proc/27303/task/27442/stat : 27442 (java) R 27302 27302 7744 0 -1 4202560 342 0 0 0 11026 0 0 0 20 0 28 0 4059300 14201171968 532929 33554432000 4194304 4196468 140721560266336 140019270745992 140019447295329 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 14962688 140721560274108 140721560274284 140721560274284 140721560276943 0 Current children cumulated CPU time (s) 2400.26 Current children cumulated vsize (KiB) 13877844 Child ended because it received signal 15 (SIGTERM) # WARNING: # CPU time reported by wait4() is probably wrong ! # wait4(...,&childrusage) returns 27302 and gives # childrusage.ru_utime.tv_sec=0 # childrusage.ru_utime.tv_usec=1042 # childrusage.ru_stime.tv_sec=0 # childrusage.ru_stime.tv_usec=2085 # CPU time returned by wait4() is 0.003127 # while last known CPU time is 2400.26 # # Solver probably didn't/couldn't wait for its children # Using CPU time of the last sample as value... Real time (s): 306.112 CPU time (s): 2400.26 CPU user time (s): 2398.43 CPU system time (s): 1.83 CPU usage (%): 784.111 Max. virtual memory (cumulated for all children) (KiB): 13877844 getrusage(RUSAGE_CHILDREN,...) data: user time used= 0.001042 system time used= 0.002085 maximum resident set size= 1388 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 518 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= 2 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 3.8679 second user time and 4.43818 second system time The end
Begin job on node127 at 2017-07-22 03:42:01 IDJOB=4246652 IDBENCH=126211 IDSOLVER=2625 FILE ID=node127/4246652-1500687721 RUNJOBID= node127-1500682387-7776 PBS_JOBID= 20623323 Free space on /tmp= 61864 MiB SOLVER NAME= choco-solver 4.0.5 BENCH NAME= XCSP17/GolombRuler/GolombRuler-a3-s1/GolombRuler-28-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-4246652-1500687721/watcher-4246652-1500687721 -o /tmp/evaluation-result-4246652-1500687721/solver-4246652-1500687721 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node127-1500682387-7776 --watchdog 2560 ./xcsp3-exec -dir HOME -tl 2400 -p 8 -ml 10000 -tdir HOME -seed 112248257 HOME/instance-4246652-1500687721.xml TIME LIMIT= 2400 seconds MEMORY LIMIT= 15500 MiB NBCORE= 8 MD5SUM BENCH= 7bf94b2c859f2895a81dfe97f17444ea RANDOM SEED=112248257 node127.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 : 2668.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.94 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 : 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 : 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 : 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.94 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 : 1600.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 : 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 : 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.94 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 : 2133.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 : 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 : 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.94 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 : 1600.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 : 2668.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.94 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 : 1600.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 : 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 : 2668.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.94 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 : 1733.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 : 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 : 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.94 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 : 1600.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 : 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 : 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.94 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 : 1733.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: 21989976 kB MemAvailable: 22173736 kB Buffers: 50948 kB Cached: 441448 kB SwapCached: 0 kB Active: 10125480 kB Inactive: 260380 kB Active(anon): 9896324 kB Inactive(anon): 8676 kB Active(file): 229156 kB Inactive(file): 251704 kB Unevictable: 5880 kB Mlocked: 5880 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 7788 kB Writeback: 0 kB AnonPages: 10090592 kB Mapped: 42552 kB Shmem: 8872 kB Slab: 71636 kB SReclaimable: 37472 kB SUnreclaim: 34164 kB KernelStack: 5056 kB PageTables: 25144 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 10222144 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 9764864 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 124288 kB DirectMap2M: 33421312 kB Free space on /tmp at the end= 61968 MiB End job on node127 at 2017-07-22 03:47:08