| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| CryptoMiniSat Strange-Night-1-mt (fixed) | ? (TO) | 4800.34 | 1203.46 |
| Name | random/large/ unif-k3-r4.2-v10000-c42000-S360796849-068-UNKNOWN.cnf |
| MD5SUM | 20b02cb2651a47b9d104f0bf45924440 |
| Bench Category | RANDOM (random instances) |
| Best result obtained on this benchmark | SAT |
| Best CPU time to get the best result obtained on this benchmark | 2.89356 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 10000 |
| Number of clauses | 42000 |
| Sum of the clauses size | 126000 |
| Maximum clause length | 3 |
| Minimum clause length | 3 |
| Number of clauses of size 1 | 0 |
| Number of clauses of size 2 | 0 |
| Number of clauses of size 3 | 42000 |
| 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.01 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-3368495-1305394578.cnf' 0.00/0.01 c -- header says num vars: 10000 0.00/0.01 c -- header says num clauses: 42000 0.00/0.06 c -- clauses added: 0 learnts, 42000 normals, 0 xors 0.00/0.06 c -- vars added 10000 0.00/0.06 c Parsing time: 0.10 s 0.00/0.06 c N st 0 0 10000 42000 0 0 126000 0 no data no data -- 0.00/0.06 c asymm cl-useful: 0/42000/42000 lits-rem:0 time: 0.10 0.00/0.08 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.1M T: 0.05 0.37/0.11 c bin-w-bin subsume rem 0 bins time: 0.01 s 0.37/0.11 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.01 s 0.37/0.11 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 10000 time: 0.01 s 0.37/0.11 c Removed useless bin: 0 fixed: 0 props: 0.10M time: 0.01 s 1.17/1.01 c lits-rem: 0 cl-subs: 0 v-elim: 350 v-fix: 0 time: 0.34 s 1.17/1.01 c Finding binary XORs T: 0.01 s found: 0 1.17/1.01 c Finding non-binary XORs: 0.05 s (found: 0, avg size: nan) 1.17/1.01 c calculated reachability. Time: 0.00 1.17/1.01 c Calc default polars - time: 0.01 s pos: 4380 undec: 1158 neg: 4462 1.17/1.01 c ========================================================================================= 1.17/1.01 c types(t): F = full restart, N = normal restart 1.17/1.01 c types(t): S = simplification begin/end, E = solution found 1.17/1.01 c restart types(rt): st = static, dy = dynamic 1.17/1.01 c t rt Rest Confl Vars NormCls BinCls Learnts ClLits LtLits 1.17/1.01 c B st 0 0 9650 41565 0 0 126712 0 no data no data -- 1.17/1.01 c N dy 16 4056 9650 41565 0 4053 126712 642937 91.79 96.93 -- 5.57/1.41 c N dy 41 8064 9650 41565 0 4567 126712 315719 91.07 100.81 -- 7.95/2.00 c N dy 70 12221 9650 41565 0 8723 126712 914264 91.77 98.29 -- 10.35/2.65 c N dy 101 16390 9650 41565 0 7145 126712 404157 92.81 100.38 -- 12.74/3.27 c N dy 130 20494 9650 41565 0 11249 126712 1011896 93.00 98.67 -- 15.57/3.96 c N dy 160 24643 9650 41565 0 8020 126712 308079 93.70 100.27 -- 15.94/4.01 c F st 162 25000 9650 41565 0 8377 126712 358648 93.61 93.44 -- 19.13/4.86 c N dy 168 30000 9650 41565 0 13376 126712 1278802 93.61 no data -- 19.13/4.86 c S st 168 30000 9650 41565 0 13376 126712 1278802 93.61 no data -- 19.57/4.94 c S st 168 30506 9650 41565 0 13882 126712 1332044 93.61 no data -- 19.57/4.95 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.02 19.57/4.95 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 19.57/4.98 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.3M T: 0.13 19.97/5.09 c bin-w-bin subsume rem 0 bins time: 0.01 s 19.97/5.09 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.01 s 19.97/5.09 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 9650 time: 0.01 s 20.32/5.10 c Removed useless bin: 0 fixed: 0 props: 0.09M time: 0.01 s 27.11/6.87 c lits-rem: 5 cl-subs: 4 v-elim: 0 v-fix: 0 time: 7.06 s 27.51/6.92 c asymm cl-useful: 0/41565/41565 lits-rem:0 time: 0.19 27.51/6.92 c calculated reachability. Time: 0.00 27.51/6.92 c N dy 168 30506 9650 41565 0 13878 126712 1330824 93.61 no data -- 30.30/7.64 c N dy 199 34559 9650 41565 0 9248 126712 299624 93.96 100.85 -- 33.13/8.31 c N dy 220 38645 9650 41565 0 13334 126712 915054 93.79 109.18 -- 35.88/9.06 c N dy 244 42850 9650 41565 0 17539 126712 1542121 93.76 98.90 -- 38.27/9.60 c S st 262 45760 9650 41565 0 10603 126712 336840 93.58 76.57 -- 38.27/9.68 c S st 262 46264 9650 41565 0 11107 126712 397230 93.58 no data -- 38.27/9.69 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.02 38.27/9.69 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 38.67/9.72 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.3M T: 0.13 38.67/9.75 c bin-w-bin subsume rem 0 bins time: 0.01 s 38.67/9.75 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.01 s 38.67/9.76 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 9650 time: 0.01 s 38.67/9.76 c Removed useless bin: 0 fixed: 0 props: 0.09M time: 0.01 s 45.46/11.45 c lits-rem: 2 cl-subs: 0 v-elim: 0 v-fix: 0 time: 6.75 s 45.46/11.46 c vivif2 -- cl tried 41565 cl shrink 0 lits rem 0 time: 0.01 45.46/11.46 c vivif2 -- cl tried 11107 cl shrink 0 lits rem 0 time: 0.02 45.46/11.50 c asymm cl-useful: 0/41565/41565 lits-rem:0 time: 0.16 45.46/11.51 c calculated reachability. Time: 0.00 45.46/11.51 c N dy 262 46264 9650 41565 0 11107 126712 397228 93.58 no data -- 48.64/12.25 c N dy 292 50636 9650 41565 0 15478 126712 1059056 93.80 98.94 -- 51.43/12.96 c N dy 323 54699 9650 41565 0 19541 126712 1663354 93.92 99.52 -- 54.22/13.68 c N dy 349 58917 9650 41565 0 12842 126712 508394 93.87 100.03 -- 57.01/14.37 c N dy 380 62966 9650 41565 0 16890 126712 1125372 94.09 99.11 -- 60.20/15.10 c N dy 406 67104 9650 41565 0 21028 126712 1751432 94.14 101.85 -- 61.80/15.52 c S st 422 69397 9650 41565 0 23321 126712 2095305 94.15 no data -- 62.20/15.61 c S st 422 69899 9650 41565 0 23823 126712 2147069 94.15 no data -- 62.20/15.62 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.03 62.20/15.62 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 62.20/15.66 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.4M T: 0.16 63.01/15.80 c bin-w-bin subsume rem 0 bins time: 0.01 s 63.01/15.80 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.01 s 63.01/15.80 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 9650 time: 0.01 s 63.01/15.81 c Removed useless bin: 0 fixed: 0 props: 0.09M time: 0.01 s 80.15/20.11 c lits-rem: 2 cl-subs: 3 v-elim: 0 v-fix: 0 time: 17.11 s 80.15/20.11 c vivif2 -- cl tried 41565 cl shrink 0 lits rem 0 time: 0.01 80.15/20.14 c vivif2 -- cl tried 23820 cl shrink 0 lits rem 0 time: 0.10 80.55/20.20 c asymm cl-useful: 0/41565/41565 lits-rem:0 time: 0.26 80.55/20.21 c calculated reachability. Time: 0.00 80.55/20.21 c N dy 422 69899 9650 41565 0 23820 126712 2146308 94.15 no data -- 83.74/21.01 c N dy 452 74371 9650 41565 0 16332 126712 878639 94.24 103.76 -- 86.93/21.88 c N dy 483 79186 9650 41565 0 21147 126712 1605573 94.22 99.50 -- 90.92/22.87 c N dy 515 84475 9650 41565 0 13454 126712 309077 94.11 101.43 -- 92.91/23.38 c F st 534 87501 9650 41565 0 16480 126712 755173 94.04 82.12 -- 95.70/24.00 c N st 539 90796 9650 41565 0 19775 126712 1380272 94.04 no data -- 100.09/25.11 c N dy 564 96594 9650 41565 0 25572 126712 2339416 93.91 103.23 -- 104.47/26.24 c N dy 606 102776 9650 41565 0 17767 126712 788368 93.85 99.39 -- 106.07/26.60 c S st 620 104849 9650 41565 0 19840 126712 1088968 93.84 no data -- 106.07/26.69 c S st 620 105355 9650 41565 0 20346 126712 1147198 93.84 no data -- 106.07/26.69 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.02 106.07/26.69 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 106.48/26.73 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.4M T: 0.15 106.48/26.79 c bin-w-bin subsume rem 0 bins time: 0.01 s 106.48/26.79 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.01 s 106.48/26.79 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 9650 time: 0.01 s 106.48/26.80 c Removed useless bin: 0 fixed: 0 props: 0.09M time: 0.01 s 115.65/29.03 c lits-rem: 10 cl-subs: 1 v-elim: 0 v-fix: 0 time: 8.90 s 115.65/29.03 c vivif2 -- cl tried 41565 cl shrink 0 lits rem 0 time: 0.01 115.65/29.05 c vivif2 -- cl tried 20345 cl shrink 0 lits rem 0 time: 0.06 115.65/29.10 c asymm cl-useful: 0/41565/41565 lits-rem:0 time: 0.22 115.65/29.11 c calculated reachability. Time: 0.00 115.65/29.11 c N dy 620 105355 9650 41565 0 20345 126712 1146758 93.84 no data -- 120.88/30.37 c N dy 661 112236 9650 41565 0 27225 126712 2166445 93.78 99.63 -- 126.42/31.74 c N dy 711 119470 9650 41565 0 19464 126712 918910 93.81 99.84 -- 132.01/33.17 c N dy 760 127136 9650 41565 0 27130 126712 2073200 93.77 98.84 -- 138.03/34.71 c N dy 806 135255 9650 41565 0 19251 126712 728886 93.66 104.84 -- 144.77/36.31 c N dy 862 143945 9650 41565 0 27939 126712 2052830 93.78 108.44 -- 151.60/38.10 c N dy 924 153139 9650 41565 0 20135 126712 726649 93.85 98.87 -- 155.14/38.99 c S st 958 158033 9650 41565 0 25028 126712 1467736 93.96 101.70 -- 155.59/39.09 c S st 958 158534 9650 41565 0 25529 126712 1530391 93.96 no data -- 155.59/39.10 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.02 155.59/39.10 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 155.99/39.14 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.5M T: 0.17 156.34/39.21 c bin-w-bin subsume rem 0 bins time: 0.01 s 156.34/39.21 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.01 s 156.34/39.22 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 9650 time: 0.01 s 156.34/39.22 c Removed useless bin: 0 fixed: 0 props: 0.09M time: 0.01 s 168.31/42.22 c lits-rem: 14 cl-subs: 4 v-elim: 0 v-fix: 0 time: 11.94 s 168.31/42.22 c vivif2 -- cl tried 41565 cl shrink 0 lits rem 0 time: 0.01 168.31/42.24 c vivif2 -- cl tried 25525 cl shrink 0 lits rem 0 time: 0.08 168.31/42.30 c asymm cl-useful: 0/41565/41565 lits-rem:0 time: 0.25 168.31/42.31 c calculated reachability. Time: 0.00 168.31/42.31 c N dy 958 158534 9650 41565 0 25525 126712 1529123 93.96 no data -- 176.69/44.35 c N dy 1019 168705 9650 41565 0 35696 126712 3043130 93.92 127.46 -- 184.66/46.36 c N dy 1084 179521 9650 41565 0 28513 126712 1810961 93.91 99.06 -- 193.84/48.68 c N dy 1157 191090 9650 41565 0 21086 126712 578028 94.00 101.37 -- 203.41/51.05 c N dy 1235 203405 9650 41565 0 33400 126712 2405616 93.93 98.99 -- 214.18/53.70 c N dy 1317 216673 9650 41565 0 26667 126712 1254311 93.94 98.96 -- 225.79/56.69 c N dy 1410 230598 9650 41565 0 40592 126712 3361955 94.07 159.75 -- 231.73/58.10 c S st 1461 237801 9650 41565 0 26795 126712 1127472 94.12 no data -- 232.13/58.20 c S st 1461 238304 9650 41565 0 27298 126712 1184779 94.12 no data -- 232.13/58.21 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.02 232.13/58.21 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 232.13/58.25 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.5M T: 0.17 232.53/58.30 c bin-w-bin subsume rem 0 bins time: 0.01 s 232.53/58.31 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.01 s 232.53/58.31 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 9650 time: 0.01 s 232.53/58.31 c Removed useless bin: 0 fixed: 0 props: 0.09M time: 0.01 s 241.69/60.66 c lits-rem: 15 cl-subs: 2 v-elim: 0 v-fix: 0 time: 9.35 s 241.69/60.67 c vivif2 -- cl tried 41565 cl shrink 0 lits rem 0 time: 0.01 241.69/60.68 c vivif2 -- cl tried 27296 cl shrink 0 lits rem 0 time: 0.06 242.09/60.75 c asymm cl-useful: 0/41565/41565 lits-rem:0 time: 0.26 242.09/60.75 c calculated reachability. Time: 0.00 242.09/60.75 c N dy 1461 238304 9650 41565 0 27296 126712 1184708 94.12 no data -- 254.86/63.90 c N dy 1553 253521 9650 41565 0 42512 126712 3461727 94.14 116.80 -- 268.03/67.27 c N dy 1659 269853 9650 41565 0 36844 126712 2496320 94.15 105.56 -- 282.39/70.87 c N dy 1776 287187 9650 41565 0 31184 126712 1497966 94.29 99.40 -- 298.34/74.82 c N dy 1903 305555 9650 41565 0 25547 126712 515076 94.45 99.56 -- 298.74/74.96 c F st 1909 306253 9650 41565 0 26245 126712 618774 94.45 96.95 -- 314.69/78.95 c N dy 2008 325102 9650 41565 0 45094 126712 3639500 94.51 106.73 -- 331.49/83.17 c N dy 2144 345155 9650 41565 0 40145 126712 2578829 94.58 100.76 -- 343.02/86.01 c S st 2224 357457 9650 41565 0 26449 126712 362145 94.61 no data -- 343.42/86.11 c S st 2224 357963 9650 41565 0 26955 126712 426739 94.61 no data -- 343.42/86.12 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.02 343.42/86.12 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 343.42/86.16 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.5M T: 0.16 343.42/86.19 c bin-w-bin subsume rem 0 bins time: 0.01 s 343.42/86.19 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.01 s 343.42/86.19 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 9650 time: 0.01 s 343.82/86.20 c Removed useless bin: 0 fixed: 0 props: 0.09M time: 0.01 s 350.19/87.89 c lits-rem: 3 cl-subs: 0 v-elim: 0 v-fix: 0 time: 6.75 s 350.59/87.90 c vivif2 -- cl tried 41565 cl shrink 0 lits rem 0 time: 0.01 350.59/87.90 c vivif2 -- cl tried 26955 cl shrink 0 lits rem 0 time: 0.02 350.59/87.97 c asymm cl-useful: 0/41565/41565 lits-rem:0 time: 0.25 350.59/87.97 c calculated reachability. Time: 0.00 350.59/87.97 c N dy 2224 357963 9650 41565 0 26955 126712 426736 94.61 no data -- 367.75/92.25 c N dy 2354 378193 9650 41565 0 47183 126712 3452644 94.66 99.98 -- 385.30/96.61 c N dy 2478 398326 9650 41565 0 40317 126712 2311431 94.65 102.41 -- 404.44/101.43 c N dy 2615 418380 9650 41565 0 32373 126712 970006 94.79 105.57 -- 421.98/105.86 c N dy 2745 438421 9650 41565 0 52410 126712 3969930 94.77 99.79 -- 439.94/110.32 c N dy 2883 458478 9650 41565 0 43474 126712 2529730 94.87 102.41 -- 458.33/115.00 c N dy 3009 478498 9650 41565 0 33492 126712 840763 94.88 102.56 -- 476.63/119.50 c N dy 3148 498553 9650 41565 0 53546 126712 3924794 94.96 100.44 -- 494.58/124.08 c N dy 3275 518640 9650 41565 0 42633 126712 2085058 94.96 121.23 -- 512.14/128.47 c S st 3393 536944 9650 41565 0 60936 126712 4870660 94.99 no data -- 512.93/128.63 c S st 3393 537445 9650 41565 0 61437 126712 4924673 94.99 no data -- 512.93/128.64 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.06 512.93/128.64 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 513.33/128.71 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.9M T: 0.26 514.14/128.96 c bin-w-bin subsume rem 0 bins time: 0.01 s 514.14/128.97 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.01 s 514.14/128.97 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 9650 time: 0.01 s 514.14/128.97 c Removed useless bin: 0 fixed: 0 props: 0.09M time: 0.02 s 784.17/196.68 c lits-rem: 2 cl-subs: 4 v-elim: 0 v-fix: 0 time: 269.39 s 784.17/196.68 c vivif2 -- cl tried 41565 cl shrink 0 lits rem 0 time: 0.01 784.57/196.74 c vivif2 -- cl tried 61433 cl shrink 0 lits rem 0 time: 0.25 784.97/196.88 c asymm cl-useful: 0/41565/41565 lits-rem:0 time: 0.56 784.97/196.89 c calculated reachability. Time: 0.00 784.97/196.89 c N dy 3393 537445 9650 41565 0 61433 126712 4923423 94.99 no data -- 803.73/201.59 c N dy 3517 557527 9650 41565 0 49515 126712 2954101 94.97 100.45 -- 824.87/206.84 c N dy 3646 577633 9650 41565 0 36621 126712 873482 94.96 101.37 -- 844.02/211.67 c N dy 3771 597641 9650 41565 0 56629 126712 3892517 94.97 121.89 -- 864.76/216.80 c N dy 3901 617644 9650 41565 0 42635 126712 1648281 94.99 100.17 -- 885.09/221.93 c N dy 4032 637729 9650 41565 0 62720 126712 4693911 95.01 145.01 -- 905.05/226.94 c N dy 4155 657794 9650 41565 0 47786 126712 2256195 95.01 100.08 -- 926.59/232.33 c N dy 4285 677821 9650 41565 0 67811 126712 5315579 95.06 104.62 -- 946.53/237.36 c N dy 4415 697953 9650 41565 0 51938 126712 2780351 95.07 100.68 -- 968.86/242.98 c N dy 4543 718074 9650 41565 0 72058 126712 5841449 95.09 100.28 -- 988.82/247.99 c N dy 4673 738158 9650 41565 0 55145 126712 3154930 95.12 102.72 -- 1011.94/253.78 c N dy 4811 758205 9650 41565 0 75192 126712 6220953 95.14 104.52 -- 1031.89/258.78 c N dy 4946 778294 9650 41565 0 57278 126712 3306620 95.17 100.34 -- 1055.47/264.65 c N dy 5081 798464 9650 41565 0 77443 126712 6404690 95.19 100.41 -- 1063.01/266.56 c S st 5135 806167 9650 41565 0 46155 126712 1462114 95.22 no data -- 1063.40/266.69 c S st 5135 806671 9650 41565 0 46659 126712 1517985 95.22 no data -- 1063.40/266.70 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.03 1063.40/266.70 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 1063.84/266.76 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.7M T: 0.21 1064.24/266.83 c bin-w-bin subsume rem 0 bins time: 0.01 s 1064.24/266.84 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.01 s 1064.24/266.84 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 9650 time: 0.01 s 1064.24/266.84 c Removed useless bin: 0 fixed: 0 props: 0.09M time: 0.02 s 1078.56/270.41 c lits-rem: 7 cl-subs: 2 v-elim: 0 v-fix: 0 time: 14.17 s 1078.56/270.41 c vivif2 -- cl tried 41565 cl shrink 0 lits rem 0 time: 0.01 1078.56/270.43 c vivif2 -- cl tried 46657 cl shrink 0 lits rem 0 time: 0.08 1078.96/270.54 c asymm cl-useful: 0/41565/41565 lits-rem:0 time: 0.42 1078.96/270.54 c calculated reachability. Time: 0.00 1078.96/270.54 c N dy 5135 806671 9650 41565 0 46657 126712 1517619 95.22 no data -- 1100.10/275.87 c N dy 5276 826817 9650 41565 0 66802 126712 4602330 95.27 100.42 -- 1122.43/281.47 c N dy 5401 846844 9650 41565 0 46832 126712 1442306 95.28 121.38 -- 1143.22/286.63 c N dy 5537 866933 9650 41565 0 66919 126712 4490097 95.32 104.73 -- 1165.15/292.11 c N dy 5661 887057 9650 41565 0 46044 126712 1130616 95.32 101.48 -- 1184.65/297.09 c N dy 5794 907112 9650 41565 0 66097 126712 4148459 95.33 107.04 -- 1207.79/302.81 c N dy 5928 927155 9650 41565 0 44144 126712 705598 95.41 108.28 -- 1227.33/307.71 c N dy 6053 947218 9650 41565 0 64205 126712 3827999 95.44 104.05 -- 1250.07/313.45 c N dy 6176 967367 9650 41565 0 84352 126712 6924718 95.45 100.51 -- 1270.07/318.42 c N dy 6305 987375 9650 41565 0 61363 126712 3179849 95.46 104.40 -- 1292.76/324.11 c N dy 6440 1007472 9650 41565 0 81458 126712 6280982 95.50 109.76 -- 1314.33/329.56 c N dy 6574 1027558 9650 41565 0 57543 126712 2450705 95.52 102.75 -- 1337.82/335.41 c N dy 6718 1047587 9650 41565 0 77572 126712 5513708 95.55 100.76 -- 1361.36/341.30 c N dy 6850 1067606 9650 41565 0 52596 126712 1584994 95.57 101.27 -- 1365.75/342.40 c F st 6881 1071875 9650 41565 0 56865 126712 2237108 95.57 no data -- 1382.90/346.78 c N dy 6959 1087607 9650 41565 0 72596 126712 4795173 95.60 100.64 -- 1408.43/353.17 c N dy 7090 1107705 9650 41565 0 46696 126712 507270 95.60 101.12 -- 1428.42/358.18 c N dy 7217 1127794 9650 41565 0 66784 126712 3616107 95.62 100.85 -- 1452.31/364.10 c N dy 7348 1147882 9650 41565 0 86871 126712 6712995 95.66 103.33 -- 1473.85/369.51 c N dy 7467 1167883 9650 41565 0 59874 126712 2359365 95.65 102.01 -- 1496.18/375.16 c N dy 7603 1187884 9650 41565 0 79875 126712 5406715 95.67 101.29 -- 1520.55/381.26 c N dy 7730 1207949 9650 41565 0 51940 126712 1005578 95.69 101.48 -- 1522.51/381.76 c S st 7745 1210007 9650 41565 0 53998 126712 1316663 95.68 no data -- 1522.91/381.89 c S st 7745 1210513 9650 41565 0 54504 126712 1376235 95.68 no data -- 1523.31/381.90 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.03 1523.31/381.90 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 1523.31/381.96 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.8M T: 0.23 1523.71/382.03 c bin-w-bin subsume rem 0 bins time: 0.01 s 1523.71/382.03 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.01 s 1523.71/382.04 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 9650 time: 0.02 s 1523.71/382.04 c Removed useless bin: 0 fixed: 0 props: 0.09M time: 0.01 s 1536.07/385.17 c lits-rem: 9 cl-subs: 3 v-elim: 0 v-fix: 0 time: 12.48 s 1536.07/385.18 c vivif2 -- cl tried 41565 cl shrink 0 lits rem 0 time: 0.01 1536.47/385.20 c vivif2 -- cl tried 54501 cl shrink 0 lits rem 0 time: 0.08 1536.87/385.31 c asymm cl-useful: 0/41565/41565 lits-rem:0 time: 0.45 1536.87/385.31 c calculated reachability. Time: 0.00 1536.87/385.31 c N dy 7745 1210513 9650 41565 0 54501 126712 1375131 95.68 no data -- 1558.01/390.69 c N dy 7877 1230609 9650 41565 0 74597 126712 4434900 95.70 101.59 -- 1582.73/396.81 c N dy 8006 1250618 9650 41565 0 94604 126712 7508072 95.71 101.08 -- 1604.28/402.21 c N dy 8139 1270776 9650 41565 0 65762 126712 2969126 95.72 101.86 -- 1627.81/408.12 c N dy 8271 1290852 9650 41565 0 85836 126712 6083811 95.74 117.13 -- 1652.19/414.22 c N dy 8402 1310879 9650 41565 0 55865 126712 1328863 95.76 101.42 -- 1673.73/419.68 c N dy 8537 1330907 9650 41565 0 75892 126712 4434722 95.79 102.85 -- 1699.21/426.01 c N dy 8665 1351026 9650 41565 0 96010 126712 7476745 95.79 103.07 -- 1722.74/431.93 c N dy 8802 1371123 9650 41565 0 65106 126712 2603979 95.82 100.89 -- 1746.28/437.86 c N dy 8925 1391236 9650 41565 0 85219 126712 5712952 95.83 102.09 -- 1773.00/444.52 c N dy 9060 1411345 9650 41565 0 53330 126712 654371 95.86 102.73 -- 1794.15/449.84 c N dy 9192 1431502 9650 41565 0 73486 126712 3737813 95.88 109.81 -- 1818.92/456.07 c N dy 9330 1451577 9650 41565 0 93559 126712 6819861 95.90 101.88 -- 1843.61/462.28 c N dy 9461 1471596 9650 41565 0 60576 126712 1601261 95.90 101.43 -- 1866.34/467.90 c N dy 9600 1491745 9650 41565 0 80722 126712 4694093 95.92 101.16 -- 1892.27/474.49 c N dy 9733 1511887 9650 41565 0 100863 126712 7765385 95.93 101.42 -- 1915.80/480.35 c N dy 9855 1532141 9650 41565 0 67122 126712 2439271 95.90 101.50 -- 1939.34/486.21 c N dy 9987 1552167 9650 41565 0 87147 126712 5510250 95.91 101.05 -- 1966.46/493.03 c N dy 10117 1572236 9650 41565 0 107214 126712 8579955 95.92 124.20 -- 1988.80/498.61 c N dy 10242 1592348 9650 41565 0 72333 126712 3101524 95.91 101.42 -- 2013.93/504.99 c N dy 10370 1612393 9650 41565 0 92377 126712 6212822 95.93 101.57 -- 2044.64/512.63 c N dy 10493 1632438 9650 41565 0 56423 126712 528895 95.95 107.05 -- 2068.18/518.52 c N dy 10619 1652756 9650 41565 0 76740 126712 3641513 95.95 102.14 -- 2095.70/525.40 c N dy 10745 1672851 9650 41565 0 96833 126712 6712436 95.96 112.33 -- 2125.67/533.00 c N dy 10876 1692974 9650 41565 0 59954 126712 924483 95.97 101.89 -- 2146.77/538.22 c S st 10990 1710514 9650 41565 0 77491 126712 3613295 95.97 100.52 -- 2147.17/538.40 c S st 10990 1711020 9650 41565 0 77997 126712 3665194 95.97 no data -- 2147.61/538.41 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.04 2147.61/538.41 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 2147.61/538.49 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 1.1M T: 0.32 2148.36/538.67 c bin-w-bin subsume rem 0 bins time: 0.01 s 2148.36/538.67 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.01 s 2148.36/538.68 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 9650 time: 0.02 s 2148.36/538.68 c Removed useless bin: 0 fixed: 0 props: 0.09M time: 0.02 s 2301.18/576.91 c lits-rem: 0 cl-subs: 5 v-elim: 0 v-fix: 0 time: 151.95 s 2301.18/576.91 c vivif2 -- cl tried 41565 cl shrink 0 lits rem 0 time: 0.01 2301.18/576.96 c vivif2 -- cl tried 77992 cl shrink 0 lits rem 0 time: 0.19 2301.92/577.13 c asymm cl-useful: 0/41565/41565 lits-rem:0 time: 0.67 2301.92/577.13 c calculated reachability. Time: 0.00 2301.92/577.13 c N dy 10990 1711020 9650 41565 0 77992 126712 3663812 95.97 no data -- 2327.90/583.68 c N dy 11119 1731093 9650 41565 0 98065 126712 6716338 95.97 101.58 -- 2357.39/591.02 c N dy 11242 1751187 9650 41565 0 60159 126712 803886 95.97 103.80 -- 2380.16/596.78 c N dy 11361 1771307 9650 41565 0 80278 126712 3816453 95.96 101.09 -- 2406.88/603.47 c N dy 11498 1791407 9650 41565 0 100377 126712 6903649 95.98 101.19 -- 2435.56/610.62 c N dy 11624 1811429 9650 41565 0 61406 126712 856235 95.97 104.33 -- 2457.50/616.16 c N dy 11747 1831436 9650 41565 0 81413 126712 3931572 95.97 102.10 -- 2483.42/622.65 c N dy 11874 1851539 9650 41565 0 101515 126712 7032327 95.99 102.12 -- 2512.54/629.90 c N dy 11998 1871582 9650 41565 0 61557 126712 736461 95.99 101.40 -- 2534.88/635.52 c N dy 12129 1891681 9650 41565 0 81655 126712 3815841 96.00 136.51 -- 2560.80/642.02 c N dy 12259 1911750 9650 41565 0 101723 126712 6892095 96.01 173.23 -- 2590.76/649.51 c N dy 12393 1931955 9650 41565 0 121924 126712 10025991 96.03 105.77 -- 2613.10/655.15 c N dy 12518 1951960 9650 41565 0 80942 126712 3561958 96.04 105.06 -- 2639.03/661.62 c N dy 12645 1972080 9650 41565 0 101061 126712 6641493 96.05 101.22 -- 2668.50/669.02 c N dy 12775 1992330 9650 41565 0 121310 126712 9746786 96.06 101.29 -- 2692.43/675.08 c N dy 12912 2012470 9650 41565 0 79446 126712 3192445 96.08 106.69 -- 2718.40/681.54 c N dy 13048 2032617 9650 41565 0 99593 126712 6350375 96.09 101.75 -- 2747.48/688.83 c N dy 13178 2052628 9650 41565 0 119602 126712 9450677 96.10 101.40 -- 2773.01/695.22 c N dy 13299 2072724 9650 41565 0 76704 126712 2611972 96.10 106.09 -- 2798.13/701.55 c N dy 13437 2092778 9650 41565 0 96756 126712 5708267 96.12 108.04 -- 2827.25/708.88 c N dy 13564 2112850 9650 41565 0 116827 126712 8753042 96.12 102.35 -- 2856.77/716.29 c N dy 13708 2132899 9650 41565 0 72878 126712 1862078 96.14 101.55 -- 2882.70/722.75 c N dy 13842 2153117 9650 41565 0 93094 126712 4994600 96.17 103.51 -- 2912.21/730.12 c N dy 13974 2173299 9650 41565 0 113273 126712 8096977 96.18 104.17 -- 2943.71/738.01 c N dy 14107 2193338 9650 41565 0 68330 126712 1019309 96.19 102.36 -- 2964.86/743.35 c S st 14219 2211021 9650 41565 0 86013 126712 3753062 96.19 100.09 -- 2965.66/743.55 c S st 14219 2211523 9650 41565 0 86515 126712 3816947 96.19 no data -- 2965.66/743.56 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.05 2965.66/743.56 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 2966.06/743.65 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 1.2M T: 0.34 2966.86/743.83 c bin-w-bin subsume rem 0 bins time: 0.01 s 2966.86/743.83 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.01 s 2966.86/743.83 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 9650 time: 0.02 s 2966.86/743.84 c Removed useless bin: 0 fixed: 0 props: 0.09M time: 0.02 s 3133.99/785.78 c lits-rem: 4 cl-subs: 3 v-elim: 0 v-fix: 0 time: 167.05 s 3133.99/785.78 c vivif2 -- cl tried 41565 cl shrink 0 lits rem 0 time: 0.02 3134.39/785.83 c vivif2 -- cl tried 86512 cl shrink 0 lits rem 0 time: 0.22 3135.22/786.03 c asymm cl-useful: 0/41565/41565 lits-rem:0 time: 0.77 3135.22/786.03 c calculated reachability. Time: 0.00 3135.22/786.03 c N dy 14219 2211523 9650 41565 0 86512 126712 3816144 96.19 no data -- 3164.71/793.45 c N dy 14350 2231617 9650 41565 0 106603 126712 6910897 96.20 115.50 -- 3199.01/802.02 c N dy 14487 2251684 9650 41565 0 126669 126712 10043210 96.22 101.47 -- 3226.98/809.10 c N dy 14615 2271741 9650 41565 0 80720 126712 2763751 96.22 103.85 -- 3256.05/816.35 c N dy 14752 2291918 9650 41565 0 100893 126712 5874015 96.24 103.13 -- 3289.15/824.69 c N dy 14888 2311936 9650 41565 0 120909 126712 8946053 96.25 105.39 -- 3321.47/832.73 c N dy 15008 2332054 9650 41565 0 74029 126712 1609304 96.25 107.67 -- 3348.60/839.53 c N dy 15133 2352072 9650 41565 0 94045 126712 4750431 96.26 108.44 -- 3380.12/847.45 c N dy 15268 2372100 9650 41565 0 114073 126712 7815221 96.27 101.75 -- 3416.81/856.68 c N dy 15403 2392671 9650 41565 0 134642 126712 10968884 96.28 103.07 -- 3443.93/863.45 c N dy 15539 2412773 9650 41565 0 86751 126712 3444936 96.30 101.96 -- 3473.84/870.98 c N dy 15673 2433012 9650 41565 0 106986 126712 6574525 96.31 101.41 -- 3507.79/879.44 c N dy 15803 2453023 9650 41565 0 126993 126712 9619647 96.31 102.84 -- 3537.67/886.99 c N dy 15926 2473061 9650 41565 0 78036 126712 1943701 96.32 104.81 -- 3564.40/893.68 c N dy 16052 2493081 9650 41565 0 98054 126712 5001763 96.32 103.14 -- 3595.54/901.41 c N dy 16187 2513135 9650 41565 0 118106 126712 8140028 96.34 103.62 -- 3629.82/910.09 c N dy 16319 2533164 9650 41565 0 138131 126712 11205266 96.35 101.74 -- 3656.55/916.75 c N dy 16461 2553186 9650 41565 0 88155 126712 3336527 96.36 105.81 -- 3685.66/924.01 c N dy 16601 2573250 9650 41565 0 108219 126712 6452114 96.38 103.51 -- 3718.41/932.21 c N dy 16733 2593267 9650 41565 0 128234 126712 9549398 96.39 106.48 -- 3751.08/940.43 c N dy 16866 2613326 9650 41565 0 77296 126712 1527100 96.40 108.17 -- 3777.81/947.17 c N dy 17007 2633486 9650 41565 0 97454 126712 4660221 96.43 103.99 -- 3809.73/955.13 c N dy 17141 2653492 9650 41565 0 117460 126712 7774917 96.44 104.51 -- 3845.66/964.13 c N dy 17279 2673505 9650 41565 0 137470 126712 10879044 96.46 102.71 -- 3875.95/971.78 c N dy 17404 2693664 9650 41565 0 85637 126712 2672005 96.45 101.89 -- 3901.87/978.20 c S st 17521 2711523 9650 41565 0 103495 126712 5443382 96.46 98.50 -- 3902.72/978.43 c S st 17521 2712026 9650 41565 0 103998 126712 5503240 96.46 no data -- 3902.72/978.44 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.07 3902.72/978.44 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 3903.12/978.55 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 1.4M T: 0.41 3904.27/978.83 c bin-w-bin subsume rem 0 bins time: 0.01 s 3904.27/978.83 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.01 s 3904.27/978.83 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 9650 time: 0.02 s 3904.27/978.84 c Removed useless bin: 0 fixed: 0 props: 0.09M time: 0.02 s 4286.42/1074.65 c lits-rem: 13 cl-subs: 11 v-elim: 0 v-fix: 0 time: 381.16 s 4286.42/1074.65 c vivif2 -- cl tried 41565 cl shrink 0 lits rem 0 time: 0.01 4286.83/1074.72 c vivif2 -- cl tried 103987 cl shrink 0 lits rem 0 time: 0.29 4287.63/1074.94 c asymm cl-useful: 0/41565/41565 lits-rem:0 time: 0.88 4287.63/1074.95 c calculated reachability. Time: 0.00 4287.63/1074.95 c N dy 17521 2712026 9650 41565 0 103987 126712 5500628 96.46 no data -- 4319.14/1082.85 c N dy 17660 2732194 9650 41565 0 124155 126712 8618908 96.47 109.16 -- 4354.25/1091.62 c N dy 17785 2752243 9650 41565 0 144203 126712 11742115 96.48 103.16 -- 4380.57/1098.30 c N dy 17917 2772287 9650 41565 0 91248 126712 3377142 96.49 102.80 -- 4409.69/1105.57 c N dy 18046 2792362 9650 41565 0 111323 126712 6428647 96.49 102.24 -- 4442.44/1113.74 c N dy 18169 2812387 9650 41565 0 131347 126712 9498647 96.49 127.77 -- 4477.54/1122.60 c N dy 18308 2832449 9650 41565 0 77410 126712 1091703 96.51 102.52 -- 4504.28/1129.23 c N dy 18433 2852569 9650 41565 0 97529 126712 4182274 96.51 106.23 -- 4534.59/1136.90 c N dy 18572 2872643 9650 41565 0 117602 126712 7305562 96.52 101.84 -- 4569.27/1145.52 c N dy 18711 2892656 9650 41565 0 137614 126712 10399642 96.54 104.27 -- 4602.37/1153.88 c N dy 18842 2912760 9650 41565 0 82719 126712 1767844 96.55 102.93 -- 4629.49/1160.69 c N dy 18966 2932823 9650 41565 0 102781 126712 4847854 96.55 104.21 -- 4661.41/1168.63 c N dy 19105 2952841 9650 41565 0 122796 126712 7970123 96.56 104.06 -- 4696.95/1177.59 c N dy 19242 2972993 9650 41565 0 142946 126712 11072421 96.58 103.09 -- 4728.06/1185.39 c N dy 19366 2993036 9650 41565 0 86996 126712 2261236 96.57 101.80 -- 4756.35/1192.41 c N dy 19493 3013110 9650 41565 0 107070 126712 5320325 96.57 101.94 -- 4788.27/1200.48 c N dy 19625 3033126 9650 41565 0 127085 126712 8422000 96.58 111.54 --
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: 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-3368495-1305394578/watcher-3368495-1305394578 -o /tmp/evaluation-result-3368495-1305394578/solver-3368495-1305394578 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3368495-1305394578.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: 8.12 7.99 7.41 5/339 30924 /proc/meminfo: memFree=16353472/32951124 swapFree=67056804/67111528 [pid=30924] ppid=30922 vsize=51236 CPUtime=0.02 cores=0,2,4,6 /proc/30924/stat : 30924 (strangenight1-m) R 30922 30924 29888 0 -1 4202496 413 0 0 0 2 0 0 0 25 0 4 0 651058744 52465664 353 33554432000 4194304 4650419 140734883258320 18446744073709551615 47603113961388 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/30924/statm: 12809 353 303 112 0 7774 0 [pid=30924/tid=30925] ppid=30922 vsize=51236 CPUtime=0 cores=0,2,4,6 /proc/30924/task/30925/stat : 30925 (strangenight1-m) R 30922 30924 29888 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 651058745 52465664 353 33554432000 4194304 4650419 140734883258320 18446744073709551615 270613167089 0 0 4096 2 0 0 0 -1 2 0 0 0 [pid=30924/tid=30926] ppid=30922 vsize=51236 CPUtime=0 cores=0,2,4,6 /proc/30924/task/30926/stat : 30926 (strangenight1-m) R 30922 30924 29888 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 651058745 52465664 353 33554432000 4194304 4650419 140734883258320 18446744073709551615 47603113961398 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=30924/tid=30927] ppid=30922 vsize=51236 CPUtime=0 cores=0,2,4,6 /proc/30924/task/30927/stat : 30927 (strangenight1-m) R 30922 30924 29888 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 651058745 52465664 353 33554432000 4194304 4650419 140734883258320 18446744073709551615 47603113961398 0 0 4096 2 0 0 0 -1 0 0 0 0 [startup+0.086909 s] /proc/loadavg: 8.12 7.99 7.41 5/339 30924 /proc/meminfo: memFree=16353472/32951124 swapFree=67056804/67111528 [pid=30924] ppid=30922 vsize=296932 CPUtime=0.31 cores=0,2,4,6 /proc/30924/stat : 30924 (strangenight1-m) D 30922 30924 29888 0 -1 4202496 10159 0 0 0 30 1 0 0 18 0 4 0 651058744 304058368 8360 33554432000 4194304 4650419 140734883258320 18446744073709551615 270613153975 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/30924/statm: 74233 8360 377 112 0 69198 0 [pid=30924/tid=30925] ppid=30922 vsize=296932 CPUtime=0.06 cores=0,2,4,6 /proc/30924/task/30925/stat : 30925 (strangenight1-m) R 30922 30924 29888 0 -1 4202560 2590 0 0 0 6 0 0 0 25 0 4 0 651058745 304058368 8360 33554432000 4194304 4650419 140734883258320 18446744073709551615 270612807865 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=30924/tid=30926] ppid=30922 vsize=296932 CPUtime=0.07 cores=0,2,4,6 /proc/30924/task/30926/stat : 30926 (strangenight1-m) D 30922 30924 29888 0 -1 4202560 2536 0 0 0 7 0 0 0 18 0 4 0 651058745 304058368 8360 33554432000 4194304 4650419 140734883258320 18446744073709551615 270612769887 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=30924/tid=30927] ppid=30922 vsize=296932 CPUtime=0.08 cores=0,2,4,6 /proc/30924/task/30927/stat : 30927 (strangenight1-m) R 30922 30924 29888 0 -1 4202560 2054 0 0 0 8 0 0 0 25 0 4 0 651058745 304058368 8360 33554432000 4194304 4650419 140734883258320 18446744073709551615 4364400 0 0 4096 2 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 0.31 Current children cumulated vsize (KiB) 296932 [startup+0.100928 s] /proc/loadavg: 8.12 7.99 7.41 5/339 30924 /proc/meminfo: memFree=16353472/32951124 swapFree=67056804/67111528 [pid=30924] ppid=30922 vsize=296932 CPUtime=0.37 cores=0,2,4,6 /proc/30924/stat : 30924 (strangenight1-m) D 30922 30924 29888 0 -1 4202496 12121 0 0 0 35 2 0 0 18 0 4 0 651058744 304058368 10322 33554432000 4194304 4650419 140734883258320 18446744073709551615 270612771873 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/30924/statm: 74233 10322 377 112 0 69198 0 [pid=30924/tid=30925] ppid=30922 vsize=296932 CPUtime=0.07 cores=0,2,4,6 /proc/30924/task/30925/stat : 30925 (strangenight1-m) R 30922 30924 29888 0 -1 4202560 3209 0 0 0 7 0 0 0 25 0 4 0 651058745 304058368 10322 33554432000 4194304 4650419 140734883258320 18446744073709551615 270613153975 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=30924/tid=30926] ppid=30922 vsize=296932 CPUtime=0.08 cores=0,2,4,6 /proc/30924/task/30926/stat : 30926 (strangenight1-m) D 30922 30924 29888 0 -1 4202560 3197 0 0 0 8 0 0 0 18 0 4 0 651058745 304058368 10322 33554432000 4194304 4650419 140734883258320 18446744073709551615 270613153975 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=30924/tid=30927] ppid=30922 vsize=296932 CPUtime=0.09 cores=0,2,4,6 /proc/30924/task/30927/stat : 30927 (strangenight1-m) R 30922 30924 29888 0 -1 4202560 2069 0 0 0 9 0 0 0 25 0 4 0 651058745 304058368 10322 33554432000 4194304 4650419 140734883258320 18446744073709551615 4368121 0 0 4096 2 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 0.37 Current children cumulated vsize (KiB) 296932 [startup+0.300869 s] /proc/loadavg: 8.12 7.99 7.41 5/339 30924 /proc/meminfo: memFree=16353472/32951124 swapFree=67056804/67111528 [pid=30924] ppid=30922 vsize=296932 CPUtime=1.17 cores=0,2,4,6 /proc/30924/stat : 30924 (strangenight1-m) R 30922 30924 29888 0 -1 4202496 16332 0 0 0 114 3 0 0 18 0 4 0 651058744 304058368 12051 33554432000 4194304 4650419 140734883258320 18446744073709551615 4364358 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/30924/statm: 74233 12051 391 112 0 69198 0 [pid=30924/tid=30925] ppid=30922 vsize=296932 CPUtime=0.28 cores=0,2,4,6 /proc/30924/task/30925/stat : 30925 (strangenight1-m) R 30922 30924 29888 0 -1 4202560 4546 0 0 0 27 1 0 0 25 0 4 0 651058745 304058368 12052 33554432000 4194304 4650419 140734883258320 18446744073709551615 4333957 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=30924/tid=30926] ppid=30922 vsize=296932 CPUtime=0.29 cores=0,2,4,6 /proc/30924/task/30926/stat : 30926 (strangenight1-m) R 30922 30924 29888 0 -1 4202560 4538 0 0 0 28 1 0 0 18 0 4 0 651058745 304058368 12053 33554432000 4194304 4650419 140734883258320 18446744073709551615 4363496 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=30924/tid=30927] ppid=30922 vsize=296932 CPUtime=0.29 cores=0,2,4,6 /proc/30924/task/30927/stat : 30927 (strangenight1-m) R 30922 30924 29888 0 -1 4202560 2267 0 0 0 29 0 0 0 25 0 4 0 651058745 304058368 12053 33554432000 4194304 4650419 140734883258320 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 1.17 Current children cumulated vsize (KiB) 296932 [startup+1.02274 s] /proc/loadavg: 8.12 7.99 7.41 5/339 30924 /proc/meminfo: memFree=16353472/32951124 swapFree=67056804/67111528 [pid=30924] ppid=30922 vsize=297464 CPUtime=4.05 cores=0,2,4,6 /proc/30924/stat : 30924 (strangenight1-m) R 30922 30924 29888 0 -1 4202496 19566 0 0 0 402 3 0 0 19 0 4 0 651058744 304603136 15285 33554432000 4194304 4650419 140734883258320 18446744073709551615 4363617 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/30924/statm: 74366 15285 391 112 0 69331 0 [pid=30924/tid=30925] ppid=30922 vsize=297464 CPUtime=1 cores=0,2,4,6 /proc/30924/task/30925/stat : 30925 (strangenight1-m) R 30922 30924 29888 0 -1 4202560 5352 0 0 0 99 1 0 0 25 0 4 0 651058745 304603136 15285 33554432000 4194304 4650419 140734883258320 18446744073709551615 4364503 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=30924/tid=30926] ppid=30922 vsize=297464 CPUtime=1.01 cores=0,2,4,6 /proc/30924/task/30926/stat : 30926 (strangenight1-m) R 30922 30924 29888 0 -1 4202560 5328 0 0 0 100 1 0 0 19 0 4 0 651058745 304603136 15285 33554432000 4194304 4650419 140734883258320 18446744073709551615 4364416 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=30924/tid=30927] ppid=30922 vsize=297464 CPUtime=1.01 cores=0,2,4,6 /proc/30924/task/30927/stat : 30927 (strangenight1-m) R 30922 30924 29888 0 -1 4202560 3134 0 0 0 101 0 0 0 25 0 4 0 651058745 304603136 15285 33554432000 4194304 4650419 140734883258320 18446744073709551615 4364340 0 0 4096 2 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 4.05 Current children cumulated vsize (KiB) 297464 [startup+1.50066 s] /proc/loadavg: 8.12 7.99 7.41 5/339 30924 /proc/meminfo: memFree=16353472/32951124 swapFree=67056804/67111528 [pid=30924] ppid=30922 vsize=303336 CPUtime=5.97 cores=0,2,4,6 /proc/30924/stat : 30924 (strangenight1-m) R 30922 30924 29888 0 -1 4202496 24005 0 0 0 593 4 0 0 19 0 4 0 651058744 310616064 14117 33554432000 4194304 4650419 140734883258320 18446744073709551615 4364416 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/30924/statm: 75834 14117 393 112 0 70799 0 [pid=30924/tid=30925] ppid=30922 vsize=303336 CPUtime=1.47 cores=0,2,4,6 /proc/30924/task/30925/stat : 30925 (strangenight1-m) R 30922 30924 29888 0 -1 4202560 6442 0 0 0 146 1 0 0 25 0 4 0 651058745 310616064 14117 33554432000 4194304 4650419 140734883258320 18446744073709551615 4363600 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=30924/tid=30926] ppid=30922 vsize=303336 CPUtime=1.48 cores=0,2,4,6 /proc/30924/task/30926/stat : 30926 (strangenight1-m) R 30922 30924 29888 0 -1 4202560 6415 0 0 0 147 1 0 0 20 0 4 0 651058745 310616064 14117 33554432000 4194304 4650419 140734883258320 18446744073709551615 4364336 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=30924/tid=30927] ppid=30922 vsize=303336 CPUtime=1.49 cores=0,2,4,6 /proc/30924/task/30927/stat : 30927 (strangenight1-m) R 30922 30924 29888 0 -1 4202560 4315 0 0 0 149 0 0 0 25 0 4 0 651058745 310616064 14118 33554432000 4194304 4650419 140734883258320 18446744073709551615 4364340 0 0 4096 2 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 5.97 Current children cumulated vsize (KiB) 303336 [startup+3.10038 s] /proc/loadavg: 8.12 7.99 7.41 9/343 30928 /proc/meminfo: memFree=16293968/32951124 swapFree=67056804/67111528 [pid=30924] ppid=30922 vsize=304744 CPUtime=12.34 cores=0,2,4,6 /proc/30924/stat : 30924 (strangenight1-m) R 30922 30924 29888 0 -1 4202496 32643 0 0 0 1228 6 0 0 25 0 4 0 651058744 312057856 16040 33554432000 4194304 4650419 140734883258320 18446744073709551615 4363420 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/30924/statm: 76186 16040 393 112 0 71151 0 [pid=30924/tid=30925] ppid=30922 vsize=304744 CPUtime=3.05 cores=0,2,4,6 /proc/30924/task/30925/stat : 30925 (strangenight1-m) R 30922 30924 29888 0 -1 4202560 8643 0 0 0 303 2 0 0 25 0 4 0 651058745 312057856 16040 33554432000 4194304 4650419 140734883258320 18446744073709551615 4333858 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=30924/tid=30926] ppid=30922 vsize=304744 CPUtime=3.08 cores=0,2,4,6 /proc/30924/task/30926/stat : 30926 (strangenight1-m) R 30922 30924 29888 0 -1 4202560 8592 0 0 0 307 1 0 0 25 0 4 0 651058745 312057856 16040 33554432000 4194304 4650419 140734883258320 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=30924/tid=30927] ppid=30922 vsize=304744 CPUtime=3.08 cores=0,2,4,6 /proc/30924/task/30927/stat : 30927 (strangenight1-m) R 30922 30924 29888 0 -1 4202560 6378 0 0 0 308 0 0 0 25 0 4 0 651058745 312057856 16040 33554432000 4194304 4650419 140734883258320 18446744073709551615 4364555 0 0 4096 2 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 12.34 Current children cumulated vsize (KiB) 304744 [startup+6.30081 s] /proc/loadavg: 8.11 7.99 7.42 9/343 30928 /proc/meminfo: memFree=16254048/32951124 swapFree=67056804/67111528 [pid=30924] ppid=30922 vsize=305780 CPUtime=25.1 cores=0,2,4,6 /proc/30924/stat : 30924 (strangenight1-m) R 30922 30924 29888 0 -1 4202496 59200 0 0 0 2498 12 0 0 25 0 4 0 651058744 313118720 28489 33554432000 4194304 4650419 140734883258320 18446744073709551615 4476519 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/30924/statm: 76445 28489 395 112 0 71410 0 [pid=30924/tid=30925] ppid=30922 vsize=305780 CPUtime=6.22 cores=0,2,4,6 /proc/30924/task/30925/stat : 30925 (strangenight1-m) R 30922 30924 29888 0 -1 4202560 16492 0 0 0 619 3 0 0 25 0 4 0 651058745 313118720 28489 33554432000 4194304 4650419 140734883258320 18446744073709551615 4438399 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=30924/tid=30926] ppid=30922 vsize=305780 CPUtime=6.28 cores=0,2,4,6 /proc/30924/task/30926/stat : 30926 (strangenight1-m) R 30922 30924 29888 0 -1 4202560 12938 0 0 0 626 2 0 0 25 0 4 0 651058745 313118720 28489 33554432000 4194304 4650419 140734883258320 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=30924/tid=30927] ppid=30922 vsize=305780 CPUtime=6.29 cores=0,2,4,6 /proc/30924/task/30927/stat : 30927 (strangenight1-m) R 30922 30924 29888 0 -1 4202560 10493 0 0 0 628 1 0 0 25 0 4 0 651058745 313118720 28489 33554432000 4194304 4650419 140734883258320 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 25.1 Current children cumulated vsize (KiB) 305780 [startup+12.7127 s] /proc/loadavg: 8.18 8.01 7.42 9/343 30929 /proc/meminfo: memFree=16156108/32951124 swapFree=67056804/67111528 [pid=30924] ppid=30922 vsize=334180 CPUtime=50.68 cores=0,2,4,6 /proc/30924/stat : 30924 (strangenight1-m) R 30922 30924 29888 0 -1 4202496 93459 0 0 0 5047 21 0 0 25 0 4 0 651058744 342200320 43990 33554432000 4194304 4650419 140734883258320 18446744073709551615 4315616 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/30924/statm: 83545 43990 395 112 0 78510 0 [pid=30924/tid=30925] ppid=30922 vsize=334180 CPUtime=12.56 cores=0,2,4,6 /proc/30924/task/30925/stat : 30925 (strangenight1-m) R 30922 30924 29888 0 -1 4202560 19145 0 0 0 1252 4 0 0 25 0 4 0 651058745 342200320 43990 33554432000 4194304 4650419 140734883258320 18446744073709551615 4368121 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=30924/tid=30926] ppid=30922 vsize=334180 CPUtime=12.7 cores=0,2,4,6 /proc/30924/task/30926/stat : 30926 (strangenight1-m) R 30922 30924 29888 0 -1 4202560 26885 0 0 0 1263 7 0 0 25 0 4 0 651058745 342200320 43990 33554432000 4194304 4650419 140734883258320 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=30924/tid=30927] ppid=30922 vsize=334180 CPUtime=12.69 cores=0,2,4,6 /proc/30924/task/30927/stat : 30927 (strangenight1-m) R 30922 30924 29888 0 -1 4202560 22815 0 0 0 1266 3 0 0 25 0 4 0 651058745 342200320 43990 33554432000 4194304 4650419 140734883258320 18446744073709551615 4363420 0 0 4096 2 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 50.68 Current children cumulated vsize (KiB) 334180 [startup+25.5004 s] /proc/loadavg: 8.14 8.01 7.43 9/343 30929 /proc/meminfo: memFree=16045984/32951124 swapFree=67056804/67111528 [pid=30924] ppid=30922 vsize=543272 CPUtime=101.69 cores=0,2,4,6 /proc/30924/stat : 30924 (strangenight1-m) R 30922 30924 29888 0 -1 4202496 152668 0 0 0 10133 36 0 0 25 0 4 0 651058744 556310528 67813 33554432000 4194304 4650419 140734883258320 18446744073709551615 4366816 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/30924/statm: 135818 67813 395 112 0 130783 0 [pid=30924/tid=30925] ppid=30922 vsize=543272 CPUtime=25.21 cores=0,2,4,6 /proc/30924/task/30925/stat : 30925 (strangenight1-m) R 30922 30924 29888 0 -1 4202560 36109 0 0 0 2512 9 0 0 25 0 4 0 651058745 556310528 67813 33554432000 4194304 4650419 140734883258320 18446744073709551615 4364416 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=30924/tid=30926] ppid=30922 vsize=543272 CPUtime=25.48 cores=0,2,4,6 /proc/30924/task/30926/stat : 30926 (strangenight1-m) R 30922 30924 29888 0 -1 4202560 41865 0 0 0 2538 10 0 0 25 0 4 0 651058745 556310528 67813 33554432000 4194304 4650419 140734883258320 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=30924/tid=30927] ppid=30922 vsize=543272 CPUtime=25.48 cores=0,2,4,6 /proc/30924/task/30927/stat : 30927 (strangenight1-m) R 30922 30924 29888 0 -1 4202560 33515 0 0 0 2542 6 0 0 25 0 4 0 651058745 556310528 67813 33554432000 4194304 4650419 140734883258320 18446744073709551615 4439366 0 0 4096 2 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 101.69 Current children cumulated vsize (KiB) 543272 [startup+51.1009 s] /proc/loadavg: 8.09 8.01 7.45 9/343 30930 /proc/meminfo: memFree=15986068/32951124 swapFree=67056804/67111528 [pid=30924] ppid=30922 vsize=623268 CPUtime=203.85 cores=0,2,4,6 /proc/30924/stat : 30924 (strangenight1-m) R 30922 30924 29888 0 -1 4202496 231527 0 0 0 20330 55 0 0 25 0 4 0 651058744 638226432 74833 33554432000 4194304 4650419 140734883258320 18446744073709551615 4364450 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/30924/statm: 155817 74833 395 112 0 150782 0 [pid=30924/tid=30925] ppid=30922 vsize=623268 CPUtime=50.53 cores=0,2,4,6 /proc/30924/task/30925/stat : 30925 (strangenight1-m) R 30922 30924 29888 0 -1 4202560 52391 0 0 0 5041 12 0 0 25 0 4 0 651058745 638226432 74833 33554432000 4194304 4650419 140734883258320 18446744073709551615 4367329 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=30924/tid=30926] ppid=30922 vsize=623268 CPUtime=51.09 cores=0,2,4,6 /proc/30924/task/30926/stat : 30926 (strangenight1-m) R 30922 30924 29888 0 -1 4202560 66279 0 0 0 5093 16 0 0 25 0 4 0 651058745 638226432 74833 33554432000 4194304 4650419 140734883258320 18446744073709551615 4365357 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=30924/tid=30927] ppid=30922 vsize=623268 CPUtime=51.09 cores=0,2,4,6 /proc/30924/task/30927/stat : 30927 (strangenight1-m) R 30922 30924 29888 0 -1 4202560 55925 0 0 0 5097 12 0 0 25 0 4 0 651058745 638226432 74833 33554432000 4194304 4650419 140734883258320 18446744073709551615 4332040 0 0 4096 2 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 203.85 Current children cumulated vsize (KiB) 623268 [startup+102.301 s] /proc/loadavg: 8.08 8.02 7.48 9/343 30931 /proc/meminfo: memFree=15868928/32951124 swapFree=67056804/67111528 [pid=30924] ppid=30922 vsize=634644 CPUtime=408.04 cores=0,2,4,6 /proc/30924/stat : 30924 (strangenight1-m) R 30922 30924 29888 0 -1 4202496 384930 0 0 0 40708 96 0 0 25 0 4 0 651058744 649875456 94048 33554432000 4194304 4650419 140734883258320 18446744073709551615 4366729 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/30924/statm: 158661 94048 395 112 0 153626 0 [pid=30924/tid=30925] ppid=30922 vsize=634644 CPUtime=101.16 cores=0,2,4,6 /proc/30924/task/30925/stat : 30925 (strangenight1-m) R 30922 30924 29888 0 -1 4202560 87630 0 0 0 10095 21 0 0 25 0 4 0 651058745 649875456 94048 33554432000 4194304 4650419 140734883258320 18446744073709551615 4363452 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=30924/tid=30926] ppid=30922 vsize=634644 CPUtime=102.28 cores=0,2,4,6 /proc/30924/task/30926/stat : 30926 (strangenight1-m) R 30922 30924 29888 0 -1 4202560 107369 0 0 0 10201 27 0 0 25 0 4 0 651058745 649875456 94048 33554432000 4194304 4650419 140734883258320 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=30924/tid=30927] ppid=30922 vsize=634644 CPUtime=102.29 cores=0,2,4,6 /proc/30924/task/30927/stat : 30927 (strangenight1-m) R 30922 30924 29888 0 -1 4202560 100220 0 0 0 10204 25 0 0 25 0 4 0 651058745 649875456 94049 33554432000 4194304 4650419 140734883258320 18446744073709551615 4363600 0 0 4096 2 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 408.04 Current children cumulated vsize (KiB) 634644 [startup+162.313 s] ################ # More data... # ################ [pid=30924] ppid=30922 vsize=952228 CPUtime=2562.01 cores=0,2,4,6 /proc/30924/stat : 30924 (strangenight1-m) R 30922 30924 29888 0 -1 4202496 2468924 0 0 0 255622 579 0 0 25 0 4 0 651058744 975081472 169666 33554432000 4194304 4650419 140734883258320 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/30924/statm: 238057 169666 395 112 0 233022 0 [pid=30924/tid=30925] ppid=30922 vsize=952228 CPUtime=635.15 cores=0,2,4,6 /proc/30924/task/30925/stat : 30925 (strangenight1-m) R 30922 30924 29888 0 -1 4202560 757042 0 0 0 63358 157 0 0 25 0 4 0 651058745 975081472 169666 33554432000 4194304 4650419 140734883258320 18446744073709551615 4349680 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=30924/tid=30926] ppid=30922 vsize=952228 CPUtime=642.28 cores=0,2,4,6 /proc/30924/task/30926/stat : 30926 (strangenight1-m) R 30922 30924 29888 0 -1 4202560 635772 0 0 0 64077 151 0 0 25 0 4 0 651058745 975081472 169666 33554432000 4194304 4650419 140734883258320 18446744073709551615 4363460 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=30924/tid=30927] ppid=30922 vsize=952228 CPUtime=642.28 cores=0,2,4,6 /proc/30924/task/30927/stat : 30927 (strangenight1-m) R 30922 30924 29888 0 -1 4202560 373781 0 0 0 64104 124 0 0 25 0 4 0 651058745 975081472 169666 33554432000 4194304 4650419 140734883258320 18446744073709551615 4366869 0 0 4096 2 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 2562.01 Current children cumulated vsize (KiB) 952228 [startup+702.301 s] /proc/loadavg: 8.19 8.14 7.78 9/343 30947 /proc/meminfo: memFree=15445156/32951124 swapFree=67056804/67111528 [pid=30924] ppid=30922 vsize=1004740 CPUtime=2801.37 cores=0,2,4,6 /proc/30924/stat : 30924 (strangenight1-m) R 30922 30924 29888 0 -1 4202496 2577763 0 0 0 279519 618 0 0 25 0 4 0 651058744 1028853760 172789 33554432000 4194304 4650419 140734883258320 18446744073709551615 4363576 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/30924/statm: 251185 172789 395 112 0 246150 0 [pid=30924/tid=30925] ppid=30922 vsize=1004740 CPUtime=694.49 cores=0,2,4,6 /proc/30924/task/30925/stat : 30925 (strangenight1-m) R 30922 30924 29888 0 -1 4202560 781651 0 0 0 69282 167 0 0 25 0 4 0 651058745 1028853760 172789 33554432000 4194304 4650419 140734883258320 18446744073709551615 4328518 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=30924/tid=30926] ppid=30922 vsize=1004740 CPUtime=702.29 cores=0,2,4,6 /proc/30924/task/30926/stat : 30926 (strangenight1-m) R 30922 30924 29888 0 -1 4202560 665177 0 0 0 70067 162 0 0 25 0 4 0 651058745 1028853760 172789 33554432000 4194304 4650419 140734883258320 18446744073709551615 4368121 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=30924/tid=30927] ppid=30922 vsize=1004740 CPUtime=702.29 cores=0,2,4,6 /proc/30924/task/30927/stat : 30927 (strangenight1-m) R 30922 30924 29888 0 -1 4202560 404078 0 0 0 70095 134 0 0 25 0 4 0 651058745 1028853760 172789 33554432000 4194304 4650419 140734883258320 18446744073709551615 4333785 0 0 4096 2 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 2801.37 Current children cumulated vsize (KiB) 1004740 [startup+762.3 s] /proc/loadavg: 8.20 8.15 7.80 9/343 30949 /proc/meminfo: memFree=15422252/32951124 swapFree=67056804/67111528 [pid=30924] ppid=30922 vsize=980944 CPUtime=3040.64 cores=0,2,4,6 /proc/30924/stat : 30924 (strangenight1-m) R 30922 30924 29888 0 -1 4202496 2660809 0 0 0 303413 651 0 0 25 0 4 0 651058744 1004486656 177296 33554432000 4194304 4650419 140734883258320 18446744073709551615 4476514 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/30924/statm: 245236 177296 395 112 0 240201 0 [pid=30924/tid=30925] ppid=30922 vsize=980944 CPUtime=754.09 cores=0,2,4,6 /proc/30924/task/30925/stat : 30925 (strangenight1-m) R 30922 30924 29888 0 -1 4202560 807313 0 0 0 75231 178 0 0 25 0 4 0 651058745 1004486656 177296 33554432000 4194304 4650419 140734883258320 18446744073709551615 4363534 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=30924/tid=30926] ppid=30922 vsize=980944 CPUtime=762 cores=0,2,4,6 /proc/30924/task/30926/stat : 30926 (strangenight1-m) R 30922 30924 29888 0 -1 4202560 693986 0 0 0 76027 173 0 0 25 0 4 0 651058745 1004486656 177297 33554432000 4194304 4650419 140734883258320 18446744073709551615 4363458 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=30924/tid=30927] ppid=30922 vsize=980944 CPUtime=762.28 cores=0,2,4,6 /proc/30924/task/30927/stat : 30927 (strangenight1-m) R 30922 30924 29888 0 -1 4202560 412481 0 0 0 76090 138 0 0 25 0 4 0 651058745 1004486656 177297 33554432000 4194304 4650419 140734883258320 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 3040.64 Current children cumulated vsize (KiB) 980944 [startup+822.313 s] /proc/loadavg: 8.19 8.15 7.82 9/343 30950 /proc/meminfo: memFree=15305712/32951124 swapFree=67056804/67111528 [pid=30924] ppid=30922 vsize=1094484 CPUtime=3280.03 cores=0,2,4,6 /proc/30924/stat : 30924 (strangenight1-m) R 30922 30924 29888 0 -1 4202496 2820450 0 0 0 327314 689 0 0 25 0 4 0 651058744 1120751616 206679 33554432000 4194304 4650419 140734883258320 18446744073709551615 4366816 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/30924/statm: 273621 206679 395 112 0 268586 0 [pid=30924/tid=30925] ppid=30922 vsize=1094484 CPUtime=814.11 cores=0,2,4,6 /proc/30924/task/30925/stat : 30925 (strangenight1-m) R 30922 30924 29888 0 -1 4202560 812083 0 0 0 81230 181 0 0 25 0 4 0 651058745 1120751616 206679 33554432000 4194304 4650419 140734883258320 18446744073709551615 4476514 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=30924/tid=30926] ppid=30922 vsize=1094484 CPUtime=821.34 cores=0,2,4,6 /proc/30924/task/30926/stat : 30926 (strangenight1-m) R 30922 30924 29888 0 -1 4202560 811768 0 0 0 81945 189 0 0 25 0 4 0 651058745 1120751616 206679 33554432000 4194304 4650419 140734883258320 18446744073709551615 4476514 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=30924/tid=30927] ppid=30922 vsize=1094484 CPUtime=822.29 cores=0,2,4,6 /proc/30924/task/30927/stat : 30927 (strangenight1-m) R 30922 30924 29888 0 -1 4202560 437244 0 0 0 82079 150 0 0 25 0 4 0 651058745 1120751616 206679 33554432000 4194304 4650419 140734883258320 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 3280.03 Current children cumulated vsize (KiB) 1094484 [startup+882.301 s] /proc/loadavg: 7.56 8.02 7.80 6/334 30970 /proc/meminfo: memFree=17074600/32951124 swapFree=67056804/67111528 [pid=30924] ppid=30922 vsize=1031536 CPUtime=3519.32 cores=0,2,4,6 /proc/30924/stat : 30924 (strangenight1-m) R 30922 30924 29888 0 -1 4202496 3001026 0 0 0 351200 732 0 0 25 0 4 0 651058744 1056292864 199190 33554432000 4194304 4650419 140734883258320 18446744073709551615 4366869 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/30924/statm: 257884 199190 395 112 0 252849 0 [pid=30924/tid=30925] ppid=30922 vsize=1031536 CPUtime=874.09 cores=0,2,4,6 /proc/30924/task/30925/stat : 30925 (strangenight1-m) R 30922 30924 29888 0 -1 4202560 812949 0 0 0 87228 181 0 0 25 0 4 0 651058745 1056292864 199190 33554432000 4194304 4650419 140734883258320 18446744073709551615 4366869 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=30924/tid=30926] ppid=30922 vsize=1031536 CPUtime=880.94 cores=0,2,4,6 /proc/30924/task/30926/stat : 30926 (strangenight1-m) R 30922 30924 29888 0 -1 4202560 948105 0 0 0 87886 208 0 0 25 0 4 0 651058745 1056292864 199190 33554432000 4194304 4650419 140734883258320 18446744073709551615 4476502 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=30924/tid=30927] ppid=30922 vsize=1031536 CPUtime=882 cores=0,2,4,6 /proc/30924/task/30927/stat : 30927 (strangenight1-m) R 30922 30924 29888 0 -1 4202560 458406 0 0 0 88037 163 0 0 25 0 4 0 651058745 1056292864 199190 33554432000 4194304 4650419 140734883258320 18446744073709551615 4364325 0 0 4096 2 0 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 3519.32 Current children cumulated vsize (KiB) 1031536 [startup+942.3 s] /proc/loadavg: 5.36 7.30 7.56 5/334 30971 /proc/meminfo: memFree=17047700/32951124 swapFree=67056804/67111528 [pid=30924] ppid=30922 vsize=1098192 CPUtime=3758.66 cores=0,2,4,6 /proc/30924/stat : 30924 (strangenight1-m) R 30922 30924 29888 0 -1 4202496 3227267 0 0 0 375083 783 0 0 25 0 4 0 651058744 1124548608 205845 33554432000 4194304 4650419 140734883258320 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/30924/statm: 274548 205845 395 112 0 269513 0 [pid=30924/tid=30925] ppid=30922 vsize=1098192 CPUtime=934.09 cores=0,2,4,6 /proc/30924/task/30925/stat : 30925 (strangenight1-m) R 30922 30924 29888 0 -1 4202560 839655 0 0 0 93217 192 0 0 25 0 4 0 651058745 1124548608 205845 33554432000 4194304 4650419 140734883258320 18446744073709551615 4328209 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=30924/tid=30926] ppid=30922 vsize=1098192 CPUtime=940.94 cores=0,2,4,6 /proc/30924/task/30926/stat : 30926 (strangenight1-m) R 30922 30924 29888 0 -1 4202560 1101287 0 0 0 93866 228 0 0 25 0 4 0 651058745 1124548608 205845 33554432000 4194304 4650419 140734883258320 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=30924/tid=30927] ppid=30922 vsize=1098192 CPUtime=941.34 cores=0,2,4,6 /proc/30924/task/30927/stat : 30927 (strangenight1-m) R 30922 30924 29888 0 -1 4202560 480527 0 0 0 93962 172 0 0 25 0 4 0 651058745 1124548608 205845 33554432000 4194304 4650419 140734883258320 18446744073709551615 4329423 0 0 4096 2 0 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 3758.66 Current children cumulated vsize (KiB) 1098192 [startup+1002.3 s] /proc/loadavg: 4.54 6.71 7.34 5/334 30973 /proc/meminfo: memFree=17024696/32951124 swapFree=67056804/67111528 [pid=30924] ppid=30922 vsize=1130448 CPUtime=3998.02 cores=0,2,4,6 /proc/30924/stat : 30924 (strangenight1-m) R 30922 30924 29888 0 -1 4202496 3508585 0 0 0 398962 840 0 0 25 0 4 0 651058744 1157578752 211957 33554432000 4194304 4650419 140734883258320 18446744073709551615 4476519 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/30924/statm: 282612 211957 395 112 0 277577 0 [pid=30924/tid=30925] ppid=30922 vsize=1130448 CPUtime=994.1 cores=0,2,4,6 /proc/30924/task/30925/stat : 30925 (strangenight1-m) R 30922 30924 29888 0 -1 4202560 863128 0 0 0 99205 205 0 0 25 0 4 0 651058745 1157578752 211957 33554432000 4194304 4650419 140734883258320 18446744073709551615 4333403 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=30924/tid=30926] ppid=30922 vsize=1130448 CPUtime=1000.94 cores=0,2,4,6 /proc/30924/task/30926/stat : 30926 (strangenight1-m) R 30922 30924 29888 0 -1 4202560 1270580 0 0 0 99844 250 0 0 25 0 4 0 651058745 1157578752 211957 33554432000 4194304 4650419 140734883258320 18446744073709551615 4366906 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=30924/tid=30927] ppid=30922 vsize=1130448 CPUtime=1000.7 cores=0,2,4,6 /proc/30924/task/30927/stat : 30927 (strangenight1-m) R 30922 30924 29888 0 -1 4202560 489793 0 0 0 99896 174 0 0 25 0 4 0 651058745 1157578752 211957 33554432000 4194304 4650419 140734883258320 18446744073709551615 4476502 0 0 4096 2 0 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 3998.02 Current children cumulated vsize (KiB) 1130448 [startup+1062.3 s] /proc/loadavg: 4.24 6.23 7.13 5/334 30975 /proc/meminfo: memFree=17004696/32951124 swapFree=67056804/67111528 [pid=30924] ppid=30922 vsize=1170280 CPUtime=4237.36 cores=0,2,4,6 /proc/30924/stat : 30924 (strangenight1-m) R 30922 30924 29888 0 -1 4202496 3773283 0 0 0 422836 900 0 0 25 0 4 0 651058744 1198366720 216684 33554432000 4194304 4650419 140734883258320 18446744073709551615 4476519 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/30924/statm: 292570 216684 395 112 0 287535 0 [pid=30924/tid=30925] ppid=30922 vsize=1170280 CPUtime=1054.09 cores=0,2,4,6 /proc/30924/task/30925/stat : 30925 (strangenight1-m) R 30922 30924 29888 0 -1 4202560 885603 0 0 0 105193 216 0 0 25 0 4 0 651058745 1198366720 216684 33554432000 4194304 4650419 140734883258320 18446744073709551615 4363566 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=30924/tid=30926] ppid=30922 vsize=1170280 CPUtime=1060.95 cores=0,2,4,6 /proc/30924/task/30926/stat : 30926 (strangenight1-m) R 30922 30924 29888 0 -1 4202560 1295183 0 0 0 105833 262 0 0 25 0 4 0 651058745 1198366720 216684 33554432000 4194304 4650419 140734883258320 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=30924/tid=30927] ppid=30922 vsize=1170280 CPUtime=1060.04 cores=0,2,4,6 /proc/30924/task/30927/stat : 30927 (strangenight1-m) R 30922 30924 29888 0 -1 4202560 491505 0 0 0 105829 175 0 0 25 0 4 0 651058745 1198366720 216684 33554432000 4194304 4650419 140734883258320 18446744073709551615 4363448 0 0 4096 2 0 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 4237.36 Current children cumulated vsize (KiB) 1170280 [startup+1122.3 s] /proc/loadavg: 4.12 5.84 6.94 5/334 30976 /proc/meminfo: memFree=16924988/32951124 swapFree=67056804/67111528 [pid=30924] ppid=30922 vsize=1092940 CPUtime=4476.71 cores=0,2,4,6 /proc/30924/stat : 30924 (strangenight1-m) R 30922 30924 29888 0 -1 4202496 4025707 0 0 0 446702 969 0 0 25 0 4 0 651058744 1119170560 213345 33554432000 4194304 4650419 140734883258320 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/30924/statm: 273235 213345 395 112 0 268200 0 [pid=30924/tid=30925] ppid=30922 vsize=1092940 CPUtime=1114.08 cores=0,2,4,6 /proc/30924/task/30925/stat : 30925 (strangenight1-m) R 30922 30924 29888 0 -1 4202560 1008343 0 0 0 111168 240 0 0 25 0 4 0 651058745 1119170560 213345 33554432000 4194304 4650419 140734883258320 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=30924/tid=30926] ppid=30922 vsize=1092940 CPUtime=1120.94 cores=0,2,4,6 /proc/30924/task/30926/stat : 30926 (strangenight1-m) R 30922 30924 29888 0 -1 4202560 1318368 0 0 0 111820 274 0 0 25 0 4 0 651058745 1119170560 213346 33554432000 4194304 4650419 140734883258320 18446744073709551615 4334219 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=30924/tid=30927] ppid=30922 vsize=1092940 CPUtime=1119.4 cores=0,2,4,6 /proc/30924/task/30927/stat : 30927 (strangenight1-m) R 30922 30924 29888 0 -1 4202560 517051 0 0 0 111753 187 0 0 25 0 4 0 651058745 1119170560 213346 33554432000 4194304 4650419 140734883258320 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 4 0 0 0 Current children cumulated CPU time (s) 4476.71 Current children cumulated vsize (KiB) 1092940 [startup+1182.3 s] /proc/loadavg: 4.08 5.51 6.76 5/334 30978 /proc/meminfo: memFree=16914860/32951124 swapFree=67056804/67111528 [pid=30924] ppid=30922 vsize=1145796 CPUtime=4716.06 cores=0,2,4,6 /proc/30924/stat : 30924 (strangenight1-m) R 30922 30924 29888 0 -1 4202496 4256273 0 0 0 470571 1035 0 0 25 0 4 0 651058744 1173295104 227308 33554432000 4194304 4650419 140734883258320 18446744073709551615 4366869 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/30924/statm: 286449 227308 395 112 0 281414 0 [pid=30924/tid=30925] ppid=30922 vsize=1145796 CPUtime=1173.44 cores=0,2,4,6 /proc/30924/task/30925/stat : 30925 (strangenight1-m) R 30922 30924 29888 0 -1 4202560 1164465 0 0 0 117075 269 0 0 25 0 4 0 651058745 1173295104 227308 33554432000 4194304 4650419 140734883258320 18446744073709551615 4476111 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=30924/tid=30926] ppid=30922 vsize=1145796 CPUtime=1180.94 cores=0,2,4,6 /proc/30924/task/30926/stat : 30926 (strangenight1-m) R 30922 30924 29888 0 -1 4202560 1341801 0 0 0 117807 287 0 0 25 0 4 0 651058745 1173295104 227308 33554432000 4194304 4650419 140734883258320 18446744073709551615 4366248 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=30924/tid=30927] ppid=30922 vsize=1145796 CPUtime=1179.4 cores=0,2,4,6 /proc/30924/task/30927/stat : 30927 (strangenight1-m) R 30922 30924 29888 0 -1 4202560 542621 0 0 0 117741 199 0 0 25 0 4 0 651058745 1173295104 227308 33554432000 4194304 4650419 140734883258320 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0 Current children cumulated CPU time (s) 4716.06 Current children cumulated vsize (KiB) 1145796 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1203.4 s] /proc/loadavg: 4.12 5.43 6.70 5/334 30978 /proc/meminfo: memFree=16944240/32951124 swapFree=67056804/67111528 [pid=30924] ppid=30922 vsize=1198904 CPUtime=4800.27 cores=0,2,4,6 /proc/30924/stat : 30924 (strangenight1-m) R 30922 30924 29888 0 -1 4202496 4345680 0 0 0 478971 1056 0 0 25 0 4 0 651058744 1227677696 231378 33554432000 4194304 4650419 140734883258320 18446744073709551615 4328328 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/30924/statm: 299726 231378 405 112 0 294691 0 [pid=30924/tid=30925] ppid=30922 vsize=1198904 CPUtime=1194.32 cores=0,2,4,6 /proc/30924/task/30925/stat : 30925 (strangenight1-m) R 30922 30924 29888 0 -1 4202560 1227460 0 0 0 119153 279 0 0 25 0 4 0 651058745 1227677696 231378 33554432000 4194304 4650419 140734883258320 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=30924/tid=30926] ppid=30922 vsize=1198904 CPUtime=1202.05 cores=0,2,4,6 /proc/30924/task/30926/stat : 30926 (strangenight1-m) R 30922 30924 29888 0 -1 4202560 1350509 0 0 0 119913 292 0 0 25 0 4 0 651058745 1227677696 231378 33554432000 4194304 4650419 140734883258320 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=30924/tid=30927] ppid=30922 vsize=1198904 CPUtime=1200.52 cores=0,2,4,6 /proc/30924/task/30927/stat : 30927 (strangenight1-m) R 30922 30924 29888 0 -1 4202560 551689 0 0 0 119849 203 0 0 25 0 4 0 651058745 1227677696 231378 33554432000 4194304 4650419 140734883258320 18446744073709551615 4366869 0 0 4096 2 0 0 0 -1 4 0 0 0 Current children cumulated CPU time (s) 4800.27 Current children cumulated vsize (KiB) 1198904 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child ended because it received signal 15 (SIGTERM) Real time (s): 1203.46 CPU time (s): 4800.34 CPU user time (s): 4789.73 CPU system time (s): 10.6104 CPU usage (%): 398.877 Max. virtual memory (cumulated for all children) (KiB): 1211356 getrusage(RUSAGE_CHILDREN,...) data: user time used= 4789.73 system time used= 10.6104 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 4345686 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= 1618 involuntary context switches= 19728 runsolver used 3.89841 second user time and 9.2306 second system time The end
Begin job on node108 at 2011-05-14 19:36:18 IDJOB=3368495 IDBENCH=82504 IDSOLVER=1846 FILE ID=node108/3368495-1305394578 RUNJOBID= node108-1305393351-30417 PBS_JOBID= 13324423 Free space on /tmp= 73540 MiB SOLVER NAME= CryptoMiniSat Strange-Night-1-mt (fixed) BENCH NAME= SAT11/random/large/unif-k3-r4.2-v10000-c42000-S360796849-068-UNKNOWN.cnf COMMAND LINE= ./strangenight1-mt --threads=NBCORE BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3368495-1305394578/watcher-3368495-1305394578 -o /tmp/evaluation-result-3368495-1305394578/solver-3368495-1305394578 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3368495-1305394578.cnf TIME LIMIT= 4800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 20b02cb2651a47b9d104f0bf45924440 RANDOM SEED=1376913504 node108.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.820 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.64 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.820 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 : 5226.15 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.820 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.82 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.820 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.77 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.820 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.82 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.820 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.75 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.820 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.820 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.83 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 16353628 kB Buffers: 272292 kB Cached: 4404140 kB SwapCached: 8700 kB Active: 12540032 kB Inactive: 3744712 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 16353628 kB SwapTotal: 67111528 kB SwapFree: 67056804 kB Dirty: 7068 kB Writeback: 0 kB AnonPages: 11606092 kB Mapped: 27372 kB Slab: 207444 kB PageTables: 41908 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 54059976 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= 73548 MiB End job on node108 at 2011-05-14 19:56:23