| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| CryptoMiniSat Strange-Night-1-mt | ? (TO) | 4800.26 | 1201.79 |
| Name | application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k50-pdtvisns3p00-tseitin.cnf |
| MD5SUM | a8ad0173824ed9404a8c153da07c5f9c |
| Bench Category | APPLICATION (applications instances) |
| Best result obtained on this benchmark | UNSAT |
| Best CPU time to get the best result obtained on this benchmark | 938.798 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 183325 |
| Number of clauses | 546914 |
| Sum of the clauses size | 1276130 |
| Maximum clause length | 3 |
| Minimum clause length | 1 |
| Number of clauses of size 1 | 2 |
| Number of clauses of size 2 | 364608 |
| Number of clauses of size 3 | 182304 |
| Number of clauses of size 4 | 0 |
| Number of clauses of size 5 | 0 |
| Number of clauses of size over 5 | 0 |
0.00/0.00 c Outputting solution to console 0.00/0.00 c Using 4 threads 0.00/0.00 c This is CryptoMiniSat 2.9.0 0.00/0.00 c compiled with gcc version 4.4.5 0.00/0.00 c WARNING: for repeatability, setting FPU to use double precision 0.00/0.00 c Reading file 'HOME/instance-3288002-1304042733.cnf' 0.00/0.00 c -- header says num vars: 183325 0.00/0.00 c -- header says num clauses: 546914 0.47/0.55 c -- clauses added: 0 learnts, 546914 normals, 0 xors 0.47/0.55 c -- vars added 183325 0.47/0.55 c Parsing time: 0.78 s 0.47/0.55 c N st 0 0 183325 182304 364608 0 1276128 0 no data no data -- 0.47/0.55 c asymm cl-useful: 0/31915/182303 lits-rem:0 time: 1.16 31.91/8.07 c Flit: 943 Blit: 2200 bXBeca: 0 bXProp: 20574 Bins: 0 BRemL: 0 BRemN: 0 P: 157.7M T: 29.98 31.91/8.09 c Cleaning up after failed var search: 0.07 s 32.31/8.16 c Replacing 20574 vars Replaced 458970 lits Time: 0.25 s 32.70/8.25 c bin-w-bin subsume rem 13358 bins time: 0.11 s 33.11/8.31 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.24 s 34.70/8.75 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 124210 time: 1.76 s 35.10/8.88 c Removed useless bin: 1098 fixed: 0 props: 20.00M time: 0.51 s 37.91/9.56 c lits-rem: 0 cl-subs: 17150 v-elim: 52950 v-fix: 0 time: 2.62 s 37.91/9.59 c Finding binary XORs T: 0.12 s found: 0 38.30/9.70 c Finding non-binary XORs: 0.31 s (found: 256, avg size: 3.0) 38.30/9.70 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.11 38.69/9.73 c Calc default polars - time: 0.08 s pos: 3867 undec: 78269 neg: 101189 38.69/9.73 c ========================================================================================= 38.69/9.73 c types(t): F = full restart, N = normal restart 38.69/9.73 c types(t): S = simplification begin/end, E = solution found 38.69/9.73 c restart types(rt): st = static, dy = dynamic 38.69/9.73 c t rt Rest Confl Vars NormCls BinCls Learnts ClLits LtLits 38.69/9.73 c B st 0 0 105901 164925 200887 0 998304 0 no data no data -- 45.08/11.33 c N dy 16 4210 105901 164925 201304 3757 998295 31945 4.16 4.39 -- 52.67/13.21 c N dy 38 8482 105721 164925 204241 7646 998278 70392 4.25 4.74 -- 58.66/14.76 c N dy 57 12558 105721 164925 204524 11394 998268 100163 4.20 4.78 -- 65.45/16.48 c N dy 83 16603 105671 164925 205320 15175 998261 136885 4.31 4.56 -- 71.44/17.92 c Finding binary XORs T: 0.12 s found: 357 73.46/18.47 c N dy 111 20728 105620 164510 205732 10546 995952 66181 4.37 4.60 -- 79.42/19.99 c N dy 129 24839 105618 164510 205879 14467 995939 99801 4.38 4.62 -- 79.82/20.04 c F st 130 25003 105618 164510 205885 14623 995938 100927 4.37 3.61 -- 79.82/20.09 c Replacing 357 vars Replaced 31253 lits Time: 0.16 s 92.61/23.21 c Found part 32303 vars: 6 clauses: 14 lits size: 33 92.61/23.21 c Found part 33224 vars: 105255 clauses: 364544 lits size: 994606 92.61/23.21 c Found parts: 2 time: 12.14 s 92.61/23.21 c Solving part 32303 92.61/23.30 c N st 0 0 6 5 9 0 33 0 no data no data -- 92.61/23.30 c asymm cl-useful: 0/5/5 lits-rem:0 time: 0.00 93.01/23.30 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.0M T: 0.00 93.01/23.31 c Finding binary XORs T: 0.04 s found: 0 93.01/23.31 c Finding non-binary XORs: 0.00 s (found: 0, avg size: nan) 93.01/23.31 c Calc default polars - time: 0.01 s pos: 2 undec: 183319 neg: 4 93.01/23.31 c ========================================================================================= 93.01/23.31 c types(t): F = full restart, N = normal restart 93.01/23.31 c types(t): S = simplification begin/end, E = solution found 93.01/23.31 c restart types(rt): st = static, dy = dynamic 93.01/23.31 c t rt Rest Confl Vars NormCls BinCls Learnts ClLits LtLits 93.01/23.31 c B st 0 0 6 5 9 0 33 0 no data no data -- 93.01/23.31 c E st 1 0 0 5 9 0 33 0 no data no data -- 93.01/23.32 c Verified 5 clauses. 93.01/23.32 c Verified 5 clauses. 93.01/23.32 c Solved part 93.01/23.32 c ========================================================================================= 93.01/23.32 c Coming back to original instance 93.01/23.32 c ========================================================================================= 102.20/25.66 c N dy 136 30000 105002 164343 205941 19448 994599 175050 4.37 no data -- 102.20/25.66 c S st 136 30000 105002 164343 205941 19448 994599 175050 4.37 no data -- 103.82/26.01 c S st 136 30504 104954 164343 205982 19904 994599 180261 4.37 no data -- 103.82/26.04 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.12 144.54/36.29 c Flit: 87 Blit: 253 bXBeca: 0 bXProp: 1403 Bins: 36983 BRemL: 3640 BRemN: 49 P: 130.1M T: 40.78 144.54/36.29 c Cleaning up after failed var search: 0.00 s 144.93/36.36 c Replacing 1403 vars Replaced 64432 lits Time: 0.24 s 145.34/36.45 c bin-w-bin subsume rem 2612 bins time: 0.10 s 145.74/36.54 c subs with bin: 3347 lits-rem: 34266 v-fix: 0 time: 0.36 s 147.76/37.08 c Subs w/ non-existent bins: 5072 l-rem: 7381 v-fix: 0 done: 81707 time: 2.13 s 148.53/37.26 c Removed useless bin: 1056 fixed: 0 props: 20.00M time: 0.73 s 153.73/38.52 c lits-rem: 32101 cl-subs: 44152 v-elim: 68710 v-fix: 0 time: 4.99 s 155.32/38.92 c asymm cl-useful: 4296/16133/150067 lits-rem:5637 time: 1.57 155.32/38.93 c N dy 136 30504 34356 149799 55866 6263 682115 42082 4.37 no data -- 155.32/38.95 c Finding binary XORs T: 0.08 s found: 30 159.31/39.90 c N dy 166 34565 34327 149799 56422 10155 682091 77575 4.46 4.82 -- 163.72/41.09 c N dy 194 38752 34324 149799 59646 14190 682071 122785 4.54 4.84 -- 168.51/42.29 c N dy 230 42803 34317 149799 59722 18127 682066 167773 4.66 5.17 -- 171.70/43.00 c Finding binary XORs T: 0.08 s found: 24 172.10/43.20 c S st 255 45756 34300 149460 59734 20975 680562 203141 4.75 no data -- 173.30/43.43 c S st 255 46260 34300 149460 59799 21411 680562 206802 4.75 no data -- 173.30/43.46 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.10 188.47/47.20 c Flit: 14 Blit: 12 bXBeca: 0 bXProp: 470 Bins: 37504 BRemL: 6972 BRemN: 856 P: 33.8M T: 14.88 188.47/47.26 c Replacing 524 vars Replaced 18740 lits Time: 0.21 s 188.87/47.34 c bin-w-bin subsume rem 1910 bins time: 0.07 s 189.27/47.41 c subs with bin: 4991 lits-rem: 29243 v-fix: 0 time: 0.31 s 189.67/47.52 c Subs w/ non-existent bins: 3626 l-rem: 10596 v-fix: 0 done: 17332 time: 0.43 s 189.67/47.57 c Removed useless bin: 1570 fixed: 0 props: 2.89M time: 0.17 s 194.47/48.72 c lits-rem: 13980 cl-subs: 17561 v-elim: 11066 v-fix: 0 time: 4.60 s 194.87/48.81 c vivif2 -- cl tried 133921 cl shrink 15186 lits rem 18578 time: 0.36 194.87/48.83 c vivif2 -- cl tried 14310 cl shrink 2198 lits rem 3180 time: 0.09 196.48/49.27 c asymm cl-useful: 298/12901/132093 lits-rem:310 time: 1.73 196.48/49.29 c calculated reachability. Time: 0.06 196.48/49.29 c N dy 255 46260 22654 132089 49527 14241 539236 125577 4.75 no data -- 196.86/49.34 c Finding binary XORs T: 0.18 s found: 27 200.48/50.21 c N dy 274 50288 22561 132089 52848 18122 539229 174124 4.76 5.04 -- 204.46/51.25 c N dy 301 54342 22552 132089 52962 22004 539226 216252 4.78 5.05 -- 206.46/51.73 c Finding binary XORs T: 0.13 s found: 40 208.85/52.30 c N dy 328 58356 22545 131085 54521 25577 535415 259241 4.80 5.85 -- 213.24/53.44 c N dy 364 62471 22544 131085 54721 16144 535414 130384 4.89 5.16 -- 217.64/54.50 c N dy 394 66557 22534 131085 54804 20116 535410 178496 4.93 6.28 -- 220.83/55.35 c S st 417 69391 22530 131085 54897 22872 535406 214730 4.95 no data -- 221.63/55.54 c S st 417 69896 22507 131085 54930 23336 535405 219431 4.95 no data -- 221.63/55.56 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.08 221.63/55.57 c Cache BProp: 3 Set: 3 BXProp: 0 T: 0.02 232.81/58.40 c Flit: 17 Blit: 31 bXBeca: 0 bXProp: 53 Bins: 23262 BRemL: 12664 BRemN: 1815 P: 28.3M T: 11.28 233.21/58.44 c Replacing 120 vars Replaced 7677 lits Time: 0.17 s 233.61/58.51 c bin-w-bin subsume rem 2510 bins time: 0.06 s 233.61/58.56 c subs with bin: 4437 lits-rem: 3989 v-fix: 0 time: 0.22 s 234.01/58.66 c Subs w/ non-existent bins: 1125 l-rem: 3580 v-fix: 0 done: 19517 time: 0.39 s 234.01/58.68 c Removed useless bin: 467 fixed: 0 props: 1.33M time: 0.09 s 238.01/59.60 c lits-rem: 2570 cl-subs: 7096 v-elim: 2763 v-fix: 0 time: 3.67 s 238.01/59.67 c vivif2 -- cl tried 126289 cl shrink 3199 lits rem 3569 time: 0.25 238.01/59.69 c vivif2 -- cl tried 19233 cl shrink 1693 lits rem 3062 time: 0.10 239.61/60.10 c asymm cl-useful: 482/11950/125832 lits-rem:1446 time: 1.61 240.03/60.11 c calculated reachability. Time: 0.04 240.03/60.12 c N dy 417 69896 19556 125350 49970 19208 507720 169781 4.95 no data -- 240.03/60.15 c Finding binary XORs T: 0.15 s found: 7 244.82/61.39 c N dy 453 74357 19549 125350 52110 23586 507717 232687 5.01 8.65 -- 250.39/62.73 c N dy 491 79222 19515 125350 52155 28371 507714 303719 5.07 5.46 -- 252.00/63.17 c Finding binary XORs T: 0.12 s found: 28 256.38/64.20 c N dy 530 84360 19500 124761 53282 33095 505677 388022 5.13 6.00 -- 259.97/65.13 c F st 557 87500 19500 124761 53385 21346 505677 162542 5.19 4.96 -- 259.97/65.16 c Replacing 35 vars Replaced 2110 lits Time: 0.09 s 263.57/66.09 c N st 562 90796 19464 124731 53301 24615 505513 225699 5.19 no data -- 272.35/68.25 c N dy 594 96651 19456 124731 53411 30386 505507 380178 5.23 6.50 -- 281.15/70.45 c N dy 650 102865 19446 124731 53532 36513 505506 503419 5.33 5.66 -- 284.36/71.22 c S st 670 104844 19421 124731 55873 38462 505504 560512 5.38 no data -- 285.14/71.43 c S st 670 105347 19421 124731 55896 38939 505503 566132 5.38 no data -- 285.14/71.45 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.08 285.14/71.45 c Cache BProp: 9 Set: 1 BXProp: 1 T: 0.02 293.53/73.52 c Flit: 31 Blit: 10 bXBeca: 0 bXProp: 67 Bins: 13019 BRemL: 8126 BRemN: 770 P: 24.3M T: 8.25 293.53/73.57 c Replacing 68 vars Replaced 5343 lits Time: 0.18 s 293.93/73.65 c bin-w-bin subsume rem 1114 bins time: 0.05 s 294.73/73.81 c subs with bin: 2811 lits-rem: 6118 v-fix: 0 time: 0.61 s 294.73/73.85 c Subs w/ non-existent bins: 202 l-rem: 3056 v-fix: 0 done: 2154 time: 0.16 s 294.73/73.87 c Removed useless bin: 298 fixed: 0 props: 1.16M time: 0.08 s 305.12/76.44 c lits-rem: 1805 cl-subs: 3277 v-elim: 501 v-fix: 0 time: 10.29 s 305.52/76.50 c vivif2 -- cl tried 120274 cl shrink 630 lits rem 707 time: 0.22 305.52/76.57 c vivif2 -- cl tried 35826 cl shrink 6018 lits rem 23566 time: 0.29 307.11/76.96 c asymm cl-useful: 211/10036/120201 lits-rem:633 time: 1.56 307.11/76.98 c calculated reachability. Time: 0.04 307.11/76.98 c N dy 670 105347 18742 119990 54626 35799 485934 465067 5.38 no data -- 307.51/77.02 c Finding binary XORs T: 0.13 s found: 13 316.29/79.26 c N dy 724 112133 18725 119990 54808 42503 485932 608431 5.47 15.47 -- 325.49/81.56 c N dy 785 119324 18707 119990 55678 33067 485930 325011 5.56 7.70 -- 331.08/82.92 c Finding binary XORs T: 0.13 s found: 16 336.27/84.24 c N dy 856 127008 18688 119349 60277 40302 483831 480051 5.67 7.57 -- 347.46/87.09 c N dy 928 135318 18630 119349 60395 48528 483829 647488 5.77 6.20 -- 359.83/90.13 c N dy 999 144057 18609 119349 60510 39880 483827 416678 5.86 6.17 -- 373.82/93.68 c N dy 1075 153296 18600 119349 60640 49035 483826 643667 5.94 11.26 -- 380.22/95.27 c S st 1109 158020 18586 119349 60711 53713 483824 734591 5.97 no data -- 381.41/95.50 c S st 1109 158525 18586 119349 60733 54190 483824 739027 5.97 no data -- 381.41/95.52 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.08 381.41/95.53 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.02 396.19/99.20 c Flit: 21 Blit: 26 bXBeca: 0 bXProp: 46 Bins: 32959 BRemL: 12445 BRemN: 301 P: 32.9M T: 14.68 396.19/99.25 c Replacing 78 vars Replaced 4170 lits Time: 0.18 s 396.59/99.35 c bin-w-bin subsume rem 452 bins time: 0.06 s 397.39/99.52 c subs with bin: 1833 lits-rem: 3455 v-fix: 0 time: 0.69 s 397.39/99.56 c Subs w/ non-existent bins: 276 l-rem: 2920 v-fix: 0 done: 2851 time: 0.17 s 397.39/99.58 c Removed useless bin: 227 fixed: 0 props: 1.09M time: 0.08 s 404.58/101.34 c lits-rem: 1910 cl-subs: 2809 v-elim: 358 v-fix: 0 time: 7.01 s 404.98/101.40 c vivif2 -- cl tried 115981 cl shrink 464 lits rem 531 time: 0.25 405.38/101.51 c vivif2 -- cl tried 51194 cl shrink 8371 lits rem 33603 time: 0.43 406.99/101.92 c asymm cl-useful: 153/6882/115936 lits-rem:459 time: 1.62 406.99/101.94 c calculated reachability. Time: 0.04 406.99/101.94 c N dy 1109 158525 18092 115783 60063 51155 469609 635946 5.97 no data -- 406.99/101.98 c Finding binary XORs T: 0.15 s found: 11 420.95/105.43 c N dy 1184 168802 18051 115783 61636 41970 469606 370990 6.04 6.38 -- 431.74/108.15 c Finding binary XORs T: 0.15 s found: 6 435.74/109.11 c N dy 1267 179594 18042 115250 60643 51939 467772 557655 6.11 6.64 -- 452.11/113.29 c N dy 1368 191145 18020 115250 68400 44027 467770 353090 6.21 6.63 -- 454.12/113.70 c Finding binary XORs T: 0.15 s found: 18 468.51/117.35 c N dy 1473 203424 17976 114668 63998 56007 465669 580267 6.29 14.60 -- 486.86/121.96 c N dy 1585 216420 17974 114668 64185 68927 465667 861675 6.41 10.67 -- 493.25/123.54 c Finding binary XORs T: 0.14 s found: 43 506.44/126.86 c N dy 1694 230664 17940 114372 69819 61643 464551 638241 6.49 6.85 -- 517.62/129.61 c S st 1757 237787 17931 114372 69913 68715 464550 798221 6.56 no data -- 518.42/129.88 c S st 1757 238289 17931 114372 69929 69196 464549 804058 6.56 no data -- 518.82/129.90 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.08 518.82/129.90 c Cache BProp: 6 Set: 5 BXProp: 3 T: 0.02 532.00/133.28 c Flit: 21 Blit: 48 bXBeca: 0 bXProp: 36 Bins: 13929 BRemL: 17084 BRemN: 194 P: 37.7M T: 13.48 532.40/133.33 c Replacing 117 vars Replaced 7788 lits Time: 0.20 s 532.80/133.43 c bin-w-bin subsume rem 474 bins time: 0.06 s 533.20/133.58 c subs with bin: 2195 lits-rem: 4720 v-fix: 0 time: 0.60 s 533.60/133.62 c Subs w/ non-existent bins: 246 l-rem: 3842 v-fix: 0 done: 1874 time: 0.16 s 533.60/133.64 c Removed useless bin: 210 fixed: 0 props: 1.13M time: 0.08 s 540.38/135.38 c lits-rem: 2052 cl-subs: 2792 v-elim: 346 v-fix: 0 time: 6.94 s 540.78/135.44 c vivif2 -- cl tried 111346 cl shrink 618 lits rem 713 time: 0.27 541.18/135.58 c vivif2 -- cl tried 65004 cl shrink 10042 lits rem 35763 time: 0.53 542.78/136.00 c asymm cl-useful: 130/4177/111300 lits-rem:390 time: 1.67 543.20/136.02 c calculated reachability. Time: 0.04 543.20/136.02 c N dy 1757 238289 17370 111170 62383 64939 451636 694982 6.56 no data -- 543.20/136.06 c Finding binary XORs T: 0.17 s found: 10 565.58/141.67 c N dy 1873 253806 17312 111170 63767 57491 451635 501284 6.64 7.00 -- 571.95/143.22 c Finding binary XORs T: 0.16 s found: 6 589.52/147.65 c N dy 1991 270084 17291 110542 62301 73422 449428 880524 6.70 8.87 -- 615.48/154.18 c N dy 2124 287493 17255 110542 62486 67335 449428 664611 6.78 7.20 -- 644.26/161.38 c N dy 2267 305862 17249 110542 62719 85529 449427 1119762 6.85 9.75 -- 645.44/161.64 c F st 2270 306251 17244 110542 62721 85914 449427 1131015 6.85 6.85 -- 645.44/161.68 c Replacing 18 vars Replaced 529 lits Time: 0.10 s 648.65/162.44 c Finding binary XORs T: 0.15 s found: 5 675.80/169.22 c N dy 2391 325390 17219 109816 61968 80250 446657 927112 6.90 7.69 -- 707.35/177.11 c N dy 2561 345565 17206 109816 62226 74285 446656 656085 7.00 7.67 -- 726.93/182.00 c S st 2662 357433 17175 109816 62332 86076 446656 962086 7.05 no data -- 727.75/182.30 c S st 2662 357935 17174 109816 62359 86543 446656 969465 7.05 no data -- 728.15/182.32 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.09 728.15/182.33 c Cache BProp: 9 Set: 6 BXProp: 0 T: 0.02 741.70/185.77 c Flit: 27 Blit: 17 bXBeca: 0 bXProp: 36 Bins: 16955 BRemL: 11886 BRemN: 218 P: 39.2M T: 13.72 742.10/185.82 c Replacing 44 vars Replaced 3974 lits Time: 0.20 s 742.50/185.93 c bin-w-bin subsume rem 298 bins time: 0.05 s 743.31/186.12 c subs with bin: 1735 lits-rem: 4381 v-fix: 0 time: 0.77 s 743.31/186.16 c Subs w/ non-existent bins: 126 l-rem: 3027 v-fix: 0 done: 723 time: 0.15 s 743.31/186.18 c Removed useless bin: 136 fixed: 0 props: 1.10M time: 0.08 s 751.69/188.22 c lits-rem: 2299 cl-subs: 3059 v-elim: 317 v-fix: 0 time: 8.15 s 751.69/188.29 c vivif2 -- cl tried 107360 cl shrink 560 lits rem 644 time: 0.26 752.49/188.45 c vivif2 -- cl tried 82721 cl shrink 10261 lits rem 47558 time: 0.65 754.11/188.86 c asymm cl-useful: 78/4605/107325 lits-rem:234 time: 1.64 754.11/188.88 c calculated reachability. Time: 0.04 754.11/188.88 c N dy 2662 357935 16721 107247 62418 82681 435815 865333 7.05 no data -- 754.51/188.92 c Finding binary XORs T: 0.16 s found: 4 771.27/193.12 c Finding binary XORs T: 0.17 s found: 0 781.25/195.65 c Finding binary XORs T: 0.16 s found: 18 787.64/197.21 c N dy 2828 377961 16685 106868 68691 73690 434526 617625 7.13 11.71 -- 798.45/199.94 c Finding binary XORs T: 0.17 s found: 13 817.60/204.72 c N dy 2978 398006 16637 106733 71822 93546 434086 1163427 7.20 7.71 -- 828.80/207.58 c Finding binary XORs T: 0.17 s found: 8 848.36/212.42 c N dy 3125 418131 16613 106137 68824 85063 431827 831028 7.25 8.08 -- 880.32/220.49 c N dy 3282 438245 16598 106137 68866 105077 431825 1407756 7.32 7.83 -- 911.47/228.22 c N dy 3438 458369 16586 106137 68946 96087 431825 1071979 7.37 7.84 -- 945.83/236.89 c N dy 3591 478449 16582 106137 69021 85739 431823 665744 7.43 7.82 -- 978.60/245.03 c N dy 3755 498581 16578 106137 69146 105783 431822 1230920 7.49 7.98 -- 1000.94/250.67 c Finding binary XORs T: 0.17 s found: 5 1012.94/253.66 c N dy 3896 518593 16570 105555 68106 93906 429833 821802 7.53 8.03 -- 1042.09/260.92 c S st 4034 536903 16570 105555 68136 112123 429833 1352303 7.57 no data -- 1043.29/261.21 c S st 4034 537404 16570 105555 68145 112613 429833 1360387 7.57 no data -- 1043.29/261.24 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.10 1043.29/261.25 c Cache BProp: 11 Set: 9 BXProp: 0 T: 0.02 1060.86/265.60 c Flit: 33 Blit: 29 bXBeca: 0 bXProp: 10 Bins: 9247 BRemL: 11769 BRemN: 124 P: 61.0M T: 17.39 1060.86/265.66 c Replacing 60 vars Replaced 4961 lits Time: 0.24 s 1061.26/265.79 c bin-w-bin subsume rem 732 bins time: 0.06 s 1062.46/266.05 c subs with bin: 1910 lits-rem: 5176 v-fix: 0 time: 1.02 s 1062.46/266.09 c Subs w/ non-existent bins: 169 l-rem: 4046 v-fix: 0 done: 1977 time: 0.17 s 1062.87/266.11 c Removed useless bin: 136 fixed: 0 props: 1.07M time: 0.08 s 1074.05/268.94 c lits-rem: 2482 cl-subs: 4323 v-elim: 272 v-fix: 0 time: 11.30 s 1074.45/269.01 c vivif2 -- cl tried 103605 cl shrink 593 lits rem 676 time: 0.28 1075.27/269.27 c vivif2 -- cl tried 107681 cl shrink 14224 lits rem 71596 time: 1.00 1077.24/269.70 c asymm cl-useful: 77/3793/103581 lits-rem:231 time: 1.72 1077.24/269.72 c calculated reachability. Time: 0.05 1077.24/269.72 c N dy 4034 537404 16161 103504 61403 107633 420917 1167262 7.57 no data -- 1077.24/269.77 c Finding binary XORs T: 0.18 s found: 3 1111.60/278.31 c N dy 4186 557552 16152 103504 62350 93258 420917 749321 7.61 8.16 -- 1114.00/278.90 c Finding binary XORs T: 0.18 s found: 2 1144.76/286.65 c N dy 4337 577589 16142 103419 62122 113150 420644 1328101 7.65 11.29 -- 1179.10/295.28 c N dy 4493 597654 16141 103419 62171 99599 420644 861637 7.69 12.95 -- 1212.26/303.52 c N dy 4633 617659 16139 103419 62189 119511 420644 1448322 7.72 9.42 -- 1246.63/312.19 c N dy 4784 637675 16135 103419 62243 105217 420644 912308 7.75 8.19 -- 1282.96/321.23 c N dy 4935 658971 16133 103419 62292 126367 420644 1549283 7.79 8.23 -- 1318.91/330.20 c N dy 5059 679187 16131 103419 62326 110931 420644 984029 7.80 8.29 -- 1354.87/339.26 c N dy 5223 699208 16128 103419 62360 130832 420644 1599155 7.84 10.59 -- 1392.01/348.52 c Finding binary XORs T: 0.18 s found: 16 1392.41/348.68 c N dy 5377 719277 16112 103031 64553 114020 419125 1012827 7.87 8.35 -- 1426.78/357.28 c N dy 5507 739298 16108 103031 64657 133942 419125 1567023 7.88 10.38 -- 1463.91/366.59 c N dy 5671 759384 16103 103031 64726 116536 419125 989976 7.92 12.00 -- 1499.87/375.56 c N dy 5825 779398 16099 103031 64757 136473 419125 1612000 7.95 9.89 -- 1537.01/384.86 c N dy 5975 799490 16089 103031 64781 117699 419124 921721 7.98 9.76 -- 1548.99/387.80 c S st 6027 806107 16089 103031 64787 124284 419124 1110320 7.99 no data -- 1550.19/388.10 c S st 6027 806610 16089 103031 64796 124776 419124 1120012 7.99 no data -- 1550.19/388.13 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.11 1550.19/388.14 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.02 1566.18/392.13 c Flit: 16 Blit: 1 bXBeca: 0 bXProp: 16 Bins: 4248 BRemL: 11155 BRemN: 119 P: 42.6M T: 15.95 1566.58/392.20 c Replacing 37 vars Replaced 2914 lits Time: 0.24 s 1567.00/392.32 c bin-w-bin subsume rem 204 bins time: 0.05 s 1567.40/392.47 c subs with bin: 1381 lits-rem: 2944 v-fix: 0 time: 0.60 s 1567.77/392.51 c Subs w/ non-existent bins: 327 l-rem: 3064 v-fix: 0 done: 1990 time: 0.18 s 1567.77/392.53 c Removed useless bin: 80 fixed: 0 props: 1.03M time: 0.07 s 1576.96/394.84 c lits-rem: 2210 cl-subs: 3947 v-elim: 236 v-fix: 0 time: 9.23 s 1577.36/394.91 c vivif2 -- cl tried 101606 cl shrink 477 lits rem 554 time: 0.29 1578.16/395.11 c vivif2 -- cl tried 118839 cl shrink 6965 lits rem 30744 time: 0.79 1579.76/395.54 c asymm cl-useful: 587/3297/101595 lits-rem:949 time: 1.72 1579.76/395.56 c calculated reachability. Time: 0.05 1579.76/395.57 c N dy 6027 806610 15791 101575 54629 118795 411472 986596 7.99 no data -- 1580.18/395.61 c Finding binary XORs T: 0.18 s found: 0 1588.54/397.77 c Finding binary XORs T: 0.18 s found: 17 1616.90/404.85 c N dy 6165 826691 15772 101430 59106 138720 410934 1646160 8.01 8.73 -- 1656.85/414.83 c N dy 6320 846766 15771 101430 59153 116237 410934 881084 8.04 9.93 -- 1692.00/423.64 c N dy 6452 866768 15765 101430 59184 136151 410934 1517292 8.05 8.55 -- 1730.74/433.33 c N dy 6605 886948 15763 101430 59211 156260 410934 2191108 8.07 8.56 -- 1765.90/442.19 c Finding binary XORs T: 0.18 s found: 3 1766.70/442.35 c N dy 6735 906980 15763 101313 58882 135240 410551 1419669 8.09 8.55 -- 1805.05/451.97 c N dy 6873 927002 15762 101313 58909 155182 410550 2052627 8.11 13.61 -- 1840.99/460.92 c N dy 7008 947014 15762 101313 58926 133238 410550 1235209 8.13 8.57 -- 1880.14/470.79 c N dy 7143 967062 15762 101313 58936 153218 410550 1886815 8.14 10.56 -- 1920.89/480.93 c N dy 7278 987107 15761 101313 58953 130240 410550 1041739 8.16 8.68 -- 1958.83/490.42 c N dy 7417 1007163 15760 101313 58995 150205 410549 1727025 8.18 8.70 -- 1998.00/500.21 c N dy 7550 1027237 15760 101313 59008 170202 410549 2382664 8.19 9.14 -- 2039.93/510.70 c N dy 7701 1048637 15760 101313 59020 148115 410549 1595301 8.21 8.68 -- 2082.67/521.47 c N dy 7859 1068843 15760 101313 59062 168255 410549 2273905 8.24 8.79 -- 2089.46/523.14 c F st 7887 1071877 15760 101313 59063 171282 410549 2389361 8.24 8.53 -- 2089.87/523.21 c Replacing 20 vars Replaced 4037 lits Time: 0.17 s 2121.04/531.07 c N dy 7970 1088933 15741 101236 59050 142994 410317 1275291 8.25 12.11 -- 2156.96/540.09 c N dy 8086 1109013 15739 101236 59065 163007 410316 1984866 8.26 11.97 -- 2198.10/550.35 c N dy 8228 1129015 15738 101236 59080 182953 410316 2659124 8.27 8.71 -- 2237.25/560.13 c N dy 8371 1149501 15736 101236 59135 157456 410316 1669251 8.29 8.87 -- 2280.78/571.05 c N dy 8521 1169552 15735 101236 59160 177451 410316 2400804 8.31 10.55 -- 2322.33/581.50 c N dy 8677 1189605 15735 101236 59174 150713 410316 1328368 8.32 8.80 -- 2363.48/591.70 c N dy 8818 1209696 15733 101236 59193 170729 410316 2015018 8.34 13.28 -- 2363.88/591.84 c S st 8820 1209916 15733 101236 59193 170949 410316 2025468 8.34 8.01 -- 2365.47/592.24 c S st 8820 1210419 15732 101236 59204 171439 410316 2034665 8.34 no data -- 2365.47/592.27 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.12 2365.47/592.28 c Cache BProp: 4 Set: 2 BXProp: 0 T: 0.02 2383.45/596.72 c Flit: 15 Blit: 2 bXBeca: 0 bXProp: 22 Bins: 4236 BRemL: 4968 BRemN: 93 P: 51.2M T: 17.74 2383.45/596.79 c Replacing 22 vars Replaced 2634 lits Time: 0.28 s 2384.27/596.97 c bin-w-bin subsume rem 613 bins time: 0.06 s 2385.84/597.34 c subs with bin: 1535 lits-rem: 5179 v-fix: 0 time: 1.46 s 2385.84/597.39 c Subs w/ non-existent bins: 270 l-rem: 3757 v-fix: 0 done: 2916 time: 0.19 s 2386.24/597.41 c Removed useless bin: 87 fixed: 0 props: 1.06M time: 0.08 s 2407.41/602.77 c lits-rem: 2116 cl-subs: 3598 v-elim: 191 v-fix: 0 time: 21.38 s 2407.81/602.84 c vivif2 -- cl tried 99881 cl shrink 370 lits rem 403 time: 0.28 2409.41/603.24 c vivif2 -- cl tried 166625 cl shrink 19958 lits rem 131857 time: 1.61 2411.03/603.69 c asymm cl-useful: 368/2100/99875 lits-rem:478 time: 1.76 2411.40/603.71 c calculated reachability. Time: 0.05 2411.40/603.71 c N dy 8820 1210419 15490 99867 56564 166589 403739 1811068 8.34 no data -- 2411.40/603.76 c Finding binary XORs T: 0.20 s found: 0 2433.37/609.23 c Finding binary XORs T: 0.19 s found: 4 2456.54/615.07 c N dy 8940 1230592 15484 99835 57628 186642 403633 2460123 8.35 8.80 -- 2496.89/625.13 c N dy 9070 1250616 15484 99835 57648 156403 403633 1531628 8.36 10.32 -- 2536.03/634.97 c N dy 9197 1270621 15483 99835 57662 176348 403633 2220104 8.37 9.53 -- 2561.59/641.35 c Finding binary XORs T: 0.19 s found: 11 2580.37/646.08 c N dy 9336 1290684 15474 99769 58870 147160 403405 1099794 8.39 10.42 -- 2597.95/650.44 c Finding binary XORs T: 0.19 s found: 2 2619.51/655.86 c N dy 9463 1310834 15470 99708 59470 167142 403182 1749033 8.40 8.86 -- 2661.48/666.33 c N dy 9602 1330933 15466 99708 59551 187176 403182 2462787 8.41 8.87 -- 2705.80/677.41 c N dy 9743 1351012 15464 99708 59567 157343 403182 1352287 8.43 8.94 -- 2745.34/687.36 c N dy 9860 1371125 15463 99708 59577 177393 403182 2031132 8.43 8.92 -- 2789.68/698.40 c N dy 9988 1391135 15463 99708 59590 197335 403182 2704313 8.45 11.00 -- 2833.62/709.47 c N dy 10125 1411182 15459 99708 59614 166570 403182 1565974 8.46 9.50 -- 2872.77/719.22 c N dy 10253 1431227 15459 99708 59633 186551 403182 2247269 8.46 13.62 -- 2918.70/730.72 c N dy 10398 1451275 15457 99708 59653 206535 403182 2984417 8.48 10.61 -- 2962.24/741.63 c N dy 10514 1471905 15454 99708 59675 175287 403182 1768618 8.49 9.07 -- 3006.18/752.61 c N dy 10654 1491910 15454 99708 59694 195246 403182 2555921 8.50 10.57 -- 3056.12/765.15 c N dy 10785 1512319 15453 99708 59712 162549 403182 1216046 8.51 9.00 -- 3096.86/775.31 c N dy 10906 1532336 15453 99708 59723 182518 403182 1905984 8.52 10.14 -- 3140.42/786.25 c N dy 11048 1552395 15453 99708 59735 202507 403182 2654629 8.53 14.64 -- 3187.54/798.03 c N dy 11186 1572478 15453 99708 59743 168443 403182 1319505 8.54 9.21 -- 3229.88/808.60 c N dy 11345 1592560 15453 99708 59757 188473 403182 2068297 8.56 9.02 -- 3275.82/820.13 c N dy 11481 1612595 15453 99708 59772 208430 403182 2814710 8.57 11.89 -- 3321.75/831.67 c N dy 11577 1632834 15453 99708 59785 173402 403181 1338354 8.57 9.16 -- 3366.49/842.89 c N dy 11726 1653334 15452 99708 59797 193839 403181 2080977 8.58 9.04 -- 3413.62/854.69 c N dy 11886 1673400 15452 99708 59811 213853 403181 2871663 8.60 9.11 -- 3461.18/866.53 c N dy 12023 1693475 15452 99708 59817 178117 403181 1475804 8.61 9.12 -- 3497.51/875.69 c S st 12134 1710421 15452 99708 59821 195015 403181 2093922 8.62 8.29 -- 3499.51/876.16 c S st 12134 1710923 15452 99708 59832 195504 403181 2103067 8.62 no data -- 3499.51/876.19 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.13 3499.91/876.20 c Cache BProp: 1 Set: 0 BXProp: 0 T: 0.02 3517.09/880.59 c Flit: 12 Blit: 0 bXBeca: 0 bXProp: 24 Bins: 3443 BRemL: 4548 BRemN: 86 P: 51.9M T: 17.53 3517.49/880.67 c Replacing 41 vars Replaced 5517 lits Time: 0.32 s 3518.31/880.86 c bin-w-bin subsume rem 303 bins time: 0.05 s 3519.88/881.20 c subs with bin: 1537 lits-rem: 5937 v-fix: 0 time: 1.37 s 3519.88/881.24 c Subs w/ non-existent bins: 128 l-rem: 2539 v-fix: 0 done: 631 time: 0.16 s 3519.88/881.26 c Removed useless bin: 96 fixed: 0 props: 1.05M time: 0.07 s 3541.85/886.79 c lits-rem: 2561 cl-subs: 3721 v-elim: 148 v-fix: 0 time: 22.04 s 3542.25/886.86 c vivif2 -- cl tried 98612 cl shrink 322 lits rem 359 time: 0.29 3543.85/887.28 c vivif2 -- cl tried 190516 cl shrink 16462 lits rem 106938 time: 1.66 3545.84/887.71 c asymm cl-useful: 285/1360/98606 lits-rem:339 time: 1.73 3545.84/887.74 c calculated reachability. Time: 0.05 3545.84/887.74 c N dy 12134 1710923 15245 98599 56709 190485 398253 1918449 8.62 no data -- 3545.84/887.79 c Finding binary XORs T: 0.19 s found: 0 3576.20/895.31 c Finding binary XORs T: 0.19 s found: 7 3590.18/898.88 c N dy 12266 1730980 15240 98538 57438 210483 398076 2693486 8.63 9.14 -- 3638.51/910.91 c N dy 12372 1751727 15238 98538 57451 231163 398076 3429451 8.63 9.16 -- 3686.04/922.82 c N dy 12528 1771738 15237 98538 57461 191160 398076 1973471 8.65 9.69 -- 3690.03/923.82 c Finding binary XORs T: 0.19 s found: 3 3732.39/934.46 c N dy 12645 1791756 15233 98456 58138 211047 397808 2714316 8.65 11.23 -- 3779.52/946.21 c Finding binary XORs T: 0.19 s found: 9 3783.12/947.16 c N dy 12784 1811802 15233 98456 58663 231039 397808 3474889 8.66 9.93 -- 3828.25/958.47 c N dy 12903 1831874 15233 98456 58675 193354 397808 1917523 8.67 13.65 -- 3874.58/970.07 c N dy 13035 1851890 15232 98456 58685 213316 397808 2693094 8.68 11.98 -- 3924.11/982.40 c N dy 13171 1872062 15232 98456 58700 233416 397808 3425719 8.69 9.16 -- 3971.65/994.39 c N dy 13297 1892108 15230 98456 58720 194575 397808 1862583 8.70 11.37 -- 4018.00/1005.99 c N dy 13414 1912196 15230 98456 58736 214606 397808 2589453 8.70 10.80 -- 4069.12/1018.72 c N dy 13560 1932228 15230 98456 58744 234580 397808 3360191 8.71 15.43 -- 4119.45/1031.34 c N dy 13688 1952231 15230 98456 58754 194647 397808 1725552 8.72 13.74 -- 4166.59/1043.16 c N dy 13834 1972278 15230 98456 58763 214644 397806 2496593 8.73 10.37 -- 4214.92/1055.25 c N dy 13948 1992335 15230 98456 58769 234626 397806 3201700 8.74 9.21 -- 4267.65/1068.40 c N dy 14104 2012471 15228 98456 58778 194113 397806 1630870 8.75 9.32 -- 4313.21/1079.83 c N dy 14247 2032540 15228 98456 58795 214118 397806 2388252 8.76 10.01 -- 4363.12/1092.33 c N dy 14371 2052547 15228 98456 58804 234051 397805 3137613 8.76 9.36 -- 4417.05/1105.82 c N dy 14503 2072593 15227 98456 58824 254023 397805 3867040 8.77 15.17 -- 4463.01/1117.31 c N dy 14638 2092671 15227 98456 58831 212029 397805 2164850 8.78 9.51 -- 4512.52/1129.78 c N dy 14763 2112677 15227 98456 58834 232008 397805 2876546 8.79 9.48 -- 4566.05/1143.14 c N dy 14897 2132685 15226 98456 58847 251956 397805 3636770 8.79 9.28 -- 4615.19/1155.42 c N dy 15013 2152770 15224 98456 58854 208831 397805 1908881 8.80 11.18 -- 4663.52/1167.58 c N dy 15143 2172810 15224 98456 58859 228807 397805 2619045 8.80 10.93 -- 4715.45/1180.52 c N dy 15276 2192843 15224 98456 58865 248792 397805 3361903 8.81 12.05 -- 4764.98/1192.99 c S st 15415 2210925 15224 98456 58870 203091 397805 1603651 8.82 no data -- 4766.98/1193.40 c S st 15415 2211427 15224 98456 58875 203587 397804 1615276 8.82 no data -- 4766.98/1193.43 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.14 4766.98/1193.44 c Cache BProp: 0 Set: 0 BXProp: 1 T: 0.02 4783.37/1197.52 c Flit: 3 Blit: 2 bXBeca: 0 bXProp: 22 Bins: 2464 BRemL: 3311 BRemN: 66 P: 52.9M T: 16.30 4783.77/1197.60 c Replacing 42 vars Replaced 3275 lits Time: 0.31 s 4784.15/1197.76 c bin-w-bin subsume rem 199 bins time: 0.06 s 4784.95/1197.91 c subs with bin: 946 lits-rem: 2879 v-fix: 0 time: 0.58 s 4784.95/1197.97 c Subs w/ non-existent bins: 505 l-rem: 1025 v-fix: 0 done: 7426 time: 0.24 s 4784.95/1197.98 c Removed useless bin: 48 fixed: 0 props: 1.04M time: 0.07 s 4797.74/1201.17 c lits-rem: 2392 cl-subs: 3158 v-elim: 169 v-fix: 0 time: 12.72 s 4798.14/1201.25 c vivif2 -- cl tried 97430 cl shrink 236 lits rem 281 time: 0.29 4799.34/1201.54 c vivif2 -- cl tried 197282 cl shrink 3881 lits rem 12121 time: 1.17
ERROR: Unexpected answer ! (SATISFIABLE/UNSATISFIABLE expected) Got answer: <no 's ' line found>
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL This is runsolver version 3.3.0 (svn: 935) 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-3288002-1304042733/watcher-3288002-1304042733 -o /tmp/evaluation-result-3288002-1304042733/solver-3288002-1304042733 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3288002-1304042733.cnf running on 4 cores: 1,3,5,7 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: 8.22 7.33 7.52 5/184 18035 /proc/meminfo: memFree=23909172/32951124 swapFree=67111524/67111528 [pid=18035] ppid=18033 vsize=51236 CPUtime=0.01 cores=1,3,5,7 /proc/18035/stat : 18035 (strangenight1-m) R 18033 18035 16820 0 -1 4202496 413 0 0 0 1 0 0 0 25 0 4 0 515871470 52465664 353 33554432000 4194304 4650419 140734163605008 18446744073709551615 47066498275248 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0 /proc/18035/statm: 12809 353 303 112 0 7774 0 [pid=18035/tid=18036] ppid=18033 vsize=51236 CPUtime=0 cores=1,3,5,7 /proc/18035/task/18036/stat : 18036 (strangenight1-m) R 18033 18035 16820 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 515871470 52465664 353 33554432000 4194304 4650419 140734163605008 18446744073709551615 232335948785 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=18035/tid=18037] ppid=18033 vsize=51236 CPUtime=0 cores=1,3,5,7 /proc/18035/task/18037/stat : 18037 (strangenight1-m) R 18033 18035 16820 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 515871470 52465664 353 33554432000 4194304 4650419 140734163605008 18446744073709551615 47066498275250 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=18035/tid=18038] ppid=18033 vsize=51236 CPUtime=0 cores=1,3,5,7 /proc/18035/task/18038/stat : 18038 (strangenight1-m) R 18033 18035 16820 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 515871470 52465664 353 33554432000 4194304 4650419 140734163605008 18446744073709551615 47066498275250 0 0 4096 2 0 0 0 -1 3 0 0 0 [startup+0.0123911 s] /proc/loadavg: 8.22 7.33 7.52 5/184 18035 /proc/meminfo: memFree=23909172/32951124 swapFree=67111524/67111528 [pid=18035] ppid=18033 vsize=285572 CPUtime=0.02 cores=1,3,5,7 /proc/18035/stat : 18035 (strangenight1-m) D 18033 18035 16820 0 -1 4202496 3529 0 0 0 2 0 0 0 25 0 4 0 515871470 292425728 3033 33554432000 4194304 4650419 140734163605008 18446744073709551615 232335553569 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0 /proc/18035/statm: 71485 3343 343 112 0 66450 0 [pid=18035/tid=18036] ppid=18033 vsize=285940 CPUtime=0 cores=1,3,5,7 /proc/18035/task/18036/stat : 18036 (strangenight1-m) D 18033 18035 16820 0 -1 4202560 879 0 0 0 0 0 0 0 18 0 4 0 515871470 292802560 3420 33554432000 4194304 4650419 140734163605008 18446744073709551615 232335918186 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=18035/tid=18037] ppid=18033 vsize=286196 CPUtime=0 cores=1,3,5,7 /proc/18035/task/18037/stat : 18037 (strangenight1-m) D 18033 18035 16820 0 -1 4202560 925 0 0 0 0 0 0 0 18 0 4 0 515871470 293064704 3623 33554432000 4194304 4650419 140734163605008 18446744073709551615 232335950250 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=18035/tid=18038] ppid=18033 vsize=287348 CPUtime=0 cores=1,3,5,7 /proc/18035/task/18038/stat : 18038 (strangenight1-m) D 18033 18035 16820 0 -1 4202560 931 0 0 0 0 0 0 0 18 0 4 0 515871470 294244352 3623 33554432000 4194304 4650419 140734163605008 18446744073709551615 232335554918 0 0 4096 2 0 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 285572 [startup+0.106356 s] /proc/loadavg: 8.22 7.33 7.52 5/184 18035 /proc/meminfo: memFree=23909172/32951124 swapFree=67111524/67111528 [pid=18035] ppid=18033 vsize=364392 CPUtime=0.47 cores=1,3,5,7 /proc/18035/stat : 18035 (strangenight1-m) D 18033 18035 16820 0 -1 4202496 42980 0 0 0 39 8 0 0 18 0 4 0 515871470 373137408 34143 33554432000 4194304 4650419 140734163605008 18446744073709551615 4319766 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0 /proc/18035/statm: 91368 34520 344 112 0 86333 0 [pid=18035/tid=18036] ppid=18033 vsize=369928 CPUtime=0.12 cores=1,3,5,7 /proc/18035/task/18036/stat : 18036 (strangenight1-m) D 18033 18035 16820 0 -1 4202560 12597 0 0 0 10 2 0 0 18 0 4 0 515871470 378806272 40451 33554432000 4194304 4650419 140734163605008 18446744073709551615 4520021 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=18035/tid=18037] ppid=18033 vsize=369928 CPUtime=0.13 cores=1,3,5,7 /proc/18035/task/18037/stat : 18037 (strangenight1-m) D 18033 18035 16820 0 -1 4202560 12128 0 0 0 11 2 0 0 18 0 4 0 515871470 378806272 40451 33554432000 4194304 4650419 140734163605008 18446744073709551615 232335950250 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=18035/tid=18038] ppid=18033 vsize=371548 CPUtime=0.13 cores=1,3,5,7 /proc/18035/task/18038/stat : 18038 (strangenight1-m) R 18033 18035 16820 0 -1 4202560 12130 0 0 0 11 2 0 0 18 0 4 0 515871470 380465152 40451 33554432000 4194304 4650419 140734163605008 18446744073709551615 232335950250 0 0 4096 2 0 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 0.47 Current children cumulated vsize (KiB) 364392 [startup+0.968201 s] /proc/loadavg: 8.22 7.33 7.52 5/184 18035 /proc/meminfo: memFree=23909172/32951124 swapFree=67111524/67111528 [pid=18035] ppid=18033 vsize=468112 CPUtime=4.21 cores=1,3,5,7 /proc/18035/stat : 18035 (strangenight1-m) R 18033 18035 16820 0 -1 4202496 92369 0 0 0 404 17 0 0 19 0 4 0 515871470 479346688 71412 33554432000 4194304 4650419 140734163605008 18446744073709551615 4369984 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0 /proc/18035/statm: 117028 71412 373 112 0 111993 0 [pid=18035/tid=18036] ppid=18033 vsize=468112 CPUtime=1.04 cores=1,3,5,7 /proc/18035/task/18036/stat : 18036 (strangenight1-m) R 18033 18035 16820 0 -1 4202560 23370 0 0 0 100 4 0 0 19 0 4 0 515871470 479346688 71412 33554432000 4194304 4650419 140734163605008 18446744073709551615 4245061 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=18035/tid=18037] ppid=18033 vsize=468112 CPUtime=1.05 cores=1,3,5,7 /proc/18035/task/18037/stat : 18037 (strangenight1-m) R 18033 18035 16820 0 -1 4202560 23355 0 0 0 101 4 0 0 19 0 4 0 515871470 479346688 71412 33554432000 4194304 4650419 140734163605008 18446744073709551615 4370872 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=18035/tid=18038] ppid=18033 vsize=468112 CPUtime=1.05 cores=1,3,5,7 /proc/18035/task/18038/stat : 18038 (strangenight1-m) R 18033 18035 16820 0 -1 4202560 21865 0 0 0 101 4 0 0 19 0 4 0 515871470 479346688 71412 33554432000 4194304 4650419 140734163605008 18446744073709551615 4364340 0 0 4096 2 0 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 4.21 Current children cumulated vsize (KiB) 468112 [startup+1.16817 s] /proc/loadavg: 8.22 7.33 7.52 5/184 18035 /proc/meminfo: memFree=23909172/32951124 swapFree=67111524/67111528 [pid=18035] ppid=18033 vsize=468112 CPUtime=4.61 cores=1,3,5,7 /proc/18035/stat : 18035 (strangenight1-m) R 18033 18035 16820 0 -1 4202496 92373 0 0 0 444 17 0 0 19 0 4 0 515871470 479346688 71416 33554432000 4194304 4650419 140734163605008 18446744073709551615 4369267 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0 /proc/18035/statm: 117028 71416 373 112 0 111993 0 [pid=18035/tid=18036] ppid=18033 vsize=468112 CPUtime=1.14 cores=1,3,5,7 /proc/18035/task/18036/stat : 18036 (strangenight1-m) R 18033 18035 16820 0 -1 4202560 23370 0 0 0 110 4 0 0 19 0 4 0 515871470 479346688 71416 33554432000 4194304 4650419 140734163605008 18446744073709551615 4243899 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=18035/tid=18037] ppid=18033 vsize=468112 CPUtime=1.15 cores=1,3,5,7 /proc/18035/task/18037/stat : 18037 (strangenight1-m) R 18033 18035 16820 0 -1 4202560 23355 0 0 0 111 4 0 0 19 0 4 0 515871470 479346688 71416 33554432000 4194304 4650419 140734163605008 18446744073709551615 4370286 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=18035/tid=18038] ppid=18033 vsize=468112 CPUtime=1.15 cores=1,3,5,7 /proc/18035/task/18038/stat : 18038 (strangenight1-m) R 18033 18035 16820 0 -1 4202560 21869 0 0 0 111 4 0 0 19 0 4 0 515871470 479346688 71416 33554432000 4194304 4650419 140734163605008 18446744073709551615 4367295 0 0 4096 2 0 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 4.61 Current children cumulated vsize (KiB) 468112 [startup+1.50111 s] /proc/loadavg: 8.22 7.33 7.52 5/184 18035 /proc/meminfo: memFree=23909172/32951124 swapFree=67111524/67111528 [pid=18035] ppid=18033 vsize=468112 CPUtime=5.95 cores=1,3,5,7 /proc/18035/stat : 18035 (strangenight1-m) R 18033 18035 16820 0 -1 4202496 92488 0 0 0 578 17 0 0 19 0 4 0 515871470 479346688 71531 33554432000 4194304 4650419 140734163605008 18446744073709551615 4369860 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0 /proc/18035/statm: 117028 71531 373 112 0 111993 0 [pid=18035/tid=18036] ppid=18033 vsize=468112 CPUtime=1.48 cores=1,3,5,7 /proc/18035/task/18036/stat : 18036 (strangenight1-m) R 18033 18035 16820 0 -1 4202560 23398 0 0 0 144 4 0 0 19 0 4 0 515871470 479346688 71531 33554432000 4194304 4650419 140734163605008 18446744073709551615 4369041 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=18035/tid=18037] ppid=18033 vsize=468112 CPUtime=1.48 cores=1,3,5,7 /proc/18035/task/18037/stat : 18037 (strangenight1-m) R 18033 18035 16820 0 -1 4202560 23383 0 0 0 144 4 0 0 19 0 4 0 515871470 479346688 71531 33554432000 4194304 4650419 140734163605008 18446744073709551615 4370299 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=18035/tid=18038] ppid=18033 vsize=468112 CPUtime=1.48 cores=1,3,5,7 /proc/18035/task/18038/stat : 18038 (strangenight1-m) R 18033 18035 16820 0 -1 4202560 21901 0 0 0 144 4 0 0 19 0 4 0 515871470 479346688 71531 33554432000 4194304 4650419 140734163605008 18446744073709551615 4363420 0 0 4096 2 0 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 5.95 Current children cumulated vsize (KiB) 468112 [startup+3.10083 s] /proc/loadavg: 8.20 7.34 7.52 9/188 18039 /proc/meminfo: memFree=23615388/32951124 swapFree=67111524/67111528 [pid=18035] ppid=18033 vsize=477096 CPUtime=12.34 cores=1,3,5,7 /proc/18035/stat : 18035 (strangenight1-m) R 18033 18035 16820 0 -1 4202496 95642 0 0 0 1216 18 0 0 24 0 4 0 515871470 488546304 74685 33554432000 4194304 4650419 140734163605008 18446744073709551615 4369052 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0 /proc/18035/statm: 119274 74685 374 112 0 114239 0 [pid=18035/tid=18036] ppid=18033 vsize=477096 CPUtime=3.06 cores=1,3,5,7 /proc/18035/task/18036/stat : 18036 (strangenight1-m) R 18033 18035 16820 0 -1 4202560 23615 0 0 0 302 4 0 0 25 0 4 0 515871470 488546304 74685 33554432000 4194304 4650419 140734163605008 18446744073709551615 4369075 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=18035/tid=18037] ppid=18033 vsize=477096 CPUtime=3.08 cores=1,3,5,7 /proc/18035/task/18037/stat : 18037 (strangenight1-m) R 18033 18035 16820 0 -1 4202560 23600 0 0 0 304 4 0 0 25 0 4 0 515871470 488546304 74685 33554432000 4194304 4650419 140734163605008 18446744073709551615 4245554 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=18035/tid=18038] ppid=18033 vsize=477096 CPUtime=3.07 cores=1,3,5,7 /proc/18035/task/18038/stat : 18038 (strangenight1-m) R 18033 18035 16820 0 -1 4202560 24403 0 0 0 303 4 0 0 23 0 4 0 515871470 488546304 74685 33554432000 4194304 4650419 140734163605008 18446744073709551615 4363420 0 0 4096 2 0 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 12.34 Current children cumulated vsize (KiB) 477096 [startup+6.30626 s] /proc/loadavg: 8.20 7.34 7.52 9/188 18039 /proc/meminfo: memFree=23597832/32951124 swapFree=67111524/67111528 [pid=18035] ppid=18033 vsize=477928 CPUtime=25.13 cores=1,3,5,7 /proc/18035/stat : 18035 (strangenight1-m) R 18033 18035 16820 0 -1 4202496 96332 0 0 0 2495 18 0 0 25 0 4 0 515871470 489398272 75375 33554432000 4194304 4650419 140734163605008 18446744073709551615 4369188 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0 /proc/18035/statm: 119482 75375 374 112 0 114447 0 [pid=18035/tid=18036] ppid=18033 vsize=477928 CPUtime=6.25 cores=1,3,5,7 /proc/18035/task/18036/stat : 18036 (strangenight1-m) R 18033 18035 16820 0 -1 4202560 23805 0 0 0 621 4 0 0 25 0 4 0 515871470 489398272 75375 33554432000 4194304 4650419 140734163605008 18446744073709551615 4370329 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=18035/tid=18037] ppid=18033 vsize=477928 CPUtime=6.28 cores=1,3,5,7 /proc/18035/task/18037/stat : 18037 (strangenight1-m) R 18033 18035 16820 0 -1 4202560 23790 0 0 0 624 4 0 0 25 0 4 0 515871470 489398272 75375 33554432000 4194304 4650419 140734163605008 18446744073709551615 4369387 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=18035/tid=18038] ppid=18033 vsize=477928 CPUtime=6.28 cores=1,3,5,7 /proc/18035/task/18038/stat : 18038 (strangenight1-m) R 18033 18035 16820 0 -1 4202560 24524 0 0 0 624 4 0 0 25 0 4 0 515871470 489398272 75375 33554432000 4194304 4650419 140734163605008 18446744073709551615 4304183 0 0 4096 2 0 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 25.13 Current children cumulated vsize (KiB) 477928 [startup+12.7011 s] /proc/loadavg: 8.18 7.36 7.52 9/188 18039 /proc/meminfo: memFree=23381828/32951124 swapFree=67111524/67111528 [pid=18035] ppid=18033 vsize=757392 CPUtime=50.67 cores=1,3,5,7 /proc/18035/stat : 18035 (strangenight1-m) R 18033 18035 16820 0 -1 4202496 220026 0 0 0 5030 37 0 0 25 0 4 0 515871470 775569408 133164 33554432000 4194304 4650419 140734163605008 18446744073709551615 4366869 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0 /proc/18035/statm: 189348 133164 396 112 0 184313 0 [pid=18035/tid=18036] ppid=18033 vsize=757392 CPUtime=12.61 cores=1,3,5,7 /proc/18035/task/18036/stat : 18036 (strangenight1-m) R 18033 18035 16820 0 -1 4202560 41308 0 0 0 1255 6 0 0 25 0 4 0 515871470 775569408 133164 33554432000 4194304 4650419 140734163605008 18446744073709551615 4364340 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=18035/tid=18037] ppid=18033 vsize=757392 CPUtime=12.68 cores=1,3,5,7 /proc/18035/task/18037/stat : 18037 (strangenight1-m) R 18033 18035 16820 0 -1 4202560 43056 0 0 0 1259 9 0 0 25 0 4 0 515871470 775569408 133164 33554432000 4194304 4650419 140734163605008 18446744073709551615 4364325 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=18035/tid=18038] ppid=18033 vsize=757392 CPUtime=12.68 cores=1,3,5,7 /proc/18035/task/18038/stat : 18038 (strangenight1-m) R 18033 18035 16820 0 -1 4202560 92259 0 0 0 1256 12 0 0 25 0 4 0 515871470 775569408 133164 33554432000 4194304 4650419 140734163605008 18446744073709551615 4325316 0 0 4096 2 0 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 50.67 Current children cumulated vsize (KiB) 757392 [startup+25.5009 s] /proc/loadavg: 8.30 7.42 7.54 9/188 18040 /proc/meminfo: memFree=23290200/32951124 swapFree=67111524/67111528 [pid=18035] ppid=18033 vsize=896260 CPUtime=101.8 cores=1,3,5,7 /proc/18035/stat : 18035 (strangenight1-m) R 18033 18035 16820 0 -1 4202496 684134 0 0 0 10086 94 0 0 25 0 4 0 515871470 917770240 147707 33554432000 4194304 4650419 140734163605008 18446744073709551615 4364883 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0 /proc/18035/statm: 224065 147707 396 112 0 219030 0 [pid=18035/tid=18036] ppid=18033 vsize=896260 CPUtime=25.34 cores=1,3,5,7 /proc/18035/task/18036/stat : 18036 (strangenight1-m) R 18033 18035 16820 0 -1 4202560 57833 0 0 0 2525 9 0 0 25 0 4 0 515871470 917770240 147707 33554432000 4194304 4650419 140734163605008 18446744073709551615 4363510 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=18035/tid=18037] ppid=18033 vsize=896260 CPUtime=25.48 cores=1,3,5,7 /proc/18035/task/18037/stat : 18037 (strangenight1-m) R 18033 18035 16820 0 -1 4202560 298425 0 0 0 2509 39 0 0 25 0 4 0 515871470 917770240 147707 33554432000 4194304 4650419 140734163605008 18446744073709551615 4363420 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=18035/tid=18038] ppid=18033 vsize=896260 CPUtime=25.48 cores=1,3,5,7 /proc/18035/task/18038/stat : 18038 (strangenight1-m) R 18033 18035 16820 0 -1 4202560 92731 0 0 0 2536 12 0 0 25 0 4 0 515871470 917770240 147707 33554432000 4194304 4650419 140734163605008 18446744073709551615 4363426 0 0 4096 2 0 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 101.8 Current children cumulated vsize (KiB) 896260 [startup+51.1003 s] /proc/loadavg: 8.28 7.48 7.56 9/188 18040 /proc/meminfo: memFree=22769260/32951124 swapFree=67111524/67111528 [pid=18035] ppid=18033 vsize=1475848 CPUtime=204.06 cores=1,3,5,7 /proc/18035/stat : 18035 (strangenight1-m) R 18033 18035 16820 0 -1 4202496 822100 0 0 0 20275 131 0 0 25 0 4 0 515871470 1511268352 271556 33554432000 4194304 4650419 140734163605008 18446744073709551615 4367391 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0 /proc/18035/statm: 368962 271556 396 112 0 363927 0 [pid=18035/tid=18036] ppid=18033 vsize=1475848 CPUtime=50.8 cores=1,3,5,7 /proc/18035/task/18036/stat : 18036 (strangenight1-m) R 18033 18035 16820 0 -1 4202560 68262 0 0 0 5069 11 0 0 25 0 4 0 515871470 1511268352 271556 33554432000 4194304 4650419 140734163605008 18446744073709551615 4303973 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=18035/tid=18037] ppid=18033 vsize=1475848 CPUtime=51.08 cores=1,3,5,7 /proc/18035/task/18037/stat : 18037 (strangenight1-m) R 18033 18035 16820 0 -1 4202560 314347 0 0 0 5067 41 0 0 25 0 4 0 515871470 1511268352 271556 33554432000 4194304 4650419 140734163605008 18446744073709551615 4364453 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=18035/tid=18038] ppid=18033 vsize=1475848 CPUtime=51.08 cores=1,3,5,7 /proc/18035/task/18038/stat : 18038 (strangenight1-m) R 18033 18035 16820 0 -1 4202560 179362 0 0 0 5069 39 0 0 25 0 4 0 515871470 1511268352 271556 33554432000 4194304 4650419 140734163605008 18446744073709551615 4553292 0 0 4096 2 0 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 204.06 Current children cumulated vsize (KiB) 1475848 [startup+102.3 s] /proc/loadavg: 8.18 7.57 7.58 9/188 18042 /proc/meminfo: memFree=22625860/32951124 swapFree=67111524/67111528 [pid=18035] ppid=18033 vsize=1492660 CPUtime=408.57 cores=1,3,5,7 /proc/18035/stat : 18035 (strangenight1-m) R 18033 18035 16820 0 -1 4202496 881402 0 0 0 40709 148 0 0 25 0 4 0 515871470 1528483840 301440 33554432000 4194304 4650419 140734163605008 18446744073709551615 4310809 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0 /proc/18035/statm: 373165 301440 396 112 0 368130 0 [pid=18035/tid=18036] ppid=18033 vsize=1492660 CPUtime=101.71 cores=1,3,5,7 /proc/18035/task/18036/stat : 18036 (strangenight1-m) R 18033 18035 16820 0 -1 4202560 77788 0 0 0 10156 15 0 0 25 0 4 0 515871470 1528483840 301440 33554432000 4194304 4650419 140734163605008 18446744073709551615 4363335 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=18035/tid=18037] ppid=18033 vsize=1492660 CPUtime=102.27 cores=1,3,5,7 /proc/18035/task/18037/stat : 18037 (strangenight1-m) R 18033 18035 16820 0 -1 4202560 339719 0 0 0 10180 47 0 0 25 0 4 0 515871470 1528483840 301440 33554432000 4194304 4650419 140734163605008 18446744073709551615 4367329 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=18035/tid=18038] ppid=18033 vsize=1492660 CPUtime=102.28 cores=1,3,5,7 /proc/18035/task/18038/stat : 18038 (strangenight1-m) R 18033 18035 16820 0 -1 4202560 192390 0 0 0 10185 43 0 0 25 0 4 0 515871470 1528483840 301440 33554432000 4194304 4650419 140734163605008 18446744073709551615 4370329 0 0 4096 2 0 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 408.57 Current children cumulated vsize (KiB) 1492660 [startup+162.301 s] ################ # More data... # ################ [pid=18035] ppid=18033 vsize=2005256 CPUtime=2805.26 cores=1,3,5,7 /proc/18035/stat : 18035 (strangenight1-m) R 18033 18035 16820 0 -1 4202496 1229443 0 0 0 280252 274 0 0 25 0 4 0 515871470 2053382144 423714 33554432000 4194304 4650419 140734163605008 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0 /proc/18035/statm: 501314 423714 396 112 0 496279 0 [pid=18035/tid=18036] ppid=18033 vsize=2005256 CPUtime=698.45 cores=1,3,5,7 /proc/18035/task/18036/stat : 18036 (strangenight1-m) R 18033 18035 16820 0 -1 4202560 146700 0 0 0 69801 44 0 0 25 0 4 0 515871470 2053382144 423714 33554432000 4194304 4650419 140734163605008 18446744073709551615 4368084 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=18035/tid=18037] ppid=18033 vsize=2005256 CPUtime=702.26 cores=1,3,5,7 /proc/18035/task/18037/stat : 18037 (strangenight1-m) R 18033 18035 16820 0 -1 4202560 441270 0 0 0 70147 79 0 0 25 0 4 0 515871470 2053382144 423714 33554432000 4194304 4650419 140734163605008 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=18035/tid=18038] ppid=18033 vsize=2005256 CPUtime=702.29 cores=1,3,5,7 /proc/18035/task/18038/stat : 18038 (strangenight1-m) R 18033 18035 16820 0 -1 4202560 272511 0 0 0 70159 70 0 0 25 0 4 0 515871470 2053382144 423714 33554432000 4194304 4650419 140734163605008 18446744073709551615 4364751 0 0 4096 2 0 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 2805.26 Current children cumulated vsize (KiB) 2005256 [startup+762.301 s] /proc/loadavg: 8.34 8.19 7.90 9/188 18059 /proc/meminfo: memFree=21952488/32951124 swapFree=67111524/67111528 [pid=18035] ppid=18033 vsize=1988608 CPUtime=3044.93 cores=1,3,5,7 /proc/18035/stat : 18035 (strangenight1-m) R 18033 18035 16820 0 -1 4202496 1252524 0 0 0 304210 283 0 0 25 0 4 0 515871470 2036334592 409140 33554432000 4194304 4650419 140734163605008 18446744073709551615 4364762 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0 /proc/18035/statm: 497152 409140 396 112 0 492117 0 [pid=18035/tid=18036] ppid=18033 vsize=1988608 CPUtime=758.13 cores=1,3,5,7 /proc/18035/task/18036/stat : 18036 (strangenight1-m) R 18033 18035 16820 0 -1 4202560 150313 0 0 0 75767 46 0 0 25 0 4 0 515871470 2036334592 409140 33554432000 4194304 4650419 140734163605008 18446744073709551615 4365323 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=18035/tid=18037] ppid=18033 vsize=1988608 CPUtime=762.25 cores=1,3,5,7 /proc/18035/task/18037/stat : 18037 (strangenight1-m) R 18033 18035 16820 0 -1 4202560 451878 0 0 0 76142 83 0 0 25 0 4 0 515871470 2036334592 409140 33554432000 4194304 4650419 140734163605008 18446744073709551615 4365323 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=18035/tid=18038] ppid=18033 vsize=1988608 CPUtime=762.3 cores=1,3,5,7 /proc/18035/task/18038/stat : 18038 (strangenight1-m) R 18033 18035 16820 0 -1 4202560 275429 0 0 0 76159 71 0 0 25 0 4 0 515871470 2036334592 409140 33554432000 4194304 4650419 140734163605008 18446744073709551615 4363452 0 0 4096 2 0 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 3044.93 Current children cumulated vsize (KiB) 1988608 [startup+822.3 s] /proc/loadavg: 8.40 8.22 7.93 10/188 18061 /proc/meminfo: memFree=21974152/32951124 swapFree=67111524/67111528 [pid=18035] ppid=18033 vsize=1989832 CPUtime=3284.61 cores=1,3,5,7 /proc/18035/stat : 18035 (strangenight1-m) R 18033 18035 16820 0 -1 4202496 1288171 0 0 0 328165 296 0 0 25 0 4 0 515871470 2037587968 408506 33554432000 4194304 4650419 140734163605008 18446744073709551615 4365020 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0 /proc/18035/statm: 497458 408506 396 112 0 492423 0 [pid=18035/tid=18036] ppid=18033 vsize=1989832 CPUtime=817.81 cores=1,3,5,7 /proc/18035/task/18036/stat : 18036 (strangenight1-m) R 18033 18035 16820 0 -1 4202560 159385 0 0 0 81731 50 0 0 25 0 4 0 515871470 2037587968 408506 33554432000 4194304 4650419 140734163605008 18446744073709551615 4333710 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=18035/tid=18037] ppid=18033 vsize=1989832 CPUtime=822.26 cores=1,3,5,7 /proc/18035/task/18037/stat : 18037 (strangenight1-m) R 18033 18035 16820 0 -1 4202560 462599 0 0 0 82139 87 0 0 25 0 4 0 515871470 2037587968 408506 33554432000 4194304 4650419 140734163605008 18446744073709551615 4315114 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=18035/tid=18038] ppid=18033 vsize=1989832 CPUtime=822.3 cores=1,3,5,7 /proc/18035/task/18038/stat : 18038 (strangenight1-m) R 18033 18035 16820 0 -1 4202560 279654 0 0 0 82157 73 0 0 25 0 4 0 515871470 2037587968 408506 33554432000 4194304 4650419 140734163605008 18446744073709551615 4365252 0 0 4096 2 0 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 3284.61 Current children cumulated vsize (KiB) 1989832 [startup+882.301 s] /proc/loadavg: 8.27 8.21 7.94 9/188 18063 /proc/meminfo: memFree=21932208/32951124 swapFree=67111524/67111528 [pid=18035] ppid=18033 vsize=1990664 CPUtime=3524.27 cores=1,3,5,7 /proc/18035/stat : 18035 (strangenight1-m) R 18033 18035 16820 0 -1 4202496 1323066 0 0 0 352119 308 0 0 25 0 4 0 515871470 2038439936 414706 33554432000 4194304 4650419 140734163605008 18446744073709551615 4438922 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0 /proc/18035/statm: 497666 414706 396 112 0 492631 0 [pid=18035/tid=18036] ppid=18033 vsize=1990664 CPUtime=877.48 cores=1,3,5,7 /proc/18035/task/18036/stat : 18036 (strangenight1-m) R 18033 18035 16820 0 -1 4202560 166536 0 0 0 87695 53 0 0 25 0 4 0 515871470 2038439936 414706 33554432000 4194304 4650419 140734163605008 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=18035/tid=18037] ppid=18033 vsize=1990664 CPUtime=882.26 cores=1,3,5,7 /proc/18035/task/18037/stat : 18037 (strangenight1-m) R 18033 18035 16820 0 -1 4202560 469978 0 0 0 88136 90 0 0 25 0 4 0 515871470 2038439936 414706 33554432000 4194304 4650419 140734163605008 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=18035/tid=18038] ppid=18033 vsize=1990664 CPUtime=882.3 cores=1,3,5,7 /proc/18035/task/18038/stat : 18038 (strangenight1-m) R 18033 18035 16820 0 -1 4202560 283786 0 0 0 88156 74 0 0 25 0 4 0 515871470 2038439936 414706 33554432000 4194304 4650419 140734163605008 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 3524.27 Current children cumulated vsize (KiB) 1990664 [startup+942.301 s] /proc/loadavg: 8.39 8.24 7.97 9/188 18064 /proc/meminfo: memFree=21865588/32951124 swapFree=67111524/67111528 [pid=18035] ppid=18033 vsize=1970876 CPUtime=3763.97 cores=1,3,5,7 /proc/18035/stat : 18035 (strangenight1-m) R 18033 18035 16820 0 -1 4202496 1524097 0 0 0 376055 342 0 0 25 0 4 0 515871470 2018177024 429897 33554432000 4194304 4650419 140734163605008 18446744073709551615 4363423 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0 /proc/18035/statm: 492719 429897 396 112 0 487684 0 [pid=18035/tid=18036] ppid=18033 vsize=1970876 CPUtime=937.15 cores=1,3,5,7 /proc/18035/task/18036/stat : 18036 (strangenight1-m) R 18033 18035 16820 0 -1 4202560 173501 0 0 0 93660 55 0 0 25 0 4 0 515871470 2018177024 429897 33554432000 4194304 4650419 140734163605008 18446744073709551615 4364503 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=18035/tid=18037] ppid=18033 vsize=1970876 CPUtime=942.25 cores=1,3,5,7 /proc/18035/task/18037/stat : 18037 (strangenight1-m) R 18033 18035 16820 0 -1 4202560 641861 0 0 0 94112 113 0 0 25 0 4 0 515871470 2018177024 429897 33554432000 4194304 4650419 140734163605008 18446744073709551615 4476426 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=18035/tid=18038] ppid=18033 vsize=1970876 CPUtime=942.3 cores=1,3,5,7 /proc/18035/task/18038/stat : 18038 (strangenight1-m) R 18033 18035 16820 0 -1 4202560 292551 0 0 0 94154 76 0 0 25 0 4 0 515871470 2018177024 429897 33554432000 4194304 4650419 140734163605008 18446744073709551615 4315137 0 0 4096 2 0 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 3763.97 Current children cumulated vsize (KiB) 1970876 [startup+1002.3 s] /proc/loadavg: 6.78 7.86 7.85 5/179 18084 /proc/meminfo: memFree=23692840/32951124 swapFree=67111524/67111528 [pid=18035] ppid=18033 vsize=2011884 CPUtime=4003.61 cores=1,3,5,7 /proc/18035/stat : 18035 (strangenight1-m) R 18033 18035 16820 0 -1 4202496 1592751 0 0 0 400000 361 0 0 25 0 4 0 515871470 2060169216 428137 33554432000 4194304 4650419 140734163605008 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0 /proc/18035/statm: 502971 428137 396 112 0 497936 0 [pid=18035/tid=18036] ppid=18033 vsize=2011884 CPUtime=996.82 cores=1,3,5,7 /proc/18035/task/18036/stat : 18036 (strangenight1-m) R 18033 18035 16820 0 -1 4202560 182683 0 0 0 99623 59 0 0 25 0 4 0 515871470 2060169216 428137 33554432000 4194304 4650419 140734163605008 18446744073709551615 4364340 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=18035/tid=18037] ppid=18033 vsize=2011884 CPUtime=1002.24 cores=1,3,5,7 /proc/18035/task/18037/stat : 18037 (strangenight1-m) R 18033 18035 16820 0 -1 4202560 683467 0 0 0 100103 121 0 0 25 0 4 0 515871470 2060169216 428137 33554432000 4194304 4650419 140734163605008 18446744073709551615 4363444 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=18035/tid=18038] ppid=18033 vsize=2011884 CPUtime=1002.3 cores=1,3,5,7 /proc/18035/task/18038/stat : 18038 (strangenight1-m) R 18033 18035 16820 0 -1 4202560 298572 0 0 0 100150 80 0 0 25 0 4 0 515871470 2060169216 428137 33554432000 4194304 4650419 140734163605008 18446744073709551615 4364856 0 0 4096 2 0 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 4003.61 Current children cumulated vsize (KiB) 2011884 [startup+1062.31 s] /proc/loadavg: 4.94 7.11 7.59 5/179 18085 /proc/meminfo: memFree=23670132/32951124 swapFree=67111524/67111528 [pid=18035] ppid=18033 vsize=2012760 CPUtime=4243.31 cores=1,3,5,7 /proc/18035/stat : 18035 (strangenight1-m) R 18033 18035 16820 0 -1 4202496 1621970 0 0 0 423958 373 0 0 25 0 4 0 515871470 2061066240 433888 33554432000 4194304 4650419 140734163605008 18446744073709551615 4363420 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0 /proc/18035/statm: 503190 433888 396 112 0 498155 0 [pid=18035/tid=18036] ppid=18033 vsize=2012760 CPUtime=1056.51 cores=1,3,5,7 /proc/18035/task/18036/stat : 18036 (strangenight1-m) R 18033 18035 16820 0 -1 4202560 192207 0 0 0 105587 64 0 0 25 0 4 0 515871470 2061066240 433888 33554432000 4194304 4650419 140734163605008 18446744073709551615 4365323 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=18035/tid=18037] ppid=18033 vsize=2012760 CPUtime=1062.25 cores=1,3,5,7 /proc/18035/task/18037/stat : 18037 (strangenight1-m) R 18033 18035 16820 0 -1 4202560 691045 0 0 0 106101 124 0 0 25 0 4 0 515871470 2061066240 433888 33554432000 4194304 4650419 140734163605008 18446744073709551615 4363506 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=18035/tid=18038] ppid=18033 vsize=2012760 CPUtime=1062.31 cores=1,3,5,7 /proc/18035/task/18038/stat : 18038 (strangenight1-m) R 18033 18035 16820 0 -1 4202560 302782 0 0 0 106150 81 0 0 25 0 4 0 515871470 2061066240 433888 33554432000 4194304 4650419 140734163605008 18446744073709551615 4366869 0 0 4096 2 0 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 4243.31 Current children cumulated vsize (KiB) 2012760 [startup+1122.3 s] /proc/loadavg: 4.37 6.58 7.38 5/179 18087 /proc/meminfo: memFree=23687980/32951124 swapFree=67111524/67111528 [pid=18035] ppid=18033 vsize=2013880 CPUtime=4482.97 cores=1,3,5,7 /proc/18035/stat : 18035 (strangenight1-m) R 18033 18035 16820 0 -1 4202496 1657823 0 0 0 447910 387 0 0 25 0 4 0 515871470 2062213120 429397 33554432000 4194304 4650419 140734163605008 18446744073709551615 4363416 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0 /proc/18035/statm: 503470 429397 396 112 0 498435 0 [pid=18035/tid=18036] ppid=18033 vsize=2013880 CPUtime=1116.18 cores=1,3,5,7 /proc/18035/task/18036/stat : 18036 (strangenight1-m) R 18033 18035 16820 0 -1 4202560 198849 0 0 0 111549 69 0 0 25 0 4 0 515871470 2062213120 429397 33554432000 4194304 4650419 140734163605008 18446744073709551615 4363617 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=18035/tid=18037] ppid=18033 vsize=2013880 CPUtime=1122.24 cores=1,3,5,7 /proc/18035/task/18037/stat : 18037 (strangenight1-m) R 18033 18035 16820 0 -1 4202560 702446 0 0 0 112097 127 0 0 25 0 4 0 515871470 2062213120 429397 33554432000 4194304 4650419 140734163605008 18446744073709551615 4334212 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=18035/tid=18038] ppid=18033 vsize=2013880 CPUtime=1122.3 cores=1,3,5,7 /proc/18035/task/18038/stat : 18038 (strangenight1-m) R 18033 18035 16820 0 -1 4202560 308381 0 0 0 112147 83 0 0 25 0 4 0 515871470 2062213120 429397 33554432000 4194304 4650419 140734163605008 18446744073709551615 4349680 0 0 4096 2 0 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 4482.97 Current children cumulated vsize (KiB) 2013880 [startup+1182.3 s] /proc/loadavg: 4.12 6.07 7.15 5/179 18089 /proc/meminfo: memFree=23666760/32951124 swapFree=67111524/67111528 [pid=18035] ppid=18033 vsize=2014684 CPUtime=4722.64 cores=1,3,5,7 /proc/18035/stat : 18035 (strangenight1-m) R 18033 18035 16820 0 -1 4202496 1686897 0 0 0 471865 399 0 0 25 0 4 0 515871470 2063036416 434676 33554432000 4194304 4650419 140734163605008 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0 /proc/18035/statm: 503671 434676 396 112 0 498636 0 [pid=18035/tid=18036] ppid=18033 vsize=2014684 CPUtime=1175.85 cores=1,3,5,7 /proc/18035/task/18036/stat : 18036 (strangenight1-m) R 18033 18035 16820 0 -1 4202560 208147 0 0 0 117512 73 0 0 25 0 4 0 515871470 2063036416 434676 33554432000 4194304 4650419 140734163605008 18446744073709551615 4366882 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=18035/tid=18037] ppid=18033 vsize=2014684 CPUtime=1182.24 cores=1,3,5,7 /proc/18035/task/18037/stat : 18037 (strangenight1-m) R 18033 18035 16820 0 -1 4202560 710047 0 0 0 118095 129 0 0 25 0 4 0 515871470 2063036416 434676 33554432000 4194304 4650419 140734163605008 18446744073709551615 4315094 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=18035/tid=18038] ppid=18033 vsize=2014684 CPUtime=1182.31 cores=1,3,5,7 /proc/18035/task/18038/stat : 18038 (strangenight1-m) R 18033 18035 16820 0 -1 4202560 312906 0 0 0 118146 85 0 0 25 0 4 0 515871470 2063036416 434676 33554432000 4194304 4650419 140734163605008 18446744073709551615 4364503 0 0 4096 2 0 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 4722.64 Current children cumulated vsize (KiB) 2014684 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1201.7 s] /proc/loadavg: 4.10 5.97 7.10 5/179 18089 /proc/meminfo: memFree=23659444/32951124 swapFree=67111524/67111528 [pid=18035] ppid=18033 vsize=2015128 CPUtime=4800.15 cores=1,3,5,7 /proc/18035/stat : 18035 (strangenight1-m) R 18033 18035 16820 0 -1 4202496 1709593 0 0 0 479609 406 0 0 25 0 4 0 515871470 2063491072 436475 33554432000 4194304 4650419 140734163605008 18446744073709551615 4370522 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0 /proc/18035/statm: 503782 436475 396 112 0 498747 0 [pid=18035/tid=18036] ppid=18033 vsize=2015128 CPUtime=1195.15 cores=1,3,5,7 /proc/18035/task/18036/stat : 18036 (strangenight1-m) R 18033 18035 16820 0 -1 4202560 209146 0 0 0 119441 74 0 0 25 0 4 0 515871470 2063491072 436475 33554432000 4194304 4650419 140734163605008 18446744073709551615 4363496 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=18035/tid=18037] ppid=18033 vsize=2015128 CPUtime=1201.65 cores=1,3,5,7 /proc/18035/task/18037/stat : 18037 (strangenight1-m) R 18033 18035 16820 0 -1 4202560 715053 0 0 0 120034 131 0 0 25 0 4 0 515871470 2063491072 436475 33554432000 4194304 4650419 140734163605008 18446744073709551615 4334017 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=18035/tid=18038] ppid=18033 vsize=2015128 CPUtime=1201.71 cores=1,3,5,7 /proc/18035/task/18038/stat : 18038 (strangenight1-m) R 18033 18035 16820 0 -1 4202560 316727 0 0 0 120085 86 0 0 25 0 4 0 515871470 2063491072 436475 33554432000 4194304 4650419 140734163605008 18446744073709551615 4363416 0 0 4096 2 0 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 4800.15 Current children cumulated vsize (KiB) 2015128 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1201.7 s] /proc/loadavg: 4.10 5.97 7.10 5/179 18089 /proc/meminfo: memFree=23659444/32951124 swapFree=67111524/67111528 [pid=18035] ppid=18033 vsize=2015128 CPUtime=4800.15 cores=1,3,5,7 /proc/18035/stat : 18035 (strangenight1-m) R 18033 18035 16820 0 -1 4202496 1709593 0 0 0 479609 406 0 0 25 0 4 0 515871470 2063491072 436475 33554432000 4194304 4650419 140734163605008 18446744073709551615 4370522 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0 /proc/18035/statm: 503782 436475 396 112 0 498747 0 [pid=18035/tid=18036] ppid=18033 vsize=2015128 CPUtime=1195.15 cores=1,3,5,7 /proc/18035/task/18036/stat : 18036 (strangenight1-m) R 18033 18035 16820 0 -1 4202560 209146 0 0 0 119441 74 0 0 25 0 4 0 515871470 2063491072 436475 33554432000 4194304 4650419 140734163605008 18446744073709551615 4363496 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=18035/tid=18037] ppid=18033 vsize=2015128 CPUtime=1201.65 cores=1,3,5,7 /proc/18035/task/18037/stat : 18037 (strangenight1-m) R 18033 18035 16820 0 -1 4202560 715053 0 0 0 120034 131 0 0 25 0 4 0 515871470 2063491072 436475 33554432000 4194304 4650419 140734163605008 18446744073709551615 4334017 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=18035/tid=18038] ppid=18033 vsize=2015128 CPUtime=1201.71 cores=1,3,5,7 /proc/18035/task/18038/stat : 18038 (strangenight1-m) R 18033 18035 16820 0 -1 4202560 316727 0 0 0 120085 86 0 0 25 0 4 0 515871470 2063491072 436475 33554432000 4194304 4650419 140734163605008 18446744073709551615 4363416 0 0 4096 2 0 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 4800.15 Current children cumulated vsize (KiB) 2015128 Child ended because it received signal 15 (SIGTERM) Real time (s): 1201.79 CPU time (s): 4800.26 CPU user time (s): 4796.12 CPU system time (s): 4.13737 CPU usage (%): 399.427 Max. virtual memory (cumulated for all children) (KiB): 2145996 getrusage(RUSAGE_CHILDREN,...) data: user time used= 4796.12 system time used= 4.13737 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 1709594 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= 3799 involuntary context switches= 30199 runsolver used 1.79773 second user time and 4.78527 second system time The end
Begin job on node132 at 2011-04-29 04:05:33 IDJOB=3288002 IDBENCH=82481 IDSOLVER=1588 FILE ID=node132/3288002-1304042733 RUNJOBID= node132-1304042501-17478 PBS_JOBID= 13170365 Free space on /tmp= 71848 MiB SOLVER NAME= CryptoMiniSat Strange-Night-1-mt BENCH NAME= SAT11/application/jarvisalo/HWMCC10-combination-timeframe-expansion/hwmcc10-timeframe-expansion-k50-pdtvisns3p00-tseitin.cnf COMMAND LINE= ./strangenight1-mt --threads=NBCORE BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3288002-1304042733/watcher-3288002-1304042733 -o /tmp/evaluation-result-3288002-1304042733/solver-3288002-1304042733 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3288002-1304042733.cnf TIME LIMIT= 4800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= a8ad0173824ed9404a8c153da07c5f9c RANDOM SEED=28761542 node132.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.833 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.66 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.833 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.74 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.833 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.76 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.833 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.75 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.833 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.77 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.833 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.67 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.833 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.82 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.833 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.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 23909204 kB Buffers: 759520 kB Cached: 6235680 kB SwapCached: 4 kB Active: 3366152 kB Inactive: 5175272 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 23909204 kB SwapTotal: 67111528 kB SwapFree: 67111524 kB Dirty: 16036 kB Writeback: 0 kB AnonPages: 1545668 kB Mapped: 15604 kB Slab: 435532 kB PageTables: 8068 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 1942696 kB VmallocTotal: 34359738367 kB VmallocUsed: 33868 kB VmallocChunk: 34359703231 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 71856 MiB End job on node132 at 2011-04-29 04:25:37