Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| Solver of Xavier Schul & Yvhan Smal 2018-04-28 | SAT (TO) | 469182 | 2520.08 | 2515.73 |
| Name | Auction/Auction-sum/ Auction-sum-decay500_c18.xml |
| MD5SUM | d1d7e4f351cab0858660dafd89ccc193 |
| Bench Category | COP (optimization problem) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 2700422 |
| Best CPU time to get the best result obtained on this benchmark | 2520.13 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 2000 |
| Number of constraints | 500 |
| Number of domains | 1 |
| Minimum domain size | 2 |
| Maximum domain size | 2 |
| Distribution of domain sizes | [{"size":2,"count":2000}] |
| Minimum variable degree | 2 |
| Maximum variable degree | 37 |
| Distribution of variable degrees | [{"degree":2,"count":333},{"degree":3,"count":393},{"degree":4,"count":273},{"degree":5,"count":211},{"degree":6,"count":187},{"degree":7,"count":130},{"degree":8,"count":107},{"degree":9,"count":78},{"degree":10,"count":58},{"degree":11,"count":59},{"degree":12,"count":30},{"degree":13,"count":31},{"degree":14,"count":23},{"degree":15,"count":16},{"degree":16,"count":16},{"degree":17,"count":13},{"degree":18,"count":7},{"degree":19,"count":4},{"degree":20,"count":11},{"degree":21,"count":4},{"degree":22,"count":4},{"degree":23,"count":2},{"degree":24,"count":1},{"degree":25,"count":4},{"degree":26,"count":1},{"degree":28,"count":1},{"degree":32,"count":1},{"degree":33,"count":1},{"degree":37,"count":1}] |
| Minimum constraint arity | 7 |
| Maximum constraint arity | 42 |
| Distribution of constraint arities | [{"arity":7,"count":1},{"arity":9,"count":1},{"arity":10,"count":4},{"arity":11,"count":8},{"arity":12,"count":14},{"arity":13,"count":22},{"arity":14,"count":33},{"arity":15,"count":32},{"arity":16,"count":29},{"arity":17,"count":48},{"arity":18,"count":48},{"arity":19,"count":45},{"arity":20,"count":38},{"arity":21,"count":36},{"arity":22,"count":32},{"arity":23,"count":21},{"arity":24,"count":21},{"arity":25,"count":28},{"arity":26,"count":18},{"arity":27,"count":4},{"arity":28,"count":7},{"arity":29,"count":4},{"arity":30,"count":2},{"arity":31,"count":1},{"arity":32,"count":1},{"arity":34,"count":1},{"arity":42,"count":1}] |
| Number of extensional constraints | 0 |
| Number of intensional constraints | 0 |
| Distribution of constraint types | [{"type":"sum","count":500}] |
| Optimization problem | YES |
| Type of objective | max SUM |
0.12/0.13 c version: 2018-04-11 0.12/0.13 c seed: 1811631 0.12/0.13 c timeout: -1 0.12/0.13 c memlimit: -1 0.12/0.13 c nbcore: -1 2.78/1.69 o 0 2.78/1.69 o 11303 2.78/1.69 o 17675 2.78/1.69 o 28978 2.90/1.70 o 37490 2.90/1.70 o 39144 2.90/1.70 o 47656 2.90/1.71 o 48888 2.90/1.71 o 50403 2.90/1.71 o 52057 2.90/1.71 o 60569 2.90/1.72 o 61801 2.90/1.72 o 67499 2.90/1.72 o 68731 2.90/1.72 o 71900 2.90/1.72 o 80412 2.90/1.73 o 81644 2.90/1.73 o 82465 2.90/1.73 o 90977 2.90/1.73 o 92209 2.90/1.73 o 99636 2.90/1.73 o 100868 2.90/1.73 o 101689 2.90/1.74 o 110201 2.90/1.74 o 111433 2.90/1.74 o 111496 2.90/1.75 o 114998 2.90/1.75 o 116230 2.90/1.75 o 116293 2.90/1.76 o 117375 2.90/1.77 o 117438 2.90/1.77 o 119399 2.90/1.77 o 120631 2.90/1.78 o 120694 2.90/1.78 o 124196 2.90/1.78 o 125428 2.90/1.78 o 125491 2.90/1.79 o 126573 2.90/1.80 o 126636 3.18/1.80 o 129974 3.18/1.80 o 131206 3.18/1.81 o 131269 3.18/1.81 o 134771 3.18/1.81 o 136003 3.18/1.81 o 136066 3.18/1.82 o 137148 3.18/1.83 o 137211 3.18/1.83 o 139172 3.18/1.83 o 140404 3.18/1.83 o 140467 3.18/1.84 o 143969 3.18/1.84 o 145201 3.18/1.84 o 145264 3.18/1.85 o 146346 3.18/1.85 o 146409 3.38/1.94 o 148727 3.38/1.94 o 149959 3.38/1.95 o 150022 3.38/1.95 o 151104 3.38/1.95 o 151167 3.38/1.97 o 151562 3.38/1.97 o 152794 3.38/1.97 o 152857 3.38/1.97 o 153939 3.38/1.98 o 154002 3.38/1.98 o 155007 3.38/1.98 o 156239 3.38/1.98 o 156302 3.38/1.99 o 157384 3.38/1.99 o 157447 3.38/2.00 o 164205 3.38/2.00 o 165437 3.38/2.00 o 165500 3.38/2.00 o 166582 3.38/2.01 o 166645 3.51/2.02 o 167040 3.51/2.02 o 168272 3.51/2.02 o 168335 3.51/2.03 o 169417 3.51/2.03 o 169480 3.51/2.10 o 173062 3.51/2.10 o 174294 3.51/2.10 o 174357 3.51/2.10 o 175439 3.63/2.11 o 175502 3.63/2.12 o 175897 3.63/2.12 o 177129 3.63/2.12 o 177192 3.63/2.13 o 178274 3.63/2.13 o 178337 3.72/2.21 o 178560 3.72/2.22 o 178623 3.82/2.34 o 182186 3.82/2.34 o 183418 3.82/2.34 o 183481 3.82/2.34 o 184563 3.82/2.35 o 184626 3.82/2.36 o 185021 3.82/2.36 o 186253 3.82/2.37 o 186316 3.82/2.37 o 187398 3.82/2.37 o 187461 3.93/2.45 o 187684 3.93/2.46 o 187747 4.13/2.66 o 188030 4.13/2.66 o 188093 4.13/2.67 o 189175 4.13/2.67 o 189238 4.23/2.73 o 192820 4.23/2.73 o 194052 4.23/2.73 o 194115 4.23/2.74 o 195197 4.23/2.74 o 195260 4.23/2.76 o 195655 4.23/2.76 o 196887 4.23/2.76 o 196950 4.23/2.76 o 198032 4.23/2.76 o 198095 4.33/2.85 o 198318 4.33/2.85 o 198381 4.43/2.97 o 201944 4.43/2.97 o 203176 4.43/2.97 o 203239 4.43/2.97 o 204321 4.43/2.98 o 204384 4.43/2.99 o 204779 4.43/2.99 o 206011 4.43/2.99 o 206074 4.43/3.00 o 207156 4.43/3.00 o 207219 4.54/3.08 o 207442 4.54/3.08 o 207505 5.02/3.41 o 207518 5.02/3.41 o 207581 5.74/4.16 o 210129 5.74/4.16 o 211361 5.74/4.16 o 211424 5.74/4.16 o 212506 5.74/4.17 o 212569 5.74/4.18 o 212964 5.74/4.18 o 214196 5.74/4.18 o 214259 5.74/4.19 o 215341 5.74/4.19 o 215404 5.83/4.27 o 215627 5.83/4.27 o 215690 5.93/4.39 o 219253 5.93/4.39 o 220485 5.93/4.39 o 220548 6.03/4.40 o 221630 6.03/4.40 o 221693 6.03/4.42 o 222088 6.03/4.42 o 223320 6.03/4.42 o 223383 6.03/4.42 o 224465 6.03/4.43 o 224528 6.14/4.51 o 224751 6.14/4.51 o 224814 6.46/4.83 o 224827 6.46/4.83 o 224890 8.14/6.47 o 225082 8.14/6.48 o 226314 8.14/6.48 o 226377 8.14/6.48 o 227459 8.14/6.48 o 227522 8.24/6.54 o 227726 8.24/6.54 o 227789 8.34/6.60 o 231371 8.34/6.60 o 232603 8.34/6.61 o 232666 8.34/6.61 o 233748 8.34/6.61 o 233811 8.34/6.63 o 234206 8.34/6.63 o 235438 8.34/6.63 o 235501 8.34/6.63 o 236583 8.34/6.64 o 236646 8.54/6.80 o 236659 8.54/6.80 o 236722 9.54/7.87 o 238571 9.54/7.87 o 239803 9.54/7.87 o 239866 9.54/7.88 o 241406 9.54/7.88 o 242638 9.54/7.89 o 242701 9.64/7.93 o 242714 9.64/7.93 o 242777 10.54/8.85 o 243878 10.54/8.85 o 245110 10.54/8.85 o 245173 10.54/8.86 o 245186 10.54/8.86 o 245249 11.57/9.87 o 245608 11.57/9.87 o 246840 11.57/9.87 o 246903 11.57/9.87 o 247985 11.57/9.88 o 248048 11.67/9.96 o 248271 11.67/9.96 o 248334 11.77/10.08 o 251897 11.77/10.08 o 253129 11.77/10.08 o 253192 11.77/10.08 o 254274 11.77/10.09 o 254337 11.77/10.10 o 254732 11.77/10.10 o 255964 11.77/10.10 o 256027 11.87/10.11 o 257109 11.87/10.11 o 257172 11.87/10.19 o 257395 11.87/10.19 o 257458 12.27/10.51 o 257471 12.27/10.51 o 257534 13.57/11.84 o 259097 13.57/11.84 o 260329 13.57/11.85 o 260392 13.57/11.85 o 261932 13.57/11.85 o 263164 13.57/11.86 o 263227 13.57/11.89 o 263450 13.57/11.89 o 263513 13.67/11.97 o 263526 13.67/11.97 o 263589 14.67/12.98 o 264404 14.67/12.98 o 265636 14.67/12.99 o 265699 14.67/13.00 o 265922 14.67/13.00 o 265985 14.78/13.02 o 265998 14.78/13.02 o 266061 17.48/15.71 o 267252 17.48/15.71 o 267315 17.48/15.73 o 267538 17.48/15.73 o 267601 17.48/15.75 o 267614 17.48/15.75 o 267677 19.08/17.38 o 268620 19.08/17.38 o 268683 19.18/17.43 o 268696 19.18/17.43 o 268759 20.08/18.33 o 269860 20.08/18.33 o 271092 20.08/18.33 o 271155 20.08/18.35 o 271168 20.08/18.35 o 271231 21.08/19.34 o 271590 21.08/19.34 o 272822 21.08/19.34 o 272885 21.08/19.34 o 273967 21.08/19.35 o 274030 21.18/19.43 o 274253 21.18/19.43 o 274316 21.28/19.55 o 277879 21.28/19.55 o 279111 21.28/19.55 o 279174 21.28/19.55 o 280256 21.28/19.56 o 280319 21.28/19.57 o 280714 21.28/19.57 o 281946 21.28/19.57 o 282009 21.28/19.58 o 283091 21.28/19.58 o 283154 21.38/19.66 o 283377 21.38/19.66 o 283440 21.68/19.98 o 283453 21.68/19.98 o 283516 23.08/21.31 o 285079 23.08/21.31 o 286311 23.08/21.31 o 286374 23.08/21.32 o 287914 23.08/21.32 o 289146 23.08/21.32 o 289209 23.08/21.35 o 289432 23.08/21.36 o 289495 23.19/21.44 o 289508 23.19/21.44 o 289571 24.19/22.45 o 290386 24.19/22.45 o 291618 24.19/22.45 o 291681 24.19/22.47 o 291904 24.19/22.47 o 291967 24.19/22.49 o 291980 24.19/22.49 o 292043 26.91/25.19 o 293234 26.91/25.19 o 293297 27.00/25.21 o 293520 27.00/25.21 o 293583 27.00/25.23 o 293596 27.00/25.23 o 293659 29.60/27.84 o 294519 29.60/27.85 o 295751 29.60/27.85 o 295814 29.60/27.86 o 296037 29.60/27.86 o 296100 29.70/27.92 o 296113 29.70/27.92 o 296176 30.50/28.76 o 296991 30.50/28.76 o 298223 30.50/28.76 o 298286 30.50/28.78 o 298509 30.50/28.78 o 298572 30.60/28.80 o 298585 30.60/28.80 o 298648 32.60/30.81 o 299839 32.60/30.81 o 299902 32.60/30.82 o 300125 32.60/30.82 o 300188 32.60/30.84 o 300201 32.60/30.84 o 300264 39.10/37.31 o 301155 39.10/37.31 o 301218 39.10/37.31 o 302300 39.10/37.32 o 302363 39.10/37.34 o 302758 39.10/37.34 o 303990 39.10/37.34 o 304053 39.10/37.34 o 305135 39.10/37.35 o 305198 39.23/37.43 o 305421 39.23/37.43 o 305484 39.53/37.76 o 305497 39.53/37.76 o 305560 40.94/39.13 o 307123 40.94/39.13 o 308355 40.94/39.13 o 308418 40.94/39.14 o 309958 40.94/39.14 o 311190 40.94/39.15 o 311253 40.94/39.18 o 311476 40.94/39.18 o 311539 41.03/39.27 o 311552 41.03/39.27 o 311615 42.13/40.31 o 312430 42.13/40.31 o 313662 42.13/40.31 o 313725 42.13/40.33 o 313948 42.13/40.33 o 314011 42.13/40.35 o 314024 42.13/40.35 o 314087 44.94/43.11 o 315278 44.94/43.11 o 315341 44.94/43.13 o 315564 44.94/43.13 o 315627 44.94/43.15 o 315640 44.94/43.15 o 315703 47.63/45.82 o 316563 47.63/45.82 o 317795 47.63/45.82 o 317858 47.63/45.84 o 318081 47.63/45.84 o 318144 47.73/45.90 o 318157 47.73/45.90 o 318220 48.53/46.76 o 319035 48.53/46.76 o 320267 48.53/46.76 o 320330 48.53/46.77 o 320553 48.53/46.77 o 320616 48.53/46.80 o 320629 48.53/46.80 o 320692 50.63/48.85 o 321883 50.63/48.85 o 321946 50.63/48.87 o 322169 50.63/48.87 o 322232 50.63/48.89 o 322245 50.63/48.89 o 322308 55.33/53.58 o 322974 55.33/53.58 o 323037 55.43/53.61 o 323260 55.43/53.61 o 323323 55.43/53.65 o 323336 55.43/53.65 o 323399 56.13/54.34 o 323629 56.13/54.34 o 324861 56.13/54.34 o 324924 56.13/54.37 o 325147 56.13/54.37 o 325210 56.23/54.42 o 325223 56.23/54.42 o 325286 56.53/54.71 o 326731 56.53/54.71 o 327963 56.53/54.71 o 328026 56.53/54.74 o 328249 56.53/54.74 o 328312 56.53/54.78 o 328325 56.53/54.78 o 328388 57.24/55.45 o 329579 57.24/55.45 o 329642 57.24/55.48 o 329865 57.24/55.48 o 329928 57.34/55.52 o 329941 57.34/55.52 o 330004 73.35/71.59 o 330249 73.35/71.59 o 330312 73.35/71.59 o 331394 73.45/71.60 o 331457 73.45/71.68 o 331680 73.45/71.68 o 331743 73.75/71.99 o 331756 73.75/71.99 o 331819 75.15/73.33 o 333382 75.15/73.33 o 334614 75.15/73.33 o 334677 75.15/73.34 o 336217 75.15/73.34 o 337449 75.15/73.34 o 337512 75.15/73.37 o 337735 75.15/73.37 o 337798 75.25/73.46 o 337811 75.25/73.46 o 337874 76.25/74.47 o 338689 76.25/74.47 o 339921 76.25/74.47 o 339984 76.25/74.48 o 340207 76.25/74.49 o 340270 76.35/74.51 o 340283 76.35/74.51 o 340346 78.96/77.18 o 341537 78.96/77.18 o 341600 79.05/77.20 o 341823 79.05/77.20 o 341886 79.05/77.22 o 341899 79.05/77.22 o 341962 81.67/79.82 o 342822 81.67/79.82 o 344054 81.67/79.82 o 344117 81.67/79.83 o 344340 81.67/79.83 o 344403 81.67/79.90 o 344416 81.67/79.90 o 344479 82.57/80.72 o 345294 82.57/80.72 o 346526 82.57/80.73 o 346589 82.57/80.74 o 346812 82.57/80.74 o 346875 82.57/80.76 o 346888 82.57/80.76 o 346951 84.57/82.75 o 348142 84.57/82.76 o 348205 84.57/82.77 o 348428 84.57/82.77 o 348491 84.57/82.79 o 348504 84.57/82.79 o 348567 89.18/87.38 o 349233 89.18/87.38 o 349296 89.28/87.41 o 349519 89.28/87.41 o 349582 89.28/87.45 o 349595 89.28/87.45 o 349658 89.99/88.14 o 349888 89.99/88.14 o 351120 89.99/88.14 o 351183 89.99/88.17 o 351406 89.99/88.17 o 351469 90.08/88.21 o 351482 90.08/88.21 o 351545 90.38/88.51 o 352990 90.38/88.51 o 354222 90.38/88.51 o 354285 90.38/88.54 o 354508 90.38/88.54 o 354571 90.38/88.58 o 354584 90.38/88.58 o 354647 91.08/89.25 o 355838 91.08/89.25 o 355901 91.08/89.28 o 356124 91.08/89.28 o 356187 91.18/89.32 o 356200 91.18/89.32 o 356263 114.80/112.97 o 356306 114.80/112.98 o 356529 114.80/112.98 o 356592 114.91/113.04 o 357483 114.91/113.04 o 358715 114.91/113.04 o 358778 114.91/113.04 o 359001 114.91/113.04 o 359064 115.10/113.21 o 359099 115.10/113.21 o 360331 115.10/113.21 o 360394 115.10/113.21 o 360617 115.10/113.21 o 360680 155.71/153.84 o 361112 155.71/153.84 o 362344 155.71/153.84 o 362407 155.71/153.84 o 362630 155.71/153.84 o 362693 155.92/154.01 o 362728 155.92/154.01 o 363960 155.92/154.01 o 364023 155.92/154.01 o 364246 155.92/154.01 o 364309 158.22/156.35 o 365393 158.22/156.35 o 365456 158.22/156.35 o 365679 158.22/156.35 o 365742 158.22/156.35 o 365755 158.22/156.35 o 365818 159.52/157.63 o 365828 159.52/157.63 o 365841 159.52/157.64 o 365904 159.62/157.74 o 367095 159.62/157.74 o 367158 159.62/157.74 o 367381 159.62/157.74 o 367444 159.62/157.75 o 367457 159.62/157.75 o 367520 161.83/159.90 o 367692 161.83/159.90 o 367755 161.83/159.90 o 367768 161.83/159.90 o 367831 161.83/159.94 o 369022 161.83/159.94 o 369085 161.83/159.94 o 369308 161.83/159.94 o 369371 161.83/159.94 o 369384 161.83/159.94 o 369447 163.04/161.19 o 369457 163.04/161.20 o 369470 163.13/161.20 o 369533 163.23/161.32 o 370724 163.23/161.32 o 370787 163.23/161.33 o 371010 163.23/161.33 o 371073 163.23/161.33 o 371086 163.23/161.33 o 371149 217.15/215.20 o 371874 217.15/215.20 o 372160 217.15/215.20 o 372236 219.15/217.25 o 372471 219.15/217.25 o 372547 219.15/217.28 o 372569 219.15/217.28 o 373801 219.15/217.29 o 374087 219.15/217.29 o 374163 220.55/218.61 o 374173 220.55/218.61 o 374249 220.65/218.71 o 374271 220.65/218.71 o 375503 220.65/218.71 o 375789 220.65/218.71 o 375865 258.17/256.25 o 376700 258.17/256.26 o 376986 258.17/256.26 o 377062 311.90/309.95 o 377694 311.90/309.95 o 377757 311.90/309.95 o 377980 311.90/309.95 o 378043 312.01/310.03 o 378078 312.01/310.04 o 379310 312.01/310.04 o 379373 312.01/310.04 o 379596 312.01/310.04 o 379659 312.80/310.85 o 380743 312.80/310.85 o 380806 312.80/310.85 o 381029 312.80/310.85 o 381092 312.80/310.85 o 381105 312.80/310.86 o 381168 313.40/311.49 o 381178 313.40/311.49 o 381191 313.40/311.49 o 381254 313.50/311.54 o 382445 313.50/311.54 o 382508 313.50/311.54 o 382731 313.50/311.54 o 382794 313.50/311.54 o 382807 313.50/311.54 o 382870 314.30/312.31 o 383042 314.30/312.31 o 383105 314.30/312.31 o 383118 314.30/312.31 o 383181 314.30/312.32 o 384372 314.30/312.32 o 384435 314.30/312.32 o 384658 314.30/312.32 o 384721 314.30/312.32 o 384734 314.30/312.32 o 384797 314.80/312.82 o 384807 314.80/312.82 o 384820 314.80/312.82 o 384883 314.80/312.87 o 386074 314.80/312.87 o 386137 314.80/312.87 o 386360 314.80/312.87 o 386423 314.80/312.87 o 386436 314.80/312.87 o 386499 336.71/334.72 o 387224 336.71/334.72 o 387510 336.71/334.72 o 387586 337.41/335.48 o 387821 337.41/335.49 o 387897 337.51/335.50 o 387919 337.51/335.50 o 389151 337.51/335.50 o 389437 337.51/335.50 o 389513 337.91/336.00 o 389523 337.91/336.00 o 389599 338.02/336.05 o 389621 338.02/336.05 o 390853 338.02/336.05 o 391139 338.02/336.05 o 391215 351.52/349.56 o 392050 351.52/349.56 o 392336 351.52/349.56 o 392412 427.97/425.97 o 392690 427.97/425.97 o 392766 627.04/624.87 o 392916 627.04/624.87 o 393202 627.04/624.87 o 393278 640.65/638.46 o 394113 640.65/638.46 o 394399 640.65/638.46 o 394475 717.52/715.27 o 394753 717.52/715.27 o 394829 835.55/833.11 o 395785 835.55/833.11 o 396071 835.55/833.11 o 396147 838.15/835.77 o 396982 838.15/835.77 o 397268 838.15/835.77 o 397344 839.35/836.92 o 397976 839.35/836.92 o 398039 839.35/836.92 o 398262 839.35/836.92 o 398325 839.35/836.94 o 398360 839.35/836.94 o 399592 839.35/836.94 o 399655 839.35/836.94 o 399878 839.35/836.94 o 399941 839.35/836.99 o 401025 839.35/836.99 o 401088 839.35/836.99 o 401311 839.35/836.99 o 401374 839.35/836.99 o 401387 839.35/836.99 o 401450 839.35/837.00 o 401460 839.46/837.01 o 401473 839.46/837.01 o 401536 839.46/837.01 o 402727 839.46/837.01 o 402790 839.46/837.01 o 403013 839.46/837.01 o 403076 839.46/837.01 o 403089 839.46/837.01 o 403152 839.46/837.05 o 403324 839.46/837.05 o 403387 839.46/837.05 o 403400 839.46/837.05 o 403463 839.46/837.06 o 404654 839.46/837.06 o 404717 839.46/837.06 o 404940 839.46/837.06 o 405003 839.46/837.06 o 405016 839.46/837.06 o 405079 839.46/837.08 o 405089 839.46/837.08 o 405102 839.46/837.08 o 405165 839.46/837.08 o 406356 839.46/837.08 o 406419 839.46/837.08 o 406642 839.46/837.08 o 406705 839.46/837.08 o 406718 839.46/837.08 o 406781 840.15/837.74 o 407506 840.15/837.74 o 407792 840.15/837.74 o 407868 840.15/837.78 o 408103 840.15/837.78 o 408179 840.15/837.78 o 408201 840.15/837.78 o 409433 840.15/837.78 o 409719 840.15/837.78 o 409795 840.25/837.80 o 409805 840.25/837.80 o 409881 840.25/837.81 o 409903 840.25/837.81 o 411135 840.25/837.81 o 411421 840.25/837.81 o 411497 841.05/838.68 o 412332 841.05/838.68 o 412618 841.05/838.69 o 412694 842.35/839.98 o 412972 842.35/839.98 o 413048 848.36/845.96 o 413198 848.36/845.96 o 413484 848.36/845.96 o 413560 849.16/846.74 o 414395 849.16/846.74 o 414681 849.16/846.74 o 414757 850.47/848.03 o 415035 850.47/848.03 o 415111 1059.61/1056.90 o 415306 1059.61/1056.90 o 415592 1059.61/1056.90 o 415668 1059.61/1056.92 o 415678 1059.61/1056.92 o 415754 1059.61/1056.93 o 415776 1059.61/1056.93 o 417008 1059.61/1056.93 o 417294 1059.61/1056.93 o 417370 1060.31/1057.69 o 418205 1060.31/1057.69 o 418491 1060.31/1057.69 o 418567 1061.61/1058.98 o 418845 1061.61/1058.98 o 418921 1067.62/1064.99 o 419071 1067.62/1064.99 o 419357 1067.62/1064.99 o 419433 1068.42/1065.74 o 420268 1068.42/1065.74 o 420554 1068.42/1065.74 o 420630 1069.73/1067.05 o 420908 1069.73/1067.05 o 420984 1170.23/1167.43 o 421701 1170.23/1167.43 o 421987 1170.23/1167.43 o 422063 1247.72/1244.85 o 422341 1247.72/1244.85 o 422417 1450.24/1447.14 o 422567 1450.24/1447.14 o 422853 1450.24/1447.15 o 422929 1464.05/1460.99 o 423764 1464.05/1460.99 o 424050 1464.05/1460.99 o 424126 1541.63/1538.41 o 424404 1541.63/1538.41 o 424480 1659.85/1656.50 o 425436 1659.85/1656.51 o 425722 1659.85/1656.51 o 425798 1662.36/1659.02 o 426633 1662.36/1659.02 o 426919 1662.36/1659.03 o 426995 1663.46/1660.17 o 427627 1663.46/1660.17 o 427690 1663.46/1660.17 o 427913 1663.46/1660.17 o 427976 1663.56/1660.20 o 428011 1663.56/1660.20 o 429243 1663.56/1660.20 o 429306 1663.56/1660.20 o 429529 1663.56/1660.20 o 429592 1663.56/1660.26 o 430676 1663.56/1660.26 o 430739 1663.56/1660.27 o 430962 1663.56/1660.27 o 431025 1663.56/1660.27 o 431038 1663.56/1660.27 o 431101 1663.56/1660.29 o 431111 1663.56/1660.29 o 431124 1663.56/1660.29 o 431187 1663.56/1660.30 o 432378 1663.56/1660.30 o 432441 1663.66/1660.30 o 432664 1663.66/1660.30 o 432727 1663.66/1660.30 o 432740 1663.66/1660.30 o 432803 1663.66/1660.35 o 432975 1663.66/1660.35 o 433038 1663.66/1660.35 o 433051 1663.66/1660.35 o 433114 1663.66/1660.36 o 434305 1663.66/1660.36 o 434368 1663.66/1660.36 o 434591 1663.66/1660.36 o 434654 1663.66/1660.36 o 434667 1663.66/1660.36 o 434730 1663.66/1660.38 o 434740 1663.66/1660.38 o 434753 1663.66/1660.38 o 434816 1663.66/1660.38 o 436007 1663.66/1660.38 o 436070 1663.66/1660.38 o 436293 1663.66/1660.38 o 436356 1663.66/1660.38 o 436369 1663.66/1660.38 o 436432 1664.37/1661.06 o 437157 1664.37/1661.06 o 437443 1664.37/1661.06 o 437519 1664.37/1661.10 o 437754 1664.37/1661.10 o 437830 1664.47/1661.11 o 437852 1664.47/1661.11 o 439084 1664.47/1661.11 o 439370 1664.47/1661.11 o 439446 1664.47/1661.13 o 439456 1664.47/1661.13 o 439532 1664.47/1661.13 o 439554 1664.47/1661.13 o 440786 1664.47/1661.13 o 441072 1664.47/1661.13 o 441148 1665.17/1661.89 o 441983 1665.17/1661.89 o 442269 1665.17/1661.89 o 442345 1666.48/1663.18 o 442623 1666.48/1663.18 o 442699 1672.57/1669.20 o 442849 1672.57/1669.20 o 443135 1672.57/1669.20 o 443211 1673.28/1669.96 o 444046 1673.28/1669.96 o 444332 1673.28/1669.96 o 444408 1674.57/1671.25 o 444686 1674.57/1671.25 o 444762 1883.62/1880.07 o 444957 1883.62/1880.07 o 445243 1883.62/1880.07 o 445319 1883.62/1880.09 o 445329 1883.62/1880.09 o 445405 1883.62/1880.10 o 445427 1883.62/1880.10 o 446659 1883.62/1880.10 o 446945 1883.62/1880.10 o 447021 1884.41/1880.85 o 447856 1884.41/1880.85 o 448142 1884.41/1880.85 o 448218 1885.81/1882.25 o 448496 1885.81/1882.25 o 448572 1891.73/1888.15 o 448722 1891.73/1888.15 o 449008 1891.73/1888.15 o 449084 1892.52/1888.91 o 449919 1892.52/1888.91 o 450205 1892.52/1888.91 o 450281 1893.92/1890.33 o 450559 1893.92/1890.33 o 450635 2202.66/2198.70 o 450925 2202.66/2198.70 o 450988 2202.66/2198.70 o 451211 2202.66/2198.70 o 451274 2202.66/2198.70 o 451287 2202.66/2198.70 o 451350 2202.66/2198.73 o 451706 2202.66/2198.73 o 452938 2202.66/2198.73 o 453001 2202.66/2198.73 o 453224 2202.66/2198.73 o 453287 2202.66/2198.73 o 453300 2202.66/2198.73 o 453363 2202.66/2198.73 o 454554 2202.66/2198.73 o 454617 2202.66/2198.73 o 454840 2202.66/2198.74 o 454903 2202.66/2198.74 o 454916 2202.66/2198.74 o 454979 2202.97/2199.06 o 455704 2202.97/2199.06 o 455990 2202.97/2199.06 o 456066 2202.97/2199.09 o 456485 2202.97/2199.09 o 457717 2202.97/2199.09 o 458003 2202.97/2199.09 o 458079 2202.97/2199.09 o 458101 2202.97/2199.09 o 459333 2202.97/2199.09 o 459619 2202.97/2199.09 o 459695 2203.56/2199.63 o 460530 2203.56/2199.63 o 460816 2203.56/2199.63 o 460892 2204.27/2200.31 o 461170 2204.27/2200.31 o 461246 2206.47/2202.53 o 461396 2206.47/2202.53 o 461682 2206.47/2202.53 o 461758 2206.87/2202.94 o 462593 2206.87/2202.94 o 462879 2206.87/2202.94 o 462955 2207.57/2203.67 o 463233 2207.57/2203.67 o 463309 2346.92/2342.83 o 463590 2346.92/2342.83 o 463876 2346.92/2342.83 o 463952 2346.92/2342.83 o 463974 2346.92/2342.83 o 465206 2346.92/2342.83 o 465492 2346.92/2342.83 o 465568 2347.32/2343.24 o 466403 2347.32/2343.24 o 466689 2347.32/2343.24 o 466765 2348.02/2343.90 o 467043 2348.02/2343.90 o 467119 2350.33/2346.27 o 467269 2350.33/2346.27 o 467555 2350.33/2346.27 o 467631 2350.73/2346.68 o 468466 2350.73/2346.68 o 468752 2350.73/2346.68 o 468828 2351.33/2347.29 o 469106 2351.33/2347.29 o 469182 2520.04/2515.70 s SATISFIABLE 2520.04/2515.71 v <instantiation> 2520.04/2515.71 v <list> 2520.04/2515.71 v b[0] b[1] b[2] b[3] b[4] b[5] b[6] b[7] b[8] b[9] b[10] b[11] b[12] b[13] b[14] b[15] b[16] b[17] b[18] b[19] b[20] b[21] b[22] b[23] b[24] b[25] b[26] b[27] b[28] b[29] b[30] b[31] b[32] b[33] b[34] b[35] b[36] b[37] b[38] b[39] b[40] b[41] b[42] b[43] b[44] b[45] b[46] b[47] b[48] b[49] b[50] b[51] b[52] b[53] b[54] b[55] b[56] b[57] b[58] b[59] b[60] b[61] b[62] b[63] b[64] b[65] b[66] b[67] b[68] b[69] b[70] b[71] b[72] b[73] b[74] b[75] b[76] b[77] b[78] b[79] b[80] b[81] b[82] b[83] b[84] b[85] b[86] b[87] b[88] b[89] b[90] b[91] b[92] b[93] b[94] b[95] b[96] b[97] b[98] b[99] b[100] b[101] b[102] b[103] b[104] b[105] b[106] b[107] b[108] b[109] b[110] b[111] b[112] b[113] b[114] b[115] b[116] b[117] b[118] b[119] b[120] b[121] b[122] b[123] b[124] b[125] b[126] b[127] b[128] b[129] b[130] b[131] b[132] b[133] b[134] b[135] b[136] b[137] b[138] b[139] b[140] b[141] b[142] b[143] b[144] b[145] b[146] b[147] b[148] b[149] b[150] b[151] b[152] b[153] b[154] b[155] b[156] b[157] b[158] b[159] b[160] b[161] b[162] b[163] b[164] b[165] b[166] b[167] b[168] b[169] b[170] b[171] b[172] b[173] b[174] b[175] b[176] b[177] b[178] b[179] b[180] b[181] b[182] b[183] b[184] b[185] b[186] b[187] b[188] b[189] b[190] b[191] b[192] b[193] b[194] b[195] b[196] b[197] b[198] b[199] b[200] b[201] b[202] b[203] b[204] b[205] b[206] b[207] b[208] b[209] b[210] b[211] b[212] b[213] b[214] b[215] b[216] b[217] b[218] b[219] b[220] b[221] b[222] b[223] b[224] b[225] b[226] b[227] b[228] b[229] b[230] b[231] b[232] b[233] b[234] b[235] b[236] b[237] b[238] b[239] b[240] b[241] b[242] b[243] b[244] b[245] b[246] b[247] b[248] b[249] b[250] b[251] b[252] b[253] b[254] b[255] b[256] b[257] b[258] b[259] b[260] b[261] b[262] b[263] b[264] b[265] b[266] b[267] b[268] b[269] b[270] b[271] b[272] b[273] b[274] b[275] b[276] b[277] b[278] b[279] b[280] b[281] b[282] b[283] b[284] b[285] b[286] b[287] b[288] b[289] b[290] b[291] b[292] b[293] b[294] b[295] b[296] b[297] b[298] b[299] b[300] b[301] b[302] b[303] b[304] b[305] b[306] b[307] b[308] b[309] b[310] b[311] b[312] b[313] b[314] b[315] b[316] b[317] b[318] b[319] b[320] b[321] b[322] b[323] b[324] b[325] b[326] b[327] b[328] b[329] b[330] b[331] b[332] b[333] b[334] b[335] b[336] b[337] b[338] b[339] b[340] b[341] b[342] b[343] b[344] b[345] b[346] b[347] b[348] b[349] b[350] b[351] b[352] b[353] b[354] b[355] b[356] b[357] b[358] b[359] b[360] b[361] b[362] b[363] b[364] b[365] b[366] b[367] b[368] b[369] b[370] b[371] b[372] b[373] b[374] b[375] b[376] b[377] b[378] b[379] b[380] b[381] b[382] b[383] b[384] b[385] b[386] b[387] b[388] b[389] b[390] b[391] b[392] b[393] b[394] b[395] b[396] b[397] b[398] b[399] b[400] b[401] b[402] b[403] b[404] b[405] b[406] b[407] b[408] b[409] b[410] b[411] b[412] b[413] b[414] b[415] b[416] b[417] b[418] b[419] b[420] b[421] b[422] b[423] b[424] b[425] b[426] b[427] b[428] b[429] b[430] b[431] b[432] b[433] b[434] b[435] b[436] b[437] b[438] b[439] b[440] b[441] b[442] b[443] b[444] b[445] b[446] b[447] b[448] b[449] b[450] b[451] b[452] b[453] b[454] b[455] b[456] b[457] b[458] b[459] b[460] b[461] b[462] b[463] b[464] b[465] b[466] b[467] b[468] b[469] b[470] b[471] b[472] b[473] b[474] b[475] b[476] b[477] b[478] b[479] b[480] b[481] b[482] b[483] b[484] b[485] b[486] b[487] b[488] b[489] b[490] b[491] b[492] b[493] b[494] b[495] b[496] b[497] b[498] b[499] b[500] b[501] b[502] b[503] b[504] b[505] b[506] b[507] b[508] b[509] b[510] b[511] b[512] b[513] b[514] b[515] b[516] b[517] b[518] b[519] b[520] b[521] b[522] b[523] b[524] b[525] b[526] b[527] b[528] b[529] b[530] b[531] b[532] b[533] b[534] b[535] b[536] b[537] b[538] b[539] b[540] b[541] b[542] b[543] b[544] b[545] b[546] b[547] b[548] b[549] b[550] b[551] b[552] b[553] b[554] b[555] b[556] b[557] b[558] b[559] b[560] b[561] b[562] b[563] b[564] b[565] b[566] b[567] b[568] b[569] b[570] b[571] b[572] b[573] b[574] b[575] b[576] b[577] b[578] b[579] b[580] b[581] b[582] b[583] b[584] b[585] b[586] b[587] b[588] b[589] b[590] b[591] b[592] b[593] b[594] b[595] b[596] b[597] b[598] b[599] b[600] b[601] b[602] b[603] b[604] b[605] b[606] b[607] b[608] b[609] b[610] b[611] b[612] b[613] b[614] b[615] b[616] b[617] b[618] b[619] b[620] b[621] b[622] b[623] b[624] b[625] b[626] b[627] b[628] b[629] b[630] b[631] b[632] b[633] b[634] b[635] b[636] b[637] b[638] b[639] b[640] b[641] b[642] b[643] b[644] b[645] b[646] b[647] b[648] b[649] b[650] b[651] b[652] b[653] b[654] b[655] b[656] b[657] b[658] b[659] b[660] b[661] b[662] b[663] b[664] b[665] b[666] b[667] b[668] b[669] b[670] b[671] b[672] b[673] b[674] b[675] b[676] b[677] b[678] b[679] b[680] b[681] b[682] b[683] b[684] b[685] b[686] b[687] b[688] b[689] b[690] b[691] b[692] b[693] b[694] b[695] b[696] b[697] b[698] b[699] b[700] b[701] b[702] b[703] b[704] b[705] b[706] b[707] b[708] b[709] b[710] b[711] b[712] b[713] b[714] b[715] b[716] b[717] b[718] b[719] b[720] b[721] b[722] b[723] b[724] b[725] b[726] b[727] b[728] b[729] b[730] b[731] b[732] b[733] b[734] b[735] b[736] b[737] b[738] b[739] b[740] b[741] b[742] b[743] b[744] b[745] b[746] b[747] b[748] b[749] b[750] b[751] b[752] b[753] b[754] b[755] b[756] b[757] b[758] b[759] b[760] b[761] b[762] b[763] b[764] b[765] b[766] b[767] b[768] b[769] b[770] b[771] b[772] b[773] b[774] b[775] b[776] b[777] b[778] b[779] b[780] b[781] b[782] b[783] b[784] b[785] b[786] b[787] b[788] b[789] b[790] b[791] b[792] b[793] b[794] b[795] b[796] b[797] b[798] b[799] b[800] b[801] b[802] b[803] b[804] b[805] b[806] b[807] b[808] b[809] b[810] b[811] b[812] b[813] b[814] b[815] b[816] b[817] b[818] b[819] b[820] b[821] b[822] b[823] b[824] b[825] b[826] b[827] b[828] b[829] b[830] b[831] b[832] b[833] b[834] b[835] b[836] b[837] b[838] b[839] b[840] b[841] b[842] b[843] b[844] b[845] b[846] b[847] b[848] b[849] b[850] b[851] b[852] b[853] b[854] b[855] b[856] b[857] b[858] b[859] b[860] b[861] b[862] b[863] b[864] b[865] b[866] b[867] b[868] b[869] b[870] b[871] b[872] b[873] b[874] b[875] b[876] b[877] b[878] b[879] b[880] b[881] b[882] b[883] b[884] b[885] b[886] b[887] b[888] b[889] b[890] b[891] b[892] b[893] b[894] b[895] b[896] b[897] b[898] b[899] b[900] b[901] b[902] b[903] b[904] b[905] b[906] b[907] b[908] b[909] b[910] b[911] b[912] b[913] b[914] b[915] b[916] b[917] b[918] b[919] b[920] b[921] b[922] b[923] b[924] b[925] b[926] b[927] b[928] b[929] b[930] b[931] b[932] b[933] b[934] b[935] b[936] b[937] b[938] b[939] b[940] b[941] b[942] b[943] b[944] b[945] b[946] b[947] b[948] b[949] b[950] b[951] b[952] b[953] b[954] b[955] b[956] b[957] b[958] b[959] b[960] b[961] b[962] b[963] b[964] b[965] b[966] b[967] b[968] b[969] b[970] b[971] b[972] b[973] b[974] b[975] b[976] b[977] b[978] b[979] b[980] b[981] b[982] b[983] b[984] b[985] b[986] b[987] b[988] b[989] b[990] b[991] b[992] b[993] b[994] b[995] b[996] b[997] b[998] b[999] b[1000] b[1001] b[1002] b[1003] b[1004] b[1005] b[1006] b[1007] b[1008] b[1009] b[1010] b[1011] b[1012] b[1013] b[1014] b[1015] b[1016] b[1017] b[1018] b[1019] b[1020] b[1021] b[1022] b[1023] b[1024] b[1025] b[1026] b[1027] b[1028] b[1029] b[1030] b[1031] b[1032] b[1033] b[1034] b[1035] b[1036] b[1037] b[1038] b[1039] b[1040] b[1041] b[1042] b[1043] b[1044] b[1045] b[1046] b[1047] b[1048] b[1049] b[1050] b[1051] b[1052] b[1053] b[1054] b[1055] b[1056] b[1057] b[1058] b[1059] b[1060] b[1061] b[1062] b[1063] b[1064] b[1065] b[1066] b[1067] b[1068] b[1069] b[1070] b[1071] b[1072] b[1073] b[1074] b[1075] b[1076] b[1077] b[1078] b[1079] b[1080] b[1081] b[1082] b[1083] b[1084] b[1085] b[1086] b[1087] b[1088] b[1089] b[1090] b[1091] b[1092] b[1093] b[1094] b[1095] b[1096] b[1097] b[1098] b[1099] b[1100] b[1101] b[1102] b[1103] b[1104] b[1105] b[1106] b[1107] b[1108] b[1109] b[1110] b[1111] b[1112] b[1113] b[1114] b[1115] b[1116] b[1117] b[1118] b[1119] b[1120] b[1121] b[1122] b[1123] b[1124] b[1125] b[1126] b[1127] b[1128] b[1129] b[1130] b[1131] b[1132] b[1133] b[1134] b[1135] b[1136] b[1137] b[1138] b[1139] b[1140] b[1141] b[1142] b[1143] b[1144] b[1145] b[1146] b[1147] b[1148] b[1149] b[1150] b[1151] b[1152] b[1153] b[1154] b[1155] b[1156] b[1157] b[1158] b[1159] b[1160] b[1161] b[1162] b[1163] b[1164] b[1165] b[1166] b[1167] b[1168] b[1169] b[1170] b[1171] b[1172] b[1173] b[1174] b[1175] b[1176] b[1177] b[1178] b[1179] b[1180] b[1181] b[1182] b[1183] b[1184] b[1185] b[1186] b[1187] b[1188] b[1189] b[1190] b[1191] b[1192] b[1193] b[1194] b[1195] b[1196] b[1197] b[1198] b[1199] b[1200] b[1201] b[1202] b[1203] b[1204] b[1205] b[1206] b[1207] b[1208] b[1209] b[1210] b[1211] b[1212] b[1213] b[1214] b[1215] b[1216] b[1217] b[1218] b[1219] b[1220] b[1221] b[1222] b[1223] b[1224] b[1225] b[1226] b[1227] b[1228] b[1229] b[1230] b[1231] b[1232] b[1233] b[1234] b[1235] b[1236] b[1237] b[1238] b[1239] b[1240] b[1241] b[1242] b[1243] b[1244] b[1245] b[1246] b[1247] b[1248] b[1249] b[1250] b[1251] b[1252] b[1253] b[1254] b[1255] b[1256] b[1257] b[1258] b[1259] b[1260] b[1261] b[1262] b[1263] b[1264] b[1265] b[1266] b[1267] b[1268] b[1269] b[1270] b[1271] b[1272] b[1273] b[1274] b[1275] b[1276] b[1277] b[1278] b[1279] b[1280] b[1281] b[1282] b[1283] b[1284] b[1285] b[1286] b[1287] b[1288] b[1289] b[1290] b[1291] b[1292] b[1293] b[1294] b[1295] b[1296] b[1297] b[1298] b[1299] b[1300] b[1301] b[1302] b[1303] b[1304] b[1305] b[1306] b[1307] b[1308] b[1309] b[1310] b[1311] b[1312] b[1313] b[1314] b[1315] b[1316] b[1317] b[1318] b[1319] b[1320] b[1321] b[1322] b[1323] b[1324] b[1325] b[1326] b[1327] b[1328] b[1329] b[1330] b[1331] b[1332] b[1333] b[1334] b[1335] b[1336] b[1337] b[1338] b[1339] b[1340] b[1341] b[1342] b[1343] b[1344] b[1345] b[1346] b[1347] b[1348] b[1349] b[1350] b[1351] b[1352] b[1353] b[1354] b[1355] b[1356] b[1357] b[1358] b[1359] b[1360] b[1361] b[1362] b[1363] b[1364] b[1365] b[1366] b[1367] b[1368] b[1369] b[1370] b[1371] b[1372] b[1373] b[1374] b[1375] b[1376] b[1377] b[1378] b[1379] b[1380] b[1381] b[1382] b[1383] b[1384] b[1385] b[1386] b[1387] b[1388] b[1389] b[1390] b[1391] b[1392] b[1393] b[1394] b[1395] b[1396] b[1397] b[1398] b[1399] b[1400] b[1401] b[1402] b[1403] b[1404] b[1405] b[1406] b[1407] b[1408] b[1409] b[1410] b[1411] b[1412] b[1413] b[1414] b[1415] b[1416] b[1417] b[1418] b[1419] b[1420] b[1421] b[1422] b[1423] b[1424] b[1425] b[1426] b[1427] b[1428] b[1429] b[1430] b[1431] b[1432] b[1433] b[1434] b[1435] b[1436] b[1437] b[1438] b[1439] b[1440] b[1441] b[1442] b[1443] b[1444] b[1445] b[1446] b[1447] b[1448] b[1449] b[1450] b[1451] b[1452] b[1453] b[1454] b[1455] b[1456] b[1457] b[1458] b[1459] b[1460] b[1461] b[1462] b[1463] b[1464] b[1465] b[1466] b[1467] b[1468] b[1469] b[1470] b[1471] b[1472] b[1473] b[1474] b[1475] b[1476] b[1477] b[1478] b[1479] b[1480] b[1481] b[1482] b[1483] b[1484] b[1485] b[1486] b[1487] b[1488] b[1489] b[1490] b[1491] b[1492] b[1493] b[1494] b[1495] b[1496] b[1497] b[1498] b[1499] b[1500] b[1501] b[1502] b[1503] b[1504] b[1505] b[1506] b[1507] b[1508] b[1509] b[1510] b[1511] b[1512] b[1513] b[1514] b[1515] b[1516] b[1517] b[1518] b[1519] b[1520] b[1521] b[1522] b[1523] b[1524] b[1525] b[1526] b[1527] b[1528] b[1529] b[1530] b[1531] b[1532] b[1533] b[1534] b[1535] b[1536] b[1537] b[1538] b[1539] b[1540] b[1541] b[1542] b[1543] b[1544] b[1545] b[1546] b[1547] b[1548] b[1549] b[1550] b[1551] b[1552] b[1553] b[1554] b[1555] b[1556] b[1557] b[1558] b[1559] b[1560] b[1561] b[1562] b[1563] b[1564] b[1565] b[1566] b[1567] b[1568] b[1569] b[1570] b[1571] b[1572] b[1573] b[1574] b[1575] b[1576] b[1577] b[1578] b[1579] b[1580] b[1581] b[1582] b[1583] b[1584] b[1585] b[1586] b[1587] b[1588] b[1589] b[1590] b[1591] b[1592] b[1593] b[1594] b[1595] b[1596] b[1597] b[1598] b[1599] b[1600] b[1601] b[1602] b[1603] b[1604] b[1605] b[1606] b[1607] b[1608] b[1609] b[1610] b[1611] b[1612] b[1613] b[1614] b[1615] b[1616] b[1617] b[1618] b[1619] b[1620] b[1621] b[1622] b[1623] b[1624] b[1625] b[1626] b[1627] b[1628] b[1629] b[1630] b[1631] b[1632] b[1633] b[1634] b[1635] b[1636] b[1637] b[1638] b[1639] b[1640] b[1641] b[1642] b[1643] b[1644] b[1645] b[1646] b[1647] b[1648] b[1649] b[1650] b[1651] b[1652] b[1653] b[1654] b[1655] b[1656] b[1657] b[1658] b[1659] b[1660] b[1661] b[1662] b[1663] b[1664] b[1665] b[1666] b[1667] b[1668] b[1669] b[1670] b[1671] b[1672] b[1673] b[1674] b[1675] b[1676] b[1677] b[1678] b[1679] b[1680] b[1681] b[1682] b[1683] b[1684] b[1685] b[1686] b[1687] b[1688] b[1689] b[1690] b[1691] b[1692] b[1693] b[1694] b[1695] b[1696] b[1697] b[1698] b[1699] b[1700] b[1701] b[1702] b[1703] b[1704] b[1705] b[1706] b[1707] b[1708] b[1709] b[1710] b[1711] b[1712] b[1713] b[1714] b[1715] b[1716] b[1717] b[1718] b[1719] b[1720] b[1721] b[1722] b[1723] b[1724] b[1725] b[1726] b[1727] b[1728] b[1729] b[1730] b[1731] b[1732] b[1733] b[1734] b[1735] b[1736] b[1737] b[1738] b[1739] b[1740] b[1741] b[1742] b[1743] b[1744] b[1745] b[1746] b[1747] b[1748] b[1749] b[1750] b[1751] b[1752] b[1753] b[1754] b[1755] b[1756] b[1757] b[1758] b[1759] b[1760] b[1761] b[1762] b[1763] b[1764] b[1765] b[1766] b[1767] b[1768] b[1769] b[1770] b[1771] b[1772] b[1773] b[1774] b[1775] b[1776] b[1777] b[1778] b[1779] b[1780] b[1781] b[1782] b[1783] b[1784] b[1785] b[1786] b[1787] b[1788] b[1789] b[1790] b[1791] b[1792] b[1793] b[1794] b[1795] b[1796] b[1797] b[1798] b[1799] b[1800] b[1801] b[1802] b[1803] b[1804] b[1805] b[1806] b[1807] b[1808] b[1809] b[1810] b[1811] b[1812] b[1813] b[1814] b[1815] b[1816] b[1817] b[1818] b[1819] b[1820] b[1821] b[1822] b[1823] b[1824] b[1825] b[1826] b[1827] b[1828] b[1829] b[1830] b[1831] b[1832] b[1833] b[1834] b[1835] b[1836] b[1837] b[1838] b[1839] b[1840] b[1841] b[1842] b[1843] b[1844] b[1845] b[1846] b[1847] b[1848] b[1849] b[1850] b[1851] b[1852] b[1853] b[1854] b[1855] b[1856] b[1857] b[1858] b[1859] b[1860] b[1861] b[1862] b[1863] b[1864] b[1865] b[1866] b[1867] b[1868] b[1869] b[1870] b[1871] b[1872] b[1873] b[1874] b[1875] b[1876] b[1877] b[1878] b[1879] b[1880] b[1881] b[1882] b[1883] b[1884] b[1885] b[1886] b[1887] b[1888] b[1889] b[1890] b[1891] b[1892] b[1893] b[1894] b[1895] b[1896] b[1897] b[1898] b[1899] b[1900] b[1901] b[1902] b[1903] b[1904] b[1905] b[1906] b[1907] b[1908] b[1909] b[1910] b[1911] b[1912] b[1913] b[1914] b[1915] b[1916] b[1917] b[1918] b[1919] b[1920] b[1921] b[1922] b[1923] b[1924] b[1925] b[1926] b[1927] b[1928] b[1929] b[1930] b[1931] b[1932] b[1933] b[1934] b[1935] b[1936] b[1937] b[1938] b[1939] b[1940] b[1941] b[1942] b[1943] b[1944] b[1945] b[1946] b[1947] b[1948] b[1949] b[1950] b[1951] b[1952] b[1953] b[1954] b[1955] b[1956] b[1957] b[1958] b[1959] b[1960] b[1961] b[1962] b[1963] b[1964] b[1965] b[1966] b[1967] b[1968] b[1969] b[1970] b[1971] b[1972] b[1973] b[1974] b[1975] b[1976] b[1977] b[1978] b[1979] b[1980] b[1981] b[1982] b[1983] b[1984] b[1985] b[1986] b[1987] b[1988] b[1989] b[1990] b[1991] b[1992] b[1993] b[1994] b[1995] b[1996] b[1997] b[1998] b[1999] 2520.04/2515.71 v </list> 2520.04/2515.71 v <values> 2520.04/2515.71 v 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 0 0 1 1 0 1 1 1 1 1 0 0 0 1 0 1 1 0 0 1 1 0 1 0 1 1 1 1 0 1 1 1 1 0 1 0 0 0 1 1 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2520.04/2515.71 v </values> 2520.04/2515.71 v </instantiation>
OK 469182
runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 16374 MiB (8053 MiB free)
memory of node 1: 16384 MiB (12804 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4298536-1532761442/watcher-4298536-1532761442 -o /tmp/evaluation-result-4298536-1532761442/solver-4298536-1532761442 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node107-1532741422-28017 --watchdog 2580 java -jar minicp-1.0.jar HOME/instance-4298536-1532761442.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=31053, runsolver pid=31050
[startup+0.100107 s]*
/proc/loadavg: 1.39 1.39 1.41 4/215 31068
/proc/meminfo: memFree=21344932/32770624 swapFree=67108860/67108860
[pid=31053] ppid=31050 vsize=10661052 memory=25928 CPUtime=0.12 cores=1,3,5,7
/proc/31053/stat : 31053 (java) S 31050 31053 27985 0 -1 1077944320 5389 0 0 0 12 0 0 0 20 0 15 0 93707361 10916917248 6482 33554432000 4194304 4196468 140720522554720 140720522537264 139721824816887 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 10326016 140720522556589 140720522556681 140720522556681 140720522559439 0
/proc/31053/statm: 2665263 6482 2863 1 0 2627263 0
[pid=31053/tid=31055] ppid=31050 vsize=10661052 memory=-8413741653616923514 CPUtime=0.09 cores=1,3,5,7
/proc/31053/task/31055/stat : 31055 (java) R 31050 31053 27985 0 -1 4202560 3206 0 0 0 9 0 0 0 20 0 15 0 93707361 10916917248 6482 33554432000 4194304 4196468 140720522554720 139721829046672 139721817058277 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 10326016 140720522556589 140720522556681 140720522556681 140720522559439 0
[pid=31053/tid=31056] ppid=31050 vsize=10661052 memory=-7522837583129502606 CPUtime=0 cores=1,3,5,7
/proc/31053/task/31056/stat : 31056 (java) S 31050 31053 27985 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93707362 10916917248 6482 33554432000 4194304 4196468 140720522554720 139721431157264 139721824827093 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10326016 140720522556589 140720522556681 140720522556681 140720522559439 0
[pid=31053/tid=31057] ppid=31050 vsize=10661052 memory=140218172552832 CPUtime=0 cores=1,3,5,7
/proc/31053/task/31057/stat : 31057 (java) S 31050 31053 27985 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93707362 10916917248 6482 33554432000 4194304 4196468 140720522554720 139721430104720 139721824827093 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10326016 140720522556589 140720522556681 140720522556681 140720522559439 0
[pid=31053/tid=31058] ppid=31050 vsize=10661052 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31053/task/31058/stat : 31058 (java) S 31050 31053 27985 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93707362 10916917248 6482 33554432000 4194304 4196468 140720522554720 139721429051664 139721824827093 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10326016 140720522556589 140720522556681 140720522556681 140720522559439 0
[pid=31053/tid=31059] ppid=31050 vsize=10661052 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/31053/task/31059/stat : 31059 (java) S 31050 31053 27985 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 93707362 10916917248 6482 33554432000 4194304 4196468 140720522554720 139721427999120 139721824827093 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10326016 140720522556589 140720522556681 140720522556681 140720522559439 0
[pid=31053/tid=31060] ppid=31050 vsize=10661052 memory=140218172552832 CPUtime=0 cores=1,3,5,7
/proc/31053/task/31060/stat : 31060 (java) S 31050 31053 27985 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 93707363 10916917248 6482 33554432000 4194304 4196468 140720522554720 139720927435504 139721824828034 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10326016 140720522556589 140720522556681 140720522556681 140720522559439 0
[pid=31053/tid=31061] ppid=31050 vsize=10661052 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/31053/task/31061/stat : 31061 (java) S 31050 31053 27985 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 93707364 10916917248 6482 33554432000 4194304 4196468 140720522554720 139720926381728 139721824827093 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10326016 140720522556589 140720522556681 140720522556681 140720522559439 0
[pid=31053/tid=31062] ppid=31050 vsize=10661052 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31053/task/31062/stat : 31062 (java) S 31050 31053 27985 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 93707364 10916917248 6482 33554432000 4194304 4196468 140720522554720 139720925328624 139721824827093 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10326016 140720522556589 140720522556681 140720522556681 140720522559439 0
[pid=31053/tid=31063] ppid=31050 vsize=10661052 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31053/task/31063/stat : 31063 (java) S 31050 31053 27985 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93707366 10916917248 6482 33554432000 4194304 4196468 140720522554720 139720721951184 139721824835483 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10326016 140720522556589 140720522556681 140720522556681 140720522559439 0
[pid=31053/tid=31064] ppid=31050 vsize=10661052 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31053/task/31064/stat : 31064 (java) S 31050 31053 27985 0 -1 1077944384 315 0 0 0 0 0 0 0 20 0 15 0 93707366 10916917248 6482 33554432000 4194304 4196468 140720522554720 139720720898288 139721824828034 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10326016 140720522556589 140720522556681 140720522556681 140720522559439 0
[pid=31053/tid=31065] ppid=31050 vsize=10661052 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/31053/task/31065/stat : 31065 (java) S 31050 31053 27985 0 -1 1077944384 133 0 0 0 0 0 0 0 20 0 15 0 93707366 10916917248 6482 33554432000 4194304 4196468 140720522554720 139720719845744 139721824828034 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10326016 140720522556589 140720522556681 140720522556681 140720522559439 0
[pid=31053/tid=31066] ppid=31050 vsize=10661052 memory=140218172552832 CPUtime=0.02 cores=1,3,5,7
/proc/31053/task/31066/stat : 31066 (java) R 31050 31053 27985 0 -1 4202560 368 0 0 0 2 0 0 0 20 0 15 0 93707366 10916917248 6482 33554432000 4194304 4196468 140720522554720 139720718792688 139721824838234 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 10326016 140720522556589 140720522556681 140720522556681 140720522559439 0
[pid=31053/tid=31067] ppid=31050 vsize=10661052 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/31053/task/31067/stat : 31067 (java) S 31050 31053 27985 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93707366 10916917248 6482 33554432000 4194304 4196468 140720522554720 139720717740384 139721824827093 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10326016 140720522556589 140720522556681 140720522556681 140720522559439 0
[pid=31053/tid=31068] ppid=31050 vsize=10661052 memory=140218172552832 CPUtime=0 cores=1,3,5,7
/proc/31053/task/31068/stat : 31068 (java) S 31050 31053 27985 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93707367 10916917248 6482 33554432000 4194304 4196468 140720522554720 139720716688432 139721824828034 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10326016 140720522556589 140720522556681 140720522556681 140720522559439 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 10661052 KiB
Current children cumulated memory: 25928 KiB
[startup+0.210704 s]*
/proc/loadavg: 1.39 1.39 1.41 4/215 31068
/proc/meminfo: memFree=21332404/32770624 swapFree=67108860/67108860
[pid=31053] ppid=31050 vsize=10661052 memory=39736 CPUtime=0.34 cores=1,3,5,7
/proc/31053/stat : 31053 (java) S 31050 31053 27985 0 -1 1077944320 8545 0 0 0 33 1 0 0 20 0 15 0 93707361 10916917248 9934 33554432000 4194304 4196468 140720522554720 140720522537264 139721824816887 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 10326016 140720522556589 140720522556681 140720522556681 140720522559439 0
/proc/31053/statm: 2665263 9934 2997 1 0 2627263 0
[pid=31053/tid=31055] ppid=31050 vsize=10661052 memory=7022364594140610616 CPUtime=0.2 cores=1,3,5,7
/proc/31053/task/31055/stat : 31055 (java) R 31050 31053 27985 0 -1 4202560 5170 0 0 0 19 1 0 0 20 0 15 0 93707361 10916917248 9934 33554432000 4194304 4196468 140720522554720 139721829055200 139721461733921 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 10326016 140720522556589 140720522556681 140720522556681 140720522559439 0
[pid=31053/tid=31056] ppid=31050 vsize=10661052 memory=345 CPUtime=0 cores=1,3,5,7
/proc/31053/task/31056/stat : 31056 (java) S 31050 31053 27985 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93707362 10916917248 9934 33554432000 4194304 4196468 140720522554720 139721431157264 139721824827093 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10326016 140720522556589 140720522556681 140720522556681 140720522559439 0
[pid=31053/tid=31057] ppid=31050 vsize=10661052 memory=3905095587994908320 CPUtime=0 cores=1,3,5,7
/proc/31053/task/31057/stat : 31057 (java) S 31050 31053 27985 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93707362 10916917248 9934 33554432000 4194304 4196468 140720522554720 139721430104720 139721824827093 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10326016 140720522556589 140720522556681 140720522556681 140720522559439 0
[pid=31053/tid=31058] ppid=31050 vsize=10661052 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31053/task/31058/stat : 31058 (java) S 31050 31053 27985 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93707362 10916917248 9934 33554432000 4194304 4196468 140720522554720 139721429051664 139721824827093 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10326016 140720522556589 140720522556681 140720522556681 140720522559439 0
[pid=31053/tid=31059] ppid=31050 vsize=10661052 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/31053/task/31059/stat : 31059 (java) S 31050 31053 27985 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 93707362 10916917248 9934 33554432000 4194304 4196468 140720522554720 139721427999120 139721824827093 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10326016 140720522556589 140720522556681 140720522556681 140720522559439 0
[pid=31053/tid=31060] ppid=31050 vsize=10661052 memory=140218172552832 CPUtime=0 cores=1,3,5,7
/proc/31053/task/31060/stat : 31060 (java) S 31050 31053 27985 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 93707363 10916917248 9934 33554432000 4194304 4196468 140720522554720 139720927435504 139721824828034 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10326016 140720522556589 140720522556681 140720522556681 140720522559439 0
[pid=31053/tid=31061] ppid=31050 vsize=10661052 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/31053/task/31061/stat : 31061 (java) S 31050 31053 27985 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 93707364 10916917248 9934 33554432000 4194304 4196468 140720522554720 139720926381728 139721824827093 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10326016 140720522556589 140720522556681 140720522556681 140720522559439 0
[pid=31053/tid=31062] ppid=31050 vsize=10661052 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31053/task/31062/stat : 31062 (java) S 31050 31053 27985 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 93707364 10916917248 9934 33554432000 4194304 4196468 140720522554720 139720925328624 139721824827093 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10326016 140720522556589 140720522556681 140720522556681 140720522559439 0
[pid=31053/tid=31063] ppid=31050 vsize=10661052 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31053/task/31063/stat : 31063 (java) S 31050 31053 27985 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93707366 10916917248 9934 33554432000 4194304 4196468 140720522554720 139720721951184 139721824835483 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10326016 140720522556589 140720522556681 140720522556681 140720522559439 0
[pid=31053/tid=31064] ppid=31050 vsize=10661052 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/31053/task/31064/stat : 31064 (java) R 31050 31053 27985 0 -1 1077944384 488 0 0 0 1 0 0 0 20 0 15 0 93707366 10916917248 9934 33554432000 4194304 4196468 140720522554720 139720720898288 139721824828034 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 10326016 140720522556589 140720522556681 140720522556681 140720522559439 0
[pid=31053/tid=31065] ppid=31050 vsize=10661052 memory=-1 CPUtime=0.03 cores=1,3,5,7
/proc/31053/task/31065/stat : 31065 (java) R 31050 31053 27985 0 -1 4202560 421 0 0 0 3 0 0 0 20 0 15 0 93707366 10916917248 9934 33554432000 4194304 4196468 140720522554720 139720719845744 139721810881024 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 10326016 140720522556589 140720522556681 140720522556681 140720522559439 0
[pid=31053/tid=31066] ppid=31050 vsize=10661052 memory=140218172552832 CPUtime=0.08 cores=1,3,5,7
/proc/31053/task/31066/stat : 31066 (java) R 31050 31053 27985 0 -1 4202560 1098 0 0 0 8 0 0 0 20 0 15 0 93707366 10916917248 9934 33554432000 4194304 4196468 140720522554720 139720718787224 139721808897374 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 10326016 140720522556589 140720522556681 140720522556681 140720522559439 0
[pid=31053/tid=31067] ppid=31050 vsize=10661052 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/31053/task/31067/stat : 31067 (java) S 31050 31053 27985 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93707366 10916917248 9934 33554432000 4194304 4196468 140720522554720 139720717740384 139721824827093 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10326016 140720522556589 140720522556681 140720522556681 140720522559439 0
[pid=31053/tid=31068] ppid=31050 vsize=10661052 memory=140218172552832 CPUtime=0 cores=1,3,5,7
/proc/31053/task/31068/stat : 31068 (java) S 31050 31053 27985 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93707367 10916917248 9934 33554432000 4194304 4196468 140720522554720 139720716688432 139721824828034 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10326016 140720522556589 140720522556681 140720522556681 140720522559439 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 10661052 KiB
Current children cumulated memory: 39736 KiB
[startup+0.310431 s]*
/proc/loadavg: 1.39 1.39 1.41 5/215 31068
/proc/meminfo: memFree=21324836/32770624 swapFree=67108860/67108860
[pid=31053] ppid=31050 vsize=10661128 memory=46436 CPUtime=0.6 cores=1,3,5,7
/proc/31053/stat : 31053 (java) S 31050 31053 27985 0 -1 1077944320 9163 0 0 0 58 2 0 0 20 0 15 0 93707361 10916995072 11609 33554432000 4194304 4196468 140720522554720 140720522537264 139721824816887 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 10326016 140720522556589 140720522556681 140720522556681 140720522559439 0
/proc/31053/statm: 2665282 11609 3063 1 0 2627263 0
[pid=31053/tid=31055] ppid=31050 vsize=10661128 memory=7311146985107750967 CPUtime=0.29 cores=1,3,5,7
/proc/31053/task/31055/stat : 31055 (java) R 31050 31053 27985 0 -1 4202560 5503 0 0 0 28 1 0 0 20 0 15 0 93707361 10916995072 11609 33554432000 4194304 4196468 140720522554720 139721829053488 139721461674060 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 10326016 140720522556589 140720522556681 140720522556681 140720522559439 0
[pid=31053/tid=31056] ppid=31050 vsize=10661128 memory=304556157652172823 CPUtime=0 cores=1,3,5,7
/proc/31053/task/31056/stat : 31056 (java) S 31050 31053 27985 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93707362 10916995072 11609 33554432000 4194304 4196468 140720522554720 139721431157264 139721824827093 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10326016 140720522556589 140720522556681 140720522556681 140720522559439 0
[pid=31053/tid=31057] ppid=31050 vsize=10661128 memory=3544807617805268640 CPUtime=0 cores=1,3,5,7
/proc/31053/task/31057/stat : 31057 (java) S 31050 31053 27985 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93707362 10916995072 11609 33554432000 4194304 4196468 140720522554720 139721430104720 139721824827093 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10326016 140720522556589 140720522556681 140720522556681 140720522559439 0
[pid=31053/tid=31058] ppid=31050 vsize=10661128 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31053/task/31058/stat : 31058 (java) S 31050 31053 27985 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93707362 10916995072 11609 33554432000 4194304 4196468 140720522554720 139721429051664 139721824827093 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10326016 140720522556589 140720522556681 140720522556681 140720522559439 0
[pid=31053/tid=31059] ppid=31050 vsize=10661128 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/31053/task/31059/stat : 31059 (java) S 31050 31053 27985 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 93707362 10916995072 11609 33554432000 4194304 4196468 140720522554720 139721427999120 139721824827093 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10326016 140720522556589 140720522556681 140720522556681 140720522559439 0
[pid=31053/tid=31060] ppid=31050 vsize=10661128 memory=140218172552832 CPUtime=0 cores=1,3,5,7
/proc/31053/task/31060/stat : 31060 (java) S 31050 31053 27985 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 93707363 10916995072 11609 33554432000 4194304 4196468 140720522554720 139720927435504 139721824828034 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10326016 140720522556589 140720522556681 140720522556681 140720522559439 0
[pid=31053/tid=31061] ppid=31050 vsize=10661128 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/31053/task/31061/stat : 31061 (java) S 31050 31053 27985 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 93707364 10916995072 11609 33554432000 4194304 4196468 140720522554720 139720926381728 139721824827093 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10326016 140720522556589 140720522556681 140720522556681 140720522559439 0
[pid=31053/tid=31062] ppid=31050 vsize=10661128 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31053/task/31062/stat : 31062 (java) S 31050 31053 27985 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 93707364 10916995072 11609 33554432000 4194304 4196468 140720522554720 139720925328624 139721824827093 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10326016 140720522556589 140720522556681 140720522556681 140720522559439 0
[pid=31053/tid=31063] ppid=31050 vsize=10661128 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31053/task/31063/stat : 31063 (java) S 31050 31053 27985 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93707366 10916995072 11609 33554432000 4194304 4196468 140720522554720 139720721951184 139721824835483 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10326016 140720522556589 140720522556681 140720522556681 140720522559439 0
[pid=31053/tid=31064] ppid=31050 vsize=10661128 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/31053/task/31064/stat : 31064 (java) R 31050 31053 27985 0 -1 1077944384 537 0 0 0 4 0 0 0 20 0 15 0 93707366 10916995072 11609 33554432000 4194304 4196468 140720522554720 139720720898288 139721824828034 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 10326016 140720522556589 140720522556681 140720522556681 140720522559439 0
[pid=31053/tid=31065] ppid=31050 vsize=10661128 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/31053/task/31065/stat : 31065 (java) R 31050 31053 27985 0 -1 4202560 465 0 0 0 7 0 0 0 20 0 15 0 93707366 10916995072 11609 33554432000 4194304 4196468 140720522554720 139720719845744 139721804032196 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 10326016 140720522556589 140720522556681 140720522556681 140720522559439 0
[pid=31053/tid=31066] ppid=31050 vsize=10661128 memory=140218172552832 CPUtime=0.16 cores=1,3,5,7
/proc/31053/task/31066/stat : 31066 (java) R 31050 31053 27985 0 -1 4202560 1287 0 0 0 16 0 0 0 20 0 15 0 93707366 10916995072 11609 33554432000 4194304 4196468 140720522554720 139720718789056 139721803633053 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 10326016 140720522556589 140720522556681 140720522556681 140720522559439 0
[pid=31053/tid=31067] ppid=31050 vsize=10661128 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/31053/task/31067/stat : 31067 (java) S 31050 31053 27985 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93707366 10916995072 11609 33554432000 4194304 4196468 140720522554720 139720717740384 139721824827093 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10326016 140720522556589 140720522556681 140720522556681 140720522559439 0
[pid=31053/tid=31068] ppid=31050 vsize=10661128 memory=140218172552832 CPUtime=0 cores=1,3,5,7
/proc/31053/task/31068/stat : 31068 (java) S 31050 31053 27985 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93707367 10916995072 11609 33554432000 4194304 4196468 140720522554720 139720716688432 139721824828034 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10326016 140720522556589 140720522556681 140720522556681 140720522559439 0
Current children cumulated CPU time: 0.6 s
Current children cumulated vsize: 10661128 KiB
Current children cumulated memory: 46436 KiB
[startup+0.700797 s]
/proc/loadavg: 1.39 1.39 1.41 5/215 31068
/proc/meminfo: memFree=21206376/32770624 swapFree=67108860/67108860
[pid=31053] ppid=31050 vsize=10661128 memory=284444 CPUtime=1.8 cores=1,3,5,7
/proc/31053/stat : 31053 (java) S 31050 31053 27985 0 -1 1077944320 13463 0 0 0 174 6 0 0 20 0 15 0 93707361 10916995072 71111 33554432000 4194304 4196468 140720522554720 140720522537264 139721824816887 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 10326016 140720522556589 140720522556681 140720522556681 140720522559439 0
/proc/31053/statm: 2665282 71111 3111 1 0 2627263 0
[pid=31053/tid=31055] ppid=31050 vsize=10661128 memory=1836 CPUtime=0.67 cores=1,3,5,7
/proc/31053/task/31055/stat : 31055 (java) R 31050 31053 27985 0 -1 4202560 5761 0 0 0 63 4 0 0 20 0 15 0 93707361 10916995072 71111 33554432000 4194304 4196468 140720522554720 139721829053472 139721465440754 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 10326016 140720522556589 140720522556681 140720522556681 140720522559439 0
[pid=31053/tid=31056] ppid=31050 vsize=10661128 memory=13044 CPUtime=0 cores=1,3,5,7
/proc/31053/task/31056/stat : 31056 (java) S 31050 31053 27985 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93707362 10916995072 71111 33554432000 4194304 4196468 140720522554720 139721431157264 139721824827093 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10326016 140720522556589 140720522556681 140720522556681 140720522559439 0
[pid=31053/tid=31057] ppid=31050 vsize=10661128 memory=792 CPUtime=0 cores=1,3,5,7
/proc/31053/task/31057/stat : 31057 (java) S 31050 31053 27985 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93707362 10916995072 71111 33554432000 4194304 4196468 140720522554720 139721430104720 139721824827093 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10326016 140720522556589 140720522556681 140720522556681 140720522559439 0
[pid=31053/tid=31058] ppid=31050 vsize=10661128 memory=1952 CPUtime=0 cores=1,3,5,7
/proc/31053/task/31058/stat : 31058 (java) S 31050 31053 27985 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93707362 10916995072 71111 33554432000 4194304 4196468 140720522554720 139721429051664 139721824827093 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10326016 140720522556589 140720522556681 140720522556681 140720522559439 0
[pid=31053/tid=31059] ppid=31050 vsize=10661128 memory=1232 CPUtime=0 cores=1,3,5,7
/proc/31053/task/31059/stat : 31059 (java) S 31050 31053 27985 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 93707362 10916995072 71111 33554432000 4194304 4196468 140720522554720 139721427999120 139721824827093 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10326016 140720522556589 140720522556681 140720522556681 140720522559439 0
[pid=31053/tid=31060] ppid=31050 vsize=10661128 memory=8556 CPUtime=0 cores=1,3,5,7
/proc/31053/task/31060/stat : 31060 (java) S 31050 31053 27985 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 93707363 10916995072 71111 33554432000 4194304 4196468 140720522554720 139720927435504 139721824828034 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10326016 140720522556589 140720522556681 140720522556681 140720522559439 0
[pid=31053/tid=31061] ppid=31050 vsize=10661128 memory=1712 CPUtime=0 cores=1,3,5,7
/proc/31053/task/31061/stat : 31061 (java) S 31050 31053 27985 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 93707364 10916995072 71111 33554432000 4194304 4196468 140720522554720 139720926381728 139721824827093 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10326016 140720522556589 140720522556681 140720522556681 140720522559439 0
[pid=31053/tid=31062] ppid=31050 vsize=10661128 memory=5412 CPUtime=0 cores=1,3,5,7
/proc/31053/task/31062/stat : 31062 (java) S 31050 31053 27985 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 93707364 10916995072 71111 33554432000 4194304 4196468 140720522554720 139720925328624 139721824827093 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10326016 140720522556589 140720522556681 140720522556681 140720522559439 0
[pid=31053/tid=31063] ppid=31050 vsize=10661128 memory=7668879548562892096 CPUtime=0 cores=1,3,5,7
/proc/31053/task/31063/stat : 31063 (java) S 31050 31053 27985 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93707366 10916995072 71111 33554432000 4194304 4196468 140720522554720 139720721951184 139721824835483 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10326016 140720522556589 140720522556681 140720522556681 140720522559439 0
[pid=31053/tid=31064] ppid=31050 vsize=10661128 memory=7881696724453321575 CPUtime=0.38 cores=1,3,5,7
/proc/31053/task/31064/stat : 31064 (java) S 31050 31053 27985 0 -1 1077944384 2063 0 0 0 38 0 0 0 20 0 15 0 93707366 10916995072 71111 33554432000 4194304 4196468 140720522554720 139720720898288 139721824828034 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10326016 140720522556589 140720522556681 140720522556681 140720522559439 0
[pid=31053/tid=31065] ppid=31050 vsize=10661128 memory=5787213827096799335 CPUtime=0.41 cores=1,3,5,7
/proc/31053/task/31065/stat : 31065 (java) R 31050 31053 27985 0 -1 4202560 1884 0 0 0 41 0 0 0 20 0 15 0 93707366 10916995072 71111 33554432000 4194304 4196468 140720522554720 139720719845744 139721808201787 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 10326016 140720522556589 140720522556681 140720522556681 140720522559439 0
[pid=31053/tid=31066] ppid=31050 vsize=10661128 memory=0 CPUtime=0.31 cores=1,3,5,7
/proc/31053/task/31066/stat : 31066 (java) S 31050 31053 27985 0 -1 1077944384 2382 0 0 0 31 0 0 0 20 0 15 0 93707366 10916995072 71111 33554432000 4194304 4196468 140720522554720 139720718792688 139721824828034 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10326016 140720522556589 140720522556681 140720522556681 140720522559439 0
[pid=31053/tid=31067] ppid=31050 vsize=10661128 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31053/task/31067/stat : 31067 (java) S 31050 31053 27985 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93707366 10916995072 71111 33554432000 4194304 4196468 140720522554720 139720717740384 139721824827093 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10326016 140720522556589 140720522556681 140720522556681 140720522559439 0
[pid=31053/tid=31068] ppid=31050 vsize=10661128 memory=33 CPUtime=0 cores=1,3,5,7
/proc/31053/task/31068/stat : 31068 (java) S 31050 31053 27985 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93707367 10916995072 71111 33554432000 4194304 4196468 140720522554720 139720716688432 139721824828034 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10326016 140720522556589 140720522556681 140720522556681 140720522559439 0
Current children cumulated CPU time: 1.8 s
Current children cumulated vsize: 10661128 KiB
Current children cumulated memory: 284444 KiB
[startup+1.50077 s]
/proc/loadavg: 1.39 1.39 1.41 3/215 31068
/proc/meminfo: memFree=21086292/32770624 swapFree=67108860/67108860
[pid=31053] ppid=31050 vsize=10661128 memory=284760 CPUtime=2.68 cores=1,3,5,7
/proc/31053/stat : 31053 (java) S 31050 31053 27985 0 -1 1077944320 13579 0 0 0 262 6 0 0 20 0 15 0 93707361 10916995072 71190 33554432000 4194304 4196468 140720522554720 140720522537264 139721824816887 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 10326016 140720522556589 140720522556681 140720522556681 140720522559439 0
/proc/31053/statm: 2665282 71190 3121 1 0 2627263 0
[pid=31053/tid=31055] ppid=31050 vsize=10661128 memory=6791534058613427641 CPUtime=1.47 cores=1,3,5,7
/proc/31053/task/31055/stat : 31055 (java) R 31050 31053 27985 0 -1 4202560 5811 0 0 0 142 5 0 0 20 0 15 0 93707361 10916995072 71190 33554432000 4194304 4196468 140720522554720 139721829054056 139721464967456 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 10326016 140720522556589 140720522556681 140720522556681 140720522559439 0
[pid=31053/tid=31056] ppid=31050 vsize=10661128 memory=-6951259422114956437 CPUtime=0 cores=1,3,5,7
/proc/31053/task/31056/stat : 31056 (java) S 31050 31053 27985 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93707362 10916995072 71190 33554432000 4194304 4196468 140720522554720 139721431157264 139721824827093 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10326016 140720522556589 140720522556681 140720522556681 140720522559439 0
[pid=31053/tid=31057] ppid=31050 vsize=10661128 memory=-6509546260019855295 CPUtime=0 cores=1,3,5,7
/proc/31053/task/31057/stat : 31057 (java) S 31050 31053 27985 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93707362 10916995072 71190 33554432000 4194304 4196468 140720522554720 139721430104720 139721824827093 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10326016 140720522556589 140720522556681 140720522556681 140720522559439 0
[pid=31053/tid=31058] ppid=31050 vsize=10661128 memory=-7390251449858225344 CPUtime=0 cores=1,3,5,7
/proc/31053/task/31058/stat : 31058 (java) S 31050 31053 27985 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93707362 10916995072 71190 33554432000 4194304 4196468 140720522554720 139721429051664 139721824827093 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10326016 140720522556589 140720522556681 140720522556681 140720522559439 0
[pid=31053/tid=31059] ppid=31050 vsize=10661128 memory=4134692831991786133 CPUtime=0 cores=1,3,5,7
/proc/31053/task/31059/stat : 31059 (java) S 31050 31053 27985 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 93707362 10916995072 71190 33554432000 4194304 4196468 140720522554720 139721427999120 139721824827093 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10326016 140720522556589 140720522556681 140720522556681 140720522559439 0
[pid=31053/tid=31060] ppid=31050 vsize=10661128 memory=-7165351541977658656 CPUtime=0 cores=1,3,5,7
/proc/31053/task/31060/stat : 31060 (java) S 31050 31053 27985 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 93707363 10916995072 71190 33554432000 4194304 4196468 140720522554720 139720927435504 139721824828034 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10326016 140720522556589 140720522556681 140720522556681 140720522559439 0
################
# More data... #
################
/proc/31053/task/31055/stat : 31055 (java) R 31050 31053 27985 0 -1 4202560 14773 0 0 0 244100 8 0 0 20 0 15 0 93707361 10916995072 86130 33554432000 4194304 4196468 140720522554720 139721829056224 139721463020132 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 10326016 140720522556589 140720522556681 140720522556681 140720522559439 0
[pid=31053/tid=31056] ppid=31050 vsize=10661128 memory=344520 CPUtime=0.7 cores=1,3,5,7
/proc/31053/task/31056/stat : 31056 (java) S 31050 31053 27985 0 -1 1077944384 6641 0 0 0 69 1 0 0 20 0 15 0 93707362 10916995072 86130 33554432000 4194304 4196468 140720522554720 139721431157264 139721824827093 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10326016 140720522556589 140720522556681 140720522556681 140720522559439 0
[pid=31053/tid=31057] ppid=31050 vsize=10661128 memory=344520 CPUtime=0.71 cores=1,3,5,7
/proc/31053/task/31057/stat : 31057 (java) S 31050 31053 27985 0 -1 1077944384 4261 0 0 0 69 2 0 0 20 0 15 0 93707362 10916995072 86130 33554432000 4194304 4196468 140720522554720 139721430104720 139721824827093 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10326016 140720522556589 140720522556681 140720522556681 140720522559439 0
[pid=31053/tid=31058] ppid=31050 vsize=10661128 memory=344480 CPUtime=0.7 cores=1,3,5,7
/proc/31053/task/31058/stat : 31058 (java) S 31050 31053 27985 0 -1 1077944384 3253 0 0 0 69 1 0 0 20 0 15 0 93707362 10916995072 86130 33554432000 4194304 4196468 140720522554720 139721429051664 139721824827093 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10326016 140720522556589 140720522556681 140720522556681 140720522559439 0
[pid=31053/tid=31059] ppid=31050 vsize=10661128 memory=344480 CPUtime=0.71 cores=1,3,5,7
/proc/31053/task/31059/stat : 31059 (java) S 31050 31053 27985 0 -1 1077944384 5550 0 0 0 69 2 0 0 20 0 15 0 93707362 10916995072 86130 33554432000 4194304 4196468 140720522554720 139721427999120 139721824827093 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10326016 140720522556589 140720522556681 140720522556681 140720522559439 0
[pid=31053/tid=31060] ppid=31050 vsize=10661128 memory=344520 CPUtime=0.29 cores=1,3,5,7
/proc/31053/task/31060/stat : 31060 (java) S 31050 31053 27985 0 -1 1077944384 6270 0 0 0 26 3 0 0 20 0 15 0 93707363 10916995072 86130 33554432000 4194304 4196468 140720522554720 139720927435504 139721824828034 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10326016 140720522556589 140720522556681 140720522556681 140720522559439 0
[pid=31053/tid=31061] ppid=31050 vsize=10661128 memory=344520 CPUtime=0 cores=1,3,5,7
/proc/31053/task/31061/stat : 31061 (java) S 31050 31053 27985 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 15 0 93707364 10916995072 86130 33554432000 4194304 4196468 140720522554720 139720926381728 139721824827093 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10326016 140720522556589 140720522556681 140720522556681 140720522559439 0
[pid=31053/tid=31062] ppid=31050 vsize=10661128 memory=344520 CPUtime=0 cores=1,3,5,7
/proc/31053/task/31062/stat : 31062 (java) S 31050 31053 27985 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 15 0 93707364 10916995072 86130 33554432000 4194304 4196468 140720522554720 139720925328624 139721824827093 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10326016 140720522556589 140720522556681 140720522556681 140720522559439 0
[pid=31053/tid=31063] ppid=31050 vsize=10661128 memory=344520 CPUtime=0 cores=1,3,5,7
/proc/31053/task/31063/stat : 31063 (java) S 31050 31053 27985 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93707366 10916995072 86130 33554432000 4194304 4196468 140720522554720 139720721951184 139721824835483 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10326016 140720522556589 140720522556681 140720522556681 140720522559439 0
[pid=31053/tid=31064] ppid=31050 vsize=10661128 memory=344520 CPUtime=0.64 cores=1,3,5,7
/proc/31053/task/31064/stat : 31064 (java) S 31050 31053 27985 0 -1 1077944384 4791 0 0 0 64 0 0 0 20 0 15 0 93707366 10916995072 86130 33554432000 4194304 4196468 140720522554720 139720720898288 139721824828034 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10326016 140720522556589 140720522556681 140720522556681 140720522559439 0
[pid=31053/tid=31065] ppid=31050 vsize=10661128 memory=344520 CPUtime=0.76 cores=1,3,5,7
/proc/31053/task/31065/stat : 31065 (java) S 31050 31053 27985 0 -1 1077944384 5370 0 0 0 75 1 0 0 20 0 15 0 93707366 10916995072 86130 33554432000 4194304 4196468 140720522554720 139720719845744 139721824828034 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10326016 140720522556589 140720522556681 140720522556681 140720522559439 0
[pid=31053/tid=31066] ppid=31050 vsize=10661128 memory=344520 CPUtime=0.39 cores=1,3,5,7
/proc/31053/task/31066/stat : 31066 (java) S 31050 31053 27985 0 -1 1077944384 5500 0 0 0 38 1 0 0 20 0 15 0 93707366 10916995072 86130 33554432000 4194304 4196468 140720522554720 139720718792688 139721824828034 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10326016 140720522556589 140720522556681 140720522556681 140720522559439 0
[pid=31053/tid=31067] ppid=31050 vsize=10661128 memory=344520 CPUtime=0 cores=1,3,5,7
/proc/31053/task/31067/stat : 31067 (java) S 31050 31053 27985 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93707366 10916995072 86130 33554432000 4194304 4196468 140720522554720 139720717740384 139721824827093 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10326016 140720522556589 140720522556681 140720522556681 140720522559439 0
[pid=31053/tid=31068] ppid=31050 vsize=10661128 memory=344520 CPUtime=0.47 cores=1,3,5,7
/proc/31053/task/31068/stat : 31068 (java) S 31050 31053 27985 0 -1 1077944384 1159 0 0 0 20 27 0 0 20 0 15 0 93707367 10916995072 86130 33554432000 4194304 4196468 140720522554720 139720716688432 139721824828034 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10326016 140720522556589 140720522556681 140720522556681 140720522559439 0
Current children cumulated CPU time: 2446.55 s
Current children cumulated vsize: 10661128 KiB
Current children cumulated memory: 344520 KiB
[startup+2502.3 s]
/proc/loadavg: 1.72 1.71 1.69 3/215 31218
/proc/meminfo: memFree=22600140/32770624 swapFree=67108860/67108860
[pid=31053] ppid=31050 vsize=10661128 memory=344544 CPUtime=2506.62 cores=1,3,5,7
/proc/31053/stat : 31053 (java) S 31050 31053 27985 0 -1 1077944320 59883 0 0 0 250618 44 0 0 20 0 15 0 93707361 10916995072 86136 33554432000 4194304 4196468 140720522554720 140720522537264 139721824816887 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 10326016 140720522556589 140720522556681 140720522556681 140720522559439 0
/proc/31053/statm: 2665282 86136 3153 1 0 2627263 0
[pid=31053/tid=31055] ppid=31050 vsize=10661128 memory=344544 CPUtime=2501.04 cores=1,3,5,7
/proc/31053/task/31055/stat : 31055 (java) R 31050 31053 27985 0 -1 4202560 14934 0 0 0 250096 8 0 0 20 0 15 0 93707361 10916995072 86136 33554432000 4194304 4196468 140720522554720 139721829056160 139721465424972 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 10326016 140720522556589 140720522556681 140720522556681 140720522559439 0
[pid=31053/tid=31056] ppid=31050 vsize=10661128 memory=344544 CPUtime=0.72 cores=1,3,5,7
/proc/31053/task/31056/stat : 31056 (java) S 31050 31053 27985 0 -1 1077944384 7016 0 0 0 71 1 0 0 20 0 15 0 93707362 10916995072 86136 33554432000 4194304 4196468 140720522554720 139721431157264 139721824827093 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10326016 140720522556589 140720522556681 140720522556681 140720522559439 0
[pid=31053/tid=31057] ppid=31050 vsize=10661128 memory=344544 CPUtime=0.73 cores=1,3,5,7
/proc/31053/task/31057/stat : 31057 (java) S 31050 31053 27985 0 -1 1077944384 4316 0 0 0 71 2 0 0 20 0 15 0 93707362 10916995072 86136 33554432000 4194304 4196468 140720522554720 139721430104720 139721824827093 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10326016 140720522556589 140720522556681 140720522556681 140720522559439 0
[pid=31053/tid=31058] ppid=31050 vsize=10661128 memory=344544 CPUtime=0.72 cores=1,3,5,7
/proc/31053/task/31058/stat : 31058 (java) S 31050 31053 27985 0 -1 1077944384 3310 0 0 0 71 1 0 0 20 0 15 0 93707362 10916995072 86136 33554432000 4194304 4196468 140720522554720 139721429051664 139721824827093 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10326016 140720522556589 140720522556681 140720522556681 140720522559439 0
[pid=31053/tid=31059] ppid=31050 vsize=10661128 memory=344544 CPUtime=0.73 cores=1,3,5,7
/proc/31053/task/31059/stat : 31059 (java) S 31050 31053 27985 0 -1 1077944384 5597 0 0 0 71 2 0 0 20 0 15 0 93707362 10916995072 86136 33554432000 4194304 4196468 140720522554720 139721427999120 139721824827093 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10326016 140720522556589 140720522556681 140720522556681 140720522559439 0
[pid=31053/tid=31060] ppid=31050 vsize=10661128 memory=344544 CPUtime=0.3 cores=1,3,5,7
/proc/31053/task/31060/stat : 31060 (java) S 31050 31053 27985 0 -1 1077944384 6444 0 0 0 27 3 0 0 20 0 15 0 93707363 10916995072 86136 33554432000 4194304 4196468 140720522554720 139720927435504 139721824828034 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10326016 140720522556589 140720522556681 140720522556681 140720522559439 0
[pid=31053/tid=31061] ppid=31050 vsize=10661128 memory=344544 CPUtime=0 cores=1,3,5,7
/proc/31053/task/31061/stat : 31061 (java) S 31050 31053 27985 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 15 0 93707364 10916995072 86136 33554432000 4194304 4196468 140720522554720 139720926381728 139721824827093 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10326016 140720522556589 140720522556681 140720522556681 140720522559439 0
[pid=31053/tid=31062] ppid=31050 vsize=10661128 memory=344544 CPUtime=0 cores=1,3,5,7
/proc/31053/task/31062/stat : 31062 (java) S 31050 31053 27985 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 15 0 93707364 10916995072 86136 33554432000 4194304 4196468 140720522554720 139720925328624 139721824827093 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10326016 140720522556589 140720522556681 140720522556681 140720522559439 0
[pid=31053/tid=31063] ppid=31050 vsize=10661128 memory=344544 CPUtime=0 cores=1,3,5,7
/proc/31053/task/31063/stat : 31063 (java) S 31050 31053 27985 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93707366 10916995072 86136 33554432000 4194304 4196468 140720522554720 139720721951184 139721824835483 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10326016 140720522556589 140720522556681 140720522556681 140720522559439 0
[pid=31053/tid=31064] ppid=31050 vsize=10661128 memory=344544 CPUtime=0.65 cores=1,3,5,7
/proc/31053/task/31064/stat : 31064 (java) S 31050 31053 27985 0 -1 1077944384 4793 0 0 0 64 1 0 0 20 0 15 0 93707366 10916995072 86136 33554432000 4194304 4196468 140720522554720 139720720898288 139721824828034 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10326016 140720522556589 140720522556681 140720522556681 140720522559439 0
[pid=31053/tid=31065] ppid=31050 vsize=10661128 memory=2400 CPUtime=0.76 cores=1,3,5,7
/proc/31053/task/31065/stat : 31065 (java) S 31050 31053 27985 0 -1 1077944384 5372 0 0 0 75 1 0 0 20 0 15 0 93707366 10916995072 86136 33554432000 4194304 4196468 140720522554720 139720719845744 139721824828034 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10326016 140720522556589 140720522556681 140720522556681 140720522559439 0
[pid=31053/tid=31066] ppid=31050 vsize=10661128 memory=4140 CPUtime=0.39 cores=1,3,5,7
/proc/31053/task/31066/stat : 31066 (java) S 31050 31053 27985 0 -1 1077944384 5502 0 0 0 38 1 0 0 20 0 15 0 93707366 10916995072 86136 33554432000 4194304 4196468 140720522554720 139720718792688 139721824828034 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10326016 140720522556589 140720522556681 140720522556681 140720522559439 0
[pid=31053/tid=31067] ppid=31050 vsize=10661128 memory=27284 CPUtime=0 cores=1,3,5,7
/proc/31053/task/31067/stat : 31067 (java) S 31050 31053 27985 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93707366 10916995072 86136 33554432000 4194304 4196468 140720522554720 139720717740384 139721824827093 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10326016 140720522556589 140720522556681 140720522556681 140720522559439 0
[pid=31053/tid=31068] ppid=31050 vsize=10661128 memory=344544 CPUtime=0.48 cores=1,3,5,7
/proc/31053/task/31068/stat : 31068 (java) S 31050 31053 27985 0 -1 1077944384 1180 0 0 0 20 28 0 0 20 0 15 0 93707367 10916995072 86136 33554432000 4194304 4196468 140720522554720 139720716688432 139721824828034 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10326016 140720522556589 140720522556681 140720522556681 140720522559439 0
Current children cumulated CPU time: 2506.62 s
Current children cumulated vsize: 10661128 KiB
Current children cumulated memory: 344544 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2515.7 s]
/proc/loadavg: 1.72 1.70 1.69 3/215 31218
/proc/meminfo: memFree=22598340/32770624 swapFree=67108860/67108860
[pid=31053] ppid=31050 vsize=10661128 memory=344544 CPUtime=2520.04 cores=1,3,5,7
/proc/31053/stat : 31053 (java) S 31050 31053 27985 0 -1 1077944320 59897 0 0 0 251960 44 0 0 20 0 15 0 93707361 10916995072 86136 33554432000 4194304 4196468 140720522554720 140720522537264 139721824816887 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 10326016 140720522556589 140720522556681 140720522556681 140720522559439 0
/proc/31053/statm: 2665282 86136 3153 1 0 2627263 0
[pid=31053/tid=31055] ppid=31050 vsize=10661128 memory=344544 CPUtime=2514.44 cores=1,3,5,7
/proc/31053/task/31055/stat : 31055 (java) R 31050 31053 27985 0 -1 4202560 14944 0 0 0 251436 8 0 0 20 0 15 0 93707361 10916995072 86136 33554432000 4194304 4196468 140720522554720 139721829056496 139721465244556 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 10326016 140720522556589 140720522556681 140720522556681 140720522559439 0
[pid=31053/tid=31056] ppid=31050 vsize=10661128 memory=344544 CPUtime=0.73 cores=1,3,5,7
/proc/31053/task/31056/stat : 31056 (java) S 31050 31053 27985 0 -1 1077944384 7016 0 0 0 72 1 0 0 20 0 15 0 93707362 10916995072 86136 33554432000 4194304 4196468 140720522554720 139721431157264 139721824827093 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10326016 140720522556589 140720522556681 140720522556681 140720522559439 0
[pid=31053/tid=31057] ppid=31050 vsize=10661128 memory=280436132617296 CPUtime=0.73 cores=1,3,5,7
/proc/31053/task/31057/stat : 31057 (java) S 31050 31053 27985 0 -1 1077944384 4316 0 0 0 71 2 0 0 20 0 15 0 93707362 10916995072 86136 33554432000 4194304 4196468 140720522554720 139721430104720 139721824827093 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10326016 140720522556589 140720522556681 140720522556681 140720522559439 0
[pid=31053/tid=31058] ppid=31050 vsize=10661128 memory=344544 CPUtime=0.73 cores=1,3,5,7
/proc/31053/task/31058/stat : 31058 (java) S 31050 31053 27985 0 -1 1077944384 3310 0 0 0 72 1 0 0 20 0 15 0 93707362 10916995072 86136 33554432000 4194304 4196468 140720522554720 139721429051664 139721824827093 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10326016 140720522556589 140720522556681 140720522556681 140720522559439 0
[pid=31053/tid=31059] ppid=31050 vsize=10661128 memory=344544 CPUtime=0.74 cores=1,3,5,7
/proc/31053/task/31059/stat : 31059 (java) S 31050 31053 27985 0 -1 1077944384 5601 0 0 0 72 2 0 0 20 0 15 0 93707362 10916995072 86136 33554432000 4194304 4196468 140720522554720 139721427999120 139721824827093 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10326016 140720522556589 140720522556681 140720522556681 140720522559439 0
[pid=31053/tid=31060] ppid=31050 vsize=10661128 memory=344544 CPUtime=0.3 cores=1,3,5,7
/proc/31053/task/31060/stat : 31060 (java) S 31050 31053 27985 0 -1 1077944384 6444 0 0 0 27 3 0 0 20 0 15 0 93707363 10916995072 86136 33554432000 4194304 4196468 140720522554720 139720927435504 139721824828034 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10326016 140720522556589 140720522556681 140720522556681 140720522559439 0
[pid=31053/tid=31061] ppid=31050 vsize=10661128 memory=344544 CPUtime=0 cores=1,3,5,7
/proc/31053/task/31061/stat : 31061 (java) S 31050 31053 27985 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 15 0 93707364 10916995072 86136 33554432000 4194304 4196468 140720522554720 139720926381728 139721824827093 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10326016 140720522556589 140720522556681 140720522556681 140720522559439 0
[pid=31053/tid=31062] ppid=31050 vsize=10661128 memory=344544 CPUtime=0 cores=1,3,5,7
/proc/31053/task/31062/stat : 31062 (java) S 31050 31053 27985 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 15 0 93707364 10916995072 86136 33554432000 4194304 4196468 140720522554720 139720925328624 139721824827093 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10326016 140720522556589 140720522556681 140720522556681 140720522559439 0
[pid=31053/tid=31063] ppid=31050 vsize=10661128 memory=344544 CPUtime=0 cores=1,3,5,7
/proc/31053/task/31063/stat : 31063 (java) S 31050 31053 27985 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93707366 10916995072 86136 33554432000 4194304 4196468 140720522554720 139720721951184 139721824835483 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10326016 140720522556589 140720522556681 140720522556681 140720522559439 0
[pid=31053/tid=31064] ppid=31050 vsize=10661128 memory=344544 CPUtime=0.65 cores=1,3,5,7
/proc/31053/task/31064/stat : 31064 (java) S 31050 31053 27985 0 -1 1077944384 4793 0 0 0 64 1 0 0 20 0 15 0 93707366 10916995072 86136 33554432000 4194304 4196468 140720522554720 139720720898288 139721824828034 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10326016 140720522556589 140720522556681 140720522556681 140720522559439 0
[pid=31053/tid=31065] ppid=31050 vsize=10661128 memory=344544 CPUtime=0.76 cores=1,3,5,7
/proc/31053/task/31065/stat : 31065 (java) S 31050 31053 27985 0 -1 1077944384 5372 0 0 0 75 1 0 0 20 0 15 0 93707366 10916995072 86136 33554432000 4194304 4196468 140720522554720 139720719845744 139721824828034 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10326016 140720522556589 140720522556681 140720522556681 140720522559439 0
[pid=31053/tid=31066] ppid=31050 vsize=10661128 memory=7288 CPUtime=0.39 cores=1,3,5,7
/proc/31053/task/31066/stat : 31066 (java) S 31050 31053 27985 0 -1 1077944384 5502 0 0 0 38 1 0 0 20 0 15 0 93707366 10916995072 86136 33554432000 4194304 4196468 140720522554720 139720718792688 139721824828034 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10326016 140720522556589 140720522556681 140720522556681 140720522559439 0
[pid=31053/tid=31067] ppid=31050 vsize=10661128 memory=344544 CPUtime=0 cores=1,3,5,7
/proc/31053/task/31067/stat : 31067 (java) S 31050 31053 27985 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93707366 10916995072 86136 33554432000 4194304 4196468 140720522554720 139720717740384 139721824827093 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10326016 140720522556589 140720522556681 140720522556681 140720522559439 0
[pid=31053/tid=31068] ppid=31050 vsize=10661128 memory=344544 CPUtime=0.48 cores=1,3,5,7
/proc/31053/task/31068/stat : 31068 (java) S 31050 31053 27985 0 -1 1077944384 1180 0 0 0 20 28 0 0 20 0 15 0 93707367 10916995072 86136 33554432000 4194304 4196468 140720522554720 139720716688432 139721824828034 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10326016 140720522556589 140720522556681 140720522556681 140720522559439 0
Current children cumulated CPU time: 2520.04 s
Current children cumulated vsize: 10661128 KiB
Current children cumulated memory: 344544 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2515.73 s]
# the end of solver process 31053 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2519.63 s, system=0.452089 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2515.7 s]
/proc/loadavg: 1.72 1.70 1.69 3/215 31218
/proc/meminfo: memFree=22598340/32770624 swapFree=67108860/67108860
[pid=31053] ppid=31050 vsize=10661128 memory=344544 CPUtime=2520.04 cores=1,3,5,7
/proc/31053/stat : 31053 (java) S 31050 31053 27985 0 -1 1077944320 59897 0 0 0 251960 44 0 0 20 0 15 0 93707361 10916995072 86136 33554432000 4194304 4196468 140720522554720 140720522537264 139721824816887 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 10326016 140720522556589 140720522556681 140720522556681 140720522559439 0
/proc/31053/statm: 2665282 86136 3153 1 0 2627263 0
[pid=31053/tid=31055] ppid=31050 vsize=10661128 memory=344544 CPUtime=2514.44 cores=1,3,5,7
/proc/31053/task/31055/stat : 31055 (java) R 31050 31053 27985 0 -1 4202560 14944 0 0 0 251436 8 0 0 20 0 15 0 93707361 10916995072 86136 33554432000 4194304 4196468 140720522554720 139721829056496 139721465244556 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 10326016 140720522556589 140720522556681 140720522556681 140720522559439 0
[pid=31053/tid=31056] ppid=31050 vsize=10661128 memory=344544 CPUtime=0.73 cores=1,3,5,7
/proc/31053/task/31056/stat : 31056 (java) S 31050 31053 27985 0 -1 1077944384 7016 0 0 0 72 1 0 0 20 0 15 0 93707362 10916995072 86136 33554432000 4194304 4196468 140720522554720 139721431157264 139721824827093 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10326016 140720522556589 140720522556681 140720522556681 140720522559439 0
[pid=31053/tid=31057] ppid=31050 vsize=10661128 memory=280436132617296 CPUtime=0.73 cores=1,3,5,7
/proc/31053/task/31057/stat : 31057 (java) S 31050 31053 27985 0 -1 1077944384 4316 0 0 0 71 2 0 0 20 0 15 0 93707362 10916995072 86136 33554432000 4194304 4196468 140720522554720 139721430104720 139721824827093 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10326016 140720522556589 140720522556681 140720522556681 140720522559439 0
[pid=31053/tid=31058] ppid=31050 vsize=10661128 memory=344544 CPUtime=0.73 cores=1,3,5,7
/proc/31053/task/31058/stat : 31058 (java) S 31050 31053 27985 0 -1 1077944384 3310 0 0 0 72 1 0 0 20 0 15 0 93707362 10916995072 86136 33554432000 4194304 4196468 140720522554720 139721429051664 139721824827093 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10326016 140720522556589 140720522556681 140720522556681 140720522559439 0
[pid=31053/tid=31059] ppid=31050 vsize=10661128 memory=344544 CPUtime=0.74 cores=1,3,5,7
/proc/31053/task/31059/stat : 31059 (java) S 31050 31053 27985 0 -1 1077944384 5601 0 0 0 72 2 0 0 20 0 15 0 93707362 10916995072 86136 33554432000 4194304 4196468 140720522554720 139721427999120 139721824827093 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10326016 140720522556589 140720522556681 140720522556681 140720522559439 0
[pid=31053/tid=31060] ppid=31050 vsize=10661128 memory=344544 CPUtime=0.3 cores=1,3,5,7
/proc/31053/task/31060/stat : 31060 (java) S 31050 31053 27985 0 -1 1077944384 6444 0 0 0 27 3 0 0 20 0 15 0 93707363 10916995072 86136 33554432000 4194304 4196468 140720522554720 139720927435504 139721824828034 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10326016 140720522556589 140720522556681 140720522556681 140720522559439 0
[pid=31053/tid=31061] ppid=31050 vsize=10661128 memory=344544 CPUtime=0 cores=1,3,5,7
/proc/31053/task/31061/stat : 31061 (java) S 31050 31053 27985 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 15 0 93707364 10916995072 86136 33554432000 4194304 4196468 140720522554720 139720926381728 139721824827093 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10326016 140720522556589 140720522556681 140720522556681 140720522559439 0
[pid=31053/tid=31062] ppid=31050 vsize=10661128 memory=344544 CPUtime=0 cores=1,3,5,7
/proc/31053/task/31062/stat : 31062 (java) S 31050 31053 27985 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 15 0 93707364 10916995072 86136 33554432000 4194304 4196468 140720522554720 139720925328624 139721824827093 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10326016 140720522556589 140720522556681 140720522556681 140720522559439 0
[pid=31053/tid=31063] ppid=31050 vsize=10661128 memory=344544 CPUtime=0 cores=1,3,5,7
/proc/31053/task/31063/stat : 31063 (java) S 31050 31053 27985 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93707366 10916995072 86136 33554432000 4194304 4196468 140720522554720 139720721951184 139721824835483 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10326016 140720522556589 140720522556681 140720522556681 140720522559439 0
[pid=31053/tid=31064] ppid=31050 vsize=10661128 memory=344544 CPUtime=0.65 cores=1,3,5,7
/proc/31053/task/31064/stat : 31064 (java) S 31050 31053 27985 0 -1 1077944384 4793 0 0 0 64 1 0 0 20 0 15 0 93707366 10916995072 86136 33554432000 4194304 4196468 140720522554720 139720720898288 139721824828034 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10326016 140720522556589 140720522556681 140720522556681 140720522559439 0
[pid=31053/tid=31065] ppid=31050 vsize=10661128 memory=344544 CPUtime=0.76 cores=1,3,5,7
/proc/31053/task/31065/stat : 31065 (java) S 31050 31053 27985 0 -1 1077944384 5372 0 0 0 75 1 0 0 20 0 15 0 93707366 10916995072 86136 33554432000 4194304 4196468 140720522554720 139720719845744 139721824828034 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10326016 140720522556589 140720522556681 140720522556681 140720522559439 0
[pid=31053/tid=31066] ppid=31050 vsize=10661128 memory=7288 CPUtime=0.39 cores=1,3,5,7
/proc/31053/task/31066/stat : 31066 (java) S 31050 31053 27985 0 -1 1077944384 5502 0 0 0 38 1 0 0 20 0 15 0 93707366 10916995072 86136 33554432000 4194304 4196468 140720522554720 139720718792688 139721824828034 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10326016 140720522556589 140720522556681 140720522556681 140720522559439 0
[pid=31053/tid=31067] ppid=31050 vsize=10661128 memory=344544 CPUtime=0 cores=1,3,5,7
/proc/31053/task/31067/stat : 31067 (java) S 31050 31053 27985 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93707366 10916995072 86136 33554432000 4194304 4196468 140720522554720 139720717740384 139721824827093 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10326016 140720522556589 140720522556681 140720522556681 140720522559439 0
[pid=31053/tid=31068] ppid=31050 vsize=10661128 memory=344544 CPUtime=0.48 cores=1,3,5,7
/proc/31053/task/31068/stat : 31068 (java) S 31050 31053 27985 0 -1 1077944384 1180 0 0 0 20 28 0 0 20 0 15 0 93707367 10916995072 86136 33554432000 4194304 4196468 140720522554720 139720716688432 139721824828034 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10326016 140720522556589 140720522556681 140720522556681 140720522559439 0
Current children cumulated CPU time: 2520.04 s
Current children cumulated vsize: 10661128 KiB
Current children cumulated memory: 344544 KiB
Child status: 143
Real time (s): 2515.73
CPU time (s): 2520.08
CPU user time (s): 2519.63
CPU system time (s): 0.452089
CPU usage (%): 100.173
Max. virtual memory (cumulated for all children) (KiB): 10661128
Max. memory (cumulated for all children) (KiB): 394760
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.63
system time used= 0.452089
maximum resident set size= 398864
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 60535
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2808
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 63675
involuntary context switches= 1615
# summary of solver processes directly reported to runsolver:
# pid: 31053
# total CPU time (s): 2520.08
# total CPU user time (s): 2519.63
# total CPU system time (s): 0.452089
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.3992 second user time and 19.5179 second system time
The end
Begin job on node107 at 2018-07-28 09:04:02 IDJOB=4298536 IDBENCH=141153 IDSOLVER=2766 FILE ID=node107/4298536-1532761442 RUNJOBID= node107-1532741422-28017 PBS_JOBID= 21022454 Free space on /tmp= 54468 MiB SOLVER NAME= Solver of Xavier Schul & Yvhan Smal 2018-04-28 BENCH NAME= XCSP18/Auction/Auction-sum/Auction-sum-decay500_c18.xml COMMAND LINE= java -jar minicp-1.0.jar BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4298536-1532761442/watcher-4298536-1532761442 -o /tmp/evaluation-result-4298536-1532761442/solver-4298536-1532761442 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node107-1532741422-28017 --watchdog 2580 java -jar minicp-1.0.jar HOME/instance-4298536-1532761442.xml TIME LIMIT= 2520 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= d1d7e4f351cab0858660dafd89ccc193 RANDOM SEED=962696391 node107.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.40 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.40 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.40 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.40 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770624 kB MemFree: 21359472 kB MemAvailable: 30017900 kB Buffers: 225080 kB Cached: 8669956 kB SwapCached: 0 kB Active: 5731412 kB Inactive: 5131464 kB Active(anon): 1917176 kB Inactive(anon): 78596 kB Active(file): 3814236 kB Inactive(file): 5052868 kB Unevictable: 7164 kB Mlocked: 7164 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 900 kB Writeback: 0 kB AnonPages: 1919576 kB Mapped: 54952 kB Shmem: 25228 kB Slab: 242492 kB SReclaimable: 214320 kB SUnreclaim: 28172 kB KernelStack: 3792 kB PageTables: 9136 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 2502924 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 1810432 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 91520 kB DirectMap2M: 33454080 kB Free space on /tmp at the end= 54468 MiB End job on node107 at 2018-07-28 09:45:58