| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| CryptoMiniSat Strange-Night-1-mt (fixed) | ? (TO) | 4800.21 | 1202.84 |
| Name | random/medium/ unif-k7-r89-v70-c6230-S1335110382-066.SATISFIABLE.cnf |
| MD5SUM | a5daafd605bd47234b7e5aaf0173eab8 |
| Bench Category | RANDOM (random instances) |
| Best result obtained on this benchmark | SAT |
| Best CPU time to get the best result obtained on this benchmark | 1.3028 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 70 |
| Number of clauses | 6230 |
| Sum of the clauses size | 43610 |
| Maximum clause length | 7 |
| Minimum clause length | 7 |
| Number of clauses of size 1 | 0 |
| Number of clauses of size 2 | 0 |
| Number of clauses of size 3 | 0 |
| Number of clauses of size 4 | 0 |
| Number of clauses of size 5 | 0 |
| Number of clauses of size over 5 | 6230 |
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-3368879-1305405236.cnf' 0.00/0.00 c -- header says num vars: 70 0.00/0.00 c -- header says num clauses: 6230 0.00/0.00 c -- clauses added: 0 learnts, 6230 normals, 0 xors 0.00/0.00 c -- vars added 70 0.00/0.00 c Parsing time: 0.01 s 0.00/0.00 c N st 0 0 70 6230 0 0 43610 0 no data no data -- 0.37/0.14 c asymm cl-useful: 0/6230/6230 lits-rem:0 time: 0.54 0.37/0.14 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.1M T: 0.00 0.37/0.15 c bin-w-bin subsume rem 0 bins time: 0.00 s 0.37/0.15 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 0.37/0.15 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 70 time: 0.00 s 0.37/0.15 c Removed useless bin: 0 fixed: 0 props: 0.00M time: 0.00 s 3.17/0.80 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.07 s 3.17/0.80 c Finding binary XORs T: 0.00 s found: 0 3.17/0.80 c Finding non-binary XORs: 0.01 s (found: 0, avg size: nan) 3.17/0.80 c calculated reachability. Time: 0.00 3.17/0.80 c Calc default polars - time: 0.00 s pos: 34 undec: 1 neg: 35 3.17/0.80 c ========================================================================================= 3.17/0.80 c types(t): F = full restart, N = normal restart 3.17/0.80 c types(t): S = simplification begin/end, E = solution found 3.17/0.80 c restart types(rt): st = static, dy = dynamic 3.17/0.80 c t rt Rest Confl Vars NormCls BinCls Learnts ClLits LtLits 3.17/0.80 c B st 0 0 70 6230 0 0 43610 0 no data no data -- 3.17/0.80 c N dy 7 5012 70 6230 0 2255 43610 48087 20.25 21.48 -- 3.17/0.80 c N dy 19 11315 70 6230 0 4119 43610 82389 20.13 21.20 -- 3.17/0.80 c N dy 26 15425 70 6230 0 7826 43610 171085 20.13 21.20 -- 3.57/0.92 c N dy 51 20185 70 6230 0 7075 43610 142149 20.41 21.50 -- 4.40/1.15 c F st 73 25001 70 6230 0 11445 43610 247909 20.57 20.89 -- 4.40/1.16 c N st 73 25001 70 6230 0 11445 43610 247909 20.57 20.89 -- 5.16/1.38 c N dy 79 30000 70 6230 0 9835 43610 197310 20.57 no data -- 5.16/1.38 c S st 79 30000 70 6230 0 9835 43610 197310 20.57 no data -- 5.56/1.42 c S st 79 30503 70 6230 0 10303 43610 208987 20.57 no data -- 5.56/1.42 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.00 5.56/1.42 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 5.56/1.42 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.2M T: 0.01 5.56/1.43 c bin-w-bin subsume rem 0 bins time: 0.00 s 5.56/1.43 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 5.56/1.43 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 70 time: 0.00 s 5.56/1.43 c Removed useless bin: 0 fixed: 0 props: 0.00M time: 0.00 s 9.55/2.42 c lits-rem: 1690 cl-subs: 860 v-elim: 0 v-fix: 0 time: 3.94 s 10.75/2.72 c asymm cl-useful: 0/6230/6230 lits-rem:0 time: 1.19 10.75/2.72 c calculated reachability. Time: 0.00 10.75/2.72 c N dy 79 30503 70 6230 0 9443 43610 185036 20.57 no data -- 12.77/3.28 c N dy 94 41996 70 6230 0 12691 43610 250967 20.34 21.58 -- 13.94/3.51 c S st 109 45754 70 6230 0 16119 43610 332862 20.37 19.62 -- 13.94/3.55 c S st 109 46258 70 6230 0 8475 43610 138595 20.37 no data -- 13.94/3.55 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.00 13.94/3.55 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 13.94/3.56 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.2M T: 0.01 13.94/3.56 c bin-w-bin subsume rem 0 bins time: 0.00 s 13.94/3.56 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 13.94/3.56 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 70 time: 0.00 s 13.94/3.56 c Removed useless bin: 0 fixed: 0 props: 0.00M time: 0.00 s 17.16/4.31 c lits-rem: 152 cl-subs: 47 v-elim: 0 v-fix: 0 time: 3.00 s 17.16/4.31 c vivif2 -- cl tried 6230 cl shrink 0 lits rem 0 time: 0.00 17.16/4.31 c vivif2 -- cl tried 8428 cl shrink 0 lits rem 0 time: 0.00 17.93/4.57 c asymm cl-useful: 0/6230/6230 lits-rem:0 time: 1.02 17.93/4.57 c calculated reachability. Time: 0.00 17.93/4.57 c N dy 109 46258 70 6230 0 8428 43610 137094 20.37 no data -- 19.53/4.95 c N dy 126 53222 70 6230 0 14727 43610 287219 20.36 21.44 -- 20.73/5.27 c N dy 134 58103 70 6230 0 10102 43610 165289 20.32 21.48 -- 21.96/5.54 c N dy 162 62726 70 6230 0 14306 43610 267633 20.42 21.52 -- 23.52/5.96 c N dy 167 69388 70 6230 0 10373 43610 159778 20.27 18.28 -- 23.52/5.96 c S st 167 69388 70 6230 0 10373 43610 159778 20.27 18.28 -- 23.52/5.99 c S st 167 69889 70 6230 0 10833 43610 170948 20.27 no data -- 23.52/5.99 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.00 23.52/5.99 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 23.52/6.00 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.2M T: 0.02 23.92/6.00 c bin-w-bin subsume rem 0 bins time: 0.00 s 23.92/6.00 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 23.92/6.00 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 70 time: 0.00 s 23.92/6.00 c Removed useless bin: 0 fixed: 0 props: 0.00M time: 0.00 s 27.11/6.89 c lits-rem: 253 cl-subs: 166 v-elim: 0 v-fix: 0 time: 3.54 s 27.11/6.89 c vivif2 -- cl tried 6230 cl shrink 0 lits rem 0 time: 0.00 27.11/6.89 c vivif2 -- cl tried 10667 cl shrink 0 lits rem 0 time: 0.01 28.71/7.20 c asymm cl-useful: 0/6230/6230 lits-rem:0 time: 1.22 28.71/7.20 c calculated reachability. Time: 0.00 28.71/7.20 c N dy 167 69889 70 6230 0 10667 43610 166870 20.27 no data -- 29.91/7.51 c N dy 168 75674 70 6230 0 15877 43610 291813 20.21 21.34 -- 31.11/7.86 c N dy 199 80514 70 6230 0 20304 43610 399237 20.29 22.46 -- 32.70/8.24 c N dy 217 86108 70 6230 0 14500 43610 246252 20.29 21.38 -- 33.10/8.35 c F st 229 87500 70 6230 0 15753 43610 276658 20.31 20.90 -- 34.72/8.72 c N dy 235 92693 70 6230 0 20441 43610 390298 20.31 no data -- 36.69/9.20 c N dy 236 99842 70 6230 0 15124 43610 248303 20.21 21.55 -- 37.89/9.58 c S st 270 104833 70 6230 0 19663 43610 357996 20.28 20.36 -- 38.29/9.64 c S st 270 105334 70 6230 0 20136 43610 369597 20.28 no data -- 38.29/9.64 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.00 38.29/9.64 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 38.29/9.65 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.3M T: 0.03 38.29/9.66 c bin-w-bin subsume rem 0 bins time: 0.00 s 38.29/9.66 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 38.29/9.66 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 70 time: 0.00 s 38.29/9.66 c Removed useless bin: 0 fixed: 0 props: 0.00M time: 0.00 s 44.67/11.27 c lits-rem: 1773 cl-subs: 1759 v-elim: 0 v-fix: 0 time: 6.43 s 44.67/11.27 c vivif2 -- cl tried 6230 cl shrink 0 lits rem 0 time: 0.00 44.67/11.28 c vivif2 -- cl tried 18377 cl shrink 0 lits rem 0 time: 0.01 46.27/11.64 c asymm cl-useful: 0/4845/6230 lits-rem:0 time: 1.46 46.27/11.64 c calculated reachability. Time: 0.00 46.27/11.64 c N dy 270 105334 70 6230 0 18377 43610 325723 20.28 no data -- 48.66/12.23 c N dy 316 112143 70 6230 0 24586 43610 477692 20.37 22.55 -- 50.66/12.76 c N dy 331 119352 70 6230 0 18430 43610 311272 20.30 21.66 -- 53.85/13.54 c N dy 382 128289 70 6230 0 26542 43610 508632 20.39 21.70 -- 56.25/14.15 c N dy 427 136510 70 6230 0 20498 43610 356799 20.44 21.67 -- 59.45/14.94 c N dy 454 145239 70 6230 0 28419 43610 546492 20.45 22.19 -- 62.63/15.77 c N dy 519 155604 70 6230 0 23368 43610 412097 20.52 21.60 -- 63.43/15.97 c S st 523 158002 70 6230 0 25530 43610 462924 20.50 20.52 -- 63.83/16.04 c S st 523 158507 70 6230 0 25999 43610 474446 20.50 no data -- 63.83/16.04 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.00 63.83/16.04 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 63.83/16.05 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.4M T: 0.03 63.83/16.06 c bin-w-bin subsume rem 0 bins time: 0.00 s 63.83/16.06 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 63.83/16.06 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 70 time: 0.00 s 63.83/16.06 c Removed useless bin: 0 fixed: 0 props: 0.00M time: 0.00 s 72.60/18.28 c lits-rem: 1837 cl-subs: 2346 v-elim: 0 v-fix: 0 time: 8.84 s 72.60/18.28 c vivif2 -- cl tried 6230 cl shrink 0 lits rem 0 time: 0.00 72.60/18.28 c vivif2 -- cl tried 23653 cl shrink 0 lits rem 0 time: 0.02 73.41/18.47 c asymm cl-useful: 0/1385/6230 lits-rem:0 time: 0.75 73.41/18.47 c calculated reachability. Time: 0.00 73.41/18.47 c N dy 523 158507 70 6230 0 23653 43610 414280 20.50 no data -- 78.20/19.70 c N dy 577 172018 70 6230 0 20609 43610 330216 20.54 21.71 -- 86.98/21.85 c N dy 627 196751 70 6230 0 26534 43610 449258 20.38 21.55 -- 92.20/23.19 c N dy 663 210250 70 6230 0 21668 43610 334939 20.38 21.49 -- 97.75/24.59 c N dy 718 223697 70 6230 0 33860 43610 629234 20.40 23.29 -- 103.34/25.94 c S st 778 237761 70 6230 0 28519 43610 486736 20.45 no data -- 103.74/26.01 c S st 778 238263 70 6230 0 28983 43610 498139 20.45 no data -- 103.74/26.01 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.00 103.74/26.01 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 103.74/26.02 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.4M T: 0.04 103.74/26.04 c bin-w-bin subsume rem 0 bins time: 0.00 s 103.74/26.04 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 103.74/26.04 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 70 time: 0.00 s 103.74/26.04 c Removed useless bin: 0 fixed: 0 props: 0.00M time: 0.00 s 114.15/28.68 c lits-rem: 1986 cl-subs: 2345 v-elim: 0 v-fix: 0 time: 10.54 s 114.15/28.68 c vivif2 -- cl tried 6230 cl shrink 0 lits rem 0 time: 0.00 114.15/28.69 c vivif2 -- cl tried 26638 cl shrink 0 lits rem 0 time: 0.02 115.71/29.07 c asymm cl-useful: 0/3686/6230 lits-rem:0 time: 1.55 115.71/29.08 c calculated reachability. Time: 0.00 115.71/29.08 c N dy 778 238263 70 6230 0 26638 43610 437750 20.45 no data -- 124.89/31.38 c N dy 787 262958 70 6230 0 29905 43610 493417 20.27 21.37 -- 137.65/34.55 c N dy 887 292797 70 6230 0 37047 43610 654664 20.27 21.46 -- 143.25/35.98 c F st 936 306250 70 6230 0 28546 43610 448170 20.29 no data -- 145.64/36.50 c N dy 943 311547 70 6230 0 33336 43610 565080 20.29 23.54 -- 154.81/38.85 c N dy 1029 331442 70 6230 0 29727 43610 461742 20.32 21.41 -- 165.59/41.56 c N dy 1144 351538 70 6230 0 25350 43610 346982 20.38 21.48 -- 167.98/42.14 c S st 1164 357394 70 6230 0 30636 43610 474716 20.39 no data -- 168.38/42.21 c S st 1164 357897 70 6230 0 31108 43610 486328 20.39 no data -- 168.38/42.21 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01 168.38/42.21 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 168.38/42.22 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.4M T: 0.04 168.38/42.24 c bin-w-bin subsume rem 0 bins time: 0.00 s 168.38/42.24 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 168.38/42.24 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 70 time: 0.00 s 168.38/42.24 c Removed useless bin: 0 fixed: 0 props: 0.00M time: 0.00 s 177.97/44.68 c lits-rem: 1411 cl-subs: 1825 v-elim: 0 v-fix: 0 time: 9.74 s 177.97/44.68 c vivif2 -- cl tried 6230 cl shrink 0 lits rem 0 time: 0.00 177.97/44.68 c vivif2 -- cl tried 29283 cl shrink 0 lits rem 0 time: 0.02 180.35/45.20 c asymm cl-useful: 0/2544/6230 lits-rem:0 time: 2.04 180.35/45.20 c calculated reachability. Time: 0.00 180.35/45.20 c N dy 1164 357897 70 6230 0 29283 43610 439695 20.39 no data -- 192.76/48.36 c N dy 1230 377959 70 6230 0 24018 43610 299750 20.40 23.52 -- 203.91/51.13 c N dy 1306 400065 70 6230 0 43973 43610 778537 20.41 21.52 -- 214.70/53.83 c N dy 1404 420703 70 6230 0 38273 43610 630981 20.44 21.59 -- 225.86/56.62 c N dy 1483 440808 70 6230 0 31187 43610 444448 20.47 21.65 -- 237.82/59.65 c N dy 1494 464946 70 6230 0 26677 43610 322713 20.37 21.55 -- 247.80/62.13 c N dy 1547 486315 70 6230 0 45954 43610 785773 20.36 21.50 -- 259.77/65.19 c N dy 1663 506354 70 6230 0 37098 43610 563288 20.41 22.58 -- 274.14/68.74 c N dy 1784 526880 70 6230 0 55693 43610 1018170 20.46 21.55 -- 278.94/69.98 c S st 1824 536846 70 6230 0 36653 43610 537658 20.46 20.02 -- 279.34/70.08 c S st 1824 537351 70 6230 0 37115 43610 549299 20.46 no data -- 279.34/70.08 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01 279.34/70.08 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 279.34/70.09 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.5M T: 0.05 279.74/70.11 c bin-w-bin subsume rem 0 bins time: 0.00 s 279.74/70.11 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 279.74/70.11 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 70 time: 0.00 s 279.74/70.11 c Removed useless bin: 0 fixed: 0 props: 0.00M time: 0.00 s 289.34/72.52 c lits-rem: 930 cl-subs: 2003 v-elim: 0 v-fix: 0 time: 9.62 s 289.34/72.52 c vivif2 -- cl tried 6230 cl shrink 0 lits rem 0 time: 0.00 289.34/72.53 c vivif2 -- cl tried 35112 cl shrink 0 lits rem 0 time: 0.02 290.11/72.73 c asymm cl-useful: 0/1465/6230 lits-rem:0 time: 0.80 290.11/72.73 c calculated reachability. Time: 0.00 290.11/72.73 c N dy 1824 537351 70 6230 0 35112 43610 498989 20.46 no data -- 301.29/75.50 c N dy 1875 557379 70 6230 0 53156 43610 930978 20.45 21.99 -- 312.86/78.49 c N dy 1978 577389 70 6230 0 42486 43610 669549 20.48 21.61 -- 326.83/81.94 c N dy 2045 597979 70 6230 0 31276 43610 382095 20.49 21.58 -- 338.03/84.77 c N dy 2124 618059 70 6230 0 49496 43610 821422 20.50 22.02 -- 350.79/87.92 c N dy 2162 638115 70 6230 0 36875 43610 503645 20.49 22.34 -- 363.54/91.21 c N dy 2196 658806 70 6230 0 55422 43610 946164 20.48 21.61 -- 377.90/94.79 c N dy 2299 678914 70 6230 0 42135 43610 618153 20.51 21.65 -- 393.87/98.73 c N dy 2414 699745 70 6230 0 61001 43610 1081378 20.54 21.75 -- 410.23/102.84 c N dy 2525 722137 70 6230 0 48738 43610 766641 20.57 21.68 -- 425.42/106.67 c N dy 2593 742155 70 6230 0 66771 43610 1200491 20.57 22.43 -- 438.17/109.85 c N dy 2694 762191 70 6230 0 51476 43610 819213 20.59 21.69 -- 452.17/113.36 c N dy 2716 782213 70 6230 0 35111 43610 407331 20.56 22.86 -- 463.71/116.26 c N dy 2742 803791 70 6230 0 54523 43610 870603 20.54 21.66 -- 465.70/116.72 c S st 2758 806030 70 6230 0 56551 43610 921152 20.54 no data -- 466.11/116.88 c S st 2758 806534 70 6230 0 57022 43610 932941 20.54 no data -- 466.11/116.89 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01 466.11/116.89 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 466.51/116.91 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.7M T: 0.09 466.51/116.94 c bin-w-bin subsume rem 0 bins time: 0.00 s 466.51/116.94 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 466.51/116.94 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 70 time: 0.00 s 466.51/116.94 c Removed useless bin: 0 fixed: 0 props: 0.00M time: 0.00 s 498.43/124.98 c lits-rem: 3063 cl-subs: 5560 v-elim: 0 v-fix: 0 time: 32.06 s 498.43/124.98 c vivif2 -- cl tried 6230 cl shrink 0 lits rem 0 time: 0.00 498.43/124.99 c vivif2 -- cl tried 51462 cl shrink 0 lits rem 0 time: 0.04 500.05/125.31 c asymm cl-useful: 0/935/6230 lits-rem:0 time: 1.28 500.05/125.31 c calculated reachability. Time: 0.00 500.05/125.31 c N dy 2758 806534 70 6230 0 51462 43610 800102 20.54 no data -- 518.38/129.93 c N dy 2878 826585 70 6230 0 69649 43610 1245372 20.57 22.37 -- 531.56/133.22 c N dy 2934 848418 70 6230 0 54395 43610 861292 20.56 21.86 -- 559.90/140.39 c N dy 3062 886254 70 6230 0 52445 43610 782689 20.55 21.78 -- 578.25/144.95 c N dy 3178 906278 70 6230 0 70532 43610 1227297 20.58 23.89 -- 593.01/148.65 c N dy 3282 926431 70 6230 0 51839 43610 781023 20.60 21.72 -- 608.59/152.55 c N dy 3320 946473 70 6230 0 69809 43610 1207646 20.59 21.80 -- 622.97/156.13 c N dy 3378 966545 70 6230 0 50036 43610 713430 20.58 21.91 -- 638.92/160.16 c N dy 3450 986939 70 6230 0 68428 43610 1158308 20.58 21.67 -- 656.08/164.47 c N dy 3535 1006972 70 6230 0 47817 43610 652149 20.59 21.87 -- 672.03/168.48 c N dy 3622 1027181 70 6230 0 66077 43610 1095222 20.60 21.94 -- 689.99/172.93 c N dy 3687 1047271 70 6230 0 44501 43610 557985 20.60 24.48 -- 707.95/177.47 c F st 3775 1071875 70 6230 0 66774 43610 1100614 20.61 17.98 -- 707.95/177.47 c N st 3775 1071875 70 6230 0 66774 43610 1100614 20.61 17.98 -- 726.32/182.05 c N dy 3819 1093609 70 6230 0 45729 43610 572250 20.60 21.79 -- 742.67/186.15 c N dy 3925 1114298 70 6230 0 64397 43610 1029048 20.62 21.73 -- 764.62/191.62 c N dy 3999 1135153 70 6230 0 41745 43610 463203 20.63 21.83 -- 778.99/195.22 c N dy 4078 1155201 70 6230 0 59808 43610 902771 20.63 24.21 -- 803.37/201.37 c N dy 4186 1175405 70 6230 0 78096 43610 1351898 20.65 21.76 -- 824.49/206.66 c N dy 4253 1195451 70 6230 0 53762 43610 744068 20.65 22.35 -- 840.46/210.68 c S st 4304 1209801 70 6230 0 66765 43610 1059938 20.66 20.55 -- 841.66/210.97 c S st 4304 1210302 70 6230 0 67219 43610 1071281 20.66 no data -- 841.66/210.97 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.02 841.66/210.97 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 842.06/211.01 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.9M T: 0.17 842.06/211.05 c bin-w-bin subsume rem 0 bins time: 0.00 s 842.06/211.05 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 842.06/211.05 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 70 time: 0.00 s 842.06/211.05 c Removed useless bin: 0 fixed: 0 props: 0.00M time: 0.00 s 915.48/229.47 c lits-rem: 3152 cl-subs: 5445 v-elim: 0 v-fix: 0 time: 73.48 s 915.48/229.47 c vivif2 -- cl tried 6230 cl shrink 0 lits rem 0 time: 0.00 915.48/229.48 c vivif2 -- cl tried 61774 cl shrink 0 lits rem 0 time: 0.05 917.10/229.85 c asymm cl-useful: 0/749/6230 lits-rem:0 time: 1.47 917.10/229.86 c calculated reachability. Time: 0.00 917.10/229.86 c N dy 4304 1210302 70 6230 0 61774 43610 933157 20.66 no data -- 936.63/234.77 c N dy 4368 1230546 70 6230 0 80014 43610 1373453 20.65 21.75 -- 955.39/239.48 c N dy 4427 1252279 70 6230 0 56562 43610 794117 20.65 21.79 -- 977.34/244.97 c N dy 4457 1277514 70 6230 0 79132 43610 1335924 20.64 21.87 -- 1000.93/250.84 c N dy 4523 1299549 70 6230 0 54999 43610 747581 20.64 21.79 -- 1022.88/256.35 c N dy 4582 1320735 70 6230 0 74002 43610 1202707 20.64 21.74 -- 1051.17/263.40 c N dy 4698 1340954 70 6230 0 47305 43610 548280 20.65 21.96 -- 1070.75/268.33 c N dy 4786 1362548 70 6230 0 66745 43610 1017485 20.66 21.82 -- 1094.68/274.33 c N dy 4864 1384408 70 6230 0 86509 43610 1497293 20.66 21.80 -- 1113.03/278.94 c N dy 4941 1405210 70 6230 0 59333 43610 825083 20.67 21.77 -- 1134.58/284.30 c N dy 5038 1426991 70 6230 0 79010 43610 1306133 20.67 21.90 -- 1157.33/290.04 c N dy 5112 1447082 70 6230 0 50268 43610 590929 20.68 23.56 -- 1174.49/294.39 c N dy 5214 1467143 70 6230 0 68422 43610 1036344 20.69 22.98 -- 1200.04/300.79 c N dy 5304 1491213 70 6230 0 90136 43610 1567209 20.69 21.80 -- 1221.58/306.14 c N dy 5390 1514546 70 6230 0 63346 43610 898615 20.69 21.79 -- 1250.32/313.34 c N dy 5443 1546697 70 6230 0 92175 43610 1590140 20.67 21.87 -- 1271.07/318.52 c N dy 5543 1566960 70 6230 0 61797 43610 848000 20.68 21.85 -- 1292.62/323.92 c N dy 5668 1586966 70 6230 0 79872 43610 1295676 20.70 22.68 -- 1322.55/331.49 c N dy 5726 1614323 70 6230 0 54914 43610 664043 20.69 21.81 -- 1342.92/336.54 c N dy 5830 1636162 70 6230 0 74695 43610 1149891 20.70 21.91 -- 1415.54/354.72 c N dy 5930 1710303 70 6230 0 90139 43610 1446559 20.63 17.30 -- 1415.54/354.72 c S st 5930 1710303 70 6230 0 90139 43610 1446559 20.63 17.30 -- 1416.74/355.04 c S st 5930 1710804 70 6230 0 90602 43610 1458195 20.63 no data -- 1416.74/355.05 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.03 1416.74/355.05 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 1417.14/355.10 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 1.1M T: 0.22 1417.14/355.15 c bin-w-bin subsume rem 0 bins time: 0.00 s 1417.14/355.15 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 1417.14/355.15 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 70 time: 0.00 s 1417.14/355.15 c Removed useless bin: 0 fixed: 0 props: 0.00M time: 0.00 s 1656.58/415.13 c lits-rem: 3682 cl-subs: 14470 v-elim: 0 v-fix: 0 time: 239.29 s 1656.58/415.13 c vivif2 -- cl tried 6230 cl shrink 0 lits rem 0 time: 0.00 1656.58/415.15 c vivif2 -- cl tried 76132 cl shrink 0 lits rem 0 time: 0.07 1658.58/415.61 c asymm cl-useful: 0/550/6230 lits-rem:0 time: 1.84 1658.58/415.62 c calculated reachability. Time: 0.00 1658.58/415.62 c N dy 5930 1710804 70 6230 0 76132 43610 1152479 20.63 no data -- 1692.50/424.10 c N dy 6025 1730883 70 6230 0 94277 43610 1595787 20.64 21.77 -- 1725.61/432.45 c N dy 6099 1752184 70 6230 0 63171 43610 848915 20.64 21.81 -- 1753.95/439.53 c N dy 6203 1772281 70 6230 0 81345 43610 1295334 20.65 21.92 -- 1787.07/447.86 c N dy 6283 1792305 70 6230 0 99416 43610 1735383 20.65 23.31 -- 1822.18/456.61 c N dy 6387 1822318 70 6230 0 74703 43610 1111015 20.65 21.79 -- 1852.55/464.28 c N dy 6494 1842381 70 6230 0 92821 43610 1556391 20.66 23.52 -- 1886.44/472.73 c N dy 6640 1862459 70 6230 0 58028 43610 695840 20.68 21.77 -- 1909.99/478.65 c N dy 6750 1882489 70 6230 0 76139 43610 1140066 20.69 22.54 -- 1936.32/485.28 c N dy 6856 1902572 70 6230 0 94300 43610 1587558 20.70 25.51 -- 1965.47/492.57 c N dy 6944 1923634 70 6230 0 59296 43610 708777 20.70 21.81 -- 1987.81/498.18 c N dy 7046 1946555 70 6230 0 79988 43610 1218817 20.71 21.90 -- 2013.76/504.61 c N dy 7113 1967815 70 6230 0 99179 43610 1684856 20.71 21.81 -- 2041.68/511.63 c N dy 7234 1988265 70 6230 0 62609 43610 775629 20.72 21.82 -- 2065.24/517.50 c N dy 7319 2011581 70 6230 0 83487 43610 1281490 20.72 21.82 -- 2091.18/524.08 c N dy 7405 2031597 70 6230 0 101520 43610 1725622 20.73 21.88 -- 2118.31/530.87 c N dy 7491 2052709 70 6230 0 64712 43610 816387 20.73 21.95 -- 2142.66/536.91 c N dy 7560 2077344 70 6230 0 86797 43610 1352869 20.73 21.88 -- 2170.19/543.86 c N dy 7654 2097350 70 6230 0 104880 43610 1797946 20.74 23.29 -- 2194.57/550.00 c N dy 7704 2117894 70 6230 0 66778 43610 852998 20.74 21.87 -- 2216.09/555.32 c N dy 7765 2137934 70 6230 0 84781 43610 1290060 20.74 21.84 -- 2249.62/563.79 c N dy 7856 2162427 70 6230 0 106818 43610 1825080 20.74 21.89 -- 2295.95/575.38 c N dy 7878 2210804 70 6230 0 92108 43610 1410320 20.67 16.92 -- 2295.95/575.38 c S st 7878 2210804 70 6230 0 92108 43610 1410320 20.67 16.92 -- 2297.11/575.66 c S st 7878 2211307 70 6230 0 92565 43610 1421738 20.67 no data -- 2297.11/575.67 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.02 2297.11/575.67 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 2297.51/575.71 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 1.1M T: 0.17 2297.51/575.76 c bin-w-bin subsume rem 0 bins time: 0.00 s 2297.51/575.76 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 2297.51/575.76 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 70 time: 0.00 s 2297.51/575.76 c Removed useless bin: 0 fixed: 0 props: 0.00M time: 0.00 s 2425.19/607.72 c lits-rem: 5280 cl-subs: 11112 v-elim: 0 v-fix: 0 time: 127.47 s 2425.19/607.72 c vivif2 -- cl tried 6230 cl shrink 0 lits rem 0 time: 0.00 2425.19/607.74 c vivif2 -- cl tried 81453 cl shrink 0 lits rem 0 time: 0.07 2426.80/608.15 c asymm cl-useful: 0/557/6230 lits-rem:0 time: 1.66 2426.80/608.15 c calculated reachability. Time: 0.00 2426.80/608.15 c N dy 7878 2211307 70 6230 0 81453 43610 1191752 20.67 no data -- 2461.91/617.00 c N dy 7985 2234613 70 6230 0 102546 43610 1709021 20.68 21.84 -- 2503.02/627.25 c N dy 8108 2254674 70 6230 0 62922 43610 745149 20.69 22.97 -- 2530.55/634.13 c N dy 8141 2280057 70 6230 0 85694 43610 1292930 20.68 21.80 -- 2562.07/642.04 c N dy 8197 2300864 70 6230 0 104399 43610 1748241 20.68 21.91 -- 2599.98/651.54 c N dy 8286 2321021 70 6230 0 63577 43610 743507 20.68 21.93 -- 2643.09/662.35 c N dy 8323 2356146 70 6230 0 95075 43610 1486564 20.66 21.79 -- 2685.80/673.06 c N dy 8381 2378700 70 6230 0 115377 43610 1975842 20.66 21.76 -- 2718.11/681.10 c N dy 8462 2398761 70 6230 0 73316 43610 963490 20.66 21.79 -- 2777.99/696.14 c N dy 8533 2440486 70 6230 0 110691 43610 1856790 20.64 21.92 -- 2816.70/705.86 c N dy 8621 2460495 70 6230 0 67834 43610 822056 20.65 24.37 -- 2859.00/716.46 c N dy 8703 2489802 70 6230 0 94091 43610 1448744 20.64 21.75 -- 2893.31/725.01 c N dy 8773 2509816 70 6230 0 112160 43610 1889119 20.64 23.81 -- 2930.44/734.38 c N dy 8878 2529907 70 6230 0 68365 43610 817944 20.65 23.64 -- 2955.97/740.76 c N dy 8957 2550016 70 6230 0 86455 43610 1258708 20.65 21.76 -- 3030.61/759.41 c N dy 8980 2615226 70 6230 0 81667 43610 1111809 20.60 21.70 -- 3060.94/767.06 c N dy 9084 2635298 70 6230 0 99799 43610 1556384 20.60 22.19 -- 3098.88/776.57 c N dy 9218 2655362 70 6230 0 117917 43610 2004705 20.61 21.73 -- 3122.39/782.44 c N dy 9241 2675365 70 6230 0 72099 43610 881316 20.61 21.75 -- 3163.50/792.77 c N dy 9353 2711309 70 6230 0 104284 43610 1648925 20.60 16.44 -- 3163.50/792.77 c S st 9353 2711309 70 6230 0 104284 43610 1648925 20.60 16.44 -- 3164.73/793.09 c S st 9353 2711811 70 6230 0 104745 43610 1660300 20.60 no data -- 3164.73/793.10 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.03 3164.73/793.10 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 3165.14/793.15 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 1.3M T: 0.21 3165.50/793.20 c bin-w-bin subsume rem 0 bins time: 0.00 s 3165.50/793.20 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 3165.50/793.20 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 70 time: 0.00 s 3165.50/793.20 c Removed useless bin: 0 fixed: 0 props: 0.00M time: 0.00 s 3525.87/883.51 c lits-rem: 5390 cl-subs: 10634 v-elim: 0 v-fix: 0 time: 360.33 s 3525.87/883.51 c vivif2 -- cl tried 6230 cl shrink 0 lits rem 0 time: 0.00 3525.87/883.53 c vivif2 -- cl tried 94111 cl shrink 0 lits rem 0 time: 0.08 3527.07/883.89 c asymm cl-useful: 0/456/6230 lits-rem:0 time: 1.42 3527.07/883.89 c calculated reachability. Time: 0.00 3527.07/883.89 c N dy 9353 2711811 70 6230 0 94111 43610 1413058 20.60 no data -- 3557.01/891.34 c N dy 9437 2731846 70 6230 0 112128 43610 1852684 20.60 23.64 -- 3592.92/900.33 c N dy 9528 2751958 70 6230 0 66187 43610 734168 20.61 21.84 -- 3616.47/906.25 c N dy 9660 2772012 70 6230 0 84379 43610 1183621 20.61 23.15 -- 3675.93/921.11 c N dy 9767 2812377 70 6230 0 120426 43610 2047771 20.61 21.87 -- 3714.64/930.83 c N dy 9819 2837360 70 6230 0 77544 43610 986163 20.60 21.69 -- 3740.23/937.25 c N dy 9841 2859785 70 6230 0 97484 43610 1453400 20.59 21.73 -- 3774.51/945.87 c N dy 9902 2879869 70 6230 0 115521 43610 1886932 20.59 22.40 -- 3837.56/961.69 c N dy 10012 2917917 70 6230 0 83364 43610 1102662 20.58 21.71 -- 3880.29/972.32 c N dy 10191 2937994 70 6230 0 101517 43610 1556875 20.59 23.02 -- 3930.55/984.90 c N dy 10309 2958522 70 6230 0 120034 43610 2009963 20.60 21.89 -- 3986.07/998.86 c N dy 10457 2980597 70 6230 0 72715 43610 848377 20.61 21.74 -- 4019.95/1007.31 c N dy 10564 3000656 70 6230 0 90749 43610 1292739 20.61 24.13 -- 4077.84/1021.82 c N dy 10612 3035762 70 6230 0 122107 43610 2038258 20.60 21.74 -- 4129.70/1034.84 c N dy 10704 3059647 70 6230 0 75396 43610 898226 20.60 21.79 -- 4165.22/1043.71 c N dy 10836 3079685 70 6230 0 93489 43610 1345706 20.61 22.51 -- 4207.12/1054.27 c N dy 10953 3099746 70 6230 0 111554 43610 1793749 20.62 23.45 -- 4258.24/1067.06 c N dy 11061 3120229 70 6230 0 130030 43610 2247014 20.62 21.88 -- 4298.91/1077.26 c N dy 11179 3140319 70 6230 0 78919 43610 976389 20.63 22.24 -- 4330.44/1085.17 c N dy 11273 3160468 70 6230 0 97027 43610 1420093 20.64 21.85 -- 4373.95/1096.04 c N dy 11405 3183638 70 6230 0 117893 43610 1934018 20.64 21.81 -- 4423.44/1108.45 c N dy 11489 3204343 70 6230 0 136468 43610 2387788 20.64 21.90 -- 4442.98/1113.37 c S st 11539 3211811 70 6230 0 73074 43610 818091 20.65 no data -- 4444.19/1113.66 c S st 11539 3212313 70 6230 0 73532 43610 829971 20.65 no data -- 4444.19/1113.67 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.03 4444.19/1113.67 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 4444.59/1113.72 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.9M T: 0.19 4444.59/1113.75 c bin-w-bin subsume rem 0 bins time: 0.00 s 4444.59/1113.75 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 4444.59/1113.75 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 70 time: 0.00 s 4444.59/1113.75 c Removed useless bin: 0 fixed: 0 props: 0.00M time: 0.00 s 4530.41/1135.30 c lits-rem: 634 cl-subs: 665 v-elim: 0 v-fix: 0 time: 85.97 s 4530.41/1135.30 c vivif2 -- cl tried 6230 cl shrink 0 lits rem 0 time: 0.00 4530.77/1135.31 c vivif2 -- cl tried 72867 cl shrink 0 lits rem 0 time: 0.06 4532.37/1135.76 c asymm cl-useful: 0/617/6230 lits-rem:0 time: 1.82 4532.37/1135.77 c calculated reachability. Time: 0.00 4532.37/1135.77 c N dy 11539 3212313 70 6230 0 72867 43610 811828 20.65 no data -- 4557.90/1142.19 c N dy 11592 3232353 70 6230 0 90875 43610 1250618 20.65 21.74 -- 4594.62/1151.38 c N dy 11713 3252502 70 6230 0 109011 43610 1698617 20.65 21.76 -- 4643.30/1163.56 c N dy 11833 3275312 70 6230 0 129582 43610 2202549 20.66 21.83 -- 4746.64/1189.44 c N dy 11879 3346503 70 6230 0 121589 43610 1902029 20.61 21.71 -- 4797.34/1202.11 c N dy 11898 3381049 70 6230 0 81066 43610 987259 20.59 21.76 --
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-3368879-1305405236/watcher-3368879-1305405236 -o /tmp/evaluation-result-3368879-1305405236/solver-3368879-1305405236 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3368879-1305405236.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: 3.92 6.08 7.28 5/285 4828 /proc/meminfo: memFree=19062688/32951132 swapFree=67093824/67111528 [pid=4828] ppid=4826 vsize=199700 CPUtime=0 cores=1,3,5,7 /proc/4828/stat : 4828 (strangenight1-m) R 4826 4828 4127 0 -1 4202496 682 0 0 0 0 0 0 0 22 0 4 0 652123264 204492800 598 33554432000 4194304 4650419 140734995126000 18446744073709551615 274664913439 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0 /proc/4828/statm: 51977 607 343 112 0 46942 0 [pid=4828/tid=4829] ppid=4826 vsize=216380 CPUtime=0 cores=1,3,5,7 /proc/4828/task/4829/stat : 4829 (strangenight1-m) R 4826 4828 4127 0 -1 4202560 150 0 0 0 0 0 0 0 23 0 4 0 652123264 221573120 1061 33554432000 4194304 4650419 140734995126000 18446744073709551615 4520322 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=4828/tid=4830] ppid=4826 vsize=216380 CPUtime=0 cores=1,3,5,7 /proc/4828/task/4830/stat : 4830 (strangenight1-m) R 4826 4828 4127 0 -1 4202560 217 0 0 0 0 0 0 0 23 0 4 0 652123264 221573120 1062 33554432000 4194304 4650419 140734995126000 18446744073709551615 274664913390 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=4828/tid=4831] ppid=4826 vsize=216380 CPUtime=0 cores=1,3,5,7 /proc/4828/task/4831/stat : 4831 (strangenight1-m) R 4826 4828 4127 0 -1 4202560 161 0 0 0 0 0 0 0 23 0 4 0 652123264 221573120 1063 33554432000 4194304 4650419 140734995126000 18446744073709551615 4520021 0 0 4096 2 0 0 0 -1 1 0 0 0 [startup+0.0974721 s] /proc/loadavg: 3.92 6.08 7.28 5/285 4828 /proc/meminfo: memFree=19062688/32951132 swapFree=67093824/67111528 [pid=4828] ppid=4826 vsize=216804 CPUtime=0.36 cores=1,3,5,7 /proc/4828/stat : 4828 (strangenight1-m) R 4826 4828 4127 0 -1 4202496 1431 0 0 0 36 0 0 0 18 0 4 0 652123264 222007296 1347 33554432000 4194304 4650419 140734995126000 18446744073709551615 4370647 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0 /proc/4828/statm: 54201 1347 366 112 0 49166 0 [pid=4828/tid=4829] ppid=4826 vsize=216804 CPUtime=0.08 cores=1,3,5,7 /proc/4828/task/4829/stat : 4829 (strangenight1-m) R 4826 4828 4127 0 -1 4202560 222 0 0 0 8 0 0 0 23 0 4 0 652123264 222007296 1347 33554432000 4194304 4650419 140734995126000 18446744073709551615 4370730 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=4828/tid=4830] ppid=4826 vsize=216804 CPUtime=0.09 cores=1,3,5,7 /proc/4828/task/4830/stat : 4830 (strangenight1-m) R 4826 4828 4127 0 -1 4202560 232 0 0 0 9 0 0 0 18 0 4 0 652123264 222007296 1347 33554432000 4194304 4650419 140734995126000 18446744073709551615 4370649 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=4828/tid=4831] ppid=4826 vsize=216804 CPUtime=0.09 cores=1,3,5,7 /proc/4828/task/4831/stat : 4831 (strangenight1-m) R 4826 4828 4127 0 -1 4202560 344 0 0 0 9 0 0 0 23 0 4 0 652123264 222007296 1347 33554432000 4194304 4650419 140734995126000 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 0.36 Current children cumulated vsize (KiB) 216804 [startup+0.100471 s] /proc/loadavg: 3.92 6.08 7.28 5/285 4828 /proc/meminfo: memFree=19062688/32951132 swapFree=67093824/67111528 [pid=4828] ppid=4826 vsize=216804 CPUtime=0.37 cores=1,3,5,7 /proc/4828/stat : 4828 (strangenight1-m) R 4826 4828 4127 0 -1 4202496 1433 0 0 0 37 0 0 0 18 0 4 0 652123264 222007296 1349 33554432000 4194304 4650419 140734995126000 18446744073709551615 4370557 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0 /proc/4828/statm: 54201 1349 366 112 0 49166 0 [pid=4828/tid=4829] ppid=4826 vsize=216804 CPUtime=0.09 cores=1,3,5,7 /proc/4828/task/4829/stat : 4829 (strangenight1-m) R 4826 4828 4127 0 -1 4202560 222 0 0 0 9 0 0 0 23 0 4 0 652123264 222007296 1349 33554432000 4194304 4650419 140734995126000 18446744073709551615 4370503 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=4828/tid=4830] ppid=4826 vsize=216804 CPUtime=0.09 cores=1,3,5,7 /proc/4828/task/4830/stat : 4830 (strangenight1-m) R 4826 4828 4127 0 -1 4202560 232 0 0 0 9 0 0 0 18 0 4 0 652123264 222007296 1349 33554432000 4194304 4650419 140734995126000 18446744073709551615 4370522 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=4828/tid=4831] ppid=4826 vsize=216804 CPUtime=0.09 cores=1,3,5,7 /proc/4828/task/4831/stat : 4831 (strangenight1-m) R 4826 4828 4127 0 -1 4202560 346 0 0 0 9 0 0 0 23 0 4 0 652123264 222007296 1349 33554432000 4194304 4650419 140734995126000 18446744073709551615 4365333 0 0 4096 2 0 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 0.37 Current children cumulated vsize (KiB) 216804 [startup+0.300438 s] /proc/loadavg: 3.92 6.08 7.28 5/285 4828 /proc/meminfo: memFree=19062688/32951132 swapFree=67093824/67111528 [pid=4828] ppid=4826 vsize=218828 CPUtime=1.17 cores=1,3,5,7 /proc/4828/stat : 4828 (strangenight1-m) R 4826 4828 4127 0 -1 4202496 3635 0 0 0 117 0 0 0 18 0 4 0 652123264 224079872 3056 33554432000 4194304 4650419 140734995126000 18446744073709551615 4366943 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0 /proc/4828/statm: 54707 3056 390 112 0 49672 0 [pid=4828/tid=4829] ppid=4826 vsize=218828 CPUtime=0.29 cores=1,3,5,7 /proc/4828/task/4829/stat : 4829 (strangenight1-m) R 4826 4828 4127 0 -1 4202560 826 0 0 0 29 0 0 0 23 0 4 0 652123264 224079872 3056 33554432000 4194304 4650419 140734995126000 18446744073709551615 4365110 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=4828/tid=4830] ppid=4826 vsize=218828 CPUtime=0.29 cores=1,3,5,7 /proc/4828/task/4830/stat : 4830 (strangenight1-m) R 4826 4828 4127 0 -1 4202560 846 0 0 0 29 0 0 0 18 0 4 0 652123264 224079872 3056 33554432000 4194304 4650419 140734995126000 18446744073709551615 4364777 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=4828/tid=4831] ppid=4826 vsize=218828 CPUtime=0.29 cores=1,3,5,7 /proc/4828/task/4831/stat : 4831 (strangenight1-m) R 4826 4828 4127 0 -1 4202560 687 0 0 0 29 0 0 0 23 0 4 0 652123264 224079872 3056 33554432000 4194304 4650419 140734995126000 18446744073709551615 4365223 0 0 4096 2 0 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 1.17 Current children cumulated vsize (KiB) 218828 [startup+0.70037 s] /proc/loadavg: 3.92 6.08 7.28 5/285 4828 /proc/meminfo: memFree=19062688/32951132 swapFree=67093824/67111528 [pid=4828] ppid=4826 vsize=221072 CPUtime=2.77 cores=1,3,5,7 /proc/4828/stat : 4828 (strangenight1-m) R 4826 4828 4127 0 -1 4202496 6051 0 0 0 276 1 0 0 18 0 4 0 652123264 226377728 3573 33554432000 4194304 4650419 140734995126000 18446744073709551615 4365203 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0 /proc/4828/statm: 55268 3573 390 112 0 50233 0 [pid=4828/tid=4829] ppid=4826 vsize=221072 CPUtime=0.68 cores=1,3,5,7 /proc/4828/task/4829/stat : 4829 (strangenight1-m) R 4826 4828 4127 0 -1 4202560 1417 0 0 0 68 0 0 0 25 0 4 0 652123264 226377728 3573 33554432000 4194304 4650419 140734995126000 18446744073709551615 4366879 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=4828/tid=4830] ppid=4826 vsize=221072 CPUtime=0.69 cores=1,3,5,7 /proc/4828/task/4830/stat : 4830 (strangenight1-m) R 4826 4828 4127 0 -1 4202560 1494 0 0 0 69 0 0 0 18 0 4 0 652123264 226377728 3573 33554432000 4194304 4650419 140734995126000 18446744073709551615 4311370 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=4828/tid=4831] ppid=4826 vsize=221072 CPUtime=0.69 cores=1,3,5,7 /proc/4828/task/4831/stat : 4831 (strangenight1-m) R 4826 4828 4127 0 -1 4202560 1295 0 0 0 69 0 0 0 25 0 4 0 652123264 226377728 3573 33554432000 4194304 4650419 140734995126000 18446744073709551615 4365366 0 0 4096 2 0 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 2.77 Current children cumulated vsize (KiB) 221072 [startup+1.50024 s] /proc/loadavg: 4.24 6.11 7.28 9/289 4832 /proc/meminfo: memFree=19038552/32951132 swapFree=67093824/67111528 [pid=4828] ppid=4826 vsize=222196 CPUtime=5.96 cores=1,3,5,7 /proc/4828/stat : 4828 (strangenight1-m) R 4826 4828 4127 0 -1 4202496 10912 0 0 0 595 1 0 0 20 0 4 0 652123264 227528704 6001 33554432000 4194304 4650419 140734995126000 18446744073709551615 4433059 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0 /proc/4828/statm: 55549 6001 392 112 0 50514 0 [pid=4828/tid=4829] ppid=4826 vsize=222196 CPUtime=1.47 cores=1,3,5,7 /proc/4828/task/4829/stat : 4829 (strangenight1-m) R 4826 4828 4127 0 -1 4202560 2358 0 0 0 147 0 0 0 25 0 4 0 652123264 227528704 6001 33554432000 4194304 4650419 140734995126000 18446744073709551615 4365346 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=4828/tid=4830] ppid=4826 vsize=222196 CPUtime=1.49 cores=1,3,5,7 /proc/4828/task/4830/stat : 4830 (strangenight1-m) R 4826 4828 4127 0 -1 4202560 2435 0 0 0 149 0 0 0 19 0 4 0 652123264 227528704 6001 33554432000 4194304 4650419 140734995126000 18446744073709551615 4366828 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=4828/tid=4831] ppid=4826 vsize=222196 CPUtime=1.49 cores=1,3,5,7 /proc/4828/task/4831/stat : 4831 (strangenight1-m) R 4826 4828 4127 0 -1 4202560 1966 0 0 0 149 0 0 0 25 0 4 0 652123264 227528704 6001 33554432000 4194304 4650419 140734995126000 18446744073709551615 4363423 0 0 4096 2 0 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 5.96 Current children cumulated vsize (KiB) 222196 [startup+3.10096 s] /proc/loadavg: 4.24 6.11 7.28 9/289 4832 /proc/meminfo: memFree=19008176/32951132 swapFree=67093824/67111528 [pid=4828] ppid=4826 vsize=231228 CPUtime=12.35 cores=1,3,5,7 /proc/4828/stat : 4828 (strangenight1-m) R 4826 4828 4127 0 -1 4202496 18003 0 0 0 1233 2 0 0 25 0 4 0 652123264 236777472 10911 33554432000 4194304 4650419 140734995126000 18446744073709551615 4364766 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0 /proc/4828/statm: 57807 10911 392 112 0 52772 0 [pid=4828/tid=4829] ppid=4826 vsize=231228 CPUtime=3.06 cores=1,3,5,7 /proc/4828/task/4829/stat : 4829 (strangenight1-m) R 4826 4828 4127 0 -1 4202560 3631 0 0 0 306 0 0 0 25 0 4 0 652123264 236777472 10911 33554432000 4194304 4650419 140734995126000 18446744073709551615 4365216 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=4828/tid=4830] ppid=4826 vsize=231228 CPUtime=3.09 cores=1,3,5,7 /proc/4828/task/4830/stat : 4830 (strangenight1-m) R 4826 4828 4127 0 -1 4202560 4880 0 0 0 309 0 0 0 25 0 4 0 652123264 236777472 10911 33554432000 4194304 4650419 140734995126000 18446744073709551615 4439636 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=4828/tid=4831] ppid=4826 vsize=231228 CPUtime=3.09 cores=1,3,5,7 /proc/4828/task/4831/stat : 4831 (strangenight1-m) R 4826 4828 4127 0 -1 4202560 4876 0 0 0 309 0 0 0 25 0 4 0 652123264 236777472 10911 33554432000 4194304 4650419 140734995126000 18446744073709551615 4370522 0 0 4096 2 0 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 12.35 Current children cumulated vsize (KiB) 231228 [startup+6.30041 s] /proc/loadavg: 4.24 6.11 7.28 10/289 4832 /proc/meminfo: memFree=18964924/32951132 swapFree=67093824/67111528 [pid=4828] ppid=4826 vsize=231948 CPUtime=25.12 cores=1,3,5,7 /proc/4828/stat : 4828 (strangenight1-m) R 4826 4828 4127 0 -1 4202496 26345 0 0 0 2508 4 0 0 25 0 4 0 652123264 237514752 13516 33554432000 4194304 4650419 140734995126000 18446744073709551615 4439103 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0 /proc/4828/statm: 57987 13516 392 112 0 52952 0 [pid=4828/tid=4829] ppid=4826 vsize=231948 CPUtime=6.23 cores=1,3,5,7 /proc/4828/task/4829/stat : 4829 (strangenight1-m) R 4826 4828 4127 0 -1 4202560 6600 0 0 0 623 0 0 0 25 0 4 0 652123264 237514752 13516 33554432000 4194304 4650419 140734995126000 18446744073709551615 4476514 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=4828/tid=4830] ppid=4826 vsize=231948 CPUtime=6.29 cores=1,3,5,7 /proc/4828/task/4830/stat : 4830 (strangenight1-m) R 4826 4828 4127 0 -1 4202560 6613 0 0 0 628 1 0 0 25 0 4 0 652123264 237514752 13516 33554432000 4194304 4650419 140734995126000 18446744073709551615 4366828 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=4828/tid=4831] ppid=4826 vsize=231948 CPUtime=6.29 cores=1,3,5,7 /proc/4828/task/4831/stat : 4831 (strangenight1-m) R 4826 4828 4127 0 -1 4202560 6970 0 0 0 628 1 0 0 25 0 4 0 652123264 237514752 13516 33554432000 4194304 4650419 140734995126000 18446744073709551615 4329428 0 0 4096 2 0 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 25.12 Current children cumulated vsize (KiB) 231948 [startup+12.7003 s] /proc/loadavg: 4.97 6.21 7.30 10/289 4833 /proc/meminfo: memFree=18923528/32951132 swapFree=67093824/67111528 [pid=4828] ppid=4826 vsize=220608 CPUtime=50.66 cores=1,3,5,7 /proc/4828/stat : 4828 (strangenight1-m) R 4826 4828 4127 0 -1 4202496 39770 0 0 0 5058 8 0 0 25 0 4 0 652123264 225902592 19843 33554432000 4194304 4650419 140734995126000 18446744073709551615 4367232 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0 /proc/4828/statm: 55152 19843 392 112 0 50117 0 [pid=4828/tid=4829] ppid=4826 vsize=220608 CPUtime=12.57 cores=1,3,5,7 /proc/4828/task/4829/stat : 4829 (strangenight1-m) R 4826 4828 4127 0 -1 4202560 9952 0 0 0 1256 1 0 0 25 0 4 0 652123264 225902592 19843 33554432000 4194304 4650419 140734995126000 18446744073709551615 4364775 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=4828/tid=4830] ppid=4826 vsize=220608 CPUtime=12.69 cores=1,3,5,7 /proc/4828/task/4830/stat : 4830 (strangenight1-m) R 4826 4828 4127 0 -1 4202560 10071 0 0 0 1267 2 0 0 25 0 4 0 652123264 225902592 19843 33554432000 4194304 4650419 140734995126000 18446744073709551615 4366923 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=4828/tid=4831] ppid=4826 vsize=220608 CPUtime=12.69 cores=1,3,5,7 /proc/4828/task/4831/stat : 4831 (strangenight1-m) R 4826 4828 4127 0 -1 4202560 10829 0 0 0 1267 2 0 0 25 0 4 0 652123264 225902592 19843 33554432000 4194304 4650419 140734995126000 18446744073709551615 4333593 0 0 4096 2 0 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 50.66 Current children cumulated vsize (KiB) 220608 [startup+25.5011 s] /proc/loadavg: 5.51 6.28 7.31 10/289 4833 /proc/meminfo: memFree=18879948/32951132 swapFree=67093824/67111528 [pid=4828] ppid=4826 vsize=295736 CPUtime=101.74 cores=1,3,5,7 /proc/4828/stat : 4828 (strangenight1-m) R 4826 4828 4127 0 -1 4202496 56662 0 0 0 10161 13 0 0 25 0 4 0 652123264 302833664 25397 33554432000 4194304 4650419 140734995126000 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0 /proc/4828/statm: 73934 25397 392 112 0 68899 0 [pid=4828/tid=4829] ppid=4826 vsize=295736 CPUtime=25.26 cores=1,3,5,7 /proc/4828/task/4829/stat : 4829 (strangenight1-m) R 4826 4828 4127 0 -1 4202560 14146 0 0 0 2524 2 0 0 25 0 4 0 652123264 302833664 25397 33554432000 4194304 4650419 140734995126000 18446744073709551615 4364775 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=4828/tid=4830] ppid=4826 vsize=295736 CPUtime=25.49 cores=1,3,5,7 /proc/4828/task/4830/stat : 4830 (strangenight1-m) R 4826 4828 4127 0 -1 4202560 15214 0 0 0 2546 3 0 0 25 0 4 0 652123264 302833664 25397 33554432000 4194304 4650419 140734995126000 18446744073709551615 4313064 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=4828/tid=4831] ppid=4826 vsize=295736 CPUtime=25.47 cores=1,3,5,7 /proc/4828/task/4831/stat : 4831 (strangenight1-m) R 4826 4828 4127 0 -1 4202560 15278 0 0 0 2544 3 0 0 25 0 4 0 652123264 302833664 25397 33554432000 4194304 4650419 140734995126000 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 101.74 Current children cumulated vsize (KiB) 295736 [startup+51.1007 s] /proc/loadavg: 6.36 6.42 7.33 10/289 4834 /proc/meminfo: memFree=18841216/32951132 swapFree=67093824/67111528 [pid=4828] ppid=4826 vsize=307280 CPUtime=203.91 cores=1,3,5,7 /proc/4828/stat : 4828 (strangenight1-m) R 4826 4828 4127 0 -1 4202496 82245 0 0 0 20369 22 0 0 25 0 4 0 652123264 314654720 30164 33554432000 4194304 4650419 140734995126000 18446744073709551615 4365357 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0 /proc/4828/statm: 76820 30164 392 112 0 71785 0 [pid=4828/tid=4829] ppid=4826 vsize=307280 CPUtime=50.87 cores=1,3,5,7 /proc/4828/task/4829/stat : 4829 (strangenight1-m) R 4826 4828 4127 0 -1 4202560 20288 0 0 0 5082 5 0 0 25 0 4 0 652123264 314654720 30164 33554432000 4194304 4650419 140734995126000 18446744073709551615 4476331 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=4828/tid=4830] ppid=4826 vsize=307280 CPUtime=51.08 cores=1,3,5,7 /proc/4828/task/4830/stat : 4830 (strangenight1-m) R 4826 4828 4127 0 -1 4202560 24155 0 0 0 5102 6 0 0 25 0 4 0 652123264 314654720 30164 33554432000 4194304 4650419 140734995126000 18446744073709551615 4366923 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=4828/tid=4831] ppid=4826 vsize=307280 CPUtime=50.84 cores=1,3,5,7 /proc/4828/task/4831/stat : 4831 (strangenight1-m) R 4826 4828 4127 0 -1 4202560 21309 0 0 0 5079 5 0 0 25 0 4 0 652123264 314654720 30164 33554432000 4194304 4650419 140734995126000 18446744073709551615 4366923 0 0 4096 2 0 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 203.91 Current children cumulated vsize (KiB) 307280 [startup+102.311 s] /proc/loadavg: 7.45 6.71 7.37 10/289 4835 /proc/meminfo: memFree=18790712/32951132 swapFree=67093824/67111528 [pid=4828] ppid=4826 vsize=260872 CPUtime=408.27 cores=1,3,5,7 /proc/4828/stat : 4828 (strangenight1-m) R 4826 4828 4127 0 -1 4202496 124727 0 0 0 40791 36 0 0 25 0 4 0 652123264 267132928 32210 33554432000 4194304 4650419 140734995126000 18446744073709551615 4366828 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0 /proc/4828/statm: 65218 32210 392 112 0 60183 0 [pid=4828/tid=4829] ppid=4826 vsize=260872 CPUtime=102.08 cores=1,3,5,7 /proc/4828/task/4829/stat : 4829 (strangenight1-m) R 4826 4828 4127 0 -1 4202560 31647 0 0 0 10199 9 0 0 25 0 4 0 652123264 267132928 32210 33554432000 4194304 4650419 140734995126000 18446744073709551615 4476331 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=4828/tid=4830] ppid=4826 vsize=260872 CPUtime=102.3 cores=1,3,5,7 /proc/4828/task/4830/stat : 4830 (strangenight1-m) R 4826 4828 4127 0 -1 4202560 35859 0 0 0 10221 9 0 0 25 0 4 0 652123264 267132928 32210 33554432000 4194304 4650419 140734995126000 18446744073709551615 4366923 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=4828/tid=4831] ppid=4826 vsize=260872 CPUtime=101.58 cores=1,3,5,7 /proc/4828/task/4831/stat : 4831 (strangenight1-m) R 4826 4828 4127 0 -1 4202560 33212 0 0 0 10148 10 0 0 25 0 4 0 652123264 267132928 32210 33554432000 4194304 4650419 140734995126000 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 408.27 Current children cumulated vsize (KiB) 260872 [startup+162.3 s] ################ # More data... # ################ [pid=4828] ppid=4826 vsize=467136 CPUtime=2563.29 cores=1,3,5,7 /proc/4828/stat : 4828 (strangenight1-m) R 4826 4828 4127 0 -1 4202496 353380 0 0 0 256181 148 0 0 25 0 4 0 652123264 478347264 80191 33554432000 4194304 4650419 140734995126000 18446744073709551615 4364736 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0 /proc/4828/statm: 116784 80191 392 112 0 111749 0 [pid=4828/tid=4829] ppid=4826 vsize=467136 CPUtime=642.09 cores=1,3,5,7 /proc/4828/task/4829/stat : 4829 (strangenight1-m) R 4826 4828 4127 0 -1 4202560 90925 0 0 0 64173 36 0 0 25 0 4 0 652123264 478347264 80191 33554432000 4194304 4650419 140734995126000 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=4828/tid=4830] ppid=4826 vsize=467136 CPUtime=642.31 cores=1,3,5,7 /proc/4828/task/4830/stat : 4830 (strangenight1-m) R 4826 4828 4127 0 -1 4202560 107615 0 0 0 64184 47 0 0 25 0 4 0 652123264 478347264 80191 33554432000 4194304 4650419 140734995126000 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=4828/tid=4831] ppid=4826 vsize=467136 CPUtime=636.62 cores=1,3,5,7 /proc/4828/task/4831/stat : 4831 (strangenight1-m) R 4826 4828 4127 0 -1 4202560 71669 0 0 0 63631 31 0 0 25 0 4 0 652123264 478347264 80191 33554432000 4194304 4650419 140734995126000 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 2563.29 Current children cumulated vsize (KiB) 467136 [startup+702.301 s] /proc/loadavg: 8.20 7.92 7.70 10/289 4851 /proc/meminfo: memFree=18352980/32951132 swapFree=67093824/67111528 [pid=4828] ppid=4826 vsize=467244 CPUtime=2802.73 cores=1,3,5,7 /proc/4828/stat : 4828 (strangenight1-m) R 4826 4828 4127 0 -1 4202496 362271 0 0 0 280119 154 0 0 25 0 4 0 652123264 478457856 83676 33554432000 4194304 4650419 140734995126000 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0 /proc/4828/statm: 116811 83676 392 112 0 111776 0 [pid=4828/tid=4829] ppid=4826 vsize=467244 CPUtime=702.09 cores=1,3,5,7 /proc/4828/task/4829/stat : 4829 (strangenight1-m) R 4826 4828 4127 0 -1 4202560 90925 0 0 0 70173 36 0 0 25 0 4 0 652123264 478457856 83676 33554432000 4194304 4650419 140734995126000 18446744073709551615 4476288 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=4828/tid=4830] ppid=4826 vsize=467244 CPUtime=702.3 cores=1,3,5,7 /proc/4828/task/4830/stat : 4830 (strangenight1-m) R 4826 4828 4127 0 -1 4202560 112855 0 0 0 70179 51 0 0 25 0 4 0 652123264 478457856 83676 33554432000 4194304 4650419 140734995126000 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=4828/tid=4831] ppid=4826 vsize=467244 CPUtime=696.07 cores=1,3,5,7 /proc/4828/task/4831/stat : 4831 (strangenight1-m) R 4826 4828 4127 0 -1 4202560 72115 0 0 0 69576 31 0 0 25 0 4 0 652123264 478457856 83676 33554432000 4194304 4650419 140734995126000 18446744073709551615 4476288 0 0 4096 2 0 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 2802.73 Current children cumulated vsize (KiB) 467244 [startup+762.31 s] /proc/loadavg: 8.13 7.95 7.72 9/289 4853 /proc/meminfo: memFree=18326048/32951132 swapFree=67093824/67111528 [pid=4828] ppid=4826 vsize=467348 CPUtime=3042.22 cores=1,3,5,7 /proc/4828/stat : 4828 (strangenight1-m) R 4826 4828 4127 0 -1 4202496 369107 0 0 0 304063 159 0 0 25 0 4 0 652123264 478564352 85038 33554432000 4194304 4650419 140734995126000 18446744073709551615 4365343 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0 /proc/4828/statm: 116837 85038 392 112 0 111802 0 [pid=4828/tid=4829] ppid=4826 vsize=467348 CPUtime=762.09 cores=1,3,5,7 /proc/4828/task/4829/stat : 4829 (strangenight1-m) R 4826 4828 4127 0 -1 4202560 91707 0 0 0 76172 37 0 0 25 0 4 0 652123264 478564352 85038 33554432000 4194304 4650419 140734995126000 18446744073709551615 4366865 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=4828/tid=4830] ppid=4826 vsize=467348 CPUtime=762.31 cores=1,3,5,7 /proc/4828/task/4830/stat : 4830 (strangenight1-m) R 4826 4828 4127 0 -1 4202560 118412 0 0 0 76177 54 0 0 25 0 4 0 652123264 478564352 85038 33554432000 4194304 4650419 140734995126000 18446744073709551615 4313064 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=4828/tid=4831] ppid=4826 vsize=467348 CPUtime=755.53 cores=1,3,5,7 /proc/4828/task/4831/stat : 4831 (strangenight1-m) R 4826 4828 4127 0 -1 4202560 72121 0 0 0 75522 31 0 0 25 0 4 0 652123264 478564352 85038 33554432000 4194304 4650419 140734995126000 18446744073709551615 4476315 0 0 4096 2 0 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 3042.22 Current children cumulated vsize (KiB) 467348 [startup+822.301 s] /proc/loadavg: 8.10 7.97 7.74 10/289 4854 /proc/meminfo: memFree=18345128/32951132 swapFree=67093824/67111528 [pid=4828] ppid=4826 vsize=443668 CPUtime=3281.64 cores=1,3,5,7 /proc/4828/stat : 4828 (strangenight1-m) R 4826 4828 4127 0 -1 4202496 382437 0 0 0 327997 167 0 0 25 0 4 0 652123264 454316032 80122 33554432000 4194304 4650419 140734995126000 18446744073709551615 4441740 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0 /proc/4828/statm: 110917 80122 392 112 0 105882 0 [pid=4828/tid=4829] ppid=4826 vsize=443668 CPUtime=822.09 cores=1,3,5,7 /proc/4828/task/4829/stat : 4829 (strangenight1-m) R 4826 4828 4127 0 -1 4202560 94375 0 0 0 82170 39 0 0 25 0 4 0 652123264 454316032 80122 33554432000 4194304 4650419 140734995126000 18446744073709551615 4364751 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=4828/tid=4830] ppid=4826 vsize=443668 CPUtime=822.3 cores=1,3,5,7 /proc/4828/task/4830/stat : 4830 (strangenight1-m) R 4826 4828 4127 0 -1 4202560 124143 0 0 0 82173 57 0 0 25 0 4 0 652123264 454316032 80122 33554432000 4194304 4650419 140734995126000 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=4828/tid=4831] ppid=4826 vsize=443668 CPUtime=814.99 cores=1,3,5,7 /proc/4828/task/4831/stat : 4831 (strangenight1-m) R 4826 4828 4127 0 -1 4202560 74646 0 0 0 81466 33 0 0 25 0 4 0 652123264 454316032 80122 33554432000 4194304 4650419 140734995126000 18446744073709551615 4365325 0 0 4096 2 0 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 3281.64 Current children cumulated vsize (KiB) 443668 [startup+882.301 s] /proc/loadavg: 8.15 8.00 7.77 10/289 4856 /proc/meminfo: memFree=18347104/32951132 swapFree=67093824/67111528 [pid=4828] ppid=4826 vsize=455780 CPUtime=3521.08 cores=1,3,5,7 /proc/4828/stat : 4828 (strangenight1-m) R 4826 4828 4127 0 -1 4202496 391555 0 0 0 351934 174 0 0 25 0 4 0 652123264 466718720 83924 33554432000 4194304 4650419 140734995126000 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0 /proc/4828/statm: 113945 83924 392 112 0 108910 0 [pid=4828/tid=4829] ppid=4826 vsize=455780 CPUtime=882.09 cores=1,3,5,7 /proc/4828/task/4829/stat : 4829 (strangenight1-m) R 4826 4828 4127 0 -1 4202560 96944 0 0 0 88168 41 0 0 25 0 4 0 652123264 466718720 83924 33554432000 4194304 4650419 140734995126000 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=4828/tid=4830] ppid=4826 vsize=455780 CPUtime=882.3 cores=1,3,5,7 /proc/4828/task/4830/stat : 4830 (strangenight1-m) R 4826 4828 4127 0 -1 4202560 125416 0 0 0 88172 58 0 0 25 0 4 0 652123264 466718720 83924 33554432000 4194304 4650419 140734995126000 18446744073709551615 4366879 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=4828/tid=4831] ppid=4826 vsize=455780 CPUtime=874.44 cores=1,3,5,7 /proc/4828/task/4831/stat : 4831 (strangenight1-m) R 4826 4828 4127 0 -1 4202560 79883 0 0 0 87406 38 0 0 25 0 4 0 652123264 466718720 83924 33554432000 4194304 4650419 140734995126000 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 3521.08 Current children cumulated vsize (KiB) 455780 [startup+942.3 s] /proc/loadavg: 8.21 8.04 7.79 9/289 4857 /proc/meminfo: memFree=18322664/32951132 swapFree=67093824/67111528 [pid=4828] ppid=4826 vsize=444424 CPUtime=3760.54 cores=1,3,5,7 /proc/4828/stat : 4828 (strangenight1-m) R 4826 4828 4127 0 -1 4202496 399538 0 0 0 375875 179 0 0 25 0 4 0 652123264 455090176 88762 33554432000 4194304 4650419 140734995126000 18446744073709551615 4365321 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0 /proc/4828/statm: 111106 88762 392 112 0 106071 0 [pid=4828/tid=4829] ppid=4826 vsize=444424 CPUtime=942.08 cores=1,3,5,7 /proc/4828/task/4829/stat : 4829 (strangenight1-m) R 4826 4828 4127 0 -1 4202560 100109 0 0 0 94166 42 0 0 25 0 4 0 652123264 455090176 88762 33554432000 4194304 4650419 140734995126000 18446744073709551615 4476304 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=4828/tid=4830] ppid=4826 vsize=444424 CPUtime=942.31 cores=1,3,5,7 /proc/4828/task/4830/stat : 4830 (strangenight1-m) R 4826 4828 4127 0 -1 4202560 126015 0 0 0 94172 59 0 0 25 0 4 0 652123264 455090176 88762 33554432000 4194304 4650419 140734995126000 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=4828/tid=4831] ppid=4826 vsize=444424 CPUtime=933.9 cores=1,3,5,7 /proc/4828/task/4831/stat : 4831 (strangenight1-m) R 4826 4828 4127 0 -1 4202560 80865 0 0 0 93351 39 0 0 25 0 4 0 652123264 455090176 88762 33554432000 4194304 4650419 140734995126000 18446744073709551615 4364736 0 0 4096 2 0 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 3760.54 Current children cumulated vsize (KiB) 444424 [startup+1002.3 s] /proc/loadavg: 8.13 8.05 7.81 10/289 4859 /proc/meminfo: memFree=18307884/32951132 swapFree=67093824/67111528 [pid=4828] ppid=4826 vsize=470240 CPUtime=4000 cores=1,3,5,7 /proc/4828/stat : 4828 (strangenight1-m) R 4826 4828 4127 0 -1 4202496 407850 0 0 0 399817 183 0 0 25 0 4 0 652123264 481525760 90718 33554432000 4194304 4650419 140734995126000 18446744073709551615 4365289 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0 /proc/4828/statm: 117560 90718 392 112 0 112525 0 [pid=4828/tid=4829] ppid=4826 vsize=470240 CPUtime=1002.08 cores=1,3,5,7 /proc/4828/task/4829/stat : 4829 (strangenight1-m) R 4826 4828 4127 0 -1 4202560 100178 0 0 0 100166 42 0 0 25 0 4 0 652123264 481525760 90718 33554432000 4194304 4650419 140734995126000 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=4828/tid=4830] ppid=4826 vsize=470240 CPUtime=1002.31 cores=1,3,5,7 /proc/4828/task/4830/stat : 4830 (strangenight1-m) R 4826 4828 4127 0 -1 4202560 129188 0 0 0 100170 61 0 0 25 0 4 0 652123264 481525760 90718 33554432000 4194304 4650419 140734995126000 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=4828/tid=4831] ppid=4826 vsize=470240 CPUtime=993.35 cores=1,3,5,7 /proc/4828/task/4831/stat : 4831 (strangenight1-m) R 4826 4828 4127 0 -1 4202560 81183 0 0 0 99296 39 0 0 25 0 4 0 652123264 481525760 90718 33554432000 4194304 4650419 140734995126000 18446744073709551615 4433059 0 0 4096 2 0 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 4000 Current children cumulated vsize (KiB) 470240 [startup+1062.3 s] /proc/loadavg: 8.09 8.05 7.82 10/289 4861 /proc/meminfo: memFree=18304004/32951132 swapFree=67093824/67111528 [pid=4828] ppid=4826 vsize=457508 CPUtime=4239.45 cores=1,3,5,7 /proc/4828/stat : 4828 (strangenight1-m) R 4826 4828 4127 0 -1 4202496 416744 0 0 0 423757 188 0 0 25 0 4 0 652123264 468488192 90981 33554432000 4194304 4650419 140734995126000 18446744073709551615 4364751 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0 /proc/4828/statm: 114377 90981 392 112 0 109342 0 [pid=4828/tid=4829] ppid=4826 vsize=457508 CPUtime=1062.09 cores=1,3,5,7 /proc/4828/task/4829/stat : 4829 (strangenight1-m) R 4826 4828 4127 0 -1 4202560 100178 0 0 0 106167 42 0 0 25 0 4 0 652123264 468488192 90981 33554432000 4194304 4650419 140734995126000 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=4828/tid=4830] ppid=4826 vsize=457508 CPUtime=1062.31 cores=1,3,5,7 /proc/4828/task/4830/stat : 4830 (strangenight1-m) R 4826 4828 4127 0 -1 4202560 134159 0 0 0 106167 64 0 0 25 0 4 0 652123264 468488192 90981 33554432000 4194304 4650419 140734995126000 18446744073709551615 4365252 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=4828/tid=4831] ppid=4826 vsize=457508 CPUtime=1052.81 cores=1,3,5,7 /proc/4828/task/4831/stat : 4831 (strangenight1-m) R 4826 4828 4127 0 -1 4202560 81183 0 0 0 105242 39 0 0 25 0 4 0 652123264 468488192 90981 33554432000 4194304 4650419 140734995126000 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 4239.45 Current children cumulated vsize (KiB) 457508 [startup+1122.3 s] /proc/loadavg: 8.08 8.06 7.84 10/289 4862 /proc/meminfo: memFree=18262700/32951132 swapFree=67093824/67111528 [pid=4828] ppid=4826 vsize=523100 CPUtime=4478.9 cores=1,3,5,7 /proc/4828/stat : 4828 (strangenight1-m) R 4826 4828 4127 0 -1 4202496 428198 0 0 0 447696 194 0 0 25 0 4 0 652123264 535654400 90495 33554432000 4194304 4650419 140734995126000 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0 /proc/4828/statm: 130775 90495 392 112 0 125740 0 [pid=4828/tid=4829] ppid=4826 vsize=523100 CPUtime=1122.09 cores=1,3,5,7 /proc/4828/task/4829/stat : 4829 (strangenight1-m) R 4826 4828 4127 0 -1 4202560 100862 0 0 0 112166 43 0 0 25 0 4 0 652123264 535654400 90495 33554432000 4194304 4650419 140734995126000 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=4828/tid=4830] ppid=4826 vsize=523100 CPUtime=1122.31 cores=1,3,5,7 /proc/4828/task/4830/stat : 4830 (strangenight1-m) R 4826 4828 4127 0 -1 4202560 139958 0 0 0 112165 66 0 0 25 0 4 0 652123264 535654400 90495 33554432000 4194304 4650419 140734995126000 18446744073709551615 4433093 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=4828/tid=4831] ppid=4826 vsize=523100 CPUtime=1112.25 cores=1,3,5,7 /proc/4828/task/4831/stat : 4831 (strangenight1-m) R 4826 4828 4127 0 -1 4202560 81193 0 0 0 111186 39 0 0 25 0 4 0 652123264 535654400 90495 33554432000 4194304 4650419 140734995126000 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 4478.9 Current children cumulated vsize (KiB) 523100 [startup+1182.3 s] /proc/loadavg: 8.11 8.07 7.85 10/289 4864 /proc/meminfo: memFree=18281524/32951132 swapFree=67093824/67111528 [pid=4828] ppid=4826 vsize=490432 CPUtime=4718.32 cores=1,3,5,7 /proc/4828/stat : 4828 (strangenight1-m) R 4826 4828 4127 0 -1 4202496 440112 0 0 0 471631 201 0 0 25 0 4 0 652123264 502202368 85392 33554432000 4194304 4650419 140734995126000 18446744073709551615 4367232 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0 /proc/4828/statm: 122608 85392 392 112 0 117573 0 [pid=4828/tid=4829] ppid=4826 vsize=490432 CPUtime=1182.09 cores=1,3,5,7 /proc/4828/task/4829/stat : 4829 (strangenight1-m) R 4826 4828 4127 0 -1 4202560 103678 0 0 0 118164 45 0 0 25 0 4 0 652123264 502202368 85392 33554432000 4194304 4650419 140734995126000 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=4828/tid=4830] ppid=4826 vsize=490432 CPUtime=1182.31 cores=1,3,5,7 /proc/4828/task/4830/stat : 4830 (strangenight1-m) R 4826 4828 4127 0 -1 4202560 144654 0 0 0 118164 67 0 0 25 0 4 0 652123264 502202368 85392 33554432000 4194304 4650419 140734995126000 18446744073709551615 4476315 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=4828/tid=4831] ppid=4826 vsize=490432 CPUtime=1171.66 cores=1,3,5,7 /proc/4828/task/4831/stat : 4831 (strangenight1-m) R 4826 4828 4127 0 -1 4202560 81290 0 0 0 117127 39 0 0 25 0 4 0 652123264 502202368 85392 33554432000 4194304 4650419 140734995126000 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 4718.32 Current children cumulated vsize (KiB) 490432 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1202.8 s] /proc/loadavg: 8.15 8.08 7.86 9/289 4864 /proc/meminfo: memFree=18279784/32951132 swapFree=67093824/67111528 [pid=4828] ppid=4826 vsize=503540 CPUtime=4800.14 cores=1,3,5,7 /proc/4828/stat : 4828 (strangenight1-m) R 4826 4828 4127 0 -1 4202496 448365 0 0 0 479809 205 0 0 25 0 4 0 652123264 515624960 90410 33554432000 4194304 4650419 140734995126000 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0 /proc/4828/statm: 125885 90410 392 112 0 120850 0 [pid=4828/tid=4829] ppid=4826 vsize=503540 CPUtime=1202.61 cores=1,3,5,7 /proc/4828/task/4829/stat : 4829 (strangenight1-m) R 4826 4828 4127 0 -1 4202560 105980 0 0 0 120214 47 0 0 25 0 4 0 652123264 515624960 90410 33554432000 4194304 4650419 140734995126000 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=4828/tid=4830] ppid=4826 vsize=503540 CPUtime=1202.82 cores=1,3,5,7 /proc/4828/task/4830/stat : 4830 (strangenight1-m) R 4826 4828 4127 0 -1 4202560 148279 0 0 0 120214 68 0 0 25 0 4 0 652123264 515624960 90410 33554432000 4194304 4650419 140734995126000 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=4828/tid=4831] ppid=4826 vsize=503540 CPUtime=1191.97 cores=1,3,5,7 /proc/4828/task/4831/stat : 4831 (strangenight1-m) R 4826 4828 4127 0 -1 4202560 81290 0 0 0 119158 39 0 0 25 0 4 0 652123264 515624960 90410 33554432000 4194304 4650419 140734995126000 18446744073709551615 4364772 0 0 4096 2 0 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 4800.14 Current children cumulated vsize (KiB) 503540 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): 1202.84 CPU time (s): 4800.21 CPU user time (s): 4798.14 CPU system time (s): 2.07568 CPU usage (%): 399.075 Max. virtual memory (cumulated for all children) (KiB): 588636 getrusage(RUSAGE_CHILDREN,...) data: user time used= 4798.14 system time used= 2.07568 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 448366 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= 413 involuntary context switches= 34764 runsolver used 2.90356 second user time and 8.17576 second system time The end
Begin job on node131 at 2011-05-14 22:33:56 IDJOB=3368879 IDBENCH=82888 IDSOLVER=1846 FILE ID=node131/3368879-1305405236 RUNJOBID= node131-1305405236-4806 PBS_JOBID= 13324467 Free space on /tmp= 73684 MiB SOLVER NAME= CryptoMiniSat Strange-Night-1-mt (fixed) BENCH NAME= SAT11/random/medium/unif-k7-r89-v70-c6230-S1335110382-066.SATISFIABLE.cnf COMMAND LINE= ./strangenight1-mt --threads=NBCORE BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3368879-1305405236/watcher-3368879-1305405236 -o /tmp/evaluation-result-3368879-1305405236/solver-3368879-1305405236 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3368879-1305405236.cnf TIME LIMIT= 4800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= a5daafd605bd47234b7e5aaf0173eab8 RANDOM SEED=914814588 node131.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.830 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.830 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.75 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.830 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.83 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.830 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.830 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.830 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.830 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.830 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.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951132 kB MemFree: 19062968 kB Buffers: 271816 kB Cached: 3639152 kB SwapCached: 1504 kB Active: 10567948 kB Inactive: 3064252 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951132 kB LowFree: 19062968 kB SwapTotal: 67111528 kB SwapFree: 67093824 kB Dirty: 12488 kB Writeback: 0 kB AnonPages: 9719696 kB Mapped: 26724 kB Slab: 163788 kB PageTables: 31108 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587092 kB Committed_AS: 28082688 kB VmallocTotal: 34359738367 kB VmallocUsed: 296000 kB VmallocChunk: 34359440975 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 73676 MiB End job on node131 at 2011-05-14 22:54:01