| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| CryptoMiniSat Strange-Night-2-mt (fixed) | ? (TO) | 4800.39 | 1202.86 |
| Name | crafted/anton/SRHD-SGI/ srhd-sgi-m32-q369.75-n30-p15-s59317012.cnf |
| MD5SUM | 02e75ad23aeadbf30b2a4fb3c21ae723 |
| Bench Category | CRAFTED (crafted instances) |
| Best result obtained on this benchmark | SAT |
| Best CPU time to get the best result obtained on this benchmark | 0.466928 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 894 |
| Number of clauses | 82294 |
| Sum of the clauses size | 165422 |
| Maximum clause length | 32 |
| Minimum clause length | 2 |
| Number of clauses of size 1 | 0 |
| Number of clauses of size 2 | 82264 |
| 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 | 30 |
0.00/0.00 c Outputting solution to console 0.00/0.01 c Using 4 threads 0.00/0.01 c This is CryptoMiniSat 3.0.0 0.00/0.01 c WARNING: for repeatability, setting FPU to use double precision 0.00/0.01 c Reading file 'HOME/instance-3366876-1305433718.cnf' 0.00/0.01 c -- header says num vars: 894 0.00/0.01 c -- header says num clauses: 82294 0.00/0.02 c -- clauses added: 0 learnts, 82294 normals, 0 xors 0.00/0.02 c -- vars added 894 0.00/0.02 c Parsing time: 0.01 s 0.00/0.02 c N st 0 0 894 30 82264 0 165422 0 no data no data 0.00/0.02 c asymm cl-useful: 0/30/30 lits-rem:0 time: 0.00 0.00/0.05 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.5M T: 0.01 0.00/0.05 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s 0.00/0.05 c bin-w-bin subsume rem 0 bins time: 0.01 s 0.00/0.05 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.01 s 0.00/0.07 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 894 time: 0.01 s 0.00/0.07 c Removed useless bin: 0 fixed: 0 props: 0.41M time: 0.01 s 0.00/0.21 c lits-rem: 1284 cl-subs: 0 v-elim: 30 v-fix: 0 time: 0.05 s 0.00/0.21 c Finding binary XORs T: 0.00 s found: 0 0.00/0.21 c Finding non-binary XORs: 0.00 s (found: 0, avg size: nan) 0.00/0.21 c calculated reachability. Time: 0.00 0.00/0.21 c Calc default polars - time: 0.00 s pos: 0 undec: 30 neg: 864 0.00/0.21 c ========================================================================================= 0.00/0.21 c types(t): F = full restart, N = normal restart 0.00/0.21 c types(t): S = simplification begin/end, E = solution found 0.00/0.21 c restart types(rt): st = static, dy = dynamic 0.00/0.21 c t rt Rest Confl Vars NormCls BinCls Learnts ClLits LtLits 0.00/0.21 c B st 0 0 864 3096 78304 0 257922 0 no data no data 0.00/0.50 c N dy 9 4166 864 3096 78304 4019 257922 425981 11.92 12.58 0.00/0.81 c N dy 27 8429 864 3096 78304 5757 257922 513420 11.29 12.00 4.33/1.31 c N dy 47 13372 864 3096 78304 6431 257922 558191 11.30 11.90 7.59/1.99 c N dy 67 18773 864 3096 78304 6235 257922 430031 11.18 11.80 9.16/2.35 c N dy 83 22788 864 3096 78304 10183 257922 791028 11.14 12.88 10.36/2.62 c F st 90 25000 864 3096 78304 12324 257922 1014411 11.10 10.40 11.16/2.86 c N st 94 27032 864 3096 78304 7651 257922 542726 11.10 no data 12.75/3.22 c S st 96 30000 864 3096 78304 10552 257922 881334 11.10 no data 12.75/3.27 c S st 96 30503 864 3096 78304 11052 257922 919907 11.10 no data 12.75/3.27 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.00 13.55/3.48 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 10.6M T: 0.20 13.55/3.48 c blocked clauses removed: 0 vars: 0 tried: 864 T: 0.00 s 13.55/3.49 c bin-w-bin subsume rem 0 bins time: 0.01 s 16.78/4.29 c subs with bin: 0 lits-rem: 18958 v-fix: 0 time: 0.80 s 16.78/4.29 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 864 time: 0.01 s 17.14/4.30 c Removed useless bin: 0 fixed: 0 props: 0.39M time: 0.01 s 17.14/4.32 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.02 s 22.33/5.66 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 1.31 s 28.32/7.15 c lits-rem: 2058 cl-subs: 550 v-elim: 0 v-fix: 0 time: 1.48 s 29.12/7.35 c asymm cl-useful: 0/1418/3096 lits-rem:0 time: 0.20 29.12/7.35 c calculated reachability. Time: 0.00 29.12/7.35 c N dy 96 30503 864 3096 78304 10502 238964 886090 11.10 no data 31.12/7.88 c N dy 110 34603 864 3096 78304 14510 238964 1252968 10.94 11.52 33.12/8.38 c N dy 125 38977 864 3096 78304 11075 238964 817140 10.85 11.43 35.91/9.03 c N dy 156 43220 864 3096 78304 15211 238964 1233208 11.07 11.69 37.51/9.49 c S st 167 45756 864 3096 78304 8943 238964 541961 11.03 11.04 37.91/9.54 c S st 167 46258 864 3096 78304 9444 238964 580204 11.03 no data 37.91/9.54 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.00 38.74/9.71 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 8.9M T: 0.17 38.74/9.71 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s 38.74/9.72 c bin-w-bin subsume rem 0 bins time: 0.01 s 41.10/10.31 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.59 s 41.10/10.32 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 864 time: 0.01 s 41.10/10.32 c Removed useless bin: 0 fixed: 0 props: 0.39M time: 0.01 s 41.10/10.33 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.01 s 46.29/11.66 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 1.32 s 47.10/11.86 c lits-rem: 143 cl-subs: 123 v-elim: 0 v-fix: 0 time: 0.19 s 47.10/11.86 c vivif2 -- cl tried 3096 cl shrink 0 lits rem 0 time: 0.00 47.10/11.87 c vivif2 -- cl tried 9321 cl shrink 0 lits rem 0 time: 0.01 47.88/12.06 c asymm cl-useful: 0/1487/3096 lits-rem:0 time: 0.19 47.88/12.06 c calculated reachability. Time: 0.00 47.88/12.06 c N dy 167 46258 864 3096 78304 9321 238964 576347 11.03 no data 49.88/12.52 c N dy 181 50588 864 3096 78304 13536 238964 995480 10.96 11.66 52.67/13.22 c N dy 199 54754 864 3096 78304 17571 238964 1344254 11.04 11.69 55.07/13.87 c N dy 214 58788 864 3096 78305 11759 238964 764626 11.03 11.63 57.46/14.41 c N dy 238 62797 864 3096 78305 15679 238964 1122934 11.15 11.89 60.28/15.18 c N dy 257 67297 864 3096 78305 20057 238964 1485671 11.15 11.81 61.85/15.54 c S st 264 69387 864 3096 78305 11406 238964 701809 11.12 no data 61.85/15.60 c S st 264 69890 864 3096 78305 11904 238964 739159 11.12 no data 62.25/15.60 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.00 63.05/15.81 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 10.0M T: 0.21 63.05/15.81 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s 63.05/15.82 c bin-w-bin subsume rem 0 bins time: 0.01 s 65.44/16.42 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.60 s 65.44/16.43 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 864 time: 0.01 s 65.44/16.43 c Removed useless bin: 0 fixed: 0 props: 0.39M time: 0.01 s 65.44/16.44 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.01 s 71.04/17.82 c subs with bin: 424 lits-rem: 9 v-fix: 0 time: 1.37 s 72.64/18.22 c lits-rem: 253 cl-subs: 213 v-elim: 0 v-fix: 0 time: 0.39 s 72.64/18.22 c vivif2 -- cl tried 3096 cl shrink 0 lits rem 0 time: 0.00 72.64/18.23 c vivif2 -- cl tried 11267 cl shrink 0 lits rem 0 time: 0.01 73.46/18.46 c asymm cl-useful: 0/1467/3096 lits-rem:0 time: 0.23 73.46/18.46 c calculated reachability. Time: 0.00 73.46/18.46 c N dy 264 69890 864 3096 78305 11267 238964 727337 11.12 no data 75.42/18.99 c N dy 277 74350 864 3096 78305 15596 238964 1105086 11.07 15.16 78.62/19.72 c N dy 291 79380 864 3096 78305 20502 238964 1591493 11.04 11.65 81.81/20.53 c N dy 313 84480 864 3096 78306 13801 238964 887630 11.03 11.90 83.40/20.94 c F st 330 87502 864 3096 78306 16736 238964 1152372 11.10 9.62 85.41/21.49 c N st 335 90801 864 3096 78306 19936 238964 1436640 11.10 no data 89.79/22.59 c N dy 358 96874 864 3096 78306 13200 238964 827996 11.17 11.89 93.79/23.54 c N dy 390 103144 864 3096 78308 19299 238964 1405747 11.27 12.91 94.99/23.83 c S st 396 104835 864 3096 78308 20913 238964 1541067 11.27 10.81 95.41/23.92 c S st 396 105338 864 3096 78308 21414 238964 1581897 11.27 no data 95.41/23.92 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.00 96.58/24.26 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 16.0M T: 0.33 96.58/24.26 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s 96.58/24.27 c bin-w-bin subsume rem 0 bins time: 0.01 s 98.97/24.86 c subs with bin: 0 lits-rem: 1 v-fix: 0 time: 0.59 s 98.97/24.86 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 864 time: 0.01 s 98.97/24.87 c Removed useless bin: 0 fixed: 0 props: 0.39M time: 0.01 s 98.97/24.88 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.01 s 104.96/26.38 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 1.46 s 116.55/29.29 c lits-rem: 713 cl-subs: 785 v-elim: 0 v-fix: 0 time: 2.91 s 116.55/29.29 c vivif2 -- cl tried 3096 cl shrink 0 lits rem 0 time: 0.00 116.94/29.32 c vivif2 -- cl tried 20629 cl shrink 49 lits rem 53 time: 0.03 117.77/29.54 c asymm cl-useful: 0/996/3096 lits-rem:0 time: 0.22 117.77/29.54 c calculated reachability. Time: 0.00 117.77/29.54 c N dy 396 105338 864 3096 78308 20629 238963 1553133 11.27 no data 124.92/31.32 c N dy 436 112930 864 3096 78309 14426 238963 940038 11.33 11.95 129.31/32.46 c N dy 463 120152 864 3096 78309 21438 238963 1594340 11.29 11.89 136.49/34.25 c N dy 497 128329 864 3096 78309 14797 238963 906481 11.31 11.92 142.49/35.77 c N dy 526 137943 864 3096 78309 24146 238963 1753612 11.25 11.86 149.27/37.41 c N dy 550 147021 864 3096 78309 17438 238963 1009182 11.18 11.78 155.65/39.05 c N dy 588 156479 864 3096 78310 26613 238963 1815023 11.17 20.29 157.28/39.48 c S st 600 158008 864 3096 78310 28098 238963 1939636 11.21 no data 157.65/39.59 c S st 600 158510 864 3096 78310 28599 238963 1974824 11.21 no data 157.65/39.59 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01 159.65/40.03 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 19.2M T: 0.43 159.65/40.03 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s 159.65/40.04 c bin-w-bin subsume rem 0 bins time: 0.01 s 162.04/40.63 c subs with bin: 0 lits-rem: 1 v-fix: 0 time: 0.59 s 162.04/40.63 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 864 time: 0.01 s 162.04/40.64 c Removed useless bin: 0 fixed: 0 props: 0.39M time: 0.01 s 162.04/40.65 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.01 s 169.63/42.52 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 1.82 s 190.77/47.80 c lits-rem: 1364 cl-subs: 1077 v-elim: 0 v-fix: 0 time: 5.28 s 190.77/47.80 c vivif2 -- cl tried 3096 cl shrink 0 lits rem 0 time: 0.00 190.77/47.84 c vivif2 -- cl tried 27522 cl shrink 175 lits rem 175 time: 0.03 191.58/48.09 c asymm cl-useful: 0/553/3096 lits-rem:0 time: 0.25 191.58/48.09 c calculated reachability. Time: 0.00 191.58/48.09 c N dy 600 158510 864 3096 78310 27522 238962 1936374 11.21 no data 201.19/50.42 c N dy 647 169420 864 3096 78310 21606 238962 1368714 11.22 11.85 211.13/52.95 c N dy 705 180253 864 3096 78310 32161 238962 2315249 11.28 11.87 219.51/55.03 c N dy 738 191841 864 3096 78310 25938 238962 1693867 11.23 16.97 230.29/57.72 c N dy 786 204777 864 3096 78310 20037 238962 1076475 11.21 11.88 239.87/60.10 c N dy 835 217915 864 3096 78310 32807 238962 2218026 11.20 11.84 251.45/63.09 c N dy 907 232140 864 3096 78310 27215 238962 1620976 11.24 11.85 256.24/64.25 c S st 932 237765 864 3096 78310 32684 238962 2097404 11.24 7.13 256.65/64.36 c S st 932 238267 864 3096 78310 33183 238962 2137551 11.24 no data 256.65/64.36 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01 259.03/64.92 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 20.8M T: 0.55 259.03/64.92 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s 259.03/64.93 c bin-w-bin subsume rem 0 bins time: 0.01 s 261.43/65.52 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.59 s 261.43/65.52 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 864 time: 0.01 s 261.43/65.53 c Removed useless bin: 0 fixed: 0 props: 0.39M time: 0.01 s 261.43/65.55 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.01 s 267.41/67.00 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 1.40 s 293.76/73.63 c lits-rem: 1454 cl-subs: 1184 v-elim: 0 v-fix: 0 time: 6.62 s 293.76/73.63 c vivif2 -- cl tried 3096 cl shrink 0 lits rem 0 time: 0.00 293.76/73.67 c vivif2 -- cl tried 31999 cl shrink 0 lits rem 0 time: 0.04 294.96/73.91 c asymm cl-useful: 0/883/3096 lits-rem:0 time: 0.24 294.96/73.91 c calculated reachability. Time: 0.00 294.96/73.91 c N dy 932 238267 864 3096 78310 31999 238962 2100704 11.24 no data 308.53/77.32 c N dy 1004 253519 864 3096 78311 26368 238962 1558126 11.29 12.04 322.90/80.99 c N dy 1079 269967 864 3096 78311 42314 238962 2837081 11.31 12.05 337.30/84.53 c N dy 1160 287261 864 3096 78311 37648 238962 2383283 11.33 13.81 352.84/88.40 c N dy 1232 305621 864 3096 78311 33184 238962 1904863 11.33 15.24 353.24/88.55 c F st 1238 306250 864 3096 78311 33794 238962 1964486 11.33 no data 370.00/92.76 c N dy 1298 325183 864 3096 78312 28929 238962 1493225 11.33 12.03 390.35/97.83 c N dy 1391 345702 864 3096 78313 24557 238962 1111466 11.36 11.97 398.77/99.97 c S st 1453 357401 864 3096 78313 35908 238962 2097944 11.39 11.37 399.13/100.09 c S st 1453 357901 864 3096 78313 36404 238962 2130981 11.39 no data 399.54/100.10 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01 401.54/100.65 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 21.4M T: 0.55 401.54/100.65 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s 401.54/100.66 c bin-w-bin subsume rem 0 bins time: 0.01 s 403.92/101.25 c subs with bin: 0 lits-rem: 1 v-fix: 0 time: 0.59 s 403.92/101.25 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 864 time: 0.01 s 403.92/101.26 c Removed useless bin: 0 fixed: 0 props: 0.39M time: 0.01 s 403.92/101.28 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.02 s 410.72/102.95 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 1.63 s 436.66/109.40 c lits-rem: 1738 cl-subs: 1426 v-elim: 0 v-fix: 0 time: 6.45 s 436.66/109.40 c vivif2 -- cl tried 3096 cl shrink 0 lits rem 0 time: 0.00 436.66/109.44 c vivif2 -- cl tried 34978 cl shrink 104 lits rem 122 time: 0.04 437.46/109.68 c asymm cl-useful: 0/526/3096 lits-rem:0 time: 0.24 437.46/109.68 c calculated reachability. Time: 0.00 437.46/109.68 c N dy 1453 357901 864 3096 78313 34978 238961 2094041 11.39 no data 456.61/114.43 c N dy 1538 378023 864 3096 78315 29319 238961 1519634 11.43 12.24 474.18/118.89 c N dy 1603 398730 864 3096 78319 49372 238961 3153464 11.40 12.03 491.35/123.12 c N dy 1696 418801 864 3096 78319 42689 238961 2511405 11.43 22.30 508.55/127.48 c N dy 1757 438886 864 3096 78320 35025 238961 1843496 11.40 20.44 529.27/132.65 c N dy 1845 459102 864 3096 78320 54639 238961 3432509 11.41 12.05 546.44/136.91 c N dy 1924 479372 864 3096 78323 46153 238961 2614022 11.40 12.18 565.99/141.80 c N dy 2000 499877 864 3096 78323 36914 238961 1816849 11.39 12.09 585.55/146.77 c N dy 2091 520264 864 3096 78324 56701 238961 3429485 11.42 12.04 601.51/150.75 c S st 2174 536853 864 3096 78324 42761 238961 2245568 11.45 9.78 601.91/150.88 c S st 2174 537356 864 3096 78324 43263 238961 2285848 11.45 no data 601.91/150.89 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01 604.74/151.52 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 23.2M T: 0.63 604.74/151.52 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s 604.74/151.53 c bin-w-bin subsume rem 0 bins time: 0.01 s 607.11/152.13 c subs with bin: 0 lits-rem: 1 v-fix: 0 time: 0.60 s 607.11/152.13 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 864 time: 0.01 s 607.11/152.14 c Removed useless bin: 0 fixed: 0 props: 0.39M time: 0.01 s 607.11/152.16 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.02 s 613.52/153.80 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 1.59 s 643.04/161.12 c lits-rem: 2307 cl-subs: 2973 v-elim: 0 v-fix: 0 time: 7.32 s 643.04/161.12 c vivif2 -- cl tried 3096 cl shrink 0 lits rem 0 time: 0.00 643.04/161.17 c vivif2 -- cl tried 40290 cl shrink 394 lits rem 420 time: 0.05 644.26/161.43 c asymm cl-useful: 0/422/3096 lits-rem:0 time: 0.26 644.26/161.43 c calculated reachability. Time: 0.00 644.26/161.43 c N dy 2174 537356 864 3096 78324 40290 238960 2231619 11.45 no data 668.19/167.47 c N dy 2283 557746 864 3096 78328 59985 238960 3829619 11.51 12.26 685.75/171.89 c N dy 2364 577773 864 3096 78329 48367 238960 2708315 11.50 14.07 708.50/177.59 c N dy 2462 597907 864 3096 78330 35912 238960 1674713 11.54 12.47 728.46/182.51 c N dy 2560 617967 864 3096 78332 55289 238960 3254280 11.55 19.98 751.21/188.21 c N dy 2660 638006 864 3096 78336 41853 238960 2145036 11.58 18.70 774.76/194.19 c N dy 2764 658086 864 3096 78338 61273 238960 3690276 11.60 16.42 795.11/199.29 c N dy 2848 678129 864 3096 78338 46832 238960 2539978 11.61 13.91 821.46/205.85 c N dy 2963 698213 864 3096 78340 66207 238960 4151696 11.66 13.18 840.23/210.56 c N dy 3042 718379 864 3096 78341 50967 238960 2744140 11.67 12.49 866.17/217.06 c N dy 3153 738423 864 3096 78343 70270 238960 4311007 11.71 12.42 886.17/222.08 c N dy 3242 759288 864 3096 78343 54665 238960 2970358 11.72 12.49 914.07/229.04 c N dy 3345 779306 864 3096 78345 37262 238960 1575828 11.75 12.58 934.47/234.15 c N dy 3458 799386 864 3096 78345 56695 238960 3163506 11.79 22.06 942.84/236.30 c S st 3489 806035 864 3096 78345 63120 238960 3692358 11.80 10.63 943.61/236.46 c S st 3489 806535 864 3096 78345 63618 238960 3734589 11.80 no data 943.61/236.47 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01 947.64/237.49 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 32.5M T: 1.02 947.64/237.49 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s 948.00/237.50 c bin-w-bin subsume rem 0 bins time: 0.01 s 950.40/238.10 c subs with bin: 0 lits-rem: 7 v-fix: 0 time: 0.60 s 950.40/238.11 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 864 time: 0.01 s 950.40/238.11 c Removed useless bin: 0 fixed: 0 props: 0.39M time: 0.01 s 950.40/238.14 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.03 s 957.18/239.84 c subs with bin: 5 lits-rem: 19 v-fix: 0 time: 1.60 s 1001.09/250.80 c lits-rem: 2866 cl-subs: 4547 v-elim: 0 v-fix: 0 time: 10.96 s 1001.09/250.80 c vivif2 -- cl tried 3096 cl shrink 0 lits rem 0 time: 0.00 1001.09/250.89 c vivif2 -- cl tried 59066 cl shrink 1465 lits rem 1632 time: 0.08 1002.28/251.19 c asymm cl-useful: 0/281/3096 lits-rem:0 time: 0.30 1002.28/251.19 c calculated reachability. Time: 0.00 1002.28/251.19 c N dy 3489 806535 864 3096 78345 59066 238953 3641355 11.80 no data 1031.82/258.55 c N dy 3589 826619 864 3096 78345 40802 238953 1905224 11.82 22.64 1053.02/263.87 c N dy 3682 846674 864 3096 78346 60180 238953 3519475 11.84 12.61 1082.13/271.10 c N dy 3758 869338 864 3096 78348 43433 238953 2083587 11.83 12.47 1104.88/276.87 c N dy 3871 889408 864 3096 78348 62874 238953 3712378 11.87 15.33 1134.42/284.28 c N dy 3984 909575 864 3096 78348 42706 238953 1931641 11.90 12.58 1154.77/289.37 c N dy 4074 930275 864 3096 78348 62676 238953 3481136 11.92 12.57 1183.92/296.69 c N dy 4176 950437 864 3096 78348 41628 238953 1814677 11.94 12.85 1203.07/301.50 c N dy 4269 970673 864 3096 78350 61140 238953 3311468 11.95 12.77 1233.41/309.07 c N dy 4365 990754 864 3096 78351 80471 238953 4842739 11.96 15.42 1254.17/314.28 c N dy 4430 1011131 864 3096 78354 58707 238953 2987175 11.95 12.70 1284.91/321.93 c N dy 4537 1031404 864 3096 78355 78230 238953 4578401 11.99 12.87 1310.45/328.38 c N dy 4647 1051661 864 3096 78355 55346 238953 2844115 12.01 12.82 1338.02/335.21 c N dy 4736 1071715 864 3096 78356 74705 238953 4407116 12.03 19.74 1338.02/335.27 c F st 4737 1071876 864 3096 78356 74855 238953 4418826 12.03 9.64 1367.94/342.73 c N dy 4822 1092585 864 3096 78356 51418 238953 2440455 12.04 12.79 1391.12/348.58 c N dy 4902 1112711 864 3096 78358 70794 238953 3987769 12.05 12.70 1425.84/357.23 c N dy 5016 1132965 864 3096 78358 46028 238953 1987215 12.09 12.74 1448.97/363.02 c N dy 5120 1153160 864 3096 78360 65588 238953 3559339 12.11 12.89 1484.90/372.01 c N dy 5212 1173214 864 3096 78360 84910 238953 5143006 12.13 14.81 1511.24/378.66 c N dy 5313 1193260 864 3096 78361 58916 238953 2990460 12.15 12.99 1536.02/384.81 c S st 5419 1209804 864 3096 78361 74851 238953 4226124 12.18 no data 1536.78/385.03 c S st 5419 1210304 864 3096 78361 75346 238953 4268757 12.18 no data 1536.78/385.04 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01 1541.57/386.29 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 37.2M T: 1.25 1541.97/386.30 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s 1541.97/386.30 c bin-w-bin subsume rem 0 bins time: 0.01 s 1543.97/386.90 c subs with bin: 0 lits-rem: 6 v-fix: 0 time: 0.60 s 1544.39/386.91 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 864 time: 0.01 s 1544.39/386.92 c Removed useless bin: 0 fixed: 0 props: 0.39M time: 0.01 s 1544.39/386.95 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.03 s 1553.95/389.31 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 2.25 s 1609.03/403.14 c lits-rem: 4012 cl-subs: 5010 v-elim: 0 v-fix: 0 time: 13.83 s 1609.03/403.15 c vivif2 -- cl tried 3096 cl shrink 0 lits rem 0 time: 0.00 1609.43/403.25 c vivif2 -- cl tried 70336 cl shrink 1570 lits rem 1760 time: 0.10 1610.66/403.56 c asymm cl-useful: 0/403/3096 lits-rem:0 time: 0.32 1610.66/403.57 c calculated reachability. Time: 0.00 1610.66/403.57 c N dy 5419 1210304 864 3096 78361 70336 238947 4175301 12.18 no data 1648.95/413.17 c N dy 5529 1230364 864 3096 78364 89688 238947 5676489 12.20 15.32 1676.12/420.00 c N dy 5597 1250626 864 3096 78366 62849 238947 3281949 12.19 12.99 1708.42/428.05 c N dy 5690 1270655 864 3096 78366 82095 238947 4739387 12.21 23.24 1740.75/436.14 c N dy 5799 1290686 864 3096 78368 54265 238947 2592296 12.23 19.97 1765.91/442.48 c N dy 5870 1311585 864 3096 78371 74282 238947 4092837 12.23 12.98 1800.63/451.10 c N dy 5962 1331648 864 3096 78371 93551 238947 5635528 12.23 22.17 1824.98/457.20 c N dy 6057 1351894 864 3096 78371 65016 238947 3425524 12.25 13.08 1856.55/465.16 c N dy 6145 1371896 864 3096 78371 84191 238947 4948481 12.26 13.00 1892.84/474.27 c N dy 6263 1391947 864 3096 78372 54528 238947 2539586 12.28 14.43 1919.59/480.90 c N dy 6350 1413047 864 3096 78372 74840 238947 4162696 12.29 12.95 1956.31/490.14 c N dy 6458 1433271 864 3096 78375 94297 238947 5787983 12.31 12.99 1985.45/497.44 c N dy 6550 1453733 864 3096 78376 63879 238947 3239538 12.32 13.08 2016.99/505.32 c N dy 6651 1473772 864 3096 78378 83135 238947 4748133 12.33 24.02 2058.13/515.65 c N dy 6765 1493870 864 3096 78379 51523 238947 2230694 12.35 18.87 2082.45/521.77 c N dy 6839 1514719 864 3096 78379 71588 238947 3781886 12.34 13.10 2118.78/530.89 c N dy 6954 1534751 864 3096 78380 90879 238947 5337234 12.36 15.02 2158.71/540.85 c N dy 7062 1555238 864 3096 78382 58637 238947 2721675 12.38 13.07 2189.03/548.45 c N dy 7148 1575834 864 3096 78383 78462 238947 4288305 12.39 13.12 2227.75/558.11 c N dy 7233 1595845 864 3096 78384 97657 238947 5882943 12.39 13.15 2263.67/567.11 c N dy 7340 1616601 864 3096 78387 64682 238947 3153011 12.40 13.28 2292.40/574.35 c N dy 7423 1636648 864 3096 78387 84018 238947 4732390 12.41 16.27 2334.32/584.84 c N dy 7512 1657016 864 3096 78390 103602 238947 6296529 12.42 13.53 2364.26/592.37 c N dy 7607 1677094 864 3096 78391 69032 238947 3549956 12.43 16.58 2398.98/601.01 c N dy 7710 1697170 864 3096 78392 88366 238947 5052300 12.45 17.66 2426.53/607.99 c S st 7778 1710305 864 3096 78392 100991 238947 6070749 12.46 10.59 2428.12/608.31 c S st 7778 1710810 864 3096 78392 101494 238947 6116758 12.46 no data 2428.12/608.33 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.02 2435.31/610.14 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 51.7M T: 1.81 2435.31/610.15 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s 2435.31/610.16 c bin-w-bin subsume rem 0 bins time: 0.01 s 2437.70/610.75 c subs with bin: 0 lits-rem: 6 v-fix: 0 time: 0.59 s 2437.70/610.76 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 864 time: 0.01 s 2437.70/610.76 c Removed useless bin: 0 fixed: 0 props: 0.39M time: 0.01 s 2438.10/610.80 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.04 s 2445.29/612.69 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 1.73 s 2538.37/636.19 c lits-rem: 7072 cl-subs: 7988 v-elim: 0 v-fix: 0 time: 23.49 s 2538.37/636.19 c vivif2 -- cl tried 3096 cl shrink 0 lits rem 0 time: 0.00 2539.16/636.34 c vivif2 -- cl tried 93506 cl shrink 3662 lits rem 5374 time: 0.15 2540.37/636.70 c asymm cl-useful: 0/167/3096 lits-rem:0 time: 0.35 2540.37/636.70 c calculated reachability. Time: 0.00 2540.37/636.70 c N dy 7778 1710810 864 3096 78393 93505 238941 5957675 12.46 no data 2584.95/647.84 c N dy 7874 1730891 864 3096 78398 58166 238941 2775304 12.46 13.13 2614.92/655.32 c N dy 7965 1751422 864 3096 78399 77894 238941 4362559 12.47 13.24 2657.61/666.08 c N dy 8064 1771473 864 3096 78399 97111 238941 5878750 12.47 13.16 2702.73/677.38 c N dy 8161 1792321 864 3096 78399 61416 238941 2948086 12.49 13.16 2733.87/685.18 c N dy 8270 1812579 864 3096 78399 80855 238941 4438444 12.50 13.26 2770.17/694.29 c N dy 8341 1832817 864 3096 78400 100228 238941 5984626 12.50 13.62 2808.11/703.73 c N dy 8418 1853292 864 3096 78402 63246 238941 2972449 12.50 13.46 2837.22/711.04 c N dy 8507 1873339 864 3096 78402 82493 238941 4445915 12.50 14.50 2875.54/720.68 c N dy 8599 1893561 864 3096 78403 101875 238941 5995127 12.51 13.17 2919.84/731.72 c N dy 8705 1914666 864 3096 78406 64585 238941 3062580 12.52 13.18 2949.78/739.29 c N dy 8792 1934761 864 3096 78407 83901 238941 4583135 12.52 13.24 2990.49/749.47 c N dy 8891 1954909 864 3096 78410 103176 238941 6069643 12.53 13.46 3034.39/760.47 c N dy 8981 1974973 864 3096 78413 63907 238941 3019044 12.54 25.28 3063.93/767.83 c N dy 9077 1995047 864 3096 78414 83196 238941 4480785 12.55 16.92 3105.84/778.32 c N dy 9184 2015050 864 3096 78416 102442 238941 6026551 12.57 16.64 3154.14/790.42 c N dy 9283 2035682 864 3096 78416 62654 238941 2893497 12.57 13.26 3183.28/797.73 c N dy 9386 2055756 864 3096 78416 81979 238941 4425730 12.58 20.37 3225.99/808.46 c N dy 9490 2076264 864 3096 78424 101671 238941 5964464 12.60 13.42 3283.07/822.77 c N dy 9579 2096599 864 3096 78425 60731 238941 2729794 12.60 13.82 3312.61/830.11 c N dy 9652 2116882 864 3096 78425 80228 238941 4253325 12.60 13.35 3354.51/840.66 c N dy 9752 2137032 864 3096 78426 99583 238941 5754229 12.61 13.28 3409.61/854.45 c N dy 9866 2157044 864 3096 78429 118712 238941 7095998 12.63 14.77 3443.51/862.92 c N dy 9944 2177053 864 3096 78432 76468 238941 3878592 12.63 13.35 3479.04/871.81 c N dy 10015 2197110 864 3096 78435 95741 238941 5329500 12.62 13.47 3513.36/880.46 c S st 10104 2210811 864 3096 78437 108842 238941 6324651 12.64 no data 3514.56/880.79 c S st 10104 2211319 864 3096 78437 109348 238941 6364335 12.64 no data 3514.98/880.81 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.02 3522.54/882.80 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 53.8M T: 1.99 3522.94/882.80 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s 3522.94/882.81 c bin-w-bin subsume rem 1 bins time: 0.01 s 3525.34/883.40 c subs with bin: 0 lits-rem: 4 v-fix: 0 time: 0.59 s 3525.34/883.41 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 864 time: 0.01 s 3525.34/883.42 c Removed useless bin: 0 fixed: 0 props: 0.38M time: 0.01 s 3525.34/883.46 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.04 s 3534.12/885.67 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 2.06 s 3643.88/913.12 c lits-rem: 10713 cl-subs: 7815 v-elim: 0 v-fix: 0 time: 27.44 s 3643.88/913.12 c vivif2 -- cl tried 3096 cl shrink 0 lits rem 0 time: 0.00 3644.68/913.33 c vivif2 -- cl tried 101533 cl shrink 8699 lits rem 17223 time: 0.21 3646.28/913.71 c asymm cl-useful: 0/395/3096 lits-rem:0 time: 0.38 3646.28/913.72 c calculated reachability. Time: 0.00 3646.28/913.72 c N dy 10104 2211319 864 3096 78437 101532 238937 6185637 12.64 no data 3700.96/927.42 c N dy 10196 2231605 864 3096 78450 120898 238937 7659677 12.65 13.34 3734.52/935.85 c N dy 10286 2251690 864 3096 78454 78079 238937 4177320 12.65 17.24 3773.21/945.52 c N dy 10387 2272080 864 3096 78459 97594 238937 5648796 12.67 13.56 3826.30/958.86 c N dy 10504 2292281 864 3096 78462 116950 238937 7134672 12.69 13.75 3876.19/971.37 c N dy 10625 2312705 864 3096 78471 73310 238937 3652360 12.71 13.72 3912.11/980.34 c N dy 10744 2332741 864 3096 78476 92592 238937 5171437 12.72 14.89 3957.63/991.77 c N dy 10843 2352742 864 3096 78481 111774 238937 6575072 12.73 22.75 4009.92/1004.84 c N dy 10945 2373030 864 3096 78495 67007 238937 3161163 12.74 13.43 4042.64/1013.01 c N dy 11077 2393045 863 3096 78496 86236 238937 4684295 12.77 13.78 4086.19/1023.94 c N dy 11203 2413072 863 3096 78496 105537 238937 6236980 12.79 22.73 4140.85/1037.62 c N dy 11331 2433148 863 3096 78497 124785 238937 7860324 12.82 15.30 4182.39/1048.06 c N dy 11464 2454569 863 3096 78499 80153 238937 4212968 12.84 13.54 4220.29/1057.57 c N dy 11536 2474615 863 3096 78501 99340 238937 5788012 12.85 13.87 4272.98/1070.72 c N dy 11652 2494942 863 3096 78502 118899 238937 7425058 12.87 13.61 4326.86/1084.30 c N dy 11770 2515405 863 3096 78503 72297 238937 3444034 12.89 13.57 4361.98/1093.09 c N dy 11899 2535412 863 3096 78504 91565 238937 5063101 12.91 14.74 4408.29/1104.67 c N dy 12016 2555556 863 3096 78505 110869 238937 6637224 12.94 13.69 4466.17/1119.16 c N dy 12141 2575585 863 3096 78506 130111 238937 8252730 12.95 18.78 4512.87/1130.81 c N dy 12267 2595619 863 3096 78506 82144 238937 4220386 12.98 26.09 4557.18/1141.90 c N dy 12364 2615736 863 3096 78508 101395 238937 5803993 12.99 13.74 4612.70/1155.85 c N dy 12492 2636394 863 3096 78510 121228 238937 7526888 13.01 13.81 4673.75/1171.12 c N dy 12599 2656507 863 3096 78514 72311 238937 3257143 13.02 13.74 4706.47/1179.30 c N dy 12709 2676518 863 3096 78516 91553 238937 4812990 13.04 22.15 4755.98/1191.72 c N dy 12838 2696850 863 3096 78519 111028 238937 6374459 13.06 13.86 4796.30/1201.83 c S st 12923 2711320 863 3096 78523 124923 238937 7518771 13.08 no data 4798.29/1202.31 c S st 12923 2711825 863 3096 78523 125426 238937 7557566 13.08 no data 4798.29/1202.33 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.02
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-3366876-1305433718/watcher-3366876-1305433718 -o /tmp/evaluation-result-3366876-1305433718/solver-3366876-1305433718 -C 4800 -W 1300 -M 15500 ./strangenight2-mt --threads=4 HOME/instance-3366876-1305433718.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: 5.85 5.19 6.27 5/277 7932 /proc/meminfo: memFree=24804312/32951124 swapFree=67083432/67111528 [pid=7932] ppid=7930 vsize=51168 CPUtime=0.01 cores=1,3,5,7 /proc/7932/stat : 7932 (strangenight2-m) R 7930 7932 510 0 -1 4202496 407 0 0 0 1 0 0 0 22 0 4 0 733602436 52396032 347 33554432000 4194304 4580107 140733736942368 18446744073709551615 47211934504882 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0 /proc/7932/statm: 12792 347 299 95 0 7774 0 [pid=7932/tid=7933] ppid=7930 vsize=51168 CPUtime=0 cores=1,3,5,7 /proc/7932/task/7933/stat : 7933 (strangenight2-m) R 7930 7932 510 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 4 0 733602436 52396032 347 33554432000 4194304 4580107 140733736942368 18446744073709551615 47211934504882 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=7932/tid=7934] ppid=7930 vsize=51168 CPUtime=0 cores=1,3,5,7 /proc/7932/task/7934/stat : 7934 (strangenight2-m) R 7930 7932 510 0 -1 4202560 0 0 0 0 0 0 0 0 23 0 4 0 733602436 52396032 347 33554432000 4194304 4580107 140733736942368 18446744073709551615 47211934504882 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=7932/tid=7935] ppid=7930 vsize=51168 CPUtime=0 cores=1,3,5,7 /proc/7932/task/7935/stat : 7935 (strangenight2-m) R 7930 7932 510 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 4 0 733602437 52396032 347 33554432000 4194304 4580107 140733736942368 18446744073709551615 260020452337 0 0 4096 2 0 0 0 -1 3 0 0 0 [startup+0.261177 s] /proc/loadavg: 5.85 5.19 6.27 5/277 7932 /proc/meminfo: memFree=24804312/32951124 swapFree=67083432/67111528 [pid=7932] ppid=7930 vsize=356256 CPUtime=3.41 cores=1,3,5,7 /proc/7932/stat : 7932 (strangenight2-m) R 7930 7932 510 0 -1 4202496 13017 0 0 0 339 2 0 0 19 0 4 0 733602436 364806144 9458 33554432000 4194304 4580107 140733736942368 18446744073709551615 4322556 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0 /proc/7932/statm: 89064 9458 376 95 0 84046 0 [pid=7932/tid=7933] ppid=7930 vsize=356256 CPUtime=0.85 cores=1,3,5,7 /proc/7932/task/7933/stat : 7933 (strangenight2-m) R 7930 7932 510 0 -1 4202560 3197 0 0 0 85 0 0 0 19 0 4 0 733602436 364806144 9458 33554432000 4194304 4580107 140733736942368 18446744073709551615 4321093 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=7932/tid=7934] ppid=7930 vsize=356256 CPUtime=0.84 cores=1,3,5,7 /proc/7932/task/7934/stat : 7934 (strangenight2-m) R 7930 7932 510 0 -1 4202560 3195 0 0 0 84 0 0 0 25 0 4 0 733602436 364806144 9459 33554432000 4194304 4580107 140733736942368 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=7932/tid=7935] ppid=7930 vsize=356256 CPUtime=0.84 cores=1,3,5,7 /proc/7932/task/7935/stat : 7935 (strangenight2-m) R 7930 7932 510 0 -1 4202560 3009 0 0 0 84 0 0 0 19 0 4 0 733602437 364806144 9459 33554432000 4194304 4580107 140733736942368 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 3.41 Current children cumulated vsize (KiB) 356256 [startup+0.960199 s] /proc/loadavg: 5.85 5.19 6.27 5/277 7932 /proc/meminfo: memFree=24804312/32951124 swapFree=67083432/67111528 [pid=7932] ppid=7930 vsize=356256 CPUtime=3.82 cores=1,3,5,7 /proc/7932/stat : 7932 (strangenight2-m) R 7930 7932 510 0 -1 4202496 13538 0 0 0 379 3 0 0 19 0 4 0 733602436 364806144 9979 33554432000 4194304 4580107 140733736942368 18446744073709551615 4489516 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0 /proc/7932/statm: 89064 9981 376 95 0 84046 0 [pid=7932/tid=7933] ppid=7930 vsize=356256 CPUtime=0.95 cores=1,3,5,7 /proc/7932/task/7933/stat : 7933 (strangenight2-m) R 7930 7932 510 0 -1 4202560 3322 0 0 0 95 0 0 0 19 0 4 0 733602436 364806144 9981 33554432000 4194304 4580107 140733736942368 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=7932/tid=7934] ppid=7930 vsize=356256 CPUtime=0.94 cores=1,3,5,7 /proc/7932/task/7934/stat : 7934 (strangenight2-m) R 7930 7932 510 0 -1 4202560 3329 0 0 0 94 0 0 0 25 0 4 0 733602436 364806144 9981 33554432000 4194304 4580107 140733736942368 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=7932/tid=7935] ppid=7930 vsize=356256 CPUtime=0.94 cores=1,3,5,7 /proc/7932/task/7935/stat : 7935 (strangenight2-m) R 7930 7932 510 0 -1 4202560 3147 0 0 0 94 0 0 0 19 0 4 0 733602437 364806144 9981 33554432000 4194304 4580107 140733736942368 18446744073709551615 4318437 0 0 4096 2 0 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 3.82 Current children cumulated vsize (KiB) 356256 [startup+1.06018 s] /proc/loadavg: 5.85 5.19 6.27 5/277 7932 /proc/meminfo: memFree=24804312/32951124 swapFree=67083432/67111528 [pid=7932] ppid=7930 vsize=357024 CPUtime=4.33 cores=1,3,5,7 /proc/7932/stat : 7932 (strangenight2-m) R 7930 7932 510 0 -1 4202496 15388 0 0 0 430 3 0 0 19 0 4 0 733602436 365592576 10156 33554432000 4194304 4580107 140733736942368 18446744073709551615 4294955 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0 /proc/7932/statm: 91800 9651 376 95 0 86782 0 [pid=7932/tid=7933] ppid=7930 vsize=367200 CPUtime=1.07 cores=1,3,5,7 /proc/7932/task/7933/stat : 7933 (strangenight2-m) R 7930 7932 510 0 -1 4202560 3853 0 0 0 107 0 0 0 19 0 4 0 733602436 376012800 9651 33554432000 4194304 4580107 140733736942368 18446744073709551615 4294639 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=7932/tid=7934] ppid=7930 vsize=367200 CPUtime=1.07 cores=1,3,5,7 /proc/7932/task/7934/stat : 7934 (strangenight2-m) R 7930 7932 510 0 -1 4202560 3901 0 0 0 107 0 0 0 25 0 4 0 733602436 376012800 9651 33554432000 4194304 4580107 140733736942368 18446744073709551615 4294546 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=7932/tid=7935] ppid=7930 vsize=367200 CPUtime=1.07 cores=1,3,5,7 /proc/7932/task/7935/stat : 7935 (strangenight2-m) D 7930 7932 510 0 -1 4202560 3315 0 0 0 107 0 0 0 19 0 4 0 733602437 376012800 9249 33554432000 4194304 4580107 140733736942368 18446744073709551615 260020056773 0 0 4096 2 0 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 4.33 Current children cumulated vsize (KiB) 357024 [startup+1.26015 s] /proc/loadavg: 5.85 5.19 6.27 5/277 7932 /proc/meminfo: memFree=24804312/32951124 swapFree=67083432/67111528 [pid=7932] ppid=7930 vsize=358024 CPUtime=5.01 cores=1,3,5,7 /proc/7932/stat : 7932 (strangenight2-m) R 7930 7932 510 0 -1 4202496 16475 0 0 0 498 3 0 0 19 0 4 0 733602436 366616576 9583 33554432000 4194304 4580107 140733736942368 18446744073709551615 4321100 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0 /proc/7932/statm: 89506 9583 377 95 0 84488 0 [pid=7932/tid=7933] ppid=7930 vsize=358024 CPUtime=1.33 cores=1,3,5,7 /proc/7932/task/7933/stat : 7933 (strangenight2-m) R 7930 7932 510 0 -1 4202560 4149 0 0 0 133 0 0 0 19 0 4 0 733602436 366616576 9969 33554432000 4194304 4580107 140733736942368 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=7932/tid=7934] ppid=7930 vsize=358024 CPUtime=1.33 cores=1,3,5,7 /proc/7932/task/7934/stat : 7934 (strangenight2-m) R 7930 7932 510 0 -1 4202560 4167 0 0 0 133 0 0 0 25 0 4 0 733602436 366616576 9969 33554432000 4194304 4580107 140733736942368 18446744073709551615 4324244 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=7932/tid=7935] ppid=7930 vsize=358024 CPUtime=1.32 cores=1,3,5,7 /proc/7932/task/7935/stat : 7935 (strangenight2-m) R 7930 7932 510 0 -1 4202560 3919 0 0 0 132 0 0 0 20 0 4 0 733602437 366616576 9969 33554432000 4194304 4580107 140733736942368 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 5.01 Current children cumulated vsize (KiB) 358024 [startup+1.5011 s] /proc/loadavg: 5.85 5.19 6.27 5/277 7932 /proc/meminfo: memFree=24804312/32951124 swapFree=67083432/67111528 [pid=7932] ppid=7930 vsize=358024 CPUtime=5.97 cores=1,3,5,7 /proc/7932/stat : 7932 (strangenight2-m) R 7930 7932 510 0 -1 4202496 17506 0 0 0 594 3 0 0 20 0 4 0 733602436 366616576 10614 33554432000 4194304 4580107 140733736942368 18446744073709551615 4318305 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0 /proc/7932/statm: 89506 10615 377 95 0 84488 0 [pid=7932/tid=7933] ppid=7930 vsize=358024 CPUtime=1.49 cores=1,3,5,7 /proc/7932/task/7933/stat : 7933 (strangenight2-m) R 7930 7932 510 0 -1 4202560 4338 0 0 0 149 0 0 0 19 0 4 0 733602436 366616576 10615 33554432000 4194304 4580107 140733736942368 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=7932/tid=7934] ppid=7930 vsize=358024 CPUtime=1.48 cores=1,3,5,7 /proc/7932/task/7934/stat : 7934 (strangenight2-m) R 7930 7932 510 0 -1 4202560 4313 0 0 0 148 0 0 0 25 0 4 0 733602436 366616576 10615 33554432000 4194304 4580107 140733736942368 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=7932/tid=7935] ppid=7930 vsize=358024 CPUtime=1.48 cores=1,3,5,7 /proc/7932/task/7935/stat : 7935 (strangenight2-m) R 7930 7932 510 0 -1 4202560 4076 0 0 0 148 0 0 0 20 0 4 0 733602437 366616576 10615 33554432000 4194304 4580107 140733736942368 18446744073709551615 4294692 0 0 4096 2 0 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 5.97 Current children cumulated vsize (KiB) 358024 [startup+3.11081 s] /proc/loadavg: 6.10 5.26 6.29 10/281 7936 /proc/meminfo: memFree=24775240/32951124 swapFree=67083432/67111528 [pid=7932] ppid=7930 vsize=380128 CPUtime=12.39 cores=1,3,5,7 /proc/7932/stat : 7932 (strangenight2-m) R 7930 7932 510 0 -1 4202496 27359 0 0 0 1234 5 0 0 25 0 4 0 733602436 389251072 13595 33554432000 4194304 4580107 140733736942368 18446744073709551615 4295401 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0 /proc/7932/statm: 95032 13596 378 95 0 90014 0 [pid=7932/tid=7933] ppid=7930 vsize=380128 CPUtime=3.1 cores=1,3,5,7 /proc/7932/task/7933/stat : 7933 (strangenight2-m) R 7930 7932 510 0 -1 4202560 6892 0 0 0 309 1 0 0 25 0 4 0 733602436 389251072 13596 33554432000 4194304 4580107 140733736942368 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=7932/tid=7934] ppid=7930 vsize=380128 CPUtime=3.1 cores=1,3,5,7 /proc/7932/task/7934/stat : 7934 (strangenight2-m) R 7930 7932 510 0 -1 4202560 6704 0 0 0 309 1 0 0 25 0 4 0 733602436 389251072 13596 33554432000 4194304 4580107 140733736942368 18446744073709551615 4322703 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=7932/tid=7935] ppid=7930 vsize=380128 CPUtime=3.07 cores=1,3,5,7 /proc/7932/task/7935/stat : 7935 (strangenight2-m) R 7930 7932 510 0 -1 4202560 6373 0 0 0 306 1 0 0 25 0 4 0 733602437 389251072 13596 33554432000 4194304 4580107 140733736942368 18446744073709551615 4413087 0 0 4096 2 0 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 12.39 Current children cumulated vsize (KiB) 380128 [startup+6.30122 s] /proc/loadavg: 6.26 5.30 6.29 10/281 7936 /proc/meminfo: memFree=24709896/32951124 swapFree=67083432/67111528 [pid=7932] ppid=7930 vsize=379104 CPUtime=25.16 cores=1,3,5,7 /proc/7932/stat : 7932 (strangenight2-m) R 7930 7932 510 0 -1 4202496 45733 0 0 0 2509 7 0 0 25 0 4 0 733602436 388202496 29122 33554432000 4194304 4580107 140733736942368 18446744073709551615 4416709 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0 /proc/7932/statm: 94776 29122 378 95 0 89758 0 [pid=7932/tid=7933] ppid=7930 vsize=379104 CPUtime=6.3 cores=1,3,5,7 /proc/7932/task/7933/stat : 7933 (strangenight2-m) R 7930 7932 510 0 -1 4202560 11060 0 0 0 628 2 0 0 25 0 4 0 733602436 388202496 29122 33554432000 4194304 4580107 140733736942368 18446744073709551615 4416709 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=7932/tid=7934] ppid=7930 vsize=379104 CPUtime=6.3 cores=1,3,5,7 /proc/7932/task/7934/stat : 7934 (strangenight2-m) R 7930 7932 510 0 -1 4202560 13146 0 0 0 629 1 0 0 25 0 4 0 733602436 388202496 29122 33554432000 4194304 4580107 140733736942368 18446744073709551615 4413356 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=7932/tid=7935] ppid=7930 vsize=379104 CPUtime=6.25 cores=1,3,5,7 /proc/7932/task/7935/stat : 7935 (strangenight2-m) R 7930 7932 510 0 -1 4202560 9196 0 0 0 624 1 0 0 25 0 4 0 733602437 388202496 29122 33554432000 4194304 4580107 140733736942368 18446744073709551615 4294688 0 0 4096 2 0 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 25.16 Current children cumulated vsize (KiB) 379104 [startup+12.701 s] /proc/loadavg: 6.40 5.35 6.30 9/281 7936 /proc/meminfo: memFree=24669620/32951124 swapFree=67083432/67111528 [pid=7932] ppid=7930 vsize=362368 CPUtime=50.68 cores=1,3,5,7 /proc/7932/stat : 7932 (strangenight2-m) R 7930 7932 510 0 -1 4202496 65810 0 0 0 5057 11 0 0 25 0 4 0 733602436 371064832 35555 33554432000 4194304 4580107 140733736942368 18446744073709551615 4294535 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0 /proc/7932/statm: 90592 35555 378 95 0 85574 0 [pid=7932/tid=7933] ppid=7930 vsize=362368 CPUtime=12.69 cores=1,3,5,7 /proc/7932/task/7933/stat : 7933 (strangenight2-m) R 7930 7932 510 0 -1 4202560 17850 0 0 0 1266 3 0 0 25 0 4 0 733602436 371064832 35555 33554432000 4194304 4580107 140733736942368 18446744073709551615 4413346 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=7932/tid=7934] ppid=7930 vsize=362368 CPUtime=12.69 cores=1,3,5,7 /proc/7932/task/7934/stat : 7934 (strangenight2-m) R 7930 7932 510 0 -1 4202560 17939 0 0 0 1267 2 0 0 25 0 4 0 733602436 371064832 35555 33554432000 4194304 4580107 140733736942368 18446744073709551615 4294955 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=7932/tid=7935] ppid=7930 vsize=362368 CPUtime=12.59 cores=1,3,5,7 /proc/7932/task/7935/stat : 7935 (strangenight2-m) R 7930 7932 510 0 -1 4202560 14275 0 0 0 1257 2 0 0 25 0 4 0 733602437 371064832 35555 33554432000 4194304 4580107 140733736942368 18446744073709551615 4294535 0 0 4096 2 0 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 50.68 Current children cumulated vsize (KiB) 362368 [startup+25.5007 s] /proc/loadavg: 6.72 5.45 6.33 9/281 7936 /proc/meminfo: memFree=24572772/32951124 swapFree=67083432/67111528 [pid=7932] ppid=7930 vsize=405720 CPUtime=101.77 cores=1,3,5,7 /proc/7932/stat : 7932 (strangenight2-m) R 7930 7932 510 0 -1 4202496 103321 0 0 0 10159 18 0 0 25 0 4 0 733602436 415457280 52251 33554432000 4194304 4580107 140733736942368 18446744073709551615 4413617 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0 /proc/7932/statm: 101430 52251 378 95 0 96412 0 [pid=7932/tid=7933] ppid=7930 vsize=405720 CPUtime=25.48 cores=1,3,5,7 /proc/7932/task/7933/stat : 7933 (strangenight2-m) R 7930 7932 510 0 -1 4202560 26178 0 0 0 2544 4 0 0 25 0 4 0 733602436 415457280 52251 33554432000 4194304 4580107 140733736942368 18446744073709551615 4413168 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=7932/tid=7934] ppid=7930 vsize=405720 CPUtime=25.49 cores=1,3,5,7 /proc/7932/task/7934/stat : 7934 (strangenight2-m) R 7930 7932 510 0 -1 4202560 25564 0 0 0 2546 3 0 0 25 0 4 0 733602436 415457280 52251 33554432000 4194304 4580107 140733736942368 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=7932/tid=7935] ppid=7930 vsize=405720 CPUtime=25.28 cores=1,3,5,7 /proc/7932/task/7935/stat : 7935 (strangenight2-m) R 7930 7932 510 0 -1 4202560 26039 0 0 0 2524 4 0 0 25 0 4 0 733602437 415457280 52251 33554432000 4194304 4580107 140733736942368 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 101.77 Current children cumulated vsize (KiB) 405720 [startup+51.101 s] /proc/loadavg: 7.15 5.65 6.37 9/281 7937 /proc/meminfo: memFree=24442028/32951124 swapFree=67083432/67111528 [pid=7932] ppid=7930 vsize=409228 CPUtime=203.95 cores=1,3,5,7 /proc/7932/stat : 7932 (strangenight2-m) R 7930 7932 510 0 -1 4202496 158491 0 0 0 20364 31 0 0 25 0 4 0 733602436 419049472 61587 33554432000 4194304 4580107 140733736942368 18446744073709551615 4294952 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0 /proc/7932/statm: 102307 61587 380 95 0 97289 0 [pid=7932/tid=7933] ppid=7930 vsize=409228 CPUtime=51.09 cores=1,3,5,7 /proc/7932/task/7933/stat : 7933 (strangenight2-m) R 7930 7932 510 0 -1 4202560 41888 0 0 0 5101 8 0 0 25 0 4 0 733602436 419049472 61587 33554432000 4194304 4580107 140733736942368 18446744073709551615 4294535 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=7932/tid=7934] ppid=7930 vsize=409228 CPUtime=51.09 cores=1,3,5,7 /proc/7932/task/7934/stat : 7934 (strangenight2-m) R 7930 7932 510 0 -1 4202560 36473 0 0 0 5103 6 0 0 25 0 4 0 733602436 419049472 61587 33554432000 4194304 4580107 140733736942368 18446744073709551615 4294504 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=7932/tid=7935] ppid=7930 vsize=409228 CPUtime=50.67 cores=1,3,5,7 /proc/7932/task/7935/stat : 7935 (strangenight2-m) R 7930 7932 510 0 -1 4202560 41590 0 0 0 5059 8 0 0 25 0 4 0 733602437 419049472 61587 33554432000 4194304 4580107 140733736942368 18446744073709551615 4451900 0 0 4096 2 0 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 203.95 Current children cumulated vsize (KiB) 409228 [startup+102.301 s] /proc/loadavg: 7.76 6.08 6.47 10/281 7938 /proc/meminfo: memFree=24333728/32951124 swapFree=67083432/67111528 [pid=7932] ppid=7930 vsize=594396 CPUtime=408.32 cores=1,3,5,7 /proc/7932/stat : 7932 (strangenight2-m) R 7930 7932 510 0 -1 4202496 255112 0 0 0 40776 56 0 0 25 0 4 0 733602436 608661504 85713 33554432000 4194304 4580107 140733736942368 18446744073709551615 4413224 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0 /proc/7932/statm: 148599 85713 378 95 0 143581 0 [pid=7932/tid=7933] ppid=7930 vsize=594396 CPUtime=102.28 cores=1,3,5,7 /proc/7932/task/7933/stat : 7933 (strangenight2-m) R 7930 7932 510 0 -1 4202560 66974 0 0 0 10214 14 0 0 25 0 4 0 733602436 608661504 85713 33554432000 4194304 4580107 140733736942368 18446744073709551615 4318435 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=7932/tid=7934] ppid=7930 vsize=594396 CPUtime=102.29 cores=1,3,5,7 /proc/7932/task/7934/stat : 7934 (strangenight2-m) R 7930 7932 510 0 -1 4202560 58834 0 0 0 10218 11 0 0 25 0 4 0 733602436 608661504 85713 33554432000 4194304 4580107 140733736942368 18446744073709551615 4451684 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=7932/tid=7935] ppid=7930 vsize=594396 CPUtime=101.44 cores=1,3,5,7 /proc/7932/task/7935/stat : 7935 (strangenight2-m) R 7930 7932 510 0 -1 4202560 66575 0 0 0 10130 14 0 0 25 0 4 0 733602437 608661504 85713 33554432000 4194304 4580107 140733736942368 18446744073709551615 4294952 0 0 4096 2 0 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 408.32 Current children cumulated vsize (KiB) 594396 [startup+162.301 s] ################ # More data... # ################ [pid=7932] ppid=7930 vsize=1056588 CPUtime=2802.49 cores=1,3,5,7 /proc/7932/stat : 7932 (strangenight2-m) R 7930 7932 510 0 -1 4202496 984951 0 0 0 279954 295 0 0 25 0 4 0 733602436 1081946112 189788 33554432000 4194304 4580107 140733736942368 18446744073709551615 4294524 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0 /proc/7932/statm: 264147 189788 378 95 0 259129 0 [pid=7932/tid=7933] ppid=7930 vsize=1056588 CPUtime=702.29 cores=1,3,5,7 /proc/7932/task/7933/stat : 7933 (strangenight2-m) R 7930 7932 510 0 -1 4202560 253770 0 0 0 70155 74 0 0 25 0 4 0 733602436 1081946112 189788 33554432000 4194304 4580107 140733736942368 18446744073709551615 4294688 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=7932/tid=7934] ppid=7930 vsize=1056588 CPUtime=701.88 cores=1,3,5,7 /proc/7932/task/7934/stat : 7934 (strangenight2-m) R 7930 7932 510 0 -1 4202560 245494 0 0 0 70115 73 0 0 25 0 4 0 733602436 1081946112 189788 33554432000 4194304 4580107 140733736942368 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=7932/tid=7935] ppid=7930 vsize=1056588 CPUtime=695.99 cores=1,3,5,7 /proc/7932/task/7935/stat : 7935 (strangenight2-m) R 7930 7932 510 0 -1 4202560 244055 0 0 0 69528 71 0 0 25 0 4 0 733602437 1081946112 189788 33554432000 4194304 4580107 140733736942368 18446744073709551615 4294504 0 0 4096 2 0 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 2802.49 Current children cumulated vsize (KiB) 1056588 [startup+762.3 s] /proc/loadavg: 8.14 7.91 7.29 10/281 7962 /proc/meminfo: memFree=23507188/32951124 swapFree=67083432/67111528 [pid=7932] ppid=7930 vsize=1060508 CPUtime=3041.97 cores=1,3,5,7 /proc/7932/stat : 7932 (strangenight2-m) R 7930 7932 510 0 -1 4202496 1040372 0 0 0 303881 316 0 0 25 0 4 0 733602436 1085960192 185623 33554432000 4194304 4580107 140733736942368 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0 /proc/7932/statm: 265127 185623 378 95 0 260109 0 [pid=7932/tid=7933] ppid=7930 vsize=1060508 CPUtime=762.3 cores=1,3,5,7 /proc/7932/task/7933/stat : 7933 (strangenight2-m) R 7930 7932 510 0 -1 4202560 268504 0 0 0 76150 80 0 0 25 0 4 0 733602436 1085960192 185623 33554432000 4194304 4580107 140733736942368 18446744073709551615 4294356 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=7932/tid=7934] ppid=7930 vsize=1060508 CPUtime=761.89 cores=1,3,5,7 /proc/7932/task/7934/stat : 7934 (strangenight2-m) R 7930 7932 510 0 -1 4202560 260745 0 0 0 76110 79 0 0 25 0 4 0 733602436 1085960192 185623 33554432000 4194304 4580107 140733736942368 18446744073709551615 4294440 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=7932/tid=7935] ppid=7930 vsize=1060508 CPUtime=755.48 cores=1,3,5,7 /proc/7932/task/7935/stat : 7935 (strangenight2-m) R 7930 7932 510 0 -1 4202560 253896 0 0 0 75472 76 0 0 25 0 4 0 733602437 1085960192 185623 33554432000 4194304 4580107 140733736942368 18446744073709551615 4295401 0 0 4096 2 0 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 3041.97 Current children cumulated vsize (KiB) 1060508 [startup+822.3 s] /proc/loadavg: 8.10 7.94 7.33 9/281 7964 /proc/meminfo: memFree=23438464/32951124 swapFree=67083432/67111528 [pid=7932] ppid=7930 vsize=1351184 CPUtime=3281.47 cores=1,3,5,7 /proc/7932/stat : 7932 (strangenight2-m) R 7930 7932 510 0 -1 4202496 1088269 0 0 0 327810 337 0 0 25 0 4 0 733602436 1383612416 200516 33554432000 4194304 4580107 140733736942368 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0 /proc/7932/statm: 337796 200516 378 95 0 332778 0 [pid=7932/tid=7933] ppid=7930 vsize=1351184 CPUtime=822.3 cores=1,3,5,7 /proc/7932/task/7933/stat : 7933 (strangenight2-m) R 7930 7932 510 0 -1 4202560 280172 0 0 0 82146 84 0 0 25 0 4 0 733602436 1383612416 200516 33554432000 4194304 4580107 140733736942368 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=7932/tid=7934] ppid=7930 vsize=1351184 CPUtime=821.88 cores=1,3,5,7 /proc/7932/task/7934/stat : 7934 (strangenight2-m) R 7930 7932 510 0 -1 4202560 275711 0 0 0 82103 85 0 0 25 0 4 0 733602436 1383612416 200516 33554432000 4194304 4580107 140733736942368 18446744073709551615 4319981 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=7932/tid=7935] ppid=7930 vsize=1351184 CPUtime=814.97 cores=1,3,5,7 /proc/7932/task/7935/stat : 7935 (strangenight2-m) R 7930 7932 510 0 -1 4202560 263500 0 0 0 81416 81 0 0 25 0 4 0 733602437 1383612416 200516 33554432000 4194304 4580107 140733736942368 18446744073709551615 4451895 0 0 4096 2 0 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 3281.47 Current children cumulated vsize (KiB) 1351184 [startup+882.3 s] /proc/loadavg: 8.14 7.98 7.38 9/281 7965 /proc/meminfo: memFree=23345808/32951124 swapFree=67083432/67111528 [pid=7932] ppid=7930 vsize=1149248 CPUtime=3520.95 cores=1,3,5,7 /proc/7932/stat : 7932 (strangenight2-m) R 7930 7932 510 0 -1 4202496 1136280 0 0 0 351738 357 0 0 25 0 4 0 733602436 1176829952 192273 33554432000 4194304 4580107 140733736942368 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0 /proc/7932/statm: 287312 192273 378 95 0 282294 0 [pid=7932/tid=7933] ppid=7930 vsize=1149248 CPUtime=882.3 cores=1,3,5,7 /proc/7932/task/7933/stat : 7933 (strangenight2-m) R 7930 7932 510 0 -1 4202560 293250 0 0 0 88140 90 0 0 25 0 4 0 733602436 1176829952 192273 33554432000 4194304 4580107 140733736942368 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=7932/tid=7934] ppid=7930 vsize=1149248 CPUtime=881.88 cores=1,3,5,7 /proc/7932/task/7934/stat : 7934 (strangenight2-m) R 7930 7932 510 0 -1 4202560 288000 0 0 0 88099 89 0 0 25 0 4 0 733602436 1176829952 192273 33554432000 4194304 4580107 140733736942368 18446744073709551615 4295679 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=7932/tid=7935] ppid=7930 vsize=1149248 CPUtime=874.43 cores=1,3,5,7 /proc/7932/task/7935/stat : 7935 (strangenight2-m) R 7930 7932 510 0 -1 4202560 271716 0 0 0 87359 84 0 0 25 0 4 0 733602437 1176829952 192273 33554432000 4194304 4580107 140733736942368 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 3520.95 Current children cumulated vsize (KiB) 1149248 [startup+942.3 s] /proc/loadavg: 8.10 7.99 7.42 10/281 7967 /proc/meminfo: memFree=23283056/32951124 swapFree=67083432/67111528 [pid=7932] ppid=7930 vsize=1192780 CPUtime=3760.44 cores=1,3,5,7 /proc/7932/stat : 7932 (strangenight2-m) R 7930 7932 510 0 -1 4202496 1181725 0 0 0 375670 374 0 0 25 0 4 0 733602436 1221406720 201541 33554432000 4194304 4580107 140733736942368 18446744073709551615 4294376 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0 /proc/7932/statm: 298195 201541 378 95 0 293177 0 [pid=7932/tid=7933] ppid=7930 vsize=1192780 CPUtime=942.3 cores=1,3,5,7 /proc/7932/task/7933/stat : 7933 (strangenight2-m) R 7930 7932 510 0 -1 4202560 304409 0 0 0 94135 95 0 0 25 0 4 0 733602436 1221406720 201541 33554432000 4194304 4580107 140733736942368 18446744073709551615 4294517 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=7932/tid=7934] ppid=7930 vsize=1192780 CPUtime=941.88 cores=1,3,5,7 /proc/7932/task/7934/stat : 7934 (strangenight2-m) R 7930 7932 510 0 -1 4202560 297291 0 0 0 94096 92 0 0 25 0 4 0 733602436 1221406720 201541 33554432000 4194304 4580107 140733736942368 18446744073709551615 4318435 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=7932/tid=7935] ppid=7930 vsize=1192780 CPUtime=933.93 cores=1,3,5,7 /proc/7932/task/7935/stat : 7935 (strangenight2-m) R 7930 7932 510 0 -1 4202560 286086 0 0 0 93304 89 0 0 25 0 4 0 733602437 1221406720 201541 33554432000 4194304 4580107 140733736942368 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 3760.44 Current children cumulated vsize (KiB) 1192780 [startup+1002.3 s] /proc/loadavg: 8.04 7.99 7.46 10/281 7968 /proc/meminfo: memFree=23207408/32951124 swapFree=67083432/67111528 [pid=7932] ppid=7930 vsize=1287732 CPUtime=3999.93 cores=1,3,5,7 /proc/7932/stat : 7932 (strangenight2-m) R 7930 7932 510 0 -1 4202496 1228652 0 0 0 399600 393 0 0 25 0 4 0 733602436 1318637568 212964 33554432000 4194304 4580107 140733736942368 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0 /proc/7932/statm: 321933 212964 378 95 0 316915 0 [pid=7932/tid=7933] ppid=7930 vsize=1287732 CPUtime=1002.31 cores=1,3,5,7 /proc/7932/task/7933/stat : 7933 (strangenight2-m) R 7930 7932 510 0 -1 4202560 318933 0 0 0 100129 102 0 0 25 0 4 0 733602436 1318637568 212964 33554432000 4194304 4580107 140733736942368 18446744073709551615 4294507 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=7932/tid=7934] ppid=7930 vsize=1287732 CPUtime=1001.89 cores=1,3,5,7 /proc/7932/task/7934/stat : 7934 (strangenight2-m) R 7930 7932 510 0 -1 4202560 307857 0 0 0 100093 96 0 0 25 0 4 0 733602436 1318637568 212964 33554432000 4194304 4580107 140733736942368 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=7932/tid=7935] ppid=7930 vsize=1287732 CPUtime=993.42 cores=1,3,5,7 /proc/7932/task/7935/stat : 7935 (strangenight2-m) R 7930 7932 510 0 -1 4202560 297219 0 0 0 99248 94 0 0 25 0 4 0 733602437 1318637568 212964 33554432000 4194304 4580107 140733736942368 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 3999.93 Current children cumulated vsize (KiB) 1287732 [startup+1062.3 s] /proc/loadavg: 8.06 8.01 7.49 10/281 7970 /proc/meminfo: memFree=23198696/32951124 swapFree=67083432/67111528 [pid=7932] ppid=7930 vsize=1378444 CPUtime=4239.47 cores=1,3,5,7 /proc/7932/stat : 7932 (strangenight2-m) R 7930 7932 510 0 -1 4202496 1263090 0 0 0 423540 407 0 0 25 0 4 0 733602436 1411526656 218014 33554432000 4194304 4580107 140733736942368 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0 /proc/7932/statm: 344611 218014 378 95 0 339593 0 [pid=7932/tid=7933] ppid=7930 vsize=1378444 CPUtime=1062.31 cores=1,3,5,7 /proc/7932/task/7933/stat : 7933 (strangenight2-m) R 7930 7932 510 0 -1 4202560 330089 0 0 0 106125 106 0 0 25 0 4 0 733602436 1411526656 218014 33554432000 4194304 4580107 140733736942368 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=7932/tid=7934] ppid=7930 vsize=1378444 CPUtime=1061.9 cores=1,3,5,7 /proc/7932/task/7934/stat : 7934 (strangenight2-m) R 7930 7932 510 0 -1 4202560 311404 0 0 0 106093 97 0 0 25 0 4 0 733602436 1411526656 218014 33554432000 4194304 4580107 140733736942368 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=7932/tid=7935] ppid=7930 vsize=1378444 CPUtime=1052.92 cores=1,3,5,7 /proc/7932/task/7935/stat : 7935 (strangenight2-m) R 7930 7932 510 0 -1 4202560 301408 0 0 0 105196 96 0 0 25 0 4 0 733602437 1411526656 218014 33554432000 4194304 4580107 140733736942368 18446744073709551615 4294507 0 0 4096 2 0 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 4239.47 Current children cumulated vsize (KiB) 1378444 [startup+1122.3 s] /proc/loadavg: 8.06 8.02 7.53 10/281 7973 /proc/meminfo: memFree=23116976/32951124 swapFree=67083432/67111528 [pid=7932] ppid=7930 vsize=1302584 CPUtime=4478.94 cores=1,3,5,7 /proc/7932/stat : 7932 (strangenight2-m) R 7930 7932 510 0 -1 4202496 1294054 0 0 0 447472 422 0 0 25 0 4 0 733602436 1333846016 219675 33554432000 4194304 4580107 140733736942368 18446744073709551615 4318435 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0 /proc/7932/statm: 325646 219675 378 95 0 320628 0 [pid=7932/tid=7933] ppid=7930 vsize=1302584 CPUtime=1122.31 cores=1,3,5,7 /proc/7932/task/7933/stat : 7933 (strangenight2-m) R 7930 7932 510 0 -1 4202560 339121 0 0 0 112121 110 0 0 25 0 4 0 733602436 1333846016 219675 33554432000 4194304 4580107 140733736942368 18446744073709551615 4294436 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=7932/tid=7934] ppid=7930 vsize=1302584 CPUtime=1121.9 cores=1,3,5,7 /proc/7932/task/7934/stat : 7934 (strangenight2-m) R 7930 7932 510 0 -1 4202560 317631 0 0 0 112089 101 0 0 25 0 4 0 733602436 1333846016 219675 33554432000 4194304 4580107 140733736942368 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=7932/tid=7935] ppid=7930 vsize=1302584 CPUtime=1112.41 cores=1,3,5,7 /proc/7932/task/7935/stat : 7935 (strangenight2-m) R 7930 7932 510 0 -1 4202560 306084 0 0 0 111142 99 0 0 25 0 4 0 733602437 1333846016 219675 33554432000 4194304 4580107 140733736942368 18446744073709551615 4406470 0 0 4096 2 0 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 4478.94 Current children cumulated vsize (KiB) 1302584 [startup+1182.31 s] /proc/loadavg: 6.73 7.72 7.46 5/272 7992 /proc/meminfo: memFree=24207176/32951124 swapFree=67083432/67111528 [pid=7932] ppid=7930 vsize=1208568 CPUtime=4718.48 cores=1,3,5,7 /proc/7932/stat : 7932 (strangenight2-m) R 7930 7932 510 0 -1 4202496 1325142 0 0 0 471410 438 0 0 25 0 4 0 733602436 1237573632 228999 33554432000 4194304 4580107 140733736942368 18446744073709551615 4294581 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0 /proc/7932/statm: 302142 228999 378 95 0 297124 0 [pid=7932/tid=7933] ppid=7930 vsize=1208568 CPUtime=1182.32 cores=1,3,5,7 /proc/7932/task/7933/stat : 7933 (strangenight2-m) R 7930 7932 510 0 -1 4202560 348544 0 0 0 118117 115 0 0 25 0 4 0 733602436 1237573632 228999 33554432000 4194304 4580107 140733736942368 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=7932/tid=7934] ppid=7930 vsize=1208568 CPUtime=1181.9 cores=1,3,5,7 /proc/7932/task/7934/stat : 7934 (strangenight2-m) R 7930 7932 510 0 -1 4202560 329070 0 0 0 118083 107 0 0 25 0 4 0 733602436 1237573632 228999 33554432000 4194304 4580107 140733736942368 18446744073709551615 4294535 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=7932/tid=7935] ppid=7930 vsize=1208568 CPUtime=1171.93 cores=1,3,5,7 /proc/7932/task/7935/stat : 7935 (strangenight2-m) R 7930 7932 510 0 -1 4202560 307089 0 0 0 117093 100 0 0 25 0 4 0 733602437 1237573632 228999 33554432000 4194304 4580107 140733736942368 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 4718.48 Current children cumulated vsize (KiB) 1208568 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1202.8 s] /proc/loadavg: 6.02 7.49 7.39 5/272 7993 /proc/meminfo: memFree=24172700/32951124 swapFree=67083432/67111528 [pid=7932] ppid=7930 vsize=1486644 CPUtime=4800.31 cores=1,3,5,7 /proc/7932/stat : 7932 (strangenight2-m) R 7930 7932 510 0 -1 4202496 1334027 0 0 0 479587 444 0 0 25 0 4 0 733602436 1522323456 237884 33554432000 4194304 4580107 140733736942368 18446744073709551615 4294624 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0 /proc/7932/statm: 371661 237884 378 95 0 366643 0 [pid=7932/tid=7933] ppid=7930 vsize=1486644 CPUtime=1202.82 cores=1,3,5,7 /proc/7932/task/7933/stat : 7933 (strangenight2-m) R 7930 7932 510 0 -1 4202560 350631 0 0 0 120166 116 0 0 25 0 4 0 733602436 1522323456 237884 33554432000 4194304 4580107 140733736942368 18446744073709551615 4294507 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=7932/tid=7934] ppid=7930 vsize=1486644 CPUtime=1202.41 cores=1,3,5,7 /proc/7932/task/7934/stat : 7934 (strangenight2-m) R 7930 7932 510 0 -1 4202560 331492 0 0 0 120132 109 0 0 25 0 4 0 733602436 1522323456 237884 33554432000 4194304 4580107 140733736942368 18446744073709551615 4294544 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=7932/tid=7935] ppid=7930 vsize=1486644 CPUtime=1192.25 cores=1,3,5,7 /proc/7932/task/7935/stat : 7935 (strangenight2-m) R 7930 7932 510 0 -1 4202560 309470 0 0 0 119124 101 0 0 25 0 4 0 733602437 1522323456 237884 33554432000 4194304 4580107 140733736942368 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 4800.31 Current children cumulated vsize (KiB) 1486644 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1202.8 s] /proc/loadavg: 6.02 7.49 7.39 5/272 7993 /proc/meminfo: memFree=24172700/32951124 swapFree=67083432/67111528 [pid=7932] ppid=7930 vsize=1486644 CPUtime=4800.31 cores=1,3,5,7 /proc/7932/stat : 7932 (strangenight2-m) R 7930 7932 510 0 -1 4202496 1334027 0 0 0 479587 444 0 0 25 0 4 0 733602436 1522323456 237884 33554432000 4194304 4580107 140733736942368 18446744073709551615 4294624 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0 /proc/7932/statm: 371661 237884 378 95 0 366643 0 [pid=7932/tid=7933] ppid=7930 vsize=1486644 CPUtime=1202.82 cores=1,3,5,7 /proc/7932/task/7933/stat : 7933 (strangenight2-m) R 7930 7932 510 0 -1 4202560 350631 0 0 0 120166 116 0 0 25 0 4 0 733602436 1522323456 237884 33554432000 4194304 4580107 140733736942368 18446744073709551615 4294507 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=7932/tid=7934] ppid=7930 vsize=1486644 CPUtime=1202.41 cores=1,3,5,7 /proc/7932/task/7934/stat : 7934 (strangenight2-m) R 7930 7932 510 0 -1 4202560 331492 0 0 0 120132 109 0 0 25 0 4 0 733602436 1522323456 237884 33554432000 4194304 4580107 140733736942368 18446744073709551615 4294544 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=7932/tid=7935] ppid=7930 vsize=1486644 CPUtime=1192.25 cores=1,3,5,7 /proc/7932/task/7935/stat : 7935 (strangenight2-m) R 7930 7932 510 0 -1 4202560 309470 0 0 0 119124 101 0 0 25 0 4 0 733602437 1522323456 237884 33554432000 4194304 4580107 140733736942368 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 4800.31 Current children cumulated vsize (KiB) 1486644 Child ended because it received signal 15 (SIGTERM) Real time (s): 1202.86 CPU time (s): 4800.39 CPU user time (s): 4795.9 CPU system time (s): 4.48232 CPU usage (%): 399.082 Max. virtual memory (cumulated for all children) (KiB): 1486644 getrusage(RUSAGE_CHILDREN,...) data: user time used= 4795.9 system time used= 4.48232 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 1334029 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= 1397 involuntary context switches= 33748 runsolver used 2.92256 second user time and 7.27389 second system time The end
Begin job on node110 at 2011-05-15 06:28:39 IDJOB=3366876 IDBENCH=88215 IDSOLVER=1844 FILE ID=node110/3366876-1305433718 RUNJOBID= node110-1305433672-7842 PBS_JOBID= 13324577 Free space on /tmp= 73632 MiB SOLVER NAME= CryptoMiniSat Strange-Night-2-mt (fixed) BENCH NAME= SAT11/crafted/anton/SRHD-SGI/srhd-sgi-m32-q369.75-n30-p15-s59317012.cnf COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3366876-1305433718/watcher-3366876-1305433718 -o /tmp/evaluation-result-3366876-1305433718/solver-3366876-1305433718 -C 4800 -W 1300 -M 15500 ./strangenight2-mt --threads=4 HOME/instance-3366876-1305433718.cnf TIME LIMIT= 4800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 02e75ad23aeadbf30b2a4fb3c21ae723 RANDOM SEED=1149944901 node110.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.83 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.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.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.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.83 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.76 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.83 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.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.74 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.83 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 24804592 kB Buffers: 283296 kB Cached: 4074564 kB SwapCached: 1440 kB Active: 4638592 kB Inactive: 3181376 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 24804592 kB SwapTotal: 67111528 kB SwapFree: 67083432 kB Dirty: 9604 kB Writeback: 0 kB AnonPages: 3460628 kB Mapped: 23360 kB Slab: 244868 kB PageTables: 21404 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 46501892 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= 73632 MiB End job on node110 at 2011-05-15 06:48:43