| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| CryptoMiniSat Strange-Night-1-mt (fixed) | UNSAT | 3174.84 | 795.588 |
| Name | application/leberre/ 2dimensionalstrippacking/korf-17.cnf |
| MD5SUM | ade81e5508101352b3d942708b201606 |
| Bench Category | APPLICATION (applications instances) |
| Best result obtained on this benchmark | UNSAT |
| Best CPU time to get the best result obtained on this benchmark | 505.23 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 6664 |
| Number of clauses | 89966 |
| Sum of the clauses size | 425665 |
| Maximum clause length | 36 |
| Minimum clause length | 2 |
| Number of clauses of size 1 | 0 |
| Number of clauses of size 2 | 16962 |
| Number of clauses of size 3 | 10874 |
| Number of clauses of size 4 | 12189 |
| Number of clauses of size 5 | 22355 |
| Number of clauses of size over 5 | 27586 |
0.00/0.00 c Outputting solution to console 0.00/0.01 c Using 4 threads 0.00/0.01 c This is CryptoMiniSat 2.9.0 0.00/0.01 c compiled with gcc version 4.4.5 0.00/0.01 c WARNING: for repeatability, setting FPU to use double precision 0.00/0.01 c Reading file 'HOME/instance-3369605-1305414956.cnf' 0.00/0.01 c -- header says num vars: 6664 0.00/0.01 c -- header says num clauses: 89966 0.00/0.04 c -- clauses added: 0 learnts, 89966 normals, 0 xors 0.00/0.04 c -- vars added 6664 0.00/0.04 c Parsing time: 0.11 s 0.00/0.04 c N st 0 0 6664 73004 16962 0 425665 0 no data no data -- 1.17/0.39 c asymm cl-useful: 0/7956/73004 lits-rem:0 time: 1.37 1.97/0.56 c Flit: 4 Blit: 0 bXBeca: 0 bXProp: 68 Bins: 0 BRemL: 0 BRemN: 0 P: 9.5M T: 0.65 1.97/0.57 c Replacing 68 vars Replaced 42354 lits Time: 0.04 s 2.37/0.60 c bin-w-bin subsume rem 28 bins time: 0.00 s 2.37/0.60 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.01 s 2.37/0.62 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 6592 time: 0.06 s 2.37/0.62 c Removed useless bin: 0 fixed: 0 props: 0.93M time: 0.03 s 5.16/1.30 c lits-rem: 0 cl-subs: 4 v-elim: 1008 v-fix: 0 time: 2.70 s 5.16/1.31 c Finding binary XORs T: 0.02 s found: 0 5.16/1.36 c Finding non-binary XORs: 0.21 s (found: 0, avg size: nan) 5.16/1.36 c calculated reachability. Time: 0.00 5.16/1.37 c Calc default polars - time: 0.01 s pos: 272 undec: 1080 neg: 5312 5.16/1.37 c ========================================================================================= 5.16/1.37 c types(t): F = full restart, N = normal restart 5.16/1.37 c types(t): S = simplification begin/end, E = solution found 5.16/1.37 c restart types(rt): st = static, dy = dynamic 5.16/1.37 c t rt Rest Confl Vars NormCls BinCls Learnts ClLits LtLits 5.16/1.37 c B st 0 0 5584 75160 13890 0 461157 0 no data no data -- 5.96/1.55 c N dy 19 4005 5583 75160 13996 3859 461157 117589 9.49 10.02 -- 6.76/1.78 c N dy 39 8157 5583 75160 14276 7868 461157 234324 9.32 9.93 -- 7.96/2.03 c N dy 58 12160 5582 75160 14502 11764 461157 358425 9.31 12.65 -- 9.15/2.39 c N dy 77 16647 5582 75160 14577 16147 461157 499265 9.36 10.03 -- 10.34/2.69 c Finding binary XORs T: 0.02 s found: 0 10.74/2.76 c N dy 95 20723 5581 75159 14737 10412 461038 200648 9.31 13.44 -- 11.94/3.07 c N dy 101 24827 5581 75159 14762 14463 461038 337481 9.15 9.68 -- 11.94/3.09 c F st 103 25000 5581 75159 14884 14635 461038 343592 9.17 no data -- 13.93/3.50 c N dy 109 30001 5580 75158 14926 19553 461025 494993 9.17 no data -- 13.93/3.50 c S st 109 30001 5580 75158 14926 19553 461025 494993 9.17 no data -- 14.33/3.61 c S st 109 30502 5580 75158 14960 20020 461025 505765 9.17 no data -- 14.33/3.62 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.02 14.33/3.62 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 15.93/4.01 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 1 Bins: 7935 BRemL: 15 BRemN: 0 P: 12.3M T: 1.55 15.93/4.01 c Replacing 1 vars Replaced 29 lits Time: 0.02 s 15.93/4.05 c bin-w-bin subsume rem 0 bins time: 0.01 s 16.73/4.22 c subs with bin: 84 lits-rem: 5944 v-fix: 0 time: 0.67 s 16.73/4.23 c Subs w/ non-existent bins: 1 l-rem: 544 v-fix: 0 done: 2422 time: 0.05 s 16.73/4.24 c Removed useless bin: 0 fixed: 0 props: 0.59M time: 0.02 s 27.50/6.95 c lits-rem: 1721 cl-subs: 1662 v-elim: 2 v-fix: 0 time: 10.79 s 28.30/7.12 c asymm cl-useful: 0/2204/74826 lits-rem:0 time: 0.69 28.30/7.13 c calculated reachability. Time: 0.01 28.30/7.13 c N dy 109 30502 5577 74826 22849 18607 458301 483613 9.17 no data -- 28.30/7.14 c Finding binary XORs T: 0.02 s found: 0 29.90/7.58 c N dy 132 34596 5575 74826 22875 22671 458301 624549 9.19 9.71 -- 32.29/8.13 c N dy 151 39229 5572 74826 24191 27244 458301 766270 9.10 9.61 -- 34.30/8.63 c Finding binary XORs T: 0.02 s found: 0 34.30/8.68 c N dy 171 43517 5572 74823 24301 15949 458166 305601 9.09 9.60 -- 35.48/8.91 c S st 185 45754 5572 74823 24301 18178 458166 380227 9.14 6.78 -- 35.88/9.01 c S st 185 46257 5572 74823 24301 18681 458166 393512 9.14 no data -- 35.88/9.02 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.02 35.88/9.02 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 37.08/9.33 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 68 BRemL: 75 BRemN: 0 P: 11.9M T: 1.23 37.08/9.36 c bin-w-bin subsume rem 893 bins time: 0.01 s 37.48/9.49 c subs with bin: 208 lits-rem: 762 v-fix: 0 time: 0.52 s 37.88/9.50 c Subs w/ non-existent bins: 90 l-rem: 594 v-fix: 0 done: 3271 time: 0.07 s 37.88/9.51 c Removed useless bin: 0 fixed: 0 props: 0.52M time: 0.02 s 47.06/11.88 c lits-rem: 589 cl-subs: 1465 v-elim: 5 v-fix: 0 time: 9.43 s 47.06/11.89 c vivif2 -- cl tried 74796 cl shrink 55 lits rem 55 time: 0.07 47.46/11.91 c vivif2 -- cl tried 16965 cl shrink 642 lits rem 2991 time: 0.05 47.88/12.09 c asymm cl-useful: 1/3130/74796 lits-rem:1 time: 0.70 47.88/12.09 c calculated reachability. Time: 0.01 47.88/12.09 c N dy 185 46257 5567 74796 23371 16965 458044 342034 9.14 no data -- 50.23/12.63 c N dy 215 51147 5565 74796 23392 21838 458044 524405 9.20 9.69 -- 52.67/13.21 c N dy 233 55901 5564 74796 23392 26567 458044 730078 9.14 9.67 -- 54.62/13.76 c N dy 262 59951 5564 74796 23392 30593 458044 864127 9.21 11.89 -- 57.41/14.40 c N dy 287 64133 5564 74796 23394 34749 458044 1003536 9.23 9.73 -- 59.81/15.02 c N dy 312 68453 5564 74796 23569 20674 458044 387357 9.25 9.78 -- 60.21/15.14 c S st 318 69388 5564 74796 23569 21609 458044 420587 9.25 8.78 -- 60.61/15.26 c S st 318 69893 5564 74796 23570 22111 458044 437102 9.25 no data -- 60.61/15.27 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.02 60.61/15.27 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 61.80/15.58 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 2 Bins: 114 BRemL: 46 BRemN: 0 P: 12.3M T: 1.24 61.80/15.59 c Replacing 2 vars Replaced 1179 lits Time: 0.05 s 62.20/15.62 c bin-w-bin subsume rem 2 bins time: 0.01 s 62.60/15.75 c subs with bin: 90 lits-rem: 476 v-fix: 0 time: 0.52 s 62.60/15.77 c Subs w/ non-existent bins: 10 l-rem: 273 v-fix: 0 done: 1848 time: 0.05 s 62.60/15.77 c Removed useless bin: 0 fixed: 0 props: 0.49M time: 0.02 s 73.38/18.40 c lits-rem: 735 cl-subs: 1075 v-elim: 2 v-fix: 0 time: 10.49 s 73.38/18.42 c vivif2 -- cl tried 74189 cl shrink 0 lits rem 0 time: 0.07 73.38/18.43 c vivif2 -- cl tried 21525 cl shrink 429 lits rem 2146 time: 0.06 74.19/18.62 c asymm cl-useful: 0/2684/74189 lits-rem:0 time: 0.72 74.19/18.62 c calculated reachability. Time: 0.01 74.19/18.62 c N dy 318 69893 5560 74189 23562 21525 453865 424149 9.25 no data -- 77.37/19.41 c N dy 319 75128 5559 74189 23651 26739 453865 776328 9.10 9.62 -- 78.58/19.74 c Finding binary XORs T: 0.02 s found: 0 79.75/20.09 c N dy 347 80009 5559 74189 23635 31593 453819 942338 9.15 10.83 -- 83.39/20.94 c N dy 370 85134 5559 74189 23845 36671 453819 1152820 9.12 10.36 -- 84.95/21.34 c F st 383 87502 5559 74189 23846 39021 453819 1234424 9.13 8.14 -- 86.94/21.83 c N st 388 90798 5559 74189 23852 21703 453819 397549 9.13 no data -- 90.93/22.85 c N dy 399 98549 5558 74189 23855 29387 453819 884276 9.04 9.63 -- 94.52/23.78 c N dy 441 104843 5558 74189 23858 35638 453819 1102368 9.09 no data -- 94.52/23.78 c S st 441 104843 5558 74189 23858 35638 453819 1102368 9.09 no data -- 95.32/23.93 c S st 441 105348 5558 74189 23858 36142 453819 1119613 9.09 no data -- 95.32/23.94 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.03 95.32/23.94 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 96.92/24.33 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 1 Bins: 118 BRemL: 44 BRemN: 0 P: 14.1M T: 1.54 96.92/24.35 c Replacing 1 vars Replaced 58 lits Time: 0.06 s 97.32/24.40 c bin-w-bin subsume rem 1 bins time: 0.01 s 100.11/25.10 c subs with bin: 122 lits-rem: 339 v-fix: 0 time: 2.79 s 100.11/25.12 c Subs w/ non-existent bins: 19 l-rem: 167 v-fix: 0 done: 2776 time: 0.06 s 100.11/25.12 c Removed useless bin: 0 fixed: 0 props: 0.46M time: 0.02 s 109.72/27.52 c lits-rem: 1137 cl-subs: 1025 v-elim: 0 v-fix: 0 time: 9.57 s 109.72/27.54 c vivif2 -- cl tried 73998 cl shrink 0 lits rem 0 time: 0.07 109.72/27.59 c vivif2 -- cl tried 35166 cl shrink 2654 lits rem 14960 time: 0.19 110.48/27.77 c asymm cl-useful: 0/2579/73998 lits-rem:0 time: 0.74 110.48/27.78 c calculated reachability. Time: 0.01 110.48/27.78 c N dy 441 105348 5557 73998 23910 35166 452595 1072971 9.09 no data -- 112.08/28.14 c Finding binary XORs T: 0.02 s found: 0 115.27/28.97 c N dy 466 112136 5557 73998 24091 41904 452595 1378257 9.05 12.20 -- 120.06/30.12 c N dy 491 119361 5557 73998 24107 26880 452595 543507 9.01 9.91 -- 124.85/31.39 c N dy 526 127286 5557 73998 24112 34751 452595 902139 8.99 9.66 -- 132.03/33.15 c N dy 541 135555 5557 73998 24118 42930 452595 1308562 8.92 9.40 -- 138.81/34.83 c N dy 579 144224 5557 73998 24131 28029 452595 576980 8.92 9.42 -- 145.20/36.46 c N dy 609 153437 5556 73998 24264 37138 452595 944233 8.88 9.36 -- 148.82/37.32 c S st 640 158022 5556 73998 24268 41702 452595 1110991 8.91 7.45 -- 149.23/37.49 c S st 640 158525 5556 73998 24273 42204 452595 1125956 8.91 no data -- 149.59/37.50 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.03 149.59/37.50 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 151.19/37.90 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 114 BRemL: 16 BRemN: 0 P: 14.8M T: 1.58 151.19/37.96 c bin-w-bin subsume rem 3 bins time: 0.01 s 153.62/38.53 c subs with bin: 528 lits-rem: 482 v-fix: 0 time: 2.27 s 153.62/38.54 c Subs w/ non-existent bins: 0 l-rem: 1969 v-fix: 0 done: 310 time: 0.06 s 153.62/38.55 c Removed useless bin: 0 fixed: 0 props: 0.45M time: 0.02 s 165.95/41.66 c lits-rem: 1452 cl-subs: 699 v-elim: 0 v-fix: 0 time: 12.43 s 165.95/41.68 c vivif2 -- cl tried 73995 cl shrink 0 lits rem 0 time: 0.07 166.37/41.74 c vivif2 -- cl tried 38557 cl shrink 3914 lits rem 14404 time: 0.21 167.14/41.94 c asymm cl-useful: 0/2472/73995 lits-rem:0 time: 0.80 167.14/41.94 c calculated reachability. Time: 0.01 167.14/41.94 c N dy 640 158525 5556 73995 24342 38557 452510 1056343 8.91 no data -- 167.14/41.95 c Finding binary XORs T: 0.02 s found: 0 175.57/44.02 c N dy 685 168674 5555 73995 24369 25225 452510 476495 8.90 9.38 -- 182.32/45.74 c N dy 743 180062 5555 73995 24380 36550 452510 1042381 8.90 9.44 -- 190.70/47.85 c N dy 808 191599 5554 73995 24588 48025 452510 1560522 8.93 11.61 -- 199.48/50.04 c N dy 874 203958 5554 73995 24597 35170 452510 845154 8.95 9.47 -- 200.28/50.20 c Finding binary XORs T: 0.02 s found: 0 209.85/52.69 c N dy 949 217163 5554 73993 24553 48112 452482 1396926 8.97 9.46 -- 221.83/55.64 c N dy 1033 231493 5553 73993 24571 35936 452482 771980 9.01 9.53 -- 226.61/56.86 c S st 1082 237787 5553 73993 24572 42202 452482 1048562 9.05 no data -- 227.41/57.06 c S st 1082 238289 5553 73993 24572 42704 452482 1064999 9.05 no data -- 227.41/57.07 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.03 227.41/57.07 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 229.01/57.47 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 174 BRemL: 50 BRemN: 0 P: 15.7M T: 1.61 229.41/57.53 c bin-w-bin subsume rem 6 bins time: 0.01 s 231.81/58.12 c subs with bin: 338 lits-rem: 5234 v-fix: 0 time: 2.35 s 231.81/58.13 c Subs w/ non-existent bins: 37 l-rem: 442 v-fix: 0 done: 2310 time: 0.06 s 231.81/58.14 c Removed useless bin: 0 fixed: 0 props: 0.44M time: 0.02 s 244.58/61.34 c lits-rem: 2803 cl-subs: 3132 v-elim: 3 v-fix: 0 time: 12.79 s 244.58/61.36 c vivif2 -- cl tried 73941 cl shrink 8 lits rem 12 time: 0.07 244.98/61.42 c vivif2 -- cl tried 38755 cl shrink 4800 lits rem 17706 time: 0.21 245.81/61.63 c asymm cl-useful: 0/2700/73941 lits-rem:0 time: 0.84 245.81/61.64 c calculated reachability. Time: 0.01 245.81/61.64 c N dy 1082 238289 5550 73941 24614 38755 452080 935619 9.05 no data -- 246.97/61.99 c Finding binary XORs T: 0.02 s found: 0 259.34/65.02 c N dy 1159 254077 5549 73940 24832 54213 452067 1563901 9.05 9.60 -- 271.32/68.04 c N dy 1259 270367 5549 73940 24842 43176 452067 1028222 9.08 10.73 -- 288.07/72.27 c N dy 1346 288452 5549 73940 24853 32584 452067 556567 9.08 9.58 -- 293.27/73.56 c Finding binary XORs T: 0.02 s found: 0 303.23/76.05 c F st 1439 306250 5549 73940 25130 50245 452067 1261656 9.10 9.18 -- 304.03/76.21 c N st 1441 306877 5549 73940 25130 50869 452067 1296242 9.10 no data -- 320.44/80.34 c N dy 1548 326518 5549 73940 25143 40749 452067 834384 9.15 9.65 -- 339.15/85.04 c N dy 1678 346528 5548 73940 25151 60638 452067 1579700 9.20 9.73 -- 347.13/87.09 c S st 1738 357435 5548 73940 25156 40755 452067 763254 9.22 6.16 -- 347.93/87.28 c S st 1738 357937 5548 73940 25157 41256 452067 779331 9.22 no data -- 347.93/87.29 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.03 347.93/87.29 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 349.93/87.71 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 201 BRemL: 45 BRemN: 0 P: 14.6M T: 1.71 349.93/87.76 c bin-w-bin subsume rem 2 bins time: 0.01 s 351.52/88.14 c subs with bin: 286 lits-rem: 1646 v-fix: 0 time: 1.51 s 351.52/88.16 c Subs w/ non-existent bins: 101 l-rem: 796 v-fix: 0 done: 3412 time: 0.07 s 351.52/88.17 c Removed useless bin: 0 fixed: 0 props: 0.44M time: 0.02 s 360.31/90.30 c lits-rem: 1467 cl-subs: 3803 v-elim: 11 v-fix: 0 time: 8.52 s 360.31/90.32 c vivif2 -- cl tried 73955 cl shrink 4 lits rem 4 time: 0.07 360.31/90.35 c vivif2 -- cl tried 36810 cl shrink 2093 lits rem 7642 time: 0.14 361.11/90.55 c asymm cl-useful: 3/3279/73955 lits-rem:6 time: 0.80 361.11/90.56 c calculated reachability. Time: 0.01 361.11/90.56 c N dy 1738 357937 5537 73955 25198 36810 452247 662627 9.22 no data -- 361.11/90.57 c Finding binary XORs T: 0.02 s found: 0 378.26/94.83 c N dy 1841 377962 5537 73955 25426 56697 452247 1439224 9.22 10.74 -- 395.06/99.08 c Finding binary XORs T: 0.02 s found: 0 395.42/99.17 c N dy 1939 398065 5537 73955 25440 45080 452247 990343 9.22 11.12 -- 416.19/104.30 c N dy 2040 418175 5537 73955 25454 65029 452247 1752521 9.22 9.71 -- 431.35/108.11 c N dy 2145 438521 5537 73955 25473 52559 452247 1202762 9.22 9.88 -- 450.10/112.81 c N dy 2259 458539 5536 73955 25494 38738 452247 604267 9.24 15.12 -- 466.86/117.07 c N dy 2363 478714 5534 73955 25507 58783 452247 1408754 9.24 9.74 -- 485.62/121.72 c N dy 2460 498795 5534 73955 25526 43980 452247 771413 9.24 9.81 -- 503.58/126.20 c N dy 2560 518884 5534 73955 25538 63925 452247 1534738 9.25 9.79 -- 519.14/130.15 c S st 2646 536905 5534 73955 25545 46092 452247 792828 9.25 9.26 -- 519.94/130.32 c S st 2646 537405 5534 73955 25553 46592 452247 808208 9.25 no data -- 519.94/130.32 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.03 519.94/130.33 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 521.54/130.73 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 201 BRemL: 101 BRemN: 0 P: 15.2M T: 1.63 521.54/130.78 c bin-w-bin subsume rem 7 bins time: 0.01 s 523.12/131.17 c subs with bin: 588 lits-rem: 4789 v-fix: 0 time: 1.52 s 523.12/131.18 c Subs w/ non-existent bins: 45 l-rem: 1119 v-fix: 0 done: 1538 time: 0.06 s 523.12/131.19 c Removed useless bin: 0 fixed: 0 props: 0.44M time: 0.02 s 532.31/133.49 c lits-rem: 1320 cl-subs: 3082 v-elim: 6 v-fix: 0 time: 9.18 s 532.71/133.51 c vivif2 -- cl tried 73888 cl shrink 9 lits rem 30 time: 0.07 532.71/133.55 c vivif2 -- cl tried 42299 cl shrink 2965 lits rem 10691 time: 0.16 533.50/133.77 c asymm cl-useful: 18/2372/73888 lits-rem:34 time: 0.88 533.50/133.77 c calculated reachability. Time: 0.01 533.50/133.77 c N dy 2646 537405 5528 73888 25482 42298 451665 713483 9.25 no data -- 533.50/133.78 c Finding binary XORs T: 0.02 s found: 0 552.68/138.55 c N dy 2728 557825 5528 73888 25507 62510 451665 1459622 9.23 9.89 -- 572.22/143.40 c N dy 2802 577908 5527 73888 25530 46066 451665 805649 9.22 9.88 -- 590.17/147.91 c N dy 2900 597942 5527 73888 25539 65924 451665 1557435 9.22 13.02 -- 609.75/152.83 c N dy 3006 617957 5527 73888 25552 48242 451665 829480 9.23 12.19 -- 621.31/155.72 c Finding binary XORs T: 0.02 s found: 0 630.09/157.99 c N dy 3104 638573 5527 73887 25877 68376 451652 1615601 9.23 9.77 -- 646.04/161.96 c Finding binary XORs T: 0.02 s found: 0 649.26/162.80 c N dy 3196 658610 5526 73886 26243 49489 451639 851114 9.23 10.15 -- 669.99/167.99 c N dy 3289 678634 5526 73886 26256 69338 451639 1580577 9.23 9.76 -- 692.33/173.56 c N dy 3374 698757 5526 73886 26268 49885 451639 812507 9.22 9.82 -- 703.91/176.47 c Finding binary XORs T: 0.02 s found: 0 713.08/178.70 c N dy 3490 718981 5526 73886 26505 69936 451639 1569321 9.23 9.80 -- 733.83/183.97 c N dy 3591 739020 5526 73886 26517 49303 451639 789170 9.23 10.36 -- 753.80/188.95 c N dy 3689 759057 5526 73886 26550 69155 451639 1559683 9.23 10.00 -- 774.95/194.24 c N dy 3786 779099 5525 73886 26569 47459 451639 704157 9.23 13.30 -- 793.31/198.85 c N dy 3888 799144 5524 73886 26589 67302 451639 1456853 9.24 10.24 -- 802.08/201.01 c S st 3941 806107 5524 73886 26594 74186 451639 1713381 9.25 no data -- 802.90/201.27 c S st 3941 806607 5524 73886 26594 74686 451639 1730263 9.25 no data -- 802.90/201.28 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.04 802.90/201.28 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 804.88/201.79 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 251 BRemL: 149 BRemN: 0 P: 18.0M T: 2.05 805.28/201.88 c bin-w-bin subsume rem 9 bins time: 0.01 s 810.86/203.29 c subs with bin: 1951 lits-rem: 9288 v-fix: 0 time: 5.65 s 811.26/203.32 c Subs w/ non-existent bins: 81 l-rem: 1738 v-fix: 0 done: 484 time: 0.10 s 811.26/203.32 c Removed useless bin: 0 fixed: 0 props: 0.45M time: 0.02 s 839.59/210.46 c lits-rem: 2980 cl-subs: 7491 v-elim: 10 v-fix: 0 time: 28.45 s 839.59/210.48 c vivif2 -- cl tried 73775 cl shrink 10 lits rem 24 time: 0.08 839.99/210.57 c vivif2 -- cl tried 63617 cl shrink 8570 lits rem 34353 time: 0.39 841.19/210.84 c asymm cl-useful: 39/2013/73775 lits-rem:39 time: 1.07 841.19/210.85 c calculated reachability. Time: 0.01 841.19/210.85 c N dy 3941 806607 5514 73775 26461 63611 450884 1390855 9.25 no data -- 841.19/210.85 c Finding binary XORs T: 0.02 s found: 0 866.33/217.19 c N dy 4052 826804 5512 73775 26508 41935 450884 492380 9.26 9.82 -- 885.49/221.90 c N dy 4171 847137 5512 73775 26512 62072 450884 1222676 9.27 9.84 -- 909.83/228.07 c N dy 4284 867350 5512 73775 26528 82073 450884 1946752 9.28 9.83 -- 930.21/233.14 c N dy 4395 887379 5510 73775 26565 58741 450884 1032991 9.28 14.16 -- 954.12/239.17 c N dy 4523 907895 5510 73775 26572 79121 450884 1809281 9.30 9.83 -- 977.27/244.94 c N dy 4629 928216 5509 73775 26589 54932 450884 881640 9.31 9.80 -- 999.22/250.49 c N dy 4740 948263 5509 73775 26599 74813 450884 1615610 9.32 9.82 -- 1024.76/256.90 c N dy 4863 968899 5509 73775 26616 49798 450884 661403 9.33 9.96 -- 1045.11/261.96 c N dy 5004 988900 5508 73775 26626 69655 450884 1394070 9.35 9.93 -- 1072.25/268.71 c N dy 5137 1009138 5508 73775 26633 89750 450884 2160401 9.37 9.93 -- 1077.04/269.91 c Finding binary XORs T: 0.02 s found: 0 1093.41/274.08 c N dy 5265 1029227 5508 73770 26671 62144 450771 1116612 9.39 9.96 -- 1118.97/280.42 c N dy 5382 1049229 5508 73770 26676 81978 450771 1822085 9.40 10.08 -- 1144.89/286.95 c N dy 5505 1069284 5508 73770 26690 54760 450771 806876 9.42 13.05 -- 1147.69/287.61 c F st 5525 1071877 5508 73770 26690 57334 450771 897752 9.42 no data -- 1166.85/292.48 c N dy 5605 1089312 5508 73770 26702 74618 450771 1538907 9.43 10.05 -- 1194.76/299.44 c N dy 5735 1109393 5508 73770 26721 94538 450771 2284704 9.44 11.96 -- 1216.32/304.89 c N dy 5867 1130010 5507 73770 26731 66646 450771 1199127 9.45 10.10 -- 1243.06/311.57 c N dy 5988 1150129 5507 73770 26735 86583 450771 1933342 9.47 10.01 -- 1266.20/317.38 c Finding binary XORs T: 0.02 s found: 0 1270.99/318.58 c N dy 6100 1170187 5507 73769 26882 56411 450758 825962 9.48 10.05 -- 1294.15/324.34 c N dy 6215 1190247 5506 73769 26893 76290 450758 1569576 9.49 10.37 -- 1300.13/325.87 c Finding binary XORs T: 0.02 s found: 0 1321.32/331.13 c S st 6293 1209910 5505 73767 27104 95160 450732 2259995 9.49 9.19 -- 1322.48/331.44 c S st 6293 1210414 5505 73767 27104 95662 450732 2275318 9.49 no data -- 1322.48/331.45 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.04 1322.48/331.45 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 1324.88/332.04 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 191 BRemL: 180 BRemN: 3 P: 19.9M T: 2.39 1325.29/332.14 c bin-w-bin subsume rem 14 bins time: 0.01 s 1332.05/333.84 c subs with bin: 1328 lits-rem: 6707 v-fix: 0 time: 6.78 s 1332.05/333.86 c Subs w/ non-existent bins: 74 l-rem: 637 v-fix: 0 done: 1891 time: 0.08 s 1332.05/333.86 c Removed useless bin: 0 fixed: 0 props: 0.45M time: 0.02 s 1378.74/345.51 c lits-rem: 2578 cl-subs: 17115 v-elim: 13 v-fix: 0 time: 46.45 s 1378.74/345.53 c vivif2 -- cl tried 73244 cl shrink 63 lits rem 78 time: 0.07 1379.14/345.66 c vivif2 -- cl tried 77695 cl shrink 14986 lits rem 47986 time: 0.54 1380.34/345.95 c asymm cl-useful: 12/1736/73244 lits-rem:12 time: 1.14 1380.34/345.96 c calculated reachability. Time: 0.01 1380.34/345.96 c N dy 6293 1210414 5492 73244 26909 77695 446939 1684040 9.49 no data -- 1393.12/349.18 c Finding binary XORs T: 0.02 s found: 0 1408.27/352.91 c N dy 6357 1230616 5491 73243 26937 96713 446926 2419580 9.48 10.01 -- 1428.62/358.02 c N dy 6417 1250942 5491 73243 26950 67533 446926 1214919 9.47 10.06 -- 1453.01/364.15 c N dy 6479 1271128 5491 73243 26969 87500 446926 1946958 9.46 10.01 -- 1479.35/370.71 c N dy 6542 1291839 5490 73243 26997 57117 446926 801967 9.45 10.05 -- 1499.27/375.77 c N dy 6615 1312070 5490 73243 27012 77109 446926 1511607 9.44 9.95 -- 1527.22/382.76 c N dy 6706 1332987 5490 73243 27023 97819 446926 2237422 9.44 9.96 -- 1549.95/388.40 c N dy 6786 1353046 5490 73243 27030 65573 446926 1042496 9.43 9.97 -- 1575.09/394.76 c N dy 6868 1373207 5490 73243 27048 85540 446926 1738555 9.43 10.02 -- 1592.26/399.02 c Finding binary XORs T: 0.02 s found: 0 1606.24/402.60 c N dy 6939 1393289 5490 73242 27219 105124 446913 2415119 9.42 9.92 -- 1626.18/407.54 c N dy 7043 1413385 5489 73242 27229 71897 446913 1241165 9.42 9.96 -- 1651.31/413.89 c N dy 7144 1433830 5488 73242 27253 92120 446913 1963618 9.42 10.43 -- 1679.65/420.95 c N dy 7232 1454167 5487 73242 27269 57945 446913 714966 9.42 9.92 -- 1702.00/426.57 c N dy 7315 1474303 5487 73242 27289 77818 446913 1448354 9.42 9.95 -- 1731.13/433.82 c N dy 7412 1494897 5486 73242 27301 98187 446913 2158891 9.42 9.92 -- 1757.87/440.55 c N dy 7512 1515020 5485 73242 27321 62775 446913 869496 9.42 9.95 -- 1781.02/446.34 c N dy 7614 1535129 5485 73242 27334 82663 446913 1588305 9.42 9.95 -- 1810.14/453.65 c N dy 7690 1555290 5484 73242 27355 102574 446913 2264589 9.41 9.94 -- 1837.29/460.44 c N dy 7795 1575362 5482 73242 27370 66125 446913 946346 9.41 12.58 -- 1859.63/466.08 c N dy 7877 1595661 5480 73242 27393 86214 446913 1661215 9.41 9.93 -- 1869.63/468.55 c Finding binary XORs T: 0.02 s found: 0 1889.57/473.58 c N dy 7998 1615785 5480 73234 27031 101166 446710 2325842 9.42 10.12 -- 1916.69/480.30 c N dy 8115 1636034 5480 73234 27048 66375 446710 1041281 9.43 9.95 -- 1942.64/486.83 c N dy 8237 1656196 5480 73234 27058 86351 446710 1765765 9.44 9.94 -- 1978.95/495.99 c N dy 8360 1676290 5480 73234 27069 106272 446710 2475930 9.45 9.98 -- 1992.96/499.46 c Finding binary XORs T: 0.02 s found: 0 2008.09/503.26 c N dy 8483 1696295 5479 73233 27497 68631 446695 1049678 9.45 18.65 -- 2024.84/507.44 c S st 8568 1710414 5478 73233 27505 82622 446695 1533702 9.46 9.70 -- 2026.04/507.73 c S st 8568 1710915 5478 73233 27505 83123 446695 1549293 9.46 no data -- 2026.04/507.74 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.04 2026.04/507.74 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 2028.43/508.32 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 148 BRemL: 351 BRemN: 0 P: 20.2M T: 2.30 2028.83/508.40 c bin-w-bin subsume rem 22 bins time: 0.01 s 2032.83/509.43 c subs with bin: 1961 lits-rem: 10105 v-fix: 0 time: 4.11 s 2032.83/509.46 c Subs w/ non-existent bins: 543 l-rem: 1863 v-fix: 0 done: 1382 time: 0.13 s 2032.83/509.47 c Removed useless bin: 1 fixed: 0 props: 0.45M time: 0.02 s 2057.98/515.71 c lits-rem: 2219 cl-subs: 12356 v-elim: 33 v-fix: 0 time: 24.94 s 2057.98/515.73 c vivif2 -- cl tried 72456 cl shrink 49 lits rem 74 time: 0.07 2058.40/515.82 c vivif2 -- cl tried 69093 cl shrink 8189 lits rem 26305 time: 0.32 2059.57/516.10 c asymm cl-useful: 14/2011/72453 lits-rem:14 time: 1.14 2059.57/516.11 c calculated reachability. Time: 0.01 2059.57/516.11 c N dy 8568 1710915 5445 72453 26833 69090 442517 1148289 9.46 no data -- 2071.56/519.13 c Finding binary XORs T: 0.02 s found: 0 2085.50/522.61 c N dy 8644 1731047 5445 72453 26847 89045 442517 1858217 9.45 10.15 -- 2118.63/530.90 c N dy 8697 1752232 5445 72453 26859 109965 442517 2598507 9.44 10.05 -- 2144.17/537.34 c N dy 8774 1772307 5445 72453 26885 71248 442517 1207901 9.44 10.01 -- 2172.94/544.55 c N dy 8846 1792422 5445 72453 26905 91162 442517 1917506 9.43 10.19 -- 2206.83/553.04 c N dy 8919 1813271 5443 72453 26936 111803 442517 2679348 9.43 9.93 -- 2237.16/560.63 c N dy 8989 1833510 5443 72453 26966 71778 442517 1037643 9.42 9.97 -- 2264.71/567.56 c N dy 9063 1854202 5440 72453 26981 92211 442517 1768391 9.42 9.95 -- 2269.87/568.81 c Finding binary XORs T: 0.02 s found: 0 2296.21/575.42 c N dy 9151 1874416 5439 72448 26968 109019 442450 2404233 9.41 10.20 -- 2321.77/581.86 c N dy 9219 1894514 5439 72448 26990 69406 442450 987963 9.41 9.99 -- 2346.10/587.95 c N dy 9309 1914633 5439 72448 27004 89315 442450 1700663 9.40 9.96 -- 2376.44/595.53 c N dy 9410 1934972 5438 72448 27030 109426 442450 2391969 9.40 9.98 -- 2407.96/603.41 c N dy 9514 1955357 5437 72448 27059 68172 442450 868269 9.40 9.96 -- 2430.71/609.12 c N dy 9619 1975432 5436 72448 27079 88069 442450 1633778 9.40 10.48 -- 2460.24/616.59 c N dy 9697 1995504 5435 72448 27101 107850 442450 2289279 9.40 9.91 -- 2494.56/625.14 c N dy 9802 2016144 5434 72448 27122 65421 442450 753851 9.40 10.13 -- 2517.31/630.88 c N dy 9887 2036397 5434 72448 27129 85446 442450 1476527 9.40 9.90 -- 2547.23/638.31 c N dy 9980 2056871 5433 72448 27143 105652 442450 2185688 9.40 9.95 -- 2547.23/638.34 c Finding binary XORs T: 0.02 s found: 0 2580.37/646.67 c N dy 10079 2077011 5431 72441 26879 121421 442351 2800071 9.40 10.07 -- 2602.32/652.13 c N dy 10148 2097635 5431 72441 26888 79856 442351 1461111 9.40 9.96 -- 2630.25/659.15 c N dy 10243 2118692 5430 72441 26900 100699 442351 2147400 9.40 10.15 -- 2662.97/667.38 c N dy 10360 2138695 5430 72441 26929 120470 442351 2829930 9.40 9.91 -- 2690.94/674.33 c N dy 10471 2158779 5429 72441 26952 76243 442351 1105566 9.40 14.44 -- 2716.45/680.78 c N dy 10572 2179309 5429 72441 26968 96533 442351 1794308 9.40 9.93 -- 2748.37/688.71 c N dy 10672 2199774 5428 72441 26977 116725 442351 2483600 9.40 10.02 -- 2752.41/689.78 c Finding binary XORs T: 0.02 s found: 0 2769.14/694.00 c S st 10737 2210916 5425 72436 27120 125936 442236 2831399 9.41 no data -- 2771.12/694.43 c S st 10737 2211417 5425 72436 27121 126436 442236 2846876 9.41 no data -- 2771.12/694.44 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.06 2771.12/694.44 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 2773.94/695.20 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 1 Bins: 137 BRemL: 335 BRemN: 8 P: 24.4M T: 3.04 2774.36/695.24 c Replacing 1 vars Replaced 607 lits Time: 0.14 s 2774.71/695.36 c bin-w-bin subsume rem 17 bins time: 0.01 s 2782.30/697.27 c subs with bin: 3958 lits-rem: 21707 v-fix: 0 time: 7.65 s 2782.30/697.31 c Subs w/ non-existent bins: 340 l-rem: 1934 v-fix: 0 done: 1419 time: 0.13 s 2782.72/697.32 c Removed useless bin: 0 fixed: 0 props: 0.44M time: 0.02 s 2876.48/720.89 c lits-rem: 353 cl-subs: 33455 v-elim: 45 v-fix: 0 time: 94.03 s 2876.88/720.91 c vivif2 -- cl tried 71157 cl shrink 89 lits rem 198 time: 0.07 2877.27/721.08 c vivif2 -- cl tried 89656 cl shrink 19917 lits rem 60219 time: 0.67 2878.87/721.41 c asymm cl-useful: 28/1332/71152 lits-rem:28 time: 1.33 2878.87/721.42 c calculated reachability. Time: 0.01 2878.87/721.42 c N dy 10737 2211417 5379 71152 26386 89648 435008 1704314 9.41 no data -- 2890.05/724.25 c Finding binary XORs T: 0.02 s found: 0 2909.21/729.06 c N dy 10820 2231462 5374 71147 26466 107554 434940 2312648 9.40 10.02 -- 2943.13/737.54 c N dy 10903 2251542 5373 71147 26624 64039 434940 712977 9.40 10.06 -- 2943.93/737.72 c Finding binary XORs T: 0.02 s found: 1 2964.68/742.93 c N dy 10978 2271653 5369 71146 26618 83647 434927 1358043 9.40 9.93 -- 2991.81/749.74 c N dy 11044 2291891 5367 71146 26650 103598 434927 1996394 9.39 9.90 -- 3026.53/758.43 c N dy 11132 2312447 5363 71146 26669 123904 434927 2647810 9.39 9.92 -- 3051.27/764.60 c N dy 11216 2332518 5361 71146 26694 78100 434927 1157047 9.39 11.59 -- 3074.42/770.44 c N dy 11306 2352578 5359 71146 26715 97899 434927 1823621 9.39 9.97 -- 3106.75/778.56 c N dy 11371 2372632 5354 71146 26777 117614 434927 2400321 9.38 10.44 -- 3113.93/780.35 c Finding binary XORs T: 0.02 s found: 0 3141.07/787.13 c N dy 11455 2392913 5346 71126 26388 65778 434647 733803 9.38 9.95 -- 3163.02/792.63 c N dy 11514 2413089 5342 71126 26433 85481 434647 1234624 9.37 9.97 -- 3174.58/795.55 c Following stats are for *FIRST FINISHED THREAD ONLY* 3174.58/795.55 c num threads : 4 3174.58/795.55 c restarts : 10240 3174.58/795.55 c dynamic restarts : 10216 3174.58/795.55 c static restarts : 24 3174.58/795.55 c full restarts : 4 3174.58/795.55 c total simplify time : 2.54 3174.58/795.55 c learnts DL2 : 0 3174.58/795.55 c learnts size 2 : 37788 3174.58/795.55 c learnts size 1 : 1051 (15.77 % of vars) 3174.58/795.55 c filedLit time : 15.02 (0.47 % time) 3174.58/795.55 c v-elim SatELite : 1115 (16.73 % vars) 3174.58/795.55 c SatELite time : 205.55 (6.48 % time) 3174.58/795.55 c v-elim xor : 0 (0.00 % vars) 3174.58/795.55 c xor elim time : 0.22 (0.01 % time) 3174.58/795.55 c num binary xor trees : 73 3174.58/795.55 c binxor trees' crown : 75 (1.03 leafs/tree) 3174.58/795.55 c bin xor find time : 0.62 3174.58/795.55 c OTF clause improved : 23236 (0.01 clauses/conflict) 3174.58/795.55 c OTF impr. size diff : 28559 (1.23 lits/clause) 3174.58/795.55 c OTF cl watch-shrink : 1763300 (0.73 clauses/conflict) 3174.58/795.55 c OTF cl watch-sh-lit : 9836390 (5.58 lits/clause) 3174.58/795.55 c tried to recurMin cls : 922083 (38.40 % of conflicts) 3174.58/795.55 c updated cache : 36017 (0.04 lits/tried recurMin) 3174.58/795.55 c unit cls received : 55 (5.23 % of units) 3174.58/795.55 c unit cls sent : 79 (7.52 % of units) 3174.58/795.55 c bin cls received : 6991 3174.58/795.55 c bin cls sent : 6716 3174.58/795.55 c clauses over max glue : 0 (0.00 % of all clauses) 3174.58/795.55 c conflicts : 2400969 (756.72 / sec) 3174.58/795.55 c decisions : 3272371 (0.88 % random) 3174.58/795.55 c bogo-props : 69685049696 (21962942.85 / sec) 3174.58/795.55 c conflict literals : 85061759 (49.40 % deleted) 3174.58/795.55 c Memory used : 839.61 MB 3174.58/795.55 c single-thread CPU time : 3172.85 s 3174.58/795.55 c all-threads sum CPU time : 3172.85 s 3174.58/795.55 s UNSATISFIABLE
No possible verification on an UNSAT instance
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL This is runsolver version 3.3.0 (svn: 961) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3369605-1305414956/watcher-3369605-1305414956 -o /tmp/evaluation-result-3369605-1305414956/solver-3369605-1305414956 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3369605-1305414956.cnf running on 4 cores: 0,2,4,6 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 4800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 4830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1300 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 6.77 7.76 7.49 6/298 21704 /proc/meminfo: memFree=27742952/32951124 swapFree=63649232/67111528 [pid=21704] ppid=21702 vsize=51236 CPUtime=0 cores=0,2,4,6 /proc/21704/stat : 21704 (strangenight1-m) R 21702 21704 21663 0 -1 4202496 412 0 0 0 0 0 0 0 23 0 4 0 653094105 52465664 353 33554432000 4194304 4650419 140736189513760 18446744073709551615 47715259303852 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0 /proc/21704/statm: 12809 353 303 112 0 7774 0 [pid=21704/tid=21705] ppid=21702 vsize=51236 CPUtime=0 cores=0,2,4,6 /proc/21704/task/21705/stat : 21705 (strangenight1-m) R 21702 21704 21663 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 4 0 653094105 52465664 353 33554432000 4194304 4650419 140736189513760 18446744073709551615 47715259303852 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=21704/tid=21706] ppid=21702 vsize=51236 CPUtime=0 cores=0,2,4,6 /proc/21704/task/21706/stat : 21706 (strangenight1-m) R 21702 21704 21663 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 4 0 653094105 52465664 353 33554432000 4194304 4650419 140736189513760 18446744073709551615 47715259303858 0 0 4096 2 0 0 0 -1 2 0 0 0 [pid=21704/tid=21707] ppid=21702 vsize=51236 CPUtime=0 cores=0,2,4,6 /proc/21704/task/21707/stat : 21707 (strangenight1-m) R 21702 21704 21663 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 653094105 52465664 353 33554432000 4194304 4650419 140736189513760 18446744073709551615 210204703729 0 0 4096 2 0 0 0 -1 0 0 0 0 [startup+0.074215 s] /proc/loadavg: 6.77 7.76 7.49 6/298 21704 /proc/meminfo: memFree=27742952/32951124 swapFree=63649232/67111528 [pid=21704] ppid=21702 vsize=293444 CPUtime=0.26 cores=0,2,4,6 /proc/21704/stat : 21704 (strangenight1-m) R 21702 21704 21663 0 -1 4202496 9191 0 0 0 25 1 0 0 18 0 4 0 653094105 300486656 8741 33554432000 4194304 4650419 140736189513760 18446744073709551615 4369920 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0 /proc/21704/statm: 73361 8741 369 112 0 68326 0 [pid=21704/tid=21705] ppid=21702 vsize=293444 CPUtime=0.06 cores=0,2,4,6 /proc/21704/task/21705/stat : 21705 (strangenight1-m) R 21702 21704 21663 0 -1 4202560 2182 0 0 0 6 0 0 0 18 0 4 0 653094105 300486656 8741 33554432000 4194304 4650419 140736189513760 18446744073709551615 4369089 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=21704/tid=21706] ppid=21702 vsize=293444 CPUtime=0.06 cores=0,2,4,6 /proc/21704/task/21706/stat : 21706 (strangenight1-m) R 21702 21704 21663 0 -1 4202560 2146 0 0 0 6 0 0 0 25 0 4 0 653094105 300486656 8741 33554432000 4194304 4650419 140736189513760 18446744073709551615 4536394 0 0 4096 2 0 0 0 -1 2 0 0 0 [pid=21704/tid=21707] ppid=21702 vsize=293444 CPUtime=0.05 cores=0,2,4,6 /proc/21704/task/21707/stat : 21707 (strangenight1-m) R 21702 21704 21663 0 -1 4202560 2260 0 0 0 5 0 0 0 25 0 4 0 653094105 300486656 8741 33554432000 4194304 4650419 140736189513760 18446744073709551615 4366869 0 0 4096 2 0 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 0.26 Current children cumulated vsize (KiB) 293444 [startup+0.101213 s] /proc/loadavg: 6.77 7.76 7.49 6/298 21704 /proc/meminfo: memFree=27742952/32951124 swapFree=63649232/67111528 [pid=21704] ppid=21702 vsize=294660 CPUtime=0.37 cores=0,2,4,6 /proc/21704/stat : 21704 (strangenight1-m) R 21702 21704 21663 0 -1 4202496 10157 0 0 0 35 2 0 0 18 0 4 0 653094105 301731840 9707 33554432000 4194304 4650419 140736189513760 18446744073709551615 4370554 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0 /proc/21704/statm: 73665 9709 369 112 0 68630 0 [pid=21704/tid=21705] ppid=21702 vsize=294660 CPUtime=0.09 cores=0,2,4,6 /proc/21704/task/21705/stat : 21705 (strangenight1-m) R 21702 21704 21663 0 -1 4202560 2489 0 0 0 9 0 0 0 18 0 4 0 653094105 301731840 9709 33554432000 4194304 4650419 140736189513760 18446744073709551615 4370647 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=21704/tid=21706] ppid=21702 vsize=294660 CPUtime=0.08 cores=0,2,4,6 /proc/21704/task/21706/stat : 21706 (strangenight1-m) R 21702 21704 21663 0 -1 4202560 2457 0 0 0 8 0 0 0 25 0 4 0 653094105 301731840 9709 33554432000 4194304 4650419 140736189513760 18446744073709551615 210204344075 0 0 4096 2 0 0 0 -1 2 0 0 0 [pid=21704/tid=21707] ppid=21702 vsize=294660 CPUtime=0.08 cores=0,2,4,6 /proc/21704/task/21707/stat : 21707 (strangenight1-m) R 21702 21704 21663 0 -1 4202560 2306 0 0 0 8 0 0 0 25 0 4 0 653094105 301731840 9709 33554432000 4194304 4650419 140736189513760 18446744073709551615 4364424 0 0 4096 2 0 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 0.37 Current children cumulated vsize (KiB) 294660 [startup+0.30118 s] /proc/loadavg: 6.77 7.76 7.49 6/298 21704 /proc/meminfo: memFree=27742952/32951124 swapFree=63649232/67111528 [pid=21704] ppid=21702 vsize=295460 CPUtime=1.17 cores=0,2,4,6 /proc/21704/stat : 21704 (strangenight1-m) R 21702 21704 21663 0 -1 4202496 11042 0 0 0 115 2 0 0 18 0 4 0 653094105 302551040 10592 33554432000 4194304 4650419 140736189513760 18446744073709551615 4369265 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0 /proc/21704/statm: 73865 10592 369 112 0 68830 0 [pid=21704/tid=21705] ppid=21702 vsize=295460 CPUtime=0.29 cores=0,2,4,6 /proc/21704/task/21705/stat : 21705 (strangenight1-m) R 21702 21704 21663 0 -1 4202560 2689 0 0 0 29 0 0 0 18 0 4 0 653094105 302551040 10592 33554432000 4194304 4650419 140736189513760 18446744073709551615 4370707 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=21704/tid=21706] ppid=21702 vsize=295460 CPUtime=0.28 cores=0,2,4,6 /proc/21704/task/21706/stat : 21706 (strangenight1-m) R 21702 21704 21663 0 -1 4202560 2660 0 0 0 28 0 0 0 25 0 4 0 653094105 302551040 10592 33554432000 4194304 4650419 140736189513760 18446744073709551615 4302842 0 0 4096 2 0 0 0 -1 2 0 0 0 [pid=21704/tid=21707] ppid=21702 vsize=295460 CPUtime=0.28 cores=0,2,4,6 /proc/21704/task/21707/stat : 21707 (strangenight1-m) R 21702 21704 21663 0 -1 4202560 2585 0 0 0 28 0 0 0 25 0 4 0 653094105 302551040 10592 33554432000 4194304 4650419 140736189513760 18446744073709551615 4333710 0 0 4096 2 0 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 1.17 Current children cumulated vsize (KiB) 295460 [startup+0.701111 s] /proc/loadavg: 6.77 7.76 7.49 6/298 21704 /proc/meminfo: memFree=27742952/32951124 swapFree=63649232/67111528 [pid=21704] ppid=21702 vsize=319768 CPUtime=2.77 cores=0,2,4,6 /proc/21704/stat : 21704 (strangenight1-m) R 21702 21704 21663 0 -1 4202496 26328 0 0 0 272 5 0 0 18 0 4 0 653094105 327442432 22725 33554432000 4194304 4650419 140736189513760 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0 /proc/21704/statm: 79942 22725 389 112 0 74907 0 [pid=21704/tid=21705] ppid=21702 vsize=319768 CPUtime=0.69 cores=0,2,4,6 /proc/21704/task/21705/stat : 21705 (strangenight1-m) R 21702 21704 21663 0 -1 4202560 7630 0 0 0 68 1 0 0 18 0 4 0 653094105 327442432 22725 33554432000 4194304 4650419 140736189513760 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=21704/tid=21706] ppid=21702 vsize=319768 CPUtime=0.68 cores=0,2,4,6 /proc/21704/task/21706/stat : 21706 (strangenight1-m) R 21702 21704 21663 0 -1 4202560 7556 0 0 0 67 1 0 0 18 0 4 0 653094105 327442432 22725 33554432000 4194304 4650419 140736189513760 18446744073709551615 4476315 0 0 4096 2 0 0 0 -1 2 0 0 0 [pid=21704/tid=21707] ppid=21702 vsize=319768 CPUtime=0.68 cores=0,2,4,6 /proc/21704/task/21707/stat : 21707 (strangenight1-m) R 21702 21704 21663 0 -1 4202560 3116 0 0 0 68 0 0 0 25 0 4 0 653094105 327442432 22725 33554432000 4194304 4650419 140736189513760 18446744073709551615 4315094 0 0 4096 2 0 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 2.77 Current children cumulated vsize (KiB) 319768 [startup+1.50098 s] /proc/loadavg: 6.95 7.78 7.50 12/302 21708 /proc/meminfo: memFree=27606028/32951124 swapFree=63649232/67111528 [pid=21704] ppid=21702 vsize=328920 CPUtime=5.96 cores=0,2,4,6 /proc/21704/stat : 21704 (strangenight1-m) R 21702 21704 21663 0 -1 4202496 32775 0 0 0 589 7 0 0 19 0 4 0 653094105 336814080 27438 33554432000 4194304 4650419 140736189513760 18446744073709551615 4365323 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0 /proc/21704/statm: 82230 27438 394 112 0 77195 0 [pid=21704/tid=21705] ppid=21702 vsize=328920 CPUtime=1.48 cores=0,2,4,6 /proc/21704/task/21705/stat : 21705 (strangenight1-m) R 21702 21704 21663 0 -1 4202560 8948 0 0 0 147 1 0 0 19 0 4 0 653094105 336814080 27439 33554432000 4194304 4650419 140736189513760 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=21704/tid=21706] ppid=21702 vsize=328920 CPUtime=1.48 cores=0,2,4,6 /proc/21704/task/21706/stat : 21706 (strangenight1-m) R 21702 21704 21663 0 -1 4202560 9109 0 0 0 147 1 0 0 19 0 4 0 653094105 336814080 27439 33554432000 4194304 4650419 140736189513760 18446744073709551615 4368084 0 0 4096 2 0 0 0 -1 2 0 0 0 [pid=21704/tid=21707] ppid=21702 vsize=328920 CPUtime=1.47 cores=0,2,4,6 /proc/21704/task/21707/stat : 21707 (strangenight1-m) R 21702 21704 21663 0 -1 4202560 5179 0 0 0 146 1 0 0 25 0 4 0 653094105 336814080 27439 33554432000 4194304 4650419 140736189513760 18446744073709551615 4365343 0 0 4096 2 0 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 5.96 Current children cumulated vsize (KiB) 328920 [startup+3.10071 s] /proc/loadavg: 6.95 7.78 7.50 10/302 21708 /proc/meminfo: memFree=27590032/32951124 swapFree=63649232/67111528 [pid=21704] ppid=21702 vsize=332920 CPUtime=12.35 cores=0,2,4,6 /proc/21704/stat : 21704 (strangenight1-m) R 21702 21704 21663 0 -1 4202496 39836 0 0 0 1227 8 0 0 22 0 4 0 653094105 340910080 28460 33554432000 4194304 4650419 140736189513760 18446744073709551615 4215900 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0 /proc/21704/statm: 83230 28460 394 112 0 78195 0 [pid=21704/tid=21705] ppid=21702 vsize=332920 CPUtime=3.08 cores=0,2,4,6 /proc/21704/task/21705/stat : 21705 (strangenight1-m) R 21702 21704 21663 0 -1 4202560 10615 0 0 0 307 1 0 0 22 0 4 0 653094105 340910080 28460 33554432000 4194304 4650419 140736189513760 18446744073709551615 4363335 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=21704/tid=21706] ppid=21702 vsize=332920 CPUtime=3.08 cores=0,2,4,6 /proc/21704/task/21706/stat : 21706 (strangenight1-m) R 21702 21704 21663 0 -1 4202560 10759 0 0 0 306 2 0 0 22 0 4 0 653094105 340910080 28460 33554432000 4194304 4650419 140736189513760 18446744073709551615 4363496 0 0 4096 2 0 0 0 -1 2 0 0 0 [pid=21704/tid=21707] ppid=21702 vsize=332920 CPUtime=3.06 cores=0,2,4,6 /proc/21704/task/21707/stat : 21707 (strangenight1-m) R 21702 21704 21663 0 -1 4202560 7208 0 0 0 305 1 0 0 25 0 4 0 653094105 340910080 28461 33554432000 4194304 4650419 140736189513760 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 12.35 Current children cumulated vsize (KiB) 332920 [startup+6.30118 s] /proc/loadavg: 7.04 7.78 7.50 9/302 21708 /proc/meminfo: memFree=27490996/32951124 swapFree=63649232/67111528 [pid=21704] ppid=21702 vsize=341284 CPUtime=25.11 cores=0,2,4,6 /proc/21704/stat : 21704 (strangenight1-m) R 21702 21704 21663 0 -1 4202496 59531 0 0 0 2500 11 0 0 25 0 4 0 653094105 349474816 46359 33554432000 4194304 4650419 140736189513760 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0 /proc/21704/statm: 85321 46359 395 112 0 80286 0 [pid=21704/tid=21705] ppid=21702 vsize=341284 CPUtime=6.29 cores=0,2,4,6 /proc/21704/task/21705/stat : 21705 (strangenight1-m) R 21702 21704 21663 0 -1 4202560 15398 0 0 0 627 2 0 0 25 0 4 0 653094105 349474816 46359 33554432000 4194304 4650419 140736189513760 18446744073709551615 4476502 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=21704/tid=21706] ppid=21702 vsize=341284 CPUtime=6.28 cores=0,2,4,6 /proc/21704/task/21706/stat : 21706 (strangenight1-m) R 21702 21704 21663 0 -1 4202560 14276 0 0 0 626 2 0 0 25 0 4 0 653094105 349474816 46359 33554432000 4194304 4650419 140736189513760 18446744073709551615 4439361 0 0 4096 2 0 0 0 -1 2 0 0 0 [pid=21704/tid=21707] ppid=21702 vsize=341284 CPUtime=6.23 cores=0,2,4,6 /proc/21704/task/21707/stat : 21707 (strangenight1-m) R 21702 21704 21663 0 -1 4202560 15474 0 0 0 619 4 0 0 19 0 4 0 653094105 349474816 46359 33554432000 4194304 4650419 140736189513760 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 25.11 Current children cumulated vsize (KiB) 341284 [startup+12.7011 s] /proc/loadavg: 6.87 7.73 7.49 9/302 21769 /proc/meminfo: memFree=27001284/32951124 swapFree=63649232/67111528 [pid=21704] ppid=21702 vsize=346648 CPUtime=50.64 cores=0,2,4,6 /proc/21704/stat : 21704 (strangenight1-m) R 21702 21704 21663 0 -1 4202496 76273 0 0 0 5048 16 0 0 25 0 4 0 653094105 354967552 48601 33554432000 4194304 4650419 140736189513760 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0 /proc/21704/statm: 86662 48601 395 112 0 81627 0 [pid=21704/tid=21705] ppid=21702 vsize=346648 CPUtime=12.68 cores=0,2,4,6 /proc/21704/task/21705/stat : 21705 (strangenight1-m) R 21702 21704 21663 0 -1 4202560 20481 0 0 0 1266 2 0 0 25 0 4 0 653094105 354967552 48601 33554432000 4194304 4650419 140736189513760 18446744073709551615 4476522 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=21704/tid=21706] ppid=21702 vsize=346648 CPUtime=12.67 cores=0,2,4,6 /proc/21704/task/21706/stat : 21706 (strangenight1-m) R 21702 21704 21663 0 -1 4202560 18842 0 0 0 1263 4 0 0 25 0 4 0 653094105 354967552 48601 33554432000 4194304 4650419 140736189513760 18446744073709551615 4366869 0 0 4096 2 0 0 0 -1 2 0 0 0 [pid=21704/tid=21707] ppid=21702 vsize=346648 CPUtime=12.56 cores=0,2,4,6 /proc/21704/task/21707/stat : 21707 (strangenight1-m) R 21702 21704 21663 0 -1 4202560 18762 0 0 0 1251 5 0 0 25 0 4 0 653094105 354967552 48601 33554432000 4194304 4650419 140736189513760 18446744073709551615 4363420 0 0 4096 2 0 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 50.64 Current children cumulated vsize (KiB) 346648 [startup+25.501 s] /proc/loadavg: 7.12 7.75 7.50 9/302 21769 /proc/meminfo: memFree=25238260/32951124 swapFree=63649232/67111528 [pid=21704] ppid=21702 vsize=402572 CPUtime=101.7 cores=0,2,4,6 /proc/21704/stat : 21704 (strangenight1-m) R 21702 21704 21663 0 -1 4202496 105841 0 0 0 10147 23 0 0 25 0 4 0 653094105 412233728 60925 33554432000 4194304 4650419 140736189513760 18446744073709551615 4439366 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0 /proc/21704/statm: 100643 60925 395 112 0 95608 0 [pid=21704/tid=21705] ppid=21702 vsize=402572 CPUtime=25.48 cores=0,2,4,6 /proc/21704/task/21705/stat : 21705 (strangenight1-m) R 21702 21704 21663 0 -1 4202560 27045 0 0 0 2544 4 0 0 25 0 4 0 653094105 412233728 60925 33554432000 4194304 4650419 140736189513760 18446744073709551615 4476315 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=21704/tid=21706] ppid=21702 vsize=402572 CPUtime=25.46 cores=0,2,4,6 /proc/21704/task/21706/stat : 21706 (strangenight1-m) R 21702 21704 21663 0 -1 4202560 24992 0 0 0 2540 6 0 0 25 0 4 0 653094105 412233728 60925 33554432000 4194304 4650419 140736189513760 18446744073709551615 4315069 0 0 4096 2 0 0 0 -1 2 0 0 0 [pid=21704/tid=21707] ppid=21702 vsize=402572 CPUtime=25.25 cores=0,2,4,6 /proc/21704/task/21707/stat : 21707 (strangenight1-m) R 21702 21704 21663 0 -1 4202560 27965 0 0 0 2518 7 0 0 25 0 4 0 653094105 412233728 60925 33554432000 4194304 4650419 140736189513760 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 101.7 Current children cumulated vsize (KiB) 402572 [startup+51.1007 s] /proc/loadavg: 7.42 7.77 7.51 9/302 21770 /proc/meminfo: memFree=24764540/32951124 swapFree=63649232/67111528 [pid=21704] ppid=21702 vsize=408532 CPUtime=203.87 cores=0,2,4,6 /proc/21704/stat : 21704 (strangenight1-m) R 21702 21704 21663 0 -1 4202496 136745 0 0 0 20356 31 0 0 25 0 4 0 653094105 418336768 69391 33554432000 4194304 4650419 140736189513760 18446744073709551615 4363880 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0 /proc/21704/statm: 102133 69391 395 112 0 97098 0 [pid=21704/tid=21705] ppid=21702 vsize=408532 CPUtime=51.08 cores=0,2,4,6 /proc/21704/task/21705/stat : 21705 (strangenight1-m) R 21702 21704 21663 0 -1 4202560 33540 0 0 0 5103 5 0 0 25 0 4 0 653094105 418336768 69391 33554432000 4194304 4650419 140736189513760 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=21704/tid=21706] ppid=21702 vsize=408532 CPUtime=51.05 cores=0,2,4,6 /proc/21704/task/21706/stat : 21706 (strangenight1-m) R 21702 21704 21663 0 -1 4202560 31601 0 0 0 5097 8 0 0 25 0 4 0 653094105 418336768 69391 33554432000 4194304 4650419 140736189513760 18446744073709551615 4303968 0 0 4096 2 0 0 0 -1 2 0 0 0 [pid=21704/tid=21707] ppid=21702 vsize=408532 CPUtime=50.62 cores=0,2,4,6 /proc/21704/task/21707/stat : 21707 (strangenight1-m) R 21702 21704 21663 0 -1 4202560 33903 0 0 0 5053 9 0 0 25 0 4 0 653094105 418336768 69391 33554432000 4194304 4650419 140736189513760 18446744073709551615 4476514 0 0 4096 2 0 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 203.87 Current children cumulated vsize (KiB) 408532 [startup+102.311 s] /proc/loadavg: 7.78 7.81 7.54 9/302 21771 /proc/meminfo: memFree=24674728/32951124 swapFree=63649232/67111528 [pid=21704] ppid=21702 vsize=472932 CPUtime=408.24 cores=0,2,4,6 /proc/21704/stat : 21704 (strangenight1-m) R 21702 21704 21663 0 -1 4202496 179098 0 0 0 40780 44 0 0 25 0 4 0 653094105 484282368 83726 33554432000 4194304 4650419 140736189513760 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0 /proc/21704/statm: 118233 83726 395 112 0 113198 0 [pid=21704/tid=21705] ppid=21702 vsize=472932 CPUtime=102.28 cores=0,2,4,6 /proc/21704/task/21705/stat : 21705 (strangenight1-m) R 21702 21704 21663 0 -1 4202560 43304 0 0 0 10221 7 0 0 25 0 4 0 653094105 484282368 83726 33554432000 4194304 4650419 140736189513760 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=21704/tid=21706] ppid=21702 vsize=472932 CPUtime=102.27 cores=0,2,4,6 /proc/21704/task/21706/stat : 21706 (strangenight1-m) R 21702 21704 21663 0 -1 4202560 49006 0 0 0 10213 14 0 0 25 0 4 0 653094105 484282368 83726 33554432000 4194304 4650419 140736189513760 18446744073709551615 4365223 0 0 4096 2 0 0 0 -1 2 0 0 0 [pid=21704/tid=21707] ppid=21702 vsize=472932 CPUtime=101.36 cores=0,2,4,6 /proc/21704/task/21707/stat : 21707 (strangenight1-m) R 21702 21704 21663 0 -1 4202560 45506 0 0 0 10123 13 0 0 25 0 4 0 653094105 484282368 83726 33554432000 4194304 4650419 140736189513760 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 408.24 Current children cumulated vsize (KiB) 472932 [startup+162.301 s] ################ # More data... # ################ /proc/21704/task/21707/stat : 21707 (strangenight1-m) R 21702 21704 21663 0 -1 4202560 111770 0 0 0 57664 35 0 0 25 0 4 0 653094105 811741184 148141 33554432000 4194304 4650419 140736189513760 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 2323.75 Current children cumulated vsize (KiB) 792716 [startup+642.301 s] /proc/loadavg: 8.02 7.99 7.74 9/302 21786 /proc/meminfo: memFree=24317708/32951124 swapFree=63649232/67111528 [pid=21704] ppid=21702 vsize=793980 CPUtime=2563.23 cores=0,2,4,6 /proc/21704/stat : 21704 (strangenight1-m) R 21702 21704 21663 0 -1 4202496 515531 0 0 0 256157 166 0 0 25 0 4 0 653094105 813035520 161952 33554432000 4194304 4650419 140736189513760 18446744073709551615 4364775 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0 /proc/21704/statm: 198495 161952 395 112 0 193460 0 [pid=21704/tid=21705] ppid=21702 vsize=793980 CPUtime=642.18 cores=0,2,4,6 /proc/21704/task/21705/stat : 21705 (strangenight1-m) R 21702 21704 21663 0 -1 4202560 121539 0 0 0 64185 33 0 0 25 0 4 0 653094105 813035520 161955 33554432000 4194304 4650419 140736189513760 18446744073709551615 4366819 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=21704/tid=21706] ppid=21702 vsize=793980 CPUtime=642.27 cores=0,2,4,6 /proc/21704/task/21706/stat : 21706 (strangenight1-m) R 21702 21704 21663 0 -1 4202560 157028 0 0 0 64171 56 0 0 25 0 4 0 653094105 813035520 161955 33554432000 4194304 4650419 140736189513760 18446744073709551615 4314835 0 0 4096 2 0 0 0 -1 2 0 0 0 [pid=21704/tid=21707] ppid=21702 vsize=793980 CPUtime=636.45 cores=0,2,4,6 /proc/21704/task/21707/stat : 21707 (strangenight1-m) R 21702 21704 21663 0 -1 4202560 119069 0 0 0 63607 38 0 0 25 0 4 0 653094105 813035520 161955 33554432000 4194304 4650419 140736189513760 18446744073709551615 4366869 0 0 4096 2 0 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 2563.23 Current children cumulated vsize (KiB) 793980 [startup+702.301 s] /proc/loadavg: 8.05 8.00 7.76 9/302 21787 /proc/meminfo: memFree=24323396/32951124 swapFree=63649232/67111528 [pid=21704] ppid=21702 vsize=922952 CPUtime=2802.65 cores=0,2,4,6 /proc/21704/stat : 21704 (strangenight1-m) R 21702 21704 21663 0 -1 4202496 542989 0 0 0 280087 178 0 0 25 0 4 0 653094105 945102848 165341 33554432000 4194304 4650419 140736189513760 18446744073709551615 4476311 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0 /proc/21704/statm: 230738 165341 395 112 0 225703 0 [pid=21704/tid=21705] ppid=21702 vsize=922952 CPUtime=702.16 cores=0,2,4,6 /proc/21704/task/21705/stat : 21705 (strangenight1-m) R 21702 21704 21663 0 -1 4202560 129646 0 0 0 70179 37 0 0 25 0 4 0 653094105 945102848 165341 33554432000 4194304 4650419 140736189513760 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=21704/tid=21706] ppid=21702 vsize=922952 CPUtime=702.25 cores=0,2,4,6 /proc/21704/task/21706/stat : 21706 (strangenight1-m) R 21702 21704 21663 0 -1 4202560 167512 0 0 0 70165 60 0 0 25 0 4 0 653094105 945102848 165341 33554432000 4194304 4650419 140736189513760 18446744073709551615 4365289 0 0 4096 2 0 0 0 -1 2 0 0 0 [pid=21704/tid=21707] ppid=21702 vsize=922952 CPUtime=695.91 cores=0,2,4,6 /proc/21704/task/21707/stat : 21707 (strangenight1-m) R 21702 21704 21663 0 -1 4202560 122948 0 0 0 69551 40 0 0 25 0 4 0 653094105 945102848 165341 33554432000 4194304 4650419 140736189513760 18446744073709551615 4476502 0 0 4096 2 0 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 2802.65 Current children cumulated vsize (KiB) 922952 [startup+762.311 s] /proc/loadavg: 8.06 8.01 7.77 9/302 21789 /proc/meminfo: memFree=24357904/32951124 swapFree=63649232/67111528 [pid=21704] ppid=21702 vsize=923636 CPUtime=3042.13 cores=0,2,4,6 /proc/21704/stat : 21704 (strangenight1-m) R 21702 21704 21663 0 -1 4202496 569282 0 0 0 304023 190 0 0 25 0 4 0 653094105 945803264 162136 33554432000 4194304 4650419 140736189513760 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0 /proc/21704/statm: 230909 162136 395 112 0 225874 0 [pid=21704/tid=21705] ppid=21702 vsize=923636 CPUtime=762.16 cores=0,2,4,6 /proc/21704/task/21705/stat : 21705 (strangenight1-m) R 21702 21704 21663 0 -1 4202560 134581 0 0 0 76177 39 0 0 25 0 4 0 653094105 945803264 162136 33554432000 4194304 4650419 140736189513760 18446744073709551615 4368084 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=21704/tid=21706] ppid=21702 vsize=923636 CPUtime=762.27 cores=0,2,4,6 /proc/21704/task/21706/stat : 21706 (strangenight1-m) R 21702 21704 21663 0 -1 4202560 177308 0 0 0 76162 65 0 0 25 0 4 0 653094105 945803264 162136 33554432000 4194304 4650419 140736189513760 18446744073709551615 4367236 0 0 4096 2 0 0 0 -1 2 0 0 0 [pid=21704/tid=21707] ppid=21702 vsize=923636 CPUtime=755.36 cores=0,2,4,6 /proc/21704/task/21707/stat : 21707 (strangenight1-m) R 21702 21704 21663 0 -1 4202560 128635 0 0 0 75494 42 0 0 25 0 4 0 653094105 945803264 162136 33554432000 4194304 4650419 140736189513760 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 3042.13 Current children cumulated vsize (KiB) 923636 Solver just ended. Dumping a history of the last processes samples [startup+767.901 s] /proc/loadavg: 8.06 8.01 7.78 9/302 21789 /proc/meminfo: memFree=24407648/32951124 swapFree=63649232/67111528 [pid=21704] ppid=21702 vsize=859720 CPUtime=3064.44 cores=0,2,4,6 /proc/21704/stat : 21704 (strangenight1-m) R 21702 21704 21663 0 -1 4202496 571574 0 0 0 306254 190 0 0 25 0 4 0 653094105 880353280 152453 33554432000 4194304 4650419 140736189513760 18446744073709551615 4364736 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0 /proc/21704/statm: 214930 152453 395 112 0 209895 0 [pid=21704/tid=21705] ppid=21702 vsize=859720 CPUtime=767.75 cores=0,2,4,6 /proc/21704/task/21705/stat : 21705 (strangenight1-m) R 21702 21704 21663 0 -1 4202560 134581 0 0 0 76736 39 0 0 25 0 4 0 653094105 880353280 152453 33554432000 4194304 4650419 140736189513760 18446744073709551615 4365346 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=21704/tid=21706] ppid=21702 vsize=859720 CPUtime=767.86 cores=0,2,4,6 /proc/21704/task/21706/stat : 21706 (strangenight1-m) R 21702 21704 21663 0 -1 4202560 179498 0 0 0 76721 65 0 0 25 0 4 0 653094105 880353280 152453 33554432000 4194304 4650419 140736189513760 18446744073709551615 4364645 0 0 4096 2 0 0 0 -1 2 0 0 0 [pid=21704/tid=21707] ppid=21702 vsize=859720 CPUtime=760.91 cores=0,2,4,6 /proc/21704/task/21707/stat : 21707 (strangenight1-m) R 21702 21704 21663 0 -1 4202560 128737 0 0 0 76048 43 0 0 25 0 4 0 653094105 880353280 152453 33554432000 4194304 4650419 140736189513760 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 3064.44 Current children cumulated vsize (KiB) 859720 [startup+780.701 s] /proc/loadavg: 8.05 8.01 7.78 9/302 21789 /proc/meminfo: memFree=24344020/32951124 swapFree=63649232/67111528 [pid=21704] ppid=21702 vsize=859720 CPUtime=3115.53 cores=0,2,4,6 /proc/21704/stat : 21704 (strangenight1-m) R 21702 21704 21663 0 -1 4202496 575661 0 0 0 311360 193 0 0 25 0 4 0 653094105 880353280 156540 33554432000 4194304 4650419 140736189513760 18446744073709551615 4365203 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0 /proc/21704/statm: 214930 156540 395 112 0 209895 0 [pid=21704/tid=21705] ppid=21702 vsize=859720 CPUtime=780.55 cores=0,2,4,6 /proc/21704/task/21705/stat : 21705 (strangenight1-m) R 21702 21704 21663 0 -1 4202560 136841 0 0 0 78015 40 0 0 25 0 4 0 653094105 880353280 156540 33554432000 4194304 4650419 140736189513760 18446744073709551615 4364777 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=21704/tid=21706] ppid=21702 vsize=859720 CPUtime=780.66 cores=0,2,4,6 /proc/21704/task/21706/stat : 21706 (strangenight1-m) R 21702 21704 21663 0 -1 4202560 181325 0 0 0 77999 67 0 0 25 0 4 0 653094105 880353280 156540 33554432000 4194304 4650419 140736189513760 18446744073709551615 4365357 0 0 4096 2 0 0 0 -1 2 0 0 0 [pid=21704/tid=21707] ppid=21702 vsize=859720 CPUtime=773.6 cores=0,2,4,6 /proc/21704/task/21707/stat : 21707 (strangenight1-m) R 21702 21704 21663 0 -1 4202560 128737 0 0 0 77317 43 0 0 25 0 4 0 653094105 880353280 156540 33554432000 4194304 4650419 140736189513760 18446744073709551615 4311310 0 0 4096 2 0 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 3115.53 Current children cumulated vsize (KiB) 859720 [startup+787.101 s] /proc/loadavg: 8.11 8.03 7.78 9/302 21789 /proc/meminfo: memFree=24359768/32951124 swapFree=63649232/67111528 [pid=21704] ppid=21702 vsize=923508 CPUtime=3141.07 cores=0,2,4,6 /proc/21704/stat : 21704 (strangenight1-m) R 21702 21704 21663 0 -1 4202496 578196 0 0 0 313913 194 0 0 25 0 4 0 653094105 945672192 159075 33554432000 4194304 4650419 140736189513760 18446744073709551615 4334208 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0 /proc/21704/statm: 230877 159075 395 112 0 225842 0 [pid=21704/tid=21705] ppid=21702 vsize=923508 CPUtime=786.95 cores=0,2,4,6 /proc/21704/task/21705/stat : 21705 (strangenight1-m) R 21702 21704 21663 0 -1 4202560 137280 0 0 0 78655 40 0 0 25 0 4 0 653094105 945672192 159075 33554432000 4194304 4650419 140736189513760 18446744073709551615 4366869 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=21704/tid=21706] ppid=21702 vsize=923508 CPUtime=787.05 cores=0,2,4,6 /proc/21704/task/21706/stat : 21706 (strangenight1-m) R 21702 21704 21663 0 -1 4202560 181966 0 0 0 78638 67 0 0 25 0 4 0 653094105 945672192 159075 33554432000 4194304 4650419 140736189513760 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0 [pid=21704/tid=21707] ppid=21702 vsize=923508 CPUtime=779.94 cores=0,2,4,6 /proc/21704/task/21707/stat : 21707 (strangenight1-m) R 21702 21704 21663 0 -1 4202560 128737 0 0 0 77951 43 0 0 25 0 4 0 653094105 945672192 159075 33554432000 4194304 4650419 140736189513760 18446744073709551615 4365289 0 0 4096 2 0 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 3141.07 Current children cumulated vsize (KiB) 923508 [startup+790.3 s] /proc/loadavg: 8.11 8.03 7.78 9/302 21789 /proc/meminfo: memFree=24360628/32951124 swapFree=63649232/67111528 [pid=21704] ppid=21702 vsize=923508 CPUtime=3153.83 cores=0,2,4,6 /proc/21704/stat : 21704 (strangenight1-m) R 21702 21704 21663 0 -1 4202496 579079 0 0 0 315188 195 0 0 25 0 4 0 653094105 945672192 159958 33554432000 4194304 4650419 140736189513760 18446744073709551615 4365237 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0 /proc/21704/statm: 230877 159958 395 112 0 225842 0 [pid=21704/tid=21705] ppid=21702 vsize=923508 CPUtime=790.14 cores=0,2,4,6 /proc/21704/task/21705/stat : 21705 (strangenight1-m) R 21702 21704 21663 0 -1 4202560 137492 0 0 0 78974 40 0 0 25 0 4 0 653094105 945672192 159958 33554432000 4194304 4650419 140736189513760 18446744073709551615 4366828 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=21704/tid=21706] ppid=21702 vsize=923508 CPUtime=790.25 cores=0,2,4,6 /proc/21704/task/21706/stat : 21706 (strangenight1-m) R 21702 21704 21663 0 -1 4202560 182286 0 0 0 78958 67 0 0 25 0 4 0 653094105 945672192 159958 33554432000 4194304 4650419 140736189513760 18446744073709551615 4366831 0 0 4096 2 0 0 0 -1 2 0 0 0 [pid=21704/tid=21707] ppid=21702 vsize=923508 CPUtime=783.11 cores=0,2,4,6 /proc/21704/task/21707/stat : 21707 (strangenight1-m) R 21702 21704 21663 0 -1 4202560 128737 0 0 0 78268 43 0 0 25 0 4 0 653094105 945672192 159958 33554432000 4194304 4650419 140736189513760 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 3153.83 Current children cumulated vsize (KiB) 923508 [startup+793.501 s] /proc/loadavg: 8.10 8.03 7.79 9/302 21790 /proc/meminfo: memFree=24369060/32951124 swapFree=63649232/67111528 [pid=21704] ppid=21702 vsize=859760 CPUtime=3166.6 cores=0,2,4,6 /proc/21704/stat : 21704 (strangenight1-m) R 21702 21704 21663 0 -1 4202496 581480 0 0 0 316465 195 0 0 25 0 4 0 653094105 880394240 157710 33554432000 4194304 4650419 140736189513760 18446744073709551615 4366816 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0 /proc/21704/statm: 214940 157710 395 112 0 209905 0 [pid=21704/tid=21705] ppid=21702 vsize=859760 CPUtime=793.34 cores=0,2,4,6 /proc/21704/task/21705/stat : 21705 (strangenight1-m) R 21702 21704 21663 0 -1 4202560 137679 0 0 0 79294 40 0 0 25 0 4 0 653094105 880394240 157710 33554432000 4194304 4650419 140736189513760 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=21704/tid=21706] ppid=21702 vsize=859760 CPUtime=793.45 cores=0,2,4,6 /proc/21704/task/21706/stat : 21706 (strangenight1-m) R 21702 21704 21663 0 -1 4202560 184217 0 0 0 79278 67 0 0 25 0 4 0 653094105 880394240 157710 33554432000 4194304 4650419 140736189513760 18446744073709551615 4364775 0 0 4096 2 0 0 0 -1 2 0 0 0 [pid=21704/tid=21707] ppid=21702 vsize=859760 CPUtime=786.28 cores=0,2,4,6 /proc/21704/task/21707/stat : 21707 (strangenight1-m) R 21702 21704 21663 0 -1 4202560 128737 0 0 0 78585 43 0 0 25 0 4 0 653094105 880394240 157710 33554432000 4194304 4650419 140736189513760 18446744073709551615 4313048 0 0 4096 2 0 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 3166.6 Current children cumulated vsize (KiB) 859760 [startup+794.301 s] /proc/loadavg: 8.10 8.03 7.79 9/302 21790 /proc/meminfo: memFree=24363108/32951124 swapFree=63649232/67111528 [pid=21704] ppid=21702 vsize=859760 CPUtime=3169.8 cores=0,2,4,6 /proc/21704/stat : 21704 (strangenight1-m) R 21702 21704 21663 0 -1 4202496 583165 0 0 0 316784 196 0 0 25 0 4 0 653094105 880394240 159395 33554432000 4194304 4650419 140736189513760 18446744073709551615 4334325 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0 /proc/21704/statm: 214940 159395 395 112 0 209905 0 [pid=21704/tid=21705] ppid=21702 vsize=859760 CPUtime=794.14 cores=0,2,4,6 /proc/21704/task/21705/stat : 21705 (strangenight1-m) R 21702 21704 21663 0 -1 4202560 137726 0 0 0 79374 40 0 0 25 0 4 0 653094105 880394240 159395 33554432000 4194304 4650419 140736189513760 18446744073709551615 4366920 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=21704/tid=21706] ppid=21702 vsize=859760 CPUtime=794.26 cores=0,2,4,6 /proc/21704/task/21706/stat : 21706 (strangenight1-m) R 21702 21704 21663 0 -1 4202560 184339 0 0 0 79358 68 0 0 25 0 4 0 653094105 880394240 159395 33554432000 4194304 4650419 140736189513760 18446744073709551615 4366831 0 0 4096 2 0 0 0 -1 2 0 0 0 [pid=21704/tid=21707] ppid=21702 vsize=859760 CPUtime=787.07 cores=0,2,4,6 /proc/21704/task/21707/stat : 21707 (strangenight1-m) R 21702 21704 21663 0 -1 4202560 130189 0 0 0 78664 43 0 0 25 0 4 0 653094105 880394240 159395 33554432000 4194304 4650419 140736189513760 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 3169.8 Current children cumulated vsize (KiB) 859760 [startup+795.1 s] /proc/loadavg: 8.10 8.03 7.79 9/302 21790 /proc/meminfo: memFree=24363108/32951124 swapFree=63649232/67111528 [pid=21704] ppid=21702 vsize=859760 CPUtime=3172.99 cores=0,2,4,6 /proc/21704/stat : 21704 (strangenight1-m) R 21702 21704 21663 0 -1 4202496 583460 0 0 0 317103 196 0 0 25 0 4 0 653094105 880394240 159690 33554432000 4194304 4650419 140736189513760 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0 /proc/21704/statm: 214940 159690 395 112 0 209905 0 [pid=21704/tid=21705] ppid=21702 vsize=859760 CPUtime=794.94 cores=0,2,4,6 /proc/21704/task/21705/stat : 21705 (strangenight1-m) R 21702 21704 21663 0 -1 4202560 137764 0 0 0 79454 40 0 0 25 0 4 0 653094105 880394240 159690 33554432000 4194304 4650419 140736189513760 18446744073709551615 4364775 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=21704/tid=21706] ppid=21702 vsize=859760 CPUtime=795.06 cores=0,2,4,6 /proc/21704/task/21706/stat : 21706 (strangenight1-m) R 21702 21704 21663 0 -1 4202560 184462 0 0 0 79438 68 0 0 25 0 4 0 653094105 880394240 159690 33554432000 4194304 4650419 140736189513760 18446744073709551615 4368084 0 0 4096 2 0 0 0 -1 2 0 0 0 [pid=21704/tid=21707] ppid=21702 vsize=859760 CPUtime=787.86 cores=0,2,4,6 /proc/21704/task/21707/stat : 21707 (strangenight1-m) R 21702 21704 21663 0 -1 4202560 130274 0 0 0 78743 43 0 0 25 0 4 0 653094105 880394240 159690 33554432000 4194304 4650419 140736189513760 18446744073709551615 4363880 0 0 4096 2 0 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 3172.99 Current children cumulated vsize (KiB) 859760 [startup+795.5 s] /proc/loadavg: 8.10 8.03 7.79 9/302 21790 /proc/meminfo: memFree=24361616/32951124 swapFree=63649232/67111528 [pid=21704] ppid=21702 vsize=859760 CPUtime=3174.58 cores=0,2,4,6 /proc/21704/stat : 21704 (strangenight1-m) R 21702 21704 21663 0 -1 4202496 583602 0 0 0 317262 196 0 0 25 0 4 0 653094105 880394240 159832 33554432000 4194304 4650419 140736189513760 18446744073709551615 4366816 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0 /proc/21704/statm: 214940 159832 395 112 0 209905 0 [pid=21704/tid=21705] ppid=21702 vsize=859760 CPUtime=795.34 cores=0,2,4,6 /proc/21704/task/21705/stat : 21705 (strangenight1-m) R 21702 21704 21663 0 -1 4202560 137782 0 0 0 79494 40 0 0 25 0 4 0 653094105 880394240 159832 33554432000 4194304 4650419 140736189513760 18446744073709551615 4366828 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=21704/tid=21706] ppid=21702 vsize=859760 CPUtime=795.46 cores=0,2,4,6 /proc/21704/task/21706/stat : 21706 (strangenight1-m) R 21702 21704 21663 0 -1 4202560 184519 0 0 0 79478 68 0 0 25 0 4 0 653094105 880394240 159832 33554432000 4194304 4650419 140736189513760 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0 [pid=21704/tid=21707] ppid=21702 vsize=859760 CPUtime=788.25 cores=0,2,4,6 /proc/21704/task/21707/stat : 21707 (strangenight1-m) R 21702 21704 21663 0 -1 4202560 130315 0 0 0 78782 43 0 0 25 0 4 0 653094105 880394240 159832 33554432000 4194304 4650419 140736189513760 18446744073709551615 4363500 0 0 4096 2 0 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 3174.58 Current children cumulated vsize (KiB) 859760 Child status: 20 Real time (s): 795.588 CPU time (s): 3174.84 CPU user time (s): 3172.85 CPU system time (s): 1.9967 CPU usage (%): 399.056 Max. virtual memory (cumulated for all children) (KiB): 1043972 getrusage(RUSAGE_CHILDREN,...) data: user time used= 3172.85 system time used= 1.9967 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 583626 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 2453 involuntary context switches= 15459 runsolver used 2.07069 second user time and 5.18421 second system time The end
Begin job on node130 at 2011-05-15 01:15:56 IDJOB=3369605 IDBENCH=83451 IDSOLVER=1846 FILE ID=node130/3369605-1305414956 RUNJOBID= node130-1305414956-21681 PBS_JOBID= 13324556 Free space on /tmp= 73420 MiB SOLVER NAME= CryptoMiniSat Strange-Night-1-mt (fixed) BENCH NAME= SAT11/application/leberre/2dimensionalstrippacking/korf-17.cnf COMMAND LINE= ./strangenight1-mt --threads=NBCORE BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3369605-1305414956/watcher-3369605-1305414956 -o /tmp/evaluation-result-3369605-1305414956/solver-3369605-1305414956 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3369605-1305414956.cnf TIME LIMIT= 4800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= ade81e5508101352b3d942708b201606 RANDOM SEED=805337515 node130.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.838 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 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 syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5333.67 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.838 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 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 syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.83 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.838 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 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 syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.838 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 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 syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.81 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.838 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 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 syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.838 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 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 syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.83 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.838 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 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 syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.838 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 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 syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.81 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 27743116 kB Buffers: 262392 kB Cached: 3600296 kB SwapCached: 10248 kB Active: 1174276 kB Inactive: 3762272 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 27743116 kB SwapTotal: 67111528 kB SwapFree: 63649232 kB Dirty: 15320 kB Writeback: 0 kB AnonPages: 1072852 kB Mapped: 13372 kB Slab: 183484 kB PageTables: 25748 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 51555856 kB VmallocTotal: 34359738367 kB VmallocUsed: 296008 kB VmallocChunk: 34359440975 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 73316 MiB End job on node130 at 2011-05-15 01:29:12